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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525169-1751619979/watcher-4525169-1751619979 -o /tmp/evaluation-result-4525169-1751619979/solver-4525169-1751619979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85986 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525169-1751619979.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87025, runsolver pid=87022
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 87029
/proc/meminfo: memFree=129180976/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=20212 memory=18012 CPUtime=0.08 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 4646 0 0 0 8 0 0 0 20 0 1 0 77674520 20697088 4503 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 5053 4503 608 696 0 4214 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 24404 KiB
Current children cumulated memory: 20828 KiB

[startup+0.205598 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 87029
/proc/meminfo: memFree=129178204/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=22432 memory=20556 CPUtime=0.18 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 7063 0 0 0 18 0 0 0 20 0 1 0 77674520 22970368 5139 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 5608 5139 608 696 0 4769 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26624 KiB
Current children cumulated memory: 23372 KiB

[startup+0.305559 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 87029
/proc/meminfo: memFree=129174424/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=26404 memory=24780 CPUtime=0.29 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 8089 0 0 0 28 1 0 0 20 0 1 0 77674520 27037696 6195 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 6601 6195 640 696 0 5762 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 30596 KiB
Current children cumulated memory: 27596 KiB

[startup+0.700205 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 87029
/proc/meminfo: memFree=129169888/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=26580 memory=25108 CPUtime=0.67 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 9953 0 0 0 66 1 0 0 20 0 1 0 77674520 27217920 6277 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 6645 6277 640 696 0 5806 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 30772 KiB
Current children cumulated memory: 27924 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 87030
/proc/meminfo: memFree=129170020/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=45024 memory=39324 CPUtime=1.47 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 11745 0 0 0 145 2 0 0 20 0 1 0 77674520 46104576 9831 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 11256 9831 640 696 0 10417 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 49216 KiB
Current children cumulated memory: 42140 KiB

[startup+3.1051 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 87030
/proc/meminfo: memFree=129186776/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=45024 memory=39452 CPUtime=3.07 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 11767 0 0 0 305 2 0 0 20 0 1 0 77674520 46104576 9863 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 11256 9863 640 696 0 10417 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 49216 KiB
Current children cumulated memory: 42268 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.13 4.09 5/267 87030
/proc/meminfo: memFree=129205840/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=48608 memory=43140 CPUtime=6.26 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 12182 0 0 0 624 2 0 0 20 0 1 0 77674520 49774592 10785 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 12152 10785 640 696 0 11313 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52800 KiB
Current children cumulated memory: 45956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 87030
/proc/meminfo: memFree=129242664/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=49152 memory=43652 CPUtime=12.64 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 12319 0 0 0 1262 2 0 0 20 0 1 0 77674520 50331648 10913 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 12288 10913 640 696 0 11449 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 53344 KiB
Current children cumulated memory: 46468 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 87030
/proc/meminfo: memFree=129306592/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=51796 memory=46340 CPUtime=25.41 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 15228 0 0 0 2538 3 0 0 20 0 1 0 77674520 53039104 11585 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 12949 11585 640 696 0 12110 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 55988 KiB
Current children cumulated memory: 49156 KiB

[startup+51.1053 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 87030
/proc/meminfo: memFree=129397980/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=57860 memory=52352 CPUtime=50.94 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 21377 0 0 0 5089 5 0 0 20 0 1 0 77674520 59248640 13088 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 14465 13088 640 696 0 13626 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 62052 KiB
Current children cumulated memory: 55168 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 87037
/proc/meminfo: memFree=129362656/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=89460 memory=84096 CPUtime=102 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 30861 0 0 0 10191 9 0 0 20 0 1 0 77674520 91607040 21024 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 22365 21024 640 696 0 21526 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 93652 KiB
Current children cumulated memory: 86912 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 87040
/proc/meminfo: memFree=129313688/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=76336 memory=70928 CPUtime=161.84 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 38540 0 0 0 16170 14 0 0 20 0 1 0 77674520 78168064 17732 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 19084 17732 640 696 0 18245 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 80528 KiB
Current children cumulated memory: 73744 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 87042
/proc/meminfo: memFree=129287020/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=105924 memory=100480 CPUtime=221.68 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 39822 0 0 0 22154 14 0 0 20 0 1 0 77674520 108466176 25120 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 26481 25120 640 696 0 25642 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 110116 KiB

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

/proc/loadavg: 4.23 4.17 4.12 5/269 87675
/proc/meminfo: memFree=128445292/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=213736 memory=207732 CPUtime=3093.77 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 198099 0 0 0 309137 240 0 0 20 0 1 0 77674520 218865664 51933 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 53434 51933 640 696 0 52595 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 217928 KiB
Current children cumulated memory: 210548 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 87916
/proc/meminfo: memFree=128740956/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=207940 memory=201936 CPUtime=3153.59 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 201106 0 0 0 315112 247 0 0 20 0 1 0 77674520 212930560 50484 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 51985 50484 640 696 0 51146 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 212132 KiB
Current children cumulated memory: 204752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 88350
/proc/meminfo: memFree=123469952/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=215032 memory=209028 CPUtime=3213.39 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 203135 0 0 0 321087 252 0 0 20 0 1 0 77674520 220192768 52257 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 53758 52257 640 696 0 52919 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 219224 KiB
Current children cumulated memory: 211844 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/270 88412
/proc/meminfo: memFree=119683496/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=204376 memory=198372 CPUtime=3273.22 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 207120 0 0 0 327062 260 0 0 20 0 1 0 77674520 209281024 49593 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 51094 49593 640 696 0 50255 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 208568 KiB
Current children cumulated memory: 201188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/269 88461
/proc/meminfo: memFree=116554016/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=220936 memory=214932 CPUtime=3333.04 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 208910 0 0 0 333040 264 0 0 20 0 1 0 77674520 226238464 53733 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 55234 53733 640 696 0 54395 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 225128 KiB
Current children cumulated memory: 217748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 88558
/proc/meminfo: memFree=117586160/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=220676 memory=214672 CPUtime=3392.87 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 211081 0 0 0 339018 269 0 0 20 0 1 0 77674520 225972224 53668 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 55169 53668 640 696 0 54330 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 224868 KiB
Current children cumulated memory: 217488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/269 88560
/proc/meminfo: memFree=106260372/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=214876 memory=208872 CPUtime=3452.7 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 213019 0 0 0 344996 274 0 0 20 0 1 0 77674520 220033024 52218 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 53719 52218 640 696 0 52880 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 219068 KiB
Current children cumulated memory: 211688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/268 88562
/proc/meminfo: memFree=105081104/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=201208 memory=195204 CPUtime=3512.52 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 215860 0 0 0 350973 279 0 0 20 0 1 0 77674520 206036992 48801 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 50302 48801 640 696 0 49463 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 205400 KiB
Current children cumulated memory: 198020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/267 88564
/proc/meminfo: memFree=101728568/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=214260 memory=208256 CPUtime=3572.34 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 219149 0 0 0 356951 283 0 0 20 0 1 0 77674520 219402240 52064 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 53565 52064 640 696 0 52726 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 218452 KiB
Current children cumulated memory: 211072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 88565
/proc/meminfo: memFree=103038284/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=206024 memory=200020 CPUtime=3600.06 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 221788 0 0 0 359719 287 0 0 20 0 1 0 77674520 210968576 50005 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 51506 50005 640 696 0 50667 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 210216 KiB
Current children cumulated memory: 202836 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.2 s, system=2.88384 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.09 4.12 4.09 5/267 88565
/proc/meminfo: memFree=103038284/131250000 swapFree=33008356/33010684
[pid=87025] ppid=87022 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/87025/stat : 87025 (naps-1.03a6.sh) S 87022 87025 85976 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77674519 4292608 704 18446744073709551615 94685987450880 94685988345413 140736040422368 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94685988584464 94685988632208 94686000353280 140736040425893 140736040425987 140736040425987 140736040431591 0
/proc/87025/statm: 1048 704 672 219 0 110 0
[pid=87029] ppid=87025 vsize=206024 memory=200020 CPUtime=3600.06 cores=0,2
/proc/87029/stat : 87029 (naps-1.03a6) R 87025 87025 85976 0 -1 4194304 221788 0 0 0 359719 287 0 0 20 0 1 0 77674520 210968576 50005 18446744073709551615 4198400 7047149 140735781330080 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38711296 140735781333362 140735781333476 140735781333476 140735781339081 0
/proc/87029/statm: 51506 50005 640 696 0 50667 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 210216 KiB
Current children cumulated memory: 202836 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.08
CPU user time (s): 3597.2
CPU system time (s): 2.88384
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 318968
Max. memory (cumulated for all children) (KiB): 300124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.2
system time used= 2.88383
maximum resident set size= 308700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222232
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= 160
involuntary context switches= 4605


# summary of solver processes directly reported to runsolver:
#   pid: 87025
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.2
#   total CPU system time (s): 2.88384

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1411 second user time and 16.0009 second system time

The end