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-4094893-1466107253/watcher-4094893-1466107253 -o /tmp/evaluation-result-4094893-1466107253/solver-4094893-1466107253 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466098248-15848 --watchdog 1960 naps-1.02 HOME/instance-4094893-1466107253.wbo 

pid=16588
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: 2.28 2.25 2.25 3/170 16591
/proc/meminfo: memFree=30397316/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=6696 CPUtime=0 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 12772143 6856704 230 33554432000 4194304 5796924 140733825442544 140735705265480 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 1674 231 127 392 0 1273 0

[startup+0.100119 s]
/proc/loadavg: 2.28 2.25 2.25 3/170 16591
/proc/meminfo: memFree=30397316/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=10368 CPUtime=0.09 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 1289 0 0 0 9 0 0 0 20 0 1 0 12772143 10616832 1146 33554432000 4194304 5796924 140733825442544 140735705265480 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 2592 1146 130 392 0 2191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10368

[startup+0.200286 s]
/proc/loadavg: 2.28 2.25 2.25 3/170 16591
/proc/meminfo: memFree=30397316/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=13704 CPUtime=0.19 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 2193 0 0 0 19 0 0 0 20 0 1 0 12772143 14032896 1986 33554432000 4194304 5796924 140733825442544 140735705265480 4349703 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 3426 1986 130 392 0 3025 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13704

[startup+0.300308 s]
/proc/loadavg: 2.28 2.25 2.25 3/170 16591
/proc/meminfo: memFree=30397316/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=17372 CPUtime=0.29 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 3184 0 0 0 29 0 0 0 20 0 1 0 12772143 17788928 2870 33554432000 4194304 5796924 140733825442544 140733825441768 5092558 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 4343 2870 131 392 0 3942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17372

[startup+0.700287 s]
/proc/loadavg: 2.28 2.25 2.25 3/170 16591
/proc/meminfo: memFree=30397316/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=82480 CPUtime=0.69 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 15657 0 0 0 67 2 0 0 20 0 1 0 12772143 84459520 18642 33554432000 4194304 5796924 140733825442544 140733825441768 4244674 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 20620 18642 156 392 0 20219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82480

[startup+1.50017 s]
/proc/loadavg: 2.28 2.25 2.25 4/177 16605
/proc/meminfo: memFree=30237500/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=259680 CPUtime=1.49 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 42969 0 0 0 141 8 0 0 20 0 1 0 12772143 265912320 56603 33554432000 4194304 5796924 140733825442544 140733825439848 4602800 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 64920 56604 157 392 0 64519 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 259680

[startup+3.10029 s]
/proc/loadavg: 2.28 2.25 2.25 4/177 16605
/proc/meminfo: memFree=29915120/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=783044 CPUtime=3.09 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 89947 0 0 0 289 20 0 0 20 0 1 0 12772143 801837056 167401 33554432000 4194304 5796924 140733825442544 140733825431336 4601168 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 195761 167401 157 392 0 195360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 783044

[startup+6.30028 s]
/proc/loadavg: 2.26 2.24 2.25 3/178 16606
/proc/meminfo: memFree=29248152/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1081708 CPUtime=6.29 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 112115 0 0 0 602 27 0 0 20 0 1 0 12772143 1107668992 247450 33554432000 4194304 5796924 140733825442544 140733825439512 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 270427 247450 162 392 0 270026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1081708

[startup+12.7003 s]
/proc/loadavg: 2.24 2.24 2.25 3/178 16675
/proc/meminfo: memFree=29168508/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1253480 CPUtime=12.68 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 120419 0 0 0 1234 34 0 0 20 0 1 0 12772143 1283563520 277393 33554432000 4194304 5796924 140733825442544 140733825439960 4650458 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 313370 277393 163 392 0 312969 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1253480

[startup+25.5004 s]
/proc/loadavg: 2.18 2.23 2.24 3/178 16675
/proc/meminfo: memFree=28817380/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1216300 CPUtime=25.48 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 123242 0 0 0 2511 37 0 0 20 0 1 0 12772143 1245491200 275482 33554432000 4194304 5796924 140733825442544 140733825439848 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 304075 275482 182 392 0 303674 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1216300

[startup+51.1004 s]
/proc/loadavg: 2.19 2.22 2.24 3/176 16689
/proc/meminfo: memFree=29241072/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1266388 CPUtime=51.08 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 123546 0 0 0 5070 38 0 0 20 0 1 0 12772143 1296781312 275768 33554432000 4194304 5796924 140733825442544 140733825440184 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316597 275768 182 392 0 316196 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1266388

[startup+102.3 s]
/proc/loadavg: 2.15 2.20 2.23 3/177 16721
/proc/meminfo: memFree=28274484/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1266388 CPUtime=102.27 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 123885 0 0 0 10189 38 0 0 20 0 1 0 12772143 1296781312 276835 33554432000 4194304 5796924 140733825442544 140733825440184 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316597 276835 182 392 0 316196 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1266388

