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: 63708 MiB (51966 MiB free)
  memory of node 1: 64465 MiB (48914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525088-1751619264/watcher-4525088-1751619264 -o /tmp/evaluation-result-4525088-1751619264/solver-4525088-1751619264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85989 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525088-1751619264.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=86837, runsolver pid=86834

[startup+0.100067 s]*
/proc/loadavg: 4.06 4.10 4.09 5/266 86841
/proc/meminfo: memFree=103290864/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=24164 memory=22136 CPUtime=0.08 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 5628 0 0 0 7 1 0 0 20 0 1 0 77603052 24743936 5534 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 6041 5534 576 696 0 5202 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28356 KiB
Current children cumulated memory: 24952 KiB

[startup+0.20558 s]*
/proc/loadavg: 4.06 4.10 4.09 5/266 86841
/proc/meminfo: memFree=103274232/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=40536 memory=37548 CPUtime=0.17 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 9345 0 0 0 16 1 0 0 20 0 1 0 77603052 41508864 9387 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 10134 9387 608 696 0 9295 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 44728 KiB
Current children cumulated memory: 40364 KiB

[startup+0.305591 s]*
/proc/loadavg: 4.06 4.10 4.09 5/266 86841
/proc/meminfo: memFree=103262072/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=44712 memory=42284 CPUtime=0.28 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 10509 0 0 0 26 2 0 0 20 0 1 0 77603052 45785088 10571 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 11178 10571 608 696 0 10339 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 48904 KiB
Current children cumulated memory: 45100 KiB

[startup+0.700211 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 86841
/proc/meminfo: memFree=103248736/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=59532 memory=53508 CPUtime=0.66 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 15588 0 0 0 63 3 0 0 20 0 1 0 77603052 60960768 13377 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 14883 13377 608 696 0 14044 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63724 KiB
Current children cumulated memory: 56324 KiB

[startup+1.50021 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 86841
/proc/meminfo: memFree=103228572/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=65228 memory=62668 CPUtime=1.46 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 17776 0 0 0 142 4 0 0 20 0 1 0 77603052 66793472 15667 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 16307 15667 608 696 0 15468 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 69420 KiB
Current children cumulated memory: 65484 KiB

[startup+3.10568 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 86841
/proc/meminfo: memFree=103123368/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=83148 memory=68856 CPUtime=3.06 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 19332 0 0 0 301 5 0 0 20 0 1 0 77603052 85143552 17214 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 20787 17214 608 696 0 19948 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 87340 KiB
Current children cumulated memory: 71672 KiB

[startup+6.3002 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 86841
/proc/meminfo: memFree=103031592/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=93736 memory=78680 CPUtime=6.25 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 20570 0 0 0 619 6 0 0 20 0 1 0 77603052 95985664 19670 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 23434 19670 608 696 0 22595 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 97928 KiB
Current children cumulated memory: 81496 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 86841
/proc/meminfo: memFree=102867364/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=94856 memory=79800 CPUtime=12.63 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 20770 0 0 0 1257 6 0 0 20 0 1 0 77603052 97132544 19950 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 23714 19950 608 696 0 22875 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 99048 KiB
Current children cumulated memory: 82616 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 86841
/proc/meminfo: memFree=101772056/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=94856 memory=79800 CPUtime=25.4 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 20774 0 0 0 2534 6 0 0 20 0 1 0 77603052 97132544 19950 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 23714 19950 608 696 0 22875 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 99048 KiB
Current children cumulated memory: 82616 KiB

[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 86938
/proc/meminfo: memFree=117801272/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=99200 memory=84024 CPUtime=50.94 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 21864 0 0 0 5088 6 0 0 20 0 1 0 77603052 101580800 21006 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 24800 21006 608 696 0 23961 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 103392 KiB
Current children cumulated memory: 86840 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 86939
/proc/meminfo: memFree=117731548/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=114252 memory=99176 CPUtime=101.99 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 23597 0 0 0 10192 7 0 0 20 0 1 0 77603052 116994048 24794 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 28563 24794 608 696 0 27724 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 118444 KiB
Current children cumulated memory: 101992 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 86943
/proc/meminfo: memFree=117495608/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=117404 memory=102376 CPUtime=161.8 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 24398 0 0 0 16173 7 0 0 20 0 1 0 77603052 120221696 25594 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 29351 25594 608 696 0 28512 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 105192 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 86949
/proc/meminfo: memFree=120278348/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=125744 memory=110604 CPUtime=221.63 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 25981 0 0 0 22155 8 0 0 20 0 1 0 77603052 128761856 27651 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 31436 27651 608 696 0 30597 0
Current children cumulated CPU time: 221.63 s

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

/proc/loadavg: 4.20 4.13 4.10 5/268 87159
/proc/meminfo: memFree=129022980/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=204032 memory=190284 CPUtime=3093.79 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 165276 0 0 0 309191 188 0 0 20 0 1 0 77603052 208928768 47571 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 51008 47571 608 696 0 50169 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 208224 KiB
Current children cumulated memory: 193100 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 87163
/proc/meminfo: memFree=129023400/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=202296 memory=188548 CPUtime=3153.6 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 167921 0 0 0 315168 192 0 0 20 0 1 0 77603052 207151104 47137 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 50574 47137 608 696 0 49735 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 206488 KiB
Current children cumulated memory: 191364 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 87169
/proc/meminfo: memFree=129089204/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=199848 memory=186100 CPUtime=3213.43 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 173060 0 0 0 321143 200 0 0 20 0 1 0 77603052 204644352 46525 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 49962 46525 608 696 0 49123 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 204040 KiB
Current children cumulated memory: 188916 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 87171
/proc/meminfo: memFree=129055404/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=201080 memory=187332 CPUtime=3273.25 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 177232 0 0 0 327118 207 0 0 20 0 1 0 77603052 205905920 46833 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 50270 46833 608 696 0 49431 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 205272 KiB
Current children cumulated memory: 190148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 87173
/proc/meminfo: memFree=129030884/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=201448 memory=187700 CPUtime=3333.08 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 181518 0 0 0 333092 216 0 0 20 0 1 0 77603052 206282752 46925 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 50362 46925 608 696 0 49523 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 205640 KiB
Current children cumulated memory: 190516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 87175
/proc/meminfo: memFree=129038320/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=200928 memory=187180 CPUtime=3392.9 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 185992 0 0 0 339067 223 0 0 20 0 1 0 77603052 205750272 46795 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 50232 46795 608 696 0 49393 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 205120 KiB
Current children cumulated memory: 189996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 87225
/proc/meminfo: memFree=129158916/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=198840 memory=185092 CPUtime=3452.71 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 189772 0 0 0 345042 229 0 0 20 0 1 0 77603052 203612160 46273 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 49710 46273 608 696 0 48871 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 203032 KiB
Current children cumulated memory: 187908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.18 4.11 5/267 87228
/proc/meminfo: memFree=129147708/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=200900 memory=187152 CPUtime=3512.54 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 195123 0 0 0 351015 239 0 0 20 0 1 0 77603052 205721600 46788 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 50225 46788 608 696 0 49386 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 205092 KiB
Current children cumulated memory: 189968 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/269 87232
/proc/meminfo: memFree=129103924/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=205152 memory=191404 CPUtime=3572.36 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 198855 0 0 0 356991 245 0 0 20 0 1 0 77603052 210075648 47851 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 51288 47851 608 696 0 50449 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 209344 KiB
Current children cumulated memory: 194220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.23 4.18 4.12 5/269 87233
/proc/meminfo: memFree=129127256/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=202224 memory=188476 CPUtime=3600.08 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 200546 0 0 0 359760 248 0 0 20 0 1 0 77603052 207077376 47119 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 50556 47119 608 696 0 49717 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 206416 KiB
Current children cumulated memory: 191292 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.6 s, system=2.49293 s

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

[startup+3610.11 s]
/proc/loadavg: 4.23 4.18 4.12 5/269 87233
/proc/meminfo: memFree=129127256/131250000 swapFree=33008356/33010684
[pid=86837] ppid=86834 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/86837/stat : 86837 (naps-1.03a6.sh) S 86834 86837 85976 0 -1 4194304 227 202 0 0 0 0 0 0 20 0 1 0 77603050 4292608 704 18446744073709551615 94692863836160 94692864730693 140730098920080 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94692864969744 94692865017488 94692895834112 140730098928037 140730098928131 140730098928131 140730098933735 0
/proc/86837/statm: 1048 704 640 219 0 110 0
[pid=86841] ppid=86837 vsize=202224 memory=188476 CPUtime=3600.08 cores=5,7
/proc/86841/stat : 86841 (naps-1.03a6) R 86837 86837 85976 0 -1 4194304 200546 0 0 0 359760 248 0 0 20 0 1 0 77603052 207077376 47119 18446744073709551615 4198400 7047149 140724378737248 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 15065088 140724378745202 140724378745316 140724378745316 140724378750921 0
/proc/86841/statm: 50556 47119 608 696 0 49717 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 206416 KiB
Current children cumulated memory: 191292 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.1
CPU user time (s): 3597.6
CPU system time (s): 2.49293
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 278828
Max. memory (cumulated for all children) (KiB): 259556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.6
system time used= 2.49293
maximum resident set size= 261868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200988
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= 170
involuntary context switches= 1864


# summary of solver processes directly reported to runsolver:
#   pid: 86837
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.6
#   total CPU system time (s): 2.49293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59839 second user time and 15.4299 second system time

The end