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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683005-1277491108/watcher-2683005-1277491108 -o /tmp/evaluation-result-2683005-1277491108/solver-2683005-1277491108 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683005-1277491108.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.98 0.97 0.91 3/106 30081
/proc/meminfo: memFree=1864676/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=2416 CPUtime=0
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 299 0 0 0 0 0 0 0 17 0 1 0 90405924 2473984 219 1992294400 134512640 136421960 4291087344 18446744073709551615 134536665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30081/statm: 604 219 145 467 0 135 0

[startup+0.0594149 s]
/proc/loadavg: 0.98 0.97 0.91 3/106 30081
/proc/meminfo: memFree=1864676/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=2416 CPUtime=0.05
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 308 0 0 0 5 0 0 0 17 0 1 0 90405924 2473984 228 1992294400 134512640 136421960 4291087344 18446744073709551615 135378064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30081/statm: 604 228 145 467 0 135 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2416

[startup+0.101419 s]
/proc/loadavg: 0.98 0.97 0.91 3/106 30081
/proc/meminfo: memFree=1864676/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=2416 CPUtime=0.1
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 325 0 0 0 10 0 0 0 17 0 1 0 90405924 2473984 245 1992294400 134512640 136421960 4291087344 18446744073709551615 135818274 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30081/statm: 604 245 145 467 0 135 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2416

[startup+0.301443 s]
/proc/loadavg: 0.98 0.97 0.91 3/106 30081
/proc/meminfo: memFree=1864676/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=22636 CPUtime=0.29
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 5561 0 0 0 28 1 0 0 17 0 1 0 90405924 23179264 5272 1992294400 134512640 136421960 4291087344 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 5659 5274 193 467 0 5190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22636

[startup+0.70149 s]
/proc/loadavg: 0.98 0.97 0.91 3/106 30081
/proc/meminfo: memFree=1864676/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=33676 CPUtime=0.69
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 8413 0 0 0 59 10 0 0 17 0 1 0 90405924 34484224 7602 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 8419 7602 237 467 0 7950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33676

