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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455988-1721718387/watcher-4455988-1721718387 -o /tmp/evaluation-result-4455988-1721718387/solver-4455988-1721718387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721718386-88105 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4455988-1721718387.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=88160, runsolver pid=88149

[startup+0.100095 s]*
/proc/loadavg: 1.45 1.91 2.03 7/261 88185
/proc/meminfo: memFree=107690128/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=19452 memory=16204 CPUtime=0.09 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 3923 0 0 0 9 0 0 0 20 0 1 0 8362843 19918848 4051 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 4863 4051 421 379 0 4397 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29384 KiB
Current children cumulated memory: 18908 KiB

[startup+0.206367 s]*
/proc/loadavg: 1.45 1.91 2.03 7/261 88185
/proc/meminfo: memFree=107656196/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=23820 memory=20096 CPUtime=0.2 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 4350 0 0 0 20 0 0 0 20 0 1 0 8362843 24391680 5024 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 5955 5024 421 379 0 5489 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33752 KiB
Current children cumulated memory: 22800 KiB

[startup+0.305584 s]*
/proc/loadavg: 1.45 1.91 2.03 5/261 88185
/proc/meminfo: memFree=107644628/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=23820 memory=21416 CPUtime=0.3 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 4664 0 0 0 30 0 0 0 20 0 1 0 8362843 24391680 5354 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 5955 5354 421 379 0 5489 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33752 KiB
Current children cumulated memory: 24120 KiB

[startup+0.700248 s]
/proc/loadavg: 1.45 1.91 2.03 5/261 88185
/proc/meminfo: memFree=107617220/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=44488 memory=40072 CPUtime=0.68 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 8766 0 0 0 68 0 0 0 20 0 1 0 8362843 45555712 10018 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 11122 10018 421 379 0 10656 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54420 KiB
Current children cumulated memory: 42776 KiB

[startup+1.50026 s]
/proc/loadavg: 1.45 1.91 2.03 7/260 88185
/proc/meminfo: memFree=107591512/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=55980 memory=46180 CPUtime=1.49 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 9668 0 0 0 148 1 0 0 20 0 1 0 8362843 57323520 11545 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 13995 11545 421 379 0 13529 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 65912 KiB
Current children cumulated memory: 48884 KiB

[startup+3.10619 s]
/proc/loadavg: 1.45 1.91 2.03 7/260 88185
/proc/meminfo: memFree=107508312/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=55980 memory=53100 CPUtime=3.09 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 9881 0 0 0 308 1 0 0 20 0 1 0 8362843 57323520 13275 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 13995 13275 421 379 0 13529 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65912 KiB
Current children cumulated memory: 55804 KiB

[startup+6.30025 s]
/proc/loadavg: 1.65 1.95 2.04 7/260 88187
/proc/meminfo: memFree=107413296/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=79512 memory=64740 CPUtime=6.28 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 11366 0 0 0 626 2 0 0 20 0 1 0 8362843 81420288 16185 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 19878 16185 421 379 0 19412 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 89444 KiB
Current children cumulated memory: 67444 KiB

[startup+12.7002 s]
/proc/loadavg: 1.84 1.98 2.05 7/260 88187
/proc/meminfo: memFree=107371948/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=98368 memory=81184 CPUtime=12.65 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 11912 0 0 0 1263 2 0 0 20 0 1 0 8362843 100728832 20296 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 24592 20296 421 379 0 24126 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 108300 KiB
Current children cumulated memory: 83888 KiB

[startup+25.5003 s]
/proc/loadavg: 2.39 2.10 2.09 7/260 88190
/proc/meminfo: memFree=107298128/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=128800 memory=99660 CPUtime=25.43 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 12476 0 0 0 2540 3 0 0 20 0 1 0 8362843 131891200 24915 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 32200 24915 421 379 0 31734 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 138732 KiB
Current children cumulated memory: 102364 KiB

[startup+51.1062 s]
/proc/loadavg: 3.07 2.28 2.15 7/260 88193
/proc/meminfo: memFree=107195364/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=178120 memory=142796 CPUtime=50.97 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 13938 0 0 0 5090 7 0 0 20 0 1 0 8362843 182394880 35699 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 44530 35699 421 379 0 44064 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 188052 KiB
Current children cumulated memory: 145500 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.56 2.25 7/260 88201
/proc/meminfo: memFree=107139120/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=178120 memory=149148 CPUtime=102.06 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 15191 0 0 0 10191 15 0 0 20 0 1 0 8362843 182394880 37287 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 44530 37287 421 379 0 44064 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 188052 KiB
Current children cumulated memory: 151852 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.86 2.38 7/260 88211
/proc/meminfo: memFree=107090412/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=208940 memory=159644 CPUtime=161.92 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 17442 0 0 0 16171 21 0 0 20 0 1 0 8362843 213954560 39911 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 52235 39911 421 379 0 51769 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 218872 KiB
Current children cumulated memory: 162348 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.07 2.48 7/260 88223
/proc/meminfo: memFree=107086336/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=178120 memory=159420 CPUtime=221.77 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 20492 0 0 0 22150 27 0 0 20 0 1 0 8362843 182394880 39855 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 44530 39855 421 379 0 44064 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 188052 KiB

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

