runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62719 MiB free)
  memory of node 1: 64473 MiB (63457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449624-1721403115/watcher-4449624-1721403115 -o /tmp/evaluation-result-4449624-1721403115/solver-4449624-1721403115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721403128-1019520 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4449624-1721403115.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1019580, runsolver pid=1019564

[startup+0.100096 s]*
/proc/loadavg: 3.06 3.08 3.04 7/260 1019598
/proc/meminfo: memFree=129194880/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=8420 memory=3688 CPUtime=0.09 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 598 0 0 0 9 0 0 0 20 0 1 0 192477720 8622080 922 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 2105 922 405 379 0 1639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18352 KiB
Current children cumulated memory: 6456 KiB

[startup+0.206247 s]*
/proc/loadavg: 3.06 3.08 3.04 6/257 1019606
/proc/meminfo: memFree=129189812/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=9904 memory=7132 CPUtime=0.2 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 933 0 0 0 20 0 0 0 20 0 1 0 192477720 10141696 1783 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 2476 1783 405 379 0 2010 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19836 KiB
Current children cumulated memory: 9900 KiB

[startup+0.305018 s]*
/proc/loadavg: 3.06 3.08 3.04 5/259 1019612
/proc/meminfo: memFree=129186216/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=10636 memory=8064 CPUtime=0.29 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 1248 0 0 0 29 0 0 0 20 0 1 0 192477720 10891264 2016 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 2659 2016 405 379 0 2193 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20568 KiB
Current children cumulated memory: 10832 KiB

[startup+0.700192 s]
/proc/loadavg: 3.06 3.08 3.04 7/263 1019648
/proc/meminfo: memFree=129178772/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=14808 memory=12624 CPUtime=0.68 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 2500 0 0 0 68 0 0 0 20 0 1 0 192477720 15163392 3156 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 3702 3156 405 379 0 3236 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24740 KiB
Current children cumulated memory: 15392 KiB

[startup+1.5002 s]
/proc/loadavg: 3.06 3.08 3.04 7/263 1019648
/proc/meminfo: memFree=129162196/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=18612 memory=17296 CPUtime=1.48 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 4182 0 0 0 148 0 0 0 20 0 1 0 192477720 19058688 4324 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 4653 4324 421 379 0 4187 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28544 KiB
Current children cumulated memory: 20064 KiB

[startup+3.10615 s]
/proc/loadavg: 3.14 3.10 3.04 7/263 1019648
/proc/meminfo: memFree=129131268/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=24232 memory=22604 CPUtime=3.08 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 5690 0 0 0 307 1 0 0 20 0 1 0 192477720 24813568 5651 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 6058 5651 421 379 0 5592 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34164 KiB
Current children cumulated memory: 25372 KiB

[startup+6.30024 s]
/proc/loadavg: 3.14 3.10 3.04 7/263 1019648
/proc/meminfo: memFree=129112200/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=37008 memory=34712 CPUtime=6.27 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 7131 0 0 0 625 2 0 0 20 0 1 0 192477720 37896192 8678 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 9252 8678 421 379 0 8786 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46940 KiB
Current children cumulated memory: 37480 KiB

[startup+12.7003 s]
/proc/loadavg: 3.29 3.13 3.06 7/263 1019649
/proc/meminfo: memFree=129069852/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=51260 memory=49660 CPUtime=12.65 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 8370 0 0 0 1263 2 0 0 20 0 1 0 192477720 52490240 12415 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 12815 12415 421 379 0 12349 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61192 KiB
Current children cumulated memory: 52428 KiB

[startup+25.5003 s]
/proc/loadavg: 3.45 3.17 3.07 7/263 1019651
/proc/meminfo: memFree=129021792/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=74888 memory=67404 CPUtime=25.42 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 10498 0 0 0 2538 4 0 0 20 0 1 0 192477720 76685312 16851 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 18722 16851 421 379 0 18256 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 84820 KiB
Current children cumulated memory: 70172 KiB

[startup+51.1062 s]
/proc/loadavg: 3.70 3.26 3.10 7/263 1019656
/proc/meminfo: memFree=128966432/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=93572 memory=73928 CPUtime=50.96 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 12561 0 0 0 5090 6 0 0 20 0 1 0 192477720 95817728 18482 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 23393 18482 421 379 0 22927 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 103504 KiB
Current children cumulated memory: 76696 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.44 3.17 7/262 1019666
/proc/meminfo: memFree=128852860/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=142892 memory=110588 CPUtime=102.04 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 15744 0 0 0 10193 11 0 0 20 0 1 0 192477720 146321408 27647 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 35723 27647 421 379 0 35257 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 152824 KiB
Current children cumulated memory: 113356 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.56 3.23 7/262 1019677
/proc/meminfo: memFree=128784044/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=156560 memory=149140 CPUtime=161.88 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 19105 0 0 0 16171 17 0 0 20 0 1 0 192477720 160317440 37285 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 39140 37285 421 379 0 38674 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 166492 KiB
Current children cumulated memory: 151908 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.66 3.29 7/260 1019687
/proc/meminfo: memFree=128762828/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=187380 memory=155492 CPUtime=221.7 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 21012 0 0 0 22148 22 0 0 20 0 1 0 192477720 191877120 38873 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 46845 38873 421 379 0 46379 0
Current children cumulated CPU time: 221.7 s

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

/proc/loadavg: 4.15 4.10 4.09 6/262 1020989
/proc/meminfo: memFree=127804480/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=641864 memory=619916 CPUtime=3093.98 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 67441 0 0 0 309238 160 0 0 20 0 1 0 192477720 657268736 154979 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160466 154979 421 379 0 160000 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 651796 KiB
Current children cumulated memory: 622684 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/262 1021000
/proc/meminfo: memFree=127796308/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=641864 memory=538148 CPUtime=3153.83 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 68343 0 0 0 315216 167 0 0 20 0 1 0 192477720 657268736 134537 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160466 134537 421 379 0 160000 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 651796 KiB
Current children cumulated memory: 540916 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/262 1021394
/proc/meminfo: memFree=127752712/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=641864 memory=562800 CPUtime=3213.68 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 68637 0 0 0 321201 167 0 0 20 0 1 0 192477720 657268736 140700 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160466 140700 421 379 0 160000 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 651796 KiB
Current children cumulated memory: 565568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/261 1021404
/proc/meminfo: memFree=127675644/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=641864 memory=583336 CPUtime=3273.52 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 68925 0 0 0 327185 167 0 0 20 0 1 0 192477720 657268736 145834 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160466 145834 421 379 0 160000 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 651796 KiB
Current children cumulated memory: 586104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/261 1021415
/proc/meminfo: memFree=127681308/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=641864 memory=607992 CPUtime=3333.36 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 69232 0 0 0 333168 168 0 0 20 0 1 0 192477720 657268736 151998 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160466 151998 421 379 0 160000 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 651796 KiB
Current children cumulated memory: 610760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/261 1021594
/proc/meminfo: memFree=127710656/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=856788 memory=632376 CPUtime=3393.21 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 70006 0 0 0 339152 169 0 0 20 0 1 0 192477720 877350912 158094 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 214197 158094 421 379 0 213731 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 866720 KiB
Current children cumulated memory: 635144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/261 1021605
/proc/meminfo: memFree=127607052/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=856788 memory=646812 CPUtime=3453.04 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 70184 0 0 0 345135 169 0 0 20 0 1 0 192477720 877350912 161703 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 214197 161703 421 379 0 213731 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 866720 KiB
Current children cumulated memory: 649580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/261 1021673
/proc/meminfo: memFree=127655968/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=641864 memory=567284 CPUtime=3512.89 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 71041 0 0 0 351113 176 0 0 20 0 1 0 192477720 657268736 141821 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160466 141821 421 379 0 160000 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 651796 KiB
Current children cumulated memory: 570052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/261 1021684
/proc/meminfo: memFree=127724964/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=641864 memory=587804 CPUtime=3572.73 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 71333 0 0 0 357097 176 0 0 20 0 1 0 192477720 657268736 146951 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160466 146951 421 379 0 160000 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 651796 KiB
Current children cumulated memory: 590572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.17 4.11 4.09 6/261 1021688
/proc/meminfo: memFree=127643740/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=643144 memory=596796 CPUtime=3600.06 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 71701 0 0 0 359830 176 0 0 20 0 1 0 192477720 658579456 149199 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160786 149199 421 379 0 160320 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 653076 KiB
Current children cumulated memory: 599564 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.7 s]
# the end of solver process 1019580 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.3 s, system=1.77018 s

Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.7 s]
/proc/loadavg: 4.17 4.11 4.09 6/261 1021688
/proc/meminfo: memFree=127643740/131524600 swapFree=131071996/131071996
[pid=1019580] ppid=1019564 vsize=9932 memory=2768 CPUtime=0 cores=5,7
/proc/1019580/stat : 1019580 (naps-1.02b5.sh) S 1019564 1019580 1017486 0 -1 4194304 224 241 0 0 0 0 0 0 20 0 1 0 192477719 10170368 692 134679101440 94873168093184 94873169172504 140724983688192 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94873171270960 94873171318148 94873195491328 140724983694302 140724983694429 140724983694429 140724983701446 0
/proc/1019580/statm: 2483 692 614 264 0 134 0
[pid=1019598] ppid=1019580 vsize=643144 memory=596796 CPUtime=3600.06 cores=5,7
/proc/1019598/stat : 1019598 (naps-1.02b5) R 1019580 1019580 1017486 0 -1 4194304 71701 0 0 0 359830 176 0 0 20 0 1 0 192477720 658579456 149199 134679101440 4194304 5746509 140727040015904 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 15314944 140727040021485 140727040021599 140727040021599 140727040028617 0
/proc/1019598/statm: 160786 149199 421 379 0 160320 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 653076 KiB
Current children cumulated memory: 599564 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.07
CPU user time (s): 3598.3
CPU system time (s): 1.77018
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 1210596
Max. memory (cumulated for all children) (KiB): 905784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.3
system time used= 1.77018
maximum resident set size= 903016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72181
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= 230
involuntary context switches= 4315


# summary of solver processes directly reported to runsolver:
#   pid: 1019580
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.3
#   total CPU system time (s): 1.77018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77213 second user time and 18.5891 second system time

The end