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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458498-1721883760/watcher-4458498-1721883760 -o /tmp/evaluation-result-4458498-1721883760/solver-4458498-1721883760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221818 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458498-1721883760.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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=226008, runsolver pid=226005

[startup+0.100097 s]*
/proc/loadavg: 4.09 4.18 4.20 5/249 226013
/proc/meminfo: memFree=126019832/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=28996 memory=26392 CPUtime=0.09 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 7076 0 0 0 9 0 0 0 20 0 1 0 24364880 29691904 6598 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 7249 6598 644 659 0 6453 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38928 KiB
Current children cumulated memory: 29052 KiB

[startup+0.213649 s]*
/proc/loadavg: 4.09 4.18 4.20 5/249 226013
/proc/meminfo: memFree=126018348/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=30800 memory=27448 CPUtime=0.2 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 7369 0 0 0 20 0 0 0 20 0 1 0 24364880 31539200 6862 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 7700 6862 644 659 0 6904 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 30108 KiB

[startup+0.313516 s]*
/proc/loadavg: 4.09 4.18 4.20 5/249 226013
/proc/meminfo: memFree=126018208/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=30800 memory=27448 CPUtime=0.3 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 7371 0 0 0 30 0 0 0 20 0 1 0 24364880 31539200 6862 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 7700 6862 644 659 0 6904 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 30108 KiB

[startup+0.700361 s]
/proc/loadavg: 4.09 4.18 4.20 5/249 226013
/proc/meminfo: memFree=126015012/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=33292 memory=30088 CPUtime=0.69 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 8002 0 0 0 68 1 0 0 20 0 1 0 24364880 34091008 7522 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 8323 7522 644 659 0 7527 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43224 KiB
Current children cumulated memory: 32748 KiB

[startup+1.50036 s]
/proc/loadavg: 4.09 4.18 4.20 5/249 226013
/proc/meminfo: memFree=126014564/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=42184 memory=39464 CPUtime=1.48 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 12059 0 0 0 147 1 0 0 20 0 1 0 24364880 43196416 9866 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 10546 9866 660 659 0 9750 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52116 KiB
Current children cumulated memory: 42124 KiB

[startup+3.11294 s]
/proc/loadavg: 4.09 4.18 4.20 5/249 226013
/proc/meminfo: memFree=125964040/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=50956 memory=47092 CPUtime=3.09 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 14042 0 0 0 307 2 0 0 20 0 1 0 24364880 52178944 11773 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 12739 11773 660 659 0 11943 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60888 KiB
Current children cumulated memory: 49752 KiB

[startup+6.30035 s]
/proc/loadavg: 4.16 4.19 4.21 5/249 226013
/proc/meminfo: memFree=125941608/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=55860 memory=52292 CPUtime=6.27 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 14840 0 0 0 625 2 0 0 20 0 1 0 24364880 57200640 13073 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 13965 13073 660 659 0 13169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 65792 KiB
Current children cumulated memory: 54952 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.20 4.21 5/249 226015
/proc/meminfo: memFree=125923680/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=63604 memory=60216 CPUtime=12.65 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 18113 0 0 0 1263 2 0 0 20 0 1 0 24364880 65130496 15054 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 15901 15054 660 659 0 15105 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73536 KiB
Current children cumulated memory: 62876 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.19 4.21 5/249 226016
/proc/meminfo: memFree=125911248/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=65504 memory=61952 CPUtime=25.42 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 21145 0 0 0 2539 3 0 0 20 0 1 0 24364880 67076096 15488 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 16376 15488 660 659 0 15580 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75436 KiB
Current children cumulated memory: 64612 KiB

[startup+51.1131 s]
/proc/loadavg: 4.27 4.21 4.21 5/249 226021
/proc/meminfo: memFree=125884488/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=85388 memory=81824 CPUtime=50.97 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 23028 0 0 0 5093 4 0 0 20 0 1 0 24364880 87437312 20456 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 21347 20456 660 659 0 20551 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 95320 KiB
Current children cumulated memory: 84484 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.21 4.21 5/247 226029
/proc/meminfo: memFree=125895084/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=86200 memory=82760 CPUtime=102.01 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 25245 0 0 0 10196 5 0 0 20 0 1 0 24364880 88268800 20690 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 21550 20690 660 659 0 20754 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 96132 KiB
Current children cumulated memory: 85420 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.18 4.20 5/246 226041
/proc/meminfo: memFree=125867868/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=87824 memory=83632 CPUtime=161.82 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 30809 0 0 0 16174 8 0 0 20 0 1 0 24364880 89931776 20908 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 21956 20908 660 659 0 21160 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 97756 KiB
Current children cumulated memory: 86292 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.19 4.20 5/246 226051
/proc/meminfo: memFree=125789680/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=120032 memory=116736 CPUtime=221.64 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 32480 0 0 0 22155 9 0 0 20 0 1 0 24364880 122912768 29184 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 30008 29184 660 659 0 29212 0
Current children cumulated CPU time: 221.64 s

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

/proc/loadavg: 4.08 4.11 4.11 5/246 227436
/proc/meminfo: memFree=124968768/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=238360 memory=228416 CPUtime=3035 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 92345 0 0 0 303417 83 0 0 20 0 1 0 24364880 244080640 57104 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 59590 57104 660 659 0 58794 0
Current children cumulated CPU time: 3035 s
Current children cumulated vsize: 248292 KiB
Current children cumulated memory: 231076 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/246 227447
/proc/meminfo: memFree=124913612/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=237172 memory=227228 CPUtime=3094.86 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 93109 0 0 0 309402 84 0 0 20 0 1 0 24364880 242864128 56807 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 59293 56807 660 659 0 58497 0
Current children cumulated CPU time: 3094.86 s
Current children cumulated vsize: 247104 KiB
Current children cumulated memory: 229888 KiB

