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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668285-1276645854/watcher-2668285-1276645854 -o /tmp/evaluation-result-2668285-1276645854/solver-2668285-1276645854 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668285-1276645854.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.78 1.89 1.60 3/106 7138
/proc/meminfo: memFree=1809664/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=2352 CPUtime=0
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 278 0 0 0 0 0 0 0 17 0 1 0 38241772 2408448 201 1992294400 134512640 136485738 4292871824 18446744073709551615 134533302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7138/statm: 588 201 156 482 0 104 0

[startup+0.0594751 s]
/proc/loadavg: 1.78 1.89 1.60 3/106 7138
/proc/meminfo: memFree=1809664/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=5244 CPUtime=0.05
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 990 0 0 0 5 0 0 0 17 0 1 0 38241772 5369856 913 1992294400 134512640 136485738 4292871824 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 1311 914 194 482 0 827 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5244

[startup+0.100482 s]
/proc/loadavg: 1.78 1.89 1.60 3/106 7138
/proc/meminfo: memFree=1809664/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=10052 CPUtime=0.09
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 2187 0 0 0 8 1 0 0 17 0 1 0 38241772 10293248 2110 1992294400 134512640 136485738 4292871824 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 2513 2111 194 482 0 2029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10052

[startup+0.300519 s]
/proc/loadavg: 1.78 1.89 1.60 3/106 7138
/proc/meminfo: memFree=1809664/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=21204 CPUtime=0.29
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 4994 0 0 0 24 5 0 0 17 0 1 0 38241772 21712896 4881 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5301 4881 244 482 0 4817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21204

[startup+0.700593 s]
/proc/loadavg: 1.78 1.89 1.60 3/106 7138
/proc/meminfo: memFree=1809664/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=21332 CPUtime=0.69
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5010 0 0 0 48 21 0 0 17 0 1 0 38241772 21843968 4897 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5333 4897 244 482 0 4849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21332

[startup+1.50074 s]
/proc/loadavg: 1.78 1.89 1.60 2/107 7139
/proc/meminfo: memFree=1790808/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=21460 CPUtime=1.49
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5049 0 0 0 98 51 0 0 18 0 1 0 38241772 21975040 4936 1992294400 134512640 136485738 4292871824 18446744073709551615 134992483 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5365 4936 244 482 0 4881 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21460

[startup+3.10104 s]
/proc/loadavg: 1.78 1.89 1.60 2/107 7139
/proc/meminfo: memFree=1790436/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=21840 CPUtime=3.09
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5133 0 0 0 200 109 0 0 21 0 1 0 38241772 22364160 5020 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5460 5020 244 482 0 4976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21840

[startup+6.30064 s]
/proc/loadavg: 1.72 1.87 1.60 2/107 7139
/proc/meminfo: memFree=1789940/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=21840 CPUtime=6.29
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5140 0 0 0 400 229 0 0 25 0 1 0 38241772 22364160 5027 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5460 5027 244 482 0 4976 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21840

[startup+12.7008 s]
/proc/loadavg: 1.66 1.86 1.60 2/107 7139
/proc/meminfo: memFree=1789568/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=22092 CPUtime=12.68
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5216 0 0 0 799 469 0 0 25 0 1 0 38241772 22622208 5103 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5523 5103 244 482 0 5039 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22092

[startup+25.5012 s]
/proc/loadavg: 1.51 1.81 1.59 2/107 7141
/proc/meminfo: memFree=1789196/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=22592 CPUtime=25.48
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5332 0 0 0 1595 953 0 0 25 0 1 0 38241772 23134208 5219 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5648 5219 244 482 0 5164 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22592

[startup+51.101 s]
/proc/loadavg: 1.55 1.80 1.59 2/107 7141
/proc/meminfo: memFree=1788576/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23220 CPUtime=51.07
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5491 0 0 0 3191 1916 0 0 25 0 1 0 38241772 23777280 5378 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5805 5378 244 482 0 5321 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23220

[startup+102.309 s]
/proc/loadavg: 1.24 1.67 1.55 2/107 7143
/proc/meminfo: memFree=1788328/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23220 CPUtime=102.26
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5492 0 0 0 6361 3865 0 0 25 0 1 0 38241772 23777280 5378 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5805 5378 244 482 0 5321 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23220

[startup+162.301 s]
/proc/loadavg: 1.20 1.58 1.52 2/107 7143
/proc/meminfo: memFree=1788328/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23220 CPUtime=162.23
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5492 0 0 0 10104 6119 0 0 25 0 1 0 38241772 23777280 5378 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5805 5378 244 482 0 5321 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 23220

[startup+222.301 s]
/proc/loadavg: 1.14 1.49 1.50 2/107 7145
/proc/meminfo: memFree=1788204/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23220 CPUtime=222.21
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5492 0 0 0 13820 8401 0 0 25 0 1 0 38241772 23777280 5378 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5805 5378 244 482 0 5321 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 23220

[startup+282.301 s]
/proc/loadavg: 1.12 1.41 1.47 2/107 7147
/proc/meminfo: memFree=1788204/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23220 CPUtime=282.18
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5492 0 0 0 17578 10640 0 0 25 0 1 0 38241772 23777280 5378 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5805 5378 244 482 0 5321 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 23220

[startup+342.301 s]
/proc/loadavg: 1.26 1.41 1.46 2/107 7149
/proc/meminfo: memFree=1788204/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23220 CPUtime=342.16
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5492 0 0 0 21303 12913 0 0 25 0 1 0 38241772 23777280 5378 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5805 5378 244 482 0 5321 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 23220

