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-3726561-1338655247/watcher-3726561-1338655247 -o /tmp/evaluation-result-3726561-1338655247/solver-3726561-1338655247 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726561-1338655247.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 2.00 1.93 3/178 27373
/proc/meminfo: memFree=27909648/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83700 CPUtime=0 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 825 0 0 0 0 0 0 0 20 0 2 0 331650606 85708800 774 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20925 774 184 433 0 20489 0
[pid=27373/tid=27374] ppid=27371 vsize=83700 CPUtime=0 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 2 0 331650606 85708800 774 33554432000 4194304 5964478 140736060703632 140736766953464 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.032791 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27373
/proc/meminfo: memFree=27909648/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83700 CPUtime=0.03 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 928 0 0 0 3 0 0 0 20 0 2 0 331650606 85708800 877 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20925 877 186 433 0 20489 0
[pid=27373/tid=27374] ppid=27371 vsize=83700 CPUtime=0.01 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 192 0 0 0 1 0 0 0 20 0 2 0 331650606 85708800 877 33554432000 4194304 5964478 140736060703632 140736766953464 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83700
[startup+0.100243 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27373
/proc/meminfo: memFree=27909648/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83700 CPUtime=0.09 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 1115 0 0 0 9 0 0 0 20 0 2 0 331650606 85708800 1064 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20925 1064 186 433 0 20489 0
[pid=27373/tid=27374] ppid=27371 vsize=83700 CPUtime=0.08 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 379 0 0 0 8 0 0 0 20 0 2 0 331650606 85708800 1064 33554432000 4194304 5964478 140736060703632 139807066925096 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83700
[startup+0.300203 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27373
/proc/meminfo: memFree=27909648/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83700 CPUtime=0.29 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 1545 0 0 0 29 0 0 0 20 0 2 0 331650606 85708800 1494 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20925 1494 186 433 0 20489 0
[pid=27373/tid=27374] ppid=27371 vsize=83700 CPUtime=0.28 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 809 0 0 0 28 0 0 0 20 0 2 0 331650606 85708800 1494 33554432000 4194304 5964478 140736060703632 139807066925096 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83700
[startup+0.700204 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27373
/proc/meminfo: memFree=27909648/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83700 CPUtime=0.69 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 2335 0 0 0 69 0 0 0 20 0 2 0 331650606 85708800 2284 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20925 2284 186 433 0 20489 0
[pid=27373/tid=27374] ppid=27371 vsize=83700 CPUtime=0.68 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 1599 0 0 0 68 0 0 0 20 0 2 0 331650606 85708800 2284 33554432000 4194304 5964478 140736060703632 139807066925048 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83700
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 27375
/proc/meminfo: memFree=27892636/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83844 CPUtime=1.49 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 3211 0 0 0 149 0 0 0 20 0 2 0 331650606 85856256 3160 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20961 3160 186 433 0 20525 0
[pid=27373/tid=27374] ppid=27371 vsize=83844 CPUtime=1.48 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 2475 0 0 0 148 0 0 0 20 0 2 0 331650606 85856256 3160 33554432000 4194304 5964478 140736060703632 139807066925048 4400067 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) 83844
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 27375
/proc/meminfo: memFree=27882700/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83844 CPUtime=3.09 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 4204 0 0 0 309 0 0 0 20 0 2 0 331650606 85856256 4153 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20961 4153 186 433 0 20525 0
[pid=27373/tid=27374] ppid=27371 vsize=83844 CPUtime=3.08 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 3468 0 0 0 308 0 0 0 20 0 2 0 331650606 85856256 4153 33554432000 4194304 5964478 140736060703632 139807066925048 4399827 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) 83844
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 27375
/proc/meminfo: memFree=27866096/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83844 CPUtime=6.28 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 5672 0 0 0 628 0 0 0 20 0 2 0 331650606 85856256 5621 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20961 5621 186 433 0 20525 0
[pid=27373/tid=27374] ppid=27371 vsize=83844 CPUtime=6.28 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 4936 0 0 0 628 0 0 0 20 0 2 0 331650606 85856256 5621 33554432000 4194304 5964478 140736060703632 139807066924856 4400435 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83844
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 27375
/proc/meminfo: memFree=27846716/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83916 CPUtime=12.69 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 6050 0 0 0 1268 1 0 0 20 0 2 0 331650606 85929984 5999 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20979 5999 186 433 0 20543 0
[pid=27373/tid=27374] ppid=27371 vsize=83916 CPUtime=12.68 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 5314 0 0 0 1267 1 0 0 20 0 2 0 331650606 85929984 5999 33554432000 4194304 5964478 140736060703632 139807066924856 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83916
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27375
/proc/meminfo: memFree=27821572/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=83916 CPUtime=25.48 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 7539 0 0 0 2547 1 0 0 20 0 2 0 331650606 85929984 7488 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 20979 7488 186 433 0 20543 0
[pid=27373/tid=27374] ppid=27371 vsize=83916 CPUtime=25.48 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 6803 0 0 0 2546 2 0 0 20 0 2 0 331650606 85929984 7488 33554432000 4194304 5964478 140736060703632 139807066925048 4400087 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) 83916
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27375
/proc/meminfo: memFree=27763864/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=85248 CPUtime=51.08 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 10494 0 0 0 5106 2 0 0 20 0 2 0 331650606 87293952 10443 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 21312 10443 186 433 0 20876 0
[pid=27373/tid=27374] ppid=27371 vsize=85248 CPUtime=51.08 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 9758 0 0 0 5105 3 0 0 20 0 2 0 331650606 87293952 10443 33554432000 4194304 5964478 140736060703632 139807066924856 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85248
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27375
/proc/meminfo: memFree=27601184/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=88252 CPUtime=102.25 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 17376 0 0 0 10221 4 0 0 20 0 2 0 331650606 90370048 17661 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 22063 17661 186 433 0 21627 0
[pid=27373/tid=27374] ppid=27371 vsize=88252 CPUtime=102.26 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 16640 0 0 0 10220 6 0 0 20 0 2 0 331650606 90370048 17661 33554432000 4194304 5964478 140736060703632 139807066925048 4400087 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) 88252
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27375
/proc/meminfo: memFree=27532640/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=154076 CPUtime=162.24 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 21433 0 0 0 16219 5 0 0 20 0 2 0 331650606 157773824 21718 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 38519 21718 186 433 0 38083 0
[pid=27373/tid=27374] ppid=27371 vsize=154076 CPUtime=162.26 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 20697 0 0 0 16218 8 0 0 20 0 2 0 331650606 157773824 21718 33554432000 4194304 5964478 140736060703632 139807066924856 4400087 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) 154076
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27375
/proc/meminfo: memFree=27531436/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=155804 CPUtime=222.23 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 21806 0 0 0 22218 5 0 0 20 0 2 0 331650606 159543296 22091 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 38951 22091 186 433 0 38515 0
[pid=27373/tid=27374] ppid=27371 vsize=155804 CPUtime=222.25 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 21070 0 0 0 22216 9 0 0 20 0 2 0 331650606 159543296 22091 33554432000 4194304 5964478 140736060703632 139807066925096 4400087 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) 155804
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27376
/proc/meminfo: memFree=27468184/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=160628 CPUtime=282.22 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 22970 0 0 0 28216 6 0 0 20 0 2 0 331650606 164483072 23259 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 40157 23259 186 433 0 39721 0
[pid=27373/tid=27374] ppid=27371 vsize=160628 CPUtime=282.25 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 22234 0 0 0 28214 11 0 0 20 0 2 0 331650606 164483072 23259 33554432000 4194304 5964478 140736060703632 139807066925048 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 160628
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27376
/proc/meminfo: memFree=27458868/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=161120 CPUtime=342.2 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 25515 0 0 0 34212 8 0 0 20 0 2 0 331650606 164986880 25806 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 40280 25806 186 433 0 39844 0
[pid=27373/tid=27374] ppid=27371 vsize=161120 CPUtime=342.24 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 24779 0 0 0 34210 14 0 0 20 0 2 0 331650606 164986880 25806 33554432000 4194304 5964478 140736060703632 139807066924856 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 161120
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 27376
/proc/meminfo: memFree=27456284/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=162920 CPUtime=402.19 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 26175 0 0 0 40211 8 0 0 20 0 2 0 331650606 166830080 26466 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 45349 0 0 0 130171 48 0 0 20 0 2 0 331650606 257327104 46874 33554432000 4194304 5964478 140736060703632 139807066925048 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 251296
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27408
/proc/meminfo: memFree=26904888/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=251512 CPUtime=1362.02 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 46675 0 0 0 136173 29 0 0 20 0 2 0 331650606 257548288 47464 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 62878 47464 186 433 0 62442 0
[pid=27373/tid=27374] ppid=27371 vsize=251512 CPUtime=1362.18 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 45939 0 0 0 136168 50 0 0 20 0 2 0 331650606 257548288 47464 33554432000 4194304 5964478 140736060703632 139807066925048 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 251512
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27408
/proc/meminfo: memFree=26905260/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=251584 CPUtime=1422.02 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 46700 0 0 0 142173 29 0 0 20 0 2 0 331650606 257622016 47489 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 62896 47489 186 433 0 62460 0
[pid=27373/tid=27374] ppid=27371 vsize=251584 CPUtime=1422.19 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 45964 0 0 0 142168 51 0 0 20 0 2 0 331650606 257622016 47489 33554432000 4194304 5964478 140736060703632 139807066925096 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 251584
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.94 3/179 27409
/proc/meminfo: memFree=26902036/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=251584 CPUtime=1482.01 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 47569 0 0 0 148171 30 0 0 20 0 2 0 331650606 257622016 48358 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 62896 48358 186 433 0 62460 0
[pid=27373/tid=27374] ppid=27371 vsize=251584 CPUtime=1482.18 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 46833 0 0 0 148165 53 0 0 20 0 2 0 331650606 257622016 48358 33554432000 4194304 5964478 140736060703632 139807066925096 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 251584
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 27409
/proc/meminfo: memFree=26765760/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=252016 CPUtime=1542 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 48402 0 0 0 154169 31 0 0 20 0 2 0 331650606 258064384 49191 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63004 49191 186 433 0 62568 0
[pid=27373/tid=27374] ppid=27371 vsize=252016 CPUtime=1542.18 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 47666 0 0 0 154163 55 0 0 20 0 2 0 331650606 258064384 49191 33554432000 4194304 5964478 140736060703632 139807066925048 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 252016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27409
/proc/meminfo: memFree=26726580/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=252160 CPUtime=1601.99 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 49645 0 0 0 160166 33 0 0 20 0 2 0 331650606 258211840 50434 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63040 50434 186 433 0 62604 0
[pid=27373/tid=27374] ppid=27371 vsize=252160 CPUtime=1602.18 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 48909 0 0 0 160160 58 0 0 20 0 2 0 331650606 258211840 50434 33554432000 4194304 5964478 140736060703632 139807066925096 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 252160
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27409
/proc/meminfo: memFree=26723340/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=252412 CPUtime=1661.98 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 50267 0 0 0 166164 34 0 0 20 0 2 0 331650606 258469888 51051 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63103 51051 186 433 0 62667 0
[pid=27373/tid=27374] ppid=27371 vsize=252412 CPUtime=1662.17 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 49531 0 0 0 166158 59 0 0 20 0 2 0 331650606 258469888 51051 33554432000 4194304 5964478 140736060703632 139807066925096 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 252412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27409
/proc/meminfo: memFree=26721148/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253092 CPUtime=1721.96 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 50976 0 0 0 172161 35 0 0 20 0 2 0 331650606 259166208 51776 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63273 51776 186 433 0 62837 0
[pid=27373/tid=27374] ppid=27371 vsize=253092 CPUtime=1722.16 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 50240 0 0 0 172155 61 0 0 20 0 2 0 331650606 259166208 51776 33554432000 4194304 5964478 140736060703632 139807066925048 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 253092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 27413
/proc/meminfo: memFree=26716736/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253416 CPUtime=1781.95 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 51873 0 0 0 178159 36 0 0 20 0 2 0 331650606 259497984 52673 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63354 52673 186 433 0 62918 0
[pid=27373/tid=27374] ppid=27371 vsize=253416 CPUtime=1782.16 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51137 0 0 0 178152 64 0 0 20 0 2 0 331650606 259497984 52673 33554432000 4194304 5964478 140736060703632 139807066925048 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 253416
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 27413
/proc/meminfo: memFree=26715976/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253576 CPUtime=1791.55 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 52005 0 0 0 179119 36 0 0 20 0 2 0 331650606 259661824 52805 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63394 52805 186 433 0 62958 0
[pid=27373/tid=27374] ppid=27371 vsize=253576 CPUtime=1791.77 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51269 0 0 0 179113 64 0 0 20 0 2 0 331650606 259661824 52805 33554432000 4194304 5964478 140736060703632 139807066925048 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 253576
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 27413
/proc/meminfo: memFree=26715608/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253576 CPUtime=1794.75 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 52076 0 0 0 179439 36 0 0 20 0 2 0 331650606 259661824 52876 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63394 52876 186 433 0 62958 0
[pid=27373/tid=27374] ppid=27371 vsize=253576 CPUtime=1794.97 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51340 0 0 0 179433 64 0 0 20 0 2 0 331650606 259661824 52876 33554432000 4194304 5964478 140736060703632 139807066925096 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 253576
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 27413
/proc/meminfo: memFree=26715344/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253576 CPUtime=1797.95 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 52167 0 0 0 179759 36 0 0 20 0 2 0 331650606 259661824 52967 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63394 52967 186 433 0 62958 0
[pid=27373/tid=27374] ppid=27371 vsize=253576 CPUtime=1798.16 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51431 0 0 0 179752 64 0 0 20 0 2 0 331650606 259661824 52967 33554432000 4194304 5964478 140736060703632 139807066924856 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 253576
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 27413
/proc/meminfo: memFree=26715344/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253576 CPUtime=1798.75 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 52171 0 0 0 179839 36 0 0 20 0 2 0 331650606 259661824 52971 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63394 52971 186 433 0 62958 0
[pid=27373/tid=27374] ppid=27371 vsize=253576 CPUtime=1798.96 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51435 0 0 0 179832 64 0 0 20 0 2 0 331650606 259661824 52971 33554432000 4194304 5964478 140736060703632 139807066924856 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 253576
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 27419
/proc/meminfo: memFree=27708864/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253576 CPUtime=1799.15 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 52174 0 0 0 179879 36 0 0 20 0 2 0 331650606 259661824 52974 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63394 52974 186 433 0 62958 0
[pid=27373/tid=27374] ppid=27371 vsize=253576 CPUtime=1799.37 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51438 0 0 0 179873 64 0 0 20 0 2 0 331650606 259661824 52974 33554432000 4194304 5964478 140736060703632 139807066925096 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 253576
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 27419
/proc/meminfo: memFree=27708864/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253720 CPUtime=1799.55 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 52200 0 0 0 179919 36 0 0 20 0 2 0 331650606 259809280 53000 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63430 53000 186 433 0 62994 0
[pid=27373/tid=27374] ppid=27371 vsize=253720 CPUtime=1799.76 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51464 0 0 0 179912 64 0 0 20 0 2 0 331650606 259809280 53000 33554432000 4194304 5964478 140736060703632 139807066925048 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 253720
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 27419
/proc/meminfo: memFree=27708864/32873648 swapFree=7112/7112
[pid=27373] ppid=27371 vsize=253720 CPUtime=1799.65 cores=1,3,5,7
/proc/27373/stat : 27373 (pwbo2.02) S 27371 27373 25232 0 -1 4202496 52201 0 0 0 179929 36 0 0 20 0 2 0 331650606 259809280 53001 33554432000 4194304 5964478 140736060703632 140736060703152 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27373/statm: 63430 53001 186 433 0 62994 0
[pid=27373/tid=27374] ppid=27371 vsize=253720 CPUtime=1799.86 cores=1,3,5,7
/proc/27373/task/27374/stat : 27374 (pwbo2.02) R 27371 27373 25232 0 -1 4202560 51465 0 0 0 179922 64 0 0 20 0 2 0 331650606 259809280 53001 33554432000 4194304 5964478 140736060703632 139807066925048 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 253720
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.89
CPU user time (s): 1799.24
CPU system time (s): 0.6549
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 253720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.6549
maximum resident set size= 212016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52204
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= 85
involuntary context switches= 2662
runsolver used 2.85556 second user time and 7.2529 second system time
The end