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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668264-1276643035/watcher-2668264-1276643035 -o /tmp/evaluation-result-2668264-1276643035/solver-2668264-1276643035 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668264-1276643035.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.98 2.00 1.64 3/105 11958
/proc/meminfo: memFree=1783128/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=2208 CPUtime=0
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 265 0 0 0 0 0 0 0 25 0 1 0 5597304 2260992 187 1992294400 134512640 136485738 4290205072 18446744073709551615 135171302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11958/statm: 552 187 157 482 0 68 0

[startup+0.0254899 s]
/proc/loadavg: 1.98 2.00 1.64 3/105 11958
/proc/meminfo: memFree=1783128/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=2208 CPUtime=0.02
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 280 0 0 0 2 0 0 0 25 0 1 0 5597304 2260992 202 1992294400 134512640 136485738 4290205072 18446744073709551615 135559949 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11958/statm: 552 203 157 482 0 68 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2208

[startup+0.101497 s]
/proc/loadavg: 1.98 2.00 1.64 3/105 11958
/proc/meminfo: memFree=1783128/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=5808 CPUtime=0.09
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 1127 0 0 0 9 0 0 0 25 0 1 0 5597304 5947392 1049 1992294400 134512640 136485738 4290205072 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 1452 1051 194 482 0 968 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5808

[startup+0.301519 s]
/proc/loadavg: 1.98 2.00 1.64 3/105 11958
/proc/meminfo: memFree=1783128/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=24452 CPUtime=0.29
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 5821 0 0 0 25 4 0 0 25 0 1 0 5597304 25038848 5568 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6113 5568 244 482 0 5629 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24452

[startup+0.700558 s]
/proc/loadavg: 1.98 2.00 1.64 3/105 11958
/proc/meminfo: memFree=1783128/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=24584 CPUtime=0.69
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 5852 0 0 0 53 16 0 0 25 0 1 0 5597304 25174016 5599 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6146 5599 244 482 0 5662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24584

[startup+1.50064 s]
/proc/loadavg: 1.90 1.98 1.64 2/106 11959
/proc/meminfo: memFree=1761296/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=25244 CPUtime=1.49
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6024 0 0 0 112 37 0 0 25 0 1 0 5597304 25849856 5771 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6311 5771 244 482 0 5827 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25244

[startup+3.1008 s]
/proc/loadavg: 1.90 1.98 1.64 2/106 11959
/proc/meminfo: memFree=1759808/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=26036 CPUtime=3.09
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6214 0 0 0 223 86 0 0 25 0 1 0 5597304 26660864 5961 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6509 5961 244 482 0 6025 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26036

[startup+6.30112 s]
/proc/loadavg: 1.90 1.98 1.64 2/106 11959
/proc/meminfo: memFree=1759436/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=26300 CPUtime=6.29
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6296 0 0 0 448 181 0 0 25 0 1 0 5597304 26931200 6043 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6575 6043 244 482 0 6091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26300

[startup+12.7008 s]
/proc/loadavg: 1.76 1.95 1.63 2/106 11959
/proc/meminfo: memFree=1758832/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=26960 CPUtime=12.69
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6435 0 0 0 897 372 0 0 25 0 1 0 5597304 27607040 6182 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6740 6182 244 482 0 6256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26960

[startup+25.501 s]
/proc/loadavg: 1.64 1.91 1.62 2/106 11959
/proc/meminfo: memFree=1758832/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=26960 CPUtime=25.49
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6443 0 0 0 1795 754 0 0 25 0 1 0 5597304 27607040 6189 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6740 6189 244 482 0 6256 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26960

[startup+51.1016 s]
/proc/loadavg: 1.42 1.84 1.61 2/106 11959
/proc/meminfo: memFree=1758832/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=26960 CPUtime=51.08
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6471 0 0 0 3591 1517 0 0 25 0 1 0 5597304 27607040 6217 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6740 6217 244 482 0 6256 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26960

