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-4118522-1467238638/watcher-4118522-1467238638 -o /tmp/evaluation-result-4118522-1467238638/solver-4118522-1467238638 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467233234-10819 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118522-1467238638.opb
pid=11402
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.00 2.00 2.00 3/176 11405
/proc/meminfo: memFree=30657220/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=6996 CPUtime=0 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 13892122 7163904 327 33554432000 4194304 5796924 140734161856256 140733954631960 4404063 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 1749 327 128 392 0 1348 0
[startup+0.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11405
/proc/meminfo: memFree=30657220/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=8848 CPUtime=0.09 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 1952 0 0 0 9 0 0 0 20 0 1 0 13892122 9060352 1793 33554432000 4194304 5796924 140734161856256 140733954631960 4244555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 2212 1793 166 392 0 1811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8848
[startup+0.200298 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11405
/proc/meminfo: memFree=30657220/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=40844 CPUtime=0.19 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 9053 0 0 0 18 1 0 0 20 0 1 0 13892122 41824256 9083 33554432000 4194304 5796924 140734161856256 140733954631960 4564240 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 10211 9085 166 392 0 9810 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40844
[startup+0.300294 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11405
/proc/meminfo: memFree=30657220/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=61028 CPUtime=0.29 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 13577 0 0 0 26 3 0 0 20 0 1 0 13892122 62492672 13896 33554432000 4194304 5796924 140734161856256 140733954631960 4564248 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 15257 13896 166 392 0 14856 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61028
[startup+0.700299 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11405
/proc/meminfo: memFree=30657220/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=76260 CPUtime=0.69 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 17117 0 0 0 66 3 0 0 20 0 1 0 13892122 78090240 17877 33554432000 4194304 5796924 140734161856256 140734161853704 4648285 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 19065 17877 166 392 0 18664 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76260
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11406
/proc/meminfo: memFree=30549336/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=80612 CPUtime=1.49 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 17685 0 0 0 146 3 0 0 20 0 1 0 13892122 82546688 18903 33554432000 4194304 5796924 140734161856256 140734161853704 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 20153 18903 176 392 0 19752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80612
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11406
/proc/meminfo: memFree=30548164/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=80612 CPUtime=3.09 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 17813 0 0 0 306 3 0 0 20 0 1 0 13892122 82546688 19025 33554432000 4194304 5796924 140734161856256 140734161853704 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 20153 19025 177 392 0 19752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80612
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11406
/proc/meminfo: memFree=30435072/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=80612 CPUtime=6.29 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 17813 0 0 0 626 3 0 0 20 0 1 0 13892122 82546688 19025 33554432000 4194304 5796924 140734161856256 140734161853704 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 20153 19025 177 392 0 19752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80612
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11406
/proc/meminfo: memFree=30426264/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=85184 CPUtime=12.69 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 18213 0 0 0 1266 3 0 0 20 0 1 0 13892122 87228416 20430 33554432000 4194304 5796924 140734161856256 140734161853320 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 21296 20430 177 392 0 20895 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85184
[startup+25.5071 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11407
/proc/meminfo: memFree=30390692/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=92324 CPUtime=25.49 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 18729 0 0 0 2546 3 0 0 20 0 1 0 13892122 94539776 21968 33554432000 4194304 5796924 140734161856256 140734161853496 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 23081 21968 177 392 0 22680 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92324
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11407
/proc/meminfo: memFree=30382036/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=111000 CPUtime=51.09 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 19510 0 0 0 5105 4 0 0 20 0 1 0 13892122 113664000 23489 33554432000 4194304 5796924 140734161856256 140734161853496 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 27750 23489 177 392 0 27349 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111000
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11408
/proc/meminfo: memFree=30366540/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=111000 CPUtime=102.27 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 19977 0 0 0 10223 4 0 0 20 0 1 0 13892122 113664000 26900 33554432000 4194304 5796924 140734161856256 140734161853720 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 27750 26900 177 392 0 27349 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 111000
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11409
/proc/meminfo: memFree=30315544/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=142704 CPUtime=162.27 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 21750 0 0 0 16221 6 0 0 20 0 1 0 13892122 146128896 29633 33554432000 4194304 5796924 140734161856256 140734161853496 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 35676 29633 177 392 0 35275 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 142704
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11413
/proc/meminfo: memFree=30298300/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=142704 CPUtime=222.26 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 21833 0 0 0 22220 6 0 0 20 0 1 0 13892122 146128896 33802 33554432000 4194304 5796924 140734161856256 140734161853496 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 35676 33802 177 392 0 35275 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 142704
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11414
/proc/meminfo: memFree=30252344/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=142704 CPUtime=282.24 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 21839 0 0 0 28218 6 0 0 20 0 1 0 13892122 146128896 34335 33554432000 4194304 5796924 140734161856256 140734161853496 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 35676 34335 177 392 0 35275 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 142704
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11416
/proc/meminfo: memFree=30234192/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=173424 CPUtime=342.22 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 22826 0 0 0 34214 8 0 0 20 0 1 0 13892122 177586176 38552 33554432000 4194304 5796924 140734161856256 140734161853720 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 43356 38552 177 392 0 42955 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 173424
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11417
/proc/meminfo: memFree=30225564/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=173424 CPUtime=402.2 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 23086 0 0 0 40212 8 0 0 20 0 1 0 13892122 177586176 38552 33554432000 4194304 5796924 140734161856256 140734161853720 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 43356 38552 177 392 0 42955 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 173424
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11418
/proc/meminfo: memFree=30221656/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=173424 CPUtime=462.19 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 23599 0 0 0 46210 9 0 0 20 0 1 0 13892122 177586176 38552 33554432000 4194304 5796924 140734161856256 140734161853720 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 43356 38552 177 392 0 42955 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 173424
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11419
/proc/meminfo: memFree=30219948/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=173424 CPUtime=522.18 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 24111 0 0 0 52208 10 0 0 20 0 1 0 13892122 177586176 38552 33554432000 4194304 5796924 140734161856256 140734161853720 4606410 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 43356 38552 177 392 0 42955 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 173424
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11420
/proc/meminfo: memFree=30203952/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=173424 CPUtime=582.18 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 24453 0 0 0 58206 12 0 0 20 0 1 0 13892122 177586176 42721 33554432000 4194304 5796924 140734161856256 140734161853720 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 43356 42721 177 392 0 42955 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 173424
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11430
/proc/meminfo: memFree=30157428/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=222744 CPUtime=942.12 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 27076 0 0 0 94195 17 0 0 20 0 1 0 13892122 228089856 50641 33554432000 4194304 5796924 140734161856256 140734161853544 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 55686 50641 177 392 0 55285 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 222744
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=30154408/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=222744 CPUtime=1002.12 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 27929 0 0 0 100193 19 0 0 20 0 1 0 13892122 228089856 51153 33554432000 4194304 5796924 140734161856256 140734161853544 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 55686 51153 177 392 0 55285 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 222744
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11433
/proc/meminfo: memFree=30131584/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=234924 CPUtime=1062.11 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 29278 0 0 0 106189 22 0 0 20 0 1 0 13892122 240562176 54198 33554432000 4194304 5796924 140734161856256 140734161853544 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 58731 54198 177 392 0 58330 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 234924
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11434
/proc/meminfo: memFree=30176412/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=185604 CPUtime=1122.1 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 29888 0 0 0 112187 23 0 0 20 0 1 0 13892122 190058496 45766 33554432000 4194304 5796924 140734161856256 140734161853720 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 46401 45766 177 392 0 46000 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 185604
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11435
/proc/meminfo: memFree=30161080/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=185604 CPUtime=1182.08 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 30146 0 0 0 118185 23 0 0 20 0 1 0 13892122 190058496 45766 33554432000 4194304 5796924 140734161856256 140734161853720 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 46401 45766 177 392 0 46000 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 185604
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11436
/proc/meminfo: memFree=30121872/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=234924 CPUtime=1242.08 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 30667 0 0 0 124183 25 0 0 20 0 1 0 13892122 240562176 57270 33554432000 4194304 5796924 140734161856256 140734161853544 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 58731 57270 177 392 0 58330 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 234924
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11438
/proc/meminfo: memFree=30139836/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=234924 CPUtime=1302.06 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 31521 0 0 0 130180 26 0 0 20 0 1 0 13892122 240562176 55222 33554432000 4194304 5796924 140734161856256 140734161853544 4606744 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 58731 55222 177 392 0 58330 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 234924
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11439
/proc/meminfo: memFree=30120280/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=234924 CPUtime=1362.06 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 31785 0 0 0 136179 27 0 0 20 0 1 0 13892122 240562176 56246 33554432000 4194304 5796924 140734161856256 140734161853544 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 58731 56246 177 392 0 58330 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 234924
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 11443
/proc/meminfo: memFree=30127032/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=234924 CPUtime=1422.04 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 32051 0 0 0 142177 27 0 0 20 0 1 0 13892122 240562176 57782 33554432000 4194304 5796924 140734161856256 140734161853544 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 58731 57782 177 392 0 58330 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 234924
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11444
/proc/meminfo: memFree=30159072/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=185604 CPUtime=1482.03 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 32646 0 0 0 148175 28 0 0 20 0 1 0 13892122 190058496 45766 33554432000 4194304 5796924 140734161856256 140734161853720 4606596 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 46401 45766 177 392 0 46000 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 185604
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11445
/proc/meminfo: memFree=30144752/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=185604 CPUtime=1542.03 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 33511 0 0 0 154173 30 0 0 20 0 1 0 13892122 190058496 45766 33554432000 4194304 5796924 140734161856256 140734161853720 4591899 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 46401 45766 177 392 0 46000 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 185604
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11447
/proc/meminfo: memFree=30110104/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=265744 CPUtime=1602.02 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 34371 0 0 0 160171 31 0 0 20 0 1 0 13892122 272121856 61433 33554432000 4194304 5796924 140734161856256 140734161853896 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 66436 61433 177 392 0 66035 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 265744
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11448
/proc/meminfo: memFree=30104408/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=265744 CPUtime=1662.01 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 35221 0 0 0 166169 32 0 0 20 0 1 0 13892122 272121856 58873 33554432000 4194304 5796924 140734161856256 140734161853896 4606514 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 66436 58873 177 392 0 66035 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 265744
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11449
/proc/meminfo: memFree=30106652/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=234924 CPUtime=1722 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 35486 0 0 0 172166 34 0 0 20 0 1 0 13892122 240562176 55222 33554432000 4194304 5796924 140734161856256 140734161853544 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 58731 55222 177 392 0 58330 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 234924
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11450
/proc/meminfo: memFree=30168588/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=185604 CPUtime=1781.99 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 36087 0 0 0 178164 35 0 0 20 0 1 0 13892122 190058496 45766 33554432000 4194304 5796924 140734161856256 140734161853720 4568928 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 46401 45766 177 392 0 46000 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 185604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11496
/proc/meminfo: memFree=30722052/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=185604 CPUtime=1800.09 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 36087 0 0 0 179974 35 0 0 20 0 1 0 13892122 190058496 45766 33554432000 4194304 5796924 140734161856256 140734161853720 4594173 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 46401 45766 177 392 0 46000 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 185604
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 11405 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11496
/proc/meminfo: memFree=30722052/32872528 swapFree=8284/8284
[pid=11405] ppid=11402 vsize=185604 CPUtime=1800.09 cores=0,2,4,6
/proc/11405/stat : 11405 (naps-1.02) R 11402 11405 7449 0 -1 4202496 36087 0 0 0 179974 35 0 0 20 0 1 0 13892122 190058496 45766 33554432000 4194304 5796924 140734161856256 140734161853720 4594173 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/11405/statm: 46401 45766 177 392 0 46000 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 185604
Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.75
CPU system time (s): 0.353946
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 265744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.353946
maximum resident set size= 253924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36099
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= 33
involuntary context switches= 1872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32904 second user time and 8.18475 second system time
The end