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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463612-1722351866/watcher-4463612-1722351866 -o /tmp/evaluation-result-4463612-1722351866/solver-4463612-1722351866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722351866-13628 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463612-1722351866.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=13692, runsolver pid=13689
Current StackSize limit: 8192 KiB


[startup+0.100312 s]*
/proc/loadavg: 1.26 2.26 2.90 5/253 13707
/proc/meminfo: memFree=130047412/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=13444 memory=11792 CPUtime=0.09 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 2841 0 0 0 8 1 0 0 20 0 1 0 1557200 13766656 2948 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 3361 2948 596 659 0 2565 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23376 KiB
Current children cumulated memory: 14492 KiB

[startup+0.213595 s]*
/proc/loadavg: 1.26 2.26 2.90 5/253 13707
/proc/meminfo: memFree=130011884/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=31296 memory=28988 CPUtime=0.2 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 7700 0 0 0 18 2 0 0 20 0 1 0 1557200 32047104 7247 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 7824 7247 612 659 0 7028 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41228 KiB
Current children cumulated memory: 31688 KiB

[startup+0.313716 s]*
/proc/loadavg: 1.26 2.26 2.90 5/253 13707
/proc/meminfo: memFree=130001304/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=35192 memory=33160 CPUtime=0.3 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 9057 0 0 0 27 3 0 0 20 0 1 0 1557200 36036608 8290 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 8798 8290 612 659 0 8002 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45124 KiB
Current children cumulated memory: 35860 KiB

[startup+0.70047 s]
/proc/loadavg: 1.26 2.26 2.90 5/253 13707
/proc/meminfo: memFree=129964840/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=61980 memory=57780 CPUtime=0.67 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 15191 0 0 0 62 5 0 0 20 0 1 0 1557200 63467520 14445 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 15495 14445 644 659 0 14699 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71912 KiB
Current children cumulated memory: 60480 KiB

[startup+1.50037 s]
/proc/loadavg: 1.26 2.26 2.90 5/253 13707
/proc/meminfo: memFree=129943364/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=76124 memory=72256 CPUtime=1.47 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 21202 0 0 0 140 7 0 0 20 0 1 0 1557200 77950976 18064 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 19031 18064 660 659 0 18235 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86056 KiB
Current children cumulated memory: 74956 KiB

[startup+3.11313 s]
/proc/loadavg: 1.48 2.29 2.91 5/253 13707
/proc/meminfo: memFree=129927104/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=70412 memory=66856 CPUtime=3.08 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 23846 0 0 0 300 8 0 0 20 0 1 0 1557200 72101888 16714 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 17603 16714 660 659 0 16807 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80344 KiB
Current children cumulated memory: 69556 KiB

[startup+6.30032 s]
/proc/loadavg: 1.48 2.29 2.91 5/253 13707
/proc/meminfo: memFree=129919148/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=70412 memory=67384 CPUtime=6.26 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 23950 0 0 0 618 8 0 0 20 0 1 0 1557200 72101888 16846 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 17603 16846 660 659 0 16807 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80344 KiB
Current children cumulated memory: 70084 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 2.35 2.92 5/253 13709
/proc/meminfo: memFree=129912656/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=78604 memory=68028 CPUtime=12.64 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 24111 0 0 0 1256 8 0 0 20 0 1 0 1557200 80490496 17007 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 19651 17007 660 659 0 18855 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 88536 KiB
Current children cumulated memory: 70728 KiB

[startup+25.5004 s]
/proc/loadavg: 2.27 2.42 2.94 5/253 13710
/proc/meminfo: memFree=129891124/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=81252 memory=70644 CPUtime=25.41 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 24781 0 0 0 2533 8 0 0 20 0 1 0 1557200 83202048 17661 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 20313 17661 660 659 0 19517 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 91184 KiB
Current children cumulated memory: 73344 KiB

[startup+51.1123 s]
/proc/loadavg: 2.86 2.55 2.97 5/253 13715
/proc/meminfo: memFree=129854184/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=94384 memory=83752 CPUtime=50.96 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 29908 0 0 0 5085 11 0 0 20 0 1 0 1557200 96649216 20938 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 23596 20938 660 659 0 22800 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 104316 KiB
Current children cumulated memory: 86452 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.81 3.03 5/248 13724
/proc/meminfo: memFree=129832104/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=96628 memory=86004 CPUtime=102.02 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 41700 0 0 0 10184 18 0 0 20 0 1 0 1557200 98947072 21501 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 24157 21501 660 659 0 23361 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 106560 KiB
Current children cumulated memory: 88704 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 3.04 3.10 5/248 13735
/proc/meminfo: memFree=129799136/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=101384 memory=90672 CPUtime=161.87 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 43439 0 0 0 16168 19 0 0 20 0 1 0 1557200 103817216 22668 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 25346 22668 660 659 0 24550 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 111316 KiB
Current children cumulated memory: 93372 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.25 3.17 5/248 13746
/proc/meminfo: memFree=129769368/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=121736 memory=112764 CPUtime=221.72 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 45007 0 0 0 22153 19 0 0 20 0 1 0 1557200 124657664 28191 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 30434 28191 660 659 0 29638 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 131668 KiB

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

