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-4118459-1467237878/watcher-4118459-1467237878 -o /tmp/evaluation-result-4118459-1467237878/solver-4118459-1467237878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467237877-15157 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118459-1467237878.opb 

pid=15174
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.33 2.34 2.18 3/170 15177
/proc/meminfo: memFree=20785116/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=7128 CPUtime=0 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 4739006 7299072 328 33554432000 4194304 5796924 140735256338912 140734459727976 4623680 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 1782 328 128 392 0 1381 0

[startup+0.100159 s]
/proc/loadavg: 2.33 2.34 2.18 3/170 15177
/proc/meminfo: memFree=20785116/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=7692 CPUtime=0.09 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 651 0 0 0 9 0 0 0 20 0 1 0 4739006 7876608 506 33554432000 4194304 5796924 140735256338912 140734459727976 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 1923 506 128 392 0 1522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7692

[startup+0.200278 s]
/proc/loadavg: 2.33 2.34 2.18 3/170 15177
/proc/meminfo: memFree=20785116/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=9528 CPUtime=0.19 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 1200 0 0 0 19 0 0 0 20 0 1 0 4739006 9756672 1036 33554432000 4194304 5796924 140735256338912 140734459727976 4648367 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 2382 1036 147 392 0 1981 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9528

[startup+0.300278 s]
/proc/loadavg: 2.33 2.34 2.18 3/170 15177
/proc/meminfo: memFree=20785116/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=27740 CPUtime=0.29 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 6020 0 0 0 29 0 0 0 20 0 1 0 4739006 28405760 6106 33554432000 4194304 5796924 140735256338912 140734459727976 4564248 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 6935 6108 167 392 0 6534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27740

[startup+0.700295 s]
/proc/loadavg: 2.33 2.34 2.18 3/170 15177
/proc/meminfo: memFree=20785116/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=95864 CPUtime=0.68 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 21183 0 0 0 66 2 0 0 20 0 1 0 4739006 98164736 21500 33554432000 4194304 5796924 140735256338912 140735256336120 4609815 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 23966 21500 167 392 0 23565 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 95864

[startup+1.50026 s]
/proc/loadavg: 2.33 2.34 2.18 3/177 15188
/proc/meminfo: memFree=20679424/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=94116 CPUtime=1.48 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 23428 0 0 0 145 3 0 0 20 0 1 0 4739006 96374784 21632 33554432000 4194304 5796924 140735256338912 140735256336120 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 23529 21632 177 392 0 23128 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 94116

[startup+3.10029 s]
/proc/loadavg: 2.33 2.34 2.18 3/177 15188
/proc/meminfo: memFree=20683764/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=94504 CPUtime=3.08 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 23591 0 0 0 305 3 0 0 20 0 1 0 4739006 96772096 21793 33554432000 4194304 5796924 140735256338912 140735256335960 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 23626 21793 178 392 0 23225 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 94504

[startup+6.3003 s]
/proc/loadavg: 2.30 2.34 2.17 3/177 15188
/proc/meminfo: memFree=20665096/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=112736 CPUtime=6.29 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 24398 0 0 0 625 4 0 0 20 0 1 0 4739006 115441664 25639 33554432000 4194304 5796924 140735256338912 140735256335976 4607171 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 28184 25639 178 392 0 27783 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112736

[startup+12.7003 s]
/proc/loadavg: 2.27 2.33 2.17 4/177 15188
/proc/meminfo: memFree=20661956/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=112736 CPUtime=12.69 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 24399 0 0 0 1265 4 0 0 20 0 1 0 4739006 115441664 26151 33554432000 4194304 5796924 140735256338912 140735256335976 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 28184 26151 178 392 0 27783 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112736

[startup+25.5004 s]
/proc/loadavg: 2.28 2.33 2.18 3/177 15188
/proc/meminfo: memFree=20642292/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=119920 CPUtime=25.48 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 25549 0 0 0 2544 4 0 0 20 0 1 0 4739006 122798080 28262 33554432000 4194304 5796924 140735256338912 140735256335976 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 29980 28262 178 392 0 29579 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 119920

[startup+51.1004 s]
/proc/loadavg: 2.18 2.30 2.17 3/177 15188
/proc/meminfo: memFree=20656004/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=112736 CPUtime=51.08 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 27055 0 0 0 5103 5 0 0 20 0 1 0 4739006 115441664 24895 33554432000 4194304 5796924 140735256338912 140735256336152 4591892 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 28184 24895 178 392 0 27783 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 112736

[startup+102.3 s]
/proc/loadavg: 2.12 2.27 2.17 4/177 15189
/proc/meminfo: memFree=20624300/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=143196 CPUtime=102.28 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 28572 0 0 0 10223 5 0 0 20 0 1 0 4739006 146632704 29907 33554432000 4194304 5796924 140735256338912 140735256336152 4583342 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 35799 29907 178 392 0 35398 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 143196

