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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668277-1276644842/watcher-2668277-1276644842 -o /tmp/evaluation-result-2668277-1276644842/solver-2668277-1276644842 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668277-1276644842.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.97 2.00 1.92 3/105 14887
/proc/meminfo: memFree=1845416/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=2208 CPUtime=0
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 268 0 0 0 0 0 0 0 18 0 1 0 5775596 2260992 191 1992294400 134512640 136485738 4292044480 18446744073709551615 135411160 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14887/statm: 552 191 156 482 0 68 0

[startup+0.0396499 s]
/proc/loadavg: 1.97 2.00 1.92 3/105 14887
/proc/meminfo: memFree=1845416/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=3780 CPUtime=0.03
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 631 0 0 0 3 0 0 0 20 0 1 0 5775596 3870720 554 1992294400 134512640 136485738 4292044480 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 945 557 194 482 0 461 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3780

[startup+0.100656 s]
/proc/loadavg: 1.97 2.00 1.92 3/105 14887
/proc/meminfo: memFree=1845416/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=10800 CPUtime=0.09
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 2366 0 0 0 8 1 0 0 20 0 1 0 5775596 11059200 2289 1992294400 134512640 136485738 4292044480 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 2700 2290 198 482 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10800

[startup+0.30068 s]
/proc/loadavg: 1.97 2.00 1.92 3/105 14887
/proc/meminfo: memFree=1845416/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=16528 CPUtime=0.29
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 3809 0 0 0 21 8 0 0 20 0 1 0 5775596 16924672 3716 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4132 3716 244 482 0 3648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16528

[startup+0.700735 s]
/proc/loadavg: 1.97 2.00 1.92 3/105 14887
/proc/meminfo: memFree=1845416/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=16656 CPUtime=0.69
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 3819 0 0 0 46 23 0 0 20 0 1 0 5775596 17055744 3726 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4164 3726 244 482 0 3680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16656

[startup+1.50083 s]
/proc/loadavg: 1.97 2.00 1.92 2/106 14888
/proc/meminfo: memFree=1831272/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=16780 CPUtime=1.49
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 3875 0 0 0 96 53 0 0 23 0 1 0 5775596 17182720 3782 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4195 3782 244 482 0 3711 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16780

[startup+3.10103 s]
/proc/loadavg: 1.97 2.00 1.92 2/106 14888
/proc/meminfo: memFree=1830652/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=17032 CPUtime=3.09
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 3940 0 0 0 198 111 0 0 25 0 1 0 5775596 17440768 3847 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4258 3847 244 482 0 3774 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17032

[startup+6.30143 s]
/proc/loadavg: 1.90 1.99 1.91 2/106 14888
/proc/meminfo: memFree=1830280/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=17412 CPUtime=6.29
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4030 0 0 0 407 222 0 0 25 0 1 0 5775596 17829888 3937 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4353 3937 244 482 0 3869 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17412

[startup+12.7012 s]
/proc/loadavg: 1.82 1.97 1.91 2/106 14888
/proc/meminfo: memFree=1829784/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=17796 CPUtime=12.69
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4127 0 0 0 810 459 0 0 25 0 1 0 5775596 18223104 4034 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4449 4034 244 482 0 3965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17796

[startup+25.5008 s]
/proc/loadavg: 1.64 1.92 1.89 2/106 14888
/proc/meminfo: memFree=1829784/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=17796 CPUtime=25.48
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4127 0 0 0 1620 928 0 0 25 0 1 0 5775596 18223104 4034 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4449 4034 244 482 0 3965 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17796

[startup+51.101 s]
/proc/loadavg: 1.42 1.85 1.87 2/106 14888
/proc/meminfo: memFree=1829412/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=18196 CPUtime=51.08
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4224 0 0 0 3263 1845 0 0 25 0 1 0 5775596 18632704 4131 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4549 4131 244 482 0 4065 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18196

[startup+102.308 s]
/proc/loadavg: 1.18 1.71 1.82 2/106 14890
/proc/meminfo: memFree=1828296/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=102.27
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 6540 3687 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19208

[startup+162.301 s]
/proc/loadavg: 1.06 1.58 1.77 2/106 14892
/proc/meminfo: memFree=1828296/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=162.25
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 10368 5857 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19208

[startup+222.3 s]
/proc/loadavg: 1.02 1.47 1.71 2/106 14894
/proc/meminfo: memFree=1828296/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=222.23
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 14200 8023 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19208

[startup+282.301 s]
/proc/loadavg: 1.01 1.38 1.67 2/106 14894
/proc/meminfo: memFree=1828172/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=282.21
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 18081 10140 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 19208

[startup+342.301 s]
/proc/loadavg: 1.00 1.31 1.62 2/106 14896
/proc/meminfo: memFree=1828180/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=342.19
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 21984 12235 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 19208

