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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682264-1277483587/watcher-2682264-1277483587 -o /tmp/evaluation-result-2682264-1277483587/solver-2682264-1277483587 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682264-1277483587.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.93 3/106 24080
/proc/meminfo: memFree=1830852/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=2280 CPUtime=0
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 123962162 2334720 193 1992294400 134512640 136421960 4288255488 18446744073709551615 135650177 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24080/statm: 570 193 145 467 0 101 0

[startup+0.032879 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 24080
/proc/meminfo: memFree=1830852/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=2280 CPUtime=0.03
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 297 0 0 0 3 0 0 0 20 0 1 0 123962162 2334720 216 1992294400 134512640 136421960 4288255488 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24080/statm: 570 216 145 467 0 101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2280

[startup+0.101892 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 24080
/proc/meminfo: memFree=1830852/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=2612 CPUtime=0.1
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 366 0 0 0 10 0 0 0 20 0 1 0 123962162 2674688 285 1992294400 134512640 136421960 4288255488 18446744073709551615 135810656 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24080/statm: 653 285 145 467 0 184 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2612

[startup+0.30193 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 24080
/proc/meminfo: memFree=1830852/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=3532 CPUtime=0.29
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 598 0 0 0 29 0 0 0 20 0 1 0 123962162 3616768 484 1992294400 134512640 136421960 4288255488 18446744073709551615 135809553 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24080/statm: 883 484 145 467 0 414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3532

[startup+0.701003 s]
/proc/loadavg: 0.92 0.98 0.93 3/106 24080
/proc/meminfo: memFree=1830852/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=5240 CPUtime=0.69
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 1062 0 0 0 69 0 0 0 21 0 1 0 123962162 5365760 883 1992294400 134512640 136421960 4288255488 18446744073709551615 135312046 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24080/statm: 1310 883 145 467 0 841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5240

[startup+1.50115 s]
/proc/loadavg: 0.92 0.98 0.93 2/107 24081
/proc/meminfo: memFree=1826628/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=41740 CPUtime=1.49
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 10604 0 0 0 144 5 0 0 23 0 1 0 123962162 42741760 9614 1992294400 134512640 136421960 4288255488 18446744073709551615 135812090 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 10435 9615 189 467 0 9966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41740

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.93 2/107 24081
/proc/meminfo: memFree=1648936/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=208656 CPUtime=3.09
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 54647 0 0 0 287 22 0 0 25 0 1 0 123962162 213663744 49832 1992294400 134512640 136421960 4288255488 18446744073709551615 135821122 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 52164 49833 236 467 0 51695 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208656

[startup+6.30104 s]
/proc/loadavg: 0.93 0.98 0.93 2/107 24081
/proc/meminfo: memFree=1610620/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=237720 CPUtime=6.28
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 61910 0 0 0 601 27 0 0 25 0 1 0 123962162 243425280 57093 1992294400 134512640 136421960 4288255488 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 59430 57093 236 467 0 58961 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 237720

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.93 2/107 24081
/proc/meminfo: memFree=1553952/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=292152 CPUtime=12.69
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 75518 0 0 0 1228 41 0 0 25 0 1 0 123962162 299163648 70701 1992294400 134512640 136421960 4288255488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 73038 70701 236 467 0 72569 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 292152

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.93 2/107 24081
/proc/meminfo: memFree=1454504/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=387308 CPUtime=25.48
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 99310 0 0 0 2486 62 0 0 25 0 1 0 123962162 396603392 94493 1992294400 134512640 136421960 4288255488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 96827 94493 236 467 0 96358 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 387308

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.93 2/107 24083
/proc/meminfo: memFree=1299008/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=543216 CPUtime=51.07
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 138301 0 0 0 5004 103 0 0 25 0 1 0 123962162 556253184 133484 1992294400 134512640 136421960 4288255488 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 135804 133484 236 467 0 135335 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 543216

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.93 2/107 24083
/proc/meminfo: memFree=1179100/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=660052 CPUtime=102.25
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 167499 0 0 0 10073 152 0 0 25 0 1 0 123962162 675893248 162682 1992294400 134512640 136421960 4288255488 18446744073709551615 134859751 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 165013 162682 236 467 0 164544 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 660052

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24085
/proc/meminfo: memFree=1078164/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=760796 CPUtime=162.24
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 192659 0 0 0 16013 211 0 0 25 0 1 0 123962162 779055104 187842 1992294400 134512640 136421960 4288255488 18446744073709551615 135010283 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 190199 187842 236 467 0 189730 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 760796

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24087
/proc/meminfo: memFree=1078164/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=760796 CPUtime=222.21
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 192659 0 0 0 21967 254 0 0 25 0 1 0 123962162 779055104 187842 1992294400 134512640 136421960 4288255488 18446744073709551615 134859603 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 190199 187842 236 467 0 189730 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 760796

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24089
/proc/meminfo: memFree=979708/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=859104 CPUtime=282.19
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 27912 307 0 0 25 0 1 0 123962162 879722496 212418 1992294400 134512640 136421960 4288255488 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 214776 212418 236 467 0 214307 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 859104

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24091
/proc/meminfo: memFree=987396/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=342.17
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 33859 358 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 135810238 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 850700

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24091
/proc/meminfo: memFree=987396/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=402.15
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 39810 405 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 134860107 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 850700

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24093
/proc/meminfo: memFree=987272/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=462.13
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 45762 451 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 134859748 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 850700

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24095
/proc/meminfo: memFree=987272/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=522.11
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 51719 492 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 850700

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24097
/proc/meminfo: memFree=987272/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=582.09
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 57667 542 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 134865247 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 850700

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24099
/proc/meminfo: memFree=987272/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=642.08
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 63616 592 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 850700

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24105
/proc/meminfo: memFree=987148/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=881.99
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 87413 786 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 850700

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24107
/proc/meminfo: memFree=987148/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=941.97
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 93364 833 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 850700

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24107
/proc/meminfo: memFree=987148/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1001.95
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217236 0 0 0 99328 867 0 0 25 0 1 0 123962162 871116800 210325 1992294400 134512640 136421960 4288255488 18446744073709551615 134643259 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210325 236 467 0 212206 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 850700

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24109
/proc/meminfo: memFree=987148/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1061.93
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217237 0 0 0 105294 899 0 0 25 0 1 0 123962162 871116800 210326 1992294400 134512640 136421960 4288255488 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210326 236 467 0 212206 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 850700

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/107 24111
/proc/meminfo: memFree=987148/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1121.9
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217238 0 0 0 111262 928 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 850700

[startup+1182.3 s]
/proc/loadavg: 1.07 1.00 0.93 2/107 24113
/proc/meminfo: memFree=987024/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1181.89
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217238 0 0 0 117230 959 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 134864132 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 850700

[startup+1242.3 s]
/proc/loadavg: 1.02 1.00 0.93 2/107 24115
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1241.87
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217238 0 0 0 123182 1005 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 850700

[startup+1302.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 24115
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1301.85
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217239 0 0 0 129133 1052 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 134861921 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 850700

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24117
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1361.83
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217239 0 0 0 135084 1099 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 850700

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24119
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1421.81
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217239 0 0 0 141037 1144 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 135810898 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 850700

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24121
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1481.78
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217239 0 0 0 146986 1192 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 134859726 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 850700

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24123
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1541.76
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217239 0 0 0 152931 1245 0 0 25 0 1 0 123962162 871116800 210327 1992294400 134512640 136421960 4288255488 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210327 236 467 0 212206 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 850700

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24123
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1601.75
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217240 0 0 0 158881 1294 0 0 25 0 1 0 123962162 871116800 210328 1992294400 134512640 136421960 4288255488 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210328 236 467 0 212206 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 850700

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24125
/proc/meminfo: memFree=986900/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1661.72
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217240 0 0 0 164836 1336 0 0 25 0 1 0 123962162 871116800 210328 1992294400 134512640 136421960 4288255488 18446744073709551615 134860052 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210328 236 467 0 212206 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 850700

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24136
/proc/meminfo: memFree=986280/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1721.69
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217240 0 0 0 170785 1384 0 0 25 0 1 0 123962162 871116800 210328 1992294400 134512640 136421960 4288255488 18446744073709551615 134864391 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210328 236 467 0 212206 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 850700

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24138
/proc/meminfo: memFree=986280/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1781.67
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217240 0 0 0 176731 1436 0 0 25 0 1 0 123962162 871116800 210328 1992294400 134512640 136421960 4288255488 18446744073709551615 134860102 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210328 236 467 0 212206 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 850700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24138
/proc/meminfo: memFree=986280/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1800.08
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217240 0 0 0 178557 1451 0 0 25 0 1 0 123962162 871116800 210328 1992294400 134512640 136421960 4288255488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210328 236 467 0 212206 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 850700

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 24138
/proc/meminfo: memFree=986280/2059040 swapFree=4139068/4192956
[pid=24080] ppid=24078 vsize=850700 CPUtime=1800.08
/proc/24080/stat : 24080 (pbct) R 24078 24080 23274 0 -1 4202496 217240 0 0 0 178557 1451 0 0 25 0 1 0 123962162 871116800 210328 1992294400 134512640 136421960 4288255488 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24080/statm: 212675 210328 236 467 0 212206 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 850700

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.18
CPU user time (s): 1785.58
CPU system time (s): 14.5968
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 859104

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

runsolver used 3.14252 second user time and 8.33673 second system time

The end