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-4512437-1751523716.opb'
0.00/0.01 c read 0.34MB (5.38ms)
0.00/0.01 c [cnf: #variables 3564 #clauses 11686 #duplicates 0 #arr 30107]
0.00/0.01 c output proof to 'PROOFDIR/proof-4512437-1751523716'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 296] (4.90ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.27/0.35 c (328.56ms)
0.27/0.35 c
0.27/0.35 c detect symmetries on remainder
0.27/0.35 c [graph: #vertices 26152 #edges 82018]
0.27/0.35 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.27/0.37 c [group: #symmetries 1.73*10^3 #generators 4] (27.42ms)
0.27/0.37 c
0.27/0.37 c optimize generators (opt_passes=64, conjugate_limit=256)
0.27/0.38 c opt it=15, l=114, m=50, opt=5, avg=5049, b=416, gens=4
0.27/0.38 c ran it=0, +gens=3
0.46/0.52 c con best_support=416, best_gens=1, +gens=164
0.46/0.52 c (144.64ms)
0.46/0.52 c
0.46/0.52 c finalize break order and special generators
0.46/0.52 c
0.46/0.52 c add generic predicates (break_depth=20)
0.46/0.52 c added predicates for 171 generators (0.65ms)
0.55/0.64 c
0.55/0.64 c generation finished
0.55/0.64 c [sbp: #constraints 9918 #add_vars 3249]
0.55/0.64 c
0.55/0.64 c write result to 'HOME/instance-4512437-1751523716.opb.pre'
0.55/0.64 c wrote 0.70MB (1.86ms)
0.55/0.64 c ------------------------------------------------------------------
0.55/0.64 c 328.56ms 51.50% detect_special
0.55/0.64 c 144.64ms 22.67% optimize_gens
0.55/0.64 c 124.11ms 19.45% other
0.55/0.64 c 27.42ms 4.30% detect_generic
0.55/0.64 c 5.37ms 0.84% parse
0.55/0.64 c 4.90ms 0.77% approx_orbits
0.55/0.64 c 1.86ms 0.29% output
0.55/0.64 c 0.65ms 0.10% break_generic
0.55/0.64 c 0.51ms 0.08% finalize_order
0.55/0.64 c ───────────────────────────────────────────────
0.55/0.64 c 638.03ms 100% total
0.55/0.64 c ------------------------------------------------------------------
0.55/0.69 c RoundingSat 2
0.55/0.69 c branch pb25
0.55/0.69 c commit 63f22ad
0.61/0.81 c #variables 6813 #constraints 20057
0.61/0.81 c objective is ce32
0.61/0.81 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.61/0.81 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.61/0.81 c bounds - >= 0 @ 0.095227
0.61/0.88 c bounds 197351168 >= 0 @ 0.159833
0.61/0.88 c bounds 197351168 >= 36700160 @ 0.159941
0.61/0.88 c bounds 197351168 >= 41943040 @ 0.159941
0.61/0.88 c bounds 197351168 >= 47185920 @ 0.159941
0.61/0.88 c bounds 197351168 >= 52428800 @ 0.160001
0.61/0.89 c bounds 197351168 >= 57671680 @ 0.160119
0.61/0.89 c bounds 197351168 >= 62914560 @ 0.160244
0.61/0.89 c bounds 197351168 >= 68157440 @ 0.160244
0.61/0.89 c bounds 197351168 >= 73400320 @ 0.160244
0.61/0.89 c bounds 197351168 >= 78643200 @ 0.160244
0.61/0.89 c bounds 197351168 >= 79691776 @ 0.160244
0.61/0.89 c bounds 197351168 >= 80740352 @ 0.160251
0.61/0.89 c bounds 197351168 >= 85983232 @ 0.160251
0.61/0.89 c bounds 197351168 >= 91226112 @ 0.160256
0.61/0.89 c bounds 197351168 >= 96468992 @ 0.161111
0.61/0.89 c bounds 187913984 >= 96468992 @ 0.163644
0.61/0.90 c bounds 187913984 >= 101711872 @ 0.166683
0.61/0.90 c bounds 187852544 >= 101711872 @ 0.168899
0.61/0.90 c bounds 187791104 >= 101711872 @ 0.172126
0.61/0.91 c bounds 187791104 >= 106954752 @ 0.180849
0.61/0.92 c bounds 187725824 >= 106954752 @ 0.183092
0.61/0.95 c bounds 182482944 >= 106954752 @ 0.216632
0.61/0.98 c bounds 182482944 >= 112197632 @ 0.24574
0.90/1.01 c bounds 177240064 >= 112197632 @ 0.267433
0.90/1.09 c #Conflicts: 1000 | #Constraints: 21225
0.90/1.09 c bounds 177240064 >= 117440512 @ 0.346471
1.00/1.12 c bounds 171997184 >= 117440512 @ 0.372852
1.49/1.63 c #Conflicts: 2000 | #Constraints: 22250
1.49/1.63 c INPROCESSING
1.49/1.63 c GARBAGE COLLECT
1.49/1.63 c bounds 166754304 >= 117440512 @ 0.873927
1.49/1.64 c bounds 161511424 >= 117440512 @ 0.87892
1.49/1.65 c bounds 156268544 >= 117440512 @ 0.88449
1.70/1.88 c #Conflicts: 3000 | #Constraints: 21897
1.70/1.88 c bounds 151025664 >= 117440512 @ 1.10465
2.59/2.72 c #Conflicts: 4000 | #Constraints: 22898
2.59/2.72 c INPROCESSING
2.59/2.72 c GARBAGE COLLECT
2.59/2.72 c #Conflicts: 5000 | #Constraints: 22293
2.59/2.72 c bounds 151025664 >= 122683392 @ 1.92831
3.90/4.05 c #Conflicts: 6000 | #Constraints: 23326
3.90/4.05 c INPROCESSING
3.90/4.05 c GARBAGE COLLECT
3.90/4.05 c rational objective 1.22683e+08
4.09/4.26 c #Conflicts: 7000 | #Constraints: 22319
4.09/4.26 c bounds 149977088 >= 122683392 @ 3.42853
4.39/4.51 c #Conflicts: 8000 | #Constraints: 23320
4.39/4.51 c #Conflicts: 9000 | #Constraints: 24320
4.39/4.51 c bounds 144734208 >= 122683392 @ 3.67155
5.78/5.90 c INPROCESSING
5.78/5.90 c GARBAGE COLLECT
5.78/5.90 c #Conflicts: 10000 | #Constraints: 23013
5.78/5.90 c bounds 144734208 >= 123731968 @ 5.04008
5.89/6.09 c #Conflicts: 11000 | #Constraints: 24016
5.89/6.09 c bounds 144730368 >= 123731968 @ 5.22262
5.99/6.12 c bounds 144730368 >= 124780544 @ 5.25204
6.89/7.05 c #Conflicts: 12000 | #Constraints: 25023
6.89/7.05 c INPROCESSING
6.89/7.05 c GARBAGE COLLECT
6.89/7.05 c rational objective 1.24781e+08
7.08/7.28 c bounds 144730368 >= 124846080 @ 6.3965
7.18/7.30 c bounds 139495168 >= 124846080 @ 6.42107
8.37/8.59 c #Conflicts: 13000 | #Constraints: 23481
8.37/8.59 c #Conflicts: 14000 | #Constraints: 24481
8.37/8.59 c #Conflicts: 15000 | #Constraints: 25481
8.37/8.59 c INPROCESSING
8.37/8.59 c GARBAGE COLLECT
8.37/8.59 c #Conflicts: 16000 | #Constraints: 23705
8.37/8.59 c bounds 139495168 >= 124911616 @ 7.67999
8.47/8.66 c #Conflicts: 17000 | #Constraints: 24708
8.47/8.66 c bounds 134325248 >= 124911616 @ 7.7471
8.47/8.66 c bounds 134325248 >= 124977152 @ 7.74785
9.57/9.73 c #Conflicts: 18000 | #Constraints: 25712
9.57/9.73 c INPROCESSING
9.57/9.73 c GARBAGE COLLECT
9.57/9.73 c rational objective 1.24977e+08
9.67/9.84 c bounds 134321408 >= 124977152 @ 8.91061
9.67/9.84 c bounds 134259968 >= 124977152 @ 8.91391
9.67/9.85 c bounds 134256128 >= 124977152 @ 8.91551
9.67/9.85 c bounds 134252288 >= 124977152 @ 8.91862
9.97/10.16 c #Conflicts: 19000 | #Constraints: 23737
9.97/10.16 c #Conflicts: 20000 | #Constraints: 24737
9.97/10.16 c bounds 134248448 >= 124977152 @ 9.21742
9.97/10.16 c bounds 134248448 >= 124981248 @ 9.21772
9.97/10.16 c bounds 134248448 >= 124985344 @ 9.21774
9.97/10.17 c bounds 134248448 >= 124989440 @ 9.22416
11.07/11.23 c #Conflicts: 21000 | #Constraints: 25755
11.07/11.23 c bounds 134248448 >= 127938560 @ 10.265
12.36/12.53 c INPROCESSING
12.36/12.53 c GARBAGE COLLECT
12.36/12.53 c rational objective 1.27939e+08
13.16/13.35 c #Conflicts: 22000 | #Constraints: 23380
13.16/13.35 c #Conflicts: 23000 | #Constraints: 24380
13.16/13.35 c #Conflicts: 24000 | #Constraints: 25380
13.16/13.35 c #Conflicts: 25000 | #Constraints: 26380
13.16/13.35 c INPROCESSING
13.16/13.35 c GARBAGE COLLECT
13.16/13.35 c bounds 134248448 >= 128987136 @ 12.3508
13.16/13.36 c bounds 134248448 >= 128991232 @ 12.359
14.76/14.94 c #Conflicts: 26000 | #Constraints: 23842
14.76/14.94 c #Conflicts: 27000 | #Constraints: 24842
14.76/14.94 c #Conflicts: 28000 | #Constraints: 25842
14.76/14.94 c #Conflicts: 29000 | #Constraints: 26842
14.76/14.94 c INPROCESSING
14.76/14.94 c GARBAGE COLLECT
14.76/14.94 c rational objective 1.28991e+08
16.76/17.00 c #Conflicts: 30000 | #Constraints: 24245
16.76/17.00 c #Conflicts: 31000 | #Constraints: 25245
16.76/17.00 c #Conflicts: 32000 | #Constraints: 26245
16.76/17.00 c #Conflicts: 33000 | #Constraints: 27245
16.76/17.00 c INPROCESSING
16.76/17.00 c GARBAGE COLLECT
16.76/17.00 c rational objective 1.28991e+08
19.65/19.85 c #Conflicts: 34000 | #Constraints: 24450
19.65/19.85 c #Conflicts: 35000 | #Constraints: 25450
19.65/19.85 c #Conflicts: 36000 | #Constraints: 26450
19.65/19.85 c bounds 134248448 >= 129048576 @ 18.7272
20.74/20.95 c #Conflicts: 37000 | #Constraints: 27458
20.74/20.95 c INPROCESSING
20.74/20.95 c GARBAGE COLLECT
20.74/20.95 c rational objective 1.29049e+08
22.63/22.86 c #Conflicts: 38000 | #Constraints: 24469
22.63/22.86 c #Conflicts: 39000 | #Constraints: 25469
22.63/22.86 c #Conflicts: 40000 | #Constraints: 26469
22.63/22.86 c #Conflicts: 41000 | #Constraints: 27469
22.63/22.86 c INPROCESSING
22.63/22.86 c GARBAGE COLLECT
22.63/22.86 c rational objective 1.29049e+08
24.23/24.41 c #Conflicts: 42000 | #Constraints: 23486
24.23/24.41 c #Conflicts: 43000 | #Constraints: 24486
24.23/24.41 c #Conflicts: 44000 | #Constraints: 25486
24.23/24.41 c #Conflicts: 45000 | #Constraints: 26486
24.23/24.41 c bounds 134248448 >= 129052672 @ 23.2142
24.23/24.43 c bounds 134248448 >= 129105920 @ 23.2313
24.23/24.43 c bounds 134248448 >= 129110016 @ 23.2315
25.63/25.88 c #Conflicts: 46000 | #Constraints: 27502
25.63/25.88 c #Conflicts: 47000 | #Constraints: 28502
25.63/25.88 c #Conflicts: 48000 | #Constraints: 29502
25.63/25.88 c bounds 134248448 >= 129167360 @ 24.6566
32.22/32.47 c #Conflicts: 49000 | #Constraints: 30508
32.22/32.47 c #Conflicts: 50000 | #Constraints: 31508
32.22/32.47 c #Conflicts: 51000 | #Constraints: 32508
32.22/32.47 c #Conflicts: 52000 | #Constraints: 33508
32.22/32.47 c #Conflicts: 53000 | #Constraints: 34508
32.22/32.47 c #Conflicts: 54000 | #Constraints: 35508
32.22/32.47 c #Conflicts: 55000 | #Constraints: 36508
32.22/32.47 c #Conflicts: 56000 | #Constraints: 37508
32.22/32.47 c #Conflicts: 57000 | #Constraints: 38508
32.22/32.47 c #Conflicts: 58000 | #Constraints: 39508
32.22/32.47 c INPROCESSING
32.22/32.47 c GARBAGE COLLECT
32.22/32.47 c rational objective 1.29167e+08
33.21/33.44 c bounds 134248448 >= 129171456 @ 32.1103
33.21/33.44 c bounds 134248448 >= 129175552 @ 32.1106
33.21/33.44 c bounds 134248448 >= 129179648 @ 32.1162
33.21/33.48 c bounds 134248448 >= 132128768 @ 32.1551
33.21/33.49 c bounds 134248448 >= 132988928 @ 32.1604
33.21/33.49 c bounds 134248448 >= 133046272 @ 32.1608
33.21/33.49 c bounds 134248448 >= 133099520 @ 32.161
33.21/33.49 c bounds 134248448 >= 133103616 @ 32.1612
33.21/33.49 c bounds 134248448 >= 133107712 @ 32.1615
33.21/33.49 c bounds 134248448 >= 133165056 @ 32.1616
33.21/33.49 c bounds 134248448 >= 133169152 @ 32.1618
33.21/33.49 c bounds 134248448 >= 133173248 @ 32.1621
33.21/33.49 c bounds 134248448 >= 133177344 @ 32.1628
33.21/33.49 c bounds 134248448 >= 133181440 @ 32.1647
33.21/33.49 c bounds 134248448 >= 133234688 @ 32.1653
33.21/33.49 c bounds 134248448 >= 134041600 @ 32.1655
33.21/33.49 c bounds 134248448 >= 134098944 @ 32.1657
33.21/33.49 c bounds 134248448 >= 134152192 @ 32.1659
33.21/33.49 c bounds 134248448 >= 134205440 @ 32.1663
33.21/33.49 c bounds 134248448 >= 134209536 @ 32.1665
33.21/33.50 c bounds 134248448 >= 134213632 @ 32.1668
33.21/33.50 c #Conflicts: 59000 | #Constraints: 26816
33.21/33.50 c bounds 134248448 >= 134217728 @ 32.167
33.31/33.50 c bounds 134248448 >= 134221824 @ 32.1673
33.31/33.50 c bounds 134248448 >= 134225920 @ 32.1678
33.31/33.50 c bounds 134248448 >= 134230016 @ 32.1684
33.92/34.19 c bounds 134248448 >= 134234112 @ 32.8488
34.20/34.41 c bounds 134248448 >= 134238208 @ 33.0583
34.20/34.43 c bounds 134248448 >= 134242304 @ 33.0838
34.20/34.44 c bounds 134248448 >= 134246400 @ 33.0945
34.20/34.45 c bounds 134248448 >= 134248448 @ 33.102
34.20/34.45 c cpu time 33.102 s
34.20/34.45 c deterministic time 695566375 6.96e+08
34.20/34.45 c optimization time 0.016588 s
34.20/34.45 c total solve time 32.9902 s
34.20/34.45 c core-guided solve time 15.5636 s
34.20/34.45 c propagation time 17.779 s
34.20/34.45 c conflict analysis time 5.74692 s
34.20/34.45 c propagations 16961521
34.20/34.45 c resolve steps 2433351
34.20/34.45 c decisions 121925
34.20/34.45 c conflicts 59780
34.20/34.45 c restarts 188
34.20/34.45 c inprocessing phases 14
34.20/34.45 c garbage collections 14 ,( 100.00 )
34.20/34.45 c input clauses 20217 ,( 97.74 )
34.20/34.45 c input cardinalities 221 ,( 1.07 )
34.20/34.45 c input general constraints 246 ,( 1.19 )
34.20/34.45 c input average constraint length 3.36
34.20/34.45 c input average constraint degree 2260.40
34.20/34.45 c learned clauses 47344 ,( 79.17 )
34.20/34.45 c learned cardinalities 1051 ,( 1.76 )
34.20/34.45 c learned general constraints 11405 ,( 19.07 )
34.20/34.45 c learned average constraint length 64.01
34.20/34.45 c learned average constraint degree 820026.11
34.20/34.45 c watched CF 32, 64, 128, Arb: 3124 , 0 , 0 , 0
34.20/34.45 c counting CF 32, 64, 128, Arb: 8528 , 0 , 0 , 0
34.20/34.45 c watched constraints 3124 ,( 26.81 )
34.20/34.45 c counting constraints 8527 ,( 73.19 )
34.20/34.45 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 41013994 , 5984009 , 43166119 ,( 9250865 , 33915254 )
34.20/34.45 c gcd simplifications 482
34.20/34.45 c detected cardinalities 19
34.20/34.45 c weakened non-implied lits 1217510
34.20/34.45 c weakened non-implying lits 5880
34.20/34.45 c original variables 6813
34.20/34.45 c clausal propagations 15112905
34.20/34.45 c cardinality propagations 371959
34.20/34.45 c watched propagations 125688
34.20/34.45 c counting propagations 1199868
34.20/34.45 c watch lookups 383930427
34.20/34.45 c watch backjump lookups 0
34.20/34.45 c watch checks 167099742
34.20/34.45 c propagation checks 93197979
34.20/34.45 c constraint additions 17010941
34.20/34.45 c trail pops 17142813
34.20/34.45 c formula constraints 20057
34.20/34.45 c learned constraints 59792
34.20/34.45 c bound constraints 133
34.20/34.45 c core-guided constraints 494
34.20/34.45 c encountered formula constraints 1811657
34.20/34.45 c encountered learned constraints 530802
34.20/34.45 c encountered bound constraints 1182
34.20/34.45 c encountered core-guided constraints 149487
34.20/34.45 c LP total time 18.7763 s
34.20/34.45 c LP solve time 16.18 s
34.20/34.45 c LP constraints added 20211
34.20/34.45 c LP constraints removed 134
34.20/34.45 c LP pivots internal 63527
34.20/34.45 c LP pivots root 37499
34.20/34.45 c LP calls 29
34.20/34.45 c LP optimalities 25
34.20/34.45 c LP no pivot count 3
34.20/34.45 c LP infeasibilities 1
34.20/34.45 c LP valid Farkas constraints 1
34.20/34.45 c LP learned Farkas constraints 1
34.20/34.45 c LP basis resets 0
34.20/34.45 c LP cycling count 0
34.20/34.45 c LP singular count 0
34.20/34.45 c LP no primal count 0
34.20/34.45 c LP no farkas count 0
34.20/34.45 c LP other issue count 0
34.20/34.45 c LP Gomory cuts 6
34.20/34.45 c LP learned cuts 148
34.20/34.45 c LP deleted cuts 134
34.20/34.45 c LP encountered Gomory constraints 2
34.20/34.45 c LP encountered Farkas constraints 0
34.20/34.45 c LP encountered learned Farkas constraints 0
34.20/34.45 c CG auxiliary variables introduced 182
34.20/34.45 c CG solutions found 22
34.20/34.45 c CG cores constructed 64
34.20/34.45 c CG core cardinality constraints returned 0
34.20/34.45 c CG unit cores 0
34.20/34.45 c CG single cores 64
34.20/34.45 c CG blocks removed during cardinality reduction 0
34.20/34.45 c CG first core best 0
34.20/34.45 c CG decision core best 0
34.20/34.45 c CG core reduction tie 0
34.20/34.45 c CG core degree average 1.00
34.20/34.45 c CG core slack average 6.69
34.20/34.45 c CG core upper bound improvements 10
34.20/34.45 c STR number of successful calls 0
34.20/34.45 c STR number of unsuccessful calls 0
34.20/34.45 c STR number of inconclusive calls 0
34.20/34.45 c STR number of successful attempts 0
34.20/34.45 c STR number of unsuccessful attempts 0
34.20/34.45 c STR number of inconclusive attempts 0
34.20/34.45 c STR average degree increase per successful call inf
34.20/34.45 c STR average degree increase per successful attempt inf
34.20/34.45 c STR total number of conflicts for successful attempts 0
34.20/34.45 c STR total number of conflicts for unsuccessful attempts 0
34.20/34.45 c STR total number of conflicts for inconclusive attempts 0
34.20/34.45 c STR average number of conflicts per successful attempt inf
34.20/34.45 c STR average number of conflicts per unsuccessful attempt inf
34.20/34.45 c STR average number of conflicts per inconclusive attempt inf
34.20/34.45 c AVG.sumWPerc 57.61
34.20/34.45 c bigint constraints 0
34.20/34.45 o 134248448
34.20/34.45 s OPTIMUM FOUND
34.20/34.45 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: 63665 MiB (60503 MiB free)
memory of node 1: 64507 MiB (63556 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512437-1751523716/watcher-4512437-1751523716 -o /tmp/evaluation-result-4512437-1751523716/solver-4512437-1751523716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751520002-78156 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4512437-1751523716.opb PROOFDIR/proof-4512437-1751523716
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=78859, runsolver pid=78856
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.21 4.19 4.12 5/274 78861
/proc/meminfo: memFree=127038216/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68051825 4292608 736 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 736 672 219 0 110 0
[pid=78861] ppid=78859 vsize=20396 memory=11664 CPUtime=0.08 cores=5,7
/proc/78861/stat : 78861 (pbsuma) R 78859 78859 78143 0 -1 4194304 2605 0 0 0 8 0 0 0 20 0 1 0 68051826 20885504 2916 18446744073709551615 4210688 4653049 140721994145392 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 34516992 140721994148067 140721994148402 140721994148402 140721994153967 0
/proc/78861/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: 14608 KiB
[startup+0.205617 s]*
/proc/loadavg: 4.21 4.19 4.12 5/274 78861
/proc/meminfo: memFree=127038216/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68051825 4292608 736 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 736 672 219 0 110 0
[pid=78861] ppid=78859 vsize=20396 memory=11664 CPUtime=0.18 cores=5,7
/proc/78861/stat : 78861 (pbsuma) R 78859 78859 78143 0 -1 4194304 2611 0 0 0 18 0 0 0 20 0 1 0 68051826 20885504 2916 18446744073709551615 4210688 4653049 140721994145392 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 34516992 140721994148067 140721994148402 140721994148402 140721994153967 0
/proc/78861/statm: 5099 2916 1024 108 0 2507 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 24588 KiB
Current children cumulated memory: 14608 KiB
[startup+0.305277 s]*
/proc/loadavg: 4.21 4.19 4.12 5/274 78861
/proc/meminfo: memFree=127038216/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68051825 4292608 736 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 736 672 219 0 110 0
[pid=78861] ppid=78859 vsize=20396 memory=11664 CPUtime=0.27 cores=5,7
/proc/78861/stat : 78861 (pbsuma) R 78859 78859 78143 0 -1 4194304 2614 0 0 0 27 0 0 0 20 0 1 0 68051826 20885504 2916 18446744073709551615 4210688 4653049 140721994145392 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 34516992 140721994148067 140721994148402 140721994148402 140721994153967 0
/proc/78861/statm: 5099 2916 1024 108 0 2507 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 24588 KiB
Current children cumulated memory: 14608 KiB
[startup+0.700226 s]
/proc/loadavg: 4.21 4.19 4.12 5/274 78861
/proc/meminfo: memFree=127024384/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.5002 s]
/proc/loadavg: 4.21 4.19 4.12 5/274 78862
/proc/meminfo: memFree=126965876/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=92576 memory=42452 CPUtime=0.78 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 7335 0 0 0 73 5 0 0 20 0 1 0 68051894 94797824 10613 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 23144 10613 2400 1147 0 10571 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 96768 KiB
Current children cumulated memory: 45524 KiB
[startup+3.10541 s]
/proc/loadavg: 4.19 4.19 4.12 5/274 78862
/proc/meminfo: memFree=126907576/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=94960 memory=46852 CPUtime=2.39 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 7909 0 0 0 229 10 0 0 20 0 1 0 68051894 97239040 11713 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 23740 11713 2400 1147 0 11167 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 99152 KiB
Current children cumulated memory: 49924 KiB
[startup+6.30015 s]
/proc/loadavg: 4.19 4.19 4.12 5/274 78862
/proc/meminfo: memFree=126806864/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=100396 memory=51588 CPUtime=5.58 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 9093 0 0 0 542 16 0 0 20 0 1 0 68051894 102805504 12897 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 25099 12897 2400 1147 0 12526 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 104588 KiB
Current children cumulated memory: 54660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.18 4.12 5/274 78862
/proc/meminfo: memFree=126639008/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=101892 memory=52996 CPUtime=11.96 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 9471 0 0 0 1171 25 0 0 20 0 1 0 68051894 104337408 13249 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 25473 13249 2400 1147 0 12900 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 106084 KiB
Current children cumulated memory: 56068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.19 4.12 5/274 78863
/proc/meminfo: memFree=126386188/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=109048 memory=60036 CPUtime=24.72 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 11221 0 0 0 2427 45 0 0 20 0 1 0 68051894 111665152 15009 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 27262 15009 2400 1147 0 14689 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 113240 KiB
Current children cumulated memory: 63108 KiB
[startup+34.5756 s]
# the end of solver process 78859 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=33.6889 s, system=0.613831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.21 4.19 4.12 5/274 78863
/proc/meminfo: memFree=126386188/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=109048 memory=60036 CPUtime=24.82 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 11221 0 0 0 2437 45 0 0 20 0 1 0 68051894 111665152 15009 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 27262 15009 2400 1147 0 14689 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 113240 KiB
Current children cumulated memory: 63108 KiB
[startup+28.8002 s]
/proc/loadavg: 4.20 4.19 4.12 5/274 78863
/proc/meminfo: memFree=126337312/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=111508 memory=60672 CPUtime=28.01 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 11449 0 0 0 2753 48 0 0 20 0 1 0 68051894 114184192 15168 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 27877 15168 2400 1147 0 15304 0
Current children cumulated CPU time: 28.62 s
Current children cumulated vsize: 115700 KiB
Current children cumulated memory: 63744 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.20 4.19 4.12 5/274 78863
/proc/meminfo: memFree=126233932/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=111508 memory=61824 CPUtime=31.21 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 11742 0 0 0 3069 52 0 0 20 0 1 0 68051894 114184192 15456 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 27877 15456 2400 1147 0 15304 0
Current children cumulated CPU time: 31.82 s
Current children cumulated vsize: 115700 KiB
Current children cumulated memory: 64896 KiB
[startup+33.6002 s]
/proc/loadavg: 4.18 4.18 4.12 5/274 78863
/proc/meminfo: memFree=126201932/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=114964 memory=65280 CPUtime=32.8 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 12609 0 0 0 3226 54 0 0 20 0 1 0 68051894 117723136 16320 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 28741 16320 2400 1147 0 16168 0
Current children cumulated CPU time: 33.41 s
Current children cumulated vsize: 119156 KiB
Current children cumulated memory: 68352 KiB
[startup+34.0002 s]*
/proc/loadavg: 4.18 4.18 4.12 5/274 78863
/proc/meminfo: memFree=126169676/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=115176 memory=65408 CPUtime=33.21 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 12646 0 0 0 3266 55 0 0 20 0 1 0 68051894 117940224 16352 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 28794 16352 2400 1147 0 16221 0
Current children cumulated CPU time: 33.82 s
Current children cumulated vsize: 119368 KiB
Current children cumulated memory: 68480 KiB
[startup+34.4002 s]
/proc/loadavg: 4.18 4.18 4.12 5/274 78863
/proc/meminfo: memFree=126169676/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=115176 memory=65408 CPUtime=33.59 cores=5,7
/proc/78862/stat : 78862 (roundingsat) R 78859 78859 78143 0 -1 4194304 12646 0 0 0 3304 55 0 0 20 0 1 0 68051894 117940224 16352 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 28794 16352 2400 1147 0 16221 0
Current children cumulated CPU time: 34.2 s
Current children cumulated vsize: 119368 KiB
Current children cumulated memory: 68480 KiB
[startup+34.5002 s]
/proc/loadavg: 4.18 4.18 4.12 5/274 78863
/proc/meminfo: memFree=126169676/131250000 swapFree=33008100/33010684
[pid=78859] ppid=78856 vsize=4192 memory=3072 CPUtime=0.61 cores=5,7
/proc/78859/stat : 78859 (run-opt-break-l) S 78856 78859 78143 0 -1 4194304 241 4851 0 0 0 0 58 3 20 0 1 0 68051825 4292608 768 18446744073709551615 94290200035328 94290200929861 140729521316928 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94290201168912 94290201216656 94290217562112 140729521322261 140729521322462 140729521322462 140729521328064 0
/proc/78859/statm: 1048 768 704 219 0 110 0
[pid=78862] ppid=78859 vsize=115176 memory=65408 CPUtime=33.66 cores=5,7
/proc/78862/stat : 78862 (roundingsat) D 78859 78859 78143 0 -1 4194304 12646 0 0 0 3310 56 0 0 20 0 1 0 68051894 117940224 16352 18446744073709551615 4227072 8923433 140737034121936 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42446848 140737034127636 140737034127912 140737034127912 140737034133482 0
/proc/78862/statm: 28794 16352 2400 1147 0 16221 0
Current children cumulated CPU time: 34.27 s
Current children cumulated vsize: 119368 KiB
Current children cumulated memory: 68480 KiB
Child status: 0
Real time (s): 34.5756
CPU time (s): 34.3027
CPU user time (s): 33.6889
CPU system time (s): 0.613831
CPU usage (%): 99.2106
Max. virtual memory (cumulated for all children) (KiB): 119368
Max. memory (cumulated for all children) (KiB): 68480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.6889
system time used= 0.613831
maximum resident set size= 65408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17762
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= 2423
involuntary context switches= 93
# summary of solver processes directly reported to runsolver:
# pid: 78859
# total CPU time (s): 34.3027
# total CPU user time (s): 33.6889
# total CPU system time (s): 0.613831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070466 second user time and 0.189972 second system time
The end
Begin job on nodeC013 at 2025-07-03 08:21:56
IDJOB=4512437
IDBENCH=161280
IDSOLVER=3360
FILE ID=nodeC013/4512437-1751523716
RUNJOBID= nodeC013-1751520002-78156
SLURM_JOB_ID= 9598642
Free space on /tmp= 432652 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512437-1751523716/watcher-4512437-1751523716 -o /tmp/evaluation-result-4512437-1751523716/solver-4512437-1751523716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751520002-78156 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4512437-1751523716.opb PROOFDIR/proof-4512437-1751523716
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583
RANDOM SEED=77150160
nodeC013 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.826
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.67
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.801
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.242
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.67
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 : 3609.357
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.67
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.763
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.67
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.866
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.180
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.67
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 : 3598.922
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127038392 kB
MemAvailable: 128202368 kB
Buffers: 1668 kB
Cached: 1960428 kB
SwapCached: 2100 kB
Active: 1867792 kB
Inactive: 1648852 kB
Active(anon): 1548136 kB
Inactive(anon): 17648 kB
Active(file): 319656 kB
Inactive(file): 1631204 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008100 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 721164 kB
Writeback: 0 kB
AnonPages: 1555576 kB
Mapped: 113152 kB
Shmem: 11176 kB
KReclaimable: 104308 kB
Slab: 215912 kB
SReclaimable: 104308 kB
SUnreclaim: 111604 kB
KernelStack: 4400 kB
PageTables: 6560 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2036692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 337920 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432644 MiB
End job on nodeC013 at 2025-07-03 08:22:30