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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456016-1721718390/watcher-4456016-1721718390 -o /tmp/evaluation-result-4456016-1721718390/solver-4456016-1721718390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721718390-87957 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456016-1721718390.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
solver pid=88015, runsolver pid=88003
Current StackSize limit: 8192 KiB


[startup+0.100518 s]*
/proc/loadavg: 1.48 1.90 2.02 8/264 88038
/proc/meminfo: memFree=108156804/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=31960 memory=30264 CPUtime=0.1 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 7142 0 0 0 10 0 0 0 20 0 1 0 8361861 32727040 7566 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 7990 7566 612 659 0 7194 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41892 KiB
Current children cumulated memory: 32964 KiB

[startup+0.216518 s]*
/proc/loadavg: 1.48 1.90 2.02 5/264 88038
/proc/meminfo: memFree=108109036/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=44432 memory=42012 CPUtime=0.21 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 10390 0 0 0 20 1 0 0 20 0 1 0 8361861 45498368 10503 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 11108 10503 644 659 0 10312 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54364 KiB
Current children cumulated memory: 44712 KiB

[startup+0.306136 s]*
/proc/loadavg: 1.48 1.90 2.02 6/264 88038
/proc/meminfo: memFree=108067968/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=44432 memory=42012 CPUtime=0.3 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 10398 0 0 0 29 1 0 0 20 0 1 0 8361861 45498368 10503 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 11108 10503 644 659 0 10312 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54364 KiB
Current children cumulated memory: 44712 KiB

[startup+0.701284 s]
/proc/loadavg: 1.48 1.90 2.02 8/264 88038
/proc/meminfo: memFree=107996584/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=44864 memory=43032 CPUtime=0.68 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 16775 0 0 0 66 2 0 0 20 0 1 0 8361861 45940736 10758 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 11216 10758 660 659 0 10420 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54796 KiB
Current children cumulated memory: 45732 KiB

[startup+1.50027 s]
/proc/loadavg: 1.48 1.90 2.02 7/264 88040
/proc/meminfo: memFree=107913904/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=48960 memory=46740 CPUtime=1.48 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 17188 0 0 0 146 2 0 0 20 0 1 0 8361861 50135040 11685 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 12240 11685 660 659 0 11444 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58892 KiB
Current children cumulated memory: 49440 KiB

[startup+3.10668 s]
/proc/loadavg: 1.48 1.90 2.02 7/264 88040
/proc/meminfo: memFree=107844292/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=48960 memory=46740 CPUtime=3.08 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 17189 0 0 0 306 2 0 0 20 0 1 0 8361861 50135040 11685 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 12240 11685 660 659 0 11444 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58892 KiB
Current children cumulated memory: 49440 KiB

[startup+6.30025 s]
/proc/loadavg: 1.69 1.93 2.03 8/264 88040
/proc/meminfo: memFree=107815476/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=51216 memory=48884 CPUtime=6.27 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 18576 0 0 0 625 2 0 0 20 0 1 0 8361861 52445184 12221 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 12804 12221 660 659 0 12008 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61148 KiB
Current children cumulated memory: 51584 KiB

[startup+12.7002 s]
/proc/loadavg: 1.87 1.97 2.04 8/263 88041
/proc/meminfo: memFree=107810088/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=50340 memory=48224 CPUtime=12.65 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 20825 0 0 0 1262 3 0 0 20 0 1 0 8361861 51548160 12056 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 12585 12056 660 659 0 11789 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 60272 KiB
Current children cumulated memory: 50924 KiB

[startup+25.5002 s]
/proc/loadavg: 2.34 2.07 2.08 7/263 88043
/proc/meminfo: memFree=107786952/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=63288 memory=61012 CPUtime=25.42 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 23822 0 0 0 2538 4 0 0 20 0 1 0 8361861 64806912 15253 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 15822 15253 660 659 0 15026 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 73220 KiB
Current children cumulated memory: 63712 KiB

[startup+51.1069 s]
/proc/loadavg: 3.06 2.26 2.14 7/263 88047
/proc/meminfo: memFree=107719208/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=70528 memory=68864 CPUtime=50.96 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 26180 0 0 0 5091 5 0 0 20 0 1 0 8361861 72220672 17216 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 17632 17216 660 659 0 16836 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 80460 KiB
Current children cumulated memory: 71564 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.55 2.25 7/263 88056
/proc/meminfo: memFree=107702144/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=89160 memory=81232 CPUtime=102.02 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 33364 0 0 0 10194 8 0 0 20 0 1 0 8361861 91299840 20308 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 22290 20308 660 659 0 21494 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 99092 KiB
Current children cumulated memory: 83932 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.84 2.37 7/263 88066
/proc/meminfo: memFree=107618536/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=89360 memory=81260 CPUtime=161.89 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 38847 0 0 0 16176 13 0 0 20 0 1 0 8361861 91504640 20315 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 22340 20315 660 659 0 21544 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 99292 KiB
Current children cumulated memory: 83960 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.09 2.48 6/263 88077
/proc/meminfo: memFree=107607444/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=149192 memory=141228 CPUtime=221.74 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 43875 0 0 0 22156 18 0 0 20 0 1 0 8361861 152772608 35307 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 37298 35307 660 659 0 36502 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 159124 KiB

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

