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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525178-1751620035/watcher-4525178-1751620035 -o /tmp/evaluation-result-4525178-1751620035/solver-4525178-1751620035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751617114-104319 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525178-1751620035.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
solver pid=105653, runsolver pid=105650
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.11 4.17 4.11 5/270 105657
/proc/meminfo: memFree=116806808/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=33024 memory=30596 CPUtime=0.07 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 7947 0 0 0 6 1 0 0 20 0 1 0 77681092 33816576 7649 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 8256 7649 576 696 0 7417 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37216 KiB
Current children cumulated memory: 33540 KiB

[startup+0.205703 s]*
/proc/loadavg: 4.11 4.17 4.11 6/270 105657
/proc/meminfo: memFree=116803028/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=41456 memory=38404 CPUtime=0.18 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 9863 0 0 0 16 2 0 0 20 0 1 0 77681092 42450944 9601 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 10364 9601 608 696 0 9525 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45648 KiB
Current children cumulated memory: 41348 KiB

[startup+0.305183 s]*
/proc/loadavg: 4.11 4.17 4.11 5/270 105657
/proc/meminfo: memFree=116854672/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=57508 memory=53372 CPUtime=0.27 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 12860 0 0 0 25 2 0 0 20 0 1 0 77681092 58888192 13343 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 14377 13343 608 696 0 13538 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 56316 KiB

[startup+0.700163 s]
/proc/loadavg: 4.11 4.17 4.11 5/270 105657
/proc/meminfo: memFree=116848976/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=75804 memory=68532 CPUtime=0.66 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 18887 0 0 0 62 4 0 0 20 0 1 0 77681092 77623296 17133 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 18951 17133 608 696 0 18112 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79996 KiB
Current children cumulated memory: 71476 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.17 4.11 5/270 105657
/proc/meminfo: memFree=116874860/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=66728 memory=63628 CPUtime=1.46 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 20709 0 0 0 142 4 0 0 20 0 1 0 77681092 68329472 15907 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 16682 15907 608 696 0 15843 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 70920 KiB
Current children cumulated memory: 66572 KiB

[startup+3.10551 s]
/proc/loadavg: 4.11 4.17 4.11 5/270 105657
/proc/meminfo: memFree=116899664/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=79080 memory=72340 CPUtime=3.05 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 20832 0 0 0 301 4 0 0 20 0 1 0 77681092 80977920 18085 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 19770 18085 608 696 0 18931 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 83272 KiB
Current children cumulated memory: 75284 KiB

[startup+6.30013 s]
/proc/loadavg: 4.10 4.17 4.11 5/271 105658
/proc/meminfo: memFree=116924548/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=79080 memory=72340 CPUtime=6.24 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 20834 0 0 0 620 4 0 0 20 0 1 0 77681092 80977920 18085 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 19770 18085 608 696 0 18931 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 83272 KiB
Current children cumulated memory: 75284 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.18 4.12 5/271 105658
/proc/meminfo: memFree=116973700/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=79080 memory=72340 CPUtime=12.62 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 20837 0 0 0 1258 4 0 0 20 0 1 0 77681092 80977920 18085 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 19770 18085 608 696 0 18931 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 83272 KiB
Current children cumulated memory: 75284 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.17 4.11 5/271 105658
/proc/meminfo: memFree=117002372/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=79080 memory=72340 CPUtime=25.39 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 20844 0 0 0 2535 4 0 0 20 0 1 0 77681092 80977920 18085 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 19770 18085 608 696 0 18931 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 83272 KiB
Current children cumulated memory: 75284 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.17 4.11 5/271 105659
/proc/meminfo: memFree=117075788/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=89848 memory=83180 CPUtime=50.94 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 23462 0 0 0 5088 6 0 0 20 0 1 0 77681092 92004352 20795 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 22462 20795 608 696 0 21623 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 94040 KiB
Current children cumulated memory: 86124 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/271 105660
/proc/meminfo: memFree=117020576/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=105708 memory=100108 CPUtime=101.99 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 31106 0 0 0 10187 12 0 0 20 0 1 0 77681092 108244992 25027 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 26427 25027 608 696 0 25588 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 109900 KiB
Current children cumulated memory: 103052 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/270 105662
/proc/meminfo: memFree=116967516/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=117280 memory=113420 CPUtime=161.84 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 34784 0 0 0 16171 13 0 0 20 0 1 0 77681092 120094720 28355 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 29320 28355 608 696 0 28481 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 121472 KiB
Current children cumulated memory: 116364 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/269 105664
/proc/meminfo: memFree=116899596/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=126464 memory=122508 CPUtime=221.71 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 36101 0 0 0 22157 14 0 0 20 0 1 0 77681092 129499136 30627 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 31616 30627 608 696 0 30777 0
Current children cumulated CPU time: 221.71 s

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

