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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682855-1277481642/watcher-2682855-1277481642 -o /tmp/evaluation-result-2682855-1277481642/solver-2682855-1277481642 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682855-1277481642.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.94 3/106 29618
/proc/meminfo: memFree=1826080/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=2280 CPUtime=0
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 89456270 2334720 194 1992294400 134512640 136421960 4287340848 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29618/statm: 570 194 145 467 0 101 0

[startup+0.014559 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 29618
/proc/meminfo: memFree=1826080/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=2280 CPUtime=0.01
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 278 0 0 0 1 0 0 0 20 0 1 0 89456270 2334720 197 1992294400 134512640 136421960 4287340848 18446744073709551615 135378033 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29618/statm: 570 197 145 467 0 101 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2280

[startup+0.100552 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 29618
/proc/meminfo: memFree=1826080/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=2544 CPUtime=0.09
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 364 0 0 0 9 0 0 0 20 0 1 0 89456270 2605056 283 1992294400 134512640 136421960 4287340848 18446744073709551615 134531804 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29618/statm: 636 283 145 467 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2544

[startup+0.300572 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 29618
/proc/meminfo: memFree=1826080/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=19560 CPUtime=0.29
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 4748 0 0 0 27 2 0 0 20 0 1 0 89456270 20029440 4483 1992294400 134512640 136421960 4287340848 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 4890 4484 193 467 0 4421 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19560

[startup+0.700615 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 29618
/proc/meminfo: memFree=1826080/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=46508 CPUtime=0.69
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 11779 0 0 0 64 5 0 0 20 0 1 0 89456270 47624192 10877 1992294400 134512640 136421960 4287340848 18446744073709551615 134862380 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 11627 10877 237 467 0 11158 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46508

[startup+1.5007 s]
/proc/loadavg: 0.92 0.98 0.94 2/107 29619
/proc/meminfo: memFree=1782300/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=49280 CPUtime=1.49
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 12464 0 0 0 141 8 0 0 22 0 1 0 89456270 50462720 11562 1992294400 134512640 136421960 4287340848 18446744073709551615 134861916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 12320 11562 237 467 0 11851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49280

[startup+3.10087 s]
/proc/loadavg: 0.92 0.98 0.94 2/107 29619
/proc/meminfo: memFree=1777960/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=55220 CPUtime=3.09
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 13957 0 0 0 297 12 0 0 25 0 1 0 89456270 56545280 13055 1992294400 134512640 136421960 4287340848 18446744073709551615 134859995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 13805 13055 237 467 0 13336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55220

[startup+6.30121 s]
/proc/loadavg: 0.93 0.98 0.94 2/107 29619
/proc/meminfo: memFree=1766676/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=62764 CPUtime=6.29
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 15841 0 0 0 609 20 0 0 25 0 1 0 89456270 64270336 14939 1992294400 134512640 136421960 4287340848 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 15691 14939 237 467 0 15222 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62764

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.94 2/107 29619
/proc/meminfo: memFree=1758120/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=73324 CPUtime=12.69
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 18450 0 0 0 1233 36 0 0 25 0 1 0 89456270 75083776 17548 1992294400 134512640 136421960 4287340848 18446744073709551615 135022228 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 18331 17549 237 467 0 17862 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73324

[startup+25.5003 s]
/proc/loadavg: 0.95 0.98 0.94 2/107 29630
/proc/meminfo: memFree=1748324/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=80056 CPUtime=25.47
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 20143 0 0 0 2473 74 0 0 25 0 1 0 89456270 81977344 19241 1992294400 134512640 136421960 4287340848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 20014 19241 237 467 0 19545 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 80056

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.94 2/107 29630
/proc/meminfo: memFree=1732204/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=96828 CPUtime=51.06
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 24330 0 0 0 4959 147 0 0 25 0 1 0 89456270 99151872 23428 1992294400 134512640 136421960 4287340848 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 24207 23428 237 467 0 23738 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 96828

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.94 2/107 29632
/proc/meminfo: memFree=1721912/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=106352 CPUtime=102.26
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 27042 0 0 0 9951 275 0 0 25 0 1 0 89456270 108904448 25832 1992294400 134512640 136421960 4287340848 18446744073709551615 135009470 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 26588 25832 237 467 0 26119 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 106352

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29632
/proc/meminfo: memFree=1710132/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=118760 CPUtime=162.23
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 30141 0 0 0 15788 435 0 0 25 0 1 0 89456270 121610240 28931 1992294400 134512640 136421960 4287340848 18446744073709551615 135022228 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 29690 28931 237 467 0 29221 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 118760

[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29634
/proc/meminfo: memFree=1709760/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=119156 CPUtime=222.22
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 30215 0 0 0 21666 556 0 0 25 0 1 0 89456270 122015744 29005 1992294400 134512640 136421960 4287340848 18446744073709551615 134860104 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 29789 29005 237 467 0 29320 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 119156

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29636
/proc/meminfo: memFree=1709636/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=119156 CPUtime=282.21
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 30229 0 0 0 27533 688 0 0 25 0 1 0 89456270 122015744 29019 1992294400 134512640 136421960 4287340848 18446744073709551615 135022339 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 29789 29019 237 467 0 29320 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 119156

[startup+342.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29638
/proc/meminfo: memFree=1709388/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=119420 CPUtime=342.19
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 30285 0 0 0 33379 840 0 0 25 0 1 0 89456270 122286080 29075 1992294400 134512640 136421960 4287340848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 29855 29075 237 467 0 29386 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 119420

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29640
/proc/meminfo: memFree=1696120/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=132608 CPUtime=402.17
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 33595 0 0 0 39230 987 0 0 25 0 1 0 89456270 135790592 32385 1992294400 134512640 136421960 4287340848 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 33152 32385 237 467 0 32683 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 132608

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29640
/proc/meminfo: memFree=1695996/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=132740 CPUtime=462.16
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 33609 0 0 0 45087 1129 0 0 25 0 1 0 89456270 135925760 32399 1992294400 134512640 136421960 4287340848 18446744073709551615 134642118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 33185 32399 237 467 0 32716 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 132740

[startup+522.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29642
/proc/meminfo: memFree=1695996/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=132740 CPUtime=522.14
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 33609 0 0 0 50918 1296 0 0 25 0 1 0 89456270 135925760 32399 1992294400 134512640 136421960 4287340848 18446744073709551615 135818435 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 33185 32399 237 467 0 32716 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 132740

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29644
/proc/meminfo: memFree=1695996/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=132740 CPUtime=582.13
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 33609 0 0 0 56746 1467 0 0 25 0 1 0 89456270 135925760 32399 1992294400 134512640 136421960 4287340848 18446744073709551615 134859947 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 33185 32399 237 467 0 32716 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 132740

[startup+642.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29646
/proc/meminfo: memFree=1695872/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=132872 CPUtime=642.11
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 33635 0 0 0 62586 1625 0 0 25 0 1 0 89456270 136060928 32425 1992294400 134512640 136421960 4287340848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 33218 32425 237 467 0 32749 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 132872

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29652
/proc/meminfo: memFree=1679504/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=149076 CPUtime=882.05
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 37899 0 0 0 85997 2208 0 0 25 0 1 0 89456270 152653824 36481 1992294400 134512640 136421960 4287340848 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37269 36481 237 467 0 36800 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 149076

[startup+942.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29654
/proc/meminfo: memFree=1679380/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=149076 CPUtime=942.03
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 37919 0 0 0 91894 2309 0 0 25 0 1 0 89456270 152653824 36501 1992294400 134512640 136421960 4287340848 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37269 36501 237 467 0 36800 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 149076

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29656
/proc/meminfo: memFree=1679380/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=149112 CPUtime=1002.01
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 38430 0 0 0 97749 2452 0 0 25 0 1 0 89456270 152690688 36505 1992294400 134512640 136421960 4287340848 18446744073709551615 135023989 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37278 36505 237 467 0 36809 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 149112

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29656
/proc/meminfo: memFree=1680744/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147000 CPUtime=1062
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 38430 0 0 0 103599 2601 0 0 25 0 1 0 89456270 150528000 35994 1992294400 134512640 136421960 4287340848 18446744073709551615 134859974 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36750 35994 237 467 0 36281 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 147000

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29658
/proc/meminfo: memFree=1680744/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147000 CPUtime=1121.99
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 38978 0 0 0 109366 2833 0 0 25 0 1 0 89456270 150528000 35994 1992294400 134512640 136421960 4287340848 18446744073709551615 134859690 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36750 35994 237 467 0 36281 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 147000

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29660
/proc/meminfo: memFree=1679504/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=148848 CPUtime=1181.97
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 39434 0 0 0 115224 2973 0 0 25 0 1 0 89456270 152420352 36450 1992294400 134512640 136421960 4287340848 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37212 36450 237 467 0 36743 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 148848

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29662
/proc/meminfo: memFree=1680124/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147536 CPUtime=1241.95
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 39780 0 0 0 121099 3096 0 0 25 0 1 0 89456270 151076864 36128 1992294400 134512640 136421960 4287340848 18446744073709551615 135010296 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36884 36128 237 467 0 36415 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 147536

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29664
/proc/meminfo: memFree=1678636/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=149516 CPUtime=1301.94
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 40252 0 0 0 126974 3220 0 0 25 0 1 0 89456270 153104384 36600 1992294400 134512640 136421960 4287340848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37379 36600 237 467 0 36910 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 149516

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29664
/proc/meminfo: memFree=1680000/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147536 CPUtime=1361.92
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 40252 0 0 0 132855 3337 0 0 25 0 1 0 89456270 151076864 36128 1992294400 134512640 136421960 4287340848 18446744073709551615 135820671 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36884 36128 237 467 0 36415 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 147536

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29666
/proc/meminfo: memFree=1679876/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147536 CPUtime=1421.91
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 40580 0 0 0 138683 3508 0 0 25 0 1 0 89456270 151076864 36128 1992294400 134512640 136421960 4287340848 18446744073709551615 134859923 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36884 36128 237 467 0 36415 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 147536

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29668
/proc/meminfo: memFree=1679876/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147536 CPUtime=1481.89
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 40580 0 0 0 144509 3680 0 0 25 0 1 0 89456270 151076864 36128 1992294400 134512640 136421960 4287340848 18446744073709551615 134864493 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36884 36128 237 467 0 36415 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 147536

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 29670
/proc/meminfo: memFree=1679876/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147536 CPUtime=1541.87
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 41128 0 0 0 150376 3811 0 0 25 0 1 0 89456270 151076864 36128 1992294400 134512640 136421960 4287340848 18446744073709551615 134863710 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36884 36128 237 467 0 36415 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 147536

[startup+1602.3 s]
/proc/loadavg: 1.15 1.02 0.95 2/107 29672
/proc/meminfo: memFree=1679876/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=147536 CPUtime=1601.86
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 41507 0 0 0 156230 3956 0 0 25 0 1 0 89456270 151076864 36128 1992294400 134512640 136421960 4287340848 18446744073709551615 135022228 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 36884 36128 237 467 0 36415 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 147536

[startup+1662.3 s]
/proc/loadavg: 1.06 1.01 0.95 2/107 29672
/proc/meminfo: memFree=1678760/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=149252 CPUtime=1661.84
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 41924 0 0 0 162066 4118 0 0 25 0 1 0 89456270 152834048 36545 1992294400 134512640 136421960 4287340848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37313 36545 237 467 0 36844 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 149252

[startup+1722.3 s]
/proc/loadavg: 1.09 1.02 0.96 2/107 29674
/proc/meminfo: memFree=1677892/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=150044 CPUtime=1721.83
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 42120 0 0 0 167907 4276 0 0 25 0 1 0 89456270 153645056 36741 1992294400 134512640 136421960 4287340848 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37511 36741 237 467 0 37042 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 150044

[startup+1782.3 s]
/proc/loadavg: 1.09 1.03 0.96 2/107 29676
/proc/meminfo: memFree=1677768/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=150176 CPUtime=1781.81
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 42141 0 0 0 173699 4482 0 0 25 0 1 0 89456270 153780224 36762 1992294400 134512640 136421960 4287340848 18446744073709551615 135006639 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37544 36762 237 467 0 37075 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 150176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.07 1.03 0.96 2/107 29676
/proc/meminfo: memFree=1677768/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=150176 CPUtime=1800.02
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 42155 0 0 0 175462 4540 0 0 25 0 1 0 89456270 153780224 36776 1992294400 134512640 136421960 4287340848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37544 36776 237 467 0 37075 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 150176

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.07 1.03 0.96 2/107 29676
/proc/meminfo: memFree=1677768/2059040 swapFree=4136688/4192956
[pid=29618] ppid=29616 vsize=150176 CPUtime=1800.02
/proc/29618/stat : 29618 (pbct) R 29616 29618 29172 0 -1 4202496 42155 0 0 0 175462 4540 0 0 25 0 1 0 89456270 153780224 36776 1992294400 134512640 136421960 4287340848 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29618/statm: 37544 36776 237 467 0 37075 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 150176

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.04
CPU user time (s): 1754.62
CPU system time (s): 45.4201
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 150176

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

runsolver used 2.92855 second user time and 8.5507 second system time

The end