/proc/loadavg: 4.07 4.08 4.01 7/261 89599
/proc/meminfo: memFree=107220140/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=270492 memory=264624 CPUtime=3094.9 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 191116 0 0 0 309222 268 0 0 20 0 1 0 8361861 276983808 66156 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 67623 66156 660 659 0 66827 0
Current children cumulated CPU time: 3094.9 s
Current children cumulated vsize: 280424 KiB
Current children cumulated memory: 267324 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.02 7/262 89779
/proc/meminfo: memFree=107190452/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=284784 memory=278968 CPUtime=3154.76 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 192194 0 0 0 315205 271 0 0 20 0 1 0 8361861 291618816 69742 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 71196 69742 660 659 0 70400 0
Current children cumulated CPU time: 3154.76 s
Current children cumulated vsize: 294716 KiB
Current children cumulated memory: 281668 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.02 7/262 89789
/proc/meminfo: memFree=107166464/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=302024 memory=294880 CPUtime=3214.61 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 194206 0 0 0 321185 276 0 0 20 0 1 0 8361861 309272576 73720 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 75506 73720 660 659 0 74710 0
Current children cumulated CPU time: 3214.61 s
Current children cumulated vsize: 311956 KiB
Current children cumulated memory: 297580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.02 7/263 89814
/proc/meminfo: memFree=107209304/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=275940 memory=268868 CPUtime=3274.47 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 195333 0 0 0 327167 280 0 0 20 0 1 0 8361861 282562560 67217 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 68985 67217 660 659 0 68189 0
Current children cumulated CPU time: 3274.47 s
Current children cumulated vsize: 285872 KiB
Current children cumulated memory: 271568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.02 7/264 89825
/proc/meminfo: memFree=107260908/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=282404 memory=275560 CPUtime=3334.33 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 197662 0 0 0 333147 286 0 0 20 0 1 0 8361861 289181696 68890 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 70601 68890 660 659 0 69805 0
Current children cumulated CPU time: 3334.33 s
Current children cumulated vsize: 292336 KiB
Current children cumulated memory: 278260 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.02 8/264 89836
/proc/meminfo: memFree=107180116/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=287036 memory=280192 CPUtime=3394.18 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 198607 0 0 0 339130 288 0 0 20 0 1 0 8361861 293924864 70048 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 71759 70048 660 659 0 70963 0
Current children cumulated CPU time: 3394.18 s
Current children cumulated vsize: 296968 KiB
Current children cumulated memory: 282892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.02 7/262 89846
/proc/meminfo: memFree=107264524/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=280468 memory=273532 CPUtime=3454.04 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 200277 0 0 0 345111 293 0 0 20 0 1 0 8361861 287199232 68383 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 70117 68383 660 659 0 69321 0
Current children cumulated CPU time: 3454.04 s
Current children cumulated vsize: 290400 KiB
Current children cumulated memory: 276232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.02 7/262 89857
/proc/meminfo: memFree=107252528/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=208724 memory=203124 CPUtime=3513.89 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 201661 0 0 0 351092 297 0 0 20 0 1 0 8361861 213733376 50781 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 52181 50781 660 659 0 51385 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 218656 KiB
Current children cumulated memory: 205824 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.03 7/260 89868
/proc/meminfo: memFree=107283108/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=214112 memory=205284 CPUtime=3573.75 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 204202 0 0 0 357072 303 0 0 20 0 1 0 8361861 219250688 51321 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 53528 51321 660 659 0 52732 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 224044 KiB
Current children cumulated memory: 207984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.08 4.09 4.03 7/260 89872
/proc/meminfo: memFree=107030660/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=219068 memory=210240 CPUtime=3600.08 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 205423 0 0 0 359704 304 0 0 20 0 1 0 8361861 224325632 52560 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 54767 52560 660 659 0 53971 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 229000 KiB
Current children cumulated memory: 212940 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.05 s, system=3.05152 s

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

[startup+3608.7 s]
/proc/loadavg: 4.08 4.09 4.03 7/260 89872
/proc/meminfo: memFree=107030660/131524600 swapFree=131071996/131071996
[pid=88015] ppid=88003 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/88015/stat : 88015 (naps-1.03.sh) S 88003 88015 87945 0 -1 4194304 220 243 0 0 0 0 0 0 20 0 1 0 8361860 10170368 675 134679101440 94519211433984 94519212513304 140728926274736 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94519214611760 94519214658948 94519238209536 140728926282723 140728926282848 140728926282848 140728926289864 0
/proc/88015/statm: 2483 675 597 264 0 134 0
[pid=88038] ppid=88015 vsize=219068 memory=210240 CPUtime=3600.08 cores=1,3
/proc/88038/stat : 88038 (naps-1.03) R 88015 88015 87945 0 -1 4194304 205423 0 0 0 359704 304 0 0 20 0 1 0 8361861 224325632 52560 134679101440 4194304 6891213 140725190593488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20684800 140725190595572 140725190595684 140725190595684 140725190602699 0
/proc/88038/statm: 54767 52560 660 659 0 53971 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 229000 KiB
Current children cumulated memory: 212940 KiB

Child status: 10

Real time (s): 3608.7
CPU time (s): 3600.1
CPU user time (s): 3597.05
CPU system time (s): 3.05152
CPU usage (%): 99.7616
Max. virtual memory (cumulated for all children) (KiB): 491840
Max. memory (cumulated for all children) (KiB): 426624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.05
system time used= 3.05152
maximum resident set size= 474732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205900
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= 57
involuntary context switches= 1911


# summary of solver processes directly reported to runsolver:
#   pid: 88015
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.05
#   total CPU system time (s): 3.05152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95503 second user time and 22.2438 second system time

The end