0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 86 #constraints 2
0.00/0.01 c rational objective 1.25844
0.08/0.18 c #Conflicts: 1000 | #Constraints: 1052
0.08/0.18 c #Conflicts: 2000 | #Constraints: 2154
0.08/0.18 c INPROCESSING
0.08/0.18 c GARBAGE COLLECT
0.08/0.18 c rational objective 2
0.38/0.49 c #Conflicts: 3000 | #Constraints: 2189
0.38/0.49 c #Conflicts: 4000 | #Constraints: 3293
0.38/0.49 c INPROCESSING
0.38/0.49 c GARBAGE COLLECT
0.38/0.49 c rational objective 2
0.78/0.83 c #Conflicts: 5000 | #Constraints: 2557
0.78/0.83 c #Conflicts: 6000 | #Constraints: 3557
0.78/0.83 c INPROCESSING
0.78/0.83 c GARBAGE COLLECT
0.78/0.83 c rational objective 2
1.17/1.25 c #Conflicts: 7000 | #Constraints: 2484
1.17/1.25 c #Conflicts: 8000 | #Constraints: 3484
1.17/1.25 c #Conflicts: 9000 | #Constraints: 4588
1.17/1.25 c INPROCESSING
1.17/1.25 c GARBAGE COLLECT
1.17/1.25 c rational objective 2
1.77/1.85 c #Conflicts: 10000 | #Constraints: 3285
1.77/1.85 c #Conflicts: 11000 | #Constraints: 4384
1.77/1.85 c #Conflicts: 12000 | #Constraints: 5497
1.77/1.85 c INPROCESSING
1.77/1.85 c GARBAGE COLLECT
1.77/1.85 c rational objective 2
2.47/2.50 c #Conflicts: 13000 | #Constraints: 3863
2.47/2.50 c #Conflicts: 14000 | #Constraints: 5006
2.47/2.50 c #Conflicts: 15000 | #Constraints: 6178
2.47/2.50 c INPROCESSING
2.47/2.50 c GARBAGE COLLECT
2.47/2.50 c rational objective 2
3.16/3.26 c #Conflicts: 16000 | #Constraints: 4156
3.16/3.26 c #Conflicts: 17000 | #Constraints: 5244
3.16/3.26 c #Conflicts: 18000 | #Constraints: 6328
3.16/3.26 c INPROCESSING
3.16/3.26 c GARBAGE COLLECT
3.16/3.26 c rational objective 2
3.97/4.09 c #Conflicts: 19000 | #Constraints: 4113
3.97/4.09 c #Conflicts: 20000 | #Constraints: 5206
3.97/4.09 c #Conflicts: 21000 | #Constraints: 6242
3.97/4.09 c INPROCESSING
3.97/4.09 c GARBAGE COLLECT
3.97/4.09 c rational objective 2.00014
4.86/4.98 c #Conflicts: 22000 | #Constraints: 3856
4.86/4.98 c #Conflicts: 23000 | #Constraints: 4916
4.86/4.98 c #Conflicts: 24000 | #Constraints: 5965
4.86/4.98 c #Conflicts: 25000 | #Constraints: 7015
4.86/4.98 c INPROCESSING
4.86/4.98 c GARBAGE COLLECT
4.86/4.98 c rational objective 2.00007
5.96/6.05 c #Conflicts: 26000 | #Constraints: 4490
5.96/6.05 c #Conflicts: 27000 | #Constraints: 5526
5.96/6.05 c #Conflicts: 28000 | #Constraints: 6526
5.96/6.05 c #Conflicts: 29000 | #Constraints: 7526
5.96/6.05 c INPROCESSING
5.96/6.05 c GARBAGE COLLECT
5.96/6.05 c rational objective 2
7.25/7.39 c #Conflicts: 30000 | #Constraints: 4869
7.25/7.39 c #Conflicts: 31000 | #Constraints: 5964
7.25/7.39 c #Conflicts: 32000 | #Constraints: 7087
7.25/7.39 c #Conflicts: 33000 | #Constraints: 8184
7.25/7.39 c INPROCESSING
7.25/7.39 c GARBAGE COLLECT
7.25/7.39 c rational objective 2
8.75/8.80 c #Conflicts: 34000 | #Constraints: 5172
8.75/8.80 c #Conflicts: 35000 | #Constraints: 6243
8.75/8.80 c #Conflicts: 36000 | #Constraints: 7366
8.75/8.80 c #Conflicts: 37000 | #Constraints: 8495
8.75/8.80 c INPROCESSING
8.75/8.80 c GARBAGE COLLECT
8.75/8.80 c rational objective 2
10.65/10.71 c #Conflicts: 38000 | #Constraints: 5211
10.65/10.71 c #Conflicts: 39000 | #Constraints: 6417
10.65/10.71 c #Conflicts: 40000 | #Constraints: 7963
10.65/10.71 c #Conflicts: 41000 | #Constraints: 9269
10.65/10.71 c INPROCESSING
10.65/10.71 c GARBAGE COLLECT
10.65/10.71 c rational objective 2
12.44/12.55 c #Conflicts: 42000 | #Constraints: 5381
12.44/12.55 c #Conflicts: 43000 | #Constraints: 6400
12.44/12.55 c #Conflicts: 44000 | #Constraints: 7402
12.44/12.55 c #Conflicts: 45000 | #Constraints: 8438
12.44/12.55 c #Conflicts: 46000 | #Constraints: 9493
12.44/12.55 c INPROCESSING
12.44/12.55 c GARBAGE COLLECT
12.44/12.55 c rational objective 2
14.34/14.44 c #Conflicts: 47000 | #Constraints: 5710
14.34/14.44 c #Conflicts: 48000 | #Constraints: 6774
14.34/14.44 c #Conflicts: 49000 | #Constraints: 7790
14.34/14.44 c #Conflicts: 50000 | #Constraints: 8804
14.34/14.44 c #Conflicts: 51000 | #Constraints: 9805
14.34/14.44 c INPROCESSING
14.34/14.44 c GARBAGE COLLECT
14.34/14.44 c rational objective 2
16.63/16.70 c #Conflicts: 52000 | #Constraints: 5907
16.63/16.70 c #Conflicts: 53000 | #Constraints: 6907
16.63/16.70 c #Conflicts: 54000 | #Constraints: 7918
16.63/16.70 c #Conflicts: 55000 | #Constraints: 8950
16.63/16.70 c #Conflicts: 56000 | #Constraints: 9987
16.63/16.70 c INPROCESSING
16.63/16.70 c GARBAGE COLLECT
16.63/16.70 c rational objective 2.01386
18.83/18.95 c #Conflicts: 57000 | #Constraints: 6040
18.83/18.95 c #Conflicts: 58000 | #Constraints: 7067
18.83/18.95 c #Conflicts: 59000 | #Constraints: 8072
18.83/18.95 c #Conflicts: 60000 | #Constraints: 9072
18.83/18.95 c #Conflicts: 61000 | #Constraints: 10072
18.83/18.95 c INPROCESSING
18.83/18.95 c GARBAGE COLLECT
18.83/18.95 c rational objective 2
21.72/21.83 c #Conflicts: 62000 | #Constraints: 5956
21.72/21.83 c #Conflicts: 63000 | #Constraints: 6956
21.72/21.83 c #Conflicts: 64000 | #Constraints: 7956
21.72/21.83 c #Conflicts: 65000 | #Constraints: 8956
21.72/21.83 c #Conflicts: 66000 | #Constraints: 9968
21.72/21.83 c INPROCESSING
21.72/21.83 c GARBAGE COLLECT
21.72/21.83 c rational objective 2
24.71/24.85 c #Conflicts: 67000 | #Constraints: 5711
24.71/24.85 c #Conflicts: 68000 | #Constraints: 6760
24.71/24.85 c #Conflicts: 69000 | #Constraints: 7838
24.71/24.85 c #Conflicts: 70000 | #Constraints: 8895
24.71/24.85 c #Conflicts: 71000 | #Constraints: 9923
24.71/24.85 c #Conflicts: 72000 | #Constraints: 11043
24.71/24.85 c INPROCESSING
24.71/24.85 c GARBAGE COLLECT
24.71/24.85 c rational objective 2
27.70/27.85 c #Conflicts: 73000 | #Constraints: 6473
27.70/27.85 c #Conflicts: 74000 | #Constraints: 7473
27.70/27.85 c #Conflicts: 75000 | #Constraints: 8473
27.70/27.85 c #Conflicts: 76000 | #Constraints: 9473
27.70/27.85 c #Conflicts: 77000 | #Constraints: 10473
27.70/27.85 c #Conflicts: 78000 | #Constraints: 11473
27.70/27.85 c INPROCESSING
27.70/27.85 c GARBAGE COLLECT
27.70/27.85 c rational objective 2
30.90/31.10 c #Conflicts: 79000 | #Constraints: 6844
30.90/31.10 c #Conflicts: 80000 | #Constraints: 7991
30.90/31.10 c #Conflicts: 81000 | #Constraints: 9091
30.90/31.10 c #Conflicts: 82000 | #Constraints: 10215
30.90/31.10 c #Conflicts: 83000 | #Constraints: 11316
30.90/31.10 c #Conflicts: 84000 | #Constraints: 12415
30.90/31.10 c INPROCESSING
30.90/31.10 c GARBAGE COLLECT
30.90/31.10 c rational objective 2
34.58/34.79 c #Conflicts: 85000 | #Constraints: 7333
34.58/34.79 c #Conflicts: 86000 | #Constraints: 8448
34.58/34.79 c #Conflicts: 87000 | #Constraints: 9608
34.58/34.79 c #Conflicts: 88000 | #Constraints: 10729
34.58/34.79 c #Conflicts: 89000 | #Constraints: 11871
34.58/34.79 c #Conflicts: 90000 | #Constraints: 12987
34.58/34.79 c INPROCESSING
34.58/34.79 c GARBAGE COLLECT
34.58/34.79 c rational objective 2
39.08/39.28 c #Conflicts: 91000 | #Constraints: 7441
39.08/39.28 c #Conflicts: 92000 | #Constraints: 8493
39.08/39.28 c #Conflicts: 93000 | #Constraints: 9520
39.08/39.28 c #Conflicts: 94000 | #Constraints: 10520
39.08/39.28 c #Conflicts: 95000 | #Constraints: 11520
39.08/39.28 c #Conflicts: 96000 | #Constraints: 12520
39.08/39.28 c INPROCESSING
39.08/39.28 c GARBAGE COLLECT
39.08/39.28 c rational objective 2
43.56/43.71 c #Conflicts: 97000 | #Constraints: 7016
43.56/43.71 c #Conflicts: 98000 | #Constraints: 8103
43.56/43.71 c #Conflicts: 99000 | #Constraints: 9258
43.56/43.71 c #Conflicts: 100000 | #Constraints: 10374
43.56/43.71 c #Conflicts: 101000 | #Constraints: 11490
43.56/43.71 c #Conflicts: 102000 | #Constraints: 12599
43.56/43.71 c #Conflicts: 103000 | #Constraints: 13690
43.56/43.71 c INPROCESSING
43.56/43.71 c GARBAGE COLLECT
43.56/43.71 c rational objective 2
47.96/48.13 c #Conflicts: 104000 | #Constraints: 7830
47.96/48.13 c #Conflicts: 105000 | #Constraints: 8889
47.96/48.13 c #Conflicts: 106000 | #Constraints: 9928
47.96/48.13 c #Conflicts: 107000 | #Constraints: 10936
47.96/48.13 c #Conflicts: 108000 | #Constraints: 11966
47.96/48.13 c #Conflicts: 109000 | #Constraints: 12979
47.96/48.13 c #Conflicts: 110000 | #Constraints: 14164
47.96/48.13 c INPROCESSING
47.96/48.13 c GARBAGE COLLECT
47.96/48.13 c rational objective 2
52.54/52.77 c #Conflicts: 111000 | #Constraints: 8209
52.54/52.77 c #Conflicts: 112000 | #Constraints: 9336
52.54/52.77 c #Conflicts: 113000 | #Constraints: 10402
52.54/52.77 c #Conflicts: 114000 | #Constraints: 11519
52.54/52.77 c #Conflicts: 115000 | #Constraints: 12635
52.54/52.77 c #Conflicts: 116000 | #Constraints: 13691
52.54/52.77 c #Conflicts: 117000 | #Constraints: 14758
52.54/52.77 c INPROCESSING
52.54/52.77 c GARBAGE COLLECT
52.54/52.77 c rational objective 2
57.93/58.14 c #Conflicts: 118000 | #Constraints: 8433
57.93/58.14 c #Conflicts: 119000 | #Constraints: 9467
57.93/58.14 c #Conflicts: 120000 | #Constraints: 10504
57.93/58.14 c #Conflicts: 121000 | #Constraints: 11646
57.93/58.14 c #Conflicts: 122000 | #Constraints: 12852
57.93/58.14 c #Conflicts: 123000 | #Constraints: 13939
57.93/58.14 c #Conflicts: 124000 | #Constraints: 15013
57.93/58.14 c INPROCESSING
57.93/58.14 c GARBAGE COLLECT
57.93/58.14 c rational objective 2
63.40/63.67 c #Conflicts: 125000 | #Constraints: 8443
63.40/63.67 c #Conflicts: 126000 | #Constraints: 9530
63.40/63.67 c #Conflicts: 127000 | #Constraints: 10574
63.40/63.67 c #Conflicts: 128000 | #Constraints: 11634
63.40/63.67 c #Conflicts: 129000 | #Constraints: 12655
63.40/63.67 c #Conflicts: 130000 | #Constraints: 13683
63.40/63.67 c #Conflicts: 131000 | #Constraints: 14765
63.40/63.67 c INPROCESSING
63.40/63.67 c GARBAGE COLLECT
63.40/63.67 c rational objective 2
69.19/69.43 c #Conflicts: 132000 | #Constraints: 8136
69.19/69.43 c #Conflicts: 133000 | #Constraints: 9158
69.19/69.43 c #Conflicts: 134000 | #Constraints: 10239
69.19/69.43 c #Conflicts: 135000 | #Constraints: 11284
69.19/69.43 c #Conflicts: 136000 | #Constraints: 12284
69.19/69.43 c #Conflicts: 137000 | #Constraints: 13315
69.19/69.43 c #Conflicts: 138000 | #Constraints: 14345
69.19/69.43 c #Conflicts: 139000 | #Constraints: 15388
69.19/69.43 c INPROCESSING
69.19/69.43 c GARBAGE COLLECT
69.19/69.43 c rational objective 2
74.78/75.04 c #Conflicts: 140000 | #Constraints: 8661
74.78/75.04 c #Conflicts: 141000 | #Constraints: 9661
74.78/75.04 c #Conflicts: 142000 | #Constraints: 10661
74.78/75.04 c #Conflicts: 143000 | #Constraints: 11661
74.78/75.04 c #Conflicts: 144000 | #Constraints: 12661
74.78/75.04 c #Conflicts: 145000 | #Constraints: 13661
74.78/75.04 c #Conflicts: 146000 | #Constraints: 14661
74.78/75.04 c #Conflicts: 147000 | #Constraints: 15661
74.78/75.04 c INPROCESSING
74.78/75.04 c GARBAGE COLLECT
74.78/75.04 c rational objective 2
81.15/81.49 c #Conflicts: 148000 | #Constraints: 8946
81.15/81.49 c #Conflicts: 149000 | #Constraints: 10044
81.15/81.49 c #Conflicts: 150000 | #Constraints: 11137
81.15/81.49 c #Conflicts: 151000 | #Constraints: 12238
81.15/81.49 c #Conflicts: 152000 | #Constraints: 13346
81.15/81.49 c #Conflicts: 153000 | #Constraints: 14455
81.15/81.49 c #Conflicts: 154000 | #Constraints: 15577
81.15/81.49 c #Conflicts: 155000 | #Constraints: 16691
81.15/81.49 c INPROCESSING
81.15/81.49 c GARBAGE COLLECT
81.15/81.49 c rational objective 2
88.44/88.74 c #Conflicts: 156000 | #Constraints: 9466
88.44/88.74 c #Conflicts: 157000 | #Constraints: 10550
88.44/88.74 c #Conflicts: 158000 | #Constraints: 11687
88.44/88.74 c #Conflicts: 159000 | #Constraints: 12804
88.44/88.74 c #Conflicts: 160000 | #Constraints: 13912
88.44/88.74 c #Conflicts: 161000 | #Constraints: 14967
88.44/88.74 c #Conflicts: 162000 | #Constraints: 15972
88.44/88.74 c #Conflicts: 163000 | #Constraints: 17039
88.44/88.74 c INPROCESSING
88.44/88.74 c GARBAGE COLLECT
88.44/88.74 c rational objective 2
95.61/95.95 c #Conflicts: 164000 | #Constraints: 9445
95.61/95.95 c #Conflicts: 165000 | #Constraints: 10445
95.61/95.95 c #Conflicts: 166000 | #Constraints: 11488
95.61/95.95 c #Conflicts: 167000 | #Constraints: 12526
95.61/95.95 c #Conflicts: 168000 | #Constraints: 13604
95.61/95.95 c #Conflicts: 169000 | #Constraints: 14678
95.61/95.95 c #Conflicts: 170000 | #Constraints: 15747
95.61/95.95 c #Conflicts: 171000 | #Constraints: 16821
95.61/95.95 c INPROCESSING
95.61/95.95 c GARBAGE COLLECT
95.61/95.95 c rational objective 2
102.69/103.09 c #Conflicts: 172000 | #Constraints: 9167
102.69/103.09 c #Conflicts: 173000 | #Constraints: 10173
102.69/103.09 c #Conflicts: 174000 | #Constraints: 11173
102.69/103.09 c #Conflicts: 175000 | #Constraints: 12190
102.69/103.09 c #Conflicts: 176000 | #Constraints: 13232
102.69/103.09 c #Conflicts: 177000 | #Constraints: 14298
102.69/103.09 c #Conflicts: 178000 | #Constraints: 15398
102.69/103.09 c #Conflicts: 179000 | #Constraints: 16404
102.69/103.09 c #Conflicts: 180000 | #Constraints: 17425
102.69/103.09 c INPROCESSING
102.69/103.09 c GARBAGE COLLECT
102.69/103.09 c rational objective 2
110.77/111.11 c #Conflicts: 181000 | #Constraints: 9651
110.77/111.11 c #Conflicts: 182000 | #Constraints: 10733
110.77/111.11 c #Conflicts: 183000 | #Constraints: 11848
110.77/111.11 c #Conflicts: 184000 | #Constraints: 12965
110.77/111.11 c #Conflicts: 185000 | #Constraints: 14067
110.77/111.11 c #Conflicts: 186000 | #Constraints: 15191
110.77/111.11 c #Conflicts: 187000 | #Constraints: 16301
110.77/111.11 c #Conflicts: 188000 | #Constraints: 17406
110.77/111.11 c #Conflicts: 189000 | #Constraints: 18499
110.77/111.11 c INPROCESSING
110.77/111.11 c GARBAGE COLLECT
110.77/111.11 c rational objective 2
119.83/120.23 c #Conflicts: 190000 | #Constraints: 10293
119.83/120.23 c #Conflicts: 191000 | #Constraints: 11326
119.83/120.23 c #Conflicts: 192000 | #Constraints: 12378
119.83/120.23 c #Conflicts: 193000 | #Constraints: 13424
119.83/120.23 c #Conflicts: 194000 | #Constraints: 14504
119.83/120.23 c #Conflicts: 195000 | #Constraints: 15648
119.83/120.23 c #Conflicts: 196000 | #Constraints: 16759
119.83/120.23 c #Conflicts: 197000 | #Constraints: 17845
119.83/120.23 c #Conflicts: 198000 | #Constraints: 18894
119.83/120.23 c INPROCESSING
119.83/120.23 c GARBAGE COLLECT
119.83/120.23 c rational objective 2
129.79/130.20 c #Conflicts: 199000 | #Constraints: 10472
129.79/130.20 c #Conflicts: 200000 | #Constraints: 11476
129.79/130.20 c #Conflicts: 201000 | #Constraints: 12476
129.79/130.20 c #Conflicts: 202000 | #Constraints: 13478
129.79/130.20 c #Conflicts: 203000 | #Constraints: 14496
129.79/130.20 c #Conflicts: 204000 | #Constraints: 15531
129.79/130.20 c #Conflicts: 205000 | #Constraints: 16566
129.79/130.20 c #Conflicts: 206000 | #Constraints: 17570
129.79/130.20 c #Conflicts: 207000 | #Constraints: 18570
129.79/130.20 c INPROCESSING
129.79/130.20 c GARBAGE COLLECT
129.79/130.20 c rational objective 2
139.17/139.62 c #Conflicts: 208000 | #Constraints: 10265
139.17/139.62 c #Conflicts: 209000 | #Constraints: 11420
139.17/139.62 c #Conflicts: 210000 | #Constraints: 12561
139.17/139.62 c #Conflicts: 211000 | #Constraints: 13675
139.17/139.62 c #Conflicts: 212000 | #Constraints: 14830
139.17/139.62 c #Conflicts: 213000 | #Constraints: 15942
139.17/139.62 c #Conflicts: 214000 | #Constraints: 17070
139.17/139.62 c #Conflicts: 215000 | #Constraints: 18227
139.17/139.62 c #Conflicts: 216000 | #Constraints: 19419
139.17/139.62 c INPROCESSING
139.17/139.62 c GARBAGE COLLECT
139.17/139.62 c rational objective 2
151.13/151.61 c #Conflicts: 217000 | #Constraints: 10484
151.13/151.61 c #Conflicts: 218000 | #Constraints: 11524
151.13/151.61 c #Conflicts: 219000 | #Constraints: 12685
151.13/151.61 c #Conflicts: 220000 | #Constraints: 13863
151.13/151.61 c #Conflicts: 221000 | #Constraints: 15005
151.13/151.61 c #Conflicts: 222000 | #Constraints: 16207
151.13/151.61 c #Conflicts: 223000 | #Constraints: 17726
151.13/151.61 c #Conflicts: 224000 | #Constraints: 19207
151.13/151.61 c #Conflicts: 225000 | #Constraints: 20640
151.13/151.61 c #Conflicts: 226000 | #Constraints: 22044
151.13/151.61 c INPROCESSING
151.13/151.61 c GARBAGE COLLECT
151.13/151.61 c rational objective 2
162.77/163.30 c #Conflicts: 227000 | #Constraints: 11987
162.77/163.30 c #Conflicts: 228000 | #Constraints: 12987
162.77/163.30 c #Conflicts: 229000 | #Constraints: 13987
162.77/163.30 c #Conflicts: 230000 | #Constraints: 15010
162.77/163.30 c #Conflicts: 231000 | #Constraints: 16041
162.77/163.30 c #Conflicts: 232000 | #Constraints: 17065
162.77/163.30 c #Conflicts: 233000 | #Constraints: 18089
162.77/163.30 c #Conflicts: 234000 | #Constraints: 19089
162.77/163.30 c #Conflicts: 235000 | #Constraints: 20089
162.77/163.30 c #Conflicts: 236000 | #Constraints: 21089
162.77/163.30 c INPROCESSING
162.77/163.30 c GARBAGE COLLECT
162.77/163.30 c rational objective 2
173.24/173.88 c #Conflicts: 237000 | #Constraints: 11656
173.24/173.88 c #Conflicts: 238000 | #Constraints: 12737
173.24/173.88 c #Conflicts: 239000 | #Constraints: 13819
173.24/173.88 c #Conflicts: 240000 | #Constraints: 14924
173.24/173.88 c #Conflicts: 241000 | #Constraints: 16027
173.24/173.88 c #Conflicts: 242000 | #Constraints: 17132
173.24/173.88 c #Conflicts: 243000 | #Constraints: 18231
173.24/173.88 c #Conflicts: 244000 | #Constraints: 19335
173.24/173.88 c #Conflicts: 245000 | #Constraints: 20442
173.24/173.88 c #Conflicts: 246000 | #Constraints: 21544
173.24/173.88 c INPROCESSING
173.24/173.88 c GARBAGE COLLECT
173.24/173.88 c rational objective 2
185.30/185.94 c #Conflicts: 247000 | #Constraints: 11812
185.30/185.94 c #Conflicts: 248000 | #Constraints: 12879
185.30/185.94 c #Conflicts: 249000 | #Constraints: 13979
185.30/185.94 c #Conflicts: 250000 | #Constraints: 15080
185.30/185.94 c #Conflicts: 251000 | #Constraints: 16175
185.30/185.94 c #Conflicts: 252000 | #Constraints: 17295
185.30/185.94 c #Conflicts: 253000 | #Constraints: 18366
185.30/185.94 c #Conflicts: 254000 | #Constraints: 19430
185.30/185.94 c #Conflicts: 255000 | #Constraints: 20552
185.30/185.94 c #Conflicts: 256000 | #Constraints: 21668
185.30/185.94 c INPROCESSING
185.30/185.94 c GARBAGE COLLECT
185.30/185.94 c rational objective 2
196.97/197.61 c #Conflicts: 257000 | #Constraints: 11742
196.97/197.61 c #Conflicts: 258000 | #Constraints: 12807
196.97/197.61 c #Conflicts: 259000 | #Constraints: 13956
196.97/197.61 c #Conflicts: 260000 | #Constraints: 15001
196.97/197.61 c #Conflicts: 261000 | #Constraints: 16072
196.97/197.61 c #Conflicts: 262000 | #Constraints: 17073
196.97/197.61 c #Conflicts: 263000 | #Constraints: 18073
196.97/197.61 c #Conflicts: 264000 | #Constraints: 19073
196.97/197.61 c #Conflicts: 265000 | #Constraints: 20073
196.97/197.61 c #Conflicts: 266000 | #Constraints: 21073
196.97/197.61 c INPROCESSING
196.97/197.61 c GARBAGE COLLECT
196.97/197.61 c rational objective 2
210.12/210.86 c #Conflicts: 267000 | #Constraints: 11255
210.12/210.86 c #Conflicts: 268000 | #Constraints: 12301
210.12/210.86 c #Conflicts: 269000 | #Constraints: 13301
210.12/210.86 c #Conflicts: 270000 | #Constraints: 14301
210.12/210.86 c #Conflicts: 271000 | #Constraints: 15400
210.12/210.86 c #Conflicts: 272000 | #Constraints: 16582
210.12/210.86 c #Conflicts: 273000 | #Constraints: 17988
210.12/210.86 c #Conflicts: 274000 | #Constraints: 19017
210.12/210.86 c #Conflicts: 275000 | #Constraints: 20120
210.12/210.86 c #Conflicts: 276000 | #Constraints: 21208
210.12/210.86 c #Conflicts: 277000 | #Constraints: 22262
210.12/210.86 c INPROCESSING
210.12/210.86 c GARBAGE COLLECT
210.12/210.86 c rational objective 2
222.48/223.28 c #Conflicts: 278000 | #Constraints: 12033
222.48/223.28 c #Conflicts: 279000 | #Constraints: 13039
222.48/223.28 c #Conflicts: 280000 | #Constraints: 14114
222.48/223.28 c #Conflicts: 281000 | #Constraints: 15254
222.48/223.28 c #Conflicts: 282000 | #Constraints: 16372
222.48/223.28 c #Conflicts: 283000 | #Constraints: 17480
222.48/223.28 c #Conflicts: 284000 | #Constraints: 18525
222.48/223.28 c #Conflicts: 285000 | #Constraints: 19640
222.48/223.28 c #Conflicts: 286000 | #Constraints: 20743
222.48/223.28 c #Conflicts: 287000 | #Constraints: 21849
222.48/223.28 c #Conflicts: 288000 | #Constraints: 22949
222.48/223.28 c INPROCESSING
222.48/223.28 c GARBAGE COLLECT
222.48/223.28 c rational objective 2
234.45/235.22 c #Conflicts: 289000 | #Constraints: 12507
234.45/235.22 c #Conflicts: 290000 | #Constraints: 13507
234.45/235.22 c #Conflicts: 291000 | #Constraints: 14507
234.45/235.22 c #Conflicts: 292000 | #Constraints: 15507
234.45/235.22 c #Conflicts: 293000 | #Constraints: 16536
234.45/235.22 c #Conflicts: 294000 | #Constraints: 17586
234.45/235.22 c #Conflicts: 295000 | #Constraints: 18616
234.45/235.22 c #Conflicts: 296000 | #Constraints: 19681
234.45/235.22 c #Conflicts: 297000 | #Constraints: 20732
234.45/235.22 c #Conflicts: 298000 | #Constraints: 21803
234.45/235.22 c #Conflicts: 299000 | #Constraints: 22962
234.45/235.22 c INPROCESSING
234.45/235.22 c GARBAGE COLLECT
234.45/235.22 c rational objective 2
246.81/247.61 c #Conflicts: 300000 | #Constraints: 12522
246.81/247.61 c #Conflicts: 301000 | #Constraints: 13651
246.81/247.61 c #Conflicts: 302000 | #Constraints: 14731
246.81/247.61 c #Conflicts: 303000 | #Constraints: 15786
246.81/247.61 c #Conflicts: 304000 | #Constraints: 16907
246.81/247.61 c #Conflicts: 305000 | #Constraints: 17965
246.81/247.61 c #Conflicts: 306000 | #Constraints: 18965
246.81/247.61 c #Conflicts: 307000 | #Constraints: 19965
246.81/247.61 c #Conflicts: 308000 | #Constraints: 20965
246.81/247.61 c #Conflicts: 309000 | #Constraints: 21965
246.81/247.61 c #Conflicts: 310000 | #Constraints: 22965
246.81/247.61 c INPROCESSING
246.81/247.61 c GARBAGE COLLECT
246.81/247.61 c rational objective 2
258.97/259.81 c #Conflicts: 311000 | #Constraints: 12428
258.97/259.81 c #Conflicts: 312000 | #Constraints: 13497
258.97/259.81 c #Conflicts: 313000 | #Constraints: 14586
258.97/259.81 c #Conflicts: 314000 | #Constraints: 15714
258.97/259.81 c #Conflicts: 315000 | #Constraints: 16814
258.97/259.81 c #Conflicts: 316000 | #Constraints: 17866
258.97/259.81 c #Conflicts: 317000 | #Constraints: 18866
258.97/259.81 c #Conflicts: 318000 | #Constraints: 19866
258.97/259.81 c #Conflicts: 319000 | #Constraints: 20866
258.97/259.81 c #Conflicts: 320000 | #Constraints: 21866
258.97/259.81 c #Conflicts: 321000 | #Constraints: 22866
258.97/259.81 c INPROCESSING
258.97/259.81 c GARBAGE COLLECT
258.97/259.81 c rational objective 2
272.42/273.39 c #Conflicts: 322000 | #Constraints: 12157
272.42/273.39 c #Conflicts: 323000 | #Constraints: 13192
272.42/273.39 c #Conflicts: 324000 | #Constraints: 14299
272.42/273.39 c #Conflicts: 325000 | #Constraints: 15399
272.42/273.39 c #Conflicts: 326000 | #Constraints: 16454
272.42/273.39 c #Conflicts: 327000 | #Constraints: 17494
272.42/273.39 c #Conflicts: 328000 | #Constraints: 18494
272.42/273.39 c #Conflicts: 329000 | #Constraints: 19570
272.42/273.39 c #Conflicts: 330000 | #Constraints: 20611
272.42/273.39 c #Conflicts: 331000 | #Constraints: 21677
272.42/273.39 c #Conflicts: 332000 | #Constraints: 22733
272.42/273.39 c #Conflicts: 333000 | #Constraints: 23770
272.42/273.39 c INPROCESSING
272.42/273.39 c GARBAGE COLLECT
272.42/273.39 c rational objective 2
285.38/286.36 c #Conflicts: 334000 | #Constraints: 12803
285.38/286.36 c #Conflicts: 335000 | #Constraints: 13811
285.38/286.36 c #Conflicts: 336000 | #Constraints: 14890
285.38/286.36 c #Conflicts: 337000 | #Constraints: 16084
285.38/286.36 c #Conflicts: 338000 | #Constraints: 17182
285.38/286.36 c #Conflicts: 339000 | #Constraints: 18216
285.38/286.36 c #Conflicts: 340000 | #Constraints: 19216
285.38/286.36 c #Conflicts: 341000 | #Constraints: 20220
285.38/286.36 c #Conflicts: 342000 | #Constraints: 21238
285.38/286.36 c #Conflicts: 343000 | #Constraints: 22291
285.38/286.36 c #Conflicts: 344000 | #Constraints: 23465
285.38/286.36 c #Conflicts: 345000 | #Constraints: 24465
285.38/286.36 c INPROCESSING
285.38/286.36 c GARBAGE COLLECT
285.38/286.36 c rational objective 2
298.84/299.87 c #Conflicts: 346000 | #Constraints: 13267
298.84/299.87 c #Conflicts: 347000 | #Constraints: 14530
298.84/299.87 c #Conflicts: 348000 | #Constraints: 15564
298.84/299.87 c #Conflicts: 349000 | #Constraints: 16584
298.84/299.87 c #Conflicts: 350000 | #Constraints: 17588
298.84/299.87 c #Conflicts: 351000 | #Constraints: 18622
298.84/299.87 c #Conflicts: 352000 | #Constraints: 19654
298.84/299.87 c #Conflicts: 353000 | #Constraints: 20722
298.84/299.87 c #Conflicts: 354000 | #Constraints: 21770
298.84/299.87 c #Conflicts: 355000 | #Constraints: 22770
298.84/299.87 c #Conflicts: 356000 | #Constraints: 23770
298.84/299.87 c #Conflicts: 357000 | #Constraints: 24770
298.84/299.87 c INPROCESSING
298.84/299.87 c GARBAGE COLLECT
298.84/299.87 c rational objective 2
312.60/313.64 c #Conflicts: 358000 | #Constraints: 13493
312.60/313.64 c #Conflicts: 359000 | #Constraints: 14579
312.60/313.64 c #Conflicts: 360000 | #Constraints: 15701
312.60/313.64 c #Conflicts: 361000 | #Constraints: 16846
312.60/313.64 c #Conflicts: 362000 | #Constraints: 17961
312.60/313.64 c #Conflicts: 363000 | #Constraints: 19100
312.60/313.64 c #Conflicts: 364000 | #Constraints: 20241
312.60/313.64 c #Conflicts: 365000 | #Constraints: 21347
312.60/313.64 c #Conflicts: 366000 | #Constraints: 22461
312.60/313.64 c #Conflicts: 367000 | #Constraints: 23566
312.60/313.64 c #Conflicts: 368000 | #Constraints: 24665
312.60/313.64 c #Conflicts: 369000 | #Constraints: 25777
312.60/313.64 c INPROCESSING
312.60/313.64 c GARBAGE COLLECT
312.60/313.64 c rational objective 2
328.36/329.44 c #Conflicts: 370000 | #Constraints: 13849
328.36/329.44 c #Conflicts: 371000 | #Constraints: 14936
328.36/329.44 c #Conflicts: 372000 | #Constraints: 15979
328.36/329.44 c #Conflicts: 373000 | #Constraints: 17099
328.36/329.44 c #Conflicts: 374000 | #Constraints: 18253
328.36/329.44 c #Conflicts: 375000 | #Constraints: 19378
328.36/329.44 c #Conflicts: 376000 | #Constraints: 20529
328.36/329.44 c #Conflicts: 377000 | #Constraints: 21716
328.36/329.44 c #Conflicts: 378000 | #Constraints: 22906
328.36/329.44 c #Conflicts: 379000 | #Constraints: 24078
328.36/329.44 c #Conflicts: 380000 | #Constraints: 25260
328.36/329.44 c #Conflicts: 381000 | #Constraints: 26407
328.36/329.44 c INPROCESSING
328.36/329.44 c GARBAGE COLLECT
328.36/329.44 c rational objective 2
344.70/345.90 c #Conflicts: 382000 | #Constraints: 13980
344.70/345.90 c #Conflicts: 383000 | #Constraints: 15016
344.70/345.90 c #Conflicts: 384000 | #Constraints: 16078
344.70/345.90 c #Conflicts: 385000 | #Constraints: 17080
344.70/345.90 c #Conflicts: 386000 | #Constraints: 18080
344.70/345.90 c #Conflicts: 387000 | #Constraints: 19175
344.70/345.90 c #Conflicts: 388000 | #Constraints: 20277
344.70/345.90 c #Conflicts: 389000 | #Constraints: 21317
344.70/345.90 c #Conflicts: 390000 | #Constraints: 22331
344.70/345.90 c #Conflicts: 391000 | #Constraints: 23347
344.70/345.90 c #Conflicts: 392000 | #Constraints: 24382
344.70/345.90 c #Conflicts: 393000 | #Constraints: 25444
344.70/345.90 c #Conflicts: 394000 | #Constraints: 26537
344.70/345.90 c INPROCESSING
344.70/345.90 c GARBAGE COLLECT
344.70/345.90 c rational objective 2
360.65/361.87 c #Conflicts: 395000 | #Constraints: 14191
360.65/361.87 c #Conflicts: 396000 | #Constraints: 15191
360.65/361.87 c #Conflicts: 397000 | #Constraints: 16191
360.65/361.87 c #Conflicts: 398000 | #Constraints: 17191
360.65/361.87 c #Conflicts: 399000 | #Constraints: 18191
360.65/361.87 c #Conflicts: 400000 | #Constraints: 19191
360.65/361.87 c #Conflicts: 401000 | #Constraints: 20191
360.65/361.87 c #Conflicts: 402000 | #Constraints: 21191
360.65/361.87 c #Conflicts: 403000 | #Constraints: 22275
360.65/361.87 c #Conflicts: 404000 | #Constraints: 23432
360.65/361.87 c #Conflicts: 405000 | #Constraints: 24498
360.65/361.87 c #Conflicts: 406000 | #Constraints: 25533
360.65/361.87 c #Conflicts: 407000 | #Constraints: 26567
360.65/361.87 c INPROCESSING
360.65/361.87 c GARBAGE COLLECT
360.65/361.87 c rational objective 2
375.61/376.82 c #Conflicts: 408000 | #Constraints: 14293
375.61/376.82 c #Conflicts: 409000 | #Constraints: 15293
375.61/376.82 c #Conflicts: 410000 | #Constraints: 16312
375.61/376.82 c #Conflicts: 411000 | #Constraints: 17433
375.61/376.82 c #Conflicts: 412000 | #Constraints: 18510
375.61/376.82 c #Conflicts: 413000 | #Constraints: 19626
375.61/376.82 c #Conflicts: 414000 | #Constraints: 20709
375.61/376.82 c #Conflicts: 415000 | #Constraints: 21843
375.61/376.82 c #Conflicts: 416000 | #Constraints: 22942
375.61/376.82 c #Conflicts: 417000 | #Constraints: 24068
375.61/376.82 c #Conflicts: 418000 | #Constraints: 25197
375.61/376.82 c #Conflicts: 419000 | #Constraints: 26311
375.61/376.82 c #Conflicts: 420000 | #Constraints: 27384
375.61/376.82 c INPROCESSING
375.61/376.82 c GARBAGE COLLECT
375.61/376.82 c rational objective 2
394.55/395.82 c #Conflicts: 421000 | #Constraints: 14785
394.55/395.82 c #Conflicts: 422000 | #Constraints: 15933
394.55/395.82 c #Conflicts: 423000 | #Constraints: 17042
394.55/395.82 c #Conflicts: 424000 | #Constraints: 18112
394.55/395.82 c #Conflicts: 425000 | #Constraints: 19151
394.55/395.82 c #Conflicts: 426000 | #Constraints: 20168
394.55/395.82 c #Conflicts: 427000 | #Constraints: 21191
394.55/395.82 c #Conflicts: 428000 | #Constraints: 22198
394.55/395.82 c #Conflicts: 429000 | #Constraints: 23198
394.55/395.82 c #Conflicts: 430000 | #Constraints: 24225
394.55/395.82 c #Conflicts: 431000 | #Constraints: 25255
394.55/395.82 c #Conflicts: 432000 | #Constraints: 26334
394.55/395.82 c #Conflicts: 433000 | #Constraints: 27388
394.55/395.82 c INPROCESSING
394.55/395.82 c GARBAGE COLLECT
394.55/395.82 c rational objective 2
413.79/415.19 c #Conflicts: 434000 | #Constraints: 14622
413.79/415.19 c #Conflicts: 435000 | #Constraints: 15630
413.79/415.19 c #Conflicts: 436000 | #Constraints: 16660
413.79/415.19 c #Conflicts: 437000 | #Constraints: 17672
413.79/415.19 c #Conflicts: 438000 | #Constraints: 18672
413.79/415.19 c #Conflicts: 439000 | #Constraints: 19679
413.79/415.19 c #Conflicts: 440000 | #Constraints: 20699
413.79/415.19 c #Conflicts: 441000 | #Constraints: 21718
413.79/415.19 c #Conflicts: 442000 | #Constraints: 22741
413.79/415.19 c #Conflicts: 443000 | #Constraints: 23775
413.79/415.19 c #Conflicts: 444000 | #Constraints: 24837
413.79/415.19 c #Conflicts: 445000 | #Constraints: 25862
413.79/415.19 c #Conflicts: 446000 | #Constraints: 26918
413.79/415.19 c INPROCESSING
413.79/415.19 c GARBAGE COLLECT
413.79/415.19 c rational objective 2
434.62/436.02 c #Conflicts: 447000 | #Constraints: 14196
434.62/436.02 c #Conflicts: 448000 | #Constraints: 15242
434.62/436.02 c #Conflicts: 449000 | #Constraints: 16280
434.62/436.02 c #Conflicts: 450000 | #Constraints: 17340
434.62/436.02 c #Conflicts: 451000 | #Constraints: 18464
434.62/436.02 c #Conflicts: 452000 | #Constraints: 19535
434.62/436.02 c #Conflicts: 453000 | #Constraints: 20654
434.62/436.02 c #Conflicts: 454000 | #Constraints: 21771
434.62/436.02 c #Conflicts: 455000 | #Constraints: 22904
434.62/436.02 c #Conflicts: 456000 | #Constraints: 23926
434.62/436.02 c #Conflicts: 457000 | #Constraints: 24926
434.62/436.02 c #Conflicts: 458000 | #Constraints: 25926
434.62/436.02 c #Conflicts: 459000 | #Constraints: 26926
434.62/436.02 c #Conflicts: 460000 | #Constraints: 27926
434.62/436.02 c INPROCESSING
434.62/436.02 c GARBAGE COLLECT
434.62/436.02 c rational objective 2
458.74/460.23 c #Conflicts: 461000 | #Constraints: 15064
458.74/460.23 c #Conflicts: 462000 | #Constraints: 16469
458.74/460.23 c #Conflicts: 463000 | #Constraints: 17837
458.74/460.23 c #Conflicts: 464000 | #Constraints: 19164
458.74/460.23 c #Conflicts: 465000 | #Constraints: 20351
458.74/460.23 c #Conflicts: 466000 | #Constraints: 21550
458.74/460.23 c #Conflicts: 467000 | #Constraints: 22902
458.74/460.23 c #Conflicts: 468000 | #Constraints: 24190
458.74/460.23 c #Conflicts: 469000 | #Constraints: 25481
458.74/460.23 c #Conflicts: 470000 | #Constraints: 26758
458.74/460.23 c #Conflicts: 471000 | #Constraints: 28117
458.74/460.23 c #Conflicts: 472000 | #Constraints: 29417
458.74/460.23 c #Conflicts: 473000 | #Constraints: 30654
458.74/460.23 c #Conflicts: 474000 | #Constraints: 31902
458.74/460.23 c INPROCESSING
458.74/460.23 c GARBAGE COLLECT
458.74/460.23 c rational objective 2
481.67/483.27 c #Conflicts: 475000 | #Constraints: 17010
481.67/483.27 c #Conflicts: 476000 | #Constraints: 18072
481.67/483.27 c #Conflicts: 477000 | #Constraints: 19111
481.67/483.27 c #Conflicts: 478000 | #Constraints: 20168
481.67/483.27 c #Conflicts: 479000 | #Constraints: 21254
481.67/483.27 c #Conflicts: 480000 | #Constraints: 22362
481.67/483.27 c #Conflicts: 481000 | #Constraints: 23420
481.67/483.27 c #Conflicts: 482000 | #Constraints: 24495
481.67/483.27 c #Conflicts: 483000 | #Constraints: 25610
481.67/483.27 c #Conflicts: 484000 | #Constraints: 26688
481.67/483.27 c #Conflicts: 485000 | #Constraints: 27787
481.67/483.27 c #Conflicts: 486000 | #Constraints: 28882
481.67/483.27 c #Conflicts: 487000 | #Constraints: 29977
481.67/483.27 c #Conflicts: 488000 | #Constraints: 31065
481.67/483.27 c INPROCESSING
481.67/483.27 c GARBAGE COLLECT
481.67/483.27 c rational objective 2
505.00/506.68 c #Conflicts: 489000 | #Constraints: 16596
505.00/506.68 c #Conflicts: 490000 | #Constraints: 17599
505.00/506.68 c #Conflicts: 491000 | #Constraints: 18631
505.00/506.68 c #Conflicts: 492000 | #Constraints: 19699
505.00/506.68 c #Conflicts: 493000 | #Constraints: 20862
505.00/506.68 c #Conflicts: 494000 | #Constraints: 21933
505.00/506.68 c #Conflicts: 495000 | #Constraints: 22973
505.00/506.68 c #Conflicts: 496000 | #Constraints: 24021
505.00/506.68 c #Conflicts: 497000 | #Constraints: 25126
505.00/506.68 c #Conflicts: 498000 | #Constraints: 26459
505.00/506.68 c #Conflicts: 499000 | #Constraints: 27958
505.00/506.68 c #Conflicts: 500000 | #Constraints: 29303
505.00/506.68 c #Conflicts: 501000 | #Constraints: 30805
505.00/506.68 c #Conflicts: 502000 | #Constraints: 32333
505.00/506.68 c INPROCESSING
505.00/506.68 c GARBAGE COLLECT
505.00/506.68 c rational objective 2.00006
528.52/530.25 c #Conflicts: 503000 | #Constraints: 17203
528.52/530.25 c #Conflicts: 504000 | #Constraints: 18264
528.52/530.25 c #Conflicts: 505000 | #Constraints: 19278
528.52/530.25 c #Conflicts: 506000 | #Constraints: 20278
528.52/530.25 c #Conflicts: 507000 | #Constraints: 21305
528.52/530.25 c #Conflicts: 508000 | #Constraints: 22319
528.52/530.25 c #Conflicts: 509000 | #Constraints: 23319
528.52/530.25 c #Conflicts: 510000 | #Constraints: 24341
528.52/530.25 c #Conflicts: 511000 | #Constraints: 25396
528.52/530.25 c #Conflicts: 512000 | #Constraints: 26464
528.52/530.25 c #Conflicts: 513000 | #Constraints: 27489
528.52/530.25 c #Conflicts: 514000 | #Constraints: 28498
528.52/530.25 c #Conflicts: 515000 | #Constraints: 29498
528.52/530.25 c #Conflicts: 516000 | #Constraints: 30500
528.52/530.25 c INPROCESSING
528.52/530.25 c GARBAGE COLLECT
528.52/530.25 c rational objective 2
573.08/574.93 c #Conflicts: 517000 | #Constraints: 15969
573.08/574.93 c #Conflicts: 518000 | #Constraints: 17016
573.08/574.93 c #Conflicts: 519000 | #Constraints: 18073
573.08/574.93 c #Conflicts: 520000 | #Constraints: 19081
573.08/574.93 c #Conflicts: 521000 | #Constraints: 20081
573.08/574.93 c #Conflicts: 522000 | #Constraints: 21081
573.08/574.93 c #Conflicts: 523000 | #Constraints: 22081
573.08/574.93 c #Conflicts: 524000 | #Constraints: 23087
573.08/574.93 c #Conflicts: 525000 | #Constraints: 24090
573.08/574.93 c #Conflicts: 526000 | #Constraints: 25090
573.08/574.93 c #Conflicts: 527000 | #Constraints: 26090
573.08/574.93 c #Conflicts: 528000 | #Constraints: 27090
573.08/574.93 c #Conflicts: 529000 | #Constraints: 28090
573.08/574.93 c #Conflicts: 530000 | #Constraints: 29113
573.08/574.93 c #Conflicts: 531000 | #Constraints: 30144
573.08/574.93 c INPROCESSING
573.08/574.93 c GARBAGE COLLECT
573.08/574.93 c #Conflicts: 532000 | #Constraints: 15994
573.08/574.93 c #Conflicts: 533000 | #Constraints: 17015
573.08/574.93 c #Conflicts: 534000 | #Constraints: 18015
573.08/574.93 c #Conflicts: 535000 | #Constraints: 19046
573.08/574.93 c #Conflicts: 536000 | #Constraints: 20071
573.08/574.93 c #Conflicts: 537000 | #Constraints: 21116
573.08/574.93 c #Conflicts: 538000 | #Constraints: 22128
573.08/574.93 c #Conflicts: 539000 | #Constraints: 23128
573.08/574.93 c #Conflicts: 540000 | #Constraints: 24162
573.08/574.93 c #Conflicts: 541000 | #Constraints: 25176
573.08/574.93 c #Conflicts: 542000 | #Constraints: 26176
573.08/574.93 c #Conflicts: 543000 | #Constraints: 27176
573.08/574.93 c #Conflicts: 544000 | #Constraints: 28176
573.08/574.93 c #Conflicts: 545000 | #Constraints: 29242
573.08/574.93 c #Conflicts: 546000 | #Constraints: 30242
573.08/574.93 c INPROCESSING
573.08/574.93 c GARBAGE COLLECT
573.08/574.93 c rational objective 2
593.41/595.30 c #Conflicts: 547000 | #Constraints: 16145
593.41/595.30 c #Conflicts: 548000 | #Constraints: 17169
593.41/595.30 c #Conflicts: 549000 | #Constraints: 18173
593.41/595.30 c #Conflicts: 550000 | #Constraints: 19173
593.41/595.30 c #Conflicts: 551000 | #Constraints: 20173
593.41/595.30 c #Conflicts: 552000 | #Constraints: 21173
593.41/595.30 c #Conflicts: 553000 | #Constraints: 22173
593.41/595.30 c #Conflicts: 554000 | #Constraints: 23173
593.41/595.30 c #Conflicts: 555000 | #Constraints: 24173
593.41/595.30 c #Conflicts: 556000 | #Constraints: 25173
593.41/595.30 c #Conflicts: 557000 | #Constraints: 26173
593.41/595.30 c #Conflicts: 558000 | #Constraints: 27173
593.41/595.30 c #Conflicts: 559000 | #Constraints: 28173
593.41/595.30 c #Conflicts: 560000 | #Constraints: 29173
593.41/595.30 c #Conflicts: 561000 | #Constraints: 30173
593.41/595.30 c INPROCESSING
593.41/595.30 c GARBAGE COLLECT
593.41/595.30 c rational objective 2
614.75/616.77 c #Conflicts: 562000 | #Constraints: 16105
614.75/616.77 c #Conflicts: 563000 | #Constraints: 17120
614.75/616.77 c #Conflicts: 564000 | #Constraints: 18120
614.75/616.77 c #Conflicts: 565000 | #Constraints: 19120
614.75/616.77 c #Conflicts: 566000 | #Constraints: 20120
614.75/616.77 c #Conflicts: 567000 | #Constraints: 21120
614.75/616.77 c #Conflicts: 568000 | #Constraints: 22132
614.75/616.77 c #Conflicts: 569000 | #Constraints: 23167
614.75/616.77 c #Conflicts: 570000 | #Constraints: 24190
614.75/616.77 c #Conflicts: 571000 | #Constraints: 25232
614.75/616.77 c #Conflicts: 572000 | #Constraints: 26232
614.75/616.77 c #Conflicts: 573000 | #Constraints: 27232
614.75/616.77 c #Conflicts: 574000 | #Constraints: 28232
614.75/616.77 c #Conflicts: 575000 | #Constraints: 29232
614.75/616.77 c #Conflicts: 576000 | #Constraints: 30232
614.75/616.77 c INPROCESSING
614.75/616.77 c GARBAGE COLLECT
614.75/616.77 c rational objective 2
635.78/637.82 c #Conflicts: 577000 | #Constraints: 16039
635.78/637.82 c #Conflicts: 578000 | #Constraints: 17059
635.78/637.82 c #Conflicts: 579000 | #Constraints: 18061
635.78/637.82 c #Conflicts: 580000 | #Constraints: 19062
635.78/637.82 c #Conflicts: 581000 | #Constraints: 20062
635.78/637.82 c #Conflicts: 582000 | #Constraints: 21066
635.78/637.82 c #Conflicts: 583000 | #Constraints: 22066
635.78/637.82 c #Conflicts: 584000 | #Constraints: 23066
635.78/637.82 c #Conflicts: 585000 | #Constraints: 24066
635.78/637.82 c #Conflicts: 586000 | #Constraints: 25066
635.78/637.82 c #Conflicts: 587000 | #Constraints: 26066
635.78/637.82 c #Conflicts: 588000 | #Constraints: 27066
635.78/637.82 c #Conflicts: 589000 | #Constraints: 28066
635.78/637.82 c #Conflicts: 590000 | #Constraints: 29066
635.78/637.82 c #Conflicts: 591000 | #Constraints: 30066
635.78/637.82 c INPROCESSING
635.78/637.82 c GARBAGE COLLECT
635.78/637.82 c rational objective 2
657.93/660.06 c #Conflicts: 592000 | #Constraints: 15752
657.93/660.06 c #Conflicts: 593000 | #Constraints: 16783
657.93/660.06 c #Conflicts: 594000 | #Constraints: 17783
657.93/660.06 c #Conflicts: 595000 | #Constraints: 18783
657.93/660.06 c #Conflicts: 596000 | #Constraints: 19783
657.93/660.06 c #Conflicts: 597000 | #Constraints: 20783
657.93/660.06 c #Conflicts: 598000 | #Constraints: 21783
657.93/660.06 c #Conflicts: 599000 | #Constraints: 22783
657.93/660.06 c #Conflicts: 600000 | #Constraints: 23783
657.93/660.06 c #Conflicts: 601000 | #Constraints: 24783
657.93/660.06 c #Conflicts: 602000 | #Constraints: 25783
657.93/660.06 c #Conflicts: 603000 | #Constraints: 26783
657.93/660.06 c #Conflicts: 604000 | #Constraints: 27783
657.93/660.06 c #Conflicts: 605000 | #Constraints: 28783
657.93/660.06 c #Conflicts: 606000 | #Constraints: 29783
657.93/660.06 c #Conflicts: 607000 | #Constraints: 30783
657.93/660.06 c INPROCESSING
657.93/660.06 c GARBAGE COLLECT
657.93/660.06 c rational objective 2
680.46/682.64 c #Conflicts: 608000 | #Constraints: 16322
680.46/682.64 c #Conflicts: 609000 | #Constraints: 17375
680.46/682.64 c #Conflicts: 610000 | #Constraints: 18395
680.46/682.64 c #Conflicts: 611000 | #Constraints: 19395
680.46/682.64 c #Conflicts: 612000 | #Constraints: 20395
680.46/682.64 c #Conflicts: 613000 | #Constraints: 21395
680.46/682.64 c #Conflicts: 614000 | #Constraints: 22395
680.46/682.64 c #Conflicts: 615000 | #Constraints: 23395
680.46/682.64 c #Conflicts: 616000 | #Constraints: 24396
680.46/682.64 c #Conflicts: 617000 | #Constraints: 25402
680.46/682.64 c #Conflicts: 618000 | #Constraints: 26444
680.46/682.64 c #Conflicts: 619000 | #Constraints: 27503
680.46/682.64 c #Conflicts: 620000 | #Constraints: 28521
680.46/682.64 c #Conflicts: 621000 | #Constraints: 29546
680.46/682.64 c #Conflicts: 622000 | #Constraints: 30546
680.46/682.64 c #Conflicts: 623000 | #Constraints: 31546
680.46/682.64 c INPROCESSING
680.46/682.64 c GARBAGE COLLECT
680.46/682.64 c rational objective 2
702.50/704.72 c #Conflicts: 624000 | #Constraints: 16794
702.50/704.72 c #Conflicts: 625000 | #Constraints: 17794
702.50/704.72 c #Conflicts: 626000 | #Constraints: 18794
702.50/704.72 c #Conflicts: 627000 | #Constraints: 19794
702.50/704.72 c #Conflicts: 628000 | #Constraints: 20794
702.50/704.72 c #Conflicts: 629000 | #Constraints: 21794
702.50/704.72 c #Conflicts: 630000 | #Constraints: 22794
702.50/704.72 c #Conflicts: 631000 | #Constraints: 23794
702.50/704.72 c #Conflicts: 632000 | #Constraints: 24794
702.50/704.72 c #Conflicts: 633000 | #Constraints: 25794
702.50/704.72 c #Conflicts: 634000 | #Constraints: 26794
702.50/704.72 c #Conflicts: 635000 | #Constraints: 27798
702.50/704.72 c #Conflicts: 636000 | #Constraints: 28798
702.50/704.72 c #Conflicts: 637000 | #Constraints: 29798
702.50/704.72 c #Conflicts: 638000 | #Constraints: 30798
702.50/704.72 c #Conflicts: 639000 | #Constraints: 31798
702.50/704.72 c INPROCESSING
702.50/704.72 c GARBAGE COLLECT
702.50/704.72 c rational objective 2
725.63/727.96 c #Conflicts: 640000 | #Constraints: 16928
725.63/727.96 c #Conflicts: 641000 | #Constraints: 17936
725.63/727.96 c #Conflicts: 642000 | #Constraints: 18936
725.63/727.96 c #Conflicts: 643000 | #Constraints: 19936
725.63/727.96 c #Conflicts: 644000 | #Constraints: 20936
725.63/727.96 c #Conflicts: 645000 | #Constraints: 21939
725.63/727.96 c #Conflicts: 646000 | #Constraints: 22939
725.63/727.96 c #Conflicts: 647000 | #Constraints: 23987
725.63/727.96 c #Conflicts: 648000 | #Constraints: 25028
725.63/727.96 c #Conflicts: 649000 | #Constraints: 26028
725.63/727.96 c #Conflicts: 650000 | #Constraints: 27028
725.63/727.96 c #Conflicts: 651000 | #Constraints: 28028
725.63/727.96 c #Conflicts: 652000 | #Constraints: 29028
725.63/727.96 c #Conflicts: 653000 | #Constraints: 30028
725.63/727.96 c #Conflicts: 654000 | #Constraints: 31028
725.63/727.96 c #Conflicts: 655000 | #Constraints: 32028
725.63/727.96 c INPROCESSING
725.63/727.96 c GARBAGE COLLECT
725.63/727.96 c rational objective 2
757.02/759.46 c #Conflicts: 656000 | #Constraints: 16961
757.02/759.46 c #Conflicts: 657000 | #Constraints: 18086
757.02/759.46 c #Conflicts: 658000 | #Constraints: 19328
757.02/759.46 c #Conflicts: 659000 | #Constraints: 20629
757.02/759.46 c #Conflicts: 660000 | #Constraints: 21875
757.02/759.46 c #Conflicts: 661000 | #Constraints: 22939
757.02/759.46 c #Conflicts: 662000 | #Constraints: 23994
757.02/759.46 c #Conflicts: 663000 | #Constraints: 25030
757.02/759.46 c #Conflicts: 664000 | #Constraints: 26071
757.02/759.46 c #Conflicts: 665000 | #Constraints: 27076
757.02/759.46 c #Conflicts: 666000 | #Constraints: 28076
757.02/759.46 c #Conflicts: 667000 | #Constraints: 29076
757.02/759.46 c #Conflicts: 668000 | #Constraints: 30076
757.02/759.46 c #Conflicts: 669000 | #Constraints: 31087
757.02/759.46 c #Conflicts: 670000 | #Constraints: 32087
757.02/759.46 c #Conflicts: 671000 | #Constraints: 33087
757.02/759.46 c INPROCESSING
757.02/759.46 c GARBAGE COLLECT
757.02/759.46 c rational objective 2
785.33/787.87 c #Conflicts: 672000 | #Constraints: 17268
785.33/787.87 c #Conflicts: 673000 | #Constraints: 18268
785.33/787.87 c #Conflicts: 674000 | #Constraints: 19268
785.33/787.87 c #Conflicts: 675000 | #Constraints: 20268
785.33/787.87 c #Conflicts: 676000 | #Constraints: 21268
785.33/787.87 c #Conflicts: 677000 | #Constraints: 22268
785.33/787.87 c #Conflicts: 678000 | #Constraints: 23268
785.33/787.87 c #Conflicts: 679000 | #Constraints: 24268
785.33/787.87 c #Conflicts: 680000 | #Constraints: 25268
785.33/787.87 c #Conflicts: 681000 | #Constraints: 26268
785.33/787.87 c #Conflicts: 682000 | #Constraints: 27268
785.33/787.87 c #Conflicts: 683000 | #Constraints: 28268
785.33/787.87 c #Conflicts: 684000 | #Constraints: 29275
785.33/787.87 c #Conflicts: 685000 | #Constraints: 30277
785.33/787.87 c #Conflicts: 686000 | #Constraints: 31301
785.33/787.87 c #Conflicts: 687000 | #Constraints: 32307
785.33/787.87 c #Conflicts: 688000 | #Constraints: 33311
785.33/787.87 c INPROCESSING
785.33/787.87 c GARBAGE COLLECT
785.33/787.87 c rational objective 2
812.15/814.71 c #Conflicts: 689000 | #Constraints: 17576
812.15/814.71 c #Conflicts: 690000 | #Constraints: 18579
812.15/814.71 c #Conflicts: 691000 | #Constraints: 19579
812.15/814.71 c #Conflicts: 692000 | #Constraints: 20579
812.15/814.71 c #Conflicts: 693000 | #Constraints: 21581
812.15/814.71 c #Conflicts: 694000 | #Constraints: 22607
812.15/814.71 c #Conflicts: 695000 | #Constraints: 23636
812.15/814.71 c #Conflicts: 696000 | #Constraints: 24643
812.15/814.71 c #Conflicts: 697000 | #Constraints: 25643
812.15/814.71 c #Conflicts: 698000 | #Constraints: 26643
812.15/814.71 c #Conflicts: 699000 | #Constraints: 27643
812.15/814.71 c #Conflicts: 700000 | #Constraints: 28643
812.15/814.71 c #Conflicts: 701000 | #Constraints: 29643
812.15/814.71 c #Conflicts: 702000 | #Constraints: 30643
812.15/814.71 c #Conflicts: 703000 | #Constraints: 31643
812.15/814.71 c #Conflicts: 704000 | #Constraints: 32643
812.15/814.71 c #Conflicts: 705000 | #Constraints: 33643
812.15/814.71 c INPROCESSING
812.15/814.71 c GARBAGE COLLECT
812.15/814.71 c rational objective 2
841.16/843.84 c #Conflicts: 706000 | #Constraints: 17879
841.16/843.84 c #Conflicts: 707000 | #Constraints: 18932
841.16/843.84 c #Conflicts: 708000 | #Constraints: 19941
841.16/843.84 c #Conflicts: 709000 | #Constraints: 20941
841.16/843.84 c #Conflicts: 710000 | #Constraints: 21941
841.16/843.84 c #Conflicts: 711000 | #Constraints: 22941
841.16/843.84 c #Conflicts: 712000 | #Constraints: 23941
841.16/843.84 c #Conflicts: 713000 | #Constraints: 24941
841.16/843.84 c #Conflicts: 714000 | #Constraints: 25941
841.16/843.84 c #Conflicts: 715000 | #Constraints: 26941
841.16/843.84 c #Conflicts: 716000 | #Constraints: 27941
841.16/843.84 c #Conflicts: 717000 | #Constraints: 28941
841.16/843.84 c #Conflicts: 718000 | #Constraints: 29941
841.16/843.84 c #Conflicts: 719000 | #Constraints: 30941
841.16/843.84 c #Conflicts: 720000 | #Constraints: 31941
841.16/843.84 c #Conflicts: 721000 | #Constraints: 32941
841.16/843.84 c #Conflicts: 722000 | #Constraints: 33941
841.16/843.84 c INPROCESSING
841.16/843.84 c GARBAGE COLLECT
841.16/843.84 c rational objective 2
870.16/872.98 c #Conflicts: 723000 | #Constraints: 17999
870.16/872.98 c #Conflicts: 724000 | #Constraints: 18999
870.16/872.98 c #Conflicts: 725000 | #Constraints: 19999
870.16/872.98 c #Conflicts: 726000 | #Constraints: 20999
870.16/872.98 c #Conflicts: 727000 | #Constraints: 21999
870.16/872.98 c #Conflicts: 728000 | #Constraints: 22999
870.16/872.98 c #Conflicts: 729000 | #Constraints: 23999
870.16/872.98 c #Conflicts: 730000 | #Constraints: 24999
870.16/872.98 c #Conflicts: 731000 | #Constraints: 25999
870.16/872.98 c #Conflicts: 732000 | #Constraints: 26999
870.16/872.98 c #Conflicts: 733000 | #Constraints: 27999
870.16/872.98 c #Conflicts: 734000 | #Constraints: 28999
870.16/872.98 c #Conflicts: 735000 | #Constraints: 29999
870.16/872.98 c #Conflicts: 736000 | #Constraints: 30999
870.16/872.98 c #Conflicts: 737000 | #Constraints: 31999
870.16/872.98 c #Conflicts: 738000 | #Constraints: 32999
870.16/872.98 c #Conflicts: 739000 | #Constraints: 33999
870.16/872.98 c INPROCESSING
870.16/872.98 c GARBAGE COLLECT
870.16/872.98 c rational objective 2
899.66/902.53 c #Conflicts: 740000 | #Constraints: 17933
899.66/902.53 c #Conflicts: 741000 | #Constraints: 18960
899.66/902.53 c #Conflicts: 742000 | #Constraints: 19960
899.66/902.53 c #Conflicts: 743000 | #Constraints: 20960
899.66/902.53 c #Conflicts: 744000 | #Constraints: 21960
899.66/902.53 c #Conflicts: 745000 | #Constraints: 22960
899.66/902.53 c #Conflicts: 746000 | #Constraints: 23980
899.66/902.53 c #Conflicts: 747000 | #Constraints: 25004
899.66/902.53 c #Conflicts: 748000 | #Constraints: 26004
899.66/902.53 c #Conflicts: 749000 | #Constraints: 27004
899.66/902.53 c #Conflicts: 750000 | #Constraints: 28004
899.66/902.53 c #Conflicts: 751000 | #Constraints: 29004
899.66/902.53 c #Conflicts: 752000 | #Constraints: 30004
899.66/902.53 c #Conflicts: 753000 | #Constraints: 31004
899.66/902.53 c #Conflicts: 754000 | #Constraints: 32004
899.66/902.53 c #Conflicts: 755000 | #Constraints: 33004
899.66/902.53 c #Conflicts: 756000 | #Constraints: 34004
899.66/902.53 c INPROCESSING
899.66/902.53 c GARBAGE COLLECT
899.66/902.53 c rational objective 2
928.57/931.53 c #Conflicts: 757000 | #Constraints: 17722
928.57/931.53 c #Conflicts: 758000 | #Constraints: 18843
928.57/931.53 c #Conflicts: 759000 | #Constraints: 19852
928.57/931.53 c #Conflicts: 760000 | #Constraints: 20852
928.57/931.53 c #Conflicts: 761000 | #Constraints: 21852
928.57/931.53 c #Conflicts: 762000 | #Constraints: 22852
928.57/931.53 c #Conflicts: 763000 | #Constraints: 23852
928.57/931.53 c #Conflicts: 764000 | #Constraints: 24852
928.57/931.53 c #Conflicts: 765000 | #Constraints: 25852
928.57/931.53 c #Conflicts: 766000 | #Constraints: 26852
928.57/931.53 c #Conflicts: 767000 | #Constraints: 27879
928.57/931.53 c #Conflicts: 768000 | #Constraints: 28879
928.57/931.53 c #Conflicts: 769000 | #Constraints: 29879
928.57/931.53 c #Conflicts: 770000 | #Constraints: 30879
928.57/931.53 c #Conflicts: 771000 | #Constraints: 31879
928.57/931.53 c #Conflicts: 772000 | #Constraints: 32879
928.57/931.53 c #Conflicts: 773000 | #Constraints: 33879
928.57/931.53 c #Conflicts: 774000 | #Constraints: 34879
928.57/931.53 c INPROCESSING
928.57/931.53 c GARBAGE COLLECT
928.57/931.53 c rational objective 2
959.57/962.69 c #Conflicts: 775000 | #Constraints: 18436
959.57/962.69 c #Conflicts: 776000 | #Constraints: 19490
959.57/962.69 c #Conflicts: 777000 | #Constraints: 20490
959.57/962.69 c #Conflicts: 778000 | #Constraints: 21490
959.57/962.69 c #Conflicts: 779000 | #Constraints: 22490
959.57/962.69 c #Conflicts: 780000 | #Constraints: 23490
959.57/962.69 c #Conflicts: 781000 | #Constraints: 24490
959.57/962.69 c #Conflicts: 782000 | #Constraints: 25490
959.57/962.69 c #Conflicts: 783000 | #Constraints: 26490
959.57/962.69 c #Conflicts: 784000 | #Constraints: 27490
959.57/962.69 c #Conflicts: 785000 | #Constraints: 28490
959.57/962.69 c #Conflicts: 786000 | #Constraints: 29490
959.57/962.69 c #Conflicts: 787000 | #Constraints: 30490
959.57/962.69 c #Conflicts: 788000 | #Constraints: 31490
959.57/962.69 c #Conflicts: 789000 | #Constraints: 32490
959.57/962.69 c #Conflicts: 790000 | #Constraints: 33490
959.57/962.69 c #Conflicts: 791000 | #Constraints: 34490
959.57/962.69 c #Conflicts: 792000 | #Constraints: 35490
959.57/962.69 c INPROCESSING
959.57/962.69 c GARBAGE COLLECT
959.57/962.69 c rational objective 2.00006
993.27/996.46 c #Conflicts: 793000 | #Constraints: 18802
993.27/996.46 c #Conflicts: 794000 | #Constraints: 19876
993.27/996.46 c #Conflicts: 795000 | #Constraints: 20891
993.27/996.46 c #Conflicts: 796000 | #Constraints: 21891
993.27/996.46 c #Conflicts: 797000 | #Constraints: 22893
993.27/996.46 c #Conflicts: 798000 | #Constraints: 23899
993.27/996.46 c #Conflicts: 799000 | #Constraints: 24899
993.27/996.46 c #Conflicts: 800000 | #Constraints: 25899
993.27/996.46 c #Conflicts: 801000 | #Constraints: 26899
993.27/996.46 c #Conflicts: 802000 | #Constraints: 27899
993.27/996.46 c #Conflicts: 803000 | #Constraints: 28899
993.27/996.46 c #Conflicts: 804000 | #Constraints: 29899
993.27/996.46 c #Conflicts: 805000 | #Constraints: 30899
993.27/996.46 c #Conflicts: 806000 | #Constraints: 31899
993.27/996.46 c #Conflicts: 807000 | #Constraints: 32899
993.27/996.46 c #Conflicts: 808000 | #Constraints: 33899
993.27/996.46 c #Conflicts: 809000 | #Constraints: 34899
993.27/996.46 c #Conflicts: 810000 | #Constraints: 35899
993.27/996.46 c INPROCESSING
993.27/996.46 c GARBAGE COLLECT
993.27/996.46 c rational objective 2.00004
1028.56/1031.84 c #Conflicts: 811000 | #Constraints: 19065
1028.56/1031.84 c #Conflicts: 812000 | #Constraints: 20151
1028.56/1031.84 c #Conflicts: 813000 | #Constraints: 21152
1028.56/1031.84 c #Conflicts: 814000 | #Constraints: 22152
1028.56/1031.84 c #Conflicts: 815000 | #Constraints: 23160
1028.56/1031.84 c #Conflicts: 816000 | #Constraints: 24196
1028.56/1031.84 c #Conflicts: 817000 | #Constraints: 25299
1028.56/1031.84 c #Conflicts: 818000 | #Constraints: 26357
1028.56/1031.84 c #Conflicts: 819000 | #Constraints: 27357
1028.56/1031.84 c #Conflicts: 820000 | #Constraints: 28357
1028.56/1031.84 c #Conflicts: 821000 | #Constraints: 29357
1028.56/1031.84 c #Conflicts: 822000 | #Constraints: 30357
1028.56/1031.84 c #Conflicts: 823000 | #Constraints: 31357
1028.56/1031.84 c #Conflicts: 824000 | #Constraints: 32357
1028.56/1031.84 c #Conflicts: 825000 | #Constraints: 33357
1028.56/1031.84 c #Conflicts: 826000 | #Constraints: 34357
1028.56/1031.84 c #Conflicts: 827000 | #Constraints: 35357
1028.56/1031.84 c #Conflicts: 828000 | #Constraints: 36357
1028.56/1031.84 c INPROCESSING
1028.56/1031.84 c GARBAGE COLLECT
1028.56/1031.84 c rational objective 2.00004
1073.23/1076.60 c #Conflicts: 829000 | #Constraints: 19140
1073.23/1076.60 c #Conflicts: 830000 | #Constraints: 20206
1073.23/1076.60 c #Conflicts: 831000 | #Constraints: 21302
1073.23/1076.60 c #Conflicts: 832000 | #Constraints: 22384
1073.23/1076.60 c #Conflicts: 833000 | #Constraints: 23430
1073.23/1076.60 c #Conflicts: 834000 | #Constraints: 24435
1073.23/1076.60 c #Conflicts: 835000 | #Constraints: 25458
1073.23/1076.60 c #Conflicts: 836000 | #Constraints: 26483
1073.23/1076.60 c #Conflicts: 837000 | #Constraints: 27573
1073.23/1076.60 c #Conflicts: 838000 | #Constraints: 28659
1073.23/1076.60 c #Conflicts: 839000 | #Constraints: 29734
1073.23/1076.60 c #Conflicts: 840000 | #Constraints: 30734
1073.23/1076.60 c #Conflicts: 841000 | #Constraints: 31734
1073.23/1076.60 c #Conflicts: 842000 | #Constraints: 32734
1073.23/1076.60 c #Conflicts: 843000 | #Constraints: 33734
1073.23/1076.60 c #Conflicts: 844000 | #Constraints: 34734
1073.23/1076.60 c #Conflicts: 845000 | #Constraints: 35734
1073.23/1076.60 c #Conflicts: 846000 | #Constraints: 36734
1073.23/1076.60 c INPROCESSING
1073.23/1076.60 c GARBAGE COLLECT
1073.23/1076.60 c rational objective 2.00027
1113.40/1116.98 c #Conflicts: 847000 | #Constraints: 19095
1113.40/1116.98 c #Conflicts: 848000 | #Constraints: 20130
1113.40/1116.98 c #Conflicts: 849000 | #Constraints: 21152
1113.40/1116.98 c #Conflicts: 850000 | #Constraints: 22173
1113.40/1116.98 c #Conflicts: 851000 | #Constraints: 23173
1113.40/1116.98 c #Conflicts: 852000 | #Constraints: 24215
1113.40/1116.98 c #Conflicts: 853000 | #Constraints: 25284
1113.40/1116.98 c #Conflicts: 854000 | #Constraints: 26320
1113.40/1116.98 c #Conflicts: 855000 | #Constraints: 27406
1113.40/1116.98 c #Conflicts: 856000 | #Constraints: 28494
1113.40/1116.98 c #Conflicts: 857000 | #Constraints: 29570
1113.40/1116.98 c #Conflicts: 858000 | #Constraints: 30633
1113.40/1116.98 c #Conflicts: 859000 | #Constraints: 31699
1113.40/1116.98 c #Conflicts: 860000 | #Constraints: 32785
1113.40/1116.98 c #Conflicts: 861000 | #Constraints: 33868
1113.40/1116.98 c #Conflicts: 862000 | #Constraints: 35024
1113.40/1116.98 c #Conflicts: 863000 | #Constraints: 36189
1113.40/1116.98 c #Conflicts: 864000 | #Constraints: 37352
1113.40/1116.98 c #Conflicts: 865000 | #Constraints: 38556
1113.40/1116.98 c INPROCESSING
1113.40/1116.98 c GARBAGE COLLECT
1113.40/1116.98 c rational objective 1.99985
1157.68/1161.39 c #Conflicts: 866000 | #Constraints: 20267
1157.68/1161.39 c #Conflicts: 867000 | #Constraints: 21325
1157.68/1161.39 c #Conflicts: 868000 | #Constraints: 22382
1157.68/1161.39 c #Conflicts: 869000 | #Constraints: 23437
1157.68/1161.39 c #Conflicts: 870000 | #Constraints: 24474
1157.68/1161.39 c #Conflicts: 871000 | #Constraints: 25489
1157.68/1161.39 c #Conflicts: 872000 | #Constraints: 26489
1157.68/1161.39 c #Conflicts: 873000 | #Constraints: 27489
1157.68/1161.39 c #Conflicts: 874000 | #Constraints: 28495
1157.68/1161.39 c #Conflicts: 875000 | #Constraints: 29499
1157.68/1161.39 c #Conflicts: 876000 | #Constraints: 30527
1157.68/1161.39 c #Conflicts: 877000 | #Constraints: 31579
1157.68/1161.39 c #Conflicts: 878000 | #Constraints: 32610
1157.68/1161.39 c #Conflicts: 879000 | #Constraints: 33655
1157.68/1161.39 c #Conflicts: 880000 | #Constraints: 34670
1157.68/1161.39 c #Conflicts: 881000 | #Constraints: 35670
1157.68/1161.39 c #Conflicts: 882000 | #Constraints: 36691
1157.68/1161.39 c #Conflicts: 883000 | #Constraints: 37740
1157.68/1161.39 c #Conflicts: 884000 | #Constraints: 38742
1157.68/1161.39 c INPROCESSING
1157.68/1161.39 c GARBAGE COLLECT
1157.68/1161.39 c rational objective 1.99991
1194.17/1197.97 c #Conflicts: 885000 | #Constraints: 20410
1194.17/1197.97 c #Conflicts: 886000 | #Constraints: 21410
1194.17/1197.97 c #Conflicts: 887000 | #Constraints: 22410
1194.17/1197.97 c #Conflicts: 888000 | #Constraints: 23410
1194.17/1197.97 c #Conflicts: 889000 | #Constraints: 24410
1194.17/1197.97 c #Conflicts: 890000 | #Constraints: 25410
1194.17/1197.97 c #Conflicts: 891000 | #Constraints: 26410
1194.17/1197.97 c #Conflicts: 892000 | #Constraints: 27410
1194.17/1197.97 c #Conflicts: 893000 | #Constraints: 28410
1194.17/1197.97 c #Conflicts: 894000 | #Constraints: 29413
1194.17/1197.97 c #Conflicts: 895000 | #Constraints: 30443
1194.17/1197.97 c #Conflicts: 896000 | #Constraints: 31465
1194.17/1197.97 c #Conflicts: 897000 | #Constraints: 32494
1194.17/1197.97 c #Conflicts: 898000 | #Constraints: 33494
1194.17/1197.97 c #Conflicts: 899000 | #Constraints: 34494
1194.17/1197.97 c #Conflicts: 900000 | #Constraints: 35494
1194.17/1197.97 c #Conflicts: 901000 | #Constraints: 36494
1194.17/1197.97 c #Conflicts: 902000 | #Constraints: 37494
1194.17/1197.97 c #Conflicts: 903000 | #Constraints: 38494
1194.17/1197.97 c INPROCESSING
1194.17/1197.97 c GARBAGE COLLECT
1194.17/1197.97 c rational objective 1.9998
1233.36/1237.24 c #Conflicts: 904000 | #Constraints: 20266
1233.36/1237.24 c #Conflicts: 905000 | #Constraints: 21286
1233.36/1237.24 c #Conflicts: 906000 | #Constraints: 22308
1233.36/1237.24 c #Conflicts: 907000 | #Constraints: 23345
1233.36/1237.24 c #Conflicts: 908000 | #Constraints: 24346
1233.36/1237.24 c #Conflicts: 909000 | #Constraints: 25346
1233.36/1237.24 c #Conflicts: 910000 | #Constraints: 26346
1233.36/1237.24 c #Conflicts: 911000 | #Constraints: 27346
1233.36/1237.24 c #Conflicts: 912000 | #Constraints: 28346
1233.36/1237.24 c #Conflicts: 913000 | #Constraints: 29346
1233.36/1237.24 c #Conflicts: 914000 | #Constraints: 30346
1233.36/1237.24 c #Conflicts: 915000 | #Constraints: 31346
1233.36/1237.24 c #Conflicts: 916000 | #Constraints: 32346
1233.36/1237.24 c #Conflicts: 917000 | #Constraints: 33346
1233.36/1237.24 c #Conflicts: 918000 | #Constraints: 34346
1233.36/1237.24 c #Conflicts: 919000 | #Constraints: 35346
1233.36/1237.24 c #Conflicts: 920000 | #Constraints: 36346
1233.36/1237.24 c #Conflicts: 921000 | #Constraints: 37346
1233.36/1237.24 c #Conflicts: 922000 | #Constraints: 38346
1233.36/1237.24 c INPROCESSING
1233.36/1237.24 c GARBAGE COLLECT
1233.36/1237.24 c rational objective 1.99938
1278.83/1282.82 c #Conflicts: 923000 | #Constraints: 20124
1278.83/1282.82 c #Conflicts: 924000 | #Constraints: 21211
1278.83/1282.82 c #Conflicts: 925000 | #Constraints: 22291
1278.83/1282.82 c #Conflicts: 926000 | #Constraints: 23417
1278.83/1282.82 c #Conflicts: 927000 | #Constraints: 24545
1278.83/1282.82 c #Conflicts: 928000 | #Constraints: 25675
1278.83/1282.82 c #Conflicts: 929000 | #Constraints: 26780
1278.83/1282.82 c #Conflicts: 930000 | #Constraints: 27871
1278.83/1282.82 c #Conflicts: 931000 | #Constraints: 29020
1278.83/1282.82 c #Conflicts: 932000 | #Constraints: 30182
1278.83/1282.82 c #Conflicts: 933000 | #Constraints: 31300
1278.83/1282.82 c #Conflicts: 934000 | #Constraints: 32443
1278.83/1282.82 c #Conflicts: 935000 | #Constraints: 33558
1278.83/1282.82 c #Conflicts: 936000 | #Constraints: 34653
1278.83/1282.82 c #Conflicts: 937000 | #Constraints: 35729
1278.83/1282.82 c #Conflicts: 938000 | #Constraints: 36823
1278.83/1282.82 c #Conflicts: 939000 | #Constraints: 37866
1278.83/1282.82 c #Conflicts: 940000 | #Constraints: 38955
1278.83/1282.82 c #Conflicts: 941000 | #Constraints: 40037
1278.83/1282.82 c INPROCESSING
1278.83/1282.82 c GARBAGE COLLECT
1278.83/1282.82 c rational objective 1.99938
1322.31/1326.40 c #Conflicts: 942000 | #Constraints: 20783
1322.31/1326.40 c #Conflicts: 943000 | #Constraints: 21816
1322.31/1326.40 c #Conflicts: 944000 | #Constraints: 22830
1322.31/1326.40 c #Conflicts: 945000 | #Constraints: 23830
1322.31/1326.40 c #Conflicts: 946000 | #Constraints: 24830
1322.31/1326.40 c #Conflicts: 947000 | #Constraints: 25830
1322.31/1326.40 c #Conflicts: 948000 | #Constraints: 26830
1322.31/1326.40 c #Conflicts: 949000 | #Constraints: 27830
1322.31/1326.40 c #Conflicts: 950000 | #Constraints: 28830
1322.31/1326.40 c #Conflicts: 951000 | #Constraints: 29830
1322.31/1326.40 c #Conflicts: 952000 | #Constraints: 30830
1322.31/1326.40 c #Conflicts: 953000 | #Constraints: 31830
1322.31/1326.40 c #Conflicts: 954000 | #Constraints: 32830
1322.31/1326.40 c #Conflicts: 955000 | #Constraints: 33830
1322.31/1326.40 c #Conflicts: 956000 | #Constraints: 34830
1322.31/1326.40 c #Conflicts: 957000 | #Constraints: 35830
1322.31/1326.40 c #Conflicts: 958000 | #Constraints: 36830
1322.31/1326.40 c #Conflicts: 959000 | #Constraints: 37830
1322.31/1326.40 c #Conflicts: 960000 | #Constraints: 38830
1322.31/1326.40 c #Conflicts: 961000 | #Constraints: 39830
1322.31/1326.40 c INPROCESSING
1322.31/1326.40 c GARBAGE COLLECT
1322.31/1326.40 c rational objective 1.99938
1373.16/1377.46 c #Conflicts: 962000 | #Constraints: 20876
1373.16/1377.46 c #Conflicts: 963000 | #Constraints: 21924
1373.16/1377.46 c #Conflicts: 964000 | #Constraints: 22979
1373.16/1377.46 c #Conflicts: 965000 | #Constraints: 24018
1373.16/1377.46 c #Conflicts: 966000 | #Constraints: 25058
1373.16/1377.46 c #Conflicts: 967000 | #Constraints: 26100
1373.16/1377.46 c #Conflicts: 968000 | #Constraints: 27130
1373.16/1377.46 c #Conflicts: 969000 | #Constraints: 28172
1373.16/1377.46 c #Conflicts: 970000 | #Constraints: 29215
1373.16/1377.46 c #Conflicts: 971000 | #Constraints: 30221
1373.16/1377.46 c #Conflicts: 972000 | #Constraints: 31221
1373.16/1377.46 c #Conflicts: 973000 | #Constraints: 32221
1373.16/1377.46 c #Conflicts: 974000 | #Constraints: 33221
1373.16/1377.46 c #Conflicts: 975000 | #Constraints: 34221
1373.16/1377.46 c #Conflicts: 976000 | #Constraints: 35221
1373.16/1377.46 c #Conflicts: 977000 | #Constraints: 36221
1373.16/1377.46 c #Conflicts: 978000 | #Constraints: 37221
1373.16/1377.46 c #Conflicts: 979000 | #Constraints: 38221
1373.16/1377.46 c #Conflicts: 980000 | #Constraints: 39221
1373.16/1377.46 c #Conflicts: 981000 | #Constraints: 40221
1373.16/1377.46 c INPROCESSING
1373.16/1377.46 c GARBAGE COLLECT
1373.16/1377.46 c rational objective 1.9994
1422.02/1426.42 c #Conflicts: 982000 | #Constraints: 21218
1422.02/1426.42 c #Conflicts: 983000 | #Constraints: 22308
1422.02/1426.42 c #Conflicts: 984000 | #Constraints: 23434
1422.02/1426.42 c #Conflicts: 985000 | #Constraints: 24474
1422.02/1426.42 c #Conflicts: 986000 | #Constraints: 25474
1422.02/1426.42 c #Conflicts: 987000 | #Constraints: 26474
1422.02/1426.42 c #Conflicts: 988000 | #Constraints: 27474
1422.02/1426.42 c #Conflicts: 989000 | #Constraints: 28474
1422.02/1426.42 c #Conflicts: 990000 | #Constraints: 29474
1422.02/1426.42 c #Conflicts: 991000 | #Constraints: 30474
1422.02/1426.42 c #Conflicts: 992000 | #Constraints: 31474
1422.02/1426.42 c #Conflicts: 993000 | #Constraints: 32474
1422.02/1426.42 c #Conflicts: 994000 | #Constraints: 33474
1422.02/1426.42 c #Conflicts: 995000 | #Constraints: 34474
1422.02/1426.42 c #Conflicts: 996000 | #Constraints: 35474
1422.02/1426.42 c #Conflicts: 997000 | #Constraints: 36474
1422.02/1426.42 c #Conflicts: 998000 | #Constraints: 37474
1422.02/1426.42 c #Conflicts: 999000 | #Constraints: 38474
1422.02/1426.42 c #Conflicts: 1000000 | #Constraints: 39474
1422.02/1426.42 c #Conflicts: 1001000 | #Constraints: 40474
1422.02/1426.42 c INPROCESSING
1422.02/1426.42 c GARBAGE COLLECT
1422.02/1426.42 c rational objective 1.99941
1470.19/1474.71 c #Conflicts: 1002000 | #Constraints: 21296
1470.19/1474.71 c #Conflicts: 1003000 | #Constraints: 22325
1470.19/1474.71 c #Conflicts: 1004000 | #Constraints: 23349
1470.19/1474.71 c #Conflicts: 1005000 | #Constraints: 24357
1470.19/1474.71 c #Conflicts: 1006000 | #Constraints: 25398
1470.19/1474.71 c #Conflicts: 1007000 | #Constraints: 26398
1470.19/1474.71 c #Conflicts: 1008000 | #Constraints: 27398
1470.19/1474.71 c #Conflicts: 1009000 | #Constraints: 28398
1470.19/1474.71 c #Conflicts: 1010000 | #Constraints: 29398
1470.19/1474.71 c #Conflicts: 1011000 | #Constraints: 30398
1470.19/1474.71 c #Conflicts: 1012000 | #Constraints: 31398
1470.19/1474.71 c #Conflicts: 1013000 | #Constraints: 32398
1470.19/1474.71 c #Conflicts: 1014000 | #Constraints: 33398
1470.19/1474.71 c #Conflicts: 1015000 | #Constraints: 34398
1470.19/1474.71 c #Conflicts: 1016000 | #Constraints: 35398
1470.19/1474.71 c #Conflicts: 1017000 | #Constraints: 36398
1470.19/1474.71 c #Conflicts: 1018000 | #Constraints: 37398
1470.19/1474.71 c #Conflicts: 1019000 | #Constraints: 38398
1470.19/1474.71 c #Conflicts: 1020000 | #Constraints: 39398
1470.19/1474.71 c #Conflicts: 1021000 | #Constraints: 40398
1470.19/1474.71 c INPROCESSING
1470.19/1474.71 c GARBAGE COLLECT
1470.19/1474.71 c rational objective 1.99975
1520.65/1525.36 c #Conflicts: 1022000 | #Constraints: 21124
1520.65/1525.36 c #Conflicts: 1023000 | #Constraints: 22162
1520.65/1525.36 c #Conflicts: 1024000 | #Constraints: 23202
1520.65/1525.36 c #Conflicts: 1025000 | #Constraints: 24234
1520.65/1525.36 c #Conflicts: 1026000 | #Constraints: 25268
1520.65/1525.36 c #Conflicts: 1027000 | #Constraints: 26290
1520.65/1525.36 c #Conflicts: 1028000 | #Constraints: 27315
1520.65/1525.36 c #Conflicts: 1029000 | #Constraints: 28315
1520.65/1525.36 c #Conflicts: 1030000 | #Constraints: 29315
1520.65/1525.36 c #Conflicts: 1031000 | #Constraints: 30315
1520.65/1525.36 c #Conflicts: 1032000 | #Constraints: 31315
1520.65/1525.36 c #Conflicts: 1033000 | #Constraints: 32315
1520.65/1525.36 c #Conflicts: 1034000 | #Constraints: 33315
1520.65/1525.36 c #Conflicts: 1035000 | #Constraints: 34315
1520.65/1525.36 c #Conflicts: 1036000 | #Constraints: 35315
1520.65/1525.36 c #Conflicts: 1037000 | #Constraints: 36315
1520.65/1525.36 c #Conflicts: 1038000 | #Constraints: 37315
1520.65/1525.36 c #Conflicts: 1039000 | #Constraints: 38315
1520.65/1525.36 c #Conflicts: 1040000 | #Constraints: 39315
1520.65/1525.36 c #Conflicts: 1041000 | #Constraints: 40315
1520.65/1525.36 c INPROCESSING
1520.65/1525.36 c GARBAGE COLLECT
1520.65/1525.36 c rational objective 1.99936
1570.41/1575.25 c #Conflicts: 1042000 | #Constraints: 20867
1570.41/1575.25 c #Conflicts: 1043000 | #Constraints: 21892
1570.41/1575.25 c #Conflicts: 1044000 | #Constraints: 22892
1570.41/1575.25 c #Conflicts: 1045000 | #Constraints: 23892
1570.41/1575.25 c #Conflicts: 1046000 | #Constraints: 24892
1570.41/1575.25 c #Conflicts: 1047000 | #Constraints: 25892
1570.41/1575.25 c #Conflicts: 1048000 | #Constraints: 26892
1570.41/1575.25 c #Conflicts: 1049000 | #Constraints: 27892
1570.41/1575.25 c #Conflicts: 1050000 | #Constraints: 28892
1570.41/1575.25 c #Conflicts: 1051000 | #Constraints: 29892
1570.41/1575.25 c #Conflicts: 1052000 | #Constraints: 30892
1570.41/1575.25 c #Conflicts: 1053000 | #Constraints: 31892
1570.41/1575.25 c #Conflicts: 1054000 | #Constraints: 32892
1570.41/1575.25 c #Conflicts: 1055000 | #Constraints: 33892
1570.41/1575.25 c #Conflicts: 1056000 | #Constraints: 34892
1570.41/1575.25 c #Conflicts: 1057000 | #Constraints: 35892
1570.41/1575.25 c #Conflicts: 1058000 | #Constraints: 36892
1570.41/1575.25 c #Conflicts: 1059000 | #Constraints: 37892
1570.41/1575.25 c #Conflicts: 1060000 | #Constraints: 38892
1570.41/1575.25 c #Conflicts: 1061000 | #Constraints: 39892
1570.41/1575.25 c #Conflicts: 1062000 | #Constraints: 40892
1570.41/1575.25 c INPROCESSING
1570.41/1575.25 c GARBAGE COLLECT
1570.41/1575.25 c rational objective 1.99897
1621.18/1626.19 c #Conflicts: 1063000 | #Constraints: 21395
1621.18/1626.19 c #Conflicts: 1064000 | #Constraints: 22465
1621.18/1626.19 c #Conflicts: 1065000 | #Constraints: 23502
1621.18/1626.19 c #Conflicts: 1066000 | #Constraints: 24502
1621.18/1626.19 c #Conflicts: 1067000 | #Constraints: 25502
1621.18/1626.19 c #Conflicts: 1068000 | #Constraints: 26503
1621.18/1626.19 c #Conflicts: 1069000 | #Constraints: 27543
1621.18/1626.19 c #Conflicts: 1070000 | #Constraints: 28548
1621.18/1626.19 c #Conflicts: 1071000 | #Constraints: 29548
1621.18/1626.19 c #Conflicts: 1072000 | #Constraints: 30548
1621.18/1626.19 c #Conflicts: 1073000 | #Constraints: 31548
1621.18/1626.19 c #Conflicts: 1074000 | #Constraints: 32548
1621.18/1626.19 c #Conflicts: 1075000 | #Constraints: 33548
1621.18/1626.19 c #Conflicts: 1076000 | #Constraints: 34552
1621.18/1626.19 c #Conflicts: 1077000 | #Constraints: 35552
1621.18/1626.19 c #Conflicts: 1078000 | #Constraints: 36552
1621.18/1626.19 c #Conflicts: 1079000 | #Constraints: 37552
1621.18/1626.19 c #Conflicts: 1080000 | #Constraints: 38552
1621.18/1626.19 c #Conflicts: 1081000 | #Constraints: 39552
1621.18/1626.19 c #Conflicts: 1082000 | #Constraints: 40552
1621.18/1626.19 c #Conflicts: 1083000 | #Constraints: 41552
1621.18/1626.19 c INPROCESSING
1621.18/1626.19 c GARBAGE COLLECT
1621.18/1626.19 c rational objective 1.99997
1680.50/1685.61 c #Conflicts: 1084000 | #Constraints: 21810
1680.50/1685.61 c #Conflicts: 1085000 | #Constraints: 22810
1680.50/1685.61 c #Conflicts: 1086000 | #Constraints: 23817
1680.50/1685.61 c #Conflicts: 1087000 | #Constraints: 24898
1680.50/1685.61 c #Conflicts: 1088000 | #Constraints: 26000
1680.50/1685.61 c #Conflicts: 1089000 | #Constraints: 27100
1680.50/1685.61 c #Conflicts: 1090000 | #Constraints: 28235
1680.50/1685.61 c #Conflicts: 1091000 | #Constraints: 29354
1680.50/1685.61 c #Conflicts: 1092000 | #Constraints: 30507
1680.50/1685.61 c #Conflicts: 1093000 | #Constraints: 31621
1680.50/1685.61 c #Conflicts: 1094000 | #Constraints: 32734
1680.50/1685.61 c #Conflicts: 1095000 | #Constraints: 33857
1680.50/1685.61 c #Conflicts: 1096000 | #Constraints: 34986
1680.50/1685.61 c #Conflicts: 1097000 | #Constraints: 36112
1680.50/1685.61 c #Conflicts: 1098000 | #Constraints: 37266
1680.50/1685.61 c #Conflicts: 1099000 | #Constraints: 38411
1680.50/1685.61 c #Conflicts: 1100000 | #Constraints: 39522
1680.50/1685.61 c #Conflicts: 1101000 | #Constraints: 40629
1680.50/1685.61 c #Conflicts: 1102000 | #Constraints: 41733
1680.50/1685.61 c #Conflicts: 1103000 | #Constraints: 42847
1680.50/1685.61 c #Conflicts: 1104000 | #Constraints: 43961
1680.50/1685.61 c INPROCESSING
1680.50/1685.61 c GARBAGE COLLECT
1680.50/1685.61 c rational objective 1.99997
1734.66/1739.96 c #Conflicts: 1105000 | #Constraints: 23053
1734.66/1739.96 c #Conflicts: 1106000 | #Constraints: 24113
1734.66/1739.96 c #Conflicts: 1107000 | #Constraints: 25166
1734.66/1739.96 c #Conflicts: 1108000 | #Constraints: 26248
1734.66/1739.96 c #Conflicts: 1109000 | #Constraints: 27302
1734.66/1739.96 c #Conflicts: 1110000 | #Constraints: 28352
1734.66/1739.96 c #Conflicts: 1111000 | #Constraints: 29365
1734.66/1739.96 c #Conflicts: 1112000 | #Constraints: 30411
1734.66/1739.96 c #Conflicts: 1113000 | #Constraints: 31465
1734.66/1739.96 c #Conflicts: 1114000 | #Constraints: 32503
1734.66/1739.96 c #Conflicts: 1115000 | #Constraints: 33546
1734.66/1739.96 c #Conflicts: 1116000 | #Constraints: 34586
1734.66/1739.96 c #Conflicts: 1117000 | #Constraints: 35636
1734.66/1739.96 c #Conflicts: 1118000 | #Constraints: 36691
1734.66/1739.96 c #Conflicts: 1119000 | #Constraints: 37748
1734.66/1739.96 c #Conflicts: 1120000 | #Constraints: 38829
1734.66/1739.96 c #Conflicts: 1121000 | #Constraints: 39875
1734.66/1739.96 c #Conflicts: 1122000 | #Constraints: 40914
1734.66/1739.96 c #Conflicts: 1123000 | #Constraints: 41958
1734.66/1739.96 c #Conflicts: 1124000 | #Constraints: 42989
1734.66/1739.96 c #Conflicts: 1125000 | #Constraints: 44030
1734.66/1739.96 c INPROCESSING
1734.66/1739.96 c GARBAGE COLLECT
1734.66/1739.96 c rational objective 2.00044
1789.10/1794.54 c #Conflicts: 1126000 | #Constraints: 22941
1789.10/1794.54 c #Conflicts: 1127000 | #Constraints: 23965
1789.10/1794.54 c #Conflicts: 1128000 | #Constraints: 25009
1789.10/1794.54 c #Conflicts: 1129000 | #Constraints: 26061
1789.10/1794.54 c #Conflicts: 1130000 | #Constraints: 27077
1789.10/1794.54 c #Conflicts: 1131000 | #Constraints: 28091
1789.10/1794.54 c #Conflicts: 1132000 | #Constraints: 29094
1789.10/1794.54 c #Conflicts: 1133000 | #Constraints: 30094
1789.10/1794.54 c #Conflicts: 1134000 | #Constraints: 31094
1789.10/1794.54 c #Conflicts: 1135000 | #Constraints: 32094
1789.10/1794.54 c #Conflicts: 1136000 | #Constraints: 33095
1789.10/1794.54 c #Conflicts: 1137000 | #Constraints: 34095
1789.10/1794.54 c #Conflicts: 1138000 | #Constraints: 35095
1789.10/1794.54 c #Conflicts: 1139000 | #Constraints: 36095
1789.10/1794.54 c #Conflicts: 1140000 | #Constraints: 37095
1789.10/1794.54 c #Conflicts: 1141000 | #Constraints: 38095
1789.10/1794.54 c #Conflicts: 1142000 | #Constraints: 39117
1789.10/1794.54 c #Conflicts: 1143000 | #Constraints: 40151
1789.10/1794.54 c #Conflicts: 1144000 | #Constraints: 41159
1789.10/1794.54 c #Conflicts: 1145000 | #Constraints: 42191
1789.10/1794.54 c #Conflicts: 1146000 | #Constraints: 43233
1789.10/1794.54 c INPROCESSING
1789.10/1794.54 c GARBAGE COLLECT
1789.10/1794.54 c rational objective 1.99999
1841.06/1846.61 c #Conflicts: 1147000 | #Constraints: 22338
1841.06/1846.61 c #Conflicts: 1148000 | #Constraints: 23338
1841.06/1846.61 c #Conflicts: 1149000 | #Constraints: 24399
1841.06/1846.61 c #Conflicts: 1150000 | #Constraints: 25450
1841.06/1846.61 c #Conflicts: 1151000 | #Constraints: 26450
1841.06/1846.61 c #Conflicts: 1152000 | #Constraints: 27450
1841.06/1846.61 c #Conflicts: 1153000 | #Constraints: 28450
1841.06/1846.61 c #Conflicts: 1154000 | #Constraints: 29450
1841.06/1846.61 c #Conflicts: 1155000 | #Constraints: 30450
1841.06/1846.61 c #Conflicts: 1156000 | #Constraints: 31471
1841.06/1846.61 c #Conflicts: 1157000 | #Constraints: 32471
1841.06/1846.61 c #Conflicts: 1158000 | #Constraints: 33471
1841.06/1846.61 c #Conflicts: 1159000 | #Constraints: 34471
1841.06/1846.61 c #Conflicts: 1160000 | #Constraints: 35471
1841.06/1846.61 c #Conflicts: 1161000 | #Constraints: 36471
1841.06/1846.61 c #Conflicts: 1162000 | #Constraints: 37471
1841.06/1846.61 c #Conflicts: 1163000 | #Constraints: 38471
1841.06/1846.61 c #Conflicts: 1164000 | #Constraints: 39471
1841.06/1846.61 c #Conflicts: 1165000 | #Constraints: 40471
1841.06/1846.61 c #Conflicts: 1166000 | #Constraints: 41471
1841.06/1846.61 c #Conflicts: 1167000 | #Constraints: 42471
1841.06/1846.61 c #Conflicts: 1168000 | #Constraints: 43471
1841.06/1846.61 c INPROCESSING
1841.06/1846.61 c GARBAGE COLLECT
1841.06/1846.61 c rational objective 1.99895
1897.59/1903.34 c #Conflicts: 1169000 | #Constraints: 22687
1897.59/1903.34 c #Conflicts: 1170000 | #Constraints: 23687
1897.59/1903.34 c #Conflicts: 1171000 | #Constraints: 24687
1897.59/1903.34 c #Conflicts: 1172000 | #Constraints: 25687
1897.59/1903.34 c #Conflicts: 1173000 | #Constraints: 26692
1897.59/1903.34 c #Conflicts: 1174000 | #Constraints: 27692
1897.59/1903.34 c #Conflicts: 1175000 | #Constraints: 28704
1897.59/1903.34 c #Conflicts: 1176000 | #Constraints: 29704
1897.59/1903.34 c #Conflicts: 1177000 | #Constraints: 30704
1897.59/1903.34 c #Conflicts: 1178000 | #Constraints: 31706
1897.59/1903.34 c #Conflicts: 1179000 | #Constraints: 32706
1897.59/1903.34 c #Conflicts: 1180000 | #Constraints: 33715
1897.59/1903.34 c #Conflicts: 1181000 | #Constraints: 34728
1897.59/1903.34 c #Conflicts: 1182000 | #Constraints: 35728
1897.59/1903.34 c #Conflicts: 1183000 | #Constraints: 36728
1897.59/1903.34 c #Conflicts: 1184000 | #Constraints: 37728
1897.59/1903.34 c #Conflicts: 1185000 | #Constraints: 38728
1897.59/1903.34 c #Conflicts: 1186000 | #Constraints: 39728
1897.59/1903.34 c #Conflicts: 1187000 | #Constraints: 40728
1897.59/1903.34 c #Conflicts: 1188000 | #Constraints: 41728
1897.59/1903.34 c #Conflicts: 1189000 | #Constraints: 42728
1897.59/1903.34 c #Conflicts: 1190000 | #Constraints: 43728
1897.59/1903.34 c INPROCESSING
1897.59/1903.34 c GARBAGE COLLECT
1897.59/1903.34 c rational objective 1.99895
1961.27/1967.27 c #Conflicts: 1191000 | #Constraints: 22878
1961.27/1967.27 c #Conflicts: 1192000 | #Constraints: 23878
1961.27/1967.27 c #Conflicts: 1193000 | #Constraints: 24893
1961.27/1967.27 c #Conflicts: 1194000 | #Constraints: 26007
1961.27/1967.27 c #Conflicts: 1195000 | #Constraints: 27112
1961.27/1967.27 c #Conflicts: 1196000 | #Constraints: 28192
1961.27/1967.27 c #Conflicts: 1197000 | #Constraints: 29350
1961.27/1967.27 c #Conflicts: 1198000 | #Constraints: 30496
1961.27/1967.27 c #Conflicts: 1199000 | #Constraints: 31593
1961.27/1967.27 c #Conflicts: 1200000 | #Constraints: 32676
1961.27/1967.27 c #Conflicts: 1201000 | #Constraints: 33738
1961.27/1967.27 c #Conflicts: 1202000 | #Constraints: 34844
1961.27/1967.27 c #Conflicts: 1203000 | #Constraints: 35946
1961.27/1967.27 c #Conflicts: 1204000 | #Constraints: 37020
1961.27/1967.27 c #Conflicts: 1205000 | #Constraints: 38111
1961.27/1967.27 c #Conflicts: 1206000 | #Constraints: 39223
1961.27/1967.27 c #Conflicts: 1207000 | #Constraints: 40353
1961.27/1967.27 c #Conflicts: 1208000 | #Constraints: 41471
1961.27/1967.27 c #Conflicts: 1209000 | #Constraints: 42527
1961.27/1967.27 c #Conflicts: 1210000 | #Constraints: 43621
1961.27/1967.27 c #Conflicts: 1211000 | #Constraints: 44705
1961.27/1967.27 c #Conflicts: 1212000 | #Constraints: 45768
1961.27/1967.27 c INPROCESSING
1961.27/1967.27 c GARBAGE COLLECT
1961.27/1967.27 c rational objective 1.99895
2028.26/2034.49 c #Conflicts: 1213000 | #Constraints: 23969
2028.26/2034.49 c #Conflicts: 1214000 | #Constraints: 25028
2028.26/2034.49 c #Conflicts: 1215000 | #Constraints: 26084
2028.26/2034.49 c #Conflicts: 1216000 | #Constraints: 27149
2028.26/2034.49 c #Conflicts: 1217000 | #Constraints: 28248
2028.26/2034.49 c #Conflicts: 1218000 | #Constraints: 29323
2028.26/2034.49 c #Conflicts: 1219000 | #Constraints: 30417
2028.26/2034.49 c #Conflicts: 1220000 | #Constraints: 31521
2028.26/2034.49 c #Conflicts: 1221000 | #Constraints: 32595
2028.26/2034.49 c #Conflicts: 1222000 | #Constraints: 33695
2028.26/2034.49 c #Conflicts: 1223000 | #Constraints: 34780
2028.26/2034.49 c #Conflicts: 1224000 | #Constraints: 35879
2028.26/2034.49 c #Conflicts: 1225000 | #Constraints: 36969
2028.26/2034.49 c #Conflicts: 1226000 | #Constraints: 38066
2028.26/2034.49 c #Conflicts: 1227000 | #Constraints: 39168
2028.26/2034.49 c #Conflicts: 1228000 | #Constraints: 40278
2028.26/2034.49 c #Conflicts: 1229000 | #Constraints: 41382
2028.26/2034.49 c #Conflicts: 1230000 | #Constraints: 42458
2028.26/2034.49 c #Conflicts: 1231000 | #Constraints: 43578
2028.26/2034.49 c #Conflicts: 1232000 | #Constraints: 44675
2028.26/2034.49 c #Conflicts: 1233000 | #Constraints: 45771
2028.26/2034.49 c #Conflicts: 1234000 | #Constraints: 46886
2028.26/2034.49 c INPROCESSING
2028.26/2034.49 c GARBAGE COLLECT
2028.26/2034.49 c rational objective 1.99895
2092.77/2099.16 c #Conflicts: 1235000 | #Constraints: 24435
2092.77/2099.16 c #Conflicts: 1236000 | #Constraints: 25614
2092.77/2099.16 c #Conflicts: 1237000 | #Constraints: 26742
2092.77/2099.16 c #Conflicts: 1238000 | #Constraints: 27851
2092.77/2099.16 c #Conflicts: 1239000 | #Constraints: 28937
2092.77/2099.16 c #Conflicts: 1240000 | #Constraints: 30019
2092.77/2099.16 c #Conflicts: 1241000 | #Constraints: 31093
2092.77/2099.16 c #Conflicts: 1242000 | #Constraints: 32253
2092.77/2099.16 c #Conflicts: 1243000 | #Constraints: 33378
2092.77/2099.16 c #Conflicts: 1244000 | #Constraints: 34491
2092.77/2099.16 c #Conflicts: 1245000 | #Constraints: 35641
2092.77/2099.16 c #Conflicts: 1246000 | #Constraints: 36800
2092.77/2099.16 c #Conflicts: 1247000 | #Constraints: 37912
2092.77/2099.16 c #Conflicts: 1248000 | #Constraints: 39052
2092.77/2099.16 c #Conflicts: 1249000 | #Constraints: 40125
2092.77/2099.16 c #Conflicts: 1250000 | #Constraints: 41186
2092.77/2099.16 c #Conflicts: 1251000 | #Constraints: 42296
2092.77/2099.16 c #Conflicts: 1252000 | #Constraints: 43388
2092.77/2099.16 c #Conflicts: 1253000 | #Constraints: 44484
2092.77/2099.16 c #Conflicts: 1254000 | #Constraints: 45609
2092.77/2099.16 c #Conflicts: 1255000 | #Constraints: 46729
2092.77/2099.16 c #Conflicts: 1256000 | #Constraints: 47832
2092.77/2099.16 c INPROCESSING
2092.77/2099.16 c GARBAGE COLLECT
2092.77/2099.16 c rational objective 1.99895
2160.94/2167.52 c #Conflicts: 1257000 | #Constraints: 24662
2160.94/2167.52 c #Conflicts: 1258000 | #Constraints: 25737
2160.94/2167.52 c #Conflicts: 1259000 | #Constraints: 26796
2160.94/2167.52 c #Conflicts: 1260000 | #Constraints: 27876
2160.94/2167.52 c #Conflicts: 1261000 | #Constraints: 28904
2160.94/2167.52 c #Conflicts: 1262000 | #Constraints: 29975
2160.94/2167.52 c #Conflicts: 1263000 | #Constraints: 31065
2160.94/2167.52 c #Conflicts: 1264000 | #Constraints: 32143
2160.94/2167.52 c #Conflicts: 1265000 | #Constraints: 33218
2160.94/2167.52 c #Conflicts: 1266000 | #Constraints: 34322
2160.94/2167.52 c #Conflicts: 1267000 | #Constraints: 35434
2160.94/2167.52 c #Conflicts: 1268000 | #Constraints: 36555
2160.94/2167.52 c #Conflicts: 1269000 | #Constraints: 37625
2160.94/2167.52 c #Conflicts: 1270000 | #Constraints: 38657
2160.94/2167.52 c #Conflicts: 1271000 | #Constraints: 39699
2160.94/2167.52 c #Conflicts: 1272000 | #Constraints: 40730
2160.94/2167.52 c #Conflicts: 1273000 | #Constraints: 41775
2160.94/2167.52 c #Conflicts: 1274000 | #Constraints: 42811
2160.94/2167.52 c #Conflicts: 1275000 | #Constraints: 43894
2160.94/2167.52 c #Conflicts: 1276000 | #Constraints: 44948
2160.94/2167.52 c #Conflicts: 1277000 | #Constraints: 46018
2160.94/2167.52 c #Conflicts: 1278000 | #Constraints: 47147
2160.94/2167.52 c #Conflicts: 1279000 | #Constraints: 48225
2160.94/2167.52 c INPROCESSING
2160.94/2167.52 c GARBAGE COLLECT
2160.94/2167.52 c rational objective 1.99895
2231.82/2238.65 c #Conflicts: 1280000 | #Constraints: 25088
2231.82/2238.65 c #Conflicts: 1281000 | #Constraints: 26150
2231.82/2238.65 c #Conflicts: 1282000 | #Constraints: 27202
2231.82/2238.65 c #Conflicts: 1283000 | #Constraints: 28202
2231.82/2238.65 c #Conflicts: 1284000 | #Constraints: 29248
2231.82/2238.65 c #Conflicts: 1285000 | #Constraints: 30290
2231.82/2238.65 c #Conflicts: 1286000 | #Constraints: 31342
2231.82/2238.65 c #Conflicts: 1287000 | #Constraints: 32393
2231.82/2238.65 c #Conflicts: 1288000 | #Constraints: 33432
2231.82/2238.65 c #Conflicts: 1289000 | #Constraints: 34503
2231.82/2238.65 c #Conflicts: 1290000 | #Constraints: 35599
2231.82/2238.65 c #Conflicts: 1291000 | #Constraints: 36736
2231.82/2238.65 c #Conflicts: 1292000 | #Constraints: 37821
2231.82/2238.65 c #Conflicts: 1293000 | #Constraints: 38906
2231.82/2238.65 c #Conflicts: 1294000 | #Constraints: 40052
2231.82/2238.65 c #Conflicts: 1295000 | #Constraints: 41148
2231.82/2238.65 c #Conflicts: 1296000 | #Constraints: 42197
2231.82/2238.65 c #Conflicts: 1297000 | #Constraints: 43266
2231.82/2238.65 c #Conflicts: 1298000 | #Constraints: 44313
2231.82/2238.65 c #Conflicts: 1299000 | #Constraints: 45370
2231.82/2238.65 c #Conflicts: 1300000 | #Constraints: 46430
2231.82/2238.65 c #Conflicts: 1301000 | #Constraints: 47504
2231.82/2238.65 c #Conflicts: 1302000 | #Constraints: 48554
2231.82/2238.65 c INPROCESSING
2231.82/2238.65 c GARBAGE COLLECT
2231.82/2238.65 c rational objective 1.99895
2299.31/2306.35 c #Conflicts: 1303000 | #Constraints: 25306
2299.31/2306.35 c #Conflicts: 1304000 | #Constraints: 26319
2299.31/2306.35 c #Conflicts: 1305000 | #Constraints: 27355
2299.31/2306.35 c #Conflicts: 1306000 | #Constraints: 28376
2299.31/2306.35 c #Conflicts: 1307000 | #Constraints: 29376
2299.31/2306.35 c #Conflicts: 1308000 | #Constraints: 30376
2299.31/2306.35 c #Conflicts: 1309000 | #Constraints: 31376
2299.31/2306.35 c #Conflicts: 1310000 | #Constraints: 32376
2299.31/2306.35 c #Conflicts: 1311000 | #Constraints: 33376
2299.31/2306.35 c #Conflicts: 1312000 | #Constraints: 34376
2299.31/2306.35 c #Conflicts: 1313000 | #Constraints: 35376
2299.31/2306.35 c #Conflicts: 1314000 | #Constraints: 36376
2299.31/2306.35 c #Conflicts: 1315000 | #Constraints: 37376
2299.31/2306.35 c #Conflicts: 1316000 | #Constraints: 38376
2299.31/2306.35 c #Conflicts: 1317000 | #Constraints: 39376
2299.31/2306.35 c #Conflicts: 1318000 | #Constraints: 40376
2299.31/2306.35 c #Conflicts: 1319000 | #Constraints: 41376
2299.31/2306.35 c #Conflicts: 1320000 | #Constraints: 42376
2299.31/2306.35 c #Conflicts: 1321000 | #Constraints: 43376
2299.31/2306.35 c #Conflicts: 1322000 | #Constraints: 44376
2299.31/2306.35 c #Conflicts: 1323000 | #Constraints: 45376
2299.31/2306.35 c #Conflicts: 1324000 | #Constraints: 46376
2299.31/2306.35 c #Conflicts: 1325000 | #Constraints: 47376
2299.31/2306.35 c INPROCESSING
2299.31/2306.35 c GARBAGE COLLECT
2299.31/2306.35 c rational objective 1.99895
2363.29/2370.53 c #Conflicts: 1326000 | #Constraints: 24737
2363.29/2370.53 c #Conflicts: 1327000 | #Constraints: 25824
2363.29/2370.53 c #Conflicts: 1328000 | #Constraints: 26852
2363.29/2370.53 c #Conflicts: 1329000 | #Constraints: 27852
2363.29/2370.53 c #Conflicts: 1330000 | #Constraints: 28852
2363.29/2370.53 c #Conflicts: 1331000 | #Constraints: 29852
2363.29/2370.53 c #Conflicts: 1332000 | #Constraints: 30852
2363.29/2370.53 c #Conflicts: 1333000 | #Constraints: 31852
2363.29/2370.53 c #Conflicts: 1334000 | #Constraints: 32852
2363.29/2370.53 c #Conflicts: 1335000 | #Constraints: 33852
2363.29/2370.53 c #Conflicts: 1336000 | #Constraints: 34852
2363.29/2370.53 c #Conflicts: 1337000 | #Constraints: 35852
2363.29/2370.53 c #Conflicts: 1338000 | #Constraints: 36852
2363.29/2370.53 c #Conflicts: 1339000 | #Constraints: 37852
2363.29/2370.53 c #Conflicts: 1340000 | #Constraints: 38852
2363.29/2370.53 c #Conflicts: 1341000 | #Constraints: 39852
2363.29/2370.53 c #Conflicts: 1342000 | #Constraints: 40852
2363.29/2370.53 c #Conflicts: 1343000 | #Constraints: 41852
2363.29/2370.53 c #Conflicts: 1344000 | #Constraints: 42852
2363.29/2370.53 c #Conflicts: 1345000 | #Constraints: 43852
2363.29/2370.53 c #Conflicts: 1346000 | #Constraints: 44852
2363.29/2370.53 c #Conflicts: 1347000 | #Constraints: 45852
2363.29/2370.53 c #Conflicts: 1348000 | #Constraints: 46852
2363.29/2370.53 c INPROCESSING
2363.29/2370.53 c GARBAGE COLLECT
2363.29/2370.53 c rational objective 1.99895
2438.24/2445.77 c #Conflicts: 1349000 | #Constraints: 24424
2438.24/2445.77 c #Conflicts: 1350000 | #Constraints: 25568
2438.24/2445.77 c #Conflicts: 1351000 | #Constraints: 26746
2438.24/2445.77 c #Conflicts: 1352000 | #Constraints: 27887
2438.24/2445.77 c #Conflicts: 1353000 | #Constraints: 29058
2438.24/2445.77 c #Conflicts: 1354000 | #Constraints: 30202
2438.24/2445.77 c #Conflicts: 1355000 | #Constraints: 31326
2438.24/2445.77 c #Conflicts: 1356000 | #Constraints: 32485
2438.24/2445.77 c #Conflicts: 1357000 | #Constraints: 33648
2438.24/2445.77 c #Conflicts: 1358000 | #Constraints: 34795
2438.24/2445.77 c #Conflicts: 1359000 | #Constraints: 35940
2438.24/2445.77 c #Conflicts: 1360000 | #Constraints: 37049
2438.24/2445.77 c #Conflicts: 1361000 | #Constraints: 38160
2438.24/2445.77 c #Conflicts: 1362000 | #Constraints: 39269
2438.24/2445.77 c #Conflicts: 1363000 | #Constraints: 40391
2438.24/2445.77 c #Conflicts: 1364000 | #Constraints: 41488
2438.24/2445.77 c #Conflicts: 1365000 | #Constraints: 42603
2438.24/2445.77 c #Conflicts: 1366000 | #Constraints: 43693
2438.24/2445.77 c #Conflicts: 1367000 | #Constraints: 44785
2438.24/2445.77 c #Conflicts: 1368000 | #Constraints: 45902
2438.24/2445.77 c #Conflicts: 1369000 | #Constraints: 46981
2438.24/2445.77 c #Conflicts: 1370000 | #Constraints: 48070
2438.24/2445.77 c #Conflicts: 1371000 | #Constraints: 49179
2438.24/2445.77 c INPROCESSING
2438.24/2445.77 c GARBAGE COLLECT
2438.24/2445.77 c rational objective 1.99895
2518.88/2526.60 c #Conflicts: 1372000 | #Constraints: 25368
2518.88/2526.60 c #Conflicts: 1373000 | #Constraints: 26480
2518.88/2526.60 c #Conflicts: 1374000 | #Constraints: 27609
2518.88/2526.60 c #Conflicts: 1375000 | #Constraints: 28686
2518.88/2526.60 c #Conflicts: 1376000 | #Constraints: 29744
2518.88/2526.60 c #Conflicts: 1377000 | #Constraints: 30816
2518.88/2526.60 c #Conflicts: 1378000 | #Constraints: 31865
2518.88/2526.60 c #Conflicts: 1379000 | #Constraints: 32968
2518.88/2526.60 c #Conflicts: 1380000 | #Constraints: 34090
2518.88/2526.60 c #Conflicts: 1381000 | #Constraints: 35204
2518.88/2526.60 c #Conflicts: 1382000 | #Constraints: 36269
2518.88/2526.60 c #Conflicts: 1383000 | #Constraints: 37327
2518.88/2526.60 c #Conflicts: 1384000 | #Constraints: 38398
2518.88/2526.60 c #Conflicts: 1385000 | #Constraints: 39471
2518.88/2526.60 c #Conflicts: 1386000 | #Constraints: 40548
2518.88/2526.60 c #Conflicts: 1387000 | #Constraints: 41645
2518.88/2526.60 c #Conflicts: 1388000 | #Constraints: 42701
2518.88/2526.60 c #Conflicts: 1389000 | #Constraints: 43777
2518.88/2526.60 c #Conflicts: 1390000 | #Constraints: 44839
2518.88/2526.60 c #Conflicts: 1391000 | #Constraints: 45939
2518.88/2526.60 c #Conflicts: 1392000 | #Constraints: 47004
2518.88/2526.60 c #Conflicts: 1393000 | #Constraints: 48044
2518.88/2526.60 c #Conflicts: 1394000 | #Constraints: 49087
2518.88/2526.60 c #Conflicts: 1395000 | #Constraints: 50126
2518.88/2526.60 c INPROCESSING
2518.88/2526.60 c GARBAGE COLLECT
2518.88/2526.60 c rational objective 1.99895
2601.60/2609.66 c #Conflicts: 1396000 | #Constraints: 26042
2601.60/2609.66 c #Conflicts: 1397000 | #Constraints: 27082
2601.60/2609.66 c #Conflicts: 1398000 | #Constraints: 28082
2601.60/2609.66 c #Conflicts: 1399000 | #Constraints: 29082
2601.60/2609.66 c #Conflicts: 1400000 | #Constraints: 30082
2601.60/2609.66 c #Conflicts: 1401000 | #Constraints: 31082
2601.60/2609.66 c #Conflicts: 1402000 | #Constraints: 32082
2601.60/2609.66 c #Conflicts: 1403000 | #Constraints: 33082
2601.60/2609.66 c #Conflicts: 1404000 | #Constraints: 34082
2601.60/2609.66 c #Conflicts: 1405000 | #Constraints: 35082
2601.60/2609.66 c #Conflicts: 1406000 | #Constraints: 36101
2601.60/2609.66 c #Conflicts: 1407000 | #Constraints: 37141
2601.60/2609.66 c #Conflicts: 1408000 | #Constraints: 38176
2601.60/2609.66 c #Conflicts: 1409000 | #Constraints: 39212
2601.60/2609.66 c #Conflicts: 1410000 | #Constraints: 40253
2601.60/2609.66 c #Conflicts: 1411000 | #Constraints: 41282
2601.60/2609.66 c #Conflicts: 1412000 | #Constraints: 42322
2601.60/2609.66 c #Conflicts: 1413000 | #Constraints: 43353
2601.60/2609.66 c #Conflicts: 1414000 | #Constraints: 44388
2601.60/2609.66 c #Conflicts: 1415000 | #Constraints: 45420
2601.60/2609.66 c #Conflicts: 1416000 | #Constraints: 46459
2601.60/2609.66 c #Conflicts: 1417000 | #Constraints: 47506
2601.60/2609.66 c #Conflicts: 1418000 | #Constraints: 48547
2601.60/2609.66 c #Conflicts: 1419000 | #Constraints: 49668
2601.60/2609.66 c INPROCESSING
2601.60/2609.66 c GARBAGE COLLECT
2601.60/2609.66 c rational objective 1.99895
2677.25/2685.53 c #Conflicts: 1420000 | #Constraints: 25873
2677.25/2685.53 c #Conflicts: 1421000 | #Constraints: 26900
2677.25/2685.53 c #Conflicts: 1422000 | #Constraints: 27921
2677.25/2685.53 c #Conflicts: 1423000 | #Constraints: 28985
2677.25/2685.53 c #Conflicts: 1424000 | #Constraints: 30038
2677.25/2685.53 c #Conflicts: 1425000 | #Constraints: 31073
2677.25/2685.53 c #Conflicts: 1426000 | #Constraints: 32105
2677.25/2685.53 c #Conflicts: 1427000 | #Constraints: 33112
2677.25/2685.53 c #Conflicts: 1428000 | #Constraints: 34112
2677.25/2685.53 c #Conflicts: 1429000 | #Constraints: 35112
2677.25/2685.53 c #Conflicts: 1430000 | #Constraints: 36112
2677.25/2685.53 c #Conflicts: 1431000 | #Constraints: 37112
2677.25/2685.53 c #Conflicts: 1432000 | #Constraints: 38112
2677.25/2685.53 c #Conflicts: 1433000 | #Constraints: 39112
2677.25/2685.53 c #Conflicts: 1434000 | #Constraints: 40112
2677.25/2685.53 c #Conflicts: 1435000 | #Constraints: 41112
2677.25/2685.53 c #Conflicts: 1436000 | #Constraints: 42112
2677.25/2685.53 c #Conflicts: 1437000 | #Constraints: 43112
2677.25/2685.53 c #Conflicts: 1438000 | #Constraints: 44112
2677.25/2685.53 c #Conflicts: 1439000 | #Constraints: 45112
2677.25/2685.53 c #Conflicts: 1440000 | #Constraints: 46112
2677.25/2685.53 c #Conflicts: 1441000 | #Constraints: 47112
2677.25/2685.53 c #Conflicts: 1442000 | #Constraints: 48112
2677.25/2685.53 c #Conflicts: 1443000 | #Constraints: 49112
2677.25/2685.53 c INPROCESSING
2677.25/2685.53 c GARBAGE COLLECT
2677.25/2685.53 c rational objective 1.99895
2760.68/2769.22 c #Conflicts: 1444000 | #Constraints: 25666
2760.68/2769.22 c #Conflicts: 1445000 | #Constraints: 26762
2760.68/2769.22 c #Conflicts: 1446000 | #Constraints: 27845
2760.68/2769.22 c #Conflicts: 1447000 | #Constraints: 28932
2760.68/2769.22 c #Conflicts: 1448000 | #Constraints: 30015
2760.68/2769.22 c #Conflicts: 1449000 | #Constraints: 31209
2760.68/2769.22 c #Conflicts: 1450000 | #Constraints: 32352
2760.68/2769.22 c #Conflicts: 1451000 | #Constraints: 33510
2760.68/2769.22 c #Conflicts: 1452000 | #Constraints: 34661
2760.68/2769.22 c #Conflicts: 1453000 | #Constraints: 35819
2760.68/2769.22 c #Conflicts: 1454000 | #Constraints: 36954
2760.68/2769.22 c #Conflicts: 1455000 | #Constraints: 38074
2760.68/2769.22 c #Conflicts: 1456000 | #Constraints: 39204
2760.68/2769.22 c #Conflicts: 1457000 | #Constraints: 40347
2760.68/2769.22 c #Conflicts: 1458000 | #Constraints: 41473
2760.68/2769.22 c #Conflicts: 1459000 | #Constraints: 42582
2760.68/2769.22 c #Conflicts: 1460000 | #Constraints: 43746
2760.68/2769.22 c #Conflicts: 1461000 | #Constraints: 44859
2760.68/2769.22 c #Conflicts: 1462000 | #Constraints: 45946
2760.68/2769.22 c #Conflicts: 1463000 | #Constraints: 47041
2760.68/2769.22 c #Conflicts: 1464000 | #Constraints: 48102
2760.68/2769.22 c #Conflicts: 1465000 | #Constraints: 49184
2760.68/2769.22 c #Conflicts: 1466000 | #Constraints: 50278
2760.68/2769.22 c #Conflicts: 1467000 | #Constraints: 51391
2760.68/2769.22 c INPROCESSING
2760.68/2769.22 c GARBAGE COLLECT
2760.68/2769.22 c rational objective 1.99895
2852.88/2861.73 c #Conflicts: 1468000 | #Constraints: 26679
2852.88/2861.73 c #Conflicts: 1469000 | #Constraints: 27755
2852.88/2861.73 c #Conflicts: 1470000 | #Constraints: 28872
2852.88/2861.73 c #Conflicts: 1471000 | #Constraints: 29948
2852.88/2861.73 c #Conflicts: 1472000 | #Constraints: 31026
2852.88/2861.73 c #Conflicts: 1473000 | #Constraints: 32113
2852.88/2861.73 c #Conflicts: 1474000 | #Constraints: 33184
2852.88/2861.73 c #Conflicts: 1475000 | #Constraints: 34322
2852.88/2861.73 c #Conflicts: 1476000 | #Constraints: 35418
2852.88/2861.73 c #Conflicts: 1477000 | #Constraints: 36527
2852.88/2861.73 c #Conflicts: 1478000 | #Constraints: 37652
2852.88/2861.73 c #Conflicts: 1479000 | #Constraints: 38803
2852.88/2861.73 c #Conflicts: 1480000 | #Constraints: 39903
2852.88/2861.73 c #Conflicts: 1481000 | #Constraints: 41041
2852.88/2861.73 c #Conflicts: 1482000 | #Constraints: 42159
2852.88/2861.73 c #Conflicts: 1483000 | #Constraints: 43250
2852.88/2861.73 c #Conflicts: 1484000 | #Constraints: 44347
2852.88/2861.73 c #Conflicts: 1485000 | #Constraints: 45428
2852.88/2861.73 c #Conflicts: 1486000 | #Constraints: 46538
2852.88/2861.73 c #Conflicts: 1487000 | #Constraints: 47611
2852.88/2861.73 c #Conflicts: 1488000 | #Constraints: 48704
2852.88/2861.73 c #Conflicts: 1489000 | #Constraints: 49805
2852.88/2861.73 c #Conflicts: 1490000 | #Constraints: 50954
2852.88/2861.73 c #Conflicts: 1491000 | #Constraints: 52033
2852.88/2861.73 c INPROCESSING
2852.88/2861.73 c GARBAGE COLLECT
2852.88/2861.73 c rational objective 1.99899
2937.23/2946.37 c #Conflicts: 1492000 | #Constraints: 26755
2937.23/2946.37 c #Conflicts: 1493000 | #Constraints: 27811
2937.23/2946.37 c #Conflicts: 1494000 | #Constraints: 28873
2937.23/2946.37 c #Conflicts: 1495000 | #Constraints: 29956
2937.23/2946.37 c #Conflicts: 1496000 | #Constraints: 31058
2937.23/2946.37 c #Conflicts: 1497000 | #Constraints: 32108
2937.23/2946.37 c #Conflicts: 1498000 | #Constraints: 33202
2937.23/2946.37 c #Conflicts: 1499000 | #Constraints: 34274
2937.23/2946.37 c #Conflicts: 1500000 | #Constraints: 35339
2937.23/2946.37 c #Conflicts: 1501000 | #Constraints: 36394
2937.23/2946.37 c #Conflicts: 1502000 | #Constraints: 37455
2937.23/2946.37 c #Conflicts: 1503000 | #Constraints: 38511
2937.23/2946.37 c #Conflicts: 1504000 | #Constraints: 39569
2937.23/2946.37 c #Conflicts: 1505000 | #Constraints: 40634
2937.23/2946.37 c #Conflicts: 1506000 | #Constraints: 41767
2937.23/2946.37 c #Conflicts: 1507000 | #Constraints: 42829
2937.23/2946.37 c #Conflicts: 1508000 | #Constraints: 43906
2937.23/2946.37 c #Conflicts: 1509000 | #Constraints: 44978
2937.23/2946.37 c #Conflicts: 1510000 | #Constraints: 46077
2937.23/2946.37 c #Conflicts: 1511000 | #Constraints: 47078
2937.23/2946.37 c #Conflicts: 1512000 | #Constraints: 48134
2937.23/2946.37 c #Conflicts: 1513000 | #Constraints: 49189
2937.23/2946.37 c #Conflicts: 1514000 | #Constraints: 50289
2937.23/2946.37 c #Conflicts: 1515000 | #Constraints: 51362
2937.23/2946.37 c #Conflicts: 1516000 | #Constraints: 52437
2937.23/2946.37 c INPROCESSING
2937.23/2946.37 c GARBAGE COLLECT
2937.23/2946.37 c rational objective 2.00816
3023.86/3033.28 c #Conflicts: 1517000 | #Constraints: 27219
3023.86/3033.28 c #Conflicts: 1518000 | #Constraints: 28300
3023.86/3033.28 c #Conflicts: 1519000 | #Constraints: 29392
3023.86/3033.28 c #Conflicts: 1520000 | #Constraints: 30571
3023.86/3033.28 c #Conflicts: 1521000 | #Constraints: 31687
3023.86/3033.28 c #Conflicts: 1522000 | #Constraints: 32794
3023.86/3033.28 c #Conflicts: 1523000 | #Constraints: 33895
3023.86/3033.28 c #Conflicts: 1524000 | #Constraints: 35036
3023.86/3033.28 c #Conflicts: 1525000 | #Constraints: 36144
3023.86/3033.28 c #Conflicts: 1526000 | #Constraints: 37217
3023.86/3033.28 c #Conflicts: 1527000 | #Constraints: 38309
3023.86/3033.28 c #Conflicts: 1528000 | #Constraints: 39309
3023.86/3033.28 c #Conflicts: 1529000 | #Constraints: 40309
3023.86/3033.28 c #Conflicts: 1530000 | #Constraints: 41309
3023.86/3033.28 c #Conflicts: 1531000 | #Constraints: 42309
3023.86/3033.28 c #Conflicts: 1532000 | #Constraints: 43309
3023.86/3033.28 c #Conflicts: 1533000 | #Constraints: 44309
3023.86/3033.28 c #Conflicts: 1534000 | #Constraints: 45309
3023.86/3033.28 c #Conflicts: 1535000 | #Constraints: 46360
3023.86/3033.28 c #Conflicts: 1536000 | #Constraints: 47449
3023.86/3033.28 c #Conflicts: 1537000 | #Constraints: 48541
3023.86/3033.28 c #Conflicts: 1538000 | #Constraints: 49647
3023.86/3033.28 c #Conflicts: 1539000 | #Constraints: 50748
3023.86/3033.28 c #Conflicts: 1540000 | #Constraints: 51874
3023.86/3033.28 c #Conflicts: 1541000 | #Constraints: 52984
3023.86/3033.28 c INPROCESSING
3023.86/3033.28 c GARBAGE COLLECT
3023.86/3033.28 c rational objective 2.21162
3114.17/3123.81 c #Conflicts: 1542000 | #Constraints: 27558
3114.17/3123.81 c #Conflicts: 1543000 | #Constraints: 28634
3114.17/3123.81 c #Conflicts: 1544000 | #Constraints: 29749
3114.17/3123.81 c #Conflicts: 1545000 | #Constraints: 30883
3114.17/3123.81 c #Conflicts: 1546000 | #Constraints: 31992
3114.17/3123.81 c #Conflicts: 1547000 | #Constraints: 33057
3114.17/3123.81 c #Conflicts: 1548000 | #Constraints: 34117
3114.17/3123.81 c #Conflicts: 1549000 | #Constraints: 35204
3114.17/3123.81 c #Conflicts: 1550000 | #Constraints: 36364
3114.17/3123.81 c #Conflicts: 1551000 | #Constraints: 37450
3114.17/3123.81 c #Conflicts: 1552000 | #Constraints: 38644
3114.17/3123.81 c #Conflicts: 1553000 | #Constraints: 39839
3114.17/3123.81 c #Conflicts: 1554000 | #Constraints: 41004
3114.17/3123.81 c #Conflicts: 1555000 | #Constraints: 42201
3114.17/3123.81 c #Conflicts: 1556000 | #Constraints: 43341
3114.17/3123.81 c #Conflicts: 1557000 | #Constraints: 44499
3114.17/3123.81 c #Conflicts: 1558000 | #Constraints: 45650
3114.17/3123.81 c #Conflicts: 1559000 | #Constraints: 46841
3114.17/3123.81 c #Conflicts: 1560000 | #Constraints: 48022
3114.17/3123.81 c #Conflicts: 1561000 | #Constraints: 49205
3114.17/3123.81 c #Conflicts: 1562000 | #Constraints: 50437
3114.17/3123.81 c #Conflicts: 1563000 | #Constraints: 51666
3114.17/3123.81 c #Conflicts: 1564000 | #Constraints: 52858
3114.17/3123.81 c #Conflicts: 1565000 | #Constraints: 54065
3114.17/3123.81 c #Conflicts: 1566000 | #Constraints: 55255
3114.17/3123.81 c INPROCESSING
3114.17/3123.81 c GARBAGE COLLECT
3114.17/3123.81 c rational objective 2.33509
3214.76/3224.78 c #Conflicts: 1567000 | #Constraints: 28687
3214.76/3224.78 c #Conflicts: 1568000 | #Constraints: 29727
3214.76/3224.78 c #Conflicts: 1569000 | #Constraints: 30802
3214.76/3224.78 c #Conflicts: 1570000 | #Constraints: 31867
3214.76/3224.78 c #Conflicts: 1571000 | #Constraints: 32989
3214.76/3224.78 c #Conflicts: 1572000 | #Constraints: 34066
3214.76/3224.78 c #Conflicts: 1573000 | #Constraints: 35119
3214.76/3224.78 c #Conflicts: 1574000 | #Constraints: 36192
3214.76/3224.78 c #Conflicts: 1575000 | #Constraints: 37448
3214.76/3224.78 c #Conflicts: 1576000 | #Constraints: 38466
3214.76/3224.78 c #Conflicts: 1577000 | #Constraints: 39507
3214.76/3224.78 c #Conflicts: 1578000 | #Constraints: 40536
3214.76/3224.78 c #Conflicts: 1579000 | #Constraints: 41586
3214.76/3224.78 c #Conflicts: 1580000 | #Constraints: 42619
3214.76/3224.78 c #Conflicts: 1581000 | #Constraints: 43659
3214.76/3224.78 c #Conflicts: 1582000 | #Constraints: 44704
3214.76/3224.78 c #Conflicts: 1583000 | #Constraints: 45741
3214.76/3224.78 c #Conflicts: 1584000 | #Constraints: 46778
3214.76/3224.78 c #Conflicts: 1585000 | #Constraints: 47836
3214.76/3224.78 c #Conflicts: 1586000 | #Constraints: 48902
3214.76/3224.78 c #Conflicts: 1587000 | #Constraints: 49939
3214.76/3224.78 c #Conflicts: 1588000 | #Constraints: 50987
3214.76/3224.78 c #Conflicts: 1589000 | #Constraints: 52025
3214.76/3224.78 c #Conflicts: 1590000 | #Constraints: 53082
3214.76/3224.78 c #Conflicts: 1591000 | #Constraints: 54129
3214.76/3224.78 c INPROCESSING
3214.76/3224.78 c GARBAGE COLLECT
3214.76/3224.78 c rational objective 2.15646
3303.38/3313.65 c #Conflicts: 1592000 | #Constraints: 28008
3303.38/3313.65 c #Conflicts: 1593000 | #Constraints: 29063
3303.38/3313.65 c #Conflicts: 1594000 | #Constraints: 30106
3303.38/3313.65 c #Conflicts: 1595000 | #Constraints: 31152
3303.38/3313.65 c #Conflicts: 1596000 | #Constraints: 32198
3303.38/3313.65 c #Conflicts: 1597000 | #Constraints: 33228
3303.38/3313.65 c #Conflicts: 1598000 | #Constraints: 34254
3303.38/3313.65 c #Conflicts: 1599000 | #Constraints: 35300
3303.38/3313.65 c #Conflicts: 1600000 | #Constraints: 36341
3303.38/3313.65 c #Conflicts: 1601000 | #Constraints: 37407
3303.38/3313.65 c #Conflicts: 1602000 | #Constraints: 38416
3303.38/3313.65 c #Conflicts: 1603000 | #Constraints: 39416
3303.38/3313.65 c #Conflicts: 1604000 | #Constraints: 40421
3303.38/3313.65 c #Conflicts: 1605000 | #Constraints: 41421
3303.38/3313.65 c #Conflicts: 1606000 | #Constraints: 42421
3303.38/3313.65 c #Conflicts: 1607000 | #Constraints: 43421
3303.38/3313.65 c #Conflicts: 1608000 | #Constraints: 44421
3303.38/3313.65 c #Conflicts: 1609000 | #Constraints: 45421
3303.38/3313.65 c #Conflicts: 1610000 | #Constraints: 46421
3303.38/3313.65 c #Conflicts: 1611000 | #Constraints: 47421
3303.38/3313.65 c #Conflicts: 1612000 | #Constraints: 48421
3303.38/3313.65 c #Conflicts: 1613000 | #Constraints: 49421
3303.38/3313.65 c #Conflicts: 1614000 | #Constraints: 50421
3303.38/3313.65 c #Conflicts: 1615000 | #Constraints: 51421
3303.38/3313.65 c #Conflicts: 1616000 | #Constraints: 52421
3303.38/3313.65 c INPROCESSING
3303.38/3313.65 c GARBAGE COLLECT
3303.38/3313.65 c rational objective 2.25405
3399.18/3409.74 c #Conflicts: 1617000 | #Constraints: 26918
3399.18/3409.74 c #Conflicts: 1618000 | #Constraints: 27961
3399.18/3409.74 c #Conflicts: 1619000 | #Constraints: 29015
3399.18/3409.74 c #Conflicts: 1620000 | #Constraints: 30100
3399.18/3409.74 c #Conflicts: 1621000 | #Constraints: 31117
3399.18/3409.74 c #Conflicts: 1622000 | #Constraints: 32117
3399.18/3409.74 c #Conflicts: 1623000 | #Constraints: 33117
3399.18/3409.74 c #Conflicts: 1624000 | #Constraints: 34148
3399.18/3409.74 c #Conflicts: 1625000 | #Constraints: 35182
3399.18/3409.74 c #Conflicts: 1626000 | #Constraints: 36235
3399.18/3409.74 c #Conflicts: 1627000 | #Constraints: 37245
3399.18/3409.74 c #Conflicts: 1628000 | #Constraints: 38245
3399.18/3409.74 c #Conflicts: 1629000 | #Constraints: 39289
3399.18/3409.74 c #Conflicts: 1630000 | #Constraints: 40327
3399.18/3409.74 c #Conflicts: 1631000 | #Constraints: 41370
3399.18/3409.74 c #Conflicts: 1632000 | #Constraints: 42420
3399.18/3409.74 c #Conflicts: 1633000 | #Constraints: 43468
3399.18/3409.74 c #Conflicts: 1634000 | #Constraints: 44511
3399.18/3409.74 c #Conflicts: 1635000 | #Constraints: 45552
3399.18/3409.74 c #Conflicts: 1636000 | #Constraints: 46564
3399.18/3409.74 c #Conflicts: 1637000 | #Constraints: 47564
3399.18/3409.74 c #Conflicts: 1638000 | #Constraints: 48564
3399.18/3409.74 c #Conflicts: 1639000 | #Constraints: 49564
3399.18/3409.74 c #Conflicts: 1640000 | #Constraints: 50564
3399.18/3409.74 c #Conflicts: 1641000 | #Constraints: 51564
3399.18/3409.74 c #Conflicts: 1642000 | #Constraints: 52564
3399.18/3409.74 c INPROCESSING
3399.18/3409.74 c GARBAGE COLLECT
3399.18/3409.74 c rational objective 2.26744
3482.72/3493.53 c #Conflicts: 1643000 | #Constraints: 27218
3482.72/3493.53 c #Conflicts: 1644000 | #Constraints: 28241
3482.72/3493.53 c #Conflicts: 1645000 | #Constraints: 29287
3482.72/3493.53 c #Conflicts: 1646000 | #Constraints: 30331
3482.72/3493.53 c #Conflicts: 1647000 | #Constraints: 31341
3482.72/3493.53 c #Conflicts: 1648000 | #Constraints: 32378
3482.72/3493.53 c #Conflicts: 1649000 | #Constraints: 33384
3482.72/3493.53 c #Conflicts: 1650000 | #Constraints: 34384
3482.72/3493.53 c #Conflicts: 1651000 | #Constraints: 35434
3482.72/3493.53 c #Conflicts: 1652000 | #Constraints: 36474
3482.72/3493.53 c #Conflicts: 1653000 | #Constraints: 37518
3482.72/3493.53 c #Conflicts: 1654000 | #Constraints: 38556
3482.72/3493.53 c #Conflicts: 1655000 | #Constraints: 39596
3482.72/3493.53 c #Conflicts: 1656000 | #Constraints: 40617
3482.72/3493.53 c #Conflicts: 1657000 | #Constraints: 41669
3482.72/3493.53 c #Conflicts: 1658000 | #Constraints: 42738
3482.72/3493.53 c #Conflicts: 1659000 | #Constraints: 43775
3482.72/3493.53 c #Conflicts: 1660000 | #Constraints: 44839
3482.72/3493.53 c #Conflicts: 1661000 | #Constraints: 45885
3482.72/3493.53 c #Conflicts: 1662000 | #Constraints: 46927
3482.72/3493.53 c #Conflicts: 1663000 | #Constraints: 47973
3482.72/3493.53 c #Conflicts: 1664000 | #Constraints: 49015
3482.72/3493.53 c #Conflicts: 1665000 | #Constraints: 50054
3482.72/3493.53 c #Conflicts: 1666000 | #Constraints: 51084
3482.72/3493.53 c #Conflicts: 1667000 | #Constraints: 52125
3482.72/3493.53 c #Conflicts: 1668000 | #Constraints: 53165
3482.72/3493.53 c INPROCESSING
3482.72/3493.53 c GARBAGE COLLECT
3482.72/3493.53 c rational objective 2.26744
3570.75/3581.81 c #Conflicts: 1669000 | #Constraints: 27597
3570.75/3581.81 c #Conflicts: 1670000 | #Constraints: 28628
3570.75/3581.81 c #Conflicts: 1671000 | #Constraints: 29677
3570.75/3581.81 c #Conflicts: 1672000 | #Constraints: 30711
3570.75/3581.81 c #Conflicts: 1673000 | #Constraints: 31738
3570.75/3581.81 c #Conflicts: 1674000 | #Constraints: 32774
3570.75/3581.81 c #Conflicts: 1675000 | #Constraints: 33792
3570.75/3581.81 c #Conflicts: 1676000 | #Constraints: 34822
3570.75/3581.81 c #Conflicts: 1677000 | #Constraints: 35868
3570.75/3581.81 c #Conflicts: 1678000 | #Constraints: 36907
3570.75/3581.81 c #Conflicts: 1679000 | #Constraints: 37971
3570.75/3581.81 c #Conflicts: 1680000 | #Constraints: 39009
3570.75/3581.81 c #Conflicts: 1681000 | #Constraints: 40049
3570.75/3581.81 c #Conflicts: 1682000 | #Constraints: 41072
3570.75/3581.81 c #Conflicts: 1683000 | #Constraints: 42106
3570.75/3581.81 c #Conflicts: 1684000 | #Constraints: 43138
3570.75/3581.81 c #Conflicts: 1685000 | #Constraints: 44172
3570.75/3581.81 c #Conflicts: 1686000 | #Constraints: 45230
3570.75/3581.81 c #Conflicts: 1687000 | #Constraints: 46263
3570.75/3581.81 c #Conflicts: 1688000 | #Constraints: 47283
3570.75/3581.81 c #Conflicts: 1689000 | #Constraints: 48317
3570.75/3581.81 c #Conflicts: 1690000 | #Constraints: 49366
3570.75/3581.81 c #Conflicts: 1691000 | #Constraints: 50390
3570.75/3581.81 c #Conflicts: 1692000 | #Constraints: 51430
3570.75/3581.81 c #Conflicts: 1693000 | #Constraints: 52467
3570.75/3581.81 c #Conflicts: 1694000 | #Constraints: 53487
3570.75/3581.81 c INPROCESSING
3570.75/3581.81 c GARBAGE COLLECT
3570.75/3581.81 c rational objective 2.00582
3600.06/3611.20 c #Conflicts: 1695000 | #Constraints: 27747
3600.06/3611.20 c #Conflicts: 1696000 | #Constraints: 28747
3600.06/3611.20 c #Conflicts: 1697000 | #Constraints: 29808
3600.06/3611.20 c #Conflicts: 1698000 | #Constraints: 30856
3600.06/3611.20 c #Conflicts: 1699000 | #Constraints: 31856
3600.06/3611.20 c #Conflicts: 1700000 | #Constraints: 32856
3600.06/3611.20 c #Conflicts: 1701000 | #Constraints: 33856
3600.06/3611.20 c #Conflicts: 1702000 | #Constraints: 34856
3600.06/3611.20 c #Conflicts: 1703000 | #Constraints: 35856
3600.06/3611.20 c cpu time 3588.03 s
3600.06/3611.20 c deterministic time 1011781833789 1.01e+12
3600.06/3611.20 c optimization time 29.1084 s
3600.06/3611.20 c total solve time 3558.92 s
3600.06/3611.20 c core-guided solve time 0 s
3600.06/3611.20 c propagation time 3389.05 s
3600.06/3611.20 c conflict analysis time 173.301 s
3600.06/3611.20 c propagations 10587552
3600.06/3611.20 c resolve steps 4715154
3600.06/3611.20 c decisions 2137586
3600.06/3611.20 c conflicts 1703945
3600.06/3611.20 c restarts 3259
3600.06/3611.20 c inprocessing phases 121
3600.06/3611.20 c garbage collections 121 ,( 100.00 )
3600.06/3611.20 c input clauses 0 ,( 0.00 )
3600.06/3611.20 c input cardinalities 0 ,( 0.00 )
3600.06/3611.20 c input general constraints 2 ,( 100.00 )
3600.06/3611.20 c input average constraint length 86.00
3600.06/3611.20 c input average constraint degree 139154376.00
3600.06/3611.20 c learned clauses 1042290 ,( 58.20 )
3600.06/3611.20 c learned cardinalities 24 ,( 0.00 )
3600.06/3611.20 c learned general constraints 748670 ,( 41.80 )
3600.06/3611.20 c learned average constraint length 73.20
3600.06/3611.20 c learned average constraint degree 54617650.28
3600.06/3611.20 c watched CF 32, 64, 128, Arb: 364891 , 0 , 0 , 0
3600.06/3611.20 c counting CF 32, 64, 128, Arb: 383781 , 0 , 0 , 0
3600.06/3611.20 c watched constraints 364891 ,( 48.74 )
3600.06/3611.20 c counting constraints 383781 ,( 51.26 )
3600.06/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 58980284 , 25401 , 52003557292 ,( 437422777 , 51566134515 )
3600.06/3611.20 c gcd simplifications 1113568
3600.06/3611.20 c detected cardinalities 24
3600.06/3611.20 c weakened non-implied lits 4750122
3600.06/3611.20 c weakened non-implying lits 1441527
3600.06/3611.20 c original variables 86
3600.06/3611.20 c clausal propagations 89797
3600.06/3611.20 c cardinality propagations 103
3600.06/3611.20 c watched propagations 883706
3600.06/3611.20 c counting propagations 7614613
3600.06/3611.20 c watch lookups 54959925305
3600.06/3611.20 c watch backjump lookups 0
3600.06/3611.20 c watch checks 4641587718
3600.06/3611.20 c propagation checks 951635106823
3600.06/3611.20 c constraint additions 517887158
3600.06/3611.20 c trail pops 14428997
3600.06/3611.20 c formula constraints 2
3600.06/3611.20 c learned constraints 1703944
3600.06/3611.20 c bound constraints 0
3600.06/3611.20 c core-guided constraints 0
3600.06/3611.20 c encountered formula constraints 3780955
3600.06/3611.20 c encountered learned constraints 2638119
3600.06/3611.20 c encountered bound constraints 0
3600.06/3611.20 c encountered core-guided constraints 0
3600.06/3611.20 c LP total time 24.6548 s
3600.06/3611.20 c LP solve time 13.36 s
3600.06/3611.20 c LP constraints added 140
3600.06/3611.20 c LP constraints removed 130
3600.06/3611.20 c LP pivots internal 170396
3600.06/3611.20 c LP pivots root 2253
3600.06/3611.20 c LP calls 131240
3600.06/3611.20 c LP optimalities 43845
3600.06/3611.20 c LP no pivot count 6877
3600.06/3611.20 c LP infeasibilities 87317
3600.06/3611.20 c LP valid Farkas constraints 86947
3600.06/3611.20 c LP learned Farkas constraints 0
3600.06/3611.20 c LP basis resets 78
3600.06/3611.20 c LP cycling count 25
3600.06/3611.20 c LP singular count 52
3600.06/3611.20 c LP no primal count 0
3600.06/3611.20 c LP no farkas count 0
3600.06/3611.20 c LP other issue count 1
3600.06/3611.20 c LP Gomory cuts 93
3600.06/3611.20 c LP learned cuts 45
3600.06/3611.20 c LP deleted cuts 130
3600.06/3611.20 c LP encountered Gomory constraints 20
3600.06/3611.20 c LP encountered Farkas constraints 5
3600.06/3611.20 c LP encountered learned Farkas constraints 0
3600.06/3611.20 c CG auxiliary variables introduced 0
3600.06/3611.20 c CG solutions found 0
3600.06/3611.20 c CG cores constructed 0
3600.06/3611.20 c CG core cardinality constraints returned 0
3600.06/3611.20 c CG unit cores 0
3600.06/3611.20 c CG single cores 0
3600.06/3611.20 c CG blocks removed during cardinality reduction 0
3600.06/3611.20 c CG first core best 0
3600.06/3611.20 c CG decision core best 0
3600.06/3611.20 c CG core reduction tie 0
3600.06/3611.20 c CG core degree average 0.00
3600.06/3611.20 c CG core slack average 0.00
3600.06/3611.20 c CG core upper bound improvements 0
3600.06/3611.20 c STR number of successful calls 0
3600.06/3611.20 c STR number of unsuccessful calls 0
3600.06/3611.20 c STR number of inconclusive calls 0
3600.06/3611.20 c STR number of successful attempts 0
3600.06/3611.20 c STR number of unsuccessful attempts 0
3600.06/3611.20 c STR number of inconclusive attempts 0
3600.06/3611.20 c STR average degree increase per successful call inf
3600.06/3611.20 c STR average degree increase per successful attempt inf
3600.06/3611.20 c STR total number of conflicts for successful attempts 0
3600.06/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.06/3611.20 c STR average number of conflicts per successful attempt inf
3600.06/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.06/3611.20 c AVG.sumWPerc 43.31
3600.06/3611.20 c bigint constraints 0
3600.06/3611.20 s UNKNOWN
3600.06/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: 63708 MiB (63140 MiB free)
memory of node 1: 64465 MiB (63917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496036-1751159808/watcher-4496036-1751159808 -o /tmp/evaluation-result-4496036-1751159808/solver-4496036-1751159808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16841 --watchdog 3760 run-dec.sh HOME/instance-4496036-1751159808.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=16989, runsolver pid=16986
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.82 1.03 1.29 6/269 16997
/proc/meminfo: memFree=130102948/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=56344 memory=13268 CPUtime=0.08 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 672 0 0 0 8 0 0 0 20 0 1 0 31658707 57696256 3317 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 14086 3317 2368 1147 0 1513 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60536 KiB
Current children cumulated memory: 16340 KiB
[startup+0.204703 s]*
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130100936/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=57168 memory=14036 CPUtime=0.19 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 857 0 0 0 18 1 0 0 20 0 1 0 31658707 58540032 3509 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 14292 3509 2368 1147 0 1719 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61360 KiB
Current children cumulated memory: 17108 KiB
[startup+0.304759 s]*
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130100684/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=57312 memory=14164 CPUtime=0.28 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 891 0 0 0 27 1 0 0 20 0 1 0 31658707 58687488 3541 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 14328 3541 2368 1147 0 1755 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61504 KiB
Current children cumulated memory: 17236 KiB
[startup+0.700124 s]
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130098668/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=58308 memory=15188 CPUtime=0.68 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 1144 0 0 0 65 3 0 0 20 0 1 0 31658707 59707392 3797 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 14577 3797 2368 1147 0 2004 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62500 KiB
Current children cumulated memory: 18260 KiB
[startup+1.50013 s]
/proc/loadavg: 0.82 1.03 1.29 5/269 16997
/proc/meminfo: memFree=130094452/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=59300 memory=17968 CPUtime=1.47 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 1335 0 0 0 142 5 0 0 20 0 1 0 31658707 60723200 4492 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 14825 4492 2368 1147 0 2252 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63492 KiB
Current children cumulated memory: 21040 KiB
[startup+3.10528 s]
/proc/loadavg: 1.08 1.08 1.31 5/269 16997
/proc/meminfo: memFree=130090312/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=60932 memory=19504 CPUtime=3.07 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 1724 0 0 0 299 8 0 0 20 0 1 0 31658707 62394368 4876 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 15233 4876 2368 1147 0 2660 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65124 KiB
Current children cumulated memory: 22576 KiB
[startup+6.30012 s]
/proc/loadavg: 1.08 1.08 1.31 5/269 16997
/proc/meminfo: memFree=130080780/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=63588 memory=21680 CPUtime=6.26 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 2272 0 0 0 611 15 0 0 20 0 1 0 31658707 65114112 5420 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 15897 5420 2368 1147 0 3324 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67780 KiB
Current children cumulated memory: 24752 KiB
[startup+12.7001 s]
/proc/loadavg: 1.60 1.19 1.34 5/269 16997
/proc/meminfo: memFree=130073220/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=69076 memory=25520 CPUtime=12.64 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 3130 0 1 0 1242 22 0 0 20 0 1 0 31658707 70733824 6380 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 17269 6380 2464 1147 0 4696 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 73268 KiB
Current children cumulated memory: 28592 KiB
[startup+25.5001 s]
/proc/loadavg: 1.97 1.28 1.37 5/269 16997
/proc/meminfo: memFree=130069212/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=72764 memory=28976 CPUtime=25.41 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 4001 0 1 0 2505 36 0 0 20 0 1 0 31658707 74510336 7244 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 18191 7244 2464 1147 0 5618 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76956 KiB
Current children cumulated memory: 32048 KiB
[startup+51.1055 s]
/proc/loadavg: 2.66 1.50 1.44 5/271 17000
/proc/meminfo: memFree=130053092/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=79016 memory=32688 CPUtime=50.94 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 4981 0 1 0 5035 59 0 0 20 0 1 0 31658707 80912384 8172 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 19754 8172 2464 1147 0 7181 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 83208 KiB
Current children cumulated memory: 35760 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 1.97 1.61 5/271 17002
/proc/meminfo: memFree=130004576/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=87140 memory=40012 CPUtime=101.99 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 7206 0 1 0 10100 99 0 0 20 0 1 0 31658707 89231360 10003 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 21785 10003 2464 1147 0 9212 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 91332 KiB
Current children cumulated memory: 43084 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.36 1.77 5/270 17006
/proc/meminfo: memFree=129964952/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=97928 memory=47428 CPUtime=161.78 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 8968 0 1 0 16047 131 0 0 20 0 1 0 31658707 100278272 11857 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 24482 11857 2464 1147 0 11909 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 102120 KiB
Current children cumulated memory: 50500 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.68 1.91 5/271 17013
/proc/meminfo: memFree=129964664/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=98732 memory=50040 CPUtime=221.59 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 9337 0 1 0 21995 164 0 0 20 0 1 0 31658707 101101568 12510 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 24683 12510 2464 1147 0 12110 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/loadavg: 4.07 4.10 4.02 5/268 17670
/proc/meminfo: memFree=129405084/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=141600 memory=96160 CPUtime=3032.92 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 20999 0 1 0 302205 1087 0 0 20 0 1 0 31658707 144998400 24040 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 35400 24040 2464 1147 0 22827 0
Current children cumulated CPU time: 3032.92 s
Current children cumulated vsize: 145792 KiB
Current children cumulated memory: 99232 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/268 17672
/proc/meminfo: memFree=129404988/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=141600 memory=96160 CPUtime=3092.74 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 20999 0 1 0 308175 1099 0 0 20 0 1 0 31658707 144998400 24040 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 35400 24040 2464 1147 0 22827 0
Current children cumulated CPU time: 3092.74 s
Current children cumulated vsize: 145792 KiB
Current children cumulated memory: 99232 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/268 17676
/proc/meminfo: memFree=129402872/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=141856 memory=97508 CPUtime=3152.55 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 21468 0 1 0 314145 1110 0 0 20 0 1 0 31658707 145260544 24377 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 35464 24377 2464 1147 0 22891 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 146048 KiB
Current children cumulated memory: 100580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/268 17683
/proc/meminfo: memFree=129401120/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=142548 memory=97532 CPUtime=3212.37 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 21627 0 1 0 320117 1120 0 0 20 0 1 0 31658707 145969152 24383 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 35637 24383 2464 1147 0 23064 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 146740 KiB
Current children cumulated memory: 100604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/268 17685
/proc/meminfo: memFree=129400044/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=143304 memory=98428 CPUtime=3272.18 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 21851 0 1 0 326085 1133 0 0 20 0 1 0 31658707 146743296 24607 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 35826 24607 2464 1147 0 23253 0
Current children cumulated CPU time: 3272.18 s
Current children cumulated vsize: 147496 KiB
Current children cumulated memory: 101500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/267 17687
/proc/meminfo: memFree=129394380/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=144568 memory=99332 CPUtime=3331.99 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 22257 0 1 0 332053 1146 0 0 20 0 1 0 31658707 148037632 24833 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 36142 24833 2464 1147 0 23569 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 148760 KiB
Current children cumulated memory: 102404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/267 17689
/proc/meminfo: memFree=129394032/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=144568 memory=99332 CPUtime=3391.8 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 22257 0 1 0 338025 1155 0 0 20 0 1 0 31658707 148037632 24833 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 36142 24833 2464 1147 0 23569 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 148760 KiB
Current children cumulated memory: 102404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/267 17691
/proc/meminfo: memFree=129389192/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=145080 memory=99844 CPUtime=3451.62 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 22386 0 1 0 343991 1171 0 0 20 0 1 0 31658707 148561920 24961 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 36270 24961 2464 1147 0 23697 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 149272 KiB
Current children cumulated memory: 102916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.17 4.06 5/267 17693
/proc/meminfo: memFree=129380864/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=145080 memory=101252 CPUtime=3511.43 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 22411 0 1 0 349961 1182 0 0 20 0 1 0 31658707 148561920 25313 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 36270 25313 2464 1147 0 23697 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 149272 KiB
Current children cumulated memory: 104324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.24 4.09 5/266 17695
/proc/meminfo: memFree=129382228/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=145080 memory=101252 CPUtime=3571.26 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 22412 0 1 0 355931 1195 0 0 20 0 1 0 31658707 148561920 25313 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 36270 25313 2464 1147 0 23697 0
Current children cumulated CPU time: 3571.26 s
Current children cumulated vsize: 149272 KiB
Current children cumulated memory: 104324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.60 4.29 4.12 4/262 17733
/proc/meminfo: memFree=129472436/131249996 swapFree=33010684/33010684
[pid=16989] ppid=16986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/16989/stat : 16989 (run-dec.sh) S 16986 16989 16831 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31658707 4292608 768 18446744073709551615 94665090015232 94665090909765 140732110428304 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94665091148816 94665091196560 94665107787776 140732110436717 140732110436840 140732110436840 140732110442442 0
/proc/16989/statm: 1048 768 704 219 0 110 0
[pid=16992] ppid=16989 vsize=145080 memory=101252 CPUtime=3600.06 cores=0,2
/proc/16992/stat : 16992 (roundingsat) R 16989 16989 16831 0 -1 4194304 22412 0 1 0 358802 1204 0 0 20 0 1 0 31658707 148561920 25313 18446744073709551615 4227072 8923433 140737008436496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20504576 140737008445879 140737008445992 140737008445992 140737008451562 0
/proc/16992/statm: 36270 25313 2464 1147 0 23697 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 149272 KiB
Current children cumulated memory: 104324 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 16989 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.03 s, system=12.0511 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.2
CPU time (s): 3600.08
CPU user time (s): 3588.03
CPU system time (s): 12.0511
CPU usage (%): 99.6919
Max. virtual memory (cumulated for all children) (KiB): 149272
Max. memory (cumulated for all children) (KiB): 104324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.03
system time used= 12.0511
maximum resident set size= 101508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22647
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178
involuntary context switches= 8006
# summary of solver processes directly reported to runsolver:
# pid: 16989
# total CPU time (s): 3600.08
# total CPU user time (s): 3588.03
# total CPU system time (s): 12.0511
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87554 second user time and 16.4223 second system time
The end
Begin job on nodeC023 at 2025-06-29 03:16:48
IDJOB=4496036
IDBENCH=148105
IDSOLVER=3349
FILE ID=nodeC023/4496036-1751159808
RUNJOBID= nodeC023-1751159806-16841
SLURM_JOB_ID= 9587505
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496036-1751159808/watcher-4496036-1751159808 -o /tmp/evaluation-result-4496036-1751159808/solver-4496036-1751159808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16841 --watchdog 3760 run-dec.sh HOME/instance-4496036-1751159808.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=249063942
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.378
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.857
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.663
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3731.719
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.890
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.891
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3453.505
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.092
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130107964 kB
MemAvailable: 129763952 kB
Buffers: 3280 kB
Cached: 467032 kB
SwapCached: 0 kB
Active: 323192 kB
Inactive: 247960 kB
Active(anon): 118904 kB
Inactive(anon): 0 kB
Active(file): 204288 kB
Inactive(file): 247960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25596 kB
Writeback: 0 kB
AnonPages: 103980 kB
Mapped: 112144 kB
Shmem: 18064 kB
KReclaimable: 85956 kB
Slab: 171580 kB
SReclaimable: 85956 kB
SUnreclaim: 85624 kB
KernelStack: 4336 kB
PageTables: 3276 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 412696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC023 at 2025-06-29 04:17:00