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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434216-1721099508/watcher-4434216-1721099508 -o /tmp/evaluation-result-4434216-1721099508/solver-4434216-1721099508 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721092181-834580 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434216-1721099508.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
Current StackSize limit: 8192 KiB

solver pid=838888, runsolver pid=838885

[startup+0.100098 s]*
/proc/loadavg: 4.13 4.20 4.18 5/261 838893
/proc/meminfo: memFree=119576908/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=28792 memory=26556 CPUtime=0.1 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 6962 0 0 0 9 1 0 0 20 0 1 0 162121393 29483008 6639 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 7198 6639 644 659 0 6402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38724 KiB
Current children cumulated memory: 29304 KiB

[startup+0.206206 s]*
/proc/loadavg: 4.13 4.20 4.18 5/261 838893
/proc/meminfo: memFree=119575088/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=30392 memory=27612 CPUtime=0.2 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 7233 0 0 0 19 1 0 0 20 0 1 0 162121393 31121408 6903 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 7598 6903 644 659 0 6802 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40324 KiB
Current children cumulated memory: 30360 KiB

[startup+0.306243 s]*
/proc/loadavg: 4.12 4.19 4.18 5/261 838893
/proc/meminfo: memFree=119654168/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=32712 memory=29924 CPUtime=0.3 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 7304 0 0 0 29 1 0 0 20 0 1 0 162121393 33497088 7481 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 8178 7481 644 659 0 7382 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 32672 KiB

[startup+0.700276 s]
/proc/loadavg: 4.12 4.19 4.18 5/261 838893
/proc/meminfo: memFree=119649156/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=40092 memory=37248 CPUtime=0.69 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 10714 0 0 0 67 2 0 0 20 0 1 0 162121393 41054208 9312 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 10023 9312 660 659 0 9227 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50024 KiB
Current children cumulated memory: 39996 KiB

[startup+1.50028 s]
/proc/loadavg: 4.12 4.19 4.18 5/261 838893
/proc/meminfo: memFree=119641228/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=36020 memory=33956 CPUtime=1.48 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 11489 0 0 0 146 2 0 0 20 0 1 0 162121393 36884480 8489 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 9005 8489 660 659 0 8209 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45952 KiB
Current children cumulated memory: 36704 KiB

[startup+3.10602 s]
/proc/loadavg: 4.12 4.19 4.18 5/261 838893
/proc/meminfo: memFree=119646756/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=38952 memory=36852 CPUtime=3.09 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 12226 0 0 0 307 2 0 0 20 0 1 0 162121393 39886848 9213 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 9738 9213 660 659 0 8942 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48884 KiB
Current children cumulated memory: 39600 KiB

[startup+6.30027 s]
/proc/loadavg: 4.11 4.19 4.18 5/261 838893
/proc/meminfo: memFree=119636128/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=46992 memory=44840 CPUtime=6.27 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 13728 0 0 0 625 2 0 0 20 0 1 0 162121393 48119808 11210 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 11748 11210 660 659 0 10952 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 56924 KiB
Current children cumulated memory: 47588 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.19 4.17 5/261 838894
/proc/meminfo: memFree=119536496/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=47256 memory=45708 CPUtime=12.65 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 16778 0 0 0 1262 3 0 0 20 0 1 0 162121393 48390144 11427 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 11814 11427 660 659 0 11018 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57188 KiB
Current children cumulated memory: 48456 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.18 4.17 5/261 838897
/proc/meminfo: memFree=119638416/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=44492 memory=43156 CPUtime=25.42 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 18902 0 0 0 2538 4 0 0 20 0 1 0 162121393 45559808 10789 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 11123 10789 660 659 0 10327 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 54424 KiB
Current children cumulated memory: 45904 KiB

[startup+51.1061 s]
/proc/loadavg: 4.11 4.18 4.17 5/261 838902
/proc/meminfo: memFree=119549632/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=51408 memory=49956 CPUtime=50.96 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 21910 0 0 0 5091 5 0 0 20 0 1 0 162121393 52641792 12489 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 12852 12489 660 659 0 12056 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 61340 KiB
Current children cumulated memory: 52704 KiB

[startup+102.3 s]
/proc/loadavg: 4.47 4.27 4.21 5/261 838910
/proc/meminfo: memFree=118954592/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=74192 memory=72712 CPUtime=102.02 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 28316 0 0 0 10194 8 0 0 20 0 1 0 162121393 75972608 18178 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 18548 18178 660 659 0 17752 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 84124 KiB
Current children cumulated memory: 75460 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.23 4.19 5/260 838922
/proc/meminfo: memFree=118473312/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=63864 memory=62604 CPUtime=161.86 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 29648 0 0 0 16177 9 0 0 20 0 1 0 162121393 65396736 15651 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 15966 15651 660 659 0 15170 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 73796 KiB
Current children cumulated memory: 65352 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/258 838932
/proc/meminfo: memFree=118871572/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=77912 memory=76340 CPUtime=221.7 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 32011 0 0 0 22160 10 0 0 20 0 1 0 162121393 79781888 19085 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 19478 19085 660 659 0 18682 0
Current children cumulated CPU time: 221.7 s

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

