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: 63931 MiB (43149 MiB free)
  memory of node 1: 64510 MiB (32657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456046-1721718412/watcher-4456046-1721718412 -o /tmp/evaluation-result-4456046-1721718412/solver-4456046-1721718412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721718332-86718 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456046-1721718412.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
Starting watchdog thread
solver pid=87055, runsolver pid=87052
Current StackSize limit: 8192 KiB


[startup+0.100967 s]*
/proc/loadavg: 3.55 2.51 2.23 5/260 87060
/proc/meminfo: memFree=77569764/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=32132 memory=30036 CPUtime=0.08 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 7453 0 0 0 8 0 0 0 20 0 1 0 8364763 32903168 7509 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 8033 7509 612 659 0 7237 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42064 KiB
Current children cumulated memory: 32768 KiB

[startup+0.205984 s]*
/proc/loadavg: 3.55 2.51 2.23 5/260 87062
/proc/meminfo: memFree=77538560/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=59064 memory=55540 CPUtime=0.18 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 13660 0 0 0 17 1 0 0 20 0 1 0 8364763 60481536 13885 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 14766 13885 628 659 0 13970 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68996 KiB
Current children cumulated memory: 58272 KiB

[startup+0.305968 s]*
/proc/loadavg: 3.55 2.51 2.23 5/260 87062
/proc/meminfo: memFree=77531808/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=61992 memory=57712 CPUtime=0.28 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 14170 0 0 0 27 1 0 0 20 0 1 0 8364763 63479808 14428 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 15498 14428 644 659 0 14702 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 71924 KiB
Current children cumulated memory: 60444 KiB

[startup+0.700286 s]
/proc/loadavg: 3.55 2.51 2.23 5/260 87062
/proc/meminfo: memFree=77514156/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=69168 memory=64880 CPUtime=0.67 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 18856 0 0 0 65 2 0 0 20 0 1 0 8364763 70828032 16220 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 17292 16220 644 659 0 16496 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79100 KiB
Current children cumulated memory: 67612 KiB

[startup+1.50027 s]
/proc/loadavg: 3.55 2.51 2.23 5/260 87062
/proc/meminfo: memFree=77465844/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=70424 memory=67180 CPUtime=1.47 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 22904 0 0 0 143 4 0 0 20 0 1 0 8364763 72114176 16795 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 17606 16795 660 659 0 16810 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80356 KiB
Current children cumulated memory: 69912 KiB

[startup+3.10614 s]
/proc/loadavg: 3.55 2.51 2.23 5/260 87062
/proc/meminfo: memFree=77359392/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=70424 memory=67180 CPUtime=3.07 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 22930 0 0 0 303 4 0 0 20 0 1 0 8364763 72114176 16795 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 17606 16795 660 659 0 16810 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 80356 KiB
Current children cumulated memory: 69912 KiB

[startup+6.30025 s]
/proc/loadavg: 3.58 2.53 2.24 5/260 87062
/proc/meminfo: memFree=77210832/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=70424 memory=67180 CPUtime=6.26 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 22946 0 0 0 622 4 0 0 20 0 1 0 8364763 72114176 16795 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 17606 16795 660 659 0 16810 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80356 KiB
Current children cumulated memory: 69912 KiB

[startup+12.7003 s]
/proc/loadavg: 3.62 2.56 2.25 5/260 87063
/proc/meminfo: memFree=77170988/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=78616 memory=69416 CPUtime=12.64 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 23456 0 0 0 1260 4 0 0 20 0 1 0 8364763 80502784 17354 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 19654 17354 660 659 0 18858 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 88548 KiB
Current children cumulated memory: 72148 KiB

[startup+25.5003 s]
/proc/loadavg: 3.77 2.64 2.29 5/260 87065
/proc/meminfo: memFree=77161308/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=82004 memory=72800 CPUtime=25.4 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 24334 0 0 0 2536 4 0 0 20 0 1 0 8364763 83972096 18200 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 20501 18200 660 659 0 19705 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 91936 KiB
Current children cumulated memory: 75532 KiB

[startup+51.1059 s]
/proc/loadavg: 3.92 2.77 2.34 5/260 87071
/proc/meminfo: memFree=75390488/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=94460 memory=85252 CPUtime=50.95 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 29796 0 0 0 5089 6 0 0 20 0 1 0 8364763 96727040 21313 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 23615 21313 660 659 0 22819 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 87984 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 2.99 2.44 5/260 87079
/proc/meminfo: memFree=68964800/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=96700 memory=87668 CPUtime=102.02 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 40097 0 0 0 10189 13 0 0 20 0 1 0 8364763 99020800 21917 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 24175 21917 660 659 0 23379 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 106632 KiB
Current children cumulated memory: 90400 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 3.21 2.55 5/260 87090
/proc/meminfo: memFree=67727068/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=101460 memory=92356 CPUtime=161.86 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 42350 0 0 0 16172 14 0 0 20 0 1 0 8364763 103895040 23089 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 25365 23089 660 659 0 24569 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 111392 KiB
Current children cumulated memory: 95088 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.37 2.65 5/263 87105
/proc/meminfo: memFree=67668852/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=121812 memory=112676 CPUtime=221.72 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 43882 0 0 0 22157 15 0 0 20 0 1 0 8364763 124735488 28169 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 30453 28169 660 659 0 29657 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 131744 KiB

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

/proc/loadavg: 4.15 4.12 4.05 5/262 89156
/proc/meminfo: memFree=74930660/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=307740 memory=296576 CPUtime=3094.82 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 219348 0 0 0 309162 320 0 0 20 0 1 0 8364763 315125760 74144 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 76935 74144 660 659 0 76139 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 317672 KiB
Current children cumulated memory: 299308 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/262 89166
/proc/meminfo: memFree=73881472/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=258964 memory=247800 CPUtime=3154.68 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 221573 0 0 0 315141 327 0 0 20 0 1 0 8364763 265179136 61950 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 64741 61950 660 659 0 63945 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 268896 KiB
Current children cumulated memory: 250532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/263 89182
/proc/meminfo: memFree=69152724/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=265860 memory=254696 CPUtime=3214.54 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 223936 0 0 0 321117 337 0 0 20 0 1 0 8364763 272240640 63674 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 66465 63674 660 659 0 65669 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 275792 KiB
Current children cumulated memory: 257428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.13 4.06 5/262 89259
/proc/meminfo: memFree=99062356/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=260436 memory=249272 CPUtime=3274.4 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 226089 0 0 0 327096 344 0 0 20 0 1 0 8364763 266686464 62318 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 65109 62318 660 659 0 64313 0
Current children cumulated CPU time: 3274.4 s
Current children cumulated vsize: 270368 KiB
Current children cumulated memory: 252004 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.18 4.09 5/262 89270
/proc/meminfo: memFree=99056520/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=264956 memory=253792 CPUtime=3334.27 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 228541 0 0 0 333076 351 0 0 20 0 1 0 8364763 271314944 63448 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 66239 63448 660 659 0 65443 0
Current children cumulated CPU time: 3334.27 s
Current children cumulated vsize: 274888 KiB
Current children cumulated memory: 256524 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/261 89280
/proc/meminfo: memFree=99056292/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=263072 memory=251908 CPUtime=3394.13 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 231026 0 0 0 339054 359 0 0 20 0 1 0 8364763 269385728 62977 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 65768 62977 660 659 0 64972 0
Current children cumulated CPU time: 3394.13 s
Current children cumulated vsize: 273004 KiB
Current children cumulated memory: 254640 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/261 89291
/proc/meminfo: memFree=99056780/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=262336 memory=251172 CPUtime=3453.99 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 234057 0 0 0 345032 367 0 0 20 0 1 0 8364763 268632064 62793 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 65584 62793 660 659 0 64788 0
Current children cumulated CPU time: 3453.99 s
Current children cumulated vsize: 272268 KiB
Current children cumulated memory: 253904 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/259 89301
/proc/meminfo: memFree=99059860/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=257760 memory=246596 CPUtime=3513.85 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 236492 0 0 0 351012 373 0 0 20 0 1 0 8364763 263946240 61649 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 64440 61649 660 659 0 63644 0
Current children cumulated CPU time: 3513.85 s
Current children cumulated vsize: 267692 KiB
Current children cumulated memory: 249328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/258 89312
/proc/meminfo: memFree=99052656/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=264472 memory=253308 CPUtime=3573.71 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 238507 0 0 0 356993 378 0 0 20 0 1 0 8364763 270819328 63327 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 66118 63327 660 659 0 65322 0
Current children cumulated CPU time: 3573.71 s
Current children cumulated vsize: 274404 KiB
Current children cumulated memory: 256040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 89316
/proc/meminfo: memFree=99054528/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=264616 memory=253452 CPUtime=3600.06 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 239591 0 0 0 359623 383 0 0 20 0 1 0 8364763 270966784 63363 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 66154 63363 660 659 0 65358 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 274548 KiB
Current children cumulated memory: 256184 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.24 s, system=3.83749 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.09 4.12 4.09 5/258 89316
/proc/meminfo: memFree=99054528/131524600 swapFree=131071996/131071996
[pid=87055] ppid=87052 vsize=9932 memory=2732 CPUtime=0 cores=4,6
/proc/87055/stat : 87055 (naps-1.03.sh) S 87052 87055 86707 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 8364762 10170368 683 134679101440 94773021831168 94773022910488 140721990562576 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94773025008944 94773025056132 94773029928960 140721990570979 140721990571104 140721990571104 140721990578120 0
/proc/87055/statm: 2483 683 607 264 0 134 0
[pid=87060] ppid=87055 vsize=264616 memory=253452 CPUtime=3600.06 cores=4,6
/proc/87060/stat : 87060 (naps-1.03) R 87055 87055 86707 0 -1 4194304 239591 0 0 0 359623 383 0 0 20 0 1 0 8364763 270966784 63363 134679101440 4194304 6891213 140730567237968 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 33587200 140730567246836 140730567246948 140730567246948 140730567253963 0
/proc/87060/statm: 66154 63363 660 659 0 65358 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 274548 KiB
Current children cumulated memory: 256184 KiB

Child status: 10

Real time (s): 3608.7
CPU time (s): 3600.07
CPU user time (s): 3596.24
CPU system time (s): 3.83749
CPU usage (%): 99.7608
Max. virtual memory (cumulated for all children) (KiB): 414356
Max. memory (cumulated for all children) (KiB): 395172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.24
system time used= 3.83749
maximum resident set size= 392440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240075
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= 46
involuntary context switches= 5619


# summary of solver processes directly reported to runsolver:
#   pid: 87055
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.24
#   total CPU system time (s): 3.83749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68356 second user time and 17.8618 second system time

The end