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-4544456-1753220182.opb'
0.08/0.18 c read 10.85MB (178.31ms)
0.08/0.18 c [cnf: #variables 5508 #clauses 408375 #duplicates 0 #arr 915858]
0.08/0.19 c
0.08/0.19 c make graph and approximate orbits
0.19/0.25 c [group: #orbits ~= 4] (61.13ms)
0.19/0.25 c
0.19/0.25 c detect special group actions
0.19/0.25 c probe for Johnson action (limit=64)
0.39/0.44 c probe for row-column symmetry (limit=64, splits=16.78M)
0.49/0.55 c probe for row symmetry (limit=64, splits=16.78M)
0.49/0.57 c (320.33ms)
0.49/0.57 c
0.49/0.57 c detect symmetries on remainder
0.49/0.57 c [graph: #vertices 435609 #edges 1875168]
0.49/0.57 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.48/1.51 c [group: #symmetries 2.98*10^35 #generators 9] (940.98ms)
1.48/1.51 c
1.48/1.51 c optimize generators (opt_passes=64, conjugate_limit=262)
1.48/1.52 c opt it=15, l=272, m=112, opt=17, avg=6948, b=2728, gens=9
1.48/1.53 c opt it=31, l=427, m=192, opt=22, avg=6857, b=2728, gens=9
1.48/1.54 c opt it=47, l=583, m=273, opt=27, avg=6855, b=2728, gens=9
1.48/1.54 c ran it=0, +gens=9
1.67/1.76 c con best_support=2728, best_gens=4, +gens=262
1.67/1.76 c (257.08ms)
1.67/1.76 c
1.67/1.76 c finalize break order and special generators
1.67/1.77 c
1.67/1.77 c add generic predicates (break_depth=10)
1.67/1.79 c added predicates for 280 generators (22.82ms)
1.67/1.79 c
1.67/1.79 c generation finished
1.67/1.79 c [sbp: #constraints 7840 #add_vars 2520]
1.67/1.79 c
1.67/1.79 c write result to 'HOME/instance-4544456-1753220182.opb.pre'
1.78/1.82 c wrote 11.52MB (24.00ms)
1.78/1.82 c ------------------------------------------------------------------
1.78/1.82 c 940.98ms 52.02% detect_generic
1.78/1.82 c 320.33ms 17.71% detect_special
1.78/1.82 c 257.08ms 14.21% optimize_gens
1.78/1.82 c 178.31ms 9.86% parse
1.78/1.82 c 61.13ms 3.38% approx_orbits
1.78/1.82 c 24.00ms 1.33% output
1.78/1.82 c 22.82ms 1.26% break_generic
1.78/1.82 c 3.53ms 0.20% finalize_order
1.78/1.82 c 0.78ms 0.04% other
1.78/1.82 c ───────────────────────────────────────────────
1.78/1.82 c 1808.96ms 100% total
1.78/1.82 c ------------------------------------------------------------------
1.78/1.89 c RoundingSat 2
1.78/1.89 c branch pb25
1.78/1.89 c commit 63f22ad
3.35/3.48 c #variables 8028 #constraints 416215
44.86/45.03 c #Conflicts: 1000 | #Constraints: 417214
44.86/45.03 c #Conflicts: 2000 | #Constraints: 418214
44.86/45.03 c INPROCESSING
44.86/45.03 c GARBAGE COLLECT
44.86/45.03 c #Conflicts: 3000 | #Constraints: 297730
44.86/45.03 c #Conflicts: 4000 | #Constraints: 298730
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 5000 | #Constraints: 297800
44.86/45.03 c #Conflicts: 6000 | #Constraints: 298800
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 7000 | #Constraints: 297814
44.86/45.03 c #Conflicts: 8000 | #Constraints: 298814
44.86/45.03 c #Conflicts: 9000 | #Constraints: 299814
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 10000 | #Constraints: 298521
44.86/45.03 c #Conflicts: 11000 | #Constraints: 299521
44.86/45.03 c #Conflicts: 12000 | #Constraints: 300521
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 13000 | #Constraints: 298980
44.86/45.03 c #Conflicts: 14000 | #Constraints: 299980
44.86/45.03 c #Conflicts: 15000 | #Constraints: 300980
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 16000 | #Constraints: 298202
44.86/45.03 c #Conflicts: 17000 | #Constraints: 299202
44.86/45.03 c #Conflicts: 18000 | #Constraints: 300202
44.86/45.03 c INPROCESSING
44.86/45.03 c GARBAGE COLLECT
44.86/45.03 c #Conflicts: 19000 | #Constraints: 298250
44.86/45.03 c #Conflicts: 20000 | #Constraints: 299250
44.86/45.03 c #Conflicts: 21000 | #Constraints: 300250
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 22000 | #Constraints: 298073
44.86/45.03 c #Conflicts: 23000 | #Constraints: 299073
44.86/45.03 c #Conflicts: 24000 | #Constraints: 300073
44.86/45.03 c #Conflicts: 25000 | #Constraints: 301073
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 26000 | #Constraints: 298685
44.86/45.03 c #Conflicts: 27000 | #Constraints: 299685
44.86/45.03 c #Conflicts: 28000 | #Constraints: 300685
44.86/45.03 c #Conflicts: 29000 | #Constraints: 301685
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 30000 | #Constraints: 299088
44.86/45.03 c #Conflicts: 31000 | #Constraints: 300088
44.86/45.03 c #Conflicts: 32000 | #Constraints: 301088
44.86/45.03 c #Conflicts: 33000 | #Constraints: 302088
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 34000 | #Constraints: 299293
44.86/45.03 c #Conflicts: 35000 | #Constraints: 300293
44.86/45.03 c #Conflicts: 36000 | #Constraints: 301293
44.86/45.03 c #Conflicts: 37000 | #Constraints: 302293
44.86/45.03 c INPROCESSING
44.86/45.03 c GARBAGE COLLECT
44.86/45.03 c #Conflicts: 38000 | #Constraints: 299297
44.86/45.03 c #Conflicts: 39000 | #Constraints: 300297
44.86/45.03 c #Conflicts: 40000 | #Constraints: 301297
44.86/45.03 c #Conflicts: 41000 | #Constraints: 302297
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 42000 | #Constraints: 299095
44.86/45.03 c #Conflicts: 43000 | #Constraints: 300095
44.86/45.03 c #Conflicts: 44000 | #Constraints: 301095
44.86/45.03 c #Conflicts: 45000 | #Constraints: 302095
44.86/45.03 c #Conflicts: 46000 | #Constraints: 303095
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 47000 | #Constraints: 299697
44.86/45.03 c #Conflicts: 48000 | #Constraints: 300697
44.86/45.03 c #Conflicts: 49000 | #Constraints: 301697
44.86/45.03 c #Conflicts: 50000 | #Constraints: 302697
44.86/45.03 c #Conflicts: 51000 | #Constraints: 303697
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 52000 | #Constraints: 300097
44.86/45.03 c #Conflicts: 53000 | #Constraints: 301097
44.86/45.03 c #Conflicts: 54000 | #Constraints: 302097
44.86/45.03 c #Conflicts: 55000 | #Constraints: 303097
44.86/45.03 c #Conflicts: 56000 | #Constraints: 304097
44.86/45.03 c INPROCESSING
44.86/45.03 c GARBAGE COLLECT
44.86/45.03 c #Conflicts: 57000 | #Constraints: 273462
44.86/45.03 c #Conflicts: 58000 | #Constraints: 274462
44.86/45.03 c #Conflicts: 59000 | #Constraints: 275462
44.86/45.03 c #Conflicts: 60000 | #Constraints: 276462
44.86/45.03 c #Conflicts: 61000 | #Constraints: 277462
44.86/45.03 c INPROCESSING
44.86/45.03 c #Conflicts: 62000 | #Constraints: 274881
44.86/45.03 c #Conflicts: 63000 | #Constraints: 275881
44.86/45.03 c #Conflicts: 64000 | #Constraints: 276881
44.86/45.03 c cpu time 42.2514 s
44.86/45.03 c deterministic time 832608201 8.33e+08
44.86/45.03 c optimization time 5.1e-05 s
44.86/45.03 c total solve time 41.0807 s
44.86/45.03 c core-guided solve time 0 s
44.86/45.03 c propagation time 16.071 s
44.86/45.03 c conflict analysis time 4.58516 s
44.86/45.03 c propagations 83618178
44.86/45.03 c resolve steps 1910471
44.86/45.03 c decisions 80788
44.86/45.03 c conflicts 64057
44.86/45.03 c restarts 189
44.86/45.03 c inprocessing phases 17
44.86/45.03 c garbage collections 4 ,( 23.53 )
44.86/45.03 c input clauses 411013 ,( 98.75 )
44.86/45.03 c input cardinalities 0 ,( 0.00 )
44.86/45.03 c input general constraints 5202 ,( 1.25 )
44.86/45.05 c input average constraint length 2.25
44.86/45.05 c input average constraint degree 1.01
44.86/45.05 c learned clauses 64056 ,( 100.00 )
44.86/45.05 c learned cardinalities 0 ,( 0.00 )
44.86/45.05 c learned general constraints 0 ,( 0.00 )
44.86/45.05 c learned average constraint length 44.25
44.86/45.05 c learned average constraint degree 1.00
44.86/45.05 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
44.86/45.05 c counting CF 32, 64, 128, Arb: 5202 , 0 , 0 , 0
44.86/45.05 c watched constraints 0 ,( 0.00 )
44.86/45.05 c counting constraints 5202 ,( 100.00 )
44.86/45.05 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 160788598 , 0 , 66938988 ,( 0 , 66938988 )
44.86/45.05 c gcd simplifications 12
44.86/45.05 c detected cardinalities 0
44.86/45.05 c weakened non-implied lits 206435
44.86/45.05 c weakened non-implying lits 27
44.86/45.05 c original variables 8028
44.86/45.05 c clausal propagations 70152777
44.86/45.05 c cardinality propagations 0
44.86/45.05 c watched propagations 0
44.86/45.05 c counting propagations 13401345
44.86/45.05 c watch lookups 227727586
44.86/45.05 c watch backjump lookups 0
44.86/45.05 c watch checks 176751404
44.86/45.05 c propagation checks 248775866
44.86/45.05 c constraint additions 11876296
44.86/45.05 c trail pops 83758206
44.86/45.05 c formula constraints 416215
44.86/45.05 c learned constraints 64056
44.86/45.05 c bound constraints 0
44.86/45.05 c core-guided constraints 0
44.86/45.05 c encountered formula constraints 1598047
44.86/45.05 c encountered learned constraints 376481
44.86/45.05 c encountered bound constraints 0
44.86/45.05 c encountered core-guided constraints 0
44.86/45.05 c LP total time 12.096 s
44.86/45.05 c LP solve time 11.91 s
44.86/45.05 c LP constraints added 416215
44.86/45.05 c LP constraints removed 0
44.86/45.05 c LP pivots internal 6876
44.86/45.05 c LP pivots root 13000
44.86/45.05 c LP calls 5
44.86/45.05 c LP optimalities 1
44.86/45.05 c LP no pivot count 0
44.86/45.05 c LP infeasibilities 0
44.86/45.05 c LP valid Farkas constraints 0
44.86/45.05 c LP learned Farkas constraints 0
44.86/45.05 c LP basis resets 0
44.86/45.05 c LP cycling count 0
44.86/45.05 c LP singular count 0
44.86/45.05 c LP no primal count 0
44.86/45.05 c LP no farkas count 0
44.86/45.05 c LP other issue count 0
44.86/45.05 c LP Gomory cuts 0
44.86/45.05 c LP learned cuts 0
44.86/45.05 c LP deleted cuts 0
44.86/45.05 c LP encountered Gomory constraints 0
44.86/45.05 c LP encountered Farkas constraints 0
44.86/45.05 c LP encountered learned Farkas constraints 0
44.86/45.05 c CG auxiliary variables introduced 0
44.86/45.05 c CG solutions found 0
44.86/45.05 c CG cores constructed 0
44.86/45.05 c CG core cardinality constraints returned 0
44.86/45.05 c CG unit cores 0
44.86/45.05 c CG single cores 0
44.86/45.05 c CG blocks removed during cardinality reduction 0
44.86/45.05 c CG first core best 0
44.86/45.05 c CG decision core best 0
44.86/45.05 c CG core reduction tie 0
44.86/45.05 c CG core degree average 0.00
44.86/45.05 c CG core slack average 0.00
44.86/45.05 c CG core upper bound improvements 0
44.86/45.05 c STR number of successful calls 0
44.86/45.05 c STR number of unsuccessful calls 0
44.86/45.05 c STR number of inconclusive calls 0
44.86/45.05 c STR number of successful attempts 0
44.86/45.05 c STR number of unsuccessful attempts 0
44.86/45.05 c STR number of inconclusive attempts 0
44.86/45.05 c STR average degree increase per successful call inf
44.86/45.05 c STR average degree increase per successful attempt inf
44.86/45.05 c STR total number of conflicts for successful attempts 0
44.86/45.05 c STR total number of conflicts for unsuccessful attempts 0
44.86/45.05 c STR total number of conflicts for inconclusive attempts 0
44.86/45.05 c STR average number of conflicts per successful attempt inf
44.86/45.05 c STR average number of conflicts per unsuccessful attempt inf
44.86/45.05 c STR average number of conflicts per inconclusive attempt inf
44.86/45.05 c AVG.sumWPerc 100.00
44.86/45.05 c bigint constraints 0
44.86/45.05 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 (57743 MiB free)
memory of node 1: 64465 MiB (63436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544456-1753220182/watcher-4544456-1753220182 -o /tmp/evaluation-result-4544456-1753220182/solver-4544456-1753220182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760 run-dec-break.sh HOME/instance-4544456-1753220182.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=178819, runsolver pid=178816
[startup+0.100065 s]*
/proc/loadavg: 4.09 4.09 4.09 5/270 178821
/proc/meminfo: memFree=124017440/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178821] ppid=178819 vsize=98872 memory=88156 CPUtime=0.08 cores=1,3
/proc/178821/stat : 178821 (pbsuma) R 178819 178819 175467 0 -1 4194304 5884 0 0 0 7 1 0 0 20 0 1 0 237697643 101244928 22039 18446744073709551615 4210688 4653049 140728690853952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 35487744 140728690858337 140728690858544 140728690858544 140728690864111 0
/proc/178821/statm: 24718 22039 960 108 0 22126 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103064 KiB
Current children cumulated memory: 91228 KiB
[startup+0.205639 s]*
/proc/loadavg: 4.09 4.09 4.09 5/270 178821
/proc/meminfo: memFree=123985372/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178821] ppid=178819 vsize=132620 memory=122912 CPUtime=0.19 cores=1,3
/proc/178821/stat : 178821 (pbsuma) R 178819 178819 175467 0 -1 4194304 12501 0 0 0 17 2 0 0 20 0 1 0 237697643 135802880 30728 18446744073709551615 4210688 4653049 140728690853952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 35487744 140728690858337 140728690858544 140728690858544 140728690864111 0
/proc/178821/statm: 33155 30728 992 108 0 30563 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136812 KiB
Current children cumulated memory: 125984 KiB
[startup+0.305573 s]*
/proc/loadavg: 4.09 4.09 4.09 5/270 178821
/proc/meminfo: memFree=123940700/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178821] ppid=178819 vsize=197652 memory=153112 CPUtime=0.29 cores=1,3
/proc/178821/stat : 178821 (pbsuma) R 178819 178819 175467 0 -1 4194304 19005 0 0 0 25 4 0 0 20 0 1 0 237697643 202395648 38278 18446744073709551615 4210688 4653049 140728690853952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 35487744 140728690858337 140728690858544 140728690858544 140728690864111 0
/proc/178821/statm: 49413 38278 992 108 0 46821 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 201844 KiB
Current children cumulated memory: 156184 KiB
[startup+0.700203 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 178821
/proc/meminfo: memFree=123940448/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178821] ppid=178819 vsize=296664 memory=230896 CPUtime=0.68 cores=1,3
/proc/178821/stat : 178821 (pbsuma) R 178819 178819 175467 0 -1 4194304 35435 0 0 0 61 7 0 0 20 0 1 0 237697643 303783936 57724 18446744073709551615 4210688 4653049 140728690853952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 35487744 140728690858337 140728690858544 140728690858544 140728690864111 0
/proc/178821/statm: 74166 57724 992 108 0 71574 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 300856 KiB
Current children cumulated memory: 233968 KiB
[startup+1.50021 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 178821
/proc/meminfo: memFree=123817336/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178821] ppid=178819 vsize=363384 memory=314472 CPUtime=1.48 cores=1,3
/proc/178821/stat : 178821 (pbsuma) R 178819 178819 175467 0 -1 4194304 55615 0 0 0 138 10 0 0 20 0 1 0 237697643 372105216 78618 18446744073709551615 4210688 4653049 140728690853952 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 35487744 140728690858337 140728690858544 140728690858544 140728690864111 0
/proc/178821/statm: 90846 78618 992 108 0 88254 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 367576 KiB
Current children cumulated memory: 317544 KiB
[startup+3.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 178822
/proc/meminfo: memFree=123868700/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=335060 memory=230192 CPUtime=1.21 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 38003 0 0 0 85 36 0 0 20 0 1 0 237697830 343101440 57548 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 83765 57548 2240 1147 0 71192 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 339252 KiB
Current children cumulated memory: 233264 KiB
[startup+6.30018 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 178822
/proc/meminfo: memFree=123488320/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=617788 memory=520884 CPUtime=4.4 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 54790 0 0 0 393 47 0 0 20 0 1 0 237697830 632614912 130221 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 154447 130221 2272 1147 0 141874 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 621980 KiB
Current children cumulated memory: 523956 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 178822
/proc/meminfo: memFree=123471724/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=625948 memory=529460 CPUtime=10.78 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 56899 0 0 0 1025 53 0 0 20 0 1 0 237697830 640970752 132365 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 156487 132365 2368 1147 0 143914 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 630140 KiB
Current children cumulated memory: 532532 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 178822
/proc/meminfo: memFree=123443672/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=530100 CPUtime=23.54 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57044 0 0 0 2292 62 0 0 20 0 1 0 237697830 648212480 132525 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 132525 2368 1147 0 145682 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 533172 KiB
[startup+45.0687 s]
# the end of solver process 178819 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=44.0287 s, system=0.914222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.06 4.08 4.09 5/270 178822
/proc/meminfo: memFree=123443672/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=530100 CPUtime=23.65 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57044 0 0 0 2302 63 0 0 20 0 1 0 237697830 648212480 132525 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 132525 2368 1147 0 145682 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 533172 KiB
[startup+38.4002 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 178823
/proc/meminfo: memFree=123418840/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=532420 CPUtime=36.41 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57112 0 0 0 3569 72 0 0 20 0 1 0 237697830 648212480 133105 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 133105 2368 1147 0 145682 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 535492 KiB
[startup+41.6002 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 178823
/proc/meminfo: memFree=123398552/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=532420 CPUtime=39.6 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57112 0 0 0 3886 74 0 0 20 0 1 0 237697830 648212480 133105 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 133105 2368 1147 0 145682 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 535492 KiB
[startup+43.2002 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 178823
/proc/meminfo: memFree=123400776/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=532420 CPUtime=41.2 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57112 0 0 0 4045 75 0 0 20 0 1 0 237697830 648212480 133105 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 133105 2368 1147 0 145682 0
Current children cumulated CPU time: 43.06 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 535492 KiB
[startup+44.0002 s]*
/proc/loadavg: 4.04 4.07 4.08 5/268 178823
/proc/meminfo: memFree=123408840/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=532420 CPUtime=42 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57112 0 0 0 4124 76 0 0 20 0 1 0 237697830 648212480 133105 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 133105 2368 1147 0 145682 0
Current children cumulated CPU time: 43.86 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 535492 KiB
[startup+44.8002 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 178823
/proc/meminfo: memFree=123408840/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=532420 CPUtime=42.8 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57112 0 0 0 4203 77 0 0 20 0 1 0 237697830 648212480 133105 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 133105 2368 1147 0 145682 0
Current children cumulated CPU time: 44.66 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 535492 KiB
[startup+45.0002 s]*
/proc/loadavg: 4.04 4.07 4.08 5/268 178823
/proc/meminfo: memFree=123408840/131250000 swapFree=33009904/33010684
[pid=178819] ppid=178816 vsize=4192 memory=3072 CPUtime=1.86 cores=1,3
/proc/178819/stat : 178819 (run-dec-break.s) S 178816 178819 175467 0 -1 4194304 236 55745 0 0 0 0 174 12 20 0 1 0 237697642 4292608 768 18446744073709551615 94094184636416 94094185530949 140726542001632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94094185770000 94094185817744 94094187081728 140726542010719 140726542010848 140726542010848 140726542016452 0
/proc/178819/statm: 1048 768 704 219 0 110 0
[pid=178822] ppid=178819 vsize=633020 memory=532420 CPUtime=43 cores=1,3
/proc/178822/stat : 178822 (roundingsat) R 178819 178819 175467 0 -1 4194304 57112 0 0 0 4223 77 0 0 20 0 1 0 237697830 648212480 133105 18446744073709551615 4227072 8923433 140736671300656 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38600704 140736671308098 140736671308326 140736671308326 140736671313898 0
/proc/178822/statm: 158255 133105 2368 1147 0 145682 0
Current children cumulated CPU time: 44.86 s
Current children cumulated vsize: 637212 KiB
Current children cumulated memory: 535492 KiB
Child status: 0
Real time (s): 45.0688
CPU time (s): 44.9429
CPU user time (s): 44.0287
CPU system time (s): 0.914222
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 657800
Max. memory (cumulated for all children) (KiB): 558360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.0287
system time used= 0.914222
maximum resident set size= 571416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 178819
# total CPU time (s): 44.9429
# total CPU user time (s): 44.0287
# total CPU system time (s): 0.914222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108945 second user time and 0.220288 second system time
The end
Begin job on nodeC033 at 2025-07-22 23:36:22
IDJOB=4544456
IDBENCH=180672
IDSOLVER=3357
FILE ID=nodeC033/4544456-1753220182
RUNJOBID= nodeC033-1753211687-175479
SLURM_JOB_ID= 9687798
Free space on /tmp= 432452 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat16_15_identity_complement.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544456-1753220182/watcher-4544456-1753220182 -o /tmp/evaluation-result-4544456-1753220182/solver-4544456-1753220182 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760 run-dec-break.sh HOME/instance-4544456-1753220182.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ec82efcd866f342a1f5f756e3ed31d43
RANDOM SEED=1122503315
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.043
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 : 3600.530
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 : 3554.918
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.103
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.071
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.068
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.997
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 : 3594.736
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: 124088200 kB
MemAvailable: 125682148 kB
Buffers: 2128 kB
Cached: 2316936 kB
SwapCached: 64 kB
Active: 5255744 kB
Inactive: 1089804 kB
Active(anon): 4047428 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 1084520 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17744 kB
Writeback: 0 kB
AnonPages: 4028116 kB
Mapped: 122128 kB
Shmem: 26228 kB
KReclaimable: 280700 kB
Slab: 378388 kB
SReclaimable: 280700 kB
SUnreclaim: 97688 kB
KernelStack: 4352 kB
PageTables: 11452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4707552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2013184 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= 432432 MiB
End job on nodeC033 at 2025-07-22 23:37:07