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

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

solver pid=86047, runsolver pid=86033

[startup+0.100057 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129745720/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=22932 memory=20928 CPUtime=0.07 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 5395 0 0 0 7 0 0 0 20 0 1 0 77201998 23482368 5232 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 5733 5232 576 696 0 4894 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27124 KiB
Current children cumulated memory: 23872 KiB

[startup+0.205425 s]*
/proc/loadavg: 1.14 2.56 3.39 6/274 86062
/proc/meminfo: memFree=129686248/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=40612 memory=37840 CPUtime=0.18 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 9977 0 0 0 17 1 0 0 20 0 1 0 77201998 41586688 9460 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 10153 9460 608 696 0 9314 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44804 KiB
Current children cumulated memory: 40784 KiB

[startup+0.305531 s]*
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129662308/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=47968 memory=45684 CPUtime=0.28 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 11446 0 0 0 27 1 0 0 20 0 1 0 77201998 49119232 11421 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 11992 11421 608 696 0 11153 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 52160 KiB
Current children cumulated memory: 48628 KiB

[startup+0.700209 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129615372/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=66016 memory=60560 CPUtime=0.66 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 17933 0 0 0 64 2 0 0 20 0 1 0 77201998 67600384 15140 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 16504 15140 640 696 0 15665 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70208 KiB
Current children cumulated memory: 63504 KiB

[startup+1.5002 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129498672/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=58972 memory=57496 CPUtime=1.46 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 20651 0 0 0 144 2 0 0 20 0 1 0 77201998 60387328 14374 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 14743 14374 640 696 0 13904 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 63164 KiB
Current children cumulated memory: 60440 KiB

[startup+3.10511 s]
/proc/loadavg: 1.14 2.56 3.39 5/274 86062
/proc/meminfo: memFree=129382140/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=84564 memory=76632 CPUtime=3.06 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 23307 0 0 0 303 3 0 0 20 0 1 0 77201998 86593536 19158 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 21141 19158 640 696 0 20302 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 88756 KiB
Current children cumulated memory: 79576 KiB

[startup+6.30014 s]
/proc/loadavg: 1.37 2.59 3.40 5/274 86062
/proc/meminfo: memFree=129334232/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=84564 memory=76632 CPUtime=6.25 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 23307 0 0 0 622 3 0 0 20 0 1 0 77201998 86593536 19158 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 21141 19158 640 696 0 20302 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88756 KiB
Current children cumulated memory: 79576 KiB

[startup+12.7001 s]
/proc/loadavg: 1.58 2.61 3.40 5/274 86062
/proc/meminfo: memFree=129322028/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=84564 memory=76632 CPUtime=12.63 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 23318 0 0 0 1260 3 0 0 20 0 1 0 77201998 86593536 19158 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 21141 19158 640 696 0 20302 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 88756 KiB
Current children cumulated memory: 79576 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 2.68 3.41 5/274 86062
/proc/meminfo: memFree=129322068/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=89992 memory=82092 CPUtime=25.4 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 24173 0 0 0 2537 3 0 0 20 0 1 0 77201998 92151808 20523 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 22498 20523 640 696 0 21659 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 94184 KiB
Current children cumulated memory: 85036 KiB

[startup+51.105 s]
/proc/loadavg: 2.82 2.80 3.43 5/274 86062
/proc/meminfo: memFree=129312128/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=91360 memory=83400 CPUtime=50.94 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 25213 0 0 0 5090 4 0 0 20 0 1 0 77201998 93552640 20850 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 22840 20850 640 696 0 22001 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 95552 KiB
Current children cumulated memory: 86344 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 3.01 3.47 5/274 86064
/proc/meminfo: memFree=129300192/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=99340 memory=91436 CPUtime=102 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 26700 0 0 0 10196 4 0 0 20 0 1 0 77201998 101724160 22859 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 24835 22859 640 696 0 23996 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 103532 KiB
Current children cumulated memory: 94380 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 3.20 3.51 5/274 86066
/proc/meminfo: memFree=129234616/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=123752 memory=115756 CPUtime=161.83 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 29489 0 0 0 16177 6 0 0 20 0 1 0 77201998 126722048 28939 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 30938 28939 640 696 0 30099 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 118700 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.37 3.55 5/273 86068
/proc/meminfo: memFree=129240956/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=123752 memory=115756 CPUtime=221.67 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 29507 0 0 0 22161 6 0 0 20 0 1 0 77201998 126722048 28939 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 30938 28939 640 696 0 30099 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 127944 KiB

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

/proc/loadavg: 4.12 4.16 4.12 5/268 86223
/proc/meminfo: memFree=128850888/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=161904 memory=154160 CPUtime=3094.02 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 75723 0 0 0 309327 75 0 0 20 0 1 0 77201998 165789696 38540 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 40476 38540 640 696 0 39637 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 166096 KiB
Current children cumulated memory: 157104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/268 86225
/proc/meminfo: memFree=128863376/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=179332 memory=170492 CPUtime=3153.86 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 79045 0 0 0 315306 80 0 0 20 0 1 0 77201998 183635968 42623 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 44833 42623 640 696 0 43994 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 183524 KiB
Current children cumulated memory: 173436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/269 86228
/proc/meminfo: memFree=128836568/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=182164 memory=171760 CPUtime=3213.7 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 81315 0 0 0 321285 85 0 0 20 0 1 0 77201998 186535936 42940 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 45541 42940 640 696 0 44702 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 186356 KiB
Current children cumulated memory: 174704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/269 86230
/proc/meminfo: memFree=128854984/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=187996 memory=177936 CPUtime=3273.54 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 83270 0 0 0 327266 88 0 0 20 0 1 0 77201998 192507904 44484 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 46999 44484 640 696 0 46160 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 192188 KiB
Current children cumulated memory: 180880 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 86232
/proc/meminfo: memFree=128898060/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=182988 memory=174776 CPUtime=3333.38 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 85767 0 0 0 333246 92 0 0 20 0 1 0 77201998 187379712 43694 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 45747 43694 640 696 0 44908 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 187180 KiB
Current children cumulated memory: 177720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 86235
/proc/meminfo: memFree=128883840/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=162692 memory=154812 CPUtime=3393.21 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 87220 0 0 0 339228 93 0 0 20 0 1 0 77201998 166596608 38703 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 40673 38703 640 696 0 39834 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 166884 KiB
Current children cumulated memory: 157756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/269 86237
/proc/meminfo: memFree=128937420/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=190360 memory=182436 CPUtime=3453.05 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 88791 0 0 0 345209 96 0 0 20 0 1 0 77201998 194928640 45609 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 47590 45609 640 696 0 46751 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 194552 KiB
Current children cumulated memory: 185380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 86242
/proc/meminfo: memFree=128941452/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=160364 memory=152612 CPUtime=3512.89 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 91040 0 0 0 351189 100 0 0 20 0 1 0 77201998 164212736 38153 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 40091 38153 640 696 0 39252 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 164556 KiB
Current children cumulated memory: 155556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 86249
/proc/meminfo: memFree=128909644/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=169076 memory=159600 CPUtime=3572.72 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 93504 0 0 0 357170 102 0 0 20 0 1 0 77201998 173133824 39900 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 42269 39900 640 696 0 41430 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 173268 KiB
Current children cumulated memory: 162544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 86250
/proc/meminfo: memFree=128978836/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=173860 memory=164392 CPUtime=3600.05 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 95287 0 0 0 359899 106 0 0 20 0 1 0 77201998 178032640 41098 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 43465 41098 640 696 0 42626 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 178052 KiB
Current children cumulated memory: 167336 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599 s, system=1.06613 s

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

[startup+3609.7 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 86250
/proc/meminfo: memFree=128978836/131250000 swapFree=33008356/33010684
[pid=86047] ppid=86033 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86047/stat : 86047 (naps-1.03a6.sh) S 86033 86047 85976 0 -1 4194304 230 204 0 1 0 0 0 0 20 0 1 0 77201996 4292608 736 18446744073709551615 94801660653568 94801661548101 140734748802704 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94801661787152 94801661834896 94801667493888 140734748809637 140734748809731 140734748809731 140734748815335 0
/proc/86047/statm: 1048 736 672 219 0 110 0
[pid=86059] ppid=86047 vsize=173860 memory=164392 CPUtime=3600.05 cores=0,2
/proc/86059/stat : 86059 (naps-1.03a6) R 86047 86047 85976 0 -1 4194304 95287 0 0 0 359899 106 0 0 20 0 1 0 77201998 178032640 41098 18446744073709551615 4198400 7047149 140727501409920 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 11472896 140727501412722 140727501412836 140727501412836 140727501418441 0
/proc/86059/statm: 43465 41098 640 696 0 42626 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 178052 KiB
Current children cumulated memory: 167336 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.07
CPU user time (s): 3599
CPU system time (s): 1.06613
CPU usage (%): 99.7331
Max. virtual memory (cumulated for all children) (KiB): 322084
Max. memory (cumulated for all children) (KiB): 312932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599
system time used= 1.06613
maximum resident set size= 318132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95733
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 223
involuntary context switches= 4576


# summary of solver processes directly reported to runsolver:
#   pid: 86047
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599
#   total CPU system time (s): 1.06613

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39854 second user time and 15.4934 second system time

The end