runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3461584-1307119847/watcher-3461584-1307119847 -o /tmp/evaluation-result-3461584-1307119847/solver-3461584-1307119847 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461584-1307119847.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.04 2.01 1.91 2/458 15618
/proc/meminfo: memFree=28660872/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=5836 CPUtime=0 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 733 0 0 0 0 0 0 0 25 0 1 0 823582724 5976064 686 33554432000 4194304 5714214 140733830337648 18446744073709551615 4970356 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 1459 686 192 372 0 575 0
[startup+0.048568 s]
/proc/loadavg: 2.04 2.01 1.91 2/458 15618
/proc/meminfo: memFree=28660872/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=9124 CPUtime=0.04 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 1635 0 0 0 4 0 0 0 25 0 1 0 823582724 9342976 1588 33554432000 4194304 5714214 140733830337648 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 2281 1590 328 372 0 1397 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9124
[startup+0.100588 s]
/proc/loadavg: 2.04 2.01 1.91 2/458 15618
/proc/meminfo: memFree=28660872/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=12536 CPUtime=0.09 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 2726 0 0 0 9 0 0 0 25 0 1 0 823582724 12836864 2613 33554432000 4194304 5714214 140733830337648 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 3134 2613 524 372 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12536
[startup+0.300486 s]
/proc/loadavg: 2.04 2.01 1.91 2/458 15618
/proc/meminfo: memFree=28660872/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=24048 CPUtime=0.29 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 6761 0 0 0 28 1 0 0 18 0 1 0 823582724 24625152 5460 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 6012 5460 180 372 0 5637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24048
[startup+0.700466 s]
/proc/loadavg: 2.04 2.01 1.91 2/458 15618
/proc/meminfo: memFree=28660872/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=24048 CPUtime=0.69 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 6761 0 0 0 68 1 0 0 18 0 1 0 823582724 24625152 5460 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 6012 5460 180 372 0 5637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24048
[startup+1.50033 s]
/proc/loadavg: 2.04 2.01 1.91 3/459 15655
/proc/meminfo: memFree=28635880/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=24048 CPUtime=1.49 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 6762 0 0 0 147 2 0 0 19 0 1 0 823582724 24625152 5461 33554432000 4194304 5714214 140733830337648 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 6012 5461 180 372 0 5637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24048
[startup+3.10104 s]
/proc/loadavg: 2.04 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28605424/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=25192 CPUtime=3.09 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 7065 0 0 0 306 3 0 0 24 0 1 0 823582724 25796608 5764 33554432000 4194304 5714214 140733830337648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 6298 5764 180 372 0 5923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25192
[startup+6.30044 s]
/proc/loadavg: 2.04 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28598828/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=30172 CPUtime=6.29 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 8311 0 0 0 625 4 0 0 25 0 1 0 823582724 30896128 7010 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 7543 7010 180 372 0 7168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30172
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28580664/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=33792 CPUtime=12.69 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 9187 0 0 0 1262 7 0 0 25 0 1 0 823582724 34603008 7886 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 8448 7886 180 372 0 8073 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33792
[startup+25.501 s]
/proc/loadavg: 2.02 2.01 1.91 3/462 15679
/proc/meminfo: memFree=28564952/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=42120 CPUtime=25.49 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 11291 0 0 0 2537 12 0 0 25 0 1 0 823582724 43130880 9990 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 10530 9990 180 372 0 10155 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42120
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.91 3/462 15680
/proc/meminfo: memFree=28534524/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=56376 CPUtime=51.09 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 14803 0 0 0 5089 20 0 0 25 0 1 0 823582724 57729024 13502 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 14094 13502 180 372 0 13719 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56376
[startup+102.317 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15681
/proc/meminfo: memFree=28484412/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=78448 CPUtime=102.31 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 20285 0 0 0 10196 35 0 0 25 0 1 0 823582724 80330752 18984 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 19612 18984 180 372 0 19237 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 78448
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15683
/proc/meminfo: memFree=28439120/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=100456 CPUtime=162.29 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 25747 0 0 0 16174 55 0 0 25 0 1 0 823582724 102866944 24446 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 25114 24446 180 372 0 24739 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 100456
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15684
/proc/meminfo: memFree=28396928/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=127344 CPUtime=222.3 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 32477 0 0 0 22155 75 0 0 25 0 1 0 823582724 130400256 31176 33554432000 4194304 5714214 140733830337648 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 31836 31176 180 372 0 31461 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 127344
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15686
/proc/meminfo: memFree=28361928/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=148932 CPUtime=282.3 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 37837 0 0 0 28137 93 0 0 25 0 1 0 823582724 152506368 36536 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 37233 36536 180 372 0 36858 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 148932
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/462 15688
/proc/meminfo: memFree=28326552/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=167052 CPUtime=342.3 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 42337 0 0 0 34120 110 0 0 25 0 1 0 823582724 171061248 41036 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 41763 41036 180 372 0 41388 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 167052
[startup+402.301 s]
/proc/loadavg: 2.13 2.03 1.93 3/462 15689
/proc/meminfo: memFree=28294656/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=184888 CPUtime=402.31 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 46777 0 0 0 40104 127 0 0 25 0 1 0 823582724 189325312 45476 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 46222 45476 180 372 0 45847 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 184888
[startup+462.301 s]
/proc/loadavg: 2.20 2.07 1.94 3/462 15691
/proc/meminfo: memFree=28240180/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=212136 CPUtime=462.31 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 53474 0 0 0 46088 143 0 0 25 0 1 0 823582724 217227264 52173 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 53034 52173 180 372 0 52659 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 212136
[startup+522.301 s]
/proc/loadavg: 2.08 2.05 1.94 3/462 15692
/proc/meminfo: memFree=28205440/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=226316 CPUtime=522.31 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 56976 0 0 0 52070 161 0 0 25 0 1 0 823582724 231747584 55675 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 56579 55675 180 372 0 56204 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 226316
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 1.94 3/462 15694
/proc/meminfo: memFree=28173788/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=247172 CPUtime=582.31 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 62177 0 0 0 58053 178 0 0 25 0 1 0 823582724 253104128 60876 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 61793 60876 180 372 0 61418 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 247172
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/462 15712
/proc/meminfo: memFree=28043196/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=316376 CPUtime=822.31 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 79391 0 0 0 81991 240 0 0 25 0 1 0 823582724 323969024 78090 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 79094 78090 180 372 0 78719 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 316376
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/462 15714
/proc/meminfo: memFree=28016168/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=333168 CPUtime=882.32 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 83563 0 0 0 87975 257 0 0 25 0 1 0 823582724 341164032 82262 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 83292 82262 180 372 0 82917 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 333168
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/462 15716
/proc/meminfo: memFree=27981916/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=352396 CPUtime=942.32 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 88342 0 0 0 93958 274 0 0 25 0 1 0 823582724 360853504 87041 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 88099 87041 180 372 0 87724 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 352396
[startup+1002.3 s]
/proc/loadavg: 2.22 2.07 1.97 3/462 15717
/proc/meminfo: memFree=27953724/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=368892 CPUtime=1002.32 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 92419 0 0 0 99943 289 0 0 25 0 1 0 823582724 377745408 91118 33554432000 4194304 5714214 140733830337648 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 92223 91118 180 372 0 91848 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 368892
[startup+1062.3 s]
/proc/loadavg: 2.12 2.07 1.97 3/462 15719
/proc/meminfo: memFree=27918968/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=387844 CPUtime=1062.33 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 97133 0 0 0 105927 306 0 0 25 0 1 0 823582724 397152256 95832 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 96961 95832 180 372 0 96586 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 387844
[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/462 15720
/proc/meminfo: memFree=27889048/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=405332 CPUtime=1122.32 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 101508 0 0 0 111910 322 0 0 25 0 1 0 823582724 415059968 100207 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 101333 100207 180 372 0 100958 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 405332
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/462 15722
/proc/meminfo: memFree=27855544/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=422992 CPUtime=1182.32 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 105884 0 0 0 117897 335 0 0 25 0 1 0 823582724 433143808 104583 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 105748 104583 180 372 0 105373 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 422992
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/462 15724
/proc/meminfo: memFree=27820544/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=439768 CPUtime=1242.33 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 110099 0 0 0 123885 348 0 0 25 0 1 0 823582724 450322432 108798 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 109942 108798 180 372 0 109567 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 439768
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/462 15725
/proc/meminfo: memFree=27799188/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=453172 CPUtime=1302.34 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 113426 0 0 0 129872 362 0 0 25 0 1 0 823582724 464048128 112125 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 113293 112125 180 372 0 112918 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 453172
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/462 15727
/proc/meminfo: memFree=27772248/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=468764 CPUtime=1362.33 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 117300 0 0 0 135857 376 0 0 25 0 1 0 823582724 480014336 115999 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 117191 115999 180 372 0 116816 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 468764
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.97 3/462 15729
/proc/meminfo: memFree=27741836/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=487980 CPUtime=1422.35 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 122098 0 0 0 141842 393 0 0 25 0 1 0 823582724 499691520 120797 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 121995 120797 180 372 0 121620 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 487980
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/462 15730
/proc/meminfo: memFree=27721704/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=505540 CPUtime=1482.33 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 126463 0 0 0 147823 410 0 0 25 0 1 0 823582724 517672960 125162 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 126385 125162 180 372 0 126010 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 505540
[startup+1542.3 s]
/proc/loadavg: 2.14 2.05 1.99 3/462 15732
/proc/meminfo: memFree=27694144/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=519332 CPUtime=1542.34 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 129861 0 0 0 153810 424 0 0 25 0 1 0 823582724 531795968 128560 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 129833 128560 180 372 0 129458 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 519332
[startup+1602.3 s]
/proc/loadavg: 2.14 2.07 2.00 3/462 15733
/proc/meminfo: memFree=27666316/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=534148 CPUtime=1602.34 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 133548 0 0 0 159796 438 0 0 25 0 1 0 823582724 546967552 132247 33554432000 4194304 5714214 140733830337648 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 133537 132247 180 372 0 133162 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 534148
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/462 15735
/proc/meminfo: memFree=27632052/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=553888 CPUtime=1662.34 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 138455 0 0 0 165781 453 0 0 25 0 1 0 823582724 567181312 137154 33554432000 4194304 5714214 140733830337648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 138472 137154 180 372 0 138097 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 553888
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 15736
/proc/meminfo: memFree=27609048/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=565948 CPUtime=1722.34 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 141467 0 0 0 171767 467 0 0 25 0 1 0 823582724 579530752 140166 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 141487 140166 180 372 0 141112 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 565948
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 15738
/proc/meminfo: memFree=27582476/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=583444 CPUtime=1782.35 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 145855 0 0 0 177753 482 0 0 25 0 1 0 823582724 597446656 144554 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 145861 144554 180 372 0 145486 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 583444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 15739
/proc/meminfo: memFree=27572656/32951124 swapFree=41830676/67111528
[pid=15618] ppid=15616 vsize=587460 CPUtime=1800.05 cores=0,2,4,6
/proc/15618/stat : 15618 (wbo1.6) R 15616 15618 12829 0 -1 4202496 146845 0 0 0 179519 486 0 0 25 0 1 0 823582724 601559040 145544 33554432000 4194304 5714214 140733830337648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/15618/statm: 146865 145544 180 372 0 146490 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 587460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1795.2
CPU system time (s): 4.89026
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 587460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.2
system time used= 4.89026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146846
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= 6
involuntary context switches= 1405
runsolver used 8.47671 second user time and 17.7403 second system time
The end