[startup+402.301 s]
/proc/loadavg: 1.15 1.35 1.43 2/107 7151
/proc/meminfo: memFree=1788080/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23348 CPUtime=402.14
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5513 0 0 0 25045 15169 0 0 25 0 1 0 38241772 23908352 5399 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5837 5399 244 482 0 5353 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 23348

[startup+462.301 s]
/proc/loadavg: 1.05 1.28 1.40 2/107 7151
/proc/meminfo: memFree=1788080/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23348 CPUtime=462.11
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5513 0 0 0 28772 17439 0 0 25 0 1 0 38241772 23908352 5399 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5837 5399 244 482 0 5353 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 23348

[startup+522.301 s]
/proc/loadavg: 1.07 1.24 1.38 2/107 7153
/proc/meminfo: memFree=1787584/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=23872 CPUtime=522.09
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5647 0 0 0 32494 19715 0 0 25 0 1 0 38241772 24444928 5533 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 5968 5533 244 482 0 5484 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 23872

[startup+582.301 s]
/proc/loadavg: 1.03 1.20 1.35 2/107 7155
/proc/meminfo: memFree=1786964/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24248 CPUtime=582.06
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5763 0 0 0 36302 21904 0 0 25 0 1 0 38241772 24829952 5649 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6062 5649 244 482 0 5578 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 24248

[startup+642.301 s]
/proc/loadavg: 1.25 1.22 1.35 2/107 7166
/proc/meminfo: memFree=1786344/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24248 CPUtime=642.04
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5763 0 0 0 40036 24168 0 0 25 0 1 0 38241772 24829952 5649 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6062 5649 244 482 0 5578 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 24248

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.11 1.17 1.31 2/107 7170
/proc/meminfo: memFree=1786220/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24248 CPUtime=821.96
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5763 0 0 0 51277 30919 0 0 25 0 1 0 38241772 24829952 5649 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6062 5649 244 482 0 5578 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 24248

[startup+882.301 s]
/proc/loadavg: 1.10 1.15 1.29 2/107 7172
/proc/meminfo: memFree=1786220/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24248 CPUtime=881.94
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5763 0 0 0 55021 33173 0 0 25 0 1 0 38241772 24829952 5649 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6062 5649 244 482 0 5578 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 24248

[startup+942.301 s]
/proc/loadavg: 1.15 1.15 1.28 2/107 7174
/proc/meminfo: memFree=1786096/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24248 CPUtime=941.91
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5763 0 0 0 58741 35450 0 0 25 0 1 0 38241772 24829952 5649 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6062 5649 244 482 0 5578 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 24248

[startup+1002.3 s]
/proc/loadavg: 1.05 1.12 1.26 2/107 7176
/proc/meminfo: memFree=1785848/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24616 CPUtime=1001.89
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5831 0 0 0 62493 37696 0 0 25 0 1 0 38241772 25206784 5717 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6154 5717 244 482 0 5670 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 24616

[startup+1062.3 s]
/proc/loadavg: 1.02 1.10 1.24 2/107 7176
/proc/meminfo: memFree=1785848/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24604 CPUtime=1061.87
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5831 0 0 0 66245 39942 0 0 25 0 1 0 38241772 25194496 5717 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6151 5717 244 482 0 5667 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 24604

[startup+1122.3 s]
/proc/loadavg: 1.00 1.08 1.22 2/107 7178
/proc/meminfo: memFree=1785848/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24604 CPUtime=1121.85
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5831 0 0 0 70044 42141 0 0 25 0 1 0 38241772 25194496 5717 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6151 5717 244 482 0 5667 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 24604

[startup+1182.3 s]
/proc/loadavg: 1.00 1.06 1.20 2/107 7180
/proc/meminfo: memFree=1785724/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24604 CPUtime=1181.82
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5848 0 0 0 73799 44383 0 0 25 0 1 0 38241772 25194496 5734 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6151 5734 244 482 0 5667 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 24604

[startup+1242.3 s]
/proc/loadavg: 1.00 1.05 1.19 2/107 7182
/proc/meminfo: memFree=1785724/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=24604 CPUtime=1241.8
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 5848 0 0 0 77535 46645 0 0 25 0 1 0 38241772 25194496 5734 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6151 5734 244 482 0 5667 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 24604

[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.17 2/107 7184
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1301.78
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 81267 48911 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 25228

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.16 2/107 7184
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1361.75
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 84995 51180 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 25228

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.15 2/107 7186
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1421.73
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 88729 53444 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 25228

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.14 2/107 7188
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1481.7
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 92470 55700 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 25228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/107 7190
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1541.68
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 96194 57974 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 25228

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 7192
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1601.66
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 99906 60260 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 25228

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 7192
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1661.63
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 103644 62519 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 25228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 7194
/proc/meminfo: memFree=1784980/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1721.61
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 107368 64793 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 25228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 7196
/proc/meminfo: memFree=1784856/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1781.58
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 111097 67061 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 25228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 7196
/proc/meminfo: memFree=1784856/2059040 swapFree=4140352/4192956
[pid=7138] ppid=7136 vsize=25228 CPUtime=1800.08
/proc/7138/stat : 7138 (pbct) R 7136 7138 6709 0 -1 4202496 6000 0 0 0 112264 67744 0 0 25 0 1 0 38241772 25833472 5885 1992294400 134512640 136485738 4292871824 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/7138/statm: 6307 5885 244 482 0 5823 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 25228

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.81
CPU time (s): 1800.1
CPU user time (s): 1122.65
CPU system time (s): 677.451
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 25228

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

runsolver used 2.99554 second user time and 8.48271 second system time

The end