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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525124-1751619765/watcher-4525124-1751619765 -o /tmp/evaluation-result-4525124-1751619765/solver-4525124-1751619765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86498 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525124-1751619765.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
Starting watchdog thread
solver pid=86913, runsolver pid=86905
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.11 4.09 4.04 4/263 86930
/proc/meminfo: memFree=105989644/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=19420 memory=16496 CPUtime=0.06 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 4028 0 0 0 6 0 0 0 20 0 1 0 77655379 19886080 4124 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 4855 4124 608 696 0 4016 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 23612 KiB
Current children cumulated memory: 19440 KiB

[startup+0.20554 s]*
/proc/loadavg: 4.11 4.09 4.04 5/268 86942
/proc/meminfo: memFree=105980824/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=21440 memory=19528 CPUtime=0.17 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 6448 0 0 0 16 1 0 0 20 0 1 0 77655379 21954560 4882 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 5360 4882 640 696 0 4521 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 25632 KiB
Current children cumulated memory: 22472 KiB

[startup+0.305588 s]*
/proc/loadavg: 4.11 4.09 4.04 5/268 86942
/proc/meminfo: memFree=105979060/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=25408 memory=22856 CPUtime=0.27 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 7288 0 0 0 26 1 0 0 20 0 1 0 77655379 26017792 5714 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 6352 5714 640 696 0 5513 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 29600 KiB
Current children cumulated memory: 25800 KiB

[startup+0.700221 s]
/proc/loadavg: 4.11 4.09 4.04 5/268 86942
/proc/meminfo: memFree=105979060/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=40616 memory=35460 CPUtime=0.66 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 10744 0 0 0 64 2 0 0 20 0 1 0 77655379 41590784 8865 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 10154 8865 640 696 0 9315 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 44808 KiB
Current children cumulated memory: 38404 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.04 5/268 86942
/proc/meminfo: memFree=105969484/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=54068 memory=46364 CPUtime=1.45 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 12558 0 0 0 143 2 0 0 20 0 1 0 77655379 55365632 11591 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 13517 11591 640 696 0 12678 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 58260 KiB
Current children cumulated memory: 49308 KiB

