runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681858-1277496873/watcher-2681858-1277496873 -o /tmp/evaluation-result-2681858-1277496873/solver-2681858-1277496873 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681858-1277496873.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.11 1.02 1.01 3/106 30609
/proc/meminfo: memFree=1867360/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=2136 CPUtime=0
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 254 0 0 0 0 0 0 0 20 0 1 0 90979635 2187264 173 1992294400 134512640 136421960 4288679984 18446744073709551615 135153538 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30609/statm: 534 173 145 467 0 65 0

[startup+0.1074 s]
/proc/loadavg: 1.11 1.02 1.01 3/106 30609
/proc/meminfo: memFree=1867360/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=6936 CPUtime=0.1
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 1436 0 0 0 10 0 0 0 20 0 1 0 90979635 7102464 1355 1992294400 134512640 136421960 4288679984 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 1734 1356 189 467 0 1265 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6936

[startup+0.201416 s]
/proc/loadavg: 1.11 1.02 1.01 3/106 30609
/proc/meminfo: memFree=1867360/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=22632 CPUtime=0.19
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 5339 0 0 0 18 1 0 0 20 0 1 0 90979635 23175168 5192 1992294400 134512640 136421960 4288679984 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 5658 5192 195 467 0 5189 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22632

[startup+0.301435 s]
/proc/loadavg: 1.11 1.02 1.01 3/106 30609
/proc/meminfo: memFree=1867360/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=24380 CPUtime=0.29
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 5815 0 0 0 25 4 0 0 20 0 1 0 90979635 24965120 5559 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6095 5559 237 467 0 5626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24380

[startup+0.701507 s]
/proc/loadavg: 1.11 1.02 1.01 3/106 30609
/proc/meminfo: memFree=1867360/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=24512 CPUtime=0.69
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 5843 0 0 0 52 17 0 0 20 0 1 0 90979635 25100288 5587 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6128 5587 237 467 0 5659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24512

[startup+1.50165 s]
/proc/loadavg: 1.11 1.02 1.01 2/107 30610
/proc/meminfo: memFree=1845528/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=25040 CPUtime=1.5
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 5991 0 0 0 109 41 0 0 23 0 1 0 90979635 25640960 5735 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6260 5735 237 467 0 5791 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 25040

[startup+3.10095 s]
/proc/loadavg: 1.11 1.02 1.01 2/107 30610
/proc/meminfo: memFree=1844164/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=25964 CPUtime=3.09
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6208 0 0 0 222 87 0 0 25 0 1 0 90979635 26587136 5952 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6491 5952 237 467 0 6022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25964

[startup+6.30153 s]
/proc/loadavg: 1.10 1.02 1.00 2/107 30610
/proc/meminfo: memFree=1843668/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=26228 CPUtime=6.29
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6290 0 0 0 443 186 0 0 25 0 1 0 90979635 26857472 6034 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6557 6034 237 467 0 6088 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26228

[startup+12.7007 s]
/proc/loadavg: 1.09 1.02 1.00 2/107 30610
/proc/meminfo: memFree=1843048/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=26888 CPUtime=12.69
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6429 0 0 0 887 382 0 0 25 0 1 0 90979635 27533312 6173 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6722 6173 237 467 0 6253 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26888

[startup+25.501 s]
/proc/loadavg: 1.07 1.01 1.00 2/107 30610
/proc/meminfo: memFree=1843048/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=26888 CPUtime=25.48
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6437 0 0 0 1775 773 0 0 25 0 1 0 90979635 27533312 6180 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6722 6180 237 467 0 6253 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26888

