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: 63968 MiB (54985 MiB free)
  memory of node 1: 64473 MiB (56131 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461325-1722076762/watcher-4461325-1722076762 -o /tmp/evaluation-result-4461325-1722076762/solver-4461325-1722076762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722076558-326025 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461325-1722076762.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=326830, runsolver pid=326827

[startup+0.100093 s]*
/proc/loadavg: 4.38 2.75 2.51 5/259 326835
/proc/meminfo: memFree=113749356/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=31336 memory=29572 CPUtime=0.09 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 7990 0 0 0 8 1 0 0 20 0 1 0 44204128 32088064 7393 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 7834 7393 644 659 0 7038 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41268 KiB
Current children cumulated memory: 32324 KiB

[startup+0.206004 s]*
/proc/loadavg: 4.38 2.75 2.51 5/259 326835
/proc/meminfo: memFree=113817660/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=36440 memory=34092 CPUtime=0.2 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 9151 0 0 0 19 1 0 0 20 0 1 0 44204128 37314560 8523 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 9110 8523 644 659 0 8314 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46372 KiB
Current children cumulated memory: 36844 KiB

[startup+0.305966 s]*
/proc/loadavg: 4.38 2.75 2.51 5/259 326835
/proc/meminfo: memFree=113840896/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=38012 memory=35752 CPUtime=0.3 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 12043 0 0 0 28 2 0 0 20 0 1 0 44204128 38924288 8938 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 9503 8938 660 659 0 8707 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47944 KiB
Current children cumulated memory: 38504 KiB

[startup+0.700273 s]
/proc/loadavg: 4.38 2.75 2.51 5/259 326835
/proc/meminfo: memFree=113751136/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=45604 memory=42600 CPUtime=0.69 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 13588 0 0 0 67 2 0 0 20 0 1 0 44204128 46698496 10650 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 11401 10650 660 659 0 10605 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55536 KiB
Current children cumulated memory: 45352 KiB

[startup+1.50028 s]
/proc/loadavg: 4.38 2.75 2.51 5/259 326835
/proc/meminfo: memFree=113623164/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=43664 memory=39184 CPUtime=1.48 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 14022 0 0 0 146 2 0 0 20 0 1 0 44204128 44711936 9796 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 10916 9796 660 659 0 10120 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53596 KiB
Current children cumulated memory: 41936 KiB

[startup+3.1058 s]
/proc/loadavg: 4.35 2.77 2.52 5/259 326835
/proc/meminfo: memFree=113297520/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=43664 memory=41232 CPUtime=3.08 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 14034 0 0 0 306 2 0 0 20 0 1 0 44204128 44711936 10308 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 10916 10308 660 659 0 10120 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53596 KiB
Current children cumulated memory: 43984 KiB

[startup+6.30025 s]
/proc/loadavg: 4.35 2.77 2.52 5/259 326836
/proc/meminfo: memFree=112228368/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=43664 memory=41232 CPUtime=6.27 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 14034 0 0 0 625 2 0 0 20 0 1 0 44204128 44711936 10308 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 10916 10308 660 659 0 10120 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53596 KiB
Current children cumulated memory: 43984 KiB

[startup+12.7003 s]
/proc/loadavg: 4.32 2.79 2.53 5/259 326836
/proc/meminfo: memFree=112006408/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=51760 memory=49060 CPUtime=12.66 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 15517 0 0 0 1263 3 0 0 20 0 1 0 44204128 53002240 12265 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 12940 12265 660 659 0 12144 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 61692 KiB
Current children cumulated memory: 51812 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 2.85 2.55 5/259 326839
/proc/meminfo: memFree=110419760/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=55648 memory=52892 CPUtime=25.41 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 16725 0 0 0 2538 3 0 0 20 0 1 0 44204128 56983552 13223 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 13912 13223 660 659 0 13116 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 65580 KiB
Current children cumulated memory: 55644 KiB

[startup+51.106 s]
/proc/loadavg: 4.23 2.96 2.60 5/259 326943
/proc/meminfo: memFree=108178364/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=64444 memory=61724 CPUtime=50.95 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 19273 0 0 0 5091 4 0 0 20 0 1 0 44204128 65990656 15431 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 16111 15431 660 659 0 15315 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 74376 KiB
Current children cumulated memory: 64476 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 3.14 2.68 4/260 326957
/proc/meminfo: memFree=86628436/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=77028 memory=74580 CPUtime=102 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 21932 0 0 0 10195 5 0 0 20 0 1 0 44204128 78876672 18645 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 19257 18645 660 659 0 18461 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 86960 KiB
Current children cumulated memory: 77332 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 3.36 2.78 5/260 327027
/proc/meminfo: memFree=117085844/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=115188 memory=113216 CPUtime=161.83 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 26564 0 0 0 16176 7 0 0 20 0 1 0 44204128 117952512 28304 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 28797 28304 660 659 0 28001 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 125120 KiB
Current children cumulated memory: 115968 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 3.51 2.87 5/260 327037
/proc/meminfo: memFree=116971136/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=115188 memory=113260 CPUtime=221.69 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 26610 0 0 0 22162 7 0 0 20 0 1 0 44204128 117952512 28315 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 28797 28315 660 659 0 28001 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 125120 KiB

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

/proc/loadavg: 4.09 4.12 4.05 5/258 328677
/proc/meminfo: memFree=116378620/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=377708 memory=375616 CPUtime=3033.76 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 159710 0 0 0 303146 230 0 0 20 0 1 0 44204128 386772992 93904 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 94427 93904 660 659 0 93631 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 387640 KiB
Current children cumulated memory: 378368 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.06 5/261 328747
/proc/meminfo: memFree=116423344/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=336312 memory=334220 CPUtime=3093.61 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 162907 0 0 0 309123 238 0 0 20 0 1 0 44204128 344383488 83555 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 84078 83555 660 659 0 83282 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 346244 KiB
Current children cumulated memory: 336972 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/261 328759
/proc/meminfo: memFree=116345060/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=406176 memory=356252 CPUtime=3153.46 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 165465 0 0 0 315104 242 0 0 20 0 1 0 44204128 415924224 89063 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 101544 89063 660 659 0 100748 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 416108 KiB
Current children cumulated memory: 359004 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/260 328769
/proc/meminfo: memFree=116337008/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=323988 memory=321896 CPUtime=3213.3 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 167915 0 0 0 321083 247 0 0 20 0 1 0 44204128 331763712 80474 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 80997 80474 660 659 0 80201 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 333920 KiB
Current children cumulated memory: 324648 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/260 328781
/proc/meminfo: memFree=116408700/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=331828 memory=329736 CPUtime=3273.14 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 170180 0 0 0 327063 251 0 0 20 0 1 0 44204128 339791872 82434 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 82957 82434 660 659 0 82161 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 341760 KiB
Current children cumulated memory: 332488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/260 328791
/proc/meminfo: memFree=116254732/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=351060 memory=348968 CPUtime=3332.99 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 173105 0 0 0 333044 255 0 0 20 0 1 0 44204128 359485440 87242 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 87765 87242 660 659 0 86969 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 360992 KiB
Current children cumulated memory: 351720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/256 328801
/proc/meminfo: memFree=116308228/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=341580 memory=339488 CPUtime=3392.83 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 175188 0 0 0 339024 259 0 0 20 0 1 0 44204128 349777920 84872 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 85395 84872 660 659 0 84599 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 351512 KiB
Current children cumulated memory: 342240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/256 328813
/proc/meminfo: memFree=116335520/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=332656 memory=330564 CPUtime=3452.68 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 178844 0 0 0 345002 266 0 0 20 0 1 0 44204128 340639744 82641 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 83164 82641 660 659 0 82368 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 342588 KiB
Current children cumulated memory: 333316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/257 328824
/proc/meminfo: memFree=116334060/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=329592 memory=327500 CPUtime=3512.52 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 182637 0 0 0 350980 272 0 0 20 0 1 0 44204128 337502208 81875 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 82398 81875 660 659 0 81602 0
Current children cumulated CPU time: 3512.52 s
Current children cumulated vsize: 339524 KiB
Current children cumulated memory: 330252 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.14 4.08 5/256 328834
/proc/meminfo: memFree=116323164/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=332748 memory=330656 CPUtime=3572.37 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 186210 0 0 0 356956 281 0 0 20 0 1 0 44204128 340733952 82664 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 83187 82664 660 659 0 82391 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 342680 KiB
Current children cumulated memory: 333408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.13 4.12 4.08 5/256 328839
/proc/meminfo: memFree=116360332/131524600 swapFree=131060368/131071996
[pid=326830] ppid=326827 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/326830/stat : 326830 (naps-1.03.sh) S 326827 326830 326013 0 -1 4194304 223 239 0 0 0 0 0 0 20 0 1 0 44204127 10170368 688 134679101440 94657666437120 94657667516440 140725350545568 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94657669614896 94657669662084 94657697701888 140725350552549 140725350552674 140725350552674 140725350559688 0
/proc/326830/statm: 2483 688 611 264 0 134 0
[pid=326835] ppid=326830 vsize=334036 memory=331944 CPUtime=3600 cores=1,3
/proc/326835/stat : 326835 (naps-1.03) R 326830 326830 326013 0 -1 4194304 188217 0 0 0 359715 285 0 0 20 0 1 0 44204128 342052864 82986 134679101440 4194304 6891597 140721592015616 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16142336 140721592022006 140721592022118 140721592022118 140721592029131 0
/proc/326835/statm: 83509 82986 660 659 0 82713 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 343968 KiB
Current children cumulated memory: 334696 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.16 s, system=2.86013 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.02
CPU user time (s): 3597.16
CPU system time (s): 2.86013
CPU usage (%): 99.7232
Max. virtual memory (cumulated for all children) (KiB): 606136
Max. memory (cumulated for all children) (KiB): 595556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.16
system time used= 2.86013
maximum resident set size= 592804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188694
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= 50
involuntary context switches= 1726


# summary of solver processes directly reported to runsolver:
#   pid: 326830
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3597.16
#   total CPU system time (s): 2.86013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97243 second user time and 16.8533 second system time

The end