0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507700-1751187146.opb'
0.00/0.02 c read 0.23MB (9.00ms)
0.00/0.02 c [cnf: #variables 3795 #clauses 3935 #duplicates 0 #arr 23627]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 690] (11.32ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c (2.68ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 19115 #edges 70024]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05 c [group: #symmetries 8.00*10^0 #generators 3] (11.10ms)
0.00/0.05 c
0.00/0.05 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.05 c (0.03ms)
0.00/0.05 c
0.00/0.05 c finalize break order and special generators
0.00/0.05 c
0.00/0.05 c add generic predicates (break_depth=10)
0.00/0.05 c added predicates for 3 generators (0.13ms)
0.00/0.05 c
0.00/0.05 c generation finished
0.00/0.05 c [sbp: #constraints 84 #add_vars 27]
0.00/0.05 c
0.00/0.05 c write result to 'HOME/instance-4507700-1751187146.opb.pre'
0.00/0.05 c wrote 0.24MB (1.84ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 11.32ms 30.35% approx_orbits
0.00/0.05 c 11.10ms 29.75% detect_generic
0.00/0.05 c 9.00ms 24.12% parse
0.00/0.05 c 2.68ms 7.18% detect_special
0.00/0.05 c 1.84ms 4.92% output
0.00/0.05 c 0.86ms 2.31% other
0.00/0.05 c 0.35ms 0.94% finalize_order
0.00/0.05 c 0.13ms 0.35% break_generic
0.00/0.05 c 0.03ms 0.08% optimize_gens
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 37.31ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.07/0.13 c #variables 3822 #constraints 4000
33.87/34.06 c #Conflicts: 1000 | #Constraints: 4999
33.87/34.06 c #Conflicts: 2000 | #Constraints: 5999
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 3000 | #Constraints: 5466
33.87/34.06 c #Conflicts: 4000 | #Constraints: 6466
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 5000 | #Constraints: 5912
33.87/34.06 c #Conflicts: 6000 | #Constraints: 6912
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 7000 | #Constraints: 5952
33.87/34.06 c #Conflicts: 8000 | #Constraints: 6952
33.87/34.06 c #Conflicts: 9000 | #Constraints: 7952
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 10000 | #Constraints: 6672
33.87/34.06 c #Conflicts: 11000 | #Constraints: 7672
33.87/34.06 c #Conflicts: 12000 | #Constraints: 8672
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 13000 | #Constraints: 7142
33.87/34.06 c #Conflicts: 14000 | #Constraints: 8142
33.87/34.06 c #Conflicts: 15000 | #Constraints: 9142
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 16000 | #Constraints: 7410
33.87/34.06 c #Conflicts: 17000 | #Constraints: 8410
33.87/34.06 c #Conflicts: 18000 | #Constraints: 9410
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 19000 | #Constraints: 7441
33.87/34.06 c #Conflicts: 20000 | #Constraints: 8441
33.87/34.06 c #Conflicts: 21000 | #Constraints: 9442
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 22000 | #Constraints: 7271
33.87/34.06 c #Conflicts: 23000 | #Constraints: 8271
33.87/34.06 c #Conflicts: 24000 | #Constraints: 9271
33.87/34.06 c #Conflicts: 25000 | #Constraints: 10271
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 26000 | #Constraints: 7881
33.87/34.06 c #Conflicts: 27000 | #Constraints: 8881
33.87/34.06 c #Conflicts: 28000 | #Constraints: 9881
33.87/34.06 c #Conflicts: 29000 | #Constraints: 10881
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 30000 | #Constraints: 8310
33.87/34.06 c #Conflicts: 31000 | #Constraints: 9310
33.87/34.06 c #Conflicts: 32000 | #Constraints: 10310
33.87/34.06 c #Conflicts: 33000 | #Constraints: 11310
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 34000 | #Constraints: 8499
33.87/34.06 c #Conflicts: 35000 | #Constraints: 9499
33.87/34.06 c #Conflicts: 36000 | #Constraints: 10499
33.87/34.06 c #Conflicts: 37000 | #Constraints: 11499
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 38000 | #Constraints: 8499
33.87/34.06 c #Conflicts: 39000 | #Constraints: 9499
33.87/34.06 c #Conflicts: 40000 | #Constraints: 10499
33.87/34.06 c #Conflicts: 41000 | #Constraints: 11500
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 42000 | #Constraints: 8339
33.87/34.06 c #Conflicts: 43000 | #Constraints: 9339
33.87/34.06 c #Conflicts: 44000 | #Constraints: 10339
33.87/34.06 c #Conflicts: 45000 | #Constraints: 11339
33.87/34.06 c #Conflicts: 46000 | #Constraints: 12339
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 47000 | #Constraints: 8939
33.87/34.06 c #Conflicts: 48000 | #Constraints: 9939
33.87/34.06 c #Conflicts: 49000 | #Constraints: 10939
33.87/34.06 c #Conflicts: 50000 | #Constraints: 11939
33.87/34.06 c #Conflicts: 51000 | #Constraints: 12939
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 52000 | #Constraints: 9327
33.87/34.06 c #Conflicts: 53000 | #Constraints: 10327
33.87/34.06 c #Conflicts: 54000 | #Constraints: 11327
33.87/34.06 c #Conflicts: 55000 | #Constraints: 12327
33.87/34.06 c #Conflicts: 56000 | #Constraints: 13327
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 57000 | #Constraints: 9539
33.87/34.06 c #Conflicts: 58000 | #Constraints: 10539
33.87/34.06 c #Conflicts: 59000 | #Constraints: 11539
33.87/34.06 c #Conflicts: 60000 | #Constraints: 12539
33.87/34.06 c #Conflicts: 61000 | #Constraints: 13539
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 62000 | #Constraints: 9551
33.87/34.06 c #Conflicts: 63000 | #Constraints: 10551
33.87/34.06 c #Conflicts: 64000 | #Constraints: 11551
33.87/34.06 c #Conflicts: 65000 | #Constraints: 12551
33.87/34.06 c #Conflicts: 66000 | #Constraints: 13551
33.87/34.06 c INPROCESSING
33.87/34.06 c GARBAGE COLLECT
33.87/34.06 c #Conflicts: 67000 | #Constraints: 9379
33.87/34.06 c #Conflicts: 68000 | #Constraints: 10379
75.04/75.39 c #Conflicts: 69000 | #Constraints: 11379
75.04/75.39 c #Conflicts: 70000 | #Constraints: 12379
75.04/75.39 c #Conflicts: 71000 | #Constraints: 13379
75.04/75.39 c #Conflicts: 72000 | #Constraints: 14379
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 73000 | #Constraints: 9998
75.04/75.39 c #Conflicts: 74000 | #Constraints: 10999
75.04/75.39 c #Conflicts: 75000 | #Constraints: 11999
75.04/75.39 c #Conflicts: 76000 | #Constraints: 12999
75.04/75.39 c #Conflicts: 77000 | #Constraints: 13999
75.04/75.39 c #Conflicts: 78000 | #Constraints: 14999
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 79000 | #Constraints: 10422
75.04/75.39 c #Conflicts: 80000 | #Constraints: 11422
75.04/75.39 c #Conflicts: 81000 | #Constraints: 12422
75.04/75.39 c #Conflicts: 82000 | #Constraints: 13422
75.04/75.39 c #Conflicts: 83000 | #Constraints: 14422
75.04/75.39 c #Conflicts: 84000 | #Constraints: 15422
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 85000 | #Constraints: 10609
75.04/75.39 c #Conflicts: 86000 | #Constraints: 11609
75.04/75.39 c #Conflicts: 87000 | #Constraints: 12609
75.04/75.39 c #Conflicts: 88000 | #Constraints: 13609
75.04/75.39 c #Conflicts: 89000 | #Constraints: 14609
75.04/75.39 c #Conflicts: 90000 | #Constraints: 15609
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 91000 | #Constraints: 10583
75.04/75.39 c #Conflicts: 92000 | #Constraints: 11583
75.04/75.39 c #Conflicts: 93000 | #Constraints: 12583
75.04/75.39 c #Conflicts: 94000 | #Constraints: 13583
75.04/75.39 c #Conflicts: 95000 | #Constraints: 14583
75.04/75.39 c #Conflicts: 96000 | #Constraints: 15583
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 97000 | #Constraints: 10384
75.04/75.39 c #Conflicts: 98000 | #Constraints: 11384
75.04/75.39 c #Conflicts: 99000 | #Constraints: 12384
75.04/75.39 c #Conflicts: 100000 | #Constraints: 13384
75.04/75.39 c #Conflicts: 101000 | #Constraints: 14384
75.04/75.39 c #Conflicts: 102000 | #Constraints: 15384
75.04/75.39 c #Conflicts: 103000 | #Constraints: 16384
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 104000 | #Constraints: 10996
75.04/75.39 c #Conflicts: 105000 | #Constraints: 11996
75.04/75.39 c #Conflicts: 106000 | #Constraints: 12996
75.04/75.39 c #Conflicts: 107000 | #Constraints: 13996
75.04/75.39 c #Conflicts: 108000 | #Constraints: 14996
75.04/75.39 c #Conflicts: 109000 | #Constraints: 15996
75.04/75.39 c #Conflicts: 110000 | #Constraints: 16996
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 111000 | #Constraints: 11431
75.04/75.39 c #Conflicts: 112000 | #Constraints: 12431
75.04/75.39 c #Conflicts: 113000 | #Constraints: 13431
75.04/75.39 c #Conflicts: 114000 | #Constraints: 14431
75.04/75.39 c #Conflicts: 115000 | #Constraints: 15431
75.04/75.39 c #Conflicts: 116000 | #Constraints: 16431
75.04/75.39 c #Conflicts: 117000 | #Constraints: 17431
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 118000 | #Constraints: 11621
75.04/75.39 c #Conflicts: 119000 | #Constraints: 12621
75.04/75.39 c #Conflicts: 120000 | #Constraints: 13621
75.04/75.39 c #Conflicts: 121000 | #Constraints: 14621
75.04/75.39 c #Conflicts: 122000 | #Constraints: 15621
75.04/75.39 c #Conflicts: 123000 | #Constraints: 16621
75.04/75.39 c #Conflicts: 124000 | #Constraints: 17621
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c #Conflicts: 125000 | #Constraints: 11621
75.04/75.39 c #Conflicts: 126000 | #Constraints: 12621
75.04/75.39 c #Conflicts: 127000 | #Constraints: 13621
75.04/75.39 c #Conflicts: 128000 | #Constraints: 14621
75.04/75.39 c #Conflicts: 129000 | #Constraints: 15621
75.04/75.39 c #Conflicts: 130000 | #Constraints: 16621
75.04/75.39 c #Conflicts: 131000 | #Constraints: 17621
75.04/75.39 c INPROCESSING
75.04/75.39 c GARBAGE COLLECT
75.04/75.39 c rational objective 70
149.23/149.77 c #Conflicts: 132000 | #Constraints: 11416
149.23/149.77 c #Conflicts: 133000 | #Constraints: 12416
149.23/149.77 c #Conflicts: 134000 | #Constraints: 13416
149.23/149.77 c #Conflicts: 135000 | #Constraints: 14416
149.23/149.77 c #Conflicts: 136000 | #Constraints: 15416
149.23/149.77 c #Conflicts: 137000 | #Constraints: 16416
149.23/149.77 c #Conflicts: 138000 | #Constraints: 17416
149.23/149.77 c #Conflicts: 139000 | #Constraints: 18416
149.23/149.77 c INPROCESSING
149.23/149.77 c GARBAGE COLLECT
149.23/149.77 c #Conflicts: 140000 | #Constraints: 12029
149.23/149.77 c #Conflicts: 141000 | #Constraints: 13029
149.23/149.77 c #Conflicts: 142000 | #Constraints: 14029
149.23/149.77 c #Conflicts: 143000 | #Constraints: 15029
149.23/149.77 c #Conflicts: 144000 | #Constraints: 16029
149.23/149.77 c #Conflicts: 145000 | #Constraints: 17029
149.23/149.77 c #Conflicts: 146000 | #Constraints: 18029
149.23/149.77 c #Conflicts: 147000 | #Constraints: 19029
149.23/149.77 c INPROCESSING
149.23/149.77 c GARBAGE COLLECT
149.23/149.77 c #Conflicts: 148000 | #Constraints: 12469
149.23/149.77 c #Conflicts: 149000 | #Constraints: 13469
149.23/149.77 c #Conflicts: 150000 | #Constraints: 14469
149.23/149.77 c #Conflicts: 151000 | #Constraints: 15469
149.23/149.77 c #Conflicts: 152000 | #Constraints: 16469
149.23/149.77 c #Conflicts: 153000 | #Constraints: 17469
149.23/149.77 c #Conflicts: 154000 | #Constraints: 18469
149.23/149.77 c #Conflicts: 155000 | #Constraints: 19469
149.23/149.77 c INPROCESSING
149.23/149.77 c GARBAGE COLLECT
149.23/149.77 c #Conflicts: 156000 | #Constraints: 12675
149.23/149.77 c #Conflicts: 157000 | #Constraints: 13675
149.23/149.77 c #Conflicts: 158000 | #Constraints: 14675
149.23/149.77 c #Conflicts: 159000 | #Constraints: 15675
149.23/149.77 c #Conflicts: 160000 | #Constraints: 16675
149.23/149.77 c #Conflicts: 161000 | #Constraints: 17675
149.23/149.77 c #Conflicts: 162000 | #Constraints: 18675
149.23/149.77 c #Conflicts: 163000 | #Constraints: 19675
149.23/149.77 c INPROCESSING
149.23/149.77 c GARBAGE COLLECT
149.23/149.77 c #Conflicts: 164000 | #Constraints: 12690
149.23/149.77 c #Conflicts: 165000 | #Constraints: 13690
149.23/149.77 c #Conflicts: 166000 | #Constraints: 14690
149.23/149.77 c #Conflicts: 167000 | #Constraints: 15690
149.23/149.77 c #Conflicts: 168000 | #Constraints: 16690
149.23/149.77 c #Conflicts: 169000 | #Constraints: 17690
149.23/149.77 c #Conflicts: 170000 | #Constraints: 18690
149.23/149.77 c #Conflicts: 171000 | #Constraints: 19690
149.23/149.77 c #Conflicts: 172000 | #Constraints: 20690
149.23/149.77 c #Conflicts: 173000 | #Constraints: 21690
149.23/149.77 c #Conflicts: 174000 | #Constraints: 22690
149.23/149.77 c #Conflicts: 175000 | #Constraints: 23690
149.23/149.77 c #Conflicts: 176000 | #Constraints: 24690
149.23/149.77 c #Conflicts: 177000 | #Constraints: 25690
149.23/149.77 c #Conflicts: 178000 | #Constraints: 26690
149.23/149.77 c #Conflicts: 179000 | #Constraints: 27690
149.23/149.77 c #Conflicts: 180000 | #Constraints: 28691
149.23/149.77 c #Conflicts: 181000 | #Constraints: 29691
149.23/149.77 c #Conflicts: 182000 | #Constraints: 30691
149.23/149.77 c #Conflicts: 183000 | #Constraints: 31691
149.23/149.77 c #Conflicts: 184000 | #Constraints: 32691
149.23/149.77 c #Conflicts: 185000 | #Constraints: 33691
149.23/149.77 c #Conflicts: 186000 | #Constraints: 34691
149.23/149.77 c #Conflicts: 187000 | #Constraints: 35691
149.23/149.77 c #Conflicts: 188000 | #Constraints: 36691
149.23/149.77 c #Conflicts: 189000 | #Constraints: 37691
149.23/149.77 c #Conflicts: 190000 | #Constraints: 38691
149.23/149.77 c #Conflicts: 191000 | #Constraints: 39691
149.23/149.77 c #Conflicts: 192000 | #Constraints: 40691
149.23/149.77 c #Conflicts: 193000 | #Constraints: 41691
149.23/149.77 c #Conflicts: 194000 | #Constraints: 42691
149.23/149.77 c #Conflicts: 195000 | #Constraints: 43691
149.23/149.77 c #Conflicts: 196000 | #Constraints: 44691
149.23/149.77 c #Conflicts: 197000 | #Constraints: 45691
149.23/149.77 c #Conflicts: 198000 | #Constraints: 46691
149.23/149.77 c #Conflicts: 199000 | #Constraints: 47691
149.23/149.77 c #Conflicts: 200000 | #Constraints: 48691
149.23/149.77 c #Conflicts: 201000 | #Constraints: 49691
149.23/149.77 c INPROCESSING
149.23/149.77 c GARBAGE COLLECT
149.23/149.77 c #Conflicts: 202000 | #Constraints: 27659
149.23/149.77 c #Conflicts: 203000 | #Constraints: 28659
149.23/149.77 c #Conflicts: 204000 | #Constraints: 29659
149.23/149.77 c #Conflicts: 205000 | #Constraints: 30659
149.23/149.77 c #Conflicts: 206000 | #Constraints: 31659
149.23/149.77 c #Conflicts: 207000 | #Constraints: 32659
188.91/189.56 c #Conflicts: 208000 | #Constraints: 33659
188.91/189.56 c #Conflicts: 209000 | #Constraints: 34659
188.91/189.56 c #Conflicts: 210000 | #Constraints: 35659
188.91/189.56 c INPROCESSING
188.91/189.56 c GARBAGE COLLECT
188.91/189.56 c #Conflicts: 211000 | #Constraints: 20427
188.91/189.56 c #Conflicts: 212000 | #Constraints: 21427
188.91/189.56 c #Conflicts: 213000 | #Constraints: 22427
188.91/189.56 c #Conflicts: 214000 | #Constraints: 23427
188.91/189.56 c #Conflicts: 215000 | #Constraints: 24427
188.91/189.56 c #Conflicts: 216000 | #Constraints: 25427
188.91/189.56 c #Conflicts: 217000 | #Constraints: 26427
188.91/189.56 c #Conflicts: 218000 | #Constraints: 27427
188.91/189.56 c #Conflicts: 219000 | #Constraints: 28427
188.91/189.56 c #Conflicts: 220000 | #Constraints: 29427
188.91/189.56 c INPROCESSING
188.91/189.56 c GARBAGE COLLECT
188.91/189.56 c #Conflicts: 221000 | #Constraints: 17449
188.91/189.56 c #Conflicts: 222000 | #Constraints: 18449
188.91/189.56 c #Conflicts: 223000 | #Constraints: 19449
188.91/189.56 c #Conflicts: 224000 | #Constraints: 20449
188.91/189.56 c #Conflicts: 225000 | #Constraints: 21449
188.91/189.56 c #Conflicts: 226000 | #Constraints: 22449
188.91/189.56 c #Conflicts: 227000 | #Constraints: 23449
188.91/189.56 c #Conflicts: 228000 | #Constraints: 24449
188.91/189.56 c #Conflicts: 229000 | #Constraints: 25449
188.91/189.56 c #Conflicts: 230000 | #Constraints: 26449
188.91/189.56 c INPROCESSING
188.91/189.56 c GARBAGE COLLECT
188.91/189.56 c #Conflicts: 231000 | #Constraints: 15963
188.91/189.56 c #Conflicts: 232000 | #Constraints: 16963
188.91/189.56 c #Conflicts: 233000 | #Constraints: 17963
188.91/189.56 c #Conflicts: 234000 | #Constraints: 18963
188.91/189.56 c #Conflicts: 235000 | #Constraints: 19963
188.91/189.56 c #Conflicts: 236000 | #Constraints: 20963
188.91/189.56 c #Conflicts: 237000 | #Constraints: 21963
188.91/189.56 c #Conflicts: 238000 | #Constraints: 22963
188.91/189.56 c #Conflicts: 239000 | #Constraints: 23963
188.91/189.56 c #Conflicts: 240000 | #Constraints: 24963
188.91/189.56 c INPROCESSING
188.91/189.56 c GARBAGE COLLECT
188.91/189.56 c rational objective 70
237.27/238.08 c #Conflicts: 241000 | #Constraints: 15187
237.27/238.08 c #Conflicts: 242000 | #Constraints: 16187
237.27/238.08 c #Conflicts: 243000 | #Constraints: 17187
237.27/238.08 c #Conflicts: 244000 | #Constraints: 18187
237.27/238.08 c #Conflicts: 245000 | #Constraints: 19187
237.27/238.08 c #Conflicts: 246000 | #Constraints: 20187
237.27/238.08 c #Conflicts: 247000 | #Constraints: 21187
237.27/238.08 c #Conflicts: 248000 | #Constraints: 22187
237.27/238.08 c #Conflicts: 249000 | #Constraints: 23187
237.27/238.08 c #Conflicts: 250000 | #Constraints: 24187
237.27/238.08 c INPROCESSING
237.27/238.08 c GARBAGE COLLECT
237.27/238.08 c #Conflicts: 251000 | #Constraints: 14647
237.27/238.08 c #Conflicts: 252000 | #Constraints: 15647
237.27/238.08 c #Conflicts: 253000 | #Constraints: 16647
237.27/238.08 c #Conflicts: 254000 | #Constraints: 17647
237.27/238.08 c #Conflicts: 255000 | #Constraints: 18647
237.27/238.08 c #Conflicts: 256000 | #Constraints: 19647
237.27/238.08 c #Conflicts: 257000 | #Constraints: 20647
237.27/238.08 c #Conflicts: 258000 | #Constraints: 21647
237.27/238.08 c #Conflicts: 259000 | #Constraints: 22647
237.27/238.08 c #Conflicts: 260000 | #Constraints: 23647
237.27/238.08 c #Conflicts: 261000 | #Constraints: 24647
237.27/238.08 c INPROCESSING
237.27/238.08 c GARBAGE COLLECT
237.27/238.08 c #Conflicts: 262000 | #Constraints: 15121
237.27/238.08 c #Conflicts: 263000 | #Constraints: 16121
237.27/238.08 c #Conflicts: 264000 | #Constraints: 17121
237.27/238.08 c #Conflicts: 265000 | #Constraints: 18121
237.27/238.08 c #Conflicts: 266000 | #Constraints: 19121
237.27/238.08 c #Conflicts: 267000 | #Constraints: 20121
237.27/238.08 c #Conflicts: 268000 | #Constraints: 21121
237.27/238.08 c #Conflicts: 269000 | #Constraints: 22121
237.27/238.08 c #Conflicts: 270000 | #Constraints: 23121
237.27/238.08 c #Conflicts: 271000 | #Constraints: 24121
237.27/238.08 c #Conflicts: 272000 | #Constraints: 25121
237.27/238.08 c INPROCESSING
237.27/238.08 c GARBAGE COLLECT
237.27/238.08 c #Conflicts: 273000 | #Constraints: 15521
237.27/238.08 c #Conflicts: 274000 | #Constraints: 16521
237.27/238.08 c #Conflicts: 275000 | #Constraints: 17521
237.27/238.08 c #Conflicts: 276000 | #Constraints: 18521
237.27/238.08 c #Conflicts: 277000 | #Constraints: 19521
237.27/238.08 c #Conflicts: 278000 | #Constraints: 20521
237.27/238.08 c #Conflicts: 279000 | #Constraints: 21521
237.27/238.08 c #Conflicts: 280000 | #Constraints: 22521
237.27/238.08 c #Conflicts: 281000 | #Constraints: 23521
237.27/238.08 c #Conflicts: 282000 | #Constraints: 24521
237.27/238.08 c INPROCESSING
237.27/238.08 c GARBAGE COLLECT
237.27/238.08 c #Conflicts: 283000 | #Constraints: 14770
237.27/238.08 c #Conflicts: 284000 | #Constraints: 15770
237.27/238.08 c #Conflicts: 285000 | #Constraints: 16770
237.27/238.08 c #Conflicts: 286000 | #Constraints: 17770
237.27/238.08 c #Conflicts: 287000 | #Constraints: 18770
237.27/238.08 c #Conflicts: 288000 | #Constraints: 19770
237.27/238.08 c #Conflicts: 289000 | #Constraints: 20770
237.27/238.08 c #Conflicts: 290000 | #Constraints: 21770
237.27/238.08 c #Conflicts: 291000 | #Constraints: 22770
237.27/238.08 c #Conflicts: 292000 | #Constraints: 23770
237.27/238.08 c #Conflicts: 293000 | #Constraints: 24770
237.27/238.08 c #Conflicts: 294000 | #Constraints: 25770
237.27/238.08 c INPROCESSING
237.27/238.08 c GARBAGE COLLECT
237.27/238.08 c #Conflicts: 295000 | #Constraints: 15903
237.27/238.08 c #Conflicts: 296000 | #Constraints: 16903
237.27/238.08 c #Conflicts: 297000 | #Constraints: 17903
237.27/238.08 c #Conflicts: 298000 | #Constraints: 18903
237.27/238.08 c #Conflicts: 299000 | #Constraints: 19903
237.27/238.08 c #Conflicts: 300000 | #Constraints: 20903
237.27/238.08 c #Conflicts: 301000 | #Constraints: 21903
237.27/238.08 c #Conflicts: 302000 | #Constraints: 22903
237.27/238.08 c #Conflicts: 303000 | #Constraints: 23903
237.27/238.08 c #Conflicts: 304000 | #Constraints: 24903
237.27/238.08 c #Conflicts: 305000 | #Constraints: 25903
237.27/238.08 c INPROCESSING
237.27/238.08 c GARBAGE COLLECT
237.27/238.08 c cpu time 235.052 s
237.27/238.08 c deterministic time 14992144092 1.50e+10
237.27/238.08 c optimization time 8.1e-05 s
237.27/238.08 c total solve time 234.999 s
237.27/238.08 c core-guided solve time 0 s
237.27/238.08 c propagation time 112.973 s
237.27/238.08 c conflict analysis time 100.383 s
237.27/238.08 c propagations 113347819
237.27/238.08 c resolve steps 12819111
237.27/238.08 c decisions 1586911
237.27/238.08 c conflicts 305499
237.27/238.08 c restarts 745
237.27/238.08 c inprocessing phases 43
237.27/238.08 c garbage collections 43 ,( 100.00 )
237.27/238.08 c input clauses 3931 ,( 98.28 )
237.27/238.08 c input cardinalities 69 ,( 1.73 )
237.27/238.08 c input general constraints 0 ,( 0.00 )
237.27/238.08 c input average constraint length 5.95
237.27/238.08 c input average constraint degree 1.91
237.27/238.08 c learned clauses 232944 ,( 76.25 )
237.27/238.08 c learned cardinalities 7280 ,( 2.38 )
237.27/238.08 c learned general constraints 65281 ,( 21.37 )
237.27/238.08 c learned average constraint length 377.75
237.27/238.08 c learned average constraint degree 2492303.42
237.27/238.08 c watched CF 32, 64, 128, Arb: 18686 , 0 , 0 , 0
237.27/238.08 c counting CF 32, 64, 128, Arb: 46595 , 0 , 0 , 0
237.27/238.08 c watched constraints 18686 ,( 28.62 )
237.27/238.08 c counting constraints 46595 ,( 71.38 )
237.27/238.08 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 149560109 , 74343065 , 182662614 ,( 10248594 , 172414020 )
237.27/238.08 c gcd simplifications 151
237.27/238.08 c detected cardinalities 645
237.27/238.08 c weakened non-implied lits 44736990
237.27/238.08 c weakened non-implying lits 21199
237.27/238.08 c original variables 3822
237.27/238.08 c clausal propagations 48588600
237.27/238.08 c cardinality propagations 41820330
237.27/238.08 c watched propagations 413360
237.27/238.08 c counting propagations 21599173
237.27/238.08 c watch lookups 6380388238
237.27/238.08 c watch backjump lookups 0
237.27/238.08 c watch checks 2697392866
237.27/238.08 c propagation checks 5258424243
237.27/238.08 c constraint additions 425697713
237.27/238.08 c trail pops 115239613
237.27/238.08 c formula constraints 4000
237.27/238.08 c learned constraints 305495
237.27/238.08 c bound constraints 0
237.27/238.08 c core-guided constraints 0
237.27/238.08 c encountered formula constraints 8862098
237.27/238.08 c encountered learned constraints 4262475
237.27/238.08 c encountered bound constraints 0
237.27/238.08 c encountered core-guided constraints 0
237.27/238.08 c LP total time 16.5935 s
237.27/238.08 c LP solve time 15.72 s
237.27/238.08 c LP constraints added 4045
237.27/238.08 c LP constraints removed 0
237.27/238.08 c LP pivots internal 35842
237.27/238.08 c LP pivots root 30846
237.27/238.08 c LP calls 11
237.27/238.08 c LP optimalities 3
237.27/238.08 c LP no pivot count 0
237.27/238.08 c LP infeasibilities 4
237.27/238.08 c LP valid Farkas constraints 4
237.27/238.08 c LP learned Farkas constraints 4
237.27/238.08 c LP basis resets 0
237.27/238.08 c LP cycling count 0
237.27/238.08 c LP singular count 0
237.27/238.08 c LP no primal count 0
237.27/238.08 c LP no farkas count 0
237.27/238.08 c LP other issue count 0
237.27/238.08 c LP Gomory cuts 2
237.27/238.08 c LP learned cuts 91
237.27/238.08 c LP deleted cuts 36
237.27/238.08 c LP encountered Gomory constraints 0
237.27/238.08 c LP encountered Farkas constraints 25
237.27/238.08 c LP encountered learned Farkas constraints 8
237.27/238.08 c CG auxiliary variables introduced 0
237.27/238.08 c CG solutions found 0
237.27/238.08 c CG cores constructed 0
237.27/238.08 c CG core cardinality constraints returned 0
237.27/238.08 c CG unit cores 0
237.27/238.08 c CG single cores 0
237.27/238.08 c CG blocks removed during cardinality reduction 0
237.27/238.08 c CG first core best 0
237.27/238.08 c CG decision core best 0
237.27/238.08 c CG core reduction tie 0
237.27/238.08 c CG core degree average 0.00
237.27/238.08 c CG core slack average 0.00
237.27/238.08 c CG core upper bound improvements 0
237.27/238.08 c STR number of successful calls 0
237.27/238.08 c STR number of unsuccessful calls 0
237.27/238.08 c STR number of inconclusive calls 0
237.27/238.08 c STR number of successful attempts 0
237.27/238.08 c STR number of unsuccessful attempts 0
237.27/238.08 c STR number of inconclusive attempts 0
237.27/238.08 c STR average degree increase per successful call inf
237.27/238.08 c STR average degree increase per successful attempt inf
237.27/238.08 c STR total number of conflicts for successful attempts 0
237.27/238.08 c STR total number of conflicts for unsuccessful attempts 0
237.27/238.08 c STR total number of conflicts for inconclusive attempts 0
237.27/238.08 c STR average number of conflicts per successful attempt inf
237.27/238.08 c STR average number of conflicts per unsuccessful attempt inf
237.27/238.08 c STR average number of conflicts per inconclusive attempt inf
237.27/238.08 c AVG.sumWPerc 62.43
237.27/238.08 c bigint constraints 0
237.27/238.08 s SATISFIABLE
237.27/238.08 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 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 x3795
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 (62388 MiB free)
memory of node 1: 64465 MiB (63373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507700-1751187146/watcher-4507700-1751187146 -o /tmp/evaluation-result-4507700-1751187146/solver-4507700-1751187146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760 run-dec-break.sh HOME/instance-4507700-1751187146.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19905, runsolver pid=19902
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 19908
/proc/meminfo: memFree=128776008/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=57520 memory=12852 CPUtime=0.04 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 932 0 0 0 3 1 0 0 20 0 1 0 34393329 58900480 3213 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 14380 3213 1984 1147 0 1807 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61712 KiB
Current children cumulated memory: 15924 KiB
[startup+0.213504 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 19908
/proc/meminfo: memFree=128774244/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=65700 memory=21416 CPUtime=0.15 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 3371 0 0 0 13 2 0 0 20 0 1 0 34393329 67276800 5354 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 16425 5354 2272 1147 0 3852 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69892 KiB
Current children cumulated memory: 24488 KiB
[startup+0.313411 s]*
/proc/loadavg: 4.12 4.11 4.09 5/254 19908
/proc/meminfo: memFree=128772228/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=66204 memory=22056 CPUtime=0.25 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 3510 0 0 0 23 2 0 0 20 0 1 0 34393329 67792896 5514 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 16551 5514 2272 1147 0 3978 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70396 KiB
Current children cumulated memory: 25128 KiB
[startup+0.700383 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 19908
/proc/meminfo: memFree=128772228/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=66204 memory=22056 CPUtime=0.62 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 3514 0 0 0 60 2 0 0 20 0 1 0 34393329 67792896 5514 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 16551 5514 2272 1147 0 3978 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 70396 KiB
Current children cumulated memory: 25128 KiB
[startup+1.50038 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 19908
/proc/meminfo: memFree=128772228/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=67176 memory=22952 CPUtime=1.42 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 3713 0 0 0 139 3 0 0 20 0 1 0 34393329 68788224 5738 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 16794 5738 2304 1147 0 4221 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 71368 KiB
Current children cumulated memory: 26024 KiB
[startup+3.1131 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 19908
/proc/meminfo: memFree=128768420/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=70516 memory=28484 CPUtime=3.02 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 4571 0 0 0 294 8 0 0 20 0 1 0 34393329 72208384 7121 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 17629 7121 2336 1147 0 5056 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 74708 KiB
Current children cumulated memory: 31556 KiB
[startup+6.3004 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 19908
/proc/meminfo: memFree=128760116/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=77196 memory=33220 CPUtime=6.2 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 5741 0 0 0 607 13 0 0 20 0 1 0 34393329 79048704 8305 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 19299 8305 2336 1147 0 6726 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 81388 KiB
Current children cumulated memory: 36292 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19908
/proc/meminfo: memFree=128758604/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=79388 memory=36036 CPUtime=12.59 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 6407 0 0 0 1234 25 0 0 20 0 1 0 34393329 81293312 9009 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 19847 9009 2368 1147 0 7274 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 83580 KiB
Current children cumulated memory: 39108 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 19908
/proc/meminfo: memFree=128735164/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=88332 memory=44584 CPUtime=25.35 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 8065 0 0 0 2493 42 0 0 20 0 1 0 34393329 90451968 11146 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 22083 11146 2368 1147 0 9510 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 92524 KiB
Current children cumulated memory: 47656 KiB
[startup+51.1133 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 19910
/proc/meminfo: memFree=128671544/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=101336 memory=57000 CPUtime=50.9 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 10137 0 0 0 5018 72 0 0 20 0 1 0 34393329 103768064 14250 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 25334 14250 2368 1147 0 12761 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 105528 KiB
Current children cumulated memory: 60072 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 19912
/proc/meminfo: memFree=128623340/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=127252 memory=81772 CPUtime=101.92 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 14073 0 0 0 10063 129 0 0 20 0 1 0 34393329 130306048 20443 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 31813 20443 2368 1147 0 19240 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 131444 KiB
Current children cumulated memory: 84844 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128498316/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=255700 memory=167988 CPUtime=161.76 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21845 0 0 0 16016 160 0 0 20 0 1 0 34393329 261836800 41997 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 63925 41997 2368 1147 0 51352 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 259892 KiB
Current children cumulated memory: 171060 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 20013
/proc/meminfo: memFree=128572292/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=256256 memory=168372 CPUtime=221.57 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21940 0 0 0 21945 212 0 0 20 0 1 0 34393329 262406144 42093 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 64064 42093 2368 1147 0 51491 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 260448 KiB
Current children cumulated memory: 171444 KiB
[startup+238.094 s]
# the end of solver process 19905 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=235.086 s, system=2.29045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 20013
/proc/meminfo: memFree=128569268/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=256256 memory=168372 CPUtime=229.64 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21940 0 0 0 22746 218 0 0 20 0 1 0 34393329 262406144 42093 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 64064 42093 2368 1147 0 51491 0
Current children cumulated CPU time: 229.67 s
Current children cumulated vsize: 260448 KiB
Current children cumulated memory: 171444 KiB
[startup+233.6 s]
/proc/loadavg: 4.25 4.14 4.10 5/255 20013
/proc/meminfo: memFree=128565236/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=256256 memory=168372 CPUtime=232.84 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21940 0 0 0 23061 223 0 0 20 0 1 0 34393329 262406144 42093 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 64064 42093 2368 1147 0 51491 0
Current children cumulated CPU time: 232.87 s
Current children cumulated vsize: 260448 KiB
Current children cumulated memory: 171444 KiB
[startup+235.2 s]
/proc/loadavg: 4.25 4.14 4.10 5/255 20013
/proc/meminfo: memFree=128565236/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=256256 memory=168372 CPUtime=234.43 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21940 0 0 0 23219 224 0 0 20 0 1 0 34393329 262406144 42093 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 64064 42093 2368 1147 0 51491 0
Current children cumulated CPU time: 234.46 s
Current children cumulated vsize: 260448 KiB
Current children cumulated memory: 171444 KiB
[startup+236.8 s]
/proc/loadavg: 4.23 4.14 4.10 5/255 20013
/proc/meminfo: memFree=128565236/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=256256 memory=168372 CPUtime=236.03 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21940 0 0 0 23378 225 0 0 20 0 1 0 34393329 262406144 42093 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 64064 42093 2368 1147 0 51491 0
Current children cumulated CPU time: 236.06 s
Current children cumulated vsize: 260448 KiB
Current children cumulated memory: 171444 KiB
[startup+237.6 s]
/proc/loadavg: 4.23 4.14 4.10 5/255 20013
/proc/meminfo: memFree=128565236/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=256256 memory=168372 CPUtime=236.83 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21940 0 0 0 23457 226 0 0 20 0 1 0 34393329 262406144 42093 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 64064 42093 2368 1147 0 51491 0
Current children cumulated CPU time: 236.86 s
Current children cumulated vsize: 260448 KiB
Current children cumulated memory: 171444 KiB
[startup+238 s]*
/proc/loadavg: 4.23 4.14 4.10 5/255 20013
/proc/meminfo: memFree=128565236/131382120 swapFree=33010684/33010684
[pid=19905] ppid=19902 vsize=4192 memory=3072 CPUtime=0.03 cores=5,7
/proc/19905/stat : 19905 (run-dec-break.s) S 19902 19905 19233 0 -1 4194304 239 2658 0 0 0 0 2 1 20 0 1 0 34393323 4292608 768 18446744073709551615 93871973994496 93871974889029 140728205224928 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93871975128080 93871975175824 93871977127936 140728205232481 140728205232610 140728205232610 140728205238212 0
/proc/19905/statm: 1048 768 704 219 0 110 0
[pid=19908] ppid=19905 vsize=256256 memory=168372 CPUtime=237.24 cores=5,7
/proc/19908/stat : 19908 (roundingsat) R 19905 19905 19233 0 -1 4194304 21940 0 0 0 23498 226 0 0 20 0 1 0 34393329 262406144 42093 18446744073709551615 4227072 8923433 140722625046640 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37281792 140722625055044 140722625055272 140722625055272 140722625060842 0
/proc/19908/statm: 64064 42093 2368 1147 0 51491 0
Current children cumulated CPU time: 237.27 s
Current children cumulated vsize: 260448 KiB
Current children cumulated memory: 171444 KiB
Child status: 0
Real time (s): 238.094
CPU time (s): 237.377
CPU user time (s): 235.086
CPU system time (s): 2.29045
CPU usage (%): 99.6988
Max. virtual memory (cumulated for all children) (KiB): 260448
Max. memory (cumulated for all children) (KiB): 171444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.086
system time used= 2.29045
maximum resident set size= 168372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231
involuntary context switches= 235
# summary of solver processes directly reported to runsolver:
# pid: 19905
# total CPU time (s): 237.377
# total CPU user time (s): 235.086
# total CPU system time (s): 2.29045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33974 second user time and 2.4255 second system time
The end
Begin job on nodeC003 at 2025-06-29 10:52:26
IDJOB=4507700
IDBENCH=158377
IDSOLVER=3357
FILE ID=nodeC003/4507700-1751187146
RUNJOBID= nodeC003-1751182666-19246
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K69.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507700-1751187146/watcher-4507700-1751187146 -o /tmp/evaluation-result-4507700-1751187146/solver-4507700-1751187146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760 run-dec-break.sh HOME/instance-4507700-1751187146.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7a41f646f8fb7a1c0e5845075c21504b
RANDOM SEED=1144008643
nodeC003 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 : 3661.925
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.44
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 : 3691.247
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.44
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.481
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.44
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.980
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.44
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 : 3661.935
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.44
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.170
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.44
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 : 3700.000
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.44
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.400
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128779788 kB
MemAvailable: 128591284 kB
Buffers: 3280 kB
Cached: 622112 kB
SwapCached: 0 kB
Active: 1654036 kB
Inactive: 408900 kB
Active(anon): 1455504 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 408900 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15524 kB
Writeback: 0 kB
AnonPages: 1439748 kB
Mapped: 116184 kB
Shmem: 17960 kB
KReclaimable: 87380 kB
Slab: 168544 kB
SReclaimable: 87380 kB
SUnreclaim: 81164 kB
KernelStack: 4080 kB
PageTables: 6000 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1860096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1290240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:56:25