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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463634-1722352260/watcher-4463634-1722352260 -o /tmp/evaluation-result-4463634-1722352260/solver-4463634-1722352260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722352222-14695 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463634-1722352260.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=14975, runsolver pid=14972

[startup+0.100099 s]*
/proc/loadavg: 2.52 2.24 2.73 5/266 14980
/proc/meminfo: memFree=122459388/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=22892 memory=19908 CPUtime=0.1 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 5212 0 0 0 9 1 0 0 20 0 1 0 1826165 23441408 4977 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 5723 4977 468 659 0 4927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32824 KiB
Current children cumulated memory: 22580 KiB

[startup+0.20617 s]*
/proc/loadavg: 2.52 2.24 2.73 5/266 14980
/proc/meminfo: memFree=122413840/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=32148 memory=28548 CPUtime=0.2 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 7794 0 0 0 19 1 0 0 20 0 1 0 1826165 32919552 7137 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 8037 7137 468 659 0 7241 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42080 KiB
Current children cumulated memory: 31220 KiB

[startup+0.305912 s]*
/proc/loadavg: 2.52 2.24 2.73 5/266 14980
/proc/meminfo: memFree=122346812/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=49868 memory=45196 CPUtime=0.3 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 10454 0 0 0 28 2 0 0 20 0 1 0 1826165 51064832 11299 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 12467 11299 468 659 0 11671 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59800 KiB
Current children cumulated memory: 47868 KiB

[startup+0.700279 s]
/proc/loadavg: 2.52 2.24 2.73 5/266 14980
/proc/meminfo: memFree=122254268/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=90852 memory=83308 CPUtime=0.68 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 17288 0 0 0 65 3 0 0 20 0 1 0 1826165 93032448 20827 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 22713 20827 468 659 0 21917 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100784 KiB
Current children cumulated memory: 85980 KiB

[startup+1.50028 s]
/proc/loadavg: 2.52 2.24 2.73 5/266 14980
/proc/meminfo: memFree=122420164/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=90852 memory=84348 CPUtime=1.48 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 17524 0 0 0 145 3 0 0 20 0 1 0 1826165 93032448 21087 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 22713 21087 468 659 0 21917 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100784 KiB
Current children cumulated memory: 87020 KiB

[startup+3.10575 s]
/proc/loadavg: 2.72 2.29 2.74 5/266 14980
/proc/meminfo: memFree=122147008/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=90852 memory=84516 CPUtime=3.08 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 18033 0 0 0 304 4 0 0 20 0 1 0 1826165 93032448 21129 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 22713 21129 468 659 0 21917 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100784 KiB
Current children cumulated memory: 87188 KiB

[startup+6.30026 s]
/proc/loadavg: 2.72 2.29 2.74 5/266 14980
/proc/meminfo: memFree=121838164/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=109596 memory=91804 CPUtime=6.27 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 18669 0 0 0 622 5 0 0 20 0 1 0 1826165 112226304 22951 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 27399 22951 468 659 0 26603 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119528 KiB
Current children cumulated memory: 94476 KiB

[startup+12.7003 s]
/proc/loadavg: 2.90 2.33 2.75 5/266 14982
/proc/meminfo: memFree=122167924/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=128452 memory=103376 CPUtime=12.65 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 19525 0 0 0 1259 6 0 0 20 0 1 0 1826165 131534848 25844 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 32113 25844 468 659 0 31317 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138384 KiB
Current children cumulated memory: 106048 KiB

[startup+25.5003 s]
/proc/loadavg: 3.29 2.45 2.78 5/266 14983
/proc/meminfo: memFree=121486664/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=140784 memory=133748 CPUtime=25.4 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 21511 0 0 0 2532 8 0 0 20 0 1 0 1826165 144162816 33437 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 35196 33437 468 659 0 34400 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 150716 KiB
Current children cumulated memory: 136420 KiB

[startup+51.1058 s]
/proc/loadavg: 3.60 2.59 2.82 5/266 14988
/proc/meminfo: memFree=119965036/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=190104 memory=166812 CPUtime=50.91 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 23772 0 0 0 5080 11 0 0 20 0 1 0 1826165 194666496 41703 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 47526 41703 468 659 0 46730 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 200036 KiB
Current children cumulated memory: 169484 KiB

[startup+102.3 s]
/proc/loadavg: 3.88 2.82 2.89 5/266 15047
/proc/meminfo: memFree=120184164/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=221252 memory=187936 CPUtime=101.92 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 26653 0 0 0 10177 15 0 0 20 0 1 0 1826165 226562048 46984 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 55313 46984 468 659 0 54517 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 231184 KiB
Current children cumulated memory: 190608 KiB

[startup+162.3 s]
/proc/loadavg: 4.37 3.15 3.00 5/263 15057
/proc/meminfo: memFree=116818852/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=220820 memory=203992 CPUtime=161.7 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 28812 0 0 0 16150 20 0 0 20 0 1 0 1826165 226119680 50998 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 55205 50998 468 659 0 54409 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 230752 KiB
Current children cumulated memory: 206664 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 3.32 3.07 5/261 15067
/proc/meminfo: memFree=112766544/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=251640 memory=224048 CPUtime=221.5 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 30854 0 0 0 22127 23 0 0 20 0 1 0 1826165 257679360 56012 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 62910 56012 468 659 0 62114 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 261572 KiB

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