[startup+102.309 s]
/proc/loadavg: 1.17 1.70 1.57 2/106 11961
/proc/meminfo: memFree=1758088/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=27488 CPUtime=102.28
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6581 0 0 0 7190 3038 0 0 25 0 1 0 5597304 28147712 6327 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 6872 6327 244 482 0 6388 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27488

[startup+162.302 s]
/proc/loadavg: 1.06 1.57 1.53 2/106 11963
/proc/meminfo: memFree=1757468/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=28148 CPUtime=162.25
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6746 0 0 0 11363 4862 0 0 25 0 1 0 5597304 28823552 6492 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7037 6492 244 482 0 6553 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28148

[startup+222.302 s]
/proc/loadavg: 1.02 1.46 1.49 2/106 11965
/proc/meminfo: memFree=1757096/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=28412 CPUtime=222.24
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6833 0 0 0 15587 6637 0 0 25 0 1 0 5597304 29093888 6578 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7103 6578 244 482 0 6619 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 28412

[startup+282.302 s]
/proc/loadavg: 1.01 1.37 1.46 2/106 11967
/proc/meminfo: memFree=1757096/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=28412 CPUtime=282.22
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6833 0 0 0 19783 8439 0 0 25 0 1 0 5597304 29093888 6578 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7103 6578 244 482 0 6619 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 28412

[startup+342.302 s]
/proc/loadavg: 1.00 1.30 1.43 2/106 11967
/proc/meminfo: memFree=1756972/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=28412 CPUtime=342.21
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6833 0 0 0 23976 10245 0 0 25 0 1 0 5597304 29093888 6578 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7103 6578 244 482 0 6619 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 28412

[startup+402.302 s]
/proc/loadavg: 1.00 1.25 1.40 2/106 11969
/proc/meminfo: memFree=1756972/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=28544 CPUtime=402.19
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6866 0 0 0 28177 12042 0 0 25 0 1 0 5597304 29229056 6611 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7136 6611 244 482 0 6652 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 28544

[startup+462.302 s]
/proc/loadavg: 1.00 1.20 1.37 2/106 11971
/proc/meminfo: memFree=1756848/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=28808 CPUtime=462.17
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6920 0 0 0 32409 13808 0 0 25 0 1 0 5597304 29499392 6665 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7202 6665 244 482 0 6718 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 28808

