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-3703459-1338086007/watcher-3703459-1338086007 -o /tmp/evaluation-result-3703459-1338086007/solver-3703459-1338086007 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703459-1338086007.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.85 3.05 3/171 19769
/proc/meminfo: memFree=31562144/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 905 0 0 0 0 0 0 0 20 0 3 0 274726425 166240256 856 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 863 198 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 93 0 0 0 0 0 0 0 20 0 3 0 274726425 166240256 863 33554432000 4194304 5965102 140734463923536 140583940197424 5179915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=0 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 3 0 274726425 166240256 863 33554432000 4194304 5965102 140734463923536 140735615771272 5144245 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.026305 s]
/proc/loadavg: 3.99 3.85 3.05 3/171 19769
/proc/meminfo: memFree=31562144/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=0.04 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 1184 0 0 0 4 0 0 0 20 0 3 0 274726425 166240256 1127 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 1127 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=0.01 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 315 0 0 0 1 0 0 0 20 0 3 0 274726425 166240256 1127 33554432000 4194304 5965102 140734463923536 140583940197424 4396379 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=0.01 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 125 0 0 0 1 0 0 0 20 0 3 0 274726425 166240256 1127 33554432000 4194304 5965102 140734463923536 140735615771272 4404416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 162344
[startup+0.100271 s]
/proc/loadavg: 3.99 3.85 3.05 3/171 19769
/proc/meminfo: memFree=31562144/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=0.19 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 1786 0 0 0 19 0 0 0 20 0 3 0 274726425 166240256 1630 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 1630 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=0.08 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 3 0 274726425 166240256 1630 33554432000 4194304 5965102 140734463923536 140583940197424 4396379 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=0.08 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 277 0 0 0 8 0 0 0 20 0 3 0 274726425 166240256 1630 33554432000 4194304 5965102 140734463923536 140583929706784 4401118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162344
[startup+0.300234 s]
/proc/loadavg: 3.99 3.85 3.05 3/171 19769
/proc/meminfo: memFree=31562144/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=0.58 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 3001 0 0 0 58 0 0 0 20 0 3 0 274726425 166240256 2262 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 2262 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=0.28 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 1789 0 0 0 28 0 0 0 20 0 3 0 274726425 166240256 2262 33554432000 4194304 5965102 140734463923536 140583940197424 4401871 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=0.28 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 468 0 0 0 28 0 0 0 20 0 3 0 274726425 166240256 2262 33554432000 4194304 5965102 140734463923536 140583929706952 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162344
[startup+0.700259 s]
/proc/loadavg: 3.99 3.85 3.05 3/171 19769
/proc/meminfo: memFree=31562144/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=1.38 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 4524 0 0 0 138 0 0 0 20 0 3 0 274726425 166240256 3075 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 3075 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=0.68 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 3113 0 0 0 68 0 0 0 20 0 3 0 274726425 166240256 3075 33554432000 4194304 5965102 140734463923536 140583940197192 4972604 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=0.68 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 667 0 0 0 68 0 0 0 20 0 3 0 274726425 166240256 3075 33554432000 4194304 5965102 140734463923536 140583929706616 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162344
[startup+1.50024 s]
/proc/loadavg: 3.83 3.82 3.04 5/181 19786
/proc/meminfo: memFree=31486432/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=2.98 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 6561 0 0 0 298 0 0 0 20 0 3 0 274726425 166240256 4050 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 4050 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=1.48 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 5068 0 0 0 148 0 0 0 20 0 3 0 274726425 166240256 4050 33554432000 4194304 5965102 140734463923536 140583940196696 4401668 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=1.48 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 749 0 0 0 148 0 0 0 20 0 3 0 274726425 166240256 4050 33554432000 4194304 5965102 140734463923536 140583929706784 4400981 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) 162344
[startup+3.10025 s]
/proc/loadavg: 3.83 3.82 3.04 5/181 19786
/proc/meminfo: memFree=31441776/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=6.19 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 8191 0 0 0 618 1 0 0 20 0 3 0 274726425 166240256 5066 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 5066 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=3.07 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 6582 0 0 0 307 0 0 0 20 0 3 0 274726425 166240256 5066 33554432000 4194304 5965102 140734463923536 140583940197304 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=3.07 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 865 0 0 0 307 0 0 0 20 0 3 0 274726425 166240256 5066 33554432000 4194304 5965102 140734463923536 140583929706784 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 162344
[startup+6.30027 s]
/proc/loadavg: 3.85 3.82 3.05 5/181 19786
/proc/meminfo: memFree=31314352/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=12.58 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 10101 0 0 0 1256 2 0 0 20 0 3 0 274726425 166240256 6974 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 6974 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=6.26 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 8093 0 0 0 625 1 0 0 20 0 3 0 274726425 166240256 6974 33554432000 4194304 5965102 140734463923536 140583940196680 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=6.26 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 1264 0 0 0 626 0 0 0 20 0 3 0 274726425 166240256 6974 33554432000 4194304 5965102 140734463923536 140583929706720 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162344
[startup+12.7003 s]
/proc/loadavg: 3.86 3.82 3.05 5/181 19786
/proc/meminfo: memFree=31078640/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=162344 CPUtime=25.37 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 11845 0 0 0 2535 2 0 0 20 0 3 0 274726425 166240256 8717 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40586 8717 200 433 0 40150 0
[pid=19769/tid=19770] ppid=19767 vsize=162344 CPUtime=12.64 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 9407 0 0 0 1263 1 0 0 20 0 3 0 274726425 166240256 8717 33554432000 4194304 5965102 140734463923536 140583940197248 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=162344 CPUtime=12.65 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 1694 0 0 0 1265 0 0 0 20 0 3 0 274726425 166240256 8717 33554432000 4194304 5965102 140734463923536 140583929706808 4401064 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) 162344
[startup+25.5004 s]
/proc/loadavg: 3.89 3.83 3.07 5/181 19786
/proc/meminfo: memFree=30653524/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=163308 CPUtime=50.97 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 17487 0 0 0 5092 5 0 0 20 0 3 0 274726425 167227392 15354 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 40827 15354 200 433 0 40391 0
[pid=19769/tid=19770] ppid=19767 vsize=163308 CPUtime=25.41 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 13855 0 0 0 2538 3 0 0 20 0 3 0 274726425 167227392 15354 33554432000 4194304 5965102 140734463923536 140583940196712 4401648 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=163308 CPUtime=25.41 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 2888 0 0 0 2540 1 0 0 20 0 3 0 274726425 167227392 15354 33554432000 4194304 5965102 140734463923536 140583929706808 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 163308
[startup+51.1004 s]
/proc/loadavg: 4.00 3.86 3.10 5/181 19786
/proc/meminfo: memFree=30202136/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164164 CPUtime=102.16 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 18488 0 0 0 10210 6 0 0 20 0 3 0 274726425 168103936 16355 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41041 16355 200 433 0 40605 0
[pid=19769/tid=19770] ppid=19767 vsize=164164 CPUtime=50.94 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 13884 0 0 0 5091 3 0 0 20 0 3 0 274726425 168103936 16355 33554432000 4194304 5965102 140734463923536 140583940196712 4404711 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164164 CPUtime=50.95 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 3860 0 0 0 5093 2 0 0 20 0 3 0 274726425 168103936 16355 33554432000 4194304 5965102 140734463923536 140583929706568 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 164164
Solver just ended. Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.00 3.86 3.10 5/181 19786
/proc/meminfo: memFree=30202136/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164164 CPUtime=102.36 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 18488 0 0 0 10230 6 0 0 20 0 3 0 274726425 168103936 16355 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41041 16355 200 433 0 40605 0
[pid=19769/tid=19770] ppid=19767 vsize=164164 CPUtime=51.04 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 13884 0 0 0 5101 3 0 0 20 0 3 0 274726425 168103936 16355 33554432000 4194304 5965102 140734463923536 140583940196712 4390210 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164164 CPUtime=51.04 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 3860 0 0 0 5102 2 0 0 20 0 3 0 274726425 168103936 16355 33554432000 4194304 5965102 140734463923536 140583929706568 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 164164
[startup+76.8003 s]
/proc/loadavg: 4.00 3.87 3.12 5/181 19786
/proc/meminfo: memFree=29793012/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164164 CPUtime=153.55 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 19423 0 0 0 15349 6 0 0 20 0 3 0 274726425 168103936 17290 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41041 17290 200 433 0 40605 0
[pid=19769/tid=19770] ppid=19767 vsize=164164 CPUtime=76.58 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 14593 0 0 0 7654 4 0 0 20 0 3 0 274726425 168103936 17290 33554432000 4194304 5965102 140734463923536 140583940196344 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164164 CPUtime=76.58 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 4086 0 0 0 7655 3 0 0 20 0 3 0 274726425 168103936 17290 33554432000 4194304 5965102 140734463923536 140583929706616 4401668 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 153.55
Current children cumulated vsize (KiB) 164164
[startup+89.6004 s]
/proc/loadavg: 4.00 3.87 3.13 5/181 19786
/proc/meminfo: memFree=29468984/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164888 CPUtime=179.14 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 22177 0 0 0 17906 8 0 0 20 0 3 0 274726425 168845312 20044 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41222 20044 200 433 0 40786 0
[pid=19769/tid=19770] ppid=19767 vsize=164888 CPUtime=89.34 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 16503 0 0 0 8928 6 0 0 20 0 3 0 274726425 168845312 20044 33554432000 4194304 5965102 140734463923536 140583940196448 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164888 CPUtime=89.34 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 4930 0 0 0 8931 3 0 0 20 0 3 0 274726425 168845312 20044 33554432000 4194304 5965102 140734463923536 140583929706616 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 164888
[startup+96.0003 s]
/proc/loadavg: 4.00 3.88 3.14 5/181 19786
/proc/meminfo: memFree=29354020/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164888 CPUtime=191.94 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 22477 0 0 0 19186 8 0 0 20 0 3 0 274726425 168845312 20344 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41222 20344 200 433 0 40786 0
[pid=19769/tid=19770] ppid=19767 vsize=164888 CPUtime=95.73 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 16797 0 0 0 9567 6 0 0 20 0 3 0 274726425 168845312 20344 33554432000 4194304 5965102 140734463923536 140583940196392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164888 CPUtime=95.73 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 4936 0 0 0 9570 3 0 0 20 0 3 0 274726425 168845312 20344 33554432000 4194304 5965102 140734463923536 140583929706616 4389823 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 191.94
Current children cumulated vsize (KiB) 164888
[startup+99.2004 s]
/proc/loadavg: 4.00 3.88 3.14 5/181 19786
/proc/meminfo: memFree=29309628/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164888 CPUtime=198.34 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 22509 0 0 0 19826 8 0 0 20 0 3 0 274726425 168845312 20376 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41222 20376 200 433 0 40786 0
[pid=19769/tid=19770] ppid=19767 vsize=164888 CPUtime=98.92 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 16814 0 0 0 9886 6 0 0 20 0 3 0 274726425 168845312 20376 33554432000 4194304 5965102 140734463923536 140583940196152 4401015 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164888 CPUtime=98.92 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 4951 0 0 0 9889 3 0 0 20 0 3 0 274726425 168845312 20376 33554432000 4194304 5965102 140734463923536 140583929706616 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 198.34
Current children cumulated vsize (KiB) 164888
[startup+100.8 s]
/proc/loadavg: 4.00 3.88 3.14 5/181 19786
/proc/meminfo: memFree=29294376/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164888 CPUtime=201.55 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 22816 0 0 0 20146 9 0 0 20 0 3 0 274726425 168845312 20683 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41222 20683 200 433 0 40786 0
[pid=19769/tid=19770] ppid=19767 vsize=164888 CPUtime=100.51 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 17014 0 0 0 10045 6 0 0 20 0 3 0 274726425 168845312 20683 33554432000 4194304 5965102 140734463923536 140583940196392 4400981 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164888 CPUtime=100.51 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 5058 0 0 0 10048 3 0 0 20 0 3 0 274726425 168845312 20683 33554432000 4194304 5965102 140734463923536 140583929706856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.55
Current children cumulated vsize (KiB) 164888
[startup+101.2 s]
/proc/loadavg: 4.00 3.88 3.14 5/181 19786
/proc/meminfo: memFree=29278876/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164888 CPUtime=202.36 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 22986 0 0 0 20227 9 0 0 20 0 3 0 274726425 168845312 20853 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41222 20853 200 433 0 40786 0
[pid=19769/tid=19770] ppid=19767 vsize=164888 CPUtime=100.92 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 17105 0 0 0 10086 6 0 0 20 0 3 0 274726425 168845312 20853 33554432000 4194304 5965102 140734463923536 140583940196392 4404711 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164888 CPUtime=100.92 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 5137 0 0 0 10088 4 0 0 20 0 3 0 274726425 168845312 20853 33554432000 4194304 5965102 140734463923536 140583929706856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 202.36
Current children cumulated vsize (KiB) 164888
[startup+101.6 s]
/proc/loadavg: 4.00 3.88 3.14 5/181 19786
/proc/meminfo: memFree=29278876/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164888 CPUtime=203.14 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 23164 0 0 0 20305 9 0 0 20 0 3 0 274726425 168845312 21031 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41222 21031 200 433 0 40786 0
[pid=19769/tid=19770] ppid=19767 vsize=164888 CPUtime=101.31 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 17187 0 0 0 10125 6 0 0 20 0 3 0 274726425 168845312 21031 33554432000 4194304 5965102 140734463923536 140583940196392 4411827 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164888 CPUtime=101.31 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 5233 0 0 0 10127 4 0 0 20 0 3 0 274726425 168845312 21031 33554432000 4194304 5965102 140734463923536 140583929706856 4400952 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 203.14
Current children cumulated vsize (KiB) 164888
[startup+101.7 s]
/proc/loadavg: 4.00 3.88 3.14 5/181 19786
/proc/meminfo: memFree=29278876/32873844 swapFree=7112/7112
[pid=19769] ppid=19767 vsize=164888 CPUtime=203.34 cores=0,2,4,6
/proc/19769/stat : 19769 (pwbo2.0) S 19767 19769 19605 0 -1 4202496 23197 0 0 0 20325 9 0 0 20 0 3 0 274726425 168845312 21064 33554432000 4194304 5965102 140734463923536 140734463923056 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19769/statm: 41222 21064 200 433 0 40786 0
[pid=19769/tid=19770] ppid=19767 vsize=164888 CPUtime=101.41 cores=0,2,4,6
/proc/19769/task/19770/stat : 19770 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 17203 0 0 0 10135 6 0 0 20 0 3 0 274726425 168845312 21064 33554432000 4194304 5965102 140734463923536 140583940196392 4374463 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19769/tid=19771] ppid=19767 vsize=164888 CPUtime=101.41 cores=0,2,4,6
/proc/19769/task/19771/stat : 19771 (pwbo2.0) R 19767 19769 19605 0 -1 4202560 5250 0 0 0 10137 4 0 0 20 0 3 0 274726425 168845312 21064 33554432000 4194304 5965102 140734463923536 140583929706856 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 203.34
Current children cumulated vsize (KiB) 164888
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19769 and gives
# childrusage.ru_utime.tv_sec=202
# childrusage.ru_utime.tv_usec=769174
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=125980
# CPU time returned by wait4() is 202.895
# while last known CPU time is 203.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 101.72
CPU time (s): 203.34
CPU user time (s): 203.25
CPU system time (s): 0.09
CPU usage (%): 199.901
Max. virtual memory (cumulated for all children) (KiB): 164888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.769
system time used= 0.12598
maximum resident set size= 84304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23209
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= 29
involuntary context switches= 263
runsolver used 0.347947 second user time and 0.646901 second system time
The end