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: 64059 MiB (63262 MiB free)
  memory of node 1: 64510 MiB (63713 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426237-1720901795/watcher-4426237-1720901795 -o /tmp/evaluation-result-4426237-1720901795/solver-4426237-1720901795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720901806-715412 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426237-1720901795.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
Current StackSize limit: 8192 KiB

solver pid=715467, runsolver pid=715464

[startup+0.100066 s]*
/proc/loadavg: 0.04 0.07 0.11 6/238 715477
/proc/meminfo: memFree=130002660/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=18128 memory=12056 CPUtime=0.1 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 2961 0 0 0 9 1 0 0 20 0 1 0 142335917 18563072 3014 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 4532 3014 468 659 0 3736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28060 KiB
Current children cumulated memory: 14720 KiB

[startup+0.213489 s]*
/proc/loadavg: 0.04 0.07 0.11 5/245 715491
/proc/meminfo: memFree=129981628/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=30884 memory=26032 CPUtime=0.21 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 5963 0 0 0 19 2 0 0 20 0 1 0 142335917 31625216 6508 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 7721 6508 468 659 0 6925 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40816 KiB
Current children cumulated memory: 28696 KiB

[startup+0.313739 s]*
/proc/loadavg: 0.04 0.07 0.11 5/245 715491
/proc/meminfo: memFree=129968232/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=35188 memory=31048 CPUtime=0.31 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 7199 0 0 0 28 3 0 0 20 0 1 0 142335917 36032512 7762 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 8797 7762 468 659 0 8001 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45120 KiB
Current children cumulated memory: 33712 KiB

[startup+0.700461 s]
/proc/loadavg: 0.36 0.14 0.13 5/245 715491
/proc/meminfo: memFree=129923552/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=40312 memory=34352 CPUtime=0.68 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 9526 0 0 0 64 4 0 0 20 0 1 0 142335917 41279488 8588 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 10078 8588 468 659 0 9282 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50244 KiB
Current children cumulated memory: 37016 KiB

[startup+1.50043 s]
/proc/loadavg: 0.36 0.14 0.13 5/245 715491
/proc/meminfo: memFree=129743172/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=56764 memory=51716 CPUtime=1.48 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 12175 0 0 0 143 5 0 0 20 0 1 0 142335917 58126336 12929 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 14191 12929 468 659 0 13395 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66696 KiB
Current children cumulated memory: 54380 KiB

[startup+3.11275 s]
/proc/loadavg: 0.36 0.14 0.13 5/245 715491
/proc/meminfo: memFree=129439052/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=75620 memory=65076 CPUtime=3.08 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 15311 0 0 0 302 6 0 0 20 0 1 0 142335917 77434880 16269 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 18905 16269 468 659 0 18109 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85552 KiB
Current children cumulated memory: 67740 KiB

[startup+6.30037 s]
/proc/loadavg: 0.73 0.22 0.16 5/245 715491
/proc/meminfo: memFree=129131900/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=121736 memory=103560 CPUtime=6.25 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 17286 0 0 0 617 8 0 0 20 0 1 0 142335917 124657664 25890 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 30434 25890 468 659 0 29638 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 131668 KiB
Current children cumulated memory: 106224 KiB

[startup+12.7004 s]
/proc/loadavg: 0.99 0.28 0.18 5/245 715493
/proc/meminfo: memFree=128857672/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=102800 memory=97924 CPUtime=12.64 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 18288 0 0 0 1254 10 0 0 20 0 1 0 142335917 105267200 24481 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 25700 24481 468 659 0 24904 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 112732 KiB
Current children cumulated memory: 100588 KiB

[startup+25.5004 s]
/proc/loadavg: 1.46 0.41 0.22 5/245 715494
/proc/meminfo: memFree=128735596/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=152120 memory=142044 CPUtime=25.39 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 19154 0 0 0 2527 12 0 0 20 0 1 0 142335917 155770880 35511 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 38030 35511 468 659 0 37234 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 162052 KiB
Current children cumulated memory: 144708 KiB

[startup+51.1131 s]
/proc/loadavg: 2.54 0.77 0.35 5/245 715599
/proc/meminfo: memFree=129045148/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=201972 memory=183976 CPUtime=50.92 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 22716 0 0 0 5074 18 0 0 20 0 1 0 142335917 206819328 45994 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 50493 45994 468 659 0 49697 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 211904 KiB
Current children cumulated memory: 186640 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 1.30 0.55 5/245 715706
/proc/meminfo: memFree=128345412/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=206576 memory=194556 CPUtime=101.95 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 26567 0 0 0 10170 25 0 0 20 0 1 0 142335917 211533824 48639 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 51644 48639 468 659 0 50848 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 216508 KiB
Current children cumulated memory: 197220 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.81 0.78 5/245 715766
/proc/meminfo: memFree=122539488/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=236932 memory=204432 CPUtime=161.74 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 29890 0 0 0 16144 30 0 0 20 0 1 0 142335917 242618368 51108 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 59233 51108 468 659 0 58437 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 246864 KiB
Current children cumulated memory: 207096 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.23 0.99 5/245 715776
/proc/meminfo: memFree=122491276/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=211376 memory=199176 CPUtime=221.54 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 31895 0 0 0 22121 33 0 0 20 0 1 0 142335917 216449024 49794 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 52844 49794 468 659 0 52048 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 221308 KiB

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

/proc/715472/statm: 101419 91608 468 659 0 100623 0
Current children cumulated CPU time: 3090.94 s
Current children cumulated vsize: 415608 KiB
Current children cumulated memory: 369096 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.30 4.17 5/245 717482
/proc/meminfo: memFree=121753804/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=487232 memory=415724 CPUtime=3150.72 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 103306 0 0 0 314919 153 0 0 20 0 1 0 142335917 498925568 103931 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 121808 103931 468 659 0 121012 0
Current children cumulated CPU time: 3150.72 s
Current children cumulated vsize: 497164 KiB
Current children cumulated memory: 418388 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.26 4.16 5/245 717493
/proc/meminfo: memFree=121635528/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=488916 memory=472352 CPUtime=3210.51 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 103843 0 0 0 320896 155 0 0 20 0 1 0 142335917 500649984 118088 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 122229 118088 468 659 0 121433 0
Current children cumulated CPU time: 3210.51 s
Current children cumulated vsize: 498848 KiB
Current children cumulated memory: 475016 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.22 4.15 5/247 717507
/proc/meminfo: memFree=121704312/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=361148 memory=340296 CPUtime=3270.28 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 105536 0 0 0 326871 157 0 0 20 0 1 0 142335917 369815552 85074 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 90287 85074 468 659 0 89491 0
Current children cumulated CPU time: 3270.28 s
Current children cumulated vsize: 371080 KiB
Current children cumulated memory: 342960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/247 717518
/proc/meminfo: memFree=121598568/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=411236 memory=388604 CPUtime=3330.06 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 106466 0 0 0 332847 159 0 0 20 0 1 0 142335917 421105664 97151 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 102809 97151 468 659 0 102013 0
Current children cumulated CPU time: 3330.06 s
Current children cumulated vsize: 421168 KiB
Current children cumulated memory: 391268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.17 4.14 5/247 717528
/proc/meminfo: memFree=121491112/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=492624 memory=442556 CPUtime=3389.84 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 107280 0 0 0 338824 160 0 0 20 0 1 0 142335917 504446976 110639 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 123156 110639 468 659 0 122360 0
Current children cumulated CPU time: 3389.84 s
Current children cumulated vsize: 502556 KiB
Current children cumulated memory: 445220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.15 4.14 5/247 717538
/proc/meminfo: memFree=121682668/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=627188 memory=495592 CPUtime=3449.62 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 108432 0 0 0 344801 161 0 0 20 0 1 0 142335917 642240512 123898 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 156797 123898 468 659 0 156001 0
Current children cumulated CPU time: 3449.62 s
Current children cumulated vsize: 637120 KiB
Current children cumulated memory: 498256 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/247 717549
/proc/meminfo: memFree=122019416/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=368004 memory=346376 CPUtime=3509.4 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 109810 0 0 0 350776 164 0 0 20 0 1 0 142335917 376836096 86594 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 92001 86594 468 659 0 91205 0
Current children cumulated CPU time: 3509.4 s
Current children cumulated vsize: 377936 KiB
Current children cumulated memory: 349040 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/245 717561
/proc/meminfo: memFree=121890552/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=418092 memory=401672 CPUtime=3569.18 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 110473 0 0 0 356753 165 0 0 20 0 1 0 142335917 428126208 100418 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 104523 100418 468 659 0 103727 0
Current children cumulated CPU time: 3569.18 s
Current children cumulated vsize: 428024 KiB
Current children cumulated memory: 404336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 3.92 4.10 4.11 3/229 717629
/proc/meminfo: memFree=122590332/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=499480 memory=424204 CPUtime=3600.07 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 111064 0 0 0 359841 166 0 0 20 0 1 0 142335917 511467520 106051 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 124870 106051 468 659 0 124074 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 509412 KiB
Current children cumulated memory: 426868 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3613.31 s]
# the end of solver process 715467 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.004052 s, system=0.003589 s

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

