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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682253-1277480116/watcher-2682253-1277480116 -o /tmp/evaluation-result-2682253-1277480116/solver-2682253-1277480116 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682253-1277480116.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.91 3/106 26475
/proc/meminfo: memFree=1823268/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=2280 CPUtime=0
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 123613131 2334720 193 1992294400 134512640 136421960 4294305440 18446744073709551615 134540395 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26475/statm: 570 193 145 467 0 101 0

[startup+0.011254 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 26475
/proc/meminfo: memFree=1823268/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=2280 CPUtime=0.01
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 274 0 0 0 1 0 0 0 20 0 1 0 123613131 2334720 193 1992294400 134512640 136421960 4294305440 18446744073709551615 135717567 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26475/statm: 570 193 145 467 0 101 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2280

[startup+0.101269 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 26475
/proc/meminfo: memFree=1823268/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=2408 CPUtime=0.09
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 319 0 0 0 9 0 0 0 20 0 1 0 123613131 2465792 238 1992294400 134512640 136421960 4294305440 18446744073709551615 135378032 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26475/statm: 602 238 145 467 0 133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2408

[startup+0.301308 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 26475
/proc/meminfo: memFree=1823268/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=23448 CPUtime=0.29
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 5677 0 0 0 27 2 0 0 20 0 1 0 123613131 24010752 5375 1992294400 134512640 136421960 4294305440 18446744073709551615 135809647 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 5862 5375 204 467 0 5393 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23448

[startup+0.701386 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 26475
/proc/meminfo: memFree=1823268/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=25304 CPUtime=0.69
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 6137 0 0 0 62 7 0 0 21 0 1 0 123613131 25911296 5831 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 6326 5831 237 467 0 5857 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25304

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26476
/proc/meminfo: memFree=1800444/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=26096 CPUtime=1.49
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 6345 0 0 0 127 22 0 0 23 0 1 0 123613131 26722304 6039 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 6524 6039 237 467 0 6055 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26096

[startup+3.10186 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26476
/proc/meminfo: memFree=1799328/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=26624 CPUtime=3.09
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 6454 0 0 0 256 53 0 0 25 0 1 0 123613131 27262976 6148 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 6656 6148 237 467 0 6187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26624

[startup+6.30148 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26476
/proc/meminfo: memFree=1798088/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=27680 CPUtime=6.29
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 6728 0 0 0 510 119 0 0 25 0 1 0 123613131 28344320 6422 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 6920 6422 237 467 0 6451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27680

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26476
/proc/meminfo: memFree=1796352/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=29264 CPUtime=12.68
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 7111 0 0 0 1024 244 0 0 25 0 1 0 123613131 29966336 6805 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 7316 6805 237 467 0 6847 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29264

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26476
/proc/meminfo: memFree=1796352/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=29264 CPUtime=25.49
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 7112 0 0 0 2078 471 0 0 25 0 1 0 123613131 29966336 6805 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 7316 6805 237 467 0 6847 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29264

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26476
/proc/meminfo: memFree=1796104/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=29528 CPUtime=51.07
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 7188 0 0 0 4130 977 0 0 25 0 1 0 123613131 30236672 6881 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 7382 6881 237 467 0 6913 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29528

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26478
/proc/meminfo: memFree=1794740/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=30848 CPUtime=102.26
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 7509 0 0 0 8314 1912 0 0 25 0 1 0 123613131 31588352 7202 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 7712 7202 237 467 0 7243 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30848

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26480
/proc/meminfo: memFree=1794368/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=31112 CPUtime=162.23
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 7574 0 0 0 13209 3014 0 0 25 0 1 0 123613131 31858688 7267 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 7778 7267 237 467 0 7309 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31112

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26482
/proc/meminfo: memFree=1793376/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=32036 CPUtime=222.21
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 7820 0 0 0 18148 4073 0 0 25 0 1 0 123613131 32804864 7513 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8009 7513 237 467 0 7540 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32036

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26482
/proc/meminfo: memFree=1792756/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=32564 CPUtime=282.18
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 7967 0 0 0 23167 5051 0 0 25 0 1 0 123613131 33345536 7660 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8141 7660 237 467 0 7672 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 32564

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26484
/proc/meminfo: memFree=1791888/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=33488 CPUtime=342.15
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8178 0 0 0 28011 6204 0 0 25 0 1 0 123613131 34291712 7871 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8372 7871 237 467 0 7903 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 33488

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26486
/proc/meminfo: memFree=1791764/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=33488 CPUtime=402.13
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8179 0 0 0 32903 7310 0 0 25 0 1 0 123613131 34291712 7871 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8372 7871 237 467 0 7903 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 33488

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26488
/proc/meminfo: memFree=1791764/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=33488 CPUtime=462.11
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8179 0 0 0 37764 8447 0 0 25 0 1 0 123613131 34291712 7871 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8372 7871 237 467 0 7903 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 33488

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26490
/proc/meminfo: memFree=1791640/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=33488 CPUtime=522.09
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8179 0 0 0 42887 9322 0 0 25 0 1 0 123613131 34291712 7871 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8372 7871 237 467 0 7903 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 33488

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26490
/proc/meminfo: memFree=1791640/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=33488 CPUtime=582.06
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8179 0 0 0 47759 10447 0 0 25 0 1 0 123613131 34291712 7871 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8372 7871 237 467 0 7903 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 33488

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26492
/proc/meminfo: memFree=1791268/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=33752 CPUtime=642.04
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8252 0 0 0 52627 11577 0 0 25 0 1 0 123613131 34562048 7944 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8438 7944 237 467 0 7969 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 33752

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26498
/proc/meminfo: memFree=1790896/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=34016 CPUtime=821.96
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8314 0 0 0 67353 14843 0 0 25 0 1 0 123613131 34832384 8006 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8504 8006 237 467 0 8035 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 34016

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26498
/proc/meminfo: memFree=1790772/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=34016 CPUtime=881.94
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8332 0 0 0 72303 15891 0 0 25 0 1 0 123613131 34832384 8024 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8504 8024 237 467 0 8035 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 34016

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26500
/proc/meminfo: memFree=1790524/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=34280 CPUtime=941.92
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8398 0 0 0 77166 17026 0 0 25 0 1 0 123613131 35102720 8090 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8570 8090 237 467 0 8101 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 34280

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26502
/proc/meminfo: memFree=1789408/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=35336 CPUtime=1001.9
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8637 0 0 0 82352 17838 0 0 25 0 1 0 123613131 36184064 8329 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8834 8329 237 467 0 8365 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 35336

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26504
/proc/meminfo: memFree=1788788/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=35864 CPUtime=1061.86
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8785 0 0 0 87609 18577 0 0 25 0 1 0 123613131 36724736 8477 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8966 8477 237 467 0 8497 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 35864

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26506
/proc/meminfo: memFree=1788788/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=35864 CPUtime=1121.85
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8785 0 0 0 92706 19479 0 0 25 0 1 0 123613131 36724736 8477 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8966 8477 237 467 0 8497 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 35864

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26506
/proc/meminfo: memFree=1788788/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=35864 CPUtime=1181.82
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8785 0 0 0 97538 20644 0 0 25 0 1 0 123613131 36724736 8477 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8966 8477 237 467 0 8497 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 35864

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26508
/proc/meminfo: memFree=1788664/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=35864 CPUtime=1241.8
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8785 0 0 0 102454 21726 0 0 25 0 1 0 123613131 36724736 8477 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8966 8477 237 467 0 8497 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 35864

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26510
/proc/meminfo: memFree=1788416/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=35996 CPUtime=1301.78
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8828 0 0 0 107305 22873 0 0 25 0 1 0 123613131 36859904 8520 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 8999 8520 237 467 0 8530 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 35996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26512
/proc/meminfo: memFree=1788168/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=36260 CPUtime=1361.75
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8880 0 0 0 112311 23864 0 0 25 0 1 0 123613131 37130240 8572 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9065 8572 237 467 0 8596 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 36260

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26514
/proc/meminfo: memFree=1787796/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=36656 CPUtime=1421.73
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8969 0 0 0 117119 25054 0 0 25 0 1 0 123613131 37535744 8661 1992294400 134512640 136421960 4294305440 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9164 8661 237 467 0 8695 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 36656

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26514
/proc/meminfo: memFree=1787796/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=36656 CPUtime=1481.7
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 8969 0 0 0 122046 26124 0 0 25 0 1 0 123613131 37535744 8661 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9164 8661 237 467 0 8695 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 36656

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26516
/proc/meminfo: memFree=1787424/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=36920 CPUtime=1541.67
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 9032 0 0 0 127090 27077 0 0 25 0 1 0 123613131 37806080 8724 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9230 8724 237 467 0 8761 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 36920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26527
/proc/meminfo: memFree=1786928/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=37316 CPUtime=1601.64
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 9154 0 0 0 132008 28156 0 0 25 0 1 0 123613131 38211584 8846 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9329 8846 237 467 0 8860 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 37316

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26529
/proc/meminfo: memFree=1786928/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=37316 CPUtime=1661.61
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 9154 0 0 0 136849 29312 0 0 25 0 1 0 123613131 38211584 8846 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9329 8846 237 467 0 8860 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 37316

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26531
/proc/meminfo: memFree=1786928/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=37316 CPUtime=1721.59
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 9154 0 0 0 141764 30395 0 0 25 0 1 0 123613131 38211584 8846 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9329 8846 237 467 0 8860 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 37316

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 26531
/proc/meminfo: memFree=1786804/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=37448 CPUtime=1781.57
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 9171 0 0 0 146666 31491 0 0 25 0 1 0 123613131 38346752 8863 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9362 8863 237 467 0 8893 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 37448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.91 3/107 26533
/proc/meminfo: memFree=1786432/2059040 swapFree=4136000/4192956
[pid=26475] ppid=26473 vsize=37844 CPUtime=1800.07
/proc/26475/stat : 26475 (pbct) R 26473 26475 25911 0 -1 4202496 9260 0 0 0 148199 31808 0 0 25 0 1 0 123613131 38752256 8952 1992294400 134512640 136421960 4294305440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/26475/statm: 9461 8952 237 467 0 8992 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 37844

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.82
CPU time (s): 1800.09
CPU user time (s): 1481.99
CPU system time (s): 318.096
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 37844

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

runsolver used 2.95955 second user time and 8.5167 second system time

The end