[startup+162.3 s]
/proc/loadavg: 2.14 2.25 2.17 3/177 15190
/proc/meminfo: memFree=20594024/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=155536 CPUtime=162.27 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 28772 0 0 0 16221 6 0 0 20 0 1 0 4739006 159268864 35647 33554432000 4194304 5796924 140735256338912 140735256336152 4592310 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 38884 35647 178 392 0 38483 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 155536

[startup+222.307 s]
/proc/loadavg: 2.15 2.23 2.16 3/177 15192
/proc/meminfo: memFree=20583108/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=155536 CPUtime=222.26 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 28929 0 0 0 22219 7 0 0 20 0 1 0 4739006 159268864 37193 33554432000 4194304 5796924 140735256338912 140735256336376 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 38884 37193 178 392 0 38483 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 155536

[startup+282.3 s]
/proc/loadavg: 2.16 2.21 2.16 4/177 15193
/proc/meminfo: memFree=20543440/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=204856 CPUtime=282.25 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 29077 0 0 0 28217 8 0 0 20 0 1 0 4739006 209772544 45952 33554432000 4194304 5796924 140735256338912 140735256336200 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 51214 45952 178 392 0 50813 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 204856

[startup+342.3 s]
/proc/loadavg: 2.35 2.26 2.18 3/178 15197
/proc/meminfo: memFree=20571556/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=342.23 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 29214 0 0 0 34215 8 0 0 20 0 1 0 4739006 178638848 37254 33554432000 4194304 5796924 140735256338912 140735256336376 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 37254 178 392 0 43212 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 174452

[startup+402.3 s]
/proc/loadavg: 2.39 2.29 2.19 3/177 15198
/proc/meminfo: memFree=20571208/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=402.23 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 29878 0 0 0 40213 10 0 0 20 0 1 0 4739006 178638848 37254 33554432000 4194304 5796924 140735256338912 140735256336376 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 37254 178 392 0 43212 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 174452

[startup+462.3 s]
/proc/loadavg: 2.35 2.29 2.20 4/177 15245
/proc/meminfo: memFree=20588988/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=462.22 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 30260 0 0 0 46211 11 0 0 20 0 1 0 4739006 178638848 37254 33554432000 4194304 5796924 140735256338912 140735256336376 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 37254 178 392 0 43212 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 174452

[startup+522.3 s]
/proc/loadavg: 2.22 2.27 2.19 4/176 15246
/proc/meminfo: memFree=20569432/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=522.21 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 30925 0 0 0 52208 13 0 0 20 0 1 0 4739006 178638848 37254 33554432000 4194304 5796924 140735256338912 140735256336376 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 37254 178 392 0 43212 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 174452

[startup+582.3 s]
/proc/loadavg: 2.33 2.29 2.20 3/177 15248
/proc/meminfo: memFree=20485908/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=582.2 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 31585 0 0 0 58205 15 0 0 20 0 1 0 4739006 260702208 50688 33554432000 4194304 5796924 140735256338912 140735256336552 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 50688 178 392 0 63247 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 254592

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


[startup+942.3 s]
/proc/loadavg: 2.36 2.31 2.22 3/178 15259
/proc/meminfo: memFree=20472888/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=223772 CPUtime=942.15 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 34417 0 0 0 94193 22 0 0 20 0 1 0 4739006 229142528 45079 33554432000 4194304 5796924 140735256338912 140735256336200 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 55943 45079 178 392 0 55542 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 223772

[startup+1002.3 s]
/proc/loadavg: 2.31 2.31 2.22 4/177 15260
/proc/meminfo: memFree=20465720/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=1002.12 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 35035 0 0 0 100189 23 0 0 20 0 1 0 4739006 260702208 55255 33554432000 4194304 5796924 140735256338912 140735256336552 4595452 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 55255 178 392 0 63247 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 254592

[startup+1062.3 s]
/proc/loadavg: 2.39 2.33 2.23 3/177 15261
/proc/meminfo: memFree=20480916/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=1062.12 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 35696 0 0 0 106187 25 0 0 20 0 1 0 4739006 260702208 51510 33554432000 4194304 5796924 140735256338912 140735256336552 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 51510 178 392 0 63247 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 254592

[startup+1122.3 s]
/proc/loadavg: 2.29 2.31 2.23 3/177 15262
/proc/meminfo: memFree=20481420/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=1122.11 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 36142 0 0 0 112185 26 0 0 20 0 1 0 4739006 178638848 38588 33554432000 4194304 5796924 140735256338912 140735256336376 4606645 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 38588 178 392 0 43212 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 174452

[startup+1182.3 s]
/proc/loadavg: 2.20 2.28 2.22 3/177 15264
/proc/meminfo: memFree=20461132/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=1182.09 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 36808 0 0 0 118182 27 0 0 20 0 1 0 4739006 178638848 38588 33554432000 4194304 5796924 140735256338912 140735256336376 4606799 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 38588 178 392 0 43212 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 174452

