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

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

solver pid=80390, runsolver pid=80387

[startup+0.100099 s]*
/proc/loadavg: 4.10 4.04 3.19 5/249 80395
/proc/meminfo: memFree=87204580/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=16516 memory=9772 CPUtime=0.1 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 2115 0 0 0 10 0 0 0 20 0 1 0 7913146 16912384 2443 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 4129 2443 436 659 0 3333 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26448 KiB
Current children cumulated memory: 12444 KiB

[startup+0.21383 s]*
/proc/loadavg: 4.10 4.04 3.19 5/249 80395
/proc/meminfo: memFree=87197056/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=23728 memory=17112 CPUtime=0.21 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 4081 0 0 0 21 0 0 0 20 0 1 0 7913146 24297472 4278 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 5932 4278 436 659 0 5136 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33660 KiB
Current children cumulated memory: 19784 KiB

[startup+0.313748 s]*
/proc/loadavg: 4.10 4.04 3.19 5/249 80395
/proc/meminfo: memFree=87190680/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=29168 memory=23216 CPUtime=0.31 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 5731 0 0 0 30 1 0 0 20 0 1 0 7913146 29868032 5804 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 7292 5804 436 659 0 6496 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39100 KiB
Current children cumulated memory: 25888 KiB

[startup+0.700408 s]
/proc/loadavg: 4.10 4.04 3.19 5/249 80395
/proc/meminfo: memFree=87173664/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=61548 memory=55484 CPUtime=0.68 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 13982 0 0 0 66 2 0 0 20 0 1 0 7913146 63025152 13871 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 15387 13871 468 659 0 14591 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 58156 KiB

[startup+1.50041 s]
/proc/loadavg: 4.10 4.04 3.19 5/249 80395
/proc/meminfo: memFree=87158172/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=70712 memory=61768 CPUtime=1.48 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 17227 0 0 0 145 3 0 0 20 0 1 0 7913146 72409088 15442 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 17678 15442 468 659 0 16882 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 64440 KiB

[startup+3.1137 s]
/proc/loadavg: 4.10 4.04 3.19 5/249 80397
/proc/meminfo: memFree=87150648/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=70712 memory=61768 CPUtime=3.09 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 17232 0 0 0 306 3 0 0 20 0 1 0 7913146 72409088 15442 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 17678 15442 468 659 0 16882 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 64440 KiB

[startup+6.3004 s]
/proc/loadavg: 4.10 4.03 3.19 5/249 80397
/proc/meminfo: memFree=89200664/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=70712 memory=61768 CPUtime=6.27 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 17238 0 0 0 624 3 0 0 20 0 1 0 7913146 72409088 15442 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 17678 15442 468 659 0 16882 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 64440 KiB

[startup+12.7004 s]
/proc/loadavg: 4.09 4.03 3.20 5/247 80398
/proc/meminfo: memFree=88901848/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=556112 memory=518628 CPUtime=12.66 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 58835 0 0 0 1249 17 0 0 20 0 1 0 7913146 569458688 129657 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 139028 129657 468 659 0 138232 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 566044 KiB
Current children cumulated memory: 521300 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.05 3.22 5/247 80400
/proc/meminfo: memFree=84765884/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=4928540 memory=4550476 CPUtime=25.42 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 444050 0 0 0 2414 128 0 0 20 0 1 0 7913146 5046824960 1137619 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 1232135 1137619 468 659 0 1231339 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4938472 KiB
Current children cumulated memory: 4553148 KiB

[startup+51.114 s]
/proc/loadavg: 4.09 4.04 3.24 5/247 80404
/proc/meminfo: memFree=82044160/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=8010988 memory=7127120 CPUtime=50.97 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 673301 0 0 0 4888 209 0 0 20 0 1 0 7913146 8203251712 1781780 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 2002747 1781780 468 659 0 2001951 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 8020920 KiB
Current children cumulated memory: 7129792 KiB