/proc/loadavg: 4.11 4.12 4.09 5/269 105922
/proc/meminfo: memFree=116824468/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=251640 memory=246708 CPUtime=3034.61 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 247404 0 0 0 303175 286 0 0 20 0 1 0 77681092 257679360 61677 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 62910 61677 608 696 0 62071 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 255832 KiB
Current children cumulated memory: 249652 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/270 105925
/proc/meminfo: memFree=116879732/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=256804 memory=251872 CPUtime=3094.46 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 251044 0 0 0 309153 293 0 0 20 0 1 0 77681092 262967296 62968 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 64201 62968 608 696 0 63362 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 260996 KiB
Current children cumulated memory: 254816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/270 105927
/proc/meminfo: memFree=116874908/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=254020 memory=249088 CPUtime=3154.31 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 254313 0 0 0 315131 300 0 0 20 0 1 0 77681092 260116480 62272 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 63505 62272 608 696 0 62666 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 258212 KiB
Current children cumulated memory: 252032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 105929
/proc/meminfo: memFree=116856464/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=259040 memory=254108 CPUtime=3214.15 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 256683 0 0 0 321110 305 0 0 20 0 1 0 77681092 265256960 63527 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 64760 63527 608 696 0 63921 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 263232 KiB
Current children cumulated memory: 257052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 105947
/proc/meminfo: memFree=116925364/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=256612 memory=251680 CPUtime=3274.01 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 260930 0 0 0 327087 314 0 0 20 0 1 0 77681092 262770688 62920 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 64153 62920 608 696 0 63314 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 260804 KiB
Current children cumulated memory: 254624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 105952
/proc/meminfo: memFree=116909960/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=262524 memory=257592 CPUtime=3333.85 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 263490 0 0 0 333065 320 0 0 20 0 1 0 77681092 268824576 64398 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 65631 64398 608 696 0 64792 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 266716 KiB
Current children cumulated memory: 260536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 105956
/proc/meminfo: memFree=116889896/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=256688 memory=251756 CPUtime=3393.7 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 267528 0 0 0 339043 327 0 0 20 0 1 0 77681092 262848512 62939 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 64172 62939 608 696 0 63333 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 260880 KiB
Current children cumulated memory: 254700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 106005
/proc/meminfo: memFree=113749064/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=263072 memory=258160 CPUtime=3453.55 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 270680 0 0 0 345021 334 0 0 20 0 1 0 77681092 269385728 64540 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 65768 64540 608 696 0 64929 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 267264 KiB
Current children cumulated memory: 261104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 106007
/proc/meminfo: memFree=111028648/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=265908 memory=260976 CPUtime=3513.4 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 273479 0 0 0 351001 339 0 0 20 0 1 0 77681092 272289792 65244 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 66477 65244 608 696 0 65638 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 270100 KiB
Current children cumulated memory: 263920 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 106009
/proc/meminfo: memFree=109577940/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=270144 memory=265212 CPUtime=3573.24 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 276303 0 0 0 356979 345 0 0 20 0 1 0 77681092 276627456 66303 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 67536 66303 608 696 0 66697 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 274336 KiB
Current children cumulated memory: 268156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 106010
/proc/meminfo: memFree=108549928/131250000 swapFree=33010160/33010684
[pid=105653] ppid=105650 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/105653/stat : 105653 (naps-1.03a6.sh) S 105650 105653 104306 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 77681091 4292608 736 18446744073709551615 93908007890944 93908008785477 140720719649984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93908009024528 93908009072272 93908019240960 140720719653284 140720719653378 140720719653378 140720719658983 0
/proc/105653/statm: 1048 736 672 219 0 110 0
[pid=105657] ppid=105653 vsize=256292 memory=251360 CPUtime=3600.07 cores=5,7
/proc/105657/stat : 105657 (naps-1.03a6) R 105653 105653 104306 0 -1 4194304 277002 0 0 0 359660 347 0 0 20 0 1 0 77681092 262443008 62840 18446744073709551615 4198400 7047149 140732193169984 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11591680 140732193175921 140732193176035 140732193176035 140732193181641 0
/proc/105657/statm: 64073 62840 608 696 0 63234 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 260484 KiB
Current children cumulated memory: 254304 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.61 s, system=3.48201 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): 3609.2
CPU time (s): 3600.09
CPU user time (s): 3596.61
CPU system time (s): 3.48201
CPU usage (%): 99.7476
Max. virtual memory (cumulated for all children) (KiB): 400820
Max. memory (cumulated for all children) (KiB): 393744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.61
system time used= 3.48201
maximum resident set size= 390800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277448
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= 2052


# summary of solver processes directly reported to runsolver:
#   pid: 105653
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3596.61
#   total CPU system time (s): 3.48201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2126 second user time and 16.1834 second system time

The end