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 (53157 MiB free)
  memory of node 1: 64473 MiB (54885 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455976-1721718378/watcher-4455976-1721718378 -o /tmp/evaluation-result-4455976-1721718378/solver-4455976-1721718378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721718378-86754 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4455976-1721718378.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=86814, runsolver pid=86801

[startup+0.10009 s]*
/proc/loadavg: 1.55 1.95 2.04 8/263 86836
/proc/meminfo: memFree=110563376/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=25788 memory=23844 CPUtime=0.09 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 6133 0 0 0 9 0 0 0 20 0 1 0 8361228 26406912 5961 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 6447 5961 612 659 0 5651 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35720 KiB
Current children cumulated memory: 26456 KiB

[startup+0.20689 s]*
/proc/loadavg: 1.55 1.95 2.04 6/263 86836
/proc/meminfo: memFree=110501440/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=56288 memory=48616 CPUtime=0.2 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 13037 0 0 0 18 2 0 0 20 0 1 0 8361228 57638912 12154 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 14072 12154 644 659 0 13276 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66220 KiB
Current children cumulated memory: 51228 KiB

[startup+0.306147 s]*
/proc/loadavg: 1.55 1.95 2.04 9/263 86836
/proc/meminfo: memFree=110461192/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=70240 memory=66400 CPUtime=0.29 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 16743 0 0 0 27 2 0 0 20 0 1 0 8361228 71925760 16600 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 17560 16600 644 659 0 16764 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80172 KiB
Current children cumulated memory: 69012 KiB

[startup+0.700272 s]
/proc/loadavg: 1.55 1.95 2.04 8/263 86836
/proc/meminfo: memFree=110428008/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=86108 memory=80364 CPUtime=0.68 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 21725 0 0 0 64 4 0 0 20 0 1 0 8361228 88174592 20091 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 21527 20091 660 659 0 20731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96040 KiB
Current children cumulated memory: 82976 KiB

[startup+1.50025 s]
/proc/loadavg: 1.55 1.95 2.04 8/263 86836
/proc/meminfo: memFree=110397628/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=79804 memory=77376 CPUtime=1.48 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 24307 0 0 0 143 5 0 0 20 0 1 0 8361228 81719296 19344 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 19951 19344 660 659 0 19155 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89736 KiB
Current children cumulated memory: 79988 KiB

[startup+3.10616 s]
/proc/loadavg: 1.55 1.95 2.04 7/263 86886
/proc/meminfo: memFree=110242456/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=90716 memory=86352 CPUtime=3.08 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 24524 0 0 0 303 5 0 0 20 0 1 0 8361228 92893184 21588 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 22679 21588 660 659 0 21883 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100648 KiB
Current children cumulated memory: 88964 KiB

[startup+6.30025 s]
/proc/loadavg: 1.75 1.98 2.05 7/263 86886
/proc/meminfo: memFree=110197944/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=90716 memory=86352 CPUtime=6.26 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 24527 0 0 0 621 5 0 0 20 0 1 0 8361228 92893184 21588 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 22679 21588 660 659 0 21883 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 100648 KiB
Current children cumulated memory: 88964 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.02 2.06 7/263 86887
/proc/meminfo: memFree=110169124/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=90716 memory=86352 CPUtime=12.64 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 24533 0 0 0 1259 5 0 0 20 0 1 0 8361228 92893184 21588 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 22679 21588 660 659 0 21883 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 100648 KiB
Current children cumulated memory: 88964 KiB

[startup+25.5003 s]
/proc/loadavg: 2.39 2.12 2.09 7/263 86889
/proc/meminfo: memFree=110157432/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=90716 memory=86420 CPUtime=25.4 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 24556 0 0 0 2535 5 0 0 20 0 1 0 8361228 92893184 21605 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 22679 21605 660 659 0 21883 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 100648 KiB
Current children cumulated memory: 89032 KiB

[startup+51.1055 s]
/proc/loadavg: 3.17 2.32 2.16 7/263 86893
/proc/meminfo: memFree=110126708/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=106336 memory=104352 CPUtime=50.94 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 28542 0 0 0 5086 8 0 0 20 0 1 0 8361228 108888064 26088 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 26584 26088 660 659 0 25788 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 116268 KiB
Current children cumulated memory: 106964 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.60 2.27 7/263 86902
/proc/meminfo: memFree=110089092/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=114504 memory=112884 CPUtime=102.02 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 29703 0 0 0 10194 8 0 0 20 0 1 0 8361228 117252096 28221 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 28626 28221 660 659 0 27830 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 124436 KiB
Current children cumulated memory: 115496 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.87 2.38 7/263 86913
/proc/meminfo: memFree=109982276/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=126736 memory=125256 CPUtime=161.87 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 31665 0 0 0 16178 9 0 0 20 0 1 0 8361228 129777664 31314 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 31684 31314 660 659 0 30888 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 136668 KiB
Current children cumulated memory: 127868 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.09 2.49 7/263 86924
/proc/meminfo: memFree=109983108/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=132684 memory=131244 CPUtime=221.74 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 32689 0 0 0 22164 10 0 0 20 0 1 0 8361228 135868416 32811 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 33171 32811 660 659 0 32375 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 142616 KiB

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

/proc/loadavg: 4.16 4.31 4.15 7/260 88449
/proc/meminfo: memFree=109318708/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=357516 memory=355184 CPUtime=3034.51 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 197949 0 0 0 303210 241 0 0 20 0 1 0 8361228 366096384 88796 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 89379 88796 660 659 0 88583 0
Current children cumulated CPU time: 3034.51 s
Current children cumulated vsize: 367448 KiB
Current children cumulated memory: 357796 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.28 4.15 7/260 88460
/proc/meminfo: memFree=109289288/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=435768 memory=432620 CPUtime=3094.37 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 212107 0 0 0 309187 250 0 0 20 0 1 0 8361228 446226432 108155 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 108942 108155 660 659 0 108146 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 445700 KiB
Current children cumulated memory: 435232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.24 4.15 7/262 88640
/proc/meminfo: memFree=109316332/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=322124 memory=319440 CPUtime=3154.22 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 214605 0 0 0 315166 256 0 0 20 0 1 0 8361228 329854976 79860 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 80531 79860 660 659 0 79735 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 332056 KiB
Current children cumulated memory: 322052 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.21 4.14 7/262 88650
/proc/meminfo: memFree=109299696/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=374556 memory=371872 CPUtime=3214.07 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 216479 0 0 0 321145 262 0 0 20 0 1 0 8361228 383545344 92968 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 93639 92968 660 659 0 92843 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 384488 KiB
Current children cumulated memory: 374484 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.14 7/263 88666
/proc/meminfo: memFree=109222344/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=395812 memory=393128 CPUtime=3273.93 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 219307 0 0 0 327123 270 0 0 20 0 1 0 8361228 405311488 98282 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 98953 98282 660 659 0 98157 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 405744 KiB
Current children cumulated memory: 395740 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.13 7/263 88687
/proc/meminfo: memFree=109285040/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=378232 memory=376444 CPUtime=3333.79 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 223306 0 0 0 333102 277 0 0 20 0 1 0 8361228 387309568 94111 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 94558 94111 660 659 0 93762 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 388164 KiB
Current children cumulated memory: 379056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.15 4.12 7/263 88699
/proc/meminfo: memFree=109224976/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=351964 memory=350176 CPUtime=3393.64 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 225993 0 0 0 339081 283 0 0 20 0 1 0 8361228 360411136 87544 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 87991 87544 660 659 0 87195 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 361896 KiB
Current children cumulated memory: 352788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.13 4.12 7/261 88709
/proc/meminfo: memFree=109303968/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=354552 memory=352764 CPUtime=3453.48 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 229650 0 0 0 345060 288 0 0 20 0 1 0 8361228 363061248 88191 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 88638 88191 660 659 0 87842 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 364484 KiB
Current children cumulated memory: 355376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.12 7/261 88721
/proc/meminfo: memFree=109218088/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=410108 memory=408320 CPUtime=3513.35 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 232038 0 0 0 351040 295 0 0 20 0 1 0 8361228 419950592 102080 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 102527 102080 660 659 0 101731 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 420040 KiB
Current children cumulated memory: 410932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.12 7/258 88731
/proc/meminfo: memFree=109240644/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=399168 memory=397380 CPUtime=3573.19 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 233575 0 0 0 357019 300 0 0 20 0 1 0 8361228 408748032 99345 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 99792 99345 660 659 0 98996 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 409100 KiB
Current children cumulated memory: 399992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.10 4.13 4.11 5/251 88767
/proc/meminfo: memFree=109579208/131524600 swapFree=131071996/131071996
[pid=86814] ppid=86801 vsize=9932 memory=2612 CPUtime=0 cores=1,3
/proc/86814/stat : 86814 (naps-1.03.sh) S 86801 86814 86742 0 -1 4194304 217 239 0 0 0 0 0 0 20 0 1 0 8361228 10170368 653 134679101440 94517648412672 94517649491992 140736370268032 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94517651590448 94517651637636 94517662830592 140736370275299 140736370275424 140736370275424 140736370282440 0
/proc/86814/statm: 2483 653 575 264 0 134 0
[pid=86836] ppid=86814 vsize=415544 memory=413756 CPUtime=3600.03 cores=1,3
/proc/86836/stat : 86836 (naps-1.03) R 86814 86814 86742 0 -1 4194304 234445 0 0 0 359700 303 0 0 20 0 1 0 8361228 425517056 103439 134679101440 4194304 6891213 140723453335024 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 7729152 140723453342708 140723453342820 140723453342820 140723453349835 0
/proc/86836/statm: 103886 103439 660 659 0 103090 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 425476 KiB
Current children cumulated memory: 416368 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.01 s, system=3.04173 s

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

Child status: 10

Real time (s): 3609.2
CPU time (s): 3600.05
CPU user time (s): 3597.01
CPU system time (s): 3.04173
CPU usage (%): 99.7464
Max. virtual memory (cumulated for all children) (KiB): 607364
Max. memory (cumulated for all children) (KiB): 569760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.01
system time used= 3.04173
maximum resident set size= 594072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234917
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= 63
involuntary context switches= 2114


# summary of solver processes directly reported to runsolver:
#   pid: 86814
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.01
#   total CPU system time (s): 3.04173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94154 second user time and 20.5601 second system time

The end