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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668623-1276446005/watcher-2668623-1276446005 -o /tmp/evaluation-result-2668623-1276446005/solver-2668623-1276446005 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668623-1276446005.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: 0.92 0.98 0.99 3/106 24463
/proc/meminfo: memFree=1862412/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=2352 CPUtime=0
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 20186925 2408448 205 1992294400 134512640 136485738 4293573552 18446744073709551615 135180875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24463/statm: 588 205 156 482 0 104 0

[startup+0.0106349 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24463
/proc/meminfo: memFree=1862412/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=2352 CPUtime=0
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 20186925 2408448 205 1992294400 134512640 136485738 4293573552 18446744073709551615 135864518 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24463/statm: 588 205 156 482 0 104 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2352

[startup+0.101642 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24463
/proc/meminfo: memFree=1862412/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=6308 CPUtime=0.09
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 1261 0 0 0 9 0 0 0 20 0 1 0 20186925 6459392 1183 1992294400 134512640 136485738 4293573552 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 1577 1184 193 482 0 1093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6308

[startup+0.301662 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24463
/proc/meminfo: memFree=1862412/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=28648 CPUtime=0.29
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 7003 0 0 0 27 2 0 0 20 0 1 0 20186925 29335552 6777 1992294400 134512640 136485738 4293573552 18446744073709551615 134946675 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 7162 6777 210 482 0 6678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28648

[startup+0.701702 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 24463
/proc/meminfo: memFree=1862412/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=31820 CPUtime=0.69
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 7840 0 0 0 65 4 0 0 20 0 1 0 20186925 32583680 7456 1992294400 134512640 136485738 4293573552 18446744073709551615 134878654 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 7955 7456 244 482 0 7471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31820

[startup+1.50078 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 24464
/proc/meminfo: memFree=1831900/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=35780 CPUtime=1.49
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 8826 0 0 0 143 6 0 0 22 0 1 0 20186925 36638720 8441 1992294400 134512640 136485738 4293573552 18446744073709551615 135040916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 8945 8441 244 482 0 8461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35780

[startup+3.10094 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 24464
/proc/meminfo: memFree=1825824/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=39608 CPUtime=3.09
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 9778 0 0 0 299 10 0 0 25 0 1 0 20186925 40558592 9393 1992294400 134512640 136485738 4293573552 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 9902 9393 244 482 0 9418 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39608

[startup+6.30126 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 24464
/proc/meminfo: memFree=1821980/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=42412 CPUtime=6.29
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 10587 0 0 0 612 17 0 0 25 0 1 0 20186925 43429888 10112 1992294400 134512640 136485738 4293573552 18446744073709551615 135040911 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 10603 10112 244 482 0 10119 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42412

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 24464
/proc/meminfo: memFree=1821732/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=42940 CPUtime=12.69
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 10715 0 0 0 1237 32 0 0 25 0 1 0 20186925 43970560 10240 1992294400 134512640 136485738 4293573552 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 10735 10240 244 482 0 10251 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42940

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 24464
/proc/meminfo: memFree=1818260/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=46504 CPUtime=25.48
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 11594 0 0 0 2483 65 0 0 25 0 1 0 20186925 47620096 11119 1992294400 134512640 136485738 4293573552 18446744073709551615 134885622 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 11626 11119 244 482 0 11142 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46504

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 24464
/proc/meminfo: memFree=1813300/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=51052 CPUtime=51.08
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 12903 0 0 0 4990 118 0 0 25 0 1 0 20186925 52277248 12271 1992294400 134512640 136485738 4293573552 18446744073709551615 134878589 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 12763 12271 244 482 0 12279 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51052

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 24466
/proc/meminfo: memFree=1810696/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=53956 CPUtime=102.27
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 13611 0 0 0 9983 244 0 0 25 0 1 0 20186925 55250944 12979 1992294400 134512640 136485738 4293573552 18446744073709551615 134883158 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 13489 12979 244 482 0 13005 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53956

[startup+162.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 24468
/proc/meminfo: memFree=1810572/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=53632 CPUtime=162.25
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 13637 0 0 0 15852 373 0 0 25 0 1 0 20186925 54919168 12910 1992294400 134512640 136485738 4293573552 18446744073709551615 134883826 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 13408 12910 244 482 0 12924 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 53632

[startup+222.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 24470
/proc/meminfo: memFree=1804248/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=222.24
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15501 0 0 0 21720 504 0 0 25 0 1 0 20186925 61714432 14549 1992294400 134512640 136485738 4293573552 18446744073709551615 134878445 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14549 244 482 0 14583 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 60268

[startup+282.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 24472
/proc/meminfo: memFree=1804124/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=282.22
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15516 0 0 0 27580 642 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135028858 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60268

[startup+342.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 24472
/proc/meminfo: memFree=1804000/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=342.21
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 33479 742 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134878726 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 60268

[startup+402.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 24474
/proc/meminfo: memFree=1804000/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=402.19
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 39358 861 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134878579 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 60268

[startup+462.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 24476
/proc/meminfo: memFree=1803876/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=462.17
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 45227 990 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 60268

[startup+522.301 s]
/proc/loadavg: 1.10 1.06 1.01 2/107 24478
/proc/meminfo: memFree=1803752/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=522.16
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 50984 1232 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 60268

[startup+582.301 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 24480
/proc/meminfo: memFree=1803752/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=582.14
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 56856 1358 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135860519 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 60268

[startup+642.301 s]
/proc/loadavg: 1.09 1.07 1.01 2/107 24480
/proc/meminfo: memFree=1803628/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=642.14
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 62734 1480 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 60268

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 24488
/proc/meminfo: memFree=1803256/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=882.07
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 86260 1947 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 60268

[startup+942.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 24488
/proc/meminfo: memFree=1803132/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=942.05
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 92146 2059 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134886553 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 60268

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 24490
/proc/meminfo: memFree=1803132/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1002.03
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 98038 2165 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135028856 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 60268

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24492
/proc/meminfo: memFree=1803008/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1062.02
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 103956 2246 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134883248 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 60268

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 24494
/proc/meminfo: memFree=1802884/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1122.01
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 109784 2417 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135028869 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 60268

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 24496
/proc/meminfo: memFree=1802884/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1181.99
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 115597 2602 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 60268

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24496
/proc/meminfo: memFree=1802636/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1241.98
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 121466 2732 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134660741 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 60268

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24498
/proc/meminfo: memFree=1802512/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1301.97
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 127355 2842 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 60268

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24500
/proc/meminfo: memFree=1802636/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1361.94
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 133238 2956 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134878710 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 60268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24502
/proc/meminfo: memFree=1802636/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1421.94
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 139144 3050 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135050804 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 60268

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24504
/proc/meminfo: memFree=1802512/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1481.92
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 145019 3173 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135025302 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 60268

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24504
/proc/meminfo: memFree=1802512/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1541.9
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 150881 3309 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 60268

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24506
/proc/meminfo: memFree=1802636/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1601.89
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 156763 3426 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135039066 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 60268

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24508
/proc/meminfo: memFree=1802512/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1661.87
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 162665 3522 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 134878715 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 60268

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24510
/proc/meminfo: memFree=1802388/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1721.85
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 168567 3618 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135051142 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 60268

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24512
/proc/meminfo: memFree=1802264/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1781.85
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 174453 3732 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135028888 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 60268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 24512
/proc/meminfo: memFree=1802264/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1800.05
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 176227 3778 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 60268

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 1.00 2/107 24512
/proc/meminfo: memFree=1802264/2059040 swapFree=4134532/4192956
[pid=24463] ppid=24461 vsize=60268 CPUtime=1800.05
/proc/24463/stat : 24463 (pbct) R 24461 24463 24075 0 -1 4202496 15517 0 0 0 176227 3778 0 0 25 0 1 0 20186925 61714432 14563 1992294400 134512640 136485738 4293573552 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24463/statm: 15067 14563 244 482 0 14583 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 60268

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1762.27
CPU system time (s): 37.7883
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 60268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.27
system time used= 37.7883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15517
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= 2
involuntary context switches= 8421

runsolver used 3.04154 second user time and 8.43372 second system time

The end