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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456316-1721719221/watcher-4456316-1721719221 -o /tmp/evaluation-result-4456316-1721719221/solver-4456316-1721719221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721718429-79328 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4456316-1721719221.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=80506, runsolver pid=80503
Current StackSize limit: 8192 KiB


[startup+0.100806 s]*
/proc/loadavg: 4.17 4.01 3.12 5/251 80511
/proc/meminfo: memFree=92417296/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=7004 memory=5512 CPUtime=0.09 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 963 0 0 0 9 0 0 0 20 0 1 0 7911342 7172096 1378 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 1751 1378 580 659 0 955 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16936 KiB
Current children cumulated memory: 8216 KiB

[startup+0.216817 s]*
/proc/loadavg: 4.17 4.01 3.12 5/251 80511
/proc/meminfo: memFree=92413936/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=10416 memory=8872 CPUtime=0.19 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 1921 0 0 0 19 0 0 0 20 0 1 0 7911342 10665984 2218 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 2604 2218 580 659 0 1808 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 20348 KiB
Current children cumulated memory: 11576 KiB

[startup+0.3139 s]*
/proc/loadavg: 4.17 4.01 3.12 5/251 80511
/proc/meminfo: memFree=92409324/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=14944 memory=13004 CPUtime=0.29 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 3218 0 0 0 28 1 0 0 20 0 1 0 7911342 15302656 3251 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 3736 3251 580 659 0 2940 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24876 KiB
Current children cumulated memory: 15708 KiB

[startup+0.700406 s]
/proc/loadavg: 4.17 4.01 3.12 5/251 80511
/proc/meminfo: memFree=92405500/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=28288 memory=26104 CPUtime=0.66 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 6970 0 0 0 64 2 0 0 20 0 1 0 7911342 28966912 6526 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 7072 6526 580 659 0 6276 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 38220 KiB
Current children cumulated memory: 28808 KiB

[startup+1.50042 s]
/proc/loadavg: 4.17 4.01 3.12 5/251 80511
/proc/meminfo: memFree=92385312/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=57988 memory=56056 CPUtime=1.46 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 14468 0 0 0 142 4 0 0 20 0 1 0 7911342 59379712 14014 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 14497 14014 612 659 0 13701 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 67920 KiB
Current children cumulated memory: 58760 KiB

[startup+3.11346 s]
/proc/loadavg: 4.24 4.03 3.13 5/251 80513
/proc/meminfo: memFree=92365968/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=57988 memory=56056 CPUtime=3.07 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 14468 0 0 0 303 4 0 0 20 0 1 0 7911342 59379712 14014 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 14497 14014 612 659 0 13701 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 67920 KiB
Current children cumulated memory: 58760 KiB

[startup+6.3004 s]
/proc/loadavg: 4.24 4.03 3.13 5/251 80513
/proc/meminfo: memFree=91941676/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=504448 memory=479832 CPUtime=6.25 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 65670 0 0 0 607 18 0 0 20 0 1 0 7911342 516554752 119958 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 126112 119958 644 659 0 125316 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 514380 KiB
Current children cumulated memory: 482536 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.03 3.13 5/251 80514
/proc/meminfo: memFree=90467260/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2740036 memory=2560576 CPUtime=12.63 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 203526 0 0 0 1177 86 0 0 20 0 1 0 7911342 2805796864 640144 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 685009 640144 644 659 0 684213 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2749968 KiB
Current children cumulated memory: 2563280 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.03 3.15 5/251 80516
/proc/meminfo: memFree=89819568/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2792708 memory=2597728 CPUtime=25.39 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 208348 0 0 0 2451 88 0 0 20 0 1 0 7911342 2859732992 649432 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 698177 649432 644 659 0 697381 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2802640 KiB
Current children cumulated memory: 2600432 KiB

