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-4109199-1466341823/watcher-4109199-1466341823 -o /tmp/evaluation-result-4109199-1466341823/solver-4109199-1466341823 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466341823-23145 --watchdog 1960 naps-1.02 HOME/instance-4109199-1466341823.wbo 

pid=23172
running on 4 cores: 0,2,4,6

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: 0.11 0.11 0.09 2/177 23175
/proc/meminfo: memFree=30972240/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=6832 CPUtime=0 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 1 0 36231571 6995968 257 33554432000 4194304 5796924 140735843549680 140734667518232 4350334 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 1708 257 130 392 0 1307 0

[startup+0.100166 s]
/proc/loadavg: 0.11 0.11 0.09 2/177 23175
/proc/meminfo: memFree=30972240/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=8508 CPUtime=0.09 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 2074 0 0 0 9 0 0 0 20 0 1 0 36231571 8712192 1726 33554432000 4194304 5796924 140735843549680 140734667518232 4594185 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 2127 1726 171 392 0 1726 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8508

[startup+0.200318 s]
/proc/loadavg: 0.11 0.11 0.09 2/177 23175
/proc/meminfo: memFree=30972240/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=10692 CPUtime=0.19 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 2432 0 0 0 19 0 0 0 20 0 1 0 36231571 10948608 2082 33554432000 4194304 5796924 140735843549680 140734667518232 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 2673 2082 171 392 0 2272 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10692

[startup+0.300263 s]
/proc/loadavg: 0.11 0.11 0.09 2/177 23175
/proc/meminfo: memFree=30972240/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=15060 CPUtime=0.29 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 2693 0 0 0 29 0 0 0 20 0 1 0 36231571 15421440 2853 33554432000 4194304 5796924 140735843549680 140734667518232 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 3765 2853 171 392 0 3364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15060

[startup+0.700252 s]
/proc/loadavg: 0.11 0.11 0.09 2/177 23175
/proc/meminfo: memFree=30972240/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=17780 CPUtime=0.69 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 3375 0 0 0 69 0 0 0 20 0 1 0 36231571 18206720 4035 33554432000 4194304 5796924 140735843549680 140734667518232 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 4445 4035 171 392 0 4044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17780

[startup+1.50026 s]
/proc/loadavg: 0.11 0.11 0.09 3/178 23176
/proc/meminfo: memFree=30917288/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=29276 CPUtime=1.49 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 3606 0 0 0 149 0 0 0 20 0 1 0 36231571 29978624 6821 33554432000 4194304 5796924 140735843549680 140735843546744 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 7319 6821 171 392 0 6918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29276

[startup+3.10028 s]
/proc/loadavg: 0.26 0.14 0.10 3/178 23176
/proc/meminfo: memFree=30908216/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=40884 CPUtime=3.09 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 5151 0 0 0 308 1 0 0 20 0 1 0 36231571 41865216 7899 33554432000 4194304 5796924 140735843549680 140735843548072 4592000 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 10221 7899 182 392 0 9820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40884

[startup+6.30024 s]
/proc/loadavg: 0.26 0.14 0.10 3/178 23176
/proc/meminfo: memFree=30866476/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=40884 CPUtime=6.29 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 5259 0 0 0 628 1 0 0 20 0 1 0 36231571 41865216 9539 33554432000 4194304 5796924 140735843549680 140735843548072 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 10221 9539 182 392 0 9820 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40884

[startup+12.7003 s]
/proc/loadavg: 0.60 0.22 0.12 3/178 23176
/proc/meminfo: memFree=30873688/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=31376 CPUtime=12.69 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 5981 0 0 0 1268 1 0 0 20 0 1 0 36231571 32129024 7492 33554432000 4194304 5796924 140735843549680 140735843546920 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 7844 7492 182 392 0 7443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31376

[startup+25.5003 s]
/proc/loadavg: 0.82 0.28 0.14 3/178 23176
/proc/meminfo: memFree=30772916/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=68848 CPUtime=25.49 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 7014 0 0 0 2547 2 0 0 20 0 1 0 36231571 70500352 13116 33554432000 4194304 5796924 140735843549680 140735843546920 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 17212 13116 182 392 0 16811 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68848

[startup+51.1003 s]
/proc/loadavg: 1.22 0.41 0.19 3/177 23176
/proc/meminfo: memFree=30771888/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=87704 CPUtime=51.08 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 7333 0 0 0 5106 2 0 0 20 0 1 0 36231571 89808896 15173 33554432000 4194304 5796924 140735843549680 140735843546920 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 21926 15173 182 392 0 21525 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87704

[startup+102.3 s]
/proc/loadavg: 1.84 0.72 0.31 3/177 23177
/proc/meminfo: memFree=30654648/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=87704 CPUtime=102.28 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 7926 0 0 0 10225 3 0 0 20 0 1 0 36231571 89808896 21377 33554432000 4194304 5796924 140735843549680 140735843546920 4592055 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 21926 21377 182 392 0 21525 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 87704

