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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682100-1277483739/watcher-2682100-1277483739 -o /tmp/evaluation-result-2682100-1277483739/solver-2682100-1277483739 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682100-1277483739.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 0.93 3/106 30887
/proc/meminfo: memFree=1765668/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=2416 CPUtime=0
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 123977904 2473984 219 1992294400 134512640 136421960 4290624816 18446744073709551615 134541637 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30887/statm: 604 219 140 467 0 135 0

[startup+0.0703329 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 30887
/proc/meminfo: memFree=1765668/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=5048 CPUtime=0.06
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 965 0 0 0 6 0 0 0 20 0 1 0 123977904 5169152 885 1992294400 134512640 136421960 4290624816 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 1262 887 188 467 0 793 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5048

[startup+0.101377 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 30887
/proc/meminfo: memFree=1765668/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=8788 CPUtime=0.09
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 1895 0 0 0 8 1 0 0 20 0 1 0 123977904 8998912 1815 1992294400 134512640 136421960 4290624816 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 2197 1816 194 467 0 1728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8788

[startup+0.301369 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 30887
/proc/meminfo: memFree=1765668/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=22376 CPUtime=0.29
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 5334 0 0 0 27 2 0 0 20 0 1 0 123977904 22913024 5188 1992294400 134512640 136421960 4290624816 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 5594 5189 194 467 0 5125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22376

[startup+0.701399 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 30887
/proc/meminfo: memFree=1765668/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=47652 CPUtime=0.69
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 11863 0 0 0 63 6 0 0 20 0 1 0 123977904 48795648 11123 1992294400 134512640 136421960 4290624816 18446744073709551615 134973981 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 11913 11123 217 467 0 11444 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47652

[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 0.93 3/107 30888
/proc/meminfo: memFree=1721764/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=48048 CPUtime=1.49
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 11950 0 0 0 132 17 0 0 22 0 1 0 123977904 49201152 11210 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 12012 11210 217 467 0 11543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48048

[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30888
/proc/meminfo: memFree=1721020/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=48840 CPUtime=3.09
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 12165 0 0 0 275 34 0 0 25 0 1 0 123977904 50012160 11425 1992294400 134512640 136421960 4290624816 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 12210 11425 217 467 0 11741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48840

[startup+6.30097 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30888
/proc/meminfo: memFree=1719284/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=50308 CPUtime=6.29
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 12508 0 0 0 559 70 0 0 25 0 1 0 123977904 51515392 11768 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 12577 11768 217 467 0 12108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50308

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30888
/proc/meminfo: memFree=1716308/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=52684 CPUtime=12.69
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 13118 0 0 0 1132 137 0 0 25 0 1 0 123977904 53948416 12378 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 13171 12378 217 467 0 12702 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52684

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30890
/proc/meminfo: memFree=1715688/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=53476 CPUtime=25.49
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 13324 0 0 0 2279 270 0 0 25 0 1 0 123977904 54759424 12584 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 13369 12584 217 467 0 12900 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53476

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30890
/proc/meminfo: memFree=1714572/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=54664 CPUtime=51.08
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 13592 0 0 0 4564 544 0 0 25 0 1 0 123977904 55975936 12852 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 13666 12852 217 467 0 13197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54664

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30892
/proc/meminfo: memFree=1711224/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=57748 CPUtime=102.28
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 14366 0 0 0 9150 1078 0 0 25 0 1 0 123977904 59133952 13626 1992294400 134512640 136421960 4290624816 18446744073709551615 134604574 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 14437 13626 217 467 0 13968 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 57748

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30892
/proc/meminfo: memFree=1708868/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=59992 CPUtime=162.25
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 14949 0 0 0 14539 1686 0 0 25 0 1 0 123977904 61431808 14209 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 14998 14209 217 467 0 14529 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59992

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30894
/proc/meminfo: memFree=1708868/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=59992 CPUtime=222.24
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 14949 0 0 0 19905 2319 0 0 25 0 1 0 123977904 61431808 14209 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 14998 14209 217 467 0 14529 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 59992

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30896
/proc/meminfo: memFree=1706636/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=62316 CPUtime=282.22
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 15501 0 0 0 25296 2926 0 0 25 0 1 0 123977904 63811584 14761 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 15579 14761 217 467 0 15110 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 62316

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30898
/proc/meminfo: memFree=1706140/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=62844 CPUtime=342.21
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 15650 0 0 0 30683 3538 0 0 25 0 1 0 123977904 64352256 14910 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 15711 14910 217 467 0 15242 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 62844

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30900
/proc/meminfo: memFree=1705768/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=63108 CPUtime=402.18
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 15704 0 0 0 36050 4168 0 0 25 0 1 0 123977904 64622592 14964 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 15777 14964 217 467 0 15308 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 63108

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30900
/proc/meminfo: memFree=1705644/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=63108 CPUtime=462.17
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 15704 0 0 0 41454 4763 0 0 25 0 1 0 123977904 64622592 14964 1992294400 134512640 136421960 4290624816 18446744073709551615 134597393 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 15777 14964 217 467 0 15308 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 63108

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30902
/proc/meminfo: memFree=1705148/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=63636 CPUtime=522.16
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 15850 0 0 0 46848 5368 0 0 25 0 1 0 123977904 65163264 15110 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 15909 15110 217 467 0 15440 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 63636

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30904
/proc/meminfo: memFree=1703412/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=65352 CPUtime=582.14
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16262 0 0 0 52225 5989 0 0 25 0 1 0 123977904 66920448 15522 1992294400 134512640 136421960 4290624816 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16338 15522 217 467 0 15869 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 65352

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30906
/proc/meminfo: memFree=1701924/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=66804 CPUtime=642.14
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16649 0 0 0 57682 6532 0 0 25 0 1 0 123977904 68407296 15909 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16701 15909 217 467 0 16232 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 66804

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30912
/proc/meminfo: memFree=1701056/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=882.06
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 79202 9004 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 67796

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30914
/proc/meminfo: memFree=1701056/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=942.05
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 84624 9581 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 67796

[startup+1002.3 s]
/proc/loadavg: 1.05 1.01 0.93 2/107 30916
/proc/meminfo: memFree=1700932/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1002.04
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 89993 10211 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 67796

[startup+1062.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/107 30916
/proc/meminfo: memFree=1700932/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1062.02
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 95352 10850 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 67796

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 3/107 30918
/proc/meminfo: memFree=1700808/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1122
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 100715 11485 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 67796

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30920
/proc/meminfo: memFree=1700808/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1181.99
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 106112 12087 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 67796

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30922
/proc/meminfo: memFree=1700560/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1241.97
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 111515 12682 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 67796

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30924
/proc/meminfo: memFree=1700560/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1301.97
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16883 0 0 0 116928 13269 0 0 25 0 1 0 123977904 69423104 16064 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16064 239 467 0 16480 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 67796

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30924
/proc/meminfo: memFree=1700436/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1361.95
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 122327 13868 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 67796

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30926
/proc/meminfo: memFree=1700436/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1421.93
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 127688 14505 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 67796

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30928
/proc/meminfo: memFree=1700436/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1481.91
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 133075 15116 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 67796

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30939
/proc/meminfo: memFree=1699940/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1541.88
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 138460 15728 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 67796

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30941
/proc/meminfo: memFree=1699940/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1601.87
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 143870 16317 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 67796

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30941
/proc/meminfo: memFree=1699940/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1661.85
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 149231 16954 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 67796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30943
/proc/meminfo: memFree=1700064/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1721.83
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 154594 17589 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 67796

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30945
/proc/meminfo: memFree=1699816/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1781.82
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 159979 18203 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 67796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 30945
/proc/meminfo: memFree=1699816/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1800.02
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 161622 18380 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 67796

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 0.93 2/107 30945
/proc/meminfo: memFree=1699816/2059040 swapFree=4135576/4192956
[pid=30887] ppid=30885 vsize=67796 CPUtime=1800.02
/proc/30887/stat : 30887 (pbct) R 30885 30887 30159 0 -1 4202496 16885 0 0 0 161622 18380 0 0 25 0 1 0 123977904 69423104 16065 1992294400 134512640 136421960 4290624816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30887/statm: 16949 16065 239 467 0 16480 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 67796

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1616.23
CPU system time (s): 183.812
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 67796

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

runsolver used 3.05653 second user time and 8.42372 second system time

The end