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-4497426-1751378731.opb'
0.00/0.02 c read 0.62MB (10.39ms)
0.00/0.02 c [cnf: #variables 6027 #clauses 21269 #duplicates 10 #arr 54701]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2] (10.62ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c found row 5x2, generating row predicate
0.00/0.03 c (1.74ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 45387 #edges 145584]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1.00*10^0 #generators 0] (3.62ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 4 #add_vars 0]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4497426-1751378731.opb.pre'
0.00/0.04 c wrote 0.63MB (1.58ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 10.62ms 37.02% approx_orbits
0.00/0.04 c 10.38ms 36.19% parse
0.00/0.04 c 3.62ms 12.60% detect_generic
0.00/0.04 c 1.74ms 6.05% detect_special
0.00/0.04 c 1.58ms 5.51% output
0.00/0.04 c 0.55ms 1.91% other
0.00/0.04 c 0.21ms 0.73% finalize_order
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 28.70ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.07/0.14 c #variables 6027 #constraints 21268
0.07/0.14 c objective is ce32
0.07/0.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.15 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.15 c bounds - >= 0 @ 0.064708
0.27/0.31 c bounds 26 >= 0 @ 0.21491
0.27/0.31 c bounds 26 >= 6 @ 0.219678
0.27/0.32 c bounds 26 >= 7 @ 0.220495
0.27/0.32 c bounds 26 >= 8 @ 0.221162
0.27/0.32 c bounds 25 >= 8 @ 0.225936
0.27/0.32 c bounds 25 >= 9 @ 0.227129
0.27/0.32 c bounds 25 >= 10 @ 0.227168
0.27/0.33 c bounds 25 >= 11 @ 0.227742
0.27/0.33 c bounds 25 >= 12 @ 0.231033
0.27/0.33 c bounds 24 >= 12 @ 0.231153
1.85/1.90 c #Conflicts: 1000 | #Constraints: 22304
1.85/1.90 c bounds 23 >= 12 @ 1.76913
1.85/1.92 c bounds 23 >= 13 @ 1.78616
2.05/2.18 c #Conflicts: 2000 | #Constraints: 23311
2.05/2.18 c INPROCESSING
2.05/2.18 c GARBAGE COLLECT
2.05/2.18 c rational objective 13
4.74/4.84 c #Conflicts: 3000 | #Constraints: 23302
4.74/4.84 c bounds 23 >= 14 @ 4.67933
4.74/4.85 c bounds 22 >= 14 @ 4.68904
4.84/4.96 c bounds 21 >= 14 @ 4.7988
7.43/7.55 c #Conflicts: 4000 | #Constraints: 24322
7.43/7.55 c INPROCESSING
7.43/7.55 c GARBAGE COLLECT
7.43/7.55 c #Conflicts: 5000 | #Constraints: 23717
7.43/7.55 c #Conflicts: 6000 | #Constraints: 24717
7.43/7.55 c INPROCESSING
7.43/7.55 c GARBAGE COLLECT
7.43/7.55 c rational objective 14
8.84/8.90 c #Conflicts: 7000 | #Constraints: 23719
8.84/8.90 c bounds 21 >= 15 @ 8.65653
10.83/10.93 c #Conflicts: 8000 | #Constraints: 24740
10.83/10.93 c #Conflicts: 9000 | #Constraints: 25740
10.83/10.93 c INPROCESSING
10.83/10.93 c GARBAGE COLLECT
10.83/10.93 c rational objective 15
15.42/15.55 c #Conflicts: 10000 | #Constraints: 24489
15.42/15.55 c #Conflicts: 11000 | #Constraints: 25491
15.42/15.55 c #Conflicts: 12000 | #Constraints: 26491
15.42/15.55 c INPROCESSING
15.42/15.55 c GARBAGE COLLECT
15.42/15.55 c rational objective 15
16.32/16.48 c bounds 21 >= 16 @ 16.1237
22.20/22.38 c #Conflicts: 13000 | #Constraints: 24943
22.20/22.38 c #Conflicts: 14000 | #Constraints: 25943
22.20/22.38 c #Conflicts: 15000 | #Constraints: 26943
22.20/22.38 c INPROCESSING
22.20/22.38 c GARBAGE COLLECT
22.20/22.38 c #Conflicts: 16000 | #Constraints: 25245
22.20/22.38 c #Conflicts: 17000 | #Constraints: 26245
22.20/22.38 c #Conflicts: 18000 | #Constraints: 27245
22.20/22.38 c INPROCESSING
22.20/22.38 c GARBAGE COLLECT
22.20/22.38 c rational objective 16
25.00/25.13 c #Conflicts: 19000 | #Constraints: 25286
25.00/25.13 c #Conflicts: 20000 | #Constraints: 26286
25.00/25.13 c #Conflicts: 21000 | #Constraints: 27286
25.00/25.13 c INPROCESSING
25.00/25.13 c GARBAGE COLLECT
25.00/25.13 c rational objective 16
30.28/30.42 c #Conflicts: 22000 | #Constraints: 25038
30.28/30.42 c #Conflicts: 23000 | #Constraints: 26038
30.28/30.42 c #Conflicts: 24000 | #Constraints: 27038
30.28/30.42 c #Conflicts: 25000 | #Constraints: 28038
30.28/30.42 c INPROCESSING
30.28/30.42 c GARBAGE COLLECT
30.28/30.42 c rational objective 16
30.78/30.99 c bounds 21 >= 17 @ 30.4229
33.67/33.84 c #Conflicts: 26000 | #Constraints: 25690
33.67/33.84 c #Conflicts: 27000 | #Constraints: 26690
33.67/33.84 c #Conflicts: 28000 | #Constraints: 27690
33.67/33.84 c #Conflicts: 29000 | #Constraints: 28690
33.67/33.84 c INPROCESSING
33.67/33.84 c GARBAGE COLLECT
33.67/33.84 c rational objective 17
38.26/38.49 c #Conflicts: 30000 | #Constraints: 26138
38.26/38.49 c #Conflicts: 31000 | #Constraints: 27138
38.26/38.49 c #Conflicts: 32000 | #Constraints: 28138
38.26/38.49 c #Conflicts: 33000 | #Constraints: 29138
38.26/38.49 c INPROCESSING
38.26/38.49 c GARBAGE COLLECT
38.26/38.49 c rational objective 17
42.85/43.02 c #Conflicts: 34000 | #Constraints: 26359
42.85/43.02 c #Conflicts: 35000 | #Constraints: 27359
42.85/43.02 c #Conflicts: 36000 | #Constraints: 28359
42.85/43.02 c #Conflicts: 37000 | #Constraints: 29359
42.85/43.02 c INPROCESSING
42.85/43.02 c GARBAGE COLLECT
42.85/43.02 c rational objective 17
48.13/48.38 c #Conflicts: 38000 | #Constraints: 26316
48.13/48.38 c #Conflicts: 39000 | #Constraints: 27316
48.13/48.38 c #Conflicts: 40000 | #Constraints: 28316
48.13/48.38 c #Conflicts: 41000 | #Constraints: 29316
48.13/48.38 c INPROCESSING
48.13/48.38 c GARBAGE COLLECT
48.13/48.38 c rational objective 17
53.02/53.28 c #Conflicts: 42000 | #Constraints: 26141
53.02/53.28 c #Conflicts: 43000 | #Constraints: 27141
53.02/53.28 c #Conflicts: 44000 | #Constraints: 28141
53.02/53.28 c #Conflicts: 45000 | #Constraints: 29141
53.02/53.28 c #Conflicts: 46000 | #Constraints: 30141
53.02/53.28 c INPROCESSING
53.02/53.28 c GARBAGE COLLECT
53.02/53.28 c rational objective 17
58.40/58.60 c #Conflicts: 47000 | #Constraints: 26721
58.40/58.60 c #Conflicts: 48000 | #Constraints: 27721
58.40/58.60 c #Conflicts: 49000 | #Constraints: 28721
58.40/58.60 c #Conflicts: 50000 | #Constraints: 29721
58.40/58.60 c #Conflicts: 51000 | #Constraints: 30721
58.40/58.60 c INPROCESSING
58.40/58.60 c GARBAGE COLLECT
58.40/58.60 c rational objective 17
64.30/64.54 c #Conflicts: 52000 | #Constraints: 27176
64.30/64.54 c #Conflicts: 53000 | #Constraints: 28176
64.30/64.54 c #Conflicts: 54000 | #Constraints: 29176
64.30/64.54 c #Conflicts: 55000 | #Constraints: 30176
64.30/64.54 c #Conflicts: 56000 | #Constraints: 31176
64.30/64.54 c INPROCESSING
64.30/64.54 c GARBAGE COLLECT
64.30/64.54 c rational objective 17
72.48/72.70 c #Conflicts: 57000 | #Constraints: 27312
72.48/72.70 c #Conflicts: 58000 | #Constraints: 28312
72.48/72.70 c #Conflicts: 59000 | #Constraints: 29312
72.48/72.70 c #Conflicts: 60000 | #Constraints: 30312
72.48/72.70 c #Conflicts: 61000 | #Constraints: 31312
72.48/72.70 c INPROCESSING
72.48/72.70 c GARBAGE COLLECT
72.48/72.70 c rational objective 17
79.56/79.85 c #Conflicts: 62000 | #Constraints: 27374
79.56/79.85 c #Conflicts: 63000 | #Constraints: 28374
79.56/79.85 c #Conflicts: 64000 | #Constraints: 29374
79.56/79.85 c #Conflicts: 65000 | #Constraints: 30374
79.56/79.85 c #Conflicts: 66000 | #Constraints: 31374
79.56/79.85 c INPROCESSING
79.56/79.85 c GARBAGE COLLECT
79.56/79.85 c rational objective 17
86.34/86.65 c #Conflicts: 67000 | #Constraints: 27132
86.34/86.65 c #Conflicts: 68000 | #Constraints: 28132
86.34/86.65 c #Conflicts: 69000 | #Constraints: 29132
86.34/86.65 c #Conflicts: 70000 | #Constraints: 30132
86.34/86.65 c #Conflicts: 71000 | #Constraints: 31132
86.34/86.65 c bounds 21 >= 18 @ 85.5395
87.44/87.75 c #Conflicts: 72000 | #Constraints: 32168
87.44/87.75 c INPROCESSING
87.44/87.75 c GARBAGE COLLECT
87.44/87.75 c rational objective 18
94.22/94.56 c #Conflicts: 73000 | #Constraints: 27757
94.22/94.56 c #Conflicts: 74000 | #Constraints: 28757
94.22/94.56 c #Conflicts: 75000 | #Constraints: 29757
94.22/94.56 c #Conflicts: 76000 | #Constraints: 30757
94.22/94.56 c #Conflicts: 77000 | #Constraints: 31757
94.22/94.56 c #Conflicts: 78000 | #Constraints: 32757
94.22/94.56 c INPROCESSING
94.22/94.56 c GARBAGE COLLECT
94.22/94.56 c rational objective 18
103.30/103.62 c #Conflicts: 79000 | #Constraints: 28136
103.30/103.62 c #Conflicts: 80000 | #Constraints: 29136
103.30/103.62 c #Conflicts: 81000 | #Constraints: 30136
103.30/103.62 c #Conflicts: 82000 | #Constraints: 31136
103.30/103.62 c #Conflicts: 83000 | #Constraints: 32136
103.30/103.62 c #Conflicts: 84000 | #Constraints: 33136
103.30/103.62 c INPROCESSING
103.30/103.62 c GARBAGE COLLECT
103.30/103.62 c rational objective 18
108.79/109.14 c #Conflicts: 85000 | #Constraints: 28399
108.79/109.14 c #Conflicts: 86000 | #Constraints: 29399
108.79/109.14 c #Conflicts: 87000 | #Constraints: 30399
108.79/109.14 c #Conflicts: 88000 | #Constraints: 31399
108.79/109.14 c #Conflicts: 89000 | #Constraints: 32399
108.79/109.14 c #Conflicts: 90000 | #Constraints: 33399
108.79/109.14 c INPROCESSING
108.79/109.14 c GARBAGE COLLECT
108.79/109.14 c rational objective 18
117.86/118.28 c #Conflicts: 91000 | #Constraints: 28381
117.86/118.28 c #Conflicts: 92000 | #Constraints: 29381
117.86/118.28 c #Conflicts: 93000 | #Constraints: 30381
117.86/118.28 c #Conflicts: 94000 | #Constraints: 31381
117.86/118.28 c #Conflicts: 95000 | #Constraints: 32381
117.86/118.28 c #Conflicts: 96000 | #Constraints: 33381
117.86/118.28 c INPROCESSING
117.86/118.28 c GARBAGE COLLECT
117.86/118.28 c rational objective 18
121.85/122.27 c #Conflicts: 97000 | #Constraints: 28242
121.85/122.27 c #Conflicts: 98000 | #Constraints: 29242
121.85/122.27 c #Conflicts: 99000 | #Constraints: 30242
121.85/122.27 c #Conflicts: 100000 | #Constraints: 31242
121.85/122.27 c #Conflicts: 101000 | #Constraints: 32242
121.85/122.27 c bounds 20 >= 18 @ 120.791
124.54/124.92 c #Conflicts: 102000 | #Constraints: 33243
124.54/124.92 c #Conflicts: 103000 | #Constraints: 34243
124.54/124.92 c INPROCESSING
124.54/124.92 c GARBAGE COLLECT
124.54/124.92 c rational objective 18
134.32/134.79 c #Conflicts: 104000 | #Constraints: 28853
134.32/134.79 c #Conflicts: 105000 | #Constraints: 29853
134.32/134.79 c #Conflicts: 106000 | #Constraints: 30853
134.32/134.79 c #Conflicts: 107000 | #Constraints: 31853
134.32/134.79 c #Conflicts: 108000 | #Constraints: 32853
134.32/134.79 c #Conflicts: 109000 | #Constraints: 33853
134.32/134.79 c #Conflicts: 110000 | #Constraints: 34853
134.32/134.79 c INPROCESSING
134.32/134.79 c GARBAGE COLLECT
134.32/134.79 c rational objective 18
146.69/147.15 c #Conflicts: 111000 | #Constraints: 29271
146.69/147.15 c #Conflicts: 112000 | #Constraints: 30272
146.69/147.15 c #Conflicts: 113000 | #Constraints: 31272
146.69/147.15 c #Conflicts: 114000 | #Constraints: 32272
146.69/147.15 c #Conflicts: 115000 | #Constraints: 33272
146.69/147.15 c #Conflicts: 116000 | #Constraints: 34272
146.69/147.15 c #Conflicts: 117000 | #Constraints: 35273
146.69/147.15 c INPROCESSING
146.69/147.15 c GARBAGE COLLECT
146.69/147.15 c rational objective 18
157.76/158.25 c #Conflicts: 118000 | #Constraints: 29473
157.76/158.25 c #Conflicts: 119000 | #Constraints: 30473
157.76/158.25 c #Conflicts: 120000 | #Constraints: 31473
157.76/158.25 c #Conflicts: 121000 | #Constraints: 32475
157.76/158.25 c #Conflicts: 122000 | #Constraints: 33481
157.76/158.25 c #Conflicts: 123000 | #Constraints: 34486
157.76/158.25 c #Conflicts: 124000 | #Constraints: 35503
157.76/158.25 c INPROCESSING
157.76/158.25 c GARBAGE COLLECT
157.76/158.25 c rational objective 18
166.33/166.89 c #Conflicts: 125000 | #Constraints: 29516
166.33/166.89 c #Conflicts: 126000 | #Constraints: 30516
166.33/166.89 c #Conflicts: 127000 | #Constraints: 31516
166.33/166.89 c #Conflicts: 128000 | #Constraints: 32516
166.33/166.89 c #Conflicts: 129000 | #Constraints: 33516
166.33/166.89 c #Conflicts: 130000 | #Constraints: 34516
166.33/166.89 c #Conflicts: 131000 | #Constraints: 35516
166.33/166.89 c INPROCESSING
166.33/166.89 c GARBAGE COLLECT
166.33/166.89 c rational objective 18
176.52/177.02 c #Conflicts: 132000 | #Constraints: 29268
176.52/177.02 c #Conflicts: 133000 | #Constraints: 30268
176.52/177.02 c #Conflicts: 134000 | #Constraints: 31268
176.52/177.02 c #Conflicts: 135000 | #Constraints: 32268
176.52/177.02 c #Conflicts: 136000 | #Constraints: 33268
176.52/177.02 c #Conflicts: 137000 | #Constraints: 34268
176.52/177.02 c #Conflicts: 138000 | #Constraints: 35268
176.52/177.02 c #Conflicts: 139000 | #Constraints: 36268
176.52/177.02 c INPROCESSING
176.52/177.02 c GARBAGE COLLECT
176.52/177.02 c rational objective 18
188.09/188.64 c #Conflicts: 140000 | #Constraints: 29896
188.09/188.64 c #Conflicts: 141000 | #Constraints: 30896
188.09/188.64 c #Conflicts: 142000 | #Constraints: 31896
188.09/188.64 c #Conflicts: 143000 | #Constraints: 32896
188.09/188.64 c #Conflicts: 144000 | #Constraints: 33896
188.09/188.64 c #Conflicts: 145000 | #Constraints: 34896
188.09/188.64 c #Conflicts: 146000 | #Constraints: 35896
188.09/188.64 c #Conflicts: 147000 | #Constraints: 36896
188.09/188.64 c INPROCESSING
188.09/188.64 c GARBAGE COLLECT
188.09/188.64 c rational objective 18
199.26/199.86 c #Conflicts: 148000 | #Constraints: 30344
199.26/199.86 c #Conflicts: 149000 | #Constraints: 31344
199.26/199.86 c #Conflicts: 150000 | #Constraints: 32344
199.26/199.86 c #Conflicts: 151000 | #Constraints: 33344
199.26/199.86 c #Conflicts: 152000 | #Constraints: 34344
199.26/199.86 c #Conflicts: 153000 | #Constraints: 35344
199.26/199.86 c #Conflicts: 154000 | #Constraints: 36344
199.26/199.86 c #Conflicts: 155000 | #Constraints: 37344
199.26/199.86 c INPROCESSING
199.26/199.86 c GARBAGE COLLECT
199.26/199.86 c rational objective 18
212.12/212.73 c #Conflicts: 156000 | #Constraints: 30529
212.12/212.73 c #Conflicts: 157000 | #Constraints: 31530
212.12/212.73 c #Conflicts: 158000 | #Constraints: 32530
212.12/212.73 c #Conflicts: 159000 | #Constraints: 33532
212.12/212.73 c #Conflicts: 160000 | #Constraints: 34533
212.12/212.73 c #Conflicts: 161000 | #Constraints: 35534
212.12/212.73 c #Conflicts: 162000 | #Constraints: 36534
212.12/212.73 c #Conflicts: 163000 | #Constraints: 37534
212.12/212.73 c INPROCESSING
212.12/212.73 c GARBAGE COLLECT
212.12/212.73 c rational objective 18
224.00/224.62 c #Conflicts: 164000 | #Constraints: 30592
224.00/224.62 c #Conflicts: 165000 | #Constraints: 31592
224.00/224.62 c #Conflicts: 166000 | #Constraints: 32592
224.00/224.62 c #Conflicts: 167000 | #Constraints: 33592
224.00/224.62 c #Conflicts: 168000 | #Constraints: 34592
224.00/224.62 c #Conflicts: 169000 | #Constraints: 35592
224.00/224.62 c #Conflicts: 170000 | #Constraints: 36592
224.00/224.62 c #Conflicts: 171000 | #Constraints: 37592
224.00/224.62 c INPROCESSING
224.00/224.62 c GARBAGE COLLECT
224.00/224.62 c rational objective 18
239.16/239.85 c #Conflicts: 172000 | #Constraints: 30392
239.16/239.85 c #Conflicts: 173000 | #Constraints: 31392
239.16/239.85 c #Conflicts: 174000 | #Constraints: 32392
239.16/239.85 c #Conflicts: 175000 | #Constraints: 33392
239.16/239.85 c #Conflicts: 176000 | #Constraints: 34392
239.16/239.85 c #Conflicts: 177000 | #Constraints: 35392
239.16/239.85 c #Conflicts: 178000 | #Constraints: 36392
239.16/239.85 c #Conflicts: 179000 | #Constraints: 37392
239.16/239.85 c #Conflicts: 180000 | #Constraints: 38392
239.16/239.85 c INPROCESSING
239.16/239.85 c GARBAGE COLLECT
239.16/239.85 c rational objective 18
252.33/253.06 c #Conflicts: 181000 | #Constraints: 30978
252.33/253.06 c #Conflicts: 182000 | #Constraints: 31978
252.33/253.06 c #Conflicts: 183000 | #Constraints: 32978
252.33/253.06 c #Conflicts: 184000 | #Constraints: 33978
252.33/253.06 c #Conflicts: 185000 | #Constraints: 34978
252.33/253.06 c #Conflicts: 186000 | #Constraints: 35978
252.33/253.06 c #Conflicts: 187000 | #Constraints: 36978
252.33/253.06 c #Conflicts: 188000 | #Constraints: 37978
252.33/253.06 c #Conflicts: 189000 | #Constraints: 38978
252.33/253.06 c INPROCESSING
252.33/253.06 c GARBAGE COLLECT
252.33/253.06 c rational objective 18
265.59/266.39 c #Conflicts: 190000 | #Constraints: 31346
265.59/266.39 c #Conflicts: 191000 | #Constraints: 32346
265.59/266.39 c #Conflicts: 192000 | #Constraints: 33346
265.59/266.39 c #Conflicts: 193000 | #Constraints: 34346
265.59/266.39 c #Conflicts: 194000 | #Constraints: 35346
265.59/266.39 c #Conflicts: 195000 | #Constraints: 36346
265.59/266.39 c #Conflicts: 196000 | #Constraints: 37346
265.59/266.39 c #Conflicts: 197000 | #Constraints: 38346
265.59/266.39 c #Conflicts: 198000 | #Constraints: 39346
265.59/266.39 c INPROCESSING
265.59/266.39 c GARBAGE COLLECT
265.59/266.39 c rational objective 18
278.35/279.19 c #Conflicts: 199000 | #Constraints: 31634
278.35/279.19 c #Conflicts: 200000 | #Constraints: 32634
278.35/279.19 c #Conflicts: 201000 | #Constraints: 33634
278.35/279.19 c #Conflicts: 202000 | #Constraints: 34635
278.35/279.19 c #Conflicts: 203000 | #Constraints: 35635
278.35/279.19 c #Conflicts: 204000 | #Constraints: 36635
278.35/279.19 c #Conflicts: 205000 | #Constraints: 37635
278.35/279.19 c #Conflicts: 206000 | #Constraints: 38635
278.35/279.19 c #Conflicts: 207000 | #Constraints: 39635
278.35/279.19 c INPROCESSING
278.35/279.19 c GARBAGE COLLECT
278.35/279.19 c rational objective 18
293.32/294.19 c #Conflicts: 208000 | #Constraints: 31619
293.32/294.19 c #Conflicts: 209000 | #Constraints: 32619
293.32/294.19 c #Conflicts: 210000 | #Constraints: 33619
293.32/294.19 c #Conflicts: 211000 | #Constraints: 34619
293.32/294.19 c #Conflicts: 212000 | #Constraints: 35619
293.32/294.19 c #Conflicts: 213000 | #Constraints: 36619
293.32/294.19 c #Conflicts: 214000 | #Constraints: 37619
293.32/294.19 c #Conflicts: 215000 | #Constraints: 38619
293.32/294.19 c #Conflicts: 216000 | #Constraints: 39619
293.32/294.19 c INPROCESSING
293.32/294.19 c GARBAGE COLLECT
293.32/294.19 c rational objective 18
311.28/312.13 c #Conflicts: 217000 | #Constraints: 31440
311.28/312.13 c #Conflicts: 218000 | #Constraints: 32440
311.28/312.13 c #Conflicts: 219000 | #Constraints: 33440
311.28/312.13 c #Conflicts: 220000 | #Constraints: 34440
311.28/312.13 c #Conflicts: 221000 | #Constraints: 35440
311.28/312.13 c #Conflicts: 222000 | #Constraints: 36440
311.28/312.13 c #Conflicts: 223000 | #Constraints: 37440
311.28/312.13 c #Conflicts: 224000 | #Constraints: 38440
311.28/312.13 c #Conflicts: 225000 | #Constraints: 39440
311.28/312.13 c #Conflicts: 226000 | #Constraints: 40440
311.28/312.13 c INPROCESSING
311.28/312.13 c GARBAGE COLLECT
311.28/312.13 c rational objective 18
327.44/328.31 c #Conflicts: 227000 | #Constraints: 32048
327.44/328.31 c #Conflicts: 228000 | #Constraints: 33048
327.44/328.31 c #Conflicts: 229000 | #Constraints: 34048
327.44/328.31 c #Conflicts: 230000 | #Constraints: 35048
327.44/328.31 c #Conflicts: 231000 | #Constraints: 36048
327.44/328.31 c #Conflicts: 232000 | #Constraints: 37048
327.44/328.31 c #Conflicts: 233000 | #Constraints: 38048
327.44/328.31 c #Conflicts: 234000 | #Constraints: 39048
327.44/328.31 c #Conflicts: 235000 | #Constraints: 40048
327.44/328.31 c #Conflicts: 236000 | #Constraints: 41048
327.44/328.31 c INPROCESSING
327.44/328.31 c GARBAGE COLLECT
327.44/328.31 c rational objective 18
341.81/342.71 c #Conflicts: 237000 | #Constraints: 32457
341.81/342.71 c #Conflicts: 238000 | #Constraints: 33457
341.81/342.71 c #Conflicts: 239000 | #Constraints: 34457
341.81/342.71 c #Conflicts: 240000 | #Constraints: 35457
341.81/342.71 c #Conflicts: 241000 | #Constraints: 36457
341.81/342.71 c #Conflicts: 242000 | #Constraints: 37457
341.81/342.71 c #Conflicts: 243000 | #Constraints: 38457
341.81/342.71 c #Conflicts: 244000 | #Constraints: 39457
341.81/342.71 c #Conflicts: 245000 | #Constraints: 40457
341.81/342.71 c #Conflicts: 246000 | #Constraints: 41457
341.81/342.71 c INPROCESSING
341.81/342.71 c GARBAGE COLLECT
341.81/342.71 c rational objective 18
359.47/360.44 c #Conflicts: 247000 | #Constraints: 32595
359.47/360.44 c #Conflicts: 248000 | #Constraints: 33595
359.47/360.44 c #Conflicts: 249000 | #Constraints: 34595
359.47/360.44 c #Conflicts: 250000 | #Constraints: 35595
359.47/360.44 c #Conflicts: 251000 | #Constraints: 36595
359.47/360.44 c #Conflicts: 252000 | #Constraints: 37595
359.47/360.44 c #Conflicts: 253000 | #Constraints: 38595
359.47/360.44 c #Conflicts: 254000 | #Constraints: 39595
359.47/360.44 c #Conflicts: 255000 | #Constraints: 40595
359.47/360.44 c #Conflicts: 256000 | #Constraints: 41595
359.47/360.44 c INPROCESSING
359.47/360.44 c GARBAGE COLLECT
359.47/360.44 c rational objective 18
374.53/375.58 c #Conflicts: 257000 | #Constraints: 32643
374.53/375.58 c #Conflicts: 258000 | #Constraints: 33643
374.53/375.58 c #Conflicts: 259000 | #Constraints: 34643
374.53/375.58 c #Conflicts: 260000 | #Constraints: 35643
374.53/375.58 c #Conflicts: 261000 | #Constraints: 36643
374.53/375.58 c #Conflicts: 262000 | #Constraints: 37643
374.53/375.58 c #Conflicts: 263000 | #Constraints: 38643
374.53/375.58 c #Conflicts: 264000 | #Constraints: 39643
374.53/375.58 c #Conflicts: 265000 | #Constraints: 40643
374.53/375.58 c #Conflicts: 266000 | #Constraints: 41643
374.53/375.58 c INPROCESSING
374.53/375.58 c GARBAGE COLLECT
374.53/375.58 c rational objective 18
392.19/393.26 c #Conflicts: 267000 | #Constraints: 32426
392.19/393.26 c #Conflicts: 268000 | #Constraints: 33426
392.19/393.26 c #Conflicts: 269000 | #Constraints: 34426
392.19/393.26 c #Conflicts: 270000 | #Constraints: 35426
392.19/393.26 c #Conflicts: 271000 | #Constraints: 36426
392.19/393.26 c #Conflicts: 272000 | #Constraints: 37426
392.19/393.26 c #Conflicts: 273000 | #Constraints: 38426
392.19/393.26 c #Conflicts: 274000 | #Constraints: 39426
392.19/393.26 c #Conflicts: 275000 | #Constraints: 40426
392.19/393.26 c #Conflicts: 276000 | #Constraints: 41426
392.19/393.26 c #Conflicts: 277000 | #Constraints: 42426
392.19/393.26 c INPROCESSING
392.19/393.26 c GARBAGE COLLECT
392.19/393.26 c rational objective 18
409.25/410.30 c #Conflicts: 278000 | #Constraints: 33019
409.25/410.30 c #Conflicts: 279000 | #Constraints: 34019
409.25/410.30 c #Conflicts: 280000 | #Constraints: 35019
409.25/410.30 c #Conflicts: 281000 | #Constraints: 36019
409.25/410.30 c #Conflicts: 282000 | #Constraints: 37019
409.25/410.30 c #Conflicts: 283000 | #Constraints: 38019
409.25/410.30 c #Conflicts: 284000 | #Constraints: 39019
409.25/410.30 c #Conflicts: 285000 | #Constraints: 40019
409.25/410.30 c #Conflicts: 286000 | #Constraints: 41019
409.25/410.30 c #Conflicts: 287000 | #Constraints: 42019
409.25/410.30 c #Conflicts: 288000 | #Constraints: 43019
409.25/410.30 c INPROCESSING
409.25/410.30 c GARBAGE COLLECT
409.25/410.30 c rational objective 18
429.70/430.86 c #Conflicts: 289000 | #Constraints: 33524
429.70/430.86 c #Conflicts: 290000 | #Constraints: 34524
429.70/430.86 c #Conflicts: 291000 | #Constraints: 35524
429.70/430.86 c #Conflicts: 292000 | #Constraints: 36524
429.70/430.86 c #Conflicts: 293000 | #Constraints: 37524
429.70/430.86 c #Conflicts: 294000 | #Constraints: 38524
429.70/430.86 c #Conflicts: 295000 | #Constraints: 39524
429.70/430.86 c #Conflicts: 296000 | #Constraints: 40524
429.70/430.86 c #Conflicts: 297000 | #Constraints: 41524
429.70/430.86 c #Conflicts: 298000 | #Constraints: 42524
429.70/430.86 c #Conflicts: 299000 | #Constraints: 43524
429.70/430.86 c INPROCESSING
429.70/430.86 c GARBAGE COLLECT
429.70/430.86 c rational objective 18
448.46/449.65 c #Conflicts: 300000 | #Constraints: 33725
448.46/449.65 c #Conflicts: 301000 | #Constraints: 34725
448.46/449.65 c #Conflicts: 302000 | #Constraints: 35725
448.46/449.65 c #Conflicts: 303000 | #Constraints: 36725
448.46/449.65 c #Conflicts: 304000 | #Constraints: 37725
448.46/449.65 c #Conflicts: 305000 | #Constraints: 38725
448.46/449.65 c #Conflicts: 306000 | #Constraints: 39725
448.46/449.65 c #Conflicts: 307000 | #Constraints: 40725
448.46/449.65 c #Conflicts: 308000 | #Constraints: 41725
448.46/449.65 c #Conflicts: 309000 | #Constraints: 42725
448.46/449.65 c #Conflicts: 310000 | #Constraints: 43725
448.46/449.65 c INPROCESSING
448.46/449.65 c GARBAGE COLLECT
448.46/449.65 c rational objective 18
469.31/470.59 c #Conflicts: 311000 | #Constraints: 33765
469.31/470.59 c #Conflicts: 312000 | #Constraints: 34765
469.31/470.59 c #Conflicts: 313000 | #Constraints: 35765
469.31/470.59 c #Conflicts: 314000 | #Constraints: 36765
469.31/470.59 c #Conflicts: 315000 | #Constraints: 37765
469.31/470.59 c #Conflicts: 316000 | #Constraints: 38765
469.31/470.59 c #Conflicts: 317000 | #Constraints: 39765
469.31/470.59 c #Conflicts: 318000 | #Constraints: 40765
469.31/470.59 c #Conflicts: 319000 | #Constraints: 41765
469.31/470.59 c #Conflicts: 320000 | #Constraints: 42765
469.31/470.59 c #Conflicts: 321000 | #Constraints: 43765
469.31/470.59 c INPROCESSING
469.31/470.59 c GARBAGE COLLECT
469.31/470.59 c rational objective 18
490.56/491.88 c #Conflicts: 322000 | #Constraints: 33570
490.56/491.88 c #Conflicts: 323000 | #Constraints: 34570
490.56/491.88 c #Conflicts: 324000 | #Constraints: 35570
490.56/491.88 c #Conflicts: 325000 | #Constraints: 36570
490.56/491.88 c #Conflicts: 326000 | #Constraints: 37570
490.56/491.88 c #Conflicts: 327000 | #Constraints: 38570
490.56/491.88 c #Conflicts: 328000 | #Constraints: 39570
490.56/491.88 c #Conflicts: 329000 | #Constraints: 40570
490.56/491.88 c #Conflicts: 330000 | #Constraints: 41570
490.56/491.88 c #Conflicts: 331000 | #Constraints: 42570
490.56/491.88 c #Conflicts: 332000 | #Constraints: 43570
490.56/491.88 c #Conflicts: 333000 | #Constraints: 44570
490.56/491.88 c INPROCESSING
490.56/491.88 c GARBAGE COLLECT
490.56/491.88 c rational objective 18
512.71/514.02 c #Conflicts: 334000 | #Constraints: 34179
512.71/514.02 c #Conflicts: 335000 | #Constraints: 35179
512.71/514.02 c #Conflicts: 336000 | #Constraints: 36179
512.71/514.02 c #Conflicts: 337000 | #Constraints: 37179
512.71/514.02 c #Conflicts: 338000 | #Constraints: 38179
512.71/514.02 c #Conflicts: 339000 | #Constraints: 39179
512.71/514.02 c #Conflicts: 340000 | #Constraints: 40179
512.71/514.02 c #Conflicts: 341000 | #Constraints: 41179
512.71/514.02 c #Conflicts: 342000 | #Constraints: 42179
512.71/514.02 c #Conflicts: 343000 | #Constraints: 43179
512.71/514.02 c #Conflicts: 344000 | #Constraints: 44179
512.71/514.02 c #Conflicts: 345000 | #Constraints: 45179
512.71/514.02 c INPROCESSING
512.71/514.02 c GARBAGE COLLECT
512.71/514.02 c rational objective 18
532.96/534.30 c #Conflicts: 346000 | #Constraints: 34579
532.96/534.30 c #Conflicts: 347000 | #Constraints: 35579
532.96/534.30 c #Conflicts: 348000 | #Constraints: 36579
532.96/534.30 c #Conflicts: 349000 | #Constraints: 37579
532.96/534.30 c #Conflicts: 350000 | #Constraints: 38579
532.96/534.30 c #Conflicts: 351000 | #Constraints: 39579
532.96/534.30 c #Conflicts: 352000 | #Constraints: 40579
532.96/534.30 c #Conflicts: 353000 | #Constraints: 41579
532.96/534.30 c #Conflicts: 354000 | #Constraints: 42579
532.96/534.30 c #Conflicts: 355000 | #Constraints: 43579
532.96/534.30 c #Conflicts: 356000 | #Constraints: 44579
532.96/534.30 c #Conflicts: 357000 | #Constraints: 45579
532.96/534.30 c INPROCESSING
532.96/534.30 c GARBAGE COLLECT
532.96/534.30 c rational objective 18
555.71/557.19 c #Conflicts: 358000 | #Constraints: 34811
555.71/557.19 c #Conflicts: 359000 | #Constraints: 35811
555.71/557.19 c #Conflicts: 360000 | #Constraints: 36811
555.71/557.19 c #Conflicts: 361000 | #Constraints: 37811
555.71/557.19 c #Conflicts: 362000 | #Constraints: 38811
555.71/557.19 c #Conflicts: 363000 | #Constraints: 39811
555.71/557.19 c #Conflicts: 364000 | #Constraints: 40811
555.71/557.19 c #Conflicts: 365000 | #Constraints: 41811
555.71/557.19 c #Conflicts: 366000 | #Constraints: 42811
555.71/557.19 c #Conflicts: 367000 | #Constraints: 43811
555.71/557.19 c #Conflicts: 368000 | #Constraints: 44811
555.71/557.19 c #Conflicts: 369000 | #Constraints: 45811
555.71/557.19 c INPROCESSING
555.71/557.19 c GARBAGE COLLECT
555.71/557.19 c rational objective 18
579.75/581.27 c #Conflicts: 370000 | #Constraints: 34773
579.75/581.27 c #Conflicts: 371000 | #Constraints: 35773
579.75/581.27 c #Conflicts: 372000 | #Constraints: 36773
579.75/581.27 c #Conflicts: 373000 | #Constraints: 37773
579.75/581.27 c #Conflicts: 374000 | #Constraints: 38773
579.75/581.27 c #Conflicts: 375000 | #Constraints: 39773
579.75/581.27 c #Conflicts: 376000 | #Constraints: 40773
579.75/581.27 c #Conflicts: 377000 | #Constraints: 41773
579.75/581.27 c #Conflicts: 378000 | #Constraints: 42773
579.75/581.27 c #Conflicts: 379000 | #Constraints: 43773
579.75/581.27 c #Conflicts: 380000 | #Constraints: 44773
579.75/581.27 c #Conflicts: 381000 | #Constraints: 45773
579.75/581.27 c INPROCESSING
579.75/581.27 c GARBAGE COLLECT
579.75/581.27 c rational objective 18
599.90/601.45 c #Conflicts: 382000 | #Constraints: 34483
599.90/601.45 c #Conflicts: 383000 | #Constraints: 35483
599.90/601.45 c #Conflicts: 384000 | #Constraints: 36483
599.90/601.45 c #Conflicts: 385000 | #Constraints: 37483
599.90/601.45 c #Conflicts: 386000 | #Constraints: 38483
599.90/601.45 c #Conflicts: 387000 | #Constraints: 39483
599.90/601.45 c #Conflicts: 388000 | #Constraints: 40483
599.90/601.45 c #Conflicts: 389000 | #Constraints: 41483
599.90/601.45 c #Conflicts: 390000 | #Constraints: 42483
599.90/601.45 c #Conflicts: 391000 | #Constraints: 43483
599.90/601.45 c #Conflicts: 392000 | #Constraints: 44483
599.90/601.45 c #Conflicts: 393000 | #Constraints: 45483
599.90/601.45 c bounds 20 >= 19 @ 596.456
601.80/603.37 c #Conflicts: 394000 | #Constraints: 46522
601.80/603.37 c INPROCESSING
601.80/603.37 c GARBAGE COLLECT
601.80/603.37 c rational objective 19
626.13/627.76 c #Conflicts: 395000 | #Constraints: 35092
626.13/627.76 c #Conflicts: 396000 | #Constraints: 36092
626.13/627.76 c #Conflicts: 397000 | #Constraints: 37092
626.13/627.76 c #Conflicts: 398000 | #Constraints: 38092
626.13/627.76 c #Conflicts: 399000 | #Constraints: 39092
626.13/627.76 c #Conflicts: 400000 | #Constraints: 40092
626.13/627.76 c #Conflicts: 401000 | #Constraints: 41092
626.13/627.76 c #Conflicts: 402000 | #Constraints: 42092
626.13/627.76 c #Conflicts: 403000 | #Constraints: 43092
626.13/627.76 c #Conflicts: 404000 | #Constraints: 44092
626.13/627.76 c #Conflicts: 405000 | #Constraints: 45092
626.13/627.76 c #Conflicts: 406000 | #Constraints: 46092
626.13/627.76 c #Conflicts: 407000 | #Constraints: 47092
626.13/627.76 c INPROCESSING
626.13/627.76 c GARBAGE COLLECT
626.13/627.76 c rational objective 19
647.28/648.98 c #Conflicts: 408000 | #Constraints: 35449
647.28/648.98 c #Conflicts: 409000 | #Constraints: 36449
647.28/648.98 c #Conflicts: 410000 | #Constraints: 37449
647.28/648.98 c #Conflicts: 411000 | #Constraints: 38449
647.28/648.98 c #Conflicts: 412000 | #Constraints: 39449
647.28/648.98 c #Conflicts: 413000 | #Constraints: 40449
647.28/648.98 c #Conflicts: 414000 | #Constraints: 41449
647.28/648.98 c #Conflicts: 415000 | #Constraints: 42449
647.28/648.98 c #Conflicts: 416000 | #Constraints: 43449
647.28/648.98 c #Conflicts: 417000 | #Constraints: 44449
647.28/648.98 c #Conflicts: 418000 | #Constraints: 45449
647.28/648.98 c #Conflicts: 419000 | #Constraints: 46449
647.28/648.98 c #Conflicts: 420000 | #Constraints: 47449
647.28/648.98 c INPROCESSING
647.28/648.98 c GARBAGE COLLECT
647.28/648.98 c rational objective 19
672.52/674.26 c #Conflicts: 421000 | #Constraints: 35722
672.52/674.26 c #Conflicts: 422000 | #Constraints: 36722
672.52/674.26 c #Conflicts: 423000 | #Constraints: 37722
672.52/674.26 c #Conflicts: 424000 | #Constraints: 38722
672.52/674.26 c #Conflicts: 425000 | #Constraints: 39722
672.52/674.26 c #Conflicts: 426000 | #Constraints: 40722
672.52/674.26 c #Conflicts: 427000 | #Constraints: 41722
672.52/674.26 c #Conflicts: 428000 | #Constraints: 42722
672.52/674.26 c #Conflicts: 429000 | #Constraints: 43722
672.52/674.26 c #Conflicts: 430000 | #Constraints: 44722
672.52/674.26 c #Conflicts: 431000 | #Constraints: 45722
672.52/674.26 c #Conflicts: 432000 | #Constraints: 46722
672.52/674.26 c #Conflicts: 433000 | #Constraints: 47722
672.52/674.26 c INPROCESSING
672.52/674.26 c GARBAGE COLLECT
672.52/674.26 c rational objective 19
701.75/703.56 c #Conflicts: 434000 | #Constraints: 35722
701.75/703.56 c #Conflicts: 435000 | #Constraints: 36722
701.75/703.56 c #Conflicts: 436000 | #Constraints: 37722
701.75/703.56 c #Conflicts: 437000 | #Constraints: 38722
701.75/703.56 c #Conflicts: 438000 | #Constraints: 39722
701.75/703.56 c #Conflicts: 439000 | #Constraints: 40722
701.75/703.56 c #Conflicts: 440000 | #Constraints: 41722
701.75/703.56 c #Conflicts: 441000 | #Constraints: 42722
701.75/703.56 c #Conflicts: 442000 | #Constraints: 43722
701.75/703.56 c #Conflicts: 443000 | #Constraints: 44722
701.75/703.56 c #Conflicts: 444000 | #Constraints: 45722
701.75/703.56 c #Conflicts: 445000 | #Constraints: 46722
701.75/703.56 c #Conflicts: 446000 | #Constraints: 47722
701.75/703.56 c INPROCESSING
701.75/703.56 c GARBAGE COLLECT
701.75/703.56 c rational objective 19
729.58/731.42 c #Conflicts: 447000 | #Constraints: 35520
729.58/731.42 c #Conflicts: 448000 | #Constraints: 36520
729.58/731.42 c #Conflicts: 449000 | #Constraints: 37520
729.58/731.42 c #Conflicts: 450000 | #Constraints: 38520
729.58/731.42 c #Conflicts: 451000 | #Constraints: 39520
729.58/731.42 c #Conflicts: 452000 | #Constraints: 40520
729.58/731.42 c #Conflicts: 453000 | #Constraints: 41520
729.58/731.42 c #Conflicts: 454000 | #Constraints: 42520
729.58/731.42 c #Conflicts: 455000 | #Constraints: 43520
729.58/731.42 c #Conflicts: 456000 | #Constraints: 44520
729.58/731.42 c #Conflicts: 457000 | #Constraints: 45520
729.58/731.42 c #Conflicts: 458000 | #Constraints: 46520
729.58/731.42 c #Conflicts: 459000 | #Constraints: 47520
729.58/731.42 c #Conflicts: 460000 | #Constraints: 48520
729.58/731.42 c INPROCESSING
729.58/731.42 c GARBAGE COLLECT
729.58/731.42 c rational objective 19
756.91/758.85 c #Conflicts: 461000 | #Constraints: 36082
756.91/758.85 c #Conflicts: 462000 | #Constraints: 37082
756.91/758.85 c #Conflicts: 463000 | #Constraints: 38082
756.91/758.85 c #Conflicts: 464000 | #Constraints: 39082
756.91/758.85 c #Conflicts: 465000 | #Constraints: 40082
756.91/758.85 c #Conflicts: 466000 | #Constraints: 41082
756.91/758.85 c #Conflicts: 467000 | #Constraints: 42082
756.91/758.85 c #Conflicts: 468000 | #Constraints: 43082
756.91/758.85 c #Conflicts: 469000 | #Constraints: 44082
756.91/758.85 c #Conflicts: 470000 | #Constraints: 45082
756.91/758.85 c #Conflicts: 471000 | #Constraints: 46082
756.91/758.85 c #Conflicts: 472000 | #Constraints: 47082
756.91/758.85 c #Conflicts: 473000 | #Constraints: 48082
756.91/758.85 c #Conflicts: 474000 | #Constraints: 49082
756.91/758.85 c INPROCESSING
756.91/758.85 c GARBAGE COLLECT
756.91/758.85 c rational objective 19
782.15/784.11 c #Conflicts: 475000 | #Constraints: 36497
782.15/784.11 c #Conflicts: 476000 | #Constraints: 37497
782.15/784.11 c #Conflicts: 477000 | #Constraints: 38497
782.15/784.11 c #Conflicts: 478000 | #Constraints: 39497
782.15/784.11 c #Conflicts: 479000 | #Constraints: 40497
782.15/784.11 c #Conflicts: 480000 | #Constraints: 41497
782.15/784.11 c #Conflicts: 481000 | #Constraints: 42497
782.15/784.11 c #Conflicts: 482000 | #Constraints: 43497
782.15/784.11 c #Conflicts: 483000 | #Constraints: 44497
782.15/784.11 c #Conflicts: 484000 | #Constraints: 45497
782.15/784.11 c #Conflicts: 485000 | #Constraints: 46497
782.15/784.11 c #Conflicts: 486000 | #Constraints: 47497
782.15/784.11 c #Conflicts: 487000 | #Constraints: 48497
782.15/784.11 c #Conflicts: 488000 | #Constraints: 49497
782.15/784.11 c INPROCESSING
782.15/784.11 c GARBAGE COLLECT
782.15/784.11 c rational objective 19
815.66/817.77 c #Conflicts: 489000 | #Constraints: 36727
815.66/817.77 c #Conflicts: 490000 | #Constraints: 37727
815.66/817.77 c #Conflicts: 491000 | #Constraints: 38727
815.66/817.77 c #Conflicts: 492000 | #Constraints: 39727
815.66/817.77 c #Conflicts: 493000 | #Constraints: 40727
815.66/817.77 c #Conflicts: 494000 | #Constraints: 41727
815.66/817.77 c #Conflicts: 495000 | #Constraints: 42727
815.66/817.77 c #Conflicts: 496000 | #Constraints: 43727
815.66/817.77 c #Conflicts: 497000 | #Constraints: 44727
815.66/817.77 c #Conflicts: 498000 | #Constraints: 45727
815.66/817.77 c #Conflicts: 499000 | #Constraints: 46727
815.66/817.77 c #Conflicts: 500000 | #Constraints: 47727
815.66/817.77 c #Conflicts: 501000 | #Constraints: 48727
815.66/817.77 c #Conflicts: 502000 | #Constraints: 49727
815.66/817.77 c INPROCESSING
815.66/817.77 c GARBAGE COLLECT
815.66/817.77 c rational objective 19
845.47/847.64 c #Conflicts: 503000 | #Constraints: 36792
845.47/847.64 c #Conflicts: 504000 | #Constraints: 37792
845.47/847.64 c #Conflicts: 505000 | #Constraints: 38793
845.47/847.64 c #Conflicts: 506000 | #Constraints: 39793
845.47/847.64 c #Conflicts: 507000 | #Constraints: 40793
845.47/847.64 c #Conflicts: 508000 | #Constraints: 41800
845.47/847.64 c #Conflicts: 509000 | #Constraints: 42802
845.47/847.64 c #Conflicts: 510000 | #Constraints: 43803
845.47/847.64 c #Conflicts: 511000 | #Constraints: 44805
845.47/847.64 c #Conflicts: 512000 | #Constraints: 45807
845.47/847.64 c #Conflicts: 513000 | #Constraints: 46816
845.47/847.64 c #Conflicts: 514000 | #Constraints: 47819
845.47/847.64 c #Conflicts: 515000 | #Constraints: 48820
845.47/847.64 c #Conflicts: 516000 | #Constraints: 49820
845.47/847.64 c INPROCESSING
845.47/847.64 c GARBAGE COLLECT
845.47/847.64 c rational objective 19
870.80/873.03 c #Conflicts: 517000 | #Constraints: 36582
870.80/873.03 c #Conflicts: 518000 | #Constraints: 37582
870.80/873.03 c #Conflicts: 519000 | #Constraints: 38582
870.80/873.03 c #Conflicts: 520000 | #Constraints: 39582
870.80/873.03 c #Conflicts: 521000 | #Constraints: 40582
870.80/873.03 c #Conflicts: 522000 | #Constraints: 41582
870.80/873.03 c #Conflicts: 523000 | #Constraints: 42582
870.80/873.03 c #Conflicts: 524000 | #Constraints: 43582
870.80/873.03 c #Conflicts: 525000 | #Constraints: 44582
870.80/873.03 c #Conflicts: 526000 | #Constraints: 45582
870.80/873.03 c #Conflicts: 527000 | #Constraints: 46582
870.80/873.03 c #Conflicts: 528000 | #Constraints: 47582
870.80/873.03 c #Conflicts: 529000 | #Constraints: 48582
870.80/873.03 c #Conflicts: 530000 | #Constraints: 49582
870.80/873.03 c #Conflicts: 531000 | #Constraints: 50582
870.80/873.03 c INPROCESSING
870.80/873.03 c GARBAGE COLLECT
870.80/873.03 c rational objective 19
897.92/900.20 c #Conflicts: 532000 | #Constraints: 37150
897.92/900.20 c #Conflicts: 533000 | #Constraints: 38150
897.92/900.20 c #Conflicts: 534000 | #Constraints: 39150
897.92/900.20 c #Conflicts: 535000 | #Constraints: 40150
897.92/900.20 c #Conflicts: 536000 | #Constraints: 41150
897.92/900.20 c #Conflicts: 537000 | #Constraints: 42150
897.92/900.20 c #Conflicts: 538000 | #Constraints: 43150
897.92/900.20 c #Conflicts: 539000 | #Constraints: 44150
897.92/900.20 c #Conflicts: 540000 | #Constraints: 45150
897.92/900.20 c #Conflicts: 541000 | #Constraints: 46150
897.92/900.20 c #Conflicts: 542000 | #Constraints: 47150
897.92/900.20 c #Conflicts: 543000 | #Constraints: 48150
897.92/900.20 c #Conflicts: 544000 | #Constraints: 49150
897.92/900.20 c #Conflicts: 545000 | #Constraints: 50150
897.92/900.20 c #Conflicts: 546000 | #Constraints: 51150
897.92/900.20 c INPROCESSING
897.92/900.20 c GARBAGE COLLECT
897.92/900.20 c rational objective 19
926.35/928.78 c #Conflicts: 547000 | #Constraints: 37556
926.35/928.78 c #Conflicts: 548000 | #Constraints: 38556
926.35/928.78 c #Conflicts: 549000 | #Constraints: 39556
926.35/928.78 c #Conflicts: 550000 | #Constraints: 40556
926.35/928.78 c #Conflicts: 551000 | #Constraints: 41556
926.35/928.78 c #Conflicts: 552000 | #Constraints: 42556
926.35/928.78 c #Conflicts: 553000 | #Constraints: 43556
926.35/928.78 c #Conflicts: 554000 | #Constraints: 44556
926.35/928.78 c #Conflicts: 555000 | #Constraints: 45556
926.35/928.78 c #Conflicts: 556000 | #Constraints: 46556
926.35/928.78 c #Conflicts: 557000 | #Constraints: 47556
926.35/928.78 c #Conflicts: 558000 | #Constraints: 48556
926.35/928.78 c #Conflicts: 559000 | #Constraints: 49556
926.35/928.78 c #Conflicts: 560000 | #Constraints: 50557
926.35/928.78 c #Conflicts: 561000 | #Constraints: 51558
926.35/928.78 c INPROCESSING
926.35/928.78 c GARBAGE COLLECT
926.35/928.78 c rational objective 19
954.87/957.36 c #Conflicts: 562000 | #Constraints: 37848
954.87/957.36 c #Conflicts: 563000 | #Constraints: 38848
954.87/957.36 c #Conflicts: 564000 | #Constraints: 39848
954.87/957.36 c #Conflicts: 565000 | #Constraints: 40848
954.87/957.36 c #Conflicts: 566000 | #Constraints: 41848
954.87/957.36 c #Conflicts: 567000 | #Constraints: 42848
954.87/957.36 c #Conflicts: 568000 | #Constraints: 43848
954.87/957.36 c #Conflicts: 569000 | #Constraints: 44848
954.87/957.36 c #Conflicts: 570000 | #Constraints: 45848
954.87/957.36 c #Conflicts: 571000 | #Constraints: 46848
954.87/957.36 c #Conflicts: 572000 | #Constraints: 47848
954.87/957.36 c #Conflicts: 573000 | #Constraints: 48848
954.87/957.36 c #Conflicts: 574000 | #Constraints: 49848
954.87/957.36 c #Conflicts: 575000 | #Constraints: 50849
954.87/957.36 c #Conflicts: 576000 | #Constraints: 51849
954.87/957.36 c INPROCESSING
954.87/957.36 c GARBAGE COLLECT
954.87/957.36 c rational objective 19
981.40/983.98 c #Conflicts: 577000 | #Constraints: 37854
981.40/983.98 c #Conflicts: 578000 | #Constraints: 38854
981.40/983.98 c #Conflicts: 579000 | #Constraints: 39854
981.40/983.98 c #Conflicts: 580000 | #Constraints: 40854
981.40/983.98 c #Conflicts: 581000 | #Constraints: 41854
981.40/983.98 c #Conflicts: 582000 | #Constraints: 42854
981.40/983.98 c #Conflicts: 583000 | #Constraints: 43854
981.40/983.98 c #Conflicts: 584000 | #Constraints: 44854
981.40/983.98 c #Conflicts: 585000 | #Constraints: 45854
981.40/983.98 c #Conflicts: 586000 | #Constraints: 46854
981.40/983.98 c #Conflicts: 587000 | #Constraints: 47854
981.40/983.98 c #Conflicts: 588000 | #Constraints: 48854
981.40/983.98 c #Conflicts: 589000 | #Constraints: 49854
981.40/983.98 c #Conflicts: 590000 | #Constraints: 50854
981.40/983.98 c #Conflicts: 591000 | #Constraints: 51854
981.40/983.98 c INPROCESSING
981.40/983.98 c GARBAGE COLLECT
981.40/983.98 c rational objective 19
1014.81/1017.47 c #Conflicts: 592000 | #Constraints: 37656
1014.81/1017.47 c #Conflicts: 593000 | #Constraints: 38656
1014.81/1017.47 c #Conflicts: 594000 | #Constraints: 39657
1014.81/1017.47 c #Conflicts: 595000 | #Constraints: 40659
1014.81/1017.47 c #Conflicts: 596000 | #Constraints: 41659
1014.81/1017.47 c #Conflicts: 597000 | #Constraints: 42660
1014.81/1017.47 c #Conflicts: 598000 | #Constraints: 43660
1014.81/1017.47 c #Conflicts: 599000 | #Constraints: 44662
1014.81/1017.47 c #Conflicts: 600000 | #Constraints: 45662
1014.81/1017.47 c #Conflicts: 601000 | #Constraints: 46668
1014.81/1017.47 c #Conflicts: 602000 | #Constraints: 47680
1014.81/1017.47 c #Conflicts: 603000 | #Constraints: 48700
1014.81/1017.47 c #Conflicts: 604000 | #Constraints: 49702
1014.81/1017.47 c #Conflicts: 605000 | #Constraints: 50711
1014.81/1017.47 c #Conflicts: 606000 | #Constraints: 51716
1014.81/1017.47 c #Conflicts: 607000 | #Constraints: 52753
1014.81/1017.47 c INPROCESSING
1014.81/1017.47 c GARBAGE COLLECT
1014.81/1017.47 c rational objective 19
1043.83/1046.52 c #Conflicts: 608000 | #Constraints: 38267
1043.83/1046.52 c #Conflicts: 609000 | #Constraints: 39268
1043.83/1046.52 c #Conflicts: 610000 | #Constraints: 40269
1043.83/1046.52 c #Conflicts: 611000 | #Constraints: 41269
1043.83/1046.52 c #Conflicts: 612000 | #Constraints: 42269
1043.83/1046.52 c #Conflicts: 613000 | #Constraints: 43269
1043.83/1046.52 c #Conflicts: 614000 | #Constraints: 44269
1043.83/1046.52 c #Conflicts: 615000 | #Constraints: 45269
1043.83/1046.52 c #Conflicts: 616000 | #Constraints: 46269
1043.83/1046.52 c #Conflicts: 617000 | #Constraints: 47269
1043.83/1046.52 c #Conflicts: 618000 | #Constraints: 48269
1043.83/1046.52 c #Conflicts: 619000 | #Constraints: 49269
1043.83/1046.52 c #Conflicts: 620000 | #Constraints: 50269
1043.83/1046.52 c #Conflicts: 621000 | #Constraints: 51269
1043.83/1046.52 c #Conflicts: 622000 | #Constraints: 52269
1043.83/1046.52 c #Conflicts: 623000 | #Constraints: 53269
1043.83/1046.52 c INPROCESSING
1043.83/1046.52 c GARBAGE COLLECT
1043.83/1046.52 c rational objective 19
1109.05/1111.95 c #Conflicts: 624000 | #Constraints: 38686
1109.05/1111.95 c #Conflicts: 625000 | #Constraints: 39686
1109.05/1111.95 c #Conflicts: 626000 | #Constraints: 40686
1109.05/1111.95 c #Conflicts: 627000 | #Constraints: 41686
1109.05/1111.95 c #Conflicts: 628000 | #Constraints: 42686
1109.05/1111.95 c #Conflicts: 629000 | #Constraints: 43686
1109.05/1111.95 c #Conflicts: 630000 | #Constraints: 44686
1109.05/1111.95 c #Conflicts: 631000 | #Constraints: 45686
1109.05/1111.95 c #Conflicts: 632000 | #Constraints: 46686
1109.05/1111.95 c #Conflicts: 633000 | #Constraints: 47686
1109.05/1111.95 c #Conflicts: 634000 | #Constraints: 48687
1109.05/1111.95 c #Conflicts: 635000 | #Constraints: 49687
1109.05/1111.95 c #Conflicts: 636000 | #Constraints: 50687
1109.05/1111.95 c #Conflicts: 637000 | #Constraints: 51688
1109.05/1111.95 c #Conflicts: 638000 | #Constraints: 52688
1109.05/1111.95 c #Conflicts: 639000 | #Constraints: 53688
1109.05/1111.95 c INPROCESSING
1109.05/1111.95 c GARBAGE COLLECT
1109.05/1111.95 c #Conflicts: 640000 | #Constraints: 38794
1109.05/1111.95 c #Conflicts: 641000 | #Constraints: 39794
1109.05/1111.95 c #Conflicts: 642000 | #Constraints: 40794
1109.05/1111.95 c #Conflicts: 643000 | #Constraints: 41794
1109.05/1111.95 c #Conflicts: 644000 | #Constraints: 42795
1109.05/1111.95 c #Conflicts: 645000 | #Constraints: 43796
1109.05/1111.95 c #Conflicts: 646000 | #Constraints: 44798
1109.05/1111.95 c #Conflicts: 647000 | #Constraints: 45799
1109.05/1111.95 c #Conflicts: 648000 | #Constraints: 46803
1109.05/1111.95 c #Conflicts: 649000 | #Constraints: 47804
1109.05/1111.95 c #Conflicts: 650000 | #Constraints: 48804
1109.05/1111.95 c #Conflicts: 651000 | #Constraints: 49805
1109.05/1111.95 c #Conflicts: 652000 | #Constraints: 50805
1109.05/1111.95 c #Conflicts: 653000 | #Constraints: 51809
1109.05/1111.95 c #Conflicts: 654000 | #Constraints: 52810
1109.05/1111.95 c #Conflicts: 655000 | #Constraints: 53813
1109.05/1111.95 c INPROCESSING
1109.05/1111.95 c GARBAGE COLLECT
1109.05/1111.95 c rational objective 19
1143.86/1146.89 c #Conflicts: 656000 | #Constraints: 38918
1143.86/1146.89 c #Conflicts: 657000 | #Constraints: 39918
1143.86/1146.89 c #Conflicts: 658000 | #Constraints: 40918
1143.86/1146.89 c #Conflicts: 659000 | #Constraints: 41918
1143.86/1146.89 c #Conflicts: 660000 | #Constraints: 42918
1143.86/1146.89 c #Conflicts: 661000 | #Constraints: 43918
1143.86/1146.89 c #Conflicts: 662000 | #Constraints: 44918
1143.86/1146.89 c #Conflicts: 663000 | #Constraints: 45918
1143.86/1146.89 c #Conflicts: 664000 | #Constraints: 46918
1143.86/1146.89 c #Conflicts: 665000 | #Constraints: 47918
1143.86/1146.89 c #Conflicts: 666000 | #Constraints: 48918
1143.86/1146.89 c #Conflicts: 667000 | #Constraints: 49918
1143.86/1146.89 c #Conflicts: 668000 | #Constraints: 50918
1143.86/1146.89 c #Conflicts: 669000 | #Constraints: 51918
1143.86/1146.89 c #Conflicts: 670000 | #Constraints: 52918
1143.86/1146.89 c #Conflicts: 671000 | #Constraints: 53918
1143.86/1146.89 c INPROCESSING
1143.86/1146.89 c GARBAGE COLLECT
1143.86/1146.89 c rational objective 19
1175.27/1178.38 c #Conflicts: 672000 | #Constraints: 38728
1175.27/1178.38 c #Conflicts: 673000 | #Constraints: 39728
1175.27/1178.38 c #Conflicts: 674000 | #Constraints: 40728
1175.27/1178.38 c #Conflicts: 675000 | #Constraints: 41728
1175.27/1178.38 c #Conflicts: 676000 | #Constraints: 42728
1175.27/1178.38 c #Conflicts: 677000 | #Constraints: 43728
1175.27/1178.38 c #Conflicts: 678000 | #Constraints: 44728
1175.27/1178.38 c #Conflicts: 679000 | #Constraints: 45728
1175.27/1178.38 c #Conflicts: 680000 | #Constraints: 46728
1175.27/1178.38 c #Conflicts: 681000 | #Constraints: 47728
1175.27/1178.38 c #Conflicts: 682000 | #Constraints: 48728
1175.27/1178.38 c #Conflicts: 683000 | #Constraints: 49728
1175.27/1178.38 c #Conflicts: 684000 | #Constraints: 50728
1175.27/1178.38 c #Conflicts: 685000 | #Constraints: 51728
1175.27/1178.38 c #Conflicts: 686000 | #Constraints: 52728
1175.27/1178.38 c #Conflicts: 687000 | #Constraints: 53728
1175.27/1178.38 c #Conflicts: 688000 | #Constraints: 54728
1175.27/1178.38 c INPROCESSING
1175.27/1178.38 c GARBAGE COLLECT
1175.27/1178.38 c rational objective 19
1202.50/1205.60 c #Conflicts: 689000 | #Constraints: 39366
1202.50/1205.60 c #Conflicts: 690000 | #Constraints: 40366
1202.50/1205.60 c #Conflicts: 691000 | #Constraints: 41366
1202.50/1205.60 c #Conflicts: 692000 | #Constraints: 42366
1202.50/1205.60 c #Conflicts: 693000 | #Constraints: 43366
1202.50/1205.60 c #Conflicts: 694000 | #Constraints: 44366
1202.50/1205.60 c #Conflicts: 695000 | #Constraints: 45366
1202.50/1205.60 c #Conflicts: 696000 | #Constraints: 46366
1202.50/1205.60 c #Conflicts: 697000 | #Constraints: 47366
1202.50/1205.60 c #Conflicts: 698000 | #Constraints: 48366
1202.50/1205.60 c #Conflicts: 699000 | #Constraints: 49366
1202.50/1205.60 c #Conflicts: 700000 | #Constraints: 50366
1202.50/1205.60 c #Conflicts: 701000 | #Constraints: 51366
1202.50/1205.60 c #Conflicts: 702000 | #Constraints: 52366
1202.50/1205.60 c #Conflicts: 703000 | #Constraints: 53366
1202.50/1205.60 c #Conflicts: 704000 | #Constraints: 54366
1202.50/1205.60 c #Conflicts: 705000 | #Constraints: 55366
1202.50/1205.60 c INPROCESSING
1202.50/1205.60 c GARBAGE COLLECT
1202.50/1205.60 c rational objective 19
1234.71/1237.90 c #Conflicts: 706000 | #Constraints: 39751
1234.71/1237.90 c #Conflicts: 707000 | #Constraints: 40751
1234.71/1237.90 c #Conflicts: 708000 | #Constraints: 41751
1234.71/1237.90 c #Conflicts: 709000 | #Constraints: 42751
1234.71/1237.90 c #Conflicts: 710000 | #Constraints: 43751
1234.71/1237.90 c #Conflicts: 711000 | #Constraints: 44751
1234.71/1237.90 c #Conflicts: 712000 | #Constraints: 45751
1234.71/1237.90 c #Conflicts: 713000 | #Constraints: 46751
1234.71/1237.90 c #Conflicts: 714000 | #Constraints: 47751
1234.71/1237.90 c #Conflicts: 715000 | #Constraints: 48751
1234.71/1237.90 c #Conflicts: 716000 | #Constraints: 49751
1234.71/1237.90 c #Conflicts: 717000 | #Constraints: 50751
1234.71/1237.90 c #Conflicts: 718000 | #Constraints: 51751
1234.71/1237.90 c #Conflicts: 719000 | #Constraints: 52751
1234.71/1237.90 c #Conflicts: 720000 | #Constraints: 53751
1234.71/1237.90 c #Conflicts: 721000 | #Constraints: 54751
1234.71/1237.90 c #Conflicts: 722000 | #Constraints: 55751
1234.71/1237.90 c INPROCESSING
1234.71/1237.90 c GARBAGE COLLECT
1234.71/1237.90 c rational objective 19
1274.11/1277.42 c #Conflicts: 723000 | #Constraints: 39905
1274.11/1277.42 c #Conflicts: 724000 | #Constraints: 40905
1274.11/1277.42 c #Conflicts: 725000 | #Constraints: 41905
1274.11/1277.42 c #Conflicts: 726000 | #Constraints: 42905
1274.11/1277.42 c #Conflicts: 727000 | #Constraints: 43905
1274.11/1277.42 c #Conflicts: 728000 | #Constraints: 44905
1274.11/1277.42 c #Conflicts: 729000 | #Constraints: 45905
1274.11/1277.42 c #Conflicts: 730000 | #Constraints: 46905
1274.11/1277.42 c #Conflicts: 731000 | #Constraints: 47905
1274.11/1277.42 c #Conflicts: 732000 | #Constraints: 48905
1274.11/1277.42 c #Conflicts: 733000 | #Constraints: 49905
1274.11/1277.42 c #Conflicts: 734000 | #Constraints: 50905
1274.11/1277.42 c #Conflicts: 735000 | #Constraints: 51905
1274.11/1277.42 c #Conflicts: 736000 | #Constraints: 52905
1274.11/1277.42 c #Conflicts: 737000 | #Constraints: 53905
1274.11/1277.42 c #Conflicts: 738000 | #Constraints: 54905
1274.11/1277.42 c #Conflicts: 739000 | #Constraints: 55905
1274.11/1277.42 c INPROCESSING
1274.11/1277.42 c GARBAGE COLLECT
1274.11/1277.42 c rational objective 19
1310.63/1314.00 c #Conflicts: 740000 | #Constraints: 39972
1310.63/1314.00 c #Conflicts: 741000 | #Constraints: 40972
1310.63/1314.00 c #Conflicts: 742000 | #Constraints: 41972
1310.63/1314.00 c #Conflicts: 743000 | #Constraints: 42972
1310.63/1314.00 c #Conflicts: 744000 | #Constraints: 43972
1310.63/1314.00 c #Conflicts: 745000 | #Constraints: 44972
1310.63/1314.00 c #Conflicts: 746000 | #Constraints: 45972
1310.63/1314.00 c #Conflicts: 747000 | #Constraints: 46972
1310.63/1314.00 c #Conflicts: 748000 | #Constraints: 47972
1310.63/1314.00 c #Conflicts: 749000 | #Constraints: 48972
1310.63/1314.00 c #Conflicts: 750000 | #Constraints: 49972
1310.63/1314.00 c #Conflicts: 751000 | #Constraints: 50972
1310.63/1314.00 c #Conflicts: 752000 | #Constraints: 51972
1310.63/1314.00 c #Conflicts: 753000 | #Constraints: 52972
1310.63/1314.00 c #Conflicts: 754000 | #Constraints: 53972
1310.63/1314.00 c #Conflicts: 755000 | #Constraints: 54972
1310.63/1314.00 c #Conflicts: 756000 | #Constraints: 55972
1310.63/1314.00 c INPROCESSING
1310.63/1314.00 c GARBAGE COLLECT
1310.63/1314.00 c rational objective 19
1346.44/1349.94 c #Conflicts: 757000 | #Constraints: 39821
1346.44/1349.94 c #Conflicts: 758000 | #Constraints: 40821
1346.44/1349.94 c #Conflicts: 759000 | #Constraints: 41821
1346.44/1349.94 c #Conflicts: 760000 | #Constraints: 42821
1346.44/1349.94 c #Conflicts: 761000 | #Constraints: 43821
1346.44/1349.94 c #Conflicts: 762000 | #Constraints: 44821
1346.44/1349.94 c #Conflicts: 763000 | #Constraints: 45821
1346.44/1349.94 c #Conflicts: 764000 | #Constraints: 46821
1346.44/1349.94 c #Conflicts: 765000 | #Constraints: 47821
1346.44/1349.94 c #Conflicts: 766000 | #Constraints: 48821
1346.44/1349.94 c #Conflicts: 767000 | #Constraints: 49821
1346.44/1349.94 c #Conflicts: 768000 | #Constraints: 50821
1346.44/1349.94 c #Conflicts: 769000 | #Constraints: 51821
1346.44/1349.94 c #Conflicts: 770000 | #Constraints: 52821
1346.44/1349.94 c #Conflicts: 771000 | #Constraints: 53821
1346.44/1349.94 c #Conflicts: 772000 | #Constraints: 54821
1346.44/1349.94 c #Conflicts: 773000 | #Constraints: 55821
1346.44/1349.94 c #Conflicts: 774000 | #Constraints: 56821
1346.44/1349.94 c INPROCESSING
1346.44/1349.94 c GARBAGE COLLECT
1346.44/1349.94 c rational objective 19
1384.96/1388.58 c #Conflicts: 775000 | #Constraints: 40374
1384.96/1388.58 c #Conflicts: 776000 | #Constraints: 41374
1384.96/1388.58 c #Conflicts: 777000 | #Constraints: 42374
1384.96/1388.58 c #Conflicts: 778000 | #Constraints: 43374
1384.96/1388.58 c #Conflicts: 779000 | #Constraints: 44374
1384.96/1388.58 c #Conflicts: 780000 | #Constraints: 45374
1384.96/1388.58 c #Conflicts: 781000 | #Constraints: 46374
1384.96/1388.58 c #Conflicts: 782000 | #Constraints: 47374
1384.96/1388.58 c #Conflicts: 783000 | #Constraints: 48374
1384.96/1388.58 c #Conflicts: 784000 | #Constraints: 49374
1384.96/1388.58 c #Conflicts: 785000 | #Constraints: 50374
1384.96/1388.58 c #Conflicts: 786000 | #Constraints: 51374
1384.96/1388.58 c #Conflicts: 787000 | #Constraints: 52374
1384.96/1388.58 c #Conflicts: 788000 | #Constraints: 53374
1384.96/1388.58 c #Conflicts: 789000 | #Constraints: 54374
1384.96/1388.58 c #Conflicts: 790000 | #Constraints: 55374
1384.96/1388.58 c #Conflicts: 791000 | #Constraints: 56374
1384.96/1388.58 c #Conflicts: 792000 | #Constraints: 57374
1384.96/1388.58 c INPROCESSING
1384.96/1388.58 c GARBAGE COLLECT
1384.96/1388.58 c rational objective 19
1422.88/1426.58 c #Conflicts: 793000 | #Constraints: 40809
1422.88/1426.58 c #Conflicts: 794000 | #Constraints: 41809
1422.88/1426.58 c #Conflicts: 795000 | #Constraints: 42809
1422.88/1426.58 c #Conflicts: 796000 | #Constraints: 43809
1422.88/1426.58 c #Conflicts: 797000 | #Constraints: 44809
1422.88/1426.58 c #Conflicts: 798000 | #Constraints: 45809
1422.88/1426.58 c #Conflicts: 799000 | #Constraints: 46809
1422.88/1426.58 c #Conflicts: 800000 | #Constraints: 47809
1422.88/1426.58 c #Conflicts: 801000 | #Constraints: 48809
1422.88/1426.58 c #Conflicts: 802000 | #Constraints: 49809
1422.88/1426.58 c #Conflicts: 803000 | #Constraints: 50809
1422.88/1426.58 c #Conflicts: 804000 | #Constraints: 51809
1422.88/1426.58 c #Conflicts: 805000 | #Constraints: 52809
1422.88/1426.58 c #Conflicts: 806000 | #Constraints: 53809
1422.88/1426.58 c #Conflicts: 807000 | #Constraints: 54809
1422.88/1426.58 c #Conflicts: 808000 | #Constraints: 55809
1422.88/1426.58 c #Conflicts: 809000 | #Constraints: 56809
1422.88/1426.58 c #Conflicts: 810000 | #Constraints: 57809
1422.88/1426.58 c INPROCESSING
1422.88/1426.58 c GARBAGE COLLECT
1422.88/1426.58 c rational objective 19
1462.59/1466.36 c #Conflicts: 811000 | #Constraints: 41035
1462.59/1466.36 c #Conflicts: 812000 | #Constraints: 42035
1462.59/1466.36 c #Conflicts: 813000 | #Constraints: 43035
1462.59/1466.36 c #Conflicts: 814000 | #Constraints: 44035
1462.59/1466.36 c #Conflicts: 815000 | #Constraints: 45035
1462.59/1466.36 c #Conflicts: 816000 | #Constraints: 46035
1462.59/1466.36 c #Conflicts: 817000 | #Constraints: 47035
1462.59/1466.36 c #Conflicts: 818000 | #Constraints: 48035
1462.59/1466.36 c #Conflicts: 819000 | #Constraints: 49035
1462.59/1466.36 c #Conflicts: 820000 | #Constraints: 50035
1462.59/1466.36 c #Conflicts: 821000 | #Constraints: 51035
1462.59/1466.36 c #Conflicts: 822000 | #Constraints: 52035
1462.59/1466.36 c #Conflicts: 823000 | #Constraints: 53035
1462.59/1466.36 c #Conflicts: 824000 | #Constraints: 54035
1462.59/1466.36 c #Conflicts: 825000 | #Constraints: 55035
1462.59/1466.36 c #Conflicts: 826000 | #Constraints: 56035
1462.59/1466.36 c #Conflicts: 827000 | #Constraints: 57035
1462.59/1466.36 c #Conflicts: 828000 | #Constraints: 58035
1462.59/1466.36 c INPROCESSING
1462.59/1466.36 c GARBAGE COLLECT
1462.59/1466.36 c rational objective 19
1502.00/1505.86 c #Conflicts: 829000 | #Constraints: 40970
1502.00/1505.86 c #Conflicts: 830000 | #Constraints: 41970
1502.00/1505.86 c #Conflicts: 831000 | #Constraints: 42970
1502.00/1505.86 c #Conflicts: 832000 | #Constraints: 43970
1502.00/1505.86 c #Conflicts: 833000 | #Constraints: 44970
1502.00/1505.86 c #Conflicts: 834000 | #Constraints: 45970
1502.00/1505.86 c #Conflicts: 835000 | #Constraints: 46970
1502.00/1505.86 c #Conflicts: 836000 | #Constraints: 47970
1502.00/1505.86 c #Conflicts: 837000 | #Constraints: 48970
1502.00/1505.86 c #Conflicts: 838000 | #Constraints: 49970
1502.00/1505.86 c #Conflicts: 839000 | #Constraints: 50970
1502.00/1505.86 c #Conflicts: 840000 | #Constraints: 51970
1502.00/1505.86 c #Conflicts: 841000 | #Constraints: 52970
1502.00/1505.86 c #Conflicts: 842000 | #Constraints: 53970
1502.00/1505.86 c #Conflicts: 843000 | #Constraints: 54970
1502.00/1505.86 c #Conflicts: 844000 | #Constraints: 55970
1502.00/1505.86 c #Conflicts: 845000 | #Constraints: 56970
1502.00/1505.86 c #Conflicts: 846000 | #Constraints: 57970
1502.00/1505.86 c INPROCESSING
1502.00/1505.86 c GARBAGE COLLECT
1502.00/1505.86 c rational objective 19
1537.53/1541.49 c #Conflicts: 847000 | #Constraints: 40701
1537.53/1541.49 c #Conflicts: 848000 | #Constraints: 41701
1537.53/1541.49 c #Conflicts: 849000 | #Constraints: 42701
1537.53/1541.49 c #Conflicts: 850000 | #Constraints: 43701
1537.53/1541.49 c #Conflicts: 851000 | #Constraints: 44701
1537.53/1541.49 c #Conflicts: 852000 | #Constraints: 45701
1537.53/1541.49 c #Conflicts: 853000 | #Constraints: 46701
1537.53/1541.49 c #Conflicts: 854000 | #Constraints: 47701
1537.53/1541.49 c #Conflicts: 855000 | #Constraints: 48701
1537.53/1541.49 c #Conflicts: 856000 | #Constraints: 49701
1537.53/1541.49 c #Conflicts: 857000 | #Constraints: 50701
1537.53/1541.49 c #Conflicts: 858000 | #Constraints: 51701
1537.53/1541.49 c #Conflicts: 859000 | #Constraints: 52701
1537.53/1541.49 c #Conflicts: 860000 | #Constraints: 53701
1537.53/1541.49 c #Conflicts: 861000 | #Constraints: 54701
1537.53/1541.49 c #Conflicts: 862000 | #Constraints: 55701
1537.53/1541.49 c #Conflicts: 863000 | #Constraints: 56701
1537.53/1541.49 c #Conflicts: 864000 | #Constraints: 57701
1537.53/1541.49 c #Conflicts: 865000 | #Constraints: 58701
1537.53/1541.49 c INPROCESSING
1537.53/1541.49 c GARBAGE COLLECT
1537.53/1541.49 c rational objective 19
1574.64/1578.61 c #Conflicts: 866000 | #Constraints: 41311
1574.64/1578.61 c #Conflicts: 867000 | #Constraints: 42311
1574.64/1578.61 c #Conflicts: 868000 | #Constraints: 43311
1574.64/1578.61 c #Conflicts: 869000 | #Constraints: 44311
1574.64/1578.61 c #Conflicts: 870000 | #Constraints: 45311
1574.64/1578.61 c #Conflicts: 871000 | #Constraints: 46311
1574.64/1578.61 c #Conflicts: 872000 | #Constraints: 47311
1574.64/1578.61 c #Conflicts: 873000 | #Constraints: 48311
1574.64/1578.61 c #Conflicts: 874000 | #Constraints: 49311
1574.64/1578.61 c #Conflicts: 875000 | #Constraints: 50311
1574.64/1578.61 c #Conflicts: 876000 | #Constraints: 51311
1574.64/1578.61 c #Conflicts: 877000 | #Constraints: 52311
1574.64/1578.61 c #Conflicts: 878000 | #Constraints: 53311
1574.64/1578.61 c #Conflicts: 879000 | #Constraints: 54311
1574.64/1578.61 c #Conflicts: 880000 | #Constraints: 55311
1574.64/1578.61 c #Conflicts: 881000 | #Constraints: 56311
1574.64/1578.61 c #Conflicts: 882000 | #Constraints: 57311
1574.64/1578.61 c #Conflicts: 883000 | #Constraints: 58311
1574.64/1578.61 c #Conflicts: 884000 | #Constraints: 59311
1574.64/1578.61 c INPROCESSING
1574.64/1578.61 c GARBAGE COLLECT
1574.64/1578.61 c rational objective 19
1613.65/1617.74 c #Conflicts: 885000 | #Constraints: 41740
1613.65/1617.74 c #Conflicts: 886000 | #Constraints: 42740
1613.65/1617.74 c #Conflicts: 887000 | #Constraints: 43740
1613.65/1617.74 c #Conflicts: 888000 | #Constraints: 44741
1613.65/1617.74 c #Conflicts: 889000 | #Constraints: 45742
1613.65/1617.74 c #Conflicts: 890000 | #Constraints: 46814
1613.65/1617.74 c #Conflicts: 891000 | #Constraints: 47814
1613.65/1617.74 c #Conflicts: 892000 | #Constraints: 48899
1613.65/1617.74 c #Conflicts: 893000 | #Constraints: 49899
1613.65/1617.74 c #Conflicts: 894000 | #Constraints: 50899
1613.65/1617.74 c #Conflicts: 895000 | #Constraints: 51901
1613.65/1617.74 c #Conflicts: 896000 | #Constraints: 52902
1613.65/1617.74 c #Conflicts: 897000 | #Constraints: 53902
1613.65/1617.74 c #Conflicts: 898000 | #Constraints: 54902
1613.65/1617.74 c #Conflicts: 899000 | #Constraints: 55902
1613.65/1617.74 c #Conflicts: 900000 | #Constraints: 56902
1613.65/1617.74 c #Conflicts: 901000 | #Constraints: 57902
1613.65/1617.74 c #Conflicts: 902000 | #Constraints: 58902
1613.65/1617.74 c #Conflicts: 903000 | #Constraints: 59902
1613.65/1617.74 c INPROCESSING
1613.65/1617.74 c GARBAGE COLLECT
1613.65/1617.74 c rational objective 19
1653.36/1657.53 c #Conflicts: 904000 | #Constraints: 42098
1653.36/1657.53 c #Conflicts: 905000 | #Constraints: 43098
1653.36/1657.53 c #Conflicts: 906000 | #Constraints: 44098
1653.36/1657.53 c #Conflicts: 907000 | #Constraints: 45098
1653.36/1657.53 c #Conflicts: 908000 | #Constraints: 46098
1653.36/1657.53 c #Conflicts: 909000 | #Constraints: 47098
1653.36/1657.53 c #Conflicts: 910000 | #Constraints: 48098
1653.36/1657.53 c #Conflicts: 911000 | #Constraints: 49098
1653.36/1657.53 c #Conflicts: 912000 | #Constraints: 50098
1653.36/1657.53 c #Conflicts: 913000 | #Constraints: 51098
1653.36/1657.53 c #Conflicts: 914000 | #Constraints: 52098
1653.36/1657.53 c #Conflicts: 915000 | #Constraints: 53098
1653.36/1657.53 c #Conflicts: 916000 | #Constraints: 54098
1653.36/1657.53 c #Conflicts: 917000 | #Constraints: 55098
1653.36/1657.53 c #Conflicts: 918000 | #Constraints: 56098
1653.36/1657.53 c #Conflicts: 919000 | #Constraints: 57098
1653.36/1657.53 c #Conflicts: 920000 | #Constraints: 58098
1653.36/1657.53 c #Conflicts: 921000 | #Constraints: 59098
1653.36/1657.53 c #Conflicts: 922000 | #Constraints: 60098
1653.36/1657.53 c INPROCESSING
1653.36/1657.53 c GARBAGE COLLECT
1653.36/1657.53 c rational objective 19
1693.88/1698.14 c #Conflicts: 923000 | #Constraints: 42070
1693.88/1698.14 c #Conflicts: 924000 | #Constraints: 43070
1693.88/1698.14 c #Conflicts: 925000 | #Constraints: 44070
1693.88/1698.14 c #Conflicts: 926000 | #Constraints: 45070
1693.88/1698.14 c #Conflicts: 927000 | #Constraints: 46070
1693.88/1698.14 c #Conflicts: 928000 | #Constraints: 47070
1693.88/1698.14 c #Conflicts: 929000 | #Constraints: 48070
1693.88/1698.14 c #Conflicts: 930000 | #Constraints: 49070
1693.88/1698.14 c #Conflicts: 931000 | #Constraints: 50070
1693.88/1698.14 c #Conflicts: 932000 | #Constraints: 51070
1693.88/1698.14 c #Conflicts: 933000 | #Constraints: 52070
1693.88/1698.14 c #Conflicts: 934000 | #Constraints: 53070
1693.88/1698.14 c #Conflicts: 935000 | #Constraints: 54070
1693.88/1698.14 c #Conflicts: 936000 | #Constraints: 55070
1693.88/1698.14 c #Conflicts: 937000 | #Constraints: 56070
1693.88/1698.14 c #Conflicts: 938000 | #Constraints: 57070
1693.88/1698.14 c #Conflicts: 939000 | #Constraints: 58070
1693.88/1698.14 c #Conflicts: 940000 | #Constraints: 59070
1693.88/1698.14 c #Conflicts: 941000 | #Constraints: 60070
1693.88/1698.14 c INPROCESSING
1693.88/1698.14 c GARBAGE COLLECT
1693.88/1698.14 c rational objective 19
1738.27/1742.63 c #Conflicts: 942000 | #Constraints: 41859
1738.27/1742.63 c #Conflicts: 943000 | #Constraints: 42859
1738.27/1742.63 c #Conflicts: 944000 | #Constraints: 43859
1738.27/1742.63 c #Conflicts: 945000 | #Constraints: 44859
1738.27/1742.63 c #Conflicts: 946000 | #Constraints: 45859
1738.27/1742.63 c #Conflicts: 947000 | #Constraints: 46860
1738.27/1742.63 c #Conflicts: 948000 | #Constraints: 47860
1738.27/1742.63 c #Conflicts: 949000 | #Constraints: 48861
1738.27/1742.63 c #Conflicts: 950000 | #Constraints: 49861
1738.27/1742.63 c #Conflicts: 951000 | #Constraints: 50861
1738.27/1742.63 c #Conflicts: 952000 | #Constraints: 51862
1738.27/1742.63 c #Conflicts: 953000 | #Constraints: 52868
1738.27/1742.63 c #Conflicts: 954000 | #Constraints: 53871
1738.27/1742.63 c #Conflicts: 955000 | #Constraints: 54871
1738.27/1742.63 c #Conflicts: 956000 | #Constraints: 55871
1738.27/1742.63 c #Conflicts: 957000 | #Constraints: 56871
1738.27/1742.63 c #Conflicts: 958000 | #Constraints: 57871
1738.27/1742.63 c #Conflicts: 959000 | #Constraints: 58871
1738.27/1742.63 c #Conflicts: 960000 | #Constraints: 59871
1738.27/1742.63 c #Conflicts: 961000 | #Constraints: 60871
1738.27/1742.63 c INPROCESSING
1738.27/1742.63 c GARBAGE COLLECT
1738.27/1742.63 c rational objective 19
1780.88/1785.33 c #Conflicts: 962000 | #Constraints: 42411
1780.88/1785.33 c #Conflicts: 963000 | #Constraints: 43411
1780.88/1785.33 c #Conflicts: 964000 | #Constraints: 44411
1780.88/1785.33 c #Conflicts: 965000 | #Constraints: 45411
1780.88/1785.33 c #Conflicts: 966000 | #Constraints: 46411
1780.88/1785.33 c #Conflicts: 967000 | #Constraints: 47411
1780.88/1785.33 c #Conflicts: 968000 | #Constraints: 48411
1780.88/1785.33 c #Conflicts: 969000 | #Constraints: 49411
1780.88/1785.33 c #Conflicts: 970000 | #Constraints: 50412
1780.88/1785.33 c #Conflicts: 971000 | #Constraints: 51412
1780.88/1785.33 c #Conflicts: 972000 | #Constraints: 52412
1780.88/1785.33 c #Conflicts: 973000 | #Constraints: 53412
1780.88/1785.33 c #Conflicts: 974000 | #Constraints: 54414
1780.88/1785.33 c #Conflicts: 975000 | #Constraints: 55415
1780.88/1785.33 c #Conflicts: 976000 | #Constraints: 56417
1780.88/1785.33 c #Conflicts: 977000 | #Constraints: 57420
1780.88/1785.33 c #Conflicts: 978000 | #Constraints: 58420
1780.88/1785.33 c #Conflicts: 979000 | #Constraints: 59420
1780.88/1785.33 c #Conflicts: 980000 | #Constraints: 60420
1780.88/1785.33 c #Conflicts: 981000 | #Constraints: 61420
1780.88/1785.33 c INPROCESSING
1780.88/1785.33 c GARBAGE COLLECT
1780.88/1785.33 c rational objective 19
1824.38/1828.99 c #Conflicts: 982000 | #Constraints: 42800
1824.38/1828.99 c #Conflicts: 983000 | #Constraints: 43800
1824.38/1828.99 c #Conflicts: 984000 | #Constraints: 44800
1824.38/1828.99 c #Conflicts: 985000 | #Constraints: 45800
1824.38/1828.99 c #Conflicts: 986000 | #Constraints: 46800
1824.38/1828.99 c #Conflicts: 987000 | #Constraints: 47801
1824.38/1828.99 c #Conflicts: 988000 | #Constraints: 48801
1824.38/1828.99 c #Conflicts: 989000 | #Constraints: 49801
1824.38/1828.99 c #Conflicts: 990000 | #Constraints: 50801
1824.38/1828.99 c #Conflicts: 991000 | #Constraints: 51801
1824.38/1828.99 c #Conflicts: 992000 | #Constraints: 52802
1824.38/1828.99 c #Conflicts: 993000 | #Constraints: 53802
1824.38/1828.99 c #Conflicts: 994000 | #Constraints: 54803
1824.38/1828.99 c #Conflicts: 995000 | #Constraints: 55805
1824.38/1828.99 c #Conflicts: 996000 | #Constraints: 56805
1824.38/1828.99 c #Conflicts: 997000 | #Constraints: 57805
1824.38/1828.99 c #Conflicts: 998000 | #Constraints: 58805
1824.38/1828.99 c #Conflicts: 999000 | #Constraints: 59805
1824.38/1828.99 c #Conflicts: 1000000 | #Constraints: 60805
1824.38/1828.99 c #Conflicts: 1001000 | #Constraints: 61805
1824.38/1828.99 c INPROCESSING
1824.38/1828.99 c GARBAGE COLLECT
1824.38/1828.99 c rational objective 19
1870.18/1874.82 c #Conflicts: 1002000 | #Constraints: 42956
1870.18/1874.82 c #Conflicts: 1003000 | #Constraints: 43956
1870.18/1874.82 c #Conflicts: 1004000 | #Constraints: 44956
1870.18/1874.82 c #Conflicts: 1005000 | #Constraints: 45956
1870.18/1874.82 c #Conflicts: 1006000 | #Constraints: 46956
1870.18/1874.82 c #Conflicts: 1007000 | #Constraints: 47956
1870.18/1874.82 c #Conflicts: 1008000 | #Constraints: 48956
1870.18/1874.82 c #Conflicts: 1009000 | #Constraints: 49956
1870.18/1874.82 c #Conflicts: 1010000 | #Constraints: 50956
1870.18/1874.82 c #Conflicts: 1011000 | #Constraints: 51956
1870.18/1874.82 c #Conflicts: 1012000 | #Constraints: 52956
1870.18/1874.82 c #Conflicts: 1013000 | #Constraints: 53956
1870.18/1874.82 c #Conflicts: 1014000 | #Constraints: 54956
1870.18/1874.82 c #Conflicts: 1015000 | #Constraints: 55956
1870.18/1874.82 c #Conflicts: 1016000 | #Constraints: 56956
1870.18/1874.82 c #Conflicts: 1017000 | #Constraints: 57956
1870.18/1874.82 c #Conflicts: 1018000 | #Constraints: 58956
1870.18/1874.82 c #Conflicts: 1019000 | #Constraints: 59956
1870.18/1874.82 c #Conflicts: 1020000 | #Constraints: 60956
1870.18/1874.82 c #Conflicts: 1021000 | #Constraints: 61956
1870.18/1874.82 c INPROCESSING
1870.18/1874.82 c GARBAGE COLLECT
1870.18/1874.82 c rational objective 19
1920.06/1924.89 c #Conflicts: 1022000 | #Constraints: 42946
1920.06/1924.89 c #Conflicts: 1023000 | #Constraints: 43946
1920.06/1924.89 c #Conflicts: 1024000 | #Constraints: 44946
1920.06/1924.89 c #Conflicts: 1025000 | #Constraints: 45946
1920.06/1924.89 c #Conflicts: 1026000 | #Constraints: 46946
1920.06/1924.89 c #Conflicts: 1027000 | #Constraints: 47946
1920.06/1924.89 c #Conflicts: 1028000 | #Constraints: 48946
1920.06/1924.89 c #Conflicts: 1029000 | #Constraints: 49946
1920.06/1924.89 c #Conflicts: 1030000 | #Constraints: 50946
1920.06/1924.89 c #Conflicts: 1031000 | #Constraints: 51946
1920.06/1924.89 c #Conflicts: 1032000 | #Constraints: 52946
1920.06/1924.89 c #Conflicts: 1033000 | #Constraints: 53946
1920.06/1924.89 c #Conflicts: 1034000 | #Constraints: 54946
1920.06/1924.89 c #Conflicts: 1035000 | #Constraints: 55946
1920.06/1924.89 c #Conflicts: 1036000 | #Constraints: 56946
1920.06/1924.89 c #Conflicts: 1037000 | #Constraints: 57946
1920.06/1924.89 c #Conflicts: 1038000 | #Constraints: 58946
1920.06/1924.89 c #Conflicts: 1039000 | #Constraints: 59946
1920.06/1924.89 c #Conflicts: 1040000 | #Constraints: 60946
1920.06/1924.89 c #Conflicts: 1041000 | #Constraints: 61946
1920.06/1924.89 c INPROCESSING
1920.06/1924.89 c GARBAGE COLLECT
1920.06/1924.89 c rational objective 19
1964.37/1969.29 c #Conflicts: 1042000 | #Constraints: 42766
1964.37/1969.29 c #Conflicts: 1043000 | #Constraints: 43766
1964.37/1969.29 c #Conflicts: 1044000 | #Constraints: 44766
1964.37/1969.29 c #Conflicts: 1045000 | #Constraints: 45766
1964.37/1969.29 c #Conflicts: 1046000 | #Constraints: 46766
1964.37/1969.29 c #Conflicts: 1047000 | #Constraints: 47766
1964.37/1969.29 c #Conflicts: 1048000 | #Constraints: 48766
1964.37/1969.29 c #Conflicts: 1049000 | #Constraints: 49766
1964.37/1969.29 c #Conflicts: 1050000 | #Constraints: 50766
1964.37/1969.29 c #Conflicts: 1051000 | #Constraints: 51766
1964.37/1969.29 c #Conflicts: 1052000 | #Constraints: 52766
1964.37/1969.29 c #Conflicts: 1053000 | #Constraints: 53766
1964.37/1969.29 c #Conflicts: 1054000 | #Constraints: 54766
1964.37/1969.29 c #Conflicts: 1055000 | #Constraints: 55766
1964.37/1969.29 c #Conflicts: 1056000 | #Constraints: 56766
1964.37/1969.29 c #Conflicts: 1057000 | #Constraints: 57766
1964.37/1969.29 c #Conflicts: 1058000 | #Constraints: 58766
1964.37/1969.29 c #Conflicts: 1059000 | #Constraints: 59766
1964.37/1969.29 c #Conflicts: 1060000 | #Constraints: 60766
1964.37/1969.29 c #Conflicts: 1061000 | #Constraints: 61766
1964.37/1969.29 c #Conflicts: 1062000 | #Constraints: 62766
1964.37/1969.29 c INPROCESSING
1964.37/1969.29 c GARBAGE COLLECT
1964.37/1969.29 c rational objective 19
2018.34/2023.36 c #Conflicts: 1063000 | #Constraints: 43317
2018.34/2023.36 c #Conflicts: 1064000 | #Constraints: 44317
2018.34/2023.36 c #Conflicts: 1065000 | #Constraints: 45317
2018.34/2023.36 c #Conflicts: 1066000 | #Constraints: 46317
2018.34/2023.36 c #Conflicts: 1067000 | #Constraints: 47317
2018.34/2023.36 c #Conflicts: 1068000 | #Constraints: 48317
2018.34/2023.36 c #Conflicts: 1069000 | #Constraints: 49317
2018.34/2023.36 c #Conflicts: 1070000 | #Constraints: 50317
2018.34/2023.36 c #Conflicts: 1071000 | #Constraints: 51317
2018.34/2023.36 c #Conflicts: 1072000 | #Constraints: 52317
2018.34/2023.36 c #Conflicts: 1073000 | #Constraints: 53317
2018.34/2023.36 c #Conflicts: 1074000 | #Constraints: 54317
2018.34/2023.36 c #Conflicts: 1075000 | #Constraints: 55317
2018.34/2023.36 c #Conflicts: 1076000 | #Constraints: 56317
2018.34/2023.36 c #Conflicts: 1077000 | #Constraints: 57317
2018.34/2023.36 c #Conflicts: 1078000 | #Constraints: 58317
2018.34/2023.36 c #Conflicts: 1079000 | #Constraints: 59317
2018.34/2023.36 c #Conflicts: 1080000 | #Constraints: 60317
2018.34/2023.36 c #Conflicts: 1081000 | #Constraints: 61317
2018.34/2023.36 c #Conflicts: 1082000 | #Constraints: 62317
2018.34/2023.36 c #Conflicts: 1083000 | #Constraints: 63317
2018.34/2023.36 c INPROCESSING
2018.34/2023.36 c GARBAGE COLLECT
2018.34/2023.36 c rational objective 19
2068.33/2073.45 c #Conflicts: 1084000 | #Constraints: 43679
2068.33/2073.45 c #Conflicts: 1085000 | #Constraints: 44679
2068.33/2073.45 c #Conflicts: 1086000 | #Constraints: 45679
2068.33/2073.45 c #Conflicts: 1087000 | #Constraints: 46679
2068.33/2073.45 c #Conflicts: 1088000 | #Constraints: 47679
2068.33/2073.45 c #Conflicts: 1089000 | #Constraints: 48679
2068.33/2073.45 c #Conflicts: 1090000 | #Constraints: 49679
2068.33/2073.45 c #Conflicts: 1091000 | #Constraints: 50679
2068.33/2073.45 c #Conflicts: 1092000 | #Constraints: 51679
2068.33/2073.45 c #Conflicts: 1093000 | #Constraints: 52679
2068.33/2073.45 c #Conflicts: 1094000 | #Constraints: 53679
2068.33/2073.45 c #Conflicts: 1095000 | #Constraints: 54679
2068.33/2073.45 c #Conflicts: 1096000 | #Constraints: 55679
2068.33/2073.45 c #Conflicts: 1097000 | #Constraints: 56679
2068.33/2073.45 c #Conflicts: 1098000 | #Constraints: 57679
2068.33/2073.45 c #Conflicts: 1099000 | #Constraints: 58679
2068.33/2073.45 c #Conflicts: 1100000 | #Constraints: 59679
2068.33/2073.45 c #Conflicts: 1101000 | #Constraints: 60679
2068.33/2073.45 c #Conflicts: 1102000 | #Constraints: 61679
2068.33/2073.45 c #Conflicts: 1103000 | #Constraints: 62679
2068.33/2073.45 c #Conflicts: 1104000 | #Constraints: 63679
2068.33/2073.45 c INPROCESSING
2068.33/2073.45 c GARBAGE COLLECT
2068.33/2073.45 c rational objective 19
2121.91/2127.19 c #Conflicts: 1105000 | #Constraints: 43951
2121.91/2127.19 c #Conflicts: 1106000 | #Constraints: 44951
2121.91/2127.19 c #Conflicts: 1107000 | #Constraints: 45951
2121.91/2127.19 c #Conflicts: 1108000 | #Constraints: 46951
2121.91/2127.19 c #Conflicts: 1109000 | #Constraints: 47951
2121.91/2127.19 c #Conflicts: 1110000 | #Constraints: 48951
2121.91/2127.19 c #Conflicts: 1111000 | #Constraints: 49951
2121.91/2127.19 c #Conflicts: 1112000 | #Constraints: 50951
2121.91/2127.19 c #Conflicts: 1113000 | #Constraints: 51951
2121.91/2127.19 c #Conflicts: 1114000 | #Constraints: 52951
2121.91/2127.19 c #Conflicts: 1115000 | #Constraints: 53951
2121.91/2127.19 c #Conflicts: 1116000 | #Constraints: 54951
2121.91/2127.19 c #Conflicts: 1117000 | #Constraints: 55951
2121.91/2127.19 c #Conflicts: 1118000 | #Constraints: 56951
2121.91/2127.19 c #Conflicts: 1119000 | #Constraints: 57951
2121.91/2127.19 c #Conflicts: 1120000 | #Constraints: 58951
2121.91/2127.19 c #Conflicts: 1121000 | #Constraints: 59951
2121.91/2127.19 c #Conflicts: 1122000 | #Constraints: 60951
2121.91/2127.19 c #Conflicts: 1123000 | #Constraints: 61951
2121.91/2127.19 c #Conflicts: 1124000 | #Constraints: 62951
2121.91/2127.19 c #Conflicts: 1125000 | #Constraints: 63951
2121.91/2127.19 c INPROCESSING
2121.91/2127.19 c GARBAGE COLLECT
2121.91/2127.19 c rational objective 19
2169.18/2174.56 c #Conflicts: 1126000 | #Constraints: 44009
2169.18/2174.56 c #Conflicts: 1127000 | #Constraints: 45009
2169.18/2174.56 c #Conflicts: 1128000 | #Constraints: 46009
2169.18/2174.56 c #Conflicts: 1129000 | #Constraints: 47009
2169.18/2174.56 c #Conflicts: 1130000 | #Constraints: 48009
2169.18/2174.56 c #Conflicts: 1131000 | #Constraints: 49009
2169.18/2174.56 c #Conflicts: 1132000 | #Constraints: 50009
2169.18/2174.56 c #Conflicts: 1133000 | #Constraints: 51009
2169.18/2174.56 c #Conflicts: 1134000 | #Constraints: 52009
2169.18/2174.56 c #Conflicts: 1135000 | #Constraints: 53009
2169.18/2174.56 c #Conflicts: 1136000 | #Constraints: 54009
2169.18/2174.56 c #Conflicts: 1137000 | #Constraints: 55009
2169.18/2174.56 c #Conflicts: 1138000 | #Constraints: 56009
2169.18/2174.56 c #Conflicts: 1139000 | #Constraints: 57009
2169.18/2174.56 c #Conflicts: 1140000 | #Constraints: 58009
2169.18/2174.56 c #Conflicts: 1141000 | #Constraints: 59009
2169.18/2174.56 c #Conflicts: 1142000 | #Constraints: 60009
2169.18/2174.56 c #Conflicts: 1143000 | #Constraints: 61009
2169.18/2174.56 c #Conflicts: 1144000 | #Constraints: 62009
2169.18/2174.56 c #Conflicts: 1145000 | #Constraints: 63009
2169.18/2174.56 c #Conflicts: 1146000 | #Constraints: 64009
2169.18/2174.56 c INPROCESSING
2169.18/2174.56 c GARBAGE COLLECT
2169.18/2174.56 c rational objective 19
2217.75/2223.27 c #Conflicts: 1147000 | #Constraints: 43880
2217.75/2223.27 c #Conflicts: 1148000 | #Constraints: 44880
2217.75/2223.27 c #Conflicts: 1149000 | #Constraints: 45880
2217.75/2223.27 c #Conflicts: 1150000 | #Constraints: 46880
2217.75/2223.27 c #Conflicts: 1151000 | #Constraints: 47880
2217.75/2223.27 c #Conflicts: 1152000 | #Constraints: 48880
2217.75/2223.27 c #Conflicts: 1153000 | #Constraints: 49880
2217.75/2223.27 c #Conflicts: 1154000 | #Constraints: 50880
2217.75/2223.27 c #Conflicts: 1155000 | #Constraints: 51880
2217.75/2223.27 c #Conflicts: 1156000 | #Constraints: 52880
2217.75/2223.27 c #Conflicts: 1157000 | #Constraints: 53880
2217.75/2223.27 c #Conflicts: 1158000 | #Constraints: 54880
2217.75/2223.27 c #Conflicts: 1159000 | #Constraints: 55880
2217.75/2223.27 c #Conflicts: 1160000 | #Constraints: 56880
2217.75/2223.27 c #Conflicts: 1161000 | #Constraints: 57880
2217.75/2223.27 c #Conflicts: 1162000 | #Constraints: 58880
2217.75/2223.27 c #Conflicts: 1163000 | #Constraints: 59880
2217.75/2223.27 c #Conflicts: 1164000 | #Constraints: 60880
2217.75/2223.27 c #Conflicts: 1165000 | #Constraints: 61880
2217.75/2223.27 c #Conflicts: 1166000 | #Constraints: 62880
2217.75/2223.27 c #Conflicts: 1167000 | #Constraints: 63880
2217.75/2223.27 c #Conflicts: 1168000 | #Constraints: 64880
2217.75/2223.27 c INPROCESSING
2217.75/2223.27 c GARBAGE COLLECT
2217.75/2223.27 c rational objective 19
2266.62/2272.28 c #Conflicts: 1169000 | #Constraints: 44365
2266.62/2272.28 c #Conflicts: 1170000 | #Constraints: 45365
2266.62/2272.28 c #Conflicts: 1171000 | #Constraints: 46365
2266.62/2272.28 c #Conflicts: 1172000 | #Constraints: 47365
2266.62/2272.28 c #Conflicts: 1173000 | #Constraints: 48365
2266.62/2272.28 c #Conflicts: 1174000 | #Constraints: 49365
2266.62/2272.28 c #Conflicts: 1175000 | #Constraints: 50365
2266.62/2272.28 c #Conflicts: 1176000 | #Constraints: 51365
2266.62/2272.28 c #Conflicts: 1177000 | #Constraints: 52365
2266.62/2272.28 c #Conflicts: 1178000 | #Constraints: 53365
2266.62/2272.28 c #Conflicts: 1179000 | #Constraints: 54365
2266.62/2272.28 c #Conflicts: 1180000 | #Constraints: 55365
2266.62/2272.28 c #Conflicts: 1181000 | #Constraints: 56365
2266.62/2272.28 c #Conflicts: 1182000 | #Constraints: 57365
2266.62/2272.28 c #Conflicts: 1183000 | #Constraints: 58365
2266.62/2272.28 c #Conflicts: 1184000 | #Constraints: 59365
2266.62/2272.28 c #Conflicts: 1185000 | #Constraints: 60365
2266.62/2272.28 c #Conflicts: 1186000 | #Constraints: 61365
2266.62/2272.28 c #Conflicts: 1187000 | #Constraints: 62365
2266.62/2272.28 c #Conflicts: 1188000 | #Constraints: 63365
2266.62/2272.28 c #Conflicts: 1189000 | #Constraints: 64365
2266.62/2272.28 c #Conflicts: 1190000 | #Constraints: 65365
2266.62/2272.28 c INPROCESSING
2266.62/2272.28 c GARBAGE COLLECT
2266.62/2272.28 c rational objective 19
2314.78/2320.59 c #Conflicts: 1191000 | #Constraints: 44788
2314.78/2320.59 c #Conflicts: 1192000 | #Constraints: 45788
2314.78/2320.59 c #Conflicts: 1193000 | #Constraints: 46788
2314.78/2320.59 c #Conflicts: 1194000 | #Constraints: 47788
2314.78/2320.59 c #Conflicts: 1195000 | #Constraints: 48788
2314.78/2320.59 c #Conflicts: 1196000 | #Constraints: 49788
2314.78/2320.59 c #Conflicts: 1197000 | #Constraints: 50788
2314.78/2320.59 c #Conflicts: 1198000 | #Constraints: 51788
2314.78/2320.59 c #Conflicts: 1199000 | #Constraints: 52788
2314.78/2320.59 c #Conflicts: 1200000 | #Constraints: 53788
2314.78/2320.59 c #Conflicts: 1201000 | #Constraints: 54788
2314.78/2320.59 c #Conflicts: 1202000 | #Constraints: 55788
2314.78/2320.59 c #Conflicts: 1203000 | #Constraints: 56788
2314.78/2320.59 c #Conflicts: 1204000 | #Constraints: 57788
2314.78/2320.59 c #Conflicts: 1205000 | #Constraints: 58788
2314.78/2320.59 c #Conflicts: 1206000 | #Constraints: 59788
2314.78/2320.59 c #Conflicts: 1207000 | #Constraints: 60788
2314.78/2320.59 c #Conflicts: 1208000 | #Constraints: 61788
2314.78/2320.59 c #Conflicts: 1209000 | #Constraints: 62788
2314.78/2320.59 c #Conflicts: 1210000 | #Constraints: 63788
2314.78/2320.59 c #Conflicts: 1211000 | #Constraints: 64788
2314.78/2320.59 c #Conflicts: 1212000 | #Constraints: 65788
2314.78/2320.59 c INPROCESSING
2314.78/2320.59 c GARBAGE COLLECT
2314.78/2320.59 c rational objective 19
2364.55/2370.43 c #Conflicts: 1213000 | #Constraints: 45132
2364.55/2370.43 c #Conflicts: 1214000 | #Constraints: 46132
2364.55/2370.43 c #Conflicts: 1215000 | #Constraints: 47132
2364.55/2370.43 c #Conflicts: 1216000 | #Constraints: 48132
2364.55/2370.43 c #Conflicts: 1217000 | #Constraints: 49132
2364.55/2370.43 c #Conflicts: 1218000 | #Constraints: 50132
2364.55/2370.43 c #Conflicts: 1219000 | #Constraints: 51132
2364.55/2370.43 c #Conflicts: 1220000 | #Constraints: 52132
2364.55/2370.43 c #Conflicts: 1221000 | #Constraints: 53132
2364.55/2370.43 c #Conflicts: 1222000 | #Constraints: 54132
2364.55/2370.43 c #Conflicts: 1223000 | #Constraints: 55132
2364.55/2370.43 c #Conflicts: 1224000 | #Constraints: 56132
2364.55/2370.43 c #Conflicts: 1225000 | #Constraints: 57132
2364.55/2370.43 c #Conflicts: 1226000 | #Constraints: 58132
2364.55/2370.43 c #Conflicts: 1227000 | #Constraints: 59132
2364.55/2370.43 c #Conflicts: 1228000 | #Constraints: 60132
2364.55/2370.43 c #Conflicts: 1229000 | #Constraints: 61132
2364.55/2370.43 c #Conflicts: 1230000 | #Constraints: 62132
2364.55/2370.43 c #Conflicts: 1231000 | #Constraints: 63132
2364.55/2370.43 c #Conflicts: 1232000 | #Constraints: 64132
2364.55/2370.43 c #Conflicts: 1233000 | #Constraints: 65132
2364.55/2370.43 c #Conflicts: 1234000 | #Constraints: 66132
2364.55/2370.43 c INPROCESSING
2364.55/2370.43 c GARBAGE COLLECT
2364.55/2370.43 c rational objective 19
2415.82/2421.83 c #Conflicts: 1235000 | #Constraints: 45098
2415.82/2421.83 c #Conflicts: 1236000 | #Constraints: 46098
2415.82/2421.83 c #Conflicts: 1237000 | #Constraints: 47098
2415.82/2421.83 c #Conflicts: 1238000 | #Constraints: 48098
2415.82/2421.83 c #Conflicts: 1239000 | #Constraints: 49098
2415.82/2421.83 c #Conflicts: 1240000 | #Constraints: 50098
2415.82/2421.83 c #Conflicts: 1241000 | #Constraints: 51098
2415.82/2421.83 c #Conflicts: 1242000 | #Constraints: 52098
2415.82/2421.83 c #Conflicts: 1243000 | #Constraints: 53098
2415.82/2421.83 c #Conflicts: 1244000 | #Constraints: 54098
2415.82/2421.83 c #Conflicts: 1245000 | #Constraints: 55098
2415.82/2421.83 c #Conflicts: 1246000 | #Constraints: 56098
2415.82/2421.83 c #Conflicts: 1247000 | #Constraints: 57098
2415.82/2421.83 c #Conflicts: 1248000 | #Constraints: 58098
2415.82/2421.83 c #Conflicts: 1249000 | #Constraints: 59098
2415.82/2421.83 c #Conflicts: 1250000 | #Constraints: 60098
2415.82/2421.83 c #Conflicts: 1251000 | #Constraints: 61098
2415.82/2421.83 c #Conflicts: 1252000 | #Constraints: 62098
2415.82/2421.83 c #Conflicts: 1253000 | #Constraints: 63098
2415.82/2421.83 c #Conflicts: 1254000 | #Constraints: 64098
2415.82/2421.83 c #Conflicts: 1255000 | #Constraints: 65098
2415.82/2421.83 c #Conflicts: 1256000 | #Constraints: 66098
2415.82/2421.83 c INPROCESSING
2415.82/2421.83 c GARBAGE COLLECT
2415.82/2421.83 c rational objective 19
2467.28/2473.48 c #Conflicts: 1257000 | #Constraints: 44867
2467.28/2473.48 c #Conflicts: 1258000 | #Constraints: 45867
2467.28/2473.48 c #Conflicts: 1259000 | #Constraints: 46867
2467.28/2473.48 c #Conflicts: 1260000 | #Constraints: 47867
2467.28/2473.48 c #Conflicts: 1261000 | #Constraints: 48867
2467.28/2473.48 c #Conflicts: 1262000 | #Constraints: 49867
2467.28/2473.48 c #Conflicts: 1263000 | #Constraints: 50867
2467.28/2473.48 c #Conflicts: 1264000 | #Constraints: 51867
2467.28/2473.48 c #Conflicts: 1265000 | #Constraints: 52867
2467.28/2473.48 c #Conflicts: 1266000 | #Constraints: 53867
2467.28/2473.48 c #Conflicts: 1267000 | #Constraints: 54867
2467.28/2473.48 c #Conflicts: 1268000 | #Constraints: 55867
2467.28/2473.48 c #Conflicts: 1269000 | #Constraints: 56867
2467.28/2473.48 c #Conflicts: 1270000 | #Constraints: 57867
2467.28/2473.48 c #Conflicts: 1271000 | #Constraints: 58867
2467.28/2473.48 c #Conflicts: 1272000 | #Constraints: 59867
2467.28/2473.48 c #Conflicts: 1273000 | #Constraints: 60867
2467.28/2473.48 c #Conflicts: 1274000 | #Constraints: 61867
2467.28/2473.48 c #Conflicts: 1275000 | #Constraints: 62867
2467.28/2473.48 c #Conflicts: 1276000 | #Constraints: 63867
2467.28/2473.48 c #Conflicts: 1277000 | #Constraints: 64867
2467.28/2473.48 c #Conflicts: 1278000 | #Constraints: 65867
2467.28/2473.48 c #Conflicts: 1279000 | #Constraints: 66867
2467.28/2473.48 c INPROCESSING
2467.28/2473.48 c GARBAGE COLLECT
2467.28/2473.48 c rational objective 19
2524.13/2530.46 c #Conflicts: 1280000 | #Constraints: 45460
2524.13/2530.46 c #Conflicts: 1281000 | #Constraints: 46460
2524.13/2530.46 c #Conflicts: 1282000 | #Constraints: 47460
2524.13/2530.46 c #Conflicts: 1283000 | #Constraints: 48460
2524.13/2530.46 c #Conflicts: 1284000 | #Constraints: 49460
2524.13/2530.46 c #Conflicts: 1285000 | #Constraints: 50460
2524.13/2530.46 c #Conflicts: 1286000 | #Constraints: 51460
2524.13/2530.46 c #Conflicts: 1287000 | #Constraints: 52460
2524.13/2530.46 c #Conflicts: 1288000 | #Constraints: 53460
2524.13/2530.46 c #Conflicts: 1289000 | #Constraints: 54460
2524.13/2530.46 c #Conflicts: 1290000 | #Constraints: 55460
2524.13/2530.46 c #Conflicts: 1291000 | #Constraints: 56460
2524.13/2530.46 c #Conflicts: 1292000 | #Constraints: 57460
2524.13/2530.46 c #Conflicts: 1293000 | #Constraints: 58460
2524.13/2530.46 c #Conflicts: 1294000 | #Constraints: 59460
2524.13/2530.46 c #Conflicts: 1295000 | #Constraints: 60460
2524.13/2530.46 c #Conflicts: 1296000 | #Constraints: 61460
2524.13/2530.46 c #Conflicts: 1297000 | #Constraints: 62460
2524.13/2530.46 c #Conflicts: 1298000 | #Constraints: 63460
2524.13/2530.46 c #Conflicts: 1299000 | #Constraints: 64460
2524.13/2530.46 c #Conflicts: 1300000 | #Constraints: 65460
2524.13/2530.46 c #Conflicts: 1301000 | #Constraints: 66460
2524.13/2530.46 c #Conflicts: 1302000 | #Constraints: 67460
2524.13/2530.46 c INPROCESSING
2524.13/2530.46 c GARBAGE COLLECT
2524.13/2530.46 c rational objective 19
2583.08/2589.50 c #Conflicts: 1303000 | #Constraints: 45861
2583.08/2589.50 c #Conflicts: 1304000 | #Constraints: 46861
2583.08/2589.50 c #Conflicts: 1305000 | #Constraints: 47861
2583.08/2589.50 c #Conflicts: 1306000 | #Constraints: 48861
2583.08/2589.50 c #Conflicts: 1307000 | #Constraints: 49861
2583.08/2589.50 c #Conflicts: 1308000 | #Constraints: 50861
2583.08/2589.50 c #Conflicts: 1309000 | #Constraints: 51861
2583.08/2589.50 c #Conflicts: 1310000 | #Constraints: 52861
2583.08/2589.50 c #Conflicts: 1311000 | #Constraints: 53861
2583.08/2589.50 c #Conflicts: 1312000 | #Constraints: 54861
2583.08/2589.50 c #Conflicts: 1313000 | #Constraints: 55861
2583.08/2589.50 c #Conflicts: 1314000 | #Constraints: 56861
2583.08/2589.50 c #Conflicts: 1315000 | #Constraints: 57861
2583.08/2589.50 c #Conflicts: 1316000 | #Constraints: 58861
2583.08/2589.50 c #Conflicts: 1317000 | #Constraints: 59861
2583.08/2589.50 c #Conflicts: 1318000 | #Constraints: 60861
2583.08/2589.50 c #Conflicts: 1319000 | #Constraints: 61861
2583.08/2589.50 c #Conflicts: 1320000 | #Constraints: 62861
2583.08/2589.50 c #Conflicts: 1321000 | #Constraints: 63861
2583.08/2589.50 c #Conflicts: 1322000 | #Constraints: 64861
2583.08/2589.50 c #Conflicts: 1323000 | #Constraints: 65861
2583.08/2589.50 c #Conflicts: 1324000 | #Constraints: 66861
2583.08/2589.50 c #Conflicts: 1325000 | #Constraints: 67861
2583.08/2589.50 c INPROCESSING
2583.08/2589.50 c GARBAGE COLLECT
2583.08/2589.50 c rational objective 19
2890.94/2898.20 c #Conflicts: 1326000 | #Constraints: 46072
2890.94/2898.20 c #Conflicts: 1327000 | #Constraints: 47072
2890.94/2898.20 c #Conflicts: 1328000 | #Constraints: 48072
2890.94/2898.20 c #Conflicts: 1329000 | #Constraints: 49072
2890.94/2898.20 c #Conflicts: 1330000 | #Constraints: 50072
2890.94/2898.20 c #Conflicts: 1331000 | #Constraints: 51072
2890.94/2898.20 c #Conflicts: 1332000 | #Constraints: 52072
2890.94/2898.20 c #Conflicts: 1333000 | #Constraints: 53072
2890.94/2898.20 c #Conflicts: 1334000 | #Constraints: 54072
2890.94/2898.20 c #Conflicts: 1335000 | #Constraints: 55072
2890.94/2898.20 c #Conflicts: 1336000 | #Constraints: 56072
2890.94/2898.20 c #Conflicts: 1337000 | #Constraints: 57072
2890.94/2898.20 c #Conflicts: 1338000 | #Constraints: 58072
2890.94/2898.20 c #Conflicts: 1339000 | #Constraints: 59072
2890.94/2898.20 c #Conflicts: 1340000 | #Constraints: 60072
2890.94/2898.20 c #Conflicts: 1341000 | #Constraints: 61072
2890.94/2898.20 c #Conflicts: 1342000 | #Constraints: 62072
2890.94/2898.20 c #Conflicts: 1343000 | #Constraints: 63072
2890.94/2898.20 c #Conflicts: 1344000 | #Constraints: 64072
2890.94/2898.20 c #Conflicts: 1345000 | #Constraints: 65072
2890.94/2898.20 c #Conflicts: 1346000 | #Constraints: 66072
2890.94/2898.20 c #Conflicts: 1347000 | #Constraints: 67072
2890.94/2898.20 c #Conflicts: 1348000 | #Constraints: 68072
2890.94/2898.20 c #Conflicts: 1349000 | #Constraints: 69072
2890.94/2898.20 c #Conflicts: 1350000 | #Constraints: 70072
2890.94/2898.20 c #Conflicts: 1351000 | #Constraints: 71072
2890.94/2898.20 c #Conflicts: 1352000 | #Constraints: 72072
2890.94/2898.20 c #Conflicts: 1353000 | #Constraints: 73072
2890.94/2898.20 c #Conflicts: 1354000 | #Constraints: 74072
2890.94/2898.20 c #Conflicts: 1355000 | #Constraints: 75072
2890.94/2898.20 c #Conflicts: 1356000 | #Constraints: 76072
2890.94/2898.20 c #Conflicts: 1357000 | #Constraints: 77072
2890.94/2898.20 c #Conflicts: 1358000 | #Constraints: 78072
2890.94/2898.20 c #Conflicts: 1359000 | #Constraints: 79072
2890.94/2898.20 c #Conflicts: 1360000 | #Constraints: 80072
2890.94/2898.20 c #Conflicts: 1361000 | #Constraints: 81072
2890.94/2898.20 c #Conflicts: 1362000 | #Constraints: 82072
2890.94/2898.20 c #Conflicts: 1363000 | #Constraints: 83072
2890.94/2898.20 c #Conflicts: 1364000 | #Constraints: 84072
2890.94/2898.20 c #Conflicts: 1365000 | #Constraints: 85072
2890.94/2898.20 c #Conflicts: 1366000 | #Constraints: 86072
2890.94/2898.20 c #Conflicts: 1367000 | #Constraints: 87072
2890.94/2898.20 c #Conflicts: 1368000 | #Constraints: 88072
2890.94/2898.20 c #Conflicts: 1369000 | #Constraints: 89072
2890.94/2898.20 c #Conflicts: 1370000 | #Constraints: 90072
2890.94/2898.20 c #Conflicts: 1371000 | #Constraints: 91072
2890.94/2898.20 c #Conflicts: 1372000 | #Constraints: 92072
2890.94/2898.20 c #Conflicts: 1373000 | #Constraints: 93072
2890.94/2898.20 c #Conflicts: 1374000 | #Constraints: 94072
2890.94/2898.20 c #Conflicts: 1375000 | #Constraints: 95072
2890.94/2898.20 c #Conflicts: 1376000 | #Constraints: 96072
2890.94/2898.20 c #Conflicts: 1377000 | #Constraints: 97072
2890.94/2898.20 c #Conflicts: 1378000 | #Constraints: 98072
2890.94/2898.20 c #Conflicts: 1379000 | #Constraints: 99072
2890.94/2898.20 c #Conflicts: 1380000 | #Constraints: 100072
2890.94/2898.20 c #Conflicts: 1381000 | #Constraints: 101072
2890.94/2898.20 c #Conflicts: 1382000 | #Constraints: 102072
2890.94/2898.20 c #Conflicts: 1383000 | #Constraints: 103072
2890.94/2898.20 c #Conflicts: 1384000 | #Constraints: 104072
2890.94/2898.20 c #Conflicts: 1385000 | #Constraints: 105072
2890.94/2898.20 c #Conflicts: 1386000 | #Constraints: 106072
2890.94/2898.20 c #Conflicts: 1387000 | #Constraints: 107072
2890.94/2898.20 c #Conflicts: 1388000 | #Constraints: 108072
2890.94/2898.20 c #Conflicts: 1389000 | #Constraints: 109072
2890.94/2898.20 c #Conflicts: 1390000 | #Constraints: 110072
2890.94/2898.20 c #Conflicts: 1391000 | #Constraints: 111072
2890.94/2898.20 c #Conflicts: 1392000 | #Constraints: 112072
2890.94/2898.20 c #Conflicts: 1393000 | #Constraints: 113072
2890.94/2898.20 c #Conflicts: 1394000 | #Constraints: 114072
2890.94/2898.20 c #Conflicts: 1395000 | #Constraints: 115072
2890.94/2898.20 c #Conflicts: 1396000 | #Constraints: 116072
2890.94/2898.20 c #Conflicts: 1397000 | #Constraints: 117072
2890.94/2898.20 c #Conflicts: 1398000 | #Constraints: 118072
2890.94/2898.20 c #Conflicts: 1399000 | #Constraints: 119072
2890.94/2898.20 c #Conflicts: 1400000 | #Constraints: 120072
2890.94/2898.20 c #Conflicts: 1401000 | #Constraints: 121072
2890.94/2898.20 c #Conflicts: 1402000 | #Constraints: 122072
2890.94/2898.20 c #Conflicts: 1403000 | #Constraints: 123072
2890.94/2898.20 c #Conflicts: 1404000 | #Constraints: 124072
3185.43/3193.42 c #Conflicts: 1405000 | #Constraints: 125072
3185.43/3193.42 c #Conflicts: 1406000 | #Constraints: 126072
3185.43/3193.42 c #Conflicts: 1407000 | #Constraints: 127072
3185.43/3193.42 c #Conflicts: 1408000 | #Constraints: 128072
3185.43/3193.42 c #Conflicts: 1409000 | #Constraints: 129072
3185.43/3193.42 c #Conflicts: 1410000 | #Constraints: 130072
3185.43/3193.42 c #Conflicts: 1411000 | #Constraints: 131072
3185.43/3193.42 c #Conflicts: 1412000 | #Constraints: 132072
3185.43/3193.42 c #Conflicts: 1413000 | #Constraints: 133072
3185.43/3193.42 c #Conflicts: 1414000 | #Constraints: 134072
3185.43/3193.42 c #Conflicts: 1415000 | #Constraints: 135072
3185.43/3193.42 c #Conflicts: 1416000 | #Constraints: 136072
3185.43/3193.42 c #Conflicts: 1417000 | #Constraints: 137072
3185.43/3193.42 c #Conflicts: 1418000 | #Constraints: 138072
3185.43/3193.42 c #Conflicts: 1419000 | #Constraints: 139072
3185.43/3193.42 c #Conflicts: 1420000 | #Constraints: 140072
3185.43/3193.42 c #Conflicts: 1421000 | #Constraints: 141072
3185.43/3193.42 c #Conflicts: 1422000 | #Constraints: 142072
3185.43/3193.42 c #Conflicts: 1423000 | #Constraints: 143072
3185.43/3193.42 c #Conflicts: 1424000 | #Constraints: 144072
3185.43/3193.42 c #Conflicts: 1425000 | #Constraints: 145072
3185.43/3193.42 c #Conflicts: 1426000 | #Constraints: 146072
3185.43/3193.42 c #Conflicts: 1427000 | #Constraints: 147072
3185.43/3193.42 c #Conflicts: 1428000 | #Constraints: 148072
3185.43/3193.42 c #Conflicts: 1429000 | #Constraints: 149072
3185.43/3193.42 c #Conflicts: 1430000 | #Constraints: 150072
3185.43/3193.42 c #Conflicts: 1431000 | #Constraints: 151072
3185.43/3193.42 c #Conflicts: 1432000 | #Constraints: 152072
3185.43/3193.42 c #Conflicts: 1433000 | #Constraints: 153072
3185.43/3193.42 c #Conflicts: 1434000 | #Constraints: 154072
3185.43/3193.42 c #Conflicts: 1435000 | #Constraints: 155072
3185.43/3193.42 c #Conflicts: 1436000 | #Constraints: 156072
3185.43/3193.42 c #Conflicts: 1437000 | #Constraints: 157072
3185.43/3193.42 c #Conflicts: 1438000 | #Constraints: 158072
3185.43/3193.42 c #Conflicts: 1439000 | #Constraints: 159072
3185.43/3193.42 c #Conflicts: 1440000 | #Constraints: 160072
3185.43/3193.42 c #Conflicts: 1441000 | #Constraints: 161072
3185.43/3193.42 c #Conflicts: 1442000 | #Constraints: 162072
3185.43/3193.42 c #Conflicts: 1443000 | #Constraints: 163072
3185.43/3193.42 c #Conflicts: 1444000 | #Constraints: 164072
3185.43/3193.42 c INPROCESSING
3185.43/3193.42 c GARBAGE COLLECT
3185.43/3193.42 c rational objective 19
3249.68/3257.88 c #Conflicts: 1445000 | #Constraints: 73396
3249.68/3257.88 c #Conflicts: 1446000 | #Constraints: 74396
3249.68/3257.88 c #Conflicts: 1447000 | #Constraints: 75396
3249.68/3257.88 c #Conflicts: 1448000 | #Constraints: 76396
3249.68/3257.88 c #Conflicts: 1449000 | #Constraints: 77396
3249.68/3257.88 c #Conflicts: 1450000 | #Constraints: 78396
3249.68/3257.88 c #Conflicts: 1451000 | #Constraints: 79396
3249.68/3257.88 c #Conflicts: 1452000 | #Constraints: 80396
3249.68/3257.88 c #Conflicts: 1453000 | #Constraints: 81396
3249.68/3257.88 c #Conflicts: 1454000 | #Constraints: 82396
3249.68/3257.88 c #Conflicts: 1455000 | #Constraints: 83396
3249.68/3257.88 c #Conflicts: 1456000 | #Constraints: 84396
3249.68/3257.88 c #Conflicts: 1457000 | #Constraints: 85396
3249.68/3257.88 c #Conflicts: 1458000 | #Constraints: 86396
3249.68/3257.88 c #Conflicts: 1459000 | #Constraints: 87396
3249.68/3257.88 c #Conflicts: 1460000 | #Constraints: 88396
3249.68/3257.88 c bounds 20 >= 20 @ 3237.79
3249.68/3257.88 c cpu time 3237.79 s
3249.68/3257.88 c deterministic time 155240523751 1.55e+11
3249.68/3257.88 c optimization time 0.004732 s
3249.68/3257.88 c total solve time 3237.72 s
3249.68/3257.88 c core-guided solve time 1308.4 s
3249.68/3257.88 c propagation time 1567.68 s
3249.68/3257.88 c conflict analysis time 1573.11 s
3249.68/3257.88 c propagations 1184567821
3249.68/3257.88 c resolve steps 201686843
3249.68/3257.88 c decisions 4166883
3249.68/3257.88 c conflicts 1460357
3249.68/3257.88 c restarts 2812
3249.68/3257.88 c inprocessing phases 107
3249.68/3257.88 c garbage collections 107 ,( 100.00 )
3249.68/3257.88 c input clauses 21337 ,( 99.20 )
3249.68/3257.88 c input cardinalities 104 ,( 0.48 )
3249.68/3257.88 c input general constraints 69 ,( 0.32 )
3249.68/3257.88 c input average constraint length 3.57
3249.68/3257.88 c input average constraint degree 1.43
3249.68/3257.88 c learned clauses 1314308 ,( 89.97 )
3249.68/3257.88 c learned cardinalities 3243 ,( 0.22 )
3249.68/3257.88 c learned general constraints 143245 ,( 9.81 )
3249.68/3257.88 c learned average constraint length 752.00
3249.68/3257.88 c learned average constraint degree 4201139.96
3249.68/3257.88 c watched CF 32, 64, 128, Arb: 90293 , 0 , 0 , 0
3249.68/3257.88 c counting CF 32, 64, 128, Arb: 53022 , 0 , 0 , 0
3249.68/3257.88 c watched constraints 90293 ,( 63.00 )
3249.68/3257.88 c counting constraints 53021 ,( 37.00 )
3249.68/3257.88 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2289091282 , 45586474 , 7396563520 ,( 2227701597 , 5168861923 )
3249.68/3257.88 c gcd simplifications 1126
3249.68/3257.88 c detected cardinalities 4
3249.68/3257.88 c weakened non-implied lits 106891260
3249.68/3257.88 c weakened non-implying lits 121060
3249.68/3257.88 c original variables 6027
3249.68/3257.88 c clausal propagations 1030311612
3249.68/3257.88 c cardinality propagations 10455008
3249.68/3257.88 c watched propagations 11046945
3249.68/3257.88 c counting propagations 127834176
3249.68/3257.88 c watch lookups 62127591649
3249.68/3257.88 c watch backjump lookups 0
3249.68/3257.88 c watch checks 76396210020
3249.68/3257.88 c propagation checks 11197772765
3249.68/3257.88 c constraint additions 3138491803
3249.68/3257.88 c trail pops 1190194907
3249.68/3257.88 c formula constraints 21268
3249.68/3257.88 c learned constraints 1460356
3249.68/3257.88 c bound constraints 29
3249.68/3257.88 c core-guided constraints 213
3249.68/3257.88 c encountered formula constraints 162771173
3249.68/3257.88 c encountered learned constraints 38724428
3249.68/3257.88 c encountered bound constraints 184
3249.68/3257.88 c encountered core-guided constraints 1651374
3249.68/3257.88 c LP total time 417.83 s
3249.68/3257.88 c LP solve time 378.41 s
3249.68/3257.88 c LP constraints added 22231
3249.68/3257.88 c LP constraints removed 943
3249.68/3257.88 c LP pivots internal 1462874
3249.68/3257.88 c LP pivots root 65028
3249.68/3257.88 c LP calls 1041
3249.68/3257.88 c LP optimalities 645
3249.68/3257.88 c LP no pivot count 91
3249.68/3257.88 c LP infeasibilities 389
3249.68/3257.88 c LP valid Farkas constraints 388
3249.68/3257.88 c LP learned Farkas constraints 5
3249.68/3257.88 c LP basis resets 4
3249.68/3257.88 c LP cycling count 3
3249.68/3257.88 c LP singular count 0
3249.68/3257.88 c LP no primal count 0
3249.68/3257.88 c LP no farkas count 1
3249.68/3257.88 c LP other issue count 0
3249.68/3257.88 c LP Gomory cuts 47
3249.68/3257.88 c LP learned cuts 916
3249.68/3257.88 c LP deleted cuts 943
3249.68/3257.88 c LP encountered Gomory constraints 7
3249.68/3257.88 c LP encountered Farkas constraints 20
3249.68/3257.88 c LP encountered learned Farkas constraints 9
3249.68/3257.88 c CG auxiliary variables introduced 75
3249.68/3257.88 c CG solutions found 7
3249.68/3257.88 c CG cores constructed 15
3249.68/3257.88 c CG core cardinality constraints returned 0
3249.68/3257.88 c CG unit cores 0
3249.68/3257.88 c CG single cores 15
3249.68/3257.88 c CG blocks removed during cardinality reduction 0
3249.68/3257.88 c CG first core best 0
3249.68/3257.88 c CG decision core best 0
3249.68/3257.88 c CG core reduction tie 0
3249.68/3257.88 c CG core degree average 1.00
3249.68/3257.88 c CG core slack average 46.47
3249.68/3257.88 c CG core upper bound improvements 26
3249.68/3257.88 c STR number of successful calls 0
3249.68/3257.88 c STR number of unsuccessful calls 0
3249.68/3257.88 c STR number of inconclusive calls 0
3249.68/3257.88 c STR number of successful attempts 0
3249.68/3257.88 c STR number of unsuccessful attempts 0
3249.68/3257.88 c STR number of inconclusive attempts 0
3249.68/3257.88 c STR average degree increase per successful call inf
3249.68/3257.88 c STR average degree increase per successful attempt inf
3249.68/3257.88 c STR total number of conflicts for successful attempts 0
3249.68/3257.88 c STR total number of conflicts for unsuccessful attempts 0
3249.68/3257.88 c STR total number of conflicts for inconclusive attempts 0
3249.68/3257.88 c STR average number of conflicts per successful attempt inf
3249.68/3257.88 c STR average number of conflicts per unsuccessful attempt inf
3249.68/3257.88 c STR average number of conflicts per inconclusive attempt inf
3249.68/3257.88 c AVG.sumWPerc 34.74
3249.68/3257.88 c bigint constraints 0
3249.68/3257.88 o 20
3249.68/3257.88 s OPTIMUM FOUND
3249.68/3257.88 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 (62508 MiB free)
memory of node 1: 64507 MiB (62214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497426-1751378731/watcher-4497426-1751378731 -o /tmp/evaluation-result-4497426-1751378731/solver-4497426-1751378731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751371504-56779 --watchdog 3760 run-opt-break.sh HOME/instance-4497426-1751378731.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=57984, runsolver pid=57981
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.11 4.12 4.09 5/269 57987
/proc/meminfo: memFree=127716600/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=57620 memory=12460 CPUtime=0.04 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 944 0 0 0 3 1 0 0 20 0 1 0 53551017 59002880 3115 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 14405 3115 1888 1147 0 1832 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61812 KiB
Current children cumulated memory: 15532 KiB
[startup+0.205923 s]*
/proc/loadavg: 4.11 4.12 4.09 5/269 57987
/proc/meminfo: memFree=127696436/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=87976 memory=40220 CPUtime=0.13 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 6653 0 0 0 11 2 0 0 20 0 1 0 53551017 90087424 10055 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 21994 10055 2304 1147 0 9421 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 92168 KiB
Current children cumulated memory: 43292 KiB
[startup+0.306084 s]*
/proc/loadavg: 4.11 4.12 4.09 5/269 57987
/proc/meminfo: memFree=127696436/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=88352 memory=40220 CPUtime=0.24 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 6676 0 0 0 21 3 0 0 20 0 1 0 53551017 90472448 10055 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 22088 10055 2304 1147 0 9515 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 92544 KiB
Current children cumulated memory: 43292 KiB
[startup+0.70021 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 57987
/proc/meminfo: memFree=127696436/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=91296 memory=45204 CPUtime=0.62 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 7478 0 0 0 58 4 0 0 20 0 1 0 53551017 93487104 11301 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 22824 11301 2336 1147 0 10251 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 95488 KiB
Current children cumulated memory: 48276 KiB
[startup+1.50022 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 57987
/proc/meminfo: memFree=127694684/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=102216 memory=52116 CPUtime=1.42 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 9214 0 0 0 136 6 0 0 20 0 1 0 53551017 104669184 13029 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 25554 13029 2336 1147 0 12981 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 106408 KiB
Current children cumulated memory: 55188 KiB
[startup+3.10572 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 57987
/proc/meminfo: memFree=127692960/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=106584 memory=58996 CPUtime=3.03 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 10381 0 0 0 295 8 0 0 20 0 1 0 53551017 109142016 14749 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 26646 14749 2368 1147 0 14073 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 110776 KiB
Current children cumulated memory: 62068 KiB
[startup+6.30024 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 57987
/proc/meminfo: memFree=127687876/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=114132 memory=66292 CPUtime=6.21 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 12217 0 0 0 610 11 0 0 20 0 1 0 53551017 116871168 16573 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 28533 16573 2368 1147 0 15960 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 118324 KiB
Current children cumulated memory: 69364 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 57987
/proc/meminfo: memFree=127679812/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=122988 memory=74996 CPUtime=12.59 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 14379 0 0 0 1239 20 0 0 20 0 1 0 53551017 125939712 18749 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 30747 18749 2368 1147 0 18174 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 127180 KiB
Current children cumulated memory: 78068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 57988
/proc/meminfo: memFree=127678048/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=132848 memory=82908 CPUtime=25.36 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 15352 0 0 0 2501 35 0 0 20 0 1 0 53551017 136036352 20727 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 33212 20727 2368 1147 0 20639 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 137040 KiB
Current children cumulated memory: 85980 KiB
[startup+51.106 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 57988
/proc/meminfo: memFree=127635480/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=153276 memory=99624 CPUtime=50.9 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 17987 0 0 0 5035 55 0 0 20 0 1 0 53551017 156954624 24906 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 38319 24906 2368 1147 0 25746 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 157468 KiB
Current children cumulated memory: 102696 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 58037
/proc/meminfo: memFree=127511384/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=177672 memory=111296 CPUtime=101.97 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 19879 0 0 0 10101 96 0 0 20 0 1 0 53551017 181936128 27824 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 44418 27824 2368 1147 0 31845 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 181864 KiB
Current children cumulated memory: 114368 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 58085
/proc/meminfo: memFree=127493692/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=184540 memory=118264 CPUtime=161.82 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 21692 0 0 0 16042 140 0 0 20 0 1 0 53551017 188968960 29566 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 46135 29566 2368 1147 0 33562 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 188732 KiB
Current children cumulated memory: 121336 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 58088
/proc/meminfo: memFree=127404108/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=186368 memory=119800 CPUtime=221.67 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 22080 0 0 0 21993 174 0 0 20 0 1 0 53551017 190840832 29950 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 46592 29950 2368 1147 0 34019 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 41519 0 0 0 302304 1162 0 0 20 0 1 0 53551017 782864384 133785 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 191129 133785 2464 1147 0 178556 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 768708 KiB
Current children cumulated memory: 538212 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/268 58284
/proc/meminfo: memFree=125778024/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=768220 memory=566960 CPUtime=3094.52 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 42317 0 0 0 308283 1169 0 0 20 0 1 0 53551017 786657280 141740 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 192055 141740 2464 1147 0 179482 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 772412 KiB
Current children cumulated memory: 570032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 58286
/proc/meminfo: memFree=125714024/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=771668 memory=592704 CPUtime=3154.38 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 43146 0 0 0 314261 1177 0 0 20 0 1 0 53551017 790188032 148176 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 192917 148176 2464 1147 0 180344 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 775860 KiB
Current children cumulated memory: 595776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 58289
/proc/meminfo: memFree=125681404/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3214.23 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 320235 1188 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3257.9 s]
# the end of solver process 57984 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3237.82 s, system=11.9817 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3225.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 58289
/proc/meminfo: memFree=125681412/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3217.53 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 320563 1190 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3217.56 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3238.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 58289
/proc/meminfo: memFree=125681412/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3230.3 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 321838 1192 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3230.33 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3251.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 58289
/proc/meminfo: memFree=125681420/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3243.07 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 323113 1194 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3243.1 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3254.4 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 58289
/proc/meminfo: memFree=125681420/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3246.27 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 323432 1195 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3246.3 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3256 s]*
/proc/loadavg: 4.18 4.12 4.10 5/267 58289
/proc/meminfo: memFree=125681420/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3247.86 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 323591 1195 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3247.89 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3256.8 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 58289
/proc/meminfo: memFree=125681420/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3248.65 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 323670 1195 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3248.68 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3257.6 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 58289
/proc/meminfo: memFree=125681420/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3249.45 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 323750 1195 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3249.48 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
[startup+3257.8 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 58289
/proc/meminfo: memFree=125681420/131249996 swapFree=33010684/33010684
[pid=57984] ppid=57981 vsize=4192 memory=3072 CPUtime=0.03 cores=1,3
/proc/57984/stat : 57984 (run-opt-break.s) S 57981 57984 56765 0 -1 4194304 236 4831 0 0 0 0 2 1 20 0 1 0 53551012 4292608 768 18446744073709551615 93884428857344 93884429751877 140727568667024 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93884429990928 93884430038672 93884441407488 140727568669025 140727568669154 140727568669154 140727568674756 0
/proc/57984/statm: 1048 768 704 219 0 110 0
[pid=57987] ppid=57984 vsize=776380 memory=612120 CPUtime=3249.65 cores=1,3
/proc/57987/stat : 57987 (roundingsat) R 57984 57984 56765 0 -1 4194304 44431 0 0 0 323770 1195 0 0 20 0 1 0 53551017 795013120 153030 18446744073709551615 4227072 8923433 140728837939984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37666816 140728837945700 140728837945896 140728837945896 140728837951466 0
/proc/57987/statm: 194095 153030 2464 1147 0 181522 0
Current children cumulated CPU time: 3249.68 s
Current children cumulated vsize: 780572 KiB
Current children cumulated memory: 615192 KiB
Child status: 0
Real time (s): 3257.9
CPU time (s): 3249.8
CPU user time (s): 3237.82
CPU system time (s): 11.9817
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 780572
Max. memory (cumulated for all children) (KiB): 615192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3237.82
system time used= 11.9817
maximum resident set size= 612120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 299
involuntary context switches= 2489
# summary of solver processes directly reported to runsolver:
# pid: 57984
# total CPU time (s): 3249.8
# total CPU user time (s): 3237.82
# total CPU system time (s): 11.9817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.02976 second user time and 13.8256 second system time
The end
Begin job on nodeC024 at 2025-07-01 16:05:31
IDJOB=4497426
IDBENCH=148185
IDSOLVER=3359
FILE ID=nodeC024/4497426-1751378731
RUNJOBID= nodeC024-1751371504-56779
SLURM_JOB_ID= 9598196
Free space on /tmp= 432948 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497426-1751378731/watcher-4497426-1751378731 -o /tmp/evaluation-result-4497426-1751378731/solver-4497426-1751378731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751371504-56779 --watchdog 3760 run-opt-break.sh HOME/instance-4497426-1751378731.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1313149457
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.674
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.674
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.387
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.792
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.680
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.703
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.580
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.271
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127717260 kB
MemAvailable: 129096680 kB
Buffers: 3280 kB
Cached: 2172476 kB
SwapCached: 0 kB
Active: 964260 kB
Inactive: 1915984 kB
Active(anon): 722556 kB
Inactive(anon): 0 kB
Active(file): 241704 kB
Inactive(file): 1915984 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7748 kB
Writeback: 0 kB
AnonPages: 701880 kB
Mapped: 118192 kB
Shmem: 18064 kB
KReclaimable: 121544 kB
Slab: 210404 kB
SReclaimable: 121544 kB
SUnreclaim: 88860 kB
KernelStack: 4368 kB
PageTables: 4564 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1058276 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 595968 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432932 MiB
End job on nodeC024 at 2025-07-01 16:59:49