[startup+162.3 s]
/proc/loadavg: 2.29 2.24 2.24 3/177 16997
/proc/meminfo: memFree=28849868/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1266388 CPUtime=162.24 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 123979 0 0 0 16186 38 0 0 20 0 1 0 12772143 1296781312 277928 33554432000 4194304 5796924 140733825442544 140733825440184 4583342 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316597 277928 182 392 0 316196 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1266388

[startup+222.307 s]
/proc/loadavg: 2.27 2.24 2.24 3/177 16998
/proc/meminfo: memFree=27794160/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1266388 CPUtime=222.23 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 123986 0 0 0 22185 38 0 0 20 0 1 0 12772143 1296781312 278875 33554432000 4194304 5796924 140733825442544 140733825440184 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316597 278875 182 392 0 316196 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1266388

[startup+282.3 s]
/proc/loadavg: 2.27 2.25 2.24 3/175 17058
/proc/meminfo: memFree=29220836/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1266388 CPUtime=282.21 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 124000 0 0 0 28183 38 0 0 20 0 1 0 12772143 1296781312 280284 33554432000 4194304 5796924 140733825442544 140733825440184 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316597 280284 182 392 0 316196 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1266388

[startup+342.3 s]
/proc/loadavg: 2.26 2.25 2.24 3/177 17091
/proc/meminfo: memFree=28386504/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1266388 CPUtime=342.19 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 124016 0 0 0 34181 38 0 0 20 0 1 0 12772143 1296781312 281036 33554432000 4194304 5796924 140733825442544 140733825440184 4583348 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316597 281036 182 392 0 316196 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1266388

[startup+402.3 s]
/proc/loadavg: 2.19 2.23 2.24 3/177 17092
/proc/meminfo: memFree=28379924/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1266652 CPUtime=402.18 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 124103 0 0 0 40179 39 0 0 20 0 1 0 12772143 1297051648 282569 33554432000 4194304 5796924 140733825442544 140733825439528 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316663 282569 182 392 0 316262 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1266652

[startup+462.3 s]
/proc/loadavg: 2.21 2.23 2.23 3/177 17093
/proc/meminfo: memFree=28377504/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1267180 CPUtime=462.17 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 124238 0 0 0 46178 39 0 0 20 0 1 0 12772143 1297592320 283215 33554432000 4194304 5796924 140733825442544 140733825439528 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316795 283215 182 392 0 316394 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1267180

[startup+522.3 s]
/proc/loadavg: 2.30 2.25 2.24 3/177 17094
/proc/meminfo: memFree=28396964/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1267840 CPUtime=522.15 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 125178 0 0 0 52173 42 0 0 20 0 1 0 12772143 1298268160 277856 33554432000 4194304 5796924 140733825442544 140733825440184 4569014 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 316960 277856 182 392 0 316559 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1267840

[startup+582.3 s]
/proc/loadavg: 2.15 2.21 2.23 3/178 17098
/proc/meminfo: memFree=28394856/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1268104 CPUtime=582.12 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 125673 0 0 0 58170 42 0 0 20 0 1 0 12772143 1298538496 278905 33554432000 4194304 5796924 140733825442544 140733825439656 4606469 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 317026 278905 182 392 0 316625 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1268104


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


[startup+882.307 s]
/proc/loadavg: 2.22 2.24 2.23 4/177 17104
/proc/meminfo: memFree=28365468/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1270516 CPUtime=882.08 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 126275 0 0 0 88165 43 0 0 20 0 1 0 12772143 1301008384 283657 33554432000 4194304 5796924 140733825442544 140733825439528 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 317629 283657 182 392 0 317228 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1270516

[startup+942.3 s]
/proc/loadavg: 2.13 2.21 2.22 3/177 17106
/proc/meminfo: memFree=28360888/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1270648 CPUtime=942.06 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 126330 0 0 0 94163 43 0 0 20 0 1 0 12772143 1301143552 284734 33554432000 4194304 5796924 140733825442544 140733825439528 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 317662 284734 182 392 0 317261 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1270648

[startup+1002.3 s]
/proc/loadavg: 2.34 2.25 2.23 4/177 17107
/proc/meminfo: memFree=28355176/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1271448 CPUtime=1002.05 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 126534 0 0 0 100162 43 0 0 20 0 1 0 12772143 1301962752 285960 33554432000 4194304 5796924 140733825442544 140733825439656 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 317862 285960 182 392 0 317461 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 1271448

[startup+1062.3 s]
/proc/loadavg: 2.39 2.28 2.24 3/177 17108
/proc/meminfo: memFree=28380060/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1271584 CPUtime=1062.05 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 127182 0 0 0 106160 45 0 0 20 0 1 0 12772143 1302102016 279790 33554432000 4194304 5796924 140733825442544 140733825440008 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 317896 279790 182 392 0 317495 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1271584

[startup+1122.3 s]
/proc/loadavg: 2.28 2.27 2.24 3/177 17109
/proc/meminfo: memFree=28374652/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1271716 CPUtime=1122.04 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 127205 0 0 0 112159 45 0 0 20 0 1 0 12772143 1302237184 280835 33554432000 4194304 5796924 140733825442544 140733825439528 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 317929 280835 182 392 0 317528 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1271716

