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-4532462-1752596566.opb'
0.00/0.02 c read 0.62MB (10.56ms)
0.00/0.02 c [cnf: #variables 6027 #clauses 21269 #duplicates 10 #arr 54701]
0.00/0.07 c output proof to 'PROOFDIR/proof-4532462-1752596566'
0.00/0.07 c
0.00/0.07 c make graph and approximate orbits
0.00/0.08 c [group: #orbits ~= 2] (10.64ms)
0.00/0.08 c
0.00/0.08 c detect special group actions
0.00/0.08 c probe for Johnson action (limit=64)
0.00/0.08 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c found row 5x2, generating row predicate
0.00/0.08 c (1.81ms)
0.00/0.08 c
0.00/0.08 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 45387 #edges 145584]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 1.00*10^0 #generators 0] (3.66ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 4 #add_vars 0]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4532462-1752596566.opb.pre'
0.00/0.09 c wrote 0.63MB (1.62ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 45.45ms 61.46% other
0.00/0.09 c 10.64ms 14.39% approx_orbits
0.00/0.09 c 10.55ms 14.27% parse
0.00/0.09 c 3.66ms 4.95% detect_generic
0.00/0.09 c 1.81ms 2.45% detect_special
0.00/0.09 c 1.62ms 2.19% output
0.00/0.09 c 0.22ms 0.29% finalize_order
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 73.94ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.03/0.11 c RoundingSat 2
0.03/0.11 c branch pb25
0.03/0.11 c commit 0f876b3
0.11/0.26 c #variables 6027 #constraints 21268
0.11/0.26 c objective is ce32
0.11/0.26 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.11/0.26 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.11/0.26 c bounds - >= 0 @ 0.096643
0.28/0.44 c bounds 26 >= 0 @ 0.240557
0.28/0.45 c bounds 26 >= 6 @ 0.24608
0.28/0.45 c bounds 26 >= 7 @ 0.24711
0.28/0.45 c bounds 26 >= 8 @ 0.248061
0.28/0.45 c bounds 25 >= 8 @ 0.252608
0.28/0.46 c bounds 25 >= 9 @ 0.255032
0.28/0.46 c bounds 25 >= 10 @ 0.255214
0.28/0.46 c bounds 25 >= 11 @ 0.25607
0.28/0.46 c bounds 25 >= 12 @ 0.260008
0.28/0.47 c bounds 24 >= 12 @ 0.261459
1.94/2.19 c #Conflicts: 1000 | #Constraints: 22304
1.94/2.19 c bounds 23 >= 12 @ 1.89944
2.03/2.21 c bounds 23 >= 13 @ 1.91667
2.23/2.46 c #Conflicts: 2000 | #Constraints: 23311
2.23/2.46 c INPROCESSING
2.23/2.46 c GARBAGE COLLECT
2.23/2.46 c rational objective 13
5.12/5.32 c #Conflicts: 3000 | #Constraints: 23302
5.12/5.32 c bounds 23 >= 14 @ 4.98355
5.12/5.33 c bounds 22 >= 14 @ 4.99327
5.22/5.45 c bounds 21 >= 14 @ 5.11374
7.83/8.09 c #Conflicts: 4000 | #Constraints: 24322
7.83/8.09 c INPROCESSING
7.83/8.09 c GARBAGE COLLECT
7.83/8.09 c #Conflicts: 5000 | #Constraints: 23717
7.83/8.09 c #Conflicts: 6000 | #Constraints: 24717
7.83/8.09 c INPROCESSING
7.83/8.09 c GARBAGE COLLECT
7.83/8.09 c rational objective 14
9.91/10.12 c #Conflicts: 7000 | #Constraints: 23719
9.91/10.12 c bounds 21 >= 15 @ 9.69633
11.91/12.18 c #Conflicts: 8000 | #Constraints: 24740
11.91/12.18 c #Conflicts: 9000 | #Constraints: 25740
11.91/12.18 c INPROCESSING
11.91/12.18 c GARBAGE COLLECT
11.91/12.18 c rational objective 15
16.91/17.18 c #Conflicts: 10000 | #Constraints: 24489
16.91/17.18 c #Conflicts: 11000 | #Constraints: 25491
16.91/17.18 c #Conflicts: 12000 | #Constraints: 26491
16.91/17.18 c INPROCESSING
16.91/17.18 c GARBAGE COLLECT
16.91/17.18 c rational objective 15
18.80/19.03 c bounds 21 >= 16 @ 18.459
24.68/24.96 c #Conflicts: 13000 | #Constraints: 24943
24.68/24.96 c #Conflicts: 14000 | #Constraints: 25943
24.68/24.96 c #Conflicts: 15000 | #Constraints: 26943
24.68/24.96 c INPROCESSING
24.68/24.96 c GARBAGE COLLECT
24.68/24.96 c #Conflicts: 16000 | #Constraints: 25245
24.68/24.96 c #Conflicts: 17000 | #Constraints: 26245
24.68/24.96 c #Conflicts: 18000 | #Constraints: 27245
24.68/24.96 c INPROCESSING
24.68/24.96 c GARBAGE COLLECT
24.68/24.96 c rational objective 16
27.56/27.86 c #Conflicts: 19000 | #Constraints: 25286
27.56/27.86 c #Conflicts: 20000 | #Constraints: 26286
27.56/27.86 c #Conflicts: 21000 | #Constraints: 27286
27.56/27.86 c INPROCESSING
27.56/27.86 c GARBAGE COLLECT
27.56/27.86 c rational objective 16
33.66/33.94 c #Conflicts: 22000 | #Constraints: 25038
33.66/33.94 c #Conflicts: 23000 | #Constraints: 26038
33.66/33.94 c #Conflicts: 24000 | #Constraints: 27038
33.66/33.94 c #Conflicts: 25000 | #Constraints: 28038
33.66/33.94 c INPROCESSING
33.66/33.94 c GARBAGE COLLECT
33.66/33.94 c rational objective 16
34.43/38.29 c bounds 21 >= 17 @ 33.9598
37.43/41.29 c #Conflicts: 26000 | #Constraints: 25690
37.43/41.29 c #Conflicts: 27000 | #Constraints: 26690
37.43/41.29 c #Conflicts: 28000 | #Constraints: 27690
37.43/41.29 c #Conflicts: 29000 | #Constraints: 28690
37.43/41.29 c INPROCESSING
37.43/41.29 c GARBAGE COLLECT
37.43/41.29 c rational objective 17
42.82/46.66 c #Conflicts: 30000 | #Constraints: 26138
42.82/46.66 c #Conflicts: 31000 | #Constraints: 27138
42.82/46.66 c #Conflicts: 32000 | #Constraints: 28138
42.82/46.66 c #Conflicts: 33000 | #Constraints: 29138
42.82/46.66 c INPROCESSING
42.82/46.66 c GARBAGE COLLECT
42.82/46.66 c rational objective 17
47.90/51.70 c #Conflicts: 34000 | #Constraints: 26359
47.90/51.70 c #Conflicts: 35000 | #Constraints: 27359
47.90/51.70 c #Conflicts: 36000 | #Constraints: 28359
47.90/51.70 c #Conflicts: 37000 | #Constraints: 29359
47.90/51.70 c INPROCESSING
47.90/51.70 c GARBAGE COLLECT
47.90/51.70 c rational objective 17
54.29/58.17 c #Conflicts: 38000 | #Constraints: 26316
54.29/58.17 c #Conflicts: 39000 | #Constraints: 27316
54.29/58.17 c #Conflicts: 40000 | #Constraints: 28316
54.29/58.17 c #Conflicts: 41000 | #Constraints: 29316
54.29/58.17 c INPROCESSING
54.29/58.17 c GARBAGE COLLECT
54.29/58.17 c rational objective 17
59.76/63.68 c #Conflicts: 42000 | #Constraints: 26141
59.76/63.68 c #Conflicts: 43000 | #Constraints: 27141
59.76/63.68 c #Conflicts: 44000 | #Constraints: 28141
59.76/63.68 c #Conflicts: 45000 | #Constraints: 29141
59.76/63.68 c #Conflicts: 46000 | #Constraints: 30141
59.76/63.68 c INPROCESSING
59.76/63.68 c GARBAGE COLLECT
59.76/63.68 c rational objective 17
65.36/69.24 c #Conflicts: 47000 | #Constraints: 26721
65.36/69.24 c #Conflicts: 48000 | #Constraints: 27721
65.36/69.24 c #Conflicts: 49000 | #Constraints: 28721
65.36/69.24 c #Conflicts: 50000 | #Constraints: 29721
65.36/69.24 c #Conflicts: 51000 | #Constraints: 30721
65.36/69.24 c INPROCESSING
65.36/69.24 c GARBAGE COLLECT
65.36/69.24 c rational objective 17
71.83/78.73 c #Conflicts: 52000 | #Constraints: 27176
71.83/78.73 c #Conflicts: 53000 | #Constraints: 28176
71.83/78.73 c #Conflicts: 54000 | #Constraints: 29176
71.83/78.73 c #Conflicts: 55000 | #Constraints: 30176
71.83/78.73 c #Conflicts: 56000 | #Constraints: 31176
71.83/78.73 c INPROCESSING
71.83/78.73 c GARBAGE COLLECT
71.83/78.73 c rational objective 17
80.80/87.72 c #Conflicts: 57000 | #Constraints: 27312
80.80/87.72 c #Conflicts: 58000 | #Constraints: 28312
80.80/87.72 c #Conflicts: 59000 | #Constraints: 29312
80.80/87.72 c #Conflicts: 60000 | #Constraints: 30312
80.80/87.72 c #Conflicts: 61000 | #Constraints: 31312
80.80/87.72 c INPROCESSING
80.80/87.72 c GARBAGE COLLECT
80.80/87.72 c rational objective 17
88.48/95.40 c #Conflicts: 62000 | #Constraints: 27374
88.48/95.40 c #Conflicts: 63000 | #Constraints: 28374
88.48/95.40 c #Conflicts: 64000 | #Constraints: 29374
88.48/95.40 c #Conflicts: 65000 | #Constraints: 30374
88.48/95.40 c #Conflicts: 66000 | #Constraints: 31374
88.48/95.40 c INPROCESSING
88.48/95.40 c GARBAGE COLLECT
88.48/95.40 c rational objective 17
95.56/104.79 c #Conflicts: 67000 | #Constraints: 27132
95.56/104.79 c #Conflicts: 68000 | #Constraints: 28132
95.56/104.79 c #Conflicts: 69000 | #Constraints: 29132
95.56/104.79 c #Conflicts: 70000 | #Constraints: 30132
95.56/104.79 c #Conflicts: 71000 | #Constraints: 31132
95.56/104.79 c bounds 21 >= 18 @ 94.4898
96.65/105.88 c #Conflicts: 72000 | #Constraints: 32168
96.65/105.88 c INPROCESSING
96.65/105.88 c GARBAGE COLLECT
96.65/105.88 c rational objective 18
103.74/112.94 c #Conflicts: 73000 | #Constraints: 27757
103.74/112.94 c #Conflicts: 74000 | #Constraints: 28757
103.74/112.94 c #Conflicts: 75000 | #Constraints: 29757
103.74/112.94 c #Conflicts: 76000 | #Constraints: 30757
103.74/112.94 c #Conflicts: 77000 | #Constraints: 31757
103.74/112.94 c #Conflicts: 78000 | #Constraints: 32757
103.74/112.94 c INPROCESSING
103.74/112.94 c GARBAGE COLLECT
103.74/112.94 c rational objective 18
113.32/122.54 c #Conflicts: 79000 | #Constraints: 28136
113.32/122.54 c #Conflicts: 80000 | #Constraints: 29136
113.32/122.54 c #Conflicts: 81000 | #Constraints: 30136
113.32/122.54 c #Conflicts: 82000 | #Constraints: 31136
113.32/122.54 c #Conflicts: 83000 | #Constraints: 32136
113.32/122.54 c #Conflicts: 84000 | #Constraints: 33136
113.32/122.54 c INPROCESSING
113.32/122.54 c GARBAGE COLLECT
113.32/122.54 c rational objective 18
119.00/128.25 c #Conflicts: 85000 | #Constraints: 28399
119.00/128.25 c #Conflicts: 86000 | #Constraints: 29399
119.00/128.25 c #Conflicts: 87000 | #Constraints: 30399
119.00/128.25 c #Conflicts: 88000 | #Constraints: 31399
119.00/128.25 c #Conflicts: 89000 | #Constraints: 32399
119.00/128.25 c #Conflicts: 90000 | #Constraints: 33399
119.00/128.25 c INPROCESSING
119.00/128.25 c GARBAGE COLLECT
119.00/128.25 c rational objective 18
128.69/139.54 c #Conflicts: 91000 | #Constraints: 28381
128.69/139.54 c #Conflicts: 92000 | #Constraints: 29381
128.69/139.54 c #Conflicts: 93000 | #Constraints: 30381
128.69/139.54 c #Conflicts: 94000 | #Constraints: 31381
128.69/139.54 c #Conflicts: 95000 | #Constraints: 32381
128.69/139.54 c #Conflicts: 96000 | #Constraints: 33381
128.69/139.54 c INPROCESSING
128.69/139.54 c GARBAGE COLLECT
128.69/139.54 c rational objective 18
133.19/144.01 c #Conflicts: 97000 | #Constraints: 28242
133.19/144.01 c #Conflicts: 98000 | #Constraints: 29242
133.19/144.01 c #Conflicts: 99000 | #Constraints: 30242
133.19/144.01 c #Conflicts: 100000 | #Constraints: 31242
133.19/144.01 c #Conflicts: 101000 | #Constraints: 32242
133.19/144.01 c bounds 20 >= 18 @ 131.65
135.78/146.60 c #Conflicts: 102000 | #Constraints: 33243
135.78/146.60 c #Conflicts: 103000 | #Constraints: 34243
135.78/146.60 c INPROCESSING
135.78/146.60 c GARBAGE COLLECT
135.78/146.60 c rational objective 18
145.74/156.64 c #Conflicts: 104000 | #Constraints: 28853
145.74/156.64 c #Conflicts: 105000 | #Constraints: 29853
145.74/156.64 c #Conflicts: 106000 | #Constraints: 30853
145.74/156.64 c #Conflicts: 107000 | #Constraints: 31853
145.74/156.64 c #Conflicts: 108000 | #Constraints: 32853
145.74/156.64 c #Conflicts: 109000 | #Constraints: 33853
145.74/156.64 c #Conflicts: 110000 | #Constraints: 34853
145.74/156.64 c INPROCESSING
145.74/156.64 c GARBAGE COLLECT
145.74/156.64 c rational objective 18
158.02/170.24 c #Conflicts: 111000 | #Constraints: 29271
158.02/170.24 c #Conflicts: 112000 | #Constraints: 30272
158.02/170.24 c #Conflicts: 113000 | #Constraints: 31272
158.02/170.24 c #Conflicts: 114000 | #Constraints: 32272
158.02/170.24 c #Conflicts: 115000 | #Constraints: 33272
158.02/170.24 c #Conflicts: 116000 | #Constraints: 34272
158.02/170.24 c #Conflicts: 117000 | #Constraints: 35273
158.02/170.24 c INPROCESSING
158.02/170.24 c GARBAGE COLLECT
158.02/170.24 c rational objective 18
169.59/181.87 c #Conflicts: 118000 | #Constraints: 29473
169.59/181.87 c #Conflicts: 119000 | #Constraints: 30473
169.59/181.87 c #Conflicts: 120000 | #Constraints: 31473
169.59/181.87 c #Conflicts: 121000 | #Constraints: 32475
169.59/181.87 c #Conflicts: 122000 | #Constraints: 33481
169.59/181.87 c #Conflicts: 123000 | #Constraints: 34486
169.59/181.87 c #Conflicts: 124000 | #Constraints: 35503
169.59/181.87 c INPROCESSING
169.59/181.87 c GARBAGE COLLECT
169.59/181.87 c rational objective 18
178.27/190.53 c #Conflicts: 125000 | #Constraints: 29516
178.27/190.53 c #Conflicts: 126000 | #Constraints: 30516
178.27/190.53 c #Conflicts: 127000 | #Constraints: 31516
178.27/190.53 c #Conflicts: 128000 | #Constraints: 32516
178.27/190.53 c #Conflicts: 129000 | #Constraints: 33516
178.27/190.53 c #Conflicts: 130000 | #Constraints: 34516
178.27/190.53 c #Conflicts: 131000 | #Constraints: 35516
178.27/190.53 c INPROCESSING
178.27/190.53 c GARBAGE COLLECT
178.27/190.53 c rational objective 18
188.44/201.75 c #Conflicts: 132000 | #Constraints: 29268
188.44/201.75 c #Conflicts: 133000 | #Constraints: 30268
188.44/201.75 c #Conflicts: 134000 | #Constraints: 31268
188.44/201.75 c #Conflicts: 135000 | #Constraints: 32268
188.44/201.75 c #Conflicts: 136000 | #Constraints: 33268
188.44/201.75 c #Conflicts: 137000 | #Constraints: 34268
188.44/201.75 c #Conflicts: 138000 | #Constraints: 35268
188.44/201.75 c #Conflicts: 139000 | #Constraints: 36268
188.44/201.75 c INPROCESSING
188.44/201.75 c GARBAGE COLLECT
188.44/201.75 c rational objective 18
200.61/214.00 c #Conflicts: 140000 | #Constraints: 29896
200.61/214.00 c #Conflicts: 141000 | #Constraints: 30896
200.61/214.00 c #Conflicts: 142000 | #Constraints: 31896
200.61/214.00 c #Conflicts: 143000 | #Constraints: 32896
200.61/214.00 c #Conflicts: 144000 | #Constraints: 33896
200.61/214.00 c #Conflicts: 145000 | #Constraints: 34896
200.61/214.00 c #Conflicts: 146000 | #Constraints: 35896
200.61/214.00 c #Conflicts: 147000 | #Constraints: 36896
200.61/214.00 c INPROCESSING
200.61/214.00 c GARBAGE COLLECT
200.61/214.00 c rational objective 18
212.55/228.32 c #Conflicts: 148000 | #Constraints: 30344
212.55/228.32 c #Conflicts: 149000 | #Constraints: 31344
212.55/228.32 c #Conflicts: 150000 | #Constraints: 32344
212.55/228.32 c #Conflicts: 151000 | #Constraints: 33344
212.55/228.32 c #Conflicts: 152000 | #Constraints: 34344
212.55/228.32 c #Conflicts: 153000 | #Constraints: 35344
212.55/228.32 c #Conflicts: 154000 | #Constraints: 36344
212.55/228.32 c #Conflicts: 155000 | #Constraints: 37344
212.55/228.32 c INPROCESSING
212.55/228.32 c GARBAGE COLLECT
212.55/228.32 c rational objective 18
225.52/241.32 c #Conflicts: 156000 | #Constraints: 30529
225.52/241.32 c #Conflicts: 157000 | #Constraints: 31530
225.52/241.32 c #Conflicts: 158000 | #Constraints: 32530
225.52/241.32 c #Conflicts: 159000 | #Constraints: 33532
225.52/241.32 c #Conflicts: 160000 | #Constraints: 34533
225.52/241.32 c #Conflicts: 161000 | #Constraints: 35534
225.52/241.32 c #Conflicts: 162000 | #Constraints: 36534
225.52/241.32 c #Conflicts: 163000 | #Constraints: 37534
225.52/241.32 c INPROCESSING
225.52/241.32 c GARBAGE COLLECT
225.52/241.32 c rational objective 18
238.10/253.90 c #Conflicts: 164000 | #Constraints: 30592
238.10/253.90 c #Conflicts: 165000 | #Constraints: 31592
238.10/253.90 c #Conflicts: 166000 | #Constraints: 32592
238.10/253.90 c #Conflicts: 167000 | #Constraints: 33592
238.10/253.90 c #Conflicts: 168000 | #Constraints: 34592
238.10/253.90 c #Conflicts: 169000 | #Constraints: 35592
238.10/253.90 c #Conflicts: 170000 | #Constraints: 36592
238.10/253.90 c #Conflicts: 171000 | #Constraints: 37592
238.10/253.90 c INPROCESSING
238.10/253.90 c GARBAGE COLLECT
238.10/253.90 c rational objective 18
253.01/269.94 c #Conflicts: 172000 | #Constraints: 30392
253.01/269.94 c #Conflicts: 173000 | #Constraints: 31392
253.01/269.94 c #Conflicts: 174000 | #Constraints: 32392
253.01/269.94 c #Conflicts: 175000 | #Constraints: 33392
253.01/269.94 c #Conflicts: 176000 | #Constraints: 34392
253.01/269.94 c #Conflicts: 177000 | #Constraints: 35392
253.01/269.94 c #Conflicts: 178000 | #Constraints: 36392
253.01/269.94 c #Conflicts: 179000 | #Constraints: 37392
253.01/269.94 c #Conflicts: 180000 | #Constraints: 38392
253.01/269.94 c INPROCESSING
253.01/269.94 c GARBAGE COLLECT
253.01/269.94 c rational objective 18
267.18/284.18 c #Conflicts: 181000 | #Constraints: 30978
267.18/284.18 c #Conflicts: 182000 | #Constraints: 31978
267.18/284.18 c #Conflicts: 183000 | #Constraints: 32978
267.18/284.18 c #Conflicts: 184000 | #Constraints: 33978
267.18/284.18 c #Conflicts: 185000 | #Constraints: 34978
267.18/284.18 c #Conflicts: 186000 | #Constraints: 35978
267.18/284.18 c #Conflicts: 187000 | #Constraints: 36978
267.18/284.18 c #Conflicts: 188000 | #Constraints: 37978
267.18/284.18 c #Conflicts: 189000 | #Constraints: 38978
267.18/284.18 c INPROCESSING
267.18/284.18 c GARBAGE COLLECT
267.18/284.18 c rational objective 18
281.15/299.60 c #Conflicts: 190000 | #Constraints: 31346
281.15/299.60 c #Conflicts: 191000 | #Constraints: 32346
281.15/299.60 c #Conflicts: 192000 | #Constraints: 33346
281.15/299.60 c #Conflicts: 193000 | #Constraints: 34346
281.15/299.60 c #Conflicts: 194000 | #Constraints: 35346
281.15/299.60 c #Conflicts: 195000 | #Constraints: 36346
281.15/299.60 c #Conflicts: 196000 | #Constraints: 37346
281.15/299.60 c #Conflicts: 197000 | #Constraints: 38346
281.15/299.60 c #Conflicts: 198000 | #Constraints: 39346
281.15/299.60 c INPROCESSING
281.15/299.60 c GARBAGE COLLECT
281.15/299.60 c rational objective 18
295.12/313.60 c #Conflicts: 199000 | #Constraints: 31634
295.12/313.60 c #Conflicts: 200000 | #Constraints: 32634
295.12/313.60 c #Conflicts: 201000 | #Constraints: 33634
295.12/313.60 c #Conflicts: 202000 | #Constraints: 34635
295.12/313.60 c #Conflicts: 203000 | #Constraints: 35635
295.12/313.60 c #Conflicts: 204000 | #Constraints: 36635
295.12/313.60 c #Conflicts: 205000 | #Constraints: 37635
295.12/313.60 c #Conflicts: 206000 | #Constraints: 38635
295.12/313.60 c #Conflicts: 207000 | #Constraints: 39635
295.12/313.60 c INPROCESSING
295.12/313.60 c GARBAGE COLLECT
295.12/313.60 c rational objective 18
311.29/331.08 c #Conflicts: 208000 | #Constraints: 31619
311.29/331.08 c #Conflicts: 209000 | #Constraints: 32619
311.29/331.08 c #Conflicts: 210000 | #Constraints: 33619
311.29/331.08 c #Conflicts: 211000 | #Constraints: 34619
311.29/331.08 c #Conflicts: 212000 | #Constraints: 35619
311.29/331.08 c #Conflicts: 213000 | #Constraints: 36619
311.29/331.08 c #Conflicts: 214000 | #Constraints: 37619
311.29/331.08 c #Conflicts: 215000 | #Constraints: 38619
311.29/331.08 c #Conflicts: 216000 | #Constraints: 39619
311.29/331.08 c INPROCESSING
311.29/331.08 c GARBAGE COLLECT
311.29/331.08 c rational objective 18
329.26/349.26 c #Conflicts: 217000 | #Constraints: 31440
329.26/349.26 c #Conflicts: 218000 | #Constraints: 32440
329.26/349.26 c #Conflicts: 219000 | #Constraints: 33440
329.26/349.26 c #Conflicts: 220000 | #Constraints: 34440
329.26/349.26 c #Conflicts: 221000 | #Constraints: 35440
329.26/349.26 c #Conflicts: 222000 | #Constraints: 36440
329.26/349.26 c #Conflicts: 223000 | #Constraints: 37440
329.26/349.26 c #Conflicts: 224000 | #Constraints: 38440
329.26/349.26 c #Conflicts: 225000 | #Constraints: 39440
329.26/349.26 c #Conflicts: 226000 | #Constraints: 40440
329.26/349.26 c INPROCESSING
329.26/349.26 c GARBAGE COLLECT
329.26/349.26 c rational objective 18
346.32/366.35 c #Conflicts: 227000 | #Constraints: 32048
346.32/366.35 c #Conflicts: 228000 | #Constraints: 33048
346.32/366.35 c #Conflicts: 229000 | #Constraints: 34048
346.32/366.35 c #Conflicts: 230000 | #Constraints: 35048
346.32/366.35 c #Conflicts: 231000 | #Constraints: 36048
346.32/366.35 c #Conflicts: 232000 | #Constraints: 37048
346.32/366.35 c #Conflicts: 233000 | #Constraints: 38048
346.32/366.35 c #Conflicts: 234000 | #Constraints: 39048
346.32/366.35 c #Conflicts: 235000 | #Constraints: 40048
346.32/366.35 c #Conflicts: 236000 | #Constraints: 41048
346.32/366.35 c INPROCESSING
346.32/366.35 c GARBAGE COLLECT
346.32/366.35 c rational objective 18
361.43/390.58 c #Conflicts: 237000 | #Constraints: 32457
361.43/390.58 c #Conflicts: 238000 | #Constraints: 33457
361.43/390.58 c #Conflicts: 239000 | #Constraints: 34457
361.43/390.58 c #Conflicts: 240000 | #Constraints: 35457
361.43/390.58 c #Conflicts: 241000 | #Constraints: 36457
361.43/390.58 c #Conflicts: 242000 | #Constraints: 37457
361.43/390.58 c #Conflicts: 243000 | #Constraints: 38457
361.43/390.58 c #Conflicts: 244000 | #Constraints: 39457
361.43/390.58 c #Conflicts: 245000 | #Constraints: 40457
361.43/390.58 c #Conflicts: 246000 | #Constraints: 41457
361.43/390.58 c INPROCESSING
361.43/390.58 c GARBAGE COLLECT
361.43/390.58 c rational objective 18
379.90/409.06 c #Conflicts: 247000 | #Constraints: 32595
379.90/409.06 c #Conflicts: 248000 | #Constraints: 33595
379.90/409.06 c #Conflicts: 249000 | #Constraints: 34595
379.90/409.06 c #Conflicts: 250000 | #Constraints: 35595
379.90/409.06 c #Conflicts: 251000 | #Constraints: 36595
379.90/409.06 c #Conflicts: 252000 | #Constraints: 37595
379.90/409.06 c #Conflicts: 253000 | #Constraints: 38595
379.90/409.06 c #Conflicts: 254000 | #Constraints: 39595
379.90/409.06 c #Conflicts: 255000 | #Constraints: 40595
379.90/409.06 c #Conflicts: 256000 | #Constraints: 41595
379.90/409.06 c INPROCESSING
379.90/409.06 c GARBAGE COLLECT
379.90/409.06 c rational objective 18
395.56/425.04 c #Conflicts: 257000 | #Constraints: 32643
395.56/425.04 c #Conflicts: 258000 | #Constraints: 33643
395.56/425.04 c #Conflicts: 259000 | #Constraints: 34643
395.56/425.04 c #Conflicts: 260000 | #Constraints: 35643
395.56/425.04 c #Conflicts: 261000 | #Constraints: 36643
395.56/425.04 c #Conflicts: 262000 | #Constraints: 37643
395.56/425.04 c #Conflicts: 263000 | #Constraints: 38643
395.56/425.04 c #Conflicts: 264000 | #Constraints: 39643
395.56/425.04 c #Conflicts: 265000 | #Constraints: 40643
395.56/425.04 c #Conflicts: 266000 | #Constraints: 41643
395.56/425.04 c INPROCESSING
395.56/425.04 c GARBAGE COLLECT
395.56/425.04 c rational objective 18
414.58/444.47 c #Conflicts: 267000 | #Constraints: 32426
414.58/444.47 c #Conflicts: 268000 | #Constraints: 33426
414.58/444.47 c #Conflicts: 269000 | #Constraints: 34426
414.58/444.47 c #Conflicts: 270000 | #Constraints: 35426
414.58/444.47 c #Conflicts: 271000 | #Constraints: 36426
414.58/444.47 c #Conflicts: 272000 | #Constraints: 37426
414.58/444.47 c #Conflicts: 273000 | #Constraints: 38426
414.58/444.47 c #Conflicts: 274000 | #Constraints: 39426
414.58/444.47 c #Conflicts: 275000 | #Constraints: 40426
414.58/444.47 c #Conflicts: 276000 | #Constraints: 41426
414.58/444.47 c #Conflicts: 277000 | #Constraints: 42426
414.58/444.47 c INPROCESSING
414.58/444.47 c GARBAGE COLLECT
414.58/444.47 c rational objective 18
432.33/462.23 c #Conflicts: 278000 | #Constraints: 33019
432.33/462.23 c #Conflicts: 279000 | #Constraints: 34019
432.33/462.23 c #Conflicts: 280000 | #Constraints: 35019
432.33/462.23 c #Conflicts: 281000 | #Constraints: 36019
432.33/462.23 c #Conflicts: 282000 | #Constraints: 37019
432.33/462.23 c #Conflicts: 283000 | #Constraints: 38019
432.33/462.23 c #Conflicts: 284000 | #Constraints: 39019
432.33/462.23 c #Conflicts: 285000 | #Constraints: 40019
432.33/462.23 c #Conflicts: 286000 | #Constraints: 41019
432.33/462.23 c #Conflicts: 287000 | #Constraints: 42019
432.33/462.23 c #Conflicts: 288000 | #Constraints: 43019
432.33/462.23 c INPROCESSING
432.33/462.23 c GARBAGE COLLECT
432.33/462.23 c rational objective 18
453.88/484.17 c #Conflicts: 289000 | #Constraints: 33524
453.88/484.17 c #Conflicts: 290000 | #Constraints: 34524
453.88/484.17 c #Conflicts: 291000 | #Constraints: 35524
453.88/484.17 c #Conflicts: 292000 | #Constraints: 36524
453.88/484.17 c #Conflicts: 293000 | #Constraints: 37524
453.88/484.17 c #Conflicts: 294000 | #Constraints: 38524
453.88/484.17 c #Conflicts: 295000 | #Constraints: 39524
453.88/484.17 c #Conflicts: 296000 | #Constraints: 40524
453.88/484.17 c #Conflicts: 297000 | #Constraints: 41524
453.88/484.17 c #Conflicts: 298000 | #Constraints: 42524
453.88/484.17 c #Conflicts: 299000 | #Constraints: 43524
453.88/484.17 c INPROCESSING
453.88/484.17 c GARBAGE COLLECT
453.88/484.17 c rational objective 18
473.92/504.22 c #Conflicts: 300000 | #Constraints: 33725
473.92/504.22 c #Conflicts: 301000 | #Constraints: 34725
473.92/504.22 c #Conflicts: 302000 | #Constraints: 35725
473.92/504.22 c #Conflicts: 303000 | #Constraints: 36725
473.92/504.22 c #Conflicts: 304000 | #Constraints: 37725
473.92/504.22 c #Conflicts: 305000 | #Constraints: 38725
473.92/504.22 c #Conflicts: 306000 | #Constraints: 39725
473.92/504.22 c #Conflicts: 307000 | #Constraints: 40725
473.92/504.22 c #Conflicts: 308000 | #Constraints: 41725
473.92/504.22 c #Conflicts: 309000 | #Constraints: 42725
473.92/504.22 c #Conflicts: 310000 | #Constraints: 43725
473.92/504.22 c INPROCESSING
473.92/504.22 c GARBAGE COLLECT
473.92/504.22 c rational objective 18
495.27/525.78 c #Conflicts: 311000 | #Constraints: 33765
495.27/525.78 c #Conflicts: 312000 | #Constraints: 34765
495.27/525.78 c #Conflicts: 313000 | #Constraints: 35765
495.27/525.78 c #Conflicts: 314000 | #Constraints: 36765
495.27/525.78 c #Conflicts: 315000 | #Constraints: 37765
495.27/525.78 c #Conflicts: 316000 | #Constraints: 38765
495.27/525.78 c #Conflicts: 317000 | #Constraints: 39765
495.27/525.78 c #Conflicts: 318000 | #Constraints: 40765
495.27/525.78 c #Conflicts: 319000 | #Constraints: 41765
495.27/525.78 c #Conflicts: 320000 | #Constraints: 42765
495.27/525.78 c #Conflicts: 321000 | #Constraints: 43765
495.27/525.78 c INPROCESSING
495.27/525.78 c GARBAGE COLLECT
495.27/525.78 c rational objective 18
517.33/547.89 c #Conflicts: 322000 | #Constraints: 33570
517.33/547.89 c #Conflicts: 323000 | #Constraints: 34570
517.33/547.89 c #Conflicts: 324000 | #Constraints: 35570
517.33/547.89 c #Conflicts: 325000 | #Constraints: 36570
517.33/547.89 c #Conflicts: 326000 | #Constraints: 37570
517.33/547.89 c #Conflicts: 327000 | #Constraints: 38570
517.33/547.89 c #Conflicts: 328000 | #Constraints: 39570
517.33/547.89 c #Conflicts: 329000 | #Constraints: 40570
517.33/547.89 c #Conflicts: 330000 | #Constraints: 41570
517.33/547.89 c #Conflicts: 331000 | #Constraints: 42570
517.33/547.89 c #Conflicts: 332000 | #Constraints: 43570
517.33/547.89 c #Conflicts: 333000 | #Constraints: 44570
517.33/547.89 c INPROCESSING
517.33/547.89 c GARBAGE COLLECT
517.33/547.89 c rational objective 18
541.04/571.78 c #Conflicts: 334000 | #Constraints: 34179
541.04/571.78 c #Conflicts: 335000 | #Constraints: 35179
541.04/571.78 c #Conflicts: 336000 | #Constraints: 36179
541.04/571.78 c #Conflicts: 337000 | #Constraints: 37179
541.04/571.78 c #Conflicts: 338000 | #Constraints: 38179
541.04/571.78 c #Conflicts: 339000 | #Constraints: 39179
541.04/571.78 c #Conflicts: 340000 | #Constraints: 40179
541.04/571.78 c #Conflicts: 341000 | #Constraints: 41179
541.04/571.78 c #Conflicts: 342000 | #Constraints: 42179
541.04/571.78 c #Conflicts: 343000 | #Constraints: 43179
541.04/571.78 c #Conflicts: 344000 | #Constraints: 44179
541.04/571.78 c #Conflicts: 345000 | #Constraints: 45179
541.04/571.78 c INPROCESSING
541.04/571.78 c GARBAGE COLLECT
541.04/571.78 c rational objective 18
563.18/593.93 c #Conflicts: 346000 | #Constraints: 34579
563.18/593.93 c #Conflicts: 347000 | #Constraints: 35579
563.18/593.93 c #Conflicts: 348000 | #Constraints: 36579
563.18/593.93 c #Conflicts: 349000 | #Constraints: 37579
563.18/593.93 c #Conflicts: 350000 | #Constraints: 38579
563.18/593.93 c #Conflicts: 351000 | #Constraints: 39579
563.18/593.93 c #Conflicts: 352000 | #Constraints: 40579
563.18/593.93 c #Conflicts: 353000 | #Constraints: 41579
563.18/593.93 c #Conflicts: 354000 | #Constraints: 42579
563.18/593.93 c #Conflicts: 355000 | #Constraints: 43579
563.18/593.93 c #Conflicts: 356000 | #Constraints: 44579
563.18/593.93 c #Conflicts: 357000 | #Constraints: 45579
563.18/593.93 c INPROCESSING
563.18/593.93 c GARBAGE COLLECT
563.18/593.93 c rational objective 18
587.82/618.89 c #Conflicts: 358000 | #Constraints: 34811
587.82/618.89 c #Conflicts: 359000 | #Constraints: 35811
587.82/618.89 c #Conflicts: 360000 | #Constraints: 36811
587.82/618.89 c #Conflicts: 361000 | #Constraints: 37811
587.82/618.89 c #Conflicts: 362000 | #Constraints: 38811
587.82/618.89 c #Conflicts: 363000 | #Constraints: 39811
587.82/618.89 c #Conflicts: 364000 | #Constraints: 40811
587.82/618.89 c #Conflicts: 365000 | #Constraints: 41811
587.82/618.89 c #Conflicts: 366000 | #Constraints: 42811
587.82/618.89 c #Conflicts: 367000 | #Constraints: 43811
587.82/618.89 c #Conflicts: 368000 | #Constraints: 44811
587.82/618.89 c #Conflicts: 369000 | #Constraints: 45811
587.82/618.89 c INPROCESSING
587.82/618.89 c GARBAGE COLLECT
587.82/618.89 c rational objective 18
615.09/646.95 c #Conflicts: 370000 | #Constraints: 34773
615.09/646.95 c #Conflicts: 371000 | #Constraints: 35773
615.09/646.95 c #Conflicts: 372000 | #Constraints: 36773
615.09/646.95 c #Conflicts: 373000 | #Constraints: 37773
615.09/646.95 c #Conflicts: 374000 | #Constraints: 38773
615.09/646.95 c #Conflicts: 375000 | #Constraints: 39773
615.09/646.95 c #Conflicts: 376000 | #Constraints: 40773
615.09/646.95 c #Conflicts: 377000 | #Constraints: 41773
615.09/646.95 c #Conflicts: 378000 | #Constraints: 42773
615.09/646.95 c #Conflicts: 379000 | #Constraints: 43773
615.09/646.95 c #Conflicts: 380000 | #Constraints: 44773
615.09/646.95 c #Conflicts: 381000 | #Constraints: 45773
615.09/646.95 c INPROCESSING
615.09/646.95 c GARBAGE COLLECT
615.09/646.95 c rational objective 18
636.91/668.89 c #Conflicts: 382000 | #Constraints: 34483
636.91/668.89 c #Conflicts: 383000 | #Constraints: 35483
636.91/668.89 c #Conflicts: 384000 | #Constraints: 36483
636.91/668.89 c #Conflicts: 385000 | #Constraints: 37483
636.91/668.89 c #Conflicts: 386000 | #Constraints: 38483
636.91/668.89 c #Conflicts: 387000 | #Constraints: 39483
636.91/668.89 c #Conflicts: 388000 | #Constraints: 40483
636.91/668.89 c #Conflicts: 389000 | #Constraints: 41483
636.91/668.89 c #Conflicts: 390000 | #Constraints: 42483
636.91/668.89 c #Conflicts: 391000 | #Constraints: 43483
636.91/668.89 c #Conflicts: 392000 | #Constraints: 44483
636.91/668.89 c #Conflicts: 393000 | #Constraints: 45483
636.91/668.89 c bounds 20 >= 19 @ 632.291
639.01/670.96 c #Conflicts: 394000 | #Constraints: 46522
639.01/670.96 c INPROCESSING
639.01/670.96 c GARBAGE COLLECT
639.01/670.96 c rational objective 19
665.58/697.66 c #Conflicts: 395000 | #Constraints: 35092
665.58/697.66 c #Conflicts: 396000 | #Constraints: 36092
665.58/697.66 c #Conflicts: 397000 | #Constraints: 37092
665.58/697.66 c #Conflicts: 398000 | #Constraints: 38092
665.58/697.66 c #Conflicts: 399000 | #Constraints: 39092
665.58/697.66 c #Conflicts: 400000 | #Constraints: 40092
665.58/697.66 c #Conflicts: 401000 | #Constraints: 41092
665.58/697.66 c #Conflicts: 402000 | #Constraints: 42092
665.58/697.66 c #Conflicts: 403000 | #Constraints: 43092
665.58/697.66 c #Conflicts: 404000 | #Constraints: 44092
665.58/697.66 c #Conflicts: 405000 | #Constraints: 45092
665.58/697.66 c #Conflicts: 406000 | #Constraints: 46092
665.58/697.66 c #Conflicts: 407000 | #Constraints: 47092
665.58/697.66 c INPROCESSING
665.58/697.66 c GARBAGE COLLECT
665.58/697.66 c rational objective 19
688.09/720.21 c #Conflicts: 408000 | #Constraints: 35449
688.09/720.21 c #Conflicts: 409000 | #Constraints: 36449
688.09/720.21 c #Conflicts: 410000 | #Constraints: 37449
688.09/720.21 c #Conflicts: 411000 | #Constraints: 38449
688.09/720.21 c #Conflicts: 412000 | #Constraints: 39449
688.09/720.21 c #Conflicts: 413000 | #Constraints: 40449
688.09/720.21 c #Conflicts: 414000 | #Constraints: 41449
688.09/720.21 c #Conflicts: 415000 | #Constraints: 42449
688.09/720.21 c #Conflicts: 416000 | #Constraints: 43449
688.09/720.21 c #Conflicts: 417000 | #Constraints: 44449
688.09/720.21 c #Conflicts: 418000 | #Constraints: 45449
688.09/720.21 c #Conflicts: 419000 | #Constraints: 46449
688.09/720.21 c #Conflicts: 420000 | #Constraints: 47449
688.09/720.21 c INPROCESSING
688.09/720.21 c GARBAGE COLLECT
688.09/720.21 c rational objective 19
714.59/746.85 c #Conflicts: 421000 | #Constraints: 35722
714.59/746.85 c #Conflicts: 422000 | #Constraints: 36722
714.59/746.85 c #Conflicts: 423000 | #Constraints: 37722
714.59/746.85 c #Conflicts: 424000 | #Constraints: 38722
714.59/746.85 c #Conflicts: 425000 | #Constraints: 39722
714.59/746.85 c #Conflicts: 426000 | #Constraints: 40722
714.59/746.85 c #Conflicts: 427000 | #Constraints: 41722
714.59/746.85 c #Conflicts: 428000 | #Constraints: 42722
714.59/746.85 c #Conflicts: 429000 | #Constraints: 43722
714.59/746.85 c #Conflicts: 430000 | #Constraints: 44722
714.59/746.85 c #Conflicts: 431000 | #Constraints: 45722
714.59/746.85 c #Conflicts: 432000 | #Constraints: 46722
714.59/746.85 c #Conflicts: 433000 | #Constraints: 47722
714.59/746.85 c INPROCESSING
714.59/746.85 c GARBAGE COLLECT
714.59/746.85 c rational objective 19
745.08/777.45 c #Conflicts: 434000 | #Constraints: 35722
745.08/777.45 c #Conflicts: 435000 | #Constraints: 36722
745.08/777.45 c #Conflicts: 436000 | #Constraints: 37722
745.08/777.45 c #Conflicts: 437000 | #Constraints: 38722
745.08/777.45 c #Conflicts: 438000 | #Constraints: 39722
745.08/777.45 c #Conflicts: 439000 | #Constraints: 40722
745.08/777.45 c #Conflicts: 440000 | #Constraints: 41722
745.08/777.45 c #Conflicts: 441000 | #Constraints: 42722
745.08/777.45 c #Conflicts: 442000 | #Constraints: 43722
745.08/777.45 c #Conflicts: 443000 | #Constraints: 44722
745.08/777.45 c #Conflicts: 444000 | #Constraints: 45722
745.08/777.45 c #Conflicts: 445000 | #Constraints: 46722
745.08/777.45 c #Conflicts: 446000 | #Constraints: 47722
745.08/777.45 c INPROCESSING
745.08/777.45 c GARBAGE COLLECT
745.08/777.45 c rational objective 19
773.91/806.39 c #Conflicts: 447000 | #Constraints: 35520
773.91/806.39 c #Conflicts: 448000 | #Constraints: 36520
773.91/806.39 c #Conflicts: 449000 | #Constraints: 37520
773.91/806.39 c #Conflicts: 450000 | #Constraints: 38520
773.91/806.39 c #Conflicts: 451000 | #Constraints: 39520
773.91/806.39 c #Conflicts: 452000 | #Constraints: 40520
773.91/806.39 c #Conflicts: 453000 | #Constraints: 41520
773.91/806.39 c #Conflicts: 454000 | #Constraints: 42520
773.91/806.39 c #Conflicts: 455000 | #Constraints: 43520
773.91/806.39 c #Conflicts: 456000 | #Constraints: 44520
773.91/806.39 c #Conflicts: 457000 | #Constraints: 45520
773.91/806.39 c #Conflicts: 458000 | #Constraints: 46520
773.91/806.39 c #Conflicts: 459000 | #Constraints: 47520
773.91/806.39 c #Conflicts: 460000 | #Constraints: 48520
773.91/806.39 c INPROCESSING
773.91/806.39 c GARBAGE COLLECT
773.91/806.39 c rational objective 19
801.85/834.46 c #Conflicts: 461000 | #Constraints: 36082
801.85/834.46 c #Conflicts: 462000 | #Constraints: 37082
801.85/834.46 c #Conflicts: 463000 | #Constraints: 38082
801.85/834.46 c #Conflicts: 464000 | #Constraints: 39082
801.85/834.46 c #Conflicts: 465000 | #Constraints: 40082
801.85/834.46 c #Conflicts: 466000 | #Constraints: 41082
801.85/834.46 c #Conflicts: 467000 | #Constraints: 42082
801.85/834.46 c #Conflicts: 468000 | #Constraints: 43082
801.85/834.46 c #Conflicts: 469000 | #Constraints: 44082
801.85/834.46 c #Conflicts: 470000 | #Constraints: 45082
801.85/834.46 c #Conflicts: 471000 | #Constraints: 46082
801.85/834.46 c #Conflicts: 472000 | #Constraints: 47082
801.85/834.46 c #Conflicts: 473000 | #Constraints: 48082
801.85/834.46 c #Conflicts: 474000 | #Constraints: 49082
801.85/834.46 c INPROCESSING
801.85/834.46 c GARBAGE COLLECT
801.85/834.46 c rational objective 19
828.16/860.83 c #Conflicts: 475000 | #Constraints: 36497
828.16/860.83 c #Conflicts: 476000 | #Constraints: 37497
828.16/860.83 c #Conflicts: 477000 | #Constraints: 38497
828.16/860.83 c #Conflicts: 478000 | #Constraints: 39497
828.16/860.83 c #Conflicts: 479000 | #Constraints: 40497
828.16/860.83 c #Conflicts: 480000 | #Constraints: 41497
828.16/860.83 c #Conflicts: 481000 | #Constraints: 42497
828.16/860.83 c #Conflicts: 482000 | #Constraints: 43497
828.16/860.83 c #Conflicts: 483000 | #Constraints: 44497
828.16/860.83 c #Conflicts: 484000 | #Constraints: 45497
828.16/860.83 c #Conflicts: 485000 | #Constraints: 46497
828.16/860.83 c #Conflicts: 486000 | #Constraints: 47497
828.16/860.83 c #Conflicts: 487000 | #Constraints: 48497
828.16/860.83 c #Conflicts: 488000 | #Constraints: 49497
828.16/860.83 c INPROCESSING
828.16/860.83 c GARBAGE COLLECT
828.16/860.83 c rational objective 19
864.21/897.02 c #Conflicts: 489000 | #Constraints: 36727
864.21/897.02 c #Conflicts: 490000 | #Constraints: 37727
864.21/897.02 c #Conflicts: 491000 | #Constraints: 38727
864.21/897.02 c #Conflicts: 492000 | #Constraints: 39727
864.21/897.02 c #Conflicts: 493000 | #Constraints: 40727
864.21/897.02 c #Conflicts: 494000 | #Constraints: 41727
864.21/897.02 c #Conflicts: 495000 | #Constraints: 42727
864.21/897.02 c #Conflicts: 496000 | #Constraints: 43727
864.21/897.02 c #Conflicts: 497000 | #Constraints: 44727
864.21/897.02 c #Conflicts: 498000 | #Constraints: 45727
864.21/897.02 c #Conflicts: 499000 | #Constraints: 46727
864.21/897.02 c #Conflicts: 500000 | #Constraints: 47727
864.21/897.02 c #Conflicts: 501000 | #Constraints: 48727
864.21/897.02 c #Conflicts: 502000 | #Constraints: 49727
864.21/897.02 c INPROCESSING
864.21/897.02 c GARBAGE COLLECT
864.21/897.02 c rational objective 19
896.23/929.18 c #Conflicts: 503000 | #Constraints: 36792
896.23/929.18 c #Conflicts: 504000 | #Constraints: 37792
896.23/929.18 c #Conflicts: 505000 | #Constraints: 38793
896.23/929.18 c #Conflicts: 506000 | #Constraints: 39793
896.23/929.18 c #Conflicts: 507000 | #Constraints: 40793
896.23/929.18 c #Conflicts: 508000 | #Constraints: 41800
896.23/929.18 c #Conflicts: 509000 | #Constraints: 42802
896.23/929.18 c #Conflicts: 510000 | #Constraints: 43803
896.23/929.18 c #Conflicts: 511000 | #Constraints: 44805
896.23/929.18 c #Conflicts: 512000 | #Constraints: 45807
896.23/929.18 c #Conflicts: 513000 | #Constraints: 46816
896.23/929.18 c #Conflicts: 514000 | #Constraints: 47819
896.23/929.18 c #Conflicts: 515000 | #Constraints: 48820
896.23/929.18 c #Conflicts: 516000 | #Constraints: 49820
896.23/929.18 c INPROCESSING
896.23/929.18 c GARBAGE COLLECT
896.23/929.18 c rational objective 19
925.16/958.38 c #Conflicts: 517000 | #Constraints: 36582
925.16/958.38 c #Conflicts: 518000 | #Constraints: 37582
925.16/958.38 c #Conflicts: 519000 | #Constraints: 38582
925.16/958.38 c #Conflicts: 520000 | #Constraints: 39582
925.16/958.38 c #Conflicts: 521000 | #Constraints: 40582
925.16/958.38 c #Conflicts: 522000 | #Constraints: 41582
925.16/958.38 c #Conflicts: 523000 | #Constraints: 42582
925.16/958.38 c #Conflicts: 524000 | #Constraints: 43582
925.16/958.38 c #Conflicts: 525000 | #Constraints: 44582
925.16/958.38 c #Conflicts: 526000 | #Constraints: 45582
925.16/958.38 c #Conflicts: 527000 | #Constraints: 46582
925.16/958.38 c #Conflicts: 528000 | #Constraints: 47582
925.16/958.38 c #Conflicts: 529000 | #Constraints: 48582
925.16/958.38 c #Conflicts: 530000 | #Constraints: 49582
925.16/958.38 c #Conflicts: 531000 | #Constraints: 50582
925.16/958.38 c INPROCESSING
925.16/958.38 c GARBAGE COLLECT
925.16/958.38 c rational objective 19
956.47/989.78 c #Conflicts: 532000 | #Constraints: 37150
956.47/989.78 c #Conflicts: 533000 | #Constraints: 38150
956.47/989.78 c #Conflicts: 534000 | #Constraints: 39150
956.47/989.78 c #Conflicts: 535000 | #Constraints: 40150
956.47/989.78 c #Conflicts: 536000 | #Constraints: 41150
956.47/989.78 c #Conflicts: 537000 | #Constraints: 42150
956.47/989.78 c #Conflicts: 538000 | #Constraints: 43150
956.47/989.78 c #Conflicts: 539000 | #Constraints: 44150
956.47/989.78 c #Conflicts: 540000 | #Constraints: 45150
956.47/989.78 c #Conflicts: 541000 | #Constraints: 46150
956.47/989.78 c #Conflicts: 542000 | #Constraints: 47150
956.47/989.78 c #Conflicts: 543000 | #Constraints: 48150
956.47/989.78 c #Conflicts: 544000 | #Constraints: 49150
956.47/989.78 c #Conflicts: 545000 | #Constraints: 50150
956.47/989.78 c #Conflicts: 546000 | #Constraints: 51150
956.47/989.78 c INPROCESSING
956.47/989.78 c GARBAGE COLLECT
956.47/989.78 c rational objective 19
989.87/1024.22 c #Conflicts: 547000 | #Constraints: 37556
989.87/1024.22 c #Conflicts: 548000 | #Constraints: 38556
989.87/1024.22 c #Conflicts: 549000 | #Constraints: 39556
989.87/1024.22 c #Conflicts: 550000 | #Constraints: 40556
989.87/1024.22 c #Conflicts: 551000 | #Constraints: 41556
989.87/1024.22 c #Conflicts: 552000 | #Constraints: 42556
989.87/1024.22 c #Conflicts: 553000 | #Constraints: 43556
989.87/1024.22 c #Conflicts: 554000 | #Constraints: 44556
989.87/1024.22 c #Conflicts: 555000 | #Constraints: 45556
989.87/1024.22 c #Conflicts: 556000 | #Constraints: 46556
989.87/1024.22 c #Conflicts: 557000 | #Constraints: 47556
989.87/1024.22 c #Conflicts: 558000 | #Constraints: 48556
989.87/1024.22 c #Conflicts: 559000 | #Constraints: 49556
989.87/1024.22 c #Conflicts: 560000 | #Constraints: 50557
989.87/1024.22 c #Conflicts: 561000 | #Constraints: 51558
989.87/1024.22 c INPROCESSING
989.87/1024.22 c GARBAGE COLLECT
989.87/1024.22 c rational objective 19
1020.89/1055.39 c #Conflicts: 562000 | #Constraints: 37848
1020.89/1055.39 c #Conflicts: 563000 | #Constraints: 38848
1020.89/1055.39 c #Conflicts: 564000 | #Constraints: 39848
1020.89/1055.39 c #Conflicts: 565000 | #Constraints: 40848
1020.89/1055.39 c #Conflicts: 566000 | #Constraints: 41848
1020.89/1055.39 c #Conflicts: 567000 | #Constraints: 42848
1020.89/1055.39 c #Conflicts: 568000 | #Constraints: 43848
1020.89/1055.39 c #Conflicts: 569000 | #Constraints: 44848
1020.89/1055.39 c #Conflicts: 570000 | #Constraints: 45848
1020.89/1055.39 c #Conflicts: 571000 | #Constraints: 46848
1020.89/1055.39 c #Conflicts: 572000 | #Constraints: 47848
1020.89/1055.39 c #Conflicts: 573000 | #Constraints: 48848
1020.89/1055.39 c #Conflicts: 574000 | #Constraints: 49848
1020.89/1055.39 c #Conflicts: 575000 | #Constraints: 50849
1020.89/1055.39 c #Conflicts: 576000 | #Constraints: 51849
1020.89/1055.39 c INPROCESSING
1020.89/1055.39 c GARBAGE COLLECT
1020.89/1055.39 c rational objective 19
1050.48/1085.01 c #Conflicts: 577000 | #Constraints: 37854
1050.48/1085.01 c #Conflicts: 578000 | #Constraints: 38854
1050.48/1085.01 c #Conflicts: 579000 | #Constraints: 39854
1050.48/1085.01 c #Conflicts: 580000 | #Constraints: 40854
1050.48/1085.01 c #Conflicts: 581000 | #Constraints: 41854
1050.48/1085.01 c #Conflicts: 582000 | #Constraints: 42854
1050.48/1085.01 c #Conflicts: 583000 | #Constraints: 43854
1050.48/1085.01 c #Conflicts: 584000 | #Constraints: 44854
1050.48/1085.01 c #Conflicts: 585000 | #Constraints: 45854
1050.48/1085.01 c #Conflicts: 586000 | #Constraints: 46854
1050.48/1085.01 c #Conflicts: 587000 | #Constraints: 47854
1050.48/1085.01 c #Conflicts: 588000 | #Constraints: 48854
1050.48/1085.01 c #Conflicts: 589000 | #Constraints: 49854
1050.48/1085.01 c #Conflicts: 590000 | #Constraints: 50854
1050.48/1085.01 c #Conflicts: 591000 | #Constraints: 51854
1050.48/1085.01 c INPROCESSING
1050.48/1085.01 c GARBAGE COLLECT
1050.48/1085.01 c rational objective 19
1085.90/1120.54 c #Conflicts: 592000 | #Constraints: 37656
1085.90/1120.54 c #Conflicts: 593000 | #Constraints: 38656
1085.90/1120.54 c #Conflicts: 594000 | #Constraints: 39657
1085.90/1120.54 c #Conflicts: 595000 | #Constraints: 40659
1085.90/1120.54 c #Conflicts: 596000 | #Constraints: 41659
1085.90/1120.54 c #Conflicts: 597000 | #Constraints: 42660
1085.90/1120.54 c #Conflicts: 598000 | #Constraints: 43660
1085.90/1120.54 c #Conflicts: 599000 | #Constraints: 44662
1085.90/1120.54 c #Conflicts: 600000 | #Constraints: 45662
1085.90/1120.54 c #Conflicts: 601000 | #Constraints: 46668
1085.90/1120.54 c #Conflicts: 602000 | #Constraints: 47680
1085.90/1120.54 c #Conflicts: 603000 | #Constraints: 48700
1085.90/1120.54 c #Conflicts: 604000 | #Constraints: 49702
1085.90/1120.54 c #Conflicts: 605000 | #Constraints: 50711
1085.90/1120.54 c #Conflicts: 606000 | #Constraints: 51716
1085.90/1120.54 c #Conflicts: 607000 | #Constraints: 52753
1085.90/1120.54 c INPROCESSING
1085.90/1120.54 c GARBAGE COLLECT
1085.90/1120.54 c rational objective 19
1117.40/1152.17 c #Conflicts: 608000 | #Constraints: 38267
1117.40/1152.17 c #Conflicts: 609000 | #Constraints: 39268
1117.40/1152.17 c #Conflicts: 610000 | #Constraints: 40269
1117.40/1152.17 c #Conflicts: 611000 | #Constraints: 41269
1117.40/1152.17 c #Conflicts: 612000 | #Constraints: 42269
1117.40/1152.17 c #Conflicts: 613000 | #Constraints: 43269
1117.40/1152.17 c #Conflicts: 614000 | #Constraints: 44269
1117.40/1152.17 c #Conflicts: 615000 | #Constraints: 45269
1117.40/1152.17 c #Conflicts: 616000 | #Constraints: 46269
1117.40/1152.17 c #Conflicts: 617000 | #Constraints: 47269
1117.40/1152.17 c #Conflicts: 618000 | #Constraints: 48269
1117.40/1152.17 c #Conflicts: 619000 | #Constraints: 49269
1117.40/1152.17 c #Conflicts: 620000 | #Constraints: 50269
1117.40/1152.17 c #Conflicts: 621000 | #Constraints: 51269
1117.40/1152.17 c #Conflicts: 622000 | #Constraints: 52269
1117.40/1152.17 c #Conflicts: 623000 | #Constraints: 53269
1117.40/1152.17 c INPROCESSING
1117.40/1152.17 c GARBAGE COLLECT
1117.40/1152.17 c rational objective 19
1186.34/1221.70 c #Conflicts: 624000 | #Constraints: 38686
1186.34/1221.70 c #Conflicts: 625000 | #Constraints: 39686
1186.34/1221.70 c #Conflicts: 626000 | #Constraints: 40686
1186.34/1221.70 c #Conflicts: 627000 | #Constraints: 41686
1186.34/1221.70 c #Conflicts: 628000 | #Constraints: 42686
1186.34/1221.70 c #Conflicts: 629000 | #Constraints: 43686
1186.34/1221.70 c #Conflicts: 630000 | #Constraints: 44686
1186.34/1221.70 c #Conflicts: 631000 | #Constraints: 45686
1186.34/1221.70 c #Conflicts: 632000 | #Constraints: 46686
1186.34/1221.70 c #Conflicts: 633000 | #Constraints: 47686
1186.34/1221.70 c #Conflicts: 634000 | #Constraints: 48687
1186.34/1221.70 c #Conflicts: 635000 | #Constraints: 49687
1186.34/1221.70 c #Conflicts: 636000 | #Constraints: 50687
1186.34/1221.70 c #Conflicts: 637000 | #Constraints: 51688
1186.34/1221.70 c #Conflicts: 638000 | #Constraints: 52688
1186.34/1221.70 c #Conflicts: 639000 | #Constraints: 53688
1186.34/1221.70 c INPROCESSING
1186.34/1221.70 c GARBAGE COLLECT
1186.34/1221.70 c #Conflicts: 640000 | #Constraints: 38794
1186.34/1221.70 c #Conflicts: 641000 | #Constraints: 39794
1186.34/1221.70 c #Conflicts: 642000 | #Constraints: 40794
1186.34/1221.70 c #Conflicts: 643000 | #Constraints: 41794
1186.34/1221.70 c #Conflicts: 644000 | #Constraints: 42795
1186.34/1221.70 c #Conflicts: 645000 | #Constraints: 43796
1186.34/1221.70 c #Conflicts: 646000 | #Constraints: 44798
1186.34/1221.70 c #Conflicts: 647000 | #Constraints: 45799
1186.34/1221.70 c #Conflicts: 648000 | #Constraints: 46803
1186.34/1221.70 c #Conflicts: 649000 | #Constraints: 47804
1186.34/1221.70 c #Conflicts: 650000 | #Constraints: 48804
1186.34/1221.70 c #Conflicts: 651000 | #Constraints: 49805
1186.34/1221.70 c #Conflicts: 652000 | #Constraints: 50805
1186.34/1221.70 c #Conflicts: 653000 | #Constraints: 51809
1186.34/1221.70 c #Conflicts: 654000 | #Constraints: 52810
1186.34/1221.70 c #Conflicts: 655000 | #Constraints: 53813
1186.34/1221.70 c INPROCESSING
1186.34/1221.70 c GARBAGE COLLECT
1186.34/1221.70 c rational objective 19
1223.72/1259.20 c #Conflicts: 656000 | #Constraints: 38918
1223.72/1259.20 c #Conflicts: 657000 | #Constraints: 39918
1223.72/1259.20 c #Conflicts: 658000 | #Constraints: 40918
1223.72/1259.20 c #Conflicts: 659000 | #Constraints: 41918
1223.72/1259.20 c #Conflicts: 660000 | #Constraints: 42918
1223.72/1259.20 c #Conflicts: 661000 | #Constraints: 43918
1223.72/1259.20 c #Conflicts: 662000 | #Constraints: 44918
1223.72/1259.20 c #Conflicts: 663000 | #Constraints: 45918
1223.72/1259.20 c #Conflicts: 664000 | #Constraints: 46918
1223.72/1259.20 c #Conflicts: 665000 | #Constraints: 47918
1223.72/1259.20 c #Conflicts: 666000 | #Constraints: 48918
1223.72/1259.20 c #Conflicts: 667000 | #Constraints: 49918
1223.72/1259.20 c #Conflicts: 668000 | #Constraints: 50918
1223.72/1259.20 c #Conflicts: 669000 | #Constraints: 51918
1223.72/1259.20 c #Conflicts: 670000 | #Constraints: 52918
1223.72/1259.20 c #Conflicts: 671000 | #Constraints: 53918
1223.72/1259.20 c INPROCESSING
1223.72/1259.20 c GARBAGE COLLECT
1223.72/1259.20 c rational objective 19
1257.05/1292.75 c #Conflicts: 672000 | #Constraints: 38728
1257.05/1292.75 c #Conflicts: 673000 | #Constraints: 39728
1257.05/1292.75 c #Conflicts: 674000 | #Constraints: 40728
1257.05/1292.75 c #Conflicts: 675000 | #Constraints: 41728
1257.05/1292.75 c #Conflicts: 676000 | #Constraints: 42728
1257.05/1292.75 c #Conflicts: 677000 | #Constraints: 43728
1257.05/1292.75 c #Conflicts: 678000 | #Constraints: 44728
1257.05/1292.75 c #Conflicts: 679000 | #Constraints: 45728
1257.05/1292.75 c #Conflicts: 680000 | #Constraints: 46728
1257.05/1292.75 c #Conflicts: 681000 | #Constraints: 47728
1257.05/1292.75 c #Conflicts: 682000 | #Constraints: 48728
1257.05/1292.75 c #Conflicts: 683000 | #Constraints: 49728
1257.05/1292.75 c #Conflicts: 684000 | #Constraints: 50728
1257.05/1292.75 c #Conflicts: 685000 | #Constraints: 51728
1257.05/1292.75 c #Conflicts: 686000 | #Constraints: 52728
1257.05/1292.75 c #Conflicts: 687000 | #Constraints: 53728
1257.05/1292.75 c #Conflicts: 688000 | #Constraints: 54728
1257.05/1292.75 c INPROCESSING
1257.05/1292.75 c GARBAGE COLLECT
1257.05/1292.75 c rational objective 19
1286.72/1322.52 c #Conflicts: 689000 | #Constraints: 39366
1286.72/1322.52 c #Conflicts: 690000 | #Constraints: 40366
1286.72/1322.52 c #Conflicts: 691000 | #Constraints: 41366
1286.72/1322.52 c #Conflicts: 692000 | #Constraints: 42366
1286.72/1322.52 c #Conflicts: 693000 | #Constraints: 43366
1286.72/1322.52 c #Conflicts: 694000 | #Constraints: 44366
1286.72/1322.52 c #Conflicts: 695000 | #Constraints: 45366
1286.72/1322.52 c #Conflicts: 696000 | #Constraints: 46366
1286.72/1322.52 c #Conflicts: 697000 | #Constraints: 47366
1286.72/1322.52 c #Conflicts: 698000 | #Constraints: 48366
1286.72/1322.52 c #Conflicts: 699000 | #Constraints: 49366
1286.72/1322.52 c #Conflicts: 700000 | #Constraints: 50366
1286.72/1322.52 c #Conflicts: 701000 | #Constraints: 51366
1286.72/1322.52 c #Conflicts: 702000 | #Constraints: 52366
1286.72/1322.52 c #Conflicts: 703000 | #Constraints: 53366
1286.72/1322.52 c #Conflicts: 704000 | #Constraints: 54366
1286.72/1322.52 c #Conflicts: 705000 | #Constraints: 55366
1286.72/1322.52 c INPROCESSING
1286.72/1322.52 c GARBAGE COLLECT
1286.72/1322.52 c rational objective 19
1321.21/1357.16 c #Conflicts: 706000 | #Constraints: 39751
1321.21/1357.16 c #Conflicts: 707000 | #Constraints: 40751
1321.21/1357.16 c #Conflicts: 708000 | #Constraints: 41751
1321.21/1357.16 c #Conflicts: 709000 | #Constraints: 42751
1321.21/1357.16 c #Conflicts: 710000 | #Constraints: 43751
1321.21/1357.16 c #Conflicts: 711000 | #Constraints: 44751
1321.21/1357.16 c #Conflicts: 712000 | #Constraints: 45751
1321.21/1357.16 c #Conflicts: 713000 | #Constraints: 46751
1321.21/1357.16 c #Conflicts: 714000 | #Constraints: 47751
1321.21/1357.16 c #Conflicts: 715000 | #Constraints: 48751
1321.21/1357.16 c #Conflicts: 716000 | #Constraints: 49751
1321.21/1357.16 c #Conflicts: 717000 | #Constraints: 50751
1321.21/1357.16 c #Conflicts: 718000 | #Constraints: 51751
1321.21/1357.16 c #Conflicts: 719000 | #Constraints: 52751
1321.21/1357.16 c #Conflicts: 720000 | #Constraints: 53751
1321.21/1357.16 c #Conflicts: 721000 | #Constraints: 54751
1321.21/1357.16 c #Conflicts: 722000 | #Constraints: 55751
1321.21/1357.16 c INPROCESSING
1321.21/1357.16 c GARBAGE COLLECT
1321.21/1357.16 c rational objective 19
1363.51/1399.68 c #Conflicts: 723000 | #Constraints: 39905
1363.51/1399.68 c #Conflicts: 724000 | #Constraints: 40905
1363.51/1399.68 c #Conflicts: 725000 | #Constraints: 41905
1363.51/1399.68 c #Conflicts: 726000 | #Constraints: 42905
1363.51/1399.68 c #Conflicts: 727000 | #Constraints: 43905
1363.51/1399.68 c #Conflicts: 728000 | #Constraints: 44905
1363.51/1399.68 c #Conflicts: 729000 | #Constraints: 45905
1363.51/1399.68 c #Conflicts: 730000 | #Constraints: 46905
1363.51/1399.68 c #Conflicts: 731000 | #Constraints: 47905
1363.51/1399.68 c #Conflicts: 732000 | #Constraints: 48905
1363.51/1399.68 c #Conflicts: 733000 | #Constraints: 49905
1363.51/1399.68 c #Conflicts: 734000 | #Constraints: 50905
1363.51/1399.68 c #Conflicts: 735000 | #Constraints: 51905
1363.51/1399.68 c #Conflicts: 736000 | #Constraints: 52905
1363.51/1399.68 c #Conflicts: 737000 | #Constraints: 53905
1363.51/1399.68 c #Conflicts: 738000 | #Constraints: 54905
1363.51/1399.68 c #Conflicts: 739000 | #Constraints: 55905
1363.51/1399.68 c INPROCESSING
1363.51/1399.68 c GARBAGE COLLECT
1363.51/1399.68 c rational objective 19
1403.03/1439.22 c #Conflicts: 740000 | #Constraints: 39972
1403.03/1439.22 c #Conflicts: 741000 | #Constraints: 40972
1403.03/1439.22 c #Conflicts: 742000 | #Constraints: 41972
1403.03/1439.22 c #Conflicts: 743000 | #Constraints: 42972
1403.03/1439.22 c #Conflicts: 744000 | #Constraints: 43972
1403.03/1439.22 c #Conflicts: 745000 | #Constraints: 44972
1403.03/1439.22 c #Conflicts: 746000 | #Constraints: 45972
1403.03/1439.22 c #Conflicts: 747000 | #Constraints: 46972
1403.03/1439.22 c #Conflicts: 748000 | #Constraints: 47972
1403.03/1439.22 c #Conflicts: 749000 | #Constraints: 48972
1403.03/1439.22 c #Conflicts: 750000 | #Constraints: 49972
1403.03/1439.22 c #Conflicts: 751000 | #Constraints: 50972
1403.03/1439.22 c #Conflicts: 752000 | #Constraints: 51972
1403.03/1439.22 c #Conflicts: 753000 | #Constraints: 52972
1403.03/1439.22 c #Conflicts: 754000 | #Constraints: 53972
1403.03/1439.22 c #Conflicts: 755000 | #Constraints: 54972
1403.03/1439.22 c #Conflicts: 756000 | #Constraints: 55972
1403.03/1439.22 c INPROCESSING
1403.03/1439.22 c GARBAGE COLLECT
1403.03/1439.22 c rational objective 19
1441.89/1478.29 c #Conflicts: 757000 | #Constraints: 39821
1441.89/1478.29 c #Conflicts: 758000 | #Constraints: 40821
1441.89/1478.29 c #Conflicts: 759000 | #Constraints: 41821
1441.89/1478.29 c #Conflicts: 760000 | #Constraints: 42821
1441.89/1478.29 c #Conflicts: 761000 | #Constraints: 43821
1441.89/1478.29 c #Conflicts: 762000 | #Constraints: 44821
1441.89/1478.29 c #Conflicts: 763000 | #Constraints: 45821
1441.89/1478.29 c #Conflicts: 764000 | #Constraints: 46821
1441.89/1478.29 c #Conflicts: 765000 | #Constraints: 47821
1441.89/1478.29 c #Conflicts: 766000 | #Constraints: 48821
1441.89/1478.29 c #Conflicts: 767000 | #Constraints: 49821
1441.89/1478.29 c #Conflicts: 768000 | #Constraints: 50821
1441.89/1478.29 c #Conflicts: 769000 | #Constraints: 51821
1441.89/1478.29 c #Conflicts: 770000 | #Constraints: 52821
1441.89/1478.29 c #Conflicts: 771000 | #Constraints: 53821
1441.89/1478.29 c #Conflicts: 772000 | #Constraints: 54821
1441.89/1478.29 c #Conflicts: 773000 | #Constraints: 55821
1441.89/1478.29 c #Conflicts: 774000 | #Constraints: 56821
1441.89/1478.29 c INPROCESSING
1441.89/1478.29 c GARBAGE COLLECT
1441.89/1478.29 c rational objective 19
1484.23/1520.77 c #Conflicts: 775000 | #Constraints: 40374
1484.23/1520.77 c #Conflicts: 776000 | #Constraints: 41374
1484.23/1520.77 c #Conflicts: 777000 | #Constraints: 42374
1484.23/1520.77 c #Conflicts: 778000 | #Constraints: 43374
1484.23/1520.77 c #Conflicts: 779000 | #Constraints: 44374
1484.23/1520.77 c #Conflicts: 780000 | #Constraints: 45374
1484.23/1520.77 c #Conflicts: 781000 | #Constraints: 46374
1484.23/1520.77 c #Conflicts: 782000 | #Constraints: 47374
1484.23/1520.77 c #Conflicts: 783000 | #Constraints: 48374
1484.23/1520.77 c #Conflicts: 784000 | #Constraints: 49374
1484.23/1520.77 c #Conflicts: 785000 | #Constraints: 50374
1484.23/1520.77 c #Conflicts: 786000 | #Constraints: 51374
1484.23/1520.77 c #Conflicts: 787000 | #Constraints: 52374
1484.23/1520.77 c #Conflicts: 788000 | #Constraints: 53374
1484.23/1520.77 c #Conflicts: 789000 | #Constraints: 54374
1484.23/1520.77 c #Conflicts: 790000 | #Constraints: 55374
1484.23/1520.77 c #Conflicts: 791000 | #Constraints: 56374
1484.23/1520.77 c #Conflicts: 792000 | #Constraints: 57374
1484.23/1520.77 c INPROCESSING
1484.23/1520.77 c GARBAGE COLLECT
1484.23/1520.77 c rational objective 19
1526.47/1563.10 c #Conflicts: 793000 | #Constraints: 40809
1526.47/1563.10 c #Conflicts: 794000 | #Constraints: 41809
1526.47/1563.10 c #Conflicts: 795000 | #Constraints: 42809
1526.47/1563.10 c #Conflicts: 796000 | #Constraints: 43809
1526.47/1563.10 c #Conflicts: 797000 | #Constraints: 44809
1526.47/1563.10 c #Conflicts: 798000 | #Constraints: 45809
1526.47/1563.10 c #Conflicts: 799000 | #Constraints: 46809
1526.47/1563.10 c #Conflicts: 800000 | #Constraints: 47809
1526.47/1563.10 c #Conflicts: 801000 | #Constraints: 48809
1526.47/1563.10 c #Conflicts: 802000 | #Constraints: 49809
1526.47/1563.10 c #Conflicts: 803000 | #Constraints: 50809
1526.47/1563.10 c #Conflicts: 804000 | #Constraints: 51809
1526.47/1563.10 c #Conflicts: 805000 | #Constraints: 52809
1526.47/1563.10 c #Conflicts: 806000 | #Constraints: 53809
1526.47/1563.10 c #Conflicts: 807000 | #Constraints: 54809
1526.47/1563.10 c #Conflicts: 808000 | #Constraints: 55809
1526.47/1563.10 c #Conflicts: 809000 | #Constraints: 56809
1526.47/1563.10 c #Conflicts: 810000 | #Constraints: 57809
1526.47/1563.10 c INPROCESSING
1526.47/1563.10 c GARBAGE COLLECT
1526.47/1563.10 c rational objective 19
1569.50/1606.32 c #Conflicts: 811000 | #Constraints: 41035
1569.50/1606.32 c #Conflicts: 812000 | #Constraints: 42035
1569.50/1606.32 c #Conflicts: 813000 | #Constraints: 43035
1569.50/1606.32 c #Conflicts: 814000 | #Constraints: 44035
1569.50/1606.32 c #Conflicts: 815000 | #Constraints: 45035
1569.50/1606.32 c #Conflicts: 816000 | #Constraints: 46035
1569.50/1606.32 c #Conflicts: 817000 | #Constraints: 47035
1569.50/1606.32 c #Conflicts: 818000 | #Constraints: 48035
1569.50/1606.32 c #Conflicts: 819000 | #Constraints: 49035
1569.50/1606.32 c #Conflicts: 820000 | #Constraints: 50035
1569.50/1606.32 c #Conflicts: 821000 | #Constraints: 51035
1569.50/1606.32 c #Conflicts: 822000 | #Constraints: 52035
1569.50/1606.32 c #Conflicts: 823000 | #Constraints: 53035
1569.50/1606.32 c #Conflicts: 824000 | #Constraints: 54035
1569.50/1606.32 c #Conflicts: 825000 | #Constraints: 55035
1569.50/1606.32 c #Conflicts: 826000 | #Constraints: 56035
1569.50/1606.32 c #Conflicts: 827000 | #Constraints: 57035
1569.50/1606.32 c #Conflicts: 828000 | #Constraints: 58035
1569.50/1606.32 c INPROCESSING
1569.50/1606.32 c GARBAGE COLLECT
1569.50/1606.32 c rational objective 19
1612.55/1649.59 c #Conflicts: 829000 | #Constraints: 40970
1612.55/1649.59 c #Conflicts: 830000 | #Constraints: 41970
1612.55/1649.59 c #Conflicts: 831000 | #Constraints: 42970
1612.55/1649.59 c #Conflicts: 832000 | #Constraints: 43970
1612.55/1649.59 c #Conflicts: 833000 | #Constraints: 44970
1612.55/1649.59 c #Conflicts: 834000 | #Constraints: 45970
1612.55/1649.59 c #Conflicts: 835000 | #Constraints: 46970
1612.55/1649.59 c #Conflicts: 836000 | #Constraints: 47970
1612.55/1649.59 c #Conflicts: 837000 | #Constraints: 48970
1612.55/1649.59 c #Conflicts: 838000 | #Constraints: 49970
1612.55/1649.59 c #Conflicts: 839000 | #Constraints: 50970
1612.55/1649.59 c #Conflicts: 840000 | #Constraints: 51970
1612.55/1649.59 c #Conflicts: 841000 | #Constraints: 52970
1612.55/1649.59 c #Conflicts: 842000 | #Constraints: 53970
1612.55/1649.59 c #Conflicts: 843000 | #Constraints: 54970
1612.55/1649.59 c #Conflicts: 844000 | #Constraints: 55970
1612.55/1649.59 c #Conflicts: 845000 | #Constraints: 56970
1612.55/1649.59 c #Conflicts: 846000 | #Constraints: 57970
1612.55/1649.59 c INPROCESSING
1612.55/1649.59 c GARBAGE COLLECT
1612.55/1649.59 c rational objective 19
1650.93/1688.08 c #Conflicts: 847000 | #Constraints: 40701
1650.93/1688.08 c #Conflicts: 848000 | #Constraints: 41701
1650.93/1688.08 c #Conflicts: 849000 | #Constraints: 42701
1650.93/1688.08 c #Conflicts: 850000 | #Constraints: 43701
1650.93/1688.08 c #Conflicts: 851000 | #Constraints: 44701
1650.93/1688.08 c #Conflicts: 852000 | #Constraints: 45701
1650.93/1688.08 c #Conflicts: 853000 | #Constraints: 46701
1650.93/1688.08 c #Conflicts: 854000 | #Constraints: 47701
1650.93/1688.08 c #Conflicts: 855000 | #Constraints: 48701
1650.93/1688.08 c #Conflicts: 856000 | #Constraints: 49701
1650.93/1688.08 c #Conflicts: 857000 | #Constraints: 50701
1650.93/1688.08 c #Conflicts: 858000 | #Constraints: 51701
1650.93/1688.08 c #Conflicts: 859000 | #Constraints: 52701
1650.93/1688.08 c #Conflicts: 860000 | #Constraints: 53701
1650.93/1688.08 c #Conflicts: 861000 | #Constraints: 54701
1650.93/1688.08 c #Conflicts: 862000 | #Constraints: 55701
1650.93/1688.08 c #Conflicts: 863000 | #Constraints: 56701
1650.93/1688.08 c #Conflicts: 864000 | #Constraints: 57701
1650.93/1688.08 c #Conflicts: 865000 | #Constraints: 58701
1650.93/1688.08 c INPROCESSING
1650.93/1688.08 c GARBAGE COLLECT
1650.93/1688.08 c rational objective 19
1693.55/1730.86 c #Conflicts: 866000 | #Constraints: 41311
1693.55/1730.86 c #Conflicts: 867000 | #Constraints: 42311
1693.55/1730.86 c #Conflicts: 868000 | #Constraints: 43311
1693.55/1730.86 c #Conflicts: 869000 | #Constraints: 44311
1693.55/1730.86 c #Conflicts: 870000 | #Constraints: 45311
1693.55/1730.86 c #Conflicts: 871000 | #Constraints: 46311
1693.55/1730.86 c #Conflicts: 872000 | #Constraints: 47311
1693.55/1730.86 c #Conflicts: 873000 | #Constraints: 48311
1693.55/1730.86 c #Conflicts: 874000 | #Constraints: 49311
1693.55/1730.86 c #Conflicts: 875000 | #Constraints: 50311
1693.55/1730.86 c #Conflicts: 876000 | #Constraints: 51311
1693.55/1730.86 c #Conflicts: 877000 | #Constraints: 52311
1693.55/1730.86 c #Conflicts: 878000 | #Constraints: 53311
1693.55/1730.86 c #Conflicts: 879000 | #Constraints: 54311
1693.55/1730.86 c #Conflicts: 880000 | #Constraints: 55311
1693.55/1730.86 c #Conflicts: 881000 | #Constraints: 56311
1693.55/1730.86 c #Conflicts: 882000 | #Constraints: 57311
1693.55/1730.86 c #Conflicts: 883000 | #Constraints: 58311
1693.55/1730.86 c #Conflicts: 884000 | #Constraints: 59311
1693.55/1730.86 c INPROCESSING
1693.55/1730.86 c GARBAGE COLLECT
1693.55/1730.86 c rational objective 19
1738.40/1775.82 c #Conflicts: 885000 | #Constraints: 41740
1738.40/1775.82 c #Conflicts: 886000 | #Constraints: 42740
1738.40/1775.82 c #Conflicts: 887000 | #Constraints: 43740
1738.40/1775.82 c #Conflicts: 888000 | #Constraints: 44741
1738.40/1775.82 c #Conflicts: 889000 | #Constraints: 45742
1738.40/1775.82 c #Conflicts: 890000 | #Constraints: 46814
1738.40/1775.82 c #Conflicts: 891000 | #Constraints: 47814
1738.40/1775.82 c #Conflicts: 892000 | #Constraints: 48899
1738.40/1775.82 c #Conflicts: 893000 | #Constraints: 49899
1738.40/1775.82 c #Conflicts: 894000 | #Constraints: 50899
1738.40/1775.82 c #Conflicts: 895000 | #Constraints: 51901
1738.40/1775.82 c #Conflicts: 896000 | #Constraints: 52902
1738.40/1775.82 c #Conflicts: 897000 | #Constraints: 53902
1738.40/1775.82 c #Conflicts: 898000 | #Constraints: 54902
1738.40/1775.82 c #Conflicts: 899000 | #Constraints: 55902
1738.40/1775.82 c #Conflicts: 900000 | #Constraints: 56902
1738.40/1775.82 c #Conflicts: 901000 | #Constraints: 57902
1738.40/1775.82 c #Conflicts: 902000 | #Constraints: 58902
1738.40/1775.82 c #Conflicts: 903000 | #Constraints: 59902
1738.40/1775.82 c INPROCESSING
1738.40/1775.82 c GARBAGE COLLECT
1738.40/1775.82 c rational objective 19
1783.64/1821.23 c #Conflicts: 904000 | #Constraints: 42098
1783.64/1821.23 c #Conflicts: 905000 | #Constraints: 43098
1783.64/1821.23 c #Conflicts: 906000 | #Constraints: 44098
1783.64/1821.23 c #Conflicts: 907000 | #Constraints: 45098
1783.64/1821.23 c #Conflicts: 908000 | #Constraints: 46098
1783.64/1821.23 c #Conflicts: 909000 | #Constraints: 47098
1783.64/1821.23 c #Conflicts: 910000 | #Constraints: 48098
1783.64/1821.23 c #Conflicts: 911000 | #Constraints: 49098
1783.64/1821.23 c #Conflicts: 912000 | #Constraints: 50098
1783.64/1821.23 c #Conflicts: 913000 | #Constraints: 51098
1783.64/1821.23 c #Conflicts: 914000 | #Constraints: 52098
1783.64/1821.23 c #Conflicts: 915000 | #Constraints: 53098
1783.64/1821.23 c #Conflicts: 916000 | #Constraints: 54098
1783.64/1821.23 c #Conflicts: 917000 | #Constraints: 55098
1783.64/1821.23 c #Conflicts: 918000 | #Constraints: 56098
1783.64/1821.23 c #Conflicts: 919000 | #Constraints: 57098
1783.64/1821.23 c #Conflicts: 920000 | #Constraints: 58098
1783.64/1821.23 c #Conflicts: 921000 | #Constraints: 59098
1783.64/1821.23 c #Conflicts: 922000 | #Constraints: 60098
1783.64/1821.23 c INPROCESSING
1783.64/1821.23 c GARBAGE COLLECT
1783.64/1821.23 c rational objective 19
1830.38/1868.17 c #Conflicts: 923000 | #Constraints: 42070
1830.38/1868.17 c #Conflicts: 924000 | #Constraints: 43070
1830.38/1868.17 c #Conflicts: 925000 | #Constraints: 44070
1830.38/1868.17 c #Conflicts: 926000 | #Constraints: 45070
1830.38/1868.17 c #Conflicts: 927000 | #Constraints: 46070
1830.38/1868.17 c #Conflicts: 928000 | #Constraints: 47070
1830.38/1868.17 c #Conflicts: 929000 | #Constraints: 48070
1830.38/1868.17 c #Conflicts: 930000 | #Constraints: 49070
1830.38/1868.17 c #Conflicts: 931000 | #Constraints: 50070
1830.38/1868.17 c #Conflicts: 932000 | #Constraints: 51070
1830.38/1868.17 c #Conflicts: 933000 | #Constraints: 52070
1830.38/1868.17 c #Conflicts: 934000 | #Constraints: 53070
1830.38/1868.17 c #Conflicts: 935000 | #Constraints: 54070
1830.38/1868.17 c #Conflicts: 936000 | #Constraints: 55070
1830.38/1868.17 c #Conflicts: 937000 | #Constraints: 56070
1830.38/1868.17 c #Conflicts: 938000 | #Constraints: 57070
1830.38/1868.17 c #Conflicts: 939000 | #Constraints: 58070
1830.38/1868.17 c #Conflicts: 940000 | #Constraints: 59070
1830.38/1868.17 c #Conflicts: 941000 | #Constraints: 60070
1830.38/1868.17 c INPROCESSING
1830.38/1868.17 c GARBAGE COLLECT
1830.38/1868.17 c rational objective 19
1880.78/1918.79 c #Conflicts: 942000 | #Constraints: 41859
1880.78/1918.79 c #Conflicts: 943000 | #Constraints: 42859
1880.78/1918.79 c #Conflicts: 944000 | #Constraints: 43859
1880.78/1918.79 c #Conflicts: 945000 | #Constraints: 44859
1880.78/1918.79 c #Conflicts: 946000 | #Constraints: 45859
1880.78/1918.79 c #Conflicts: 947000 | #Constraints: 46860
1880.78/1918.79 c #Conflicts: 948000 | #Constraints: 47860
1880.78/1918.79 c #Conflicts: 949000 | #Constraints: 48861
1880.78/1918.79 c #Conflicts: 950000 | #Constraints: 49861
1880.78/1918.79 c #Conflicts: 951000 | #Constraints: 50861
1880.78/1918.79 c #Conflicts: 952000 | #Constraints: 51862
1880.78/1918.79 c #Conflicts: 953000 | #Constraints: 52868
1880.78/1918.79 c #Conflicts: 954000 | #Constraints: 53871
1880.78/1918.79 c #Conflicts: 955000 | #Constraints: 54871
1880.78/1918.79 c #Conflicts: 956000 | #Constraints: 55871
1880.78/1918.79 c #Conflicts: 957000 | #Constraints: 56871
1880.78/1918.79 c #Conflicts: 958000 | #Constraints: 57871
1880.78/1918.79 c #Conflicts: 959000 | #Constraints: 58871
1880.78/1918.79 c #Conflicts: 960000 | #Constraints: 59871
1880.78/1918.79 c #Conflicts: 961000 | #Constraints: 60871
1880.78/1918.79 c INPROCESSING
1880.78/1918.79 c GARBAGE COLLECT
1880.78/1918.79 c rational objective 19
1929.42/1967.56 c #Conflicts: 962000 | #Constraints: 42411
1929.42/1967.56 c #Conflicts: 963000 | #Constraints: 43411
1929.42/1967.56 c #Conflicts: 964000 | #Constraints: 44411
1929.42/1967.56 c #Conflicts: 965000 | #Constraints: 45411
1929.42/1967.56 c #Conflicts: 966000 | #Constraints: 46411
1929.42/1967.56 c #Conflicts: 967000 | #Constraints: 47411
1929.42/1967.56 c #Conflicts: 968000 | #Constraints: 48411
1929.42/1967.56 c #Conflicts: 969000 | #Constraints: 49411
1929.42/1967.56 c #Conflicts: 970000 | #Constraints: 50412
1929.42/1967.56 c #Conflicts: 971000 | #Constraints: 51412
1929.42/1967.56 c #Conflicts: 972000 | #Constraints: 52412
1929.42/1967.56 c #Conflicts: 973000 | #Constraints: 53412
1929.42/1967.56 c #Conflicts: 974000 | #Constraints: 54414
1929.42/1967.56 c #Conflicts: 975000 | #Constraints: 55415
1929.42/1967.56 c #Conflicts: 976000 | #Constraints: 56417
1929.42/1967.56 c #Conflicts: 977000 | #Constraints: 57420
1929.42/1967.56 c #Conflicts: 978000 | #Constraints: 58420
1929.42/1967.56 c #Conflicts: 979000 | #Constraints: 59420
1929.42/1967.56 c #Conflicts: 980000 | #Constraints: 60420
1929.42/1967.56 c #Conflicts: 981000 | #Constraints: 61420
1929.42/1967.56 c INPROCESSING
1929.42/1967.56 c GARBAGE COLLECT
1929.42/1967.56 c rational objective 19
1978.34/2016.67 c #Conflicts: 982000 | #Constraints: 42800
1978.34/2016.67 c #Conflicts: 983000 | #Constraints: 43800
1978.34/2016.67 c #Conflicts: 984000 | #Constraints: 44800
1978.34/2016.67 c #Conflicts: 985000 | #Constraints: 45800
1978.34/2016.67 c #Conflicts: 986000 | #Constraints: 46800
1978.34/2016.67 c #Conflicts: 987000 | #Constraints: 47801
1978.34/2016.67 c #Conflicts: 988000 | #Constraints: 48801
1978.34/2016.67 c #Conflicts: 989000 | #Constraints: 49801
1978.34/2016.67 c #Conflicts: 990000 | #Constraints: 50801
1978.34/2016.67 c #Conflicts: 991000 | #Constraints: 51801
1978.34/2016.67 c #Conflicts: 992000 | #Constraints: 52802
1978.34/2016.67 c #Conflicts: 993000 | #Constraints: 53802
1978.34/2016.67 c #Conflicts: 994000 | #Constraints: 54803
1978.34/2016.67 c #Conflicts: 995000 | #Constraints: 55805
1978.34/2016.67 c #Conflicts: 996000 | #Constraints: 56805
1978.34/2016.67 c #Conflicts: 997000 | #Constraints: 57805
1978.34/2016.67 c #Conflicts: 998000 | #Constraints: 58805
1978.34/2016.67 c #Conflicts: 999000 | #Constraints: 59805
1978.34/2016.67 c #Conflicts: 1000000 | #Constraints: 60805
1978.34/2016.67 c #Conflicts: 1001000 | #Constraints: 61805
1978.34/2016.67 c INPROCESSING
1978.34/2016.67 c GARBAGE COLLECT
1978.34/2016.67 c rational objective 19
2030.39/2068.97 c #Conflicts: 1002000 | #Constraints: 42956
2030.39/2068.97 c #Conflicts: 1003000 | #Constraints: 43956
2030.39/2068.97 c #Conflicts: 1004000 | #Constraints: 44956
2030.39/2068.97 c #Conflicts: 1005000 | #Constraints: 45956
2030.39/2068.97 c #Conflicts: 1006000 | #Constraints: 46956
2030.39/2068.97 c #Conflicts: 1007000 | #Constraints: 47956
2030.39/2068.97 c #Conflicts: 1008000 | #Constraints: 48956
2030.39/2068.97 c #Conflicts: 1009000 | #Constraints: 49956
2030.39/2068.97 c #Conflicts: 1010000 | #Constraints: 50956
2030.39/2068.97 c #Conflicts: 1011000 | #Constraints: 51956
2030.39/2068.97 c #Conflicts: 1012000 | #Constraints: 52956
2030.39/2068.97 c #Conflicts: 1013000 | #Constraints: 53956
2030.39/2068.97 c #Conflicts: 1014000 | #Constraints: 54956
2030.39/2068.97 c #Conflicts: 1015000 | #Constraints: 55956
2030.39/2068.97 c #Conflicts: 1016000 | #Constraints: 56956
2030.39/2068.97 c #Conflicts: 1017000 | #Constraints: 57956
2030.39/2068.97 c #Conflicts: 1018000 | #Constraints: 58956
2030.39/2068.97 c #Conflicts: 1019000 | #Constraints: 59956
2030.39/2068.97 c #Conflicts: 1020000 | #Constraints: 60956
2030.39/2068.97 c #Conflicts: 1021000 | #Constraints: 61956
2030.39/2068.97 c INPROCESSING
2030.39/2068.97 c GARBAGE COLLECT
2030.39/2068.97 c rational objective 19
2086.16/2124.85 c #Conflicts: 1022000 | #Constraints: 42946
2086.16/2124.85 c #Conflicts: 1023000 | #Constraints: 43946
2086.16/2124.85 c #Conflicts: 1024000 | #Constraints: 44946
2086.16/2124.85 c #Conflicts: 1025000 | #Constraints: 45946
2086.16/2124.85 c #Conflicts: 1026000 | #Constraints: 46946
2086.16/2124.85 c #Conflicts: 1027000 | #Constraints: 47946
2086.16/2124.85 c #Conflicts: 1028000 | #Constraints: 48946
2086.16/2124.85 c #Conflicts: 1029000 | #Constraints: 49946
2086.16/2124.85 c #Conflicts: 1030000 | #Constraints: 50946
2086.16/2124.85 c #Conflicts: 1031000 | #Constraints: 51946
2086.16/2124.85 c #Conflicts: 1032000 | #Constraints: 52946
2086.16/2124.85 c #Conflicts: 1033000 | #Constraints: 53946
2086.16/2124.85 c #Conflicts: 1034000 | #Constraints: 54946
2086.16/2124.85 c #Conflicts: 1035000 | #Constraints: 55946
2086.16/2124.85 c #Conflicts: 1036000 | #Constraints: 56946
2086.16/2124.85 c #Conflicts: 1037000 | #Constraints: 57946
2086.16/2124.85 c #Conflicts: 1038000 | #Constraints: 58946
2086.16/2124.85 c #Conflicts: 1039000 | #Constraints: 59946
2086.16/2124.85 c #Conflicts: 1040000 | #Constraints: 60946
2086.16/2124.85 c #Conflicts: 1041000 | #Constraints: 61946
2086.16/2124.85 c INPROCESSING
2086.16/2124.85 c GARBAGE COLLECT
2086.16/2124.85 c rational objective 19
2133.01/2171.93 c #Conflicts: 1042000 | #Constraints: 42766
2133.01/2171.93 c #Conflicts: 1043000 | #Constraints: 43766
2133.01/2171.93 c #Conflicts: 1044000 | #Constraints: 44766
2133.01/2171.93 c #Conflicts: 1045000 | #Constraints: 45766
2133.01/2171.93 c #Conflicts: 1046000 | #Constraints: 46766
2133.01/2171.93 c #Conflicts: 1047000 | #Constraints: 47766
2133.01/2171.93 c #Conflicts: 1048000 | #Constraints: 48766
2133.01/2171.93 c #Conflicts: 1049000 | #Constraints: 49766
2133.01/2171.93 c #Conflicts: 1050000 | #Constraints: 50766
2133.01/2171.93 c #Conflicts: 1051000 | #Constraints: 51766
2133.01/2171.93 c #Conflicts: 1052000 | #Constraints: 52766
2133.01/2171.93 c #Conflicts: 1053000 | #Constraints: 53766
2133.01/2171.93 c #Conflicts: 1054000 | #Constraints: 54766
2133.01/2171.93 c #Conflicts: 1055000 | #Constraints: 55766
2133.01/2171.93 c #Conflicts: 1056000 | #Constraints: 56766
2133.01/2171.93 c #Conflicts: 1057000 | #Constraints: 57766
2133.01/2171.93 c #Conflicts: 1058000 | #Constraints: 58766
2133.01/2171.93 c #Conflicts: 1059000 | #Constraints: 59766
2133.01/2171.93 c #Conflicts: 1060000 | #Constraints: 60766
2133.01/2171.93 c #Conflicts: 1061000 | #Constraints: 61766
2133.01/2171.93 c #Conflicts: 1062000 | #Constraints: 62766
2133.01/2171.93 c INPROCESSING
2133.01/2171.93 c GARBAGE COLLECT
2133.01/2171.93 c rational objective 19
2190.08/2229.23 c #Conflicts: 1063000 | #Constraints: 43317
2190.08/2229.23 c #Conflicts: 1064000 | #Constraints: 44317
2190.08/2229.23 c #Conflicts: 1065000 | #Constraints: 45317
2190.08/2229.23 c #Conflicts: 1066000 | #Constraints: 46317
2190.08/2229.23 c #Conflicts: 1067000 | #Constraints: 47317
2190.08/2229.23 c #Conflicts: 1068000 | #Constraints: 48317
2190.08/2229.23 c #Conflicts: 1069000 | #Constraints: 49317
2190.08/2229.23 c #Conflicts: 1070000 | #Constraints: 50317
2190.08/2229.23 c #Conflicts: 1071000 | #Constraints: 51317
2190.08/2229.23 c #Conflicts: 1072000 | #Constraints: 52317
2190.08/2229.23 c #Conflicts: 1073000 | #Constraints: 53317
2190.08/2229.23 c #Conflicts: 1074000 | #Constraints: 54317
2190.08/2229.23 c #Conflicts: 1075000 | #Constraints: 55317
2190.08/2229.23 c #Conflicts: 1076000 | #Constraints: 56317
2190.08/2229.23 c #Conflicts: 1077000 | #Constraints: 57317
2190.08/2229.23 c #Conflicts: 1078000 | #Constraints: 58317
2190.08/2229.23 c #Conflicts: 1079000 | #Constraints: 59317
2190.08/2229.23 c #Conflicts: 1080000 | #Constraints: 60317
2190.08/2229.23 c #Conflicts: 1081000 | #Constraints: 61317
2190.08/2229.23 c #Conflicts: 1082000 | #Constraints: 62317
2190.08/2229.23 c #Conflicts: 1083000 | #Constraints: 63317
2190.08/2229.23 c INPROCESSING
2190.08/2229.23 c GARBAGE COLLECT
2190.08/2229.23 c rational objective 19
2242.02/2281.36 c #Conflicts: 1084000 | #Constraints: 43679
2242.02/2281.36 c #Conflicts: 1085000 | #Constraints: 44679
2242.02/2281.36 c #Conflicts: 1086000 | #Constraints: 45679
2242.02/2281.36 c #Conflicts: 1087000 | #Constraints: 46679
2242.02/2281.36 c #Conflicts: 1088000 | #Constraints: 47679
2242.02/2281.36 c #Conflicts: 1089000 | #Constraints: 48679
2242.02/2281.36 c #Conflicts: 1090000 | #Constraints: 49679
2242.02/2281.36 c #Conflicts: 1091000 | #Constraints: 50679
2242.02/2281.36 c #Conflicts: 1092000 | #Constraints: 51679
2242.02/2281.36 c #Conflicts: 1093000 | #Constraints: 52679
2242.02/2281.36 c #Conflicts: 1094000 | #Constraints: 53679
2242.02/2281.36 c #Conflicts: 1095000 | #Constraints: 54679
2242.02/2281.36 c #Conflicts: 1096000 | #Constraints: 55679
2242.02/2281.36 c #Conflicts: 1097000 | #Constraints: 56679
2242.02/2281.36 c #Conflicts: 1098000 | #Constraints: 57679
2242.02/2281.36 c #Conflicts: 1099000 | #Constraints: 58679
2242.02/2281.36 c #Conflicts: 1100000 | #Constraints: 59679
2242.02/2281.36 c #Conflicts: 1101000 | #Constraints: 60679
2242.02/2281.36 c #Conflicts: 1102000 | #Constraints: 61679
2242.02/2281.36 c #Conflicts: 1103000 | #Constraints: 62679
2242.02/2281.36 c #Conflicts: 1104000 | #Constraints: 63679
2242.02/2281.36 c INPROCESSING
2242.02/2281.36 c GARBAGE COLLECT
2242.02/2281.36 c rational objective 19
2298.30/2337.84 c #Conflicts: 1105000 | #Constraints: 43951
2298.30/2337.84 c #Conflicts: 1106000 | #Constraints: 44951
2298.30/2337.84 c #Conflicts: 1107000 | #Constraints: 45951
2298.30/2337.84 c #Conflicts: 1108000 | #Constraints: 46951
2298.30/2337.84 c #Conflicts: 1109000 | #Constraints: 47951
2298.30/2337.84 c #Conflicts: 1110000 | #Constraints: 48951
2298.30/2337.84 c #Conflicts: 1111000 | #Constraints: 49951
2298.30/2337.84 c #Conflicts: 1112000 | #Constraints: 50951
2298.30/2337.84 c #Conflicts: 1113000 | #Constraints: 51951
2298.30/2337.84 c #Conflicts: 1114000 | #Constraints: 52951
2298.30/2337.84 c #Conflicts: 1115000 | #Constraints: 53951
2298.30/2337.84 c #Conflicts: 1116000 | #Constraints: 54951
2298.30/2337.84 c #Conflicts: 1117000 | #Constraints: 55951
2298.30/2337.84 c #Conflicts: 1118000 | #Constraints: 56951
2298.30/2337.84 c #Conflicts: 1119000 | #Constraints: 57951
2298.30/2337.84 c #Conflicts: 1120000 | #Constraints: 58951
2298.30/2337.84 c #Conflicts: 1121000 | #Constraints: 59951
2298.30/2337.84 c #Conflicts: 1122000 | #Constraints: 60951
2298.30/2337.84 c #Conflicts: 1123000 | #Constraints: 61951
2298.30/2337.84 c #Conflicts: 1124000 | #Constraints: 62951
2298.30/2337.84 c #Conflicts: 1125000 | #Constraints: 63951
2298.30/2337.84 c INPROCESSING
2298.30/2337.84 c GARBAGE COLLECT
2298.30/2337.84 c rational objective 19
2348.05/2387.87 c #Conflicts: 1126000 | #Constraints: 44009
2348.05/2387.87 c #Conflicts: 1127000 | #Constraints: 45009
2348.05/2387.87 c #Conflicts: 1128000 | #Constraints: 46009
2348.05/2387.87 c #Conflicts: 1129000 | #Constraints: 47009
2348.05/2387.87 c #Conflicts: 1130000 | #Constraints: 48009
2348.05/2387.87 c #Conflicts: 1131000 | #Constraints: 49009
2348.05/2387.87 c #Conflicts: 1132000 | #Constraints: 50009
2348.05/2387.87 c #Conflicts: 1133000 | #Constraints: 51009
2348.05/2387.87 c #Conflicts: 1134000 | #Constraints: 52009
2348.05/2387.87 c #Conflicts: 1135000 | #Constraints: 53009
2348.05/2387.87 c #Conflicts: 1136000 | #Constraints: 54009
2348.05/2387.87 c #Conflicts: 1137000 | #Constraints: 55009
2348.05/2387.87 c #Conflicts: 1138000 | #Constraints: 56009
2348.05/2387.87 c #Conflicts: 1139000 | #Constraints: 57009
2348.05/2387.87 c #Conflicts: 1140000 | #Constraints: 58009
2348.05/2387.87 c #Conflicts: 1141000 | #Constraints: 59009
2348.05/2387.87 c #Conflicts: 1142000 | #Constraints: 60009
2348.05/2387.87 c #Conflicts: 1143000 | #Constraints: 61009
2348.05/2387.87 c #Conflicts: 1144000 | #Constraints: 62009
2348.05/2387.87 c #Conflicts: 1145000 | #Constraints: 63009
2348.05/2387.87 c #Conflicts: 1146000 | #Constraints: 64009
2348.05/2387.87 c INPROCESSING
2348.05/2387.87 c GARBAGE COLLECT
2348.05/2387.87 c rational objective 19
2398.38/2438.35 c #Conflicts: 1147000 | #Constraints: 43880
2398.38/2438.35 c #Conflicts: 1148000 | #Constraints: 44880
2398.38/2438.35 c #Conflicts: 1149000 | #Constraints: 45880
2398.38/2438.35 c #Conflicts: 1150000 | #Constraints: 46880
2398.38/2438.35 c #Conflicts: 1151000 | #Constraints: 47880
2398.38/2438.35 c #Conflicts: 1152000 | #Constraints: 48880
2398.38/2438.35 c #Conflicts: 1153000 | #Constraints: 49880
2398.38/2438.35 c #Conflicts: 1154000 | #Constraints: 50880
2398.38/2438.35 c #Conflicts: 1155000 | #Constraints: 51880
2398.38/2438.35 c #Conflicts: 1156000 | #Constraints: 52880
2398.38/2438.35 c #Conflicts: 1157000 | #Constraints: 53880
2398.38/2438.35 c #Conflicts: 1158000 | #Constraints: 54880
2398.38/2438.35 c #Conflicts: 1159000 | #Constraints: 55880
2398.38/2438.35 c #Conflicts: 1160000 | #Constraints: 56880
2398.38/2438.35 c #Conflicts: 1161000 | #Constraints: 57880
2398.38/2438.35 c #Conflicts: 1162000 | #Constraints: 58880
2398.38/2438.35 c #Conflicts: 1163000 | #Constraints: 59880
2398.38/2438.35 c #Conflicts: 1164000 | #Constraints: 60880
2398.38/2438.35 c #Conflicts: 1165000 | #Constraints: 61880
2398.38/2438.35 c #Conflicts: 1166000 | #Constraints: 62880
2398.38/2438.35 c #Conflicts: 1167000 | #Constraints: 63880
2398.38/2438.35 c #Conflicts: 1168000 | #Constraints: 64880
2398.38/2438.35 c INPROCESSING
2398.38/2438.35 c GARBAGE COLLECT
2398.38/2438.35 c rational objective 19
2449.59/2489.74 c #Conflicts: 1169000 | #Constraints: 44365
2449.59/2489.74 c #Conflicts: 1170000 | #Constraints: 45365
2449.59/2489.74 c #Conflicts: 1171000 | #Constraints: 46365
2449.59/2489.74 c #Conflicts: 1172000 | #Constraints: 47365
2449.59/2489.74 c #Conflicts: 1173000 | #Constraints: 48365
2449.59/2489.74 c #Conflicts: 1174000 | #Constraints: 49365
2449.59/2489.74 c #Conflicts: 1175000 | #Constraints: 50365
2449.59/2489.74 c #Conflicts: 1176000 | #Constraints: 51365
2449.59/2489.74 c #Conflicts: 1177000 | #Constraints: 52365
2449.59/2489.74 c #Conflicts: 1178000 | #Constraints: 53365
2449.59/2489.74 c #Conflicts: 1179000 | #Constraints: 54365
2449.59/2489.74 c #Conflicts: 1180000 | #Constraints: 55365
2449.59/2489.74 c #Conflicts: 1181000 | #Constraints: 56365
2449.59/2489.74 c #Conflicts: 1182000 | #Constraints: 57365
2449.59/2489.74 c #Conflicts: 1183000 | #Constraints: 58365
2449.59/2489.74 c #Conflicts: 1184000 | #Constraints: 59365
2449.59/2489.74 c #Conflicts: 1185000 | #Constraints: 60365
2449.59/2489.74 c #Conflicts: 1186000 | #Constraints: 61365
2449.59/2489.74 c #Conflicts: 1187000 | #Constraints: 62365
2449.59/2489.74 c #Conflicts: 1188000 | #Constraints: 63365
2449.59/2489.74 c #Conflicts: 1189000 | #Constraints: 64365
2449.59/2489.74 c #Conflicts: 1190000 | #Constraints: 65365
2449.59/2489.74 c INPROCESSING
2449.59/2489.74 c GARBAGE COLLECT
2449.59/2489.74 c rational objective 19
2499.71/2540.07 c #Conflicts: 1191000 | #Constraints: 44788
2499.71/2540.07 c #Conflicts: 1192000 | #Constraints: 45788
2499.71/2540.07 c #Conflicts: 1193000 | #Constraints: 46788
2499.71/2540.07 c #Conflicts: 1194000 | #Constraints: 47788
2499.71/2540.07 c #Conflicts: 1195000 | #Constraints: 48788
2499.71/2540.07 c #Conflicts: 1196000 | #Constraints: 49788
2499.71/2540.07 c #Conflicts: 1197000 | #Constraints: 50788
2499.71/2540.07 c #Conflicts: 1198000 | #Constraints: 51788
2499.71/2540.07 c #Conflicts: 1199000 | #Constraints: 52788
2499.71/2540.07 c #Conflicts: 1200000 | #Constraints: 53788
2499.71/2540.07 c #Conflicts: 1201000 | #Constraints: 54788
2499.71/2540.07 c #Conflicts: 1202000 | #Constraints: 55788
2499.71/2540.07 c #Conflicts: 1203000 | #Constraints: 56788
2499.71/2540.07 c #Conflicts: 1204000 | #Constraints: 57788
2499.71/2540.07 c #Conflicts: 1205000 | #Constraints: 58788
2499.71/2540.07 c #Conflicts: 1206000 | #Constraints: 59788
2499.71/2540.07 c #Conflicts: 1207000 | #Constraints: 60788
2499.71/2540.07 c #Conflicts: 1208000 | #Constraints: 61788
2499.71/2540.07 c #Conflicts: 1209000 | #Constraints: 62788
2499.71/2540.07 c #Conflicts: 1210000 | #Constraints: 63788
2499.71/2540.07 c #Conflicts: 1211000 | #Constraints: 64788
2499.71/2540.07 c #Conflicts: 1212000 | #Constraints: 65788
2499.71/2540.07 c INPROCESSING
2499.71/2540.07 c GARBAGE COLLECT
2499.71/2540.07 c rational objective 19
2551.33/2591.89 c #Conflicts: 1213000 | #Constraints: 45132
2551.33/2591.89 c #Conflicts: 1214000 | #Constraints: 46132
2551.33/2591.89 c #Conflicts: 1215000 | #Constraints: 47132
2551.33/2591.89 c #Conflicts: 1216000 | #Constraints: 48132
2551.33/2591.89 c #Conflicts: 1217000 | #Constraints: 49132
2551.33/2591.89 c #Conflicts: 1218000 | #Constraints: 50132
2551.33/2591.89 c #Conflicts: 1219000 | #Constraints: 51132
2551.33/2591.89 c #Conflicts: 1220000 | #Constraints: 52132
2551.33/2591.89 c #Conflicts: 1221000 | #Constraints: 53132
2551.33/2591.89 c #Conflicts: 1222000 | #Constraints: 54132
2551.33/2591.89 c #Conflicts: 1223000 | #Constraints: 55132
2551.33/2591.89 c #Conflicts: 1224000 | #Constraints: 56132
2551.33/2591.89 c #Conflicts: 1225000 | #Constraints: 57132
2551.33/2591.89 c #Conflicts: 1226000 | #Constraints: 58132
2551.33/2591.89 c #Conflicts: 1227000 | #Constraints: 59132
2551.33/2591.89 c #Conflicts: 1228000 | #Constraints: 60132
2551.33/2591.89 c #Conflicts: 1229000 | #Constraints: 61132
2551.33/2591.89 c #Conflicts: 1230000 | #Constraints: 62132
2551.33/2591.89 c #Conflicts: 1231000 | #Constraints: 63132
2551.33/2591.89 c #Conflicts: 1232000 | #Constraints: 64132
2551.33/2591.89 c #Conflicts: 1233000 | #Constraints: 65132
2551.33/2591.89 c #Conflicts: 1234000 | #Constraints: 66132
2551.33/2591.89 c INPROCESSING
2551.33/2591.89 c GARBAGE COLLECT
2551.33/2591.89 c rational objective 19
2605.44/2646.22 c #Conflicts: 1235000 | #Constraints: 45098
2605.44/2646.22 c #Conflicts: 1236000 | #Constraints: 46098
2605.44/2646.22 c #Conflicts: 1237000 | #Constraints: 47098
2605.44/2646.22 c #Conflicts: 1238000 | #Constraints: 48098
2605.44/2646.22 c #Conflicts: 1239000 | #Constraints: 49098
2605.44/2646.22 c #Conflicts: 1240000 | #Constraints: 50098
2605.44/2646.22 c #Conflicts: 1241000 | #Constraints: 51098
2605.44/2646.22 c #Conflicts: 1242000 | #Constraints: 52098
2605.44/2646.22 c #Conflicts: 1243000 | #Constraints: 53098
2605.44/2646.22 c #Conflicts: 1244000 | #Constraints: 54098
2605.44/2646.22 c #Conflicts: 1245000 | #Constraints: 55098
2605.44/2646.22 c #Conflicts: 1246000 | #Constraints: 56098
2605.44/2646.22 c #Conflicts: 1247000 | #Constraints: 57098
2605.44/2646.22 c #Conflicts: 1248000 | #Constraints: 58098
2605.44/2646.22 c #Conflicts: 1249000 | #Constraints: 59098
2605.44/2646.22 c #Conflicts: 1250000 | #Constraints: 60098
2605.44/2646.22 c #Conflicts: 1251000 | #Constraints: 61098
2605.44/2646.22 c #Conflicts: 1252000 | #Constraints: 62098
2605.44/2646.22 c #Conflicts: 1253000 | #Constraints: 63098
2605.44/2646.22 c #Conflicts: 1254000 | #Constraints: 64098
2605.44/2646.22 c #Conflicts: 1255000 | #Constraints: 65098
2605.44/2646.22 c #Conflicts: 1256000 | #Constraints: 66098
2605.44/2646.22 c INPROCESSING
2605.44/2646.22 c GARBAGE COLLECT
2605.44/2646.22 c rational objective 19
2658.73/2699.79 c #Conflicts: 1257000 | #Constraints: 44867
2658.73/2699.79 c #Conflicts: 1258000 | #Constraints: 45867
2658.73/2699.79 c #Conflicts: 1259000 | #Constraints: 46867
2658.73/2699.79 c #Conflicts: 1260000 | #Constraints: 47867
2658.73/2699.79 c #Conflicts: 1261000 | #Constraints: 48867
2658.73/2699.79 c #Conflicts: 1262000 | #Constraints: 49867
2658.73/2699.79 c #Conflicts: 1263000 | #Constraints: 50867
2658.73/2699.79 c #Conflicts: 1264000 | #Constraints: 51867
2658.73/2699.79 c #Conflicts: 1265000 | #Constraints: 52867
2658.73/2699.79 c #Conflicts: 1266000 | #Constraints: 53867
2658.73/2699.79 c #Conflicts: 1267000 | #Constraints: 54867
2658.73/2699.79 c #Conflicts: 1268000 | #Constraints: 55867
2658.73/2699.79 c #Conflicts: 1269000 | #Constraints: 56867
2658.73/2699.79 c #Conflicts: 1270000 | #Constraints: 57867
2658.73/2699.79 c #Conflicts: 1271000 | #Constraints: 58867
2658.73/2699.79 c #Conflicts: 1272000 | #Constraints: 59867
2658.73/2699.79 c #Conflicts: 1273000 | #Constraints: 60867
2658.73/2699.79 c #Conflicts: 1274000 | #Constraints: 61867
2658.73/2699.79 c #Conflicts: 1275000 | #Constraints: 62867
2658.73/2699.79 c #Conflicts: 1276000 | #Constraints: 63867
2658.73/2699.79 c #Conflicts: 1277000 | #Constraints: 64867
2658.73/2699.79 c #Conflicts: 1278000 | #Constraints: 65867
2658.73/2699.79 c #Conflicts: 1279000 | #Constraints: 66867
2658.73/2699.79 c INPROCESSING
2658.73/2699.79 c GARBAGE COLLECT
2658.73/2699.79 c rational objective 19
2717.38/2758.59 c #Conflicts: 1280000 | #Constraints: 45460
2717.38/2758.59 c #Conflicts: 1281000 | #Constraints: 46460
2717.38/2758.59 c #Conflicts: 1282000 | #Constraints: 47460
2717.38/2758.59 c #Conflicts: 1283000 | #Constraints: 48460
2717.38/2758.59 c #Conflicts: 1284000 | #Constraints: 49460
2717.38/2758.59 c #Conflicts: 1285000 | #Constraints: 50460
2717.38/2758.59 c #Conflicts: 1286000 | #Constraints: 51460
2717.38/2758.59 c #Conflicts: 1287000 | #Constraints: 52460
2717.38/2758.59 c #Conflicts: 1288000 | #Constraints: 53460
2717.38/2758.59 c #Conflicts: 1289000 | #Constraints: 54460
2717.38/2758.59 c #Conflicts: 1290000 | #Constraints: 55460
2717.38/2758.59 c #Conflicts: 1291000 | #Constraints: 56460
2717.38/2758.59 c #Conflicts: 1292000 | #Constraints: 57460
2717.38/2758.59 c #Conflicts: 1293000 | #Constraints: 58460
2717.38/2758.59 c #Conflicts: 1294000 | #Constraints: 59460
2717.38/2758.59 c #Conflicts: 1295000 | #Constraints: 60460
2717.38/2758.59 c #Conflicts: 1296000 | #Constraints: 61460
2717.38/2758.59 c #Conflicts: 1297000 | #Constraints: 62460
2717.38/2758.59 c #Conflicts: 1298000 | #Constraints: 63460
2717.38/2758.59 c #Conflicts: 1299000 | #Constraints: 64460
2717.38/2758.59 c #Conflicts: 1300000 | #Constraints: 65460
2717.38/2758.59 c #Conflicts: 1301000 | #Constraints: 66460
2717.38/2758.59 c #Conflicts: 1302000 | #Constraints: 67460
2717.38/2758.59 c INPROCESSING
2717.38/2758.59 c GARBAGE COLLECT
2717.38/2758.59 c rational objective 19
2779.27/2820.68 c #Conflicts: 1303000 | #Constraints: 45861
2779.27/2820.68 c #Conflicts: 1304000 | #Constraints: 46861
2779.27/2820.68 c #Conflicts: 1305000 | #Constraints: 47861
2779.27/2820.68 c #Conflicts: 1306000 | #Constraints: 48861
2779.27/2820.68 c #Conflicts: 1307000 | #Constraints: 49861
2779.27/2820.68 c #Conflicts: 1308000 | #Constraints: 50861
2779.27/2820.68 c #Conflicts: 1309000 | #Constraints: 51861
2779.27/2820.68 c #Conflicts: 1310000 | #Constraints: 52861
2779.27/2820.68 c #Conflicts: 1311000 | #Constraints: 53861
2779.27/2820.68 c #Conflicts: 1312000 | #Constraints: 54861
2779.27/2820.68 c #Conflicts: 1313000 | #Constraints: 55861
2779.27/2820.68 c #Conflicts: 1314000 | #Constraints: 56861
2779.27/2820.68 c #Conflicts: 1315000 | #Constraints: 57861
2779.27/2820.68 c #Conflicts: 1316000 | #Constraints: 58861
2779.27/2820.68 c #Conflicts: 1317000 | #Constraints: 59861
2779.27/2820.68 c #Conflicts: 1318000 | #Constraints: 60861
2779.27/2820.68 c #Conflicts: 1319000 | #Constraints: 61861
2779.27/2820.68 c #Conflicts: 1320000 | #Constraints: 62861
2779.27/2820.68 c #Conflicts: 1321000 | #Constraints: 63861
2779.27/2820.68 c #Conflicts: 1322000 | #Constraints: 64861
2779.27/2820.68 c #Conflicts: 1323000 | #Constraints: 65861
2779.27/2820.68 c #Conflicts: 1324000 | #Constraints: 66861
2779.27/2820.68 c #Conflicts: 1325000 | #Constraints: 67861
2779.27/2820.68 c INPROCESSING
2779.27/2820.68 c GARBAGE COLLECT
2779.27/2820.68 c rational objective 19
3091.54/3134.20 c #Conflicts: 1326000 | #Constraints: 46072
3091.54/3134.20 c #Conflicts: 1327000 | #Constraints: 47072
3091.54/3134.20 c #Conflicts: 1328000 | #Constraints: 48072
3091.54/3134.20 c #Conflicts: 1329000 | #Constraints: 49072
3091.54/3134.20 c #Conflicts: 1330000 | #Constraints: 50072
3091.54/3134.20 c #Conflicts: 1331000 | #Constraints: 51072
3091.54/3134.20 c #Conflicts: 1332000 | #Constraints: 52072
3091.54/3134.20 c #Conflicts: 1333000 | #Constraints: 53072
3091.54/3134.20 c #Conflicts: 1334000 | #Constraints: 54072
3091.54/3134.20 c #Conflicts: 1335000 | #Constraints: 55072
3091.54/3134.20 c #Conflicts: 1336000 | #Constraints: 56072
3091.54/3134.20 c #Conflicts: 1337000 | #Constraints: 57072
3091.54/3134.20 c #Conflicts: 1338000 | #Constraints: 58072
3091.54/3134.20 c #Conflicts: 1339000 | #Constraints: 59072
3091.54/3134.20 c #Conflicts: 1340000 | #Constraints: 60072
3091.54/3134.20 c #Conflicts: 1341000 | #Constraints: 61072
3091.54/3134.20 c #Conflicts: 1342000 | #Constraints: 62072
3091.54/3134.20 c #Conflicts: 1343000 | #Constraints: 63072
3091.54/3134.20 c #Conflicts: 1344000 | #Constraints: 64072
3091.54/3134.20 c #Conflicts: 1345000 | #Constraints: 65072
3091.54/3134.20 c #Conflicts: 1346000 | #Constraints: 66072
3091.54/3134.20 c #Conflicts: 1347000 | #Constraints: 67072
3091.54/3134.20 c #Conflicts: 1348000 | #Constraints: 68072
3091.54/3134.20 c #Conflicts: 1349000 | #Constraints: 69072
3091.54/3134.20 c #Conflicts: 1350000 | #Constraints: 70072
3091.54/3134.20 c #Conflicts: 1351000 | #Constraints: 71072
3091.54/3134.20 c #Conflicts: 1352000 | #Constraints: 72072
3091.54/3134.20 c #Conflicts: 1353000 | #Constraints: 73072
3091.54/3134.20 c #Conflicts: 1354000 | #Constraints: 74072
3091.54/3134.20 c #Conflicts: 1355000 | #Constraints: 75072
3091.54/3134.20 c #Conflicts: 1356000 | #Constraints: 76072
3091.54/3134.20 c #Conflicts: 1357000 | #Constraints: 77072
3091.54/3134.20 c #Conflicts: 1358000 | #Constraints: 78072
3091.54/3134.20 c #Conflicts: 1359000 | #Constraints: 79072
3091.54/3134.20 c #Conflicts: 1360000 | #Constraints: 80072
3091.54/3134.20 c #Conflicts: 1361000 | #Constraints: 81072
3091.54/3134.20 c #Conflicts: 1362000 | #Constraints: 82072
3091.54/3134.20 c #Conflicts: 1363000 | #Constraints: 83072
3091.54/3134.20 c #Conflicts: 1364000 | #Constraints: 84072
3091.54/3134.20 c #Conflicts: 1365000 | #Constraints: 85072
3091.54/3134.20 c #Conflicts: 1366000 | #Constraints: 86072
3091.54/3134.20 c #Conflicts: 1367000 | #Constraints: 87072
3091.54/3134.20 c #Conflicts: 1368000 | #Constraints: 88072
3091.54/3134.20 c #Conflicts: 1369000 | #Constraints: 89072
3091.54/3134.20 c #Conflicts: 1370000 | #Constraints: 90072
3091.54/3134.20 c #Conflicts: 1371000 | #Constraints: 91072
3091.54/3134.20 c #Conflicts: 1372000 | #Constraints: 92072
3091.54/3134.20 c #Conflicts: 1373000 | #Constraints: 93072
3091.54/3134.20 c #Conflicts: 1374000 | #Constraints: 94072
3091.54/3134.20 c #Conflicts: 1375000 | #Constraints: 95072
3091.54/3134.20 c #Conflicts: 1376000 | #Constraints: 96072
3091.54/3134.20 c #Conflicts: 1377000 | #Constraints: 97072
3091.54/3134.20 c #Conflicts: 1378000 | #Constraints: 98072
3091.54/3134.20 c #Conflicts: 1379000 | #Constraints: 99072
3091.54/3134.20 c #Conflicts: 1380000 | #Constraints: 100072
3091.54/3134.20 c #Conflicts: 1381000 | #Constraints: 101072
3091.54/3134.20 c #Conflicts: 1382000 | #Constraints: 102072
3091.54/3134.20 c #Conflicts: 1383000 | #Constraints: 103072
3091.54/3134.20 c #Conflicts: 1384000 | #Constraints: 104072
3091.54/3134.20 c #Conflicts: 1385000 | #Constraints: 105072
3091.54/3134.20 c #Conflicts: 1386000 | #Constraints: 106072
3091.54/3134.20 c #Conflicts: 1387000 | #Constraints: 107072
3091.54/3134.20 c #Conflicts: 1388000 | #Constraints: 108072
3091.54/3134.20 c #Conflicts: 1389000 | #Constraints: 109072
3091.54/3134.20 c #Conflicts: 1390000 | #Constraints: 110072
3091.54/3134.20 c #Conflicts: 1391000 | #Constraints: 111072
3091.54/3134.20 c #Conflicts: 1392000 | #Constraints: 112072
3091.54/3134.20 c #Conflicts: 1393000 | #Constraints: 113072
3091.54/3134.20 c #Conflicts: 1394000 | #Constraints: 114072
3091.54/3134.20 c #Conflicts: 1395000 | #Constraints: 115072
3091.54/3134.20 c #Conflicts: 1396000 | #Constraints: 116072
3091.54/3134.20 c #Conflicts: 1397000 | #Constraints: 117072
3091.54/3134.20 c #Conflicts: 1398000 | #Constraints: 118072
3091.54/3134.20 c #Conflicts: 1399000 | #Constraints: 119072
3091.54/3134.20 c #Conflicts: 1400000 | #Constraints: 120072
3091.54/3134.20 c #Conflicts: 1401000 | #Constraints: 121072
3091.54/3134.20 c #Conflicts: 1402000 | #Constraints: 122072
3091.54/3134.20 c #Conflicts: 1403000 | #Constraints: 123072
3091.54/3134.20 c #Conflicts: 1404000 | #Constraints: 124072
3399.32/3443.43 c #Conflicts: 1405000 | #Constraints: 125072
3399.32/3443.43 c #Conflicts: 1406000 | #Constraints: 126072
3399.32/3443.43 c #Conflicts: 1407000 | #Constraints: 127072
3399.32/3443.43 c #Conflicts: 1408000 | #Constraints: 128072
3399.32/3443.43 c #Conflicts: 1409000 | #Constraints: 129072
3399.32/3443.43 c #Conflicts: 1410000 | #Constraints: 130072
3399.32/3443.43 c #Conflicts: 1411000 | #Constraints: 131072
3399.32/3443.43 c #Conflicts: 1412000 | #Constraints: 132072
3399.32/3443.43 c #Conflicts: 1413000 | #Constraints: 133072
3399.32/3443.43 c #Conflicts: 1414000 | #Constraints: 134072
3399.32/3443.43 c #Conflicts: 1415000 | #Constraints: 135072
3399.32/3443.43 c #Conflicts: 1416000 | #Constraints: 136072
3399.32/3443.43 c #Conflicts: 1417000 | #Constraints: 137072
3399.32/3443.43 c #Conflicts: 1418000 | #Constraints: 138072
3399.32/3443.43 c #Conflicts: 1419000 | #Constraints: 139072
3399.32/3443.43 c #Conflicts: 1420000 | #Constraints: 140072
3399.32/3443.43 c #Conflicts: 1421000 | #Constraints: 141072
3399.32/3443.43 c #Conflicts: 1422000 | #Constraints: 142072
3399.32/3443.43 c #Conflicts: 1423000 | #Constraints: 143072
3399.32/3443.43 c #Conflicts: 1424000 | #Constraints: 144072
3399.32/3443.43 c #Conflicts: 1425000 | #Constraints: 145072
3399.32/3443.43 c #Conflicts: 1426000 | #Constraints: 146072
3399.32/3443.43 c #Conflicts: 1427000 | #Constraints: 147072
3399.32/3443.43 c #Conflicts: 1428000 | #Constraints: 148072
3399.32/3443.43 c #Conflicts: 1429000 | #Constraints: 149072
3399.32/3443.43 c #Conflicts: 1430000 | #Constraints: 150072
3399.32/3443.43 c #Conflicts: 1431000 | #Constraints: 151072
3399.32/3443.43 c #Conflicts: 1432000 | #Constraints: 152072
3399.32/3443.43 c #Conflicts: 1433000 | #Constraints: 153072
3399.32/3443.43 c #Conflicts: 1434000 | #Constraints: 154072
3399.32/3443.43 c #Conflicts: 1435000 | #Constraints: 155072
3399.32/3443.43 c #Conflicts: 1436000 | #Constraints: 156072
3399.32/3443.43 c #Conflicts: 1437000 | #Constraints: 157072
3399.32/3443.43 c #Conflicts: 1438000 | #Constraints: 158072
3399.32/3443.43 c #Conflicts: 1439000 | #Constraints: 159072
3399.32/3443.43 c #Conflicts: 1440000 | #Constraints: 160072
3399.32/3443.43 c #Conflicts: 1441000 | #Constraints: 161072
3399.32/3443.43 c #Conflicts: 1442000 | #Constraints: 162072
3399.32/3443.43 c #Conflicts: 1443000 | #Constraints: 163072
3399.32/3443.43 c #Conflicts: 1444000 | #Constraints: 164072
3399.32/3443.43 c INPROCESSING
3399.32/3443.43 c GARBAGE COLLECT
3399.32/3443.43 c rational objective 19
3467.33/3511.76 c #Conflicts: 1445000 | #Constraints: 73396
3467.33/3511.76 c #Conflicts: 1446000 | #Constraints: 74396
3467.33/3511.76 c #Conflicts: 1447000 | #Constraints: 75396
3467.33/3511.76 c #Conflicts: 1448000 | #Constraints: 76396
3467.33/3511.76 c #Conflicts: 1449000 | #Constraints: 77396
3467.33/3511.76 c #Conflicts: 1450000 | #Constraints: 78396
3467.33/3511.76 c #Conflicts: 1451000 | #Constraints: 79396
3467.33/3511.76 c #Conflicts: 1452000 | #Constraints: 80396
3467.33/3511.76 c #Conflicts: 1453000 | #Constraints: 81396
3467.33/3511.76 c #Conflicts: 1454000 | #Constraints: 82396
3467.33/3511.76 c #Conflicts: 1455000 | #Constraints: 83396
3467.33/3511.76 c #Conflicts: 1456000 | #Constraints: 84396
3467.33/3511.76 c #Conflicts: 1457000 | #Constraints: 85396
3467.33/3511.76 c #Conflicts: 1458000 | #Constraints: 86396
3467.33/3511.76 c #Conflicts: 1459000 | #Constraints: 87396
3467.33/3511.76 c #Conflicts: 1460000 | #Constraints: 88396
3467.33/3511.76 c bounds 20 >= 20 @ 3449.88
3467.33/3511.76 c cpu time 3449.88 s
3467.33/3511.76 c deterministic time 155240523751 1.55e+11
3467.33/3511.76 c optimization time 0.011547 s
3467.33/3511.76 c total solve time 3449.77 s
3467.33/3511.76 c core-guided solve time 1396.18 s
3467.33/3511.76 c propagation time 1588.25 s
3467.33/3511.76 c conflict analysis time 1713.25 s
3467.33/3511.76 c propagations 1184567821
3467.33/3511.76 c resolve steps 201686843
3467.33/3511.76 c decisions 4166883
3467.33/3511.76 c conflicts 1460357
3467.33/3511.76 c restarts 2812
3467.33/3511.76 c inprocessing phases 107
3467.33/3511.76 c garbage collections 107 ,( 100.00 )
3467.33/3511.76 c input clauses 21337 ,( 99.20 )
3467.33/3511.76 c input cardinalities 104 ,( 0.48 )
3467.33/3511.76 c input general constraints 69 ,( 0.32 )
3467.33/3511.76 c input average constraint length 3.57
3467.33/3511.76 c input average constraint degree 1.43
3467.33/3511.76 c learned clauses 1314308 ,( 89.97 )
3467.33/3511.76 c learned cardinalities 3243 ,( 0.22 )
3467.33/3511.76 c learned general constraints 143245 ,( 9.81 )
3467.33/3511.76 c learned average constraint length 752.00
3467.33/3511.76 c learned average constraint degree 4201139.96
3467.33/3511.76 c watched CF 32, 64, 128, Arb: 90293 , 0 , 0 , 0
3467.33/3511.76 c counting CF 32, 64, 128, Arb: 53022 , 0 , 0 , 0
3467.33/3511.76 c watched constraints 90293 ,( 63.00 )
3467.33/3511.76 c counting constraints 53021 ,( 37.00 )
3467.33/3511.76 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2289091282 , 45586474 , 7396563520 ,( 2227701597 , 5168861923 )
3467.33/3511.76 c gcd simplifications 1126
3467.33/3511.76 c detected cardinalities 4
3467.33/3511.76 c weakened non-implied lits 106891260
3467.33/3511.76 c weakened non-implying lits 121060
3467.33/3511.76 c original variables 6027
3467.33/3511.76 c clausal propagations 1030311612
3467.33/3511.76 c cardinality propagations 10455008
3467.33/3511.76 c watched propagations 11046945
3467.33/3511.76 c counting propagations 127834176
3467.33/3511.76 c watch lookups 62127591649
3467.33/3511.76 c watch backjump lookups 0
3467.33/3511.76 c watch checks 76396210020
3467.33/3511.76 c propagation checks 11197772765
3467.33/3511.76 c constraint additions 3138491803
3467.33/3511.76 c trail pops 1190194907
3467.33/3511.76 c formula constraints 21268
3467.33/3511.76 c learned constraints 1460356
3467.33/3511.76 c bound constraints 29
3467.33/3511.76 c core-guided constraints 213
3467.33/3511.76 c encountered formula constraints 162771173
3467.33/3511.76 c encountered learned constraints 38724428
3467.33/3511.76 c encountered bound constraints 184
3467.33/3511.76 c encountered core-guided constraints 1651374
3467.33/3511.76 c LP total time 462.798 s
3467.33/3511.76 c LP solve time 376 s
3467.33/3511.76 c LP constraints added 22231
3467.33/3511.76 c LP constraints removed 943
3467.33/3511.76 c LP pivots internal 1462874
3467.33/3511.76 c LP pivots root 65028
3467.33/3511.76 c LP calls 1041
3467.33/3511.76 c LP optimalities 645
3467.33/3511.76 c LP no pivot count 91
3467.33/3511.76 c LP infeasibilities 389
3467.33/3511.76 c LP valid Farkas constraints 388
3467.33/3511.76 c LP learned Farkas constraints 5
3467.33/3511.76 c LP basis resets 4
3467.33/3511.76 c LP cycling count 3
3467.33/3511.76 c LP singular count 0
3467.33/3511.76 c LP no primal count 0
3467.33/3511.76 c LP no farkas count 1
3467.33/3511.76 c LP other issue count 0
3467.33/3511.76 c LP Gomory cuts 47
3467.33/3511.76 c LP learned cuts 916
3467.33/3511.76 c LP deleted cuts 943
3467.33/3511.76 c LP encountered Gomory constraints 7
3467.33/3511.76 c LP encountered Farkas constraints 20
3467.33/3511.76 c LP encountered learned Farkas constraints 9
3467.33/3511.76 c CG auxiliary variables introduced 75
3467.33/3511.76 c CG solutions found 7
3467.33/3511.76 c CG cores constructed 15
3467.33/3511.76 c CG core cardinality constraints returned 0
3467.33/3511.76 c CG unit cores 0
3467.33/3511.76 c CG single cores 15
3467.33/3511.76 c CG blocks removed during cardinality reduction 0
3467.33/3511.76 c CG first core best 0
3467.33/3511.76 c CG decision core best 0
3467.33/3511.76 c CG core reduction tie 0
3467.33/3511.76 c CG core degree average 1.00
3467.33/3511.76 c CG core slack average 46.47
3467.33/3511.76 c CG core upper bound improvements 26
3467.33/3511.76 c STR number of successful calls 0
3467.33/3511.76 c STR number of unsuccessful calls 0
3467.33/3511.76 c STR number of inconclusive calls 0
3467.33/3511.76 c STR number of successful attempts 0
3467.33/3511.76 c STR number of unsuccessful attempts 0
3467.33/3511.76 c STR number of inconclusive attempts 0
3467.33/3511.76 c STR average degree increase per successful call inf
3467.33/3511.76 c STR average degree increase per successful attempt inf
3467.33/3511.76 c STR total number of conflicts for successful attempts 0
3467.33/3511.76 c STR total number of conflicts for unsuccessful attempts 0
3467.33/3511.76 c STR total number of conflicts for inconclusive attempts 0
3467.33/3511.76 c STR average number of conflicts per successful attempt inf
3467.33/3511.76 c STR average number of conflicts per unsuccessful attempt inf
3467.33/3511.76 c STR average number of conflicts per inconclusive attempt inf
3467.33/3511.76 c AVG.sumWPerc 34.74
3467.33/3511.76 c bigint constraints 0
3467.33/3511.76 o 20
3467.33/3511.76 s OPTIMUM FOUND
3467.33/3511.76 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 (5750 MiB free)
memory of node 1: 64507 MiB (39754 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532462-1752596566/watcher-4532462-1752596566 -o /tmp/evaluation-result-4532462-1752596566/solver-4532462-1752596566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752596566-137745 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532462-1752596566.opb PROOFDIR/proof-4532462-1752596566
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=137789, runsolver pid=137784
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100289 s]*
/proc/loadavg: 21.77 6.97 5.28 6/431 137808
/proc/meminfo: memFree=46551676/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=4192 memory=192 CPUtime=0 cores=4,6
/proc/137808/stat : 137808 (run-opt-break-l) R 137789 137789 137734 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 175336244 4292608 48 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 81922 4 65536 0 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137808/statm: 1048 48 0 219 0 110 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 8384 KiB
Current children cumulated memory: 3136 KiB
[startup+0.209873 s]*
/proc/loadavg: 21.77 6.97 5.28 6/431 137810
/proc/meminfo: memFree=46543864/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=58768 memory=14036 CPUtime=0.08 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 1299 0 0 0 6 2 0 0 20 0 1 0 175336244 60178432 3509 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 14692 3509 1984 1147 0 2118 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 62960 KiB
Current children cumulated memory: 16980 KiB
[startup+0.309403 s]*
/proc/loadavg: 21.77 6.97 5.28 6/431 137810
/proc/meminfo: memFree=46528604/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=88452 memory=39976 CPUtime=0.17 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 7082 0 0 0 13 4 0 0 20 0 1 0 175336244 90574848 9994 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 22113 9994 2368 1147 0 9539 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92644 KiB
Current children cumulated memory: 42920 KiB
[startup+0.70021 s]
/proc/loadavg: 21.77 6.97 5.28 6/431 137811
/proc/meminfo: memFree=46592224/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=90516 memory=41256 CPUtime=0.52 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 7491 0 0 0 47 5 0 0 20 0 1 0 175336244 92688384 10314 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 22629 10314 2400 1147 0 10055 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 94708 KiB
Current children cumulated memory: 44200 KiB
[startup+1.50021 s]
/proc/loadavg: 21.77 6.97 5.28 5/426 137819
/proc/meminfo: memFree=46821592/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=98480 memory=50628 CPUtime=1.3 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 9307 0 0 0 122 8 0 0 20 0 1 0 175336244 100843520 12657 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 24620 12657 2400 1147 0 12046 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 102672 KiB
Current children cumulated memory: 53572 KiB
[startup+3.10915 s]
/proc/loadavg: 21.77 6.97 5.28 5/426 137819
/proc/meminfo: memFree=72171220/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=110632 memory=62676 CPUtime=2.9 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 11844 0 0 0 279 11 0 0 20 0 1 0 175336244 113287168 15669 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 27658 15669 2400 1147 0 15084 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 114824 KiB
Current children cumulated memory: 65620 KiB
[startup+6.30012 s]
/proc/loadavg: 20.43 6.94 5.27 5/426 137838
/proc/meminfo: memFree=127134208/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=117888 memory=68692 CPUtime=6.08 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 13331 0 0 0 593 15 0 0 20 0 1 0 175336244 120717312 17173 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 29472 17173 2400 1147 0 16898 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 122080 KiB
Current children cumulated memory: 71636 KiB
[startup+12.7001 s]
/proc/loadavg: 19.11 6.89 5.27 4/425 137838
/proc/meminfo: memFree=128904920/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=132636 memory=83028 CPUtime=12.48 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 16916 0 0 0 1223 25 0 0 20 0 1 0 175336244 135819264 20757 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 33159 20757 2400 1147 0 20585 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 136828 KiB
Current children cumulated memory: 85972 KiB
[startup+25.5001 s]
/proc/loadavg: 15.92 6.78 5.26 4/430 137858
/proc/meminfo: memFree=128708080/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=142292 memory=91440 CPUtime=25.24 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 17997 0 0 0 2485 39 0 0 20 0 1 0 175336244 145707008 22860 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 35573 22860 2400 1147 0 22999 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 146484 KiB
Current children cumulated memory: 94384 KiB
[startup+51.1098 s]
/proc/loadavg: 11.93 6.57 5.23 5/430 137860
/proc/meminfo: memFree=127933232/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=162380 memory=107620 CPUtime=47.28 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 20533 0 0 0 4661 67 0 0 20 0 1 0 175336244 166277120 26905 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 40595 26905 2400 1147 0 28021 0
Current children cumulated CPU time: 47.31 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 110564 KiB
[startup+102.3 s]
/proc/loadavg: 7.52 6.19 5.17 4/431 137863
/proc/meminfo: memFree=127499136/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=184064 memory=118992 CPUtime=93.55 cores=4,6
/proc/137808/stat : 137808 (roundingsat) D 137789 137789 137734 0 -1 4194304 21601 0 0 0 9242 113 0 0 20 0 1 0 175336244 188481536 29748 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 46016 29748 2400 1147 0 33442 0
Current children cumulated CPU time: 93.58 s
Current children cumulated vsize: 188256 KiB
Current children cumulated memory: 121936 KiB
[startup+162.3 s]
/proc/loadavg: 5.35 5.80 5.10 5/431 137865
/proc/meminfo: memFree=127180704/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=188716 memory=124164 CPUtime=151.12 cores=4,6
/proc/137808/stat : 137808 (roundingsat) D 137789 137789 137734 0 -1 4194304 22806 0 0 0 14947 165 0 0 20 0 1 0 175336244 193245184 31041 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 47179 31041 2400 1147 0 34605 0
Current children cumulated CPU time: 151.15 s
Current children cumulated vsize: 192908 KiB
Current children cumulated memory: 127108 KiB
[startup+222.3 s]
/proc/loadavg: 4.54 5.49 5.03 5/430 137866
/proc/meminfo: memFree=126823400/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=197608 memory=133124 CPUtime=208.96 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 25065 0 0 0 20688 208 0 0 20 0 1 0 175336244 202350592 33281 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 49402 33281 2400 1147 0 36828 0
Current children cumulated CPU time: 208.99 s
################
# More data... #
################
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 45852 0 0 0 328152 1701 0 0 20 0 1 0 175336244 802033664 143772 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 195809 143772 2496 1147 0 183235 0
Current children cumulated CPU time: 3298.56 s
Current children cumulated vsize: 787428 KiB
Current children cumulated memory: 578032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.59 4.24 4.17 5/269 138036
/proc/meminfo: memFree=114771752/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=785936 memory=604828 CPUtime=3358.31 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 46627 0 0 0 334116 1715 0 0 20 0 1 0 175336244 804798464 151207 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 196484 151207 2496 1147 0 183910 0
Current children cumulated CPU time: 3358.34 s
Current children cumulated vsize: 790128 KiB
Current children cumulated memory: 607772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.24 4.17 5/269 138038
/proc/meminfo: memFree=114578088/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3418.15 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 340083 1732 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3418.18 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3511.79 s]
# the end of solver process 137789 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3449.91 s, system=17.518 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3481.6 s]
/proc/loadavg: 4.26 4.22 4.17 5/269 138039
/proc/meminfo: memFree=114492124/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3437.36 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 341998 1738 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3437.39 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3494.4 s]
/proc/loadavg: 4.22 4.21 4.17 5/269 138039
/proc/meminfo: memFree=114470240/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3450.13 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 343271 1742 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3450.16 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3500.8 s]
/proc/loadavg: 4.19 4.20 4.16 5/270 138047
/proc/meminfo: memFree=114388132/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3456.51 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 343907 1744 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3456.54 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3507.2 s]
/proc/loadavg: 4.25 4.22 4.17 5/270 138047
/proc/meminfo: memFree=114366160/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3462.9 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 344543 1747 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3462.93 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3508.8 s]
/proc/loadavg: 4.25 4.22 4.17 5/270 138047
/proc/meminfo: memFree=114366160/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3464.5 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 344702 1748 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3464.53 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3510.4 s]
/proc/loadavg: 4.23 4.21 4.17 5/270 138047
/proc/meminfo: memFree=114350032/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3466.09 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 344861 1748 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3466.12 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3511.2 s]
/proc/loadavg: 4.23 4.21 4.17 5/270 138047
/proc/meminfo: memFree=114343424/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3466.81 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 344932 1749 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3466.84 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3511.6 s]
/proc/loadavg: 4.23 4.21 4.17 5/270 138047
/proc/meminfo: memFree=114343424/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3467.2 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 344971 1749 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3467.23 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
[startup+3511.7 s]
/proc/loadavg: 4.23 4.21 4.17 5/270 138047
/proc/meminfo: memFree=114343424/131249996 swapFree=33005016/33010684
[pid=137789] ppid=137784 vsize=4192 memory=2944 CPUtime=0.03 cores=4,6
/proc/137789/stat : 137789 (run-opt-break-l) S 137784 137789 137734 0 -1 4194304 239 5347 0 0 0 0 2 1 20 0 1 0 175336234 4292608 736 18446744073709551615 93930763821056 93930764715589 140723189846256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93930764954640 93930765002384 93930784600064 140723189852435 140723189852636 140723189852636 140723189858240 0
/proc/137789/statm: 1048 736 672 219 0 110 0
[pid=137808] ppid=137789 vsize=793424 memory=627912 CPUtime=3467.3 cores=4,6
/proc/137808/stat : 137808 (roundingsat) R 137789 137789 137734 0 -1 4194304 48318 0 0 0 344981 1749 0 0 20 0 1 0 175336244 812466176 156978 18446744073709551615 4227072 8923577 140726466035136 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 34426880 140726466038034 140726466038310 140726466038310 140726466043882 0
/proc/137808/statm: 198356 156978 2496 1147 0 185782 0
Current children cumulated CPU time: 3467.33 s
Current children cumulated vsize: 797616 KiB
Current children cumulated memory: 630856 KiB
Child status: 0
Real time (s): 3511.79
CPU time (s): 3467.43
CPU user time (s): 3449.91
CPU system time (s): 17.518
CPU usage (%): 98.7369
Max. virtual memory (cumulated for all children) (KiB): 797616
Max. memory (cumulated for all children) (KiB): 630856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3449.91
system time used= 17.518
maximum resident set size= 627912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9732640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 428
involuntary context switches= 5856
# summary of solver processes directly reported to runsolver:
# pid: 137789
# total CPU time (s): 3467.43
# total CPU user time (s): 3449.91
# total CPU system time (s): 17.518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61384 second user time and 17.2053 second system time
The end
Begin job on nodeC030 at 2025-07-15 18:22:46
IDJOB=4532462
IDBENCH=148185
IDSOLVER=3393
FILE ID=nodeC030/4532462-1752596566
RUNJOBID= nodeC030-1752596566-137745
SLURM_JOB_ID= 9684375
Free space on /tmp= 433052 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532462-1752596566/watcher-4532462-1752596566 -o /tmp/evaluation-result-4532462-1752596566/solver-4532462-1752596566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752596566-137745 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532462-1752596566.opb PROOFDIR/proof-4532462-1752596566
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1688779279
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.373
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.306
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.335
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.327
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.320
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.236
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 46555972 kB
MemAvailable: 128802364 kB
Buffers: 16 kB
Cached: 82949136 kB
SwapCached: 228 kB
Active: 385212 kB
Inactive: 82625508 kB
Active(anon): 23692 kB
Inactive(anon): 59620 kB
Active(file): 361520 kB
Inactive(file): 82565888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28196 kB
Writeback: 27527200 kB
AnonPages: 64360 kB
Mapped: 102884 kB
Shmem: 21744 kB
KReclaimable: 316048 kB
Slab: 1274868 kB
SReclaimable: 316048 kB
SUnreclaim: 958820 kB
KernelStack: 6548 kB
PageTables: 2400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 152968 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC030 at 2025-07-15 19:21:18