runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3704470-1338094281/watcher-3704470-1338094281 -o /tmp/evaluation-result-3704470-1338094281/solver-3704470-1338094281 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704470-1338094281.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 3.97 3.94 4/180 12089
/proc/meminfo: memFree=27446188/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=5716 CPUtime=0 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) R 12087 12089 10899 0 -1 4202496 775 0 0 0 0 0 0 0 20 0 1 0 275553453 5853184 716 33554432000 4194304 5965102 140734522747264 140735006819464 4296686 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 1547 725 168 433 0 1111 0
[startup+0.102752 s]
/proc/loadavg: 3.99 3.97 3.94 4/180 12089
/proc/meminfo: memFree=27446188/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=163300 CPUtime=0.18 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 1605 0 0 0 18 0 0 0 20 0 3 0 275553453 167219200 1543 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 40825 1543 207 433 0 40389 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163300
[startup+0.200162 s]
/proc/loadavg: 3.99 3.97 3.94 4/180 12089
/proc/meminfo: memFree=27446188/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=163300 CPUtime=0.38 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 1866 0 0 0 37 1 0 0 20 0 3 0 275553453 167219200 1804 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 40825 1804 207 433 0 40389 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 163300
[startup+0.300143 s]
/proc/loadavg: 3.99 3.97 3.94 4/180 12089
/proc/meminfo: memFree=27446188/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=163300 CPUtime=0.58 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 2150 0 0 0 57 1 0 0 20 0 3 0 275553453 167219200 2088 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 40825 2088 207 433 0 40389 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163300
[startup+0.70014 s]
/proc/loadavg: 3.99 3.97 3.94 4/180 12089
/proc/meminfo: memFree=27446188/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=163440 CPUtime=1.38 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 3195 0 0 0 136 2 0 0 20 0 3 0 275553453 167362560 3133 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 40860 3133 207 433 0 40424 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163440
[startup+1.50024 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27431836/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=163728 CPUtime=2.98 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 3750 0 0 0 295 3 0 0 20 0 3 0 275553453 167657472 3688 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 40932 3688 207 433 0 40496 0
[pid=12089/tid=12091] ppid=12087 vsize=163728 CPUtime=1.47 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 1461 0 0 0 147 0 0 0 20 0 3 0 275553454 167657472 3688 33554432000 4194304 5965102 140734522747264 140661079533664 4404410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=163728 CPUtime=1.47 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 1329 0 0 0 144 3 0 0 20 0 3 0 275553454 167657472 3688 33554432000 4194304 5965102 140734522747264 140661069044024 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163728
[startup+3.10028 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27428860/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=164080 CPUtime=6.17 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 5083 0 0 0 614 3 0 0 20 0 3 0 275553453 168017920 5021 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 41020 5021 207 433 0 40584 0
[pid=12089/tid=12091] ppid=12087 vsize=164080 CPUtime=3.07 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 2285 0 0 0 307 0 0 0 20 0 3 0 275553454 168017920 5021 33554432000 4194304 5965102 140734522747264 140661079533552 4401578 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=164080 CPUtime=3.07 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 1838 0 0 0 304 3 0 0 20 0 3 0 275553454 168017920 5021 33554432000 4194304 5965102 140734522747264 140661069044024 4390200 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164080
[startup+6.3003 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27417452/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=164840 CPUtime=12.57 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 7610 0 0 0 1253 4 0 0 20 0 3 0 275553453 168796160 7548 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 41210 7548 207 433 0 40774 0
[pid=12089/tid=12091] ppid=12087 vsize=164840 CPUtime=6.26 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 3697 0 0 0 625 1 0 0 20 0 3 0 275553454 168796160 7548 33554432000 4194304 5965102 140734522747264 140661079533560 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=164840 CPUtime=6.25 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 2953 0 0 0 622 3 0 0 20 0 3 0 275553454 168796160 7548 33554432000 4194304 5965102 140734522747264 140661069044024 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164840
[startup+12.7003 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27398636/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=165924 CPUtime=25.37 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 11982 0 0 0 2531 6 0 0 20 0 3 0 275553453 169906176 11920 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 41481 11920 207 433 0 41045 0
[pid=12089/tid=12091] ppid=12087 vsize=165924 CPUtime=12.64 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 6175 0 0 0 1262 2 0 0 20 0 3 0 275553454 169906176 11920 33554432000 4194304 5965102 140734522747264 140661079533560 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=165924 CPUtime=12.64 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 4847 0 0 0 1261 3 0 0 20 0 3 0 275553454 169906176 11920 33554432000 4194304 5965102 140734522747264 140661069043832 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165924
[startup+25.5003 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27379772/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=166344 CPUtime=50.96 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 15733 0 0 0 5087 9 0 0 20 0 3 0 275553453 170336256 15671 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 41586 15671 207 433 0 41150 0
[pid=12089/tid=12091] ppid=12087 vsize=166344 CPUtime=25.41 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 8924 0 0 0 2537 4 0 0 20 0 3 0 275553454 170336256 15671 33554432000 4194304 5965102 140734522747264 140661079533368 4401462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=166344 CPUtime=25.4 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 5849 0 0 0 2535 5 0 0 20 0 3 0 275553454 170336256 15671 33554432000 4194304 5965102 140734522747264 140661069044024 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 166344
[startup+51.1003 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27350104/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=167680 CPUtime=102.15 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 20257 0 0 0 10203 12 0 0 20 0 3 0 275553453 171704320 19988 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 41920 19988 207 433 0 41484 0
[pid=12089/tid=12091] ppid=12087 vsize=167680 CPUtime=50.95 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 11641 0 0 0 5089 6 0 0 20 0 3 0 275553454 171704320 19988 33554432000 4194304 5965102 140734522747264 140661079533664 4404416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=167680 CPUtime=50.93 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 7656 0 0 0 5087 6 0 0 20 0 3 0 275553454 171704320 19988 33554432000 4194304 5965102 140734522747264 140661069043936 4389689 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 167680
[startup+102.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27254652/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=169344 CPUtime=204.55 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 29456 0 0 0 20435 20 0 0 20 0 3 0 275553453 173408256 29186 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 42336 29186 207 433 0 41900 0
[pid=12089/tid=12091] ppid=12087 vsize=169344 CPUtime=102.02 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 16449 0 0 0 10192 10 0 0 20 0 3 0 275553454 173408256 29186 33554432000 4194304 5965102 140734522747264 140661079533560 4401064 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=169344 CPUtime=102 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 12047 0 0 0 10189 11 0 0 20 0 3 0 275553454 173408256 29186 33554432000 4194304 5965102 140734522747264 140661069044072 4390239 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 169344
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12092
/proc/meminfo: memFree=27145064/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=235716 CPUtime=324.5 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 38634 0 0 0 32423 27 0 0 20 0 3 0 275553453 241373184 38297 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 58929 38297 207 433 0 58493 0
[pid=12089/tid=12091] ppid=12087 vsize=235716 CPUtime=161.86 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 23766 0 0 0 16168 18 0 0 20 0 3 0 275553454 241373184 38297 33554432000 4194304 5965102 140734522747264 140661079533560 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=235716 CPUtime=161.84 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 13908 0 0 0 16171 13 0 0 20 0 3 0 275553454 241373184 38297 33554432000 4194304 5965102 140734522747264 140661069044024 4380032 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 235716
[startup+222.307 s]
/proc/loadavg: 4.04 3.99 3.95 5/183 12093
/proc/meminfo: memFree=27051224/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=237512 CPUtime=444.49 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 46434 0 0 0 44414 35 0 0 20 0 3 0 275553453 243212288 46097 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 59378 46097 207 433 0 58942 0
[pid=12089/tid=12091] ppid=12087 vsize=237512 CPUtime=221.72 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 30129 0 0 0 22147 25 0 0 20 0 3 0 275553454 243212288 46097 33554432000 4194304 5965102 140734522747264 140661079533608 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=237512 CPUtime=221.68 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 15345 0 0 0 22152 16 0 0 20 0 3 0 275553454 243212288 46097 33554432000 4194304 5965102 140734522747264 140661069044072 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 237512
[startup+282.3 s]
/proc/loadavg: 4.01 3.99 3.95 5/183 12093
/proc/meminfo: memFree=26959616/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=303396 CPUtime=564.45 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 54112 0 0 0 56402 43 0 0 20 0 3 0 275553453 310677504 53727 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 75849 53727 207 433 0 75413 0
[pid=12089/tid=12091] ppid=12087 vsize=303396 CPUtime=281.55 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 37688 0 0 0 28121 34 0 0 20 0 3 0 275553454 310677504 53727 33554432000 4194304 5965102 140734522747264 140661079533080 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=303396 CPUtime=281.51 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 15464 0 0 0 28134 17 0 0 20 0 3 0 275553454 310677504 53727 33554432000 4194304 5965102 140734522747264 140661069043784 4401004 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 303396
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/183 12093
/proc/meminfo: memFree=26939696/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=303900 CPUtime=684.43 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 57325 0 0 0 68394 49 0 0 20 0 3 0 275553453 311193600 56940 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 75975 56940 207 433 0 75539 0
[pid=12089/tid=12091] ppid=12087 vsize=303900 CPUtime=341.4 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 40800 0 0 0 34100 40 0 0 20 0 3 0 275553454 311193600 56940 33554432000 4194304 5965102 140734522747264 140661079533368 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=303900 CPUtime=341.35 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 15565 0 0 0 34117 18 0 0 20 0 3 0 275553454 311193600 56940 33554432000 4194304 5965102 140734522747264 140661069043936 4401123 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 303900
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/183 12093
/proc/meminfo: memFree=26916800/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=304848 CPUtime=804.38 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 62227 0 0 0 80383 55 0 0 20 0 3 0 275553453 312164352 62498 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 76212 62498 207 433 0 75776 0
[pid=12089/tid=12091] ppid=12087 vsize=304848 CPUtime=401.22 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 45608 0 0 0 40075 47 0 0 20 0 3 0 275553454 312164352 62498 33554432000 4194304 5965102 140734522747264 140661079533368 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=304848 CPUtime=401.19 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 15659 0 0 0 40100 19 0 0 20 0 3 0 275553454 312164352 62498 33554432000 4194304 5965102 140734522747264 140661069043936 4401582 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 304848
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.95 5/183 12146
/proc/meminfo: memFree=27599804/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=370740 CPUtime=924.31 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 68274 0 0 0 92368 63 0 0 20 0 3 0 275553453 379637760 68801 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 92685 68801 207 433 0 92249 0
[pid=12089/tid=12091] ppid=12087 vsize=370740 CPUtime=461.02 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 50683 0 0 0 46047 55 0 0 20 0 3 0 275553454 379637760 68801 33554432000 4194304 5965102 140734522747264 140661079533368 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=370740 CPUtime=461.02 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 16631 0 0 0 46081 21 0 0 20 0 3 0 275553454 379637760 68801 33554432000 4194304 5965102 140734522747264 140661069044024 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (KiB) 370740
[startup+522.3 s]
/proc/loadavg: 4.08 4.00 3.95 5/184 12150
/proc/meminfo: memFree=27436576/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=371024 CPUtime=1044.24 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 73966 0 0 0 104354 70 0 0 20 0 3 0 275553453 379928576 74562 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 92756 74562 207 433 0 92320 0
[pid=12089/tid=12091] ppid=12087 vsize=371024 CPUtime=520.86 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 55365 0 0 0 52025 61 0 0 20 0 3 0 275553454 379928576 74562 33554432000 4194304 5965102 140734522747264 140661079533664 4401015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=371024 CPUtime=520.84 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 17641 0 0 0 52061 23 0 0 20 0 3 0 275553454 379928576 74562 33554432000 4194304 5965102 140734522747264 140661069043936 4400986 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 371024
[startup+582.3 s]
/proc/loadavg: 4.02 4.00 3.95 5/184 12173
/proc/meminfo: memFree=27255000/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=371844 CPUtime=1164.22 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 80083 0 0 0 116345 77 0 0 20 0 3 0 275553453 380768256 81866 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 92961 81866 207 433 0 92525 0
[pid=12089/tid=12091] ppid=12087 vsize=371844 CPUtime=580.7 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 61355 0 0 0 58001 69 0 0 20 0 3 0 275553454 380768256 81866 33554432000 4194304 5965102 140734522747264 140661079533368 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=371844 CPUtime=580.68 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 17768 0 0 0 58044 24 0 0 20 0 3 0 275553454 380768256 81866 33554432000 4194304 5965102 140734522747264 140661069043784 4401668 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (KiB) 371844
[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/183 12173
/proc/meminfo: memFree=27134052/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=437608 CPUtime=1284.19 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 85819 0 0 0 128336 83 0 0 20 0 3 0 275553453 448110592 87602 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 109402 87602 207 433 0 108966 0
[pid=12089/tid=12091] ppid=12087 vsize=437608 CPUtime=640.55 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 66982 0 0 0 63979 76 0 0 20 0 3 0 275553454 448110592 87602 33554432000 4194304 5965102 140734522747264 140661079533080 4433073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=437608 CPUtime=640.52 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 17877 0 0 0 64027 25 0 0 20 0 3 0 275553454 448110592 87602 33554432000 4194304 5965102 140734522747264 140661069043784 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 437608
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12173
/proc/meminfo: memFree=27070096/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=438640 CPUtime=1404.17 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 88780 0 0 0 140330 87 0 0 20 0 3 0 275553453 449167360 90405 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 109660 90405 207 433 0 109224 0
[pid=12089/tid=12091] ppid=12087 vsize=438640 CPUtime=700.4 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 69729 0 0 0 69959 81 0 0 20 0 3 0 275553454 449167360 90405 33554432000 4194304 5965102 140734522747264 140661079533608 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=438640 CPUtime=700.36 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 18091 0 0 0 70010 26 0 0 20 0 3 0 275553454 449167360 90405 33554432000 4194304 5965102 140734522747264 140661069044056 4380048 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 438640
[startup+762.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12173
/proc/meminfo: memFree=26918348/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=506064 CPUtime=1524.16 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 95162 0 0 0 152321 95 0 0 20 0 3 0 275553453 518209536 96786 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 126516 96786 207 433 0 126080 0
[pid=12089/tid=12091] ppid=12087 vsize=506064 CPUtime=760.25 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 74026 0 0 0 75939 86 0 0 20 0 3 0 275553454 518209536 96786 33554432000 4194304 5965102 140734522747264 140661079533368 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=506064 CPUtime=760.21 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 20176 0 0 0 75991 30 0 0 20 0 3 0 275553454 518209536 96786 33554432000 4194304 5965102 140734522747264 140661069043784 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 506064
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12174
/proc/meminfo: memFree=26873156/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=506548 CPUtime=1644.11 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 99830 0 0 0 164310 101 0 0 20 0 3 0 275553453 518705152 101663 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 126637 101663 207 433 0 126201 0
[pid=12089/tid=12091] ppid=12087 vsize=506548 CPUtime=820.08 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 77031 0 0 0 81916 92 0 0 20 0 3 0 275553454 518705152 101663 33554432000 4194304 5965102 140734522747264 140661079533608 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=506548 CPUtime=820.04 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 21839 0 0 0 81971 33 0 0 20 0 3 0 275553454 518705152 101663 33554432000 4194304 5965102 140734522747264 140661069044024 4401041 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.11
Current children cumulated vsize (KiB) 506548
[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12174
/proc/meminfo: memFree=26669452/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=572112 CPUtime=1764.07 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 120816 0 0 0 176296 111 0 0 20 0 3 0 275553453 585842688 122597 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 143028 122597 207 433 0 142592 0
[pid=12089/tid=12091] ppid=12087 vsize=572112 CPUtime=879.91 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 97440 0 0 0 87889 102 0 0 20 0 3 0 275553454 585842688 122597 33554432000 4194304 5965102 140734522747264 140661079533664 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=572112 CPUtime=879.89 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 22416 0 0 0 87955 34 0 0 20 0 3 0 275553454 585842688 122597 33554432000 4194304 5965102 140734522747264 140661069043936 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.07
Current children cumulated vsize (KiB) 572112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12174
/proc/meminfo: memFree=26647876/32873844 swapFree=7124/7124
[pid=12089] ppid=12087 vsize=572112 CPUtime=1800.07 cores=0,2,4,6
/proc/12089/stat : 12089 (pwbo2.0) S 12087 12089 10899 0 -1 4202496 120816 0 0 0 179896 111 0 0 20 0 3 0 275553453 585842688 122597 33554432000 4194304 5965102 140734522747264 140734522746784 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12089/statm: 143028 122597 207 433 0 142592 0
[pid=12089/tid=12091] ppid=12087 vsize=572112 CPUtime=897.86 cores=0,2,4,6
/proc/12089/task/12091/stat : 12091 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 97440 0 0 0 89684 102 0 0 20 0 3 0 275553454 585842688 122597 33554432000 4194304 5965102 140734522747264 140661079533664 4401078 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=12089/tid=12092] ppid=12087 vsize=572112 CPUtime=897.84 cores=0,2,4,6
/proc/12089/task/12092/stat : 12092 (pwbo2.0) R 12087 12089 10899 0 -1 4202560 22416 0 0 0 89750 34 0 0 20 0 3 0 275553454 585842688 122597 33554432000 4194304 5965102 140734522747264 140661069043936 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 572112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12089 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=353216
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=391788
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.318
CPU time (s): 1800.07
CPU user time (s): 1798.96
CPU system time (s): 1.11
CPU usage (%): 199.937
Max. virtual memory (cumulated for all children) (KiB): 572404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 1.39179
maximum resident set size= 490396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 338
involuntary context switches= 2280
runsolver used 1.84972 second user time and 5.09722 second system time
The end