[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.35 2/106 11973
/proc/meminfo: memFree=1756848/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=28808 CPUtime=522.16
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 6920 0 0 0 36594 15622 0 0 25 0 1 0 5597304 29499392 6665 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7202 6665 244 482 0 6718 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 28808

[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.32 2/106 11975
/proc/meminfo: memFree=1755980/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29600 CPUtime=582.14
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7118 0 0 0 40787 17427 0 0 25 0 1 0 5597304 30310400 6863 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7400 6863 244 482 0 6916 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 29600

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.30 2/106 11975
/proc/meminfo: memFree=1755856/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29600 CPUtime=642.14
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7118 0 0 0 45003 19211 0 0 25 0 1 0 5597304 30310400 6863 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7400 6863 244 482 0 6916 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 29600

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.04 1.22 2/106 11983
/proc/meminfo: memFree=1755608/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29600 CPUtime=882.07
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7118 0 0 0 61802 26405 0 0 25 0 1 0 5597304 30310400 6863 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7400 6863 244 482 0 6916 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 29600

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.20 2/106 11983
/proc/meminfo: memFree=1755484/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29600 CPUtime=942.05
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7118 0 0 0 66040 28165 0 0 25 0 1 0 5597304 30310400 6863 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7400 6863 244 482 0 6916 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 29600

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.19 2/106 11985
/proc/meminfo: memFree=1755484/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29996 CPUtime=1002.04
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7208 0 0 0 70402 29802 0 0 25 0 1 0 5597304 30715904 6953 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7499 6953 244 482 0 7015 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 29996

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.17 2/106 11987
/proc/meminfo: memFree=1755360/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29996 CPUtime=1062.02
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7208 0 0 0 74665 31537 0 0 25 0 1 0 5597304 30715904 6953 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7499 6953 244 482 0 7015 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 29996

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/106 11989
/proc/meminfo: memFree=1755360/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29996 CPUtime=1122.01
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7208 0 0 0 78857 33344 0 0 25 0 1 0 5597304 30715904 6953 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7499 6953 244 482 0 7015 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 29996

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/106 11991
/proc/meminfo: memFree=1755236/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29996 CPUtime=1182
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7208 0 0 0 83074 35126 0 0 25 0 1 0 5597304 30715904 6953 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7499 6953 244 482 0 7015 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 29996

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 11991
/proc/meminfo: memFree=1754988/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29996 CPUtime=1241.98
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7208 0 0 0 87253 36945 0 0 25 0 1 0 5597304 30715904 6953 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7499 6953 244 482 0 7015 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 29996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 11993
/proc/meminfo: memFree=1754864/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=29996 CPUtime=1301.97
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7208 0 0 0 91469 38728 0 0 25 0 1 0 5597304 30715904 6953 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7499 6953 244 482 0 7015 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 29996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 11995
/proc/meminfo: memFree=1754616/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30392 CPUtime=1361.95
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7306 0 0 0 95691 40504 0 0 25 0 1 0 5597304 31121408 7051 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7598 7051 244 482 0 7114 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 30392

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 11997
/proc/meminfo: memFree=1754616/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30392 CPUtime=1421.94
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7306 0 0 0 99908 42286 0 0 25 0 1 0 5597304 31121408 7051 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7598 7051 244 482 0 7114 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 30392

[startup+1482.3 s]
/proc/loadavg: 1.09 1.03 1.10 2/106 11999
/proc/meminfo: memFree=1754616/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1481.92
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7335 0 0 0 104113 44079 0 0 25 0 1 0 5597304 31256576 7080 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7080 244 482 0 7147 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 30524

[startup+1542.3 s]
/proc/loadavg: 1.03 1.02 1.09 2/106 11999
/proc/meminfo: memFree=1754616/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1541.9
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7335 0 0 0 108369 45821 0 0 25 0 1 0 5597304 31256576 7080 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7080 244 482 0 7147 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 30524

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.08 2/106 12001
/proc/meminfo: memFree=1754492/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1601.89
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7335 0 0 0 112592 47597 0 0 25 0 1 0 5597304 31256576 7080 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7080 244 482 0 7147 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 30524

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/106 12003
/proc/meminfo: memFree=1754368/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1661.87
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7335 0 0 0 116803 49384 0 0 25 0 1 0 5597304 31256576 7080 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7080 244 482 0 7147 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 30524

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 12005
/proc/meminfo: memFree=1754244/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1721.86
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7357 0 0 0 120997 51189 0 0 25 0 1 0 5597304 31256576 7102 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7102 244 482 0 7147 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 30524

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 12010
/proc/meminfo: memFree=1753748/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1781.84
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7357 0 0 0 125248 52936 0 0 25 0 1 0 5597304 31256576 7102 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7102 244 482 0 7147 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 30524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 12010
/proc/meminfo: memFree=1753748/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1800.04
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7357 0 0 0 126516 53488 0 0 25 0 1 0 5597304 31256576 7102 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7102 244 482 0 7147 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 30524

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 1.07 2/106 12010
/proc/meminfo: memFree=1753748/2059040 swapFree=4164948/4192956
[pid=11958] ppid=11956 vsize=30524 CPUtime=1800.04
/proc/11958/stat : 11958 (pbct) R 11956 11958 11843 0 -1 4202496 7357 0 0 0 126516 53488 0 0 25 0 1 0 5597304 31256576 7102 1992294400 134512640 136485738 4290205072 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11958/statm: 7631 7102 244 482 0 7147 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 30524

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1265.17
CPU system time (s): 534.89
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 30524

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

runsolver used 3.18751 second user time and 8.29074 second system time

The end