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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525079-1751619113/watcher-4525079-1751619113 -o /tmp/evaluation-result-4525079-1751619113/solver-4525079-1751619113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751615254-85987 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525079-1751619113.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86784, runsolver pid=86781
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.09 4.09 4.09 5/269 86788
/proc/meminfo: memFree=98408304/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=19484 memory=17540 CPUtime=0.07 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 4328 0 0 0 7 0 0 0 20 0 1 0 77587918 19951616 4385 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 4871 4385 608 696 0 4032 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23676 KiB
Current children cumulated memory: 20484 KiB

[startup+0.205613 s]*
/proc/loadavg: 4.09 4.09 4.09 5/269 86788
/proc/meminfo: memFree=98043888/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=21964 memory=20132 CPUtime=0.17 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 6706 0 0 0 17 0 0 0 20 0 1 0 77587918 22491136 5033 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 5491 5033 608 696 0 4652 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 26156 KiB
Current children cumulated memory: 23076 KiB

[startup+0.305495 s]*
/proc/loadavg: 4.09 4.09 4.09 5/269 86788
/proc/meminfo: memFree=97695728/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=26436 memory=24484 CPUtime=0.27 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 7782 0 0 0 27 0 0 0 20 0 1 0 77587918 27070464 6121 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 6609 6121 608 696 0 5770 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30628 KiB
Current children cumulated memory: 27428 KiB