[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.58 2/106 14898
/proc/meminfo: memFree=1828056/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=402.17
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 25820 14397 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 19208

[startup+462.3 s]
/proc/loadavg: 1.00 1.20 1.54 2/106 14900
/proc/meminfo: memFree=1828056/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=462.16
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 29656 16560 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 19208

[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.51 2/106 14902
/proc/meminfo: memFree=1828056/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=522.15
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 33536 18679 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 19208

[startup+582.3 s]
/proc/loadavg: 1.00 1.13 1.47 2/106 14902
/proc/meminfo: memFree=1827932/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=582.13
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 37403 20810 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 19208

[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.44 2/106 14904
/proc/meminfo: memFree=1827932/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19208 CPUtime=642.12
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4462 0 0 0 41336 22876 0 0 25 0 1 0 5775596 19668992 4368 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4802 4368 244 482 0 4318 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 19208

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.05 1.35 2/106 14910
/proc/meminfo: memFree=1827312/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19668 CPUtime=822.07
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4590 0 0 0 52911 29296 0 0 25 0 1 0 5775596 20140032 4496 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4917 4496 244 482 0 4433 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 19668

[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.33 2/106 14910
/proc/meminfo: memFree=1827312/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19668 CPUtime=882.05
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4590 0 0 0 56789 31416 0 0 25 0 1 0 5775596 20140032 4496 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4917 4496 244 482 0 4433 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 19668

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.31 2/106 14912
/proc/meminfo: memFree=1827188/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19668 CPUtime=942.03
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4590 0 0 0 60679 33524 0 0 25 0 1 0 5775596 20140032 4496 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4917 4496 244 482 0 4433 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 19668

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/106 14914
/proc/meminfo: memFree=1827188/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19668 CPUtime=1002.01
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4590 0 0 0 64515 35686 0 0 25 0 1 0 5775596 20140032 4496 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4917 4496 244 482 0 4433 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 19668

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/106 14916
/proc/meminfo: memFree=1827188/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19668 CPUtime=1061.99
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4590 0 0 0 68429 37770 0 0 25 0 1 0 5775596 20140032 4496 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4917 4496 244 482 0 4433 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 19668

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/106 14918
/proc/meminfo: memFree=1827064/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19668 CPUtime=1121.98
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4590 0 0 0 72264 39934 0 0 25 0 1 0 5775596 20140032 4496 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4917 4496 244 482 0 4433 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 19668

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 14918
/proc/meminfo: memFree=1826940/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19668 CPUtime=1181.97
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4604 0 0 0 76144 42053 0 0 25 0 1 0 5775596 20140032 4510 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4917 4510 244 482 0 4433 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 19668

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/106 14920
/proc/meminfo: memFree=1826692/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19800 CPUtime=1241.95
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4629 0 0 0 79983 44212 0 0 25 0 1 0 5775596 20275200 4535 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4950 4535 244 482 0 4466 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 19800

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/106 14922
/proc/meminfo: memFree=1826568/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19784 CPUtime=1301.94
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4629 0 0 0 83834 46360 0 0 25 0 1 0 5775596 20258816 4535 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4946 4535 244 482 0 4462 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 19784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/106 14924
/proc/meminfo: memFree=1826568/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19784 CPUtime=1361.91
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4629 0 0 0 87732 48459 0 0 25 0 1 0 5775596 20258816 4535 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4946 4535 244 482 0 4462 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 19784

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.16 2/106 14926
/proc/meminfo: memFree=1826568/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=19912 CPUtime=1421.91
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4645 0 0 0 91670 50521 0 0 25 0 1 0 5775596 20389888 4551 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 4978 4551 244 482 0 4494 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 19912

[startup+1482.3 s]
/proc/loadavg: 1.07 1.02 1.16 2/106 14926
/proc/meminfo: memFree=1826444/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=20036 CPUtime=1481.88
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4671 0 0 0 95571 52617 0 0 25 0 1 0 5775596 20516864 4577 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 5009 4577 244 482 0 4525 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 20036

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.15 2/106 14928
/proc/meminfo: memFree=1826444/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=20036 CPUtime=1541.86
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4677 0 0 0 99446 54740 0 0 25 0 1 0 5775596 20516864 4583 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 5009 4583 244 482 0 4525 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 20036

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.14 2/106 14930
/proc/meminfo: memFree=1826320/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=20132 CPUtime=1601.84
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4695 0 0 0 103284 56900 0 0 25 0 1 0 5775596 20615168 4601 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 5033 4601 244 482 0 4549 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 20132

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 14941
/proc/meminfo: memFree=1825452/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=20260 CPUtime=1661.81
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4729 0 0 0 107116 59065 0 0 25 0 1 0 5775596 20746240 4635 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 5065 4635 244 482 0 4581 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 20260

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 14943
/proc/meminfo: memFree=1825452/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=20260 CPUtime=1721.8
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4729 0 0 0 110979 61201 0 0 25 0 1 0 5775596 20746240 4635 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 5065 4635 244 482 0 4581 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 20260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 14943
/proc/meminfo: memFree=1825328/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=20260 CPUtime=1781.78
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4729 0 0 0 114831 63347 0 0 25 0 1 0 5775596 20746240 4635 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 5065 4635 244 482 0 4581 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 20260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 14945
/proc/meminfo: memFree=1825328/2059040 swapFree=4140536/4192956
[pid=14887] ppid=14885 vsize=20260 CPUtime=1800.09
/proc/14887/stat : 14887 (pbct) R 14885 14887 14110 0 -1 4202496 4729 0 0 0 116015 63994 0 0 25 0 1 0 5775596 20746240 4635 1992294400 134512640 136485738 4292044480 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14887/statm: 5065 4635 244 482 0 4581 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 20260

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1160.16
CPU system time (s): 639.949
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 20260

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

runsolver used 2.6496 second user time and 8.82966 second system time

The end