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: 63931 MiB (62566 MiB free)
  memory of node 1: 64510 MiB (63963 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463632-1722352319/watcher-4463632-1722352319 -o /tmp/evaluation-result-4463632-1722352319/solver-4463632-1722352319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722352319-13799 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463632-1722352319.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=13838, runsolver pid=13835
Current StackSize limit: 8192 KiB


[startup+0.100608 s]*
/proc/loadavg: 1.47 1.40 2.13 5/263 13877
/proc/meminfo: memFree=129528920/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=21268 memory=17972 CPUtime=0.08 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 4990 0 0 0 8 0 0 0 20 0 1 0 1831207 21778432 4493 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 5317 4493 468 659 0 4521 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31200 KiB
Current children cumulated memory: 20656 KiB

[startup+0.205608 s]*
/proc/loadavg: 1.47 1.40 2.13 5/263 13877
/proc/meminfo: memFree=129479984/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=38260 memory=34664 CPUtime=0.19 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 9174 0 0 0 18 1 0 0 20 0 1 0 1831207 39178240 8666 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 9565 8666 468 659 0 8769 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48192 KiB
Current children cumulated memory: 37348 KiB

[startup+0.305608 s]*
/proc/loadavg: 1.47 1.40 2.13 6/263 13877
/proc/meminfo: memFree=129465220/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=51024 memory=45796 CPUtime=0.29 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 10941 0 0 0 27 2 0 0 20 0 1 0 1831207 52248576 11449 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 12756 11449 468 659 0 11960 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 48480 KiB

[startup+0.700257 s]
/proc/loadavg: 1.47 1.40 2.13 5/263 13877
/proc/meminfo: memFree=129430320/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=53880 memory=49548 CPUtime=0.67 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 12585 0 0 0 65 2 0 0 20 0 1 0 1831207 55173120 12387 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 13470 12387 468 659 0 12674 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63812 KiB
Current children cumulated memory: 52232 KiB

[startup+1.50019 s]
/proc/loadavg: 1.47 1.40 2.13 5/263 13877
/proc/meminfo: memFree=129427700/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=69368 memory=56008 CPUtime=1.46 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 13223 0 0 0 144 2 0 0 20 0 1 0 1831207 71032832 14002 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 17342 14002 468 659 0 16546 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 58692 KiB

[startup+3.10562 s]
/proc/loadavg: 1.67 1.45 2.14 5/263 13927
/proc/meminfo: memFree=129348264/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=73828 memory=69180 CPUtime=3.06 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 14475 0 0 0 304 2 0 0 20 0 1 0 1831207 75599872 17295 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 18457 17295 468 659 0 17661 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 83760 KiB
Current children cumulated memory: 71864 KiB

[startup+6.30023 s]
/proc/loadavg: 1.67 1.45 2.14 6/257 13985
/proc/meminfo: memFree=129265884/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=69368 memory=61948 CPUtime=6.25 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 15645 0 0 0 622 3 0 0 20 0 1 0 1831207 71032832 15487 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 17342 15487 468 659 0 16546 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 79300 KiB
Current children cumulated memory: 64632 KiB

[startup+12.7002 s]
/proc/loadavg: 2.03 1.53 2.17 5/263 14029
/proc/meminfo: memFree=129134568/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=100556 memory=90636 CPUtime=12.63 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 16196 0 0 0 1259 4 0 0 20 0 1 0 1831207 102969344 22659 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 25139 22659 468 659 0 24343 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 110488 KiB
Current children cumulated memory: 93320 KiB

[startup+25.5003 s]
/proc/loadavg: 2.33 1.61 2.19 5/263 14030
/proc/meminfo: memFree=129092384/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=112048 memory=107676 CPUtime=25.4 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 17159 0 0 0 2535 5 0 0 20 0 1 0 1831207 114737152 26919 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 28012 26919 468 659 0 27216 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 121980 KiB
Current children cumulated memory: 110360 KiB

[startup+51.1057 s]
/proc/loadavg: 2.97 1.82 2.24 5/262 14035
/proc/meminfo: memFree=128963836/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=119416 memory=115072 CPUtime=50.92 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 19117 0 0 0 5084 8 0 0 20 0 1 0 1831207 122281984 28768 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 29854 28768 468 659 0 29058 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 129348 KiB
Current children cumulated memory: 117756 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.19 2.34 5/262 14043
/proc/meminfo: memFree=128871960/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=168736 memory=161248 CPUtime=101.97 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 21760 0 0 0 10184 13 0 0 20 0 1 0 1831207 172785664 40312 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 42184 40312 468 659 0 41388 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 178668 KiB
Current children cumulated memory: 163932 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.55 2.46 5/262 14054
/proc/meminfo: memFree=128768836/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=233704 memory=203924 CPUtime=161.82 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 25892 0 0 0 16163 19 0 0 20 0 1 0 1831207 239312896 50981 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 58426 50981 468 659 0 57630 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 243636 KiB
Current children cumulated memory: 206608 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.83 2.57 5/259 14064
/proc/meminfo: memFree=128748040/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=202884 memory=197548 CPUtime=221.67 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 27945 0 0 0 22143 24 0 0 20 0 1 0 1831207 207753216 49387 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 50721 49387 468 659 0 49925 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 212816 KiB

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

/proc/13843/statm: 109894 95118 468 659 0 109098 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 449508 KiB
Current children cumulated memory: 383156 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/260 15767
/proc/meminfo: memFree=127824948/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=359004 memory=312972 CPUtime=3093.34 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 99113 0 0 0 309194 140 0 0 20 0 1 0 1831207 367620096 78243 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 89751 78243 468 659 0 88955 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 368936 KiB
Current children cumulated memory: 315656 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/259 15778
/proc/meminfo: memFree=127878736/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=359212 memory=339772 CPUtime=3153.16 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 99248 0 0 0 315175 141 0 0 20 0 1 0 1831207 367833088 84943 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 89803 84943 468 659 0 89007 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 369144 KiB
Current children cumulated memory: 342456 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/259 15789
/proc/meminfo: memFree=127768816/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=441200 memory=367464 CPUtime=3212.97 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 100204 0 0 0 321155 142 0 0 20 0 1 0 1831207 451788800 91866 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 110300 91866 468 659 0 109504 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 451132 KiB
Current children cumulated memory: 370148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 15799
/proc/meminfo: memFree=127949456/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=312540 memory=294452 CPUtime=3272.8 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 101211 0 0 0 327135 145 0 0 20 0 1 0 1831207 320040960 73613 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 78135 73613 468 659 0 77339 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 322472 KiB
Current children cumulated memory: 297136 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.18 4.11 5/259 15812
/proc/meminfo: memFree=127954340/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=362628 memory=328248 CPUtime=3332.61 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 102170 0 0 0 333116 145 0 0 20 0 1 0 1831207 371331072 82062 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 90657 82062 468 659 0 89861 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 372560 KiB
Current children cumulated memory: 330932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/259 15822
/proc/meminfo: memFree=127831368/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=446496 memory=369988 CPUtime=3392.43 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 103504 0 0 0 339096 147 0 0 20 0 1 0 1831207 457211904 92497 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 111624 92497 468 659 0 110828 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 456428 KiB
Current children cumulated memory: 372672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/259 15832
/proc/meminfo: memFree=127823092/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=318156 memory=299176 CPUtime=3452.25 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 104571 0 0 0 345076 149 0 0 20 0 1 0 1831207 325791744 74794 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 79539 74794 468 659 0 78743 0
Current children cumulated CPU time: 3452.25 s
Current children cumulated vsize: 328088 KiB
Current children cumulated memory: 301860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/261 15847
/proc/meminfo: memFree=127867148/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=368244 memory=337068 CPUtime=3512.07 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 105518 0 0 0 351057 150 0 0 20 0 1 0 1831207 377081856 84267 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 92061 84267 468 659 0 91265 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 378176 KiB
Current children cumulated memory: 339752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/261 15858
/proc/meminfo: memFree=127766644/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=368592 memory=360648 CPUtime=3571.88 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 105919 0 0 0 357038 150 0 0 20 0 1 0 1831207 377438208 90162 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 92148 90162 468 659 0 91352 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 378524 KiB
Current children cumulated memory: 363332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.10 4.13 4.09 5/262 15865
/proc/meminfo: memFree=127707844/131524600 swapFree=131071996/131071996
[pid=13838] ppid=13835 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/13838/stat : 13838 (naps-1.03.sh) S 13835 13838 13788 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 1831207 10170368 671 134679101440 94249116991488 94249118070808 140723916741552 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94249120169264 94249120216452 94249131048960 140723916743647 140723916743776 140723916743776 140723916750792 0
/proc/13838/statm: 2483 671 593 264 0 134 0
[pid=13843] ppid=13838 vsize=450260 memory=381404 CPUtime=3600.09 cores=4,6
/proc/13843/stat : 13843 (naps-1.03a2) R 13838 13838 13788 0 -1 4194304 106559 0 0 0 359858 151 0 0 20 0 1 0 1831207 461066240 95351 134679101440 4194304 6891597 140722238364528 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 12464128 140722238366698 140722238366816 140722238366816 140722238373833 0
/proc/13843/statm: 112565 95351 468 659 0 111769 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 460192 KiB
Current children cumulated memory: 384088 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.6 s]
# the end of solver process 13838 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002778 s, system=0 s

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

# cumulated CPU time of all completed processes:  user=3598.59 s, system=1.52349 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.11
CPU user time (s): 3598.59
CPU system time (s): 1.52349
CPU usage (%): 99.7093
Max. virtual memory (cumulated for all children) (KiB): 539704
Max. memory (cumulated for all children) (KiB): 436212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 1.52349
maximum resident set size= 449540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107023
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= 100
involuntary context switches= 4227


# summary of solver processes directly reported to runsolver:
#   pid: 13838,13843
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.59
#   total CPU system time (s): 1.52349

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09693 second user time and 18.9402 second system time

The end