0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 198 #constraints 16
0.00/0.01 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 17 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.000682
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.001109
0.00/0.02 c rational objective 0
0.38/0.50 c #Conflicts: 1000 | #Constraints: 1044
0.38/0.50 c #Conflicts: 2000 | #Constraints: 2051
0.38/0.50 c INPROCESSING
0.38/0.50 c GARBAGE COLLECT
0.38/0.50 c rational objective 0
1.08/1.19 c #Conflicts: 3000 | #Constraints: 2051
1.08/1.19 c #Conflicts: 4000 | #Constraints: 3059
1.08/1.19 c INPROCESSING
1.08/1.19 c GARBAGE COLLECT
1.08/1.19 c rational objective 0
1.97/2.03 c #Conflicts: 5000 | #Constraints: 2455
1.97/2.03 c #Conflicts: 6000 | #Constraints: 3460
1.97/2.03 c INPROCESSING
1.97/2.03 c GARBAGE COLLECT
1.97/2.03 c rational objective 0
2.97/3.04 c #Conflicts: 7000 | #Constraints: 2448
2.97/3.04 c #Conflicts: 8000 | #Constraints: 3451
2.97/3.04 c #Conflicts: 9000 | #Constraints: 4458
2.97/3.04 c INPROCESSING
2.97/3.04 c GARBAGE COLLECT
2.97/3.04 c rational objective 0
4.07/4.17 c #Conflicts: 10000 | #Constraints: 3152
4.07/4.17 c #Conflicts: 11000 | #Constraints: 4154
4.07/4.17 c #Conflicts: 12000 | #Constraints: 5155
4.07/4.17 c INPROCESSING
4.07/4.17 c GARBAGE COLLECT
4.07/4.17 c rational objective 0
5.36/5.44 c #Conflicts: 13000 | #Constraints: 3599
5.36/5.44 c #Conflicts: 14000 | #Constraints: 4602
5.36/5.44 c #Conflicts: 15000 | #Constraints: 5603
5.36/5.44 c INPROCESSING
5.36/5.44 c GARBAGE COLLECT
5.36/5.44 c rational objective 0
6.75/6.83 c #Conflicts: 16000 | #Constraints: 3822
6.75/6.83 c #Conflicts: 17000 | #Constraints: 4825
6.75/6.83 c #Conflicts: 18000 | #Constraints: 5828
6.75/6.83 c INPROCESSING
6.75/6.83 c GARBAGE COLLECT
6.75/6.83 c rational objective 0
8.25/8.35 c #Conflicts: 19000 | #Constraints: 3831
8.25/8.35 c #Conflicts: 20000 | #Constraints: 4832
8.25/8.35 c #Conflicts: 21000 | #Constraints: 5836
8.25/8.35 c INPROCESSING
8.25/8.35 c GARBAGE COLLECT
8.25/8.35 c rational objective 0
9.95/10.04 c #Conflicts: 22000 | #Constraints: 3636
9.95/10.04 c #Conflicts: 23000 | #Constraints: 4637
9.95/10.04 c #Conflicts: 24000 | #Constraints: 5640
9.95/10.04 c #Conflicts: 25000 | #Constraints: 6642
9.95/10.04 c INPROCESSING
9.95/10.04 c GARBAGE COLLECT
9.95/10.04 c rational objective 0
11.74/11.86 c #Conflicts: 26000 | #Constraints: 4236
11.74/11.86 c #Conflicts: 27000 | #Constraints: 5237
11.74/11.86 c #Conflicts: 28000 | #Constraints: 6237
11.74/11.86 c #Conflicts: 29000 | #Constraints: 7237
11.74/11.86 c INPROCESSING
11.74/11.86 c GARBAGE COLLECT
11.74/11.86 c rational objective 0
13.73/13.81 c #Conflicts: 30000 | #Constraints: 4634
13.73/13.81 c #Conflicts: 31000 | #Constraints: 5635
13.73/13.81 c #Conflicts: 32000 | #Constraints: 6636
13.73/13.81 c #Conflicts: 33000 | #Constraints: 7638
13.73/13.81 c INPROCESSING
13.73/13.81 c GARBAGE COLLECT
13.73/13.81 c rational objective 0
15.82/15.97 c #Conflicts: 34000 | #Constraints: 4835
15.82/15.97 c #Conflicts: 35000 | #Constraints: 5837
15.82/15.97 c #Conflicts: 36000 | #Constraints: 6841
15.82/15.97 c #Conflicts: 37000 | #Constraints: 7843
15.82/15.97 c INPROCESSING
15.82/15.97 c GARBAGE COLLECT
15.82/15.97 c rational objective 0
18.22/18.32 c #Conflicts: 38000 | #Constraints: 4845
18.22/18.32 c #Conflicts: 39000 | #Constraints: 5851
18.22/18.32 c #Conflicts: 40000 | #Constraints: 6852
18.22/18.32 c #Conflicts: 41000 | #Constraints: 7855
18.22/18.32 c INPROCESSING
18.22/18.32 c GARBAGE COLLECT
18.22/18.32 c rational objective 0
20.71/20.84 c #Conflicts: 42000 | #Constraints: 4649
20.71/20.84 c #Conflicts: 43000 | #Constraints: 5651
20.71/20.84 c #Conflicts: 44000 | #Constraints: 6651
20.71/20.84 c #Conflicts: 45000 | #Constraints: 7652
20.71/20.84 c #Conflicts: 46000 | #Constraints: 8656
20.71/20.84 c INPROCESSING
20.71/20.84 c GARBAGE COLLECT
20.71/20.84 c rational objective 0
23.50/23.60 c #Conflicts: 47000 | #Constraints: 5245
23.50/23.60 c #Conflicts: 48000 | #Constraints: 6246
23.50/23.60 c #Conflicts: 49000 | #Constraints: 7247
23.50/23.60 c #Conflicts: 50000 | #Constraints: 8249
23.50/23.60 c #Conflicts: 51000 | #Constraints: 9251
23.50/23.60 c INPROCESSING
23.50/23.60 c GARBAGE COLLECT
23.50/23.60 c rational objective 0
26.19/26.38 c #Conflicts: 52000 | #Constraints: 5648
26.19/26.38 c #Conflicts: 53000 | #Constraints: 6648
26.19/26.38 c #Conflicts: 54000 | #Constraints: 7650
26.19/26.38 c #Conflicts: 55000 | #Constraints: 8654
26.19/26.38 c #Conflicts: 56000 | #Constraints: 9657
26.19/26.38 c INPROCESSING
26.19/26.38 c GARBAGE COLLECT
26.19/26.38 c rational objective 0
29.28/29.45 c #Conflicts: 57000 | #Constraints: 5848
29.28/29.45 c #Conflicts: 58000 | #Constraints: 6851
29.28/29.45 c #Conflicts: 59000 | #Constraints: 7851
29.28/29.45 c #Conflicts: 60000 | #Constraints: 8852
29.28/29.45 c #Conflicts: 61000 | #Constraints: 9853
29.28/29.45 c INPROCESSING
29.28/29.45 c GARBAGE COLLECT
29.28/29.45 c rational objective 0
32.57/32.78 c #Conflicts: 62000 | #Constraints: 5845
32.57/32.78 c #Conflicts: 63000 | #Constraints: 6846
32.57/32.78 c #Conflicts: 64000 | #Constraints: 7849
32.57/32.78 c #Conflicts: 65000 | #Constraints: 8849
32.57/32.78 c #Conflicts: 66000 | #Constraints: 9850
32.57/32.78 c INPROCESSING
32.57/32.78 c GARBAGE COLLECT
32.57/32.78 c rational objective 0
36.06/36.24 c #Conflicts: 67000 | #Constraints: 5644
36.06/36.24 c #Conflicts: 68000 | #Constraints: 6645
36.06/36.24 c #Conflicts: 69000 | #Constraints: 7647
36.06/36.24 c #Conflicts: 70000 | #Constraints: 8649
36.06/36.24 c #Conflicts: 71000 | #Constraints: 9650
36.06/36.24 c #Conflicts: 72000 | #Constraints: 10653
36.06/36.24 c INPROCESSING
36.06/36.24 c GARBAGE COLLECT
36.06/36.24 c rational objective 0
39.75/39.93 c #Conflicts: 73000 | #Constraints: 6244
39.75/39.93 c #Conflicts: 74000 | #Constraints: 7245
39.75/39.93 c #Conflicts: 75000 | #Constraints: 8245
39.75/39.93 c #Conflicts: 76000 | #Constraints: 9245
39.75/39.93 c #Conflicts: 77000 | #Constraints: 10249
39.75/39.93 c #Conflicts: 78000 | #Constraints: 11254
39.75/39.93 c INPROCESSING
39.75/39.93 c GARBAGE COLLECT
39.75/39.93 c rational objective 0
43.63/43.84 c #Conflicts: 79000 | #Constraints: 6646
43.63/43.84 c #Conflicts: 80000 | #Constraints: 7647
43.63/43.84 c #Conflicts: 81000 | #Constraints: 8647
43.63/43.84 c #Conflicts: 82000 | #Constraints: 9647
43.63/43.84 c #Conflicts: 83000 | #Constraints: 10649
43.63/43.84 c #Conflicts: 84000 | #Constraints: 11651
43.63/43.84 c INPROCESSING
43.63/43.84 c GARBAGE COLLECT
43.63/43.84 c rational objective 0
47.72/47.97 c #Conflicts: 85000 | #Constraints: 6844
47.72/47.97 c #Conflicts: 86000 | #Constraints: 7845
47.72/47.97 c #Conflicts: 87000 | #Constraints: 8845
47.72/47.97 c #Conflicts: 88000 | #Constraints: 9845
47.72/47.97 c #Conflicts: 89000 | #Constraints: 10846
47.72/47.97 c #Conflicts: 90000 | #Constraints: 11846
47.72/47.97 c INPROCESSING
47.72/47.97 c GARBAGE COLLECT
47.72/47.97 c rational objective 0
52.10/52.31 c #Conflicts: 91000 | #Constraints: 6843
52.10/52.31 c #Conflicts: 92000 | #Constraints: 7843
52.10/52.31 c #Conflicts: 93000 | #Constraints: 8844
52.10/52.31 c #Conflicts: 94000 | #Constraints: 9845
52.10/52.31 c #Conflicts: 95000 | #Constraints: 10845
52.10/52.31 c #Conflicts: 96000 | #Constraints: 11845
52.10/52.31 c INPROCESSING
52.10/52.31 c GARBAGE COLLECT
52.10/52.31 c rational objective 0
56.90/57.14 c #Conflicts: 97000 | #Constraints: 6642
56.90/57.14 c #Conflicts: 98000 | #Constraints: 7642
56.90/57.14 c #Conflicts: 99000 | #Constraints: 8643
56.90/57.14 c #Conflicts: 100000 | #Constraints: 9643
56.90/57.14 c #Conflicts: 101000 | #Constraints: 10644
56.90/57.14 c #Conflicts: 102000 | #Constraints: 11645
56.90/57.14 c #Conflicts: 103000 | #Constraints: 12645
56.90/57.14 c INPROCESSING
56.90/57.14 c GARBAGE COLLECT
56.90/57.14 c rational objective 0
61.68/61.93 c #Conflicts: 104000 | #Constraints: 7242
61.68/61.93 c #Conflicts: 105000 | #Constraints: 8242
61.68/61.93 c #Conflicts: 106000 | #Constraints: 9242
61.68/61.93 c #Conflicts: 107000 | #Constraints: 10243
61.68/61.93 c #Conflicts: 108000 | #Constraints: 11243
61.68/61.93 c #Conflicts: 109000 | #Constraints: 12243
61.68/61.93 c #Conflicts: 110000 | #Constraints: 13243
61.68/61.93 c INPROCESSING
61.68/61.93 c GARBAGE COLLECT
61.68/61.93 c rational objective 0
66.75/67.07 c #Conflicts: 111000 | #Constraints: 7641
66.75/67.07 c #Conflicts: 112000 | #Constraints: 8642
66.75/67.07 c #Conflicts: 113000 | #Constraints: 9643
66.75/67.07 c #Conflicts: 114000 | #Constraints: 10644
66.75/67.07 c #Conflicts: 115000 | #Constraints: 11644
66.75/67.07 c #Conflicts: 116000 | #Constraints: 12644
66.75/67.07 c #Conflicts: 117000 | #Constraints: 13646
66.75/67.07 c INPROCESSING
66.75/67.07 c GARBAGE COLLECT
66.75/67.07 c rational objective 0
72.13/72.42 c #Conflicts: 118000 | #Constraints: 7837
72.13/72.42 c #Conflicts: 119000 | #Constraints: 8837
72.13/72.42 c #Conflicts: 120000 | #Constraints: 9837
72.13/72.42 c #Conflicts: 121000 | #Constraints: 10837
72.13/72.42 c #Conflicts: 122000 | #Constraints: 11838
72.13/72.42 c #Conflicts: 123000 | #Constraints: 12838
72.13/72.42 c #Conflicts: 124000 | #Constraints: 13839
72.13/72.42 c INPROCESSING
72.13/72.42 c GARBAGE COLLECT
72.13/72.42 c rational objective 0
77.72/78.08 c #Conflicts: 125000 | #Constraints: 7833
77.72/78.08 c #Conflicts: 126000 | #Constraints: 8833
77.72/78.08 c #Conflicts: 127000 | #Constraints: 9833
77.72/78.08 c #Conflicts: 128000 | #Constraints: 10834
77.72/78.08 c #Conflicts: 129000 | #Constraints: 11834
77.72/78.08 c #Conflicts: 130000 | #Constraints: 12834
77.72/78.08 c #Conflicts: 131000 | #Constraints: 13834
77.72/78.08 c INPROCESSING
77.72/78.08 c GARBAGE COLLECT
77.72/78.08 c rational objective 0
83.50/83.89 c #Conflicts: 132000 | #Constraints: 7635
83.50/83.89 c #Conflicts: 133000 | #Constraints: 8635
83.50/83.89 c #Conflicts: 134000 | #Constraints: 9637
83.50/83.89 c #Conflicts: 135000 | #Constraints: 10637
83.50/83.89 c #Conflicts: 136000 | #Constraints: 11637
83.50/83.89 c #Conflicts: 137000 | #Constraints: 12637
83.50/83.89 c #Conflicts: 138000 | #Constraints: 13637
83.50/83.89 c #Conflicts: 139000 | #Constraints: 14637
83.50/83.89 c INPROCESSING
83.50/83.89 c GARBAGE COLLECT
83.50/83.89 c rational objective 0
89.87/90.22 c #Conflicts: 140000 | #Constraints: 8239
89.87/90.22 c #Conflicts: 141000 | #Constraints: 9240
89.87/90.22 c #Conflicts: 142000 | #Constraints: 10240
89.87/90.22 c #Conflicts: 143000 | #Constraints: 11240
89.87/90.22 c #Conflicts: 144000 | #Constraints: 12240
89.87/90.22 c #Conflicts: 145000 | #Constraints: 13240
89.87/90.22 c #Conflicts: 146000 | #Constraints: 14241
89.87/90.22 c #Conflicts: 147000 | #Constraints: 15241
89.87/90.22 c INPROCESSING
89.87/90.22 c GARBAGE COLLECT
89.87/90.22 c rational objective 0
96.25/96.63 c #Conflicts: 148000 | #Constraints: 8641
96.25/96.63 c #Conflicts: 149000 | #Constraints: 9641
96.25/96.63 c #Conflicts: 150000 | #Constraints: 10642
96.25/96.63 c #Conflicts: 151000 | #Constraints: 11645
96.25/96.63 c #Conflicts: 152000 | #Constraints: 12645
96.25/96.63 c #Conflicts: 153000 | #Constraints: 13645
96.25/96.63 c #Conflicts: 154000 | #Constraints: 14646
96.25/96.63 c #Conflicts: 155000 | #Constraints: 15647
96.25/96.63 c INPROCESSING
96.25/96.63 c GARBAGE COLLECT
96.25/96.63 c rational objective 0
103.14/103.52 c #Conflicts: 156000 | #Constraints: 8845
103.14/103.52 c #Conflicts: 157000 | #Constraints: 9845
103.14/103.52 c #Conflicts: 158000 | #Constraints: 10846
103.14/103.52 c #Conflicts: 159000 | #Constraints: 11846
103.14/103.52 c #Conflicts: 160000 | #Constraints: 12849
103.14/103.52 c #Conflicts: 161000 | #Constraints: 13850
103.14/103.52 c #Conflicts: 162000 | #Constraints: 14850
103.14/103.52 c #Conflicts: 163000 | #Constraints: 15850
103.14/103.52 c INPROCESSING
103.14/103.52 c GARBAGE COLLECT
103.14/103.52 c rational objective 0
110.32/110.74 c #Conflicts: 164000 | #Constraints: 8845
110.32/110.74 c #Conflicts: 165000 | #Constraints: 9845
110.32/110.74 c #Conflicts: 166000 | #Constraints: 10847
110.32/110.74 c #Conflicts: 167000 | #Constraints: 11848
110.32/110.74 c #Conflicts: 168000 | #Constraints: 12848
110.32/110.74 c #Conflicts: 169000 | #Constraints: 13848
110.32/110.74 c #Conflicts: 170000 | #Constraints: 14848
110.32/110.74 c #Conflicts: 171000 | #Constraints: 15849
110.32/110.74 c INPROCESSING
110.32/110.74 c GARBAGE COLLECT
110.32/110.74 c rational objective 0
117.90/118.30 c #Conflicts: 172000 | #Constraints: 8640
117.90/118.30 c #Conflicts: 173000 | #Constraints: 9640
117.90/118.30 c #Conflicts: 174000 | #Constraints: 10640
117.90/118.30 c #Conflicts: 175000 | #Constraints: 11640
117.90/118.30 c #Conflicts: 176000 | #Constraints: 12641
117.90/118.30 c #Conflicts: 177000 | #Constraints: 13642
117.90/118.30 c #Conflicts: 178000 | #Constraints: 14642
117.90/118.30 c #Conflicts: 179000 | #Constraints: 15642
117.90/118.30 c #Conflicts: 180000 | #Constraints: 16642
117.90/118.30 c INPROCESSING
117.90/118.30 c GARBAGE COLLECT
117.90/118.30 c rational objective 0
125.98/126.45 c #Conflicts: 181000 | #Constraints: 9241
125.98/126.45 c #Conflicts: 182000 | #Constraints: 10242
125.98/126.45 c #Conflicts: 183000 | #Constraints: 11242
125.98/126.45 c #Conflicts: 184000 | #Constraints: 12242
125.98/126.45 c #Conflicts: 185000 | #Constraints: 13243
125.98/126.45 c #Conflicts: 186000 | #Constraints: 14243
125.98/126.45 c #Conflicts: 187000 | #Constraints: 15243
125.98/126.45 c #Conflicts: 188000 | #Constraints: 16243
125.98/126.45 c #Conflicts: 189000 | #Constraints: 17243
125.98/126.45 c INPROCESSING
125.98/126.45 c GARBAGE COLLECT
125.98/126.45 c rational objective 0
133.95/134.41 c #Conflicts: 190000 | #Constraints: 9637
133.95/134.41 c #Conflicts: 191000 | #Constraints: 10638
133.95/134.41 c #Conflicts: 192000 | #Constraints: 11638
133.95/134.41 c #Conflicts: 193000 | #Constraints: 12638
133.95/134.41 c #Conflicts: 194000 | #Constraints: 13638
133.95/134.41 c #Conflicts: 195000 | #Constraints: 14638
133.95/134.41 c #Conflicts: 196000 | #Constraints: 15638
133.95/134.41 c #Conflicts: 197000 | #Constraints: 16640
133.95/134.41 c #Conflicts: 198000 | #Constraints: 17640
133.95/134.41 c INPROCESSING
133.95/134.41 c GARBAGE COLLECT
133.95/134.41 c rational objective 0
142.23/142.76 c #Conflicts: 199000 | #Constraints: 9839
142.23/142.76 c #Conflicts: 200000 | #Constraints: 10839
142.23/142.76 c #Conflicts: 201000 | #Constraints: 11839
142.23/142.76 c #Conflicts: 202000 | #Constraints: 12840
142.23/142.76 c #Conflicts: 203000 | #Constraints: 13840
142.23/142.76 c #Conflicts: 204000 | #Constraints: 14840
142.23/142.76 c #Conflicts: 205000 | #Constraints: 15840
142.23/142.76 c #Conflicts: 206000 | #Constraints: 16840
142.23/142.76 c #Conflicts: 207000 | #Constraints: 17840
142.23/142.76 c INPROCESSING
142.23/142.76 c GARBAGE COLLECT
142.23/142.76 c rational objective 0
150.70/151.26 c #Conflicts: 208000 | #Constraints: 9839
150.70/151.26 c #Conflicts: 209000 | #Constraints: 10839
150.70/151.26 c #Conflicts: 210000 | #Constraints: 11842
150.70/151.26 c #Conflicts: 211000 | #Constraints: 12842
150.70/151.26 c #Conflicts: 212000 | #Constraints: 13842
150.70/151.26 c #Conflicts: 213000 | #Constraints: 14842
150.70/151.26 c #Conflicts: 214000 | #Constraints: 15842
150.70/151.26 c #Conflicts: 215000 | #Constraints: 16842
150.70/151.26 c #Conflicts: 216000 | #Constraints: 17842
150.70/151.26 c INPROCESSING
150.70/151.26 c GARBAGE COLLECT
150.70/151.26 c rational objective 0
159.97/160.55 c #Conflicts: 217000 | #Constraints: 9643
159.97/160.55 c #Conflicts: 218000 | #Constraints: 10643
159.97/160.55 c #Conflicts: 219000 | #Constraints: 11643
159.97/160.55 c #Conflicts: 220000 | #Constraints: 12644
159.97/160.55 c #Conflicts: 221000 | #Constraints: 13644
159.97/160.55 c #Conflicts: 222000 | #Constraints: 14644
159.97/160.55 c #Conflicts: 223000 | #Constraints: 15645
159.97/160.55 c #Conflicts: 224000 | #Constraints: 16645
159.97/160.55 c #Conflicts: 225000 | #Constraints: 17646
159.97/160.55 c #Conflicts: 226000 | #Constraints: 18646
159.97/160.55 c INPROCESSING
159.97/160.55 c GARBAGE COLLECT
159.97/160.55 c rational objective 0
169.04/169.66 c #Conflicts: 227000 | #Constraints: 10245
169.04/169.66 c #Conflicts: 228000 | #Constraints: 11246
169.04/169.66 c #Conflicts: 229000 | #Constraints: 12248
169.04/169.66 c #Conflicts: 230000 | #Constraints: 13249
169.04/169.66 c #Conflicts: 231000 | #Constraints: 14250
169.04/169.66 c #Conflicts: 232000 | #Constraints: 15250
169.04/169.66 c #Conflicts: 233000 | #Constraints: 16250
169.04/169.66 c #Conflicts: 234000 | #Constraints: 17251
169.04/169.66 c #Conflicts: 235000 | #Constraints: 18252
169.04/169.66 c #Conflicts: 236000 | #Constraints: 19252
169.04/169.66 c INPROCESSING
169.04/169.66 c GARBAGE COLLECT
169.04/169.66 c rational objective 0
178.52/179.11 c #Conflicts: 237000 | #Constraints: 10641
178.52/179.11 c #Conflicts: 238000 | #Constraints: 11642
178.52/179.11 c #Conflicts: 239000 | #Constraints: 12642
178.52/179.11 c #Conflicts: 240000 | #Constraints: 13643
178.52/179.11 c #Conflicts: 241000 | #Constraints: 14643
178.52/179.11 c #Conflicts: 242000 | #Constraints: 15643
178.52/179.11 c #Conflicts: 243000 | #Constraints: 16643
178.52/179.11 c #Conflicts: 244000 | #Constraints: 17643
178.52/179.11 c #Conflicts: 245000 | #Constraints: 18644
178.52/179.11 c #Conflicts: 246000 | #Constraints: 19645
178.52/179.11 c INPROCESSING
178.52/179.11 c GARBAGE COLLECT
178.52/179.11 c rational objective 0
188.29/188.94 c #Conflicts: 247000 | #Constraints: 10843
188.29/188.94 c #Conflicts: 248000 | #Constraints: 11844
188.29/188.94 c #Conflicts: 249000 | #Constraints: 12846
188.29/188.94 c #Conflicts: 250000 | #Constraints: 13847
188.29/188.94 c #Conflicts: 251000 | #Constraints: 14847
188.29/188.94 c #Conflicts: 252000 | #Constraints: 15847
188.29/188.94 c #Conflicts: 253000 | #Constraints: 16847
188.29/188.94 c #Conflicts: 254000 | #Constraints: 17848
188.29/188.94 c #Conflicts: 255000 | #Constraints: 18849
188.29/188.94 c #Conflicts: 256000 | #Constraints: 19849
188.29/188.94 c INPROCESSING
188.29/188.94 c GARBAGE COLLECT
188.29/188.94 c rational objective 0
198.16/198.85 c #Conflicts: 257000 | #Constraints: 10844
198.16/198.85 c #Conflicts: 258000 | #Constraints: 11845
198.16/198.85 c #Conflicts: 259000 | #Constraints: 12846
198.16/198.85 c #Conflicts: 260000 | #Constraints: 13847
198.16/198.85 c #Conflicts: 261000 | #Constraints: 14850
198.16/198.85 c #Conflicts: 262000 | #Constraints: 15850
198.16/198.85 c #Conflicts: 263000 | #Constraints: 16851
198.16/198.85 c #Conflicts: 264000 | #Constraints: 17851
198.16/198.85 c #Conflicts: 265000 | #Constraints: 18855
198.16/198.85 c #Conflicts: 266000 | #Constraints: 19857
198.16/198.85 c INPROCESSING
198.16/198.85 c GARBAGE COLLECT
198.16/198.85 c rational objective 0
208.43/209.14 c #Conflicts: 267000 | #Constraints: 10646
208.43/209.14 c #Conflicts: 268000 | #Constraints: 11646
208.43/209.14 c #Conflicts: 269000 | #Constraints: 12646
208.43/209.14 c #Conflicts: 270000 | #Constraints: 13646
208.43/209.14 c #Conflicts: 271000 | #Constraints: 14646
208.43/209.14 c #Conflicts: 272000 | #Constraints: 15647
208.43/209.14 c #Conflicts: 273000 | #Constraints: 16647
208.43/209.14 c #Conflicts: 274000 | #Constraints: 17647
208.43/209.14 c #Conflicts: 275000 | #Constraints: 18647
208.43/209.14 c #Conflicts: 276000 | #Constraints: 19648
208.43/209.14 c #Conflicts: 277000 | #Constraints: 20648
208.43/209.14 c INPROCESSING
208.43/209.14 c GARBAGE COLLECT
208.43/209.14 c rational objective 0
219.10/219.82 c #Conflicts: 278000 | #Constraints: 11242
219.10/219.82 c #Conflicts: 279000 | #Constraints: 12242
219.10/219.82 c #Conflicts: 280000 | #Constraints: 13243
219.10/219.82 c #Conflicts: 281000 | #Constraints: 14244
219.10/219.82 c #Conflicts: 282000 | #Constraints: 15244
219.10/219.82 c #Conflicts: 283000 | #Constraints: 16245
219.10/219.82 c #Conflicts: 284000 | #Constraints: 17245
219.10/219.82 c #Conflicts: 285000 | #Constraints: 18248
219.10/219.82 c #Conflicts: 286000 | #Constraints: 19248
219.10/219.82 c #Conflicts: 287000 | #Constraints: 20249
219.10/219.82 c #Conflicts: 288000 | #Constraints: 21249
219.10/219.82 c INPROCESSING
219.10/219.82 c GARBAGE COLLECT
219.10/219.82 c rational objective 0
229.96/230.78 c #Conflicts: 289000 | #Constraints: 11644
229.96/230.78 c #Conflicts: 290000 | #Constraints: 12645
229.96/230.78 c #Conflicts: 291000 | #Constraints: 13645
229.96/230.78 c #Conflicts: 292000 | #Constraints: 14645
229.96/230.78 c #Conflicts: 293000 | #Constraints: 15645
229.96/230.78 c #Conflicts: 294000 | #Constraints: 16645
229.96/230.78 c #Conflicts: 295000 | #Constraints: 17645
229.96/230.78 c #Conflicts: 296000 | #Constraints: 18647
229.96/230.78 c #Conflicts: 297000 | #Constraints: 19647
229.96/230.78 c #Conflicts: 298000 | #Constraints: 20647
229.96/230.78 c #Conflicts: 299000 | #Constraints: 21648
229.96/230.78 c INPROCESSING
229.96/230.78 c GARBAGE COLLECT
229.96/230.78 c rational objective 0
241.23/242.05 c #Conflicts: 300000 | #Constraints: 11845
241.23/242.05 c #Conflicts: 301000 | #Constraints: 12846
241.23/242.05 c #Conflicts: 302000 | #Constraints: 13846
241.23/242.05 c #Conflicts: 303000 | #Constraints: 14846
241.23/242.05 c #Conflicts: 304000 | #Constraints: 15846
241.23/242.05 c #Conflicts: 305000 | #Constraints: 16846
241.23/242.05 c #Conflicts: 306000 | #Constraints: 17848
241.23/242.05 c #Conflicts: 307000 | #Constraints: 18849
241.23/242.05 c #Conflicts: 308000 | #Constraints: 19849
241.23/242.05 c #Conflicts: 309000 | #Constraints: 20851
241.23/242.05 c #Conflicts: 310000 | #Constraints: 21851
241.23/242.05 c INPROCESSING
241.23/242.05 c GARBAGE COLLECT
241.23/242.05 c rational objective 0
252.80/253.65 c #Conflicts: 311000 | #Constraints: 11844
252.80/253.65 c #Conflicts: 312000 | #Constraints: 12844
252.80/253.65 c #Conflicts: 313000 | #Constraints: 13844
252.80/253.65 c #Conflicts: 314000 | #Constraints: 14844
252.80/253.65 c #Conflicts: 315000 | #Constraints: 15844
252.80/253.65 c #Conflicts: 316000 | #Constraints: 16844
252.80/253.65 c #Conflicts: 317000 | #Constraints: 17844
252.80/253.65 c #Conflicts: 318000 | #Constraints: 18844
252.80/253.65 c #Conflicts: 319000 | #Constraints: 19845
252.80/253.65 c #Conflicts: 320000 | #Constraints: 20845
252.80/253.65 c #Conflicts: 321000 | #Constraints: 21845
252.80/253.65 c INPROCESSING
252.80/253.65 c GARBAGE COLLECT
252.80/253.65 c rational objective 0
264.86/265.70 c #Conflicts: 322000 | #Constraints: 11643
264.86/265.70 c #Conflicts: 323000 | #Constraints: 12643
264.86/265.70 c #Conflicts: 324000 | #Constraints: 13646
264.86/265.70 c #Conflicts: 325000 | #Constraints: 14647
264.86/265.70 c #Conflicts: 326000 | #Constraints: 15649
264.86/265.70 c #Conflicts: 327000 | #Constraints: 16649
264.86/265.70 c #Conflicts: 328000 | #Constraints: 17650
264.86/265.70 c #Conflicts: 329000 | #Constraints: 18651
264.86/265.70 c #Conflicts: 330000 | #Constraints: 19651
264.86/265.70 c #Conflicts: 331000 | #Constraints: 20651
264.86/265.70 c #Conflicts: 332000 | #Constraints: 21652
264.86/265.70 c #Conflicts: 333000 | #Constraints: 22653
264.86/265.70 c INPROCESSING
264.86/265.70 c GARBAGE COLLECT
264.86/265.70 c rational objective 0
277.23/278.13 c #Conflicts: 334000 | #Constraints: 12245
277.23/278.13 c #Conflicts: 335000 | #Constraints: 13245
277.23/278.13 c #Conflicts: 336000 | #Constraints: 14245
277.23/278.13 c #Conflicts: 337000 | #Constraints: 15245
277.23/278.13 c #Conflicts: 338000 | #Constraints: 16247
277.23/278.13 c #Conflicts: 339000 | #Constraints: 17248
277.23/278.13 c #Conflicts: 340000 | #Constraints: 18248
277.23/278.13 c #Conflicts: 341000 | #Constraints: 19248
277.23/278.13 c #Conflicts: 342000 | #Constraints: 20248
277.23/278.13 c #Conflicts: 343000 | #Constraints: 21249
277.23/278.13 c #Conflicts: 344000 | #Constraints: 22249
277.23/278.13 c #Conflicts: 345000 | #Constraints: 23249
277.23/278.13 c INPROCESSING
277.23/278.13 c GARBAGE COLLECT
277.23/278.13 c rational objective 0
289.99/290.94 c #Conflicts: 346000 | #Constraints: 12643
289.99/290.94 c #Conflicts: 347000 | #Constraints: 13643
289.99/290.94 c #Conflicts: 348000 | #Constraints: 14644
289.99/290.94 c #Conflicts: 349000 | #Constraints: 15645
289.99/290.94 c #Conflicts: 350000 | #Constraints: 16645
289.99/290.94 c #Conflicts: 351000 | #Constraints: 17645
289.99/290.94 c #Conflicts: 352000 | #Constraints: 18645
289.99/290.94 c #Conflicts: 353000 | #Constraints: 19645
289.99/290.94 c #Conflicts: 354000 | #Constraints: 20645
289.99/290.94 c #Conflicts: 355000 | #Constraints: 21646
289.99/290.94 c #Conflicts: 356000 | #Constraints: 22646
289.99/290.94 c #Conflicts: 357000 | #Constraints: 23647
289.99/290.94 c INPROCESSING
289.99/290.94 c GARBAGE COLLECT
289.99/290.94 c rational objective 0
303.05/304.02 c #Conflicts: 358000 | #Constraints: 12843
303.05/304.02 c #Conflicts: 359000 | #Constraints: 13844
303.05/304.02 c #Conflicts: 360000 | #Constraints: 14844
303.05/304.02 c #Conflicts: 361000 | #Constraints: 15844
303.05/304.02 c #Conflicts: 362000 | #Constraints: 16844
303.05/304.02 c #Conflicts: 363000 | #Constraints: 17844
303.05/304.02 c #Conflicts: 364000 | #Constraints: 18844
303.05/304.02 c #Conflicts: 365000 | #Constraints: 19844
303.05/304.02 c #Conflicts: 366000 | #Constraints: 20845
303.05/304.02 c #Conflicts: 367000 | #Constraints: 21845
303.05/304.02 c #Conflicts: 368000 | #Constraints: 22845
303.05/304.02 c #Conflicts: 369000 | #Constraints: 23845
303.05/304.02 c INPROCESSING
303.05/304.02 c GARBAGE COLLECT
303.05/304.02 c rational objective 0
319.89/320.98 c #Conflicts: 370000 | #Constraints: 13220
319.89/320.98 c #Conflicts: 371000 | #Constraints: 14733
319.89/320.98 c #Conflicts: 372000 | #Constraints: 16214
319.89/320.98 c #Conflicts: 373000 | #Constraints: 17705
319.89/320.98 c #Conflicts: 374000 | #Constraints: 19180
319.89/320.98 c #Conflicts: 375000 | #Constraints: 20645
319.89/320.98 c #Conflicts: 376000 | #Constraints: 22109
319.89/320.98 c #Conflicts: 377000 | #Constraints: 23582
319.89/320.98 c #Conflicts: 378000 | #Constraints: 25045
319.89/320.98 c #Conflicts: 379000 | #Constraints: 26525
319.89/320.98 c #Conflicts: 380000 | #Constraints: 28008
319.89/320.98 c #Conflicts: 381000 | #Constraints: 29493
319.89/320.98 c INPROCESSING
319.89/320.98 c GARBAGE COLLECT
319.89/320.98 c rational objective 0
338.74/339.88 c #Conflicts: 382000 | #Constraints: 15803
338.74/339.88 c #Conflicts: 383000 | #Constraints: 17300
338.74/339.88 c #Conflicts: 384000 | #Constraints: 18772
338.74/339.88 c #Conflicts: 385000 | #Constraints: 20251
338.74/339.88 c #Conflicts: 386000 | #Constraints: 21741
338.74/339.88 c #Conflicts: 387000 | #Constraints: 23218
338.74/339.88 c #Conflicts: 388000 | #Constraints: 24697
338.74/339.88 c #Conflicts: 389000 | #Constraints: 26175
338.74/339.88 c #Conflicts: 390000 | #Constraints: 27663
338.74/339.88 c #Conflicts: 391000 | #Constraints: 29142
338.74/339.88 c #Conflicts: 392000 | #Constraints: 30624
338.74/339.88 c #Conflicts: 393000 | #Constraints: 32100
338.74/339.88 c #Conflicts: 394000 | #Constraints: 33601
338.74/339.88 c INPROCESSING
338.74/339.88 c GARBAGE COLLECT
338.74/339.88 c rational objective 0
358.38/359.59 c #Conflicts: 395000 | #Constraints: 18150
358.38/359.59 c #Conflicts: 396000 | #Constraints: 19641
358.38/359.59 c #Conflicts: 397000 | #Constraints: 21116
358.38/359.59 c #Conflicts: 398000 | #Constraints: 22565
358.38/359.59 c #Conflicts: 399000 | #Constraints: 24045
358.38/359.59 c #Conflicts: 400000 | #Constraints: 25537
358.38/359.59 c #Conflicts: 401000 | #Constraints: 27002
358.38/359.59 c #Conflicts: 402000 | #Constraints: 28488
358.38/359.59 c #Conflicts: 403000 | #Constraints: 29963
358.38/359.59 c #Conflicts: 404000 | #Constraints: 31448
358.38/359.59 c #Conflicts: 405000 | #Constraints: 32928
358.38/359.59 c #Conflicts: 406000 | #Constraints: 34432
358.38/359.59 c #Conflicts: 407000 | #Constraints: 35910
358.38/359.59 c INPROCESSING
358.38/359.59 c GARBAGE COLLECT
358.38/359.59 c rational objective 0
378.22/379.46 c #Conflicts: 408000 | #Constraints: 19446
378.22/379.46 c #Conflicts: 409000 | #Constraints: 20933
378.22/379.46 c #Conflicts: 410000 | #Constraints: 22435
378.22/379.46 c #Conflicts: 411000 | #Constraints: 23938
378.22/379.46 c #Conflicts: 412000 | #Constraints: 25406
378.22/379.46 c #Conflicts: 413000 | #Constraints: 26883
378.22/379.46 c #Conflicts: 414000 | #Constraints: 28368
378.22/379.46 c #Conflicts: 415000 | #Constraints: 29844
378.22/379.46 c #Conflicts: 416000 | #Constraints: 31334
378.22/379.46 c #Conflicts: 417000 | #Constraints: 32822
378.22/379.46 c #Conflicts: 418000 | #Constraints: 34299
378.22/379.46 c #Conflicts: 419000 | #Constraints: 35787
378.22/379.46 c #Conflicts: 420000 | #Constraints: 37264
378.22/379.46 c INPROCESSING
378.22/379.46 c GARBAGE COLLECT
378.22/379.46 c rational objective 0
399.96/401.24 c #Conflicts: 421000 | #Constraints: 20142
399.96/401.24 c #Conflicts: 422000 | #Constraints: 21481
399.96/401.24 c #Conflicts: 423000 | #Constraints: 22859
399.96/401.24 c #Conflicts: 424000 | #Constraints: 24351
399.96/401.24 c #Conflicts: 425000 | #Constraints: 25812
399.96/401.24 c #Conflicts: 426000 | #Constraints: 27291
399.96/401.24 c #Conflicts: 427000 | #Constraints: 28757
399.96/401.24 c #Conflicts: 428000 | #Constraints: 30231
399.96/401.24 c #Conflicts: 429000 | #Constraints: 31729
399.96/401.24 c #Conflicts: 430000 | #Constraints: 33216
399.96/401.24 c #Conflicts: 431000 | #Constraints: 34686
399.96/401.24 c #Conflicts: 432000 | #Constraints: 36170
399.96/401.24 c #Conflicts: 433000 | #Constraints: 37639
399.96/401.24 c INPROCESSING
399.96/401.24 c GARBAGE COLLECT
399.96/401.24 c rational objective 0
420.30/421.66 c #Conflicts: 434000 | #Constraints: 19871
420.30/421.66 c #Conflicts: 435000 | #Constraints: 21147
420.30/421.66 c #Conflicts: 436000 | #Constraints: 22269
420.30/421.66 c #Conflicts: 437000 | #Constraints: 23572
420.30/421.66 c #Conflicts: 438000 | #Constraints: 24603
420.30/421.66 c #Conflicts: 439000 | #Constraints: 25603
420.30/421.66 c #Conflicts: 440000 | #Constraints: 26710
420.30/421.66 c #Conflicts: 441000 | #Constraints: 28133
420.30/421.66 c #Conflicts: 442000 | #Constraints: 29618
420.30/421.66 c #Conflicts: 443000 | #Constraints: 30826
420.30/421.66 c #Conflicts: 444000 | #Constraints: 31860
420.30/421.66 c #Conflicts: 445000 | #Constraints: 33100
420.30/421.66 c #Conflicts: 446000 | #Constraints: 34298
420.30/421.66 c INPROCESSING
420.30/421.66 c GARBAGE COLLECT
420.30/421.66 c rational objective 0
441.75/443.19 c #Conflicts: 447000 | #Constraints: 18095
441.75/443.19 c #Conflicts: 448000 | #Constraints: 19351
441.75/443.19 c #Conflicts: 449000 | #Constraints: 20673
441.75/443.19 c #Conflicts: 450000 | #Constraints: 21716
441.75/443.19 c #Conflicts: 451000 | #Constraints: 22966
441.75/443.19 c #Conflicts: 452000 | #Constraints: 24104
441.75/443.19 c #Conflicts: 453000 | #Constraints: 25441
441.75/443.19 c #Conflicts: 454000 | #Constraints: 26755
441.75/443.19 c #Conflicts: 455000 | #Constraints: 27859
441.75/443.19 c #Conflicts: 456000 | #Constraints: 29099
441.75/443.19 c #Conflicts: 457000 | #Constraints: 30370
441.75/443.19 c #Conflicts: 458000 | #Constraints: 31700
441.75/443.19 c #Conflicts: 459000 | #Constraints: 33047
441.75/443.19 c #Conflicts: 460000 | #Constraints: 34076
441.75/443.19 c INPROCESSING
441.75/443.19 c GARBAGE COLLECT
441.75/443.19 c rational objective 0
464.88/466.32 c #Conflicts: 461000 | #Constraints: 18075
464.88/466.32 c #Conflicts: 462000 | #Constraints: 19379
464.88/466.32 c #Conflicts: 463000 | #Constraints: 20773
464.88/466.32 c #Conflicts: 464000 | #Constraints: 21935
464.88/466.32 c #Conflicts: 465000 | #Constraints: 23071
464.88/466.32 c #Conflicts: 466000 | #Constraints: 24423
464.88/466.32 c #Conflicts: 467000 | #Constraints: 25453
464.88/466.32 c #Conflicts: 468000 | #Constraints: 26909
464.88/466.32 c #Conflicts: 469000 | #Constraints: 28269
464.88/466.32 c #Conflicts: 470000 | #Constraints: 29521
464.88/466.32 c #Conflicts: 471000 | #Constraints: 30609
464.88/466.32 c #Conflicts: 472000 | #Constraints: 32001
464.88/466.32 c #Conflicts: 473000 | #Constraints: 33304
464.88/466.32 c #Conflicts: 474000 | #Constraints: 34518
464.88/466.32 c INPROCESSING
464.88/466.32 c GARBAGE COLLECT
464.88/466.32 c rational objective 0
488.81/490.37 c #Conflicts: 475000 | #Constraints: 18752
488.81/490.37 c #Conflicts: 476000 | #Constraints: 20248
488.81/490.37 c #Conflicts: 477000 | #Constraints: 21745
488.81/490.37 c #Conflicts: 478000 | #Constraints: 23254
488.81/490.37 c #Conflicts: 479000 | #Constraints: 24733
488.81/490.37 c #Conflicts: 480000 | #Constraints: 26141
488.81/490.37 c #Conflicts: 481000 | #Constraints: 27632
488.81/490.37 c #Conflicts: 482000 | #Constraints: 29132
488.81/490.37 c #Conflicts: 483000 | #Constraints: 30618
488.81/490.37 c #Conflicts: 484000 | #Constraints: 32099
488.81/490.37 c #Conflicts: 485000 | #Constraints: 33588
488.81/490.37 c #Conflicts: 486000 | #Constraints: 35058
488.81/490.37 c #Conflicts: 487000 | #Constraints: 36532
488.81/490.37 c #Conflicts: 488000 | #Constraints: 38019
488.81/490.37 c INPROCESSING
488.81/490.37 c GARBAGE COLLECT
488.81/490.37 c rational objective 0
523.10/524.78 c #Conflicts: 489000 | #Constraints: 20495
523.10/524.78 c #Conflicts: 490000 | #Constraints: 21992
523.10/524.78 c #Conflicts: 491000 | #Constraints: 23476
523.10/524.78 c #Conflicts: 492000 | #Constraints: 24962
523.10/524.78 c #Conflicts: 493000 | #Constraints: 26447
523.10/524.78 c #Conflicts: 494000 | #Constraints: 27938
523.10/524.78 c #Conflicts: 495000 | #Constraints: 29422
523.10/524.78 c #Conflicts: 496000 | #Constraints: 30928
523.10/524.78 c #Conflicts: 497000 | #Constraints: 32423
523.10/524.78 c #Conflicts: 498000 | #Constraints: 33879
523.10/524.78 c #Conflicts: 499000 | #Constraints: 35365
523.10/524.78 c #Conflicts: 500000 | #Constraints: 36836
523.10/524.78 c #Conflicts: 501000 | #Constraints: 38304
523.10/524.78 c #Conflicts: 502000 | #Constraints: 39765
523.10/524.78 c INPROCESSING
523.10/524.78 c GARBAGE COLLECT
523.10/524.78 c rational objective 0
549.22/551.00 c #Conflicts: 503000 | #Constraints: 21198
549.22/551.00 c #Conflicts: 504000 | #Constraints: 22677
549.22/551.00 c #Conflicts: 505000 | #Constraints: 24089
549.22/551.00 c #Conflicts: 506000 | #Constraints: 25310
549.22/551.00 c #Conflicts: 507000 | #Constraints: 26610
549.22/551.00 c #Conflicts: 508000 | #Constraints: 27785
549.22/551.00 c #Conflicts: 509000 | #Constraints: 29002
549.22/551.00 c #Conflicts: 510000 | #Constraints: 30030
549.22/551.00 c #Conflicts: 511000 | #Constraints: 31233
549.22/551.00 c #Conflicts: 512000 | #Constraints: 32293
549.22/551.00 c #Conflicts: 513000 | #Constraints: 33676
549.22/551.00 c #Conflicts: 514000 | #Constraints: 34906
549.22/551.00 c #Conflicts: 515000 | #Constraints: 36068
549.22/551.00 c #Conflicts: 516000 | #Constraints: 37340
549.22/551.00 c INPROCESSING
549.22/551.00 c GARBAGE COLLECT
549.22/551.00 c rational objective 0
574.63/576.47 c #Conflicts: 517000 | #Constraints: 19677
574.63/576.47 c #Conflicts: 518000 | #Constraints: 20734
574.63/576.47 c #Conflicts: 519000 | #Constraints: 21808
574.63/576.47 c #Conflicts: 520000 | #Constraints: 23256
574.63/576.47 c #Conflicts: 521000 | #Constraints: 24752
574.63/576.47 c #Conflicts: 522000 | #Constraints: 26223
574.63/576.47 c #Conflicts: 523000 | #Constraints: 27644
574.63/576.47 c #Conflicts: 524000 | #Constraints: 28778
574.63/576.47 c #Conflicts: 525000 | #Constraints: 30174
574.63/576.47 c #Conflicts: 526000 | #Constraints: 31325
574.63/576.47 c #Conflicts: 527000 | #Constraints: 32669
574.63/576.47 c #Conflicts: 528000 | #Constraints: 33669
574.63/576.47 c #Conflicts: 529000 | #Constraints: 34669
574.63/576.47 c #Conflicts: 530000 | #Constraints: 35950
574.63/576.47 c #Conflicts: 531000 | #Constraints: 37451
574.63/576.47 c INPROCESSING
574.63/576.47 c GARBAGE COLLECT
574.63/576.47 c rational objective 0
600.05/601.92 c #Conflicts: 532000 | #Constraints: 20062
600.05/601.92 c #Conflicts: 533000 | #Constraints: 21311
600.05/601.92 c #Conflicts: 534000 | #Constraints: 22311
600.05/601.92 c #Conflicts: 535000 | #Constraints: 23311
600.05/601.92 c #Conflicts: 536000 | #Constraints: 24311
600.05/601.92 c #Conflicts: 537000 | #Constraints: 25634
600.05/601.92 c #Conflicts: 538000 | #Constraints: 27130
600.05/601.92 c #Conflicts: 539000 | #Constraints: 28299
600.05/601.92 c #Conflicts: 540000 | #Constraints: 29444
600.05/601.92 c #Conflicts: 541000 | #Constraints: 30944
600.05/601.92 c #Conflicts: 542000 | #Constraints: 32188
600.05/601.92 c #Conflicts: 543000 | #Constraints: 33658
600.05/601.92 c #Conflicts: 544000 | #Constraints: 35141
600.05/601.92 c #Conflicts: 545000 | #Constraints: 36611
600.05/601.92 c #Conflicts: 546000 | #Constraints: 38104
600.05/601.92 c INPROCESSING
600.05/601.92 c GARBAGE COLLECT
600.05/601.92 c rational objective 0
623.49/625.45 c #Conflicts: 547000 | #Constraints: 20265
623.49/625.45 c #Conflicts: 548000 | #Constraints: 21267
623.49/625.45 c #Conflicts: 549000 | #Constraints: 22271
623.49/625.45 c #Conflicts: 550000 | #Constraints: 23288
623.49/625.45 c #Conflicts: 551000 | #Constraints: 24324
623.49/625.45 c #Conflicts: 552000 | #Constraints: 25352
623.49/625.45 c #Conflicts: 553000 | #Constraints: 26385
623.49/625.45 c #Conflicts: 554000 | #Constraints: 27410
623.49/625.45 c #Conflicts: 555000 | #Constraints: 28465
623.49/625.45 c #Conflicts: 556000 | #Constraints: 29466
623.49/625.45 c #Conflicts: 557000 | #Constraints: 30513
623.49/625.45 c #Conflicts: 558000 | #Constraints: 31572
623.49/625.45 c #Conflicts: 559000 | #Constraints: 32615
623.49/625.45 c #Conflicts: 560000 | #Constraints: 33639
623.49/625.45 c #Conflicts: 561000 | #Constraints: 34642
623.49/625.45 c INPROCESSING
623.49/625.45 c GARBAGE COLLECT
623.49/625.45 c rational objective 0
645.12/647.15 c #Conflicts: 562000 | #Constraints: 18396
645.12/647.15 c #Conflicts: 563000 | #Constraints: 19396
645.12/647.15 c #Conflicts: 564000 | #Constraints: 20466
645.12/647.15 c #Conflicts: 565000 | #Constraints: 21469
645.12/647.15 c #Conflicts: 566000 | #Constraints: 22475
645.12/647.15 c #Conflicts: 567000 | #Constraints: 23475
645.12/647.15 c #Conflicts: 568000 | #Constraints: 24487
645.12/647.15 c #Conflicts: 569000 | #Constraints: 25492
645.12/647.15 c #Conflicts: 570000 | #Constraints: 26522
645.12/647.15 c #Conflicts: 571000 | #Constraints: 27530
645.12/647.15 c #Conflicts: 572000 | #Constraints: 28567
645.12/647.15 c #Conflicts: 573000 | #Constraints: 29568
645.12/647.15 c #Conflicts: 574000 | #Constraints: 30617
645.12/647.15 c #Conflicts: 575000 | #Constraints: 31683
645.12/647.15 c #Conflicts: 576000 | #Constraints: 32688
645.12/647.15 c INPROCESSING
645.12/647.15 c GARBAGE COLLECT
645.12/647.15 c rational objective 0
666.35/668.43 c #Conflicts: 577000 | #Constraints: 17262
666.35/668.43 c #Conflicts: 578000 | #Constraints: 18262
666.35/668.43 c #Conflicts: 579000 | #Constraints: 19262
666.35/668.43 c #Conflicts: 580000 | #Constraints: 20262
666.35/668.43 c #Conflicts: 581000 | #Constraints: 21264
666.35/668.43 c #Conflicts: 582000 | #Constraints: 22264
666.35/668.43 c #Conflicts: 583000 | #Constraints: 23265
666.35/668.43 c #Conflicts: 584000 | #Constraints: 24265
666.35/668.43 c #Conflicts: 585000 | #Constraints: 25266
666.35/668.43 c #Conflicts: 586000 | #Constraints: 26267
666.35/668.43 c #Conflicts: 587000 | #Constraints: 27269
666.35/668.43 c #Conflicts: 588000 | #Constraints: 28269
666.35/668.43 c #Conflicts: 589000 | #Constraints: 29272
666.35/668.43 c #Conflicts: 590000 | #Constraints: 30272
666.35/668.43 c #Conflicts: 591000 | #Constraints: 31272
666.35/668.43 c INPROCESSING
666.35/668.43 c GARBAGE COLLECT
666.35/668.43 c rational objective 0
691.77/693.96 c #Conflicts: 592000 | #Constraints: 16516
691.77/693.96 c #Conflicts: 593000 | #Constraints: 18008
691.77/693.96 c #Conflicts: 594000 | #Constraints: 19511
691.77/693.96 c #Conflicts: 595000 | #Constraints: 20987
691.77/693.96 c #Conflicts: 596000 | #Constraints: 22467
691.77/693.96 c #Conflicts: 597000 | #Constraints: 23955
691.77/693.96 c #Conflicts: 598000 | #Constraints: 25448
691.77/693.96 c #Conflicts: 599000 | #Constraints: 26944
691.77/693.96 c #Conflicts: 600000 | #Constraints: 28437
691.77/693.96 c #Conflicts: 601000 | #Constraints: 29927
691.77/693.96 c #Conflicts: 602000 | #Constraints: 31427
691.77/693.96 c #Conflicts: 603000 | #Constraints: 32922
691.77/693.96 c #Conflicts: 604000 | #Constraints: 34413
691.77/693.96 c #Conflicts: 605000 | #Constraints: 35867
691.77/693.96 c #Conflicts: 606000 | #Constraints: 37352
691.77/693.96 c #Conflicts: 607000 | #Constraints: 38834
691.77/693.96 c INPROCESSING
691.77/693.96 c GARBAGE COLLECT
691.77/693.96 c rational objective 0
717.99/720.24 c #Conflicts: 608000 | #Constraints: 20458
717.99/720.24 c #Conflicts: 609000 | #Constraints: 21626
717.99/720.24 c #Conflicts: 610000 | #Constraints: 22861
717.99/720.24 c #Conflicts: 611000 | #Constraints: 23933
717.99/720.24 c #Conflicts: 612000 | #Constraints: 25209
717.99/720.24 c #Conflicts: 613000 | #Constraints: 26258
717.99/720.24 c #Conflicts: 614000 | #Constraints: 27423
717.99/720.24 c #Conflicts: 615000 | #Constraints: 28600
717.99/720.24 c #Conflicts: 616000 | #Constraints: 29695
717.99/720.24 c #Conflicts: 617000 | #Constraints: 30695
717.99/720.24 c #Conflicts: 618000 | #Constraints: 31698
717.99/720.24 c #Conflicts: 619000 | #Constraints: 32698
717.99/720.24 c #Conflicts: 620000 | #Constraints: 33698
717.99/720.24 c #Conflicts: 621000 | #Constraints: 34698
717.99/720.24 c #Conflicts: 622000 | #Constraints: 35698
717.99/720.24 c #Conflicts: 623000 | #Constraints: 36707
717.99/720.24 c INPROCESSING
717.99/720.24 c GARBAGE COLLECT
717.99/720.24 c rational objective 0
746.01/748.31 c #Conflicts: 624000 | #Constraints: 19710
746.01/748.31 c #Conflicts: 625000 | #Constraints: 21194
746.01/748.31 c #Conflicts: 626000 | #Constraints: 22676
746.01/748.31 c #Conflicts: 627000 | #Constraints: 24177
746.01/748.31 c #Conflicts: 628000 | #Constraints: 25667
746.01/748.31 c #Conflicts: 629000 | #Constraints: 27131
746.01/748.31 c #Conflicts: 630000 | #Constraints: 28599
746.01/748.31 c #Conflicts: 631000 | #Constraints: 30081
746.01/748.31 c #Conflicts: 632000 | #Constraints: 31567
746.01/748.31 c #Conflicts: 633000 | #Constraints: 33075
746.01/748.31 c #Conflicts: 634000 | #Constraints: 34582
746.01/748.31 c #Conflicts: 635000 | #Constraints: 36076
746.01/748.31 c #Conflicts: 636000 | #Constraints: 37574
746.01/748.31 c #Conflicts: 637000 | #Constraints: 39050
746.01/748.31 c #Conflicts: 638000 | #Constraints: 40540
746.01/748.31 c #Conflicts: 639000 | #Constraints: 42029
746.01/748.31 c INPROCESSING
746.01/748.31 c GARBAGE COLLECT
746.01/748.31 c rational objective 0
780.68/783.14 c #Conflicts: 640000 | #Constraints: 22266
780.68/783.14 c #Conflicts: 641000 | #Constraints: 23726
780.68/783.14 c #Conflicts: 642000 | #Constraints: 25236
780.68/783.14 c #Conflicts: 643000 | #Constraints: 26723
780.68/783.14 c #Conflicts: 644000 | #Constraints: 28179
780.68/783.14 c #Conflicts: 645000 | #Constraints: 29687
780.68/783.14 c #Conflicts: 646000 | #Constraints: 31156
780.68/783.14 c #Conflicts: 647000 | #Constraints: 32642
780.68/783.14 c #Conflicts: 648000 | #Constraints: 34121
780.68/783.14 c #Conflicts: 649000 | #Constraints: 35629
780.68/783.14 c #Conflicts: 650000 | #Constraints: 37121
780.68/783.14 c #Conflicts: 651000 | #Constraints: 38179
780.68/783.14 c #Conflicts: 652000 | #Constraints: 39180
780.68/783.14 c #Conflicts: 653000 | #Constraints: 40181
780.68/783.14 c #Conflicts: 654000 | #Constraints: 41184
780.68/783.14 c #Conflicts: 655000 | #Constraints: 42659
780.68/783.14 c INPROCESSING
780.68/783.14 c GARBAGE COLLECT
780.68/783.14 c rational objective 0
810.40/812.97 c #Conflicts: 656000 | #Constraints: 22411
810.40/812.97 c #Conflicts: 657000 | #Constraints: 23411
810.40/812.97 c #Conflicts: 658000 | #Constraints: 24411
810.40/812.97 c #Conflicts: 659000 | #Constraints: 25730
810.40/812.97 c #Conflicts: 660000 | #Constraints: 27211
810.40/812.97 c #Conflicts: 661000 | #Constraints: 28711
810.40/812.97 c #Conflicts: 662000 | #Constraints: 29800
810.40/812.97 c #Conflicts: 663000 | #Constraints: 30800
810.40/812.97 c #Conflicts: 664000 | #Constraints: 32084
810.40/812.97 c #Conflicts: 665000 | #Constraints: 33240
810.40/812.97 c #Conflicts: 666000 | #Constraints: 34444
810.40/812.97 c #Conflicts: 667000 | #Constraints: 35444
810.40/812.97 c #Conflicts: 668000 | #Constraints: 36444
810.40/812.97 c #Conflicts: 669000 | #Constraints: 37536
810.40/812.97 c #Conflicts: 670000 | #Constraints: 39005
810.40/812.97 c #Conflicts: 671000 | #Constraints: 40005
810.40/812.97 c INPROCESSING
810.40/812.97 c GARBAGE COLLECT
810.40/812.97 c rational objective 0
841.52/844.19 c #Conflicts: 672000 | #Constraints: 20902
841.52/844.19 c #Conflicts: 673000 | #Constraints: 22394
841.52/844.19 c #Conflicts: 674000 | #Constraints: 23872
841.52/844.19 c #Conflicts: 675000 | #Constraints: 25362
841.52/844.19 c #Conflicts: 676000 | #Constraints: 26826
841.52/844.19 c #Conflicts: 677000 | #Constraints: 28314
841.52/844.19 c #Conflicts: 678000 | #Constraints: 29816
841.52/844.19 c #Conflicts: 679000 | #Constraints: 31300
841.52/844.19 c #Conflicts: 680000 | #Constraints: 32596
841.52/844.19 c #Conflicts: 681000 | #Constraints: 33597
841.52/844.19 c #Conflicts: 682000 | #Constraints: 34598
841.52/844.19 c #Conflicts: 683000 | #Constraints: 35600
841.52/844.19 c #Conflicts: 684000 | #Constraints: 37091
841.52/844.19 c #Conflicts: 685000 | #Constraints: 38567
841.52/844.19 c #Conflicts: 686000 | #Constraints: 40049
841.52/844.19 c #Conflicts: 687000 | #Constraints: 41519
841.52/844.19 c #Conflicts: 688000 | #Constraints: 43001
841.52/844.19 c INPROCESSING
841.52/844.19 c GARBAGE COLLECT
841.52/844.19 c rational objective 0
878.31/881.08 c #Conflicts: 689000 | #Constraints: 22816
878.31/881.08 c #Conflicts: 690000 | #Constraints: 24298
878.31/881.08 c #Conflicts: 691000 | #Constraints: 25781
878.31/881.08 c #Conflicts: 692000 | #Constraints: 27275
878.31/881.08 c #Conflicts: 693000 | #Constraints: 28767
878.31/881.08 c #Conflicts: 694000 | #Constraints: 30284
878.31/881.08 c #Conflicts: 695000 | #Constraints: 31758
878.31/881.08 c #Conflicts: 696000 | #Constraints: 33238
878.31/881.08 c #Conflicts: 697000 | #Constraints: 34681
878.31/881.08 c #Conflicts: 698000 | #Constraints: 36146
878.31/881.08 c #Conflicts: 699000 | #Constraints: 37631
878.31/881.08 c #Conflicts: 700000 | #Constraints: 39126
878.31/881.08 c #Conflicts: 701000 | #Constraints: 40591
878.31/881.08 c #Conflicts: 702000 | #Constraints: 42087
878.31/881.08 c #Conflicts: 703000 | #Constraints: 43579
878.31/881.08 c #Conflicts: 704000 | #Constraints: 45051
878.31/881.08 c #Conflicts: 705000 | #Constraints: 46547
878.31/881.08 c INPROCESSING
878.31/881.08 c GARBAGE COLLECT
878.31/881.08 c rational objective 0
909.82/912.65 c #Conflicts: 706000 | #Constraints: 24420
909.82/912.65 c #Conflicts: 707000 | #Constraints: 25420
909.82/912.65 c #Conflicts: 708000 | #Constraints: 26474
909.82/912.65 c #Conflicts: 709000 | #Constraints: 27562
909.82/912.65 c #Conflicts: 710000 | #Constraints: 28698
909.82/912.65 c #Conflicts: 711000 | #Constraints: 29797
909.82/912.65 c #Conflicts: 712000 | #Constraints: 30930
909.82/912.65 c #Conflicts: 713000 | #Constraints: 32239
909.82/912.65 c #Conflicts: 714000 | #Constraints: 33338
909.82/912.65 c #Conflicts: 715000 | #Constraints: 34383
909.82/912.65 c #Conflicts: 716000 | #Constraints: 35384
909.82/912.65 c #Conflicts: 717000 | #Constraints: 36384
909.82/912.65 c #Conflicts: 718000 | #Constraints: 37384
909.82/912.65 c #Conflicts: 719000 | #Constraints: 38426
909.82/912.65 c #Conflicts: 720000 | #Constraints: 39426
909.82/912.65 c #Conflicts: 721000 | #Constraints: 40426
909.82/912.65 c #Conflicts: 722000 | #Constraints: 41669
909.82/912.65 c INPROCESSING
909.82/912.65 c GARBAGE COLLECT
909.82/912.65 c rational objective 0
940.94/943.87 c #Conflicts: 723000 | #Constraints: 22071
940.94/943.87 c #Conflicts: 724000 | #Constraints: 23072
940.94/943.87 c #Conflicts: 725000 | #Constraints: 24213
940.94/943.87 c #Conflicts: 726000 | #Constraints: 25668
940.94/943.87 c #Conflicts: 727000 | #Constraints: 26834
940.94/943.87 c #Conflicts: 728000 | #Constraints: 27834
940.94/943.87 c #Conflicts: 729000 | #Constraints: 29211
940.94/943.87 c #Conflicts: 730000 | #Constraints: 30643
940.94/943.87 c #Conflicts: 731000 | #Constraints: 31742
940.94/943.87 c #Conflicts: 732000 | #Constraints: 32743
940.94/943.87 c #Conflicts: 733000 | #Constraints: 33743
940.94/943.87 c #Conflicts: 734000 | #Constraints: 34836
940.94/943.87 c #Conflicts: 735000 | #Constraints: 36090
940.94/943.87 c #Conflicts: 736000 | #Constraints: 37346
940.94/943.87 c #Conflicts: 737000 | #Constraints: 38563
940.94/943.87 c #Conflicts: 738000 | #Constraints: 40002
940.94/943.87 c #Conflicts: 739000 | #Constraints: 41279
940.94/943.87 c INPROCESSING
940.94/943.87 c GARBAGE COLLECT
940.94/943.87 c rational objective 0
970.16/973.15 c #Conflicts: 740000 | #Constraints: 21593
970.16/973.15 c #Conflicts: 741000 | #Constraints: 22634
970.16/973.15 c #Conflicts: 742000 | #Constraints: 23656
970.16/973.15 c #Conflicts: 743000 | #Constraints: 24657
970.16/973.15 c #Conflicts: 744000 | #Constraints: 25705
970.16/973.15 c #Conflicts: 745000 | #Constraints: 26705
970.16/973.15 c #Conflicts: 746000 | #Constraints: 27705
970.16/973.15 c #Conflicts: 747000 | #Constraints: 28721
970.16/973.15 c #Conflicts: 748000 | #Constraints: 29748
970.16/973.15 c #Conflicts: 749000 | #Constraints: 30751
970.16/973.15 c #Conflicts: 750000 | #Constraints: 31766
970.16/973.15 c #Conflicts: 751000 | #Constraints: 32787
970.16/973.15 c #Conflicts: 752000 | #Constraints: 33788
970.16/973.15 c #Conflicts: 753000 | #Constraints: 34788
970.16/973.15 c #Conflicts: 754000 | #Constraints: 35789
970.16/973.15 c #Conflicts: 755000 | #Constraints: 36789
970.16/973.15 c #Conflicts: 756000 | #Constraints: 37789
970.16/973.15 c INPROCESSING
970.16/973.15 c GARBAGE COLLECT
970.16/973.15 c rational objective 0
1000.67/1003.72 c #Conflicts: 757000 | #Constraints: 19654
1000.67/1003.72 c #Conflicts: 758000 | #Constraints: 21011
1000.67/1003.72 c #Conflicts: 759000 | #Constraints: 22328
1000.67/1003.72 c #Conflicts: 760000 | #Constraints: 23747
1000.67/1003.72 c #Conflicts: 761000 | #Constraints: 25230
1000.67/1003.72 c #Conflicts: 762000 | #Constraints: 26281
1000.67/1003.72 c #Conflicts: 763000 | #Constraints: 27747
1000.67/1003.72 c #Conflicts: 764000 | #Constraints: 29025
1000.67/1003.72 c #Conflicts: 765000 | #Constraints: 30115
1000.67/1003.72 c #Conflicts: 766000 | #Constraints: 31461
1000.67/1003.72 c #Conflicts: 767000 | #Constraints: 32573
1000.67/1003.72 c #Conflicts: 768000 | #Constraints: 33573
1000.67/1003.72 c #Conflicts: 769000 | #Constraints: 34866
1000.67/1003.72 c #Conflicts: 770000 | #Constraints: 36043
1000.67/1003.72 c #Conflicts: 771000 | #Constraints: 37043
1000.67/1003.72 c #Conflicts: 772000 | #Constraints: 38188
1000.67/1003.72 c #Conflicts: 773000 | #Constraints: 39667
1000.67/1003.72 c #Conflicts: 774000 | #Constraints: 41124
1000.67/1003.72 c INPROCESSING
1000.67/1003.72 c GARBAGE COLLECT
1000.67/1003.72 c rational objective 0
1032.08/1035.24 c #Conflicts: 775000 | #Constraints: 21741
1032.08/1035.24 c #Conflicts: 776000 | #Constraints: 23026
1032.08/1035.24 c #Conflicts: 777000 | #Constraints: 24160
1032.08/1035.24 c #Conflicts: 778000 | #Constraints: 25163
1032.08/1035.24 c #Conflicts: 779000 | #Constraints: 26164
1032.08/1035.24 c #Conflicts: 780000 | #Constraints: 27621
1032.08/1035.24 c #Conflicts: 781000 | #Constraints: 28906
1032.08/1035.24 c #Conflicts: 782000 | #Constraints: 29990
1032.08/1035.24 c #Conflicts: 783000 | #Constraints: 30990
1032.08/1035.24 c #Conflicts: 784000 | #Constraints: 32051
1032.08/1035.24 c #Conflicts: 785000 | #Constraints: 33051
1032.08/1035.24 c #Conflicts: 786000 | #Constraints: 34245
1032.08/1035.24 c #Conflicts: 787000 | #Constraints: 35550
1032.08/1035.24 c #Conflicts: 788000 | #Constraints: 36550
1032.08/1035.24 c #Conflicts: 789000 | #Constraints: 37903
1032.08/1035.24 c #Conflicts: 790000 | #Constraints: 38903
1032.08/1035.24 c #Conflicts: 791000 | #Constraints: 39903
1032.08/1035.24 c #Conflicts: 792000 | #Constraints: 40970
1032.08/1035.24 c INPROCESSING
1032.08/1035.24 c GARBAGE COLLECT
1032.08/1035.24 c rational objective 0
1063.20/1066.48 c #Conflicts: 793000 | #Constraints: 21942
1063.20/1066.48 c #Conflicts: 794000 | #Constraints: 23091
1063.20/1066.48 c #Conflicts: 795000 | #Constraints: 24091
1063.20/1066.48 c #Conflicts: 796000 | #Constraints: 25116
1063.20/1066.48 c #Conflicts: 797000 | #Constraints: 26116
1063.20/1066.48 c #Conflicts: 798000 | #Constraints: 27116
1063.20/1066.48 c #Conflicts: 799000 | #Constraints: 28501
1063.20/1066.48 c #Conflicts: 800000 | #Constraints: 29526
1063.20/1066.48 c #Conflicts: 801000 | #Constraints: 30526
1063.20/1066.48 c #Conflicts: 802000 | #Constraints: 31526
1063.20/1066.48 c #Conflicts: 803000 | #Constraints: 32526
1063.20/1066.48 c #Conflicts: 804000 | #Constraints: 33671
1063.20/1066.48 c #Conflicts: 805000 | #Constraints: 35163
1063.20/1066.48 c #Conflicts: 806000 | #Constraints: 36509
1063.20/1066.48 c #Conflicts: 807000 | #Constraints: 37718
1063.20/1066.48 c #Conflicts: 808000 | #Constraints: 38718
1063.20/1066.48 c #Conflicts: 809000 | #Constraints: 39768
1063.20/1066.48 c #Conflicts: 810000 | #Constraints: 40768
1063.20/1066.48 c INPROCESSING
1063.20/1066.48 c GARBAGE COLLECT
1063.20/1066.48 c rational objective 0
1093.32/1096.65 c #Conflicts: 811000 | #Constraints: 21452
1093.32/1096.65 c #Conflicts: 812000 | #Constraints: 22540
1093.32/1096.65 c #Conflicts: 813000 | #Constraints: 23589
1093.32/1096.65 c #Conflicts: 814000 | #Constraints: 24676
1093.32/1096.65 c #Conflicts: 815000 | #Constraints: 25676
1093.32/1096.65 c #Conflicts: 816000 | #Constraints: 26720
1093.32/1096.65 c #Conflicts: 817000 | #Constraints: 27720
1093.32/1096.65 c #Conflicts: 818000 | #Constraints: 28726
1093.32/1096.65 c #Conflicts: 819000 | #Constraints: 29781
1093.32/1096.65 c #Conflicts: 820000 | #Constraints: 30793
1093.32/1096.65 c #Conflicts: 821000 | #Constraints: 31793
1093.32/1096.65 c #Conflicts: 822000 | #Constraints: 32793
1093.32/1096.65 c #Conflicts: 823000 | #Constraints: 33794
1093.32/1096.65 c #Conflicts: 824000 | #Constraints: 34795
1093.32/1096.65 c #Conflicts: 825000 | #Constraints: 35797
1093.32/1096.65 c #Conflicts: 826000 | #Constraints: 36798
1093.32/1096.65 c #Conflicts: 827000 | #Constraints: 37863
1093.32/1096.65 c #Conflicts: 828000 | #Constraints: 38863
1093.32/1096.65 c INPROCESSING
1093.32/1096.65 c GARBAGE COLLECT
1093.32/1096.65 c rational objective 0
1129.32/1132.72 c #Conflicts: 829000 | #Constraints: 20607
1129.32/1132.72 c #Conflicts: 830000 | #Constraints: 22063
1129.32/1132.72 c #Conflicts: 831000 | #Constraints: 23418
1129.32/1132.72 c #Conflicts: 832000 | #Constraints: 24892
1129.32/1132.72 c #Conflicts: 833000 | #Constraints: 26362
1129.32/1132.72 c #Conflicts: 834000 | #Constraints: 27823
1129.32/1132.72 c #Conflicts: 835000 | #Constraints: 29235
1129.32/1132.72 c #Conflicts: 836000 | #Constraints: 30235
1129.32/1132.72 c #Conflicts: 837000 | #Constraints: 31710
1129.32/1132.72 c #Conflicts: 838000 | #Constraints: 33191
1129.32/1132.72 c #Conflicts: 839000 | #Constraints: 34674
1129.32/1132.72 c #Conflicts: 840000 | #Constraints: 36143
1129.32/1132.72 c #Conflicts: 841000 | #Constraints: 37634
1129.32/1132.72 c #Conflicts: 842000 | #Constraints: 38995
1129.32/1132.72 c #Conflicts: 843000 | #Constraints: 40472
1129.32/1132.72 c #Conflicts: 844000 | #Constraints: 41961
1129.32/1132.72 c #Conflicts: 845000 | #Constraints: 43406
1129.32/1132.72 c #Conflicts: 846000 | #Constraints: 44782
1129.32/1132.72 c INPROCESSING
1129.32/1132.72 c GARBAGE COLLECT
1129.32/1132.72 c rational objective 0
1166.91/1170.41 c #Conflicts: 847000 | #Constraints: 23226
1166.91/1170.41 c #Conflicts: 848000 | #Constraints: 24231
1166.91/1170.41 c #Conflicts: 849000 | #Constraints: 25288
1166.91/1170.41 c #Conflicts: 850000 | #Constraints: 26288
1166.91/1170.41 c #Conflicts: 851000 | #Constraints: 27289
1166.91/1170.41 c #Conflicts: 852000 | #Constraints: 28300
1166.91/1170.41 c #Conflicts: 853000 | #Constraints: 29300
1166.91/1170.41 c #Conflicts: 854000 | #Constraints: 30300
1166.91/1170.41 c #Conflicts: 855000 | #Constraints: 31311
1166.91/1170.41 c #Conflicts: 856000 | #Constraints: 32337
1166.91/1170.41 c #Conflicts: 857000 | #Constraints: 33337
1166.91/1170.41 c #Conflicts: 858000 | #Constraints: 34359
1166.91/1170.41 c #Conflicts: 859000 | #Constraints: 35359
1166.91/1170.41 c #Conflicts: 860000 | #Constraints: 36377
1166.91/1170.41 c #Conflicts: 861000 | #Constraints: 37377
1166.91/1170.41 c #Conflicts: 862000 | #Constraints: 38377
1166.91/1170.41 c #Conflicts: 863000 | #Constraints: 39377
1166.91/1170.41 c #Conflicts: 864000 | #Constraints: 40377
1166.91/1170.41 c #Conflicts: 865000 | #Constraints: 41381
1166.91/1170.41 c INPROCESSING
1166.91/1170.41 c GARBAGE COLLECT
1166.91/1170.41 c rational objective 0
1201.81/1205.40 c #Conflicts: 866000 | #Constraints: 21711
1201.81/1205.40 c #Conflicts: 867000 | #Constraints: 22711
1201.81/1205.40 c #Conflicts: 868000 | #Constraints: 23711
1201.81/1205.40 c #Conflicts: 869000 | #Constraints: 24711
1201.81/1205.40 c #Conflicts: 870000 | #Constraints: 25711
1201.81/1205.40 c #Conflicts: 871000 | #Constraints: 26711
1201.81/1205.40 c #Conflicts: 872000 | #Constraints: 27721
1201.81/1205.40 c #Conflicts: 873000 | #Constraints: 28721
1201.81/1205.40 c #Conflicts: 874000 | #Constraints: 29721
1201.81/1205.40 c #Conflicts: 875000 | #Constraints: 30722
1201.81/1205.40 c #Conflicts: 876000 | #Constraints: 31722
1201.81/1205.40 c #Conflicts: 877000 | #Constraints: 32722
1201.81/1205.40 c #Conflicts: 878000 | #Constraints: 33722
1201.81/1205.40 c #Conflicts: 879000 | #Constraints: 34722
1201.81/1205.40 c #Conflicts: 880000 | #Constraints: 35722
1201.81/1205.40 c #Conflicts: 881000 | #Constraints: 36722
1201.81/1205.40 c #Conflicts: 882000 | #Constraints: 37722
1201.81/1205.40 c #Conflicts: 883000 | #Constraints: 38722
1201.81/1205.40 c #Conflicts: 884000 | #Constraints: 39722
1201.81/1205.40 c INPROCESSING
1201.81/1205.40 c GARBAGE COLLECT
1201.81/1205.40 c rational objective 0
1241.50/1245.22 c #Conflicts: 885000 | #Constraints: 21332
1241.50/1245.22 c #Conflicts: 886000 | #Constraints: 22798
1241.50/1245.22 c #Conflicts: 887000 | #Constraints: 24274
1241.50/1245.22 c #Conflicts: 888000 | #Constraints: 25737
1241.50/1245.22 c #Conflicts: 889000 | #Constraints: 27114
1241.50/1245.22 c #Conflicts: 890000 | #Constraints: 28526
1241.50/1245.22 c #Conflicts: 891000 | #Constraints: 29990
1241.50/1245.22 c #Conflicts: 892000 | #Constraints: 31474
1241.50/1245.22 c #Conflicts: 893000 | #Constraints: 32949
1241.50/1245.22 c #Conflicts: 894000 | #Constraints: 34414
1241.50/1245.22 c #Conflicts: 895000 | #Constraints: 35871
1241.50/1245.22 c #Conflicts: 896000 | #Constraints: 37371
1241.50/1245.22 c #Conflicts: 897000 | #Constraints: 38852
1241.50/1245.22 c #Conflicts: 898000 | #Constraints: 40359
1241.50/1245.22 c #Conflicts: 899000 | #Constraints: 41831
1241.50/1245.22 c #Conflicts: 900000 | #Constraints: 43320
1241.50/1245.22 c #Conflicts: 901000 | #Constraints: 44806
1241.50/1245.22 c #Conflicts: 902000 | #Constraints: 46302
1241.50/1245.22 c #Conflicts: 903000 | #Constraints: 47773
1241.50/1245.22 c INPROCESSING
1241.50/1245.22 c GARBAGE COLLECT
1241.50/1245.22 c rational objective 0
1283.98/1287.83 c #Conflicts: 904000 | #Constraints: 25355
1283.98/1287.83 c #Conflicts: 905000 | #Constraints: 26834
1283.98/1287.83 c #Conflicts: 906000 | #Constraints: 28310
1283.98/1287.83 c #Conflicts: 907000 | #Constraints: 29810
1283.98/1287.83 c #Conflicts: 908000 | #Constraints: 31289
1283.98/1287.83 c #Conflicts: 909000 | #Constraints: 32778
1283.98/1287.83 c #Conflicts: 910000 | #Constraints: 34279
1283.98/1287.83 c #Conflicts: 911000 | #Constraints: 35509
1283.98/1287.83 c #Conflicts: 912000 | #Constraints: 36985
1283.98/1287.83 c #Conflicts: 913000 | #Constraints: 38471
1283.98/1287.83 c #Conflicts: 914000 | #Constraints: 39939
1283.98/1287.83 c #Conflicts: 915000 | #Constraints: 41413
1283.98/1287.83 c #Conflicts: 916000 | #Constraints: 42706
1283.98/1287.83 c #Conflicts: 917000 | #Constraints: 44052
1283.98/1287.83 c #Conflicts: 918000 | #Constraints: 45536
1283.98/1287.83 c #Conflicts: 919000 | #Constraints: 47007
1283.98/1287.83 c #Conflicts: 920000 | #Constraints: 48492
1283.98/1287.83 c #Conflicts: 921000 | #Constraints: 49799
1283.98/1287.83 c #Conflicts: 922000 | #Constraints: 50799
1283.98/1287.83 c INPROCESSING
1283.98/1287.83 c GARBAGE COLLECT
1283.98/1287.83 c rational objective 0
1326.46/1330.45 c #Conflicts: 923000 | #Constraints: 26693
1326.46/1330.45 c #Conflicts: 924000 | #Constraints: 28165
1326.46/1330.45 c #Conflicts: 925000 | #Constraints: 29620
1326.46/1330.45 c #Conflicts: 926000 | #Constraints: 31110
1326.46/1330.45 c #Conflicts: 927000 | #Constraints: 32588
1326.46/1330.45 c #Conflicts: 928000 | #Constraints: 33800
1326.46/1330.45 c #Conflicts: 929000 | #Constraints: 35114
1326.46/1330.45 c #Conflicts: 930000 | #Constraints: 36292
1326.46/1330.45 c #Conflicts: 931000 | #Constraints: 37757
1326.46/1330.45 c #Conflicts: 932000 | #Constraints: 39218
1326.46/1330.45 c #Conflicts: 933000 | #Constraints: 40680
1326.46/1330.45 c #Conflicts: 934000 | #Constraints: 42154
1326.46/1330.45 c #Conflicts: 935000 | #Constraints: 43626
1326.46/1330.45 c #Conflicts: 936000 | #Constraints: 45097
1326.46/1330.45 c #Conflicts: 937000 | #Constraints: 46576
1326.46/1330.45 c #Conflicts: 938000 | #Constraints: 48065
1326.46/1330.45 c #Conflicts: 939000 | #Constraints: 49551
1326.46/1330.45 c #Conflicts: 940000 | #Constraints: 51032
1326.46/1330.45 c #Conflicts: 941000 | #Constraints: 52513
1326.46/1330.45 c INPROCESSING
1326.46/1330.45 c GARBAGE COLLECT
1326.46/1330.45 c rational objective 0
1374.43/1378.54 c #Conflicts: 942000 | #Constraints: 27169
1374.43/1378.54 c #Conflicts: 943000 | #Constraints: 28639
1374.43/1378.54 c #Conflicts: 944000 | #Constraints: 30123
1374.43/1378.54 c #Conflicts: 945000 | #Constraints: 31619
1374.43/1378.54 c #Conflicts: 946000 | #Constraints: 33104
1374.43/1378.54 c #Conflicts: 947000 | #Constraints: 34539
1374.43/1378.54 c #Conflicts: 948000 | #Constraints: 36030
1374.43/1378.54 c #Conflicts: 949000 | #Constraints: 37525
1374.43/1378.54 c #Conflicts: 950000 | #Constraints: 38971
1374.43/1378.54 c #Conflicts: 951000 | #Constraints: 40447
1374.43/1378.54 c #Conflicts: 952000 | #Constraints: 41938
1374.43/1378.54 c #Conflicts: 953000 | #Constraints: 43423
1374.43/1378.54 c #Conflicts: 954000 | #Constraints: 44891
1374.43/1378.54 c #Conflicts: 955000 | #Constraints: 46388
1374.43/1378.54 c #Conflicts: 956000 | #Constraints: 47867
1374.43/1378.54 c #Conflicts: 957000 | #Constraints: 49324
1374.43/1378.54 c #Conflicts: 958000 | #Constraints: 50803
1374.43/1378.54 c #Conflicts: 959000 | #Constraints: 52266
1374.43/1378.54 c #Conflicts: 960000 | #Constraints: 53758
1374.43/1378.54 c #Conflicts: 961000 | #Constraints: 55239
1374.43/1378.54 c INPROCESSING
1374.43/1378.54 c GARBAGE COLLECT
1374.43/1378.54 c rational objective 0
1425.69/1430.00 c #Conflicts: 962000 | #Constraints: 28915
1425.69/1430.00 c #Conflicts: 963000 | #Constraints: 30402
1425.69/1430.00 c #Conflicts: 964000 | #Constraints: 31911
1425.69/1430.00 c #Conflicts: 965000 | #Constraints: 33394
1425.69/1430.00 c #Conflicts: 966000 | #Constraints: 34641
1425.69/1430.00 c #Conflicts: 967000 | #Constraints: 36132
1425.69/1430.00 c #Conflicts: 968000 | #Constraints: 37612
1425.69/1430.00 c #Conflicts: 969000 | #Constraints: 39124
1425.69/1430.00 c #Conflicts: 970000 | #Constraints: 40627
1425.69/1430.00 c #Conflicts: 971000 | #Constraints: 42060
1425.69/1430.00 c #Conflicts: 972000 | #Constraints: 43321
1425.69/1430.00 c #Conflicts: 973000 | #Constraints: 44831
1425.69/1430.00 c #Conflicts: 974000 | #Constraints: 46333
1425.69/1430.00 c #Conflicts: 975000 | #Constraints: 47813
1425.69/1430.00 c #Conflicts: 976000 | #Constraints: 49297
1425.69/1430.00 c #Conflicts: 977000 | #Constraints: 50722
1425.69/1430.00 c #Conflicts: 978000 | #Constraints: 51967
1425.69/1430.00 c #Conflicts: 979000 | #Constraints: 53441
1425.69/1430.00 c #Conflicts: 980000 | #Constraints: 54933
1425.69/1430.00 c #Conflicts: 981000 | #Constraints: 56424
1425.69/1430.00 c INPROCESSING
1425.69/1430.00 c GARBAGE COLLECT
1425.69/1430.00 c rational objective 0
1471.54/1475.94 c #Conflicts: 982000 | #Constraints: 29233
1471.54/1475.94 c #Conflicts: 983000 | #Constraints: 30233
1471.54/1475.94 c #Conflicts: 984000 | #Constraints: 31233
1471.54/1475.94 c #Conflicts: 985000 | #Constraints: 32233
1471.54/1475.94 c #Conflicts: 986000 | #Constraints: 33234
1471.54/1475.94 c #Conflicts: 987000 | #Constraints: 34234
1471.54/1475.94 c #Conflicts: 988000 | #Constraints: 35234
1471.54/1475.94 c #Conflicts: 989000 | #Constraints: 36234
1471.54/1475.94 c #Conflicts: 990000 | #Constraints: 37234
1471.54/1475.94 c #Conflicts: 991000 | #Constraints: 38234
1471.54/1475.94 c #Conflicts: 992000 | #Constraints: 39234
1471.54/1475.94 c #Conflicts: 993000 | #Constraints: 40234
1471.54/1475.94 c #Conflicts: 994000 | #Constraints: 41234
1471.54/1475.94 c #Conflicts: 995000 | #Constraints: 42234
1471.54/1475.94 c #Conflicts: 996000 | #Constraints: 43235
1471.54/1475.94 c #Conflicts: 997000 | #Constraints: 44236
1471.54/1475.94 c #Conflicts: 998000 | #Constraints: 45236
1471.54/1475.94 c #Conflicts: 999000 | #Constraints: 46236
1471.54/1475.94 c #Conflicts: 1000000 | #Constraints: 47236
1471.54/1475.94 c #Conflicts: 1001000 | #Constraints: 48236
1471.54/1475.94 c INPROCESSING
1471.54/1475.94 c GARBAGE COLLECT
1471.54/1475.94 c rational objective 0
1514.90/1519.49 c #Conflicts: 1002000 | #Constraints: 25357
1514.90/1519.49 c #Conflicts: 1003000 | #Constraints: 26630
1514.90/1519.49 c #Conflicts: 1004000 | #Constraints: 27682
1514.90/1519.49 c #Conflicts: 1005000 | #Constraints: 28710
1514.90/1519.49 c #Conflicts: 1006000 | #Constraints: 29844
1514.90/1519.49 c #Conflicts: 1007000 | #Constraints: 31049
1514.90/1519.49 c #Conflicts: 1008000 | #Constraints: 32224
1514.90/1519.49 c #Conflicts: 1009000 | #Constraints: 33249
1514.90/1519.49 c #Conflicts: 1010000 | #Constraints: 34513
1514.90/1519.49 c #Conflicts: 1011000 | #Constraints: 35711
1514.90/1519.49 c #Conflicts: 1012000 | #Constraints: 36779
1514.90/1519.49 c #Conflicts: 1013000 | #Constraints: 37992
1514.90/1519.49 c #Conflicts: 1014000 | #Constraints: 39050
1514.90/1519.49 c #Conflicts: 1015000 | #Constraints: 40190
1514.90/1519.49 c #Conflicts: 1016000 | #Constraints: 41214
1514.90/1519.49 c #Conflicts: 1017000 | #Constraints: 42454
1514.90/1519.49 c #Conflicts: 1018000 | #Constraints: 43643
1514.90/1519.49 c #Conflicts: 1019000 | #Constraints: 44791
1514.90/1519.49 c #Conflicts: 1020000 | #Constraints: 45885
1514.90/1519.49 c #Conflicts: 1021000 | #Constraints: 47108
1514.90/1519.49 c INPROCESSING
1514.90/1519.49 c GARBAGE COLLECT
1514.90/1519.49 c rational objective 0
1556.17/1560.80 c #Conflicts: 1022000 | #Constraints: 24706
1556.17/1560.80 c #Conflicts: 1023000 | #Constraints: 25841
1556.17/1560.80 c #Conflicts: 1024000 | #Constraints: 27037
1556.17/1560.80 c #Conflicts: 1025000 | #Constraints: 28111
1556.17/1560.80 c #Conflicts: 1026000 | #Constraints: 29248
1556.17/1560.80 c #Conflicts: 1027000 | #Constraints: 30252
1556.17/1560.80 c #Conflicts: 1028000 | #Constraints: 31285
1556.17/1560.80 c #Conflicts: 1029000 | #Constraints: 32287
1556.17/1560.80 c #Conflicts: 1030000 | #Constraints: 33310
1556.17/1560.80 c #Conflicts: 1031000 | #Constraints: 34311
1556.17/1560.80 c #Conflicts: 1032000 | #Constraints: 35311
1556.17/1560.80 c #Conflicts: 1033000 | #Constraints: 36315
1556.17/1560.80 c #Conflicts: 1034000 | #Constraints: 37315
1556.17/1560.80 c #Conflicts: 1035000 | #Constraints: 38330
1556.17/1560.80 c #Conflicts: 1036000 | #Constraints: 39331
1556.17/1560.80 c #Conflicts: 1037000 | #Constraints: 40358
1556.17/1560.80 c #Conflicts: 1038000 | #Constraints: 41358
1556.17/1560.80 c #Conflicts: 1039000 | #Constraints: 42363
1556.17/1560.80 c #Conflicts: 1040000 | #Constraints: 43407
1556.17/1560.80 c #Conflicts: 1041000 | #Constraints: 44407
1556.17/1560.80 c INPROCESSING
1556.17/1560.80 c GARBAGE COLLECT
1556.17/1560.80 c rational objective 0
1596.50/1601.39 c #Conflicts: 1042000 | #Constraints: 22972
1596.50/1601.39 c #Conflicts: 1043000 | #Constraints: 24078
1596.50/1601.39 c #Conflicts: 1044000 | #Constraints: 25078
1596.50/1601.39 c #Conflicts: 1045000 | #Constraints: 26134
1596.50/1601.39 c #Conflicts: 1046000 | #Constraints: 27227
1596.50/1601.39 c #Conflicts: 1047000 | #Constraints: 28305
1596.50/1601.39 c #Conflicts: 1048000 | #Constraints: 29381
1596.50/1601.39 c #Conflicts: 1049000 | #Constraints: 30434
1596.50/1601.39 c #Conflicts: 1050000 | #Constraints: 31465
1596.50/1601.39 c #Conflicts: 1051000 | #Constraints: 32497
1596.50/1601.39 c #Conflicts: 1052000 | #Constraints: 33506
1596.50/1601.39 c #Conflicts: 1053000 | #Constraints: 34521
1596.50/1601.39 c #Conflicts: 1054000 | #Constraints: 35633
1596.50/1601.39 c #Conflicts: 1055000 | #Constraints: 36731
1596.50/1601.39 c #Conflicts: 1056000 | #Constraints: 37785
1596.50/1601.39 c #Conflicts: 1057000 | #Constraints: 38880
1596.50/1601.39 c #Conflicts: 1058000 | #Constraints: 39889
1596.50/1601.39 c #Conflicts: 1059000 | #Constraints: 40910
1596.50/1601.39 c #Conflicts: 1060000 | #Constraints: 42029
1596.50/1601.39 c #Conflicts: 1061000 | #Constraints: 43029
1596.50/1601.39 c #Conflicts: 1062000 | #Constraints: 44036
1596.50/1601.39 c INPROCESSING
1596.50/1601.39 c GARBAGE COLLECT
1596.50/1601.39 c rational objective 0
1639.42/1644.60 c #Conflicts: 1063000 | #Constraints: 23183
1639.42/1644.60 c #Conflicts: 1064000 | #Constraints: 24348
1639.42/1644.60 c #Conflicts: 1065000 | #Constraints: 25366
1639.42/1644.60 c #Conflicts: 1066000 | #Constraints: 26503
1639.42/1644.60 c #Conflicts: 1067000 | #Constraints: 27503
1639.42/1644.60 c #Conflicts: 1068000 | #Constraints: 28569
1639.42/1644.60 c #Conflicts: 1069000 | #Constraints: 29968
1639.42/1644.60 c #Conflicts: 1070000 | #Constraints: 31223
1639.42/1644.60 c #Conflicts: 1071000 | #Constraints: 32408
1639.42/1644.60 c #Conflicts: 1072000 | #Constraints: 33408
1639.42/1644.60 c #Conflicts: 1073000 | #Constraints: 34456
1639.42/1644.60 c #Conflicts: 1074000 | #Constraints: 35467
1639.42/1644.60 c #Conflicts: 1075000 | #Constraints: 36779
1639.42/1644.60 c #Conflicts: 1076000 | #Constraints: 37783
1639.42/1644.60 c #Conflicts: 1077000 | #Constraints: 38976
1639.42/1644.60 c #Conflicts: 1078000 | #Constraints: 40331
1639.42/1644.60 c #Conflicts: 1079000 | #Constraints: 41719
1639.42/1644.60 c #Conflicts: 1080000 | #Constraints: 43090
1639.42/1644.60 c #Conflicts: 1081000 | #Constraints: 44090
1639.42/1644.60 c #Conflicts: 1082000 | #Constraints: 45121
1639.42/1644.60 c #Conflicts: 1083000 | #Constraints: 46198
1639.42/1644.60 c INPROCESSING
1639.42/1644.60 c GARBAGE COLLECT
1639.42/1644.60 c rational objective 0
1678.65/1684.02 c #Conflicts: 1084000 | #Constraints: 24222
1678.65/1684.02 c #Conflicts: 1085000 | #Constraints: 25236
1678.65/1684.02 c #Conflicts: 1086000 | #Constraints: 26290
1678.65/1684.02 c #Conflicts: 1087000 | #Constraints: 27322
1678.65/1684.02 c #Conflicts: 1088000 | #Constraints: 28322
1678.65/1684.02 c #Conflicts: 1089000 | #Constraints: 29353
1678.65/1684.02 c #Conflicts: 1090000 | #Constraints: 30410
1678.65/1684.02 c #Conflicts: 1091000 | #Constraints: 31423
1678.65/1684.02 c #Conflicts: 1092000 | #Constraints: 32610
1678.65/1684.02 c #Conflicts: 1093000 | #Constraints: 33610
1678.65/1684.02 c #Conflicts: 1094000 | #Constraints: 34610
1678.65/1684.02 c #Conflicts: 1095000 | #Constraints: 35628
1678.65/1684.02 c #Conflicts: 1096000 | #Constraints: 36696
1678.65/1684.02 c #Conflicts: 1097000 | #Constraints: 37696
1678.65/1684.02 c #Conflicts: 1098000 | #Constraints: 38705
1678.65/1684.02 c #Conflicts: 1099000 | #Constraints: 39705
1678.65/1684.02 c #Conflicts: 1100000 | #Constraints: 40715
1678.65/1684.02 c #Conflicts: 1101000 | #Constraints: 41737
1678.65/1684.02 c #Conflicts: 1102000 | #Constraints: 42800
1678.65/1684.02 c #Conflicts: 1103000 | #Constraints: 43814
1678.65/1684.02 c #Conflicts: 1104000 | #Constraints: 44831
1678.65/1684.02 c INPROCESSING
1678.65/1684.02 c GARBAGE COLLECT
1678.65/1684.02 c rational objective 0
1716.94/1722.43 c #Conflicts: 1105000 | #Constraints: 23444
1716.94/1722.43 c #Conflicts: 1106000 | #Constraints: 24605
1716.94/1722.43 c #Conflicts: 1107000 | #Constraints: 25611
1716.94/1722.43 c #Conflicts: 1108000 | #Constraints: 26611
1716.94/1722.43 c #Conflicts: 1109000 | #Constraints: 27611
1716.94/1722.43 c #Conflicts: 1110000 | #Constraints: 28750
1716.94/1722.43 c #Conflicts: 1111000 | #Constraints: 29772
1716.94/1722.43 c #Conflicts: 1112000 | #Constraints: 30826
1716.94/1722.43 c #Conflicts: 1113000 | #Constraints: 31837
1716.94/1722.43 c #Conflicts: 1114000 | #Constraints: 32837
1716.94/1722.43 c #Conflicts: 1115000 | #Constraints: 33842
1716.94/1722.43 c #Conflicts: 1116000 | #Constraints: 34857
1716.94/1722.43 c #Conflicts: 1117000 | #Constraints: 35863
1716.94/1722.43 c #Conflicts: 1118000 | #Constraints: 36864
1716.94/1722.43 c #Conflicts: 1119000 | #Constraints: 37864
1716.94/1722.43 c #Conflicts: 1120000 | #Constraints: 38892
1716.94/1722.43 c #Conflicts: 1121000 | #Constraints: 39917
1716.94/1722.43 c #Conflicts: 1122000 | #Constraints: 40938
1716.94/1722.43 c #Conflicts: 1123000 | #Constraints: 42014
1716.94/1722.43 c #Conflicts: 1124000 | #Constraints: 43046
1716.94/1722.43 c #Conflicts: 1125000 | #Constraints: 44046
1716.94/1722.43 c INPROCESSING
1716.94/1722.43 c GARBAGE COLLECT
1716.94/1722.43 c rational objective 0
1752.53/1758.15 c #Conflicts: 1126000 | #Constraints: 22945
1752.53/1758.15 c #Conflicts: 1127000 | #Constraints: 23945
1752.53/1758.15 c #Conflicts: 1128000 | #Constraints: 24945
1752.53/1758.15 c #Conflicts: 1129000 | #Constraints: 25945
1752.53/1758.15 c #Conflicts: 1130000 | #Constraints: 26946
1752.53/1758.15 c #Conflicts: 1131000 | #Constraints: 27947
1752.53/1758.15 c #Conflicts: 1132000 | #Constraints: 28947
1752.53/1758.15 c #Conflicts: 1133000 | #Constraints: 29947
1752.53/1758.15 c #Conflicts: 1134000 | #Constraints: 30947
1752.53/1758.15 c #Conflicts: 1135000 | #Constraints: 31947
1752.53/1758.15 c #Conflicts: 1136000 | #Constraints: 32947
1752.53/1758.15 c #Conflicts: 1137000 | #Constraints: 33947
1752.53/1758.15 c #Conflicts: 1138000 | #Constraints: 34948
1752.53/1758.15 c #Conflicts: 1139000 | #Constraints: 35948
1752.53/1758.15 c #Conflicts: 1140000 | #Constraints: 36948
1752.53/1758.15 c #Conflicts: 1141000 | #Constraints: 37948
1752.53/1758.15 c #Conflicts: 1142000 | #Constraints: 38948
1752.53/1758.15 c #Conflicts: 1143000 | #Constraints: 39949
1752.53/1758.15 c #Conflicts: 1144000 | #Constraints: 40949
1752.53/1758.15 c #Conflicts: 1145000 | #Constraints: 41950
1752.53/1758.15 c #Conflicts: 1146000 | #Constraints: 42950
1752.53/1758.15 c INPROCESSING
1752.53/1758.15 c GARBAGE COLLECT
1752.53/1758.15 c rational objective 0
1788.62/1794.37 c #Conflicts: 1147000 | #Constraints: 22192
1788.62/1794.37 c #Conflicts: 1148000 | #Constraints: 23282
1788.62/1794.37 c #Conflicts: 1149000 | #Constraints: 24282
1788.62/1794.37 c #Conflicts: 1150000 | #Constraints: 25294
1788.62/1794.37 c #Conflicts: 1151000 | #Constraints: 26358
1788.62/1794.37 c #Conflicts: 1152000 | #Constraints: 27372
1788.62/1794.37 c #Conflicts: 1153000 | #Constraints: 28395
1788.62/1794.37 c #Conflicts: 1154000 | #Constraints: 29395
1788.62/1794.37 c #Conflicts: 1155000 | #Constraints: 30395
1788.62/1794.37 c #Conflicts: 1156000 | #Constraints: 31395
1788.62/1794.37 c #Conflicts: 1157000 | #Constraints: 32395
1788.62/1794.37 c #Conflicts: 1158000 | #Constraints: 33395
1788.62/1794.37 c #Conflicts: 1159000 | #Constraints: 34401
1788.62/1794.37 c #Conflicts: 1160000 | #Constraints: 35401
1788.62/1794.37 c #Conflicts: 1161000 | #Constraints: 36401
1788.62/1794.37 c #Conflicts: 1162000 | #Constraints: 37407
1788.62/1794.37 c #Conflicts: 1163000 | #Constraints: 38407
1788.62/1794.37 c #Conflicts: 1164000 | #Constraints: 39407
1788.62/1794.37 c #Conflicts: 1165000 | #Constraints: 40407
1788.62/1794.37 c #Conflicts: 1166000 | #Constraints: 41425
1788.62/1794.37 c #Conflicts: 1167000 | #Constraints: 42425
1788.62/1794.37 c #Conflicts: 1168000 | #Constraints: 43425
1788.62/1794.37 c INPROCESSING
1788.62/1794.37 c GARBAGE COLLECT
1788.62/1794.37 c rational objective 0
1825.80/1831.64 c #Conflicts: 1169000 | #Constraints: 22731
1825.80/1831.64 c #Conflicts: 1170000 | #Constraints: 23869
1825.80/1831.64 c #Conflicts: 1171000 | #Constraints: 24869
1825.80/1831.64 c #Conflicts: 1172000 | #Constraints: 25887
1825.80/1831.64 c #Conflicts: 1173000 | #Constraints: 27027
1825.80/1831.64 c #Conflicts: 1174000 | #Constraints: 28046
1825.80/1831.64 c #Conflicts: 1175000 | #Constraints: 29046
1825.80/1831.64 c #Conflicts: 1176000 | #Constraints: 30046
1825.80/1831.64 c #Conflicts: 1177000 | #Constraints: 31068
1825.80/1831.64 c #Conflicts: 1178000 | #Constraints: 32068
1825.80/1831.64 c #Conflicts: 1179000 | #Constraints: 33068
1825.80/1831.64 c #Conflicts: 1180000 | #Constraints: 34069
1825.80/1831.64 c #Conflicts: 1181000 | #Constraints: 35072
1825.80/1831.64 c #Conflicts: 1182000 | #Constraints: 36072
1825.80/1831.64 c #Conflicts: 1183000 | #Constraints: 37086
1825.80/1831.64 c #Conflicts: 1184000 | #Constraints: 38086
1825.80/1831.64 c #Conflicts: 1185000 | #Constraints: 39087
1825.80/1831.64 c #Conflicts: 1186000 | #Constraints: 40087
1825.80/1831.64 c #Conflicts: 1187000 | #Constraints: 41121
1825.80/1831.64 c #Conflicts: 1188000 | #Constraints: 42121
1825.80/1831.64 c #Conflicts: 1189000 | #Constraints: 43121
1825.80/1831.64 c #Conflicts: 1190000 | #Constraints: 44121
1825.80/1831.64 c INPROCESSING
1825.80/1831.64 c GARBAGE COLLECT
1825.80/1831.64 c rational objective 0
1863.68/1869.61 c #Conflicts: 1191000 | #Constraints: 23205
1863.68/1869.61 c #Conflicts: 1192000 | #Constraints: 24297
1863.68/1869.61 c #Conflicts: 1193000 | #Constraints: 25304
1863.68/1869.61 c #Conflicts: 1194000 | #Constraints: 26304
1863.68/1869.61 c #Conflicts: 1195000 | #Constraints: 27304
1863.68/1869.61 c #Conflicts: 1196000 | #Constraints: 28304
1863.68/1869.61 c #Conflicts: 1197000 | #Constraints: 29304
1863.68/1869.61 c #Conflicts: 1198000 | #Constraints: 30304
1863.68/1869.61 c #Conflicts: 1199000 | #Constraints: 31306
1863.68/1869.61 c #Conflicts: 1200000 | #Constraints: 32306
1863.68/1869.61 c #Conflicts: 1201000 | #Constraints: 33306
1863.68/1869.61 c #Conflicts: 1202000 | #Constraints: 34306
1863.68/1869.61 c #Conflicts: 1203000 | #Constraints: 35306
1863.68/1869.61 c #Conflicts: 1204000 | #Constraints: 36307
1863.68/1869.61 c #Conflicts: 1205000 | #Constraints: 37313
1863.68/1869.61 c #Conflicts: 1206000 | #Constraints: 38314
1863.68/1869.61 c #Conflicts: 1207000 | #Constraints: 39314
1863.68/1869.61 c #Conflicts: 1208000 | #Constraints: 40314
1863.68/1869.61 c #Conflicts: 1209000 | #Constraints: 41314
1863.68/1869.61 c #Conflicts: 1210000 | #Constraints: 42316
1863.68/1869.61 c #Conflicts: 1211000 | #Constraints: 43383
1863.68/1869.61 c #Conflicts: 1212000 | #Constraints: 44384
1863.68/1869.61 c INPROCESSING
1863.68/1869.61 c GARBAGE COLLECT
1863.68/1869.61 c rational objective 0
1902.96/1909.08 c #Conflicts: 1213000 | #Constraints: 23211
1902.96/1909.08 c #Conflicts: 1214000 | #Constraints: 24211
1902.96/1909.08 c #Conflicts: 1215000 | #Constraints: 25211
1902.96/1909.08 c #Conflicts: 1216000 | #Constraints: 26211
1902.96/1909.08 c #Conflicts: 1217000 | #Constraints: 27211
1902.96/1909.08 c #Conflicts: 1218000 | #Constraints: 28211
1902.96/1909.08 c #Conflicts: 1219000 | #Constraints: 29212
1902.96/1909.08 c #Conflicts: 1220000 | #Constraints: 30212
1902.96/1909.08 c #Conflicts: 1221000 | #Constraints: 31212
1902.96/1909.08 c #Conflicts: 1222000 | #Constraints: 32212
1902.96/1909.08 c #Conflicts: 1223000 | #Constraints: 33212
1902.96/1909.08 c #Conflicts: 1224000 | #Constraints: 34212
1902.96/1909.08 c #Conflicts: 1225000 | #Constraints: 35212
1902.96/1909.08 c #Conflicts: 1226000 | #Constraints: 36212
1902.96/1909.08 c #Conflicts: 1227000 | #Constraints: 37212
1902.96/1909.08 c #Conflicts: 1228000 | #Constraints: 38212
1902.96/1909.08 c #Conflicts: 1229000 | #Constraints: 39213
1902.96/1909.08 c #Conflicts: 1230000 | #Constraints: 40213
1902.96/1909.08 c #Conflicts: 1231000 | #Constraints: 41213
1902.96/1909.08 c #Conflicts: 1232000 | #Constraints: 42213
1902.96/1909.08 c #Conflicts: 1233000 | #Constraints: 43214
1902.96/1909.08 c #Conflicts: 1234000 | #Constraints: 44215
1902.96/1909.08 c INPROCESSING
1902.96/1909.08 c GARBAGE COLLECT
1902.96/1909.08 c rational objective 0
1953.79/1960.09 c #Conflicts: 1235000 | #Constraints: 23360
1953.79/1960.09 c #Conflicts: 1236000 | #Constraints: 24831
1953.79/1960.09 c #Conflicts: 1237000 | #Constraints: 26328
1953.79/1960.09 c #Conflicts: 1238000 | #Constraints: 27805
1953.79/1960.09 c #Conflicts: 1239000 | #Constraints: 29284
1953.79/1960.09 c #Conflicts: 1240000 | #Constraints: 30792
1953.79/1960.09 c #Conflicts: 1241000 | #Constraints: 32260
1953.79/1960.09 c #Conflicts: 1242000 | #Constraints: 33731
1953.79/1960.09 c #Conflicts: 1243000 | #Constraints: 35195
1953.79/1960.09 c #Conflicts: 1244000 | #Constraints: 36678
1953.79/1960.09 c #Conflicts: 1245000 | #Constraints: 38155
1953.79/1960.09 c #Conflicts: 1246000 | #Constraints: 39651
1953.79/1960.09 c #Conflicts: 1247000 | #Constraints: 41151
1953.79/1960.09 c #Conflicts: 1248000 | #Constraints: 42643
1953.79/1960.09 c #Conflicts: 1249000 | #Constraints: 44129
1953.79/1960.09 c #Conflicts: 1250000 | #Constraints: 45634
1953.79/1960.09 c #Conflicts: 1251000 | #Constraints: 47133
1953.79/1960.09 c #Conflicts: 1252000 | #Constraints: 48599
1953.79/1960.09 c #Conflicts: 1253000 | #Constraints: 50077
1953.79/1960.09 c #Conflicts: 1254000 | #Constraints: 51560
1953.79/1960.09 c #Conflicts: 1255000 | #Constraints: 53049
1953.79/1960.09 c #Conflicts: 1256000 | #Constraints: 54556
1953.79/1960.09 c INPROCESSING
1953.79/1960.09 c GARBAGE COLLECT
1953.79/1960.09 c rational objective 0
2002.80/2009.25 c #Conflicts: 1257000 | #Constraints: 28211
2002.80/2009.25 c #Conflicts: 1258000 | #Constraints: 29548
2002.80/2009.25 c #Conflicts: 1259000 | #Constraints: 30859
2002.80/2009.25 c #Conflicts: 1260000 | #Constraints: 31901
2002.80/2009.25 c #Conflicts: 1261000 | #Constraints: 33101
2002.80/2009.25 c #Conflicts: 1262000 | #Constraints: 34237
2002.80/2009.25 c #Conflicts: 1263000 | #Constraints: 35383
2002.80/2009.25 c #Conflicts: 1264000 | #Constraints: 36383
2002.80/2009.25 c #Conflicts: 1265000 | #Constraints: 37450
2002.80/2009.25 c #Conflicts: 1266000 | #Constraints: 38934
2002.80/2009.25 c #Conflicts: 1267000 | #Constraints: 40376
2002.80/2009.25 c #Conflicts: 1268000 | #Constraints: 41459
2002.80/2009.25 c #Conflicts: 1269000 | #Constraints: 42460
2002.80/2009.25 c #Conflicts: 1270000 | #Constraints: 43649
2002.80/2009.25 c #Conflicts: 1271000 | #Constraints: 44759
2002.80/2009.25 c #Conflicts: 1272000 | #Constraints: 45762
2002.80/2009.25 c #Conflicts: 1273000 | #Constraints: 46794
2002.80/2009.25 c #Conflicts: 1274000 | #Constraints: 47994
2002.80/2009.25 c #Conflicts: 1275000 | #Constraints: 48994
2002.80/2009.25 c #Conflicts: 1276000 | #Constraints: 49994
2002.80/2009.25 c #Conflicts: 1277000 | #Constraints: 51116
2002.80/2009.25 c #Conflicts: 1278000 | #Constraints: 52201
2002.80/2009.25 c #Conflicts: 1279000 | #Constraints: 53201
2002.80/2009.25 c INPROCESSING
2002.80/2009.25 c GARBAGE COLLECT
2002.80/2009.25 c rational objective 0
2055.30/2061.97 c #Conflicts: 1280000 | #Constraints: 27519
2055.30/2061.97 c #Conflicts: 1281000 | #Constraints: 28519
2055.30/2061.97 c #Conflicts: 1282000 | #Constraints: 29519
2055.30/2061.97 c #Conflicts: 1283000 | #Constraints: 30616
2055.30/2061.97 c #Conflicts: 1284000 | #Constraints: 32090
2055.30/2061.97 c #Conflicts: 1285000 | #Constraints: 33571
2055.30/2061.97 c #Conflicts: 1286000 | #Constraints: 35059
2055.30/2061.97 c #Conflicts: 1287000 | #Constraints: 36296
2055.30/2061.97 c #Conflicts: 1288000 | #Constraints: 37296
2055.30/2061.97 c #Conflicts: 1289000 | #Constraints: 38297
2055.30/2061.97 c #Conflicts: 1290000 | #Constraints: 39298
2055.30/2061.97 c #Conflicts: 1291000 | #Constraints: 40540
2055.30/2061.97 c #Conflicts: 1292000 | #Constraints: 42019
2055.30/2061.97 c #Conflicts: 1293000 | #Constraints: 43507
2055.30/2061.97 c #Conflicts: 1294000 | #Constraints: 44993
2055.30/2061.97 c #Conflicts: 1295000 | #Constraints: 46458
2055.30/2061.97 c #Conflicts: 1296000 | #Constraints: 47893
2055.30/2061.97 c #Conflicts: 1297000 | #Constraints: 48895
2055.30/2061.97 c #Conflicts: 1298000 | #Constraints: 49896
2055.30/2061.97 c #Conflicts: 1299000 | #Constraints: 50897
2055.30/2061.97 c #Conflicts: 1300000 | #Constraints: 51897
2055.30/2061.97 c #Conflicts: 1301000 | #Constraints: 52899
2055.30/2061.97 c #Conflicts: 1302000 | #Constraints: 53899
2055.30/2061.97 c INPROCESSING
2055.30/2061.97 c GARBAGE COLLECT
2055.30/2061.97 c rational objective 0
2102.63/2109.46 c #Conflicts: 1303000 | #Constraints: 28000
2102.63/2109.46 c #Conflicts: 1304000 | #Constraints: 29000
2102.63/2109.46 c #Conflicts: 1305000 | #Constraints: 30000
2102.63/2109.46 c #Conflicts: 1306000 | #Constraints: 31000
2102.63/2109.46 c #Conflicts: 1307000 | #Constraints: 32000
2102.63/2109.46 c #Conflicts: 1308000 | #Constraints: 33014
2102.63/2109.46 c #Conflicts: 1309000 | #Constraints: 34015
2102.63/2109.46 c #Conflicts: 1310000 | #Constraints: 35015
2102.63/2109.46 c #Conflicts: 1311000 | #Constraints: 36015
2102.63/2109.46 c #Conflicts: 1312000 | #Constraints: 37015
2102.63/2109.46 c #Conflicts: 1313000 | #Constraints: 38015
2102.63/2109.46 c #Conflicts: 1314000 | #Constraints: 39015
2102.63/2109.46 c #Conflicts: 1315000 | #Constraints: 40020
2102.63/2109.46 c #Conflicts: 1316000 | #Constraints: 41021
2102.63/2109.46 c #Conflicts: 1317000 | #Constraints: 42021
2102.63/2109.46 c #Conflicts: 1318000 | #Constraints: 43021
2102.63/2109.46 c #Conflicts: 1319000 | #Constraints: 44021
2102.63/2109.46 c #Conflicts: 1320000 | #Constraints: 45021
2102.63/2109.46 c #Conflicts: 1321000 | #Constraints: 46021
2102.63/2109.46 c #Conflicts: 1322000 | #Constraints: 47021
2102.63/2109.46 c #Conflicts: 1323000 | #Constraints: 48025
2102.63/2109.46 c #Conflicts: 1324000 | #Constraints: 49026
2102.63/2109.46 c #Conflicts: 1325000 | #Constraints: 50026
2102.63/2109.46 c INPROCESSING
2102.63/2109.46 c GARBAGE COLLECT
2102.63/2109.46 c rational objective 0
2151.75/2158.75 c #Conflicts: 1326000 | #Constraints: 26161
2151.75/2158.75 c #Conflicts: 1327000 | #Constraints: 27193
2151.75/2158.75 c #Conflicts: 1328000 | #Constraints: 28195
2151.75/2158.75 c #Conflicts: 1329000 | #Constraints: 29211
2151.75/2158.75 c #Conflicts: 1330000 | #Constraints: 30211
2151.75/2158.75 c #Conflicts: 1331000 | #Constraints: 31226
2151.75/2158.75 c #Conflicts: 1332000 | #Constraints: 32236
2151.75/2158.75 c #Conflicts: 1333000 | #Constraints: 33239
2151.75/2158.75 c #Conflicts: 1334000 | #Constraints: 34322
2151.75/2158.75 c #Conflicts: 1335000 | #Constraints: 35339
2151.75/2158.75 c #Conflicts: 1336000 | #Constraints: 36368
2151.75/2158.75 c #Conflicts: 1337000 | #Constraints: 37368
2151.75/2158.75 c #Conflicts: 1338000 | #Constraints: 38368
2151.75/2158.75 c #Conflicts: 1339000 | #Constraints: 39368
2151.75/2158.75 c #Conflicts: 1340000 | #Constraints: 40411
2151.75/2158.75 c #Conflicts: 1341000 | #Constraints: 41447
2151.75/2158.75 c #Conflicts: 1342000 | #Constraints: 42447
2151.75/2158.75 c #Conflicts: 1343000 | #Constraints: 43447
2151.75/2158.75 c #Conflicts: 1344000 | #Constraints: 44470
2151.75/2158.75 c #Conflicts: 1345000 | #Constraints: 45470
2151.75/2158.75 c #Conflicts: 1346000 | #Constraints: 46477
2151.75/2158.75 c #Conflicts: 1347000 | #Constraints: 47477
2151.75/2158.75 c #Conflicts: 1348000 | #Constraints: 48477
2151.75/2158.75 c INPROCESSING
2151.75/2158.75 c GARBAGE COLLECT
2151.75/2158.75 c rational objective 0
2209.16/2216.30 c #Conflicts: 1349000 | #Constraints: 25510
2209.16/2216.30 c #Conflicts: 1350000 | #Constraints: 26997
2209.16/2216.30 c #Conflicts: 1351000 | #Constraints: 28477
2209.16/2216.30 c #Conflicts: 1352000 | #Constraints: 29986
2209.16/2216.30 c #Conflicts: 1353000 | #Constraints: 31457
2209.16/2216.30 c #Conflicts: 1354000 | #Constraints: 32942
2209.16/2216.30 c #Conflicts: 1355000 | #Constraints: 34441
2209.16/2216.30 c #Conflicts: 1356000 | #Constraints: 35944
2209.16/2216.30 c #Conflicts: 1357000 | #Constraints: 37439
2209.16/2216.30 c #Conflicts: 1358000 | #Constraints: 38941
2209.16/2216.30 c #Conflicts: 1359000 | #Constraints: 40422
2209.16/2216.30 c #Conflicts: 1360000 | #Constraints: 41912
2209.16/2216.30 c #Conflicts: 1361000 | #Constraints: 43404
2209.16/2216.30 c #Conflicts: 1362000 | #Constraints: 44891
2209.16/2216.30 c #Conflicts: 1363000 | #Constraints: 46366
2209.16/2216.30 c #Conflicts: 1364000 | #Constraints: 47831
2209.16/2216.30 c #Conflicts: 1365000 | #Constraints: 49312
2209.16/2216.30 c #Conflicts: 1366000 | #Constraints: 50808
2209.16/2216.30 c #Conflicts: 1367000 | #Constraints: 52283
2209.16/2216.30 c #Conflicts: 1368000 | #Constraints: 53770
2209.16/2216.30 c #Conflicts: 1369000 | #Constraints: 55245
2209.16/2216.30 c #Conflicts: 1370000 | #Constraints: 56723
2209.16/2216.30 c #Conflicts: 1371000 | #Constraints: 58197
2209.16/2216.30 c INPROCESSING
2209.16/2216.30 c GARBAGE COLLECT
2209.16/2216.30 c rational objective 0
2266.78/2274.16 c #Conflicts: 1372000 | #Constraints: 30146
2266.78/2274.16 c #Conflicts: 1373000 | #Constraints: 31379
2266.78/2274.16 c #Conflicts: 1374000 | #Constraints: 32557
2266.78/2274.16 c #Conflicts: 1375000 | #Constraints: 33732
2266.78/2274.16 c #Conflicts: 1376000 | #Constraints: 34732
2266.78/2274.16 c #Conflicts: 1377000 | #Constraints: 35923
2266.78/2274.16 c #Conflicts: 1378000 | #Constraints: 37395
2266.78/2274.16 c #Conflicts: 1379000 | #Constraints: 38503
2266.78/2274.16 c #Conflicts: 1380000 | #Constraints: 39503
2266.78/2274.16 c #Conflicts: 1381000 | #Constraints: 40503
2266.78/2274.16 c #Conflicts: 1382000 | #Constraints: 41503
2266.78/2274.16 c #Conflicts: 1383000 | #Constraints: 42503
2266.78/2274.16 c #Conflicts: 1384000 | #Constraints: 43503
2266.78/2274.16 c #Conflicts: 1385000 | #Constraints: 44503
2266.78/2274.16 c #Conflicts: 1386000 | #Constraints: 45936
2266.78/2274.16 c #Conflicts: 1387000 | #Constraints: 47411
2266.78/2274.16 c #Conflicts: 1388000 | #Constraints: 48903
2266.78/2274.16 c #Conflicts: 1389000 | #Constraints: 50400
2266.78/2274.16 c #Conflicts: 1390000 | #Constraints: 51876
2266.78/2274.16 c #Conflicts: 1391000 | #Constraints: 53136
2266.78/2274.16 c #Conflicts: 1392000 | #Constraints: 54559
2266.78/2274.16 c #Conflicts: 1393000 | #Constraints: 55980
2266.78/2274.16 c #Conflicts: 1394000 | #Constraints: 57213
2266.78/2274.16 c #Conflicts: 1395000 | #Constraints: 58698
2266.78/2274.16 c INPROCESSING
2266.78/2274.16 c GARBAGE COLLECT
2266.78/2274.16 c rational objective 0
2327.69/2335.29 c #Conflicts: 1396000 | #Constraints: 30412
2327.69/2335.29 c #Conflicts: 1397000 | #Constraints: 31524
2327.69/2335.29 c #Conflicts: 1398000 | #Constraints: 32968
2327.69/2335.29 c #Conflicts: 1399000 | #Constraints: 34365
2327.69/2335.29 c #Conflicts: 1400000 | #Constraints: 35548
2327.69/2335.29 c #Conflicts: 1401000 | #Constraints: 37021
2327.69/2335.29 c #Conflicts: 1402000 | #Constraints: 38237
2327.69/2335.29 c #Conflicts: 1403000 | #Constraints: 39715
2327.69/2335.29 c #Conflicts: 1404000 | #Constraints: 40721
2327.69/2335.29 c #Conflicts: 1405000 | #Constraints: 42136
2327.69/2335.29 c #Conflicts: 1406000 | #Constraints: 43616
2327.69/2335.29 c #Conflicts: 1407000 | #Constraints: 45110
2327.69/2335.29 c #Conflicts: 1408000 | #Constraints: 46594
2327.69/2335.29 c #Conflicts: 1409000 | #Constraints: 48075
2327.69/2335.29 c #Conflicts: 1410000 | #Constraints: 49567
2327.69/2335.29 c #Conflicts: 1411000 | #Constraints: 51044
2327.69/2335.29 c #Conflicts: 1412000 | #Constraints: 52531
2327.69/2335.29 c #Conflicts: 1413000 | #Constraints: 53531
2327.69/2335.29 c #Conflicts: 1414000 | #Constraints: 54531
2327.69/2335.29 c #Conflicts: 1415000 | #Constraints: 55531
2327.69/2335.29 c #Conflicts: 1416000 | #Constraints: 56531
2327.69/2335.29 c #Conflicts: 1417000 | #Constraints: 57978
2327.69/2335.29 c #Conflicts: 1418000 | #Constraints: 59430
2327.69/2335.29 c #Conflicts: 1419000 | #Constraints: 60892
2327.69/2335.29 c INPROCESSING
2327.69/2335.29 c GARBAGE COLLECT
2327.69/2335.29 c rational objective 0
2392.18/2399.98 c #Conflicts: 1420000 | #Constraints: 31938
2392.18/2399.98 c #Conflicts: 1421000 | #Constraints: 33162
2392.18/2399.98 c #Conflicts: 1422000 | #Constraints: 34531
2392.18/2399.98 c #Conflicts: 1423000 | #Constraints: 35751
2392.18/2399.98 c #Conflicts: 1424000 | #Constraints: 36920
2392.18/2399.98 c #Conflicts: 1425000 | #Constraints: 38042
2392.18/2399.98 c #Conflicts: 1426000 | #Constraints: 39507
2392.18/2399.98 c #Conflicts: 1427000 | #Constraints: 40861
2392.18/2399.98 c #Conflicts: 1428000 | #Constraints: 42159
2392.18/2399.98 c #Conflicts: 1429000 | #Constraints: 43159
2392.18/2399.98 c #Conflicts: 1430000 | #Constraints: 44468
2392.18/2399.98 c #Conflicts: 1431000 | #Constraints: 45869
2392.18/2399.98 c #Conflicts: 1432000 | #Constraints: 46869
2392.18/2399.98 c #Conflicts: 1433000 | #Constraints: 47918
2392.18/2399.98 c #Conflicts: 1434000 | #Constraints: 48995
2392.18/2399.98 c #Conflicts: 1435000 | #Constraints: 50485
2392.18/2399.98 c #Conflicts: 1436000 | #Constraints: 51966
2392.18/2399.98 c #Conflicts: 1437000 | #Constraints: 53453
2392.18/2399.98 c #Conflicts: 1438000 | #Constraints: 54921
2392.18/2399.98 c #Conflicts: 1439000 | #Constraints: 56410
2392.18/2399.98 c #Conflicts: 1440000 | #Constraints: 57895
2392.18/2399.98 c #Conflicts: 1441000 | #Constraints: 59361
2392.18/2399.98 c #Conflicts: 1442000 | #Constraints: 60838
2392.18/2399.98 c #Conflicts: 1443000 | #Constraints: 62324
2392.18/2399.98 c INPROCESSING
2392.18/2399.98 c GARBAGE COLLECT
2392.18/2399.98 c rational objective 0
2455.07/2463.02 c #Conflicts: 1444000 | #Constraints: 32285
2455.07/2463.02 c #Conflicts: 1445000 | #Constraints: 33378
2455.07/2463.02 c #Conflicts: 1446000 | #Constraints: 34414
2455.07/2463.02 c #Conflicts: 1447000 | #Constraints: 35544
2455.07/2463.02 c #Conflicts: 1448000 | #Constraints: 36544
2455.07/2463.02 c #Conflicts: 1449000 | #Constraints: 37553
2455.07/2463.02 c #Conflicts: 1450000 | #Constraints: 38640
2455.07/2463.02 c #Conflicts: 1451000 | #Constraints: 39640
2455.07/2463.02 c #Conflicts: 1452000 | #Constraints: 40651
2455.07/2463.02 c #Conflicts: 1453000 | #Constraints: 41652
2455.07/2463.02 c #Conflicts: 1454000 | #Constraints: 42652
2455.07/2463.02 c #Conflicts: 1455000 | #Constraints: 43652
2455.07/2463.02 c #Conflicts: 1456000 | #Constraints: 44723
2455.07/2463.02 c #Conflicts: 1457000 | #Constraints: 45726
2455.07/2463.02 c #Conflicts: 1458000 | #Constraints: 46726
2455.07/2463.02 c #Conflicts: 1459000 | #Constraints: 47726
2455.07/2463.02 c #Conflicts: 1460000 | #Constraints: 48726
2455.07/2463.02 c #Conflicts: 1461000 | #Constraints: 49726
2455.07/2463.02 c #Conflicts: 1462000 | #Constraints: 50748
2455.07/2463.02 c #Conflicts: 1463000 | #Constraints: 51748
2455.07/2463.02 c #Conflicts: 1464000 | #Constraints: 52748
2455.07/2463.02 c #Conflicts: 1465000 | #Constraints: 53748
2455.07/2463.02 c #Conflicts: 1466000 | #Constraints: 54758
2455.07/2463.02 c #Conflicts: 1467000 | #Constraints: 55758
2455.07/2463.02 c INPROCESSING
2455.07/2463.02 c GARBAGE COLLECT
2455.07/2463.02 c rational objective 0
2510.49/2518.69 c #Conflicts: 1468000 | #Constraints: 28864
2510.49/2518.69 c #Conflicts: 1469000 | #Constraints: 29864
2510.49/2518.69 c #Conflicts: 1470000 | #Constraints: 31022
2510.49/2518.69 c #Conflicts: 1471000 | #Constraints: 32139
2510.49/2518.69 c #Conflicts: 1472000 | #Constraints: 33139
2510.49/2518.69 c #Conflicts: 1473000 | #Constraints: 34139
2510.49/2518.69 c #Conflicts: 1474000 | #Constraints: 35139
2510.49/2518.69 c #Conflicts: 1475000 | #Constraints: 36139
2510.49/2518.69 c #Conflicts: 1476000 | #Constraints: 37140
2510.49/2518.69 c #Conflicts: 1477000 | #Constraints: 38155
2510.49/2518.69 c #Conflicts: 1478000 | #Constraints: 39433
2510.49/2518.69 c #Conflicts: 1479000 | #Constraints: 40624
2510.49/2518.69 c #Conflicts: 1480000 | #Constraints: 41718
2510.49/2518.69 c #Conflicts: 1481000 | #Constraints: 42858
2510.49/2518.69 c #Conflicts: 1482000 | #Constraints: 43858
2510.49/2518.69 c #Conflicts: 1483000 | #Constraints: 44858
2510.49/2518.69 c #Conflicts: 1484000 | #Constraints: 45858
2510.49/2518.69 c #Conflicts: 1485000 | #Constraints: 47046
2510.49/2518.69 c #Conflicts: 1486000 | #Constraints: 48046
2510.49/2518.69 c #Conflicts: 1487000 | #Constraints: 49046
2510.49/2518.69 c #Conflicts: 1488000 | #Constraints: 50183
2510.49/2518.69 c #Conflicts: 1489000 | #Constraints: 51198
2510.49/2518.69 c #Conflicts: 1490000 | #Constraints: 52198
2510.49/2518.69 c #Conflicts: 1491000 | #Constraints: 53399
2510.49/2518.69 c INPROCESSING
2510.49/2518.69 c GARBAGE COLLECT
2510.49/2518.69 c rational objective 0
2564.31/2572.67 c #Conflicts: 1492000 | #Constraints: 27457
2564.31/2572.67 c #Conflicts: 1493000 | #Constraints: 28495
2564.31/2572.67 c #Conflicts: 1494000 | #Constraints: 29503
2564.31/2572.67 c #Conflicts: 1495000 | #Constraints: 30504
2564.31/2572.67 c #Conflicts: 1496000 | #Constraints: 31504
2564.31/2572.67 c #Conflicts: 1497000 | #Constraints: 32504
2564.31/2572.67 c #Conflicts: 1498000 | #Constraints: 33506
2564.31/2572.67 c #Conflicts: 1499000 | #Constraints: 34506
2564.31/2572.67 c #Conflicts: 1500000 | #Constraints: 35524
2564.31/2572.67 c #Conflicts: 1501000 | #Constraints: 36585
2564.31/2572.67 c #Conflicts: 1502000 | #Constraints: 37680
2564.31/2572.67 c #Conflicts: 1503000 | #Constraints: 38680
2564.31/2572.67 c #Conflicts: 1504000 | #Constraints: 39680
2564.31/2572.67 c #Conflicts: 1505000 | #Constraints: 40681
2564.31/2572.67 c #Conflicts: 1506000 | #Constraints: 41682
2564.31/2572.67 c #Conflicts: 1507000 | #Constraints: 42689
2564.31/2572.67 c #Conflicts: 1508000 | #Constraints: 43689
2564.31/2572.67 c #Conflicts: 1509000 | #Constraints: 44689
2564.31/2572.67 c #Conflicts: 1510000 | #Constraints: 45689
2564.31/2572.67 c #Conflicts: 1511000 | #Constraints: 46689
2564.31/2572.67 c #Conflicts: 1512000 | #Constraints: 47690
2564.31/2572.67 c #Conflicts: 1513000 | #Constraints: 48690
2564.31/2572.67 c #Conflicts: 1514000 | #Constraints: 49691
2564.31/2572.67 c #Conflicts: 1515000 | #Constraints: 50711
2564.31/2572.67 c #Conflicts: 1516000 | #Constraints: 51711
2564.31/2572.67 c INPROCESSING
2564.31/2572.67 c GARBAGE COLLECT
2564.31/2572.67 c rational objective 0
2623.31/2631.87 c #Conflicts: 1517000 | #Constraints: 27045
2623.31/2631.87 c #Conflicts: 1518000 | #Constraints: 28045
2623.31/2631.87 c #Conflicts: 1519000 | #Constraints: 29045
2623.31/2631.87 c #Conflicts: 1520000 | #Constraints: 30090
2623.31/2631.87 c #Conflicts: 1521000 | #Constraints: 31310
2623.31/2631.87 c #Conflicts: 1522000 | #Constraints: 32794
2623.31/2631.87 c #Conflicts: 1523000 | #Constraints: 34272
2623.31/2631.87 c #Conflicts: 1524000 | #Constraints: 35587
2623.31/2631.87 c #Conflicts: 1525000 | #Constraints: 36972
2623.31/2631.87 c #Conflicts: 1526000 | #Constraints: 38294
2623.31/2631.87 c #Conflicts: 1527000 | #Constraints: 39764
2623.31/2631.87 c #Conflicts: 1528000 | #Constraints: 40976
2623.31/2631.87 c #Conflicts: 1529000 | #Constraints: 42331
2623.31/2631.87 c #Conflicts: 1530000 | #Constraints: 43331
2623.31/2631.87 c #Conflicts: 1531000 | #Constraints: 44737
2623.31/2631.87 c #Conflicts: 1532000 | #Constraints: 45874
2623.31/2631.87 c #Conflicts: 1533000 | #Constraints: 46927
2623.31/2631.87 c #Conflicts: 1534000 | #Constraints: 48359
2623.31/2631.87 c #Conflicts: 1535000 | #Constraints: 49359
2623.31/2631.87 c #Conflicts: 1536000 | #Constraints: 50359
2623.31/2631.87 c #Conflicts: 1537000 | #Constraints: 51674
2623.31/2631.87 c #Conflicts: 1538000 | #Constraints: 52694
2623.31/2631.87 c #Conflicts: 1539000 | #Constraints: 53701
2623.31/2631.87 c #Conflicts: 1540000 | #Constraints: 54816
2623.31/2631.87 c #Conflicts: 1541000 | #Constraints: 55816
2623.31/2631.87 c INPROCESSING
2623.31/2631.87 c GARBAGE COLLECT
2623.31/2631.87 c rational objective 0
2678.93/2687.61 c #Conflicts: 1542000 | #Constraints: 28928
2678.93/2687.61 c #Conflicts: 1543000 | #Constraints: 29928
2678.93/2687.61 c #Conflicts: 1544000 | #Constraints: 30928
2678.93/2687.61 c #Conflicts: 1545000 | #Constraints: 31928
2678.93/2687.61 c #Conflicts: 1546000 | #Constraints: 32928
2678.93/2687.61 c #Conflicts: 1547000 | #Constraints: 33928
2678.93/2687.61 c #Conflicts: 1548000 | #Constraints: 34928
2678.93/2687.61 c #Conflicts: 1549000 | #Constraints: 35928
2678.93/2687.61 c #Conflicts: 1550000 | #Constraints: 36928
2678.93/2687.61 c #Conflicts: 1551000 | #Constraints: 37928
2678.93/2687.61 c #Conflicts: 1552000 | #Constraints: 38928
2678.93/2687.61 c #Conflicts: 1553000 | #Constraints: 39928
2678.93/2687.61 c #Conflicts: 1554000 | #Constraints: 40929
2678.93/2687.61 c #Conflicts: 1555000 | #Constraints: 41929
2678.93/2687.61 c #Conflicts: 1556000 | #Constraints: 42929
2678.93/2687.61 c #Conflicts: 1557000 | #Constraints: 43929
2678.93/2687.61 c #Conflicts: 1558000 | #Constraints: 44929
2678.93/2687.61 c #Conflicts: 1559000 | #Constraints: 45930
2678.93/2687.61 c #Conflicts: 1560000 | #Constraints: 46930
2678.93/2687.61 c #Conflicts: 1561000 | #Constraints: 47930
2678.93/2687.61 c #Conflicts: 1562000 | #Constraints: 48930
2678.93/2687.61 c #Conflicts: 1563000 | #Constraints: 49930
2678.93/2687.61 c #Conflicts: 1564000 | #Constraints: 50930
2678.93/2687.61 c #Conflicts: 1565000 | #Constraints: 51930
2678.93/2687.61 c #Conflicts: 1566000 | #Constraints: 52930
2678.93/2687.61 c INPROCESSING
2678.93/2687.61 c GARBAGE COLLECT
2678.93/2687.61 c rational objective 0
2737.14/2746.04 c #Conflicts: 1567000 | #Constraints: 27520
2737.14/2746.04 c #Conflicts: 1568000 | #Constraints: 28537
2737.14/2746.04 c #Conflicts: 1569000 | #Constraints: 29586
2737.14/2746.04 c #Conflicts: 1570000 | #Constraints: 30631
2737.14/2746.04 c #Conflicts: 1571000 | #Constraints: 31713
2737.14/2746.04 c #Conflicts: 1572000 | #Constraints: 32739
2737.14/2746.04 c #Conflicts: 1573000 | #Constraints: 33830
2737.14/2746.04 c #Conflicts: 1574000 | #Constraints: 34847
2737.14/2746.04 c #Conflicts: 1575000 | #Constraints: 35898
2737.14/2746.04 c #Conflicts: 1576000 | #Constraints: 36898
2737.14/2746.04 c #Conflicts: 1577000 | #Constraints: 38003
2737.14/2746.04 c #Conflicts: 1578000 | #Constraints: 39004
2737.14/2746.04 c #Conflicts: 1579000 | #Constraints: 40037
2737.14/2746.04 c #Conflicts: 1580000 | #Constraints: 41088
2737.14/2746.04 c #Conflicts: 1581000 | #Constraints: 42124
2737.14/2746.04 c #Conflicts: 1582000 | #Constraints: 43124
2737.14/2746.04 c #Conflicts: 1583000 | #Constraints: 44147
2737.14/2746.04 c #Conflicts: 1584000 | #Constraints: 45230
2737.14/2746.04 c #Conflicts: 1585000 | #Constraints: 46230
2737.14/2746.04 c #Conflicts: 1586000 | #Constraints: 47230
2737.14/2746.04 c #Conflicts: 1587000 | #Constraints: 48230
2737.14/2746.04 c #Conflicts: 1588000 | #Constraints: 49272
2737.14/2746.04 c #Conflicts: 1589000 | #Constraints: 50286
2737.14/2746.04 c #Conflicts: 1590000 | #Constraints: 51286
2737.14/2746.04 c #Conflicts: 1591000 | #Constraints: 52289
2737.14/2746.04 c INPROCESSING
2737.14/2746.04 c GARBAGE COLLECT
2737.14/2746.04 c rational objective 0
2809.11/2818.26 c #Conflicts: 1592000 | #Constraints: 27412
2809.11/2818.26 c #Conflicts: 1593000 | #Constraints: 28869
2809.11/2818.26 c #Conflicts: 1594000 | #Constraints: 30276
2809.11/2818.26 c #Conflicts: 1595000 | #Constraints: 31766
2809.11/2818.26 c #Conflicts: 1596000 | #Constraints: 33228
2809.11/2818.26 c #Conflicts: 1597000 | #Constraints: 34702
2809.11/2818.26 c #Conflicts: 1598000 | #Constraints: 36180
2809.11/2818.26 c #Conflicts: 1599000 | #Constraints: 37597
2809.11/2818.26 c #Conflicts: 1600000 | #Constraints: 39083
2809.11/2818.26 c #Conflicts: 1601000 | #Constraints: 40574
2809.11/2818.26 c #Conflicts: 1602000 | #Constraints: 42039
2809.11/2818.26 c #Conflicts: 1603000 | #Constraints: 43513
2809.11/2818.26 c #Conflicts: 1604000 | #Constraints: 44984
2809.11/2818.26 c #Conflicts: 1605000 | #Constraints: 46459
2809.11/2818.26 c #Conflicts: 1606000 | #Constraints: 47922
2809.11/2818.26 c #Conflicts: 1607000 | #Constraints: 49300
2809.11/2818.26 c #Conflicts: 1608000 | #Constraints: 50750
2809.11/2818.26 c #Conflicts: 1609000 | #Constraints: 52225
2809.11/2818.26 c #Conflicts: 1610000 | #Constraints: 53693
2809.11/2818.26 c #Conflicts: 1611000 | #Constraints: 55208
2809.11/2818.26 c #Conflicts: 1612000 | #Constraints: 56536
2809.11/2818.26 c #Conflicts: 1613000 | #Constraints: 58015
2809.11/2818.26 c #Conflicts: 1614000 | #Constraints: 59503
2809.11/2818.26 c #Conflicts: 1615000 | #Constraints: 60981
2809.11/2818.26 c #Conflicts: 1616000 | #Constraints: 62472
2809.11/2818.26 c INPROCESSING
2809.11/2818.26 c GARBAGE COLLECT
2809.11/2818.26 c rational objective 0
2884.55/2893.90 c #Conflicts: 1617000 | #Constraints: 32107
2884.55/2893.90 c #Conflicts: 1618000 | #Constraints: 33315
2884.55/2893.90 c #Conflicts: 1619000 | #Constraints: 34507
2884.55/2893.90 c #Conflicts: 1620000 | #Constraints: 35802
2884.55/2893.90 c #Conflicts: 1621000 | #Constraints: 36990
2884.55/2893.90 c #Conflicts: 1622000 | #Constraints: 38175
2884.55/2893.90 c #Conflicts: 1623000 | #Constraints: 39296
2884.55/2893.90 c #Conflicts: 1624000 | #Constraints: 40378
2884.55/2893.90 c #Conflicts: 1625000 | #Constraints: 41556
2884.55/2893.90 c #Conflicts: 1626000 | #Constraints: 42810
2884.55/2893.90 c #Conflicts: 1627000 | #Constraints: 43849
2884.55/2893.90 c #Conflicts: 1628000 | #Constraints: 45077
2884.55/2893.90 c #Conflicts: 1629000 | #Constraints: 46077
2884.55/2893.90 c #Conflicts: 1630000 | #Constraints: 47093
2884.55/2893.90 c #Conflicts: 1631000 | #Constraints: 48095
2884.55/2893.90 c #Conflicts: 1632000 | #Constraints: 49399
2884.55/2893.90 c #Conflicts: 1633000 | #Constraints: 50547
2884.55/2893.90 c #Conflicts: 1634000 | #Constraints: 51708
2884.55/2893.90 c #Conflicts: 1635000 | #Constraints: 52708
2884.55/2893.90 c #Conflicts: 1636000 | #Constraints: 53708
2884.55/2893.90 c #Conflicts: 1637000 | #Constraints: 54891
2884.55/2893.90 c #Conflicts: 1638000 | #Constraints: 55950
2884.55/2893.90 c #Conflicts: 1639000 | #Constraints: 57114
2884.55/2893.90 c #Conflicts: 1640000 | #Constraints: 58114
2884.55/2893.90 c #Conflicts: 1641000 | #Constraints: 59114
2884.55/2893.90 c #Conflicts: 1642000 | #Constraints: 60114
2884.55/2893.90 c INPROCESSING
2884.55/2893.90 c GARBAGE COLLECT
2884.55/2893.90 c rational objective 0
2950.44/2960.08 c #Conflicts: 1643000 | #Constraints: 31220
2950.44/2960.08 c #Conflicts: 1644000 | #Constraints: 32220
2950.44/2960.08 c #Conflicts: 1645000 | #Constraints: 33220
2950.44/2960.08 c #Conflicts: 1646000 | #Constraints: 34414
2950.44/2960.08 c #Conflicts: 1647000 | #Constraints: 35527
2950.44/2960.08 c #Conflicts: 1648000 | #Constraints: 36727
2950.44/2960.08 c #Conflicts: 1649000 | #Constraints: 37760
2950.44/2960.08 c #Conflicts: 1650000 | #Constraints: 38760
2950.44/2960.08 c #Conflicts: 1651000 | #Constraints: 39761
2950.44/2960.08 c #Conflicts: 1652000 | #Constraints: 40917
2950.44/2960.08 c #Conflicts: 1653000 | #Constraints: 41917
2950.44/2960.08 c #Conflicts: 1654000 | #Constraints: 42917
2950.44/2960.08 c #Conflicts: 1655000 | #Constraints: 43917
2950.44/2960.08 c #Conflicts: 1656000 | #Constraints: 44917
2950.44/2960.08 c #Conflicts: 1657000 | #Constraints: 45917
2950.44/2960.08 c #Conflicts: 1658000 | #Constraints: 46917
2950.44/2960.08 c #Conflicts: 1659000 | #Constraints: 47917
2950.44/2960.08 c #Conflicts: 1660000 | #Constraints: 48918
2950.44/2960.08 c #Conflicts: 1661000 | #Constraints: 49948
2950.44/2960.08 c #Conflicts: 1662000 | #Constraints: 51029
2950.44/2960.08 c #Conflicts: 1663000 | #Constraints: 52180
2950.44/2960.08 c #Conflicts: 1664000 | #Constraints: 53180
2950.44/2960.08 c #Conflicts: 1665000 | #Constraints: 54447
2950.44/2960.08 c #Conflicts: 1666000 | #Constraints: 55631
2950.44/2960.08 c #Conflicts: 1667000 | #Constraints: 56631
2950.44/2960.08 c #Conflicts: 1668000 | #Constraints: 57631
2950.44/2960.08 c INPROCESSING
2950.44/2960.08 c GARBAGE COLLECT
2950.44/2960.08 c rational objective 0
3012.93/3022.71 c #Conflicts: 1669000 | #Constraints: 29884
3012.93/3022.71 c #Conflicts: 1670000 | #Constraints: 30888
3012.93/3022.71 c #Conflicts: 1671000 | #Constraints: 31888
3012.93/3022.71 c #Conflicts: 1672000 | #Constraints: 32888
3012.93/3022.71 c #Conflicts: 1673000 | #Constraints: 33895
3012.93/3022.71 c #Conflicts: 1674000 | #Constraints: 34895
3012.93/3022.71 c #Conflicts: 1675000 | #Constraints: 35895
3012.93/3022.71 c #Conflicts: 1676000 | #Constraints: 36895
3012.93/3022.71 c #Conflicts: 1677000 | #Constraints: 37895
3012.93/3022.71 c #Conflicts: 1678000 | #Constraints: 38895
3012.93/3022.71 c #Conflicts: 1679000 | #Constraints: 39895
3012.93/3022.71 c #Conflicts: 1680000 | #Constraints: 40895
3012.93/3022.71 c #Conflicts: 1681000 | #Constraints: 41895
3012.93/3022.71 c #Conflicts: 1682000 | #Constraints: 42895
3012.93/3022.71 c #Conflicts: 1683000 | #Constraints: 43963
3012.93/3022.71 c #Conflicts: 1684000 | #Constraints: 44963
3012.93/3022.71 c #Conflicts: 1685000 | #Constraints: 45963
3012.93/3022.71 c #Conflicts: 1686000 | #Constraints: 46963
3012.93/3022.71 c #Conflicts: 1687000 | #Constraints: 48030
3012.93/3022.71 c #Conflicts: 1688000 | #Constraints: 49031
3012.93/3022.71 c #Conflicts: 1689000 | #Constraints: 50033
3012.93/3022.71 c #Conflicts: 1690000 | #Constraints: 51033
3012.93/3022.71 c #Conflicts: 1691000 | #Constraints: 52033
3012.93/3022.71 c #Conflicts: 1692000 | #Constraints: 53034
3012.93/3022.71 c #Conflicts: 1693000 | #Constraints: 54034
3012.93/3022.71 c #Conflicts: 1694000 | #Constraints: 55034
3012.93/3022.71 c INPROCESSING
3012.93/3022.71 c GARBAGE COLLECT
3012.93/3022.71 c rational objective 0
3072.44/3082.40 c #Conflicts: 1695000 | #Constraints: 28537
3072.44/3082.40 c #Conflicts: 1696000 | #Constraints: 29537
3072.44/3082.40 c #Conflicts: 1697000 | #Constraints: 30537
3072.44/3082.40 c #Conflicts: 1698000 | #Constraints: 31537
3072.44/3082.40 c #Conflicts: 1699000 | #Constraints: 32537
3072.44/3082.40 c #Conflicts: 1700000 | #Constraints: 33537
3072.44/3082.40 c #Conflicts: 1701000 | #Constraints: 34537
3072.44/3082.40 c #Conflicts: 1702000 | #Constraints: 35537
3072.44/3082.40 c #Conflicts: 1703000 | #Constraints: 36538
3072.44/3082.40 c #Conflicts: 1704000 | #Constraints: 37539
3072.44/3082.40 c #Conflicts: 1705000 | #Constraints: 38540
3072.44/3082.40 c #Conflicts: 1706000 | #Constraints: 39541
3072.44/3082.40 c #Conflicts: 1707000 | #Constraints: 40541
3072.44/3082.40 c #Conflicts: 1708000 | #Constraints: 41541
3072.44/3082.40 c #Conflicts: 1709000 | #Constraints: 42541
3072.44/3082.40 c #Conflicts: 1710000 | #Constraints: 43541
3072.44/3082.40 c #Conflicts: 1711000 | #Constraints: 44541
3072.44/3082.40 c #Conflicts: 1712000 | #Constraints: 45541
3072.44/3082.40 c #Conflicts: 1713000 | #Constraints: 46541
3072.44/3082.40 c #Conflicts: 1714000 | #Constraints: 47541
3072.44/3082.40 c #Conflicts: 1715000 | #Constraints: 48541
3072.44/3082.40 c #Conflicts: 1716000 | #Constraints: 49541
3072.44/3082.40 c #Conflicts: 1717000 | #Constraints: 50541
3072.44/3082.40 c #Conflicts: 1718000 | #Constraints: 51542
3072.44/3082.40 c #Conflicts: 1719000 | #Constraints: 52542
3072.44/3082.40 c #Conflicts: 1720000 | #Constraints: 53542
3072.44/3082.40 c INPROCESSING
3072.44/3082.40 c GARBAGE COLLECT
3072.44/3082.40 c rational objective 0
3131.07/3141.28 c #Conflicts: 1721000 | #Constraints: 27821
3131.07/3141.28 c #Conflicts: 1722000 | #Constraints: 28821
3131.07/3141.28 c #Conflicts: 1723000 | #Constraints: 29821
3131.07/3141.28 c #Conflicts: 1724000 | #Constraints: 30903
3131.07/3141.28 c #Conflicts: 1725000 | #Constraints: 31907
3131.07/3141.28 c #Conflicts: 1726000 | #Constraints: 32921
3131.07/3141.28 c #Conflicts: 1727000 | #Constraints: 33932
3131.07/3141.28 c #Conflicts: 1728000 | #Constraints: 34932
3131.07/3141.28 c #Conflicts: 1729000 | #Constraints: 35932
3131.07/3141.28 c #Conflicts: 1730000 | #Constraints: 36932
3131.07/3141.28 c #Conflicts: 1731000 | #Constraints: 37932
3131.07/3141.28 c #Conflicts: 1732000 | #Constraints: 38957
3131.07/3141.28 c #Conflicts: 1733000 | #Constraints: 40132
3131.07/3141.28 c #Conflicts: 1734000 | #Constraints: 41172
3131.07/3141.28 c #Conflicts: 1735000 | #Constraints: 42172
3131.07/3141.28 c #Conflicts: 1736000 | #Constraints: 43172
3131.07/3141.28 c #Conflicts: 1737000 | #Constraints: 44172
3131.07/3141.28 c #Conflicts: 1738000 | #Constraints: 45215
3131.07/3141.28 c #Conflicts: 1739000 | #Constraints: 46301
3131.07/3141.28 c #Conflicts: 1740000 | #Constraints: 47341
3131.07/3141.28 c #Conflicts: 1741000 | #Constraints: 48402
3131.07/3141.28 c #Conflicts: 1742000 | #Constraints: 49409
3131.07/3141.28 c #Conflicts: 1743000 | #Constraints: 50409
3131.07/3141.28 c #Conflicts: 1744000 | #Constraints: 51409
3131.07/3141.28 c #Conflicts: 1745000 | #Constraints: 52409
3131.07/3141.28 c #Conflicts: 1746000 | #Constraints: 53446
3131.07/3141.28 c INPROCESSING
3131.07/3141.28 c GARBAGE COLLECT
3131.07/3141.28 c rational objective 0
3190.79/3201.12 c #Conflicts: 1747000 | #Constraints: 27581
3190.79/3201.12 c #Conflicts: 1748000 | #Constraints: 28607
3190.79/3201.12 c #Conflicts: 1749000 | #Constraints: 29607
3190.79/3201.12 c #Conflicts: 1750000 | #Constraints: 30609
3190.79/3201.12 c #Conflicts: 1751000 | #Constraints: 31609
3190.79/3201.12 c #Conflicts: 1752000 | #Constraints: 32609
3190.79/3201.12 c #Conflicts: 1753000 | #Constraints: 33609
3190.79/3201.12 c #Conflicts: 1754000 | #Constraints: 34609
3190.79/3201.12 c #Conflicts: 1755000 | #Constraints: 35609
3190.79/3201.12 c #Conflicts: 1756000 | #Constraints: 36609
3190.79/3201.12 c #Conflicts: 1757000 | #Constraints: 37609
3190.79/3201.12 c #Conflicts: 1758000 | #Constraints: 38609
3190.79/3201.12 c #Conflicts: 1759000 | #Constraints: 39690
3190.79/3201.12 c #Conflicts: 1760000 | #Constraints: 40690
3190.79/3201.12 c #Conflicts: 1761000 | #Constraints: 41690
3190.79/3201.12 c #Conflicts: 1762000 | #Constraints: 42690
3190.79/3201.12 c #Conflicts: 1763000 | #Constraints: 43729
3190.79/3201.12 c #Conflicts: 1764000 | #Constraints: 44738
3190.79/3201.12 c #Conflicts: 1765000 | #Constraints: 45738
3190.79/3201.12 c #Conflicts: 1766000 | #Constraints: 46738
3190.79/3201.12 c #Conflicts: 1767000 | #Constraints: 47757
3190.79/3201.12 c #Conflicts: 1768000 | #Constraints: 48757
3190.79/3201.12 c #Conflicts: 1769000 | #Constraints: 49843
3190.79/3201.12 c #Conflicts: 1770000 | #Constraints: 50846
3190.79/3201.12 c #Conflicts: 1771000 | #Constraints: 51846
3190.79/3201.12 c #Conflicts: 1772000 | #Constraints: 52846
3190.79/3201.12 c #Conflicts: 1773000 | #Constraints: 53853
3190.79/3201.12 c INPROCESSING
3190.79/3201.12 c GARBAGE COLLECT
3190.79/3201.12 c rational objective 0
3250.92/3261.48 c #Conflicts: 1774000 | #Constraints: 27905
3250.92/3261.48 c #Conflicts: 1775000 | #Constraints: 28953
3250.92/3261.48 c #Conflicts: 1776000 | #Constraints: 30009
3250.92/3261.48 c #Conflicts: 1777000 | #Constraints: 31013
3250.92/3261.48 c #Conflicts: 1778000 | #Constraints: 32056
3250.92/3261.48 c #Conflicts: 1779000 | #Constraints: 33056
3250.92/3261.48 c #Conflicts: 1780000 | #Constraints: 34056
3250.92/3261.48 c #Conflicts: 1781000 | #Constraints: 35058
3250.92/3261.48 c #Conflicts: 1782000 | #Constraints: 36058
3250.92/3261.48 c #Conflicts: 1783000 | #Constraints: 37058
3250.92/3261.48 c #Conflicts: 1784000 | #Constraints: 38059
3250.92/3261.48 c #Conflicts: 1785000 | #Constraints: 39059
3250.92/3261.48 c #Conflicts: 1786000 | #Constraints: 40059
3250.92/3261.48 c #Conflicts: 1787000 | #Constraints: 41059
3250.92/3261.48 c #Conflicts: 1788000 | #Constraints: 42059
3250.92/3261.48 c #Conflicts: 1789000 | #Constraints: 43067
3250.92/3261.48 c #Conflicts: 1790000 | #Constraints: 44067
3250.92/3261.48 c #Conflicts: 1791000 | #Constraints: 45067
3250.92/3261.48 c #Conflicts: 1792000 | #Constraints: 46067
3250.92/3261.48 c #Conflicts: 1793000 | #Constraints: 47072
3250.92/3261.48 c #Conflicts: 1794000 | #Constraints: 48074
3250.92/3261.48 c #Conflicts: 1795000 | #Constraints: 49074
3250.92/3261.48 c #Conflicts: 1796000 | #Constraints: 50074
3250.92/3261.48 c #Conflicts: 1797000 | #Constraints: 51074
3250.92/3261.48 c #Conflicts: 1798000 | #Constraints: 52074
3250.92/3261.48 c #Conflicts: 1799000 | #Constraints: 53090
3250.92/3261.48 c #Conflicts: 1800000 | #Constraints: 54090
3250.92/3261.48 c INPROCESSING
3250.92/3261.48 c GARBAGE COLLECT
3250.92/3261.48 c rational objective 0
3312.34/3323.03 c #Conflicts: 1801000 | #Constraints: 28066
3312.34/3323.03 c #Conflicts: 1802000 | #Constraints: 29066
3312.34/3323.03 c #Conflicts: 1803000 | #Constraints: 30066
3312.34/3323.03 c #Conflicts: 1804000 | #Constraints: 31066
3312.34/3323.03 c #Conflicts: 1805000 | #Constraints: 32066
3312.34/3323.03 c #Conflicts: 1806000 | #Constraints: 33067
3312.34/3323.03 c #Conflicts: 1807000 | #Constraints: 34067
3312.34/3323.03 c #Conflicts: 1808000 | #Constraints: 35067
3312.34/3323.03 c #Conflicts: 1809000 | #Constraints: 36067
3312.34/3323.03 c #Conflicts: 1810000 | #Constraints: 37067
3312.34/3323.03 c #Conflicts: 1811000 | #Constraints: 38067
3312.34/3323.03 c #Conflicts: 1812000 | #Constraints: 39067
3312.34/3323.03 c #Conflicts: 1813000 | #Constraints: 40067
3312.34/3323.03 c #Conflicts: 1814000 | #Constraints: 41067
3312.34/3323.03 c #Conflicts: 1815000 | #Constraints: 42067
3312.34/3323.03 c #Conflicts: 1816000 | #Constraints: 43068
3312.34/3323.03 c #Conflicts: 1817000 | #Constraints: 44069
3312.34/3323.03 c #Conflicts: 1818000 | #Constraints: 45069
3312.34/3323.03 c #Conflicts: 1819000 | #Constraints: 46069
3312.34/3323.03 c #Conflicts: 1820000 | #Constraints: 47069
3312.34/3323.03 c #Conflicts: 1821000 | #Constraints: 48069
3312.34/3323.03 c #Conflicts: 1822000 | #Constraints: 49070
3312.34/3323.03 c #Conflicts: 1823000 | #Constraints: 50070
3312.34/3323.03 c #Conflicts: 1824000 | #Constraints: 51071
3312.34/3323.03 c #Conflicts: 1825000 | #Constraints: 52071
3312.34/3323.03 c #Conflicts: 1826000 | #Constraints: 53071
3312.34/3323.03 c #Conflicts: 1827000 | #Constraints: 54071
3312.34/3323.03 c INPROCESSING
3312.34/3323.03 c GARBAGE COLLECT
3312.34/3323.03 c rational objective 0
3375.92/3386.81 c #Conflicts: 1828000 | #Constraints: 28068
3375.92/3386.81 c #Conflicts: 1829000 | #Constraints: 29110
3375.92/3386.81 c #Conflicts: 1830000 | #Constraints: 30115
3375.92/3386.81 c #Conflicts: 1831000 | #Constraints: 31126
3375.92/3386.81 c #Conflicts: 1832000 | #Constraints: 32127
3375.92/3386.81 c #Conflicts: 1833000 | #Constraints: 33127
3375.92/3386.81 c #Conflicts: 1834000 | #Constraints: 34127
3375.92/3386.81 c #Conflicts: 1835000 | #Constraints: 35138
3375.92/3386.81 c #Conflicts: 1836000 | #Constraints: 36139
3375.92/3386.81 c #Conflicts: 1837000 | #Constraints: 37147
3375.92/3386.81 c #Conflicts: 1838000 | #Constraints: 38147
3375.92/3386.81 c #Conflicts: 1839000 | #Constraints: 39156
3375.92/3386.81 c #Conflicts: 1840000 | #Constraints: 40159
3375.92/3386.81 c #Conflicts: 1841000 | #Constraints: 41167
3375.92/3386.81 c #Conflicts: 1842000 | #Constraints: 42167
3375.92/3386.81 c #Conflicts: 1843000 | #Constraints: 43167
3375.92/3386.81 c #Conflicts: 1844000 | #Constraints: 44168
3375.92/3386.81 c #Conflicts: 1845000 | #Constraints: 45168
3375.92/3386.81 c #Conflicts: 1846000 | #Constraints: 46185
3375.92/3386.81 c #Conflicts: 1847000 | #Constraints: 47185
3375.92/3386.81 c #Conflicts: 1848000 | #Constraints: 48185
3375.92/3386.81 c #Conflicts: 1849000 | #Constraints: 49185
3375.92/3386.81 c #Conflicts: 1850000 | #Constraints: 50185
3375.92/3386.81 c #Conflicts: 1851000 | #Constraints: 51185
3375.92/3386.81 c #Conflicts: 1852000 | #Constraints: 52200
3375.92/3386.81 c #Conflicts: 1853000 | #Constraints: 53201
3375.92/3386.81 c #Conflicts: 1854000 | #Constraints: 54204
3375.92/3386.81 c INPROCESSING
3375.92/3386.81 c GARBAGE COLLECT
3375.92/3386.81 c rational objective 0
3457.39/3468.57 c #Conflicts: 1855000 | #Constraints: 28366
3457.39/3468.57 c #Conflicts: 1856000 | #Constraints: 29840
3457.39/3468.57 c #Conflicts: 1857000 | #Constraints: 31311
3457.39/3468.57 c #Conflicts: 1858000 | #Constraints: 32784
3457.39/3468.57 c #Conflicts: 1859000 | #Constraints: 34272
3457.39/3468.57 c #Conflicts: 1860000 | #Constraints: 35760
3457.39/3468.57 c #Conflicts: 1861000 | #Constraints: 37240
3457.39/3468.57 c #Conflicts: 1862000 | #Constraints: 38752
3457.39/3468.57 c #Conflicts: 1863000 | #Constraints: 40250
3457.39/3468.57 c #Conflicts: 1864000 | #Constraints: 41730
3457.39/3468.57 c #Conflicts: 1865000 | #Constraints: 43219
3457.39/3468.57 c #Conflicts: 1866000 | #Constraints: 44717
3457.39/3468.57 c #Conflicts: 1867000 | #Constraints: 46209
3457.39/3468.57 c #Conflicts: 1868000 | #Constraints: 47686
3457.39/3468.57 c #Conflicts: 1869000 | #Constraints: 49156
3457.39/3468.57 c #Conflicts: 1870000 | #Constraints: 50643
3457.39/3468.57 c #Conflicts: 1871000 | #Constraints: 52147
3457.39/3468.57 c #Conflicts: 1872000 | #Constraints: 53657
3457.39/3468.57 c #Conflicts: 1873000 | #Constraints: 55146
3457.39/3468.57 c #Conflicts: 1874000 | #Constraints: 56627
3457.39/3468.57 c #Conflicts: 1875000 | #Constraints: 58110
3457.39/3468.57 c #Conflicts: 1876000 | #Constraints: 59602
3457.39/3468.57 c #Conflicts: 1877000 | #Constraints: 61083
3457.39/3468.57 c #Conflicts: 1878000 | #Constraints: 62579
3457.39/3468.57 c #Conflicts: 1879000 | #Constraints: 64091
3457.39/3468.57 c #Conflicts: 1880000 | #Constraints: 65592
3457.39/3468.57 c #Conflicts: 1881000 | #Constraints: 67061
3457.39/3468.57 c INPROCESSING
3457.39/3468.57 c GARBAGE COLLECT
3457.39/3468.57 c rational objective 0
3546.95/3558.33 c #Conflicts: 1882000 | #Constraints: 34578
3546.95/3558.33 c #Conflicts: 1883000 | #Constraints: 36041
3546.95/3558.33 c #Conflicts: 1884000 | #Constraints: 37508
3546.95/3558.33 c #Conflicts: 1885000 | #Constraints: 38970
3546.95/3558.33 c #Conflicts: 1886000 | #Constraints: 40455
3546.95/3558.33 c #Conflicts: 1887000 | #Constraints: 41940
3546.95/3558.33 c #Conflicts: 1888000 | #Constraints: 43427
3546.95/3558.33 c #Conflicts: 1889000 | #Constraints: 44915
3546.95/3558.33 c #Conflicts: 1890000 | #Constraints: 46383
3546.95/3558.33 c #Conflicts: 1891000 | #Constraints: 47874
3546.95/3558.33 c #Conflicts: 1892000 | #Constraints: 49340
3546.95/3558.33 c #Conflicts: 1893000 | #Constraints: 50838
3546.95/3558.33 c #Conflicts: 1894000 | #Constraints: 52325
3546.95/3558.33 c #Conflicts: 1895000 | #Constraints: 53829
3546.95/3558.33 c #Conflicts: 1896000 | #Constraints: 55299
3546.95/3558.33 c #Conflicts: 1897000 | #Constraints: 56768
3546.95/3558.33 c #Conflicts: 1898000 | #Constraints: 58243
3546.95/3558.33 c #Conflicts: 1899000 | #Constraints: 59721
3546.95/3558.33 c #Conflicts: 1900000 | #Constraints: 61198
3546.95/3558.33 c #Conflicts: 1901000 | #Constraints: 62658
3546.95/3558.33 c #Conflicts: 1902000 | #Constraints: 64147
3546.95/3558.33 c #Conflicts: 1903000 | #Constraints: 65622
3546.95/3558.33 c #Conflicts: 1904000 | #Constraints: 67091
3546.95/3558.33 c #Conflicts: 1905000 | #Constraints: 68560
3546.95/3558.33 c #Conflicts: 1906000 | #Constraints: 70023
3546.95/3558.33 c #Conflicts: 1907000 | #Constraints: 71512
3546.95/3558.33 c #Conflicts: 1908000 | #Constraints: 72997
3546.95/3558.33 c #Conflicts: 1909000 | #Constraints: 74481
3546.95/3558.33 c INPROCESSING
3546.95/3558.33 c GARBAGE COLLECT
3546.95/3558.33 c rational objective 0
3600.09/3611.60 c #Conflicts: 1910000 | #Constraints: 38619
3600.09/3611.60 c #Conflicts: 1911000 | #Constraints: 40085
3600.09/3611.60 c #Conflicts: 1912000 | #Constraints: 41542
3600.09/3611.60 c #Conflicts: 1913000 | #Constraints: 42986
3600.09/3611.60 c #Conflicts: 1914000 | #Constraints: 44451
3600.09/3611.60 c #Conflicts: 1915000 | #Constraints: 45920
3600.09/3611.60 c #Conflicts: 1916000 | #Constraints: 47388
3600.09/3611.60 c #Conflicts: 1917000 | #Constraints: 48840
3600.09/3611.60 c #Conflicts: 1918000 | #Constraints: 50319
3600.09/3611.60 c #Conflicts: 1919000 | #Constraints: 51811
3600.09/3611.60 c #Conflicts: 1920000 | #Constraints: 53275
3600.09/3611.60 c #Conflicts: 1921000 | #Constraints: 54725
3600.09/3611.60 c #Conflicts: 1922000 | #Constraints: 56204
3600.09/3611.60 c #Conflicts: 1923000 | #Constraints: 57679
3600.09/3611.60 c #Conflicts: 1924000 | #Constraints: 59156
3600.09/3611.60 c cpu time 3564.25 s
3600.09/3611.60 c deterministic time 517677980024 5.18e+11
3600.09/3611.60 c optimization time 52.5198 s
3600.09/3611.60 c total solve time 3511.73 s
3600.09/3611.60 c core-guided solve time 0 s
3600.09/3611.60 c propagation time 2818.91 s
3600.09/3611.60 c conflict analysis time 652.75 s
3600.09/3611.60 c propagations 36539146
3600.09/3611.60 c resolve steps 14045930
3600.09/3611.60 c decisions 2778405
3600.09/3611.60 c conflicts 1924593
3600.09/3611.60 c restarts 3738
3600.09/3611.60 c inprocessing phases 129
3600.09/3611.60 c garbage collections 129 ,( 100.00 )
3600.09/3611.60 c input clauses 0 ,( 0.00 )
3600.09/3611.60 c input cardinalities 0 ,( 0.00 )
3600.09/3611.60 c input general constraints 16 ,( 100.00 )
3600.09/3611.60 c input average constraint length 85.50
3600.09/3611.60 c input average constraint degree 1957.12
3600.09/3611.60 c learned clauses 553534 ,( 24.94 )
3600.09/3611.60 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.60 c learned general constraints 1665924 ,( 75.06 )
3600.09/3611.60 c learned average constraint length 158.60
3600.09/3611.60 c learned average constraint degree 2650710230.24
3600.09/3611.60 c watched CF 32, 64, 128, Arb: 674596 , 0 , 0 , 0
3600.09/3611.60 c counting CF 32, 64, 128, Arb: 991345 , 0 , 0 , 0
3600.09/3611.60 c watched constraints 674596 ,( 40.49 )
3600.09/3611.60 c counting constraints 991344 ,( 59.51 )
3600.09/3611.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 42348510 , 0 , 28372010506 ,( 132066113 , 28239944393 )
3600.09/3611.60 c gcd simplifications 544716
3600.09/3611.60 c detected cardinalities 0
3600.09/3611.60 c weakened non-implied lits 59346702
3600.09/3611.60 c weakened non-implying lits 4686086
3600.09/3611.60 c original variables 198
3600.09/3611.60 c clausal propagations 101539
3600.09/3611.60 c cardinality propagations 0
3600.09/3611.60 c watched propagations 95665
3600.09/3611.60 c counting propagations 34395165
3600.09/3611.60 c watch lookups 92788511924
3600.09/3611.60 c watch backjump lookups 0
3600.09/3611.60 c watch checks 9986471776
3600.09/3611.60 c propagation checks 411903216589
3600.09/3611.60 c constraint additions 2917334541
3600.09/3611.60 c trail pops 41241236
3600.09/3611.60 c formula constraints 16
3600.09/3611.60 c learned constraints 1923882
3600.09/3611.60 c bound constraints 0
3600.09/3611.60 c core-guided constraints 0
3600.09/3611.60 c encountered formula constraints 31353
3600.09/3611.60 c encountered learned constraints 1974851
3600.09/3611.60 c encountered bound constraints 0
3600.09/3611.60 c encountered core-guided constraints 0
3600.09/3611.60 c LP total time 93.6391 s
3600.09/3611.60 c LP solve time 47.08 s
3600.09/3611.60 c LP constraints added 235
3600.09/3611.60 c LP constraints removed 217
3600.09/3611.60 c LP pivots internal 1885371
3600.09/3611.60 c LP pivots root 1035
3600.09/3611.60 c LP calls 577556
3600.09/3611.60 c LP optimalities 282860
3600.09/3611.60 c LP no pivot count 23183
3600.09/3611.60 c LP infeasibilities 294688
3600.09/3611.60 c LP valid Farkas constraints 294687
3600.09/3611.60 c LP learned Farkas constraints 710
3600.09/3611.60 c LP basis resets 8
3600.09/3611.60 c LP cycling count 0
3600.09/3611.60 c LP singular count 8
3600.09/3611.60 c LP no primal count 0
3600.09/3611.60 c LP no farkas count 0
3600.09/3611.60 c LP other issue count 0
3600.09/3611.60 c LP Gomory cuts 179
3600.09/3611.60 c LP learned cuts 40
3600.09/3611.60 c LP deleted cuts 217
3600.09/3611.60 c LP encountered Gomory constraints 790
3600.09/3611.60 c LP encountered Farkas constraints 13852716
3600.09/3611.60 c LP encountered learned Farkas constraints 110103
3600.09/3611.60 c CG auxiliary variables introduced 1
3600.09/3611.60 c CG solutions found 0
3600.09/3611.60 c CG cores constructed 0
3600.09/3611.60 c CG core cardinality constraints returned 0
3600.09/3611.60 c CG unit cores 0
3600.09/3611.60 c CG single cores 0
3600.09/3611.60 c CG blocks removed during cardinality reduction 0
3600.09/3611.60 c CG first core best 0
3600.09/3611.60 c CG decision core best 0
3600.09/3611.60 c CG core reduction tie 0
3600.09/3611.60 c CG core degree average 0.00
3600.09/3611.60 c CG core slack average 0.00
3600.09/3611.60 c CG core upper bound improvements 0
3600.09/3611.60 c STR number of successful calls 0
3600.09/3611.60 c STR number of unsuccessful calls 0
3600.09/3611.60 c STR number of inconclusive calls 0
3600.09/3611.60 c STR number of successful attempts 0
3600.09/3611.60 c STR number of unsuccessful attempts 0
3600.09/3611.60 c STR number of inconclusive attempts 0
3600.09/3611.60 c STR average degree increase per successful call inf
3600.09/3611.60 c STR average degree increase per successful attempt inf
3600.09/3611.60 c STR total number of conflicts for successful attempts 0
3600.09/3611.60 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.60 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.60 c STR average number of conflicts per successful attempt inf
3600.09/3611.60 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.60 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.60 c AVG.sumWPerc 49.20
3600.09/3611.60 c bigint constraints 0
3600.09/3611.60 s UNKNOWN
3600.09/3611.60 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: 63708 MiB (60755 MiB free)
memory of node 1: 64465 MiB (45189 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490565-1751367583/watcher-4490565-1751367583 -o /tmp/evaluation-result-4490565-1751367583/solver-4490565-1751367583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52187 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490565-1751367583.opb PROOFDIR/proof-4490565-1751367583
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53086, runsolver pid=53083
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.19 4.15 4.11 5/275 53088
/proc/meminfo: memFree=108483216/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=60812 memory=13336 CPUtime=0.08 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 698 0 0 0 7 1 0 0 20 0 1 0 52434910 62271488 3334 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 15203 3334 2368 1147 0 2630 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65004 KiB
Current children cumulated memory: 16280 KiB
[startup+0.205572 s]*
/proc/loadavg: 4.19 4.15 4.11 5/275 53088
/proc/meminfo: memFree=108483216/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=61476 memory=13976 CPUtime=0.18 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 862 0 0 0 17 1 0 0 20 0 1 0 52434910 62951424 3494 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 15369 3494 2368 1147 0 2796 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 16920 KiB
[startup+0.305413 s]*
/proc/loadavg: 4.19 4.15 4.11 5/275 53088
/proc/meminfo: memFree=108479436/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=61744 memory=14360 CPUtime=0.29 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 946 0 0 0 27 2 0 0 20 0 1 0 52434910 63225856 3590 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 15436 3590 2368 1147 0 2863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65936 KiB
Current children cumulated memory: 17304 KiB
[startup+0.700166 s]
/proc/loadavg: 4.19 4.15 4.11 5/275 53088
/proc/meminfo: memFree=108467340/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=63852 memory=16024 CPUtime=0.67 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 1375 0 0 0 63 4 0 0 20 0 1 0 52434910 65384448 4006 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 15963 4006 2368 1147 0 3390 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 68044 KiB
Current children cumulated memory: 18968 KiB
[startup+1.50017 s]
/proc/loadavg: 4.18 4.15 4.11 5/275 53088
/proc/meminfo: memFree=108468788/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=66728 memory=20636 CPUtime=1.47 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 2021 0 0 0 141 6 0 0 20 0 1 0 52434910 68329472 5159 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 16682 5159 2368 1147 0 4109 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 70920 KiB
Current children cumulated memory: 23580 KiB
[startup+3.10535 s]
/proc/loadavg: 4.18 4.15 4.11 5/275 53089
/proc/meminfo: memFree=108378512/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=72744 memory=24348 CPUtime=3.07 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 2933 0 0 0 295 12 0 0 20 0 1 0 52434910 74489856 6087 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 18186 6087 2368 1147 0 5613 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 76936 KiB
Current children cumulated memory: 27292 KiB
[startup+6.30015 s]
/proc/loadavg: 4.24 4.17 4.11 5/275 53089
/proc/meminfo: memFree=108304608/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=76408 memory=28188 CPUtime=6.26 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 3902 0 0 0 605 21 0 0 20 0 1 0 52434910 78241792 7047 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 19102 7047 2368 1147 0 6529 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 31132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.16 4.11 5/275 53090
/proc/meminfo: memFree=108158948/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=84416 memory=32668 CPUtime=12.63 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 5035 0 0 0 1225 38 0 0 20 0 1 0 52434910 86441984 8167 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 21104 8167 2368 1147 0 8531 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 88608 KiB
Current children cumulated memory: 35612 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.16 4.11 5/275 53090
/proc/meminfo: memFree=107834208/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=86148 memory=38864 CPUtime=25.4 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 6053 0 0 0 2470 70 0 0 20 0 1 0 52434910 88215552 9716 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 21537 9716 2368 1147 0 8964 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 90340 KiB
Current children cumulated memory: 41808 KiB
[startup+51.1058 s]
/proc/loadavg: 4.19 4.16 4.11 5/275 53090
/proc/meminfo: memFree=107269324/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=106028 memory=48976 CPUtime=50.92 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 8582 0 0 0 4967 125 0 0 20 0 1 0 52434910 108572672 12244 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 26507 12244 2368 1147 0 13934 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 110220 KiB
Current children cumulated memory: 51920 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/275 53103
/proc/meminfo: memFree=106294512/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=111968 memory=59196 CPUtime=101.95 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 10126 0 0 0 9967 228 0 0 20 0 1 0 52434910 114655232 14799 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 27992 14799 2368 1147 0 15419 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 116160 KiB
Current children cumulated memory: 62140 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/275 53106
/proc/meminfo: memFree=105287164/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=124880 memory=66368 CPUtime=161.76 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 11583 0 0 0 15852 324 0 0 20 0 1 0 52434910 127877120 16592 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 31220 16592 2368 1147 0 18647 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 129072 KiB
Current children cumulated memory: 69312 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/274 53109
/proc/meminfo: memFree=104239284/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=134568 memory=72088 CPUtime=221.58 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 14164 0 0 0 21746 412 0 0 20 0 1 0 52434910 137797632 18022 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
################
# More data... #
################
/proc/53088/statm: 81789 62407 2496 1147 0 69216 0
Current children cumulated CPU time: 3032.46 s
Current children cumulated vsize: 331348 KiB
Current children cumulated memory: 252572 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 53455
/proc/meminfo: memFree=91748572/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=327156 memory=249628 CPUtime=3092.28 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 62920 0 0 0 306013 3215 0 0 20 0 1 0 52434910 335007744 62407 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 81789 62407 2496 1147 0 69216 0
Current children cumulated CPU time: 3092.28 s
Current children cumulated vsize: 331348 KiB
Current children cumulated memory: 252572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 53457
/proc/meminfo: memFree=91055908/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=327156 memory=249628 CPUtime=3152.11 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 62920 0 0 0 311946 3265 0 0 20 0 1 0 52434910 335007744 62407 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 81789 62407 2496 1147 0 69216 0
Current children cumulated CPU time: 3152.11 s
Current children cumulated vsize: 331348 KiB
Current children cumulated memory: 252572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/271 53459
/proc/meminfo: memFree=90325520/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=327156 memory=249628 CPUtime=3211.93 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 62920 0 0 0 317881 3312 0 0 20 0 1 0 52434910 335007744 62407 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 81789 62407 2496 1147 0 69216 0
Current children cumulated CPU time: 3211.93 s
Current children cumulated vsize: 331348 KiB
Current children cumulated memory: 252572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/272 53462
/proc/meminfo: memFree=89637684/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=327156 memory=249628 CPUtime=3271.76 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 62920 0 0 0 323816 3360 0 0 20 0 1 0 52434910 335007744 62407 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 81789 62407 2496 1147 0 69216 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 331348 KiB
Current children cumulated memory: 252572 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/273 53465
/proc/meminfo: memFree=88967240/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=327156 memory=250652 CPUtime=3331.58 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 62921 0 0 0 329753 3405 0 0 20 0 1 0 52434910 335007744 62663 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 81789 62663 2496 1147 0 69216 0
Current children cumulated CPU time: 3331.58 s
Current children cumulated vsize: 331348 KiB
Current children cumulated memory: 253596 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/274 53468
/proc/meminfo: memFree=88254660/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=327156 memory=257436 CPUtime=3391.38 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 62922 0 0 0 335689 3449 0 0 20 0 1 0 52434910 335007744 64359 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 81789 64359 2496 1147 0 69216 0
Current children cumulated CPU time: 3391.38 s
Current children cumulated vsize: 331348 KiB
Current children cumulated memory: 260380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/276 53474
/proc/meminfo: memFree=87607840/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=337156 memory=263788 CPUtime=3451.21 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 65686 0 0 0 341633 3488 0 0 20 0 1 0 52434910 345247744 65947 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 84289 65947 2496 1147 0 71716 0
Current children cumulated CPU time: 3451.21 s
Current children cumulated vsize: 341348 KiB
Current children cumulated memory: 266732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/276 53480
/proc/meminfo: memFree=86918056/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=342092 memory=267508 CPUtime=3511.05 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 67132 0 0 0 347578 3527 0 0 20 0 1 0 52434910 350302208 66877 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 85523 66877 2496 1147 0 72950 0
Current children cumulated CPU time: 3511.05 s
Current children cumulated vsize: 346284 KiB
Current children cumulated memory: 270452 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/275 53482
/proc/meminfo: memFree=86256020/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=402160 memory=280976 CPUtime=3570.88 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 71500 0 0 0 353522 3566 0 0 20 0 1 0 52434910 411811840 70244 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 100540 70244 2496 1147 0 87967 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 406352 KiB
Current children cumulated memory: 283920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.05 4.10 4.09 5/275 53482
/proc/meminfo: memFree=86007868/131250000 swapFree=33010684/33010684
[pid=53086] ppid=53083 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/53086/stat : 53086 (run-opt-log.sh) S 53083 53086 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 52434909 4292608 736 18446744073709551615 94520205504512 94520206399045 140726697291296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94520206638096 94520206685840 94520212930560 140726697298209 140726697298404 140726697298404 140726697304006 0
/proc/53086/statm: 1048 736 672 219 0 110 0
[pid=53088] ppid=53086 vsize=402160 memory=280976 CPUtime=3600.09 cores=4,6
/proc/53088/stat : 53088 (roundingsat) R 53086 53086 52176 0 -1 4194304 71500 0 0 0 356425 3584 0 0 20 0 1 0 52434910 411811840 70244 18446744073709551615 4227072 8923433 140726903239024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43200512 140726903245138 140726903245352 140726903245352 140726903250922 0
/proc/53088/statm: 100540 70244 2496 1147 0 87967 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 406352 KiB
Current children cumulated memory: 283920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 53086 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001875 s
[startup+3611.66 s]
# the end of solver process 53088 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.26 s, system=35.8626 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): 3611.66
CPU time (s): 3600.12
CPU user time (s): 3564.26
CPU system time (s): 35.8626
CPU usage (%): 99.6804
Max. virtual memory (cumulated for all children) (KiB): 406940
Max. memory (cumulated for all children) (KiB): 284420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.26
system time used= 35.8626
maximum resident set size= 281476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39205304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1009
involuntary context switches= 5913
# summary of solver processes directly reported to runsolver:
# pid: 53086,53088
# total CPU time (s): 3600.12
# total CPU user time (s): 3564.26
# total CPU system time (s): 35.8626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1845 second user time and 17.2846 second system time
The end
Begin job on nodeC014 at 2025-07-01 12:59:43
IDJOB=4490565
IDBENCH=147593
IDSOLVER=3351
FILE ID=nodeC014/4490565-1751367583
RUNJOBID= nodeC014-1751361783-52187
SLURM_JOB_ID= 9598173
Free space on /tmp= 432892 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490565-1751367583/watcher-4490565-1751367583 -o /tmp/evaluation-result-4490565-1751367583/solver-4490565-1751367583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52187 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490565-1751367583.opb PROOFDIR/proof-4490565-1751367583
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e
RANDOM SEED=429508106
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.117
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.054
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.685
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.494
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.115
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3592.197
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3584.397
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 108487312 kB
MemAvailable: 126707608 kB
Buffers: 3280 kB
Cached: 19002516 kB
SwapCached: 0 kB
Active: 3410868 kB
Inactive: 18745616 kB
Active(anon): 3168900 kB
Inactive(anon): 0 kB
Active(file): 241968 kB
Inactive(file): 18745616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 95840 kB
Writeback: 0 kB
AnonPages: 3148348 kB
Mapped: 117484 kB
Shmem: 18068 kB
KReclaimable: 143900 kB
Slab: 236560 kB
SReclaimable: 143900 kB
SUnreclaim: 92660 kB
KernelStack: 4448 kB
PageTables: 9736 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3900428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2072576 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC014 at 2025-07-01 13:59:55