[startup+162.3 s]
/proc/loadavg: 2.00 0.95 0.41 3/177 23178
/proc/meminfo: memFree=30533488/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=87704 CPUtime=162.26 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 11703 0 0 0 16219 7 0 0 20 0 1 0 36231571 89808896 21581 33554432000 4194304 5796924 140735843549680 140735843547144 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 21926 21581 182 392 0 21525 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 87704

[startup+222.307 s]
/proc/loadavg: 2.04 1.17 0.52 3/177 23180
/proc/meminfo: memFree=30721812/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=87704 CPUtime=222.26 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 15746 0 0 0 22213 13 0 0 20 0 1 0 36231571 89808896 21603 33554432000 4194304 5796924 140735843549680 140735843547144 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 21926 21603 182 392 0 21525 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 87704

[startup+282.3 s]
/proc/loadavg: 2.13 1.34 0.61 3/177 23181
/proc/meminfo: memFree=30686060/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=137236 CPUtime=282.24 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 20287 0 0 0 28205 19 0 0 20 0 1 0 36231571 140529664 30794 33554432000 4194304 5796924 140735843549680 140735843546968 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 34309 30794 182 392 0 33908 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 137236

[startup+342.3 s]
/proc/loadavg: 2.10 1.48 0.71 3/177 23182
/proc/meminfo: memFree=30489276/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=87916 CPUtime=342.23 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 23436 0 0 0 34199 24 0 0 20 0 1 0 36231571 90025984 21659 33554432000 4194304 5796924 140735843549680 140735843547144 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 21979 21659 182 392 0 21578 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 87916

[startup+402.3 s]
/proc/loadavg: 2.09 1.58 0.79 4/177 23183
/proc/meminfo: memFree=30407332/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=137236 CPUtime=402.23 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 26590 0 0 0 40193 30 0 0 20 0 1 0 36231571 140529664 31306 33554432000 4194304 5796924 140735843549680 140735843546968 4592020 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 34309 31306 182 392 0 33908 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 137236

[startup+462.3 s]
/proc/loadavg: 2.18 1.70 0.88 3/177 23184
/proc/meminfo: memFree=30471316/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=137236 CPUtime=462.22 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 29298 0 0 0 46188 34 0 0 20 0 1 0 36231571 140529664 29770 33554432000 4194304 5796924 140735843549680 140735843546968 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 34309 29770 182 392 0 33908 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 137236

[startup+522.3 s]
/proc/loadavg: 2.13 1.77 0.95 3/177 23186
/proc/meminfo: memFree=30288736/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=137236 CPUtime=522.21 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 31566 0 0 0 52184 37 0 0 20 0 1 0 36231571 140529664 31818 33554432000 4194304 5796924 140735843549680 140735843546968 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 34309 31818 182 392 0 33908 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 137236

[startup+582.3 s]
/proc/loadavg: 2.09 1.83 1.02 3/178 23190
/proc/meminfo: memFree=30438788/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=137236 CPUtime=582.2 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 33833 0 0 0 58179 41 0 0 20 0 1 0 36231571 140529664 30794 33554432000 4194304 5796924 140735843549680 140735843546968 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 34309 30794 182 392 0 33908 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 137236


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.09 1.39 3/177 23197
/proc/meminfo: memFree=30067576/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=168424 CPUtime=942.14 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 57309 0 0 0 94138 76 0 0 20 0 1 0 36231571 172466176 39612 33554432000 4194304 5796924 140735843549680 140735843546968 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 42106 39612 182 392 0 41705 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 168424

[startup+1002.3 s]
/proc/loadavg: 2.21 2.12 1.45 3/177 23198
/proc/meminfo: memFree=30450848/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=168424 CPUtime=1002.13 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 60429 0 0 0 100132 81 0 0 20 0 1 0 36231571 172466176 39100 33554432000 4194304 5796924 140735843549680 140735843546968 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 42106 39100 182 392 0 41705 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 168424

[startup+1062.3 s]
/proc/loadavg: 2.15 2.11 1.48 3/177 23199
/proc/meminfo: memFree=30251436/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=168424 CPUtime=1062.12 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 63556 0 0 0 106126 86 0 0 20 0 1 0 36231571 172466176 40124 33554432000 4194304 5796924 140735843549680 140735843546968 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 42106 40124 182 392 0 41705 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 168424

[startup+1122.3 s]
/proc/loadavg: 2.13 2.11 1.52 3/177 23201
/proc/meminfo: memFree=30078100/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=199244 CPUtime=1122.11 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 67261 0 0 0 112120 91 0 0 20 0 1 0 36231571 204025856 42751 33554432000 4194304 5796924 140735843549680 140735843547320 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 49811 42751 182 392 0 49410 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 199244

[startup+1182.3 s]
/proc/loadavg: 2.17 2.12 1.56 3/178 23205
/proc/meminfo: memFree=29936816/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=199244 CPUtime=1182.11 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 70058 0 0 0 118115 96 0 0 20 0 1 0 36231571 204025856 41914 33554432000 4194304 5796924 140735843549680 140735843547320 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 49811 41914 182 392 0 49410 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 199244

