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-4493340-1751155906.opb'
0.00/0.03 c read 0.74MB (9.05ms)
0.00/0.03 c [cnf: #variables 8281 #clauses 826 #duplicates 0 #arr 82810]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2] (7.61ms)
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.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 (7.64ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 33950 #edges 215306]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.14 c [group: #symmetries 2.74*10^24 #generators 13] (95.25ms)
0.07/0.14 c
0.07/0.14 c optimize generators (opt_passes=64, conjugate_limit=360)
0.07/0.16 c opt it=15, l=407, m=168, opt=21, avg=11222, b=4368, gens=13
0.07/0.18 c opt it=31, l=667, m=289, opt=30, avg=10295, b=4368, gens=13
0.07/0.19 c opt it=47, l=902, m=397, opt=39, avg=9958, b=4368, gens=13
0.18/0.21 c ran it=0, +gens=13
0.57/0.67 c con best_support=4368, best_gens=6, +gens=358
0.57/0.67 c (538.20ms)
0.57/0.67 c
0.57/0.67 c finalize break order and special generators
0.57/0.68 c
0.57/0.68 c add generic predicates (break_depth=10)
0.67/0.74 c added predicates for 384 generators (53.53ms)
0.67/0.74 c
0.67/0.74 c generation finished
0.67/0.74 c [sbp: #constraints 10752 #add_vars 3456]
0.67/0.74 c
0.67/0.74 c write result to 'HOME/instance-4493340-1751155906.opb.pre'
0.67/0.74 c wrote 1.13MB (2.65ms)
0.67/0.74 c ------------------------------------------------------------------
0.67/0.74 c 538.20ms 74.17% optimize_gens
0.67/0.74 c 95.25ms 13.13% detect_generic
0.67/0.74 c 53.53ms 7.38% break_generic
0.67/0.74 c 10.66ms 1.47% finalize_order
0.67/0.74 c 9.05ms 1.25% parse
0.67/0.74 c 7.64ms 1.05% detect_special
0.67/0.74 c 7.61ms 1.05% approx_orbits
0.67/0.74 c 2.65ms 0.36% output
0.67/0.74 c 1.06ms 0.15% other
0.67/0.74 c ───────────────────────────────────────────────
0.67/0.74 c 725.64ms 100% total
0.67/0.74 c ------------------------------------------------------------------
0.67/0.75 c RoundingSat 2
0.67/0.75 c branch pb25
0.67/0.75 c commit 63f22ad
0.71/0.83 c #variables 11737 #constraints 11578
98.19/98.50 c #Conflicts: 1000 | #Constraints: 12577
98.19/98.50 c #Conflicts: 2000 | #Constraints: 13577
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 3000 | #Constraints: 13576
98.19/98.50 c #Conflicts: 4000 | #Constraints: 14576
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 5000 | #Constraints: 13937
98.19/98.50 c #Conflicts: 6000 | #Constraints: 14937
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 7000 | #Constraints: 13918
98.19/98.50 c #Conflicts: 8000 | #Constraints: 14918
98.19/98.50 c #Conflicts: 9000 | #Constraints: 15918
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 10000 | #Constraints: 14609
98.19/98.50 c #Conflicts: 11000 | #Constraints: 15609
98.19/98.50 c #Conflicts: 12000 | #Constraints: 16609
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 13000 | #Constraints: 14460
98.19/98.50 c #Conflicts: 14000 | #Constraints: 15460
98.19/98.50 c #Conflicts: 15000 | #Constraints: 16460
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 16000 | #Constraints: 14673
98.19/98.50 c #Conflicts: 17000 | #Constraints: 15673
98.19/98.50 c #Conflicts: 18000 | #Constraints: 16673
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 19000 | #Constraints: 14717
98.19/98.50 c #Conflicts: 20000 | #Constraints: 15717
98.19/98.50 c #Conflicts: 21000 | #Constraints: 16717
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 22000 | #Constraints: 14502
98.19/98.50 c #Conflicts: 23000 | #Constraints: 15502
98.19/98.50 c #Conflicts: 24000 | #Constraints: 16502
98.19/98.50 c #Conflicts: 25000 | #Constraints: 17502
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 26000 | #Constraints: 15061
98.19/98.50 c #Conflicts: 27000 | #Constraints: 16061
98.19/98.50 c #Conflicts: 28000 | #Constraints: 17061
98.19/98.50 c #Conflicts: 29000 | #Constraints: 18061
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 30000 | #Constraints: 15453
98.19/98.50 c #Conflicts: 31000 | #Constraints: 16453
98.19/98.50 c #Conflicts: 32000 | #Constraints: 17453
98.19/98.50 c #Conflicts: 33000 | #Constraints: 18453
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 34000 | #Constraints: 15609
98.19/98.50 c #Conflicts: 35000 | #Constraints: 16609
98.19/98.50 c #Conflicts: 36000 | #Constraints: 17609
98.19/98.50 c #Conflicts: 37000 | #Constraints: 18609
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 38000 | #Constraints: 15626
98.19/98.50 c #Conflicts: 39000 | #Constraints: 16626
98.19/98.50 c #Conflicts: 40000 | #Constraints: 17626
98.19/98.50 c #Conflicts: 41000 | #Constraints: 18626
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 42000 | #Constraints: 15438
98.19/98.50 c #Conflicts: 43000 | #Constraints: 16438
98.19/98.50 c #Conflicts: 44000 | #Constraints: 17438
98.19/98.50 c #Conflicts: 45000 | #Constraints: 18438
98.19/98.50 c #Conflicts: 46000 | #Constraints: 19438
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 47000 | #Constraints: 15995
98.19/98.50 c #Conflicts: 48000 | #Constraints: 16995
98.19/98.50 c #Conflicts: 49000 | #Constraints: 17995
98.19/98.50 c #Conflicts: 50000 | #Constraints: 18995
98.19/98.50 c #Conflicts: 51000 | #Constraints: 19995
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 52000 | #Constraints: 16380
98.19/98.50 c #Conflicts: 53000 | #Constraints: 17380
98.19/98.50 c #Conflicts: 54000 | #Constraints: 18380
98.19/98.50 c #Conflicts: 55000 | #Constraints: 19380
98.19/98.50 c #Conflicts: 56000 | #Constraints: 20380
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 57000 | #Constraints: 16582
98.19/98.50 c #Conflicts: 58000 | #Constraints: 17582
98.19/98.50 c #Conflicts: 59000 | #Constraints: 18582
98.19/98.50 c #Conflicts: 60000 | #Constraints: 19582
98.19/98.50 c #Conflicts: 61000 | #Constraints: 20582
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 62000 | #Constraints: 16555
98.19/98.50 c #Conflicts: 63000 | #Constraints: 17555
98.19/98.50 c #Conflicts: 64000 | #Constraints: 18555
98.19/98.50 c #Conflicts: 65000 | #Constraints: 19555
98.19/98.50 c #Conflicts: 66000 | #Constraints: 20555
98.19/98.50 c INPROCESSING
98.19/98.50 c GARBAGE COLLECT
98.19/98.50 c #Conflicts: 67000 | #Constraints: 16334
98.19/98.50 c #Conflicts: 68000 | #Constraints: 17334
207.59/208.26 c #Conflicts: 69000 | #Constraints: 18334
207.59/208.26 c #Conflicts: 70000 | #Constraints: 19334
207.59/208.26 c #Conflicts: 71000 | #Constraints: 20334
207.59/208.26 c #Conflicts: 72000 | #Constraints: 21334
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 73000 | #Constraints: 16960
207.59/208.26 c #Conflicts: 74000 | #Constraints: 17960
207.59/208.26 c #Conflicts: 75000 | #Constraints: 18960
207.59/208.26 c #Conflicts: 76000 | #Constraints: 19960
207.59/208.26 c #Conflicts: 77000 | #Constraints: 20960
207.59/208.26 c #Conflicts: 78000 | #Constraints: 21960
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 79000 | #Constraints: 17330
207.59/208.26 c #Conflicts: 80000 | #Constraints: 18330
207.59/208.26 c #Conflicts: 81000 | #Constraints: 19330
207.59/208.26 c #Conflicts: 82000 | #Constraints: 20330
207.59/208.26 c #Conflicts: 83000 | #Constraints: 21330
207.59/208.26 c #Conflicts: 84000 | #Constraints: 22330
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 85000 | #Constraints: 17530
207.59/208.26 c #Conflicts: 86000 | #Constraints: 18530
207.59/208.26 c #Conflicts: 87000 | #Constraints: 19530
207.59/208.26 c #Conflicts: 88000 | #Constraints: 20530
207.59/208.26 c #Conflicts: 89000 | #Constraints: 21530
207.59/208.26 c #Conflicts: 90000 | #Constraints: 22530
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 91000 | #Constraints: 17519
207.59/208.26 c #Conflicts: 92000 | #Constraints: 18519
207.59/208.26 c #Conflicts: 93000 | #Constraints: 19519
207.59/208.26 c #Conflicts: 94000 | #Constraints: 20519
207.59/208.26 c #Conflicts: 95000 | #Constraints: 21519
207.59/208.26 c #Conflicts: 96000 | #Constraints: 22519
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 97000 | #Constraints: 17344
207.59/208.26 c #Conflicts: 98000 | #Constraints: 18344
207.59/208.26 c #Conflicts: 99000 | #Constraints: 19344
207.59/208.26 c #Conflicts: 100000 | #Constraints: 20344
207.59/208.26 c #Conflicts: 101000 | #Constraints: 21345
207.59/208.26 c #Conflicts: 102000 | #Constraints: 22345
207.59/208.26 c #Conflicts: 103000 | #Constraints: 23345
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 104000 | #Constraints: 17925
207.59/208.26 c #Conflicts: 105000 | #Constraints: 18925
207.59/208.26 c #Conflicts: 106000 | #Constraints: 19925
207.59/208.26 c #Conflicts: 107000 | #Constraints: 20925
207.59/208.26 c #Conflicts: 108000 | #Constraints: 21925
207.59/208.26 c #Conflicts: 109000 | #Constraints: 22925
207.59/208.26 c #Conflicts: 110000 | #Constraints: 23925
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 111000 | #Constraints: 18323
207.59/208.26 c #Conflicts: 112000 | #Constraints: 19323
207.59/208.26 c #Conflicts: 113000 | #Constraints: 20323
207.59/208.26 c #Conflicts: 114000 | #Constraints: 21323
207.59/208.26 c #Conflicts: 115000 | #Constraints: 22323
207.59/208.26 c #Conflicts: 116000 | #Constraints: 23323
207.59/208.26 c #Conflicts: 117000 | #Constraints: 24323
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 118000 | #Constraints: 18509
207.59/208.26 c #Conflicts: 119000 | #Constraints: 19509
207.59/208.26 c #Conflicts: 120000 | #Constraints: 20509
207.59/208.26 c #Conflicts: 121000 | #Constraints: 21509
207.59/208.26 c #Conflicts: 122000 | #Constraints: 22509
207.59/208.26 c #Conflicts: 123000 | #Constraints: 23509
207.59/208.26 c #Conflicts: 124000 | #Constraints: 24509
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 125000 | #Constraints: 18481
207.59/208.26 c #Conflicts: 126000 | #Constraints: 19481
207.59/208.26 c #Conflicts: 127000 | #Constraints: 20481
207.59/208.26 c #Conflicts: 128000 | #Constraints: 21481
207.59/208.26 c #Conflicts: 129000 | #Constraints: 22481
207.59/208.26 c #Conflicts: 130000 | #Constraints: 23481
207.59/208.26 c #Conflicts: 131000 | #Constraints: 24481
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 132000 | #Constraints: 18284
207.59/208.26 c #Conflicts: 133000 | #Constraints: 19284
207.59/208.26 c #Conflicts: 134000 | #Constraints: 20284
207.59/208.26 c #Conflicts: 135000 | #Constraints: 21284
207.59/208.26 c #Conflicts: 136000 | #Constraints: 22284
207.59/208.26 c #Conflicts: 137000 | #Constraints: 23284
207.59/208.26 c #Conflicts: 138000 | #Constraints: 24284
207.59/208.26 c #Conflicts: 139000 | #Constraints: 25284
207.59/208.26 c INPROCESSING
207.59/208.26 c GARBAGE COLLECT
207.59/208.26 c #Conflicts: 140000 | #Constraints: 18864
322.70/323.64 c #Conflicts: 141000 | #Constraints: 19864
322.70/323.64 c #Conflicts: 142000 | #Constraints: 20864
322.70/323.64 c #Conflicts: 143000 | #Constraints: 21864
322.70/323.64 c #Conflicts: 144000 | #Constraints: 22864
322.70/323.64 c #Conflicts: 145000 | #Constraints: 23864
322.70/323.64 c #Conflicts: 146000 | #Constraints: 24864
322.70/323.64 c #Conflicts: 147000 | #Constraints: 25864
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 148000 | #Constraints: 19278
322.70/323.64 c #Conflicts: 149000 | #Constraints: 20278
322.70/323.64 c #Conflicts: 150000 | #Constraints: 21278
322.70/323.64 c #Conflicts: 151000 | #Constraints: 22278
322.70/323.64 c #Conflicts: 152000 | #Constraints: 23278
322.70/323.64 c #Conflicts: 153000 | #Constraints: 24278
322.70/323.64 c #Conflicts: 154000 | #Constraints: 25278
322.70/323.64 c #Conflicts: 155000 | #Constraints: 26278
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 156000 | #Constraints: 19429
322.70/323.64 c #Conflicts: 157000 | #Constraints: 20429
322.70/323.64 c #Conflicts: 158000 | #Constraints: 21429
322.70/323.64 c #Conflicts: 159000 | #Constraints: 22429
322.70/323.64 c #Conflicts: 160000 | #Constraints: 23429
322.70/323.64 c #Conflicts: 161000 | #Constraints: 24429
322.70/323.64 c #Conflicts: 162000 | #Constraints: 25429
322.70/323.64 c #Conflicts: 163000 | #Constraints: 26429
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 164000 | #Constraints: 19387
322.70/323.64 c #Conflicts: 165000 | #Constraints: 20387
322.70/323.64 c #Conflicts: 166000 | #Constraints: 21387
322.70/323.64 c #Conflicts: 167000 | #Constraints: 22387
322.70/323.64 c #Conflicts: 168000 | #Constraints: 23387
322.70/323.64 c #Conflicts: 169000 | #Constraints: 24387
322.70/323.64 c #Conflicts: 170000 | #Constraints: 25387
322.70/323.64 c #Conflicts: 171000 | #Constraints: 26387
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 172000 | #Constraints: 19202
322.70/323.64 c #Conflicts: 173000 | #Constraints: 20202
322.70/323.64 c #Conflicts: 174000 | #Constraints: 21202
322.70/323.64 c #Conflicts: 175000 | #Constraints: 22202
322.70/323.64 c #Conflicts: 176000 | #Constraints: 23202
322.70/323.64 c #Conflicts: 177000 | #Constraints: 24202
322.70/323.64 c #Conflicts: 178000 | #Constraints: 25202
322.70/323.64 c #Conflicts: 179000 | #Constraints: 26202
322.70/323.64 c #Conflicts: 180000 | #Constraints: 27202
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 181000 | #Constraints: 19780
322.70/323.64 c #Conflicts: 182000 | #Constraints: 20780
322.70/323.64 c #Conflicts: 183000 | #Constraints: 21780
322.70/323.64 c #Conflicts: 184000 | #Constraints: 22780
322.70/323.64 c #Conflicts: 185000 | #Constraints: 23780
322.70/323.64 c #Conflicts: 186000 | #Constraints: 24780
322.70/323.64 c #Conflicts: 187000 | #Constraints: 25780
322.70/323.64 c #Conflicts: 188000 | #Constraints: 26780
322.70/323.64 c #Conflicts: 189000 | #Constraints: 27780
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 190000 | #Constraints: 20221
322.70/323.64 c #Conflicts: 191000 | #Constraints: 21221
322.70/323.64 c #Conflicts: 192000 | #Constraints: 22221
322.70/323.64 c #Conflicts: 193000 | #Constraints: 23221
322.70/323.64 c #Conflicts: 194000 | #Constraints: 24221
322.70/323.64 c #Conflicts: 195000 | #Constraints: 25221
322.70/323.64 c #Conflicts: 196000 | #Constraints: 26221
322.70/323.64 c #Conflicts: 197000 | #Constraints: 27221
322.70/323.64 c #Conflicts: 198000 | #Constraints: 28221
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 199000 | #Constraints: 20428
322.70/323.64 c #Conflicts: 200000 | #Constraints: 21428
322.70/323.64 c #Conflicts: 201000 | #Constraints: 22428
322.70/323.64 c #Conflicts: 202000 | #Constraints: 23428
322.70/323.64 c #Conflicts: 203000 | #Constraints: 24428
322.70/323.64 c #Conflicts: 204000 | #Constraints: 25428
322.70/323.64 c #Conflicts: 205000 | #Constraints: 26428
322.70/323.64 c #Conflicts: 206000 | #Constraints: 27428
322.70/323.64 c #Conflicts: 207000 | #Constraints: 28428
322.70/323.64 c INPROCESSING
322.70/323.64 c GARBAGE COLLECT
322.70/323.64 c #Conflicts: 208000 | #Constraints: 20454
322.70/323.64 c #Conflicts: 209000 | #Constraints: 21455
322.70/323.64 c #Conflicts: 210000 | #Constraints: 22455
322.70/323.64 c #Conflicts: 211000 | #Constraints: 23455
322.70/323.64 c #Conflicts: 212000 | #Constraints: 24455
322.70/323.64 c #Conflicts: 213000 | #Constraints: 25455
352.83/353.84 c #Conflicts: 214000 | #Constraints: 26455
352.83/353.84 c #Conflicts: 215000 | #Constraints: 27455
352.83/353.84 c #Conflicts: 216000 | #Constraints: 28455
352.83/353.84 c INPROCESSING
352.83/353.84 c GARBAGE COLLECT
352.83/353.84 c rational objective 536
482.54/483.98 c #Conflicts: 217000 | #Constraints: 20248
482.54/483.98 c #Conflicts: 218000 | #Constraints: 21248
482.54/483.98 c #Conflicts: 219000 | #Constraints: 22248
482.54/483.98 c #Conflicts: 220000 | #Constraints: 23248
482.54/483.98 c #Conflicts: 221000 | #Constraints: 24248
482.54/483.98 c #Conflicts: 222000 | #Constraints: 25248
482.54/483.98 c #Conflicts: 223000 | #Constraints: 26248
482.54/483.98 c #Conflicts: 224000 | #Constraints: 27248
482.54/483.98 c #Conflicts: 225000 | #Constraints: 28248
482.54/483.98 c #Conflicts: 226000 | #Constraints: 29248
482.54/483.98 c INPROCESSING
482.54/483.98 c GARBAGE COLLECT
482.54/483.98 c #Conflicts: 227000 | #Constraints: 20800
482.54/483.98 c #Conflicts: 228000 | #Constraints: 21800
482.54/483.98 c #Conflicts: 229000 | #Constraints: 22800
482.54/483.98 c #Conflicts: 230000 | #Constraints: 23800
482.54/483.98 c #Conflicts: 231000 | #Constraints: 24800
482.54/483.98 c #Conflicts: 232000 | #Constraints: 25800
482.54/483.98 c #Conflicts: 233000 | #Constraints: 26800
482.54/483.98 c #Conflicts: 234000 | #Constraints: 27800
482.54/483.98 c #Conflicts: 235000 | #Constraints: 28800
482.54/483.98 c #Conflicts: 236000 | #Constraints: 29800
482.54/483.98 c INPROCESSING
482.54/483.98 c GARBAGE COLLECT
482.54/483.98 c #Conflicts: 237000 | #Constraints: 21171
482.54/483.98 c #Conflicts: 238000 | #Constraints: 22171
482.54/483.98 c #Conflicts: 239000 | #Constraints: 23171
482.54/483.98 c #Conflicts: 240000 | #Constraints: 24171
482.54/483.98 c #Conflicts: 241000 | #Constraints: 25171
482.54/483.98 c #Conflicts: 242000 | #Constraints: 26171
482.54/483.98 c #Conflicts: 243000 | #Constraints: 27171
482.54/483.98 c #Conflicts: 244000 | #Constraints: 28171
482.54/483.98 c #Conflicts: 245000 | #Constraints: 29171
482.54/483.98 c #Conflicts: 246000 | #Constraints: 30171
482.54/483.98 c INPROCESSING
482.54/483.98 c GARBAGE COLLECT
482.54/483.98 c #Conflicts: 247000 | #Constraints: 21261
482.54/483.98 c #Conflicts: 248000 | #Constraints: 22261
482.54/483.98 c #Conflicts: 249000 | #Constraints: 23261
482.54/483.98 c #Conflicts: 250000 | #Constraints: 24261
482.54/483.98 c #Conflicts: 251000 | #Constraints: 25261
482.54/483.98 c #Conflicts: 252000 | #Constraints: 26261
482.54/483.98 c #Conflicts: 253000 | #Constraints: 27261
482.54/483.98 c #Conflicts: 254000 | #Constraints: 28261
482.54/483.98 c #Conflicts: 255000 | #Constraints: 29261
482.54/483.98 c #Conflicts: 256000 | #Constraints: 30261
482.54/483.98 c INPROCESSING
482.54/483.98 c GARBAGE COLLECT
482.54/483.98 c #Conflicts: 257000 | #Constraints: 21270
482.54/483.98 c #Conflicts: 258000 | #Constraints: 22270
482.54/483.98 c #Conflicts: 259000 | #Constraints: 23270
482.54/483.98 c #Conflicts: 260000 | #Constraints: 24270
482.54/483.98 c #Conflicts: 261000 | #Constraints: 25270
482.54/483.98 c #Conflicts: 262000 | #Constraints: 26270
482.54/483.98 c #Conflicts: 263000 | #Constraints: 27270
482.54/483.98 c #Conflicts: 264000 | #Constraints: 28270
482.54/483.98 c #Conflicts: 265000 | #Constraints: 29270
482.54/483.98 c #Conflicts: 266000 | #Constraints: 30270
482.54/483.98 c INPROCESSING
482.54/483.98 c GARBAGE COLLECT
482.54/483.98 c #Conflicts: 267000 | #Constraints: 21048
482.54/483.98 c #Conflicts: 268000 | #Constraints: 22048
482.54/483.98 c #Conflicts: 269000 | #Constraints: 23048
482.54/483.98 c #Conflicts: 270000 | #Constraints: 24048
482.54/483.98 c #Conflicts: 271000 | #Constraints: 25048
482.54/483.98 c #Conflicts: 272000 | #Constraints: 26048
482.54/483.98 c #Conflicts: 273000 | #Constraints: 27048
482.54/483.98 c #Conflicts: 274000 | #Constraints: 28048
482.54/483.98 c #Conflicts: 275000 | #Constraints: 29048
482.54/483.98 c #Conflicts: 276000 | #Constraints: 30048
482.54/483.98 c #Conflicts: 277000 | #Constraints: 31048
482.54/483.98 c INPROCESSING
482.54/483.98 c GARBAGE COLLECT
482.54/483.98 c #Conflicts: 278000 | #Constraints: 21600
482.54/483.98 c #Conflicts: 279000 | #Constraints: 22600
482.54/483.98 c #Conflicts: 280000 | #Constraints: 23600
482.54/483.98 c #Conflicts: 281000 | #Constraints: 24600
482.54/483.98 c #Conflicts: 282000 | #Constraints: 25600
482.54/483.98 c #Conflicts: 283000 | #Constraints: 26600
482.54/483.98 c #Conflicts: 284000 | #Constraints: 27600
482.54/483.98 c #Conflicts: 285000 | #Constraints: 28600
482.54/483.98 c #Conflicts: 286000 | #Constraints: 29600
482.54/483.98 c #Conflicts: 287000 | #Constraints: 30600
482.54/483.98 c #Conflicts: 288000 | #Constraints: 31600
482.54/483.98 c INPROCESSING
482.54/483.98 c GARBAGE COLLECT
482.54/483.98 c #Conflicts: 289000 | #Constraints: 21998
482.54/483.98 c #Conflicts: 290000 | #Constraints: 22998
482.54/483.98 c #Conflicts: 291000 | #Constraints: 23998
623.32/625.18 c #Conflicts: 292000 | #Constraints: 24998
623.32/625.18 c #Conflicts: 293000 | #Constraints: 25998
623.32/625.18 c #Conflicts: 294000 | #Constraints: 26998
623.32/625.18 c #Conflicts: 295000 | #Constraints: 27998
623.32/625.18 c #Conflicts: 296000 | #Constraints: 28998
623.32/625.18 c #Conflicts: 297000 | #Constraints: 29998
623.32/625.18 c #Conflicts: 298000 | #Constraints: 30998
623.32/625.18 c #Conflicts: 299000 | #Constraints: 31998
623.32/625.18 c INPROCESSING
623.32/625.18 c GARBAGE COLLECT
623.32/625.18 c #Conflicts: 300000 | #Constraints: 22022
623.32/625.18 c #Conflicts: 301000 | #Constraints: 23022
623.32/625.18 c #Conflicts: 302000 | #Constraints: 24022
623.32/625.18 c #Conflicts: 303000 | #Constraints: 25022
623.32/625.18 c #Conflicts: 304000 | #Constraints: 26022
623.32/625.18 c #Conflicts: 305000 | #Constraints: 27022
623.32/625.18 c #Conflicts: 306000 | #Constraints: 28022
623.32/625.18 c #Conflicts: 307000 | #Constraints: 29022
623.32/625.18 c #Conflicts: 308000 | #Constraints: 30022
623.32/625.18 c #Conflicts: 309000 | #Constraints: 31022
623.32/625.18 c #Conflicts: 310000 | #Constraints: 32022
623.32/625.18 c INPROCESSING
623.32/625.18 c GARBAGE COLLECT
623.32/625.18 c #Conflicts: 311000 | #Constraints: 22030
623.32/625.18 c #Conflicts: 312000 | #Constraints: 23030
623.32/625.18 c #Conflicts: 313000 | #Constraints: 24030
623.32/625.18 c #Conflicts: 314000 | #Constraints: 25030
623.32/625.18 c #Conflicts: 315000 | #Constraints: 26030
623.32/625.18 c #Conflicts: 316000 | #Constraints: 27030
623.32/625.18 c #Conflicts: 317000 | #Constraints: 28030
623.32/625.18 c #Conflicts: 318000 | #Constraints: 29030
623.32/625.18 c #Conflicts: 319000 | #Constraints: 30030
623.32/625.18 c #Conflicts: 320000 | #Constraints: 31030
623.32/625.18 c #Conflicts: 321000 | #Constraints: 32030
623.32/625.18 c INPROCESSING
623.32/625.18 c GARBAGE COLLECT
623.32/625.18 c #Conflicts: 322000 | #Constraints: 21824
623.32/625.18 c #Conflicts: 323000 | #Constraints: 22824
623.32/625.18 c #Conflicts: 324000 | #Constraints: 23824
623.32/625.18 c #Conflicts: 325000 | #Constraints: 24824
623.32/625.18 c #Conflicts: 326000 | #Constraints: 25824
623.32/625.18 c #Conflicts: 327000 | #Constraints: 26824
623.32/625.18 c #Conflicts: 328000 | #Constraints: 27824
623.32/625.18 c #Conflicts: 329000 | #Constraints: 28824
623.32/625.18 c #Conflicts: 330000 | #Constraints: 29824
623.32/625.18 c #Conflicts: 331000 | #Constraints: 30824
623.32/625.18 c #Conflicts: 332000 | #Constraints: 31824
623.32/625.18 c #Conflicts: 333000 | #Constraints: 32824
623.32/625.18 c INPROCESSING
623.32/625.18 c GARBAGE COLLECT
623.32/625.18 c #Conflicts: 334000 | #Constraints: 22439
623.32/625.18 c #Conflicts: 335000 | #Constraints: 23439
623.32/625.18 c #Conflicts: 336000 | #Constraints: 24439
623.32/625.18 c #Conflicts: 337000 | #Constraints: 25439
623.32/625.18 c #Conflicts: 338000 | #Constraints: 26439
623.32/625.18 c #Conflicts: 339000 | #Constraints: 27439
623.32/625.18 c #Conflicts: 340000 | #Constraints: 28439
623.32/625.18 c #Conflicts: 341000 | #Constraints: 29439
623.32/625.18 c #Conflicts: 342000 | #Constraints: 30439
623.32/625.18 c #Conflicts: 343000 | #Constraints: 31439
623.32/625.18 c #Conflicts: 344000 | #Constraints: 32439
623.32/625.18 c #Conflicts: 345000 | #Constraints: 33439
623.32/625.18 c INPROCESSING
623.32/625.18 c GARBAGE COLLECT
623.32/625.18 c #Conflicts: 346000 | #Constraints: 22836
623.32/625.18 c #Conflicts: 347000 | #Constraints: 23836
623.32/625.18 c #Conflicts: 348000 | #Constraints: 24836
623.32/625.18 c #Conflicts: 349000 | #Constraints: 25836
623.32/625.18 c #Conflicts: 350000 | #Constraints: 26836
623.32/625.18 c #Conflicts: 351000 | #Constraints: 27836
623.32/625.18 c #Conflicts: 352000 | #Constraints: 28836
623.32/625.18 c #Conflicts: 353000 | #Constraints: 29836
623.32/625.18 c #Conflicts: 354000 | #Constraints: 30836
623.32/625.18 c #Conflicts: 355000 | #Constraints: 31836
623.32/625.18 c #Conflicts: 356000 | #Constraints: 32836
623.32/625.18 c #Conflicts: 357000 | #Constraints: 33836
623.32/625.18 c INPROCESSING
623.32/625.18 c GARBAGE COLLECT
623.32/625.18 c #Conflicts: 358000 | #Constraints: 23049
623.32/625.18 c #Conflicts: 359000 | #Constraints: 24049
623.32/625.18 c #Conflicts: 360000 | #Constraints: 25049
623.32/625.18 c #Conflicts: 361000 | #Constraints: 26049
623.32/625.18 c #Conflicts: 362000 | #Constraints: 27049
623.32/625.18 c #Conflicts: 363000 | #Constraints: 28049
623.32/625.18 c #Conflicts: 364000 | #Constraints: 29049
623.32/625.18 c #Conflicts: 365000 | #Constraints: 30049
623.32/625.18 c #Conflicts: 366000 | #Constraints: 31049
754.71/757.00 c #Conflicts: 367000 | #Constraints: 32049
754.71/757.00 c #Conflicts: 368000 | #Constraints: 33049
754.71/757.00 c #Conflicts: 369000 | #Constraints: 34049
754.71/757.00 c INPROCESSING
754.71/757.00 c GARBAGE COLLECT
754.71/757.00 c #Conflicts: 370000 | #Constraints: 22993
754.71/757.00 c #Conflicts: 371000 | #Constraints: 23993
754.71/757.00 c #Conflicts: 372000 | #Constraints: 24993
754.71/757.00 c #Conflicts: 373000 | #Constraints: 25993
754.71/757.00 c #Conflicts: 374000 | #Constraints: 26993
754.71/757.00 c #Conflicts: 375000 | #Constraints: 27993
754.71/757.00 c #Conflicts: 376000 | #Constraints: 28993
754.71/757.00 c #Conflicts: 377000 | #Constraints: 29993
754.71/757.00 c #Conflicts: 378000 | #Constraints: 30993
754.71/757.00 c #Conflicts: 379000 | #Constraints: 31993
754.71/757.00 c #Conflicts: 380000 | #Constraints: 32993
754.71/757.00 c #Conflicts: 381000 | #Constraints: 33993
754.71/757.00 c INPROCESSING
754.71/757.00 c GARBAGE COLLECT
754.71/757.00 c #Conflicts: 382000 | #Constraints: 22802
754.71/757.00 c #Conflicts: 383000 | #Constraints: 23802
754.71/757.00 c #Conflicts: 384000 | #Constraints: 24802
754.71/757.00 c #Conflicts: 385000 | #Constraints: 25802
754.71/757.00 c #Conflicts: 386000 | #Constraints: 26802
754.71/757.00 c #Conflicts: 387000 | #Constraints: 27802
754.71/757.00 c #Conflicts: 388000 | #Constraints: 28802
754.71/757.00 c #Conflicts: 389000 | #Constraints: 29802
754.71/757.00 c #Conflicts: 390000 | #Constraints: 30802
754.71/757.00 c #Conflicts: 391000 | #Constraints: 31802
754.71/757.00 c #Conflicts: 392000 | #Constraints: 32802
754.71/757.00 c #Conflicts: 393000 | #Constraints: 33802
754.71/757.00 c #Conflicts: 394000 | #Constraints: 34802
754.71/757.00 c INPROCESSING
754.71/757.00 c GARBAGE COLLECT
754.71/757.00 c #Conflicts: 395000 | #Constraints: 23401
754.71/757.00 c #Conflicts: 396000 | #Constraints: 24401
754.71/757.00 c #Conflicts: 397000 | #Constraints: 25401
754.71/757.00 c #Conflicts: 398000 | #Constraints: 26401
754.71/757.00 c #Conflicts: 399000 | #Constraints: 27401
754.71/757.00 c #Conflicts: 400000 | #Constraints: 28401
754.71/757.00 c #Conflicts: 401000 | #Constraints: 29401
754.71/757.00 c #Conflicts: 402000 | #Constraints: 30401
754.71/757.00 c #Conflicts: 403000 | #Constraints: 31401
754.71/757.00 c #Conflicts: 404000 | #Constraints: 32401
754.71/757.00 c #Conflicts: 405000 | #Constraints: 33401
754.71/757.00 c #Conflicts: 406000 | #Constraints: 34401
754.71/757.00 c #Conflicts: 407000 | #Constraints: 35401
754.71/757.00 c INPROCESSING
754.71/757.00 c GARBAGE COLLECT
754.71/757.00 c #Conflicts: 408000 | #Constraints: 23792
754.71/757.00 c #Conflicts: 409000 | #Constraints: 24792
754.71/757.00 c #Conflicts: 410000 | #Constraints: 25792
754.71/757.00 c #Conflicts: 411000 | #Constraints: 26792
754.71/757.00 c #Conflicts: 412000 | #Constraints: 27792
754.71/757.00 c #Conflicts: 413000 | #Constraints: 28792
754.71/757.00 c #Conflicts: 414000 | #Constraints: 29792
754.71/757.00 c #Conflicts: 415000 | #Constraints: 30792
754.71/757.00 c #Conflicts: 416000 | #Constraints: 31792
754.71/757.00 c #Conflicts: 417000 | #Constraints: 32792
754.71/757.00 c #Conflicts: 418000 | #Constraints: 33792
754.71/757.00 c #Conflicts: 419000 | #Constraints: 34792
754.71/757.00 c #Conflicts: 420000 | #Constraints: 35792
754.71/757.00 c INPROCESSING
754.71/757.00 c GARBAGE COLLECT
754.71/757.00 c #Conflicts: 421000 | #Constraints: 23997
754.71/757.00 c #Conflicts: 422000 | #Constraints: 24997
754.71/757.00 c #Conflicts: 423000 | #Constraints: 25997
754.71/757.00 c #Conflicts: 424000 | #Constraints: 26997
754.71/757.00 c #Conflicts: 425000 | #Constraints: 27997
754.71/757.00 c #Conflicts: 426000 | #Constraints: 28997
754.71/757.00 c #Conflicts: 427000 | #Constraints: 29997
754.71/757.00 c #Conflicts: 428000 | #Constraints: 30997
754.71/757.00 c #Conflicts: 429000 | #Constraints: 31997
754.71/757.00 c #Conflicts: 430000 | #Constraints: 32997
754.71/757.00 c #Conflicts: 431000 | #Constraints: 33997
754.71/757.00 c #Conflicts: 432000 | #Constraints: 34997
754.71/757.00 c cpu time 749.815 s
754.71/757.00 c deterministic time 71402365667 7.14e+10
754.71/757.00 c optimization time 8.1e-05 s
754.71/757.00 c total solve time 749.753 s
754.71/757.00 c core-guided solve time 0 s
754.71/757.00 c propagation time 370.533 s
754.71/757.00 c conflict analysis time 243.447 s
754.71/757.00 c propagations 124256459
754.71/757.00 c resolve steps 5105348
754.71/757.00 c decisions 3231030
754.71/757.00 c conflicts 432794
754.71/757.00 c restarts 1020
754.71/757.00 c inprocessing phases 56
754.71/757.00 c garbage collections 56 ,( 100.00 )
754.71/757.00 c input clauses 11116 ,( 96.01 )
754.71/757.00 c input cardinalities 462 ,( 3.99 )
754.71/757.00 c input general constraints 0 ,( 0.00 )
754.71/757.00 c input average constraint length 9.84
754.71/757.00 c input average constraint degree 5.20
754.71/757.00 c learned clauses 73197 ,( 16.91 )
754.71/757.00 c learned cardinalities 19795 ,( 4.57 )
754.71/757.00 c learned general constraints 339806 ,( 78.51 )
754.71/757.00 c learned average constraint length 1156.38
754.71/757.00 c learned average constraint degree 4286300.66
754.71/757.00 c watched CF 32, 64, 128, Arb: 186917 , 0 , 0 , 0
754.71/757.00 c counting CF 32, 64, 128, Arb: 152889 , 0 , 0 , 0
754.71/757.00 c watched constraints 186917 ,( 55.01 )
754.71/757.00 c counting constraints 152889 ,( 44.99 )
754.71/757.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 67009733 , 306819460 , 233777486 ,( 81971432 , 151806054 )
754.71/757.00 c gcd simplifications 54
754.71/757.00 c detected cardinalities 0
754.71/757.00 c weakened non-implied lits 395583125
754.71/757.00 c weakened non-implying lits 175188
754.71/757.00 c original variables 11737
754.71/757.00 c clausal propagations 37888383
754.71/757.00 c cardinality propagations 66525088
754.71/757.00 c watched propagations 2457422
754.71/757.00 c counting propagations 15704742
754.71/757.00 c watch lookups 10100290713
754.71/757.00 c watch backjump lookups 0
754.71/757.00 c watch checks 20121464205
754.71/757.00 c propagation checks 39172633545
754.71/757.00 c constraint additions 1752469109
754.71/757.00 c trail pops 127920072
754.71/757.00 c formula constraints 11578
754.71/757.00 c learned constraints 432791
754.71/757.00 c bound constraints 0
754.71/757.00 c core-guided constraints 0
754.71/757.00 c encountered formula constraints 1915469
754.71/757.00 c encountered learned constraints 3622660
754.71/757.00 c encountered bound constraints 0
754.71/757.00 c encountered core-guided constraints 0
754.71/757.00 c LP total time 54.3154 s
754.71/757.00 c LP solve time 52.69 s
754.71/757.00 c LP constraints added 11579
754.71/757.00 c LP constraints removed 0
754.71/757.00 c LP pivots internal 50131
754.71/757.00 c LP pivots root 50402
754.71/757.00 c LP calls 10
754.71/757.00 c LP optimalities 2
754.71/757.00 c LP no pivot count 0
754.71/757.00 c LP infeasibilities 3
754.71/757.00 c LP valid Farkas constraints 3
754.71/757.00 c LP learned Farkas constraints 3
754.71/757.00 c LP basis resets 0
754.71/757.00 c LP cycling count 0
754.71/757.00 c LP singular count 0
754.71/757.00 c LP no primal count 0
754.71/757.00 c LP no farkas count 0
754.71/757.00 c LP other issue count 0
754.71/757.00 c LP Gomory cuts 1
754.71/757.00 c LP learned cuts 0
754.71/757.00 c LP deleted cuts 0
754.71/757.00 c LP encountered Gomory constraints 0
754.71/757.00 c LP encountered Farkas constraints 9
754.71/757.00 c LP encountered learned Farkas constraints 1
754.71/757.00 c CG auxiliary variables introduced 0
754.71/757.00 c CG solutions found 0
754.71/757.00 c CG cores constructed 0
754.71/757.00 c CG core cardinality constraints returned 0
754.71/757.00 c CG unit cores 0
754.71/757.00 c CG single cores 0
754.71/757.00 c CG blocks removed during cardinality reduction 0
754.71/757.00 c CG first core best 0
754.71/757.00 c CG decision core best 0
754.71/757.00 c CG core reduction tie 0
754.71/757.00 c CG core degree average 0.00
754.71/757.00 c CG core slack average 0.00
754.71/757.00 c CG core upper bound improvements 0
754.71/757.00 c STR number of successful calls 0
754.71/757.00 c STR number of unsuccessful calls 0
754.71/757.00 c STR number of inconclusive calls 0
754.71/757.00 c STR number of successful attempts 0
754.71/757.00 c STR number of unsuccessful attempts 0
754.71/757.00 c STR number of inconclusive attempts 0
754.71/757.00 c STR average degree increase per successful call inf
754.71/757.00 c STR average degree increase per successful attempt inf
754.71/757.00 c STR total number of conflicts for successful attempts 0
754.71/757.00 c STR total number of conflicts for unsuccessful attempts 0
754.71/757.00 c STR total number of conflicts for inconclusive attempts 0
754.71/757.00 c STR average number of conflicts per successful attempt inf
754.71/757.00 c STR average number of conflicts per unsuccessful attempt inf
754.71/757.00 c STR average number of conflicts per inconclusive attempt inf
754.71/757.00 c AVG.sumWPerc 39.11
754.71/757.00 c bigint constraints 0
754.71/757.00 s SATISFIABLE
754.71/757.00 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 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281
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 (63229 MiB free)
memory of node 1: 64507 MiB (63926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493340-1751155906/watcher-4493340-1751155906 -o /tmp/evaluation-result-4493340-1751155906/solver-4493340-1751155906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17845 --watchdog 3760 run-dec-break.sh HOME/instance-4493340-1751155906.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=17892, runsolver pid=17886
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.86 2.87 3.58 5/271 17909
/proc/meminfo: memFree=130152140/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17898] ppid=17892 vsize=36824 memory=25748 CPUtime=0.07 cores=0,2
/proc/17898/stat : 17898 (pbsuma) R 17892 17892 17835 0 -1 4194304 6663 0 0 0 7 0 0 0 20 0 1 0 31268531 37707776 6437 18446744073709551615 4210688 4653049 140726209391904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13697024 140726209395043 140726209395250 140726209395250 140726209400815 0
/proc/17898/statm: 9206 6437 992 108 0 6614 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 41016 KiB
Current children cumulated memory: 28692 KiB
[startup+0.205782 s]*
/proc/loadavg: 1.86 2.87 3.58 4/271 17910
/proc/meminfo: memFree=130146096/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17898] ppid=17892 vsize=38752 memory=27668 CPUtime=0.18 cores=0,2
/proc/17898/stat : 17898 (pbsuma) R 17892 17892 17835 0 -1 4194304 7160 0 0 0 17 1 0 0 20 0 1 0 31268531 39682048 6917 18446744073709551615 4210688 4653049 140726209391904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13697024 140726209395043 140726209395250 140726209395250 140726209400815 0
/proc/17898/statm: 9688 6917 992 108 0 7096 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 42944 KiB
Current children cumulated memory: 30612 KiB
[startup+0.305327 s]*
/proc/loadavg: 1.86 2.87 3.58 5/271 17911
/proc/meminfo: memFree=130132240/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17898] ppid=17892 vsize=38752 memory=28180 CPUtime=0.28 cores=0,2
/proc/17898/stat : 17898 (pbsuma) R 17892 17892 17835 0 -1 4194304 7281 0 0 0 27 1 0 0 20 0 1 0 31268531 39682048 7045 18446744073709551615 4210688 4653049 140726209391904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13697024 140726209395043 140726209395250 140726209395250 140726209400815 0
/proc/17898/statm: 9688 7045 992 108 0 7096 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42944 KiB
Current children cumulated memory: 31124 KiB
[startup+0.700171 s]
/proc/loadavg: 1.86 2.87 3.58 5/271 17911
/proc/meminfo: memFree=130104504/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17898] ppid=17892 vsize=46188 memory=37012 CPUtime=0.67 cores=0,2
/proc/17898/stat : 17898 (pbsuma) R 17892 17892 17835 0 -1 4194304 9480 0 0 0 66 1 0 0 20 0 1 0 31268531 47296512 9253 18446744073709551615 4210688 4653049 140726209391904 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 13697024 140726209395043 140726209395250 140726209395250 140726209400815 0
/proc/17898/statm: 11547 9253 992 108 0 8955 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 50380 KiB
Current children cumulated memory: 39956 KiB
[startup+1.50018 s]
/proc/loadavg: 1.86 2.87 3.58 4/266 17920
/proc/meminfo: memFree=130060176/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=89224 memory=43524 CPUtime=0.73 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 8412 0 0 0 71 2 0 0 20 0 1 0 31268605 91365376 10881 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 22306 10881 2272 1147 0 9733 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 93416 KiB
Current children cumulated memory: 46468 KiB
[startup+3.10552 s]
/proc/loadavg: 2.03 2.89 3.58 5/271 18007
/proc/meminfo: memFree=130026992/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=93748 memory=51188 CPUtime=2.33 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 9732 0 0 0 228 5 0 0 20 0 1 0 31268605 95997952 12797 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 23437 12797 2336 1147 0 10864 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 97940 KiB
Current children cumulated memory: 54132 KiB
[startup+6.30018 s]
/proc/loadavg: 2.03 2.89 3.58 5/271 18008
/proc/meminfo: memFree=130003704/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=122736 memory=73208 CPUtime=5.51 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 14698 0 0 0 540 11 0 0 20 0 1 0 31268605 125681664 18302 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 30684 18302 2368 1147 0 18111 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 126928 KiB
Current children cumulated memory: 76152 KiB
[startup+12.7002 s]
/proc/loadavg: 2.19 2.91 3.58 5/271 18008
/proc/meminfo: memFree=129963420/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=133080 memory=88024 CPUtime=11.9 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 17394 0 0 0 1171 19 0 0 20 0 1 0 31268605 136273920 22006 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 33270 22006 2368 1147 0 20697 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 137272 KiB
Current children cumulated memory: 90968 KiB
[startup+25.5002 s]
/proc/loadavg: 2.59 2.96 3.59 5/270 18008
/proc/meminfo: memFree=129879152/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=157616 memory=113008 CPUtime=24.67 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 21120 0 0 0 2438 29 0 0 20 0 1 0 31268605 161398784 28252 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 39404 28252 2368 1147 0 26831 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 161808 KiB
Current children cumulated memory: 115952 KiB
[startup+51.1055 s]
/proc/loadavg: 3.13 3.06 3.61 5/270 18196
/proc/meminfo: memFree=129878316/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=197396 memory=144312 CPUtime=50.21 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 26891 0 0 0 4969 52 0 0 20 0 1 0 31268605 202133504 36078 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 49349 36078 2368 1147 0 36776 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 201588 KiB
Current children cumulated memory: 147256 KiB
[startup+102.3 s]
/proc/loadavg: 3.67 3.22 3.64 5/273 18435
/proc/meminfo: memFree=129772184/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=215336 memory=164016 CPUtime=101.27 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 31324 0 0 0 10036 91 0 0 20 0 1 0 31268605 220504064 41004 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 53834 41004 2368 1147 0 41261 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 219528 KiB
Current children cumulated memory: 166960 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.40 3.67 5/274 18535
/proc/meminfo: memFree=129281248/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=283036 memory=228024 CPUtime=161.1 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 41079 0 0 0 15982 128 0 0 20 0 1 0 31268605 289828864 57006 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 70759 57006 2368 1147 0 58186 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 287228 KiB
Current children cumulated memory: 230968 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.52 3.70 5/272 18740
/proc/meminfo: memFree=128885132/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=351684 memory=264160 CPUtime=220.95 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 45972 0 0 0 21931 164 0 0 20 0 1 0 31268605 360124416 66040 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 87921 66040 2368 1147 0 75348 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 71248 0 0 0 51690 322 0 0 20 0 1 0 31268605 467341312 102006 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 114097 102006 2368 1147 0 101524 0
Current children cumulated CPU time: 520.83 s
Current children cumulated vsize: 460580 KiB
Current children cumulated memory: 410968 KiB
[startup+582.3 s]
/proc/loadavg: 4.09 3.97 3.86 5/270 19351
/proc/meminfo: memFree=128925980/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=579196 memory=455884 CPUtime=579.94 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 81161 0 0 0 57646 348 0 0 20 0 1 0 31268605 593096704 113971 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 144799 113971 2368 1147 0 132226 0
Current children cumulated CPU time: 580.65 s
Current children cumulated vsize: 583388 KiB
Current children cumulated memory: 458828 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 4.01 3.88 5/271 19354
/proc/meminfo: memFree=128881848/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=584412 memory=461132 CPUtime=639.76 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 82476 0 0 0 63599 377 0 0 20 0 1 0 31268605 598437888 115283 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 146103 115283 2368 1147 0 133530 0
Current children cumulated CPU time: 640.47 s
Current children cumulated vsize: 588604 KiB
Current children cumulated memory: 464076 KiB
[startup+702.3 s]
/proc/loadavg: 4.05 4.00 3.89 5/272 19357
/proc/meminfo: memFree=128814060/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=592120 memory=468812 CPUtime=699.57 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 84403 0 0 0 69549 408 0 0 20 0 1 0 31268605 606330880 117203 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148030 117203 2368 1147 0 135457 0
Current children cumulated CPU time: 700.28 s
Current children cumulated vsize: 596312 KiB
Current children cumulated memory: 471756 KiB
[startup+757.015 s]
# the end of solver process 17892 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=750.532 s, system=4.32817 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.11 4.02 3.90 5/272 19357
/proc/meminfo: memFree=128815068/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=592632 memory=468812 CPUtime=714.03 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 84422 0 0 0 70986 417 0 0 20 0 1 0 31268605 606855168 117203 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148158 117203 2368 1147 0 135585 0
Current children cumulated CPU time: 714.74 s
Current children cumulated vsize: 596824 KiB
Current children cumulated memory: 471756 KiB
[startup+742.4 s]
/proc/loadavg: 4.07 4.02 3.90 5/272 19363
/proc/meminfo: memFree=128821944/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=593536 memory=470220 CPUtime=739.55 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 84761 0 0 0 73529 426 0 0 20 0 1 0 31268605 607780864 117555 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148384 117555 2368 1147 0 135811 0
Current children cumulated CPU time: 740.26 s
Current children cumulated vsize: 597728 KiB
Current children cumulated memory: 473164 KiB
[startup+748.8 s]
/proc/loadavg: 4.06 4.02 3.91 5/272 19363
/proc/meminfo: memFree=128822204/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=593536 memory=470348 CPUtime=745.93 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 84785 0 0 0 74166 427 0 0 20 0 1 0 31268605 607780864 117587 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148384 117587 2368 1147 0 135811 0
Current children cumulated CPU time: 746.64 s
Current children cumulated vsize: 597728 KiB
Current children cumulated memory: 473292 KiB
[startup+752 s]*
/proc/loadavg: 4.06 4.02 3.91 5/272 19363
/proc/meminfo: memFree=128814148/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=593804 memory=470732 CPUtime=749.12 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 84883 0 0 0 74485 427 0 0 20 0 1 0 31268605 608055296 117683 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148451 117683 2368 1147 0 135878 0
Current children cumulated CPU time: 749.83 s
Current children cumulated vsize: 597996 KiB
Current children cumulated memory: 473676 KiB
[startup+755.2 s]
/proc/loadavg: 4.14 4.03 3.91 5/272 19363
/proc/meminfo: memFree=128802112/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=594736 memory=485888 CPUtime=752.32 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 85097 0 0 0 74803 429 0 0 20 0 1 0 31268605 609009664 121472 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148684 121472 2368 1147 0 136111 0
Current children cumulated CPU time: 753.03 s
Current children cumulated vsize: 598928 KiB
Current children cumulated memory: 488832 KiB
[startup+756 s]*
/proc/loadavg: 4.14 4.03 3.91 5/272 19363
/proc/meminfo: memFree=128798016/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=594868 memory=490160 CPUtime=753.11 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 85159 0 0 0 74882 429 0 0 20 0 1 0 31268605 609144832 122540 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148717 122540 2368 1147 0 136144 0
Current children cumulated CPU time: 753.82 s
Current children cumulated vsize: 599060 KiB
Current children cumulated memory: 493104 KiB
[startup+756.8 s]
/proc/loadavg: 4.14 4.03 3.91 5/272 19363
/proc/meminfo: memFree=128798016/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=595132 memory=494500 CPUtime=753.9 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 85208 0 0 0 74961 429 0 0 20 0 1 0 31268605 609415168 123625 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 148783 123625 2368 1147 0 136210 0
Current children cumulated CPU time: 754.61 s
Current children cumulated vsize: 599324 KiB
Current children cumulated memory: 497444 KiB
[startup+757 s]*
/proc/loadavg: 4.14 4.03 3.91 5/272 19363
/proc/meminfo: memFree=128793920/131249996 swapFree=33010684/33010684
[pid=17892] ppid=17886 vsize=4192 memory=2944 CPUtime=0.71 cores=0,2
/proc/17892/stat : 17892 (run-dec-break.s) S 17886 17892 17835 0 -1 4194304 237 9695 0 0 0 0 70 1 20 0 1 0 31268530 4292608 736 18446744073709551615 94454631849984 94454632744517 140731195455920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94454632983568 94454633031312 94454643404800 140731195464033 140731195464162 140731195464162 140731195469764 0
/proc/17892/statm: 1048 736 672 219 0 110 0
[pid=17920] ppid=17892 vsize=584232 memory=459048 CPUtime=754.11 cores=0,2
/proc/17920/stat : 17920 (roundingsat) R 17892 17892 17835 0 -1 4194304 85211 0 0 0 74982 429 0 0 20 0 1 0 31268605 598253568 114762 18446744073709551615 4227072 8923433 140734832978896 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11083776 140734832982340 140734832982568 140734832982568 140734832988138 0
/proc/17920/statm: 146058 114762 2368 1147 0 133485 0
Current children cumulated CPU time: 754.82 s
Current children cumulated vsize: 588424 KiB
Current children cumulated memory: 461992 KiB
Child status: 0
Real time (s): 757.015
CPU time (s): 754.86
CPU user time (s): 750.532
CPU system time (s): 4.32817
CPU usage (%): 99.7152
Max. virtual memory (cumulated for all children) (KiB): 599324
Max. memory (cumulated for all children) (KiB): 497444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 750.532
system time used= 4.32817
maximum resident set size= 494500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 299
involuntary context switches= 1761
# summary of solver processes directly reported to runsolver:
# pid: 17892
# total CPU time (s): 754.86
# total CPU user time (s): 750.532
# total CPU system time (s): 4.32817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49877 second user time and 3.44229 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:11:46
IDJOB=4493340
IDBENCH=147860
IDSOLVER=3357
FILE ID=nodeC024/4493340-1751155906
RUNJOBID= nodeC024-1751155906-17845
SLURM_JOB_ID= 9587473
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493340-1751155906/watcher-4493340-1751155906 -o /tmp/evaluation-result-4493340-1751155906/solver-4493340-1751155906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17845 --watchdog 3760 run-dec-break.sh HOME/instance-4493340-1751155906.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=2089878730
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.669
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.798
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.842
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3561.616
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.856
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.671
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130206680 kB
MemAvailable: 129826344 kB
Buffers: 3280 kB
Cached: 403796 kB
SwapCached: 0 kB
Active: 273688 kB
Inactive: 196008 kB
Active(anon): 80752 kB
Inactive(anon): 0 kB
Active(file): 192936 kB
Inactive(file): 196008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31200 kB
Writeback: 0 kB
AnonPages: 65784 kB
Mapped: 102908 kB
Shmem: 18064 kB
KReclaimable: 85344 kB
Slab: 168104 kB
SReclaimable: 85344 kB
SUnreclaim: 82760 kB
KernelStack: 4112 kB
PageTables: 2908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC024 at 2025-06-29 02:24:24