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-3703745-1338093498/watcher-3703745-1338093498 -o /tmp/evaluation-result-3703745-1338093498/solver-3703745-1338093498 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703745-1338093498.opb
running on 4 cores: 1,3,5,7
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.84 3.96 3.91 4/178 18885
/proc/meminfo: memFree=31326552/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 3 0 275474394 166207488 768 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40578 768 192 433 0 40142 0
[pid=18885/tid=18886] ppid=18883 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 3 0 275474395 166207488 768 33554432000 4194304 5965102 140734935634512 140733854522168 5137146 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=162312 CPUtime=0 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 3 0 275474395 166207488 768 33554432000 4194304 5965102 140734935634512 140279332223960 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0325259 s]
/proc/loadavg: 3.84 3.96 3.91 4/178 18885
/proc/meminfo: memFree=31326552/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=162312 CPUtime=0.05 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 935 0 0 0 5 0 0 0 20 0 3 0 275474394 166207488 885 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40578 885 195 433 0 40142 0
[pid=18885/tid=18886] ppid=18883 vsize=162312 CPUtime=0.01 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 97 0 0 0 1 0 0 0 20 0 3 0 275474395 166207488 885 33554432000 4194304 5965102 140734935634512 140279342712344 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=162312 CPUtime=0.01 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 80 0 0 0 1 0 0 0 20 0 3 0 275474395 166207488 885 33554432000 4194304 5965102 140734935634512 140279332223288 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 162312
[startup+0.100317 s]
/proc/loadavg: 3.84 3.96 3.91 4/178 18885
/proc/meminfo: memFree=31326552/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=162312 CPUtime=0.18 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 1199 0 0 0 18 0 0 0 20 0 3 0 275474394 166207488 1149 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40578 1149 195 433 0 40142 0
[pid=18885/tid=18886] ppid=18883 vsize=162312 CPUtime=0.08 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 251 0 0 0 8 0 0 0 20 0 3 0 275474395 166207488 1149 33554432000 4194304 5965102 140734935634512 140279342712344 4391092 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=162312 CPUtime=0.08 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 190 0 0 0 8 0 0 0 20 0 3 0 275474395 166207488 1149 33554432000 4194304 5965102 140734935634512 140279332223288 4390169 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162312
[startup+0.300227 s]
/proc/loadavg: 3.84 3.96 3.91 4/178 18885
/proc/meminfo: memFree=31326552/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=162312 CPUtime=0.59 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 1810 0 0 0 58 1 0 0 20 0 3 0 275474394 166207488 1760 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40578 1760 195 433 0 40142 0
[pid=18885/tid=18886] ppid=18883 vsize=162312 CPUtime=0.28 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 610 0 0 0 28 0 0 0 20 0 3 0 275474395 166207488 1760 33554432000 4194304 5965102 140734935634512 140279342712824 5144424 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=162312 CPUtime=0.28 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 442 0 0 0 27 1 0 0 20 0 3 0 275474395 166207488 1760 33554432000 4194304 5965102 140734935634512 140279332223288 4390219 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162312
[startup+0.700267 s]
/proc/loadavg: 3.84 3.96 3.91 4/178 18885
/proc/meminfo: memFree=31326552/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=162600 CPUtime=1.38 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 2583 0 0 0 137 1 0 0 20 0 3 0 275474394 166502400 2533 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40650 2533 195 433 0 40214 0
[pid=18885/tid=18886] ppid=18883 vsize=162600 CPUtime=0.68 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 1072 0 0 0 68 0 0 0 20 0 3 0 275474395 166502400 2533 33554432000 4194304 5965102 140734935634512 140279342712344 4383071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=162600 CPUtime=0.68 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 753 0 0 0 67 1 0 0 20 0 3 0 275474395 166502400 2533 33554432000 4194304 5965102 140734935634512 140279332222808 4390282 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162600
[startup+1.50025 s]
/proc/loadavg: 3.84 3.96 3.91 5/181 18888
/proc/meminfo: memFree=31312524/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=162600 CPUtime=2.99 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 3053 0 0 0 297 2 0 0 20 0 3 0 275474394 166502400 3003 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40650 3003 195 433 0 40214 0
[pid=18885/tid=18886] ppid=18883 vsize=162600 CPUtime=1.48 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 1445 0 0 0 148 0 0 0 20 0 3 0 275474395 166502400 3003 33554432000 4194304 5965102 140734935634512 140279342712632 4401530 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=162600 CPUtime=1.48 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 850 0 0 0 146 2 0 0 20 0 3 0 275474395 166502400 3003 33554432000 4194304 5965102 140734935634512 140279332223288 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162600
[startup+3.10034 s]
/proc/loadavg: 3.85 3.96 3.91 5/181 18888
/proc/meminfo: memFree=31304588/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=163032 CPUtime=6.18 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 4798 0 0 0 614 4 0 0 20 0 3 0 275474394 166944768 4748 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40758 4748 195 433 0 40322 0
[pid=18885/tid=18886] ppid=18883 vsize=163032 CPUtime=3.07 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 2593 0 0 0 306 1 0 0 20 0 3 0 275474395 166944768 4748 33554432000 4194304 5965102 140734935634512 140279342712344 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=163032 CPUtime=3.07 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 1447 0 0 0 305 2 0 0 20 0 3 0 275474395 166944768 4748 33554432000 4194304 5965102 140734935634512 140279332223288 4380336 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163032
[startup+6.30034 s]
/proc/loadavg: 3.85 3.96 3.91 5/181 18888
/proc/meminfo: memFree=31283880/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=163248 CPUtime=12.59 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 6443 0 0 0 1252 7 0 0 20 0 3 0 275474394 167165952 6393 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 40812 6393 195 433 0 40376 0
[pid=18885/tid=18886] ppid=18883 vsize=163248 CPUtime=6.27 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 3747 0 0 0 624 3 0 0 20 0 3 0 275474395 167165952 6393 33554432000 4194304 5965102 140734935634512 140279342712632 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=163248 CPUtime=6.27 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 1938 0 0 0 624 3 0 0 20 0 3 0 275474395 167165952 6393 33554432000 4194304 5965102 140734935634512 140279332222808 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 163248
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.91 5/181 18888
/proc/meminfo: memFree=31262468/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=164648 CPUtime=25.39 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 8813 0 0 0 2529 10 0 0 20 0 3 0 275474394 168599552 8763 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 41162 8763 195 433 0 40726 0
[pid=18885/tid=18886] ppid=18883 vsize=164648 CPUtime=12.65 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 5421 0 0 0 1260 5 0 0 20 0 3 0 275474395 168599552 8763 33554432000 4194304 5965102 140734935634512 140279342712632 4382742 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=164648 CPUtime=12.65 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 2634 0 0 0 1261 4 0 0 20 0 3 0 275474395 168599552 8763 33554432000 4194304 5965102 140734935634512 140279332222808 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 164648
[startup+25.5003 s]
/proc/loadavg: 3.97 3.98 3.91 5/181 18888
/proc/meminfo: memFree=31224144/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=166712 CPUtime=50.98 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 13349 0 0 0 5080 18 0 0 20 0 3 0 275474394 170713088 13299 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 41678 13299 195 433 0 41242 0
[pid=18885/tid=18886] ppid=18883 vsize=166712 CPUtime=25.42 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 8873 0 0 0 2530 12 0 0 20 0 3 0 275474395 170713088 13299 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=166712 CPUtime=25.42 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 3718 0 0 0 2537 5 0 0 20 0 3 0 275474395 170713088 13299 33554432000 4194304 5965102 140734935634512 140279332222808 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 166712
[startup+51.1003 s]
/proc/loadavg: 3.98 3.98 3.91 5/181 18888
/proc/meminfo: memFree=31175320/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=168168 CPUtime=102.16 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 18137 0 0 0 10191 25 0 0 20 0 3 0 275474394 172204032 18061 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 42042 18061 195 433 0 41606 0
[pid=18885/tid=18886] ppid=18883 vsize=168168 CPUtime=50.94 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 12693 0 0 0 5076 18 0 0 20 0 3 0 275474395 172204032 18061 33554432000 4194304 5965102 140734935634512 140279342712344 4404451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=168168 CPUtime=50.95 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 4686 0 0 0 5089 6 0 0 20 0 3 0 275474395 172204032 18061 33554432000 4194304 5965102 140734935634512 140279332223096 4380351 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 168168
[startup+102.307 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 18888
/proc/meminfo: memFree=31103204/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=237564 CPUtime=204.52 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 26968 0 0 0 20410 42 0 0 20 0 3 0 275474394 243265536 26599 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 59391 26599 195 433 0 58955 0
[pid=18885/tid=18886] ppid=18883 vsize=237564 CPUtime=102 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 19695 0 0 0 10166 34 0 0 20 0 3 0 275474395 243265536 26599 33554432000 4194304 5965102 140734935634512 140279342712344 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=237564 CPUtime=102.01 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 6515 0 0 0 10192 9 0 0 20 0 3 0 275474395 243265536 26599 33554432000 4194304 5965102 140734935634512 140279332223320 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 237564
[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/182 18891
/proc/meminfo: memFree=31034688/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=242156 CPUtime=324.49 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 34436 0 0 0 32392 57 0 0 20 0 3 0 275474394 247967744 35266 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 60539 35266 195 433 0 60103 0
[pid=18885/tid=18886] ppid=18883 vsize=242156 CPUtime=161.84 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 25992 0 0 0 16136 48 0 0 20 0 3 0 275474395 247967744 35266 33554432000 4194304 5965102 140734935634512 140279342712872 4401015 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=242156 CPUtime=161.85 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 7686 0 0 0 16173 12 0 0 20 0 3 0 275474395 247967744 35266 33554432000 4194304 5965102 140734935634512 140279332223336 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 242156
[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 18891
/proc/meminfo: memFree=30977168/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=244016 CPUtime=444.47 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 40259 0 0 0 44378 69 0 0 20 0 3 0 275474394 249872384 41089 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 61004 41089 195 433 0 60568 0
[pid=18885/tid=18886] ppid=18883 vsize=244016 CPUtime=221.68 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 31310 0 0 0 22107 61 0 0 20 0 3 0 275474395 249872384 41089 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=244016 CPUtime=221.7 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 8191 0 0 0 22157 13 0 0 20 0 3 0 275474395 249872384 41089 33554432000 4194304 5965102 140734935634512 140279332223336 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 244016
################
# More data... #
################
[pid=18885/tid=18887] ppid=18883 vsize=314624 CPUtime=281.55 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 9394 0 0 0 28139 16 0 0 20 0 3 0 275474395 322174976 46786 33554432000 4194304 5965102 140734935634512 140279332222808 4401050 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 314624
[startup+342.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 18892
/proc/meminfo: memFree=30874156/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=315708 CPUtime=684.41 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 51218 0 0 0 68348 93 0 0 20 0 3 0 275474394 323284992 51875 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 78927 51875 195 433 0 78491 0
[pid=18885/tid=18886] ppid=18883 vsize=315708 CPUtime=341.35 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 40149 0 0 0 34051 84 0 0 20 0 3 0 275474395 323284992 51875 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=315708 CPUtime=341.39 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 10311 0 0 0 34120 19 0 0 20 0 3 0 275474395 323284992 51875 33554432000 4194304 5965102 140734935634512 140279332223320 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 315708
[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 18892
/proc/meminfo: memFree=30832948/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=316880 CPUtime=804.39 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 55844 0 0 0 80334 105 0 0 20 0 3 0 275474394 324485120 56501 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 79220 56501 195 433 0 78784 0
[pid=18885/tid=18886] ppid=18883 vsize=316880 CPUtime=401.2 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 43994 0 0 0 40025 95 0 0 20 0 3 0 275474395 324485120 56501 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=316880 CPUtime=401.24 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 11092 0 0 0 40103 21 0 0 20 0 3 0 275474395 324485120 56501 33554432000 4194304 5965102 140734935634512 140279332222808 4380351 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 316880
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18892
/proc/meminfo: memFree=30788792/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=317944 CPUtime=924.38 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 61214 0 0 0 92318 120 0 0 20 0 3 0 275474394 325574656 61871 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 79486 61871 195 433 0 79050 0
[pid=18885/tid=18886] ppid=18883 vsize=317944 CPUtime=461.04 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 48650 0 0 0 45996 108 0 0 20 0 3 0 275474395 325574656 61871 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=317944 CPUtime=461.08 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 11806 0 0 0 46085 23 0 0 20 0 3 0 275474395 325574656 61871 33554432000 4194304 5965102 140734935634512 140279332223336 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.38
Current children cumulated vsize (KiB) 317944
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18892
/proc/meminfo: memFree=30752644/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=384204 CPUtime=1044.34 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 66487 0 0 0 104301 133 0 0 20 0 3 0 275474394 393424896 67129 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 96051 67129 195 433 0 95615 0
[pid=18885/tid=18886] ppid=18883 vsize=384204 CPUtime=520.87 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 53162 0 0 0 51965 122 0 0 20 0 3 0 275474395 393424896 67129 33554432000 4194304 5965102 140734935634512 140279342712344 4401462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=384204 CPUtime=520.93 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 12567 0 0 0 52069 24 0 0 20 0 3 0 275474395 393424896 67129 33554432000 4194304 5965102 140734935634512 140279332222808 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.34
Current children cumulated vsize (KiB) 384204
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18892
/proc/meminfo: memFree=30709476/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=385540 CPUtime=1164.31 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 72206 0 0 0 116283 148 0 0 20 0 3 0 275474394 394792960 70674 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 96385 70674 195 433 0 95949 0
[pid=18885/tid=18886] ppid=18883 vsize=385540 CPUtime=580.71 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 58146 0 0 0 57934 137 0 0 20 0 3 0 275474395 394792960 70674 33554432000 4194304 5965102 140734935634512 140279342712344 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=385540 CPUtime=580.78 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 13302 0 0 0 58051 27 0 0 20 0 3 0 275474395 394792960 70674 33554432000 4194304 5965102 140734935634512 140279332223096 4391646 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.31
Current children cumulated vsize (KiB) 385540
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18893
/proc/meminfo: memFree=30663960/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=386780 CPUtime=1284.3 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 76687 0 0 0 128273 157 0 0 20 0 3 0 275474394 396062720 75152 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 96695 75152 195 433 0 96259 0
[pid=18885/tid=18886] ppid=18883 vsize=386780 CPUtime=640.56 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 61237 0 0 0 63911 145 0 0 20 0 3 0 275474395 396062720 75152 33554432000 4194304 5965102 140734935634512 140279342712344 4390140 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=386780 CPUtime=640.62 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 14692 0 0 0 64033 29 0 0 20 0 3 0 275474395 396062720 75152 33554432000 4194304 5965102 140734935634512 140279332223096 4383000 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.3
Current children cumulated vsize (KiB) 386780
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 18893
/proc/meminfo: memFree=30620224/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=389044 CPUtime=1404.27 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 83386 0 0 0 140256 171 0 0 20 0 3 0 275474394 398381056 81851 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 97261 81851 195 433 0 96825 0
[pid=18885/tid=18886] ppid=18883 vsize=389044 CPUtime=700.4 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 66450 0 0 0 69881 159 0 0 20 0 3 0 275474395 398381056 81851 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=389044 CPUtime=700.46 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 16178 0 0 0 70014 32 0 0 20 0 3 0 275474395 398381056 81851 33554432000 4194304 5965102 140734935634512 140279332222808 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.27
Current children cumulated vsize (KiB) 389044
[startup+762.307 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 18896
/proc/meminfo: memFree=30588288/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=455232 CPUtime=1524.27 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 87842 0 0 0 152246 181 0 0 20 0 3 0 275474394 466157568 86307 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 113808 86307 195 433 0 113372 0
[pid=18885/tid=18886] ppid=18883 vsize=455232 CPUtime=760.25 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 70554 0 0 0 75856 169 0 0 20 0 3 0 275474395 466157568 86307 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=455232 CPUtime=760.32 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 16530 0 0 0 75999 33 0 0 20 0 3 0 275474395 466157568 86307 33554432000 4194304 5965102 140734935634512 140279332222808 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.27
Current children cumulated vsize (KiB) 455232
[startup+822.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/181 18896
/proc/meminfo: memFree=30553700/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=460412 CPUtime=1644.23 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 92223 0 0 0 164233 190 0 0 20 0 3 0 275474394 471461888 90688 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 115103 90688 195 433 0 114667 0
[pid=18885/tid=18886] ppid=18883 vsize=460412 CPUtime=820.09 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 73449 0 0 0 81832 177 0 0 20 0 3 0 275474395 471461888 90688 33554432000 4194304 5965102 140734935634512 140279342712344 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=460412 CPUtime=820.16 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 18016 0 0 0 81979 37 0 0 20 0 3 0 275474395 471461888 90688 33554432000 4194304 5965102 140734935634512 140279332222808 4380048 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.23
Current children cumulated vsize (KiB) 460412
[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 18896
/proc/meminfo: memFree=30532964/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=461820 CPUtime=1764.2 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 96406 0 0 0 176219 201 0 0 20 0 3 0 275474394 472903680 94869 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 115455 94869 195 433 0 115019 0
[pid=18885/tid=18886] ppid=18883 vsize=461820 CPUtime=879.93 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 77632 0 0 0 87804 189 0 0 20 0 3 0 275474395 472903680 94869 33554432000 4194304 5965102 140734935634512 140279342712344 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=461820 CPUtime=880 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 18016 0 0 0 87962 38 0 0 20 0 3 0 275474395 472903680 94869 33554432000 4194304 5965102 140734935634512 140279332222808 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.2
Current children cumulated vsize (KiB) 461820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.93 3/177 18897
/proc/meminfo: memFree=30950208/32873844 swapFree=6080/6080
[pid=18885] ppid=18883 vsize=464056 CPUtime=1800.01 cores=1,3,5,7
/proc/18885/stat : 18885 (pwbo2.0) S 18883 18885 18125 0 -1 4202496 97650 0 0 0 179796 205 0 0 20 0 3 0 275474394 475193344 96109 33554432000 4194304 5965102 140734935634512 140734935634032 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18885/statm: 116014 96109 195 433 0 115578 0
[pid=18885/tid=18886] ppid=18883 vsize=464056 CPUtime=897.79 cores=1,3,5,7
/proc/18885/task/18886/stat : 18886 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 78876 0 0 0 89587 192 0 0 20 0 3 0 275474395 475193344 96109 33554432000 4194304 5965102 140734935634512 140279342712824 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=18885/tid=18887] ppid=18883 vsize=464056 CPUtime=897.86 cores=1,3,5,7
/proc/18885/task/18887/stat : 18887 (pwbo2.0) R 18883 18885 18125 0 -1 4202560 18016 0 0 0 89748 38 0 0 20 0 3 0 275474395 475193344 96109 33554432000 4194304 5965102 140734935634512 140279332222808 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 464056
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 18885 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=367366
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=331645
# CPU time returned by wait4() is 1795.7
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.224
CPU time (s): 1800.01
CPU user time (s): 1797.96
CPU system time (s): 2.05
CPU usage (%): 199.951
Max. virtual memory (cumulated for all children) (KiB): 464056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.37
system time used= 2.33164
maximum resident set size= 384444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97652
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= 229
involuntary context switches= 1896
runsolver used 3.99339 second user time and 3.56346 second system time
The end