0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.59/0.63 c #variables 2504 #constraints 2084
1.00/1.04 c bounds - >= 0 @ 0.603121
1.00/1.04 c rational objective 45
2.99/3.08 c #Conflicts: 1000 | #Constraints: 3083
2.99/3.08 c #Conflicts: 2000 | #Constraints: 4084
2.99/3.08 c INPROCESSING
2.99/3.08 c GARBAGE COLLECT
2.99/3.08 c rational objective 45
5.57/5.64 c #Conflicts: 3000 | #Constraints: 3875
5.57/5.64 c bounds - >= 8 @ 4.02377
5.57/5.64 c #Conflicts: 4000 | #Constraints: 4878
5.57/5.64 c INPROCESSING
5.57/5.64 c GARBAGE COLLECT
5.57/5.64 c rational objective 45
8.66/8.75 c #Conflicts: 5000 | #Constraints: 4285
8.66/8.75 c #Conflicts: 6000 | #Constraints: 5286
8.66/8.75 c INPROCESSING
8.66/8.75 c GARBAGE COLLECT
8.66/8.75 c rational objective 45
12.15/12.29 c #Conflicts: 7000 | #Constraints: 4271
12.15/12.29 c #Conflicts: 8000 | #Constraints: 5271
12.15/12.29 c #Conflicts: 9000 | #Constraints: 6271
12.15/12.29 c INPROCESSING
12.15/12.29 c GARBAGE COLLECT
12.15/12.29 c rational objective 45
16.14/16.26 c #Conflicts: 10000 | #Constraints: 4995
16.14/16.26 c #Conflicts: 11000 | #Constraints: 5995
16.14/16.26 c #Conflicts: 12000 | #Constraints: 6995
16.14/16.26 c INPROCESSING
16.14/16.26 c GARBAGE COLLECT
16.14/16.26 c rational objective 45
20.83/20.92 c #Conflicts: 13000 | #Constraints: 5459
20.83/20.92 c #Conflicts: 14000 | #Constraints: 6460
20.83/20.92 c #Conflicts: 15000 | #Constraints: 7460
20.83/20.92 c INPROCESSING
20.83/20.92 c GARBAGE COLLECT
20.83/20.92 c rational objective 45
25.72/25.89 c #Conflicts: 16000 | #Constraints: 5691
25.72/25.89 c #Conflicts: 17000 | #Constraints: 6692
25.72/25.89 c #Conflicts: 18000 | #Constraints: 7692
25.72/25.89 c INPROCESSING
25.72/25.89 c GARBAGE COLLECT
25.72/25.89 c rational objective 45
32.49/32.60 c #Conflicts: 19000 | #Constraints: 5699
32.49/32.60 c #Conflicts: 20000 | #Constraints: 6701
32.49/32.60 c #Conflicts: 21000 | #Constraints: 7701
32.49/32.60 c INPROCESSING
32.49/32.60 c GARBAGE COLLECT
32.49/32.60 c rational objective 45
38.28/38.47 c #Conflicts: 22000 | #Constraints: 5543
38.28/38.47 c #Conflicts: 23000 | #Constraints: 6544
38.28/38.47 c #Conflicts: 24000 | #Constraints: 7545
38.28/38.47 c #Conflicts: 25000 | #Constraints: 8546
38.28/38.47 c INPROCESSING
38.28/38.47 c GARBAGE COLLECT
38.28/38.47 c rational objective 45
47.75/47.96 c #Conflicts: 26000 | #Constraints: 6044
47.75/47.96 c #Conflicts: 27000 | #Constraints: 7044
47.75/47.96 c #Conflicts: 28000 | #Constraints: 8046
47.75/47.96 c #Conflicts: 29000 | #Constraints: 9047
47.75/47.96 c INPROCESSING
47.75/47.96 c GARBAGE COLLECT
47.75/47.96 c rational objective 45
55.24/55.43 c #Conflicts: 30000 | #Constraints: 6467
55.24/55.43 c #Conflicts: 31000 | #Constraints: 7469
55.24/55.43 c #Conflicts: 32000 | #Constraints: 8471
55.24/55.43 c #Conflicts: 33000 | #Constraints: 9472
55.24/55.43 c INPROCESSING
55.24/55.43 c GARBAGE COLLECT
55.24/55.43 c rational objective 45
67.00/67.27 c #Conflicts: 34000 | #Constraints: 6642
67.00/67.27 c #Conflicts: 35000 | #Constraints: 7642
67.00/67.27 c #Conflicts: 36000 | #Constraints: 8642
67.00/67.27 c #Conflicts: 37000 | #Constraints: 9642
67.00/67.27 c INPROCESSING
67.00/67.27 c GARBAGE COLLECT
67.00/67.27 c rational objective 45
77.89/78.12 c #Conflicts: 38000 | #Constraints: 6688
77.89/78.12 c #Conflicts: 39000 | #Constraints: 7688
77.89/78.12 c #Conflicts: 40000 | #Constraints: 8689
77.89/78.12 c #Conflicts: 41000 | #Constraints: 9689
77.89/78.12 c INPROCESSING
77.89/78.12 c GARBAGE COLLECT
77.89/78.12 c rational objective 45
97.62/98.00 c #Conflicts: 42000 | #Constraints: 6515
97.62/98.00 c #Conflicts: 43000 | #Constraints: 7516
97.62/98.00 c #Conflicts: 44000 | #Constraints: 8516
97.62/98.00 c #Conflicts: 45000 | #Constraints: 9516
97.62/98.00 c #Conflicts: 46000 | #Constraints: 10516
97.62/98.00 c INPROCESSING
97.62/98.00 c GARBAGE COLLECT
97.62/98.00 c rational objective 45
108.89/109.23 c #Conflicts: 47000 | #Constraints: 7168
108.89/109.23 c #Conflicts: 48000 | #Constraints: 8168
108.89/109.23 c #Conflicts: 49000 | #Constraints: 9168
108.89/109.23 c #Conflicts: 50000 | #Constraints: 10169
108.89/109.23 c #Conflicts: 51000 | #Constraints: 11169
108.89/109.23 c INPROCESSING
108.89/109.23 c GARBAGE COLLECT
108.89/109.23 c rational objective 45
120.86/121.25 c #Conflicts: 52000 | #Constraints: 7493
120.86/121.25 c #Conflicts: 53000 | #Constraints: 8493
120.86/121.25 c #Conflicts: 54000 | #Constraints: 9493
120.86/121.25 c #Conflicts: 55000 | #Constraints: 10493
120.86/121.25 c #Conflicts: 56000 | #Constraints: 11493
120.86/121.25 c INPROCESSING
120.86/121.25 c GARBAGE COLLECT
120.86/121.25 c rational objective 45
140.31/140.76 c #Conflicts: 57000 | #Constraints: 7691
140.31/140.76 c #Conflicts: 58000 | #Constraints: 8692
140.31/140.76 c bounds - >= 16 @ 129.225
140.31/140.76 c #Conflicts: 59000 | #Constraints: 9697
140.31/140.76 c #Conflicts: 60000 | #Constraints: 10697
140.31/140.76 c #Conflicts: 61000 | #Constraints: 11698
140.31/140.76 c INPROCESSING
140.31/140.76 c GARBAGE COLLECT
140.31/140.76 c rational objective 45
153.85/154.37 c #Conflicts: 62000 | #Constraints: 7727
153.85/154.37 c #Conflicts: 63000 | #Constraints: 8727
153.85/154.37 c #Conflicts: 64000 | #Constraints: 9727
153.85/154.37 c #Conflicts: 65000 | #Constraints: 10727
153.85/154.37 c #Conflicts: 66000 | #Constraints: 11727
153.85/154.37 c bounds - >= 16 @ 149.996
153.85/154.37 c cpu time 149.997 s
153.85/154.37 c deterministic time 20034259783 2.00e+10
153.85/154.37 c optimization time 0.002124 s
153.85/154.37 c total solve time 149.391 s
153.85/154.37 c core-guided solve time 75.5361 s
153.85/154.37 c propagation time 101.304 s
153.85/154.37 c conflict analysis time 40.7114 s
153.85/154.37 c propagations 20722857
153.85/154.37 c resolve steps 1799875
153.85/154.37 c decisions 2520489
153.85/154.37 c conflicts 66525
153.85/154.37 c restarts 204
153.85/154.37 c inprocessing phases 17
153.85/154.37 c input clauses 1556
153.85/154.37 c input cardinalities 531
153.85/154.37 c input general constraints 4
153.85/154.37 c input average constraint length 424.49
153.85/154.37 c input average constraint degree 4.07
153.85/154.37 c learned clauses 29039
153.85/154.37 c learned cardinalities 3867
153.85/154.37 c learned general constraints 33646
153.85/154.37 c learned average constraint length 1050.77
153.85/154.37 c learned average constraint degree 101105632.20
153.85/154.37 c watched constraints 26587
153.85/154.37 c counting constraints 7063
153.85/154.37 c gcd simplifications 204
153.85/154.37 c detected cardinalities 19
153.85/154.37 c weakened non-implied lits 19855810
153.85/154.37 c weakened non-implying lits 10798
153.85/154.37 c original variables 2504
153.85/154.37 c clausal propagations 4417929
153.85/154.37 c cardinality propagations 11162392
153.85/154.37 c watched propagations 2186279
153.85/154.37 c counting propagations 2034464
153.85/154.37 c watch lookups 2372744594
153.85/154.37 c watch backjump lookups 2231196079
153.85/154.37 c watch checks 10693623669
153.85/154.37 c propagation checks 4193363042
153.85/154.37 c constraint additions 496710735
153.85/154.37 c trail pops 23307879
153.85/154.37 c formula constraints 2084
153.85/154.37 c learned constraints 66496
153.85/154.37 c bound constraints 0
153.85/154.37 c core-guided constraints 7
153.85/154.37 c encountered formula constraints 1371490
153.85/154.37 c encountered learned constraints 490472
153.85/154.37 c encountered bound constraints 0
153.85/154.37 c encountered core-guided constraints 3911
153.85/154.37 c LP total time 12.4471 s
153.85/154.37 c LP solve time 11.14 s
153.85/154.37 c LP constraints added 2198
153.85/154.37 c LP constraints removed 102
153.85/154.37 c LP pivots internal 66775
153.85/154.37 c LP pivots root 3663
153.85/154.37 c LP calls 242
153.85/154.37 c LP optimalities 213
153.85/154.37 c LP no pivot count 49
153.85/154.37 c LP infeasibilities 28
153.85/154.37 c LP valid Farkas constraints 28
153.85/154.37 c LP learned Farkas constraints 28
153.85/154.37 c LP basis resets 0
153.85/154.37 c LP cycling count 0
153.85/154.37 c LP singular count 0
153.85/154.37 c LP no primal count 0
153.85/154.37 c LP no farkas count 0
153.85/154.37 c LP other issue count 0
153.85/154.37 c LP Gomory cuts 0
153.85/154.37 c LP learned cuts 114
153.85/154.37 c LP deleted cuts 102
153.85/154.37 c LP encountered Gomory constraints 0
153.85/154.37 c LP encountered Farkas constraints 462
153.85/154.37 c LP encountered learned Farkas constraints 37
153.85/154.37 c CG auxiliary variables introduced 3
153.85/154.37 c CG solutions found 0
153.85/154.37 c CG cores constructed 2
153.85/154.37 c CG core cardinality constraints returned 0
153.85/154.37 c CG unit cores 0
153.85/154.37 c CG single cores 2
153.85/154.37 c CG blocks removed during cardinality reduction 0
153.85/154.37 c CG first core best 0
153.85/154.37 c CG decision core best 0
153.85/154.37 c CG core reduction tie 0
153.85/154.37 c CG core degree average 1.00
153.85/154.37 c CG core slack average 239.50
153.85/154.37 s UNSATISFIABLE
VeriPB
Running VeriPB version 2.2.1
s VERIFIED BOUNDS INF <= obj <= INF
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS INF <= obj <= INF
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS INF <= obj <= INF
--summary--
ALL OK
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: 64096 MiB (42022 MiB free)
memory of node 1: 64473 MiB (50178 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463289-1722349003/watcher-4463289-1722349003 -o /tmp/evaluation-result-4463289-1722349003/solver-4463289-1722349003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463289-1722349003 --lp-cut-gomory=0 HOME/instance-4463289-1722349003.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=12455, runsolver pid=12452
Current StackSize limit: 8192 KiB
[startup+0.100542 s]*
/proc/loadavg: 4.10 4.16 4.19 5/260 12456
/proc/meminfo: memFree=94408300/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=38392 memory=7088 CPUtime=0.09 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 707 0 0 0 9 0 0 0 20 0 1 0 1496818 39313408 1772 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 9598 1772 1364 992 0 1456 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38392 KiB
Current children cumulated memory: 7088 KiB
[startup+0.21067 s]*
/proc/loadavg: 4.10 4.16 4.19 5/260 12456
/proc/meminfo: memFree=94402052/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=38632 memory=9928 CPUtime=0.2 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 877 0 0 0 20 0 0 0 20 0 1 0 1496818 39559168 2482 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 9658 2482 1364 992 0 1516 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38632 KiB
Current children cumulated memory: 9928 KiB
[startup+0.310526 s]*
/proc/loadavg: 4.10 4.16 4.19 5/260 12456
/proc/meminfo: memFree=94397148/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=38632 memory=9928 CPUtime=0.3 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 877 0 0 0 30 0 0 0 20 0 1 0 1496818 39559168 2482 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 9658 2482 1364 992 0 1516 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38632 KiB
Current children cumulated memory: 9928 KiB
[startup+0.700342 s]
/proc/loadavg: 4.10 4.16 4.19 5/260 12456
/proc/meminfo: memFree=94389500/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=80172 memory=52436 CPUtime=0.68 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 12828 0 0 0 63 5 0 0 20 0 1 0 1496818 82096128 13109 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 20043 13109 1743 992 0 11901 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80172 KiB
Current children cumulated memory: 52436 KiB
[startup+1.50032 s]
/proc/loadavg: 4.10 4.16 4.19 5/260 12456
/proc/meminfo: memFree=94318500/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=88436 memory=61148 CPUtime=1.48 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 16915 0 0 0 138 10 0 0 20 0 1 0 1496818 90558464 15287 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 22109 15287 1823 992 0 13967 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88436 KiB
Current children cumulated memory: 61148 KiB
[startup+3.11377 s]
/proc/loadavg: 4.10 4.16 4.19 5/260 12456
/proc/meminfo: memFree=94260296/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=103984 memory=75508 CPUtime=3.08 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 18391 0 0 0 291 17 0 0 20 0 1 0 1496818 106479616 18877 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 25996 18877 1913 992 0 17854 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103984 KiB
Current children cumulated memory: 75508 KiB
[startup+6.30029 s]
/proc/loadavg: 4.10 4.15 4.19 5/260 12458
/proc/meminfo: memFree=94168332/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=139232 memory=108772 CPUtime=6.26 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 20173 0 0 0 599 27 0 0 20 0 1 0 1496818 142573568 27193 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 34808 27193 1929 992 0 26666 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 139232 KiB
Current children cumulated memory: 108772 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.15 4.19 5/260 12458
/proc/meminfo: memFree=94073012/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=159292 memory=115128 CPUtime=12.65 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 20816 0 0 0 1219 46 0 0 20 0 1 0 1496818 163115008 28782 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 39823 28782 1929 992 0 31681 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 159292 KiB
Current children cumulated memory: 115128 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.19 6/259 12459
/proc/meminfo: memFree=93850824/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=163276 memory=126412 CPUtime=25.41 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 22213 0 0 0 2464 77 0 0 20 0 1 0 1496818 167194624 31603 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 40819 31603 1929 992 0 32677 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 163276 KiB
Current children cumulated memory: 126412 KiB
[startup+51.1134 s]
/proc/loadavg: 4.09 4.14 4.18 5/258 12464
/proc/meminfo: memFree=93368776/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=181992 memory=149620 CPUtime=50.96 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 26719 0 0 0 4942 154 0 0 20 0 1 0 1496818 186359808 37405 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 45498 37405 1929 992 0 37356 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 181992 KiB
Current children cumulated memory: 149620 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.18 5/255 12474
/proc/meminfo: memFree=92435624/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=229460 memory=175860 CPUtime=102.01 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 31464 0 0 0 9910 291 0 0 20 0 1 0 1496818 234967040 43965 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 57365 43965 1929 992 0 49223 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 229460 KiB
Current children cumulated memory: 175860 KiB
[startup+154.389 s]
# the end of solver process 12455 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=150.005 s, system=3.88155 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.16 4.15 4.18 5/255 12474
/proc/meminfo: memFree=92435624/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=229460 memory=175860 CPUtime=102.1 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 31464 0 0 0 9919 291 0 0 20 0 1 0 1496818 234967040 43965 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 57365 43965 1929 992 0 49223 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 229460 KiB
Current children cumulated memory: 175860 KiB
[startup+128 s]*
/proc/loadavg: 4.11 4.14 4.18 5/255 12480
/proc/meminfo: memFree=92038112/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=233976 memory=180336 CPUtime=127.65 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 32903 0 0 0 12422 343 0 0 20 0 1 0 1496818 239591424 45084 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 58494 45084 1929 992 0 50352 0
Current children cumulated CPU time: 127.65 s
Current children cumulated vsize: 233976 KiB
Current children cumulated memory: 180336 KiB
[startup+140.8 s]
/proc/loadavg: 4.08 4.13 4.17 5/255 12481
/proc/meminfo: memFree=91796440/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=238788 memory=187392 CPUtime=140.41 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 34103 0 0 0 13674 367 0 0 20 0 1 0 1496818 244518912 46848 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59697 46848 1929 992 0 51555 0
Current children cumulated CPU time: 140.41 s
Current children cumulated vsize: 238788 KiB
Current children cumulated memory: 187392 KiB
[startup+147.2 s]
/proc/loadavg: 4.16 4.15 4.18 5/255 12483
/proc/meminfo: memFree=91704992/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=239640 memory=187920 CPUtime=146.79 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 34281 0 0 0 14304 375 0 0 20 0 1 0 1496818 245391360 46980 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59910 46980 1929 992 0 51768 0
Current children cumulated CPU time: 146.79 s
Current children cumulated vsize: 239640 KiB
Current children cumulated memory: 187920 KiB
[startup+150.4 s]
/proc/loadavg: 4.14 4.14 4.18 5/255 12484
/proc/meminfo: memFree=91669620/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=239640 memory=187920 CPUtime=149.97 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 34281 0 0 0 14617 380 0 0 20 0 1 0 1496818 245391360 46980 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59910 46980 1929 992 0 51768 0
Current children cumulated CPU time: 149.97 s
Current children cumulated vsize: 239640 KiB
Current children cumulated memory: 187920 KiB
[startup+152 s]*
/proc/loadavg: 4.14 4.14 4.18 5/255 12484
/proc/meminfo: memFree=91646568/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=239640 memory=188068 CPUtime=151.59 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 34302 0 0 0 14777 382 0 0 20 0 1 0 1496818 245391360 47017 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59910 47017 1929 992 0 51768 0
Current children cumulated CPU time: 151.59 s
Current children cumulated vsize: 239640 KiB
Current children cumulated memory: 188068 KiB
[startup+153.6 s]
/proc/loadavg: 4.14 4.14 4.18 5/255 12484
/proc/meminfo: memFree=91633244/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=239640 memory=188068 CPUtime=153.16 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 34303 0 0 0 14932 384 0 0 20 0 1 0 1496818 245391360 47017 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59910 47017 1929 992 0 51768 0
Current children cumulated CPU time: 153.16 s
Current children cumulated vsize: 239640 KiB
Current children cumulated memory: 188068 KiB
[startup+154 s]*
/proc/loadavg: 4.14 4.14 4.18 5/255 12484
/proc/meminfo: memFree=91613676/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=239640 memory=188068 CPUtime=153.58 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 34303 0 0 0 14973 385 0 0 20 0 1 0 1496818 245391360 47017 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59910 47017 1929 992 0 51768 0
Current children cumulated CPU time: 153.58 s
Current children cumulated vsize: 239640 KiB
Current children cumulated memory: 188068 KiB
[startup+154.2 s]
/proc/loadavg: 4.14 4.14 4.18 5/255 12484
/proc/meminfo: memFree=91613676/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=239640 memory=188068 CPUtime=153.77 cores=5,7
/proc/12455/stat : 12455 (roundingsat) R 12452 12455 6745 0 -1 4194304 34303 0 0 0 14992 385 0 0 20 0 1 0 1496818 245391360 47017 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59910 47017 1929 992 0 51768 0
Current children cumulated CPU time: 153.77 s
Current children cumulated vsize: 239640 KiB
Current children cumulated memory: 188068 KiB
[startup+154.3 s]
/proc/loadavg: 4.14 4.14 4.18 5/255 12484
/proc/meminfo: memFree=91613676/131655788 swapFree=131071996/131071996
[pid=12455] ppid=12452 vsize=239640 memory=188068 CPUtime=153.85 cores=5,7
/proc/12455/stat : 12455 (roundingsat) D 12452 12455 6745 0 -1 4194304 34303 0 0 0 14999 386 0 0 20 0 1 0 1496818 245391360 47017 134679101440 4194304 8255733 140733480360336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 13529088 140733480366942 140733480367204 140733480367204 140733480374217 0
/proc/12455/statm: 59910 47017 1929 992 0 51768 0
Current children cumulated CPU time: 153.85 s
Current children cumulated vsize: 239640 KiB
Current children cumulated memory: 188068 KiB
Child status: 0
Real time (s): 154.389
CPU time (s): 153.887
CPU user time (s): 150.005
CPU system time (s): 3.88155
CPU usage (%): 99.6746
Max. virtual memory (cumulated for all children) (KiB): 239640
Max. memory (cumulated for all children) (KiB): 188068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.005
system time used= 3.88155
maximum resident set size= 188068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 992232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3141
involuntary context switches= 362
# summary of solver processes directly reported to runsolver:
# pid: 12455
# total CPU time (s): 153.887
# total CPU user time (s): 150.005
# total CPU system time (s): 3.88155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.793904 second user time and 1.593 second system time
The end
Begin job on nodeC006 at 2024-07-30 16:16:43
IDJOB=4463289
IDBENCH=178796
IDSOLVER=3089
FILE ID=nodeC006/4463289-1722349003
RUNJOBID= nodeC006-1722340763-6758
SLURM_JOB_ID= 8248986
Free space on /tmp= 723748 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-859770.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463289-1722349003/watcher-4463289-1722349003 -o /tmp/evaluation-result-4463289-1722349003/solver-4463289-1722349003 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463289-1722349003 --lp-cut-gomory=0 HOME/instance-4463289-1722349003.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4a685e943d6a7da38bd3737149184f18
RANDOM SEED=31252803
nodeC006.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 : 0xb00001f
cpu MHz : 3634.614
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 3657.762
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.350
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 1197.335
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 3674.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 1392.825
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
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 : 0xb00001f
cpu MHz : 1197.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.46
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 : 0xb00001f
cpu MHz : 1583.077
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 94416580 kB
MemAvailable: 123992380 kB
Buffers: 57320 kB
Cached: 30308628 kB
SwapCached: 0 kB
Active: 187832 kB
Inactive: 36514140 kB
Active(anon): 1428 kB
Inactive(anon): 6355664 kB
Active(file): 186404 kB
Inactive(file): 30158476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 87264 kB
Writeback: 0 kB
AnonPages: 6331876 kB
Mapped: 98060 kB
Shmem: 21320 kB
KReclaimable: 142236 kB
Slab: 224524 kB
SReclaimable: 142236 kB
SUnreclaim: 82288 kB
KernelStack: 4256 kB
PageTables: 21812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7190268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2301952 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: 215880 kB
DirectMap2M: 13320192 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC006 at 2024-07-30 16:19:18