# cumulated CPU time of all completed processes:  user=3598.42 s, system=1.67149 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3613.3 s]
/proc/loadavg: 3.92 4.10 4.11 3/229 717629
/proc/meminfo: memFree=122590332/131655788 swapFree=131071996/131071996
[pid=715467] ppid=715464 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/715467/stat : 715467 (naps-1.03.sh) S 715464 715467 715402 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 142335916 10170368 666 134679101440 94203992064000 94203993143320 140735979261200 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94203995241776 94203995288964 94204002222080 140735979266988 140735979267117 140735979267117 140735979274184 0
/proc/715467/statm: 2483 666 586 264 0 134 0
[pid=715472] ppid=715467 vsize=499480 memory=424204 CPUtime=3600.07 cores=0,2
/proc/715472/stat : 715472 (naps-1.03) R 715467 715467 715402 0 -1 4194304 111064 0 0 0 359841 166 0 0 20 0 1 0 142335917 511467520 106051 134679101440 4194304 6891213 140733386365056 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 17072128 140733386372029 140733386372145 140733386372145 140733386379211 0
/proc/715472/statm: 124870 106051 468 659 0 124074 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 509412 KiB
Current children cumulated memory: 426868 KiB

Child status: 10

Real time (s): 3613.31
CPU time (s): 3600.09
CPU user time (s): 3598.42
CPU system time (s): 1.67149
CPU usage (%): 99.6342
Max. virtual memory (cumulated for all children) (KiB): 721812
Max. memory (cumulated for all children) (KiB): 573060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.42
system time used= 1.67149
maximum resident set size= 586780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111524
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= 40
involuntary context switches= 24651


# summary of solver processes directly reported to runsolver:
#   pid: 715467,715472
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.42
#   total CPU system time (s): 1.67149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.251 second user time and 38.2522 second system time

The end