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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669411-1276594133/watcher-2669411-1276594133 -o /tmp/evaluation-result-2669411-1276594133/solver-2669411-1276594133 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669411-1276594133.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 4701
/proc/meminfo: memFree=1727036/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=2488 CPUtime=0
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 309 0 0 0 0 0 0 0 18 0 1 0 35014840 2547712 231 1992294400 134512640 136485738 4293733968 18446744073709551615 135297536 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4701/statm: 622 231 156 482 0 138 0

[startup+0.0988311 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4701
/proc/meminfo: memFree=1727036/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=2488 CPUtime=0.09
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 331 0 0 0 9 0 0 0 20 0 1 0 35014840 2547712 253 1992294400 134512640 136485738 4293733968 18446744073709551615 135411121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4701/statm: 622 253 156 482 0 138 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2488

[startup+0.100831 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4701
/proc/meminfo: memFree=1727036/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=2488 CPUtime=0.1
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 332 0 0 0 10 0 0 0 20 0 1 0 35014840 2547712 254 1992294400 134512640 136485738 4293733968 18446744073709551615 135332318 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4701/statm: 622 254 156 482 0 138 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2488

[startup+0.30087 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4701
/proc/meminfo: memFree=1727036/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=21764 CPUtime=0.29
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 5234 0 0 0 27 2 0 0 20 0 1 0 35014840 22286336 4947 1992294400 134512640 136485738 4293733968 18446744073709551615 135916833 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 5380 4947 198 482 0 4896 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21764

[startup+0.700948 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 4701
/proc/meminfo: memFree=1727036/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=33748 CPUtime=0.69
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 8417 0 0 0 60 9 0 0 20 0 1 0 35014840 34557952 7608 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 8437 7608 244 482 0 7953 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33748

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4702
/proc/meminfo: memFree=1697268/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=34144 CPUtime=1.49
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 8522 0 0 0 117 32 0 0 23 0 1 0 35014840 34963456 7713 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 8536 7713 244 482 0 8052 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34144

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4702
/proc/meminfo: memFree=1696400/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=34936 CPUtime=3.09
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 8714 0 0 0 230 79 0 0 25 0 1 0 35014840 35774464 7905 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 8734 7905 244 482 0 8250 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34936

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4702
/proc/meminfo: memFree=1695532/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=35332 CPUtime=6.29
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 8805 0 0 0 452 177 0 0 25 0 1 0 35014840 36179968 7996 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 8833 7996 244 482 0 8349 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35332

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4702
/proc/meminfo: memFree=1694292/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=36388 CPUtime=12.68
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 9091 0 0 0 898 370 0 0 25 0 1 0 35014840 37261312 8282 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 9097 8282 244 482 0 8613 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36388

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 4702
/proc/meminfo: memFree=1693300/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=37444 CPUtime=25.48
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 9364 0 0 0 1773 775 0 0 25 0 1 0 35014840 38342656 8555 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 9361 8555 244 482 0 8877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37444

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4702
/proc/meminfo: memFree=1692060/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=38632 CPUtime=51.07
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 9653 0 0 0 3572 1535 0 0 25 0 1 0 35014840 39559168 8844 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 9658 8844 244 482 0 9174 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38632

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4704
/proc/meminfo: memFree=1690324/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=40216 CPUtime=102.26
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 10057 0 0 0 7077 3149 0 0 25 0 1 0 35014840 41181184 9248 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 10054 9248 244 482 0 9570 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40216

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4706
/proc/meminfo: memFree=1689332/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=41140 CPUtime=162.22
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 10283 0 0 0 11201 5021 0 0 25 0 1 0 35014840 42127360 9474 1992294400 134512640 136485738 4293733968 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 10285 9474 244 482 0 9801 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 41140

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4708
/proc/meminfo: memFree=1687348/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=43264 CPUtime=222.21
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 10785 0 0 0 15366 6855 0 0 25 0 1 0 35014840 44302336 9976 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 10816 9976 244 482 0 10332 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 43264

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4708
/proc/meminfo: memFree=1687224/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=43396 CPUtime=282.19
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 10828 0 0 0 19503 8716 0 0 25 0 1 0 35014840 44437504 10019 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 10849 10019 244 482 0 10365 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 43396

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4710
/proc/meminfo: memFree=1686976/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=43660 CPUtime=342.17
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 10898 0 0 0 23597 10620 0 0 25 0 1 0 35014840 44707840 10089 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 10915 10089 244 482 0 10431 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 43660

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4712
/proc/meminfo: memFree=1686604/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=43924 CPUtime=402.14
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 10948 0 0 0 27748 12466 0 0 25 0 1 0 35014840 44978176 10139 1992294400 134512640 136485738 4293733968 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 10981 10139 244 482 0 10497 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 43924

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4714
/proc/meminfo: memFree=1683132/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=47356 CPUtime=462.13
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 11839 0 0 0 32002 14211 0 0 25 0 1 0 35014840 48492544 11030 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 11839 11030 244 482 0 11355 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 47356

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4716
/proc/meminfo: memFree=1683132/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=47356 CPUtime=522.1
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 11839 0 0 0 36358 15852 0 0 25 0 1 0 35014840 48492544 11030 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 11839 11030 244 482 0 11355 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 47356

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4716
/proc/meminfo: memFree=1683008/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=47356 CPUtime=582.08
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 11839 0 0 0 40459 17749 0 0 25 0 1 0 35014840 48492544 11030 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 11839 11030 244 482 0 11355 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 47356

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4718
/proc/meminfo: memFree=1683008/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=47356 CPUtime=642.07
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 11839 0 0 0 44590 19617 0 0 25 0 1 0 35014840 48492544 11030 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 11839 11030 244 482 0 11355 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 47356

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4724
/proc/meminfo: memFree=1681396/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=48940 CPUtime=881.98
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 12207 0 0 0 61431 26767 0 0 25 0 1 0 35014840 50114560 11398 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 12235 11398 244 482 0 11751 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 48940

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4726
/proc/meminfo: memFree=1675940/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=55048 CPUtime=941.96
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 13749 0 0 0 65817 28379 0 0 25 0 1 0 35014840 56369152 12940 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 13762 12940 244 482 0 13278 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 55048

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4728
/proc/meminfo: memFree=1673708/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1001.94
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 70855 29339 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 56500

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4730
/proc/meminfo: memFree=1673708/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1061.91
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 75095 31096 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 56500

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4732
/proc/meminfo: memFree=1673708/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1121.89
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 79335 32854 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 56500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4732
/proc/meminfo: memFree=1673584/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1181.87
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 83504 34683 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 56500

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4734
/proc/meminfo: memFree=1673460/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1241.85
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 87597 36588 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 56500

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4736
/proc/meminfo: memFree=1673336/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1301.83
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 91740 38443 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 56500

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4738
/proc/meminfo: memFree=1673336/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1361.81
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 95857 40324 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 56500

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4740
/proc/meminfo: memFree=1673336/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1421.8
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 100018 42162 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 56500

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4740
/proc/meminfo: memFree=1673336/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1481.77
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 104419 43758 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 56500

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4742
/proc/meminfo: memFree=1673336/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1541.75
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 108972 45203 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 56500

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4744
/proc/meminfo: memFree=1673336/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1601.72
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 113164 47008 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 56500

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4746
/proc/meminfo: memFree=1673336/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=56500 CPUtime=1661.71
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14115 0 0 0 117299 48872 0 0 25 0 1 0 35014840 57856000 13306 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14125 13306 244 482 0 13641 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 56500

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4748
/proc/meminfo: memFree=1673212/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=57424 CPUtime=1721.69
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14351 0 0 0 121556 50613 0 0 25 0 1 0 35014840 58802176 13542 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14356 13542 244 482 0 13872 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 57424

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4748
/proc/meminfo: memFree=1671972/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=57820 CPUtime=1781.66
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14432 0 0 0 125831 52335 0 0 25 0 1 0 35014840 59207680 13623 1992294400 134512640 136485738 4293733968 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14455 13623 244 482 0 13971 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 57820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4750
/proc/meminfo: memFree=1671972/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=57820 CPUtime=1800.07
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14432 0 0 0 127104 52903 0 0 25 0 1 0 35014840 59207680 13623 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14455 13623 244 482 0 13971 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 57820

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4750
/proc/meminfo: memFree=1671972/2059040 swapFree=4136184/4192956
[pid=4701] ppid=4699 vsize=57820 CPUtime=1800.07
/proc/4701/stat : 4701 (pbct) R 4699 4701 4513 0 -1 4202496 14432 0 0 0 127104 52903 0 0 25 0 1 0 35014840 59207680 13623 1992294400 134512640 136485738 4293733968 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/4701/statm: 14455 13623 244 482 0 13971 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 57820

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1271.05
CPU system time (s): 529.044
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 57820

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

runsolver used 3.15652 second user time and 8.32173 second system time

The end