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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458497-1721883708/watcher-4458497-1721883708 -o /tmp/evaluation-result-4458497-1721883708/solver-4458497-1721883708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263953 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458497-1721883708.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=268141, runsolver pid=268138

[startup+0.10015 s]*
/proc/loadavg: 4.12 4.14 4.14 5/244 268146
/proc/meminfo: memFree=113838216/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=10844 memory=8112 CPUtime=0.09 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 1788 0 0 0 9 0 0 0 20 0 1 0 24360238 11104256 2028 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 2711 2028 468 659 0 1915 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20776 KiB
Current children cumulated memory: 10944 KiB

[startup+0.213119 s]*
/proc/loadavg: 4.12 4.14 4.14 5/244 268146
/proc/meminfo: memFree=113820408/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=30360 memory=25420 CPUtime=0.2 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 6329 0 0 0 19 1 0 0 20 0 1 0 24360238 31088640 6355 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 7590 6355 468 659 0 6794 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40292 KiB
Current children cumulated memory: 28252 KiB

[startup+0.313068 s]*
/proc/loadavg: 4.12 4.14 4.14 5/244 268146
/proc/meminfo: memFree=113814300/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=36544 memory=31424 CPUtime=0.3 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 7305 0 0 0 28 2 0 0 20 0 1 0 24360238 37421056 7856 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 9136 7856 468 659 0 8340 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46476 KiB
Current children cumulated memory: 34256 KiB

[startup+0.700422 s]
/proc/loadavg: 4.12 4.14 4.14 5/244 268146
/proc/meminfo: memFree=113813380/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=36544 memory=32216 CPUtime=0.68 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 7473 0 0 0 66 2 0 0 20 0 1 0 24360238 37421056 8054 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 9136 8054 468 659 0 8340 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46476 KiB
Current children cumulated memory: 35048 KiB

[startup+1.50043 s]
/proc/loadavg: 4.12 4.14 4.14 5/244 268146
/proc/meminfo: memFree=113810268/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=40304 memory=35580 CPUtime=1.47 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 7805 0 0 0 145 2 0 0 20 0 1 0 24360238 41271296 8895 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 10076 8895 468 659 0 9280 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50236 KiB
Current children cumulated memory: 38412 KiB

[startup+3.1128 s]
/proc/loadavg: 4.11 4.14 4.14 5/244 268146
/proc/meminfo: memFree=113806908/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=40304 memory=36892 CPUtime=3.08 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 8147 0 0 0 306 2 0 0 20 0 1 0 24360238 41271296 9223 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 10076 9223 468 659 0 9280 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50236 KiB
Current children cumulated memory: 39724 KiB

[startup+6.30042 s]
/proc/loadavg: 4.11 4.14 4.14 5/244 268147
/proc/meminfo: memFree=113800460/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=43024 memory=39456 CPUtime=6.26 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 8311 0 0 0 624 2 0 0 20 0 1 0 24360238 44056576 9864 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 10756 9864 468 659 0 9960 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 42288 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.14 4.14 5/244 268147
/proc/meminfo: memFree=113781172/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=56260 memory=47700 CPUtime=12.64 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 10367 0 0 0 1261 3 0 0 20 0 1 0 24360238 57610240 11925 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 14065 11925 468 659 0 13269 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66192 KiB
Current children cumulated memory: 50532 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.15 4.14 5/244 268150
/proc/meminfo: memFree=113752500/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=60724 memory=57200 CPUtime=25.4 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 11189 0 0 0 2537 3 0 0 20 0 1 0 24360238 62181376 14300 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 15181 14300 468 659 0 14385 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 70656 KiB
Current children cumulated memory: 60032 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.14 4.14 5/244 268153
/proc/meminfo: memFree=113714380/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=76084 memory=62260 CPUtime=50.94 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 12073 0 0 0 5090 4 0 0 20 0 1 0 24360238 77910016 15565 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 19021 15565 468 659 0 18225 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 86016 KiB
Current children cumulated memory: 65092 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.17 4.15 5/245 268163
/proc/meminfo: memFree=113613016/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=107452 memory=100844 CPUtime=101.98 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 13109 0 0 0 10193 5 0 0 20 0 1 0 24360238 110030848 25211 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 26863 25211 468 659 0 26067 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 117384 KiB
Current children cumulated memory: 103676 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/245 268173
/proc/meminfo: memFree=113635356/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=126488 memory=104500 CPUtime=161.81 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 14680 0 0 0 16173 8 0 0 20 0 1 0 24360238 129523712 26125 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 31622 26125 468 659 0 30826 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 136420 KiB
Current children cumulated memory: 107332 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/243 268184
/proc/meminfo: memFree=113570568/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=175808 memory=146940 CPUtime=221.64 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 15887 0 0 0 22153 11 0 0 20 0 1 0 24360238 180027392 36735 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 43952 36735 468 659 0 43156 0
Current children cumulated CPU time: 221.64 s

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

/proc/loadavg: 4.17 4.25 4.17 6/244 269418
/proc/meminfo: memFree=111979300/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=271176 memory=253888 CPUtime=3033.6 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 63998 0 0 0 303258 102 0 0 20 0 1 0 24360238 277684224 63472 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 67794 63472 468 659 0 66998 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 256720 KiB

