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: 63931 MiB (54894 MiB free)
  memory of node 1: 64510 MiB (49925 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456508-1721721997/watcher-4456508-1721721997 -o /tmp/evaluation-result-4456508-1721721997/solver-4456508-1721721997 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721718386-88107 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456508-1721721997.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=90166, runsolver pid=90163
Current StackSize limit: 8192 KiB


[startup+0.100327 s]*
/proc/loadavg: 5.32 4.47 4.22 5/259 90186
/proc/meminfo: memFree=107311024/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=13064 memory=8024 CPUtime=0.09 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 1713 0 0 0 9 0 0 0 20 0 1 0 8723921 13377536 2006 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 3266 2006 405 379 0 2800 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22996 KiB
Current children cumulated memory: 10764 KiB

[startup+0.206329 s]*
/proc/loadavg: 5.32 4.47 4.22 5/259 90186
/proc/meminfo: memFree=107280672/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=28796 memory=23560 CPUtime=0.19 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 5880 0 0 0 18 1 0 0 20 0 1 0 8723921 29487104 5890 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 7199 5890 421 379 0 6733 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38728 KiB
Current children cumulated memory: 26300 KiB

[startup+0.306346 s]*
/proc/loadavg: 5.32 4.47 4.22 5/259 90186
/proc/meminfo: memFree=107254300/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=28344 memory=26404 CPUtime=0.28 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 6811 0 0 0 27 1 0 0 20 0 1 0 8723921 29024256 6601 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 7086 6601 421 379 0 6620 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38276 KiB
Current children cumulated memory: 29144 KiB

[startup+0.700204 s]
/proc/loadavg: 5.32 4.47 4.22 5/259 90186
/proc/meminfo: memFree=107220676/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=37664 memory=34616 CPUtime=0.67 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 8373 0 0 0 66 1 0 0 20 0 1 0 8723921 38567936 8654 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 9416 8654 421 379 0 8950 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 47596 KiB
Current children cumulated memory: 37356 KiB

[startup+1.50021 s]
/proc/loadavg: 5.32 4.47 4.22 5/259 90186
/proc/meminfo: memFree=107199032/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=40368 memory=37520 CPUtime=1.46 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 9097 0 0 0 145 1 0 0 20 0 1 0 8723921 41336832 9380 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 10092 9380 421 379 0 9626 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 50300 KiB
Current children cumulated memory: 40260 KiB

[startup+3.10553 s]
/proc/loadavg: 5.32 4.47 4.22 7/259 90236
/proc/meminfo: memFree=107302736/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=50472 memory=46260 CPUtime=3.07 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 10277 0 0 0 305 2 0 0 20 0 1 0 8723921 51683328 11565 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 12618 11565 421 379 0 12152 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 49000 KiB

[startup+6.30026 s]
/proc/loadavg: 5.21 4.46 4.22 5/259 90238
/proc/meminfo: memFree=107207260/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=54948 memory=51100 CPUtime=6.25 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 13062 0 0 0 623 2 0 0 20 0 1 0 8723921 56266752 12775 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 13737 12775 421 379 0 13271 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 64880 KiB
Current children cumulated memory: 53840 KiB

[startup+12.7003 s]
/proc/loadavg: 5.12 4.45 4.21 5/259 90238
/proc/meminfo: memFree=107174548/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=70460 memory=66772 CPUtime=12.64 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 14628 0 0 0 1261 3 0 0 20 0 1 0 8723921 72151040 16693 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 17615 16693 421 379 0 17149 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80392 KiB
Current children cumulated memory: 69512 KiB

[startup+25.5003 s]
/proc/loadavg: 4.87 4.43 4.21 5/259 90291
/proc/meminfo: memFree=107159124/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=89136 memory=82460 CPUtime=25.4 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 15970 0 0 0 2537 3 0 0 20 0 1 0 8723921 91275264 20615 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 22284 20615 421 379 0 21818 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 99068 KiB
Current children cumulated memory: 85200 KiB

[startup+51.1057 s]
/proc/loadavg: 4.70 4.43 4.21 5/259 90294
/proc/meminfo: memFree=107069960/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=101640 memory=97212 CPUtime=50.93 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 18891 0 0 0 5088 5 0 0 20 0 1 0 8723921 104079360 24303 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 25410 24303 421 379 0 24944 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 111572 KiB
Current children cumulated memory: 99952 KiB

[startup+102.3 s]
/proc/loadavg: 4.38 4.38 4.21 5/262 90309
/proc/meminfo: memFree=107003004/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=121944 memory=114012 CPUtime=101.97 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 19559 0 0 0 10192 5 0 0 20 0 1 0 8723921 124870656 28503 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 30486 28503 421 379 0 30020 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 131876 KiB
Current children cumulated memory: 116752 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.34 4.20 5/262 90319
/proc/meminfo: memFree=106974448/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=133440 memory=129936 CPUtime=161.78 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 20010 0 0 0 16173 5 0 0 20 0 1 0 8723921 136642560 32484 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 33360 32484 421 379 0 32894 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 143372 KiB
Current children cumulated memory: 132676 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.29 4.19 5/263 90332
/proc/meminfo: memFree=106951564/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=133440 memory=131344 CPUtime=221.62 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 21931 0 0 0 22154 8 0 0 20 0 1 0 8723921 136642560 32836 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 33360 32836 421 379 0 32894 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 143372 KiB

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

/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 47713 0 0 0 177654 51 0 0 20 0 1 0 8723921 254988288 59405 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 62253 59405 421 379 0 61787 0
Current children cumulated CPU time: 1777.05 s
Current children cumulated vsize: 258944 KiB
Current children cumulated memory: 240360 KiB

[startup+1842.3 s]
/proc/loadavg: 3.18 3.17 3.37 4/250 91277
/proc/meminfo: memFree=105578324/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=241908 memory=214408 CPUtime=1836.86 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 48981 0 0 0 183633 53 0 0 20 0 1 0 8723921 247713792 53602 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 60477 53602 421 379 0 60011 0
Current children cumulated CPU time: 1836.86 s
Current children cumulated vsize: 251840 KiB
Current children cumulated memory: 217148 KiB

[startup+1902.3 s]
/proc/loadavg: 3.16 3.17 3.35 4/250 91288
/proc/meminfo: memFree=105572728/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=272728 memory=245624 CPUtime=1896.66 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 49691 0 0 0 189612 54 0 0 20 0 1 0 8723921 279273472 61406 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 68182 61406 421 379 0 67716 0
Current children cumulated CPU time: 1896.66 s
Current children cumulated vsize: 282660 KiB
Current children cumulated memory: 248364 KiB

[startup+1962.3 s]
/proc/loadavg: 2.50 2.98 3.28 3/244 91333
/proc/meminfo: memFree=105979712/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=258440 memory=247812 CPUtime=1956.49 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 51683 0 0 0 195593 56 0 0 20 0 1 0 8723921 264642560 61953 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 64610 61953 421 379 0 64144 0
Current children cumulated CPU time: 1956.49 s
Current children cumulated vsize: 268372 KiB
Current children cumulated memory: 250552 KiB

[startup+2015.09 s]
# the end of solver process 90166 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2008.55 s, system=0.591904 s

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

[startup+1971.2 s]
/proc/loadavg: 2.49 2.97 3.27 3/244 91335
/proc/meminfo: memFree=105939256/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=289260 memory=251728 CPUtime=1965.37 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52170 0 0 0 196480 57 0 0 20 0 1 0 8723921 296202240 62932 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 72315 62932 421 379 0 71849 0
Current children cumulated CPU time: 1965.37 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 254468 KiB

[startup+1996.8 s]
/proc/loadavg: 2.32 2.89 3.23 3/245 91341
/proc/meminfo: memFree=105908956/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=289260 memory=264808 CPUtime=1990.89 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52388 0 0 0 199032 57 0 0 20 0 1 0 8723921 296202240 66202 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 72315 66202 421 379 0 71849 0
Current children cumulated CPU time: 1990.89 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 267548 KiB

[startup+2003.2 s]
/proc/loadavg: 2.30 2.87 3.23 4/245 91341
/proc/meminfo: memFree=105904860/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=289260 memory=266856 CPUtime=1997.27 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52389 0 0 0 199670 57 0 0 20 0 1 0 8723921 296202240 66714 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 72315 66714 421 379 0 71849 0
Current children cumulated CPU time: 1997.27 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 269596 KiB

[startup+2009.6 s]
/proc/loadavg: 2.33 2.86 3.22 3/245 91342
/proc/meminfo: memFree=105968536/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=209120 memory=201360 CPUtime=2003.65 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52475 0 0 0 200308 57 0 0 20 0 1 0 8723921 214138880 50340 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 52280 50340 421 379 0 51814 0
Current children cumulated CPU time: 2003.65 s
Current children cumulated vsize: 219052 KiB
Current children cumulated memory: 204100 KiB

[startup+2012.8 s]
/proc/loadavg: 2.33 2.86 3.22 3/245 91342
/proc/meminfo: memFree=105966488/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=289260 memory=252560 CPUtime=2006.84 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52536 0 0 0 200626 58 0 0 20 0 1 0 8723921 296202240 63140 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 72315 63140 421 379 0 71849 0
Current children cumulated CPU time: 2006.84 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 255300 KiB

[startup+2014.4 s]
/proc/loadavg: 2.31 2.85 3.21 3/245 91344
/proc/meminfo: memFree=105914920/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=289260 memory=252560 CPUtime=2008.44 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52536 0 0 0 200786 58 0 0 20 0 1 0 8723921 296202240 63140 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 72315 63140 421 379 0 71849 0
Current children cumulated CPU time: 2008.44 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 255300 KiB

[startup+2014.8 s]
/proc/loadavg: 2.31 2.85 3.21 3/245 91344
/proc/meminfo: memFree=105914920/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=289260 memory=252560 CPUtime=2008.84 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52536 0 0 0 200826 58 0 0 20 0 1 0 8723921 296202240 63140 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 72315 63140 421 379 0 71849 0
Current children cumulated CPU time: 2008.84 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 255300 KiB

[startup+2015 s]*
/proc/loadavg: 2.31 2.85 3.21 3/245 91344
/proc/meminfo: memFree=105912928/131524600 swapFree=131071996/131071996
[pid=90166] ppid=90163 vsize=9932 memory=2740 CPUtime=0 cores=5,7
/proc/90166/stat : 90166 (naps-1.02b5.sh) S 90163 90166 88094 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 8723921 10170368 685 134679101440 94881725444096 94881726523416 140729928892960 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94881728621872 94881728669060 94881735634944 140729928901599 140729928901726 140729928901726 140729928908742 0
/proc/90166/statm: 2483 685 606 264 0 134 0
[pid=90171] ppid=90166 vsize=289260 memory=252560 CPUtime=2009.04 cores=5,7
/proc/90171/stat : 90171 (naps-1.02b5) R 90166 90166 88094 0 -1 4194304 52536 0 0 0 200846 58 0 0 20 0 1 0 8723921 296202240 63140 134679101440 4194304 5746509 140734426862128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 27672576 140734426866670 140734426866784 140734426866784 140734426873801 0
/proc/90171/statm: 72315 63140 421 379 0 71849 0
Current children cumulated CPU time: 2009.04 s
Current children cumulated vsize: 299192 KiB
Current children cumulated memory: 255300 KiB

Child status: 30

Real time (s): 2015.09
CPU time (s): 2009.14
CPU user time (s): 2008.55
CPU system time (s): 0.591904
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 332748
Max. memory (cumulated for all children) (KiB): 271828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2008.55
system time used= 0.591904
maximum resident set size= 277876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53016
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= 34
involuntary context switches= 1718


# summary of solver processes directly reported to runsolver:
#   pid: 90166
#   total CPU time (s): 2009.14
#   total CPU user time (s): 2008.55
#   total CPU system time (s): 0.591904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.24361 second user time and 8.78734 second system time

The end