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-3727026-1338650488/watcher-3727026-1338650488 -o /tmp/evaluation-result-3727026-1338650488/solver-3727026-1338650488 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727026-1338650488.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: 1.09 1.68 1.88 3/177 18436
/proc/meminfo: memFree=31001184/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=5216 CPUtime=0 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) R 18434 18436 16985 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 331174803 5341184 462 33554432000 4194304 5964350 140736619432096 140736619429976 4344195 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 1304 462 168 433 0 541 0
[startup+0.0780081 s]
/proc/loadavg: 1.09 1.68 1.88 3/177 18436
/proc/meminfo: memFree=31001184/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=11276 CPUtime=0.07 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) R 18434 18436 16985 0 -1 4202496 2112 0 0 0 7 0 0 0 20 0 1 0 331174803 11546624 2065 33554432000 4194304 5964350 140736619432096 140736619429976 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 2819 2066 406 433 0 2056 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11276
[startup+0.100263 s]
/proc/loadavg: 1.09 1.68 1.88 3/177 18436
/proc/meminfo: memFree=31001184/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=12732 CPUtime=0.09 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) R 18434 18436 16985 0 -1 4202496 2564 0 0 0 9 0 0 0 20 0 1 0 331174803 13037568 2517 33554432000 4194304 5964350 140736619432096 140736619429976 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 3183 2518 474 433 0 2420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12732
[startup+0.300168 s]
/proc/loadavg: 1.09 1.68 1.88 3/177 18436
/proc/meminfo: memFree=31001184/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=92800 CPUtime=0.28 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 5956 0 0 0 28 0 0 0 20 0 2 0 331174803 95027200 5219 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 23200 5219 184 433 0 22764 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 92800
[startup+0.700112 s]
/proc/loadavg: 1.09 1.68 1.88 3/177 18436
/proc/meminfo: memFree=31001184/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=92800 CPUtime=0.69 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 6510 0 0 0 68 1 0 0 20 0 2 0 331174803 95027200 5773 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 23200 5773 184 433 0 22764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92800
[startup+1.5002 s]
/proc/loadavg: 1.09 1.68 1.88 3/179 18438
/proc/meminfo: memFree=30969300/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=92800 CPUtime=1.49 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 7525 0 0 0 148 1 0 0 20 0 2 0 331174803 95027200 6788 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 23200 6788 184 433 0 22764 0
[pid=18436/tid=18438] ppid=18434 vsize=92800 CPUtime=1.38 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 4455 0 0 0 138 0 0 0 20 0 2 0 331174813 95027200 6788 33554432000 4194304 5964350 140736619432096 139839051372536 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92800
[startup+3.10022 s]
/proc/loadavg: 1.09 1.68 1.88 3/179 18438
/proc/meminfo: memFree=30953924/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=92800 CPUtime=3.08 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 9562 0 0 0 307 1 0 0 20 0 2 0 331174803 95027200 8825 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 23200 8825 184 433 0 22764 0
[pid=18436/tid=18438] ppid=18434 vsize=92800 CPUtime=2.98 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 6492 0 0 0 298 0 0 0 20 0 2 0 331174813 95027200 8825 33554432000 4194304 5964350 140736619432096 139839051372472 4400023 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 92800
[startup+6.30021 s]
/proc/loadavg: 1.16 1.69 1.88 3/179 18438
/proc/meminfo: memFree=30924868/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=92800 CPUtime=6.29 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 13567 0 0 0 627 2 0 0 20 0 2 0 331174803 95027200 12830 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 23200 12830 184 433 0 22764 0
[pid=18436/tid=18438] ppid=18434 vsize=92800 CPUtime=6.18 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 10497 0 0 0 616 2 0 0 20 0 2 0 331174813 95027200 12830 33554432000 4194304 5964350 140736619432096 139839051372584 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92800
[startup+12.7002 s]
/proc/loadavg: 1.23 1.69 1.88 3/179 18438
/proc/meminfo: memFree=30892584/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=92800 CPUtime=12.68 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 17883 0 0 0 1265 3 0 0 20 0 2 0 331174803 95027200 17146 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 23200 17146 184 433 0 22764 0
[pid=18436/tid=18438] ppid=18434 vsize=92800 CPUtime=12.57 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 14813 0 0 0 1254 3 0 0 20 0 2 0 331174813 95027200 17146 33554432000 4194304 5964350 140736619432096 139839051372536 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92800
[startup+25.5003 s]
/proc/loadavg: 1.40 1.71 1.89 3/179 18516
/proc/meminfo: memFree=30854376/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=158336 CPUtime=25.48 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 29229 0 0 0 2543 5 0 0 20 0 2 0 331174803 162136064 28492 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 39584 28492 184 433 0 39148 0
[pid=18436/tid=18438] ppid=18434 vsize=158336 CPUtime=25.37 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 26159 0 0 0 2532 5 0 0 20 0 2 0 331174813 162136064 28492 33554432000 4194304 5964350 140736619432096 139839051372584 4381928 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 158336
[startup+51.1003 s]
/proc/loadavg: 1.60 1.73 1.89 3/179 18516
/proc/meminfo: memFree=30748876/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=223872 CPUtime=51.07 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 41332 0 0 0 5099 8 0 0 20 0 2 0 331174803 229244928 40620 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 55968 40620 184 433 0 55532 0
[pid=18436/tid=18438] ppid=18434 vsize=223872 CPUtime=50.96 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 38262 0 0 0 5088 8 0 0 20 0 2 0 331174813 229244928 40620 33554432000 4194304 5964350 140736619432096 139839051372536 4381913 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 223872
[startup+102.3 s]
/proc/loadavg: 1.83 1.77 1.89 3/179 18517
/proc/meminfo: memFree=30552504/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=289408 CPUtime=102.24 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 68324 0 0 0 10212 12 0 0 20 0 2 0 331174803 296353792 67601 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 72352 67601 184 433 0 71916 0
[pid=18436/tid=18438] ppid=18434 vsize=289408 CPUtime=102.15 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 65254 0 0 0 10202 13 0 0 20 0 2 0 331174813 296353792 67601 33554432000 4194304 5964350 140736619432096 139839051372536 4381951 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 289408
[startup+162.3 s]
/proc/loadavg: 1.93 1.81 1.90 3/179 18517
/proc/meminfo: memFree=30273980/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=486016 CPUtime=162.21 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 105320 0 0 0 16200 21 0 0 20 0 2 0 331174803 497680384 104584 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 121504 104584 184 433 0 121068 0
[pid=18436/tid=18438] ppid=18434 vsize=486016 CPUtime=162.12 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 102250 0 0 0 16189 23 0 0 20 0 2 0 331174813 497680384 104584 33554432000 4194304 5964350 140736619432096 139839051372536 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 486016
[startup+222.306 s]
/proc/loadavg: 1.97 1.84 1.91 3/179 18517
/proc/meminfo: memFree=30028784/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=552276 CPUtime=222.21 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 123680 0 0 0 22195 26 0 0 20 0 2 0 331174803 565530624 122944 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 138069 122944 184 433 0 137633 0
[pid=18436/tid=18438] ppid=18434 vsize=552276 CPUtime=222.13 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 120610 0 0 0 22184 29 0 0 20 0 2 0 331174813 565530624 122944 33554432000 4194304 5964350 140736619432096 139839051372536 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 552276
[startup+282.3 s]
/proc/loadavg: 1.99 1.87 1.91 3/178 18517
/proc/meminfo: memFree=29890012/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=617812 CPUtime=282.19 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 139231 0 0 0 28190 29 0 0 20 0 2 0 331174803 632639488 138495 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 154453 138495 184 433 0 154017 0
[pid=18436/tid=18438] ppid=18434 vsize=617812 CPUtime=282.13 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 136161 0 0 0 28180 33 0 0 20 0 2 0 331174813 632639488 138495 33554432000 4194304 5964350 140736619432096 139839051372344 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 617812
[startup+342.3 s]
/proc/loadavg: 2.04 1.90 1.91 3/180 18519
/proc/meminfo: memFree=29796676/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=617812 CPUtime=342.18 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 150892 0 0 0 34187 31 0 0 20 0 2 0 331174803 632639488 150156 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 154453 150156 184 433 0 154017 0
[pid=18436/tid=18438] ppid=18434 vsize=617812 CPUtime=342.13 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 147822 0 0 0 34176 37 0 0 20 0 2 0 331174813 632639488 150156 33554432000 4194304 5964350 140736619432096 139839051372536 4381916 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 617812
[startup+402.3 s]
/proc/loadavg: 2.01 1.92 1.91 3/178 18519
/proc/meminfo: memFree=29695692/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=617812 CPUtime=402.16 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 150896 0 0 0 40185 31 0 0 20 0 2 0 331174803 632639488 150156 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 154453 150156 184 433 0 154017 0
[pid=18436/tid=18438] ppid=18434 vsize=617812 CPUtime=402.13 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 147826 0 0 0 40175 38 0 0 20 0 2 0 331174813 632639488 150156 33554432000 4194304 5964350 140736619432096 139839051372536 4381916 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 617812
[startup+462.3 s]
/proc/loadavg: 2.00 1.93 1.91 3/179 18520
/proc/meminfo: memFree=29678360/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=683348 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 256436 0 0 0 124136 74 0 0 20 0 2 0 331174813 1102770176 259171 33554432000 4194304 5964350 140736619432096 139839051372536 4381941 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1076924
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 18528
/proc/meminfo: memFree=28691240/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1076924 CPUtime=1301.96 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 259506 0 0 0 130140 56 0 0 20 0 2 0 331174803 1102770176 259171 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 269231 259171 184 433 0 268795 0
[pid=18436/tid=18438] ppid=18434 vsize=1076924 CPUtime=1302.1 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 256436 0 0 0 130135 75 0 0 20 0 2 0 331174813 1102770176 259171 33554432000 4194304 5964350 140736619432096 139839051372536 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1076924
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 18529
/proc/meminfo: memFree=28640432/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1076924 CPUtime=1361.95 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 259506 0 0 0 136139 56 0 0 20 0 2 0 331174803 1102770176 259171 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 269231 259171 184 433 0 268795 0
[pid=18436/tid=18438] ppid=18434 vsize=1076924 CPUtime=1362.1 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 256436 0 0 0 136134 76 0 0 20 0 2 0 331174813 1102770176 259171 33554432000 4194304 5964350 140736619432096 139839051372536 4381949 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1076924
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 18529
/proc/meminfo: memFree=28567648/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1076924 CPUtime=1421.94 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 259506 0 0 0 142138 56 0 0 20 0 2 0 331174803 1102770176 259171 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 269231 259171 184 433 0 268795 0
[pid=18436/tid=18438] ppid=18434 vsize=1076924 CPUtime=1422.11 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 256436 0 0 0 142134 77 0 0 20 0 2 0 331174813 1102770176 259171 33554432000 4194304 5964350 140736619432096 139839051372536 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1076924
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 18529
/proc/meminfo: memFree=28498084/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1142460 CPUtime=1481.92 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 277321 0 0 0 148130 62 0 0 20 0 2 0 331174803 1169879040 276986 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 285615 276986 184 433 0 285179 0
[pid=18436/tid=18438] ppid=18434 vsize=1142460 CPUtime=1482.11 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 274251 0 0 0 148126 85 0 0 20 0 2 0 331174813 1169879040 276986 33554432000 4194304 5964350 140736619432096 139839051372536 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1142460
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 18529
/proc/meminfo: memFree=28382632/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1273532 CPUtime=1541.92 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 305579 0 0 0 154121 71 0 0 20 0 2 0 331174803 1304096768 305240 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 318383 305240 184 433 0 317947 0
[pid=18436/tid=18438] ppid=18434 vsize=1273532 CPUtime=1542.12 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 302509 0 0 0 154117 95 0 0 20 0 2 0 331174813 1304096768 305240 33554432000 4194304 5964350 140736619432096 139839051372536 4381949 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1273532
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 18529
/proc/meminfo: memFree=28382164/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1273532 CPUtime=1601.89 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 305589 0 0 0 160118 71 0 0 20 0 2 0 331174803 1304096768 305247 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 318383 305247 184 433 0 317947 0
[pid=18436/tid=18438] ppid=18434 vsize=1273532 CPUtime=1602.11 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 302519 0 0 0 160115 96 0 0 20 0 2 0 331174813 1304096768 305247 33554432000 4194304 5964350 140736619432096 139839051372536 4381716 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1273532
[startup+1662.3 s]
/proc/loadavg: 2.08 2.00 1.93 3/179 18530
/proc/meminfo: memFree=28361636/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1273532 CPUtime=1661.88 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 305609 0 0 0 166117 71 0 0 20 0 2 0 331174803 1304096768 305248 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 318383 305248 184 433 0 317947 0
[pid=18436/tid=18438] ppid=18434 vsize=1273532 CPUtime=1662.1 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 302539 0 0 0 166113 97 0 0 20 0 2 0 331174813 1304096768 305248 33554432000 4194304 5964350 140736619432096 139839051372536 4381949 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1273532
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.93 3/180 18533
/proc/meminfo: memFree=28292308/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1273532 CPUtime=1721.85 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 305635 0 0 0 172114 71 0 0 20 0 2 0 331174803 1304096768 305249 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 318383 305249 184 433 0 317947 0
[pid=18436/tid=18438] ppid=18434 vsize=1273532 CPUtime=1722.09 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 302565 0 0 0 172111 98 0 0 20 0 2 0 331174813 1304096768 305249 33554432000 4194304 5964350 140736619432096 139839051372536 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1273532
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 18533
/proc/meminfo: memFree=28144144/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1273532 CPUtime=1781.82 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 313586 0 0 0 178108 74 0 0 20 0 2 0 331174803 1304096768 313166 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 318383 313166 184 433 0 317947 0
[pid=18436/tid=18438] ppid=18434 vsize=1273532 CPUtime=1782.07 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 310516 0 0 0 178106 101 0 0 20 0 2 0 331174813 1304096768 313166 33554432000 4194304 5964350 140736619432096 139839051372344 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1273532
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 18533
/proc/meminfo: memFree=28108540/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1339068 CPUtime=1791.52 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 315351 0 0 0 179078 74 0 0 20 0 2 0 331174803 1371205632 314924 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 334767 314924 184 433 0 334331 0
[pid=18436/tid=18438] ppid=18434 vsize=1339068 CPUtime=1791.77 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 312281 0 0 0 179075 102 0 0 20 0 2 0 331174813 1371205632 314924 33554432000 4194304 5964350 140736619432096 139839051372536 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 1339068
[startup+1795.2 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 18533
/proc/meminfo: memFree=28096512/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1339068 CPUtime=1794.72 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 316046 0 0 0 179398 74 0 0 20 0 2 0 331174803 1371205632 315619 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 334767 315619 184 433 0 334331 0
[pid=18436/tid=18438] ppid=18434 vsize=1339068 CPUtime=1794.97 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 312976 0 0 0 179395 102 0 0 20 0 2 0 331174813 1371205632 315619 33554432000 4194304 5964350 140736619432096 139839051372536 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 1339068
[startup+1798.4 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 18533
/proc/meminfo: memFree=28087444/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1339068 CPUtime=1797.92 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 316976 0 0 0 179717 75 0 0 20 0 2 0 331174803 1371205632 316544 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 334767 316544 184 433 0 334331 0
[pid=18436/tid=18438] ppid=18434 vsize=1339068 CPUtime=1798.16 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 313906 0 0 0 179714 102 0 0 20 0 2 0 331174813 1371205632 316544 33554432000 4194304 5964350 140736619432096 139839051372536 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1339068
[startup+1799.2 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 18533
/proc/meminfo: memFree=28084220/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1339068 CPUtime=1798.72 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 317251 0 0 0 179797 75 0 0 20 0 2 0 331174803 1371205632 316819 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 334767 316819 184 433 0 334331 0
[pid=18436/tid=18438] ppid=18434 vsize=1339068 CPUtime=1798.96 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 314181 0 0 0 179794 102 0 0 20 0 2 0 331174813 1371205632 316819 33554432000 4194304 5964350 140736619432096 139839051372536 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 1339068
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18533
/proc/meminfo: memFree=28079632/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1339068 CPUtime=1799.12 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 317450 0 0 0 179837 75 0 0 20 0 2 0 331174803 1371205632 317018 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 334767 317018 184 433 0 334331 0
[pid=18436/tid=18438] ppid=18434 vsize=1339068 CPUtime=1799.37 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 314380 0 0 0 179835 102 0 0 20 0 2 0 331174813 1371205632 317018 33554432000 4194304 5964350 140736619432096 139839051372536 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 1339068
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 18533
/proc/meminfo: memFree=28079632/32873648 swapFree=7628/7628
[pid=18436] ppid=18434 vsize=1339068 CPUtime=1799.51 cores=1,3,5,7
/proc/18436/stat : 18436 (wbo1.72) S 18434 18436 16985 0 -1 4202496 317573 0 0 0 179876 75 0 0 20 0 2 0 331174803 1371205632 317141 33554432000 4194304 5964350 140736619432096 140736619431616 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18436/statm: 334767 317141 184 433 0 334331 0
[pid=18436/tid=18438] ppid=18434 vsize=1339068 CPUtime=1799.76 cores=1,3,5,7
/proc/18436/task/18438/stat : 18438 (wbo1.72) R 18434 18436 16985 0 -1 4202560 314503 0 0 0 179874 102 0 0 20 0 2 0 331174813 1371205632 317141 33554432000 4194304 5964350 140736619432096 139839051372536 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 1339068
Child status: 255
Real time (s): 1800.04
CPU time (s): 1799.92
CPU user time (s): 1798.86
CPU system time (s): 1.05384
CPU usage (%): 99.9934
Max. virtual memory (cumulated for all children) (KiB): 1339068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.05384
maximum resident set size= 1268604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317583
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= 313
involuntary context switches= 2000
runsolver used 3.31849 second user time and 9.41357 second system time
The end