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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668721-1276559283/watcher-2668721-1276559283 -o /tmp/evaluation-result-2668721-1276559283/solver-2668721-1276559283 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668721-1276559283.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.42 1.02 0.98 3/106 31782
/proc/meminfo: memFree=1836396/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=2352 CPUtime=0
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 284 0 0 0 0 0 0 0 24 0 1 0 29583718 2408448 207 1992294400 134512640 136485738 4287413680 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31782/statm: 588 207 155 482 0 104 0

[startup+0.085213 s]
/proc/loadavg: 1.42 1.02 0.98 3/106 31782
/proc/meminfo: memFree=1836396/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=8488 CPUtime=0.07
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 1799 0 0 0 7 0 0 0 24 0 1 0 29583718 8691712 1722 1992294400 134512640 136485738 4287413680 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 2122 1723 197 482 0 1638 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8488

[startup+0.101214 s]
/proc/loadavg: 1.42 1.02 0.98 3/106 31782
/proc/meminfo: memFree=1836396/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=9536 CPUtime=0.09
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 2072 0 0 0 9 0 0 0 24 0 1 0 29583718 9764864 1995 1992294400 134512640 136485738 4287413680 18446744073709551615 135857057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 2384 1996 197 482 0 1900 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9536

[startup+0.30123 s]
/proc/loadavg: 1.42 1.02 0.98 3/106 31782
/proc/meminfo: memFree=1836396/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=25756 CPUtime=0.29
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 6151 0 0 0 27 2 0 0 25 0 1 0 29583718 26374144 5926 1992294400 134512640 136485738 4287413680 18446744073709551615 134651336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 6472 5929 218 482 0 5988 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25756

[startup+0.701262 s]
/proc/loadavg: 1.42 1.02 0.98 3/106 31782
/proc/meminfo: memFree=1836396/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=26680 CPUtime=0.69
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 6371 0 0 0 62 7 0 0 25 0 1 0 29583718 27320320 6146 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 6670 6146 228 482 0 6186 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26680

[startup+1.50133 s]
/proc/loadavg: 1.42 1.02 0.98 2/107 31783
/proc/meminfo: memFree=1812456/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=26952 CPUtime=1.5
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 6457 0 0 0 134 16 0 0 25 0 1 0 29583718 27598848 6232 1992294400 134512640 136485738 4287413680 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 6738 6232 228 482 0 6254 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 26952

[startup+3.10145 s]
/proc/loadavg: 1.39 1.01 0.98 2/107 31783
/proc/meminfo: memFree=1811712/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=27628 CPUtime=3.1
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 6623 0 0 0 273 37 0 0 25 0 1 0 29583718 28291072 6398 1992294400 134512640 136485738 4287413680 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 6907 6398 228 482 0 6423 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 27628

[startup+6.30071 s]
/proc/loadavg: 1.39 1.01 0.98 2/107 31783
/proc/meminfo: memFree=1810844/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=28296 CPUtime=6.29
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 6765 0 0 0 549 80 0 0 25 0 1 0 29583718 28975104 6540 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7074 6540 228 482 0 6590 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28296

[startup+12.7012 s]
/proc/loadavg: 1.33 1.01 0.98 2/107 31783
/proc/meminfo: memFree=1809852/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=28956 CPUtime=12.69
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 6960 0 0 0 1104 165 0 0 25 0 1 0 29583718 29650944 6735 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7239 6735 228 482 0 6755 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28956

[startup+25.5012 s]
/proc/loadavg: 1.28 1.01 0.98 2/107 31783
/proc/meminfo: memFree=1809356/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=29616 CPUtime=25.48
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7104 0 0 0 2234 314 0 0 25 0 1 0 29583718 30326784 6879 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7404 6879 228 482 0 6920 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29616

[startup+51.1013 s]
/proc/loadavg: 1.18 1.01 0.98 2/107 31783
/proc/meminfo: memFree=1808736/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30144 CPUtime=51.08
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7246 0 0 0 4499 609 0 0 25 0 1 0 29583718 30867456 7021 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7536 7021 228 482 0 7052 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30144

[startup+102.308 s]
/proc/loadavg: 1.07 1.00 0.98 2/107 31785
/proc/meminfo: memFree=1808116/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30856 CPUtime=102.28
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7402 0 0 0 9003 1225 0 0 25 0 1 0 29583718 31596544 7135 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7714 7135 246 482 0 7230 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 30856

[startup+162.301 s]
/proc/loadavg: 1.03 1.00 0.98 2/107 31787
/proc/meminfo: memFree=1807992/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30856 CPUtime=162.26
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7402 0 0 0 14258 1968 0 0 25 0 1 0 29583718 31596544 7135 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7714 7135 246 482 0 7230 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30856

