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-4532135-1752599233.opb'
0.00/0.02 c read 1.10MB (13.03ms)
0.00/0.02 c [cnf: #variables 3772 #clauses 5528 #duplicates 0 #arr 117422]
0.00/0.02 c output proof to 'PROOFDIR/proof-4532135-1752599233'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 0] (8.76ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 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 (0.83ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 25204 #edges 266652]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 1.00*10^0 #generators 0] (1.72ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 0 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4532135-1752599233.opb.pre'
0.00/0.04 c wrote 1.10MB (2.46ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 13.03ms 45.97% parse
0.00/0.04 c 8.76ms 30.90% approx_orbits
0.00/0.04 c 2.46ms 8.68% output
0.00/0.04 c 1.72ms 6.08% detect_generic
0.00/0.04 c 1.42ms 5.01% other
0.00/0.04 c 0.83ms 2.94% detect_special
0.00/0.04 c 0.12ms 0.42% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 28.35ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 0f876b3
0.06/0.14 c #variables 3772 #constraints 5628
0.06/0.14 c objective is ce32
0.36/0.42 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.36/0.42 c initial counting CF 32, 64, 128, Arb: 3341 , 0 , 0 , 0
0.36/0.42 c bounds - >= 0 @ 0.346057
0.36/0.48 c rational objective 3
1.64/1.77 c #Conflicts: 1000 | #Constraints: 6628
1.64/1.77 c #Conflicts: 2000 | #Constraints: 7628
1.64/1.77 c INPROCESSING
1.64/1.77 c GARBAGE COLLECT
1.64/1.77 c rational objective 3
2.55/2.65 c bounds - >= 4 @ 2.48184
2.55/2.65 c bounds - >= 5 @ 2.48224
2.55/2.65 c bounds - >= 6 @ 2.48272
2.55/2.65 c bounds - >= 7 @ 2.48524
2.55/2.66 c bounds - >= 8 @ 2.488
2.55/2.66 c bounds - >= 9 @ 2.49163
2.55/2.66 c bounds - >= 10 @ 2.49407
2.55/2.66 c bounds - >= 11 @ 2.4969
2.55/2.67 c bounds - >= 12 @ 2.49984
2.55/2.67 c bounds - >= 13 @ 2.50314
2.55/2.67 c bounds - >= 14 @ 2.50622
2.55/2.68 c bounds - >= 15 @ 2.51096
2.55/2.69 c bounds - >= 16 @ 2.51892
2.75/2.80 c bounds - >= 17 @ 2.62544
2.75/2.81 c bounds - >= 18 @ 2.63822
2.75/2.82 c bounds - >= 19 @ 2.65298
2.75/2.85 c bounds - >= 20 @ 2.67515
2.75/2.87 c bounds - >= 21 @ 2.69385
2.75/2.88 c bounds - >= 22 @ 2.70908
2.85/2.92 c bounds - >= 23 @ 2.75173
2.85/2.98 c bounds - >= 24 @ 2.80962
2.85/3.00 c bounds - >= 25 @ 2.82442
2.95/3.02 c bounds - >= 26 @ 2.84825
2.95/3.07 c bounds - >= 27 @ 2.89504
3.05/3.12 c bounds - >= 28 @ 2.94325
3.14/3.20 c bounds - >= 29 @ 3.01503
3.25/3.31 c bounds - >= 30 @ 3.12031
3.25/3.34 c bounds - >= 31 @ 3.14926
3.34/3.41 c bounds - >= 32 @ 3.22244
3.65/3.78 c #Conflicts: 3000 | #Constraints: 6419
3.65/3.78 c bounds - >= 33 @ 3.58152
3.84/3.95 c bounds - >= 34 @ 3.74876
4.34/4.48 c bounds - >= 35 @ 4.26565
8.93/9.08 c #Conflicts: 4000 | #Constraints: 7428
8.93/9.08 c INPROCESSING
8.93/9.08 c GARBAGE COLLECT
8.93/9.08 c #Conflicts: 5000 | #Constraints: 6833
8.93/9.08 c #Conflicts: 6000 | #Constraints: 7834
8.93/9.08 c INPROCESSING
8.93/9.08 c GARBAGE COLLECT
8.93/9.08 c bounds - >= 36 @ 8.75853
9.04/9.18 c bounds - >= 37 @ 8.86187
10.52/10.67 c #Conflicts: 7000 | #Constraints: 6504
10.52/10.67 c bounds - >= 38 @ 10.3146
11.03/11.12 c bounds - >= 39 @ 10.7551
12.23/12.48 c #Conflicts: 8000 | #Constraints: 7508
12.23/12.48 c cpu time 11.9067 s
12.23/12.48 c deterministic time 377318220 3.77e+08
12.23/12.48 c optimization time 0.286838 s
12.23/12.48 c total solve time 11.5504 s
12.23/12.48 c core-guided solve time 4.9691 s
12.23/12.48 c propagation time 4.48014 s
12.23/12.48 c conflict analysis time 3.85986 s
12.23/12.48 c propagations 3063974
12.23/12.48 c resolve steps 326577
12.23/12.48 c decisions 166398
12.23/12.48 c conflicts 8936
12.23/12.48 c restarts 37
12.23/12.48 c inprocessing phases 3
12.23/12.48 c garbage collections 3 ,( 100.00 )
12.23/12.48 c input clauses 1861 ,( 32.46 )
12.23/12.48 c input cardinalities 464 ,( 8.09 )
12.23/12.48 c input general constraints 3409 ,( 59.45 )
12.23/12.48 c input average constraint length 21.61
12.23/12.48 c input average constraint degree 43.98
12.23/12.48 c learned clauses 7099 ,( 79.40 )
12.23/12.48 c learned cardinalities 394 ,( 4.41 )
12.23/12.48 c learned general constraints 1448 ,( 16.20 )
12.23/12.48 c learned average constraint length 335.36
12.23/12.48 c learned average constraint degree 6135966.06
12.23/12.48 c watched CF 32, 64, 128, Arb: 739 , 0 , 0 , 0
12.23/12.48 c counting CF 32, 64, 128, Arb: 4119 , 0 , 0 , 0
12.23/12.48 c watched constraints 739 ,( 15.22 )
12.23/12.48 c counting constraints 4118 ,( 84.78 )
12.23/12.48 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2212980 , 488114 , 15975686 ,( 3801671 , 12174015 )
12.23/12.48 c gcd simplifications 1262
12.23/12.48 c detected cardinalities 29
12.23/12.48 c weakened non-implied lits 1165212
12.23/12.48 c weakened non-implying lits 697
12.23/12.48 c original variables 3772
12.23/12.48 c clausal propagations 514383
12.23/12.48 c cardinality propagations 851963
12.23/12.48 c watched propagations 67662
12.23/12.48 c counting propagations 1562830
12.23/12.48 c watch lookups 51996045
12.23/12.48 c watch backjump lookups 0
12.23/12.48 c watch checks 163125828
12.23/12.48 c propagation checks 137921098
12.23/12.48 c constraint additions 17783226
12.23/12.48 c trail pops 3237146
12.23/12.48 c formula constraints 5628
12.23/12.48 c learned constraints 8935
12.23/12.48 c bound constraints 35
12.23/12.48 c core-guided constraints 71
12.23/12.48 c encountered formula constraints 267673
12.23/12.48 c encountered learned constraints 67836
12.23/12.48 c encountered bound constraints 3
12.23/12.48 c encountered core-guided constraints 1
12.23/12.48 c LP total time 5.32534 s
12.23/12.48 c LP solve time 4.4 s
12.23/12.48 c LP constraints added 5638
12.23/12.48 c LP constraints removed 1
12.23/12.48 c LP pivots internal 15021
12.23/12.48 c LP pivots root 9483
12.23/12.48 c LP calls 12
12.23/12.48 c LP optimalities 6
12.23/12.48 c LP no pivot count 0
12.23/12.48 c LP infeasibilities 2
12.23/12.48 c LP valid Farkas constraints 2
12.23/12.48 c LP learned Farkas constraints 0
12.23/12.48 c LP basis resets 1
12.23/12.48 c LP cycling count 0
12.23/12.48 c LP singular count 1
12.23/12.48 c LP no primal count 0
12.23/12.48 c LP no farkas count 0
12.23/12.48 c LP other issue count 0
12.23/12.48 c LP Gomory cuts 4
12.23/12.48 c LP learned cuts 6
12.23/12.48 c LP deleted cuts 1
12.23/12.48 c LP encountered Gomory constraints 0
12.23/12.48 c LP encountered Farkas constraints 0
12.23/12.48 c LP encountered learned Farkas constraints 0
12.23/12.48 c CG auxiliary variables introduced 35
12.23/12.48 c CG solutions found 0
12.23/12.48 c CG cores constructed 36
12.23/12.48 c CG core cardinality constraints returned 0
12.23/12.48 c CG unit cores 0
12.23/12.48 c CG single cores 36
12.23/12.48 c CG blocks removed during cardinality reduction 0
12.23/12.48 c CG first core best 0
12.23/12.48 c CG decision core best 0
12.23/12.48 c CG core reduction tie 0
12.23/12.48 c CG core degree average 1.00
12.23/12.48 c CG core slack average 17.50
12.23/12.48 c CG core upper bound improvements 0
12.23/12.48 c STR number of successful calls 0
12.23/12.48 c STR number of unsuccessful calls 0
12.23/12.48 c STR number of inconclusive calls 0
12.23/12.48 c STR number of successful attempts 0
12.23/12.48 c STR number of unsuccessful attempts 0
12.23/12.48 c STR number of inconclusive attempts 0
12.23/12.48 c STR average degree increase per successful call inf
12.23/12.48 c STR average degree increase per successful attempt inf
12.23/12.48 c STR total number of conflicts for successful attempts 0
12.23/12.48 c STR total number of conflicts for unsuccessful attempts 0
12.23/12.48 c STR total number of conflicts for inconclusive attempts 0
12.23/12.48 c STR average number of conflicts per successful attempt inf
12.23/12.48 c STR average number of conflicts per unsuccessful attempt inf
12.23/12.48 c STR average number of conflicts per inconclusive attempt inf
12.23/12.48 c AVG.sumWPerc 77.62
12.23/12.48 c bigint constraints 0
12.23/12.48 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 (18463 MiB free)
memory of node 1: 64465 MiB (59098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532135-1752599233/watcher-4532135-1752599233 -o /tmp/evaluation-result-4532135-1752599233/solver-4532135-1752599233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752597054-136629 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532135-1752599233.opb PROOFDIR/proof-4532135-1752599233
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
solver pid=137445, runsolver pid=137442
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.12 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79407616/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=61384 memory=16884 CPUtime=0.04 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 1896 0 0 0 4 0 0 0 20 0 1 0 175599903 62857216 4221 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 15346 4221 2016 1147 0 2772 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 65576 KiB
Current children cumulated memory: 19956 KiB
[startup+0.20578 s]*
/proc/loadavg: 4.12 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79385124/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=71592 memory=27472 CPUtime=0.14 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 4833 0 0 0 13 1 0 0 20 0 1 0 175599903 73310208 6868 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 17898 6868 2304 1147 0 5324 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 75784 KiB
Current children cumulated memory: 30544 KiB
[startup+0.305753 s]*
/proc/loadavg: 4.12 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79385124/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=71592 memory=27472 CPUtime=0.24 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 4833 0 0 0 23 1 0 0 20 0 1 0 175599903 73310208 6868 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 17898 6868 2304 1147 0 5324 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 75784 KiB
Current children cumulated memory: 30544 KiB
[startup+0.700154 s]
/proc/loadavg: 4.12 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79385124/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=82188 memory=38224 CPUtime=0.63 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 7478 0 0 0 61 2 0 0 20 0 1 0 175599903 84160512 9556 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 20547 9556 2368 1147 0 7973 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 86380 KiB
Current children cumulated memory: 41296 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79376804/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=83900 memory=41896 CPUtime=1.42 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 7893 0 0 0 135 7 0 0 20 0 1 0 175599903 85913600 10474 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 20975 10474 2368 1147 0 8401 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 88092 KiB
Current children cumulated memory: 44968 KiB
[startup+3.10562 s]
/proc/loadavg: 4.11 4.11 4.03 6/276 137448
/proc/meminfo: memFree=79362000/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=99244 memory=56744 CPUtime=3.03 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 11574 0 0 0 292 11 0 0 20 0 1 0 175599903 101625856 14186 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 24811 14186 2400 1147 0 12237 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 103436 KiB
Current children cumulated memory: 59816 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79269664/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=101964 memory=58988 CPUtime=6.22 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 11621 0 0 0 603 19 0 0 20 0 1 0 175599903 104411136 14747 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 25491 14747 2400 1147 0 12917 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 106156 KiB
Current children cumulated memory: 62060 KiB
[startup+12.4879 s]
# the end of solver process 137445 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=11.9337 s, system=0.338217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40018 s]
/proc/loadavg: 4.11 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79269664/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=101964 memory=58988 CPUtime=6.31 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 11621 0 0 0 612 19 0 0 20 0 1 0 175599903 104411136 14747 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 25491 14747 2400 1147 0 12917 0
Current children cumulated CPU time: 6.33 s
Current children cumulated vsize: 106156 KiB
Current children cumulated memory: 62060 KiB
[startup+9.60013 s]
/proc/loadavg: 4.10 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79217736/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=103132 memory=60140 CPUtime=9.5 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 11913 0 0 0 926 24 0 0 20 0 1 0 175599903 105607168 15035 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 25783 15035 2400 1147 0 13209 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 107324 KiB
Current children cumulated memory: 63212 KiB
[startup+11.2001 s]
/proc/loadavg: 4.10 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79171640/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=103132 memory=60652 CPUtime=11.11 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 11921 0 0 0 1083 28 0 0 20 0 1 0 175599903 105607168 15163 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 25783 15163 2528 1147 0 13209 0
Current children cumulated CPU time: 11.13 s
Current children cumulated vsize: 107324 KiB
Current children cumulated memory: 63724 KiB
[startup+12.0001 s]*
/proc/loadavg: 4.10 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79141816/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=103132 memory=60652 CPUtime=11.91 cores=5,7
/proc/137448/stat : 137448 (roundingsat) R 137445 137445 135648 0 -1 4194304 11922 0 0 0 1161 30 0 0 20 0 1 0 175599903 105607168 15163 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 25783 15163 2528 1147 0 13209 0
Current children cumulated CPU time: 11.93 s
Current children cumulated vsize: 107324 KiB
Current children cumulated memory: 63724 KiB
[startup+12.4001 s]
/proc/loadavg: 4.10 4.11 4.03 5/276 137448
/proc/meminfo: memFree=79141816/131250000 swapFree=33008356/33010684
[pid=137445] ppid=137442 vsize=4192 memory=3072 CPUtime=0.02 cores=5,7
/proc/137445/stat : 137445 (run-opt-ls-log.) S 137442 137445 135648 0 -1 4194304 244 3578 0 0 0 0 1 1 20 0 1 0 175599899 4292608 768 18446744073709551615 94872626450432 94872627344965 140733227087008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94872627584016 94872627631760 94872650092544 140733227096345 140733227096543 140733227096543 140733227102147 0
/proc/137445/statm: 1048 768 704 219 0 110 0
[pid=137448] ppid=137445 vsize=103132 memory=60652 CPUtime=12.21 cores=5,7
/proc/137448/stat : 137448 (roundingsat) D 137445 137445 135648 0 -1 4194304 11922 0 0 0 1190 31 0 0 20 0 1 0 175599903 105607168 15163 18446744073709551615 4227072 8923577 140721389979232 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9827200 9836688 42467328 140721389983988 140721389984294 140721389984294 140721389989866 0
/proc/137448/statm: 25783 15163 2528 1147 0 13209 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 107324 KiB
Current children cumulated memory: 63724 KiB
Child status: 0
Real time (s): 12.4879
CPU time (s): 12.2719
CPU user time (s): 11.9337
CPU system time (s): 0.338217
CPU usage (%): 98.2701
Max. virtual memory (cumulated for all children) (KiB): 107324
Max. memory (cumulated for all children) (KiB): 63724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9337
system time used= 0.338217
maximum resident set size= 60652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 169736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2594
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 137445
# total CPU time (s): 12.2719
# total CPU user time (s): 11.9337
# total CPU system time (s): 0.338217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033617 second user time and 0.087685 second system time
The end
Begin job on nodeC014 at 2025-07-15 19:07:13
IDJOB=4532135
IDBENCH=178741
IDSOLVER=3392
FILE ID=nodeC014/4532135-1752599233
RUNJOBID= nodeC014-1752597054-136629
SLURM_JOB_ID= 9684380
Free space on /tmp= 431272 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1769397.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532135-1752599233/watcher-4532135-1752599233 -o /tmp/evaluation-result-4532135-1752599233/solver-4532135-1752599233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752597054-136629 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532135-1752599233.opb PROOFDIR/proof-4532135-1752599233
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d0e5186d4a85a790e67c4702cfcdde79
RANDOM SEED=64546037
nodeC014 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.141
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.23
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.118
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.23
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.162
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.23
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 : 3563.815
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.23
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.151
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.23
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.111
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.23
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 : 3598.931
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.23
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 : 3686.235
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 79423540 kB
MemAvailable: 123640840 kB
Buffers: 696 kB
Cached: 44952476 kB
SwapCached: 1624 kB
Active: 6483944 kB
Inactive: 44461452 kB
Active(anon): 5991128 kB
Inactive(anon): 25776 kB
Active(file): 492816 kB
Inactive(file): 44435676 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1784680 kB
Writeback: 0 kB
AnonPages: 5992776 kB
Mapped: 122628 kB
Shmem: 24600 kB
KReclaimable: 256096 kB
Slab: 407600 kB
SReclaimable: 256096 kB
SUnreclaim: 151504 kB
KernelStack: 4480 kB
PageTables: 15248 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6837140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150776 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2660352 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431264 MiB
End job on nodeC014 at 2025-07-15 19:07:26