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: 64059 MiB (48717 MiB free)
  memory of node 1: 64510 MiB (25903 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463824-1722352812/watcher-4463824-1722352812 -o /tmp/evaluation-result-4463824-1722352812/solver-4463824-1722352812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722352577-13563 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463824-1722352812.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
Current StackSize limit: 8192 KiB

solver pid=14584, runsolver pid=14581

[startup+0.100096 s]*
/proc/loadavg: 4.25 2.88 2.29 5/250 14589
/proc/meminfo: memFree=76406600/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=10984 memory=4696 CPUtime=0.1 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 828 0 0 0 10 0 0 0 20 0 1 0 1876805 11247616 1174 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 2746 1174 436 659 0 1950 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20916 KiB
Current children cumulated memory: 7388 KiB

[startup+0.213601 s]*
/proc/loadavg: 4.25 2.88 2.29 5/250 14589
/proc/meminfo: memFree=76400716/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=13920 memory=7332 CPUtime=0.21 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1553 0 0 0 21 0 0 0 20 0 1 0 1876805 14254080 1833 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 3480 1833 436 659 0 2684 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23852 KiB
Current children cumulated memory: 10024 KiB

[startup+0.313459 s]*
/proc/loadavg: 4.25 2.88 2.29 5/250 14589
/proc/meminfo: memFree=76393316/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=16516 memory=9772 CPUtime=0.3 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 2172 0 0 0 30 0 0 0 20 0 1 0 1876805 16912384 2443 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 4129 2443 436 659 0 3333 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26448 KiB
Current children cumulated memory: 12464 KiB

[startup+0.700411 s]
/proc/loadavg: 4.25 2.88 2.29 5/250 14589
/proc/meminfo: memFree=76385784/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=28508 memory=23348 CPUtime=0.68 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 5290 0 0 0 66 2 0 0 20 0 1 0 1876805 29192192 5837 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 7127 5837 436 659 0 6331 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38440 KiB
Current children cumulated memory: 26040 KiB

[startup+1.50044 s]
/proc/loadavg: 4.23 2.90 2.30 5/250 14589
/proc/meminfo: memFree=76342792/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=52784 memory=46444 CPUtime=1.48 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 13908 0 0 0 145 3 0 0 20 0 1 0 1876805 54050816 11611 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 13196 11611 468 659 0 12400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62716 KiB
Current children cumulated memory: 49136 KiB

[startup+3.11321 s]
/proc/loadavg: 4.23 2.90 2.30 5/250 14589
/proc/meminfo: memFree=76263916/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=70712 memory=59640 CPUtime=3.09 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 17188 0 0 0 305 4 0 0 20 0 1 0 1876805 72409088 14910 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 17678 14910 468 659 0 16882 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 62332 KiB

[startup+6.30042 s]
/proc/loadavg: 4.21 2.92 2.31 5/250 14589
/proc/meminfo: memFree=76201508/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=70712 memory=59640 CPUtime=6.27 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 17195 0 0 0 623 4 0 0 20 0 1 0 1876805 72409088 14910 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 17678 14910 468 659 0 16882 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 62332 KiB

[startup+12.7004 s]
/proc/loadavg: 4.19 2.93 2.32 5/250 14591
/proc/meminfo: memFree=75052788/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=289976 memory=278152 CPUtime=12.66 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 47843 0 0 0 1255 11 0 0 20 0 1 0 1876805 296935424 69538 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 72494 69538 468 659 0 71698 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 299908 KiB
Current children cumulated memory: 280844 KiB

[startup+25.5005 s]
/proc/loadavg: 4.16 2.97 2.33 5/250 14592
/proc/meminfo: memFree=71000320/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=4516276 memory=4076864 CPUtime=25.43 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 396954 0 0 0 2425 118 0 0 20 0 1 0 1876805 4624666624 1019216 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 1129069 1019216 468 659 0 1128273 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4526208 KiB
Current children cumulated memory: 4079556 KiB

[startup+51.1135 s]
/proc/loadavg: 4.23 3.10 2.40 5/249 14597
/proc/meminfo: memFree=64888616/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=7905928 memory=6966656 CPUtime=50.98 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 658355 0 0 0 4899 199 0 0 20 0 1 0 1876805 8095670272 1741664 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 1976482 1741664 468 659 0 1975686 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 7915860 KiB
Current children cumulated memory: 6969348 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 3.28 2.50 5/248 14606
/proc/meminfo: memFree=61547524/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=7993196 memory=7161552 CPUtime=102.03 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 732678 0 0 0 9955 248 0 0 20 0 1 0 1876805 8185032704 1790388 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 1998299 1790388 468 659 0 1997503 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 8003128 KiB
Current children cumulated memory: 7164244 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 3.42 2.60 5/250 14676
/proc/meminfo: memFree=80073816/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=11981404 memory=10888312 CPUtime=161.88 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1110112 0 0 0 15809 379 0 0 20 0 1 0 1876805 12268957696 2722078 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 2995351 2722078 468 659 0 2994555 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 11991336 KiB
Current children cumulated memory: 10891004 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.56 2.70 5/250 14687
/proc/meminfo: memFree=74485092/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=15632144 memory=13977672 CPUtime=221.73 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1446021 0 0 0 21679 494 0 0 20 0 1 0 1876805 16007315456 3494418 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 3908036 3494418 468 659 0 3907240 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 15642076 KiB
Current children cumulated memory: 13980364 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.66 2.79 5/250 14697
/proc/meminfo: memFree=74340152/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=14742644 memory=13344884 CPUtime=281.58 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1451809 0 0 0 27629 529 0 0 20 0 1 0 1876805 15096467456 3336221 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 3685661 3336221 468 659 0 3684865 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 14752576 KiB
Current children cumulated memory: 13347576 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.75 2.88 5/250 15096
/proc/meminfo: memFree=71833084/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=18268420 memory=15934856 CPUtime=341.44 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1657710 0 0 0 33512 632 0 0 20 0 1 0 1876805 18706862080 3983714 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 4567105 3983714 468 659 0 4566309 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 18278352 KiB
Current children cumulated memory: 15937548 KiB

[startup+351.694 s]
# the end of solver process 14584 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=344.111 s, system=6.70904 s

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

[startup+345.6 s]
/proc/loadavg: 4.13 3.75 2.88 5/250 15096
/proc/meminfo: memFree=71672672/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=18429468 memory=16110752 CPUtime=344.72 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1659365 0 0 0 33837 635 0 0 20 0 1 0 1876805 18871775232 4027688 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 4607367 4027688 468 659 0 4606571 0
Current children cumulated CPU time: 344.72 s
Current children cumulated vsize: 18439400 KiB
Current children cumulated memory: 16113444 KiB

[startup+348.8 s]
/proc/loadavg: 4.20 3.78 2.89 5/250 15097
/proc/meminfo: memFree=71613644/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=18299240 memory=16056600 CPUtime=347.92 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1659670 0 0 0 34155 637 0 0 20 0 1 0 1876805 18738421760 4014150 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 4574810 4014150 468 659 0 4574014 0
Current children cumulated CPU time: 347.92 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16059292 KiB

[startup+350.4 s]
/proc/loadavg: 4.20 3.78 2.89 5/250 15097
/proc/meminfo: memFree=71670976/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=18299240 memory=16056600 CPUtime=349.51 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1659682 0 0 0 34314 637 0 0 20 0 1 0 1876805 18738421760 4014150 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 4574810 4014150 468 659 0 4574014 0
Current children cumulated CPU time: 349.51 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16059292 KiB

[startup+351.2 s]
/proc/loadavg: 4.18 3.78 2.90 5/250 15097
/proc/meminfo: memFree=71671004/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
[pid=14589] ppid=14584 vsize=18299240 memory=16056600 CPUtime=350.31 cores=4,6
/proc/14589/stat : 14589 (naps-1.03a2) R 14584 14584 13552 0 -1 4194304 1659682 0 0 0 34394 637 0 0 20 0 1 0 1876805 18738421760 4014150 134679101440 4194304 6891597 140731913426720 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 34488320 140731913429994 140731913430112 140731913430112 140731913437129 0
/proc/14589/statm: 4574810 4014150 468 659 0 4574014 0
Current children cumulated CPU time: 350.31 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16059292 KiB

[startup+351.6 s]
/proc/loadavg: 4.18 3.78 2.90 5/250 15097
/proc/meminfo: memFree=71671004/131655788 swapFree=131071996/131071996
[pid=14584] ppid=14581 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/14584/stat : 14584 (naps-1.03.sh) S 14581 14584 13552 0 -1 4194304 219 237 0 0 0 0 0 0 20 0 1 0 1876804 10170368 673 134679101440 94498115485696 94498116565016 140724740186112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94498118663472 94498118710660 94498146136064 140724740195295 140724740195424 140724740195424 140724740202440 0
/proc/14584/statm: 2483 673 594 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2692 KiB

Child status: 30

Real time (s): 351.694
CPU time (s): 350.82
CPU user time (s): 344.111
CPU system time (s): 6.70904
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 19171692
Max. memory (cumulated for all children) (KiB): 16539460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.111
system time used= 6.70904
maximum resident set size= 16536768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1660154
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= 12
involuntary context switches= 494


# summary of solver processes directly reported to runsolver:
#   pid: 14584
#   total CPU time (s): 350.82
#   total CPU user time (s): 344.111
#   total CPU system time (s): 6.70904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.80476 second user time and 3.79287 second system time

The end