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-4515603-1751222142.opb'
0.00/0.04 c read 0.69MB (29.28ms)
0.00/0.04 c [cnf: #variables 23280 #clauses 4657 #duplicates 0 #arr 68885]
0.00/0.04 c output proof to 'PROOFDIR/proof-4515603-1751222142'
0.00/0.05 c
0.00/0.05 c make graph and approximate orbits
0.08/0.11 c [group: #orbits ~= 15340] (64.59ms)
0.08/0.11 c
0.08/0.11 c detect special group actions
0.08/0.11 c probe for Johnson action (limit=64)
0.08/0.11 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.13 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.13 c found row 3x2, generating row predicate
0.08/0.13 c found row 3x2, generating row predicate
0.08/0.13 c found row 4x2, generating row predicate
0.08/0.13 c found row 3x2, generating row predicate
0.08/0.13 c found row 5x2, generating row predicate
0.08/0.13 c found row 3x2, generating row predicate
0.08/0.13 c found row 5x2, generating row predicate
0.08/0.14 c found row 4x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c found row 5x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c found row 5x2, generating row predicate
0.08/0.14 c found row 5x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c found row 4x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c found row 4x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c found row 3x2, generating row predicate
0.08/0.14 c (26.25ms)
0.08/0.14 c
0.08/0.14 c detect symmetries on remainder
0.08/0.14 c [graph: #vertices 97777 #edges 277450]
0.08/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.21 c [group: #symmetries 7.00*10^5669 #generators 14164] (78.26ms)
0.08/0.21 c
0.08/0.21 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.22 c ran it=0, +gens=3
0.20/0.27 c con best_support=4, best_gens=14164, +gens=0
0.20/0.27 c (55.01ms)
0.20/0.27 c
0.20/0.27 c finalize break order and special generators
0.20/0.27 c
0.20/0.27 c add generic predicates (break_depth=10)
0.20/0.28 c added predicates for 14167 generators (4.61ms)
0.30/0.40 c
0.30/0.40 c generation finished
0.30/0.40 c [sbp: #constraints 14229 #add_vars 2]
0.30/0.40 c
0.30/0.40 c write result to 'HOME/instance-4515603-1751222142.opb.pre'
0.30/0.41 c wrote 1.09MB (7.39ms)
0.30/0.41 c ------------------------------------------------------------------
0.30/0.41 c 125.66ms 31.78% other
0.30/0.41 c 78.26ms 19.79% detect_generic
0.30/0.41 c 64.59ms 16.33% approx_orbits
0.30/0.41 c 55.01ms 13.91% optimize_gens
0.30/0.41 c 29.28ms 7.40% parse
0.30/0.41 c 26.25ms 6.64% detect_special
0.30/0.41 c 7.39ms 1.87% output
0.30/0.41 c 4.61ms 1.17% break_generic
0.30/0.41 c 4.39ms 1.11% finalize_order
0.30/0.41 c ───────────────────────────────────────────────
0.30/0.41 c 395.44ms 100% total
0.30/0.41 c ------------------------------------------------------------------
0.39/0.45 c RoundingSat 2
0.39/0.45 c branch pb25
0.39/0.45 c commit 63f22ad
0.75/0.84 c #variables 23282 #constraints 18886
32.06/32.23 c #Conflicts: 1000 | #Constraints: 19885
32.06/32.23 c #Conflicts: 2000 | #Constraints: 20885
32.06/32.23 c INPROCESSING
32.06/32.23 c #Conflicts: 3000 | #Constraints: 20709
32.06/32.23 c #Conflicts: 4000 | #Constraints: 21709
32.06/32.23 c INPROCESSING
32.06/32.23 c #Conflicts: 5000 | #Constraints: 20979
32.06/32.23 c #Conflicts: 6000 | #Constraints: 21979
32.06/32.23 c #Conflicts: 7000 | #Constraints: 22979
32.06/32.23 c #Conflicts: 8000 | #Constraints: 23979
32.06/32.23 c #Conflicts: 9000 | #Constraints: 24979
32.06/32.23 c INPROCESSING
32.06/32.23 c GARBAGE COLLECT
32.06/32.23 c #Conflicts: 10000 | #Constraints: 22383
32.06/32.23 c #Conflicts: 11000 | #Constraints: 23383
32.06/32.23 c #Conflicts: 12000 | #Constraints: 24383
32.06/32.23 c #Conflicts: 13000 | #Constraints: 25383
32.06/32.23 c #Conflicts: 14000 | #Constraints: 26383
32.06/32.23 c #Conflicts: 15000 | #Constraints: 27383
32.06/32.23 c #Conflicts: 16000 | #Constraints: 28383
32.06/32.23 c INPROCESSING
32.06/32.23 c GARBAGE COLLECT
32.06/32.23 c #Conflicts: 17000 | #Constraints: 23733
32.06/32.23 c #Conflicts: 18000 | #Constraints: 24733
32.06/32.23 c #Conflicts: 19000 | #Constraints: 25733
32.06/32.23 c #Conflicts: 20000 | #Constraints: 26733
32.06/32.23 c #Conflicts: 21000 | #Constraints: 27734
32.06/32.23 c #Conflicts: 22000 | #Constraints: 28734
32.06/32.23 c #Conflicts: 23000 | #Constraints: 29734
32.06/32.23 c #Conflicts: 24000 | #Constraints: 30734
32.06/32.23 c #Conflicts: 25000 | #Constraints: 31734
32.06/32.23 c INPROCESSING
32.06/32.23 c GARBAGE COLLECT
32.06/32.23 c #Conflicts: 26000 | #Constraints: 25393
32.06/32.23 c #Conflicts: 27000 | #Constraints: 26393
32.06/32.23 c #Conflicts: 28000 | #Constraints: 27393
32.06/32.23 c #Conflicts: 29000 | #Constraints: 28393
32.06/32.23 c #Conflicts: 30000 | #Constraints: 29393
32.06/32.23 c #Conflicts: 31000 | #Constraints: 30393
32.06/32.23 c #Conflicts: 32000 | #Constraints: 31393
32.06/32.23 c #Conflicts: 33000 | #Constraints: 32393
32.06/32.23 c #Conflicts: 34000 | #Constraints: 33393
32.06/32.23 c #Conflicts: 35000 | #Constraints: 34393
32.06/32.23 c #Conflicts: 36000 | #Constraints: 35394
32.06/32.23 c INPROCESSING
32.06/32.23 c GARBAGE COLLECT
32.06/32.23 c #Conflicts: 37000 | #Constraints: 27691
32.06/32.23 c #Conflicts: 38000 | #Constraints: 28691
32.06/32.23 c #Conflicts: 39000 | #Constraints: 29691
32.06/32.23 c #Conflicts: 40000 | #Constraints: 30691
32.06/32.23 c #Conflicts: 41000 | #Constraints: 31691
32.06/32.23 c #Conflicts: 42000 | #Constraints: 32691
32.06/32.23 c #Conflicts: 43000 | #Constraints: 33691
32.06/32.23 c #Conflicts: 44000 | #Constraints: 34691
32.06/32.23 c #Conflicts: 45000 | #Constraints: 35691
32.06/32.23 c #Conflicts: 46000 | #Constraints: 36691
32.06/32.23 c #Conflicts: 47000 | #Constraints: 37691
32.06/32.23 c #Conflicts: 48000 | #Constraints: 38691
32.06/32.23 c #Conflicts: 49000 | #Constraints: 39691
32.06/32.23 c INPROCESSING
32.06/32.23 c GARBAGE COLLECT
32.06/32.23 c #Conflicts: 50000 | #Constraints: 30599
32.06/32.23 c #Conflicts: 51000 | #Constraints: 31599
32.06/32.23 c #Conflicts: 52000 | #Constraints: 32599
32.06/32.23 c #Conflicts: 53000 | #Constraints: 33599
32.06/32.23 c #Conflicts: 54000 | #Constraints: 34599
32.06/32.23 c #Conflicts: 55000 | #Constraints: 35599
32.06/32.23 c #Conflicts: 56000 | #Constraints: 36599
32.06/32.23 c #Conflicts: 57000 | #Constraints: 37599
32.06/32.23 c #Conflicts: 58000 | #Constraints: 38599
32.06/32.23 c #Conflicts: 59000 | #Constraints: 39599
32.06/32.23 c #Conflicts: 60000 | #Constraints: 40599
32.06/32.23 c #Conflicts: 61000 | #Constraints: 41599
32.06/32.23 c #Conflicts: 62000 | #Constraints: 42599
32.06/32.23 c #Conflicts: 63000 | #Constraints: 43599
32.06/32.23 c #Conflicts: 64000 | #Constraints: 44599
32.06/32.23 c INPROCESSING
32.06/32.23 c GARBAGE COLLECT
32.06/32.23 c #Conflicts: 65000 | #Constraints: 33703
32.06/32.23 c #Conflicts: 66000 | #Constraints: 34703
32.06/32.23 c #Conflicts: 67000 | #Constraints: 35703
32.06/32.23 c #Conflicts: 68000 | #Constraints: 36703
32.06/32.23 c cpu time 29.5645 s
32.06/32.23 c deterministic time 82645343 8.26e+07
32.06/32.23 c optimization time 6.8e-05 s
32.06/32.23 c total solve time 29.2333 s
32.06/32.23 c core-guided solve time 0 s
32.06/32.23 c propagation time 5.16581 s
32.06/32.23 c conflict analysis time 0.54711 s
32.06/32.23 c propagations 3056120
32.06/32.23 c resolve steps 143433
32.06/32.23 c decisions 2879231
32.06/32.23 c conflicts 68849
32.06/32.23 c restarts 215
32.06/32.23 c inprocessing phases 8
32.06/32.25 c garbage collections 6 ,( 75.00 )
32.06/32.25 c input clauses 14229 ,( 75.34 )
32.06/32.25 c input cardinalities 97 ,( 0.51 )
32.06/32.25 c input general constraints 4560 ,( 24.14 )
32.06/32.25 c input average constraint length 5.15
32.06/32.25 c input average constraint degree 3.18
32.06/32.25 c learned clauses 25003 ,( 36.32 )
32.06/32.25 c learned cardinalities 8082 ,( 11.74 )
32.06/32.25 c learned general constraints 35765 ,( 51.95 )
32.06/32.25 c learned average constraint length 9.27
32.06/32.25 c learned average constraint degree 100.01
32.06/32.25 c watched CF 32, 64, 128, Arb: 1333 , 0 , 0 , 0
32.06/32.25 c counting CF 32, 64, 128, Arb: 38992 , 0 , 0 , 0
32.06/32.25 c watched constraints 1333 ,( 3.31 )
32.06/32.25 c counting constraints 38992 ,( 96.69 )
32.06/32.25 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1148437 , 588034 , 4024522 ,( 39243 , 3985279 )
32.06/32.25 c gcd simplifications 12588
32.06/32.25 c detected cardinalities 2376
32.06/32.25 c weakened non-implied lits 226618
32.06/32.25 c weakened non-implying lits 7668
32.06/32.25 c original variables 23282
32.06/32.25 c clausal propagations 982621
32.06/32.25 c cardinality propagations 373420
32.06/32.25 c watched propagations 1345
32.06/32.25 c counting propagations 1583128
32.06/32.25 c watch lookups 38439063
32.06/32.25 c watch backjump lookups 0
32.06/32.25 c watch checks 1750583
32.06/32.25 c propagation checks 28444699
32.06/32.25 c constraint additions 2041110
32.06/32.25 c trail pops 6001905
32.06/32.25 c formula constraints 18886
32.06/32.25 c learned constraints 68846
32.06/32.25 c bound constraints 0
32.06/32.25 c core-guided constraints 0
32.06/32.25 c encountered formula constraints 109909
32.06/32.25 c encountered learned constraints 102364
32.06/32.25 c encountered bound constraints 0
32.06/32.25 c encountered core-guided constraints 0
32.06/32.25 c LP total time 17.0969 s
32.06/32.25 c LP solve time 17.04 s
32.06/32.25 c LP constraints added 18886
32.06/32.25 c LP constraints removed 0
32.06/32.25 c LP pivots internal 11631
32.06/32.25 c LP pivots root 21000
32.06/32.25 c LP calls 7
32.06/32.25 c LP optimalities 0
32.06/32.25 c LP no pivot count 0
32.06/32.25 c LP infeasibilities 2
32.06/32.25 c LP valid Farkas constraints 2
32.06/32.25 c LP learned Farkas constraints 2
32.06/32.25 c LP basis resets 0
32.06/32.25 c LP cycling count 0
32.06/32.25 c LP singular count 0
32.06/32.25 c LP no primal count 0
32.06/32.25 c LP no farkas count 0
32.06/32.25 c LP other issue count 0
32.06/32.25 c LP Gomory cuts 0
32.06/32.25 c LP learned cuts 0
32.06/32.25 c LP deleted cuts 0
32.06/32.25 c LP encountered Gomory constraints 0
32.06/32.25 c LP encountered Farkas constraints 7
32.06/32.25 c LP encountered learned Farkas constraints 0
32.06/32.25 c CG auxiliary variables introduced 0
32.06/32.25 c CG solutions found 0
32.06/32.25 c CG cores constructed 0
32.06/32.25 c CG core cardinality constraints returned 0
32.06/32.25 c CG unit cores 0
32.06/32.25 c CG single cores 0
32.06/32.25 c CG blocks removed during cardinality reduction 0
32.06/32.25 c CG first core best 0
32.06/32.25 c CG decision core best 0
32.06/32.25 c CG core reduction tie 0
32.06/32.25 c CG core degree average 0.00
32.06/32.25 c CG core slack average 0.00
32.06/32.25 c CG core upper bound improvements 0
32.06/32.25 c STR number of successful calls 0
32.06/32.25 c STR number of unsuccessful calls 0
32.06/32.25 c STR number of inconclusive calls 0
32.06/32.25 c STR number of successful attempts 0
32.06/32.25 c STR number of unsuccessful attempts 0
32.06/32.25 c STR number of inconclusive attempts 0
32.06/32.25 c STR average degree increase per successful call inf
32.06/32.25 c STR average degree increase per successful attempt inf
32.06/32.25 c STR total number of conflicts for successful attempts 0
32.06/32.25 c STR total number of conflicts for unsuccessful attempts 0
32.06/32.25 c STR total number of conflicts for inconclusive attempts 0
32.06/32.25 c STR average number of conflicts per successful attempt inf
32.06/32.25 c STR average number of conflicts per unsuccessful attempt inf
32.06/32.25 c STR average number of conflicts per inconclusive attempt inf
32.06/32.26 c AVG.sumWPerc 65.16
32.06/32.26 c bigint constraints 0
32.06/32.26 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: 63794 MiB (60012 MiB free)
memory of node 1: 64507 MiB (54410 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515603-1751222142/watcher-4515603-1751222142 -o /tmp/evaluation-result-4515603-1751222142/solver-4515603-1751222142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751216867-27472 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515603-1751222142.opb PROOFDIR/proof-4515603-1751222142
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 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
Current StackSize limit: 8192 KiB
solver pid=29552, runsolver pid=29549
[startup+0.10007 s]*
/proc/loadavg: 4.86 4.40 4.27 5/264 29554
/proc/meminfo: memFree=117144196/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29554] ppid=29552 vsize=38600 memory=25752 CPUtime=0.08 cores=4,6
/proc/29554/stat : 29554 (pbsuma) R 29552 29552 27461 0 -1 4194304 6511 0 0 0 7 1 0 0 20 0 1 0 37893531 39526400 6438 18446744073709551615 4210688 4653049 140729584236000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32935936 140729584244963 140729584245298 140729584245298 140729584250863 0
/proc/29554/statm: 9650 6438 992 108 0 7058 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 28824 KiB
[startup+0.213763 s]*
/proc/loadavg: 4.86 4.40 4.27 5/264 29554
/proc/meminfo: memFree=117140416/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29554] ppid=29552 vsize=54332 memory=34916 CPUtime=0.2 cores=4,6
/proc/29554/stat : 29554 (pbsuma) R 29552 29552 27461 0 -1 4194304 11645 0 0 0 17 3 0 0 20 0 1 0 37893531 55635968 8729 18446744073709551615 4210688 4653049 140729584236000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32935936 140729584244963 140729584245298 140729584245298 140729584250863 0
/proc/29554/statm: 13583 8729 992 108 0 10991 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58524 KiB
Current children cumulated memory: 37988 KiB
[startup+0.313619 s]*
/proc/loadavg: 4.86 4.40 4.27 5/264 29554
/proc/meminfo: memFree=117136384/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29554] ppid=29552 vsize=54332 memory=35044 CPUtime=0.3 cores=4,6
/proc/29554/stat : 29554 (pbsuma) R 29552 29552 27461 0 -1 4194304 11694 0 0 0 26 4 0 0 20 0 1 0 37893531 55635968 8761 18446744073709551615 4210688 4653049 140729584236000 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32935936 140729584244963 140729584245298 140729584245298 140729584250863 0
/proc/29554/statm: 13583 8761 992 108 0 10991 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58524 KiB
Current children cumulated memory: 38116 KiB
[startup+0.700337 s]
/proc/loadavg: 4.86 4.40 4.27 5/264 29555
/proc/meminfo: memFree=117144012/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=68856 memory=24144 CPUtime=0.25 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 3722 0 0 0 21 4 0 0 20 0 1 0 37893574 70508544 6036 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 17214 6036 2048 1147 0 4641 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 73048 KiB
Current children cumulated memory: 27216 KiB
[startup+1.50033 s]
/proc/loadavg: 4.87 4.41 4.27 5/264 29555
/proc/meminfo: memFree=117111752/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=110840 memory=59424 CPUtime=1.04 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 11408 0 0 0 97 7 0 0 20 0 1 0 37893574 113500160 14856 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 27710 14856 2304 1147 0 15137 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 115032 KiB
Current children cumulated memory: 62496 KiB
[startup+3.11314 s]
/proc/loadavg: 4.87 4.41 4.27 5/264 29555
/proc/meminfo: memFree=117096036/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=114008 memory=63136 CPUtime=2.66 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 12283 0 0 0 255 11 0 0 20 0 1 0 37893574 116744192 15784 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 28502 15784 2368 1147 0 15929 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 118200 KiB
Current children cumulated memory: 66208 KiB
[startup+6.30036 s]
/proc/loadavg: 4.80 4.41 4.27 5/264 29555
/proc/meminfo: memFree=117064440/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=120792 memory=70048 CPUtime=5.83 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 14060 0 0 0 546 37 0 0 20 0 1 0 37893574 123691008 17512 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 30198 17512 2368 1147 0 17625 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 124984 KiB
Current children cumulated memory: 73120 KiB
[startup+12.7004 s]
/proc/loadavg: 4.74 4.40 4.27 5/264 29555
/proc/meminfo: memFree=117027600/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=129312 memory=78500 CPUtime=12.22 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 16249 0 0 0 1135 87 0 0 20 0 1 0 37893574 132415488 19625 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 32328 19625 2368 1147 0 19755 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 133504 KiB
Current children cumulated memory: 81572 KiB
[startup+25.5004 s]
/proc/loadavg: 4.70 4.40 4.27 5/264 29555
/proc/meminfo: memFree=116981960/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=137188 memory=87664 CPUtime=24.98 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 17923 0 0 0 2297 201 0 0 20 0 1 0 37893574 140480512 21916 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 34297 21916 2464 1147 0 21724 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 90736 KiB
[startup+32.2622 s]
# the end of solver process 29552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=29.9308 s, system=2.19765 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.70 4.40 4.27 5/264 29555
/proc/meminfo: memFree=116981960/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=137188 memory=87664 CPUtime=25.08 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 17923 0 0 0 2307 201 0 0 20 0 1 0 37893574 140480512 21916 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 34297 21916 2464 1147 0 21724 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 90736 KiB
[startup+28.8003 s]
/proc/loadavg: 4.64 4.40 4.27 5/264 29555
/proc/meminfo: memFree=116973896/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=137188 memory=87664 CPUtime=28.27 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 17928 0 0 0 2625 202 0 0 20 0 1 0 37893574 140480512 21916 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 34297 21916 2464 1147 0 21724 0
Current children cumulated CPU time: 28.67 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 90736 KiB
[startup+30.4003 s]
/proc/loadavg: 4.64 4.40 4.27 5/264 29555
/proc/meminfo: memFree=116949560/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=137188 memory=87664 CPUtime=29.87 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 17933 0 0 0 2784 203 0 0 20 0 1 0 37893574 140480512 21916 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 34297 21916 2464 1147 0 21724 0
Current children cumulated CPU time: 30.27 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 90736 KiB
[startup+31.2003 s]
/proc/loadavg: 4.59 4.39 4.27 5/264 29555
/proc/meminfo: memFree=116949544/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=137188 memory=87664 CPUtime=30.67 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 17933 0 0 0 2864 203 0 0 20 0 1 0 37893574 140480512 21916 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 34297 21916 2464 1147 0 21724 0
Current children cumulated CPU time: 31.07 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 90736 KiB
[startup+32.0003 s]*
/proc/loadavg: 4.59 4.39 4.27 5/264 29555
/proc/meminfo: memFree=116941480/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=137188 memory=87664 CPUtime=31.47 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 17933 0 0 0 2942 205 0 0 20 0 1 0 37893574 140480512 21916 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 34297 21916 2464 1147 0 21724 0
Current children cumulated CPU time: 31.87 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 90736 KiB
[startup+32.2003 s]
/proc/loadavg: 4.59 4.39 4.27 5/264 29555
/proc/meminfo: memFree=116941480/131382120 swapFree=33010416/33010684
[pid=29552] ppid=29549 vsize=4192 memory=3072 CPUtime=0.4 cores=4,6
/proc/29552/stat : 29552 (run-dec-break-l) S 29549 29552 27461 0 -1 4194304 240 11823 0 0 0 0 35 5 20 0 1 0 37893530 4292608 768 18446744073709551615 94792542273536 94792543168069 140724971194368 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94792543407120 94792543454864 94792557408256 140724971198741 140724971198942 140724971198942 140724971204544 0
/proc/29552/statm: 1048 768 704 219 0 110 0
[pid=29555] ppid=29552 vsize=137188 memory=87664 CPUtime=31.66 cores=4,6
/proc/29555/stat : 29555 (roundingsat) R 29552 29552 27461 0 -1 4194304 17937 0 0 0 2954 212 0 0 20 0 1 0 37893574 140480512 21916 18446744073709551615 4227072 8923433 140729930333248 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 14290944 140729930336500 140729930336808 140729930336808 140729930342378 0
/proc/29555/statm: 34297 21916 2464 1147 0 21724 0
Current children cumulated CPU time: 32.06 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 90736 KiB
Child status: 0
Real time (s): 32.2623
CPU time (s): 32.1285
CPU user time (s): 29.9308
CPU system time (s): 2.19765
CPU usage (%): 99.5851
Max. virtual memory (cumulated for all children) (KiB): 141380
Max. memory (cumulated for all children) (KiB): 90736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.9308
system time used= 2.19765
maximum resident set size= 87664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30023
page faults= 0
swaps= 0
block input operations= 8
block output operations= 29664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 861
involuntary context switches= 332
# summary of solver processes directly reported to runsolver:
# pid: 29552
# total CPU time (s): 32.1285
# total CPU user time (s): 29.9308
# total CPU system time (s): 2.19765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.203471 second user time and 0.387677 second system time
The end
Begin job on nodeC006 at 2025-06-29 20:35:42
IDJOB=4515603
IDBENCH=165315
IDSOLVER=3358
FILE ID=nodeC006/4515603-1751222142
RUNJOBID= nodeC006-1751216867-27472
SLURM_JOB_ID= 9587659
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515603-1751222142/watcher-4515603-1751222142 -o /tmp/evaluation-result-4515603-1751222142/solver-4515603-1751222142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751216867-27472 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515603-1751222142.opb PROOFDIR/proof-4515603-1751222142
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 431f08d4eea5f2e22db9cb62a33eb4a4
RANDOM SEED=756312188
nodeC006 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 : 0xb00001f
cpu MHz : 3660.758
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.089
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.910
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.549
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 117169568 kB
MemAvailable: 127055448 kB
Buffers: 2128 kB
Cached: 10686100 kB
SwapCached: 12 kB
Active: 3206740 kB
Inactive: 10415384 kB
Active(anon): 2939180 kB
Inactive(anon): 12740 kB
Active(file): 267560 kB
Inactive(file): 10402644 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 837820 kB
Writeback: 0 kB
AnonPages: 2936572 kB
Mapped: 115852 kB
Shmem: 17948 kB
KReclaimable: 110224 kB
Slab: 218592 kB
SReclaimable: 110224 kB
SUnreclaim: 108368 kB
KernelStack: 4240 kB
PageTables: 9456 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3934244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149640 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 606208 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC006 at 2025-06-29 20:36:14