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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668669-1276511351/watcher-2668669-1276511351 -o /tmp/evaluation-result-2668669-1276511351/solver-2668669-1276511351 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668669-1276511351.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 31891
/proc/meminfo: memFree=1755848/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=2352 CPUtime=0
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 281 0 0 0 0 0 0 0 20 0 1 0 26739078 2408448 204 1992294400 134512640 136485738 4288773728 18446744073709551615 134549501 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31891/statm: 588 204 156 482 0 104 0

[startup+0.102189 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31891
/proc/meminfo: memFree=1755848/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=2508 CPUtime=0.1
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 346 0 0 0 10 0 0 0 20 0 1 0 26739078 2568192 269 1992294400 134512640 136485738 4288773728 18446744073709551615 135180220 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31891/statm: 627 269 156 482 0 143 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2508

[startup+0.201198 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31891
/proc/meminfo: memFree=1755848/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=2816 CPUtime=0.19
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 417 0 0 0 19 0 0 0 20 0 1 0 26739078 2883584 340 1992294400 134512640 136485738 4288773728 18446744073709551615 134519187 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31891/statm: 704 340 156 482 0 220 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2816

[startup+0.301208 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31891
/proc/meminfo: memFree=1755848/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=3212 CPUtime=0.29
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 488 0 0 0 29 0 0 0 20 0 1 0 26739078 3289088 411 1992294400 134512640 136485738 4288773728 18446744073709551615 135173539 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31891/statm: 803 411 156 482 0 319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3212

[startup+0.70125 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31891
/proc/meminfo: memFree=1755848/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=4264 CPUtime=0.69
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 807 0 0 0 69 0 0 0 20 0 1 0 26739078 4366336 697 1992294400 134512640 136485738 4288773728 18446744073709551615 134524612 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31891/statm: 1066 697 156 482 0 582 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4264

[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31892
/proc/meminfo: memFree=1752492/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=6632 CPUtime=1.49
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 1448 0 0 0 149 0 0 0 22 0 1 0 26739078 6791168 1273 1992294400 134512640 136485738 4288773728 18446744073709551615 135860527 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31891/statm: 1658 1273 156 482 0 1174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6632

[startup+3.10049 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31892
/proc/meminfo: memFree=1696940/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=200972 CPUtime=3.09
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 52136 0 0 0 288 21 0 0 25 0 1 0 26739078 205795328 48282 1992294400 134512640 136485738 4288773728 18446744073709551615 134945471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 50243 48282 210 482 0 49759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 200972

[startup+6.30082 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31892
/proc/meminfo: memFree=1537848/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=234828 CPUtime=6.29
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 61143 0 0 0 600 29 0 0 25 0 1 0 26739078 240463872 56363 1992294400 134512640 136485738 4288773728 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 58707 56364 243 482 0 58223 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 234828

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31892
/proc/meminfo: memFree=1479320/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=290884 CPUtime=12.69
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 75179 0 0 0 1226 43 0 0 25 0 1 0 26739078 297865216 70399 1992294400 134512640 136485738 4288773728 18446744073709551615 135040911 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 72721 70400 243 482 0 72237 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 290884

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31894
/proc/meminfo: memFree=1376152/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=389996 CPUtime=25.48
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 99931 0 0 0 2480 68 0 0 25 0 1 0 26739078 399355904 95149 1992294400 134512640 136485738 4288773728 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 97499 95149 243 482 0 97015 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 389996

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31894
/proc/meminfo: memFree=1250912/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=513740 CPUtime=51.08
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 130877 0 0 0 5003 105 0 0 25 0 1 0 26739078 526069760 126095 1992294400 134512640 136485738 4288773728 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 128435 126095 243 482 0 127951 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 513740

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31896
/proc/meminfo: memFree=1182092/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=582420 CPUtime=102.26
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 148038 0 0 0 10069 157 0 0 25 0 1 0 26739078 596398080 143256 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 145605 143256 243 482 0 145121 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 582420

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31896
/proc/meminfo: memFree=1185812/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=577880 CPUtime=162.25
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 148039 0 0 0 16012 213 0 0 25 0 1 0 26739078 591749120 142123 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 144470 142123 243 482 0 143986 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 577880

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31898
/proc/meminfo: memFree=1185812/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=577880 CPUtime=222.23
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 148039 0 0 0 21961 262 0 0 25 0 1 0 26739078 591749120 142123 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 144470 142123 243 482 0 143986 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 577880

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31900
/proc/meminfo: memFree=1185936/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=577880 CPUtime=282.21
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 148039 0 0 0 27907 314 0 0 25 0 1 0 26739078 591749120 142123 1992294400 134512640 136485738 4288773728 18446744073709551615 134878465 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 144470 142123 243 482 0 143986 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 577880

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31902
/proc/meminfo: memFree=1185812/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=577880 CPUtime=342.19
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 148039 0 0 0 33852 367 0 0 25 0 1 0 26739078 591749120 142123 1992294400 134512640 136485738 4288773728 18446744073709551615 135848727 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 144470 142123 243 482 0 143986 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 577880

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31904
/proc/meminfo: memFree=1185812/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=577880 CPUtime=402.18
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 148039 0 0 0 39803 415 0 0 25 0 1 0 26739078 591749120 142123 1992294400 134512640 136485738 4288773728 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 144470 142123 243 482 0 143986 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 577880

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31904
/proc/meminfo: memFree=1156424/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=607880 CPUtime=462.15
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 155529 0 0 0 45747 468 0 0 25 0 1 0 26739078 622469120 149613 1992294400 134512640 136485738 4288773728 18446744073709551615 135041027 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 151970 149613 243 482 0 151486 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 607880

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31906
/proc/meminfo: memFree=1166344/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=597116 CPUtime=522.13
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 155530 0 0 0 51697 516 0 0 25 0 1 0 26739078 611446784 146935 1992294400 134512640 136485738 4288773728 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 149279 146935 243 482 0 148795 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 597116

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31908
/proc/meminfo: memFree=1163740/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=600436 CPUtime=582.12
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 156343 0 0 0 57644 568 0 0 25 0 1 0 26739078 614846464 147748 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 150109 147748 243 482 0 149625 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 600436

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31910
/proc/meminfo: memFree=1151588/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=612544 CPUtime=642.1
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 159604 0 0 0 63592 618 0 0 25 0 1 0 26739078 627245056 150760 1992294400 134512640 136485738 4288773728 18446744073709551615 134883158 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 153136 150760 243 482 0 152652 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 612544

[startup+702.302 s]

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

[startup+882.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31916
/proc/meminfo: memFree=1149108/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=614780 CPUtime=882.04
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 164281 0 0 0 87395 809 0 0 25 0 1 0 26739078 629534720 151319 1992294400 134512640 136485738 4288773728 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 153695 151319 243 482 0 153211 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 614780

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31918
/proc/meminfo: memFree=1148984/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=614780 CPUtime=942.02
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 164281 0 0 0 93351 851 0 0 25 0 1 0 26739078 629534720 151319 1992294400 134512640 136485738 4288773728 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 153695 151319 243 482 0 153211 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 614780

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31920
/proc/meminfo: memFree=1148612/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=615180 CPUtime=1002
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 164399 0 0 0 99312 888 0 0 25 0 1 0 26739078 629944320 151437 1992294400 134512640 136485738 4288773728 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 153795 151437 243 482 0 153311 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 615180

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31920
/proc/meminfo: memFree=1068880/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=694668 CPUtime=1061.98
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 184273 0 0 0 105267 931 0 0 25 0 1 0 26739078 711340032 171311 1992294400 134512640 136485738 4288773728 18446744073709551615 135040911 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 173667 171311 243 482 0 173183 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 694668

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31922
/proc/meminfo: memFree=1068756/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=694668 CPUtime=1121.96
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 184273 0 0 0 111238 958 0 0 25 0 1 0 26739078 711340032 171311 1992294400 134512640 136485738 4288773728 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 173667 171311 243 482 0 173183 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 694668

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31924
/proc/meminfo: memFree=1094052/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=668716 CPUtime=1181.95
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 184273 0 0 0 117189 1006 0 0 25 0 1 0 26739078 684765184 164844 1992294400 134512640 136485738 4288773728 18446744073709551615 134883988 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 167179 164844 243 482 0 166695 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 668716

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31926
/proc/meminfo: memFree=1063424/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=699836 CPUtime=1241.92
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 192035 0 0 0 123137 1055 0 0 25 0 1 0 26739078 716632064 172606 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 174959 172606 243 482 0 174475 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 699836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31928
/proc/meminfo: memFree=1093804/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=668716 CPUtime=1301.9
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 192035 0 0 0 129087 1103 0 0 25 0 1 0 26739078 684765184 164844 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 167179 164844 243 482 0 166695 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 668716

[startup+1362.3 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 31928
/proc/meminfo: memFree=1063052/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=700088 CPUtime=1361.89
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 199871 0 0 0 135036 1153 0 0 25 0 1 0 26739078 716890112 172680 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 175022 172680 243 482 0 174538 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 700088

[startup+1422.3 s]
/proc/loadavg: 1.09 1.04 1.01 2/107 31930
/proc/meminfo: memFree=1074584/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=687896 CPUtime=1421.87
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 199871 0 0 0 140989 1198 0 0 25 0 1 0 26739078 704405504 169638 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 171974 169638 243 482 0 171490 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 687896

[startup+1482.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 31932
/proc/meminfo: memFree=1074584/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=687896 CPUtime=1481.85
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 199871 0 0 0 146942 1243 0 0 25 0 1 0 26739078 704405504 169638 1992294400 134512640 136485738 4288773728 18446744073709551615 135041022 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 171974 169638 243 482 0 171490 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 687896

[startup+1542.31 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 31934
/proc/meminfo: memFree=1060944/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=702120 CPUtime=1541.84
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 203409 0 0 0 152890 1294 0 0 25 0 1 0 26739078 718970880 173176 1992294400 134512640 136485738 4288773728 18446744073709551615 134661152 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 175530 173176 243 482 0 175046 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 702120

[startup+1602.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 31936
/proc/meminfo: memFree=1060944/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=702120 CPUtime=1601.8
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 203409 0 0 0 158847 1333 0 0 25 0 1 0 26739078 718970880 173176 1992294400 134512640 136485738 4288773728 18446744073709551615 134880611 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 175530 173176 243 482 0 175046 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 702120

[startup+1662.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 31936
/proc/meminfo: memFree=1067144/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=695292 CPUtime=1661.79
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 203409 0 0 0 164804 1375 0 0 25 0 1 0 26739078 711979008 171487 1992294400 134512640 136485738 4288773728 18446744073709551615 135040911 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 173823 171487 243 482 0 173339 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 695292

[startup+1722.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 31938
/proc/meminfo: memFree=1067020/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=695292 CPUtime=1721.76
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 203409 0 0 0 170755 1421 0 0 25 0 1 0 26739078 711979008 171487 1992294400 134512640 136485738 4288773728 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 173823 171487 243 482 0 173339 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 695292

[startup+1782.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 31940
/proc/meminfo: memFree=1066772/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=695292 CPUtime=1781.75
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 203409 0 0 0 176708 1467 0 0 25 0 1 0 26739078 711979008 171487 1992294400 134512640 136485738 4288773728 18446744073709551615 134878708 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 173823 171487 243 482 0 173339 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 695292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.12 1.07 1.01 2/107 31940
/proc/meminfo: memFree=1066772/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=695292 CPUtime=1800.05
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 203409 0 0 0 178524 1481 0 0 25 0 1 0 26739078 711979008 171487 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 173823 171487 243 482 0 173339 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 695292

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

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

[startup+1800.6 s]
/proc/loadavg: 1.12 1.07 1.01 2/107 31940
/proc/meminfo: memFree=1066772/2059040 swapFree=4135652/4192956
[pid=31891] ppid=31889 vsize=695292 CPUtime=1800.05
/proc/31891/stat : 31891 (pbct) R 31889 31891 31358 0 -1 4202496 203409 0 0 0 178524 1481 0 0 25 0 1 0 26739078 711979008 171487 1992294400 134512640 136485738 4288773728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31891/statm: 173823 171487 243 482 0 173339 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 695292

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.13
CPU user time (s): 1785.25
CPU system time (s): 14.8837
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 702120

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

runsolver used 2.96855 second user time and 8.50871 second system time

The end