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

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

solver pid=14313, runsolver pid=14310

[startup+0.100089 s]*
/proc/loadavg: 3.01 3.83 4.04 5/266 14318
/proc/meminfo: memFree=129844944/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=20500 memory=18068 CPUtime=0.09 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 4728 0 0 0 9 0 0 0 20 0 1 0 1774651 20992000 4517 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 5125 4517 468 659 0 4329 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30432 KiB
Current children cumulated memory: 20844 KiB

[startup+0.205746 s]*
/proc/loadavg: 3.01 3.83 4.04 8/266 14318
/proc/meminfo: memFree=129823596/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=39340 memory=36616 CPUtime=0.2 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 9377 0 0 0 19 1 0 0 20 0 1 0 1774651 40284160 9154 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 9835 9154 468 659 0 9039 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49272 KiB
Current children cumulated memory: 39392 KiB

[startup+0.305679 s]*
/proc/loadavg: 3.01 3.83 4.04 5/266 14318
/proc/meminfo: memFree=129803500/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=59740 memory=55736 CPUtime=0.3 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 13647 0 0 0 29 1 0 0 20 0 1 0 1774651 61173760 13934 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 14935 13934 468 659 0 14139 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69672 KiB
Current children cumulated memory: 58512 KiB

[startup+0.700217 s]
/proc/loadavg: 3.01 3.83 4.04 5/266 14318
/proc/meminfo: memFree=129765560/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=80324 memory=75788 CPUtime=0.69 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 16115 0 0 0 67 2 0 0 20 0 1 0 1774651 82251776 18947 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 20081 18947 468 659 0 19285 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90256 KiB
Current children cumulated memory: 78564 KiB

[startup+1.50023 s]
/proc/loadavg: 3.01 3.83 4.04 6/266 14319
/proc/meminfo: memFree=129746036/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=99180 memory=84296 CPUtime=1.49 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 17633 0 0 0 146 3 0 0 20 0 1 0 1774651 101560320 21074 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 24795 21074 468 659 0 23999 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109112 KiB
Current children cumulated memory: 87072 KiB

[startup+3.10564 s]
/proc/loadavg: 3.09 3.83 4.04 6/266 14319
/proc/meminfo: memFree=129742064/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=117972 memory=93864 CPUtime=3.08 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 18346 0 0 0 305 3 0 0 20 0 1 0 1774651 120803328 23466 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 29493 23466 468 659 0 28697 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127904 KiB
Current children cumulated memory: 96640 KiB

[startup+6.3002 s]
/proc/loadavg: 3.09 3.83 4.04 6/266 14319
/proc/meminfo: memFree=129665104/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=167292 memory=137400 CPUtime=6.27 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 19406 0 0 0 622 5 0 0 20 0 1 0 1774651 171307008 34350 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 41823 34350 468 659 0 41027 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 177224 KiB
Current children cumulated memory: 140176 KiB

[startup+12.7003 s]
/proc/loadavg: 3.16 3.83 4.04 6/266 14321
/proc/meminfo: memFree=129620520/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=117972 memory=95180 CPUtime=12.65 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 20429 0 0 0 1258 7 0 0 20 0 1 0 1774651 120803328 23795 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 29493 23795 468 659 0 28697 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 127904 KiB
Current children cumulated memory: 97956 KiB

[startup+25.5002 s]
/proc/loadavg: 3.35 3.84 4.04 6/266 14322
/proc/meminfo: memFree=129521092/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=198112 memory=167016 CPUtime=25.42 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 22569 0 0 0 2532 10 0 0 20 0 1 0 1774651 202866688 41754 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 49528 41754 468 659 0 48732 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 208044 KiB
Current children cumulated memory: 169792 KiB

[startup+51.1057 s]
/proc/loadavg: 3.63 3.87 4.04 6/266 14327
/proc/meminfo: memFree=129546080/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=124040 memory=111788 CPUtime=50.96 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 26122 0 0 0 5081 15 0 0 20 0 1 0 1774651 127016960 27947 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 31010 27947 468 659 0 30214 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 133972 KiB
Current children cumulated memory: 114564 KiB

[startup+102.3 s]
/proc/loadavg: 3.96 3.92 4.05 6/265 14335
/proc/meminfo: memFree=129448556/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=195376 memory=173816 CPUtime=102.04 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 28024 0 0 0 10185 19 0 0 20 0 1 0 1774651 200065024 43454 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 48844 43454 468 659 0 48048 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 205308 KiB
Current children cumulated memory: 176592 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.96 4.05 6/264 14346
/proc/meminfo: memFree=129435484/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=146056 memory=140272 CPUtime=161.88 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 28785 0 0 0 16167 21 0 0 20 0 1 0 1774651 149561344 35068 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 36514 35068 468 659 0 35718 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 155988 KiB
Current children cumulated memory: 143048 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.98 4.05 6/262 14356
/proc/meminfo: memFree=129300704/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=146056 memory=140272 CPUtime=221.74 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 29511 0 0 0 22150 24 0 0 20 0 1 0 1774651 149561344 35068 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 36514 35068 468 659 0 35718 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 155988 KiB

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

