0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4453658-1721485082.opb
3600.04/3609.90 c
3600.04/3609.90 c *** TERMINATED *** by signal 15
3600.04/3609.90 s UNKNOWN
3600.04/3609.90 c _____________________________________________________________________________
3600.04/3609.90 c std/band forms : 8000,0
3600.04/3609.90 c 2cl/3cl ITE-codings : 0,0
3600.04/3609.90 c BDD/srt/adr Max costs : 0,18,0
3600.04/3609.90 c BDDraw/bin/mul/srt/adr: 0,0,0,8000,0
3600.04/3609.90 c BDD nodes : 0
3600.04/3609.90 c Es1/CC detections : 0,0
3600.04/3609.90 c CC sort : 8000
3600.04/3609.90 c SAT/UNSAT calls : 0,0
3600.04/3609.90 c regenrated variables : 0
3600.04/3609.90 c eliminated fixed lits : 0
3600.04/3609.90 c goal lit flips : 0
3600.04/3609.90 c goal stages : 0
3600.04/3609.90 c goal shrink : 0
3600.04/3609.90 c goal coeff separations: 0
3600.04/3609.90 c restarts : 0
3600.04/3609.90 c conflicts : 0 (0 /sec)
3600.04/3609.90 c decisions : 0 (0 /sec)
3600.04/3609.90 c propagations : 0 (0 /sec)
3600.04/3609.90 c inspects : 0 (0 /sec)
3600.04/3609.90 c CPU time (solving tm) : 3594 s (3594 s, SAT 0 s, UNSAT 0 s)
3600.04/3609.90 c Time for Opt-base : 0.009533 s
3600.04/3609.90 c Steps for Opt-base : 0
3600.04/3609.90 c Time for BDD coding : 0 s
3600.04/3609.90 c Time for srt coding : 0.01192 s
3600.04/3609.90 c _____________________________________________________________________________
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 (61861 MiB free)
memory of node 1: 64510 MiB (63165 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453658-1721485082/watcher-4453658-1721485082 -o /tmp/evaluation-result-4453658-1721485082/solver-4453658-1721485082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721481477-1070496 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4453658-1721485082.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=1072764, runsolver pid=1072761
[startup+0.100091 s]*
/proc/loadavg: 4.09 4.12 4.12 5/258 1072769
/proc/meminfo: memFree=128012836/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=23096 memory=16340 CPUtime=0.09 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 4033 0 0 0 8 1 0 0 20 0 1 0 200668375 23650304 4085 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 5774 4085 468 659 0 4978 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33028 KiB
Current children cumulated memory: 19088 KiB
[startup+0.205624 s]*
/proc/loadavg: 4.09 4.12 4.12 5/258 1072769
/proc/meminfo: memFree=127995384/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=38292 memory=33536 CPUtime=0.19 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 8664 0 0 0 17 2 0 0 20 0 1 0 200668375 39211008 8384 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 9573 8384 468 659 0 8777 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 36284 KiB
[startup+0.305606 s]*
/proc/loadavg: 4.09 4.12 4.12 5/258 1072769
/proc/meminfo: memFree=127991440/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=40452 memory=35372 CPUtime=0.3 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 9739 0 0 0 27 3 0 0 20 0 1 0 200668375 41422848 8843 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 10113 8843 468 659 0 9317 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50384 KiB
Current children cumulated memory: 38120 KiB
[startup+0.700267 s]
/proc/loadavg: 4.09 4.12 4.12 5/258 1072769
/proc/meminfo: memFree=127984236/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=50264 memory=43948 CPUtime=0.69 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 10910 0 0 0 66 3 0 0 20 0 1 0 200668375 51470336 10987 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 12566 10987 468 659 0 11770 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60196 KiB
Current children cumulated memory: 46696 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.12 4.12 5/258 1072769
/proc/meminfo: memFree=127965084/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=57560 memory=50156 CPUtime=1.48 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 11437 0 0 0 145 3 0 0 20 0 1 0 200668375 58941440 12539 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 14390 12539 468 659 0 13594 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67492 KiB
Current children cumulated memory: 52904 KiB
[startup+3.10546 s]
/proc/loadavg: 4.08 4.12 4.12 5/258 1072769
/proc/meminfo: memFree=127945944/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=68324 memory=63016 CPUtime=3.09 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 13994 0 0 0 305 4 0 0 20 0 1 0 200668375 69963776 15754 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 17081 15754 468 659 0 16285 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 65764 KiB
[startup+6.30026 s]
/proc/loadavg: 4.08 4.12 4.12 5/258 1072769
/proc/meminfo: memFree=127921280/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=91160 memory=79040 CPUtime=6.27 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 14991 0 0 0 623 4 0 0 20 0 1 0 200668375 93347840 19760 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 22790 19760 468 659 0 21994 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 101092 KiB
Current children cumulated memory: 81788 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.13 4.12 5/258 1072820
/proc/meminfo: memFree=127981252/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=111468 memory=102136 CPUtime=12.66 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 16048 0 0 0 1261 5 0 0 20 0 1 0 200668375 114143232 25534 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 27867 25534 468 659 0 27071 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 121400 KiB
Current children cumulated memory: 104884 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.12 5/258 1072822
/proc/meminfo: memFree=127863940/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=160572 memory=146840 CPUtime=25.42 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 17741 0 0 0 2536 6 0 0 20 0 1 0 200668375 164425728 36710 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 40143 36710 468 659 0 39347 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 170504 KiB
Current children cumulated memory: 149588 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.11 4.11 5/258 1072826
/proc/meminfo: memFree=127716556/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=205072 memory=199020 CPUtime=50.96 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 20094 0 0 0 5088 8 0 0 20 0 1 0 200668375 209993728 49755 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 51268 49755 468 659 0 50472 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 215004 KiB
Current children cumulated memory: 201768 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/259 1072836
/proc/meminfo: memFree=127587788/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=217728 memory=212596 CPUtime=102.03 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 26275 0 0 0 10183 20 0 0 20 0 1 0 200668375 222953472 53149 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 54432 53149 468 659 0 53636 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 227660 KiB
Current children cumulated memory: 215344 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/261 1072851
/proc/meminfo: memFree=127513644/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=248236 memory=243712 CPUtime=161.88 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 33711 0 0 0 16153 35 0 0 20 0 1 0 200668375 254193664 60928 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 62059 60928 468 659 0 61263 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 258168 KiB
Current children cumulated memory: 246460 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/261 1072861
/proc/meminfo: memFree=127441980/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=329424 memory=315724 CPUtime=221.73 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 44910 0 0 0 22122 51 0 0 20 0 1 0 200668375 337330176 78931 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 82356 78931 468 659 0 81560 0
Current children cumulated CPU time: 221.73 s
################
# More data... #
################
/proc/1072769/statm: 175626 172255 468 659 0 174830 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 712436 KiB
Current children cumulated memory: 691768 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/260 1074575
/proc/meminfo: memFree=126577912/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=704160 memory=643372 CPUtime=3153.62 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 248866 0 0 0 314839 523 0 0 20 0 1 0 200668375 721059840 160843 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 176040 160843 468 659 0 175244 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 714092 KiB
Current children cumulated memory: 646120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/260 1074586
/proc/meminfo: memFree=126470068/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=706588 memory=696560 CPUtime=3213.46 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 251448 0 0 0 320817 529 0 0 20 0 1 0 200668375 723546112 174140 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 176647 174140 468 659 0 175851 0
Current children cumulated CPU time: 3213.46 s
Current children cumulated vsize: 716520 KiB
Current children cumulated memory: 699308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.37 4.22 4.14 5/260 1074596
/proc/meminfo: memFree=126436648/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=709464 memory=646056 CPUtime=3273.3 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 254442 0 0 0 326792 538 0 0 20 0 1 0 200668375 726491136 161514 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 177366 161514 468 659 0 176570 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 719396 KiB
Current children cumulated memory: 648804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.23 4.14 5/260 1074606
/proc/meminfo: memFree=126447436/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=712724 memory=695956 CPUtime=3333.14 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 256763 0 0 0 332770 544 0 0 20 0 1 0 200668375 729829376 173989 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 178181 173989 468 659 0 177385 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 722656 KiB
Current children cumulated memory: 698704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.24 4.15 5/261 1074619
/proc/meminfo: memFree=126474368/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=714256 memory=642124 CPUtime=3392.99 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 259925 0 0 0 338746 553 0 0 20 0 1 0 200668375 731398144 160531 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 178564 160531 468 659 0 177768 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 724188 KiB
Current children cumulated memory: 644872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.23 4.15 5/259 1074630
/proc/meminfo: memFree=126365920/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=716532 memory=691008 CPUtime=3452.83 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 261991 0 0 0 344724 559 0 0 20 0 1 0 200668375 733728768 172752 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 179133 172752 468 659 0 178337 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 726464 KiB
Current children cumulated memory: 693756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/259 1074640
/proc/meminfo: memFree=126555908/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=638900 memory=628348 CPUtime=3512.68 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 265050 0 0 0 350698 570 0 0 20 0 1 0 200668375 654233600 157087 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 159725 157087 468 659 0 158929 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 648832 KiB
Current children cumulated memory: 631096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.19 4.15 5/260 1074652
/proc/meminfo: memFree=126488520/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=722344 memory=675896 CPUtime=3572.53 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 267800 0 0 0 356676 577 0 0 20 0 1 0 200668375 739680256 168974 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 180586 168974 468 659 0 179790 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 732276 KiB
Current children cumulated memory: 678644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.11 4.18 4.15 5/260 1074755
/proc/meminfo: memFree=126908464/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=723512 memory=635800 CPUtime=3600.04 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 269328 0 0 0 359423 581 0 0 20 0 1 0 200668375 740876288 158950 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 180878 158950 468 659 0 180082 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 733444 KiB
Current children cumulated memory: 638548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 1072764 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002767 s, system=0 s
[startup+3609.91 s]
# the end of solver process 1072769 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3594.24 s, system=5.82437 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.11 4.18 4.15 5/260 1074755
/proc/meminfo: memFree=126908464/131524600 swapFree=131071996/131071996
[pid=1072764] ppid=1072761 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/1072764/stat : 1072764 (naps-1.03.sh) S 1072761 1072764 1070484 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 200668375 10170368 687 134679101440 94462435291136 94462436370456 140737393246800 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94462438468912 94462438516100 94462451167232 140737393255390 140737393255519 140737393255519 140737393262536 0
/proc/1072764/statm: 2483 687 608 264 0 134 0
[pid=1072769] ppid=1072764 vsize=723512 memory=635800 CPUtime=3600.04 cores=1,3
/proc/1072769/stat : 1072769 (naps-1.03) R 1072764 1072764 1070484 0 -1 4194304 269328 0 0 0 359423 581 0 0 20 0 1 0 200668375 740876288 158950 134679101440 4194304 6891213 140726065731488 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16199680 140726065738735 140726065738851 140726065738851 140726065745867 0
/proc/1072769/statm: 180878 158950 468 659 0 180082 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 733444 KiB
Current children cumulated memory: 638548 KiB
Child status: 10
Real time (s): 3609.91
CPU time (s): 3600.07
CPU user time (s): 3594.24
CPU system time (s): 5.82437
CPU usage (%): 99.7274
Max. virtual memory (cumulated for all children) (KiB): 995780
Max. memory (cumulated for all children) (KiB): 857840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.24
system time used= 5.82437
maximum resident set size= 855092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269795
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= 102
involuntary context switches= 4643
# summary of solver processes directly reported to runsolver:
# pid: 1072764,1072769
# total CPU time (s): 3600.07
# total CPU user time (s): 3594.24
# total CPU system time (s): 5.82437
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38336 second user time and 17.8264 second system time
The end
Begin job on nodeC015 at 2024-07-20 16:18:14
IDJOB=4453658
IDBENCH=175763
IDSOLVER=3062
FILE ID=nodeC015/4453658-1721485082
RUNJOBID= nodeC015-1721481477-1070496
SLURM_JOB_ID= 7545762
Free space on /tmp= 890068 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-3.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453658-1721485082/watcher-4453658-1721485082 -o /tmp/evaluation-result-4453658-1721485082/solver-4453658-1721485082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721481477-1070496 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4453658-1721485082.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 90e219b8c5705857cfd3b9fc00c31b1d
RANDOM SEED=209776712
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.701
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.109
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.763
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.389
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.171
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128028252 kB
MemAvailable: 129396204 kB
Buffers: 574828 kB
Cached: 1626516 kB
SwapCached: 0 kB
Active: 1759136 kB
Inactive: 1100420 kB
Active(anon): 1612 kB
Inactive(anon): 702184 kB
Active(file): 1757524 kB
Inactive(file): 398236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17280 kB
Writeback: 0 kB
AnonPages: 656212 kB
Mapped: 113532 kB
Shmem: 45912 kB
KReclaimable: 103680 kB
Slab: 216596 kB
SReclaimable: 103680 kB
SUnreclaim: 112916 kB
KernelStack: 4108 kB
PageTables: 10364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1081252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 462848 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC015 at 2024-07-20 17:18:24