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.40/0.44 c #Conflicts: 1000 | #Constraints: 1093
0.40/0.44 c #Conflicts: 2000 | #Constraints: 2145
0.40/0.44 c INPROCESSING
0.40/0.44 c GARBAGE COLLECT
0.40/0.44 c rational objective 2
0.87/1.00 c #Conflicts: 3000 | #Constraints: 2170
0.87/1.00 c #Conflicts: 4000 | #Constraints: 3257
0.87/1.00 c INPROCESSING
0.87/1.00 c GARBAGE COLLECT
0.87/1.00 c rational objective 2
1.36/1.49 c #Conflicts: 5000 | #Constraints: 2587
1.36/1.49 c #Conflicts: 6000 | #Constraints: 3668
1.36/1.49 c INPROCESSING
1.36/1.49 c GARBAGE COLLECT
1.36/1.49 c rational objective 2
1.97/2.08 c #Conflicts: 7000 | #Constraints: 2605
1.97/2.08 c #Conflicts: 8000 | #Constraints: 3690
1.97/2.08 c #Conflicts: 9000 | #Constraints: 4779
1.97/2.08 c INPROCESSING
1.97/2.08 c GARBAGE COLLECT
1.97/2.08 c rational objective 2
2.57/2.70 c #Conflicts: 10000 | #Constraints: 3638
2.57/2.70 c #Conflicts: 11000 | #Constraints: 4696
2.57/2.70 c #Conflicts: 12000 | #Constraints: 5774
2.57/2.70 c INPROCESSING
2.57/2.70 c GARBAGE COLLECT
2.57/2.70 c rational objective 2
3.16/3.28 c #Conflicts: 13000 | #Constraints: 3897
3.16/3.28 c #Conflicts: 14000 | #Constraints: 4897
3.16/3.28 c #Conflicts: 15000 | #Constraints: 5897
3.16/3.28 c INPROCESSING
3.16/3.28 c GARBAGE COLLECT
3.16/3.28 c rational objective 2
3.86/3.94 c #Conflicts: 16000 | #Constraints: 4035
3.86/3.94 c #Conflicts: 17000 | #Constraints: 5137
3.86/3.94 c #Conflicts: 18000 | #Constraints: 6233
3.86/3.94 c INPROCESSING
3.86/3.94 c GARBAGE COLLECT
3.86/3.94 c rational objective 2
4.55/4.64 c #Conflicts: 19000 | #Constraints: 4030
4.55/4.64 c #Conflicts: 20000 | #Constraints: 5030
4.55/4.64 c #Conflicts: 21000 | #Constraints: 6050
4.55/4.64 c INPROCESSING
4.55/4.64 c GARBAGE COLLECT
4.55/4.64 c rational objective 2.00382
5.36/5.50 c #Conflicts: 22000 | #Constraints: 3758
5.36/5.50 c #Conflicts: 23000 | #Constraints: 4758
5.36/5.50 c #Conflicts: 24000 | #Constraints: 5758
5.36/5.50 c #Conflicts: 25000 | #Constraints: 6758
5.36/5.50 c INPROCESSING
5.36/5.50 c GARBAGE COLLECT
5.36/5.50 c rational objective 2.00001
6.45/6.51 c #Conflicts: 26000 | #Constraints: 4351
6.45/6.51 c #Conflicts: 27000 | #Constraints: 5364
6.45/6.51 c #Conflicts: 28000 | #Constraints: 6370
6.45/6.51 c #Conflicts: 29000 | #Constraints: 7370
6.45/6.51 c INPROCESSING
6.45/6.51 c GARBAGE COLLECT
6.45/6.51 c rational objective 2.00001
7.55/7.62 c #Conflicts: 30000 | #Constraints: 4761
7.55/7.62 c #Conflicts: 31000 | #Constraints: 5761
7.55/7.62 c #Conflicts: 32000 | #Constraints: 6761
7.55/7.62 c #Conflicts: 33000 | #Constraints: 7761
7.55/7.62 c INPROCESSING
7.55/7.62 c GARBAGE COLLECT
7.55/7.62 c rational objective 2.00001
8.65/8.72 c #Conflicts: 34000 | #Constraints: 4899
8.65/8.72 c #Conflicts: 35000 | #Constraints: 5944
8.65/8.72 c #Conflicts: 36000 | #Constraints: 7024
8.65/8.72 c #Conflicts: 37000 | #Constraints: 8138
8.65/8.72 c INPROCESSING
8.65/8.72 c GARBAGE COLLECT
8.65/8.72 c rational objective 2.00001
9.84/9.99 c #Conflicts: 38000 | #Constraints: 5055
9.84/9.99 c #Conflicts: 39000 | #Constraints: 6067
9.84/9.99 c #Conflicts: 40000 | #Constraints: 7067
9.84/9.99 c #Conflicts: 41000 | #Constraints: 8067
9.84/9.99 c INPROCESSING
9.84/9.99 c GARBAGE COLLECT
9.84/9.99 c rational objective 2.00001
11.34/11.44 c #Conflicts: 42000 | #Constraints: 4776
11.34/11.44 c #Conflicts: 43000 | #Constraints: 5828
11.34/11.44 c #Conflicts: 44000 | #Constraints: 6828
11.34/11.44 c #Conflicts: 45000 | #Constraints: 7828
11.34/11.44 c #Conflicts: 46000 | #Constraints: 8828
11.34/11.44 c INPROCESSING
11.34/11.44 c GARBAGE COLLECT
11.34/11.44 c rational objective 2.00001
13.05/13.15 c #Conflicts: 47000 | #Constraints: 5370
13.05/13.15 c #Conflicts: 48000 | #Constraints: 6381
13.05/13.15 c #Conflicts: 49000 | #Constraints: 7381
13.05/13.15 c #Conflicts: 50000 | #Constraints: 8381
13.05/13.15 c #Conflicts: 51000 | #Constraints: 9381
13.05/13.15 c INPROCESSING
13.05/13.15 c GARBAGE COLLECT
13.05/13.15 c rational objective 2.00001
14.82/14.94 c #Conflicts: 52000 | #Constraints: 5780
14.82/14.94 c #Conflicts: 53000 | #Constraints: 6852
14.82/14.94 c #Conflicts: 54000 | #Constraints: 7885
14.82/14.94 c #Conflicts: 55000 | #Constraints: 8885
14.82/14.94 c #Conflicts: 56000 | #Constraints: 9885
14.82/14.94 c INPROCESSING
14.82/14.94 c GARBAGE COLLECT
14.82/14.94 c rational objective 2.00001
16.62/16.72 c #Conflicts: 57000 | #Constraints: 6084
16.62/16.72 c #Conflicts: 58000 | #Constraints: 7131
16.62/16.72 c #Conflicts: 59000 | #Constraints: 8131
16.62/16.72 c #Conflicts: 60000 | #Constraints: 9131
16.62/16.72 c #Conflicts: 61000 | #Constraints: 10131
16.62/16.72 c INPROCESSING
16.62/16.72 c GARBAGE COLLECT
16.62/16.72 c rational objective 2.00001
18.52/18.63 c #Conflicts: 62000 | #Constraints: 6017
18.52/18.63 c #Conflicts: 63000 | #Constraints: 7022
18.52/18.63 c #Conflicts: 64000 | #Constraints: 8022
18.52/18.63 c #Conflicts: 65000 | #Constraints: 9022
18.52/18.63 c #Conflicts: 66000 | #Constraints: 10022
18.52/18.63 c INPROCESSING
18.52/18.63 c GARBAGE COLLECT
18.52/18.63 c rational objective 2.00001
20.62/20.77 c #Conflicts: 67000 | #Constraints: 5750
20.62/20.77 c #Conflicts: 68000 | #Constraints: 6779
20.62/20.77 c #Conflicts: 69000 | #Constraints: 7779
20.62/20.77 c #Conflicts: 70000 | #Constraints: 8779
20.62/20.77 c #Conflicts: 71000 | #Constraints: 9779
20.62/20.77 c #Conflicts: 72000 | #Constraints: 10779
20.62/20.77 c INPROCESSING
20.62/20.77 c GARBAGE COLLECT
20.62/20.77 c rational objective 2.00001
22.81/22.96 c #Conflicts: 73000 | #Constraints: 6377
22.81/22.96 c #Conflicts: 74000 | #Constraints: 7452
22.81/22.96 c #Conflicts: 75000 | #Constraints: 8452
22.81/22.96 c #Conflicts: 76000 | #Constraints: 9452
22.81/22.96 c #Conflicts: 77000 | #Constraints: 10464
22.81/22.96 c #Conflicts: 78000 | #Constraints: 11585
22.81/22.96 c INPROCESSING
22.81/22.96 c GARBAGE COLLECT
22.81/22.96 c rational objective 2.00001
25.01/25.15 c #Conflicts: 79000 | #Constraints: 6862
25.01/25.15 c #Conflicts: 80000 | #Constraints: 7862
25.01/25.15 c #Conflicts: 81000 | #Constraints: 8862
25.01/25.15 c #Conflicts: 82000 | #Constraints: 9862
25.01/25.15 c #Conflicts: 83000 | #Constraints: 10862
25.01/25.15 c #Conflicts: 84000 | #Constraints: 11862
25.01/25.15 c INPROCESSING
25.01/25.15 c GARBAGE COLLECT
25.01/25.15 c rational objective 2.00001
27.39/27.54 c #Conflicts: 85000 | #Constraints: 7036
27.39/27.54 c #Conflicts: 86000 | #Constraints: 8076
27.39/27.54 c #Conflicts: 87000 | #Constraints: 9076
27.39/27.54 c #Conflicts: 88000 | #Constraints: 10076
27.39/27.54 c #Conflicts: 89000 | #Constraints: 11076
27.39/27.54 c #Conflicts: 90000 | #Constraints: 12076
27.39/27.54 c INPROCESSING
27.39/27.54 c GARBAGE COLLECT
27.39/27.54 c rational objective 2.00001
29.79/29.92 c #Conflicts: 91000 | #Constraints: 6990
29.79/29.92 c #Conflicts: 92000 | #Constraints: 8079
29.79/29.92 c #Conflicts: 93000 | #Constraints: 9082
29.79/29.92 c #Conflicts: 94000 | #Constraints: 10082
29.79/29.92 c #Conflicts: 95000 | #Constraints: 11082
29.79/29.92 c #Conflicts: 96000 | #Constraints: 12082
29.79/29.92 c INPROCESSING
29.79/29.92 c GARBAGE COLLECT
29.79/29.92 c rational objective 2.00001
32.48/32.65 c #Conflicts: 97000 | #Constraints: 6778
32.48/32.65 c #Conflicts: 98000 | #Constraints: 7781
32.48/32.65 c #Conflicts: 99000 | #Constraints: 8781
32.48/32.65 c #Conflicts: 100000 | #Constraints: 9781
32.48/32.65 c #Conflicts: 101000 | #Constraints: 10781
32.48/32.65 c #Conflicts: 102000 | #Constraints: 11781
32.48/32.65 c #Conflicts: 103000 | #Constraints: 12781
32.48/32.65 c INPROCESSING
32.48/32.65 c GARBAGE COLLECT
32.48/32.65 c rational objective 2.00001
35.28/35.43 c #Conflicts: 104000 | #Constraints: 7348
35.28/35.43 c #Conflicts: 105000 | #Constraints: 8348
35.28/35.43 c #Conflicts: 106000 | #Constraints: 9348
35.28/35.43 c #Conflicts: 107000 | #Constraints: 10348
35.28/35.43 c #Conflicts: 108000 | #Constraints: 11348
35.28/35.43 c #Conflicts: 109000 | #Constraints: 12406
35.28/35.43 c #Conflicts: 110000 | #Constraints: 13585
35.28/35.43 c INPROCESSING
35.28/35.43 c GARBAGE COLLECT
35.28/35.43 c rational objective 2.00001
37.77/37.98 c #Conflicts: 111000 | #Constraints: 7893
37.77/37.98 c #Conflicts: 112000 | #Constraints: 8902
37.77/37.98 c #Conflicts: 113000 | #Constraints: 9902
37.77/37.98 c #Conflicts: 114000 | #Constraints: 10902
37.77/37.98 c #Conflicts: 115000 | #Constraints: 11902
37.77/37.98 c #Conflicts: 116000 | #Constraints: 12902
37.77/37.98 c #Conflicts: 117000 | #Constraints: 13902
37.77/37.98 c INPROCESSING
37.77/37.98 c GARBAGE COLLECT
37.77/37.98 c rational objective 2.00001
40.76/40.90 c #Conflicts: 118000 | #Constraints: 8047
40.76/40.90 c #Conflicts: 119000 | #Constraints: 9144
40.76/40.90 c #Conflicts: 120000 | #Constraints: 10236
40.76/40.90 c #Conflicts: 121000 | #Constraints: 11340
40.76/40.90 c #Conflicts: 122000 | #Constraints: 12446
40.76/40.90 c #Conflicts: 123000 | #Constraints: 13449
40.76/40.90 c #Conflicts: 124000 | #Constraints: 14449
40.76/40.90 c INPROCESSING
40.76/40.90 c GARBAGE COLLECT
40.76/40.90 c rational objective 2.00001
43.65/43.81 c #Conflicts: 125000 | #Constraints: 8185
43.65/43.81 c #Conflicts: 126000 | #Constraints: 9185
43.65/43.81 c #Conflicts: 127000 | #Constraints: 10185
43.65/43.81 c #Conflicts: 128000 | #Constraints: 11185
43.65/43.81 c #Conflicts: 129000 | #Constraints: 12185
43.65/43.81 c #Conflicts: 130000 | #Constraints: 13185
43.65/43.81 c #Conflicts: 131000 | #Constraints: 14196
43.65/43.81 c INPROCESSING
43.65/43.81 c GARBAGE COLLECT
43.65/43.81 c rational objective 2.00001
46.86/47.03 c #Conflicts: 132000 | #Constraints: 7859
46.86/47.03 c #Conflicts: 133000 | #Constraints: 8860
46.86/47.03 c #Conflicts: 134000 | #Constraints: 9860
46.86/47.03 c #Conflicts: 135000 | #Constraints: 10860
46.86/47.03 c #Conflicts: 136000 | #Constraints: 11860
46.86/47.03 c #Conflicts: 137000 | #Constraints: 12860
46.86/47.03 c #Conflicts: 138000 | #Constraints: 13860
46.86/47.03 c #Conflicts: 139000 | #Constraints: 14860
46.86/47.03 c INPROCESSING
46.86/47.03 c GARBAGE COLLECT
46.86/47.03 c rational objective 2.00001
50.33/50.53 c #Conflicts: 140000 | #Constraints: 8392
50.33/50.53 c #Conflicts: 141000 | #Constraints: 9396
50.33/50.53 c #Conflicts: 142000 | #Constraints: 10396
50.33/50.53 c #Conflicts: 143000 | #Constraints: 11396
50.33/50.53 c #Conflicts: 144000 | #Constraints: 12396
50.33/50.53 c #Conflicts: 145000 | #Constraints: 13396
50.33/50.53 c #Conflicts: 146000 | #Constraints: 14396
50.33/50.53 c #Conflicts: 147000 | #Constraints: 15401
50.33/50.53 c INPROCESSING
50.33/50.53 c GARBAGE COLLECT
50.33/50.53 c rational objective 2.00001
53.83/54.03 c #Conflicts: 148000 | #Constraints: 8760
53.83/54.03 c #Conflicts: 149000 | #Constraints: 9760
53.83/54.03 c #Conflicts: 150000 | #Constraints: 10760
53.83/54.03 c #Conflicts: 151000 | #Constraints: 11760
53.83/54.03 c #Conflicts: 152000 | #Constraints: 12760
53.83/54.03 c #Conflicts: 153000 | #Constraints: 13760
53.83/54.03 c #Conflicts: 154000 | #Constraints: 14760
53.83/54.03 c #Conflicts: 155000 | #Constraints: 15760
53.83/54.03 c INPROCESSING
53.83/54.03 c GARBAGE COLLECT
53.83/54.03 c rational objective 2.00001
58.41/58.67 c #Conflicts: 156000 | #Constraints: 8940
58.41/58.67 c #Conflicts: 157000 | #Constraints: 9965
58.41/58.67 c #Conflicts: 158000 | #Constraints: 10965
58.41/58.67 c #Conflicts: 159000 | #Constraints: 11965
58.41/58.67 c #Conflicts: 160000 | #Constraints: 12965
58.41/58.67 c #Conflicts: 161000 | #Constraints: 13965
58.41/58.67 c #Conflicts: 162000 | #Constraints: 14965
58.41/58.67 c #Conflicts: 163000 | #Constraints: 15965
58.41/58.67 c INPROCESSING
58.41/58.67 c GARBAGE COLLECT
58.41/58.67 c rational objective 2.00001
62.39/62.68 c #Conflicts: 164000 | #Constraints: 8902
62.39/62.68 c #Conflicts: 165000 | #Constraints: 9902
62.39/62.68 c #Conflicts: 166000 | #Constraints: 10902
62.39/62.68 c #Conflicts: 167000 | #Constraints: 11902
62.39/62.68 c #Conflicts: 168000 | #Constraints: 12902
62.39/62.68 c #Conflicts: 169000 | #Constraints: 13902
62.39/62.68 c #Conflicts: 170000 | #Constraints: 14902
62.39/62.68 c #Conflicts: 171000 | #Constraints: 15902
62.39/62.68 c INPROCESSING
62.39/62.68 c GARBAGE COLLECT
62.39/62.68 c rational objective 2.00001
66.79/67.07 c #Conflicts: 172000 | #Constraints: 8708
66.79/67.07 c #Conflicts: 173000 | #Constraints: 9860
66.79/67.07 c #Conflicts: 174000 | #Constraints: 10892
66.79/67.07 c #Conflicts: 175000 | #Constraints: 11892
66.79/67.07 c #Conflicts: 176000 | #Constraints: 12892
66.79/67.07 c #Conflicts: 177000 | #Constraints: 13892
66.79/67.07 c #Conflicts: 178000 | #Constraints: 14892
66.79/67.07 c #Conflicts: 179000 | #Constraints: 15892
66.79/67.07 c #Conflicts: 180000 | #Constraints: 16892
66.79/67.07 c INPROCESSING
66.79/67.07 c GARBAGE COLLECT
66.79/67.07 c rational objective 2.00001
71.36/71.65 c #Conflicts: 181000 | #Constraints: 9350
71.36/71.65 c #Conflicts: 182000 | #Constraints: 10350
71.36/71.65 c #Conflicts: 183000 | #Constraints: 11350
71.36/71.65 c #Conflicts: 184000 | #Constraints: 12350
71.36/71.65 c #Conflicts: 185000 | #Constraints: 13350
71.36/71.65 c #Conflicts: 186000 | #Constraints: 14350
71.36/71.65 c #Conflicts: 187000 | #Constraints: 15350
71.36/71.65 c #Conflicts: 188000 | #Constraints: 16350
71.36/71.65 c #Conflicts: 189000 | #Constraints: 17350
71.36/71.65 c INPROCESSING
71.36/71.65 c GARBAGE COLLECT
71.36/71.65 c rational objective 2.00001
77.04/77.35 c #Conflicts: 190000 | #Constraints: 9749
77.04/77.35 c #Conflicts: 191000 | #Constraints: 10854
77.04/77.35 c #Conflicts: 192000 | #Constraints: 11917
77.04/77.35 c #Conflicts: 193000 | #Constraints: 12917
77.04/77.35 c #Conflicts: 194000 | #Constraints: 13917
77.04/77.35 c #Conflicts: 195000 | #Constraints: 14917
77.04/77.35 c #Conflicts: 196000 | #Constraints: 15917
77.04/77.35 c #Conflicts: 197000 | #Constraints: 16917
77.04/77.35 c #Conflicts: 198000 | #Constraints: 17917
77.04/77.35 c INPROCESSING
77.04/77.35 c GARBAGE COLLECT
77.04/77.35 c rational objective 2.00001
82.32/82.62 c #Conflicts: 199000 | #Constraints: 10013
82.32/82.62 c #Conflicts: 200000 | #Constraints: 11013
82.32/82.62 c #Conflicts: 201000 | #Constraints: 12013
82.32/82.62 c #Conflicts: 202000 | #Constraints: 13013
82.32/82.62 c #Conflicts: 203000 | #Constraints: 14013
82.32/82.62 c #Conflicts: 204000 | #Constraints: 15013
82.32/82.62 c #Conflicts: 205000 | #Constraints: 16013
82.32/82.62 c #Conflicts: 206000 | #Constraints: 17013
82.32/82.62 c #Conflicts: 207000 | #Constraints: 18013
82.32/82.62 c INPROCESSING
82.32/82.62 c GARBAGE COLLECT
82.32/82.62 c rational objective 2.00001
87.01/87.33 c #Conflicts: 208000 | #Constraints: 9935
87.01/87.33 c #Conflicts: 209000 | #Constraints: 10935
87.01/87.33 c #Conflicts: 210000 | #Constraints: 11935
87.01/87.33 c #Conflicts: 211000 | #Constraints: 12935
87.01/87.33 c #Conflicts: 212000 | #Constraints: 13935
87.01/87.33 c #Conflicts: 213000 | #Constraints: 14935
87.01/87.33 c #Conflicts: 214000 | #Constraints: 15935
87.01/87.33 c #Conflicts: 215000 | #Constraints: 16935
87.01/87.33 c #Conflicts: 216000 | #Constraints: 17935
87.01/87.33 c INPROCESSING
87.01/87.33 c GARBAGE COLLECT
87.01/87.33 c rational objective 2.00001
93.19/93.57 c #Conflicts: 217000 | #Constraints: 9718
93.19/93.57 c #Conflicts: 218000 | #Constraints: 10840
93.19/93.57 c #Conflicts: 219000 | #Constraints: 11951
93.19/93.57 c #Conflicts: 220000 | #Constraints: 12956
93.19/93.57 c #Conflicts: 221000 | #Constraints: 13956
93.19/93.57 c #Conflicts: 222000 | #Constraints: 14956
93.19/93.57 c #Conflicts: 223000 | #Constraints: 15956
93.19/93.57 c #Conflicts: 224000 | #Constraints: 16956
93.19/93.57 c #Conflicts: 225000 | #Constraints: 17956
93.19/93.57 c #Conflicts: 226000 | #Constraints: 18956
93.19/93.57 c INPROCESSING
93.19/93.57 c GARBAGE COLLECT
93.19/93.57 c rational objective 2.00001
99.78/100.16 c #Conflicts: 227000 | #Constraints: 10460
99.78/100.16 c #Conflicts: 228000 | #Constraints: 11572
99.78/100.16 c #Conflicts: 229000 | #Constraints: 12654
99.78/100.16 c #Conflicts: 230000 | #Constraints: 13760
99.78/100.16 c #Conflicts: 231000 | #Constraints: 14857
99.78/100.16 c #Conflicts: 232000 | #Constraints: 15866
99.78/100.16 c #Conflicts: 233000 | #Constraints: 16866
99.78/100.16 c #Conflicts: 234000 | #Constraints: 17866
99.78/100.16 c #Conflicts: 235000 | #Constraints: 18866
99.78/100.16 c #Conflicts: 236000 | #Constraints: 19866
99.78/100.16 c INPROCESSING
99.78/100.16 c GARBAGE COLLECT
99.78/100.16 c rational objective 2.00001
105.44/105.81 c #Conflicts: 237000 | #Constraints: 10963
105.44/105.81 c #Conflicts: 238000 | #Constraints: 11963
105.44/105.81 c #Conflicts: 239000 | #Constraints: 12963
105.44/105.81 c #Conflicts: 240000 | #Constraints: 13963
105.44/105.81 c #Conflicts: 241000 | #Constraints: 14963
105.44/105.81 c #Conflicts: 242000 | #Constraints: 15963
105.44/105.81 c #Conflicts: 243000 | #Constraints: 16963
105.44/105.81 c #Conflicts: 244000 | #Constraints: 17963
105.44/105.81 c #Conflicts: 245000 | #Constraints: 18963
105.44/105.81 c #Conflicts: 246000 | #Constraints: 19963
105.44/105.81 c INPROCESSING
105.44/105.81 c GARBAGE COLLECT
105.44/105.81 c rational objective 2.00001
111.92/112.31 c #Conflicts: 247000 | #Constraints: 11035
111.92/112.31 c #Conflicts: 248000 | #Constraints: 12105
111.92/112.31 c #Conflicts: 249000 | #Constraints: 13166
111.92/112.31 c #Conflicts: 250000 | #Constraints: 14229
111.92/112.31 c #Conflicts: 251000 | #Constraints: 15232
111.92/112.31 c #Conflicts: 252000 | #Constraints: 16232
111.92/112.31 c #Conflicts: 253000 | #Constraints: 17232
111.92/112.31 c #Conflicts: 254000 | #Constraints: 18232
111.92/112.31 c #Conflicts: 255000 | #Constraints: 19232
111.92/112.31 c #Conflicts: 256000 | #Constraints: 20232
111.92/112.31 c INPROCESSING
111.92/112.31 c GARBAGE COLLECT
111.92/112.31 c rational objective 2.00001
118.30/118.73 c #Conflicts: 257000 | #Constraints: 11023
118.30/118.73 c #Conflicts: 258000 | #Constraints: 12023
118.30/118.73 c #Conflicts: 259000 | #Constraints: 13023
118.30/118.73 c #Conflicts: 260000 | #Constraints: 14023
118.30/118.73 c #Conflicts: 261000 | #Constraints: 15023
118.30/118.73 c #Conflicts: 262000 | #Constraints: 16023
118.30/118.73 c #Conflicts: 263000 | #Constraints: 17023
118.30/118.73 c #Conflicts: 264000 | #Constraints: 18023
118.30/118.73 c #Conflicts: 265000 | #Constraints: 19023
118.30/118.73 c #Conflicts: 266000 | #Constraints: 20023
118.30/118.73 c INPROCESSING
118.30/118.73 c GARBAGE COLLECT
118.30/118.73 c rational objective 2.00001
125.37/125.83 c #Conflicts: 267000 | #Constraints: 10731
125.37/125.83 c #Conflicts: 268000 | #Constraints: 11731
125.37/125.83 c #Conflicts: 269000 | #Constraints: 12731
125.37/125.83 c #Conflicts: 270000 | #Constraints: 13731
125.37/125.83 c #Conflicts: 271000 | #Constraints: 14731
125.37/125.83 c #Conflicts: 272000 | #Constraints: 15731
125.37/125.83 c #Conflicts: 273000 | #Constraints: 16731
125.37/125.83 c #Conflicts: 274000 | #Constraints: 17731
125.37/125.83 c #Conflicts: 275000 | #Constraints: 18731
125.37/125.83 c #Conflicts: 276000 | #Constraints: 19731
125.37/125.83 c #Conflicts: 277000 | #Constraints: 20731
125.37/125.83 c INPROCESSING
125.37/125.83 c GARBAGE COLLECT
125.37/125.83 c rational objective 2.00001
132.24/132.77 c #Conflicts: 278000 | #Constraints: 11355
132.24/132.77 c #Conflicts: 279000 | #Constraints: 12355
132.24/132.77 c #Conflicts: 280000 | #Constraints: 13355
132.24/132.77 c #Conflicts: 281000 | #Constraints: 14355
132.24/132.77 c #Conflicts: 282000 | #Constraints: 15355
132.24/132.77 c #Conflicts: 283000 | #Constraints: 16355
132.24/132.77 c #Conflicts: 284000 | #Constraints: 17355
132.24/132.77 c #Conflicts: 285000 | #Constraints: 18355
132.24/132.77 c #Conflicts: 286000 | #Constraints: 19355
132.24/132.77 c #Conflicts: 287000 | #Constraints: 20355
132.24/132.77 c #Conflicts: 288000 | #Constraints: 21355
132.24/132.77 c INPROCESSING
132.24/132.77 c GARBAGE COLLECT
132.24/132.77 c rational objective 2.00001
139.42/139.91 c #Conflicts: 289000 | #Constraints: 11725
139.42/139.91 c #Conflicts: 290000 | #Constraints: 12725
139.42/139.91 c #Conflicts: 291000 | #Constraints: 13725
139.42/139.91 c #Conflicts: 292000 | #Constraints: 14725
139.42/139.91 c #Conflicts: 293000 | #Constraints: 15725
139.42/139.91 c #Conflicts: 294000 | #Constraints: 16725
139.42/139.91 c #Conflicts: 295000 | #Constraints: 17725
139.42/139.91 c #Conflicts: 296000 | #Constraints: 18725
139.42/139.91 c #Conflicts: 297000 | #Constraints: 19725
139.42/139.91 c #Conflicts: 298000 | #Constraints: 20725
139.42/139.91 c #Conflicts: 299000 | #Constraints: 21725
139.42/139.91 c INPROCESSING
139.42/139.91 c GARBAGE COLLECT
139.42/139.91 c rational objective 2.00001
146.80/147.38 c #Conflicts: 300000 | #Constraints: 11908
146.80/147.38 c #Conflicts: 301000 | #Constraints: 12908
146.80/147.38 c #Conflicts: 302000 | #Constraints: 13908
146.80/147.38 c #Conflicts: 303000 | #Constraints: 14908
146.80/147.38 c #Conflicts: 304000 | #Constraints: 15908
146.80/147.38 c #Conflicts: 305000 | #Constraints: 16908
146.80/147.38 c #Conflicts: 306000 | #Constraints: 17908
146.80/147.38 c #Conflicts: 307000 | #Constraints: 18908
146.80/147.38 c #Conflicts: 308000 | #Constraints: 19908
146.80/147.38 c #Conflicts: 309000 | #Constraints: 20908
146.80/147.38 c #Conflicts: 310000 | #Constraints: 21908
146.80/147.38 c INPROCESSING
146.80/147.38 c GARBAGE COLLECT
146.80/147.38 c rational objective 2.00001
155.07/155.67 c #Conflicts: 311000 | #Constraints: 11904
155.07/155.67 c #Conflicts: 312000 | #Constraints: 12904
155.07/155.67 c #Conflicts: 313000 | #Constraints: 13904
155.07/155.67 c #Conflicts: 314000 | #Constraints: 14904
155.07/155.67 c #Conflicts: 315000 | #Constraints: 15904
155.07/155.67 c #Conflicts: 316000 | #Constraints: 16904
155.07/155.67 c #Conflicts: 317000 | #Constraints: 17904
155.07/155.67 c #Conflicts: 318000 | #Constraints: 18904
155.07/155.67 c #Conflicts: 319000 | #Constraints: 19904
155.07/155.67 c #Conflicts: 320000 | #Constraints: 20904
155.07/155.67 c #Conflicts: 321000 | #Constraints: 21904
155.07/155.67 c INPROCESSING
155.07/155.67 c GARBAGE COLLECT
155.07/155.67 c rational objective 2.00001
163.55/164.14 c #Conflicts: 322000 | #Constraints: 11663
163.55/164.14 c #Conflicts: 323000 | #Constraints: 12663
163.55/164.14 c #Conflicts: 324000 | #Constraints: 13663
163.55/164.14 c #Conflicts: 325000 | #Constraints: 14663
163.55/164.14 c #Conflicts: 326000 | #Constraints: 15663
163.55/164.14 c #Conflicts: 327000 | #Constraints: 16663
163.55/164.14 c #Conflicts: 328000 | #Constraints: 17663
163.55/164.14 c #Conflicts: 329000 | #Constraints: 18663
163.55/164.14 c #Conflicts: 330000 | #Constraints: 19663
163.55/164.14 c #Conflicts: 331000 | #Constraints: 20663
163.55/164.14 c #Conflicts: 332000 | #Constraints: 21663
163.55/164.14 c #Conflicts: 333000 | #Constraints: 22663
163.55/164.14 c INPROCESSING
163.55/164.14 c GARBAGE COLLECT
163.55/164.14 c rational objective 2.00001
171.90/172.58 c #Conflicts: 334000 | #Constraints: 12349
171.90/172.58 c #Conflicts: 335000 | #Constraints: 13458
171.90/172.58 c #Conflicts: 336000 | #Constraints: 14458
171.90/172.58 c #Conflicts: 337000 | #Constraints: 15458
171.90/172.58 c #Conflicts: 338000 | #Constraints: 16458
171.90/172.58 c #Conflicts: 339000 | #Constraints: 17458
171.90/172.58 c #Conflicts: 340000 | #Constraints: 18458
171.90/172.58 c #Conflicts: 341000 | #Constraints: 19458
171.90/172.58 c #Conflicts: 342000 | #Constraints: 20458
171.90/172.58 c #Conflicts: 343000 | #Constraints: 21458
171.90/172.58 c #Conflicts: 344000 | #Constraints: 22458
171.90/172.58 c #Conflicts: 345000 | #Constraints: 23458
171.90/172.58 c INPROCESSING
171.90/172.58 c GARBAGE COLLECT
171.90/172.58 c rational objective 2.00001
181.77/182.49 c #Conflicts: 346000 | #Constraints: 12754
181.77/182.49 c #Conflicts: 347000 | #Constraints: 13754
181.77/182.49 c #Conflicts: 348000 | #Constraints: 14754
181.77/182.49 c #Conflicts: 349000 | #Constraints: 15754
181.77/182.49 c #Conflicts: 350000 | #Constraints: 16754
181.77/182.49 c #Conflicts: 351000 | #Constraints: 17754
181.77/182.49 c #Conflicts: 352000 | #Constraints: 18754
181.77/182.49 c #Conflicts: 353000 | #Constraints: 19754
181.77/182.49 c #Conflicts: 354000 | #Constraints: 20754
181.77/182.49 c #Conflicts: 355000 | #Constraints: 21754
181.77/182.49 c #Conflicts: 356000 | #Constraints: 22754
181.77/182.49 c #Conflicts: 357000 | #Constraints: 23754
181.77/182.49 c INPROCESSING
181.77/182.49 c GARBAGE COLLECT
181.77/182.49 c rational objective 2.00001
191.04/191.74 c #Conflicts: 358000 | #Constraints: 12887
191.04/191.74 c #Conflicts: 359000 | #Constraints: 13887
191.04/191.74 c #Conflicts: 360000 | #Constraints: 14887
191.04/191.74 c #Conflicts: 361000 | #Constraints: 15887
191.04/191.74 c #Conflicts: 362000 | #Constraints: 16887
191.04/191.74 c #Conflicts: 363000 | #Constraints: 17887
191.04/191.74 c #Conflicts: 364000 | #Constraints: 18887
191.04/191.74 c #Conflicts: 365000 | #Constraints: 19887
191.04/191.74 c #Conflicts: 366000 | #Constraints: 20887
191.04/191.74 c #Conflicts: 367000 | #Constraints: 21887
191.04/191.74 c #Conflicts: 368000 | #Constraints: 22887
191.04/191.74 c #Conflicts: 369000 | #Constraints: 23887
191.04/191.74 c INPROCESSING
191.04/191.74 c GARBAGE COLLECT
191.04/191.74 c rational objective 2.00001
201.59/202.32 c #Conflicts: 370000 | #Constraints: 12907
201.59/202.32 c #Conflicts: 371000 | #Constraints: 13934
201.59/202.32 c #Conflicts: 372000 | #Constraints: 14934
201.59/202.32 c #Conflicts: 373000 | #Constraints: 15934
201.59/202.32 c #Conflicts: 374000 | #Constraints: 16934
201.59/202.32 c #Conflicts: 375000 | #Constraints: 17934
201.59/202.32 c #Conflicts: 376000 | #Constraints: 18934
201.59/202.32 c #Conflicts: 377000 | #Constraints: 19934
201.59/202.32 c #Conflicts: 378000 | #Constraints: 20934
201.59/202.32 c #Conflicts: 379000 | #Constraints: 21934
201.59/202.32 c #Conflicts: 380000 | #Constraints: 22934
201.59/202.32 c #Conflicts: 381000 | #Constraints: 23934
201.59/202.32 c INPROCESSING
201.59/202.32 c GARBAGE COLLECT
201.59/202.32 c rational objective 2.00001
210.46/211.28 c #Conflicts: 382000 | #Constraints: 12694
210.46/211.28 c #Conflicts: 383000 | #Constraints: 13699
210.46/211.28 c #Conflicts: 384000 | #Constraints: 14699
210.46/211.28 c #Conflicts: 385000 | #Constraints: 15699
210.46/211.28 c #Conflicts: 386000 | #Constraints: 16699
210.46/211.28 c #Conflicts: 387000 | #Constraints: 17699
210.46/211.28 c #Conflicts: 388000 | #Constraints: 18699
210.46/211.28 c #Conflicts: 389000 | #Constraints: 19699
210.46/211.28 c #Conflicts: 390000 | #Constraints: 20699
210.46/211.28 c #Conflicts: 391000 | #Constraints: 21699
210.46/211.28 c #Conflicts: 392000 | #Constraints: 22699
210.46/211.28 c #Conflicts: 393000 | #Constraints: 23699
210.46/211.28 c #Conflicts: 394000 | #Constraints: 24699
210.46/211.28 c INPROCESSING
210.46/211.28 c GARBAGE COLLECT
210.46/211.28 c rational objective 2.00001
222.42/223.24 c #Conflicts: 395000 | #Constraints: 13336
222.42/223.24 c #Conflicts: 396000 | #Constraints: 14444
222.42/223.24 c #Conflicts: 397000 | #Constraints: 15494
222.42/223.24 c #Conflicts: 398000 | #Constraints: 16494
222.42/223.24 c #Conflicts: 399000 | #Constraints: 17494
222.42/223.24 c #Conflicts: 400000 | #Constraints: 18494
222.42/223.24 c #Conflicts: 401000 | #Constraints: 19494
222.42/223.24 c #Conflicts: 402000 | #Constraints: 20502
222.42/223.24 c #Conflicts: 403000 | #Constraints: 21502
222.42/223.24 c #Conflicts: 404000 | #Constraints: 22502
222.42/223.24 c #Conflicts: 405000 | #Constraints: 23502
222.42/223.24 c #Conflicts: 406000 | #Constraints: 24502
222.42/223.24 c #Conflicts: 407000 | #Constraints: 25502
222.42/223.24 c INPROCESSING
222.42/223.24 c GARBAGE COLLECT
222.42/223.24 c rational objective 2.00001
233.78/234.61 c #Conflicts: 408000 | #Constraints: 13759
233.78/234.61 c #Conflicts: 409000 | #Constraints: 14759
233.78/234.61 c #Conflicts: 410000 | #Constraints: 15759
233.78/234.61 c #Conflicts: 411000 | #Constraints: 16845
233.78/234.61 c #Conflicts: 412000 | #Constraints: 17989
233.78/234.61 c #Conflicts: 413000 | #Constraints: 19096
233.78/234.61 c #Conflicts: 414000 | #Constraints: 20195
233.78/234.61 c #Conflicts: 415000 | #Constraints: 21195
233.78/234.61 c #Conflicts: 416000 | #Constraints: 22195
233.78/234.61 c #Conflicts: 417000 | #Constraints: 23195
233.78/234.61 c #Conflicts: 418000 | #Constraints: 24195
233.78/234.61 c #Conflicts: 419000 | #Constraints: 25195
233.78/234.61 c #Conflicts: 420000 | #Constraints: 26195
233.78/234.61 c INPROCESSING
233.78/234.61 c GARBAGE COLLECT
233.78/234.61 c rational objective 2.00001
244.73/245.61 c #Conflicts: 421000 | #Constraints: 14162
244.73/245.61 c #Conflicts: 422000 | #Constraints: 15162
244.73/245.61 c #Conflicts: 423000 | #Constraints: 16162
244.73/245.61 c #Conflicts: 424000 | #Constraints: 17162
244.73/245.61 c #Conflicts: 425000 | #Constraints: 18162
244.73/245.61 c #Conflicts: 426000 | #Constraints: 19162
244.73/245.61 c #Conflicts: 427000 | #Constraints: 20162
244.73/245.61 c #Conflicts: 428000 | #Constraints: 21162
244.73/245.61 c #Conflicts: 429000 | #Constraints: 22162
244.73/245.61 c #Conflicts: 430000 | #Constraints: 23162
244.73/245.61 c #Conflicts: 431000 | #Constraints: 24162
244.73/245.61 c #Conflicts: 432000 | #Constraints: 25162
244.73/245.61 c #Conflicts: 433000 | #Constraints: 26162
244.73/245.61 c INPROCESSING
244.73/245.61 c GARBAGE COLLECT
244.73/245.61 c rational objective 2.00001
255.89/256.82 c #Conflicts: 434000 | #Constraints: 14035
255.89/256.82 c #Conflicts: 435000 | #Constraints: 15066
255.89/256.82 c #Conflicts: 436000 | #Constraints: 16066
255.89/256.82 c #Conflicts: 437000 | #Constraints: 17066
255.89/256.82 c #Conflicts: 438000 | #Constraints: 18066
255.89/256.82 c #Conflicts: 439000 | #Constraints: 19066
255.89/256.82 c #Conflicts: 440000 | #Constraints: 20066
255.89/256.82 c #Conflicts: 441000 | #Constraints: 21066
255.89/256.82 c #Conflicts: 442000 | #Constraints: 22066
255.89/256.82 c #Conflicts: 443000 | #Constraints: 23066
255.89/256.82 c #Conflicts: 444000 | #Constraints: 24066
255.89/256.82 c #Conflicts: 445000 | #Constraints: 25066
255.89/256.82 c #Conflicts: 446000 | #Constraints: 26066
255.89/256.82 c INPROCESSING
255.89/256.82 c GARBAGE COLLECT
255.89/256.82 c rational objective 2.00001
267.34/268.33 c #Conflicts: 447000 | #Constraints: 13769
267.34/268.33 c #Conflicts: 448000 | #Constraints: 14815
267.34/268.33 c #Conflicts: 449000 | #Constraints: 15815
267.34/268.33 c #Conflicts: 450000 | #Constraints: 16815
267.34/268.33 c #Conflicts: 451000 | #Constraints: 17815
267.34/268.33 c #Conflicts: 452000 | #Constraints: 18815
267.34/268.33 c #Conflicts: 453000 | #Constraints: 19815
267.34/268.33 c #Conflicts: 454000 | #Constraints: 20815
267.34/268.33 c #Conflicts: 455000 | #Constraints: 21815
267.34/268.33 c #Conflicts: 456000 | #Constraints: 22815
267.34/268.33 c #Conflicts: 457000 | #Constraints: 23815
267.34/268.33 c #Conflicts: 458000 | #Constraints: 24815
267.34/268.33 c #Conflicts: 459000 | #Constraints: 25815
267.34/268.33 c #Conflicts: 460000 | #Constraints: 26815
267.34/268.33 c INPROCESSING
267.34/268.33 c GARBAGE COLLECT
267.34/268.33 c rational objective 2.00001
279.12/280.13 c #Conflicts: 461000 | #Constraints: 14322
279.12/280.13 c #Conflicts: 462000 | #Constraints: 15322
279.12/280.13 c #Conflicts: 463000 | #Constraints: 16322
279.12/280.13 c #Conflicts: 464000 | #Constraints: 17322
279.12/280.13 c #Conflicts: 465000 | #Constraints: 18322
279.12/280.13 c #Conflicts: 466000 | #Constraints: 19322
279.12/280.13 c #Conflicts: 467000 | #Constraints: 20322
279.12/280.13 c #Conflicts: 468000 | #Constraints: 21322
279.12/280.13 c #Conflicts: 469000 | #Constraints: 22322
279.12/280.13 c #Conflicts: 470000 | #Constraints: 23322
279.12/280.13 c #Conflicts: 471000 | #Constraints: 24322
279.12/280.13 c #Conflicts: 472000 | #Constraints: 25322
279.12/280.13 c #Conflicts: 473000 | #Constraints: 26322
279.12/280.13 c #Conflicts: 474000 | #Constraints: 27322
279.12/280.13 c INPROCESSING
279.12/280.13 c GARBAGE COLLECT
279.12/280.13 c rational objective 2.00001
293.65/294.74 c #Conflicts: 475000 | #Constraints: 14682
293.65/294.74 c #Conflicts: 476000 | #Constraints: 15682
293.65/294.74 c #Conflicts: 477000 | #Constraints: 16682
293.65/294.74 c #Conflicts: 478000 | #Constraints: 17682
293.65/294.74 c #Conflicts: 479000 | #Constraints: 18682
293.65/294.74 c #Conflicts: 480000 | #Constraints: 19682
293.65/294.74 c #Conflicts: 481000 | #Constraints: 20682
293.65/294.74 c #Conflicts: 482000 | #Constraints: 21682
293.65/294.74 c #Conflicts: 483000 | #Constraints: 22682
293.65/294.74 c #Conflicts: 484000 | #Constraints: 23682
293.65/294.74 c #Conflicts: 485000 | #Constraints: 24682
293.65/294.74 c #Conflicts: 486000 | #Constraints: 25682
293.65/294.74 c #Conflicts: 487000 | #Constraints: 26682
293.65/294.74 c #Conflicts: 488000 | #Constraints: 27682
293.65/294.74 c INPROCESSING
293.65/294.74 c GARBAGE COLLECT
293.65/294.74 c rational objective 2.00001
305.12/306.28 c #Conflicts: 489000 | #Constraints: 14864
305.12/306.28 c #Conflicts: 490000 | #Constraints: 15864
305.12/306.28 c #Conflicts: 491000 | #Constraints: 16864
305.12/306.28 c #Conflicts: 492000 | #Constraints: 17864
305.12/306.28 c #Conflicts: 493000 | #Constraints: 18864
305.12/306.28 c #Conflicts: 494000 | #Constraints: 19864
305.12/306.28 c #Conflicts: 495000 | #Constraints: 20864
305.12/306.28 c #Conflicts: 496000 | #Constraints: 21864
305.12/306.28 c #Conflicts: 497000 | #Constraints: 22864
305.12/306.28 c #Conflicts: 498000 | #Constraints: 23864
305.12/306.28 c #Conflicts: 499000 | #Constraints: 24864
305.12/306.28 c #Conflicts: 500000 | #Constraints: 25864
305.12/306.28 c #Conflicts: 501000 | #Constraints: 26864
305.12/306.28 c #Conflicts: 502000 | #Constraints: 27864
305.12/306.28 c INPROCESSING
305.12/306.28 c GARBAGE COLLECT
305.12/306.28 c rational objective 2.00001
318.17/319.34 c #Conflicts: 503000 | #Constraints: 14849
318.17/319.34 c #Conflicts: 504000 | #Constraints: 15853
318.17/319.34 c #Conflicts: 505000 | #Constraints: 16853
318.17/319.34 c #Conflicts: 506000 | #Constraints: 17853
318.17/319.34 c #Conflicts: 507000 | #Constraints: 18853
318.17/319.34 c #Conflicts: 508000 | #Constraints: 19853
318.17/319.34 c #Conflicts: 509000 | #Constraints: 20853
318.17/319.34 c #Conflicts: 510000 | #Constraints: 21853
318.17/319.34 c #Conflicts: 511000 | #Constraints: 22853
318.17/319.34 c #Conflicts: 512000 | #Constraints: 23853
318.17/319.34 c #Conflicts: 513000 | #Constraints: 24853
318.17/319.34 c #Conflicts: 514000 | #Constraints: 25853
318.17/319.34 c #Conflicts: 515000 | #Constraints: 26853
318.17/319.34 c #Conflicts: 516000 | #Constraints: 27853
318.17/319.34 c INPROCESSING
318.17/319.34 c GARBAGE COLLECT
318.17/319.34 c rational objective 2.00001
332.52/333.76 c #Conflicts: 517000 | #Constraints: 14645
332.52/333.76 c #Conflicts: 518000 | #Constraints: 15645
332.52/333.76 c #Conflicts: 519000 | #Constraints: 16645
332.52/333.76 c #Conflicts: 520000 | #Constraints: 17645
332.52/333.76 c #Conflicts: 521000 | #Constraints: 18645
332.52/333.76 c #Conflicts: 522000 | #Constraints: 19645
332.52/333.76 c #Conflicts: 523000 | #Constraints: 20645
332.52/333.76 c #Conflicts: 524000 | #Constraints: 21645
332.52/333.76 c #Conflicts: 525000 | #Constraints: 22645
332.52/333.76 c #Conflicts: 526000 | #Constraints: 23645
332.52/333.76 c #Conflicts: 527000 | #Constraints: 24645
332.52/333.76 c #Conflicts: 528000 | #Constraints: 25645
332.52/333.76 c #Conflicts: 529000 | #Constraints: 26645
332.52/333.76 c #Conflicts: 530000 | #Constraints: 27645
332.52/333.76 c #Conflicts: 531000 | #Constraints: 28645
332.52/333.76 c INPROCESSING
332.52/333.76 c GARBAGE COLLECT
332.52/333.76 c rational objective 2.00001
346.78/348.02 c #Conflicts: 532000 | #Constraints: 15230
346.78/348.02 c #Conflicts: 533000 | #Constraints: 16230
346.78/348.02 c #Conflicts: 534000 | #Constraints: 17230
346.78/348.02 c #Conflicts: 535000 | #Constraints: 18230
346.78/348.02 c #Conflicts: 536000 | #Constraints: 19230
346.78/348.02 c #Conflicts: 537000 | #Constraints: 20230
346.78/348.02 c #Conflicts: 538000 | #Constraints: 21230
346.78/348.02 c #Conflicts: 539000 | #Constraints: 22230
346.78/348.02 c #Conflicts: 540000 | #Constraints: 23230
346.78/348.02 c #Conflicts: 541000 | #Constraints: 24230
346.78/348.02 c #Conflicts: 542000 | #Constraints: 25230
346.78/348.02 c #Conflicts: 543000 | #Constraints: 26230
346.78/348.02 c #Conflicts: 544000 | #Constraints: 27230
346.78/348.02 c #Conflicts: 545000 | #Constraints: 28230
346.78/348.02 c #Conflicts: 546000 | #Constraints: 29230
346.78/348.02 c INPROCESSING
346.78/348.02 c GARBAGE COLLECT
346.78/348.02 c rational objective 2.00001
362.11/363.41 c #Conflicts: 547000 | #Constraints: 15634
362.11/363.41 c #Conflicts: 548000 | #Constraints: 16634
362.11/363.41 c #Conflicts: 549000 | #Constraints: 17635
362.11/363.41 c #Conflicts: 550000 | #Constraints: 18635
362.11/363.41 c #Conflicts: 551000 | #Constraints: 19635
362.11/363.41 c #Conflicts: 552000 | #Constraints: 20635
362.11/363.41 c #Conflicts: 553000 | #Constraints: 21635
362.11/363.41 c #Conflicts: 554000 | #Constraints: 22635
362.11/363.41 c #Conflicts: 555000 | #Constraints: 23635
362.11/363.41 c #Conflicts: 556000 | #Constraints: 24635
362.11/363.41 c #Conflicts: 557000 | #Constraints: 25635
362.11/363.41 c #Conflicts: 558000 | #Constraints: 26635
362.11/363.41 c #Conflicts: 559000 | #Constraints: 27635
362.11/363.41 c #Conflicts: 560000 | #Constraints: 28635
362.11/363.41 c #Conflicts: 561000 | #Constraints: 29635
362.11/363.41 c INPROCESSING
362.11/363.41 c GARBAGE COLLECT
362.11/363.41 c rational objective 2.00001
377.85/379.20 c #Conflicts: 562000 | #Constraints: 15826
377.85/379.20 c #Conflicts: 563000 | #Constraints: 16826
377.85/379.20 c #Conflicts: 564000 | #Constraints: 17826
377.85/379.20 c #Conflicts: 565000 | #Constraints: 18826
377.85/379.20 c #Conflicts: 566000 | #Constraints: 19826
377.85/379.20 c #Conflicts: 567000 | #Constraints: 20826
377.85/379.20 c #Conflicts: 568000 | #Constraints: 21826
377.85/379.20 c #Conflicts: 569000 | #Constraints: 22826
377.85/379.20 c #Conflicts: 570000 | #Constraints: 23826
377.85/379.20 c #Conflicts: 571000 | #Constraints: 24826
377.85/379.20 c #Conflicts: 572000 | #Constraints: 25826
377.85/379.20 c #Conflicts: 573000 | #Constraints: 26826
377.85/379.20 c #Conflicts: 574000 | #Constraints: 27826
377.85/379.20 c #Conflicts: 575000 | #Constraints: 28826
377.85/379.20 c #Conflicts: 576000 | #Constraints: 29826
377.85/379.20 c INPROCESSING
377.85/379.20 c GARBAGE COLLECT
377.85/379.20 c rational objective 2.00001
393.19/394.66 c #Conflicts: 577000 | #Constraints: 15825
393.19/394.66 c #Conflicts: 578000 | #Constraints: 16832
393.19/394.66 c #Conflicts: 579000 | #Constraints: 17832
393.19/394.66 c #Conflicts: 580000 | #Constraints: 18832
393.19/394.66 c #Conflicts: 581000 | #Constraints: 19832
393.19/394.66 c #Conflicts: 582000 | #Constraints: 20832
393.19/394.66 c #Conflicts: 583000 | #Constraints: 21832
393.19/394.66 c #Conflicts: 584000 | #Constraints: 22832
393.19/394.66 c #Conflicts: 585000 | #Constraints: 23832
393.19/394.66 c #Conflicts: 586000 | #Constraints: 24832
393.19/394.66 c #Conflicts: 587000 | #Constraints: 25832
393.19/394.66 c #Conflicts: 588000 | #Constraints: 26832
393.19/394.66 c #Conflicts: 589000 | #Constraints: 27832
393.19/394.66 c #Conflicts: 590000 | #Constraints: 28832
393.19/394.66 c #Conflicts: 591000 | #Constraints: 29832
393.19/394.66 c INPROCESSING
393.19/394.66 c GARBAGE COLLECT
393.19/394.66 c rational objective 2.00001
410.72/412.21 c #Conflicts: 592000 | #Constraints: 15630
410.72/412.21 c #Conflicts: 593000 | #Constraints: 16630
410.72/412.21 c #Conflicts: 594000 | #Constraints: 17630
410.72/412.21 c #Conflicts: 595000 | #Constraints: 18630
410.72/412.21 c #Conflicts: 596000 | #Constraints: 19630
410.72/412.21 c #Conflicts: 597000 | #Constraints: 20630
410.72/412.21 c #Conflicts: 598000 | #Constraints: 21630
410.72/412.21 c #Conflicts: 599000 | #Constraints: 22630
410.72/412.21 c #Conflicts: 600000 | #Constraints: 23630
410.72/412.21 c #Conflicts: 601000 | #Constraints: 24630
410.72/412.21 c #Conflicts: 602000 | #Constraints: 25630
410.72/412.21 c #Conflicts: 603000 | #Constraints: 26630
410.72/412.21 c #Conflicts: 604000 | #Constraints: 27630
410.72/412.21 c #Conflicts: 605000 | #Constraints: 28630
410.72/412.21 c #Conflicts: 606000 | #Constraints: 29630
410.72/412.21 c #Conflicts: 607000 | #Constraints: 30630
410.72/412.21 c INPROCESSING
410.72/412.21 c GARBAGE COLLECT
410.72/412.21 c rational objective 2.00001
426.66/428.25 c #Conflicts: 608000 | #Constraints: 16241
426.66/428.25 c #Conflicts: 609000 | #Constraints: 17275
426.66/428.25 c #Conflicts: 610000 | #Constraints: 18278
426.66/428.25 c #Conflicts: 611000 | #Constraints: 19278
426.66/428.25 c #Conflicts: 612000 | #Constraints: 20278
426.66/428.25 c #Conflicts: 613000 | #Constraints: 21278
426.66/428.25 c #Conflicts: 614000 | #Constraints: 22278
426.66/428.25 c #Conflicts: 615000 | #Constraints: 23278
426.66/428.25 c #Conflicts: 616000 | #Constraints: 24278
426.66/428.25 c #Conflicts: 617000 | #Constraints: 25278
426.66/428.25 c #Conflicts: 618000 | #Constraints: 26278
426.66/428.25 c #Conflicts: 619000 | #Constraints: 27278
426.66/428.25 c #Conflicts: 620000 | #Constraints: 28278
426.66/428.25 c #Conflicts: 621000 | #Constraints: 29278
426.66/428.25 c #Conflicts: 622000 | #Constraints: 30278
426.66/428.25 c #Conflicts: 623000 | #Constraints: 31278
426.66/428.25 c INPROCESSING
426.66/428.25 c GARBAGE COLLECT
426.66/428.25 c rational objective 2.00001
444.78/446.43 c #Conflicts: 624000 | #Constraints: 16674
444.78/446.43 c #Conflicts: 625000 | #Constraints: 17677
444.78/446.43 c #Conflicts: 626000 | #Constraints: 18677
444.78/446.43 c #Conflicts: 627000 | #Constraints: 19677
444.78/446.43 c #Conflicts: 628000 | #Constraints: 20677
444.78/446.43 c #Conflicts: 629000 | #Constraints: 21677
444.78/446.43 c #Conflicts: 630000 | #Constraints: 22677
444.78/446.43 c #Conflicts: 631000 | #Constraints: 23677
444.78/446.43 c #Conflicts: 632000 | #Constraints: 24677
444.78/446.43 c #Conflicts: 633000 | #Constraints: 25677
444.78/446.43 c #Conflicts: 634000 | #Constraints: 26677
444.78/446.43 c #Conflicts: 635000 | #Constraints: 27677
444.78/446.43 c #Conflicts: 636000 | #Constraints: 28677
444.78/446.43 c #Conflicts: 637000 | #Constraints: 29677
444.78/446.43 c #Conflicts: 638000 | #Constraints: 30677
444.78/446.43 c #Conflicts: 639000 | #Constraints: 31677
444.78/446.43 c INPROCESSING
444.78/446.43 c GARBAGE COLLECT
444.78/446.43 c rational objective 2.00001
462.81/464.56 c #Conflicts: 640000 | #Constraints: 16882
462.81/464.56 c #Conflicts: 641000 | #Constraints: 17882
462.81/464.56 c #Conflicts: 642000 | #Constraints: 18882
462.81/464.56 c #Conflicts: 643000 | #Constraints: 19882
462.81/464.56 c #Conflicts: 644000 | #Constraints: 20882
462.81/464.56 c #Conflicts: 645000 | #Constraints: 21882
462.81/464.56 c #Conflicts: 646000 | #Constraints: 22882
462.81/464.56 c #Conflicts: 647000 | #Constraints: 23882
462.81/464.56 c #Conflicts: 648000 | #Constraints: 24882
462.81/464.56 c #Conflicts: 649000 | #Constraints: 25882
462.81/464.56 c #Conflicts: 650000 | #Constraints: 26882
462.81/464.56 c #Conflicts: 651000 | #Constraints: 27882
462.81/464.56 c #Conflicts: 652000 | #Constraints: 28882
462.81/464.56 c #Conflicts: 653000 | #Constraints: 29882
462.81/464.56 c #Conflicts: 654000 | #Constraints: 30882
462.81/464.56 c #Conflicts: 655000 | #Constraints: 31882
462.81/464.56 c INPROCESSING
462.81/464.56 c GARBAGE COLLECT
462.81/464.56 c rational objective 2.00001
480.05/481.80 c #Conflicts: 656000 | #Constraints: 16855
480.05/481.80 c #Conflicts: 657000 | #Constraints: 17855
480.05/481.80 c #Conflicts: 658000 | #Constraints: 18855
480.05/481.80 c #Conflicts: 659000 | #Constraints: 19855
480.05/481.80 c #Conflicts: 660000 | #Constraints: 20855
480.05/481.80 c #Conflicts: 661000 | #Constraints: 21855
480.05/481.80 c #Conflicts: 662000 | #Constraints: 22855
480.05/481.80 c #Conflicts: 663000 | #Constraints: 23855
480.05/481.80 c #Conflicts: 664000 | #Constraints: 24855
480.05/481.80 c #Conflicts: 665000 | #Constraints: 25855
480.05/481.80 c #Conflicts: 666000 | #Constraints: 26855
480.05/481.80 c #Conflicts: 667000 | #Constraints: 27855
480.05/481.80 c #Conflicts: 668000 | #Constraints: 28855
480.05/481.80 c #Conflicts: 669000 | #Constraints: 29855
480.05/481.80 c #Conflicts: 670000 | #Constraints: 30855
480.05/481.80 c #Conflicts: 671000 | #Constraints: 31855
480.05/481.80 c INPROCESSING
480.05/481.80 c GARBAGE COLLECT
480.05/481.80 c rational objective 2.00001
498.48/500.37 c #Conflicts: 672000 | #Constraints: 16642
498.48/500.37 c #Conflicts: 673000 | #Constraints: 17648
498.48/500.37 c #Conflicts: 674000 | #Constraints: 18648
498.48/500.37 c #Conflicts: 675000 | #Constraints: 19648
498.48/500.37 c #Conflicts: 676000 | #Constraints: 20648
498.48/500.37 c #Conflicts: 677000 | #Constraints: 21648
498.48/500.37 c #Conflicts: 678000 | #Constraints: 22648
498.48/500.37 c #Conflicts: 679000 | #Constraints: 23648
498.48/500.37 c #Conflicts: 680000 | #Constraints: 24648
498.48/500.37 c #Conflicts: 681000 | #Constraints: 25648
498.48/500.37 c #Conflicts: 682000 | #Constraints: 26648
498.48/500.37 c #Conflicts: 683000 | #Constraints: 27648
498.48/500.37 c #Conflicts: 684000 | #Constraints: 28648
498.48/500.37 c #Conflicts: 685000 | #Constraints: 29648
498.48/500.37 c #Conflicts: 686000 | #Constraints: 30648
498.48/500.37 c #Conflicts: 687000 | #Constraints: 31648
498.48/500.37 c #Conflicts: 688000 | #Constraints: 32648
498.48/500.37 c INPROCESSING
498.48/500.37 c GARBAGE COLLECT
498.48/500.37 c rational objective 2.00001
517.11/519.04 c #Conflicts: 689000 | #Constraints: 17258
517.11/519.04 c #Conflicts: 690000 | #Constraints: 18284
517.11/519.04 c #Conflicts: 691000 | #Constraints: 19284
517.11/519.04 c #Conflicts: 692000 | #Constraints: 20284
517.11/519.04 c #Conflicts: 693000 | #Constraints: 21284
517.11/519.04 c #Conflicts: 694000 | #Constraints: 22284
517.11/519.04 c #Conflicts: 695000 | #Constraints: 23284
517.11/519.04 c #Conflicts: 696000 | #Constraints: 24284
517.11/519.04 c #Conflicts: 697000 | #Constraints: 25284
517.11/519.04 c #Conflicts: 698000 | #Constraints: 26284
517.11/519.04 c #Conflicts: 699000 | #Constraints: 27284
517.11/519.04 c #Conflicts: 700000 | #Constraints: 28284
517.11/519.04 c #Conflicts: 701000 | #Constraints: 29284
517.11/519.04 c #Conflicts: 702000 | #Constraints: 30284
517.11/519.04 c #Conflicts: 703000 | #Constraints: 31284
517.11/519.04 c #Conflicts: 704000 | #Constraints: 32284
517.11/519.04 c #Conflicts: 705000 | #Constraints: 33284
517.11/519.04 c INPROCESSING
517.11/519.04 c GARBAGE COLLECT
517.11/519.04 c rational objective 2.00001
536.32/538.33 c #Conflicts: 706000 | #Constraints: 17655
536.32/538.33 c #Conflicts: 707000 | #Constraints: 18655
536.32/538.33 c #Conflicts: 708000 | #Constraints: 19655
536.32/538.33 c #Conflicts: 709000 | #Constraints: 20655
536.32/538.33 c #Conflicts: 710000 | #Constraints: 21655
536.32/538.33 c #Conflicts: 711000 | #Constraints: 22655
536.32/538.33 c #Conflicts: 712000 | #Constraints: 23655
536.32/538.33 c #Conflicts: 713000 | #Constraints: 24655
536.32/538.33 c #Conflicts: 714000 | #Constraints: 25655
536.32/538.33 c #Conflicts: 715000 | #Constraints: 26655
536.32/538.33 c #Conflicts: 716000 | #Constraints: 27655
536.32/538.33 c #Conflicts: 717000 | #Constraints: 28655
536.32/538.33 c #Conflicts: 718000 | #Constraints: 29655
536.32/538.33 c #Conflicts: 719000 | #Constraints: 30655
536.32/538.33 c #Conflicts: 720000 | #Constraints: 31655
536.32/538.33 c #Conflicts: 721000 | #Constraints: 32655
536.32/538.33 c #Conflicts: 722000 | #Constraints: 33655
536.32/538.33 c INPROCESSING
536.32/538.33 c GARBAGE COLLECT
536.32/538.33 c rational objective 2.00001
556.35/558.49 c #Conflicts: 723000 | #Constraints: 17848
556.35/558.49 c #Conflicts: 724000 | #Constraints: 18848
556.35/558.49 c #Conflicts: 725000 | #Constraints: 19848
556.35/558.49 c #Conflicts: 726000 | #Constraints: 20848
556.35/558.49 c #Conflicts: 727000 | #Constraints: 21848
556.35/558.49 c #Conflicts: 728000 | #Constraints: 22848
556.35/558.49 c #Conflicts: 729000 | #Constraints: 23848
556.35/558.49 c #Conflicts: 730000 | #Constraints: 24848
556.35/558.49 c #Conflicts: 731000 | #Constraints: 25848
556.35/558.49 c #Conflicts: 732000 | #Constraints: 26848
556.35/558.49 c #Conflicts: 733000 | #Constraints: 27848
556.35/558.49 c #Conflicts: 734000 | #Constraints: 28848
556.35/558.49 c #Conflicts: 735000 | #Constraints: 29848
556.35/558.49 c #Conflicts: 736000 | #Constraints: 30848
556.35/558.49 c #Conflicts: 737000 | #Constraints: 31848
556.35/558.49 c #Conflicts: 738000 | #Constraints: 32848
556.35/558.49 c #Conflicts: 739000 | #Constraints: 33848
556.35/558.49 c INPROCESSING
556.35/558.49 c GARBAGE COLLECT
556.35/558.49 c rational objective 2.00001
577.76/579.97 c #Conflicts: 740000 | #Constraints: 17854
577.76/579.97 c #Conflicts: 741000 | #Constraints: 18856
577.76/579.97 c #Conflicts: 742000 | #Constraints: 19856
577.76/579.97 c #Conflicts: 743000 | #Constraints: 20856
577.76/579.97 c #Conflicts: 744000 | #Constraints: 21856
577.76/579.97 c #Conflicts: 745000 | #Constraints: 22856
577.76/579.97 c #Conflicts: 746000 | #Constraints: 23856
577.76/579.97 c #Conflicts: 747000 | #Constraints: 24856
577.76/579.97 c #Conflicts: 748000 | #Constraints: 25856
577.76/579.97 c #Conflicts: 749000 | #Constraints: 26856
577.76/579.97 c #Conflicts: 750000 | #Constraints: 27856
577.76/579.97 c #Conflicts: 751000 | #Constraints: 28856
577.76/579.97 c #Conflicts: 752000 | #Constraints: 29856
577.76/579.97 c #Conflicts: 753000 | #Constraints: 30856
577.76/579.97 c #Conflicts: 754000 | #Constraints: 31856
577.76/579.97 c #Conflicts: 755000 | #Constraints: 32856
577.76/579.97 c #Conflicts: 756000 | #Constraints: 33856
577.76/579.97 c INPROCESSING
577.76/579.97 c GARBAGE COLLECT
577.76/579.97 c rational objective 2.00001
599.27/601.51 c #Conflicts: 757000 | #Constraints: 17641
599.27/601.51 c #Conflicts: 758000 | #Constraints: 18641
599.27/601.51 c #Conflicts: 759000 | #Constraints: 19643
599.27/601.51 c #Conflicts: 760000 | #Constraints: 20643
599.27/601.51 c #Conflicts: 761000 | #Constraints: 21643
599.27/601.51 c #Conflicts: 762000 | #Constraints: 22643
599.27/601.51 c #Conflicts: 763000 | #Constraints: 23643
599.27/601.51 c #Conflicts: 764000 | #Constraints: 24643
599.27/601.51 c #Conflicts: 765000 | #Constraints: 25643
599.27/601.51 c #Conflicts: 766000 | #Constraints: 26643
599.27/601.51 c #Conflicts: 767000 | #Constraints: 27643
599.27/601.51 c #Conflicts: 768000 | #Constraints: 28644
599.27/601.51 c #Conflicts: 769000 | #Constraints: 29644
599.27/601.51 c #Conflicts: 770000 | #Constraints: 30644
599.27/601.51 c #Conflicts: 771000 | #Constraints: 31644
599.27/601.51 c #Conflicts: 772000 | #Constraints: 32644
599.27/601.51 c #Conflicts: 773000 | #Constraints: 33644
599.27/601.51 c #Conflicts: 774000 | #Constraints: 34644
599.27/601.51 c INPROCESSING
599.27/601.51 c GARBAGE COLLECT
599.27/601.51 c rational objective 2.00001
620.80/623.16 c #Conflicts: 775000 | #Constraints: 18240
620.80/623.16 c #Conflicts: 776000 | #Constraints: 19240
620.80/623.16 c #Conflicts: 777000 | #Constraints: 20240
620.80/623.16 c #Conflicts: 778000 | #Constraints: 21240
620.80/623.16 c #Conflicts: 779000 | #Constraints: 22240
620.80/623.16 c #Conflicts: 780000 | #Constraints: 23246
620.80/623.16 c #Conflicts: 781000 | #Constraints: 24246
620.80/623.16 c #Conflicts: 782000 | #Constraints: 25246
620.80/623.16 c #Conflicts: 783000 | #Constraints: 26246
620.80/623.16 c #Conflicts: 784000 | #Constraints: 27246
620.80/623.16 c #Conflicts: 785000 | #Constraints: 28246
620.80/623.16 c #Conflicts: 786000 | #Constraints: 29246
620.80/623.16 c #Conflicts: 787000 | #Constraints: 30246
620.80/623.16 c #Conflicts: 788000 | #Constraints: 31246
620.80/623.16 c #Conflicts: 789000 | #Constraints: 32246
620.80/623.16 c #Conflicts: 790000 | #Constraints: 33246
620.80/623.16 c #Conflicts: 791000 | #Constraints: 34246
620.80/623.16 c #Conflicts: 792000 | #Constraints: 35246
620.80/623.16 c INPROCESSING
620.80/623.16 c GARBAGE COLLECT
620.80/623.16 c rational objective 2.00001
642.81/645.22 c #Conflicts: 793000 | #Constraints: 18638
642.81/645.22 c #Conflicts: 794000 | #Constraints: 19638
642.81/645.22 c #Conflicts: 795000 | #Constraints: 20638
642.81/645.22 c #Conflicts: 796000 | #Constraints: 21638
642.81/645.22 c #Conflicts: 797000 | #Constraints: 22638
642.81/645.22 c #Conflicts: 798000 | #Constraints: 23638
642.81/645.22 c #Conflicts: 799000 | #Constraints: 24638
642.81/645.22 c #Conflicts: 800000 | #Constraints: 25638
642.81/645.22 c #Conflicts: 801000 | #Constraints: 26638
642.81/645.22 c #Conflicts: 802000 | #Constraints: 27638
642.81/645.22 c #Conflicts: 803000 | #Constraints: 28638
642.81/645.22 c #Conflicts: 804000 | #Constraints: 29638
642.81/645.22 c #Conflicts: 805000 | #Constraints: 30638
642.81/645.22 c #Conflicts: 806000 | #Constraints: 31638
642.81/645.22 c #Conflicts: 807000 | #Constraints: 32638
642.81/645.22 c #Conflicts: 808000 | #Constraints: 33638
642.81/645.22 c #Conflicts: 809000 | #Constraints: 34638
642.81/645.22 c #Conflicts: 810000 | #Constraints: 35638
642.81/645.22 c INPROCESSING
642.81/645.22 c GARBAGE COLLECT
642.81/645.22 c rational objective 2.00001
666.56/669.10 c #Conflicts: 811000 | #Constraints: 18826
666.56/669.10 c #Conflicts: 812000 | #Constraints: 19846
666.56/669.10 c #Conflicts: 813000 | #Constraints: 20853
666.56/669.10 c #Conflicts: 814000 | #Constraints: 21856
666.56/669.10 c #Conflicts: 815000 | #Constraints: 22856
666.56/669.10 c #Conflicts: 816000 | #Constraints: 23856
666.56/669.10 c #Conflicts: 817000 | #Constraints: 24856
666.56/669.10 c #Conflicts: 818000 | #Constraints: 25856
666.56/669.10 c #Conflicts: 819000 | #Constraints: 26856
666.56/669.10 c #Conflicts: 820000 | #Constraints: 27856
666.56/669.10 c #Conflicts: 821000 | #Constraints: 28856
666.56/669.10 c #Conflicts: 822000 | #Constraints: 29856
666.56/669.10 c #Conflicts: 823000 | #Constraints: 30856
666.56/669.10 c #Conflicts: 824000 | #Constraints: 31856
666.56/669.10 c #Conflicts: 825000 | #Constraints: 32856
666.56/669.10 c #Conflicts: 826000 | #Constraints: 33856
666.56/669.10 c #Conflicts: 827000 | #Constraints: 34856
666.56/669.10 c #Conflicts: 828000 | #Constraints: 35856
666.56/669.10 c INPROCESSING
666.56/669.10 c GARBAGE COLLECT
666.56/669.10 c rational objective 2.00001
687.37/689.98 c #Conflicts: 829000 | #Constraints: 18840
687.37/689.98 c #Conflicts: 830000 | #Constraints: 19840
687.37/689.98 c #Conflicts: 831000 | #Constraints: 20840
687.37/689.98 c #Conflicts: 832000 | #Constraints: 21840
687.37/689.98 c #Conflicts: 833000 | #Constraints: 22842
687.37/689.98 c #Conflicts: 834000 | #Constraints: 23842
687.37/689.98 c #Conflicts: 835000 | #Constraints: 24842
687.37/689.98 c #Conflicts: 836000 | #Constraints: 25842
687.37/689.98 c #Conflicts: 837000 | #Constraints: 26842
687.37/689.98 c #Conflicts: 838000 | #Constraints: 27842
687.37/689.98 c #Conflicts: 839000 | #Constraints: 28842
687.37/689.98 c #Conflicts: 840000 | #Constraints: 29842
687.37/689.98 c #Conflicts: 841000 | #Constraints: 30842
687.37/689.98 c #Conflicts: 842000 | #Constraints: 31842
687.37/689.98 c #Conflicts: 843000 | #Constraints: 32842
687.37/689.98 c #Conflicts: 844000 | #Constraints: 33842
687.37/689.98 c #Conflicts: 845000 | #Constraints: 34842
687.37/689.98 c #Conflicts: 846000 | #Constraints: 35846
687.37/689.98 c INPROCESSING
687.37/689.98 c GARBAGE COLLECT
687.37/689.98 c rational objective 2.00001
711.10/713.72 c #Conflicts: 847000 | #Constraints: 18637
711.10/713.72 c #Conflicts: 848000 | #Constraints: 19648
711.10/713.72 c #Conflicts: 849000 | #Constraints: 20648
711.10/713.72 c #Conflicts: 850000 | #Constraints: 21648
711.10/713.72 c #Conflicts: 851000 | #Constraints: 22648
711.10/713.72 c #Conflicts: 852000 | #Constraints: 23648
711.10/713.72 c #Conflicts: 853000 | #Constraints: 24648
711.10/713.72 c #Conflicts: 854000 | #Constraints: 25648
711.10/713.72 c #Conflicts: 855000 | #Constraints: 26648
711.10/713.72 c #Conflicts: 856000 | #Constraints: 27648
711.10/713.72 c #Conflicts: 857000 | #Constraints: 28648
711.10/713.72 c #Conflicts: 858000 | #Constraints: 29648
711.10/713.72 c #Conflicts: 859000 | #Constraints: 30648
711.10/713.72 c #Conflicts: 860000 | #Constraints: 31648
711.10/713.72 c #Conflicts: 861000 | #Constraints: 32648
711.10/713.72 c #Conflicts: 862000 | #Constraints: 33648
711.10/713.72 c #Conflicts: 863000 | #Constraints: 34648
711.10/713.72 c #Conflicts: 864000 | #Constraints: 35648
711.10/713.72 c #Conflicts: 865000 | #Constraints: 36648
711.10/713.72 c INPROCESSING
711.10/713.72 c GARBAGE COLLECT
711.10/713.72 c rational objective 2.00001
734.93/737.63 c #Conflicts: 866000 | #Constraints: 19245
734.93/737.63 c #Conflicts: 867000 | #Constraints: 20258
734.93/737.63 c #Conflicts: 868000 | #Constraints: 21266
734.93/737.63 c #Conflicts: 869000 | #Constraints: 22270
734.93/737.63 c #Conflicts: 870000 | #Constraints: 23271
734.93/737.63 c #Conflicts: 871000 | #Constraints: 24271
734.93/737.63 c #Conflicts: 872000 | #Constraints: 25273
734.93/737.63 c #Conflicts: 873000 | #Constraints: 26273
734.93/737.63 c #Conflicts: 874000 | #Constraints: 27273
734.93/737.63 c #Conflicts: 875000 | #Constraints: 28273
734.93/737.63 c #Conflicts: 876000 | #Constraints: 29278
734.93/737.63 c #Conflicts: 877000 | #Constraints: 30280
734.93/737.63 c #Conflicts: 878000 | #Constraints: 31288
734.93/737.63 c #Conflicts: 879000 | #Constraints: 32293
734.93/737.63 c #Conflicts: 880000 | #Constraints: 33300
734.93/737.63 c #Conflicts: 881000 | #Constraints: 34300
734.93/737.63 c #Conflicts: 882000 | #Constraints: 35306
734.93/737.63 c #Conflicts: 883000 | #Constraints: 36307
734.93/737.63 c #Conflicts: 884000 | #Constraints: 37307
734.93/737.63 c INPROCESSING
734.93/737.63 c GARBAGE COLLECT
734.93/737.63 c rational objective 2.00001
759.05/761.85 c #Conflicts: 885000 | #Constraints: 19667
759.05/761.85 c #Conflicts: 886000 | #Constraints: 20667
759.05/761.85 c #Conflicts: 887000 | #Constraints: 21667
759.05/761.85 c #Conflicts: 888000 | #Constraints: 22667
759.05/761.85 c #Conflicts: 889000 | #Constraints: 23667
759.05/761.85 c #Conflicts: 890000 | #Constraints: 24667
759.05/761.85 c #Conflicts: 891000 | #Constraints: 25667
759.05/761.85 c #Conflicts: 892000 | #Constraints: 26667
759.05/761.85 c #Conflicts: 893000 | #Constraints: 27667
759.05/761.85 c #Conflicts: 894000 | #Constraints: 28668
759.05/761.85 c #Conflicts: 895000 | #Constraints: 29669
759.05/761.85 c #Conflicts: 896000 | #Constraints: 30682
759.05/761.85 c #Conflicts: 897000 | #Constraints: 31682
759.05/761.85 c #Conflicts: 898000 | #Constraints: 32682
759.05/761.85 c #Conflicts: 899000 | #Constraints: 33682
759.05/761.85 c #Conflicts: 900000 | #Constraints: 34682
759.05/761.85 c #Conflicts: 901000 | #Constraints: 35682
759.05/761.85 c #Conflicts: 902000 | #Constraints: 36682
759.05/761.85 c #Conflicts: 903000 | #Constraints: 37682
759.05/761.85 c INPROCESSING
759.05/761.85 c GARBAGE COLLECT
759.05/761.85 c rational objective 2.00001
785.37/788.23 c #Conflicts: 904000 | #Constraints: 19851
785.37/788.23 c #Conflicts: 905000 | #Constraints: 20851
785.37/788.23 c #Conflicts: 906000 | #Constraints: 21851
785.37/788.23 c #Conflicts: 907000 | #Constraints: 22851
785.37/788.23 c #Conflicts: 908000 | #Constraints: 23851
785.37/788.23 c #Conflicts: 909000 | #Constraints: 24851
785.37/788.23 c #Conflicts: 910000 | #Constraints: 25851
785.37/788.23 c #Conflicts: 911000 | #Constraints: 26852
785.37/788.23 c #Conflicts: 912000 | #Constraints: 27852
785.37/788.23 c #Conflicts: 913000 | #Constraints: 28852
785.37/788.23 c #Conflicts: 914000 | #Constraints: 29852
785.37/788.23 c #Conflicts: 915000 | #Constraints: 30852
785.37/788.23 c #Conflicts: 916000 | #Constraints: 31852
785.37/788.23 c #Conflicts: 917000 | #Constraints: 32852
785.37/788.23 c #Conflicts: 918000 | #Constraints: 33852
785.37/788.23 c #Conflicts: 919000 | #Constraints: 34852
785.37/788.23 c #Conflicts: 920000 | #Constraints: 35852
785.37/788.23 c #Conflicts: 921000 | #Constraints: 36852
785.37/788.23 c #Conflicts: 922000 | #Constraints: 37852
785.37/788.23 c INPROCESSING
785.37/788.23 c GARBAGE COLLECT
785.37/788.23 c rational objective 2.00001
814.46/817.44 c #Conflicts: 923000 | #Constraints: 19839
814.46/817.44 c #Conflicts: 924000 | #Constraints: 20839
814.46/817.44 c #Conflicts: 925000 | #Constraints: 21851
814.46/817.44 c #Conflicts: 926000 | #Constraints: 22851
814.46/817.44 c #Conflicts: 927000 | #Constraints: 23851
814.46/817.44 c #Conflicts: 928000 | #Constraints: 24851
814.46/817.44 c #Conflicts: 929000 | #Constraints: 25851
814.46/817.44 c #Conflicts: 930000 | #Constraints: 26851
814.46/817.44 c #Conflicts: 931000 | #Constraints: 27851
814.46/817.44 c #Conflicts: 932000 | #Constraints: 28851
814.46/817.44 c #Conflicts: 933000 | #Constraints: 29851
814.46/817.44 c #Conflicts: 934000 | #Constraints: 30851
814.46/817.44 c #Conflicts: 935000 | #Constraints: 31851
814.46/817.44 c #Conflicts: 936000 | #Constraints: 32851
814.46/817.44 c #Conflicts: 937000 | #Constraints: 33851
814.46/817.44 c #Conflicts: 938000 | #Constraints: 34851
814.46/817.44 c #Conflicts: 939000 | #Constraints: 35851
814.46/817.44 c #Conflicts: 940000 | #Constraints: 36851
814.46/817.44 c #Conflicts: 941000 | #Constraints: 37851
814.46/817.44 c INPROCESSING
814.46/817.44 c GARBAGE COLLECT
814.46/817.44 c rational objective 2.00002
842.37/845.41 c #Conflicts: 942000 | #Constraints: 19641
842.37/845.41 c #Conflicts: 943000 | #Constraints: 20641
842.37/845.41 c #Conflicts: 944000 | #Constraints: 21645
842.37/845.41 c #Conflicts: 945000 | #Constraints: 22648
842.37/845.41 c #Conflicts: 946000 | #Constraints: 23654
842.37/845.41 c #Conflicts: 947000 | #Constraints: 24658
842.37/845.41 c #Conflicts: 948000 | #Constraints: 25658
842.37/845.41 c #Conflicts: 949000 | #Constraints: 26658
842.37/845.41 c #Conflicts: 950000 | #Constraints: 27661
842.37/845.41 c #Conflicts: 951000 | #Constraints: 28661
842.37/845.41 c #Conflicts: 952000 | #Constraints: 29667
842.37/845.41 c #Conflicts: 953000 | #Constraints: 30667
842.37/845.41 c #Conflicts: 954000 | #Constraints: 31667
842.37/845.41 c #Conflicts: 955000 | #Constraints: 32667
842.37/845.41 c #Conflicts: 956000 | #Constraints: 33667
842.37/845.41 c #Conflicts: 957000 | #Constraints: 34673
842.37/845.41 c #Conflicts: 958000 | #Constraints: 35673
842.37/845.41 c #Conflicts: 959000 | #Constraints: 36676
842.37/845.41 c #Conflicts: 960000 | #Constraints: 37677
842.37/845.41 c #Conflicts: 961000 | #Constraints: 38677
842.37/845.41 c INPROCESSING
842.37/845.41 c GARBAGE COLLECT
842.37/845.41 c rational objective 2.00001
871.37/874.57 c #Conflicts: 962000 | #Constraints: 20249
871.37/874.57 c #Conflicts: 963000 | #Constraints: 21249
871.37/874.57 c #Conflicts: 964000 | #Constraints: 22253
871.37/874.57 c #Conflicts: 965000 | #Constraints: 23253
871.37/874.57 c #Conflicts: 966000 | #Constraints: 24253
871.37/874.57 c #Conflicts: 967000 | #Constraints: 25256
871.37/874.57 c #Conflicts: 968000 | #Constraints: 26256
871.37/874.57 c #Conflicts: 969000 | #Constraints: 27256
871.37/874.57 c #Conflicts: 970000 | #Constraints: 28259
871.37/874.57 c #Conflicts: 971000 | #Constraints: 29259
871.37/874.57 c #Conflicts: 972000 | #Constraints: 30268
871.37/874.57 c #Conflicts: 973000 | #Constraints: 31268
871.37/874.57 c #Conflicts: 974000 | #Constraints: 32272
871.37/874.57 c #Conflicts: 975000 | #Constraints: 33281
871.37/874.57 c #Conflicts: 976000 | #Constraints: 34281
871.37/874.57 c #Conflicts: 977000 | #Constraints: 35281
871.37/874.57 c #Conflicts: 978000 | #Constraints: 36281
871.37/874.57 c #Conflicts: 979000 | #Constraints: 37281
871.37/874.57 c #Conflicts: 980000 | #Constraints: 38285
871.37/874.57 c #Conflicts: 981000 | #Constraints: 39288
871.37/874.57 c INPROCESSING
871.37/874.57 c GARBAGE COLLECT
871.37/874.57 c rational objective 2.01896
901.17/904.46 c #Conflicts: 982000 | #Constraints: 20667
901.17/904.46 c #Conflicts: 983000 | #Constraints: 21667
901.17/904.46 c #Conflicts: 984000 | #Constraints: 22667
901.17/904.46 c #Conflicts: 985000 | #Constraints: 23674
901.17/904.46 c #Conflicts: 986000 | #Constraints: 24674
901.17/904.46 c #Conflicts: 987000 | #Constraints: 25691
901.17/904.46 c #Conflicts: 988000 | #Constraints: 26692
901.17/904.46 c #Conflicts: 989000 | #Constraints: 27697
901.17/904.46 c #Conflicts: 990000 | #Constraints: 28697
901.17/904.46 c #Conflicts: 991000 | #Constraints: 29697
901.17/904.46 c #Conflicts: 992000 | #Constraints: 30697
901.17/904.46 c #Conflicts: 993000 | #Constraints: 31697
901.17/904.46 c #Conflicts: 994000 | #Constraints: 32699
901.17/904.46 c #Conflicts: 995000 | #Constraints: 33699
901.17/904.46 c #Conflicts: 996000 | #Constraints: 34699
901.17/904.46 c #Conflicts: 997000 | #Constraints: 35699
901.17/904.46 c #Conflicts: 998000 | #Constraints: 36699
901.17/904.46 c #Conflicts: 999000 | #Constraints: 37699
901.17/904.46 c #Conflicts: 1000000 | #Constraints: 38699
901.17/904.46 c #Conflicts: 1001000 | #Constraints: 39699
901.17/904.46 c INPROCESSING
901.17/904.46 c GARBAGE COLLECT
901.17/904.46 c rational objective 2.00001
927.98/931.39 c #Conflicts: 1002000 | #Constraints: 20860
927.98/931.39 c #Conflicts: 1003000 | #Constraints: 21860
927.98/931.39 c #Conflicts: 1004000 | #Constraints: 22860
927.98/931.39 c #Conflicts: 1005000 | #Constraints: 23860
927.98/931.39 c #Conflicts: 1006000 | #Constraints: 24860
927.98/931.39 c #Conflicts: 1007000 | #Constraints: 25860
927.98/931.39 c #Conflicts: 1008000 | #Constraints: 26860
927.98/931.39 c #Conflicts: 1009000 | #Constraints: 27860
927.98/931.39 c #Conflicts: 1010000 | #Constraints: 28860
927.98/931.39 c #Conflicts: 1011000 | #Constraints: 29860
927.98/931.39 c #Conflicts: 1012000 | #Constraints: 30865
927.98/931.39 c #Conflicts: 1013000 | #Constraints: 31869
927.98/931.39 c #Conflicts: 1014000 | #Constraints: 32871
927.98/931.39 c #Conflicts: 1015000 | #Constraints: 33871
927.98/931.39 c #Conflicts: 1016000 | #Constraints: 34871
927.98/931.39 c #Conflicts: 1017000 | #Constraints: 35871
927.98/931.39 c #Conflicts: 1018000 | #Constraints: 36880
927.98/931.39 c #Conflicts: 1019000 | #Constraints: 37880
927.98/931.39 c #Conflicts: 1020000 | #Constraints: 38880
927.98/931.39 c #Conflicts: 1021000 | #Constraints: 39880
927.98/931.39 c INPROCESSING
927.98/931.39 c GARBAGE COLLECT
927.98/931.39 c rational objective 2.00001
958.88/962.32 c #Conflicts: 1022000 | #Constraints: 20854
958.88/962.32 c #Conflicts: 1023000 | #Constraints: 21854
958.88/962.32 c #Conflicts: 1024000 | #Constraints: 22854
958.88/962.32 c #Conflicts: 1025000 | #Constraints: 23854
958.88/962.32 c #Conflicts: 1026000 | #Constraints: 24854
958.88/962.32 c #Conflicts: 1027000 | #Constraints: 25854
958.88/962.32 c #Conflicts: 1028000 | #Constraints: 26854
958.88/962.32 c #Conflicts: 1029000 | #Constraints: 27854
958.88/962.32 c #Conflicts: 1030000 | #Constraints: 28854
958.88/962.32 c #Conflicts: 1031000 | #Constraints: 29854
958.88/962.32 c #Conflicts: 1032000 | #Constraints: 30854
958.88/962.32 c #Conflicts: 1033000 | #Constraints: 31854
958.88/962.32 c #Conflicts: 1034000 | #Constraints: 32854
958.88/962.32 c #Conflicts: 1035000 | #Constraints: 33854
958.88/962.32 c #Conflicts: 1036000 | #Constraints: 34854
958.88/962.32 c #Conflicts: 1037000 | #Constraints: 35854
958.88/962.32 c #Conflicts: 1038000 | #Constraints: 36854
958.88/962.32 c #Conflicts: 1039000 | #Constraints: 37854
958.88/962.32 c #Conflicts: 1040000 | #Constraints: 38854
958.88/962.32 c #Conflicts: 1041000 | #Constraints: 39854
958.88/962.32 c INPROCESSING
958.88/962.32 c GARBAGE COLLECT
958.88/962.32 c rational objective 2.00002
994.66/998.26 c #Conflicts: 1042000 | #Constraints: 20646
994.66/998.26 c #Conflicts: 1043000 | #Constraints: 21774
994.66/998.26 c #Conflicts: 1044000 | #Constraints: 22869
994.66/998.26 c #Conflicts: 1045000 | #Constraints: 23997
994.66/998.26 c #Conflicts: 1046000 | #Constraints: 25103
994.66/998.26 c #Conflicts: 1047000 | #Constraints: 26230
994.66/998.26 c #Conflicts: 1048000 | #Constraints: 27360
994.66/998.26 c #Conflicts: 1049000 | #Constraints: 28466
994.66/998.26 c #Conflicts: 1050000 | #Constraints: 29550
994.66/998.26 c #Conflicts: 1051000 | #Constraints: 30657
994.66/998.26 c #Conflicts: 1052000 | #Constraints: 31751
994.66/998.26 c #Conflicts: 1053000 | #Constraints: 32863
994.66/998.26 c #Conflicts: 1054000 | #Constraints: 33997
994.66/998.26 c #Conflicts: 1055000 | #Constraints: 35071
994.66/998.26 c #Conflicts: 1056000 | #Constraints: 36144
994.66/998.26 c #Conflicts: 1057000 | #Constraints: 37236
994.66/998.26 c #Conflicts: 1058000 | #Constraints: 38375
994.66/998.26 c #Conflicts: 1059000 | #Constraints: 39462
994.66/998.26 c #Conflicts: 1060000 | #Constraints: 40518
994.66/998.26 c #Conflicts: 1061000 | #Constraints: 41559
994.66/998.26 c #Conflicts: 1062000 | #Constraints: 42559
994.66/998.26 c INPROCESSING
994.66/998.26 c GARBAGE COLLECT
994.66/998.26 c rational objective 2.00021
1036.13/1039.87 c #Conflicts: 1063000 | #Constraints: 22220
1036.13/1039.87 c #Conflicts: 1064000 | #Constraints: 23266
1036.13/1039.87 c #Conflicts: 1065000 | #Constraints: 24304
1036.13/1039.87 c #Conflicts: 1066000 | #Constraints: 25352
1036.13/1039.87 c #Conflicts: 1067000 | #Constraints: 26356
1036.13/1039.87 c #Conflicts: 1068000 | #Constraints: 27356
1036.13/1039.87 c #Conflicts: 1069000 | #Constraints: 28356
1036.13/1039.87 c #Conflicts: 1070000 | #Constraints: 29356
1036.13/1039.87 c #Conflicts: 1071000 | #Constraints: 30356
1036.13/1039.87 c #Conflicts: 1072000 | #Constraints: 31356
1036.13/1039.87 c #Conflicts: 1073000 | #Constraints: 32356
1036.13/1039.87 c #Conflicts: 1074000 | #Constraints: 33356
1036.13/1039.87 c #Conflicts: 1075000 | #Constraints: 34356
1036.13/1039.87 c #Conflicts: 1076000 | #Constraints: 35356
1036.13/1039.87 c #Conflicts: 1077000 | #Constraints: 36356
1036.13/1039.87 c #Conflicts: 1078000 | #Constraints: 37356
1036.13/1039.87 c #Conflicts: 1079000 | #Constraints: 38356
1036.13/1039.87 c #Conflicts: 1080000 | #Constraints: 39356
1036.13/1039.87 c #Conflicts: 1081000 | #Constraints: 40356
1036.13/1039.87 c #Conflicts: 1082000 | #Constraints: 41356
1036.13/1039.87 c #Conflicts: 1083000 | #Constraints: 42356
1036.13/1039.87 c INPROCESSING
1036.13/1039.87 c GARBAGE COLLECT
1036.13/1039.87 c rational objective 2.00001
1074.00/1077.84 c #Conflicts: 1084000 | #Constraints: 22236
1074.00/1077.84 c #Conflicts: 1085000 | #Constraints: 23287
1074.00/1077.84 c #Conflicts: 1086000 | #Constraints: 24350
1074.00/1077.84 c #Conflicts: 1087000 | #Constraints: 25390
1074.00/1077.84 c #Conflicts: 1088000 | #Constraints: 26427
1074.00/1077.84 c #Conflicts: 1089000 | #Constraints: 27427
1074.00/1077.84 c #Conflicts: 1090000 | #Constraints: 28427
1074.00/1077.84 c #Conflicts: 1091000 | #Constraints: 29427
1074.00/1077.84 c #Conflicts: 1092000 | #Constraints: 30427
1074.00/1077.84 c #Conflicts: 1093000 | #Constraints: 31427
1074.00/1077.84 c #Conflicts: 1094000 | #Constraints: 32427
1074.00/1077.84 c #Conflicts: 1095000 | #Constraints: 33427
1074.00/1077.84 c #Conflicts: 1096000 | #Constraints: 34427
1074.00/1077.84 c #Conflicts: 1097000 | #Constraints: 35427
1074.00/1077.84 c #Conflicts: 1098000 | #Constraints: 36427
1074.00/1077.84 c #Conflicts: 1099000 | #Constraints: 37427
1074.00/1077.84 c #Conflicts: 1100000 | #Constraints: 38427
1074.00/1077.84 c #Conflicts: 1101000 | #Constraints: 39427
1074.00/1077.84 c #Conflicts: 1102000 | #Constraints: 40427
1074.00/1077.84 c #Conflicts: 1103000 | #Constraints: 41427
1074.00/1077.84 c #Conflicts: 1104000 | #Constraints: 42427
1074.00/1077.84 c INPROCESSING
1074.00/1077.84 c GARBAGE COLLECT
1074.00/1077.84 c rational objective 2.00001
1112.47/1116.40 c #Conflicts: 1105000 | #Constraints: 22237
1112.47/1116.40 c #Conflicts: 1106000 | #Constraints: 23263
1112.47/1116.40 c #Conflicts: 1107000 | #Constraints: 24263
1112.47/1116.40 c #Conflicts: 1108000 | #Constraints: 25263
1112.47/1116.40 c #Conflicts: 1109000 | #Constraints: 26263
1112.47/1116.40 c #Conflicts: 1110000 | #Constraints: 27263
1112.47/1116.40 c #Conflicts: 1111000 | #Constraints: 28263
1112.47/1116.40 c #Conflicts: 1112000 | #Constraints: 29263
1112.47/1116.40 c #Conflicts: 1113000 | #Constraints: 30263
1112.47/1116.40 c #Conflicts: 1114000 | #Constraints: 31263
1112.47/1116.40 c #Conflicts: 1115000 | #Constraints: 32263
1112.47/1116.40 c #Conflicts: 1116000 | #Constraints: 33263
1112.47/1116.40 c #Conflicts: 1117000 | #Constraints: 34263
1112.47/1116.40 c #Conflicts: 1118000 | #Constraints: 35263
1112.47/1116.40 c #Conflicts: 1119000 | #Constraints: 36263
1112.47/1116.40 c #Conflicts: 1120000 | #Constraints: 37263
1112.47/1116.40 c #Conflicts: 1121000 | #Constraints: 38263
1112.47/1116.40 c #Conflicts: 1122000 | #Constraints: 39263
1112.47/1116.40 c #Conflicts: 1123000 | #Constraints: 40263
1112.47/1116.40 c #Conflicts: 1124000 | #Constraints: 41263
1112.47/1116.40 c #Conflicts: 1125000 | #Constraints: 42263
1112.47/1116.40 c INPROCESSING
1112.47/1116.40 c GARBAGE COLLECT
1112.47/1116.40 c rational objective 2.00001
1153.73/1157.87 c #Conflicts: 1126000 | #Constraints: 22076
1153.73/1157.87 c #Conflicts: 1127000 | #Constraints: 23111
1153.73/1157.87 c #Conflicts: 1128000 | #Constraints: 24111
1153.73/1157.87 c #Conflicts: 1129000 | #Constraints: 25111
1153.73/1157.87 c #Conflicts: 1130000 | #Constraints: 26111
1153.73/1157.87 c #Conflicts: 1131000 | #Constraints: 27111
1153.73/1157.87 c #Conflicts: 1132000 | #Constraints: 28111
1153.73/1157.87 c #Conflicts: 1133000 | #Constraints: 29111
1153.73/1157.87 c #Conflicts: 1134000 | #Constraints: 30111
1153.73/1157.87 c #Conflicts: 1135000 | #Constraints: 31111
1153.73/1157.87 c #Conflicts: 1136000 | #Constraints: 32111
1153.73/1157.87 c #Conflicts: 1137000 | #Constraints: 33111
1153.73/1157.87 c #Conflicts: 1138000 | #Constraints: 34111
1153.73/1157.87 c #Conflicts: 1139000 | #Constraints: 35111
1153.73/1157.87 c #Conflicts: 1140000 | #Constraints: 36111
1153.73/1157.87 c #Conflicts: 1141000 | #Constraints: 37111
1153.73/1157.87 c #Conflicts: 1142000 | #Constraints: 38111
1153.73/1157.87 c #Conflicts: 1143000 | #Constraints: 39111
1153.73/1157.87 c #Conflicts: 1144000 | #Constraints: 40111
1153.73/1157.87 c #Conflicts: 1145000 | #Constraints: 41111
1153.73/1157.87 c #Conflicts: 1146000 | #Constraints: 42111
1153.73/1157.87 c INPROCESSING
1153.73/1157.87 c GARBAGE COLLECT
1153.73/1157.87 c rational objective 2.00002
1204.54/1208.86 c #Conflicts: 1147000 | #Constraints: 21768
1204.54/1208.86 c #Conflicts: 1148000 | #Constraints: 22782
1204.54/1208.86 c #Conflicts: 1149000 | #Constraints: 23782
1204.54/1208.86 c #Conflicts: 1150000 | #Constraints: 24782
1204.54/1208.86 c #Conflicts: 1151000 | #Constraints: 25782
1204.54/1208.86 c #Conflicts: 1152000 | #Constraints: 26782
1204.54/1208.86 c #Conflicts: 1153000 | #Constraints: 27782
1204.54/1208.86 c #Conflicts: 1154000 | #Constraints: 28782
1204.54/1208.86 c #Conflicts: 1155000 | #Constraints: 29782
1204.54/1208.86 c #Conflicts: 1156000 | #Constraints: 30790
1204.54/1208.86 c #Conflicts: 1157000 | #Constraints: 31834
1204.54/1208.86 c #Conflicts: 1158000 | #Constraints: 32837
1204.54/1208.86 c #Conflicts: 1159000 | #Constraints: 33882
1204.54/1208.86 c #Conflicts: 1160000 | #Constraints: 34946
1204.54/1208.86 c #Conflicts: 1161000 | #Constraints: 35950
1204.54/1208.86 c #Conflicts: 1162000 | #Constraints: 36950
1204.54/1208.86 c #Conflicts: 1163000 | #Constraints: 37950
1204.54/1208.86 c #Conflicts: 1164000 | #Constraints: 38950
1204.54/1208.86 c #Conflicts: 1165000 | #Constraints: 39950
1204.54/1208.86 c #Conflicts: 1166000 | #Constraints: 40950
1204.54/1208.86 c #Conflicts: 1167000 | #Constraints: 41950
1204.54/1208.86 c #Conflicts: 1168000 | #Constraints: 42950
1204.54/1208.86 c INPROCESSING
1204.54/1208.86 c GARBAGE COLLECT
1204.54/1208.86 c rational objective 2.00001
1252.36/1256.82 c #Conflicts: 1169000 | #Constraints: 22392
1252.36/1256.82 c #Conflicts: 1170000 | #Constraints: 23392
1252.36/1256.82 c #Conflicts: 1171000 | #Constraints: 24392
1252.36/1256.82 c #Conflicts: 1172000 | #Constraints: 25392
1252.36/1256.82 c #Conflicts: 1173000 | #Constraints: 26392
1252.36/1256.82 c #Conflicts: 1174000 | #Constraints: 27392
1252.36/1256.82 c #Conflicts: 1175000 | #Constraints: 28392
1252.36/1256.82 c #Conflicts: 1176000 | #Constraints: 29406
1252.36/1256.82 c #Conflicts: 1177000 | #Constraints: 30406
1252.36/1256.82 c #Conflicts: 1178000 | #Constraints: 31406
1252.36/1256.82 c #Conflicts: 1179000 | #Constraints: 32406
1252.36/1256.82 c #Conflicts: 1180000 | #Constraints: 33406
1252.36/1256.82 c #Conflicts: 1181000 | #Constraints: 34406
1252.36/1256.82 c #Conflicts: 1182000 | #Constraints: 35406
1252.36/1256.82 c #Conflicts: 1183000 | #Constraints: 36406
1252.36/1256.82 c #Conflicts: 1184000 | #Constraints: 37406
1252.36/1256.82 c #Conflicts: 1185000 | #Constraints: 38406
1252.36/1256.82 c #Conflicts: 1186000 | #Constraints: 39406
1252.36/1256.82 c #Conflicts: 1187000 | #Constraints: 40406
1252.36/1256.82 c #Conflicts: 1188000 | #Constraints: 41406
1252.36/1256.82 c #Conflicts: 1189000 | #Constraints: 42406
1252.36/1256.82 c #Conflicts: 1190000 | #Constraints: 43406
1252.36/1256.82 c INPROCESSING
1252.36/1256.82 c GARBAGE COLLECT
1252.36/1256.82 c rational objective 2.00001
1299.50/1304.20 c #Conflicts: 1191000 | #Constraints: 22751
1299.50/1304.20 c #Conflicts: 1192000 | #Constraints: 23766
1299.50/1304.20 c #Conflicts: 1193000 | #Constraints: 24766
1299.50/1304.20 c #Conflicts: 1194000 | #Constraints: 25766
1299.50/1304.20 c #Conflicts: 1195000 | #Constraints: 26766
1299.50/1304.20 c #Conflicts: 1196000 | #Constraints: 27766
1299.50/1304.20 c #Conflicts: 1197000 | #Constraints: 28766
1299.50/1304.20 c #Conflicts: 1198000 | #Constraints: 29766
1299.50/1304.20 c #Conflicts: 1199000 | #Constraints: 30766
1299.50/1304.20 c #Conflicts: 1200000 | #Constraints: 31766
1299.50/1304.20 c #Conflicts: 1201000 | #Constraints: 32766
1299.50/1304.20 c #Conflicts: 1202000 | #Constraints: 33766
1299.50/1304.20 c #Conflicts: 1203000 | #Constraints: 34766
1299.50/1304.20 c #Conflicts: 1204000 | #Constraints: 35766
1299.50/1304.20 c #Conflicts: 1205000 | #Constraints: 36766
1299.50/1304.20 c #Conflicts: 1206000 | #Constraints: 37766
1299.50/1304.20 c #Conflicts: 1207000 | #Constraints: 38766
1299.50/1304.20 c #Conflicts: 1208000 | #Constraints: 39766
1299.50/1304.20 c #Conflicts: 1209000 | #Constraints: 40766
1299.50/1304.20 c #Conflicts: 1210000 | #Constraints: 41766
1299.50/1304.20 c #Conflicts: 1211000 | #Constraints: 42766
1299.50/1304.20 c #Conflicts: 1212000 | #Constraints: 43766
1299.50/1304.20 c INPROCESSING
1299.50/1304.20 c GARBAGE COLLECT
1299.50/1304.20 c rational objective 2.00001
1346.11/1350.90 c #Conflicts: 1213000 | #Constraints: 22902
1346.11/1350.90 c #Conflicts: 1214000 | #Constraints: 23902
1346.11/1350.90 c #Conflicts: 1215000 | #Constraints: 24921
1346.11/1350.90 c #Conflicts: 1216000 | #Constraints: 25929
1346.11/1350.90 c #Conflicts: 1217000 | #Constraints: 26945
1346.11/1350.90 c #Conflicts: 1218000 | #Constraints: 27945
1346.11/1350.90 c #Conflicts: 1219000 | #Constraints: 28945
1346.11/1350.90 c #Conflicts: 1220000 | #Constraints: 29945
1346.11/1350.90 c #Conflicts: 1221000 | #Constraints: 30945
1346.11/1350.90 c #Conflicts: 1222000 | #Constraints: 31945
1346.11/1350.90 c #Conflicts: 1223000 | #Constraints: 32945
1346.11/1350.90 c #Conflicts: 1224000 | #Constraints: 33945
1346.11/1350.90 c #Conflicts: 1225000 | #Constraints: 34945
1346.11/1350.90 c #Conflicts: 1226000 | #Constraints: 35945
1346.11/1350.90 c #Conflicts: 1227000 | #Constraints: 36945
1346.11/1350.90 c #Conflicts: 1228000 | #Constraints: 37945
1346.11/1350.90 c #Conflicts: 1229000 | #Constraints: 38945
1346.11/1350.90 c #Conflicts: 1230000 | #Constraints: 39945
1346.11/1350.90 c #Conflicts: 1231000 | #Constraints: 40945
1346.11/1350.90 c #Conflicts: 1232000 | #Constraints: 41945
1346.11/1350.90 c #Conflicts: 1233000 | #Constraints: 42945
1346.11/1350.90 c #Conflicts: 1234000 | #Constraints: 43945
1346.11/1350.90 c INPROCESSING
1346.11/1350.90 c GARBAGE COLLECT
1346.11/1350.90 c rational objective 2.00002
1398.21/1403.20 c #Conflicts: 1235000 | #Constraints: 22912
1398.21/1403.20 c #Conflicts: 1236000 | #Constraints: 23937
1398.21/1403.20 c #Conflicts: 1237000 | #Constraints: 24948
1398.21/1403.20 c #Conflicts: 1238000 | #Constraints: 25969
1398.21/1403.20 c #Conflicts: 1239000 | #Constraints: 26975
1398.21/1403.20 c #Conflicts: 1240000 | #Constraints: 27975
1398.21/1403.20 c #Conflicts: 1241000 | #Constraints: 28975
1398.21/1403.20 c #Conflicts: 1242000 | #Constraints: 29975
1398.21/1403.20 c #Conflicts: 1243000 | #Constraints: 30975
1398.21/1403.20 c #Conflicts: 1244000 | #Constraints: 31975
1398.21/1403.20 c #Conflicts: 1245000 | #Constraints: 32975
1398.21/1403.20 c #Conflicts: 1246000 | #Constraints: 33975
1398.21/1403.20 c #Conflicts: 1247000 | #Constraints: 34975
1398.21/1403.20 c #Conflicts: 1248000 | #Constraints: 35975
1398.21/1403.20 c #Conflicts: 1249000 | #Constraints: 36975
1398.21/1403.20 c #Conflicts: 1250000 | #Constraints: 37975
1398.21/1403.20 c #Conflicts: 1251000 | #Constraints: 38975
1398.21/1403.20 c #Conflicts: 1252000 | #Constraints: 39975
1398.21/1403.20 c #Conflicts: 1253000 | #Constraints: 40975
1398.21/1403.20 c #Conflicts: 1254000 | #Constraints: 41975
1398.21/1403.20 c #Conflicts: 1255000 | #Constraints: 42975
1398.21/1403.20 c #Conflicts: 1256000 | #Constraints: 43975
1398.21/1403.20 c INPROCESSING
1398.21/1403.20 c GARBAGE COLLECT
1398.21/1403.20 c rational objective 2.00001
1450.72/1455.92 c #Conflicts: 1257000 | #Constraints: 22698
1450.72/1455.92 c #Conflicts: 1258000 | #Constraints: 23716
1450.72/1455.92 c #Conflicts: 1259000 | #Constraints: 24731
1450.72/1455.92 c #Conflicts: 1260000 | #Constraints: 25737
1450.72/1455.92 c #Conflicts: 1261000 | #Constraints: 26737
1450.72/1455.92 c #Conflicts: 1262000 | #Constraints: 27746
1450.72/1455.92 c #Conflicts: 1263000 | #Constraints: 28747
1450.72/1455.92 c #Conflicts: 1264000 | #Constraints: 29747
1450.72/1455.92 c #Conflicts: 1265000 | #Constraints: 30747
1450.72/1455.92 c #Conflicts: 1266000 | #Constraints: 31747
1450.72/1455.92 c #Conflicts: 1267000 | #Constraints: 32747
1450.72/1455.92 c #Conflicts: 1268000 | #Constraints: 33747
1450.72/1455.92 c #Conflicts: 1269000 | #Constraints: 34747
1450.72/1455.92 c #Conflicts: 1270000 | #Constraints: 35747
1450.72/1455.92 c #Conflicts: 1271000 | #Constraints: 36747
1450.72/1455.92 c #Conflicts: 1272000 | #Constraints: 37747
1450.72/1455.92 c #Conflicts: 1273000 | #Constraints: 38747
1450.72/1455.92 c #Conflicts: 1274000 | #Constraints: 39747
1450.72/1455.92 c #Conflicts: 1275000 | #Constraints: 40747
1450.72/1455.92 c #Conflicts: 1276000 | #Constraints: 41747
1450.72/1455.92 c #Conflicts: 1277000 | #Constraints: 42747
1450.72/1455.92 c #Conflicts: 1278000 | #Constraints: 43747
1450.72/1455.92 c #Conflicts: 1279000 | #Constraints: 44747
1450.72/1455.92 c INPROCESSING
1450.72/1455.92 c GARBAGE COLLECT
1450.72/1455.92 c rational objective 2.00001
1495.09/1500.43 c #Conflicts: 1280000 | #Constraints: 23290
1495.09/1500.43 c #Conflicts: 1281000 | #Constraints: 24292
1495.09/1500.43 c #Conflicts: 1282000 | #Constraints: 25303
1495.09/1500.43 c #Conflicts: 1283000 | #Constraints: 26314
1495.09/1500.43 c #Conflicts: 1284000 | #Constraints: 27325
1495.09/1500.43 c #Conflicts: 1285000 | #Constraints: 28342
1495.09/1500.43 c #Conflicts: 1286000 | #Constraints: 29358
1495.09/1500.43 c #Conflicts: 1287000 | #Constraints: 30374
1495.09/1500.43 c #Conflicts: 1288000 | #Constraints: 31400
1495.09/1500.43 c #Conflicts: 1289000 | #Constraints: 32411
1495.09/1500.43 c #Conflicts: 1290000 | #Constraints: 33453
1495.09/1500.43 c #Conflicts: 1291000 | #Constraints: 34470
1495.09/1500.43 c #Conflicts: 1292000 | #Constraints: 35475
1495.09/1500.43 c #Conflicts: 1293000 | #Constraints: 36475
1495.09/1500.43 c #Conflicts: 1294000 | #Constraints: 37475
1495.09/1500.43 c #Conflicts: 1295000 | #Constraints: 38475
1495.09/1500.43 c #Conflicts: 1296000 | #Constraints: 39475
1495.09/1500.43 c #Conflicts: 1297000 | #Constraints: 40475
1495.09/1500.43 c #Conflicts: 1298000 | #Constraints: 41475
1495.09/1500.43 c #Conflicts: 1299000 | #Constraints: 42475
1495.09/1500.43 c #Conflicts: 1300000 | #Constraints: 43475
1495.09/1500.43 c #Conflicts: 1301000 | #Constraints: 44475
1495.09/1500.43 c #Conflicts: 1302000 | #Constraints: 45475
1495.09/1500.43 c INPROCESSING
1495.09/1500.43 c GARBAGE COLLECT
1495.09/1500.43 c rational objective 2.00001
1544.54/1550.09 c #Conflicts: 1303000 | #Constraints: 23765
1544.54/1550.09 c #Conflicts: 1304000 | #Constraints: 24773
1544.54/1550.09 c #Conflicts: 1305000 | #Constraints: 25773
1544.54/1550.09 c #Conflicts: 1306000 | #Constraints: 26773
1544.54/1550.09 c #Conflicts: 1307000 | #Constraints: 27773
1544.54/1550.09 c #Conflicts: 1308000 | #Constraints: 28773
1544.54/1550.09 c #Conflicts: 1309000 | #Constraints: 29773
1544.54/1550.09 c #Conflicts: 1310000 | #Constraints: 30773
1544.54/1550.09 c #Conflicts: 1311000 | #Constraints: 31773
1544.54/1550.09 c #Conflicts: 1312000 | #Constraints: 32773
1544.54/1550.09 c #Conflicts: 1313000 | #Constraints: 33773
1544.54/1550.09 c #Conflicts: 1314000 | #Constraints: 34773
1544.54/1550.09 c #Conflicts: 1315000 | #Constraints: 35773
1544.54/1550.09 c #Conflicts: 1316000 | #Constraints: 36773
1544.54/1550.09 c #Conflicts: 1317000 | #Constraints: 37802
1544.54/1550.09 c #Conflicts: 1318000 | #Constraints: 38802
1544.54/1550.09 c #Conflicts: 1319000 | #Constraints: 39824
1544.54/1550.09 c #Conflicts: 1320000 | #Constraints: 40836
1544.54/1550.09 c #Conflicts: 1321000 | #Constraints: 41836
1544.54/1550.09 c #Conflicts: 1322000 | #Constraints: 42836
1544.54/1550.09 c #Conflicts: 1323000 | #Constraints: 43836
1544.54/1550.09 c #Conflicts: 1324000 | #Constraints: 44836
1544.54/1550.09 c #Conflicts: 1325000 | #Constraints: 45836
1544.54/1550.09 c INPROCESSING
1544.54/1550.09 c GARBAGE COLLECT
1544.54/1550.09 c rational objective 2.00002
1589.39/1595.01 c #Conflicts: 1326000 | #Constraints: 23967
1589.39/1595.01 c #Conflicts: 1327000 | #Constraints: 24974
1589.39/1595.01 c #Conflicts: 1328000 | #Constraints: 25974
1589.39/1595.01 c #Conflicts: 1329000 | #Constraints: 26984
1589.39/1595.01 c #Conflicts: 1330000 | #Constraints: 27984
1589.39/1595.01 c #Conflicts: 1331000 | #Constraints: 28984
1589.39/1595.01 c #Conflicts: 1332000 | #Constraints: 29984
1589.39/1595.01 c #Conflicts: 1333000 | #Constraints: 30984
1589.39/1595.01 c #Conflicts: 1334000 | #Constraints: 31984
1589.39/1595.01 c #Conflicts: 1335000 | #Constraints: 32984
1589.39/1595.01 c #Conflicts: 1336000 | #Constraints: 33984
1589.39/1595.01 c #Conflicts: 1337000 | #Constraints: 34984
1589.39/1595.01 c #Conflicts: 1338000 | #Constraints: 35984
1589.39/1595.01 c #Conflicts: 1339000 | #Constraints: 36984
1589.39/1595.01 c #Conflicts: 1340000 | #Constraints: 37984
1589.39/1595.01 c #Conflicts: 1341000 | #Constraints: 38984
1589.39/1595.01 c #Conflicts: 1342000 | #Constraints: 39984
1589.39/1595.01 c #Conflicts: 1343000 | #Constraints: 40984
1589.39/1595.01 c #Conflicts: 1344000 | #Constraints: 41984
1589.39/1595.01 c #Conflicts: 1345000 | #Constraints: 42984
1589.39/1595.01 c #Conflicts: 1346000 | #Constraints: 43984
1589.39/1595.01 c #Conflicts: 1347000 | #Constraints: 44984
1589.39/1595.01 c #Conflicts: 1348000 | #Constraints: 45984
1589.39/1595.01 c INPROCESSING
1589.39/1595.01 c GARBAGE COLLECT
1589.39/1595.01 c rational objective 2.00002
1648.39/1654.24 c #Conflicts: 1349000 | #Constraints: 23942
1648.39/1654.24 c #Conflicts: 1350000 | #Constraints: 25071
1648.39/1654.24 c #Conflicts: 1351000 | #Constraints: 26179
1648.39/1654.24 c #Conflicts: 1352000 | #Constraints: 27274
1648.39/1654.24 c #Conflicts: 1353000 | #Constraints: 28405
1648.39/1654.24 c #Conflicts: 1354000 | #Constraints: 29505
1648.39/1654.24 c #Conflicts: 1355000 | #Constraints: 30637
1648.39/1654.24 c #Conflicts: 1356000 | #Constraints: 31793
1648.39/1654.24 c #Conflicts: 1357000 | #Constraints: 32894
1648.39/1654.24 c #Conflicts: 1358000 | #Constraints: 33986
1648.39/1654.24 c #Conflicts: 1359000 | #Constraints: 35091
1648.39/1654.24 c #Conflicts: 1360000 | #Constraints: 36193
1648.39/1654.24 c #Conflicts: 1361000 | #Constraints: 37297
1648.39/1654.24 c #Conflicts: 1362000 | #Constraints: 38337
1648.39/1654.24 c #Conflicts: 1363000 | #Constraints: 39337
1648.39/1654.24 c #Conflicts: 1364000 | #Constraints: 40337
1648.39/1654.24 c #Conflicts: 1365000 | #Constraints: 41337
1648.39/1654.24 c #Conflicts: 1366000 | #Constraints: 42337
1648.39/1654.24 c #Conflicts: 1367000 | #Constraints: 43337
1648.39/1654.24 c #Conflicts: 1368000 | #Constraints: 44337
1648.39/1654.24 c #Conflicts: 1369000 | #Constraints: 45337
1648.39/1654.24 c #Conflicts: 1370000 | #Constraints: 46337
1648.39/1654.24 c #Conflicts: 1371000 | #Constraints: 47337
1648.39/1654.24 c INPROCESSING
1648.39/1654.24 c GARBAGE COLLECT
1648.39/1654.24 c rational objective 2.0002
1702.62/1708.61 c #Conflicts: 1372000 | #Constraints: 24397
1702.62/1708.61 c #Conflicts: 1373000 | #Constraints: 25507
1702.62/1708.61 c #Conflicts: 1374000 | #Constraints: 26605
1702.62/1708.61 c #Conflicts: 1375000 | #Constraints: 27704
1702.62/1708.61 c #Conflicts: 1376000 | #Constraints: 28788
1702.62/1708.61 c #Conflicts: 1377000 | #Constraints: 29913
1702.62/1708.61 c #Conflicts: 1378000 | #Constraints: 30984
1702.62/1708.61 c #Conflicts: 1379000 | #Constraints: 32029
1702.62/1708.61 c #Conflicts: 1380000 | #Constraints: 33112
1702.62/1708.61 c #Conflicts: 1381000 | #Constraints: 34158
1702.62/1708.61 c #Conflicts: 1382000 | #Constraints: 35211
1702.62/1708.61 c #Conflicts: 1383000 | #Constraints: 36284
1702.62/1708.61 c #Conflicts: 1384000 | #Constraints: 37356
1702.62/1708.61 c #Conflicts: 1385000 | #Constraints: 38381
1702.62/1708.61 c #Conflicts: 1386000 | #Constraints: 39381
1702.62/1708.61 c #Conflicts: 1387000 | #Constraints: 40414
1702.62/1708.61 c #Conflicts: 1388000 | #Constraints: 41498
1702.62/1708.61 c #Conflicts: 1389000 | #Constraints: 42569
1702.62/1708.61 c #Conflicts: 1390000 | #Constraints: 43569
1702.62/1708.61 c #Conflicts: 1391000 | #Constraints: 44611
1702.62/1708.61 c #Conflicts: 1392000 | #Constraints: 45705
1702.62/1708.61 c #Conflicts: 1393000 | #Constraints: 46781
1702.62/1708.61 c #Conflicts: 1394000 | #Constraints: 47874
1702.62/1708.61 c #Conflicts: 1395000 | #Constraints: 48956
1702.62/1708.61 c INPROCESSING
1702.62/1708.61 c GARBAGE COLLECT
1702.62/1708.61 c rational objective 2.00033
1762.95/1769.17 c #Conflicts: 1396000 | #Constraints: 25417
1762.95/1769.17 c #Conflicts: 1397000 | #Constraints: 26459
1762.95/1769.17 c #Conflicts: 1398000 | #Constraints: 27506
1762.95/1769.17 c #Conflicts: 1399000 | #Constraints: 28547
1762.95/1769.17 c #Conflicts: 1400000 | #Constraints: 29581
1762.95/1769.17 c #Conflicts: 1401000 | #Constraints: 30591
1762.95/1769.17 c #Conflicts: 1402000 | #Constraints: 31591
1762.95/1769.17 c #Conflicts: 1403000 | #Constraints: 32591
1762.95/1769.17 c #Conflicts: 1404000 | #Constraints: 33616
1762.95/1769.17 c #Conflicts: 1405000 | #Constraints: 34672
1762.95/1769.17 c #Conflicts: 1406000 | #Constraints: 35711
1762.95/1769.17 c #Conflicts: 1407000 | #Constraints: 36805
1762.95/1769.17 c #Conflicts: 1408000 | #Constraints: 37837
1762.95/1769.17 c #Conflicts: 1409000 | #Constraints: 38870
1762.95/1769.17 c #Conflicts: 1410000 | #Constraints: 39891
1762.95/1769.17 c #Conflicts: 1411000 | #Constraints: 40895
1762.95/1769.17 c #Conflicts: 1412000 | #Constraints: 41895
1762.95/1769.17 c #Conflicts: 1413000 | #Constraints: 42930
1762.95/1769.17 c #Conflicts: 1414000 | #Constraints: 43948
1762.95/1769.17 c #Conflicts: 1415000 | #Constraints: 44983
1762.95/1769.17 c #Conflicts: 1416000 | #Constraints: 46050
1762.95/1769.17 c #Conflicts: 1417000 | #Constraints: 47087
1762.95/1769.17 c #Conflicts: 1418000 | #Constraints: 48139
1762.95/1769.17 c #Conflicts: 1419000 | #Constraints: 49179
1762.95/1769.17 c INPROCESSING
1762.95/1769.17 c GARBAGE COLLECT
1762.95/1769.17 c rational objective 2.00029
1819.08/1825.40 c #Conflicts: 1420000 | #Constraints: 25651
1819.08/1825.40 c #Conflicts: 1421000 | #Constraints: 26747
1819.08/1825.40 c #Conflicts: 1422000 | #Constraints: 27803
1819.08/1825.40 c #Conflicts: 1423000 | #Constraints: 28835
1819.08/1825.40 c #Conflicts: 1424000 | #Constraints: 29855
1819.08/1825.40 c #Conflicts: 1425000 | #Constraints: 30898
1819.08/1825.40 c #Conflicts: 1426000 | #Constraints: 31956
1819.08/1825.40 c #Conflicts: 1427000 | #Constraints: 32996
1819.08/1825.40 c #Conflicts: 1428000 | #Constraints: 34028
1819.08/1825.40 c #Conflicts: 1429000 | #Constraints: 35067
1819.08/1825.40 c #Conflicts: 1430000 | #Constraints: 36115
1819.08/1825.40 c #Conflicts: 1431000 | #Constraints: 37130
1819.08/1825.40 c #Conflicts: 1432000 | #Constraints: 38166
1819.08/1825.40 c #Conflicts: 1433000 | #Constraints: 39166
1819.08/1825.40 c #Conflicts: 1434000 | #Constraints: 40168
1819.08/1825.40 c #Conflicts: 1435000 | #Constraints: 41197
1819.08/1825.40 c #Conflicts: 1436000 | #Constraints: 42226
1819.08/1825.40 c #Conflicts: 1437000 | #Constraints: 43226
1819.08/1825.40 c #Conflicts: 1438000 | #Constraints: 44226
1819.08/1825.40 c #Conflicts: 1439000 | #Constraints: 45226
1819.08/1825.40 c #Conflicts: 1440000 | #Constraints: 46226
1819.08/1825.40 c #Conflicts: 1441000 | #Constraints: 47226
1819.08/1825.40 c #Conflicts: 1442000 | #Constraints: 48226
1819.08/1825.40 c #Conflicts: 1443000 | #Constraints: 49226
1819.08/1825.40 c INPROCESSING
1819.08/1825.40 c GARBAGE COLLECT
1819.08/1825.40 c rational objective 2.0003
1880.77/1887.38 c #Conflicts: 1444000 | #Constraints: 25665
1880.77/1887.38 c #Conflicts: 1445000 | #Constraints: 26681
1880.77/1887.38 c #Conflicts: 1446000 | #Constraints: 27681
1880.77/1887.38 c #Conflicts: 1447000 | #Constraints: 28681
1880.77/1887.38 c #Conflicts: 1448000 | #Constraints: 29681
1880.77/1887.38 c #Conflicts: 1449000 | #Constraints: 30681
1880.77/1887.38 c #Conflicts: 1450000 | #Constraints: 31681
1880.77/1887.38 c #Conflicts: 1451000 | #Constraints: 32681
1880.77/1887.38 c #Conflicts: 1452000 | #Constraints: 33681
1880.77/1887.38 c #Conflicts: 1453000 | #Constraints: 34681
1880.77/1887.38 c #Conflicts: 1454000 | #Constraints: 35681
1880.77/1887.38 c #Conflicts: 1455000 | #Constraints: 36681
1880.77/1887.38 c #Conflicts: 1456000 | #Constraints: 37681
1880.77/1887.38 c #Conflicts: 1457000 | #Constraints: 38681
1880.77/1887.38 c #Conflicts: 1458000 | #Constraints: 39681
1880.77/1887.38 c #Conflicts: 1459000 | #Constraints: 40681
1880.77/1887.38 c #Conflicts: 1460000 | #Constraints: 41681
1880.77/1887.38 c #Conflicts: 1461000 | #Constraints: 42681
1880.77/1887.38 c #Conflicts: 1462000 | #Constraints: 43681
1880.77/1887.38 c #Conflicts: 1463000 | #Constraints: 44681
1880.77/1887.38 c #Conflicts: 1464000 | #Constraints: 45681
1880.77/1887.38 c #Conflicts: 1465000 | #Constraints: 46681
1880.77/1887.38 c #Conflicts: 1466000 | #Constraints: 47681
1880.77/1887.38 c #Conflicts: 1467000 | #Constraints: 48681
1880.77/1887.38 c INPROCESSING
1880.77/1887.38 c GARBAGE COLLECT
1880.77/1887.38 c rational objective 2.00013
1946.05/1952.88 c #Conflicts: 1468000 | #Constraints: 25304
1946.05/1952.88 c #Conflicts: 1469000 | #Constraints: 26390
1946.05/1952.88 c #Conflicts: 1470000 | #Constraints: 27480
1946.05/1952.88 c #Conflicts: 1471000 | #Constraints: 28562
1946.05/1952.88 c #Conflicts: 1472000 | #Constraints: 29673
1946.05/1952.88 c #Conflicts: 1473000 | #Constraints: 30774
1946.05/1952.88 c #Conflicts: 1474000 | #Constraints: 31885
1946.05/1952.88 c #Conflicts: 1475000 | #Constraints: 32950
1946.05/1952.88 c #Conflicts: 1476000 | #Constraints: 34015
1946.05/1952.88 c #Conflicts: 1477000 | #Constraints: 35095
1946.05/1952.88 c #Conflicts: 1478000 | #Constraints: 36230
1946.05/1952.88 c #Conflicts: 1479000 | #Constraints: 37324
1946.05/1952.88 c #Conflicts: 1480000 | #Constraints: 38389
1946.05/1952.88 c #Conflicts: 1481000 | #Constraints: 39485
1946.05/1952.88 c #Conflicts: 1482000 | #Constraints: 40486
1946.05/1952.88 c #Conflicts: 1483000 | #Constraints: 41563
1946.05/1952.88 c #Conflicts: 1484000 | #Constraints: 42649
1946.05/1952.88 c #Conflicts: 1485000 | #Constraints: 43711
1946.05/1952.88 c #Conflicts: 1486000 | #Constraints: 44795
1946.05/1952.88 c #Conflicts: 1487000 | #Constraints: 45903
1946.05/1952.88 c #Conflicts: 1488000 | #Constraints: 47002
1946.05/1952.88 c #Conflicts: 1489000 | #Constraints: 48081
1946.05/1952.88 c #Conflicts: 1490000 | #Constraints: 49085
1946.05/1952.88 c #Conflicts: 1491000 | #Constraints: 50213
1946.05/1952.88 c INPROCESSING
1946.05/1952.88 c GARBAGE COLLECT
1946.05/1952.88 c rational objective 2.00001
2012.42/2019.41 c #Conflicts: 1492000 | #Constraints: 25838
2012.42/2019.41 c #Conflicts: 1493000 | #Constraints: 26838
2012.42/2019.41 c #Conflicts: 1494000 | #Constraints: 27855
2012.42/2019.41 c #Conflicts: 1495000 | #Constraints: 28867
2012.42/2019.41 c #Conflicts: 1496000 | #Constraints: 29867
2012.42/2019.41 c #Conflicts: 1497000 | #Constraints: 30867
2012.42/2019.41 c #Conflicts: 1498000 | #Constraints: 31867
2012.42/2019.41 c #Conflicts: 1499000 | #Constraints: 32867
2012.42/2019.41 c #Conflicts: 1500000 | #Constraints: 33889
2012.42/2019.41 c #Conflicts: 1501000 | #Constraints: 34889
2012.42/2019.41 c #Conflicts: 1502000 | #Constraints: 35898
2012.42/2019.41 c #Conflicts: 1503000 | #Constraints: 36903
2012.42/2019.41 c #Conflicts: 1504000 | #Constraints: 37917
2012.42/2019.41 c #Conflicts: 1505000 | #Constraints: 38955
2012.42/2019.41 c #Conflicts: 1506000 | #Constraints: 39992
2012.42/2019.41 c #Conflicts: 1507000 | #Constraints: 41032
2012.42/2019.41 c #Conflicts: 1508000 | #Constraints: 42093
2012.42/2019.41 c #Conflicts: 1509000 | #Constraints: 43136
2012.42/2019.41 c #Conflicts: 1510000 | #Constraints: 44187
2012.42/2019.41 c #Conflicts: 1511000 | #Constraints: 45187
2012.42/2019.41 c #Conflicts: 1512000 | #Constraints: 46187
2012.42/2019.41 c #Conflicts: 1513000 | #Constraints: 47187
2012.42/2019.41 c #Conflicts: 1514000 | #Constraints: 48217
2012.42/2019.41 c #Conflicts: 1515000 | #Constraints: 49295
2012.42/2019.41 c #Conflicts: 1516000 | #Constraints: 50374
2012.42/2019.41 c INPROCESSING
2012.42/2019.41 c GARBAGE COLLECT
2012.42/2019.41 c rational objective 1.99999
2079.81/2087.06 c #Conflicts: 1517000 | #Constraints: 26109
2079.81/2087.06 c #Conflicts: 1518000 | #Constraints: 27122
2079.81/2087.06 c #Conflicts: 1519000 | #Constraints: 28132
2079.81/2087.06 c #Conflicts: 1520000 | #Constraints: 29167
2079.81/2087.06 c #Conflicts: 1521000 | #Constraints: 30167
2079.81/2087.06 c #Conflicts: 1522000 | #Constraints: 31216
2079.81/2087.06 c #Conflicts: 1523000 | #Constraints: 32249
2079.81/2087.06 c #Conflicts: 1524000 | #Constraints: 33249
2079.81/2087.06 c #Conflicts: 1525000 | #Constraints: 34249
2079.81/2087.06 c #Conflicts: 1526000 | #Constraints: 35251
2079.81/2087.06 c #Conflicts: 1527000 | #Constraints: 36266
2079.81/2087.06 c #Conflicts: 1528000 | #Constraints: 37295
2079.81/2087.06 c #Conflicts: 1529000 | #Constraints: 38335
2079.81/2087.06 c #Conflicts: 1530000 | #Constraints: 39377
2079.81/2087.06 c #Conflicts: 1531000 | #Constraints: 40388
2079.81/2087.06 c #Conflicts: 1532000 | #Constraints: 41419
2079.81/2087.06 c #Conflicts: 1533000 | #Constraints: 42452
2079.81/2087.06 c #Conflicts: 1534000 | #Constraints: 43455
2079.81/2087.06 c #Conflicts: 1535000 | #Constraints: 44487
2079.81/2087.06 c #Conflicts: 1536000 | #Constraints: 45526
2079.81/2087.06 c #Conflicts: 1537000 | #Constraints: 46582
2079.81/2087.06 c #Conflicts: 1538000 | #Constraints: 47638
2079.81/2087.06 c #Conflicts: 1539000 | #Constraints: 48699
2079.81/2087.06 c #Conflicts: 1540000 | #Constraints: 49718
2079.81/2087.06 c #Conflicts: 1541000 | #Constraints: 50775
2079.81/2087.06 c INPROCESSING
2079.81/2087.06 c GARBAGE COLLECT
2079.81/2087.06 c rational objective 2.04942
2143.88/2151.39 c #Conflicts: 1542000 | #Constraints: 26470
2143.88/2151.39 c #Conflicts: 1543000 | #Constraints: 27487
2143.88/2151.39 c #Conflicts: 1544000 | #Constraints: 28506
2143.88/2151.39 c #Conflicts: 1545000 | #Constraints: 29529
2143.88/2151.39 c #Conflicts: 1546000 | #Constraints: 30543
2143.88/2151.39 c #Conflicts: 1547000 | #Constraints: 31573
2143.88/2151.39 c #Conflicts: 1548000 | #Constraints: 32610
2143.88/2151.39 c #Conflicts: 1549000 | #Constraints: 33629
2143.88/2151.39 c #Conflicts: 1550000 | #Constraints: 34645
2143.88/2151.39 c #Conflicts: 1551000 | #Constraints: 35679
2143.88/2151.39 c #Conflicts: 1552000 | #Constraints: 36733
2143.88/2151.39 c #Conflicts: 1553000 | #Constraints: 37760
2143.88/2151.39 c #Conflicts: 1554000 | #Constraints: 38793
2143.88/2151.39 c #Conflicts: 1555000 | #Constraints: 39841
2143.88/2151.39 c #Conflicts: 1556000 | #Constraints: 40865
2143.88/2151.39 c #Conflicts: 1557000 | #Constraints: 41901
2143.88/2151.39 c #Conflicts: 1558000 | #Constraints: 42941
2143.88/2151.39 c #Conflicts: 1559000 | #Constraints: 44010
2143.88/2151.39 c #Conflicts: 1560000 | #Constraints: 45033
2143.88/2151.39 c #Conflicts: 1561000 | #Constraints: 46076
2143.88/2151.39 c #Conflicts: 1562000 | #Constraints: 47116
2143.88/2151.39 c #Conflicts: 1563000 | #Constraints: 48116
2143.88/2151.39 c #Conflicts: 1564000 | #Constraints: 49142
2143.88/2151.39 c #Conflicts: 1565000 | #Constraints: 50150
2143.88/2151.39 c #Conflicts: 1566000 | #Constraints: 51173
2143.88/2151.39 c INPROCESSING
2143.88/2151.39 c GARBAGE COLLECT
2143.88/2151.39 c rational objective 2.05128
2222.62/2230.37 c #Conflicts: 1567000 | #Constraints: 26605
2222.62/2230.37 c #Conflicts: 1568000 | #Constraints: 27605
2222.62/2230.37 c #Conflicts: 1569000 | #Constraints: 28617
2222.62/2230.37 c #Conflicts: 1570000 | #Constraints: 29656
2222.62/2230.37 c #Conflicts: 1571000 | #Constraints: 30702
2222.62/2230.37 c #Conflicts: 1572000 | #Constraints: 31746
2222.62/2230.37 c #Conflicts: 1573000 | #Constraints: 32787
2222.62/2230.37 c #Conflicts: 1574000 | #Constraints: 33869
2222.62/2230.37 c #Conflicts: 1575000 | #Constraints: 34924
2222.62/2230.37 c #Conflicts: 1576000 | #Constraints: 35969
2222.62/2230.37 c #Conflicts: 1577000 | #Constraints: 37008
2222.62/2230.37 c #Conflicts: 1578000 | #Constraints: 38068
2222.62/2230.37 c #Conflicts: 1579000 | #Constraints: 39104
2222.62/2230.37 c #Conflicts: 1580000 | #Constraints: 40126
2222.62/2230.37 c #Conflicts: 1581000 | #Constraints: 41156
2222.62/2230.37 c #Conflicts: 1582000 | #Constraints: 42182
2222.62/2230.37 c #Conflicts: 1583000 | #Constraints: 43193
2222.62/2230.37 c #Conflicts: 1584000 | #Constraints: 44222
2222.62/2230.37 c #Conflicts: 1585000 | #Constraints: 45258
2222.62/2230.37 c #Conflicts: 1586000 | #Constraints: 46301
2222.62/2230.37 c #Conflicts: 1587000 | #Constraints: 47337
2222.62/2230.37 c #Conflicts: 1588000 | #Constraints: 48373
2222.62/2230.37 c #Conflicts: 1589000 | #Constraints: 49409
2222.62/2230.37 c #Conflicts: 1590000 | #Constraints: 50429
2222.62/2230.37 c #Conflicts: 1591000 | #Constraints: 51471
2222.62/2230.37 c INPROCESSING
2222.62/2230.37 c GARBAGE COLLECT
2222.62/2230.37 c rational objective 2.00001
2289.21/2297.19 c #Conflicts: 1592000 | #Constraints: 26661
2289.21/2297.19 c #Conflicts: 1593000 | #Constraints: 27661
2289.21/2297.19 c #Conflicts: 1594000 | #Constraints: 28683
2289.21/2297.19 c #Conflicts: 1595000 | #Constraints: 29713
2289.21/2297.19 c #Conflicts: 1596000 | #Constraints: 30713
2289.21/2297.19 c #Conflicts: 1597000 | #Constraints: 31733
2289.21/2297.19 c #Conflicts: 1598000 | #Constraints: 32777
2289.21/2297.19 c #Conflicts: 1599000 | #Constraints: 33784
2289.21/2297.19 c #Conflicts: 1600000 | #Constraints: 34808
2289.21/2297.19 c #Conflicts: 1601000 | #Constraints: 35846
2289.21/2297.19 c #Conflicts: 1602000 | #Constraints: 36890
2289.21/2297.19 c #Conflicts: 1603000 | #Constraints: 37913
2289.21/2297.19 c #Conflicts: 1604000 | #Constraints: 38939
2289.21/2297.19 c #Conflicts: 1605000 | #Constraints: 39971
2289.21/2297.19 c #Conflicts: 1606000 | #Constraints: 41011
2289.21/2297.19 c #Conflicts: 1607000 | #Constraints: 42032
2289.21/2297.19 c #Conflicts: 1608000 | #Constraints: 43032
2289.21/2297.19 c #Conflicts: 1609000 | #Constraints: 44050
2289.21/2297.19 c #Conflicts: 1610000 | #Constraints: 45097
2289.21/2297.19 c #Conflicts: 1611000 | #Constraints: 46120
2289.21/2297.19 c #Conflicts: 1612000 | #Constraints: 47135
2289.21/2297.19 c #Conflicts: 1613000 | #Constraints: 48135
2289.21/2297.19 c #Conflicts: 1614000 | #Constraints: 49157
2289.21/2297.19 c #Conflicts: 1615000 | #Constraints: 50195
2289.21/2297.19 c #Conflicts: 1616000 | #Constraints: 51227
2289.21/2297.19 c INPROCESSING
2289.21/2297.19 c GARBAGE COLLECT
2289.21/2297.19 c rational objective 2
2350.81/2358.98 c #Conflicts: 1617000 | #Constraints: 26342
2350.81/2358.98 c #Conflicts: 1618000 | #Constraints: 27368
2350.81/2358.98 c #Conflicts: 1619000 | #Constraints: 28392
2350.81/2358.98 c #Conflicts: 1620000 | #Constraints: 29404
2350.81/2358.98 c #Conflicts: 1621000 | #Constraints: 30428
2350.81/2358.98 c #Conflicts: 1622000 | #Constraints: 31430
2350.81/2358.98 c #Conflicts: 1623000 | #Constraints: 32437
2350.81/2358.98 c #Conflicts: 1624000 | #Constraints: 33437
2350.81/2358.98 c #Conflicts: 1625000 | #Constraints: 34437
2350.81/2358.98 c #Conflicts: 1626000 | #Constraints: 35437
2350.81/2358.98 c #Conflicts: 1627000 | #Constraints: 36437
2350.81/2358.98 c #Conflicts: 1628000 | #Constraints: 37437
2350.81/2358.98 c #Conflicts: 1629000 | #Constraints: 38437
2350.81/2358.98 c #Conflicts: 1630000 | #Constraints: 39437
2350.81/2358.98 c #Conflicts: 1631000 | #Constraints: 40437
2350.81/2358.98 c #Conflicts: 1632000 | #Constraints: 41437
2350.81/2358.98 c #Conflicts: 1633000 | #Constraints: 42437
2350.81/2358.98 c #Conflicts: 1634000 | #Constraints: 43437
2350.81/2358.98 c #Conflicts: 1635000 | #Constraints: 44437
2350.81/2358.98 c #Conflicts: 1636000 | #Constraints: 45437
2350.81/2358.98 c #Conflicts: 1637000 | #Constraints: 46437
2350.81/2358.98 c #Conflicts: 1638000 | #Constraints: 47437
2350.81/2358.98 c #Conflicts: 1639000 | #Constraints: 48437
2350.81/2358.98 c #Conflicts: 1640000 | #Constraints: 49437
2350.81/2358.98 c #Conflicts: 1641000 | #Constraints: 50437
2350.81/2358.98 c #Conflicts: 1642000 | #Constraints: 51437
2350.81/2358.98 c INPROCESSING
2350.81/2358.98 c GARBAGE COLLECT
2350.81/2358.98 c rational objective 2.00008
2411.12/2419.42 c #Conflicts: 1643000 | #Constraints: 26632
2411.12/2419.42 c #Conflicts: 1644000 | #Constraints: 27661
2411.12/2419.42 c #Conflicts: 1645000 | #Constraints: 28672
2411.12/2419.42 c #Conflicts: 1646000 | #Constraints: 29691
2411.12/2419.42 c #Conflicts: 1647000 | #Constraints: 30691
2411.12/2419.42 c #Conflicts: 1648000 | #Constraints: 31701
2411.12/2419.42 c #Conflicts: 1649000 | #Constraints: 32715
2411.12/2419.42 c #Conflicts: 1650000 | #Constraints: 33730
2411.12/2419.42 c #Conflicts: 1651000 | #Constraints: 34741
2411.12/2419.42 c #Conflicts: 1652000 | #Constraints: 35763
2411.12/2419.42 c #Conflicts: 1653000 | #Constraints: 36784
2411.12/2419.42 c #Conflicts: 1654000 | #Constraints: 37807
2411.12/2419.42 c #Conflicts: 1655000 | #Constraints: 38818
2411.12/2419.42 c #Conflicts: 1656000 | #Constraints: 39832
2411.12/2419.42 c #Conflicts: 1657000 | #Constraints: 40853
2411.12/2419.42 c #Conflicts: 1658000 | #Constraints: 41867
2411.12/2419.42 c #Conflicts: 1659000 | #Constraints: 42896
2411.12/2419.42 c #Conflicts: 1660000 | #Constraints: 43913
2411.12/2419.42 c #Conflicts: 1661000 | #Constraints: 44921
2411.12/2419.42 c #Conflicts: 1662000 | #Constraints: 45921
2411.12/2419.42 c #Conflicts: 1663000 | #Constraints: 46921
2411.12/2419.42 c #Conflicts: 1664000 | #Constraints: 47921
2411.12/2419.42 c #Conflicts: 1665000 | #Constraints: 48921
2411.12/2419.42 c #Conflicts: 1666000 | #Constraints: 49936
2411.12/2419.42 c #Conflicts: 1667000 | #Constraints: 50954
2411.12/2419.42 c #Conflicts: 1668000 | #Constraints: 51954
2411.12/2419.42 c INPROCESSING
2411.12/2419.42 c GARBAGE COLLECT
2411.12/2419.42 c rational objective 2.00103
2479.53/2488.02 c #Conflicts: 1669000 | #Constraints: 27019
2479.53/2488.02 c #Conflicts: 1670000 | #Constraints: 28037
2479.53/2488.02 c #Conflicts: 1671000 | #Constraints: 29045
2479.53/2488.02 c #Conflicts: 1672000 | #Constraints: 30065
2479.53/2488.02 c #Conflicts: 1673000 | #Constraints: 31073
2479.53/2488.02 c #Conflicts: 1674000 | #Constraints: 32087
2479.53/2488.02 c #Conflicts: 1675000 | #Constraints: 33098
2479.53/2488.02 c #Conflicts: 1676000 | #Constraints: 34124
2479.53/2488.02 c #Conflicts: 1677000 | #Constraints: 35147
2479.53/2488.02 c #Conflicts: 1678000 | #Constraints: 36154
2479.53/2488.02 c #Conflicts: 1679000 | #Constraints: 37155
2479.53/2488.02 c #Conflicts: 1680000 | #Constraints: 38157
2479.53/2488.02 c #Conflicts: 1681000 | #Constraints: 39168
2479.53/2488.02 c #Conflicts: 1682000 | #Constraints: 40182
2479.53/2488.02 c #Conflicts: 1683000 | #Constraints: 41205
2479.53/2488.02 c #Conflicts: 1684000 | #Constraints: 42213
2479.53/2488.02 c #Conflicts: 1685000 | #Constraints: 43227
2479.53/2488.02 c #Conflicts: 1686000 | #Constraints: 44238
2479.53/2488.02 c #Conflicts: 1687000 | #Constraints: 45238
2479.53/2488.02 c #Conflicts: 1688000 | #Constraints: 46238
2479.53/2488.02 c #Conflicts: 1689000 | #Constraints: 47254
2479.53/2488.02 c #Conflicts: 1690000 | #Constraints: 48278
2479.53/2488.02 c #Conflicts: 1691000 | #Constraints: 49323
2479.53/2488.02 c #Conflicts: 1692000 | #Constraints: 50344
2479.53/2488.02 c #Conflicts: 1693000 | #Constraints: 51347
2479.53/2488.02 c #Conflicts: 1694000 | #Constraints: 52367
2479.53/2488.02 c INPROCESSING
2479.53/2488.02 c GARBAGE COLLECT
2479.53/2488.02 c rational objective 2.00258
2543.61/2552.35 c #Conflicts: 1695000 | #Constraints: 27201
2543.61/2552.35 c #Conflicts: 1696000 | #Constraints: 28226
2543.61/2552.35 c #Conflicts: 1697000 | #Constraints: 29229
2543.61/2552.35 c #Conflicts: 1698000 | #Constraints: 30238
2543.61/2552.35 c #Conflicts: 1699000 | #Constraints: 31268
2543.61/2552.35 c #Conflicts: 1700000 | #Constraints: 32285
2543.61/2552.35 c #Conflicts: 1701000 | #Constraints: 33293
2543.61/2552.35 c #Conflicts: 1702000 | #Constraints: 34298
2543.61/2552.35 c #Conflicts: 1703000 | #Constraints: 35298
2543.61/2552.35 c #Conflicts: 1704000 | #Constraints: 36304
2543.61/2552.35 c #Conflicts: 1705000 | #Constraints: 37307
2543.61/2552.35 c #Conflicts: 1706000 | #Constraints: 38329
2543.61/2552.35 c #Conflicts: 1707000 | #Constraints: 39340
2543.61/2552.35 c #Conflicts: 1708000 | #Constraints: 40348
2543.61/2552.35 c #Conflicts: 1709000 | #Constraints: 41366
2543.61/2552.35 c #Conflicts: 1710000 | #Constraints: 42392
2543.61/2552.35 c #Conflicts: 1711000 | #Constraints: 43404
2543.61/2552.35 c #Conflicts: 1712000 | #Constraints: 44405
2543.61/2552.35 c #Conflicts: 1713000 | #Constraints: 45405
2543.61/2552.35 c #Conflicts: 1714000 | #Constraints: 46420
2543.61/2552.35 c #Conflicts: 1715000 | #Constraints: 47441
2543.61/2552.35 c #Conflicts: 1716000 | #Constraints: 48454
2543.61/2552.35 c #Conflicts: 1717000 | #Constraints: 49479
2543.61/2552.35 c #Conflicts: 1718000 | #Constraints: 50510
2543.61/2552.35 c #Conflicts: 1719000 | #Constraints: 51538
2543.61/2552.35 c #Conflicts: 1720000 | #Constraints: 52566
2543.61/2552.35 c INPROCESSING
2543.61/2552.35 c GARBAGE COLLECT
2543.61/2552.35 c rational objective 2.10672
2611.00/2619.96 c #Conflicts: 1721000 | #Constraints: 27200
2611.00/2619.96 c #Conflicts: 1722000 | #Constraints: 28220
2611.00/2619.96 c #Conflicts: 1723000 | #Constraints: 29248
2611.00/2619.96 c #Conflicts: 1724000 | #Constraints: 30248
2611.00/2619.96 c #Conflicts: 1725000 | #Constraints: 31248
2611.00/2619.96 c #Conflicts: 1726000 | #Constraints: 32248
2611.00/2619.96 c #Conflicts: 1727000 | #Constraints: 33258
2611.00/2619.96 c #Conflicts: 1728000 | #Constraints: 34276
2611.00/2619.96 c #Conflicts: 1729000 | #Constraints: 35289
2611.00/2619.96 c #Conflicts: 1730000 | #Constraints: 36310
2611.00/2619.96 c #Conflicts: 1731000 | #Constraints: 37310
2611.00/2619.96 c #Conflicts: 1732000 | #Constraints: 38320
2611.00/2619.96 c #Conflicts: 1733000 | #Constraints: 39350
2611.00/2619.96 c #Conflicts: 1734000 | #Constraints: 40365
2611.00/2619.96 c #Conflicts: 1735000 | #Constraints: 41378
2611.00/2619.96 c #Conflicts: 1736000 | #Constraints: 42395
2611.00/2619.96 c #Conflicts: 1737000 | #Constraints: 43395
2611.00/2619.96 c #Conflicts: 1738000 | #Constraints: 44409
2611.00/2619.96 c #Conflicts: 1739000 | #Constraints: 45420
2611.00/2619.96 c #Conflicts: 1740000 | #Constraints: 46420
2611.00/2619.96 c #Conflicts: 1741000 | #Constraints: 47426
2611.00/2619.96 c #Conflicts: 1742000 | #Constraints: 48433
2611.00/2619.96 c #Conflicts: 1743000 | #Constraints: 49440
2611.00/2619.96 c #Conflicts: 1744000 | #Constraints: 50448
2611.00/2619.96 c #Conflicts: 1745000 | #Constraints: 51462
2611.00/2619.96 c #Conflicts: 1746000 | #Constraints: 52468
2611.00/2619.96 c INPROCESSING
2611.00/2619.96 c GARBAGE COLLECT
2611.00/2619.96 c rational objective 2
2684.25/2693.46 c #Conflicts: 1747000 | #Constraints: 26948
2684.25/2693.46 c #Conflicts: 1748000 | #Constraints: 27951
2684.25/2693.46 c #Conflicts: 1749000 | #Constraints: 28951
2684.25/2693.46 c #Conflicts: 1750000 | #Constraints: 29959
2684.25/2693.46 c #Conflicts: 1751000 | #Constraints: 30986
2684.25/2693.46 c #Conflicts: 1752000 | #Constraints: 32019
2684.25/2693.46 c #Conflicts: 1753000 | #Constraints: 33028
2684.25/2693.46 c #Conflicts: 1754000 | #Constraints: 34034
2684.25/2693.46 c #Conflicts: 1755000 | #Constraints: 35053
2684.25/2693.46 c #Conflicts: 1756000 | #Constraints: 36077
2684.25/2693.46 c #Conflicts: 1757000 | #Constraints: 37106
2684.25/2693.46 c #Conflicts: 1758000 | #Constraints: 38137
2684.25/2693.46 c #Conflicts: 1759000 | #Constraints: 39145
2684.25/2693.46 c #Conflicts: 1760000 | #Constraints: 40163
2684.25/2693.46 c #Conflicts: 1761000 | #Constraints: 41180
2684.25/2693.46 c #Conflicts: 1762000 | #Constraints: 42208
2684.25/2693.46 c #Conflicts: 1763000 | #Constraints: 43230
2684.25/2693.46 c #Conflicts: 1764000 | #Constraints: 44230
2684.25/2693.46 c #Conflicts: 1765000 | #Constraints: 45231
2684.25/2693.46 c #Conflicts: 1766000 | #Constraints: 46231
2684.25/2693.46 c #Conflicts: 1767000 | #Constraints: 47237
2684.25/2693.46 c #Conflicts: 1768000 | #Constraints: 48259
2684.25/2693.46 c #Conflicts: 1769000 | #Constraints: 49259
2684.25/2693.46 c #Conflicts: 1770000 | #Constraints: 50273
2684.25/2693.46 c #Conflicts: 1771000 | #Constraints: 51273
2684.25/2693.46 c #Conflicts: 1772000 | #Constraints: 52273
2684.25/2693.46 c #Conflicts: 1773000 | #Constraints: 53273
2684.25/2693.46 c INPROCESSING
2684.25/2693.46 c GARBAGE COLLECT
2684.25/2693.46 c rational objective 1.99998
2757.21/2766.60 c #Conflicts: 1774000 | #Constraints: 27568
2757.21/2766.60 c #Conflicts: 1775000 | #Constraints: 28574
2757.21/2766.60 c #Conflicts: 1776000 | #Constraints: 29594
2757.21/2766.60 c #Conflicts: 1777000 | #Constraints: 30608
2757.21/2766.60 c #Conflicts: 1778000 | #Constraints: 31625
2757.21/2766.60 c #Conflicts: 1779000 | #Constraints: 32628
2757.21/2766.60 c #Conflicts: 1780000 | #Constraints: 33628
2757.21/2766.60 c #Conflicts: 1781000 | #Constraints: 34643
2757.21/2766.60 c #Conflicts: 1782000 | #Constraints: 35659
2757.21/2766.60 c #Conflicts: 1783000 | #Constraints: 36664
2757.21/2766.60 c #Conflicts: 1784000 | #Constraints: 37691
2757.21/2766.60 c #Conflicts: 1785000 | #Constraints: 38709
2757.21/2766.60 c #Conflicts: 1786000 | #Constraints: 39735
2757.21/2766.60 c #Conflicts: 1787000 | #Constraints: 40765
2757.21/2766.60 c #Conflicts: 1788000 | #Constraints: 41780
2757.21/2766.60 c #Conflicts: 1789000 | #Constraints: 42791
2757.21/2766.60 c #Conflicts: 1790000 | #Constraints: 43795
2757.21/2766.60 c #Conflicts: 1791000 | #Constraints: 44829
2757.21/2766.60 c #Conflicts: 1792000 | #Constraints: 45851
2757.21/2766.60 c #Conflicts: 1793000 | #Constraints: 46874
2757.21/2766.60 c #Conflicts: 1794000 | #Constraints: 47883
2757.21/2766.60 c #Conflicts: 1795000 | #Constraints: 48883
2757.21/2766.60 c #Conflicts: 1796000 | #Constraints: 49883
2757.21/2766.60 c #Conflicts: 1797000 | #Constraints: 50886
2757.21/2766.60 c #Conflicts: 1798000 | #Constraints: 51933
2757.21/2766.60 c #Conflicts: 1799000 | #Constraints: 52973
2757.21/2766.60 c #Conflicts: 1800000 | #Constraints: 54038
2757.21/2766.60 c INPROCESSING
2757.21/2766.60 c GARBAGE COLLECT
2757.21/2766.60 c rational objective 2.00008
2836.95/2846.69 c #Conflicts: 1801000 | #Constraints: 28029
2836.95/2846.69 c #Conflicts: 1802000 | #Constraints: 29029
2836.95/2846.69 c #Conflicts: 1803000 | #Constraints: 30063
2836.95/2846.69 c #Conflicts: 1804000 | #Constraints: 31078
2836.95/2846.69 c #Conflicts: 1805000 | #Constraints: 32100
2836.95/2846.69 c #Conflicts: 1806000 | #Constraints: 33100
2836.95/2846.69 c #Conflicts: 1807000 | #Constraints: 34100
2836.95/2846.69 c #Conflicts: 1808000 | #Constraints: 35100
2836.95/2846.69 c #Conflicts: 1809000 | #Constraints: 36100
2836.95/2846.69 c #Conflicts: 1810000 | #Constraints: 37118
2836.95/2846.69 c #Conflicts: 1811000 | #Constraints: 38143
2836.95/2846.69 c #Conflicts: 1812000 | #Constraints: 39143
2836.95/2846.69 c #Conflicts: 1813000 | #Constraints: 40143
2836.95/2846.69 c #Conflicts: 1814000 | #Constraints: 41143
2836.95/2846.69 c #Conflicts: 1815000 | #Constraints: 42143
2836.95/2846.69 c #Conflicts: 1816000 | #Constraints: 43165
2836.95/2846.69 c #Conflicts: 1817000 | #Constraints: 44201
2836.95/2846.69 c #Conflicts: 1818000 | #Constraints: 45212
2836.95/2846.69 c #Conflicts: 1819000 | #Constraints: 46212
2836.95/2846.69 c #Conflicts: 1820000 | #Constraints: 47240
2836.95/2846.69 c #Conflicts: 1821000 | #Constraints: 48253
2836.95/2846.69 c #Conflicts: 1822000 | #Constraints: 49257
2836.95/2846.69 c #Conflicts: 1823000 | #Constraints: 50285
2836.95/2846.69 c #Conflicts: 1824000 | #Constraints: 51303
2836.95/2846.69 c #Conflicts: 1825000 | #Constraints: 52321
2836.95/2846.69 c #Conflicts: 1826000 | #Constraints: 53329
2836.95/2846.69 c #Conflicts: 1827000 | #Constraints: 54345
2836.95/2846.69 c INPROCESSING
2836.95/2846.69 c GARBAGE COLLECT
2836.95/2846.69 c rational objective 2.08919
2911.22/2921.16 c #Conflicts: 1828000 | #Constraints: 28178
2911.22/2921.16 c #Conflicts: 1829000 | #Constraints: 29192
2911.22/2921.16 c #Conflicts: 1830000 | #Constraints: 30213
2911.22/2921.16 c #Conflicts: 1831000 | #Constraints: 31242
2911.22/2921.16 c #Conflicts: 1832000 | #Constraints: 32265
2911.22/2921.16 c #Conflicts: 1833000 | #Constraints: 33282
2911.22/2921.16 c #Conflicts: 1834000 | #Constraints: 34291
2911.22/2921.16 c #Conflicts: 1835000 | #Constraints: 35291
2911.22/2921.16 c #Conflicts: 1836000 | #Constraints: 36306
2911.22/2921.16 c #Conflicts: 1837000 | #Constraints: 37357
2911.22/2921.16 c #Conflicts: 1838000 | #Constraints: 38384
2911.22/2921.16 c #Conflicts: 1839000 | #Constraints: 39413
2911.22/2921.16 c #Conflicts: 1840000 | #Constraints: 40449
2911.22/2921.16 c #Conflicts: 1841000 | #Constraints: 41482
2911.22/2921.16 c #Conflicts: 1842000 | #Constraints: 42501
2911.22/2921.16 c #Conflicts: 1843000 | #Constraints: 43516
2911.22/2921.16 c #Conflicts: 1844000 | #Constraints: 44546
2911.22/2921.16 c #Conflicts: 1845000 | #Constraints: 45549
2911.22/2921.16 c #Conflicts: 1846000 | #Constraints: 46567
2911.22/2921.16 c #Conflicts: 1847000 | #Constraints: 47584
2911.22/2921.16 c #Conflicts: 1848000 | #Constraints: 48630
2911.22/2921.16 c #Conflicts: 1849000 | #Constraints: 49650
2911.22/2921.16 c #Conflicts: 1850000 | #Constraints: 50673
2911.22/2921.16 c #Conflicts: 1851000 | #Constraints: 51684
2911.22/2921.16 c #Conflicts: 1852000 | #Constraints: 52684
2911.22/2921.16 c #Conflicts: 1853000 | #Constraints: 53684
2911.22/2921.16 c #Conflicts: 1854000 | #Constraints: 54699
2911.22/2921.16 c INPROCESSING
2911.22/2921.16 c GARBAGE COLLECT
2911.22/2921.16 c rational objective 2.09037
2992.55/3002.72 c #Conflicts: 1855000 | #Constraints: 28256
2992.55/3002.72 c #Conflicts: 1856000 | #Constraints: 29256
2992.55/3002.72 c #Conflicts: 1857000 | #Constraints: 30274
2992.55/3002.72 c #Conflicts: 1858000 | #Constraints: 31284
2992.55/3002.72 c #Conflicts: 1859000 | #Constraints: 32284
2992.55/3002.72 c #Conflicts: 1860000 | #Constraints: 33284
2992.55/3002.72 c #Conflicts: 1861000 | #Constraints: 34299
2992.55/3002.72 c #Conflicts: 1862000 | #Constraints: 35310
2992.55/3002.72 c #Conflicts: 1863000 | #Constraints: 36328
2992.55/3002.72 c #Conflicts: 1864000 | #Constraints: 37328
2992.55/3002.72 c #Conflicts: 1865000 | #Constraints: 38328
2992.55/3002.72 c #Conflicts: 1866000 | #Constraints: 39338
2992.55/3002.72 c #Conflicts: 1867000 | #Constraints: 40338
2992.55/3002.72 c #Conflicts: 1868000 | #Constraints: 41340
2992.55/3002.72 c #Conflicts: 1869000 | #Constraints: 42358
2992.55/3002.72 c #Conflicts: 1870000 | #Constraints: 43368
2992.55/3002.72 c #Conflicts: 1871000 | #Constraints: 44383
2992.55/3002.72 c #Conflicts: 1872000 | #Constraints: 45390
2992.55/3002.72 c #Conflicts: 1873000 | #Constraints: 46390
2992.55/3002.72 c #Conflicts: 1874000 | #Constraints: 47400
2992.55/3002.72 c #Conflicts: 1875000 | #Constraints: 48412
2992.55/3002.72 c #Conflicts: 1876000 | #Constraints: 49421
2992.55/3002.72 c #Conflicts: 1877000 | #Constraints: 50438
2992.55/3002.72 c #Conflicts: 1878000 | #Constraints: 51454
2992.55/3002.72 c #Conflicts: 1879000 | #Constraints: 52463
2992.55/3002.72 c #Conflicts: 1880000 | #Constraints: 53463
2992.55/3002.72 c #Conflicts: 1881000 | #Constraints: 54465
2992.55/3002.72 c INPROCESSING
2992.55/3002.72 c GARBAGE COLLECT
2992.55/3002.72 c rational objective 2.09236
3063.01/3073.43 c #Conflicts: 1882000 | #Constraints: 27938
3063.01/3073.43 c #Conflicts: 1883000 | #Constraints: 28956
3063.01/3073.43 c #Conflicts: 1884000 | #Constraints: 29968
3063.01/3073.43 c #Conflicts: 1885000 | #Constraints: 30976
3063.01/3073.43 c #Conflicts: 1886000 | #Constraints: 31986
3063.01/3073.43 c #Conflicts: 1887000 | #Constraints: 32986
3063.01/3073.43 c #Conflicts: 1888000 | #Constraints: 33989
3063.01/3073.43 c #Conflicts: 1889000 | #Constraints: 34989
3063.01/3073.43 c #Conflicts: 1890000 | #Constraints: 35994
3063.01/3073.43 c #Conflicts: 1891000 | #Constraints: 37019
3063.01/3073.43 c #Conflicts: 1892000 | #Constraints: 38047
3063.01/3073.43 c #Conflicts: 1893000 | #Constraints: 39068
3063.01/3073.43 c #Conflicts: 1894000 | #Constraints: 40079
3063.01/3073.43 c #Conflicts: 1895000 | #Constraints: 41084
3063.01/3073.43 c #Conflicts: 1896000 | #Constraints: 42084
3063.01/3073.43 c #Conflicts: 1897000 | #Constraints: 43108
3063.01/3073.43 c #Conflicts: 1898000 | #Constraints: 44125
3063.01/3073.43 c #Conflicts: 1899000 | #Constraints: 45125
3063.01/3073.43 c #Conflicts: 1900000 | #Constraints: 46130
3063.01/3073.43 c #Conflicts: 1901000 | #Constraints: 47145
3063.01/3073.43 c #Conflicts: 1902000 | #Constraints: 48145
3063.01/3073.43 c #Conflicts: 1903000 | #Constraints: 49176
3063.01/3073.43 c #Conflicts: 1904000 | #Constraints: 50196
3063.01/3073.43 c #Conflicts: 1905000 | #Constraints: 51206
3063.01/3073.43 c #Conflicts: 1906000 | #Constraints: 52208
3063.01/3073.43 c #Conflicts: 1907000 | #Constraints: 53208
3063.01/3073.43 c #Conflicts: 1908000 | #Constraints: 54228
3063.01/3073.43 c #Conflicts: 1909000 | #Constraints: 55244
3063.01/3073.43 c INPROCESSING
3063.01/3073.43 c GARBAGE COLLECT
3063.01/3073.43 c rational objective 2.09309
3209.09/3219.98 c #Conflicts: 1910000 | #Constraints: 28548
3209.09/3219.98 c #Conflicts: 1911000 | #Constraints: 29563
3209.09/3219.98 c #Conflicts: 1912000 | #Constraints: 30572
3209.09/3219.98 c #Conflicts: 1913000 | #Constraints: 31573
3209.09/3219.98 c #Conflicts: 1914000 | #Constraints: 32573
3209.09/3219.98 c #Conflicts: 1915000 | #Constraints: 33580
3209.09/3219.98 c #Conflicts: 1916000 | #Constraints: 34588
3209.09/3219.98 c #Conflicts: 1917000 | #Constraints: 35601
3209.09/3219.98 c #Conflicts: 1918000 | #Constraints: 36624
3209.09/3219.98 c #Conflicts: 1919000 | #Constraints: 37645
3209.09/3219.98 c #Conflicts: 1920000 | #Constraints: 38668
3209.09/3219.98 c #Conflicts: 1921000 | #Constraints: 39678
3209.09/3219.98 c #Conflicts: 1922000 | #Constraints: 40699
3209.09/3219.98 c #Conflicts: 1923000 | #Constraints: 41709
3209.09/3219.98 c #Conflicts: 1924000 | #Constraints: 42723
3209.09/3219.98 c #Conflicts: 1925000 | #Constraints: 43723
3209.09/3219.98 c #Conflicts: 1926000 | #Constraints: 44725
3209.09/3219.98 c #Conflicts: 1927000 | #Constraints: 45747
3209.09/3219.98 c #Conflicts: 1928000 | #Constraints: 46786
3209.09/3219.98 c #Conflicts: 1929000 | #Constraints: 47801
3209.09/3219.98 c #Conflicts: 1930000 | #Constraints: 48814
3209.09/3219.98 c #Conflicts: 1931000 | #Constraints: 49838
3209.09/3219.98 c #Conflicts: 1932000 | #Constraints: 50850
3209.09/3219.98 c #Conflicts: 1933000 | #Constraints: 51871
3209.09/3219.98 c #Conflicts: 1934000 | #Constraints: 52891
3209.09/3219.98 c #Conflicts: 1935000 | #Constraints: 53902
3209.09/3219.98 c #Conflicts: 1936000 | #Constraints: 54921
3209.09/3219.98 c #Conflicts: 1937000 | #Constraints: 55940
3209.09/3219.98 c INPROCESSING
3209.09/3219.98 c GARBAGE COLLECT
3209.09/3219.98 c #Conflicts: 1938000 | #Constraints: 28979
3209.09/3219.98 c #Conflicts: 1939000 | #Constraints: 30005
3209.09/3219.98 c #Conflicts: 1940000 | #Constraints: 31010
3209.09/3219.98 c #Conflicts: 1941000 | #Constraints: 32049
3209.09/3219.98 c #Conflicts: 1942000 | #Constraints: 33077
3209.09/3219.98 c #Conflicts: 1943000 | #Constraints: 34077
3209.09/3219.98 c #Conflicts: 1944000 | #Constraints: 35077
3209.09/3219.98 c #Conflicts: 1945000 | #Constraints: 36107
3209.09/3219.98 c #Conflicts: 1946000 | #Constraints: 37121
3209.09/3219.98 c #Conflicts: 1947000 | #Constraints: 38125
3209.09/3219.98 c #Conflicts: 1948000 | #Constraints: 39125
3209.09/3219.98 c #Conflicts: 1949000 | #Constraints: 40125
3209.09/3219.98 c #Conflicts: 1950000 | #Constraints: 41142
3209.09/3219.98 c #Conflicts: 1951000 | #Constraints: 42142
3209.09/3219.98 c #Conflicts: 1952000 | #Constraints: 43156
3209.09/3219.98 c #Conflicts: 1953000 | #Constraints: 44198
3209.09/3219.98 c #Conflicts: 1954000 | #Constraints: 45198
3209.09/3219.98 c #Conflicts: 1955000 | #Constraints: 46198
3209.09/3219.98 c #Conflicts: 1956000 | #Constraints: 47200
3209.09/3219.98 c #Conflicts: 1957000 | #Constraints: 48200
3209.09/3219.98 c #Conflicts: 1958000 | #Constraints: 49202
3209.09/3219.98 c #Conflicts: 1959000 | #Constraints: 50202
3209.09/3219.98 c #Conflicts: 1960000 | #Constraints: 51215
3209.09/3219.98 c #Conflicts: 1961000 | #Constraints: 52215
3209.09/3219.98 c #Conflicts: 1962000 | #Constraints: 53215
3209.09/3219.98 c #Conflicts: 1963000 | #Constraints: 54215
3209.09/3219.98 c #Conflicts: 1964000 | #Constraints: 55235
3209.09/3219.98 c #Conflicts: 1965000 | #Constraints: 56266
3209.09/3219.98 c INPROCESSING
3209.09/3219.98 c GARBAGE COLLECT
3209.09/3219.98 c rational objective 2.0931
3293.13/3304.21 c #Conflicts: 1966000 | #Constraints: 29150
3293.13/3304.21 c #Conflicts: 1967000 | #Constraints: 30163
3293.13/3304.21 c #Conflicts: 1968000 | #Constraints: 31163
3293.13/3304.21 c #Conflicts: 1969000 | #Constraints: 32174
3293.13/3304.21 c #Conflicts: 1970000 | #Constraints: 33193
3293.13/3304.21 c #Conflicts: 1971000 | #Constraints: 34206
3293.13/3304.21 c #Conflicts: 1972000 | #Constraints: 35214
3293.13/3304.21 c #Conflicts: 1973000 | #Constraints: 36236
3293.13/3304.21 c #Conflicts: 1974000 | #Constraints: 37254
3293.13/3304.21 c #Conflicts: 1975000 | #Constraints: 38274
3293.13/3304.21 c #Conflicts: 1976000 | #Constraints: 39295
3293.13/3304.21 c #Conflicts: 1977000 | #Constraints: 40330
3293.13/3304.21 c #Conflicts: 1978000 | #Constraints: 41350
3293.13/3304.21 c #Conflicts: 1979000 | #Constraints: 42350
3293.13/3304.21 c #Conflicts: 1980000 | #Constraints: 43350
3293.13/3304.21 c #Conflicts: 1981000 | #Constraints: 44356
3293.13/3304.21 c #Conflicts: 1982000 | #Constraints: 45373
3293.13/3304.21 c #Conflicts: 1983000 | #Constraints: 46387
3293.13/3304.21 c #Conflicts: 1984000 | #Constraints: 47399
3293.13/3304.21 c #Conflicts: 1985000 | #Constraints: 48399
3293.13/3304.21 c #Conflicts: 1986000 | #Constraints: 49400
3293.13/3304.21 c #Conflicts: 1987000 | #Constraints: 50400
3293.13/3304.21 c #Conflicts: 1988000 | #Constraints: 51409
3293.13/3304.21 c #Conflicts: 1989000 | #Constraints: 52409
3293.13/3304.21 c #Conflicts: 1990000 | #Constraints: 53409
3293.13/3304.21 c #Conflicts: 1991000 | #Constraints: 54422
3293.13/3304.21 c #Conflicts: 1992000 | #Constraints: 55441
3293.13/3304.21 c #Conflicts: 1993000 | #Constraints: 56441
3293.13/3304.21 c INPROCESSING
3293.13/3304.21 c GARBAGE COLLECT
3293.13/3304.21 c rational objective 2.00153
3371.29/3382.69 c #Conflicts: 1994000 | #Constraints: 29135
3371.29/3382.69 c #Conflicts: 1995000 | #Constraints: 30141
3371.29/3382.69 c #Conflicts: 1996000 | #Constraints: 31157
3371.29/3382.69 c #Conflicts: 1997000 | #Constraints: 32195
3371.29/3382.69 c #Conflicts: 1998000 | #Constraints: 33226
3371.29/3382.69 c #Conflicts: 1999000 | #Constraints: 34233
3371.29/3382.69 c #Conflicts: 2000000 | #Constraints: 35242
3371.29/3382.69 c #Conflicts: 2001000 | #Constraints: 36267
3371.29/3382.69 c #Conflicts: 2002000 | #Constraints: 37301
3371.29/3382.69 c #Conflicts: 2003000 | #Constraints: 38341
3371.29/3382.69 c #Conflicts: 2004000 | #Constraints: 39343
3371.29/3382.69 c #Conflicts: 2005000 | #Constraints: 40365
3371.29/3382.69 c #Conflicts: 2006000 | #Constraints: 41365
3371.29/3382.69 c #Conflicts: 2007000 | #Constraints: 42370
3371.29/3382.69 c #Conflicts: 2008000 | #Constraints: 43388
3371.29/3382.69 c #Conflicts: 2009000 | #Constraints: 44388
3371.29/3382.69 c #Conflicts: 2010000 | #Constraints: 45388
3371.29/3382.69 c #Conflicts: 2011000 | #Constraints: 46405
3371.29/3382.69 c #Conflicts: 2012000 | #Constraints: 47436
3371.29/3382.69 c #Conflicts: 2013000 | #Constraints: 48441
3371.29/3382.69 c #Conflicts: 2014000 | #Constraints: 49441
3371.29/3382.69 c #Conflicts: 2015000 | #Constraints: 50441
3371.29/3382.69 c #Conflicts: 2016000 | #Constraints: 51441
3371.29/3382.69 c #Conflicts: 2017000 | #Constraints: 52441
3371.29/3382.69 c #Conflicts: 2018000 | #Constraints: 53441
3371.29/3382.69 c #Conflicts: 2019000 | #Constraints: 54442
3371.29/3382.69 c #Conflicts: 2020000 | #Constraints: 55448
3371.29/3382.69 c #Conflicts: 2021000 | #Constraints: 56474
3371.29/3382.69 c INPROCESSING
3371.29/3382.69 c GARBAGE COLLECT
3371.29/3382.69 c rational objective 1.73084
3459.96/3471.63 c #Conflicts: 2022000 | #Constraints: 28977
3459.96/3471.63 c #Conflicts: 2023000 | #Constraints: 30027
3459.96/3471.63 c #Conflicts: 2024000 | #Constraints: 31027
3459.96/3471.63 c #Conflicts: 2025000 | #Constraints: 32027
3459.96/3471.63 c #Conflicts: 2026000 | #Constraints: 33027
3459.96/3471.63 c #Conflicts: 2027000 | #Constraints: 34027
3459.96/3471.63 c #Conflicts: 2028000 | #Constraints: 35057
3459.96/3471.63 c #Conflicts: 2029000 | #Constraints: 36058
3459.96/3471.63 c #Conflicts: 2030000 | #Constraints: 37058
3459.96/3471.63 c #Conflicts: 2031000 | #Constraints: 38061
3459.96/3471.63 c #Conflicts: 2032000 | #Constraints: 39080
3459.96/3471.63 c #Conflicts: 2033000 | #Constraints: 40094
3459.96/3471.63 c #Conflicts: 2034000 | #Constraints: 41124
3459.96/3471.63 c #Conflicts: 2035000 | #Constraints: 42124
3459.96/3471.63 c #Conflicts: 2036000 | #Constraints: 43124
3459.96/3471.63 c #Conflicts: 2037000 | #Constraints: 44124
3459.96/3471.63 c #Conflicts: 2038000 | #Constraints: 45124
3459.96/3471.63 c #Conflicts: 2039000 | #Constraints: 46127
3459.96/3471.63 c #Conflicts: 2040000 | #Constraints: 47181
3459.96/3471.63 c #Conflicts: 2041000 | #Constraints: 48181
3459.96/3471.63 c #Conflicts: 2042000 | #Constraints: 49181
3459.96/3471.63 c #Conflicts: 2043000 | #Constraints: 50183
3459.96/3471.63 c #Conflicts: 2044000 | #Constraints: 51244
3459.96/3471.63 c #Conflicts: 2045000 | #Constraints: 52258
3459.96/3471.63 c #Conflicts: 2046000 | #Constraints: 53317
3459.96/3471.63 c #Conflicts: 2047000 | #Constraints: 54317
3459.96/3471.63 c #Conflicts: 2048000 | #Constraints: 55332
3459.96/3471.63 c #Conflicts: 2049000 | #Constraints: 56341
3459.96/3471.63 c #Conflicts: 2050000 | #Constraints: 57341
3459.96/3471.63 c INPROCESSING
3459.96/3471.63 c GARBAGE COLLECT
3459.96/3471.63 c rational objective 1.73084
3545.47/3557.46 c #Conflicts: 2051000 | #Constraints: 29628
3545.47/3557.46 c #Conflicts: 2052000 | #Constraints: 30631
3545.47/3557.46 c #Conflicts: 2053000 | #Constraints: 31631
3545.47/3557.46 c #Conflicts: 2054000 | #Constraints: 32631
3545.47/3557.46 c #Conflicts: 2055000 | #Constraints: 33646
3545.47/3557.46 c #Conflicts: 2056000 | #Constraints: 34655
3545.47/3557.46 c #Conflicts: 2057000 | #Constraints: 35702
3545.47/3557.46 c #Conflicts: 2058000 | #Constraints: 36705
3545.47/3557.46 c #Conflicts: 2059000 | #Constraints: 37751
3545.47/3557.46 c #Conflicts: 2060000 | #Constraints: 38794
3545.47/3557.46 c #Conflicts: 2061000 | #Constraints: 39794
3545.47/3557.46 c #Conflicts: 2062000 | #Constraints: 40794
3545.47/3557.46 c #Conflicts: 2063000 | #Constraints: 41823
3545.47/3557.46 c #Conflicts: 2064000 | #Constraints: 42836
3545.47/3557.46 c #Conflicts: 2065000 | #Constraints: 43840
3545.47/3557.46 c #Conflicts: 2066000 | #Constraints: 44899
3545.47/3557.46 c #Conflicts: 2067000 | #Constraints: 45938
3545.47/3557.46 c #Conflicts: 2068000 | #Constraints: 46984
3545.47/3557.46 c #Conflicts: 2069000 | #Constraints: 47989
3545.47/3557.46 c #Conflicts: 2070000 | #Constraints: 48996
3545.47/3557.46 c #Conflicts: 2071000 | #Constraints: 50017
3545.47/3557.46 c #Conflicts: 2072000 | #Constraints: 51101
3545.47/3557.46 c #Conflicts: 2073000 | #Constraints: 52171
3545.47/3557.46 c #Conflicts: 2074000 | #Constraints: 53257
3545.47/3557.46 c #Conflicts: 2075000 | #Constraints: 54306
3545.47/3557.46 c #Conflicts: 2076000 | #Constraints: 55363
3545.47/3557.46 c #Conflicts: 2077000 | #Constraints: 56396
3545.47/3557.46 c #Conflicts: 2078000 | #Constraints: 57396
3545.47/3557.46 c #Conflicts: 2079000 | #Constraints: 58404
3545.47/3557.46 c INPROCESSING
3545.47/3557.46 c GARBAGE COLLECT
3545.47/3557.46 c rational objective 1.76102
3600.08/3612.20 c #Conflicts: 2080000 | #Constraints: 30275
3600.08/3612.20 c #Conflicts: 2081000 | #Constraints: 31295
3600.08/3612.20 c #Conflicts: 2082000 | #Constraints: 32306
3600.08/3612.20 c #Conflicts: 2083000 | #Constraints: 33306
3600.08/3612.20 c #Conflicts: 2084000 | #Constraints: 34322
3600.08/3612.20 c #Conflicts: 2085000 | #Constraints: 35340
3600.08/3612.20 c #Conflicts: 2086000 | #Constraints: 36403
3600.08/3612.20 c #Conflicts: 2087000 | #Constraints: 37403
3600.08/3612.20 c #Conflicts: 2088000 | #Constraints: 38429
3600.08/3612.20 c #Conflicts: 2089000 | #Constraints: 39429
3600.08/3612.20 c #Conflicts: 2090000 | #Constraints: 40432
3600.08/3612.20 c #Conflicts: 2091000 | #Constraints: 41432
3600.08/3612.20 c #Conflicts: 2092000 | #Constraints: 42466
3600.08/3612.20 c #Conflicts: 2093000 | #Constraints: 43500
3600.08/3612.20 c #Conflicts: 2094000 | #Constraints: 44500
3600.08/3612.20 c #Conflicts: 2095000 | #Constraints: 45532
3600.08/3612.20 c #Conflicts: 2096000 | #Constraints: 46558
3600.08/3612.20 c #Conflicts: 2097000 | #Constraints: 47558
3600.08/3612.20 c #Conflicts: 2098000 | #Constraints: 48584
3600.08/3612.20 c #Conflicts: 2099000 | #Constraints: 49621
3600.08/3612.20 c #Conflicts: 2100000 | #Constraints: 50621
3600.08/3612.20 c Disabling crashed LP
3600.08/3612.20 c cpu time 3582.51 s
3600.08/3612.20 c deterministic time 875849619949 8.76e+11
3600.08/3612.20 c optimization time 54.3654 s
3600.08/3612.20 c total solve time 3528.14 s
3600.08/3612.20 c core-guided solve time 0 s
3600.08/3612.20 c propagation time 3352.11 s
3600.08/3612.20 c conflict analysis time 203.494 s
3600.08/3612.20 c propagations 15652008
3600.08/3612.20 c resolve steps 7300012
3600.08/3612.20 c decisions 3099587
3600.08/3612.20 c conflicts 2100860
3600.08/3612.20 c restarts 4091
3600.08/3612.20 c inprocessing phases 135
3600.08/3612.20 c garbage collections 135 ,( 100.00 )
3600.08/3612.20 c input clauses 0 ,( 0.00 )
3600.08/3612.20 c input cardinalities 0 ,( 0.00 )
3600.08/3612.20 c input general constraints 2 ,( 100.00 )
3600.08/3612.20 c input average constraint length 70.00
3600.08/3612.20 c input average constraint degree 388008603.50
3600.08/3612.20 c learned clauses 1178862 ,( 55.37 )
3600.08/3612.20 c learned cardinalities 4 ,( 0.00 )
3600.08/3612.20 c learned general constraints 950366 ,( 44.63 )
3600.08/3612.20 c learned average constraint length 47.81
3600.08/3612.20 c learned average constraint degree 58139793.82
3600.08/3612.20 c watched CF 32, 64, 128, Arb: 196727 , 0 , 0 , 0
3600.08/3612.20 c counting CF 32, 64, 128, Arb: 753641 , 0 , 0 , 0
3600.08/3612.20 c watched constraints 196727 ,( 20.70 )
3600.08/3612.20 c counting constraints 753641 ,( 79.30 )
3600.08/3612.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 141698112 , 686 , 59794267290 ,( 326708583 , 59467558707 )
3600.08/3612.20 c gcd simplifications 1254666
3600.08/3612.20 c detected cardinalities 3
3600.08/3612.20 c weakened non-implied lits 7630740
3600.08/3612.20 c weakened non-implying lits 16610844
3600.08/3612.20 c original variables 70
3600.08/3612.20 c clausal propagations 1774590
3600.08/3612.20 c cardinality propagations 4
3600.08/3612.20 c watched propagations 679928
3600.08/3612.20 c counting propagations 10955997
3600.08/3612.20 c watch lookups 62731413943
3600.08/3612.20 c watch backjump lookups 0
3600.08/3612.20 c watch checks 3360387262
3600.08/3612.20 c propagation checks 809195073497
3600.08/3612.20 c constraint additions 522928075
3600.08/3612.20 c trail pops 20852387
3600.08/3612.20 c formula constraints 2
3600.08/3612.20 c learned constraints 2100860
3600.08/3612.20 c bound constraints 0
3600.08/3612.20 c core-guided constraints 0
3600.08/3612.20 c encountered formula constraints 4935230
3600.08/3612.20 c encountered learned constraints 4465595
3600.08/3612.20 c encountered bound constraints 0
3600.08/3612.20 c encountered core-guided constraints 0
3600.08/3612.20 c LP total time 23.6776 s
3600.08/3612.20 c LP solve time 15.92 s
3600.08/3612.20 c LP constraints added 134
3600.08/3612.20 c LP constraints removed 126
3600.08/3612.20 c LP pivots internal 210086
3600.08/3612.20 c LP pivots root 3103
3600.08/3612.20 c LP calls 119495
3600.08/3612.20 c LP optimalities 90582
3600.08/3612.20 c LP no pivot count 14643
3600.08/3612.20 c LP infeasibilities 28590
3600.08/3612.20 c LP valid Farkas constraints 28306
3600.08/3612.20 c LP learned Farkas constraints 0
3600.08/3612.20 c LP basis resets 323
3600.08/3612.20 c LP cycling count 256
3600.08/3612.20 c LP singular count 59
3600.08/3612.20 c LP no primal count 0
3600.08/3612.20 c LP no farkas count 0
3600.08/3612.20 c LP other issue count 8
3600.08/3612.20 c LP Gomory cuts 66
3600.08/3612.20 c LP learned cuts 66
3600.08/3612.20 c LP deleted cuts 126
3600.08/3612.20 c LP encountered Gomory constraints 0
3600.08/3612.20 c LP encountered Farkas constraints 47
3600.08/3612.20 c LP encountered learned Farkas constraints 0
3600.08/3612.20 c CG auxiliary variables introduced 0
3600.08/3612.20 c CG solutions found 0
3600.08/3612.20 c CG cores constructed 0
3600.08/3612.20 c CG core cardinality constraints returned 0
3600.08/3612.20 c CG unit cores 0
3600.08/3612.20 c CG single cores 0
3600.08/3612.20 c CG blocks removed during cardinality reduction 0
3600.08/3612.20 c CG first core best 0
3600.08/3612.20 c CG decision core best 0
3600.08/3612.20 c CG core reduction tie 0
3600.08/3612.20 c CG core degree average 0.00
3600.08/3612.20 c CG core slack average 0.00
3600.08/3612.20 c CG core upper bound improvements 0
3600.08/3612.20 c STR number of successful calls 0
3600.08/3612.20 c STR number of unsuccessful calls 0
3600.08/3612.20 c STR number of inconclusive calls 0
3600.08/3612.20 c STR number of successful attempts 0
3600.08/3612.20 c STR number of unsuccessful attempts 0
3600.08/3612.20 c STR number of inconclusive attempts 0
3600.08/3612.20 c STR average degree increase per successful call inf
3600.08/3612.20 c STR average degree increase per successful attempt inf
3600.08/3612.20 c STR total number of conflicts for successful attempts 0
3600.08/3612.20 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3612.20 c STR total number of conflicts for inconclusive attempts 0
3600.08/3612.20 c STR average number of conflicts per successful attempt inf
3600.08/3612.20 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3612.20 c STR average number of conflicts per inconclusive attempt inf
3600.08/3612.20 c AVG.sumWPerc 68.56
3600.08/3612.20 c bigint constraints 0
3600.08/3612.20 s UNKNOWN
3600.08/3612.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62384 MiB free)
memory of node 1: 64507 MiB (63896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495856-1751157565/watcher-4495856-1751157565 -o /tmp/evaluation-result-4495856-1751157565/solver-4495856-1751157565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751157406-17444 --watchdog 3760 run-dec.sh HOME/instance-4495856-1751157565.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=19118, runsolver pid=19115
[startup+0.100108 s]*
/proc/loadavg: 3.85 2.47 2.71 5/259 19120
/proc/meminfo: memFree=129312384/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=55944 memory=12752 CPUtime=0.08 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 559 0 0 0 8 0 0 0 20 0 1 0 31435359 57286656 3188 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 13986 3188 2336 1147 0 1413 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60136 KiB
Current children cumulated memory: 15696 KiB
[startup+0.213804 s]*
/proc/loadavg: 3.85 2.47 2.71 5/259 19120
/proc/meminfo: memFree=129312384/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=56076 memory=12880 CPUtime=0.2 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 599 0 0 0 19 1 0 0 20 0 1 0 31435359 57421824 3220 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 14019 3220 2336 1147 0 1446 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60268 KiB
Current children cumulated memory: 15824 KiB
[startup+0.313337 s]*
/proc/loadavg: 3.85 2.47 2.71 5/259 19120
/proc/meminfo: memFree=129312384/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=56484 memory=13264 CPUtime=0.3 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 696 0 0 0 28 2 0 0 20 0 1 0 31435359 57839616 3316 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 14121 3316 2336 1147 0 1548 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60676 KiB
Current children cumulated memory: 16208 KiB
[startup+0.700344 s]
/proc/loadavg: 3.85 2.47 2.71 5/259 19120
/proc/meminfo: memFree=129312384/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=57184 memory=13904 CPUtime=0.67 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 842 0 0 0 63 4 0 0 20 0 1 0 31435359 58556416 3476 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 14296 3476 2336 1147 0 1723 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 61376 KiB
Current children cumulated memory: 16848 KiB
[startup+1.5003 s]
/proc/loadavg: 3.85 2.47 2.71 5/259 19120
/proc/meminfo: memFree=129312384/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=58224 memory=14928 CPUtime=1.46 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 1110 0 0 0 140 6 0 0 20 0 1 0 31435359 59621376 3732 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 14556 3732 2336 1147 0 1983 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 62416 KiB
Current children cumulated memory: 17872 KiB
[startup+3.11317 s]
/proc/loadavg: 3.85 2.47 2.71 5/259 19120
/proc/meminfo: memFree=129310620/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=59920 memory=16336 CPUtime=3.08 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 1480 0 0 0 296 12 0 0 20 0 1 0 31435359 61358080 4084 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 14980 4084 2336 1147 0 2407 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64112 KiB
Current children cumulated memory: 19280 KiB
[startup+6.30038 s]
/proc/loadavg: 3.86 2.50 2.72 5/259 19120
/proc/meminfo: memFree=129309108/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=61524 memory=17616 CPUtime=6.25 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 1775 0 0 0 605 20 0 0 20 0 1 0 31435359 63000576 4404 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 15381 4404 2336 1147 0 2808 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 65716 KiB
Current children cumulated memory: 20560 KiB
[startup+12.7004 s]
/proc/loadavg: 3.87 2.52 2.73 5/259 19120
/proc/meminfo: memFree=129307092/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=62488 memory=20456 CPUtime=12.63 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 1997 0 0 0 1227 36 0 0 20 0 1 0 31435359 63987712 5114 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 15622 5114 2336 1147 0 3049 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 66680 KiB
Current children cumulated memory: 23400 KiB
[startup+25.5004 s]
/proc/loadavg: 3.90 2.60 2.75 5/259 19120
/proc/meminfo: memFree=129303508/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=63448 memory=22248 CPUtime=25.4 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 2378 0 0 0 2479 61 0 0 20 0 1 0 31435359 64970752 5562 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 15862 5562 2432 1147 0 3289 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 67640 KiB
Current children cumulated memory: 25192 KiB
[startup+51.1131 s]
/proc/loadavg: 3.94 2.71 2.78 6/259 19120
/proc/meminfo: memFree=129308140/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=65800 memory=24040 CPUtime=50.95 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 2938 0 0 0 4992 103 0 0 20 0 1 0 31435359 67379200 6010 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 16450 6010 2432 1147 0 3877 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 69992 KiB
Current children cumulated memory: 26984 KiB
[startup+102.3 s]
/proc/loadavg: 4.01 2.93 2.85 5/259 19122
/proc/meminfo: memFree=129277136/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=72876 memory=29392 CPUtime=101.96 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 4405 0 0 0 10025 171 0 0 20 0 1 0 31435359 74625024 7348 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 18219 7348 2432 1147 0 5646 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 77068 KiB
Current children cumulated memory: 32336 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.15 2.94 5/257 19124
/proc/meminfo: memFree=129237308/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=73696 memory=31040 CPUtime=161.75 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 5138 0 0 0 15934 241 0 0 20 0 1 0 31435359 75464704 7760 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 18424 7760 2432 1147 0 5851 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 77888 KiB
Current children cumulated memory: 33984 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.33 3.01 5/255 19130
/proc/meminfo: memFree=129212396/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=83124 memory=34828 CPUtime=221.52 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 6643 0 0 0 21849 303 0 0 20 0 1 0 31435359 85118976 8707 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 20781 8707 2464 1147 0 8208 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 87316 KiB
################
# More data... #
################
/proc/19120/statm: 33268 19411 2464 1147 0 20695 0
Current children cumulated CPU time: 3032.02 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 80588 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 19275
/proc/meminfo: memFree=128937780/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=77644 CPUtime=3091.83 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18137 0 0 0 307560 1623 0 0 20 0 1 0 31435359 136265728 19411 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19411 2464 1147 0 20695 0
Current children cumulated CPU time: 3091.83 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 80588 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 19277
/proc/meminfo: memFree=128937788/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=77772 CPUtime=3151.66 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18145 0 0 0 313527 1639 0 0 20 0 1 0 31435359 136265728 19443 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19443 2464 1147 0 20695 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 80716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 19284
/proc/meminfo: memFree=128939096/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=77772 CPUtime=3211.47 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18145 0 0 0 319492 1655 0 0 20 0 1 0 31435359 136265728 19443 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19443 2464 1147 0 20695 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 80716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.16 4.10 5/255 19286
/proc/meminfo: memFree=128934272/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=77772 CPUtime=3271.29 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18145 0 0 0 325459 1670 0 0 20 0 1 0 31435359 136265728 19443 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19443 2464 1147 0 20695 0
Current children cumulated CPU time: 3271.29 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 80716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.72 4.32 4.16 5/256 19291
/proc/meminfo: memFree=128927048/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=79848 CPUtime=3331.1 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18152 0 0 0 331424 1686 0 0 20 0 1 0 31435359 136265728 19962 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19962 2464 1147 0 20695 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 82792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.27 4.16 5/256 19293
/proc/meminfo: memFree=128924040/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=79848 CPUtime=3390.91 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18162 0 0 0 337388 1703 0 0 20 0 1 0 31435359 136265728 19962 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19962 2464 1147 0 20695 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 82792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.23 4.15 5/257 19572
/proc/meminfo: memFree=130067284/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=79848 CPUtime=3450.7 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18171 0 0 0 343344 1726 0 0 20 0 1 0 31435359 136265728 19962 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19962 2464 1147 0 20695 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 82792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.20 4.14 5/257 19574
/proc/meminfo: memFree=129870616/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133072 memory=79976 CPUtime=3510.49 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18191 0 0 0 349309 1740 0 0 20 0 1 0 31435359 136265728 19994 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33268 19994 2464 1147 0 20695 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 137264 KiB
Current children cumulated memory: 82920 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.21 4.15 5/257 19576
/proc/meminfo: memFree=129831900/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133328 memory=80336 CPUtime=3570.28 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18385 0 0 0 355275 1753 0 0 20 0 1 0 31435359 136527872 20084 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33332 20084 2464 1147 0 20759 0
Current children cumulated CPU time: 3570.28 s
Current children cumulated vsize: 137520 KiB
Current children cumulated memory: 83280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.67 4.32 4.19 5/257 19576
/proc/meminfo: memFree=129829684/131382112 swapFree=33010684/33010684
[pid=19118] ppid=19115 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19118/stat : 19118 (run-dec.sh) S 19115 19118 17431 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 31435358 4292608 736 18446744073709551615 94429767168000 94429768062533 140728123770096 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94429768301584 94429768349328 94429801603072 140728123775341 140728123775464 140728123775464 140728123781066 0
/proc/19118/statm: 1048 736 672 219 0 110 0
[pid=19120] ppid=19118 vsize=133328 memory=80336 CPUtime=3600.08 cores=5,7
/proc/19120/stat : 19120 (roundingsat) R 19118 19118 17431 0 -1 4194304 18385 0 0 0 358250 1758 0 0 20 0 1 0 31435359 136527872 20084 18446744073709551615 4227072 8923433 140723595182864 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42938368 140723595184567 140723595184680 140723595184680 140723595190250 0
/proc/19120/statm: 33332 20084 2464 1147 0 20759 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 137520 KiB
Current children cumulated memory: 83280 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.21 s]
# the end of solver process 19118 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002431 s, system=0.002474 s
Sleeping 2 seconds
[startup+3612.21 s]
# the end of solver process 19120 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.51 s, system=17.5922 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.21
CPU time (s): 3600.1
CPU user time (s): 3582.51
CPU system time (s): 17.5922
CPU usage (%): 99.665
Max. virtual memory (cumulated for all children) (KiB): 137520
Max. memory (cumulated for all children) (KiB): 83280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.51
system time used= 17.5922
maximum resident set size= 80744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172
involuntary context switches= 2123
# summary of solver processes directly reported to runsolver:
# pid: 19118,19120
# total CPU time (s): 3600.1
# total CPU user time (s): 3582.51
# total CPU system time (s): 17.5922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3479 second user time and 38.2468 second system time
The end
Begin job on nodeC001 at 2025-06-29 02:39:25
IDJOB=4495856
IDBENCH=148100
IDSOLVER=3349
FILE ID=nodeC001/4495856-1751157565
RUNJOBID= nodeC001-1751157406-17444
SLURM_JOB_ID= 9587484
Free space on /tmp= 433008 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4495856-1751157565/watcher-4495856-1751157565 -o /tmp/evaluation-result-4495856-1751157565/solver-4495856-1751157565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751157406-17444 --watchdog 3760 run-dec.sh HOME/instance-4495856-1751157565.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=915555493
nodeC001 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 : 3661.716
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.49
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 : 3663.696
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.49
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.657
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.49
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.175
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.49
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 : 3661.231
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.49
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 : 2197.021
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.49
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 : 3700.000
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.49
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.202
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129312384 kB
MemAvailable: 128977140 kB
Buffers: 3280 kB
Cached: 476244 kB
SwapCached: 0 kB
Active: 1280004 kB
Inactive: 231304 kB
Active(anon): 1049744 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 231304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7376 kB
Writeback: 4 kB
AnonPages: 1033036 kB
Mapped: 114980 kB
Shmem: 17960 kB
KReclaimable: 85256 kB
Slab: 165624 kB
SReclaimable: 85256 kB
SUnreclaim: 80368 kB
KernelStack: 4176 kB
PageTables: 5284 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1451784 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 655360 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC001 at 2025-06-29 03:39:37