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-3704856-1338110562/watcher-3704856-1338110562 -o /tmp/evaluation-result-3704856-1338110562/solver-3704856-1338110562 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704856-1338110562.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 2.00 3/175 25732
/proc/meminfo: memFree=28232348/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=40412 CPUtime=0 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) R 25730 25732 23570 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 277181768 41381888 281 33554432000 4194304 5963574 140734485886960 140734485884840 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 10103 282 176 432 0 350 0
[startup+0.031654 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25732
/proc/meminfo: memFree=28232348/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=41584 CPUtime=0.02 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) R 25730 25732 23570 0 -1 4202496 717 0 0 0 2 0 0 0 20 0 1 0 277181768 42582016 670 33554432000 4194304 5963574 140734485886960 140734485885304 4343959 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 10396 671 270 432 0 643 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 41584
[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25732
/proc/meminfo: memFree=28232348/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=44992 CPUtime=0.09 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) R 25730 25732 23570 0 -1 4202496 1813 0 0 0 9 0 0 0 20 0 1 0 277181768 46071808 1733 33554432000 4194304 5963574 140734485886960 140734485885304 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 11248 1734 537 432 0 1495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44992
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25732
/proc/meminfo: memFree=28232348/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=54000 CPUtime=0.29 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) R 25730 25732 23570 0 -1 4202496 4870 0 0 0 28 1 0 0 20 0 1 0 277181768 55296000 4726 33554432000 4194304 5963574 140734485886960 140734485885304 4419071 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 13500 4726 1308 432 0 3747 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54000
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 25732
/proc/meminfo: memFree=28232348/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=72672 CPUtime=0.69 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) R 25730 25732 23570 0 -1 4202496 11183 0 0 0 67 2 0 0 20 0 1 0 277181768 74416128 10652 33554432000 4194304 5963574 140734485886960 140734485885304 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 18168 10653 2870 432 0 8415 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72672
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25733
/proc/meminfo: memFree=28188800/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=108404 CPUtime=1.49 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) R 25730 25732 23570 0 -1 4202496 22812 0 0 0 146 3 0 0 20 0 1 0 277181768 111005696 22279 33554432000 4194304 5963574 140734485886960 140734485885432 4419071 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 27101 22280 6041 432 0 17348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108404
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25733
/proc/meminfo: memFree=28143600/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=190048 CPUtime=3.09 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 50657 0 0 0 302 7 0 0 20 0 2 0 277181768 194609152 40804 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 47512 40804 180 432 0 47077 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190048
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25734
/proc/meminfo: memFree=28030876/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=250420 CPUtime=6.29 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 62400 0 0 0 618 11 0 0 20 0 2 0 277181768 256430080 50876 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 62605 50876 188 432 0 62170 0
[pid=25732/tid=25734] ppid=25730 vsize=250420 CPUtime=3.87 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 26802 0 0 0 382 5 0 0 20 0 2 0 277182008 256430080 50876 33554432000 4194304 5963574 140734485886960 140240291178296 4399451 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) 250420
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25734
/proc/meminfo: memFree=28028552/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=250420 CPUtime=12.68 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 62855 0 0 0 1257 11 0 0 20 0 2 0 277181768 256430080 51331 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 62605 51331 188 432 0 62170 0
[pid=25732/tid=25734] ppid=25730 vsize=250420 CPUtime=10.25 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 27257 0 0 0 1019 6 0 0 20 0 2 0 277182008 256430080 51331 33554432000 4194304 5963574 140734485886960 140240291178296 4222352 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) 250420
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25734
/proc/meminfo: memFree=28026568/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=250420 CPUtime=25.48 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 63325 0 0 0 2536 12 0 0 20 0 2 0 277181768 256430080 51801 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 62605 51801 188 432 0 62170 0
[pid=25732/tid=25734] ppid=25730 vsize=250420 CPUtime=23.02 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 27727 0 0 0 2296 6 0 0 20 0 2 0 277182008 256430080 51801 33554432000 4194304 5963574 140734485886960 140240291178296 4402906 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) 250420
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25734
/proc/meminfo: memFree=28024832/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=250420 CPUtime=51.08 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 63839 0 0 0 5095 13 0 0 20 0 2 0 277181768 256430080 52315 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 62605 52315 188 432 0 62170 0
[pid=25732/tid=25734] ppid=25730 vsize=250420 CPUtime=48.55 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 28241 0 0 0 4848 7 0 0 20 0 2 0 277182008 256430080 52315 33554432000 4194304 5963574 140734485886960 140240291178424 4402912 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) 250420
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25734
/proc/meminfo: memFree=28003440/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=250420 CPUtime=102.28 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 69149 0 0 0 10211 17 0 0 20 0 2 0 277181768 256430080 57625 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 62605 57625 188 432 0 62170 0
[pid=25732/tid=25734] ppid=25730 vsize=250420 CPUtime=99.62 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 33551 0 0 0 9950 12 0 0 20 0 2 0 277182008 256430080 57625 33554432000 4194304 5963574 140734485886960 140240291178008 4392504 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 250420
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25774
/proc/meminfo: memFree=28323564/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=315956 CPUtime=162.26 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 79964 0 0 0 16204 22 0 0 20 0 2 0 277181768 323538944 68440 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 78989 68440 188 432 0 78554 0
[pid=25732/tid=25734] ppid=25730 vsize=315956 CPUtime=159.46 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 44366 0 0 0 15928 18 0 0 20 0 2 0 277182008 323538944 68440 33554432000 4194304 5963574 140734485886960 140240291178296 4402912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 315956
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25813
/proc/meminfo: memFree=28174360/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=381492 CPUtime=222.24 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 89508 0 0 0 22197 27 0 0 20 0 2 0 277181768 390647808 79310 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 95373 79310 188 432 0 94938 0
[pid=25732/tid=25734] ppid=25730 vsize=381492 CPUtime=219.3 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 53910 0 0 0 21905 25 0 0 20 0 2 0 277182008 390647808 79310 33554432000 4194304 5963574 140734485886960 140240291178488 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 381492
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25852
/proc/meminfo: memFree=28212708/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=381492 CPUtime=282.2 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 100844 0 0 0 28185 35 0 0 20 0 2 0 277181768 390647808 90815 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 95373 90815 188 432 0 94938 0
[pid=25732/tid=25734] ppid=25730 vsize=381492 CPUtime=279.11 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 65246 0 0 0 27877 34 0 0 20 0 2 0 277182008 390647808 90815 33554432000 4194304 5963574 140734485886960 140240291178296 4402912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 381492
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25852
/proc/meminfo: memFree=28144968/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=447028 CPUtime=342.16 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 109662 0 0 0 34173 43 0 0 20 0 2 0 277181768 457756672 100320 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 111757 100320 188 432 0 111322 0
[pid=25732/tid=25734] ppid=25730 vsize=447028 CPUtime=338.92 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 74064 0 0 0 33850 42 0 0 20 0 2 0 277182008 457756672 100320 33554432000 4194304 5963574 140734485886960 140240291178296 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 447028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25852
/proc/meminfo: memFree=28095720/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=447028 CPUtime=402.15 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 116700 0 0 0 40165 50 0 0 20 0 2 0 277181768 457756672 107349 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 111757 107349 188 432 0 111322 0
[pid=25732/tid=25734] ppid=25730 vsize=447028 CPUtime=398.76 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 81102 0 0 0 39826 50 0 0 20 0 2 0 277182008 457756672 107349 33554432000 4194304 5963574 140734485886960 140240291178296 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 447028
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25856
/proc/meminfo: memFree=28051568/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=512564 CPUtime=462.14 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 122745 0 0 0 46157 57 0 0 20 0 2 0 277181768 524865536 114416 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 128141 114416 188 432 0 127706 0
[pid=25732/tid=25734] ppid=25730 vsize=512564 CPUtime=458.6 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 87148 0 0 0 45803 57 0 0 20 0 2 0 277182008 524865536 114417 33554432000 4194304 5963574 140734485886960 140240291178488 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25863
/proc/meminfo: memFree=27529276/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=709172 CPUtime=1421.94 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 176636 0 0 0 142069 125 0 0 20 0 2 0 277181768 726192128 171748 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 177293 171748 188 432 0 176858 0
[pid=25732/tid=25734] ppid=25730 vsize=709172 CPUtime=1416 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 141038 0 0 0 141460 140 0 0 20 0 2 0 277182008 726192128 171748 33554432000 4194304 5963574 140734485886960 140240291178536 4399456 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) 709172
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25863
/proc/meminfo: memFree=27503608/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=774708 CPUtime=1481.91 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 178848 0 0 0 148064 127 0 0 20 0 2 0 277181768 793300992 173960 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 193677 173960 188 432 0 193242 0
[pid=25732/tid=25734] ppid=25730 vsize=774708 CPUtime=1475.83 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 143250 0 0 0 147439 144 0 0 20 0 2 0 277182008 793300992 173960 33554432000 4194304 5963574 140734485886960 140240291178536 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 774708
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 25863
/proc/meminfo: memFree=27478680/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=774708 CPUtime=1541.91 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 181685 0 0 0 154061 130 0 0 20 0 2 0 277181768 793300992 176797 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 193677 176797 188 432 0 193242 0
[pid=25732/tid=25734] ppid=25730 vsize=774708 CPUtime=1535.68 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 146087 0 0 0 153421 147 0 0 20 0 2 0 277182008 793300992 176797 33554432000 4194304 5963574 140734485886960 140240291178488 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 774708
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 25863
/proc/meminfo: memFree=27470448/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=774708 CPUtime=1601.88 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 183469 0 0 0 160056 132 0 0 20 0 2 0 277181768 793300992 178823 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 193677 178823 188 432 0 193242 0
[pid=25732/tid=25734] ppid=25730 vsize=774708 CPUtime=1595.5 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 147871 0 0 0 159399 151 0 0 20 0 2 0 277182008 793300992 178823 33554432000 4194304 5963574 140734485886960 140240291178488 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 774708
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 25866
/proc/meminfo: memFree=27459772/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=774708 CPUtime=1661.85 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 185413 0 0 0 166050 135 0 0 20 0 2 0 277181768 793300992 181467 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 193677 181467 188 432 0 193242 0
[pid=25732/tid=25734] ppid=25730 vsize=774708 CPUtime=1655.32 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 149815 0 0 0 165377 155 0 0 20 0 2 0 277182008 793300992 181467 33554432000 4194304 5963574 140734485886960 140240291178536 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 774708
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27452400/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=774708 CPUtime=1721.84 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 187169 0 0 0 172047 137 0 0 20 0 2 0 277181768 793300992 183222 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 193677 183222 188 432 0 193242 0
[pid=25732/tid=25734] ppid=25730 vsize=774708 CPUtime=1715.16 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 151571 0 0 0 171358 158 0 0 20 0 2 0 277182008 793300992 183222 33554432000 4194304 5963574 140734485886960 140240291178488 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 774708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433728/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1781.84 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 188994 0 0 0 178044 140 0 0 20 0 2 0 277181768 805900288 187602 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187602 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1775 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153396 0 0 0 177339 161 0 0 20 0 2 0 277182008 805900288 187602 33554432000 4194304 5963574 140734485886960 140240291178424 4392498 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 787012
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433728/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1791.44 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 189016 0 0 0 179004 140 0 0 20 0 2 0 277181768 805900288 187624 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187624 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1784.58 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153418 0 0 0 178296 162 0 0 20 0 2 0 277182008 805900288 187624 33554432000 4194304 5963574 140734485886960 140240291178424 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 787012
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433604/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1794.64 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 189017 0 0 0 179324 140 0 0 20 0 2 0 277181768 805900288 187625 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187625 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1787.78 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153419 0 0 0 178616 162 0 0 20 0 2 0 277182008 805900288 187625 33554432000 4194304 5963574 140734485886960 140240291178424 4402912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 787012
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433604/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1797.83 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 189017 0 0 0 179643 140 0 0 20 0 2 0 277181768 805900288 187625 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187625 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1790.96 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153419 0 0 0 178934 162 0 0 20 0 2 0 277182008 805900288 187625 33554432000 4194304 5963574 140734485886960 140240291178424 4402912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 787012
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433480/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1798.63 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 189017 0 0 0 179723 140 0 0 20 0 2 0 277181768 805900288 187625 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187625 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1791.76 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153419 0 0 0 179014 162 0 0 20 0 2 0 277182008 805900288 187625 33554432000 4194304 5963574 140734485886960 140240291178424 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 787012
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433480/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1799.04 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 189017 0 0 0 179764 140 0 0 20 0 2 0 277181768 805900288 187625 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187625 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1792.16 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153419 0 0 0 179054 162 0 0 20 0 2 0 277182008 805900288 187625 33554432000 4194304 5963574 140734485886960 140240291178424 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 787012
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433480/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1799.43 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 189017 0 0 0 179803 140 0 0 20 0 2 0 277181768 805900288 187625 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187625 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1792.56 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153419 0 0 0 179094 162 0 0 20 0 2 0 277182008 805900288 187625 33554432000 4194304 5963574 140734485886960 140240291178424 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 787012
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27433480/32873852 swapFree=6848/6848
[pid=25732] ppid=25730 vsize=787012 CPUtime=1799.53 cores=1,3,5,7
/proc/25732/stat : 25732 (wbo1.7) S 25730 25732 23570 0 -1 4202496 189017 0 0 0 179813 140 0 0 20 0 2 0 277181768 805900288 187625 33554432000 4194304 5963574 140734485886960 140734485886480 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25732/statm: 196753 187625 188 432 0 196318 0
[pid=25732/tid=25734] ppid=25730 vsize=787012 CPUtime=1792.66 cores=1,3,5,7
/proc/25732/task/25734/stat : 25734 (wbo1.7) R 25730 25732 23570 0 -1 4202560 153419 0 0 0 179104 162 0 0 20 0 2 0 277182008 805900288 187625 33554432000 4194304 5963574 140734485886960 140240291178424 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 787012
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25732 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=386363
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=691742
# CPU time returned by wait4() is 1795.08
# while last known CPU time is 1799.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.53
CPU user time (s): 1798.13
CPU system time (s): 1.4
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 787012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.39
system time used= 1.69174
maximum resident set size= 750504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189018
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= 278
involuntary context switches= 1872
runsolver used 5.43717 second user time and 20.6669 second system time
The end