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-4082889-1465245715/watcher-4082889-1465245715 -o /tmp/evaluation-result-4082889-1465245715/solver-4082889-1465245715 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465240311-14492 --watchdog 1960 naps-1.02 HOME/instance-4082889-1465245715.opb
pid=14903
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 14906
/proc/meminfo: memFree=23975076/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=6828 CPUtime=0 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 106506805 6991872 270 33554432000 4194304 5796924 140735507131584 140735851188616 4405203 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 1707 270 128 392 0 1306 0
[startup+0.100157 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 14906
/proc/meminfo: memFree=23975076/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=7148 CPUtime=0.09 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 491 0 0 0 9 0 0 0 20 0 1 0 106506805 7319552 362 33554432000 4194304 5796924 140735507131584 140735851188616 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 1787 362 128 392 0 1386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7148
[startup+0.200269 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 14906
/proc/meminfo: memFree=23975076/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=15004 CPUtime=0.19 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 2797 0 0 0 19 0 0 0 20 0 1 0 106506805 15364096 2828 33554432000 4194304 5796924 140735507131584 140735851188616 4621249 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 3751 2828 160 392 0 3350 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15004
[startup+0.300364 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 14906
/proc/meminfo: memFree=23975076/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=30100 CPUtime=0.29 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 6726 0 0 0 28 1 0 0 20 0 1 0 106506805 30822400 6571 33554432000 4194304 5796924 140735507131584 140735851188616 4609593 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 7525 6571 161 392 0 7124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30100
[startup+0.700267 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 14906
/proc/meminfo: memFree=23975076/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=32664 CPUtime=0.68 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 9089 0 0 0 67 1 0 0 20 0 1 0 106506805 33447936 7120 33554432000 4194304 5796924 140735507131584 140735507128632 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 8166 7120 169 392 0 7765 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32664
[startup+1.50027 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 14907
/proc/meminfo: memFree=23946524/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=37148 CPUtime=1.48 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 9481 0 0 0 147 1 0 0 20 0 1 0 106506805 38039552 8018 33554432000 4194304 5796924 140735507131584 140735507128632 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 9287 8018 170 392 0 8886 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37148
[startup+3.10026 s]
/proc/loadavg: 1.92 1.99 1.99 2/171 14938
/proc/meminfo: memFree=31837328/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=37148 CPUtime=3.09 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 10148 0 0 0 307 2 0 0 20 0 1 0 106506805 38039552 8381 33554432000 4194304 5796924 140735507131584 140735507128824 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 9287 8381 170 392 0 8886 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37148
[startup+6.3003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 14953
/proc/meminfo: memFree=31766088/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=44220 CPUtime=6.29 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 10213 0 0 0 627 2 0 0 20 0 1 0 106506805 45281280 9978 33554432000 4194304 5796924 140735507131584 140735507128824 4606404 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 11055 9978 170 392 0 10654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44220
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 14953
/proc/meminfo: memFree=31758288/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=48640 CPUtime=12.69 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 11008 0 0 0 1267 2 0 0 20 0 1 0 106506805 49807360 11238 33554432000 4194304 5796924 140735507131584 140735507128648 4606567 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 12160 11238 170 392 0 11759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48640
[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 14953
/proc/meminfo: memFree=31738092/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=60136 CPUtime=25.48 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 11591 0 0 0 2546 2 0 0 20 0 1 0 106506805 61579264 13917 33554432000 4194304 5796924 140735507131584 140735507128872 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 15034 13917 170 392 0 14633 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60136
[startup+51.1004 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 14953
/proc/meminfo: memFree=31739444/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=74552 CPUtime=51.07 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 12762 0 0 0 5105 2 0 0 20 0 1 0 106506805 76341248 14648 33554432000 4194304 5796924 140735507131584 140735507128824 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 18638 14648 170 392 0 18237 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74552
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14954
/proc/meminfo: memFree=31688968/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=93408 CPUtime=102.27 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 13776 0 0 0 10224 3 0 0 20 0 1 0 106506805 95649792 20748 33554432000 4194304 5796924 140735507131584 140735507128824 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 23352 20748 170 392 0 22951 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93408
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14955
/proc/meminfo: memFree=31661772/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=93408 CPUtime=162.25 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 13962 0 0 0 16222 3 0 0 20 0 1 0 106506805 95649792 22464 33554432000 4194304 5796924 140735507131584 140735507128824 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 23352 22464 170 392 0 22951 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 93408
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14956
/proc/meminfo: memFree=31622432/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=93408 CPUtime=222.25 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 13975 0 0 0 22222 3 0 0 20 0 1 0 106506805 95649792 22477 33554432000 4194304 5796924 140735507131584 140735507128824 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 23352 22477 170 392 0 22951 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 93408
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14958
/proc/meminfo: memFree=31654960/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=93408 CPUtime=282.23 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 14238 0 0 0 28219 4 0 0 20 0 1 0 106506805 95649792 22508 33554432000 4194304 5796924 140735507131584 140735507129048 4594616 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 23352 22508 170 392 0 22951 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 93408
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14959
/proc/meminfo: memFree=31643540/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=106160 CPUtime=342.22 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 14576 0 0 0 34218 4 0 0 20 0 1 0 106506805 108707840 25400 33554432000 4194304 5796924 140735507131584 140735507128824 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 26540 25400 170 392 0 26139 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 106160
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14960
/proc/meminfo: memFree=31640924/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=106160 CPUtime=402.21 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 15111 0 0 0 40216 5 0 0 20 0 1 0 106506805 108707840 25696 33554432000 4194304 5796924 140735507131584 140735507129048 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 26540 25696 170 392 0 26139 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 106160
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14961
/proc/meminfo: memFree=31631496/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=106160 CPUtime=462.2 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 15230 0 0 0 46214 6 0 0 20 0 1 0 106506805 108707840 25696 33554432000 4194304 5796924 140735507131584 140735507129048 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 26540 25696 170 392 0 26139 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 106160
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14965
/proc/meminfo: memFree=31588580/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=155480 CPUtime=522.19 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 15464 0 0 0 52212 7 0 0 20 0 1 0 106506805 159211520 33988 33554432000 4194304 5796924 140735507131584 140735507128872 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 38870 33988 170 392 0 38469 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 155480
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14966
/proc/meminfo: memFree=31590000/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=106160 CPUtime=582.19 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 15581 0 0 0 58211 8 0 0 20 0 1 0 106506805 108707840 25696 33554432000 4194304 5796924 140735507131584 140735507129048 4607205 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 26540 25696 170 392 0 26139 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 106160
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/177 14974
/proc/meminfo: memFree=31574432/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=125376 CPUtime=942.13 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 16546 0 0 0 94201 12 0 0 20 0 1 0 106506805 128385024 26423 33554432000 4194304 5796924 140735507131584 140735507129048 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 31344 26423 170 392 0 30943 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 125376
[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 14975
/proc/meminfo: memFree=31582392/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1002.13 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 16781 0 0 0 100199 14 0 0 20 0 1 0 106506805 178888704 34203 33554432000 4194304 5796924 140735507131584 140735507129048 4594485 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 34203 170 392 0 43273 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 174696
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 14976
/proc/meminfo: memFree=31617716/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=125376 CPUtime=1062.11 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 16787 0 0 0 106197 14 0 0 20 0 1 0 106506805 128385024 26423 33554432000 4194304 5796924 140735507131584 140735507129048 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 31344 26423 170 392 0 30943 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 125376
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 14980
/proc/meminfo: memFree=31557476/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=125376 CPUtime=1122.1 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 16908 0 0 0 112196 14 0 0 20 0 1 0 106506805 128385024 26423 33554432000 4194304 5796924 140735507131584 140735507129048 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 31344 26423 170 392 0 30943 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 125376
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 15004
/proc/meminfo: memFree=31559748/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=125376 CPUtime=1182.1 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17029 0 0 0 118195 15 0 0 20 0 1 0 106506805 128385024 26423 33554432000 4194304 5796924 140735507131584 140735507129048 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 31344 26423 170 392 0 30943 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 125376
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 15006
/proc/meminfo: memFree=31582504/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=125376 CPUtime=1242.08 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17149 0 0 0 124193 15 0 0 20 0 1 0 106506805 128385024 26935 33554432000 4194304 5796924 140735507131584 140735507129048 4606565 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 31344 26935 170 392 0 30943 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 125376
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 15007
/proc/meminfo: memFree=31615784/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=125376 CPUtime=1302.08 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17270 0 0 0 130192 16 0 0 20 0 1 0 106506805 128385024 26935 33554432000 4194304 5796924 140735507131584 140735507129048 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 31344 26935 170 392 0 30943 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 125376
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15008
/proc/meminfo: memFree=31484356/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1362.07 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17391 0 0 0 136190 17 0 0 20 0 1 0 106506805 178888704 37787 33554432000 4194304 5796924 140735507131584 140735507128872 4607241 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 37787 170 392 0 43273 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 174696
[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 15009
/proc/meminfo: memFree=31527100/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1422.07 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17511 0 0 0 142189 18 0 0 20 0 1 0 106506805 178888704 37275 33554432000 4194304 5796924 140735507131584 140735507128872 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 37275 170 392 0 43273 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 174696
[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 15010
/proc/meminfo: memFree=31574468/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1482.04 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17633 0 0 0 148186 18 0 0 20 0 1 0 106506805 178888704 37275 33554432000 4194304 5796924 140735507131584 140735507128872 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 37275 170 392 0 43273 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 174696
[startup+1542.31 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 15012
/proc/meminfo: memFree=31508340/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1542.05 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17754 0 0 0 154186 19 0 0 20 0 1 0 106506805 178888704 36763 33554432000 4194304 5796924 140735507131584 140735507128872 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 36763 170 392 0 43273 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 174696
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 15013
/proc/meminfo: memFree=31566060/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=125376 CPUtime=1602.04 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17762 0 0 0 160184 20 0 0 20 0 1 0 106506805 128385024 28983 33554432000 4194304 5796924 140735507131584 140735507129048 4606420 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 31344 28983 170 392 0 30943 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 125376
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15014
/proc/meminfo: memFree=31493948/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1662.02 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 17883 0 0 0 166182 20 0 0 20 0 1 0 106506805 178888704 39835 33554432000 4194304 5796924 140735507131584 140735507128872 4592304 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 39835 170 392 0 43273 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 174696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 15018
/proc/meminfo: memFree=31518548/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1722.01 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 18005 0 0 0 172180 21 0 0 20 0 1 0 106506805 178888704 39835 33554432000 4194304 5796924 140735507131584 140735507128872 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 39835 170 392 0 43273 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 174696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15019
/proc/meminfo: memFree=31569888/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1782.01 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 18206 0 0 0 178179 22 0 0 20 0 1 0 106506805 178888704 38299 33554432000 4194304 5796924 140735507131584 140735507128872 4606458 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 38299 170 392 0 43273 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 174696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15019
/proc/meminfo: memFree=31515896/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1800 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 18209 0 0 0 179978 22 0 0 20 0 1 0 106506805 178888704 39835 33554432000 4194304 5796924 140735507131584 140735507128872 4607229 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 39835 170 392 0 43273 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 174696
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 14906 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15019
/proc/meminfo: memFree=31515896/32872528 swapFree=10608/190480
[pid=14906] ppid=14903 vsize=174696 CPUtime=1800 cores=1,3,5,7
/proc/14906/stat : 14906 (naps-1.02) R 14903 14906 14475 0 -1 4202496 18209 0 0 0 179978 22 0 0 20 0 1 0 106506805 178888704 39835 33554432000 4194304 5796924 140735507131584 140735507128872 4607229 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/14906/statm: 43674 39835 170 392 0 43273 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 174696
Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.79
CPU system time (s): 0.225965
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 174696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.225965
maximum resident set size= 165788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18221
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= 17
involuntary context switches= 1858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48616 second user time and 8.50071 second system time
The end