/proc/loadavg: 4.10 4.11 4.09 5/261 840644
/proc/meminfo: memFree=118476516/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=159456 memory=157400 CPUtime=3093.82 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 80071 0 0 0 309300 82 0 0 20 0 1 0 162121393 163282944 39350 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 39864 39350 660 659 0 39068 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 169388 KiB
Current children cumulated memory: 160148 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 840655
/proc/meminfo: memFree=118517632/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=174000 memory=171944 CPUtime=3153.65 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 81677 0 0 0 315279 86 0 0 20 0 1 0 162121393 178176000 42986 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 43500 42986 660 659 0 42704 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 183932 KiB
Current children cumulated memory: 174692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/261 840665
/proc/meminfo: memFree=118461252/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=172408 memory=170352 CPUtime=3213.46 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 83348 0 0 0 321257 89 0 0 20 0 1 0 162121393 176545792 42588 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 43102 42588 660 659 0 42306 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 182340 KiB
Current children cumulated memory: 173100 KiB

[startup+3282.3 s]
/proc/loadavg: 4.45 4.19 4.12 5/258 840675
/proc/meminfo: memFree=118487400/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=172364 memory=170308 CPUtime=3273.28 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 84071 0 0 0 327237 91 0 0 20 0 1 0 162121393 176500736 42577 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 43091 42577 660 659 0 42295 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 182296 KiB
Current children cumulated memory: 173056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/258 840687
/proc/meminfo: memFree=118518964/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=173088 memory=171032 CPUtime=3333.11 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 85465 0 0 0 333217 94 0 0 20 0 1 0 162121393 177242112 42758 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 43272 42758 660 659 0 42476 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 183020 KiB
Current children cumulated memory: 173780 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/258 840698
/proc/meminfo: memFree=118532448/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=177012 memory=175624 CPUtime=3392.93 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 87227 0 0 0 339196 97 0 0 20 0 1 0 162121393 181260288 43906 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 44253 43906 660 659 0 43457 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 186944 KiB
Current children cumulated memory: 178372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/258 840708
/proc/meminfo: memFree=118416392/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=173380 memory=172004 CPUtime=3452.75 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 88600 0 0 0 345175 100 0 0 20 0 1 0 162121393 177541120 43001 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 43345 43001 660 659 0 42549 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 183312 KiB
Current children cumulated memory: 174752 KiB

[startup+3522.3 s]
/proc/loadavg: 3.05 3.89 4.02 2/237 840817
/proc/meminfo: memFree=123770528/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=164676 memory=163684 CPUtime=3512.6 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 90165 0 0 0 351157 103 0 0 20 0 1 0 162121393 168628224 40921 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 41169 40921 660 659 0 40373 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 174608 KiB
Current children cumulated memory: 166432 KiB

[startup+3582.3 s]
/proc/loadavg: 1.81 3.38 3.84 2/237 840828
/proc/meminfo: memFree=123766488/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=168180 memory=167188 CPUtime=3572.48 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 91470 0 0 0 357142 106 0 0 20 0 1 0 162121393 172216320 41797 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 42045 41797 660 659 0 41249 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 178112 KiB
Current children cumulated memory: 169936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 1.61 3.20 3.76 2/237 840831
/proc/meminfo: memFree=123759524/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=174884 memory=173892 CPUtime=3600.03 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 92720 0 0 0 359895 108 0 0 20 0 1 0 162121393 179081216 43473 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 43721 43473 660 659 0 42925 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 184816 KiB
Current children cumulated memory: 176640 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.9 s]
# the end of solver process 838888 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.96 s, system=1.08433 s

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

[startup+3609.9 s]
/proc/loadavg: 1.61 3.20 3.76 2/237 840831
/proc/meminfo: memFree=123759524/131524596 swapFree=131071996/131071996
[pid=838888] ppid=838885 vsize=9932 memory=2748 CPUtime=0 cores=4,6
/proc/838888/stat : 838888 (naps-1.03.sh) S 838885 838888 834569 0 -1 4194304 220 239 0 0 0 0 0 0 20 0 1 0 162121393 10170368 687 134679101440 93964118872064 93964119951384 140735241553360 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93964122049840 93964122097028 93964129107968 140735241561060 140735241561185 140735241561185 140735241568200 0
/proc/838888/statm: 2483 687 610 264 0 134 0
[pid=838893] ppid=838888 vsize=174884 memory=173892 CPUtime=3600.03 cores=4,6
/proc/838893/stat : 838893 (naps-1.03) R 838888 838888 834569 0 -1 4194304 92720 0 0 0 359895 108 0 0 20 0 1 0 162121393 179081216 43473 134679101440 4194304 6891213 140733404478848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 38604800 140733404484597 140733404484709 140733404484709 140733404491723 0
/proc/838893/statm: 43721 43473 660 659 0 42925 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 184816 KiB
Current children cumulated memory: 176640 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.04
CPU user time (s): 3598.96
CPU system time (s): 1.08433
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 253988
Max. memory (cumulated for all children) (KiB): 243200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.08433
maximum resident set size= 241840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93193
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= 39
involuntary context switches= 1411


# summary of solver processes directly reported to runsolver:
#   pid: 838888
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.96
#   total CPU system time (s): 1.08433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53449 second user time and 20.1521 second system time

The end