[startup+1.50059 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 30082
/proc/meminfo: memFree=1835032/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=34072 CPUtime=1.49
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 8513 0 0 0 112 37 0 0 18 0 1 0 90405924 34889728 7702 1992294400 134512640 136421960 4291087344 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 8518 7702 237 467 0 8049 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34072

[startup+3.10078 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 30082
/proc/meminfo: memFree=1834288/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=34864 CPUtime=3.09
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 8706 0 0 0 218 91 0 0 21 0 1 0 90405924 35700736 7895 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 8716 7895 237 467 0 8247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34864

[startup+6.30115 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 30082
/proc/meminfo: memFree=1833420/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=35128 CPUtime=6.29
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 8792 0 0 0 438 191 0 0 25 0 1 0 90405924 35971072 7981 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 8782 7981 237 467 0 8313 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35128

[startup+12.7009 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 30082
/proc/meminfo: memFree=1831940/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=36316 CPUtime=12.69
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 9084 0 0 0 885 384 0 0 25 0 1 0 90405924 37187584 8273 1992294400 134512640 136421960 4291087344 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 9079 8273 237 467 0 8610 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36316

[startup+25.5014 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 30082
/proc/meminfo: memFree=1830948/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=37372 CPUtime=25.49
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 9358 0 0 0 1760 789 0 0 25 0 1 0 90405924 38268928 8547 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 9343 8547 237 467 0 8874 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37372

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30082
/proc/meminfo: memFree=1829832/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=38560 CPUtime=51.08
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 9648 0 0 0 3569 1539 0 0 25 0 1 0 90405924 39485440 8837 1992294400 134512640 136421960 4291087344 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 9640 8837 237 467 0 9171 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38560

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30084
/proc/meminfo: memFree=1828096/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=40144 CPUtime=102.27
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 10051 0 0 0 7013 3214 0 0 25 0 1 0 90405924 41107456 9240 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 10036 9240 237 467 0 9567 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40144

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30086
/proc/meminfo: memFree=1827104/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=41068 CPUtime=162.24
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 10277 0 0 0 11121 5103 0 0 25 0 1 0 90405924 42053632 9466 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 10267 9466 237 467 0 9798 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 41068

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30088
/proc/meminfo: memFree=1825120/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=43184 CPUtime=222.23
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 10777 0 0 0 15268 6955 0 0 25 0 1 0 90405924 44220416 9966 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 10796 9966 237 467 0 10327 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 43184

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30088
/proc/meminfo: memFree=1824872/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=43316 CPUtime=282.21
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 10822 0 0 0 19403 8818 0 0 25 0 1 0 90405924 44355584 10011 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 10829 10011 237 467 0 10360 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 43316

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30090
/proc/meminfo: memFree=1824748/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=43580 CPUtime=342.2
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 10890 0 0 0 23489 10731 0 0 25 0 1 0 90405924 44625920 10079 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 10895 10079 237 467 0 10426 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 43580

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30092
/proc/meminfo: memFree=1824376/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=43844 CPUtime=402.18
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 10944 0 0 0 27631 12587 0 0 25 0 1 0 90405924 44896256 10133 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 10961 10133 237 467 0 10492 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 43844

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30094
/proc/meminfo: memFree=1822392/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=45696 CPUtime=462.16
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 11436 0 0 0 31763 14453 0 0 25 0 1 0 90405924 46792704 10625 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 11424 10625 237 467 0 10955 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 45696

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30096
/proc/meminfo: memFree=1820656/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=47280 CPUtime=522.15
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 11829 0 0 0 36183 16032 0 0 25 0 1 0 90405924 48414720 11018 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 11820 11018 237 467 0 11351 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 47280

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30096
/proc/meminfo: memFree=1820656/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=47280 CPUtime=582.14
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 11829 0 0 0 40264 17950 0 0 25 0 1 0 90405924 48414720 11018 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 11820 11018 237 467 0 11351 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 47280

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30098
/proc/meminfo: memFree=1820532/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=47280 CPUtime=642.12
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 11829 0 0 0 44376 19836 0 0 25 0 1 0 90405924 48414720 11018 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 11820 11018 237 467 0 11351 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 47280

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.12 1.03 0.94 2/107 30104
/proc/meminfo: memFree=1819044/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=48864 CPUtime=822.07
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 12203 0 0 0 57027 25180 0 0 25 0 1 0 90405924 50036736 11392 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 12216 11392 237 467 0 11747 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 48864

[startup+882.301 s]
/proc/loadavg: 1.13 1.05 0.95 2/107 30104
/proc/meminfo: memFree=1818920/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=48864 CPUtime=882.05
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 12203 0 0 0 61150 27055 0 0 25 0 1 0 90405924 50036736 11392 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 12216 11392 237 467 0 11747 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 48864

[startup+942.301 s]
/proc/loadavg: 1.13 1.07 0.96 2/107 30106
/proc/meminfo: memFree=1816812/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=50976 CPUtime=942.04
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 12744 0 0 0 65360 28844 0 0 25 0 1 0 90405924 52199424 11933 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 12744 11933 237 467 0 12275 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 50976

[startup+1002.3 s]
/proc/loadavg: 1.21 1.10 0.97 2/107 30108
/proc/meminfo: memFree=1811356/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1002.02
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 70307 29895 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 56404

[startup+1062.3 s]
/proc/loadavg: 1.20 1.11 0.98 2/107 30110
/proc/meminfo: memFree=1811232/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1062
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 74732 31468 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 56404

[startup+1122.3 s]
/proc/loadavg: 1.19 1.12 1.00 2/107 30112
/proc/meminfo: memFree=1811108/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1121.99
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 78906 33293 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 56404

[startup+1182.3 s]
/proc/loadavg: 1.13 1.11 1.00 2/107 30112
/proc/meminfo: memFree=1810984/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1181.97
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 83081 35116 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 56404

[startup+1242.3 s]
/proc/loadavg: 1.10 1.10 1.00 2/107 30114
/proc/meminfo: memFree=1810860/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1241.95
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 87232 36963 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 56404

[startup+1302.3 s]
/proc/loadavg: 1.09 1.10 1.00 2/107 30116
/proc/meminfo: memFree=1810736/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1301.94
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 91325 38869 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 56404

[startup+1362.3 s]
/proc/loadavg: 1.08 1.09 1.00 2/107 30127
/proc/meminfo: memFree=1809932/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1361.91
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 95396 40795 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 56404

[startup+1422.31 s]
/proc/loadavg: 1.07 1.09 1.00 2/107 30129
/proc/meminfo: memFree=1810056/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1421.91
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 99496 42695 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 56404

[startup+1482.3 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 30129
/proc/meminfo: memFree=1810056/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1481.88
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 103695 44493 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 56404

[startup+1542.3 s]
/proc/loadavg: 1.06 1.08 1.00 2/107 30131
/proc/meminfo: memFree=1810180/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1541.86
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 108416 45770 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 56404

[startup+1602.3 s]
/proc/loadavg: 1.06 1.08 1.00 2/107 30133
/proc/meminfo: memFree=1810180/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1601.84
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 112580 47604 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 134864215 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 56404

[startup+1662.3 s]
/proc/loadavg: 1.13 1.09 1.01 2/107 30135
/proc/meminfo: memFree=1810304/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1661.83
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 116704 49479 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 56404

[startup+1722.3 s]
/proc/loadavg: 1.12 1.09 1.00 2/107 30137
/proc/meminfo: memFree=1810304/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=56404 CPUtime=1721.82
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14113 0 0 0 120785 51397 0 0 25 0 1 0 90405924 57757696 13302 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14101 13302 237 467 0 13632 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 56404

[startup+1782.3 s]
/proc/loadavg: 1.11 1.09 1.00 2/107 30137
/proc/meminfo: memFree=1809312/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=57724 CPUtime=1781.8
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14428 0 0 0 125169 53011 0 0 25 0 1 0 90405924 59109376 13617 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14431 13617 237 467 0 13962 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 57724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 30139
/proc/meminfo: memFree=1809312/2059040 swapFree=4139192/4192956
[pid=30081] ppid=30079 vsize=57724 CPUtime=1800.1
/proc/30081/stat : 30081 (pbct) R 30079 30081 30025 0 -1 4202496 14428 0 0 0 126449 53561 0 0 25 0 1 0 90405924 59109376 13617 1992294400 134512640 136421960 4291087344 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30081/statm: 14431 13617 237 467 0 13962 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 57724

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.13
CPU user time (s): 1264.5
CPU system time (s): 535.627
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 57724

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

runsolver used 3.06153 second user time and 8.41772 second system time

The end