[startup+3102.3 s]
/proc/loadavg: 4.34 4.27 4.19 6/244 269429
/proc/meminfo: memFree=111923064/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=221088 memory=194560 CPUtime=3093.41 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 65405 0 0 0 309237 104 0 0 20 0 1 0 24360238 226394112 48640 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 55272 48640 468 659 0 54476 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 231020 KiB
Current children cumulated memory: 197392 KiB

[startup+3162.3 s]
/proc/loadavg: 4.78 4.42 4.24 5/244 269439
/proc/meminfo: memFree=111957456/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=271176 memory=243924 CPUtime=3153.24 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 66126 0 0 0 315219 105 0 0 20 0 1 0 24360238 277684224 60981 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 67794 60981 468 659 0 66998 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 246756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.34 4.36 4.23 6/244 269833
/proc/meminfo: memFree=111861576/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=190268 memory=186988 CPUtime=3213.07 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 67168 0 0 0 321199 108 0 0 20 0 1 0 24360238 194834432 46747 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 47567 46747 468 659 0 46771 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 200200 KiB
Current children cumulated memory: 189820 KiB

[startup+3282.3 s]
/proc/loadavg: 3.83 4.22 4.19 4/236 269873
/proc/meminfo: memFree=113427064/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=271176 memory=229312 CPUtime=3272.9 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 68079 0 0 0 327180 110 0 0 20 0 1 0 24360238 277684224 57328 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 67794 57328 468 659 0 66998 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 232144 KiB

[startup+3342.3 s]
/proc/loadavg: 3.45 4.05 4.13 4/236 269884
/proc/meminfo: memFree=113503964/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=271176 memory=266284 CPUtime=3332.72 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 68169 0 0 0 333161 111 0 0 20 0 1 0 24360238 277684224 66571 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 67794 66571 468 659 0 66998 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 269116 KiB

[startup+3402.3 s]
/proc/loadavg: 3.61 3.97 4.09 4/238 270065
/proc/meminfo: memFree=113422460/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=221088 memory=202756 CPUtime=3392.54 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 69579 0 0 0 339141 113 0 0 20 0 1 0 24360238 226394112 50689 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 55272 50689 468 659 0 54476 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 231020 KiB
Current children cumulated memory: 205588 KiB

[startup+3462.3 s]
/proc/loadavg: 3.50 3.89 4.06 4/238 270075
/proc/meminfo: memFree=113483980/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=271176 memory=245772 CPUtime=3452.37 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 70112 0 0 0 345123 114 0 0 20 0 1 0 24360238 277684224 61443 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 67794 61443 468 659 0 66998 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 248604 KiB

[startup+3522.3 s]
/proc/loadavg: 3.28 3.76 4.00 4/239 270090
/proc/meminfo: memFree=113410840/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=221088 memory=191352 CPUtime=3512.21 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 71733 0 0 0 351104 117 0 0 20 0 1 0 24360238 226394112 47838 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 55272 47838 468 659 0 54476 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 231020 KiB
Current children cumulated memory: 194184 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.63 3.94 4/239 270112
/proc/meminfo: memFree=113495464/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=271176 memory=231356 CPUtime=3572.03 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 72067 0 0 0 357085 118 0 0 20 0 1 0 24360238 277684224 57839 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 67794 57839 468 659 0 66998 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 234188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 2.59 3.46 3.87 2/223 270180
/proc/meminfo: memFree=114176408/131655788 swapFree=131061124/131071996
[pid=268141] ppid=268138 vsize=9932 memory=2832 CPUtime=0 cores=1,3
/proc/268141/stat : 268141 (naps-1.03.sh) S 268138 268141 263941 0 -1 4194304 224 242 0 0 0 0 0 0 20 0 1 0 24360238 10170368 708 134679101440 94079115173888 94079116253208 140721980199120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94079118351664 94079118398852 94079141859328 140721980204004 140721980204133 140721980204133 140721980211144 0
/proc/268141/statm: 2483 708 631 264 0 134 0
[pid=268146] ppid=268141 vsize=271176 memory=249788 CPUtime=3600.05 cores=1,3
/proc/268146/stat : 268146 (naps-1.03) R 268141 268141 263941 0 -1 4194304 72076 0 0 0 359887 118 0 0 20 0 1 0 24360238 277684224 62447 134679101440 4194304 6891213 140728361421792 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 37728256 140728361423861 140728361423977 140728361423977 140728361430987 0
/proc/268146/statm: 67794 62447 468 659 0 66998 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 281108 KiB
Current children cumulated memory: 252620 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.88 s, system=1.19496 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): 3610.4
CPU time (s): 3600.07
CPU user time (s): 3598.88
CPU system time (s): 1.19496
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 411816
Max. memory (cumulated for all children) (KiB): 334240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.88
system time used= 1.19496
maximum resident set size= 333360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72556
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= 58
involuntary context switches= 7256


# summary of solver processes directly reported to runsolver:
#   pid: 268141
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.88
#   total CPU system time (s): 1.19496

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5448 second user time and 36.1008 second system time

The end