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-3705021-1338091582/watcher-3705021-1338091582 -o /tmp/evaluation-result-3705021-1338091582/solver-3705021-1338091582 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705021-1338091582.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: 2.00 2.00 1.93 3/175 16518
/proc/meminfo: memFree=30554784/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=5280 CPUtime=0 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) R 16516 16518 16265 0 -1 4202496 568 0 0 0 0 0 0 0 20 0 1 0 275282648 5406720 520 33554432000 4194304 5963574 140734493931312 140733789616216 4338688 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 1320 520 160 432 0 634 0
[startup+0.054254 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 16518
/proc/meminfo: memFree=30554784/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=5880 CPUtime=0.05 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) R 16516 16518 16265 0 -1 4202496 846 0 0 0 5 0 0 0 20 0 1 0 275282648 6021120 798 33554432000 4194304 5963574 140734493931312 140733789616216 4344320 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 1470 799 317 432 0 784 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5880
[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 16518
/proc/meminfo: memFree=30554784/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=85816 CPUtime=0.09 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 2640 0 0 0 9 0 0 0 20 0 2 0 275282648 87875584 2242 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 21454 2243 186 432 0 21019 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85816
[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 16518
/proc/meminfo: memFree=30554784/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=85240 CPUtime=0.29 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 3444 0 0 0 29 0 0 0 20 0 2 0 275282648 87285760 2633 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 21310 2633 188 432 0 20875 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85240
[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 16518
/proc/meminfo: memFree=30554784/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=85668 CPUtime=0.69 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 4202 0 0 0 69 0 0 0 20 0 2 0 275282648 87724032 2976 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 21417 2976 192 432 0 20982 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85668
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30536268/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=85668 CPUtime=1.49 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 4801 0 0 0 149 0 0 0 20 0 2 0 275282648 87724032 3575 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 21417 3575 192 432 0 20982 0
[pid=16518/tid=16522] ppid=16516 vsize=85668 CPUtime=1.4 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 3364 0 0 0 140 0 0 0 20 0 2 0 275282656 87724032 3575 33554432000 4194304 5963574 140734493931312 140050378205176 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85668
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30523364/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=85668 CPUtime=3.09 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 7115 0 0 0 308 1 0 0 20 0 2 0 275282648 87724032 5889 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 21417 5889 192 432 0 20982 0
[pid=16518/tid=16522] ppid=16516 vsize=85668 CPUtime=2.99 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 5678 0 0 0 298 1 0 0 20 0 2 0 275282656 87724032 5889 33554432000 4194304 5963574 140734493931312 140050378205176 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85668
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30496440/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=85668 CPUtime=6.28 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 11763 0 0 0 626 2 0 0 20 0 2 0 275282648 87724032 10537 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 21417 10537 192 432 0 20982 0
[pid=16518/tid=16522] ppid=16516 vsize=85668 CPUtime=6.19 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 10326 0 0 0 617 2 0 0 20 0 2 0 275282656 87724032 10537 33554432000 4194304 5963574 140734493931312 140050378205176 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85668
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30457104/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=85668 CPUtime=12.69 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 13720 0 0 0 1266 3 0 0 20 0 2 0 275282648 87724032 12494 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 21417 12494 192 432 0 20982 0
[pid=16518/tid=16522] ppid=16516 vsize=85668 CPUtime=12.57 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 12283 0 0 0 1254 3 0 0 20 0 2 0 275282656 87724032 12494 33554432000 4194304 5963574 140734493931312 140050378205176 4400144 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85668
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30402304/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=151528 CPUtime=25.48 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 20418 0 0 0 2543 5 0 0 20 0 2 0 275282648 155164672 19192 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 37882 19192 192 432 0 37447 0
[pid=16518/tid=16522] ppid=16516 vsize=151528 CPUtime=25.34 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 18981 0 0 0 2529 5 0 0 20 0 2 0 275282656 155164672 19192 33554432000 4194304 5963574 140734493931312 140050378204984 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151528
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30359248/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=151204 CPUtime=51.09 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 20826 0 0 0 5103 6 0 0 20 0 2 0 275282648 154832896 18503 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 37801 18503 192 432 0 37366 0
[pid=16518/tid=16522] ppid=16516 vsize=151204 CPUtime=50.87 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 19389 0 0 0 5081 6 0 0 20 0 2 0 275282656 154832896 18503 33554432000 4194304 5963574 140734493931312 140050378206136 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 151204
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30271016/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=217224 CPUtime=102.24 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 42360 0 0 0 10212 12 0 0 20 0 2 0 275282648 222437376 40087 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 54306 40087 192 432 0 53871 0
[pid=16518/tid=16522] ppid=16516 vsize=217224 CPUtime=101.91 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 40923 0 0 0 10178 13 0 0 20 0 2 0 275282656 222437376 40087 33554432000 4194304 5963574 140734493931312 140050378204984 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 217224
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16522
/proc/meminfo: memFree=30195652/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=281848 CPUtime=162.2 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 54398 0 0 0 16204 16 0 0 20 0 2 0 275282648 288612352 52010 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 70462 52010 192 432 0 70027 0
[pid=16518/tid=16522] ppid=16516 vsize=281848 CPUtime=161.72 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 52961 0 0 0 16154 18 0 0 20 0 2 0 275282656 288612352 52010 33554432000 4194304 5963574 140734493931312 140050378205720 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 281848
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/180 16526
/proc/meminfo: memFree=30176812/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=281848 CPUtime=222.18 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 56336 0 0 0 22201 17 0 0 20 0 2 0 275282648 288612352 54435 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 70462 54435 192 432 0 70027 0
[pid=16518/tid=16522] ppid=16516 vsize=281848 CPUtime=221.55 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 54899 0 0 0 22135 20 0 0 20 0 2 0 275282656 288612352 54435 33554432000 4194304 5963574 140734493931312 140050378205176 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 281848
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16526
/proc/meminfo: memFree=30087136/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=348108 CPUtime=282.17 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 70204 0 0 0 28196 21 0 0 20 0 2 0 275282648 356462592 68303 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 87027 68303 192 432 0 86592 0
[pid=16518/tid=16522] ppid=16516 vsize=348108 CPUtime=281.4 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 68767 0 0 0 28115 25 0 0 20 0 2 0 275282656 356462592 68303 33554432000 4194304 5963574 140734493931312 140050378204984 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 348108
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16526
/proc/meminfo: memFree=29910392/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=413644 CPUtime=342.15 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 99589 0 0 0 34184 31 0 0 20 0 2 0 275282648 423571456 97758 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 103411 97758 192 432 0 102976 0
[pid=16518/tid=16522] ppid=16516 vsize=413644 CPUtime=341.23 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 98152 0 0 0 34087 36 0 0 20 0 2 0 275282656 423571456 97758 33554432000 4194304 5963574 140734493931312 140050378205176 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 413644
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16526
/proc/meminfo: memFree=29820584/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=479180 CPUtime=402.09 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 106772 0 0 0 40176 33 0 0 20 0 2 0 275282648 490680320 104952 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 119795 104952 192 432 0 119360 0
[pid=16518/tid=16522] ppid=16516 vsize=479180 CPUtime=401.04 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 105335 0 0 0 40065 39 0 0 20 0 2 0 275282656 490680320 104952 33554432000 4194304 5963574 140734493931312 140050378205176 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 479180
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 16526
/proc/meminfo: memFree=29786072/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=479180 CPUtime=462.06 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.08 2.05 1.97 4/180 16536
/proc/meminfo: memFree=28851920/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1421.85 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 255079 0 0 0 142106 79 0 0 20 0 2 0 275282648 1095581696 253488 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 253488 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1418.36 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 253642 0 0 0 141736 100 0 0 20 0 2 0 275282656 1095581696 253488 33554432000 4194304 5963574 140734493931312 140050378205176 4388683 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1069904
[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 1.97 4/179 16536
/proc/meminfo: memFree=28852052/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1481.83 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 255079 0 0 0 148104 79 0 0 20 0 2 0 275282648 1095581696 253488 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 253488 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1478.2 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 253642 0 0 0 147719 101 0 0 20 0 2 0 275282656 1095581696 253488 33554432000 4194304 5963574 140734493931312 140050378205176 4409042 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1069904
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 1.97 4/179 16536
/proc/meminfo: memFree=28841512/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1541.82 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257758 0 0 0 154102 80 0 0 20 0 2 0 275282648 1095581696 256167 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256167 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1538.05 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256321 0 0 0 153702 103 0 0 20 0 2 0 275282656 1095581696 256167 33554432000 4194304 5963574 140734493931312 140050378205176 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1069904
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 1.98 4/179 16536
/proc/meminfo: memFree=28841256/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1601.81 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257820 0 0 0 160101 80 0 0 20 0 2 0 275282648 1095581696 256229 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256229 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1597.89 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256383 0 0 0 159685 104 0 0 20 0 2 0 275282656 1095581696 256229 33554432000 4194304 5963574 140734493931312 140050378204984 5138318 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1069904
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 1.98 4/178 16536
/proc/meminfo: memFree=28841168/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1661.76 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257869 0 0 0 166096 80 0 0 20 0 2 0 275282648 1095581696 256380 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256380 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1657.7 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256432 0 0 0 165665 105 0 0 20 0 2 0 275282656 1095581696 256380 33554432000 4194304 5963574 140734493931312 140050378204984 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1069904
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.98 4/180 16539
/proc/meminfo: memFree=28840056/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1721.71 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257918 0 0 0 172091 80 0 0 20 0 2 0 275282648 1095581696 256496 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256496 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1717.51 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256481 0 0 0 171645 106 0 0 20 0 2 0 275282656 1095581696 256496 33554432000 4194304 5963574 140734493931312 140050378204984 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1069904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.98 4/179 16539
/proc/meminfo: memFree=28839484/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1781.67 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257958 0 0 0 178087 80 0 0 20 0 2 0 275282648 1095581696 256540 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256540 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1777.33 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256521 0 0 0 177626 107 0 0 20 0 2 0 275282656 1095581696 256540 33554432000 4194304 5963574 140734493931312 140050378204984 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1069904
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 1.98 4/179 16539
/proc/meminfo: memFree=28839468/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1791.27 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257966 0 0 0 179047 80 0 0 20 0 2 0 275282648 1095581696 256544 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256544 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1786.9 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256529 0 0 0 178583 107 0 0 20 0 2 0 275282656 1095581696 256544 33554432000 4194304 5963574 140734493931312 140050378204984 4387874 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 1069904
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 1.98 4/179 16539
/proc/meminfo: memFree=28839468/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1794.47 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257966 0 0 0 179367 80 0 0 20 0 2 0 275282648 1095581696 256544 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256544 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1790.09 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256529 0 0 0 178902 107 0 0 20 0 2 0 275282656 1095581696 256544 33554432000 4194304 5963574 140734493931312 140050378204984 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 1069904
[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 1.98 4/179 16539
/proc/meminfo: memFree=28839592/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1797.65 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257974 0 0 0 179685 80 0 0 20 0 2 0 275282648 1095581696 256544 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256544 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1793.27 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256537 0 0 0 179220 107 0 0 20 0 2 0 275282656 1095581696 256544 33554432000 4194304 5963574 140734493931312 140050378204984 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 1069904
[startup+1799.1 s]
/proc/loadavg: 2.00 2.02 1.98 4/179 16539
/proc/meminfo: memFree=28839576/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1798.45 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257974 0 0 0 179765 80 0 0 20 0 2 0 275282648 1095581696 256544 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256544 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1794.07 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256537 0 0 0 179300 107 0 0 20 0 2 0 275282656 1095581696 256544 33554432000 4194304 5963574 140734493931312 140050378204984 4399968 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.45
Current children cumulated vsize (KiB) 1069904
[startup+1799.5 s]
/proc/loadavg: 2.00 2.01 1.98 4/179 16539
/proc/meminfo: memFree=28839576/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1798.86 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257974 0 0 0 179806 80 0 0 20 0 2 0 275282648 1095581696 256544 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256544 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1794.48 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256537 0 0 0 179341 107 0 0 20 0 2 0 275282656 1095581696 256544 33554432000 4194304 5963574 140734493931312 140050378204984 4399605 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.86
Current children cumulated vsize (KiB) 1069904
[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 1.98 4/179 16539
/proc/meminfo: memFree=28839576/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1799.25 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257974 0 0 0 179845 80 0 0 20 0 2 0 275282648 1095581696 256544 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256544 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1794.87 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256537 0 0 0 179380 107 0 0 20 0 2 0 275282656 1095581696 256544 33554432000 4194304 5963574 140734493931312 140050378204984 4388700 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.25
Current children cumulated vsize (KiB) 1069904
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.98 4/179 16539
/proc/meminfo: memFree=28839576/32873844 swapFree=7388/7388
[pid=16518] ppid=16516 vsize=1069904 CPUtime=1799.35 cores=0,2,4,6
/proc/16518/stat : 16518 (wbo1.7) S 16516 16518 16265 0 -1 4202496 257974 0 0 0 179855 80 0 0 20 0 2 0 275282648 1095581696 256544 33554432000 4194304 5963574 140734493931312 140734493930832 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16518/statm: 267476 256544 192 432 0 267041 0
[pid=16518/tid=16522] ppid=16516 vsize=1069904 CPUtime=1794.97 cores=0,2,4,6
/proc/16518/task/16522/stat : 16522 (wbo1.7) R 16516 16518 16265 0 -1 4202560 256537 0 0 0 179390 107 0 0 20 0 2 0 275282656 1095581696 256544 33554432000 4194304 5963574 140734493931312 140050378204984 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 1069904
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16518 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=988272
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=92833
# CPU time returned by wait4() is 1795.08
# while last known CPU time is 1799.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.35
CPU user time (s): 1798.55
CPU system time (s): 0.8
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 1069904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 1.09283
maximum resident set size= 1026176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257974
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= 385
involuntary context switches= 1872
runsolver used 2.82357 second user time and 8.71368 second system time
The end