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-3460145-1307119072/watcher-3460145-1307119072 -o /tmp/evaluation-result-3460145-1307119072/solver-3460145-1307119072 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460145-1307119072.opb
running on 4 cores: 1,3,5,7
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.02 2.05 2.00 2/458 9263
/proc/meminfo: memFree=25266696/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=3184 CPUtime=0 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 495 0 0 0 0 0 0 0 25 0 1 0 823505408 3260416 448 33554432000 4194304 5714214 140734362293296 18446744073709551615 4315202 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 796 453 181 372 0 342 0
[startup+0.111018 s]
/proc/loadavg: 2.02 2.05 2.00 2/458 9263
/proc/meminfo: memFree=25266696/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=6984 CPUtime=0.1 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 1613 0 0 0 10 0 0 0 25 0 1 0 823505408 7151616 1487 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 1746 1487 180 372 0 1371 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6984
[startup+0.200999 s]
/proc/loadavg: 2.02 2.05 2.00 2/458 9263
/proc/meminfo: memFree=25266696/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=6984 CPUtime=0.19 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 1613 0 0 0 19 0 0 0 25 0 1 0 823505408 7151616 1487 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 1746 1487 180 372 0 1371 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6984
[startup+0.300982 s]
/proc/loadavg: 2.02 2.05 2.00 2/458 9263
/proc/meminfo: memFree=25266696/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=6984 CPUtime=0.29 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 1613 0 0 0 28 1 0 0 25 0 1 0 823505408 7151616 1487 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 1746 1487 180 372 0 1371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6984
[startup+0.70091 s]
/proc/loadavg: 2.02 2.05 2.00 2/458 9263
/proc/meminfo: memFree=25266696/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=8832 CPUtime=0.69 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 2066 0 0 0 68 1 0 0 25 0 1 0 823505408 9043968 1940 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 2208 1940 180 372 0 1833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8832
[startup+1.50077 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 9264
/proc/meminfo: memFree=25256272/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=12136 CPUtime=1.49 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 2896 0 0 0 146 3 0 0 25 0 1 0 823505408 12427264 2770 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 3034 2770 180 372 0 2659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12136
[startup+3.10049 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 9264
/proc/meminfo: memFree=25250832/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=16240 CPUtime=3.09 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 3923 0 0 0 304 5 0 0 25 0 1 0 823505408 16629760 3797 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 4060 3797 180 372 0 3685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16240
[startup+6.30092 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 9265
/proc/meminfo: memFree=25244628/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=19032 CPUtime=6.29 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 4623 0 0 0 621 8 0 0 25 0 1 0 823505408 19488768 4497 33554432000 4194304 5714214 140734362293296 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 4758 4497 180 372 0 4383 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19032
[startup+12.7008 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 9265
/proc/meminfo: memFree=25237344/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=26572 CPUtime=12.69 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 6502 0 0 0 1254 15 0 0 25 0 1 0 823505408 27209728 6376 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 6643 6376 180 372 0 6268 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26572
[startup+25.5005 s]
/proc/loadavg: 2.17 2.07 2.01 3/459 9265
/proc/meminfo: memFree=25210296/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=42160 CPUtime=25.49 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 10369 0 0 0 2523 26 0 0 25 0 1 0 823505408 43171840 10243 33554432000 4194304 5714214 140734362293296 18446744073709551615 4322950 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 10540 10243 180 372 0 10165 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42160
[startup+51.1009 s]
/proc/loadavg: 2.10 2.06 2.01 3/459 9266
/proc/meminfo: memFree=25188880/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=52496 CPUtime=51.09 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 12905 0 0 0 5069 40 0 0 25 0 1 0 823505408 53755904 12779 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 13124 12779 180 372 0 12749 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52496
[startup+102.301 s]
/proc/loadavg: 2.16 2.08 2.01 3/459 9267
/proc/meminfo: memFree=25127724/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=87024 CPUtime=102.3 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 21520 0 0 0 10149 81 0 0 25 0 1 0 823505408 89112576 21358 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 21756 21358 180 372 0 21381 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 87024
[startup+162.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/456 9381
/proc/meminfo: memFree=26139092/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=155012 CPUtime=162.3 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 38520 0 0 0 16119 111 0 0 25 0 1 0 823505408 158732288 38353 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 38753 38353 180 372 0 38378 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 155012
[startup+222.317 s]
/proc/loadavg: 2.07 2.08 2.01 3/459 10124
/proc/meminfo: memFree=26120388/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=157756 CPUtime=222.31 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 39221 0 0 0 22106 125 0 0 25 0 1 0 823505408 161542144 39052 33554432000 4194304 5714214 140734362293296 18446744073709551615 4309513 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 39439 39052 180 372 0 39064 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 157756
[startup+282.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/459 10616
/proc/meminfo: memFree=26083748/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=157756 CPUtime=282.29 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 39225 0 0 0 28065 164 0 0 25 0 1 0 823505408 161542144 39056 33554432000 4194304 5714214 140734362293296 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 39439 39056 180 372 0 39064 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 157756
[startup+342.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/459 10618
/proc/meminfo: memFree=26032888/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=157756 CPUtime=342.3 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 39226 0 0 0 34010 220 0 0 25 0 1 0 823505408 161542144 39057 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 39439 39057 180 372 0 39064 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 157756
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 10619
/proc/meminfo: memFree=25942836/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=206140 CPUtime=402.3 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 51258 0 0 0 39990 240 0 0 25 0 1 0 823505408 211087360 51089 33554432000 4194304 5714214 140734362293296 18446744073709551615 4309531 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 51535 51089 180 372 0 51160 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 206140
[startup+462.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/459 10621
/proc/meminfo: memFree=25884276/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=219004 CPUtime=462.31 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 54855 0 0 0 45972 259 0 0 25 0 1 0 823505408 224260096 54316 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 54751 54316 180 372 0 54376 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 219004
[startup+522.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/459 10622
/proc/meminfo: memFree=25846808/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=219004 CPUtime=522.3 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 54863 0 0 0 51946 284 0 0 25 0 1 0 823505408 224260096 54324 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 54751 54324 180 372 0 54376 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 219004
[startup+582.3 s]
/proc/loadavg: 2.11 2.05 2.00 3/459 10624
/proc/meminfo: memFree=25805744/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=222124 CPUtime=582.3 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 55606 0 0 0 57912 318 0 0 18 0 1 0 823505408 227454976 55067 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 55531 55067 180 372 0 55156 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 222124
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 10632
/proc/meminfo: memFree=25480132/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=359088 CPUtime=882.33 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 90334 0 0 0 87662 571 0 0 25 0 1 0 823505408 367706112 89149 33554432000 4194304 5714214 140734362293296 18446744073709551615 4311476 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 89772 89149 180 372 0 89397 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 359088
[startup+942.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/459 10634
/proc/meminfo: memFree=25442532/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=359088 CPUtime=942.32 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 90335 0 0 0 93623 609 0 0 25 0 1 0 823505408 367706112 89150 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 89772 89150 180 372 0 89397 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 359088
[startup+1002.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/459 10635
/proc/meminfo: memFree=25388440/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=377956 CPUtime=1002.32 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 95352 0 0 0 99594 638 0 0 25 0 1 0 823505408 387026944 93892 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 94489 93892 180 372 0 94114 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 377956
[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/459 10637
/proc/meminfo: memFree=25352588/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=381400 CPUtime=1062.32 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 96215 0 0 0 105571 661 0 0 25 0 1 0 823505408 390553600 94755 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 95350 94755 180 372 0 94975 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 381400
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/459 10638
/proc/meminfo: memFree=25299240/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=405596 CPUtime=1122.32 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 102379 0 0 0 111542 690 0 0 25 0 1 0 823505408 415330304 100802 33554432000 4194304 5714214 140734362293296 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 101399 100802 180 372 0 101024 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 405596
[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/459 10640
/proc/meminfo: memFree=25256696/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=420692 CPUtime=1182.32 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 106107 0 0 0 117517 715 0 0 25 0 1 0 823505408 430788608 104530 33554432000 4194304 5714214 140734362293296 18446744073709551615 4309513 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 105173 104530 180 372 0 104798 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 420692
[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/459 10642
/proc/meminfo: memFree=25224800/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=422316 CPUtime=1242.32 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 107303 0 0 0 123487 745 0 0 25 0 1 0 823505408 432451584 104943 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 105579 104943 180 372 0 105204 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 422316
[startup+1302.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/459 10643
/proc/meminfo: memFree=25191672/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=427064 CPUtime=1302.32 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 108661 0 0 0 129462 770 0 0 25 0 1 0 823505408 437313536 106152 33554432000 4194304 5714214 140734362293296 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 106766 106152 180 372 0 106391 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 427064
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/459 10645
/proc/meminfo: memFree=25148368/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=440336 CPUtime=1362.33 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 111946 0 0 0 135439 794 0 0 25 0 1 0 823505408 450904064 109437 33554432000 4194304 5714214 140734362293296 18446744073709551615 4309222 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 110084 109437 180 372 0 109709 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 440336
[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/459 10655
/proc/meminfo: memFree=25109144/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=447800 CPUtime=1422.34 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 113783 0 0 0 141409 825 0 0 25 0 1 0 823505408 458547200 111274 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 111950 111274 180 372 0 111575 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 447800
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 10657
/proc/meminfo: memFree=25052696/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=478736 CPUtime=1482.33 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 121513 0 0 0 147369 864 0 0 25 0 1 0 823505408 490225664 119004 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 119684 119004 180 372 0 119309 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 478736
[startup+1542.32 s]
/proc/loadavg: 2.08 2.04 2.01 3/459 10659
/proc/meminfo: memFree=25003568/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=496148 CPUtime=1542.35 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 125851 0 0 0 153338 897 0 0 25 0 1 0 823505408 508055552 123342 33554432000 4194304 5714214 140734362293296 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 124037 123342 180 372 0 123662 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 496148
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/459 10662
/proc/meminfo: memFree=24962384/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=509696 CPUtime=1602.33 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 129221 0 0 0 159303 930 0 0 25 0 1 0 823505408 521928704 126702 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 127424 126702 180 372 0 127049 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 509696
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/459 10665
/proc/meminfo: memFree=24926556/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=518124 CPUtime=1662.33 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 131324 0 0 0 165267 966 0 0 25 0 1 0 823505408 530558976 128805 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 129531 128805 180 372 0 129156 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 518124
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/459 10666
/proc/meminfo: memFree=24888708/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=528492 CPUtime=1722.34 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 133897 0 0 0 171245 989 0 0 25 0 1 0 823505408 541175808 131378 33554432000 4194304 5714214 140734362293296 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 132123 131378 180 372 0 131748 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 528492
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/459 10668
/proc/meminfo: memFree=24843184/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=544872 CPUtime=1782.34 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 137963 0 0 0 177210 1024 0 0 25 0 1 0 823505408 557948928 135444 33554432000 4194304 5714214 140734362293296 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 136218 135444 180 372 0 135843 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 544872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 10668
/proc/meminfo: memFree=24830264/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=550548 CPUtime=1800.04 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 139349 0 0 0 178971 1033 0 0 25 0 1 0 823505408 563761152 136830 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 137637 136830 180 372 0 137262 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 550548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 10668
/proc/meminfo: memFree=24830264/32951124 swapFree=60688864/67111528
[pid=9263] ppid=9261 vsize=550548 CPUtime=1800.04 cores=1,3,5,7
/proc/9263/stat : 9263 (wbo1.6) R 9261 9263 6853 0 -1 4202496 139349 0 0 0 178971 1033 0 0 25 0 1 0 823505408 563761152 136830 33554432000 4194304 5714214 140734362293296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9263/statm: 137637 136830 180 372 0 137262 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 550548
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1789.73
CPU system time (s): 10.3574
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 550548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.73
system time used= 10.3574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139359
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= 4096
runsolver used 7.76182 second user time and 18.4502 second system time
The end