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-3705202-1338099245/watcher-3705202-1338099245 -o /tmp/evaluation-result-3705202-1338099245/solver-3705202-1338099245 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705202-1338099245.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.01 2.00 3/177 12852
/proc/meminfo: memFree=27559300/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=4052 CPUtime=0 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) R 12850 12852 12137 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 276051384 4149248 314 33554432000 4194304 5963574 140733630452400 140733821808712 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 1013 314 171 432 0 382 0
[startup+0.0442841 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12852
/proc/meminfo: memFree=27559300/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=7828 CPUtime=0.04 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) R 12850 12852 12137 0 -1 4202496 1394 0 0 0 4 0 0 0 20 0 1 0 276051384 8015872 1346 33554432000 4194304 5963574 140733630452400 140733821808712 4344320 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 1957 1346 294 432 0 1326 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7828
[startup+0.100185 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12852
/proc/meminfo: memFree=27559300/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=0.09 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 5053 0 0 0 8 1 0 0 20 0 2 0 276051384 91660288 4809 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 4809 191 432 0 21943 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 89512
[startup+0.300178 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12852
/proc/meminfo: memFree=27559300/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=0.29 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 6029 0 0 0 28 1 0 0 20 0 2 0 276051384 91660288 5785 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 5785 193 432 0 21943 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 89512
[startup+0.700118 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12852
/proc/meminfo: memFree=27559300/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=0.69 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 6389 0 0 0 68 1 0 0 20 0 2 0 276051384 91660288 6145 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 6145 195 432 0 21943 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89512
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12854
/proc/meminfo: memFree=27534360/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=1.48 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 6508 0 0 0 147 1 0 0 20 0 2 0 276051384 91660288 6264 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 6264 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=1.42 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 4140 0 0 0 142 0 0 0 20 0 2 0 276051390 91660288 6264 33554432000 4194304 5963574 140733630452400 140279511431624 4403234 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 89512
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12854
/proc/meminfo: memFree=27533864/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=3.08 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 6737 0 0 0 307 1 0 0 20 0 2 0 276051384 91660288 6493 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 6493 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=3.01 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 4369 0 0 0 301 0 0 0 20 0 2 0 276051390 91660288 6493 33554432000 4194304 5963574 140733630452400 140279511431560 4402906 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 89512
[startup+6.30025 s]
/proc/loadavg: 2.16 2.04 2.01 3/179 12854
/proc/meminfo: memFree=27534816/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=6.28 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 7103 0 0 0 627 1 0 0 20 0 2 0 276051384 91660288 6859 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 6859 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=6.2 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 4735 0 0 0 620 0 0 0 20 0 2 0 276051390 91660288 6859 33554432000 4194304 5963574 140733630452400 140279511431560 4222330 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 89512
[startup+12.7002 s]
/proc/loadavg: 2.15 2.04 2.01 3/179 12854
/proc/meminfo: memFree=27529244/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=12.68 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 7489 0 0 0 1267 1 0 0 20 0 2 0 276051384 91660288 7245 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 7245 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=12.59 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 5121 0 0 0 1259 0 0 0 20 0 2 0 276051390 91660288 7245 33554432000 4194304 5963574 140733630452400 140279511431496 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89512
[startup+25.5002 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 12854
/proc/meminfo: memFree=27525576/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=25.48 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 8206 0 0 0 2547 1 0 0 20 0 2 0 276051384 91660288 7962 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 7962 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=25.35 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 5838 0 0 0 2535 0 0 0 20 0 2 0 276051390 91660288 7962 33554432000 4194304 5963574 140733630452400 140279511431560 4222304 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89512
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 12854
/proc/meminfo: memFree=27521188/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=51.07 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 9134 0 0 0 5106 1 0 0 20 0 2 0 276051384 91660288 8890 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 8890 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=50.89 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 6766 0 0 0 5088 1 0 0 20 0 2 0 276051390 91660288 8890 33554432000 4194304 5963574 140733630452400 140279511431592 4222416 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) 89512
[startup+102.307 s]
/proc/loadavg: 2.15 2.05 2.01 3/179 12854
/proc/meminfo: memFree=27507368/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=102.26 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 9817 0 0 0 10225 1 0 0 20 0 2 0 276051384 91660288 9736 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 9736 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=101.95 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 7449 0 0 0 10193 2 0 0 20 0 2 0 276051390 91660288 9736 33554432000 4194304 5963574 140733630452400 140279511431720 4221984 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) 89512
[startup+162.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 12854
/proc/meminfo: memFree=27488240/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=162.25 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 13585 0 0 0 16222 3 0 0 20 0 2 0 276051384 91660288 13759 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 13759 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=161.78 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 11217 0 0 0 16174 4 0 0 20 0 2 0 276051390 91660288 13759 33554432000 4194304 5963574 140733630452400 140279511432120 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 89512
[startup+222.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/179 12854
/proc/meminfo: memFree=27486068/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=222.24 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 13600 0 0 0 22221 3 0 0 20 0 2 0 276051384 91660288 13774 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 13774 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=221.63 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 11232 0 0 0 22158 5 0 0 20 0 2 0 276051390 91660288 13774 33554432000 4194304 5963574 140733630452400 140279511431704 4403200 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 89512
[startup+282.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/179 12855
/proc/meminfo: memFree=27485924/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=89512 CPUtime=282.22 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 13699 0 0 0 28219 3 0 0 20 0 2 0 276051384 91660288 13874 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22378 13874 195 432 0 21943 0
[pid=12852/tid=12854] ppid=12850 vsize=89512 CPUtime=281.47 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 11331 0 0 0 28141 6 0 0 20 0 2 0 276051390 91660288 13874 33554432000 4194304 5963574 140733630452400 140279511430968 4403255 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 89512
[startup+342.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/179 12855
/proc/meminfo: memFree=27462540/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=90236 CPUtime=342.21 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 17057 0 0 0 34217 4 0 0 20 0 2 0 276051384 92401664 17232 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 22559 17232 195 432 0 22124 0
[pid=12852/tid=12854] ppid=12850 vsize=90236 CPUtime=341.32 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 14689 0 0 0 34123 9 0 0 20 0 2 0 276051390 92401664 17232 33554432000 4194304 5963574 140733630452400 140279511431208 4403255 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 90236
[startup+402.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/180 12858
/proc/meminfo: memFree=27446772/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=155772 CPUtime=402.19 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 20670 0 0 0 40212 7 0 0 20 0 2 0 276051384 159510528 20869 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 38943 20869 195 432 0 38508 0
[pid=12852/tid=12854] ppid=12850 vsize=155772 CPUtime=401.16 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 18302 0 0 0 40104 12 0 0 20 0 2 0 276051390 159510528 20869 33554432000 4194304 5963574 140733630452400 140279511431208 4381496 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 155772
[startup+462.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/179 12858
/proc/meminfo: memFree=27435596/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=155772 CPUtime=462.18 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 12864
/proc/meminfo: memFree=27299788/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1422 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 44205 0 0 0 142173 27 0 0 20 0 2 0 276051384 225878016 44970 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 44970 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1418.51 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 41837 0 0 0 141804 47 0 0 20 0 2 0 276051390 225878016 44970 33554432000 4194304 5963574 140733630452400 140279511432120 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 220584
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 12865
/proc/meminfo: memFree=27299664/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1481.99 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 44205 0 0 0 148172 27 0 0 20 0 2 0 276051384 225878016 44970 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 44970 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1478.35 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 41837 0 0 0 147787 48 0 0 20 0 2 0 276051390 225878016 44970 33554432000 4194304 5963574 140733630452400 140279511432120 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 220584
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 12865
/proc/meminfo: memFree=27299788/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1541.98 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 44205 0 0 0 154171 27 0 0 20 0 2 0 276051384 225878016 44970 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 44970 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1538.2 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 41837 0 0 0 153771 49 0 0 20 0 2 0 276051390 225878016 44970 33554432000 4194304 5963574 140733630452400 140279511432120 4381565 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 220584
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/180 12868
/proc/meminfo: memFree=27299916/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1601.97 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 44205 0 0 0 160170 27 0 0 20 0 2 0 276051384 225878016 44970 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 44970 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1598.04 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 41837 0 0 0 159754 50 0 0 20 0 2 0 276051390 225878016 44970 33554432000 4194304 5963574 140733630452400 140279511432120 4402912 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 220584
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 12868
/proc/meminfo: memFree=27290508/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1661.96 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 44205 0 0 0 166169 27 0 0 20 0 2 0 276051384 225878016 44970 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 44970 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1657.89 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 41837 0 0 0 165738 51 0 0 20 0 2 0 276051390 225878016 44970 33554432000 4194304 5963574 140733630452400 140279511432120 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 220584
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 12868
/proc/meminfo: memFree=27279528/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1721.95 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 46959 0 0 0 172166 29 0 0 20 0 2 0 276051384 225878016 47757 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 47757 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1717.73 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 44591 0 0 0 171718 55 0 0 20 0 2 0 276051390 225878016 47757 33554432000 4194304 5963574 140733630452400 140279511430968 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 220584
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 12869
/proc/meminfo: memFree=27277832/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1781.93 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 178163 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1777.58 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 177701 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 220584
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 12908
/proc/meminfo: memFree=27436872/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1791.54 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 179124 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1787.16 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 178659 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4222330 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 220584
[startup+1795.1 s]
/proc/loadavg: 2.17 2.07 2.01 3/179 12908
/proc/meminfo: memFree=27425980/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1794.74 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 179444 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1790.35 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 178978 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4403257 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 220584
[startup+1798.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/178 12908
/proc/meminfo: memFree=27420548/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1797.93 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 179763 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1793.54 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 179297 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4399580 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 220584
[startup+1799.1 s]
/proc/loadavg: 2.17 2.07 2.01 3/178 12908
/proc/meminfo: memFree=27417580/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1798.73 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 179843 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1794.33 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 179376 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4403253 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 220584
[startup+1799.5 s]
/proc/loadavg: 2.16 2.06 2.01 3/178 12908
/proc/meminfo: memFree=27415236/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1799.14 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 179884 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1794.74 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 179417 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 220584
[startup+1799.9 s]
/proc/loadavg: 2.16 2.06 2.01 3/178 12908
/proc/meminfo: memFree=27415236/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1799.53 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 179923 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1795.13 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 179456 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 220584
[startup+1800 s]
/proc/loadavg: 2.16 2.06 2.01 3/178 12908
/proc/meminfo: memFree=27415236/32873648 swapFree=6848/6848
[pid=12852] ppid=12850 vsize=220584 CPUtime=1799.63 cores=0,2,4,6
/proc/12852/stat : 12852 (wbo1.7) S 12850 12852 12137 0 -1 4202496 47412 0 0 0 179933 30 0 0 20 0 2 0 276051384 225878016 48209 33554432000 4194304 5963574 140733630452400 140733630451920 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12852/statm: 55146 48209 195 432 0 54711 0
[pid=12852/tid=12854] ppid=12850 vsize=220584 CPUtime=1795.23 cores=0,2,4,6
/proc/12852/task/12854/stat : 12854 (wbo1.7) R 12850 12852 12137 0 -1 4202560 45044 0 0 0 179466 57 0 0 20 0 2 0 276051390 225878016 48209 33554432000 4194304 5963574 140733630452400 140279511430968 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 220584
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12852 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=724160
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=584911
# CPU time returned by wait4() is 1795.31
# while last known CPU time is 1799.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.63
CPU user time (s): 1799.33
CPU system time (s): 0.3
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 222208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 0.584911
maximum resident set size= 192836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47412
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= 92
involuntary context switches= 2087
runsolver used 11.2743 second user time and 13.302 second system time
The end