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: 63665 MiB (62749 MiB free)
  memory of node 1: 64507 MiB (63675 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519230-1751550930/watcher-4519230-1751550930 -o /tmp/evaluation-result-4519230-1751550930/solver-4519230-1751550930 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751543707-84881 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4519230-1751550930.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=85707, runsolver pid=85702
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.12 4.09 4.09 4/266 85730
/proc/meminfo: memFree=129458128/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=8444 memory=6912 CPUtime=0.07 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 1303 0 0 0 7 0 0 0 20 0 1 0 70770837 8646656 1728 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 2111 1728 608 696 0 1272 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 12636 KiB
Current children cumulated memory: 9984 KiB

[startup+0.205655 s]*
/proc/loadavg: 4.12 4.09 4.09 5/267 85738
/proc/meminfo: memFree=129450600/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=9248 memory=7680 CPUtime=0.18 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 1507 0 0 0 18 0 0 0 20 0 1 0 70770837 9469952 1920 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 2312 1920 608 696 0 1473 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13440 KiB
Current children cumulated memory: 10752 KiB

[startup+0.305666 s]*
/proc/loadavg: 4.12 4.09 4.09 5/264 85738
/proc/meminfo: memFree=129429304/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=9248 memory=7680 CPUtime=0.28 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 1507 0 0 0 28 0 0 0 20 0 1 0 70770837 9469952 1920 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 2312 1920 608 696 0 1473 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13440 KiB
Current children cumulated memory: 10752 KiB

[startup+0.700228 s]
/proc/loadavg: 4.12 4.09 4.09 4/264 85738
/proc/meminfo: memFree=129345572/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=9964 memory=8336 CPUtime=0.66 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 2494 0 0 0 66 0 0 0 20 0 1 0 70770837 10203136 2084 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 2491 2084 608 696 0 1652 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 14156 KiB
Current children cumulated memory: 11408 KiB

[startup+1.50022 s]
/proc/loadavg: 4.12 4.09 4.09 4/265 85744
/proc/meminfo: memFree=129325408/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=11512 memory=10000 CPUtime=1.46 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 3177 0 0 0 146 0 0 0 20 0 1 0 70770837 11788288 2500 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 2878 2500 608 696 0 2039 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 15704 KiB
Current children cumulated memory: 13072 KiB

[startup+3.10557 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 85778
/proc/meminfo: memFree=129116860/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=13036 memory=11548 CPUtime=3.06 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 3847 0 0 0 306 0 0 0 20 0 1 0 70770837 13348864 2887 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 3259 2887 608 696 0 2420 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 17228 KiB
Current children cumulated memory: 14620 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 85778
/proc/meminfo: memFree=128815920/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=14032 memory=12732 CPUtime=6.25 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 5307 0 0 0 624 1 0 0 20 0 1 0 70770837 14368768 3183 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 3508 3183 608 696 0 2669 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 18224 KiB
Current children cumulated memory: 15804 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 4.09 5/269 85778
/proc/meminfo: memFree=128023880/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=16460 memory=14944 CPUtime=12.63 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 9545 0 0 0 1262 1 0 0 20 0 1 0 70770837 16855040 3736 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 4115 3736 608 696 0 3276 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 20652 KiB
Current children cumulated memory: 18016 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 85779
/proc/meminfo: memFree=126284012/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=25348 memory=23928 CPUtime=25.4 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 14490 0 0 0 2537 3 0 0 20 0 1 0 70770837 25956352 5982 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 6337 5982 608 696 0 5498 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 29540 KiB
Current children cumulated memory: 27000 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 85781
/proc/meminfo: memFree=117341144/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=27468 memory=25984 CPUtime=50.92 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 17582 0 0 0 5089 3 0 0 20 0 1 0 70770837 28127232 6496 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 6867 6496 608 696 0 6028 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 31660 KiB
Current children cumulated memory: 29056 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 85785
/proc/meminfo: memFree=117117680/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=35368 memory=34016 CPUtime=101.97 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 22286 0 0 0 10193 4 0 0 20 0 1 0 70770837 36216832 8504 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 8842 8504 608 696 0 8003 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 39560 KiB
Current children cumulated memory: 37088 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 85787
/proc/meminfo: memFree=114266988/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=43908 memory=42368 CPUtime=161.81 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 26680 0 0 0 16176 5 0 0 20 0 1 0 70770837 44961792 10592 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 10977 10592 608 696 0 10138 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 48100 KiB
Current children cumulated memory: 45440 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 85789
/proc/meminfo: memFree=113532632/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=57568 memory=56060 CPUtime=221.66 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 30895 0 0 0 22159 7 0 0 20 0 1 0 70770837 58949632 14015 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 14392 14015 608 696 0 13553 0
Current children cumulated CPU time: 221.66 s

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

/proc/loadavg: 4.07 4.09 4.09 5/268 85948
/proc/meminfo: memFree=114550932/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=149636 memory=148220 CPUtime=3033.62 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 83641 0 0 0 303328 34 0 0 20 0 1 0 70770837 153227264 37055 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 37409 37055 608 696 0 36570 0
Current children cumulated CPU time: 3033.62 s
Current children cumulated vsize: 153828 KiB
Current children cumulated memory: 151292 KiB

[startup+3102.3 s]
/proc/loadavg: 4.41 4.19 4.12 5/268 85950
/proc/meminfo: memFree=114523272/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3093.44 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84563 0 0 0 309309 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/268 85952
/proc/meminfo: memFree=114134096/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3153.26 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84563 0 0 0 315291 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/268 85953
/proc/meminfo: memFree=114359736/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3213.07 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84563 0 0 0 321272 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/267 85955
/proc/meminfo: memFree=113927272/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3272.89 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84563 0 0 0 327254 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/267 85957
/proc/meminfo: memFree=113795200/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3332.71 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84563 0 0 0 333236 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/267 85960
/proc/meminfo: memFree=113793584/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3392.53 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84563 0 0 0 339218 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/268 85963
/proc/meminfo: memFree=113811312/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3452.35 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84563 0 0 0 345200 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3452.35 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/269 85968
/proc/meminfo: memFree=113801876/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3512.17 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84612 0 0 0 351182 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/270 85975
/proc/meminfo: memFree=113824688/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=185984 memory=184448 CPUtime=3572 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 84613 0 0 0 357165 35 0 0 20 0 1 0 70770837 190447616 46112 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 46496 46112 608 696 0 45657 0
Current children cumulated CPU time: 3572 s
Current children cumulated vsize: 190176 KiB
Current children cumulated memory: 187520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.11 4.11 4.09 4/265 85985
/proc/meminfo: memFree=113963672/131250000 swapFree=33010416/33010684
[pid=85707] ppid=85702 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/85707/stat : 85707 (naps-1.03a6.sh) S 85702 85707 84821 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 70770835 4292608 768 18446744073709551615 94910521270272 94910522164805 140735451522608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910522403856 94910522451600 94910546501632 140735451531687 140735451531781 140735451531781 140735451537383 0
/proc/85707/statm: 1048 768 704 219 0 110 0
[pid=85715] ppid=85707 vsize=135420 memory=134132 CPUtime=3600.01 cores=1,3
/proc/85715/stat : 85715 (naps-1.03a6) R 85707 85707 84821 0 -1 4194304 85416 0 0 0 359966 35 0 0 20 0 1 0 70770837 138670080 33533 18446744073709551615 4198400 7047149 140721428290992 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 25518080 140721428298100 140721428298214 140721428298214 140721428303817 0
/proc/85715/statm: 33855 33533 608 696 0 33016 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 139612 KiB
Current children cumulated memory: 137204 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.67 s, system=0.365976 s

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.03
CPU user time (s): 3599.67
CPU system time (s): 0.365976
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 211572
Max. memory (cumulated for all children) (KiB): 209076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.67
system time used= 0.365976
maximum resident set size= 218372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85862
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= 6485


# summary of solver processes directly reported to runsolver:
#   pid: 85707
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.67
#   total CPU system time (s): 0.365976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79195 second user time and 16.8704 second system time

The end