runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (53157 MiB free)
  memory of node 1: 64473 MiB (54885 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=86816, runsolver pid=86803
Current StackSize limit: 8192 KiB


[startup+0.100515 s]*
/proc/loadavg: 1.55 1.95 2.04 9/263 86836
/proc/meminfo: memFree=110563376/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=25532 memory=23892 CPUtime=0.1 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 6097 0 0 0 9 1 0 0 20 0 1 0 8361228 26144768 5973 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 6383 5973 612 659 0 5587 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35464 KiB
Current children cumulated memory: 26644 KiB

[startup+0.215515 s]*
/proc/loadavg: 1.55 1.95 2.04 6/263 86836
/proc/meminfo: memFree=110491304/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=43376 memory=40708 CPUtime=0.19 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 10287 0 0 0 18 1 0 0 20 0 1 0 8361228 44417024 10177 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 10844 10177 644 659 0 10048 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 53308 KiB
Current children cumulated memory: 43460 KiB

[startup+0.305518 s]*
/proc/loadavg: 1.55 1.95 2.04 6/263 86836
/proc/meminfo: memFree=110461192/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=43896 memory=41424 CPUtime=0.29 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 13760 0 0 0 27 2 0 0 20 0 1 0 8361228 44949504 10356 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 10974 10356 644 659 0 10178 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53828 KiB
Current children cumulated memory: 44176 KiB

[startup+0.700229 s]
/proc/loadavg: 1.55 1.95 2.04 5/263 86836
/proc/meminfo: memFree=110428008/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=57084 memory=54088 CPUtime=0.67 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 16398 0 0 0 65 2 0 0 20 0 1 0 8361228 58454016 13522 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 14271 13522 660 659 0 13475 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 67016 KiB
Current children cumulated memory: 56840 KiB

[startup+1.50027 s]
/proc/loadavg: 1.55 1.95 2.04 7/263 86836
/proc/meminfo: memFree=110397628/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=60644 memory=55872 CPUtime=1.46 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 19626 0 0 0 144 2 0 0 20 0 1 0 8361228 62099456 13968 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 15161 13968 660 659 0 14365 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 70576 KiB
Current children cumulated memory: 58624 KiB

[startup+3.10639 s]
/proc/loadavg: 1.55 1.95 2.04 7/263 86886
/proc/meminfo: memFree=110242456/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=56572 memory=51968 CPUtime=3.07 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 21189 0 0 0 304 3 0 0 20 0 1 0 8361228 57929728 12992 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 14143 12992 660 659 0 13347 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66504 KiB
Current children cumulated memory: 54720 KiB

[startup+6.30019 s]
/proc/loadavg: 1.75 1.98 2.05 6/263 86886
/proc/meminfo: memFree=110197944/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=66892 memory=62040 CPUtime=6.25 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 25219 0 0 0 621 4 0 0 20 0 1 0 8361228 68497408 15510 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 16723 15510 660 659 0 15927 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 76824 KiB
Current children cumulated memory: 64792 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.02 2.06 6/263 86887
/proc/meminfo: memFree=110169124/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=70404 memory=68060 CPUtime=12.64 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 30092 0 0 0 1258 6 0 0 20 0 1 0 8361228 72093696 17015 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 17601 17015 660 659 0 16805 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80336 KiB
Current children cumulated memory: 70812 KiB

[startup+25.5002 s]
/proc/loadavg: 2.39 2.12 2.09 6/263 86889
/proc/meminfo: memFree=110157432/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=76988 memory=74648 CPUtime=25.41 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 35647 0 0 0 2533 8 0 0 20 0 1 0 8361228 78835712 18662 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 19247 18662 660 659 0 18451 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86920 KiB
Current children cumulated memory: 77400 KiB

[startup+51.1063 s]
/proc/loadavg: 3.17 2.32 2.16 7/263 86893
/proc/meminfo: memFree=110126708/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=89840 memory=87500 CPUtime=50.95 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 39975 0 0 0 5086 9 0 0 20 0 1 0 8361228 91996160 21875 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 22460 21875 660 659 0 21664 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 99772 KiB
Current children cumulated memory: 90252 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.60 2.27 6/263 86902
/proc/meminfo: memFree=110089092/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=106724 memory=105004 CPUtime=102.02 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 49716 0 0 0 10187 15 0 0 20 0 1 0 8361228 109285376 26251 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 26681 26251 660 659 0 25885 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 116656 KiB
Current children cumulated memory: 107756 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.87 2.38 7/263 86913
/proc/meminfo: memFree=109982276/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=187268 memory=184992 CPUtime=161.88 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 54010 0 0 0 16170 18 0 0 20 0 1 0 8361228 191762432 46248 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 46817 46248 660 659 0 46021 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 197200 KiB
Current children cumulated memory: 187744 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.09 2.49 7/263 86924
/proc/meminfo: memFree=109983108/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=177676 memory=176052 CPUtime=221.72 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 58214 0 0 0 22150 22 0 0 20 0 1 0 8361228 181940224 44013 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 44419 44013 660 659 0 43623 0
Current children cumulated CPU time: 221.72 s

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

/proc/loadavg: 4.16 4.31 4.15 6/260 88449
/proc/meminfo: memFree=109318708/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=412888 memory=412036 CPUtime=3035.2 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 155532 0 0 0 303364 156 0 0 20 0 1 0 8361228 422797312 103009 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 103222 103009 660 659 0 102426 0
Current children cumulated CPU time: 3035.2 s
Current children cumulated vsize: 422820 KiB
Current children cumulated memory: 414788 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.28 4.15 7/260 88460
/proc/meminfo: memFree=109289288/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=275656 memory=274932 CPUtime=3095.05 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 156824 0 0 0 309346 159 0 0 20 0 1 0 8361228 282271744 68733 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 68914 68733 660 659 0 68118 0
Current children cumulated CPU time: 3095.05 s
Current children cumulated vsize: 285588 KiB
Current children cumulated memory: 277684 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.24 4.15 7/262 88640
/proc/meminfo: memFree=109316332/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=385932 memory=385208 CPUtime=3154.89 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 158621 0 0 0 315326 163 0 0 20 0 1 0 8361228 395194368 96302 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 96483 96302 660 659 0 95687 0
Current children cumulated CPU time: 3154.89 s
Current children cumulated vsize: 395864 KiB
Current children cumulated memory: 387960 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.21 4.14 7/262 88650
/proc/meminfo: memFree=109299696/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=275656 memory=274932 CPUtime=3214.73 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 159868 0 0 0 321308 165 0 0 20 0 1 0 8361228 282271744 68733 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 68914 68733 660 659 0 68118 0
Current children cumulated CPU time: 3214.73 s
Current children cumulated vsize: 285588 KiB
Current children cumulated memory: 277684 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.14 7/263 88666
/proc/meminfo: memFree=109222344/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=328672 memory=327948 CPUtime=3274.57 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 161638 0 0 0 327288 169 0 0 20 0 1 0 8361228 336560128 81987 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 82168 81987 660 659 0 81372 0
Current children cumulated CPU time: 3274.57 s
Current children cumulated vsize: 338604 KiB
Current children cumulated memory: 330700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.17 4.13 7/263 88687
/proc/meminfo: memFree=109285040/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=275656 memory=274932 CPUtime=3334.42 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 162651 0 0 0 333270 172 0 0 20 0 1 0 8361228 282271744 68733 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 68914 68733 660 659 0 68118 0
Current children cumulated CPU time: 3334.42 s
Current children cumulated vsize: 285588 KiB
Current children cumulated memory: 277684 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.15 4.12 7/263 88699
/proc/meminfo: memFree=109224976/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=347984 memory=347260 CPUtime=3394.26 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 164389 0 0 0 339251 175 0 0 20 0 1 0 8361228 356335616 86815 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 86996 86815 660 659 0 86200 0
Current children cumulated CPU time: 3394.26 s
Current children cumulated vsize: 357916 KiB
Current children cumulated memory: 350012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.13 4.12 7/261 88709
/proc/meminfo: memFree=109303968/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=324492 memory=323692 CPUtime=3454.1 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 165501 0 0 0 345231 179 0 0 20 0 1 0 8361228 332279808 80923 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 81123 80923 660 659 0 80327 0
Current children cumulated CPU time: 3454.1 s
Current children cumulated vsize: 334424 KiB
Current children cumulated memory: 326444 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.12 7/261 88721
/proc/meminfo: memFree=109218088/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=320228 memory=319352 CPUtime=3513.94 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 166621 0 0 0 351213 181 0 0 20 0 1 0 8361228 327913472 79838 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 80057 79838 660 659 0 79261 0
Current children cumulated CPU time: 3513.94 s
Current children cumulated vsize: 330160 KiB
Current children cumulated memory: 322104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.12 7/258 88731
/proc/meminfo: memFree=109240644/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=323964 memory=323184 CPUtime=3573.78 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 167448 0 0 0 357194 184 0 0 20 0 1 0 8361228 331739136 80796 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 80991 80796 660 659 0 80195 0
Current children cumulated CPU time: 3573.78 s
Current children cumulated vsize: 333896 KiB
Current children cumulated memory: 325936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.10 4.13 4.11 7/258 88736
/proc/meminfo: memFree=109237628/131524600 swapFree=131071996/131071996
[pid=86816] ppid=86803 vsize=9932 memory=2752 CPUtime=0 cores=4,6
/proc/86816/stat : 86816 (naps-1.03.sh) S 86803 86816 86742 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 8361228 10170368 688 134679101440 94728331636736 94728332716056 140733467562368 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94728334814512 94728334861700 94728356986880 140733467571171 140733467571296 140733467571296 140733467578312 0
/proc/86816/statm: 2483 688 609 264 0 134 0
[pid=86833] ppid=86816 vsize=335344 memory=334516 CPUtime=3600.02 cores=4,6
/proc/86833/stat : 86833 (naps-1.03) R 86816 86816 86742 0 -1 4194304 168092 0 0 0 359817 185 0 0 20 0 1 0 8361228 343392256 83629 134679101440 4194304 6891213 140725996954960 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 15175680 140725996958708 140725996958820 140725996958820 140725996965835 0
/proc/86833/statm: 83836 83629 660 659 0 83040 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 345276 KiB
Current children cumulated memory: 337268 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.18 s, system=1.85647 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.03
CPU user time (s): 3598.18
CPU system time (s): 1.85647
CPU usage (%): 99.7625
Max. virtual memory (cumulated for all children) (KiB): 884268
Max. memory (cumulated for all children) (KiB): 872724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.18
system time used= 1.85647
maximum resident set size= 869972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168577
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= 69
involuntary context switches= 1635


# summary of solver processes directly reported to runsolver:
#   pid: 86816
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.18
#   total CPU system time (s): 1.85647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98919 second user time and 21.3616 second system time

The end