0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 70 #constraints 2
0.00/0.02 c rational objective 1.19422
0.48/0.58 c #Conflicts: 1000 | #Constraints: 1093
0.48/0.58 c #Conflicts: 2000 | #Constraints: 2145
0.48/0.58 c INPROCESSING
0.48/0.58 c GARBAGE COLLECT
0.48/0.58 c rational objective 2
1.26/1.30 c #Conflicts: 3000 | #Constraints: 2170
1.26/1.30 c #Conflicts: 4000 | #Constraints: 3257
1.26/1.30 c INPROCESSING
1.26/1.30 c GARBAGE COLLECT
1.26/1.30 c rational objective 2
1.75/1.89 c #Conflicts: 5000 | #Constraints: 2587
1.75/1.89 c #Conflicts: 6000 | #Constraints: 3668
1.75/1.89 c INPROCESSING
1.75/1.89 c GARBAGE COLLECT
1.75/1.89 c rational objective 2
2.45/2.56 c #Conflicts: 7000 | #Constraints: 2605
2.45/2.56 c #Conflicts: 8000 | #Constraints: 3690
2.45/2.56 c #Conflicts: 9000 | #Constraints: 4779
2.45/2.56 c INPROCESSING
2.45/2.56 c GARBAGE COLLECT
2.45/2.56 c rational objective 2
3.15/3.24 c #Conflicts: 10000 | #Constraints: 3638
3.15/3.24 c #Conflicts: 11000 | #Constraints: 4696
3.15/3.24 c #Conflicts: 12000 | #Constraints: 5774
3.15/3.24 c INPROCESSING
3.15/3.24 c GARBAGE COLLECT
3.15/3.24 c rational objective 2
3.75/3.89 c #Conflicts: 13000 | #Constraints: 3897
3.75/3.89 c #Conflicts: 14000 | #Constraints: 4897
3.75/3.89 c #Conflicts: 15000 | #Constraints: 5897
3.75/3.89 c INPROCESSING
3.75/3.89 c GARBAGE COLLECT
3.75/3.89 c rational objective 2
4.54/4.63 c #Conflicts: 16000 | #Constraints: 4035
4.54/4.63 c #Conflicts: 17000 | #Constraints: 5137
4.54/4.63 c #Conflicts: 18000 | #Constraints: 6233
4.54/4.63 c INPROCESSING
4.54/4.63 c GARBAGE COLLECT
4.54/4.63 c rational objective 2
5.34/5.40 c #Conflicts: 19000 | #Constraints: 4030
5.34/5.40 c #Conflicts: 20000 | #Constraints: 5030
5.34/5.40 c #Conflicts: 21000 | #Constraints: 6050
5.34/5.40 c INPROCESSING
5.34/5.40 c GARBAGE COLLECT
5.34/5.40 c rational objective 2.00382
6.24/6.34 c #Conflicts: 22000 | #Constraints: 3758
6.24/6.34 c #Conflicts: 23000 | #Constraints: 4758
6.24/6.34 c #Conflicts: 24000 | #Constraints: 5758
6.24/6.34 c #Conflicts: 25000 | #Constraints: 6758
6.24/6.34 c INPROCESSING
6.24/6.34 c GARBAGE COLLECT
6.24/6.34 c rational objective 2.00001
7.33/7.44 c #Conflicts: 26000 | #Constraints: 4351
7.33/7.44 c #Conflicts: 27000 | #Constraints: 5364
7.33/7.44 c #Conflicts: 28000 | #Constraints: 6370
7.33/7.44 c #Conflicts: 29000 | #Constraints: 7370
7.33/7.44 c INPROCESSING
7.33/7.44 c GARBAGE COLLECT
7.33/7.44 c rational objective 2.00001
8.53/8.63 c #Conflicts: 30000 | #Constraints: 4761
8.53/8.63 c #Conflicts: 31000 | #Constraints: 5761
8.53/8.63 c #Conflicts: 32000 | #Constraints: 6761
8.53/8.63 c #Conflicts: 33000 | #Constraints: 7761
8.53/8.63 c INPROCESSING
8.53/8.63 c GARBAGE COLLECT
8.53/8.63 c rational objective 2.00001
9.73/9.85 c #Conflicts: 34000 | #Constraints: 4899
9.73/9.85 c #Conflicts: 35000 | #Constraints: 5944
9.73/9.85 c #Conflicts: 36000 | #Constraints: 7024
9.73/9.85 c #Conflicts: 37000 | #Constraints: 8138
9.73/9.85 c INPROCESSING
9.73/9.85 c GARBAGE COLLECT
9.73/9.85 c rational objective 2.00001
11.12/11.23 c #Conflicts: 38000 | #Constraints: 5055
11.12/11.23 c #Conflicts: 39000 | #Constraints: 6067
11.12/11.23 c #Conflicts: 40000 | #Constraints: 7067
11.12/11.23 c #Conflicts: 41000 | #Constraints: 8067
11.12/11.23 c INPROCESSING
11.12/11.23 c GARBAGE COLLECT
11.12/11.23 c rational objective 2.00001
12.62/12.78 c #Conflicts: 42000 | #Constraints: 4776
12.62/12.78 c #Conflicts: 43000 | #Constraints: 5828
12.62/12.78 c #Conflicts: 44000 | #Constraints: 6828
12.62/12.78 c #Conflicts: 45000 | #Constraints: 7828
12.62/12.78 c #Conflicts: 46000 | #Constraints: 8828
12.62/12.78 c INPROCESSING
12.62/12.78 c GARBAGE COLLECT
12.62/12.78 c rational objective 2.00001
14.52/14.61 c #Conflicts: 47000 | #Constraints: 5370
14.52/14.61 c #Conflicts: 48000 | #Constraints: 6381
14.52/14.61 c #Conflicts: 49000 | #Constraints: 7381
14.52/14.61 c #Conflicts: 50000 | #Constraints: 8381
14.52/14.61 c #Conflicts: 51000 | #Constraints: 9381
14.52/14.61 c INPROCESSING
14.52/14.61 c GARBAGE COLLECT
14.52/14.61 c rational objective 2.00001
16.41/16.54 c #Conflicts: 52000 | #Constraints: 5780
16.41/16.54 c #Conflicts: 53000 | #Constraints: 6852
16.41/16.54 c #Conflicts: 54000 | #Constraints: 7885
16.41/16.54 c #Conflicts: 55000 | #Constraints: 8885
16.41/16.54 c #Conflicts: 56000 | #Constraints: 9885
16.41/16.54 c INPROCESSING
16.41/16.54 c GARBAGE COLLECT
16.41/16.54 c rational objective 2.00001
18.30/18.46 c #Conflicts: 57000 | #Constraints: 6084
18.30/18.46 c #Conflicts: 58000 | #Constraints: 7131
18.30/18.46 c #Conflicts: 59000 | #Constraints: 8131
18.30/18.46 c #Conflicts: 60000 | #Constraints: 9131
18.30/18.46 c #Conflicts: 61000 | #Constraints: 10131
18.30/18.46 c INPROCESSING
18.30/18.46 c GARBAGE COLLECT
18.30/18.46 c rational objective 2.00001
20.40/20.51 c #Conflicts: 62000 | #Constraints: 6017
20.40/20.51 c #Conflicts: 63000 | #Constraints: 7022
20.40/20.51 c #Conflicts: 64000 | #Constraints: 8022
20.40/20.51 c #Conflicts: 65000 | #Constraints: 9022
20.40/20.51 c #Conflicts: 66000 | #Constraints: 10022
20.40/20.51 c INPROCESSING
20.40/20.51 c GARBAGE COLLECT
20.40/20.51 c rational objective 2.00001
22.70/22.80 c #Conflicts: 67000 | #Constraints: 5750
22.70/22.80 c #Conflicts: 68000 | #Constraints: 6779
22.70/22.80 c #Conflicts: 69000 | #Constraints: 7779
22.70/22.80 c #Conflicts: 70000 | #Constraints: 8779
22.70/22.80 c #Conflicts: 71000 | #Constraints: 9779
22.70/22.80 c #Conflicts: 72000 | #Constraints: 10779
22.70/22.80 c INPROCESSING
22.70/22.80 c GARBAGE COLLECT
22.70/22.80 c rational objective 2.00001
25.00/25.17 c #Conflicts: 73000 | #Constraints: 6377
25.00/25.17 c #Conflicts: 74000 | #Constraints: 7452
25.00/25.17 c #Conflicts: 75000 | #Constraints: 8452
25.00/25.17 c #Conflicts: 76000 | #Constraints: 9452
25.00/25.17 c #Conflicts: 77000 | #Constraints: 10464
25.00/25.17 c #Conflicts: 78000 | #Constraints: 11585
25.00/25.17 c INPROCESSING
25.00/25.17 c GARBAGE COLLECT
25.00/25.17 c rational objective 2.00001
27.38/27.52 c #Conflicts: 79000 | #Constraints: 6862
27.38/27.52 c #Conflicts: 80000 | #Constraints: 7862
27.38/27.52 c #Conflicts: 81000 | #Constraints: 8862
27.38/27.52 c #Conflicts: 82000 | #Constraints: 9862
27.38/27.52 c #Conflicts: 83000 | #Constraints: 10862
27.38/27.52 c #Conflicts: 84000 | #Constraints: 11862
27.38/27.52 c INPROCESSING
27.38/27.52 c GARBAGE COLLECT
27.38/27.52 c rational objective 2.00001
29.88/30.09 c #Conflicts: 85000 | #Constraints: 7036
29.88/30.09 c #Conflicts: 86000 | #Constraints: 8076
29.88/30.09 c #Conflicts: 87000 | #Constraints: 9076
29.88/30.09 c #Conflicts: 88000 | #Constraints: 10076
29.88/30.09 c #Conflicts: 89000 | #Constraints: 11076
29.88/30.09 c #Conflicts: 90000 | #Constraints: 12076
29.88/30.09 c INPROCESSING
29.88/30.09 c GARBAGE COLLECT
29.88/30.09 c rational objective 2.00001
32.47/32.64 c #Conflicts: 91000 | #Constraints: 6990
32.47/32.64 c #Conflicts: 92000 | #Constraints: 8079
32.47/32.64 c #Conflicts: 93000 | #Constraints: 9082
32.47/32.64 c #Conflicts: 94000 | #Constraints: 10082
32.47/32.64 c #Conflicts: 95000 | #Constraints: 11082
32.47/32.64 c #Conflicts: 96000 | #Constraints: 12082
32.47/32.64 c INPROCESSING
32.47/32.64 c GARBAGE COLLECT
32.47/32.64 c rational objective 2.00001
35.36/35.52 c #Conflicts: 97000 | #Constraints: 6778
35.36/35.52 c #Conflicts: 98000 | #Constraints: 7781
35.36/35.52 c #Conflicts: 99000 | #Constraints: 8781
35.36/35.52 c #Conflicts: 100000 | #Constraints: 9781
35.36/35.52 c #Conflicts: 101000 | #Constraints: 10781
35.36/35.52 c #Conflicts: 102000 | #Constraints: 11781
35.36/35.52 c #Conflicts: 103000 | #Constraints: 12781
35.36/35.52 c INPROCESSING
35.36/35.52 c GARBAGE COLLECT
35.36/35.52 c rational objective 2.00001
38.25/38.49 c #Conflicts: 104000 | #Constraints: 7348
38.25/38.49 c #Conflicts: 105000 | #Constraints: 8348
38.25/38.49 c #Conflicts: 106000 | #Constraints: 9348
38.25/38.49 c #Conflicts: 107000 | #Constraints: 10348
38.25/38.49 c #Conflicts: 108000 | #Constraints: 11348
38.25/38.49 c #Conflicts: 109000 | #Constraints: 12406
38.25/38.49 c #Conflicts: 110000 | #Constraints: 13585
38.25/38.49 c INPROCESSING
38.25/38.49 c GARBAGE COLLECT
38.25/38.49 c rational objective 2.00001
41.04/41.23 c #Conflicts: 111000 | #Constraints: 7893
41.04/41.23 c #Conflicts: 112000 | #Constraints: 8902
41.04/41.23 c #Conflicts: 113000 | #Constraints: 9902
41.04/41.23 c #Conflicts: 114000 | #Constraints: 10902
41.04/41.23 c #Conflicts: 115000 | #Constraints: 11902
41.04/41.23 c #Conflicts: 116000 | #Constraints: 12902
41.04/41.23 c #Conflicts: 117000 | #Constraints: 13902
41.04/41.23 c INPROCESSING
41.04/41.23 c GARBAGE COLLECT
41.04/41.23 c rational objective 2.00001
44.13/44.34 c #Conflicts: 118000 | #Constraints: 8047
44.13/44.34 c #Conflicts: 119000 | #Constraints: 9144
44.13/44.34 c #Conflicts: 120000 | #Constraints: 10236
44.13/44.34 c #Conflicts: 121000 | #Constraints: 11340
44.13/44.34 c #Conflicts: 122000 | #Constraints: 12446
44.13/44.34 c #Conflicts: 123000 | #Constraints: 13449
44.13/44.34 c #Conflicts: 124000 | #Constraints: 14449
44.13/44.34 c INPROCESSING
44.13/44.34 c GARBAGE COLLECT
44.13/44.34 c rational objective 2.00001
47.22/47.44 c #Conflicts: 125000 | #Constraints: 8185
47.22/47.44 c #Conflicts: 126000 | #Constraints: 9185
47.22/47.44 c #Conflicts: 127000 | #Constraints: 10185
47.22/47.44 c #Conflicts: 128000 | #Constraints: 11185
47.22/47.44 c #Conflicts: 129000 | #Constraints: 12185
47.22/47.44 c #Conflicts: 130000 | #Constraints: 13185
47.22/47.44 c #Conflicts: 131000 | #Constraints: 14196
47.22/47.44 c INPROCESSING
47.22/47.44 c GARBAGE COLLECT
47.22/47.44 c rational objective 2.00001
50.62/50.85 c #Conflicts: 132000 | #Constraints: 7859
50.62/50.85 c #Conflicts: 133000 | #Constraints: 8860
50.62/50.85 c #Conflicts: 134000 | #Constraints: 9860
50.62/50.85 c #Conflicts: 135000 | #Constraints: 10860
50.62/50.85 c #Conflicts: 136000 | #Constraints: 11860
50.62/50.85 c #Conflicts: 137000 | #Constraints: 12860
50.62/50.85 c #Conflicts: 138000 | #Constraints: 13860
50.62/50.85 c #Conflicts: 139000 | #Constraints: 14860
50.62/50.85 c INPROCESSING
50.62/50.85 c GARBAGE COLLECT
50.62/50.85 c rational objective 2.00001
54.31/54.55 c #Conflicts: 140000 | #Constraints: 8392
54.31/54.55 c #Conflicts: 141000 | #Constraints: 9396
54.31/54.55 c #Conflicts: 142000 | #Constraints: 10396
54.31/54.55 c #Conflicts: 143000 | #Constraints: 11396
54.31/54.55 c #Conflicts: 144000 | #Constraints: 12396
54.31/54.55 c #Conflicts: 145000 | #Constraints: 13396
54.31/54.55 c #Conflicts: 146000 | #Constraints: 14396
54.31/54.55 c #Conflicts: 147000 | #Constraints: 15401
54.31/54.55 c INPROCESSING
54.31/54.55 c GARBAGE COLLECT
54.31/54.55 c rational objective 2.00001
57.99/58.27 c #Conflicts: 148000 | #Constraints: 8760
57.99/58.27 c #Conflicts: 149000 | #Constraints: 9760
57.99/58.27 c #Conflicts: 150000 | #Constraints: 10760
57.99/58.27 c #Conflicts: 151000 | #Constraints: 11760
57.99/58.27 c #Conflicts: 152000 | #Constraints: 12760
57.99/58.27 c #Conflicts: 153000 | #Constraints: 13760
57.99/58.27 c #Conflicts: 154000 | #Constraints: 14760
57.99/58.27 c #Conflicts: 155000 | #Constraints: 15760
57.99/58.27 c INPROCESSING
57.99/58.27 c GARBAGE COLLECT
57.99/58.27 c rational objective 2.00001
62.99/63.20 c #Conflicts: 156000 | #Constraints: 8940
62.99/63.20 c #Conflicts: 157000 | #Constraints: 9965
62.99/63.20 c #Conflicts: 158000 | #Constraints: 10965
62.99/63.20 c #Conflicts: 159000 | #Constraints: 11965
62.99/63.20 c #Conflicts: 160000 | #Constraints: 12965
62.99/63.20 c #Conflicts: 161000 | #Constraints: 13965
62.99/63.20 c #Conflicts: 162000 | #Constraints: 14965
62.99/63.20 c #Conflicts: 163000 | #Constraints: 15965
62.99/63.20 c INPROCESSING
62.99/63.20 c GARBAGE COLLECT
62.99/63.20 c rational objective 2.00001
67.17/67.44 c #Conflicts: 164000 | #Constraints: 8902
67.17/67.44 c #Conflicts: 165000 | #Constraints: 9902
67.17/67.44 c #Conflicts: 166000 | #Constraints: 10902
67.17/67.44 c #Conflicts: 167000 | #Constraints: 11902
67.17/67.44 c #Conflicts: 168000 | #Constraints: 12902
67.17/67.44 c #Conflicts: 169000 | #Constraints: 13902
67.17/67.44 c #Conflicts: 170000 | #Constraints: 14902
67.17/67.44 c #Conflicts: 171000 | #Constraints: 15902
67.17/67.44 c INPROCESSING
67.17/67.44 c GARBAGE COLLECT
67.17/67.44 c rational objective 2.00001
71.78/72.06 c #Conflicts: 172000 | #Constraints: 8708
71.78/72.06 c #Conflicts: 173000 | #Constraints: 9860
71.78/72.06 c #Conflicts: 174000 | #Constraints: 10892
71.78/72.06 c #Conflicts: 175000 | #Constraints: 11892
71.78/72.06 c #Conflicts: 176000 | #Constraints: 12892
71.78/72.06 c #Conflicts: 177000 | #Constraints: 13892
71.78/72.06 c #Conflicts: 178000 | #Constraints: 14892
71.78/72.06 c #Conflicts: 179000 | #Constraints: 15892
71.78/72.06 c #Conflicts: 180000 | #Constraints: 16892
71.78/72.06 c INPROCESSING
71.78/72.06 c GARBAGE COLLECT
71.78/72.06 c rational objective 2.00001
76.55/76.86 c #Conflicts: 181000 | #Constraints: 9350
76.55/76.86 c #Conflicts: 182000 | #Constraints: 10350
76.55/76.86 c #Conflicts: 183000 | #Constraints: 11350
76.55/76.86 c #Conflicts: 184000 | #Constraints: 12350
76.55/76.86 c #Conflicts: 185000 | #Constraints: 13350
76.55/76.86 c #Conflicts: 186000 | #Constraints: 14350
76.55/76.86 c #Conflicts: 187000 | #Constraints: 15350
76.55/76.86 c #Conflicts: 188000 | #Constraints: 16350
76.55/76.86 c #Conflicts: 189000 | #Constraints: 17350
76.55/76.86 c INPROCESSING
76.55/76.86 c GARBAGE COLLECT
76.55/76.86 c rational objective 2.00001
82.54/82.80 c #Conflicts: 190000 | #Constraints: 9749
82.54/82.80 c #Conflicts: 191000 | #Constraints: 10854
82.54/82.80 c #Conflicts: 192000 | #Constraints: 11917
82.54/82.80 c #Conflicts: 193000 | #Constraints: 12917
82.54/82.80 c #Conflicts: 194000 | #Constraints: 13917
82.54/82.80 c #Conflicts: 195000 | #Constraints: 14917
82.54/82.80 c #Conflicts: 196000 | #Constraints: 15917
82.54/82.80 c #Conflicts: 197000 | #Constraints: 16917
82.54/82.80 c #Conflicts: 198000 | #Constraints: 17917
82.54/82.80 c INPROCESSING
82.54/82.80 c GARBAGE COLLECT
82.54/82.80 c rational objective 2.00001
87.92/88.27 c #Conflicts: 199000 | #Constraints: 10013
87.92/88.27 c #Conflicts: 200000 | #Constraints: 11013
87.92/88.27 c #Conflicts: 201000 | #Constraints: 12013
87.92/88.27 c #Conflicts: 202000 | #Constraints: 13013
87.92/88.27 c #Conflicts: 203000 | #Constraints: 14013
87.92/88.27 c #Conflicts: 204000 | #Constraints: 15013
87.92/88.27 c #Conflicts: 205000 | #Constraints: 16013
87.92/88.27 c #Conflicts: 206000 | #Constraints: 17013
87.92/88.27 c #Conflicts: 207000 | #Constraints: 18013
87.92/88.27 c INPROCESSING
87.92/88.27 c GARBAGE COLLECT
87.92/88.27 c rational objective 2.00001
92.90/93.21 c #Conflicts: 208000 | #Constraints: 9935
92.90/93.21 c #Conflicts: 209000 | #Constraints: 10935
92.90/93.21 c #Conflicts: 210000 | #Constraints: 11935
92.90/93.21 c #Conflicts: 211000 | #Constraints: 12935
92.90/93.21 c #Conflicts: 212000 | #Constraints: 13935
92.90/93.21 c #Conflicts: 213000 | #Constraints: 14935
92.90/93.21 c #Conflicts: 214000 | #Constraints: 15935
92.90/93.21 c #Conflicts: 215000 | #Constraints: 16935
92.90/93.21 c #Conflicts: 216000 | #Constraints: 17935
92.90/93.21 c INPROCESSING
92.90/93.21 c GARBAGE COLLECT
92.90/93.21 c rational objective 2.00001
99.38/99.72 c #Conflicts: 217000 | #Constraints: 9718
99.38/99.72 c #Conflicts: 218000 | #Constraints: 10840
99.38/99.72 c #Conflicts: 219000 | #Constraints: 11951
99.38/99.72 c #Conflicts: 220000 | #Constraints: 12956
99.38/99.72 c #Conflicts: 221000 | #Constraints: 13956
99.38/99.72 c #Conflicts: 222000 | #Constraints: 14956
99.38/99.72 c #Conflicts: 223000 | #Constraints: 15956
99.38/99.72 c #Conflicts: 224000 | #Constraints: 16956
99.38/99.72 c #Conflicts: 225000 | #Constraints: 17956
99.38/99.72 c #Conflicts: 226000 | #Constraints: 18956
99.38/99.72 c INPROCESSING
99.38/99.72 c GARBAGE COLLECT
99.38/99.72 c rational objective 2.00001
106.26/106.60 c #Conflicts: 227000 | #Constraints: 10460
106.26/106.60 c #Conflicts: 228000 | #Constraints: 11572
106.26/106.60 c #Conflicts: 229000 | #Constraints: 12654
106.26/106.60 c #Conflicts: 230000 | #Constraints: 13760
106.26/106.60 c #Conflicts: 231000 | #Constraints: 14857
106.26/106.60 c #Conflicts: 232000 | #Constraints: 15866
106.26/106.60 c #Conflicts: 233000 | #Constraints: 16866
106.26/106.60 c #Conflicts: 234000 | #Constraints: 17866
106.26/106.60 c #Conflicts: 235000 | #Constraints: 18866
106.26/106.60 c #Conflicts: 236000 | #Constraints: 19866
106.26/106.60 c INPROCESSING
106.26/106.60 c GARBAGE COLLECT
106.26/106.60 c rational objective 2.00001
112.14/112.53 c #Conflicts: 237000 | #Constraints: 10963
112.14/112.53 c #Conflicts: 238000 | #Constraints: 11963
112.14/112.53 c #Conflicts: 239000 | #Constraints: 12963
112.14/112.53 c #Conflicts: 240000 | #Constraints: 13963
112.14/112.53 c #Conflicts: 241000 | #Constraints: 14963
112.14/112.53 c #Conflicts: 242000 | #Constraints: 15963
112.14/112.53 c #Conflicts: 243000 | #Constraints: 16963
112.14/112.53 c #Conflicts: 244000 | #Constraints: 17963
112.14/112.53 c #Conflicts: 245000 | #Constraints: 18963
112.14/112.53 c #Conflicts: 246000 | #Constraints: 19963
112.14/112.53 c INPROCESSING
112.14/112.53 c GARBAGE COLLECT
112.14/112.53 c rational objective 2.00001
118.82/119.28 c #Conflicts: 247000 | #Constraints: 11035
118.82/119.28 c #Conflicts: 248000 | #Constraints: 12105
118.82/119.28 c #Conflicts: 249000 | #Constraints: 13166
118.82/119.28 c #Conflicts: 250000 | #Constraints: 14229
118.82/119.28 c #Conflicts: 251000 | #Constraints: 15232
118.82/119.28 c #Conflicts: 252000 | #Constraints: 16232
118.82/119.28 c #Conflicts: 253000 | #Constraints: 17232
118.82/119.28 c #Conflicts: 254000 | #Constraints: 18232
118.82/119.28 c #Conflicts: 255000 | #Constraints: 19232
118.82/119.28 c #Conflicts: 256000 | #Constraints: 20232
118.82/119.28 c INPROCESSING
118.82/119.28 c GARBAGE COLLECT
118.82/119.28 c rational objective 2.00001
125.50/125.93 c #Conflicts: 257000 | #Constraints: 11023
125.50/125.93 c #Conflicts: 258000 | #Constraints: 12023
125.50/125.93 c #Conflicts: 259000 | #Constraints: 13023
125.50/125.93 c #Conflicts: 260000 | #Constraints: 14023
125.50/125.93 c #Conflicts: 261000 | #Constraints: 15023
125.50/125.93 c #Conflicts: 262000 | #Constraints: 16023
125.50/125.93 c #Conflicts: 263000 | #Constraints: 17023
125.50/125.93 c #Conflicts: 264000 | #Constraints: 18023
125.50/125.93 c #Conflicts: 265000 | #Constraints: 19023
125.50/125.93 c #Conflicts: 266000 | #Constraints: 20023
125.50/125.93 c INPROCESSING
125.50/125.93 c GARBAGE COLLECT
125.50/125.93 c rational objective 2.00001
132.78/133.21 c #Conflicts: 267000 | #Constraints: 10731
132.78/133.21 c #Conflicts: 268000 | #Constraints: 11731
132.78/133.21 c #Conflicts: 269000 | #Constraints: 12731
132.78/133.21 c #Conflicts: 270000 | #Constraints: 13731
132.78/133.21 c #Conflicts: 271000 | #Constraints: 14731
132.78/133.21 c #Conflicts: 272000 | #Constraints: 15731
132.78/133.21 c #Conflicts: 273000 | #Constraints: 16731
132.78/133.21 c #Conflicts: 274000 | #Constraints: 17731
132.78/133.21 c #Conflicts: 275000 | #Constraints: 18731
132.78/133.21 c #Conflicts: 276000 | #Constraints: 19731
132.78/133.21 c #Conflicts: 277000 | #Constraints: 20731
132.78/133.21 c INPROCESSING
132.78/133.21 c GARBAGE COLLECT
132.78/133.21 c rational objective 2.00001
139.85/140.34 c #Conflicts: 278000 | #Constraints: 11355
139.85/140.34 c #Conflicts: 279000 | #Constraints: 12355
139.85/140.34 c #Conflicts: 280000 | #Constraints: 13355
139.85/140.34 c #Conflicts: 281000 | #Constraints: 14355
139.85/140.34 c #Conflicts: 282000 | #Constraints: 15355
139.85/140.34 c #Conflicts: 283000 | #Constraints: 16355
139.85/140.34 c #Conflicts: 284000 | #Constraints: 17355
139.85/140.34 c #Conflicts: 285000 | #Constraints: 18355
139.85/140.34 c #Conflicts: 286000 | #Constraints: 19355
139.85/140.34 c #Conflicts: 287000 | #Constraints: 20355
139.85/140.34 c #Conflicts: 288000 | #Constraints: 21355
139.85/140.34 c INPROCESSING
139.85/140.34 c GARBAGE COLLECT
139.85/140.34 c rational objective 2.00001
147.33/147.82 c #Conflicts: 289000 | #Constraints: 11725
147.33/147.82 c #Conflicts: 290000 | #Constraints: 12725
147.33/147.82 c #Conflicts: 291000 | #Constraints: 13725
147.33/147.82 c #Conflicts: 292000 | #Constraints: 14725
147.33/147.82 c #Conflicts: 293000 | #Constraints: 15725
147.33/147.82 c #Conflicts: 294000 | #Constraints: 16725
147.33/147.82 c #Conflicts: 295000 | #Constraints: 17725
147.33/147.82 c #Conflicts: 296000 | #Constraints: 18725
147.33/147.82 c #Conflicts: 297000 | #Constraints: 19725
147.33/147.82 c #Conflicts: 298000 | #Constraints: 20725
147.33/147.82 c #Conflicts: 299000 | #Constraints: 21725
147.33/147.82 c INPROCESSING
147.33/147.82 c GARBAGE COLLECT
147.33/147.82 c rational objective 2.00001
155.10/155.65 c #Conflicts: 300000 | #Constraints: 11908
155.10/155.65 c #Conflicts: 301000 | #Constraints: 12908
155.10/155.65 c #Conflicts: 302000 | #Constraints: 13908
155.10/155.65 c #Conflicts: 303000 | #Constraints: 14908
155.10/155.65 c #Conflicts: 304000 | #Constraints: 15908
155.10/155.65 c #Conflicts: 305000 | #Constraints: 16908
155.10/155.65 c #Conflicts: 306000 | #Constraints: 17908
155.10/155.65 c #Conflicts: 307000 | #Constraints: 18908
155.10/155.65 c #Conflicts: 308000 | #Constraints: 19908
155.10/155.65 c #Conflicts: 309000 | #Constraints: 20908
155.10/155.65 c #Conflicts: 310000 | #Constraints: 21908
155.10/155.65 c INPROCESSING
155.10/155.65 c GARBAGE COLLECT
155.10/155.65 c rational objective 2.00001
163.67/164.23 c #Conflicts: 311000 | #Constraints: 11904
163.67/164.23 c #Conflicts: 312000 | #Constraints: 12904
163.67/164.23 c #Conflicts: 313000 | #Constraints: 13904
163.67/164.23 c #Conflicts: 314000 | #Constraints: 14904
163.67/164.23 c #Conflicts: 315000 | #Constraints: 15904
163.67/164.23 c #Conflicts: 316000 | #Constraints: 16904
163.67/164.23 c #Conflicts: 317000 | #Constraints: 17904
163.67/164.23 c #Conflicts: 318000 | #Constraints: 18904
163.67/164.23 c #Conflicts: 319000 | #Constraints: 19904
163.67/164.23 c #Conflicts: 320000 | #Constraints: 20904
163.67/164.23 c #Conflicts: 321000 | #Constraints: 21904
163.67/164.23 c INPROCESSING
163.67/164.23 c GARBAGE COLLECT
163.67/164.23 c rational objective 2.00001
172.46/173.09 c #Conflicts: 322000 | #Constraints: 11663
172.46/173.09 c #Conflicts: 323000 | #Constraints: 12663
172.46/173.09 c #Conflicts: 324000 | #Constraints: 13663
172.46/173.09 c #Conflicts: 325000 | #Constraints: 14663
172.46/173.09 c #Conflicts: 326000 | #Constraints: 15663
172.46/173.09 c #Conflicts: 327000 | #Constraints: 16663
172.46/173.09 c #Conflicts: 328000 | #Constraints: 17663
172.46/173.09 c #Conflicts: 329000 | #Constraints: 18663
172.46/173.09 c #Conflicts: 330000 | #Constraints: 19663
172.46/173.09 c #Conflicts: 331000 | #Constraints: 20663
172.46/173.09 c #Conflicts: 332000 | #Constraints: 21663
172.46/173.09 c #Conflicts: 333000 | #Constraints: 22663
172.46/173.09 c INPROCESSING
172.46/173.09 c GARBAGE COLLECT
172.46/173.09 c rational objective 2.00001
181.32/182.00 c #Conflicts: 334000 | #Constraints: 12349
181.32/182.00 c #Conflicts: 335000 | #Constraints: 13458
181.32/182.00 c #Conflicts: 336000 | #Constraints: 14458
181.32/182.00 c #Conflicts: 337000 | #Constraints: 15458
181.32/182.00 c #Conflicts: 338000 | #Constraints: 16458
181.32/182.00 c #Conflicts: 339000 | #Constraints: 17458
181.32/182.00 c #Conflicts: 340000 | #Constraints: 18458
181.32/182.00 c #Conflicts: 341000 | #Constraints: 19458
181.32/182.00 c #Conflicts: 342000 | #Constraints: 20458
181.32/182.00 c #Conflicts: 343000 | #Constraints: 21458
181.32/182.00 c #Conflicts: 344000 | #Constraints: 22458
181.32/182.00 c #Conflicts: 345000 | #Constraints: 23458
181.32/182.00 c INPROCESSING
181.32/182.00 c GARBAGE COLLECT
181.32/182.00 c rational objective 2.00001
191.49/192.17 c #Conflicts: 346000 | #Constraints: 12754
191.49/192.17 c #Conflicts: 347000 | #Constraints: 13754
191.49/192.17 c #Conflicts: 348000 | #Constraints: 14754
191.49/192.17 c #Conflicts: 349000 | #Constraints: 15754
191.49/192.17 c #Conflicts: 350000 | #Constraints: 16754
191.49/192.17 c #Conflicts: 351000 | #Constraints: 17754
191.49/192.17 c #Conflicts: 352000 | #Constraints: 18754
191.49/192.17 c #Conflicts: 353000 | #Constraints: 19754
191.49/192.17 c #Conflicts: 354000 | #Constraints: 20754
191.49/192.17 c #Conflicts: 355000 | #Constraints: 21754
191.49/192.17 c #Conflicts: 356000 | #Constraints: 22754
191.49/192.17 c #Conflicts: 357000 | #Constraints: 23754
191.49/192.17 c INPROCESSING
191.49/192.17 c GARBAGE COLLECT
191.49/192.17 c rational objective 2.00001
200.95/201.60 c #Conflicts: 358000 | #Constraints: 12887
200.95/201.60 c #Conflicts: 359000 | #Constraints: 13887
200.95/201.60 c #Conflicts: 360000 | #Constraints: 14887
200.95/201.60 c #Conflicts: 361000 | #Constraints: 15887
200.95/201.60 c #Conflicts: 362000 | #Constraints: 16887
200.95/201.60 c #Conflicts: 363000 | #Constraints: 17887
200.95/201.60 c #Conflicts: 364000 | #Constraints: 18887
200.95/201.60 c #Conflicts: 365000 | #Constraints: 19887
200.95/201.60 c #Conflicts: 366000 | #Constraints: 20887
200.95/201.60 c #Conflicts: 367000 | #Constraints: 21887
200.95/201.60 c #Conflicts: 368000 | #Constraints: 22887
200.95/201.60 c #Conflicts: 369000 | #Constraints: 23887
200.95/201.60 c INPROCESSING
200.95/201.60 c GARBAGE COLLECT
200.95/201.60 c rational objective 2.00001
211.71/212.49 c #Conflicts: 370000 | #Constraints: 12907
211.71/212.49 c #Conflicts: 371000 | #Constraints: 13934
211.71/212.49 c #Conflicts: 372000 | #Constraints: 14934
211.71/212.49 c #Conflicts: 373000 | #Constraints: 15934
211.71/212.49 c #Conflicts: 374000 | #Constraints: 16934
211.71/212.49 c #Conflicts: 375000 | #Constraints: 17934
211.71/212.49 c #Conflicts: 376000 | #Constraints: 18934
211.71/212.49 c #Conflicts: 377000 | #Constraints: 19934
211.71/212.49 c #Conflicts: 378000 | #Constraints: 20934
211.71/212.49 c #Conflicts: 379000 | #Constraints: 21934
211.71/212.49 c #Conflicts: 380000 | #Constraints: 22934
211.71/212.49 c #Conflicts: 381000 | #Constraints: 23934
211.71/212.49 c INPROCESSING
211.71/212.49 c GARBAGE COLLECT
211.71/212.49 c rational objective 2.00001
220.88/221.66 c #Conflicts: 382000 | #Constraints: 12694
220.88/221.66 c #Conflicts: 383000 | #Constraints: 13699
220.88/221.66 c #Conflicts: 384000 | #Constraints: 14699
220.88/221.66 c #Conflicts: 385000 | #Constraints: 15699
220.88/221.66 c #Conflicts: 386000 | #Constraints: 16699
220.88/221.66 c #Conflicts: 387000 | #Constraints: 17699
220.88/221.66 c #Conflicts: 388000 | #Constraints: 18699
220.88/221.66 c #Conflicts: 389000 | #Constraints: 19699
220.88/221.66 c #Conflicts: 390000 | #Constraints: 20699
220.88/221.66 c #Conflicts: 391000 | #Constraints: 21699
220.88/221.66 c #Conflicts: 392000 | #Constraints: 22699
220.88/221.66 c #Conflicts: 393000 | #Constraints: 23699
220.88/221.66 c #Conflicts: 394000 | #Constraints: 24699
220.88/221.66 c INPROCESSING
220.88/221.66 c GARBAGE COLLECT
220.88/221.66 c rational objective 2.00001
233.05/233.82 c #Conflicts: 395000 | #Constraints: 13336
233.05/233.82 c #Conflicts: 396000 | #Constraints: 14444
233.05/233.82 c #Conflicts: 397000 | #Constraints: 15494
233.05/233.82 c #Conflicts: 398000 | #Constraints: 16494
233.05/233.82 c #Conflicts: 399000 | #Constraints: 17494
233.05/233.82 c #Conflicts: 400000 | #Constraints: 18494
233.05/233.82 c #Conflicts: 401000 | #Constraints: 19494
233.05/233.82 c #Conflicts: 402000 | #Constraints: 20502
233.05/233.82 c #Conflicts: 403000 | #Constraints: 21502
233.05/233.82 c #Conflicts: 404000 | #Constraints: 22502
233.05/233.82 c #Conflicts: 405000 | #Constraints: 23502
233.05/233.82 c #Conflicts: 406000 | #Constraints: 24502
233.05/233.82 c #Conflicts: 407000 | #Constraints: 25502
233.05/233.82 c INPROCESSING
233.05/233.82 c GARBAGE COLLECT
233.05/233.82 c rational objective 2.00001
244.60/245.45 c #Conflicts: 408000 | #Constraints: 13759
244.60/245.45 c #Conflicts: 409000 | #Constraints: 14759
244.60/245.45 c #Conflicts: 410000 | #Constraints: 15759
244.60/245.45 c #Conflicts: 411000 | #Constraints: 16845
244.60/245.45 c #Conflicts: 412000 | #Constraints: 17989
244.60/245.45 c #Conflicts: 413000 | #Constraints: 19096
244.60/245.45 c #Conflicts: 414000 | #Constraints: 20195
244.60/245.45 c #Conflicts: 415000 | #Constraints: 21195
244.60/245.45 c #Conflicts: 416000 | #Constraints: 22195
244.60/245.45 c #Conflicts: 417000 | #Constraints: 23195
244.60/245.45 c #Conflicts: 418000 | #Constraints: 24195
244.60/245.45 c #Conflicts: 419000 | #Constraints: 25195
244.60/245.45 c #Conflicts: 420000 | #Constraints: 26195
244.60/245.45 c INPROCESSING
244.60/245.45 c GARBAGE COLLECT
244.60/245.45 c rational objective 2.00001
255.66/256.53 c #Conflicts: 421000 | #Constraints: 14162
255.66/256.53 c #Conflicts: 422000 | #Constraints: 15162
255.66/256.53 c #Conflicts: 423000 | #Constraints: 16162
255.66/256.53 c #Conflicts: 424000 | #Constraints: 17162
255.66/256.53 c #Conflicts: 425000 | #Constraints: 18162
255.66/256.53 c #Conflicts: 426000 | #Constraints: 19162
255.66/256.53 c #Conflicts: 427000 | #Constraints: 20162
255.66/256.53 c #Conflicts: 428000 | #Constraints: 21162
255.66/256.53 c #Conflicts: 429000 | #Constraints: 22162
255.66/256.53 c #Conflicts: 430000 | #Constraints: 23162
255.66/256.53 c #Conflicts: 431000 | #Constraints: 24162
255.66/256.53 c #Conflicts: 432000 | #Constraints: 25162
255.66/256.53 c #Conflicts: 433000 | #Constraints: 26162
255.66/256.53 c INPROCESSING
255.66/256.53 c GARBAGE COLLECT
255.66/256.53 c rational objective 2.00001
266.53/267.49 c #Conflicts: 434000 | #Constraints: 14035
266.53/267.49 c #Conflicts: 435000 | #Constraints: 15066
266.53/267.49 c #Conflicts: 436000 | #Constraints: 16066
266.53/267.49 c #Conflicts: 437000 | #Constraints: 17066
266.53/267.49 c #Conflicts: 438000 | #Constraints: 18066
266.53/267.49 c #Conflicts: 439000 | #Constraints: 19066
266.53/267.49 c #Conflicts: 440000 | #Constraints: 20066
266.53/267.49 c #Conflicts: 441000 | #Constraints: 21066
266.53/267.49 c #Conflicts: 442000 | #Constraints: 22066
266.53/267.49 c #Conflicts: 443000 | #Constraints: 23066
266.53/267.49 c #Conflicts: 444000 | #Constraints: 24066
266.53/267.49 c #Conflicts: 445000 | #Constraints: 25066
266.53/267.49 c #Conflicts: 446000 | #Constraints: 26066
266.53/267.49 c INPROCESSING
266.53/267.49 c GARBAGE COLLECT
266.53/267.49 c rational objective 2.00001
278.10/279.04 c #Conflicts: 447000 | #Constraints: 13769
278.10/279.04 c #Conflicts: 448000 | #Constraints: 14815
278.10/279.04 c #Conflicts: 449000 | #Constraints: 15815
278.10/279.04 c #Conflicts: 450000 | #Constraints: 16815
278.10/279.04 c #Conflicts: 451000 | #Constraints: 17815
278.10/279.04 c #Conflicts: 452000 | #Constraints: 18815
278.10/279.04 c #Conflicts: 453000 | #Constraints: 19815
278.10/279.04 c #Conflicts: 454000 | #Constraints: 20815
278.10/279.04 c #Conflicts: 455000 | #Constraints: 21815
278.10/279.04 c #Conflicts: 456000 | #Constraints: 22815
278.10/279.04 c #Conflicts: 457000 | #Constraints: 23815
278.10/279.04 c #Conflicts: 458000 | #Constraints: 24815
278.10/279.04 c #Conflicts: 459000 | #Constraints: 25815
278.10/279.04 c #Conflicts: 460000 | #Constraints: 26815
278.10/279.04 c INPROCESSING
278.10/279.04 c GARBAGE COLLECT
278.10/279.04 c rational objective 2.00001
290.44/291.48 c #Conflicts: 461000 | #Constraints: 14322
290.44/291.48 c #Conflicts: 462000 | #Constraints: 15322
290.44/291.48 c #Conflicts: 463000 | #Constraints: 16322
290.44/291.48 c #Conflicts: 464000 | #Constraints: 17322
290.44/291.48 c #Conflicts: 465000 | #Constraints: 18322
290.44/291.48 c #Conflicts: 466000 | #Constraints: 19322
290.44/291.48 c #Conflicts: 467000 | #Constraints: 20322
290.44/291.48 c #Conflicts: 468000 | #Constraints: 21322
290.44/291.48 c #Conflicts: 469000 | #Constraints: 22322
290.44/291.48 c #Conflicts: 470000 | #Constraints: 23322
290.44/291.48 c #Conflicts: 471000 | #Constraints: 24322
290.44/291.48 c #Conflicts: 472000 | #Constraints: 25322
290.44/291.48 c #Conflicts: 473000 | #Constraints: 26322
290.44/291.48 c #Conflicts: 474000 | #Constraints: 27322
290.44/291.48 c INPROCESSING
290.44/291.48 c GARBAGE COLLECT
290.44/291.48 c rational objective 2.00001
306.11/307.13 c #Conflicts: 475000 | #Constraints: 14682
306.11/307.13 c #Conflicts: 476000 | #Constraints: 15682
306.11/307.13 c #Conflicts: 477000 | #Constraints: 16682
306.11/307.13 c #Conflicts: 478000 | #Constraints: 17682
306.11/307.13 c #Conflicts: 479000 | #Constraints: 18682
306.11/307.13 c #Conflicts: 480000 | #Constraints: 19682
306.11/307.13 c #Conflicts: 481000 | #Constraints: 20682
306.11/307.13 c #Conflicts: 482000 | #Constraints: 21682
306.11/307.13 c #Conflicts: 483000 | #Constraints: 22682
306.11/307.13 c #Conflicts: 484000 | #Constraints: 23682
306.11/307.13 c #Conflicts: 485000 | #Constraints: 24682
306.11/307.13 c #Conflicts: 486000 | #Constraints: 25682
306.11/307.13 c #Conflicts: 487000 | #Constraints: 26682
306.11/307.13 c #Conflicts: 488000 | #Constraints: 27682
306.11/307.13 c INPROCESSING
306.11/307.13 c GARBAGE COLLECT
306.11/307.13 c rational objective 2.00001
317.96/319.07 c #Conflicts: 489000 | #Constraints: 14864
317.96/319.07 c #Conflicts: 490000 | #Constraints: 15864
317.96/319.07 c #Conflicts: 491000 | #Constraints: 16864
317.96/319.07 c #Conflicts: 492000 | #Constraints: 17864
317.96/319.07 c #Conflicts: 493000 | #Constraints: 18864
317.96/319.07 c #Conflicts: 494000 | #Constraints: 19864
317.96/319.07 c #Conflicts: 495000 | #Constraints: 20864
317.96/319.07 c #Conflicts: 496000 | #Constraints: 21864
317.96/319.07 c #Conflicts: 497000 | #Constraints: 22864
317.96/319.07 c #Conflicts: 498000 | #Constraints: 23864
317.96/319.07 c #Conflicts: 499000 | #Constraints: 24864
317.96/319.07 c #Conflicts: 500000 | #Constraints: 25864
317.96/319.07 c #Conflicts: 501000 | #Constraints: 26864
317.96/319.07 c #Conflicts: 502000 | #Constraints: 27864
317.96/319.07 c INPROCESSING
317.96/319.07 c GARBAGE COLLECT
317.96/319.07 c rational objective 2.00001
331.51/332.64 c #Conflicts: 503000 | #Constraints: 14849
331.51/332.64 c #Conflicts: 504000 | #Constraints: 15853
331.51/332.64 c #Conflicts: 505000 | #Constraints: 16853
331.51/332.64 c #Conflicts: 506000 | #Constraints: 17853
331.51/332.64 c #Conflicts: 507000 | #Constraints: 18853
331.51/332.64 c #Conflicts: 508000 | #Constraints: 19853
331.51/332.64 c #Conflicts: 509000 | #Constraints: 20853
331.51/332.64 c #Conflicts: 510000 | #Constraints: 21853
331.51/332.64 c #Conflicts: 511000 | #Constraints: 22853
331.51/332.64 c #Conflicts: 512000 | #Constraints: 23853
331.51/332.64 c #Conflicts: 513000 | #Constraints: 24853
331.51/332.64 c #Conflicts: 514000 | #Constraints: 25853
331.51/332.64 c #Conflicts: 515000 | #Constraints: 26853
331.51/332.64 c #Conflicts: 516000 | #Constraints: 27853
331.51/332.64 c INPROCESSING
331.51/332.64 c GARBAGE COLLECT
331.51/332.64 c rational objective 2.00001
346.36/347.54 c #Conflicts: 517000 | #Constraints: 14645
346.36/347.54 c #Conflicts: 518000 | #Constraints: 15645
346.36/347.54 c #Conflicts: 519000 | #Constraints: 16645
346.36/347.54 c #Conflicts: 520000 | #Constraints: 17645
346.36/347.54 c #Conflicts: 521000 | #Constraints: 18645
346.36/347.54 c #Conflicts: 522000 | #Constraints: 19645
346.36/347.54 c #Conflicts: 523000 | #Constraints: 20645
346.36/347.54 c #Conflicts: 524000 | #Constraints: 21645
346.36/347.54 c #Conflicts: 525000 | #Constraints: 22645
346.36/347.54 c #Conflicts: 526000 | #Constraints: 23645
346.36/347.54 c #Conflicts: 527000 | #Constraints: 24645
346.36/347.54 c #Conflicts: 528000 | #Constraints: 25645
346.36/347.54 c #Conflicts: 529000 | #Constraints: 26645
346.36/347.54 c #Conflicts: 530000 | #Constraints: 27645
346.36/347.54 c #Conflicts: 531000 | #Constraints: 28645
346.36/347.54 c INPROCESSING
346.36/347.54 c GARBAGE COLLECT
346.36/347.54 c rational objective 2.00001
360.61/361.85 c #Conflicts: 532000 | #Constraints: 15230
360.61/361.85 c #Conflicts: 533000 | #Constraints: 16230
360.61/361.85 c #Conflicts: 534000 | #Constraints: 17230
360.61/361.85 c #Conflicts: 535000 | #Constraints: 18230
360.61/361.85 c #Conflicts: 536000 | #Constraints: 19230
360.61/361.85 c #Conflicts: 537000 | #Constraints: 20230
360.61/361.85 c #Conflicts: 538000 | #Constraints: 21230
360.61/361.85 c #Conflicts: 539000 | #Constraints: 22230
360.61/361.85 c #Conflicts: 540000 | #Constraints: 23230
360.61/361.85 c #Conflicts: 541000 | #Constraints: 24230
360.61/361.85 c #Conflicts: 542000 | #Constraints: 25230
360.61/361.85 c #Conflicts: 543000 | #Constraints: 26230
360.61/361.85 c #Conflicts: 544000 | #Constraints: 27230
360.61/361.85 c #Conflicts: 545000 | #Constraints: 28230
360.61/361.85 c #Conflicts: 546000 | #Constraints: 29230
360.61/361.85 c INPROCESSING
360.61/361.85 c GARBAGE COLLECT
360.61/361.85 c rational objective 2.00001
376.35/377.67 c #Conflicts: 547000 | #Constraints: 15634
376.35/377.67 c #Conflicts: 548000 | #Constraints: 16634
376.35/377.67 c #Conflicts: 549000 | #Constraints: 17635
376.35/377.67 c #Conflicts: 550000 | #Constraints: 18635
376.35/377.67 c #Conflicts: 551000 | #Constraints: 19635
376.35/377.67 c #Conflicts: 552000 | #Constraints: 20635
376.35/377.67 c #Conflicts: 553000 | #Constraints: 21635
376.35/377.67 c #Conflicts: 554000 | #Constraints: 22635
376.35/377.67 c #Conflicts: 555000 | #Constraints: 23635
376.35/377.67 c #Conflicts: 556000 | #Constraints: 24635
376.35/377.67 c #Conflicts: 557000 | #Constraints: 25635
376.35/377.67 c #Conflicts: 558000 | #Constraints: 26635
376.35/377.67 c #Conflicts: 559000 | #Constraints: 27635
376.35/377.67 c #Conflicts: 560000 | #Constraints: 28635
376.35/377.67 c #Conflicts: 561000 | #Constraints: 29635
376.35/377.67 c INPROCESSING
376.35/377.67 c GARBAGE COLLECT
376.35/377.67 c rational objective 2.00001
392.29/393.61 c #Conflicts: 562000 | #Constraints: 15826
392.29/393.61 c #Conflicts: 563000 | #Constraints: 16826
392.29/393.61 c #Conflicts: 564000 | #Constraints: 17826
392.29/393.61 c #Conflicts: 565000 | #Constraints: 18826
392.29/393.61 c #Conflicts: 566000 | #Constraints: 19826
392.29/393.61 c #Conflicts: 567000 | #Constraints: 20826
392.29/393.61 c #Conflicts: 568000 | #Constraints: 21826
392.29/393.61 c #Conflicts: 569000 | #Constraints: 22826
392.29/393.61 c #Conflicts: 570000 | #Constraints: 23826
392.29/393.61 c #Conflicts: 571000 | #Constraints: 24826
392.29/393.61 c #Conflicts: 572000 | #Constraints: 25826
392.29/393.61 c #Conflicts: 573000 | #Constraints: 26826
392.29/393.61 c #Conflicts: 574000 | #Constraints: 27826
392.29/393.61 c #Conflicts: 575000 | #Constraints: 28826
392.29/393.61 c #Conflicts: 576000 | #Constraints: 29826
392.29/393.61 c INPROCESSING
392.29/393.61 c GARBAGE COLLECT
392.29/393.61 c rational objective 2.00001
407.64/409.03 c #Conflicts: 577000 | #Constraints: 15825
407.64/409.03 c #Conflicts: 578000 | #Constraints: 16832
407.64/409.03 c #Conflicts: 579000 | #Constraints: 17832
407.64/409.03 c #Conflicts: 580000 | #Constraints: 18832
407.64/409.03 c #Conflicts: 581000 | #Constraints: 19832
407.64/409.03 c #Conflicts: 582000 | #Constraints: 20832
407.64/409.03 c #Conflicts: 583000 | #Constraints: 21832
407.64/409.03 c #Conflicts: 584000 | #Constraints: 22832
407.64/409.03 c #Conflicts: 585000 | #Constraints: 23832
407.64/409.03 c #Conflicts: 586000 | #Constraints: 24832
407.64/409.03 c #Conflicts: 587000 | #Constraints: 25832
407.64/409.03 c #Conflicts: 588000 | #Constraints: 26832
407.64/409.03 c #Conflicts: 589000 | #Constraints: 27832
407.64/409.03 c #Conflicts: 590000 | #Constraints: 28832
407.64/409.03 c #Conflicts: 591000 | #Constraints: 29832
407.64/409.03 c INPROCESSING
407.64/409.03 c GARBAGE COLLECT
407.64/409.03 c rational objective 2.00001
424.98/426.40 c #Conflicts: 592000 | #Constraints: 15630
424.98/426.40 c #Conflicts: 593000 | #Constraints: 16630
424.98/426.40 c #Conflicts: 594000 | #Constraints: 17630
424.98/426.40 c #Conflicts: 595000 | #Constraints: 18630
424.98/426.40 c #Conflicts: 596000 | #Constraints: 19630
424.98/426.40 c #Conflicts: 597000 | #Constraints: 20630
424.98/426.40 c #Conflicts: 598000 | #Constraints: 21630
424.98/426.40 c #Conflicts: 599000 | #Constraints: 22630
424.98/426.40 c #Conflicts: 600000 | #Constraints: 23630
424.98/426.40 c #Conflicts: 601000 | #Constraints: 24630
424.98/426.40 c #Conflicts: 602000 | #Constraints: 25630
424.98/426.40 c #Conflicts: 603000 | #Constraints: 26630
424.98/426.40 c #Conflicts: 604000 | #Constraints: 27630
424.98/426.40 c #Conflicts: 605000 | #Constraints: 28630
424.98/426.40 c #Conflicts: 606000 | #Constraints: 29630
424.98/426.40 c #Conflicts: 607000 | #Constraints: 30630
424.98/426.40 c INPROCESSING
424.98/426.40 c GARBAGE COLLECT
424.98/426.40 c rational objective 2.00001
440.74/442.29 c #Conflicts: 608000 | #Constraints: 16241
440.74/442.29 c #Conflicts: 609000 | #Constraints: 17275
440.74/442.29 c #Conflicts: 610000 | #Constraints: 18278
440.74/442.29 c #Conflicts: 611000 | #Constraints: 19278
440.74/442.29 c #Conflicts: 612000 | #Constraints: 20278
440.74/442.29 c #Conflicts: 613000 | #Constraints: 21278
440.74/442.29 c #Conflicts: 614000 | #Constraints: 22278
440.74/442.29 c #Conflicts: 615000 | #Constraints: 23278
440.74/442.29 c #Conflicts: 616000 | #Constraints: 24278
440.74/442.29 c #Conflicts: 617000 | #Constraints: 25278
440.74/442.29 c #Conflicts: 618000 | #Constraints: 26278
440.74/442.29 c #Conflicts: 619000 | #Constraints: 27278
440.74/442.29 c #Conflicts: 620000 | #Constraints: 28278
440.74/442.29 c #Conflicts: 621000 | #Constraints: 29278
440.74/442.29 c #Conflicts: 622000 | #Constraints: 30278
440.74/442.29 c #Conflicts: 623000 | #Constraints: 31278
440.74/442.29 c INPROCESSING
440.74/442.29 c GARBAGE COLLECT
440.74/442.29 c rational objective 2.00001
456.79/458.39 c #Conflicts: 624000 | #Constraints: 16674
456.79/458.39 c #Conflicts: 625000 | #Constraints: 17677
456.79/458.39 c #Conflicts: 626000 | #Constraints: 18677
456.79/458.39 c #Conflicts: 627000 | #Constraints: 19677
456.79/458.39 c #Conflicts: 628000 | #Constraints: 20677
456.79/458.39 c #Conflicts: 629000 | #Constraints: 21677
456.79/458.39 c #Conflicts: 630000 | #Constraints: 22677
456.79/458.39 c #Conflicts: 631000 | #Constraints: 23677
456.79/458.39 c #Conflicts: 632000 | #Constraints: 24677
456.79/458.39 c #Conflicts: 633000 | #Constraints: 25677
456.79/458.39 c #Conflicts: 634000 | #Constraints: 26677
456.79/458.39 c #Conflicts: 635000 | #Constraints: 27677
456.79/458.39 c #Conflicts: 636000 | #Constraints: 28677
456.79/458.39 c #Conflicts: 637000 | #Constraints: 29677
456.79/458.39 c #Conflicts: 638000 | #Constraints: 30677
456.79/458.39 c #Conflicts: 639000 | #Constraints: 31677
456.79/458.39 c INPROCESSING
456.79/458.39 c GARBAGE COLLECT
456.79/458.39 c rational objective 2.00001
474.15/475.70 c #Conflicts: 640000 | #Constraints: 16882
474.15/475.70 c #Conflicts: 641000 | #Constraints: 17882
474.15/475.70 c #Conflicts: 642000 | #Constraints: 18882
474.15/475.70 c #Conflicts: 643000 | #Constraints: 19882
474.15/475.70 c #Conflicts: 644000 | #Constraints: 20882
474.15/475.70 c #Conflicts: 645000 | #Constraints: 21882
474.15/475.70 c #Conflicts: 646000 | #Constraints: 22882
474.15/475.70 c #Conflicts: 647000 | #Constraints: 23882
474.15/475.70 c #Conflicts: 648000 | #Constraints: 24882
474.15/475.70 c #Conflicts: 649000 | #Constraints: 25882
474.15/475.70 c #Conflicts: 650000 | #Constraints: 26882
474.15/475.70 c #Conflicts: 651000 | #Constraints: 27882
474.15/475.70 c #Conflicts: 652000 | #Constraints: 28882
474.15/475.70 c #Conflicts: 653000 | #Constraints: 29882
474.15/475.70 c #Conflicts: 654000 | #Constraints: 30882
474.15/475.70 c #Conflicts: 655000 | #Constraints: 31882
474.15/475.70 c INPROCESSING
474.15/475.70 c GARBAGE COLLECT
474.15/475.70 c rational objective 2.00001
491.20/492.89 c #Conflicts: 656000 | #Constraints: 16855
491.20/492.89 c #Conflicts: 657000 | #Constraints: 17855
491.20/492.89 c #Conflicts: 658000 | #Constraints: 18855
491.20/492.89 c #Conflicts: 659000 | #Constraints: 19855
491.20/492.89 c #Conflicts: 660000 | #Constraints: 20855
491.20/492.89 c #Conflicts: 661000 | #Constraints: 21855
491.20/492.89 c #Conflicts: 662000 | #Constraints: 22855
491.20/492.89 c #Conflicts: 663000 | #Constraints: 23855
491.20/492.89 c #Conflicts: 664000 | #Constraints: 24855
491.20/492.89 c #Conflicts: 665000 | #Constraints: 25855
491.20/492.89 c #Conflicts: 666000 | #Constraints: 26855
491.20/492.89 c #Conflicts: 667000 | #Constraints: 27855
491.20/492.89 c #Conflicts: 668000 | #Constraints: 28855
491.20/492.89 c #Conflicts: 669000 | #Constraints: 29855
491.20/492.89 c #Conflicts: 670000 | #Constraints: 30855
491.20/492.89 c #Conflicts: 671000 | #Constraints: 31855
491.20/492.89 c INPROCESSING
491.20/492.89 c GARBAGE COLLECT
491.20/492.89 c rational objective 2.00001
507.95/509.64 c #Conflicts: 672000 | #Constraints: 16642
507.95/509.64 c #Conflicts: 673000 | #Constraints: 17648
507.95/509.64 c #Conflicts: 674000 | #Constraints: 18648
507.95/509.64 c #Conflicts: 675000 | #Constraints: 19648
507.95/509.64 c #Conflicts: 676000 | #Constraints: 20648
507.95/509.64 c #Conflicts: 677000 | #Constraints: 21648
507.95/509.64 c #Conflicts: 678000 | #Constraints: 22648
507.95/509.64 c #Conflicts: 679000 | #Constraints: 23648
507.95/509.64 c #Conflicts: 680000 | #Constraints: 24648
507.95/509.64 c #Conflicts: 681000 | #Constraints: 25648
507.95/509.64 c #Conflicts: 682000 | #Constraints: 26648
507.95/509.64 c #Conflicts: 683000 | #Constraints: 27648
507.95/509.64 c #Conflicts: 684000 | #Constraints: 28648
507.95/509.64 c #Conflicts: 685000 | #Constraints: 29648
507.95/509.64 c #Conflicts: 686000 | #Constraints: 30648
507.95/509.64 c #Conflicts: 687000 | #Constraints: 31648
507.95/509.64 c #Conflicts: 688000 | #Constraints: 32648
507.95/509.64 c INPROCESSING
507.95/509.64 c GARBAGE COLLECT
507.95/509.64 c rational objective 2.00001
524.90/526.62 c #Conflicts: 689000 | #Constraints: 17258
524.90/526.62 c #Conflicts: 690000 | #Constraints: 18284
524.90/526.62 c #Conflicts: 691000 | #Constraints: 19284
524.90/526.62 c #Conflicts: 692000 | #Constraints: 20284
524.90/526.62 c #Conflicts: 693000 | #Constraints: 21284
524.90/526.62 c #Conflicts: 694000 | #Constraints: 22284
524.90/526.62 c #Conflicts: 695000 | #Constraints: 23284
524.90/526.62 c #Conflicts: 696000 | #Constraints: 24284
524.90/526.62 c #Conflicts: 697000 | #Constraints: 25284
524.90/526.62 c #Conflicts: 698000 | #Constraints: 26284
524.90/526.62 c #Conflicts: 699000 | #Constraints: 27284
524.90/526.62 c #Conflicts: 700000 | #Constraints: 28284
524.90/526.62 c #Conflicts: 701000 | #Constraints: 29284
524.90/526.62 c #Conflicts: 702000 | #Constraints: 30284
524.90/526.62 c #Conflicts: 703000 | #Constraints: 31284
524.90/526.62 c #Conflicts: 704000 | #Constraints: 32284
524.90/526.62 c #Conflicts: 705000 | #Constraints: 33284
524.90/526.62 c INPROCESSING
524.90/526.62 c GARBAGE COLLECT
524.90/526.62 c rational objective 2.00001
542.66/544.41 c #Conflicts: 706000 | #Constraints: 17655
542.66/544.41 c #Conflicts: 707000 | #Constraints: 18655
542.66/544.41 c #Conflicts: 708000 | #Constraints: 19655
542.66/544.41 c #Conflicts: 709000 | #Constraints: 20655
542.66/544.41 c #Conflicts: 710000 | #Constraints: 21655
542.66/544.41 c #Conflicts: 711000 | #Constraints: 22655
542.66/544.41 c #Conflicts: 712000 | #Constraints: 23655
542.66/544.41 c #Conflicts: 713000 | #Constraints: 24655
542.66/544.41 c #Conflicts: 714000 | #Constraints: 25655
542.66/544.41 c #Conflicts: 715000 | #Constraints: 26655
542.66/544.41 c #Conflicts: 716000 | #Constraints: 27655
542.66/544.41 c #Conflicts: 717000 | #Constraints: 28655
542.66/544.41 c #Conflicts: 718000 | #Constraints: 29655
542.66/544.41 c #Conflicts: 719000 | #Constraints: 30655
542.66/544.41 c #Conflicts: 720000 | #Constraints: 31655
542.66/544.41 c #Conflicts: 721000 | #Constraints: 32655
542.66/544.41 c #Conflicts: 722000 | #Constraints: 33655
542.66/544.41 c INPROCESSING
542.66/544.41 c GARBAGE COLLECT
542.66/544.41 c rational objective 2.00001
560.51/562.33 c #Conflicts: 723000 | #Constraints: 17848
560.51/562.33 c #Conflicts: 724000 | #Constraints: 18848
560.51/562.33 c #Conflicts: 725000 | #Constraints: 19848
560.51/562.33 c #Conflicts: 726000 | #Constraints: 20848
560.51/562.33 c #Conflicts: 727000 | #Constraints: 21848
560.51/562.33 c #Conflicts: 728000 | #Constraints: 22848
560.51/562.33 c #Conflicts: 729000 | #Constraints: 23848
560.51/562.33 c #Conflicts: 730000 | #Constraints: 24848
560.51/562.33 c #Conflicts: 731000 | #Constraints: 25848
560.51/562.33 c #Conflicts: 732000 | #Constraints: 26848
560.51/562.33 c #Conflicts: 733000 | #Constraints: 27848
560.51/562.33 c #Conflicts: 734000 | #Constraints: 28848
560.51/562.33 c #Conflicts: 735000 | #Constraints: 29848
560.51/562.33 c #Conflicts: 736000 | #Constraints: 30848
560.51/562.33 c #Conflicts: 737000 | #Constraints: 31848
560.51/562.33 c #Conflicts: 738000 | #Constraints: 32848
560.51/562.33 c #Conflicts: 739000 | #Constraints: 33848
560.51/562.33 c INPROCESSING
560.51/562.33 c GARBAGE COLLECT
560.51/562.33 c rational objective 2.00001
580.17/582.05 c #Conflicts: 740000 | #Constraints: 17854
580.17/582.05 c #Conflicts: 741000 | #Constraints: 18856
580.17/582.05 c #Conflicts: 742000 | #Constraints: 19856
580.17/582.05 c #Conflicts: 743000 | #Constraints: 20856
580.17/582.05 c #Conflicts: 744000 | #Constraints: 21856
580.17/582.05 c #Conflicts: 745000 | #Constraints: 22856
580.17/582.05 c #Conflicts: 746000 | #Constraints: 23856
580.17/582.05 c #Conflicts: 747000 | #Constraints: 24856
580.17/582.05 c #Conflicts: 748000 | #Constraints: 25856
580.17/582.05 c #Conflicts: 749000 | #Constraints: 26856
580.17/582.05 c #Conflicts: 750000 | #Constraints: 27856
580.17/582.05 c #Conflicts: 751000 | #Constraints: 28856
580.17/582.05 c #Conflicts: 752000 | #Constraints: 29856
580.17/582.05 c #Conflicts: 753000 | #Constraints: 30856
580.17/582.05 c #Conflicts: 754000 | #Constraints: 31856
580.17/582.05 c #Conflicts: 755000 | #Constraints: 32856
580.17/582.05 c #Conflicts: 756000 | #Constraints: 33856
580.17/582.05 c INPROCESSING
580.17/582.05 c GARBAGE COLLECT
580.17/582.05 c rational objective 2.00001
601.29/603.20 c #Conflicts: 757000 | #Constraints: 17641
601.29/603.20 c #Conflicts: 758000 | #Constraints: 18641
601.29/603.20 c #Conflicts: 759000 | #Constraints: 19643
601.29/603.20 c #Conflicts: 760000 | #Constraints: 20643
601.29/603.20 c #Conflicts: 761000 | #Constraints: 21643
601.29/603.20 c #Conflicts: 762000 | #Constraints: 22643
601.29/603.20 c #Conflicts: 763000 | #Constraints: 23643
601.29/603.20 c #Conflicts: 764000 | #Constraints: 24643
601.29/603.20 c #Conflicts: 765000 | #Constraints: 25643
601.29/603.20 c #Conflicts: 766000 | #Constraints: 26643
601.29/603.20 c #Conflicts: 767000 | #Constraints: 27643
601.29/603.20 c #Conflicts: 768000 | #Constraints: 28644
601.29/603.20 c #Conflicts: 769000 | #Constraints: 29644
601.29/603.20 c #Conflicts: 770000 | #Constraints: 30644
601.29/603.20 c #Conflicts: 771000 | #Constraints: 31644
601.29/603.20 c #Conflicts: 772000 | #Constraints: 32644
601.29/603.20 c #Conflicts: 773000 | #Constraints: 33644
601.29/603.20 c #Conflicts: 774000 | #Constraints: 34644
601.29/603.20 c INPROCESSING
601.29/603.20 c GARBAGE COLLECT
601.29/603.20 c rational objective 2.00001
622.15/624.14 c #Conflicts: 775000 | #Constraints: 18240
622.15/624.14 c #Conflicts: 776000 | #Constraints: 19240
622.15/624.14 c #Conflicts: 777000 | #Constraints: 20240
622.15/624.14 c #Conflicts: 778000 | #Constraints: 21240
622.15/624.14 c #Conflicts: 779000 | #Constraints: 22240
622.15/624.14 c #Conflicts: 780000 | #Constraints: 23246
622.15/624.14 c #Conflicts: 781000 | #Constraints: 24246
622.15/624.14 c #Conflicts: 782000 | #Constraints: 25246
622.15/624.14 c #Conflicts: 783000 | #Constraints: 26246
622.15/624.14 c #Conflicts: 784000 | #Constraints: 27246
622.15/624.14 c #Conflicts: 785000 | #Constraints: 28246
622.15/624.14 c #Conflicts: 786000 | #Constraints: 29246
622.15/624.14 c #Conflicts: 787000 | #Constraints: 30246
622.15/624.14 c #Conflicts: 788000 | #Constraints: 31246
622.15/624.14 c #Conflicts: 789000 | #Constraints: 32246
622.15/624.14 c #Conflicts: 790000 | #Constraints: 33246
622.15/624.14 c #Conflicts: 791000 | #Constraints: 34246
622.15/624.14 c #Conflicts: 792000 | #Constraints: 35246
622.15/624.14 c INPROCESSING
622.15/624.14 c GARBAGE COLLECT
622.15/624.14 c rational objective 2.00001
644.48/646.57 c #Conflicts: 793000 | #Constraints: 18638
644.48/646.57 c #Conflicts: 794000 | #Constraints: 19638
644.48/646.57 c #Conflicts: 795000 | #Constraints: 20638
644.48/646.57 c #Conflicts: 796000 | #Constraints: 21638
644.48/646.57 c #Conflicts: 797000 | #Constraints: 22638
644.48/646.57 c #Conflicts: 798000 | #Constraints: 23638
644.48/646.57 c #Conflicts: 799000 | #Constraints: 24638
644.48/646.57 c #Conflicts: 800000 | #Constraints: 25638
644.48/646.57 c #Conflicts: 801000 | #Constraints: 26638
644.48/646.57 c #Conflicts: 802000 | #Constraints: 27638
644.48/646.57 c #Conflicts: 803000 | #Constraints: 28638
644.48/646.57 c #Conflicts: 804000 | #Constraints: 29638
644.48/646.57 c #Conflicts: 805000 | #Constraints: 30638
644.48/646.57 c #Conflicts: 806000 | #Constraints: 31638
644.48/646.57 c #Conflicts: 807000 | #Constraints: 32638
644.48/646.57 c #Conflicts: 808000 | #Constraints: 33638
644.48/646.57 c #Conflicts: 809000 | #Constraints: 34638
644.48/646.57 c #Conflicts: 810000 | #Constraints: 35638
644.48/646.57 c INPROCESSING
644.48/646.57 c GARBAGE COLLECT
644.48/646.57 c rational objective 2.00001
668.92/671.10 c #Conflicts: 811000 | #Constraints: 18826
668.92/671.10 c #Conflicts: 812000 | #Constraints: 19846
668.92/671.10 c #Conflicts: 813000 | #Constraints: 20853
668.92/671.10 c #Conflicts: 814000 | #Constraints: 21856
668.92/671.10 c #Conflicts: 815000 | #Constraints: 22856
668.92/671.10 c #Conflicts: 816000 | #Constraints: 23856
668.92/671.10 c #Conflicts: 817000 | #Constraints: 24856
668.92/671.10 c #Conflicts: 818000 | #Constraints: 25856
668.92/671.10 c #Conflicts: 819000 | #Constraints: 26856
668.92/671.10 c #Conflicts: 820000 | #Constraints: 27856
668.92/671.10 c #Conflicts: 821000 | #Constraints: 28856
668.92/671.10 c #Conflicts: 822000 | #Constraints: 29856
668.92/671.10 c #Conflicts: 823000 | #Constraints: 30856
668.92/671.10 c #Conflicts: 824000 | #Constraints: 31856
668.92/671.10 c #Conflicts: 825000 | #Constraints: 32856
668.92/671.10 c #Conflicts: 826000 | #Constraints: 33856
668.92/671.10 c #Conflicts: 827000 | #Constraints: 34856
668.92/671.10 c #Conflicts: 828000 | #Constraints: 35856
668.92/671.10 c INPROCESSING
668.92/671.10 c GARBAGE COLLECT
668.92/671.10 c rational objective 2.00001
691.45/693.63 c #Conflicts: 829000 | #Constraints: 18840
691.45/693.63 c #Conflicts: 830000 | #Constraints: 19840
691.45/693.63 c #Conflicts: 831000 | #Constraints: 20840
691.45/693.63 c #Conflicts: 832000 | #Constraints: 21840
691.45/693.63 c #Conflicts: 833000 | #Constraints: 22842
691.45/693.63 c #Conflicts: 834000 | #Constraints: 23842
691.45/693.63 c #Conflicts: 835000 | #Constraints: 24842
691.45/693.63 c #Conflicts: 836000 | #Constraints: 25842
691.45/693.63 c #Conflicts: 837000 | #Constraints: 26842
691.45/693.63 c #Conflicts: 838000 | #Constraints: 27842
691.45/693.63 c #Conflicts: 839000 | #Constraints: 28842
691.45/693.63 c #Conflicts: 840000 | #Constraints: 29842
691.45/693.63 c #Conflicts: 841000 | #Constraints: 30842
691.45/693.63 c #Conflicts: 842000 | #Constraints: 31842
691.45/693.63 c #Conflicts: 843000 | #Constraints: 32842
691.45/693.63 c #Conflicts: 844000 | #Constraints: 33842
691.45/693.63 c #Conflicts: 845000 | #Constraints: 34842
691.45/693.63 c #Conflicts: 846000 | #Constraints: 35846
691.45/693.63 c INPROCESSING
691.45/693.63 c GARBAGE COLLECT
691.45/693.63 c rational objective 2.00001
715.58/717.81 c #Conflicts: 847000 | #Constraints: 18637
715.58/717.81 c #Conflicts: 848000 | #Constraints: 19648
715.58/717.81 c #Conflicts: 849000 | #Constraints: 20648
715.58/717.81 c #Conflicts: 850000 | #Constraints: 21648
715.58/717.81 c #Conflicts: 851000 | #Constraints: 22648
715.58/717.81 c #Conflicts: 852000 | #Constraints: 23648
715.58/717.81 c #Conflicts: 853000 | #Constraints: 24648
715.58/717.81 c #Conflicts: 854000 | #Constraints: 25648
715.58/717.81 c #Conflicts: 855000 | #Constraints: 26648
715.58/717.81 c #Conflicts: 856000 | #Constraints: 27648
715.58/717.81 c #Conflicts: 857000 | #Constraints: 28648
715.58/717.81 c #Conflicts: 858000 | #Constraints: 29648
715.58/717.81 c #Conflicts: 859000 | #Constraints: 30648
715.58/717.81 c #Conflicts: 860000 | #Constraints: 31648
715.58/717.81 c #Conflicts: 861000 | #Constraints: 32648
715.58/717.81 c #Conflicts: 862000 | #Constraints: 33648
715.58/717.81 c #Conflicts: 863000 | #Constraints: 34648
715.58/717.81 c #Conflicts: 864000 | #Constraints: 35648
715.58/717.81 c #Conflicts: 865000 | #Constraints: 36648
715.58/717.81 c INPROCESSING
715.58/717.81 c GARBAGE COLLECT
715.58/717.81 c rational objective 2.00001
739.90/742.26 c #Conflicts: 866000 | #Constraints: 19245
739.90/742.26 c #Conflicts: 867000 | #Constraints: 20258
739.90/742.26 c #Conflicts: 868000 | #Constraints: 21266
739.90/742.26 c #Conflicts: 869000 | #Constraints: 22270
739.90/742.26 c #Conflicts: 870000 | #Constraints: 23271
739.90/742.26 c #Conflicts: 871000 | #Constraints: 24271
739.90/742.26 c #Conflicts: 872000 | #Constraints: 25273
739.90/742.26 c #Conflicts: 873000 | #Constraints: 26273
739.90/742.26 c #Conflicts: 874000 | #Constraints: 27273
739.90/742.26 c #Conflicts: 875000 | #Constraints: 28273
739.90/742.26 c #Conflicts: 876000 | #Constraints: 29278
739.90/742.26 c #Conflicts: 877000 | #Constraints: 30280
739.90/742.26 c #Conflicts: 878000 | #Constraints: 31288
739.90/742.26 c #Conflicts: 879000 | #Constraints: 32293
739.90/742.26 c #Conflicts: 880000 | #Constraints: 33300
739.90/742.26 c #Conflicts: 881000 | #Constraints: 34300
739.90/742.26 c #Conflicts: 882000 | #Constraints: 35306
739.90/742.26 c #Conflicts: 883000 | #Constraints: 36307
739.90/742.26 c #Conflicts: 884000 | #Constraints: 37307
739.90/742.26 c INPROCESSING
739.90/742.26 c GARBAGE COLLECT
739.90/742.26 c rational objective 2.00001
765.74/768.16 c #Conflicts: 885000 | #Constraints: 19667
765.74/768.16 c #Conflicts: 886000 | #Constraints: 20667
765.74/768.16 c #Conflicts: 887000 | #Constraints: 21667
765.74/768.16 c #Conflicts: 888000 | #Constraints: 22667
765.74/768.16 c #Conflicts: 889000 | #Constraints: 23667
765.74/768.16 c #Conflicts: 890000 | #Constraints: 24667
765.74/768.16 c #Conflicts: 891000 | #Constraints: 25667
765.74/768.16 c #Conflicts: 892000 | #Constraints: 26667
765.74/768.16 c #Conflicts: 893000 | #Constraints: 27667
765.74/768.16 c #Conflicts: 894000 | #Constraints: 28668
765.74/768.16 c #Conflicts: 895000 | #Constraints: 29669
765.74/768.16 c #Conflicts: 896000 | #Constraints: 30682
765.74/768.16 c #Conflicts: 897000 | #Constraints: 31682
765.74/768.16 c #Conflicts: 898000 | #Constraints: 32682
765.74/768.16 c #Conflicts: 899000 | #Constraints: 33682
765.74/768.16 c #Conflicts: 900000 | #Constraints: 34682
765.74/768.16 c #Conflicts: 901000 | #Constraints: 35682
765.74/768.16 c #Conflicts: 902000 | #Constraints: 36682
765.74/768.16 c #Conflicts: 903000 | #Constraints: 37682
765.74/768.16 c INPROCESSING
765.74/768.16 c GARBAGE COLLECT
765.74/768.16 c rational objective 2.00001
791.46/793.94 c #Conflicts: 904000 | #Constraints: 19851
791.46/793.94 c #Conflicts: 905000 | #Constraints: 20851
791.46/793.94 c #Conflicts: 906000 | #Constraints: 21851
791.46/793.94 c #Conflicts: 907000 | #Constraints: 22851
791.46/793.94 c #Conflicts: 908000 | #Constraints: 23851
791.46/793.94 c #Conflicts: 909000 | #Constraints: 24851
791.46/793.94 c #Conflicts: 910000 | #Constraints: 25851
791.46/793.94 c #Conflicts: 911000 | #Constraints: 26852
791.46/793.94 c #Conflicts: 912000 | #Constraints: 27852
791.46/793.94 c #Conflicts: 913000 | #Constraints: 28852
791.46/793.94 c #Conflicts: 914000 | #Constraints: 29852
791.46/793.94 c #Conflicts: 915000 | #Constraints: 30852
791.46/793.94 c #Conflicts: 916000 | #Constraints: 31852
791.46/793.94 c #Conflicts: 917000 | #Constraints: 32852
791.46/793.94 c #Conflicts: 918000 | #Constraints: 33852
791.46/793.94 c #Conflicts: 919000 | #Constraints: 34852
791.46/793.94 c #Conflicts: 920000 | #Constraints: 35852
791.46/793.94 c #Conflicts: 921000 | #Constraints: 36852
791.46/793.94 c #Conflicts: 922000 | #Constraints: 37852
791.46/793.94 c INPROCESSING
791.46/793.94 c GARBAGE COLLECT
791.46/793.94 c rational objective 2.00001
817.59/820.17 c #Conflicts: 923000 | #Constraints: 19839
817.59/820.17 c #Conflicts: 924000 | #Constraints: 20839
817.59/820.17 c #Conflicts: 925000 | #Constraints: 21851
817.59/820.17 c #Conflicts: 926000 | #Constraints: 22851
817.59/820.17 c #Conflicts: 927000 | #Constraints: 23851
817.59/820.17 c #Conflicts: 928000 | #Constraints: 24851
817.59/820.17 c #Conflicts: 929000 | #Constraints: 25851
817.59/820.17 c #Conflicts: 930000 | #Constraints: 26851
817.59/820.17 c #Conflicts: 931000 | #Constraints: 27851
817.59/820.17 c #Conflicts: 932000 | #Constraints: 28851
817.59/820.17 c #Conflicts: 933000 | #Constraints: 29851
817.59/820.17 c #Conflicts: 934000 | #Constraints: 30851
817.59/820.17 c #Conflicts: 935000 | #Constraints: 31851
817.59/820.17 c #Conflicts: 936000 | #Constraints: 32851
817.59/820.17 c #Conflicts: 937000 | #Constraints: 33851
817.59/820.17 c #Conflicts: 938000 | #Constraints: 34851
817.59/820.17 c #Conflicts: 939000 | #Constraints: 35851
817.59/820.17 c #Conflicts: 940000 | #Constraints: 36851
817.59/820.17 c #Conflicts: 941000 | #Constraints: 37851
817.59/820.17 c INPROCESSING
817.59/820.17 c GARBAGE COLLECT
817.59/820.17 c rational objective 2.00002
841.61/844.20 c #Conflicts: 942000 | #Constraints: 19641
841.61/844.20 c #Conflicts: 943000 | #Constraints: 20641
841.61/844.20 c #Conflicts: 944000 | #Constraints: 21645
841.61/844.20 c #Conflicts: 945000 | #Constraints: 22648
841.61/844.20 c #Conflicts: 946000 | #Constraints: 23654
841.61/844.20 c #Conflicts: 947000 | #Constraints: 24658
841.61/844.20 c #Conflicts: 948000 | #Constraints: 25658
841.61/844.20 c #Conflicts: 949000 | #Constraints: 26658
841.61/844.20 c #Conflicts: 950000 | #Constraints: 27661
841.61/844.20 c #Conflicts: 951000 | #Constraints: 28661
841.61/844.20 c #Conflicts: 952000 | #Constraints: 29667
841.61/844.20 c #Conflicts: 953000 | #Constraints: 30667
841.61/844.20 c #Conflicts: 954000 | #Constraints: 31667
841.61/844.20 c #Conflicts: 955000 | #Constraints: 32667
841.61/844.20 c #Conflicts: 956000 | #Constraints: 33667
841.61/844.20 c #Conflicts: 957000 | #Constraints: 34673
841.61/844.20 c #Conflicts: 958000 | #Constraints: 35673
841.61/844.20 c #Conflicts: 959000 | #Constraints: 36676
841.61/844.20 c #Conflicts: 960000 | #Constraints: 37677
841.61/844.20 c #Conflicts: 961000 | #Constraints: 38677
841.61/844.20 c INPROCESSING
841.61/844.20 c GARBAGE COLLECT
841.61/844.20 c rational objective 2.00001
869.82/872.54 c #Conflicts: 962000 | #Constraints: 20249
869.82/872.54 c #Conflicts: 963000 | #Constraints: 21249
869.82/872.54 c #Conflicts: 964000 | #Constraints: 22253
869.82/872.54 c #Conflicts: 965000 | #Constraints: 23253
869.82/872.54 c #Conflicts: 966000 | #Constraints: 24253
869.82/872.54 c #Conflicts: 967000 | #Constraints: 25256
869.82/872.54 c #Conflicts: 968000 | #Constraints: 26256
869.82/872.54 c #Conflicts: 969000 | #Constraints: 27256
869.82/872.54 c #Conflicts: 970000 | #Constraints: 28259
869.82/872.54 c #Conflicts: 971000 | #Constraints: 29259
869.82/872.54 c #Conflicts: 972000 | #Constraints: 30268
869.82/872.54 c #Conflicts: 973000 | #Constraints: 31268
869.82/872.54 c #Conflicts: 974000 | #Constraints: 32272
869.82/872.54 c #Conflicts: 975000 | #Constraints: 33281
869.82/872.54 c #Conflicts: 976000 | #Constraints: 34281
869.82/872.54 c #Conflicts: 977000 | #Constraints: 35281
869.82/872.54 c #Conflicts: 978000 | #Constraints: 36281
869.82/872.54 c #Conflicts: 979000 | #Constraints: 37281
869.82/872.54 c #Conflicts: 980000 | #Constraints: 38285
869.82/872.54 c #Conflicts: 981000 | #Constraints: 39288
869.82/872.54 c INPROCESSING
869.82/872.54 c GARBAGE COLLECT
869.82/872.54 c rational objective 2.01896
896.63/899.40 c #Conflicts: 982000 | #Constraints: 20667
896.63/899.40 c #Conflicts: 983000 | #Constraints: 21667
896.63/899.40 c #Conflicts: 984000 | #Constraints: 22667
896.63/899.40 c #Conflicts: 985000 | #Constraints: 23674
896.63/899.40 c #Conflicts: 986000 | #Constraints: 24674
896.63/899.40 c #Conflicts: 987000 | #Constraints: 25691
896.63/899.40 c #Conflicts: 988000 | #Constraints: 26692
896.63/899.40 c #Conflicts: 989000 | #Constraints: 27697
896.63/899.40 c #Conflicts: 990000 | #Constraints: 28697
896.63/899.40 c #Conflicts: 991000 | #Constraints: 29697
896.63/899.40 c #Conflicts: 992000 | #Constraints: 30697
896.63/899.40 c #Conflicts: 993000 | #Constraints: 31697
896.63/899.40 c #Conflicts: 994000 | #Constraints: 32699
896.63/899.40 c #Conflicts: 995000 | #Constraints: 33699
896.63/899.40 c #Conflicts: 996000 | #Constraints: 34699
896.63/899.40 c #Conflicts: 997000 | #Constraints: 35699
896.63/899.40 c #Conflicts: 998000 | #Constraints: 36699
896.63/899.40 c #Conflicts: 999000 | #Constraints: 37699
896.63/899.40 c #Conflicts: 1000000 | #Constraints: 38699
896.63/899.40 c #Conflicts: 1001000 | #Constraints: 39699
896.63/899.40 c INPROCESSING
896.63/899.40 c GARBAGE COLLECT
896.63/899.40 c rational objective 2.00001
923.46/926.33 c #Conflicts: 1002000 | #Constraints: 20860
923.46/926.33 c #Conflicts: 1003000 | #Constraints: 21860
923.46/926.33 c #Conflicts: 1004000 | #Constraints: 22860
923.46/926.33 c #Conflicts: 1005000 | #Constraints: 23860
923.46/926.33 c #Conflicts: 1006000 | #Constraints: 24860
923.46/926.33 c #Conflicts: 1007000 | #Constraints: 25860
923.46/926.33 c #Conflicts: 1008000 | #Constraints: 26860
923.46/926.33 c #Conflicts: 1009000 | #Constraints: 27860
923.46/926.33 c #Conflicts: 1010000 | #Constraints: 28860
923.46/926.33 c #Conflicts: 1011000 | #Constraints: 29860
923.46/926.33 c #Conflicts: 1012000 | #Constraints: 30865
923.46/926.33 c #Conflicts: 1013000 | #Constraints: 31869
923.46/926.33 c #Conflicts: 1014000 | #Constraints: 32871
923.46/926.33 c #Conflicts: 1015000 | #Constraints: 33871
923.46/926.33 c #Conflicts: 1016000 | #Constraints: 34871
923.46/926.33 c #Conflicts: 1017000 | #Constraints: 35871
923.46/926.33 c #Conflicts: 1018000 | #Constraints: 36880
923.46/926.33 c #Conflicts: 1019000 | #Constraints: 37880
923.46/926.33 c #Conflicts: 1020000 | #Constraints: 38880
923.46/926.33 c #Conflicts: 1021000 | #Constraints: 39880
923.46/926.33 c INPROCESSING
923.46/926.33 c GARBAGE COLLECT
923.46/926.33 c rational objective 2.00001
949.98/952.96 c #Conflicts: 1022000 | #Constraints: 20854
949.98/952.96 c #Conflicts: 1023000 | #Constraints: 21854
949.98/952.96 c #Conflicts: 1024000 | #Constraints: 22854
949.98/952.96 c #Conflicts: 1025000 | #Constraints: 23854
949.98/952.96 c #Conflicts: 1026000 | #Constraints: 24854
949.98/952.96 c #Conflicts: 1027000 | #Constraints: 25854
949.98/952.96 c #Conflicts: 1028000 | #Constraints: 26854
949.98/952.96 c #Conflicts: 1029000 | #Constraints: 27854
949.98/952.96 c #Conflicts: 1030000 | #Constraints: 28854
949.98/952.96 c #Conflicts: 1031000 | #Constraints: 29854
949.98/952.96 c #Conflicts: 1032000 | #Constraints: 30854
949.98/952.96 c #Conflicts: 1033000 | #Constraints: 31854
949.98/952.96 c #Conflicts: 1034000 | #Constraints: 32854
949.98/952.96 c #Conflicts: 1035000 | #Constraints: 33854
949.98/952.96 c #Conflicts: 1036000 | #Constraints: 34854
949.98/952.96 c #Conflicts: 1037000 | #Constraints: 35854
949.98/952.96 c #Conflicts: 1038000 | #Constraints: 36854
949.98/952.96 c #Conflicts: 1039000 | #Constraints: 37854
949.98/952.96 c #Conflicts: 1040000 | #Constraints: 38854
949.98/952.96 c #Conflicts: 1041000 | #Constraints: 39854
949.98/952.96 c INPROCESSING
949.98/952.96 c GARBAGE COLLECT
949.98/952.96 c rational objective 2.00002
982.78/985.87 c #Conflicts: 1042000 | #Constraints: 20646
982.78/985.87 c #Conflicts: 1043000 | #Constraints: 21774
982.78/985.87 c #Conflicts: 1044000 | #Constraints: 22869
982.78/985.87 c #Conflicts: 1045000 | #Constraints: 23997
982.78/985.87 c #Conflicts: 1046000 | #Constraints: 25103
982.78/985.87 c #Conflicts: 1047000 | #Constraints: 26230
982.78/985.87 c #Conflicts: 1048000 | #Constraints: 27360
982.78/985.87 c #Conflicts: 1049000 | #Constraints: 28466
982.78/985.87 c #Conflicts: 1050000 | #Constraints: 29550
982.78/985.87 c #Conflicts: 1051000 | #Constraints: 30657
982.78/985.87 c #Conflicts: 1052000 | #Constraints: 31751
982.78/985.87 c #Conflicts: 1053000 | #Constraints: 32863
982.78/985.87 c #Conflicts: 1054000 | #Constraints: 33997
982.78/985.87 c #Conflicts: 1055000 | #Constraints: 35071
982.78/985.87 c #Conflicts: 1056000 | #Constraints: 36144
982.78/985.87 c #Conflicts: 1057000 | #Constraints: 37236
982.78/985.87 c #Conflicts: 1058000 | #Constraints: 38375
982.78/985.87 c #Conflicts: 1059000 | #Constraints: 39462
982.78/985.87 c #Conflicts: 1060000 | #Constraints: 40518
982.78/985.87 c #Conflicts: 1061000 | #Constraints: 41559
982.78/985.87 c #Conflicts: 1062000 | #Constraints: 42559
982.78/985.87 c INPROCESSING
982.78/985.87 c GARBAGE COLLECT
982.78/985.87 c rational objective 2.00021
1019.89/1023.06 c #Conflicts: 1063000 | #Constraints: 22220
1019.89/1023.06 c #Conflicts: 1064000 | #Constraints: 23266
1019.89/1023.06 c #Conflicts: 1065000 | #Constraints: 24304
1019.89/1023.06 c #Conflicts: 1066000 | #Constraints: 25352
1019.89/1023.06 c #Conflicts: 1067000 | #Constraints: 26356
1019.89/1023.06 c #Conflicts: 1068000 | #Constraints: 27356
1019.89/1023.06 c #Conflicts: 1069000 | #Constraints: 28356
1019.89/1023.06 c #Conflicts: 1070000 | #Constraints: 29356
1019.89/1023.06 c #Conflicts: 1071000 | #Constraints: 30356
1019.89/1023.06 c #Conflicts: 1072000 | #Constraints: 31356
1019.89/1023.06 c #Conflicts: 1073000 | #Constraints: 32356
1019.89/1023.06 c #Conflicts: 1074000 | #Constraints: 33356
1019.89/1023.06 c #Conflicts: 1075000 | #Constraints: 34356
1019.89/1023.06 c #Conflicts: 1076000 | #Constraints: 35356
1019.89/1023.06 c #Conflicts: 1077000 | #Constraints: 36356
1019.89/1023.06 c #Conflicts: 1078000 | #Constraints: 37356
1019.89/1023.06 c #Conflicts: 1079000 | #Constraints: 38356
1019.89/1023.06 c #Conflicts: 1080000 | #Constraints: 39356
1019.89/1023.06 c #Conflicts: 1081000 | #Constraints: 40356
1019.89/1023.06 c #Conflicts: 1082000 | #Constraints: 41356
1019.89/1023.06 c #Conflicts: 1083000 | #Constraints: 42356
1019.89/1023.06 c INPROCESSING
1019.89/1023.06 c GARBAGE COLLECT
1019.89/1023.06 c rational objective 2.00001
1052.97/1056.26 c #Conflicts: 1084000 | #Constraints: 22236
1052.97/1056.26 c #Conflicts: 1085000 | #Constraints: 23287
1052.97/1056.26 c #Conflicts: 1086000 | #Constraints: 24350
1052.97/1056.26 c #Conflicts: 1087000 | #Constraints: 25390
1052.97/1056.26 c #Conflicts: 1088000 | #Constraints: 26427
1052.97/1056.26 c #Conflicts: 1089000 | #Constraints: 27427
1052.97/1056.26 c #Conflicts: 1090000 | #Constraints: 28427
1052.97/1056.26 c #Conflicts: 1091000 | #Constraints: 29427
1052.97/1056.26 c #Conflicts: 1092000 | #Constraints: 30427
1052.97/1056.26 c #Conflicts: 1093000 | #Constraints: 31427
1052.97/1056.26 c #Conflicts: 1094000 | #Constraints: 32427
1052.97/1056.26 c #Conflicts: 1095000 | #Constraints: 33427
1052.97/1056.26 c #Conflicts: 1096000 | #Constraints: 34427
1052.97/1056.26 c #Conflicts: 1097000 | #Constraints: 35427
1052.97/1056.26 c #Conflicts: 1098000 | #Constraints: 36427
1052.97/1056.26 c #Conflicts: 1099000 | #Constraints: 37427
1052.97/1056.26 c #Conflicts: 1100000 | #Constraints: 38427
1052.97/1056.26 c #Conflicts: 1101000 | #Constraints: 39427
1052.97/1056.26 c #Conflicts: 1102000 | #Constraints: 40427
1052.97/1056.26 c #Conflicts: 1103000 | #Constraints: 41427
1052.97/1056.26 c #Conflicts: 1104000 | #Constraints: 42427
1052.97/1056.26 c INPROCESSING
1052.97/1056.26 c GARBAGE COLLECT
1052.97/1056.26 c rational objective 2.00001
1085.27/1088.66 c #Conflicts: 1105000 | #Constraints: 22237
1085.27/1088.66 c #Conflicts: 1106000 | #Constraints: 23263
1085.27/1088.66 c #Conflicts: 1107000 | #Constraints: 24263
1085.27/1088.66 c #Conflicts: 1108000 | #Constraints: 25263
1085.27/1088.66 c #Conflicts: 1109000 | #Constraints: 26263
1085.27/1088.66 c #Conflicts: 1110000 | #Constraints: 27263
1085.27/1088.66 c #Conflicts: 1111000 | #Constraints: 28263
1085.27/1088.66 c #Conflicts: 1112000 | #Constraints: 29263
1085.27/1088.66 c #Conflicts: 1113000 | #Constraints: 30263
1085.27/1088.66 c #Conflicts: 1114000 | #Constraints: 31263
1085.27/1088.66 c #Conflicts: 1115000 | #Constraints: 32263
1085.27/1088.66 c #Conflicts: 1116000 | #Constraints: 33263
1085.27/1088.66 c #Conflicts: 1117000 | #Constraints: 34263
1085.27/1088.66 c #Conflicts: 1118000 | #Constraints: 35263
1085.27/1088.66 c #Conflicts: 1119000 | #Constraints: 36263
1085.27/1088.66 c #Conflicts: 1120000 | #Constraints: 37263
1085.27/1088.66 c #Conflicts: 1121000 | #Constraints: 38263
1085.27/1088.66 c #Conflicts: 1122000 | #Constraints: 39263
1085.27/1088.66 c #Conflicts: 1123000 | #Constraints: 40263
1085.27/1088.66 c #Conflicts: 1124000 | #Constraints: 41263
1085.27/1088.66 c #Conflicts: 1125000 | #Constraints: 42263
1085.27/1088.66 c INPROCESSING
1085.27/1088.66 c GARBAGE COLLECT
1085.27/1088.66 c rational objective 2.00001
1120.36/1123.87 c #Conflicts: 1126000 | #Constraints: 22076
1120.36/1123.87 c #Conflicts: 1127000 | #Constraints: 23111
1120.36/1123.87 c #Conflicts: 1128000 | #Constraints: 24111
1120.36/1123.87 c #Conflicts: 1129000 | #Constraints: 25111
1120.36/1123.87 c #Conflicts: 1130000 | #Constraints: 26111
1120.36/1123.87 c #Conflicts: 1131000 | #Constraints: 27111
1120.36/1123.87 c #Conflicts: 1132000 | #Constraints: 28111
1120.36/1123.87 c #Conflicts: 1133000 | #Constraints: 29111
1120.36/1123.87 c #Conflicts: 1134000 | #Constraints: 30111
1120.36/1123.87 c #Conflicts: 1135000 | #Constraints: 31111
1120.36/1123.87 c #Conflicts: 1136000 | #Constraints: 32111
1120.36/1123.87 c #Conflicts: 1137000 | #Constraints: 33111
1120.36/1123.87 c #Conflicts: 1138000 | #Constraints: 34111
1120.36/1123.87 c #Conflicts: 1139000 | #Constraints: 35111
1120.36/1123.87 c #Conflicts: 1140000 | #Constraints: 36111
1120.36/1123.87 c #Conflicts: 1141000 | #Constraints: 37111
1120.36/1123.87 c #Conflicts: 1142000 | #Constraints: 38111
1120.36/1123.87 c #Conflicts: 1143000 | #Constraints: 39111
1120.36/1123.87 c #Conflicts: 1144000 | #Constraints: 40111
1120.36/1123.87 c #Conflicts: 1145000 | #Constraints: 41111
1120.36/1123.87 c #Conflicts: 1146000 | #Constraints: 42111
1120.36/1123.87 c INPROCESSING
1120.36/1123.87 c GARBAGE COLLECT
1120.36/1123.87 c rational objective 2.00002
1163.23/1166.84 c #Conflicts: 1147000 | #Constraints: 21768
1163.23/1166.84 c #Conflicts: 1148000 | #Constraints: 22782
1163.23/1166.84 c #Conflicts: 1149000 | #Constraints: 23782
1163.23/1166.84 c #Conflicts: 1150000 | #Constraints: 24782
1163.23/1166.84 c #Conflicts: 1151000 | #Constraints: 25782
1163.23/1166.84 c #Conflicts: 1152000 | #Constraints: 26782
1163.23/1166.84 c #Conflicts: 1153000 | #Constraints: 27782
1163.23/1166.84 c #Conflicts: 1154000 | #Constraints: 28782
1163.23/1166.84 c #Conflicts: 1155000 | #Constraints: 29782
1163.23/1166.84 c #Conflicts: 1156000 | #Constraints: 30790
1163.23/1166.84 c #Conflicts: 1157000 | #Constraints: 31834
1163.23/1166.84 c #Conflicts: 1158000 | #Constraints: 32837
1163.23/1166.84 c #Conflicts: 1159000 | #Constraints: 33882
1163.23/1166.84 c #Conflicts: 1160000 | #Constraints: 34946
1163.23/1166.84 c #Conflicts: 1161000 | #Constraints: 35950
1163.23/1166.84 c #Conflicts: 1162000 | #Constraints: 36950
1163.23/1166.84 c #Conflicts: 1163000 | #Constraints: 37950
1163.23/1166.84 c #Conflicts: 1164000 | #Constraints: 38950
1163.23/1166.84 c #Conflicts: 1165000 | #Constraints: 39950
1163.23/1166.84 c #Conflicts: 1166000 | #Constraints: 40950
1163.23/1166.84 c #Conflicts: 1167000 | #Constraints: 41950
1163.23/1166.84 c #Conflicts: 1168000 | #Constraints: 42950
1163.23/1166.84 c INPROCESSING
1163.23/1166.84 c GARBAGE COLLECT
1163.23/1166.84 c rational objective 2.00001
1202.70/1206.46 c #Conflicts: 1169000 | #Constraints: 22392
1202.70/1206.46 c #Conflicts: 1170000 | #Constraints: 23392
1202.70/1206.46 c #Conflicts: 1171000 | #Constraints: 24392
1202.70/1206.46 c #Conflicts: 1172000 | #Constraints: 25392
1202.70/1206.46 c #Conflicts: 1173000 | #Constraints: 26392
1202.70/1206.46 c #Conflicts: 1174000 | #Constraints: 27392
1202.70/1206.46 c #Conflicts: 1175000 | #Constraints: 28392
1202.70/1206.46 c #Conflicts: 1176000 | #Constraints: 29406
1202.70/1206.46 c #Conflicts: 1177000 | #Constraints: 30406
1202.70/1206.46 c #Conflicts: 1178000 | #Constraints: 31406
1202.70/1206.46 c #Conflicts: 1179000 | #Constraints: 32406
1202.70/1206.46 c #Conflicts: 1180000 | #Constraints: 33406
1202.70/1206.46 c #Conflicts: 1181000 | #Constraints: 34406
1202.70/1206.46 c #Conflicts: 1182000 | #Constraints: 35406
1202.70/1206.46 c #Conflicts: 1183000 | #Constraints: 36406
1202.70/1206.46 c #Conflicts: 1184000 | #Constraints: 37406
1202.70/1206.46 c #Conflicts: 1185000 | #Constraints: 38406
1202.70/1206.46 c #Conflicts: 1186000 | #Constraints: 39406
1202.70/1206.46 c #Conflicts: 1187000 | #Constraints: 40406
1202.70/1206.46 c #Conflicts: 1188000 | #Constraints: 41406
1202.70/1206.46 c #Conflicts: 1189000 | #Constraints: 42406
1202.70/1206.46 c #Conflicts: 1190000 | #Constraints: 43406
1202.70/1206.46 c INPROCESSING
1202.70/1206.46 c GARBAGE COLLECT
1202.70/1206.46 c rational objective 2.00001
1242.07/1245.99 c #Conflicts: 1191000 | #Constraints: 22751
1242.07/1245.99 c #Conflicts: 1192000 | #Constraints: 23766
1242.07/1245.99 c #Conflicts: 1193000 | #Constraints: 24766
1242.07/1245.99 c #Conflicts: 1194000 | #Constraints: 25766
1242.07/1245.99 c #Conflicts: 1195000 | #Constraints: 26766
1242.07/1245.99 c #Conflicts: 1196000 | #Constraints: 27766
1242.07/1245.99 c #Conflicts: 1197000 | #Constraints: 28766
1242.07/1245.99 c #Conflicts: 1198000 | #Constraints: 29766
1242.07/1245.99 c #Conflicts: 1199000 | #Constraints: 30766
1242.07/1245.99 c #Conflicts: 1200000 | #Constraints: 31766
1242.07/1245.99 c #Conflicts: 1201000 | #Constraints: 32766
1242.07/1245.99 c #Conflicts: 1202000 | #Constraints: 33766
1242.07/1245.99 c #Conflicts: 1203000 | #Constraints: 34766
1242.07/1245.99 c #Conflicts: 1204000 | #Constraints: 35766
1242.07/1245.99 c #Conflicts: 1205000 | #Constraints: 36766
1242.07/1245.99 c #Conflicts: 1206000 | #Constraints: 37766
1242.07/1245.99 c #Conflicts: 1207000 | #Constraints: 38766
1242.07/1245.99 c #Conflicts: 1208000 | #Constraints: 39766
1242.07/1245.99 c #Conflicts: 1209000 | #Constraints: 40766
1242.07/1245.99 c #Conflicts: 1210000 | #Constraints: 41766
1242.07/1245.99 c #Conflicts: 1211000 | #Constraints: 42766
1242.07/1245.99 c #Conflicts: 1212000 | #Constraints: 43766
1242.07/1245.99 c INPROCESSING
1242.07/1245.99 c GARBAGE COLLECT
1242.07/1245.99 c rational objective 2.00001
1283.22/1287.28 c #Conflicts: 1213000 | #Constraints: 22902
1283.22/1287.28 c #Conflicts: 1214000 | #Constraints: 23902
1283.22/1287.28 c #Conflicts: 1215000 | #Constraints: 24921
1283.22/1287.28 c #Conflicts: 1216000 | #Constraints: 25929
1283.22/1287.28 c #Conflicts: 1217000 | #Constraints: 26945
1283.22/1287.28 c #Conflicts: 1218000 | #Constraints: 27945
1283.22/1287.28 c #Conflicts: 1219000 | #Constraints: 28945
1283.22/1287.28 c #Conflicts: 1220000 | #Constraints: 29945
1283.22/1287.28 c #Conflicts: 1221000 | #Constraints: 30945
1283.22/1287.28 c #Conflicts: 1222000 | #Constraints: 31945
1283.22/1287.28 c #Conflicts: 1223000 | #Constraints: 32945
1283.22/1287.28 c #Conflicts: 1224000 | #Constraints: 33945
1283.22/1287.28 c #Conflicts: 1225000 | #Constraints: 34945
1283.22/1287.28 c #Conflicts: 1226000 | #Constraints: 35945
1283.22/1287.28 c #Conflicts: 1227000 | #Constraints: 36945
1283.22/1287.28 c #Conflicts: 1228000 | #Constraints: 37945
1283.22/1287.28 c #Conflicts: 1229000 | #Constraints: 38945
1283.22/1287.28 c #Conflicts: 1230000 | #Constraints: 39945
1283.22/1287.28 c #Conflicts: 1231000 | #Constraints: 40945
1283.22/1287.28 c #Conflicts: 1232000 | #Constraints: 41945
1283.22/1287.28 c #Conflicts: 1233000 | #Constraints: 42945
1283.22/1287.28 c #Conflicts: 1234000 | #Constraints: 43945
1283.22/1287.28 c INPROCESSING
1283.22/1287.28 c GARBAGE COLLECT
1283.22/1287.28 c rational objective 2.00002
1326.46/1330.67 c #Conflicts: 1235000 | #Constraints: 22912
1326.46/1330.67 c #Conflicts: 1236000 | #Constraints: 23937
1326.46/1330.67 c #Conflicts: 1237000 | #Constraints: 24948
1326.46/1330.67 c #Conflicts: 1238000 | #Constraints: 25969
1326.46/1330.67 c #Conflicts: 1239000 | #Constraints: 26975
1326.46/1330.67 c #Conflicts: 1240000 | #Constraints: 27975
1326.46/1330.67 c #Conflicts: 1241000 | #Constraints: 28975
1326.46/1330.67 c #Conflicts: 1242000 | #Constraints: 29975
1326.46/1330.67 c #Conflicts: 1243000 | #Constraints: 30975
1326.46/1330.67 c #Conflicts: 1244000 | #Constraints: 31975
1326.46/1330.67 c #Conflicts: 1245000 | #Constraints: 32975
1326.46/1330.67 c #Conflicts: 1246000 | #Constraints: 33975
1326.46/1330.67 c #Conflicts: 1247000 | #Constraints: 34975
1326.46/1330.67 c #Conflicts: 1248000 | #Constraints: 35975
1326.46/1330.67 c #Conflicts: 1249000 | #Constraints: 36975
1326.46/1330.67 c #Conflicts: 1250000 | #Constraints: 37975
1326.46/1330.67 c #Conflicts: 1251000 | #Constraints: 38975
1326.46/1330.67 c #Conflicts: 1252000 | #Constraints: 39975
1326.46/1330.67 c #Conflicts: 1253000 | #Constraints: 40975
1326.46/1330.67 c #Conflicts: 1254000 | #Constraints: 41975
1326.46/1330.67 c #Conflicts: 1255000 | #Constraints: 42975
1326.46/1330.67 c #Conflicts: 1256000 | #Constraints: 43975
1326.46/1330.67 c INPROCESSING
1326.46/1330.67 c GARBAGE COLLECT
1326.46/1330.67 c rational objective 2.00001
1368.52/1372.87 c #Conflicts: 1257000 | #Constraints: 22698
1368.52/1372.87 c #Conflicts: 1258000 | #Constraints: 23716
1368.52/1372.87 c #Conflicts: 1259000 | #Constraints: 24731
1368.52/1372.87 c #Conflicts: 1260000 | #Constraints: 25737
1368.52/1372.87 c #Conflicts: 1261000 | #Constraints: 26737
1368.52/1372.87 c #Conflicts: 1262000 | #Constraints: 27746
1368.52/1372.87 c #Conflicts: 1263000 | #Constraints: 28747
1368.52/1372.87 c #Conflicts: 1264000 | #Constraints: 29747
1368.52/1372.87 c #Conflicts: 1265000 | #Constraints: 30747
1368.52/1372.87 c #Conflicts: 1266000 | #Constraints: 31747
1368.52/1372.87 c #Conflicts: 1267000 | #Constraints: 32747
1368.52/1372.87 c #Conflicts: 1268000 | #Constraints: 33747
1368.52/1372.87 c #Conflicts: 1269000 | #Constraints: 34747
1368.52/1372.87 c #Conflicts: 1270000 | #Constraints: 35747
1368.52/1372.87 c #Conflicts: 1271000 | #Constraints: 36747
1368.52/1372.87 c #Conflicts: 1272000 | #Constraints: 37747
1368.52/1372.87 c #Conflicts: 1273000 | #Constraints: 38747
1368.52/1372.87 c #Conflicts: 1274000 | #Constraints: 39747
1368.52/1372.87 c #Conflicts: 1275000 | #Constraints: 40747
1368.52/1372.87 c #Conflicts: 1276000 | #Constraints: 41747
1368.52/1372.87 c #Conflicts: 1277000 | #Constraints: 42747
1368.52/1372.87 c #Conflicts: 1278000 | #Constraints: 43747
1368.52/1372.87 c #Conflicts: 1279000 | #Constraints: 44747
1368.52/1372.87 c INPROCESSING
1368.52/1372.87 c GARBAGE COLLECT
1368.52/1372.87 c rational objective 2.00001
1411.77/1416.24 c #Conflicts: 1280000 | #Constraints: 23290
1411.77/1416.24 c #Conflicts: 1281000 | #Constraints: 24292
1411.77/1416.24 c #Conflicts: 1282000 | #Constraints: 25303
1411.77/1416.24 c #Conflicts: 1283000 | #Constraints: 26314
1411.77/1416.24 c #Conflicts: 1284000 | #Constraints: 27325
1411.77/1416.24 c #Conflicts: 1285000 | #Constraints: 28342
1411.77/1416.24 c #Conflicts: 1286000 | #Constraints: 29358
1411.77/1416.24 c #Conflicts: 1287000 | #Constraints: 30374
1411.77/1416.24 c #Conflicts: 1288000 | #Constraints: 31400
1411.77/1416.24 c #Conflicts: 1289000 | #Constraints: 32411
1411.77/1416.24 c #Conflicts: 1290000 | #Constraints: 33453
1411.77/1416.24 c #Conflicts: 1291000 | #Constraints: 34470
1411.77/1416.24 c #Conflicts: 1292000 | #Constraints: 35475
1411.77/1416.24 c #Conflicts: 1293000 | #Constraints: 36475
1411.77/1416.24 c #Conflicts: 1294000 | #Constraints: 37475
1411.77/1416.24 c #Conflicts: 1295000 | #Constraints: 38475
1411.77/1416.24 c #Conflicts: 1296000 | #Constraints: 39475
1411.77/1416.24 c #Conflicts: 1297000 | #Constraints: 40475
1411.77/1416.24 c #Conflicts: 1298000 | #Constraints: 41475
1411.77/1416.24 c #Conflicts: 1299000 | #Constraints: 42475
1411.77/1416.24 c #Conflicts: 1300000 | #Constraints: 43475
1411.77/1416.24 c #Conflicts: 1301000 | #Constraints: 44475
1411.77/1416.24 c #Conflicts: 1302000 | #Constraints: 45475
1411.77/1416.24 c INPROCESSING
1411.77/1416.24 c GARBAGE COLLECT
1411.77/1416.24 c rational objective 2.00001
1459.42/1464.06 c #Conflicts: 1303000 | #Constraints: 23765
1459.42/1464.06 c #Conflicts: 1304000 | #Constraints: 24773
1459.42/1464.06 c #Conflicts: 1305000 | #Constraints: 25773
1459.42/1464.06 c #Conflicts: 1306000 | #Constraints: 26773
1459.42/1464.06 c #Conflicts: 1307000 | #Constraints: 27773
1459.42/1464.06 c #Conflicts: 1308000 | #Constraints: 28773
1459.42/1464.06 c #Conflicts: 1309000 | #Constraints: 29773
1459.42/1464.06 c #Conflicts: 1310000 | #Constraints: 30773
1459.42/1464.06 c #Conflicts: 1311000 | #Constraints: 31773
1459.42/1464.06 c #Conflicts: 1312000 | #Constraints: 32773
1459.42/1464.06 c #Conflicts: 1313000 | #Constraints: 33773
1459.42/1464.06 c #Conflicts: 1314000 | #Constraints: 34773
1459.42/1464.06 c #Conflicts: 1315000 | #Constraints: 35773
1459.42/1464.06 c #Conflicts: 1316000 | #Constraints: 36773
1459.42/1464.06 c #Conflicts: 1317000 | #Constraints: 37802
1459.42/1464.06 c #Conflicts: 1318000 | #Constraints: 38802
1459.42/1464.06 c #Conflicts: 1319000 | #Constraints: 39824
1459.42/1464.06 c #Conflicts: 1320000 | #Constraints: 40836
1459.42/1464.06 c #Conflicts: 1321000 | #Constraints: 41836
1459.42/1464.06 c #Conflicts: 1322000 | #Constraints: 42836
1459.42/1464.06 c #Conflicts: 1323000 | #Constraints: 43836
1459.42/1464.06 c #Conflicts: 1324000 | #Constraints: 44836
1459.42/1464.06 c #Conflicts: 1325000 | #Constraints: 45836
1459.42/1464.06 c INPROCESSING
1459.42/1464.06 c GARBAGE COLLECT
1459.42/1464.06 c rational objective 2.00002
1503.47/1508.20 c #Conflicts: 1326000 | #Constraints: 23967
1503.47/1508.20 c #Conflicts: 1327000 | #Constraints: 24974
1503.47/1508.20 c #Conflicts: 1328000 | #Constraints: 25974
1503.47/1508.20 c #Conflicts: 1329000 | #Constraints: 26984
1503.47/1508.20 c #Conflicts: 1330000 | #Constraints: 27984
1503.47/1508.20 c #Conflicts: 1331000 | #Constraints: 28984
1503.47/1508.20 c #Conflicts: 1332000 | #Constraints: 29984
1503.47/1508.20 c #Conflicts: 1333000 | #Constraints: 30984
1503.47/1508.20 c #Conflicts: 1334000 | #Constraints: 31984
1503.47/1508.20 c #Conflicts: 1335000 | #Constraints: 32984
1503.47/1508.20 c #Conflicts: 1336000 | #Constraints: 33984
1503.47/1508.20 c #Conflicts: 1337000 | #Constraints: 34984
1503.47/1508.20 c #Conflicts: 1338000 | #Constraints: 35984
1503.47/1508.20 c #Conflicts: 1339000 | #Constraints: 36984
1503.47/1508.20 c #Conflicts: 1340000 | #Constraints: 37984
1503.47/1508.20 c #Conflicts: 1341000 | #Constraints: 38984
1503.47/1508.20 c #Conflicts: 1342000 | #Constraints: 39984
1503.47/1508.20 c #Conflicts: 1343000 | #Constraints: 40984
1503.47/1508.20 c #Conflicts: 1344000 | #Constraints: 41984
1503.47/1508.20 c #Conflicts: 1345000 | #Constraints: 42984
1503.47/1508.20 c #Conflicts: 1346000 | #Constraints: 43984
1503.47/1508.20 c #Conflicts: 1347000 | #Constraints: 44984
1503.47/1508.20 c #Conflicts: 1348000 | #Constraints: 45984
1503.47/1508.20 c INPROCESSING
1503.47/1508.20 c GARBAGE COLLECT
1503.47/1508.20 c rational objective 2.00002
1561.29/1566.29 c #Conflicts: 1349000 | #Constraints: 23942
1561.29/1566.29 c #Conflicts: 1350000 | #Constraints: 25071
1561.29/1566.29 c #Conflicts: 1351000 | #Constraints: 26179
1561.29/1566.29 c #Conflicts: 1352000 | #Constraints: 27274
1561.29/1566.29 c #Conflicts: 1353000 | #Constraints: 28405
1561.29/1566.29 c #Conflicts: 1354000 | #Constraints: 29505
1561.29/1566.29 c #Conflicts: 1355000 | #Constraints: 30637
1561.29/1566.29 c #Conflicts: 1356000 | #Constraints: 31793
1561.29/1566.29 c #Conflicts: 1357000 | #Constraints: 32894
1561.29/1566.29 c #Conflicts: 1358000 | #Constraints: 33986
1561.29/1566.29 c #Conflicts: 1359000 | #Constraints: 35091
1561.29/1566.29 c #Conflicts: 1360000 | #Constraints: 36193
1561.29/1566.29 c #Conflicts: 1361000 | #Constraints: 37297
1561.29/1566.29 c #Conflicts: 1362000 | #Constraints: 38337
1561.29/1566.29 c #Conflicts: 1363000 | #Constraints: 39337
1561.29/1566.29 c #Conflicts: 1364000 | #Constraints: 40337
1561.29/1566.29 c #Conflicts: 1365000 | #Constraints: 41337
1561.29/1566.29 c #Conflicts: 1366000 | #Constraints: 42337
1561.29/1566.29 c #Conflicts: 1367000 | #Constraints: 43337
1561.29/1566.29 c #Conflicts: 1368000 | #Constraints: 44337
1561.29/1566.29 c #Conflicts: 1369000 | #Constraints: 45337
1561.29/1566.29 c #Conflicts: 1370000 | #Constraints: 46337
1561.29/1566.29 c #Conflicts: 1371000 | #Constraints: 47337
1561.29/1566.29 c INPROCESSING
1561.29/1566.29 c GARBAGE COLLECT
1561.29/1566.29 c rational objective 2.0002
1612.95/1618.02 c #Conflicts: 1372000 | #Constraints: 24397
1612.95/1618.02 c #Conflicts: 1373000 | #Constraints: 25507
1612.95/1618.02 c #Conflicts: 1374000 | #Constraints: 26605
1612.95/1618.02 c #Conflicts: 1375000 | #Constraints: 27704
1612.95/1618.02 c #Conflicts: 1376000 | #Constraints: 28788
1612.95/1618.02 c #Conflicts: 1377000 | #Constraints: 29913
1612.95/1618.02 c #Conflicts: 1378000 | #Constraints: 30984
1612.95/1618.02 c #Conflicts: 1379000 | #Constraints: 32029
1612.95/1618.02 c #Conflicts: 1380000 | #Constraints: 33112
1612.95/1618.02 c #Conflicts: 1381000 | #Constraints: 34158
1612.95/1618.02 c #Conflicts: 1382000 | #Constraints: 35211
1612.95/1618.02 c #Conflicts: 1383000 | #Constraints: 36284
1612.95/1618.02 c #Conflicts: 1384000 | #Constraints: 37356
1612.95/1618.02 c #Conflicts: 1385000 | #Constraints: 38381
1612.95/1618.02 c #Conflicts: 1386000 | #Constraints: 39381
1612.95/1618.02 c #Conflicts: 1387000 | #Constraints: 40414
1612.95/1618.02 c #Conflicts: 1388000 | #Constraints: 41498
1612.95/1618.02 c #Conflicts: 1389000 | #Constraints: 42569
1612.95/1618.02 c #Conflicts: 1390000 | #Constraints: 43569
1612.95/1618.02 c #Conflicts: 1391000 | #Constraints: 44611
1612.95/1618.02 c #Conflicts: 1392000 | #Constraints: 45705
1612.95/1618.02 c #Conflicts: 1393000 | #Constraints: 46781
1612.95/1618.02 c #Conflicts: 1394000 | #Constraints: 47874
1612.95/1618.02 c #Conflicts: 1395000 | #Constraints: 48956
1612.95/1618.02 c INPROCESSING
1612.95/1618.02 c GARBAGE COLLECT
1612.95/1618.02 c rational objective 2.00033
1672.25/1677.57 c #Conflicts: 1396000 | #Constraints: 25417
1672.25/1677.57 c #Conflicts: 1397000 | #Constraints: 26459
1672.25/1677.57 c #Conflicts: 1398000 | #Constraints: 27506
1672.25/1677.57 c #Conflicts: 1399000 | #Constraints: 28547
1672.25/1677.57 c #Conflicts: 1400000 | #Constraints: 29581
1672.25/1677.57 c #Conflicts: 1401000 | #Constraints: 30591
1672.25/1677.57 c #Conflicts: 1402000 | #Constraints: 31591
1672.25/1677.57 c #Conflicts: 1403000 | #Constraints: 32591
1672.25/1677.57 c #Conflicts: 1404000 | #Constraints: 33616
1672.25/1677.57 c #Conflicts: 1405000 | #Constraints: 34672
1672.25/1677.57 c #Conflicts: 1406000 | #Constraints: 35711
1672.25/1677.57 c #Conflicts: 1407000 | #Constraints: 36805
1672.25/1677.57 c #Conflicts: 1408000 | #Constraints: 37837
1672.25/1677.57 c #Conflicts: 1409000 | #Constraints: 38870
1672.25/1677.57 c #Conflicts: 1410000 | #Constraints: 39891
1672.25/1677.57 c #Conflicts: 1411000 | #Constraints: 40895
1672.25/1677.57 c #Conflicts: 1412000 | #Constraints: 41895
1672.25/1677.57 c #Conflicts: 1413000 | #Constraints: 42930
1672.25/1677.57 c #Conflicts: 1414000 | #Constraints: 43948
1672.25/1677.57 c #Conflicts: 1415000 | #Constraints: 44983
1672.25/1677.57 c #Conflicts: 1416000 | #Constraints: 46050
1672.25/1677.57 c #Conflicts: 1417000 | #Constraints: 47087
1672.25/1677.57 c #Conflicts: 1418000 | #Constraints: 48139
1672.25/1677.57 c #Conflicts: 1419000 | #Constraints: 49179
1672.25/1677.57 c INPROCESSING
1672.25/1677.57 c GARBAGE COLLECT
1672.25/1677.57 c rational objective 2.00029
1729.70/1735.12 c #Conflicts: 1420000 | #Constraints: 25651
1729.70/1735.12 c #Conflicts: 1421000 | #Constraints: 26747
1729.70/1735.12 c #Conflicts: 1422000 | #Constraints: 27803
1729.70/1735.12 c #Conflicts: 1423000 | #Constraints: 28835
1729.70/1735.12 c #Conflicts: 1424000 | #Constraints: 29855
1729.70/1735.12 c #Conflicts: 1425000 | #Constraints: 30898
1729.70/1735.12 c #Conflicts: 1426000 | #Constraints: 31956
1729.70/1735.12 c #Conflicts: 1427000 | #Constraints: 32996
1729.70/1735.12 c #Conflicts: 1428000 | #Constraints: 34028
1729.70/1735.12 c #Conflicts: 1429000 | #Constraints: 35067
1729.70/1735.12 c #Conflicts: 1430000 | #Constraints: 36115
1729.70/1735.12 c #Conflicts: 1431000 | #Constraints: 37130
1729.70/1735.12 c #Conflicts: 1432000 | #Constraints: 38166
1729.70/1735.12 c #Conflicts: 1433000 | #Constraints: 39166
1729.70/1735.12 c #Conflicts: 1434000 | #Constraints: 40168
1729.70/1735.12 c #Conflicts: 1435000 | #Constraints: 41197
1729.70/1735.12 c #Conflicts: 1436000 | #Constraints: 42226
1729.70/1735.12 c #Conflicts: 1437000 | #Constraints: 43226
1729.70/1735.12 c #Conflicts: 1438000 | #Constraints: 44226
1729.70/1735.12 c #Conflicts: 1439000 | #Constraints: 45226
1729.70/1735.12 c #Conflicts: 1440000 | #Constraints: 46226
1729.70/1735.12 c #Conflicts: 1441000 | #Constraints: 47226
1729.70/1735.12 c #Conflicts: 1442000 | #Constraints: 48226
1729.70/1735.12 c #Conflicts: 1443000 | #Constraints: 49226
1729.70/1735.12 c INPROCESSING
1729.70/1735.12 c GARBAGE COLLECT
1729.70/1735.12 c rational objective 2.0003
1784.10/1789.75 c #Conflicts: 1444000 | #Constraints: 25665
1784.10/1789.75 c #Conflicts: 1445000 | #Constraints: 26681
1784.10/1789.75 c #Conflicts: 1446000 | #Constraints: 27681
1784.10/1789.75 c #Conflicts: 1447000 | #Constraints: 28681
1784.10/1789.75 c #Conflicts: 1448000 | #Constraints: 29681
1784.10/1789.75 c #Conflicts: 1449000 | #Constraints: 30681
1784.10/1789.75 c #Conflicts: 1450000 | #Constraints: 31681
1784.10/1789.75 c #Conflicts: 1451000 | #Constraints: 32681
1784.10/1789.75 c #Conflicts: 1452000 | #Constraints: 33681
1784.10/1789.75 c #Conflicts: 1453000 | #Constraints: 34681
1784.10/1789.75 c #Conflicts: 1454000 | #Constraints: 35681
1784.10/1789.75 c #Conflicts: 1455000 | #Constraints: 36681
1784.10/1789.75 c #Conflicts: 1456000 | #Constraints: 37681
1784.10/1789.75 c #Conflicts: 1457000 | #Constraints: 38681
1784.10/1789.75 c #Conflicts: 1458000 | #Constraints: 39681
1784.10/1789.75 c #Conflicts: 1459000 | #Constraints: 40681
1784.10/1789.75 c #Conflicts: 1460000 | #Constraints: 41681
1784.10/1789.75 c #Conflicts: 1461000 | #Constraints: 42681
1784.10/1789.75 c #Conflicts: 1462000 | #Constraints: 43681
1784.10/1789.75 c #Conflicts: 1463000 | #Constraints: 44681
1784.10/1789.75 c #Conflicts: 1464000 | #Constraints: 45681
1784.10/1789.75 c #Conflicts: 1465000 | #Constraints: 46681
1784.10/1789.75 c #Conflicts: 1466000 | #Constraints: 47681
1784.10/1789.75 c #Conflicts: 1467000 | #Constraints: 48681
1784.10/1789.75 c INPROCESSING
1784.10/1789.75 c GARBAGE COLLECT
1784.10/1789.75 c rational objective 2.00013
1840.31/1846.19 c #Conflicts: 1468000 | #Constraints: 25304
1840.31/1846.19 c #Conflicts: 1469000 | #Constraints: 26390
1840.31/1846.19 c #Conflicts: 1470000 | #Constraints: 27480
1840.31/1846.19 c #Conflicts: 1471000 | #Constraints: 28562
1840.31/1846.19 c #Conflicts: 1472000 | #Constraints: 29673
1840.31/1846.19 c #Conflicts: 1473000 | #Constraints: 30774
1840.31/1846.19 c #Conflicts: 1474000 | #Constraints: 31885
1840.31/1846.19 c #Conflicts: 1475000 | #Constraints: 32950
1840.31/1846.19 c #Conflicts: 1476000 | #Constraints: 34015
1840.31/1846.19 c #Conflicts: 1477000 | #Constraints: 35095
1840.31/1846.19 c #Conflicts: 1478000 | #Constraints: 36230
1840.31/1846.19 c #Conflicts: 1479000 | #Constraints: 37324
1840.31/1846.19 c #Conflicts: 1480000 | #Constraints: 38389
1840.31/1846.19 c #Conflicts: 1481000 | #Constraints: 39485
1840.31/1846.19 c #Conflicts: 1482000 | #Constraints: 40486
1840.31/1846.19 c #Conflicts: 1483000 | #Constraints: 41563
1840.31/1846.19 c #Conflicts: 1484000 | #Constraints: 42649
1840.31/1846.19 c #Conflicts: 1485000 | #Constraints: 43711
1840.31/1846.19 c #Conflicts: 1486000 | #Constraints: 44795
1840.31/1846.19 c #Conflicts: 1487000 | #Constraints: 45903
1840.31/1846.19 c #Conflicts: 1488000 | #Constraints: 47002
1840.31/1846.19 c #Conflicts: 1489000 | #Constraints: 48081
1840.31/1846.19 c #Conflicts: 1490000 | #Constraints: 49085
1840.31/1846.19 c #Conflicts: 1491000 | #Constraints: 50213
1840.31/1846.19 c INPROCESSING
1840.31/1846.19 c GARBAGE COLLECT
1840.31/1846.19 c rational objective 2.00001
1896.30/1902.34 c #Conflicts: 1492000 | #Constraints: 25838
1896.30/1902.34 c #Conflicts: 1493000 | #Constraints: 26838
1896.30/1902.34 c #Conflicts: 1494000 | #Constraints: 27855
1896.30/1902.34 c #Conflicts: 1495000 | #Constraints: 28867
1896.30/1902.34 c #Conflicts: 1496000 | #Constraints: 29867
1896.30/1902.34 c #Conflicts: 1497000 | #Constraints: 30867
1896.30/1902.34 c #Conflicts: 1498000 | #Constraints: 31867
1896.30/1902.34 c #Conflicts: 1499000 | #Constraints: 32867
1896.30/1902.34 c #Conflicts: 1500000 | #Constraints: 33889
1896.30/1902.34 c #Conflicts: 1501000 | #Constraints: 34889
1896.30/1902.34 c #Conflicts: 1502000 | #Constraints: 35898
1896.30/1902.34 c #Conflicts: 1503000 | #Constraints: 36903
1896.30/1902.34 c #Conflicts: 1504000 | #Constraints: 37917
1896.30/1902.34 c #Conflicts: 1505000 | #Constraints: 38955
1896.30/1902.34 c #Conflicts: 1506000 | #Constraints: 39992
1896.30/1902.34 c #Conflicts: 1507000 | #Constraints: 41032
1896.30/1902.34 c #Conflicts: 1508000 | #Constraints: 42093
1896.30/1902.34 c #Conflicts: 1509000 | #Constraints: 43136
1896.30/1902.34 c #Conflicts: 1510000 | #Constraints: 44187
1896.30/1902.34 c #Conflicts: 1511000 | #Constraints: 45187
1896.30/1902.34 c #Conflicts: 1512000 | #Constraints: 46187
1896.30/1902.34 c #Conflicts: 1513000 | #Constraints: 47187
1896.30/1902.34 c #Conflicts: 1514000 | #Constraints: 48217
1896.30/1902.34 c #Conflicts: 1515000 | #Constraints: 49295
1896.30/1902.34 c #Conflicts: 1516000 | #Constraints: 50374
1896.30/1902.34 c INPROCESSING
1896.30/1902.34 c GARBAGE COLLECT
1896.30/1902.34 c rational objective 1.99999
1953.71/1959.99 c #Conflicts: 1517000 | #Constraints: 26109
1953.71/1959.99 c #Conflicts: 1518000 | #Constraints: 27122
1953.71/1959.99 c #Conflicts: 1519000 | #Constraints: 28132
1953.71/1959.99 c #Conflicts: 1520000 | #Constraints: 29167
1953.71/1959.99 c #Conflicts: 1521000 | #Constraints: 30167
1953.71/1959.99 c #Conflicts: 1522000 | #Constraints: 31216
1953.71/1959.99 c #Conflicts: 1523000 | #Constraints: 32249
1953.71/1959.99 c #Conflicts: 1524000 | #Constraints: 33249
1953.71/1959.99 c #Conflicts: 1525000 | #Constraints: 34249
1953.71/1959.99 c #Conflicts: 1526000 | #Constraints: 35251
1953.71/1959.99 c #Conflicts: 1527000 | #Constraints: 36266
1953.71/1959.99 c #Conflicts: 1528000 | #Constraints: 37295
1953.71/1959.99 c #Conflicts: 1529000 | #Constraints: 38335
1953.71/1959.99 c #Conflicts: 1530000 | #Constraints: 39377
1953.71/1959.99 c #Conflicts: 1531000 | #Constraints: 40388
1953.71/1959.99 c #Conflicts: 1532000 | #Constraints: 41419
1953.71/1959.99 c #Conflicts: 1533000 | #Constraints: 42452
1953.71/1959.99 c #Conflicts: 1534000 | #Constraints: 43455
1953.71/1959.99 c #Conflicts: 1535000 | #Constraints: 44487
1953.71/1959.99 c #Conflicts: 1536000 | #Constraints: 45526
1953.71/1959.99 c #Conflicts: 1537000 | #Constraints: 46582
1953.71/1959.99 c #Conflicts: 1538000 | #Constraints: 47638
1953.71/1959.99 c #Conflicts: 1539000 | #Constraints: 48699
1953.71/1959.99 c #Conflicts: 1540000 | #Constraints: 49718
1953.71/1959.99 c #Conflicts: 1541000 | #Constraints: 50775
1953.71/1959.99 c INPROCESSING
1953.71/1959.99 c GARBAGE COLLECT
1953.71/1959.99 c rational objective 2.04942
2007.64/2014.07 c #Conflicts: 1542000 | #Constraints: 26470
2007.64/2014.07 c #Conflicts: 1543000 | #Constraints: 27487
2007.64/2014.07 c #Conflicts: 1544000 | #Constraints: 28506
2007.64/2014.07 c #Conflicts: 1545000 | #Constraints: 29529
2007.64/2014.07 c #Conflicts: 1546000 | #Constraints: 30543
2007.64/2014.07 c #Conflicts: 1547000 | #Constraints: 31573
2007.64/2014.07 c #Conflicts: 1548000 | #Constraints: 32610
2007.64/2014.07 c #Conflicts: 1549000 | #Constraints: 33629
2007.64/2014.07 c #Conflicts: 1550000 | #Constraints: 34645
2007.64/2014.07 c #Conflicts: 1551000 | #Constraints: 35679
2007.64/2014.07 c #Conflicts: 1552000 | #Constraints: 36733
2007.64/2014.07 c #Conflicts: 1553000 | #Constraints: 37760
2007.64/2014.07 c #Conflicts: 1554000 | #Constraints: 38793
2007.64/2014.07 c #Conflicts: 1555000 | #Constraints: 39841
2007.64/2014.07 c #Conflicts: 1556000 | #Constraints: 40865
2007.64/2014.07 c #Conflicts: 1557000 | #Constraints: 41901
2007.64/2014.07 c #Conflicts: 1558000 | #Constraints: 42941
2007.64/2014.07 c #Conflicts: 1559000 | #Constraints: 44010
2007.64/2014.07 c #Conflicts: 1560000 | #Constraints: 45033
2007.64/2014.07 c #Conflicts: 1561000 | #Constraints: 46076
2007.64/2014.07 c #Conflicts: 1562000 | #Constraints: 47116
2007.64/2014.07 c #Conflicts: 1563000 | #Constraints: 48116
2007.64/2014.07 c #Conflicts: 1564000 | #Constraints: 49142
2007.64/2014.07 c #Conflicts: 1565000 | #Constraints: 50150
2007.64/2014.07 c #Conflicts: 1566000 | #Constraints: 51173
2007.64/2014.07 c INPROCESSING
2007.64/2014.07 c GARBAGE COLLECT
2007.64/2014.07 c rational objective 2.05128
2074.69/2081.34 c #Conflicts: 1567000 | #Constraints: 26605
2074.69/2081.34 c #Conflicts: 1568000 | #Constraints: 27605
2074.69/2081.34 c #Conflicts: 1569000 | #Constraints: 28617
2074.69/2081.34 c #Conflicts: 1570000 | #Constraints: 29656
2074.69/2081.34 c #Conflicts: 1571000 | #Constraints: 30702
2074.69/2081.34 c #Conflicts: 1572000 | #Constraints: 31746
2074.69/2081.34 c #Conflicts: 1573000 | #Constraints: 32787
2074.69/2081.34 c #Conflicts: 1574000 | #Constraints: 33869
2074.69/2081.34 c #Conflicts: 1575000 | #Constraints: 34924
2074.69/2081.34 c #Conflicts: 1576000 | #Constraints: 35969
2074.69/2081.34 c #Conflicts: 1577000 | #Constraints: 37008
2074.69/2081.34 c #Conflicts: 1578000 | #Constraints: 38068
2074.69/2081.34 c #Conflicts: 1579000 | #Constraints: 39104
2074.69/2081.34 c #Conflicts: 1580000 | #Constraints: 40126
2074.69/2081.34 c #Conflicts: 1581000 | #Constraints: 41156
2074.69/2081.34 c #Conflicts: 1582000 | #Constraints: 42182
2074.69/2081.34 c #Conflicts: 1583000 | #Constraints: 43193
2074.69/2081.34 c #Conflicts: 1584000 | #Constraints: 44222
2074.69/2081.34 c #Conflicts: 1585000 | #Constraints: 45258
2074.69/2081.34 c #Conflicts: 1586000 | #Constraints: 46301
2074.69/2081.34 c #Conflicts: 1587000 | #Constraints: 47337
2074.69/2081.34 c #Conflicts: 1588000 | #Constraints: 48373
2074.69/2081.34 c #Conflicts: 1589000 | #Constraints: 49409
2074.69/2081.34 c #Conflicts: 1590000 | #Constraints: 50429
2074.69/2081.34 c #Conflicts: 1591000 | #Constraints: 51471
2074.69/2081.34 c INPROCESSING
2074.69/2081.34 c GARBAGE COLLECT
2074.69/2081.34 c rational objective 2.00001
2136.85/2143.77 c #Conflicts: 1592000 | #Constraints: 26661
2136.85/2143.77 c #Conflicts: 1593000 | #Constraints: 27661
2136.85/2143.77 c #Conflicts: 1594000 | #Constraints: 28683
2136.85/2143.77 c #Conflicts: 1595000 | #Constraints: 29713
2136.85/2143.77 c #Conflicts: 1596000 | #Constraints: 30713
2136.85/2143.77 c #Conflicts: 1597000 | #Constraints: 31733
2136.85/2143.77 c #Conflicts: 1598000 | #Constraints: 32777
2136.85/2143.77 c #Conflicts: 1599000 | #Constraints: 33784
2136.85/2143.77 c #Conflicts: 1600000 | #Constraints: 34808
2136.85/2143.77 c #Conflicts: 1601000 | #Constraints: 35846
2136.85/2143.77 c #Conflicts: 1602000 | #Constraints: 36890
2136.85/2143.77 c #Conflicts: 1603000 | #Constraints: 37913
2136.85/2143.77 c #Conflicts: 1604000 | #Constraints: 38939
2136.85/2143.77 c #Conflicts: 1605000 | #Constraints: 39971
2136.85/2143.77 c #Conflicts: 1606000 | #Constraints: 41011
2136.85/2143.77 c #Conflicts: 1607000 | #Constraints: 42032
2136.85/2143.77 c #Conflicts: 1608000 | #Constraints: 43032
2136.85/2143.77 c #Conflicts: 1609000 | #Constraints: 44050
2136.85/2143.77 c #Conflicts: 1610000 | #Constraints: 45097
2136.85/2143.77 c #Conflicts: 1611000 | #Constraints: 46120
2136.85/2143.77 c #Conflicts: 1612000 | #Constraints: 47135
2136.85/2143.77 c #Conflicts: 1613000 | #Constraints: 48135
2136.85/2143.77 c #Conflicts: 1614000 | #Constraints: 49157
2136.85/2143.77 c #Conflicts: 1615000 | #Constraints: 50195
2136.85/2143.77 c #Conflicts: 1616000 | #Constraints: 51227
2136.85/2143.77 c INPROCESSING
2136.85/2143.77 c GARBAGE COLLECT
2136.85/2143.77 c rational objective 2
2197.32/2204.43 c #Conflicts: 1617000 | #Constraints: 26342
2197.32/2204.43 c #Conflicts: 1618000 | #Constraints: 27368
2197.32/2204.43 c #Conflicts: 1619000 | #Constraints: 28392
2197.32/2204.43 c #Conflicts: 1620000 | #Constraints: 29404
2197.32/2204.43 c #Conflicts: 1621000 | #Constraints: 30428
2197.32/2204.43 c #Conflicts: 1622000 | #Constraints: 31430
2197.32/2204.43 c #Conflicts: 1623000 | #Constraints: 32437
2197.32/2204.43 c #Conflicts: 1624000 | #Constraints: 33437
2197.32/2204.43 c #Conflicts: 1625000 | #Constraints: 34437
2197.32/2204.43 c #Conflicts: 1626000 | #Constraints: 35437
2197.32/2204.43 c #Conflicts: 1627000 | #Constraints: 36437
2197.32/2204.43 c #Conflicts: 1628000 | #Constraints: 37437
2197.32/2204.43 c #Conflicts: 1629000 | #Constraints: 38437
2197.32/2204.43 c #Conflicts: 1630000 | #Constraints: 39437
2197.32/2204.43 c #Conflicts: 1631000 | #Constraints: 40437
2197.32/2204.43 c #Conflicts: 1632000 | #Constraints: 41437
2197.32/2204.43 c #Conflicts: 1633000 | #Constraints: 42437
2197.32/2204.43 c #Conflicts: 1634000 | #Constraints: 43437
2197.32/2204.43 c #Conflicts: 1635000 | #Constraints: 44437
2197.32/2204.43 c #Conflicts: 1636000 | #Constraints: 45437
2197.32/2204.43 c #Conflicts: 1637000 | #Constraints: 46437
2197.32/2204.43 c #Conflicts: 1638000 | #Constraints: 47437
2197.32/2204.43 c #Conflicts: 1639000 | #Constraints: 48437
2197.32/2204.43 c #Conflicts: 1640000 | #Constraints: 49437
2197.32/2204.43 c #Conflicts: 1641000 | #Constraints: 50437
2197.32/2204.43 c #Conflicts: 1642000 | #Constraints: 51437
2197.32/2204.43 c INPROCESSING
2197.32/2204.43 c GARBAGE COLLECT
2197.32/2204.43 c rational objective 2.00008
2255.10/2262.45 c #Conflicts: 1643000 | #Constraints: 26632
2255.10/2262.45 c #Conflicts: 1644000 | #Constraints: 27661
2255.10/2262.45 c #Conflicts: 1645000 | #Constraints: 28672
2255.10/2262.45 c #Conflicts: 1646000 | #Constraints: 29691
2255.10/2262.45 c #Conflicts: 1647000 | #Constraints: 30691
2255.10/2262.45 c #Conflicts: 1648000 | #Constraints: 31701
2255.10/2262.45 c #Conflicts: 1649000 | #Constraints: 32715
2255.10/2262.45 c #Conflicts: 1650000 | #Constraints: 33730
2255.10/2262.45 c #Conflicts: 1651000 | #Constraints: 34741
2255.10/2262.45 c #Conflicts: 1652000 | #Constraints: 35763
2255.10/2262.45 c #Conflicts: 1653000 | #Constraints: 36784
2255.10/2262.45 c #Conflicts: 1654000 | #Constraints: 37807
2255.10/2262.45 c #Conflicts: 1655000 | #Constraints: 38818
2255.10/2262.45 c #Conflicts: 1656000 | #Constraints: 39832
2255.10/2262.45 c #Conflicts: 1657000 | #Constraints: 40853
2255.10/2262.45 c #Conflicts: 1658000 | #Constraints: 41867
2255.10/2262.45 c #Conflicts: 1659000 | #Constraints: 42896
2255.10/2262.45 c #Conflicts: 1660000 | #Constraints: 43913
2255.10/2262.45 c #Conflicts: 1661000 | #Constraints: 44921
2255.10/2262.45 c #Conflicts: 1662000 | #Constraints: 45921
2255.10/2262.45 c #Conflicts: 1663000 | #Constraints: 46921
2255.10/2262.45 c #Conflicts: 1664000 | #Constraints: 47921
2255.10/2262.45 c #Conflicts: 1665000 | #Constraints: 48921
2255.10/2262.45 c #Conflicts: 1666000 | #Constraints: 49936
2255.10/2262.45 c #Conflicts: 1667000 | #Constraints: 50954
2255.10/2262.45 c #Conflicts: 1668000 | #Constraints: 51954
2255.10/2262.45 c INPROCESSING
2255.10/2262.45 c GARBAGE COLLECT
2255.10/2262.45 c rational objective 2.00103
2322.15/2329.77 c #Conflicts: 1669000 | #Constraints: 27019
2322.15/2329.77 c #Conflicts: 1670000 | #Constraints: 28037
2322.15/2329.77 c #Conflicts: 1671000 | #Constraints: 29045
2322.15/2329.77 c #Conflicts: 1672000 | #Constraints: 30065
2322.15/2329.77 c #Conflicts: 1673000 | #Constraints: 31073
2322.15/2329.77 c #Conflicts: 1674000 | #Constraints: 32087
2322.15/2329.77 c #Conflicts: 1675000 | #Constraints: 33098
2322.15/2329.77 c #Conflicts: 1676000 | #Constraints: 34124
2322.15/2329.77 c #Conflicts: 1677000 | #Constraints: 35147
2322.15/2329.77 c #Conflicts: 1678000 | #Constraints: 36154
2322.15/2329.77 c #Conflicts: 1679000 | #Constraints: 37155
2322.15/2329.77 c #Conflicts: 1680000 | #Constraints: 38157
2322.15/2329.77 c #Conflicts: 1681000 | #Constraints: 39168
2322.15/2329.77 c #Conflicts: 1682000 | #Constraints: 40182
2322.15/2329.77 c #Conflicts: 1683000 | #Constraints: 41205
2322.15/2329.77 c #Conflicts: 1684000 | #Constraints: 42213
2322.15/2329.77 c #Conflicts: 1685000 | #Constraints: 43227
2322.15/2329.77 c #Conflicts: 1686000 | #Constraints: 44238
2322.15/2329.77 c #Conflicts: 1687000 | #Constraints: 45238
2322.15/2329.77 c #Conflicts: 1688000 | #Constraints: 46238
2322.15/2329.77 c #Conflicts: 1689000 | #Constraints: 47254
2322.15/2329.77 c #Conflicts: 1690000 | #Constraints: 48278
2322.15/2329.77 c #Conflicts: 1691000 | #Constraints: 49323
2322.15/2329.77 c #Conflicts: 1692000 | #Constraints: 50344
2322.15/2329.77 c #Conflicts: 1693000 | #Constraints: 51347
2322.15/2329.77 c #Conflicts: 1694000 | #Constraints: 52367
2322.15/2329.77 c INPROCESSING
2322.15/2329.77 c GARBAGE COLLECT
2322.15/2329.77 c rational objective 2.00258
2387.21/2395.03 c #Conflicts: 1695000 | #Constraints: 27201
2387.21/2395.03 c #Conflicts: 1696000 | #Constraints: 28226
2387.21/2395.03 c #Conflicts: 1697000 | #Constraints: 29229
2387.21/2395.03 c #Conflicts: 1698000 | #Constraints: 30238
2387.21/2395.03 c #Conflicts: 1699000 | #Constraints: 31268
2387.21/2395.03 c #Conflicts: 1700000 | #Constraints: 32285
2387.21/2395.03 c #Conflicts: 1701000 | #Constraints: 33293
2387.21/2395.03 c #Conflicts: 1702000 | #Constraints: 34298
2387.21/2395.03 c #Conflicts: 1703000 | #Constraints: 35298
2387.21/2395.03 c #Conflicts: 1704000 | #Constraints: 36304
2387.21/2395.03 c #Conflicts: 1705000 | #Constraints: 37307
2387.21/2395.03 c #Conflicts: 1706000 | #Constraints: 38329
2387.21/2395.03 c #Conflicts: 1707000 | #Constraints: 39340
2387.21/2395.03 c #Conflicts: 1708000 | #Constraints: 40348
2387.21/2395.03 c #Conflicts: 1709000 | #Constraints: 41366
2387.21/2395.03 c #Conflicts: 1710000 | #Constraints: 42392
2387.21/2395.03 c #Conflicts: 1711000 | #Constraints: 43404
2387.21/2395.03 c #Conflicts: 1712000 | #Constraints: 44405
2387.21/2395.03 c #Conflicts: 1713000 | #Constraints: 45405
2387.21/2395.03 c #Conflicts: 1714000 | #Constraints: 46420
2387.21/2395.03 c #Conflicts: 1715000 | #Constraints: 47441
2387.21/2395.03 c #Conflicts: 1716000 | #Constraints: 48454
2387.21/2395.03 c #Conflicts: 1717000 | #Constraints: 49479
2387.21/2395.03 c #Conflicts: 1718000 | #Constraints: 50510
2387.21/2395.03 c #Conflicts: 1719000 | #Constraints: 51538
2387.21/2395.03 c #Conflicts: 1720000 | #Constraints: 52566
2387.21/2395.03 c INPROCESSING
2387.21/2395.03 c GARBAGE COLLECT
2387.21/2395.03 c rational objective 2.10672
2450.76/2458.81 c #Conflicts: 1721000 | #Constraints: 27200
2450.76/2458.81 c #Conflicts: 1722000 | #Constraints: 28220
2450.76/2458.81 c #Conflicts: 1723000 | #Constraints: 29248
2450.76/2458.81 c #Conflicts: 1724000 | #Constraints: 30248
2450.76/2458.81 c #Conflicts: 1725000 | #Constraints: 31248
2450.76/2458.81 c #Conflicts: 1726000 | #Constraints: 32248
2450.76/2458.81 c #Conflicts: 1727000 | #Constraints: 33258
2450.76/2458.81 c #Conflicts: 1728000 | #Constraints: 34276
2450.76/2458.81 c #Conflicts: 1729000 | #Constraints: 35289
2450.76/2458.81 c #Conflicts: 1730000 | #Constraints: 36310
2450.76/2458.81 c #Conflicts: 1731000 | #Constraints: 37310
2450.76/2458.81 c #Conflicts: 1732000 | #Constraints: 38320
2450.76/2458.81 c #Conflicts: 1733000 | #Constraints: 39350
2450.76/2458.81 c #Conflicts: 1734000 | #Constraints: 40365
2450.76/2458.81 c #Conflicts: 1735000 | #Constraints: 41378
2450.76/2458.81 c #Conflicts: 1736000 | #Constraints: 42395
2450.76/2458.81 c #Conflicts: 1737000 | #Constraints: 43395
2450.76/2458.81 c #Conflicts: 1738000 | #Constraints: 44409
2450.76/2458.81 c #Conflicts: 1739000 | #Constraints: 45420
2450.76/2458.81 c #Conflicts: 1740000 | #Constraints: 46420
2450.76/2458.81 c #Conflicts: 1741000 | #Constraints: 47426
2450.76/2458.81 c #Conflicts: 1742000 | #Constraints: 48433
2450.76/2458.81 c #Conflicts: 1743000 | #Constraints: 49440
2450.76/2458.81 c #Conflicts: 1744000 | #Constraints: 50448
2450.76/2458.81 c #Conflicts: 1745000 | #Constraints: 51462
2450.76/2458.81 c #Conflicts: 1746000 | #Constraints: 52468
2450.76/2458.81 c INPROCESSING
2450.76/2458.81 c GARBAGE COLLECT
2450.76/2458.81 c rational objective 2
2514.21/2522.53 c #Conflicts: 1747000 | #Constraints: 26948
2514.21/2522.53 c #Conflicts: 1748000 | #Constraints: 27951
2514.21/2522.53 c #Conflicts: 1749000 | #Constraints: 28951
2514.21/2522.53 c #Conflicts: 1750000 | #Constraints: 29959
2514.21/2522.53 c #Conflicts: 1751000 | #Constraints: 30986
2514.21/2522.53 c #Conflicts: 1752000 | #Constraints: 32019
2514.21/2522.53 c #Conflicts: 1753000 | #Constraints: 33028
2514.21/2522.53 c #Conflicts: 1754000 | #Constraints: 34034
2514.21/2522.53 c #Conflicts: 1755000 | #Constraints: 35053
2514.21/2522.53 c #Conflicts: 1756000 | #Constraints: 36077
2514.21/2522.53 c #Conflicts: 1757000 | #Constraints: 37106
2514.21/2522.53 c #Conflicts: 1758000 | #Constraints: 38137
2514.21/2522.53 c #Conflicts: 1759000 | #Constraints: 39145
2514.21/2522.53 c #Conflicts: 1760000 | #Constraints: 40163
2514.21/2522.53 c #Conflicts: 1761000 | #Constraints: 41180
2514.21/2522.53 c #Conflicts: 1762000 | #Constraints: 42208
2514.21/2522.53 c #Conflicts: 1763000 | #Constraints: 43230
2514.21/2522.53 c #Conflicts: 1764000 | #Constraints: 44230
2514.21/2522.53 c #Conflicts: 1765000 | #Constraints: 45231
2514.21/2522.53 c #Conflicts: 1766000 | #Constraints: 46231
2514.21/2522.53 c #Conflicts: 1767000 | #Constraints: 47237
2514.21/2522.53 c #Conflicts: 1768000 | #Constraints: 48259
2514.21/2522.53 c #Conflicts: 1769000 | #Constraints: 49259
2514.21/2522.53 c #Conflicts: 1770000 | #Constraints: 50273
2514.21/2522.53 c #Conflicts: 1771000 | #Constraints: 51273
2514.21/2522.53 c #Conflicts: 1772000 | #Constraints: 52273
2514.21/2522.53 c #Conflicts: 1773000 | #Constraints: 53273
2514.21/2522.53 c INPROCESSING
2514.21/2522.53 c GARBAGE COLLECT
2514.21/2522.53 c rational objective 1.99998
2576.60/2585.13 c #Conflicts: 1774000 | #Constraints: 27568
2576.60/2585.13 c #Conflicts: 1775000 | #Constraints: 28574
2576.60/2585.13 c #Conflicts: 1776000 | #Constraints: 29594
2576.60/2585.13 c #Conflicts: 1777000 | #Constraints: 30608
2576.60/2585.13 c #Conflicts: 1778000 | #Constraints: 31625
2576.60/2585.13 c #Conflicts: 1779000 | #Constraints: 32628
2576.60/2585.13 c #Conflicts: 1780000 | #Constraints: 33628
2576.60/2585.13 c #Conflicts: 1781000 | #Constraints: 34643
2576.60/2585.13 c #Conflicts: 1782000 | #Constraints: 35659
2576.60/2585.13 c #Conflicts: 1783000 | #Constraints: 36664
2576.60/2585.13 c #Conflicts: 1784000 | #Constraints: 37691
2576.60/2585.13 c #Conflicts: 1785000 | #Constraints: 38709
2576.60/2585.13 c #Conflicts: 1786000 | #Constraints: 39735
2576.60/2585.13 c #Conflicts: 1787000 | #Constraints: 40765
2576.60/2585.13 c #Conflicts: 1788000 | #Constraints: 41780
2576.60/2585.13 c #Conflicts: 1789000 | #Constraints: 42791
2576.60/2585.13 c #Conflicts: 1790000 | #Constraints: 43795
2576.60/2585.13 c #Conflicts: 1791000 | #Constraints: 44829
2576.60/2585.13 c #Conflicts: 1792000 | #Constraints: 45851
2576.60/2585.13 c #Conflicts: 1793000 | #Constraints: 46874
2576.60/2585.13 c #Conflicts: 1794000 | #Constraints: 47883
2576.60/2585.13 c #Conflicts: 1795000 | #Constraints: 48883
2576.60/2585.13 c #Conflicts: 1796000 | #Constraints: 49883
2576.60/2585.13 c #Conflicts: 1797000 | #Constraints: 50886
2576.60/2585.13 c #Conflicts: 1798000 | #Constraints: 51933
2576.60/2585.13 c #Conflicts: 1799000 | #Constraints: 52973
2576.60/2585.13 c #Conflicts: 1800000 | #Constraints: 54038
2576.60/2585.13 c INPROCESSING
2576.60/2585.13 c GARBAGE COLLECT
2576.60/2585.13 c rational objective 2.00008
2644.86/2653.69 c #Conflicts: 1801000 | #Constraints: 28029
2644.86/2653.69 c #Conflicts: 1802000 | #Constraints: 29029
2644.86/2653.69 c #Conflicts: 1803000 | #Constraints: 30063
2644.86/2653.69 c #Conflicts: 1804000 | #Constraints: 31078
2644.86/2653.69 c #Conflicts: 1805000 | #Constraints: 32100
2644.86/2653.69 c #Conflicts: 1806000 | #Constraints: 33100
2644.86/2653.69 c #Conflicts: 1807000 | #Constraints: 34100
2644.86/2653.69 c #Conflicts: 1808000 | #Constraints: 35100
2644.86/2653.69 c #Conflicts: 1809000 | #Constraints: 36100
2644.86/2653.69 c #Conflicts: 1810000 | #Constraints: 37118
2644.86/2653.69 c #Conflicts: 1811000 | #Constraints: 38143
2644.86/2653.69 c #Conflicts: 1812000 | #Constraints: 39143
2644.86/2653.69 c #Conflicts: 1813000 | #Constraints: 40143
2644.86/2653.69 c #Conflicts: 1814000 | #Constraints: 41143
2644.86/2653.69 c #Conflicts: 1815000 | #Constraints: 42143
2644.86/2653.69 c #Conflicts: 1816000 | #Constraints: 43165
2644.86/2653.69 c #Conflicts: 1817000 | #Constraints: 44201
2644.86/2653.69 c #Conflicts: 1818000 | #Constraints: 45212
2644.86/2653.69 c #Conflicts: 1819000 | #Constraints: 46212
2644.86/2653.69 c #Conflicts: 1820000 | #Constraints: 47240
2644.86/2653.69 c #Conflicts: 1821000 | #Constraints: 48253
2644.86/2653.69 c #Conflicts: 1822000 | #Constraints: 49257
2644.86/2653.69 c #Conflicts: 1823000 | #Constraints: 50285
2644.86/2653.69 c #Conflicts: 1824000 | #Constraints: 51303
2644.86/2653.69 c #Conflicts: 1825000 | #Constraints: 52321
2644.86/2653.69 c #Conflicts: 1826000 | #Constraints: 53329
2644.86/2653.69 c #Conflicts: 1827000 | #Constraints: 54345
2644.86/2653.69 c INPROCESSING
2644.86/2653.69 c GARBAGE COLLECT
2644.86/2653.69 c rational objective 2.08919
2708.76/2717.74 c #Conflicts: 1828000 | #Constraints: 28178
2708.76/2717.74 c #Conflicts: 1829000 | #Constraints: 29192
2708.76/2717.74 c #Conflicts: 1830000 | #Constraints: 30213
2708.76/2717.74 c #Conflicts: 1831000 | #Constraints: 31242
2708.76/2717.74 c #Conflicts: 1832000 | #Constraints: 32265
2708.76/2717.74 c #Conflicts: 1833000 | #Constraints: 33282
2708.76/2717.74 c #Conflicts: 1834000 | #Constraints: 34291
2708.76/2717.74 c #Conflicts: 1835000 | #Constraints: 35291
2708.76/2717.74 c #Conflicts: 1836000 | #Constraints: 36306
2708.76/2717.74 c #Conflicts: 1837000 | #Constraints: 37357
2708.76/2717.74 c #Conflicts: 1838000 | #Constraints: 38384
2708.76/2717.74 c #Conflicts: 1839000 | #Constraints: 39413
2708.76/2717.74 c #Conflicts: 1840000 | #Constraints: 40449
2708.76/2717.74 c #Conflicts: 1841000 | #Constraints: 41482
2708.76/2717.74 c #Conflicts: 1842000 | #Constraints: 42501
2708.76/2717.74 c #Conflicts: 1843000 | #Constraints: 43516
2708.76/2717.74 c #Conflicts: 1844000 | #Constraints: 44546
2708.76/2717.74 c #Conflicts: 1845000 | #Constraints: 45549
2708.76/2717.74 c #Conflicts: 1846000 | #Constraints: 46567
2708.76/2717.74 c #Conflicts: 1847000 | #Constraints: 47584
2708.76/2717.74 c #Conflicts: 1848000 | #Constraints: 48630
2708.76/2717.74 c #Conflicts: 1849000 | #Constraints: 49650
2708.76/2717.74 c #Conflicts: 1850000 | #Constraints: 50673
2708.76/2717.74 c #Conflicts: 1851000 | #Constraints: 51684
2708.76/2717.74 c #Conflicts: 1852000 | #Constraints: 52684
2708.76/2717.74 c #Conflicts: 1853000 | #Constraints: 53684
2708.76/2717.74 c #Conflicts: 1854000 | #Constraints: 54699
2708.76/2717.74 c INPROCESSING
2708.76/2717.74 c GARBAGE COLLECT
2708.76/2717.74 c rational objective 2.09037
2776.66/2785.86 c #Conflicts: 1855000 | #Constraints: 28256
2776.66/2785.86 c #Conflicts: 1856000 | #Constraints: 29256
2776.66/2785.86 c #Conflicts: 1857000 | #Constraints: 30274
2776.66/2785.86 c #Conflicts: 1858000 | #Constraints: 31284
2776.66/2785.86 c #Conflicts: 1859000 | #Constraints: 32284
2776.66/2785.86 c #Conflicts: 1860000 | #Constraints: 33284
2776.66/2785.86 c #Conflicts: 1861000 | #Constraints: 34299
2776.66/2785.86 c #Conflicts: 1862000 | #Constraints: 35310
2776.66/2785.86 c #Conflicts: 1863000 | #Constraints: 36328
2776.66/2785.86 c #Conflicts: 1864000 | #Constraints: 37328
2776.66/2785.86 c #Conflicts: 1865000 | #Constraints: 38328
2776.66/2785.86 c #Conflicts: 1866000 | #Constraints: 39338
2776.66/2785.86 c #Conflicts: 1867000 | #Constraints: 40338
2776.66/2785.86 c #Conflicts: 1868000 | #Constraints: 41340
2776.66/2785.86 c #Conflicts: 1869000 | #Constraints: 42358
2776.66/2785.86 c #Conflicts: 1870000 | #Constraints: 43368
2776.66/2785.86 c #Conflicts: 1871000 | #Constraints: 44383
2776.66/2785.86 c #Conflicts: 1872000 | #Constraints: 45390
2776.66/2785.86 c #Conflicts: 1873000 | #Constraints: 46390
2776.66/2785.86 c #Conflicts: 1874000 | #Constraints: 47400
2776.66/2785.86 c #Conflicts: 1875000 | #Constraints: 48412
2776.66/2785.86 c #Conflicts: 1876000 | #Constraints: 49421
2776.66/2785.86 c #Conflicts: 1877000 | #Constraints: 50438
2776.66/2785.86 c #Conflicts: 1878000 | #Constraints: 51454
2776.66/2785.86 c #Conflicts: 1879000 | #Constraints: 52463
2776.66/2785.86 c #Conflicts: 1880000 | #Constraints: 53463
2776.66/2785.86 c #Conflicts: 1881000 | #Constraints: 54465
2776.66/2785.86 c INPROCESSING
2776.66/2785.86 c GARBAGE COLLECT
2776.66/2785.86 c rational objective 2.09236
2842.36/2851.73 c #Conflicts: 1882000 | #Constraints: 27938
2842.36/2851.73 c #Conflicts: 1883000 | #Constraints: 28956
2842.36/2851.73 c #Conflicts: 1884000 | #Constraints: 29968
2842.36/2851.73 c #Conflicts: 1885000 | #Constraints: 30976
2842.36/2851.73 c #Conflicts: 1886000 | #Constraints: 31986
2842.36/2851.73 c #Conflicts: 1887000 | #Constraints: 32986
2842.36/2851.73 c #Conflicts: 1888000 | #Constraints: 33989
2842.36/2851.73 c #Conflicts: 1889000 | #Constraints: 34989
2842.36/2851.73 c #Conflicts: 1890000 | #Constraints: 35994
2842.36/2851.73 c #Conflicts: 1891000 | #Constraints: 37019
2842.36/2851.73 c #Conflicts: 1892000 | #Constraints: 38047
2842.36/2851.73 c #Conflicts: 1893000 | #Constraints: 39068
2842.36/2851.73 c #Conflicts: 1894000 | #Constraints: 40079
2842.36/2851.73 c #Conflicts: 1895000 | #Constraints: 41084
2842.36/2851.73 c #Conflicts: 1896000 | #Constraints: 42084
2842.36/2851.73 c #Conflicts: 1897000 | #Constraints: 43108
2842.36/2851.73 c #Conflicts: 1898000 | #Constraints: 44125
2842.36/2851.73 c #Conflicts: 1899000 | #Constraints: 45125
2842.36/2851.73 c #Conflicts: 1900000 | #Constraints: 46130
2842.36/2851.73 c #Conflicts: 1901000 | #Constraints: 47145
2842.36/2851.73 c #Conflicts: 1902000 | #Constraints: 48145
2842.36/2851.73 c #Conflicts: 1903000 | #Constraints: 49176
2842.36/2851.73 c #Conflicts: 1904000 | #Constraints: 50196
2842.36/2851.73 c #Conflicts: 1905000 | #Constraints: 51206
2842.36/2851.73 c #Conflicts: 1906000 | #Constraints: 52208
2842.36/2851.73 c #Conflicts: 1907000 | #Constraints: 53208
2842.36/2851.73 c #Conflicts: 1908000 | #Constraints: 54228
2842.36/2851.73 c #Conflicts: 1909000 | #Constraints: 55244
2842.36/2851.73 c INPROCESSING
2842.36/2851.73 c GARBAGE COLLECT
2842.36/2851.73 c rational objective 2.09309
2994.00/3003.85 c #Conflicts: 1910000 | #Constraints: 28548
2994.00/3003.85 c #Conflicts: 1911000 | #Constraints: 29563
2994.00/3003.85 c #Conflicts: 1912000 | #Constraints: 30572
2994.00/3003.85 c #Conflicts: 1913000 | #Constraints: 31573
2994.00/3003.85 c #Conflicts: 1914000 | #Constraints: 32573
2994.00/3003.85 c #Conflicts: 1915000 | #Constraints: 33580
2994.00/3003.85 c #Conflicts: 1916000 | #Constraints: 34588
2994.00/3003.85 c #Conflicts: 1917000 | #Constraints: 35601
2994.00/3003.85 c #Conflicts: 1918000 | #Constraints: 36624
2994.00/3003.85 c #Conflicts: 1919000 | #Constraints: 37645
2994.00/3003.85 c #Conflicts: 1920000 | #Constraints: 38668
2994.00/3003.85 c #Conflicts: 1921000 | #Constraints: 39678
2994.00/3003.85 c #Conflicts: 1922000 | #Constraints: 40699
2994.00/3003.85 c #Conflicts: 1923000 | #Constraints: 41709
2994.00/3003.85 c #Conflicts: 1924000 | #Constraints: 42723
2994.00/3003.85 c #Conflicts: 1925000 | #Constraints: 43723
2994.00/3003.85 c #Conflicts: 1926000 | #Constraints: 44725
2994.00/3003.85 c #Conflicts: 1927000 | #Constraints: 45747
2994.00/3003.85 c #Conflicts: 1928000 | #Constraints: 46786
2994.00/3003.85 c #Conflicts: 1929000 | #Constraints: 47801
2994.00/3003.85 c #Conflicts: 1930000 | #Constraints: 48814
2994.00/3003.85 c #Conflicts: 1931000 | #Constraints: 49838
2994.00/3003.85 c #Conflicts: 1932000 | #Constraints: 50850
2994.00/3003.85 c #Conflicts: 1933000 | #Constraints: 51871
2994.00/3003.85 c #Conflicts: 1934000 | #Constraints: 52891
2994.00/3003.85 c #Conflicts: 1935000 | #Constraints: 53902
2994.00/3003.85 c #Conflicts: 1936000 | #Constraints: 54921
2994.00/3003.85 c #Conflicts: 1937000 | #Constraints: 55940
2994.00/3003.85 c INPROCESSING
2994.00/3003.85 c GARBAGE COLLECT
2994.00/3003.85 c #Conflicts: 1938000 | #Constraints: 28979
2994.00/3003.85 c #Conflicts: 1939000 | #Constraints: 30005
2994.00/3003.85 c #Conflicts: 1940000 | #Constraints: 31010
2994.00/3003.85 c #Conflicts: 1941000 | #Constraints: 32049
2994.00/3003.85 c #Conflicts: 1942000 | #Constraints: 33077
2994.00/3003.85 c #Conflicts: 1943000 | #Constraints: 34077
2994.00/3003.85 c #Conflicts: 1944000 | #Constraints: 35077
2994.00/3003.85 c #Conflicts: 1945000 | #Constraints: 36107
2994.00/3003.85 c #Conflicts: 1946000 | #Constraints: 37121
2994.00/3003.85 c #Conflicts: 1947000 | #Constraints: 38125
2994.00/3003.85 c #Conflicts: 1948000 | #Constraints: 39125
2994.00/3003.85 c #Conflicts: 1949000 | #Constraints: 40125
2994.00/3003.85 c #Conflicts: 1950000 | #Constraints: 41142
2994.00/3003.85 c #Conflicts: 1951000 | #Constraints: 42142
2994.00/3003.85 c #Conflicts: 1952000 | #Constraints: 43156
2994.00/3003.85 c #Conflicts: 1953000 | #Constraints: 44198
2994.00/3003.85 c #Conflicts: 1954000 | #Constraints: 45198
2994.00/3003.85 c #Conflicts: 1955000 | #Constraints: 46198
2994.00/3003.85 c #Conflicts: 1956000 | #Constraints: 47200
2994.00/3003.85 c #Conflicts: 1957000 | #Constraints: 48200
2994.00/3003.85 c #Conflicts: 1958000 | #Constraints: 49202
2994.00/3003.85 c #Conflicts: 1959000 | #Constraints: 50202
2994.00/3003.85 c #Conflicts: 1960000 | #Constraints: 51215
2994.00/3003.85 c #Conflicts: 1961000 | #Constraints: 52215
2994.00/3003.85 c #Conflicts: 1962000 | #Constraints: 53215
2994.00/3003.85 c #Conflicts: 1963000 | #Constraints: 54215
2994.00/3003.85 c #Conflicts: 1964000 | #Constraints: 55235
2994.00/3003.85 c #Conflicts: 1965000 | #Constraints: 56266
2994.00/3003.85 c INPROCESSING
2994.00/3003.85 c GARBAGE COLLECT
2994.00/3003.85 c rational objective 2.0931
3075.45/3085.50 c #Conflicts: 1966000 | #Constraints: 29150
3075.45/3085.50 c #Conflicts: 1967000 | #Constraints: 30163
3075.45/3085.50 c #Conflicts: 1968000 | #Constraints: 31163
3075.45/3085.50 c #Conflicts: 1969000 | #Constraints: 32174
3075.45/3085.50 c #Conflicts: 1970000 | #Constraints: 33193
3075.45/3085.50 c #Conflicts: 1971000 | #Constraints: 34206
3075.45/3085.50 c #Conflicts: 1972000 | #Constraints: 35214
3075.45/3085.50 c #Conflicts: 1973000 | #Constraints: 36236
3075.45/3085.50 c #Conflicts: 1974000 | #Constraints: 37254
3075.45/3085.50 c #Conflicts: 1975000 | #Constraints: 38274
3075.45/3085.50 c #Conflicts: 1976000 | #Constraints: 39295
3075.45/3085.50 c #Conflicts: 1977000 | #Constraints: 40330
3075.45/3085.50 c #Conflicts: 1978000 | #Constraints: 41350
3075.45/3085.50 c #Conflicts: 1979000 | #Constraints: 42350
3075.45/3085.50 c #Conflicts: 1980000 | #Constraints: 43350
3075.45/3085.50 c #Conflicts: 1981000 | #Constraints: 44356
3075.45/3085.50 c #Conflicts: 1982000 | #Constraints: 45373
3075.45/3085.50 c #Conflicts: 1983000 | #Constraints: 46387
3075.45/3085.50 c #Conflicts: 1984000 | #Constraints: 47399
3075.45/3085.50 c #Conflicts: 1985000 | #Constraints: 48399
3075.45/3085.50 c #Conflicts: 1986000 | #Constraints: 49400
3075.45/3085.50 c #Conflicts: 1987000 | #Constraints: 50400
3075.45/3085.50 c #Conflicts: 1988000 | #Constraints: 51409
3075.45/3085.50 c #Conflicts: 1989000 | #Constraints: 52409
3075.45/3085.50 c #Conflicts: 1990000 | #Constraints: 53409
3075.45/3085.50 c #Conflicts: 1991000 | #Constraints: 54422
3075.45/3085.50 c #Conflicts: 1992000 | #Constraints: 55441
3075.45/3085.50 c #Conflicts: 1993000 | #Constraints: 56441
3075.45/3085.50 c INPROCESSING
3075.45/3085.50 c GARBAGE COLLECT
3075.45/3085.50 c rational objective 2.00153
3150.84/3161.12 c #Conflicts: 1994000 | #Constraints: 29135
3150.84/3161.12 c #Conflicts: 1995000 | #Constraints: 30141
3150.84/3161.12 c #Conflicts: 1996000 | #Constraints: 31157
3150.84/3161.12 c #Conflicts: 1997000 | #Constraints: 32195
3150.84/3161.12 c #Conflicts: 1998000 | #Constraints: 33226
3150.84/3161.12 c #Conflicts: 1999000 | #Constraints: 34233
3150.84/3161.12 c #Conflicts: 2000000 | #Constraints: 35242
3150.84/3161.12 c #Conflicts: 2001000 | #Constraints: 36267
3150.84/3161.12 c #Conflicts: 2002000 | #Constraints: 37301
3150.84/3161.12 c #Conflicts: 2003000 | #Constraints: 38341
3150.84/3161.12 c #Conflicts: 2004000 | #Constraints: 39343
3150.84/3161.12 c #Conflicts: 2005000 | #Constraints: 40365
3150.84/3161.12 c #Conflicts: 2006000 | #Constraints: 41365
3150.84/3161.12 c #Conflicts: 2007000 | #Constraints: 42370
3150.84/3161.12 c #Conflicts: 2008000 | #Constraints: 43388
3150.84/3161.12 c #Conflicts: 2009000 | #Constraints: 44388
3150.84/3161.12 c #Conflicts: 2010000 | #Constraints: 45388
3150.84/3161.12 c #Conflicts: 2011000 | #Constraints: 46405
3150.84/3161.12 c #Conflicts: 2012000 | #Constraints: 47436
3150.84/3161.12 c #Conflicts: 2013000 | #Constraints: 48441
3150.84/3161.12 c #Conflicts: 2014000 | #Constraints: 49441
3150.84/3161.12 c #Conflicts: 2015000 | #Constraints: 50441
3150.84/3161.12 c #Conflicts: 2016000 | #Constraints: 51441
3150.84/3161.12 c #Conflicts: 2017000 | #Constraints: 52441
3150.84/3161.12 c #Conflicts: 2018000 | #Constraints: 53441
3150.84/3161.12 c #Conflicts: 2019000 | #Constraints: 54442
3150.84/3161.12 c #Conflicts: 2020000 | #Constraints: 55448
3150.84/3161.12 c #Conflicts: 2021000 | #Constraints: 56474
3150.84/3161.12 c INPROCESSING
3150.84/3161.12 c GARBAGE COLLECT
3150.84/3161.12 c rational objective 1.73084
3229.00/3239.51 c #Conflicts: 2022000 | #Constraints: 28977
3229.00/3239.51 c #Conflicts: 2023000 | #Constraints: 30027
3229.00/3239.51 c #Conflicts: 2024000 | #Constraints: 31027
3229.00/3239.51 c #Conflicts: 2025000 | #Constraints: 32027
3229.00/3239.51 c #Conflicts: 2026000 | #Constraints: 33027
3229.00/3239.51 c #Conflicts: 2027000 | #Constraints: 34027
3229.00/3239.51 c #Conflicts: 2028000 | #Constraints: 35057
3229.00/3239.51 c #Conflicts: 2029000 | #Constraints: 36058
3229.00/3239.51 c #Conflicts: 2030000 | #Constraints: 37058
3229.00/3239.51 c #Conflicts: 2031000 | #Constraints: 38061
3229.00/3239.51 c #Conflicts: 2032000 | #Constraints: 39080
3229.00/3239.51 c #Conflicts: 2033000 | #Constraints: 40094
3229.00/3239.51 c #Conflicts: 2034000 | #Constraints: 41124
3229.00/3239.51 c #Conflicts: 2035000 | #Constraints: 42124
3229.00/3239.51 c #Conflicts: 2036000 | #Constraints: 43124
3229.00/3239.51 c #Conflicts: 2037000 | #Constraints: 44124
3229.00/3239.51 c #Conflicts: 2038000 | #Constraints: 45124
3229.00/3239.51 c #Conflicts: 2039000 | #Constraints: 46127
3229.00/3239.51 c #Conflicts: 2040000 | #Constraints: 47181
3229.00/3239.51 c #Conflicts: 2041000 | #Constraints: 48181
3229.00/3239.51 c #Conflicts: 2042000 | #Constraints: 49181
3229.00/3239.51 c #Conflicts: 2043000 | #Constraints: 50183
3229.00/3239.51 c #Conflicts: 2044000 | #Constraints: 51244
3229.00/3239.51 c #Conflicts: 2045000 | #Constraints: 52258
3229.00/3239.51 c #Conflicts: 2046000 | #Constraints: 53317
3229.00/3239.51 c #Conflicts: 2047000 | #Constraints: 54317
3229.00/3239.51 c #Conflicts: 2048000 | #Constraints: 55332
3229.00/3239.51 c #Conflicts: 2049000 | #Constraints: 56341
3229.00/3239.51 c #Conflicts: 2050000 | #Constraints: 57341
3229.00/3239.51 c INPROCESSING
3229.00/3239.51 c GARBAGE COLLECT
3229.00/3239.51 c rational objective 1.73084
3312.26/3323.09 c #Conflicts: 2051000 | #Constraints: 29628
3312.26/3323.09 c #Conflicts: 2052000 | #Constraints: 30631
3312.26/3323.09 c #Conflicts: 2053000 | #Constraints: 31631
3312.26/3323.09 c #Conflicts: 2054000 | #Constraints: 32631
3312.26/3323.09 c #Conflicts: 2055000 | #Constraints: 33646
3312.26/3323.09 c #Conflicts: 2056000 | #Constraints: 34655
3312.26/3323.09 c #Conflicts: 2057000 | #Constraints: 35702
3312.26/3323.09 c #Conflicts: 2058000 | #Constraints: 36705
3312.26/3323.09 c #Conflicts: 2059000 | #Constraints: 37751
3312.26/3323.09 c #Conflicts: 2060000 | #Constraints: 38794
3312.26/3323.09 c #Conflicts: 2061000 | #Constraints: 39794
3312.26/3323.09 c #Conflicts: 2062000 | #Constraints: 40794
3312.26/3323.09 c #Conflicts: 2063000 | #Constraints: 41823
3312.26/3323.09 c #Conflicts: 2064000 | #Constraints: 42836
3312.26/3323.09 c #Conflicts: 2065000 | #Constraints: 43840
3312.26/3323.09 c #Conflicts: 2066000 | #Constraints: 44899
3312.26/3323.09 c #Conflicts: 2067000 | #Constraints: 45938
3312.26/3323.09 c #Conflicts: 2068000 | #Constraints: 46984
3312.26/3323.09 c #Conflicts: 2069000 | #Constraints: 47989
3312.26/3323.09 c #Conflicts: 2070000 | #Constraints: 48996
3312.26/3323.09 c #Conflicts: 2071000 | #Constraints: 50017
3312.26/3323.09 c #Conflicts: 2072000 | #Constraints: 51101
3312.26/3323.09 c #Conflicts: 2073000 | #Constraints: 52171
3312.26/3323.09 c #Conflicts: 2074000 | #Constraints: 53257
3312.26/3323.09 c #Conflicts: 2075000 | #Constraints: 54306
3312.26/3323.09 c #Conflicts: 2076000 | #Constraints: 55363
3312.26/3323.09 c #Conflicts: 2077000 | #Constraints: 56396
3312.26/3323.09 c #Conflicts: 2078000 | #Constraints: 57396
3312.26/3323.09 c #Conflicts: 2079000 | #Constraints: 58404
3312.26/3323.09 c INPROCESSING
3312.26/3323.09 c GARBAGE COLLECT
3312.26/3323.09 c rational objective 1.76102
3490.66/3502.05 c #Conflicts: 2080000 | #Constraints: 30275
3490.66/3502.05 c #Conflicts: 2081000 | #Constraints: 31295
3490.66/3502.05 c #Conflicts: 2082000 | #Constraints: 32306
3490.66/3502.05 c #Conflicts: 2083000 | #Constraints: 33306
3490.66/3502.05 c #Conflicts: 2084000 | #Constraints: 34322
3490.66/3502.05 c #Conflicts: 2085000 | #Constraints: 35340
3490.66/3502.05 c #Conflicts: 2086000 | #Constraints: 36403
3490.66/3502.05 c #Conflicts: 2087000 | #Constraints: 37403
3490.66/3502.05 c #Conflicts: 2088000 | #Constraints: 38429
3490.66/3502.05 c #Conflicts: 2089000 | #Constraints: 39429
3490.66/3502.05 c #Conflicts: 2090000 | #Constraints: 40432
3490.66/3502.05 c #Conflicts: 2091000 | #Constraints: 41432
3490.66/3502.05 c #Conflicts: 2092000 | #Constraints: 42466
3490.66/3502.05 c #Conflicts: 2093000 | #Constraints: 43500
3490.66/3502.05 c #Conflicts: 2094000 | #Constraints: 44500
3490.66/3502.05 c #Conflicts: 2095000 | #Constraints: 45532
3490.66/3502.05 c #Conflicts: 2096000 | #Constraints: 46558
3490.66/3502.05 c #Conflicts: 2097000 | #Constraints: 47558
3490.66/3502.05 c #Conflicts: 2098000 | #Constraints: 48584
3490.66/3502.05 c #Conflicts: 2099000 | #Constraints: 49621
3490.66/3502.05 c #Conflicts: 2100000 | #Constraints: 50621
3490.66/3502.05 c #Conflicts: 2101000 | #Constraints: 51650
3490.66/3502.05 c #Conflicts: 2102000 | #Constraints: 52721
3490.66/3502.05 c #Conflicts: 2103000 | #Constraints: 53781
3490.66/3502.05 c #Conflicts: 2104000 | #Constraints: 54797
3490.66/3502.05 c #Conflicts: 2105000 | #Constraints: 55797
3490.66/3502.05 c #Conflicts: 2106000 | #Constraints: 56846
3490.66/3502.05 c #Conflicts: 2107000 | #Constraints: 57869
3490.66/3502.05 c #Conflicts: 2108000 | #Constraints: 58869
3490.66/3502.05 c INPROCESSING
3490.66/3502.05 c GARBAGE COLLECT
3490.66/3502.05 c #Conflicts: 2109000 | #Constraints: 30443
3490.66/3502.05 c #Conflicts: 2110000 | #Constraints: 31488
3490.66/3502.05 c #Conflicts: 2111000 | #Constraints: 32527
3490.66/3502.05 c #Conflicts: 2112000 | #Constraints: 33531
3490.66/3502.05 c #Conflicts: 2113000 | #Constraints: 34536
3490.66/3502.05 c #Conflicts: 2114000 | #Constraints: 35572
3490.66/3502.05 c #Conflicts: 2115000 | #Constraints: 36614
3490.66/3502.05 c #Conflicts: 2116000 | #Constraints: 37666
3490.66/3502.05 c #Conflicts: 2117000 | #Constraints: 38681
3490.66/3502.05 c #Conflicts: 2118000 | #Constraints: 39681
3490.66/3502.05 c #Conflicts: 2119000 | #Constraints: 40686
3490.66/3502.05 c #Conflicts: 2120000 | #Constraints: 41686
3490.66/3502.05 c #Conflicts: 2121000 | #Constraints: 42693
3490.66/3502.05 c #Conflicts: 2122000 | #Constraints: 43693
3490.66/3502.05 c #Conflicts: 2123000 | #Constraints: 44693
3490.66/3502.05 c #Conflicts: 2124000 | #Constraints: 45693
3490.66/3502.05 c #Conflicts: 2125000 | #Constraints: 46693
3490.66/3502.05 c #Conflicts: 2126000 | #Constraints: 47698
3490.66/3502.05 c #Conflicts: 2127000 | #Constraints: 48752
3490.66/3502.05 c #Conflicts: 2128000 | #Constraints: 49757
3490.66/3502.05 c #Conflicts: 2129000 | #Constraints: 50766
3490.66/3502.05 c #Conflicts: 2130000 | #Constraints: 51806
3490.66/3502.05 c #Conflicts: 2131000 | #Constraints: 52870
3490.66/3502.05 c #Conflicts: 2132000 | #Constraints: 53919
3490.66/3502.05 c #Conflicts: 2133000 | #Constraints: 54968
3490.66/3502.05 c #Conflicts: 2134000 | #Constraints: 55968
3490.66/3502.05 c #Conflicts: 2135000 | #Constraints: 56973
3490.66/3502.05 c #Conflicts: 2136000 | #Constraints: 58001
3490.66/3502.05 c #Conflicts: 2137000 | #Constraints: 59017
3490.66/3502.05 c INPROCESSING
3490.66/3502.05 c GARBAGE COLLECT
3490.66/3502.05 c rational objective 1.76832
3595.48/3607.23 c #Conflicts: 2138000 | #Constraints: 30418
3595.48/3607.23 c #Conflicts: 2139000 | #Constraints: 31444
3595.48/3607.23 c #Conflicts: 2140000 | #Constraints: 32494
3595.48/3607.23 c #Conflicts: 2141000 | #Constraints: 33594
3595.48/3607.23 c #Conflicts: 2142000 | #Constraints: 34707
3595.48/3607.23 c #Conflicts: 2143000 | #Constraints: 35782
3595.48/3607.23 c #Conflicts: 2144000 | #Constraints: 36829
3595.48/3607.23 c #Conflicts: 2145000 | #Constraints: 37913
3595.48/3607.23 c #Conflicts: 2146000 | #Constraints: 38998
3595.48/3607.23 c #Conflicts: 2147000 | #Constraints: 40052
3595.48/3607.23 c #Conflicts: 2148000 | #Constraints: 41145
3595.48/3607.23 c #Conflicts: 2149000 | #Constraints: 42167
3595.48/3607.23 c #Conflicts: 2150000 | #Constraints: 43220
3595.48/3607.23 c #Conflicts: 2151000 | #Constraints: 44292
3595.48/3607.23 c #Conflicts: 2152000 | #Constraints: 45294
3595.48/3607.23 c #Conflicts: 2153000 | #Constraints: 46294
3595.48/3607.23 c #Conflicts: 2154000 | #Constraints: 47354
3595.48/3607.23 c #Conflicts: 2155000 | #Constraints: 48405
3595.48/3607.23 c #Conflicts: 2156000 | #Constraints: 49458
3595.48/3607.23 c #Conflicts: 2157000 | #Constraints: 50520
3595.48/3607.23 c #Conflicts: 2158000 | #Constraints: 51593
3595.48/3607.23 c #Conflicts: 2159000 | #Constraints: 52711
3595.48/3607.23 c #Conflicts: 2160000 | #Constraints: 53753
3595.48/3607.23 c #Conflicts: 2161000 | #Constraints: 54814
3595.48/3607.23 c #Conflicts: 2162000 | #Constraints: 55821
3595.48/3607.23 c #Conflicts: 2163000 | #Constraints: 56821
3595.48/3607.23 c #Conflicts: 2164000 | #Constraints: 57843
3595.48/3607.23 c #Conflicts: 2165000 | #Constraints: 58843
3595.48/3607.23 c #Conflicts: 2166000 | #Constraints: 59864
3595.48/3607.23 c INPROCESSING
3595.48/3607.23 c GARBAGE COLLECT
3595.48/3607.23 c rational objective 2.09379
3600.06/3611.80 c #Conflicts: 2167000 | #Constraints: 30657
3600.06/3611.80 c #Conflicts: 2168000 | #Constraints: 31657
3600.06/3611.80 c cpu time 3579.32 s
3600.06/3611.80 c deterministic time 924222515066 9.24e+11
3600.06/3611.80 c optimization time 4.46807 s
3600.06/3611.80 c total solve time 3574.85 s
3600.06/3611.80 c core-guided solve time 0 s
3600.06/3611.80 c propagation time 3303.08 s
3600.06/3611.80 c conflict analysis time 247.07 s
3600.06/3611.80 c propagations 16226247
3600.06/3611.80 c resolve steps 7570666
3600.06/3611.80 c decisions 3187051
3600.06/3611.80 c conflicts 2168262
3600.06/3611.80 c restarts 4093
3600.06/3611.80 c inprocessing phases 138
3600.06/3611.80 c garbage collections 138 ,( 100.00 )
3600.06/3611.80 c input clauses 0 ,( 0.00 )
3600.06/3611.80 c input cardinalities 0 ,( 0.00 )
3600.06/3611.80 c input general constraints 2 ,( 100.00 )
3600.06/3611.80 c input average constraint length 70.00
3600.06/3611.80 c input average constraint degree 388008603.50
3600.06/3611.80 c learned clauses 1222000 ,( 55.57 )
3600.06/3611.80 c learned cardinalities 4 ,( 0.00 )
3600.06/3611.80 c learned general constraints 976905 ,( 44.43 )
3600.06/3611.80 c learned average constraint length 47.83
3600.06/3611.80 c learned average constraint degree 58210756.73
3600.06/3611.80 c watched CF 32, 64, 128, Arb: 204777 , 0 , 0 , 0
3600.06/3611.80 c counting CF 32, 64, 128, Arb: 772130 , 0 , 0 , 0
3600.06/3611.80 c watched constraints 204777 ,( 20.96 )
3600.06/3611.80 c counting constraints 772130 ,( 79.04 )
3600.06/3611.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 150119025 , 689 , 63391857209 ,( 362871229 , 63028985980 )
3600.06/3611.80 c gcd simplifications 1298508
3600.06/3611.80 c detected cardinalities 3
3600.06/3611.80 c weakened non-implied lits 7864242
3600.06/3611.80 c weakened non-implying lits 17068823
3600.06/3611.80 c original variables 70
3600.06/3611.80 c clausal propagations 1866793
3600.06/3611.80 c cardinality propagations 4
3600.06/3611.80 c watched propagations 713079
3600.06/3611.80 c counting propagations 11333882
3600.06/3611.80 c watch lookups 66553904261
3600.06/3611.80 c watch backjump lookups 0
3600.06/3611.80 c watch checks 3695186469
3600.06/3611.80 c propagation checks 853392141144
3600.06/3611.80 c constraint additions 540067921
3600.06/3611.80 c trail pops 21581496
3600.06/3611.80 c formula constraints 2
3600.06/3611.80 c learned constraints 2168262
3600.06/3611.80 c bound constraints 0
3600.06/3611.80 c core-guided constraints 0
3600.06/3611.80 c encountered formula constraints 5072594
3600.06/3611.80 c encountered learned constraints 4666263
3600.06/3611.80 c encountered bound constraints 0
3600.06/3611.80 c encountered core-guided constraints 0
3600.06/3611.80 c LP total time 25.2488 s
3600.06/3611.80 c LP solve time 14.55 s
3600.06/3611.80 c LP constraints added 136
3600.06/3611.80 c LP constraints removed 128
3600.06/3611.80 c LP pivots internal 216833
3600.06/3611.80 c LP pivots root 3643
3600.06/3611.80 c LP calls 122155
3600.06/3611.80 c LP optimalities 90927
3600.06/3611.80 c LP no pivot count 14720
3600.06/3611.80 c LP infeasibilities 30873
3600.06/3611.80 c LP valid Farkas constraints 30579
3600.06/3611.80 c LP learned Farkas constraints 0
3600.06/3611.80 c LP basis resets 355
3600.06/3611.80 c LP cycling count 283
3600.06/3611.80 c LP singular count 61
3600.06/3611.80 c LP no primal count 0
3600.06/3611.80 c LP no farkas count 0
3600.06/3611.80 c LP other issue count 11
3600.06/3611.80 c LP Gomory cuts 68
3600.06/3611.80 c LP learned cuts 68
3600.06/3611.80 c LP deleted cuts 128
3600.06/3611.80 c LP encountered Gomory constraints 0
3600.06/3611.80 c LP encountered Farkas constraints 71
3600.06/3611.80 c LP encountered learned Farkas constraints 0
3600.06/3611.80 c CG auxiliary variables introduced 0
3600.06/3611.80 c CG solutions found 0
3600.06/3611.80 c CG cores constructed 0
3600.06/3611.80 c CG core cardinality constraints returned 0
3600.06/3611.80 c CG unit cores 0
3600.06/3611.80 c CG single cores 0
3600.06/3611.80 c CG blocks removed during cardinality reduction 0
3600.06/3611.80 c CG first core best 0
3600.06/3611.80 c CG decision core best 0
3600.06/3611.80 c CG core reduction tie 0
3600.06/3611.80 c CG core degree average 0.00
3600.06/3611.80 c CG core slack average 0.00
3600.06/3611.80 c CG core upper bound improvements 0
3600.06/3611.80 c STR number of successful calls 0
3600.06/3611.80 c STR number of unsuccessful calls 0
3600.06/3611.80 c STR number of inconclusive calls 0
3600.06/3611.80 c STR number of successful attempts 0
3600.06/3611.80 c STR number of unsuccessful attempts 0
3600.06/3611.80 c STR number of inconclusive attempts 0
3600.06/3611.80 c STR average degree increase per successful call inf
3600.06/3611.80 c STR average degree increase per successful attempt inf
3600.06/3611.80 c STR total number of conflicts for successful attempts 0
3600.06/3611.80 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3611.80 c STR total number of conflicts for inconclusive attempts 0
3600.06/3611.80 c STR average number of conflicts per successful attempt inf
3600.06/3611.80 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3611.80 c STR average number of conflicts per inconclusive attempt inf
3600.06/3611.80 c AVG.sumWPerc 68.45
3600.06/3611.80 c bigint constraints 0
3600.06/3611.80 s UNKNOWN
3600.06/3611.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61961 MiB free)
memory of node 1: 64507 MiB (63487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495857-1751150568/watcher-4495857-1751150568 -o /tmp/evaluation-result-4495857-1751150568/solver-4495857-1751150568 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15942 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4495857-1751150568.opb PROOFDIR/proof-4495857-1751150568
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=18801, runsolver pid=18798
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.19 4.27 4.18 5/261 18803
/proc/meminfo: memFree=128456068/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=55684 memory=10368 CPUtime=0.08 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 512 0 0 0 7 1 0 0 20 0 1 0 30736590 57020416 2592 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 13921 2592 2336 1147 0 1348 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59876 KiB
Current children cumulated memory: 13312 KiB
[startup+0.214953 s]*
/proc/loadavg: 4.19 4.27 4.18 5/261 18803
/proc/meminfo: memFree=128452036/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=55948 memory=12804 CPUtime=0.19 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 576 0 0 0 17 2 0 0 20 0 1 0 30736590 57290752 3201 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 13987 3201 2336 1147 0 1414 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60140 KiB
Current children cumulated memory: 15748 KiB
[startup+0.313604 s]*
/proc/loadavg: 4.19 4.27 4.18 5/261 18803
/proc/meminfo: memFree=128452036/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=56212 memory=12932 CPUtime=0.29 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 620 0 0 0 26 3 0 0 20 0 1 0 30736590 57561088 3233 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 14053 3233 2336 1147 0 1480 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 15876 KiB
[startup+0.700356 s]
/proc/loadavg: 4.19 4.27 4.18 5/261 18803
/proc/meminfo: memFree=128448004/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=56932 memory=13572 CPUtime=0.65 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 793 0 0 0 61 4 0 0 20 0 1 0 30736590 58298368 3393 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 14233 3393 2336 1147 0 1660 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 61124 KiB
Current children cumulated memory: 16516 KiB
[startup+1.50036 s]
/proc/loadavg: 4.18 4.27 4.18 5/261 18803
/proc/meminfo: memFree=128446240/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=58104 memory=14724 CPUtime=1.45 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 1078 0 0 0 138 7 0 0 20 0 1 0 30736590 59498496 3681 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 14526 3681 2336 1147 0 1953 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 62296 KiB
Current children cumulated memory: 17668 KiB
[startup+3.11329 s]
/proc/loadavg: 4.18 4.27 4.18 5/261 18803
/proc/meminfo: memFree=128411984/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=59820 memory=16260 CPUtime=3.06 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 1451 0 0 0 295 11 0 0 20 0 1 0 30736590 61255680 4065 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 14955 4065 2336 1147 0 2382 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 64012 KiB
Current children cumulated memory: 19204 KiB
[startup+6.30035 s]
/proc/loadavg: 4.25 4.28 4.19 5/260 18803
/proc/meminfo: memFree=128393996/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=61644 memory=17668 CPUtime=6.24 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 1817 0 0 0 602 22 0 0 20 0 1 0 30736590 63123456 4417 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 15411 4417 2336 1147 0 2838 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 65836 KiB
Current children cumulated memory: 20612 KiB
[startup+12.7004 s]
/proc/loadavg: 4.22 4.27 4.18 5/260 18803
/proc/meminfo: memFree=128332004/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=62672 memory=20624 CPUtime=12.62 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 2041 0 0 0 1226 36 0 0 20 0 1 0 30736590 64176128 5156 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 15668 5156 2336 1147 0 3095 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 66864 KiB
Current children cumulated memory: 23568 KiB
[startup+25.5004 s]
/proc/loadavg: 4.19 4.26 4.18 5/260 18803
/proc/meminfo: memFree=128282652/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=64120 memory=22672 CPUtime=25.38 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 2496 0 0 0 2475 63 0 0 20 0 1 0 30736590 65658880 5668 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 16030 5668 2432 1147 0 3457 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 68312 KiB
Current children cumulated memory: 25616 KiB
[startup+51.1135 s]
/proc/loadavg: 4.19 4.25 4.18 5/260 18803
/proc/meminfo: memFree=128110336/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=66408 memory=24592 CPUtime=50.93 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 3071 0 0 0 4985 108 0 0 20 0 1 0 30736590 68001792 6148 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 16602 6148 2432 1147 0 4029 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 70600 KiB
Current children cumulated memory: 27536 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/260 18805
/proc/meminfo: memFree=127750956/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=72916 memory=29072 CPUtime=101.97 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 4345 0 0 0 10020 177 0 0 20 0 1 0 30736590 74665984 7268 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 18229 7268 2432 1147 0 5656 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 77108 KiB
Current children cumulated memory: 32016 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/260 18807
/proc/meminfo: memFree=127465296/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=74392 memory=31772 CPUtime=161.79 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 5409 0 0 0 15926 253 0 0 20 0 1 0 30736590 76177408 7943 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 18598 7943 2432 1147 0 6025 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 78584 KiB
Current children cumulated memory: 34716 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/259 18809
/proc/meminfo: memFree=127149392/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=83960 memory=37268 CPUtime=221.58 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 7179 0 0 0 21835 323 0 0 20 0 1 0 30736590 85975040 9317 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
################
# More data... #
################
/proc/18803/statm: 33959 20113 2432 1147 0 21386 0
Current children cumulated CPU time: 3032.38 s
Current children cumulated vsize: 140028 KiB
Current children cumulated memory: 83396 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/259 18972
/proc/meminfo: memFree=117052428/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=136164 memory=80680 CPUtime=3092.21 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 19879 0 0 0 307313 1908 0 0 20 0 1 0 30736590 139431936 20170 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34041 20170 2432 1147 0 21468 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 140356 KiB
Current children cumulated memory: 83624 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/258 18974
/proc/meminfo: memFree=116899460/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=135836 memory=80516 CPUtime=3152.03 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 19999 0 0 0 313273 1930 0 0 20 0 1 0 30736590 139096064 20129 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 33959 20129 2432 1147 0 21386 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 140028 KiB
Current children cumulated memory: 83460 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.20 4.18 5/258 18976
/proc/meminfo: memFree=116693004/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=135836 memory=80516 CPUtime=3211.85 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 19999 0 0 0 319229 1956 0 0 20 0 1 0 30736590 139096064 20129 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 33959 20129 2432 1147 0 21386 0
Current children cumulated CPU time: 3211.85 s
Current children cumulated vsize: 140028 KiB
Current children cumulated memory: 83460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/259 19028
/proc/meminfo: memFree=122234420/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=136164 memory=80780 CPUtime=3271.66 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 20187 0 0 0 325186 1980 0 0 20 0 1 0 30736590 139431936 20195 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34041 20195 2432 1147 0 21468 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 140356 KiB
Current children cumulated memory: 83724 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/258 19030
/proc/meminfo: memFree=121968852/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=136904 memory=83520 CPUtime=3331.5 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 20476 0 0 0 331155 1995 0 0 20 0 1 0 30736590 140189696 20880 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34226 20880 2432 1147 0 21653 0
Current children cumulated CPU time: 3331.5 s
Current children cumulated vsize: 141096 KiB
Current children cumulated memory: 86464 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/259 19263
/proc/meminfo: memFree=127399420/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=136904 memory=83520 CPUtime=3391.27 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 20484 0 0 0 337113 2014 0 0 20 0 1 0 30736590 140189696 20880 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34226 20880 2432 1147 0 21653 0
Current children cumulated CPU time: 3391.27 s
Current children cumulated vsize: 141096 KiB
Current children cumulated memory: 86464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/261 19271
/proc/meminfo: memFree=126568108/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=136348 memory=83124 CPUtime=3451.09 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 20657 0 0 0 343077 2032 0 0 20 0 1 0 30736590 139620352 20781 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34087 20781 2432 1147 0 21514 0
Current children cumulated CPU time: 3451.09 s
Current children cumulated vsize: 140540 KiB
Current children cumulated memory: 86068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/261 19457
/proc/meminfo: memFree=125847548/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=136904 memory=83552 CPUtime=3510.86 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 20880 0 0 0 349034 2052 0 0 20 0 1 0 30736590 140189696 20888 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34226 20888 2432 1147 0 21653 0
Current children cumulated CPU time: 3510.86 s
Current children cumulated vsize: 141096 KiB
Current children cumulated memory: 86496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/262 19460
/proc/meminfo: memFree=124868556/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=136904 memory=83552 CPUtime=3570.65 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 20880 0 0 0 354996 2069 0 0 20 0 1 0 30736590 140189696 20888 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34226 20888 2432 1147 0 21653 0
Current children cumulated CPU time: 3570.65 s
Current children cumulated vsize: 141096 KiB
Current children cumulated memory: 86496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.17 4.16 4.17 5/262 19460
/proc/meminfo: memFree=124227772/131382112 swapFree=33010684/33010684
[pid=18801] ppid=18798 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/18801/stat : 18801 (run-dec-log.sh) S 18798 18801 15930 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 30736589 4292608 736 18446744073709551615 93968009093120 93968009987653 140725279736480 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93968010226704 93968010274448 93968034123776 140725279742241 140725279742436 140725279742436 140725279748038 0
/proc/18801/statm: 1048 736 672 219 0 110 0
[pid=18803] ppid=18801 vsize=137168 memory=83840 CPUtime=3600.06 cores=1,3
/proc/18803/stat : 18803 (roundingsat) R 18801 18801 15930 0 -1 4194304 21070 0 0 0 357932 2074 0 0 20 0 1 0 30736590 140460032 20960 18446744073709551615 4227072 8923433 140721295958416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20832256 140721295964519 140721295964712 140721295964712 140721295970282 0
/proc/18803/statm: 34292 20960 2432 1147 0 21719 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 141360 KiB
Current children cumulated memory: 86784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.81 s]
# the end of solver process 18801 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001643 s, system=0.003215 s
[startup+3611.82 s]
# the end of solver process 18803 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.33 s, system=20.7559 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.82
CPU time (s): 3600.08
CPU user time (s): 3579.33
CPU system time (s): 20.7559
CPU usage (%): 99.6751
Max. virtual memory (cumulated for all children) (KiB): 141572
Max. memory (cumulated for all children) (KiB): 86880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.33
system time used= 20.7559
maximum resident set size= 84192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3880760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 669
involuntary context switches= 5063
# summary of solver processes directly reported to runsolver:
# pid: 18801,18803
# total CPU time (s): 3600.08
# total CPU user time (s): 3579.33
# total CPU system time (s): 20.7559
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1761 second user time and 40.8305 second system time
The end
Begin job on nodeC009 at 2025-06-29 00:42:48
IDJOB=4495857
IDBENCH=148100
IDSOLVER=3352
FILE ID=nodeC009/4495857-1751150568
RUNJOBID= nodeC009-1751146607-15942
SLURM_JOB_ID= 9587463
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495857-1751150568/watcher-4495857-1751150568 -o /tmp/evaluation-result-4495857-1751150568/solver-4495857-1751150568 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15942 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4495857-1751150568.opb PROOFDIR/proof-4495857-1751150568
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=1546326384
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.687
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.554
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.808
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.103
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.537
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128460416 kB
MemAvailable: 129637812 kB
Buffers: 3280 kB
Cached: 1987412 kB
SwapCached: 0 kB
Active: 650312 kB
Inactive: 1776884 kB
Active(anon): 454504 kB
Inactive(anon): 0 kB
Active(file): 195808 kB
Inactive(file): 1776884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 38652 kB
Writeback: 0 kB
AnonPages: 437708 kB
Mapped: 115996 kB
Shmem: 17960 kB
KReclaimable: 88280 kB
Slab: 170284 kB
SReclaimable: 88280 kB
SUnreclaim: 82004 kB
KernelStack: 4192 kB
PageTables: 4024 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 809508 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149560 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 309248 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC009 at 2025-06-29 01:43:00