[startup+51.1017 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 30610
/proc/meminfo: memFree=1842924/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=26888 CPUtime=51.07
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6466 0 0 0 3563 1544 0 0 25 0 1 0 90979635 27533312 6209 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6722 6209 237 467 0 6253 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26888

[startup+102.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 30612
/proc/meminfo: memFree=1842676/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=27152 CPUtime=102.26
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6530 0 0 0 7150 3076 0 0 25 0 1 0 90979635 27803648 6273 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 6788 6273 237 467 0 6319 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 27152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30614
/proc/meminfo: memFree=1841684/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28080 CPUtime=162.22
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6740 0 0 0 11305 4917 0 0 25 0 1 0 90979635 28753920 6483 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7020 6483 237 467 0 6551 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 28080

[startup+222.309 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 30616
/proc/meminfo: memFree=1841312/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28344 CPUtime=222.21
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6823 0 0 0 15518 6703 0 0 25 0 1 0 90979635 29024256 6565 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7086 6565 237 467 0 6617 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28344

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 30616
/proc/meminfo: memFree=1841312/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28344 CPUtime=282.18
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6823 0 0 0 19680 8538 0 0 25 0 1 0 90979635 29024256 6565 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7086 6565 237 467 0 6617 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 28344

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30618
/proc/meminfo: memFree=1841312/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28344 CPUtime=342.16
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6823 0 0 0 23851 10365 0 0 25 0 1 0 90979635 29024256 6565 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7086 6565 237 467 0 6617 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 28344

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30620
/proc/meminfo: memFree=1841312/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28344 CPUtime=402.14
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6823 0 0 0 28017 12197 0 0 25 0 1 0 90979635 29024256 6565 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7086 6565 237 467 0 6617 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 28344

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30622
/proc/meminfo: memFree=1840940/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28608 CPUtime=462.11
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6886 0 0 0 32208 14003 0 0 25 0 1 0 90979635 29294592 6628 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7152 6628 237 467 0 6683 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 28608

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30624
/proc/meminfo: memFree=1840816/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28740 CPUtime=522.09
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6912 0 0 0 36403 15806 0 0 25 0 1 0 90979635 29429760 6654 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7185 6654 237 467 0 6716 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 28740

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30624
/proc/meminfo: memFree=1840816/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=28740 CPUtime=582.07
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 6912 0 0 0 40608 17599 0 0 25 0 1 0 90979635 29429760 6654 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7185 6654 237 467 0 6716 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 28740

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30626
/proc/meminfo: memFree=1839948/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29532 CPUtime=642.04
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7113 0 0 0 44801 19403 0 0 25 0 1 0 90979635 30240768 6855 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7383 6855 237 467 0 6914 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 29532

[startup+702.302 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30632
/proc/meminfo: memFree=1839824/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29532 CPUtime=821.97
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7113 0 0 0 57332 24865 0 0 25 0 1 0 90979635 30240768 6855 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7383 6855 237 467 0 6914 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 29532

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30632
/proc/meminfo: memFree=1839824/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29532 CPUtime=881.96
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7113 0 0 0 61544 26652 0 0 25 0 1 0 90979635 30240768 6855 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7383 6855 237 467 0 6914 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 29532

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30634
/proc/meminfo: memFree=1839700/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29532 CPUtime=941.93
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7113 0 0 0 65712 28481 0 0 25 0 1 0 90979635 30240768 6855 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7383 6855 237 467 0 6914 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 29532

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30636
/proc/meminfo: memFree=1839700/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29532 CPUtime=1001.91
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7113 0 0 0 69950 30241 0 0 25 0 1 0 90979635 30240768 6855 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7383 6855 237 467 0 6914 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 29532

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 30641
/proc/meminfo: memFree=1826176/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29664 CPUtime=1061.88
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7159 0 0 0 74243 31945 0 0 25 0 1 0 90979635 30375936 6901 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7416 6901 237 467 0 6947 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 29664

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30643
/proc/meminfo: memFree=1838584/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29928 CPUtime=1121.86
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7203 0 0 0 78592 33594 0 0 25 0 1 0 90979635 30646272 6945 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7482 6945 237 467 0 7013 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 29928

[startup+1182.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 30643
/proc/meminfo: memFree=1838584/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29928 CPUtime=1181.84
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7203 0 0 0 82770 35414 0 0 25 0 1 0 90979635 30646272 6945 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7482 6945 237 467 0 7013 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 29928

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 30645
/proc/meminfo: memFree=1838460/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29928 CPUtime=1241.82
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7203 0 0 0 86993 37189 0 0 25 0 1 0 90979635 30646272 6945 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7482 6945 237 467 0 7013 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 29928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30647
/proc/meminfo: memFree=1838460/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29928 CPUtime=1301.79
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7203 0 0 0 91179 39000 0 0 25 0 1 0 90979635 30646272 6945 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7482 6945 237 467 0 7013 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 29928

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30649
/proc/meminfo: memFree=1838460/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=29928 CPUtime=1361.77
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7203 0 0 0 95411 40766 0 0 25 0 1 0 90979635 30646272 6945 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7482 6945 237 467 0 7013 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 29928

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30651
/proc/meminfo: memFree=1837964/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30324 CPUtime=1421.75
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7303 0 0 0 99583 42592 0 0 25 0 1 0 90979635 31051776 7045 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7581 7045 237 467 0 7112 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 30324

[startup+1482.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 30651
/proc/meminfo: memFree=1837964/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30324 CPUtime=1481.72
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7303 0 0 0 103758 44414 0 0 25 0 1 0 90979635 31051776 7045 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7581 7045 237 467 0 7112 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 30324

[startup+1542.31 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 30653
/proc/meminfo: memFree=1837964/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30324 CPUtime=1541.71
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7303 0 0 0 107962 46209 0 0 25 0 1 0 90979635 31051776 7045 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7581 7045 237 467 0 7112 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 30324

[startup+1602.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 30655
/proc/meminfo: memFree=1837840/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30456 CPUtime=1601.68
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7329 0 0 0 112160 48008 0 0 25 0 1 0 90979635 31186944 7071 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7614 7071 237 467 0 7145 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 30456

[startup+1662.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 30657
/proc/meminfo: memFree=1837840/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30456 CPUtime=1661.65
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7329 0 0 0 116404 49761 0 0 25 0 1 0 90979635 31186944 7071 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7614 7071 237 467 0 7145 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 30456

[startup+1722.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 30659
/proc/meminfo: memFree=1837716/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30456 CPUtime=1721.63
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7329 0 0 0 120599 51564 0 0 25 0 1 0 90979635 31186944 7071 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7614 7071 237 467 0 7145 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 30456

[startup+1782.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 30659
/proc/meminfo: memFree=1837716/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30456 CPUtime=1781.6
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7329 0 0 0 124782 53378 0 0 25 0 1 0 90979635 31186944 7071 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7614 7071 237 467 0 7145 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 30456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 30661
/proc/meminfo: memFree=1837716/2059040 swapFree=4139836/4192956
[pid=30609] ppid=30607 vsize=30456 CPUtime=1800.01
/proc/30609/stat : 30609 (pbct) R 30607 30609 30154 0 -1 4202496 7329 0 0 0 126069 53932 0 0 25 0 1 0 90979635 31186944 7071 1992294400 134512640 136421960 4288679984 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30609/statm: 7614 7071 237 467 0 7145 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 30456

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.03
CPU user time (s): 1260.7
CPU system time (s): 539.326
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 30456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1260.7
system time used= 539.326
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7330
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= 1
involuntary context switches= 5196

runsolver used 3.15752 second user time and 8.31874 second system time

The end