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-3460703-1307108432/watcher-3460703-1307108432 -o /tmp/evaluation-result-3460703-1307108432/solver-3460703-1307108432 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460703-1307108432.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: 1.97 2.03 2.00 2/554 4563
/proc/meminfo: memFree=24907164/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=15124 CPUtime=0 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 593 0 0 0 0 0 0 0 21 0 1 0 822440313 15486976 546 33554432000 4194304 5714214 140735192494608 18446744073709551615 4315676 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 3781 547 179 372 0 460 0
[startup+0.034899 s]
/proc/loadavg: 1.97 2.03 2.00 2/554 4563
/proc/meminfo: memFree=24907164/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=17680 CPUtime=0.03 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 1308 0 0 0 3 0 0 0 21 0 1 0 822440313 18104320 1261 33554432000 4194304 5714214 140735192494608 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 4420 1261 280 372 0 1099 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17680
[startup+0.100886 s]
/proc/loadavg: 1.97 2.03 2.00 2/554 4563
/proc/meminfo: memFree=24907164/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=22180 CPUtime=0.09 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 2702 0 0 0 9 0 0 0 21 0 1 0 822440313 22712320 2589 33554432000 4194304 5714214 140735192494608 18446744073709551615 4228656 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 5545 2589 523 372 0 2224 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22180
[startup+0.300839 s]
/proc/loadavg: 1.97 2.03 2.00 2/554 4563
/proc/meminfo: memFree=24907164/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=37284 CPUtime=0.29 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 7049 0 0 0 29 0 0 0 22 0 1 0 822440313 38178816 6588 33554432000 4194304 5714214 140735192494608 18446744073709551615 4222912 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 9321 6588 1226 372 0 6000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37284
[startup+0.70077 s]
/proc/loadavg: 1.97 2.03 2.00 2/554 4563
/proc/meminfo: memFree=24907164/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=63164 CPUtime=0.69 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 14993 0 0 0 68 1 0 0 24 0 1 0 822440313 64679936 14049 33554432000 4194304 5714214 140735192494608 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 15791 14050 2635 372 0 12470 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63164
[startup+1.50063 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 4564
/proc/meminfo: memFree=24792232/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=156420 CPUtime=1.49 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 48433 0 0 0 144 5 0 0 18 0 1 0 822440313 160174080 38279 33554432000 4194304 5714214 140735192494608 18446744073709551615 4956403 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 39105 38279 176 372 0 38730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156420
[startup+3.10031 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 4564
/proc/meminfo: memFree=24743252/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=168884 CPUtime=3.09 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 51717 0 0 0 301 8 0 0 21 0 1 0 822440313 172937216 41563 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 42221 41563 180 372 0 41846 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 168884
[startup+6.30069 s]
/proc/loadavg: 1.98 2.03 2.00 3/555 4564
/proc/meminfo: memFree=24738324/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=168884 CPUtime=6.29 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 51717 0 0 0 595 34 0 0 25 0 1 0 822440313 172937216 41563 33554432000 4194304 5714214 140735192494608 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 42221 41563 180 372 0 41846 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 168884
[startup+12.7005 s]
/proc/loadavg: 1.98 2.03 2.00 3/555 4564
/proc/meminfo: memFree=24737104/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=168884 CPUtime=12.69 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 51717 0 0 0 1155 114 0 0 25 0 1 0 822440313 172937216 41563 33554432000 4194304 5714214 140735192494608 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 42221 41563 180 372 0 41846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 168884
[startup+25.501 s]
/proc/loadavg: 1.98 2.03 2.00 3/555 4564
/proc/meminfo: memFree=24736684/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=168884 CPUtime=25.49 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 51717 0 0 0 2349 200 0 0 25 0 1 0 822440313 172937216 41563 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 42221 41563 180 372 0 41846 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 168884
[startup+51.1011 s]
/proc/loadavg: 1.99 2.02 2.00 3/555 4565
/proc/meminfo: memFree=24701036/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=202584 CPUtime=51.1 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 60267 0 0 0 4785 325 0 0 25 0 1 0 822440313 207446016 50113 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 50646 50113 180 372 0 50271 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 202584
[startup+102.321 s]
/proc/loadavg: 1.99 2.02 2.00 3/555 4566
/proc/meminfo: memFree=24645156/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=252024 CPUtime=102.31 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 72642 0 0 0 9712 519 0 0 25 0 1 0 822440313 258072576 62488 33554432000 4194304 5714214 140735192494608 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 63006 62488 180 372 0 62631 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 252024
[startup+162.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/555 4568
/proc/meminfo: memFree=24575808/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=317088 CPUtime=162.29 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 88897 0 0 0 15534 695 0 0 25 0 1 0 822440313 324698112 78743 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 79272 78743 180 372 0 78897 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 317088
[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/555 4570
/proc/meminfo: memFree=24516632/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=368612 CPUtime=222.3 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 101755 0 0 0 21409 821 0 0 25 0 1 0 822440313 377458688 91601 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 92153 91601 180 372 0 91778 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 368612
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/555 4571
/proc/meminfo: memFree=24438232/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=444104 CPUtime=282.3 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 120635 0 0 0 27304 926 0 0 25 0 1 0 822440313 454762496 110481 33554432000 4194304 5714214 140735192494608 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 111026 110481 180 372 0 110651 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 444104
[startup+342.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/555 4573
/proc/meminfo: memFree=24326592/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=550512 CPUtime=342.31 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 147218 0 0 0 33215 1016 0 0 25 0 1 0 822440313 563724288 137064 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 137628 137064 180 372 0 137253 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 550512
[startup+402.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/555 4574
/proc/meminfo: memFree=24077320/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=796640 CPUtime=402.3 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 208741 0 0 0 39120 1110 0 0 25 0 1 0 822440313 815759360 198587 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 199160 198587 180 372 0 198785 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 796640
[startup+462.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/555 4576
/proc/meminfo: memFree=23876780/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=987212 CPUtime=462.31 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 256404 0 0 0 45056 1175 0 0 25 0 1 0 822440313 1010905088 246250 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 246803 246250 180 372 0 246428 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 987212
[startup+522.301 s]
/proc/loadavg: 1.52 1.91 1.96 2/549 4596
/proc/meminfo: memFree=23809268/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1248108 CPUtime=522.31 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 321581 0 0 0 50991 1240 0 0 25 0 1 0 822440313 1278062592 311427 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 312027 311427 180 372 0 311652 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1248108
[startup+582.3 s]
/proc/loadavg: 1.19 1.74 1.90 2/549 4597
/proc/meminfo: memFree=23675700/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1378284 CPUtime=582.32 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 353236 0 0 0 56892 1340 0 0 25 0 1 0 822440313 1411362816 343082 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 344571 343082 180 372 0 344196 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1378284
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.14 1.31 1.65 2/549 4605
/proc/meminfo: memFree=23675388/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1378284 CPUtime=882.33 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 353290 0 0 0 86559 1674 0 0 25 0 1 0 822440313 1411362816 343136 33554432000 4194304 5714214 140735192494608 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 344571 343136 180 372 0 344196 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 1378284
[startup+942.3 s]
/proc/loadavg: 1.05 1.25 1.61 2/549 4607
/proc/meminfo: memFree=23675972/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1378284 CPUtime=942.32 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 353309 0 0 0 92491 1741 0 0 25 0 1 0 822440313 1411362816 343155 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 344571 343155 180 372 0 344196 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1378284
[startup+1002.3 s]
/proc/loadavg: 1.02 1.20 1.57 2/549 4608
/proc/meminfo: memFree=23675816/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1378284 CPUtime=1002.34 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 353313 0 0 0 98448 1786 0 0 25 0 1 0 822440313 1411362816 343159 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 344571 343159 180 372 0 344196 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 1378284
[startup+1062.3 s]
/proc/loadavg: 1.00 1.16 1.53 2/549 4610
/proc/meminfo: memFree=23552284/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1502252 CPUtime=1062.33 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 384271 0 0 0 104396 1837 0 0 25 0 1 0 822440313 1538306048 374117 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 375563 374117 180 372 0 375188 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1502252
[startup+1122.3 s]
/proc/loadavg: 1.00 1.13 1.50 2/549 4612
/proc/meminfo: memFree=23372324/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1683668 CPUtime=1122.34 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 429616 0 0 0 110358 1876 0 0 25 0 1 0 822440313 1724076032 419462 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 420917 419462 180 372 0 420542 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1683668
[startup+1182.3 s]
/proc/loadavg: 1.00 1.10 1.46 2/549 4613
/proc/meminfo: memFree=23209220/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=1846220 CPUtime=1182.34 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 470236 0 0 0 116330 1904 0 0 25 0 1 0 822440313 1890529280 460082 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 461555 460082 180 372 0 461180 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1846220
[startup+1242.3 s]
/proc/loadavg: 1.00 1.08 1.43 2/549 4624
/proc/meminfo: memFree=23014492/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=2040688 CPUtime=1242.34 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 518776 0 0 0 122295 1939 0 0 25 0 1 0 822440313 2089664512 508622 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 510172 508622 180 372 0 509797 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2040688
[startup+1302.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/549 4625
/proc/meminfo: memFree=22858744/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=2193160 CPUtime=1302.35 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 556884 0 0 0 128272 1963 0 0 25 0 1 0 822440313 2245795840 546730 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 548290 546730 180 372 0 547915 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2193160
[startup+1362.3 s]
/proc/loadavg: 1.10 1.08 1.38 2/549 4627
/proc/meminfo: memFree=22646164/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=2408788 CPUtime=1362.35 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 610784 0 0 0 134241 1994 0 0 25 0 1 0 822440313 2466598912 600630 33554432000 4194304 5714214 140735192494608 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 602197 600630 180 372 0 601822 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2408788
[startup+1422.32 s]
/proc/loadavg: 1.08 1.08 1.36 2/549 4631
/proc/meminfo: memFree=22390316/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=2662252 CPUtime=1422.37 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 674071 0 0 0 140183 2054 0 0 25 0 1 0 822440313 2726146048 663917 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 665563 663917 180 372 0 665188 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 2662252
[startup+1482.3 s]
/proc/loadavg: 1.03 1.06 1.34 2/549 4633
/proc/meminfo: memFree=22135532/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=2919672 CPUtime=1482.35 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 738480 0 0 0 146137 2098 0 0 25 0 1 0 822440313 2989744128 728326 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 729918 728326 180 372 0 729543 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2919672
[startup+1542.3 s]
/proc/loadavg: 1.01 1.05 1.31 2/549 4635
/proc/meminfo: memFree=21850560/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=3200964 CPUtime=1542.35 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 808734 0 0 0 152102 2133 0 0 25 0 1 0 822440313 3277787136 798580 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 800241 798580 180 372 0 799866 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3200964
[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.29 2/549 4636
/proc/meminfo: memFree=21759888/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=3294568 CPUtime=1602.35 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 832111 0 0 0 158090 2145 0 0 25 0 1 0 822440313 3373637632 821957 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 823642 821957 180 372 0 823267 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3294568
[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.27 2/549 4638
/proc/meminfo: memFree=21586496/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=3467076 CPUtime=1662.36 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 875253 0 0 0 164058 2178 0 0 25 0 1 0 822440313 3550285824 865099 33554432000 4194304 5714214 140735192494608 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 866769 865099 180 372 0 866394 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 3467076
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/549 4640
/proc/meminfo: memFree=21423516/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=3631200 CPUtime=1722.36 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 916040 0 0 0 170027 2209 0 0 25 0 1 0 822440313 3718348800 905886 33554432000 4194304 5714214 140735192494608 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 907800 905906 180 372 0 907425 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 3631200
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/549 4641
/proc/meminfo: memFree=21266624/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=3786632 CPUtime=1782.36 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 954926 0 0 0 176011 2225 0 0 25 0 1 0 822440313 3877511168 944772 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 946658 944772 180 372 0 946283 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3786632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.01 1.23 2/549 4642
/proc/meminfo: memFree=21216632/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=3834656 CPUtime=1800.07 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4202496 966896 0 0 0 177777 2230 0 0 25 0 1 0 822440313 3926687744 956742 33554432000 4194304 5714214 140735192494608 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4563/statm: 958664 956742 180 372 0 958289 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3834656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 1.00 1.01 1.23 2/549 4642
/proc/meminfo: memFree=21216632/32950928 swapFree=67056580/67111528
[pid=4563] ppid=4561 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/4563/stat : 4563 (wbo1.6) R 4561 4563 3492 0 -1 4203524 966896 0 0 0 177779 2240 0 0 25 0 1 0 822440313 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/4563/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.17
CPU time (s): 1800.24
CPU user time (s): 1777.79
CPU system time (s): 22.4506
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3834656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.79
system time used= 22.4506
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966896
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= 1407
runsolver used 8.75667 second user time and 24.0053 second system time
The end