[startup+1242.3 s]
/proc/loadavg: 2.24 2.14 1.60 3/177 23206
/proc/meminfo: memFree=30316396/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=168424 CPUtime=1242.1 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 72923 0 0 0 124109 101 0 0 20 0 1 0 36231571 172466176 40124 33554432000 4194304 5796924 140735843549680 140735843546968 4606526 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 42106 40124 182 392 0 41705 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 168424

[startup+1302.3 s]
/proc/loadavg: 2.20 2.15 1.63 3/177 23207
/proc/meminfo: memFree=30411680/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=119104 CPUtime=1302.09 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 75601 0 0 0 130103 106 0 0 20 0 1 0 36231571 121962496 29457 33554432000 4194304 5796924 140735843549680 140735843547144 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 29776 29457 182 392 0 29375 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 119104

[startup+1362.3 s]
/proc/loadavg: 2.24 2.16 1.67 3/177 23208
/proc/meminfo: memFree=30185180/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=199244 CPUtime=1362.08 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 78723 0 0 0 136098 110 0 0 20 0 1 0 36231571 204025856 43267 33554432000 4194304 5796924 140735843549680 140735843547320 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 49811 43267 182 392 0 49410 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 199244

[startup+1422.3 s]
/proc/loadavg: 2.18 2.16 1.70 3/177 23210
/proc/meminfo: memFree=30256668/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=168424 CPUtime=1422.08 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 81263 0 0 0 142093 115 0 0 20 0 1 0 36231571 172466176 40128 33554432000 4194304 5796924 140735843549680 140735843546968 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 42106 40128 182 392 0 41705 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 168424

[startup+1482.3 s]
/proc/loadavg: 2.12 2.14 1.72 3/177 23211
/proc/meminfo: memFree=30363376/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=199244 CPUtime=1482.06 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 84974 0 0 0 148086 120 0 0 20 0 1 0 36231571 204025856 44291 33554432000 4194304 5796924 140735843549680 140735843547320 4607198 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 49811 44291 182 392 0 49410 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 199244

[startup+1542.31 s]
/proc/loadavg: 2.13 2.14 1.74 3/177 23212
/proc/meminfo: memFree=30205084/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=199244 CPUtime=1542.06 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 88100 0 0 0 154080 126 0 0 20 0 1 0 36231571 204025856 43779 33554432000 4194304 5796924 140735843549680 140735843547320 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 49811 43779 182 392 0 49410 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 199244

[startup+1602.3 s]
/proc/loadavg: 2.11 2.13 1.76 3/177 23213
/proc/meminfo: memFree=30367248/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=169232 CPUtime=1602.04 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 90843 0 0 0 160074 130 0 0 20 0 1 0 36231571 173293568 39302 33554432000 4194304 5796924 140735843549680 140735843546968 4592160 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 42308 39302 182 392 0 41907 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 169232

[startup+1662.3 s]
/proc/loadavg: 2.11 2.13 1.78 3/177 23214
/proc/meminfo: memFree=30186876/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=201244 CPUtime=1662.04 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 93825 0 0 0 166069 135 0 0 20 0 1 0 36231571 206073856 45299 33554432000 4194304 5796924 140735843549680 140735843547320 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 50311 45299 182 392 0 49910 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 201244

[startup+1722.3 s]
/proc/loadavg: 2.27 2.17 1.81 3/177 23216
/proc/meminfo: memFree=30366144/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=171372 CPUtime=1722.03 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 96607 0 0 0 172063 140 0 0 20 0 1 0 36231571 175484928 41885 33554432000 4194304 5796924 140735843549680 140735843546968 4607194 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 42843 41885 182 392 0 42442 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 171372

[startup+1782.3 s]
/proc/loadavg: 2.40 2.20 1.84 3/178 23220
/proc/meminfo: memFree=30190160/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=203140 CPUtime=1782.02 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 99520 0 0 0 178058 144 0 0 20 0 1 0 36231571 208015360 46285 33554432000 4194304 5796924 140735843549680 140735843547320 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 50785 46285 182 392 0 50384 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 203140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.28 2.19 1.85 3/178 23220
/proc/meminfo: memFree=30164312/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=203708 CPUtime=1800.01 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 100701 0 0 0 179856 145 0 0 20 0 1 0 36231571 208596992 43867 33554432000 4194304 5796924 140735843549680 140735843547320 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 50927 43867 182 392 0 50526 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 203708

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 23175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.28 2.19 1.85 3/178 23220
/proc/meminfo: memFree=30164312/32872528 swapFree=682476/737664
[pid=23175] ppid=23172 vsize=203708 CPUtime=1800.01 cores=0,2,4,6
/proc/23175/stat : 23175 (naps-1.02) R 23172 23175 23129 0 -1 4202496 100701 0 0 0 179856 145 0 0 20 0 1 0 36231571 208596992 43867 33554432000 4194304 5796924 140735843549680 140735843547320 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/23175/statm: 50927 43867 182 392 0 50526 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 203708

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1798.57
CPU system time (s): 1.46178
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 203708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.46178
maximum resident set size= 193144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100711
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= 14
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09238 second user time and 7.40287 second system time

The end