[startup+102.306 s]
/proc/loadavg: 4.23 4.08 3.30 5/247 80414
/proc/meminfo: memFree=76553092/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=8052720 memory=7250308 CPUtime=102.02 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 742041 0 0 0 9949 253 0 0 20 0 1 0 7913146 8245985280 1812577 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 2013180 1812577 468 659 0 2012384 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 8062652 KiB
Current children cumulated memory: 7252980 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.10 3.35 5/248 80582
/proc/meminfo: memFree=98448180/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=11981404 memory=10872496 CPUtime=161.85 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 1104986 0 0 0 15801 384 0 0 20 0 1 0 7913146 12268957696 2718124 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 2995351 2718124 468 659 0 2994555 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 11991336 KiB
Current children cumulated memory: 10875168 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 3.40 5/248 80791
/proc/meminfo: memFree=97146808/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=15632144 memory=13983604 CPUtime=221.68 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 1443298 0 0 0 21671 497 0 0 20 0 1 0 7913146 16007315456 3495901 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 3908036 3495901 468 659 0 3907240 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 15642076 KiB
Current children cumulated memory: 13986276 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.10 3.45 5/248 80801
/proc/meminfo: memFree=87169268/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=15603264 memory=13961732 CPUtime=281.51 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 1474210 0 0 0 27603 548 0 0 20 0 1 0 7913146 15977742336 3490433 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 3900816 3490433 468 659 0 3900020 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 15613196 KiB
Current children cumulated memory: 13964404 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.11 3.50 5/247 81195
/proc/meminfo: memFree=83166344/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=18299240 memory=16055336 CPUtime=341.34 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 1661464 0 0 0 33496 638 0 0 20 0 1 0 7913146 18738421760 4013834 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 4574810 4013834 468 659 0 4574014 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16058008 KiB

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

# cumulated CPU time of all completed processes:  user=336.176 s, system=6.74192 s

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

[startup+342.4 s]
/proc/loadavg: 4.17 4.11 3.50 5/247 81195
/proc/meminfo: memFree=83166344/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=18299240 memory=16055336 CPUtime=341.44 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 1661464 0 0 0 33506 638 0 0 20 0 1 0 7913146 18738421760 4013834 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 4574810 4013834 468 659 0 4574014 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16058008 KiB

[startup+343.2 s]
/proc/loadavg: 4.17 4.11 3.50 5/247 81195
/proc/meminfo: memFree=83141712/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
[pid=80395] ppid=80390 vsize=18299240 memory=16055336 CPUtime=342.24 cores=5,7
/proc/80395/stat : 80395 (naps-1.03) R 80390 80390 79038 0 -1 4194304 1661471 0 0 0 33586 638 0 0 20 0 1 0 7913146 18738421760 4013834 134679101440 4194304 6891213 140729407531824 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 31248384 140729407538160 140729407538276 140729407538276 140729407545291 0
/proc/80395/statm: 4574810 4013834 468 659 0 4574014 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 18309172 KiB
Current children cumulated memory: 16058008 KiB

[startup+343.6 s]
/proc/loadavg: 4.17 4.11 3.50 5/247 81195
/proc/meminfo: memFree=83141712/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2672 KiB

[startup+343.8 s]
/proc/loadavg: 4.17 4.11 3.50 5/247 81195
/proc/meminfo: memFree=83141712/131655788 swapFree=131071996/131071996
[pid=80390] ppid=80387 vsize=9932 memory=2672 CPUtime=0 cores=5,7
/proc/80390/stat : 80390 (naps-1.03.sh) S 80387 80390 79038 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 7913146 10170368 668 134679101440 94918187053056 94918188132376 140720330391264 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94918190230832 94918190278020 94918214459392 140720330396639 140720330396768 140720330396768 140720330403784 0
/proc/80390/statm: 2483 668 588 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2672 KiB

Child status: 30

Real time (s): 343.869
CPU time (s): 342.918
CPU user time (s): 336.176
CPU system time (s): 6.74192
CPU usage (%): 99.7235
Max. virtual memory (cumulated for all children) (KiB): 19171692
Max. memory (cumulated for all children) (KiB): 16538288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 336.176
system time used= 6.74192
maximum resident set size= 16535616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1661950
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= 447


# summary of solver processes directly reported to runsolver:
#   pid: 80390
#   total CPU time (s): 342.918
#   total CPU user time (s): 336.176
#   total CPU system time (s): 6.74192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.95156 second user time and 3.58496 second system time

The end