0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4512434-1751532423.opb'
0.00/0.02 c read 0.34MB (5.56ms)
0.00/0.02 c [cnf: #variables 3564 #clauses 11686 #duplicates 0 #arr 30107]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 296] (5.25ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.28/0.35 c (315.69ms)
0.28/0.35 c
0.28/0.35 c detect symmetries on remainder
0.28/0.35 c [graph: #vertices 26152 #edges 82018]
0.28/0.35 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.37 c [group: #symmetries 1.73*10^3 #generators 4] (27.43ms)
0.28/0.37 c
0.28/0.37 c optimize generators (opt_passes=64, conjugate_limit=256)
0.28/0.38 c opt it=15, l=114, m=50, opt=5, avg=5049, b=416, gens=4
0.28/0.38 c ran it=0, +gens=3
0.48/0.51 c con best_support=416, best_gens=1, +gens=164
0.48/0.51 c (135.21ms)
0.48/0.51 c
0.48/0.51 c finalize break order and special generators
0.48/0.51 c
0.48/0.51 c add generic predicates (break_depth=20)
0.48/0.51 c added predicates for 171 generators (1.98ms)
0.48/0.51 c
0.48/0.51 c generation finished
0.48/0.51 c [sbp: #constraints 9918 #add_vars 3249]
0.48/0.51 c
0.48/0.51 c write result to 'HOME/instance-4512434-1751532423.opb.pre'
0.48/0.51 c wrote 0.70MB (1.77ms)
0.48/0.51 c ------------------------------------------------------------------
0.48/0.51 c 315.69ms 63.92% detect_special
0.48/0.51 c 135.21ms 27.38% optimize_gens
0.48/0.51 c 27.43ms 5.55% detect_generic
0.48/0.51 c 5.56ms 1.13% parse
0.48/0.51 c 5.25ms 1.06% approx_orbits
0.48/0.51 c 1.98ms 0.40% break_generic
0.48/0.51 c 1.77ms 0.36% output
0.48/0.51 c 0.54ms 0.11% finalize_order
0.48/0.51 c 0.47ms 0.09% other
0.48/0.51 c ───────────────────────────────────────────────
0.48/0.51 c 493.90ms 100% total
0.48/0.51 c ------------------------------------------------------------------
0.48/0.52 c RoundingSat 2
0.48/0.52 c branch pb25
0.48/0.52 c commit 63f22ad
0.48/0.61 c #variables 6813 #constraints 20057
0.48/0.61 c objective is ce32
0.48/0.63 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.48/0.63 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.48/0.63 c bounds - >= 0 @ 0.08097
0.48/0.70 c bounds 197351168 >= 0 @ 0.136202
0.48/0.70 c bounds 197351168 >= 36700160 @ 0.136743
0.48/0.70 c bounds 197351168 >= 41943040 @ 0.136881
0.48/0.70 c bounds 197351168 >= 47185920 @ 0.136974
0.48/0.70 c bounds 197351168 >= 52428800 @ 0.137048
0.48/0.70 c bounds 197351168 >= 57671680 @ 0.137136
0.48/0.70 c bounds 197351168 >= 62914560 @ 0.137243
0.48/0.70 c bounds 197351168 >= 68157440 @ 0.137356
0.48/0.70 c bounds 197351168 >= 73400320 @ 0.137503
0.48/0.70 c bounds 197351168 >= 78643200 @ 0.137613
0.48/0.70 c bounds 197351168 >= 79691776 @ 0.137943
0.48/0.70 c bounds 197351168 >= 80740352 @ 0.138167
0.48/0.70 c bounds 197351168 >= 85983232 @ 0.138409
0.48/0.71 c bounds 197351168 >= 91226112 @ 0.138974
0.48/0.71 c bounds 197351168 >= 96468992 @ 0.140146
0.48/0.71 c bounds 187913984 >= 96468992 @ 0.142269
0.48/0.71 c bounds 187913984 >= 101711872 @ 0.14514
0.48/0.71 c bounds 187852544 >= 101711872 @ 0.147541
0.48/0.72 c bounds 187791104 >= 101711872 @ 0.148979
0.48/0.73 c bounds 187791104 >= 106954752 @ 0.155978
0.48/0.73 c bounds 187725824 >= 106954752 @ 0.157471
0.48/0.76 c bounds 182482944 >= 106954752 @ 0.186011
0.48/0.79 c bounds 182482944 >= 112197632 @ 0.211004
0.48/0.81 c bounds 177240064 >= 112197632 @ 0.231325
0.48/0.88 c #Conflicts: 1000 | #Constraints: 21225
0.48/0.88 c bounds 177240064 >= 117440512 @ 0.295089
0.48/0.90 c bounds 171997184 >= 117440512 @ 0.317395
1.32/1.43 c #Conflicts: 2000 | #Constraints: 22250
1.32/1.43 c INPROCESSING
1.32/1.43 c GARBAGE COLLECT
1.32/1.43 c bounds 166754304 >= 117440512 @ 0.805998
1.32/1.43 c bounds 161511424 >= 117440512 @ 0.812347
1.32/1.44 c bounds 156268544 >= 117440512 @ 0.817676
1.52/1.65 c #Conflicts: 3000 | #Constraints: 21897
1.52/1.65 c bounds 151025664 >= 117440512 @ 1.00558
2.30/2.49 c #Conflicts: 4000 | #Constraints: 22898
2.30/2.49 c INPROCESSING
2.30/2.49 c GARBAGE COLLECT
2.30/2.49 c #Conflicts: 5000 | #Constraints: 22293
2.30/2.49 c bounds 151025664 >= 122683392 @ 1.78499
3.66/3.83 c #Conflicts: 6000 | #Constraints: 23326
3.66/3.83 c INPROCESSING
3.66/3.83 c GARBAGE COLLECT
3.66/3.83 c rational objective 1.22683e+08
3.86/4.02 c #Conflicts: 7000 | #Constraints: 22319
3.86/4.02 c bounds 149977088 >= 122683392 @ 3.20702
4.06/4.24 c #Conflicts: 8000 | #Constraints: 23320
4.06/4.24 c #Conflicts: 9000 | #Constraints: 24320
4.06/4.24 c bounds 144734208 >= 122683392 @ 3.41699
5.45/5.61 c INPROCESSING
5.45/5.61 c GARBAGE COLLECT
5.45/5.61 c #Conflicts: 10000 | #Constraints: 23013
5.45/5.61 c bounds 144734208 >= 123731968 @ 4.75257
5.55/5.78 c #Conflicts: 11000 | #Constraints: 24016
5.55/5.78 c bounds 144730368 >= 123731968 @ 4.91448
5.65/5.81 c bounds 144730368 >= 124780544 @ 4.9396
6.55/6.72 c #Conflicts: 12000 | #Constraints: 25023
6.55/6.72 c INPROCESSING
6.55/6.72 c GARBAGE COLLECT
6.55/6.72 c rational objective 1.24781e+08
6.75/6.93 c bounds 144730368 >= 124846080 @ 6.04212
6.75/6.96 c bounds 139495168 >= 124846080 @ 6.06252
7.96/8.16 c #Conflicts: 13000 | #Constraints: 23481
7.96/8.16 c #Conflicts: 14000 | #Constraints: 24481
7.96/8.16 c #Conflicts: 15000 | #Constraints: 25481
7.96/8.16 c INPROCESSING
7.96/8.16 c GARBAGE COLLECT
7.96/8.16 c #Conflicts: 16000 | #Constraints: 23705
7.96/8.16 c bounds 139495168 >= 124911616 @ 7.24163
8.05/8.22 c #Conflicts: 17000 | #Constraints: 24708
8.05/8.22 c bounds 134325248 >= 124911616 @ 7.30112
8.05/8.22 c bounds 134325248 >= 124977152 @ 7.30179
9.04/9.25 c #Conflicts: 18000 | #Constraints: 25712
9.04/9.25 c INPROCESSING
9.04/9.25 c GARBAGE COLLECT
9.04/9.25 c rational objective 1.24977e+08
9.15/9.36 c bounds 134321408 >= 124977152 @ 8.41949
9.15/9.36 c bounds 134259968 >= 124977152 @ 8.42135
9.15/9.37 c bounds 134256128 >= 124977152 @ 8.42402
9.15/9.37 c bounds 134252288 >= 124977152 @ 8.42592
9.45/9.64 c #Conflicts: 19000 | #Constraints: 23737
9.45/9.64 c #Conflicts: 20000 | #Constraints: 24737
9.45/9.64 c bounds 134248448 >= 124977152 @ 8.68858
9.45/9.64 c bounds 134248448 >= 124981248 @ 8.68858
9.45/9.64 c bounds 134248448 >= 124985344 @ 8.68866
9.45/9.65 c bounds 134248448 >= 124989440 @ 8.69489
10.44/10.69 c #Conflicts: 21000 | #Constraints: 25755
10.44/10.69 c bounds 134248448 >= 127938560 @ 9.71331
11.74/11.97 c INPROCESSING
11.74/11.97 c GARBAGE COLLECT
11.74/11.97 c rational objective 1.27939e+08
12.54/12.70 c #Conflicts: 22000 | #Constraints: 23380
12.54/12.70 c #Conflicts: 23000 | #Constraints: 24380
12.54/12.70 c #Conflicts: 24000 | #Constraints: 25380
12.54/12.70 c #Conflicts: 25000 | #Constraints: 26380
12.54/12.70 c INPROCESSING
12.54/12.70 c GARBAGE COLLECT
12.54/12.70 c bounds 134248448 >= 128987136 @ 11.6692
12.54/12.71 c bounds 134248448 >= 128991232 @ 11.6773
13.94/14.18 c #Conflicts: 26000 | #Constraints: 23842
13.94/14.18 c #Conflicts: 27000 | #Constraints: 24842
13.94/14.18 c #Conflicts: 28000 | #Constraints: 25842
13.94/14.18 c #Conflicts: 29000 | #Constraints: 26842
13.94/14.18 c INPROCESSING
13.94/14.18 c GARBAGE COLLECT
13.94/14.18 c rational objective 1.28991e+08
15.83/16.10 c #Conflicts: 30000 | #Constraints: 24245
15.83/16.10 c #Conflicts: 31000 | #Constraints: 25245
15.83/16.10 c #Conflicts: 32000 | #Constraints: 26245
15.83/16.10 c #Conflicts: 33000 | #Constraints: 27245
15.83/16.10 c INPROCESSING
15.83/16.10 c GARBAGE COLLECT
15.83/16.10 c rational objective 1.28991e+08
18.12/18.35 c #Conflicts: 34000 | #Constraints: 24450
18.12/18.35 c #Conflicts: 35000 | #Constraints: 25450
18.12/18.35 c #Conflicts: 36000 | #Constraints: 26450
18.12/18.35 c bounds 134248448 >= 129048576 @ 17.2249
19.22/19.43 c #Conflicts: 37000 | #Constraints: 27458
19.22/19.43 c INPROCESSING
19.22/19.43 c GARBAGE COLLECT
19.22/19.43 c rational objective 1.29049e+08
21.01/21.22 c #Conflicts: 38000 | #Constraints: 24469
21.01/21.22 c #Conflicts: 39000 | #Constraints: 25469
21.01/21.22 c #Conflicts: 40000 | #Constraints: 26469
21.01/21.22 c #Conflicts: 41000 | #Constraints: 27469
21.01/21.22 c INPROCESSING
21.01/21.22 c GARBAGE COLLECT
21.01/21.22 c rational objective 1.29049e+08
22.41/22.67 c #Conflicts: 42000 | #Constraints: 23486
22.41/22.67 c #Conflicts: 43000 | #Constraints: 24486
22.41/22.67 c #Conflicts: 44000 | #Constraints: 25486
22.41/22.67 c #Conflicts: 45000 | #Constraints: 26486
22.41/22.67 c bounds 134248448 >= 129052672 @ 21.4891
22.41/22.68 c bounds 134248448 >= 129105920 @ 21.5042
22.41/22.68 c bounds 134248448 >= 129110016 @ 21.5043
23.82/24.03 c #Conflicts: 46000 | #Constraints: 27502
23.82/24.03 c #Conflicts: 47000 | #Constraints: 28502
23.82/24.03 c #Conflicts: 48000 | #Constraints: 29502
23.82/24.03 c bounds 134248448 >= 129167360 @ 22.8257
29.80/30.05 c #Conflicts: 49000 | #Constraints: 30508
29.80/30.05 c #Conflicts: 50000 | #Constraints: 31508
29.80/30.05 c #Conflicts: 51000 | #Constraints: 32508
29.80/30.05 c #Conflicts: 52000 | #Constraints: 33508
29.80/30.05 c #Conflicts: 53000 | #Constraints: 34508
29.80/30.05 c #Conflicts: 54000 | #Constraints: 35508
29.80/30.05 c #Conflicts: 55000 | #Constraints: 36508
29.80/30.05 c #Conflicts: 56000 | #Constraints: 37508
29.80/30.05 c #Conflicts: 57000 | #Constraints: 38508
29.80/30.05 c #Conflicts: 58000 | #Constraints: 39508
29.80/30.05 c INPROCESSING
29.80/30.05 c GARBAGE COLLECT
29.80/30.05 c rational objective 1.29167e+08
30.19/30.46 c bounds 134248448 >= 129171456 @ 29.1823
30.19/30.46 c bounds 134248448 >= 129175552 @ 29.1824
30.19/30.47 c bounds 134248448 >= 129179648 @ 29.1872
30.29/30.50 c bounds 134248448 >= 132128768 @ 29.2194
30.29/30.50 c bounds 134248448 >= 132988928 @ 29.2234
30.29/30.50 c bounds 134248448 >= 133046272 @ 29.2236
30.29/30.50 c bounds 134248448 >= 133099520 @ 29.2238
30.29/30.50 c bounds 134248448 >= 133103616 @ 29.2239
30.29/30.50 c bounds 134248448 >= 133107712 @ 29.224
30.29/30.50 c bounds 134248448 >= 133165056 @ 29.2241
30.29/30.50 c bounds 134248448 >= 133169152 @ 29.2242
30.29/30.50 c bounds 134248448 >= 133173248 @ 29.2244
30.29/30.50 c bounds 134248448 >= 133177344 @ 29.2249
30.29/30.51 c bounds 134248448 >= 133181440 @ 29.2263
30.29/30.51 c bounds 134248448 >= 133234688 @ 29.2263
30.29/30.51 c bounds 134248448 >= 134041600 @ 29.2263
30.29/30.51 c bounds 134248448 >= 134098944 @ 29.2263
30.29/30.51 c bounds 134248448 >= 134152192 @ 29.2263
30.29/30.51 c bounds 134248448 >= 134205440 @ 29.2263
30.29/30.51 c bounds 134248448 >= 134209536 @ 29.2263
30.29/30.51 c bounds 134248448 >= 134213632 @ 29.2263
30.29/30.51 c #Conflicts: 59000 | #Constraints: 26816
30.29/30.51 c bounds 134248448 >= 134217728 @ 29.2264
30.29/30.51 c bounds 134248448 >= 134221824 @ 29.2266
30.29/30.51 c bounds 134248448 >= 134225920 @ 29.2269
30.29/30.51 c bounds 134248448 >= 134230016 @ 29.2272
30.90/31.19 c bounds 134248448 >= 134234112 @ 29.899
31.09/31.37 c bounds 134248448 >= 134238208 @ 30.074
31.09/31.39 c bounds 134248448 >= 134242304 @ 30.0942
31.20/31.40 c bounds 134248448 >= 134246400 @ 30.1028
31.20/31.40 c bounds 134248448 >= 134248448 @ 30.1084
31.20/31.40 c cpu time 30.1084 s
31.20/31.40 c deterministic time 695566375 6.96e+08
31.20/31.40 c optimization time 0.020856 s
31.20/31.40 c total solve time 30.0228 s
31.20/31.40 c core-guided solve time 14.734 s
31.20/31.40 c propagation time 17.0072 s
31.20/31.40 c conflict analysis time 4.80474 s
31.20/31.40 c propagations 16961521
31.20/31.40 c resolve steps 2433351
31.20/31.40 c decisions 121925
31.20/31.40 c conflicts 59780
31.20/31.40 c restarts 188
31.20/31.40 c inprocessing phases 14
31.20/31.40 c garbage collections 14 ,( 100.00 )
31.20/31.40 c input clauses 20217 ,( 97.74 )
31.20/31.40 c input cardinalities 221 ,( 1.07 )
31.20/31.40 c input general constraints 246 ,( 1.19 )
31.20/31.40 c input average constraint length 3.36
31.20/31.40 c input average constraint degree 2260.40
31.20/31.40 c learned clauses 47344 ,( 79.17 )
31.20/31.40 c learned cardinalities 1051 ,( 1.76 )
31.20/31.40 c learned general constraints 11405 ,( 19.07 )
31.20/31.40 c learned average constraint length 64.01
31.20/31.40 c learned average constraint degree 820026.11
31.20/31.40 c watched CF 32, 64, 128, Arb: 3124 , 0 , 0 , 0
31.20/31.40 c counting CF 32, 64, 128, Arb: 8528 , 0 , 0 , 0
31.20/31.40 c watched constraints 3124 ,( 26.81 )
31.20/31.40 c counting constraints 8527 ,( 73.19 )
31.20/31.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 41013994 , 5984009 , 43166119 ,( 9250865 , 33915254 )
31.20/31.40 c gcd simplifications 482
31.20/31.40 c detected cardinalities 19
31.20/31.40 c weakened non-implied lits 1217510
31.20/31.40 c weakened non-implying lits 5880
31.20/31.40 c original variables 6813
31.20/31.40 c clausal propagations 15112905
31.20/31.40 c cardinality propagations 371959
31.20/31.40 c watched propagations 125688
31.20/31.40 c counting propagations 1199868
31.20/31.40 c watch lookups 383930427
31.20/31.40 c watch backjump lookups 0
31.20/31.40 c watch checks 167099742
31.20/31.40 c propagation checks 93197979
31.20/31.40 c constraint additions 17010941
31.20/31.40 c trail pops 17142813
31.20/31.40 c formula constraints 20057
31.20/31.40 c learned constraints 59792
31.20/31.40 c bound constraints 133
31.20/31.40 c core-guided constraints 494
31.20/31.40 c encountered formula constraints 1811657
31.20/31.40 c encountered learned constraints 530802
31.20/31.40 c encountered bound constraints 1182
31.20/31.40 c encountered core-guided constraints 149487
31.20/31.40 c LP total time 17.536 s
31.20/31.40 c LP solve time 15.98 s
31.20/31.40 c LP constraints added 20211
31.20/31.40 c LP constraints removed 134
31.20/31.40 c LP pivots internal 63527
31.20/31.40 c LP pivots root 37499
31.20/31.40 c LP calls 29
31.20/31.40 c LP optimalities 25
31.20/31.40 c LP no pivot count 3
31.20/31.40 c LP infeasibilities 1
31.20/31.40 c LP valid Farkas constraints 1
31.20/31.40 c LP learned Farkas constraints 1
31.20/31.40 c LP basis resets 0
31.20/31.40 c LP cycling count 0
31.20/31.40 c LP singular count 0
31.20/31.40 c LP no primal count 0
31.20/31.40 c LP no farkas count 0
31.20/31.40 c LP other issue count 0
31.20/31.40 c LP Gomory cuts 6
31.20/31.40 c LP learned cuts 148
31.20/31.40 c LP deleted cuts 134
31.20/31.40 c LP encountered Gomory constraints 2
31.20/31.40 c LP encountered Farkas constraints 0
31.20/31.40 c LP encountered learned Farkas constraints 0
31.20/31.40 c CG auxiliary variables introduced 182
31.20/31.40 c CG solutions found 22
31.20/31.40 c CG cores constructed 64
31.20/31.40 c CG core cardinality constraints returned 0
31.20/31.40 c CG unit cores 0
31.20/31.40 c CG single cores 64
31.20/31.40 c CG blocks removed during cardinality reduction 0
31.20/31.40 c CG first core best 0
31.20/31.40 c CG decision core best 0
31.20/31.40 c CG core reduction tie 0
31.20/31.40 c CG core degree average 1.00
31.20/31.40 c CG core slack average 6.69
31.20/31.40 c CG core upper bound improvements 10
31.20/31.40 c STR number of successful calls 0
31.20/31.40 c STR number of unsuccessful calls 0
31.20/31.40 c STR number of inconclusive calls 0
31.20/31.40 c STR number of successful attempts 0
31.20/31.40 c STR number of unsuccessful attempts 0
31.20/31.40 c STR number of inconclusive attempts 0
31.20/31.40 c STR average degree increase per successful call inf
31.20/31.40 c STR average degree increase per successful attempt inf
31.20/31.40 c STR total number of conflicts for successful attempts 0
31.20/31.40 c STR total number of conflicts for unsuccessful attempts 0
31.20/31.40 c STR total number of conflicts for inconclusive attempts 0
31.20/31.40 c STR average number of conflicts per successful attempt inf
31.20/31.40 c STR average number of conflicts per unsuccessful attempt inf
31.20/31.40 c STR average number of conflicts per inconclusive attempt inf
31.20/31.40 c AVG.sumWPerc 57.61
31.20/31.40 c bigint constraints 0
31.20/31.40 o 134248448
31.20/31.40 s OPTIMUM FOUND
31.20/31.40 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 (62534 MiB free)
memory of node 1: 64507 MiB (63485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512434-1751532423/watcher-4512434-1751532423 -o /tmp/evaluation-result-4512434-1751532423/solver-4512434-1751532423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74273 --watchdog 3760 run-opt-ls.sh HOME/instance-4512434-1751532423.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=74318, runsolver pid=74312
[startup+0.100058 s]*
/proc/loadavg: 0.89 1.79 2.67 5/268 74336
/proc/meminfo: memFree=129017284/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74328] ppid=74318 vsize=20392 memory=11532 CPUtime=0.07 cores=4,6
/proc/74328/stat : 74328 (pbsuma) R 74318 74318 74262 0 -1 4194304 2603 0 0 0 7 0 0 0 20 0 1 0 68921873 20881408 2883 18446744073709551615 4210688 4653049 140736472362992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 8028160 140736472369507 140736472369714 140736472369714 140736472375279 0
/proc/74328/statm: 5098 2883 992 108 0 2506 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 24584 KiB
Current children cumulated memory: 14604 KiB
[startup+0.2057 s]*
/proc/loadavg: 0.89 1.79 2.67 5/268 74337
/proc/meminfo: memFree=128993692/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74328] ppid=74318 vsize=20392 memory=11532 CPUtime=0.18 cores=4,6
/proc/74328/stat : 74328 (pbsuma) R 74318 74318 74262 0 -1 4194304 2608 0 0 0 18 0 0 0 20 0 1 0 68921873 20881408 2883 18446744073709551615 4210688 4653049 140736472362992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 8028160 140736472369507 140736472369714 140736472369714 140736472375279 0
/proc/74328/statm: 5098 2883 992 108 0 2506 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 24584 KiB
Current children cumulated memory: 14604 KiB
[startup+0.305508 s]*
/proc/loadavg: 0.89 1.79 2.67 5/268 74337
/proc/meminfo: memFree=128970064/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74328] ppid=74318 vsize=20392 memory=11532 CPUtime=0.28 cores=4,6
/proc/74328/stat : 74328 (pbsuma) R 74318 74318 74262 0 -1 4194304 2611 0 0 0 28 0 0 0 20 0 1 0 68921873 20881408 2883 18446744073709551615 4210688 4653049 140736472362992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 8028160 140736472369507 140736472369714 140736472369714 140736472375279 0
/proc/74328/statm: 5098 2883 992 108 0 2506 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 24584 KiB
Current children cumulated memory: 14604 KiB
[startup+0.700186 s]
/proc/loadavg: 0.89 1.79 2.67 5/268 74338
/proc/meminfo: memFree=128934292/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.5002 s]
/proc/loadavg: 0.89 1.79 2.67 4/263 74347
/proc/meminfo: memFree=128925776/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=96952 memory=46532 CPUtime=0.94 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 8284 0 0 0 86 8 0 0 20 0 1 0 68921924 99278848 11633 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 24238 11633 2432 1147 0 11665 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 101144 KiB
Current children cumulated memory: 49604 KiB
[startup+3.10558 s]
/proc/loadavg: 0.89 1.79 2.67 5/265 74426
/proc/meminfo: memFree=128927168/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=98908 memory=50496 CPUtime=2.5 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 8752 0 0 0 233 17 0 0 20 0 1 0 68921924 101281792 12624 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 24727 12624 2432 1147 0 12154 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 103100 KiB
Current children cumulated memory: 53568 KiB
[startup+6.30017 s]
/proc/loadavg: 1.14 1.83 2.68 5/268 74480
/proc/meminfo: memFree=128800484/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=103632 memory=54720 CPUtime=5.67 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 9824 0 0 0 541 26 0 0 20 0 1 0 68921924 106119168 13680 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 25908 13680 2432 1147 0 13335 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 107824 KiB
Current children cumulated memory: 57792 KiB
[startup+12.7001 s]
/proc/loadavg: 1.36 1.87 2.68 5/268 74621
/proc/meminfo: memFree=128807660/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=105204 memory=56256 CPUtime=12.06 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 10202 0 0 0 1166 40 0 0 20 0 1 0 68921924 107728896 14064 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 26301 14064 2432 1147 0 13728 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 109396 KiB
Current children cumulated memory: 59328 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.99 2.71 5/268 74621
/proc/meminfo: memFree=128782928/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=107584 memory=58304 CPUtime=24.83 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 10740 0 0 0 2427 56 0 0 20 0 1 0 68921924 110166016 14576 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 26896 14576 2432 1147 0 14323 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 111776 KiB
Current children cumulated memory: 61376 KiB
[startup+31.4128 s]
# the end of solver process 74318 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=30.6018 s, system=0.631801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 2.02 1.99 2.71 5/268 74621
/proc/meminfo: memFree=128782928/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=107324 memory=58172 CPUtime=24.92 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 10741 0 0 0 2436 56 0 0 20 0 1 0 68921924 109899776 14543 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 26831 14543 2432 1147 0 14258 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 111516 KiB
Current children cumulated memory: 61244 KiB
[startup+28.8001 s]
/proc/loadavg: 2.02 1.99 2.71 5/268 74621
/proc/meminfo: memFree=128775116/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=110044 memory=59708 CPUtime=28.12 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 11155 0 0 0 2753 59 0 0 20 0 1 0 68921924 112685056 14927 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 27511 14927 2432 1147 0 14938 0
Current children cumulated CPU time: 28.6 s
Current children cumulated vsize: 114236 KiB
Current children cumulated memory: 62780 KiB
[startup+30.4001 s]
/proc/loadavg: 2.18 2.02 2.72 5/268 74621
/proc/meminfo: memFree=128775368/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=112284 memory=62780 CPUtime=29.71 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 11937 0 0 0 2911 60 0 0 20 0 1 0 68921924 114978816 15695 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 28071 15695 2432 1147 0 15498 0
Current children cumulated CPU time: 30.19 s
Current children cumulated vsize: 116476 KiB
Current children cumulated memory: 65852 KiB
[startup+31.2002 s]
/proc/loadavg: 2.18 2.02 2.72 5/268 74621
/proc/meminfo: memFree=128775620/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=113576 memory=63804 CPUtime=30.51 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 12193 0 0 0 2990 61 0 0 20 0 1 0 68921924 116301824 15951 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 28394 15951 2432 1147 0 15821 0
Current children cumulated CPU time: 30.99 s
Current children cumulated vsize: 117768 KiB
Current children cumulated memory: 66876 KiB
[startup+31.4001 s]
/proc/loadavg: 2.18 2.02 2.72 5/268 74621
/proc/meminfo: memFree=128775620/131249996 swapFree=33010416/33010684
[pid=74318] ppid=74312 vsize=4192 memory=3072 CPUtime=0.48 cores=4,6
/proc/74318/stat : 74318 (run-opt-ls.sh) S 74312 74318 74262 0 -1 4194304 238 4774 0 0 0 0 48 0 20 0 1 0 68921872 4292608 768 18446744073709551615 94712608243712 94712609138245 140725527028608 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94712609377296 94712609425040 94712637636608 140725527034215 140725527034341 140725527034341 140725527039943 0
/proc/74318/statm: 1048 768 704 219 0 110 0
[pid=74339] ppid=74318 vsize=113576 memory=63804 CPUtime=30.72 cores=4,6
/proc/74339/stat : 74339 (roundingsat) R 74318 74318 74262 0 -1 4194304 12193 0 0 0 3010 62 0 0 20 0 1 0 68921924 116301824 15951 18446744073709551615 4227072 8923433 140729765968976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38338560 140729765976390 140729765976616 140729765976616 140729765982186 0
/proc/74339/statm: 28394 15951 2432 1147 0 15821 0
Current children cumulated CPU time: 31.2 s
Current children cumulated vsize: 117768 KiB
Current children cumulated memory: 66876 KiB
Child status: 0
Real time (s): 31.4129
CPU time (s): 31.2336
CPU user time (s): 30.6018
CPU system time (s): 0.631801
CPU usage (%): 99.4293
Max. virtual memory (cumulated for all children) (KiB): 117768
Max. memory (cumulated for all children) (KiB): 66876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.6018
system time used= 0.631801
maximum resident set size= 63804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 74318
# total CPU time (s): 31.2336
# total CPU user time (s): 30.6018
# total CPU system time (s): 0.631801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071301 second user time and 0.165394 second system time
The end
Begin job on nodeC030 at 2025-07-03 10:47:03
IDJOB=4512434
IDBENCH=161280
IDSOLVER=3355
FILE ID=nodeC030/4512434-1751532423
RUNJOBID= nodeC030-1751532423-74273
SLURM_JOB_ID= 9598677
Free space on /tmp= 432508 MiB
SOLVER NAME= roundingsat-ls+pbsuma 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-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512434-1751532423/watcher-4512434-1751532423 -o /tmp/evaluation-result-4512434-1751532423/solver-4512434-1751532423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74273 --watchdog 3760 run-opt-ls.sh HOME/instance-4512434-1751532423.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583
RANDOM SEED=53524468
nodeC030 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 : 3597.938
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.313
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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.326
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.601
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3452.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3602.547
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129044488 kB
MemAvailable: 129729464 kB
Buffers: 2564 kB
Cached: 1476696 kB
SwapCached: 16 kB
Active: 507304 kB
Inactive: 1033188 kB
Active(anon): 74732 kB
Inactive(anon): 4548 kB
Active(file): 432572 kB
Inactive(file): 1028640 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30460 kB
Writeback: 0 kB
AnonPages: 63636 kB
Mapped: 103436 kB
Shmem: 18048 kB
KReclaimable: 125604 kB
Slab: 214060 kB
SReclaimable: 125604 kB
SUnreclaim: 88456 kB
KernelStack: 4056 kB
PageTables: 2344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 330360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432472 MiB
End job on nodeC030 at 2025-07-03 10:47:35