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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509140-1751507815/watcher-4509140-1751507815 -o /tmp/evaluation-result-4509140-1751507815/solver-4509140-1751507815 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751500200-69844 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4509140-1751507815.opb 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=72042, runsolver pid=72039

[startup+0.100071 s]*
/proc/loadavg: 4.36 4.32 4.21 5/255 72046
/proc/meminfo: memFree=116989536/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=6916 memory=5248 CPUtime=0.08 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 855 0 0 0 8 0 0 0 20 0 1 0 66460874 7081984 1312 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 1729 1312 544 696 0 890 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11108 KiB
Current children cumulated memory: 8192 KiB

[startup+0.220114 s]*
/proc/loadavg: 4.36 4.32 4.21 6/255 72046
/proc/meminfo: memFree=116988780/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=8420 memory=7032 CPUtime=0.18 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 1307 0 0 0 17 1 0 0 20 0 1 0 66460874 8622080 1758 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 2105 1758 576 696 0 1266 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 12612 KiB
Current children cumulated memory: 9976 KiB

[startup+0.313989 s]*
/proc/loadavg: 4.36 4.32 4.21 5/255 72046
/proc/meminfo: memFree=116988024/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=12716 memory=10868 CPUtime=0.28 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 2351 0 0 0 27 1 0 0 20 0 1 0 66460874 13021184 2717 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 3179 2717 576 696 0 2340 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 16908 KiB
Current children cumulated memory: 13812 KiB

[startup+0.700401 s]
/proc/loadavg: 4.36 4.32 4.21 5/255 72046
/proc/meminfo: memFree=116940960/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=87776 memory=83140 CPUtime=0.65 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 18388 0 0 0 58 7 0 0 20 0 1 0 66460874 89882624 20785 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 21944 20785 608 696 0 21105 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 91968 KiB
Current children cumulated memory: 86084 KiB

[startup+1.50042 s]
/proc/loadavg: 4.36 4.32 4.21 5/255 72046
/proc/meminfo: memFree=116811732/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=252412 memory=247888 CPUtime=1.45 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 38275 0 0 0 132 13 0 0 20 0 1 0 66460874 258469888 61972 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 63103 61972 608 696 0 62264 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 256604 KiB
Current children cumulated memory: 250832 KiB

[startup+3.11363 s]
/proc/loadavg: 4.36 4.32 4.21 5/255 72046
/proc/meminfo: memFree=116604680/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=425780 memory=403188 CPUtime=3.06 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 51182 0 0 0 287 19 0 0 20 0 1 0 66460874 435998720 100797 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 106445 100797 608 696 0 105606 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 429972 KiB
Current children cumulated memory: 406132 KiB

[startup+6.3004 s]
/proc/loadavg: 4.33 4.31 4.21 5/255 72046
/proc/meminfo: memFree=116568068/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=471060 memory=448384 CPUtime=6.23 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 52332 0 0 0 603 20 0 0 20 0 1 0 66460874 482365440 112096 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 117765 112096 608 696 0 116926 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 475252 KiB
Current children cumulated memory: 451328 KiB

[startup+12.7004 s]
/proc/loadavg: 4.30 4.31 4.20 5/255 72047
/proc/meminfo: memFree=116476904/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=553048 memory=517096 CPUtime=12.62 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 57123 0 0 0 1233 29 0 0 20 0 1 0 66460874 566321152 129274 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 138262 129274 640 696 0 137423 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 557240 KiB
Current children cumulated memory: 520040 KiB

[startup+25.5004 s]
/proc/loadavg: 4.24 4.29 4.20 5/255 72047
/proc/meminfo: memFree=116528944/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=475268 memory=470956 CPUtime=25.38 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 64032 0 0 0 2498 40 0 0 20 0 1 0 66460874 486674432 117739 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 118817 117739 640 696 0 117978 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 479460 KiB
Current children cumulated memory: 473900 KiB

[startup+51.1137 s]
/proc/loadavg: 4.23 4.28 4.20 5/255 72047
/proc/meminfo: memFree=116510608/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=507796 memory=475456 CPUtime=50.93 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 66134 0 0 0 5048 45 0 0 20 0 1 0 66460874 519983104 118864 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 126949 118864 640 696 0 126110 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 511988 KiB
Current children cumulated memory: 478400 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.25 4.19 4/254 72095
/proc/meminfo: memFree=116794456/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=507796 memory=479552 CPUtime=101.96 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 66793 0 0 0 10150 46 0 0 20 0 1 0 66460874 519983104 119888 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 126949 119888 640 696 0 126110 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 511988 KiB
Current children cumulated memory: 482496 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.22 4.18 6/255 72100
/proc/meminfo: memFree=114743824/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=507796 memory=487872 CPUtime=161.79 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 66958 0 0 0 16133 46 0 0 20 0 1 0 66460874 519983104 121968 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 126949 121968 640 696 0 126110 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 511988 KiB
Current children cumulated memory: 490816 KiB

[startup+222.302 s]
/proc/loadavg: 4.14 4.21 4.18 6/255 72149
/proc/meminfo: memFree=112241152/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=507796 memory=494072 CPUtime=221.61 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 66993 0 0 0 22114 47 0 0 20 0 1 0 66460874 519983104 123518 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 126949 123518 640 696 0 126110 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 511988 KiB

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