/proc/loadavg: 4.14 4.17 4.11 7/261 89748
/proc/meminfo: memFree=106376000/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=297076 memory=266024 CPUtime=3034.36 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 111578 0 0 0 303260 176 0 0 20 0 1 0 8362843 304205824 66506 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 74269 66506 421 379 0 73803 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 307008 KiB
Current children cumulated memory: 268728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.10 7/261 89760
/proc/meminfo: memFree=106388952/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=248392 memory=227040 CPUtime=3094.22 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 112686 0 0 0 309243 179 0 0 20 0 1 0 8362843 254353408 56760 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 62098 56760 421 379 0 61632 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 258324 KiB
Current children cumulated memory: 229744 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.10 7/260 89938
/proc/meminfo: memFree=106551472/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=253652 memory=225496 CPUtime=3154.06 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 115405 0 0 0 315225 181 0 0 20 0 1 0 8362843 259739648 56374 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 63413 56374 421 379 0 62947 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 263584 KiB
Current children cumulated memory: 228200 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.10 7/261 89949
/proc/meminfo: memFree=106429136/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=303980 memory=282260 CPUtime=3213.92 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 116469 0 0 0 321209 183 0 0 20 0 1 0 8362843 311275520 70565 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 75995 70565 421 379 0 75529 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 313912 KiB
Current children cumulated memory: 284964 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.09 7/263 89976
/proc/meminfo: memFree=106320980/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=304724 memory=256052 CPUtime=3273.76 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 118149 0 0 0 327191 185 0 0 20 0 1 0 8362843 312037376 64013 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 76181 64013 421 379 0 75715 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 314656 KiB
Current children cumulated memory: 258756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 7/263 89987
/proc/meminfo: memFree=106422532/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=225652 memory=217396 CPUtime=3333.62 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 118796 0 0 0 333175 187 0 0 20 0 1 0 8362843 231067648 54349 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 56413 54349 421 379 0 55947 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 235584 KiB
Current children cumulated memory: 220100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/263 89997
/proc/meminfo: memFree=106233308/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=306560 memory=269992 CPUtime=3393.46 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 120217 0 0 0 339158 188 0 0 20 0 1 0 8362843 313917440 67498 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 76640 67498 421 379 0 76174 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 316492 KiB
Current children cumulated memory: 272696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/262 90008
/proc/meminfo: memFree=106468824/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=257356 memory=231968 CPUtime=3453.32 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 121548 0 0 0 345141 191 0 0 20 0 1 0 8362843 263532544 57992 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 64339 57992 421 379 0 63873 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 267288 KiB
Current children cumulated memory: 234672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 7/261 90019
/proc/meminfo: memFree=106273200/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=307444 memory=293416 CPUtime=3513.18 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 122090 0 0 0 351126 192 0 0 20 0 1 0 8362843 314822656 73354 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 76861 73354 421 379 0 76395 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 317376 KiB
Current children cumulated memory: 296120 KiB

[startup+3582.3 s]
/proc/loadavg: 5.01 4.31 4.16 7/259 90031
/proc/meminfo: memFree=106345632/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=315036 memory=268200 CPUtime=3573.03 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 127493 0 0 0 357104 199 0 0 20 0 1 0 8362843 322596864 67050 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 78759 67050 421 379 0 78293 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 324968 KiB
Current children cumulated memory: 270904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 5.43 4.48 4.22 7/259 90036
/proc/meminfo: memFree=106269708/131524600 swapFree=131071996/131071996
[pid=88160] ppid=88149 vsize=9932 memory=2704 CPUtime=0 cores=4,6
/proc/88160/stat : 88160 (naps-1.02b5.sh) S 88149 88160 88094 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8362843 10170368 676 134679101440 94097112502272 94097113581592 140733712834800 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94097115680048 94097115727236 94097148006400 140733712843743 140733712843870 140733712843870 140733712850886 0
/proc/88160/statm: 2483 676 597 264 0 134 0
[pid=88176] ppid=88160 vsize=267984 memory=245120 CPUtime=3600.06 cores=4,6
/proc/88176/stat : 88176 (naps-1.02b5) R 88160 88160 88094 0 -1 4194304 129052 0 0 0 359805 201 0 0 20 0 1 0 8362843 274415616 61280 134679101440 4194304 5746509 140729860216192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38109184 140729860219886 140729860220000 140729860220000 140729860227017 0
/proc/88176/statm: 66996 61280 421 379 0 66530 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 277916 KiB
Current children cumulated memory: 247824 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.06 s, system=2.02292 s

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

Child status: 10

Real time (s): 3609.4
CPU time (s): 3600.08
CPU user time (s): 3598.06
CPU system time (s): 2.02292
CPU usage (%): 99.7417
Max. virtual memory (cumulated for all children) (KiB): 406176
Max. memory (cumulated for all children) (KiB): 345256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.06
system time used= 2.02292
maximum resident set size= 357852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129530
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= 91
involuntary context switches= 7866


# summary of solver processes directly reported to runsolver:
#   pid: 88160
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.06
#   total CPU system time (s): 2.02292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27023 second user time and 20.0883 second system time

The end