[startup+3162.3 s]
/proc/loadavg: 4.41 4.18 4.12 5/248 227841
/proc/meminfo: memFree=125006016/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=239776 memory=229832 CPUtime=3154.73 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 94628 0 0 0 315386 87 0 0 20 0 1 0 24364880 245530624 57458 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 59944 57458 660 659 0 59148 0
Current children cumulated CPU time: 3154.73 s
Current children cumulated vsize: 249708 KiB
Current children cumulated memory: 232492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.56 4.28 4.16 5/247 227851
/proc/meminfo: memFree=125002536/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=228280 memory=218336 CPUtime=3214.59 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 96390 0 0 0 321370 89 0 0 20 0 1 0 24364880 233758720 54584 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 57070 54584 660 659 0 56274 0
Current children cumulated CPU time: 3214.59 s
Current children cumulated vsize: 238212 KiB
Current children cumulated memory: 220996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/248 227863
/proc/meminfo: memFree=124994804/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=235688 memory=225744 CPUtime=3274.45 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 97573 0 0 0 327354 91 0 0 20 0 1 0 24364880 241344512 56436 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 58922 56436 660 659 0 58126 0
Current children cumulated CPU time: 3274.45 s
Current children cumulated vsize: 245620 KiB
Current children cumulated memory: 228404 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.24 4.16 5/250 228043
/proc/meminfo: memFree=125003608/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=233172 memory=223228 CPUtime=3334.31 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 98789 0 0 0 333338 93 0 0 20 0 1 0 24364880 238768128 55807 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 58293 55807 660 659 0 57497 0
Current children cumulated CPU time: 3334.31 s
Current children cumulated vsize: 243104 KiB
Current children cumulated memory: 225888 KiB

[startup+3402.3 s]
/proc/loadavg: 4.40 4.27 4.18 5/250 228054
/proc/meminfo: memFree=124963288/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=311028 memory=276840 CPUtime=3394.17 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 100243 0 0 0 339320 97 0 0 20 0 1 0 24364880 318492672 69210 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 77757 69210 660 659 0 76961 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 320960 KiB
Current children cumulated memory: 279500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.75 4.41 4.23 5/248 228066
/proc/meminfo: memFree=125039796/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=234260 memory=224316 CPUtime=3454.04 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 101847 0 0 0 345304 100 0 0 20 0 1 0 24364880 239882240 56079 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 58565 56079 660 659 0 57769 0
Current children cumulated CPU time: 3454.04 s
Current children cumulated vsize: 244192 KiB
Current children cumulated memory: 226976 KiB

[startup+3522.3 s]
/proc/loadavg: 4.38 4.36 4.23 5/248 228087
/proc/meminfo: memFree=124901640/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=237088 memory=227144 CPUtime=3513.9 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 103332 0 0 0 351288 102 0 0 20 0 1 0 24364880 242778112 56786 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 59272 56786 660 659 0 58476 0
Current children cumulated CPU time: 3513.9 s
Current children cumulated vsize: 247020 KiB
Current children cumulated memory: 229804 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.32 4.22 5/248 228099
/proc/meminfo: memFree=124950508/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=227340 memory=217396 CPUtime=3573.76 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 104724 0 0 0 357272 104 0 0 20 0 1 0 24364880 232796160 54349 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 56835 54349 660 659 0 56039 0
Current children cumulated CPU time: 3573.76 s
Current children cumulated vsize: 237272 KiB
Current children cumulated memory: 220056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.09 4.28 4.21 4/240 228135
/proc/meminfo: memFree=125514280/131655788 swapFree=131070192/131071996
[pid=226008] ppid=226005 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/226008/stat : 226008 (naps-1.03.sh) S 226005 226008 221807 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 24364879 10170368 665 134679101440 94048270413824 94048271493144 140726300793824 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94048273591600 94048273638788 94048290533376 140726300799972 140726300800097 140726300800097 140726300807112 0
/proc/226008/statm: 2483 665 586 264 0 134 0
[pid=226013] ppid=226008 vsize=231028 memory=221084 CPUtime=3600 cores=4,6
/proc/226013/stat : 226013 (naps-1.03) R 226008 226008 221807 0 -1 4194304 104889 0 0 0 359895 105 0 0 20 0 1 0 24364880 236572672 55271 134679101440 4194304 6891213 140732438499424 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 10723328 140732438504437 140732438504549 140732438504549 140732438511563 0
/proc/226013/statm: 57757 55271 660 659 0 56961 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 240960 KiB
Current children cumulated memory: 223744 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.96 s, system=1.06146 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): 3608.6
CPU time (s): 3600.02
CPU user time (s): 3598.96
CPU system time (s): 1.06146
CPU usage (%): 99.7622
Max. virtual memory (cumulated for all children) (KiB): 325024
Max. memory (cumulated for all children) (KiB): 307684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.06146
maximum resident set size= 305024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105364
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= 47
involuntary context switches= 1743


# summary of solver processes directly reported to runsolver:
#   pid: 226008
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.96
#   total CPU system time (s): 1.06146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0508 second user time and 37.8246 second system time

The end