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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668497-1276506783/watcher-2668497-1276506783 -o /tmp/evaluation-result-2668497-1276506783/solver-2668497-1276506783 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668497-1276506783.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 31101
/proc/meminfo: memFree=1798808/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=2352 CPUtime=0
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 280 0 0 0 0 0 0 0 18 0 1 0 26279874 2408448 203 1992294400 134512640 136485738 4286752640 18446744073709551615 134533283 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31101/statm: 588 203 156 482 0 104 0

[startup+0.0376491 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31101
/proc/meminfo: memFree=1798808/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=2352 CPUtime=0.03
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 295 0 0 0 3 0 0 0 18 0 1 0 26279874 2408448 218 1992294400 134512640 136485738 4286752640 18446744073709551615 135856892 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31101/statm: 588 218 156 482 0 104 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2352

[startup+0.101648 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31101
/proc/meminfo: memFree=1798808/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=2496 CPUtime=0.1
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 341 0 0 0 10 0 0 0 18 0 1 0 26279874 2555904 264 1992294400 134512640 136485738 4286752640 18446744073709551615 135411200 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31101/statm: 624 264 156 482 0 140 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2496

[startup+0.300686 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31101
/proc/meminfo: memFree=1798808/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=3200 CPUtime=0.29
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 486 0 0 0 29 0 0 0 18 0 1 0 26279874 3276800 409 1992294400 134512640 136485738 4286752640 18446744073709551615 135864452 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31101/statm: 800 409 156 482 0 316 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3200

[startup+0.700764 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31101
/proc/meminfo: memFree=1798808/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=4252 CPUtime=0.69
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 806 0 0 0 69 0 0 0 18 0 1 0 26279874 4354048 696 1992294400 134512640 136485738 4286752640 18446744073709551615 135848286 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31101/statm: 1063 696 156 482 0 579 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4252

[startup+1.50092 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31102
/proc/meminfo: memFree=1794460/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=69968 CPUtime=1.49
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 17854 0 0 0 142 7 0 0 19 0 1 0 26279874 71647232 16639 1992294400 134512640 136485738 4286752640 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 17492 16644 199 482 0 17008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69968

[startup+3.10023 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31102
/proc/meminfo: memFree=1670832/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=142440 CPUtime=3.09
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 36558 0 0 0 294 15 0 0 23 0 1 0 26279874 145858560 34394 1992294400 134512640 136485738 4286752640 18446744073709551615 134660740 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 35610 34394 243 482 0 35126 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142440

[startup+6.30086 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31102
/proc/meminfo: memFree=1640700/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=171220 CPUtime=6.29
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 43730 0 0 0 607 22 0 0 25 0 1 0 26279874 175329280 41566 1992294400 134512640 136485738 4286752640 18446744073709551615 135040899 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 42805 41566 243 482 0 42321 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 171220

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31102
/proc/meminfo: memFree=1584900/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=224120 CPUtime=12.69
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 56958 0 0 0 1233 36 0 0 25 0 1 0 26279874 229498880 54794 1992294400 134512640 136485738 4286752640 18446744073709551615 135041027 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 56030 54794 243 482 0 55546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 224120

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31104
/proc/meminfo: memFree=1544724/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=258896 CPUtime=25.48
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 65668 0 0 0 2493 55 0 0 25 0 1 0 26279874 265109504 63503 1992294400 134512640 136485738 4286752640 18446744073709551615 134878449 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 64724 63503 243 482 0 64240 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 258896

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 31104
/proc/meminfo: memFree=1518064/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=285556 CPUtime=51.07
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 72336 0 0 0 5020 87 0 0 25 0 1 0 26279874 292409344 70169 1992294400 134512640 136485738 4286752640 18446744073709551615 134623193 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 71389 70169 243 482 0 70905 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 285556

[startup+102.309 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31109
/proc/meminfo: memFree=1516328/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=286892 CPUtime=102.26
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 72663 0 0 0 10083 143 0 0 25 0 1 0 26279874 293777408 70496 1992294400 134512640 136485738 4286752640 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 71723 70496 243 482 0 71239 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 286892

[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31109
/proc/meminfo: memFree=1474788/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=328396 CPUtime=162.23
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 83018 0 0 0 16018 205 0 0 25 0 1 0 26279874 336277504 80851 1992294400 134512640 136485738 4286752640 18446744073709551615 135848609 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 82099 80851 243 482 0 81615 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 328396

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31111
/proc/meminfo: memFree=1472804/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=329672 CPUtime=222.21
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 83575 0 0 0 21954 267 0 0 25 0 1 0 26279874 337584128 81196 1992294400 134512640 136485738 4286752640 18446744073709551615 134878486 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 82418 81196 243 482 0 81934 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 329672

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31113
/proc/meminfo: memFree=1471316/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=331928 CPUtime=282.18
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 84128 0 0 0 27886 332 0 0 25 0 1 0 26279874 339894272 81749 1992294400 134512640 136485738 4286752640 18446744073709551615 135869167 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 82982 81749 243 482 0 82498 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 331928

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31115
/proc/meminfo: memFree=1430520/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=372664 CPUtime=342.16
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 94317 0 0 0 33835 381 0 0 25 0 1 0 26279874 381607936 91938 1992294400 134512640 136485738 4286752640 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 93166 91938 243 482 0 92682 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 372664

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31117
/proc/meminfo: memFree=1431636/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=370888 CPUtime=402.14
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 94317 0 0 0 39772 442 0 0 25 0 1 0 26279874 379789312 91501 1992294400 134512640 136485738 4286752640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 92722 91501 243 482 0 92238 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 370888

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31117
/proc/meminfo: memFree=1431636/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=370888 CPUtime=462.11
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 94317 0 0 0 45709 502 0 0 25 0 1 0 26279874 379789312 91501 1992294400 134512640 136485738 4286752640 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 92722 91501 243 482 0 92238 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 370888

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31119
/proc/meminfo: memFree=1431512/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=370888 CPUtime=522.08
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 95200 0 0 0 51650 558 0 0 25 0 1 0 26279874 379789312 91501 1992294400 134512640 136485738 4286752640 18446744073709551615 135025299 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 92722 91501 243 482 0 92238 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 370888

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31121
/proc/meminfo: memFree=1431512/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=370888 CPUtime=582.06
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 95200 0 0 0 57587 619 0 0 25 0 1 0 26279874 379789312 91501 1992294400 134512640 136485738 4286752640 18446744073709551615 135028831 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 92722 91501 243 482 0 92238 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 370888

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31123
/proc/meminfo: memFree=1426428/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=376592 CPUtime=642.05
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 96625 0 0 0 63527 678 0 0 25 0 1 0 26279874 385630208 92926 1992294400 134512640 136485738 4286752640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 94148 92926 243 482 0 93664 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 376592

[startup+702.301 s]

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

/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 109489 0 0 0 105181 1006 0 0 25 0 1 0 26279874 437764096 105622 1992294400 134512640 136485738 4286752640 18446744073709551615 134883866 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 106876 105622 243 482 0 106392 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 427504

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31135
/proc/meminfo: memFree=1374968/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=427096 CPUtime=1121.85
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 109892 0 0 0 111119 1066 0 0 25 0 1 0 26279874 437346304 105531 1992294400 134512640 136485738 4286752640 18446744073709551615 134660778 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 106774 105531 243 482 0 106290 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 427096

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31137
/proc/meminfo: memFree=1373232/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=429480 CPUtime=1181.83
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 110463 0 0 0 117068 1115 0 0 25 0 1 0 26279874 439787520 106102 1992294400 134512640 136485738 4286752640 18446744073709551615 134880603 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 107370 106102 243 482 0 106886 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 429480

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31139
/proc/meminfo: memFree=1373480/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=429088 CPUtime=1241.8
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 110958 0 0 0 123023 1157 0 0 25 0 1 0 26279874 439386112 106026 1992294400 134512640 136485738 4286752640 18446744073709551615 134882306 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 107272 106026 243 482 0 106788 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 429088

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31141
/proc/meminfo: memFree=1374720/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=427096 CPUtime=1301.78
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 110958 0 0 0 128961 1217 0 0 25 0 1 0 26279874 437346304 105531 1992294400 134512640 136485738 4286752640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 106774 105531 243 482 0 106290 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 427096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31141
/proc/meminfo: memFree=1374720/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=427096 CPUtime=1361.76
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 110958 0 0 0 134901 1275 0 0 25 0 1 0 26279874 437346304 105531 1992294400 134512640 136485738 4286752640 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 106774 105531 243 482 0 106290 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 427096

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31143
/proc/meminfo: memFree=1372364/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=429412 CPUtime=1421.74
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 112301 0 0 0 140847 1327 0 0 25 0 1 0 26279874 439717888 106110 1992294400 134512640 136485738 4286752640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 107353 106110 243 482 0 106869 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 429412

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31145
/proc/meminfo: memFree=1370876/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=431540 CPUtime=1481.71
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 112830 0 0 0 146790 1381 0 0 25 0 1 0 26279874 441896960 106639 1992294400 134512640 136485738 4286752640 18446744073709551615 135025302 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 107885 106639 243 482 0 107401 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 431540

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31147
/proc/meminfo: memFree=1370132/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=432332 CPUtime=1541.69
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 113027 0 0 0 152729 1440 0 0 25 0 1 0 26279874 442707968 106836 1992294400 134512640 136485738 4286752640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 108083 106836 243 482 0 107599 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 432332

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31149
/proc/meminfo: memFree=1370132/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=432464 CPUtime=1601.67
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 113054 0 0 0 158684 1483 0 0 25 0 1 0 26279874 442843136 106863 1992294400 134512640 136485738 4286752640 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 108116 106863 243 482 0 107632 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 432464

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31149
/proc/meminfo: memFree=1367652/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=434728 CPUtime=1661.64
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 113626 0 0 0 164640 1524 0 0 25 0 1 0 26279874 445161472 107435 1992294400 134512640 136485738 4286752640 18446744073709551615 134880624 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 108682 107435 243 482 0 108198 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 434728

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31151
/proc/meminfo: memFree=1370008/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=431712 CPUtime=1721.62
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 113626 0 0 0 170606 1556 0 0 25 0 1 0 26279874 442073088 106686 1992294400 134512640 136485738 4286752640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 107928 106686 243 482 0 107444 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 431712

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31153
/proc/meminfo: memFree=1310488/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=491468 CPUtime=1781.6
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 128566 0 0 0 176558 1602 0 0 25 0 1 0 26279874 503263232 121626 1992294400 134512640 136485738 4286752640 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 122867 121626 243 482 0 122383 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 491468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31153
/proc/meminfo: memFree=1310488/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=491468 CPUtime=1800.09
/proc/31101/stat : 31101 (pbct) R 31099 31101 30867 0 -1 4202496 128566 0 0 0 178396 1613 0 0 25 0 1 0 26279874 503263232 121626 1992294400 134512640 136485738 4286752640 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31101/statm: 122867 121626 243 482 0 122383 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 491468

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -31101

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31153
/proc/meminfo: memFree=1310488/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=491468 CPUtime=1800.09
/proc/31101/stat : 31101 (pbct) S 31099 31101 30867 0 -1 4194304 128566 0 0 0 178396 1613 0 0 25 0 1 0 26279874 503263232 121626 1992294400 134512640 136485738 4286752640 18446744073709551615 135319262 0 16384 4096 16387 18446604437834478016 0 0 17 1 0 0 0
/proc/31101/statm: 122867 121626 243 482 0 122383 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 491468

[startup+1802.2 s]
/proc/loadavg: 1.01 1.00 1.00 1/108 31154
/proc/meminfo: memFree=1310480/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=491468 CPUtime=1800.09
/proc/31101/stat : 31101 (pbct) S 31099 31101 30867 0 -1 4194304 128566 0 0 0 178396 1613 0 0 25 0 1 0 26279874 503263232 121626 1992294400 134512640 136485738 4286752640 18446744073709551615 135319262 0 16384 4096 16387 18446604437834478016 0 0 17 1 0 0 0
/proc/31101/statm: 122867 121626 243 482 0 122383 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 491468

[startup+1802.6 s]
/proc/loadavg: 1.01 1.00 1.00 1/108 31154
/proc/meminfo: memFree=1310480/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=491468 CPUtime=1800.09
/proc/31101/stat : 31101 (pbct) S 31099 31101 30867 0 -1 4194304 128566 0 0 0 178396 1613 0 0 25 0 1 0 26279874 503263232 121626 1992294400 134512640 136485738 4286752640 18446744073709551615 135319262 0 16384 4096 16387 18446604437834478016 0 0 17 1 0 0 0
/proc/31101/statm: 122867 121626 243 482 0 122383 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 491468

[startup+1802.8 s]
/proc/loadavg: 1.01 1.00 1.00 1/108 31154
/proc/meminfo: memFree=1310480/2059040 swapFree=4136184/4192956
[pid=31101] ppid=31099 vsize=491468 CPUtime=1800.09
/proc/31101/stat : 31101 (pbct) S 31099 31101 30867 0 -1 4194304 128566 0 0 0 178396 1613 0 0 25 0 1 0 26279874 503263232 121626 1992294400 134512640 136485738 4286752640 18446744073709551615 135319262 0 16384 4096 16387 18446604437834478016 0 0 17 1 0 0 0
/proc/31101/statm: 122867 121626 243 482 0 122383 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 491468

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.86
CPU time (s): 1800.16
CPU user time (s): 1783.97
CPU system time (s): 16.1855
CPU usage (%): 99.85
Max. virtual memory (cumulated for all children) (KiB): 491468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.97
system time used= 16.1855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128566
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= 3
involuntary context switches= 3194

runsolver used 2.80757 second user time and 8.68468 second system time

The end