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-4455966-1721718378/watcher-4455966-1721718378 -o /tmp/evaluation-result-4455966-1721718378/solver-4455966-1721718378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721718378-86752 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4455966-1721718378.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=86815, runsolver pid=86804
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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=26216 memory=24480 CPUtime=0.1 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 6208 0 0 0 9 1 0 0 20 0 1 0 8361228 26845184 6120 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 6554 6120 612 659 0 5758 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36148 KiB
Current children cumulated memory: 27204 KiB

[startup+0.214561 s]*
/proc/loadavg: 1.55 1.95 2.04 5/263 86836
/proc/meminfo: memFree=110489372/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=58668 memory=55112 CPUtime=0.2 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 12989 0 0 0 18 2 0 0 20 0 1 0 8361228 60076032 13712 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 14667 13712 612 659 0 13871 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68600 KiB
Current children cumulated memory: 57836 KiB

[startup+0.305884 s]*
/proc/loadavg: 1.55 1.95 2.04 7/263 86836
/proc/meminfo: memFree=110461192/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=66980 memory=62816 CPUtime=0.29 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 15666 0 0 0 27 2 0 0 20 0 1 0 8361228 68587520 15704 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 16745 15704 644 659 0 15949 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76912 KiB
Current children cumulated memory: 65540 KiB

[startup+0.70027 s]
/proc/loadavg: 1.55 1.95 2.04 7/263 86836
/proc/meminfo: memFree=110428008/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=85364 memory=82112 CPUtime=0.68 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 22674 0 0 0 64 4 0 0 20 0 1 0 8361228 87412736 20528 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 21341 20528 644 659 0 20545 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95296 KiB
Current children cumulated memory: 84836 KiB

[startup+1.50028 s]
/proc/loadavg: 1.55 1.95 2.04 7/263 86836
/proc/meminfo: memFree=110397628/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=107796 memory=103984 CPUtime=1.48 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 26589 0 0 0 143 5 0 0 20 0 1 0 8361228 110383104 25996 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 26949 25996 660 659 0 26153 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117728 KiB
Current children cumulated memory: 106708 KiB

[startup+3.1064 s]
/proc/loadavg: 1.55 1.95 2.04 7/263 86886
/proc/meminfo: memFree=110242456/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=116276 memory=114028 CPUtime=3.08 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 29568 0 0 0 302 6 0 0 20 0 1 0 8361228 119066624 28507 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 29069 28507 660 659 0 28273 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126208 KiB
Current children cumulated memory: 116752 KiB

[startup+6.30021 s]
/proc/loadavg: 1.75 1.98 2.05 6/263 86886
/proc/meminfo: memFree=110197944/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=148648 memory=132584 CPUtime=6.26 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 30565 0 0 0 619 7 0 0 20 0 1 0 8361228 152215552 33146 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 37162 33146 660 659 0 36366 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 135308 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=148648 memory=132584 CPUtime=12.64 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 30571 0 0 0 1257 7 0 0 20 0 1 0 8361228 152215552 33146 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 37162 33146 660 659 0 36366 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 135308 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=148648 memory=132584 CPUtime=25.4 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 30579 0 0 0 2533 7 0 0 20 0 1 0 8361228 152215552 33146 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 37162 33146 660 659 0 36366 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 135308 KiB

[startup+51.1062 s]
/proc/loadavg: 3.17 2.32 2.16 7/263 86893
/proc/meminfo: memFree=110126708/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=148648 memory=132584 CPUtime=50.92 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 30596 0 0 0 5085 7 0 0 20 0 1 0 8361228 152215552 33146 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 37162 33146 660 659 0 36366 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 158580 KiB
Current children cumulated memory: 135308 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=159748 memory=143500 CPUtime=101.93 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 31346 0 0 0 10186 7 0 0 20 0 1 0 8361228 163581952 35875 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 39937 35875 660 659 0 39141 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 169680 KiB
Current children cumulated memory: 146224 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=171084 memory=155116 CPUtime=161.71 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 35614 0 0 0 16161 10 0 0 20 0 1 0 8361228 175190016 38779 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 42771 38779 660 659 0 41975 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 181016 KiB
Current children cumulated memory: 157840 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=171084 memory=156056 CPUtime=221.52 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 35679 0 0 0 22141 11 0 0 20 0 1 0 8361228 175190016 39014 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 42771 39014 660 659 0 41975 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 181016 KiB

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

