0.00/0.03 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03 c │ pbsuma -- a PB interface for satsuma │
0.00/0.03 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.03 c │ (c) 2025 Markus Anders │
0.00/0.03 c └────────────────────────────────────────────────────────────────┘
0.00/0.03 c parse 'HOME/instance-4532674-1752596981.opb'
0.00/0.04 c read 0.34MB (16.03ms)
0.00/0.04 c [cnf: #variables 3564 #clauses 11686 #duplicates 0 #arr 30107]
0.00/0.04 c output proof to 'PROOFDIR/proof-4532674-1752596981'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 296] (15.26ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.14 c probe for row symmetry (limit=64, splits=16.78M)
0.76/0.81 c (751.04ms)
0.76/0.81 c
0.76/0.81 c detect symmetries on remainder
0.76/0.81 c [graph: #vertices 26152 #edges 82018]
0.76/0.81 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.76/0.86 c [group: #symmetries 1.73*10^3 #generators 4] (50.78ms)
0.76/0.86 c
0.76/0.86 c optimize generators (opt_passes=64, conjugate_limit=256)
0.76/0.87 c opt it=15, l=114, m=50, opt=5, avg=5049, b=416, gens=4
0.76/0.87 c ran it=0, +gens=3
0.98/1.08 c con best_support=416, best_gens=1, +gens=164
0.98/1.08 c (221.03ms)
0.98/1.08 c
0.98/1.08 c finalize break order and special generators
0.98/1.08 c
0.98/1.08 c add generic predicates (break_depth=20)
0.98/1.08 c added predicates for 171 generators (0.94ms)
1.15/1.25 c
1.15/1.25 c generation finished
1.15/1.25 c [sbp: #constraints 9918 #add_vars 3249]
1.15/1.25 c
1.15/1.25 c write result to 'HOME/instance-4532674-1752596981.opb.pre'
1.15/1.26 c wrote 0.70MB (2.54ms)
1.15/1.26 c ------------------------------------------------------------------
1.15/1.26 c 751.04ms 61.03% detect_special
1.15/1.26 c 221.03ms 17.96% optimize_gens
1.15/1.26 c 172.19ms 13.99% other
1.15/1.26 c 50.78ms 4.13% detect_generic
1.15/1.26 c 16.03ms 1.30% parse
1.15/1.26 c 15.26ms 1.24% approx_orbits
1.15/1.26 c 2.54ms 0.21% output
1.15/1.26 c 0.94ms 0.08% break_generic
1.15/1.26 c 0.75ms 0.06% finalize_order
1.15/1.26 c ───────────────────────────────────────────────
1.15/1.26 c 1230.55ms 100% total
1.15/1.26 c ------------------------------------------------------------------
1.23/1.38 c RoundingSat 2
1.23/1.38 c branch pb25
1.23/1.38 c commit 0f876b3
1.23/1.75 c #variables 6813 #constraints 20057
1.23/1.75 c objective is ce32
1.23/1.75 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.23/1.75 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.23/1.75 c bounds - >= 0 @ 0.303628
1.23/1.95 c bounds 197351168 >= 0 @ 0.468887
1.23/1.95 c bounds 197351168 >= 36700160 @ 0.46965
1.23/1.96 c bounds 197351168 >= 41943040 @ 0.470142
1.23/1.96 c bounds 197351168 >= 47185920 @ 0.470588
1.23/1.96 c bounds 197351168 >= 52428800 @ 0.470996
1.23/1.96 c bounds 197351168 >= 57671680 @ 0.471431
1.23/1.96 c bounds 197351168 >= 62914560 @ 0.471895
1.23/1.96 c bounds 197351168 >= 68157440 @ 0.472368
1.23/1.96 c bounds 197351168 >= 73400320 @ 0.472976
1.23/1.96 c bounds 197351168 >= 78643200 @ 0.473454
1.23/1.96 c bounds 197351168 >= 79691776 @ 0.474405
1.23/1.96 c bounds 197351168 >= 80740352 @ 0.474692
1.23/1.96 c bounds 197351168 >= 85983232 @ 0.475312
1.23/1.96 c bounds 197351168 >= 91226112 @ 0.477567
1.23/1.97 c bounds 197351168 >= 96468992 @ 0.482151
1.23/1.98 c bounds 187913984 >= 96468992 @ 0.488057
1.23/1.99 c bounds 187913984 >= 101711872 @ 0.498413
1.23/2.00 c bounds 187852544 >= 101711872 @ 0.50524
1.23/2.01 c bounds 187791104 >= 101711872 @ 0.512194
1.85/2.04 c bounds 187791104 >= 106954752 @ 0.538164
1.85/2.05 c bounds 187725824 >= 106954752 @ 0.543549
1.95/2.15 c bounds 182482944 >= 106954752 @ 0.640622
2.03/2.24 c bounds 182482944 >= 112197632 @ 0.722761
2.12/2.31 c bounds 177240064 >= 112197632 @ 0.785779
2.32/2.53 c #Conflicts: 1000 | #Constraints: 21225
2.32/2.53 c bounds 177240064 >= 117440512 @ 1.00253
2.32/2.59 c bounds 171997184 >= 117440512 @ 1.04829
3.22/3.47 c #Conflicts: 2000 | #Constraints: 22250
3.22/3.47 c INPROCESSING
3.22/3.47 c GARBAGE COLLECT
3.22/3.47 c bounds 166754304 >= 117440512 @ 1.89729
3.22/3.48 c bounds 161511424 >= 117440512 @ 1.90549
3.22/3.49 c bounds 156268544 >= 117440512 @ 1.91213
3.51/3.78 c #Conflicts: 3000 | #Constraints: 21897
3.51/3.78 c bounds 151025664 >= 117440512 @ 2.19164
4.51/4.70 c #Conflicts: 4000 | #Constraints: 22898
4.51/4.70 c INPROCESSING
4.51/4.70 c GARBAGE COLLECT
4.51/4.70 c #Conflicts: 5000 | #Constraints: 22293
4.51/4.70 c bounds 151025664 >= 122683392 @ 3.08146
5.83/6.04 c #Conflicts: 6000 | #Constraints: 23326
5.83/6.04 c INPROCESSING
5.83/6.04 c GARBAGE COLLECT
5.83/6.04 c rational objective 1.22683e+08
6.00/6.24 c #Conflicts: 7000 | #Constraints: 22319
6.00/6.24 c bounds 149977088 >= 122683392 @ 4.58288
6.21/6.48 c #Conflicts: 8000 | #Constraints: 23320
6.21/6.48 c #Conflicts: 9000 | #Constraints: 24320
6.21/6.48 c bounds 144734208 >= 122683392 @ 4.81541
7.69/7.90 c INPROCESSING
7.69/7.90 c GARBAGE COLLECT
7.69/7.90 c #Conflicts: 10000 | #Constraints: 23013
7.69/7.90 c bounds 144734208 >= 123731968 @ 6.17595
7.81/8.09 c #Conflicts: 11000 | #Constraints: 24016
7.81/8.09 c bounds 144730368 >= 123731968 @ 6.35916
7.81/8.12 c bounds 144730368 >= 124780544 @ 6.38777
8.81/9.05 c #Conflicts: 12000 | #Constraints: 25023
8.81/9.05 c INPROCESSING
8.81/9.05 c GARBAGE COLLECT
8.81/9.05 c rational objective 1.24781e+08
8.98/9.28 c bounds 144730368 >= 124846080 @ 7.53057
9.09/9.31 c bounds 139495168 >= 124846080 @ 7.55378
10.28/10.56 c #Conflicts: 13000 | #Constraints: 23481
10.28/10.56 c #Conflicts: 14000 | #Constraints: 24481
10.28/10.56 c #Conflicts: 15000 | #Constraints: 25481
10.28/10.56 c INPROCESSING
10.28/10.56 c GARBAGE COLLECT
10.28/10.56 c #Conflicts: 16000 | #Constraints: 23705
10.28/10.56 c bounds 139495168 >= 124911616 @ 8.77967
10.38/10.63 c #Conflicts: 17000 | #Constraints: 24708
10.38/10.63 c bounds 134325248 >= 124911616 @ 8.84542
10.38/10.63 c bounds 134325248 >= 124977152 @ 8.8461
11.38/11.67 c #Conflicts: 18000 | #Constraints: 25712
11.38/11.67 c INPROCESSING
11.38/11.67 c GARBAGE COLLECT
11.38/11.67 c rational objective 1.24977e+08
11.48/11.79 c bounds 134321408 >= 124977152 @ 9.98097
11.48/11.79 c bounds 134259968 >= 124977152 @ 9.98416
11.48/11.80 c bounds 134256128 >= 124977152 @ 9.98629
11.58/11.80 c bounds 134252288 >= 124977152 @ 9.98865
11.80/12.11 c #Conflicts: 19000 | #Constraints: 23737
11.80/12.11 c #Conflicts: 20000 | #Constraints: 24737
11.80/12.11 c bounds 134248448 >= 124977152 @ 10.2872
11.80/12.11 c bounds 134248448 >= 124981248 @ 10.2874
11.80/12.11 c bounds 134248448 >= 124985344 @ 10.2877
11.80/12.11 c bounds 134248448 >= 124989440 @ 10.2948
12.90/13.18 c #Conflicts: 21000 | #Constraints: 25755
12.90/13.18 c bounds 134248448 >= 127938560 @ 11.3377
14.17/14.44 c INPROCESSING
14.17/14.44 c GARBAGE COLLECT
14.17/14.44 c rational objective 1.27939e+08
14.97/15.24 c #Conflicts: 22000 | #Constraints: 23380
14.97/15.24 c #Conflicts: 23000 | #Constraints: 24380
14.97/15.24 c #Conflicts: 24000 | #Constraints: 25380
14.97/15.24 c #Conflicts: 25000 | #Constraints: 26380
14.97/15.24 c INPROCESSING
14.97/15.24 c GARBAGE COLLECT
14.97/15.24 c bounds 134248448 >= 128987136 @ 13.3773
14.97/15.25 c bounds 134248448 >= 128991232 @ 13.3864
16.47/16.77 c #Conflicts: 26000 | #Constraints: 23842
16.47/16.77 c #Conflicts: 27000 | #Constraints: 24842
16.47/16.77 c #Conflicts: 28000 | #Constraints: 25842
16.47/16.77 c #Conflicts: 29000 | #Constraints: 26842
16.47/16.77 c INPROCESSING
16.47/16.77 c GARBAGE COLLECT
16.47/16.77 c rational objective 1.28991e+08
18.46/18.76 c #Conflicts: 30000 | #Constraints: 24245
18.46/18.76 c #Conflicts: 31000 | #Constraints: 25245
18.46/18.76 c #Conflicts: 32000 | #Constraints: 26245
18.46/18.76 c #Conflicts: 33000 | #Constraints: 27245
18.46/18.76 c INPROCESSING
18.46/18.76 c GARBAGE COLLECT
18.46/18.76 c rational objective 1.28991e+08
21.25/21.53 c #Conflicts: 34000 | #Constraints: 24450
21.25/21.53 c #Conflicts: 35000 | #Constraints: 25450
21.25/21.53 c #Conflicts: 36000 | #Constraints: 26450
21.25/21.53 c bounds 134248448 >= 129048576 @ 19.5371
22.35/22.61 c #Conflicts: 37000 | #Constraints: 27458
22.35/22.61 c INPROCESSING
22.35/22.61 c GARBAGE COLLECT
22.35/22.61 c rational objective 1.29049e+08
24.15/24.47 c #Conflicts: 38000 | #Constraints: 24469
24.15/24.47 c #Conflicts: 39000 | #Constraints: 25469
24.15/24.47 c #Conflicts: 40000 | #Constraints: 26469
24.15/24.47 c #Conflicts: 41000 | #Constraints: 27469
24.15/24.47 c INPROCESSING
24.15/24.47 c GARBAGE COLLECT
24.15/24.47 c rational objective 1.29049e+08
25.64/26.01 c #Conflicts: 42000 | #Constraints: 23486
25.64/26.01 c #Conflicts: 43000 | #Constraints: 24486
25.64/26.01 c #Conflicts: 44000 | #Constraints: 25486
25.64/26.01 c #Conflicts: 45000 | #Constraints: 26486
25.64/26.01 c bounds 134248448 >= 129052672 @ 23.9384
25.64/26.02 c bounds 134248448 >= 129105920 @ 23.9542
25.64/26.02 c bounds 134248448 >= 129110016 @ 23.9544
27.13/27.47 c #Conflicts: 46000 | #Constraints: 27502
27.13/27.47 c #Conflicts: 47000 | #Constraints: 28502
27.13/27.47 c #Conflicts: 48000 | #Constraints: 29502
27.13/27.47 c bounds 134248448 >= 129167360 @ 25.3615
33.49/33.86 c #Conflicts: 49000 | #Constraints: 30508
33.49/33.86 c #Conflicts: 50000 | #Constraints: 31508
33.49/33.86 c #Conflicts: 51000 | #Constraints: 32508
33.49/33.86 c #Conflicts: 52000 | #Constraints: 33508
33.49/33.86 c #Conflicts: 53000 | #Constraints: 34508
33.49/33.86 c #Conflicts: 54000 | #Constraints: 35508
33.49/33.86 c #Conflicts: 55000 | #Constraints: 36508
33.49/33.86 c #Conflicts: 56000 | #Constraints: 37508
33.49/33.86 c #Conflicts: 57000 | #Constraints: 38508
33.49/33.86 c #Conflicts: 58000 | #Constraints: 39508
33.49/33.86 c INPROCESSING
33.49/33.86 c GARBAGE COLLECT
33.49/33.86 c rational objective 1.29167e+08
34.47/35.02 c bounds 134248448 >= 129171456 @ 32.5467
34.47/35.02 c bounds 134248448 >= 129175552 @ 32.5469
34.54/35.03 c bounds 134248448 >= 129179648 @ 32.5526
34.54/35.07 c bounds 134248448 >= 132128768 @ 32.59
34.54/35.08 c bounds 134248448 >= 132988928 @ 32.5949
34.54/35.08 c bounds 134248448 >= 133046272 @ 32.5952
34.54/35.08 c bounds 134248448 >= 133099520 @ 32.5952
34.54/35.08 c bounds 134248448 >= 133103616 @ 32.5952
34.54/35.08 c bounds 134248448 >= 133107712 @ 32.5952
34.54/35.08 c bounds 134248448 >= 133165056 @ 32.5952
34.54/35.08 c bounds 134248448 >= 133169152 @ 32.5952
34.54/35.08 c bounds 134248448 >= 133173248 @ 32.5952
34.54/35.08 c bounds 134248448 >= 133177344 @ 32.5953
34.54/35.08 c bounds 134248448 >= 133181440 @ 32.5971
34.54/35.08 c bounds 134248448 >= 133234688 @ 32.5978
34.54/35.08 c bounds 134248448 >= 134041600 @ 32.5979
34.54/35.08 c bounds 134248448 >= 134098944 @ 32.598
34.54/35.08 c bounds 134248448 >= 134152192 @ 32.598
34.54/35.08 c bounds 134248448 >= 134205440 @ 32.598
34.54/35.08 c bounds 134248448 >= 134209536 @ 32.5981
34.54/35.08 c bounds 134248448 >= 134213632 @ 32.5983
34.54/35.08 c #Conflicts: 59000 | #Constraints: 26816
34.54/35.08 c bounds 134248448 >= 134217728 @ 32.5986
34.54/35.08 c bounds 134248448 >= 134221824 @ 32.5989
34.54/35.08 c bounds 134248448 >= 134225920 @ 32.5989
34.54/35.08 c bounds 134248448 >= 134230016 @ 32.5989
35.20/35.78 c bounds 134248448 >= 134234112 @ 33.2669
35.40/35.98 c bounds 134248448 >= 134238208 @ 33.4612
35.40/36.00 c bounds 134248448 >= 134242304 @ 33.4852
35.40/36.01 c bounds 134248448 >= 134246400 @ 33.4953
35.40/36.02 c bounds 134248448 >= 134248448 @ 33.502
35.40/36.02 c cpu time 33.502 s
35.40/36.02 c deterministic time 695566375 6.96e+08
35.40/36.02 c optimization time 0.023365 s
35.40/36.02 c total solve time 33.1751 s
35.40/36.02 c core-guided solve time 15.5961 s
35.40/36.02 c propagation time 17.6995 s
35.40/36.02 c conflict analysis time 5.82738 s
35.40/36.02 c propagations 16961521
35.40/36.02 c resolve steps 2433351
35.40/36.02 c decisions 121925
35.40/36.02 c conflicts 59780
35.40/36.02 c restarts 188
35.40/36.02 c inprocessing phases 14
35.40/36.02 c garbage collections 14 ,( 100.00 )
35.40/36.02 c input clauses 20217 ,( 97.74 )
35.40/36.02 c input cardinalities 221 ,( 1.07 )
35.40/36.02 c input general constraints 246 ,( 1.19 )
35.40/36.02 c input average constraint length 3.36
35.40/36.02 c input average constraint degree 2260.40
35.40/36.02 c learned clauses 47344 ,( 79.17 )
35.40/36.02 c learned cardinalities 1051 ,( 1.76 )
35.40/36.02 c learned general constraints 11405 ,( 19.07 )
35.40/36.02 c learned average constraint length 64.01
35.40/36.02 c learned average constraint degree 820026.11
35.40/36.02 c watched CF 32, 64, 128, Arb: 3124 , 0 , 0 , 0
35.40/36.02 c counting CF 32, 64, 128, Arb: 8528 , 0 , 0 , 0
35.40/36.02 c watched constraints 3124 ,( 26.81 )
35.40/36.02 c counting constraints 8527 ,( 73.19 )
35.40/36.02 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 41013994 , 5984009 , 43166119 ,( 9250865 , 33915254 )
35.40/36.02 c gcd simplifications 482
35.40/36.02 c detected cardinalities 19
35.40/36.02 c weakened non-implied lits 1217510
35.40/36.02 c weakened non-implying lits 5880
35.40/36.02 c original variables 6813
35.40/36.02 c clausal propagations 15112905
35.40/36.02 c cardinality propagations 371959
35.40/36.02 c watched propagations 125688
35.40/36.02 c counting propagations 1199868
35.40/36.02 c watch lookups 383930427
35.40/36.02 c watch backjump lookups 0
35.40/36.02 c watch checks 167099742
35.40/36.02 c propagation checks 93197979
35.40/36.02 c constraint additions 17010941
35.40/36.02 c trail pops 17142813
35.40/36.02 c formula constraints 20057
35.40/36.02 c learned constraints 59792
35.40/36.02 c bound constraints 133
35.40/36.02 c core-guided constraints 494
35.40/36.02 c encountered formula constraints 1811657
35.40/36.02 c encountered learned constraints 530802
35.40/36.02 c encountered bound constraints 1182
35.40/36.02 c encountered core-guided constraints 149487
35.40/36.02 c LP total time 18.9963 s
35.40/36.02 c LP solve time 16.42 s
35.40/36.02 c LP constraints added 20211
35.40/36.02 c LP constraints removed 134
35.40/36.02 c LP pivots internal 63527
35.40/36.02 c LP pivots root 37499
35.40/36.02 c LP calls 29
35.40/36.02 c LP optimalities 25
35.40/36.02 c LP no pivot count 3
35.40/36.02 c LP infeasibilities 1
35.40/36.02 c LP valid Farkas constraints 1
35.40/36.02 c LP learned Farkas constraints 1
35.40/36.02 c LP basis resets 0
35.40/36.02 c LP cycling count 0
35.40/36.02 c LP singular count 0
35.40/36.02 c LP no primal count 0
35.40/36.02 c LP no farkas count 0
35.40/36.02 c LP other issue count 0
35.40/36.02 c LP Gomory cuts 6
35.40/36.02 c LP learned cuts 148
35.40/36.02 c LP deleted cuts 134
35.40/36.02 c LP encountered Gomory constraints 2
35.40/36.02 c LP encountered Farkas constraints 0
35.40/36.02 c LP encountered learned Farkas constraints 0
35.40/36.02 c CG auxiliary variables introduced 182
35.40/36.02 c CG solutions found 22
35.40/36.02 c CG cores constructed 64
35.40/36.02 c CG core cardinality constraints returned 0
35.40/36.02 c CG unit cores 0
35.40/36.02 c CG single cores 64
35.40/36.02 c CG blocks removed during cardinality reduction 0
35.40/36.02 c CG first core best 0
35.40/36.02 c CG decision core best 0
35.40/36.02 c CG core reduction tie 0
35.40/36.02 c CG core degree average 1.00
35.40/36.02 c CG core slack average 6.69
35.40/36.02 c CG core upper bound improvements 10
35.40/36.02 c STR number of successful calls 0
35.40/36.02 c STR number of unsuccessful calls 0
35.40/36.02 c STR number of inconclusive calls 0
35.40/36.02 c STR number of successful attempts 0
35.40/36.02 c STR number of unsuccessful attempts 0
35.40/36.02 c STR number of inconclusive attempts 0
35.40/36.02 c STR average degree increase per successful call inf
35.40/36.02 c STR average degree increase per successful attempt inf
35.40/36.02 c STR total number of conflicts for successful attempts 0
35.40/36.02 c STR total number of conflicts for unsuccessful attempts 0
35.40/36.02 c STR total number of conflicts for inconclusive attempts 0
35.40/36.02 c STR average number of conflicts per successful attempt inf
35.40/36.02 c STR average number of conflicts per unsuccessful attempt inf
35.40/36.02 c STR average number of conflicts per inconclusive attempt inf
35.40/36.02 c AVG.sumWPerc 57.61
35.40/36.02 c bigint constraints 0
35.40/36.02 o 134248448
35.40/36.02 s OPTIMUM FOUND
35.40/36.02 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: 63837 MiB (63050 MiB free)
memory of node 1: 64465 MiB (63037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532674-1752596981/watcher-4532674-1752596981 -o /tmp/evaluation-result-4532674-1752596981/solver-4532674-1752596981 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752596981-130963 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532674-1752596981.opb PROOFDIR/proof-4532674-1752596981
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=131006, runsolver pid=131000
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 8.48 8.13 6.62 5/508 131023
/proc/meminfo: memFree=129084412/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131012] ppid=131006 vsize=20472 memory=11660 CPUtime=0.09 cores=5,7
/proc/131012/stat : 131012 (pbsuma) R 131006 131006 129368 0 -1 4194304 2471 0 0 0 8 1 0 0 20 0 1 0 175377521 20963328 2915 18446744073709551615 4210688 4653049 140729373387600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17494016 140729373395169 140729373395504 140729373395504 140729373401071 0
/proc/131012/statm: 5118 2915 992 108 0 2526 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24664 KiB
Current children cumulated memory: 14476 KiB
[startup+0.229545 s]*
/proc/loadavg: 8.48 8.13 6.62 5/508 131023
/proc/meminfo: memFree=129066524/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131012] ppid=131006 vsize=20400 memory=11536 CPUtime=0.21 cores=5,7
/proc/131012/stat : 131012 (pbsuma) R 131006 131006 129368 0 -1 4194304 2603 0 0 0 20 1 0 0 20 0 1 0 175377521 20889600 2884 18446744073709551615 4210688 4653049 140729373387600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17494016 140729373395169 140729373395504 140729373395504 140729373401071 0
/proc/131012/statm: 5100 2884 992 108 0 2508 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24592 KiB
Current children cumulated memory: 14352 KiB
[startup+0.328815 s]*
/proc/loadavg: 8.48 8.13 6.62 5/508 131023
/proc/meminfo: memFree=129065768/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131012] ppid=131006 vsize=20400 memory=11536 CPUtime=0.31 cores=5,7
/proc/131012/stat : 131012 (pbsuma) R 131006 131006 129368 0 -1 4194304 2603 0 0 0 30 1 0 0 20 0 1 0 175377521 20889600 2884 18446744073709551615 4210688 4653049 140729373387600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17494016 140729373395169 140729373395504 140729373395504 140729373401071 0
/proc/131012/statm: 5100 2884 992 108 0 2508 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24592 KiB
Current children cumulated memory: 14352 KiB
[startup+0.700349 s]
/proc/loadavg: 8.48 8.13 6.62 5/508 131024
/proc/meminfo: memFree=129116116/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131012] ppid=131006 vsize=20400 memory=11536 CPUtime=0.65 cores=5,7
/proc/131012/stat : 131012 (pbsuma) R 131006 131006 129368 0 -1 4194304 2612 0 0 0 64 1 0 0 20 0 1 0 175377521 20889600 2884 18446744073709551615 4210688 4653049 140729373387600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17494016 140729373395169 140729373395504 140729373395504 140729373401071 0
/proc/131012/statm: 5100 2884 992 108 0 2508 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 24592 KiB
Current children cumulated memory: 14352 KiB
[startup+1.50032 s]
/proc/loadavg: 8.36 8.11 6.63 5/508 131026
/proc/meminfo: memFree=129077112/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2816 KiB
[startup+3.12897 s]
/proc/loadavg: 8.36 8.11 6.63 3/498 131043
/proc/meminfo: memFree=129017240/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=92580 memory=43228 CPUtime=1.72 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 6960 0 0 0 156 16 0 0 20 0 1 0 175377655 94801920 10807 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 23145 10807 2432 1147 0 10571 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 96772 KiB
Current children cumulated memory: 46044 KiB
[startup+6.30029 s]
/proc/loadavg: 8.02 8.04 6.61 5/498 131081
/proc/meminfo: memFree=129001248/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=95164 memory=47532 CPUtime=4.88 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 7552 0 0 0 464 24 0 0 20 0 1 0 175377655 97447936 11883 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 23791 11883 2432 1147 0 11217 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 99356 KiB
Current children cumulated memory: 50348 KiB
[startup+12.7003 s]
/proc/loadavg: 7.77 7.99 6.60 4/504 131182
/proc/meminfo: memFree=128937844/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=101896 memory=53676 CPUtime=11.24 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 9093 0 0 0 1086 38 0 0 20 0 1 0 175377655 104341504 13419 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 25474 13419 2432 1147 0 12900 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 106088 KiB
Current children cumulated memory: 56492 KiB
[startup+25.5003 s]
/proc/loadavg: 7.27 7.88 6.58 5/506 131270
/proc/meminfo: memFree=128866176/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=109052 memory=60716 CPUtime=24.01 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 10843 0 0 0 2344 57 0 0 20 0 1 0 175377655 111669248 15179 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 27263 15179 2432 1147 0 14689 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 113244 KiB
Current children cumulated memory: 63532 KiB
[startup+36.0344 s]
# the end of solver process 131006 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=34.6826 s, system=0.867495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 7.27 7.88 6.58 5/506 131270
/proc/meminfo: memFree=128866176/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=109052 memory=60716 CPUtime=24.11 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 10843 0 0 0 2354 57 0 0 20 0 1 0 175377655 111669248 15179 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 27263 15179 2432 1147 0 14689 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 113244 KiB
Current children cumulated memory: 63532 KiB
[startup+32.0003 s]*
/proc/loadavg: 6.69 7.73 6.55 4/504 131421
/proc/meminfo: memFree=128957316/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=111512 memory=61864 CPUtime=30.49 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 11213 0 0 0 2979 70 0 0 20 0 1 0 175377655 114188288 15466 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 27878 15466 2432 1147 0 15304 0
Current children cumulated CPU time: 31.72 s
Current children cumulated vsize: 115704 KiB
Current children cumulated memory: 64680 KiB
[startup+33.6003 s]
/proc/loadavg: 6.69 7.73 6.55 5/504 131421
/proc/meminfo: memFree=128945220/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=111512 memory=62504 CPUtime=32.06 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 11371 0 0 0 3134 72 0 0 20 0 1 0 175377655 114188288 15626 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 27878 15626 2432 1147 0 15304 0
Current children cumulated CPU time: 33.29 s
Current children cumulated vsize: 115704 KiB
Current children cumulated memory: 65320 KiB
[startup+35.2003 s]
/proc/loadavg: 6.69 7.73 6.55 5/506 131478
/proc/meminfo: memFree=128902668/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=114968 memory=65832 CPUtime=33.48 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 12234 0 0 0 3270 78 0 0 20 0 1 0 175377655 117727232 16458 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 28742 16458 2432 1147 0 16168 0
Current children cumulated CPU time: 34.71 s
Current children cumulated vsize: 119160 KiB
Current children cumulated memory: 68648 KiB
[startup+35.6003 s]
/proc/loadavg: 6.69 7.73 6.55 5/506 131478
/proc/meminfo: memFree=128902668/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=115180 memory=65960 CPUtime=33.88 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 12270 0 0 0 3309 79 0 0 20 0 1 0 175377655 117944320 16490 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 28795 16490 2432 1147 0 16221 0
Current children cumulated CPU time: 35.11 s
Current children cumulated vsize: 119372 KiB
Current children cumulated memory: 68776 KiB
[startup+36.0003 s]*
/proc/loadavg: 6.47 7.67 6.53 5/504 131489
/proc/meminfo: memFree=128876540/131382116 swapFree=33005528/33010684
[pid=131006] ppid=131000 vsize=4192 memory=2816 CPUtime=1.23 cores=5,7
/proc/131006/stat : 131006 (run-opt-break-l) S 131000 131006 129368 0 -1 4194304 240 4850 0 0 0 0 117 6 20 0 1 0 175377520 4292608 704 18446744073709551615 94414185422848 94414186317381 140722691227760 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94414186556432 94414186604176 94414213365760 140722691229971 140722691230172 140722691230172 140722691235776 0
/proc/131006/statm: 1048 704 672 219 0 110 0
[pid=131035] ppid=131006 vsize=115180 memory=54876 CPUtime=34.29 cores=5,7
/proc/131035/stat : 131035 (roundingsat) R 131006 131006 129368 0 -1 4194304 12270 0 0 0 3350 79 0 0 20 0 1 0 175377655 117944320 16490 18446744073709551615 4227072 8923577 140722400318688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9827200 9836688 23298048 140722400327954 140722400328230 140722400328230 140722400333802 0
/proc/131035/statm: 28795 13719 2432 1147 0 16221 0
Current children cumulated CPU time: 35.52 s
Current children cumulated vsize: 119372 KiB
Current children cumulated memory: 57692 KiB
Child status: 0
Real time (s): 36.0344
CPU time (s): 35.5501
CPU user time (s): 34.6826
CPU system time (s): 0.867495
CPU usage (%): 98.6558
Max. virtual memory (cumulated for all children) (KiB): 119372
Max. memory (cumulated for all children) (KiB): 68776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.6826
system time used= 0.867495
maximum resident set size= 65960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 212880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1951
involuntary context switches= 77
# summary of solver processes directly reported to runsolver:
# pid: 131006
# total CPU time (s): 35.5501
# total CPU user time (s): 34.6826
# total CPU system time (s): 0.867495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.413027 second user time and 0.849879 second system time
The end
Begin job on nodeC010 at 2025-07-15 18:29:41
IDJOB=4532674
IDBENCH=161280
IDSOLVER=3393
FILE ID=nodeC010/4532674-1752596981
RUNJOBID= nodeC010-1752596981-130963
SLURM_JOB_ID= 9684384
Free space on /tmp= 430488 MiB
SOLVER NAME= roundingsat+pbsuma-opt-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-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532674-1752596981/watcher-4532674-1752596981 -o /tmp/evaluation-result-4532674-1752596981/solver-4532674-1752596981 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752596981-130963 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532674-1752596981.opb PROOFDIR/proof-4532674-1752596981
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583
RANDOM SEED=1101639503
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.144
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.144
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.583
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.368
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129094636 kB
MemAvailable: 129827976 kB
Buffers: 228 kB
Cached: 1532888 kB
SwapCached: 4296 kB
Active: 461552 kB
Inactive: 1140052 kB
Active(anon): 40980 kB
Inactive(anon): 49360 kB
Active(file): 420572 kB
Inactive(file): 1090692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30940 kB
Writeback: 0 kB
AnonPages: 67672 kB
Mapped: 103304 kB
Shmem: 21820 kB
KReclaimable: 123408 kB
Slab: 216684 kB
SReclaimable: 123408 kB
SUnreclaim: 93276 kB
KernelStack: 7952 kB
PageTables: 2960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 348808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 153336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 430456 MiB
End job on nodeC010 at 2025-07-15 18:30:18