/proc/14980/statm: 112734 92484 468 659 0 111938 0
Current children cumulated CPU time: 3031.88 s
Current children cumulated vsize: 460868 KiB
Current children cumulated memory: 372608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/261 16871
/proc/meminfo: memFree=116790512/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=461188 memory=399440 CPUtime=3091.67 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 74713 0 0 0 309072 95 0 0 20 0 1 0 1826165 472256512 99860 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 115297 99860 468 659 0 114501 0
Current children cumulated CPU time: 3091.67 s
Current children cumulated vsize: 471120 KiB
Current children cumulated memory: 402112 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.15 4.09 5/262 16882
/proc/meminfo: memFree=116818436/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=330752 memory=306460 CPUtime=3151.46 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 75588 0 0 0 315049 97 0 0 20 0 1 0 1826165 338690048 76615 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 82688 76615 468 659 0 81892 0
Current children cumulated CPU time: 3151.46 s
Current children cumulated vsize: 340684 KiB
Current children cumulated memory: 309132 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 16893
/proc/meminfo: memFree=116773528/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=380840 memory=332240 CPUtime=3211.25 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 76018 0 0 0 321027 98 0 0 20 0 1 0 1826165 389980160 83060 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 95210 83060 468 659 0 94414 0
Current children cumulated CPU time: 3211.25 s
Current children cumulated vsize: 390772 KiB
Current children cumulated memory: 334912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/259 16903
/proc/meminfo: memFree=116683424/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=380840 memory=354768 CPUtime=3271.04 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 76117 0 0 0 327006 98 0 0 20 0 1 0 1826165 389980160 88692 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 95210 88692 468 659 0 94414 0
Current children cumulated CPU time: 3271.04 s
Current children cumulated vsize: 390772 KiB
Current children cumulated memory: 357440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/259 16913
/proc/meminfo: memFree=116610492/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=462736 memory=374108 CPUtime=3330.84 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 76495 0 0 0 332985 99 0 0 20 0 1 0 1826165 473841664 93527 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 115684 93527 468 659 0 114888 0
Current children cumulated CPU time: 3330.84 s
Current children cumulated vsize: 472668 KiB
Current children cumulated memory: 376780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/259 16925
/proc/meminfo: memFree=116584548/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=464084 memory=391712 CPUtime=3390.62 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 76877 0 0 0 338963 99 0 0 20 0 1 0 1826165 475222016 97928 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 116021 97928 468 659 0 115225 0
Current children cumulated CPU time: 3390.62 s
Current children cumulated vsize: 474016 KiB
Current children cumulated memory: 394384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 16935
/proc/meminfo: memFree=116486600/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=466192 memory=410104 CPUtime=3450.42 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 77466 0 0 0 344942 100 0 0 20 0 1 0 1826165 477380608 102526 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 116548 102526 468 659 0 115752 0
Current children cumulated CPU time: 3450.42 s
Current children cumulated vsize: 476124 KiB
Current children cumulated memory: 412776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/258 16945
/proc/meminfo: memFree=116461996/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=470024 memory=429768 CPUtime=3510.21 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 78407 0 0 0 350920 101 0 0 20 0 1 0 1826165 481304576 107442 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 117506 107442 468 659 0 116710 0
Current children cumulated CPU time: 3510.21 s
Current children cumulated vsize: 479956 KiB
Current children cumulated memory: 432440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/261 16960
/proc/meminfo: memFree=116502048/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=391712 memory=329776 CPUtime=3570 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 80074 0 0 0 356897 103 0 0 20 0 1 0 1826165 401113088 82444 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 97928 82444 468 659 0 97132 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 332448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.06 4.10 4.09 4/253 16998
/proc/meminfo: memFree=116706828/131524600 swapFree=131071996/131071996
[pid=14975] ppid=14972 vsize=9932 memory=2672 CPUtime=0 cores=0,2
/proc/14975/stat : 14975 (naps-1.03.sh) S 14972 14975 14685 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1826164 10170368 668 134679101440 94877200527360 94877201606680 140721447981424 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94877203705136 94877203752324 94877209546752 140721447990239 140721447990368 140721447990368 140721447997384 0
/proc/14975/statm: 2483 668 590 264 0 134 0
[pid=14980] ppid=14975 vsize=391712 memory=342064 CPUtime=3600 cores=0,2
/proc/14980/stat : 14980 (naps-1.03a2) R 14975 14975 14685 0 -1 4194304 80081 0 0 0 359896 104 0 0 20 0 1 0 1826165 401113088 85516 134679101440 4194304 6891597 140731623524128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26714112 140731623527402 140731623527520 140731623527520 140731623534537 0
/proc/14980/statm: 97928 85516 468 659 0 97132 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 344736 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.41 s]
# the end of solver process 14975 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.00282 s, system=0 s

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

# cumulated CPU time of all completed processes:  user=3598.97 s, system=1.04671 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3612.41
CPU time (s): 3600.01
CPU user time (s): 3598.97
CPU system time (s): 1.04671
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 552300
Max. memory (cumulated for all children) (KiB): 480876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.04671
maximum resident set size= 508540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80545
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= 53
involuntary context switches= 24720


# summary of solver processes directly reported to runsolver:
#   pid: 14975,14980
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3598.97
#   total CPU system time (s): 1.04671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08591 second user time and 17.5545 second system time

The end