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: 63931 MiB (61483 MiB free)
  memory of node 1: 64510 MiB (62263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434354-1721109313/watcher-4434354-1721109313 -o /tmp/evaluation-result-4434354-1721109313/solver-4434354-1721109313 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721109326-840861 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434354-1721109313.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
Linux 4.18.0-301.1.el8.x
solver pid=841073, runsolver pid=841065
Current StackSize limit: 8192 KiB


[startup+0.100701 s]*
/proc/loadavg: 1.14 1.22 1.85 7/264 841161
/proc/meminfo: memFree=126684404/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=4980 memory=3616 CPUtime=0.09 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 429 0 0 0 9 0 0 0 20 0 1 0 163101065 5099520 904 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 1245 904 596 659 0 449 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14912 KiB
Current children cumulated memory: 6324 KiB

[startup+0.20672 s]*
/proc/loadavg: 1.14 1.22 1.85 7/264 841161
/proc/meminfo: memFree=126629584/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=29728 memory=26100 CPUtime=0.19 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 5767 0 0 0 18 1 0 0 20 0 1 0 163101065 30441472 6525 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 7432 6525 612 659 0 6636 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39660 KiB
Current children cumulated memory: 28808 KiB

[startup+0.306721 s]*
/proc/loadavg: 1.14 1.22 1.85 7/264 841161
/proc/meminfo: memFree=126537336/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=97136 memory=91188 CPUtime=0.28 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 18755 0 0 0 25 3 0 0 20 0 1 0 163101065 99467264 22797 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 24284 22797 612 659 0 23488 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 107068 KiB
Current children cumulated memory: 93896 KiB

[startup+0.700257 s]
/proc/loadavg: 1.37 1.27 1.86 7/264 841161
/proc/meminfo: memFree=126377288/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=212720 memory=205932 CPUtime=0.67 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 36445 0 0 0 59 8 0 0 20 0 1 0 163101065 217825280 51483 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 53180 51483 644 659 0 52384 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 222652 KiB
Current children cumulated memory: 208640 KiB

[startup+1.50026 s]
/proc/loadavg: 1.37 1.27 1.86 6/264 841161
/proc/meminfo: memFree=126190140/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=230044 memory=221176 CPUtime=1.47 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 37679 0 0 0 139 8 0 0 20 0 1 0 163101065 235565056 55294 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 57511 55294 644 659 0 56715 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 239976 KiB
Current children cumulated memory: 223884 KiB

[startup+3.10614 s]
/proc/loadavg: 1.37 1.27 1.86 6/264 841161
/proc/meminfo: memFree=125693860/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=253072 memory=246300 CPUtime=3.07 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 40030 0 0 0 297 10 0 0 20 0 1 0 163101065 259145728 61575 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 63268 61575 644 659 0 62472 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 263004 KiB
Current children cumulated memory: 249008 KiB

[startup+6.30024 s]
/proc/loadavg: 1.66 1.33 1.87 6/264 841161
/proc/meminfo: memFree=124722172/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=355500 memory=313880 CPUtime=6.25 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 42784 0 0 0 612 13 0 0 20 0 1 0 163101065 364032000 78470 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 88875 78470 660 659 0 88079 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 365432 KiB
Current children cumulated memory: 316588 KiB

[startup+12.7003 s]
/proc/loadavg: 1.85 1.37 1.89 5/264 841213
/proc/meminfo: memFree=122935976/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=371880 memory=336020 CPUtime=12.64 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 43770 0 0 0 1250 14 0 0 20 0 1 0 163101065 380805120 84005 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 92970 84005 660 659 0 92174 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 381812 KiB
Current children cumulated memory: 338728 KiB

[startup+25.5003 s]
/proc/loadavg: 2.18 1.46 1.91 5/264 841214
/proc/meminfo: memFree=120407152/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=371880 memory=336048 CPUtime=25.4 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 43865 0 0 0 2526 14 0 0 20 0 1 0 163101065 380805120 84012 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 92970 84012 660 659 0 92174 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 381812 KiB
Current children cumulated memory: 338756 KiB

[startup+51.1062 s]
/proc/loadavg: 2.95 1.72 1.98 5/264 841219
/proc/meminfo: memFree=117868332/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=371880 memory=336048 CPUtime=50.92 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 43964 0 0 0 5078 14 0 0 20 0 1 0 163101065 380805120 84012 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 92970 84012 660 659 0 92174 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 381812 KiB
Current children cumulated memory: 338756 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.09 2.10 5/261 841227
/proc/meminfo: memFree=117864444/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=371880 memory=336048 CPUtime=101.94 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 44087 0 0 0 10180 14 0 0 20 0 1 0 163101065 380805120 84012 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 92970 84012 660 659 0 92174 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 381812 KiB
Current children cumulated memory: 338756 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.48 2.23 5/261 841239
/proc/meminfo: memFree=117117908/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=371880 memory=336060 CPUtime=161.75 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 44191 0 0 0 16160 15 0 0 20 0 1 0 163101065 380805120 84015 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 92970 84015 660 659 0 92174 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 381812 KiB
Current children cumulated memory: 338768 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 2.81 2.36 5/262 841419
/proc/meminfo: memFree=115367200/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=371880 memory=338332 CPUtime=221.55 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 44302 0 0 0 22140 15 0 0 20 0 1 0 163101065 380805120 84583 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 92970 84583 660 659 0 92174 0
Current children cumulated CPU time: 221.55 s

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

/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 44506 0 0 0 46059 15 0 0 20 0 1 0 163101065 380805120 84591 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 92970 84591 660 659 0 92174 0
Current children cumulated CPU time: 460.74 s
Current children cumulated vsize: 381812 KiB
Current children cumulated memory: 341072 KiB

[startup+522.3 s]
/proc/loadavg: 4.11 3.65 2.86 5/260 841488
/proc/meminfo: memFree=117633720/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=559196 memory=493508 CPUtime=520.54 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 58498 0 0 0 52023 31 0 0 20 0 1 0 163101065 572616704 123377 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 139799 123377 660 659 0 139003 0
Current children cumulated CPU time: 520.54 s
Current children cumulated vsize: 569128 KiB
Current children cumulated memory: 496216 KiB

[startup+582.3 s]
/proc/loadavg: 4.08 3.73 2.94 5/260 841498
/proc/meminfo: memFree=117526952/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=660424 memory=603792 CPUtime=580.35 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 67280 0 0 0 57993 42 0 0 20 0 1 0 163101065 676274176 150948 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 165106 150948 660 659 0 164310 0
Current children cumulated CPU time: 580.35 s
Current children cumulated vsize: 670356 KiB
Current children cumulated memory: 606500 KiB

[startup+642.3 s]
/proc/loadavg: 4.13 3.82 3.02 5/260 841508
/proc/meminfo: memFree=117442444/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=686392 memory=680408 CPUtime=640.15 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 75612 0 0 0 63961 54 0 0 20 0 1 0 163101065 702865408 170102 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 171598 170102 660 659 0 170802 0
Current children cumulated CPU time: 640.15 s
Current children cumulated vsize: 696324 KiB
Current children cumulated memory: 683116 KiB

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

# cumulated CPU time of all completed processes:  user=680.514 s, system=0.756084 s

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

[startup+665.6 s]
/proc/loadavg: 4.09 3.83 3.04 5/258 841511
/proc/meminfo: memFree=117334816/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=823620 memory=789596 CPUtime=663.38 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 85948 0 0 0 66268 70 0 0 20 0 1 0 163101065 843386880 197399 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 205905 197399 660 659 0 205109 0
Current children cumulated CPU time: 663.38 s
Current children cumulated vsize: 833552 KiB
Current children cumulated memory: 792304 KiB

[startup+672 s]*
/proc/loadavg: 4.16 3.85 3.06 5/258 841513
/proc/meminfo: memFree=117370928/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=784988 memory=751212 CPUtime=669.76 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 88347 0 0 0 66903 73 0 0 20 0 1 0 163101065 803827712 187803 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 196247 187803 660 659 0 195451 0
Current children cumulated CPU time: 669.76 s
Current children cumulated vsize: 794920 KiB
Current children cumulated memory: 753920 KiB

[startup+678.4 s]
/proc/loadavg: 4.14 3.85 3.07 5/258 841513
/proc/meminfo: memFree=117369084/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=784988 memory=751212 CPUtime=676.13 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 88347 0 0 0 67540 73 0 0 20 0 1 0 163101065 803827712 187803 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 196247 187803 660 659 0 195451 0
Current children cumulated CPU time: 676.13 s
Current children cumulated vsize: 794920 KiB
Current children cumulated memory: 753920 KiB

[startup+681.6 s]
/proc/loadavg: 4.13 3.86 3.07 5/258 841515
/proc/meminfo: memFree=117365812/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=785844 memory=752068 CPUtime=679.32 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 88924 0 0 0 67858 74 0 0 20 0 1 0 163101065 804704256 188017 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 196461 188017 660 659 0 195665 0
Current children cumulated CPU time: 679.32 s
Current children cumulated vsize: 795776 KiB
Current children cumulated memory: 754776 KiB

[startup+682.4 s]
/proc/loadavg: 4.13 3.86 3.07 5/258 841515
/proc/meminfo: memFree=117365824/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=785844 memory=752068 CPUtime=680.12 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 88924 0 0 0 67938 74 0 0 20 0 1 0 163101065 804704256 188017 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 196461 188017 660 659 0 195665 0
Current children cumulated CPU time: 680.12 s
Current children cumulated vsize: 795776 KiB
Current children cumulated memory: 754776 KiB

[startup+683.2 s]
/proc/loadavg: 4.13 3.86 3.07 5/258 841515
/proc/meminfo: memFree=117386084/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=785844 memory=752068 CPUtime=680.92 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 88924 0 0 0 68018 74 0 0 20 0 1 0 163101065 804704256 188017 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 196461 188017 660 659 0 195665 0
Current children cumulated CPU time: 680.92 s
Current children cumulated vsize: 795776 KiB
Current children cumulated memory: 754776 KiB

[startup+683.4 s]
/proc/loadavg: 4.13 3.86 3.07 5/258 841515
/proc/meminfo: memFree=117386084/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=785844 memory=752068 CPUtime=681.12 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 88924 0 0 0 68038 74 0 0 20 0 1 0 163101065 804704256 188017 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 196461 188017 660 659 0 195665 0
Current children cumulated CPU time: 681.12 s
Current children cumulated vsize: 795776 KiB
Current children cumulated memory: 754776 KiB

[startup+683.5 s]
/proc/loadavg: 4.13 3.86 3.07 5/258 841515
/proc/meminfo: memFree=117386084/131524600 swapFree=131071996/131071996
[pid=841073] ppid=841065 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/841073/stat : 841073 (naps-1.03.sh) S 841065 841073 840689 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 163101065 10170368 677 134679101440 94200221253632 94200222332952 140721844608976 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94200224431408 94200224478596 94200250417152 140721844618212 140721844618337 140721844618337 140721844625352 0
/proc/841073/statm: 2483 677 598 264 0 134 0
[pid=841090] ppid=841073 vsize=785844 memory=752068 CPUtime=681.22 cores=4,6
/proc/841090/stat : 841090 (naps-1.03) R 841073 841073 840689 0 -1 4194304 88924 0 0 0 68048 74 0 0 20 0 1 0 163101065 804704256 188017 134679101440 4194304 6891213 140721343767200 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 18423808 140721343771637 140721343771749 140721343771749 140721343778763 0
/proc/841090/statm: 196461 188017 660 659 0 195665 0
Current children cumulated CPU time: 681.22 s
Current children cumulated vsize: 795776 KiB
Current children cumulated memory: 754776 KiB

Child status: 30

Real time (s): 683.541
CPU time (s): 681.27
CPU user time (s): 680.514
CPU system time (s): 0.756084
CPU usage (%): 99.6677
Max. virtual memory (cumulated for all children) (KiB): 907752
Max. memory (cumulated for all children) (KiB): 860480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 680.514
system time used= 0.756084
maximum resident set size= 857772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89401
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= 320


# summary of solver processes directly reported to runsolver:
#   pid: 841073
#   total CPU time (s): 681.27
#   total CPU user time (s): 680.514
#   total CPU system time (s): 0.756084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50633 second user time and 3.56811 second system time

The end