0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4544495-1753220228.opb'
0.00/0.01 c read 0.52MB (7.81ms)
0.00/0.01 c [cnf: #variables 900 #clauses 19855 #duplicates 0 #arr 48690]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 4] (3.68ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c (10.75ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 24265 #edges 104400]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 6.74*10^14 #generators 5] (33.84ms)
0.00/0.06 c
0.00/0.06 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c opt it=15, l=144, m=44, opt=6, avg=1186, b=180, gens=5
0.00/0.06 c ran it=0, +gens=5
0.00/0.10 c con best_support=180, best_gens=1, +gens=225
0.00/0.10 c (35.23ms)
0.00/0.10 c
0.00/0.10 c finalize break order and special generators
0.00/0.10 c
0.00/0.10 c add generic predicates (break_depth=10)
0.00/0.10 c added predicates for 235 generators (0.97ms)
0.00/0.10 c
0.00/0.10 c generation finished
0.00/0.10 c [sbp: #constraints 6580 #add_vars 2115]
0.00/0.10 c
0.00/0.10 c write result to 'HOME/instance-4544495-1753220228.opb.pre'
0.09/0.10 c wrote 0.76MB (1.92ms)
0.09/0.10 c ------------------------------------------------------------------
0.09/0.10 c 35.23ms 37.16% optimize_gens
0.09/0.10 c 33.84ms 35.69% detect_generic
0.09/0.10 c 10.75ms 11.34% detect_special
0.09/0.10 c 7.80ms 8.23% parse
0.09/0.10 c 3.68ms 3.89% approx_orbits
0.09/0.10 c 1.92ms 2.02% output
0.09/0.10 c 0.97ms 1.02% break_generic
0.09/0.10 c 0.38ms 0.40% other
0.09/0.10 c 0.23ms 0.24% finalize_order
0.09/0.10 c ───────────────────────────────────────────────
0.09/0.10 c 94.81ms 100% total
0.09/0.10 c ------------------------------------------------------------------
0.09/0.11 c RoundingSat 2
0.09/0.11 c branch pb25
0.09/0.11 c commit 63f22ad
0.18/0.22 c #variables 3015 #constraints 26435
2.46/2.54 c #Conflicts: 1000 | #Constraints: 27434
2.46/2.54 c #Conflicts: 2000 | #Constraints: 28434
2.46/2.54 c INPROCESSING
2.46/2.54 c #Conflicts: 3000 | #Constraints: 28435
2.46/2.54 c #Conflicts: 4000 | #Constraints: 29435
2.46/2.54 c INPROCESSING
2.46/2.54 c GARBAGE COLLECT
2.46/2.54 c #Conflicts: 5000 | #Constraints: 28841
2.46/2.54 c #Conflicts: 6000 | #Constraints: 29841
2.46/2.54 c INPROCESSING
2.46/2.54 c GARBAGE COLLECT
2.46/2.54 c #Conflicts: 7000 | #Constraints: 28842
2.46/2.54 c #Conflicts: 8000 | #Constraints: 29842
2.46/2.54 c #Conflicts: 9000 | #Constraints: 30842
2.46/2.54 c INPROCESSING
2.46/2.54 c GARBAGE COLLECT
2.46/2.54 c #Conflicts: 10000 | #Constraints: 29545
2.46/2.54 c #Conflicts: 11000 | #Constraints: 30545
2.46/2.54 c #Conflicts: 12000 | #Constraints: 31545
2.46/2.54 c INPROCESSING
2.46/2.54 c GARBAGE COLLECT
2.46/2.54 c rational objective 551.167
14.04/14.16 c #Conflicts: 13000 | #Constraints: 30004
14.04/14.16 c #Conflicts: 14000 | #Constraints: 31004
14.04/14.16 c #Conflicts: 15000 | #Constraints: 32004
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 16000 | #Constraints: 30219
14.04/14.16 c #Conflicts: 17000 | #Constraints: 31219
14.04/14.16 c #Conflicts: 18000 | #Constraints: 32219
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 19000 | #Constraints: 29791
14.04/14.16 c #Conflicts: 20000 | #Constraints: 30791
14.04/14.16 c #Conflicts: 21000 | #Constraints: 31791
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 22000 | #Constraints: 29811
14.04/14.16 c #Conflicts: 23000 | #Constraints: 30811
14.04/14.16 c #Conflicts: 24000 | #Constraints: 31811
14.04/14.16 c #Conflicts: 25000 | #Constraints: 32811
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 26000 | #Constraints: 30524
14.04/14.16 c #Conflicts: 27000 | #Constraints: 31524
14.04/14.16 c #Conflicts: 28000 | #Constraints: 32524
14.04/14.16 c #Conflicts: 29000 | #Constraints: 33524
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 30000 | #Constraints: 30984
14.04/14.16 c #Conflicts: 31000 | #Constraints: 31984
14.04/14.16 c #Conflicts: 32000 | #Constraints: 32984
14.04/14.16 c #Conflicts: 33000 | #Constraints: 33984
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 34000 | #Constraints: 31214
14.04/14.16 c #Conflicts: 35000 | #Constraints: 32214
14.04/14.16 c #Conflicts: 36000 | #Constraints: 33214
14.04/14.16 c #Conflicts: 37000 | #Constraints: 34214
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 38000 | #Constraints: 31226
14.04/14.16 c #Conflicts: 39000 | #Constraints: 32226
14.04/14.16 c #Conflicts: 40000 | #Constraints: 33226
14.04/14.16 c #Conflicts: 41000 | #Constraints: 34226
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 42000 | #Constraints: 31041
14.04/14.16 c #Conflicts: 43000 | #Constraints: 32041
14.04/14.16 c #Conflicts: 44000 | #Constraints: 33041
14.04/14.16 c #Conflicts: 45000 | #Constraints: 34041
14.04/14.16 c #Conflicts: 46000 | #Constraints: 35041
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 47000 | #Constraints: 31647
14.04/14.16 c #Conflicts: 48000 | #Constraints: 32647
14.04/14.16 c #Conflicts: 49000 | #Constraints: 33647
14.04/14.16 c #Conflicts: 50000 | #Constraints: 34647
14.04/14.16 c #Conflicts: 51000 | #Constraints: 35647
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 52000 | #Constraints: 32045
14.04/14.16 c #Conflicts: 53000 | #Constraints: 33045
14.04/14.16 c #Conflicts: 54000 | #Constraints: 34045
14.04/14.16 c #Conflicts: 55000 | #Constraints: 35045
14.04/14.16 c #Conflicts: 56000 | #Constraints: 36045
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 57000 | #Constraints: 32241
14.04/14.16 c #Conflicts: 58000 | #Constraints: 33241
14.04/14.16 c #Conflicts: 59000 | #Constraints: 34241
14.04/14.16 c #Conflicts: 60000 | #Constraints: 35241
14.04/14.16 c #Conflicts: 61000 | #Constraints: 36241
14.04/14.16 c INPROCESSING
14.04/14.16 c GARBAGE COLLECT
14.04/14.16 c #Conflicts: 62000 | #Constraints: 32240
14.04/14.16 c #Conflicts: 63000 | #Constraints: 33240
14.04/14.16 c #Conflicts: 64000 | #Constraints: 34240
14.04/14.17 c #Conflicts: 65000 | #Constraints: 35240
14.04/14.17 c #Conflicts: 66000 | #Constraints: 36240
14.04/14.17 c INPROCESSING
14.04/14.17 c GARBAGE COLLECT
14.04/14.17 c #Conflicts: 67000 | #Constraints: 32044
14.04/14.17 c #Conflicts: 68000 | #Constraints: 33044
14.04/14.17 c #Conflicts: 69000 | #Constraints: 34044
14.04/14.17 c #Conflicts: 70000 | #Constraints: 35044
14.04/14.17 c #Conflicts: 71000 | #Constraints: 36044
14.04/14.17 c #Conflicts: 72000 | #Constraints: 37044
14.04/14.17 c INPROCESSING
14.04/14.17 c GARBAGE COLLECT
14.04/14.17 c rational objective 563.034
15.53/15.61 c #Conflicts: 73000 | #Constraints: 32301
15.53/15.61 c #Conflicts: 74000 | #Constraints: 33301
15.53/15.61 c #Conflicts: 75000 | #Constraints: 34301
15.53/15.61 c #Conflicts: 76000 | #Constraints: 35301
15.53/15.61 c #Conflicts: 77000 | #Constraints: 36301
15.53/15.61 c #Conflicts: 78000 | #Constraints: 37301
15.53/15.61 c INPROCESSING
15.53/15.61 c GARBAGE COLLECT
15.53/15.61 c #Conflicts: 79000 | #Constraints: 31959
15.53/15.61 c cpu time 15.1333 s
15.53/15.61 c deterministic time 530599157 5.31e+08
15.53/15.61 c optimization time 4.5e-05 s
15.53/15.61 c total solve time 15.0471 s
15.53/15.61 c core-guided solve time 0 s
15.53/15.61 c propagation time 7.5928 s
15.53/15.61 c conflict analysis time 2.60224 s
15.53/15.61 c propagations 45153079
15.53/15.61 c resolve steps 1506936
15.53/15.61 c decisions 99067
15.53/15.61 c conflicts 79147
15.53/15.61 c restarts 251
15.53/15.61 c inprocessing phases 20
15.53/15.61 c garbage collections 19 ,( 95.00 )
15.53/15.61 c input clauses 25625 ,( 96.94 )
15.53/15.61 c input cardinalities 0 ,( 0.00 )
15.53/15.61 c input general constraints 810 ,( 3.06 )
15.53/15.61 c input average constraint length 2.56
15.53/15.61 c input average constraint degree 1.03
15.53/15.61 c learned clauses 79146 ,( 99.99 )
15.53/15.61 c learned cardinalities 0 ,( 0.00 )
15.53/15.61 c learned general constraints 7 ,( 0.01 )
15.53/15.61 c learned average constraint length 37.89
15.53/15.61 c learned average constraint degree 219449.31
15.53/15.61 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
15.53/15.61 c counting CF 32, 64, 128, Arb: 817 , 0 , 0 , 0
15.53/15.61 c watched constraints 0 ,( 0.00 )
15.53/15.61 c counting constraints 817 ,( 100.00 )
15.53/15.61 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 126680823 , 0 , 17712300 ,( 0 , 17712300 )
15.53/15.61 c gcd simplifications 28
15.53/15.61 c detected cardinalities 0
15.53/15.61 c weakened non-implied lits 145042
15.53/15.61 c weakened non-implying lits 87
15.53/15.61 c original variables 3015
15.53/15.61 c clausal propagations 38895505
15.53/15.61 c cardinality propagations 0
15.53/15.61 c watched propagations 0
15.53/15.61 c counting propagations 6178428
15.53/15.61 c watch lookups 144435805
15.53/15.61 c watch backjump lookups 0
15.53/15.61 c watch checks 203247784
15.53/15.61 c propagation checks 81405026
15.53/15.61 c constraint additions 10905477
15.53/15.61 c trail pops 45329777
15.53/15.61 c formula constraints 26435
15.53/15.61 c learned constraints 79146
15.53/15.61 c bound constraints 0
15.53/15.61 c core-guided constraints 0
15.53/15.61 c encountered formula constraints 1203090
15.53/15.61 c encountered learned constraints 382993
15.53/15.61 c encountered bound constraints 0
15.53/15.61 c encountered core-guided constraints 0
15.53/15.61 c LP total time 2.28619 s
15.53/15.61 c LP solve time 1.97 s
15.53/15.61 c LP constraints added 26446
15.53/15.61 c LP constraints removed 1
15.53/15.61 c LP pivots internal 8124
15.53/15.61 c LP pivots root 15017
15.53/15.61 c LP calls 11
15.53/15.61 c LP optimalities 7
15.53/15.61 c LP no pivot count 0
15.53/15.61 c LP infeasibilities 1
15.53/15.61 c LP valid Farkas constraints 1
15.53/15.61 c LP learned Farkas constraints 0
15.53/15.61 c LP basis resets 0
15.53/15.61 c LP cycling count 0
15.53/15.61 c LP singular count 0
15.53/15.61 c LP no primal count 0
15.53/15.61 c LP no farkas count 0
15.53/15.61 c LP other issue count 0
15.53/15.61 c LP Gomory cuts 6
15.53/15.61 c LP learned cuts 5
15.53/15.61 c LP deleted cuts 1
15.53/15.61 c LP encountered Gomory constraints 0
15.53/15.61 c LP encountered Farkas constraints 0
15.53/15.61 c LP encountered learned Farkas constraints 0
15.53/15.61 c CG auxiliary variables introduced 0
15.53/15.61 c CG solutions found 0
15.53/15.61 c CG cores constructed 0
15.53/15.61 c CG core cardinality constraints returned 0
15.53/15.61 c CG unit cores 0
15.53/15.61 c CG single cores 0
15.53/15.61 c CG blocks removed during cardinality reduction 0
15.53/15.61 c CG first core best 0
15.53/15.61 c CG decision core best 0
15.53/15.61 c CG core reduction tie 0
15.53/15.61 c CG core degree average 0.00
15.53/15.61 c CG core slack average 0.00
15.53/15.61 c CG core upper bound improvements 0
15.53/15.61 c STR number of successful calls 0
15.53/15.61 c STR number of unsuccessful calls 0
15.53/15.61 c STR number of inconclusive calls 0
15.53/15.61 c STR number of successful attempts 0
15.53/15.61 c STR number of unsuccessful attempts 0
15.53/15.61 c STR number of inconclusive attempts 0
15.53/15.61 c STR average degree increase per successful call inf
15.53/15.61 c STR average degree increase per successful attempt inf
15.53/15.61 c STR total number of conflicts for successful attempts 0
15.53/15.61 c STR total number of conflicts for unsuccessful attempts 0
15.53/15.61 c STR total number of conflicts for inconclusive attempts 0
15.53/15.61 c STR average number of conflicts per successful attempt inf
15.53/15.61 c STR average number of conflicts per unsuccessful attempt inf
15.53/15.61 c STR average number of conflicts per inconclusive attempt inf
15.53/15.61 c AVG.sumWPerc 99.79
15.53/15.61 c bigint constraints 0
15.53/15.61 s UNSATISFIABLE
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: 63708 MiB (57728 MiB free)
memory of node 1: 64465 MiB (63327 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544495-1753220228/watcher-4544495-1753220228 -o /tmp/evaluation-result-4544495-1753220228/solver-4544495-1753220228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760 run-dec-break.sh HOME/instance-4544495-1753220228.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=178867, runsolver pid=178864
[startup+0.100061 s]*
/proc/loadavg: 4.04 4.07 4.08 5/268 178869
/proc/meminfo: memFree=123957484/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178869] ppid=178867 vsize=26596 memory=18440 CPUtime=0.09 cores=1,3
/proc/178869/stat : 178869 (pbsuma) R 178867 178867 175467 0 -1 4194304 5296 0 0 0 8 1 0 0 20 0 1 0 237702224 27234304 4610 18446744073709551615 4210688 4653049 140730822939088 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 18493440 140730822945121 140730822945328 140730822945328 140730822950895 0
/proc/178869/statm: 6649 4610 1024 108 0 4057 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30788 KiB
Current children cumulated memory: 21512 KiB
[startup+0.205542 s]*
/proc/loadavg: 4.04 4.07 4.08 5/268 178870
/proc/meminfo: memFree=123953484/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=73600 memory=29020 CPUtime=0.09 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 4798 0 0 0 7 2 0 0 20 0 1 0 237702234 75366400 7255 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 18400 7255 2304 1147 0 5827 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77792 KiB
Current children cumulated memory: 32092 KiB
[startup+0.305504 s]*
/proc/loadavg: 4.04 4.07 4.08 5/268 178870
/proc/meminfo: memFree=123929648/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=94680 memory=48220 CPUtime=0.19 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 7607 0 0 0 16 3 0 0 20 0 1 0 237702234 96952320 12055 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 23670 12055 2336 1147 0 11097 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 98872 KiB
Current children cumulated memory: 51292 KiB
[startup+0.70022 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 178870
/proc/meminfo: memFree=123929648/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=94680 memory=48732 CPUtime=0.57 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 7656 0 0 0 54 3 0 0 20 0 1 0 237702234 96952320 12183 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 23670 12183 2400 1147 0 11097 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 98872 KiB
Current children cumulated memory: 51804 KiB
[startup+1.50019 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 178870
/proc/meminfo: memFree=123929776/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=94812 memory=49372 CPUtime=1.37 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 7826 0 0 0 132 5 0 0 20 0 1 0 237702234 97087488 12343 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 23703 12343 2400 1147 0 11130 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 99004 KiB
Current children cumulated memory: 52444 KiB
[startup+3.10537 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 178870
/proc/meminfo: memFree=123921732/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=101228 memory=53724 CPUtime=2.97 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 8898 0 0 0 289 8 0 0 20 0 1 0 237702234 103657472 13431 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 25307 13431 2432 1147 0 12734 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 105420 KiB
Current children cumulated memory: 56796 KiB
[startup+6.30012 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 178870
/proc/meminfo: memFree=123921956/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=101480 memory=54148 CPUtime=6.16 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 9048 0 0 0 601 15 0 0 20 0 1 0 237702234 103915520 13537 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 25370 13537 2432 1147 0 12797 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 57220 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 178870
/proc/meminfo: memFree=123909044/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=101688 memory=56888 CPUtime=12.54 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 9227 0 0 0 1227 27 0 0 20 0 1 0 237702234 104128512 14222 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 25422 14222 2432 1147 0 12849 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 105880 KiB
Current children cumulated memory: 59960 KiB
[startup+15.6201 s]
# the end of solver process 178867 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.2223 s, system=0.347387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 178870
/proc/meminfo: memFree=123909044/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=101688 memory=56888 CPUtime=12.64 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 9227 0 0 0 1237 27 0 0 20 0 1 0 237702234 104128512 14222 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 25422 14222 2432 1147 0 12849 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 105880 KiB
Current children cumulated memory: 59960 KiB
[startup+14.4002 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 178870
/proc/meminfo: memFree=123900980/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=102316 memory=57272 CPUtime=14.24 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 9322 0 0 0 1393 31 0 0 20 0 1 0 237702234 104771584 14318 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 25579 14318 2432 1147 0 13006 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 60344 KiB
[startup+15.2001 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 178870
/proc/meminfo: memFree=123900996/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=102316 memory=57272 CPUtime=15.04 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 9322 0 0 0 1472 32 0 0 20 0 1 0 237702234 104771584 14318 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 25579 14318 2432 1147 0 13006 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 106508 KiB
Current children cumulated memory: 60344 KiB
[startup+15.6002 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 178870
/proc/meminfo: memFree=123900996/131250000 swapFree=33009904/33010684
[pid=178867] ppid=178864 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/178867/stat : 178867 (run-dec-break.s) S 178864 178867 175467 0 -1 4194304 234 5299 0 0 0 0 8 1 20 0 1 0 237702223 4292608 768 18446744073709551615 94620866531328 94620867425861 140731354319840 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94620867664912 94620867712656 94620901289984 140731354323295 140731354323424 140731354323424 140731354329028 0
/proc/178867/statm: 1048 768 704 219 0 110 0
[pid=178870] ppid=178867 vsize=103228 memory=58424 CPUtime=15.44 cores=1,3
/proc/178870/stat : 178870 (roundingsat) R 178867 178867 175467 0 -1 4194304 9603 0 0 0 1511 33 0 0 20 0 1 0 237702234 105705472 14606 18446744073709551615 4227072 8923433 140728744347520 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30343168 140728744356162 140728744356390 140728744356390 140728744361962 0
/proc/178870/statm: 25807 14606 2432 1147 0 13234 0
Current children cumulated CPU time: 15.53 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 61496 KiB
Child status: 0
Real time (s): 15.6201
CPU time (s): 15.5697
CPU user time (s): 15.2223
CPU system time (s): 0.347387
CPU usage (%): 99.6773
Max. virtual memory (cumulated for all children) (KiB): 107420
Max. memory (cumulated for all children) (KiB): 61496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2223
system time used= 0.347387
maximum resident set size= 58424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 77
# summary of solver processes directly reported to runsolver:
# pid: 178867
# total CPU time (s): 15.5697
# total CPU user time (s): 15.2223
# total CPU system time (s): 0.347387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038941 second user time and 0.094246 second system time
The end
Begin job on nodeC033 at 2025-07-22 23:37:08
IDJOB=4544495
IDBENCH=180673
IDSOLVER=3357
FILE ID=nodeC033/4544495-1753220228
RUNJOBID= nodeC033-1753211687-175479
SLURM_JOB_ID= 9687798
Free space on /tmp= 432460 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat10_9identity_complement.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544495-1753220228/watcher-4544495-1753220228 -o /tmp/evaluation-result-4544495-1753220228/solver-4544495-1753220228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760 run-dec-break.sh HOME/instance-4544495-1753220228.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab67e3b90eb3931507bbeeb5ae959313
RANDOM SEED=1240448824
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.060
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3599.971
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.694
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.068
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.056
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.066
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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.384
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.775
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123961376 kB
MemAvailable: 125545492 kB
Buffers: 2128 kB
Cached: 2307104 kB
SwapCached: 64 kB
Active: 5397728 kB
Inactive: 1079972 kB
Active(anon): 4189412 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 1074688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7864 kB
Writeback: 0 kB
AnonPages: 4169676 kB
Mapped: 122160 kB
Shmem: 26228 kB
KReclaimable: 280700 kB
Slab: 378724 kB
SReclaimable: 280700 kB
SUnreclaim: 98024 kB
KernelStack: 4352 kB
PageTables: 11884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4893244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2084864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432452 MiB
End job on nodeC033 at 2025-07-22 23:37:24