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-3727167-1339019548/watcher-3727167-1339019548 -o /tmp/evaluation-result-3727167-1339019548/solver-3727167-1339019548 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727167-1339019548.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: 1.01 0.99 0.85 3/177 7520
/proc/meminfo: memFree=22900080/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=351020 CPUtime=0 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 368079940 359444480 226 33554432000 4194304 5964350 140733244632048 140734339800728 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 87755 228 161 433 0 316 0
[startup+0.080832 s]
/proc/loadavg: 1.01 0.99 0.85 3/177 7520
/proc/meminfo: memFree=22900080/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=354552 CPUtime=0.07 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 1416 0 0 0 7 0 0 0 20 0 1 0 368079940 363061248 1368 33554432000 4194304 5964350 140733244632048 140734339800728 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 88638 1369 437 433 0 1199 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 354552
[startup+0.100336 s]
/proc/loadavg: 1.01 0.99 0.85 3/177 7520
/proc/meminfo: memFree=22900080/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=355660 CPUtime=0.09 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 1775 0 0 0 9 0 0 0 20 0 1 0 368079940 364195840 1694 33554432000 4194304 5964350 140733244632048 140734339800728 4419455 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 88915 1695 513 433 0 1476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 355660
[startup+0.300305 s]
/proc/loadavg: 1.01 0.99 0.85 3/177 7520
/proc/meminfo: memFree=22900080/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=364604 CPUtime=0.29 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 4767 0 0 0 29 0 0 0 20 0 1 0 368079940 373354496 4621 33554432000 4194304 5964350 140733244632048 140733244630392 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 91151 4621 1262 433 0 3712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 364604
[startup+0.700308 s]
/proc/loadavg: 1.01 0.99 0.85 3/177 7520
/proc/meminfo: memFree=22900080/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=381944 CPUtime=0.69 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 10638 0 0 0 68 1 0 0 20 0 1 0 368079940 391110656 10363 33554432000 4194304 5964350 140733244632048 140733244630392 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 95486 10364 2747 433 0 8047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 381944
[startup+1.50031 s]
/proc/loadavg: 1.01 0.99 0.85 3/178 7521
/proc/meminfo: memFree=22855680/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=419012 CPUtime=1.49 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 22587 0 0 0 146 3 0 0 20 0 1 0 368079940 429068288 22053 33554432000 4194304 5964350 140733244632048 140733244630344 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 104753 22053 5871 433 0 17314 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 419012
[startup+3.1003 s]
/proc/loadavg: 1.17 1.02 0.86 3/178 7521
/proc/meminfo: memFree=22809836/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=487204 CPUtime=3.08 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 44445 0 0 0 303 5 0 0 20 0 1 0 368079940 498896896 43908 33554432000 4194304 5964350 140733244632048 140733244630392 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 121801 43909 11823 433 0 34362 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 487204
[startup+6.30029 s]
/proc/loadavg: 1.17 1.02 0.86 3/178 7521
/proc/meminfo: memFree=22683508/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=616912 CPUtime=6.29 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 84994 0 0 0 618 11 0 0 20 0 1 0 368079940 631717888 87518 33554432000 4194304 5964350 140733244632048 140733244630536 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 154228 87519 23730 433 0 66789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 616912
[startup+12.7003 s]
/proc/loadavg: 1.29 1.05 0.87 3/178 7521
/proc/meminfo: memFree=22416072/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=871264 CPUtime=12.69 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) R 7518 7520 7360 0 -1 4202496 163709 0 0 0 1245 24 0 0 20 0 1 0 368079940 892174336 175431 33554432000 4194304 5964350 140733244632048 140733244630392 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 217816 175432 48824 433 0 130377 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 871264
[startup+25.5002 s]
/proc/loadavg: 1.40 1.08 0.88 3/179 7522
/proc/meminfo: memFree=21529068/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=1464316 CPUtime=25.47 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 395453 0 0 0 2485 62 0 0 20 0 2 0 368079940 1499459584 354908 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 366079 354908 178 433 0 365643 0
[pid=7520/tid=7522] ppid=7518 vsize=1464316 CPUtime=2.08 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 113945 0 0 0 188 20 0 0 20 0 2 0 368082280 1499459584 354908 33554432000 4194304 5964350 140733244632048 140082207361528 5143743 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1464316
[startup+51.1003 s]
/proc/loadavg: 1.60 1.16 0.91 3/180 7534
/proc/meminfo: memFree=20884932/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2035684 CPUtime=51.07 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 539547 0 0 0 5012 95 0 0 20 0 2 0 368079940 2084540416 495544 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 508921 495544 186 433 0 508485 0
[pid=7520/tid=7522] ppid=7518 vsize=2035684 CPUtime=27.61 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 258039 0 0 0 2709 52 0 0 20 0 2 0 368082280 2084540416 495544 33554432000 4194304 5964350 140733244632048 140082207361016 4400496 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2035684
[startup+102.306 s]
/proc/loadavg: 1.87 1.31 0.98 3/179 7534
/proc/meminfo: memFree=20812392/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2101220 CPUtime=102.26 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 550953 0 0 0 10121 105 0 0 20 0 2 0 368079940 2151649280 506962 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 525305 506962 186 433 0 524869 0
[pid=7520/tid=7522] ppid=7518 vsize=2101220 CPUtime=78.67 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 269445 0 0 0 7804 63 0 0 20 0 2 0 368082280 2151649280 506962 33554432000 4194304 5964350 140733244632048 140082207361016 4381521 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 2101220
[startup+162.3 s]
/proc/loadavg: 1.95 1.42 1.03 3/179 7534
/proc/meminfo: memFree=20736424/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2166756 CPUtime=162.22 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 563679 0 0 0 16108 114 0 0 20 0 2 0 368079940 2218758144 519733 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 541689 519733 186 433 0 541253 0
[pid=7520/tid=7522] ppid=7518 vsize=2166756 CPUtime=138.5 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 282171 0 0 0 13776 74 0 0 20 0 2 0 368082280 2218758144 519733 33554432000 4194304 5964350 140733244632048 140082207360824 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 2166756
[startup+222.3 s]
/proc/loadavg: 1.98 1.53 1.10 3/179 7534
/proc/meminfo: memFree=20684996/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2232292 CPUtime=222.2 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 575629 0 0 0 22096 124 0 0 20 0 2 0 368079940 2285867008 531743 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 558073 531743 186 433 0 557637 0
[pid=7520/tid=7522] ppid=7518 vsize=2232292 CPUtime=198.33 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 294121 0 0 0 19749 84 0 0 20 0 2 0 368082280 2285867008 531743 33554432000 4194304 5964350 140733244632048 140082207361016 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 2232292
[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.15 3/179 7534
/proc/meminfo: memFree=20611188/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2232292 CPUtime=282.17 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 585721 0 0 0 28084 133 0 0 20 0 2 0 368079940 2285867008 541926 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 558073 541926 186 433 0 557637 0
[pid=7520/tid=7522] ppid=7518 vsize=2232292 CPUtime=258.17 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 304213 0 0 0 25724 93 0 0 20 0 2 0 368082280 2285867008 541926 33554432000 4194304 5964350 140733244632048 140082207361016 4399852 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 2232292
[startup+342.3 s]
/proc/loadavg: 1.99 1.68 1.20 3/179 7535
/proc/meminfo: memFree=20539616/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2297828 CPUtime=342.15 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 596028 0 0 0 34073 142 0 0 20 0 2 0 368079940 2352975872 552383 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 574457 552383 186 433 0 574021 0
[pid=7520/tid=7522] ppid=7518 vsize=2297828 CPUtime=318 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 314520 0 0 0 31697 103 0 0 20 0 2 0 368082280 2352975872 552383 33554432000 4194304 5964350 140733244632048 140082207361016 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 2297828
[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.24 3/179 7535
/proc/meminfo: memFree=20494512/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2297828 CPUtime=402.12 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 605974 0 0 0 40061 151 0 0 20 0 2 0 368079940 2352975872 562463 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 574457 562463 186 433 0 574021 0
[pid=7520/tid=7522] ppid=7518 vsize=2297828 CPUtime=377.83 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 324466 0 0 0 37670 113 0 0 20 0 2 0 368082280 2352975872 562463 33554432000 4194304 5964350 140733244632048 140082207361016 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 2297828
[startup+462.3 s]
/proc/loadavg: 2.04 1.80 1.30 3/180 7538
/proc/meminfo: memFree=20434348/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2363364 CPUtime=462.1 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 615526 0 0 0 46050 160 0 0 20 0 2 0 368079940 2420084736 572717 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 590841 572717 186 433 0 590405 0
[pid=7520/tid=7522] ppid=7518 vsize=2363364 CPUtime=437.67 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 334018 0 0 0 43644 123 0 0 20 0 2 0 368082280 2420084736 572717 33554432000 4194304 5964350 140733244632048 140082207360824 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 2363364
[startup+522.3 s]
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.73 3/179 7567
/proc/meminfo: memFree=19699468/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2887652 CPUtime=1421.58 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 741668 0 0 0 141899 259 0 0 20 0 2 0 368079940 2956955648 705221 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 721913 705221 186 433 0 721477 0
[pid=7520/tid=7522] ppid=7518 vsize=2887652 CPUtime=1394.8 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 460160 0 0 0 139243 237 0 0 20 0 2 0 368082280 2956955648 705221 33554432000 4194304 5964350 140733244632048 140082207361016 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 2887652
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 7567
/proc/meminfo: memFree=19653492/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2887652 CPUtime=1481.56 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 748572 0 0 0 147892 264 0 0 20 0 2 0 368079940 2956955648 712125 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 721913 712125 186 433 0 721477 0
[pid=7520/tid=7522] ppid=7518 vsize=2887652 CPUtime=1454.63 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 467064 0 0 0 145220 243 0 0 20 0 2 0 368082280 2956955648 712125 33554432000 4194304 5964350 140733244632048 140082207361016 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 2887652
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/179 7567
/proc/meminfo: memFree=19611632/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2953188 CPUtime=1541.54 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 755062 0 0 0 153887 267 0 0 20 0 2 0 368079940 3024064512 719120 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 738297 719120 186 433 0 737861 0
[pid=7520/tid=7522] ppid=7518 vsize=2953188 CPUtime=1514.47 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 473554 0 0 0 151200 247 0 0 20 0 2 0 368082280 3024064512 719120 33554432000 4194304 5964350 140733244632048 140082207361016 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 2953188
[startup+1602.3 s]
/proc/loadavg: 2.04 1.99 1.77 3/179 7568
/proc/meminfo: memFree=19582104/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=2953188 CPUtime=1601.54 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 761892 0 0 0 159881 273 0 0 20 0 2 0 368079940 3024064512 725950 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 738297 725950 186 433 0 737861 0
[pid=7520/tid=7522] ppid=7518 vsize=2953188 CPUtime=1574.31 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 480384 0 0 0 157178 253 0 0 20 0 2 0 368082280 3024064512 725950 33554432000 4194304 5964350 140733244632048 140082207360824 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 2953188
[startup+1662.3 s]
/proc/loadavg: 2.01 1.99 1.78 3/180 7571
/proc/meminfo: memFree=19555588/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1661.53 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 767622 0 0 0 165876 277 0 0 20 0 2 0 368079940 3091173376 731680 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 731680 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1634.16 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 486114 0 0 0 163158 258 0 0 20 0 2 0 368082280 3091173376 731680 33554432000 4194304 5964350 140733244632048 140082207360824 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 3018724
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/179 7571
/proc/meminfo: memFree=19528216/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1721.51 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 773169 0 0 0 171870 281 0 0 20 0 2 0 368079940 3091173376 738249 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 738249 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1694 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 491661 0 0 0 169136 264 0 0 20 0 2 0 368082280 3091173376 738249 33554432000 4194304 5964350 140733244632048 140082207360824 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 3018724
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 7571
/proc/meminfo: memFree=19505368/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1781.5 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 778246 0 0 0 177865 285 0 0 20 0 2 0 368079940 3091173376 743326 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 743326 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1753.84 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 496738 0 0 0 175115 269 0 0 20 0 2 0 368082280 3091173376 743326 33554432000 4194304 5964350 140733244632048 140082207360824 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 3018724
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.80 3/179 7571
/proc/meminfo: memFree=19501392/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1791.11 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 779142 0 0 0 178825 286 0 0 20 0 2 0 368079940 3091173376 744222 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 744222 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1763.42 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 497634 0 0 0 176073 269 0 0 20 0 2 0 368082280 3091173376 744222 33554432000 4194304 5964350 140733244632048 140082207361016 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.11
Current children cumulated vsize (KiB) 3018724
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.80 2/172 7595
/proc/meminfo: memFree=20001228/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1794.31 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 779538 0 0 0 179145 286 0 0 20 0 2 0 368079940 3091173376 744618 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 744618 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1766.61 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 498030 0 0 0 176392 269 0 0 20 0 2 0 368082280 3091173376 744618 33554432000 4194304 5964350 140733244632048 140082207360824 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.31
Current children cumulated vsize (KiB) 3018724
[startup+1798.3 s]
/proc/loadavg: 1.92 1.97 1.80 2/172 7595
/proc/meminfo: memFree=20000856/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1797.51 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 779721 0 0 0 179465 286 0 0 20 0 2 0 368079940 3091173376 744801 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 744801 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1769.8 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 498213 0 0 0 176711 269 0 0 20 0 2 0 368082280 3091173376 744801 33554432000 4194304 5964350 140733244632048 140082207361016 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 3018724
[startup+1799.1 s]
/proc/loadavg: 1.92 1.97 1.80 2/172 7595
/proc/meminfo: memFree=20000360/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1798.31 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 779806 0 0 0 179545 286 0 0 20 0 2 0 368079940 3091173376 744886 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 744886 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1770.59 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 498298 0 0 0 176790 269 0 0 20 0 2 0 368082280 3091173376 744886 33554432000 4194304 5964350 140733244632048 140082207361016 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.31
Current children cumulated vsize (KiB) 3018724
[startup+1799.5 s]
/proc/loadavg: 1.92 1.97 1.80 2/172 7595
/proc/meminfo: memFree=20000004/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1798.71 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 779854 0 0 0 179585 286 0 0 20 0 2 0 368079940 3091173376 744934 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 744934 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1771 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 498347 0 0 0 176830 270 0 0 20 0 2 0 368082280 3091173376 744935 33554432000 4194304 5964350 140733244632048 140082207361016 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 3018724
[startup+1799.9 s]
/proc/loadavg: 1.92 1.97 1.80 2/172 7595
/proc/meminfo: memFree=20000004/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1799.1 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 779942 0 0 0 179624 286 0 0 20 0 2 0 368079940 3091173376 745022 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 745022 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1771.39 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 498434 0 0 0 176869 270 0 0 20 0 2 0 368082280 3091173376 745022 33554432000 4194304 5964350 140733244632048 140082207361016 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 3018724
[startup+1800 s]
/proc/loadavg: 1.92 1.97 1.80 2/172 7595
/proc/meminfo: memFree=20000004/32873844 swapFree=7628/7628
[pid=7520] ppid=7518 vsize=3018724 CPUtime=1799.2 cores=0,2,4,6
/proc/7520/stat : 7520 (wbo1.72) S 7518 7520 7360 0 -1 4202496 779944 0 0 0 179634 286 0 0 20 0 2 0 368079940 3091173376 745024 33554432000 4194304 5964350 140733244632048 140733244631568 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7520/statm: 754681 745024 186 433 0 754245 0
[pid=7520/tid=7522] ppid=7518 vsize=3018724 CPUtime=1771.49 cores=0,2,4,6
/proc/7520/task/7522/stat : 7522 (wbo1.72) R 7518 7520 7360 0 -1 4202560 498436 0 0 0 176879 270 0 0 20 0 2 0 368082280 3091173376 745024 33554432000 4194304 5964350 140733244632048 140082207361016 4399976 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 3018724
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7520 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=767609
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=180516
# CPU time returned by wait4() is 1794.95
# while last known CPU time is 1799.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.05
CPU time (s): 1799.2
CPU user time (s): 1796.34
CPU system time (s): 2.86
CPU usage (%): 99.9526
Max. virtual memory (cumulated for all children) (KiB): 3018724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.77
system time used= 3.18052
maximum resident set size= 2980108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 779947
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= 502
involuntary context switches= 2503
runsolver used 5.58215 second user time and 7.98978 second system time
The end