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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668502-1276510596/watcher-2668502-1276510596 -o /tmp/evaluation-result-2668502-1276510596/solver-2668502-1276510596 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668502-1276510596.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 1.00 3/106 31115
/proc/meminfo: memFree=1778400/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=2352 CPUtime=0
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 26661157 2408448 205 1992294400 134512640 136485738 4294659808 18446744073709551615 135415713 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31115/statm: 588 205 156 482 0 104 0

[startup+0.042831 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31115
/proc/meminfo: memFree=1778400/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=2352 CPUtime=0.04
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 303 0 0 0 4 0 0 0 20 0 1 0 26661157 2408448 226 1992294400 134512640 136485738 4294659808 18446744073709551615 135178785 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31115/statm: 588 227 156 482 0 104 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2352

[startup+0.101842 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31115
/proc/meminfo: memFree=1778400/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=2508 CPUtime=0.1
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 345 0 0 0 10 0 0 0 20 0 1 0 26661157 2568192 268 1992294400 134512640 136485738 4294659808 18446744073709551615 135415648 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31115/statm: 627 268 156 482 0 143 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2508

[startup+0.301877 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31115
/proc/meminfo: memFree=1778400/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=3080 CPUtime=0.29
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 486 0 0 0 29 0 0 0 20 0 1 0 26661157 3153920 409 1992294400 134512640 136485738 4294659808 18446744073709551615 134524832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31115/statm: 770 409 156 482 0 286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3080

[startup+0.70095 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31115
/proc/meminfo: memFree=1778400/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=4264 CPUtime=0.69
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 802 0 0 0 69 0 0 0 20 0 1 0 26661157 4366336 692 1992294400 134512640 136485738 4294659808 18446744073709551615 135180465 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31115/statm: 1066 692 156 482 0 582 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4264

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31116
/proc/meminfo: memFree=1775292/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=6500 CPUtime=1.49
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 1434 0 0 0 149 0 0 0 22 0 1 0 26661157 6656000 1259 1992294400 134512640 136485738 4294659808 18446744073709551615 135848254 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31115/statm: 1625 1259 156 482 0 1141 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6500

[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31116
/proc/meminfo: memFree=1731520/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=201816 CPUtime=3.09
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 52310 0 0 0 290 19 0 0 25 0 1 0 26661157 206659584 48462 1992294400 134512640 136485738 4294659808 18446744073709551615 134607851 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 50454 48462 210 482 0 49970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 201816

[startup+6.30095 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31116
/proc/meminfo: memFree=1560524/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=235340 CPUtime=6.29
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 61275 0 0 0 602 27 0 0 25 0 1 0 26661157 240988160 56497 1992294400 134512640 136485738 4294659808 18446744073709551615 134660778 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 58835 56499 243 482 0 58351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 235340

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31116
/proc/meminfo: memFree=1501872/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=291836 CPUtime=12.68
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 75413 0 0 0 1229 39 0 0 25 0 1 0 26661157 298840064 70635 1992294400 134512640 136485738 4294659808 18446744073709551615 135869167 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 72959 70636 243 482 0 72475 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 291836

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31116
/proc/meminfo: memFree=1398704/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=390536 CPUtime=25.48
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 100077 0 0 0 2486 62 0 0 25 0 1 0 26661157 399908864 95298 1992294400 134512640 136485738 4294659808 18446744073709551615 134883104 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 97634 95298 243 482 0 97150 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 390536

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31118
/proc/meminfo: memFree=1269868/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=517148 CPUtime=51.07
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 131732 0 0 0 5007 100 0 0 25 0 1 0 26661157 529559552 126953 1992294400 134512640 136485738 4294659808 18446744073709551615 134878660 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 129287 126953 243 482 0 128803 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 517148

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31118
/proc/meminfo: memFree=1200180/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=586640 CPUtime=102.26
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149103 0 0 0 10077 149 0 0 25 0 1 0 26661157 600719360 144324 1992294400 134512640 136485738 4294659808 18446744073709551615 134878434 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146660 144324 243 482 0 146176 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 586640

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31120
/proc/meminfo: memFree=1201296/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=162.23
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149104 0 0 0 16019 204 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 134883202 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 584936

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31122
/proc/meminfo: memFree=1201296/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=222.22
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 21967 255 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 135028854 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 584936

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31124
/proc/meminfo: memFree=1201296/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=282.19
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 27913 306 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 134878696 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 584936

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31126
/proc/meminfo: memFree=1201296/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=342.18
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 33861 357 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 134878358 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 584936

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31126
/proc/meminfo: memFree=1201296/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=402.16
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 39812 404 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 584936

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31128
/proc/meminfo: memFree=1201296/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=462.13
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 45775 438 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 584936

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31130
/proc/meminfo: memFree=1201296/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=522.12
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 51723 489 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 584936

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31132
/proc/meminfo: memFree=1201172/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=582.1
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 57668 542 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 584936

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31134
/proc/meminfo: memFree=1201172/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=642.08
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 63618 590 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 584936

[startup+702.3 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31138
/proc/meminfo: memFree=1201048/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=822.02
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 81458 744 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 584936

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31140
/proc/meminfo: memFree=1201048/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=882
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 87422 778 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 134880607 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 584936

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31142
/proc/meminfo: memFree=1201048/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=584936 CPUtime=941.98
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 149105 0 0 0 93381 817 0 0 25 0 1 0 26661157 598974464 143899 1992294400 134512640 136485738 4294659808 18446744073709551615 135041061 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 146234 143899 243 482 0 145750 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 584936

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31142
/proc/meminfo: memFree=1168188/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=618172 CPUtime=1001.95
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 157403 0 0 0 99338 857 0 0 25 0 1 0 26661157 633008128 152197 1992294400 134512640 136485738 4294659808 18446744073709551615 134659607 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 154543 152197 243 482 0 154059 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 618172

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31144
/proc/meminfo: memFree=1167692/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=618704 CPUtime=1061.94
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 157513 0 0 0 105306 888 0 0 25 0 1 0 26661157 633552896 152307 1992294400 134512640 136485738 4294659808 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 154676 152307 243 482 0 154192 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 618704

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31146
/proc/meminfo: memFree=1167692/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=618704 CPUtime=1121.92
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 157513 0 0 0 111262 930 0 0 25 0 1 0 26661157 633552896 152307 1992294400 134512640 136485738 4294659808 18446744073709551615 134882710 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 154676 152307 243 482 0 154192 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 618704

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 31148
/proc/meminfo: memFree=1165212/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=621100 CPUtime=1181.9
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 158112 0 0 0 117209 981 0 0 25 0 1 0 26661157 636006400 152906 1992294400 134512640 136485738 4294659808 18446744073709551615 134883206 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 155275 152906 243 482 0 154791 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 621100

[startup+1242.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31150
/proc/meminfo: memFree=1167196/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=618248 CPUtime=1241.88
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 158112 0 0 0 123159 1029 0 0 25 0 1 0 26661157 633085952 152225 1992294400 134512640 136485738 4294659808 18446744073709551615 134878681 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 154562 152225 243 482 0 154078 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 618248

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31150
/proc/meminfo: memFree=1164220/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=621844 CPUtime=1301.86
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 159003 0 0 0 129111 1075 0 0 25 0 1 0 26661157 636768256 153116 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 155461 153116 243 482 0 154977 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 621844

[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31152
/proc/meminfo: memFree=1166824/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=618668 CPUtime=1361.84
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 159003 0 0 0 135063 1121 0 0 25 0 1 0 26661157 633516032 152330 1992294400 134512640 136485738 4294659808 18446744073709551615 134883246 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 154667 152330 243 482 0 154183 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 618668

[startup+1422.31 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 31154
/proc/meminfo: memFree=1166824/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=618668 CPUtime=1421.83
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 159003 0 0 0 141010 1173 0 0 25 0 1 0 26661157 633516032 152330 1992294400 134512640 136485738 4294659808 18446744073709551615 134661715 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 154667 152330 243 482 0 154183 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 618668

[startup+1482.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 31156
/proc/meminfo: memFree=1166824/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=618668 CPUtime=1481.8
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 159003 0 0 0 146961 1219 0 0 25 0 1 0 26661157 633516032 152330 1992294400 134512640 136485738 4294659808 18446744073709551615 135869167 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 154667 152330 243 482 0 154183 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 618668

[startup+1542.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 31158
/proc/meminfo: memFree=1162360/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=623708 CPUtime=1541.78
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 160257 0 0 0 152919 1259 0 0 25 0 1 0 26661157 638676992 153584 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 155927 153584 243 482 0 155443 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 623708

[startup+1602.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 31158
/proc/meminfo: memFree=1164344/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=621056 CPUtime=1601.76
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 160257 0 0 0 158877 1299 0 0 25 0 1 0 26661157 635961344 152927 1992294400 134512640 136485738 4294659808 18446744073709551615 135849522 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 155264 152927 243 482 0 154780 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 621056

[startup+1662.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 31160
/proc/meminfo: memFree=1164344/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=621056 CPUtime=1661.74
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 160257 0 0 0 164826 1348 0 0 25 0 1 0 26661157 635961344 152927 1992294400 134512640 136485738 4294659808 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 155264 152927 243 482 0 154780 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 621056

[startup+1722.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 31162
/proc/meminfo: memFree=1164344/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=621056 CPUtime=1721.72
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 160257 0 0 0 170778 1394 0 0 25 0 1 0 26661157 635961344 152927 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 155264 152927 243 482 0 154780 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 621056

[startup+1782.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 31164
/proc/meminfo: memFree=1159632/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=626108 CPUtime=1781.69
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 161516 0 0 0 176729 1440 0 0 25 0 1 0 26661157 641134592 154186 1992294400 134512640 136485738 4294659808 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 156527 154186 243 482 0 156043 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 626108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 31164
/proc/meminfo: memFree=1159632/2059040 swapFree=4136716/4192956
[pid=31115] ppid=31113 vsize=626108 CPUtime=1800
/proc/31115/stat : 31115 (pbct) R 31113 31115 30540 0 -1 4202496 161516 0 0 0 178546 1454 0 0 25 0 1 0 26661157 641134592 154186 1992294400 134512640 136485738 4294659808 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31115/statm: 156527 154186 243 482 0 156043 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 626108

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.68
CPU time (s): 1800.08
CPU user time (s): 1785.47
CPU system time (s): 14.6118
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 626108

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

runsolver used 2.96855 second user time and 8.51071 second system time

The end