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-3727069-1338659618/watcher-3727069-1338659618 -o /tmp/evaluation-result-3727069-1338659618/solver-3727069-1338659618 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727069-1338659618.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 2.00 3/177 15436
/proc/meminfo: memFree=31137548/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83676 CPUtime=0 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 2 0 332086315 85684224 762 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20919 762 183 433 0 20483 0
[pid=15436/tid=15437] ppid=15434 vsize=83676 CPUtime=0 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 2 0 332086316 85684224 762 33554432000 4194304 5964350 140734556533136 140734785390088 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0236001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15436
/proc/meminfo: memFree=31137548/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83676 CPUtime=0.02 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 890 0 0 0 2 0 0 0 20 0 2 0 332086315 85684224 841 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20919 841 184 433 0 20483 0
[pid=15436/tid=15437] ppid=15434 vsize=83676 CPUtime=0 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 165 0 0 0 0 0 0 0 20 0 2 0 332086316 85684224 842 33554432000 4194304 5964350 140734556533136 140734785390088 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83676
[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15436
/proc/meminfo: memFree=31137548/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83676 CPUtime=0.09 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 1130 0 0 0 9 0 0 0 20 0 2 0 332086315 85684224 1081 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20919 1081 184 433 0 20483 0
[pid=15436/tid=15437] ppid=15434 vsize=83676 CPUtime=0.08 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 404 0 0 0 8 0 0 0 20 0 2 0 332086316 85684224 1081 33554432000 4194304 5964350 140734556533136 140734785390088 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83676
[startup+0.300253 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15436
/proc/meminfo: memFree=31137548/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83676 CPUtime=0.29 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 1564 0 0 0 29 0 0 0 20 0 2 0 332086315 85684224 1515 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20919 1515 184 433 0 20483 0
[pid=15436/tid=15437] ppid=15434 vsize=83676 CPUtime=0.28 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 838 0 0 0 28 0 0 0 20 0 2 0 332086316 85684224 1515 33554432000 4194304 5964350 140734556533136 140734785390088 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83676
[startup+0.700256 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15436
/proc/meminfo: memFree=31137548/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83676 CPUtime=0.69 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 2157 0 0 0 69 0 0 0 20 0 2 0 332086315 85684224 2108 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20919 2108 184 433 0 20483 0
[pid=15436/tid=15437] ppid=15434 vsize=83676 CPUtime=0.68 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 1431 0 0 0 68 0 0 0 20 0 2 0 332086316 85684224 2108 33554432000 4194304 5964350 140734556533136 140434488887288 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83676
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15438
/proc/meminfo: memFree=31127176/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83676 CPUtime=1.49 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 2677 0 0 0 149 0 0 0 20 0 2 0 332086315 85684224 2628 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20919 2628 184 433 0 20483 0
[pid=15436/tid=15437] ppid=15434 vsize=83676 CPUtime=1.48 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 1951 0 0 0 148 0 0 0 20 0 2 0 332086316 85684224 2628 33554432000 4194304 5964350 140734556533136 140434488887288 4399964 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) 83676
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15438
/proc/meminfo: memFree=31123828/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83676 CPUtime=3.09 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 3485 0 0 0 309 0 0 0 20 0 2 0 332086315 85684224 3436 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20919 3436 184 433 0 20483 0
[pid=15436/tid=15437] ppid=15434 vsize=83676 CPUtime=3.08 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 2759 0 0 0 308 0 0 0 20 0 2 0 332086316 85684224 3436 33554432000 4194304 5964350 140734556533136 140434488887096 4220672 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) 83676
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15438
/proc/meminfo: memFree=31118496/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83820 CPUtime=6.29 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 4055 0 0 0 628 1 0 0 20 0 2 0 332086315 85831680 4006 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20955 4006 184 433 0 20519 0
[pid=15436/tid=15437] ppid=15434 vsize=83820 CPUtime=6.28 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 3329 0 0 0 628 0 0 0 20 0 2 0 332086316 85831680 4006 33554432000 4194304 5964350 140734556533136 140434488887096 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83820
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15438
/proc/meminfo: memFree=31109504/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83820 CPUtime=12.69 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 5087 0 0 0 1268 1 0 0 20 0 2 0 332086315 85831680 5038 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20955 5038 184 433 0 20519 0
[pid=15436/tid=15437] ppid=15434 vsize=83820 CPUtime=12.69 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 4361 0 0 0 1267 2 0 0 20 0 2 0 332086316 85831680 5038 33554432000 4194304 5964350 140734556533136 140434488887096 4400023 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) 83820
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15438
/proc/meminfo: memFree=31102924/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=83820 CPUtime=25.48 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 5699 0 0 0 2547 1 0 0 20 0 2 0 332086315 85831680 5650 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 20955 5650 184 433 0 20519 0
[pid=15436/tid=15437] ppid=15434 vsize=83820 CPUtime=25.48 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 4973 0 0 0 2546 2 0 0 20 0 2 0 332086316 85831680 5650 33554432000 4194304 5964350 140734556533136 140434488887096 4399958 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) 83820
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15438
/proc/meminfo: memFree=31088220/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=84036 CPUtime=51.08 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 8131 0 0 0 5106 2 0 0 20 0 2 0 332086315 86052864 8082 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 21009 8082 184 433 0 20573 0
[pid=15436/tid=15437] ppid=15434 vsize=84036 CPUtime=51.08 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 7405 0 0 0 5105 3 0 0 20 0 2 0 332086316 86052864 8082 33554432000 4194304 5964350 140734556533136 140434488887288 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84036
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15439
/proc/meminfo: memFree=31078476/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=85296 CPUtime=102.28 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 9409 0 0 0 10225 3 0 0 20 0 2 0 332086315 87343104 9345 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 21324 9345 184 433 0 20888 0
[pid=15436/tid=15437] ppid=15434 vsize=85296 CPUtime=102.29 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 8683 0 0 0 10224 5 0 0 20 0 2 0 332086316 87343104 9345 33554432000 4194304 5964350 140734556533136 140434488887288 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 85296
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15439
/proc/meminfo: memFree=31066932/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=85296 CPUtime=162.26 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 11886 0 0 0 16221 5 0 0 20 0 2 0 332086315 87343104 11822 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 21324 11822 184 433 0 20888 0
[pid=15436/tid=15437] ppid=15434 vsize=85296 CPUtime=162.29 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 11160 0 0 0 16221 8 0 0 20 0 2 0 332086316 87343104 11822 33554432000 4194304 5964350 140734556533136 140434488887096 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 85296
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15439
/proc/meminfo: memFree=31046224/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=87472 CPUtime=222.25 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 15457 0 0 0 22218 7 0 0 20 0 2 0 332086315 89571328 15358 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 21868 15358 184 433 0 21432 0
[pid=15436/tid=15437] ppid=15434 vsize=87472 CPUtime=222.29 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 14731 0 0 0 22218 11 0 0 20 0 2 0 332086316 89571328 15358 33554432000 4194304 5964350 140734556533136 140434488887096 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 87472
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15439
/proc/meminfo: memFree=31060988/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=88984 CPUtime=282.22 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 15921 0 0 0 28214 8 0 0 20 0 2 0 332086315 91119616 16695 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 22246 16695 184 433 0 21810 0
[pid=15436/tid=15437] ppid=15434 vsize=88984 CPUtime=282.27 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 15195 0 0 0 28215 12 0 0 20 0 2 0 332086316 91119616 16695 33554432000 4194304 5964350 140734556533136 140434488887096 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 88984
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15439
/proc/meminfo: memFree=31054972/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=90496 CPUtime=342.21 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 16982 0 0 0 34212 9 0 0 20 0 2 0 332086315 92667904 17756 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 22624 17756 184 433 0 22188 0
[pid=15436/tid=15437] ppid=15434 vsize=90496 CPUtime=342.27 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 16256 0 0 0 34212 15 0 0 20 0 2 0 332086316 92667904 17756 33554432000 4194304 5964350 140734556533136 140434488887336 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 90496
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15442
/proc/meminfo: memFree=31045788/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=157112 CPUtime=402.2 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 19198 0 0 0 40210 10 0 0 20 0 2 0 332086315 160882688 19972 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 40215 0 0 0 130186 44 0 0 20 0 2 0 332086316 246112256 41749 33554432000 4194304 5964350 140734556533136 140434488887288 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 240344
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15627
/proc/meminfo: memFree=31158488/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=240344 CPUtime=1362.02 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 40941 0 0 0 136178 24 0 0 20 0 2 0 332086315 246112256 41749 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 60086 41749 184 433 0 59650 0
[pid=15436/tid=15437] ppid=15434 vsize=240344 CPUtime=1362.29 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 40215 0 0 0 136184 45 0 0 20 0 2 0 332086316 246112256 41749 33554432000 4194304 5964350 140734556533136 140434488887288 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 240344
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15627
/proc/meminfo: memFree=31136044/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=240524 CPUtime=1422.02 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 41010 0 0 0 142178 24 0 0 20 0 2 0 332086315 246296576 41818 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 60131 41818 184 433 0 59695 0
[pid=15436/tid=15437] ppid=15434 vsize=240524 CPUtime=1422.3 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 40284 0 0 0 142184 46 0 0 20 0 2 0 332086316 246296576 41818 33554432000 4194304 5964350 140734556533136 140434488887336 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 240524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15627
/proc/meminfo: memFree=31113348/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=240596 CPUtime=1482.01 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 42066 0 0 0 148175 26 0 0 20 0 2 0 332086315 246370304 42886 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 60149 42886 184 433 0 59713 0
[pid=15436/tid=15437] ppid=15434 vsize=240596 CPUtime=1482.3 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 41340 0 0 0 148182 48 0 0 20 0 2 0 332086316 246370304 42886 33554432000 4194304 5964350 140734556533136 140434488887288 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 240596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15627
/proc/meminfo: memFree=31093192/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=242880 CPUtime=1542 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 44110 0 0 0 154173 27 0 0 20 0 2 0 332086315 248709120 44930 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 60720 44930 184 433 0 60284 0
[pid=15436/tid=15437] ppid=15434 vsize=242880 CPUtime=1542.3 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 43384 0 0 0 154179 51 0 0 20 0 2 0 332086316 248709120 44930 33554432000 4194304 5964350 140734556533136 140434488887336 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 242880
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 15632
/proc/meminfo: memFree=31070464/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=244136 CPUtime=1601.99 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 45143 0 0 0 160171 28 0 0 20 0 2 0 332086315 249995264 45963 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61034 45963 184 433 0 60598 0
[pid=15436/tid=15437] ppid=15434 vsize=244136 CPUtime=1602.3 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 44417 0 0 0 160177 53 0 0 20 0 2 0 332086316 249995264 45963 33554432000 4194304 5964350 140734556533136 140434488887288 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 244136
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15633
/proc/meminfo: memFree=31048524/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=244136 CPUtime=1661.98 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 45150 0 0 0 166170 28 0 0 20 0 2 0 332086315 249995264 45741 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61034 45741 184 433 0 60598 0
[pid=15436/tid=15437] ppid=15434 vsize=244136 CPUtime=1662.31 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 44424 0 0 0 166177 54 0 0 20 0 2 0 332086316 249995264 45741 33554432000 4194304 5964350 140734556533136 140434488887320 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 244136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=31031084/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=244352 CPUtime=1721.96 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 46811 0 0 0 172167 29 0 0 20 0 2 0 332086315 250216448 47417 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61088 47417 184 433 0 60652 0
[pid=15436/tid=15437] ppid=15434 vsize=244352 CPUtime=1722.3 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 46085 0 0 0 172174 56 0 0 20 0 2 0 332086316 250216448 47417 33554432000 4194304 5964350 140734556533136 140434488887288 4399906 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 244352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=31004372/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1781.95 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 47990 0 0 0 178165 30 0 0 20 0 2 0 332086315 250933248 48596 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 48596 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1782.3 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 47264 0 0 0 178172 58 0 0 20 0 2 0 332086316 250933248 48596 33554432000 4194304 5964350 140734556533136 140434488887288 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 245052
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=30997412/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1791.55 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 49310 0 0 0 179124 31 0 0 20 0 2 0 332086315 250933248 49916 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 49916 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1791.91 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 48584 0 0 0 179132 59 0 0 20 0 2 0 332086316 250933248 49916 33554432000 4194304 5964350 140734556533136 140434488887336 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 245052
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=30995800/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1794.75 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 49712 0 0 0 179444 31 0 0 20 0 2 0 332086315 250933248 50318 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 50318 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1795.11 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 48986 0 0 0 179452 59 0 0 20 0 2 0 332086316 250933248 50318 33554432000 4194304 5964350 140734556533136 140434488887288 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 245052
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=30993816/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1797.94 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 50268 0 0 0 179763 31 0 0 20 0 2 0 332086315 250933248 50874 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 50874 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1798.3 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 49542 0 0 0 179771 59 0 0 20 0 2 0 332086316 250933248 50874 33554432000 4194304 5964350 140734556533136 140434488887288 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 245052
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=30993320/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1798.75 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 50390 0 0 0 179843 32 0 0 20 0 2 0 332086315 250933248 50996 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 50996 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1799.1 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 49664 0 0 0 179851 59 0 0 20 0 2 0 332086316 250933248 50996 33554432000 4194304 5964350 140734556533136 140434488887336 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 245052
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=30991508/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1799.16 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 50437 0 0 0 179884 32 0 0 20 0 2 0 332086315 250933248 51043 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 51043 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1799.51 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 49711 0 0 0 179891 60 0 0 20 0 2 0 332086316 250933248 51043 33554432000 4194304 5964350 140734556533136 140434488887336 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 245052
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=30991508/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1799.55 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 50493 0 0 0 179923 32 0 0 20 0 2 0 332086315 250933248 51099 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 51099 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1799.9 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 49767 0 0 0 179930 60 0 0 20 0 2 0 332086316 250933248 51099 33554432000 4194304 5964350 140734556533136 140434488887288 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 245052
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15633
/proc/meminfo: memFree=30991508/32873844 swapFree=7900/7900
[pid=15436] ppid=15434 vsize=245052 CPUtime=1799.65 cores=0,2,4,6
/proc/15436/stat : 15436 (wbo1.72) S 15434 15436 12961 0 -1 4202496 50506 0 0 0 179933 32 0 0 20 0 2 0 332086315 250933248 51112 33554432000 4194304 5964350 140734556533136 140734556532656 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15436/statm: 61263 51112 184 433 0 60827 0
[pid=15436/tid=15437] ppid=15434 vsize=245052 CPUtime=1800 cores=0,2,4,6
/proc/15436/task/15437/stat : 15437 (wbo1.72) R 15434 15436 12961 0 -1 4202560 49780 0 0 0 179940 60 0 0 20 0 2 0 332086316 250933248 51112 33554432000 4194304 5964350 140734556533136 140434488887288 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 245052
Child status: 255
Real time (s): 1800.01
CPU time (s): 1800.03
CPU user time (s): 1799.42
CPU system time (s): 0.615906
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 245052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.615906
maximum resident set size= 204460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50509
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= 74
involuntary context switches= 1998
runsolver used 2.55561 second user time and 7.26889 second system time
The end