/proc/loadavg: 4.15 4.15 4.15 6/260 15478
/proc/meminfo: memFree=128816548/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=301300 memory=265624 CPUtime=3034.06 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 84706 0 0 0 303289 117 0 0 20 0 1 0 1774651 308531200 66406 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 75325 66406 468 659 0 74529 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 311232 KiB
Current children cumulated memory: 268400 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.12 4.14 6/260 15488
/proc/meminfo: memFree=128731904/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=301300 memory=286792 CPUtime=3093.87 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 84918 0 0 0 309270 117 0 0 20 0 1 0 1774651 308531200 71698 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 75325 71698 468 659 0 74529 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 311232 KiB
Current children cumulated memory: 289568 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.14 6/260 15499
/proc/meminfo: memFree=128672248/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=301488 memory=272644 CPUtime=3153.69 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 85978 0 0 0 315250 119 0 0 20 0 1 0 1774651 308723712 68161 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 75372 68161 468 659 0 74576 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 311420 KiB
Current children cumulated memory: 275420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.14 6/261 15894
/proc/meminfo: memFree=128638716/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=271144 memory=252372 CPUtime=3213.5 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 86348 0 0 0 321230 120 0 0 20 0 1 0 1774651 277651456 63093 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 67786 63093 468 659 0 66990 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 281076 KiB
Current children cumulated memory: 255148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.13 6/261 15904
/proc/meminfo: memFree=128673836/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=301964 memory=283360 CPUtime=3273.32 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 87029 0 0 0 327211 121 0 0 20 0 1 0 1774651 309211136 70840 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 75491 70840 468 659 0 74695 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 311896 KiB
Current children cumulated memory: 286136 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.15 4.14 6/261 15916
/proc/meminfo: memFree=128587364/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=302436 memory=294072 CPUtime=3333.14 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 88082 0 0 0 333191 123 0 0 20 0 1 0 1774651 309694464 73518 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 75609 73518 468 659 0 74813 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 312368 KiB
Current children cumulated memory: 296848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.14 6/263 16096
/proc/meminfo: memFree=128688268/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=275112 memory=262452 CPUtime=3392.96 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 90475 0 0 0 339169 127 0 0 20 0 1 0 1774651 281714688 65613 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 68778 65613 468 659 0 67982 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 265228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.16 4.14 6/263 16106
/proc/meminfo: memFree=128715888/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=305932 memory=281024 CPUtime=3452.77 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 91893 0 0 0 345147 130 0 0 20 0 1 0 1774651 313274368 70256 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 76483 70256 468 659 0 75687 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 315864 KiB
Current children cumulated memory: 283800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.14 6/262 16132
/proc/meminfo: memFree=128639292/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=305932 memory=289376 CPUtime=3512.59 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 92912 0 0 0 351127 132 0 0 20 0 1 0 1774651 313274368 72344 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 76483 72344 468 659 0 75687 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 315864 KiB
Current children cumulated memory: 292152 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.13 6/262 16142
/proc/meminfo: memFree=128727020/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=305932 memory=289376 CPUtime=3572.4 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 93854 0 0 0 357106 134 0 0 20 0 1 0 1774651 313274368 72344 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 76483 72344 468 659 0 75687 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 315864 KiB
Current children cumulated memory: 292152 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.11 4.13 4.13 5/263 16447
/proc/meminfo: memFree=129663404/131524600 swapFree=131071996/131071996
[pid=14313] ppid=14310 vsize=9932 memory=2776 CPUtime=0 cores=4,6
/proc/14313/stat : 14313 (naps-1.03.sh) S 14310 14313 14129 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 1774651 10170368 694 134679101440 94583254503424 94583255582744 140728451936880 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94583257681200 94583257728388 94583283048448 140728451941343 140728451941472 140728451941472 140728451948488 0
/proc/14313/statm: 2483 694 615 264 0 134 0
[pid=14318] ppid=14313 vsize=275112 memory=269028 CPUtime=3600.02 cores=4,6
/proc/14318/stat : 14318 (naps-1.03a2) R 14313 14313 14129 0 -1 4194304 94257 0 0 0 359867 135 0 0 20 0 1 0 1774651 281714688 67257 134679101440 4194304 6891597 140724219460672 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 27283456 140724219466730 140724219466848 140724219466848 140724219473865 0
/proc/14318/statm: 68778 67257 468 659 0 67982 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 271804 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.68 s, system=1.35223 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.01
CPU time (s): 3600.04
CPU user time (s): 3598.68
CPU system time (s): 1.35223
CPU usage (%): 99.7238
Max. virtual memory (cumulated for all children) (KiB): 362456
Max. memory (cumulated for all children) (KiB): 302392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.35223
maximum resident set size= 331176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94741
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= 6911


# summary of solver processes directly reported to runsolver:
#   pid: 14313
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.68
#   total CPU system time (s): 1.35223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77644 second user time and 15.4218 second system time

The end