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-4532119-1752596994.opb'
0.00/0.02 c read 0.34MB (5.50ms)
0.00/0.02 c [cnf: #variables 3564 #clauses 11686 #duplicates 0 #arr 30107]
0.00/0.02 c output proof to 'PROOFDIR/proof-4532119-1752596994'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 296] (4.98ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.29/0.34 c (316.09ms)
0.29/0.34 c
0.29/0.34 c detect symmetries on remainder
0.29/0.34 c [graph: #vertices 26152 #edges 82018]
0.29/0.34 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.29/0.37 c [group: #symmetries 1.73*10^3 #generators 4] (28.78ms)
0.29/0.37 c
0.29/0.37 c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.37 c opt it=15, l=114, m=50, opt=5, avg=5049, b=416, gens=4
0.29/0.37 c ran it=0, +gens=3
0.39/0.50 c con best_support=416, best_gens=1, +gens=164
0.39/0.50 c (135.34ms)
0.39/0.50 c
0.39/0.50 c finalize break order and special generators
0.39/0.50 c
0.39/0.50 c add generic predicates (break_depth=20)
0.39/0.50 c added predicates for 171 generators (0.66ms)
0.58/0.63 c
0.58/0.63 c generation finished
0.58/0.63 c [sbp: #constraints 9918 #add_vars 3249]
0.58/0.63 c
0.58/0.63 c write result to 'HOME/instance-4532119-1752596994.opb.pre'
0.58/0.63 c wrote 0.70MB (1.83ms)
0.58/0.63 c ------------------------------------------------------------------
0.58/0.63 c 316.09ms 51.15% detect_special
0.58/0.63 c 135.34ms 21.90% optimize_gens
0.58/0.63 c 124.20ms 20.10% other
0.58/0.63 c 28.78ms 4.66% detect_generic
0.58/0.63 c 5.50ms 0.89% parse
0.58/0.63 c 4.98ms 0.81% approx_orbits
0.58/0.63 c 1.83ms 0.30% output
0.58/0.63 c 0.66ms 0.11% break_generic
0.58/0.63 c 0.53ms 0.09% finalize_order
0.58/0.63 c ───────────────────────────────────────────────
0.58/0.63 c 617.93ms 100% total
0.58/0.63 c ------------------------------------------------------------------
0.62/0.74 c RoundingSat 2
0.62/0.74 c branch pb25
0.62/0.74 c commit 0f876b3
0.62/0.87 c #variables 6813 #constraints 20057
0.62/0.87 c objective is ce32
0.62/0.89 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.62/0.89 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.62/0.89 c bounds - >= 0 @ 0.125479
0.62/0.96 c bounds 197351168 >= 0 @ 0.193255
0.62/0.96 c bounds 197351168 >= 36700160 @ 0.193387
0.62/0.96 c bounds 197351168 >= 41943040 @ 0.193387
0.62/0.96 c bounds 197351168 >= 47185920 @ 0.193429
0.62/0.96 c bounds 197351168 >= 52428800 @ 0.193556
0.62/0.96 c bounds 197351168 >= 57671680 @ 0.193683
0.62/0.96 c bounds 197351168 >= 62914560 @ 0.193835
0.62/0.96 c bounds 197351168 >= 68157440 @ 0.194005
0.62/0.96 c bounds 197351168 >= 73400320 @ 0.194216
0.62/0.96 c bounds 197351168 >= 78643200 @ 0.19438
0.62/0.96 c bounds 197351168 >= 79691776 @ 0.194747
0.62/0.96 c bounds 197351168 >= 80740352 @ 0.194777
0.62/0.96 c bounds 197351168 >= 85983232 @ 0.194777
0.62/0.97 c bounds 197351168 >= 91226112 @ 0.194777
0.62/0.97 c bounds 197351168 >= 96468992 @ 0.195685
0.62/0.97 c bounds 187913984 >= 96468992 @ 0.198376
0.62/0.97 c bounds 187913984 >= 101711872 @ 0.2022
0.62/0.98 c bounds 187852544 >= 101711872 @ 0.20526
0.62/0.98 c bounds 187791104 >= 101711872 @ 0.207718
0.62/0.99 c bounds 187791104 >= 106954752 @ 0.21704
0.62/0.99 c bounds 187725824 >= 106954752 @ 0.219302
0.88/1.03 c bounds 182482944 >= 106954752 @ 0.253033
0.88/1.06 c bounds 182482944 >= 112197632 @ 0.28354
0.88/1.09 c bounds 177240064 >= 112197632 @ 0.304489
0.98/1.17 c #Conflicts: 1000 | #Constraints: 21225
0.98/1.17 c bounds 177240064 >= 117440512 @ 0.381002
0.98/1.19 c bounds 171997184 >= 117440512 @ 0.405959
1.57/1.71 c #Conflicts: 2000 | #Constraints: 22250
1.57/1.71 c INPROCESSING
1.57/1.71 c GARBAGE COLLECT
1.57/1.71 c bounds 166754304 >= 117440512 @ 0.906253
1.57/1.72 c bounds 161511424 >= 117440512 @ 0.913485
1.57/1.72 c bounds 156268544 >= 117440512 @ 0.91939
1.77/1.96 c #Conflicts: 3000 | #Constraints: 21897
1.77/1.96 c bounds 151025664 >= 117440512 @ 1.14523
2.66/2.80 c #Conflicts: 4000 | #Constraints: 22898
2.66/2.80 c INPROCESSING
2.66/2.80 c GARBAGE COLLECT
2.66/2.80 c #Conflicts: 5000 | #Constraints: 22293
2.66/2.80 c bounds 151025664 >= 122683392 @ 1.97359
3.97/4.13 c #Conflicts: 6000 | #Constraints: 23326
3.97/4.13 c INPROCESSING
3.97/4.13 c GARBAGE COLLECT
3.97/4.13 c rational objective 1.22683e+08
4.17/4.34 c #Conflicts: 7000 | #Constraints: 22319
4.17/4.34 c bounds 149977088 >= 122683392 @ 3.48943
4.37/4.59 c #Conflicts: 8000 | #Constraints: 23320
4.37/4.59 c #Conflicts: 9000 | #Constraints: 24320
4.37/4.59 c bounds 144734208 >= 122683392 @ 3.72903
5.75/6.00 c INPROCESSING
5.75/6.00 c GARBAGE COLLECT
5.75/6.00 c #Conflicts: 10000 | #Constraints: 23013
5.75/6.00 c bounds 144734208 >= 123731968 @ 5.1041
5.97/6.19 c #Conflicts: 11000 | #Constraints: 24016
5.97/6.19 c bounds 144730368 >= 123731968 @ 5.28953
6.05/6.22 c bounds 144730368 >= 124780544 @ 5.31795
6.96/7.14 c #Conflicts: 12000 | #Constraints: 25023
6.96/7.14 c INPROCESSING
6.96/7.14 c GARBAGE COLLECT
6.96/7.14 c rational objective 1.24781e+08
7.15/7.37 c bounds 144730368 >= 124846080 @ 6.45629
7.25/7.40 c bounds 139495168 >= 124846080 @ 6.4804
8.45/8.68 c #Conflicts: 13000 | #Constraints: 23481
8.45/8.68 c #Conflicts: 14000 | #Constraints: 24481
8.45/8.68 c #Conflicts: 15000 | #Constraints: 25481
8.45/8.68 c INPROCESSING
8.45/8.68 c GARBAGE COLLECT
8.45/8.68 c #Conflicts: 16000 | #Constraints: 23705
8.45/8.68 c bounds 139495168 >= 124911616 @ 7.72622
8.55/8.75 c #Conflicts: 17000 | #Constraints: 24708
8.55/8.75 c bounds 134325248 >= 124911616 @ 7.78983
8.55/8.75 c bounds 134325248 >= 124977152 @ 7.79062
9.65/9.81 c #Conflicts: 18000 | #Constraints: 25712
9.65/9.81 c INPROCESSING
9.65/9.81 c GARBAGE COLLECT
9.65/9.81 c rational objective 1.24977e+08
9.75/9.92 c bounds 134321408 >= 124977152 @ 8.93893
9.75/9.93 c bounds 134259968 >= 124977152 @ 8.94027
9.75/9.93 c bounds 134256128 >= 124977152 @ 8.94236
9.75/9.93 c bounds 134252288 >= 124977152 @ 8.94468
10.05/10.24 c #Conflicts: 19000 | #Constraints: 23737
10.05/10.24 c #Conflicts: 20000 | #Constraints: 24737
10.05/10.24 c bounds 134248448 >= 124977152 @ 9.2439
10.05/10.24 c bounds 134248448 >= 124981248 @ 9.24418
10.05/10.24 c bounds 134248448 >= 124985344 @ 9.24447
10.05/10.25 c bounds 134248448 >= 124989440 @ 9.25151
11.14/11.30 c #Conflicts: 21000 | #Constraints: 25755
11.14/11.30 c bounds 134248448 >= 127938560 @ 10.2861
12.34/12.58 c INPROCESSING
12.34/12.58 c GARBAGE COLLECT
12.34/12.58 c rational objective 1.27939e+08
13.14/13.39 c #Conflicts: 22000 | #Constraints: 23380
13.14/13.39 c #Conflicts: 23000 | #Constraints: 24380
13.14/13.39 c #Conflicts: 24000 | #Constraints: 25380
13.14/13.39 c #Conflicts: 25000 | #Constraints: 26380
13.14/13.39 c INPROCESSING
13.14/13.39 c GARBAGE COLLECT
13.14/13.39 c bounds 134248448 >= 128987136 @ 12.348
13.24/13.40 c bounds 134248448 >= 128991232 @ 12.3553
14.74/14.95 c #Conflicts: 26000 | #Constraints: 23842
14.74/14.95 c #Conflicts: 27000 | #Constraints: 24842
14.74/14.95 c #Conflicts: 28000 | #Constraints: 25842
14.74/14.95 c #Conflicts: 29000 | #Constraints: 26842
14.74/14.95 c INPROCESSING
14.74/14.95 c GARBAGE COLLECT
14.74/14.95 c rational objective 1.28991e+08
16.73/16.96 c #Conflicts: 30000 | #Constraints: 24245
16.73/16.96 c #Conflicts: 31000 | #Constraints: 25245
16.73/16.96 c #Conflicts: 32000 | #Constraints: 26245
16.73/16.96 c #Conflicts: 33000 | #Constraints: 27245
16.73/16.96 c INPROCESSING
16.73/16.96 c GARBAGE COLLECT
16.73/16.96 c rational objective 1.28991e+08
19.52/19.74 c #Conflicts: 34000 | #Constraints: 24450
19.52/19.74 c #Conflicts: 35000 | #Constraints: 25450
19.52/19.74 c #Conflicts: 36000 | #Constraints: 26450
19.52/19.74 c bounds 134248448 >= 129048576 @ 18.585
20.62/20.83 c #Conflicts: 37000 | #Constraints: 27458
20.62/20.83 c INPROCESSING
20.62/20.83 c GARBAGE COLLECT
20.62/20.83 c rational objective 1.29049e+08
22.51/22.73 c #Conflicts: 38000 | #Constraints: 24469
22.51/22.73 c #Conflicts: 39000 | #Constraints: 25469
22.51/22.73 c #Conflicts: 40000 | #Constraints: 26469
22.51/22.73 c #Conflicts: 41000 | #Constraints: 27469
22.51/22.73 c INPROCESSING
22.51/22.73 c GARBAGE COLLECT
22.51/22.73 c rational objective 1.29049e+08
24.01/24.28 c #Conflicts: 42000 | #Constraints: 23486
24.01/24.28 c #Conflicts: 43000 | #Constraints: 24486
24.01/24.28 c #Conflicts: 44000 | #Constraints: 25486
24.01/24.28 c #Conflicts: 45000 | #Constraints: 26486
24.01/24.28 c bounds 134248448 >= 129052672 @ 23.0469
24.01/24.29 c bounds 134248448 >= 129105920 @ 23.063
24.01/24.29 c bounds 134248448 >= 129110016 @ 23.0632
25.50/25.71 c #Conflicts: 46000 | #Constraints: 27502
25.50/25.71 c #Conflicts: 47000 | #Constraints: 28502
25.50/25.71 c #Conflicts: 48000 | #Constraints: 29502
25.50/25.71 c bounds 134248448 >= 129167360 @ 24.4587
31.89/32.11 c #Conflicts: 49000 | #Constraints: 30508
31.89/32.11 c #Conflicts: 50000 | #Constraints: 31508
31.89/32.11 c #Conflicts: 51000 | #Constraints: 32508
31.89/32.11 c #Conflicts: 52000 | #Constraints: 33508
31.89/32.11 c #Conflicts: 53000 | #Constraints: 34508
31.89/32.11 c #Conflicts: 54000 | #Constraints: 35508
31.89/32.11 c #Conflicts: 55000 | #Constraints: 36508
31.89/32.11 c #Conflicts: 56000 | #Constraints: 37508
31.89/32.11 c #Conflicts: 57000 | #Constraints: 38508
31.89/32.11 c #Conflicts: 58000 | #Constraints: 39508
31.89/32.11 c INPROCESSING
31.89/32.11 c GARBAGE COLLECT
31.89/32.11 c rational objective 1.29167e+08
32.79/33.05 c bounds 134248448 >= 129171456 @ 31.6863
32.79/33.05 c bounds 134248448 >= 129175552 @ 31.6866
32.79/33.06 c bounds 134248448 >= 129179648 @ 31.6921
32.79/33.10 c bounds 134248448 >= 132128768 @ 31.7291
32.79/33.10 c bounds 134248448 >= 132988928 @ 31.7341
32.79/33.10 c bounds 134248448 >= 133046272 @ 31.7344
32.79/33.10 c bounds 134248448 >= 133099520 @ 31.7346
32.89/33.10 c bounds 134248448 >= 133103616 @ 31.7348
32.89/33.10 c bounds 134248448 >= 133107712 @ 31.7351
32.89/33.10 c bounds 134248448 >= 133165056 @ 31.7353
32.89/33.10 c bounds 134248448 >= 133169152 @ 31.7354
32.89/33.11 c bounds 134248448 >= 133173248 @ 31.7357
32.89/33.11 c bounds 134248448 >= 133177344 @ 31.7357
32.89/33.11 c bounds 134248448 >= 133181440 @ 31.7372
32.89/33.11 c bounds 134248448 >= 133234688 @ 31.7378
32.89/33.11 c bounds 134248448 >= 134041600 @ 31.7379
32.89/33.11 c bounds 134248448 >= 134098944 @ 31.7382
32.89/33.11 c bounds 134248448 >= 134152192 @ 31.7383
32.89/33.11 c bounds 134248448 >= 134205440 @ 31.7387
32.89/33.11 c bounds 134248448 >= 134209536 @ 31.739
32.89/33.11 c bounds 134248448 >= 134213632 @ 31.7392
32.89/33.11 c #Conflicts: 59000 | #Constraints: 26816
32.89/33.11 c bounds 134248448 >= 134217728 @ 31.7395
32.89/33.11 c bounds 134248448 >= 134221824 @ 31.7398
32.89/33.11 c bounds 134248448 >= 134225920 @ 31.7402
32.89/33.11 c bounds 134248448 >= 134230016 @ 31.7408
33.58/33.80 c bounds 134248448 >= 134234112 @ 32.4195
33.80/34.01 c bounds 134248448 >= 134238208 @ 32.623
33.80/34.03 c bounds 134248448 >= 134242304 @ 32.6486
33.80/34.04 c bounds 134248448 >= 134246400 @ 32.6587
33.80/34.05 c bounds 134248448 >= 134248448 @ 32.6657
33.80/34.05 c cpu time 32.6657 s
33.80/34.05 c deterministic time 695566375 6.96e+08
33.80/34.05 c optimization time 0.035232 s
33.80/34.05 c total solve time 32.523 s
33.80/34.05 c core-guided solve time 15.4346 s
33.80/34.05 c propagation time 17.5145 s
33.80/34.05 c conflict analysis time 5.64584 s
33.80/34.05 c propagations 16961521
33.80/34.05 c resolve steps 2433351
33.80/34.05 c decisions 121925
33.80/34.05 c conflicts 59780
33.80/34.05 c restarts 188
33.80/34.05 c inprocessing phases 14
33.80/34.05 c garbage collections 14 ,( 100.00 )
33.80/34.05 c input clauses 20217 ,( 97.74 )
33.80/34.05 c input cardinalities 221 ,( 1.07 )
33.80/34.05 c input general constraints 246 ,( 1.19 )
33.80/34.05 c input average constraint length 3.36
33.80/34.05 c input average constraint degree 2260.40
33.80/34.05 c learned clauses 47344 ,( 79.17 )
33.80/34.05 c learned cardinalities 1051 ,( 1.76 )
33.80/34.05 c learned general constraints 11405 ,( 19.07 )
33.80/34.05 c learned average constraint length 64.01
33.80/34.05 c learned average constraint degree 820026.11
33.80/34.05 c watched CF 32, 64, 128, Arb: 3124 , 0 , 0 , 0
33.80/34.05 c counting CF 32, 64, 128, Arb: 8528 , 0 , 0 , 0
33.80/34.05 c watched constraints 3124 ,( 26.81 )
33.80/34.05 c counting constraints 8527 ,( 73.19 )
33.80/34.05 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 41013994 , 5984009 , 43166119 ,( 9250865 , 33915254 )
33.80/34.05 c gcd simplifications 482
33.80/34.05 c detected cardinalities 19
33.80/34.05 c weakened non-implied lits 1217510
33.80/34.05 c weakened non-implying lits 5880
33.80/34.05 c original variables 6813
33.80/34.05 c clausal propagations 15112905
33.80/34.05 c cardinality propagations 371959
33.80/34.05 c watched propagations 125688
33.80/34.05 c counting propagations 1199868
33.80/34.05 c watch lookups 383930427
33.80/34.05 c watch backjump lookups 0
33.80/34.05 c watch checks 167099742
33.80/34.05 c propagation checks 93197979
33.80/34.05 c constraint additions 17010941
33.80/34.05 c trail pops 17142813
33.80/34.05 c formula constraints 20057
33.80/34.05 c learned constraints 59792
33.80/34.05 c bound constraints 133
33.80/34.05 c core-guided constraints 494
33.80/34.05 c encountered formula constraints 1811657
33.80/34.05 c encountered learned constraints 530802
33.80/34.05 c encountered bound constraints 1182
33.80/34.05 c encountered core-guided constraints 149487
33.80/34.05 c LP total time 18.6633 s
33.80/34.05 c LP solve time 16.13 s
33.80/34.05 c LP constraints added 20211
33.80/34.05 c LP constraints removed 134
33.80/34.05 c LP pivots internal 63527
33.80/34.05 c LP pivots root 37499
33.80/34.05 c LP calls 29
33.80/34.05 c LP optimalities 25
33.80/34.05 c LP no pivot count 3
33.80/34.05 c LP infeasibilities 1
33.80/34.05 c LP valid Farkas constraints 1
33.80/34.05 c LP learned Farkas constraints 1
33.80/34.05 c LP basis resets 0
33.80/34.05 c LP cycling count 0
33.80/34.05 c LP singular count 0
33.80/34.05 c LP no primal count 0
33.80/34.05 c LP no farkas count 0
33.80/34.05 c LP other issue count 0
33.80/34.05 c LP Gomory cuts 6
33.80/34.05 c LP learned cuts 148
33.80/34.05 c LP deleted cuts 134
33.80/34.05 c LP encountered Gomory constraints 2
33.80/34.05 c LP encountered Farkas constraints 0
33.80/34.05 c LP encountered learned Farkas constraints 0
33.80/34.05 c CG auxiliary variables introduced 182
33.80/34.05 c CG solutions found 22
33.80/34.05 c CG cores constructed 64
33.80/34.05 c CG core cardinality constraints returned 0
33.80/34.05 c CG unit cores 0
33.80/34.05 c CG single cores 64
33.80/34.05 c CG blocks removed during cardinality reduction 0
33.80/34.05 c CG first core best 0
33.80/34.05 c CG decision core best 0
33.80/34.05 c CG core reduction tie 0
33.80/34.05 c CG core degree average 1.00
33.80/34.05 c CG core slack average 6.69
33.80/34.05 c CG core upper bound improvements 10
33.80/34.05 c STR number of successful calls 0
33.80/34.05 c STR number of unsuccessful calls 0
33.80/34.05 c STR number of inconclusive calls 0
33.80/34.05 c STR number of successful attempts 0
33.80/34.05 c STR number of unsuccessful attempts 0
33.80/34.05 c STR number of inconclusive attempts 0
33.80/34.05 c STR average degree increase per successful call inf
33.80/34.05 c STR average degree increase per successful attempt inf
33.80/34.05 c STR total number of conflicts for successful attempts 0
33.80/34.05 c STR total number of conflicts for unsuccessful attempts 0
33.80/34.05 c STR total number of conflicts for inconclusive attempts 0
33.80/34.05 c STR average number of conflicts per successful attempt inf
33.80/34.05 c STR average number of conflicts per unsuccessful attempt inf
33.80/34.05 c STR average number of conflicts per inconclusive attempt inf
33.80/34.05 c AVG.sumWPerc 57.61
33.80/34.05 c bigint constraints 0
33.80/34.05 o 134248448
33.80/34.05 s OPTIMUM FOUND
33.80/34.05 v x1 x2 -x3 -x4 x5 x6 x7 -x8 -x9 x10 x11 x12 -x13 -x14 x15 x16 x17 x18 -x19 x20 x21 x22 x23 -x24 x25 x26 x27 x28 -x29 x30 x31 x32 x33 -x34 x35 x36 x37 x38 -x39 x40 x41 x42 x43 -x44 x45 x46 x47 -x48 -x49 x50 x51 x52 x53 -x54 x55 x56 x57 -x58 -x59 x60 x61 x62 -x63 -x64 x65 x66 x67 -x68 -x69 x70 x71 x72 -x73 -x74 x75 x76 -x77 x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 x174 x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 x561 x562 x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 x777 x778 x779 x780 -x781 -x782 x783 -x784 x785 -x786 -x787 -x788 -x789 x790 x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873 -x874 -x875 -x876 -x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 x949 x950 x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 x987 x988 x989 x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 x1023 x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 x1307 -x1308 -x1309 -x1310 -x1311 x1312 x1313 x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 x1340 x1341 x1342 -x1343 x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 x1419 x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 x1521 x1522 x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 x1731 x1732 x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 x2015 x2016 x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 x2311 x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 x2420 x2421 x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 x2438 x2439 x2440 x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 x2988 -x2989 x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 x3114 x3115 -x3116 -x3117 x3118 x3119 x3120 x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 x3131 x3132 x3133 x3134 x3135 x3136 x3137 x3138 x3139 x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564
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 (62241 MiB free)
memory of node 1: 64465 MiB (59452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532119-1752596994/watcher-4532119-1752596994 -o /tmp/evaluation-result-4532119-1752596994/solver-4532119-1752596994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752596989-129395 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532119-1752596994.opb PROOFDIR/proof-4532119-1752596994
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=129552, runsolver pid=129549
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.82 3.17 4.04 5/416 129554
/proc/meminfo: memFree=124612632/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129554] ppid=129552 vsize=20396 memory=11664 CPUtime=0.08 cores=1,3
/proc/129554/stat : 129554 (pbsuma) R 129552 129552 128779 0 -1 4194304 2602 0 0 0 8 0 0 0 20 0 1 0 175378088 20885504 2916 18446744073709551615 4210688 4653049 140726977138128 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24494080 140726977140961 140726977141296 140726977141296 140726977146863 0
/proc/129554/statm: 5099 2916 1024 108 0 2507 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 24588 KiB
Current children cumulated memory: 14736 KiB
[startup+0.209177 s]*
/proc/loadavg: 1.82 3.17 4.04 5/416 129554
/proc/meminfo: memFree=124604516/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129554] ppid=129552 vsize=20396 memory=11664 CPUtime=0.19 cores=1,3
/proc/129554/stat : 129554 (pbsuma) R 129552 129552 128779 0 -1 4194304 2608 0 0 0 19 0 0 0 20 0 1 0 175378088 20885504 2916 18446744073709551615 4210688 4653049 140726977138128 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24494080 140726977140961 140726977141296 140726977141296 140726977146863 0
/proc/129554/statm: 5099 2916 1024 108 0 2507 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24588 KiB
Current children cumulated memory: 14736 KiB
[startup+0.309055 s]*
/proc/loadavg: 1.82 3.17 4.04 5/416 129554
/proc/meminfo: memFree=124604516/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129554] ppid=129552 vsize=20396 memory=11664 CPUtime=0.29 cores=1,3
/proc/129554/stat : 129554 (pbsuma) R 129552 129552 128779 0 -1 4194304 2611 0 0 0 29 0 0 0 20 0 1 0 175378088 20885504 2916 18446744073709551615 4210688 4653049 140726977138128 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 24494080 140726977140961 140726977141296 140726977141296 140726977146863 0
/proc/129554/statm: 5099 2916 1024 108 0 2507 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24588 KiB
Current children cumulated memory: 14736 KiB
[startup+0.700206 s]
/proc/loadavg: 1.82 3.17 4.04 5/416 129554
/proc/meminfo: memFree=124604516/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129554] ppid=129552 vsize=23748 memory=16072 CPUtime=0.62 cores=1,3
/proc/129554/stat : 129554 (pbsuma) D 129552 129552 128779 0 -1 4194304 4845 0 0 0 59 3 0 0 20 0 1 0 175378088 24317952 4018 18446744073709551615 4210688 4653049 140726977138128 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 24494080 140726977140961 140726977141296 140726977141296 140726977146863 0
/proc/129554/statm: 5937 4018 1024 108 0 3345 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 19144 KiB
[startup+1.50021 s]
/proc/loadavg: 1.82 3.17 4.04 5/416 129555
/proc/meminfo: memFree=124590940/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=98296 memory=48472 CPUtime=0.75 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 8877 0 0 0 69 6 0 0 20 0 1 0 175378161 100655104 12118 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 24574 12118 2400 1147 0 12000 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 102488 KiB
Current children cumulated memory: 51544 KiB
[startup+3.10889 s]
/proc/loadavg: 1.82 3.17 4.04 5/416 129555
/proc/meminfo: memFree=124533396/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=100680 memory=52712 CPUtime=2.35 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 9413 0 0 0 226 9 0 0 20 0 1 0 175378161 103096320 13178 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 25170 13178 2400 1147 0 12596 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 104872 KiB
Current children cumulated memory: 55784 KiB
[startup+6.30018 s]
/proc/loadavg: 2.00 3.18 4.04 5/416 129555
/proc/meminfo: memFree=124301264/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=106116 memory=57576 CPUtime=5.53 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 10636 0 0 0 539 14 0 0 20 0 1 0 175378161 108662784 14394 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 26529 14394 2400 1147 0 13955 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 60648 KiB
[startup+12.7002 s]
/proc/loadavg: 2.16 3.19 4.04 5/411 129582
/proc/meminfo: memFree=124260556/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=107924 memory=59368 CPUtime=11.92 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 11095 0 0 0 1166 26 0 0 20 0 1 0 175378161 110514176 14842 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 26981 14842 2400 1147 0 14407 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 112116 KiB
Current children cumulated memory: 62440 KiB
[startup+25.5002 s]
/proc/loadavg: 2.57 3.23 4.04 5/416 129700
/proc/meminfo: memFree=124084892/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=114796 memory=66024 CPUtime=24.68 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 12769 0 0 0 2424 44 0 0 20 0 1 0 175378161 117551104 16506 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 28699 16506 2400 1147 0 16125 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 118988 KiB
Current children cumulated memory: 69096 KiB
[startup+34.1833 s]
# the end of solver process 129552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=33.2642 s, system=0.615564 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.57 3.23 4.04 5/416 129700
/proc/meminfo: memFree=124084892/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=114796 memory=66024 CPUtime=24.78 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 12770 0 0 0 2434 44 0 0 20 0 1 0 175378161 117551104 16506 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 28699 16506 2400 1147 0 16125 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 118988 KiB
Current children cumulated memory: 69096 KiB
[startup+28.8002 s]
/proc/loadavg: 2.57 3.23 4.04 5/416 129700
/proc/meminfo: memFree=124058756/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=117256 memory=66676 CPUtime=27.98 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 12997 0 0 0 2748 50 0 0 20 0 1 0 175378161 120070144 16669 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 29314 16669 2400 1147 0 16740 0
Current children cumulated CPU time: 28.6 s
Current children cumulated vsize: 121448 KiB
Current children cumulated memory: 69748 KiB
[startup+32.0002 s]*
/proc/loadavg: 2.68 3.25 4.04 5/416 129700
/proc/meminfo: memFree=123964420/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=117256 memory=67956 CPUtime=31.18 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 13330 0 0 0 3065 53 0 0 20 0 1 0 175378161 120070144 16989 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 29314 16989 2400 1147 0 16740 0
Current children cumulated CPU time: 31.8 s
Current children cumulated vsize: 121448 KiB
Current children cumulated memory: 71028 KiB
[startup+32.8001 s]
/proc/loadavg: 2.68 3.25 4.04 5/416 129700
/proc/meminfo: memFree=123964420/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=117256 memory=68084 CPUtime=31.97 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 13351 0 0 0 3143 54 0 0 20 0 1 0 175378161 120070144 17021 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 29314 17021 2400 1147 0 16740 0
Current children cumulated CPU time: 32.59 s
Current children cumulated vsize: 121448 KiB
Current children cumulated memory: 71156 KiB
[startup+33.6002 s]
/proc/loadavg: 2.68 3.25 4.04 5/416 129700
/proc/meminfo: memFree=123940228/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=120940 memory=71412 CPUtime=32.76 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 14204 0 0 0 3221 55 0 0 20 0 1 0 175378161 123842560 17853 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 30235 17853 2400 1147 0 17661 0
Current children cumulated CPU time: 33.38 s
Current children cumulated vsize: 125132 KiB
Current children cumulated memory: 74484 KiB
[startup+34.0002 s]*
/proc/loadavg: 2.68 3.25 4.04 5/416 129700
/proc/meminfo: memFree=123924100/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=120940 memory=71412 CPUtime=33.18 cores=1,3
/proc/129555/stat : 129555 (roundingsat) R 129552 129552 128779 0 -1 4194304 14204 0 0 0 3262 56 0 0 20 0 1 0 175378161 123842560 17853 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 30235 17853 2400 1147 0 17661 0
Current children cumulated CPU time: 33.8 s
Current children cumulated vsize: 125132 KiB
Current children cumulated memory: 74484 KiB
[startup+34.1089 s]
/proc/loadavg: 2.68 3.25 4.04 5/416 129700
/proc/meminfo: memFree=123924100/131249996 swapFree=33010160/33010684
[pid=129552] ppid=129549 vsize=4192 memory=3072 CPUtime=0.62 cores=1,3
/proc/129552/stat : 129552 (run-opt-ls-log.) S 129549 129552 128779 0 -1 4194304 240 4848 0 0 0 0 59 3 20 0 1 0 175378088 4292608 768 18446744073709551615 94013238026240 94013238920773 140729406389712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94013239159824 94013239207568 94013246189568 140729406392601 140729406392799 140729406392799 140729406398403 0
/proc/129552/statm: 1048 768 704 219 0 110 0
[pid=129555] ppid=129552 vsize=120940 memory=71412 CPUtime=33.23 cores=1,3
/proc/129555/stat : 129555 (roundingsat) D 129552 129552 128779 0 -1 4194304 14204 0 0 0 3266 57 0 0 20 0 1 0 175378161 123842560 17853 18446744073709551615 4227072 8923577 140723283664816 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 26808320 140723283667188 140723283667494 140723283667494 140723283673066 0
/proc/129555/statm: 30235 17853 2400 1147 0 17661 0
Current children cumulated CPU time: 33.85 s
Current children cumulated vsize: 125132 KiB
Current children cumulated memory: 74484 KiB
Child status: 0
Real time (s): 34.1834
CPU time (s): 33.8798
CPU user time (s): 33.2642
CPU system time (s): 0.615564
CPU usage (%): 99.1119
Max. virtual memory (cumulated for all children) (KiB): 125132
Max. memory (cumulated for all children) (KiB): 74484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.2642
system time used= 0.615564
maximum resident set size= 71412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 212872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3677
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 129552
# total CPU time (s): 33.8798
# total CPU user time (s): 33.2642
# total CPU system time (s): 0.615564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.118513 second user time and 0.285982 second system time
The end
Begin job on nodeC032 at 2025-07-15 18:29:55
IDJOB=4532119
IDBENCH=161280
IDSOLVER=3392
FILE ID=nodeC032/4532119-1752596994
RUNJOBID= nodeC032-1752596989-129395
SLURM_JOB_ID= 9684386
Free space on /tmp= 429520 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532119-1752596994/watcher-4532119-1752596994 -o /tmp/evaluation-result-4532119-1752596994/solver-4532119-1752596994 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752596989-129395 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532119-1752596994.opb PROOFDIR/proof-4532119-1752596994
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583
RANDOM SEED=922508008
nodeC032 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 : 3599.842
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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.848
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 : 6999.69
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 : 3458.994
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 : 6999.69
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 : 3647.709
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 : 6999.69
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 : 3599.846
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 : 6999.69
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 : 3599.815
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 : 6999.69
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 : 3456.677
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 : 6999.69
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 : 3567.963
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 : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 124614836 kB
MemAvailable: 129196592 kB
Buffers: 2728 kB
Cached: 5264256 kB
SwapCached: 20 kB
Active: 1146472 kB
Inactive: 4557132 kB
Active(anon): 459772 kB
Inactive(anon): 3124 kB
Active(file): 686700 kB
Inactive(file): 4554008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46932 kB
Writeback: 0 kB
AnonPages: 439780 kB
Mapped: 118240 kB
Shmem: 26240 kB
KReclaimable: 360572 kB
Slab: 460024 kB
SReclaimable: 360572 kB
SUnreclaim: 99452 kB
KernelStack: 6688 kB
PageTables: 4164 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 863732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 152904 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 178176 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= 429504 MiB
End job on nodeC032 at 2025-07-15 18:30:29