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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682081-1277481825/watcher-2682081-1277481825 -o /tmp/evaluation-result-2682081-1277481825/solver-2682081-1277481825 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682081-1277481825.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.94 3/106 24900
/proc/meminfo: memFree=1808436/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=2280 CPUtime=0
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 274 0 0 0 0 0 0 0 17 0 1 0 121837881 2334720 193 1992294400 134512640 136421960 4290067840 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24900/statm: 570 193 145 467 0 101 0

[startup+0.015422 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 24900
/proc/meminfo: memFree=1808436/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=2280 CPUtime=0.01
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 279 0 0 0 1 0 0 0 17 0 1 0 121837881 2334720 198 1992294400 134512640 136421960 4290067840 18446744073709551615 135825998 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24900/statm: 570 198 145 467 0 101 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2280

[startup+0.101429 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 24900
/proc/meminfo: memFree=1808436/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=6808 CPUtime=0.09
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 1375 0 0 0 9 0 0 0 17 0 1 0 121837881 6971392 1294 1992294400 134512640 136421960 4290067840 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 1702 1296 188 467 0 1233 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6808

[startup+0.301444 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 24900
/proc/meminfo: memFree=1808436/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=29688 CPUtime=0.29
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 7285 0 0 0 27 2 0 0 17 0 1 0 121837881 30400512 7056 1992294400 134512640 136421960 4290067840 18446744073709551615 134929482 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 7422 7056 203 467 0 6953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29688

[startup+0.701477 s]
/proc/loadavg: 1.00 1.00 0.94 3/106 24900
/proc/meminfo: memFree=1808436/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=32824 CPUtime=0.69
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 8142 0 0 0 65 4 0 0 17 0 1 0 121837881 33611776 7706 1992294400 134512640 136421960 4290067840 18446744073709551615 134864594 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 8206 7706 237 467 0 7737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32824

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24901
/proc/meminfo: memFree=1777056/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=36916 CPUtime=1.49
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 9149 0 0 0 142 7 0 0 18 0 1 0 121837881 37801984 8713 1992294400 134512640 136421960 4290067840 18446744073709551615 134860040 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 9229 8713 237 467 0 8760 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36916

[startup+3.10167 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24901
/proc/meminfo: memFree=1770732/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=43252 CPUtime=3.09
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 10744 0 0 0 298 11 0 0 21 0 1 0 121837881 44290048 10308 1992294400 134512640 136421960 4290067840 18446744073709551615 134864594 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 10813 10308 237 467 0 10344 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43252

[startup+6.30092 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24901
/proc/meminfo: memFree=1764656/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=45772 CPUtime=6.29
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 11463 0 0 0 612 17 0 0 25 0 1 0 121837881 46870528 10950 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 11443 10950 237 467 0 10974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45772

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24901
/proc/meminfo: memFree=1761680/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=49072 CPUtime=12.69
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 12261 0 0 0 1235 34 0 0 25 0 1 0 121837881 50249728 11748 1992294400 134512640 136421960 4290067840 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 12268 11748 237 467 0 11799 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49072

[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24901
/proc/meminfo: memFree=1761680/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=49072 CPUtime=25.49
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 12262 0 0 0 2489 60 0 0 25 0 1 0 121837881 50249728 11748 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 12268 11748 237 467 0 11799 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49072

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24901
/proc/meminfo: memFree=1760068/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=50112 CPUtime=51.08
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 12778 0 0 0 4995 113 0 0 25 0 1 0 121837881 51314688 12036 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 12528 12036 237 467 0 12059 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50112

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24903
/proc/meminfo: memFree=1759820/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=50692 CPUtime=102.28
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 13421 0 0 0 10009 219 0 0 25 0 1 0 121837881 51908608 12175 1992294400 134512640 136421960 4290067840 18446744073709551615 135022393 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 12673 12175 237 467 0 12204 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 50692

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24905
/proc/meminfo: memFree=1759696/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=50476 CPUtime=162.26
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 13430 0 0 0 15886 340 0 0 25 0 1 0 121837881 51687424 12127 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 12619 12127 237 467 0 12150 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 50476

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24907
/proc/meminfo: memFree=1758208/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=52324 CPUtime=222.24
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 13889 0 0 0 21773 451 0 0 25 0 1 0 121837881 53579776 12586 1992294400 134512640 136421960 4290067840 18446744073709551615 134859702 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 13081 12586 237 467 0 12612 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 52324

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24907
/proc/meminfo: memFree=1757836/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=52720 CPUtime=282.23
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 13965 0 0 0 27617 606 0 0 25 0 1 0 121837881 53985280 12662 1992294400 134512640 136421960 4290067840 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 13180 12662 237 467 0 12711 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 52720

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24909
/proc/meminfo: memFree=1757836/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=52720 CPUtime=342.21
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 13965 0 0 0 33505 716 0 0 25 0 1 0 121837881 53985280 12662 1992294400 134512640 136421960 4290067840 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 13180 12662 237 467 0 12711 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 52720

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24911
/proc/meminfo: memFree=1757464/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=52984 CPUtime=402.2
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14037 0 0 0 39402 818 0 0 25 0 1 0 121837881 54255616 12734 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 13246 12734 237 467 0 12777 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 52984

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24913
/proc/meminfo: memFree=1756720/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=53644 CPUtime=462.19
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14219 0 0 0 45290 929 0 0 25 0 1 0 121837881 54931456 12916 1992294400 134512640 136421960 4290067840 18446744073709551615 135830543 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 13411 12916 237 467 0 12942 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 53644

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24915
/proc/meminfo: memFree=1754116/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=522.17
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14933 0 0 0 51080 1137 0 0 25 0 1 0 121837881 57626624 13556 1992294400 134512640 136421960 4290067840 18446744073709551615 134859686 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13556 237 467 0 13600 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 56276

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24915
/proc/meminfo: memFree=1753992/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=582.16
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14953 0 0 0 56936 1280 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 56276

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24917
/proc/meminfo: memFree=1753868/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=642.14
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14953 0 0 0 62810 1404 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 56276

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24923
/proc/meminfo: memFree=1753620/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=882.09
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14955 0 0 0 86380 1829 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 134859902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 56276

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24925
/proc/meminfo: memFree=1753496/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=942.07
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14955 0 0 0 92254 1953 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 134859910 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 56276

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24927
/proc/meminfo: memFree=1753496/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1002.06
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14955 0 0 0 98096 2110 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 134863712 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 56276

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24929
/proc/meminfo: memFree=1753372/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1062.04
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14955 0 0 0 104014 2190 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 134861995 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 56276

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24931
/proc/meminfo: memFree=1753372/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1122.03
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14955 0 0 0 109915 2288 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 56276

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24931
/proc/meminfo: memFree=1753248/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1182.02
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 115788 2414 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 56276

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24933
/proc/meminfo: memFree=1753124/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1242
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 121674 2526 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 134865373 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 56276

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24935
/proc/meminfo: memFree=1753000/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1301.99
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 127549 2650 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 56276

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24937
/proc/meminfo: memFree=1753000/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1361.98
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 133413 2785 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 56276

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24939
/proc/meminfo: memFree=1753000/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1421.96
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 139285 2911 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 56276

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24939
/proc/meminfo: memFree=1752876/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1481.95
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 145178 3017 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 134860107 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 56276

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24941
/proc/meminfo: memFree=1752752/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1541.93
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 151061 3132 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 134859696 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 56276

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24943
/proc/meminfo: memFree=1752752/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1601.91
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 156944 3247 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 56276

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24945
/proc/meminfo: memFree=1752752/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1661.9
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 162819 3371 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 56276

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24947
/proc/meminfo: memFree=1752752/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1721.88
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 168710 3478 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135010296 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 56276

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24947
/proc/meminfo: memFree=1752504/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1781.87
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 174586 3601 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 56276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 24949
/proc/meminfo: memFree=1752504/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1800.08
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 176369 3639 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 56276

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.94 2/107 24949
/proc/meminfo: memFree=1752504/2059040 swapFree=4136400/4192956
[pid=24900] ppid=24898 vsize=56276 CPUtime=1800.08
/proc/24900/stat : 24900 (pbct) R 24898 24900 24277 0 -1 4202496 14957 0 0 0 176369 3639 0 0 25 0 1 0 121837881 57626624 13576 1992294400 134512640 136421960 4290067840 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24900/statm: 14069 13576 237 467 0 13600 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 56276

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1763.69
CPU system time (s): 36.4015
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 56276

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

runsolver used 2.95355 second user time and 8.5237 second system time

The end