[startup+1182.3 s]
/proc/loadavg: 2.28 2.28 2.24 3/178 17113
/proc/meminfo: memFree=28371960/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1272116 CPUtime=1182.03 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 127304 0 0 0 118158 45 0 0 20 0 1 0 12772143 1302646784 281445 33554432000 4194304 5796924 140733825442544 140733825439528 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318029 281445 182 392 0 317628 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1272116

[startup+1242.3 s]
/proc/loadavg: 2.32 2.29 2.25 4/177 17115
/proc/meminfo: memFree=28366960/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1273432 CPUtime=1242.02 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 127547 0 0 0 124157 45 0 0 20 0 1 0 12772143 1303994368 282710 33554432000 4194304 5796924 140733825442544 140733825439816 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318358 282710 182 392 0 317957 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1273432

[startup+1302.3 s]
/proc/loadavg: 2.26 2.28 2.25 4/177 17116
/proc/meminfo: memFree=28361024/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1273432 CPUtime=1302.01 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 127549 0 0 0 130156 45 0 0 20 0 1 0 12772143 1303994368 283734 33554432000 4194304 5796924 140733825442544 140733825439816 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318358 283734 182 392 0 317957 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1273432

[startup+1362.3 s]
/proc/loadavg: 2.20 2.25 2.24 3/177 17117
/proc/meminfo: memFree=28359684/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1273432 CPUtime=1362 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 127550 0 0 0 136155 45 0 0 20 0 1 0 12772143 1303994368 284246 33554432000 4194304 5796924 140733825442544 140733825439816 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318358 284246 182 392 0 317957 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1273432

[startup+1422.3 s]
/proc/loadavg: 2.13 2.22 2.23 3/177 17118
/proc/meminfo: memFree=28355204/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1273700 CPUtime=1421.99 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 127651 0 0 0 142154 45 0 0 20 0 1 0 12772143 1304268800 285369 33554432000 4194304 5796924 140733825442544 140733825439656 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318425 285369 182 392 0 318024 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1273700

[startup+1482.3 s]
/proc/loadavg: 2.20 2.22 2.23 3/177 17119
/proc/meminfo: memFree=28374688/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1274236 CPUtime=1481.98 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 128379 0 0 0 148151 47 0 0 20 0 1 0 12772143 1304817664 280384 33554432000 4194304 5796924 140733825442544 140733825439528 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318559 280384 182 392 0 318158 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1274236

[startup+1542.31 s]
/proc/loadavg: 2.18 2.21 2.22 3/177 17121
/proc/meminfo: memFree=26926460/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1274236 CPUtime=1541.98 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 128393 0 0 0 154151 47 0 0 20 0 1 0 12772143 1304817664 281420 33554432000 4194304 5796924 140733825442544 140733825439528 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318559 281420 182 392 0 318158 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1274236

[startup+1602.3 s]
/proc/loadavg: 2.23 2.22 2.22 3/177 17122
/proc/meminfo: memFree=21863440/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1274368 CPUtime=1601.96 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 128434 0 0 0 160149 47 0 0 20 0 1 0 12772143 1304952832 282483 33554432000 4194304 5796924 140733825442544 140733825439656 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318592 282483 182 392 0 318191 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1274368

[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.22 3/177 17123
/proc/meminfo: memFree=14044544/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1274764 CPUtime=1661.95 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 128545 0 0 0 166148 47 0 0 20 0 1 0 12772143 1305358336 283105 33554432000 4194304 5796924 140733825442544 140733825439656 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318691 283105 182 392 0 318290 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1274764

[startup+1722.3 s]
/proc/loadavg: 2.26 2.22 2.21 3/177 17124
/proc/meminfo: memFree=15436180/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1275160 CPUtime=1721.94 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 128668 0 0 0 172147 47 0 0 20 0 1 0 12772143 1305763840 284250 33554432000 4194304 5796924 140733825442544 140733825439656 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318790 284250 182 392 0 318389 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1275160

[startup+1782.3 s]
/proc/loadavg: 1.76 2.10 2.17 2/171 17159
/proc/meminfo: memFree=29243956/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1275160 CPUtime=1781.94 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 128671 0 0 0 178147 47 0 0 20 0 1 0 12772143 1305763840 285275 33554432000 4194304 5796924 140733825442544 140733825439656 4583196 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318790 285275 182 392 0 318389 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1275160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.62 2.04 2.15 2/171 17159
/proc/meminfo: memFree=29244316/32872528 swapFree=1497568/1644736
[pid=16591] ppid=16588 vsize=1275292 CPUtime=1800.03 cores=0,2,4,6
/proc/16591/stat : 16591 (naps-1.02) R 16588 16591 15832 0 -1 4202496 128676 0 0 0 179956 47 0 0 20 0 1 0 12772143 1305899008 285280 33554432000 4194304 5796924 140733825442544 140733825439528 4583301 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/16591/statm: 318823 285280 182 392 0 318422 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1275292

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 16591 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.57
CPU system time (s): 0.479927
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 1415008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.479927
maximum resident set size= 1225840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128686
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= 139
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47132 second user time and 6.98694 second system time

The end