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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447341-1721352019/watcher-4447341-1721352019 -o /tmp/evaluation-result-4447341-1721352019/solver-4447341-1721352019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721351488-989673 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4447341-1721352019.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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=990144, runsolver pid=990141
Current StackSize limit: 8192 KiB


[startup+0.100169 s]*
/proc/loadavg: 4.11 3.93 3.90 5/260 990149
/proc/meminfo: memFree=126755248/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=7980 memory=7108 CPUtime=0.09 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 1573 0 0 0 9 0 0 0 20 0 1 0 187370785 8171520 1777 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 1995 1777 421 379 0 1529 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 17912 KiB
Current children cumulated memory: 9836 KiB

[startup+0.20617 s]*
/proc/loadavg: 4.11 3.93 3.90 5/260 990149
/proc/meminfo: memFree=126754252/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=9276 memory=8160 CPUtime=0.19 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 1822 0 0 0 19 0 0 0 20 0 1 0 187370785 9498624 2040 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 2319 2040 421 379 0 1853 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19208 KiB
Current children cumulated memory: 10888 KiB

[startup+0.305674 s]*
/proc/loadavg: 4.11 3.93 3.90 5/260 990149
/proc/meminfo: memFree=126753216/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=10568 memory=8952 CPUtime=0.29 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 2044 0 0 0 29 0 0 0 20 0 1 0 187370785 10821632 2238 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 2642 2238 421 379 0 2176 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20500 KiB
Current children cumulated memory: 11680 KiB

[startup+0.700267 s]
/proc/loadavg: 4.11 3.93 3.90 5/260 990149
/proc/meminfo: memFree=126749964/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=13372 memory=11372 CPUtime=0.68 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 3168 0 0 0 68 0 0 0 20 0 1 0 187370785 13692928 2843 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 3343 2843 421 379 0 2877 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23304 KiB
Current children cumulated memory: 14100 KiB

[startup+1.50027 s]
/proc/loadavg: 4.11 3.93 3.90 5/260 990149
/proc/meminfo: memFree=126711620/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=20580 memory=17320 CPUtime=1.47 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 3951 0 0 0 147 0 0 0 20 0 1 0 187370785 21073920 4330 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 5145 4330 421 379 0 4679 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 20048 KiB

[startup+3.10563 s]
/proc/loadavg: 4.10 3.93 3.90 5/260 990149
/proc/meminfo: memFree=126851232/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=32072 memory=22176 CPUtime=3.07 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 4507 0 0 0 307 0 0 0 20 0 1 0 187370785 32841728 5544 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 8018 5544 421 379 0 7552 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 24904 KiB

[startup+6.30025 s]
/proc/loadavg: 4.10 3.93 3.90 5/260 990149
/proc/meminfo: memFree=126783752/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=32072 memory=29640 CPUtime=6.26 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 4858 0 0 0 626 0 0 0 20 0 1 0 187370785 32841728 7410 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 8018 7410 421 379 0 7552 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42004 KiB
Current children cumulated memory: 32368 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 3.93 3.91 5/260 990150
/proc/meminfo: memFree=126713784/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=34864 memory=33472 CPUtime=12.64 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 5320 0 0 0 1264 0 0 0 20 0 1 0 187370785 35700736 8368 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 8716 8368 421 379 0 8250 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 44796 KiB
Current children cumulated memory: 36200 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 3.95 3.91 5/262 990157
/proc/meminfo: memFree=126576664/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=81552 memory=61588 CPUtime=25.41 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 7211 0 0 0 2540 1 0 0 20 0 1 0 187370785 83509248 15397 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 20388 15397 421 379 0 19922 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 91484 KiB
Current children cumulated memory: 64316 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 3.96 3.91 5/262 990161
/proc/meminfo: memFree=126411836/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=81552 memory=62184 CPUtime=50.95 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 7751 0 0 0 5092 3 0 0 20 0 1 0 187370785 83509248 15546 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 20388 15546 421 379 0 19922 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 91484 KiB
Current children cumulated memory: 64912 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.98 3.93 5/263 990171
/proc/meminfo: memFree=126374692/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=161692 memory=124300 CPUtime=102.03 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 10056 0 0 0 10194 9 0 0 20 0 1 0 187370785 165572608 31075 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 40423 31075 421 379 0 39957 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 171624 KiB
Current children cumulated memory: 127028 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.02 3.94 5/263 990182
/proc/meminfo: memFree=126557576/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=81552 memory=62184 CPUtime=161.87 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 12252 0 0 0 16173 14 0 0 20 0 1 0 187370785 83509248 15546 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 20388 15546 421 379 0 19922 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 91484 KiB
Current children cumulated memory: 64912 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.03 3.95 5/263 990293
/proc/meminfo: memFree=126763848/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=130872 memory=110216 CPUtime=221.73 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 13970 0 0 0 22153 20 0 0 20 0 1 0 187370785 134012928 27554 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 32718 27554 421 379 0 32252 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 140804 KiB
Current children cumulated memory: 112944 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.05 3.97 5/263 990303
/proc/meminfo: memFree=126568284/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=161692 memory=114084 CPUtime=281.56 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 17581 0 0 0 28132 24 0 0 20 0 1 0 187370785 165572608 28521 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 40423 28521 421 379 0 39957 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 171624 KiB
Current children cumulated memory: 116812 KiB

[startup+315.524 s]
# the end of solver process 990144 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=314.428 s, system=0.267643 s

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