[startup+0.700207 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 86788
/proc/meminfo: memFree=97003504/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=34524 memory=32548 CPUtime=0.66 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 10175 0 0 0 66 0 0 0 20 0 1 0 77587918 35352576 8137 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 8631 8137 608 696 0 7792 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 35492 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 86788
/proc/meminfo: memFree=96543996/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=34524 memory=32676 CPUtime=1.46 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 10194 0 0 0 146 0 0 0 20 0 1 0 77587918 35352576 8169 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 8631 8169 608 696 0 7792 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 35620 KiB

[startup+3.10576 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 86788
/proc/meminfo: memFree=95168692/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=34524 memory=32676 CPUtime=3.06 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 10194 0 0 0 306 0 0 0 20 0 1 0 77587918 35352576 8169 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 8631 8169 608 696 0 7792 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 35620 KiB

[startup+6.3002 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 86788
/proc/meminfo: memFree=92430932/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=34524 memory=32676 CPUtime=6.25 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 10201 0 0 0 625 0 0 0 20 0 1 0 77587918 35352576 8169 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 8631 8169 608 696 0 7792 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 35620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 86789
/proc/meminfo: memFree=99129188/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=30964 memory=29284 CPUtime=12.64 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 11255 0 0 0 1263 1 0 0 20 0 1 0 77587918 31707136 7321 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 7741 7321 608 696 0 6902 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 35156 KiB
Current children cumulated memory: 32228 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 86789
/proc/meminfo: memFree=97030548/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=37420 memory=35664 CPUtime=25.4 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 15146 0 0 0 2538 2 0 0 20 0 1 0 77587918 38318080 8916 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 9355 8916 608 696 0 8516 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 41612 KiB
Current children cumulated memory: 38608 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.10 4.09 5/268 86789
/proc/meminfo: memFree=94993196/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=39524 memory=37620 CPUtime=50.93 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 20222 0 0 0 5090 3 0 0 20 0 1 0 77587918 40472576 9405 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 9881 9405 608 696 0 9042 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 43716 KiB
Current children cumulated memory: 40564 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/268 86791
/proc/meminfo: memFree=93760052/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=50548 memory=48724 CPUtime=101.99 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 25194 0 0 0 10194 5 0 0 20 0 1 0 77587918 51761152 12181 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 12637 12181 608 696 0 11798 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 54740 KiB
Current children cumulated memory: 51668 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 86841
/proc/meminfo: memFree=102891940/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=51648 memory=49748 CPUtime=161.83 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 28404 0 0 0 16176 7 0 0 20 0 1 0 77587918 52887552 12437 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 12912 12437 608 696 0 12073 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 55840 KiB
Current children cumulated memory: 52692 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 86938
/proc/meminfo: memFree=117790848/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=59008 memory=57172 CPUtime=221.66 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 29745 0 0 0 22159 7 0 0 20 0 1 0 77587918 60424192 14293 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 14752 14293 608 696 0 13913 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 63200 KiB

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

/proc/loadavg: 4.12 4.10 4.09 5/266 87151
/proc/meminfo: memFree=129070308/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=131100 memory=129492 CPUtime=3093.94 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 61503 0 0 0 309370 24 0 0 20 0 1 0 77587918 134246400 32373 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 32775 32373 608 696 0 31936 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 135292 KiB
Current children cumulated memory: 132436 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 87154
/proc/meminfo: memFree=129009664/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=151196 memory=149588 CPUtime=3153.79 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 61928 0 0 0 315355 24 0 0 20 0 1 0 77587918 154824704 37397 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 37799 37397 608 696 0 36960 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 155388 KiB
Current children cumulated memory: 152532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 87159
/proc/meminfo: memFree=129031764/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=151196 memory=149588 CPUtime=3213.63 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 61928 0 0 0 321339 24 0 0 20 0 1 0 77587918 154824704 37397 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 37799 37397 608 696 0 36960 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 155388 KiB
Current children cumulated memory: 152532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 87163
/proc/meminfo: memFree=129026420/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=151196 memory=149588 CPUtime=3273.48 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 61986 0 0 0 327324 24 0 0 20 0 1 0 77587918 154824704 37397 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 37799 37397 608 696 0 36960 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 155388 KiB
Current children cumulated memory: 152532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 87169
/proc/meminfo: memFree=129029708/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=157440 memory=155860 CPUtime=3333.33 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 62532 0 0 0 333308 25 0 0 20 0 1 0 77587918 161218560 38965 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 39360 38965 608 696 0 38521 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 161632 KiB
Current children cumulated memory: 158804 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 87171
/proc/meminfo: memFree=129058956/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=115808 memory=113556 CPUtime=3393.17 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 63071 0 0 0 339292 25 0 0 20 0 1 0 77587918 118587392 28389 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 28952 28389 608 696 0 28113 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 120000 KiB
Current children cumulated memory: 116500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 87173
/proc/meminfo: memFree=129046964/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=156136 memory=154704 CPUtime=3453.02 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 64129 0 0 0 345276 26 0 0 20 0 1 0 77587918 159883264 38676 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 39034 38676 608 696 0 38195 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 160328 KiB
Current children cumulated memory: 157648 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 87175
/proc/meminfo: memFree=129034844/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=156136 memory=154704 CPUtime=3512.87 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 64129 0 0 0 351260 27 0 0 20 0 1 0 77587918 159883264 38676 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 39034 38676 608 696 0 38195 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 160328 KiB
Current children cumulated memory: 157648 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 87177
/proc/meminfo: memFree=129015096/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=156136 memory=154704 CPUtime=3572.72 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 64189 0 0 0 357245 27 0 0 20 0 1 0 77587918 159883264 38676 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 39034 38676 608 696 0 38195 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 160328 KiB
Current children cumulated memory: 157648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 87177
/proc/meminfo: memFree=129041180/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=156136 memory=154704 CPUtime=3600.05 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 64194 0 0 0 359978 27 0 0 20 0 1 0 77587918 159883264 38676 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 39034 38676 608 696 0 38195 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 160328 KiB
Current children cumulated memory: 157648 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.78 s, system=0.275568 s

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

[startup+3609.7 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 87177
/proc/meminfo: memFree=129041180/131250000 swapFree=33008356/33010684
[pid=86784] ppid=86781 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86784/stat : 86784 (naps-1.03a6.sh) S 86781 86784 85976 0 -1 4194304 230 202 0 0 0 0 0 0 20 0 1 0 77587916 4292608 736 18446744073709551615 94095400271872 94095401166405 140737337836896 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94095401405456 94095401453200 94095411040256 140737337842085 140737337842179 140737337842179 140737337847783 0
/proc/86784/statm: 1048 736 672 219 0 110 0
[pid=86788] ppid=86784 vsize=156136 memory=154704 CPUtime=3600.05 cores=4,6
/proc/86788/stat : 86788 (naps-1.03a6) R 86784 86784 85976 0 -1 4194304 64194 0 0 0 359978 27 0 0 20 0 1 0 77587918 159883264 38676 18446744073709551615 4198400 7047149 140722269425904 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 29315072 140722269432178 140722269432292 140722269432292 140722269437897 0
/proc/86788/statm: 39034 38676 608 696 0 38195 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 160328 KiB
Current children cumulated memory: 157648 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.06
CPU user time (s): 3599.78
CPU system time (s): 0.275568
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 167352
Max. memory (cumulated for all children) (KiB): 164516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 0.275568
maximum resident set size= 161572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64638
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= 159
involuntary context switches= 3043


# summary of solver processes directly reported to runsolver:
#   pid: 86784
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.78
#   total CPU system time (s): 0.275568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57474 second user time and 14.583 second system time

The end