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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463633-1722352254/watcher-4463633-1722352254 -o /tmp/evaluation-result-4463633-1722352254/solver-4463633-1722352254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722352222-14698 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463633-1722352254.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
Current StackSize limit: 8192 KiB

solver pid=14924, runsolver pid=14921

[startup+0.100095 s]*
/proc/loadavg: 2.39 2.21 2.72 5/266 14929
/proc/meminfo: memFree=122155264/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=24504 memory=21072 CPUtime=0.09 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 5511 0 0 0 9 0 0 0 20 0 1 0 1825567 25092096 5268 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 6126 5268 468 659 0 5330 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34436 KiB
Current children cumulated memory: 23752 KiB

[startup+0.205813 s]*
/proc/loadavg: 2.39 2.21 2.72 5/266 14929
/proc/meminfo: memFree=122106328/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=30376 memory=27144 CPUtime=0.2 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 7009 0 0 0 19 1 0 0 20 0 1 0 1825567 31105024 6786 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 7594 6786 468 659 0 6798 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 29824 KiB

[startup+0.305756 s]*
/proc/loadavg: 2.39 2.21 2.72 5/266 14929
/proc/meminfo: memFree=122016592/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=36392 memory=31564 CPUtime=0.3 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 7607 0 0 0 29 1 0 0 20 0 1 0 1825567 37265408 7891 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 9098 7891 468 659 0 8302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46324 KiB
Current children cumulated memory: 34244 KiB

[startup+0.700248 s]
/proc/loadavg: 2.39 2.21 2.72 5/266 14929
/proc/meminfo: memFree=121900908/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=39112 memory=35260 CPUtime=0.68 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 8562 0 0 0 67 1 0 0 20 0 1 0 1825567 40050688 8815 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 9778 8815 468 659 0 8982 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 37940 KiB

[startup+1.50026 s]
/proc/loadavg: 2.39 2.21 2.72 5/266 14929
/proc/meminfo: memFree=121714580/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=40784 memory=33340 CPUtime=1.48 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 9589 0 0 0 147 1 0 0 20 0 1 0 1825567 41762816 8335 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 10196 8335 468 659 0 9400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50716 KiB
Current children cumulated memory: 36020 KiB

[startup+3.10601 s]
/proc/loadavg: 2.52 2.24 2.73 5/266 14929
/proc/meminfo: memFree=121346676/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=48304 memory=45008 CPUtime=3.08 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 10998 0 0 0 306 2 0 0 20 0 1 0 1825567 49463296 11252 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 12076 11252 468 659 0 11280 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58236 KiB
Current children cumulated memory: 47688 KiB

[startup+6.30026 s]
/proc/loadavg: 2.52 2.24 2.73 5/266 14980
/proc/meminfo: memFree=122476028/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=66980 memory=61492 CPUtime=6.27 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 11964 0 0 0 624 3 0 0 20 0 1 0 1825567 68587520 15373 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 16745 15373 468 659 0 15949 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76912 KiB
Current children cumulated memory: 64172 KiB

[startup+12.7003 s]
/proc/loadavg: 2.72 2.29 2.74 5/266 14980
/proc/meminfo: memFree=121838172/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=66980 memory=64276 CPUtime=12.66 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 12467 0 0 0 1262 4 0 0 20 0 1 0 1825567 68587520 16069 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 16745 16069 468 659 0 15949 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 76912 KiB
Current children cumulated memory: 66956 KiB

[startup+25.5003 s]
/proc/loadavg: 3.23 2.42 2.78 5/266 14982
/proc/meminfo: memFree=121656732/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=105428 memory=86020 CPUtime=25.42 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 13346 0 0 0 2538 4 0 0 20 0 1 0 1825567 107958272 21505 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 26357 21505 468 659 0 25561 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 115360 KiB
Current children cumulated memory: 88700 KiB

[startup+51.1058 s]
/proc/loadavg: 3.56 2.56 2.81 5/266 14986
/proc/meminfo: memFree=119947864/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=105428 memory=102656 CPUtime=50.95 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 13478 0 0 0 5091 4 0 0 20 0 1 0 1825567 107958272 25664 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 26357 25664 468 659 0 25561 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 115360 KiB
Current children cumulated memory: 105336 KiB

[startup+102.3 s]
/proc/loadavg: 3.87 2.80 2.88 5/266 15046
/proc/meminfo: memFree=121180416/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=105428 memory=102988 CPUtime=102.01 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 15749 0 0 0 10193 8 0 0 20 0 1 0 1825567 107958272 25747 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 26357 25747 468 659 0 25561 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 115360 KiB
Current children cumulated memory: 105668 KiB

[startup+162.3 s]
/proc/loadavg: 4.40 3.13 2.99 5/263 15056
/proc/meminfo: memFree=117007684/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=166744 memory=149416 CPUtime=161.85 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 18465 0 0 0 16173 12 0 0 20 0 1 0 1825567 170745856 37354 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 41686 37354 468 659 0 40890 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 176676 KiB
Current children cumulated memory: 152096 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 3.31 3.06 5/261 15066
/proc/meminfo: memFree=113101792/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=166744 memory=151396 CPUtime=221.67 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 20292 0 0 0 22152 15 0 0 20 0 1 0 1825567 170745856 37849 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 41686 37849 468 659 0 40890 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 176676 KiB

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