/proc/loadavg: 4.15 4.12 4.06 5/244 15263
/proc/meminfo: memFree=129267544/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=258952 memory=247504 CPUtime=3094.8 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 272981 0 0 0 309125 355 0 0 20 0 1 0 1557200 265166848 61876 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 64738 61876 660 659 0 63942 0
Current children cumulated CPU time: 3094.8 s
Current children cumulated vsize: 268884 KiB
Current children cumulated memory: 250204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.24 4.16 4.08 5/244 15273
/proc/meminfo: memFree=129238832/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=265848 memory=254400 CPUtime=3154.66 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 276372 0 0 0 315102 364 0 0 20 0 1 0 1557200 272228352 63600 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 66462 63600 660 659 0 65666 0
Current children cumulated CPU time: 3154.66 s
Current children cumulated vsize: 275780 KiB
Current children cumulated memory: 257100 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.08 5/244 15283
/proc/meminfo: memFree=129288956/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=260424 memory=248976 CPUtime=3214.52 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 280062 0 0 0 321081 371 0 0 20 0 1 0 1557200 266674176 62244 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 65106 62244 660 659 0 64310 0
Current children cumulated CPU time: 3214.52 s
Current children cumulated vsize: 270356 KiB
Current children cumulated memory: 251676 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.08 5/246 15463
/proc/meminfo: memFree=129252276/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=264944 memory=253496 CPUtime=3274.37 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 283541 0 0 0 327059 378 0 0 20 0 1 0 1557200 271302656 63374 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 66236 63374 660 659 0 65440 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 274876 KiB
Current children cumulated memory: 256196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.09 5/246 15475
/proc/meminfo: memFree=129235404/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=263060 memory=251612 CPUtime=3334.22 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 286545 0 0 0 333036 386 0 0 20 0 1 0 1557200 269373440 62903 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 65765 62903 660 659 0 64969 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 272992 KiB
Current children cumulated memory: 254312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/246 15500
/proc/meminfo: memFree=129268612/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=262324 memory=250876 CPUtime=3394.08 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 290099 0 0 0 339013 395 0 0 20 0 1 0 1557200 268619776 62719 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 65581 62719 660 659 0 64785 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 272256 KiB
Current children cumulated memory: 253576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/246 15510
/proc/meminfo: memFree=129332288/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=257748 memory=246300 CPUtime=3453.93 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 293564 0 0 0 344991 402 0 0 20 0 1 0 1557200 263933952 61575 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 64437 61575 660 659 0 63641 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 267680 KiB
Current children cumulated memory: 249000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/246 15521
/proc/meminfo: memFree=129240624/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=264460 memory=253012 CPUtime=3513.79 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 296091 0 0 0 350971 408 0 0 20 0 1 0 1557200 270807040 63253 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 66115 63253 660 659 0 65319 0
Current children cumulated CPU time: 3513.79 s
Current children cumulated vsize: 274392 KiB
Current children cumulated memory: 255712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/244 15531
/proc/meminfo: memFree=129263788/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=266672 memory=255224 CPUtime=3573.66 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 299276 0 0 0 356951 415 0 0 20 0 1 0 1557200 273072128 63806 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 66668 63806 660 659 0 65872 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 276604 KiB
Current children cumulated memory: 257924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.19 4.13 4.10 5/244 15535
/proc/meminfo: memFree=129267176/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=267400 memory=255952 CPUtime=3600 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 300594 0 0 0 359582 418 0 0 20 0 1 0 1557200 273817600 63988 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 66850 63988 660 659 0 66054 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 277332 KiB
Current children cumulated memory: 258652 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3595.83 s, system=4.1872 s

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

[startup+3608.7 s]
/proc/loadavg: 4.19 4.13 4.10 5/244 15535
/proc/meminfo: memFree=129267176/131655788 swapFree=131071216/131071996
[pid=13692] ppid=13689 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/13692/stat : 13692 (naps-1.03.sh) S 13689 13692 13617 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 1557199 10170368 675 134679101440 94544021266432 94544022345752 140725480772928 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94544024444208 94544024491396 94544046886912 140725480780775 140725480780900 140725480780900 140725480787912 0
/proc/13692/statm: 2483 675 597 264 0 134 0
[pid=13697] ppid=13692 vsize=267400 memory=255952 CPUtime=3600 cores=4,6
/proc/13697/stat : 13697 (naps-1.03a2) R 13692 13692 13617 0 -1 4194304 300594 0 0 0 359582 418 0 0 20 0 1 0 1557200 273817600 63988 134679101440 4194304 6891597 140734489532912 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20819968 140734489535474 140734489535588 140734489535588 140734489542601 0
/proc/13697/statm: 66850 63988 660 659 0 66054 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 277332 KiB
Current children cumulated memory: 258652 KiB

Child status: 10

Real time (s): 3608.7
CPU time (s): 3600.01
CPU user time (s): 3595.83
CPU system time (s): 4.1872
CPU usage (%): 99.7592
Max. virtual memory (cumulated for all children) (KiB): 414344
Max. memory (cumulated for all children) (KiB): 387728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.83
system time used= 4.1872
maximum resident set size= 391000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301069
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= 49
involuntary context switches= 2645


# summary of solver processes directly reported to runsolver:
#   pid: 13692
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3595.83
#   total CPU system time (s): 4.1872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8329 second user time and 34.9453 second system time

The end