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-3704157-1338088532/watcher-3704157-1338088532 -o /tmp/evaluation-result-3704157-1338088532/solver-3704157-1338088532 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704157-1338088532.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: 2.00 1.97 1.93 3/177 19631
/proc/meminfo: memFree=27971104/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) R 19629 19631 18256 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 274981708 3309568 263 33554432000 4194304 5965102 140735815220688 140735070946728 4350875 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 808 263 169 433 0 351 0
[startup+0.0835701 s]
/proc/loadavg: 2.00 1.97 1.93 3/177 19631
/proc/meminfo: memFree=27971104/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=83840 CPUtime=0.07 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 1110 0 0 0 7 0 0 0 20 0 2 0 274981708 85852160 1042 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 20960 1043 190 433 0 20524 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83840
[startup+0.100292 s]
/proc/loadavg: 2.00 1.97 1.93 3/177 19631
/proc/meminfo: memFree=27971104/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=83840 CPUtime=0.09 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 1153 0 0 0 9 0 0 0 20 0 2 0 274981708 85852160 1085 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 20960 1085 190 433 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83840
[startup+0.300288 s]
/proc/loadavg: 2.00 1.97 1.93 3/177 19631
/proc/meminfo: memFree=27971104/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=83840 CPUtime=0.29 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 1539 0 0 0 29 0 0 0 20 0 2 0 274981708 85852160 1471 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 20960 1471 190 433 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83840
[startup+0.700281 s]
/proc/loadavg: 2.00 1.97 1.93 3/177 19631
/proc/meminfo: memFree=27971104/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=83984 CPUtime=0.69 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 1880 0 0 0 69 0 0 0 20 0 2 0 274981708 85999616 1812 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 20996 1813 190 433 0 20560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83984
[startup+1.50029 s]
/proc/loadavg: 2.00 1.97 1.93 3/179 19633
/proc/meminfo: memFree=27963276/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=83984 CPUtime=1.49 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 2482 0 0 0 149 0 0 0 20 0 2 0 274981708 85999616 2414 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 20996 2414 190 433 0 20560 0
[pid=19631/tid=19633] ppid=19629 vsize=83984 CPUtime=1.47 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 1692 0 0 0 147 0 0 0 20 0 2 0 274981708 85999616 2414 33554432000 4194304 5965102 140735815220688 140633207834424 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83984
[startup+3.10029 s]
/proc/loadavg: 2.00 1.97 1.93 3/179 19633
/proc/meminfo: memFree=27960176/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=84056 CPUtime=3.09 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 3428 0 0 0 308 1 0 0 20 0 2 0 274981708 86073344 3360 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 21014 3360 190 433 0 20578 0
[pid=19631/tid=19633] ppid=19629 vsize=84056 CPUtime=3.07 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 2638 0 0 0 307 0 0 0 20 0 2 0 274981708 86073344 3360 33554432000 4194304 5965102 140735815220688 140633207834424 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84056
[startup+6.30029 s]
/proc/loadavg: 2.00 1.97 1.93 3/179 19633
/proc/meminfo: memFree=27952488/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=84164 CPUtime=6.29 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 4728 0 0 0 628 1 0 0 20 0 2 0 274981708 86183936 4660 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 21041 4660 190 433 0 20605 0
[pid=19631/tid=19633] ppid=19629 vsize=84164 CPUtime=6.26 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 3938 0 0 0 625 1 0 0 20 0 2 0 274981708 86183936 4660 33554432000 4194304 5965102 140735815220688 140633207834616 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84164
[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.93 3/179 19633
/proc/meminfo: memFree=27940664/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=84324 CPUtime=12.68 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 6478 0 0 0 1267 1 0 0 20 0 2 0 274981708 86347776 6410 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 21081 6410 190 433 0 20645 0
[pid=19631/tid=19633] ppid=19629 vsize=84324 CPUtime=12.64 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 5688 0 0 0 1263 1 0 0 20 0 2 0 274981708 86347776 6410 33554432000 4194304 5965102 140735815220688 140633207834424 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84324
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.93 3/179 19633
/proc/meminfo: memFree=27927280/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=84324 CPUtime=25.48 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 9291 0 0 0 2546 2 0 0 20 0 2 0 274981708 86347776 9223 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 21081 9223 190 433 0 20645 0
[pid=19631/tid=19633] ppid=19629 vsize=84324 CPUtime=25.41 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 8501 0 0 0 2539 2 0 0 20 0 2 0 274981708 86347776 9223 33554432000 4194304 5965102 140735815220688 140633207834616 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84324
[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.93 3/179 19634
/proc/meminfo: memFree=27909828/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=85716 CPUtime=51.07 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 13430 0 0 0 5103 4 0 0 20 0 2 0 274981708 87773184 13377 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 21429 13377 190 433 0 20993 0
[pid=19631/tid=19633] ppid=19629 vsize=85716 CPUtime=50.93 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 12640 0 0 0 5090 3 0 0 20 0 2 0 274981708 87773184 13377 33554432000 4194304 5965102 140735815220688 140633207834424 4401475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85716
[startup+102.307 s]
/proc/loadavg: 2.08 1.99 1.94 3/179 19634
/proc/meminfo: memFree=27850432/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=153844 CPUtime=102.25 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 21308 0 0 0 10215 10 0 0 20 0 2 0 274981708 157536256 22063 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 38461 22063 190 433 0 38025 0
[pid=19631/tid=19633] ppid=19629 vsize=153844 CPUtime=101.99 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 20518 0 0 0 10189 10 0 0 20 0 2 0 274981708 157536256 22063 33554432000 4194304 5965102 140735815220688 140633207834424 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 153844
[startup+162.3 s]
/proc/loadavg: 2.06 2.00 1.94 3/179 19634
/proc/meminfo: memFree=27817820/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=155500 CPUtime=162.24 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 29237 0 0 0 16208 16 0 0 20 0 2 0 274981708 159232000 29992 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 38875 29992 190 433 0 38439 0
[pid=19631/tid=19633] ppid=19629 vsize=155500 CPUtime=161.82 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 28447 0 0 0 16164 18 0 0 20 0 2 0 274981708 159232000 29992 33554432000 4194304 5965102 140735815220688 140633207834664 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 155500
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/179 19634
/proc/meminfo: memFree=27794124/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=157372 CPUtime=222.23 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 34696 0 0 0 22200 23 0 0 20 0 2 0 274981708 161148928 35451 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 39343 35451 190 433 0 38907 0
[pid=19631/tid=19633] ppid=19629 vsize=157372 CPUtime=221.67 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 33906 0 0 0 22142 25 0 0 20 0 2 0 274981708 161148928 35451 33554432000 4194304 5965102 140735815220688 140633207834424 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 157372
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/180 19637
/proc/meminfo: memFree=27764348/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226148 CPUtime=282.18 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 40554 0 0 0 28190 28 0 0 20 0 2 0 274981708 231575552 41378 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56537 41378 190 433 0 56101 0
[pid=19631/tid=19633] ppid=19629 vsize=226148 CPUtime=281.48 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 39764 0 0 0 28116 32 0 0 20 0 2 0 274981708 231575552 41378 33554432000 4194304 5965102 140735815220688 140633207834664 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 226148
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 2.09 2.02 1.95 3/180 19637
/proc/meminfo: memFree=27758148/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226720 CPUtime=294.18 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 41121 0 0 0 29389 29 0 0 20 0 2 0 274981708 232161280 41964 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56680 41964 190 433 0 56244 0
[pid=19631/tid=19633] ppid=19629 vsize=226720 CPUtime=293.45 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 40331 0 0 0 29312 33 0 0 20 0 2 0 274981708 232161280 41964 33554432000 4194304 5965102 140735815220688 140633207834424 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 294.18
Current children cumulated vsize (KiB) 226720
[startup+300.7 s]
/proc/loadavg: 2.08 2.02 1.95 3/180 19637
/proc/meminfo: memFree=27754924/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226864 CPUtime=300.58 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 41172 0 0 0 30029 29 0 0 20 0 2 0 274981708 232308736 42015 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56716 42015 190 433 0 56280 0
[pid=19631/tid=19633] ppid=19629 vsize=226864 CPUtime=299.83 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 40382 0 0 0 29950 33 0 0 20 0 2 0 274981708 232308736 42015 33554432000 4194304 5965102 140735815220688 140633207834424 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 300.58
Current children cumulated vsize (KiB) 226864
[startup+303.9 s]
/proc/loadavg: 2.07 2.02 1.95 3/180 19637
/proc/meminfo: memFree=27753064/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226864 CPUtime=303.78 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 41185 0 0 0 30349 29 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56716 42028 190 433 0 56280 0
[pid=19631/tid=19633] ppid=19629 vsize=226864 CPUtime=303.02 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 40395 0 0 0 30269 33 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140633207834424 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 303.78
Current children cumulated vsize (KiB) 226864
[startup+307.1 s]
/proc/loadavg: 2.07 2.02 1.95 3/180 19637
/proc/meminfo: memFree=27751452/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226864 CPUtime=306.98 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 41185 0 0 0 30669 29 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56716 42028 190 433 0 56280 0
[pid=19631/tid=19633] ppid=19629 vsize=226864 CPUtime=306.21 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 40395 0 0 0 30588 33 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140633207834424 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (KiB) 226864
[startup+308.7 s]
/proc/loadavg: 2.07 2.02 1.95 3/180 19637
/proc/meminfo: memFree=27750832/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226864 CPUtime=308.58 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 41185 0 0 0 30829 29 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56716 42028 190 433 0 56280 0
[pid=19631/tid=19633] ppid=19629 vsize=226864 CPUtime=307.81 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 40395 0 0 0 30748 33 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140633207834424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 308.58
Current children cumulated vsize (KiB) 226864
[startup+309.107 s]
/proc/loadavg: 2.07 2.02 1.95 3/180 19637
/proc/meminfo: memFree=27750336/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226864 CPUtime=308.98 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 41185 0 0 0 30869 29 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56716 42028 190 433 0 56280 0
[pid=19631/tid=19633] ppid=19629 vsize=226864 CPUtime=308.21 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 40395 0 0 0 30788 33 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140633207834424 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 308.98
Current children cumulated vsize (KiB) 226864
[startup+309.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/180 19637
/proc/meminfo: memFree=27750336/32873844 swapFree=6856/6856
[pid=19631] ppid=19629 vsize=226864 CPUtime=309.18 cores=1,3,5,7
/proc/19631/stat : 19631 (pwbo2.0) S 19629 19631 18256 0 -1 4202496 41185 0 0 0 30889 29 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140735815220208 4547341 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19631/statm: 56716 42028 190 433 0 56280 0
[pid=19631/tid=19633] ppid=19629 vsize=226864 CPUtime=308.41 cores=1,3,5,7
/proc/19631/task/19633/stat : 19633 (pwbo2.0) R 19629 19631 18256 0 -1 4202560 40395 0 0 0 30808 33 0 0 20 0 2 0 274981708 232308736 42028 33554432000 4194304 5965102 140735815220688 140633207834424 4400992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 309.18
Current children cumulated vsize (KiB) 226864
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19631 and gives
# childrusage.ru_utime.tv_sec=308
# childrusage.ru_utime.tv_usec=98161
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=344947
# CPU time returned by wait4() is 308.443
# while last known CPU time is 309.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 309.316
CPU time (s): 309.18
CPU user time (s): 308.89
CPU system time (s): 0.29
CPU usage (%): 99.9561
Max. virtual memory (cumulated for all children) (KiB): 226864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 308.098
system time used= 0.344947
maximum resident set size= 168124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41188
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= 67
involuntary context switches= 316
runsolver used 0.470928 second user time and 1.23281 second system time
The end