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: 64096 MiB (46449 MiB free)
  memory of node 1: 64473 MiB (50416 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456425-1721719586/watcher-4456425-1721719586 -o /tmp/evaluation-result-4456425-1721719586/solver-4456425-1721719586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721718430-79052 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456425-1721719586.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=81240, runsolver pid=81237

[startup+0.100768 s]*
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99181628/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=12824 memory=8524 CPUtime=0.09 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 1263 0 0 0 9 0 0 0 20 0 1 0 7947588 13131776 2131 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 3206 2131 436 659 0 2410 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22756 KiB
Current children cumulated memory: 11248 KiB

[startup+0.213766 s]*
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99168636/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=20484 memory=17332 CPUtime=0.21 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 4272 0 0 0 20 1 0 0 20 0 1 0 7947588 20975616 4333 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 5121 4333 468 659 0 4325 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30416 KiB
Current children cumulated memory: 20056 KiB

[startup+0.313689 s]*
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99165944/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=20620 memory=17332 CPUtime=0.31 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 4278 0 0 0 30 1 0 0 20 0 1 0 7947588 21114880 4333 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 5155 4333 468 659 0 4359 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30552 KiB
Current children cumulated memory: 20056 KiB

[startup+0.700373 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99162332/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=20620 memory=17596 CPUtime=0.68 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 4295 0 0 0 67 1 0 0 20 0 1 0 7947588 21114880 4399 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 5155 4399 468 659 0 4359 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30552 KiB
Current children cumulated memory: 20320 KiB

[startup+1.50041 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99147092/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=20752 memory=17596 CPUtime=1.48 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 4334 0 0 0 147 1 0 0 20 0 1 0 7947588 21250048 4399 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 5188 4399 468 659 0 4392 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30684 KiB
Current children cumulated memory: 20320 KiB

[startup+3.11358 s]
/proc/loadavg: 4.16 4.11 3.50 5/247 81245
/proc/meminfo: memFree=99097184/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=21176 memory=18124 CPUtime=3.09 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 4441 0 0 0 308 1 0 0 20 0 1 0 7947588 21684224 4531 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 5294 4531 468 659 0 4498 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31108 KiB
Current children cumulated memory: 20848 KiB

[startup+6.30039 s]
/proc/loadavg: 4.31 4.14 3.52 6/247 81295
/proc/meminfo: memFree=101768176/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=21520 memory=18388 CPUtime=6.27 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 4515 0 0 0 626 1 0 0 20 0 1 0 7947588 22036480 4597 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 5380 4597 468 659 0 4584 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31452 KiB
Current children cumulated memory: 21112 KiB

[startup+12.7004 s]
/proc/loadavg: 4.52 4.19 3.54 5/247 81296
/proc/meminfo: memFree=101623020/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=22184 memory=18916 CPUtime=12.66 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 4660 0 0 0 1265 1 0 0 20 0 1 0 7947588 22716416 4729 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 5546 4729 468 659 0 4750 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32116 KiB
Current children cumulated memory: 21640 KiB

[startup+25.5004 s]
/proc/loadavg: 4.67 4.23 3.56 5/247 81298
/proc/meminfo: memFree=99715536/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=2126192 memory=1933492 CPUtime=25.43 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 176906 0 0 0 2489 54 0 0 20 0 1 0 7947588 2177220608 483373 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 531548 483373 468 659 0 530752 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2136124 KiB
Current children cumulated memory: 1936216 KiB

[startup+51.1139 s]
/proc/loadavg: 4.88 4.32 3.61 5/247 81302
/proc/meminfo: memFree=92352416/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=2716372 memory=2485556 CPUtime=50.97 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 230790 0 0 0 5015 82 0 0 20 0 1 0 7947588 2781564928 621389 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 679093 621389 468 659 0 678297 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2726304 KiB
Current children cumulated memory: 2488280 KiB

[startup+102.3 s]
/proc/loadavg: 4.55 4.33 3.65 5/247 81311
/proc/meminfo: memFree=83891496/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=2725052 memory=2514244 CPUtime=102.02 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 231430 0 0 0 10118 84 0 0 20 0 1 0 7947588 2790453248 628561 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 681263 628561 468 659 0 680467 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2734984 KiB
Current children cumulated memory: 2516968 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.30 3.69 5/249 81493
/proc/meminfo: memFree=84258956/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3708208 memory=3299576 CPUtime=161.84 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 305391 0 0 0 16067 117 0 0 20 0 1 0 7947588 3797204992 824894 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 927052 824894 468 659 0 926256 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3718140 KiB
Current children cumulated memory: 3302300 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.26 3.72 5/249 81504
/proc/meminfo: memFree=81930036/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3708208 memory=3281220 CPUtime=221.64 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 306532 0 0 0 22043 121 0 0 20 0 1 0 7947588 3797204992 820305 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 927052 820305 468 659 0 926256 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 3718140 KiB

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

/proc/81245/statm: 965922 847395 468 659 0 965126 0
Current children cumulated CPU time: 3092.27 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3392304 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.10 6/246 82708
/proc/meminfo: memFree=78223072/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3731428 memory=3330376 CPUtime=3152.07 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 346724 0 0 0 314933 274 0 0 20 0 1 0 7947588 3820982272 832594 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 932857 832594 468 659 0 932061 0
Current children cumulated CPU time: 3152.07 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3333100 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/245 82719
/proc/meminfo: memFree=77539220/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3863688 memory=3356812 CPUtime=3211.88 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 347643 0 0 0 320912 276 0 0 20 0 1 0 7947588 3956416512 839203 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 965922 839203 468 659 0 965126 0
Current children cumulated CPU time: 3211.88 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3359536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/249 82735
/proc/meminfo: memFree=73042968/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3863688 memory=3377292 CPUtime=3271.69 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 348083 0 0 0 326891 278 0 0 20 0 1 0 7947588 3956416512 844323 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 965922 844323 468 659 0 965126 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3380016 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/249 82746
/proc/meminfo: memFree=74682964/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3863688 memory=3395724 CPUtime=3331.5 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 348446 0 0 0 332870 280 0 0 20 0 1 0 7947588 3956416512 848931 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 965922 848931 468 659 0 965126 0
Current children cumulated CPU time: 3331.5 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3398448 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/249 82757
/proc/meminfo: memFree=74685964/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3731428 memory=3330376 CPUtime=3391.3 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 349369 0 0 0 338845 285 0 0 20 0 1 0 7947588 3820982272 832594 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 932857 832594 468 659 0 932061 0
Current children cumulated CPU time: 3391.3 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3333100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/249 82767
/proc/meminfo: memFree=75504964/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3863688 memory=3358860 CPUtime=3451.1 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 350201 0 0 0 344824 286 0 0 20 0 1 0 7947588 3956416512 839715 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 965922 839715 468 659 0 965126 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3361584 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.85 4.00 3/233 82838
/proc/meminfo: memFree=105992792/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3863688 memory=3401932 CPUtime=3510.92 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 350656 0 0 0 350803 289 0 0 20 0 1 0 7947588 3956416512 850483 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 965922 850483 468 659 0 965126 0
Current children cumulated CPU time: 3510.92 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3404656 KiB

[startup+3582.3 s]
/proc/loadavg: 2.44 3.53 3.88 3/231 83232
/proc/meminfo: memFree=105961252/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3863688 memory=3422412 CPUtime=3570.76 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 351108 0 0 0 356786 290 0 0 20 0 1 0 7947588 3956416512 855603 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 965922 855603 468 659 0 965126 0
Current children cumulated CPU time: 3570.76 s
Current children cumulated vsize: 3873620 KiB
Current children cumulated memory: 3425136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 2.33 3.40 3.82 3/231 83238
/proc/meminfo: memFree=106049544/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3731428 memory=3318152 CPUtime=3600.09 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 351832 0 0 0 359713 296 0 0 20 0 1 0 7947588 3820982272 829538 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 932857 829538 468 659 0 932061 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3320876 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002135 s, system=0.002144 s

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

# cumulated CPU time of all completed processes:  user=3597.14 s, system=3.04727 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+3611.7 s]
/proc/loadavg: 2.33 3.40 3.82 3/231 83238
/proc/meminfo: memFree=106049544/131655788 swapFree=131071996/131071996
[pid=81240] ppid=81237 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/81240/stat : 81240 (naps-1.03.sh) S 81237 81240 79038 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 7947587 10170368 681 134679101440 94490821963776 94490823043096 140721743244320 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94490825141552 94490825188740 94490831667200 140721743246303 140721743246432 140721743246432 140721743253448 0
/proc/81240/statm: 2483 681 602 264 0 134 0
[pid=81245] ppid=81240 vsize=3731428 memory=3318152 CPUtime=3600.09 cores=5,7
/proc/81245/stat : 81245 (naps-1.03) R 81240 81240 79038 0 -1 4194304 351832 0 0 0 359713 296 0 0 20 0 1 0 7947588 3820982272 829538 134679101440 4194304 6891213 140723579326128 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39784448 140723579327472 140723579327588 140723579327588 140723579334603 0
/proc/81245/statm: 932857 829538 468 659 0 932061 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3741360 KiB
Current children cumulated memory: 3320876 KiB

Child status: 10

Real time (s): 3611.79
CPU time (s): 3600.19
CPU user time (s): 3597.14
CPU system time (s): 3.04727
CPU usage (%): 99.6788
Max. virtual memory (cumulated for all children) (KiB): 4085236
Max. memory (cumulated for all children) (KiB): 3624972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.14
system time used= 3.04727
maximum resident set size= 3622248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352293
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= 27
involuntary context switches= 2634


# summary of solver processes directly reported to runsolver:
#   pid: 81240,81245
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3597.14
#   total CPU system time (s): 3.04727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7117 second user time and 38.8123 second system time

The end