[startup+222.301 s]
/proc/loadavg: 1.01 1.00 0.98 2/107 31789
/proc/meminfo: memFree=1807992/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30856 CPUtime=222.24
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7403 0 0 0 19558 2666 0 0 25 0 1 0 29583718 31596544 7135 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7714 7135 246 482 0 7230 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 30856

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31789
/proc/meminfo: memFree=1807868/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30856 CPUtime=282.23
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7405 0 0 0 24883 3340 0 0 25 0 1 0 29583718 31596544 7135 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7714 7135 246 482 0 7230 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30856

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31791
/proc/meminfo: memFree=1807744/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30856 CPUtime=342.21
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7408 0 0 0 30178 4043 0 0 25 0 1 0 29583718 31596544 7135 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7714 7135 246 482 0 7230 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 30856

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31793
/proc/meminfo: memFree=1807744/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30856 CPUtime=402.2
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7408 0 0 0 35431 4789 0 0 25 0 1 0 29583718 31596544 7135 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7714 7135 246 482 0 7230 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 30856

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31795
/proc/meminfo: memFree=1807620/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=30856 CPUtime=462.19
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7409 0 0 0 40722 5497 0 0 25 0 1 0 29583718 31596544 7135 1992294400 134512640 136485738 4287413680 18446744073709551615 134883101 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7714 7135 246 482 0 7230 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 30856

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31797
/proc/meminfo: memFree=1807248/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=31384 CPUtime=522.17
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7558 0 0 0 45973 6244 0 0 25 0 1 0 29583718 32137216 7283 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7846 7283 246 482 0 7362 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 31384

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31797
/proc/meminfo: memFree=1807124/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=31384 CPUtime=582.16
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7558 0 0 0 51272 6944 0 0 25 0 1 0 29583718 32137216 7283 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7846 7283 246 482 0 7362 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 31384

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31799
/proc/meminfo: memFree=1806876/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=31780 CPUtime=642.15
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7654 0 0 0 56559 7656 0 0 25 0 1 0 29583718 32542720 7379 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7945 7379 246 482 0 7461 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 31780

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31814
/proc/meminfo: memFree=1806008/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=31780 CPUtime=882.07
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 7663 0 0 0 77673 10534 0 0 25 0 1 0 29583718 32542720 7385 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 7945 7385 246 482 0 7461 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 31780

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31816
/proc/meminfo: memFree=1803156/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=34816 CPUtime=942.06
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 8423 0 0 0 82964 11242 0 0 25 0 1 0 29583718 35651584 8144 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 8704 8144 246 482 0 8220 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 34816

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31818
/proc/meminfo: memFree=1803156/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=34816 CPUtime=1002.04
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 8423 0 0 0 88282 11922 0 0 25 0 1 0 29583718 35651584 8144 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 8704 8144 246 482 0 8220 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 34816

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31820
/proc/meminfo: memFree=1798196/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1062.04
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9667 0 0 0 93601 12603 0 0 25 0 1 0 29583718 40550400 9352 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9352 246 482 0 9416 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 39600

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31822
/proc/meminfo: memFree=1798196/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1122.02
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9669 0 0 0 98876 13326 0 0 25 0 1 0 29583718 40550400 9352 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9352 246 482 0 9416 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 39600

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31822
/proc/meminfo: memFree=1798196/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1182
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9669 0 0 0 104166 14034 0 0 25 0 1 0 29583718 40550400 9352 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9352 246 482 0 9416 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 39600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31824
/proc/meminfo: memFree=1798072/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1241.99
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9671 0 0 0 109434 14765 0 0 25 0 1 0 29583718 40550400 9352 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9352 246 482 0 9416 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 39600

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31826
/proc/meminfo: memFree=1797948/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1301.99
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9672 0 0 0 114722 15477 0 0 25 0 1 0 29583718 40550400 9352 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9352 246 482 0 9416 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 39600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31828
/proc/meminfo: memFree=1797948/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1361.97
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9675 0 0 0 120003 16194 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 39600

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31830
/proc/meminfo: memFree=1797824/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1421.96
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9678 0 0 0 125277 16919 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 39600

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31830
/proc/meminfo: memFree=1797824/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1481.93
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9678 0 0 0 130545 17648 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 39600

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31832
/proc/meminfo: memFree=1797700/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1541.92
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9678 0 0 0 135804 18388 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 39600

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31834
/proc/meminfo: memFree=1797700/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1601.91
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9678 0 0 0 141102 19089 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 39600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31836
/proc/meminfo: memFree=1797700/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1661.9
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9678 0 0 0 146401 19789 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 39600

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31838
/proc/meminfo: memFree=1797576/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1721.88
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9678 0 0 0 151710 20478 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 39600

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31838
/proc/meminfo: memFree=1797328/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1781.86
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9679 0 0 0 157000 21186 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 39600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31840
/proc/meminfo: memFree=1797328/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1800.07
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9679 0 0 0 158610 21397 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 39600

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 31840
/proc/meminfo: memFree=1797328/2059040 swapFree=4136648/4192956
[pid=31782] ppid=31780 vsize=39600 CPUtime=1800.07
/proc/31782/stat : 31782 (pbct) R 31780 31782 31387 0 -1 4202496 9679 0 0 0 158610 21397 0 0 25 0 1 0 29583718 40550400 9354 1992294400 134512640 136485738 4287413680 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31782/statm: 9900 9354 246 482 0 9416 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 39600

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1586.11
CPU system time (s): 213.978
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 39832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1586.11
system time used= 213.978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9679
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= 3657

runsolver used 2.84257 second user time and 8.63669 second system time

The end