/proc/loadavg: 4.17 4.12 4.09 5/256 72521
/proc/meminfo: memFree=96161172/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=678688 memory=590124 CPUtime=3092.54 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 77873 0 0 0 309176 78 0 0 20 0 1 0 66460874 694976512 147531 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 169672 147531 640 696 0 168833 0
Current children cumulated CPU time: 3092.54 s
Current children cumulated vsize: 682880 KiB
Current children cumulated memory: 593068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 72523
/proc/meminfo: memFree=97605168/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=669692 memory=581120 CPUtime=3152.34 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 78676 0 0 0 315155 79 0 0 20 0 1 0 66460874 685764608 145280 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 167423 145280 640 696 0 166584 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 673884 KiB
Current children cumulated memory: 584064 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 72525
/proc/meminfo: memFree=97332624/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=613944 memory=525380 CPUtime=3212.15 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 78716 0 0 0 321136 79 0 0 20 0 1 0 66460874 628678656 131345 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 153486 131345 640 696 0 152647 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 618136 KiB
Current children cumulated memory: 528324 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 72528
/proc/meminfo: memFree=96753936/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=667960 memory=579388 CPUtime=3271.96 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 79524 0 0 0 327116 80 0 0 20 0 1 0 66460874 683991040 144847 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 166990 144847 640 696 0 166151 0
Current children cumulated CPU time: 3271.96 s
Current children cumulated vsize: 672152 KiB
Current children cumulated memory: 582332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 72532
/proc/meminfo: memFree=96800416/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=613944 memory=525380 CPUtime=3331.76 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 79576 0 0 0 333096 80 0 0 20 0 1 0 66460874 628678656 131345 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 153486 131345 640 696 0 152647 0
Current children cumulated CPU time: 3331.76 s
Current children cumulated vsize: 618136 KiB
Current children cumulated memory: 528324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 72539
/proc/meminfo: memFree=96759364/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=663852 memory=575280 CPUtime=3391.57 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 80380 0 0 0 339076 81 0 0 20 0 1 0 66460874 679784448 143820 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 165963 143820 640 696 0 165124 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 668044 KiB
Current children cumulated memory: 578224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 72541
/proc/meminfo: memFree=96764184/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=613944 memory=525380 CPUtime=3451.37 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 80453 0 0 0 345056 81 0 0 20 0 1 0 66460874 628678656 131345 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 153486 131345 640 696 0 152647 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 618136 KiB
Current children cumulated memory: 528324 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/254 72543
/proc/meminfo: memFree=97174644/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=613944 memory=525380 CPUtime=3511.18 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 80562 0 0 0 351037 81 0 0 20 0 1 0 66460874 628678656 131345 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 153486 131345 640 696 0 152647 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 618136 KiB
Current children cumulated memory: 528324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 72545
/proc/meminfo: memFree=96386916/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=613944 memory=525380 CPUtime=3570.99 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 80610 0 0 0 357018 81 0 0 20 0 1 0 66460874 628678656 131345 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 153486 131345 640 696 0 152647 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 618136 KiB
Current children cumulated memory: 528324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.17 4.13 4.10 5/254 72545
/proc/meminfo: memFree=96389108/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=613944 memory=525380 CPUtime=3600.09 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 80610 0 0 0 359928 81 0 0 20 0 1 0 66460874 628678656 131345 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 153486 131345 640 696 0 152647 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 618136 KiB
Current children cumulated memory: 528324 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.29 s, system=0.82347 s

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

[startup+3611.5 s]
/proc/loadavg: 4.17 4.13 4.10 5/254 72545
/proc/meminfo: memFree=96389108/131382116 swapFree=33009904/33010684
[pid=72042] ppid=72039 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72042/stat : 72042 (naps-1.03a6.sh) S 72039 72042 69831 0 -1 4194304 231 203 0 0 0 0 0 0 20 0 1 0 66460872 4292608 736 18446744073709551615 93996844691456 93996845585989 140731277151264 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93996845825040 93996845872784 93996863250432 140731277158823 140731277158917 140731277158917 140731277164519 0
/proc/72042/statm: 1048 736 672 219 0 110 0
[pid=72046] ppid=72042 vsize=613944 memory=525380 CPUtime=3600.09 cores=5,7
/proc/72046/stat : 72046 (naps-1.03a6) R 72042 72042 69831 0 -1 4194304 80610 0 0 0 359928 81 0 0 20 0 1 0 66460874 628678656 131345 18446744073709551615 4198400 7047149 140731637250880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 25468928 140731637254516 140731637254630 140731637254630 140731637260233 0
/proc/72046/statm: 153486 131345 640 696 0 152647 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 618136 KiB
Current children cumulated memory: 528324 KiB

Child status: 10

Real time (s): 3611.5
CPU time (s): 3600.11
CPU user time (s): 3599.29
CPU system time (s): 0.82347
CPU usage (%): 99.6846
Max. virtual memory (cumulated for all children) (KiB): 743260
Max. memory (cumulated for all children) (KiB): 651312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.29
system time used= 0.82347
maximum resident set size= 648368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81056
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= 199
involuntary context switches= 1119


# summary of solver processes directly reported to runsolver:
#   pid: 72042
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.29
#   total CPU system time (s): 0.82347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3473 second user time and 37.4679 second system time

The end