[startup+51.1137 s]
/proc/loadavg: 4.26 4.06 3.18 5/251 80519
/proc/meminfo: memFree=89604176/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=3005792 memory=2810952 CPUtime=50.93 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 209840 0 0 0 4999 94 0 0 20 0 1 0 7911342 3077931008 702738 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 751448 702738 644 659 0 750652 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3015724 KiB
Current children cumulated memory: 2813656 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.06 3.23 5/251 80580
/proc/meminfo: memFree=116070836/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=3073220 memory=2639248 CPUtime=101.97 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 233746 0 0 0 9983 214 0 0 20 0 1 0 7911342 3146977280 659812 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 768305 659812 660 659 0 767509 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3083152 KiB
Current children cumulated memory: 2641952 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.06 3.29 5/251 80591
/proc/meminfo: memFree=116377852/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2386788 memory=1996880 CPUtime=161.79 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 247916 0 0 0 15930 249 0 0 20 0 1 0 7911342 2444070912 499220 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 596697 499220 660 659 0 595901 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2396720 KiB
Current children cumulated memory: 1999584 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.10 3.35 5/251 80601
/proc/meminfo: memFree=116056180/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2460488 memory=2320020 CPUtime=221.61 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 256819 0 0 0 21883 278 0 0 20 0 1 0 7911342 2519539712 580005 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615122 580005 660 659 0 614326 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2470420 KiB

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

/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 313014 0 0 0 75481 522 0 0 20 0 1 0 7911342 2796957696 580586 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 682851 580586 660 659 0 682055 0
Current children cumulated CPU time: 760.03 s
Current children cumulated vsize: 2741336 KiB
Current children cumulated memory: 2325048 KiB

[startup+822.3 s]
/proc/loadavg: 4.16 4.13 3.75 5/247 81315
/proc/meminfo: memFree=112869968/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2731404 memory=2322344 CPUtime=819.87 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 313301 0 0 0 81464 523 0 0 20 0 1 0 7911342 2796957696 580586 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 682851 580586 660 659 0 682055 0
Current children cumulated CPU time: 819.87 s
Current children cumulated vsize: 2741336 KiB
Current children cumulated memory: 2325048 KiB

[startup+882.3 s]
/proc/loadavg: 4.12 4.12 3.77 5/247 81326
/proc/meminfo: memFree=112468552/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2731680 memory=2322648 CPUtime=879.69 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 318508 0 0 0 87410 559 0 0 20 0 1 0 7911342 2797240320 580662 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 682920 580662 660 659 0 682124 0
Current children cumulated CPU time: 879.69 s
Current children cumulated vsize: 2741612 KiB
Current children cumulated memory: 2325352 KiB

[startup+942.3 s]
/proc/loadavg: 4.15 4.12 3.80 5/246 81339
/proc/meminfo: memFree=112468492/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461428 memory=2321004 CPUtime=939.51 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 320581 0 0 0 93382 569 0 0 20 0 1 0 7911342 2520502272 580251 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615357 580251 660 659 0 614561 0
Current children cumulated CPU time: 939.51 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2323708 KiB

[startup+1002.3 s]
/proc/loadavg: 4.15 4.13 3.83 5/246 81349
/proc/meminfo: memFree=111710172/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461428 memory=2321004 CPUtime=999.34 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 326224 0 0 0 99347 587 0 0 20 0 1 0 7911342 2520502272 580251 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615357 580251 660 659 0 614561 0
Current children cumulated CPU time: 999.34 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2323708 KiB

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

# cumulated CPU time of all completed processes:  user=1007.83 s, system=5.95893 s

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

[startup+1004.8 s]
/proc/loadavg: 4.30 4.16 3.84 5/246 81349
/proc/meminfo: memFree=111612272/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461428 memory=2321004 CPUtime=1001.84 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 326224 0 0 0 99597 587 0 0 20 0 1 0 7911342 2520502272 580251 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615357 580251 660 659 0 614561 0
Current children cumulated CPU time: 1001.84 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2323708 KiB