[startup+294.4 s]
/proc/loadavg: 4.12 4.05 3.97 5/263 990305
/proc/meminfo: memFree=126637668/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=161692 memory=140960 CPUtime=293.62 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 17594 0 0 0 29338 24 0 0 20 0 1 0 187370785 165572608 35240 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 40423 35240 421 379 0 39957 0
Current children cumulated CPU time: 293.62 s
Current children cumulated vsize: 171624 KiB
Current children cumulated memory: 143688 KiB

[startup+307.2 s]
/proc/loadavg: 4.09 4.04 3.97 5/262 990306
/proc/meminfo: memFree=126622320/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=81552 memory=64508 CPUtime=306.39 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 18413 0 0 0 30614 25 0 0 20 0 1 0 187370785 83509248 16127 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 20388 16127 421 379 0 19922 0
Current children cumulated CPU time: 306.39 s
Current children cumulated vsize: 91484 KiB
Current children cumulated memory: 67236 KiB

[startup+310.4 s]
/proc/loadavg: 4.09 4.04 3.97 5/262 990308
/proc/meminfo: memFree=126574656/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=130872 memory=101892 CPUtime=309.57 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 18565 0 0 0 30932 25 0 0 20 0 1 0 187370785 134012928 25473 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 32718 25473 421 379 0 32252 0
Current children cumulated CPU time: 309.57 s
Current children cumulated vsize: 140804 KiB
Current children cumulated memory: 104620 KiB

[startup+313.6 s]
/proc/loadavg: 4.08 4.04 3.97 5/262 990308
/proc/meminfo: memFree=126520212/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=130872 memory=112132 CPUtime=312.77 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 18570 0 0 0 31251 26 0 0 20 0 1 0 187370785 134012928 28033 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 32718 28033 421 379 0 32252 0
Current children cumulated CPU time: 312.77 s
Current children cumulated vsize: 140804 KiB
Current children cumulated memory: 114860 KiB

[startup+314.4 s]
/proc/loadavg: 4.08 4.04 3.97 5/262 990308
/proc/meminfo: memFree=126512032/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=130872 memory=112132 CPUtime=313.57 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 18579 0 0 0 31331 26 0 0 20 0 1 0 187370785 134012928 28033 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 32718 28033 421 379 0 32252 0
Current children cumulated CPU time: 313.57 s
Current children cumulated vsize: 140804 KiB
Current children cumulated memory: 114860 KiB

[startup+315.2 s]
/proc/loadavg: 4.08 4.04 3.97 5/262 990308
/proc/meminfo: memFree=126540852/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=130872 memory=113624 CPUtime=314.36 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 18958 0 0 0 31410 26 0 0 20 0 1 0 187370785 134012928 28406 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 32718 28406 421 379 0 32252 0
Current children cumulated CPU time: 314.36 s
Current children cumulated vsize: 140804 KiB
Current children cumulated memory: 116352 KiB

[startup+315.4 s]
/proc/loadavg: 4.08 4.04 3.97 5/262 990308
/proc/meminfo: memFree=126540852/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=161692 memory=113952 CPUtime=314.56 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 19068 0 0 0 31430 26 0 0 20 0 1 0 187370785 165572608 28488 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 40423 28488 421 379 0 39957 0
Current children cumulated CPU time: 314.56 s
Current children cumulated vsize: 171624 KiB
Current children cumulated memory: 116680 KiB

[startup+315.5 s]
/proc/loadavg: 4.08 4.04 3.97 5/262 990308
/proc/meminfo: memFree=126540852/131524600 swapFree=131071996/131071996
[pid=990144] ppid=990141 vsize=9932 memory=2728 CPUtime=0 cores=4,6
/proc/990144/stat : 990144 (naps-1.02b5.sh) S 990141 990144 989662 0 -1 4194304 222 241 0 0 0 0 0 0 20 0 1 0 187370784 10170368 682 134679101440 94534267555840 94534268635160 140735021865904 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94534270733616 94534270780804 94534297378816 140735021867999 140735021868126 140735021868126 140735021875142 0
/proc/990144/statm: 2483 682 603 264 0 134 0
[pid=990149] ppid=990144 vsize=161692 memory=114212 CPUtime=314.66 cores=4,6
/proc/990149/stat : 990149 (naps-1.02b5) R 990144 990144 989662 0 -1 4194304 19123 0 0 0 31440 26 0 0 20 0 1 0 187370785 165572608 28553 134679101440 4194304 5746509 140733880392400 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14241792 140733880394734 140733880394848 140733880394848 140733880401865 0
/proc/990149/statm: 40423 28553 421 379 0 39957 0
Current children cumulated CPU time: 314.66 s
Current children cumulated vsize: 171624 KiB
Current children cumulated memory: 116940 KiB

Child status: 20

Real time (s): 315.524
CPU time (s): 314.696
CPU user time (s): 314.428
CPU system time (s): 0.267643
CPU usage (%): 99.7376
Max. virtual memory (cumulated for all children) (KiB): 221712
Max. memory (cumulated for all children) (KiB): 157148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.428
system time used= 0.267643
maximum resident set size= 154420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19619
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= 344


# summary of solver processes directly reported to runsolver:
#   pid: 990144
#   total CPU time (s): 314.696
#   total CPU user time (s): 314.428
#   total CPU system time (s): 0.267643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.687524 second user time and 1.57602 second system time

The end