runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4082825-1465238065/watcher-4082825-1465238065 -o /tmp/evaluation-result-4082825-1465238065/solver-4082825-1465238065 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465227048-7039 --watchdog 1960 naps-1.02 HOME/instance-4082825-1465238065.opb 

pid=8139
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8142
/proc/meminfo: memFree=31972880/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=6852 CPUtime=0 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 105737671 7016448 287 33554432000 4194304 5796924 140735429927888 140734943155384 5151211 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 1713 287 128 392 0 1312 0

[startup+0.100159 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8142
/proc/meminfo: memFree=31972880/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=7548 CPUtime=0.09 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 634 0 0 0 9 0 0 0 20 0 1 0 105737671 7729152 493 33554432000 4194304 5796924 140735429927888 140734943155384 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 1887 493 128 392 0 1486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7548

[startup+0.20028 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8142
/proc/meminfo: memFree=31972880/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=8204 CPUtime=0.19 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 881 0 0 0 19 0 0 0 20 0 1 0 105737671 8400896 720 33554432000 4194304 5796924 140735429927888 140734943155384 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 2051 720 128 392 0 1650 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8204

[startup+0.300258 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8142
/proc/meminfo: memFree=31972880/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=8924 CPUtime=0.29 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 1133 0 0 0 29 0 0 0 20 0 1 0 105737671 9138176 951 33554432000 4194304 5796924 140735429927888 140734943155384 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 2231 951 128 392 0 1830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8924

[startup+0.700239 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 8142
/proc/meminfo: memFree=31972880/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=11812 CPUtime=0.69 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 2119 0 0 0 69 0 0 0 20 0 1 0 105737671 12095488 2264 33554432000 4194304 5796924 140735429927888 140734943155384 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 2953 2264 128 392 0 2552 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11812

[startup+1.5003 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 8143
/proc/meminfo: memFree=31961184/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=52928 CPUtime=1.49 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 11406 0 0 0 148 1 0 0 20 0 1 0 105737671 54198272 11091 33554432000 4194304 5796924 140735429927888 140735429927112 4623737 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 13232 11093 158 392 0 12831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52928

[startup+3.10032 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 8143
/proc/meminfo: memFree=31928192/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=54416 CPUtime=3.09 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 12615 0 0 0 307 2 0 0 20 0 1 0 105737671 55721984 11267 33554432000 4194304 5796924 140735429927888 140735429924936 4594608 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 13604 11267 169 392 0 13203 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54416

[startup+6.3003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 8143
/proc/meminfo: memFree=31922560/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=66936 CPUtime=6.29 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 14450 0 0 0 627 2 0 0 20 0 1 0 105737671 68542464 13824 33554432000 4194304 5796924 140735429927888 140735429925128 4591910 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 16734 13824 171 392 0 16333 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66936

[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 8143
/proc/meminfo: memFree=31893856/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=88000 CPUtime=12.68 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 15923 0 0 0 1266 2 0 0 20 0 1 0 105737671 90112000 19826 33554432000 4194304 5796924 140735429927888 140735429925176 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 22000 19826 172 392 0 21599 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88000

[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 8143
/proc/meminfo: memFree=31881496/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=114296 CPUtime=25.48 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 17224 0 0 0 2545 3 0 0 20 0 1 0 105737671 117039104 22520 33554432000 4194304 5796924 140735429927888 140735429925128 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 28574 22520 172 392 0 28173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 114296

[startup+51.1004 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 8143
/proc/meminfo: memFree=31797336/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=114296 CPUtime=51.07 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 18283 0 0 0 5103 4 0 0 20 0 1 0 105737671 117039104 22520 33554432000 4194304 5796924 140735429927888 140735429925352 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 28574 22520 172 392 0 28173 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 114296

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 8144
/proc/meminfo: memFree=31840372/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=114296 CPUtime=102.27 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 20570 0 0 0 10218 9 0 0 20 0 1 0 105737671 117039104 22698 33554432000 4194304 5796924 140735429927888 140735429925352 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 28574 22698 173 392 0 28173 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 114296

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 8145
/proc/meminfo: memFree=31764760/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=176148 CPUtime=162.26 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 23554 0 0 0 16212 14 0 0 20 0 1 0 105737671 180375552 42189 33554432000 4194304 5796924 140735429927888 140735429925176 4607201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 44037 42189 173 392 0 43636 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 176148

[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8146
/proc/meminfo: memFree=31774964/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=176148 CPUtime=222.25 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 25448 0 0 0 22208 17 0 0 20 0 1 0 105737671 180375552 41165 33554432000 4194304 5796924 140735429927888 140735429925176 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 44037 41165 173 392 0 43636 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 176148

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8148
/proc/meminfo: memFree=31729360/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=206968 CPUtime=282.23 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 27001 0 0 0 28203 20 0 0 20 0 1 0 105737671 211935232 48912 33554432000 4194304 5796924 140735429927888 140735429925528 4607582 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 51742 48912 173 392 0 51341 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 206968

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8152
/proc/meminfo: memFree=31809552/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=176148 CPUtime=342.22 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 28614 0 0 0 34198 24 0 0 20 0 1 0 105737671 180375552 40141 33554432000 4194304 5796924 140735429927888 140735429925176 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 44037 40141 173 392 0 43636 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 176148

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8153
/proc/meminfo: memFree=31766564/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=176148 CPUtime=402.21 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 29935 0 0 0 40193 28 0 0 20 0 1 0 105737671 180375552 42230 33554432000 4194304 5796924 140735429927888 140735429925176 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 44037 42230 173 392 0 43636 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 176148

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8154
/proc/meminfo: memFree=31754276/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=176148 CPUtime=462.19 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 31164 0 0 0 46189 30 0 0 20 0 1 0 105737671 180375552 42189 33554432000 4194304 5796924 140735429927888 140735429925176 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 44037 42189 173 392 0 43636 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 176148

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8155
/proc/meminfo: memFree=31753780/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=176148 CPUtime=522.19 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 32541 0 0 0 52185 34 0 0 20 0 1 0 105737671 180375552 42294 33554432000 4194304 5796924 140735429927888 140735429925176 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 44037 42294 173 392 0 43636 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 176148

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8157
/proc/meminfo: memFree=31797728/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=126828 CPUtime=582.18 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 33353 0 0 0 58182 36 0 0 20 0 1 0 105737671 129871872 30081 33554432000 4194304 5796924 140735429927888 140735429925352 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 31707 30081 173 392 0 31306 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 126828


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8163
/proc/meminfo: memFree=31714976/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=257056 CPUtime=882.13 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 38467 0 0 0 88166 47 0 0 20 0 1 0 105737671 263225344 52285 33554432000 4194304 5796924 140735429927888 140735429925528 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 64264 52285 173 392 0 63863 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 257056

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8167
/proc/meminfo: memFree=31798484/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=206968 CPUtime=942.12 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 39423 0 0 0 94162 50 0 0 20 0 1 0 105737671 211935232 43280 33554432000 4194304 5796924 140735429927888 140735429925528 4607607 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 51742 43280 173 392 0 51341 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 206968

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8168
/proc/meminfo: memFree=31738172/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=257056 CPUtime=1002.1 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 39760 0 0 0 100159 51 0 0 20 0 1 0 105737671 263225344 57917 33554432000 4194304 5796924 140735429927888 140735429925528 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 64264 57917 173 392 0 63863 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 257056

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8169
/proc/meminfo: memFree=31724020/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=206968 CPUtime=1062.08 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 41246 0 0 0 106155 53 0 0 20 0 1 0 105737671 211935232 46352 33554432000 4194304 5796924 140735429927888 140735429925528 4607212 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 51742 46352 173 392 0 51341 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 206968

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8170
/proc/meminfo: memFree=31679784/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=257056 CPUtime=1122.07 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 41576 0 0 0 112153 54 0 0 20 0 1 0 105737671 263225344 58941 33554432000 4194304 5796924 140735429927888 140735429925528 4607171 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 64264 58941 173 392 0 63863 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 257056

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8172
/proc/meminfo: memFree=31748360/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=209508 CPUtime=1182.06 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 43689 0 0 0 118149 57 0 0 20 0 1 0 105737671 214536192 45963 33554432000 4194304 5796924 140735429927888 140735429925528 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 52377 45963 173 392 0 51976 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 209508

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8173
/proc/meminfo: memFree=31733512/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=259596 CPUtime=1242.05 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 44030 0 0 0 124146 59 0 0 20 0 1 0 105737671 265826304 59064 33554432000 4194304 5796924 140735429927888 140735429925528 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 64899 59064 173 392 0 64498 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 259596

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8174
/proc/meminfo: memFree=31728468/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=210848 CPUtime=1302.04 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 45840 0 0 0 130142 62 0 0 20 0 1 0 105737671 215908352 44762 33554432000 4194304 5796924 140735429927888 140735429925528 4607192 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 52712 44762 173 392 0 52311 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 210848

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8175
/proc/meminfo: memFree=31685692/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=260936 CPUtime=1362.02 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 46182 0 0 0 136139 63 0 0 20 0 1 0 105737671 267198464 58375 33554432000 4194304 5796924 140735429927888 140735429925528 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 65234 58375 173 392 0 64833 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 260936

[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 8176
/proc/meminfo: memFree=31769508/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=181912 CPUtime=1422 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 47583 0 0 0 142136 64 0 0 20 0 1 0 105737671 186277888 43118 33554432000 4194304 5796924 140735429927888 140735429925176 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 45478 43118 173 392 0 45077 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 181912

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 8177
/proc/meminfo: memFree=31653160/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=262820 CPUtime=1481.98 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 48493 0 0 0 148132 66 0 0 20 0 1 0 105737671 269127680 56286 33554432000 4194304 5796924 140735429927888 140735429925528 4607201 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 65705 56286 173 392 0 65304 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 262820

[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 8182
/proc/meminfo: memFree=31626560/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=344208 CPUtime=1541.98 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 49035 0 0 0 154131 67 0 0 20 0 1 0 105737671 352468992 68574 33554432000 4194304 5796924 140735429927888 140735429925528 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 86052 68574 173 392 0 85651 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 344208

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 8206
/proc/meminfo: memFree=31679196/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=262820 CPUtime=1601.96 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 50372 0 0 0 160127 69 0 0 20 0 1 0 105737671 269127680 52232 33554432000 4194304 5796924 140735429927888 140735429925528 4593507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 65705 52232 173 392 0 65304 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 262820

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8207
/proc/meminfo: memFree=31634452/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=262820 CPUtime=1661.96 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 50397 0 0 0 166126 70 0 0 20 0 1 0 105737671 269127680 64008 33554432000 4194304 5796924 140735429927888 140735429925528 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 65705 64008 173 392 0 65304 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 262820

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8254
/proc/meminfo: memFree=31830020/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=181912 CPUtime=1721.95 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 51332 0 0 0 172123 72 0 0 20 0 1 0 105737671 186277888 43630 33554432000 4194304 5796924 140735429927888 140735429925352 4607261 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 45478 43630 173 392 0 45077 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 181912

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 4/177 8301
/proc/meminfo: memFree=31775636/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=262820 CPUtime=1781.94 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 52248 0 0 0 178121 73 0 0 20 0 1 0 105737671 269127680 57310 33554432000 4194304 5796924 140735429927888 140735429925528 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 65705 57310 173 392 0 65304 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 262820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.00 4/177 8302
/proc/meminfo: memFree=31749136/32872528 swapFree=9100/9100
[pid=8142] ppid=8139 vsize=262820 CPUtime=1800.03 cores=1,3,5,7
/proc/8142/stat : 8142 (naps-1.02) R 8139 8142 7022 0 -1 4202496 52255 0 0 0 179930 73 0 0 20 0 1 0 105737671 269127680 60894 33554432000 4194304 5796924 140735429927888 140735429925528 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/8142/statm: 65705 60894 173 392 0 65304 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 262820

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8142 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.31
CPU system time (s): 0.741887
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 393528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.741887
maximum resident set size= 322896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52267
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= 129
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82227 second user time and 6.63799 second system time

The end