[startup+1011.2 s]
/proc/loadavg: 4.28 4.16 3.84 5/246 81349
/proc/meminfo: memFree=107047496/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2627764 memory=2487172 CPUtime=1008.22 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 326981 0 0 0 100232 590 0 0 20 0 1 0 7911342 2690830336 621793 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 656941 621793 660 659 0 656145 0
Current children cumulated CPU time: 1008.22 s
Current children cumulated vsize: 2637696 KiB
Current children cumulated memory: 2489876 KiB

[startup+1014.4 s]
/proc/loadavg: 4.26 4.15 3.84 5/246 81351
/proc/meminfo: memFree=107071440/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461404 memory=2320988 CPUtime=1011.42 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 327027 0 0 0 100551 591 0 0 20 0 1 0 7911342 2520477696 580247 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615351 580247 660 659 0 614555 0
Current children cumulated CPU time: 1011.42 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2323692 KiB

[startup+1016 s]*
/proc/loadavg: 4.26 4.15 3.84 5/246 81351
/proc/meminfo: memFree=107071288/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461404 memory=2320988 CPUtime=1013.03 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 327027 0 0 0 100712 591 0 0 20 0 1 0 7911342 2520477696 580247 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615351 580247 660 659 0 614555 0
Current children cumulated CPU time: 1013.03 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2323692 KiB

[startup+1016.4 s]
/proc/loadavg: 4.26 4.15 3.84 5/246 81351
/proc/meminfo: memFree=107071288/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461404 memory=2320988 CPUtime=1013.41 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 327031 0 0 0 100750 591 0 0 20 0 1 0 7911342 2520477696 580247 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615351 580247 660 659 0 614555 0
Current children cumulated CPU time: 1013.41 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2323692 KiB

[startup+1016.6 s]
/proc/loadavg: 4.26 4.15 3.84 5/246 81351
/proc/meminfo: memFree=107071288/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461404 memory=2320988 CPUtime=1013.61 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 327091 0 0 0 100770 591 0 0 20 0 1 0 7911342 2520477696 580247 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615351 580247 660 659 0 614555 0
Current children cumulated CPU time: 1013.61 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2323692 KiB

[startup+1016.7 s]
/proc/loadavg: 4.26 4.15 3.84 5/246 81351
/proc/meminfo: memFree=107071288/131655788 swapFree=131071996/131071996
[pid=80506] ppid=80503 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/80506/stat : 80506 (naps-1.03.sh) S 80503 80506 79315 0 -1 4194304 221 238 0 0 0 0 0 0 20 0 1 0 7911342 10170368 676 134679101440 94822589120512 94822590199832 140724033054688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94822592298288 94822592345476 94822607179776 140724033061859 140724033061984 140724033061984 140724033069000 0
/proc/80506/statm: 2483 676 598 264 0 134 0
[pid=80511] ppid=80506 vsize=2461404 memory=2320988 CPUtime=1013.71 cores=5,7
/proc/80511/stat : 80511 (naps-1.03) R 80506 80506 79315 0 -1 4194304 327118 0 0 0 100780 591 0 0 20 0 1 0 7911342 2520477696 580247 134679101440 4194304 6891213 140727760237232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36528128 140727760241652 140727760241764 140727760241764 140727760248779 0
/proc/80511/statm: 615351 580247 660 659 0 614555 0
Current children cumulated CPU time: 1013.71 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2323692 KiB

Child status: 30

Real time (s): 1016.76
CPU time (s): 1013.79
CPU user time (s): 1007.83
CPU system time (s): 5.95893
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (KiB): 4059508
Max. memory (cumulated for all children) (KiB): 3618216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1007.83
system time used= 5.95893
maximum resident set size= 3615512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327594
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= 541


# summary of solver processes directly reported to runsolver:
#   pid: 80506
#   total CPU time (s): 1013.79
#   total CPU user time (s): 1007.83
#   total CPU system time (s): 5.95893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96137 second user time and 10.974 second system time

The end