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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681863-1277497023/watcher-2681863-1277497023 -o /tmp/evaluation-result-2681863-1277497023/solver-2681863-1277497023 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681863-1277497023.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.00 1.00 1.00 3/106 24840
/proc/meminfo: memFree=1839532/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=2136 CPUtime=0
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 261 0 0 0 0 0 0 0 20 0 1 0 125305779 2187264 180 1992294400 134512640 136421960 4289053120 18446744073709551615 135378033 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24840/statm: 534 180 145 467 0 65 0

[startup+0.097787 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24840
/proc/meminfo: memFree=1839532/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=11160 CPUtime=0.08
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 2467 0 0 0 8 0 0 0 20 0 1 0 125305779 11427840 2386 1992294400 134512640 136421960 4289053120 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 2790 2387 194 467 0 2321 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11160

[startup+0.100788 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24840
/proc/meminfo: memFree=1839532/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=11556 CPUtime=0.09
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 2548 0 0 0 9 0 0 0 20 0 1 0 125305779 11833344 2467 1992294400 134512640 136421960 4289053120 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 2889 2468 194 467 0 2420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11556

[startup+0.300824 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24840
/proc/meminfo: memFree=1839532/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=17848 CPUtime=0.29
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4139 0 0 0 24 5 0 0 20 0 1 0 125305779 18276352 4037 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4462 4037 237 467 0 3993 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17848

[startup+0.700898 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 24840
/proc/meminfo: memFree=1839532/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=17848 CPUtime=0.69
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4153 0 0 0 48 21 0 0 20 0 1 0 125305779 18276352 4051 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4462 4051 237 467 0 3993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17848

[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24841
/proc/meminfo: memFree=1824024/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=18104 CPUtime=1.49
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4223 0 0 0 99 50 0 0 23 0 1 0 125305779 18538496 4121 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4526 4121 237 467 0 4057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18104

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24841
/proc/meminfo: memFree=1823404/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=18484 CPUtime=3.09
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4306 0 0 0 199 110 0 0 25 0 1 0 125305779 18927616 4204 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4621 4204 237 467 0 4152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18484

[startup+6.30093 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24841
/proc/meminfo: memFree=1823156/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=18484 CPUtime=6.29
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4325 0 0 0 402 227 0 0 25 0 1 0 125305779 18927616 4223 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4621 4223 237 467 0 4152 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18484

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24841
/proc/meminfo: memFree=1822536/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=18860 CPUtime=12.68
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4419 0 0 0 801 467 0 0 25 0 1 0 125305779 19312640 4317 1992294400 134512640 136421960 4289053120 18446744073709551615 134859696 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4715 4317 237 467 0 4246 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18860

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24841
/proc/meminfo: memFree=1822288/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=19232 CPUtime=25.48
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4490 0 0 0 1612 936 0 0 25 0 1 0 125305779 19693568 4388 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4808 4388 237 467 0 4339 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19232

[startup+51.1002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24843
/proc/meminfo: memFree=1821792/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=19612 CPUtime=51.08
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4587 0 0 0 3233 1875 0 0 25 0 1 0 125305779 20082688 4485 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 4903 4485 237 467 0 4434 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19612

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24843
/proc/meminfo: memFree=1820180/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=21156 CPUtime=102.26
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 4982 0 0 0 6537 3689 0 0 25 0 1 0 125305779 21663744 4880 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 5289 4880 237 467 0 4820 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21156

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24845
/proc/meminfo: memFree=1819188/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=22192 CPUtime=162.24
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5241 0 0 0 10394 5830 0 0 25 0 1 0 125305779 22724608 5139 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 5548 5139 237 467 0 5079 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 22192

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24847
/proc/meminfo: memFree=1819064/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=22192 CPUtime=222.21
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5241 0 0 0 14287 7934 0 0 25 0 1 0 125305779 22724608 5139 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 5548 5139 237 467 0 5079 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 22192

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24849
/proc/meminfo: memFree=1819064/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=22192 CPUtime=282.2
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5241 0 0 0 18105 10115 0 0 25 0 1 0 125305779 22724608 5139 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 5548 5139 237 467 0 5079 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 22192

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24851
/proc/meminfo: memFree=1818816/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=22440 CPUtime=342.17
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5314 0 0 0 21973 12244 0 0 25 0 1 0 125305779 22978560 5212 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 5610 5212 237 467 0 5141 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 22440

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24851
/proc/meminfo: memFree=1817576/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=23732 CPUtime=402.16
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5627 0 0 0 25835 14381 0 0 25 0 1 0 125305779 24301568 5525 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 5933 5525 237 467 0 5464 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 23732

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24853
/proc/meminfo: memFree=1817452/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=23732 CPUtime=462.13
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5627 0 0 0 29668 16545 0 0 25 0 1 0 125305779 24301568 5525 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 5933 5525 237 467 0 5464 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 23732

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24855
/proc/meminfo: memFree=1817080/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=24252 CPUtime=522.11
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5739 0 0 0 33533 18678 0 0 25 0 1 0 125305779 24834048 5637 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6063 5637 237 467 0 5594 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 24252

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24857
/proc/meminfo: memFree=1817080/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=24252 CPUtime=582.09
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5739 0 0 0 37400 20809 0 0 25 0 1 0 125305779 24834048 5637 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6063 5637 237 467 0 5594 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 24252

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24859
/proc/meminfo: memFree=1816956/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=24252 CPUtime=642.08
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5739 0 0 0 41287 22921 0 0 25 0 1 0 125305779 24834048 5637 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6063 5637 237 467 0 5594 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 24252

[startup+702.3 s]

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

[startup+822.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 24863
/proc/meminfo: memFree=1816460/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=24524 CPUtime=822.01
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5806 0 0 0 52855 29346 0 0 25 0 1 0 125305779 25112576 5704 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6131 5704 237 467 0 5662 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 24524

[startup+882.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 24865
/proc/meminfo: memFree=1816088/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=24780 CPUtime=882
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5888 0 0 0 56780 31420 0 0 25 0 1 0 125305779 25374720 5786 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6195 5786 237 467 0 5726 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 24780

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24867
/proc/meminfo: memFree=1816088/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=24912 CPUtime=941.97
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 5905 0 0 0 60640 33557 0 0 25 0 1 0 125305779 25509888 5803 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6228 5803 237 467 0 5759 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 24912

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24867
/proc/meminfo: memFree=1814600/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=26324 CPUtime=1001.95
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6267 0 0 0 64665 35530 0 0 25 0 1 0 125305779 26955776 6165 1992294400 134512640 136421960 4289053120 18446744073709551615 134870298 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6581 6165 237 467 0 6112 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 26324

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24869
/proc/meminfo: memFree=1814600/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=26324 CPUtime=1061.94
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6267 0 0 0 68494 37700 0 0 25 0 1 0 125305779 26955776 6165 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6581 6165 237 467 0 6112 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 26324

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24871
/proc/meminfo: memFree=1814476/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=26324 CPUtime=1121.91
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6267 0 0 0 72312 39879 0 0 25 0 1 0 125305779 26955776 6165 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6581 6165 237 467 0 6112 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 26324

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24873
/proc/meminfo: memFree=1814476/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=26324 CPUtime=1181.89
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6267 0 0 0 76221 41968 0 0 25 0 1 0 125305779 26955776 6165 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6581 6165 237 467 0 6112 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 26324

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24875
/proc/meminfo: memFree=1814352/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=26324 CPUtime=1241.87
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6267 0 0 0 80115 44072 0 0 25 0 1 0 125305779 26955776 6165 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6581 6165 237 467 0 6112 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 26324

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24875
/proc/meminfo: memFree=1813360/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27360 CPUtime=1301.86
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6527 0 0 0 84161 46025 0 0 25 0 1 0 125305779 28016640 6425 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6840 6425 237 467 0 6371 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 27360

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24877
/proc/meminfo: memFree=1813360/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27360 CPUtime=1361.84
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6528 0 0 0 88267 47917 0 0 25 0 1 0 125305779 28016640 6426 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6840 6426 237 467 0 6371 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 27360

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24879
/proc/meminfo: memFree=1813236/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27360 CPUtime=1421.82
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6529 0 0 0 92166 50016 0 0 25 0 1 0 125305779 28016640 6427 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6840 6427 237 467 0 6371 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 27360

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24881
/proc/meminfo: memFree=1813236/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27360 CPUtime=1481.79
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6537 0 0 0 96034 52145 0 0 25 0 1 0 125305779 28016640 6435 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6840 6435 237 467 0 6371 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 27360

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24883
/proc/meminfo: memFree=1813236/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27360 CPUtime=1541.78
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6537 0 0 0 99891 54287 0 0 25 0 1 0 125305779 28016640 6435 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6840 6435 237 467 0 6371 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 27360

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24883
/proc/meminfo: memFree=1813112/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27484 CPUtime=1601.75
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6552 0 0 0 103753 56422 0 0 25 0 1 0 125305779 28143616 6450 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6871 6450 237 467 0 6402 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 27484

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24885
/proc/meminfo: memFree=1812864/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27740 CPUtime=1661.73
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6631 0 0 0 107615 58558 0 0 25 0 1 0 125305779 28405760 6529 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6935 6529 237 467 0 6466 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 27740

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24887
/proc/meminfo: memFree=1812740/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=27740 CPUtime=1721.71
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6631 0 0 0 111481 60690 0 0 25 0 1 0 125305779 28405760 6529 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 6935 6529 237 467 0 6466 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 27740

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24889
/proc/meminfo: memFree=1812244/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=28288 CPUtime=1781.69
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6740 0 0 0 115424 62745 0 0 25 0 1 0 125305779 28966912 6638 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 7072 6638 237 467 0 6603 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 28288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24889
/proc/meminfo: memFree=1812244/2059040 swapFree=4139068/4192956
[pid=24840] ppid=24838 vsize=28288 CPUtime=1800
/proc/24840/stat : 24840 (pbct) R 24838 24840 24404 0 -1 4202496 6740 0 0 0 116610 63390 0 0 25 0 1 0 125305779 28966912 6638 1992294400 134512640 136421960 4289053120 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24840/statm: 7072 6638 237 467 0 6603 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 28288

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.62
CPU time (s): 1800.01
CPU user time (s): 1166.11
CPU system time (s): 633.907
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 28288

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

runsolver used 3.12052 second user time and 8.35673 second system time

The end