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: 64096 MiB (63144 MiB free)
  memory of node 1: 64473 MiB (63882 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463609-1722351866/watcher-4463609-1722351866 -o /tmp/evaluation-result-4463609-1722351866/solver-4463609-1722351866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722351866-13630 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463609-1722351866.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=13673, runsolver pid=13667
Current StackSize limit: 8192 KiB


[startup+0.100768 s]*
/proc/loadavg: 1.26 2.26 2.90 6/253 13707
/proc/meminfo: memFree=130053796/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=12672 memory=11140 CPUtime=0.09 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 2575 0 0 0 9 0 0 0 20 0 1 0 1557198 12976128 2785 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 3168 2785 612 659 0 2372 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22604 KiB
Current children cumulated memory: 13948 KiB

[startup+0.21485 s]*
/proc/loadavg: 1.26 2.26 2.90 5/253 13707
/proc/meminfo: memFree=130013584/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=18336 memory=16616 CPUtime=0.21 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 4130 0 0 0 20 1 0 0 20 0 1 0 1557198 18776064 4154 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 4584 4154 644 659 0 3788 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28268 KiB
Current children cumulated memory: 19424 KiB

[startup+0.314742 s]*
/proc/loadavg: 1.26 2.26 2.90 6/253 13707
/proc/meminfo: memFree=130001680/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=19712 memory=17936 CPUtime=0.31 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 4474 0 0 0 30 1 0 0 20 0 1 0 1557198 20185088 4484 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 4928 4484 644 659 0 4132 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29644 KiB
Current children cumulated memory: 20744 KiB

[startup+0.70045 s]
/proc/loadavg: 1.26 2.26 2.90 6/253 13707
/proc/meminfo: memFree=129965512/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=23640 memory=21068 CPUtime=0.68 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 7053 0 0 0 66 2 0 0 20 0 1 0 1557198 24207360 5267 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 5910 5267 660 659 0 5114 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 23876 KiB

[startup+1.50045 s]
/proc/loadavg: 1.26 2.26 2.90 6/253 13707
/proc/meminfo: memFree=129947064/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=19928 memory=17956 CPUtime=1.47 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 7744 0 0 0 145 2 0 0 20 0 1 0 1557198 20406272 4489 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 4982 4489 660 659 0 4186 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 29860 KiB
Current children cumulated memory: 20764 KiB

[startup+3.11367 s]
/proc/loadavg: 1.48 2.29 2.91 6/253 13707
/proc/meminfo: memFree=129927780/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=22996 memory=20856 CPUtime=3.08 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 8523 0 0 0 306 2 0 0 20 0 1 0 1557198 23547904 5214 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 5749 5214 660 659 0 4953 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32928 KiB
Current children cumulated memory: 23664 KiB

[startup+6.30033 s]
/proc/loadavg: 1.48 2.29 2.91 6/253 13707
/proc/meminfo: memFree=129919148/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=24640 memory=22672 CPUtime=6.25 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 9462 0 0 0 623 2 0 0 20 0 1 0 1557198 25231360 5668 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 6160 5668 660 659 0 5364 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 34572 KiB
Current children cumulated memory: 25480 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 2.35 2.92 6/253 13709
/proc/meminfo: memFree=129912656/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=26604 memory=24468 CPUtime=12.64 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 13482 0 0 0 1261 3 0 0 20 0 1 0 1557198 27242496 6117 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 6651 6117 660 659 0 5855 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 36536 KiB
Current children cumulated memory: 27276 KiB

[startup+25.5004 s]
/proc/loadavg: 2.27 2.42 2.94 6/253 13710
/proc/meminfo: memFree=129891108/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=31324 memory=29220 CPUtime=25.4 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 19461 0 0 0 2536 4 0 0 20 0 1 0 1557198 32075776 7305 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 7831 7305 660 659 0 7035 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 41256 KiB
Current children cumulated memory: 32028 KiB

[startup+51.1134 s]
/proc/loadavg: 2.86 2.55 2.97 6/253 13715
/proc/meminfo: memFree=129854184/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=36680 memory=34632 CPUtime=50.96 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 23600 0 0 0 5090 6 0 0 20 0 1 0 1557198 37560320 8658 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 9170 8658 660 659 0 8374 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 37440 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.81 3.03 6/248 13724
/proc/meminfo: memFree=129832104/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=53272 memory=51396 CPUtime=102.01 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 29536 0 0 0 10194 7 0 0 20 0 1 0 1557198 54550528 12849 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 13318 12849 660 659 0 12522 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 63204 KiB
Current children cumulated memory: 54204 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 3.04 3.10 6/248 13735
/proc/meminfo: memFree=129799136/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=59052 memory=57472 CPUtime=161.85 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 33594 0 0 0 16176 9 0 0 20 0 1 0 1557198 60469248 14368 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 14763 14368 660 659 0 13967 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 60280 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.25 3.17 6/248 13746
/proc/meminfo: memFree=129769368/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=61060 memory=59628 CPUtime=221.7 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 34127 0 0 0 22161 9 0 0 20 0 1 0 1557198 62525440 14907 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 15265 14907 660 659 0 14469 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 70992 KiB

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

/proc/loadavg: 4.15 4.12 4.06 6/244 15263
/proc/meminfo: memFree=129267544/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=163896 memory=162468 CPUtime=3093.98 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 110575 0 0 0 309324 74 0 0 20 0 1 0 1557198 167829504 40617 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 40974 40617 660 659 0 40178 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 173828 KiB
Current children cumulated memory: 165276 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.16 4.08 6/244 15273
/proc/meminfo: memFree=129238832/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=187256 memory=185920 CPUtime=3153.82 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 111399 0 0 0 315308 74 0 0 20 0 1 0 1557198 191750144 46480 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 46814 46480 660 659 0 46018 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 197188 KiB
Current children cumulated memory: 188728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.08 6/244 15283
/proc/meminfo: memFree=129288956/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=135672 memory=134372 CPUtime=3213.67 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 112630 0 0 0 321291 76 0 0 20 0 1 0 1557198 138928128 33593 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 33918 33593 660 659 0 33122 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 145604 KiB
Current children cumulated memory: 137180 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.08 6/246 15463
/proc/meminfo: memFree=129252276/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=155696 memory=152828 CPUtime=3273.51 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 118399 0 0 0 327270 81 0 0 20 0 1 0 1557198 159432704 38207 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 38924 38207 660 659 0 38128 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 165628 KiB
Current children cumulated memory: 155636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.09 6/246 15475
/proc/meminfo: memFree=129235404/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=155544 memory=152676 CPUtime=3333.35 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 120142 0 0 0 333251 84 0 0 20 0 1 0 1557198 159277056 38169 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 38886 38169 660 659 0 38090 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 165476 KiB
Current children cumulated memory: 155484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/246 15500
/proc/meminfo: memFree=129268612/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=146944 memory=143104 CPUtime=3393.19 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 123647 0 0 0 339232 87 0 0 20 0 1 0 1557198 150470656 35776 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 36736 35776 660 659 0 35940 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 156876 KiB
Current children cumulated memory: 145912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/246 15510
/proc/meminfo: memFree=129332288/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=138912 memory=137612 CPUtime=3453.04 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 125226 0 0 0 345215 89 0 0 20 0 1 0 1557198 142245888 34403 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 34728 34403 660 659 0 33932 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 148844 KiB
Current children cumulated memory: 140420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/246 15521
/proc/meminfo: memFree=129240624/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=201432 memory=197628 CPUtime=3512.88 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 128870 0 0 0 351195 93 0 0 20 0 1 0 1557198 206266368 49407 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 50358 49407 660 659 0 49562 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 211364 KiB
Current children cumulated memory: 200436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/244 15531
/proc/meminfo: memFree=129263788/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=174180 memory=170424 CPUtime=3572.73 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 131031 0 0 0 357177 96 0 0 20 0 1 0 1557198 178360320 42606 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 43545 42606 660 659 0 42749 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 184112 KiB
Current children cumulated memory: 173232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.19 4.13 4.10 6/241 15550
/proc/meminfo: memFree=129522552/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=179632 memory=175988 CPUtime=3600.05 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 131052 0 0 0 359908 97 0 0 20 0 1 0 1557198 183943168 43997 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 44908 43997 660 659 0 44112 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 189564 KiB
Current children cumulated memory: 178796 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.09 s, system=0.981084 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.19 4.13 4.10 6/241 15550
/proc/meminfo: memFree=129522552/131655788 swapFree=131071216/131071996
[pid=13673] ppid=13667 vsize=9932 memory=2808 CPUtime=0 cores=5,7
/proc/13673/stat : 13673 (naps-1.03.sh) S 13667 13673 13617 0 -1 4194304 221 239 0 0 0 0 0 0 20 0 1 0 1557197 10170368 702 134679101440 94301833424896 94301834504216 140726682028688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94301836602672 94301836649860 94301838639104 140726682031079 140726682031204 140726682031204 140726682038216 0
/proc/13673/statm: 2483 702 624 264 0 134 0
[pid=13683] ppid=13673 vsize=179632 memory=175988 CPUtime=3600.05 cores=5,7
/proc/13683/stat : 13683 (naps-1.03a2) R 13673 13673 13617 0 -1 4194304 131052 0 0 0 359908 97 0 0 20 0 1 0 1557198 183943168 43997 134679101440 4194304 6891597 140725259788960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 30265344 140725259793394 140725259793508 140725259793508 140725259800521 0
/proc/13683/statm: 44908 43997 660 659 0 44112 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 189564 KiB
Current children cumulated memory: 178796 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.07
CPU user time (s): 3599.09
CPU system time (s): 0.981084
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 250700
Max. memory (cumulated for all children) (KiB): 242016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 0.981084
maximum resident set size= 239208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131527
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= 42
involuntary context switches= 5281


# summary of solver processes directly reported to runsolver:
#   pid: 13673
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 0.981084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6298 second user time and 38.5599 second system time

The end