0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 198 #constraints 16
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 17 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.001784
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.002154
0.00/0.03 c rational objective 0
0.77/0.83 c #Conflicts: 1000 | #Constraints: 1044
0.77/0.83 c #Conflicts: 2000 | #Constraints: 2051
0.77/0.83 c INPROCESSING
0.77/0.83 c GARBAGE COLLECT
0.77/0.83 c rational objective 0
1.46/1.54 c #Conflicts: 3000 | #Constraints: 2051
1.46/1.54 c #Conflicts: 4000 | #Constraints: 3059
1.46/1.54 c INPROCESSING
1.46/1.54 c GARBAGE COLLECT
1.46/1.54 c rational objective 0
2.16/2.22 c #Conflicts: 5000 | #Constraints: 2455
2.16/2.22 c #Conflicts: 6000 | #Constraints: 3460
2.16/2.22 c INPROCESSING
2.16/2.22 c GARBAGE COLLECT
2.16/2.22 c rational objective 0
2.86/2.96 c #Conflicts: 7000 | #Constraints: 2448
2.86/2.96 c #Conflicts: 8000 | #Constraints: 3451
2.86/2.96 c #Conflicts: 9000 | #Constraints: 4458
2.86/2.96 c INPROCESSING
2.86/2.96 c GARBAGE COLLECT
2.86/2.96 c rational objective 0
3.66/3.77 c #Conflicts: 10000 | #Constraints: 3152
3.66/3.77 c #Conflicts: 11000 | #Constraints: 4154
3.66/3.77 c #Conflicts: 12000 | #Constraints: 5155
3.66/3.77 c INPROCESSING
3.66/3.77 c GARBAGE COLLECT
3.66/3.77 c rational objective 0
4.65/4.71 c #Conflicts: 13000 | #Constraints: 3599
4.65/4.71 c #Conflicts: 14000 | #Constraints: 4602
4.65/4.71 c #Conflicts: 15000 | #Constraints: 5603
4.65/4.71 c INPROCESSING
4.65/4.71 c GARBAGE COLLECT
4.65/4.71 c rational objective 0
5.65/5.75 c #Conflicts: 16000 | #Constraints: 3822
5.65/5.75 c #Conflicts: 17000 | #Constraints: 4825
5.65/5.75 c #Conflicts: 18000 | #Constraints: 5828
5.65/5.75 c INPROCESSING
5.65/5.75 c GARBAGE COLLECT
5.65/5.75 c rational objective 0
6.75/6.88 c #Conflicts: 19000 | #Constraints: 3831
6.75/6.88 c #Conflicts: 20000 | #Constraints: 4832
6.75/6.88 c #Conflicts: 21000 | #Constraints: 5836
6.75/6.88 c INPROCESSING
6.75/6.88 c GARBAGE COLLECT
6.75/6.88 c rational objective 0
8.06/8.15 c #Conflicts: 22000 | #Constraints: 3636
8.06/8.15 c #Conflicts: 23000 | #Constraints: 4637
8.06/8.15 c #Conflicts: 24000 | #Constraints: 5640
8.06/8.15 c #Conflicts: 25000 | #Constraints: 6642
8.06/8.15 c INPROCESSING
8.06/8.15 c GARBAGE COLLECT
8.06/8.15 c rational objective 0
9.44/9.53 c #Conflicts: 26000 | #Constraints: 4236
9.44/9.53 c #Conflicts: 27000 | #Constraints: 5237
9.44/9.53 c #Conflicts: 28000 | #Constraints: 6237
9.44/9.53 c #Conflicts: 29000 | #Constraints: 7237
9.44/9.53 c INPROCESSING
9.44/9.53 c GARBAGE COLLECT
9.44/9.53 c rational objective 0
10.95/11.02 c #Conflicts: 30000 | #Constraints: 4634
10.95/11.02 c #Conflicts: 31000 | #Constraints: 5635
10.95/11.02 c #Conflicts: 32000 | #Constraints: 6636
10.95/11.02 c #Conflicts: 33000 | #Constraints: 7638
10.95/11.02 c INPROCESSING
10.95/11.02 c GARBAGE COLLECT
10.95/11.02 c rational objective 0
12.54/12.69 c #Conflicts: 34000 | #Constraints: 4835
12.54/12.69 c #Conflicts: 35000 | #Constraints: 5837
12.54/12.69 c #Conflicts: 36000 | #Constraints: 6841
12.54/12.69 c #Conflicts: 37000 | #Constraints: 7843
12.54/12.69 c INPROCESSING
12.54/12.69 c GARBAGE COLLECT
12.54/12.69 c rational objective 0
14.42/14.51 c #Conflicts: 38000 | #Constraints: 4845
14.42/14.51 c #Conflicts: 39000 | #Constraints: 5851
14.42/14.51 c #Conflicts: 40000 | #Constraints: 6852
14.42/14.51 c #Conflicts: 41000 | #Constraints: 7855
14.42/14.51 c INPROCESSING
14.42/14.51 c GARBAGE COLLECT
14.42/14.51 c rational objective 0
16.32/16.49 c #Conflicts: 42000 | #Constraints: 4649
16.32/16.49 c #Conflicts: 43000 | #Constraints: 5651
16.32/16.49 c #Conflicts: 44000 | #Constraints: 6651
16.32/16.49 c #Conflicts: 45000 | #Constraints: 7652
16.32/16.49 c #Conflicts: 46000 | #Constraints: 8656
16.32/16.49 c INPROCESSING
16.32/16.49 c GARBAGE COLLECT
16.32/16.49 c rational objective 0
18.51/18.66 c #Conflicts: 47000 | #Constraints: 5245
18.51/18.66 c #Conflicts: 48000 | #Constraints: 6246
18.51/18.66 c #Conflicts: 49000 | #Constraints: 7247
18.51/18.66 c #Conflicts: 50000 | #Constraints: 8249
18.51/18.66 c #Conflicts: 51000 | #Constraints: 9251
18.51/18.66 c INPROCESSING
18.51/18.66 c GARBAGE COLLECT
18.51/18.66 c rational objective 0
20.70/20.86 c #Conflicts: 52000 | #Constraints: 5648
20.70/20.86 c #Conflicts: 53000 | #Constraints: 6648
20.70/20.86 c #Conflicts: 54000 | #Constraints: 7650
20.70/20.86 c #Conflicts: 55000 | #Constraints: 8654
20.70/20.86 c #Conflicts: 56000 | #Constraints: 9657
20.70/20.86 c INPROCESSING
20.70/20.86 c GARBAGE COLLECT
20.70/20.86 c rational objective 0
23.10/23.29 c #Conflicts: 57000 | #Constraints: 5848
23.10/23.29 c #Conflicts: 58000 | #Constraints: 6851
23.10/23.29 c #Conflicts: 59000 | #Constraints: 7851
23.10/23.29 c #Conflicts: 60000 | #Constraints: 8852
23.10/23.29 c #Conflicts: 61000 | #Constraints: 9853
23.10/23.29 c INPROCESSING
23.10/23.29 c GARBAGE COLLECT
23.10/23.29 c rational objective 0
25.79/25.94 c #Conflicts: 62000 | #Constraints: 5845
25.79/25.94 c #Conflicts: 63000 | #Constraints: 6846
25.79/25.94 c #Conflicts: 64000 | #Constraints: 7849
25.79/25.94 c #Conflicts: 65000 | #Constraints: 8849
25.79/25.94 c #Conflicts: 66000 | #Constraints: 9850
25.79/25.94 c INPROCESSING
25.79/25.94 c GARBAGE COLLECT
25.79/25.94 c rational objective 0
28.48/28.69 c #Conflicts: 67000 | #Constraints: 5644
28.48/28.69 c #Conflicts: 68000 | #Constraints: 6645
28.48/28.69 c #Conflicts: 69000 | #Constraints: 7647
28.48/28.69 c #Conflicts: 70000 | #Constraints: 8649
28.48/28.69 c #Conflicts: 71000 | #Constraints: 9650
28.48/28.69 c #Conflicts: 72000 | #Constraints: 10653
28.48/28.69 c INPROCESSING
28.48/28.69 c GARBAGE COLLECT
28.48/28.69 c rational objective 0
31.47/31.68 c #Conflicts: 73000 | #Constraints: 6244
31.47/31.68 c #Conflicts: 74000 | #Constraints: 7245
31.47/31.68 c #Conflicts: 75000 | #Constraints: 8245
31.47/31.68 c #Conflicts: 76000 | #Constraints: 9245
31.47/31.68 c #Conflicts: 77000 | #Constraints: 10249
31.47/31.68 c #Conflicts: 78000 | #Constraints: 11254
31.47/31.68 c INPROCESSING
31.47/31.68 c GARBAGE COLLECT
31.47/31.68 c rational objective 0
34.67/34.84 c #Conflicts: 79000 | #Constraints: 6646
34.67/34.84 c #Conflicts: 80000 | #Constraints: 7647
34.67/34.84 c #Conflicts: 81000 | #Constraints: 8647
34.67/34.84 c #Conflicts: 82000 | #Constraints: 9647
34.67/34.84 c #Conflicts: 83000 | #Constraints: 10649
34.67/34.84 c #Conflicts: 84000 | #Constraints: 11651
34.67/34.84 c INPROCESSING
34.67/34.84 c GARBAGE COLLECT
34.67/34.84 c rational objective 0
38.06/38.23 c #Conflicts: 85000 | #Constraints: 6844
38.06/38.23 c #Conflicts: 86000 | #Constraints: 7845
38.06/38.23 c #Conflicts: 87000 | #Constraints: 8845
38.06/38.23 c #Conflicts: 88000 | #Constraints: 9845
38.06/38.23 c #Conflicts: 89000 | #Constraints: 10846
38.06/38.23 c #Conflicts: 90000 | #Constraints: 11846
38.06/38.23 c INPROCESSING
38.06/38.23 c GARBAGE COLLECT
38.06/38.23 c rational objective 0
41.54/41.79 c #Conflicts: 91000 | #Constraints: 6843
41.54/41.79 c #Conflicts: 92000 | #Constraints: 7843
41.54/41.79 c #Conflicts: 93000 | #Constraints: 8844
41.54/41.79 c #Conflicts: 94000 | #Constraints: 9845
41.54/41.79 c #Conflicts: 95000 | #Constraints: 10845
41.54/41.79 c #Conflicts: 96000 | #Constraints: 11845
41.54/41.79 c INPROCESSING
41.54/41.79 c GARBAGE COLLECT
41.54/41.79 c rational objective 0
45.63/45.81 c #Conflicts: 97000 | #Constraints: 6642
45.63/45.81 c #Conflicts: 98000 | #Constraints: 7642
45.63/45.81 c #Conflicts: 99000 | #Constraints: 8643
45.63/45.81 c #Conflicts: 100000 | #Constraints: 9643
45.63/45.81 c #Conflicts: 101000 | #Constraints: 10644
45.63/45.81 c #Conflicts: 102000 | #Constraints: 11645
45.63/45.81 c #Conflicts: 103000 | #Constraints: 12645
45.63/45.81 c INPROCESSING
45.63/45.81 c GARBAGE COLLECT
45.63/45.81 c rational objective 0
49.52/49.77 c #Conflicts: 104000 | #Constraints: 7242
49.52/49.77 c #Conflicts: 105000 | #Constraints: 8242
49.52/49.77 c #Conflicts: 106000 | #Constraints: 9242
49.52/49.77 c #Conflicts: 107000 | #Constraints: 10243
49.52/49.77 c #Conflicts: 108000 | #Constraints: 11243
49.52/49.77 c #Conflicts: 109000 | #Constraints: 12243
49.52/49.77 c #Conflicts: 110000 | #Constraints: 13243
49.52/49.77 c INPROCESSING
49.52/49.77 c GARBAGE COLLECT
49.52/49.77 c rational objective 0
53.81/54.03 c #Conflicts: 111000 | #Constraints: 7641
53.81/54.03 c #Conflicts: 112000 | #Constraints: 8642
53.81/54.03 c #Conflicts: 113000 | #Constraints: 9643
53.81/54.03 c #Conflicts: 114000 | #Constraints: 10644
53.81/54.03 c #Conflicts: 115000 | #Constraints: 11644
53.81/54.03 c #Conflicts: 116000 | #Constraints: 12644
53.81/54.03 c #Conflicts: 117000 | #Constraints: 13646
53.81/54.03 c INPROCESSING
53.81/54.03 c GARBAGE COLLECT
53.81/54.03 c rational objective 0
58.28/58.50 c #Conflicts: 118000 | #Constraints: 7837
58.28/58.50 c #Conflicts: 119000 | #Constraints: 8837
58.28/58.50 c #Conflicts: 120000 | #Constraints: 9837
58.28/58.50 c #Conflicts: 121000 | #Constraints: 10837
58.28/58.50 c #Conflicts: 122000 | #Constraints: 11838
58.28/58.50 c #Conflicts: 123000 | #Constraints: 12838
58.28/58.50 c #Conflicts: 124000 | #Constraints: 13839
58.28/58.50 c INPROCESSING
58.28/58.50 c GARBAGE COLLECT
58.28/58.50 c rational objective 0
62.97/63.24 c #Conflicts: 125000 | #Constraints: 7833
62.97/63.24 c #Conflicts: 126000 | #Constraints: 8833
62.97/63.24 c #Conflicts: 127000 | #Constraints: 9833
62.97/63.24 c #Conflicts: 128000 | #Constraints: 10834
62.97/63.24 c #Conflicts: 129000 | #Constraints: 11834
62.97/63.24 c #Conflicts: 130000 | #Constraints: 12834
62.97/63.24 c #Conflicts: 131000 | #Constraints: 13834
62.97/63.24 c INPROCESSING
62.97/63.24 c GARBAGE COLLECT
62.97/63.24 c rational objective 0
67.87/68.12 c #Conflicts: 132000 | #Constraints: 7635
67.87/68.12 c #Conflicts: 133000 | #Constraints: 8635
67.87/68.12 c #Conflicts: 134000 | #Constraints: 9637
67.87/68.12 c #Conflicts: 135000 | #Constraints: 10637
67.87/68.12 c #Conflicts: 136000 | #Constraints: 11637
67.87/68.12 c #Conflicts: 137000 | #Constraints: 12637
67.87/68.12 c #Conflicts: 138000 | #Constraints: 13637
67.87/68.12 c #Conflicts: 139000 | #Constraints: 14637
67.87/68.12 c INPROCESSING
67.87/68.12 c GARBAGE COLLECT
67.87/68.12 c rational objective 0
73.14/73.49 c #Conflicts: 140000 | #Constraints: 8239
73.14/73.49 c #Conflicts: 141000 | #Constraints: 9240
73.14/73.49 c #Conflicts: 142000 | #Constraints: 10240
73.14/73.49 c #Conflicts: 143000 | #Constraints: 11240
73.14/73.49 c #Conflicts: 144000 | #Constraints: 12240
73.14/73.49 c #Conflicts: 145000 | #Constraints: 13240
73.14/73.49 c #Conflicts: 146000 | #Constraints: 14241
73.14/73.49 c #Conflicts: 147000 | #Constraints: 15241
73.14/73.49 c INPROCESSING
73.14/73.49 c GARBAGE COLLECT
73.14/73.49 c rational objective 0
78.62/78.95 c #Conflicts: 148000 | #Constraints: 8641
78.62/78.95 c #Conflicts: 149000 | #Constraints: 9641
78.62/78.95 c #Conflicts: 150000 | #Constraints: 10642
78.62/78.95 c #Conflicts: 151000 | #Constraints: 11645
78.62/78.95 c #Conflicts: 152000 | #Constraints: 12645
78.62/78.95 c #Conflicts: 153000 | #Constraints: 13645
78.62/78.95 c #Conflicts: 154000 | #Constraints: 14646
78.62/78.95 c #Conflicts: 155000 | #Constraints: 15647
78.62/78.95 c INPROCESSING
78.62/78.95 c GARBAGE COLLECT
78.62/78.95 c rational objective 0
84.40/84.73 c #Conflicts: 156000 | #Constraints: 8845
84.40/84.73 c #Conflicts: 157000 | #Constraints: 9845
84.40/84.73 c #Conflicts: 158000 | #Constraints: 10846
84.40/84.73 c #Conflicts: 159000 | #Constraints: 11846
84.40/84.73 c #Conflicts: 160000 | #Constraints: 12849
84.40/84.73 c #Conflicts: 161000 | #Constraints: 13850
84.40/84.73 c #Conflicts: 162000 | #Constraints: 14850
84.40/84.73 c #Conflicts: 163000 | #Constraints: 15850
84.40/84.73 c INPROCESSING
84.40/84.73 c GARBAGE COLLECT
84.40/84.73 c rational objective 0
90.29/90.69 c #Conflicts: 164000 | #Constraints: 8845
90.29/90.69 c #Conflicts: 165000 | #Constraints: 9845
90.29/90.69 c #Conflicts: 166000 | #Constraints: 10847
90.29/90.69 c #Conflicts: 167000 | #Constraints: 11848
90.29/90.69 c #Conflicts: 168000 | #Constraints: 12848
90.29/90.69 c #Conflicts: 169000 | #Constraints: 13848
90.29/90.69 c #Conflicts: 170000 | #Constraints: 14848
90.29/90.69 c #Conflicts: 171000 | #Constraints: 15849
90.29/90.69 c INPROCESSING
90.29/90.69 c GARBAGE COLLECT
90.29/90.69 c rational objective 0
96.56/96.95 c #Conflicts: 172000 | #Constraints: 8640
96.56/96.95 c #Conflicts: 173000 | #Constraints: 9640
96.56/96.95 c #Conflicts: 174000 | #Constraints: 10640
96.56/96.95 c #Conflicts: 175000 | #Constraints: 11640
96.56/96.95 c #Conflicts: 176000 | #Constraints: 12641
96.56/96.95 c #Conflicts: 177000 | #Constraints: 13642
96.56/96.95 c #Conflicts: 178000 | #Constraints: 14642
96.56/96.95 c #Conflicts: 179000 | #Constraints: 15642
96.56/96.95 c #Conflicts: 180000 | #Constraints: 16642
96.56/96.95 c INPROCESSING
96.56/96.95 c GARBAGE COLLECT
96.56/96.95 c rational objective 0
103.34/103.71 c #Conflicts: 181000 | #Constraints: 9241
103.34/103.71 c #Conflicts: 182000 | #Constraints: 10242
103.34/103.71 c #Conflicts: 183000 | #Constraints: 11242
103.34/103.71 c #Conflicts: 184000 | #Constraints: 12242
103.34/103.71 c #Conflicts: 185000 | #Constraints: 13243
103.34/103.71 c #Conflicts: 186000 | #Constraints: 14243
103.34/103.71 c #Conflicts: 187000 | #Constraints: 15243
103.34/103.71 c #Conflicts: 188000 | #Constraints: 16243
103.34/103.71 c #Conflicts: 189000 | #Constraints: 17243
103.34/103.71 c INPROCESSING
103.34/103.71 c GARBAGE COLLECT
103.34/103.71 c rational objective 0
110.01/110.48 c #Conflicts: 190000 | #Constraints: 9637
110.01/110.48 c #Conflicts: 191000 | #Constraints: 10638
110.01/110.48 c #Conflicts: 192000 | #Constraints: 11638
110.01/110.48 c #Conflicts: 193000 | #Constraints: 12638
110.01/110.48 c #Conflicts: 194000 | #Constraints: 13638
110.01/110.48 c #Conflicts: 195000 | #Constraints: 14638
110.01/110.48 c #Conflicts: 196000 | #Constraints: 15638
110.01/110.48 c #Conflicts: 197000 | #Constraints: 16640
110.01/110.48 c #Conflicts: 198000 | #Constraints: 17640
110.01/110.48 c INPROCESSING
110.01/110.48 c GARBAGE COLLECT
110.01/110.48 c rational objective 0
117.29/117.75 c #Conflicts: 199000 | #Constraints: 9839
117.29/117.75 c #Conflicts: 200000 | #Constraints: 10839
117.29/117.75 c #Conflicts: 201000 | #Constraints: 11839
117.29/117.75 c #Conflicts: 202000 | #Constraints: 12840
117.29/117.75 c #Conflicts: 203000 | #Constraints: 13840
117.29/117.75 c #Conflicts: 204000 | #Constraints: 14840
117.29/117.75 c #Conflicts: 205000 | #Constraints: 15840
117.29/117.75 c #Conflicts: 206000 | #Constraints: 16840
117.29/117.75 c #Conflicts: 207000 | #Constraints: 17840
117.29/117.75 c INPROCESSING
117.29/117.75 c GARBAGE COLLECT
117.29/117.75 c rational objective 0
124.68/125.15 c #Conflicts: 208000 | #Constraints: 9839
124.68/125.15 c #Conflicts: 209000 | #Constraints: 10839
124.68/125.15 c #Conflicts: 210000 | #Constraints: 11842
124.68/125.15 c #Conflicts: 211000 | #Constraints: 12842
124.68/125.15 c #Conflicts: 212000 | #Constraints: 13842
124.68/125.15 c #Conflicts: 213000 | #Constraints: 14842
124.68/125.15 c #Conflicts: 214000 | #Constraints: 15842
124.68/125.15 c #Conflicts: 215000 | #Constraints: 16842
124.68/125.15 c #Conflicts: 216000 | #Constraints: 17842
124.68/125.15 c INPROCESSING
124.68/125.15 c GARBAGE COLLECT
124.68/125.15 c rational objective 0
132.75/133.28 c #Conflicts: 217000 | #Constraints: 9643
132.75/133.28 c #Conflicts: 218000 | #Constraints: 10643
132.75/133.28 c #Conflicts: 219000 | #Constraints: 11643
132.75/133.28 c #Conflicts: 220000 | #Constraints: 12644
132.75/133.28 c #Conflicts: 221000 | #Constraints: 13644
132.75/133.28 c #Conflicts: 222000 | #Constraints: 14644
132.75/133.28 c #Conflicts: 223000 | #Constraints: 15645
132.75/133.28 c #Conflicts: 224000 | #Constraints: 16645
132.75/133.28 c #Conflicts: 225000 | #Constraints: 17646
132.75/133.28 c #Conflicts: 226000 | #Constraints: 18646
132.75/133.28 c INPROCESSING
132.75/133.28 c GARBAGE COLLECT
132.75/133.28 c rational objective 0
140.72/141.23 c #Conflicts: 227000 | #Constraints: 10245
140.72/141.23 c #Conflicts: 228000 | #Constraints: 11246
140.72/141.23 c #Conflicts: 229000 | #Constraints: 12248
140.72/141.23 c #Conflicts: 230000 | #Constraints: 13249
140.72/141.23 c #Conflicts: 231000 | #Constraints: 14250
140.72/141.23 c #Conflicts: 232000 | #Constraints: 15250
140.72/141.23 c #Conflicts: 233000 | #Constraints: 16250
140.72/141.23 c #Conflicts: 234000 | #Constraints: 17251
140.72/141.23 c #Conflicts: 235000 | #Constraints: 18252
140.72/141.23 c #Conflicts: 236000 | #Constraints: 19252
140.72/141.23 c INPROCESSING
140.72/141.23 c GARBAGE COLLECT
140.72/141.23 c rational objective 0
148.89/149.47 c #Conflicts: 237000 | #Constraints: 10641
148.89/149.47 c #Conflicts: 238000 | #Constraints: 11642
148.89/149.47 c #Conflicts: 239000 | #Constraints: 12642
148.89/149.47 c #Conflicts: 240000 | #Constraints: 13643
148.89/149.47 c #Conflicts: 241000 | #Constraints: 14643
148.89/149.47 c #Conflicts: 242000 | #Constraints: 15643
148.89/149.47 c #Conflicts: 243000 | #Constraints: 16643
148.89/149.47 c #Conflicts: 244000 | #Constraints: 17643
148.89/149.47 c #Conflicts: 245000 | #Constraints: 18644
148.89/149.47 c #Conflicts: 246000 | #Constraints: 19645
148.89/149.47 c INPROCESSING
148.89/149.47 c GARBAGE COLLECT
148.89/149.47 c rational objective 0
157.48/158.07 c #Conflicts: 247000 | #Constraints: 10843
157.48/158.07 c #Conflicts: 248000 | #Constraints: 11844
157.48/158.07 c #Conflicts: 249000 | #Constraints: 12846
157.48/158.07 c #Conflicts: 250000 | #Constraints: 13847
157.48/158.07 c #Conflicts: 251000 | #Constraints: 14847
157.48/158.07 c #Conflicts: 252000 | #Constraints: 15847
157.48/158.07 c #Conflicts: 253000 | #Constraints: 16847
157.48/158.07 c #Conflicts: 254000 | #Constraints: 17848
157.48/158.07 c #Conflicts: 255000 | #Constraints: 18849
157.48/158.07 c #Conflicts: 256000 | #Constraints: 19849
157.48/158.07 c INPROCESSING
157.48/158.07 c GARBAGE COLLECT
157.48/158.07 c rational objective 0
166.14/166.75 c #Conflicts: 257000 | #Constraints: 10844
166.14/166.75 c #Conflicts: 258000 | #Constraints: 11845
166.14/166.75 c #Conflicts: 259000 | #Constraints: 12846
166.14/166.75 c #Conflicts: 260000 | #Constraints: 13847
166.14/166.75 c #Conflicts: 261000 | #Constraints: 14850
166.14/166.75 c #Conflicts: 262000 | #Constraints: 15850
166.14/166.75 c #Conflicts: 263000 | #Constraints: 16851
166.14/166.75 c #Conflicts: 264000 | #Constraints: 17851
166.14/166.75 c #Conflicts: 265000 | #Constraints: 18855
166.14/166.75 c #Conflicts: 266000 | #Constraints: 19857
166.14/166.75 c INPROCESSING
166.14/166.75 c GARBAGE COLLECT
166.14/166.75 c rational objective 0
175.10/175.79 c #Conflicts: 267000 | #Constraints: 10646
175.10/175.79 c #Conflicts: 268000 | #Constraints: 11646
175.10/175.79 c #Conflicts: 269000 | #Constraints: 12646
175.10/175.79 c #Conflicts: 270000 | #Constraints: 13646
175.10/175.79 c #Conflicts: 271000 | #Constraints: 14646
175.10/175.79 c #Conflicts: 272000 | #Constraints: 15647
175.10/175.79 c #Conflicts: 273000 | #Constraints: 16647
175.10/175.79 c #Conflicts: 274000 | #Constraints: 17647
175.10/175.79 c #Conflicts: 275000 | #Constraints: 18647
175.10/175.79 c #Conflicts: 276000 | #Constraints: 19648
175.10/175.79 c #Conflicts: 277000 | #Constraints: 20648
175.10/175.79 c INPROCESSING
175.10/175.79 c GARBAGE COLLECT
175.10/175.79 c rational objective 0
184.58/185.21 c #Conflicts: 278000 | #Constraints: 11242
184.58/185.21 c #Conflicts: 279000 | #Constraints: 12242
184.58/185.21 c #Conflicts: 280000 | #Constraints: 13243
184.58/185.21 c #Conflicts: 281000 | #Constraints: 14244
184.58/185.21 c #Conflicts: 282000 | #Constraints: 15244
184.58/185.21 c #Conflicts: 283000 | #Constraints: 16245
184.58/185.21 c #Conflicts: 284000 | #Constraints: 17245
184.58/185.21 c #Conflicts: 285000 | #Constraints: 18248
184.58/185.21 c #Conflicts: 286000 | #Constraints: 19248
184.58/185.21 c #Conflicts: 287000 | #Constraints: 20249
184.58/185.21 c #Conflicts: 288000 | #Constraints: 21249
184.58/185.21 c INPROCESSING
184.58/185.21 c GARBAGE COLLECT
184.58/185.21 c rational objective 0
194.14/194.86 c #Conflicts: 289000 | #Constraints: 11644
194.14/194.86 c #Conflicts: 290000 | #Constraints: 12645
194.14/194.86 c #Conflicts: 291000 | #Constraints: 13645
194.14/194.86 c #Conflicts: 292000 | #Constraints: 14645
194.14/194.86 c #Conflicts: 293000 | #Constraints: 15645
194.14/194.86 c #Conflicts: 294000 | #Constraints: 16645
194.14/194.86 c #Conflicts: 295000 | #Constraints: 17645
194.14/194.86 c #Conflicts: 296000 | #Constraints: 18647
194.14/194.86 c #Conflicts: 297000 | #Constraints: 19647
194.14/194.86 c #Conflicts: 298000 | #Constraints: 20647
194.14/194.86 c #Conflicts: 299000 | #Constraints: 21648
194.14/194.86 c INPROCESSING
194.14/194.86 c GARBAGE COLLECT
194.14/194.86 c rational objective 0
204.02/204.79 c #Conflicts: 300000 | #Constraints: 11845
204.02/204.79 c #Conflicts: 301000 | #Constraints: 12846
204.02/204.79 c #Conflicts: 302000 | #Constraints: 13846
204.02/204.79 c #Conflicts: 303000 | #Constraints: 14846
204.02/204.79 c #Conflicts: 304000 | #Constraints: 15846
204.02/204.79 c #Conflicts: 305000 | #Constraints: 16846
204.02/204.79 c #Conflicts: 306000 | #Constraints: 17848
204.02/204.79 c #Conflicts: 307000 | #Constraints: 18849
204.02/204.79 c #Conflicts: 308000 | #Constraints: 19849
204.02/204.79 c #Conflicts: 309000 | #Constraints: 20851
204.02/204.79 c #Conflicts: 310000 | #Constraints: 21851
204.02/204.79 c INPROCESSING
204.02/204.79 c GARBAGE COLLECT
204.02/204.79 c rational objective 0
214.29/215.02 c #Conflicts: 311000 | #Constraints: 11844
214.29/215.02 c #Conflicts: 312000 | #Constraints: 12844
214.29/215.02 c #Conflicts: 313000 | #Constraints: 13844
214.29/215.02 c #Conflicts: 314000 | #Constraints: 14844
214.29/215.02 c #Conflicts: 315000 | #Constraints: 15844
214.29/215.02 c #Conflicts: 316000 | #Constraints: 16844
214.29/215.02 c #Conflicts: 317000 | #Constraints: 17844
214.29/215.02 c #Conflicts: 318000 | #Constraints: 18844
214.29/215.02 c #Conflicts: 319000 | #Constraints: 19845
214.29/215.02 c #Conflicts: 320000 | #Constraints: 20845
214.29/215.02 c #Conflicts: 321000 | #Constraints: 21845
214.29/215.02 c INPROCESSING
214.29/215.02 c GARBAGE COLLECT
214.29/215.02 c rational objective 0
224.85/225.68 c #Conflicts: 322000 | #Constraints: 11643
224.85/225.68 c #Conflicts: 323000 | #Constraints: 12643
224.85/225.68 c #Conflicts: 324000 | #Constraints: 13646
224.85/225.68 c #Conflicts: 325000 | #Constraints: 14647
224.85/225.68 c #Conflicts: 326000 | #Constraints: 15649
224.85/225.68 c #Conflicts: 327000 | #Constraints: 16649
224.85/225.68 c #Conflicts: 328000 | #Constraints: 17650
224.85/225.68 c #Conflicts: 329000 | #Constraints: 18651
224.85/225.68 c #Conflicts: 330000 | #Constraints: 19651
224.85/225.68 c #Conflicts: 331000 | #Constraints: 20651
224.85/225.68 c #Conflicts: 332000 | #Constraints: 21652
224.85/225.68 c #Conflicts: 333000 | #Constraints: 22653
224.85/225.68 c INPROCESSING
224.85/225.68 c GARBAGE COLLECT
224.85/225.68 c rational objective 0
235.90/236.73 c #Conflicts: 334000 | #Constraints: 12245
235.90/236.73 c #Conflicts: 335000 | #Constraints: 13245
235.90/236.73 c #Conflicts: 336000 | #Constraints: 14245
235.90/236.73 c #Conflicts: 337000 | #Constraints: 15245
235.90/236.73 c #Conflicts: 338000 | #Constraints: 16247
235.90/236.73 c #Conflicts: 339000 | #Constraints: 17248
235.90/236.73 c #Conflicts: 340000 | #Constraints: 18248
235.90/236.73 c #Conflicts: 341000 | #Constraints: 19248
235.90/236.73 c #Conflicts: 342000 | #Constraints: 20248
235.90/236.73 c #Conflicts: 343000 | #Constraints: 21249
235.90/236.73 c #Conflicts: 344000 | #Constraints: 22249
235.90/236.73 c #Conflicts: 345000 | #Constraints: 23249
235.90/236.73 c INPROCESSING
235.90/236.73 c GARBAGE COLLECT
235.90/236.73 c rational objective 0
247.29/248.16 c #Conflicts: 346000 | #Constraints: 12643
247.29/248.16 c #Conflicts: 347000 | #Constraints: 13643
247.29/248.16 c #Conflicts: 348000 | #Constraints: 14644
247.29/248.16 c #Conflicts: 349000 | #Constraints: 15645
247.29/248.16 c #Conflicts: 350000 | #Constraints: 16645
247.29/248.16 c #Conflicts: 351000 | #Constraints: 17645
247.29/248.16 c #Conflicts: 352000 | #Constraints: 18645
247.29/248.16 c #Conflicts: 353000 | #Constraints: 19645
247.29/248.16 c #Conflicts: 354000 | #Constraints: 20645
247.29/248.16 c #Conflicts: 355000 | #Constraints: 21646
247.29/248.16 c #Conflicts: 356000 | #Constraints: 22646
247.29/248.16 c #Conflicts: 357000 | #Constraints: 23647
247.29/248.16 c INPROCESSING
247.29/248.16 c GARBAGE COLLECT
247.29/248.16 c rational objective 0
258.93/259.82 c #Conflicts: 358000 | #Constraints: 12843
258.93/259.82 c #Conflicts: 359000 | #Constraints: 13844
258.93/259.82 c #Conflicts: 360000 | #Constraints: 14844
258.93/259.82 c #Conflicts: 361000 | #Constraints: 15844
258.93/259.82 c #Conflicts: 362000 | #Constraints: 16844
258.93/259.82 c #Conflicts: 363000 | #Constraints: 17844
258.93/259.82 c #Conflicts: 364000 | #Constraints: 18844
258.93/259.82 c #Conflicts: 365000 | #Constraints: 19844
258.93/259.82 c #Conflicts: 366000 | #Constraints: 20845
258.93/259.82 c #Conflicts: 367000 | #Constraints: 21845
258.93/259.82 c #Conflicts: 368000 | #Constraints: 22845
258.93/259.82 c #Conflicts: 369000 | #Constraints: 23845
258.93/259.82 c INPROCESSING
258.93/259.82 c GARBAGE COLLECT
258.93/259.82 c rational objective 0
274.48/275.41 c #Conflicts: 370000 | #Constraints: 13220
274.48/275.41 c #Conflicts: 371000 | #Constraints: 14733
274.48/275.41 c #Conflicts: 372000 | #Constraints: 16214
274.48/275.41 c #Conflicts: 373000 | #Constraints: 17705
274.48/275.41 c #Conflicts: 374000 | #Constraints: 19180
274.48/275.41 c #Conflicts: 375000 | #Constraints: 20645
274.48/275.41 c #Conflicts: 376000 | #Constraints: 22109
274.48/275.41 c #Conflicts: 377000 | #Constraints: 23582
274.48/275.41 c #Conflicts: 378000 | #Constraints: 25045
274.48/275.41 c #Conflicts: 379000 | #Constraints: 26525
274.48/275.41 c #Conflicts: 380000 | #Constraints: 28008
274.48/275.41 c #Conflicts: 381000 | #Constraints: 29493
274.48/275.41 c INPROCESSING
274.48/275.41 c GARBAGE COLLECT
274.48/275.41 c rational objective 0
291.92/292.97 c #Conflicts: 382000 | #Constraints: 15803
291.92/292.97 c #Conflicts: 383000 | #Constraints: 17300
291.92/292.97 c #Conflicts: 384000 | #Constraints: 18772
291.92/292.97 c #Conflicts: 385000 | #Constraints: 20251
291.92/292.97 c #Conflicts: 386000 | #Constraints: 21741
291.92/292.97 c #Conflicts: 387000 | #Constraints: 23218
291.92/292.97 c #Conflicts: 388000 | #Constraints: 24697
291.92/292.97 c #Conflicts: 389000 | #Constraints: 26175
291.92/292.97 c #Conflicts: 390000 | #Constraints: 27663
291.92/292.97 c #Conflicts: 391000 | #Constraints: 29142
291.92/292.97 c #Conflicts: 392000 | #Constraints: 30624
291.92/292.97 c #Conflicts: 393000 | #Constraints: 32100
291.92/292.97 c #Conflicts: 394000 | #Constraints: 33601
291.92/292.97 c INPROCESSING
291.92/292.97 c GARBAGE COLLECT
291.92/292.97 c rational objective 0
310.35/311.45 c #Conflicts: 395000 | #Constraints: 18150
310.35/311.45 c #Conflicts: 396000 | #Constraints: 19641
310.35/311.45 c #Conflicts: 397000 | #Constraints: 21116
310.35/311.45 c #Conflicts: 398000 | #Constraints: 22565
310.35/311.45 c #Conflicts: 399000 | #Constraints: 24045
310.35/311.45 c #Conflicts: 400000 | #Constraints: 25537
310.35/311.45 c #Conflicts: 401000 | #Constraints: 27002
310.35/311.45 c #Conflicts: 402000 | #Constraints: 28488
310.35/311.45 c #Conflicts: 403000 | #Constraints: 29963
310.35/311.45 c #Conflicts: 404000 | #Constraints: 31448
310.35/311.45 c #Conflicts: 405000 | #Constraints: 32928
310.35/311.45 c #Conflicts: 406000 | #Constraints: 34432
310.35/311.45 c #Conflicts: 407000 | #Constraints: 35910
310.35/311.45 c INPROCESSING
310.35/311.45 c GARBAGE COLLECT
310.35/311.45 c rational objective 0
328.90/330.08 c #Conflicts: 408000 | #Constraints: 19446
328.90/330.08 c #Conflicts: 409000 | #Constraints: 20933
328.90/330.08 c #Conflicts: 410000 | #Constraints: 22435
328.90/330.08 c #Conflicts: 411000 | #Constraints: 23938
328.90/330.08 c #Conflicts: 412000 | #Constraints: 25406
328.90/330.08 c #Conflicts: 413000 | #Constraints: 26883
328.90/330.08 c #Conflicts: 414000 | #Constraints: 28368
328.90/330.08 c #Conflicts: 415000 | #Constraints: 29844
328.90/330.08 c #Conflicts: 416000 | #Constraints: 31334
328.90/330.08 c #Conflicts: 417000 | #Constraints: 32822
328.90/330.08 c #Conflicts: 418000 | #Constraints: 34299
328.90/330.08 c #Conflicts: 419000 | #Constraints: 35787
328.90/330.08 c #Conflicts: 420000 | #Constraints: 37264
328.90/330.08 c INPROCESSING
328.90/330.08 c GARBAGE COLLECT
328.90/330.08 c rational objective 0
350.02/351.26 c #Conflicts: 421000 | #Constraints: 20142
350.02/351.26 c #Conflicts: 422000 | #Constraints: 21481
350.02/351.26 c #Conflicts: 423000 | #Constraints: 22859
350.02/351.26 c #Conflicts: 424000 | #Constraints: 24351
350.02/351.26 c #Conflicts: 425000 | #Constraints: 25812
350.02/351.26 c #Conflicts: 426000 | #Constraints: 27291
350.02/351.26 c #Conflicts: 427000 | #Constraints: 28757
350.02/351.26 c #Conflicts: 428000 | #Constraints: 30231
350.02/351.26 c #Conflicts: 429000 | #Constraints: 31729
350.02/351.26 c #Conflicts: 430000 | #Constraints: 33216
350.02/351.26 c #Conflicts: 431000 | #Constraints: 34686
350.02/351.26 c #Conflicts: 432000 | #Constraints: 36170
350.02/351.26 c #Conflicts: 433000 | #Constraints: 37639
350.02/351.26 c INPROCESSING
350.02/351.26 c GARBAGE COLLECT
350.02/351.26 c rational objective 0
369.55/370.88 c #Conflicts: 434000 | #Constraints: 19871
369.55/370.88 c #Conflicts: 435000 | #Constraints: 21147
369.55/370.88 c #Conflicts: 436000 | #Constraints: 22269
369.55/370.88 c #Conflicts: 437000 | #Constraints: 23572
369.55/370.88 c #Conflicts: 438000 | #Constraints: 24603
369.55/370.88 c #Conflicts: 439000 | #Constraints: 25603
369.55/370.88 c #Conflicts: 440000 | #Constraints: 26710
369.55/370.88 c #Conflicts: 441000 | #Constraints: 28133
369.55/370.88 c #Conflicts: 442000 | #Constraints: 29618
369.55/370.88 c #Conflicts: 443000 | #Constraints: 30826
369.55/370.88 c #Conflicts: 444000 | #Constraints: 31860
369.55/370.88 c #Conflicts: 445000 | #Constraints: 33100
369.55/370.88 c #Conflicts: 446000 | #Constraints: 34298
369.55/370.88 c INPROCESSING
369.55/370.88 c GARBAGE COLLECT
369.55/370.88 c rational objective 0
390.38/391.79 c #Conflicts: 447000 | #Constraints: 18095
390.38/391.79 c #Conflicts: 448000 | #Constraints: 19351
390.38/391.79 c #Conflicts: 449000 | #Constraints: 20673
390.38/391.79 c #Conflicts: 450000 | #Constraints: 21716
390.38/391.79 c #Conflicts: 451000 | #Constraints: 22966
390.38/391.79 c #Conflicts: 452000 | #Constraints: 24104
390.38/391.79 c #Conflicts: 453000 | #Constraints: 25441
390.38/391.79 c #Conflicts: 454000 | #Constraints: 26755
390.38/391.79 c #Conflicts: 455000 | #Constraints: 27859
390.38/391.79 c #Conflicts: 456000 | #Constraints: 29099
390.38/391.79 c #Conflicts: 457000 | #Constraints: 30370
390.38/391.79 c #Conflicts: 458000 | #Constraints: 31700
390.38/391.79 c #Conflicts: 459000 | #Constraints: 33047
390.38/391.79 c #Conflicts: 460000 | #Constraints: 34076
390.38/391.79 c INPROCESSING
390.38/391.79 c GARBAGE COLLECT
390.38/391.79 c rational objective 0
412.90/414.33 c #Conflicts: 461000 | #Constraints: 18075
412.90/414.33 c #Conflicts: 462000 | #Constraints: 19379
412.90/414.33 c #Conflicts: 463000 | #Constraints: 20773
412.90/414.33 c #Conflicts: 464000 | #Constraints: 21935
412.90/414.33 c #Conflicts: 465000 | #Constraints: 23071
412.90/414.33 c #Conflicts: 466000 | #Constraints: 24423
412.90/414.33 c #Conflicts: 467000 | #Constraints: 25453
412.90/414.33 c #Conflicts: 468000 | #Constraints: 26909
412.90/414.33 c #Conflicts: 469000 | #Constraints: 28269
412.90/414.33 c #Conflicts: 470000 | #Constraints: 29521
412.90/414.33 c #Conflicts: 471000 | #Constraints: 30609
412.90/414.33 c #Conflicts: 472000 | #Constraints: 32001
412.90/414.33 c #Conflicts: 473000 | #Constraints: 33304
412.90/414.33 c #Conflicts: 474000 | #Constraints: 34518
412.90/414.33 c INPROCESSING
412.90/414.33 c GARBAGE COLLECT
412.90/414.33 c rational objective 0
436.53/438.09 c #Conflicts: 475000 | #Constraints: 18752
436.53/438.09 c #Conflicts: 476000 | #Constraints: 20248
436.53/438.09 c #Conflicts: 477000 | #Constraints: 21745
436.53/438.09 c #Conflicts: 478000 | #Constraints: 23254
436.53/438.09 c #Conflicts: 479000 | #Constraints: 24733
436.53/438.09 c #Conflicts: 480000 | #Constraints: 26141
436.53/438.09 c #Conflicts: 481000 | #Constraints: 27632
436.53/438.09 c #Conflicts: 482000 | #Constraints: 29132
436.53/438.09 c #Conflicts: 483000 | #Constraints: 30618
436.53/438.09 c #Conflicts: 484000 | #Constraints: 32099
436.53/438.09 c #Conflicts: 485000 | #Constraints: 33588
436.53/438.09 c #Conflicts: 486000 | #Constraints: 35058
436.53/438.09 c #Conflicts: 487000 | #Constraints: 36532
436.53/438.09 c #Conflicts: 488000 | #Constraints: 38019
436.53/438.09 c INPROCESSING
436.53/438.09 c GARBAGE COLLECT
436.53/438.09 c rational objective 0
466.43/468.08 c #Conflicts: 489000 | #Constraints: 20495
466.43/468.08 c #Conflicts: 490000 | #Constraints: 21992
466.43/468.08 c #Conflicts: 491000 | #Constraints: 23476
466.43/468.08 c #Conflicts: 492000 | #Constraints: 24962
466.43/468.08 c #Conflicts: 493000 | #Constraints: 26447
466.43/468.08 c #Conflicts: 494000 | #Constraints: 27938
466.43/468.08 c #Conflicts: 495000 | #Constraints: 29422
466.43/468.08 c #Conflicts: 496000 | #Constraints: 30928
466.43/468.08 c #Conflicts: 497000 | #Constraints: 32423
466.43/468.08 c #Conflicts: 498000 | #Constraints: 33879
466.43/468.08 c #Conflicts: 499000 | #Constraints: 35365
466.43/468.08 c #Conflicts: 500000 | #Constraints: 36836
466.43/468.08 c #Conflicts: 501000 | #Constraints: 38304
466.43/468.08 c #Conflicts: 502000 | #Constraints: 39765
466.43/468.08 c INPROCESSING
466.43/468.08 c GARBAGE COLLECT
466.43/468.08 c rational objective 0
492.62/494.33 c #Conflicts: 503000 | #Constraints: 21198
492.62/494.33 c #Conflicts: 504000 | #Constraints: 22677
492.62/494.33 c #Conflicts: 505000 | #Constraints: 24089
492.62/494.33 c #Conflicts: 506000 | #Constraints: 25310
492.62/494.33 c #Conflicts: 507000 | #Constraints: 26610
492.62/494.33 c #Conflicts: 508000 | #Constraints: 27785
492.62/494.33 c #Conflicts: 509000 | #Constraints: 29002
492.62/494.33 c #Conflicts: 510000 | #Constraints: 30030
492.62/494.33 c #Conflicts: 511000 | #Constraints: 31233
492.62/494.33 c #Conflicts: 512000 | #Constraints: 32293
492.62/494.33 c #Conflicts: 513000 | #Constraints: 33676
492.62/494.33 c #Conflicts: 514000 | #Constraints: 34906
492.62/494.33 c #Conflicts: 515000 | #Constraints: 36068
492.62/494.33 c #Conflicts: 516000 | #Constraints: 37340
492.62/494.33 c INPROCESSING
492.62/494.33 c GARBAGE COLLECT
492.62/494.33 c rational objective 0
517.14/518.90 c #Conflicts: 517000 | #Constraints: 19677
517.14/518.90 c #Conflicts: 518000 | #Constraints: 20734
517.14/518.90 c #Conflicts: 519000 | #Constraints: 21808
517.14/518.90 c #Conflicts: 520000 | #Constraints: 23256
517.14/518.90 c #Conflicts: 521000 | #Constraints: 24752
517.14/518.90 c #Conflicts: 522000 | #Constraints: 26223
517.14/518.90 c #Conflicts: 523000 | #Constraints: 27644
517.14/518.90 c #Conflicts: 524000 | #Constraints: 28778
517.14/518.90 c #Conflicts: 525000 | #Constraints: 30174
517.14/518.90 c #Conflicts: 526000 | #Constraints: 31325
517.14/518.90 c #Conflicts: 527000 | #Constraints: 32669
517.14/518.90 c #Conflicts: 528000 | #Constraints: 33669
517.14/518.90 c #Conflicts: 529000 | #Constraints: 34669
517.14/518.90 c #Conflicts: 530000 | #Constraints: 35950
517.14/518.90 c #Conflicts: 531000 | #Constraints: 37451
517.14/518.90 c INPROCESSING
517.14/518.90 c GARBAGE COLLECT
517.14/518.90 c rational objective 0
541.27/543.12 c #Conflicts: 532000 | #Constraints: 20062
541.27/543.12 c #Conflicts: 533000 | #Constraints: 21311
541.27/543.12 c #Conflicts: 534000 | #Constraints: 22311
541.27/543.12 c #Conflicts: 535000 | #Constraints: 23311
541.27/543.12 c #Conflicts: 536000 | #Constraints: 24311
541.27/543.12 c #Conflicts: 537000 | #Constraints: 25634
541.27/543.12 c #Conflicts: 538000 | #Constraints: 27130
541.27/543.12 c #Conflicts: 539000 | #Constraints: 28299
541.27/543.12 c #Conflicts: 540000 | #Constraints: 29444
541.27/543.12 c #Conflicts: 541000 | #Constraints: 30944
541.27/543.12 c #Conflicts: 542000 | #Constraints: 32188
541.27/543.12 c #Conflicts: 543000 | #Constraints: 33658
541.27/543.12 c #Conflicts: 544000 | #Constraints: 35141
541.27/543.12 c #Conflicts: 545000 | #Constraints: 36611
541.27/543.12 c #Conflicts: 546000 | #Constraints: 38104
541.27/543.12 c INPROCESSING
541.27/543.12 c GARBAGE COLLECT
541.27/543.12 c rational objective 0
563.49/565.43 c #Conflicts: 547000 | #Constraints: 20265
563.49/565.43 c #Conflicts: 548000 | #Constraints: 21267
563.49/565.43 c #Conflicts: 549000 | #Constraints: 22271
563.49/565.43 c #Conflicts: 550000 | #Constraints: 23288
563.49/565.43 c #Conflicts: 551000 | #Constraints: 24324
563.49/565.43 c #Conflicts: 552000 | #Constraints: 25352
563.49/565.43 c #Conflicts: 553000 | #Constraints: 26385
563.49/565.43 c #Conflicts: 554000 | #Constraints: 27410
563.49/565.43 c #Conflicts: 555000 | #Constraints: 28465
563.49/565.43 c #Conflicts: 556000 | #Constraints: 29466
563.49/565.43 c #Conflicts: 557000 | #Constraints: 30513
563.49/565.43 c #Conflicts: 558000 | #Constraints: 31572
563.49/565.43 c #Conflicts: 559000 | #Constraints: 32615
563.49/565.43 c #Conflicts: 560000 | #Constraints: 33639
563.49/565.43 c #Conflicts: 561000 | #Constraints: 34642
563.49/565.43 c INPROCESSING
563.49/565.43 c GARBAGE COLLECT
563.49/565.43 c rational objective 0
583.51/585.53 c #Conflicts: 562000 | #Constraints: 18396
583.51/585.53 c #Conflicts: 563000 | #Constraints: 19396
583.51/585.53 c #Conflicts: 564000 | #Constraints: 20466
583.51/585.53 c #Conflicts: 565000 | #Constraints: 21469
583.51/585.53 c #Conflicts: 566000 | #Constraints: 22475
583.51/585.53 c #Conflicts: 567000 | #Constraints: 23475
583.51/585.53 c #Conflicts: 568000 | #Constraints: 24487
583.51/585.53 c #Conflicts: 569000 | #Constraints: 25492
583.51/585.53 c #Conflicts: 570000 | #Constraints: 26522
583.51/585.53 c #Conflicts: 571000 | #Constraints: 27530
583.51/585.53 c #Conflicts: 572000 | #Constraints: 28567
583.51/585.53 c #Conflicts: 573000 | #Constraints: 29568
583.51/585.53 c #Conflicts: 574000 | #Constraints: 30617
583.51/585.53 c #Conflicts: 575000 | #Constraints: 31683
583.51/585.53 c #Conflicts: 576000 | #Constraints: 32688
583.51/585.53 c INPROCESSING
583.51/585.53 c GARBAGE COLLECT
583.51/585.53 c rational objective 0
603.07/605.17 c #Conflicts: 577000 | #Constraints: 17262
603.07/605.17 c #Conflicts: 578000 | #Constraints: 18262
603.07/605.17 c #Conflicts: 579000 | #Constraints: 19262
603.07/605.17 c #Conflicts: 580000 | #Constraints: 20262
603.07/605.17 c #Conflicts: 581000 | #Constraints: 21264
603.07/605.17 c #Conflicts: 582000 | #Constraints: 22264
603.07/605.17 c #Conflicts: 583000 | #Constraints: 23265
603.07/605.17 c #Conflicts: 584000 | #Constraints: 24265
603.07/605.17 c #Conflicts: 585000 | #Constraints: 25266
603.07/605.17 c #Conflicts: 586000 | #Constraints: 26267
603.07/605.17 c #Conflicts: 587000 | #Constraints: 27269
603.07/605.17 c #Conflicts: 588000 | #Constraints: 28269
603.07/605.17 c #Conflicts: 589000 | #Constraints: 29272
603.07/605.17 c #Conflicts: 590000 | #Constraints: 30272
603.07/605.17 c #Conflicts: 591000 | #Constraints: 31272
603.07/605.17 c INPROCESSING
603.07/605.17 c GARBAGE COLLECT
603.07/605.17 c rational objective 0
627.08/629.26 c #Conflicts: 592000 | #Constraints: 16516
627.08/629.26 c #Conflicts: 593000 | #Constraints: 18008
627.08/629.26 c #Conflicts: 594000 | #Constraints: 19511
627.08/629.26 c #Conflicts: 595000 | #Constraints: 20987
627.08/629.26 c #Conflicts: 596000 | #Constraints: 22467
627.08/629.26 c #Conflicts: 597000 | #Constraints: 23955
627.08/629.26 c #Conflicts: 598000 | #Constraints: 25448
627.08/629.26 c #Conflicts: 599000 | #Constraints: 26944
627.08/629.26 c #Conflicts: 600000 | #Constraints: 28437
627.08/629.26 c #Conflicts: 601000 | #Constraints: 29927
627.08/629.26 c #Conflicts: 602000 | #Constraints: 31427
627.08/629.26 c #Conflicts: 603000 | #Constraints: 32922
627.08/629.26 c #Conflicts: 604000 | #Constraints: 34413
627.08/629.26 c #Conflicts: 605000 | #Constraints: 35867
627.08/629.26 c #Conflicts: 606000 | #Constraints: 37352
627.08/629.26 c #Conflicts: 607000 | #Constraints: 38834
627.08/629.26 c INPROCESSING
627.08/629.26 c GARBAGE COLLECT
627.08/629.26 c rational objective 0
652.29/654.50 c #Conflicts: 608000 | #Constraints: 20458
652.29/654.50 c #Conflicts: 609000 | #Constraints: 21626
652.29/654.50 c #Conflicts: 610000 | #Constraints: 22861
652.29/654.50 c #Conflicts: 611000 | #Constraints: 23933
652.29/654.50 c #Conflicts: 612000 | #Constraints: 25209
652.29/654.50 c #Conflicts: 613000 | #Constraints: 26258
652.29/654.50 c #Conflicts: 614000 | #Constraints: 27423
652.29/654.50 c #Conflicts: 615000 | #Constraints: 28600
652.29/654.50 c #Conflicts: 616000 | #Constraints: 29695
652.29/654.50 c #Conflicts: 617000 | #Constraints: 30695
652.29/654.50 c #Conflicts: 618000 | #Constraints: 31698
652.29/654.50 c #Conflicts: 619000 | #Constraints: 32698
652.29/654.50 c #Conflicts: 620000 | #Constraints: 33698
652.29/654.50 c #Conflicts: 621000 | #Constraints: 34698
652.29/654.50 c #Conflicts: 622000 | #Constraints: 35698
652.29/654.50 c #Conflicts: 623000 | #Constraints: 36707
652.29/654.50 c INPROCESSING
652.29/654.50 c GARBAGE COLLECT
652.29/654.50 c rational objective 0
678.89/681.23 c #Conflicts: 624000 | #Constraints: 19710
678.89/681.23 c #Conflicts: 625000 | #Constraints: 21194
678.89/681.23 c #Conflicts: 626000 | #Constraints: 22676
678.89/681.23 c #Conflicts: 627000 | #Constraints: 24177
678.89/681.23 c #Conflicts: 628000 | #Constraints: 25667
678.89/681.23 c #Conflicts: 629000 | #Constraints: 27131
678.89/681.23 c #Conflicts: 630000 | #Constraints: 28599
678.89/681.23 c #Conflicts: 631000 | #Constraints: 30081
678.89/681.23 c #Conflicts: 632000 | #Constraints: 31567
678.89/681.23 c #Conflicts: 633000 | #Constraints: 33075
678.89/681.23 c #Conflicts: 634000 | #Constraints: 34582
678.89/681.23 c #Conflicts: 635000 | #Constraints: 36076
678.89/681.23 c #Conflicts: 636000 | #Constraints: 37574
678.89/681.23 c #Conflicts: 637000 | #Constraints: 39050
678.89/681.23 c #Conflicts: 638000 | #Constraints: 40540
678.89/681.23 c #Conflicts: 639000 | #Constraints: 42029
678.89/681.23 c INPROCESSING
678.89/681.23 c GARBAGE COLLECT
678.89/681.23 c rational objective 0
708.71/711.11 c #Conflicts: 640000 | #Constraints: 22266
708.71/711.11 c #Conflicts: 641000 | #Constraints: 23726
708.71/711.11 c #Conflicts: 642000 | #Constraints: 25236
708.71/711.11 c #Conflicts: 643000 | #Constraints: 26723
708.71/711.11 c #Conflicts: 644000 | #Constraints: 28179
708.71/711.11 c #Conflicts: 645000 | #Constraints: 29687
708.71/711.11 c #Conflicts: 646000 | #Constraints: 31156
708.71/711.11 c #Conflicts: 647000 | #Constraints: 32642
708.71/711.11 c #Conflicts: 648000 | #Constraints: 34121
708.71/711.11 c #Conflicts: 649000 | #Constraints: 35629
708.71/711.11 c #Conflicts: 650000 | #Constraints: 37121
708.71/711.11 c #Conflicts: 651000 | #Constraints: 38179
708.71/711.11 c #Conflicts: 652000 | #Constraints: 39180
708.71/711.11 c #Conflicts: 653000 | #Constraints: 40181
708.71/711.11 c #Conflicts: 654000 | #Constraints: 41184
708.71/711.11 c #Conflicts: 655000 | #Constraints: 42659
708.71/711.11 c INPROCESSING
708.71/711.11 c GARBAGE COLLECT
708.71/711.11 c rational objective 0
737.30/739.81 c #Conflicts: 656000 | #Constraints: 22411
737.30/739.81 c #Conflicts: 657000 | #Constraints: 23411
737.30/739.81 c #Conflicts: 658000 | #Constraints: 24411
737.30/739.81 c #Conflicts: 659000 | #Constraints: 25730
737.30/739.81 c #Conflicts: 660000 | #Constraints: 27211
737.30/739.81 c #Conflicts: 661000 | #Constraints: 28711
737.30/739.81 c #Conflicts: 662000 | #Constraints: 29800
737.30/739.81 c #Conflicts: 663000 | #Constraints: 30800
737.30/739.81 c #Conflicts: 664000 | #Constraints: 32084
737.30/739.81 c #Conflicts: 665000 | #Constraints: 33240
737.30/739.81 c #Conflicts: 666000 | #Constraints: 34444
737.30/739.81 c #Conflicts: 667000 | #Constraints: 35444
737.30/739.81 c #Conflicts: 668000 | #Constraints: 36444
737.30/739.81 c #Conflicts: 669000 | #Constraints: 37536
737.30/739.81 c #Conflicts: 670000 | #Constraints: 39005
737.30/739.81 c #Conflicts: 671000 | #Constraints: 40005
737.30/739.81 c INPROCESSING
737.30/739.81 c GARBAGE COLLECT
737.30/739.81 c rational objective 0
767.19/769.86 c #Conflicts: 672000 | #Constraints: 20902
767.19/769.86 c #Conflicts: 673000 | #Constraints: 22394
767.19/769.86 c #Conflicts: 674000 | #Constraints: 23872
767.19/769.86 c #Conflicts: 675000 | #Constraints: 25362
767.19/769.86 c #Conflicts: 676000 | #Constraints: 26826
767.19/769.86 c #Conflicts: 677000 | #Constraints: 28314
767.19/769.86 c #Conflicts: 678000 | #Constraints: 29816
767.19/769.86 c #Conflicts: 679000 | #Constraints: 31300
767.19/769.86 c #Conflicts: 680000 | #Constraints: 32596
767.19/769.86 c #Conflicts: 681000 | #Constraints: 33597
767.19/769.86 c #Conflicts: 682000 | #Constraints: 34598
767.19/769.86 c #Conflicts: 683000 | #Constraints: 35600
767.19/769.86 c #Conflicts: 684000 | #Constraints: 37091
767.19/769.86 c #Conflicts: 685000 | #Constraints: 38567
767.19/769.86 c #Conflicts: 686000 | #Constraints: 40049
767.19/769.86 c #Conflicts: 687000 | #Constraints: 41519
767.19/769.86 c #Conflicts: 688000 | #Constraints: 43001
767.19/769.86 c INPROCESSING
767.19/769.86 c GARBAGE COLLECT
767.19/769.86 c rational objective 0
804.17/806.95 c #Conflicts: 689000 | #Constraints: 22816
804.17/806.95 c #Conflicts: 690000 | #Constraints: 24298
804.17/806.95 c #Conflicts: 691000 | #Constraints: 25781
804.17/806.95 c #Conflicts: 692000 | #Constraints: 27275
804.17/806.95 c #Conflicts: 693000 | #Constraints: 28767
804.17/806.95 c #Conflicts: 694000 | #Constraints: 30284
804.17/806.95 c #Conflicts: 695000 | #Constraints: 31758
804.17/806.95 c #Conflicts: 696000 | #Constraints: 33238
804.17/806.95 c #Conflicts: 697000 | #Constraints: 34681
804.17/806.95 c #Conflicts: 698000 | #Constraints: 36146
804.17/806.95 c #Conflicts: 699000 | #Constraints: 37631
804.17/806.95 c #Conflicts: 700000 | #Constraints: 39126
804.17/806.95 c #Conflicts: 701000 | #Constraints: 40591
804.17/806.95 c #Conflicts: 702000 | #Constraints: 42087
804.17/806.95 c #Conflicts: 703000 | #Constraints: 43579
804.17/806.95 c #Conflicts: 704000 | #Constraints: 45051
804.17/806.95 c #Conflicts: 705000 | #Constraints: 46547
804.17/806.95 c INPROCESSING
804.17/806.95 c GARBAGE COLLECT
804.17/806.95 c rational objective 0
834.77/837.61 c #Conflicts: 706000 | #Constraints: 24420
834.77/837.61 c #Conflicts: 707000 | #Constraints: 25420
834.77/837.61 c #Conflicts: 708000 | #Constraints: 26474
834.77/837.61 c #Conflicts: 709000 | #Constraints: 27562
834.77/837.61 c #Conflicts: 710000 | #Constraints: 28698
834.77/837.61 c #Conflicts: 711000 | #Constraints: 29797
834.77/837.61 c #Conflicts: 712000 | #Constraints: 30930
834.77/837.61 c #Conflicts: 713000 | #Constraints: 32239
834.77/837.61 c #Conflicts: 714000 | #Constraints: 33338
834.77/837.61 c #Conflicts: 715000 | #Constraints: 34383
834.77/837.61 c #Conflicts: 716000 | #Constraints: 35384
834.77/837.61 c #Conflicts: 717000 | #Constraints: 36384
834.77/837.61 c #Conflicts: 718000 | #Constraints: 37384
834.77/837.61 c #Conflicts: 719000 | #Constraints: 38426
834.77/837.61 c #Conflicts: 720000 | #Constraints: 39426
834.77/837.61 c #Conflicts: 721000 | #Constraints: 40426
834.77/837.61 c #Conflicts: 722000 | #Constraints: 41669
834.77/837.61 c INPROCESSING
834.77/837.61 c GARBAGE COLLECT
834.77/837.61 c rational objective 0
864.98/867.99 c #Conflicts: 723000 | #Constraints: 22071
864.98/867.99 c #Conflicts: 724000 | #Constraints: 23072
864.98/867.99 c #Conflicts: 725000 | #Constraints: 24213
864.98/867.99 c #Conflicts: 726000 | #Constraints: 25668
864.98/867.99 c #Conflicts: 727000 | #Constraints: 26834
864.98/867.99 c #Conflicts: 728000 | #Constraints: 27834
864.98/867.99 c #Conflicts: 729000 | #Constraints: 29211
864.98/867.99 c #Conflicts: 730000 | #Constraints: 30643
864.98/867.99 c #Conflicts: 731000 | #Constraints: 31742
864.98/867.99 c #Conflicts: 732000 | #Constraints: 32743
864.98/867.99 c #Conflicts: 733000 | #Constraints: 33743
864.98/867.99 c #Conflicts: 734000 | #Constraints: 34836
864.98/867.99 c #Conflicts: 735000 | #Constraints: 36090
864.98/867.99 c #Conflicts: 736000 | #Constraints: 37346
864.98/867.99 c #Conflicts: 737000 | #Constraints: 38563
864.98/867.99 c #Conflicts: 738000 | #Constraints: 40002
864.98/867.99 c #Conflicts: 739000 | #Constraints: 41279
864.98/867.99 c INPROCESSING
864.98/867.99 c GARBAGE COLLECT
864.98/867.99 c rational objective 0
892.99/896.02 c #Conflicts: 740000 | #Constraints: 21593
892.99/896.02 c #Conflicts: 741000 | #Constraints: 22634
892.99/896.02 c #Conflicts: 742000 | #Constraints: 23656
892.99/896.02 c #Conflicts: 743000 | #Constraints: 24657
892.99/896.02 c #Conflicts: 744000 | #Constraints: 25705
892.99/896.02 c #Conflicts: 745000 | #Constraints: 26705
892.99/896.02 c #Conflicts: 746000 | #Constraints: 27705
892.99/896.02 c #Conflicts: 747000 | #Constraints: 28721
892.99/896.02 c #Conflicts: 748000 | #Constraints: 29748
892.99/896.02 c #Conflicts: 749000 | #Constraints: 30751
892.99/896.02 c #Conflicts: 750000 | #Constraints: 31766
892.99/896.02 c #Conflicts: 751000 | #Constraints: 32787
892.99/896.02 c #Conflicts: 752000 | #Constraints: 33788
892.99/896.02 c #Conflicts: 753000 | #Constraints: 34788
892.99/896.02 c #Conflicts: 754000 | #Constraints: 35789
892.99/896.02 c #Conflicts: 755000 | #Constraints: 36789
892.99/896.02 c #Conflicts: 756000 | #Constraints: 37789
892.99/896.02 c INPROCESSING
892.99/896.02 c GARBAGE COLLECT
892.99/896.02 c rational objective 0
922.68/925.88 c #Conflicts: 757000 | #Constraints: 19654
922.68/925.88 c #Conflicts: 758000 | #Constraints: 21011
922.68/925.88 c #Conflicts: 759000 | #Constraints: 22328
922.68/925.88 c #Conflicts: 760000 | #Constraints: 23747
922.68/925.88 c #Conflicts: 761000 | #Constraints: 25230
922.68/925.88 c #Conflicts: 762000 | #Constraints: 26281
922.68/925.88 c #Conflicts: 763000 | #Constraints: 27747
922.68/925.88 c #Conflicts: 764000 | #Constraints: 29025
922.68/925.88 c #Conflicts: 765000 | #Constraints: 30115
922.68/925.88 c #Conflicts: 766000 | #Constraints: 31461
922.68/925.88 c #Conflicts: 767000 | #Constraints: 32573
922.68/925.88 c #Conflicts: 768000 | #Constraints: 33573
922.68/925.88 c #Conflicts: 769000 | #Constraints: 34866
922.68/925.88 c #Conflicts: 770000 | #Constraints: 36043
922.68/925.88 c #Conflicts: 771000 | #Constraints: 37043
922.68/925.88 c #Conflicts: 772000 | #Constraints: 38188
922.68/925.88 c #Conflicts: 773000 | #Constraints: 39667
922.68/925.88 c #Conflicts: 774000 | #Constraints: 41124
922.68/925.88 c INPROCESSING
922.68/925.88 c GARBAGE COLLECT
922.68/925.88 c rational objective 0
953.28/956.50 c #Conflicts: 775000 | #Constraints: 21741
953.28/956.50 c #Conflicts: 776000 | #Constraints: 23026
953.28/956.50 c #Conflicts: 777000 | #Constraints: 24160
953.28/956.50 c #Conflicts: 778000 | #Constraints: 25163
953.28/956.50 c #Conflicts: 779000 | #Constraints: 26164
953.28/956.50 c #Conflicts: 780000 | #Constraints: 27621
953.28/956.50 c #Conflicts: 781000 | #Constraints: 28906
953.28/956.50 c #Conflicts: 782000 | #Constraints: 29990
953.28/956.50 c #Conflicts: 783000 | #Constraints: 30990
953.28/956.50 c #Conflicts: 784000 | #Constraints: 32051
953.28/956.50 c #Conflicts: 785000 | #Constraints: 33051
953.28/956.50 c #Conflicts: 786000 | #Constraints: 34245
953.28/956.50 c #Conflicts: 787000 | #Constraints: 35550
953.28/956.50 c #Conflicts: 788000 | #Constraints: 36550
953.28/956.50 c #Conflicts: 789000 | #Constraints: 37903
953.28/956.50 c #Conflicts: 790000 | #Constraints: 38903
953.28/956.50 c #Conflicts: 791000 | #Constraints: 39903
953.28/956.50 c #Conflicts: 792000 | #Constraints: 40970
953.28/956.50 c INPROCESSING
953.28/956.50 c GARBAGE COLLECT
953.28/956.50 c rational objective 0
983.39/986.77 c #Conflicts: 793000 | #Constraints: 21942
983.39/986.77 c #Conflicts: 794000 | #Constraints: 23091
983.39/986.77 c #Conflicts: 795000 | #Constraints: 24091
983.39/986.77 c #Conflicts: 796000 | #Constraints: 25116
983.39/986.77 c #Conflicts: 797000 | #Constraints: 26116
983.39/986.77 c #Conflicts: 798000 | #Constraints: 27116
983.39/986.77 c #Conflicts: 799000 | #Constraints: 28501
983.39/986.77 c #Conflicts: 800000 | #Constraints: 29526
983.39/986.77 c #Conflicts: 801000 | #Constraints: 30526
983.39/986.77 c #Conflicts: 802000 | #Constraints: 31526
983.39/986.77 c #Conflicts: 803000 | #Constraints: 32526
983.39/986.77 c #Conflicts: 804000 | #Constraints: 33671
983.39/986.77 c #Conflicts: 805000 | #Constraints: 35163
983.39/986.77 c #Conflicts: 806000 | #Constraints: 36509
983.39/986.77 c #Conflicts: 807000 | #Constraints: 37718
983.39/986.77 c #Conflicts: 808000 | #Constraints: 38718
983.39/986.77 c #Conflicts: 809000 | #Constraints: 39768
983.39/986.77 c #Conflicts: 810000 | #Constraints: 40768
983.39/986.77 c INPROCESSING
983.39/986.77 c GARBAGE COLLECT
983.39/986.77 c rational objective 0
1012.10/1015.58 c #Conflicts: 811000 | #Constraints: 21452
1012.10/1015.58 c #Conflicts: 812000 | #Constraints: 22540
1012.10/1015.58 c #Conflicts: 813000 | #Constraints: 23589
1012.10/1015.58 c #Conflicts: 814000 | #Constraints: 24676
1012.10/1015.58 c #Conflicts: 815000 | #Constraints: 25676
1012.10/1015.58 c #Conflicts: 816000 | #Constraints: 26720
1012.10/1015.58 c #Conflicts: 817000 | #Constraints: 27720
1012.10/1015.58 c #Conflicts: 818000 | #Constraints: 28726
1012.10/1015.58 c #Conflicts: 819000 | #Constraints: 29781
1012.10/1015.58 c #Conflicts: 820000 | #Constraints: 30793
1012.10/1015.58 c #Conflicts: 821000 | #Constraints: 31793
1012.10/1015.58 c #Conflicts: 822000 | #Constraints: 32793
1012.10/1015.58 c #Conflicts: 823000 | #Constraints: 33794
1012.10/1015.58 c #Conflicts: 824000 | #Constraints: 34795
1012.10/1015.58 c #Conflicts: 825000 | #Constraints: 35797
1012.10/1015.58 c #Conflicts: 826000 | #Constraints: 36798
1012.10/1015.58 c #Conflicts: 827000 | #Constraints: 37863
1012.10/1015.58 c #Conflicts: 828000 | #Constraints: 38863
1012.10/1015.58 c INPROCESSING
1012.10/1015.58 c GARBAGE COLLECT
1012.10/1015.58 c rational objective 0
1047.78/1051.39 c #Conflicts: 829000 | #Constraints: 20607
1047.78/1051.39 c #Conflicts: 830000 | #Constraints: 22063
1047.78/1051.39 c #Conflicts: 831000 | #Constraints: 23418
1047.78/1051.39 c #Conflicts: 832000 | #Constraints: 24892
1047.78/1051.39 c #Conflicts: 833000 | #Constraints: 26362
1047.78/1051.39 c #Conflicts: 834000 | #Constraints: 27823
1047.78/1051.39 c #Conflicts: 835000 | #Constraints: 29235
1047.78/1051.39 c #Conflicts: 836000 | #Constraints: 30235
1047.78/1051.39 c #Conflicts: 837000 | #Constraints: 31710
1047.78/1051.39 c #Conflicts: 838000 | #Constraints: 33191
1047.78/1051.39 c #Conflicts: 839000 | #Constraints: 34674
1047.78/1051.39 c #Conflicts: 840000 | #Constraints: 36143
1047.78/1051.39 c #Conflicts: 841000 | #Constraints: 37634
1047.78/1051.39 c #Conflicts: 842000 | #Constraints: 38995
1047.78/1051.39 c #Conflicts: 843000 | #Constraints: 40472
1047.78/1051.39 c #Conflicts: 844000 | #Constraints: 41961
1047.78/1051.39 c #Conflicts: 845000 | #Constraints: 43406
1047.78/1051.39 c #Conflicts: 846000 | #Constraints: 44782
1047.78/1051.39 c INPROCESSING
1047.78/1051.39 c GARBAGE COLLECT
1047.78/1051.39 c rational objective 0
1079.68/1083.38 c #Conflicts: 847000 | #Constraints: 23226
1079.68/1083.38 c #Conflicts: 848000 | #Constraints: 24231
1079.68/1083.38 c #Conflicts: 849000 | #Constraints: 25288
1079.68/1083.38 c #Conflicts: 850000 | #Constraints: 26288
1079.68/1083.38 c #Conflicts: 851000 | #Constraints: 27289
1079.68/1083.38 c #Conflicts: 852000 | #Constraints: 28300
1079.68/1083.38 c #Conflicts: 853000 | #Constraints: 29300
1079.68/1083.38 c #Conflicts: 854000 | #Constraints: 30300
1079.68/1083.38 c #Conflicts: 855000 | #Constraints: 31311
1079.68/1083.38 c #Conflicts: 856000 | #Constraints: 32337
1079.68/1083.38 c #Conflicts: 857000 | #Constraints: 33337
1079.68/1083.38 c #Conflicts: 858000 | #Constraints: 34359
1079.68/1083.38 c #Conflicts: 859000 | #Constraints: 35359
1079.68/1083.38 c #Conflicts: 860000 | #Constraints: 36377
1079.68/1083.38 c #Conflicts: 861000 | #Constraints: 37377
1079.68/1083.38 c #Conflicts: 862000 | #Constraints: 38377
1079.68/1083.38 c #Conflicts: 863000 | #Constraints: 39377
1079.68/1083.38 c #Conflicts: 864000 | #Constraints: 40377
1079.68/1083.38 c #Conflicts: 865000 | #Constraints: 41381
1079.68/1083.38 c INPROCESSING
1079.68/1083.38 c GARBAGE COLLECT
1079.68/1083.38 c rational objective 0
1110.48/1114.29 c #Conflicts: 866000 | #Constraints: 21711
1110.48/1114.29 c #Conflicts: 867000 | #Constraints: 22711
1110.48/1114.29 c #Conflicts: 868000 | #Constraints: 23711
1110.48/1114.29 c #Conflicts: 869000 | #Constraints: 24711
1110.48/1114.29 c #Conflicts: 870000 | #Constraints: 25711
1110.48/1114.29 c #Conflicts: 871000 | #Constraints: 26711
1110.48/1114.29 c #Conflicts: 872000 | #Constraints: 27721
1110.48/1114.29 c #Conflicts: 873000 | #Constraints: 28721
1110.48/1114.29 c #Conflicts: 874000 | #Constraints: 29721
1110.48/1114.29 c #Conflicts: 875000 | #Constraints: 30722
1110.48/1114.29 c #Conflicts: 876000 | #Constraints: 31722
1110.48/1114.29 c #Conflicts: 877000 | #Constraints: 32722
1110.48/1114.29 c #Conflicts: 878000 | #Constraints: 33722
1110.48/1114.29 c #Conflicts: 879000 | #Constraints: 34722
1110.48/1114.29 c #Conflicts: 880000 | #Constraints: 35722
1110.48/1114.29 c #Conflicts: 881000 | #Constraints: 36722
1110.48/1114.29 c #Conflicts: 882000 | #Constraints: 37722
1110.48/1114.29 c #Conflicts: 883000 | #Constraints: 38722
1110.48/1114.29 c #Conflicts: 884000 | #Constraints: 39722
1110.48/1114.29 c INPROCESSING
1110.48/1114.29 c GARBAGE COLLECT
1110.48/1114.29 c rational objective 0
1150.66/1154.57 c #Conflicts: 885000 | #Constraints: 21332
1150.66/1154.57 c #Conflicts: 886000 | #Constraints: 22798
1150.66/1154.57 c #Conflicts: 887000 | #Constraints: 24274
1150.66/1154.57 c #Conflicts: 888000 | #Constraints: 25737
1150.66/1154.57 c #Conflicts: 889000 | #Constraints: 27114
1150.66/1154.57 c #Conflicts: 890000 | #Constraints: 28526
1150.66/1154.57 c #Conflicts: 891000 | #Constraints: 29990
1150.66/1154.57 c #Conflicts: 892000 | #Constraints: 31474
1150.66/1154.57 c #Conflicts: 893000 | #Constraints: 32949
1150.66/1154.57 c #Conflicts: 894000 | #Constraints: 34414
1150.66/1154.57 c #Conflicts: 895000 | #Constraints: 35871
1150.66/1154.57 c #Conflicts: 896000 | #Constraints: 37371
1150.66/1154.57 c #Conflicts: 897000 | #Constraints: 38852
1150.66/1154.57 c #Conflicts: 898000 | #Constraints: 40359
1150.66/1154.57 c #Conflicts: 899000 | #Constraints: 41831
1150.66/1154.57 c #Conflicts: 900000 | #Constraints: 43320
1150.66/1154.57 c #Conflicts: 901000 | #Constraints: 44806
1150.66/1154.57 c #Conflicts: 902000 | #Constraints: 46302
1150.66/1154.57 c #Conflicts: 903000 | #Constraints: 47773
1150.66/1154.57 c INPROCESSING
1150.66/1154.57 c GARBAGE COLLECT
1150.66/1154.57 c rational objective 0
1194.04/1198.03 c #Conflicts: 904000 | #Constraints: 25355
1194.04/1198.03 c #Conflicts: 905000 | #Constraints: 26834
1194.04/1198.03 c #Conflicts: 906000 | #Constraints: 28310
1194.04/1198.03 c #Conflicts: 907000 | #Constraints: 29810
1194.04/1198.03 c #Conflicts: 908000 | #Constraints: 31289
1194.04/1198.03 c #Conflicts: 909000 | #Constraints: 32778
1194.04/1198.03 c #Conflicts: 910000 | #Constraints: 34279
1194.04/1198.03 c #Conflicts: 911000 | #Constraints: 35509
1194.04/1198.03 c #Conflicts: 912000 | #Constraints: 36985
1194.04/1198.03 c #Conflicts: 913000 | #Constraints: 38471
1194.04/1198.03 c #Conflicts: 914000 | #Constraints: 39939
1194.04/1198.03 c #Conflicts: 915000 | #Constraints: 41413
1194.04/1198.03 c #Conflicts: 916000 | #Constraints: 42706
1194.04/1198.03 c #Conflicts: 917000 | #Constraints: 44052
1194.04/1198.03 c #Conflicts: 918000 | #Constraints: 45536
1194.04/1198.03 c #Conflicts: 919000 | #Constraints: 47007
1194.04/1198.03 c #Conflicts: 920000 | #Constraints: 48492
1194.04/1198.03 c #Conflicts: 921000 | #Constraints: 49799
1194.04/1198.03 c #Conflicts: 922000 | #Constraints: 50799
1194.04/1198.03 c INPROCESSING
1194.04/1198.03 c GARBAGE COLLECT
1194.04/1198.03 c rational objective 0
1236.47/1240.60 c #Conflicts: 923000 | #Constraints: 26693
1236.47/1240.60 c #Conflicts: 924000 | #Constraints: 28165
1236.47/1240.60 c #Conflicts: 925000 | #Constraints: 29620
1236.47/1240.60 c #Conflicts: 926000 | #Constraints: 31110
1236.47/1240.60 c #Conflicts: 927000 | #Constraints: 32588
1236.47/1240.60 c #Conflicts: 928000 | #Constraints: 33800
1236.47/1240.60 c #Conflicts: 929000 | #Constraints: 35114
1236.47/1240.60 c #Conflicts: 930000 | #Constraints: 36292
1236.47/1240.60 c #Conflicts: 931000 | #Constraints: 37757
1236.47/1240.60 c #Conflicts: 932000 | #Constraints: 39218
1236.47/1240.60 c #Conflicts: 933000 | #Constraints: 40680
1236.47/1240.60 c #Conflicts: 934000 | #Constraints: 42154
1236.47/1240.60 c #Conflicts: 935000 | #Constraints: 43626
1236.47/1240.60 c #Conflicts: 936000 | #Constraints: 45097
1236.47/1240.60 c #Conflicts: 937000 | #Constraints: 46576
1236.47/1240.60 c #Conflicts: 938000 | #Constraints: 48065
1236.47/1240.60 c #Conflicts: 939000 | #Constraints: 49551
1236.47/1240.60 c #Conflicts: 940000 | #Constraints: 51032
1236.47/1240.60 c #Conflicts: 941000 | #Constraints: 52513
1236.47/1240.60 c INPROCESSING
1236.47/1240.60 c GARBAGE COLLECT
1236.47/1240.60 c rational objective 0
1283.52/1287.81 c #Conflicts: 942000 | #Constraints: 27169
1283.52/1287.81 c #Conflicts: 943000 | #Constraints: 28639
1283.52/1287.81 c #Conflicts: 944000 | #Constraints: 30123
1283.52/1287.81 c #Conflicts: 945000 | #Constraints: 31619
1283.52/1287.81 c #Conflicts: 946000 | #Constraints: 33104
1283.52/1287.81 c #Conflicts: 947000 | #Constraints: 34539
1283.52/1287.81 c #Conflicts: 948000 | #Constraints: 36030
1283.52/1287.81 c #Conflicts: 949000 | #Constraints: 37525
1283.52/1287.81 c #Conflicts: 950000 | #Constraints: 38971
1283.52/1287.81 c #Conflicts: 951000 | #Constraints: 40447
1283.52/1287.81 c #Conflicts: 952000 | #Constraints: 41938
1283.52/1287.81 c #Conflicts: 953000 | #Constraints: 43423
1283.52/1287.81 c #Conflicts: 954000 | #Constraints: 44891
1283.52/1287.81 c #Conflicts: 955000 | #Constraints: 46388
1283.52/1287.81 c #Conflicts: 956000 | #Constraints: 47867
1283.52/1287.81 c #Conflicts: 957000 | #Constraints: 49324
1283.52/1287.81 c #Conflicts: 958000 | #Constraints: 50803
1283.52/1287.81 c #Conflicts: 959000 | #Constraints: 52266
1283.52/1287.81 c #Conflicts: 960000 | #Constraints: 53758
1283.52/1287.81 c #Conflicts: 961000 | #Constraints: 55239
1283.52/1287.81 c INPROCESSING
1283.52/1287.81 c GARBAGE COLLECT
1283.52/1287.81 c rational objective 0
1333.77/1338.20 c #Conflicts: 962000 | #Constraints: 28915
1333.77/1338.20 c #Conflicts: 963000 | #Constraints: 30402
1333.77/1338.20 c #Conflicts: 964000 | #Constraints: 31911
1333.77/1338.20 c #Conflicts: 965000 | #Constraints: 33394
1333.77/1338.20 c #Conflicts: 966000 | #Constraints: 34641
1333.77/1338.20 c #Conflicts: 967000 | #Constraints: 36132
1333.77/1338.20 c #Conflicts: 968000 | #Constraints: 37612
1333.77/1338.20 c #Conflicts: 969000 | #Constraints: 39124
1333.77/1338.20 c #Conflicts: 970000 | #Constraints: 40627
1333.77/1338.20 c #Conflicts: 971000 | #Constraints: 42060
1333.77/1338.20 c #Conflicts: 972000 | #Constraints: 43321
1333.77/1338.20 c #Conflicts: 973000 | #Constraints: 44831
1333.77/1338.20 c #Conflicts: 974000 | #Constraints: 46333
1333.77/1338.20 c #Conflicts: 975000 | #Constraints: 47813
1333.77/1338.20 c #Conflicts: 976000 | #Constraints: 49297
1333.77/1338.20 c #Conflicts: 977000 | #Constraints: 50722
1333.77/1338.20 c #Conflicts: 978000 | #Constraints: 51967
1333.77/1338.20 c #Conflicts: 979000 | #Constraints: 53441
1333.77/1338.20 c #Conflicts: 980000 | #Constraints: 54933
1333.77/1338.20 c #Conflicts: 981000 | #Constraints: 56424
1333.77/1338.20 c INPROCESSING
1333.77/1338.20 c GARBAGE COLLECT
1333.77/1338.20 c rational objective 0
1378.44/1383.05 c #Conflicts: 982000 | #Constraints: 29233
1378.44/1383.05 c #Conflicts: 983000 | #Constraints: 30233
1378.44/1383.05 c #Conflicts: 984000 | #Constraints: 31233
1378.44/1383.05 c #Conflicts: 985000 | #Constraints: 32233
1378.44/1383.05 c #Conflicts: 986000 | #Constraints: 33234
1378.44/1383.05 c #Conflicts: 987000 | #Constraints: 34234
1378.44/1383.05 c #Conflicts: 988000 | #Constraints: 35234
1378.44/1383.05 c #Conflicts: 989000 | #Constraints: 36234
1378.44/1383.05 c #Conflicts: 990000 | #Constraints: 37234
1378.44/1383.05 c #Conflicts: 991000 | #Constraints: 38234
1378.44/1383.05 c #Conflicts: 992000 | #Constraints: 39234
1378.44/1383.05 c #Conflicts: 993000 | #Constraints: 40234
1378.44/1383.05 c #Conflicts: 994000 | #Constraints: 41234
1378.44/1383.05 c #Conflicts: 995000 | #Constraints: 42234
1378.44/1383.05 c #Conflicts: 996000 | #Constraints: 43235
1378.44/1383.05 c #Conflicts: 997000 | #Constraints: 44236
1378.44/1383.05 c #Conflicts: 998000 | #Constraints: 45236
1378.44/1383.05 c #Conflicts: 999000 | #Constraints: 46236
1378.44/1383.05 c #Conflicts: 1000000 | #Constraints: 47236
1378.44/1383.05 c #Conflicts: 1001000 | #Constraints: 48236
1378.44/1383.05 c INPROCESSING
1378.44/1383.05 c GARBAGE COLLECT
1378.44/1383.05 c rational objective 0
1418.81/1423.52 c #Conflicts: 1002000 | #Constraints: 25357
1418.81/1423.52 c #Conflicts: 1003000 | #Constraints: 26630
1418.81/1423.52 c #Conflicts: 1004000 | #Constraints: 27682
1418.81/1423.52 c #Conflicts: 1005000 | #Constraints: 28710
1418.81/1423.52 c #Conflicts: 1006000 | #Constraints: 29844
1418.81/1423.52 c #Conflicts: 1007000 | #Constraints: 31049
1418.81/1423.52 c #Conflicts: 1008000 | #Constraints: 32224
1418.81/1423.52 c #Conflicts: 1009000 | #Constraints: 33249
1418.81/1423.52 c #Conflicts: 1010000 | #Constraints: 34513
1418.81/1423.52 c #Conflicts: 1011000 | #Constraints: 35711
1418.81/1423.52 c #Conflicts: 1012000 | #Constraints: 36779
1418.81/1423.52 c #Conflicts: 1013000 | #Constraints: 37992
1418.81/1423.52 c #Conflicts: 1014000 | #Constraints: 39050
1418.81/1423.52 c #Conflicts: 1015000 | #Constraints: 40190
1418.81/1423.52 c #Conflicts: 1016000 | #Constraints: 41214
1418.81/1423.52 c #Conflicts: 1017000 | #Constraints: 42454
1418.81/1423.52 c #Conflicts: 1018000 | #Constraints: 43643
1418.81/1423.52 c #Conflicts: 1019000 | #Constraints: 44791
1418.81/1423.52 c #Conflicts: 1020000 | #Constraints: 45885
1418.81/1423.52 c #Conflicts: 1021000 | #Constraints: 47108
1418.81/1423.52 c INPROCESSING
1418.81/1423.52 c GARBAGE COLLECT
1418.81/1423.52 c rational objective 0
1456.49/1461.35 c #Conflicts: 1022000 | #Constraints: 24706
1456.49/1461.35 c #Conflicts: 1023000 | #Constraints: 25841
1456.49/1461.35 c #Conflicts: 1024000 | #Constraints: 27037
1456.49/1461.35 c #Conflicts: 1025000 | #Constraints: 28111
1456.49/1461.35 c #Conflicts: 1026000 | #Constraints: 29248
1456.49/1461.35 c #Conflicts: 1027000 | #Constraints: 30252
1456.49/1461.35 c #Conflicts: 1028000 | #Constraints: 31285
1456.49/1461.35 c #Conflicts: 1029000 | #Constraints: 32287
1456.49/1461.35 c #Conflicts: 1030000 | #Constraints: 33310
1456.49/1461.35 c #Conflicts: 1031000 | #Constraints: 34311
1456.49/1461.35 c #Conflicts: 1032000 | #Constraints: 35311
1456.49/1461.35 c #Conflicts: 1033000 | #Constraints: 36315
1456.49/1461.35 c #Conflicts: 1034000 | #Constraints: 37315
1456.49/1461.35 c #Conflicts: 1035000 | #Constraints: 38330
1456.49/1461.35 c #Conflicts: 1036000 | #Constraints: 39331
1456.49/1461.35 c #Conflicts: 1037000 | #Constraints: 40358
1456.49/1461.35 c #Conflicts: 1038000 | #Constraints: 41358
1456.49/1461.35 c #Conflicts: 1039000 | #Constraints: 42363
1456.49/1461.35 c #Conflicts: 1040000 | #Constraints: 43407
1456.49/1461.35 c #Conflicts: 1041000 | #Constraints: 44407
1456.49/1461.35 c INPROCESSING
1456.49/1461.35 c GARBAGE COLLECT
1456.49/1461.35 c rational objective 0
1493.49/1498.41 c #Conflicts: 1042000 | #Constraints: 22972
1493.49/1498.41 c #Conflicts: 1043000 | #Constraints: 24078
1493.49/1498.41 c #Conflicts: 1044000 | #Constraints: 25078
1493.49/1498.41 c #Conflicts: 1045000 | #Constraints: 26134
1493.49/1498.41 c #Conflicts: 1046000 | #Constraints: 27227
1493.49/1498.41 c #Conflicts: 1047000 | #Constraints: 28305
1493.49/1498.41 c #Conflicts: 1048000 | #Constraints: 29381
1493.49/1498.41 c #Conflicts: 1049000 | #Constraints: 30434
1493.49/1498.41 c #Conflicts: 1050000 | #Constraints: 31465
1493.49/1498.41 c #Conflicts: 1051000 | #Constraints: 32497
1493.49/1498.41 c #Conflicts: 1052000 | #Constraints: 33506
1493.49/1498.41 c #Conflicts: 1053000 | #Constraints: 34521
1493.49/1498.41 c #Conflicts: 1054000 | #Constraints: 35633
1493.49/1498.41 c #Conflicts: 1055000 | #Constraints: 36731
1493.49/1498.41 c #Conflicts: 1056000 | #Constraints: 37785
1493.49/1498.41 c #Conflicts: 1057000 | #Constraints: 38880
1493.49/1498.41 c #Conflicts: 1058000 | #Constraints: 39889
1493.49/1498.41 c #Conflicts: 1059000 | #Constraints: 40910
1493.49/1498.41 c #Conflicts: 1060000 | #Constraints: 42029
1493.49/1498.41 c #Conflicts: 1061000 | #Constraints: 43029
1493.49/1498.41 c #Conflicts: 1062000 | #Constraints: 44036
1493.49/1498.41 c INPROCESSING
1493.49/1498.41 c GARBAGE COLLECT
1493.49/1498.41 c rational objective 0
1531.87/1536.91 c #Conflicts: 1063000 | #Constraints: 23183
1531.87/1536.91 c #Conflicts: 1064000 | #Constraints: 24348
1531.87/1536.91 c #Conflicts: 1065000 | #Constraints: 25366
1531.87/1536.91 c #Conflicts: 1066000 | #Constraints: 26503
1531.87/1536.91 c #Conflicts: 1067000 | #Constraints: 27503
1531.87/1536.91 c #Conflicts: 1068000 | #Constraints: 28569
1531.87/1536.91 c #Conflicts: 1069000 | #Constraints: 29968
1531.87/1536.91 c #Conflicts: 1070000 | #Constraints: 31223
1531.87/1536.91 c #Conflicts: 1071000 | #Constraints: 32408
1531.87/1536.91 c #Conflicts: 1072000 | #Constraints: 33408
1531.87/1536.91 c #Conflicts: 1073000 | #Constraints: 34456
1531.87/1536.91 c #Conflicts: 1074000 | #Constraints: 35467
1531.87/1536.91 c #Conflicts: 1075000 | #Constraints: 36779
1531.87/1536.91 c #Conflicts: 1076000 | #Constraints: 37783
1531.87/1536.91 c #Conflicts: 1077000 | #Constraints: 38976
1531.87/1536.91 c #Conflicts: 1078000 | #Constraints: 40331
1531.87/1536.91 c #Conflicts: 1079000 | #Constraints: 41719
1531.87/1536.91 c #Conflicts: 1080000 | #Constraints: 43090
1531.87/1536.91 c #Conflicts: 1081000 | #Constraints: 44090
1531.87/1536.91 c #Conflicts: 1082000 | #Constraints: 45121
1531.87/1536.91 c #Conflicts: 1083000 | #Constraints: 46198
1531.87/1536.91 c INPROCESSING
1531.87/1536.91 c GARBAGE COLLECT
1531.87/1536.91 c rational objective 0
1570.15/1575.32 c #Conflicts: 1084000 | #Constraints: 24222
1570.15/1575.32 c #Conflicts: 1085000 | #Constraints: 25236
1570.15/1575.32 c #Conflicts: 1086000 | #Constraints: 26290
1570.15/1575.32 c #Conflicts: 1087000 | #Constraints: 27322
1570.15/1575.32 c #Conflicts: 1088000 | #Constraints: 28322
1570.15/1575.32 c #Conflicts: 1089000 | #Constraints: 29353
1570.15/1575.32 c #Conflicts: 1090000 | #Constraints: 30410
1570.15/1575.32 c #Conflicts: 1091000 | #Constraints: 31423
1570.15/1575.32 c #Conflicts: 1092000 | #Constraints: 32610
1570.15/1575.32 c #Conflicts: 1093000 | #Constraints: 33610
1570.15/1575.32 c #Conflicts: 1094000 | #Constraints: 34610
1570.15/1575.32 c #Conflicts: 1095000 | #Constraints: 35628
1570.15/1575.32 c #Conflicts: 1096000 | #Constraints: 36696
1570.15/1575.32 c #Conflicts: 1097000 | #Constraints: 37696
1570.15/1575.32 c #Conflicts: 1098000 | #Constraints: 38705
1570.15/1575.32 c #Conflicts: 1099000 | #Constraints: 39705
1570.15/1575.32 c #Conflicts: 1100000 | #Constraints: 40715
1570.15/1575.32 c #Conflicts: 1101000 | #Constraints: 41737
1570.15/1575.32 c #Conflicts: 1102000 | #Constraints: 42800
1570.15/1575.32 c #Conflicts: 1103000 | #Constraints: 43814
1570.15/1575.32 c #Conflicts: 1104000 | #Constraints: 44831
1570.15/1575.32 c INPROCESSING
1570.15/1575.32 c GARBAGE COLLECT
1570.15/1575.32 c rational objective 0
1607.45/1612.72 c #Conflicts: 1105000 | #Constraints: 23444
1607.45/1612.72 c #Conflicts: 1106000 | #Constraints: 24605
1607.45/1612.72 c #Conflicts: 1107000 | #Constraints: 25611
1607.45/1612.72 c #Conflicts: 1108000 | #Constraints: 26611
1607.45/1612.72 c #Conflicts: 1109000 | #Constraints: 27611
1607.45/1612.72 c #Conflicts: 1110000 | #Constraints: 28750
1607.45/1612.72 c #Conflicts: 1111000 | #Constraints: 29772
1607.45/1612.72 c #Conflicts: 1112000 | #Constraints: 30826
1607.45/1612.72 c #Conflicts: 1113000 | #Constraints: 31837
1607.45/1612.72 c #Conflicts: 1114000 | #Constraints: 32837
1607.45/1612.72 c #Conflicts: 1115000 | #Constraints: 33842
1607.45/1612.72 c #Conflicts: 1116000 | #Constraints: 34857
1607.45/1612.72 c #Conflicts: 1117000 | #Constraints: 35863
1607.45/1612.72 c #Conflicts: 1118000 | #Constraints: 36864
1607.45/1612.72 c #Conflicts: 1119000 | #Constraints: 37864
1607.45/1612.72 c #Conflicts: 1120000 | #Constraints: 38892
1607.45/1612.72 c #Conflicts: 1121000 | #Constraints: 39917
1607.45/1612.72 c #Conflicts: 1122000 | #Constraints: 40938
1607.45/1612.72 c #Conflicts: 1123000 | #Constraints: 42014
1607.45/1612.72 c #Conflicts: 1124000 | #Constraints: 43046
1607.45/1612.72 c #Conflicts: 1125000 | #Constraints: 44046
1607.45/1612.72 c INPROCESSING
1607.45/1612.72 c GARBAGE COLLECT
1607.45/1612.72 c rational objective 0
1641.54/1646.98 c #Conflicts: 1126000 | #Constraints: 22945
1641.54/1646.98 c #Conflicts: 1127000 | #Constraints: 23945
1641.54/1646.98 c #Conflicts: 1128000 | #Constraints: 24945
1641.54/1646.98 c #Conflicts: 1129000 | #Constraints: 25945
1641.54/1646.98 c #Conflicts: 1130000 | #Constraints: 26946
1641.54/1646.98 c #Conflicts: 1131000 | #Constraints: 27947
1641.54/1646.98 c #Conflicts: 1132000 | #Constraints: 28947
1641.54/1646.98 c #Conflicts: 1133000 | #Constraints: 29947
1641.54/1646.98 c #Conflicts: 1134000 | #Constraints: 30947
1641.54/1646.98 c #Conflicts: 1135000 | #Constraints: 31947
1641.54/1646.98 c #Conflicts: 1136000 | #Constraints: 32947
1641.54/1646.98 c #Conflicts: 1137000 | #Constraints: 33947
1641.54/1646.98 c #Conflicts: 1138000 | #Constraints: 34948
1641.54/1646.98 c #Conflicts: 1139000 | #Constraints: 35948
1641.54/1646.98 c #Conflicts: 1140000 | #Constraints: 36948
1641.54/1646.98 c #Conflicts: 1141000 | #Constraints: 37948
1641.54/1646.98 c #Conflicts: 1142000 | #Constraints: 38948
1641.54/1646.98 c #Conflicts: 1143000 | #Constraints: 39949
1641.54/1646.98 c #Conflicts: 1144000 | #Constraints: 40949
1641.54/1646.98 c #Conflicts: 1145000 | #Constraints: 41950
1641.54/1646.98 c #Conflicts: 1146000 | #Constraints: 42950
1641.54/1646.98 c INPROCESSING
1641.54/1646.98 c GARBAGE COLLECT
1641.54/1646.98 c rational objective 0
1676.44/1681.99 c #Conflicts: 1147000 | #Constraints: 22192
1676.44/1681.99 c #Conflicts: 1148000 | #Constraints: 23282
1676.44/1681.99 c #Conflicts: 1149000 | #Constraints: 24282
1676.44/1681.99 c #Conflicts: 1150000 | #Constraints: 25294
1676.44/1681.99 c #Conflicts: 1151000 | #Constraints: 26358
1676.44/1681.99 c #Conflicts: 1152000 | #Constraints: 27372
1676.44/1681.99 c #Conflicts: 1153000 | #Constraints: 28395
1676.44/1681.99 c #Conflicts: 1154000 | #Constraints: 29395
1676.44/1681.99 c #Conflicts: 1155000 | #Constraints: 30395
1676.44/1681.99 c #Conflicts: 1156000 | #Constraints: 31395
1676.44/1681.99 c #Conflicts: 1157000 | #Constraints: 32395
1676.44/1681.99 c #Conflicts: 1158000 | #Constraints: 33395
1676.44/1681.99 c #Conflicts: 1159000 | #Constraints: 34401
1676.44/1681.99 c #Conflicts: 1160000 | #Constraints: 35401
1676.44/1681.99 c #Conflicts: 1161000 | #Constraints: 36401
1676.44/1681.99 c #Conflicts: 1162000 | #Constraints: 37407
1676.44/1681.99 c #Conflicts: 1163000 | #Constraints: 38407
1676.44/1681.99 c #Conflicts: 1164000 | #Constraints: 39407
1676.44/1681.99 c #Conflicts: 1165000 | #Constraints: 40407
1676.44/1681.99 c #Conflicts: 1166000 | #Constraints: 41425
1676.44/1681.99 c #Conflicts: 1167000 | #Constraints: 42425
1676.44/1681.99 c #Conflicts: 1168000 | #Constraints: 43425
1676.44/1681.99 c INPROCESSING
1676.44/1681.99 c GARBAGE COLLECT
1676.44/1681.99 c rational objective 0
1712.62/1718.28 c #Conflicts: 1169000 | #Constraints: 22731
1712.62/1718.28 c #Conflicts: 1170000 | #Constraints: 23869
1712.62/1718.28 c #Conflicts: 1171000 | #Constraints: 24869
1712.62/1718.28 c #Conflicts: 1172000 | #Constraints: 25887
1712.62/1718.28 c #Conflicts: 1173000 | #Constraints: 27027
1712.62/1718.28 c #Conflicts: 1174000 | #Constraints: 28046
1712.62/1718.28 c #Conflicts: 1175000 | #Constraints: 29046
1712.62/1718.28 c #Conflicts: 1176000 | #Constraints: 30046
1712.62/1718.28 c #Conflicts: 1177000 | #Constraints: 31068
1712.62/1718.28 c #Conflicts: 1178000 | #Constraints: 32068
1712.62/1718.28 c #Conflicts: 1179000 | #Constraints: 33068
1712.62/1718.28 c #Conflicts: 1180000 | #Constraints: 34069
1712.62/1718.28 c #Conflicts: 1181000 | #Constraints: 35072
1712.62/1718.28 c #Conflicts: 1182000 | #Constraints: 36072
1712.62/1718.28 c #Conflicts: 1183000 | #Constraints: 37086
1712.62/1718.28 c #Conflicts: 1184000 | #Constraints: 38086
1712.62/1718.28 c #Conflicts: 1185000 | #Constraints: 39087
1712.62/1718.28 c #Conflicts: 1186000 | #Constraints: 40087
1712.62/1718.28 c #Conflicts: 1187000 | #Constraints: 41121
1712.62/1718.28 c #Conflicts: 1188000 | #Constraints: 42121
1712.62/1718.28 c #Conflicts: 1189000 | #Constraints: 43121
1712.62/1718.28 c #Conflicts: 1190000 | #Constraints: 44121
1712.62/1718.28 c INPROCESSING
1712.62/1718.28 c GARBAGE COLLECT
1712.62/1718.28 c rational objective 0
1748.59/1754.34 c #Conflicts: 1191000 | #Constraints: 23205
1748.59/1754.34 c #Conflicts: 1192000 | #Constraints: 24297
1748.59/1754.34 c #Conflicts: 1193000 | #Constraints: 25304
1748.59/1754.34 c #Conflicts: 1194000 | #Constraints: 26304
1748.59/1754.34 c #Conflicts: 1195000 | #Constraints: 27304
1748.59/1754.34 c #Conflicts: 1196000 | #Constraints: 28304
1748.59/1754.34 c #Conflicts: 1197000 | #Constraints: 29304
1748.59/1754.34 c #Conflicts: 1198000 | #Constraints: 30304
1748.59/1754.34 c #Conflicts: 1199000 | #Constraints: 31306
1748.59/1754.34 c #Conflicts: 1200000 | #Constraints: 32306
1748.59/1754.34 c #Conflicts: 1201000 | #Constraints: 33306
1748.59/1754.34 c #Conflicts: 1202000 | #Constraints: 34306
1748.59/1754.34 c #Conflicts: 1203000 | #Constraints: 35306
1748.59/1754.34 c #Conflicts: 1204000 | #Constraints: 36307
1748.59/1754.34 c #Conflicts: 1205000 | #Constraints: 37313
1748.59/1754.34 c #Conflicts: 1206000 | #Constraints: 38314
1748.59/1754.34 c #Conflicts: 1207000 | #Constraints: 39314
1748.59/1754.34 c #Conflicts: 1208000 | #Constraints: 40314
1748.59/1754.34 c #Conflicts: 1209000 | #Constraints: 41314
1748.59/1754.34 c #Conflicts: 1210000 | #Constraints: 42316
1748.59/1754.34 c #Conflicts: 1211000 | #Constraints: 43383
1748.59/1754.34 c #Conflicts: 1212000 | #Constraints: 44384
1748.59/1754.34 c INPROCESSING
1748.59/1754.34 c GARBAGE COLLECT
1748.59/1754.34 c rational objective 0
1786.75/1792.63 c #Conflicts: 1213000 | #Constraints: 23211
1786.75/1792.63 c #Conflicts: 1214000 | #Constraints: 24211
1786.75/1792.63 c #Conflicts: 1215000 | #Constraints: 25211
1786.75/1792.63 c #Conflicts: 1216000 | #Constraints: 26211
1786.75/1792.63 c #Conflicts: 1217000 | #Constraints: 27211
1786.75/1792.63 c #Conflicts: 1218000 | #Constraints: 28211
1786.75/1792.63 c #Conflicts: 1219000 | #Constraints: 29212
1786.75/1792.63 c #Conflicts: 1220000 | #Constraints: 30212
1786.75/1792.63 c #Conflicts: 1221000 | #Constraints: 31212
1786.75/1792.63 c #Conflicts: 1222000 | #Constraints: 32212
1786.75/1792.63 c #Conflicts: 1223000 | #Constraints: 33212
1786.75/1792.63 c #Conflicts: 1224000 | #Constraints: 34212
1786.75/1792.63 c #Conflicts: 1225000 | #Constraints: 35212
1786.75/1792.63 c #Conflicts: 1226000 | #Constraints: 36212
1786.75/1792.63 c #Conflicts: 1227000 | #Constraints: 37212
1786.75/1792.63 c #Conflicts: 1228000 | #Constraints: 38212
1786.75/1792.63 c #Conflicts: 1229000 | #Constraints: 39213
1786.75/1792.63 c #Conflicts: 1230000 | #Constraints: 40213
1786.75/1792.63 c #Conflicts: 1231000 | #Constraints: 41213
1786.75/1792.63 c #Conflicts: 1232000 | #Constraints: 42213
1786.75/1792.63 c #Conflicts: 1233000 | #Constraints: 43214
1786.75/1792.63 c #Conflicts: 1234000 | #Constraints: 44215
1786.75/1792.63 c INPROCESSING
1786.75/1792.63 c GARBAGE COLLECT
1786.75/1792.63 c rational objective 0
1836.98/1843.02 c #Conflicts: 1235000 | #Constraints: 23360
1836.98/1843.02 c #Conflicts: 1236000 | #Constraints: 24831
1836.98/1843.02 c #Conflicts: 1237000 | #Constraints: 26328
1836.98/1843.02 c #Conflicts: 1238000 | #Constraints: 27805
1836.98/1843.02 c #Conflicts: 1239000 | #Constraints: 29284
1836.98/1843.02 c #Conflicts: 1240000 | #Constraints: 30792
1836.98/1843.02 c #Conflicts: 1241000 | #Constraints: 32260
1836.98/1843.02 c #Conflicts: 1242000 | #Constraints: 33731
1836.98/1843.02 c #Conflicts: 1243000 | #Constraints: 35195
1836.98/1843.02 c #Conflicts: 1244000 | #Constraints: 36678
1836.98/1843.02 c #Conflicts: 1245000 | #Constraints: 38155
1836.98/1843.02 c #Conflicts: 1246000 | #Constraints: 39651
1836.98/1843.02 c #Conflicts: 1247000 | #Constraints: 41151
1836.98/1843.02 c #Conflicts: 1248000 | #Constraints: 42643
1836.98/1843.02 c #Conflicts: 1249000 | #Constraints: 44129
1836.98/1843.02 c #Conflicts: 1250000 | #Constraints: 45634
1836.98/1843.02 c #Conflicts: 1251000 | #Constraints: 47133
1836.98/1843.02 c #Conflicts: 1252000 | #Constraints: 48599
1836.98/1843.02 c #Conflicts: 1253000 | #Constraints: 50077
1836.98/1843.02 c #Conflicts: 1254000 | #Constraints: 51560
1836.98/1843.02 c #Conflicts: 1255000 | #Constraints: 53049
1836.98/1843.02 c #Conflicts: 1256000 | #Constraints: 54556
1836.98/1843.02 c INPROCESSING
1836.98/1843.02 c GARBAGE COLLECT
1836.98/1843.02 c rational objective 0
1883.10/1889.38 c #Conflicts: 1257000 | #Constraints: 28211
1883.10/1889.38 c #Conflicts: 1258000 | #Constraints: 29548
1883.10/1889.38 c #Conflicts: 1259000 | #Constraints: 30859
1883.10/1889.38 c #Conflicts: 1260000 | #Constraints: 31901
1883.10/1889.38 c #Conflicts: 1261000 | #Constraints: 33101
1883.10/1889.38 c #Conflicts: 1262000 | #Constraints: 34237
1883.10/1889.38 c #Conflicts: 1263000 | #Constraints: 35383
1883.10/1889.38 c #Conflicts: 1264000 | #Constraints: 36383
1883.10/1889.38 c #Conflicts: 1265000 | #Constraints: 37450
1883.10/1889.38 c #Conflicts: 1266000 | #Constraints: 38934
1883.10/1889.38 c #Conflicts: 1267000 | #Constraints: 40376
1883.10/1889.38 c #Conflicts: 1268000 | #Constraints: 41459
1883.10/1889.38 c #Conflicts: 1269000 | #Constraints: 42460
1883.10/1889.38 c #Conflicts: 1270000 | #Constraints: 43649
1883.10/1889.38 c #Conflicts: 1271000 | #Constraints: 44759
1883.10/1889.38 c #Conflicts: 1272000 | #Constraints: 45762
1883.10/1889.38 c #Conflicts: 1273000 | #Constraints: 46794
1883.10/1889.38 c #Conflicts: 1274000 | #Constraints: 47994
1883.10/1889.38 c #Conflicts: 1275000 | #Constraints: 48994
1883.10/1889.38 c #Conflicts: 1276000 | #Constraints: 49994
1883.10/1889.38 c #Conflicts: 1277000 | #Constraints: 51116
1883.10/1889.38 c #Conflicts: 1278000 | #Constraints: 52201
1883.10/1889.38 c #Conflicts: 1279000 | #Constraints: 53201
1883.10/1889.38 c INPROCESSING
1883.10/1889.38 c GARBAGE COLLECT
1883.10/1889.38 c rational objective 0
1934.42/1940.88 c #Conflicts: 1280000 | #Constraints: 27519
1934.42/1940.88 c #Conflicts: 1281000 | #Constraints: 28519
1934.42/1940.88 c #Conflicts: 1282000 | #Constraints: 29519
1934.42/1940.88 c #Conflicts: 1283000 | #Constraints: 30616
1934.42/1940.88 c #Conflicts: 1284000 | #Constraints: 32090
1934.42/1940.88 c #Conflicts: 1285000 | #Constraints: 33571
1934.42/1940.88 c #Conflicts: 1286000 | #Constraints: 35059
1934.42/1940.88 c #Conflicts: 1287000 | #Constraints: 36296
1934.42/1940.88 c #Conflicts: 1288000 | #Constraints: 37296
1934.42/1940.88 c #Conflicts: 1289000 | #Constraints: 38297
1934.42/1940.88 c #Conflicts: 1290000 | #Constraints: 39298
1934.42/1940.88 c #Conflicts: 1291000 | #Constraints: 40540
1934.42/1940.88 c #Conflicts: 1292000 | #Constraints: 42019
1934.42/1940.88 c #Conflicts: 1293000 | #Constraints: 43507
1934.42/1940.88 c #Conflicts: 1294000 | #Constraints: 44993
1934.42/1940.88 c #Conflicts: 1295000 | #Constraints: 46458
1934.42/1940.88 c #Conflicts: 1296000 | #Constraints: 47893
1934.42/1940.88 c #Conflicts: 1297000 | #Constraints: 48895
1934.42/1940.88 c #Conflicts: 1298000 | #Constraints: 49896
1934.42/1940.88 c #Conflicts: 1299000 | #Constraints: 50897
1934.42/1940.88 c #Conflicts: 1300000 | #Constraints: 51897
1934.42/1940.88 c #Conflicts: 1301000 | #Constraints: 52899
1934.42/1940.88 c #Conflicts: 1302000 | #Constraints: 53899
1934.42/1940.88 c INPROCESSING
1934.42/1940.88 c GARBAGE COLLECT
1934.42/1940.88 c rational objective 0
1981.08/1987.60 c #Conflicts: 1303000 | #Constraints: 28000
1981.08/1987.60 c #Conflicts: 1304000 | #Constraints: 29000
1981.08/1987.60 c #Conflicts: 1305000 | #Constraints: 30000
1981.08/1987.60 c #Conflicts: 1306000 | #Constraints: 31000
1981.08/1987.60 c #Conflicts: 1307000 | #Constraints: 32000
1981.08/1987.60 c #Conflicts: 1308000 | #Constraints: 33014
1981.08/1987.60 c #Conflicts: 1309000 | #Constraints: 34015
1981.08/1987.60 c #Conflicts: 1310000 | #Constraints: 35015
1981.08/1987.60 c #Conflicts: 1311000 | #Constraints: 36015
1981.08/1987.60 c #Conflicts: 1312000 | #Constraints: 37015
1981.08/1987.60 c #Conflicts: 1313000 | #Constraints: 38015
1981.08/1987.60 c #Conflicts: 1314000 | #Constraints: 39015
1981.08/1987.60 c #Conflicts: 1315000 | #Constraints: 40020
1981.08/1987.60 c #Conflicts: 1316000 | #Constraints: 41021
1981.08/1987.60 c #Conflicts: 1317000 | #Constraints: 42021
1981.08/1987.60 c #Conflicts: 1318000 | #Constraints: 43021
1981.08/1987.60 c #Conflicts: 1319000 | #Constraints: 44021
1981.08/1987.60 c #Conflicts: 1320000 | #Constraints: 45021
1981.08/1987.60 c #Conflicts: 1321000 | #Constraints: 46021
1981.08/1987.60 c #Conflicts: 1322000 | #Constraints: 47021
1981.08/1987.60 c #Conflicts: 1323000 | #Constraints: 48025
1981.08/1987.60 c #Conflicts: 1324000 | #Constraints: 49026
1981.08/1987.60 c #Conflicts: 1325000 | #Constraints: 50026
1981.08/1987.60 c INPROCESSING
1981.08/1987.60 c GARBAGE COLLECT
1981.08/1987.60 c rational objective 0
2025.25/2031.97 c #Conflicts: 1326000 | #Constraints: 26161
2025.25/2031.97 c #Conflicts: 1327000 | #Constraints: 27193
2025.25/2031.97 c #Conflicts: 1328000 | #Constraints: 28195
2025.25/2031.97 c #Conflicts: 1329000 | #Constraints: 29211
2025.25/2031.97 c #Conflicts: 1330000 | #Constraints: 30211
2025.25/2031.97 c #Conflicts: 1331000 | #Constraints: 31226
2025.25/2031.97 c #Conflicts: 1332000 | #Constraints: 32236
2025.25/2031.97 c #Conflicts: 1333000 | #Constraints: 33239
2025.25/2031.97 c #Conflicts: 1334000 | #Constraints: 34322
2025.25/2031.97 c #Conflicts: 1335000 | #Constraints: 35339
2025.25/2031.97 c #Conflicts: 1336000 | #Constraints: 36368
2025.25/2031.97 c #Conflicts: 1337000 | #Constraints: 37368
2025.25/2031.97 c #Conflicts: 1338000 | #Constraints: 38368
2025.25/2031.97 c #Conflicts: 1339000 | #Constraints: 39368
2025.25/2031.97 c #Conflicts: 1340000 | #Constraints: 40411
2025.25/2031.97 c #Conflicts: 1341000 | #Constraints: 41447
2025.25/2031.97 c #Conflicts: 1342000 | #Constraints: 42447
2025.25/2031.97 c #Conflicts: 1343000 | #Constraints: 43447
2025.25/2031.97 c #Conflicts: 1344000 | #Constraints: 44470
2025.25/2031.97 c #Conflicts: 1345000 | #Constraints: 45470
2025.25/2031.97 c #Conflicts: 1346000 | #Constraints: 46477
2025.25/2031.97 c #Conflicts: 1347000 | #Constraints: 47477
2025.25/2031.97 c #Conflicts: 1348000 | #Constraints: 48477
2025.25/2031.97 c INPROCESSING
2025.25/2031.97 c GARBAGE COLLECT
2025.25/2031.97 c rational objective 0
2080.68/2087.54 c #Conflicts: 1349000 | #Constraints: 25510
2080.68/2087.54 c #Conflicts: 1350000 | #Constraints: 26997
2080.68/2087.54 c #Conflicts: 1351000 | #Constraints: 28477
2080.68/2087.54 c #Conflicts: 1352000 | #Constraints: 29986
2080.68/2087.54 c #Conflicts: 1353000 | #Constraints: 31457
2080.68/2087.54 c #Conflicts: 1354000 | #Constraints: 32942
2080.68/2087.54 c #Conflicts: 1355000 | #Constraints: 34441
2080.68/2087.54 c #Conflicts: 1356000 | #Constraints: 35944
2080.68/2087.54 c #Conflicts: 1357000 | #Constraints: 37439
2080.68/2087.54 c #Conflicts: 1358000 | #Constraints: 38941
2080.68/2087.54 c #Conflicts: 1359000 | #Constraints: 40422
2080.68/2087.54 c #Conflicts: 1360000 | #Constraints: 41912
2080.68/2087.54 c #Conflicts: 1361000 | #Constraints: 43404
2080.68/2087.54 c #Conflicts: 1362000 | #Constraints: 44891
2080.68/2087.54 c #Conflicts: 1363000 | #Constraints: 46366
2080.68/2087.54 c #Conflicts: 1364000 | #Constraints: 47831
2080.68/2087.54 c #Conflicts: 1365000 | #Constraints: 49312
2080.68/2087.54 c #Conflicts: 1366000 | #Constraints: 50808
2080.68/2087.54 c #Conflicts: 1367000 | #Constraints: 52283
2080.68/2087.54 c #Conflicts: 1368000 | #Constraints: 53770
2080.68/2087.54 c #Conflicts: 1369000 | #Constraints: 55245
2080.68/2087.54 c #Conflicts: 1370000 | #Constraints: 56723
2080.68/2087.54 c #Conflicts: 1371000 | #Constraints: 58197
2080.68/2087.54 c INPROCESSING
2080.68/2087.54 c GARBAGE COLLECT
2080.68/2087.54 c rational objective 0
2135.61/2142.62 c #Conflicts: 1372000 | #Constraints: 30146
2135.61/2142.62 c #Conflicts: 1373000 | #Constraints: 31379
2135.61/2142.62 c #Conflicts: 1374000 | #Constraints: 32557
2135.61/2142.62 c #Conflicts: 1375000 | #Constraints: 33732
2135.61/2142.62 c #Conflicts: 1376000 | #Constraints: 34732
2135.61/2142.62 c #Conflicts: 1377000 | #Constraints: 35923
2135.61/2142.62 c #Conflicts: 1378000 | #Constraints: 37395
2135.61/2142.62 c #Conflicts: 1379000 | #Constraints: 38503
2135.61/2142.62 c #Conflicts: 1380000 | #Constraints: 39503
2135.61/2142.62 c #Conflicts: 1381000 | #Constraints: 40503
2135.61/2142.62 c #Conflicts: 1382000 | #Constraints: 41503
2135.61/2142.62 c #Conflicts: 1383000 | #Constraints: 42503
2135.61/2142.62 c #Conflicts: 1384000 | #Constraints: 43503
2135.61/2142.62 c #Conflicts: 1385000 | #Constraints: 44503
2135.61/2142.62 c #Conflicts: 1386000 | #Constraints: 45936
2135.61/2142.62 c #Conflicts: 1387000 | #Constraints: 47411
2135.61/2142.62 c #Conflicts: 1388000 | #Constraints: 48903
2135.61/2142.62 c #Conflicts: 1389000 | #Constraints: 50400
2135.61/2142.62 c #Conflicts: 1390000 | #Constraints: 51876
2135.61/2142.62 c #Conflicts: 1391000 | #Constraints: 53136
2135.61/2142.62 c #Conflicts: 1392000 | #Constraints: 54559
2135.61/2142.62 c #Conflicts: 1393000 | #Constraints: 55980
2135.61/2142.62 c #Conflicts: 1394000 | #Constraints: 57213
2135.61/2142.62 c #Conflicts: 1395000 | #Constraints: 58698
2135.61/2142.62 c INPROCESSING
2135.61/2142.62 c GARBAGE COLLECT
2135.61/2142.62 c rational objective 0
2194.69/2201.92 c #Conflicts: 1396000 | #Constraints: 30412
2194.69/2201.92 c #Conflicts: 1397000 | #Constraints: 31524
2194.69/2201.92 c #Conflicts: 1398000 | #Constraints: 32968
2194.69/2201.92 c #Conflicts: 1399000 | #Constraints: 34365
2194.69/2201.92 c #Conflicts: 1400000 | #Constraints: 35548
2194.69/2201.92 c #Conflicts: 1401000 | #Constraints: 37021
2194.69/2201.92 c #Conflicts: 1402000 | #Constraints: 38237
2194.69/2201.92 c #Conflicts: 1403000 | #Constraints: 39715
2194.69/2201.92 c #Conflicts: 1404000 | #Constraints: 40721
2194.69/2201.92 c #Conflicts: 1405000 | #Constraints: 42136
2194.69/2201.92 c #Conflicts: 1406000 | #Constraints: 43616
2194.69/2201.92 c #Conflicts: 1407000 | #Constraints: 45110
2194.69/2201.92 c #Conflicts: 1408000 | #Constraints: 46594
2194.69/2201.92 c #Conflicts: 1409000 | #Constraints: 48075
2194.69/2201.92 c #Conflicts: 1410000 | #Constraints: 49567
2194.69/2201.92 c #Conflicts: 1411000 | #Constraints: 51044
2194.69/2201.92 c #Conflicts: 1412000 | #Constraints: 52531
2194.69/2201.92 c #Conflicts: 1413000 | #Constraints: 53531
2194.69/2201.92 c #Conflicts: 1414000 | #Constraints: 54531
2194.69/2201.92 c #Conflicts: 1415000 | #Constraints: 55531
2194.69/2201.92 c #Conflicts: 1416000 | #Constraints: 56531
2194.69/2201.92 c #Conflicts: 1417000 | #Constraints: 57978
2194.69/2201.92 c #Conflicts: 1418000 | #Constraints: 59430
2194.69/2201.92 c #Conflicts: 1419000 | #Constraints: 60892
2194.69/2201.92 c INPROCESSING
2194.69/2201.92 c GARBAGE COLLECT
2194.69/2201.92 c rational objective 0
2257.06/2264.59 c #Conflicts: 1420000 | #Constraints: 31938
2257.06/2264.59 c #Conflicts: 1421000 | #Constraints: 33162
2257.06/2264.59 c #Conflicts: 1422000 | #Constraints: 34531
2257.06/2264.59 c #Conflicts: 1423000 | #Constraints: 35751
2257.06/2264.59 c #Conflicts: 1424000 | #Constraints: 36920
2257.06/2264.59 c #Conflicts: 1425000 | #Constraints: 38042
2257.06/2264.59 c #Conflicts: 1426000 | #Constraints: 39507
2257.06/2264.59 c #Conflicts: 1427000 | #Constraints: 40861
2257.06/2264.59 c #Conflicts: 1428000 | #Constraints: 42159
2257.06/2264.59 c #Conflicts: 1429000 | #Constraints: 43159
2257.06/2264.59 c #Conflicts: 1430000 | #Constraints: 44468
2257.06/2264.59 c #Conflicts: 1431000 | #Constraints: 45869
2257.06/2264.59 c #Conflicts: 1432000 | #Constraints: 46869
2257.06/2264.59 c #Conflicts: 1433000 | #Constraints: 47918
2257.06/2264.59 c #Conflicts: 1434000 | #Constraints: 48995
2257.06/2264.59 c #Conflicts: 1435000 | #Constraints: 50485
2257.06/2264.59 c #Conflicts: 1436000 | #Constraints: 51966
2257.06/2264.59 c #Conflicts: 1437000 | #Constraints: 53453
2257.06/2264.59 c #Conflicts: 1438000 | #Constraints: 54921
2257.06/2264.59 c #Conflicts: 1439000 | #Constraints: 56410
2257.06/2264.59 c #Conflicts: 1440000 | #Constraints: 57895
2257.06/2264.59 c #Conflicts: 1441000 | #Constraints: 59361
2257.06/2264.59 c #Conflicts: 1442000 | #Constraints: 60838
2257.06/2264.59 c #Conflicts: 1443000 | #Constraints: 62324
2257.06/2264.59 c INPROCESSING
2257.06/2264.59 c GARBAGE COLLECT
2257.06/2264.59 c rational objective 0
2318.54/2326.23 c #Conflicts: 1444000 | #Constraints: 32285
2318.54/2326.23 c #Conflicts: 1445000 | #Constraints: 33378
2318.54/2326.23 c #Conflicts: 1446000 | #Constraints: 34414
2318.54/2326.23 c #Conflicts: 1447000 | #Constraints: 35544
2318.54/2326.23 c #Conflicts: 1448000 | #Constraints: 36544
2318.54/2326.23 c #Conflicts: 1449000 | #Constraints: 37553
2318.54/2326.23 c #Conflicts: 1450000 | #Constraints: 38640
2318.54/2326.23 c #Conflicts: 1451000 | #Constraints: 39640
2318.54/2326.23 c #Conflicts: 1452000 | #Constraints: 40651
2318.54/2326.23 c #Conflicts: 1453000 | #Constraints: 41652
2318.54/2326.23 c #Conflicts: 1454000 | #Constraints: 42652
2318.54/2326.23 c #Conflicts: 1455000 | #Constraints: 43652
2318.54/2326.23 c #Conflicts: 1456000 | #Constraints: 44723
2318.54/2326.23 c #Conflicts: 1457000 | #Constraints: 45726
2318.54/2326.23 c #Conflicts: 1458000 | #Constraints: 46726
2318.54/2326.23 c #Conflicts: 1459000 | #Constraints: 47726
2318.54/2326.23 c #Conflicts: 1460000 | #Constraints: 48726
2318.54/2326.23 c #Conflicts: 1461000 | #Constraints: 49726
2318.54/2326.23 c #Conflicts: 1462000 | #Constraints: 50748
2318.54/2326.23 c #Conflicts: 1463000 | #Constraints: 51748
2318.54/2326.23 c #Conflicts: 1464000 | #Constraints: 52748
2318.54/2326.23 c #Conflicts: 1465000 | #Constraints: 53748
2318.54/2326.23 c #Conflicts: 1466000 | #Constraints: 54758
2318.54/2326.23 c #Conflicts: 1467000 | #Constraints: 55758
2318.54/2326.23 c INPROCESSING
2318.54/2326.23 c GARBAGE COLLECT
2318.54/2326.23 c rational objective 0
2374.03/2381.90 c #Conflicts: 1468000 | #Constraints: 28864
2374.03/2381.90 c #Conflicts: 1469000 | #Constraints: 29864
2374.03/2381.90 c #Conflicts: 1470000 | #Constraints: 31022
2374.03/2381.90 c #Conflicts: 1471000 | #Constraints: 32139
2374.03/2381.90 c #Conflicts: 1472000 | #Constraints: 33139
2374.03/2381.90 c #Conflicts: 1473000 | #Constraints: 34139
2374.03/2381.90 c #Conflicts: 1474000 | #Constraints: 35139
2374.03/2381.90 c #Conflicts: 1475000 | #Constraints: 36139
2374.03/2381.90 c #Conflicts: 1476000 | #Constraints: 37140
2374.03/2381.90 c #Conflicts: 1477000 | #Constraints: 38155
2374.03/2381.90 c #Conflicts: 1478000 | #Constraints: 39433
2374.03/2381.90 c #Conflicts: 1479000 | #Constraints: 40624
2374.03/2381.90 c #Conflicts: 1480000 | #Constraints: 41718
2374.03/2381.90 c #Conflicts: 1481000 | #Constraints: 42858
2374.03/2381.90 c #Conflicts: 1482000 | #Constraints: 43858
2374.03/2381.90 c #Conflicts: 1483000 | #Constraints: 44858
2374.03/2381.90 c #Conflicts: 1484000 | #Constraints: 45858
2374.03/2381.90 c #Conflicts: 1485000 | #Constraints: 47046
2374.03/2381.90 c #Conflicts: 1486000 | #Constraints: 48046
2374.03/2381.90 c #Conflicts: 1487000 | #Constraints: 49046
2374.03/2381.90 c #Conflicts: 1488000 | #Constraints: 50183
2374.03/2381.90 c #Conflicts: 1489000 | #Constraints: 51198
2374.03/2381.90 c #Conflicts: 1490000 | #Constraints: 52198
2374.03/2381.90 c #Conflicts: 1491000 | #Constraints: 53399
2374.03/2381.90 c INPROCESSING
2374.03/2381.90 c GARBAGE COLLECT
2374.03/2381.90 c rational objective 0
2427.25/2435.32 c #Conflicts: 1492000 | #Constraints: 27457
2427.25/2435.32 c #Conflicts: 1493000 | #Constraints: 28495
2427.25/2435.32 c #Conflicts: 1494000 | #Constraints: 29503
2427.25/2435.32 c #Conflicts: 1495000 | #Constraints: 30504
2427.25/2435.32 c #Conflicts: 1496000 | #Constraints: 31504
2427.25/2435.32 c #Conflicts: 1497000 | #Constraints: 32504
2427.25/2435.32 c #Conflicts: 1498000 | #Constraints: 33506
2427.25/2435.32 c #Conflicts: 1499000 | #Constraints: 34506
2427.25/2435.32 c #Conflicts: 1500000 | #Constraints: 35524
2427.25/2435.32 c #Conflicts: 1501000 | #Constraints: 36585
2427.25/2435.32 c #Conflicts: 1502000 | #Constraints: 37680
2427.25/2435.32 c #Conflicts: 1503000 | #Constraints: 38680
2427.25/2435.32 c #Conflicts: 1504000 | #Constraints: 39680
2427.25/2435.32 c #Conflicts: 1505000 | #Constraints: 40681
2427.25/2435.32 c #Conflicts: 1506000 | #Constraints: 41682
2427.25/2435.32 c #Conflicts: 1507000 | #Constraints: 42689
2427.25/2435.32 c #Conflicts: 1508000 | #Constraints: 43689
2427.25/2435.32 c #Conflicts: 1509000 | #Constraints: 44689
2427.25/2435.32 c #Conflicts: 1510000 | #Constraints: 45689
2427.25/2435.32 c #Conflicts: 1511000 | #Constraints: 46689
2427.25/2435.32 c #Conflicts: 1512000 | #Constraints: 47690
2427.25/2435.32 c #Conflicts: 1513000 | #Constraints: 48690
2427.25/2435.32 c #Conflicts: 1514000 | #Constraints: 49691
2427.25/2435.32 c #Conflicts: 1515000 | #Constraints: 50711
2427.25/2435.32 c #Conflicts: 1516000 | #Constraints: 51711
2427.25/2435.32 c INPROCESSING
2427.25/2435.32 c GARBAGE COLLECT
2427.25/2435.32 c rational objective 0
2484.43/2492.72 c #Conflicts: 1517000 | #Constraints: 27045
2484.43/2492.72 c #Conflicts: 1518000 | #Constraints: 28045
2484.43/2492.72 c #Conflicts: 1519000 | #Constraints: 29045
2484.43/2492.72 c #Conflicts: 1520000 | #Constraints: 30090
2484.43/2492.72 c #Conflicts: 1521000 | #Constraints: 31310
2484.43/2492.72 c #Conflicts: 1522000 | #Constraints: 32794
2484.43/2492.72 c #Conflicts: 1523000 | #Constraints: 34272
2484.43/2492.72 c #Conflicts: 1524000 | #Constraints: 35587
2484.43/2492.72 c #Conflicts: 1525000 | #Constraints: 36972
2484.43/2492.72 c #Conflicts: 1526000 | #Constraints: 38294
2484.43/2492.72 c #Conflicts: 1527000 | #Constraints: 39764
2484.43/2492.72 c #Conflicts: 1528000 | #Constraints: 40976
2484.43/2492.72 c #Conflicts: 1529000 | #Constraints: 42331
2484.43/2492.72 c #Conflicts: 1530000 | #Constraints: 43331
2484.43/2492.72 c #Conflicts: 1531000 | #Constraints: 44737
2484.43/2492.72 c #Conflicts: 1532000 | #Constraints: 45874
2484.43/2492.72 c #Conflicts: 1533000 | #Constraints: 46927
2484.43/2492.72 c #Conflicts: 1534000 | #Constraints: 48359
2484.43/2492.72 c #Conflicts: 1535000 | #Constraints: 49359
2484.43/2492.72 c #Conflicts: 1536000 | #Constraints: 50359
2484.43/2492.72 c #Conflicts: 1537000 | #Constraints: 51674
2484.43/2492.72 c #Conflicts: 1538000 | #Constraints: 52694
2484.43/2492.72 c #Conflicts: 1539000 | #Constraints: 53701
2484.43/2492.72 c #Conflicts: 1540000 | #Constraints: 54816
2484.43/2492.72 c #Conflicts: 1541000 | #Constraints: 55816
2484.43/2492.72 c INPROCESSING
2484.43/2492.72 c GARBAGE COLLECT
2484.43/2492.72 c rational objective 0
2537.76/2546.25 c #Conflicts: 1542000 | #Constraints: 28928
2537.76/2546.25 c #Conflicts: 1543000 | #Constraints: 29928
2537.76/2546.25 c #Conflicts: 1544000 | #Constraints: 30928
2537.76/2546.25 c #Conflicts: 1545000 | #Constraints: 31928
2537.76/2546.25 c #Conflicts: 1546000 | #Constraints: 32928
2537.76/2546.25 c #Conflicts: 1547000 | #Constraints: 33928
2537.76/2546.25 c #Conflicts: 1548000 | #Constraints: 34928
2537.76/2546.25 c #Conflicts: 1549000 | #Constraints: 35928
2537.76/2546.25 c #Conflicts: 1550000 | #Constraints: 36928
2537.76/2546.25 c #Conflicts: 1551000 | #Constraints: 37928
2537.76/2546.25 c #Conflicts: 1552000 | #Constraints: 38928
2537.76/2546.25 c #Conflicts: 1553000 | #Constraints: 39928
2537.76/2546.25 c #Conflicts: 1554000 | #Constraints: 40929
2537.76/2546.25 c #Conflicts: 1555000 | #Constraints: 41929
2537.76/2546.25 c #Conflicts: 1556000 | #Constraints: 42929
2537.76/2546.25 c #Conflicts: 1557000 | #Constraints: 43929
2537.76/2546.25 c #Conflicts: 1558000 | #Constraints: 44929
2537.76/2546.25 c #Conflicts: 1559000 | #Constraints: 45930
2537.76/2546.25 c #Conflicts: 1560000 | #Constraints: 46930
2537.76/2546.25 c #Conflicts: 1561000 | #Constraints: 47930
2537.76/2546.25 c #Conflicts: 1562000 | #Constraints: 48930
2537.76/2546.25 c #Conflicts: 1563000 | #Constraints: 49930
2537.76/2546.25 c #Conflicts: 1564000 | #Constraints: 50930
2537.76/2546.25 c #Conflicts: 1565000 | #Constraints: 51930
2537.76/2546.25 c #Conflicts: 1566000 | #Constraints: 52930
2537.76/2546.25 c INPROCESSING
2537.76/2546.25 c GARBAGE COLLECT
2537.76/2546.25 c rational objective 0
2595.77/2604.42 c #Conflicts: 1567000 | #Constraints: 27520
2595.77/2604.42 c #Conflicts: 1568000 | #Constraints: 28537
2595.77/2604.42 c #Conflicts: 1569000 | #Constraints: 29586
2595.77/2604.42 c #Conflicts: 1570000 | #Constraints: 30631
2595.77/2604.42 c #Conflicts: 1571000 | #Constraints: 31713
2595.77/2604.42 c #Conflicts: 1572000 | #Constraints: 32739
2595.77/2604.42 c #Conflicts: 1573000 | #Constraints: 33830
2595.77/2604.42 c #Conflicts: 1574000 | #Constraints: 34847
2595.77/2604.42 c #Conflicts: 1575000 | #Constraints: 35898
2595.77/2604.42 c #Conflicts: 1576000 | #Constraints: 36898
2595.77/2604.42 c #Conflicts: 1577000 | #Constraints: 38003
2595.77/2604.42 c #Conflicts: 1578000 | #Constraints: 39004
2595.77/2604.42 c #Conflicts: 1579000 | #Constraints: 40037
2595.77/2604.42 c #Conflicts: 1580000 | #Constraints: 41088
2595.77/2604.42 c #Conflicts: 1581000 | #Constraints: 42124
2595.77/2604.42 c #Conflicts: 1582000 | #Constraints: 43124
2595.77/2604.42 c #Conflicts: 1583000 | #Constraints: 44147
2595.77/2604.42 c #Conflicts: 1584000 | #Constraints: 45230
2595.77/2604.42 c #Conflicts: 1585000 | #Constraints: 46230
2595.77/2604.42 c #Conflicts: 1586000 | #Constraints: 47230
2595.77/2604.42 c #Conflicts: 1587000 | #Constraints: 48230
2595.77/2604.42 c #Conflicts: 1588000 | #Constraints: 49272
2595.77/2604.42 c #Conflicts: 1589000 | #Constraints: 50286
2595.77/2604.42 c #Conflicts: 1590000 | #Constraints: 51286
2595.77/2604.42 c #Conflicts: 1591000 | #Constraints: 52289
2595.77/2604.42 c INPROCESSING
2595.77/2604.42 c GARBAGE COLLECT
2595.77/2604.42 c rational objective 0
2664.06/2672.96 c #Conflicts: 1592000 | #Constraints: 27412
2664.06/2672.96 c #Conflicts: 1593000 | #Constraints: 28869
2664.06/2672.96 c #Conflicts: 1594000 | #Constraints: 30276
2664.06/2672.96 c #Conflicts: 1595000 | #Constraints: 31766
2664.06/2672.96 c #Conflicts: 1596000 | #Constraints: 33228
2664.06/2672.96 c #Conflicts: 1597000 | #Constraints: 34702
2664.06/2672.96 c #Conflicts: 1598000 | #Constraints: 36180
2664.06/2672.96 c #Conflicts: 1599000 | #Constraints: 37597
2664.06/2672.96 c #Conflicts: 1600000 | #Constraints: 39083
2664.06/2672.96 c #Conflicts: 1601000 | #Constraints: 40574
2664.06/2672.96 c #Conflicts: 1602000 | #Constraints: 42039
2664.06/2672.96 c #Conflicts: 1603000 | #Constraints: 43513
2664.06/2672.96 c #Conflicts: 1604000 | #Constraints: 44984
2664.06/2672.96 c #Conflicts: 1605000 | #Constraints: 46459
2664.06/2672.96 c #Conflicts: 1606000 | #Constraints: 47922
2664.06/2672.96 c #Conflicts: 1607000 | #Constraints: 49300
2664.06/2672.96 c #Conflicts: 1608000 | #Constraints: 50750
2664.06/2672.96 c #Conflicts: 1609000 | #Constraints: 52225
2664.06/2672.96 c #Conflicts: 1610000 | #Constraints: 53693
2664.06/2672.96 c #Conflicts: 1611000 | #Constraints: 55208
2664.06/2672.96 c #Conflicts: 1612000 | #Constraints: 56536
2664.06/2672.96 c #Conflicts: 1613000 | #Constraints: 58015
2664.06/2672.96 c #Conflicts: 1614000 | #Constraints: 59503
2664.06/2672.96 c #Conflicts: 1615000 | #Constraints: 60981
2664.06/2672.96 c #Conflicts: 1616000 | #Constraints: 62472
2664.06/2672.96 c INPROCESSING
2664.06/2672.96 c GARBAGE COLLECT
2664.06/2672.96 c rational objective 0
2742.70/2751.89 c #Conflicts: 1617000 | #Constraints: 32107
2742.70/2751.89 c #Conflicts: 1618000 | #Constraints: 33315
2742.70/2751.89 c #Conflicts: 1619000 | #Constraints: 34507
2742.70/2751.89 c #Conflicts: 1620000 | #Constraints: 35802
2742.70/2751.89 c #Conflicts: 1621000 | #Constraints: 36990
2742.70/2751.89 c #Conflicts: 1622000 | #Constraints: 38175
2742.70/2751.89 c #Conflicts: 1623000 | #Constraints: 39296
2742.70/2751.89 c #Conflicts: 1624000 | #Constraints: 40378
2742.70/2751.89 c #Conflicts: 1625000 | #Constraints: 41556
2742.70/2751.89 c #Conflicts: 1626000 | #Constraints: 42810
2742.70/2751.89 c #Conflicts: 1627000 | #Constraints: 43849
2742.70/2751.89 c #Conflicts: 1628000 | #Constraints: 45077
2742.70/2751.89 c #Conflicts: 1629000 | #Constraints: 46077
2742.70/2751.89 c #Conflicts: 1630000 | #Constraints: 47093
2742.70/2751.89 c #Conflicts: 1631000 | #Constraints: 48095
2742.70/2751.89 c #Conflicts: 1632000 | #Constraints: 49399
2742.70/2751.89 c #Conflicts: 1633000 | #Constraints: 50547
2742.70/2751.89 c #Conflicts: 1634000 | #Constraints: 51708
2742.70/2751.89 c #Conflicts: 1635000 | #Constraints: 52708
2742.70/2751.89 c #Conflicts: 1636000 | #Constraints: 53708
2742.70/2751.89 c #Conflicts: 1637000 | #Constraints: 54891
2742.70/2751.89 c #Conflicts: 1638000 | #Constraints: 55950
2742.70/2751.89 c #Conflicts: 1639000 | #Constraints: 57114
2742.70/2751.89 c #Conflicts: 1640000 | #Constraints: 58114
2742.70/2751.89 c #Conflicts: 1641000 | #Constraints: 59114
2742.70/2751.89 c #Conflicts: 1642000 | #Constraints: 60114
2742.70/2751.89 c INPROCESSING
2742.70/2751.89 c GARBAGE COLLECT
2742.70/2751.89 c rational objective 0
2807.91/2817.29 c #Conflicts: 1643000 | #Constraints: 31220
2807.91/2817.29 c #Conflicts: 1644000 | #Constraints: 32220
2807.91/2817.29 c #Conflicts: 1645000 | #Constraints: 33220
2807.91/2817.29 c #Conflicts: 1646000 | #Constraints: 34414
2807.91/2817.29 c #Conflicts: 1647000 | #Constraints: 35527
2807.91/2817.29 c #Conflicts: 1648000 | #Constraints: 36727
2807.91/2817.29 c #Conflicts: 1649000 | #Constraints: 37760
2807.91/2817.29 c #Conflicts: 1650000 | #Constraints: 38760
2807.91/2817.29 c #Conflicts: 1651000 | #Constraints: 39761
2807.91/2817.29 c #Conflicts: 1652000 | #Constraints: 40917
2807.91/2817.29 c #Conflicts: 1653000 | #Constraints: 41917
2807.91/2817.29 c #Conflicts: 1654000 | #Constraints: 42917
2807.91/2817.29 c #Conflicts: 1655000 | #Constraints: 43917
2807.91/2817.29 c #Conflicts: 1656000 | #Constraints: 44917
2807.91/2817.29 c #Conflicts: 1657000 | #Constraints: 45917
2807.91/2817.29 c #Conflicts: 1658000 | #Constraints: 46917
2807.91/2817.29 c #Conflicts: 1659000 | #Constraints: 47917
2807.91/2817.29 c #Conflicts: 1660000 | #Constraints: 48918
2807.91/2817.29 c #Conflicts: 1661000 | #Constraints: 49948
2807.91/2817.29 c #Conflicts: 1662000 | #Constraints: 51029
2807.91/2817.29 c #Conflicts: 1663000 | #Constraints: 52180
2807.91/2817.29 c #Conflicts: 1664000 | #Constraints: 53180
2807.91/2817.29 c #Conflicts: 1665000 | #Constraints: 54447
2807.91/2817.29 c #Conflicts: 1666000 | #Constraints: 55631
2807.91/2817.29 c #Conflicts: 1667000 | #Constraints: 56631
2807.91/2817.29 c #Conflicts: 1668000 | #Constraints: 57631
2807.91/2817.29 c INPROCESSING
2807.91/2817.29 c GARBAGE COLLECT
2807.91/2817.29 c rational objective 0
2868.39/2877.96 c #Conflicts: 1669000 | #Constraints: 29884
2868.39/2877.96 c #Conflicts: 1670000 | #Constraints: 30888
2868.39/2877.96 c #Conflicts: 1671000 | #Constraints: 31888
2868.39/2877.96 c #Conflicts: 1672000 | #Constraints: 32888
2868.39/2877.96 c #Conflicts: 1673000 | #Constraints: 33895
2868.39/2877.96 c #Conflicts: 1674000 | #Constraints: 34895
2868.39/2877.96 c #Conflicts: 1675000 | #Constraints: 35895
2868.39/2877.96 c #Conflicts: 1676000 | #Constraints: 36895
2868.39/2877.96 c #Conflicts: 1677000 | #Constraints: 37895
2868.39/2877.96 c #Conflicts: 1678000 | #Constraints: 38895
2868.39/2877.96 c #Conflicts: 1679000 | #Constraints: 39895
2868.39/2877.96 c #Conflicts: 1680000 | #Constraints: 40895
2868.39/2877.96 c #Conflicts: 1681000 | #Constraints: 41895
2868.39/2877.96 c #Conflicts: 1682000 | #Constraints: 42895
2868.39/2877.96 c #Conflicts: 1683000 | #Constraints: 43963
2868.39/2877.96 c #Conflicts: 1684000 | #Constraints: 44963
2868.39/2877.96 c #Conflicts: 1685000 | #Constraints: 45963
2868.39/2877.96 c #Conflicts: 1686000 | #Constraints: 46963
2868.39/2877.96 c #Conflicts: 1687000 | #Constraints: 48030
2868.39/2877.96 c #Conflicts: 1688000 | #Constraints: 49031
2868.39/2877.96 c #Conflicts: 1689000 | #Constraints: 50033
2868.39/2877.96 c #Conflicts: 1690000 | #Constraints: 51033
2868.39/2877.96 c #Conflicts: 1691000 | #Constraints: 52033
2868.39/2877.96 c #Conflicts: 1692000 | #Constraints: 53034
2868.39/2877.96 c #Conflicts: 1693000 | #Constraints: 54034
2868.39/2877.96 c #Conflicts: 1694000 | #Constraints: 55034
2868.39/2877.96 c INPROCESSING
2868.39/2877.96 c GARBAGE COLLECT
2868.39/2877.96 c rational objective 0
2926.57/2936.38 c #Conflicts: 1695000 | #Constraints: 28537
2926.57/2936.38 c #Conflicts: 1696000 | #Constraints: 29537
2926.57/2936.38 c #Conflicts: 1697000 | #Constraints: 30537
2926.57/2936.38 c #Conflicts: 1698000 | #Constraints: 31537
2926.57/2936.38 c #Conflicts: 1699000 | #Constraints: 32537
2926.57/2936.38 c #Conflicts: 1700000 | #Constraints: 33537
2926.57/2936.38 c #Conflicts: 1701000 | #Constraints: 34537
2926.57/2936.38 c #Conflicts: 1702000 | #Constraints: 35537
2926.57/2936.38 c #Conflicts: 1703000 | #Constraints: 36538
2926.57/2936.38 c #Conflicts: 1704000 | #Constraints: 37539
2926.57/2936.38 c #Conflicts: 1705000 | #Constraints: 38540
2926.57/2936.38 c #Conflicts: 1706000 | #Constraints: 39541
2926.57/2936.38 c #Conflicts: 1707000 | #Constraints: 40541
2926.57/2936.38 c #Conflicts: 1708000 | #Constraints: 41541
2926.57/2936.38 c #Conflicts: 1709000 | #Constraints: 42541
2926.57/2936.38 c #Conflicts: 1710000 | #Constraints: 43541
2926.57/2936.38 c #Conflicts: 1711000 | #Constraints: 44541
2926.57/2936.38 c #Conflicts: 1712000 | #Constraints: 45541
2926.57/2936.38 c #Conflicts: 1713000 | #Constraints: 46541
2926.57/2936.38 c #Conflicts: 1714000 | #Constraints: 47541
2926.57/2936.38 c #Conflicts: 1715000 | #Constraints: 48541
2926.57/2936.38 c #Conflicts: 1716000 | #Constraints: 49541
2926.57/2936.38 c #Conflicts: 1717000 | #Constraints: 50541
2926.57/2936.38 c #Conflicts: 1718000 | #Constraints: 51542
2926.57/2936.38 c #Conflicts: 1719000 | #Constraints: 52542
2926.57/2936.38 c #Conflicts: 1720000 | #Constraints: 53542
2926.57/2936.38 c INPROCESSING
2926.57/2936.38 c GARBAGE COLLECT
2926.57/2936.38 c rational objective 0
2985.56/2995.60 c #Conflicts: 1721000 | #Constraints: 27821
2985.56/2995.60 c #Conflicts: 1722000 | #Constraints: 28821
2985.56/2995.60 c #Conflicts: 1723000 | #Constraints: 29821
2985.56/2995.60 c #Conflicts: 1724000 | #Constraints: 30903
2985.56/2995.60 c #Conflicts: 1725000 | #Constraints: 31907
2985.56/2995.60 c #Conflicts: 1726000 | #Constraints: 32921
2985.56/2995.60 c #Conflicts: 1727000 | #Constraints: 33932
2985.56/2995.60 c #Conflicts: 1728000 | #Constraints: 34932
2985.56/2995.60 c #Conflicts: 1729000 | #Constraints: 35932
2985.56/2995.60 c #Conflicts: 1730000 | #Constraints: 36932
2985.56/2995.60 c #Conflicts: 1731000 | #Constraints: 37932
2985.56/2995.60 c #Conflicts: 1732000 | #Constraints: 38957
2985.56/2995.60 c #Conflicts: 1733000 | #Constraints: 40132
2985.56/2995.60 c #Conflicts: 1734000 | #Constraints: 41172
2985.56/2995.60 c #Conflicts: 1735000 | #Constraints: 42172
2985.56/2995.60 c #Conflicts: 1736000 | #Constraints: 43172
2985.56/2995.60 c #Conflicts: 1737000 | #Constraints: 44172
2985.56/2995.60 c #Conflicts: 1738000 | #Constraints: 45215
2985.56/2995.60 c #Conflicts: 1739000 | #Constraints: 46301
2985.56/2995.60 c #Conflicts: 1740000 | #Constraints: 47341
2985.66/2995.60 c #Conflicts: 1741000 | #Constraints: 48402
2985.66/2995.60 c #Conflicts: 1742000 | #Constraints: 49409
2985.66/2995.60 c #Conflicts: 1743000 | #Constraints: 50409
2985.66/2995.60 c #Conflicts: 1744000 | #Constraints: 51409
2985.66/2995.60 c #Conflicts: 1745000 | #Constraints: 52409
2985.66/2995.60 c #Conflicts: 1746000 | #Constraints: 53446
2985.66/2995.60 c INPROCESSING
2985.66/2995.60 c GARBAGE COLLECT
2985.66/2995.60 c rational objective 0
3042.70/3052.86 c #Conflicts: 1747000 | #Constraints: 27581
3042.70/3052.86 c #Conflicts: 1748000 | #Constraints: 28607
3042.70/3052.86 c #Conflicts: 1749000 | #Constraints: 29607
3042.70/3052.86 c #Conflicts: 1750000 | #Constraints: 30609
3042.70/3052.86 c #Conflicts: 1751000 | #Constraints: 31609
3042.70/3052.86 c #Conflicts: 1752000 | #Constraints: 32609
3042.70/3052.86 c #Conflicts: 1753000 | #Constraints: 33609
3042.70/3052.86 c #Conflicts: 1754000 | #Constraints: 34609
3042.70/3052.86 c #Conflicts: 1755000 | #Constraints: 35609
3042.70/3052.86 c #Conflicts: 1756000 | #Constraints: 36609
3042.70/3052.86 c #Conflicts: 1757000 | #Constraints: 37609
3042.70/3052.86 c #Conflicts: 1758000 | #Constraints: 38609
3042.70/3052.86 c #Conflicts: 1759000 | #Constraints: 39690
3042.70/3052.86 c #Conflicts: 1760000 | #Constraints: 40690
3042.70/3052.86 c #Conflicts: 1761000 | #Constraints: 41690
3042.70/3052.86 c #Conflicts: 1762000 | #Constraints: 42690
3042.70/3052.86 c #Conflicts: 1763000 | #Constraints: 43729
3042.70/3052.86 c #Conflicts: 1764000 | #Constraints: 44738
3042.70/3052.86 c #Conflicts: 1765000 | #Constraints: 45738
3042.70/3052.86 c #Conflicts: 1766000 | #Constraints: 46738
3042.70/3052.87 c #Conflicts: 1767000 | #Constraints: 47757
3042.70/3052.87 c #Conflicts: 1768000 | #Constraints: 48757
3042.70/3052.87 c #Conflicts: 1769000 | #Constraints: 49843
3042.70/3052.87 c #Conflicts: 1770000 | #Constraints: 50846
3042.70/3052.87 c #Conflicts: 1771000 | #Constraints: 51846
3042.70/3052.87 c #Conflicts: 1772000 | #Constraints: 52846
3042.70/3052.87 c #Conflicts: 1773000 | #Constraints: 53853
3042.70/3052.87 c INPROCESSING
3042.70/3052.87 c GARBAGE COLLECT
3042.70/3052.87 c rational objective 0
3102.12/3112.48 c #Conflicts: 1774000 | #Constraints: 27905
3102.12/3112.48 c #Conflicts: 1775000 | #Constraints: 28953
3102.12/3112.48 c #Conflicts: 1776000 | #Constraints: 30009
3102.12/3112.48 c #Conflicts: 1777000 | #Constraints: 31013
3102.12/3112.48 c #Conflicts: 1778000 | #Constraints: 32056
3102.12/3112.48 c #Conflicts: 1779000 | #Constraints: 33056
3102.12/3112.48 c #Conflicts: 1780000 | #Constraints: 34056
3102.12/3112.48 c #Conflicts: 1781000 | #Constraints: 35058
3102.12/3112.48 c #Conflicts: 1782000 | #Constraints: 36058
3102.12/3112.48 c #Conflicts: 1783000 | #Constraints: 37058
3102.12/3112.48 c #Conflicts: 1784000 | #Constraints: 38059
3102.12/3112.48 c #Conflicts: 1785000 | #Constraints: 39059
3102.12/3112.48 c #Conflicts: 1786000 | #Constraints: 40059
3102.12/3112.48 c #Conflicts: 1787000 | #Constraints: 41059
3102.12/3112.48 c #Conflicts: 1788000 | #Constraints: 42059
3102.12/3112.48 c #Conflicts: 1789000 | #Constraints: 43067
3102.12/3112.48 c #Conflicts: 1790000 | #Constraints: 44067
3102.12/3112.48 c #Conflicts: 1791000 | #Constraints: 45067
3102.12/3112.48 c #Conflicts: 1792000 | #Constraints: 46067
3102.12/3112.48 c #Conflicts: 1793000 | #Constraints: 47072
3102.12/3112.48 c #Conflicts: 1794000 | #Constraints: 48074
3102.12/3112.48 c #Conflicts: 1795000 | #Constraints: 49074
3102.12/3112.48 c #Conflicts: 1796000 | #Constraints: 50074
3102.12/3112.48 c #Conflicts: 1797000 | #Constraints: 51074
3102.12/3112.48 c #Conflicts: 1798000 | #Constraints: 52074
3102.12/3112.48 c #Conflicts: 1799000 | #Constraints: 53090
3102.12/3112.48 c #Conflicts: 1800000 | #Constraints: 54090
3102.12/3112.48 c INPROCESSING
3102.12/3112.48 c GARBAGE COLLECT
3102.12/3112.48 c rational objective 0
3160.11/3170.68 c #Conflicts: 1801000 | #Constraints: 28066
3160.11/3170.68 c #Conflicts: 1802000 | #Constraints: 29066
3160.11/3170.68 c #Conflicts: 1803000 | #Constraints: 30066
3160.11/3170.68 c #Conflicts: 1804000 | #Constraints: 31066
3160.11/3170.68 c #Conflicts: 1805000 | #Constraints: 32066
3160.11/3170.68 c #Conflicts: 1806000 | #Constraints: 33067
3160.11/3170.68 c #Conflicts: 1807000 | #Constraints: 34067
3160.11/3170.68 c #Conflicts: 1808000 | #Constraints: 35067
3160.11/3170.68 c #Conflicts: 1809000 | #Constraints: 36067
3160.11/3170.68 c #Conflicts: 1810000 | #Constraints: 37067
3160.11/3170.68 c #Conflicts: 1811000 | #Constraints: 38067
3160.11/3170.68 c #Conflicts: 1812000 | #Constraints: 39067
3160.11/3170.68 c #Conflicts: 1813000 | #Constraints: 40067
3160.11/3170.68 c #Conflicts: 1814000 | #Constraints: 41067
3160.11/3170.68 c #Conflicts: 1815000 | #Constraints: 42067
3160.11/3170.68 c #Conflicts: 1816000 | #Constraints: 43068
3160.11/3170.68 c #Conflicts: 1817000 | #Constraints: 44069
3160.11/3170.68 c #Conflicts: 1818000 | #Constraints: 45069
3160.11/3170.68 c #Conflicts: 1819000 | #Constraints: 46069
3160.11/3170.68 c #Conflicts: 1820000 | #Constraints: 47069
3160.11/3170.68 c #Conflicts: 1821000 | #Constraints: 48069
3160.11/3170.68 c #Conflicts: 1822000 | #Constraints: 49070
3160.11/3170.68 c #Conflicts: 1823000 | #Constraints: 50070
3160.11/3170.68 c #Conflicts: 1824000 | #Constraints: 51071
3160.11/3170.68 c #Conflicts: 1825000 | #Constraints: 52071
3160.11/3170.68 c #Conflicts: 1826000 | #Constraints: 53071
3160.11/3170.68 c #Conflicts: 1827000 | #Constraints: 54071
3160.11/3170.68 c INPROCESSING
3160.11/3170.68 c GARBAGE COLLECT
3160.11/3170.68 c rational objective 0
3221.48/3232.27 c #Conflicts: 1828000 | #Constraints: 28068
3221.48/3232.27 c #Conflicts: 1829000 | #Constraints: 29110
3221.48/3232.27 c #Conflicts: 1830000 | #Constraints: 30115
3221.48/3232.27 c #Conflicts: 1831000 | #Constraints: 31126
3221.48/3232.27 c #Conflicts: 1832000 | #Constraints: 32127
3221.48/3232.27 c #Conflicts: 1833000 | #Constraints: 33127
3221.48/3232.27 c #Conflicts: 1834000 | #Constraints: 34127
3221.48/3232.27 c #Conflicts: 1835000 | #Constraints: 35138
3221.48/3232.27 c #Conflicts: 1836000 | #Constraints: 36139
3221.48/3232.27 c #Conflicts: 1837000 | #Constraints: 37147
3221.48/3232.27 c #Conflicts: 1838000 | #Constraints: 38147
3221.48/3232.27 c #Conflicts: 1839000 | #Constraints: 39156
3221.48/3232.27 c #Conflicts: 1840000 | #Constraints: 40159
3221.48/3232.27 c #Conflicts: 1841000 | #Constraints: 41167
3221.48/3232.27 c #Conflicts: 1842000 | #Constraints: 42167
3221.48/3232.27 c #Conflicts: 1843000 | #Constraints: 43167
3221.48/3232.27 c #Conflicts: 1844000 | #Constraints: 44168
3221.48/3232.27 c #Conflicts: 1845000 | #Constraints: 45168
3221.48/3232.27 c #Conflicts: 1846000 | #Constraints: 46185
3221.48/3232.27 c #Conflicts: 1847000 | #Constraints: 47185
3221.48/3232.27 c #Conflicts: 1848000 | #Constraints: 48185
3221.48/3232.27 c #Conflicts: 1849000 | #Constraints: 49185
3221.48/3232.27 c #Conflicts: 1850000 | #Constraints: 50185
3221.48/3232.27 c #Conflicts: 1851000 | #Constraints: 51185
3221.48/3232.27 c #Conflicts: 1852000 | #Constraints: 52200
3221.48/3232.27 c #Conflicts: 1853000 | #Constraints: 53201
3221.48/3232.27 c #Conflicts: 1854000 | #Constraints: 54204
3221.48/3232.27 c INPROCESSING
3221.48/3232.27 c GARBAGE COLLECT
3221.48/3232.27 c rational objective 0
3303.98/3315.04 c #Conflicts: 1855000 | #Constraints: 28366
3303.98/3315.04 c #Conflicts: 1856000 | #Constraints: 29840
3303.98/3315.04 c #Conflicts: 1857000 | #Constraints: 31311
3303.98/3315.04 c #Conflicts: 1858000 | #Constraints: 32784
3303.98/3315.04 c #Conflicts: 1859000 | #Constraints: 34272
3303.98/3315.04 c #Conflicts: 1860000 | #Constraints: 35760
3303.98/3315.04 c #Conflicts: 1861000 | #Constraints: 37240
3303.98/3315.04 c #Conflicts: 1862000 | #Constraints: 38752
3303.98/3315.04 c #Conflicts: 1863000 | #Constraints: 40250
3303.98/3315.04 c #Conflicts: 1864000 | #Constraints: 41730
3303.98/3315.04 c #Conflicts: 1865000 | #Constraints: 43219
3303.98/3315.04 c #Conflicts: 1866000 | #Constraints: 44717
3303.98/3315.04 c #Conflicts: 1867000 | #Constraints: 46209
3303.98/3315.04 c #Conflicts: 1868000 | #Constraints: 47686
3303.98/3315.04 c #Conflicts: 1869000 | #Constraints: 49156
3303.98/3315.04 c #Conflicts: 1870000 | #Constraints: 50643
3303.98/3315.04 c #Conflicts: 1871000 | #Constraints: 52147
3303.98/3315.04 c #Conflicts: 1872000 | #Constraints: 53657
3303.98/3315.04 c #Conflicts: 1873000 | #Constraints: 55146
3303.98/3315.04 c #Conflicts: 1874000 | #Constraints: 56627
3303.98/3315.04 c #Conflicts: 1875000 | #Constraints: 58110
3303.98/3315.04 c #Conflicts: 1876000 | #Constraints: 59602
3303.98/3315.04 c #Conflicts: 1877000 | #Constraints: 61083
3303.98/3315.04 c #Conflicts: 1878000 | #Constraints: 62579
3303.98/3315.04 c #Conflicts: 1879000 | #Constraints: 64091
3303.98/3315.04 c #Conflicts: 1880000 | #Constraints: 65592
3303.98/3315.04 c #Conflicts: 1881000 | #Constraints: 67061
3303.98/3315.04 c INPROCESSING
3303.98/3315.04 c GARBAGE COLLECT
3303.98/3315.04 c rational objective 0
3390.15/3401.57 c #Conflicts: 1882000 | #Constraints: 34578
3390.15/3401.57 c #Conflicts: 1883000 | #Constraints: 36041
3390.15/3401.57 c #Conflicts: 1884000 | #Constraints: 37508
3390.15/3401.57 c #Conflicts: 1885000 | #Constraints: 38970
3390.15/3401.57 c #Conflicts: 1886000 | #Constraints: 40455
3390.15/3401.57 c #Conflicts: 1887000 | #Constraints: 41940
3390.15/3401.57 c #Conflicts: 1888000 | #Constraints: 43427
3390.15/3401.57 c #Conflicts: 1889000 | #Constraints: 44915
3390.15/3401.57 c #Conflicts: 1890000 | #Constraints: 46383
3390.15/3401.57 c #Conflicts: 1891000 | #Constraints: 47874
3390.15/3401.57 c #Conflicts: 1892000 | #Constraints: 49340
3390.15/3401.57 c #Conflicts: 1893000 | #Constraints: 50838
3390.15/3401.57 c #Conflicts: 1894000 | #Constraints: 52325
3390.15/3401.57 c #Conflicts: 1895000 | #Constraints: 53829
3390.15/3401.57 c #Conflicts: 1896000 | #Constraints: 55299
3390.15/3401.57 c #Conflicts: 1897000 | #Constraints: 56768
3390.15/3401.57 c #Conflicts: 1898000 | #Constraints: 58243
3390.15/3401.57 c #Conflicts: 1899000 | #Constraints: 59721
3390.15/3401.57 c #Conflicts: 1900000 | #Constraints: 61198
3390.15/3401.57 c #Conflicts: 1901000 | #Constraints: 62658
3390.15/3401.57 c #Conflicts: 1902000 | #Constraints: 64147
3390.15/3401.57 c #Conflicts: 1903000 | #Constraints: 65622
3390.15/3401.57 c #Conflicts: 1904000 | #Constraints: 67091
3390.15/3401.57 c #Conflicts: 1905000 | #Constraints: 68560
3390.15/3401.57 c #Conflicts: 1906000 | #Constraints: 70023
3390.15/3401.57 c #Conflicts: 1907000 | #Constraints: 71512
3390.15/3401.57 c #Conflicts: 1908000 | #Constraints: 72997
3390.15/3401.57 c #Conflicts: 1909000 | #Constraints: 74481
3390.15/3401.57 c INPROCESSING
3390.15/3401.57 c GARBAGE COLLECT
3390.15/3401.57 c rational objective 0
3493.84/3505.60 c #Conflicts: 1910000 | #Constraints: 38619
3493.84/3505.60 c #Conflicts: 1911000 | #Constraints: 40085
3493.84/3505.60 c #Conflicts: 1912000 | #Constraints: 41542
3493.84/3505.60 c #Conflicts: 1913000 | #Constraints: 42986
3493.84/3505.60 c #Conflicts: 1914000 | #Constraints: 44451
3493.84/3505.60 c #Conflicts: 1915000 | #Constraints: 45920
3493.84/3505.60 c #Conflicts: 1916000 | #Constraints: 47388
3493.84/3505.60 c #Conflicts: 1917000 | #Constraints: 48840
3493.84/3505.60 c #Conflicts: 1918000 | #Constraints: 50319
3493.84/3505.60 c #Conflicts: 1919000 | #Constraints: 51811
3493.84/3505.60 c #Conflicts: 1920000 | #Constraints: 53275
3493.84/3505.60 c #Conflicts: 1921000 | #Constraints: 54725
3493.84/3505.60 c #Conflicts: 1922000 | #Constraints: 56204
3493.84/3505.60 c #Conflicts: 1923000 | #Constraints: 57679
3493.84/3505.60 c #Conflicts: 1924000 | #Constraints: 59156
3493.84/3505.60 c #Conflicts: 1925000 | #Constraints: 60635
3493.84/3505.60 c #Conflicts: 1926000 | #Constraints: 62098
3493.84/3505.60 c #Conflicts: 1927000 | #Constraints: 63597
3493.84/3505.60 c #Conflicts: 1928000 | #Constraints: 65057
3493.84/3505.60 c #Conflicts: 1929000 | #Constraints: 66543
3493.84/3505.60 c #Conflicts: 1930000 | #Constraints: 68022
3493.84/3505.60 c #Conflicts: 1931000 | #Constraints: 69529
3493.84/3505.60 c #Conflicts: 1932000 | #Constraints: 70990
3493.84/3505.60 c #Conflicts: 1933000 | #Constraints: 72476
3493.84/3505.60 c #Conflicts: 1934000 | #Constraints: 73970
3493.84/3505.60 c #Conflicts: 1935000 | #Constraints: 75474
3493.84/3505.60 c #Conflicts: 1936000 | #Constraints: 76943
3493.84/3505.60 c #Conflicts: 1937000 | #Constraints: 78425
3493.84/3505.60 c INPROCESSING
3493.84/3505.60 c GARBAGE COLLECT
3493.84/3505.60 c rational objective 0
3598.94/3611.18 c #Conflicts: 1938000 | #Constraints: 40551
3598.94/3611.18 c #Conflicts: 1939000 | #Constraints: 42012
3598.94/3611.18 c #Conflicts: 1940000 | #Constraints: 43377
3598.94/3611.18 c #Conflicts: 1941000 | #Constraints: 44377
3598.94/3611.18 c #Conflicts: 1942000 | #Constraints: 45377
3598.94/3611.18 c #Conflicts: 1943000 | #Constraints: 46377
3598.94/3611.18 c #Conflicts: 1944000 | #Constraints: 47463
3598.94/3611.18 c #Conflicts: 1945000 | #Constraints: 48957
3598.94/3611.18 c #Conflicts: 1946000 | #Constraints: 50454
3598.94/3611.18 c #Conflicts: 1947000 | #Constraints: 51948
3598.94/3611.18 c #Conflicts: 1948000 | #Constraints: 53424
3598.94/3611.18 c #Conflicts: 1949000 | #Constraints: 54904
3598.94/3611.18 c #Conflicts: 1950000 | #Constraints: 56381
3598.94/3611.18 c #Conflicts: 1951000 | #Constraints: 57865
3598.94/3611.18 c #Conflicts: 1952000 | #Constraints: 59332
3598.94/3611.18 c #Conflicts: 1953000 | #Constraints: 60809
3598.94/3611.18 c #Conflicts: 1954000 | #Constraints: 62273
3598.94/3611.18 c #Conflicts: 1955000 | #Constraints: 63761
3598.94/3611.18 c #Conflicts: 1956000 | #Constraints: 65255
3598.94/3611.18 c #Conflicts: 1957000 | #Constraints: 66754
3598.94/3611.18 c #Conflicts: 1958000 | #Constraints: 68239
3598.94/3611.18 c #Conflicts: 1959000 | #Constraints: 69729
3598.94/3611.18 c #Conflicts: 1960000 | #Constraints: 71226
3598.94/3611.18 c #Conflicts: 1961000 | #Constraints: 72711
3598.94/3611.18 c #Conflicts: 1962000 | #Constraints: 74190
3598.94/3611.18 c #Conflicts: 1963000 | #Constraints: 75663
3598.94/3611.18 c #Conflicts: 1964000 | #Constraints: 77163
3598.94/3611.18 c #Conflicts: 1965000 | #Constraints: 78656
3598.94/3611.18 c INPROCESSING
3598.94/3611.18 c GARBAGE COLLECT
3598.94/3611.18 c rational objective 0
3600.02/3612.20 c cpu time 3582.51 s
3600.02/3612.20 c deterministic time 535851972193 5.36e+11
3600.02/3612.20 c optimization time 0.791636 s
3600.02/3612.20 c total solve time 3581.71 s
3600.02/3612.20 c core-guided solve time 0 s
3600.02/3612.20 c propagation time 3042.36 s
3600.02/3612.20 c conflict analysis time 458.042 s
3600.02/3612.20 c propagations 37324247
3600.02/3612.20 c resolve steps 14349970
3600.02/3612.20 c decisions 2839550
3600.02/3612.20 c conflicts 1965263
3600.02/3612.20 c restarts 3835
3600.02/3612.20 c inprocessing phases 131
3600.02/3612.20 c garbage collections 131 ,( 100.00 )
3600.02/3612.20 c input clauses 0 ,( 0.00 )
3600.02/3612.20 c input cardinalities 0 ,( 0.00 )
3600.02/3612.20 c input general constraints 16 ,( 100.00 )
3600.02/3612.20 c input average constraint length 85.50
3600.02/3612.20 c input average constraint degree 1957.12
3600.02/3612.20 c learned clauses 565463 ,( 24.83 )
3600.02/3612.20 c learned cardinalities 0 ,( 0.00 )
3600.02/3612.20 c learned general constraints 1712071 ,( 75.17 )
3600.02/3612.20 c learned average constraint length 158.81
3600.02/3612.20 c learned average constraint degree 2662799032.50
3600.02/3612.20 c watched CF 32, 64, 128, Arb: 688613 , 0 , 0 , 0
3600.02/3612.20 c counting CF 32, 64, 128, Arb: 1023475 , 0 , 0 , 0
3600.02/3612.20 c watched constraints 688613 ,( 40.22 )
3600.02/3612.20 c counting constraints 1023474 ,( 59.78 )
3600.02/3612.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 43221143 , 0 , 29501431979 ,( 134461150 , 29366970829 )
3600.02/3612.20 c gcd simplifications 556465
3600.02/3612.20 c detected cardinalities 0
3600.02/3612.20 c weakened non-implied lits 60590142
3600.02/3612.20 c weakened non-implying lits 4781478
3600.02/3612.20 c original variables 198
3600.02/3612.20 c clausal propagations 103441
3600.02/3612.20 c cardinality propagations 0
3600.02/3612.20 c watched propagations 97466
3600.02/3612.20 c counting propagations 35135573
3600.02/3612.20 c watch lookups 97067877902
3600.02/3612.20 c watch backjump lookups 0
3600.02/3612.20 c watch checks 10151316430
3600.02/3612.20 c propagation checks 425568016855
3600.02/3612.20 c constraint additions 2980558814
3600.02/3612.20 c trail pops 42128151
3600.02/3612.20 c formula constraints 16
3600.02/3612.20 c learned constraints 1964551
3600.02/3612.20 c bound constraints 0
3600.02/3612.20 c core-guided constraints 0
3600.02/3612.20 c encountered formula constraints 31694
3600.02/3612.20 c encountered learned constraints 2016109
3600.02/3612.20 c encountered bound constraints 0
3600.02/3612.20 c encountered core-guided constraints 0
3600.02/3612.20 c LP total time 91.1465 s
3600.02/3612.20 c LP solve time 52.65 s
3600.02/3612.20 c LP constraints added 238
3600.02/3612.20 c LP constraints removed 220
3600.02/3612.20 c LP pivots internal 1909142
3600.02/3612.20 c LP pivots root 1101
3600.02/3612.20 c LP calls 597195
3600.02/3612.20 c LP optimalities 285096
3600.02/3612.20 c LP no pivot count 23456
3600.02/3612.20 c LP infeasibilities 312091
3600.02/3612.20 c LP valid Farkas constraints 312090
3600.02/3612.20 c LP learned Farkas constraints 711
3600.02/3612.20 c LP basis resets 8
3600.02/3612.20 c LP cycling count 0
3600.02/3612.20 c LP singular count 8
3600.02/3612.20 c LP no primal count 0
3600.02/3612.20 c LP no farkas count 0
3600.02/3612.20 c LP other issue count 0
3600.02/3612.20 c LP Gomory cuts 182
3600.02/3612.20 c LP learned cuts 40
3600.02/3612.20 c LP deleted cuts 220
3600.02/3612.20 c LP encountered Gomory constraints 799
3600.02/3612.20 c LP encountered Farkas constraints 14153281
3600.02/3612.20 c LP encountered learned Farkas constraints 112639
3600.02/3612.20 c CG auxiliary variables introduced 1
3600.02/3612.20 c CG solutions found 0
3600.02/3612.20 c CG cores constructed 0
3600.02/3612.20 c CG core cardinality constraints returned 0
3600.02/3612.20 c CG unit cores 0
3600.02/3612.20 c CG single cores 0
3600.02/3612.20 c CG blocks removed during cardinality reduction 0
3600.02/3612.20 c CG first core best 0
3600.02/3612.20 c CG decision core best 0
3600.02/3612.20 c CG core reduction tie 0
3600.02/3612.20 c CG core degree average 0.00
3600.02/3612.20 c CG core slack average 0.00
3600.02/3612.20 c CG core upper bound improvements 0
3600.02/3612.20 c STR number of successful calls 0
3600.02/3612.20 c STR number of unsuccessful calls 0
3600.02/3612.20 c STR number of inconclusive calls 0
3600.02/3612.20 c STR number of successful attempts 0
3600.02/3612.20 c STR number of unsuccessful attempts 0
3600.02/3612.20 c STR number of inconclusive attempts 0
3600.02/3612.20 c STR average degree increase per successful call inf
3600.02/3612.20 c STR average degree increase per successful attempt inf
3600.02/3612.20 c STR total number of conflicts for successful attempts 0
3600.02/3612.20 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3612.20 c STR total number of conflicts for inconclusive attempts 0
3600.02/3612.20 c STR average number of conflicts per successful attempt inf
3600.02/3612.20 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3612.20 c STR average number of conflicts per inconclusive attempt inf
3600.02/3612.20 c AVG.sumWPerc 49.46
3600.02/3612.20 c bigint constraints 0
3600.02/3612.20 s UNKNOWN
3600.02/3612.20 c Program interrupted by user.
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: 63794 MiB (62827 MiB free)
memory of node 1: 64507 MiB (61127 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490564-1751367227/watcher-4490564-1751367227 -o /tmp/evaluation-result-4490564-1751367227/solver-4490564-1751367227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50467 --watchdog 3760 run-opt.sh HOME/instance-4490564-1751367227.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=51314, runsolver pid=51311
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.09 4.12 4.09 5/254 51316
/proc/meminfo: memFree=126930976/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=60440 memory=13272 CPUtime=0.09 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 602 0 0 0 8 1 0 0 20 0 1 0 52402078 61890560 3318 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 15110 3318 2432 1147 0 2537 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64632 KiB
Current children cumulated memory: 16088 KiB
[startup+0.213163 s]*
/proc/loadavg: 4.09 4.12 4.09 5/254 51316
/proc/meminfo: memFree=126930976/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=60836 memory=13656 CPUtime=0.2 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 688 0 0 0 19 1 0 0 20 0 1 0 52402078 62296064 3414 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 15209 3414 2432 1147 0 2636 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65028 KiB
Current children cumulated memory: 16472 KiB
[startup+0.313028 s]*
/proc/loadavg: 4.09 4.12 4.09 5/254 51316
/proc/meminfo: memFree=126930976/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=61100 memory=13912 CPUtime=0.29 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 766 0 0 0 28 1 0 0 20 0 1 0 52402078 62566400 3478 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 15275 3478 2432 1147 0 2702 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65292 KiB
Current children cumulated memory: 16728 KiB
[startup+0.700371 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 51316
/proc/meminfo: memFree=126930976/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=62312 memory=15192 CPUtime=0.67 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 1076 0 0 0 64 3 0 0 20 0 1 0 52402078 63807488 3798 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 15578 3798 2432 1147 0 3005 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66504 KiB
Current children cumulated memory: 18008 KiB
[startup+1.50038 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 51316
/proc/meminfo: memFree=126930976/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=64912 memory=19608 CPUtime=1.46 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 1666 0 0 0 141 5 0 0 20 0 1 0 52402078 66469888 4902 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 16228 4902 2432 1147 0 3655 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 69104 KiB
Current children cumulated memory: 22424 KiB
[startup+3.11291 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 51316
/proc/meminfo: memFree=126930740/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=72180 memory=24344 CPUtime=3.07 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 2851 0 0 0 298 9 0 0 20 0 1 0 52402078 73912320 6086 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 18045 6086 2432 1147 0 5472 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 76372 KiB
Current children cumulated memory: 27160 KiB
[startup+6.30036 s]
/proc/loadavg: 4.08 4.12 4.09 5/254 51316
/proc/meminfo: memFree=126920008/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=76212 memory=28696 CPUtime=6.25 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 3948 0 0 0 610 15 0 0 20 0 1 0 52402078 78041088 7174 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 19053 7174 2432 1147 0 6480 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 80404 KiB
Current children cumulated memory: 31512 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.12 4.09 6/254 51316
/proc/meminfo: memFree=126912888/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=84856 memory=34712 CPUtime=12.64 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 5471 0 0 0 1238 26 0 0 20 0 1 0 52402078 86892544 8678 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 21214 8678 2432 1147 0 8641 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89048 KiB
Current children cumulated memory: 37528 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.11 4.09 5/254 51316
/proc/meminfo: memFree=126894696/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=85560 memory=38932 CPUtime=25.39 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 5995 0 0 0 2495 44 0 0 20 0 1 0 52402078 87613440 9733 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 21390 9733 2432 1147 0 8817 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 89752 KiB
Current children cumulated memory: 41748 KiB
[startup+51.1131 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 51318
/proc/meminfo: memFree=126857364/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=107324 memory=52976 CPUtime=50.92 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 9012 0 0 0 5017 75 0 0 20 0 1 0 52402078 109899776 13244 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 26831 13244 2432 1147 0 14258 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 111516 KiB
Current children cumulated memory: 55792 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 51320
/proc/meminfo: memFree=126799860/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=110608 memory=59340 CPUtime=101.95 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 10128 0 0 0 10064 131 0 0 20 0 1 0 52402078 113262592 14835 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 27652 14835 2432 1147 0 15079 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 114800 KiB
Current children cumulated memory: 62156 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 51329
/proc/meminfo: memFree=126770064/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=124100 memory=66024 CPUtime=161.75 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 11543 0 0 0 15990 185 0 0 20 0 1 0 52402078 127078400 16506 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 31025 16506 2432 1147 0 18452 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 128292 KiB
Current children cumulated memory: 68840 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 51331
/proc/meminfo: memFree=126713068/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=137520 memory=73464 CPUtime=221.56 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 14832 0 0 0 21918 238 0 0 20 0 1 0 52402078 140820480 18366 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 34380 18366 2432 1147 0 21807 0
Current children cumulated CPU time: 221.56 s
################
# More data... #
################
/proc/51316/statm: 80839 61655 2560 1147 0 68266 0
Current children cumulated CPU time: 3032.23 s
Current children cumulated vsize: 327548 KiB
Current children cumulated memory: 249436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.76 4.42 4.25 5/253 51664
/proc/meminfo: memFree=129311784/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=323356 memory=255452 CPUtime=3092.05 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 60419 0 0 0 307608 1597 0 0 20 0 1 0 52402078 331116544 63863 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 80839 63863 2560 1147 0 68266 0
Current children cumulated CPU time: 3092.05 s
Current children cumulated vsize: 327548 KiB
Current children cumulated memory: 258268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.42 4.27 5/254 51673
/proc/meminfo: memFree=129283056/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=323356 memory=255452 CPUtime=3151.84 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 60419 0 0 0 313566 1618 0 0 20 0 1 0 52402078 331116544 63863 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 80839 63863 2560 1147 0 68266 0
Current children cumulated CPU time: 3151.84 s
Current children cumulated vsize: 327548 KiB
Current children cumulated memory: 258268 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.35 4.25 5/255 51676
/proc/meminfo: memFree=129272692/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=323356 memory=255452 CPUtime=3211.62 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 60419 0 0 0 319526 1636 0 0 20 0 1 0 52402078 331116544 63863 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 80839 63863 2560 1147 0 68266 0
Current children cumulated CPU time: 3211.62 s
Current children cumulated vsize: 327548 KiB
Current children cumulated memory: 258268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.30 4.24 5/255 51678
/proc/meminfo: memFree=129280920/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=323556 memory=255580 CPUtime=3271.39 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 60425 0 0 0 325484 1655 0 0 20 0 1 0 52402078 331321344 63895 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 80889 63895 2560 1147 0 68316 0
Current children cumulated CPU time: 3271.39 s
Current children cumulated vsize: 327748 KiB
Current children cumulated memory: 258396 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.26 4.23 5/255 51680
/proc/meminfo: memFree=129251248/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=336868 memory=264276 CPUtime=3331.17 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 64293 0 0 0 331441 1676 0 0 20 0 1 0 52402078 344952832 66069 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 84217 66069 2560 1147 0 71644 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 341060 KiB
Current children cumulated memory: 267092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.24 4.22 5/255 51682
/proc/meminfo: memFree=129227880/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=397452 memory=277736 CPUtime=3390.95 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 68533 0 0 0 337402 1693 0 0 20 0 1 0 52402078 406990848 69434 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 99363 69434 2560 1147 0 86790 0
Current children cumulated CPU time: 3390.95 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 280552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.21 5/254 51685
/proc/meminfo: memFree=129226664/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=397452 memory=277736 CPUtime=3450.71 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 68533 0 0 0 343361 1710 0 0 20 0 1 0 52402078 406990848 69434 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 99363 69434 2560 1147 0 86790 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 280552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.18 4.20 5/253 51687
/proc/meminfo: memFree=129204312/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=404108 memory=284152 CPUtime=3510.48 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 70817 0 0 0 349319 1729 0 0 20 0 1 0 52402078 413806592 71038 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 101027 71038 2560 1147 0 88454 0
Current children cumulated CPU time: 3510.48 s
Current children cumulated vsize: 408300 KiB
Current children cumulated memory: 286968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.20 5/253 51689
/proc/meminfo: memFree=129204460/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=404108 memory=284152 CPUtime=3570.23 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 70817 0 0 0 355278 1745 0 0 20 0 1 0 52402078 413806592 71038 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 101027 71038 2560 1147 0 88454 0
Current children cumulated CPU time: 3570.23 s
Current children cumulated vsize: 408300 KiB
Current children cumulated memory: 286968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.08 4.16 4.19 5/253 51690
/proc/meminfo: memFree=129191060/131382120 swapFree=33010416/33010684
[pid=51314] ppid=51311 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/51314/stat : 51314 (run-opt.sh) S 51311 51314 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 52402077 4292608 704 18446744073709551615 94591883702272 94591884596805 140725314006512 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94591884835856 94591884883600 94591885524992 140725314009453 140725314009576 140725314009576 140725314015178 0
/proc/51314/statm: 1048 704 672 219 0 110 0
[pid=51316] ppid=51314 vsize=407792 memory=285800 CPUtime=3600.02 cores=4,6
/proc/51316/stat : 51316 (roundingsat) R 51314 51314 50456 0 -1 4194304 71856 0 0 0 358250 1752 0 0 20 0 1 0 52402078 417579008 71450 18446744073709551615 4227072 8923433 140727324444224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10440704 140727324449186 140727324449320 140727324449320 140727324454890 0
/proc/51316/statm: 101948 71450 2560 1147 0 89375 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 411984 KiB
Current children cumulated memory: 288616 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.21 s]
# the end of solver process 51314 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003007 s, system=0.002286 s
Sleeping 2 seconds
[startup+3612.21 s]
# the end of solver process 51316 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.51 s, system=17.5333 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.21
CPU time (s): 3600.05
CPU user time (s): 3582.51
CPU system time (s): 17.5333
CPU usage (%): 99.6633
Max. virtual memory (cumulated for all children) (KiB): 411984
Max. memory (cumulated for all children) (KiB): 288616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.51
system time used= 17.5333
maximum resident set size= 285928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211
involuntary context switches= 19294
# summary of solver processes directly reported to runsolver:
# pid: 51314,51316
# total CPU time (s): 3600.05
# total CPU user time (s): 3582.51
# total CPU system time (s): 17.5333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2522 second user time and 36.2051 second system time
The end
Begin job on nodeC006 at 2025-07-01 12:53:47
IDJOB=4490564
IDBENCH=147593
IDSOLVER=3350
FILE ID=nodeC006/4490564-1751367227
RUNJOBID= nodeC006-1751361724-50467
SLURM_JOB_ID= 9598172
Free space on /tmp= 432948 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490564-1751367227/watcher-4490564-1751367227 -o /tmp/evaluation-result-4490564-1751367227/solver-4490564-1751367227 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50467 --watchdog 3760 run-opt.sh HOME/instance-4490564-1751367227.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e
RANDOM SEED=370146161
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3628.735
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.223
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.241
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.437
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126930472 kB
MemAvailable: 126868232 kB
Buffers: 2128 kB
Cached: 740184 kB
SwapCached: 12 kB
Active: 3428788 kB
Inactive: 415084 kB
Active(anon): 3108468 kB
Inactive(anon): 11092 kB
Active(file): 320320 kB
Inactive(file): 403992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7252 kB
Writeback: 28 kB
AnonPages: 3103136 kB
Mapped: 116416 kB
Shmem: 17948 kB
KReclaimable: 105764 kB
Slab: 189796 kB
SReclaimable: 105764 kB
SUnreclaim: 84032 kB
KernelStack: 4112 kB
PageTables: 9460 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3808200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2326528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC006 at 2025-07-01 13:54:00