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 172 #constraints 14
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.001986
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.002179
0.00/0.02 c rational objective 0
0.86/0.92 c #Conflicts: 1000 | #Constraints: 1423
0.86/0.92 c #Conflicts: 2000 | #Constraints: 2759
0.86/0.92 c INPROCESSING
0.86/0.92 c GARBAGE COLLECT
0.86/0.92 c rational objective 0
1.47/1.54 c #Conflicts: 3000 | #Constraints: 2403
1.47/1.54 c #Conflicts: 4000 | #Constraints: 3410
1.47/1.54 c INPROCESSING
1.47/1.54 c GARBAGE COLLECT
1.47/1.54 c rational objective 0
2.07/2.16 c #Conflicts: 5000 | #Constraints: 2829
2.07/2.16 c #Conflicts: 6000 | #Constraints: 3979
2.07/2.16 c INPROCESSING
2.07/2.16 c GARBAGE COLLECT
2.07/2.16 c rational objective 0
2.97/3.01 c #Conflicts: 7000 | #Constraints: 2872
2.97/3.01 c #Conflicts: 8000 | #Constraints: 4203
2.97/3.01 c #Conflicts: 9000 | #Constraints: 5666
2.97/3.01 c INPROCESSING
2.97/3.01 c GARBAGE COLLECT
2.97/3.01 c rational objective 0
3.97/4.06 c #Conflicts: 10000 | #Constraints: 4170
3.97/4.06 c #Conflicts: 11000 | #Constraints: 5652
3.97/4.06 c #Conflicts: 12000 | #Constraints: 7006
3.97/4.06 c INPROCESSING
3.97/4.06 c GARBAGE COLLECT
3.97/4.06 c rational objective 0
4.85/4.98 c #Conflicts: 13000 | #Constraints: 4873
4.85/4.98 c #Conflicts: 14000 | #Constraints: 5876
4.85/4.98 c #Conflicts: 15000 | #Constraints: 7223
4.85/4.98 c INPROCESSING
4.85/4.98 c GARBAGE COLLECT
4.85/4.98 c rational objective 0
5.86/5.94 c #Conflicts: 16000 | #Constraints: 4842
5.86/5.94 c #Conflicts: 17000 | #Constraints: 5900
5.86/5.94 c #Conflicts: 18000 | #Constraints: 6918
5.86/5.94 c INPROCESSING
5.86/5.94 c GARBAGE COLLECT
5.86/5.94 c rational objective 0
7.07/7.19 c #Conflicts: 19000 | #Constraints: 4679
7.07/7.19 c #Conflicts: 20000 | #Constraints: 6150
7.07/7.19 c #Conflicts: 21000 | #Constraints: 7615
7.07/7.19 c INPROCESSING
7.07/7.19 c GARBAGE COLLECT
7.07/7.19 c rational objective 0
8.15/8.23 c #Conflicts: 22000 | #Constraints: 4666
8.15/8.23 c #Conflicts: 23000 | #Constraints: 5669
8.15/8.23 c #Conflicts: 24000 | #Constraints: 6672
8.15/8.23 c #Conflicts: 25000 | #Constraints: 7676
8.15/8.23 c INPROCESSING
8.15/8.23 c GARBAGE COLLECT
8.15/8.23 c rational objective 0
9.24/9.32 c #Conflicts: 26000 | #Constraints: 4761
9.24/9.32 c #Conflicts: 27000 | #Constraints: 5771
9.24/9.32 c #Conflicts: 28000 | #Constraints: 6921
9.24/9.32 c #Conflicts: 29000 | #Constraints: 8042
9.24/9.32 c INPROCESSING
9.24/9.32 c GARBAGE COLLECT
9.24/9.32 c rational objective 0
10.44/10.56 c #Conflicts: 30000 | #Constraints: 5345
10.44/10.56 c #Conflicts: 31000 | #Constraints: 6345
10.44/10.56 c #Conflicts: 32000 | #Constraints: 7345
10.44/10.56 c #Conflicts: 33000 | #Constraints: 8347
10.44/10.56 c INPROCESSING
10.44/10.56 c GARBAGE COLLECT
10.44/10.56 c rational objective 0
11.83/11.95 c #Conflicts: 34000 | #Constraints: 5193
11.83/11.95 c #Conflicts: 35000 | #Constraints: 6548
11.83/11.95 c #Conflicts: 36000 | #Constraints: 8022
11.83/11.95 c #Conflicts: 37000 | #Constraints: 9471
11.83/11.95 c INPROCESSING
11.83/11.95 c GARBAGE COLLECT
11.83/11.95 c rational objective 0
13.44/13.56 c #Conflicts: 38000 | #Constraints: 5895
13.44/13.56 c #Conflicts: 39000 | #Constraints: 7357
13.44/13.56 c #Conflicts: 40000 | #Constraints: 8823
13.44/13.56 c #Conflicts: 41000 | #Constraints: 10296
13.44/13.56 c INPROCESSING
13.44/13.56 c GARBAGE COLLECT
13.44/13.56 c rational objective 0
15.23/15.38 c #Conflicts: 42000 | #Constraints: 6192
15.23/15.38 c #Conflicts: 43000 | #Constraints: 7667
15.23/15.38 c #Conflicts: 44000 | #Constraints: 9155
15.23/15.38 c #Conflicts: 45000 | #Constraints: 10576
15.23/15.38 c #Conflicts: 46000 | #Constraints: 11576
15.23/15.38 c INPROCESSING
15.23/15.38 c GARBAGE COLLECT
15.23/15.38 c rational objective 0
17.12/17.20 c #Conflicts: 47000 | #Constraints: 6822
17.12/17.20 c #Conflicts: 48000 | #Constraints: 8001
17.12/17.20 c #Conflicts: 49000 | #Constraints: 9189
17.12/17.20 c #Conflicts: 50000 | #Constraints: 10381
17.12/17.20 c #Conflicts: 51000 | #Constraints: 11478
17.12/17.20 c INPROCESSING
17.12/17.20 c GARBAGE COLLECT
17.12/17.20 c rational objective 0
19.32/19.41 c #Conflicts: 52000 | #Constraints: 7231
19.32/19.41 c #Conflicts: 53000 | #Constraints: 8702
19.32/19.41 c #Conflicts: 54000 | #Constraints: 10159
19.32/19.41 c #Conflicts: 55000 | #Constraints: 11608
19.32/19.41 c #Conflicts: 56000 | #Constraints: 13067
19.32/19.41 c INPROCESSING
19.32/19.41 c GARBAGE COLLECT
19.32/19.41 c rational objective 0
21.21/21.34 c #Conflicts: 57000 | #Constraints: 7625
21.21/21.34 c #Conflicts: 58000 | #Constraints: 8626
21.21/21.34 c #Conflicts: 59000 | #Constraints: 9737
21.21/21.34 c #Conflicts: 60000 | #Constraints: 10750
21.21/21.34 c #Conflicts: 61000 | #Constraints: 11855
21.21/21.34 c INPROCESSING
21.21/21.34 c GARBAGE COLLECT
21.21/21.34 c rational objective 0
23.30/23.48 c #Conflicts: 62000 | #Constraints: 7100
23.30/23.48 c #Conflicts: 63000 | #Constraints: 8211
23.30/23.48 c #Conflicts: 64000 | #Constraints: 9344
23.30/23.48 c #Conflicts: 65000 | #Constraints: 10345
23.30/23.48 c #Conflicts: 66000 | #Constraints: 11451
23.30/23.48 c INPROCESSING
23.30/23.48 c GARBAGE COLLECT
23.30/23.48 c rational objective 0
25.30/25.48 c #Conflicts: 67000 | #Constraints: 6482
25.30/25.48 c #Conflicts: 68000 | #Constraints: 7486
25.30/25.48 c #Conflicts: 69000 | #Constraints: 8523
25.30/25.48 c #Conflicts: 70000 | #Constraints: 9551
25.30/25.48 c #Conflicts: 71000 | #Constraints: 10603
25.30/25.48 c #Conflicts: 72000 | #Constraints: 11603
25.30/25.48 c INPROCESSING
25.30/25.48 c GARBAGE COLLECT
25.30/25.48 c rational objective 0
27.39/27.59 c #Conflicts: 73000 | #Constraints: 6739
27.39/27.59 c #Conflicts: 74000 | #Constraints: 7805
27.39/27.59 c #Conflicts: 75000 | #Constraints: 8831
27.39/27.59 c #Conflicts: 76000 | #Constraints: 9878
27.39/27.59 c #Conflicts: 77000 | #Constraints: 10896
27.39/27.59 c #Conflicts: 78000 | #Constraints: 11898
27.39/27.59 c INPROCESSING
27.39/27.59 c GARBAGE COLLECT
27.39/27.59 c rational objective 0
29.49/29.66 c #Conflicts: 79000 | #Constraints: 6967
29.49/29.66 c #Conflicts: 80000 | #Constraints: 7967
29.49/29.66 c #Conflicts: 81000 | #Constraints: 8968
29.49/29.66 c #Conflicts: 82000 | #Constraints: 9970
29.49/29.66 c #Conflicts: 83000 | #Constraints: 10970
29.49/29.66 c #Conflicts: 84000 | #Constraints: 11971
29.49/29.66 c INPROCESSING
29.49/29.66 c GARBAGE COLLECT
29.49/29.66 c rational objective 0
32.58/32.71 c #Conflicts: 85000 | #Constraints: 7455
32.58/32.71 c #Conflicts: 86000 | #Constraints: 8929
32.58/32.71 c #Conflicts: 87000 | #Constraints: 10391
32.58/32.71 c #Conflicts: 88000 | #Constraints: 11863
32.58/32.71 c #Conflicts: 89000 | #Constraints: 13313
32.58/32.71 c #Conflicts: 90000 | #Constraints: 14785
32.58/32.71 c INPROCESSING
32.58/32.71 c GARBAGE COLLECT
32.58/32.71 c rational objective 0
36.07/36.27 c #Conflicts: 91000 | #Constraints: 8680
36.07/36.27 c #Conflicts: 92000 | #Constraints: 10145
36.07/36.27 c #Conflicts: 93000 | #Constraints: 11608
36.07/36.27 c #Conflicts: 94000 | #Constraints: 13061
36.07/36.27 c #Conflicts: 95000 | #Constraints: 14513
36.07/36.27 c #Conflicts: 96000 | #Constraints: 15958
36.07/36.27 c INPROCESSING
36.07/36.27 c GARBAGE COLLECT
36.07/36.27 c rational objective 0
39.26/39.45 c #Conflicts: 97000 | #Constraints: 8951
39.26/39.45 c #Conflicts: 98000 | #Constraints: 10064
39.26/39.45 c #Conflicts: 99000 | #Constraints: 11158
39.26/39.45 c #Conflicts: 100000 | #Constraints: 12192
39.26/39.45 c #Conflicts: 101000 | #Constraints: 13268
39.26/39.45 c #Conflicts: 102000 | #Constraints: 14457
39.26/39.45 c #Conflicts: 103000 | #Constraints: 15511
39.26/39.45 c INPROCESSING
39.26/39.45 c GARBAGE COLLECT
39.26/39.45 c rational objective 0
43.44/43.63 c #Conflicts: 104000 | #Constraints: 9033
43.44/43.63 c #Conflicts: 105000 | #Constraints: 10509
43.44/43.63 c #Conflicts: 106000 | #Constraints: 11961
43.44/43.63 c #Conflicts: 107000 | #Constraints: 13414
43.44/43.63 c #Conflicts: 108000 | #Constraints: 14887
43.44/43.63 c #Conflicts: 109000 | #Constraints: 16354
43.44/43.63 c #Conflicts: 110000 | #Constraints: 17830
43.44/43.63 c INPROCESSING
43.44/43.63 c GARBAGE COLLECT
43.44/43.63 c rational objective 0
46.95/47.19 c #Conflicts: 111000 | #Constraints: 10279
46.95/47.19 c #Conflicts: 112000 | #Constraints: 11626
46.95/47.19 c #Conflicts: 113000 | #Constraints: 12626
46.95/47.19 c #Conflicts: 114000 | #Constraints: 13770
46.95/47.19 c #Conflicts: 115000 | #Constraints: 14989
46.95/47.19 c #Conflicts: 116000 | #Constraints: 16213
46.95/47.19 c #Conflicts: 117000 | #Constraints: 17672
46.95/47.19 c INPROCESSING
46.95/47.19 c GARBAGE COLLECT
46.95/47.19 c rational objective 0
50.62/50.81 c #Conflicts: 118000 | #Constraints: 10051
50.62/50.81 c #Conflicts: 119000 | #Constraints: 11246
50.62/50.81 c #Conflicts: 120000 | #Constraints: 12331
50.62/50.81 c #Conflicts: 121000 | #Constraints: 13428
50.62/50.81 c #Conflicts: 122000 | #Constraints: 14791
50.62/50.81 c #Conflicts: 123000 | #Constraints: 15968
50.62/50.81 c #Conflicts: 124000 | #Constraints: 17022
50.62/50.81 c INPROCESSING
50.62/50.81 c GARBAGE COLLECT
50.62/50.81 c rational objective 0
54.32/54.59 c #Conflicts: 125000 | #Constraints: 9832
54.32/54.59 c #Conflicts: 126000 | #Constraints: 10941
54.32/54.59 c #Conflicts: 127000 | #Constraints: 11941
54.32/54.59 c #Conflicts: 128000 | #Constraints: 13002
54.32/54.59 c #Conflicts: 129000 | #Constraints: 14002
54.32/54.59 c #Conflicts: 130000 | #Constraints: 15192
54.32/54.59 c #Conflicts: 131000 | #Constraints: 16483
54.32/54.59 c INPROCESSING
54.32/54.59 c GARBAGE COLLECT
54.32/54.59 c rational objective 0
58.01/58.25 c #Conflicts: 132000 | #Constraints: 9066
58.01/58.25 c #Conflicts: 133000 | #Constraints: 10221
58.01/58.25 c #Conflicts: 134000 | #Constraints: 11473
58.01/58.25 c #Conflicts: 135000 | #Constraints: 12474
58.01/58.25 c #Conflicts: 136000 | #Constraints: 13514
58.01/58.25 c #Conflicts: 137000 | #Constraints: 14579
58.01/58.25 c #Conflicts: 138000 | #Constraints: 15579
58.01/58.25 c #Conflicts: 139000 | #Constraints: 16619
58.01/58.25 c INPROCESSING
58.01/58.25 c GARBAGE COLLECT
58.01/58.25 c rational objective 0
62.99/63.25 c #Conflicts: 140000 | #Constraints: 9375
62.99/63.25 c #Conflicts: 141000 | #Constraints: 10851
62.99/63.25 c #Conflicts: 142000 | #Constraints: 12310
62.99/63.25 c #Conflicts: 143000 | #Constraints: 13790
62.99/63.25 c #Conflicts: 144000 | #Constraints: 15126
62.99/63.25 c #Conflicts: 145000 | #Constraints: 16594
62.99/63.25 c #Conflicts: 146000 | #Constraints: 18070
62.99/63.25 c #Conflicts: 147000 | #Constraints: 19530
62.99/63.25 c INPROCESSING
62.99/63.25 c GARBAGE COLLECT
62.99/63.25 c rational objective 0
67.18/67.46 c #Conflicts: 148000 | #Constraints: 10857
67.18/67.46 c #Conflicts: 149000 | #Constraints: 12076
67.18/67.46 c #Conflicts: 150000 | #Constraints: 13154
67.18/67.46 c #Conflicts: 151000 | #Constraints: 14155
67.18/67.46 c #Conflicts: 152000 | #Constraints: 15325
67.18/67.46 c #Conflicts: 153000 | #Constraints: 16325
67.18/67.46 c #Conflicts: 154000 | #Constraints: 17327
67.18/67.46 c #Conflicts: 155000 | #Constraints: 18327
67.18/67.46 c INPROCESSING
67.18/67.46 c GARBAGE COLLECT
67.18/67.46 c rational objective 0
71.66/71.96 c #Conflicts: 156000 | #Constraints: 10377
71.66/71.96 c #Conflicts: 157000 | #Constraints: 11562
71.66/71.96 c #Conflicts: 158000 | #Constraints: 12562
71.66/71.96 c #Conflicts: 159000 | #Constraints: 13611
71.66/71.96 c #Conflicts: 160000 | #Constraints: 14625
71.66/71.96 c #Conflicts: 161000 | #Constraints: 15626
71.66/71.96 c #Conflicts: 162000 | #Constraints: 16626
71.66/71.96 c #Conflicts: 163000 | #Constraints: 17626
71.66/71.96 c INPROCESSING
71.66/71.96 c GARBAGE COLLECT
71.66/71.96 c rational objective 0
75.77/76.03 c #Conflicts: 164000 | #Constraints: 9758
75.77/76.03 c #Conflicts: 165000 | #Constraints: 10779
75.77/76.03 c #Conflicts: 166000 | #Constraints: 11798
75.77/76.03 c #Conflicts: 167000 | #Constraints: 12922
75.77/76.03 c #Conflicts: 168000 | #Constraints: 13936
75.77/76.03 c #Conflicts: 169000 | #Constraints: 14936
75.77/76.03 c #Conflicts: 170000 | #Constraints: 15936
75.77/76.03 c #Conflicts: 171000 | #Constraints: 16936
75.77/76.03 c INPROCESSING
75.77/76.03 c GARBAGE COLLECT
75.77/76.03 c rational objective 0
80.24/80.51 c #Conflicts: 172000 | #Constraints: 9301
80.24/80.51 c #Conflicts: 173000 | #Constraints: 10681
80.24/80.51 c #Conflicts: 174000 | #Constraints: 11900
80.24/80.51 c #Conflicts: 175000 | #Constraints: 12930
80.24/80.51 c #Conflicts: 176000 | #Constraints: 13930
80.24/80.51 c #Conflicts: 177000 | #Constraints: 14930
80.24/80.51 c #Conflicts: 178000 | #Constraints: 15930
80.24/80.51 c #Conflicts: 179000 | #Constraints: 16930
80.24/80.51 c #Conflicts: 180000 | #Constraints: 18104
80.24/80.51 c INPROCESSING
80.24/80.51 c GARBAGE COLLECT
80.24/80.51 c rational objective 0
85.73/86.02 c #Conflicts: 181000 | #Constraints: 10394
85.73/86.02 c #Conflicts: 182000 | #Constraints: 11836
85.73/86.02 c #Conflicts: 183000 | #Constraints: 13301
85.73/86.02 c #Conflicts: 184000 | #Constraints: 14778
85.73/86.02 c #Conflicts: 185000 | #Constraints: 16238
85.73/86.02 c #Conflicts: 186000 | #Constraints: 17716
85.73/86.02 c #Conflicts: 187000 | #Constraints: 19162
85.73/86.02 c #Conflicts: 188000 | #Constraints: 20614
85.73/86.02 c #Conflicts: 189000 | #Constraints: 22050
85.73/86.02 c INPROCESSING
85.73/86.02 c GARBAGE COLLECT
85.73/86.02 c rational objective 0
91.60/91.93 c #Conflicts: 190000 | #Constraints: 12516
91.60/91.93 c #Conflicts: 191000 | #Constraints: 13987
91.60/91.93 c #Conflicts: 192000 | #Constraints: 15448
91.60/91.93 c #Conflicts: 193000 | #Constraints: 16910
91.60/91.93 c #Conflicts: 194000 | #Constraints: 18370
91.60/91.93 c #Conflicts: 195000 | #Constraints: 19835
91.60/91.93 c #Conflicts: 196000 | #Constraints: 21288
91.60/91.93 c #Conflicts: 197000 | #Constraints: 22775
91.60/91.93 c #Conflicts: 198000 | #Constraints: 24224
91.60/91.93 c INPROCESSING
91.60/91.93 c GARBAGE COLLECT
91.60/91.93 c rational objective 0
97.70/98.07 c #Conflicts: 199000 | #Constraints: 13236
97.70/98.07 c #Conflicts: 200000 | #Constraints: 14484
97.70/98.07 c #Conflicts: 201000 | #Constraints: 15529
97.70/98.07 c #Conflicts: 202000 | #Constraints: 16910
97.70/98.07 c #Conflicts: 203000 | #Constraints: 18392
97.70/98.07 c #Conflicts: 204000 | #Constraints: 19868
97.70/98.07 c #Conflicts: 205000 | #Constraints: 21345
97.70/98.07 c #Conflicts: 206000 | #Constraints: 22819
97.70/98.07 c #Conflicts: 207000 | #Constraints: 24161
97.70/98.07 c INPROCESSING
97.70/98.07 c GARBAGE COLLECT
97.70/98.07 c rational objective 0
104.57/104.94 c #Conflicts: 208000 | #Constraints: 13316
104.57/104.94 c #Conflicts: 209000 | #Constraints: 14746
104.57/104.94 c #Conflicts: 210000 | #Constraints: 15981
104.57/104.94 c #Conflicts: 211000 | #Constraints: 17400
104.57/104.94 c #Conflicts: 212000 | #Constraints: 18874
104.57/104.94 c #Conflicts: 213000 | #Constraints: 20340
104.57/104.94 c #Conflicts: 214000 | #Constraints: 21804
104.57/104.94 c #Conflicts: 215000 | #Constraints: 23267
104.57/104.94 c #Conflicts: 216000 | #Constraints: 24740
104.57/104.94 c INPROCESSING
104.57/104.94 c GARBAGE COLLECT
104.57/104.94 c rational objective 0
112.04/112.47 c #Conflicts: 217000 | #Constraints: 13257
112.04/112.47 c #Conflicts: 218000 | #Constraints: 14736
112.04/112.47 c #Conflicts: 219000 | #Constraints: 16210
112.04/112.47 c #Conflicts: 220000 | #Constraints: 17477
112.04/112.47 c #Conflicts: 221000 | #Constraints: 18669
112.04/112.47 c #Conflicts: 222000 | #Constraints: 20144
112.04/112.47 c #Conflicts: 223000 | #Constraints: 21262
112.04/112.47 c #Conflicts: 224000 | #Constraints: 22587
112.04/112.47 c #Conflicts: 225000 | #Constraints: 24072
112.04/112.47 c #Conflicts: 226000 | #Constraints: 25522
112.04/112.47 c INPROCESSING
112.04/112.47 c GARBAGE COLLECT
112.04/112.47 c rational objective 0
120.42/120.85 c #Conflicts: 227000 | #Constraints: 14053
120.42/120.85 c #Conflicts: 228000 | #Constraints: 15535
120.42/120.85 c #Conflicts: 229000 | #Constraints: 17013
120.42/120.85 c #Conflicts: 230000 | #Constraints: 18490
120.42/120.85 c #Conflicts: 231000 | #Constraints: 19964
120.42/120.85 c #Conflicts: 232000 | #Constraints: 21410
120.42/120.85 c #Conflicts: 233000 | #Constraints: 22878
120.42/120.85 c #Conflicts: 234000 | #Constraints: 24348
120.42/120.85 c #Conflicts: 235000 | #Constraints: 25808
120.42/120.85 c #Conflicts: 236000 | #Constraints: 27289
120.42/120.85 c INPROCESSING
120.42/120.85 c GARBAGE COLLECT
120.42/120.85 c rational objective 0
128.30/128.78 c #Conflicts: 237000 | #Constraints: 15115
128.30/128.78 c #Conflicts: 238000 | #Constraints: 16588
128.30/128.78 c #Conflicts: 239000 | #Constraints: 18042
128.30/128.78 c #Conflicts: 240000 | #Constraints: 19513
128.30/128.78 c #Conflicts: 241000 | #Constraints: 20797
128.30/128.78 c #Conflicts: 242000 | #Constraints: 21898
128.30/128.78 c #Conflicts: 243000 | #Constraints: 23375
128.30/128.78 c #Conflicts: 244000 | #Constraints: 24844
128.30/128.78 c #Conflicts: 245000 | #Constraints: 26131
128.30/128.78 c #Conflicts: 246000 | #Constraints: 27610
128.30/128.78 c INPROCESSING
128.30/128.78 c GARBAGE COLLECT
128.30/128.78 c rational objective 0
136.78/137.22 c #Conflicts: 247000 | #Constraints: 14976
136.78/137.22 c #Conflicts: 248000 | #Constraints: 16449
136.78/137.22 c #Conflicts: 249000 | #Constraints: 17926
136.78/137.22 c #Conflicts: 250000 | #Constraints: 19386
136.78/137.22 c #Conflicts: 251000 | #Constraints: 20858
136.78/137.22 c #Conflicts: 252000 | #Constraints: 22323
136.78/137.22 c #Conflicts: 253000 | #Constraints: 23799
136.78/137.22 c #Conflicts: 254000 | #Constraints: 25273
136.78/137.22 c #Conflicts: 255000 | #Constraints: 26733
136.78/137.22 c #Conflicts: 256000 | #Constraints: 28192
136.78/137.22 c INPROCESSING
136.78/137.22 c GARBAGE COLLECT
136.78/137.22 c rational objective 0
145.25/145.75 c #Conflicts: 257000 | #Constraints: 15361
145.25/145.75 c #Conflicts: 258000 | #Constraints: 16820
145.25/145.75 c #Conflicts: 259000 | #Constraints: 18289
145.25/145.75 c #Conflicts: 260000 | #Constraints: 19763
145.25/145.75 c #Conflicts: 261000 | #Constraints: 21216
145.25/145.75 c #Conflicts: 262000 | #Constraints: 22692
145.25/145.75 c #Conflicts: 263000 | #Constraints: 24156
145.25/145.75 c #Conflicts: 264000 | #Constraints: 25630
145.25/145.75 c #Conflicts: 265000 | #Constraints: 27092
145.25/145.75 c #Conflicts: 266000 | #Constraints: 28555
145.25/145.75 c INPROCESSING
145.25/145.75 c GARBAGE COLLECT
145.25/145.75 c rational objective 0
154.02/154.50 c #Conflicts: 267000 | #Constraints: 15133
154.02/154.50 c #Conflicts: 268000 | #Constraints: 16568
154.02/154.50 c #Conflicts: 269000 | #Constraints: 18025
154.02/154.50 c #Conflicts: 270000 | #Constraints: 19495
154.02/154.50 c #Conflicts: 271000 | #Constraints: 20712
154.02/154.50 c #Conflicts: 272000 | #Constraints: 22183
154.02/154.50 c #Conflicts: 273000 | #Constraints: 23660
154.02/154.50 c #Conflicts: 274000 | #Constraints: 25143
154.02/154.50 c #Conflicts: 275000 | #Constraints: 26621
154.02/154.50 c #Conflicts: 276000 | #Constraints: 28084
154.02/154.50 c #Conflicts: 277000 | #Constraints: 29149
154.02/154.50 c INPROCESSING
154.02/154.50 c GARBAGE COLLECT
154.02/154.50 c rational objective 0
163.09/163.68 c #Conflicts: 278000 | #Constraints: 15858
163.09/163.68 c #Conflicts: 279000 | #Constraints: 17077
163.09/163.68 c #Conflicts: 280000 | #Constraints: 18549
163.09/163.68 c #Conflicts: 281000 | #Constraints: 20016
163.09/163.68 c #Conflicts: 282000 | #Constraints: 21488
163.09/163.68 c #Conflicts: 283000 | #Constraints: 22951
163.09/163.68 c #Conflicts: 284000 | #Constraints: 24410
163.09/163.68 c #Conflicts: 285000 | #Constraints: 25881
163.09/163.68 c #Conflicts: 286000 | #Constraints: 27353
163.09/163.68 c #Conflicts: 287000 | #Constraints: 28834
163.09/163.68 c #Conflicts: 288000 | #Constraints: 30296
163.09/163.68 c INPROCESSING
163.09/163.68 c GARBAGE COLLECT
163.09/163.68 c rational objective 0
170.77/171.36 c #Conflicts: 289000 | #Constraints: 16167
170.77/171.36 c #Conflicts: 290000 | #Constraints: 17167
170.77/171.36 c #Conflicts: 291000 | #Constraints: 18167
170.77/171.36 c #Conflicts: 292000 | #Constraints: 19167
170.77/171.36 c #Conflicts: 293000 | #Constraints: 20168
170.77/171.36 c #Conflicts: 294000 | #Constraints: 21169
170.77/171.36 c #Conflicts: 295000 | #Constraints: 22169
170.77/171.36 c #Conflicts: 296000 | #Constraints: 23170
170.77/171.36 c #Conflicts: 297000 | #Constraints: 24170
170.77/171.36 c #Conflicts: 298000 | #Constraints: 25172
170.77/171.36 c #Conflicts: 299000 | #Constraints: 26175
170.77/171.36 c INPROCESSING
170.77/171.36 c GARBAGE COLLECT
170.77/171.36 c rational objective 0
178.14/178.74 c #Conflicts: 300000 | #Constraints: 14169
178.14/178.74 c #Conflicts: 301000 | #Constraints: 15217
178.14/178.74 c #Conflicts: 302000 | #Constraints: 16217
178.14/178.74 c #Conflicts: 303000 | #Constraints: 17271
178.14/178.74 c #Conflicts: 304000 | #Constraints: 18271
178.14/178.74 c #Conflicts: 305000 | #Constraints: 19271
178.14/178.74 c #Conflicts: 306000 | #Constraints: 20271
178.14/178.74 c #Conflicts: 307000 | #Constraints: 21271
178.14/178.74 c #Conflicts: 308000 | #Constraints: 22285
178.14/178.74 c #Conflicts: 309000 | #Constraints: 23328
178.14/178.74 c #Conflicts: 310000 | #Constraints: 24328
178.14/178.74 c INPROCESSING
178.14/178.74 c GARBAGE COLLECT
178.14/178.74 c rational objective 0
186.72/187.38 c #Conflicts: 311000 | #Constraints: 13439
186.72/187.38 c #Conflicts: 312000 | #Constraints: 14700
186.72/187.38 c #Conflicts: 313000 | #Constraints: 16113
186.72/187.38 c #Conflicts: 314000 | #Constraints: 17319
186.72/187.38 c #Conflicts: 315000 | #Constraints: 18680
186.72/187.38 c #Conflicts: 316000 | #Constraints: 19681
186.72/187.38 c #Conflicts: 317000 | #Constraints: 20996
186.72/187.38 c #Conflicts: 318000 | #Constraints: 22198
186.72/187.38 c #Conflicts: 319000 | #Constraints: 23198
186.72/187.38 c #Conflicts: 320000 | #Constraints: 24198
186.72/187.38 c #Conflicts: 321000 | #Constraints: 25308
186.72/187.38 c INPROCESSING
186.72/187.38 c GARBAGE COLLECT
186.72/187.38 c rational objective 0
196.69/197.35 c #Conflicts: 322000 | #Constraints: 13497
196.69/197.35 c #Conflicts: 323000 | #Constraints: 14985
196.69/197.35 c #Conflicts: 324000 | #Constraints: 16402
196.69/197.35 c #Conflicts: 325000 | #Constraints: 17861
196.69/197.35 c #Conflicts: 326000 | #Constraints: 19330
196.69/197.35 c #Conflicts: 327000 | #Constraints: 20790
196.69/197.35 c #Conflicts: 328000 | #Constraints: 22210
196.69/197.35 c #Conflicts: 329000 | #Constraints: 23267
196.69/197.35 c #Conflicts: 330000 | #Constraints: 24735
196.69/197.35 c #Conflicts: 331000 | #Constraints: 26233
196.69/197.35 c #Conflicts: 332000 | #Constraints: 27704
196.69/197.35 c #Conflicts: 333000 | #Constraints: 29168
196.69/197.35 c INPROCESSING
196.69/197.35 c GARBAGE COLLECT
196.69/197.35 c rational objective 0
205.47/206.19 c #Conflicts: 334000 | #Constraints: 15555
205.47/206.19 c #Conflicts: 335000 | #Constraints: 16574
205.47/206.19 c #Conflicts: 336000 | #Constraints: 17718
205.47/206.19 c #Conflicts: 337000 | #Constraints: 18719
205.47/206.19 c #Conflicts: 338000 | #Constraints: 19719
205.47/206.19 c #Conflicts: 339000 | #Constraints: 20930
205.47/206.19 c #Conflicts: 340000 | #Constraints: 22048
205.47/206.19 c #Conflicts: 341000 | #Constraints: 23204
205.47/206.19 c #Conflicts: 342000 | #Constraints: 24206
205.47/206.19 c #Conflicts: 343000 | #Constraints: 25206
205.47/206.19 c #Conflicts: 344000 | #Constraints: 26280
205.47/206.19 c #Conflicts: 345000 | #Constraints: 27473
205.47/206.19 c INPROCESSING
205.47/206.19 c GARBAGE COLLECT
205.47/206.19 c rational objective 0
214.35/215.02 c #Conflicts: 346000 | #Constraints: 14907
214.35/215.02 c #Conflicts: 347000 | #Constraints: 15952
214.35/215.02 c #Conflicts: 348000 | #Constraints: 17001
214.35/215.02 c #Conflicts: 349000 | #Constraints: 18030
214.35/215.02 c #Conflicts: 350000 | #Constraints: 19031
214.35/215.02 c #Conflicts: 351000 | #Constraints: 20031
214.35/215.02 c #Conflicts: 352000 | #Constraints: 21123
214.35/215.02 c #Conflicts: 353000 | #Constraints: 22125
214.35/215.02 c #Conflicts: 354000 | #Constraints: 23249
214.35/215.02 c #Conflicts: 355000 | #Constraints: 24250
214.35/215.02 c #Conflicts: 356000 | #Constraints: 25250
214.35/215.02 c #Conflicts: 357000 | #Constraints: 26250
214.35/215.02 c INPROCESSING
214.35/215.02 c GARBAGE COLLECT
214.35/215.02 c rational objective 0
223.51/224.26 c #Conflicts: 358000 | #Constraints: 14324
223.51/224.26 c #Conflicts: 359000 | #Constraints: 15326
223.51/224.26 c #Conflicts: 360000 | #Constraints: 16355
223.51/224.26 c #Conflicts: 361000 | #Constraints: 17355
223.51/224.26 c #Conflicts: 362000 | #Constraints: 18363
223.51/224.26 c #Conflicts: 363000 | #Constraints: 19375
223.51/224.26 c #Conflicts: 364000 | #Constraints: 20571
223.51/224.26 c #Conflicts: 365000 | #Constraints: 21796
223.51/224.26 c #Conflicts: 366000 | #Constraints: 22935
223.51/224.26 c #Conflicts: 367000 | #Constraints: 23972
223.51/224.26 c #Conflicts: 368000 | #Constraints: 24972
223.51/224.26 c #Conflicts: 369000 | #Constraints: 26113
223.51/224.26 c INPROCESSING
223.51/224.26 c GARBAGE COLLECT
223.51/224.26 c rational objective 0
232.29/233.04 c #Conflicts: 370000 | #Constraints: 14012
232.29/233.04 c #Conflicts: 371000 | #Constraints: 15203
232.29/233.04 c #Conflicts: 372000 | #Constraints: 16277
232.29/233.04 c #Conflicts: 373000 | #Constraints: 17437
232.29/233.04 c #Conflicts: 374000 | #Constraints: 18626
232.29/233.04 c #Conflicts: 375000 | #Constraints: 19784
232.29/233.04 c #Conflicts: 376000 | #Constraints: 20975
232.29/233.04 c #Conflicts: 377000 | #Constraints: 21975
232.29/233.04 c #Conflicts: 378000 | #Constraints: 23057
232.29/233.04 c #Conflicts: 379000 | #Constraints: 24057
232.29/233.04 c #Conflicts: 380000 | #Constraints: 25057
232.29/233.04 c #Conflicts: 381000 | #Constraints: 26057
232.29/233.04 c INPROCESSING
232.29/233.04 c GARBAGE COLLECT
232.29/233.04 c rational objective 0
243.15/243.92 c #Conflicts: 382000 | #Constraints: 13911
243.15/243.92 c #Conflicts: 383000 | #Constraints: 15361
243.15/243.92 c #Conflicts: 384000 | #Constraints: 16817
243.15/243.92 c #Conflicts: 385000 | #Constraints: 18286
243.15/243.92 c #Conflicts: 386000 | #Constraints: 19770
243.15/243.92 c #Conflicts: 387000 | #Constraints: 21232
243.15/243.92 c #Conflicts: 388000 | #Constraints: 22693
243.15/243.92 c #Conflicts: 389000 | #Constraints: 24145
243.15/243.92 c #Conflicts: 390000 | #Constraints: 25616
243.15/243.92 c #Conflicts: 391000 | #Constraints: 27087
243.15/243.92 c #Conflicts: 392000 | #Constraints: 28557
243.15/243.92 c #Conflicts: 393000 | #Constraints: 30032
243.15/243.92 c #Conflicts: 394000 | #Constraints: 31532
243.15/243.92 c INPROCESSING
243.15/243.92 c GARBAGE COLLECT
243.15/243.92 c rational objective 0
253.33/254.13 c #Conflicts: 395000 | #Constraints: 17034
253.33/254.13 c #Conflicts: 396000 | #Constraints: 18344
253.33/254.13 c #Conflicts: 397000 | #Constraints: 19344
253.33/254.13 c #Conflicts: 398000 | #Constraints: 20344
253.33/254.13 c #Conflicts: 399000 | #Constraints: 21344
253.33/254.13 c #Conflicts: 400000 | #Constraints: 22449
253.33/254.13 c #Conflicts: 401000 | #Constraints: 23504
253.33/254.13 c #Conflicts: 402000 | #Constraints: 24504
253.33/254.13 c #Conflicts: 403000 | #Constraints: 25504
253.33/254.13 c #Conflicts: 404000 | #Constraints: 26504
253.33/254.13 c #Conflicts: 405000 | #Constraints: 27550
253.33/254.13 c #Conflicts: 406000 | #Constraints: 28930
253.33/254.13 c #Conflicts: 407000 | #Constraints: 29930
253.33/254.13 c INPROCESSING
253.33/254.13 c GARBAGE COLLECT
253.33/254.13 c rational objective 0
264.78/265.69 c #Conflicts: 408000 | #Constraints: 16416
264.78/265.69 c #Conflicts: 409000 | #Constraints: 17891
264.78/265.69 c #Conflicts: 410000 | #Constraints: 19373
264.78/265.69 c #Conflicts: 411000 | #Constraints: 20848
264.78/265.69 c #Conflicts: 412000 | #Constraints: 22323
264.78/265.69 c #Conflicts: 413000 | #Constraints: 23807
264.78/265.69 c #Conflicts: 414000 | #Constraints: 25286
264.78/265.69 c #Conflicts: 415000 | #Constraints: 26758
264.78/265.69 c #Conflicts: 416000 | #Constraints: 28231
264.78/265.69 c #Conflicts: 417000 | #Constraints: 29719
264.78/265.69 c #Conflicts: 418000 | #Constraints: 31197
264.78/265.69 c #Conflicts: 419000 | #Constraints: 32681
264.78/265.69 c #Conflicts: 420000 | #Constraints: 34139
264.78/265.69 c INPROCESSING
264.78/265.69 c GARBAGE COLLECT
264.78/265.69 c rational objective 0
276.94/277.89 c #Conflicts: 421000 | #Constraints: 18528
276.94/277.89 c #Conflicts: 422000 | #Constraints: 19988
276.94/277.89 c #Conflicts: 423000 | #Constraints: 21453
276.94/277.89 c #Conflicts: 424000 | #Constraints: 22913
276.94/277.89 c #Conflicts: 425000 | #Constraints: 24382
276.94/277.89 c #Conflicts: 426000 | #Constraints: 25851
276.94/277.89 c #Conflicts: 427000 | #Constraints: 27325
276.94/277.89 c #Conflicts: 428000 | #Constraints: 28790
276.94/277.89 c #Conflicts: 429000 | #Constraints: 30267
276.94/277.89 c #Conflicts: 430000 | #Constraints: 31758
276.94/277.89 c #Conflicts: 431000 | #Constraints: 33227
276.94/277.89 c #Conflicts: 432000 | #Constraints: 34687
276.94/277.89 c #Conflicts: 433000 | #Constraints: 36162
276.94/277.89 c INPROCESSING
276.94/277.89 c GARBAGE COLLECT
276.94/277.89 c rational objective 0
288.41/289.31 c #Conflicts: 434000 | #Constraints: 19054
288.41/289.31 c #Conflicts: 435000 | #Constraints: 20055
288.41/289.31 c #Conflicts: 436000 | #Constraints: 21056
288.41/289.31 c #Conflicts: 437000 | #Constraints: 22056
288.41/289.31 c #Conflicts: 438000 | #Constraints: 23056
288.41/289.31 c #Conflicts: 439000 | #Constraints: 24057
288.41/289.31 c #Conflicts: 440000 | #Constraints: 25057
288.41/289.31 c #Conflicts: 441000 | #Constraints: 26057
288.41/289.31 c #Conflicts: 442000 | #Constraints: 27057
288.41/289.31 c #Conflicts: 443000 | #Constraints: 28057
288.41/289.31 c #Conflicts: 444000 | #Constraints: 29057
288.41/289.31 c #Conflicts: 445000 | #Constraints: 30058
288.41/289.31 c #Conflicts: 446000 | #Constraints: 31058
288.41/289.31 c INPROCESSING
288.41/289.31 c GARBAGE COLLECT
288.41/289.31 c rational objective 0
299.67/300.68 c #Conflicts: 447000 | #Constraints: 16298
299.67/300.68 c #Conflicts: 448000 | #Constraints: 17466
299.67/300.68 c #Conflicts: 449000 | #Constraints: 18584
299.67/300.68 c #Conflicts: 450000 | #Constraints: 19585
299.67/300.68 c #Conflicts: 451000 | #Constraints: 20700
299.67/300.68 c #Conflicts: 452000 | #Constraints: 21967
299.67/300.68 c #Conflicts: 453000 | #Constraints: 23021
299.67/300.68 c #Conflicts: 454000 | #Constraints: 24134
299.67/300.68 c #Conflicts: 455000 | #Constraints: 25159
299.67/300.68 c #Conflicts: 456000 | #Constraints: 26180
299.67/300.68 c #Conflicts: 457000 | #Constraints: 27183
299.67/300.68 c #Conflicts: 458000 | #Constraints: 28458
299.67/300.68 c #Conflicts: 459000 | #Constraints: 29579
299.67/300.68 c #Conflicts: 460000 | #Constraints: 30608
299.67/300.68 c INPROCESSING
299.67/300.68 c GARBAGE COLLECT
299.67/300.68 c rational objective 0
311.54/312.50 c #Conflicts: 461000 | #Constraints: 16593
311.54/312.50 c #Conflicts: 462000 | #Constraints: 17948
311.54/312.50 c #Conflicts: 463000 | #Constraints: 19173
311.54/312.50 c #Conflicts: 464000 | #Constraints: 20173
311.54/312.50 c #Conflicts: 465000 | #Constraints: 21644
311.54/312.50 c #Conflicts: 466000 | #Constraints: 22816
311.54/312.50 c #Conflicts: 467000 | #Constraints: 23816
311.54/312.50 c #Conflicts: 468000 | #Constraints: 24816
311.54/312.50 c #Conflicts: 469000 | #Constraints: 25817
311.54/312.50 c #Conflicts: 470000 | #Constraints: 26818
311.54/312.50 c #Conflicts: 471000 | #Constraints: 27818
311.54/312.50 c #Conflicts: 472000 | #Constraints: 28819
311.54/312.50 c #Conflicts: 473000 | #Constraints: 29821
311.54/312.50 c #Conflicts: 474000 | #Constraints: 30822
311.54/312.50 c INPROCESSING
311.54/312.50 c GARBAGE COLLECT
311.54/312.50 c rational objective 0
324.89/325.91 c #Conflicts: 475000 | #Constraints: 16768
324.89/325.91 c #Conflicts: 476000 | #Constraints: 17976
324.89/325.91 c #Conflicts: 477000 | #Constraints: 19007
324.89/325.91 c #Conflicts: 478000 | #Constraints: 20194
324.89/325.91 c #Conflicts: 479000 | #Constraints: 21330
324.89/325.91 c #Conflicts: 480000 | #Constraints: 22430
324.89/325.91 c #Conflicts: 481000 | #Constraints: 23480
324.89/325.91 c #Conflicts: 482000 | #Constraints: 24548
324.89/325.91 c #Conflicts: 483000 | #Constraints: 25741
324.89/325.91 c #Conflicts: 484000 | #Constraints: 26888
324.89/325.91 c #Conflicts: 485000 | #Constraints: 27969
324.89/325.91 c #Conflicts: 486000 | #Constraints: 29272
324.89/325.91 c #Conflicts: 487000 | #Constraints: 30377
324.89/325.91 c #Conflicts: 488000 | #Constraints: 31495
324.89/325.91 c INPROCESSING
324.89/325.91 c GARBAGE COLLECT
324.89/325.91 c rational objective 0
340.64/341.72 c #Conflicts: 489000 | #Constraints: 17184
340.64/341.72 c #Conflicts: 490000 | #Constraints: 18651
340.64/341.72 c #Conflicts: 491000 | #Constraints: 20119
340.64/341.72 c #Conflicts: 492000 | #Constraints: 21598
340.64/341.72 c #Conflicts: 493000 | #Constraints: 23059
340.64/341.72 c #Conflicts: 494000 | #Constraints: 24528
340.64/341.72 c #Conflicts: 495000 | #Constraints: 25972
340.64/341.72 c #Conflicts: 496000 | #Constraints: 27429
340.64/341.72 c #Conflicts: 497000 | #Constraints: 28892
340.64/341.72 c #Conflicts: 498000 | #Constraints: 30345
340.64/341.72 c #Conflicts: 499000 | #Constraints: 31835
340.64/341.72 c #Conflicts: 500000 | #Constraints: 33297
340.64/341.72 c #Conflicts: 501000 | #Constraints: 34772
340.64/341.72 c #Conflicts: 502000 | #Constraints: 36240
340.64/341.72 c INPROCESSING
340.64/341.72 c GARBAGE COLLECT
340.64/341.72 c rational objective 0
358.08/359.28 c #Conflicts: 503000 | #Constraints: 19403
358.08/359.28 c #Conflicts: 504000 | #Constraints: 20709
358.08/359.28 c #Conflicts: 505000 | #Constraints: 22113
358.08/359.28 c #Conflicts: 506000 | #Constraints: 23544
358.08/359.28 c #Conflicts: 507000 | #Constraints: 25023
358.08/359.28 c #Conflicts: 508000 | #Constraints: 26465
358.08/359.28 c #Conflicts: 509000 | #Constraints: 27943
358.08/359.28 c #Conflicts: 510000 | #Constraints: 29428
358.08/359.28 c #Conflicts: 511000 | #Constraints: 30905
358.08/359.28 c #Conflicts: 512000 | #Constraints: 32367
358.08/359.28 c #Conflicts: 513000 | #Constraints: 33845
358.08/359.28 c #Conflicts: 514000 | #Constraints: 35311
358.08/359.28 c #Conflicts: 515000 | #Constraints: 36447
358.08/359.28 c #Conflicts: 516000 | #Constraints: 37929
358.08/359.28 c INPROCESSING
358.08/359.28 c GARBAGE COLLECT
358.08/359.28 c rational objective 0
371.34/372.57 c #Conflicts: 517000 | #Constraints: 19829
371.34/372.57 c #Conflicts: 518000 | #Constraints: 20893
371.34/372.57 c #Conflicts: 519000 | #Constraints: 21893
371.34/372.57 c #Conflicts: 520000 | #Constraints: 22932
371.34/372.57 c #Conflicts: 521000 | #Constraints: 23944
371.34/372.57 c #Conflicts: 522000 | #Constraints: 24992
371.34/372.57 c #Conflicts: 523000 | #Constraints: 26095
371.34/372.57 c #Conflicts: 524000 | #Constraints: 27095
371.34/372.57 c #Conflicts: 525000 | #Constraints: 28095
371.34/372.57 c #Conflicts: 526000 | #Constraints: 29095
371.34/372.57 c #Conflicts: 527000 | #Constraints: 30097
371.34/372.57 c #Conflicts: 528000 | #Constraints: 31098
371.34/372.57 c #Conflicts: 529000 | #Constraints: 32098
371.34/372.57 c #Conflicts: 530000 | #Constraints: 33098
371.34/372.57 c #Conflicts: 531000 | #Constraints: 34168
371.34/372.57 c INPROCESSING
371.34/372.57 c GARBAGE COLLECT
371.34/372.57 c rational objective 0
384.91/386.13 c #Conflicts: 532000 | #Constraints: 18346
384.91/386.13 c #Conflicts: 533000 | #Constraints: 19549
384.91/386.13 c #Conflicts: 534000 | #Constraints: 20930
384.91/386.13 c #Conflicts: 535000 | #Constraints: 22265
384.91/386.13 c #Conflicts: 536000 | #Constraints: 23463
384.91/386.13 c #Conflicts: 537000 | #Constraints: 24463
384.91/386.13 c #Conflicts: 538000 | #Constraints: 25463
384.91/386.13 c #Conflicts: 539000 | #Constraints: 26573
384.91/386.13 c #Conflicts: 540000 | #Constraints: 27573
384.91/386.13 c #Conflicts: 541000 | #Constraints: 28671
384.91/386.13 c #Conflicts: 542000 | #Constraints: 29827
384.91/386.13 c #Conflicts: 543000 | #Constraints: 30827
384.91/386.13 c #Conflicts: 544000 | #Constraints: 31828
384.91/386.13 c #Conflicts: 545000 | #Constraints: 32828
384.91/386.13 c #Conflicts: 546000 | #Constraints: 33849
384.91/386.13 c INPROCESSING
384.91/386.13 c GARBAGE COLLECT
384.91/386.13 c rational objective 0
398.05/399.37 c #Conflicts: 547000 | #Constraints: 18259
398.05/399.37 c #Conflicts: 548000 | #Constraints: 19279
398.05/399.37 c #Conflicts: 549000 | #Constraints: 20279
398.05/399.37 c #Conflicts: 550000 | #Constraints: 21364
398.05/399.37 c #Conflicts: 551000 | #Constraints: 22374
398.05/399.37 c #Conflicts: 552000 | #Constraints: 23625
398.05/399.37 c #Conflicts: 553000 | #Constraints: 24665
398.05/399.37 c #Conflicts: 554000 | #Constraints: 25665
398.05/399.37 c #Conflicts: 555000 | #Constraints: 26700
398.05/399.37 c #Conflicts: 556000 | #Constraints: 27944
398.05/399.37 c #Conflicts: 557000 | #Constraints: 28944
398.05/399.37 c #Conflicts: 558000 | #Constraints: 30062
398.05/399.37 c #Conflicts: 559000 | #Constraints: 31062
398.05/399.37 c #Conflicts: 560000 | #Constraints: 32123
398.05/399.37 c #Conflicts: 561000 | #Constraints: 33131
398.05/399.37 c INPROCESSING
398.05/399.37 c GARBAGE COLLECT
398.05/399.37 c rational objective 0
411.02/412.38 c #Conflicts: 562000 | #Constraints: 17771
411.02/412.38 c #Conflicts: 563000 | #Constraints: 19027
411.02/412.38 c #Conflicts: 564000 | #Constraints: 20027
411.02/412.38 c #Conflicts: 565000 | #Constraints: 21027
411.02/412.38 c #Conflicts: 566000 | #Constraints: 22027
411.02/412.38 c #Conflicts: 567000 | #Constraints: 23098
411.02/412.38 c #Conflicts: 568000 | #Constraints: 24098
411.02/412.38 c #Conflicts: 569000 | #Constraints: 25098
411.02/412.38 c #Conflicts: 570000 | #Constraints: 26098
411.02/412.38 c #Conflicts: 571000 | #Constraints: 27098
411.02/412.38 c #Conflicts: 572000 | #Constraints: 28139
411.02/412.38 c #Conflicts: 573000 | #Constraints: 29139
411.02/412.38 c #Conflicts: 574000 | #Constraints: 30139
411.02/412.38 c #Conflicts: 575000 | #Constraints: 31214
411.02/412.38 c #Conflicts: 576000 | #Constraints: 32514
411.02/412.38 c INPROCESSING
411.02/412.38 c GARBAGE COLLECT
411.02/412.38 c rational objective 0
424.27/425.62 c #Conflicts: 577000 | #Constraints: 17452
424.27/425.62 c #Conflicts: 578000 | #Constraints: 18577
424.27/425.62 c #Conflicts: 579000 | #Constraints: 19620
424.27/425.62 c #Conflicts: 580000 | #Constraints: 20620
424.27/425.62 c #Conflicts: 581000 | #Constraints: 21620
424.27/425.62 c #Conflicts: 582000 | #Constraints: 22620
424.27/425.62 c #Conflicts: 583000 | #Constraints: 23620
424.27/425.62 c #Conflicts: 584000 | #Constraints: 24620
424.27/425.62 c #Conflicts: 585000 | #Constraints: 25620
424.27/425.62 c #Conflicts: 586000 | #Constraints: 26620
424.27/425.62 c #Conflicts: 587000 | #Constraints: 27620
424.27/425.62 c #Conflicts: 588000 | #Constraints: 28620
424.27/425.62 c #Conflicts: 589000 | #Constraints: 29620
424.27/425.62 c #Conflicts: 590000 | #Constraints: 30620
424.27/425.62 c #Conflicts: 591000 | #Constraints: 31620
424.27/425.62 c INPROCESSING
424.27/425.62 c GARBAGE COLLECT
424.27/425.62 c rational objective 0
436.55/437.91 c #Conflicts: 592000 | #Constraints: 16623
436.55/437.91 c #Conflicts: 593000 | #Constraints: 17651
436.55/437.91 c #Conflicts: 594000 | #Constraints: 18651
436.55/437.91 c #Conflicts: 595000 | #Constraints: 19651
436.55/437.91 c #Conflicts: 596000 | #Constraints: 20651
436.55/437.91 c #Conflicts: 597000 | #Constraints: 21735
436.55/437.91 c #Conflicts: 598000 | #Constraints: 22753
436.55/437.91 c #Conflicts: 599000 | #Constraints: 23753
436.55/437.91 c #Conflicts: 600000 | #Constraints: 24753
436.55/437.91 c #Conflicts: 601000 | #Constraints: 25753
436.55/437.91 c #Conflicts: 602000 | #Constraints: 26833
436.55/437.91 c #Conflicts: 603000 | #Constraints: 27833
436.55/437.91 c #Conflicts: 604000 | #Constraints: 28833
436.55/437.91 c #Conflicts: 605000 | #Constraints: 29833
436.55/437.91 c #Conflicts: 606000 | #Constraints: 30833
436.55/437.91 c #Conflicts: 607000 | #Constraints: 31833
436.55/437.91 c INPROCESSING
436.55/437.91 c GARBAGE COLLECT
436.55/437.91 c rational objective 0
449.50/450.98 c #Conflicts: 608000 | #Constraints: 17066
449.50/450.98 c #Conflicts: 609000 | #Constraints: 18196
449.50/450.98 c #Conflicts: 610000 | #Constraints: 19217
449.50/450.98 c #Conflicts: 611000 | #Constraints: 20355
449.50/450.98 c #Conflicts: 612000 | #Constraints: 21355
449.50/450.98 c #Conflicts: 613000 | #Constraints: 22369
449.50/450.98 c #Conflicts: 614000 | #Constraints: 23383
449.50/450.98 c #Conflicts: 615000 | #Constraints: 24394
449.50/450.98 c #Conflicts: 616000 | #Constraints: 25473
449.50/450.98 c #Conflicts: 617000 | #Constraints: 26506
449.50/450.98 c #Conflicts: 618000 | #Constraints: 27506
449.50/450.98 c #Conflicts: 619000 | #Constraints: 28541
449.50/450.98 c #Conflicts: 620000 | #Constraints: 29541
449.50/450.98 c #Conflicts: 621000 | #Constraints: 30541
449.50/450.98 c #Conflicts: 622000 | #Constraints: 31541
449.50/450.98 c #Conflicts: 623000 | #Constraints: 32541
449.50/450.98 c INPROCESSING
449.50/450.98 c GARBAGE COLLECT
449.50/450.98 c rational objective 0
467.75/469.22 c #Conflicts: 624000 | #Constraints: 17748
467.75/469.22 c #Conflicts: 625000 | #Constraints: 19227
467.75/469.22 c #Conflicts: 626000 | #Constraints: 20703
467.75/469.22 c #Conflicts: 627000 | #Constraints: 22178
467.75/469.22 c #Conflicts: 628000 | #Constraints: 23653
467.75/469.22 c #Conflicts: 629000 | #Constraints: 25121
467.75/469.22 c #Conflicts: 630000 | #Constraints: 26586
467.75/469.22 c #Conflicts: 631000 | #Constraints: 28041
467.75/469.22 c #Conflicts: 632000 | #Constraints: 29509
467.75/469.22 c #Conflicts: 633000 | #Constraints: 30973
467.75/469.22 c #Conflicts: 634000 | #Constraints: 32422
467.75/469.22 c #Conflicts: 635000 | #Constraints: 33868
467.75/469.22 c #Conflicts: 636000 | #Constraints: 35348
467.75/469.22 c #Conflicts: 637000 | #Constraints: 36806
467.75/469.22 c #Conflicts: 638000 | #Constraints: 38301
467.75/469.22 c #Conflicts: 639000 | #Constraints: 39759
467.75/469.22 c INPROCESSING
467.75/469.22 c GARBAGE COLLECT
467.75/469.22 c rational objective 0
482.90/484.40 c #Conflicts: 640000 | #Constraints: 21061
482.90/484.40 c #Conflicts: 641000 | #Constraints: 22061
482.90/484.40 c #Conflicts: 642000 | #Constraints: 23155
482.90/484.40 c #Conflicts: 643000 | #Constraints: 24229
482.90/484.40 c #Conflicts: 644000 | #Constraints: 25229
482.90/484.40 c #Conflicts: 645000 | #Constraints: 26229
482.90/484.40 c #Conflicts: 646000 | #Constraints: 27229
482.90/484.40 c #Conflicts: 647000 | #Constraints: 28229
482.90/484.40 c #Conflicts: 648000 | #Constraints: 29229
482.90/484.40 c #Conflicts: 649000 | #Constraints: 30498
482.90/484.40 c #Conflicts: 650000 | #Constraints: 31526
482.90/484.40 c #Conflicts: 651000 | #Constraints: 32526
482.90/484.40 c #Conflicts: 652000 | #Constraints: 33526
482.90/484.40 c #Conflicts: 653000 | #Constraints: 34526
482.90/484.40 c #Conflicts: 654000 | #Constraints: 35527
482.90/484.40 c #Conflicts: 655000 | #Constraints: 36542
482.90/484.40 c INPROCESSING
482.90/484.40 c GARBAGE COLLECT
482.90/484.40 c rational objective 0
497.16/498.77 c #Conflicts: 656000 | #Constraints: 19187
497.16/498.77 c #Conflicts: 657000 | #Constraints: 20187
497.16/498.77 c #Conflicts: 658000 | #Constraints: 21187
497.16/498.77 c #Conflicts: 659000 | #Constraints: 22187
497.16/498.77 c #Conflicts: 660000 | #Constraints: 23188
497.16/498.77 c #Conflicts: 661000 | #Constraints: 24188
497.16/498.77 c #Conflicts: 662000 | #Constraints: 25188
497.16/498.77 c #Conflicts: 663000 | #Constraints: 26188
497.16/498.77 c #Conflicts: 664000 | #Constraints: 27188
497.16/498.77 c #Conflicts: 665000 | #Constraints: 28188
497.16/498.77 c #Conflicts: 666000 | #Constraints: 29188
497.16/498.77 c #Conflicts: 667000 | #Constraints: 30188
497.16/498.77 c #Conflicts: 668000 | #Constraints: 31188
497.16/498.77 c #Conflicts: 669000 | #Constraints: 32188
497.16/498.77 c #Conflicts: 670000 | #Constraints: 33188
497.16/498.77 c #Conflicts: 671000 | #Constraints: 34188
497.16/498.77 c INPROCESSING
497.16/498.77 c GARBAGE COLLECT
497.16/498.77 c rational objective 0
512.12/513.73 c #Conflicts: 672000 | #Constraints: 17923
512.12/513.73 c #Conflicts: 673000 | #Constraints: 19029
512.12/513.73 c #Conflicts: 674000 | #Constraints: 20175
512.12/513.73 c #Conflicts: 675000 | #Constraints: 21175
512.12/513.73 c #Conflicts: 676000 | #Constraints: 22175
512.12/513.73 c #Conflicts: 677000 | #Constraints: 23175
512.12/513.73 c #Conflicts: 678000 | #Constraints: 24346
512.12/513.73 c #Conflicts: 679000 | #Constraints: 25351
512.12/513.73 c #Conflicts: 680000 | #Constraints: 26351
512.12/513.73 c #Conflicts: 681000 | #Constraints: 27351
512.12/513.73 c #Conflicts: 682000 | #Constraints: 28351
512.12/513.73 c #Conflicts: 683000 | #Constraints: 29351
512.12/513.73 c #Conflicts: 684000 | #Constraints: 30406
512.12/513.73 c #Conflicts: 685000 | #Constraints: 31406
512.12/513.73 c #Conflicts: 686000 | #Constraints: 32406
512.12/513.73 c #Conflicts: 687000 | #Constraints: 33475
512.12/513.73 c #Conflicts: 688000 | #Constraints: 34640
512.12/513.73 c INPROCESSING
512.12/513.73 c GARBAGE COLLECT
512.12/513.73 c rational objective 0
530.16/531.85 c #Conflicts: 689000 | #Constraints: 18431
530.16/531.85 c #Conflicts: 690000 | #Constraints: 19873
530.16/531.85 c #Conflicts: 691000 | #Constraints: 21355
530.16/531.85 c #Conflicts: 692000 | #Constraints: 22582
530.16/531.85 c #Conflicts: 693000 | #Constraints: 24052
530.16/531.85 c #Conflicts: 694000 | #Constraints: 25513
530.16/531.85 c #Conflicts: 695000 | #Constraints: 26989
530.16/531.85 c #Conflicts: 696000 | #Constraints: 28474
530.16/531.85 c #Conflicts: 697000 | #Constraints: 29890
530.16/531.85 c #Conflicts: 698000 | #Constraints: 30965
530.16/531.85 c #Conflicts: 699000 | #Constraints: 31965
530.16/531.85 c #Conflicts: 700000 | #Constraints: 33160
530.16/531.85 c #Conflicts: 701000 | #Constraints: 34618
530.16/531.85 c #Conflicts: 702000 | #Constraints: 36077
530.16/531.85 c #Conflicts: 703000 | #Constraints: 37525
530.16/531.85 c #Conflicts: 704000 | #Constraints: 38975
530.16/531.85 c #Conflicts: 705000 | #Constraints: 40443
530.16/531.85 c INPROCESSING
530.16/531.85 c GARBAGE COLLECT
530.16/531.85 c rational objective 0
548.51/550.24 c #Conflicts: 706000 | #Constraints: 21630
548.51/550.24 c #Conflicts: 707000 | #Constraints: 22630
548.51/550.24 c #Conflicts: 708000 | #Constraints: 23656
548.51/550.24 c #Conflicts: 709000 | #Constraints: 24930
548.51/550.24 c #Conflicts: 710000 | #Constraints: 26079
548.51/550.24 c #Conflicts: 711000 | #Constraints: 27079
548.51/550.24 c #Conflicts: 712000 | #Constraints: 28079
548.51/550.24 c #Conflicts: 713000 | #Constraints: 29079
548.51/550.24 c #Conflicts: 714000 | #Constraints: 30263
548.51/550.24 c #Conflicts: 715000 | #Constraints: 31742
548.51/550.24 c #Conflicts: 716000 | #Constraints: 33212
548.51/550.24 c #Conflicts: 717000 | #Constraints: 34559
548.51/550.24 c #Conflicts: 718000 | #Constraints: 35559
548.51/550.24 c #Conflicts: 719000 | #Constraints: 36559
548.51/550.24 c #Conflicts: 720000 | #Constraints: 37763
548.51/550.24 c #Conflicts: 721000 | #Constraints: 38763
548.51/550.24 c #Conflicts: 722000 | #Constraints: 39763
548.51/550.24 c INPROCESSING
548.51/550.24 c GARBAGE COLLECT
548.51/550.24 c rational objective 0
569.55/571.34 c #Conflicts: 723000 | #Constraints: 21316
569.55/571.34 c #Conflicts: 724000 | #Constraints: 22622
569.55/571.34 c #Conflicts: 725000 | #Constraints: 23842
569.55/571.34 c #Conflicts: 726000 | #Constraints: 25278
569.55/571.34 c #Conflicts: 727000 | #Constraints: 26745
569.55/571.34 c #Conflicts: 728000 | #Constraints: 28227
569.55/571.34 c #Conflicts: 729000 | #Constraints: 29460
569.55/571.34 c #Conflicts: 730000 | #Constraints: 30822
569.55/571.34 c #Conflicts: 731000 | #Constraints: 32285
569.55/571.34 c #Conflicts: 732000 | #Constraints: 33759
569.55/571.34 c #Conflicts: 733000 | #Constraints: 35237
569.55/571.34 c #Conflicts: 734000 | #Constraints: 36707
569.55/571.34 c #Conflicts: 735000 | #Constraints: 38162
569.55/571.34 c #Conflicts: 736000 | #Constraints: 39602
569.55/571.34 c #Conflicts: 737000 | #Constraints: 41051
569.55/571.34 c #Conflicts: 738000 | #Constraints: 42406
569.55/571.34 c #Conflicts: 739000 | #Constraints: 43860
569.55/571.34 c INPROCESSING
569.55/571.34 c GARBAGE COLLECT
569.55/571.34 c rational objective 0
595.37/597.24 c #Conflicts: 740000 | #Constraints: 23267
595.37/597.24 c #Conflicts: 741000 | #Constraints: 24732
595.37/597.24 c #Conflicts: 742000 | #Constraints: 26139
595.37/597.24 c #Conflicts: 743000 | #Constraints: 27521
595.37/597.24 c #Conflicts: 744000 | #Constraints: 28988
595.37/597.24 c #Conflicts: 745000 | #Constraints: 30453
595.37/597.24 c #Conflicts: 746000 | #Constraints: 31935
595.37/597.24 c #Conflicts: 747000 | #Constraints: 33397
595.37/597.24 c #Conflicts: 748000 | #Constraints: 34864
595.37/597.24 c #Conflicts: 749000 | #Constraints: 36340
595.37/597.24 c #Conflicts: 750000 | #Constraints: 37798
595.37/597.24 c #Conflicts: 751000 | #Constraints: 39242
595.37/597.24 c #Conflicts: 752000 | #Constraints: 40280
595.37/597.24 c #Conflicts: 753000 | #Constraints: 41280
595.37/597.24 c #Conflicts: 754000 | #Constraints: 42280
595.37/597.24 c #Conflicts: 755000 | #Constraints: 43280
595.37/597.24 c #Conflicts: 756000 | #Constraints: 44280
595.37/597.24 c INPROCESSING
595.37/597.24 c GARBAGE COLLECT
595.37/597.24 c rational objective 0
613.70/615.69 c #Conflicts: 757000 | #Constraints: 22858
613.70/615.69 c #Conflicts: 758000 | #Constraints: 23858
613.70/615.69 c #Conflicts: 759000 | #Constraints: 24858
613.70/615.69 c #Conflicts: 760000 | #Constraints: 25858
613.70/615.69 c #Conflicts: 761000 | #Constraints: 26859
613.70/615.69 c #Conflicts: 762000 | #Constraints: 27860
613.70/615.69 c #Conflicts: 763000 | #Constraints: 28861
613.70/615.69 c #Conflicts: 764000 | #Constraints: 29861
613.70/615.69 c #Conflicts: 765000 | #Constraints: 30861
613.70/615.69 c #Conflicts: 766000 | #Constraints: 31861
613.70/615.69 c #Conflicts: 767000 | #Constraints: 32861
613.70/615.69 c #Conflicts: 768000 | #Constraints: 33861
613.70/615.69 c #Conflicts: 769000 | #Constraints: 34861
613.70/615.69 c #Conflicts: 770000 | #Constraints: 35862
613.70/615.69 c #Conflicts: 771000 | #Constraints: 36862
613.70/615.69 c #Conflicts: 772000 | #Constraints: 37862
613.70/615.69 c #Conflicts: 773000 | #Constraints: 38862
613.70/615.69 c #Conflicts: 774000 | #Constraints: 39862
613.70/615.69 c INPROCESSING
613.70/615.69 c GARBAGE COLLECT
613.70/615.69 c rational objective 0
633.45/635.41 c #Conflicts: 775000 | #Constraints: 21146
633.45/635.41 c #Conflicts: 776000 | #Constraints: 22541
633.45/635.41 c #Conflicts: 777000 | #Constraints: 23606
633.45/635.41 c #Conflicts: 778000 | #Constraints: 24718
633.45/635.41 c #Conflicts: 779000 | #Constraints: 25718
633.45/635.41 c #Conflicts: 780000 | #Constraints: 26719
633.45/635.41 c #Conflicts: 781000 | #Constraints: 27719
633.45/635.41 c #Conflicts: 782000 | #Constraints: 29063
633.45/635.41 c #Conflicts: 783000 | #Constraints: 30266
633.45/635.41 c #Conflicts: 784000 | #Constraints: 31329
633.45/635.41 c #Conflicts: 785000 | #Constraints: 32494
633.45/635.41 c #Conflicts: 786000 | #Constraints: 33494
633.45/635.41 c #Conflicts: 787000 | #Constraints: 34956
633.45/635.41 c #Conflicts: 788000 | #Constraints: 36433
633.45/635.41 c #Conflicts: 789000 | #Constraints: 37931
633.45/635.41 c #Conflicts: 790000 | #Constraints: 39246
633.45/635.41 c #Conflicts: 791000 | #Constraints: 40425
633.45/635.41 c #Conflicts: 792000 | #Constraints: 41452
633.45/635.41 c INPROCESSING
633.45/635.41 c GARBAGE COLLECT
633.45/635.41 c rational objective 0
652.10/654.12 c #Conflicts: 793000 | #Constraints: 21946
652.10/654.12 c #Conflicts: 794000 | #Constraints: 22966
652.10/654.12 c #Conflicts: 795000 | #Constraints: 23966
652.10/654.12 c #Conflicts: 796000 | #Constraints: 25012
652.10/654.12 c #Conflicts: 797000 | #Constraints: 26024
652.10/654.12 c #Conflicts: 798000 | #Constraints: 27134
652.10/654.12 c #Conflicts: 799000 | #Constraints: 28235
652.10/654.12 c #Conflicts: 800000 | #Constraints: 29393
652.10/654.12 c #Conflicts: 801000 | #Constraints: 30393
652.10/654.12 c #Conflicts: 802000 | #Constraints: 31393
652.10/654.12 c #Conflicts: 803000 | #Constraints: 32393
652.10/654.12 c #Conflicts: 804000 | #Constraints: 33393
652.10/654.12 c #Conflicts: 805000 | #Constraints: 34393
652.10/654.12 c #Conflicts: 806000 | #Constraints: 35394
652.10/654.12 c #Conflicts: 807000 | #Constraints: 36437
652.10/654.12 c #Conflicts: 808000 | #Constraints: 37452
652.10/654.12 c #Conflicts: 809000 | #Constraints: 38452
652.10/654.12 c #Conflicts: 810000 | #Constraints: 39452
652.10/654.12 c INPROCESSING
652.10/654.12 c GARBAGE COLLECT
652.10/654.12 c rational objective 0
672.12/674.26 c #Conflicts: 811000 | #Constraints: 20980
672.12/674.26 c #Conflicts: 812000 | #Constraints: 22459
672.12/674.26 c #Conflicts: 813000 | #Constraints: 23464
672.12/674.26 c #Conflicts: 814000 | #Constraints: 24464
672.12/674.26 c #Conflicts: 815000 | #Constraints: 25464
672.12/674.26 c #Conflicts: 816000 | #Constraints: 26464
672.12/674.26 c #Conflicts: 817000 | #Constraints: 27464
672.12/674.26 c #Conflicts: 818000 | #Constraints: 28861
672.12/674.26 c #Conflicts: 819000 | #Constraints: 30317
672.12/674.26 c #Conflicts: 820000 | #Constraints: 31439
672.12/674.26 c #Conflicts: 821000 | #Constraints: 32720
672.12/674.26 c #Conflicts: 822000 | #Constraints: 33810
672.12/674.26 c #Conflicts: 823000 | #Constraints: 34810
672.12/674.26 c #Conflicts: 824000 | #Constraints: 35812
672.12/674.26 c #Conflicts: 825000 | #Constraints: 37290
672.12/674.26 c #Conflicts: 826000 | #Constraints: 38775
672.12/674.26 c #Conflicts: 827000 | #Constraints: 40270
672.12/674.26 c #Conflicts: 828000 | #Constraints: 41716
672.12/674.26 c INPROCESSING
672.12/674.26 c GARBAGE COLLECT
672.12/674.26 c rational objective 0
692.67/694.80 c #Conflicts: 829000 | #Constraints: 21845
692.67/694.80 c #Conflicts: 830000 | #Constraints: 23029
692.67/694.80 c #Conflicts: 831000 | #Constraints: 24188
692.67/694.80 c #Conflicts: 832000 | #Constraints: 25204
692.67/694.80 c #Conflicts: 833000 | #Constraints: 26240
692.67/694.80 c #Conflicts: 834000 | #Constraints: 27240
692.67/694.80 c #Conflicts: 835000 | #Constraints: 28246
692.67/694.80 c #Conflicts: 836000 | #Constraints: 29283
692.67/694.80 c #Conflicts: 837000 | #Constraints: 30345
692.67/694.80 c #Conflicts: 838000 | #Constraints: 31381
692.67/694.80 c #Conflicts: 839000 | #Constraints: 32381
692.67/694.80 c #Conflicts: 840000 | #Constraints: 33381
692.67/694.80 c #Conflicts: 841000 | #Constraints: 34381
692.67/694.80 c #Conflicts: 842000 | #Constraints: 35381
692.67/694.80 c #Conflicts: 843000 | #Constraints: 36381
692.67/694.80 c #Conflicts: 844000 | #Constraints: 37381
692.67/694.80 c #Conflicts: 845000 | #Constraints: 38477
692.67/694.80 c #Conflicts: 846000 | #Constraints: 39477
692.67/694.80 c INPROCESSING
692.67/694.80 c GARBAGE COLLECT
692.67/694.80 c rational objective 0
710.93/713.12 c #Conflicts: 847000 | #Constraints: 20546
710.93/713.12 c #Conflicts: 848000 | #Constraints: 21546
710.93/713.12 c #Conflicts: 849000 | #Constraints: 22546
710.93/713.12 c #Conflicts: 850000 | #Constraints: 23546
710.93/713.12 c #Conflicts: 851000 | #Constraints: 24546
710.93/713.12 c #Conflicts: 852000 | #Constraints: 25546
710.93/713.12 c #Conflicts: 853000 | #Constraints: 26546
710.93/713.12 c #Conflicts: 854000 | #Constraints: 27546
710.93/713.12 c #Conflicts: 855000 | #Constraints: 28546
710.93/713.12 c #Conflicts: 856000 | #Constraints: 29546
710.93/713.12 c #Conflicts: 857000 | #Constraints: 30546
710.93/713.12 c #Conflicts: 858000 | #Constraints: 31546
710.93/713.12 c #Conflicts: 859000 | #Constraints: 32546
710.93/713.12 c #Conflicts: 860000 | #Constraints: 33546
710.93/713.12 c #Conflicts: 861000 | #Constraints: 34547
710.93/713.12 c #Conflicts: 862000 | #Constraints: 35547
710.93/713.12 c #Conflicts: 863000 | #Constraints: 36547
710.93/713.12 c #Conflicts: 864000 | #Constraints: 37547
710.93/713.12 c #Conflicts: 865000 | #Constraints: 38547
710.93/713.12 c INPROCESSING
710.93/713.12 c GARBAGE COLLECT
710.93/713.12 c rational objective 0
728.66/730.97 c #Conflicts: 866000 | #Constraints: 20319
728.66/730.97 c #Conflicts: 867000 | #Constraints: 21346
728.66/730.97 c #Conflicts: 868000 | #Constraints: 22346
728.66/730.97 c #Conflicts: 869000 | #Constraints: 23346
728.66/730.97 c #Conflicts: 870000 | #Constraints: 24545
728.66/730.97 c #Conflicts: 871000 | #Constraints: 25545
728.66/730.97 c #Conflicts: 872000 | #Constraints: 26545
728.66/730.97 c #Conflicts: 873000 | #Constraints: 27545
728.66/730.97 c #Conflicts: 874000 | #Constraints: 28602
728.66/730.97 c #Conflicts: 875000 | #Constraints: 29602
728.66/730.97 c #Conflicts: 876000 | #Constraints: 30602
728.66/730.97 c #Conflicts: 877000 | #Constraints: 31602
728.66/730.97 c #Conflicts: 878000 | #Constraints: 32602
728.66/730.97 c #Conflicts: 879000 | #Constraints: 33602
728.66/730.97 c #Conflicts: 880000 | #Constraints: 34602
728.66/730.97 c #Conflicts: 881000 | #Constraints: 35705
728.66/730.97 c #Conflicts: 882000 | #Constraints: 36705
728.66/730.97 c #Conflicts: 883000 | #Constraints: 37843
728.66/730.97 c #Conflicts: 884000 | #Constraints: 38861
728.66/730.97 c INPROCESSING
728.66/730.97 c GARBAGE COLLECT
728.66/730.97 c rational objective 0
753.19/755.55 c #Conflicts: 885000 | #Constraints: 20792
753.19/755.55 c #Conflicts: 886000 | #Constraints: 22251
753.19/755.55 c #Conflicts: 887000 | #Constraints: 23701
753.19/755.55 c #Conflicts: 888000 | #Constraints: 25155
753.19/755.55 c #Conflicts: 889000 | #Constraints: 26619
753.19/755.55 c #Conflicts: 890000 | #Constraints: 28092
753.19/755.55 c #Conflicts: 891000 | #Constraints: 29561
753.19/755.55 c #Conflicts: 892000 | #Constraints: 31042
753.19/755.55 c #Conflicts: 893000 | #Constraints: 32519
753.19/755.55 c #Conflicts: 894000 | #Constraints: 33976
753.19/755.55 c #Conflicts: 895000 | #Constraints: 35437
753.19/755.55 c #Conflicts: 896000 | #Constraints: 36911
753.19/755.55 c #Conflicts: 897000 | #Constraints: 38176
753.19/755.55 c #Conflicts: 898000 | #Constraints: 39628
753.19/755.55 c #Conflicts: 899000 | #Constraints: 40628
753.19/755.55 c #Conflicts: 900000 | #Constraints: 41628
753.19/755.55 c #Conflicts: 901000 | #Constraints: 42822
753.19/755.55 c #Conflicts: 902000 | #Constraints: 44306
753.19/755.55 c #Conflicts: 903000 | #Constraints: 45771
753.19/755.55 c INPROCESSING
753.19/755.55 c GARBAGE COLLECT
753.19/755.55 c rational objective 0
775.32/777.73 c #Conflicts: 904000 | #Constraints: 24156
775.32/777.73 c #Conflicts: 905000 | #Constraints: 25458
775.32/777.73 c #Conflicts: 906000 | #Constraints: 26620
775.32/777.73 c #Conflicts: 907000 | #Constraints: 27756
775.32/777.73 c #Conflicts: 908000 | #Constraints: 29171
775.32/777.73 c #Conflicts: 909000 | #Constraints: 30570
775.32/777.73 c #Conflicts: 910000 | #Constraints: 31758
775.32/777.73 c #Conflicts: 911000 | #Constraints: 32758
775.32/777.73 c #Conflicts: 912000 | #Constraints: 33758
775.32/777.73 c #Conflicts: 913000 | #Constraints: 34856
775.32/777.73 c #Conflicts: 914000 | #Constraints: 36290
775.32/777.73 c #Conflicts: 915000 | #Constraints: 37407
775.32/777.73 c #Conflicts: 916000 | #Constraints: 38407
775.32/777.73 c #Conflicts: 917000 | #Constraints: 39419
775.32/777.73 c #Conflicts: 918000 | #Constraints: 40526
775.32/777.73 c #Conflicts: 919000 | #Constraints: 41526
775.32/777.73 c #Conflicts: 920000 | #Constraints: 42526
775.32/777.73 c #Conflicts: 921000 | #Constraints: 43526
775.32/777.73 c #Conflicts: 922000 | #Constraints: 44526
775.32/777.73 c INPROCESSING
775.32/777.73 c GARBAGE COLLECT
775.32/777.73 c rational objective 0
794.77/797.26 c #Conflicts: 923000 | #Constraints: 23178
794.77/797.26 c #Conflicts: 924000 | #Constraints: 24178
794.77/797.26 c #Conflicts: 925000 | #Constraints: 25178
794.77/797.26 c #Conflicts: 926000 | #Constraints: 26178
794.77/797.26 c #Conflicts: 927000 | #Constraints: 27178
794.77/797.26 c #Conflicts: 928000 | #Constraints: 28179
794.77/797.26 c #Conflicts: 929000 | #Constraints: 29179
794.77/797.26 c #Conflicts: 930000 | #Constraints: 30179
794.77/797.26 c #Conflicts: 931000 | #Constraints: 31179
794.77/797.26 c #Conflicts: 932000 | #Constraints: 32179
794.77/797.26 c #Conflicts: 933000 | #Constraints: 33179
794.77/797.26 c #Conflicts: 934000 | #Constraints: 34179
794.77/797.26 c #Conflicts: 935000 | #Constraints: 35179
794.77/797.26 c #Conflicts: 936000 | #Constraints: 36179
794.77/797.26 c #Conflicts: 937000 | #Constraints: 37179
794.77/797.26 c #Conflicts: 938000 | #Constraints: 38180
794.77/797.26 c #Conflicts: 939000 | #Constraints: 39180
794.77/797.26 c #Conflicts: 940000 | #Constraints: 40180
794.77/797.26 c #Conflicts: 941000 | #Constraints: 41180
794.77/797.26 c INPROCESSING
794.77/797.26 c GARBAGE COLLECT
794.77/797.26 c rational objective 0
816.29/818.82 c #Conflicts: 942000 | #Constraints: 21417
816.29/818.82 c #Conflicts: 943000 | #Constraints: 22728
816.29/818.82 c #Conflicts: 944000 | #Constraints: 23905
816.29/818.82 c #Conflicts: 945000 | #Constraints: 25183
816.29/818.82 c #Conflicts: 946000 | #Constraints: 26375
816.29/818.82 c #Conflicts: 947000 | #Constraints: 27637
816.29/818.82 c #Conflicts: 948000 | #Constraints: 28673
816.29/818.82 c #Conflicts: 949000 | #Constraints: 29724
816.29/818.82 c #Conflicts: 950000 | #Constraints: 30725
816.29/818.82 c #Conflicts: 951000 | #Constraints: 31725
816.29/818.82 c #Conflicts: 952000 | #Constraints: 32953
816.29/818.82 c #Conflicts: 953000 | #Constraints: 34105
816.29/818.82 c #Conflicts: 954000 | #Constraints: 35105
816.29/818.82 c #Conflicts: 955000 | #Constraints: 36105
816.29/818.82 c #Conflicts: 956000 | #Constraints: 37191
816.29/818.82 c #Conflicts: 957000 | #Constraints: 38252
816.29/818.82 c #Conflicts: 958000 | #Constraints: 39252
816.29/818.82 c #Conflicts: 959000 | #Constraints: 40303
816.29/818.82 c #Conflicts: 960000 | #Constraints: 41303
816.29/818.82 c #Conflicts: 961000 | #Constraints: 42303
816.29/818.82 c INPROCESSING
816.29/818.82 c GARBAGE COLLECT
816.29/818.82 c rational objective 0
834.95/837.52 c #Conflicts: 962000 | #Constraints: 22073
834.95/837.52 c #Conflicts: 963000 | #Constraints: 23073
834.95/837.52 c #Conflicts: 964000 | #Constraints: 24073
834.95/837.52 c #Conflicts: 965000 | #Constraints: 25073
834.95/837.52 c #Conflicts: 966000 | #Constraints: 26074
834.95/837.52 c #Conflicts: 967000 | #Constraints: 27074
834.95/837.52 c #Conflicts: 968000 | #Constraints: 28074
834.95/837.52 c #Conflicts: 969000 | #Constraints: 29074
834.95/837.52 c #Conflicts: 970000 | #Constraints: 30074
834.95/837.52 c #Conflicts: 971000 | #Constraints: 31074
834.95/837.52 c #Conflicts: 972000 | #Constraints: 32074
834.95/837.52 c #Conflicts: 973000 | #Constraints: 33074
834.95/837.52 c #Conflicts: 974000 | #Constraints: 34074
834.95/837.52 c #Conflicts: 975000 | #Constraints: 35074
834.95/837.52 c #Conflicts: 976000 | #Constraints: 36074
834.95/837.52 c #Conflicts: 977000 | #Constraints: 37075
834.95/837.52 c #Conflicts: 978000 | #Constraints: 38075
834.95/837.52 c #Conflicts: 979000 | #Constraints: 39075
834.95/837.52 c #Conflicts: 980000 | #Constraints: 40075
834.95/837.52 c #Conflicts: 981000 | #Constraints: 41075
834.95/837.52 c INPROCESSING
834.95/837.52 c GARBAGE COLLECT
834.95/837.52 c rational objective 0
856.58/859.22 c #Conflicts: 982000 | #Constraints: 21604
856.58/859.22 c #Conflicts: 983000 | #Constraints: 22604
856.58/859.22 c #Conflicts: 984000 | #Constraints: 23764
856.58/859.22 c #Conflicts: 985000 | #Constraints: 24985
856.58/859.22 c #Conflicts: 986000 | #Constraints: 26073
856.58/859.22 c #Conflicts: 987000 | #Constraints: 27132
856.58/859.22 c #Conflicts: 988000 | #Constraints: 28206
856.58/859.22 c #Conflicts: 989000 | #Constraints: 29299
856.58/859.22 c #Conflicts: 990000 | #Constraints: 30300
856.58/859.22 c #Conflicts: 991000 | #Constraints: 31442
856.58/859.22 c #Conflicts: 992000 | #Constraints: 32477
856.58/859.22 c #Conflicts: 993000 | #Constraints: 33477
856.58/859.22 c #Conflicts: 994000 | #Constraints: 34477
856.58/859.22 c #Conflicts: 995000 | #Constraints: 35477
856.58/859.22 c #Conflicts: 996000 | #Constraints: 36477
856.58/859.22 c #Conflicts: 997000 | #Constraints: 37537
856.58/859.22 c #Conflicts: 998000 | #Constraints: 38633
856.58/859.22 c #Conflicts: 999000 | #Constraints: 39708
856.58/859.22 c #Conflicts: 1000000 | #Constraints: 40785
856.58/859.22 c #Conflicts: 1001000 | #Constraints: 41859
856.58/859.22 c INPROCESSING
856.58/859.22 c GARBAGE COLLECT
856.58/859.22 c rational objective 0
876.02/878.72 c #Conflicts: 1002000 | #Constraints: 21946
876.02/878.72 c #Conflicts: 1003000 | #Constraints: 22946
876.02/878.72 c #Conflicts: 1004000 | #Constraints: 23946
876.02/878.72 c #Conflicts: 1005000 | #Constraints: 24946
876.02/878.72 c #Conflicts: 1006000 | #Constraints: 25946
876.02/878.72 c #Conflicts: 1007000 | #Constraints: 26946
876.02/878.72 c #Conflicts: 1008000 | #Constraints: 27946
876.02/878.72 c #Conflicts: 1009000 | #Constraints: 28946
876.02/878.72 c #Conflicts: 1010000 | #Constraints: 29946
876.02/878.72 c #Conflicts: 1011000 | #Constraints: 30947
876.02/878.72 c #Conflicts: 1012000 | #Constraints: 31947
876.02/878.72 c #Conflicts: 1013000 | #Constraints: 32947
876.02/878.72 c #Conflicts: 1014000 | #Constraints: 33947
876.02/878.72 c #Conflicts: 1015000 | #Constraints: 34947
876.02/878.72 c #Conflicts: 1016000 | #Constraints: 35947
876.02/878.72 c #Conflicts: 1017000 | #Constraints: 36947
876.02/878.72 c #Conflicts: 1018000 | #Constraints: 37947
876.02/878.72 c #Conflicts: 1019000 | #Constraints: 38947
876.02/878.72 c #Conflicts: 1020000 | #Constraints: 39947
876.02/878.72 c #Conflicts: 1021000 | #Constraints: 40947
876.02/878.72 c INPROCESSING
876.02/878.72 c GARBAGE COLLECT
876.02/878.72 c rational objective 0
897.65/900.43 c #Conflicts: 1022000 | #Constraints: 21636
897.65/900.43 c #Conflicts: 1023000 | #Constraints: 22848
897.65/900.43 c #Conflicts: 1024000 | #Constraints: 23877
897.65/900.43 c #Conflicts: 1025000 | #Constraints: 24934
897.65/900.43 c #Conflicts: 1026000 | #Constraints: 26224
897.65/900.43 c #Conflicts: 1027000 | #Constraints: 27286
897.65/900.43 c #Conflicts: 1028000 | #Constraints: 28314
897.65/900.43 c #Conflicts: 1029000 | #Constraints: 29399
897.65/900.43 c #Conflicts: 1030000 | #Constraints: 30642
897.65/900.43 c #Conflicts: 1031000 | #Constraints: 31642
897.65/900.43 c #Conflicts: 1032000 | #Constraints: 32658
897.65/900.43 c #Conflicts: 1033000 | #Constraints: 33748
897.65/900.43 c #Conflicts: 1034000 | #Constraints: 34835
897.65/900.43 c #Conflicts: 1035000 | #Constraints: 35835
897.65/900.43 c #Conflicts: 1036000 | #Constraints: 36835
897.65/900.43 c #Conflicts: 1037000 | #Constraints: 37835
897.65/900.43 c #Conflicts: 1038000 | #Constraints: 38903
897.65/900.43 c #Conflicts: 1039000 | #Constraints: 39952
897.65/900.43 c #Conflicts: 1040000 | #Constraints: 40988
897.65/900.43 c #Conflicts: 1041000 | #Constraints: 42062
897.65/900.43 c INPROCESSING
897.65/900.43 c GARBAGE COLLECT
897.65/900.43 c rational objective 0
920.09/922.91 c #Conflicts: 1042000 | #Constraints: 21771
920.09/922.91 c #Conflicts: 1043000 | #Constraints: 22816
920.09/922.91 c #Conflicts: 1044000 | #Constraints: 23879
920.09/922.91 c #Conflicts: 1045000 | #Constraints: 24879
920.09/922.91 c #Conflicts: 1046000 | #Constraints: 25879
920.09/922.91 c #Conflicts: 1047000 | #Constraints: 26880
920.09/922.91 c #Conflicts: 1048000 | #Constraints: 27931
920.09/922.91 c #Conflicts: 1049000 | #Constraints: 28964
920.09/922.91 c #Conflicts: 1050000 | #Constraints: 29980
920.09/922.91 c #Conflicts: 1051000 | #Constraints: 31042
920.09/922.91 c #Conflicts: 1052000 | #Constraints: 32042
920.09/922.91 c #Conflicts: 1053000 | #Constraints: 33042
920.09/922.91 c #Conflicts: 1054000 | #Constraints: 34042
920.09/922.91 c #Conflicts: 1055000 | #Constraints: 35042
920.09/922.91 c #Conflicts: 1056000 | #Constraints: 36092
920.09/922.91 c #Conflicts: 1057000 | #Constraints: 37131
920.09/922.91 c #Conflicts: 1058000 | #Constraints: 38147
920.09/922.91 c #Conflicts: 1059000 | #Constraints: 39147
920.09/922.91 c #Conflicts: 1060000 | #Constraints: 40203
920.09/922.91 c #Conflicts: 1061000 | #Constraints: 41244
920.09/922.91 c #Conflicts: 1062000 | #Constraints: 42268
920.09/922.91 c INPROCESSING
920.09/922.91 c GARBAGE COLLECT
920.09/922.91 c rational objective 0
943.02/945.96 c #Conflicts: 1063000 | #Constraints: 22076
943.02/945.96 c #Conflicts: 1064000 | #Constraints: 23076
943.02/945.96 c #Conflicts: 1065000 | #Constraints: 24094
943.02/945.96 c #Conflicts: 1066000 | #Constraints: 25099
943.02/945.96 c #Conflicts: 1067000 | #Constraints: 26221
943.02/945.96 c #Conflicts: 1068000 | #Constraints: 27425
943.02/945.96 c #Conflicts: 1069000 | #Constraints: 28550
943.02/945.96 c #Conflicts: 1070000 | #Constraints: 29576
943.02/945.96 c #Conflicts: 1071000 | #Constraints: 30614
943.02/945.96 c #Conflicts: 1072000 | #Constraints: 31740
943.02/945.96 c #Conflicts: 1073000 | #Constraints: 32740
943.02/945.96 c #Conflicts: 1074000 | #Constraints: 33740
943.02/945.96 c #Conflicts: 1075000 | #Constraints: 34766
943.02/945.96 c #Conflicts: 1076000 | #Constraints: 35852
943.02/945.96 c #Conflicts: 1077000 | #Constraints: 36862
943.02/945.96 c #Conflicts: 1078000 | #Constraints: 37862
943.02/945.96 c #Conflicts: 1079000 | #Constraints: 38890
943.02/945.96 c #Conflicts: 1080000 | #Constraints: 39890
943.02/945.96 c #Conflicts: 1081000 | #Constraints: 40890
943.02/945.96 c #Conflicts: 1082000 | #Constraints: 41905
943.02/945.96 c #Conflicts: 1083000 | #Constraints: 42905
943.02/945.96 c INPROCESSING
943.02/945.96 c GARBAGE COLLECT
943.02/945.96 c rational objective 0
964.86/967.89 c #Conflicts: 1084000 | #Constraints: 22472
964.86/967.89 c #Conflicts: 1085000 | #Constraints: 23472
964.86/967.89 c #Conflicts: 1086000 | #Constraints: 24473
964.86/967.89 c #Conflicts: 1087000 | #Constraints: 25473
964.86/967.89 c #Conflicts: 1088000 | #Constraints: 26473
964.86/967.89 c #Conflicts: 1089000 | #Constraints: 27473
964.86/967.89 c #Conflicts: 1090000 | #Constraints: 28474
964.86/967.89 c #Conflicts: 1091000 | #Constraints: 29474
964.86/967.89 c #Conflicts: 1092000 | #Constraints: 30474
964.86/967.89 c #Conflicts: 1093000 | #Constraints: 31474
964.86/967.89 c #Conflicts: 1094000 | #Constraints: 32474
964.86/967.89 c #Conflicts: 1095000 | #Constraints: 33474
964.86/967.89 c #Conflicts: 1096000 | #Constraints: 34474
964.86/967.89 c #Conflicts: 1097000 | #Constraints: 35474
964.86/967.89 c #Conflicts: 1098000 | #Constraints: 36474
964.86/967.89 c #Conflicts: 1099000 | #Constraints: 37474
964.86/967.89 c #Conflicts: 1100000 | #Constraints: 38474
964.86/967.89 c #Conflicts: 1101000 | #Constraints: 39474
964.86/967.89 c #Conflicts: 1102000 | #Constraints: 40474
964.86/967.89 c #Conflicts: 1103000 | #Constraints: 41474
964.86/967.89 c #Conflicts: 1104000 | #Constraints: 42474
964.86/967.89 c INPROCESSING
964.86/967.89 c GARBAGE COLLECT
964.86/967.89 c rational objective 0
987.89/990.95 c #Conflicts: 1105000 | #Constraints: 22404
987.89/990.95 c #Conflicts: 1106000 | #Constraints: 23456
987.89/990.95 c #Conflicts: 1107000 | #Constraints: 24539
987.89/990.95 c #Conflicts: 1108000 | #Constraints: 25539
987.89/990.95 c #Conflicts: 1109000 | #Constraints: 26639
987.89/990.95 c #Conflicts: 1110000 | #Constraints: 27653
987.89/990.95 c #Conflicts: 1111000 | #Constraints: 28653
987.89/990.95 c #Conflicts: 1112000 | #Constraints: 29653
987.89/990.95 c #Conflicts: 1113000 | #Constraints: 30653
987.89/990.95 c #Conflicts: 1114000 | #Constraints: 31653
987.89/990.95 c #Conflicts: 1115000 | #Constraints: 32653
987.89/990.95 c #Conflicts: 1116000 | #Constraints: 33672
987.89/990.95 c #Conflicts: 1117000 | #Constraints: 34672
987.89/990.95 c #Conflicts: 1118000 | #Constraints: 35726
987.89/990.95 c #Conflicts: 1119000 | #Constraints: 36726
987.89/990.95 c #Conflicts: 1120000 | #Constraints: 37726
987.89/990.95 c #Conflicts: 1121000 | #Constraints: 38726
987.89/990.95 c #Conflicts: 1122000 | #Constraints: 39797
987.89/990.95 c #Conflicts: 1123000 | #Constraints: 40797
987.89/990.95 c #Conflicts: 1124000 | #Constraints: 41797
987.89/990.95 c #Conflicts: 1125000 | #Constraints: 42797
987.89/990.95 c INPROCESSING
987.89/990.95 c GARBAGE COLLECT
987.89/990.95 c rational objective 0
1012.04/1015.18 c #Conflicts: 1126000 | #Constraints: 22373
1012.04/1015.18 c #Conflicts: 1127000 | #Constraints: 23466
1012.04/1015.18 c #Conflicts: 1128000 | #Constraints: 24620
1012.04/1015.18 c #Conflicts: 1129000 | #Constraints: 25669
1012.04/1015.18 c #Conflicts: 1130000 | #Constraints: 26669
1012.04/1015.18 c #Conflicts: 1131000 | #Constraints: 27674
1012.04/1015.18 c #Conflicts: 1132000 | #Constraints: 28674
1012.04/1015.18 c #Conflicts: 1133000 | #Constraints: 29775
1012.04/1015.18 c #Conflicts: 1134000 | #Constraints: 30800
1012.04/1015.18 c #Conflicts: 1135000 | #Constraints: 31800
1012.04/1015.18 c #Conflicts: 1136000 | #Constraints: 32800
1012.04/1015.18 c #Conflicts: 1137000 | #Constraints: 33800
1012.04/1015.18 c #Conflicts: 1138000 | #Constraints: 34800
1012.04/1015.18 c #Conflicts: 1139000 | #Constraints: 35808
1012.04/1015.18 c #Conflicts: 1140000 | #Constraints: 36809
1012.04/1015.18 c #Conflicts: 1141000 | #Constraints: 37810
1012.04/1015.18 c #Conflicts: 1142000 | #Constraints: 38810
1012.04/1015.18 c #Conflicts: 1143000 | #Constraints: 39811
1012.04/1015.18 c #Conflicts: 1144000 | #Constraints: 40882
1012.04/1015.18 c #Conflicts: 1145000 | #Constraints: 41933
1012.04/1015.18 c #Conflicts: 1146000 | #Constraints: 42933
1012.04/1015.18 c INPROCESSING
1012.04/1015.18 c GARBAGE COLLECT
1012.04/1015.18 c rational objective 0
1045.31/1048.52 c #Conflicts: 1147000 | #Constraints: 22348
1045.31/1048.52 c #Conflicts: 1148000 | #Constraints: 23818
1045.31/1048.52 c #Conflicts: 1149000 | #Constraints: 25307
1045.31/1048.52 c #Conflicts: 1150000 | #Constraints: 26772
1045.31/1048.52 c #Conflicts: 1151000 | #Constraints: 28239
1045.31/1048.52 c #Conflicts: 1152000 | #Constraints: 29718
1045.31/1048.52 c #Conflicts: 1153000 | #Constraints: 31202
1045.31/1048.52 c #Conflicts: 1154000 | #Constraints: 32662
1045.31/1048.52 c #Conflicts: 1155000 | #Constraints: 34130
1045.31/1048.52 c #Conflicts: 1156000 | #Constraints: 35593
1045.31/1048.52 c #Conflicts: 1157000 | #Constraints: 37080
1045.31/1048.52 c #Conflicts: 1158000 | #Constraints: 38554
1045.31/1048.52 c #Conflicts: 1159000 | #Constraints: 40039
1045.31/1048.52 c #Conflicts: 1160000 | #Constraints: 41526
1045.31/1048.52 c #Conflicts: 1161000 | #Constraints: 42989
1045.31/1048.52 c #Conflicts: 1162000 | #Constraints: 44462
1045.31/1048.52 c #Conflicts: 1163000 | #Constraints: 45928
1045.31/1048.52 c #Conflicts: 1164000 | #Constraints: 47394
1045.31/1048.52 c #Conflicts: 1165000 | #Constraints: 48871
1045.31/1048.52 c #Conflicts: 1166000 | #Constraints: 50350
1045.31/1048.52 c #Conflicts: 1167000 | #Constraints: 51820
1045.31/1048.52 c #Conflicts: 1168000 | #Constraints: 53302
1045.31/1048.52 c INPROCESSING
1045.31/1048.52 c GARBAGE COLLECT
1045.31/1048.52 c rational objective 0
1077.02/1080.30 c #Conflicts: 1169000 | #Constraints: 27781
1077.02/1080.30 c #Conflicts: 1170000 | #Constraints: 28925
1077.02/1080.30 c #Conflicts: 1171000 | #Constraints: 30076
1077.02/1080.30 c #Conflicts: 1172000 | #Constraints: 31431
1077.02/1080.30 c #Conflicts: 1173000 | #Constraints: 32581
1077.02/1080.30 c #Conflicts: 1174000 | #Constraints: 33824
1077.02/1080.30 c #Conflicts: 1175000 | #Constraints: 34824
1077.02/1080.30 c #Conflicts: 1176000 | #Constraints: 35842
1077.02/1080.30 c #Conflicts: 1177000 | #Constraints: 36842
1077.02/1080.30 c #Conflicts: 1178000 | #Constraints: 37842
1077.02/1080.30 c #Conflicts: 1179000 | #Constraints: 38881
1077.02/1080.30 c #Conflicts: 1180000 | #Constraints: 39955
1077.02/1080.30 c #Conflicts: 1181000 | #Constraints: 40955
1077.02/1080.30 c #Conflicts: 1182000 | #Constraints: 42013
1077.02/1080.30 c #Conflicts: 1183000 | #Constraints: 43013
1077.02/1080.30 c #Conflicts: 1184000 | #Constraints: 44013
1077.02/1080.30 c #Conflicts: 1185000 | #Constraints: 45013
1077.02/1080.30 c #Conflicts: 1186000 | #Constraints: 46367
1077.02/1080.30 c #Conflicts: 1187000 | #Constraints: 47367
1077.02/1080.30 c #Conflicts: 1188000 | #Constraints: 48367
1077.02/1080.30 c #Conflicts: 1189000 | #Constraints: 49367
1077.02/1080.30 c #Conflicts: 1190000 | #Constraints: 50367
1077.02/1080.30 c INPROCESSING
1077.02/1080.30 c GARBAGE COLLECT
1077.02/1080.30 c rational objective 0
1117.89/1121.30 c #Conflicts: 1191000 | #Constraints: 26674
1117.89/1121.30 c #Conflicts: 1192000 | #Constraints: 28148
1117.89/1121.30 c #Conflicts: 1193000 | #Constraints: 29623
1117.89/1121.30 c #Conflicts: 1194000 | #Constraints: 31057
1117.89/1121.30 c #Conflicts: 1195000 | #Constraints: 32527
1117.89/1121.30 c #Conflicts: 1196000 | #Constraints: 33947
1117.89/1121.30 c #Conflicts: 1197000 | #Constraints: 35420
1117.89/1121.30 c #Conflicts: 1198000 | #Constraints: 36891
1117.89/1121.30 c #Conflicts: 1199000 | #Constraints: 38346
1117.89/1121.30 c #Conflicts: 1200000 | #Constraints: 39826
1117.89/1121.30 c #Conflicts: 1201000 | #Constraints: 41287
1117.89/1121.30 c #Conflicts: 1202000 | #Constraints: 42753
1117.89/1121.30 c #Conflicts: 1203000 | #Constraints: 44227
1117.89/1121.30 c #Conflicts: 1204000 | #Constraints: 45694
1117.89/1121.30 c #Conflicts: 1205000 | #Constraints: 47166
1117.89/1121.30 c #Conflicts: 1206000 | #Constraints: 48629
1117.89/1121.30 c #Conflicts: 1207000 | #Constraints: 50111
1117.89/1121.30 c #Conflicts: 1208000 | #Constraints: 51579
1117.89/1121.30 c #Conflicts: 1209000 | #Constraints: 53041
1117.89/1121.30 c #Conflicts: 1210000 | #Constraints: 54487
1117.89/1121.30 c #Conflicts: 1211000 | #Constraints: 55947
1117.89/1121.30 c #Conflicts: 1212000 | #Constraints: 57433
1117.89/1121.30 c INPROCESSING
1117.89/1121.30 c GARBAGE COLLECT
1117.89/1121.30 c rational objective 0
1169.62/1173.28 c #Conflicts: 1213000 | #Constraints: 30195
1169.62/1173.28 c #Conflicts: 1214000 | #Constraints: 31665
1169.62/1173.28 c #Conflicts: 1215000 | #Constraints: 33152
1169.62/1173.28 c #Conflicts: 1216000 | #Constraints: 34611
1169.62/1173.28 c #Conflicts: 1217000 | #Constraints: 36060
1169.62/1173.28 c #Conflicts: 1218000 | #Constraints: 37497
1169.62/1173.28 c #Conflicts: 1219000 | #Constraints: 38972
1169.62/1173.28 c #Conflicts: 1220000 | #Constraints: 40448
1169.62/1173.28 c #Conflicts: 1221000 | #Constraints: 41940
1169.62/1173.28 c #Conflicts: 1222000 | #Constraints: 43422
1169.62/1173.28 c #Conflicts: 1223000 | #Constraints: 44859
1169.62/1173.28 c #Conflicts: 1224000 | #Constraints: 46345
1169.62/1173.28 c #Conflicts: 1225000 | #Constraints: 47823
1169.62/1173.28 c #Conflicts: 1226000 | #Constraints: 49295
1169.62/1173.28 c #Conflicts: 1227000 | #Constraints: 50764
1169.62/1173.28 c #Conflicts: 1228000 | #Constraints: 52230
1169.62/1173.28 c #Conflicts: 1229000 | #Constraints: 53716
1169.62/1173.28 c #Conflicts: 1230000 | #Constraints: 55183
1169.62/1173.28 c #Conflicts: 1231000 | #Constraints: 56669
1169.62/1173.28 c #Conflicts: 1232000 | #Constraints: 58142
1169.62/1173.28 c #Conflicts: 1233000 | #Constraints: 59596
1169.62/1173.28 c #Conflicts: 1234000 | #Constraints: 61086
1169.62/1173.28 c INPROCESSING
1169.62/1173.28 c GARBAGE COLLECT
1169.62/1173.28 c rational objective 0
1207.90/1211.64 c #Conflicts: 1235000 | #Constraints: 31696
1207.90/1211.64 c #Conflicts: 1236000 | #Constraints: 32916
1207.90/1211.64 c #Conflicts: 1237000 | #Constraints: 33991
1207.90/1211.64 c #Conflicts: 1238000 | #Constraints: 35127
1207.90/1211.64 c #Conflicts: 1239000 | #Constraints: 36369
1207.90/1211.64 c #Conflicts: 1240000 | #Constraints: 37583
1207.90/1211.64 c #Conflicts: 1241000 | #Constraints: 38766
1207.90/1211.64 c #Conflicts: 1242000 | #Constraints: 39766
1207.90/1211.64 c #Conflicts: 1243000 | #Constraints: 40766
1207.90/1211.64 c #Conflicts: 1244000 | #Constraints: 41770
1207.90/1211.64 c #Conflicts: 1245000 | #Constraints: 42771
1207.90/1211.64 c #Conflicts: 1246000 | #Constraints: 44097
1207.90/1211.64 c #Conflicts: 1247000 | #Constraints: 45219
1207.90/1211.64 c #Conflicts: 1248000 | #Constraints: 46343
1207.90/1211.64 c #Conflicts: 1249000 | #Constraints: 47456
1207.90/1211.64 c #Conflicts: 1250000 | #Constraints: 48456
1207.90/1211.64 c #Conflicts: 1251000 | #Constraints: 49459
1207.90/1211.64 c #Conflicts: 1252000 | #Constraints: 50597
1207.90/1211.64 c #Conflicts: 1253000 | #Constraints: 51597
1207.90/1211.64 c #Conflicts: 1254000 | #Constraints: 52597
1207.90/1211.64 c #Conflicts: 1255000 | #Constraints: 53597
1207.90/1211.64 c #Conflicts: 1256000 | #Constraints: 54597
1207.90/1211.64 c INPROCESSING
1207.90/1211.64 c GARBAGE COLLECT
1207.90/1211.64 c rational objective 0
1244.68/1248.53 c #Conflicts: 1257000 | #Constraints: 28189
1244.68/1248.53 c #Conflicts: 1258000 | #Constraints: 29674
1244.68/1248.53 c #Conflicts: 1259000 | #Constraints: 30822
1244.68/1248.53 c #Conflicts: 1260000 | #Constraints: 31895
1244.68/1248.53 c #Conflicts: 1261000 | #Constraints: 32895
1244.68/1248.53 c #Conflicts: 1262000 | #Constraints: 33895
1244.68/1248.53 c #Conflicts: 1263000 | #Constraints: 34895
1244.68/1248.53 c #Conflicts: 1264000 | #Constraints: 35895
1244.68/1248.53 c #Conflicts: 1265000 | #Constraints: 36895
1244.68/1248.53 c #Conflicts: 1266000 | #Constraints: 37895
1244.68/1248.53 c #Conflicts: 1267000 | #Constraints: 38896
1244.68/1248.53 c #Conflicts: 1268000 | #Constraints: 39955
1244.68/1248.53 c #Conflicts: 1269000 | #Constraints: 41416
1244.68/1248.53 c #Conflicts: 1270000 | #Constraints: 42889
1244.68/1248.53 c #Conflicts: 1271000 | #Constraints: 44346
1244.68/1248.53 c #Conflicts: 1272000 | #Constraints: 45838
1244.68/1248.53 c #Conflicts: 1273000 | #Constraints: 47303
1244.68/1248.53 c #Conflicts: 1274000 | #Constraints: 48501
1244.68/1248.53 c #Conflicts: 1275000 | #Constraints: 49501
1244.68/1248.53 c #Conflicts: 1276000 | #Constraints: 50501
1244.68/1248.53 c #Conflicts: 1277000 | #Constraints: 51953
1244.68/1248.53 c #Conflicts: 1278000 | #Constraints: 53438
1244.68/1248.53 c #Conflicts: 1279000 | #Constraints: 54920
1244.68/1248.53 c INPROCESSING
1244.68/1248.53 c GARBAGE COLLECT
1244.68/1248.53 c rational objective 0
1289.73/1293.75 c #Conflicts: 1280000 | #Constraints: 28802
1289.73/1293.75 c #Conflicts: 1281000 | #Constraints: 30280
1289.73/1293.75 c #Conflicts: 1282000 | #Constraints: 31736
1289.73/1293.75 c #Conflicts: 1283000 | #Constraints: 33212
1289.73/1293.75 c #Conflicts: 1284000 | #Constraints: 34681
1289.73/1293.75 c #Conflicts: 1285000 | #Constraints: 36160
1289.73/1293.75 c #Conflicts: 1286000 | #Constraints: 37639
1289.73/1293.75 c #Conflicts: 1287000 | #Constraints: 39114
1289.73/1293.75 c #Conflicts: 1288000 | #Constraints: 40580
1289.73/1293.75 c #Conflicts: 1289000 | #Constraints: 42010
1289.73/1293.75 c #Conflicts: 1290000 | #Constraints: 43010
1289.73/1293.75 c #Conflicts: 1291000 | #Constraints: 44010
1289.73/1293.75 c #Conflicts: 1292000 | #Constraints: 45010
1289.73/1293.75 c #Conflicts: 1293000 | #Constraints: 46011
1289.73/1293.75 c #Conflicts: 1294000 | #Constraints: 47011
1289.73/1293.75 c #Conflicts: 1295000 | #Constraints: 48011
1289.73/1293.75 c #Conflicts: 1296000 | #Constraints: 49011
1289.73/1293.75 c #Conflicts: 1297000 | #Constraints: 50011
1289.73/1293.75 c #Conflicts: 1298000 | #Constraints: 51011
1289.73/1293.75 c #Conflicts: 1299000 | #Constraints: 52012
1289.73/1293.75 c #Conflicts: 1300000 | #Constraints: 53345
1289.73/1293.75 c #Conflicts: 1301000 | #Constraints: 54345
1289.73/1293.75 c #Conflicts: 1302000 | #Constraints: 55433
1289.73/1293.75 c INPROCESSING
1289.73/1293.75 c GARBAGE COLLECT
1289.73/1293.75 c rational objective 0
1326.12/1330.28 c #Conflicts: 1303000 | #Constraints: 29008
1326.12/1330.28 c #Conflicts: 1304000 | #Constraints: 30051
1326.12/1330.28 c #Conflicts: 1305000 | #Constraints: 31147
1326.12/1330.28 c #Conflicts: 1306000 | #Constraints: 32175
1326.12/1330.28 c #Conflicts: 1307000 | #Constraints: 33264
1326.12/1330.28 c #Conflicts: 1308000 | #Constraints: 34265
1326.12/1330.28 c #Conflicts: 1309000 | #Constraints: 35265
1326.12/1330.28 c #Conflicts: 1310000 | #Constraints: 36346
1326.12/1330.28 c #Conflicts: 1311000 | #Constraints: 37346
1326.12/1330.28 c #Conflicts: 1312000 | #Constraints: 38346
1326.12/1330.28 c #Conflicts: 1313000 | #Constraints: 39347
1326.12/1330.28 c #Conflicts: 1314000 | #Constraints: 40347
1326.12/1330.28 c #Conflicts: 1315000 | #Constraints: 41347
1326.12/1330.28 c #Conflicts: 1316000 | #Constraints: 42347
1326.12/1330.28 c #Conflicts: 1317000 | #Constraints: 43347
1326.12/1330.28 c #Conflicts: 1318000 | #Constraints: 44347
1326.12/1330.28 c #Conflicts: 1319000 | #Constraints: 45347
1326.12/1330.28 c #Conflicts: 1320000 | #Constraints: 46347
1326.12/1330.28 c #Conflicts: 1321000 | #Constraints: 47347
1326.12/1330.28 c #Conflicts: 1322000 | #Constraints: 48347
1326.12/1330.28 c #Conflicts: 1323000 | #Constraints: 49392
1326.12/1330.28 c #Conflicts: 1324000 | #Constraints: 50411
1326.12/1330.28 c #Conflicts: 1325000 | #Constraints: 51411
1326.12/1330.28 c INPROCESSING
1326.12/1330.28 c GARBAGE COLLECT
1326.12/1330.28 c rational objective 0
1370.28/1374.54 c #Conflicts: 1326000 | #Constraints: 26955
1370.28/1374.54 c #Conflicts: 1327000 | #Constraints: 27967
1370.28/1374.54 c #Conflicts: 1328000 | #Constraints: 29424
1370.28/1374.54 c #Conflicts: 1329000 | #Constraints: 30635
1370.28/1374.54 c #Conflicts: 1330000 | #Constraints: 31727
1370.28/1374.54 c #Conflicts: 1331000 | #Constraints: 32727
1370.28/1374.54 c #Conflicts: 1332000 | #Constraints: 33727
1370.28/1374.54 c #Conflicts: 1333000 | #Constraints: 35091
1370.28/1374.54 c #Conflicts: 1334000 | #Constraints: 36366
1370.28/1374.54 c #Conflicts: 1335000 | #Constraints: 37742
1370.28/1374.54 c #Conflicts: 1336000 | #Constraints: 39163
1370.28/1374.54 c #Conflicts: 1337000 | #Constraints: 40451
1370.28/1374.54 c #Conflicts: 1338000 | #Constraints: 41451
1370.28/1374.54 c #Conflicts: 1339000 | #Constraints: 42834
1370.28/1374.54 c #Conflicts: 1340000 | #Constraints: 44302
1370.28/1374.54 c #Conflicts: 1341000 | #Constraints: 45453
1370.28/1374.54 c #Conflicts: 1342000 | #Constraints: 46453
1370.28/1374.54 c #Conflicts: 1343000 | #Constraints: 47453
1370.28/1374.54 c #Conflicts: 1344000 | #Constraints: 48685
1370.28/1374.54 c #Conflicts: 1345000 | #Constraints: 50170
1370.28/1374.54 c #Conflicts: 1346000 | #Constraints: 51636
1370.28/1374.54 c #Conflicts: 1347000 | #Constraints: 52868
1370.28/1374.54 c #Conflicts: 1348000 | #Constraints: 53882
1370.28/1374.54 c INPROCESSING
1370.28/1374.54 c GARBAGE COLLECT
1370.28/1374.54 c rational objective 0
1406.07/1410.41 c #Conflicts: 1349000 | #Constraints: 28022
1406.07/1410.41 c #Conflicts: 1350000 | #Constraints: 29134
1406.07/1410.41 c #Conflicts: 1351000 | #Constraints: 30134
1406.07/1410.41 c #Conflicts: 1352000 | #Constraints: 31179
1406.07/1410.41 c #Conflicts: 1353000 | #Constraints: 32180
1406.07/1410.41 c #Conflicts: 1354000 | #Constraints: 33180
1406.07/1410.41 c #Conflicts: 1355000 | #Constraints: 34181
1406.07/1410.41 c #Conflicts: 1356000 | #Constraints: 35331
1406.07/1410.41 c #Conflicts: 1357000 | #Constraints: 36332
1406.07/1410.41 c #Conflicts: 1358000 | #Constraints: 37355
1406.07/1410.41 c #Conflicts: 1359000 | #Constraints: 38432
1406.07/1410.41 c #Conflicts: 1360000 | #Constraints: 39432
1406.07/1410.41 c #Conflicts: 1361000 | #Constraints: 40432
1406.07/1410.41 c #Conflicts: 1362000 | #Constraints: 41544
1406.07/1410.41 c #Conflicts: 1363000 | #Constraints: 42565
1406.07/1410.41 c #Conflicts: 1364000 | #Constraints: 43565
1406.07/1410.41 c #Conflicts: 1365000 | #Constraints: 44620
1406.07/1410.41 c #Conflicts: 1366000 | #Constraints: 45620
1406.07/1410.41 c #Conflicts: 1367000 | #Constraints: 46620
1406.07/1410.41 c #Conflicts: 1368000 | #Constraints: 47620
1406.07/1410.41 c #Conflicts: 1369000 | #Constraints: 48620
1406.07/1410.41 c #Conflicts: 1370000 | #Constraints: 49620
1406.07/1410.41 c #Conflicts: 1371000 | #Constraints: 50635
1406.07/1410.41 c INPROCESSING
1406.07/1410.41 c GARBAGE COLLECT
1406.07/1410.41 c rational objective 0
1442.94/1447.43 c #Conflicts: 1372000 | #Constraints: 26190
1442.94/1447.43 c #Conflicts: 1373000 | #Constraints: 27190
1442.94/1447.43 c #Conflicts: 1374000 | #Constraints: 28402
1442.94/1447.43 c #Conflicts: 1375000 | #Constraints: 29441
1442.94/1447.43 c #Conflicts: 1376000 | #Constraints: 30441
1442.94/1447.43 c #Conflicts: 1377000 | #Constraints: 31441
1442.94/1447.43 c #Conflicts: 1378000 | #Constraints: 32846
1442.94/1447.43 c #Conflicts: 1379000 | #Constraints: 33966
1442.94/1447.43 c #Conflicts: 1380000 | #Constraints: 34966
1442.94/1447.43 c #Conflicts: 1381000 | #Constraints: 35966
1442.94/1447.43 c #Conflicts: 1382000 | #Constraints: 36966
1442.94/1447.43 c #Conflicts: 1383000 | #Constraints: 37966
1442.94/1447.43 c #Conflicts: 1384000 | #Constraints: 38966
1442.94/1447.43 c #Conflicts: 1385000 | #Constraints: 39966
1442.94/1447.43 c #Conflicts: 1386000 | #Constraints: 40966
1442.94/1447.43 c #Conflicts: 1387000 | #Constraints: 42055
1442.94/1447.43 c #Conflicts: 1388000 | #Constraints: 43055
1442.94/1447.43 c #Conflicts: 1389000 | #Constraints: 44055
1442.94/1447.43 c #Conflicts: 1390000 | #Constraints: 45055
1442.94/1447.43 c #Conflicts: 1391000 | #Constraints: 46055
1442.94/1447.43 c #Conflicts: 1392000 | #Constraints: 47055
1442.94/1447.43 c #Conflicts: 1393000 | #Constraints: 48056
1442.94/1447.43 c #Conflicts: 1394000 | #Constraints: 49056
1442.94/1447.43 c #Conflicts: 1395000 | #Constraints: 50056
1442.94/1447.43 c INPROCESSING
1442.94/1447.43 c GARBAGE COLLECT
1442.94/1447.43 c rational objective 0
1473.35/1477.97 c #Conflicts: 1396000 | #Constraints: 25945
1473.35/1477.97 c #Conflicts: 1397000 | #Constraints: 26945
1473.35/1477.97 c #Conflicts: 1398000 | #Constraints: 27945
1473.35/1477.97 c #Conflicts: 1399000 | #Constraints: 28945
1473.35/1477.97 c #Conflicts: 1400000 | #Constraints: 29945
1473.35/1477.97 c #Conflicts: 1401000 | #Constraints: 30945
1473.35/1477.97 c #Conflicts: 1402000 | #Constraints: 31945
1473.35/1477.97 c #Conflicts: 1403000 | #Constraints: 32945
1473.35/1477.97 c #Conflicts: 1404000 | #Constraints: 33945
1473.35/1477.97 c #Conflicts: 1405000 | #Constraints: 34945
1473.35/1477.97 c #Conflicts: 1406000 | #Constraints: 35945
1473.35/1477.97 c #Conflicts: 1407000 | #Constraints: 36945
1473.35/1477.97 c #Conflicts: 1408000 | #Constraints: 37945
1473.35/1477.97 c #Conflicts: 1409000 | #Constraints: 38945
1473.35/1477.97 c #Conflicts: 1410000 | #Constraints: 39946
1473.35/1477.97 c #Conflicts: 1411000 | #Constraints: 40946
1473.35/1477.97 c #Conflicts: 1412000 | #Constraints: 41947
1473.35/1477.97 c #Conflicts: 1413000 | #Constraints: 42947
1473.35/1477.97 c #Conflicts: 1414000 | #Constraints: 43947
1473.35/1477.97 c #Conflicts: 1415000 | #Constraints: 44948
1473.35/1477.97 c #Conflicts: 1416000 | #Constraints: 45948
1473.35/1477.97 c #Conflicts: 1417000 | #Constraints: 46948
1473.35/1477.97 c #Conflicts: 1418000 | #Constraints: 47948
1473.35/1477.97 c #Conflicts: 1419000 | #Constraints: 48948
1473.35/1477.97 c INPROCESSING
1473.35/1477.97 c GARBAGE COLLECT
1473.35/1477.97 c rational objective 0
1518.10/1522.84 c #Conflicts: 1420000 | #Constraints: 25934
1518.10/1522.84 c #Conflicts: 1421000 | #Constraints: 27405
1518.10/1522.84 c #Conflicts: 1422000 | #Constraints: 28888
1518.10/1522.84 c #Conflicts: 1423000 | #Constraints: 30373
1518.10/1522.84 c #Conflicts: 1424000 | #Constraints: 31846
1518.10/1522.84 c #Conflicts: 1425000 | #Constraints: 33316
1518.10/1522.84 c #Conflicts: 1426000 | #Constraints: 34780
1518.10/1522.84 c #Conflicts: 1427000 | #Constraints: 36251
1518.10/1522.84 c #Conflicts: 1428000 | #Constraints: 37731
1518.10/1522.84 c #Conflicts: 1429000 | #Constraints: 39186
1518.10/1522.84 c #Conflicts: 1430000 | #Constraints: 40649
1518.10/1522.84 c #Conflicts: 1431000 | #Constraints: 42116
1518.10/1522.84 c #Conflicts: 1432000 | #Constraints: 43567
1518.10/1522.84 c #Conflicts: 1433000 | #Constraints: 45037
1518.10/1522.84 c #Conflicts: 1434000 | #Constraints: 46498
1518.10/1522.84 c #Conflicts: 1435000 | #Constraints: 47974
1518.10/1522.84 c #Conflicts: 1436000 | #Constraints: 49454
1518.10/1522.84 c #Conflicts: 1437000 | #Constraints: 50930
1518.10/1522.84 c #Conflicts: 1438000 | #Constraints: 52427
1518.10/1522.84 c #Conflicts: 1439000 | #Constraints: 53917
1518.10/1522.84 c #Conflicts: 1440000 | #Constraints: 55379
1518.10/1522.84 c #Conflicts: 1441000 | #Constraints: 56870
1518.10/1522.84 c #Conflicts: 1442000 | #Constraints: 58346
1518.10/1522.84 c #Conflicts: 1443000 | #Constraints: 59812
1518.10/1522.84 c INPROCESSING
1518.10/1522.84 c GARBAGE COLLECT
1518.10/1522.84 c rational objective 0
1560.77/1565.60 c #Conflicts: 1444000 | #Constraints: 31366
1560.77/1565.60 c #Conflicts: 1445000 | #Constraints: 32830
1560.77/1565.60 c #Conflicts: 1446000 | #Constraints: 34296
1560.77/1565.60 c #Conflicts: 1447000 | #Constraints: 35774
1560.77/1565.60 c #Conflicts: 1448000 | #Constraints: 37234
1560.77/1565.60 c #Conflicts: 1449000 | #Constraints: 38703
1560.77/1565.60 c #Conflicts: 1450000 | #Constraints: 40163
1560.77/1565.60 c #Conflicts: 1451000 | #Constraints: 41647
1560.77/1565.60 c #Conflicts: 1452000 | #Constraints: 43121
1560.77/1565.60 c #Conflicts: 1453000 | #Constraints: 44595
1560.77/1565.60 c #Conflicts: 1454000 | #Constraints: 46085
1560.77/1565.60 c #Conflicts: 1455000 | #Constraints: 47542
1560.77/1565.60 c #Conflicts: 1456000 | #Constraints: 49016
1560.77/1565.60 c #Conflicts: 1457000 | #Constraints: 50486
1560.77/1565.60 c #Conflicts: 1458000 | #Constraints: 51968
1560.77/1565.60 c #Conflicts: 1459000 | #Constraints: 53444
1560.77/1565.60 c #Conflicts: 1460000 | #Constraints: 54922
1560.77/1565.60 c #Conflicts: 1461000 | #Constraints: 56415
1560.77/1565.60 c #Conflicts: 1462000 | #Constraints: 57888
1560.77/1565.60 c #Conflicts: 1463000 | #Constraints: 59344
1560.77/1565.60 c #Conflicts: 1464000 | #Constraints: 60798
1560.77/1565.60 c #Conflicts: 1465000 | #Constraints: 62273
1560.77/1565.60 c #Conflicts: 1466000 | #Constraints: 63751
1560.77/1565.60 c #Conflicts: 1467000 | #Constraints: 65206
1560.77/1565.60 c INPROCESSING
1560.77/1565.60 c GARBAGE COLLECT
1560.77/1565.60 c rational objective 0
1605.64/1610.63 c #Conflicts: 1468000 | #Constraints: 33921
1605.64/1610.63 c #Conflicts: 1469000 | #Constraints: 35391
1605.64/1610.63 c #Conflicts: 1470000 | #Constraints: 36857
1605.64/1610.63 c #Conflicts: 1471000 | #Constraints: 38322
1605.64/1610.63 c #Conflicts: 1472000 | #Constraints: 39776
1605.64/1610.63 c #Conflicts: 1473000 | #Constraints: 41259
1605.64/1610.63 c #Conflicts: 1474000 | #Constraints: 42735
1605.64/1610.63 c #Conflicts: 1475000 | #Constraints: 44194
1605.64/1610.63 c #Conflicts: 1476000 | #Constraints: 45671
1605.64/1610.63 c #Conflicts: 1477000 | #Constraints: 47125
1605.64/1610.63 c #Conflicts: 1478000 | #Constraints: 48594
1605.64/1610.63 c #Conflicts: 1479000 | #Constraints: 50079
1605.64/1610.63 c #Conflicts: 1480000 | #Constraints: 51545
1605.64/1610.63 c #Conflicts: 1481000 | #Constraints: 53019
1605.64/1610.63 c #Conflicts: 1482000 | #Constraints: 54498
1605.64/1610.63 c #Conflicts: 1483000 | #Constraints: 55963
1605.64/1610.63 c #Conflicts: 1484000 | #Constraints: 57407
1605.64/1610.63 c #Conflicts: 1485000 | #Constraints: 58885
1605.64/1610.63 c #Conflicts: 1486000 | #Constraints: 60352
1605.64/1610.63 c #Conflicts: 1487000 | #Constraints: 61801
1605.64/1610.63 c #Conflicts: 1488000 | #Constraints: 63280
1605.64/1610.63 c #Conflicts: 1489000 | #Constraints: 64746
1605.64/1610.63 c #Conflicts: 1490000 | #Constraints: 66233
1605.64/1610.63 c #Conflicts: 1491000 | #Constraints: 67711
1605.64/1610.63 c INPROCESSING
1605.64/1610.63 c GARBAGE COLLECT
1605.64/1610.63 c rational objective 0
1655.68/1660.89 c #Conflicts: 1492000 | #Constraints: 34891
1655.68/1660.89 c #Conflicts: 1493000 | #Constraints: 36357
1655.68/1660.89 c #Conflicts: 1494000 | #Constraints: 37832
1655.68/1660.89 c #Conflicts: 1495000 | #Constraints: 39298
1655.68/1660.89 c #Conflicts: 1496000 | #Constraints: 40763
1655.68/1660.89 c #Conflicts: 1497000 | #Constraints: 42218
1655.68/1660.89 c #Conflicts: 1498000 | #Constraints: 43700
1655.68/1660.89 c #Conflicts: 1499000 | #Constraints: 45199
1655.68/1660.89 c #Conflicts: 1500000 | #Constraints: 46677
1655.68/1660.89 c #Conflicts: 1501000 | #Constraints: 48149
1655.68/1660.89 c #Conflicts: 1502000 | #Constraints: 49625
1655.68/1660.89 c #Conflicts: 1503000 | #Constraints: 51088
1655.68/1660.89 c #Conflicts: 1504000 | #Constraints: 52576
1655.68/1660.89 c #Conflicts: 1505000 | #Constraints: 54057
1655.68/1660.89 c #Conflicts: 1506000 | #Constraints: 55511
1655.68/1660.89 c #Conflicts: 1507000 | #Constraints: 56994
1655.68/1660.89 c #Conflicts: 1508000 | #Constraints: 58478
1655.68/1660.89 c #Conflicts: 1509000 | #Constraints: 59974
1655.68/1660.89 c #Conflicts: 1510000 | #Constraints: 61445
1655.68/1660.89 c #Conflicts: 1511000 | #Constraints: 62910
1655.68/1660.89 c #Conflicts: 1512000 | #Constraints: 64393
1655.68/1660.89 c #Conflicts: 1513000 | #Constraints: 65848
1655.68/1660.89 c #Conflicts: 1514000 | #Constraints: 67319
1655.68/1660.89 c #Conflicts: 1515000 | #Constraints: 68790
1655.68/1660.89 c #Conflicts: 1516000 | #Constraints: 70260
1655.68/1660.89 c INPROCESSING
1655.68/1660.89 c GARBAGE COLLECT
1655.68/1660.89 c rational objective 0
1696.16/1701.41 c #Conflicts: 1517000 | #Constraints: 36096
1696.16/1701.41 c #Conflicts: 1518000 | #Constraints: 37096
1696.16/1701.41 c #Conflicts: 1519000 | #Constraints: 38096
1696.16/1701.41 c #Conflicts: 1520000 | #Constraints: 39096
1696.16/1701.41 c #Conflicts: 1521000 | #Constraints: 40096
1696.16/1701.41 c #Conflicts: 1522000 | #Constraints: 41096
1696.16/1701.41 c #Conflicts: 1523000 | #Constraints: 42097
1696.16/1701.41 c #Conflicts: 1524000 | #Constraints: 43097
1696.16/1701.41 c #Conflicts: 1525000 | #Constraints: 44097
1696.16/1701.41 c #Conflicts: 1526000 | #Constraints: 45097
1696.16/1701.41 c #Conflicts: 1527000 | #Constraints: 46097
1696.16/1701.41 c #Conflicts: 1528000 | #Constraints: 47097
1696.16/1701.41 c #Conflicts: 1529000 | #Constraints: 48097
1696.16/1701.41 c #Conflicts: 1530000 | #Constraints: 49097
1696.16/1701.41 c #Conflicts: 1531000 | #Constraints: 50097
1696.16/1701.41 c #Conflicts: 1532000 | #Constraints: 51097
1696.16/1701.41 c #Conflicts: 1533000 | #Constraints: 52097
1696.16/1701.41 c #Conflicts: 1534000 | #Constraints: 53097
1696.16/1701.41 c #Conflicts: 1535000 | #Constraints: 54097
1696.16/1701.41 c #Conflicts: 1536000 | #Constraints: 55097
1696.16/1701.41 c #Conflicts: 1537000 | #Constraints: 56098
1696.16/1701.41 c #Conflicts: 1538000 | #Constraints: 57098
1696.16/1701.41 c #Conflicts: 1539000 | #Constraints: 58098
1696.16/1701.41 c #Conflicts: 1540000 | #Constraints: 59098
1696.16/1701.41 c #Conflicts: 1541000 | #Constraints: 60099
1696.16/1701.41 c INPROCESSING
1696.16/1701.41 c GARBAGE COLLECT
1696.16/1701.41 c rational objective 0
1735.04/1740.45 c #Conflicts: 1542000 | #Constraints: 31277
1735.04/1740.45 c #Conflicts: 1543000 | #Constraints: 32312
1735.04/1740.45 c #Conflicts: 1544000 | #Constraints: 33330
1735.04/1740.45 c #Conflicts: 1545000 | #Constraints: 34368
1735.04/1740.45 c #Conflicts: 1546000 | #Constraints: 35413
1735.04/1740.45 c #Conflicts: 1547000 | #Constraints: 36543
1735.04/1740.45 c #Conflicts: 1548000 | #Constraints: 37622
1735.04/1740.45 c #Conflicts: 1549000 | #Constraints: 38720
1735.04/1740.45 c #Conflicts: 1550000 | #Constraints: 39721
1735.04/1740.45 c #Conflicts: 1551000 | #Constraints: 40925
1735.04/1740.45 c #Conflicts: 1552000 | #Constraints: 41986
1735.04/1740.45 c #Conflicts: 1553000 | #Constraints: 42986
1735.04/1740.45 c #Conflicts: 1554000 | #Constraints: 43996
1735.04/1740.45 c #Conflicts: 1555000 | #Constraints: 45108
1735.04/1740.45 c #Conflicts: 1556000 | #Constraints: 46137
1735.04/1740.45 c #Conflicts: 1557000 | #Constraints: 47321
1735.04/1740.45 c #Conflicts: 1558000 | #Constraints: 48322
1735.04/1740.45 c #Conflicts: 1559000 | #Constraints: 49406
1735.04/1740.45 c #Conflicts: 1560000 | #Constraints: 50505
1735.04/1740.45 c #Conflicts: 1561000 | #Constraints: 51572
1735.04/1740.45 c #Conflicts: 1562000 | #Constraints: 52572
1735.04/1740.45 c #Conflicts: 1563000 | #Constraints: 53572
1735.04/1740.45 c #Conflicts: 1564000 | #Constraints: 54572
1735.04/1740.45 c #Conflicts: 1565000 | #Constraints: 55598
1735.04/1740.45 c #Conflicts: 1566000 | #Constraints: 56598
1735.04/1740.45 c INPROCESSING
1735.04/1740.45 c GARBAGE COLLECT
1735.04/1740.45 c rational objective 0
1781.30/1786.81 c #Conflicts: 1567000 | #Constraints: 29561
1781.30/1786.81 c #Conflicts: 1568000 | #Constraints: 30722
1781.30/1786.81 c #Conflicts: 1569000 | #Constraints: 31969
1781.30/1786.81 c #Conflicts: 1570000 | #Constraints: 32979
1781.30/1786.81 c #Conflicts: 1571000 | #Constraints: 34157
1781.30/1786.81 c #Conflicts: 1572000 | #Constraints: 35487
1781.30/1786.81 c #Conflicts: 1573000 | #Constraints: 36635
1781.30/1786.81 c #Conflicts: 1574000 | #Constraints: 37711
1781.30/1786.81 c #Conflicts: 1575000 | #Constraints: 39077
1781.30/1786.81 c #Conflicts: 1576000 | #Constraints: 40257
1781.30/1786.81 c #Conflicts: 1577000 | #Constraints: 41275
1781.30/1786.81 c #Conflicts: 1578000 | #Constraints: 42276
1781.30/1786.81 c #Conflicts: 1579000 | #Constraints: 43276
1781.30/1786.81 c #Conflicts: 1580000 | #Constraints: 44276
1781.30/1786.81 c #Conflicts: 1581000 | #Constraints: 45633
1781.30/1786.81 c #Conflicts: 1582000 | #Constraints: 46795
1781.30/1786.81 c #Conflicts: 1583000 | #Constraints: 48216
1781.30/1786.81 c #Conflicts: 1584000 | #Constraints: 49236
1781.30/1786.81 c #Conflicts: 1585000 | #Constraints: 50599
1781.30/1786.81 c #Conflicts: 1586000 | #Constraints: 52032
1781.30/1786.81 c #Conflicts: 1587000 | #Constraints: 53032
1781.30/1786.81 c #Conflicts: 1588000 | #Constraints: 54133
1781.30/1786.81 c #Conflicts: 1589000 | #Constraints: 55266
1781.30/1786.81 c #Conflicts: 1590000 | #Constraints: 56385
1781.30/1786.81 c #Conflicts: 1591000 | #Constraints: 57385
1781.30/1786.81 c INPROCESSING
1781.30/1786.81 c GARBAGE COLLECT
1781.30/1786.81 c rational objective 0
1828.75/1834.49 c #Conflicts: 1592000 | #Constraints: 29706
1828.75/1834.49 c #Conflicts: 1593000 | #Constraints: 30706
1828.75/1834.49 c #Conflicts: 1594000 | #Constraints: 31706
1828.75/1834.49 c #Conflicts: 1595000 | #Constraints: 32908
1828.75/1834.49 c #Conflicts: 1596000 | #Constraints: 34193
1828.75/1834.49 c #Conflicts: 1597000 | #Constraints: 35644
1828.75/1834.49 c #Conflicts: 1598000 | #Constraints: 37116
1828.75/1834.49 c #Conflicts: 1599000 | #Constraints: 38313
1828.75/1834.49 c #Conflicts: 1600000 | #Constraints: 39313
1828.75/1834.49 c #Conflicts: 1601000 | #Constraints: 40313
1828.75/1834.49 c #Conflicts: 1602000 | #Constraints: 41313
1828.75/1834.49 c #Conflicts: 1603000 | #Constraints: 42339
1828.75/1834.49 c #Conflicts: 1604000 | #Constraints: 43339
1828.75/1834.49 c #Conflicts: 1605000 | #Constraints: 44339
1828.75/1834.49 c #Conflicts: 1606000 | #Constraints: 45619
1828.75/1834.49 c #Conflicts: 1607000 | #Constraints: 47096
1828.75/1834.49 c #Conflicts: 1608000 | #Constraints: 48529
1828.75/1834.49 c #Conflicts: 1609000 | #Constraints: 49928
1828.75/1834.49 c #Conflicts: 1610000 | #Constraints: 51242
1828.75/1834.49 c #Conflicts: 1611000 | #Constraints: 52242
1828.75/1834.49 c #Conflicts: 1612000 | #Constraints: 53245
1828.75/1834.49 c #Conflicts: 1613000 | #Constraints: 54262
1828.75/1834.49 c #Conflicts: 1614000 | #Constraints: 55304
1828.75/1834.49 c #Conflicts: 1615000 | #Constraints: 56317
1828.75/1834.49 c #Conflicts: 1616000 | #Constraints: 57418
1828.75/1834.49 c INPROCESSING
1828.75/1834.49 c GARBAGE COLLECT
1828.75/1834.49 c rational objective 0
1871.92/1877.79 c #Conflicts: 1617000 | #Constraints: 29504
1871.92/1877.79 c #Conflicts: 1618000 | #Constraints: 30784
1871.92/1877.79 c #Conflicts: 1619000 | #Constraints: 31956
1871.92/1877.79 c #Conflicts: 1620000 | #Constraints: 33172
1871.92/1877.79 c #Conflicts: 1621000 | #Constraints: 34173
1871.92/1877.79 c #Conflicts: 1622000 | #Constraints: 35224
1871.92/1877.79 c #Conflicts: 1623000 | #Constraints: 36546
1871.92/1877.79 c #Conflicts: 1624000 | #Constraints: 37891
1871.92/1877.79 c #Conflicts: 1625000 | #Constraints: 39267
1871.92/1877.79 c #Conflicts: 1626000 | #Constraints: 40481
1871.92/1877.79 c #Conflicts: 1627000 | #Constraints: 41848
1871.92/1877.79 c #Conflicts: 1628000 | #Constraints: 43086
1871.92/1877.79 c #Conflicts: 1629000 | #Constraints: 44399
1871.92/1877.79 c #Conflicts: 1630000 | #Constraints: 45526
1871.92/1877.79 c #Conflicts: 1631000 | #Constraints: 46810
1871.92/1877.79 c #Conflicts: 1632000 | #Constraints: 47821
1871.92/1877.79 c #Conflicts: 1633000 | #Constraints: 49051
1871.92/1877.79 c #Conflicts: 1634000 | #Constraints: 50522
1871.92/1877.79 c #Conflicts: 1635000 | #Constraints: 51522
1871.92/1877.79 c #Conflicts: 1636000 | #Constraints: 52616
1871.92/1877.79 c #Conflicts: 1637000 | #Constraints: 53679
1871.92/1877.79 c #Conflicts: 1638000 | #Constraints: 55153
1871.92/1877.79 c #Conflicts: 1639000 | #Constraints: 56506
1871.92/1877.79 c #Conflicts: 1640000 | #Constraints: 57659
1871.92/1877.79 c #Conflicts: 1641000 | #Constraints: 58784
1871.92/1877.79 c #Conflicts: 1642000 | #Constraints: 59921
1871.92/1877.79 c INPROCESSING
1871.92/1877.79 c GARBAGE COLLECT
1871.92/1877.79 c rational objective 0
1920.37/1926.37 c #Conflicts: 1643000 | #Constraints: 31078
1920.37/1926.37 c #Conflicts: 1644000 | #Constraints: 32507
1920.37/1926.37 c #Conflicts: 1645000 | #Constraints: 33590
1920.37/1926.37 c #Conflicts: 1646000 | #Constraints: 34590
1920.37/1926.37 c #Conflicts: 1647000 | #Constraints: 35651
1920.37/1926.37 c #Conflicts: 1648000 | #Constraints: 36651
1920.37/1926.37 c #Conflicts: 1649000 | #Constraints: 37825
1920.37/1926.37 c #Conflicts: 1650000 | #Constraints: 38825
1920.37/1926.37 c #Conflicts: 1651000 | #Constraints: 40011
1920.37/1926.37 c #Conflicts: 1652000 | #Constraints: 41011
1920.37/1926.37 c #Conflicts: 1653000 | #Constraints: 42162
1920.37/1926.37 c #Conflicts: 1654000 | #Constraints: 43616
1920.37/1926.37 c #Conflicts: 1655000 | #Constraints: 45074
1920.37/1926.37 c #Conflicts: 1656000 | #Constraints: 46369
1920.37/1926.37 c #Conflicts: 1657000 | #Constraints: 47495
1920.37/1926.37 c #Conflicts: 1658000 | #Constraints: 48495
1920.37/1926.37 c #Conflicts: 1659000 | #Constraints: 49495
1920.37/1926.37 c #Conflicts: 1660000 | #Constraints: 50495
1920.37/1926.37 c #Conflicts: 1661000 | #Constraints: 51693
1920.37/1926.37 c #Conflicts: 1662000 | #Constraints: 52829
1920.37/1926.37 c #Conflicts: 1663000 | #Constraints: 53829
1920.37/1926.37 c #Conflicts: 1664000 | #Constraints: 55059
1920.37/1926.37 c #Conflicts: 1665000 | #Constraints: 56059
1920.37/1926.37 c #Conflicts: 1666000 | #Constraints: 57059
1920.37/1926.37 c #Conflicts: 1667000 | #Constraints: 58059
1920.37/1926.37 c #Conflicts: 1668000 | #Constraints: 59059
1920.37/1926.37 c INPROCESSING
1920.37/1926.37 c GARBAGE COLLECT
1920.37/1926.37 c rational objective 0
1972.71/1978.84 c #Conflicts: 1669000 | #Constraints: 30846
1972.71/1978.84 c #Conflicts: 1670000 | #Constraints: 31847
1972.71/1978.84 c #Conflicts: 1671000 | #Constraints: 32847
1972.71/1978.84 c #Conflicts: 1672000 | #Constraints: 33848
1972.71/1978.84 c #Conflicts: 1673000 | #Constraints: 34849
1972.71/1978.84 c #Conflicts: 1674000 | #Constraints: 35849
1972.71/1978.84 c #Conflicts: 1675000 | #Constraints: 37298
1972.71/1978.84 c #Conflicts: 1676000 | #Constraints: 38769
1972.71/1978.84 c #Conflicts: 1677000 | #Constraints: 40246
1972.71/1978.84 c #Conflicts: 1678000 | #Constraints: 41707
1972.71/1978.84 c #Conflicts: 1679000 | #Constraints: 43177
1972.71/1978.84 c #Conflicts: 1680000 | #Constraints: 44653
1972.71/1978.84 c #Conflicts: 1681000 | #Constraints: 46154
1972.71/1978.84 c #Conflicts: 1682000 | #Constraints: 47634
1972.71/1978.84 c #Conflicts: 1683000 | #Constraints: 49129
1972.71/1978.84 c #Conflicts: 1684000 | #Constraints: 50630
1972.71/1978.84 c #Conflicts: 1685000 | #Constraints: 52123
1972.71/1978.84 c #Conflicts: 1686000 | #Constraints: 53621
1972.71/1978.84 c #Conflicts: 1687000 | #Constraints: 55081
1972.71/1978.84 c #Conflicts: 1688000 | #Constraints: 56551
1972.71/1978.84 c #Conflicts: 1689000 | #Constraints: 58007
1972.71/1978.84 c #Conflicts: 1690000 | #Constraints: 59480
1972.71/1978.84 c #Conflicts: 1691000 | #Constraints: 60934
1972.71/1978.84 c #Conflicts: 1692000 | #Constraints: 62408
1972.71/1978.84 c #Conflicts: 1693000 | #Constraints: 63885
1972.71/1978.84 c #Conflicts: 1694000 | #Constraints: 65367
1972.71/1978.84 c INPROCESSING
1972.71/1978.84 c GARBAGE COLLECT
1972.71/1978.84 c rational objective 0
2038.21/2044.59 c #Conflicts: 1695000 | #Constraints: 34165
2038.21/2044.59 c #Conflicts: 1696000 | #Constraints: 35622
2038.21/2044.59 c #Conflicts: 1697000 | #Constraints: 37094
2038.21/2044.59 c #Conflicts: 1698000 | #Constraints: 38569
2038.21/2044.59 c #Conflicts: 1699000 | #Constraints: 40044
2038.21/2044.59 c #Conflicts: 1700000 | #Constraints: 41512
2038.21/2044.59 c #Conflicts: 1701000 | #Constraints: 42992
2038.21/2044.59 c #Conflicts: 1702000 | #Constraints: 44223
2038.21/2044.59 c #Conflicts: 1703000 | #Constraints: 45673
2038.21/2044.59 c #Conflicts: 1704000 | #Constraints: 47128
2038.21/2044.59 c #Conflicts: 1705000 | #Constraints: 48589
2038.21/2044.59 c #Conflicts: 1706000 | #Constraints: 50072
2038.21/2044.59 c #Conflicts: 1707000 | #Constraints: 51529
2038.21/2044.59 c #Conflicts: 1708000 | #Constraints: 53002
2038.21/2044.59 c #Conflicts: 1709000 | #Constraints: 54490
2038.21/2044.59 c #Conflicts: 1710000 | #Constraints: 55974
2038.21/2044.59 c #Conflicts: 1711000 | #Constraints: 57448
2038.21/2044.59 c #Conflicts: 1712000 | #Constraints: 58914
2038.21/2044.59 c #Conflicts: 1713000 | #Constraints: 60386
2038.21/2044.59 c #Conflicts: 1714000 | #Constraints: 61731
2038.21/2044.59 c #Conflicts: 1715000 | #Constraints: 62731
2038.21/2044.59 c #Conflicts: 1716000 | #Constraints: 64103
2038.21/2044.59 c #Conflicts: 1717000 | #Constraints: 65584
2038.21/2044.59 c #Conflicts: 1718000 | #Constraints: 67052
2038.21/2044.59 c #Conflicts: 1719000 | #Constraints: 68508
2038.21/2044.59 c #Conflicts: 1720000 | #Constraints: 69509
2038.21/2044.59 c INPROCESSING
2038.21/2044.59 c GARBAGE COLLECT
2038.21/2044.59 c rational objective 0
2101.81/2108.37 c #Conflicts: 1721000 | #Constraints: 36046
2101.81/2108.37 c #Conflicts: 1722000 | #Constraints: 37515
2101.81/2108.37 c #Conflicts: 1723000 | #Constraints: 38988
2101.81/2108.37 c #Conflicts: 1724000 | #Constraints: 40150
2101.81/2108.37 c #Conflicts: 1725000 | #Constraints: 41570
2101.81/2108.37 c #Conflicts: 1726000 | #Constraints: 42797
2101.81/2108.37 c #Conflicts: 1727000 | #Constraints: 43797
2101.81/2108.37 c #Conflicts: 1728000 | #Constraints: 45162
2101.81/2108.37 c #Conflicts: 1729000 | #Constraints: 46357
2101.81/2108.37 c #Conflicts: 1730000 | #Constraints: 47821
2101.81/2108.37 c #Conflicts: 1731000 | #Constraints: 49280
2101.81/2108.37 c #Conflicts: 1732000 | #Constraints: 50753
2101.81/2108.37 c #Conflicts: 1733000 | #Constraints: 52226
2101.81/2108.37 c #Conflicts: 1734000 | #Constraints: 53347
2101.81/2108.37 c #Conflicts: 1735000 | #Constraints: 54438
2101.81/2108.37 c #Conflicts: 1736000 | #Constraints: 55595
2101.81/2108.37 c #Conflicts: 1737000 | #Constraints: 56924
2101.81/2108.37 c #Conflicts: 1738000 | #Constraints: 58114
2101.81/2108.37 c #Conflicts: 1739000 | #Constraints: 59560
2101.81/2108.37 c #Conflicts: 1740000 | #Constraints: 60878
2101.81/2108.37 c #Conflicts: 1741000 | #Constraints: 61962
2101.81/2108.37 c #Conflicts: 1742000 | #Constraints: 63281
2101.81/2108.37 c #Conflicts: 1743000 | #Constraints: 64281
2101.81/2108.37 c #Conflicts: 1744000 | #Constraints: 65281
2101.81/2108.37 c #Conflicts: 1745000 | #Constraints: 66281
2101.81/2108.37 c #Conflicts: 1746000 | #Constraints: 67281
2101.81/2108.37 c INPROCESSING
2101.81/2108.37 c GARBAGE COLLECT
2101.81/2108.37 c rational objective 0
2148.96/2155.67 c #Conflicts: 1747000 | #Constraints: 34402
2148.96/2155.67 c #Conflicts: 1748000 | #Constraints: 35413
2148.96/2155.67 c #Conflicts: 1749000 | #Constraints: 36413
2148.96/2155.67 c #Conflicts: 1750000 | #Constraints: 37413
2148.96/2155.67 c #Conflicts: 1751000 | #Constraints: 38413
2148.96/2155.67 c #Conflicts: 1752000 | #Constraints: 39413
2148.96/2155.67 c #Conflicts: 1753000 | #Constraints: 40497
2148.96/2155.67 c #Conflicts: 1754000 | #Constraints: 41497
2148.96/2155.67 c #Conflicts: 1755000 | #Constraints: 42505
2148.96/2155.67 c #Conflicts: 1756000 | #Constraints: 43524
2148.96/2155.67 c #Conflicts: 1757000 | #Constraints: 44524
2148.96/2155.67 c #Conflicts: 1758000 | #Constraints: 45524
2148.96/2155.67 c #Conflicts: 1759000 | #Constraints: 46562
2148.96/2155.67 c #Conflicts: 1760000 | #Constraints: 47605
2148.96/2155.67 c #Conflicts: 1761000 | #Constraints: 48625
2148.96/2155.67 c #Conflicts: 1762000 | #Constraints: 49625
2148.96/2155.67 c #Conflicts: 1763000 | #Constraints: 50625
2148.96/2155.67 c #Conflicts: 1764000 | #Constraints: 51625
2148.96/2155.67 c #Conflicts: 1765000 | #Constraints: 52625
2148.96/2155.67 c #Conflicts: 1766000 | #Constraints: 53625
2148.96/2155.67 c #Conflicts: 1767000 | #Constraints: 54625
2148.96/2155.67 c #Conflicts: 1768000 | #Constraints: 55626
2148.96/2155.67 c #Conflicts: 1769000 | #Constraints: 56698
2148.96/2155.67 c #Conflicts: 1770000 | #Constraints: 57698
2148.96/2155.67 c #Conflicts: 1771000 | #Constraints: 58698
2148.96/2155.67 c #Conflicts: 1772000 | #Constraints: 59784
2148.96/2155.67 c #Conflicts: 1773000 | #Constraints: 60784
2148.96/2155.67 c INPROCESSING
2148.96/2155.67 c GARBAGE COLLECT
2148.96/2155.67 c rational objective 0
2210.48/2217.38 c #Conflicts: 1774000 | #Constraints: 31682
2210.48/2217.38 c #Conflicts: 1775000 | #Constraints: 33131
2210.48/2217.38 c #Conflicts: 1776000 | #Constraints: 34593
2210.48/2217.38 c #Conflicts: 1777000 | #Constraints: 36073
2210.48/2217.38 c #Conflicts: 1778000 | #Constraints: 37535
2210.48/2217.38 c #Conflicts: 1779000 | #Constraints: 38998
2210.48/2217.38 c #Conflicts: 1780000 | #Constraints: 40497
2210.48/2217.38 c #Conflicts: 1781000 | #Constraints: 41948
2210.48/2217.38 c #Conflicts: 1782000 | #Constraints: 43398
2210.48/2217.38 c #Conflicts: 1783000 | #Constraints: 44873
2210.48/2217.38 c #Conflicts: 1784000 | #Constraints: 46347
2210.48/2217.38 c #Conflicts: 1785000 | #Constraints: 47825
2210.48/2217.38 c #Conflicts: 1786000 | #Constraints: 49304
2210.48/2217.38 c #Conflicts: 1787000 | #Constraints: 50779
2210.48/2217.38 c #Conflicts: 1788000 | #Constraints: 52257
2210.48/2217.38 c #Conflicts: 1789000 | #Constraints: 53729
2210.48/2217.38 c #Conflicts: 1790000 | #Constraints: 55213
2210.48/2217.38 c #Conflicts: 1791000 | #Constraints: 56660
2210.48/2217.38 c #Conflicts: 1792000 | #Constraints: 58149
2210.48/2217.38 c #Conflicts: 1793000 | #Constraints: 59626
2210.48/2217.38 c #Conflicts: 1794000 | #Constraints: 61071
2210.48/2217.38 c #Conflicts: 1795000 | #Constraints: 62533
2210.48/2217.38 c #Conflicts: 1796000 | #Constraints: 63988
2210.48/2217.38 c #Conflicts: 1797000 | #Constraints: 65480
2210.48/2217.38 c #Conflicts: 1798000 | #Constraints: 66949
2210.48/2217.38 c #Conflicts: 1799000 | #Constraints: 68421
2210.48/2217.38 c #Conflicts: 1800000 | #Constraints: 69893
2210.48/2217.38 c INPROCESSING
2210.48/2217.38 c GARBAGE COLLECT
2210.48/2217.38 c rational objective 0
2257.63/2264.68 c #Conflicts: 1801000 | #Constraints: 36181
2257.63/2264.68 c #Conflicts: 1802000 | #Constraints: 37340
2257.63/2264.68 c #Conflicts: 1803000 | #Constraints: 38399
2257.63/2264.68 c #Conflicts: 1804000 | #Constraints: 39660
2257.63/2264.68 c #Conflicts: 1805000 | #Constraints: 40749
2257.63/2264.68 c #Conflicts: 1806000 | #Constraints: 41749
2257.63/2264.68 c #Conflicts: 1807000 | #Constraints: 42749
2257.63/2264.68 c #Conflicts: 1808000 | #Constraints: 43749
2257.63/2264.68 c #Conflicts: 1809000 | #Constraints: 44749
2257.63/2264.68 c #Conflicts: 1810000 | #Constraints: 45749
2257.63/2264.68 c #Conflicts: 1811000 | #Constraints: 46749
2257.63/2264.68 c #Conflicts: 1812000 | #Constraints: 47749
2257.63/2264.68 c #Conflicts: 1813000 | #Constraints: 48749
2257.63/2264.68 c #Conflicts: 1814000 | #Constraints: 49749
2257.63/2264.68 c #Conflicts: 1815000 | #Constraints: 50749
2257.63/2264.68 c #Conflicts: 1816000 | #Constraints: 51837
2257.63/2264.68 c #Conflicts: 1817000 | #Constraints: 52837
2257.63/2264.68 c #Conflicts: 1818000 | #Constraints: 53837
2257.63/2264.68 c #Conflicts: 1819000 | #Constraints: 54838
2257.63/2264.68 c #Conflicts: 1820000 | #Constraints: 55838
2257.63/2264.68 c #Conflicts: 1821000 | #Constraints: 56838
2257.63/2264.68 c #Conflicts: 1822000 | #Constraints: 57838
2257.63/2264.68 c #Conflicts: 1823000 | #Constraints: 58838
2257.63/2264.68 c #Conflicts: 1824000 | #Constraints: 59838
2257.63/2264.68 c #Conflicts: 1825000 | #Constraints: 60838
2257.63/2264.68 c #Conflicts: 1826000 | #Constraints: 61838
2257.63/2264.68 c #Conflicts: 1827000 | #Constraints: 62838
2257.63/2264.68 c INPROCESSING
2257.63/2264.68 c GARBAGE COLLECT
2257.63/2264.68 c rational objective 0
2316.05/2323.28 c #Conflicts: 1828000 | #Constraints: 32872
2316.05/2323.28 c #Conflicts: 1829000 | #Constraints: 34289
2316.05/2323.28 c #Conflicts: 1830000 | #Constraints: 35496
2316.05/2323.28 c #Conflicts: 1831000 | #Constraints: 36985
2316.05/2323.28 c #Conflicts: 1832000 | #Constraints: 38404
2316.05/2323.28 c #Conflicts: 1833000 | #Constraints: 39866
2316.05/2323.28 c #Conflicts: 1834000 | #Constraints: 41338
2316.05/2323.28 c #Conflicts: 1835000 | #Constraints: 42780
2316.05/2323.28 c #Conflicts: 1836000 | #Constraints: 44273
2316.05/2323.28 c #Conflicts: 1837000 | #Constraints: 45758
2316.05/2323.28 c #Conflicts: 1838000 | #Constraints: 46981
2316.05/2323.28 c #Conflicts: 1839000 | #Constraints: 48437
2316.05/2323.28 c #Conflicts: 1840000 | #Constraints: 49886
2316.05/2323.28 c #Conflicts: 1841000 | #Constraints: 51033
2316.05/2323.28 c #Conflicts: 1842000 | #Constraints: 52279
2316.05/2323.28 c #Conflicts: 1843000 | #Constraints: 53672
2316.05/2323.28 c #Conflicts: 1844000 | #Constraints: 54705
2316.05/2323.28 c #Conflicts: 1845000 | #Constraints: 56186
2316.05/2323.28 c #Conflicts: 1846000 | #Constraints: 57656
2316.05/2323.28 c #Conflicts: 1847000 | #Constraints: 59118
2316.05/2323.28 c #Conflicts: 1848000 | #Constraints: 60570
2316.05/2323.28 c #Conflicts: 1849000 | #Constraints: 62027
2316.05/2323.28 c #Conflicts: 1850000 | #Constraints: 63506
2316.05/2323.28 c #Conflicts: 1851000 | #Constraints: 64967
2316.05/2323.28 c #Conflicts: 1852000 | #Constraints: 66441
2316.05/2323.28 c #Conflicts: 1853000 | #Constraints: 67476
2316.05/2323.28 c #Conflicts: 1854000 | #Constraints: 68487
2316.05/2323.28 c INPROCESSING
2316.05/2323.28 c GARBAGE COLLECT
2316.05/2323.28 c rational objective 0
2373.48/2380.81 c #Conflicts: 1855000 | #Constraints: 35561
2373.48/2380.81 c #Conflicts: 1856000 | #Constraints: 37025
2373.48/2380.81 c #Conflicts: 1857000 | #Constraints: 38497
2373.48/2380.81 c #Conflicts: 1858000 | #Constraints: 39855
2373.48/2380.81 c #Conflicts: 1859000 | #Constraints: 41316
2373.48/2380.81 c #Conflicts: 1860000 | #Constraints: 42778
2373.48/2380.81 c #Conflicts: 1861000 | #Constraints: 44208
2373.48/2380.81 c #Conflicts: 1862000 | #Constraints: 45677
2373.48/2380.81 c #Conflicts: 1863000 | #Constraints: 47149
2373.48/2380.81 c #Conflicts: 1864000 | #Constraints: 48625
2373.48/2380.81 c #Conflicts: 1865000 | #Constraints: 49958
2373.48/2380.81 c #Conflicts: 1866000 | #Constraints: 51042
2373.48/2380.81 c #Conflicts: 1867000 | #Constraints: 52432
2373.48/2380.81 c #Conflicts: 1868000 | #Constraints: 53836
2373.48/2380.81 c #Conflicts: 1869000 | #Constraints: 55064
2373.48/2380.81 c #Conflicts: 1870000 | #Constraints: 56391
2373.48/2380.81 c #Conflicts: 1871000 | #Constraints: 57858
2373.48/2380.81 c #Conflicts: 1872000 | #Constraints: 59331
2373.48/2380.81 c #Conflicts: 1873000 | #Constraints: 60822
2373.48/2380.81 c #Conflicts: 1874000 | #Constraints: 62291
2373.48/2380.81 c #Conflicts: 1875000 | #Constraints: 63772
2373.48/2380.81 c #Conflicts: 1876000 | #Constraints: 65244
2373.48/2380.81 c #Conflicts: 1877000 | #Constraints: 66732
2373.48/2380.81 c #Conflicts: 1878000 | #Constraints: 68200
2373.48/2380.81 c #Conflicts: 1879000 | #Constraints: 69686
2373.48/2380.81 c #Conflicts: 1880000 | #Constraints: 71134
2373.48/2380.81 c #Conflicts: 1881000 | #Constraints: 72604
2373.48/2380.81 c INPROCESSING
2373.48/2380.81 c GARBAGE COLLECT
2373.48/2380.81 c rational objective 0
2426.71/2434.25 c #Conflicts: 1882000 | #Constraints: 37212
2426.71/2434.25 c #Conflicts: 1883000 | #Constraints: 38374
2426.71/2434.25 c #Conflicts: 1884000 | #Constraints: 39393
2426.71/2434.25 c #Conflicts: 1885000 | #Constraints: 40497
2426.71/2434.25 c #Conflicts: 1886000 | #Constraints: 41597
2426.71/2434.25 c #Conflicts: 1887000 | #Constraints: 42978
2426.71/2434.25 c #Conflicts: 1888000 | #Constraints: 44415
2426.71/2434.25 c #Conflicts: 1889000 | #Constraints: 45418
2426.71/2434.25 c #Conflicts: 1890000 | #Constraints: 46418
2426.71/2434.25 c #Conflicts: 1891000 | #Constraints: 47418
2426.71/2434.25 c #Conflicts: 1892000 | #Constraints: 48418
2426.71/2434.25 c #Conflicts: 1893000 | #Constraints: 49752
2426.71/2434.25 c #Conflicts: 1894000 | #Constraints: 50896
2426.71/2434.25 c #Conflicts: 1895000 | #Constraints: 52085
2426.71/2434.25 c #Conflicts: 1896000 | #Constraints: 53097
2426.71/2434.25 c #Conflicts: 1897000 | #Constraints: 54117
2426.71/2434.25 c #Conflicts: 1898000 | #Constraints: 55117
2426.71/2434.25 c #Conflicts: 1899000 | #Constraints: 56117
2426.71/2434.25 c #Conflicts: 1900000 | #Constraints: 57118
2426.71/2434.25 c #Conflicts: 1901000 | #Constraints: 58182
2426.71/2434.25 c #Conflicts: 1902000 | #Constraints: 59263
2426.71/2434.25 c #Conflicts: 1903000 | #Constraints: 60263
2426.71/2434.25 c #Conflicts: 1904000 | #Constraints: 61263
2426.71/2434.25 c #Conflicts: 1905000 | #Constraints: 62263
2426.71/2434.25 c #Conflicts: 1906000 | #Constraints: 63263
2426.71/2434.25 c #Conflicts: 1907000 | #Constraints: 64263
2426.71/2434.25 c #Conflicts: 1908000 | #Constraints: 65263
2426.71/2434.25 c #Conflicts: 1909000 | #Constraints: 66263
2426.71/2434.25 c INPROCESSING
2426.71/2434.25 c GARBAGE COLLECT
2426.71/2434.25 c rational objective 0
2487.82/2495.57 c #Conflicts: 1910000 | #Constraints: 34398
2487.82/2495.57 c #Conflicts: 1911000 | #Constraints: 35848
2487.82/2495.57 c #Conflicts: 1912000 | #Constraints: 37045
2487.82/2495.57 c #Conflicts: 1913000 | #Constraints: 38501
2487.82/2495.57 c #Conflicts: 1914000 | #Constraints: 39971
2487.82/2495.57 c #Conflicts: 1915000 | #Constraints: 41433
2487.82/2495.57 c #Conflicts: 1916000 | #Constraints: 42895
2487.82/2495.57 c #Conflicts: 1917000 | #Constraints: 44347
2487.82/2495.57 c #Conflicts: 1918000 | #Constraints: 45822
2487.82/2495.57 c #Conflicts: 1919000 | #Constraints: 47305
2487.82/2495.57 c #Conflicts: 1920000 | #Constraints: 48761
2487.82/2495.57 c #Conflicts: 1921000 | #Constraints: 50230
2487.82/2495.57 c #Conflicts: 1922000 | #Constraints: 51689
2487.82/2495.57 c #Conflicts: 1923000 | #Constraints: 53174
2487.82/2495.57 c #Conflicts: 1924000 | #Constraints: 54678
2487.82/2495.57 c #Conflicts: 1925000 | #Constraints: 56135
2487.82/2495.57 c #Conflicts: 1926000 | #Constraints: 57303
2487.82/2495.57 c #Conflicts: 1927000 | #Constraints: 58303
2487.82/2495.57 c #Conflicts: 1928000 | #Constraints: 59304
2487.82/2495.57 c #Conflicts: 1929000 | #Constraints: 60304
2487.82/2495.57 c #Conflicts: 1930000 | #Constraints: 61304
2487.82/2495.57 c #Conflicts: 1931000 | #Constraints: 62304
2487.82/2495.57 c #Conflicts: 1932000 | #Constraints: 63304
2487.82/2495.57 c #Conflicts: 1933000 | #Constraints: 64728
2487.82/2495.57 c #Conflicts: 1934000 | #Constraints: 66192
2487.82/2495.57 c #Conflicts: 1935000 | #Constraints: 67652
2487.82/2495.57 c #Conflicts: 1936000 | #Constraints: 69130
2487.82/2495.57 c #Conflicts: 1937000 | #Constraints: 70584
2487.82/2495.57 c INPROCESSING
2487.82/2495.57 c GARBAGE COLLECT
2487.82/2495.57 c rational objective 0
2538.37/2546.21 c #Conflicts: 1938000 | #Constraints: 36409
2538.37/2546.21 c #Conflicts: 1939000 | #Constraints: 37436
2538.37/2546.21 c #Conflicts: 1940000 | #Constraints: 38436
2538.37/2546.21 c #Conflicts: 1941000 | #Constraints: 39436
2538.37/2546.21 c #Conflicts: 1942000 | #Constraints: 40436
2538.37/2546.21 c #Conflicts: 1943000 | #Constraints: 41617
2538.37/2546.21 c #Conflicts: 1944000 | #Constraints: 42617
2538.37/2546.21 c #Conflicts: 1945000 | #Constraints: 43617
2538.37/2546.21 c #Conflicts: 1946000 | #Constraints: 44617
2538.37/2546.21 c #Conflicts: 1947000 | #Constraints: 45617
2538.37/2546.21 c #Conflicts: 1948000 | #Constraints: 46631
2538.37/2546.21 c #Conflicts: 1949000 | #Constraints: 47631
2538.37/2546.21 c #Conflicts: 1950000 | #Constraints: 48631
2538.37/2546.21 c #Conflicts: 1951000 | #Constraints: 49903
2538.37/2546.21 c #Conflicts: 1952000 | #Constraints: 50903
2538.37/2546.21 c #Conflicts: 1953000 | #Constraints: 51903
2538.37/2546.21 c #Conflicts: 1954000 | #Constraints: 52903
2538.37/2546.21 c #Conflicts: 1955000 | #Constraints: 53903
2538.37/2546.21 c #Conflicts: 1956000 | #Constraints: 54903
2538.37/2546.21 c #Conflicts: 1957000 | #Constraints: 55903
2538.37/2546.21 c #Conflicts: 1958000 | #Constraints: 56903
2538.37/2546.21 c #Conflicts: 1959000 | #Constraints: 57903
2538.37/2546.21 c #Conflicts: 1960000 | #Constraints: 58903
2538.37/2546.21 c #Conflicts: 1961000 | #Constraints: 59903
2538.37/2546.21 c #Conflicts: 1962000 | #Constraints: 60903
2538.37/2546.21 c #Conflicts: 1963000 | #Constraints: 61903
2538.37/2546.21 c #Conflicts: 1964000 | #Constraints: 62903
2538.37/2546.21 c #Conflicts: 1965000 | #Constraints: 63903
2538.37/2546.21 c INPROCESSING
2538.37/2546.21 c GARBAGE COLLECT
2538.37/2546.21 c rational objective 0
2589.41/2597.41 c #Conflicts: 1966000 | #Constraints: 33345
2589.41/2597.41 c #Conflicts: 1967000 | #Constraints: 34580
2589.41/2597.41 c #Conflicts: 1968000 | #Constraints: 35594
2589.41/2597.41 c #Conflicts: 1969000 | #Constraints: 36627
2589.41/2597.41 c #Conflicts: 1970000 | #Constraints: 37987
2589.41/2597.41 c #Conflicts: 1971000 | #Constraints: 39029
2589.41/2597.41 c #Conflicts: 1972000 | #Constraints: 40116
2589.41/2597.41 c #Conflicts: 1973000 | #Constraints: 41242
2589.41/2597.41 c #Conflicts: 1974000 | #Constraints: 42404
2589.41/2597.41 c #Conflicts: 1975000 | #Constraints: 43623
2589.41/2597.41 c #Conflicts: 1976000 | #Constraints: 44623
2589.41/2597.41 c #Conflicts: 1977000 | #Constraints: 45623
2589.41/2597.41 c #Conflicts: 1978000 | #Constraints: 46623
2589.41/2597.41 c #Conflicts: 1979000 | #Constraints: 47623
2589.41/2597.41 c #Conflicts: 1980000 | #Constraints: 48623
2589.41/2597.41 c #Conflicts: 1981000 | #Constraints: 49623
2589.41/2597.41 c #Conflicts: 1982000 | #Constraints: 50623
2589.41/2597.41 c #Conflicts: 1983000 | #Constraints: 51623
2589.41/2597.41 c #Conflicts: 1984000 | #Constraints: 52623
2589.41/2597.41 c #Conflicts: 1985000 | #Constraints: 53623
2589.41/2597.41 c #Conflicts: 1986000 | #Constraints: 54623
2589.41/2597.41 c #Conflicts: 1987000 | #Constraints: 55623
2589.41/2597.41 c #Conflicts: 1988000 | #Constraints: 56623
2589.41/2597.41 c #Conflicts: 1989000 | #Constraints: 57623
2589.41/2597.41 c #Conflicts: 1990000 | #Constraints: 58623
2589.41/2597.41 c #Conflicts: 1991000 | #Constraints: 59623
2589.41/2597.41 c #Conflicts: 1992000 | #Constraints: 60623
2589.41/2597.41 c #Conflicts: 1993000 | #Constraints: 61623
2589.41/2597.41 c INPROCESSING
2589.41/2597.41 c GARBAGE COLLECT
2589.41/2597.41 c rational objective 0
2636.16/2644.38 c #Conflicts: 1994000 | #Constraints: 31938
2636.16/2644.38 c #Conflicts: 1995000 | #Constraints: 32938
2636.16/2644.38 c #Conflicts: 1996000 | #Constraints: 33938
2636.16/2644.38 c #Conflicts: 1997000 | #Constraints: 34938
2636.16/2644.38 c #Conflicts: 1998000 | #Constraints: 35945
2636.16/2644.38 c #Conflicts: 1999000 | #Constraints: 36976
2636.16/2644.38 c #Conflicts: 2000000 | #Constraints: 37976
2636.16/2644.38 c #Conflicts: 2001000 | #Constraints: 38976
2636.16/2644.38 c #Conflicts: 2002000 | #Constraints: 39976
2636.16/2644.38 c #Conflicts: 2003000 | #Constraints: 40976
2636.16/2644.38 c #Conflicts: 2004000 | #Constraints: 41976
2636.16/2644.38 c #Conflicts: 2005000 | #Constraints: 42976
2636.16/2644.38 c #Conflicts: 2006000 | #Constraints: 43976
2636.16/2644.38 c #Conflicts: 2007000 | #Constraints: 44976
2636.16/2644.38 c #Conflicts: 2008000 | #Constraints: 45976
2636.16/2644.38 c #Conflicts: 2009000 | #Constraints: 46976
2636.16/2644.38 c #Conflicts: 2010000 | #Constraints: 47977
2636.16/2644.38 c #Conflicts: 2011000 | #Constraints: 48977
2636.16/2644.38 c #Conflicts: 2012000 | #Constraints: 50037
2636.16/2644.38 c #Conflicts: 2013000 | #Constraints: 51037
2636.16/2644.38 c #Conflicts: 2014000 | #Constraints: 52037
2636.16/2644.38 c #Conflicts: 2015000 | #Constraints: 53037
2636.16/2644.38 c #Conflicts: 2016000 | #Constraints: 54037
2636.16/2644.38 c #Conflicts: 2017000 | #Constraints: 55037
2636.16/2644.38 c #Conflicts: 2018000 | #Constraints: 56037
2636.16/2644.38 c #Conflicts: 2019000 | #Constraints: 57037
2636.16/2644.38 c #Conflicts: 2020000 | #Constraints: 58038
2636.16/2644.38 c #Conflicts: 2021000 | #Constraints: 59038
2636.16/2644.38 c INPROCESSING
2636.16/2644.38 c GARBAGE COLLECT
2636.16/2644.38 c rational objective 0
2681.62/2690.01 c #Conflicts: 2022000 | #Constraints: 30237
2681.62/2690.01 c #Conflicts: 2023000 | #Constraints: 31237
2681.62/2690.01 c #Conflicts: 2024000 | #Constraints: 32237
2681.62/2690.01 c #Conflicts: 2025000 | #Constraints: 33237
2681.62/2690.01 c #Conflicts: 2026000 | #Constraints: 34237
2681.62/2690.01 c #Conflicts: 2027000 | #Constraints: 35237
2681.62/2690.01 c #Conflicts: 2028000 | #Constraints: 36237
2681.62/2690.01 c #Conflicts: 2029000 | #Constraints: 37237
2681.62/2690.01 c #Conflicts: 2030000 | #Constraints: 38237
2681.62/2690.01 c #Conflicts: 2031000 | #Constraints: 39238
2681.62/2690.01 c #Conflicts: 2032000 | #Constraints: 40239
2681.62/2690.01 c #Conflicts: 2033000 | #Constraints: 41239
2681.62/2690.01 c #Conflicts: 2034000 | #Constraints: 42239
2681.62/2690.01 c #Conflicts: 2035000 | #Constraints: 43239
2681.62/2690.01 c #Conflicts: 2036000 | #Constraints: 44239
2681.62/2690.01 c #Conflicts: 2037000 | #Constraints: 45240
2681.62/2690.01 c #Conflicts: 2038000 | #Constraints: 46240
2681.62/2690.01 c #Conflicts: 2039000 | #Constraints: 47240
2681.62/2690.01 c #Conflicts: 2040000 | #Constraints: 48240
2681.62/2690.01 c #Conflicts: 2041000 | #Constraints: 49240
2681.62/2690.01 c #Conflicts: 2042000 | #Constraints: 50240
2681.62/2690.01 c #Conflicts: 2043000 | #Constraints: 51240
2681.62/2690.01 c #Conflicts: 2044000 | #Constraints: 52240
2681.62/2690.01 c #Conflicts: 2045000 | #Constraints: 53240
2681.62/2690.01 c #Conflicts: 2046000 | #Constraints: 54240
2681.62/2690.01 c #Conflicts: 2047000 | #Constraints: 55240
2681.62/2690.01 c #Conflicts: 2048000 | #Constraints: 56240
2681.62/2690.01 c #Conflicts: 2049000 | #Constraints: 57240
2681.62/2690.01 c #Conflicts: 2050000 | #Constraints: 58240
2681.62/2690.01 c INPROCESSING
2681.62/2690.01 c GARBAGE COLLECT
2681.62/2690.01 c rational objective 0
2728.78/2737.29 c #Conflicts: 2051000 | #Constraints: 30110
2728.78/2737.29 c #Conflicts: 2052000 | #Constraints: 31110
2728.78/2737.29 c #Conflicts: 2053000 | #Constraints: 32110
2728.78/2737.29 c #Conflicts: 2054000 | #Constraints: 33555
2728.78/2737.29 c #Conflicts: 2055000 | #Constraints: 34856
2728.78/2737.29 c #Conflicts: 2056000 | #Constraints: 35870
2728.78/2737.29 c #Conflicts: 2057000 | #Constraints: 36940
2728.78/2737.29 c #Conflicts: 2058000 | #Constraints: 37955
2728.78/2737.29 c #Conflicts: 2059000 | #Constraints: 39175
2728.78/2737.29 c #Conflicts: 2060000 | #Constraints: 40175
2728.78/2737.29 c #Conflicts: 2061000 | #Constraints: 41175
2728.78/2737.29 c #Conflicts: 2062000 | #Constraints: 42175
2728.78/2737.29 c #Conflicts: 2063000 | #Constraints: 43175
2728.78/2737.29 c #Conflicts: 2064000 | #Constraints: 44175
2728.78/2737.29 c #Conflicts: 2065000 | #Constraints: 45175
2728.78/2737.29 c #Conflicts: 2066000 | #Constraints: 46175
2728.78/2737.29 c #Conflicts: 2067000 | #Constraints: 47221
2728.78/2737.29 c #Conflicts: 2068000 | #Constraints: 48233
2728.78/2737.29 c #Conflicts: 2069000 | #Constraints: 49233
2728.78/2737.29 c #Conflicts: 2070000 | #Constraints: 50255
2728.78/2737.29 c #Conflicts: 2071000 | #Constraints: 51255
2728.78/2737.29 c #Conflicts: 2072000 | #Constraints: 52276
2728.78/2737.29 c #Conflicts: 2073000 | #Constraints: 53292
2728.78/2737.29 c #Conflicts: 2074000 | #Constraints: 54383
2728.78/2737.29 c #Conflicts: 2075000 | #Constraints: 55428
2728.78/2737.29 c #Conflicts: 2076000 | #Constraints: 56428
2728.78/2737.29 c #Conflicts: 2077000 | #Constraints: 57428
2728.78/2737.29 c #Conflicts: 2078000 | #Constraints: 58428
2728.78/2737.29 c #Conflicts: 2079000 | #Constraints: 59428
2728.78/2737.29 c INPROCESSING
2728.78/2737.29 c GARBAGE COLLECT
2728.78/2737.29 c rational objective 0
2797.87/2806.59 c #Conflicts: 2080000 | #Constraints: 31164
2797.87/2806.59 c #Conflicts: 2081000 | #Constraints: 32470
2797.87/2806.59 c #Conflicts: 2082000 | #Constraints: 33946
2797.87/2806.59 c #Conflicts: 2083000 | #Constraints: 35432
2797.87/2806.59 c #Conflicts: 2084000 | #Constraints: 36904
2797.87/2806.59 c #Conflicts: 2085000 | #Constraints: 38191
2797.87/2806.59 c #Conflicts: 2086000 | #Constraints: 39650
2797.87/2806.59 c #Conflicts: 2087000 | #Constraints: 40970
2797.87/2806.59 c #Conflicts: 2088000 | #Constraints: 42412
2797.87/2806.59 c #Conflicts: 2089000 | #Constraints: 43902
2797.87/2806.59 c #Conflicts: 2090000 | #Constraints: 45058
2797.87/2806.59 c #Conflicts: 2091000 | #Constraints: 46093
2797.87/2806.59 c #Conflicts: 2092000 | #Constraints: 47403
2797.87/2806.59 c #Conflicts: 2093000 | #Constraints: 48579
2797.87/2806.59 c #Conflicts: 2094000 | #Constraints: 49579
2797.87/2806.59 c #Conflicts: 2095000 | #Constraints: 51073
2797.87/2806.59 c #Conflicts: 2096000 | #Constraints: 52521
2797.87/2806.59 c #Conflicts: 2097000 | #Constraints: 53958
2797.87/2806.59 c #Conflicts: 2098000 | #Constraints: 55439
2797.87/2806.59 c #Conflicts: 2099000 | #Constraints: 56895
2797.87/2806.59 c #Conflicts: 2100000 | #Constraints: 58367
2797.87/2806.59 c #Conflicts: 2101000 | #Constraints: 59590
2797.87/2806.59 c #Conflicts: 2102000 | #Constraints: 61075
2797.87/2806.59 c #Conflicts: 2103000 | #Constraints: 62553
2797.87/2806.59 c #Conflicts: 2104000 | #Constraints: 64020
2797.87/2806.59 c #Conflicts: 2105000 | #Constraints: 65505
2797.87/2806.59 c #Conflicts: 2106000 | #Constraints: 66993
2797.87/2806.59 c #Conflicts: 2107000 | #Constraints: 68444
2797.87/2806.59 c #Conflicts: 2108000 | #Constraints: 69916
2797.87/2806.59 c INPROCESSING
2797.87/2806.59 c GARBAGE COLLECT
2797.87/2806.59 c rational objective 0
2867.05/2875.97 c #Conflicts: 2109000 | #Constraints: 36055
2867.05/2875.97 c #Conflicts: 2110000 | #Constraints: 37327
2867.05/2875.97 c #Conflicts: 2111000 | #Constraints: 38493
2867.05/2875.97 c #Conflicts: 2112000 | #Constraints: 39493
2867.05/2875.97 c #Conflicts: 2113000 | #Constraints: 40722
2867.05/2875.97 c #Conflicts: 2114000 | #Constraints: 42085
2867.05/2875.97 c #Conflicts: 2115000 | #Constraints: 43271
2867.05/2875.97 c #Conflicts: 2116000 | #Constraints: 44494
2867.05/2875.97 c #Conflicts: 2117000 | #Constraints: 45795
2867.05/2875.97 c #Conflicts: 2118000 | #Constraints: 47259
2867.05/2875.97 c #Conflicts: 2119000 | #Constraints: 48539
2867.05/2875.97 c #Conflicts: 2120000 | #Constraints: 49539
2867.05/2875.97 c #Conflicts: 2121000 | #Constraints: 50682
2867.05/2875.97 c #Conflicts: 2122000 | #Constraints: 51937
2867.05/2875.97 c #Conflicts: 2123000 | #Constraints: 52937
2867.05/2875.97 c #Conflicts: 2124000 | #Constraints: 54212
2867.05/2875.97 c #Conflicts: 2125000 | #Constraints: 55452
2867.05/2875.97 c #Conflicts: 2126000 | #Constraints: 56642
2867.05/2875.97 c #Conflicts: 2127000 | #Constraints: 58082
2867.05/2875.97 c #Conflicts: 2128000 | #Constraints: 59082
2867.05/2875.97 c #Conflicts: 2129000 | #Constraints: 60210
2867.05/2875.97 c #Conflicts: 2130000 | #Constraints: 61418
2867.05/2875.97 c #Conflicts: 2131000 | #Constraints: 62491
2867.05/2875.97 c #Conflicts: 2132000 | #Constraints: 63539
2867.05/2875.97 c #Conflicts: 2133000 | #Constraints: 64539
2867.05/2875.97 c #Conflicts: 2134000 | #Constraints: 65687
2867.05/2875.97 c #Conflicts: 2135000 | #Constraints: 66938
2867.05/2875.97 c #Conflicts: 2136000 | #Constraints: 68010
2867.05/2875.97 c #Conflicts: 2137000 | #Constraints: 69374
2867.05/2875.97 c INPROCESSING
2867.05/2875.97 c GARBAGE COLLECT
2867.05/2875.97 c rational objective 0
2952.09/2961.27 c #Conflicts: 2138000 | #Constraints: 35969
2952.09/2961.27 c #Conflicts: 2139000 | #Constraints: 37436
2952.09/2961.27 c #Conflicts: 2140000 | #Constraints: 38755
2952.09/2961.27 c #Conflicts: 2141000 | #Constraints: 40211
2952.09/2961.27 c #Conflicts: 2142000 | #Constraints: 41680
2952.09/2961.27 c #Conflicts: 2143000 | #Constraints: 43132
2952.09/2961.27 c #Conflicts: 2144000 | #Constraints: 44597
2952.09/2961.27 c #Conflicts: 2145000 | #Constraints: 46067
2952.09/2961.27 c #Conflicts: 2146000 | #Constraints: 47529
2952.09/2961.27 c #Conflicts: 2147000 | #Constraints: 48998
2952.09/2961.27 c #Conflicts: 2148000 | #Constraints: 50478
2952.09/2961.27 c #Conflicts: 2149000 | #Constraints: 51950
2952.09/2961.27 c #Conflicts: 2150000 | #Constraints: 53428
2952.09/2961.27 c #Conflicts: 2151000 | #Constraints: 54900
2952.09/2961.27 c #Conflicts: 2152000 | #Constraints: 56387
2952.09/2961.27 c #Conflicts: 2153000 | #Constraints: 57858
2952.09/2961.27 c #Conflicts: 2154000 | #Constraints: 59339
2952.09/2961.27 c #Conflicts: 2155000 | #Constraints: 60805
2952.09/2961.27 c #Conflicts: 2156000 | #Constraints: 62263
2952.09/2961.27 c #Conflicts: 2157000 | #Constraints: 63717
2952.09/2961.27 c #Conflicts: 2158000 | #Constraints: 65196
2952.09/2961.27 c #Conflicts: 2159000 | #Constraints: 66662
2952.09/2961.27 c #Conflicts: 2160000 | #Constraints: 68127
2952.09/2961.27 c #Conflicts: 2161000 | #Constraints: 69600
2952.09/2961.27 c #Conflicts: 2162000 | #Constraints: 71057
2952.09/2961.27 c #Conflicts: 2163000 | #Constraints: 72512
2952.09/2961.27 c #Conflicts: 2164000 | #Constraints: 73976
2952.09/2961.27 c #Conflicts: 2165000 | #Constraints: 75411
2952.09/2961.27 c #Conflicts: 2166000 | #Constraints: 76874
2952.09/2961.27 c INPROCESSING
2952.09/2961.27 c GARBAGE COLLECT
2952.09/2961.27 c rational objective 0
3038.93/3048.36 c #Conflicts: 2167000 | #Constraints: 39474
3038.93/3048.36 c #Conflicts: 2168000 | #Constraints: 40910
3038.93/3048.36 c #Conflicts: 2169000 | #Constraints: 42234
3038.93/3048.36 c #Conflicts: 2170000 | #Constraints: 43619
3038.93/3048.36 c #Conflicts: 2171000 | #Constraints: 45073
3038.93/3048.36 c #Conflicts: 2172000 | #Constraints: 46534
3038.93/3048.36 c #Conflicts: 2173000 | #Constraints: 47962
3038.93/3048.36 c #Conflicts: 2174000 | #Constraints: 49330
3038.93/3048.36 c #Conflicts: 2175000 | #Constraints: 50795
3038.93/3048.36 c #Conflicts: 2176000 | #Constraints: 52253
3038.93/3048.36 c #Conflicts: 2177000 | #Constraints: 53344
3038.93/3048.36 c #Conflicts: 2178000 | #Constraints: 54600
3038.93/3048.36 c #Conflicts: 2179000 | #Constraints: 55912
3038.93/3048.36 c #Conflicts: 2180000 | #Constraints: 57341
3038.93/3048.36 c #Conflicts: 2181000 | #Constraints: 58788
3038.93/3048.36 c #Conflicts: 2182000 | #Constraints: 60280
3038.93/3048.36 c #Conflicts: 2183000 | #Constraints: 61752
3038.93/3048.36 c #Conflicts: 2184000 | #Constraints: 63234
3038.93/3048.36 c #Conflicts: 2185000 | #Constraints: 64651
3038.93/3048.36 c #Conflicts: 2186000 | #Constraints: 66085
3038.93/3048.36 c #Conflicts: 2187000 | #Constraints: 67553
3038.93/3048.36 c #Conflicts: 2188000 | #Constraints: 68746
3038.93/3048.36 c #Conflicts: 2189000 | #Constraints: 69889
3038.93/3048.36 c #Conflicts: 2190000 | #Constraints: 71246
3038.93/3048.36 c #Conflicts: 2191000 | #Constraints: 72635
3038.93/3048.36 c #Conflicts: 2192000 | #Constraints: 73673
3038.93/3048.36 c #Conflicts: 2193000 | #Constraints: 74951
3038.93/3048.36 c #Conflicts: 2194000 | #Constraints: 76131
3038.93/3048.36 c #Conflicts: 2195000 | #Constraints: 77576
3038.93/3048.36 c #Conflicts: 2196000 | #Constraints: 79027
3038.93/3048.36 c INPROCESSING
3038.93/3048.36 c GARBAGE COLLECT
3038.93/3048.36 c rational objective 0
3126.07/3135.75 c #Conflicts: 2197000 | #Constraints: 40855
3126.07/3135.75 c #Conflicts: 2198000 | #Constraints: 42280
3126.07/3135.75 c #Conflicts: 2199000 | #Constraints: 43754
3126.07/3135.75 c #Conflicts: 2200000 | #Constraints: 45160
3126.07/3135.75 c #Conflicts: 2201000 | #Constraints: 46204
3126.07/3135.75 c #Conflicts: 2202000 | #Constraints: 47204
3126.07/3135.75 c #Conflicts: 2203000 | #Constraints: 48480
3126.07/3135.75 c #Conflicts: 2204000 | #Constraints: 49956
3126.07/3135.75 c #Conflicts: 2205000 | #Constraints: 51434
3126.07/3135.75 c #Conflicts: 2206000 | #Constraints: 52781
3126.07/3135.75 c #Conflicts: 2207000 | #Constraints: 54127
3126.07/3135.75 c #Conflicts: 2208000 | #Constraints: 55577
3126.07/3135.75 c #Conflicts: 2209000 | #Constraints: 57050
3126.07/3135.75 c #Conflicts: 2210000 | #Constraints: 58522
3126.07/3135.75 c #Conflicts: 2211000 | #Constraints: 59993
3126.07/3135.75 c #Conflicts: 2212000 | #Constraints: 61445
3126.07/3135.75 c #Conflicts: 2213000 | #Constraints: 62494
3126.07/3135.75 c #Conflicts: 2214000 | #Constraints: 63933
3126.07/3135.75 c #Conflicts: 2215000 | #Constraints: 65086
3126.07/3135.75 c #Conflicts: 2216000 | #Constraints: 66438
3126.07/3135.75 c #Conflicts: 2217000 | #Constraints: 67870
3126.07/3135.75 c #Conflicts: 2218000 | #Constraints: 69358
3126.07/3135.75 c #Conflicts: 2219000 | #Constraints: 70543
3126.07/3135.75 c #Conflicts: 2220000 | #Constraints: 72019
3126.07/3135.75 c #Conflicts: 2221000 | #Constraints: 73359
3126.07/3135.75 c #Conflicts: 2222000 | #Constraints: 74359
3126.07/3135.75 c #Conflicts: 2223000 | #Constraints: 75441
3126.07/3135.75 c #Conflicts: 2224000 | #Constraints: 76904
3126.07/3135.75 c #Conflicts: 2225000 | #Constraints: 78173
3126.07/3135.75 c #Conflicts: 2226000 | #Constraints: 79324
3126.07/3135.75 c INPROCESSING
3126.07/3135.75 c GARBAGE COLLECT
3126.07/3135.75 c rational objective 0
3199.25/3209.12 c #Conflicts: 2227000 | #Constraints: 40939
3199.25/3209.12 c #Conflicts: 2228000 | #Constraints: 42027
3199.25/3209.12 c #Conflicts: 2229000 | #Constraints: 43486
3199.25/3209.12 c #Conflicts: 2230000 | #Constraints: 44768
3199.25/3209.12 c #Conflicts: 2231000 | #Constraints: 46008
3199.25/3209.12 c #Conflicts: 2232000 | #Constraints: 47008
3199.25/3209.12 c #Conflicts: 2233000 | #Constraints: 48273
3199.25/3209.12 c #Conflicts: 2234000 | #Constraints: 49723
3199.25/3209.12 c #Conflicts: 2235000 | #Constraints: 51188
3199.25/3209.12 c #Conflicts: 2236000 | #Constraints: 52587
3199.25/3209.12 c #Conflicts: 2237000 | #Constraints: 53617
3199.25/3209.12 c #Conflicts: 2238000 | #Constraints: 54617
3199.25/3209.12 c #Conflicts: 2239000 | #Constraints: 55617
3199.25/3209.12 c #Conflicts: 2240000 | #Constraints: 57004
3199.25/3209.12 c #Conflicts: 2241000 | #Constraints: 58140
3199.25/3209.12 c #Conflicts: 2242000 | #Constraints: 59218
3199.25/3209.12 c #Conflicts: 2243000 | #Constraints: 60218
3199.25/3209.12 c #Conflicts: 2244000 | #Constraints: 61291
3199.25/3209.12 c #Conflicts: 2245000 | #Constraints: 62630
3199.25/3209.12 c #Conflicts: 2246000 | #Constraints: 63921
3199.25/3209.12 c #Conflicts: 2247000 | #Constraints: 64921
3199.25/3209.12 c #Conflicts: 2248000 | #Constraints: 65921
3199.25/3209.12 c #Conflicts: 2249000 | #Constraints: 67391
3199.25/3209.12 c #Conflicts: 2250000 | #Constraints: 68689
3199.25/3209.12 c #Conflicts: 2251000 | #Constraints: 69963
3199.25/3209.12 c #Conflicts: 2252000 | #Constraints: 71293
3199.25/3209.12 c #Conflicts: 2253000 | #Constraints: 72646
3199.25/3209.12 c #Conflicts: 2254000 | #Constraints: 73700
3199.25/3209.12 c #Conflicts: 2255000 | #Constraints: 75089
3199.25/3209.12 c #Conflicts: 2256000 | #Constraints: 76097
3199.25/3209.12 c INPROCESSING
3199.25/3209.12 c GARBAGE COLLECT
3199.25/3209.12 c rational objective 0
3260.65/3270.71 c #Conflicts: 2257000 | #Constraints: 39111
3260.65/3270.71 c #Conflicts: 2258000 | #Constraints: 40265
3260.65/3270.71 c #Conflicts: 2259000 | #Constraints: 41265
3260.65/3270.71 c #Conflicts: 2260000 | #Constraints: 42303
3260.65/3270.71 c #Conflicts: 2261000 | #Constraints: 43346
3260.65/3270.71 c #Conflicts: 2262000 | #Constraints: 44346
3260.65/3270.71 c #Conflicts: 2263000 | #Constraints: 45464
3260.65/3270.71 c #Conflicts: 2264000 | #Constraints: 46500
3260.65/3270.71 c #Conflicts: 2265000 | #Constraints: 47543
3260.65/3270.71 c #Conflicts: 2266000 | #Constraints: 48543
3260.65/3270.71 c #Conflicts: 2267000 | #Constraints: 49543
3260.65/3270.71 c #Conflicts: 2268000 | #Constraints: 50543
3260.65/3270.71 c #Conflicts: 2269000 | #Constraints: 51543
3260.65/3270.71 c #Conflicts: 2270000 | #Constraints: 52543
3260.65/3270.71 c #Conflicts: 2271000 | #Constraints: 53543
3260.65/3270.71 c #Conflicts: 2272000 | #Constraints: 54597
3260.65/3270.71 c #Conflicts: 2273000 | #Constraints: 55632
3260.65/3270.71 c #Conflicts: 2274000 | #Constraints: 56672
3260.65/3270.71 c #Conflicts: 2275000 | #Constraints: 57700
3260.65/3270.71 c #Conflicts: 2276000 | #Constraints: 58752
3260.65/3270.71 c #Conflicts: 2277000 | #Constraints: 59847
3260.65/3270.71 c #Conflicts: 2278000 | #Constraints: 60856
3260.65/3270.71 c #Conflicts: 2279000 | #Constraints: 61970
3260.65/3270.71 c #Conflicts: 2280000 | #Constraints: 62995
3260.65/3270.71 c #Conflicts: 2281000 | #Constraints: 64144
3260.65/3270.71 c #Conflicts: 2282000 | #Constraints: 65144
3260.65/3270.71 c #Conflicts: 2283000 | #Constraints: 66167
3260.65/3270.71 c #Conflicts: 2284000 | #Constraints: 67262
3260.65/3270.71 c #Conflicts: 2285000 | #Constraints: 68262
3260.65/3270.71 c #Conflicts: 2286000 | #Constraints: 69465
3260.65/3270.71 c INPROCESSING
3260.65/3270.71 c GARBAGE COLLECT
3260.65/3270.71 c rational objective 0
3331.84/3342.19 c #Conflicts: 2287000 | #Constraints: 36015
3331.84/3342.19 c #Conflicts: 2288000 | #Constraints: 37446
3331.84/3342.19 c #Conflicts: 2289000 | #Constraints: 38446
3331.84/3342.19 c #Conflicts: 2290000 | #Constraints: 39494
3331.84/3342.19 c #Conflicts: 2291000 | #Constraints: 40969
3331.84/3342.19 c #Conflicts: 2292000 | #Constraints: 42452
3331.84/3342.19 c #Conflicts: 2293000 | #Constraints: 43701
3331.84/3342.19 c #Conflicts: 2294000 | #Constraints: 45128
3331.84/3342.19 c #Conflicts: 2295000 | #Constraints: 46600
3331.84/3342.19 c #Conflicts: 2296000 | #Constraints: 48074
3331.84/3342.19 c #Conflicts: 2297000 | #Constraints: 49173
3331.84/3342.19 c #Conflicts: 2298000 | #Constraints: 50430
3331.84/3342.19 c #Conflicts: 2299000 | #Constraints: 51899
3331.84/3342.19 c #Conflicts: 2300000 | #Constraints: 52935
3331.84/3342.19 c #Conflicts: 2301000 | #Constraints: 54364
3331.84/3342.19 c #Conflicts: 2302000 | #Constraints: 55832
3331.84/3342.19 c #Conflicts: 2303000 | #Constraints: 57155
3331.84/3342.19 c #Conflicts: 2304000 | #Constraints: 58629
3331.84/3342.19 c #Conflicts: 2305000 | #Constraints: 59930
3331.84/3342.19 c #Conflicts: 2306000 | #Constraints: 61387
3331.84/3342.19 c #Conflicts: 2307000 | #Constraints: 62853
3331.84/3342.19 c #Conflicts: 2308000 | #Constraints: 64304
3331.84/3342.19 c #Conflicts: 2309000 | #Constraints: 65776
3331.84/3342.19 c #Conflicts: 2310000 | #Constraints: 67256
3331.84/3342.19 c #Conflicts: 2311000 | #Constraints: 68390
3331.84/3342.19 c #Conflicts: 2312000 | #Constraints: 69479
3331.84/3342.19 c #Conflicts: 2313000 | #Constraints: 70786
3331.84/3342.19 c #Conflicts: 2314000 | #Constraints: 71922
3331.84/3342.19 c #Conflicts: 2315000 | #Constraints: 72922
3331.84/3342.19 c #Conflicts: 2316000 | #Constraints: 73923
3331.84/3342.19 c INPROCESSING
3331.84/3342.19 c GARBAGE COLLECT
3331.84/3342.19 c rational objective 0
3396.73/3407.28 c #Conflicts: 2317000 | #Constraints: 37849
3396.73/3407.28 c #Conflicts: 2318000 | #Constraints: 38911
3396.73/3407.28 c #Conflicts: 2319000 | #Constraints: 39956
3396.73/3407.28 c #Conflicts: 2320000 | #Constraints: 41081
3396.73/3407.28 c #Conflicts: 2321000 | #Constraints: 42101
3396.73/3407.28 c #Conflicts: 2322000 | #Constraints: 43160
3396.73/3407.28 c #Conflicts: 2323000 | #Constraints: 44192
3396.73/3407.28 c #Conflicts: 2324000 | #Constraints: 45274
3396.73/3407.28 c #Conflicts: 2325000 | #Constraints: 46301
3396.73/3407.28 c #Conflicts: 2326000 | #Constraints: 47369
3396.73/3407.28 c #Conflicts: 2327000 | #Constraints: 48411
3396.73/3407.28 c #Conflicts: 2328000 | #Constraints: 49440
3396.73/3407.28 c #Conflicts: 2329000 | #Constraints: 50514
3396.73/3407.28 c #Conflicts: 2330000 | #Constraints: 51518
3396.73/3407.28 c #Conflicts: 2331000 | #Constraints: 52553
3396.73/3407.28 c #Conflicts: 2332000 | #Constraints: 53553
3396.73/3407.28 c #Conflicts: 2333000 | #Constraints: 54564
3396.73/3407.28 c #Conflicts: 2334000 | #Constraints: 55581
3396.73/3407.28 c #Conflicts: 2335000 | #Constraints: 56581
3396.73/3407.28 c #Conflicts: 2336000 | #Constraints: 57602
3396.73/3407.28 c #Conflicts: 2337000 | #Constraints: 58720
3396.73/3407.28 c #Conflicts: 2338000 | #Constraints: 59721
3396.73/3407.28 c #Conflicts: 2339000 | #Constraints: 60730
3396.73/3407.28 c #Conflicts: 2340000 | #Constraints: 61735
3396.73/3407.28 c #Conflicts: 2341000 | #Constraints: 62740
3396.73/3407.28 c #Conflicts: 2342000 | #Constraints: 63767
3396.73/3407.28 c #Conflicts: 2343000 | #Constraints: 64768
3396.73/3407.28 c #Conflicts: 2344000 | #Constraints: 65768
3396.73/3407.28 c #Conflicts: 2345000 | #Constraints: 66779
3396.73/3407.28 c #Conflicts: 2346000 | #Constraints: 67779
3396.73/3407.28 c #Conflicts: 2347000 | #Constraints: 68855
3396.73/3407.28 c INPROCESSING
3396.73/3407.28 c GARBAGE COLLECT
3396.73/3407.28 c rational objective 0
3457.95/3468.64 c #Conflicts: 2348000 | #Constraints: 35620
3457.95/3468.64 c #Conflicts: 2349000 | #Constraints: 36784
3457.95/3468.64 c #Conflicts: 2350000 | #Constraints: 37879
3457.95/3468.64 c #Conflicts: 2351000 | #Constraints: 38938
3457.95/3468.64 c #Conflicts: 2352000 | #Constraints: 39938
3457.95/3468.64 c #Conflicts: 2353000 | #Constraints: 40948
3457.95/3468.64 c #Conflicts: 2354000 | #Constraints: 42004
3457.95/3468.64 c #Conflicts: 2355000 | #Constraints: 43037
3457.95/3468.64 c #Conflicts: 2356000 | #Constraints: 44049
3457.95/3468.64 c #Conflicts: 2357000 | #Constraints: 45151
3457.95/3468.64 c #Conflicts: 2358000 | #Constraints: 46173
3457.95/3468.64 c #Conflicts: 2359000 | #Constraints: 47264
3457.95/3468.64 c #Conflicts: 2360000 | #Constraints: 48339
3457.95/3468.64 c #Conflicts: 2361000 | #Constraints: 49371
3457.95/3468.64 c #Conflicts: 2362000 | #Constraints: 50389
3457.95/3468.64 c #Conflicts: 2363000 | #Constraints: 51394
3457.95/3468.64 c #Conflicts: 2364000 | #Constraints: 52465
3457.95/3468.64 c #Conflicts: 2365000 | #Constraints: 53468
3457.95/3468.64 c #Conflicts: 2366000 | #Constraints: 54468
3457.95/3468.64 c #Conflicts: 2367000 | #Constraints: 55478
3457.95/3468.64 c #Conflicts: 2368000 | #Constraints: 56478
3457.95/3468.64 c #Conflicts: 2369000 | #Constraints: 57478
3457.95/3468.64 c #Conflicts: 2370000 | #Constraints: 58489
3457.95/3468.64 c #Conflicts: 2371000 | #Constraints: 59489
3457.95/3468.64 c #Conflicts: 2372000 | #Constraints: 60489
3457.95/3468.64 c #Conflicts: 2373000 | #Constraints: 61580
3457.95/3468.64 c #Conflicts: 2374000 | #Constraints: 62580
3457.95/3468.64 c #Conflicts: 2375000 | #Constraints: 63580
3457.95/3468.64 c #Conflicts: 2376000 | #Constraints: 64580
3457.95/3468.64 c #Conflicts: 2377000 | #Constraints: 65580
3457.95/3468.64 c #Conflicts: 2378000 | #Constraints: 66580
3457.95/3468.64 c INPROCESSING
3457.95/3468.64 c GARBAGE COLLECT
3457.95/3468.64 c rational objective 0
3514.77/3525.61 c #Conflicts: 2379000 | #Constraints: 34309
3514.77/3525.61 c #Conflicts: 2380000 | #Constraints: 35309
3514.77/3525.61 c #Conflicts: 2381000 | #Constraints: 36309
3514.77/3525.61 c #Conflicts: 2382000 | #Constraints: 37309
3514.77/3525.61 c #Conflicts: 2383000 | #Constraints: 38309
3514.77/3525.61 c #Conflicts: 2384000 | #Constraints: 39310
3514.77/3525.61 c #Conflicts: 2385000 | #Constraints: 40310
3514.77/3525.61 c #Conflicts: 2386000 | #Constraints: 41310
3514.77/3525.61 c #Conflicts: 2387000 | #Constraints: 42310
3514.77/3525.61 c #Conflicts: 2388000 | #Constraints: 43310
3514.77/3525.61 c #Conflicts: 2389000 | #Constraints: 44311
3514.77/3525.61 c #Conflicts: 2390000 | #Constraints: 45311
3514.77/3525.61 c #Conflicts: 2391000 | #Constraints: 46311
3514.77/3525.61 c #Conflicts: 2392000 | #Constraints: 47311
3514.77/3525.61 c #Conflicts: 2393000 | #Constraints: 48311
3514.77/3525.61 c #Conflicts: 2394000 | #Constraints: 49311
3514.77/3525.61 c #Conflicts: 2395000 | #Constraints: 50311
3514.77/3525.61 c #Conflicts: 2396000 | #Constraints: 51311
3514.77/3525.61 c #Conflicts: 2397000 | #Constraints: 52311
3514.77/3525.61 c #Conflicts: 2398000 | #Constraints: 53311
3514.77/3525.61 c #Conflicts: 2399000 | #Constraints: 54311
3514.77/3525.61 c #Conflicts: 2400000 | #Constraints: 55311
3514.77/3525.61 c #Conflicts: 2401000 | #Constraints: 56311
3514.77/3525.61 c #Conflicts: 2402000 | #Constraints: 57311
3514.77/3525.61 c #Conflicts: 2403000 | #Constraints: 58311
3514.77/3525.61 c #Conflicts: 2404000 | #Constraints: 59312
3514.77/3525.61 c #Conflicts: 2405000 | #Constraints: 60312
3514.77/3525.61 c #Conflicts: 2406000 | #Constraints: 61312
3514.77/3525.61 c #Conflicts: 2407000 | #Constraints: 62312
3514.77/3525.61 c #Conflicts: 2408000 | #Constraints: 63312
3514.77/3525.61 c #Conflicts: 2409000 | #Constraints: 64312
3514.77/3525.61 c INPROCESSING
3514.77/3525.61 c GARBAGE COLLECT
3514.77/3525.61 c rational objective 0
3571.87/3582.98 c #Conflicts: 2410000 | #Constraints: 33244
3571.87/3582.98 c #Conflicts: 2411000 | #Constraints: 34253
3571.87/3582.98 c #Conflicts: 2412000 | #Constraints: 35371
3571.87/3582.98 c #Conflicts: 2413000 | #Constraints: 36425
3571.87/3582.98 c #Conflicts: 2414000 | #Constraints: 37499
3571.87/3582.98 c #Conflicts: 2415000 | #Constraints: 38564
3571.87/3582.98 c #Conflicts: 2416000 | #Constraints: 39575
3571.87/3582.98 c #Conflicts: 2417000 | #Constraints: 40604
3571.87/3582.98 c #Conflicts: 2418000 | #Constraints: 41640
3571.87/3582.98 c #Conflicts: 2419000 | #Constraints: 42654
3571.87/3582.98 c #Conflicts: 2420000 | #Constraints: 43682
3571.87/3582.98 c #Conflicts: 2421000 | #Constraints: 44698
3571.87/3582.98 c #Conflicts: 2422000 | #Constraints: 45698
3571.87/3582.98 c #Conflicts: 2423000 | #Constraints: 46736
3571.87/3582.98 c #Conflicts: 2424000 | #Constraints: 47760
3571.87/3582.98 c #Conflicts: 2425000 | #Constraints: 48812
3571.87/3582.98 c #Conflicts: 2426000 | #Constraints: 49812
3571.87/3582.98 c #Conflicts: 2427000 | #Constraints: 50822
3571.87/3582.98 c #Conflicts: 2428000 | #Constraints: 51929
3571.87/3582.98 c #Conflicts: 2429000 | #Constraints: 52942
3571.87/3582.98 c #Conflicts: 2430000 | #Constraints: 53942
3571.87/3582.98 c #Conflicts: 2431000 | #Constraints: 55015
3571.87/3582.98 c #Conflicts: 2432000 | #Constraints: 56053
3571.87/3582.98 c #Conflicts: 2433000 | #Constraints: 57079
3571.87/3582.98 c #Conflicts: 2434000 | #Constraints: 58200
3571.87/3582.98 c #Conflicts: 2435000 | #Constraints: 59200
3571.87/3582.98 c #Conflicts: 2436000 | #Constraints: 60222
3571.87/3582.98 c #Conflicts: 2437000 | #Constraints: 61222
3571.87/3582.98 c #Conflicts: 2438000 | #Constraints: 62253
3571.87/3582.98 c #Conflicts: 2439000 | #Constraints: 63273
3571.87/3582.98 c #Conflicts: 2440000 | #Constraints: 64369
3571.87/3582.98 c INPROCESSING
3571.87/3582.98 c GARBAGE COLLECT
3571.87/3582.98 c rational objective 0
3600.05/3611.20 c #Conflicts: 2441000 | #Constraints: 33482
3600.05/3611.20 c #Conflicts: 2442000 | #Constraints: 34949
3600.05/3611.20 c #Conflicts: 2443000 | #Constraints: 36038
3600.05/3611.20 c #Conflicts: 2444000 | #Constraints: 37038
3600.05/3611.20 c #Conflicts: 2445000 | #Constraints: 38176
3600.05/3611.20 c #Conflicts: 2446000 | #Constraints: 39638
3600.05/3611.20 c #Conflicts: 2447000 | #Constraints: 41106
3600.05/3611.20 c #Conflicts: 2448000 | #Constraints: 42563
3600.05/3611.20 c #Conflicts: 2449000 | #Constraints: 44026
3600.05/3611.20 c #Conflicts: 2450000 | #Constraints: 45505
3600.05/3611.20 c #Conflicts: 2451000 | #Constraints: 46723
3600.05/3611.20 c #Conflicts: 2452000 | #Constraints: 48029
3600.05/3611.20 c #Conflicts: 2453000 | #Constraints: 49503
3600.05/3611.20 c #Conflicts: 2454000 | #Constraints: 50969
3600.05/3611.20 c #Conflicts: 2455000 | #Constraints: 52430
3600.05/3611.20 c #Conflicts: 2456000 | #Constraints: 53898
3600.05/3611.20 c cpu time 3578.3 s
3600.05/3611.20 c deterministic time 364190534005 3.64e+11
3600.05/3611.20 c optimization time 27.803 s
3600.05/3611.20 c total solve time 3550.49 s
3600.05/3611.20 c core-guided solve time 0 s
3600.05/3611.20 c propagation time 2936.21 s
3600.05/3611.20 c conflict analysis time 556.742 s
3600.05/3611.20 c propagations 41313831
3600.05/3611.20 c resolve steps 17169429
3600.05/3611.20 c decisions 3292234
3600.05/3611.20 c conflicts 2456344
3600.05/3611.20 c restarts 4094
3600.05/3611.20 c inprocessing phases 147
3600.05/3611.20 c garbage collections 147 ,( 100.00 )
3600.05/3611.20 c input clauses 0 ,( 0.00 )
3600.05/3611.20 c input cardinalities 0 ,( 0.00 )
3600.05/3611.20 c input general constraints 14 ,( 100.00 )
3600.05/3611.20 c input average constraint length 75.57
3600.05/3611.20 c input average constraint degree 1791.71
3600.05/3611.20 c learned clauses 901992 ,( 30.88 )
3600.05/3611.20 c learned cardinalities 0 ,( 0.00 )
3600.05/3611.20 c learned general constraints 2018649 ,( 69.12 )
3600.05/3611.20 c learned average constraint length 139.42
3600.05/3611.20 c learned average constraint degree 2641905221.40
3600.05/3611.20 c watched CF 32, 64, 128, Arb: 799646 , 0 , 0 , 0
3600.05/3611.20 c counting CF 32, 64, 128, Arb: 1219018 , 0 , 0 , 0
3600.05/3611.20 c watched constraints 799646 ,( 39.61 )
3600.05/3611.20 c counting constraints 1219017 ,( 60.39 )
3600.05/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 91423592 , 0 , 28342298642 ,( 138925489 , 28203373153 )
3600.05/3611.20 c gcd simplifications 884573
3600.05/3611.20 c detected cardinalities 0
3600.05/3611.20 c weakened non-implied lits 63511951
3600.05/3611.20 c weakened non-implying lits 5144632
3600.05/3611.20 c original variables 172
3600.05/3611.20 c clausal propagations 147345
3600.05/3611.20 c cardinality propagations 0
3600.05/3611.20 c watched propagations 89226
3600.05/3611.20 c counting propagations 38603297
3600.05/3611.20 c watch lookups 129407933650
3600.05/3611.20 c watch backjump lookups 0
3600.05/3611.20 c watch checks 9263261102
3600.05/3611.20 c propagation checks 222261493487
3600.05/3611.20 c constraint additions 3163725424
3600.05/3611.20 c trail pops 47061840
3600.05/3611.20 c formula constraints 14
3600.05/3611.20 c learned constraints 2455946
3600.05/3611.20 c bound constraints 0
3600.05/3611.20 c core-guided constraints 0
3600.05/3611.20 c encountered formula constraints 55191
3600.05/3611.20 c encountered learned constraints 2506327
3600.05/3611.20 c encountered bound constraints 0
3600.05/3611.20 c encountered core-guided constraints 0
3600.05/3611.20 c LP total time 111.429 s
3600.05/3611.20 c LP solve time 66.85 s
3600.05/3611.20 c LP constraints added 233
3600.05/3611.20 c LP constraints removed 218
3600.05/3611.20 c LP pivots internal 2451112
3600.05/3611.20 c LP pivots root 1324
3600.05/3611.20 c LP calls 981721
3600.05/3611.20 c LP optimalities 517610
3600.05/3611.20 c LP no pivot count 49279
3600.05/3611.20 c LP infeasibilities 464100
3600.05/3611.20 c LP valid Farkas constraints 464094
3600.05/3611.20 c LP learned Farkas constraints 397
3600.05/3611.20 c LP basis resets 11
3600.05/3611.20 c LP cycling count 0
3600.05/3611.20 c LP singular count 11
3600.05/3611.20 c LP no primal count 0
3600.05/3611.20 c LP no farkas count 0
3600.05/3611.20 c LP other issue count 0
3600.05/3611.20 c LP Gomory cuts 204
3600.05/3611.20 c LP learned cuts 15
3600.05/3611.20 c LP deleted cuts 218
3600.05/3611.20 c LP encountered Gomory constraints 507
3600.05/3611.20 c LP encountered Farkas constraints 16907155
3600.05/3611.20 c LP encountered learned Farkas constraints 156196
3600.05/3611.20 c CG auxiliary variables introduced 1
3600.05/3611.20 c CG solutions found 0
3600.05/3611.20 c CG cores constructed 0
3600.05/3611.20 c CG core cardinality constraints returned 0
3600.05/3611.20 c CG unit cores 0
3600.05/3611.20 c CG single cores 0
3600.05/3611.20 c CG blocks removed during cardinality reduction 0
3600.05/3611.20 c CG first core best 0
3600.05/3611.20 c CG decision core best 0
3600.05/3611.20 c CG core reduction tie 0
3600.05/3611.20 c CG core degree average 0.00
3600.05/3611.20 c CG core slack average 0.00
3600.05/3611.20 c CG core upper bound improvements 0
3600.05/3611.20 c STR number of successful calls 0
3600.05/3611.20 c STR number of unsuccessful calls 0
3600.05/3611.20 c STR number of inconclusive calls 0
3600.05/3611.20 c STR number of successful attempts 0
3600.05/3611.20 c STR number of unsuccessful attempts 0
3600.05/3611.20 c STR number of inconclusive attempts 0
3600.05/3611.20 c STR average degree increase per successful call inf
3600.05/3611.20 c STR average degree increase per successful attempt inf
3600.05/3611.20 c STR total number of conflicts for successful attempts 0
3600.05/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.20 c STR average number of conflicts per successful attempt inf
3600.05/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.20 c AVG.sumWPerc 50.94
3600.05/3611.20 c bigint constraints 0
3600.05/3611.20 s UNKNOWN
3600.05/3611.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 (62526 MiB free)
memory of node 1: 64507 MiB (63973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490702-1751368959/watcher-4490702-1751368959 -o /tmp/evaluation-result-4490702-1751368959/solver-4490702-1751368959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50469 --watchdog 3760 run-opt.sh HOME/instance-4490702-1751368959.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51505, runsolver pid=51502
[startup+0.100094 s]*
/proc/loadavg: 4.15 4.13 4.11 5/255 51507
/proc/meminfo: memFree=129532064/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=60844 memory=13604 CPUtime=0.08 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 720 0 0 0 8 0 0 0 20 0 1 0 52575247 62304256 3401 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 15211 3401 2400 1147 0 2638 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65036 KiB
Current children cumulated memory: 16548 KiB
[startup+0.213316 s]*
/proc/loadavg: 4.15 4.13 4.11 5/255 51507
/proc/meminfo: memFree=129532064/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=61244 memory=13988 CPUtime=0.2 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 801 0 0 0 19 1 0 0 20 0 1 0 52575247 62713856 3497 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 15311 3497 2400 1147 0 2738 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65436 KiB
Current children cumulated memory: 16932 KiB
[startup+0.312668 s]*
/proc/loadavg: 4.15 4.13 4.11 6/255 51507
/proc/meminfo: memFree=129532064/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=61916 memory=14628 CPUtime=0.3 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 979 0 0 0 28 2 0 0 20 0 1 0 52575247 63401984 3657 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 15479 3657 2400 1147 0 2906 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66108 KiB
Current children cumulated memory: 17572 KiB
[startup+0.700326 s]
/proc/loadavg: 4.15 4.13 4.11 5/255 51507
/proc/meminfo: memFree=129531776/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=63644 memory=16292 CPUtime=0.67 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 1398 0 0 0 64 3 0 0 20 0 1 0 52575247 65171456 4073 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 15911 4073 2400 1147 0 3338 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 67836 KiB
Current children cumulated memory: 19236 KiB
[startup+1.50035 s]
/proc/loadavg: 4.15 4.13 4.11 5/255 51507
/proc/meminfo: memFree=129526168/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=65424 memory=19812 CPUtime=1.47 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 1760 0 0 0 140 7 0 0 20 0 1 0 52575247 66994176 4953 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 16356 4953 2400 1147 0 3783 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 69616 KiB
Current children cumulated memory: 22756 KiB
[startup+3.11288 s]
/proc/loadavg: 4.14 4.13 4.11 5/255 51507
/proc/meminfo: memFree=129526420/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=76032 memory=27748 CPUtime=3.08 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 3759 0 0 0 296 12 0 0 20 0 1 0 52575247 77856768 6937 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 19008 6937 2400 1147 0 6435 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80224 KiB
Current children cumulated memory: 30692 KiB
[startup+6.30035 s]
/proc/loadavg: 4.14 4.13 4.11 5/255 51507
/proc/meminfo: memFree=129526464/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=79616 memory=32228 CPUtime=6.25 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 4864 0 0 0 605 20 0 0 20 0 1 0 52575247 81526784 8057 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 19904 8057 2400 1147 0 7331 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 83808 KiB
Current children cumulated memory: 35172 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.13 4.11 5/255 51507
/proc/meminfo: memFree=129520668/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=89848 memory=41208 CPUtime=12.64 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 6604 0 0 0 1227 37 0 0 20 0 1 0 52575247 92004352 10302 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 22462 10302 2400 1147 0 9889 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 94040 KiB
Current children cumulated memory: 44152 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.12 4.11 5/256 51509
/proc/meminfo: memFree=129499940/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=108380 memory=51064 CPUtime=25.4 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 9087 0 0 0 2476 64 0 0 20 0 1 0 52575247 110981120 12766 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 27095 12766 2400 1147 0 14522 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 112572 KiB
Current children cumulated memory: 54008 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.12 4.11 5/256 51509
/proc/meminfo: memFree=129489296/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=119536 memory=64336 CPUtime=50.93 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 12277 0 0 0 4985 108 0 0 20 0 1 0 52575247 122404864 16084 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 29884 16084 2496 1147 0 17311 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 123728 KiB
Current children cumulated memory: 67280 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/256 51511
/proc/meminfo: memFree=129475628/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=147448 memory=80968 CPUtime=101.98 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 18134 0 0 0 10019 179 0 0 20 0 1 0 52575247 150986752 20242 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 36862 20242 2496 1147 0 24289 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 83912 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/255 51605
/proc/meminfo: memFree=129637856/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=159648 memory=98296 CPUtime=161.79 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 21940 0 0 0 15935 244 0 0 20 0 1 0 52575247 163479552 24574 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 39912 24574 2496 1147 0 27339 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 163840 KiB
Current children cumulated memory: 101240 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/255 51614
/proc/meminfo: memFree=129549460/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=160680 memory=100804 CPUtime=221.62 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 22716 0 0 0 21828 334 0 0 20 0 1 0 52575247 164536320 25201 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 40170 25201 2496 1147 0 27597 0
################
# More data... #
################
/proc/51507/statm: 87427 69215 2528 1147 0 74854 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 353900 KiB
Current children cumulated memory: 279804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/254 51806
/proc/meminfo: memFree=129205916/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=350732 memory=278772 CPUtime=3092.77 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 72321 0 0 0 307315 1962 0 0 20 0 1 0 52575247 359149568 69693 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 87683 69693 2528 1147 0 75110 0
Current children cumulated CPU time: 3092.77 s
Current children cumulated vsize: 354924 KiB
Current children cumulated memory: 281716 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 51808
/proc/meminfo: memFree=129198480/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=351864 memory=284020 CPUtime=3152.59 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 72635 0 0 0 313278 1981 0 0 20 0 1 0 52575247 360308736 71005 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 87966 71005 2528 1147 0 75393 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 356056 KiB
Current children cumulated memory: 286964 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/255 51811
/proc/meminfo: memFree=129204228/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=351864 memory=284916 CPUtime=3212.41 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 72635 0 0 0 319235 2006 0 0 20 0 1 0 52575247 360308736 71229 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 87966 71229 2528 1147 0 75393 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 356056 KiB
Current children cumulated memory: 287860 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/255 51819
/proc/meminfo: memFree=129211456/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=351864 memory=284916 CPUtime=3272.21 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 72635 0 0 0 325184 2037 0 0 20 0 1 0 52575247 360308736 71229 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 87966 71229 2528 1147 0 75393 0
Current children cumulated CPU time: 3272.21 s
Current children cumulated vsize: 356056 KiB
Current children cumulated memory: 287860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/255 51821
/proc/meminfo: memFree=129209976/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=353400 memory=285132 CPUtime=3332.03 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 73058 0 0 0 331143 2060 0 0 20 0 1 0 52575247 361881600 71283 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 88350 71283 2528 1147 0 75777 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 357592 KiB
Current children cumulated memory: 288076 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.20 4.13 5/255 51822
/proc/meminfo: memFree=129212536/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=353400 memory=285132 CPUtime=3391.84 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 73058 0 0 0 337096 2088 0 0 20 0 1 0 52575247 361881600 71283 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 88350 71283 2528 1147 0 75777 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 357592 KiB
Current children cumulated memory: 288076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.75 4.35 4.19 5/256 51825
/proc/meminfo: memFree=129222444/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=353400 memory=285132 CPUtime=3451.67 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 73058 0 0 0 343057 2110 0 0 20 0 1 0 52575247 361881600 71283 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 88350 71283 2528 1147 0 75777 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 357592 KiB
Current children cumulated memory: 288076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.31 4.18 5/255 51827
/proc/meminfo: memFree=129220112/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=353400 memory=285132 CPUtime=3511.48 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 73059 0 0 0 349014 2134 0 0 20 0 1 0 52575247 361881600 71283 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 88350 71283 2528 1147 0 75777 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 357592 KiB
Current children cumulated memory: 288076 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.29 4.18 5/255 51829
/proc/meminfo: memFree=129222924/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=353400 memory=285132 CPUtime=3571.27 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 73059 0 0 0 354966 2161 0 0 20 0 1 0 52575247 361881600 71283 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 88350 71283 2528 1147 0 75777 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 357592 KiB
Current children cumulated memory: 288076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.16 4.26 4.18 4/249 51862
/proc/meminfo: memFree=129330784/131382120 swapFree=33010416/33010684
[pid=51505] ppid=51502 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/51505/stat : 51505 (run-opt.sh) S 51502 51505 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52575246 4292608 736 18446744073709551615 94124115406848 94124116301381 140734027303392 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94124116540432 94124116588176 94124119683072 140734027311469 140734027311592 140734027311592 140734027317194 0
/proc/51505/statm: 1048 736 672 219 0 110 0
[pid=51507] ppid=51505 vsize=353400 memory=285132 CPUtime=3600.05 cores=5,7
/proc/51507/stat : 51507 (roundingsat) R 51505 51505 50456 0 -1 4194304 73059 0 0 0 357829 2176 0 0 20 0 1 0 52575247 361881600 71283 18446744073709551615 4227072 8923433 140724064796176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34123776 140724064799138 140724064799272 140724064799272 140724064804842 0
/proc/51507/statm: 88350 71283 2528 1147 0 75777 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 357592 KiB
Current children cumulated memory: 288076 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.21 s]
# the end of solver process 51505 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004845 s
Sleeping 2 seconds
[startup+3611.21 s]
# the end of solver process 51507 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.3 s, system=21.7772 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.21
CPU time (s): 3600.08
CPU user time (s): 3578.3
CPU system time (s): 21.7772
CPU usage (%): 99.6917
Max. virtual memory (cumulated for all children) (KiB): 357592
Max. memory (cumulated for all children) (KiB): 288076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.3
system time used= 21.7772
maximum resident set size= 285604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73285
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= 200
involuntary context switches= 1963
# summary of solver processes directly reported to runsolver:
# pid: 51505,51507
# total CPU time (s): 3600.08
# total CPU user time (s): 3578.3
# total CPU system time (s): 21.7772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1347 second user time and 34.475 second system time
The end
Begin job on nodeC006 at 2025-07-01 13:22:39
IDJOB=4490702
IDBENCH=147611
IDSOLVER=3350
FILE ID=nodeC006/4490702-1751368959
RUNJOBID= nodeC006-1751361724-50469
SLURM_JOB_ID= 9598172
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490702-1751368959/watcher-4490702-1751368959 -o /tmp/evaluation-result-4490702-1751368959/solver-4490702-1751368959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50469 --watchdog 3760 run-opt.sh HOME/instance-4490702-1751368959.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=789095497
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.601
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.174
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.113
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.596
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1695.948
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.404
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129535688 kB
MemAvailable: 129417132 kB
Buffers: 2128 kB
Cached: 683840 kB
SwapCached: 12 kB
Active: 925548 kB
Inactive: 358740 kB
Active(anon): 605228 kB
Inactive(anon): 11092 kB
Active(file): 320320 kB
Inactive(file): 347648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14584 kB
Writeback: 0 kB
AnonPages: 599556 kB
Mapped: 116836 kB
Shmem: 17948 kB
KReclaimable: 105824 kB
Slab: 189712 kB
SReclaimable: 105824 kB
SUnreclaim: 83888 kB
KernelStack: 4032 kB
PageTables: 4492 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1004096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 442368 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC006 at 2025-07-01 14:22:50