/proc/loadavg: 4.17 4.12 4.08 5/261 16870
/proc/meminfo: memFree=116799232/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=216052 memory=211184 CPUtime=3092.8 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 86754 0 0 0 309162 118 0 0 20 0 1 0 1825567 221237248 52796 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 54013 52796 468 659 0 53217 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 225984 KiB
Current children cumulated memory: 213864 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.15 4.09 5/262 16881
/proc/meminfo: memFree=116826800/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=266140 memory=230820 CPUtime=3152.61 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 87121 0 0 0 315143 118 0 0 20 0 1 0 1825567 272527360 57705 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 66535 57705 468 659 0 65739 0
Current children cumulated CPU time: 3152.61 s
Current children cumulated vsize: 276072 KiB
Current children cumulated memory: 233500 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/260 16892
/proc/meminfo: memFree=116784124/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=216052 memory=194800 CPUtime=3212.42 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 88202 0 0 0 321122 120 0 0 20 0 1 0 1825567 221237248 48700 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 54013 48700 468 659 0 53217 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 225984 KiB
Current children cumulated memory: 197480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/259 16902
/proc/meminfo: memFree=116692064/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=266140 memory=218496 CPUtime=3272.23 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 88580 0 0 0 327102 121 0 0 20 0 1 0 1825567 272527360 54624 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 66535 54624 468 659 0 65739 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 276072 KiB
Current children cumulated memory: 221176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/259 16912
/proc/meminfo: memFree=116617024/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=266140 memory=234916 CPUtime=3332.05 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 88648 0 0 0 333083 122 0 0 20 0 1 0 1825567 272527360 58729 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 66535 58729 468 659 0 65739 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 276072 KiB
Current children cumulated memory: 237596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 16924
/proc/meminfo: memFree=116595160/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=216052 memory=198896 CPUtime=3391.87 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 89731 0 0 0 339063 124 0 0 20 0 1 0 1825567 221237248 49724 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 54013 49724 468 659 0 53217 0
Current children cumulated CPU time: 3391.87 s
Current children cumulated vsize: 225984 KiB
Current children cumulated memory: 201576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 16934
/proc/meminfo: memFree=116495888/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=266140 memory=232868 CPUtime=3451.67 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 90107 0 0 0 345043 124 0 0 20 0 1 0 1825567 272527360 58217 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 66535 58217 468 659 0 65739 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 276072 KiB
Current children cumulated memory: 235548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/258 16944
/proc/meminfo: memFree=116475148/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=216052 memory=198896 CPUtime=3511.49 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 91191 0 0 0 351022 127 0 0 20 0 1 0 1825567 221237248 49724 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 54013 49724 468 659 0 53217 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 225984 KiB
Current children cumulated memory: 201576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 16959
/proc/meminfo: memFree=116509892/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=266140 memory=226724 CPUtime=3571.3 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 91561 0 0 0 357003 127 0 0 20 0 1 0 1825567 272527360 56681 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 66535 56681 468 659 0 65739 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 276072 KiB
Current children cumulated memory: 229404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.07 4.10 4.09 5/261 16965
/proc/meminfo: memFree=116472248/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=266140 memory=234916 CPUtime=3600.01 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 91565 0 0 0 359874 127 0 0 20 0 1 0 1825567 272527360 58729 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 66535 58729 468 659 0 65739 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 276072 KiB
Current children cumulated memory: 237596 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.75 s, system=1.28237 s

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

[startup+3611.11 s]
/proc/loadavg: 4.07 4.10 4.09 5/261 16965
/proc/meminfo: memFree=116472248/131524600 swapFree=131071996/131071996
[pid=14924] ppid=14921 vsize=9932 memory=2680 CPUtime=0 cores=5,7
/proc/14924/stat : 14924 (naps-1.03.sh) S 14921 14924 14685 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 1825567 10170368 670 134679101440 94542640128000 94542641207320 140730556975712 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94542643305776 94542643352964 94542644989952 140730556982239 140730556982368 140730556982368 140730556989384 0
/proc/14924/statm: 2483 670 592 264 0 134 0
[pid=14929] ppid=14924 vsize=266140 memory=234916 CPUtime=3600.01 cores=5,7
/proc/14929/stat : 14929 (naps-1.03a2) R 14924 14924 14685 0 -1 4194304 91565 0 0 0 359874 127 0 0 20 0 1 0 1825567 272527360 58729 134679101440 4194304 6891597 140724059602688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 13500416 140724059608042 140724059608160 140724059608160 140724059615177 0
/proc/14929/statm: 66535 58729 468 659 0 65739 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 276072 KiB
Current children cumulated memory: 237596 KiB

Child status: 10

Real time (s): 3611.11
CPU time (s): 3600.03
CPU user time (s): 3598.75
CPU system time (s): 1.28237
CPU usage (%): 99.6933
Max. virtual memory (cumulated for all children) (KiB): 325392
Max. memory (cumulated for all children) (KiB): 271920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.75
system time used= 1.28237
maximum resident set size= 283540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92041
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= 27
involuntary context switches= 3221


# summary of solver processes directly reported to runsolver:
#   pid: 14924
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.75
#   total CPU system time (s): 1.28237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.296 second user time and 13.3567 second system time

The end