0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4497427-1751379651.opb'
0.00/0.02 c read 0.62MB (9.34ms)
0.00/0.02 c [cnf: #variables 6027 #clauses 21269 #duplicates 10 #arr 54701]
0.00/0.02 c output proof to 'PROOFDIR/proof-4497427-1751379651'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2] (10.24ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c found row 5x2, generating row predicate
0.00/0.03 c (1.59ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 45387 #edges 145584]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1.00*10^0 #generators 0] (3.39ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 4 #add_vars 0]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4497427-1751379651.opb.pre'
0.00/0.04 c wrote 0.63MB (1.50ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 10.24ms 37.18% approx_orbits
0.00/0.04 c 9.34ms 33.92% parse
0.00/0.04 c 3.39ms 12.31% detect_generic
0.00/0.04 c 1.59ms 5.78% detect_special
0.00/0.04 c 1.50ms 5.44% output
0.00/0.04 c 1.29ms 4.69% other
0.00/0.04 c 0.19ms 0.68% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 27.54ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.06/0.17 c #variables 6027 #constraints 21268
0.06/0.17 c objective is ce32
0.06/0.17 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.17 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.17 c bounds - >= 0 @ 0.089272
0.25/0.33 c bounds 26 >= 0 @ 0.231704
0.25/0.34 c bounds 26 >= 6 @ 0.236639
0.25/0.34 c bounds 26 >= 7 @ 0.237473
0.25/0.34 c bounds 26 >= 8 @ 0.238381
0.25/0.34 c bounds 25 >= 8 @ 0.243712
0.25/0.35 c bounds 25 >= 9 @ 0.246067
0.25/0.35 c bounds 25 >= 10 @ 0.247063
0.25/0.35 c bounds 25 >= 11 @ 0.24805
0.25/0.35 c bounds 25 >= 12 @ 0.252917
0.25/0.36 c bounds 24 >= 12 @ 0.255
1.95/2.02 c #Conflicts: 1000 | #Constraints: 22304
1.95/2.02 c bounds 23 >= 12 @ 1.88646
1.95/2.04 c bounds 23 >= 13 @ 1.90267
2.14/2.29 c #Conflicts: 2000 | #Constraints: 23311
2.14/2.29 c INPROCESSING
2.14/2.29 c GARBAGE COLLECT
2.14/2.29 c rational objective 13
5.03/5.18 c #Conflicts: 3000 | #Constraints: 23302
5.03/5.18 c bounds 23 >= 14 @ 4.97344
5.03/5.19 c bounds 22 >= 14 @ 4.98305
5.22/5.31 c bounds 21 >= 14 @ 5.10342
7.81/7.96 c #Conflicts: 4000 | #Constraints: 24322
7.81/7.96 c INPROCESSING
7.81/7.96 c GARBAGE COLLECT
7.81/7.96 c #Conflicts: 5000 | #Constraints: 23717
7.81/7.96 c #Conflicts: 6000 | #Constraints: 24717
7.81/7.96 c INPROCESSING
7.81/7.96 c GARBAGE COLLECT
7.81/7.96 c rational objective 14
9.90/10.00 c #Conflicts: 7000 | #Constraints: 23719
9.90/10.00 c bounds 21 >= 15 @ 9.65615
11.89/12.09 c #Conflicts: 8000 | #Constraints: 24740
11.89/12.09 c #Conflicts: 9000 | #Constraints: 25740
11.89/12.09 c INPROCESSING
11.89/12.09 c GARBAGE COLLECT
11.89/12.09 c rational objective 15
16.97/17.16 c #Conflicts: 10000 | #Constraints: 24489
16.97/17.16 c #Conflicts: 11000 | #Constraints: 25491
16.97/17.16 c #Conflicts: 12000 | #Constraints: 26491
16.97/17.16 c INPROCESSING
16.97/17.16 c GARBAGE COLLECT
16.97/17.16 c rational objective 15
18.86/19.04 c bounds 21 >= 16 @ 18.5087
24.83/25.08 c #Conflicts: 13000 | #Constraints: 24943
24.83/25.08 c #Conflicts: 14000 | #Constraints: 25943
24.83/25.08 c #Conflicts: 15000 | #Constraints: 26943
24.83/25.08 c INPROCESSING
24.83/25.08 c GARBAGE COLLECT
24.83/25.08 c #Conflicts: 16000 | #Constraints: 25245
24.83/25.08 c #Conflicts: 17000 | #Constraints: 26245
24.83/25.08 c #Conflicts: 18000 | #Constraints: 27245
24.83/25.08 c INPROCESSING
24.83/25.08 c GARBAGE COLLECT
24.83/25.08 c rational objective 16
27.82/28.01 c #Conflicts: 19000 | #Constraints: 25286
27.82/28.01 c #Conflicts: 20000 | #Constraints: 26286
27.82/28.01 c #Conflicts: 21000 | #Constraints: 27286
27.82/28.01 c INPROCESSING
27.82/28.01 c GARBAGE COLLECT
27.82/28.01 c rational objective 16
33.89/34.15 c #Conflicts: 22000 | #Constraints: 25038
33.89/34.15 c #Conflicts: 23000 | #Constraints: 26038
33.89/34.15 c #Conflicts: 24000 | #Constraints: 27038
33.89/34.15 c #Conflicts: 25000 | #Constraints: 28038
33.89/34.15 c INPROCESSING
33.89/34.15 c GARBAGE COLLECT
33.89/34.15 c rational objective 16
34.67/35.19 c bounds 21 >= 17 @ 34.1016
37.72/38.29 c #Conflicts: 26000 | #Constraints: 25690
37.72/38.29 c #Conflicts: 27000 | #Constraints: 26690
37.72/38.29 c #Conflicts: 28000 | #Constraints: 27690
37.72/38.29 c #Conflicts: 29000 | #Constraints: 28690
37.72/38.29 c INPROCESSING
37.72/38.29 c GARBAGE COLLECT
37.72/38.29 c rational objective 17
43.22/43.83 c #Conflicts: 30000 | #Constraints: 26138
43.22/43.83 c #Conflicts: 31000 | #Constraints: 27138
43.22/43.83 c #Conflicts: 32000 | #Constraints: 28138
43.22/43.83 c #Conflicts: 33000 | #Constraints: 29138
43.22/43.83 c INPROCESSING
43.22/43.83 c GARBAGE COLLECT
43.22/43.83 c rational objective 17
48.27/48.90 c #Conflicts: 34000 | #Constraints: 26359
48.27/48.90 c #Conflicts: 35000 | #Constraints: 27359
48.27/48.90 c #Conflicts: 36000 | #Constraints: 28359
48.27/48.90 c #Conflicts: 37000 | #Constraints: 29359
48.27/48.90 c INPROCESSING
48.27/48.90 c GARBAGE COLLECT
48.27/48.90 c rational objective 17
54.72/55.42 c #Conflicts: 38000 | #Constraints: 26316
54.72/55.42 c #Conflicts: 39000 | #Constraints: 27316
54.72/55.42 c #Conflicts: 40000 | #Constraints: 28316
54.72/55.42 c #Conflicts: 41000 | #Constraints: 29316
54.72/55.42 c INPROCESSING
54.72/55.42 c GARBAGE COLLECT
54.72/55.42 c rational objective 17
60.28/61.02 c #Conflicts: 42000 | #Constraints: 26141
60.28/61.02 c #Conflicts: 43000 | #Constraints: 27141
60.28/61.02 c #Conflicts: 44000 | #Constraints: 28141
60.28/61.02 c #Conflicts: 45000 | #Constraints: 29141
60.28/61.02 c #Conflicts: 46000 | #Constraints: 30141
60.28/61.02 c INPROCESSING
60.28/61.02 c GARBAGE COLLECT
60.28/61.02 c rational objective 17
66.05/66.90 c #Conflicts: 47000 | #Constraints: 26721
66.05/66.90 c #Conflicts: 48000 | #Constraints: 27721
66.05/66.90 c #Conflicts: 49000 | #Constraints: 28721
66.05/66.90 c #Conflicts: 50000 | #Constraints: 29721
66.05/66.90 c #Conflicts: 51000 | #Constraints: 30721
66.05/66.90 c INPROCESSING
66.05/66.90 c GARBAGE COLLECT
66.05/66.90 c rational objective 17
72.60/73.51 c #Conflicts: 52000 | #Constraints: 27176
72.60/73.51 c #Conflicts: 53000 | #Constraints: 28176
72.60/73.51 c #Conflicts: 54000 | #Constraints: 29176
72.60/73.51 c #Conflicts: 55000 | #Constraints: 30176
72.60/73.51 c #Conflicts: 56000 | #Constraints: 31176
72.60/73.51 c INPROCESSING
72.60/73.51 c GARBAGE COLLECT
72.60/73.51 c rational objective 17
81.62/82.61 c #Conflicts: 57000 | #Constraints: 27312
81.62/82.61 c #Conflicts: 58000 | #Constraints: 28312
81.62/82.61 c #Conflicts: 59000 | #Constraints: 29312
81.62/82.61 c #Conflicts: 60000 | #Constraints: 30312
81.62/82.61 c #Conflicts: 61000 | #Constraints: 31312
81.62/82.61 c INPROCESSING
81.62/82.61 c GARBAGE COLLECT
81.62/82.61 c rational objective 17
89.25/90.37 c #Conflicts: 62000 | #Constraints: 27374
89.25/90.37 c #Conflicts: 63000 | #Constraints: 28374
89.25/90.37 c #Conflicts: 64000 | #Constraints: 29374
89.25/90.37 c #Conflicts: 65000 | #Constraints: 30374
89.25/90.37 c #Conflicts: 66000 | #Constraints: 31374
89.25/90.37 c INPROCESSING
89.25/90.37 c GARBAGE COLLECT
89.25/90.37 c rational objective 17
96.75/98.04 c #Conflicts: 67000 | #Constraints: 27132
96.75/98.04 c #Conflicts: 68000 | #Constraints: 28132
96.75/98.04 c #Conflicts: 69000 | #Constraints: 29132
96.75/98.04 c #Conflicts: 70000 | #Constraints: 30132
96.75/98.04 c #Conflicts: 71000 | #Constraints: 31132
96.75/98.04 c bounds 21 >= 18 @ 95.0906
97.83/99.16 c #Conflicts: 72000 | #Constraints: 32168
97.83/99.16 c INPROCESSING
97.83/99.16 c GARBAGE COLLECT
97.83/99.16 c rational objective 18
105.17/106.58 c #Conflicts: 73000 | #Constraints: 27757
105.17/106.58 c #Conflicts: 74000 | #Constraints: 28757
105.17/106.58 c #Conflicts: 75000 | #Constraints: 29757
105.17/106.58 c #Conflicts: 76000 | #Constraints: 30757
105.17/106.58 c #Conflicts: 77000 | #Constraints: 31757
105.17/106.58 c #Conflicts: 78000 | #Constraints: 32757
105.17/106.58 c INPROCESSING
105.17/106.58 c GARBAGE COLLECT
105.17/106.58 c rational objective 18
115.18/116.63 c #Conflicts: 79000 | #Constraints: 28136
115.18/116.63 c #Conflicts: 80000 | #Constraints: 29136
115.18/116.63 c #Conflicts: 81000 | #Constraints: 30136
115.18/116.63 c #Conflicts: 82000 | #Constraints: 31136
115.18/116.63 c #Conflicts: 83000 | #Constraints: 32136
115.18/116.63 c #Conflicts: 84000 | #Constraints: 33136
115.18/116.63 c INPROCESSING
115.18/116.63 c GARBAGE COLLECT
115.18/116.63 c rational objective 18
121.02/122.57 c #Conflicts: 85000 | #Constraints: 28399
121.02/122.57 c #Conflicts: 86000 | #Constraints: 29399
121.02/122.57 c #Conflicts: 87000 | #Constraints: 30399
121.02/122.57 c #Conflicts: 88000 | #Constraints: 31399
121.02/122.57 c #Conflicts: 89000 | #Constraints: 32399
121.02/122.57 c #Conflicts: 90000 | #Constraints: 33399
121.02/122.57 c INPROCESSING
121.02/122.57 c GARBAGE COLLECT
121.02/122.57 c rational objective 18
131.08/132.72 c #Conflicts: 91000 | #Constraints: 28381
131.08/132.72 c #Conflicts: 92000 | #Constraints: 29381
131.08/132.72 c #Conflicts: 93000 | #Constraints: 30381
131.08/132.72 c #Conflicts: 94000 | #Constraints: 31381
131.08/132.72 c #Conflicts: 95000 | #Constraints: 32381
131.08/132.72 c #Conflicts: 96000 | #Constraints: 33381
131.08/132.72 c INPROCESSING
131.08/132.72 c GARBAGE COLLECT
131.08/132.72 c rational objective 18
135.66/137.31 c #Conflicts: 97000 | #Constraints: 28242
135.66/137.31 c #Conflicts: 98000 | #Constraints: 29242
135.66/137.31 c #Conflicts: 99000 | #Constraints: 30242
135.66/137.31 c #Conflicts: 100000 | #Constraints: 31242
135.66/137.31 c #Conflicts: 101000 | #Constraints: 32242
135.66/137.31 c bounds 20 >= 18 @ 133.4
138.35/140.00 c #Conflicts: 102000 | #Constraints: 33243
138.35/140.00 c #Conflicts: 103000 | #Constraints: 34243
138.35/140.00 c INPROCESSING
138.35/140.00 c GARBAGE COLLECT
138.35/140.00 c rational objective 18
148.66/150.44 c #Conflicts: 104000 | #Constraints: 28853
148.66/150.44 c #Conflicts: 105000 | #Constraints: 29853
148.66/150.44 c #Conflicts: 106000 | #Constraints: 30853
148.66/150.44 c #Conflicts: 107000 | #Constraints: 31853
148.66/150.44 c #Conflicts: 108000 | #Constraints: 32853
148.66/150.44 c #Conflicts: 109000 | #Constraints: 33853
148.66/150.44 c #Conflicts: 110000 | #Constraints: 34853
148.66/150.44 c INPROCESSING
148.66/150.44 c GARBAGE COLLECT
148.66/150.44 c rational objective 18
161.31/163.27 c #Conflicts: 111000 | #Constraints: 29271
161.31/163.27 c #Conflicts: 112000 | #Constraints: 30272
161.31/163.27 c #Conflicts: 113000 | #Constraints: 31272
161.31/163.27 c #Conflicts: 114000 | #Constraints: 32272
161.31/163.27 c #Conflicts: 115000 | #Constraints: 33272
161.31/163.27 c #Conflicts: 116000 | #Constraints: 34272
161.31/163.27 c #Conflicts: 117000 | #Constraints: 35273
161.31/163.27 c INPROCESSING
161.31/163.27 c GARBAGE COLLECT
161.31/163.27 c rational objective 18
173.41/175.44 c #Conflicts: 118000 | #Constraints: 29473
173.41/175.44 c #Conflicts: 119000 | #Constraints: 30473
173.41/175.44 c #Conflicts: 120000 | #Constraints: 31473
173.41/175.44 c #Conflicts: 121000 | #Constraints: 32475
173.41/175.44 c #Conflicts: 122000 | #Constraints: 33481
173.41/175.44 c #Conflicts: 123000 | #Constraints: 34486
173.41/175.44 c #Conflicts: 124000 | #Constraints: 35503
173.41/175.44 c INPROCESSING
173.41/175.44 c GARBAGE COLLECT
173.41/175.44 c rational objective 18
182.32/184.44 c #Conflicts: 125000 | #Constraints: 29516
182.32/184.44 c #Conflicts: 126000 | #Constraints: 30516
182.32/184.44 c #Conflicts: 127000 | #Constraints: 31516
182.32/184.44 c #Conflicts: 128000 | #Constraints: 32516
182.32/184.44 c #Conflicts: 129000 | #Constraints: 33516
182.32/184.44 c #Conflicts: 130000 | #Constraints: 34516
182.32/184.44 c #Conflicts: 131000 | #Constraints: 35516
182.32/184.44 c INPROCESSING
182.32/184.44 c GARBAGE COLLECT
182.32/184.44 c rational objective 18
192.76/194.93 c #Conflicts: 132000 | #Constraints: 29268
192.76/194.93 c #Conflicts: 133000 | #Constraints: 30268
192.76/194.93 c #Conflicts: 134000 | #Constraints: 31268
192.76/194.93 c #Conflicts: 135000 | #Constraints: 32268
192.76/194.93 c #Conflicts: 136000 | #Constraints: 33268
192.76/194.93 c #Conflicts: 137000 | #Constraints: 34268
192.76/194.93 c #Conflicts: 138000 | #Constraints: 35268
192.76/194.93 c #Conflicts: 139000 | #Constraints: 36268
192.76/194.93 c INPROCESSING
192.76/194.93 c GARBAGE COLLECT
192.76/194.93 c rational objective 18
205.17/207.44 c #Conflicts: 140000 | #Constraints: 29896
205.17/207.44 c #Conflicts: 141000 | #Constraints: 30896
205.17/207.44 c #Conflicts: 142000 | #Constraints: 31896
205.17/207.44 c #Conflicts: 143000 | #Constraints: 32896
205.17/207.44 c #Conflicts: 144000 | #Constraints: 33896
205.17/207.44 c #Conflicts: 145000 | #Constraints: 34896
205.17/207.44 c #Conflicts: 146000 | #Constraints: 35896
205.17/207.44 c #Conflicts: 147000 | #Constraints: 36896
205.17/207.44 c INPROCESSING
205.17/207.44 c GARBAGE COLLECT
205.17/207.44 c rational objective 18
217.23/219.70 c #Conflicts: 148000 | #Constraints: 30344
217.23/219.70 c #Conflicts: 149000 | #Constraints: 31344
217.23/219.70 c #Conflicts: 150000 | #Constraints: 32344
217.23/219.70 c #Conflicts: 151000 | #Constraints: 33344
217.23/219.70 c #Conflicts: 152000 | #Constraints: 34344
217.23/219.70 c #Conflicts: 153000 | #Constraints: 35344
217.23/219.70 c #Conflicts: 154000 | #Constraints: 36344
217.23/219.70 c #Conflicts: 155000 | #Constraints: 37344
217.23/219.70 c INPROCESSING
217.23/219.70 c GARBAGE COLLECT
217.23/219.70 c rational objective 18
230.29/232.92 c #Conflicts: 156000 | #Constraints: 30529
230.29/232.92 c #Conflicts: 157000 | #Constraints: 31530
230.29/232.92 c #Conflicts: 158000 | #Constraints: 32530
230.29/232.92 c #Conflicts: 159000 | #Constraints: 33532
230.29/232.92 c #Conflicts: 160000 | #Constraints: 34533
230.29/232.92 c #Conflicts: 161000 | #Constraints: 35534
230.29/232.92 c #Conflicts: 162000 | #Constraints: 36534
230.29/232.92 c #Conflicts: 163000 | #Constraints: 37534
230.29/232.92 c INPROCESSING
230.29/232.92 c GARBAGE COLLECT
230.29/232.92 c rational objective 18
242.89/245.66 c #Conflicts: 164000 | #Constraints: 30592
242.89/245.66 c #Conflicts: 165000 | #Constraints: 31592
242.89/245.66 c #Conflicts: 166000 | #Constraints: 32592
242.89/245.66 c #Conflicts: 167000 | #Constraints: 33592
242.89/245.66 c #Conflicts: 168000 | #Constraints: 34592
242.89/245.66 c #Conflicts: 169000 | #Constraints: 35592
242.89/245.66 c #Conflicts: 170000 | #Constraints: 36592
242.89/245.66 c #Conflicts: 171000 | #Constraints: 37592
242.89/245.66 c INPROCESSING
242.89/245.66 c GARBAGE COLLECT
242.89/245.66 c rational objective 18
258.02/260.90 c #Conflicts: 172000 | #Constraints: 30392
258.02/260.90 c #Conflicts: 173000 | #Constraints: 31392
258.02/260.90 c #Conflicts: 174000 | #Constraints: 32392
258.02/260.90 c #Conflicts: 175000 | #Constraints: 33392
258.02/260.90 c #Conflicts: 176000 | #Constraints: 34392
258.02/260.90 c #Conflicts: 177000 | #Constraints: 35392
258.02/260.90 c #Conflicts: 178000 | #Constraints: 36392
258.02/260.90 c #Conflicts: 179000 | #Constraints: 37392
258.02/260.90 c #Conflicts: 180000 | #Constraints: 38392
258.02/260.90 c INPROCESSING
258.02/260.90 c GARBAGE COLLECT
258.02/260.90 c rational objective 18
272.43/275.44 c #Conflicts: 181000 | #Constraints: 30978
272.43/275.44 c #Conflicts: 182000 | #Constraints: 31978
272.43/275.44 c #Conflicts: 183000 | #Constraints: 32978
272.43/275.44 c #Conflicts: 184000 | #Constraints: 33978
272.43/275.44 c #Conflicts: 185000 | #Constraints: 34978
272.43/275.44 c #Conflicts: 186000 | #Constraints: 35978
272.43/275.44 c #Conflicts: 187000 | #Constraints: 36978
272.43/275.44 c #Conflicts: 188000 | #Constraints: 37978
272.43/275.44 c #Conflicts: 189000 | #Constraints: 38978
272.43/275.44 c INPROCESSING
272.43/275.44 c GARBAGE COLLECT
272.43/275.44 c rational objective 18
286.58/289.70 c #Conflicts: 190000 | #Constraints: 31346
286.58/289.70 c #Conflicts: 191000 | #Constraints: 32346
286.58/289.70 c #Conflicts: 192000 | #Constraints: 33346
286.58/289.70 c #Conflicts: 193000 | #Constraints: 34346
286.58/289.70 c #Conflicts: 194000 | #Constraints: 35346
286.58/289.70 c #Conflicts: 195000 | #Constraints: 36346
286.58/289.70 c #Conflicts: 196000 | #Constraints: 37346
286.58/289.70 c #Conflicts: 197000 | #Constraints: 38346
286.58/289.70 c #Conflicts: 198000 | #Constraints: 39346
286.58/289.70 c INPROCESSING
286.58/289.70 c GARBAGE COLLECT
286.58/289.70 c rational objective 18
300.76/304.08 c #Conflicts: 199000 | #Constraints: 31634
300.76/304.08 c #Conflicts: 200000 | #Constraints: 32634
300.76/304.08 c #Conflicts: 201000 | #Constraints: 33634
300.76/304.08 c #Conflicts: 202000 | #Constraints: 34635
300.76/304.08 c #Conflicts: 203000 | #Constraints: 35635
300.76/304.08 c #Conflicts: 204000 | #Constraints: 36635
300.76/304.08 c #Conflicts: 205000 | #Constraints: 37635
300.76/304.08 c #Conflicts: 206000 | #Constraints: 38635
300.76/304.08 c #Conflicts: 207000 | #Constraints: 39635
300.76/304.08 c INPROCESSING
300.76/304.08 c GARBAGE COLLECT
300.76/304.08 c rational objective 18
317.89/321.35 c #Conflicts: 208000 | #Constraints: 31619
317.89/321.35 c #Conflicts: 209000 | #Constraints: 32619
317.89/321.35 c #Conflicts: 210000 | #Constraints: 33619
317.89/321.35 c #Conflicts: 211000 | #Constraints: 34619
317.89/321.35 c #Conflicts: 212000 | #Constraints: 35619
317.89/321.35 c #Conflicts: 213000 | #Constraints: 36619
317.89/321.35 c #Conflicts: 214000 | #Constraints: 37619
317.89/321.35 c #Conflicts: 215000 | #Constraints: 38619
317.89/321.35 c #Conflicts: 216000 | #Constraints: 39619
317.89/321.35 c INPROCESSING
317.89/321.35 c GARBAGE COLLECT
317.89/321.35 c rational objective 18
337.02/340.67 c #Conflicts: 217000 | #Constraints: 31440
337.02/340.67 c #Conflicts: 218000 | #Constraints: 32440
337.02/340.67 c #Conflicts: 219000 | #Constraints: 33440
337.02/340.67 c #Conflicts: 220000 | #Constraints: 34440
337.02/340.67 c #Conflicts: 221000 | #Constraints: 35440
337.02/340.67 c #Conflicts: 222000 | #Constraints: 36440
337.02/340.67 c #Conflicts: 223000 | #Constraints: 37440
337.02/340.67 c #Conflicts: 224000 | #Constraints: 38440
337.02/340.67 c #Conflicts: 225000 | #Constraints: 39440
337.02/340.67 c #Conflicts: 226000 | #Constraints: 40440
337.02/340.67 c INPROCESSING
337.02/340.67 c GARBAGE COLLECT
337.02/340.67 c rational objective 18
354.41/358.29 c #Conflicts: 227000 | #Constraints: 32048
354.41/358.29 c #Conflicts: 228000 | #Constraints: 33048
354.41/358.29 c #Conflicts: 229000 | #Constraints: 34048
354.41/358.29 c #Conflicts: 230000 | #Constraints: 35048
354.41/358.29 c #Conflicts: 231000 | #Constraints: 36048
354.41/358.29 c #Conflicts: 232000 | #Constraints: 37048
354.41/358.29 c #Conflicts: 233000 | #Constraints: 38048
354.41/358.29 c #Conflicts: 234000 | #Constraints: 39048
354.41/358.29 c #Conflicts: 235000 | #Constraints: 40048
354.41/358.29 c #Conflicts: 236000 | #Constraints: 41048
354.41/358.29 c INPROCESSING
354.41/358.29 c GARBAGE COLLECT
354.41/358.29 c rational objective 18
369.91/373.97 c #Conflicts: 237000 | #Constraints: 32457
369.91/373.97 c #Conflicts: 238000 | #Constraints: 33457
369.91/373.97 c #Conflicts: 239000 | #Constraints: 34457
369.91/373.97 c #Conflicts: 240000 | #Constraints: 35457
369.91/373.97 c #Conflicts: 241000 | #Constraints: 36457
369.91/373.97 c #Conflicts: 242000 | #Constraints: 37457
369.91/373.97 c #Conflicts: 243000 | #Constraints: 38457
369.91/373.97 c #Conflicts: 244000 | #Constraints: 39457
369.91/373.97 c #Conflicts: 245000 | #Constraints: 40457
369.91/373.97 c #Conflicts: 246000 | #Constraints: 41457
369.91/373.97 c INPROCESSING
369.91/373.97 c GARBAGE COLLECT
369.91/373.97 c rational objective 18
388.58/392.71 c #Conflicts: 247000 | #Constraints: 32595
388.58/392.71 c #Conflicts: 248000 | #Constraints: 33595
388.58/392.71 c #Conflicts: 249000 | #Constraints: 34595
388.58/392.71 c #Conflicts: 250000 | #Constraints: 35595
388.58/392.71 c #Conflicts: 251000 | #Constraints: 36595
388.58/392.71 c #Conflicts: 252000 | #Constraints: 37595
388.58/392.71 c #Conflicts: 253000 | #Constraints: 38595
388.58/392.71 c #Conflicts: 254000 | #Constraints: 39595
388.58/392.71 c #Conflicts: 255000 | #Constraints: 40595
388.58/392.71 c #Conflicts: 256000 | #Constraints: 41595
388.58/392.71 c INPROCESSING
388.58/392.71 c GARBAGE COLLECT
388.58/392.71 c rational objective 18
404.21/408.57 c #Conflicts: 257000 | #Constraints: 32643
404.21/408.57 c #Conflicts: 258000 | #Constraints: 33643
404.21/408.57 c #Conflicts: 259000 | #Constraints: 34643
404.21/408.57 c #Conflicts: 260000 | #Constraints: 35643
404.21/408.57 c #Conflicts: 261000 | #Constraints: 36643
404.21/408.57 c #Conflicts: 262000 | #Constraints: 37643
404.21/408.57 c #Conflicts: 263000 | #Constraints: 38643
404.21/408.57 c #Conflicts: 264000 | #Constraints: 39643
404.21/408.57 c #Conflicts: 265000 | #Constraints: 40643
404.21/408.57 c #Conflicts: 266000 | #Constraints: 41643
404.21/408.57 c INPROCESSING
404.21/408.57 c GARBAGE COLLECT
404.21/408.57 c rational objective 18
423.26/427.75 c #Conflicts: 267000 | #Constraints: 32426
423.26/427.75 c #Conflicts: 268000 | #Constraints: 33426
423.26/427.75 c #Conflicts: 269000 | #Constraints: 34426
423.26/427.75 c #Conflicts: 270000 | #Constraints: 35426
423.26/427.75 c #Conflicts: 271000 | #Constraints: 36426
423.26/427.75 c #Conflicts: 272000 | #Constraints: 37426
423.26/427.75 c #Conflicts: 273000 | #Constraints: 38426
423.26/427.75 c #Conflicts: 274000 | #Constraints: 39426
423.26/427.75 c #Conflicts: 275000 | #Constraints: 40426
423.26/427.75 c #Conflicts: 276000 | #Constraints: 41426
423.26/427.75 c #Conflicts: 277000 | #Constraints: 42426
423.26/427.75 c INPROCESSING
423.26/427.75 c GARBAGE COLLECT
423.26/427.75 c rational objective 18
441.11/445.71 c #Conflicts: 278000 | #Constraints: 33019
441.11/445.71 c #Conflicts: 279000 | #Constraints: 34019
441.11/445.71 c #Conflicts: 280000 | #Constraints: 35019
441.11/445.71 c #Conflicts: 281000 | #Constraints: 36019
441.11/445.71 c #Conflicts: 282000 | #Constraints: 37019
441.11/445.71 c #Conflicts: 283000 | #Constraints: 38019
441.11/445.71 c #Conflicts: 284000 | #Constraints: 39019
441.11/445.71 c #Conflicts: 285000 | #Constraints: 40019
441.11/445.71 c #Conflicts: 286000 | #Constraints: 41019
441.11/445.71 c #Conflicts: 287000 | #Constraints: 42019
441.11/445.71 c #Conflicts: 288000 | #Constraints: 43019
441.11/445.71 c INPROCESSING
441.11/445.71 c GARBAGE COLLECT
441.11/445.71 c rational objective 18
462.90/467.73 c #Conflicts: 289000 | #Constraints: 33524
462.90/467.73 c #Conflicts: 290000 | #Constraints: 34524
462.90/467.73 c #Conflicts: 291000 | #Constraints: 35524
462.90/467.73 c #Conflicts: 292000 | #Constraints: 36524
462.90/467.73 c #Conflicts: 293000 | #Constraints: 37524
462.90/467.73 c #Conflicts: 294000 | #Constraints: 38524
462.90/467.73 c #Conflicts: 295000 | #Constraints: 39524
462.90/467.73 c #Conflicts: 296000 | #Constraints: 40524
462.90/467.73 c #Conflicts: 297000 | #Constraints: 41524
462.90/467.73 c #Conflicts: 298000 | #Constraints: 42524
462.90/467.73 c #Conflicts: 299000 | #Constraints: 43524
462.90/467.73 c INPROCESSING
462.90/467.73 c GARBAGE COLLECT
462.90/467.73 c rational objective 18
483.05/488.09 c #Conflicts: 300000 | #Constraints: 33725
483.05/488.09 c #Conflicts: 301000 | #Constraints: 34725
483.05/488.09 c #Conflicts: 302000 | #Constraints: 35725
483.05/488.09 c #Conflicts: 303000 | #Constraints: 36725
483.05/488.09 c #Conflicts: 304000 | #Constraints: 37725
483.05/488.09 c #Conflicts: 305000 | #Constraints: 38725
483.05/488.09 c #Conflicts: 306000 | #Constraints: 39725
483.05/488.09 c #Conflicts: 307000 | #Constraints: 40725
483.05/488.09 c #Conflicts: 308000 | #Constraints: 41725
483.05/488.09 c #Conflicts: 309000 | #Constraints: 42725
483.05/488.09 c #Conflicts: 310000 | #Constraints: 43725
483.05/488.09 c INPROCESSING
483.05/488.09 c GARBAGE COLLECT
483.05/488.09 c rational objective 18
504.76/509.96 c #Conflicts: 311000 | #Constraints: 33765
504.76/509.96 c #Conflicts: 312000 | #Constraints: 34765
504.76/509.96 c #Conflicts: 313000 | #Constraints: 35765
504.76/509.96 c #Conflicts: 314000 | #Constraints: 36765
504.76/509.96 c #Conflicts: 315000 | #Constraints: 37765
504.76/509.96 c #Conflicts: 316000 | #Constraints: 38765
504.76/509.96 c #Conflicts: 317000 | #Constraints: 39765
504.76/509.96 c #Conflicts: 318000 | #Constraints: 40765
504.76/509.96 c #Conflicts: 319000 | #Constraints: 41765
504.76/509.96 c #Conflicts: 320000 | #Constraints: 42765
504.76/509.96 c #Conflicts: 321000 | #Constraints: 43765
504.76/509.96 c INPROCESSING
504.76/509.96 c GARBAGE COLLECT
504.76/509.96 c rational objective 18
527.07/532.40 c #Conflicts: 322000 | #Constraints: 33570
527.07/532.40 c #Conflicts: 323000 | #Constraints: 34570
527.07/532.40 c #Conflicts: 324000 | #Constraints: 35570
527.07/532.40 c #Conflicts: 325000 | #Constraints: 36570
527.07/532.40 c #Conflicts: 326000 | #Constraints: 37570
527.07/532.40 c #Conflicts: 327000 | #Constraints: 38570
527.07/532.40 c #Conflicts: 328000 | #Constraints: 39570
527.07/532.40 c #Conflicts: 329000 | #Constraints: 40570
527.07/532.40 c #Conflicts: 330000 | #Constraints: 41570
527.07/532.40 c #Conflicts: 331000 | #Constraints: 42570
527.07/532.40 c #Conflicts: 332000 | #Constraints: 43570
527.07/532.40 c #Conflicts: 333000 | #Constraints: 44570
527.07/532.40 c INPROCESSING
527.07/532.40 c GARBAGE COLLECT
527.07/532.40 c rational objective 18
550.41/556.00 c #Conflicts: 334000 | #Constraints: 34179
550.41/556.00 c #Conflicts: 335000 | #Constraints: 35179
550.41/556.00 c #Conflicts: 336000 | #Constraints: 36179
550.41/556.00 c #Conflicts: 337000 | #Constraints: 37179
550.41/556.00 c #Conflicts: 338000 | #Constraints: 38179
550.41/556.00 c #Conflicts: 339000 | #Constraints: 39179
550.41/556.00 c #Conflicts: 340000 | #Constraints: 40179
550.41/556.00 c #Conflicts: 341000 | #Constraints: 41179
550.41/556.00 c #Conflicts: 342000 | #Constraints: 42179
550.41/556.00 c #Conflicts: 343000 | #Constraints: 43179
550.41/556.00 c #Conflicts: 344000 | #Constraints: 44179
550.41/556.00 c #Conflicts: 345000 | #Constraints: 45179
550.41/556.00 c INPROCESSING
550.41/556.00 c GARBAGE COLLECT
550.41/556.00 c rational objective 18
571.89/577.66 c #Conflicts: 346000 | #Constraints: 34579
571.89/577.66 c #Conflicts: 347000 | #Constraints: 35579
571.89/577.66 c #Conflicts: 348000 | #Constraints: 36579
571.89/577.66 c #Conflicts: 349000 | #Constraints: 37579
571.89/577.66 c #Conflicts: 350000 | #Constraints: 38579
571.89/577.66 c #Conflicts: 351000 | #Constraints: 39579
571.89/577.66 c #Conflicts: 352000 | #Constraints: 40579
571.89/577.66 c #Conflicts: 353000 | #Constraints: 41579
571.89/577.66 c #Conflicts: 354000 | #Constraints: 42579
571.89/577.66 c #Conflicts: 355000 | #Constraints: 43579
571.89/577.66 c #Conflicts: 356000 | #Constraints: 44579
571.89/577.66 c #Conflicts: 357000 | #Constraints: 45579
571.89/577.66 c INPROCESSING
571.89/577.66 c GARBAGE COLLECT
571.89/577.66 c rational objective 18
596.18/602.15 c #Conflicts: 358000 | #Constraints: 34811
596.18/602.15 c #Conflicts: 359000 | #Constraints: 35811
596.18/602.15 c #Conflicts: 360000 | #Constraints: 36811
596.18/602.15 c #Conflicts: 361000 | #Constraints: 37811
596.18/602.15 c #Conflicts: 362000 | #Constraints: 38811
596.18/602.15 c #Conflicts: 363000 | #Constraints: 39811
596.18/602.15 c #Conflicts: 364000 | #Constraints: 40811
596.18/602.15 c #Conflicts: 365000 | #Constraints: 41811
596.18/602.15 c #Conflicts: 366000 | #Constraints: 42811
596.18/602.15 c #Conflicts: 367000 | #Constraints: 43811
596.18/602.15 c #Conflicts: 368000 | #Constraints: 44811
596.18/602.15 c #Conflicts: 369000 | #Constraints: 45811
596.18/602.15 c INPROCESSING
596.18/602.15 c GARBAGE COLLECT
596.18/602.15 c rational objective 18
623.47/629.75 c #Conflicts: 370000 | #Constraints: 34773
623.47/629.75 c #Conflicts: 371000 | #Constraints: 35773
623.47/629.75 c #Conflicts: 372000 | #Constraints: 36773
623.47/629.75 c #Conflicts: 373000 | #Constraints: 37773
623.47/629.75 c #Conflicts: 374000 | #Constraints: 38773
623.47/629.75 c #Conflicts: 375000 | #Constraints: 39773
623.47/629.75 c #Conflicts: 376000 | #Constraints: 40773
623.47/629.75 c #Conflicts: 377000 | #Constraints: 41773
623.47/629.75 c #Conflicts: 378000 | #Constraints: 42773
623.47/629.75 c #Conflicts: 379000 | #Constraints: 43773
623.47/629.75 c #Conflicts: 380000 | #Constraints: 44773
623.47/629.75 c #Conflicts: 381000 | #Constraints: 45773
623.47/629.75 c INPROCESSING
623.47/629.75 c GARBAGE COLLECT
623.47/629.75 c rational objective 18
645.08/651.51 c #Conflicts: 382000 | #Constraints: 34483
645.08/651.51 c #Conflicts: 383000 | #Constraints: 35483
645.08/651.51 c #Conflicts: 384000 | #Constraints: 36483
645.08/651.51 c #Conflicts: 385000 | #Constraints: 37483
645.08/651.51 c #Conflicts: 386000 | #Constraints: 38483
645.08/651.51 c #Conflicts: 387000 | #Constraints: 39483
645.08/651.51 c #Conflicts: 388000 | #Constraints: 40483
645.08/651.51 c #Conflicts: 389000 | #Constraints: 41483
645.08/651.51 c #Conflicts: 390000 | #Constraints: 42483
645.08/651.51 c #Conflicts: 391000 | #Constraints: 43483
645.08/651.51 c #Conflicts: 392000 | #Constraints: 44483
645.08/651.51 c #Conflicts: 393000 | #Constraints: 45483
645.08/651.51 c bounds 20 >= 19 @ 636.871
647.06/653.53 c #Conflicts: 394000 | #Constraints: 46522
647.06/653.53 c INPROCESSING
647.06/653.53 c GARBAGE COLLECT
647.06/653.53 c rational objective 19
673.00/679.73 c #Conflicts: 395000 | #Constraints: 35092
673.00/679.73 c #Conflicts: 396000 | #Constraints: 36092
673.00/679.73 c #Conflicts: 397000 | #Constraints: 37092
673.00/679.73 c #Conflicts: 398000 | #Constraints: 38092
673.00/679.73 c #Conflicts: 399000 | #Constraints: 39092
673.00/679.73 c #Conflicts: 400000 | #Constraints: 40092
673.00/679.73 c #Conflicts: 401000 | #Constraints: 41092
673.00/679.73 c #Conflicts: 402000 | #Constraints: 42092
673.00/679.73 c #Conflicts: 403000 | #Constraints: 43092
673.00/679.73 c #Conflicts: 404000 | #Constraints: 44092
673.00/679.73 c #Conflicts: 405000 | #Constraints: 45092
673.00/679.73 c #Conflicts: 406000 | #Constraints: 46092
673.00/679.73 c #Conflicts: 407000 | #Constraints: 47092
673.00/679.73 c INPROCESSING
673.00/679.73 c GARBAGE COLLECT
673.00/679.73 c rational objective 19
695.91/702.80 c #Conflicts: 408000 | #Constraints: 35449
695.91/702.80 c #Conflicts: 409000 | #Constraints: 36449
695.91/702.80 c #Conflicts: 410000 | #Constraints: 37449
695.91/702.80 c #Conflicts: 411000 | #Constraints: 38449
695.91/702.80 c #Conflicts: 412000 | #Constraints: 39449
695.91/702.80 c #Conflicts: 413000 | #Constraints: 40449
695.91/702.80 c #Conflicts: 414000 | #Constraints: 41449
695.91/702.80 c #Conflicts: 415000 | #Constraints: 42449
695.91/702.80 c #Conflicts: 416000 | #Constraints: 43449
695.91/702.80 c #Conflicts: 417000 | #Constraints: 44449
695.91/702.80 c #Conflicts: 418000 | #Constraints: 45449
695.91/702.80 c #Conflicts: 419000 | #Constraints: 46449
695.91/702.80 c #Conflicts: 420000 | #Constraints: 47449
695.91/702.80 c INPROCESSING
695.91/702.80 c GARBAGE COLLECT
695.91/702.80 c rational objective 19
722.11/729.28 c #Conflicts: 421000 | #Constraints: 35722
722.11/729.28 c #Conflicts: 422000 | #Constraints: 36722
722.11/729.28 c #Conflicts: 423000 | #Constraints: 37722
722.11/729.28 c #Conflicts: 424000 | #Constraints: 38722
722.11/729.28 c #Conflicts: 425000 | #Constraints: 39722
722.11/729.28 c #Conflicts: 426000 | #Constraints: 40722
722.11/729.28 c #Conflicts: 427000 | #Constraints: 41722
722.11/729.28 c #Conflicts: 428000 | #Constraints: 42722
722.11/729.28 c #Conflicts: 429000 | #Constraints: 43722
722.11/729.28 c #Conflicts: 430000 | #Constraints: 44722
722.11/729.28 c #Conflicts: 431000 | #Constraints: 45722
722.11/729.28 c #Conflicts: 432000 | #Constraints: 46722
722.11/729.28 c #Conflicts: 433000 | #Constraints: 47722
722.11/729.28 c INPROCESSING
722.11/729.28 c GARBAGE COLLECT
722.11/729.28 c rational objective 19
752.32/759.75 c #Conflicts: 434000 | #Constraints: 35722
752.32/759.75 c #Conflicts: 435000 | #Constraints: 36722
752.32/759.75 c #Conflicts: 436000 | #Constraints: 37722
752.32/759.75 c #Conflicts: 437000 | #Constraints: 38722
752.32/759.75 c #Conflicts: 438000 | #Constraints: 39722
752.32/759.75 c #Conflicts: 439000 | #Constraints: 40722
752.32/759.75 c #Conflicts: 440000 | #Constraints: 41722
752.32/759.75 c #Conflicts: 441000 | #Constraints: 42722
752.32/759.75 c #Conflicts: 442000 | #Constraints: 43722
752.32/759.75 c #Conflicts: 443000 | #Constraints: 44722
752.32/759.75 c #Conflicts: 444000 | #Constraints: 45722
752.32/759.75 c #Conflicts: 445000 | #Constraints: 46722
752.32/759.75 c #Conflicts: 446000 | #Constraints: 47722
752.32/759.75 c INPROCESSING
752.32/759.75 c GARBAGE COLLECT
752.32/759.75 c rational objective 19
781.27/788.90 c #Conflicts: 447000 | #Constraints: 35520
781.27/788.90 c #Conflicts: 448000 | #Constraints: 36520
781.27/788.90 c #Conflicts: 449000 | #Constraints: 37520
781.27/788.90 c #Conflicts: 450000 | #Constraints: 38520
781.27/788.90 c #Conflicts: 451000 | #Constraints: 39520
781.27/788.90 c #Conflicts: 452000 | #Constraints: 40520
781.27/788.90 c #Conflicts: 453000 | #Constraints: 41520
781.27/788.90 c #Conflicts: 454000 | #Constraints: 42520
781.27/788.90 c #Conflicts: 455000 | #Constraints: 43520
781.27/788.90 c #Conflicts: 456000 | #Constraints: 44520
781.27/788.90 c #Conflicts: 457000 | #Constraints: 45520
781.27/788.90 c #Conflicts: 458000 | #Constraints: 46520
781.27/788.90 c #Conflicts: 459000 | #Constraints: 47520
781.27/788.90 c #Conflicts: 460000 | #Constraints: 48520
781.27/788.90 c INPROCESSING
781.27/788.90 c GARBAGE COLLECT
781.27/788.90 c rational objective 19
809.34/817.21 c #Conflicts: 461000 | #Constraints: 36082
809.34/817.21 c #Conflicts: 462000 | #Constraints: 37082
809.34/817.21 c #Conflicts: 463000 | #Constraints: 38082
809.34/817.21 c #Conflicts: 464000 | #Constraints: 39082
809.34/817.21 c #Conflicts: 465000 | #Constraints: 40082
809.34/817.21 c #Conflicts: 466000 | #Constraints: 41082
809.34/817.21 c #Conflicts: 467000 | #Constraints: 42082
809.34/817.21 c #Conflicts: 468000 | #Constraints: 43082
809.34/817.21 c #Conflicts: 469000 | #Constraints: 44082
809.34/817.21 c #Conflicts: 470000 | #Constraints: 45082
809.34/817.21 c #Conflicts: 471000 | #Constraints: 46082
809.34/817.21 c #Conflicts: 472000 | #Constraints: 47082
809.34/817.21 c #Conflicts: 473000 | #Constraints: 48082
809.34/817.21 c #Conflicts: 474000 | #Constraints: 49082
809.34/817.21 c INPROCESSING
809.34/817.21 c GARBAGE COLLECT
809.34/817.21 c rational objective 19
836.57/844.76 c #Conflicts: 475000 | #Constraints: 36497
836.57/844.76 c #Conflicts: 476000 | #Constraints: 37497
836.57/844.76 c #Conflicts: 477000 | #Constraints: 38497
836.57/844.76 c #Conflicts: 478000 | #Constraints: 39497
836.57/844.76 c #Conflicts: 479000 | #Constraints: 40497
836.57/844.76 c #Conflicts: 480000 | #Constraints: 41497
836.57/844.76 c #Conflicts: 481000 | #Constraints: 42497
836.57/844.76 c #Conflicts: 482000 | #Constraints: 43497
836.57/844.76 c #Conflicts: 483000 | #Constraints: 44497
836.57/844.76 c #Conflicts: 484000 | #Constraints: 45497
836.57/844.76 c #Conflicts: 485000 | #Constraints: 46497
836.57/844.76 c #Conflicts: 486000 | #Constraints: 47497
836.57/844.76 c #Conflicts: 487000 | #Constraints: 48497
836.57/844.76 c #Conflicts: 488000 | #Constraints: 49497
836.57/844.76 c INPROCESSING
836.57/844.76 c GARBAGE COLLECT
836.57/844.76 c rational objective 19
871.47/879.97 c #Conflicts: 489000 | #Constraints: 36727
871.47/879.97 c #Conflicts: 490000 | #Constraints: 37727
871.47/879.97 c #Conflicts: 491000 | #Constraints: 38727
871.47/879.97 c #Conflicts: 492000 | #Constraints: 39727
871.47/879.97 c #Conflicts: 493000 | #Constraints: 40727
871.47/879.97 c #Conflicts: 494000 | #Constraints: 41727
871.47/879.97 c #Conflicts: 495000 | #Constraints: 42727
871.47/879.97 c #Conflicts: 496000 | #Constraints: 43727
871.47/879.97 c #Conflicts: 497000 | #Constraints: 44727
871.47/879.97 c #Conflicts: 498000 | #Constraints: 45727
871.47/879.97 c #Conflicts: 499000 | #Constraints: 46727
871.47/879.97 c #Conflicts: 500000 | #Constraints: 47727
871.47/879.97 c #Conflicts: 501000 | #Constraints: 48727
871.47/879.97 c #Conflicts: 502000 | #Constraints: 49727
871.47/879.97 c INPROCESSING
871.47/879.97 c GARBAGE COLLECT
871.47/879.97 c rational objective 19
902.26/911.29 c #Conflicts: 503000 | #Constraints: 36792
902.26/911.29 c #Conflicts: 504000 | #Constraints: 37792
902.26/911.29 c #Conflicts: 505000 | #Constraints: 38793
902.26/911.29 c #Conflicts: 506000 | #Constraints: 39793
902.26/911.29 c #Conflicts: 507000 | #Constraints: 40793
902.26/911.29 c #Conflicts: 508000 | #Constraints: 41800
902.26/911.29 c #Conflicts: 509000 | #Constraints: 42802
902.26/911.29 c #Conflicts: 510000 | #Constraints: 43803
902.26/911.29 c #Conflicts: 511000 | #Constraints: 44805
902.26/911.29 c #Conflicts: 512000 | #Constraints: 45807
902.26/911.29 c #Conflicts: 513000 | #Constraints: 46816
902.26/911.29 c #Conflicts: 514000 | #Constraints: 47819
902.26/911.29 c #Conflicts: 515000 | #Constraints: 48820
902.26/911.29 c #Conflicts: 516000 | #Constraints: 49820
902.26/911.29 c INPROCESSING
902.26/911.29 c GARBAGE COLLECT
902.26/911.29 c rational objective 19
929.03/938.25 c #Conflicts: 517000 | #Constraints: 36582
929.03/938.25 c #Conflicts: 518000 | #Constraints: 37582
929.03/938.25 c #Conflicts: 519000 | #Constraints: 38582
929.03/938.25 c #Conflicts: 520000 | #Constraints: 39582
929.03/938.25 c #Conflicts: 521000 | #Constraints: 40582
929.03/938.25 c #Conflicts: 522000 | #Constraints: 41582
929.03/938.25 c #Conflicts: 523000 | #Constraints: 42582
929.03/938.25 c #Conflicts: 524000 | #Constraints: 43582
929.03/938.25 c #Conflicts: 525000 | #Constraints: 44582
929.03/938.25 c #Conflicts: 526000 | #Constraints: 45582
929.03/938.25 c #Conflicts: 527000 | #Constraints: 46582
929.03/938.25 c #Conflicts: 528000 | #Constraints: 47582
929.03/938.25 c #Conflicts: 529000 | #Constraints: 48582
929.03/938.25 c #Conflicts: 530000 | #Constraints: 49582
929.03/938.25 c #Conflicts: 531000 | #Constraints: 50582
929.03/938.25 c INPROCESSING
929.03/938.25 c GARBAGE COLLECT
929.03/938.25 c rational objective 19
958.33/967.77 c #Conflicts: 532000 | #Constraints: 37150
958.33/967.77 c #Conflicts: 533000 | #Constraints: 38150
958.33/967.77 c #Conflicts: 534000 | #Constraints: 39150
958.33/967.77 c #Conflicts: 535000 | #Constraints: 40150
958.33/967.77 c #Conflicts: 536000 | #Constraints: 41150
958.33/967.77 c #Conflicts: 537000 | #Constraints: 42150
958.33/967.77 c #Conflicts: 538000 | #Constraints: 43150
958.33/967.77 c #Conflicts: 539000 | #Constraints: 44150
958.33/967.77 c #Conflicts: 540000 | #Constraints: 45150
958.33/967.77 c #Conflicts: 541000 | #Constraints: 46150
958.33/967.77 c #Conflicts: 542000 | #Constraints: 47150
958.33/967.77 c #Conflicts: 543000 | #Constraints: 48150
958.33/967.77 c #Conflicts: 544000 | #Constraints: 49150
958.33/967.77 c #Conflicts: 545000 | #Constraints: 50150
958.33/967.77 c #Conflicts: 546000 | #Constraints: 51150
958.33/967.77 c INPROCESSING
958.33/967.77 c GARBAGE COLLECT
958.33/967.77 c rational objective 19
989.33/998.93 c #Conflicts: 547000 | #Constraints: 37556
989.33/998.93 c #Conflicts: 548000 | #Constraints: 38556
989.33/998.93 c #Conflicts: 549000 | #Constraints: 39556
989.33/998.93 c #Conflicts: 550000 | #Constraints: 40556
989.33/998.93 c #Conflicts: 551000 | #Constraints: 41556
989.33/998.93 c #Conflicts: 552000 | #Constraints: 42556
989.33/998.93 c #Conflicts: 553000 | #Constraints: 43556
989.33/998.93 c #Conflicts: 554000 | #Constraints: 44556
989.33/998.93 c #Conflicts: 555000 | #Constraints: 45556
989.33/998.93 c #Conflicts: 556000 | #Constraints: 46556
989.33/998.93 c #Conflicts: 557000 | #Constraints: 47556
989.33/998.93 c #Conflicts: 558000 | #Constraints: 48556
989.33/998.93 c #Conflicts: 559000 | #Constraints: 49556
989.33/998.93 c #Conflicts: 560000 | #Constraints: 50557
989.33/998.93 c #Conflicts: 561000 | #Constraints: 51558
989.33/998.93 c INPROCESSING
989.33/998.93 c GARBAGE COLLECT
989.33/998.93 c rational objective 19
1020.13/1029.91 c #Conflicts: 562000 | #Constraints: 37848
1020.13/1029.91 c #Conflicts: 563000 | #Constraints: 38848
1020.13/1029.91 c #Conflicts: 564000 | #Constraints: 39848
1020.13/1029.91 c #Conflicts: 565000 | #Constraints: 40848
1020.13/1029.91 c #Conflicts: 566000 | #Constraints: 41848
1020.13/1029.91 c #Conflicts: 567000 | #Constraints: 42848
1020.13/1029.91 c #Conflicts: 568000 | #Constraints: 43848
1020.13/1029.91 c #Conflicts: 569000 | #Constraints: 44848
1020.13/1029.91 c #Conflicts: 570000 | #Constraints: 45848
1020.13/1029.91 c #Conflicts: 571000 | #Constraints: 46848
1020.13/1029.91 c #Conflicts: 572000 | #Constraints: 47848
1020.13/1029.91 c #Conflicts: 573000 | #Constraints: 48848
1020.13/1029.91 c #Conflicts: 574000 | #Constraints: 49848
1020.13/1029.91 c #Conflicts: 575000 | #Constraints: 50849
1020.13/1029.91 c #Conflicts: 576000 | #Constraints: 51849
1020.13/1029.91 c INPROCESSING
1020.13/1029.91 c GARBAGE COLLECT
1020.13/1029.91 c rational objective 19
1048.91/1058.93 c #Conflicts: 577000 | #Constraints: 37854
1048.91/1058.93 c #Conflicts: 578000 | #Constraints: 38854
1048.91/1058.93 c #Conflicts: 579000 | #Constraints: 39854
1048.91/1058.93 c #Conflicts: 580000 | #Constraints: 40854
1048.91/1058.93 c #Conflicts: 581000 | #Constraints: 41854
1048.91/1058.93 c #Conflicts: 582000 | #Constraints: 42854
1048.91/1058.93 c #Conflicts: 583000 | #Constraints: 43854
1048.91/1058.93 c #Conflicts: 584000 | #Constraints: 44854
1048.91/1058.93 c #Conflicts: 585000 | #Constraints: 45854
1048.91/1058.93 c #Conflicts: 586000 | #Constraints: 46854
1048.91/1058.93 c #Conflicts: 587000 | #Constraints: 47854
1048.91/1058.93 c #Conflicts: 588000 | #Constraints: 48854
1048.91/1058.93 c #Conflicts: 589000 | #Constraints: 49854
1048.91/1058.93 c #Conflicts: 590000 | #Constraints: 50854
1048.91/1058.93 c #Conflicts: 591000 | #Constraints: 51854
1048.91/1058.93 c INPROCESSING
1048.91/1058.93 c GARBAGE COLLECT
1048.91/1058.93 c rational objective 19
1083.99/1094.24 c #Conflicts: 592000 | #Constraints: 37656
1083.99/1094.24 c #Conflicts: 593000 | #Constraints: 38656
1083.99/1094.24 c #Conflicts: 594000 | #Constraints: 39657
1083.99/1094.24 c #Conflicts: 595000 | #Constraints: 40659
1083.99/1094.24 c #Conflicts: 596000 | #Constraints: 41659
1083.99/1094.24 c #Conflicts: 597000 | #Constraints: 42660
1083.99/1094.24 c #Conflicts: 598000 | #Constraints: 43660
1083.99/1094.24 c #Conflicts: 599000 | #Constraints: 44662
1083.99/1094.24 c #Conflicts: 600000 | #Constraints: 45662
1083.99/1094.24 c #Conflicts: 601000 | #Constraints: 46668
1083.99/1094.24 c #Conflicts: 602000 | #Constraints: 47680
1083.99/1094.24 c #Conflicts: 603000 | #Constraints: 48700
1083.99/1094.24 c #Conflicts: 604000 | #Constraints: 49702
1083.99/1094.24 c #Conflicts: 605000 | #Constraints: 50711
1083.99/1094.24 c #Conflicts: 606000 | #Constraints: 51716
1083.99/1094.24 c #Conflicts: 607000 | #Constraints: 52753
1083.99/1094.24 c INPROCESSING
1083.99/1094.24 c GARBAGE COLLECT
1083.99/1094.24 c rational objective 19
1115.07/1127.20 c #Conflicts: 608000 | #Constraints: 38267
1115.07/1127.20 c #Conflicts: 609000 | #Constraints: 39268
1115.07/1127.20 c #Conflicts: 610000 | #Constraints: 40269
1115.07/1127.20 c #Conflicts: 611000 | #Constraints: 41269
1115.07/1127.20 c #Conflicts: 612000 | #Constraints: 42269
1115.07/1127.20 c #Conflicts: 613000 | #Constraints: 43269
1115.07/1127.20 c #Conflicts: 614000 | #Constraints: 44269
1115.07/1127.20 c #Conflicts: 615000 | #Constraints: 45269
1115.07/1127.20 c #Conflicts: 616000 | #Constraints: 46269
1115.07/1127.20 c #Conflicts: 617000 | #Constraints: 47269
1115.07/1127.20 c #Conflicts: 618000 | #Constraints: 48269
1115.07/1127.20 c #Conflicts: 619000 | #Constraints: 49269
1115.07/1127.20 c #Conflicts: 620000 | #Constraints: 50269
1115.07/1127.20 c #Conflicts: 621000 | #Constraints: 51269
1115.07/1127.20 c #Conflicts: 622000 | #Constraints: 52269
1115.07/1127.20 c #Conflicts: 623000 | #Constraints: 53269
1115.07/1127.20 c INPROCESSING
1115.07/1127.20 c GARBAGE COLLECT
1115.07/1127.20 c rational objective 19
1183.48/1197.48 c #Conflicts: 624000 | #Constraints: 38686
1183.48/1197.48 c #Conflicts: 625000 | #Constraints: 39686
1183.48/1197.48 c #Conflicts: 626000 | #Constraints: 40686
1183.48/1197.48 c #Conflicts: 627000 | #Constraints: 41686
1183.48/1197.48 c #Conflicts: 628000 | #Constraints: 42686
1183.48/1197.48 c #Conflicts: 629000 | #Constraints: 43686
1183.48/1197.48 c #Conflicts: 630000 | #Constraints: 44686
1183.48/1197.48 c #Conflicts: 631000 | #Constraints: 45686
1183.48/1197.48 c #Conflicts: 632000 | #Constraints: 46686
1183.48/1197.48 c #Conflicts: 633000 | #Constraints: 47686
1183.48/1197.48 c #Conflicts: 634000 | #Constraints: 48687
1183.48/1197.48 c #Conflicts: 635000 | #Constraints: 49687
1183.48/1197.48 c #Conflicts: 636000 | #Constraints: 50687
1183.48/1197.48 c #Conflicts: 637000 | #Constraints: 51688
1183.48/1197.48 c #Conflicts: 638000 | #Constraints: 52688
1183.48/1197.48 c #Conflicts: 639000 | #Constraints: 53688
1183.48/1197.48 c INPROCESSING
1183.48/1197.48 c GARBAGE COLLECT
1183.48/1197.48 c #Conflicts: 640000 | #Constraints: 38794
1183.48/1197.48 c #Conflicts: 641000 | #Constraints: 39794
1183.48/1197.48 c #Conflicts: 642000 | #Constraints: 40794
1183.48/1197.48 c #Conflicts: 643000 | #Constraints: 41794
1183.48/1197.48 c #Conflicts: 644000 | #Constraints: 42795
1183.48/1197.48 c #Conflicts: 645000 | #Constraints: 43796
1183.48/1197.48 c #Conflicts: 646000 | #Constraints: 44798
1183.48/1197.48 c #Conflicts: 647000 | #Constraints: 45799
1183.48/1197.48 c #Conflicts: 648000 | #Constraints: 46803
1183.48/1197.48 c #Conflicts: 649000 | #Constraints: 47804
1183.48/1197.48 c #Conflicts: 650000 | #Constraints: 48804
1183.48/1197.48 c #Conflicts: 651000 | #Constraints: 49805
1183.48/1197.48 c #Conflicts: 652000 | #Constraints: 50805
1183.48/1197.48 c #Conflicts: 653000 | #Constraints: 51809
1183.48/1197.48 c #Conflicts: 654000 | #Constraints: 52810
1183.48/1197.48 c #Conflicts: 655000 | #Constraints: 53813
1183.48/1197.48 c INPROCESSING
1183.48/1197.48 c GARBAGE COLLECT
1183.48/1197.48 c rational objective 19
1220.49/1234.67 c #Conflicts: 656000 | #Constraints: 38918
1220.49/1234.67 c #Conflicts: 657000 | #Constraints: 39918
1220.49/1234.67 c #Conflicts: 658000 | #Constraints: 40918
1220.49/1234.67 c #Conflicts: 659000 | #Constraints: 41918
1220.49/1234.67 c #Conflicts: 660000 | #Constraints: 42918
1220.49/1234.67 c #Conflicts: 661000 | #Constraints: 43918
1220.49/1234.67 c #Conflicts: 662000 | #Constraints: 44918
1220.49/1234.67 c #Conflicts: 663000 | #Constraints: 45918
1220.49/1234.67 c #Conflicts: 664000 | #Constraints: 46918
1220.49/1234.67 c #Conflicts: 665000 | #Constraints: 47918
1220.49/1234.67 c #Conflicts: 666000 | #Constraints: 48918
1220.49/1234.67 c #Conflicts: 667000 | #Constraints: 49918
1220.49/1234.67 c #Conflicts: 668000 | #Constraints: 50918
1220.49/1234.67 c #Conflicts: 669000 | #Constraints: 51918
1220.49/1234.67 c #Conflicts: 670000 | #Constraints: 52918
1220.49/1234.67 c #Conflicts: 671000 | #Constraints: 53918
1220.49/1234.67 c INPROCESSING
1220.49/1234.67 c GARBAGE COLLECT
1220.49/1234.67 c rational objective 19
1253.57/1267.97 c #Conflicts: 672000 | #Constraints: 38728
1253.57/1267.97 c #Conflicts: 673000 | #Constraints: 39728
1253.57/1267.97 c #Conflicts: 674000 | #Constraints: 40728
1253.57/1267.97 c #Conflicts: 675000 | #Constraints: 41728
1253.57/1267.97 c #Conflicts: 676000 | #Constraints: 42728
1253.57/1267.97 c #Conflicts: 677000 | #Constraints: 43728
1253.57/1267.97 c #Conflicts: 678000 | #Constraints: 44728
1253.57/1267.97 c #Conflicts: 679000 | #Constraints: 45728
1253.57/1267.97 c #Conflicts: 680000 | #Constraints: 46728
1253.57/1267.97 c #Conflicts: 681000 | #Constraints: 47728
1253.57/1267.97 c #Conflicts: 682000 | #Constraints: 48728
1253.57/1267.97 c #Conflicts: 683000 | #Constraints: 49728
1253.57/1267.97 c #Conflicts: 684000 | #Constraints: 50728
1253.57/1267.97 c #Conflicts: 685000 | #Constraints: 51728
1253.57/1267.97 c #Conflicts: 686000 | #Constraints: 52728
1253.57/1267.97 c #Conflicts: 687000 | #Constraints: 53728
1253.57/1267.97 c #Conflicts: 688000 | #Constraints: 54728
1253.57/1267.97 c INPROCESSING
1253.57/1267.97 c GARBAGE COLLECT
1253.57/1267.97 c rational objective 19
1282.79/1297.33 c #Conflicts: 689000 | #Constraints: 39366
1282.79/1297.33 c #Conflicts: 690000 | #Constraints: 40366
1282.79/1297.33 c #Conflicts: 691000 | #Constraints: 41366
1282.79/1297.33 c #Conflicts: 692000 | #Constraints: 42366
1282.79/1297.33 c #Conflicts: 693000 | #Constraints: 43366
1282.79/1297.33 c #Conflicts: 694000 | #Constraints: 44366
1282.79/1297.33 c #Conflicts: 695000 | #Constraints: 45366
1282.79/1297.33 c #Conflicts: 696000 | #Constraints: 46366
1282.79/1297.33 c #Conflicts: 697000 | #Constraints: 47366
1282.79/1297.33 c #Conflicts: 698000 | #Constraints: 48366
1282.79/1297.33 c #Conflicts: 699000 | #Constraints: 49366
1282.79/1297.33 c #Conflicts: 700000 | #Constraints: 50366
1282.79/1297.33 c #Conflicts: 701000 | #Constraints: 51366
1282.79/1297.33 c #Conflicts: 702000 | #Constraints: 52366
1282.79/1297.33 c #Conflicts: 703000 | #Constraints: 53366
1282.79/1297.33 c #Conflicts: 704000 | #Constraints: 54366
1282.79/1297.33 c #Conflicts: 705000 | #Constraints: 55366
1282.79/1297.33 c INPROCESSING
1282.79/1297.33 c GARBAGE COLLECT
1282.79/1297.33 c rational objective 19
1317.17/1331.98 c #Conflicts: 706000 | #Constraints: 39751
1317.17/1331.98 c #Conflicts: 707000 | #Constraints: 40751
1317.17/1331.98 c #Conflicts: 708000 | #Constraints: 41751
1317.17/1331.98 c #Conflicts: 709000 | #Constraints: 42751
1317.17/1331.98 c #Conflicts: 710000 | #Constraints: 43751
1317.17/1331.98 c #Conflicts: 711000 | #Constraints: 44751
1317.17/1331.98 c #Conflicts: 712000 | #Constraints: 45751
1317.17/1331.98 c #Conflicts: 713000 | #Constraints: 46751
1317.17/1331.98 c #Conflicts: 714000 | #Constraints: 47751
1317.17/1331.98 c #Conflicts: 715000 | #Constraints: 48751
1317.17/1331.98 c #Conflicts: 716000 | #Constraints: 49751
1317.17/1331.98 c #Conflicts: 717000 | #Constraints: 50751
1317.17/1331.98 c #Conflicts: 718000 | #Constraints: 51751
1317.17/1331.98 c #Conflicts: 719000 | #Constraints: 52751
1317.17/1331.98 c #Conflicts: 720000 | #Constraints: 53751
1317.17/1331.98 c #Conflicts: 721000 | #Constraints: 54751
1317.17/1331.98 c #Conflicts: 722000 | #Constraints: 55751
1317.17/1331.98 c INPROCESSING
1317.17/1331.98 c GARBAGE COLLECT
1317.17/1331.98 c rational objective 19
1359.16/1375.29 c #Conflicts: 723000 | #Constraints: 39905
1359.16/1375.29 c #Conflicts: 724000 | #Constraints: 40905
1359.16/1375.29 c #Conflicts: 725000 | #Constraints: 41905
1359.16/1375.29 c #Conflicts: 726000 | #Constraints: 42905
1359.16/1375.29 c #Conflicts: 727000 | #Constraints: 43905
1359.16/1375.29 c #Conflicts: 728000 | #Constraints: 44905
1359.16/1375.29 c #Conflicts: 729000 | #Constraints: 45905
1359.16/1375.29 c #Conflicts: 730000 | #Constraints: 46905
1359.16/1375.29 c #Conflicts: 731000 | #Constraints: 47905
1359.16/1375.29 c #Conflicts: 732000 | #Constraints: 48905
1359.16/1375.29 c #Conflicts: 733000 | #Constraints: 49905
1359.16/1375.29 c #Conflicts: 734000 | #Constraints: 50905
1359.16/1375.29 c #Conflicts: 735000 | #Constraints: 51905
1359.16/1375.29 c #Conflicts: 736000 | #Constraints: 52905
1359.16/1375.29 c #Conflicts: 737000 | #Constraints: 53905
1359.16/1375.29 c #Conflicts: 738000 | #Constraints: 54905
1359.16/1375.29 c #Conflicts: 739000 | #Constraints: 55905
1359.16/1375.29 c INPROCESSING
1359.16/1375.29 c GARBAGE COLLECT
1359.16/1375.29 c rational objective 19
1398.38/1414.72 c #Conflicts: 740000 | #Constraints: 39972
1398.38/1414.72 c #Conflicts: 741000 | #Constraints: 40972
1398.38/1414.72 c #Conflicts: 742000 | #Constraints: 41972
1398.38/1414.72 c #Conflicts: 743000 | #Constraints: 42972
1398.38/1414.72 c #Conflicts: 744000 | #Constraints: 43972
1398.38/1414.72 c #Conflicts: 745000 | #Constraints: 44972
1398.38/1414.72 c #Conflicts: 746000 | #Constraints: 45972
1398.38/1414.72 c #Conflicts: 747000 | #Constraints: 46972
1398.38/1414.72 c #Conflicts: 748000 | #Constraints: 47972
1398.38/1414.72 c #Conflicts: 749000 | #Constraints: 48972
1398.38/1414.72 c #Conflicts: 750000 | #Constraints: 49972
1398.38/1414.72 c #Conflicts: 751000 | #Constraints: 50972
1398.38/1414.72 c #Conflicts: 752000 | #Constraints: 51972
1398.38/1414.72 c #Conflicts: 753000 | #Constraints: 52972
1398.38/1414.72 c #Conflicts: 754000 | #Constraints: 53972
1398.38/1414.72 c #Conflicts: 755000 | #Constraints: 54972
1398.38/1414.72 c #Conflicts: 756000 | #Constraints: 55972
1398.38/1414.72 c INPROCESSING
1398.38/1414.72 c GARBAGE COLLECT
1398.38/1414.72 c rational objective 19
1436.74/1453.36 c #Conflicts: 757000 | #Constraints: 39821
1436.74/1453.36 c #Conflicts: 758000 | #Constraints: 40821
1436.74/1453.36 c #Conflicts: 759000 | #Constraints: 41821
1436.74/1453.36 c #Conflicts: 760000 | #Constraints: 42821
1436.74/1453.36 c #Conflicts: 761000 | #Constraints: 43821
1436.74/1453.36 c #Conflicts: 762000 | #Constraints: 44821
1436.74/1453.36 c #Conflicts: 763000 | #Constraints: 45821
1436.74/1453.36 c #Conflicts: 764000 | #Constraints: 46821
1436.74/1453.36 c #Conflicts: 765000 | #Constraints: 47821
1436.74/1453.36 c #Conflicts: 766000 | #Constraints: 48821
1436.74/1453.36 c #Conflicts: 767000 | #Constraints: 49821
1436.74/1453.36 c #Conflicts: 768000 | #Constraints: 50821
1436.74/1453.36 c #Conflicts: 769000 | #Constraints: 51821
1436.74/1453.36 c #Conflicts: 770000 | #Constraints: 52821
1436.74/1453.36 c #Conflicts: 771000 | #Constraints: 53821
1436.74/1453.36 c #Conflicts: 772000 | #Constraints: 54821
1436.74/1453.36 c #Conflicts: 773000 | #Constraints: 55821
1436.74/1453.36 c #Conflicts: 774000 | #Constraints: 56821
1436.74/1453.36 c INPROCESSING
1436.74/1453.36 c GARBAGE COLLECT
1436.74/1453.36 c rational objective 19
1477.90/1494.81 c #Conflicts: 775000 | #Constraints: 40374
1477.90/1494.81 c #Conflicts: 776000 | #Constraints: 41374
1477.90/1494.81 c #Conflicts: 777000 | #Constraints: 42374
1477.90/1494.81 c #Conflicts: 778000 | #Constraints: 43374
1477.90/1494.81 c #Conflicts: 779000 | #Constraints: 44374
1477.90/1494.81 c #Conflicts: 780000 | #Constraints: 45374
1477.90/1494.81 c #Conflicts: 781000 | #Constraints: 46374
1477.90/1494.81 c #Conflicts: 782000 | #Constraints: 47374
1477.90/1494.81 c #Conflicts: 783000 | #Constraints: 48374
1477.90/1494.81 c #Conflicts: 784000 | #Constraints: 49374
1477.90/1494.81 c #Conflicts: 785000 | #Constraints: 50374
1477.90/1494.81 c #Conflicts: 786000 | #Constraints: 51374
1477.90/1494.81 c #Conflicts: 787000 | #Constraints: 52374
1477.90/1494.81 c #Conflicts: 788000 | #Constraints: 53374
1477.90/1494.81 c #Conflicts: 789000 | #Constraints: 54374
1477.90/1494.81 c #Conflicts: 790000 | #Constraints: 55374
1477.90/1494.81 c #Conflicts: 791000 | #Constraints: 56374
1477.90/1494.81 c #Conflicts: 792000 | #Constraints: 57374
1477.90/1494.81 c INPROCESSING
1477.90/1494.81 c GARBAGE COLLECT
1477.90/1494.81 c rational objective 19
1520.15/1541.06 c #Conflicts: 793000 | #Constraints: 40809
1520.15/1541.06 c #Conflicts: 794000 | #Constraints: 41809
1520.15/1541.06 c #Conflicts: 795000 | #Constraints: 42809
1520.15/1541.06 c #Conflicts: 796000 | #Constraints: 43809
1520.15/1541.06 c #Conflicts: 797000 | #Constraints: 44809
1520.15/1541.06 c #Conflicts: 798000 | #Constraints: 45809
1520.15/1541.06 c #Conflicts: 799000 | #Constraints: 46809
1520.15/1541.06 c #Conflicts: 800000 | #Constraints: 47809
1520.15/1541.06 c #Conflicts: 801000 | #Constraints: 48809
1520.15/1541.06 c #Conflicts: 802000 | #Constraints: 49809
1520.15/1541.06 c #Conflicts: 803000 | #Constraints: 50809
1520.15/1541.06 c #Conflicts: 804000 | #Constraints: 51809
1520.15/1541.06 c #Conflicts: 805000 | #Constraints: 52809
1520.15/1541.06 c #Conflicts: 806000 | #Constraints: 53809
1520.15/1541.06 c #Conflicts: 807000 | #Constraints: 54809
1520.15/1541.06 c #Conflicts: 808000 | #Constraints: 55809
1520.15/1541.06 c #Conflicts: 809000 | #Constraints: 56809
1520.15/1541.06 c #Conflicts: 810000 | #Constraints: 57809
1520.15/1541.06 c INPROCESSING
1520.15/1541.06 c GARBAGE COLLECT
1520.15/1541.06 c rational objective 19
1563.17/1585.05 c #Conflicts: 811000 | #Constraints: 41035
1563.17/1585.05 c #Conflicts: 812000 | #Constraints: 42035
1563.17/1585.05 c #Conflicts: 813000 | #Constraints: 43035
1563.17/1585.05 c #Conflicts: 814000 | #Constraints: 44035
1563.17/1585.05 c #Conflicts: 815000 | #Constraints: 45035
1563.17/1585.05 c #Conflicts: 816000 | #Constraints: 46035
1563.17/1585.05 c #Conflicts: 817000 | #Constraints: 47035
1563.17/1585.05 c #Conflicts: 818000 | #Constraints: 48035
1563.17/1585.05 c #Conflicts: 819000 | #Constraints: 49035
1563.17/1585.05 c #Conflicts: 820000 | #Constraints: 50035
1563.17/1585.05 c #Conflicts: 821000 | #Constraints: 51035
1563.17/1585.05 c #Conflicts: 822000 | #Constraints: 52035
1563.17/1585.05 c #Conflicts: 823000 | #Constraints: 53035
1563.17/1585.05 c #Conflicts: 824000 | #Constraints: 54035
1563.17/1585.05 c #Conflicts: 825000 | #Constraints: 55035
1563.17/1585.05 c #Conflicts: 826000 | #Constraints: 56035
1563.17/1585.05 c #Conflicts: 827000 | #Constraints: 57035
1563.17/1585.05 c #Conflicts: 828000 | #Constraints: 58035
1563.17/1585.05 c INPROCESSING
1563.17/1585.05 c GARBAGE COLLECT
1563.17/1585.05 c rational objective 19
1605.85/1627.93 c #Conflicts: 829000 | #Constraints: 40970
1605.85/1627.93 c #Conflicts: 830000 | #Constraints: 41970
1605.85/1627.93 c #Conflicts: 831000 | #Constraints: 42970
1605.85/1627.93 c #Conflicts: 832000 | #Constraints: 43970
1605.85/1627.93 c #Conflicts: 833000 | #Constraints: 44970
1605.85/1627.93 c #Conflicts: 834000 | #Constraints: 45970
1605.85/1627.93 c #Conflicts: 835000 | #Constraints: 46970
1605.85/1627.93 c #Conflicts: 836000 | #Constraints: 47970
1605.85/1627.93 c #Conflicts: 837000 | #Constraints: 48970
1605.85/1627.93 c #Conflicts: 838000 | #Constraints: 49970
1605.85/1627.93 c #Conflicts: 839000 | #Constraints: 50970
1605.85/1627.93 c #Conflicts: 840000 | #Constraints: 51970
1605.85/1627.93 c #Conflicts: 841000 | #Constraints: 52970
1605.85/1627.93 c #Conflicts: 842000 | #Constraints: 53970
1605.85/1627.93 c #Conflicts: 843000 | #Constraints: 54970
1605.85/1627.93 c #Conflicts: 844000 | #Constraints: 55970
1605.85/1627.93 c #Conflicts: 845000 | #Constraints: 56970
1605.85/1627.93 c #Conflicts: 846000 | #Constraints: 57970
1605.85/1627.93 c INPROCESSING
1605.85/1627.93 c GARBAGE COLLECT
1605.85/1627.93 c rational objective 19
1644.32/1666.63 c #Conflicts: 847000 | #Constraints: 40701
1644.32/1666.63 c #Conflicts: 848000 | #Constraints: 41701
1644.32/1666.63 c #Conflicts: 849000 | #Constraints: 42701
1644.32/1666.63 c #Conflicts: 850000 | #Constraints: 43701
1644.32/1666.63 c #Conflicts: 851000 | #Constraints: 44701
1644.32/1666.63 c #Conflicts: 852000 | #Constraints: 45701
1644.32/1666.63 c #Conflicts: 853000 | #Constraints: 46701
1644.32/1666.63 c #Conflicts: 854000 | #Constraints: 47701
1644.32/1666.63 c #Conflicts: 855000 | #Constraints: 48701
1644.32/1666.63 c #Conflicts: 856000 | #Constraints: 49701
1644.32/1666.63 c #Conflicts: 857000 | #Constraints: 50701
1644.32/1666.63 c #Conflicts: 858000 | #Constraints: 51701
1644.32/1666.63 c #Conflicts: 859000 | #Constraints: 52701
1644.32/1666.63 c #Conflicts: 860000 | #Constraints: 53701
1644.32/1666.63 c #Conflicts: 861000 | #Constraints: 54701
1644.32/1666.63 c #Conflicts: 862000 | #Constraints: 55701
1644.32/1666.63 c #Conflicts: 863000 | #Constraints: 56701
1644.32/1666.63 c #Conflicts: 864000 | #Constraints: 57701
1644.32/1666.63 c #Conflicts: 865000 | #Constraints: 58701
1644.32/1666.63 c INPROCESSING
1644.32/1666.63 c GARBAGE COLLECT
1644.32/1666.63 c rational objective 19
1683.90/1706.41 c #Conflicts: 866000 | #Constraints: 41311
1683.90/1706.41 c #Conflicts: 867000 | #Constraints: 42311
1683.90/1706.41 c #Conflicts: 868000 | #Constraints: 43311
1683.90/1706.41 c #Conflicts: 869000 | #Constraints: 44311
1683.90/1706.41 c #Conflicts: 870000 | #Constraints: 45311
1683.90/1706.41 c #Conflicts: 871000 | #Constraints: 46311
1683.90/1706.41 c #Conflicts: 872000 | #Constraints: 47311
1683.90/1706.41 c #Conflicts: 873000 | #Constraints: 48311
1683.90/1706.41 c #Conflicts: 874000 | #Constraints: 49311
1683.90/1706.41 c #Conflicts: 875000 | #Constraints: 50311
1683.90/1706.41 c #Conflicts: 876000 | #Constraints: 51311
1683.90/1706.41 c #Conflicts: 877000 | #Constraints: 52311
1683.90/1706.41 c #Conflicts: 878000 | #Constraints: 53311
1683.90/1706.41 c #Conflicts: 879000 | #Constraints: 54311
1683.90/1706.41 c #Conflicts: 880000 | #Constraints: 55311
1683.90/1706.41 c #Conflicts: 881000 | #Constraints: 56311
1683.90/1706.41 c #Conflicts: 882000 | #Constraints: 57311
1683.90/1706.41 c #Conflicts: 883000 | #Constraints: 58311
1683.90/1706.41 c #Conflicts: 884000 | #Constraints: 59311
1683.90/1706.41 c INPROCESSING
1683.90/1706.41 c GARBAGE COLLECT
1683.90/1706.41 c rational objective 19
1727.33/1750.13 c #Conflicts: 885000 | #Constraints: 41740
1727.33/1750.13 c #Conflicts: 886000 | #Constraints: 42740
1727.33/1750.13 c #Conflicts: 887000 | #Constraints: 43740
1727.33/1750.13 c #Conflicts: 888000 | #Constraints: 44741
1727.33/1750.13 c #Conflicts: 889000 | #Constraints: 45742
1727.33/1750.13 c #Conflicts: 890000 | #Constraints: 46814
1727.33/1750.13 c #Conflicts: 891000 | #Constraints: 47814
1727.33/1750.13 c #Conflicts: 892000 | #Constraints: 48899
1727.33/1750.13 c #Conflicts: 893000 | #Constraints: 49899
1727.33/1750.13 c #Conflicts: 894000 | #Constraints: 50899
1727.33/1750.13 c #Conflicts: 895000 | #Constraints: 51901
1727.33/1750.13 c #Conflicts: 896000 | #Constraints: 52902
1727.33/1750.13 c #Conflicts: 897000 | #Constraints: 53902
1727.33/1750.13 c #Conflicts: 898000 | #Constraints: 54902
1727.33/1750.13 c #Conflicts: 899000 | #Constraints: 55902
1727.33/1750.13 c #Conflicts: 900000 | #Constraints: 56902
1727.33/1750.13 c #Conflicts: 901000 | #Constraints: 57902
1727.33/1750.13 c #Conflicts: 902000 | #Constraints: 58902
1727.33/1750.13 c #Conflicts: 903000 | #Constraints: 59902
1727.33/1750.13 c INPROCESSING
1727.33/1750.13 c GARBAGE COLLECT
1727.33/1750.13 c rational objective 19
1771.61/1794.69 c #Conflicts: 904000 | #Constraints: 42098
1771.61/1794.69 c #Conflicts: 905000 | #Constraints: 43098
1771.61/1794.69 c #Conflicts: 906000 | #Constraints: 44098
1771.61/1794.69 c #Conflicts: 907000 | #Constraints: 45098
1771.61/1794.69 c #Conflicts: 908000 | #Constraints: 46098
1771.61/1794.69 c #Conflicts: 909000 | #Constraints: 47098
1771.61/1794.69 c #Conflicts: 910000 | #Constraints: 48098
1771.61/1794.69 c #Conflicts: 911000 | #Constraints: 49098
1771.61/1794.69 c #Conflicts: 912000 | #Constraints: 50098
1771.61/1794.69 c #Conflicts: 913000 | #Constraints: 51098
1771.61/1794.69 c #Conflicts: 914000 | #Constraints: 52098
1771.61/1794.69 c #Conflicts: 915000 | #Constraints: 53098
1771.61/1794.69 c #Conflicts: 916000 | #Constraints: 54098
1771.61/1794.69 c #Conflicts: 917000 | #Constraints: 55098
1771.61/1794.69 c #Conflicts: 918000 | #Constraints: 56098
1771.61/1794.69 c #Conflicts: 919000 | #Constraints: 57098
1771.61/1794.69 c #Conflicts: 920000 | #Constraints: 58098
1771.61/1794.69 c #Conflicts: 921000 | #Constraints: 59098
1771.61/1794.69 c #Conflicts: 922000 | #Constraints: 60098
1771.61/1794.69 c INPROCESSING
1771.61/1794.69 c GARBAGE COLLECT
1771.61/1794.69 c rational objective 19
1815.79/1839.07 c #Conflicts: 923000 | #Constraints: 42070
1815.79/1839.07 c #Conflicts: 924000 | #Constraints: 43070
1815.79/1839.07 c #Conflicts: 925000 | #Constraints: 44070
1815.79/1839.07 c #Conflicts: 926000 | #Constraints: 45070
1815.79/1839.07 c #Conflicts: 927000 | #Constraints: 46070
1815.79/1839.07 c #Conflicts: 928000 | #Constraints: 47070
1815.79/1839.07 c #Conflicts: 929000 | #Constraints: 48070
1815.79/1839.07 c #Conflicts: 930000 | #Constraints: 49070
1815.79/1839.07 c #Conflicts: 931000 | #Constraints: 50070
1815.79/1839.07 c #Conflicts: 932000 | #Constraints: 51070
1815.79/1839.07 c #Conflicts: 933000 | #Constraints: 52070
1815.79/1839.07 c #Conflicts: 934000 | #Constraints: 53070
1815.79/1839.07 c #Conflicts: 935000 | #Constraints: 54070
1815.79/1839.07 c #Conflicts: 936000 | #Constraints: 55070
1815.79/1839.07 c #Conflicts: 937000 | #Constraints: 56070
1815.79/1839.07 c #Conflicts: 938000 | #Constraints: 57070
1815.79/1839.07 c #Conflicts: 939000 | #Constraints: 58070
1815.79/1839.07 c #Conflicts: 940000 | #Constraints: 59070
1815.79/1839.07 c #Conflicts: 941000 | #Constraints: 60070
1815.79/1839.07 c INPROCESSING
1815.79/1839.07 c GARBAGE COLLECT
1815.79/1839.07 c rational objective 19
1863.36/1886.87 c #Conflicts: 942000 | #Constraints: 41859
1863.36/1886.87 c #Conflicts: 943000 | #Constraints: 42859
1863.36/1886.87 c #Conflicts: 944000 | #Constraints: 43859
1863.36/1886.87 c #Conflicts: 945000 | #Constraints: 44859
1863.36/1886.87 c #Conflicts: 946000 | #Constraints: 45859
1863.36/1886.87 c #Conflicts: 947000 | #Constraints: 46860
1863.36/1886.87 c #Conflicts: 948000 | #Constraints: 47860
1863.36/1886.87 c #Conflicts: 949000 | #Constraints: 48861
1863.36/1886.87 c #Conflicts: 950000 | #Constraints: 49861
1863.36/1886.87 c #Conflicts: 951000 | #Constraints: 50861
1863.36/1886.87 c #Conflicts: 952000 | #Constraints: 51862
1863.36/1886.87 c #Conflicts: 953000 | #Constraints: 52868
1863.36/1886.87 c #Conflicts: 954000 | #Constraints: 53871
1863.36/1886.87 c #Conflicts: 955000 | #Constraints: 54871
1863.36/1886.87 c #Conflicts: 956000 | #Constraints: 55871
1863.36/1886.87 c #Conflicts: 957000 | #Constraints: 56871
1863.36/1886.87 c #Conflicts: 958000 | #Constraints: 57871
1863.36/1886.87 c #Conflicts: 959000 | #Constraints: 58871
1863.36/1886.87 c #Conflicts: 960000 | #Constraints: 59871
1863.36/1886.87 c #Conflicts: 961000 | #Constraints: 60871
1863.36/1886.87 c INPROCESSING
1863.36/1886.87 c GARBAGE COLLECT
1863.36/1886.87 c rational objective 19
1909.85/1933.40 c #Conflicts: 962000 | #Constraints: 42411
1909.85/1933.40 c #Conflicts: 963000 | #Constraints: 43411
1909.85/1933.40 c #Conflicts: 964000 | #Constraints: 44411
1909.85/1933.40 c #Conflicts: 965000 | #Constraints: 45411
1909.85/1933.40 c #Conflicts: 966000 | #Constraints: 46411
1909.85/1933.40 c #Conflicts: 967000 | #Constraints: 47411
1909.85/1933.40 c #Conflicts: 968000 | #Constraints: 48411
1909.85/1933.40 c #Conflicts: 969000 | #Constraints: 49411
1909.85/1933.40 c #Conflicts: 970000 | #Constraints: 50412
1909.85/1933.40 c #Conflicts: 971000 | #Constraints: 51412
1909.85/1933.40 c #Conflicts: 972000 | #Constraints: 52412
1909.85/1933.40 c #Conflicts: 973000 | #Constraints: 53412
1909.85/1933.40 c #Conflicts: 974000 | #Constraints: 54414
1909.85/1933.40 c #Conflicts: 975000 | #Constraints: 55415
1909.85/1933.40 c #Conflicts: 976000 | #Constraints: 56417
1909.85/1933.40 c #Conflicts: 977000 | #Constraints: 57420
1909.85/1933.40 c #Conflicts: 978000 | #Constraints: 58420
1909.85/1933.40 c #Conflicts: 979000 | #Constraints: 59420
1909.85/1933.40 c #Conflicts: 980000 | #Constraints: 60420
1909.85/1933.40 c #Conflicts: 981000 | #Constraints: 61420
1909.85/1933.40 c INPROCESSING
1909.85/1933.40 c GARBAGE COLLECT
1909.85/1933.40 c rational objective 19
1956.72/1980.41 c #Conflicts: 982000 | #Constraints: 42800
1956.72/1980.41 c #Conflicts: 983000 | #Constraints: 43800
1956.72/1980.41 c #Conflicts: 984000 | #Constraints: 44800
1956.72/1980.41 c #Conflicts: 985000 | #Constraints: 45800
1956.72/1980.41 c #Conflicts: 986000 | #Constraints: 46800
1956.72/1980.41 c #Conflicts: 987000 | #Constraints: 47801
1956.72/1980.41 c #Conflicts: 988000 | #Constraints: 48801
1956.72/1980.41 c #Conflicts: 989000 | #Constraints: 49801
1956.72/1980.41 c #Conflicts: 990000 | #Constraints: 50801
1956.72/1980.41 c #Conflicts: 991000 | #Constraints: 51801
1956.72/1980.41 c #Conflicts: 992000 | #Constraints: 52802
1956.72/1980.41 c #Conflicts: 993000 | #Constraints: 53802
1956.72/1980.41 c #Conflicts: 994000 | #Constraints: 54803
1956.72/1980.41 c #Conflicts: 995000 | #Constraints: 55805
1956.72/1980.41 c #Conflicts: 996000 | #Constraints: 56805
1956.72/1980.41 c #Conflicts: 997000 | #Constraints: 57805
1956.72/1980.41 c #Conflicts: 998000 | #Constraints: 58805
1956.72/1980.41 c #Conflicts: 999000 | #Constraints: 59805
1956.72/1980.41 c #Conflicts: 1000000 | #Constraints: 60805
1956.72/1980.41 c #Conflicts: 1001000 | #Constraints: 61805
1956.72/1980.41 c INPROCESSING
1956.72/1980.41 c GARBAGE COLLECT
1956.72/1980.41 c rational objective 19
2009.08/2033.06 c #Conflicts: 1002000 | #Constraints: 42956
2009.08/2033.06 c #Conflicts: 1003000 | #Constraints: 43956
2009.08/2033.06 c #Conflicts: 1004000 | #Constraints: 44956
2009.08/2033.06 c #Conflicts: 1005000 | #Constraints: 45956
2009.08/2033.06 c #Conflicts: 1006000 | #Constraints: 46956
2009.08/2033.06 c #Conflicts: 1007000 | #Constraints: 47956
2009.08/2033.06 c #Conflicts: 1008000 | #Constraints: 48956
2009.08/2033.06 c #Conflicts: 1009000 | #Constraints: 49956
2009.08/2033.06 c #Conflicts: 1010000 | #Constraints: 50956
2009.08/2033.06 c #Conflicts: 1011000 | #Constraints: 51956
2009.08/2033.06 c #Conflicts: 1012000 | #Constraints: 52956
2009.08/2033.06 c #Conflicts: 1013000 | #Constraints: 53956
2009.08/2033.06 c #Conflicts: 1014000 | #Constraints: 54956
2009.08/2033.06 c #Conflicts: 1015000 | #Constraints: 55956
2009.08/2033.06 c #Conflicts: 1016000 | #Constraints: 56956
2009.08/2033.06 c #Conflicts: 1017000 | #Constraints: 57956
2009.08/2033.06 c #Conflicts: 1018000 | #Constraints: 58956
2009.08/2033.06 c #Conflicts: 1019000 | #Constraints: 59956
2009.08/2033.06 c #Conflicts: 1020000 | #Constraints: 60956
2009.08/2033.06 c #Conflicts: 1021000 | #Constraints: 61956
2009.08/2033.06 c INPROCESSING
2009.08/2033.06 c GARBAGE COLLECT
2009.08/2033.06 c rational objective 19
2066.23/2091.35 c #Conflicts: 1022000 | #Constraints: 42946
2066.23/2091.35 c #Conflicts: 1023000 | #Constraints: 43946
2066.23/2091.35 c #Conflicts: 1024000 | #Constraints: 44946
2066.23/2091.35 c #Conflicts: 1025000 | #Constraints: 45946
2066.23/2091.35 c #Conflicts: 1026000 | #Constraints: 46946
2066.23/2091.35 c #Conflicts: 1027000 | #Constraints: 47946
2066.23/2091.35 c #Conflicts: 1028000 | #Constraints: 48946
2066.23/2091.35 c #Conflicts: 1029000 | #Constraints: 49946
2066.23/2091.35 c #Conflicts: 1030000 | #Constraints: 50946
2066.23/2091.35 c #Conflicts: 1031000 | #Constraints: 51946
2066.23/2091.35 c #Conflicts: 1032000 | #Constraints: 52946
2066.23/2091.35 c #Conflicts: 1033000 | #Constraints: 53946
2066.23/2091.35 c #Conflicts: 1034000 | #Constraints: 54946
2066.23/2091.35 c #Conflicts: 1035000 | #Constraints: 55946
2066.23/2091.35 c #Conflicts: 1036000 | #Constraints: 56946
2066.23/2091.35 c #Conflicts: 1037000 | #Constraints: 57946
2066.23/2091.35 c #Conflicts: 1038000 | #Constraints: 58946
2066.23/2091.35 c #Conflicts: 1039000 | #Constraints: 59946
2066.23/2091.35 c #Conflicts: 1040000 | #Constraints: 60946
2066.23/2091.35 c #Conflicts: 1041000 | #Constraints: 61946
2066.23/2091.35 c INPROCESSING
2066.23/2091.35 c GARBAGE COLLECT
2066.23/2091.35 c rational objective 19
2116.85/2142.18 c #Conflicts: 1042000 | #Constraints: 42766
2116.85/2142.18 c #Conflicts: 1043000 | #Constraints: 43766
2116.85/2142.18 c #Conflicts: 1044000 | #Constraints: 44766
2116.85/2142.18 c #Conflicts: 1045000 | #Constraints: 45766
2116.85/2142.18 c #Conflicts: 1046000 | #Constraints: 46766
2116.85/2142.18 c #Conflicts: 1047000 | #Constraints: 47766
2116.85/2142.18 c #Conflicts: 1048000 | #Constraints: 48766
2116.85/2142.18 c #Conflicts: 1049000 | #Constraints: 49766
2116.85/2142.18 c #Conflicts: 1050000 | #Constraints: 50766
2116.85/2142.18 c #Conflicts: 1051000 | #Constraints: 51766
2116.85/2142.18 c #Conflicts: 1052000 | #Constraints: 52766
2116.85/2142.18 c #Conflicts: 1053000 | #Constraints: 53766
2116.85/2142.18 c #Conflicts: 1054000 | #Constraints: 54766
2116.85/2142.18 c #Conflicts: 1055000 | #Constraints: 55766
2116.85/2142.18 c #Conflicts: 1056000 | #Constraints: 56766
2116.85/2142.18 c #Conflicts: 1057000 | #Constraints: 57766
2116.85/2142.18 c #Conflicts: 1058000 | #Constraints: 58766
2116.85/2142.18 c #Conflicts: 1059000 | #Constraints: 59766
2116.85/2142.18 c #Conflicts: 1060000 | #Constraints: 60766
2116.85/2142.18 c #Conflicts: 1061000 | #Constraints: 61766
2116.85/2142.18 c #Conflicts: 1062000 | #Constraints: 62766
2116.85/2142.18 c INPROCESSING
2116.85/2142.18 c GARBAGE COLLECT
2116.85/2142.18 c rational objective 19
2176.71/2202.27 c #Conflicts: 1063000 | #Constraints: 43317
2176.71/2202.27 c #Conflicts: 1064000 | #Constraints: 44317
2176.71/2202.27 c #Conflicts: 1065000 | #Constraints: 45317
2176.71/2202.27 c #Conflicts: 1066000 | #Constraints: 46317
2176.71/2202.27 c #Conflicts: 1067000 | #Constraints: 47317
2176.71/2202.27 c #Conflicts: 1068000 | #Constraints: 48317
2176.71/2202.27 c #Conflicts: 1069000 | #Constraints: 49317
2176.71/2202.27 c #Conflicts: 1070000 | #Constraints: 50317
2176.71/2202.27 c #Conflicts: 1071000 | #Constraints: 51317
2176.71/2202.27 c #Conflicts: 1072000 | #Constraints: 52317
2176.71/2202.27 c #Conflicts: 1073000 | #Constraints: 53317
2176.71/2202.27 c #Conflicts: 1074000 | #Constraints: 54317
2176.71/2202.27 c #Conflicts: 1075000 | #Constraints: 55317
2176.71/2202.27 c #Conflicts: 1076000 | #Constraints: 56317
2176.71/2202.27 c #Conflicts: 1077000 | #Constraints: 57317
2176.71/2202.27 c #Conflicts: 1078000 | #Constraints: 58317
2176.71/2202.27 c #Conflicts: 1079000 | #Constraints: 59317
2176.71/2202.27 c #Conflicts: 1080000 | #Constraints: 60317
2176.71/2202.27 c #Conflicts: 1081000 | #Constraints: 61317
2176.71/2202.27 c #Conflicts: 1082000 | #Constraints: 62317
2176.71/2202.27 c #Conflicts: 1083000 | #Constraints: 63317
2176.71/2202.27 c INPROCESSING
2176.71/2202.27 c GARBAGE COLLECT
2176.71/2202.27 c rational objective 19
2229.72/2255.49 c #Conflicts: 1084000 | #Constraints: 43679
2229.72/2255.49 c #Conflicts: 1085000 | #Constraints: 44679
2229.72/2255.49 c #Conflicts: 1086000 | #Constraints: 45679
2229.72/2255.49 c #Conflicts: 1087000 | #Constraints: 46679
2229.72/2255.49 c #Conflicts: 1088000 | #Constraints: 47679
2229.72/2255.49 c #Conflicts: 1089000 | #Constraints: 48679
2229.72/2255.49 c #Conflicts: 1090000 | #Constraints: 49679
2229.72/2255.49 c #Conflicts: 1091000 | #Constraints: 50679
2229.72/2255.49 c #Conflicts: 1092000 | #Constraints: 51679
2229.72/2255.49 c #Conflicts: 1093000 | #Constraints: 52679
2229.72/2255.49 c #Conflicts: 1094000 | #Constraints: 53679
2229.72/2255.49 c #Conflicts: 1095000 | #Constraints: 54679
2229.72/2255.49 c #Conflicts: 1096000 | #Constraints: 55679
2229.72/2255.49 c #Conflicts: 1097000 | #Constraints: 56679
2229.72/2255.49 c #Conflicts: 1098000 | #Constraints: 57679
2229.72/2255.49 c #Conflicts: 1099000 | #Constraints: 58679
2229.72/2255.49 c #Conflicts: 1100000 | #Constraints: 59679
2229.72/2255.49 c #Conflicts: 1101000 | #Constraints: 60679
2229.72/2255.49 c #Conflicts: 1102000 | #Constraints: 61679
2229.72/2255.49 c #Conflicts: 1103000 | #Constraints: 62679
2229.72/2255.49 c #Conflicts: 1104000 | #Constraints: 63679
2229.72/2255.49 c INPROCESSING
2229.72/2255.49 c GARBAGE COLLECT
2229.72/2255.49 c rational objective 19
2286.48/2312.47 c #Conflicts: 1105000 | #Constraints: 43951
2286.48/2312.47 c #Conflicts: 1106000 | #Constraints: 44951
2286.48/2312.47 c #Conflicts: 1107000 | #Constraints: 45951
2286.48/2312.47 c #Conflicts: 1108000 | #Constraints: 46951
2286.48/2312.47 c #Conflicts: 1109000 | #Constraints: 47951
2286.48/2312.47 c #Conflicts: 1110000 | #Constraints: 48951
2286.48/2312.47 c #Conflicts: 1111000 | #Constraints: 49951
2286.48/2312.47 c #Conflicts: 1112000 | #Constraints: 50951
2286.48/2312.47 c #Conflicts: 1113000 | #Constraints: 51951
2286.48/2312.47 c #Conflicts: 1114000 | #Constraints: 52951
2286.48/2312.47 c #Conflicts: 1115000 | #Constraints: 53951
2286.48/2312.47 c #Conflicts: 1116000 | #Constraints: 54951
2286.48/2312.47 c #Conflicts: 1117000 | #Constraints: 55951
2286.48/2312.47 c #Conflicts: 1118000 | #Constraints: 56951
2286.48/2312.47 c #Conflicts: 1119000 | #Constraints: 57951
2286.48/2312.47 c #Conflicts: 1120000 | #Constraints: 58951
2286.48/2312.47 c #Conflicts: 1121000 | #Constraints: 59951
2286.48/2312.47 c #Conflicts: 1122000 | #Constraints: 60951
2286.48/2312.47 c #Conflicts: 1123000 | #Constraints: 61951
2286.48/2312.47 c #Conflicts: 1124000 | #Constraints: 62951
2286.48/2312.47 c #Conflicts: 1125000 | #Constraints: 63951
2286.48/2312.47 c INPROCESSING
2286.48/2312.47 c GARBAGE COLLECT
2286.48/2312.47 c rational objective 19
2337.01/2363.26 c #Conflicts: 1126000 | #Constraints: 44009
2337.01/2363.26 c #Conflicts: 1127000 | #Constraints: 45009
2337.01/2363.26 c #Conflicts: 1128000 | #Constraints: 46009
2337.01/2363.26 c #Conflicts: 1129000 | #Constraints: 47009
2337.01/2363.26 c #Conflicts: 1130000 | #Constraints: 48009
2337.01/2363.26 c #Conflicts: 1131000 | #Constraints: 49009
2337.01/2363.26 c #Conflicts: 1132000 | #Constraints: 50009
2337.01/2363.26 c #Conflicts: 1133000 | #Constraints: 51009
2337.01/2363.26 c #Conflicts: 1134000 | #Constraints: 52009
2337.01/2363.26 c #Conflicts: 1135000 | #Constraints: 53009
2337.01/2363.26 c #Conflicts: 1136000 | #Constraints: 54009
2337.01/2363.26 c #Conflicts: 1137000 | #Constraints: 55009
2337.01/2363.26 c #Conflicts: 1138000 | #Constraints: 56009
2337.01/2363.26 c #Conflicts: 1139000 | #Constraints: 57009
2337.01/2363.26 c #Conflicts: 1140000 | #Constraints: 58009
2337.01/2363.26 c #Conflicts: 1141000 | #Constraints: 59009
2337.01/2363.26 c #Conflicts: 1142000 | #Constraints: 60009
2337.01/2363.26 c #Conflicts: 1143000 | #Constraints: 61009
2337.01/2363.26 c #Conflicts: 1144000 | #Constraints: 62009
2337.01/2363.26 c #Conflicts: 1145000 | #Constraints: 63009
2337.01/2363.26 c #Conflicts: 1146000 | #Constraints: 64009
2337.01/2363.26 c INPROCESSING
2337.01/2363.26 c GARBAGE COLLECT
2337.01/2363.26 c rational objective 19
2388.48/2414.93 c #Conflicts: 1147000 | #Constraints: 43880
2388.48/2414.93 c #Conflicts: 1148000 | #Constraints: 44880
2388.48/2414.93 c #Conflicts: 1149000 | #Constraints: 45880
2388.48/2414.93 c #Conflicts: 1150000 | #Constraints: 46880
2388.48/2414.93 c #Conflicts: 1151000 | #Constraints: 47880
2388.48/2414.93 c #Conflicts: 1152000 | #Constraints: 48880
2388.48/2414.93 c #Conflicts: 1153000 | #Constraints: 49880
2388.48/2414.93 c #Conflicts: 1154000 | #Constraints: 50880
2388.48/2414.93 c #Conflicts: 1155000 | #Constraints: 51880
2388.48/2414.93 c #Conflicts: 1156000 | #Constraints: 52880
2388.48/2414.93 c #Conflicts: 1157000 | #Constraints: 53880
2388.48/2414.93 c #Conflicts: 1158000 | #Constraints: 54880
2388.48/2414.93 c #Conflicts: 1159000 | #Constraints: 55880
2388.48/2414.93 c #Conflicts: 1160000 | #Constraints: 56880
2388.48/2414.93 c #Conflicts: 1161000 | #Constraints: 57880
2388.48/2414.93 c #Conflicts: 1162000 | #Constraints: 58880
2388.48/2414.93 c #Conflicts: 1163000 | #Constraints: 59880
2388.48/2414.93 c #Conflicts: 1164000 | #Constraints: 60880
2388.48/2414.93 c #Conflicts: 1165000 | #Constraints: 61880
2388.48/2414.93 c #Conflicts: 1166000 | #Constraints: 62880
2388.48/2414.93 c #Conflicts: 1167000 | #Constraints: 63880
2388.48/2414.93 c #Conflicts: 1168000 | #Constraints: 64880
2388.48/2414.93 c INPROCESSING
2388.48/2414.93 c GARBAGE COLLECT
2388.48/2414.93 c rational objective 19
2440.97/2467.68 c #Conflicts: 1169000 | #Constraints: 44365
2440.97/2467.68 c #Conflicts: 1170000 | #Constraints: 45365
2440.97/2467.68 c #Conflicts: 1171000 | #Constraints: 46365
2440.97/2467.68 c #Conflicts: 1172000 | #Constraints: 47365
2440.97/2467.68 c #Conflicts: 1173000 | #Constraints: 48365
2440.97/2467.68 c #Conflicts: 1174000 | #Constraints: 49365
2440.97/2467.68 c #Conflicts: 1175000 | #Constraints: 50365
2440.97/2467.68 c #Conflicts: 1176000 | #Constraints: 51365
2440.97/2467.68 c #Conflicts: 1177000 | #Constraints: 52365
2440.97/2467.68 c #Conflicts: 1178000 | #Constraints: 53365
2440.97/2467.68 c #Conflicts: 1179000 | #Constraints: 54365
2440.97/2467.68 c #Conflicts: 1180000 | #Constraints: 55365
2440.97/2467.68 c #Conflicts: 1181000 | #Constraints: 56365
2440.97/2467.68 c #Conflicts: 1182000 | #Constraints: 57365
2440.97/2467.68 c #Conflicts: 1183000 | #Constraints: 58365
2440.97/2467.68 c #Conflicts: 1184000 | #Constraints: 59365
2440.97/2467.68 c #Conflicts: 1185000 | #Constraints: 60365
2440.97/2467.68 c #Conflicts: 1186000 | #Constraints: 61365
2440.97/2467.68 c #Conflicts: 1187000 | #Constraints: 62365
2440.97/2467.68 c #Conflicts: 1188000 | #Constraints: 63365
2440.97/2467.68 c #Conflicts: 1189000 | #Constraints: 64365
2440.97/2467.68 c #Conflicts: 1190000 | #Constraints: 65365
2440.97/2467.68 c INPROCESSING
2440.97/2467.68 c GARBAGE COLLECT
2440.97/2467.68 c rational objective 19
2492.15/2519.02 c #Conflicts: 1191000 | #Constraints: 44788
2492.15/2519.02 c #Conflicts: 1192000 | #Constraints: 45788
2492.15/2519.02 c #Conflicts: 1193000 | #Constraints: 46788
2492.15/2519.02 c #Conflicts: 1194000 | #Constraints: 47788
2492.15/2519.02 c #Conflicts: 1195000 | #Constraints: 48788
2492.15/2519.02 c #Conflicts: 1196000 | #Constraints: 49788
2492.15/2519.02 c #Conflicts: 1197000 | #Constraints: 50788
2492.15/2519.02 c #Conflicts: 1198000 | #Constraints: 51788
2492.15/2519.02 c #Conflicts: 1199000 | #Constraints: 52788
2492.15/2519.02 c #Conflicts: 1200000 | #Constraints: 53788
2492.15/2519.02 c #Conflicts: 1201000 | #Constraints: 54788
2492.15/2519.02 c #Conflicts: 1202000 | #Constraints: 55788
2492.15/2519.02 c #Conflicts: 1203000 | #Constraints: 56788
2492.15/2519.02 c #Conflicts: 1204000 | #Constraints: 57788
2492.15/2519.02 c #Conflicts: 1205000 | #Constraints: 58788
2492.15/2519.02 c #Conflicts: 1206000 | #Constraints: 59788
2492.15/2519.02 c #Conflicts: 1207000 | #Constraints: 60788
2492.15/2519.02 c #Conflicts: 1208000 | #Constraints: 61788
2492.15/2519.02 c #Conflicts: 1209000 | #Constraints: 62788
2492.15/2519.02 c #Conflicts: 1210000 | #Constraints: 63788
2492.15/2519.02 c #Conflicts: 1211000 | #Constraints: 64788
2492.15/2519.02 c #Conflicts: 1212000 | #Constraints: 65788
2492.15/2519.02 c INPROCESSING
2492.15/2519.02 c GARBAGE COLLECT
2492.15/2519.02 c rational objective 19
2546.01/2573.13 c #Conflicts: 1213000 | #Constraints: 45132
2546.01/2573.13 c #Conflicts: 1214000 | #Constraints: 46132
2546.01/2573.13 c #Conflicts: 1215000 | #Constraints: 47132
2546.01/2573.13 c #Conflicts: 1216000 | #Constraints: 48132
2546.01/2573.13 c #Conflicts: 1217000 | #Constraints: 49132
2546.01/2573.13 c #Conflicts: 1218000 | #Constraints: 50132
2546.01/2573.13 c #Conflicts: 1219000 | #Constraints: 51132
2546.01/2573.13 c #Conflicts: 1220000 | #Constraints: 52132
2546.01/2573.13 c #Conflicts: 1221000 | #Constraints: 53132
2546.01/2573.13 c #Conflicts: 1222000 | #Constraints: 54132
2546.01/2573.13 c #Conflicts: 1223000 | #Constraints: 55132
2546.01/2573.13 c #Conflicts: 1224000 | #Constraints: 56132
2546.01/2573.13 c #Conflicts: 1225000 | #Constraints: 57132
2546.01/2573.13 c #Conflicts: 1226000 | #Constraints: 58132
2546.01/2573.13 c #Conflicts: 1227000 | #Constraints: 59132
2546.01/2573.13 c #Conflicts: 1228000 | #Constraints: 60132
2546.01/2573.13 c #Conflicts: 1229000 | #Constraints: 61132
2546.01/2573.13 c #Conflicts: 1230000 | #Constraints: 62132
2546.01/2573.13 c #Conflicts: 1231000 | #Constraints: 63132
2546.01/2573.13 c #Conflicts: 1232000 | #Constraints: 64132
2546.01/2573.13 c #Conflicts: 1233000 | #Constraints: 65132
2546.01/2573.13 c #Conflicts: 1234000 | #Constraints: 66132
2546.01/2573.13 c INPROCESSING
2546.01/2573.13 c GARBAGE COLLECT
2546.01/2573.13 c rational objective 19
2602.67/2634.60 c #Conflicts: 1235000 | #Constraints: 45098
2602.67/2634.60 c #Conflicts: 1236000 | #Constraints: 46098
2602.67/2634.60 c #Conflicts: 1237000 | #Constraints: 47098
2602.67/2634.60 c #Conflicts: 1238000 | #Constraints: 48098
2602.67/2634.60 c #Conflicts: 1239000 | #Constraints: 49098
2602.67/2634.60 c #Conflicts: 1240000 | #Constraints: 50098
2602.67/2634.60 c #Conflicts: 1241000 | #Constraints: 51098
2602.67/2634.60 c #Conflicts: 1242000 | #Constraints: 52098
2602.67/2634.60 c #Conflicts: 1243000 | #Constraints: 53098
2602.67/2634.60 c #Conflicts: 1244000 | #Constraints: 54098
2602.67/2634.60 c #Conflicts: 1245000 | #Constraints: 55098
2602.67/2634.60 c #Conflicts: 1246000 | #Constraints: 56098
2602.67/2634.60 c #Conflicts: 1247000 | #Constraints: 57098
2602.67/2634.60 c #Conflicts: 1248000 | #Constraints: 58098
2602.67/2634.60 c #Conflicts: 1249000 | #Constraints: 59098
2602.67/2634.60 c #Conflicts: 1250000 | #Constraints: 60098
2602.67/2634.60 c #Conflicts: 1251000 | #Constraints: 61098
2602.67/2634.60 c #Conflicts: 1252000 | #Constraints: 62098
2602.67/2634.60 c #Conflicts: 1253000 | #Constraints: 63098
2602.67/2634.60 c #Conflicts: 1254000 | #Constraints: 64098
2602.67/2634.60 c #Conflicts: 1255000 | #Constraints: 65098
2602.67/2634.60 c #Conflicts: 1256000 | #Constraints: 66098
2602.67/2634.60 c INPROCESSING
2602.67/2634.60 c GARBAGE COLLECT
2602.67/2634.60 c rational objective 19
2656.57/2688.71 c #Conflicts: 1257000 | #Constraints: 44867
2656.57/2688.71 c #Conflicts: 1258000 | #Constraints: 45867
2656.57/2688.71 c #Conflicts: 1259000 | #Constraints: 46867
2656.57/2688.71 c #Conflicts: 1260000 | #Constraints: 47867
2656.57/2688.71 c #Conflicts: 1261000 | #Constraints: 48867
2656.57/2688.71 c #Conflicts: 1262000 | #Constraints: 49867
2656.57/2688.71 c #Conflicts: 1263000 | #Constraints: 50867
2656.57/2688.71 c #Conflicts: 1264000 | #Constraints: 51867
2656.57/2688.71 c #Conflicts: 1265000 | #Constraints: 52867
2656.57/2688.71 c #Conflicts: 1266000 | #Constraints: 53867
2656.57/2688.71 c #Conflicts: 1267000 | #Constraints: 54867
2656.57/2688.71 c #Conflicts: 1268000 | #Constraints: 55867
2656.57/2688.71 c #Conflicts: 1269000 | #Constraints: 56867
2656.57/2688.71 c #Conflicts: 1270000 | #Constraints: 57867
2656.57/2688.71 c #Conflicts: 1271000 | #Constraints: 58867
2656.57/2688.71 c #Conflicts: 1272000 | #Constraints: 59867
2656.57/2688.71 c #Conflicts: 1273000 | #Constraints: 60867
2656.57/2688.71 c #Conflicts: 1274000 | #Constraints: 61867
2656.57/2688.71 c #Conflicts: 1275000 | #Constraints: 62867
2656.57/2688.71 c #Conflicts: 1276000 | #Constraints: 63867
2656.57/2688.71 c #Conflicts: 1277000 | #Constraints: 64867
2656.57/2688.71 c #Conflicts: 1278000 | #Constraints: 65867
2656.57/2688.71 c #Conflicts: 1279000 | #Constraints: 66867
2656.57/2688.71 c INPROCESSING
2656.57/2688.71 c GARBAGE COLLECT
2656.57/2688.71 c rational objective 19
2715.65/2747.95 c #Conflicts: 1280000 | #Constraints: 45460
2715.65/2747.95 c #Conflicts: 1281000 | #Constraints: 46460
2715.65/2747.95 c #Conflicts: 1282000 | #Constraints: 47460
2715.65/2747.95 c #Conflicts: 1283000 | #Constraints: 48460
2715.65/2747.95 c #Conflicts: 1284000 | #Constraints: 49460
2715.65/2747.95 c #Conflicts: 1285000 | #Constraints: 50460
2715.65/2747.95 c #Conflicts: 1286000 | #Constraints: 51460
2715.65/2747.95 c #Conflicts: 1287000 | #Constraints: 52460
2715.65/2747.95 c #Conflicts: 1288000 | #Constraints: 53460
2715.65/2747.95 c #Conflicts: 1289000 | #Constraints: 54460
2715.65/2747.95 c #Conflicts: 1290000 | #Constraints: 55460
2715.65/2747.95 c #Conflicts: 1291000 | #Constraints: 56460
2715.65/2747.95 c #Conflicts: 1292000 | #Constraints: 57460
2715.65/2747.95 c #Conflicts: 1293000 | #Constraints: 58460
2715.65/2747.95 c #Conflicts: 1294000 | #Constraints: 59460
2715.65/2747.95 c #Conflicts: 1295000 | #Constraints: 60460
2715.65/2747.95 c #Conflicts: 1296000 | #Constraints: 61460
2715.65/2747.95 c #Conflicts: 1297000 | #Constraints: 62460
2715.65/2747.95 c #Conflicts: 1298000 | #Constraints: 63460
2715.65/2747.95 c #Conflicts: 1299000 | #Constraints: 64460
2715.65/2747.95 c #Conflicts: 1300000 | #Constraints: 65460
2715.65/2747.95 c #Conflicts: 1301000 | #Constraints: 66460
2715.65/2747.95 c #Conflicts: 1302000 | #Constraints: 67460
2715.65/2747.95 c INPROCESSING
2715.65/2747.95 c GARBAGE COLLECT
2715.65/2747.95 c rational objective 19
2777.15/2809.63 c #Conflicts: 1303000 | #Constraints: 45861
2777.15/2809.63 c #Conflicts: 1304000 | #Constraints: 46861
2777.15/2809.63 c #Conflicts: 1305000 | #Constraints: 47861
2777.15/2809.63 c #Conflicts: 1306000 | #Constraints: 48861
2777.15/2809.63 c #Conflicts: 1307000 | #Constraints: 49861
2777.15/2809.63 c #Conflicts: 1308000 | #Constraints: 50861
2777.15/2809.63 c #Conflicts: 1309000 | #Constraints: 51861
2777.15/2809.63 c #Conflicts: 1310000 | #Constraints: 52861
2777.15/2809.63 c #Conflicts: 1311000 | #Constraints: 53861
2777.15/2809.63 c #Conflicts: 1312000 | #Constraints: 54861
2777.15/2809.63 c #Conflicts: 1313000 | #Constraints: 55861
2777.15/2809.63 c #Conflicts: 1314000 | #Constraints: 56861
2777.15/2809.63 c #Conflicts: 1315000 | #Constraints: 57861
2777.15/2809.63 c #Conflicts: 1316000 | #Constraints: 58861
2777.15/2809.63 c #Conflicts: 1317000 | #Constraints: 59861
2777.15/2809.63 c #Conflicts: 1318000 | #Constraints: 60861
2777.15/2809.63 c #Conflicts: 1319000 | #Constraints: 61861
2777.15/2809.63 c #Conflicts: 1320000 | #Constraints: 62861
2777.15/2809.63 c #Conflicts: 1321000 | #Constraints: 63861
2777.15/2809.63 c #Conflicts: 1322000 | #Constraints: 64861
2777.15/2809.63 c #Conflicts: 1323000 | #Constraints: 65861
2777.15/2809.63 c #Conflicts: 1324000 | #Constraints: 66861
2777.15/2809.63 c #Conflicts: 1325000 | #Constraints: 67861
2777.15/2809.63 c INPROCESSING
2777.15/2809.63 c GARBAGE COLLECT
2777.15/2809.63 c rational objective 19
3094.29/3128.22 c #Conflicts: 1326000 | #Constraints: 46072
3094.29/3128.22 c #Conflicts: 1327000 | #Constraints: 47072
3094.29/3128.22 c #Conflicts: 1328000 | #Constraints: 48072
3094.29/3128.22 c #Conflicts: 1329000 | #Constraints: 49072
3094.29/3128.22 c #Conflicts: 1330000 | #Constraints: 50072
3094.29/3128.22 c #Conflicts: 1331000 | #Constraints: 51072
3094.29/3128.22 c #Conflicts: 1332000 | #Constraints: 52072
3094.29/3128.22 c #Conflicts: 1333000 | #Constraints: 53072
3094.29/3128.22 c #Conflicts: 1334000 | #Constraints: 54072
3094.29/3128.22 c #Conflicts: 1335000 | #Constraints: 55072
3094.29/3128.22 c #Conflicts: 1336000 | #Constraints: 56072
3094.29/3128.22 c #Conflicts: 1337000 | #Constraints: 57072
3094.29/3128.22 c #Conflicts: 1338000 | #Constraints: 58072
3094.29/3128.22 c #Conflicts: 1339000 | #Constraints: 59072
3094.29/3128.22 c #Conflicts: 1340000 | #Constraints: 60072
3094.29/3128.22 c #Conflicts: 1341000 | #Constraints: 61072
3094.29/3128.22 c #Conflicts: 1342000 | #Constraints: 62072
3094.29/3128.22 c #Conflicts: 1343000 | #Constraints: 63072
3094.29/3128.22 c #Conflicts: 1344000 | #Constraints: 64072
3094.29/3128.22 c #Conflicts: 1345000 | #Constraints: 65072
3094.29/3128.22 c #Conflicts: 1346000 | #Constraints: 66072
3094.29/3128.22 c #Conflicts: 1347000 | #Constraints: 67072
3094.29/3128.22 c #Conflicts: 1348000 | #Constraints: 68072
3094.29/3128.22 c #Conflicts: 1349000 | #Constraints: 69072
3094.29/3128.22 c #Conflicts: 1350000 | #Constraints: 70072
3094.29/3128.22 c #Conflicts: 1351000 | #Constraints: 71072
3094.29/3128.22 c #Conflicts: 1352000 | #Constraints: 72072
3094.29/3128.22 c #Conflicts: 1353000 | #Constraints: 73072
3094.29/3128.22 c #Conflicts: 1354000 | #Constraints: 74072
3094.29/3128.22 c #Conflicts: 1355000 | #Constraints: 75072
3094.29/3128.22 c #Conflicts: 1356000 | #Constraints: 76072
3094.29/3128.22 c #Conflicts: 1357000 | #Constraints: 77072
3094.29/3128.22 c #Conflicts: 1358000 | #Constraints: 78072
3094.29/3128.22 c #Conflicts: 1359000 | #Constraints: 79072
3094.29/3128.22 c #Conflicts: 1360000 | #Constraints: 80072
3094.29/3128.22 c #Conflicts: 1361000 | #Constraints: 81072
3094.29/3128.22 c #Conflicts: 1362000 | #Constraints: 82072
3094.29/3128.22 c #Conflicts: 1363000 | #Constraints: 83072
3094.29/3128.22 c #Conflicts: 1364000 | #Constraints: 84072
3094.29/3128.22 c #Conflicts: 1365000 | #Constraints: 85072
3094.29/3128.22 c #Conflicts: 1366000 | #Constraints: 86072
3094.29/3128.22 c #Conflicts: 1367000 | #Constraints: 87072
3094.29/3128.22 c #Conflicts: 1368000 | #Constraints: 88072
3094.29/3128.22 c #Conflicts: 1369000 | #Constraints: 89072
3094.29/3128.22 c #Conflicts: 1370000 | #Constraints: 90072
3094.29/3128.22 c #Conflicts: 1371000 | #Constraints: 91072
3094.29/3128.22 c #Conflicts: 1372000 | #Constraints: 92072
3094.29/3128.22 c #Conflicts: 1373000 | #Constraints: 93072
3094.29/3128.22 c #Conflicts: 1374000 | #Constraints: 94072
3094.29/3128.22 c #Conflicts: 1375000 | #Constraints: 95072
3094.29/3128.22 c #Conflicts: 1376000 | #Constraints: 96072
3094.29/3128.22 c #Conflicts: 1377000 | #Constraints: 97072
3094.29/3128.22 c #Conflicts: 1378000 | #Constraints: 98072
3094.29/3128.22 c #Conflicts: 1379000 | #Constraints: 99072
3094.29/3128.22 c #Conflicts: 1380000 | #Constraints: 100072
3094.29/3128.22 c #Conflicts: 1381000 | #Constraints: 101072
3094.29/3128.22 c #Conflicts: 1382000 | #Constraints: 102072
3094.29/3128.22 c #Conflicts: 1383000 | #Constraints: 103072
3094.29/3128.22 c #Conflicts: 1384000 | #Constraints: 104072
3094.29/3128.22 c #Conflicts: 1385000 | #Constraints: 105072
3094.29/3128.22 c #Conflicts: 1386000 | #Constraints: 106072
3094.29/3128.22 c #Conflicts: 1387000 | #Constraints: 107072
3094.29/3128.22 c #Conflicts: 1388000 | #Constraints: 108072
3094.29/3128.22 c #Conflicts: 1389000 | #Constraints: 109072
3094.29/3128.22 c #Conflicts: 1390000 | #Constraints: 110072
3094.29/3128.22 c #Conflicts: 1391000 | #Constraints: 111072
3094.29/3128.22 c #Conflicts: 1392000 | #Constraints: 112072
3094.29/3128.22 c #Conflicts: 1393000 | #Constraints: 113072
3094.29/3128.22 c #Conflicts: 1394000 | #Constraints: 114072
3094.29/3128.22 c #Conflicts: 1395000 | #Constraints: 115072
3094.29/3128.22 c #Conflicts: 1396000 | #Constraints: 116072
3094.29/3128.22 c #Conflicts: 1397000 | #Constraints: 117072
3094.29/3128.22 c #Conflicts: 1398000 | #Constraints: 118072
3094.29/3128.22 c #Conflicts: 1399000 | #Constraints: 119072
3094.29/3128.22 c #Conflicts: 1400000 | #Constraints: 120072
3094.29/3128.22 c #Conflicts: 1401000 | #Constraints: 121072
3094.29/3128.22 c #Conflicts: 1402000 | #Constraints: 122072
3094.29/3128.22 c #Conflicts: 1403000 | #Constraints: 123072
3094.29/3128.22 c #Conflicts: 1404000 | #Constraints: 124072
3406.48/3443.67 c #Conflicts: 1405000 | #Constraints: 125072
3406.48/3443.67 c #Conflicts: 1406000 | #Constraints: 126072
3406.48/3443.67 c #Conflicts: 1407000 | #Constraints: 127072
3406.48/3443.67 c #Conflicts: 1408000 | #Constraints: 128072
3406.48/3443.67 c #Conflicts: 1409000 | #Constraints: 129072
3406.48/3443.67 c #Conflicts: 1410000 | #Constraints: 130072
3406.48/3443.67 c #Conflicts: 1411000 | #Constraints: 131072
3406.48/3443.67 c #Conflicts: 1412000 | #Constraints: 132072
3406.48/3443.67 c #Conflicts: 1413000 | #Constraints: 133072
3406.48/3443.67 c #Conflicts: 1414000 | #Constraints: 134072
3406.48/3443.67 c #Conflicts: 1415000 | #Constraints: 135072
3406.48/3443.67 c #Conflicts: 1416000 | #Constraints: 136072
3406.48/3443.67 c #Conflicts: 1417000 | #Constraints: 137072
3406.48/3443.67 c #Conflicts: 1418000 | #Constraints: 138072
3406.48/3443.67 c #Conflicts: 1419000 | #Constraints: 139072
3406.48/3443.67 c #Conflicts: 1420000 | #Constraints: 140072
3406.48/3443.67 c #Conflicts: 1421000 | #Constraints: 141072
3406.48/3443.67 c #Conflicts: 1422000 | #Constraints: 142072
3406.48/3443.67 c #Conflicts: 1423000 | #Constraints: 143072
3406.48/3443.67 c #Conflicts: 1424000 | #Constraints: 144072
3406.48/3443.67 c #Conflicts: 1425000 | #Constraints: 145072
3406.48/3443.67 c #Conflicts: 1426000 | #Constraints: 146072
3406.48/3443.67 c #Conflicts: 1427000 | #Constraints: 147072
3406.48/3443.67 c #Conflicts: 1428000 | #Constraints: 148072
3406.48/3443.67 c #Conflicts: 1429000 | #Constraints: 149072
3406.48/3443.67 c #Conflicts: 1430000 | #Constraints: 150072
3406.48/3443.67 c #Conflicts: 1431000 | #Constraints: 151072
3406.48/3443.67 c #Conflicts: 1432000 | #Constraints: 152072
3406.48/3443.67 c #Conflicts: 1433000 | #Constraints: 153072
3406.48/3443.67 c #Conflicts: 1434000 | #Constraints: 154072
3406.48/3443.67 c #Conflicts: 1435000 | #Constraints: 155072
3406.48/3443.67 c #Conflicts: 1436000 | #Constraints: 156072
3406.48/3443.67 c #Conflicts: 1437000 | #Constraints: 157072
3406.48/3443.67 c #Conflicts: 1438000 | #Constraints: 158072
3406.48/3443.67 c #Conflicts: 1439000 | #Constraints: 159072
3406.48/3443.67 c #Conflicts: 1440000 | #Constraints: 160072
3406.48/3443.67 c #Conflicts: 1441000 | #Constraints: 161072
3406.48/3443.67 c #Conflicts: 1442000 | #Constraints: 162072
3406.48/3443.67 c #Conflicts: 1443000 | #Constraints: 163072
3406.48/3443.67 c #Conflicts: 1444000 | #Constraints: 164072
3406.48/3443.67 c INPROCESSING
3406.48/3443.67 c GARBAGE COLLECT
3406.48/3443.67 c rational objective 19
3474.05/3511.44 c #Conflicts: 1445000 | #Constraints: 73396
3474.05/3511.44 c #Conflicts: 1446000 | #Constraints: 74396
3474.05/3511.44 c #Conflicts: 1447000 | #Constraints: 75396
3474.05/3511.44 c #Conflicts: 1448000 | #Constraints: 76396
3474.05/3511.44 c #Conflicts: 1449000 | #Constraints: 77396
3474.05/3511.44 c #Conflicts: 1450000 | #Constraints: 78396
3474.05/3511.44 c #Conflicts: 1451000 | #Constraints: 79396
3474.05/3511.44 c #Conflicts: 1452000 | #Constraints: 80396
3474.05/3511.44 c #Conflicts: 1453000 | #Constraints: 81396
3474.05/3511.44 c #Conflicts: 1454000 | #Constraints: 82396
3474.05/3511.44 c #Conflicts: 1455000 | #Constraints: 83396
3474.05/3511.44 c #Conflicts: 1456000 | #Constraints: 84396
3474.05/3511.44 c #Conflicts: 1457000 | #Constraints: 85396
3474.05/3511.44 c #Conflicts: 1458000 | #Constraints: 86396
3474.05/3511.44 c #Conflicts: 1459000 | #Constraints: 87396
3474.05/3511.44 c #Conflicts: 1460000 | #Constraints: 88396
3474.05/3511.44 c bounds 20 >= 20 @ 3450.13
3474.05/3511.44 c cpu time 3450.13 s
3474.05/3511.44 c deterministic time 155240523751 1.55e+11
3474.05/3511.44 c optimization time 0.010761 s
3474.05/3511.44 c total solve time 3450.03 s
3474.05/3511.44 c core-guided solve time 1392.2 s
3474.05/3511.44 c propagation time 1585.58 s
3474.05/3511.44 c conflict analysis time 1717.35 s
3474.05/3511.44 c propagations 1184567821
3474.05/3511.44 c resolve steps 201686843
3474.05/3511.44 c decisions 4166883
3474.05/3511.44 c conflicts 1460357
3474.05/3511.44 c restarts 2812
3474.05/3511.44 c inprocessing phases 107
3474.05/3511.44 c garbage collections 107 ,( 100.00 )
3474.05/3511.44 c input clauses 21337 ,( 99.20 )
3474.05/3511.44 c input cardinalities 104 ,( 0.48 )
3474.05/3511.44 c input general constraints 69 ,( 0.32 )
3474.05/3511.44 c input average constraint length 3.57
3474.05/3511.44 c input average constraint degree 1.43
3474.05/3511.44 c learned clauses 1314308 ,( 89.97 )
3474.05/3511.44 c learned cardinalities 3243 ,( 0.22 )
3474.05/3511.44 c learned general constraints 143245 ,( 9.81 )
3474.05/3511.44 c learned average constraint length 752.00
3474.05/3511.44 c learned average constraint degree 4201139.96
3474.05/3511.44 c watched CF 32, 64, 128, Arb: 90293 , 0 , 0 , 0
3474.05/3511.44 c counting CF 32, 64, 128, Arb: 53022 , 0 , 0 , 0
3474.05/3511.44 c watched constraints 90293 ,( 63.00 )
3474.05/3511.44 c counting constraints 53021 ,( 37.00 )
3474.05/3511.44 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2289091282 , 45586474 , 7396563520 ,( 2227701597 , 5168861923 )
3474.05/3511.44 c gcd simplifications 1126
3474.05/3511.44 c detected cardinalities 4
3474.05/3511.44 c weakened non-implied lits 106891260
3474.05/3511.44 c weakened non-implying lits 121060
3474.05/3511.44 c original variables 6027
3474.05/3511.44 c clausal propagations 1030311612
3474.05/3511.44 c cardinality propagations 10455008
3474.05/3511.44 c watched propagations 11046945
3474.05/3511.44 c counting propagations 127834176
3474.05/3511.44 c watch lookups 62127591649
3474.05/3511.44 c watch backjump lookups 0
3474.05/3511.44 c watch checks 76396210020
3474.05/3511.44 c propagation checks 11197772765
3474.05/3511.44 c constraint additions 3138491803
3474.05/3511.44 c trail pops 1190194907
3474.05/3511.44 c formula constraints 21268
3474.05/3511.44 c learned constraints 1460356
3474.05/3511.44 c bound constraints 29
3474.05/3511.44 c core-guided constraints 213
3474.05/3511.44 c encountered formula constraints 162771173
3474.05/3511.44 c encountered learned constraints 38724428
3474.05/3511.44 c encountered bound constraints 184
3474.05/3511.44 c encountered core-guided constraints 1651374
3474.05/3511.44 c LP total time 461.115 s
3474.05/3511.44 c LP solve time 375.34 s
3474.05/3511.44 c LP constraints added 22231
3474.05/3511.44 c LP constraints removed 943
3474.05/3511.44 c LP pivots internal 1462874
3474.05/3511.44 c LP pivots root 65028
3474.05/3511.44 c LP calls 1041
3474.05/3511.44 c LP optimalities 645
3474.05/3511.44 c LP no pivot count 91
3474.05/3511.44 c LP infeasibilities 389
3474.05/3511.44 c LP valid Farkas constraints 388
3474.05/3511.44 c LP learned Farkas constraints 5
3474.05/3511.44 c LP basis resets 4
3474.05/3511.44 c LP cycling count 3
3474.05/3511.44 c LP singular count 0
3474.05/3511.44 c LP no primal count 0
3474.05/3511.44 c LP no farkas count 1
3474.05/3511.44 c LP other issue count 0
3474.05/3511.44 c LP Gomory cuts 47
3474.05/3511.44 c LP learned cuts 916
3474.05/3511.44 c LP deleted cuts 943
3474.05/3511.44 c LP encountered Gomory constraints 7
3474.05/3511.44 c LP encountered Farkas constraints 20
3474.05/3511.44 c LP encountered learned Farkas constraints 9
3474.05/3511.44 c CG auxiliary variables introduced 75
3474.05/3511.44 c CG solutions found 7
3474.05/3511.44 c CG cores constructed 15
3474.05/3511.44 c CG core cardinality constraints returned 0
3474.05/3511.44 c CG unit cores 0
3474.05/3511.44 c CG single cores 15
3474.05/3511.44 c CG blocks removed during cardinality reduction 0
3474.05/3511.44 c CG first core best 0
3474.05/3511.44 c CG decision core best 0
3474.05/3511.44 c CG core reduction tie 0
3474.05/3511.44 c CG core degree average 1.00
3474.05/3511.44 c CG core slack average 46.47
3474.05/3511.44 c CG core upper bound improvements 26
3474.05/3511.44 c STR number of successful calls 0
3474.05/3511.44 c STR number of unsuccessful calls 0
3474.05/3511.44 c STR number of inconclusive calls 0
3474.05/3511.44 c STR number of successful attempts 0
3474.05/3511.44 c STR number of unsuccessful attempts 0
3474.05/3511.44 c STR number of inconclusive attempts 0
3474.05/3511.44 c STR average degree increase per successful call inf
3474.05/3511.44 c STR average degree increase per successful attempt inf
3474.05/3511.44 c STR total number of conflicts for successful attempts 0
3474.05/3511.44 c STR total number of conflicts for unsuccessful attempts 0
3474.05/3511.44 c STR total number of conflicts for inconclusive attempts 0
3474.05/3511.44 c STR average number of conflicts per successful attempt inf
3474.05/3511.44 c STR average number of conflicts per unsuccessful attempt inf
3474.05/3511.44 c STR average number of conflicts per inconclusive attempt inf
3474.05/3511.44 c AVG.sumWPerc 34.74
3474.05/3511.44 c bigint constraints 0
3474.05/3511.44 o 20
3474.05/3511.44 s OPTIMUM FOUND
3474.05/3511.44 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
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 (57304 MiB free)
memory of node 1: 64507 MiB (38686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497427-1751379651/watcher-4497427-1751379651 -o /tmp/evaluation-result-4497427-1751379651/solver-4497427-1751379651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51008 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4497427-1751379651.opb PROOFDIR/proof-4497427-1751379651
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=53116, runsolver pid=53113
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.16 4.15 4.10 5/275 53119
/proc/meminfo: memFree=98290104/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=57616 memory=12788 CPUtime=0.04 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 978 0 0 0 3 1 0 0 20 0 1 0 53643988 58998784 3197 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 14404 3197 1920 1147 0 1831 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61808 KiB
Current children cumulated memory: 15860 KiB
[startup+0.205673 s]*
/proc/loadavg: 4.16 4.15 4.10 5/275 53119
/proc/meminfo: memFree=98273720/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=88448 memory=40584 CPUtime=0.14 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 6271 0 0 0 11 3 0 0 20 0 1 0 53643988 90570752 10146 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 22112 10146 2304 1147 0 9539 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 92640 KiB
Current children cumulated memory: 43656 KiB
[startup+0.305723 s]*
/proc/loadavg: 4.16 4.15 4.10 5/275 53119
/proc/meminfo: memFree=98265656/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=89324 memory=40840 CPUtime=0.23 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 6357 0 0 0 20 3 0 0 20 0 1 0 53643988 91467776 10210 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 22331 10210 2304 1147 0 9758 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 93516 KiB
Current children cumulated memory: 43912 KiB
[startup+0.70015 s]
/proc/loadavg: 4.16 4.15 4.10 6/275 53119
/proc/meminfo: memFree=98257592/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=92496 memory=45960 CPUtime=0.62 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 7174 0 0 0 58 4 0 0 20 0 1 0 53643988 94715904 11490 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 23124 11490 2336 1147 0 10551 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 96688 KiB
Current children cumulated memory: 49032 KiB
[startup+1.50019 s]
/proc/loadavg: 4.16 4.15 4.10 5/275 53119
/proc/meminfo: memFree=98234196/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=98888 memory=52360 CPUtime=1.42 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 8780 0 0 0 136 6 0 0 20 0 1 0 53643988 101261312 13090 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 24722 13090 2336 1147 0 12149 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 103080 KiB
Current children cumulated memory: 55432 KiB
[startup+3.10565 s]
/proc/loadavg: 4.15 4.15 4.10 5/275 53119
/proc/meminfo: memFree=98138452/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=110628 memory=62340 CPUtime=3.02 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 10738 0 0 0 293 9 0 0 20 0 1 0 53643988 113283072 15585 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 27657 15585 2368 1147 0 15084 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 65412 KiB
[startup+6.30014 s]
/proc/loadavg: 4.15 4.15 4.10 5/275 53119
/proc/meminfo: memFree=97999928/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=117884 memory=69508 CPUtime=6.2 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 12524 0 0 0 605 15 0 0 20 0 1 0 53643988 120713216 17377 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 29471 17377 2368 1147 0 16898 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 122076 KiB
Current children cumulated memory: 72580 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.10 5/275 53119
/proc/meminfo: memFree=97642784/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=132632 memory=83844 CPUtime=12.57 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 16110 0 0 0 1230 27 0 0 20 0 1 0 53643988 135815168 20961 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 33158 20961 2368 1147 0 20585 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 136824 KiB
Current children cumulated memory: 86916 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.16 4.10 5/275 53120
/proc/meminfo: memFree=97009176/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=142288 memory=91616 CPUtime=25.3 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 17030 0 0 0 2485 45 0 0 20 0 1 0 53643988 145702912 22904 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 35572 22904 2368 1147 0 22999 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 146480 KiB
Current children cumulated memory: 94688 KiB
[startup+51.1056 s]
/proc/loadavg: 4.33 4.19 4.12 5/270 53147
/proc/meminfo: memFree=110965796/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=162376 memory=107792 CPUtime=50.44 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 19567 0 0 0 4944 100 0 0 20 0 1 0 53643988 166273024 26948 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 40594 26948 2368 1147 0 28021 0
Current children cumulated CPU time: 50.46 s
Current children cumulated vsize: 166568 KiB
Current children cumulated memory: 110864 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.18 4.11 7/266 53149
/proc/meminfo: memFree=107791356/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=184060 memory=116744 CPUtime=100.98 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 20777 0 0 0 9922 176 0 0 20 0 1 0 53643988 188477440 29186 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 46015 29186 2368 1147 0 33442 0
Current children cumulated CPU time: 101 s
Current children cumulated vsize: 188252 KiB
Current children cumulated memory: 119816 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/266 53154
/proc/meminfo: memFree=105195332/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=188712 memory=121672 CPUtime=160.4 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 22056 0 0 0 15781 259 0 0 20 0 1 0 53643988 193241088 30418 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 47178 30418 2368 1147 0 34605 0
Current children cumulated CPU time: 160.42 s
Current children cumulated vsize: 192904 KiB
Current children cumulated memory: 124744 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/259 53183
/proc/meminfo: memFree=106835756/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=197604 memory=133320 CPUtime=219.79 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 24371 0 0 0 21640 339 0 0 20 0 1 0 53643988 202346496 33330 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
################
# More data... #
################
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 44114 0 0 0 322462 2336 0 0 20 0 1 0 53643988 798285824 137370 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 194894 137370 2464 1147 0 182321 0
Current children cumulated CPU time: 3248 s
Current children cumulated vsize: 783768 KiB
Current children cumulated memory: 552552 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.13 3.30 4/262 53404
/proc/meminfo: memFree=99322552/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=783040 memory=575192 CPUtime=3305.46 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 44949 0 0 0 328197 2349 0 0 20 0 1 0 53643988 801832960 143798 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 195760 143798 2464 1147 0 183187 0
Current children cumulated CPU time: 3305.48 s
Current children cumulated vsize: 787232 KiB
Current children cumulated memory: 578264 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.12 3.29 4/263 53411
/proc/meminfo: memFree=99109048/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=785932 memory=605004 CPUtime=3365.27 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 45733 0 0 0 334166 2361 0 0 20 0 1 0 53643988 804794368 151251 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 196483 151251 2464 1147 0 183910 0
Current children cumulated CPU time: 3365.29 s
Current children cumulated vsize: 790124 KiB
Current children cumulated memory: 608076 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.12 3.27 4/263 53413
/proc/meminfo: memFree=98977384/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3425.11 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 340133 2378 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3425.13 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3511.48 s]
# the end of solver process 53116 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3450.16 s, system=23.9652 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3481.6 s]
/proc/loadavg: 3.10 3.11 3.27 4/263 53413
/proc/meminfo: memFree=98963816/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3444.32 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 342048 2384 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3444.34 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3494.4 s]
/proc/loadavg: 3.08 3.11 3.26 4/263 53413
/proc/meminfo: memFree=98937608/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3457.09 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 343321 2388 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3457.11 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3500.8 s]
/proc/loadavg: 3.15 3.12 3.27 4/263 53414
/proc/meminfo: memFree=98928536/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3463.45 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 343955 2390 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3463.47 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3507.2 s]
/proc/loadavg: 3.14 3.12 3.27 4/263 53414
/proc/meminfo: memFree=98906684/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3469.83 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 344591 2392 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3469.85 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3508.8 s]
/proc/loadavg: 3.14 3.12 3.27 4/263 53414
/proc/meminfo: memFree=98898620/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3471.43 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 344750 2393 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3471.45 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3510.4 s]
/proc/loadavg: 3.13 3.12 3.27 4/263 53414
/proc/meminfo: memFree=98898124/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3473.02 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 344909 2393 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3473.04 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3511.2 s]
/proc/loadavg: 3.13 3.12 3.27 4/263 53414
/proc/meminfo: memFree=98898124/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3473.83 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 344989 2394 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3473.85 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
[startup+3511.4 s]
/proc/loadavg: 3.13 3.12 3.27 4/263 53414
/proc/meminfo: memFree=98898124/131249988 swapFree=33010160/33010684
[pid=53116] ppid=53113 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/53116/stat : 53116 (run-opt-break-l) S 53113 53116 50997 0 -1 4194304 241 4839 0 0 0 0 1 1 20 0 1 0 53643983 4292608 768 18446744073709551615 94461695803392 94461696697925 140734777297008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94461696936976 94461696984720 94461711536128 140734777301269 140734777301470 140734777301470 140734777307072 0
/proc/53116/statm: 1048 768 704 219 0 110 0
[pid=53119] ppid=53116 vsize=793420 memory=628084 CPUtime=3474.03 cores=4,6
/proc/53119/stat : 53119 (roundingsat) R 53116 53116 50997 0 -1 4194304 47425 0 0 0 345009 2394 0 0 20 0 1 0 53643988 812462080 157021 18446744073709551615 4227072 8923433 140737273654464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29831168 140737273661716 140737273661992 140737273661992 140737273667562 0
/proc/53119/statm: 198355 157021 2464 1147 0 185782 0
Current children cumulated CPU time: 3474.05 s
Current children cumulated vsize: 797612 KiB
Current children cumulated memory: 631156 KiB
Child status: 0
Real time (s): 3511.48
CPU time (s): 3474.13
CPU user time (s): 3450.16
CPU system time (s): 23.9652
CPU usage (%): 98.9363
Max. virtual memory (cumulated for all children) (KiB): 797612
Max. memory (cumulated for all children) (KiB): 631156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3450.16
system time used= 23.9652
maximum resident set size= 628084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9732616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 698
involuntary context switches= 6267
# summary of solver processes directly reported to runsolver:
# pid: 53116
# total CPU time (s): 3474.13
# total CPU user time (s): 3450.16
# total CPU system time (s): 23.9652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69529 second user time and 15.4913 second system time
The end
Begin job on nodeC034 at 2025-07-01 16:20:51
IDJOB=4497427
IDBENCH=148185
IDSOLVER=3360
FILE ID=nodeC034/4497427-1751379651
RUNJOBID= nodeC034-1751371625-51008
SLURM_JOB_ID= 9598197
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497427-1751379651/watcher-4497427-1751379651 -o /tmp/evaluation-result-4497427-1751379651/solver-4497427-1751379651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51008 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4497427-1751379651.opb PROOFDIR/proof-4497427-1751379651
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1910967035
nodeC034 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.765
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.53
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.761
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.53
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 : 3597.152
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.53
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 : 3598.909
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.53
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.956
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.53
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.764
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.53
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.769
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.53
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.955
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 98294000 kB
MemAvailable: 126654948 kB
Buffers: 2128 kB
Cached: 29118308 kB
SwapCached: 36 kB
Active: 3350364 kB
Inactive: 28678732 kB
Active(anon): 2922660 kB
Inactive(anon): 4208 kB
Active(file): 427704 kB
Inactive(file): 28674524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 6518964 kB
Writeback: 0 kB
AnonPages: 2911900 kB
Mapped: 114288 kB
Shmem: 18068 kB
KReclaimable: 195516 kB
Slab: 490792 kB
SReclaimable: 195516 kB
SUnreclaim: 295276 kB
KernelStack: 4464 kB
PageTables: 9016 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 3610232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1234944 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC034 at 2025-07-01 17:19:23