[startup+1242.3 s]
/proc/loadavg: 2.37 2.30 2.23 4/177 15265
/proc/meminfo: memFree=20427376/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=1242.08 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 37475 0 0 0 124179 29 0 0 20 0 1 0 4739006 260702208 51510 33554432000 4194304 5796924 140735256338912 140735256336552 4592003 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 51510 178 392 0 63247 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 254592

[startup+1302.3 s]
/proc/loadavg: 2.22 2.28 2.22 3/177 15266
/proc/meminfo: memFree=20466852/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=1302.08 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 37487 0 0 0 130178 30 0 0 20 0 1 0 4739006 178638848 38588 33554432000 4194304 5796924 140735256338912 140735256336376 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 38588 178 392 0 43212 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 174452

[startup+1362.3 s]
/proc/loadavg: 2.31 2.28 2.23 3/177 15267
/proc/meminfo: memFree=20402636/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=1362.07 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 38152 0 0 0 136175 32 0 0 20 0 1 0 4739006 260702208 53046 33554432000 4194304 5796924 140735256338912 140735256336552 4606514 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 53046 178 392 0 63247 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 254592

[startup+1422.3 s]
/proc/loadavg: 2.38 2.31 2.24 3/177 15268
/proc/meminfo: memFree=20513028/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=1422.06 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 38984 0 0 0 142173 33 0 0 20 0 1 0 4739006 178638848 38588 33554432000 4194304 5796924 140735256338912 140735256336376 4594694 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 38588 178 392 0 43212 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 174452

[startup+1482.3 s]
/proc/loadavg: 2.25 2.28 2.23 3/177 15270
/proc/meminfo: memFree=20465552/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=223772 CPUtime=1482.05 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 39360 0 0 0 148171 34 0 0 20 0 1 0 4739006 229142528 50714 33554432000 4194304 5796924 140735256338912 140735256336200 4592304 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 55943 50714 178 392 0 55542 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 223772

[startup+1542.31 s]
/proc/loadavg: 2.23 2.27 2.23 3/178 15274
/proc/meminfo: memFree=20512880/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=174452 CPUtime=1542.05 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 39766 0 0 0 154170 35 0 0 20 0 1 0 4739006 178638848 38588 33554432000 4194304 5796924 140735256338912 140735256336376 4606755 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 43613 38588 178 392 0 43212 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 174452

[startup+1602.3 s]
/proc/loadavg: 2.29 2.28 2.23 3/177 15275
/proc/meminfo: memFree=20430864/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=1602.04 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 40390 0 0 0 160167 37 0 0 20 0 1 0 4739006 260702208 50964 33554432000 4194304 5796924 140735256338912 140735256336200 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 50964 178 392 0 63247 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 254592

[startup+1662.3 s]
/proc/loadavg: 2.26 2.27 2.23 3/177 15276
/proc/meminfo: memFree=20380540/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=1662.02 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 40752 0 0 0 166165 37 0 0 20 0 1 0 4739006 260702208 58477 33554432000 4194304 5796924 140735256338912 140735256336552 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 58477 178 392 0 63247 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 254592

[startup+1722.3 s]
/proc/loadavg: 2.23 2.26 2.23 3/177 15277
/proc/meminfo: memFree=20414480/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=223772 CPUtime=1722.01 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 41336 0 0 0 172162 39 0 0 20 0 1 0 4739006 229142528 49907 33554432000 4194304 5796924 140735256338912 140735256336200 4596163 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 55943 49907 178 392 0 55542 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 223772

[startup+1782.3 s]
/proc/loadavg: 2.33 2.29 2.24 3/177 15279
/proc/meminfo: memFree=20372564/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=254592 CPUtime=1782 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 41934 0 0 0 178160 40 0 0 20 0 1 0 4739006 260702208 57142 33554432000 4194304 5796924 140735256338912 140735256336552 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 63648 57142 178 392 0 63247 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 254592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.33 2.29 2.24 3/177 15279
/proc/meminfo: memFree=20353020/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=304680 CPUtime=1800 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 42751 0 0 0 179959 41 0 0 20 0 1 0 4739006 311992320 59491 33554432000 4194304 5796924 140735256338912 140735256336552 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 76170 59491 178 392 0 75769 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 304680

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

[startup+1800.3 s]
/proc/loadavg: 2.33 2.29 2.24 3/177 15279
/proc/meminfo: memFree=20353020/32872528 swapFree=1499340/1695564
[pid=15177] ppid=15174 vsize=304680 CPUtime=1800 cores=0,2,4,6
/proc/15177/stat : 15177 (naps-1.02) R 15174 15177 15141 0 -1 4202496 42751 0 0 0 179959 41 0 0 20 0 1 0 4739006 311992320 59491 33554432000 4194304 5796924 140735256338912 140735256336552 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/15177/statm: 76170 59491 178 392 0 75769 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 304680

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.59
CPU system time (s): 0.423935
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 304680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.423935
maximum resident set size= 244108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42763
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= 24
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39503 second user time and 8.93264 second system time

The end