/proc/loadavg: 4.16 4.31 4.15 6/260 88449
/proc/meminfo: memFree=109318708/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=230208 memory=215256 CPUtime=3032.86 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 124956 0 0 0 303084 202 0 0 20 0 1 0 8361228 235732992 53814 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 57552 53814 660 659 0 56756 0
Current children cumulated CPU time: 3032.86 s
Current children cumulated vsize: 240140 KiB
Current children cumulated memory: 217980 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=324440 memory=309488 CPUtime=3092.68 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 126007 0 0 0 309062 206 0 0 20 0 1 0 8361228 332226560 77372 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 81110 77372 660 659 0 80314 0
Current children cumulated CPU time: 3092.68 s
Current children cumulated vsize: 334372 KiB
Current children cumulated memory: 312212 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=288908 memory=273956 CPUtime=3152.49 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 128567 0 0 0 315038 211 0 0 20 0 1 0 8361228 295841792 68489 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 72227 68489 660 659 0 71431 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 298840 KiB
Current children cumulated memory: 276680 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=309216 memory=294260 CPUtime=3212.3 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 130231 0 0 0 321014 216 0 0 20 0 1 0 8361228 316637184 73565 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 77304 73565 660 659 0 76508 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 319148 KiB
Current children cumulated memory: 296984 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=333232 memory=318280 CPUtime=3272.12 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 131590 0 0 0 326991 221 0 0 20 0 1 0 8361228 341229568 79570 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 83308 79570 660 659 0 82512 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 343164 KiB
Current children cumulated memory: 321004 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=339396 memory=324444 CPUtime=3331.93 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 132574 0 0 0 332967 226 0 0 20 0 1 0 8361228 347541504 81111 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 84849 81111 660 659 0 84053 0
Current children cumulated CPU time: 3331.93 s
Current children cumulated vsize: 349328 KiB
Current children cumulated memory: 327168 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=285632 memory=270680 CPUtime=3391.75 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 134870 0 0 0 338944 231 0 0 20 0 1 0 8361228 292487168 67670 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 71408 67670 660 659 0 70612 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 295564 KiB
Current children cumulated memory: 273404 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=285624 memory=270672 CPUtime=3451.57 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 137297 0 0 0 344921 236 0 0 20 0 1 0 8361228 292478976 67668 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 71406 67668 660 659 0 70610 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 295556 KiB
Current children cumulated memory: 273396 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=277052 memory=262100 CPUtime=3511.37 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 138923 0 0 0 350899 238 0 0 20 0 1 0 8361228 283701248 65525 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 69263 65525 660 659 0 68467 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 286984 KiB
Current children cumulated memory: 264824 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=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=299292 memory=284340 CPUtime=3571.18 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 140540 0 0 0 356876 242 0 0 20 0 1 0 8361228 306475008 71085 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 74823 71085 660 659 0 74027 0
Current children cumulated CPU time: 3571.18 s
Current children cumulated vsize: 309224 KiB
Current children cumulated memory: 287064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.09 4.13 4.11 5/259 88837
/proc/meminfo: memFree=109971632/131524600 swapFree=131071996/131071996
[pid=86815] ppid=86804 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/86815/stat : 86815 (naps-1.03.sh) S 86804 86815 86742 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 8361228 10170368 681 134679101440 94452191895552 94452192974872 140737175573680 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94452195073328 94452195120516 94452215803904 140737175581667 140737175581792 140737175581792 140737175588808 0
/proc/86815/statm: 2483 681 603 264 0 134 0
[pid=86834] ppid=86815 vsize=283668 memory=268716 CPUtime=3600 cores=0,2
/proc/86834/stat : 86834 (naps-1.03) R 86815 86815 86742 0 -1 4194304 142217 0 0 0 359753 247 0 0 20 0 1 0 8361228 290476032 67179 134679101440 4194304 6891213 140723947404400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30928896 140723947410420 140723947410532 140723947410532 140723947417547 0
/proc/86834/statm: 70917 67179 660 659 0 70121 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 293600 KiB
Current children cumulated memory: 271440 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.53 s, system=2.4759 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): 3611.2
CPU time (s): 3600.01
CPU user time (s): 3597.53
CPU system time (s): 2.4759
CPU usage (%): 99.69
Max. virtual memory (cumulated for all children) (KiB): 499340
Max. memory (cumulated for all children) (KiB): 445788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.53
system time used= 2.4759
maximum resident set size= 474332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142696
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= 48
involuntary context switches= 24662


# summary of solver processes directly reported to runsolver:
#   pid: 86815
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3597.53
#   total CPU system time (s): 2.4759

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04865 second user time and 21.3735 second system time

The end