[startup+3.10533 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 86942
/proc/meminfo: memFree=105968652/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=54068 memory=46364 CPUtime=3.05 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 12559 0 0 0 303 2 0 0 20 0 1 0 77655379 55365632 11591 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 13517 11591 640 696 0 12678 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 58260 KiB
Current children cumulated memory: 49308 KiB

[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 86942
/proc/meminfo: memFree=105967432/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=54068 memory=46364 CPUtime=6.24 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 12564 0 0 0 622 2 0 0 20 0 1 0 77655379 55365632 11591 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 13517 11591 640 696 0 12678 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 58260 KiB
Current children cumulated memory: 49308 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 86943
/proc/meminfo: memFree=105959052/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=54068 memory=46364 CPUtime=12.62 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 12567 0 0 0 1260 2 0 0 20 0 1 0 77655379 55365632 11591 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 13517 11591 640 696 0 12678 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 58260 KiB
Current children cumulated memory: 49308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.04 5/268 86943
/proc/meminfo: memFree=105941292/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=59636 memory=53972 CPUtime=25.39 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 12955 0 0 0 2537 2 0 0 20 0 1 0 77655379 61067264 13493 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 14909 13493 640 696 0 14070 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 63828 KiB
Current children cumulated memory: 56916 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 86943
/proc/meminfo: memFree=105913252/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=60464 memory=54736 CPUtime=50.94 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 15395 0 0 0 5091 3 0 0 20 0 1 0 77655379 61915136 13684 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 15116 13684 640 696 0 14277 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 64656 KiB
Current children cumulated memory: 57680 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.04 5/267 86945
/proc/meminfo: memFree=105834696/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=73828 memory=68564 CPUtime=101.99 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 20489 0 0 0 10194 5 0 0 20 0 1 0 77655379 75599872 17141 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 18457 17141 640 696 0 17618 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 78020 KiB
Current children cumulated memory: 71508 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/267 86947
/proc/meminfo: memFree=105802928/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=72136 memory=68716 CPUtime=161.84 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 27825 0 0 0 16176 8 0 0 20 0 1 0 77655379 73867264 17179 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 18034 17179 640 696 0 17195 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 76328 KiB
Current children cumulated memory: 71660 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/268 86950
/proc/meminfo: memFree=105772660/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=72136 memory=68716 CPUtime=221.7 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 27846 0 0 0 22162 8 0 0 20 0 1 0 77655379 73867264 17179 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 18034 17179 640 696 0 17195 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 76328 KiB

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

/proc/loadavg: 4.36 4.19 4.15 5/268 87105
/proc/meminfo: memFree=105359668/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=151092 memory=144760 CPUtime=3094.46 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 132271 0 0 0 309331 115 0 0 20 0 1 0 77655379 154718208 36190 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 37773 36190 640 696 0 36934 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 155284 KiB
Current children cumulated memory: 147704 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/268 87107
/proc/meminfo: memFree=105350800/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=155504 memory=151220 CPUtime=3154.32 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 134800 0 0 0 315314 118 0 0 20 0 1 0 77655379 159236096 37805 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 38876 37805 640 696 0 38037 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 159696 KiB
Current children cumulated memory: 154164 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/268 87109
/proc/meminfo: memFree=105354480/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=151720 memory=147436 CPUtime=3214.17 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 136687 0 0 0 321296 121 0 0 20 0 1 0 77655379 155361280 36859 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 37930 36859 640 696 0 37091 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 155912 KiB
Current children cumulated memory: 150380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/268 87111
/proc/meminfo: memFree=105339312/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=153040 memory=148760 CPUtime=3274.02 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 139335 0 0 0 327278 124 0 0 20 0 1 0 77655379 156712960 37190 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 38260 37190 640 696 0 37421 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 157232 KiB
Current children cumulated memory: 151704 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/268 87113
/proc/meminfo: memFree=105290988/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=154184 memory=149908 CPUtime=3333.88 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 142090 0 0 0 333261 127 0 0 20 0 1 0 77655379 157884416 37477 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 38546 37477 640 696 0 37707 0
Current children cumulated CPU time: 3333.88 s
Current children cumulated vsize: 158376 KiB
Current children cumulated memory: 152852 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/268 87115
/proc/meminfo: memFree=105334404/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=157956 memory=154148 CPUtime=3393.72 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 144337 0 0 0 339242 130 0 0 20 0 1 0 77655379 161746944 38537 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 39489 38537 640 696 0 38650 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 162148 KiB
Current children cumulated memory: 157092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/267 87117
/proc/meminfo: memFree=105396676/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=151320 memory=147512 CPUtime=3453.59 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 146874 0 0 0 345224 135 0 0 20 0 1 0 77655379 154951680 36878 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 37830 36878 640 696 0 36991 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 155512 KiB
Current children cumulated memory: 150456 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/268 87131
/proc/meminfo: memFree=105377484/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=153252 memory=149708 CPUtime=3513.43 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 149472 0 0 0 351206 137 0 0 20 0 1 0 77655379 156930048 37427 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 38313 37427 640 696 0 37474 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 157444 KiB
Current children cumulated memory: 152652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/268 87135
/proc/meminfo: memFree=105369808/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=168168 memory=160536 CPUtime=3573.29 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 153011 0 0 0 357186 143 0 0 20 0 1 0 77655379 172204032 40134 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 42042 40134 640 696 0 41203 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 172360 KiB
Current children cumulated memory: 163480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.09 4.10 4.10 4/263 87149
/proc/meminfo: memFree=105587528/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=169352 memory=161720 CPUtime=3600.03 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 153473 0 0 0 359859 144 0 0 20 0 1 0 77655379 173416448 40430 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 42338 40430 640 696 0 41499 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 173544 KiB
Current children cumulated memory: 164664 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.6 s, system=1.44727 s

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

[startup+3609.11 s]
/proc/loadavg: 4.09 4.10 4.10 4/263 87149
/proc/meminfo: memFree=105587528/131249988 swapFree=33010160/33010684
[pid=86913] ppid=86905 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86913/stat : 86913 (naps-1.03a6.sh) S 86905 86913 86480 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 77655377 4292608 736 18446744073709551615 94699021332480 94699022227013 140727040329584 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94699022466064 94699022513808 94699030417408 140727040338341 140727040338435 140727040338435 140727040344039 0
/proc/86913/statm: 1048 736 672 219 0 110 0
[pid=86922] ppid=86913 vsize=169352 memory=161720 CPUtime=3600.03 cores=5,7
/proc/86922/stat : 86922 (naps-1.03a6) R 86913 86913 86480 0 -1 4194304 153473 0 0 0 359859 144 0 0 20 0 1 0 77655379 173416448 40430 18446744073709551615 4198400 7047149 140721918017184 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 28938240 140721918024050 140721918024164 140721918024164 140721918029769 0
/proc/86922/statm: 42338 40430 640 696 0 41499 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 173544 KiB
Current children cumulated memory: 164664 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.05
CPU user time (s): 3598.6
CPU system time (s): 1.44727
CPU usage (%): 99.749
Max. virtual memory (cumulated for all children) (KiB): 242268
Max. memory (cumulated for all children) (KiB): 237644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 1.44727
maximum resident set size= 234700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153918
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= 166
involuntary context switches= 2338


# summary of solver processes directly reported to runsolver:
#   pid: 86913
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.6
#   total CPU system time (s): 1.44727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24837 second user time and 17.2444 second system time

The end