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.18/0.23 c #Conflicts: 1000 | #Constraints: 1052
0.18/0.23 c #Conflicts: 2000 | #Constraints: 2154
0.18/0.23 c INPROCESSING
0.18/0.23 c GARBAGE COLLECT
0.18/0.23 c rational objective 2
0.48/0.58 c #Conflicts: 3000 | #Constraints: 2189
0.48/0.58 c #Conflicts: 4000 | #Constraints: 3293
0.48/0.58 c INPROCESSING
0.48/0.58 c GARBAGE COLLECT
0.48/0.58 c rational objective 2
0.87/0.97 c #Conflicts: 5000 | #Constraints: 2557
0.87/0.97 c #Conflicts: 6000 | #Constraints: 3557
0.87/0.97 c INPROCESSING
0.87/0.97 c GARBAGE COLLECT
0.87/0.97 c rational objective 2
1.36/1.43 c #Conflicts: 7000 | #Constraints: 2484
1.36/1.43 c #Conflicts: 8000 | #Constraints: 3484
1.36/1.43 c #Conflicts: 9000 | #Constraints: 4588
1.36/1.43 c INPROCESSING
1.36/1.43 c GARBAGE COLLECT
1.36/1.43 c rational objective 2
1.97/2.09 c #Conflicts: 10000 | #Constraints: 3285
1.97/2.09 c #Conflicts: 11000 | #Constraints: 4384
1.97/2.09 c #Conflicts: 12000 | #Constraints: 5497
1.97/2.09 c INPROCESSING
1.97/2.09 c GARBAGE COLLECT
1.97/2.09 c rational objective 2
2.76/2.81 c #Conflicts: 13000 | #Constraints: 3863
2.76/2.81 c #Conflicts: 14000 | #Constraints: 5006
2.76/2.81 c #Conflicts: 15000 | #Constraints: 6178
2.76/2.81 c INPROCESSING
2.76/2.81 c GARBAGE COLLECT
2.76/2.81 c rational objective 2
3.56/3.62 c #Conflicts: 16000 | #Constraints: 4156
3.56/3.62 c #Conflicts: 17000 | #Constraints: 5244
3.56/3.62 c #Conflicts: 18000 | #Constraints: 6328
3.56/3.62 c INPROCESSING
3.56/3.62 c GARBAGE COLLECT
3.56/3.62 c rational objective 2
4.46/4.50 c #Conflicts: 19000 | #Constraints: 4113
4.46/4.50 c #Conflicts: 20000 | #Constraints: 5206
4.46/4.50 c #Conflicts: 21000 | #Constraints: 6242
4.46/4.50 c INPROCESSING
4.46/4.50 c GARBAGE COLLECT
4.46/4.50 c rational objective 2.00014
5.35/5.46 c #Conflicts: 22000 | #Constraints: 3856
5.35/5.46 c #Conflicts: 23000 | #Constraints: 4916
5.35/5.46 c #Conflicts: 24000 | #Constraints: 5965
5.35/5.46 c #Conflicts: 25000 | #Constraints: 7015
5.35/5.46 c INPROCESSING
5.35/5.46 c GARBAGE COLLECT
5.35/5.46 c rational objective 2.00007
6.46/6.59 c #Conflicts: 26000 | #Constraints: 4490
6.46/6.59 c #Conflicts: 27000 | #Constraints: 5526
6.46/6.59 c #Conflicts: 28000 | #Constraints: 6526
6.46/6.59 c #Conflicts: 29000 | #Constraints: 7526
6.46/6.59 c INPROCESSING
6.46/6.59 c GARBAGE COLLECT
6.46/6.59 c rational objective 2
7.85/8.00 c #Conflicts: 30000 | #Constraints: 4869
7.85/8.00 c #Conflicts: 31000 | #Constraints: 5964
7.85/8.00 c #Conflicts: 32000 | #Constraints: 7087
7.85/8.00 c #Conflicts: 33000 | #Constraints: 8184
7.85/8.00 c INPROCESSING
7.85/8.00 c GARBAGE COLLECT
7.85/8.00 c rational objective 2
9.35/9.47 c #Conflicts: 34000 | #Constraints: 5172
9.35/9.47 c #Conflicts: 35000 | #Constraints: 6243
9.35/9.47 c #Conflicts: 36000 | #Constraints: 7366
9.35/9.47 c #Conflicts: 37000 | #Constraints: 8495
9.35/9.47 c INPROCESSING
9.35/9.47 c GARBAGE COLLECT
9.35/9.47 c rational objective 2
11.34/11.45 c #Conflicts: 38000 | #Constraints: 5211
11.34/11.45 c #Conflicts: 39000 | #Constraints: 6417
11.34/11.45 c #Conflicts: 40000 | #Constraints: 7963
11.34/11.45 c #Conflicts: 41000 | #Constraints: 9269
11.34/11.45 c INPROCESSING
11.34/11.45 c GARBAGE COLLECT
11.34/11.45 c rational objective 2
13.23/13.35 c #Conflicts: 42000 | #Constraints: 5381
13.23/13.35 c #Conflicts: 43000 | #Constraints: 6400
13.23/13.35 c #Conflicts: 44000 | #Constraints: 7402
13.23/13.35 c #Conflicts: 45000 | #Constraints: 8438
13.23/13.35 c #Conflicts: 46000 | #Constraints: 9493
13.23/13.35 c INPROCESSING
13.23/13.35 c GARBAGE COLLECT
13.23/13.35 c rational objective 2
15.23/15.30 c #Conflicts: 47000 | #Constraints: 5710
15.23/15.30 c #Conflicts: 48000 | #Constraints: 6774
15.23/15.30 c #Conflicts: 49000 | #Constraints: 7790
15.23/15.30 c #Conflicts: 50000 | #Constraints: 8804
15.23/15.30 c #Conflicts: 51000 | #Constraints: 9805
15.23/15.30 c INPROCESSING
15.23/15.30 c GARBAGE COLLECT
15.23/15.30 c rational objective 2
17.53/17.61 c #Conflicts: 52000 | #Constraints: 5907
17.53/17.61 c #Conflicts: 53000 | #Constraints: 6907
17.53/17.61 c #Conflicts: 54000 | #Constraints: 7918
17.53/17.61 c #Conflicts: 55000 | #Constraints: 8950
17.53/17.61 c #Conflicts: 56000 | #Constraints: 9987
17.53/17.61 c INPROCESSING
17.53/17.61 c GARBAGE COLLECT
17.53/17.61 c rational objective 2.01386
19.81/19.94 c #Conflicts: 57000 | #Constraints: 6040
19.81/19.94 c #Conflicts: 58000 | #Constraints: 7067
19.81/19.94 c #Conflicts: 59000 | #Constraints: 8072
19.81/19.94 c #Conflicts: 60000 | #Constraints: 9072
19.81/19.94 c #Conflicts: 61000 | #Constraints: 10072
19.81/19.94 c INPROCESSING
19.81/19.94 c GARBAGE COLLECT
19.81/19.94 c rational objective 2
22.70/22.89 c #Conflicts: 62000 | #Constraints: 5956
22.70/22.89 c #Conflicts: 63000 | #Constraints: 6956
22.70/22.89 c #Conflicts: 64000 | #Constraints: 7956
22.70/22.89 c #Conflicts: 65000 | #Constraints: 8956
22.70/22.89 c #Conflicts: 66000 | #Constraints: 9968
22.70/22.89 c INPROCESSING
22.70/22.89 c GARBAGE COLLECT
22.70/22.89 c rational objective 2
25.79/25.97 c #Conflicts: 67000 | #Constraints: 5711
25.79/25.97 c #Conflicts: 68000 | #Constraints: 6760
25.79/25.97 c #Conflicts: 69000 | #Constraints: 7838
25.79/25.97 c #Conflicts: 70000 | #Constraints: 8895
25.79/25.97 c #Conflicts: 71000 | #Constraints: 9923
25.79/25.97 c #Conflicts: 72000 | #Constraints: 11043
25.79/25.97 c INPROCESSING
25.79/25.97 c GARBAGE COLLECT
25.79/25.97 c rational objective 2
28.89/29.04 c #Conflicts: 73000 | #Constraints: 6473
28.89/29.04 c #Conflicts: 74000 | #Constraints: 7473
28.89/29.04 c #Conflicts: 75000 | #Constraints: 8473
28.89/29.04 c #Conflicts: 76000 | #Constraints: 9473
28.89/29.04 c #Conflicts: 77000 | #Constraints: 10473
28.89/29.04 c #Conflicts: 78000 | #Constraints: 11473
28.89/29.04 c INPROCESSING
28.89/29.04 c GARBAGE COLLECT
28.89/29.04 c rational objective 2
32.17/32.37 c #Conflicts: 79000 | #Constraints: 6844
32.17/32.37 c #Conflicts: 80000 | #Constraints: 7991
32.17/32.37 c #Conflicts: 81000 | #Constraints: 9091
32.17/32.37 c #Conflicts: 82000 | #Constraints: 10215
32.17/32.37 c #Conflicts: 83000 | #Constraints: 11316
32.17/32.37 c #Conflicts: 84000 | #Constraints: 12415
32.17/32.37 c INPROCESSING
32.17/32.37 c GARBAGE COLLECT
32.17/32.37 c rational objective 2
35.97/36.16 c #Conflicts: 85000 | #Constraints: 7333
35.97/36.16 c #Conflicts: 86000 | #Constraints: 8448
35.97/36.16 c #Conflicts: 87000 | #Constraints: 9608
35.97/36.16 c #Conflicts: 88000 | #Constraints: 10729
35.97/36.16 c #Conflicts: 89000 | #Constraints: 11871
35.97/36.16 c #Conflicts: 90000 | #Constraints: 12987
35.97/36.16 c INPROCESSING
35.97/36.16 c GARBAGE COLLECT
35.97/36.16 c rational objective 2
40.44/40.64 c #Conflicts: 91000 | #Constraints: 7441
40.44/40.64 c #Conflicts: 92000 | #Constraints: 8493
40.44/40.64 c #Conflicts: 93000 | #Constraints: 9520
40.44/40.64 c #Conflicts: 94000 | #Constraints: 10520
40.44/40.64 c #Conflicts: 95000 | #Constraints: 11520
40.44/40.64 c #Conflicts: 96000 | #Constraints: 12520
40.44/40.64 c INPROCESSING
40.44/40.64 c GARBAGE COLLECT
40.44/40.64 c rational objective 2
44.84/45.08 c #Conflicts: 97000 | #Constraints: 7016
44.84/45.08 c #Conflicts: 98000 | #Constraints: 8103
44.84/45.08 c #Conflicts: 99000 | #Constraints: 9258
44.84/45.08 c #Conflicts: 100000 | #Constraints: 10374
44.84/45.08 c #Conflicts: 101000 | #Constraints: 11490
44.84/45.08 c #Conflicts: 102000 | #Constraints: 12599
44.84/45.08 c #Conflicts: 103000 | #Constraints: 13690
44.84/45.08 c INPROCESSING
44.84/45.08 c GARBAGE COLLECT
44.84/45.08 c rational objective 2
49.32/49.58 c #Conflicts: 104000 | #Constraints: 7830
49.32/49.58 c #Conflicts: 105000 | #Constraints: 8889
49.32/49.58 c #Conflicts: 106000 | #Constraints: 9928
49.32/49.58 c #Conflicts: 107000 | #Constraints: 10936
49.32/49.58 c #Conflicts: 108000 | #Constraints: 11966
49.32/49.58 c #Conflicts: 109000 | #Constraints: 12979
49.32/49.58 c #Conflicts: 110000 | #Constraints: 14164
49.32/49.58 c INPROCESSING
49.32/49.58 c GARBAGE COLLECT
49.32/49.58 c rational objective 2
54.00/54.29 c #Conflicts: 111000 | #Constraints: 8209
54.00/54.29 c #Conflicts: 112000 | #Constraints: 9336
54.00/54.29 c #Conflicts: 113000 | #Constraints: 10402
54.00/54.29 c #Conflicts: 114000 | #Constraints: 11519
54.00/54.29 c #Conflicts: 115000 | #Constraints: 12635
54.00/54.29 c #Conflicts: 116000 | #Constraints: 13691
54.00/54.29 c #Conflicts: 117000 | #Constraints: 14758
54.00/54.29 c INPROCESSING
54.00/54.29 c GARBAGE COLLECT
54.00/54.29 c rational objective 2
59.39/59.68 c #Conflicts: 118000 | #Constraints: 8433
59.39/59.68 c #Conflicts: 119000 | #Constraints: 9467
59.39/59.68 c #Conflicts: 120000 | #Constraints: 10504
59.39/59.68 c #Conflicts: 121000 | #Constraints: 11646
59.39/59.68 c #Conflicts: 122000 | #Constraints: 12852
59.39/59.68 c #Conflicts: 123000 | #Constraints: 13939
59.39/59.68 c #Conflicts: 124000 | #Constraints: 15013
59.39/59.68 c INPROCESSING
59.39/59.68 c GARBAGE COLLECT
59.39/59.68 c rational objective 2
64.97/65.26 c #Conflicts: 125000 | #Constraints: 8443
64.97/65.26 c #Conflicts: 126000 | #Constraints: 9530
64.97/65.26 c #Conflicts: 127000 | #Constraints: 10574
64.97/65.26 c #Conflicts: 128000 | #Constraints: 11634
64.97/65.26 c #Conflicts: 129000 | #Constraints: 12655
64.97/65.26 c #Conflicts: 130000 | #Constraints: 13683
64.97/65.26 c #Conflicts: 131000 | #Constraints: 14765
64.97/65.26 c INPROCESSING
64.97/65.26 c GARBAGE COLLECT
64.97/65.26 c rational objective 2
70.65/71.00 c #Conflicts: 132000 | #Constraints: 8136
70.65/71.00 c #Conflicts: 133000 | #Constraints: 9158
70.65/71.00 c #Conflicts: 134000 | #Constraints: 10239
70.65/71.00 c #Conflicts: 135000 | #Constraints: 11284
70.65/71.00 c #Conflicts: 136000 | #Constraints: 12284
70.65/71.00 c #Conflicts: 137000 | #Constraints: 13315
70.65/71.00 c #Conflicts: 138000 | #Constraints: 14345
70.65/71.00 c #Conflicts: 139000 | #Constraints: 15388
70.65/71.00 c INPROCESSING
70.65/71.00 c GARBAGE COLLECT
70.65/71.00 c rational objective 2
76.34/76.67 c #Conflicts: 140000 | #Constraints: 8661
76.34/76.67 c #Conflicts: 141000 | #Constraints: 9661
76.34/76.67 c #Conflicts: 142000 | #Constraints: 10661
76.34/76.67 c #Conflicts: 143000 | #Constraints: 11661
76.34/76.67 c #Conflicts: 144000 | #Constraints: 12661
76.34/76.67 c #Conflicts: 145000 | #Constraints: 13661
76.34/76.67 c #Conflicts: 146000 | #Constraints: 14661
76.34/76.67 c #Conflicts: 147000 | #Constraints: 15661
76.34/76.67 c INPROCESSING
76.34/76.67 c GARBAGE COLLECT
76.34/76.67 c rational objective 2
82.82/83.13 c #Conflicts: 148000 | #Constraints: 8946
82.82/83.13 c #Conflicts: 149000 | #Constraints: 10044
82.82/83.13 c #Conflicts: 150000 | #Constraints: 11137
82.82/83.13 c #Conflicts: 151000 | #Constraints: 12238
82.82/83.13 c #Conflicts: 152000 | #Constraints: 13346
82.82/83.13 c #Conflicts: 153000 | #Constraints: 14455
82.82/83.13 c #Conflicts: 154000 | #Constraints: 15577
82.82/83.13 c #Conflicts: 155000 | #Constraints: 16691
82.82/83.13 c INPROCESSING
82.82/83.13 c GARBAGE COLLECT
82.82/83.13 c rational objective 2
90.09/90.45 c #Conflicts: 156000 | #Constraints: 9466
90.09/90.45 c #Conflicts: 157000 | #Constraints: 10550
90.09/90.45 c #Conflicts: 158000 | #Constraints: 11687
90.09/90.45 c #Conflicts: 159000 | #Constraints: 12804
90.09/90.45 c #Conflicts: 160000 | #Constraints: 13912
90.09/90.45 c #Conflicts: 161000 | #Constraints: 14967
90.09/90.45 c #Conflicts: 162000 | #Constraints: 15972
90.09/90.45 c #Conflicts: 163000 | #Constraints: 17039
90.09/90.45 c INPROCESSING
90.09/90.45 c GARBAGE COLLECT
90.09/90.45 c rational objective 2
97.27/97.64 c #Conflicts: 164000 | #Constraints: 9445
97.27/97.64 c #Conflicts: 165000 | #Constraints: 10445
97.27/97.64 c #Conflicts: 166000 | #Constraints: 11488
97.27/97.64 c #Conflicts: 167000 | #Constraints: 12526
97.27/97.64 c #Conflicts: 168000 | #Constraints: 13604
97.27/97.64 c #Conflicts: 169000 | #Constraints: 14678
97.27/97.64 c #Conflicts: 170000 | #Constraints: 15747
97.27/97.64 c #Conflicts: 171000 | #Constraints: 16821
97.27/97.64 c INPROCESSING
97.27/97.64 c GARBAGE COLLECT
97.27/97.64 c rational objective 2
104.05/104.44 c #Conflicts: 172000 | #Constraints: 9167
104.05/104.44 c #Conflicts: 173000 | #Constraints: 10173
104.05/104.44 c #Conflicts: 174000 | #Constraints: 11173
104.05/104.44 c #Conflicts: 175000 | #Constraints: 12190
104.05/104.44 c #Conflicts: 176000 | #Constraints: 13232
104.05/104.44 c #Conflicts: 177000 | #Constraints: 14298
104.05/104.44 c #Conflicts: 178000 | #Constraints: 15398
104.05/104.44 c #Conflicts: 179000 | #Constraints: 16404
104.05/104.44 c #Conflicts: 180000 | #Constraints: 17425
104.05/104.44 c INPROCESSING
104.05/104.44 c GARBAGE COLLECT
104.05/104.44 c rational objective 2
111.73/112.19 c #Conflicts: 181000 | #Constraints: 9651
111.73/112.19 c #Conflicts: 182000 | #Constraints: 10733
111.73/112.19 c #Conflicts: 183000 | #Constraints: 11848
111.73/112.19 c #Conflicts: 184000 | #Constraints: 12965
111.73/112.19 c #Conflicts: 185000 | #Constraints: 14067
111.73/112.19 c #Conflicts: 186000 | #Constraints: 15191
111.73/112.19 c #Conflicts: 187000 | #Constraints: 16301
111.73/112.19 c #Conflicts: 188000 | #Constraints: 17406
111.73/112.19 c #Conflicts: 189000 | #Constraints: 18499
111.73/112.19 c INPROCESSING
111.73/112.19 c GARBAGE COLLECT
111.73/112.19 c rational objective 2
120.21/120.66 c #Conflicts: 190000 | #Constraints: 10293
120.21/120.66 c #Conflicts: 191000 | #Constraints: 11326
120.21/120.66 c #Conflicts: 192000 | #Constraints: 12378
120.21/120.66 c #Conflicts: 193000 | #Constraints: 13424
120.21/120.66 c #Conflicts: 194000 | #Constraints: 14504
120.21/120.66 c #Conflicts: 195000 | #Constraints: 15648
120.21/120.66 c #Conflicts: 196000 | #Constraints: 16759
120.21/120.66 c #Conflicts: 197000 | #Constraints: 17845
120.21/120.66 c #Conflicts: 198000 | #Constraints: 18894
120.21/120.66 c INPROCESSING
120.21/120.66 c GARBAGE COLLECT
120.21/120.66 c rational objective 2
129.38/129.88 c #Conflicts: 199000 | #Constraints: 10472
129.38/129.88 c #Conflicts: 200000 | #Constraints: 11476
129.38/129.88 c #Conflicts: 201000 | #Constraints: 12476
129.38/129.88 c #Conflicts: 202000 | #Constraints: 13478
129.38/129.88 c #Conflicts: 203000 | #Constraints: 14496
129.38/129.88 c #Conflicts: 204000 | #Constraints: 15531
129.38/129.88 c #Conflicts: 205000 | #Constraints: 16566
129.38/129.88 c #Conflicts: 206000 | #Constraints: 17570
129.38/129.88 c #Conflicts: 207000 | #Constraints: 18570
129.38/129.88 c INPROCESSING
129.38/129.88 c GARBAGE COLLECT
129.38/129.88 c rational objective 2
138.25/138.75 c #Conflicts: 208000 | #Constraints: 10265
138.25/138.75 c #Conflicts: 209000 | #Constraints: 11420
138.25/138.75 c #Conflicts: 210000 | #Constraints: 12561
138.25/138.75 c #Conflicts: 211000 | #Constraints: 13675
138.25/138.75 c #Conflicts: 212000 | #Constraints: 14830
138.25/138.75 c #Conflicts: 213000 | #Constraints: 15942
138.25/138.75 c #Conflicts: 214000 | #Constraints: 17070
138.25/138.75 c #Conflicts: 215000 | #Constraints: 18227
138.25/138.75 c #Conflicts: 216000 | #Constraints: 19419
138.25/138.75 c INPROCESSING
138.25/138.75 c GARBAGE COLLECT
138.25/138.75 c rational objective 2
148.72/149.23 c #Conflicts: 217000 | #Constraints: 10484
148.72/149.23 c #Conflicts: 218000 | #Constraints: 11524
148.72/149.23 c #Conflicts: 219000 | #Constraints: 12685
148.72/149.23 c #Conflicts: 220000 | #Constraints: 13863
148.72/149.23 c #Conflicts: 221000 | #Constraints: 15005
148.72/149.23 c #Conflicts: 222000 | #Constraints: 16207
148.72/149.23 c #Conflicts: 223000 | #Constraints: 17726
148.72/149.23 c #Conflicts: 224000 | #Constraints: 19207
148.72/149.23 c #Conflicts: 225000 | #Constraints: 20640
148.72/149.23 c #Conflicts: 226000 | #Constraints: 22044
148.72/149.23 c INPROCESSING
148.72/149.23 c GARBAGE COLLECT
148.72/149.23 c rational objective 2
158.99/159.52 c #Conflicts: 227000 | #Constraints: 11987
158.99/159.52 c #Conflicts: 228000 | #Constraints: 12987
158.99/159.52 c #Conflicts: 229000 | #Constraints: 13987
158.99/159.52 c #Conflicts: 230000 | #Constraints: 15010
158.99/159.52 c #Conflicts: 231000 | #Constraints: 16041
158.99/159.52 c #Conflicts: 232000 | #Constraints: 17065
158.99/159.52 c #Conflicts: 233000 | #Constraints: 18089
158.99/159.52 c #Conflicts: 234000 | #Constraints: 19089
158.99/159.52 c #Conflicts: 235000 | #Constraints: 20089
158.99/159.52 c #Conflicts: 236000 | #Constraints: 21089
158.99/159.52 c INPROCESSING
158.99/159.52 c GARBAGE COLLECT
158.99/159.52 c rational objective 2
168.77/169.34 c #Conflicts: 237000 | #Constraints: 11656
168.77/169.34 c #Conflicts: 238000 | #Constraints: 12737
168.77/169.34 c #Conflicts: 239000 | #Constraints: 13819
168.77/169.34 c #Conflicts: 240000 | #Constraints: 14924
168.77/169.34 c #Conflicts: 241000 | #Constraints: 16027
168.77/169.34 c #Conflicts: 242000 | #Constraints: 17132
168.77/169.34 c #Conflicts: 243000 | #Constraints: 18231
168.77/169.34 c #Conflicts: 244000 | #Constraints: 19335
168.77/169.34 c #Conflicts: 245000 | #Constraints: 20442
168.77/169.34 c #Conflicts: 246000 | #Constraints: 21544
168.77/169.34 c INPROCESSING
168.77/169.34 c GARBAGE COLLECT
168.77/169.34 c rational objective 2
180.04/180.68 c #Conflicts: 247000 | #Constraints: 11812
180.04/180.68 c #Conflicts: 248000 | #Constraints: 12879
180.04/180.68 c #Conflicts: 249000 | #Constraints: 13979
180.04/180.68 c #Conflicts: 250000 | #Constraints: 15080
180.04/180.68 c #Conflicts: 251000 | #Constraints: 16175
180.04/180.68 c #Conflicts: 252000 | #Constraints: 17295
180.04/180.68 c #Conflicts: 253000 | #Constraints: 18366
180.04/180.68 c #Conflicts: 254000 | #Constraints: 19430
180.04/180.68 c #Conflicts: 255000 | #Constraints: 20552
180.04/180.68 c #Conflicts: 256000 | #Constraints: 21668
180.04/180.68 c INPROCESSING
180.04/180.68 c GARBAGE COLLECT
180.04/180.68 c rational objective 2
191.40/192.08 c #Conflicts: 257000 | #Constraints: 11742
191.40/192.08 c #Conflicts: 258000 | #Constraints: 12807
191.40/192.08 c #Conflicts: 259000 | #Constraints: 13956
191.40/192.08 c #Conflicts: 260000 | #Constraints: 15001
191.40/192.08 c #Conflicts: 261000 | #Constraints: 16072
191.40/192.08 c #Conflicts: 262000 | #Constraints: 17073
191.40/192.08 c #Conflicts: 263000 | #Constraints: 18073
191.40/192.08 c #Conflicts: 264000 | #Constraints: 19073
191.40/192.08 c #Conflicts: 265000 | #Constraints: 20073
191.40/192.08 c #Conflicts: 266000 | #Constraints: 21073
191.40/192.08 c INPROCESSING
191.40/192.08 c GARBAGE COLLECT
191.40/192.08 c rational objective 2
203.85/204.55 c #Conflicts: 267000 | #Constraints: 11255
203.85/204.55 c #Conflicts: 268000 | #Constraints: 12301
203.85/204.55 c #Conflicts: 269000 | #Constraints: 13301
203.85/204.55 c #Conflicts: 270000 | #Constraints: 14301
203.85/204.55 c #Conflicts: 271000 | #Constraints: 15400
203.85/204.55 c #Conflicts: 272000 | #Constraints: 16582
203.85/204.55 c #Conflicts: 273000 | #Constraints: 17988
203.85/204.55 c #Conflicts: 274000 | #Constraints: 19017
203.85/204.55 c #Conflicts: 275000 | #Constraints: 20120
203.85/204.55 c #Conflicts: 276000 | #Constraints: 21208
203.85/204.55 c #Conflicts: 277000 | #Constraints: 22262
203.85/204.55 c INPROCESSING
203.85/204.55 c GARBAGE COLLECT
203.85/204.55 c rational objective 2
214.92/215.68 c #Conflicts: 278000 | #Constraints: 12033
214.92/215.68 c #Conflicts: 279000 | #Constraints: 13039
214.92/215.68 c #Conflicts: 280000 | #Constraints: 14114
214.92/215.68 c #Conflicts: 281000 | #Constraints: 15254
214.92/215.68 c #Conflicts: 282000 | #Constraints: 16372
214.92/215.68 c #Conflicts: 283000 | #Constraints: 17480
214.92/215.68 c #Conflicts: 284000 | #Constraints: 18525
214.92/215.68 c #Conflicts: 285000 | #Constraints: 19640
214.92/215.68 c #Conflicts: 286000 | #Constraints: 20743
214.92/215.68 c #Conflicts: 287000 | #Constraints: 21849
214.92/215.68 c #Conflicts: 288000 | #Constraints: 22949
214.92/215.68 c INPROCESSING
214.92/215.68 c GARBAGE COLLECT
214.92/215.68 c rational objective 2
227.09/227.81 c #Conflicts: 289000 | #Constraints: 12507
227.09/227.81 c #Conflicts: 290000 | #Constraints: 13507
227.09/227.81 c #Conflicts: 291000 | #Constraints: 14507
227.09/227.81 c #Conflicts: 292000 | #Constraints: 15507
227.09/227.81 c #Conflicts: 293000 | #Constraints: 16536
227.09/227.81 c #Conflicts: 294000 | #Constraints: 17586
227.09/227.81 c #Conflicts: 295000 | #Constraints: 18616
227.09/227.81 c #Conflicts: 296000 | #Constraints: 19681
227.09/227.81 c #Conflicts: 297000 | #Constraints: 20732
227.09/227.81 c #Conflicts: 298000 | #Constraints: 21803
227.09/227.81 c #Conflicts: 299000 | #Constraints: 22962
227.09/227.81 c INPROCESSING
227.09/227.81 c GARBAGE COLLECT
227.09/227.81 c rational objective 2
239.95/240.77 c #Conflicts: 300000 | #Constraints: 12522
239.95/240.77 c #Conflicts: 301000 | #Constraints: 13651
239.95/240.77 c #Conflicts: 302000 | #Constraints: 14731
239.95/240.77 c #Conflicts: 303000 | #Constraints: 15786
239.95/240.77 c #Conflicts: 304000 | #Constraints: 16907
239.95/240.77 c #Conflicts: 305000 | #Constraints: 17965
239.95/240.77 c #Conflicts: 306000 | #Constraints: 18965
239.95/240.77 c #Conflicts: 307000 | #Constraints: 19965
239.95/240.77 c #Conflicts: 308000 | #Constraints: 20965
239.95/240.77 c #Conflicts: 309000 | #Constraints: 21965
239.95/240.77 c #Conflicts: 310000 | #Constraints: 22965
239.95/240.77 c INPROCESSING
239.95/240.77 c GARBAGE COLLECT
239.95/240.77 c rational objective 2
252.71/253.59 c #Conflicts: 311000 | #Constraints: 12428
252.71/253.59 c #Conflicts: 312000 | #Constraints: 13497
252.71/253.59 c #Conflicts: 313000 | #Constraints: 14586
252.71/253.59 c #Conflicts: 314000 | #Constraints: 15714
252.71/253.59 c #Conflicts: 315000 | #Constraints: 16814
252.71/253.59 c #Conflicts: 316000 | #Constraints: 17866
252.71/253.59 c #Conflicts: 317000 | #Constraints: 18866
252.71/253.59 c #Conflicts: 318000 | #Constraints: 19866
252.71/253.59 c #Conflicts: 319000 | #Constraints: 20866
252.71/253.59 c #Conflicts: 320000 | #Constraints: 21866
252.71/253.59 c #Conflicts: 321000 | #Constraints: 22866
252.71/253.59 c INPROCESSING
252.71/253.59 c GARBAGE COLLECT
252.71/253.59 c rational objective 2
268.06/268.91 c #Conflicts: 322000 | #Constraints: 12157
268.06/268.91 c #Conflicts: 323000 | #Constraints: 13192
268.06/268.91 c #Conflicts: 324000 | #Constraints: 14299
268.06/268.91 c #Conflicts: 325000 | #Constraints: 15399
268.06/268.91 c #Conflicts: 326000 | #Constraints: 16454
268.06/268.91 c #Conflicts: 327000 | #Constraints: 17494
268.06/268.91 c #Conflicts: 328000 | #Constraints: 18494
268.06/268.91 c #Conflicts: 329000 | #Constraints: 19570
268.06/268.91 c #Conflicts: 330000 | #Constraints: 20611
268.06/268.91 c #Conflicts: 331000 | #Constraints: 21677
268.06/268.91 c #Conflicts: 332000 | #Constraints: 22733
268.06/268.91 c #Conflicts: 333000 | #Constraints: 23770
268.06/268.91 c INPROCESSING
268.06/268.91 c GARBAGE COLLECT
268.06/268.91 c rational objective 2
281.62/282.54 c #Conflicts: 334000 | #Constraints: 12803
281.62/282.54 c #Conflicts: 335000 | #Constraints: 13811
281.62/282.54 c #Conflicts: 336000 | #Constraints: 14890
281.62/282.54 c #Conflicts: 337000 | #Constraints: 16084
281.62/282.54 c #Conflicts: 338000 | #Constraints: 17182
281.62/282.54 c #Conflicts: 339000 | #Constraints: 18216
281.62/282.54 c #Conflicts: 340000 | #Constraints: 19216
281.62/282.54 c #Conflicts: 341000 | #Constraints: 20220
281.62/282.54 c #Conflicts: 342000 | #Constraints: 21238
281.62/282.54 c #Conflicts: 343000 | #Constraints: 22291
281.62/282.54 c #Conflicts: 344000 | #Constraints: 23465
281.62/282.54 c #Conflicts: 345000 | #Constraints: 24465
281.62/282.54 c INPROCESSING
281.62/282.54 c GARBAGE COLLECT
281.62/282.54 c rational objective 2
295.48/296.44 c #Conflicts: 346000 | #Constraints: 13267
295.48/296.44 c #Conflicts: 347000 | #Constraints: 14530
295.48/296.44 c #Conflicts: 348000 | #Constraints: 15564
295.48/296.44 c #Conflicts: 349000 | #Constraints: 16584
295.48/296.44 c #Conflicts: 350000 | #Constraints: 17588
295.48/296.44 c #Conflicts: 351000 | #Constraints: 18622
295.48/296.44 c #Conflicts: 352000 | #Constraints: 19654
295.48/296.44 c #Conflicts: 353000 | #Constraints: 20722
295.48/296.44 c #Conflicts: 354000 | #Constraints: 21770
295.48/296.44 c #Conflicts: 355000 | #Constraints: 22770
295.48/296.44 c #Conflicts: 356000 | #Constraints: 23770
295.48/296.44 c #Conflicts: 357000 | #Constraints: 24770
295.48/296.44 c INPROCESSING
295.48/296.44 c GARBAGE COLLECT
295.48/296.44 c rational objective 2
310.14/311.13 c #Conflicts: 358000 | #Constraints: 13493
310.14/311.13 c #Conflicts: 359000 | #Constraints: 14579
310.14/311.13 c #Conflicts: 360000 | #Constraints: 15701
310.14/311.13 c #Conflicts: 361000 | #Constraints: 16846
310.14/311.13 c #Conflicts: 362000 | #Constraints: 17961
310.14/311.13 c #Conflicts: 363000 | #Constraints: 19100
310.14/311.13 c #Conflicts: 364000 | #Constraints: 20241
310.14/311.13 c #Conflicts: 365000 | #Constraints: 21347
310.14/311.13 c #Conflicts: 366000 | #Constraints: 22461
310.14/311.13 c #Conflicts: 367000 | #Constraints: 23566
310.14/311.13 c #Conflicts: 368000 | #Constraints: 24665
310.14/311.13 c #Conflicts: 369000 | #Constraints: 25777
310.14/311.13 c INPROCESSING
310.14/311.13 c GARBAGE COLLECT
310.14/311.13 c rational objective 2
326.99/328.04 c #Conflicts: 370000 | #Constraints: 13849
326.99/328.04 c #Conflicts: 371000 | #Constraints: 14936
326.99/328.04 c #Conflicts: 372000 | #Constraints: 15979
326.99/328.04 c #Conflicts: 373000 | #Constraints: 17099
326.99/328.04 c #Conflicts: 374000 | #Constraints: 18253
326.99/328.04 c #Conflicts: 375000 | #Constraints: 19378
326.99/328.04 c #Conflicts: 376000 | #Constraints: 20529
326.99/328.04 c #Conflicts: 377000 | #Constraints: 21716
326.99/328.04 c #Conflicts: 378000 | #Constraints: 22906
326.99/328.04 c #Conflicts: 379000 | #Constraints: 24078
326.99/328.04 c #Conflicts: 380000 | #Constraints: 25260
326.99/328.04 c #Conflicts: 381000 | #Constraints: 26407
326.99/328.04 c INPROCESSING
326.99/328.04 c GARBAGE COLLECT
326.99/328.04 c rational objective 2
345.12/346.27 c #Conflicts: 382000 | #Constraints: 13980
345.12/346.27 c #Conflicts: 383000 | #Constraints: 15016
345.12/346.27 c #Conflicts: 384000 | #Constraints: 16078
345.12/346.27 c #Conflicts: 385000 | #Constraints: 17080
345.12/346.27 c #Conflicts: 386000 | #Constraints: 18080
345.12/346.27 c #Conflicts: 387000 | #Constraints: 19175
345.12/346.27 c #Conflicts: 388000 | #Constraints: 20277
345.12/346.27 c #Conflicts: 389000 | #Constraints: 21317
345.12/346.27 c #Conflicts: 390000 | #Constraints: 22331
345.12/346.27 c #Conflicts: 391000 | #Constraints: 23347
345.12/346.27 c #Conflicts: 392000 | #Constraints: 24382
345.12/346.27 c #Conflicts: 393000 | #Constraints: 25444
345.12/346.27 c #Conflicts: 394000 | #Constraints: 26537
345.12/346.27 c INPROCESSING
345.12/346.27 c GARBAGE COLLECT
345.12/346.27 c rational objective 2
361.77/363.00 c #Conflicts: 395000 | #Constraints: 14191
361.77/363.00 c #Conflicts: 396000 | #Constraints: 15191
361.77/363.00 c #Conflicts: 397000 | #Constraints: 16191
361.77/363.00 c #Conflicts: 398000 | #Constraints: 17191
361.77/363.00 c #Conflicts: 399000 | #Constraints: 18191
361.77/363.00 c #Conflicts: 400000 | #Constraints: 19191
361.77/363.00 c #Conflicts: 401000 | #Constraints: 20191
361.77/363.00 c #Conflicts: 402000 | #Constraints: 21191
361.77/363.00 c #Conflicts: 403000 | #Constraints: 22275
361.77/363.00 c #Conflicts: 404000 | #Constraints: 23432
361.77/363.00 c #Conflicts: 405000 | #Constraints: 24498
361.77/363.00 c #Conflicts: 406000 | #Constraints: 25533
361.77/363.00 c #Conflicts: 407000 | #Constraints: 26567
361.77/363.00 c INPROCESSING
361.77/363.00 c GARBAGE COLLECT
361.77/363.00 c rational objective 2
377.52/378.72 c #Conflicts: 408000 | #Constraints: 14293
377.52/378.72 c #Conflicts: 409000 | #Constraints: 15293
377.52/378.72 c #Conflicts: 410000 | #Constraints: 16312
377.52/378.72 c #Conflicts: 411000 | #Constraints: 17433
377.52/378.72 c #Conflicts: 412000 | #Constraints: 18510
377.52/378.72 c #Conflicts: 413000 | #Constraints: 19626
377.52/378.72 c #Conflicts: 414000 | #Constraints: 20709
377.52/378.72 c #Conflicts: 415000 | #Constraints: 21843
377.52/378.72 c #Conflicts: 416000 | #Constraints: 22942
377.52/378.72 c #Conflicts: 417000 | #Constraints: 24068
377.52/378.72 c #Conflicts: 418000 | #Constraints: 25197
377.52/378.72 c #Conflicts: 419000 | #Constraints: 26311
377.52/378.72 c #Conflicts: 420000 | #Constraints: 27384
377.52/378.72 c INPROCESSING
377.52/378.72 c GARBAGE COLLECT
377.52/378.72 c rational objective 2
398.76/400.02 c #Conflicts: 421000 | #Constraints: 14785
398.76/400.02 c #Conflicts: 422000 | #Constraints: 15933
398.76/400.02 c #Conflicts: 423000 | #Constraints: 17042
398.76/400.02 c #Conflicts: 424000 | #Constraints: 18112
398.76/400.02 c #Conflicts: 425000 | #Constraints: 19151
398.76/400.02 c #Conflicts: 426000 | #Constraints: 20168
398.76/400.02 c #Conflicts: 427000 | #Constraints: 21191
398.76/400.02 c #Conflicts: 428000 | #Constraints: 22198
398.76/400.02 c #Conflicts: 429000 | #Constraints: 23198
398.76/400.02 c #Conflicts: 430000 | #Constraints: 24225
398.76/400.02 c #Conflicts: 431000 | #Constraints: 25255
398.76/400.02 c #Conflicts: 432000 | #Constraints: 26334
398.76/400.02 c #Conflicts: 433000 | #Constraints: 27388
398.76/400.02 c INPROCESSING
398.76/400.02 c GARBAGE COLLECT
398.76/400.02 c rational objective 2
416.91/418.26 c #Conflicts: 434000 | #Constraints: 14622
416.91/418.26 c #Conflicts: 435000 | #Constraints: 15630
416.91/418.26 c #Conflicts: 436000 | #Constraints: 16660
416.91/418.26 c #Conflicts: 437000 | #Constraints: 17672
416.91/418.26 c #Conflicts: 438000 | #Constraints: 18672
416.91/418.26 c #Conflicts: 439000 | #Constraints: 19679
416.91/418.26 c #Conflicts: 440000 | #Constraints: 20699
416.91/418.26 c #Conflicts: 441000 | #Constraints: 21718
416.91/418.26 c #Conflicts: 442000 | #Constraints: 22741
416.91/418.26 c #Conflicts: 443000 | #Constraints: 23775
416.91/418.26 c #Conflicts: 444000 | #Constraints: 24837
416.91/418.26 c #Conflicts: 445000 | #Constraints: 25862
416.91/418.26 c #Conflicts: 446000 | #Constraints: 26918
416.91/418.26 c INPROCESSING
416.91/418.26 c GARBAGE COLLECT
416.91/418.26 c rational objective 2
438.25/439.60 c #Conflicts: 447000 | #Constraints: 14196
438.25/439.60 c #Conflicts: 448000 | #Constraints: 15242
438.25/439.60 c #Conflicts: 449000 | #Constraints: 16280
438.25/439.60 c #Conflicts: 450000 | #Constraints: 17340
438.25/439.60 c #Conflicts: 451000 | #Constraints: 18464
438.25/439.60 c #Conflicts: 452000 | #Constraints: 19535
438.25/439.60 c #Conflicts: 453000 | #Constraints: 20654
438.25/439.60 c #Conflicts: 454000 | #Constraints: 21771
438.25/439.60 c #Conflicts: 455000 | #Constraints: 22904
438.25/439.60 c #Conflicts: 456000 | #Constraints: 23926
438.25/439.60 c #Conflicts: 457000 | #Constraints: 24926
438.25/439.60 c #Conflicts: 458000 | #Constraints: 25926
438.25/439.60 c #Conflicts: 459000 | #Constraints: 26926
438.25/439.60 c #Conflicts: 460000 | #Constraints: 27926
438.25/439.60 c INPROCESSING
438.25/439.60 c GARBAGE COLLECT
438.25/439.60 c rational objective 2
463.38/464.83 c #Conflicts: 461000 | #Constraints: 15064
463.38/464.83 c #Conflicts: 462000 | #Constraints: 16469
463.38/464.83 c #Conflicts: 463000 | #Constraints: 17837
463.38/464.83 c #Conflicts: 464000 | #Constraints: 19164
463.38/464.83 c #Conflicts: 465000 | #Constraints: 20351
463.38/464.83 c #Conflicts: 466000 | #Constraints: 21550
463.38/464.83 c #Conflicts: 467000 | #Constraints: 22902
463.38/464.83 c #Conflicts: 468000 | #Constraints: 24190
463.38/464.83 c #Conflicts: 469000 | #Constraints: 25481
463.38/464.83 c #Conflicts: 470000 | #Constraints: 26758
463.38/464.83 c #Conflicts: 471000 | #Constraints: 28117
463.38/464.83 c #Conflicts: 472000 | #Constraints: 29417
463.38/464.83 c #Conflicts: 473000 | #Constraints: 30654
463.38/464.83 c #Conflicts: 474000 | #Constraints: 31902
463.38/464.83 c INPROCESSING
463.38/464.83 c GARBAGE COLLECT
463.38/464.83 c rational objective 2
490.39/491.94 c #Conflicts: 475000 | #Constraints: 17010
490.39/491.94 c #Conflicts: 476000 | #Constraints: 18072
490.39/491.94 c #Conflicts: 477000 | #Constraints: 19111
490.39/491.94 c #Conflicts: 478000 | #Constraints: 20168
490.39/491.94 c #Conflicts: 479000 | #Constraints: 21254
490.39/491.94 c #Conflicts: 480000 | #Constraints: 22362
490.39/491.94 c #Conflicts: 481000 | #Constraints: 23420
490.39/491.94 c #Conflicts: 482000 | #Constraints: 24495
490.39/491.94 c #Conflicts: 483000 | #Constraints: 25610
490.39/491.94 c #Conflicts: 484000 | #Constraints: 26688
490.39/491.94 c #Conflicts: 485000 | #Constraints: 27787
490.39/491.94 c #Conflicts: 486000 | #Constraints: 28882
490.39/491.94 c #Conflicts: 487000 | #Constraints: 29977
490.39/491.94 c #Conflicts: 488000 | #Constraints: 31065
490.39/491.94 c INPROCESSING
490.39/491.94 c GARBAGE COLLECT
490.39/491.94 c rational objective 2
519.00/520.61 c #Conflicts: 489000 | #Constraints: 16596
519.00/520.61 c #Conflicts: 490000 | #Constraints: 17599
519.00/520.61 c #Conflicts: 491000 | #Constraints: 18631
519.00/520.61 c #Conflicts: 492000 | #Constraints: 19699
519.00/520.61 c #Conflicts: 493000 | #Constraints: 20862
519.00/520.61 c #Conflicts: 494000 | #Constraints: 21933
519.00/520.61 c #Conflicts: 495000 | #Constraints: 22973
519.00/520.61 c #Conflicts: 496000 | #Constraints: 24021
519.00/520.61 c #Conflicts: 497000 | #Constraints: 25126
519.00/520.61 c #Conflicts: 498000 | #Constraints: 26459
519.00/520.61 c #Conflicts: 499000 | #Constraints: 27958
519.00/520.61 c #Conflicts: 500000 | #Constraints: 29303
519.00/520.61 c #Conflicts: 501000 | #Constraints: 30805
519.00/520.61 c #Conflicts: 502000 | #Constraints: 32333
519.00/520.61 c INPROCESSING
519.00/520.61 c GARBAGE COLLECT
519.00/520.61 c rational objective 2.00006
547.70/549.50 c #Conflicts: 503000 | #Constraints: 17203
547.70/549.50 c #Conflicts: 504000 | #Constraints: 18264
547.70/549.50 c #Conflicts: 505000 | #Constraints: 19278
547.70/549.50 c #Conflicts: 506000 | #Constraints: 20278
547.70/549.50 c #Conflicts: 507000 | #Constraints: 21305
547.70/549.50 c #Conflicts: 508000 | #Constraints: 22319
547.70/549.50 c #Conflicts: 509000 | #Constraints: 23319
547.70/549.50 c #Conflicts: 510000 | #Constraints: 24341
547.70/549.50 c #Conflicts: 511000 | #Constraints: 25396
547.70/549.50 c #Conflicts: 512000 | #Constraints: 26464
547.70/549.50 c #Conflicts: 513000 | #Constraints: 27489
547.70/549.50 c #Conflicts: 514000 | #Constraints: 28498
547.70/549.50 c #Conflicts: 515000 | #Constraints: 29498
547.70/549.50 c #Conflicts: 516000 | #Constraints: 30500
547.70/549.50 c INPROCESSING
547.70/549.50 c GARBAGE COLLECT
547.70/549.50 c rational objective 2
599.93/601.84 c #Conflicts: 517000 | #Constraints: 15969
599.93/601.84 c #Conflicts: 518000 | #Constraints: 17016
599.93/601.84 c #Conflicts: 519000 | #Constraints: 18073
599.93/601.84 c #Conflicts: 520000 | #Constraints: 19081
599.93/601.84 c #Conflicts: 521000 | #Constraints: 20081
599.93/601.84 c #Conflicts: 522000 | #Constraints: 21081
599.93/601.84 c #Conflicts: 523000 | #Constraints: 22081
599.93/601.84 c #Conflicts: 524000 | #Constraints: 23087
599.93/601.84 c #Conflicts: 525000 | #Constraints: 24090
599.93/601.84 c #Conflicts: 526000 | #Constraints: 25090
599.93/601.84 c #Conflicts: 527000 | #Constraints: 26090
599.93/601.84 c #Conflicts: 528000 | #Constraints: 27090
599.93/601.84 c #Conflicts: 529000 | #Constraints: 28090
599.93/601.84 c #Conflicts: 530000 | #Constraints: 29113
599.93/601.84 c #Conflicts: 531000 | #Constraints: 30144
599.93/601.84 c INPROCESSING
599.93/601.84 c GARBAGE COLLECT
599.93/601.84 c #Conflicts: 532000 | #Constraints: 15994
599.93/601.84 c #Conflicts: 533000 | #Constraints: 17015
599.93/601.84 c #Conflicts: 534000 | #Constraints: 18015
599.93/601.84 c #Conflicts: 535000 | #Constraints: 19046
599.93/601.84 c #Conflicts: 536000 | #Constraints: 20071
599.93/601.84 c #Conflicts: 537000 | #Constraints: 21116
599.93/601.84 c #Conflicts: 538000 | #Constraints: 22128
599.93/601.84 c #Conflicts: 539000 | #Constraints: 23128
599.93/601.84 c #Conflicts: 540000 | #Constraints: 24162
599.93/601.84 c #Conflicts: 541000 | #Constraints: 25176
599.93/601.84 c #Conflicts: 542000 | #Constraints: 26176
599.93/601.84 c #Conflicts: 543000 | #Constraints: 27176
599.93/601.84 c #Conflicts: 544000 | #Constraints: 28176
599.93/601.84 c #Conflicts: 545000 | #Constraints: 29242
599.93/601.84 c #Conflicts: 546000 | #Constraints: 30242
599.93/601.84 c INPROCESSING
599.93/601.84 c GARBAGE COLLECT
599.93/601.84 c rational objective 2
624.06/626.08 c #Conflicts: 547000 | #Constraints: 16145
624.06/626.08 c #Conflicts: 548000 | #Constraints: 17169
624.06/626.08 c #Conflicts: 549000 | #Constraints: 18173
624.06/626.08 c #Conflicts: 550000 | #Constraints: 19173
624.06/626.08 c #Conflicts: 551000 | #Constraints: 20173
624.06/626.08 c #Conflicts: 552000 | #Constraints: 21173
624.06/626.08 c #Conflicts: 553000 | #Constraints: 22173
624.06/626.08 c #Conflicts: 554000 | #Constraints: 23173
624.06/626.08 c #Conflicts: 555000 | #Constraints: 24173
624.06/626.08 c #Conflicts: 556000 | #Constraints: 25173
624.06/626.08 c #Conflicts: 557000 | #Constraints: 26173
624.06/626.08 c #Conflicts: 558000 | #Constraints: 27173
624.06/626.08 c #Conflicts: 559000 | #Constraints: 28173
624.06/626.08 c #Conflicts: 560000 | #Constraints: 29173
624.06/626.08 c #Conflicts: 561000 | #Constraints: 30173
624.06/626.08 c INPROCESSING
624.06/626.08 c GARBAGE COLLECT
624.06/626.08 c rational objective 2
651.08/653.17 c #Conflicts: 562000 | #Constraints: 16105
651.08/653.17 c #Conflicts: 563000 | #Constraints: 17120
651.08/653.17 c #Conflicts: 564000 | #Constraints: 18120
651.08/653.17 c #Conflicts: 565000 | #Constraints: 19120
651.08/653.17 c #Conflicts: 566000 | #Constraints: 20120
651.08/653.17 c #Conflicts: 567000 | #Constraints: 21120
651.08/653.17 c #Conflicts: 568000 | #Constraints: 22132
651.08/653.17 c #Conflicts: 569000 | #Constraints: 23167
651.08/653.17 c #Conflicts: 570000 | #Constraints: 24190
651.08/653.17 c #Conflicts: 571000 | #Constraints: 25232
651.08/653.17 c #Conflicts: 572000 | #Constraints: 26232
651.08/653.17 c #Conflicts: 573000 | #Constraints: 27232
651.08/653.17 c #Conflicts: 574000 | #Constraints: 28232
651.08/653.17 c #Conflicts: 575000 | #Constraints: 29232
651.08/653.17 c #Conflicts: 576000 | #Constraints: 30232
651.08/653.17 c INPROCESSING
651.08/653.17 c GARBAGE COLLECT
651.08/653.17 c rational objective 2
676.49/678.61 c #Conflicts: 577000 | #Constraints: 16039
676.49/678.61 c #Conflicts: 578000 | #Constraints: 17059
676.49/678.61 c #Conflicts: 579000 | #Constraints: 18061
676.49/678.61 c #Conflicts: 580000 | #Constraints: 19062
676.49/678.61 c #Conflicts: 581000 | #Constraints: 20062
676.49/678.61 c #Conflicts: 582000 | #Constraints: 21066
676.49/678.61 c #Conflicts: 583000 | #Constraints: 22066
676.49/678.61 c #Conflicts: 584000 | #Constraints: 23066
676.49/678.61 c #Conflicts: 585000 | #Constraints: 24066
676.49/678.61 c #Conflicts: 586000 | #Constraints: 25066
676.49/678.61 c #Conflicts: 587000 | #Constraints: 26066
676.49/678.61 c #Conflicts: 588000 | #Constraints: 27066
676.49/678.61 c #Conflicts: 589000 | #Constraints: 28066
676.49/678.61 c #Conflicts: 590000 | #Constraints: 29066
676.49/678.61 c #Conflicts: 591000 | #Constraints: 30066
676.49/678.61 c INPROCESSING
676.49/678.61 c GARBAGE COLLECT
676.49/678.61 c rational objective 2
703.21/705.44 c #Conflicts: 592000 | #Constraints: 15752
703.21/705.44 c #Conflicts: 593000 | #Constraints: 16783
703.21/705.44 c #Conflicts: 594000 | #Constraints: 17783
703.21/705.44 c #Conflicts: 595000 | #Constraints: 18783
703.21/705.44 c #Conflicts: 596000 | #Constraints: 19783
703.21/705.44 c #Conflicts: 597000 | #Constraints: 20783
703.21/705.44 c #Conflicts: 598000 | #Constraints: 21783
703.21/705.44 c #Conflicts: 599000 | #Constraints: 22783
703.21/705.44 c #Conflicts: 600000 | #Constraints: 23783
703.21/705.44 c #Conflicts: 601000 | #Constraints: 24783
703.21/705.44 c #Conflicts: 602000 | #Constraints: 25783
703.21/705.44 c #Conflicts: 603000 | #Constraints: 26783
703.21/705.44 c #Conflicts: 604000 | #Constraints: 27783
703.21/705.44 c #Conflicts: 605000 | #Constraints: 28783
703.21/705.44 c #Conflicts: 606000 | #Constraints: 29783
703.21/705.44 c #Conflicts: 607000 | #Constraints: 30783
703.21/705.44 c INPROCESSING
703.21/705.44 c GARBAGE COLLECT
703.21/705.44 c rational objective 2
730.32/732.60 c #Conflicts: 608000 | #Constraints: 16322
730.32/732.60 c #Conflicts: 609000 | #Constraints: 17375
730.32/732.60 c #Conflicts: 610000 | #Constraints: 18395
730.32/732.60 c #Conflicts: 611000 | #Constraints: 19395
730.32/732.60 c #Conflicts: 612000 | #Constraints: 20395
730.32/732.60 c #Conflicts: 613000 | #Constraints: 21395
730.32/732.60 c #Conflicts: 614000 | #Constraints: 22395
730.32/732.60 c #Conflicts: 615000 | #Constraints: 23395
730.32/732.60 c #Conflicts: 616000 | #Constraints: 24396
730.32/732.60 c #Conflicts: 617000 | #Constraints: 25402
730.32/732.60 c #Conflicts: 618000 | #Constraints: 26444
730.32/732.60 c #Conflicts: 619000 | #Constraints: 27503
730.32/732.60 c #Conflicts: 620000 | #Constraints: 28521
730.32/732.60 c #Conflicts: 621000 | #Constraints: 29546
730.32/732.60 c #Conflicts: 622000 | #Constraints: 30546
730.32/732.60 c #Conflicts: 623000 | #Constraints: 31546
730.32/732.60 c INPROCESSING
730.32/732.60 c GARBAGE COLLECT
730.32/732.60 c rational objective 2
757.13/759.56 c #Conflicts: 624000 | #Constraints: 16794
757.13/759.56 c #Conflicts: 625000 | #Constraints: 17794
757.13/759.56 c #Conflicts: 626000 | #Constraints: 18794
757.13/759.56 c #Conflicts: 627000 | #Constraints: 19794
757.13/759.56 c #Conflicts: 628000 | #Constraints: 20794
757.13/759.56 c #Conflicts: 629000 | #Constraints: 21794
757.13/759.56 c #Conflicts: 630000 | #Constraints: 22794
757.13/759.56 c #Conflicts: 631000 | #Constraints: 23794
757.13/759.56 c #Conflicts: 632000 | #Constraints: 24794
757.13/759.56 c #Conflicts: 633000 | #Constraints: 25794
757.13/759.56 c #Conflicts: 634000 | #Constraints: 26794
757.13/759.56 c #Conflicts: 635000 | #Constraints: 27798
757.13/759.56 c #Conflicts: 636000 | #Constraints: 28798
757.13/759.56 c #Conflicts: 637000 | #Constraints: 29798
757.13/759.56 c #Conflicts: 638000 | #Constraints: 30798
757.13/759.56 c #Conflicts: 639000 | #Constraints: 31798
757.13/759.56 c INPROCESSING
757.13/759.56 c GARBAGE COLLECT
757.13/759.56 c rational objective 2
785.14/787.65 c #Conflicts: 640000 | #Constraints: 16928
785.14/787.65 c #Conflicts: 641000 | #Constraints: 17936
785.14/787.65 c #Conflicts: 642000 | #Constraints: 18936
785.14/787.65 c #Conflicts: 643000 | #Constraints: 19936
785.14/787.65 c #Conflicts: 644000 | #Constraints: 20936
785.14/787.65 c #Conflicts: 645000 | #Constraints: 21939
785.14/787.65 c #Conflicts: 646000 | #Constraints: 22939
785.14/787.65 c #Conflicts: 647000 | #Constraints: 23987
785.14/787.65 c #Conflicts: 648000 | #Constraints: 25028
785.14/787.65 c #Conflicts: 649000 | #Constraints: 26028
785.14/787.65 c #Conflicts: 650000 | #Constraints: 27028
785.14/787.65 c #Conflicts: 651000 | #Constraints: 28028
785.14/787.65 c #Conflicts: 652000 | #Constraints: 29028
785.14/787.65 c #Conflicts: 653000 | #Constraints: 30028
785.14/787.65 c #Conflicts: 654000 | #Constraints: 31028
785.14/787.65 c #Conflicts: 655000 | #Constraints: 32028
785.14/787.65 c INPROCESSING
785.14/787.65 c GARBAGE COLLECT
785.14/787.65 c rational objective 2
819.74/822.37 c #Conflicts: 656000 | #Constraints: 16961
819.74/822.37 c #Conflicts: 657000 | #Constraints: 18086
819.74/822.37 c #Conflicts: 658000 | #Constraints: 19328
819.74/822.37 c #Conflicts: 659000 | #Constraints: 20629
819.74/822.37 c #Conflicts: 660000 | #Constraints: 21875
819.74/822.37 c #Conflicts: 661000 | #Constraints: 22939
819.74/822.37 c #Conflicts: 662000 | #Constraints: 23994
819.74/822.37 c #Conflicts: 663000 | #Constraints: 25030
819.74/822.37 c #Conflicts: 664000 | #Constraints: 26071
819.74/822.37 c #Conflicts: 665000 | #Constraints: 27076
819.74/822.37 c #Conflicts: 666000 | #Constraints: 28076
819.74/822.37 c #Conflicts: 667000 | #Constraints: 29076
819.74/822.37 c #Conflicts: 668000 | #Constraints: 30076
819.74/822.37 c #Conflicts: 669000 | #Constraints: 31087
819.74/822.37 c #Conflicts: 670000 | #Constraints: 32087
819.74/822.37 c #Conflicts: 671000 | #Constraints: 33087
819.74/822.37 c INPROCESSING
819.74/822.37 c GARBAGE COLLECT
819.74/822.37 c rational objective 2
852.23/854.99 c #Conflicts: 672000 | #Constraints: 17268
852.23/854.99 c #Conflicts: 673000 | #Constraints: 18268
852.23/854.99 c #Conflicts: 674000 | #Constraints: 19268
852.23/854.99 c #Conflicts: 675000 | #Constraints: 20268
852.23/854.99 c #Conflicts: 676000 | #Constraints: 21268
852.23/854.99 c #Conflicts: 677000 | #Constraints: 22268
852.23/854.99 c #Conflicts: 678000 | #Constraints: 23268
852.23/854.99 c #Conflicts: 679000 | #Constraints: 24268
852.23/854.99 c #Conflicts: 680000 | #Constraints: 25268
852.23/854.99 c #Conflicts: 681000 | #Constraints: 26268
852.23/854.99 c #Conflicts: 682000 | #Constraints: 27268
852.23/854.99 c #Conflicts: 683000 | #Constraints: 28268
852.23/854.99 c #Conflicts: 684000 | #Constraints: 29275
852.23/854.99 c #Conflicts: 685000 | #Constraints: 30277
852.23/854.99 c #Conflicts: 686000 | #Constraints: 31301
852.23/854.99 c #Conflicts: 687000 | #Constraints: 32307
852.23/854.99 c #Conflicts: 688000 | #Constraints: 33311
852.23/854.99 c INPROCESSING
852.23/854.99 c GARBAGE COLLECT
852.23/854.99 c rational objective 2
885.82/888.65 c #Conflicts: 689000 | #Constraints: 17576
885.82/888.65 c #Conflicts: 690000 | #Constraints: 18579
885.82/888.65 c #Conflicts: 691000 | #Constraints: 19579
885.82/888.65 c #Conflicts: 692000 | #Constraints: 20579
885.82/888.65 c #Conflicts: 693000 | #Constraints: 21581
885.82/888.65 c #Conflicts: 694000 | #Constraints: 22607
885.82/888.65 c #Conflicts: 695000 | #Constraints: 23636
885.82/888.65 c #Conflicts: 696000 | #Constraints: 24643
885.82/888.65 c #Conflicts: 697000 | #Constraints: 25643
885.82/888.65 c #Conflicts: 698000 | #Constraints: 26643
885.82/888.65 c #Conflicts: 699000 | #Constraints: 27643
885.82/888.65 c #Conflicts: 700000 | #Constraints: 28643
885.82/888.65 c #Conflicts: 701000 | #Constraints: 29643
885.82/888.65 c #Conflicts: 702000 | #Constraints: 30643
885.82/888.65 c #Conflicts: 703000 | #Constraints: 31643
885.82/888.65 c #Conflicts: 704000 | #Constraints: 32643
885.82/888.65 c #Conflicts: 705000 | #Constraints: 33643
885.82/888.65 c INPROCESSING
885.82/888.65 c GARBAGE COLLECT
885.82/888.65 c rational objective 2
918.53/921.42 c #Conflicts: 706000 | #Constraints: 17879
918.53/921.42 c #Conflicts: 707000 | #Constraints: 18932
918.53/921.42 c #Conflicts: 708000 | #Constraints: 19941
918.53/921.42 c #Conflicts: 709000 | #Constraints: 20941
918.53/921.42 c #Conflicts: 710000 | #Constraints: 21941
918.53/921.42 c #Conflicts: 711000 | #Constraints: 22941
918.53/921.42 c #Conflicts: 712000 | #Constraints: 23941
918.53/921.42 c #Conflicts: 713000 | #Constraints: 24941
918.53/921.42 c #Conflicts: 714000 | #Constraints: 25941
918.53/921.42 c #Conflicts: 715000 | #Constraints: 26941
918.53/921.42 c #Conflicts: 716000 | #Constraints: 27941
918.53/921.42 c #Conflicts: 717000 | #Constraints: 28941
918.53/921.42 c #Conflicts: 718000 | #Constraints: 29941
918.53/921.42 c #Conflicts: 719000 | #Constraints: 30941
918.53/921.42 c #Conflicts: 720000 | #Constraints: 31941
918.53/921.42 c #Conflicts: 721000 | #Constraints: 32941
918.53/921.42 c #Conflicts: 722000 | #Constraints: 33941
918.53/921.42 c INPROCESSING
918.53/921.42 c GARBAGE COLLECT
918.53/921.42 c rational objective 2
948.94/951.90 c #Conflicts: 723000 | #Constraints: 17999
948.94/951.90 c #Conflicts: 724000 | #Constraints: 18999
948.94/951.90 c #Conflicts: 725000 | #Constraints: 19999
948.94/951.90 c #Conflicts: 726000 | #Constraints: 20999
948.94/951.90 c #Conflicts: 727000 | #Constraints: 21999
948.94/951.90 c #Conflicts: 728000 | #Constraints: 22999
948.94/951.90 c #Conflicts: 729000 | #Constraints: 23999
948.94/951.90 c #Conflicts: 730000 | #Constraints: 24999
948.94/951.90 c #Conflicts: 731000 | #Constraints: 25999
948.94/951.90 c #Conflicts: 732000 | #Constraints: 26999
948.94/951.90 c #Conflicts: 733000 | #Constraints: 27999
948.94/951.90 c #Conflicts: 734000 | #Constraints: 28999
948.94/951.90 c #Conflicts: 735000 | #Constraints: 29999
948.94/951.90 c #Conflicts: 736000 | #Constraints: 30999
948.94/951.90 c #Conflicts: 737000 | #Constraints: 31999
948.94/951.90 c #Conflicts: 738000 | #Constraints: 32999
948.94/951.90 c #Conflicts: 739000 | #Constraints: 33999
948.94/951.90 c INPROCESSING
948.94/951.90 c GARBAGE COLLECT
948.94/951.90 c rational objective 2
978.15/981.27 c #Conflicts: 740000 | #Constraints: 17933
978.15/981.27 c #Conflicts: 741000 | #Constraints: 18960
978.15/981.27 c #Conflicts: 742000 | #Constraints: 19960
978.15/981.27 c #Conflicts: 743000 | #Constraints: 20960
978.15/981.27 c #Conflicts: 744000 | #Constraints: 21960
978.15/981.27 c #Conflicts: 745000 | #Constraints: 22960
978.15/981.27 c #Conflicts: 746000 | #Constraints: 23980
978.15/981.27 c #Conflicts: 747000 | #Constraints: 25004
978.15/981.27 c #Conflicts: 748000 | #Constraints: 26004
978.15/981.27 c #Conflicts: 749000 | #Constraints: 27004
978.15/981.27 c #Conflicts: 750000 | #Constraints: 28004
978.15/981.27 c #Conflicts: 751000 | #Constraints: 29004
978.15/981.27 c #Conflicts: 752000 | #Constraints: 30004
978.15/981.27 c #Conflicts: 753000 | #Constraints: 31004
978.15/981.27 c #Conflicts: 754000 | #Constraints: 32004
978.15/981.27 c #Conflicts: 755000 | #Constraints: 33004
978.15/981.27 c #Conflicts: 756000 | #Constraints: 34004
978.15/981.27 c INPROCESSING
978.15/981.27 c GARBAGE COLLECT
978.15/981.27 c rational objective 2
1007.98/1011.17 c #Conflicts: 757000 | #Constraints: 17722
1007.98/1011.17 c #Conflicts: 758000 | #Constraints: 18843
1007.98/1011.17 c #Conflicts: 759000 | #Constraints: 19852
1007.98/1011.17 c #Conflicts: 760000 | #Constraints: 20852
1007.98/1011.17 c #Conflicts: 761000 | #Constraints: 21852
1007.98/1011.17 c #Conflicts: 762000 | #Constraints: 22852
1007.98/1011.17 c #Conflicts: 763000 | #Constraints: 23852
1007.98/1011.17 c #Conflicts: 764000 | #Constraints: 24852
1007.98/1011.17 c #Conflicts: 765000 | #Constraints: 25852
1007.98/1011.17 c #Conflicts: 766000 | #Constraints: 26852
1007.98/1011.17 c #Conflicts: 767000 | #Constraints: 27879
1007.98/1011.17 c #Conflicts: 768000 | #Constraints: 28879
1007.98/1011.17 c #Conflicts: 769000 | #Constraints: 29879
1007.98/1011.17 c #Conflicts: 770000 | #Constraints: 30879
1007.98/1011.17 c #Conflicts: 771000 | #Constraints: 31879
1007.98/1011.17 c #Conflicts: 772000 | #Constraints: 32879
1007.98/1011.17 c #Conflicts: 773000 | #Constraints: 33879
1007.98/1011.17 c #Conflicts: 774000 | #Constraints: 34879
1007.98/1011.17 c INPROCESSING
1007.98/1011.17 c GARBAGE COLLECT
1007.98/1011.17 c rational objective 2
1041.77/1045.06 c #Conflicts: 775000 | #Constraints: 18436
1041.77/1045.06 c #Conflicts: 776000 | #Constraints: 19490
1041.77/1045.06 c #Conflicts: 777000 | #Constraints: 20490
1041.77/1045.06 c #Conflicts: 778000 | #Constraints: 21490
1041.77/1045.06 c #Conflicts: 779000 | #Constraints: 22490
1041.77/1045.06 c #Conflicts: 780000 | #Constraints: 23490
1041.77/1045.06 c #Conflicts: 781000 | #Constraints: 24490
1041.77/1045.06 c #Conflicts: 782000 | #Constraints: 25490
1041.77/1045.06 c #Conflicts: 783000 | #Constraints: 26490
1041.77/1045.06 c #Conflicts: 784000 | #Constraints: 27490
1041.77/1045.06 c #Conflicts: 785000 | #Constraints: 28490
1041.77/1045.06 c #Conflicts: 786000 | #Constraints: 29490
1041.77/1045.06 c #Conflicts: 787000 | #Constraints: 30490
1041.77/1045.06 c #Conflicts: 788000 | #Constraints: 31490
1041.77/1045.06 c #Conflicts: 789000 | #Constraints: 32490
1041.77/1045.06 c #Conflicts: 790000 | #Constraints: 33490
1041.77/1045.06 c #Conflicts: 791000 | #Constraints: 34490
1041.77/1045.06 c #Conflicts: 792000 | #Constraints: 35490
1041.77/1045.06 c INPROCESSING
1041.77/1045.06 c GARBAGE COLLECT
1041.77/1045.06 c rational objective 2.00006
1073.18/1076.56 c #Conflicts: 793000 | #Constraints: 18802
1073.18/1076.56 c #Conflicts: 794000 | #Constraints: 19876
1073.18/1076.56 c #Conflicts: 795000 | #Constraints: 20891
1073.18/1076.56 c #Conflicts: 796000 | #Constraints: 21891
1073.18/1076.56 c #Conflicts: 797000 | #Constraints: 22893
1073.18/1076.56 c #Conflicts: 798000 | #Constraints: 23899
1073.18/1076.56 c #Conflicts: 799000 | #Constraints: 24899
1073.18/1076.56 c #Conflicts: 800000 | #Constraints: 25899
1073.18/1076.56 c #Conflicts: 801000 | #Constraints: 26899
1073.18/1076.56 c #Conflicts: 802000 | #Constraints: 27899
1073.18/1076.56 c #Conflicts: 803000 | #Constraints: 28899
1073.18/1076.56 c #Conflicts: 804000 | #Constraints: 29899
1073.18/1076.56 c #Conflicts: 805000 | #Constraints: 30899
1073.18/1076.56 c #Conflicts: 806000 | #Constraints: 31899
1073.18/1076.56 c #Conflicts: 807000 | #Constraints: 32899
1073.18/1076.56 c #Conflicts: 808000 | #Constraints: 33899
1073.18/1076.56 c #Conflicts: 809000 | #Constraints: 34899
1073.18/1076.56 c #Conflicts: 810000 | #Constraints: 35899
1073.18/1076.56 c INPROCESSING
1073.18/1076.56 c GARBAGE COLLECT
1073.18/1076.56 c rational objective 2.00004
1106.59/1110.00 c #Conflicts: 811000 | #Constraints: 19065
1106.59/1110.00 c #Conflicts: 812000 | #Constraints: 20151
1106.59/1110.00 c #Conflicts: 813000 | #Constraints: 21152
1106.59/1110.00 c #Conflicts: 814000 | #Constraints: 22152
1106.59/1110.00 c #Conflicts: 815000 | #Constraints: 23160
1106.59/1110.00 c #Conflicts: 816000 | #Constraints: 24196
1106.59/1110.00 c #Conflicts: 817000 | #Constraints: 25299
1106.59/1110.00 c #Conflicts: 818000 | #Constraints: 26357
1106.59/1110.00 c #Conflicts: 819000 | #Constraints: 27357
1106.59/1110.00 c #Conflicts: 820000 | #Constraints: 28357
1106.59/1110.00 c #Conflicts: 821000 | #Constraints: 29357
1106.59/1110.00 c #Conflicts: 822000 | #Constraints: 30357
1106.59/1110.00 c #Conflicts: 823000 | #Constraints: 31357
1106.59/1110.00 c #Conflicts: 824000 | #Constraints: 32357
1106.59/1110.00 c #Conflicts: 825000 | #Constraints: 33357
1106.59/1110.00 c #Conflicts: 826000 | #Constraints: 34357
1106.59/1110.00 c #Conflicts: 827000 | #Constraints: 35357
1106.59/1110.00 c #Conflicts: 828000 | #Constraints: 36357
1106.59/1110.00 c INPROCESSING
1106.59/1110.00 c GARBAGE COLLECT
1106.59/1110.00 c rational objective 2.00004
1153.24/1156.89 c #Conflicts: 829000 | #Constraints: 19140
1153.24/1156.89 c #Conflicts: 830000 | #Constraints: 20206
1153.24/1156.89 c #Conflicts: 831000 | #Constraints: 21302
1153.24/1156.89 c #Conflicts: 832000 | #Constraints: 22384
1153.24/1156.89 c #Conflicts: 833000 | #Constraints: 23430
1153.24/1156.89 c #Conflicts: 834000 | #Constraints: 24435
1153.24/1156.89 c #Conflicts: 835000 | #Constraints: 25458
1153.24/1156.89 c #Conflicts: 836000 | #Constraints: 26483
1153.24/1156.89 c #Conflicts: 837000 | #Constraints: 27573
1153.24/1156.89 c #Conflicts: 838000 | #Constraints: 28659
1153.24/1156.89 c #Conflicts: 839000 | #Constraints: 29734
1153.24/1156.89 c #Conflicts: 840000 | #Constraints: 30734
1153.24/1156.89 c #Conflicts: 841000 | #Constraints: 31734
1153.24/1156.89 c #Conflicts: 842000 | #Constraints: 32734
1153.24/1156.89 c #Conflicts: 843000 | #Constraints: 33734
1153.24/1156.89 c #Conflicts: 844000 | #Constraints: 34734
1153.24/1156.89 c #Conflicts: 845000 | #Constraints: 35734
1153.24/1156.89 c #Conflicts: 846000 | #Constraints: 36734
1153.24/1156.89 c INPROCESSING
1153.24/1156.89 c GARBAGE COLLECT
1153.24/1156.89 c rational objective 2.00027
1189.43/1193.13 c #Conflicts: 847000 | #Constraints: 19095
1189.43/1193.13 c #Conflicts: 848000 | #Constraints: 20130
1189.43/1193.13 c #Conflicts: 849000 | #Constraints: 21152
1189.43/1193.13 c #Conflicts: 850000 | #Constraints: 22173
1189.43/1193.13 c #Conflicts: 851000 | #Constraints: 23173
1189.43/1193.13 c #Conflicts: 852000 | #Constraints: 24215
1189.43/1193.13 c #Conflicts: 853000 | #Constraints: 25284
1189.43/1193.13 c #Conflicts: 854000 | #Constraints: 26320
1189.43/1193.13 c #Conflicts: 855000 | #Constraints: 27406
1189.43/1193.13 c #Conflicts: 856000 | #Constraints: 28494
1189.43/1193.13 c #Conflicts: 857000 | #Constraints: 29570
1189.43/1193.13 c #Conflicts: 858000 | #Constraints: 30633
1189.43/1193.13 c #Conflicts: 859000 | #Constraints: 31699
1189.43/1193.13 c #Conflicts: 860000 | #Constraints: 32785
1189.43/1193.13 c #Conflicts: 861000 | #Constraints: 33868
1189.43/1193.13 c #Conflicts: 862000 | #Constraints: 35024
1189.43/1193.13 c #Conflicts: 863000 | #Constraints: 36189
1189.43/1193.13 c #Conflicts: 864000 | #Constraints: 37352
1189.43/1193.13 c #Conflicts: 865000 | #Constraints: 38556
1189.43/1193.13 c INPROCESSING
1189.43/1193.13 c GARBAGE COLLECT
1189.43/1193.13 c rational objective 1.99985
1232.11/1235.91 c #Conflicts: 866000 | #Constraints: 20267
1232.11/1235.91 c #Conflicts: 867000 | #Constraints: 21325
1232.11/1235.91 c #Conflicts: 868000 | #Constraints: 22382
1232.11/1235.91 c #Conflicts: 869000 | #Constraints: 23437
1232.11/1235.91 c #Conflicts: 870000 | #Constraints: 24474
1232.11/1235.91 c #Conflicts: 871000 | #Constraints: 25489
1232.11/1235.91 c #Conflicts: 872000 | #Constraints: 26489
1232.11/1235.91 c #Conflicts: 873000 | #Constraints: 27489
1232.11/1235.91 c #Conflicts: 874000 | #Constraints: 28495
1232.11/1235.91 c #Conflicts: 875000 | #Constraints: 29499
1232.11/1235.91 c #Conflicts: 876000 | #Constraints: 30527
1232.11/1235.91 c #Conflicts: 877000 | #Constraints: 31579
1232.11/1235.91 c #Conflicts: 878000 | #Constraints: 32610
1232.11/1235.91 c #Conflicts: 879000 | #Constraints: 33655
1232.11/1235.91 c #Conflicts: 880000 | #Constraints: 34670
1232.11/1235.91 c #Conflicts: 881000 | #Constraints: 35670
1232.11/1235.91 c #Conflicts: 882000 | #Constraints: 36691
1232.11/1235.91 c #Conflicts: 883000 | #Constraints: 37740
1232.11/1235.91 c #Conflicts: 884000 | #Constraints: 38742
1232.11/1235.91 c INPROCESSING
1232.11/1235.91 c GARBAGE COLLECT
1232.11/1235.91 c rational objective 1.99991
1267.91/1271.86 c #Conflicts: 885000 | #Constraints: 20410
1267.91/1271.86 c #Conflicts: 886000 | #Constraints: 21410
1267.91/1271.86 c #Conflicts: 887000 | #Constraints: 22410
1267.91/1271.86 c #Conflicts: 888000 | #Constraints: 23410
1267.91/1271.86 c #Conflicts: 889000 | #Constraints: 24410
1267.91/1271.86 c #Conflicts: 890000 | #Constraints: 25410
1267.91/1271.86 c #Conflicts: 891000 | #Constraints: 26410
1267.91/1271.86 c #Conflicts: 892000 | #Constraints: 27410
1267.91/1271.86 c #Conflicts: 893000 | #Constraints: 28410
1267.91/1271.86 c #Conflicts: 894000 | #Constraints: 29413
1267.91/1271.86 c #Conflicts: 895000 | #Constraints: 30443
1267.91/1271.86 c #Conflicts: 896000 | #Constraints: 31465
1267.91/1271.86 c #Conflicts: 897000 | #Constraints: 32494
1267.91/1271.86 c #Conflicts: 898000 | #Constraints: 33494
1267.91/1271.86 c #Conflicts: 899000 | #Constraints: 34494
1267.91/1271.86 c #Conflicts: 900000 | #Constraints: 35494
1267.91/1271.86 c #Conflicts: 901000 | #Constraints: 36494
1267.91/1271.86 c #Conflicts: 902000 | #Constraints: 37494
1267.91/1271.86 c #Conflicts: 903000 | #Constraints: 38494
1267.91/1271.86 c INPROCESSING
1267.91/1271.86 c GARBAGE COLLECT
1267.91/1271.86 c rational objective 1.9998
1308.60/1312.61 c #Conflicts: 904000 | #Constraints: 20266
1308.60/1312.61 c #Conflicts: 905000 | #Constraints: 21286
1308.60/1312.61 c #Conflicts: 906000 | #Constraints: 22308
1308.60/1312.61 c #Conflicts: 907000 | #Constraints: 23345
1308.60/1312.61 c #Conflicts: 908000 | #Constraints: 24346
1308.60/1312.61 c #Conflicts: 909000 | #Constraints: 25346
1308.60/1312.61 c #Conflicts: 910000 | #Constraints: 26346
1308.60/1312.61 c #Conflicts: 911000 | #Constraints: 27346
1308.60/1312.61 c #Conflicts: 912000 | #Constraints: 28346
1308.60/1312.61 c #Conflicts: 913000 | #Constraints: 29346
1308.60/1312.61 c #Conflicts: 914000 | #Constraints: 30346
1308.60/1312.61 c #Conflicts: 915000 | #Constraints: 31346
1308.60/1312.61 c #Conflicts: 916000 | #Constraints: 32346
1308.60/1312.61 c #Conflicts: 917000 | #Constraints: 33346
1308.60/1312.61 c #Conflicts: 918000 | #Constraints: 34346
1308.60/1312.61 c #Conflicts: 919000 | #Constraints: 35346
1308.60/1312.61 c #Conflicts: 920000 | #Constraints: 36346
1308.60/1312.61 c #Conflicts: 921000 | #Constraints: 37346
1308.60/1312.61 c #Conflicts: 922000 | #Constraints: 38346
1308.60/1312.61 c INPROCESSING
1308.60/1312.61 c GARBAGE COLLECT
1308.60/1312.61 c rational objective 1.99938
1352.35/1356.57 c #Conflicts: 923000 | #Constraints: 20124
1352.35/1356.57 c #Conflicts: 924000 | #Constraints: 21211
1352.35/1356.57 c #Conflicts: 925000 | #Constraints: 22291
1352.35/1356.57 c #Conflicts: 926000 | #Constraints: 23417
1352.35/1356.57 c #Conflicts: 927000 | #Constraints: 24545
1352.35/1356.57 c #Conflicts: 928000 | #Constraints: 25675
1352.35/1356.57 c #Conflicts: 929000 | #Constraints: 26780
1352.35/1356.57 c #Conflicts: 930000 | #Constraints: 27871
1352.35/1356.57 c #Conflicts: 931000 | #Constraints: 29020
1352.35/1356.57 c #Conflicts: 932000 | #Constraints: 30182
1352.35/1356.57 c #Conflicts: 933000 | #Constraints: 31300
1352.35/1356.57 c #Conflicts: 934000 | #Constraints: 32443
1352.35/1356.57 c #Conflicts: 935000 | #Constraints: 33558
1352.35/1356.57 c #Conflicts: 936000 | #Constraints: 34653
1352.35/1356.57 c #Conflicts: 937000 | #Constraints: 35729
1352.35/1356.57 c #Conflicts: 938000 | #Constraints: 36823
1352.35/1356.57 c #Conflicts: 939000 | #Constraints: 37866
1352.35/1356.57 c #Conflicts: 940000 | #Constraints: 38955
1352.35/1356.57 c #Conflicts: 941000 | #Constraints: 40037
1352.35/1356.57 c INPROCESSING
1352.35/1356.57 c GARBAGE COLLECT
1352.35/1356.57 c rational objective 1.99938
1392.13/1396.48 c #Conflicts: 942000 | #Constraints: 20783
1392.13/1396.48 c #Conflicts: 943000 | #Constraints: 21816
1392.13/1396.48 c #Conflicts: 944000 | #Constraints: 22830
1392.13/1396.48 c #Conflicts: 945000 | #Constraints: 23830
1392.13/1396.48 c #Conflicts: 946000 | #Constraints: 24830
1392.13/1396.48 c #Conflicts: 947000 | #Constraints: 25830
1392.13/1396.48 c #Conflicts: 948000 | #Constraints: 26830
1392.13/1396.48 c #Conflicts: 949000 | #Constraints: 27830
1392.13/1396.48 c #Conflicts: 950000 | #Constraints: 28830
1392.13/1396.48 c #Conflicts: 951000 | #Constraints: 29830
1392.13/1396.48 c #Conflicts: 952000 | #Constraints: 30830
1392.13/1396.48 c #Conflicts: 953000 | #Constraints: 31830
1392.13/1396.48 c #Conflicts: 954000 | #Constraints: 32830
1392.13/1396.48 c #Conflicts: 955000 | #Constraints: 33830
1392.13/1396.48 c #Conflicts: 956000 | #Constraints: 34830
1392.13/1396.48 c #Conflicts: 957000 | #Constraints: 35830
1392.13/1396.48 c #Conflicts: 958000 | #Constraints: 36830
1392.13/1396.48 c #Conflicts: 959000 | #Constraints: 37830
1392.13/1396.48 c #Conflicts: 960000 | #Constraints: 38830
1392.13/1396.48 c #Conflicts: 961000 | #Constraints: 39830
1392.13/1396.48 c INPROCESSING
1392.13/1396.48 c GARBAGE COLLECT
1392.13/1396.48 c rational objective 1.99938
1439.17/1443.61 c #Conflicts: 962000 | #Constraints: 20876
1439.17/1443.61 c #Conflicts: 963000 | #Constraints: 21924
1439.17/1443.61 c #Conflicts: 964000 | #Constraints: 22979
1439.17/1443.61 c #Conflicts: 965000 | #Constraints: 24018
1439.17/1443.61 c #Conflicts: 966000 | #Constraints: 25058
1439.17/1443.61 c #Conflicts: 967000 | #Constraints: 26100
1439.17/1443.61 c #Conflicts: 968000 | #Constraints: 27130
1439.17/1443.61 c #Conflicts: 969000 | #Constraints: 28172
1439.17/1443.61 c #Conflicts: 970000 | #Constraints: 29215
1439.17/1443.61 c #Conflicts: 971000 | #Constraints: 30221
1439.17/1443.61 c #Conflicts: 972000 | #Constraints: 31221
1439.17/1443.61 c #Conflicts: 973000 | #Constraints: 32221
1439.17/1443.61 c #Conflicts: 974000 | #Constraints: 33221
1439.17/1443.61 c #Conflicts: 975000 | #Constraints: 34221
1439.17/1443.61 c #Conflicts: 976000 | #Constraints: 35221
1439.17/1443.61 c #Conflicts: 977000 | #Constraints: 36221
1439.17/1443.61 c #Conflicts: 978000 | #Constraints: 37221
1439.17/1443.61 c #Conflicts: 979000 | #Constraints: 38221
1439.17/1443.61 c #Conflicts: 980000 | #Constraints: 39221
1439.17/1443.61 c #Conflicts: 981000 | #Constraints: 40221
1439.17/1443.61 c INPROCESSING
1439.17/1443.61 c GARBAGE COLLECT
1439.17/1443.61 c rational objective 1.9994
1488.01/1492.65 c #Conflicts: 982000 | #Constraints: 21218
1488.01/1492.65 c #Conflicts: 983000 | #Constraints: 22308
1488.01/1492.65 c #Conflicts: 984000 | #Constraints: 23434
1488.01/1492.65 c #Conflicts: 985000 | #Constraints: 24474
1488.01/1492.65 c #Conflicts: 986000 | #Constraints: 25474
1488.01/1492.65 c #Conflicts: 987000 | #Constraints: 26474
1488.01/1492.65 c #Conflicts: 988000 | #Constraints: 27474
1488.01/1492.65 c #Conflicts: 989000 | #Constraints: 28474
1488.01/1492.65 c #Conflicts: 990000 | #Constraints: 29474
1488.01/1492.65 c #Conflicts: 991000 | #Constraints: 30474
1488.01/1492.65 c #Conflicts: 992000 | #Constraints: 31474
1488.01/1492.65 c #Conflicts: 993000 | #Constraints: 32474
1488.01/1492.65 c #Conflicts: 994000 | #Constraints: 33474
1488.01/1492.65 c #Conflicts: 995000 | #Constraints: 34474
1488.01/1492.65 c #Conflicts: 996000 | #Constraints: 35474
1488.01/1492.65 c #Conflicts: 997000 | #Constraints: 36474
1488.01/1492.65 c #Conflicts: 998000 | #Constraints: 37474
1488.01/1492.65 c #Conflicts: 999000 | #Constraints: 38474
1488.01/1492.65 c #Conflicts: 1000000 | #Constraints: 39474
1488.01/1492.65 c #Conflicts: 1001000 | #Constraints: 40474
1488.01/1492.65 c INPROCESSING
1488.01/1492.65 c GARBAGE COLLECT
1488.01/1492.65 c rational objective 1.99941
1532.67/1537.48 c #Conflicts: 1002000 | #Constraints: 21296
1532.67/1537.48 c #Conflicts: 1003000 | #Constraints: 22325
1532.67/1537.48 c #Conflicts: 1004000 | #Constraints: 23349
1532.67/1537.48 c #Conflicts: 1005000 | #Constraints: 24357
1532.67/1537.48 c #Conflicts: 1006000 | #Constraints: 25398
1532.67/1537.48 c #Conflicts: 1007000 | #Constraints: 26398
1532.67/1537.48 c #Conflicts: 1008000 | #Constraints: 27398
1532.67/1537.48 c #Conflicts: 1009000 | #Constraints: 28398
1532.67/1537.48 c #Conflicts: 1010000 | #Constraints: 29398
1532.67/1537.48 c #Conflicts: 1011000 | #Constraints: 30398
1532.67/1537.48 c #Conflicts: 1012000 | #Constraints: 31398
1532.67/1537.48 c #Conflicts: 1013000 | #Constraints: 32398
1532.67/1537.48 c #Conflicts: 1014000 | #Constraints: 33398
1532.67/1537.48 c #Conflicts: 1015000 | #Constraints: 34398
1532.67/1537.48 c #Conflicts: 1016000 | #Constraints: 35398
1532.67/1537.48 c #Conflicts: 1017000 | #Constraints: 36398
1532.67/1537.48 c #Conflicts: 1018000 | #Constraints: 37398
1532.67/1537.48 c #Conflicts: 1019000 | #Constraints: 38398
1532.67/1537.48 c #Conflicts: 1020000 | #Constraints: 39398
1532.67/1537.48 c #Conflicts: 1021000 | #Constraints: 40398
1532.67/1537.48 c INPROCESSING
1532.67/1537.48 c GARBAGE COLLECT
1532.67/1537.48 c rational objective 1.99975
1581.52/1586.41 c #Conflicts: 1022000 | #Constraints: 21124
1581.52/1586.41 c #Conflicts: 1023000 | #Constraints: 22162
1581.52/1586.41 c #Conflicts: 1024000 | #Constraints: 23202
1581.52/1586.41 c #Conflicts: 1025000 | #Constraints: 24234
1581.52/1586.41 c #Conflicts: 1026000 | #Constraints: 25268
1581.52/1586.41 c #Conflicts: 1027000 | #Constraints: 26290
1581.52/1586.41 c #Conflicts: 1028000 | #Constraints: 27315
1581.52/1586.41 c #Conflicts: 1029000 | #Constraints: 28315
1581.52/1586.41 c #Conflicts: 1030000 | #Constraints: 29315
1581.52/1586.41 c #Conflicts: 1031000 | #Constraints: 30315
1581.52/1586.41 c #Conflicts: 1032000 | #Constraints: 31315
1581.52/1586.41 c #Conflicts: 1033000 | #Constraints: 32315
1581.52/1586.41 c #Conflicts: 1034000 | #Constraints: 33315
1581.52/1586.41 c #Conflicts: 1035000 | #Constraints: 34315
1581.52/1586.41 c #Conflicts: 1036000 | #Constraints: 35315
1581.52/1586.41 c #Conflicts: 1037000 | #Constraints: 36315
1581.52/1586.41 c #Conflicts: 1038000 | #Constraints: 37315
1581.52/1586.41 c #Conflicts: 1039000 | #Constraints: 38315
1581.52/1586.41 c #Conflicts: 1040000 | #Constraints: 39315
1581.52/1586.41 c #Conflicts: 1041000 | #Constraints: 40315
1581.52/1586.41 c INPROCESSING
1581.52/1586.41 c GARBAGE COLLECT
1581.52/1586.41 c rational objective 1.99936
1629.76/1634.88 c #Conflicts: 1042000 | #Constraints: 20867
1629.76/1634.88 c #Conflicts: 1043000 | #Constraints: 21892
1629.76/1634.88 c #Conflicts: 1044000 | #Constraints: 22892
1629.76/1634.88 c #Conflicts: 1045000 | #Constraints: 23892
1629.76/1634.88 c #Conflicts: 1046000 | #Constraints: 24892
1629.76/1634.88 c #Conflicts: 1047000 | #Constraints: 25892
1629.76/1634.88 c #Conflicts: 1048000 | #Constraints: 26892
1629.76/1634.88 c #Conflicts: 1049000 | #Constraints: 27892
1629.76/1634.88 c #Conflicts: 1050000 | #Constraints: 28892
1629.76/1634.88 c #Conflicts: 1051000 | #Constraints: 29892
1629.76/1634.88 c #Conflicts: 1052000 | #Constraints: 30892
1629.76/1634.88 c #Conflicts: 1053000 | #Constraints: 31892
1629.76/1634.88 c #Conflicts: 1054000 | #Constraints: 32892
1629.76/1634.88 c #Conflicts: 1055000 | #Constraints: 33892
1629.76/1634.88 c #Conflicts: 1056000 | #Constraints: 34892
1629.76/1634.88 c #Conflicts: 1057000 | #Constraints: 35892
1629.76/1634.88 c #Conflicts: 1058000 | #Constraints: 36892
1629.76/1634.88 c #Conflicts: 1059000 | #Constraints: 37892
1629.76/1634.88 c #Conflicts: 1060000 | #Constraints: 38892
1629.76/1634.88 c #Conflicts: 1061000 | #Constraints: 39892
1629.76/1634.88 c #Conflicts: 1062000 | #Constraints: 40892
1629.76/1634.88 c INPROCESSING
1629.76/1634.88 c GARBAGE COLLECT
1629.76/1634.88 c rational objective 1.99897
1678.30/1683.50 c #Conflicts: 1063000 | #Constraints: 21395
1678.30/1683.50 c #Conflicts: 1064000 | #Constraints: 22465
1678.30/1683.50 c #Conflicts: 1065000 | #Constraints: 23502
1678.30/1683.50 c #Conflicts: 1066000 | #Constraints: 24502
1678.30/1683.50 c #Conflicts: 1067000 | #Constraints: 25502
1678.30/1683.50 c #Conflicts: 1068000 | #Constraints: 26503
1678.30/1683.50 c #Conflicts: 1069000 | #Constraints: 27543
1678.30/1683.50 c #Conflicts: 1070000 | #Constraints: 28548
1678.30/1683.50 c #Conflicts: 1071000 | #Constraints: 29548
1678.30/1683.50 c #Conflicts: 1072000 | #Constraints: 30548
1678.30/1683.50 c #Conflicts: 1073000 | #Constraints: 31548
1678.30/1683.50 c #Conflicts: 1074000 | #Constraints: 32548
1678.30/1683.50 c #Conflicts: 1075000 | #Constraints: 33548
1678.30/1683.50 c #Conflicts: 1076000 | #Constraints: 34552
1678.30/1683.50 c #Conflicts: 1077000 | #Constraints: 35552
1678.30/1683.50 c #Conflicts: 1078000 | #Constraints: 36552
1678.30/1683.50 c #Conflicts: 1079000 | #Constraints: 37552
1678.30/1683.50 c #Conflicts: 1080000 | #Constraints: 38552
1678.30/1683.50 c #Conflicts: 1081000 | #Constraints: 39552
1678.30/1683.50 c #Conflicts: 1082000 | #Constraints: 40552
1678.30/1683.50 c #Conflicts: 1083000 | #Constraints: 41552
1678.30/1683.50 c INPROCESSING
1678.30/1683.50 c GARBAGE COLLECT
1678.30/1683.50 c rational objective 1.99997
1735.12/1740.57 c #Conflicts: 1084000 | #Constraints: 21810
1735.12/1740.57 c #Conflicts: 1085000 | #Constraints: 22810
1735.12/1740.57 c #Conflicts: 1086000 | #Constraints: 23817
1735.12/1740.57 c #Conflicts: 1087000 | #Constraints: 24898
1735.12/1740.57 c #Conflicts: 1088000 | #Constraints: 26000
1735.12/1740.57 c #Conflicts: 1089000 | #Constraints: 27100
1735.12/1740.57 c #Conflicts: 1090000 | #Constraints: 28235
1735.12/1740.57 c #Conflicts: 1091000 | #Constraints: 29354
1735.12/1740.57 c #Conflicts: 1092000 | #Constraints: 30507
1735.12/1740.57 c #Conflicts: 1093000 | #Constraints: 31621
1735.12/1740.57 c #Conflicts: 1094000 | #Constraints: 32734
1735.12/1740.57 c #Conflicts: 1095000 | #Constraints: 33857
1735.12/1740.57 c #Conflicts: 1096000 | #Constraints: 34986
1735.12/1740.57 c #Conflicts: 1097000 | #Constraints: 36112
1735.12/1740.57 c #Conflicts: 1098000 | #Constraints: 37266
1735.12/1740.57 c #Conflicts: 1099000 | #Constraints: 38411
1735.12/1740.57 c #Conflicts: 1100000 | #Constraints: 39522
1735.12/1740.57 c #Conflicts: 1101000 | #Constraints: 40629
1735.12/1740.57 c #Conflicts: 1102000 | #Constraints: 41733
1735.12/1740.57 c #Conflicts: 1103000 | #Constraints: 42847
1735.12/1740.57 c #Conflicts: 1104000 | #Constraints: 43961
1735.12/1740.57 c INPROCESSING
1735.12/1740.57 c GARBAGE COLLECT
1735.12/1740.57 c rational objective 1.99997
1789.85/1795.45 c #Conflicts: 1105000 | #Constraints: 23053
1789.85/1795.45 c #Conflicts: 1106000 | #Constraints: 24113
1789.85/1795.45 c #Conflicts: 1107000 | #Constraints: 25166
1789.85/1795.45 c #Conflicts: 1108000 | #Constraints: 26248
1789.85/1795.45 c #Conflicts: 1109000 | #Constraints: 27302
1789.85/1795.45 c #Conflicts: 1110000 | #Constraints: 28352
1789.85/1795.45 c #Conflicts: 1111000 | #Constraints: 29365
1789.85/1795.45 c #Conflicts: 1112000 | #Constraints: 30411
1789.85/1795.45 c #Conflicts: 1113000 | #Constraints: 31465
1789.85/1795.45 c #Conflicts: 1114000 | #Constraints: 32503
1789.85/1795.45 c #Conflicts: 1115000 | #Constraints: 33546
1789.85/1795.45 c #Conflicts: 1116000 | #Constraints: 34586
1789.85/1795.45 c #Conflicts: 1117000 | #Constraints: 35636
1789.85/1795.45 c #Conflicts: 1118000 | #Constraints: 36691
1789.85/1795.45 c #Conflicts: 1119000 | #Constraints: 37748
1789.85/1795.45 c #Conflicts: 1120000 | #Constraints: 38829
1789.85/1795.45 c #Conflicts: 1121000 | #Constraints: 39875
1789.85/1795.45 c #Conflicts: 1122000 | #Constraints: 40914
1789.85/1795.45 c #Conflicts: 1123000 | #Constraints: 41958
1789.85/1795.45 c #Conflicts: 1124000 | #Constraints: 42989
1789.85/1795.45 c #Conflicts: 1125000 | #Constraints: 44030
1789.85/1795.45 c INPROCESSING
1789.85/1795.45 c GARBAGE COLLECT
1789.85/1795.45 c rational objective 2.00044
1842.39/1848.16 c #Conflicts: 1126000 | #Constraints: 22941
1842.39/1848.16 c #Conflicts: 1127000 | #Constraints: 23965
1842.39/1848.16 c #Conflicts: 1128000 | #Constraints: 25009
1842.39/1848.16 c #Conflicts: 1129000 | #Constraints: 26061
1842.39/1848.16 c #Conflicts: 1130000 | #Constraints: 27077
1842.39/1848.16 c #Conflicts: 1131000 | #Constraints: 28091
1842.39/1848.16 c #Conflicts: 1132000 | #Constraints: 29094
1842.39/1848.16 c #Conflicts: 1133000 | #Constraints: 30094
1842.39/1848.16 c #Conflicts: 1134000 | #Constraints: 31094
1842.39/1848.16 c #Conflicts: 1135000 | #Constraints: 32094
1842.39/1848.16 c #Conflicts: 1136000 | #Constraints: 33095
1842.39/1848.16 c #Conflicts: 1137000 | #Constraints: 34095
1842.39/1848.16 c #Conflicts: 1138000 | #Constraints: 35095
1842.39/1848.16 c #Conflicts: 1139000 | #Constraints: 36095
1842.39/1848.16 c #Conflicts: 1140000 | #Constraints: 37095
1842.39/1848.16 c #Conflicts: 1141000 | #Constraints: 38095
1842.39/1848.16 c #Conflicts: 1142000 | #Constraints: 39117
1842.39/1848.16 c #Conflicts: 1143000 | #Constraints: 40151
1842.39/1848.16 c #Conflicts: 1144000 | #Constraints: 41159
1842.39/1848.16 c #Conflicts: 1145000 | #Constraints: 42191
1842.39/1848.16 c #Conflicts: 1146000 | #Constraints: 43233
1842.39/1848.16 c INPROCESSING
1842.39/1848.16 c GARBAGE COLLECT
1842.39/1848.16 c rational objective 1.99999
1891.13/1897.04 c #Conflicts: 1147000 | #Constraints: 22338
1891.13/1897.04 c #Conflicts: 1148000 | #Constraints: 23338
1891.13/1897.04 c #Conflicts: 1149000 | #Constraints: 24399
1891.13/1897.04 c #Conflicts: 1150000 | #Constraints: 25450
1891.13/1897.04 c #Conflicts: 1151000 | #Constraints: 26450
1891.13/1897.04 c #Conflicts: 1152000 | #Constraints: 27450
1891.13/1897.04 c #Conflicts: 1153000 | #Constraints: 28450
1891.13/1897.04 c #Conflicts: 1154000 | #Constraints: 29450
1891.13/1897.04 c #Conflicts: 1155000 | #Constraints: 30450
1891.13/1897.04 c #Conflicts: 1156000 | #Constraints: 31471
1891.13/1897.04 c #Conflicts: 1157000 | #Constraints: 32471
1891.13/1897.04 c #Conflicts: 1158000 | #Constraints: 33471
1891.13/1897.04 c #Conflicts: 1159000 | #Constraints: 34471
1891.13/1897.04 c #Conflicts: 1160000 | #Constraints: 35471
1891.13/1897.04 c #Conflicts: 1161000 | #Constraints: 36471
1891.13/1897.04 c #Conflicts: 1162000 | #Constraints: 37471
1891.13/1897.04 c #Conflicts: 1163000 | #Constraints: 38471
1891.13/1897.04 c #Conflicts: 1164000 | #Constraints: 39471
1891.13/1897.04 c #Conflicts: 1165000 | #Constraints: 40471
1891.13/1897.04 c #Conflicts: 1166000 | #Constraints: 41471
1891.13/1897.04 c #Conflicts: 1167000 | #Constraints: 42471
1891.13/1897.04 c #Conflicts: 1168000 | #Constraints: 43471
1891.13/1897.04 c INPROCESSING
1891.13/1897.04 c GARBAGE COLLECT
1891.13/1897.04 c rational objective 1.99895
1944.06/1950.11 c #Conflicts: 1169000 | #Constraints: 22687
1944.06/1950.11 c #Conflicts: 1170000 | #Constraints: 23687
1944.06/1950.11 c #Conflicts: 1171000 | #Constraints: 24687
1944.06/1950.11 c #Conflicts: 1172000 | #Constraints: 25687
1944.06/1950.11 c #Conflicts: 1173000 | #Constraints: 26692
1944.06/1950.11 c #Conflicts: 1174000 | #Constraints: 27692
1944.06/1950.11 c #Conflicts: 1175000 | #Constraints: 28704
1944.06/1950.11 c #Conflicts: 1176000 | #Constraints: 29704
1944.06/1950.11 c #Conflicts: 1177000 | #Constraints: 30704
1944.06/1950.11 c #Conflicts: 1178000 | #Constraints: 31706
1944.06/1950.11 c #Conflicts: 1179000 | #Constraints: 32706
1944.06/1950.11 c #Conflicts: 1180000 | #Constraints: 33715
1944.06/1950.11 c #Conflicts: 1181000 | #Constraints: 34728
1944.06/1950.11 c #Conflicts: 1182000 | #Constraints: 35728
1944.06/1950.11 c #Conflicts: 1183000 | #Constraints: 36728
1944.06/1950.11 c #Conflicts: 1184000 | #Constraints: 37728
1944.06/1950.11 c #Conflicts: 1185000 | #Constraints: 38728
1944.06/1950.11 c #Conflicts: 1186000 | #Constraints: 39728
1944.06/1950.11 c #Conflicts: 1187000 | #Constraints: 40728
1944.06/1950.11 c #Conflicts: 1188000 | #Constraints: 41728
1944.06/1950.11 c #Conflicts: 1189000 | #Constraints: 42728
1944.06/1950.11 c #Conflicts: 1190000 | #Constraints: 43728
1944.06/1950.11 c INPROCESSING
1944.06/1950.11 c GARBAGE COLLECT
1944.06/1950.11 c rational objective 1.99895
2009.54/2015.80 c #Conflicts: 1191000 | #Constraints: 22878
2009.54/2015.80 c #Conflicts: 1192000 | #Constraints: 23878
2009.54/2015.80 c #Conflicts: 1193000 | #Constraints: 24893
2009.54/2015.80 c #Conflicts: 1194000 | #Constraints: 26007
2009.54/2015.80 c #Conflicts: 1195000 | #Constraints: 27112
2009.54/2015.80 c #Conflicts: 1196000 | #Constraints: 28192
2009.54/2015.80 c #Conflicts: 1197000 | #Constraints: 29350
2009.54/2015.80 c #Conflicts: 1198000 | #Constraints: 30496
2009.54/2015.80 c #Conflicts: 1199000 | #Constraints: 31593
2009.54/2015.80 c #Conflicts: 1200000 | #Constraints: 32676
2009.54/2015.80 c #Conflicts: 1201000 | #Constraints: 33738
2009.54/2015.80 c #Conflicts: 1202000 | #Constraints: 34844
2009.54/2015.80 c #Conflicts: 1203000 | #Constraints: 35946
2009.54/2015.80 c #Conflicts: 1204000 | #Constraints: 37020
2009.54/2015.80 c #Conflicts: 1205000 | #Constraints: 38111
2009.54/2015.80 c #Conflicts: 1206000 | #Constraints: 39223
2009.54/2015.80 c #Conflicts: 1207000 | #Constraints: 40353
2009.54/2015.80 c #Conflicts: 1208000 | #Constraints: 41471
2009.54/2015.80 c #Conflicts: 1209000 | #Constraints: 42527
2009.54/2015.80 c #Conflicts: 1210000 | #Constraints: 43621
2009.54/2015.80 c #Conflicts: 1211000 | #Constraints: 44705
2009.54/2015.80 c #Conflicts: 1212000 | #Constraints: 45768
2009.54/2015.80 c INPROCESSING
2009.54/2015.80 c GARBAGE COLLECT
2009.54/2015.80 c rational objective 1.99895
2076.32/2082.84 c #Conflicts: 1213000 | #Constraints: 23969
2076.32/2082.84 c #Conflicts: 1214000 | #Constraints: 25028
2076.32/2082.84 c #Conflicts: 1215000 | #Constraints: 26084
2076.32/2082.84 c #Conflicts: 1216000 | #Constraints: 27149
2076.32/2082.84 c #Conflicts: 1217000 | #Constraints: 28248
2076.32/2082.84 c #Conflicts: 1218000 | #Constraints: 29323
2076.32/2082.84 c #Conflicts: 1219000 | #Constraints: 30417
2076.32/2082.84 c #Conflicts: 1220000 | #Constraints: 31521
2076.32/2082.84 c #Conflicts: 1221000 | #Constraints: 32595
2076.32/2082.84 c #Conflicts: 1222000 | #Constraints: 33695
2076.32/2082.84 c #Conflicts: 1223000 | #Constraints: 34780
2076.32/2082.84 c #Conflicts: 1224000 | #Constraints: 35879
2076.32/2082.84 c #Conflicts: 1225000 | #Constraints: 36969
2076.32/2082.84 c #Conflicts: 1226000 | #Constraints: 38066
2076.32/2082.84 c #Conflicts: 1227000 | #Constraints: 39168
2076.32/2082.84 c #Conflicts: 1228000 | #Constraints: 40278
2076.32/2082.84 c #Conflicts: 1229000 | #Constraints: 41382
2076.32/2082.84 c #Conflicts: 1230000 | #Constraints: 42458
2076.32/2082.84 c #Conflicts: 1231000 | #Constraints: 43578
2076.32/2082.84 c #Conflicts: 1232000 | #Constraints: 44675
2076.32/2082.84 c #Conflicts: 1233000 | #Constraints: 45771
2076.32/2082.84 c #Conflicts: 1234000 | #Constraints: 46886
2076.32/2082.84 c INPROCESSING
2076.32/2082.84 c GARBAGE COLLECT
2076.32/2082.84 c rational objective 1.99895
2137.52/2144.26 c #Conflicts: 1235000 | #Constraints: 24435
2137.52/2144.26 c #Conflicts: 1236000 | #Constraints: 25614
2137.52/2144.26 c #Conflicts: 1237000 | #Constraints: 26742
2137.52/2144.26 c #Conflicts: 1238000 | #Constraints: 27851
2137.52/2144.26 c #Conflicts: 1239000 | #Constraints: 28937
2137.52/2144.26 c #Conflicts: 1240000 | #Constraints: 30019
2137.52/2144.26 c #Conflicts: 1241000 | #Constraints: 31093
2137.52/2144.26 c #Conflicts: 1242000 | #Constraints: 32253
2137.52/2144.26 c #Conflicts: 1243000 | #Constraints: 33378
2137.52/2144.26 c #Conflicts: 1244000 | #Constraints: 34491
2137.52/2144.26 c #Conflicts: 1245000 | #Constraints: 35641
2137.52/2144.26 c #Conflicts: 1246000 | #Constraints: 36800
2137.52/2144.26 c #Conflicts: 1247000 | #Constraints: 37912
2137.52/2144.26 c #Conflicts: 1248000 | #Constraints: 39052
2137.52/2144.26 c #Conflicts: 1249000 | #Constraints: 40125
2137.52/2144.26 c #Conflicts: 1250000 | #Constraints: 41186
2137.52/2144.26 c #Conflicts: 1251000 | #Constraints: 42296
2137.52/2144.26 c #Conflicts: 1252000 | #Constraints: 43388
2137.52/2144.26 c #Conflicts: 1253000 | #Constraints: 44484
2137.52/2144.26 c #Conflicts: 1254000 | #Constraints: 45609
2137.52/2144.26 c #Conflicts: 1255000 | #Constraints: 46729
2137.52/2144.26 c #Conflicts: 1256000 | #Constraints: 47832
2137.52/2144.26 c INPROCESSING
2137.52/2144.26 c GARBAGE COLLECT
2137.52/2144.26 c rational objective 1.99895
2203.31/2210.23 c #Conflicts: 1257000 | #Constraints: 24662
2203.31/2210.23 c #Conflicts: 1258000 | #Constraints: 25737
2203.31/2210.23 c #Conflicts: 1259000 | #Constraints: 26796
2203.31/2210.23 c #Conflicts: 1260000 | #Constraints: 27876
2203.31/2210.23 c #Conflicts: 1261000 | #Constraints: 28904
2203.31/2210.23 c #Conflicts: 1262000 | #Constraints: 29975
2203.31/2210.23 c #Conflicts: 1263000 | #Constraints: 31065
2203.31/2210.23 c #Conflicts: 1264000 | #Constraints: 32143
2203.31/2210.23 c #Conflicts: 1265000 | #Constraints: 33218
2203.31/2210.23 c #Conflicts: 1266000 | #Constraints: 34322
2203.31/2210.23 c #Conflicts: 1267000 | #Constraints: 35434
2203.31/2210.23 c #Conflicts: 1268000 | #Constraints: 36555
2203.31/2210.23 c #Conflicts: 1269000 | #Constraints: 37625
2203.31/2210.23 c #Conflicts: 1270000 | #Constraints: 38657
2203.31/2210.23 c #Conflicts: 1271000 | #Constraints: 39699
2203.31/2210.23 c #Conflicts: 1272000 | #Constraints: 40730
2203.31/2210.23 c #Conflicts: 1273000 | #Constraints: 41775
2203.31/2210.23 c #Conflicts: 1274000 | #Constraints: 42811
2203.31/2210.23 c #Conflicts: 1275000 | #Constraints: 43894
2203.31/2210.23 c #Conflicts: 1276000 | #Constraints: 44948
2203.31/2210.23 c #Conflicts: 1277000 | #Constraints: 46018
2203.31/2210.23 c #Conflicts: 1278000 | #Constraints: 47147
2203.31/2210.23 c #Conflicts: 1279000 | #Constraints: 48225
2203.31/2210.23 c INPROCESSING
2203.31/2210.23 c GARBAGE COLLECT
2203.31/2210.23 c rational objective 1.99895
2270.91/2278.07 c #Conflicts: 1280000 | #Constraints: 25088
2270.91/2278.07 c #Conflicts: 1281000 | #Constraints: 26150
2270.91/2278.07 c #Conflicts: 1282000 | #Constraints: 27202
2270.91/2278.07 c #Conflicts: 1283000 | #Constraints: 28202
2270.91/2278.07 c #Conflicts: 1284000 | #Constraints: 29248
2270.91/2278.07 c #Conflicts: 1285000 | #Constraints: 30290
2270.91/2278.07 c #Conflicts: 1286000 | #Constraints: 31342
2270.91/2278.07 c #Conflicts: 1287000 | #Constraints: 32393
2270.91/2278.07 c #Conflicts: 1288000 | #Constraints: 33432
2270.91/2278.07 c #Conflicts: 1289000 | #Constraints: 34503
2270.91/2278.07 c #Conflicts: 1290000 | #Constraints: 35599
2270.91/2278.07 c #Conflicts: 1291000 | #Constraints: 36736
2270.91/2278.07 c #Conflicts: 1292000 | #Constraints: 37821
2270.91/2278.07 c #Conflicts: 1293000 | #Constraints: 38906
2270.91/2278.07 c #Conflicts: 1294000 | #Constraints: 40052
2270.91/2278.07 c #Conflicts: 1295000 | #Constraints: 41148
2270.91/2278.07 c #Conflicts: 1296000 | #Constraints: 42197
2270.91/2278.07 c #Conflicts: 1297000 | #Constraints: 43266
2270.91/2278.07 c #Conflicts: 1298000 | #Constraints: 44313
2270.91/2278.07 c #Conflicts: 1299000 | #Constraints: 45370
2270.91/2278.07 c #Conflicts: 1300000 | #Constraints: 46430
2270.91/2278.07 c #Conflicts: 1301000 | #Constraints: 47504
2270.91/2278.07 c #Conflicts: 1302000 | #Constraints: 48554
2270.91/2278.07 c INPROCESSING
2270.91/2278.07 c GARBAGE COLLECT
2270.91/2278.07 c rational objective 1.99895
2342.47/2349.86 c #Conflicts: 1303000 | #Constraints: 25306
2342.47/2349.86 c #Conflicts: 1304000 | #Constraints: 26319
2342.47/2349.86 c #Conflicts: 1305000 | #Constraints: 27355
2342.47/2349.86 c #Conflicts: 1306000 | #Constraints: 28376
2342.47/2349.86 c #Conflicts: 1307000 | #Constraints: 29376
2342.47/2349.86 c #Conflicts: 1308000 | #Constraints: 30376
2342.47/2349.86 c #Conflicts: 1309000 | #Constraints: 31376
2342.47/2349.86 c #Conflicts: 1310000 | #Constraints: 32376
2342.47/2349.86 c #Conflicts: 1311000 | #Constraints: 33376
2342.47/2349.86 c #Conflicts: 1312000 | #Constraints: 34376
2342.47/2349.86 c #Conflicts: 1313000 | #Constraints: 35376
2342.47/2349.86 c #Conflicts: 1314000 | #Constraints: 36376
2342.47/2349.86 c #Conflicts: 1315000 | #Constraints: 37376
2342.47/2349.86 c #Conflicts: 1316000 | #Constraints: 38376
2342.47/2349.86 c #Conflicts: 1317000 | #Constraints: 39376
2342.47/2349.86 c #Conflicts: 1318000 | #Constraints: 40376
2342.47/2349.86 c #Conflicts: 1319000 | #Constraints: 41376
2342.47/2349.86 c #Conflicts: 1320000 | #Constraints: 42376
2342.47/2349.86 c #Conflicts: 1321000 | #Constraints: 43376
2342.47/2349.86 c #Conflicts: 1322000 | #Constraints: 44376
2342.47/2349.86 c #Conflicts: 1323000 | #Constraints: 45376
2342.47/2349.86 c #Conflicts: 1324000 | #Constraints: 46376
2342.47/2349.86 c #Conflicts: 1325000 | #Constraints: 47376
2342.47/2349.86 c INPROCESSING
2342.47/2349.86 c GARBAGE COLLECT
2342.47/2349.86 c rational objective 1.99895
2405.37/2412.92 c #Conflicts: 1326000 | #Constraints: 24737
2405.37/2412.92 c #Conflicts: 1327000 | #Constraints: 25824
2405.37/2412.92 c #Conflicts: 1328000 | #Constraints: 26852
2405.37/2412.92 c #Conflicts: 1329000 | #Constraints: 27852
2405.37/2412.92 c #Conflicts: 1330000 | #Constraints: 28852
2405.37/2412.92 c #Conflicts: 1331000 | #Constraints: 29852
2405.37/2412.92 c #Conflicts: 1332000 | #Constraints: 30852
2405.37/2412.92 c #Conflicts: 1333000 | #Constraints: 31852
2405.37/2412.92 c #Conflicts: 1334000 | #Constraints: 32852
2405.37/2412.92 c #Conflicts: 1335000 | #Constraints: 33852
2405.37/2412.92 c #Conflicts: 1336000 | #Constraints: 34852
2405.37/2412.92 c #Conflicts: 1337000 | #Constraints: 35852
2405.37/2412.92 c #Conflicts: 1338000 | #Constraints: 36852
2405.37/2412.92 c #Conflicts: 1339000 | #Constraints: 37852
2405.37/2412.92 c #Conflicts: 1340000 | #Constraints: 38852
2405.37/2412.92 c #Conflicts: 1341000 | #Constraints: 39852
2405.37/2412.92 c #Conflicts: 1342000 | #Constraints: 40852
2405.37/2412.92 c #Conflicts: 1343000 | #Constraints: 41852
2405.37/2412.92 c #Conflicts: 1344000 | #Constraints: 42852
2405.37/2412.92 c #Conflicts: 1345000 | #Constraints: 43852
2405.37/2412.92 c #Conflicts: 1346000 | #Constraints: 44852
2405.37/2412.92 c #Conflicts: 1347000 | #Constraints: 45852
2405.37/2412.92 c #Conflicts: 1348000 | #Constraints: 46852
2405.37/2412.92 c INPROCESSING
2405.37/2412.92 c GARBAGE COLLECT
2405.37/2412.92 c rational objective 1.99895
2476.24/2484.06 c #Conflicts: 1349000 | #Constraints: 24424
2476.24/2484.06 c #Conflicts: 1350000 | #Constraints: 25568
2476.24/2484.06 c #Conflicts: 1351000 | #Constraints: 26746
2476.24/2484.06 c #Conflicts: 1352000 | #Constraints: 27887
2476.24/2484.06 c #Conflicts: 1353000 | #Constraints: 29058
2476.24/2484.06 c #Conflicts: 1354000 | #Constraints: 30202
2476.24/2484.06 c #Conflicts: 1355000 | #Constraints: 31326
2476.24/2484.06 c #Conflicts: 1356000 | #Constraints: 32485
2476.24/2484.06 c #Conflicts: 1357000 | #Constraints: 33648
2476.24/2484.06 c #Conflicts: 1358000 | #Constraints: 34795
2476.24/2484.06 c #Conflicts: 1359000 | #Constraints: 35940
2476.24/2484.06 c #Conflicts: 1360000 | #Constraints: 37049
2476.24/2484.06 c #Conflicts: 1361000 | #Constraints: 38160
2476.24/2484.06 c #Conflicts: 1362000 | #Constraints: 39269
2476.24/2484.06 c #Conflicts: 1363000 | #Constraints: 40391
2476.24/2484.06 c #Conflicts: 1364000 | #Constraints: 41488
2476.24/2484.06 c #Conflicts: 1365000 | #Constraints: 42603
2476.24/2484.06 c #Conflicts: 1366000 | #Constraints: 43693
2476.24/2484.06 c #Conflicts: 1367000 | #Constraints: 44785
2476.24/2484.06 c #Conflicts: 1368000 | #Constraints: 45902
2476.24/2484.06 c #Conflicts: 1369000 | #Constraints: 46981
2476.24/2484.06 c #Conflicts: 1370000 | #Constraints: 48070
2476.24/2484.06 c #Conflicts: 1371000 | #Constraints: 49179
2476.24/2484.06 c INPROCESSING
2476.24/2484.06 c GARBAGE COLLECT
2476.24/2484.06 c rational objective 1.99895
2546.75/2554.79 c #Conflicts: 1372000 | #Constraints: 25368
2546.75/2554.79 c #Conflicts: 1373000 | #Constraints: 26480
2546.75/2554.79 c #Conflicts: 1374000 | #Constraints: 27609
2546.75/2554.79 c #Conflicts: 1375000 | #Constraints: 28686
2546.75/2554.79 c #Conflicts: 1376000 | #Constraints: 29744
2546.75/2554.79 c #Conflicts: 1377000 | #Constraints: 30816
2546.75/2554.79 c #Conflicts: 1378000 | #Constraints: 31865
2546.75/2554.79 c #Conflicts: 1379000 | #Constraints: 32968
2546.75/2554.79 c #Conflicts: 1380000 | #Constraints: 34090
2546.75/2554.79 c #Conflicts: 1381000 | #Constraints: 35204
2546.75/2554.79 c #Conflicts: 1382000 | #Constraints: 36269
2546.75/2554.79 c #Conflicts: 1383000 | #Constraints: 37327
2546.75/2554.79 c #Conflicts: 1384000 | #Constraints: 38398
2546.75/2554.79 c #Conflicts: 1385000 | #Constraints: 39471
2546.75/2554.79 c #Conflicts: 1386000 | #Constraints: 40548
2546.75/2554.79 c #Conflicts: 1387000 | #Constraints: 41645
2546.75/2554.79 c #Conflicts: 1388000 | #Constraints: 42701
2546.75/2554.79 c #Conflicts: 1389000 | #Constraints: 43777
2546.75/2554.79 c #Conflicts: 1390000 | #Constraints: 44839
2546.75/2554.79 c #Conflicts: 1391000 | #Constraints: 45939
2546.75/2554.79 c #Conflicts: 1392000 | #Constraints: 47004
2546.75/2554.79 c #Conflicts: 1393000 | #Constraints: 48044
2546.75/2554.79 c #Conflicts: 1394000 | #Constraints: 49087
2546.75/2554.79 c #Conflicts: 1395000 | #Constraints: 50126
2546.75/2554.79 c INPROCESSING
2546.75/2554.79 c GARBAGE COLLECT
2546.75/2554.79 c rational objective 1.99895
2618.15/2626.31 c #Conflicts: 1396000 | #Constraints: 26042
2618.15/2626.31 c #Conflicts: 1397000 | #Constraints: 27082
2618.15/2626.31 c #Conflicts: 1398000 | #Constraints: 28082
2618.15/2626.31 c #Conflicts: 1399000 | #Constraints: 29082
2618.15/2626.31 c #Conflicts: 1400000 | #Constraints: 30082
2618.15/2626.31 c #Conflicts: 1401000 | #Constraints: 31082
2618.15/2626.31 c #Conflicts: 1402000 | #Constraints: 32082
2618.15/2626.31 c #Conflicts: 1403000 | #Constraints: 33082
2618.15/2626.31 c #Conflicts: 1404000 | #Constraints: 34082
2618.15/2626.31 c #Conflicts: 1405000 | #Constraints: 35082
2618.15/2626.31 c #Conflicts: 1406000 | #Constraints: 36101
2618.15/2626.31 c #Conflicts: 1407000 | #Constraints: 37141
2618.15/2626.31 c #Conflicts: 1408000 | #Constraints: 38176
2618.15/2626.31 c #Conflicts: 1409000 | #Constraints: 39212
2618.15/2626.31 c #Conflicts: 1410000 | #Constraints: 40253
2618.15/2626.31 c #Conflicts: 1411000 | #Constraints: 41282
2618.15/2626.31 c #Conflicts: 1412000 | #Constraints: 42322
2618.15/2626.31 c #Conflicts: 1413000 | #Constraints: 43353
2618.15/2626.31 c #Conflicts: 1414000 | #Constraints: 44388
2618.15/2626.31 c #Conflicts: 1415000 | #Constraints: 45420
2618.15/2626.31 c #Conflicts: 1416000 | #Constraints: 46459
2618.15/2626.31 c #Conflicts: 1417000 | #Constraints: 47506
2618.15/2626.31 c #Conflicts: 1418000 | #Constraints: 48547
2618.15/2626.31 c #Conflicts: 1419000 | #Constraints: 49668
2618.15/2626.31 c INPROCESSING
2618.15/2626.31 c GARBAGE COLLECT
2618.15/2626.31 c rational objective 1.99895
2684.18/2692.58 c #Conflicts: 1420000 | #Constraints: 25873
2684.18/2692.58 c #Conflicts: 1421000 | #Constraints: 26900
2684.18/2692.58 c #Conflicts: 1422000 | #Constraints: 27921
2684.18/2692.58 c #Conflicts: 1423000 | #Constraints: 28985
2684.18/2692.58 c #Conflicts: 1424000 | #Constraints: 30038
2684.18/2692.58 c #Conflicts: 1425000 | #Constraints: 31073
2684.18/2692.58 c #Conflicts: 1426000 | #Constraints: 32105
2684.18/2692.58 c #Conflicts: 1427000 | #Constraints: 33112
2684.18/2692.58 c #Conflicts: 1428000 | #Constraints: 34112
2684.18/2692.58 c #Conflicts: 1429000 | #Constraints: 35112
2684.18/2692.58 c #Conflicts: 1430000 | #Constraints: 36112
2684.18/2692.58 c #Conflicts: 1431000 | #Constraints: 37112
2684.18/2692.58 c #Conflicts: 1432000 | #Constraints: 38112
2684.18/2692.58 c #Conflicts: 1433000 | #Constraints: 39112
2684.18/2692.58 c #Conflicts: 1434000 | #Constraints: 40112
2684.18/2692.58 c #Conflicts: 1435000 | #Constraints: 41112
2684.18/2692.58 c #Conflicts: 1436000 | #Constraints: 42112
2684.18/2692.58 c #Conflicts: 1437000 | #Constraints: 43112
2684.18/2692.58 c #Conflicts: 1438000 | #Constraints: 44112
2684.18/2692.58 c #Conflicts: 1439000 | #Constraints: 45112
2684.18/2692.58 c #Conflicts: 1440000 | #Constraints: 46112
2684.18/2692.58 c #Conflicts: 1441000 | #Constraints: 47112
2684.18/2692.58 c #Conflicts: 1442000 | #Constraints: 48112
2684.18/2692.58 c #Conflicts: 1443000 | #Constraints: 49112
2684.18/2692.58 c INPROCESSING
2684.18/2692.58 c GARBAGE COLLECT
2684.18/2692.58 c rational objective 1.99895
2760.08/2768.67 c #Conflicts: 1444000 | #Constraints: 25666
2760.08/2768.67 c #Conflicts: 1445000 | #Constraints: 26762
2760.08/2768.67 c #Conflicts: 1446000 | #Constraints: 27845
2760.08/2768.67 c #Conflicts: 1447000 | #Constraints: 28932
2760.08/2768.67 c #Conflicts: 1448000 | #Constraints: 30015
2760.08/2768.67 c #Conflicts: 1449000 | #Constraints: 31209
2760.08/2768.67 c #Conflicts: 1450000 | #Constraints: 32352
2760.08/2768.67 c #Conflicts: 1451000 | #Constraints: 33510
2760.08/2768.67 c #Conflicts: 1452000 | #Constraints: 34661
2760.08/2768.67 c #Conflicts: 1453000 | #Constraints: 35819
2760.08/2768.67 c #Conflicts: 1454000 | #Constraints: 36954
2760.08/2768.67 c #Conflicts: 1455000 | #Constraints: 38074
2760.08/2768.67 c #Conflicts: 1456000 | #Constraints: 39204
2760.08/2768.67 c #Conflicts: 1457000 | #Constraints: 40347
2760.08/2768.67 c #Conflicts: 1458000 | #Constraints: 41473
2760.08/2768.67 c #Conflicts: 1459000 | #Constraints: 42582
2760.08/2768.67 c #Conflicts: 1460000 | #Constraints: 43746
2760.08/2768.67 c #Conflicts: 1461000 | #Constraints: 44859
2760.08/2768.67 c #Conflicts: 1462000 | #Constraints: 45946
2760.08/2768.67 c #Conflicts: 1463000 | #Constraints: 47041
2760.08/2768.67 c #Conflicts: 1464000 | #Constraints: 48102
2760.08/2768.67 c #Conflicts: 1465000 | #Constraints: 49184
2760.08/2768.67 c #Conflicts: 1466000 | #Constraints: 50278
2760.08/2768.67 c #Conflicts: 1467000 | #Constraints: 51391
2760.08/2768.67 c INPROCESSING
2760.08/2768.67 c GARBAGE COLLECT
2760.08/2768.67 c rational objective 1.99895
2847.94/2856.75 c #Conflicts: 1468000 | #Constraints: 26679
2847.94/2856.75 c #Conflicts: 1469000 | #Constraints: 27755
2847.94/2856.75 c #Conflicts: 1470000 | #Constraints: 28872
2847.94/2856.75 c #Conflicts: 1471000 | #Constraints: 29948
2847.94/2856.75 c #Conflicts: 1472000 | #Constraints: 31026
2847.94/2856.75 c #Conflicts: 1473000 | #Constraints: 32113
2847.94/2856.75 c #Conflicts: 1474000 | #Constraints: 33184
2847.94/2856.75 c #Conflicts: 1475000 | #Constraints: 34322
2847.94/2856.75 c #Conflicts: 1476000 | #Constraints: 35418
2847.94/2856.75 c #Conflicts: 1477000 | #Constraints: 36527
2847.94/2856.75 c #Conflicts: 1478000 | #Constraints: 37652
2847.94/2856.75 c #Conflicts: 1479000 | #Constraints: 38803
2847.94/2856.75 c #Conflicts: 1480000 | #Constraints: 39903
2847.94/2856.75 c #Conflicts: 1481000 | #Constraints: 41041
2847.94/2856.75 c #Conflicts: 1482000 | #Constraints: 42159
2847.94/2856.75 c #Conflicts: 1483000 | #Constraints: 43250
2847.94/2856.75 c #Conflicts: 1484000 | #Constraints: 44347
2847.94/2856.75 c #Conflicts: 1485000 | #Constraints: 45428
2847.94/2856.75 c #Conflicts: 1486000 | #Constraints: 46538
2847.94/2856.75 c #Conflicts: 1487000 | #Constraints: 47611
2847.94/2856.75 c #Conflicts: 1488000 | #Constraints: 48704
2847.94/2856.75 c #Conflicts: 1489000 | #Constraints: 49805
2847.94/2856.75 c #Conflicts: 1490000 | #Constraints: 50954
2847.94/2856.75 c #Conflicts: 1491000 | #Constraints: 52033
2847.94/2856.75 c INPROCESSING
2847.94/2856.75 c GARBAGE COLLECT
2847.94/2856.75 c rational objective 1.99899
2932.32/2941.35 c #Conflicts: 1492000 | #Constraints: 26755
2932.32/2941.35 c #Conflicts: 1493000 | #Constraints: 27811
2932.32/2941.35 c #Conflicts: 1494000 | #Constraints: 28873
2932.32/2941.35 c #Conflicts: 1495000 | #Constraints: 29956
2932.32/2941.35 c #Conflicts: 1496000 | #Constraints: 31058
2932.32/2941.35 c #Conflicts: 1497000 | #Constraints: 32108
2932.32/2941.35 c #Conflicts: 1498000 | #Constraints: 33202
2932.32/2941.35 c #Conflicts: 1499000 | #Constraints: 34274
2932.32/2941.35 c #Conflicts: 1500000 | #Constraints: 35339
2932.32/2941.35 c #Conflicts: 1501000 | #Constraints: 36394
2932.32/2941.35 c #Conflicts: 1502000 | #Constraints: 37455
2932.32/2941.35 c #Conflicts: 1503000 | #Constraints: 38511
2932.32/2941.35 c #Conflicts: 1504000 | #Constraints: 39569
2932.32/2941.35 c #Conflicts: 1505000 | #Constraints: 40634
2932.32/2941.35 c #Conflicts: 1506000 | #Constraints: 41767
2932.32/2941.35 c #Conflicts: 1507000 | #Constraints: 42829
2932.32/2941.35 c #Conflicts: 1508000 | #Constraints: 43906
2932.32/2941.35 c #Conflicts: 1509000 | #Constraints: 44978
2932.32/2941.35 c #Conflicts: 1510000 | #Constraints: 46077
2932.32/2941.35 c #Conflicts: 1511000 | #Constraints: 47078
2932.32/2941.35 c #Conflicts: 1512000 | #Constraints: 48134
2932.32/2941.35 c #Conflicts: 1513000 | #Constraints: 49189
2932.32/2941.35 c #Conflicts: 1514000 | #Constraints: 50289
2932.32/2941.35 c #Conflicts: 1515000 | #Constraints: 51362
2932.32/2941.35 c #Conflicts: 1516000 | #Constraints: 52437
2932.32/2941.35 c INPROCESSING
2932.32/2941.35 c GARBAGE COLLECT
2932.32/2941.35 c rational objective 2.00816
3016.69/3025.97 c #Conflicts: 1517000 | #Constraints: 27219
3016.69/3025.97 c #Conflicts: 1518000 | #Constraints: 28300
3016.69/3025.97 c #Conflicts: 1519000 | #Constraints: 29392
3016.69/3025.97 c #Conflicts: 1520000 | #Constraints: 30571
3016.69/3025.97 c #Conflicts: 1521000 | #Constraints: 31687
3016.69/3025.97 c #Conflicts: 1522000 | #Constraints: 32794
3016.69/3025.97 c #Conflicts: 1523000 | #Constraints: 33895
3016.69/3025.97 c #Conflicts: 1524000 | #Constraints: 35036
3016.69/3025.97 c #Conflicts: 1525000 | #Constraints: 36144
3016.69/3025.97 c #Conflicts: 1526000 | #Constraints: 37217
3016.69/3025.97 c #Conflicts: 1527000 | #Constraints: 38309
3016.69/3025.97 c #Conflicts: 1528000 | #Constraints: 39309
3016.69/3025.97 c #Conflicts: 1529000 | #Constraints: 40309
3016.69/3025.97 c #Conflicts: 1530000 | #Constraints: 41309
3016.69/3025.97 c #Conflicts: 1531000 | #Constraints: 42309
3016.69/3025.97 c #Conflicts: 1532000 | #Constraints: 43309
3016.69/3025.97 c #Conflicts: 1533000 | #Constraints: 44309
3016.69/3025.97 c #Conflicts: 1534000 | #Constraints: 45309
3016.69/3025.97 c #Conflicts: 1535000 | #Constraints: 46360
3016.69/3025.97 c #Conflicts: 1536000 | #Constraints: 47449
3016.69/3025.97 c #Conflicts: 1537000 | #Constraints: 48541
3016.69/3025.97 c #Conflicts: 1538000 | #Constraints: 49647
3016.69/3025.97 c #Conflicts: 1539000 | #Constraints: 50748
3016.69/3025.97 c #Conflicts: 1540000 | #Constraints: 51874
3016.69/3025.97 c #Conflicts: 1541000 | #Constraints: 52984
3016.69/3025.97 c INPROCESSING
3016.69/3025.97 c GARBAGE COLLECT
3016.69/3025.97 c rational objective 2.21162
3105.06/3114.52 c #Conflicts: 1542000 | #Constraints: 27558
3105.06/3114.52 c #Conflicts: 1543000 | #Constraints: 28634
3105.06/3114.52 c #Conflicts: 1544000 | #Constraints: 29749
3105.06/3114.52 c #Conflicts: 1545000 | #Constraints: 30883
3105.06/3114.52 c #Conflicts: 1546000 | #Constraints: 31992
3105.06/3114.52 c #Conflicts: 1547000 | #Constraints: 33057
3105.06/3114.52 c #Conflicts: 1548000 | #Constraints: 34117
3105.06/3114.52 c #Conflicts: 1549000 | #Constraints: 35204
3105.06/3114.52 c #Conflicts: 1550000 | #Constraints: 36364
3105.06/3114.52 c #Conflicts: 1551000 | #Constraints: 37450
3105.06/3114.52 c #Conflicts: 1552000 | #Constraints: 38644
3105.06/3114.52 c #Conflicts: 1553000 | #Constraints: 39839
3105.06/3114.52 c #Conflicts: 1554000 | #Constraints: 41004
3105.06/3114.52 c #Conflicts: 1555000 | #Constraints: 42201
3105.06/3114.52 c #Conflicts: 1556000 | #Constraints: 43341
3105.06/3114.52 c #Conflicts: 1557000 | #Constraints: 44499
3105.06/3114.52 c #Conflicts: 1558000 | #Constraints: 45650
3105.06/3114.52 c #Conflicts: 1559000 | #Constraints: 46841
3105.06/3114.52 c #Conflicts: 1560000 | #Constraints: 48022
3105.06/3114.52 c #Conflicts: 1561000 | #Constraints: 49205
3105.06/3114.52 c #Conflicts: 1562000 | #Constraints: 50437
3105.06/3114.52 c #Conflicts: 1563000 | #Constraints: 51666
3105.06/3114.52 c #Conflicts: 1564000 | #Constraints: 52858
3105.06/3114.52 c #Conflicts: 1565000 | #Constraints: 54065
3105.06/3114.52 c #Conflicts: 1566000 | #Constraints: 55255
3105.06/3114.52 c INPROCESSING
3105.06/3114.52 c GARBAGE COLLECT
3105.06/3114.52 c rational objective 2.33509
3202.87/3212.70 c #Conflicts: 1567000 | #Constraints: 28687
3202.87/3212.70 c #Conflicts: 1568000 | #Constraints: 29727
3202.87/3212.70 c #Conflicts: 1569000 | #Constraints: 30802
3202.87/3212.70 c #Conflicts: 1570000 | #Constraints: 31867
3202.87/3212.70 c #Conflicts: 1571000 | #Constraints: 32989
3202.87/3212.70 c #Conflicts: 1572000 | #Constraints: 34066
3202.87/3212.70 c #Conflicts: 1573000 | #Constraints: 35119
3202.87/3212.70 c #Conflicts: 1574000 | #Constraints: 36192
3202.87/3212.70 c #Conflicts: 1575000 | #Constraints: 37448
3202.87/3212.70 c #Conflicts: 1576000 | #Constraints: 38466
3202.87/3212.70 c #Conflicts: 1577000 | #Constraints: 39507
3202.87/3212.70 c #Conflicts: 1578000 | #Constraints: 40536
3202.87/3212.70 c #Conflicts: 1579000 | #Constraints: 41586
3202.87/3212.70 c #Conflicts: 1580000 | #Constraints: 42619
3202.87/3212.70 c #Conflicts: 1581000 | #Constraints: 43659
3202.87/3212.70 c #Conflicts: 1582000 | #Constraints: 44704
3202.87/3212.70 c #Conflicts: 1583000 | #Constraints: 45741
3202.87/3212.70 c #Conflicts: 1584000 | #Constraints: 46778
3202.87/3212.70 c #Conflicts: 1585000 | #Constraints: 47836
3202.87/3212.70 c #Conflicts: 1586000 | #Constraints: 48902
3202.87/3212.70 c #Conflicts: 1587000 | #Constraints: 49939
3202.87/3212.70 c #Conflicts: 1588000 | #Constraints: 50987
3202.87/3212.70 c #Conflicts: 1589000 | #Constraints: 52025
3202.87/3212.70 c #Conflicts: 1590000 | #Constraints: 53082
3202.87/3212.70 c #Conflicts: 1591000 | #Constraints: 54129
3202.87/3212.70 c INPROCESSING
3202.87/3212.70 c GARBAGE COLLECT
3202.87/3212.70 c rational objective 2.15646
3291.19/3301.24 c #Conflicts: 1592000 | #Constraints: 28008
3291.19/3301.24 c #Conflicts: 1593000 | #Constraints: 29063
3291.19/3301.24 c #Conflicts: 1594000 | #Constraints: 30106
3291.19/3301.24 c #Conflicts: 1595000 | #Constraints: 31152
3291.19/3301.24 c #Conflicts: 1596000 | #Constraints: 32198
3291.19/3301.24 c #Conflicts: 1597000 | #Constraints: 33228
3291.19/3301.24 c #Conflicts: 1598000 | #Constraints: 34254
3291.19/3301.24 c #Conflicts: 1599000 | #Constraints: 35300
3291.19/3301.24 c #Conflicts: 1600000 | #Constraints: 36341
3291.19/3301.24 c #Conflicts: 1601000 | #Constraints: 37407
3291.19/3301.24 c #Conflicts: 1602000 | #Constraints: 38416
3291.19/3301.24 c #Conflicts: 1603000 | #Constraints: 39416
3291.19/3301.24 c #Conflicts: 1604000 | #Constraints: 40421
3291.19/3301.24 c #Conflicts: 1605000 | #Constraints: 41421
3291.19/3301.24 c #Conflicts: 1606000 | #Constraints: 42421
3291.19/3301.24 c #Conflicts: 1607000 | #Constraints: 43421
3291.19/3301.24 c #Conflicts: 1608000 | #Constraints: 44421
3291.19/3301.24 c #Conflicts: 1609000 | #Constraints: 45421
3291.19/3301.24 c #Conflicts: 1610000 | #Constraints: 46421
3291.19/3301.24 c #Conflicts: 1611000 | #Constraints: 47421
3291.19/3301.24 c #Conflicts: 1612000 | #Constraints: 48421
3291.19/3301.24 c #Conflicts: 1613000 | #Constraints: 49421
3291.19/3301.24 c #Conflicts: 1614000 | #Constraints: 50421
3291.19/3301.24 c #Conflicts: 1615000 | #Constraints: 51421
3291.19/3301.24 c #Conflicts: 1616000 | #Constraints: 52421
3291.19/3301.24 c INPROCESSING
3291.19/3301.24 c GARBAGE COLLECT
3291.19/3301.24 c rational objective 2.25405
3386.81/3397.14 c #Conflicts: 1617000 | #Constraints: 26918
3386.81/3397.14 c #Conflicts: 1618000 | #Constraints: 27961
3386.81/3397.14 c #Conflicts: 1619000 | #Constraints: 29015
3386.81/3397.14 c #Conflicts: 1620000 | #Constraints: 30100
3386.81/3397.14 c #Conflicts: 1621000 | #Constraints: 31117
3386.81/3397.14 c #Conflicts: 1622000 | #Constraints: 32117
3386.81/3397.14 c #Conflicts: 1623000 | #Constraints: 33117
3386.81/3397.14 c #Conflicts: 1624000 | #Constraints: 34148
3386.81/3397.14 c #Conflicts: 1625000 | #Constraints: 35182
3386.81/3397.14 c #Conflicts: 1626000 | #Constraints: 36235
3386.81/3397.14 c #Conflicts: 1627000 | #Constraints: 37245
3386.81/3397.14 c #Conflicts: 1628000 | #Constraints: 38245
3386.81/3397.14 c #Conflicts: 1629000 | #Constraints: 39289
3386.81/3397.14 c #Conflicts: 1630000 | #Constraints: 40327
3386.81/3397.14 c #Conflicts: 1631000 | #Constraints: 41370
3386.81/3397.14 c #Conflicts: 1632000 | #Constraints: 42420
3386.81/3397.14 c #Conflicts: 1633000 | #Constraints: 43468
3386.81/3397.14 c #Conflicts: 1634000 | #Constraints: 44511
3386.81/3397.14 c #Conflicts: 1635000 | #Constraints: 45552
3386.81/3397.14 c #Conflicts: 1636000 | #Constraints: 46564
3386.81/3397.14 c #Conflicts: 1637000 | #Constraints: 47564
3386.81/3397.14 c #Conflicts: 1638000 | #Constraints: 48564
3386.81/3397.14 c #Conflicts: 1639000 | #Constraints: 49564
3386.81/3397.14 c #Conflicts: 1640000 | #Constraints: 50564
3386.81/3397.14 c #Conflicts: 1641000 | #Constraints: 51564
3386.81/3397.14 c #Conflicts: 1642000 | #Constraints: 52564
3386.81/3397.14 c INPROCESSING
3386.81/3397.14 c GARBAGE COLLECT
3386.81/3397.14 c rational objective 2.26744
3467.68/3478.29 c #Conflicts: 1643000 | #Constraints: 27218
3467.68/3478.29 c #Conflicts: 1644000 | #Constraints: 28241
3467.68/3478.29 c #Conflicts: 1645000 | #Constraints: 29287
3467.68/3478.29 c #Conflicts: 1646000 | #Constraints: 30331
3467.68/3478.29 c #Conflicts: 1647000 | #Constraints: 31341
3467.68/3478.29 c #Conflicts: 1648000 | #Constraints: 32378
3467.68/3478.29 c #Conflicts: 1649000 | #Constraints: 33384
3467.68/3478.29 c #Conflicts: 1650000 | #Constraints: 34384
3467.68/3478.29 c #Conflicts: 1651000 | #Constraints: 35434
3467.68/3478.29 c #Conflicts: 1652000 | #Constraints: 36474
3467.68/3478.29 c #Conflicts: 1653000 | #Constraints: 37518
3467.68/3478.29 c #Conflicts: 1654000 | #Constraints: 38556
3467.68/3478.29 c #Conflicts: 1655000 | #Constraints: 39596
3467.68/3478.29 c #Conflicts: 1656000 | #Constraints: 40617
3467.68/3478.29 c #Conflicts: 1657000 | #Constraints: 41669
3467.68/3478.29 c #Conflicts: 1658000 | #Constraints: 42738
3467.68/3478.29 c #Conflicts: 1659000 | #Constraints: 43775
3467.68/3478.29 c #Conflicts: 1660000 | #Constraints: 44839
3467.68/3478.29 c #Conflicts: 1661000 | #Constraints: 45885
3467.68/3478.29 c #Conflicts: 1662000 | #Constraints: 46927
3467.68/3478.29 c #Conflicts: 1663000 | #Constraints: 47973
3467.68/3478.29 c #Conflicts: 1664000 | #Constraints: 49015
3467.68/3478.29 c #Conflicts: 1665000 | #Constraints: 50054
3467.68/3478.29 c #Conflicts: 1666000 | #Constraints: 51084
3467.68/3478.29 c #Conflicts: 1667000 | #Constraints: 52125
3467.68/3478.29 c #Conflicts: 1668000 | #Constraints: 53165
3467.68/3478.29 c INPROCESSING
3467.68/3478.29 c GARBAGE COLLECT
3467.68/3478.29 c rational objective 2.26744
3555.25/3566.07 c #Conflicts: 1669000 | #Constraints: 27597
3555.25/3566.07 c #Conflicts: 1670000 | #Constraints: 28628
3555.25/3566.07 c #Conflicts: 1671000 | #Constraints: 29677
3555.25/3566.07 c #Conflicts: 1672000 | #Constraints: 30711
3555.25/3566.07 c #Conflicts: 1673000 | #Constraints: 31738
3555.25/3566.07 c #Conflicts: 1674000 | #Constraints: 32774
3555.25/3566.07 c #Conflicts: 1675000 | #Constraints: 33792
3555.25/3566.07 c #Conflicts: 1676000 | #Constraints: 34822
3555.25/3566.07 c #Conflicts: 1677000 | #Constraints: 35868
3555.25/3566.07 c #Conflicts: 1678000 | #Constraints: 36907
3555.25/3566.07 c #Conflicts: 1679000 | #Constraints: 37971
3555.25/3566.07 c #Conflicts: 1680000 | #Constraints: 39009
3555.25/3566.07 c #Conflicts: 1681000 | #Constraints: 40049
3555.25/3566.07 c #Conflicts: 1682000 | #Constraints: 41072
3555.25/3566.07 c #Conflicts: 1683000 | #Constraints: 42106
3555.25/3566.07 c #Conflicts: 1684000 | #Constraints: 43138
3555.25/3566.07 c #Conflicts: 1685000 | #Constraints: 44172
3555.25/3566.07 c #Conflicts: 1686000 | #Constraints: 45230
3555.25/3566.07 c #Conflicts: 1687000 | #Constraints: 46263
3555.25/3566.07 c #Conflicts: 1688000 | #Constraints: 47283
3555.25/3566.07 c #Conflicts: 1689000 | #Constraints: 48317
3555.25/3566.07 c #Conflicts: 1690000 | #Constraints: 49366
3555.25/3566.07 c #Conflicts: 1691000 | #Constraints: 50390
3555.25/3566.07 c #Conflicts: 1692000 | #Constraints: 51430
3555.25/3566.07 c #Conflicts: 1693000 | #Constraints: 52467
3555.25/3566.07 c #Conflicts: 1694000 | #Constraints: 53487
3555.25/3566.07 c INPROCESSING
3555.25/3566.07 c GARBAGE COLLECT
3555.25/3566.07 c rational objective 2.00582
3600.02/3610.90 c #Conflicts: 1695000 | #Constraints: 27747
3600.02/3610.90 c #Conflicts: 1696000 | #Constraints: 28747
3600.02/3610.90 c #Conflicts: 1697000 | #Constraints: 29808
3600.02/3610.90 c #Conflicts: 1698000 | #Constraints: 30856
3600.02/3610.90 c #Conflicts: 1699000 | #Constraints: 31856
3600.02/3610.90 c #Conflicts: 1700000 | #Constraints: 32856
3600.02/3610.90 c #Conflicts: 1701000 | #Constraints: 33856
3600.02/3610.90 c #Conflicts: 1702000 | #Constraints: 34856
3600.02/3610.90 c #Conflicts: 1703000 | #Constraints: 35856
3600.02/3610.90 c #Conflicts: 1704000 | #Constraints: 36856
3600.02/3610.90 c #Conflicts: 1705000 | #Constraints: 37856
3600.02/3610.90 c #Conflicts: 1706000 | #Constraints: 38856
3600.02/3610.90 c #Conflicts: 1707000 | #Constraints: 39856
3600.02/3610.90 c cpu time 3585.75 s
3600.02/3610.90 c deterministic time 1014898752079 1.01e+12
3600.02/3610.90 c optimization time 44.4859 s
3600.02/3610.90 c total solve time 3541.26 s
3600.02/3610.90 c core-guided solve time 0 s
3600.02/3610.90 c propagation time 3352.77 s
3600.02/3610.90 c conflict analysis time 204.075 s
3600.02/3610.90 c propagations 10611638
3600.02/3610.90 c resolve steps 4725295
3600.02/3610.90 c decisions 2142992
3600.02/3610.90 c conflicts 1707678
3600.02/3610.90 c restarts 3277
3600.02/3610.90 c inprocessing phases 121
3600.02/3610.90 c garbage collections 121 ,( 100.00 )
3600.02/3610.90 c input clauses 0 ,( 0.00 )
3600.02/3610.90 c input cardinalities 0 ,( 0.00 )
3600.02/3610.90 c input general constraints 2 ,( 100.00 )
3600.02/3610.90 c input average constraint length 86.00
3600.02/3610.90 c input average constraint degree 139154376.00
3600.02/3610.90 c learned clauses 1044577 ,( 58.20 )
3600.02/3610.90 c learned cardinalities 24 ,( 0.00 )
3600.02/3610.90 c learned general constraints 750116 ,( 41.80 )
3600.02/3610.90 c learned average constraint length 73.20
3600.02/3610.90 c learned average constraint degree 54524338.49
3600.02/3610.90 c watched CF 32, 64, 128, Arb: 365717 , 0 , 0 , 0
3600.02/3610.90 c counting CF 32, 64, 128, Arb: 384401 , 0 , 0 , 0
3600.02/3610.90 c watched constraints 365717 ,( 48.75 )
3600.02/3610.90 c counting constraints 384401 ,( 51.25 )
3600.02/3610.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 59105067 , 25420 , 52184175713 ,( 438840549 , 51745335164 )
3600.02/3610.90 c gcd simplifications 1115985
3600.02/3610.90 c detected cardinalities 24
3600.02/3610.90 c weakened non-implied lits 4760901
3600.02/3610.90 c weakened non-implying lits 1445071
3600.02/3610.90 c original variables 86
3600.02/3610.90 c clausal propagations 89972
3600.02/3610.90 c cardinality propagations 103
3600.02/3610.90 c watched propagations 885240
3600.02/3610.90 c counting propagations 7632567
3600.02/3610.90 c watch lookups 55148351580
3600.02/3610.90 c watch backjump lookups 0
3600.02/3610.90 c watch checks 4655495655
3600.02/3610.90 c propagation checks 954548505142
3600.02/3610.90 c constraint additions 519009825
3600.02/3610.90 c trail pops 14462223
3600.02/3610.90 c formula constraints 2
3600.02/3610.90 c learned constraints 1707677
3600.02/3610.90 c bound constraints 0
3600.02/3610.90 c core-guided constraints 0
3600.02/3610.90 c encountered formula constraints 3789508
3600.02/3610.90 c encountered learned constraints 2643440
3600.02/3610.90 c encountered bound constraints 0
3600.02/3610.90 c encountered core-guided constraints 0
3600.02/3610.90 c LP total time 27.0762 s
3600.02/3610.90 c LP solve time 13.02 s
3600.02/3610.90 c LP constraints added 140
3600.02/3610.90 c LP constraints removed 130
3600.02/3610.90 c LP pivots internal 170770
3600.02/3610.90 c LP pivots root 2253
3600.02/3610.90 c LP calls 131492
3600.02/3610.90 c LP optimalities 44097
3600.02/3610.90 c LP no pivot count 6917
3600.02/3610.90 c LP infeasibilities 87317
3600.02/3610.90 c LP valid Farkas constraints 86947
3600.02/3610.90 c LP learned Farkas constraints 0
3600.02/3610.90 c LP basis resets 78
3600.02/3610.90 c LP cycling count 25
3600.02/3610.90 c LP singular count 52
3600.02/3610.90 c LP no primal count 0
3600.02/3610.90 c LP no farkas count 0
3600.02/3610.90 c LP other issue count 1
3600.02/3610.90 c LP Gomory cuts 93
3600.02/3610.90 c LP learned cuts 45
3600.02/3610.90 c LP deleted cuts 130
3600.02/3610.90 c LP encountered Gomory constraints 20
3600.02/3610.90 c LP encountered Farkas constraints 5
3600.02/3610.90 c LP encountered learned Farkas constraints 0
3600.02/3610.90 c CG auxiliary variables introduced 0
3600.02/3610.90 c CG solutions found 0
3600.02/3610.90 c CG cores constructed 0
3600.02/3610.90 c CG core cardinality constraints returned 0
3600.02/3610.90 c CG unit cores 0
3600.02/3610.90 c CG single cores 0
3600.02/3610.90 c CG blocks removed during cardinality reduction 0
3600.02/3610.90 c CG first core best 0
3600.02/3610.90 c CG decision core best 0
3600.02/3610.90 c CG core reduction tie 0
3600.02/3610.90 c CG core degree average 0.00
3600.02/3610.90 c CG core slack average 0.00
3600.02/3610.90 c CG core upper bound improvements 0
3600.02/3610.90 c STR number of successful calls 0
3600.02/3610.90 c STR number of unsuccessful calls 0
3600.02/3610.90 c STR number of inconclusive calls 0
3600.02/3610.90 c STR number of successful attempts 0
3600.02/3610.90 c STR number of unsuccessful attempts 0
3600.02/3610.90 c STR number of inconclusive attempts 0
3600.02/3610.90 c STR average degree increase per successful call inf
3600.02/3610.90 c STR average degree increase per successful attempt inf
3600.02/3610.90 c STR total number of conflicts for successful attempts 0
3600.02/3610.90 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.90 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.90 c STR average number of conflicts per successful attempt inf
3600.02/3610.90 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.90 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.90 c AVG.sumWPerc 43.30
3600.02/3610.90 c bigint constraints 0
3600.02/3610.90 s UNKNOWN
3600.02/3610.90 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 (62144 MiB free)
memory of node 1: 64465 MiB (62528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496039-1751154290/watcher-4496039-1751154290 -o /tmp/evaluation-result-4496039-1751154290/solver-4496039-1751154290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14375 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4496039-1751154290.opb PROOFDIR/proof-4496039-1751154290
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=18847, runsolver pid=18844
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.09 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127660640/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=56208 memory=13076 CPUtime=0.08 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 633 0 0 0 8 0 0 0 20 0 1 0 31106615 57556992 3269 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 14052 3269 2368 1147 0 1479 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60400 KiB
Current children cumulated memory: 16020 KiB
[startup+0.20577 s]*
/proc/loadavg: 4.09 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127660640/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=57160 memory=13972 CPUtime=0.18 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 859 0 0 0 18 0 0 0 20 0 1 0 31106615 58531840 3493 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 14290 3493 2368 1147 0 1717 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61352 KiB
Current children cumulated memory: 16916 KiB
[startup+0.30568 s]*
/proc/loadavg: 4.09 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127660640/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=57304 memory=14100 CPUtime=0.29 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 906 0 0 0 28 1 0 0 20 0 1 0 31106615 58679296 3525 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 14326 3525 2368 1147 0 1753 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61496 KiB
Current children cumulated memory: 17044 KiB
[startup+0.700197 s]
/proc/loadavg: 4.09 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127660640/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=58404 memory=14996 CPUtime=0.67 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 1139 0 0 0 65 2 0 0 20 0 1 0 31106615 59805696 3749 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 14601 3749 2368 1147 0 2028 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62596 KiB
Current children cumulated memory: 17940 KiB
[startup+1.50019 s]
/proc/loadavg: 4.09 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127655884/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=59220 memory=17780 CPUtime=1.47 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 1313 0 0 0 142 5 0 0 20 0 1 0 31106615 60641280 4445 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 14805 4445 2368 1147 0 2232 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63412 KiB
Current children cumulated memory: 20724 KiB
[startup+3.10557 s]
/proc/loadavg: 4.09 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127633004/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=61284 memory=19700 CPUtime=3.07 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 1808 0 0 0 298 9 0 0 20 0 1 0 31106615 62754816 4925 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 15321 4925 2368 1147 0 2748 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65476 KiB
Current children cumulated memory: 22644 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127591928/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=63748 memory=21748 CPUtime=6.25 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 2321 0 0 0 610 15 0 0 20 0 1 0 31106615 65277952 5437 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 15937 5437 2368 1147 0 3364 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67940 KiB
Current children cumulated memory: 24692 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127567912/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=69100 memory=25460 CPUtime=12.64 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 3166 0 0 0 1238 26 0 0 20 0 1 0 31106615 70758400 6365 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 17275 6365 2464 1147 0 4702 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 73292 KiB
Current children cumulated memory: 28404 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.07 4.08 5/268 18849
/proc/meminfo: memFree=127508592/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=73620 memory=29172 CPUtime=25.4 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 4091 0 0 0 2494 46 0 0 20 0 1 0 31106615 75386880 7293 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 18405 7293 2464 1147 0 5832 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 77812 KiB
Current children cumulated memory: 32116 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 18851
/proc/meminfo: memFree=127410556/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=80016 memory=34164 CPUtime=50.92 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 5138 0 0 0 5014 78 0 0 20 0 1 0 31106615 81936384 8541 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 20004 8541 2464 1147 0 7431 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 84208 KiB
Current children cumulated memory: 37108 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 18903
/proc/meminfo: memFree=127671724/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=87620 memory=40696 CPUtime=101.96 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 7199 0 0 0 10068 128 0 0 20 0 1 0 31106615 89722880 10174 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 21905 10174 2464 1147 0 9332 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 91812 KiB
Current children cumulated memory: 43640 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/272 18908
/proc/meminfo: memFree=127379536/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=99200 memory=47428 CPUtime=161.78 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 9253 0 0 0 16001 177 0 0 20 0 1 0 31106615 101580800 11857 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 24800 11857 2464 1147 0 12227 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 103392 KiB
Current children cumulated memory: 50372 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 6/275 18912
/proc/meminfo: memFree=127118324/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=100136 memory=48012 CPUtime=221.61 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 9638 0 0 0 21942 219 0 0 20 0 1 0 31106615 102539264 12003 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 25034 12003 2464 1147 0 12461 0
################
# More data... #
################
/proc/18849/statm: 35942 24458 2464 1147 0 23369 0
Current children cumulated CPU time: 3092.89 s
Current children cumulated vsize: 147960 KiB
Current children cumulated memory: 100776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 19580
/proc/meminfo: memFree=111677856/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=145340 memory=99412 CPUtime=3152.72 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 23547 0 0 0 313953 1319 0 0 20 0 1 0 31106615 148828160 24853 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 36335 24853 2464 1147 0 23762 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 149532 KiB
Current children cumulated memory: 102356 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/273 19585
/proc/meminfo: memFree=111258900/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=146060 memory=100180 CPUtime=3212.54 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 23744 0 0 0 319924 1330 0 0 20 0 1 0 31106615 149565440 25045 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 36515 25045 2464 1147 0 23942 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 150252 KiB
Current children cumulated memory: 103124 KiB
[startup+3282.3 s]
/proc/loadavg: 3.57 3.96 4.04 4/268 19621
/proc/meminfo: memFree=112770352/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=146060 memory=100436 CPUtime=3272.36 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 23822 0 0 0 325891 1345 0 0 20 0 1 0 31106615 149565440 25109 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 36515 25109 2464 1147 0 23942 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 150252 KiB
Current children cumulated memory: 103380 KiB
[startup+3342.3 s]
/proc/loadavg: 3.33 3.82 3.98 4/268 19623
/proc/meminfo: memFree=112509076/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=147588 memory=101500 CPUtime=3332.17 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 24234 0 0 0 331855 1362 0 0 20 0 1 0 31106615 151130112 25375 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 36897 25375 2464 1147 0 24324 0
Current children cumulated CPU time: 3332.17 s
Current children cumulated vsize: 151780 KiB
Current children cumulated memory: 104444 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.67 3.92 4/268 19625
/proc/meminfo: memFree=111935204/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=148096 memory=103420 CPUtime=3392 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 24365 0 0 0 337823 1377 0 0 20 0 1 0 31106615 151650304 25855 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 37024 25855 2464 1147 0 24451 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 106364 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.57 3.87 4/268 19627
/proc/meminfo: memFree=111361724/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=148096 memory=103420 CPUtime=3451.82 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 24365 0 0 0 343791 1391 0 0 20 0 1 0 31106615 151650304 25855 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 37024 25855 2464 1147 0 24451 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 106364 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.50 3.82 4/267 19631
/proc/meminfo: memFree=110912148/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=148096 memory=103420 CPUtime=3511.66 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 24366 0 0 0 349761 1405 0 0 20 0 1 0 31106615 151650304 25855 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 37024 25855 2464 1147 0 24451 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 106364 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.42 3.78 4/266 19633
/proc/meminfo: memFree=110618748/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=148096 memory=103420 CPUtime=3571.51 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 24367 0 0 0 355730 1421 0 0 20 0 1 0 31106615 151650304 25855 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 37024 25855 2464 1147 0 24451 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 106364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 3.07 3.38 3.75 4/266 19635
/proc/meminfo: memFree=110426420/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=148096 memory=103420 CPUtime=3600.02 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 24367 0 0 0 358574 1428 0 0 20 0 1 0 31106615 151650304 25855 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 37024 25855 2464 1147 0 24451 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 106364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 18847 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000801 s, system=0.001597 s
[startup+3610.91 s]
# the end of solver process 18849 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.75 s, system=14.2944 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 3.07 3.38 3.75 4/266 19635
/proc/meminfo: memFree=110426420/131249988 swapFree=33010684/33010684
[pid=18847] ppid=18844 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/18847/stat : 18847 (run-dec-ls-log.) S 18844 18847 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 31106614 4292608 736 18446744073709551615 94077450448896 94077451343429 140724876889344 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94077451582480 94077451630224 94077480173568 140724876896539 140724876896737 140724876896737 140724876902339 0
/proc/18847/statm: 1048 736 672 219 0 110 0
[pid=18849] ppid=18847 vsize=148096 memory=103420 CPUtime=3600.02 cores=5,7
/proc/18849/stat : 18849 (roundingsat) R 18847 18847 14359 0 -1 4194304 24367 0 0 0 358574 1428 0 0 20 0 1 0 31106615 151650304 25855 18446744073709551615 4227072 8923433 140722292825328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16035840 140722292828496 140722292828712 140722292828712 140722292834282 0
/proc/18849/statm: 37024 25855 2464 1147 0 24451 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 106364 KiB
Child status: 2
Real time (s): 3610.91
CPU time (s): 3600.05
CPU user time (s): 3585.75
CPU system time (s): 14.2944
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 152288
Max. memory (cumulated for all children) (KiB): 106364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.75
system time used= 14.2944
maximum resident set size= 103676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2862976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210
involuntary context switches= 4853
# summary of solver processes directly reported to runsolver:
# pid: 18847,18849
# total CPU time (s): 3600.05
# total CPU user time (s): 3585.75
# total CPU system time (s): 14.2944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71356 second user time and 16.528 second system time
The end
Begin job on nodeC020 at 2025-06-29 01:44:51
IDJOB=4496039
IDBENCH=148105
IDSOLVER=3354
FILE ID=nodeC020/4496039-1751154290
RUNJOBID= nodeC020-1751146607-14375
SLURM_JOB_ID= 9587464
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496039-1751154290/watcher-4496039-1751154290 -o /tmp/evaluation-result-4496039-1751154290/solver-4496039-1751154290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751146607-14375 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4496039-1751154290.opb PROOFDIR/proof-4496039-1751154290
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=449290628
nodeC020 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 : 3599.876
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.79
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.891
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.79
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 : 3528.435
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.79
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 : 3604.046
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.79
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.969
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.79
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.215
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.79
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 : 3665.666
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.79
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 : 3599.898
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127664436 kB
MemAvailable: 129472856 kB
Buffers: 3280 kB
Cached: 2615344 kB
SwapCached: 0 kB
Active: 655396 kB
Inactive: 2358620 kB
Active(anon): 413496 kB
Inactive(anon): 0 kB
Active(file): 241900 kB
Inactive(file): 2358620 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22208 kB
Writeback: 0 kB
AnonPages: 396264 kB
Mapped: 117136 kB
Shmem: 18056 kB
KReclaimable: 94280 kB
Slab: 180288 kB
SReclaimable: 94280 kB
SUnreclaim: 86008 kB
KernelStack: 4304 kB
PageTables: 3972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 786856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 294912 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: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC020 at 2025-06-29 02:45:02