0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 86 #constraints 2
0.00/0.03 c rational objective 1.25844
0.49/0.58 c #Conflicts: 1000 | #Constraints: 1052
0.49/0.58 c #Conflicts: 2000 | #Constraints: 2154
0.49/0.58 c INPROCESSING
0.49/0.58 c GARBAGE COLLECT
0.49/0.58 c rational objective 2
1.16/1.21 c #Conflicts: 3000 | #Constraints: 2189
1.16/1.21 c #Conflicts: 4000 | #Constraints: 3293
1.16/1.21 c INPROCESSING
1.16/1.21 c GARBAGE COLLECT
1.16/1.21 c rational objective 2
1.66/1.73 c #Conflicts: 5000 | #Constraints: 2557
1.66/1.73 c #Conflicts: 6000 | #Constraints: 3557
1.66/1.73 c INPROCESSING
1.66/1.73 c GARBAGE COLLECT
1.66/1.73 c rational objective 2
2.16/2.26 c #Conflicts: 7000 | #Constraints: 2484
2.16/2.26 c #Conflicts: 8000 | #Constraints: 3484
2.16/2.26 c #Conflicts: 9000 | #Constraints: 4588
2.16/2.26 c INPROCESSING
2.16/2.26 c GARBAGE COLLECT
2.16/2.26 c rational objective 2
2.85/2.95 c #Conflicts: 10000 | #Constraints: 3285
2.85/2.95 c #Conflicts: 11000 | #Constraints: 4384
2.85/2.95 c #Conflicts: 12000 | #Constraints: 5497
2.85/2.95 c INPROCESSING
2.85/2.95 c GARBAGE COLLECT
2.85/2.95 c rational objective 2
3.66/3.70 c #Conflicts: 13000 | #Constraints: 3863
3.66/3.70 c #Conflicts: 14000 | #Constraints: 5006
3.66/3.70 c #Conflicts: 15000 | #Constraints: 6178
3.66/3.70 c INPROCESSING
3.66/3.70 c GARBAGE COLLECT
3.66/3.70 c rational objective 2
4.45/4.53 c #Conflicts: 16000 | #Constraints: 4156
4.45/4.53 c #Conflicts: 17000 | #Constraints: 5244
4.45/4.53 c #Conflicts: 18000 | #Constraints: 6328
4.45/4.53 c INPROCESSING
4.45/4.53 c GARBAGE COLLECT
4.45/4.53 c rational objective 2
5.35/5.44 c #Conflicts: 19000 | #Constraints: 4113
5.35/5.44 c #Conflicts: 20000 | #Constraints: 5206
5.35/5.44 c #Conflicts: 21000 | #Constraints: 6242
5.35/5.44 c INPROCESSING
5.35/5.44 c GARBAGE COLLECT
5.35/5.44 c rational objective 2.00014
6.35/6.42 c #Conflicts: 22000 | #Constraints: 3856
6.35/6.42 c #Conflicts: 23000 | #Constraints: 4916
6.35/6.42 c #Conflicts: 24000 | #Constraints: 5965
6.35/6.42 c #Conflicts: 25000 | #Constraints: 7015
6.35/6.42 c INPROCESSING
6.35/6.42 c GARBAGE COLLECT
6.35/6.42 c rational objective 2.00007
7.44/7.58 c #Conflicts: 26000 | #Constraints: 4490
7.44/7.58 c #Conflicts: 27000 | #Constraints: 5526
7.44/7.58 c #Conflicts: 28000 | #Constraints: 6526
7.44/7.58 c #Conflicts: 29000 | #Constraints: 7526
7.44/7.58 c INPROCESSING
7.44/7.58 c GARBAGE COLLECT
7.44/7.58 c rational objective 2
8.95/9.03 c #Conflicts: 30000 | #Constraints: 4869
8.95/9.03 c #Conflicts: 31000 | #Constraints: 5964
8.95/9.03 c #Conflicts: 32000 | #Constraints: 7087
8.95/9.03 c #Conflicts: 33000 | #Constraints: 8184
8.95/9.03 c INPROCESSING
8.95/9.03 c GARBAGE COLLECT
8.95/9.03 c rational objective 2
10.43/10.54 c #Conflicts: 34000 | #Constraints: 5172
10.43/10.54 c #Conflicts: 35000 | #Constraints: 6243
10.43/10.54 c #Conflicts: 36000 | #Constraints: 7366
10.43/10.54 c #Conflicts: 37000 | #Constraints: 8495
10.43/10.54 c INPROCESSING
10.43/10.54 c GARBAGE COLLECT
10.43/10.54 c rational objective 2
12.42/12.58 c #Conflicts: 38000 | #Constraints: 5211
12.42/12.58 c #Conflicts: 39000 | #Constraints: 6417
12.42/12.58 c #Conflicts: 40000 | #Constraints: 7963
12.42/12.58 c #Conflicts: 41000 | #Constraints: 9269
12.42/12.58 c INPROCESSING
12.42/12.58 c GARBAGE COLLECT
12.42/12.58 c rational objective 2
14.42/14.54 c #Conflicts: 42000 | #Constraints: 5381
14.42/14.54 c #Conflicts: 43000 | #Constraints: 6400
14.42/14.54 c #Conflicts: 44000 | #Constraints: 7402
14.42/14.54 c #Conflicts: 45000 | #Constraints: 8438
14.42/14.54 c #Conflicts: 46000 | #Constraints: 9493
14.42/14.54 c INPROCESSING
14.42/14.54 c GARBAGE COLLECT
14.42/14.54 c rational objective 2
16.42/16.55 c #Conflicts: 47000 | #Constraints: 5710
16.42/16.55 c #Conflicts: 48000 | #Constraints: 6774
16.42/16.55 c #Conflicts: 49000 | #Constraints: 7790
16.42/16.55 c #Conflicts: 50000 | #Constraints: 8804
16.42/16.55 c #Conflicts: 51000 | #Constraints: 9805
16.42/16.55 c INPROCESSING
16.42/16.55 c GARBAGE COLLECT
16.42/16.55 c rational objective 2
18.81/18.93 c #Conflicts: 52000 | #Constraints: 5907
18.81/18.93 c #Conflicts: 53000 | #Constraints: 6907
18.81/18.93 c #Conflicts: 54000 | #Constraints: 7918
18.81/18.93 c #Conflicts: 55000 | #Constraints: 8950
18.81/18.93 c #Conflicts: 56000 | #Constraints: 9987
18.81/18.93 c INPROCESSING
18.81/18.93 c GARBAGE COLLECT
18.81/18.93 c rational objective 2.01386
21.20/21.33 c #Conflicts: 57000 | #Constraints: 6040
21.20/21.33 c #Conflicts: 58000 | #Constraints: 7067
21.20/21.33 c #Conflicts: 59000 | #Constraints: 8072
21.20/21.33 c #Conflicts: 60000 | #Constraints: 9072
21.20/21.33 c #Conflicts: 61000 | #Constraints: 10072
21.20/21.33 c INPROCESSING
21.20/21.33 c GARBAGE COLLECT
21.20/21.33 c rational objective 2
24.19/24.37 c #Conflicts: 62000 | #Constraints: 5956
24.19/24.37 c #Conflicts: 63000 | #Constraints: 6956
24.19/24.37 c #Conflicts: 64000 | #Constraints: 7956
24.19/24.37 c #Conflicts: 65000 | #Constraints: 8956
24.19/24.37 c #Conflicts: 66000 | #Constraints: 9968
24.19/24.37 c INPROCESSING
24.19/24.37 c GARBAGE COLLECT
24.19/24.37 c rational objective 2
27.38/27.54 c #Conflicts: 67000 | #Constraints: 5711
27.38/27.54 c #Conflicts: 68000 | #Constraints: 6760
27.38/27.54 c #Conflicts: 69000 | #Constraints: 7838
27.38/27.54 c #Conflicts: 70000 | #Constraints: 8895
27.38/27.54 c #Conflicts: 71000 | #Constraints: 9923
27.38/27.54 c #Conflicts: 72000 | #Constraints: 11043
27.38/27.54 c INPROCESSING
27.38/27.54 c GARBAGE COLLECT
27.38/27.54 c rational objective 2
30.57/30.71 c #Conflicts: 73000 | #Constraints: 6473
30.57/30.71 c #Conflicts: 74000 | #Constraints: 7473
30.57/30.71 c #Conflicts: 75000 | #Constraints: 8473
30.57/30.71 c #Conflicts: 76000 | #Constraints: 9473
30.57/30.71 c #Conflicts: 77000 | #Constraints: 10473
30.57/30.71 c #Conflicts: 78000 | #Constraints: 11473
30.57/30.71 c INPROCESSING
30.57/30.71 c GARBAGE COLLECT
30.57/30.71 c rational objective 2
33.97/34.15 c #Conflicts: 79000 | #Constraints: 6844
33.97/34.15 c #Conflicts: 80000 | #Constraints: 7991
33.97/34.15 c #Conflicts: 81000 | #Constraints: 9091
33.97/34.15 c #Conflicts: 82000 | #Constraints: 10215
33.97/34.15 c #Conflicts: 83000 | #Constraints: 11316
33.97/34.15 c #Conflicts: 84000 | #Constraints: 12415
33.97/34.15 c INPROCESSING
33.97/34.15 c GARBAGE COLLECT
33.97/34.15 c rational objective 2
37.86/38.05 c #Conflicts: 85000 | #Constraints: 7333
37.86/38.05 c #Conflicts: 86000 | #Constraints: 8448
37.86/38.05 c #Conflicts: 87000 | #Constraints: 9608
37.86/38.05 c #Conflicts: 88000 | #Constraints: 10729
37.86/38.05 c #Conflicts: 89000 | #Constraints: 11871
37.86/38.05 c #Conflicts: 90000 | #Constraints: 12987
37.86/38.05 c INPROCESSING
37.86/38.05 c GARBAGE COLLECT
37.86/38.05 c rational objective 2
42.53/42.73 c #Conflicts: 91000 | #Constraints: 7441
42.53/42.73 c #Conflicts: 92000 | #Constraints: 8493
42.53/42.73 c #Conflicts: 93000 | #Constraints: 9520
42.53/42.73 c #Conflicts: 94000 | #Constraints: 10520
42.53/42.73 c #Conflicts: 95000 | #Constraints: 11520
42.53/42.73 c #Conflicts: 96000 | #Constraints: 12520
42.53/42.73 c INPROCESSING
42.53/42.73 c GARBAGE COLLECT
42.53/42.73 c rational objective 2
47.12/47.38 c #Conflicts: 97000 | #Constraints: 7016
47.12/47.38 c #Conflicts: 98000 | #Constraints: 8103
47.12/47.38 c #Conflicts: 99000 | #Constraints: 9258
47.12/47.38 c #Conflicts: 100000 | #Constraints: 10374
47.12/47.38 c #Conflicts: 101000 | #Constraints: 11490
47.12/47.38 c #Conflicts: 102000 | #Constraints: 12599
47.12/47.38 c #Conflicts: 103000 | #Constraints: 13690
47.12/47.38 c INPROCESSING
47.12/47.38 c GARBAGE COLLECT
47.12/47.38 c rational objective 2
51.81/52.02 c #Conflicts: 104000 | #Constraints: 7830
51.81/52.02 c #Conflicts: 105000 | #Constraints: 8889
51.81/52.02 c #Conflicts: 106000 | #Constraints: 9928
51.81/52.02 c #Conflicts: 107000 | #Constraints: 10936
51.81/52.02 c #Conflicts: 108000 | #Constraints: 11966
51.81/52.02 c #Conflicts: 109000 | #Constraints: 12979
51.81/52.02 c #Conflicts: 110000 | #Constraints: 14164
51.81/52.02 c INPROCESSING
51.81/52.02 c GARBAGE COLLECT
51.81/52.02 c rational objective 2
56.59/56.89 c #Conflicts: 111000 | #Constraints: 8209
56.59/56.89 c #Conflicts: 112000 | #Constraints: 9336
56.59/56.89 c #Conflicts: 113000 | #Constraints: 10402
56.59/56.89 c #Conflicts: 114000 | #Constraints: 11519
56.59/56.89 c #Conflicts: 115000 | #Constraints: 12635
56.59/56.89 c #Conflicts: 116000 | #Constraints: 13691
56.59/56.89 c #Conflicts: 117000 | #Constraints: 14758
56.59/56.89 c INPROCESSING
56.59/56.89 c GARBAGE COLLECT
56.59/56.89 c rational objective 2
62.17/62.47 c #Conflicts: 118000 | #Constraints: 8433
62.17/62.47 c #Conflicts: 119000 | #Constraints: 9467
62.17/62.47 c #Conflicts: 120000 | #Constraints: 10504
62.17/62.47 c #Conflicts: 121000 | #Constraints: 11646
62.17/62.47 c #Conflicts: 122000 | #Constraints: 12852
62.17/62.47 c #Conflicts: 123000 | #Constraints: 13939
62.17/62.47 c #Conflicts: 124000 | #Constraints: 15013
62.17/62.47 c INPROCESSING
62.17/62.47 c GARBAGE COLLECT
62.17/62.47 c rational objective 2
67.95/68.22 c #Conflicts: 125000 | #Constraints: 8443
67.95/68.22 c #Conflicts: 126000 | #Constraints: 9530
67.95/68.22 c #Conflicts: 127000 | #Constraints: 10574
67.95/68.22 c #Conflicts: 128000 | #Constraints: 11634
67.95/68.22 c #Conflicts: 129000 | #Constraints: 12655
67.95/68.22 c #Conflicts: 130000 | #Constraints: 13683
67.95/68.22 c #Conflicts: 131000 | #Constraints: 14765
67.95/68.22 c INPROCESSING
67.95/68.22 c GARBAGE COLLECT
67.95/68.22 c rational objective 2
73.84/74.15 c #Conflicts: 132000 | #Constraints: 8136
73.84/74.15 c #Conflicts: 133000 | #Constraints: 9158
73.84/74.15 c #Conflicts: 134000 | #Constraints: 10239
73.84/74.15 c #Conflicts: 135000 | #Constraints: 11284
73.84/74.15 c #Conflicts: 136000 | #Constraints: 12284
73.84/74.15 c #Conflicts: 137000 | #Constraints: 13315
73.84/74.15 c #Conflicts: 138000 | #Constraints: 14345
73.84/74.15 c #Conflicts: 139000 | #Constraints: 15388
73.84/74.15 c INPROCESSING
73.84/74.15 c GARBAGE COLLECT
73.84/74.15 c rational objective 2
79.73/80.01 c #Conflicts: 140000 | #Constraints: 8661
79.73/80.01 c #Conflicts: 141000 | #Constraints: 9661
79.73/80.01 c #Conflicts: 142000 | #Constraints: 10661
79.73/80.01 c #Conflicts: 143000 | #Constraints: 11661
79.73/80.01 c #Conflicts: 144000 | #Constraints: 12661
79.73/80.01 c #Conflicts: 145000 | #Constraints: 13661
79.73/80.01 c #Conflicts: 146000 | #Constraints: 14661
79.73/80.01 c #Conflicts: 147000 | #Constraints: 15661
79.73/80.01 c INPROCESSING
79.73/80.01 c GARBAGE COLLECT
79.73/80.01 c rational objective 2
86.29/86.65 c #Conflicts: 148000 | #Constraints: 8946
86.29/86.65 c #Conflicts: 149000 | #Constraints: 10044
86.29/86.65 c #Conflicts: 150000 | #Constraints: 11137
86.29/86.65 c #Conflicts: 151000 | #Constraints: 12238
86.29/86.65 c #Conflicts: 152000 | #Constraints: 13346
86.29/86.65 c #Conflicts: 153000 | #Constraints: 14455
86.29/86.65 c #Conflicts: 154000 | #Constraints: 15577
86.29/86.65 c #Conflicts: 155000 | #Constraints: 16691
86.29/86.65 c INPROCESSING
86.29/86.65 c GARBAGE COLLECT
86.29/86.65 c rational objective 2
93.47/93.81 c #Conflicts: 156000 | #Constraints: 9466
93.47/93.81 c #Conflicts: 157000 | #Constraints: 10550
93.47/93.81 c #Conflicts: 158000 | #Constraints: 11687
93.47/93.81 c #Conflicts: 159000 | #Constraints: 12804
93.47/93.81 c #Conflicts: 160000 | #Constraints: 13912
93.47/93.81 c #Conflicts: 161000 | #Constraints: 14967
93.47/93.81 c #Conflicts: 162000 | #Constraints: 15972
93.47/93.81 c #Conflicts: 163000 | #Constraints: 17039
93.47/93.81 c INPROCESSING
93.47/93.81 c GARBAGE COLLECT
93.47/93.81 c rational objective 2
100.45/100.87 c #Conflicts: 164000 | #Constraints: 9445
100.45/100.87 c #Conflicts: 165000 | #Constraints: 10445
100.45/100.87 c #Conflicts: 166000 | #Constraints: 11488
100.45/100.87 c #Conflicts: 167000 | #Constraints: 12526
100.45/100.87 c #Conflicts: 168000 | #Constraints: 13604
100.45/100.87 c #Conflicts: 169000 | #Constraints: 14678
100.45/100.87 c #Conflicts: 170000 | #Constraints: 15747
100.45/100.87 c #Conflicts: 171000 | #Constraints: 16821
100.45/100.87 c INPROCESSING
100.45/100.87 c GARBAGE COLLECT
100.45/100.87 c rational objective 2
107.42/107.84 c #Conflicts: 172000 | #Constraints: 9167
107.42/107.84 c #Conflicts: 173000 | #Constraints: 10173
107.42/107.84 c #Conflicts: 174000 | #Constraints: 11173
107.42/107.84 c #Conflicts: 175000 | #Constraints: 12190
107.42/107.84 c #Conflicts: 176000 | #Constraints: 13232
107.42/107.84 c #Conflicts: 177000 | #Constraints: 14298
107.42/107.84 c #Conflicts: 178000 | #Constraints: 15398
107.42/107.84 c #Conflicts: 179000 | #Constraints: 16404
107.42/107.84 c #Conflicts: 180000 | #Constraints: 17425
107.42/107.84 c INPROCESSING
107.42/107.84 c GARBAGE COLLECT
107.42/107.84 c rational objective 2
115.10/115.54 c #Conflicts: 181000 | #Constraints: 9651
115.10/115.54 c #Conflicts: 182000 | #Constraints: 10733
115.10/115.54 c #Conflicts: 183000 | #Constraints: 11848
115.10/115.54 c #Conflicts: 184000 | #Constraints: 12965
115.10/115.54 c #Conflicts: 185000 | #Constraints: 14067
115.10/115.54 c #Conflicts: 186000 | #Constraints: 15191
115.10/115.54 c #Conflicts: 187000 | #Constraints: 16301
115.10/115.54 c #Conflicts: 188000 | #Constraints: 17406
115.10/115.54 c #Conflicts: 189000 | #Constraints: 18499
115.10/115.54 c INPROCESSING
115.10/115.54 c GARBAGE COLLECT
115.10/115.54 c rational objective 2
123.77/124.25 c #Conflicts: 190000 | #Constraints: 10293
123.77/124.25 c #Conflicts: 191000 | #Constraints: 11326
123.77/124.25 c #Conflicts: 192000 | #Constraints: 12378
123.77/124.25 c #Conflicts: 193000 | #Constraints: 13424
123.77/124.25 c #Conflicts: 194000 | #Constraints: 14504
123.77/124.25 c #Conflicts: 195000 | #Constraints: 15648
123.77/124.25 c #Conflicts: 196000 | #Constraints: 16759
123.77/124.25 c #Conflicts: 197000 | #Constraints: 17845
123.77/124.25 c #Conflicts: 198000 | #Constraints: 18894
123.77/124.25 c INPROCESSING
123.77/124.25 c GARBAGE COLLECT
123.77/124.25 c rational objective 2
133.04/133.54 c #Conflicts: 199000 | #Constraints: 10472
133.04/133.54 c #Conflicts: 200000 | #Constraints: 11476
133.04/133.54 c #Conflicts: 201000 | #Constraints: 12476
133.04/133.54 c #Conflicts: 202000 | #Constraints: 13478
133.04/133.54 c #Conflicts: 203000 | #Constraints: 14496
133.04/133.54 c #Conflicts: 204000 | #Constraints: 15531
133.04/133.54 c #Conflicts: 205000 | #Constraints: 16566
133.04/133.54 c #Conflicts: 206000 | #Constraints: 17570
133.04/133.54 c #Conflicts: 207000 | #Constraints: 18570
133.04/133.54 c INPROCESSING
133.04/133.54 c GARBAGE COLLECT
133.04/133.54 c rational objective 2
141.42/142.01 c #Conflicts: 208000 | #Constraints: 10265
141.42/142.01 c #Conflicts: 209000 | #Constraints: 11420
141.42/142.01 c #Conflicts: 210000 | #Constraints: 12561
141.42/142.01 c #Conflicts: 211000 | #Constraints: 13675
141.42/142.01 c #Conflicts: 212000 | #Constraints: 14830
141.42/142.01 c #Conflicts: 213000 | #Constraints: 15942
141.42/142.01 c #Conflicts: 214000 | #Constraints: 17070
141.42/142.01 c #Conflicts: 215000 | #Constraints: 18227
141.42/142.01 c #Conflicts: 216000 | #Constraints: 19419
141.42/142.01 c INPROCESSING
141.42/142.01 c GARBAGE COLLECT
141.42/142.01 c rational objective 2
151.50/152.05 c #Conflicts: 217000 | #Constraints: 10484
151.50/152.05 c #Conflicts: 218000 | #Constraints: 11524
151.50/152.05 c #Conflicts: 219000 | #Constraints: 12685
151.50/152.05 c #Conflicts: 220000 | #Constraints: 13863
151.50/152.05 c #Conflicts: 221000 | #Constraints: 15005
151.50/152.05 c #Conflicts: 222000 | #Constraints: 16207
151.50/152.05 c #Conflicts: 223000 | #Constraints: 17726
151.50/152.05 c #Conflicts: 224000 | #Constraints: 19207
151.50/152.05 c #Conflicts: 225000 | #Constraints: 20640
151.50/152.05 c #Conflicts: 226000 | #Constraints: 22044
151.50/152.05 c INPROCESSING
151.50/152.05 c GARBAGE COLLECT
151.50/152.05 c rational objective 2
162.05/162.64 c #Conflicts: 227000 | #Constraints: 11987
162.05/162.64 c #Conflicts: 228000 | #Constraints: 12987
162.05/162.64 c #Conflicts: 229000 | #Constraints: 13987
162.05/162.64 c #Conflicts: 230000 | #Constraints: 15010
162.05/162.64 c #Conflicts: 231000 | #Constraints: 16041
162.05/162.64 c #Conflicts: 232000 | #Constraints: 17065
162.05/162.64 c #Conflicts: 233000 | #Constraints: 18089
162.05/162.64 c #Conflicts: 234000 | #Constraints: 19089
162.05/162.64 c #Conflicts: 235000 | #Constraints: 20089
162.05/162.64 c #Conflicts: 236000 | #Constraints: 21089
162.05/162.64 c INPROCESSING
162.05/162.64 c GARBAGE COLLECT
162.05/162.64 c rational objective 2
172.02/172.69 c #Conflicts: 237000 | #Constraints: 11656
172.02/172.69 c #Conflicts: 238000 | #Constraints: 12737
172.02/172.69 c #Conflicts: 239000 | #Constraints: 13819
172.02/172.69 c #Conflicts: 240000 | #Constraints: 14924
172.02/172.69 c #Conflicts: 241000 | #Constraints: 16027
172.02/172.69 c #Conflicts: 242000 | #Constraints: 17132
172.02/172.69 c #Conflicts: 243000 | #Constraints: 18231
172.02/172.69 c #Conflicts: 244000 | #Constraints: 19335
172.02/172.69 c #Conflicts: 245000 | #Constraints: 20442
172.02/172.69 c #Conflicts: 246000 | #Constraints: 21544
172.02/172.69 c INPROCESSING
172.02/172.69 c GARBAGE COLLECT
172.02/172.69 c rational objective 2
183.59/184.21 c #Conflicts: 247000 | #Constraints: 11812
183.59/184.21 c #Conflicts: 248000 | #Constraints: 12879
183.59/184.21 c #Conflicts: 249000 | #Constraints: 13979
183.59/184.21 c #Conflicts: 250000 | #Constraints: 15080
183.59/184.21 c #Conflicts: 251000 | #Constraints: 16175
183.59/184.21 c #Conflicts: 252000 | #Constraints: 17295
183.59/184.21 c #Conflicts: 253000 | #Constraints: 18366
183.59/184.21 c #Conflicts: 254000 | #Constraints: 19430
183.59/184.21 c #Conflicts: 255000 | #Constraints: 20552
183.59/184.21 c #Conflicts: 256000 | #Constraints: 21668
183.59/184.21 c INPROCESSING
183.59/184.21 c GARBAGE COLLECT
183.59/184.21 c rational objective 2
194.55/195.27 c #Conflicts: 257000 | #Constraints: 11742
194.55/195.27 c #Conflicts: 258000 | #Constraints: 12807
194.55/195.27 c #Conflicts: 259000 | #Constraints: 13956
194.55/195.27 c #Conflicts: 260000 | #Constraints: 15001
194.55/195.27 c #Conflicts: 261000 | #Constraints: 16072
194.55/195.27 c #Conflicts: 262000 | #Constraints: 17073
194.55/195.27 c #Conflicts: 263000 | #Constraints: 18073
194.55/195.27 c #Conflicts: 264000 | #Constraints: 19073
194.55/195.27 c #Conflicts: 265000 | #Constraints: 20073
194.55/195.27 c #Conflicts: 266000 | #Constraints: 21073
194.55/195.27 c INPROCESSING
194.55/195.27 c GARBAGE COLLECT
194.55/195.27 c rational objective 2
207.01/207.77 c #Conflicts: 267000 | #Constraints: 11255
207.01/207.77 c #Conflicts: 268000 | #Constraints: 12301
207.01/207.77 c #Conflicts: 269000 | #Constraints: 13301
207.01/207.77 c #Conflicts: 270000 | #Constraints: 14301
207.01/207.77 c #Conflicts: 271000 | #Constraints: 15400
207.01/207.77 c #Conflicts: 272000 | #Constraints: 16582
207.01/207.77 c #Conflicts: 273000 | #Constraints: 17988
207.01/207.77 c #Conflicts: 274000 | #Constraints: 19017
207.01/207.77 c #Conflicts: 275000 | #Constraints: 20120
207.01/207.77 c #Conflicts: 276000 | #Constraints: 21208
207.01/207.77 c #Conflicts: 277000 | #Constraints: 22262
207.01/207.77 c INPROCESSING
207.01/207.77 c GARBAGE COLLECT
207.01/207.77 c rational objective 2
218.58/219.33 c #Conflicts: 278000 | #Constraints: 12033
218.58/219.33 c #Conflicts: 279000 | #Constraints: 13039
218.58/219.33 c #Conflicts: 280000 | #Constraints: 14114
218.58/219.33 c #Conflicts: 281000 | #Constraints: 15254
218.58/219.33 c #Conflicts: 282000 | #Constraints: 16372
218.58/219.33 c #Conflicts: 283000 | #Constraints: 17480
218.58/219.33 c #Conflicts: 284000 | #Constraints: 18525
218.58/219.33 c #Conflicts: 285000 | #Constraints: 19640
218.58/219.33 c #Conflicts: 286000 | #Constraints: 20743
218.58/219.33 c #Conflicts: 287000 | #Constraints: 21849
218.58/219.33 c #Conflicts: 288000 | #Constraints: 22949
218.58/219.33 c INPROCESSING
218.58/219.33 c GARBAGE COLLECT
218.58/219.33 c rational objective 2
230.84/231.68 c #Conflicts: 289000 | #Constraints: 12507
230.84/231.68 c #Conflicts: 290000 | #Constraints: 13507
230.84/231.68 c #Conflicts: 291000 | #Constraints: 14507
230.84/231.68 c #Conflicts: 292000 | #Constraints: 15507
230.84/231.68 c #Conflicts: 293000 | #Constraints: 16536
230.84/231.68 c #Conflicts: 294000 | #Constraints: 17586
230.84/231.68 c #Conflicts: 295000 | #Constraints: 18616
230.84/231.68 c #Conflicts: 296000 | #Constraints: 19681
230.84/231.68 c #Conflicts: 297000 | #Constraints: 20732
230.84/231.68 c #Conflicts: 298000 | #Constraints: 21803
230.84/231.68 c #Conflicts: 299000 | #Constraints: 22962
230.84/231.68 c INPROCESSING
230.84/231.68 c GARBAGE COLLECT
230.84/231.68 c rational objective 2
243.70/244.59 c #Conflicts: 300000 | #Constraints: 12522
243.70/244.59 c #Conflicts: 301000 | #Constraints: 13651
243.70/244.59 c #Conflicts: 302000 | #Constraints: 14731
243.70/244.59 c #Conflicts: 303000 | #Constraints: 15786
243.70/244.59 c #Conflicts: 304000 | #Constraints: 16907
243.70/244.59 c #Conflicts: 305000 | #Constraints: 17965
243.70/244.59 c #Conflicts: 306000 | #Constraints: 18965
243.70/244.59 c #Conflicts: 307000 | #Constraints: 19965
243.70/244.59 c #Conflicts: 308000 | #Constraints: 20965
243.70/244.59 c #Conflicts: 309000 | #Constraints: 21965
243.70/244.59 c #Conflicts: 310000 | #Constraints: 22965
243.70/244.59 c INPROCESSING
243.70/244.59 c GARBAGE COLLECT
243.70/244.59 c rational objective 2
256.47/257.36 c #Conflicts: 311000 | #Constraints: 12428
256.47/257.36 c #Conflicts: 312000 | #Constraints: 13497
256.47/257.36 c #Conflicts: 313000 | #Constraints: 14586
256.47/257.36 c #Conflicts: 314000 | #Constraints: 15714
256.47/257.36 c #Conflicts: 315000 | #Constraints: 16814
256.47/257.36 c #Conflicts: 316000 | #Constraints: 17866
256.47/257.36 c #Conflicts: 317000 | #Constraints: 18866
256.47/257.36 c #Conflicts: 318000 | #Constraints: 19866
256.47/257.36 c #Conflicts: 319000 | #Constraints: 20866
256.47/257.36 c #Conflicts: 320000 | #Constraints: 21866
256.47/257.36 c #Conflicts: 321000 | #Constraints: 22866
256.47/257.36 c INPROCESSING
256.47/257.36 c GARBAGE COLLECT
256.47/257.36 c rational objective 2
270.92/271.85 c #Conflicts: 322000 | #Constraints: 12157
270.92/271.85 c #Conflicts: 323000 | #Constraints: 13192
270.92/271.85 c #Conflicts: 324000 | #Constraints: 14299
270.92/271.85 c #Conflicts: 325000 | #Constraints: 15399
270.92/271.85 c #Conflicts: 326000 | #Constraints: 16454
270.92/271.85 c #Conflicts: 327000 | #Constraints: 17494
270.92/271.85 c #Conflicts: 328000 | #Constraints: 18494
270.92/271.85 c #Conflicts: 329000 | #Constraints: 19570
270.92/271.85 c #Conflicts: 330000 | #Constraints: 20611
270.92/271.85 c #Conflicts: 331000 | #Constraints: 21677
270.92/271.85 c #Conflicts: 332000 | #Constraints: 22733
270.92/271.85 c #Conflicts: 333000 | #Constraints: 23770
270.92/271.85 c INPROCESSING
270.92/271.85 c GARBAGE COLLECT
270.92/271.85 c rational objective 2
285.09/286.06 c #Conflicts: 334000 | #Constraints: 12803
285.09/286.06 c #Conflicts: 335000 | #Constraints: 13811
285.09/286.06 c #Conflicts: 336000 | #Constraints: 14890
285.09/286.06 c #Conflicts: 337000 | #Constraints: 16084
285.09/286.06 c #Conflicts: 338000 | #Constraints: 17182
285.09/286.06 c #Conflicts: 339000 | #Constraints: 18216
285.09/286.06 c #Conflicts: 340000 | #Constraints: 19216
285.09/286.06 c #Conflicts: 341000 | #Constraints: 20220
285.09/286.06 c #Conflicts: 342000 | #Constraints: 21238
285.09/286.06 c #Conflicts: 343000 | #Constraints: 22291
285.09/286.06 c #Conflicts: 344000 | #Constraints: 23465
285.09/286.06 c #Conflicts: 345000 | #Constraints: 24465
285.09/286.06 c INPROCESSING
285.09/286.06 c GARBAGE COLLECT
285.09/286.06 c rational objective 2
301.22/302.29 c #Conflicts: 346000 | #Constraints: 13267
301.22/302.29 c #Conflicts: 347000 | #Constraints: 14530
301.22/302.29 c #Conflicts: 348000 | #Constraints: 15564
301.22/302.29 c #Conflicts: 349000 | #Constraints: 16584
301.22/302.29 c #Conflicts: 350000 | #Constraints: 17588
301.22/302.29 c #Conflicts: 351000 | #Constraints: 18622
301.22/302.29 c #Conflicts: 352000 | #Constraints: 19654
301.22/302.29 c #Conflicts: 353000 | #Constraints: 20722
301.22/302.29 c #Conflicts: 354000 | #Constraints: 21770
301.22/302.29 c #Conflicts: 355000 | #Constraints: 22770
301.22/302.29 c #Conflicts: 356000 | #Constraints: 23770
301.22/302.29 c #Conflicts: 357000 | #Constraints: 24770
301.22/302.29 c INPROCESSING
301.22/302.29 c GARBAGE COLLECT
301.22/302.29 c rational objective 2
316.77/317.84 c #Conflicts: 358000 | #Constraints: 13493
316.77/317.84 c #Conflicts: 359000 | #Constraints: 14579
316.77/317.84 c #Conflicts: 360000 | #Constraints: 15701
316.77/317.84 c #Conflicts: 361000 | #Constraints: 16846
316.77/317.84 c #Conflicts: 362000 | #Constraints: 17961
316.77/317.84 c #Conflicts: 363000 | #Constraints: 19100
316.77/317.84 c #Conflicts: 364000 | #Constraints: 20241
316.77/317.84 c #Conflicts: 365000 | #Constraints: 21347
316.77/317.84 c #Conflicts: 366000 | #Constraints: 22461
316.77/317.84 c #Conflicts: 367000 | #Constraints: 23566
316.77/317.84 c #Conflicts: 368000 | #Constraints: 24665
316.77/317.84 c #Conflicts: 369000 | #Constraints: 25777
316.77/317.84 c INPROCESSING
316.77/317.84 c GARBAGE COLLECT
316.77/317.84 c rational objective 2
332.93/334.04 c #Conflicts: 370000 | #Constraints: 13849
332.93/334.04 c #Conflicts: 371000 | #Constraints: 14936
332.93/334.04 c #Conflicts: 372000 | #Constraints: 15979
332.93/334.04 c #Conflicts: 373000 | #Constraints: 17099
332.93/334.04 c #Conflicts: 374000 | #Constraints: 18253
332.93/334.04 c #Conflicts: 375000 | #Constraints: 19378
332.93/334.04 c #Conflicts: 376000 | #Constraints: 20529
332.93/334.04 c #Conflicts: 377000 | #Constraints: 21716
332.93/334.04 c #Conflicts: 378000 | #Constraints: 22906
332.93/334.04 c #Conflicts: 379000 | #Constraints: 24078
332.93/334.04 c #Conflicts: 380000 | #Constraints: 25260
332.93/334.04 c #Conflicts: 381000 | #Constraints: 26407
332.93/334.04 c INPROCESSING
332.93/334.04 c GARBAGE COLLECT
332.93/334.04 c rational objective 2
349.27/350.49 c #Conflicts: 382000 | #Constraints: 13980
349.27/350.49 c #Conflicts: 383000 | #Constraints: 15016
349.27/350.49 c #Conflicts: 384000 | #Constraints: 16078
349.27/350.49 c #Conflicts: 385000 | #Constraints: 17080
349.27/350.49 c #Conflicts: 386000 | #Constraints: 18080
349.27/350.49 c #Conflicts: 387000 | #Constraints: 19175
349.27/350.49 c #Conflicts: 388000 | #Constraints: 20277
349.27/350.49 c #Conflicts: 389000 | #Constraints: 21317
349.27/350.49 c #Conflicts: 390000 | #Constraints: 22331
349.27/350.49 c #Conflicts: 391000 | #Constraints: 23347
349.27/350.49 c #Conflicts: 392000 | #Constraints: 24382
349.27/350.49 c #Conflicts: 393000 | #Constraints: 25444
349.27/350.49 c #Conflicts: 394000 | #Constraints: 26537
349.27/350.49 c INPROCESSING
349.27/350.49 c GARBAGE COLLECT
349.27/350.49 c rational objective 2
366.31/367.53 c #Conflicts: 395000 | #Constraints: 14191
366.31/367.53 c #Conflicts: 396000 | #Constraints: 15191
366.31/367.53 c #Conflicts: 397000 | #Constraints: 16191
366.31/367.53 c #Conflicts: 398000 | #Constraints: 17191
366.31/367.53 c #Conflicts: 399000 | #Constraints: 18191
366.31/367.53 c #Conflicts: 400000 | #Constraints: 19191
366.31/367.53 c #Conflicts: 401000 | #Constraints: 20191
366.31/367.53 c #Conflicts: 402000 | #Constraints: 21191
366.31/367.53 c #Conflicts: 403000 | #Constraints: 22275
366.31/367.53 c #Conflicts: 404000 | #Constraints: 23432
366.31/367.53 c #Conflicts: 405000 | #Constraints: 24498
366.31/367.53 c #Conflicts: 406000 | #Constraints: 25533
366.31/367.53 c #Conflicts: 407000 | #Constraints: 26567
366.31/367.53 c INPROCESSING
366.31/367.53 c GARBAGE COLLECT
366.31/367.53 c rational objective 2
382.26/383.53 c #Conflicts: 408000 | #Constraints: 14293
382.26/383.53 c #Conflicts: 409000 | #Constraints: 15293
382.26/383.53 c #Conflicts: 410000 | #Constraints: 16312
382.26/383.53 c #Conflicts: 411000 | #Constraints: 17433
382.26/383.53 c #Conflicts: 412000 | #Constraints: 18510
382.26/383.53 c #Conflicts: 413000 | #Constraints: 19626
382.26/383.53 c #Conflicts: 414000 | #Constraints: 20709
382.26/383.53 c #Conflicts: 415000 | #Constraints: 21843
382.26/383.53 c #Conflicts: 416000 | #Constraints: 22942
382.26/383.53 c #Conflicts: 417000 | #Constraints: 24068
382.26/383.53 c #Conflicts: 418000 | #Constraints: 25197
382.26/383.53 c #Conflicts: 419000 | #Constraints: 26311
382.26/383.53 c #Conflicts: 420000 | #Constraints: 27384
382.26/383.53 c INPROCESSING
382.26/383.53 c GARBAGE COLLECT
382.26/383.53 c rational objective 2
402.30/403.65 c #Conflicts: 421000 | #Constraints: 14785
402.30/403.65 c #Conflicts: 422000 | #Constraints: 15933
402.30/403.65 c #Conflicts: 423000 | #Constraints: 17042
402.30/403.65 c #Conflicts: 424000 | #Constraints: 18112
402.30/403.65 c #Conflicts: 425000 | #Constraints: 19151
402.30/403.65 c #Conflicts: 426000 | #Constraints: 20168
402.30/403.65 c #Conflicts: 427000 | #Constraints: 21191
402.30/403.65 c #Conflicts: 428000 | #Constraints: 22198
402.30/403.65 c #Conflicts: 429000 | #Constraints: 23198
402.30/403.65 c #Conflicts: 430000 | #Constraints: 24225
402.30/403.65 c #Conflicts: 431000 | #Constraints: 25255
402.30/403.65 c #Conflicts: 432000 | #Constraints: 26334
402.30/403.65 c #Conflicts: 433000 | #Constraints: 27388
402.30/403.65 c INPROCESSING
402.30/403.65 c GARBAGE COLLECT
402.30/403.65 c rational objective 2
421.65/423.01 c #Conflicts: 434000 | #Constraints: 14622
421.65/423.01 c #Conflicts: 435000 | #Constraints: 15630
421.65/423.01 c #Conflicts: 436000 | #Constraints: 16660
421.65/423.01 c #Conflicts: 437000 | #Constraints: 17672
421.65/423.01 c #Conflicts: 438000 | #Constraints: 18672
421.65/423.01 c #Conflicts: 439000 | #Constraints: 19679
421.65/423.01 c #Conflicts: 440000 | #Constraints: 20699
421.65/423.01 c #Conflicts: 441000 | #Constraints: 21718
421.65/423.01 c #Conflicts: 442000 | #Constraints: 22741
421.65/423.01 c #Conflicts: 443000 | #Constraints: 23775
421.65/423.01 c #Conflicts: 444000 | #Constraints: 24837
421.65/423.01 c #Conflicts: 445000 | #Constraints: 25862
421.65/423.01 c #Conflicts: 446000 | #Constraints: 26918
421.65/423.01 c INPROCESSING
421.65/423.01 c GARBAGE COLLECT
421.65/423.01 c rational objective 2
442.46/443.95 c #Conflicts: 447000 | #Constraints: 14196
442.46/443.95 c #Conflicts: 448000 | #Constraints: 15242
442.46/443.95 c #Conflicts: 449000 | #Constraints: 16280
442.46/443.95 c #Conflicts: 450000 | #Constraints: 17340
442.46/443.95 c #Conflicts: 451000 | #Constraints: 18464
442.46/443.95 c #Conflicts: 452000 | #Constraints: 19535
442.46/443.95 c #Conflicts: 453000 | #Constraints: 20654
442.46/443.95 c #Conflicts: 454000 | #Constraints: 21771
442.46/443.95 c #Conflicts: 455000 | #Constraints: 22904
442.46/443.95 c #Conflicts: 456000 | #Constraints: 23926
442.46/443.95 c #Conflicts: 457000 | #Constraints: 24926
442.46/443.95 c #Conflicts: 458000 | #Constraints: 25926
442.46/443.95 c #Conflicts: 459000 | #Constraints: 26926
442.46/443.95 c #Conflicts: 460000 | #Constraints: 27926
442.46/443.95 c INPROCESSING
442.46/443.95 c GARBAGE COLLECT
442.46/443.95 c rational objective 2
467.60/469.18 c #Conflicts: 461000 | #Constraints: 15064
467.60/469.18 c #Conflicts: 462000 | #Constraints: 16469
467.60/469.18 c #Conflicts: 463000 | #Constraints: 17837
467.60/469.18 c #Conflicts: 464000 | #Constraints: 19164
467.60/469.18 c #Conflicts: 465000 | #Constraints: 20351
467.60/469.18 c #Conflicts: 466000 | #Constraints: 21550
467.60/469.18 c #Conflicts: 467000 | #Constraints: 22902
467.60/469.18 c #Conflicts: 468000 | #Constraints: 24190
467.60/469.18 c #Conflicts: 469000 | #Constraints: 25481
467.60/469.18 c #Conflicts: 470000 | #Constraints: 26758
467.60/469.18 c #Conflicts: 471000 | #Constraints: 28117
467.60/469.18 c #Conflicts: 472000 | #Constraints: 29417
467.60/469.18 c #Conflicts: 473000 | #Constraints: 30654
467.60/469.18 c #Conflicts: 474000 | #Constraints: 31902
467.60/469.18 c INPROCESSING
467.60/469.18 c GARBAGE COLLECT
467.60/469.18 c rational objective 2
493.79/495.44 c #Conflicts: 475000 | #Constraints: 17010
493.79/495.44 c #Conflicts: 476000 | #Constraints: 18072
493.79/495.44 c #Conflicts: 477000 | #Constraints: 19111
493.79/495.44 c #Conflicts: 478000 | #Constraints: 20168
493.79/495.44 c #Conflicts: 479000 | #Constraints: 21254
493.79/495.44 c #Conflicts: 480000 | #Constraints: 22362
493.79/495.44 c #Conflicts: 481000 | #Constraints: 23420
493.79/495.44 c #Conflicts: 482000 | #Constraints: 24495
493.79/495.44 c #Conflicts: 483000 | #Constraints: 25610
493.79/495.44 c #Conflicts: 484000 | #Constraints: 26688
493.79/495.44 c #Conflicts: 485000 | #Constraints: 27787
493.79/495.44 c #Conflicts: 486000 | #Constraints: 28882
493.79/495.44 c #Conflicts: 487000 | #Constraints: 29977
493.79/495.44 c #Conflicts: 488000 | #Constraints: 31065
493.79/495.44 c INPROCESSING
493.79/495.44 c GARBAGE COLLECT
493.79/495.44 c rational objective 2
523.77/525.57 c #Conflicts: 489000 | #Constraints: 16596
523.77/525.57 c #Conflicts: 490000 | #Constraints: 17599
523.77/525.57 c #Conflicts: 491000 | #Constraints: 18631
523.77/525.57 c #Conflicts: 492000 | #Constraints: 19699
523.77/525.57 c #Conflicts: 493000 | #Constraints: 20862
523.77/525.57 c #Conflicts: 494000 | #Constraints: 21933
523.77/525.57 c #Conflicts: 495000 | #Constraints: 22973
523.77/525.57 c #Conflicts: 496000 | #Constraints: 24021
523.77/525.57 c #Conflicts: 497000 | #Constraints: 25126
523.77/525.57 c #Conflicts: 498000 | #Constraints: 26459
523.77/525.57 c #Conflicts: 499000 | #Constraints: 27958
523.77/525.57 c #Conflicts: 500000 | #Constraints: 29303
523.77/525.57 c #Conflicts: 501000 | #Constraints: 30805
523.77/525.57 c #Conflicts: 502000 | #Constraints: 32333
523.77/525.57 c INPROCESSING
523.77/525.57 c GARBAGE COLLECT
523.77/525.57 c rational objective 2.00006
551.96/553.86 c #Conflicts: 503000 | #Constraints: 17203
551.96/553.86 c #Conflicts: 504000 | #Constraints: 18264
551.96/553.86 c #Conflicts: 505000 | #Constraints: 19278
551.96/553.86 c #Conflicts: 506000 | #Constraints: 20278
551.96/553.86 c #Conflicts: 507000 | #Constraints: 21305
551.96/553.86 c #Conflicts: 508000 | #Constraints: 22319
551.96/553.86 c #Conflicts: 509000 | #Constraints: 23319
551.96/553.86 c #Conflicts: 510000 | #Constraints: 24341
551.96/553.86 c #Conflicts: 511000 | #Constraints: 25396
551.96/553.86 c #Conflicts: 512000 | #Constraints: 26464
551.96/553.86 c #Conflicts: 513000 | #Constraints: 27489
551.96/553.86 c #Conflicts: 514000 | #Constraints: 28498
551.96/553.86 c #Conflicts: 515000 | #Constraints: 29498
551.96/553.86 c #Conflicts: 516000 | #Constraints: 30500
551.96/553.86 c INPROCESSING
551.96/553.86 c GARBAGE COLLECT
551.96/553.86 c rational objective 2
597.80/599.83 c #Conflicts: 517000 | #Constraints: 15969
597.80/599.83 c #Conflicts: 518000 | #Constraints: 17016
597.80/599.83 c #Conflicts: 519000 | #Constraints: 18073
597.80/599.83 c #Conflicts: 520000 | #Constraints: 19081
597.80/599.83 c #Conflicts: 521000 | #Constraints: 20081
597.80/599.83 c #Conflicts: 522000 | #Constraints: 21081
597.80/599.83 c #Conflicts: 523000 | #Constraints: 22081
597.80/599.83 c #Conflicts: 524000 | #Constraints: 23087
597.80/599.83 c #Conflicts: 525000 | #Constraints: 24090
597.80/599.83 c #Conflicts: 526000 | #Constraints: 25090
597.80/599.83 c #Conflicts: 527000 | #Constraints: 26090
597.80/599.83 c #Conflicts: 528000 | #Constraints: 27090
597.80/599.83 c #Conflicts: 529000 | #Constraints: 28090
597.80/599.83 c #Conflicts: 530000 | #Constraints: 29113
597.80/599.83 c #Conflicts: 531000 | #Constraints: 30144
597.80/599.83 c INPROCESSING
597.80/599.83 c GARBAGE COLLECT
597.80/599.83 c #Conflicts: 532000 | #Constraints: 15994
597.80/599.83 c #Conflicts: 533000 | #Constraints: 17015
597.80/599.83 c #Conflicts: 534000 | #Constraints: 18015
597.80/599.83 c #Conflicts: 535000 | #Constraints: 19046
597.80/599.83 c #Conflicts: 536000 | #Constraints: 20071
597.80/599.83 c #Conflicts: 537000 | #Constraints: 21116
597.80/599.83 c #Conflicts: 538000 | #Constraints: 22128
597.80/599.83 c #Conflicts: 539000 | #Constraints: 23128
597.80/599.83 c #Conflicts: 540000 | #Constraints: 24162
597.80/599.83 c #Conflicts: 541000 | #Constraints: 25176
597.80/599.83 c #Conflicts: 542000 | #Constraints: 26176
597.80/599.83 c #Conflicts: 543000 | #Constraints: 27176
597.80/599.83 c #Conflicts: 544000 | #Constraints: 28176
597.80/599.83 c #Conflicts: 545000 | #Constraints: 29242
597.80/599.83 c #Conflicts: 546000 | #Constraints: 30242
597.80/599.83 c INPROCESSING
597.80/599.83 c GARBAGE COLLECT
597.80/599.83 c rational objective 2
618.53/620.61 c #Conflicts: 547000 | #Constraints: 16145
618.53/620.61 c #Conflicts: 548000 | #Constraints: 17169
618.53/620.61 c #Conflicts: 549000 | #Constraints: 18173
618.53/620.61 c #Conflicts: 550000 | #Constraints: 19173
618.53/620.61 c #Conflicts: 551000 | #Constraints: 20173
618.53/620.61 c #Conflicts: 552000 | #Constraints: 21173
618.53/620.61 c #Conflicts: 553000 | #Constraints: 22173
618.53/620.61 c #Conflicts: 554000 | #Constraints: 23173
618.53/620.61 c #Conflicts: 555000 | #Constraints: 24173
618.53/620.61 c #Conflicts: 556000 | #Constraints: 25173
618.53/620.61 c #Conflicts: 557000 | #Constraints: 26173
618.53/620.61 c #Conflicts: 558000 | #Constraints: 27173
618.53/620.61 c #Conflicts: 559000 | #Constraints: 28173
618.53/620.61 c #Conflicts: 560000 | #Constraints: 29173
618.53/620.61 c #Conflicts: 561000 | #Constraints: 30173
618.53/620.61 c INPROCESSING
618.53/620.61 c GARBAGE COLLECT
618.53/620.61 c rational objective 2
640.75/642.97 c #Conflicts: 562000 | #Constraints: 16105
640.75/642.97 c #Conflicts: 563000 | #Constraints: 17120
640.75/642.97 c #Conflicts: 564000 | #Constraints: 18120
640.75/642.97 c #Conflicts: 565000 | #Constraints: 19120
640.75/642.97 c #Conflicts: 566000 | #Constraints: 20120
640.75/642.97 c #Conflicts: 567000 | #Constraints: 21120
640.75/642.97 c #Conflicts: 568000 | #Constraints: 22132
640.75/642.97 c #Conflicts: 569000 | #Constraints: 23167
640.75/642.97 c #Conflicts: 570000 | #Constraints: 24190
640.75/642.97 c #Conflicts: 571000 | #Constraints: 25232
640.75/642.97 c #Conflicts: 572000 | #Constraints: 26232
640.75/642.97 c #Conflicts: 573000 | #Constraints: 27232
640.75/642.97 c #Conflicts: 574000 | #Constraints: 28232
640.75/642.97 c #Conflicts: 575000 | #Constraints: 29232
640.75/642.97 c #Conflicts: 576000 | #Constraints: 30232
640.75/642.97 c INPROCESSING
640.75/642.97 c GARBAGE COLLECT
640.75/642.97 c rational objective 2
662.47/664.71 c #Conflicts: 577000 | #Constraints: 16039
662.47/664.71 c #Conflicts: 578000 | #Constraints: 17059
662.47/664.71 c #Conflicts: 579000 | #Constraints: 18061
662.47/664.71 c #Conflicts: 580000 | #Constraints: 19062
662.47/664.71 c #Conflicts: 581000 | #Constraints: 20062
662.47/664.71 c #Conflicts: 582000 | #Constraints: 21066
662.47/664.71 c #Conflicts: 583000 | #Constraints: 22066
662.47/664.71 c #Conflicts: 584000 | #Constraints: 23066
662.47/664.71 c #Conflicts: 585000 | #Constraints: 24066
662.47/664.71 c #Conflicts: 586000 | #Constraints: 25066
662.47/664.71 c #Conflicts: 587000 | #Constraints: 26066
662.47/664.71 c #Conflicts: 588000 | #Constraints: 27066
662.47/664.71 c #Conflicts: 589000 | #Constraints: 28066
662.47/664.71 c #Conflicts: 590000 | #Constraints: 29066
662.47/664.71 c #Conflicts: 591000 | #Constraints: 30066
662.47/664.71 c INPROCESSING
662.47/664.71 c GARBAGE COLLECT
662.47/664.71 c rational objective 2
685.20/687.59 c #Conflicts: 592000 | #Constraints: 15752
685.20/687.59 c #Conflicts: 593000 | #Constraints: 16783
685.20/687.59 c #Conflicts: 594000 | #Constraints: 17783
685.20/687.59 c #Conflicts: 595000 | #Constraints: 18783
685.20/687.59 c #Conflicts: 596000 | #Constraints: 19783
685.20/687.59 c #Conflicts: 597000 | #Constraints: 20783
685.20/687.59 c #Conflicts: 598000 | #Constraints: 21783
685.20/687.59 c #Conflicts: 599000 | #Constraints: 22783
685.20/687.59 c #Conflicts: 600000 | #Constraints: 23783
685.20/687.59 c #Conflicts: 601000 | #Constraints: 24783
685.20/687.59 c #Conflicts: 602000 | #Constraints: 25783
685.20/687.59 c #Conflicts: 603000 | #Constraints: 26783
685.20/687.59 c #Conflicts: 604000 | #Constraints: 27783
685.20/687.59 c #Conflicts: 605000 | #Constraints: 28783
685.20/687.59 c #Conflicts: 606000 | #Constraints: 29783
685.20/687.59 c #Conflicts: 607000 | #Constraints: 30783
685.20/687.59 c INPROCESSING
685.20/687.59 c GARBAGE COLLECT
685.20/687.59 c rational objective 2
709.01/711.43 c #Conflicts: 608000 | #Constraints: 16322
709.01/711.43 c #Conflicts: 609000 | #Constraints: 17375
709.01/711.43 c #Conflicts: 610000 | #Constraints: 18395
709.01/711.43 c #Conflicts: 611000 | #Constraints: 19395
709.01/711.43 c #Conflicts: 612000 | #Constraints: 20395
709.01/711.43 c #Conflicts: 613000 | #Constraints: 21395
709.01/711.43 c #Conflicts: 614000 | #Constraints: 22395
709.01/711.43 c #Conflicts: 615000 | #Constraints: 23395
709.01/711.43 c #Conflicts: 616000 | #Constraints: 24396
709.01/711.43 c #Conflicts: 617000 | #Constraints: 25402
709.01/711.43 c #Conflicts: 618000 | #Constraints: 26444
709.01/711.43 c #Conflicts: 619000 | #Constraints: 27503
709.01/711.43 c #Conflicts: 620000 | #Constraints: 28521
709.01/711.43 c #Conflicts: 621000 | #Constraints: 29546
709.01/711.43 c #Conflicts: 622000 | #Constraints: 30546
709.01/711.43 c #Conflicts: 623000 | #Constraints: 31546
709.01/711.43 c INPROCESSING
709.01/711.43 c GARBAGE COLLECT
709.01/711.43 c rational objective 2
733.22/735.76 c #Conflicts: 624000 | #Constraints: 16794
733.22/735.76 c #Conflicts: 625000 | #Constraints: 17794
733.22/735.76 c #Conflicts: 626000 | #Constraints: 18794
733.22/735.76 c #Conflicts: 627000 | #Constraints: 19794
733.22/735.76 c #Conflicts: 628000 | #Constraints: 20794
733.22/735.76 c #Conflicts: 629000 | #Constraints: 21794
733.22/735.76 c #Conflicts: 630000 | #Constraints: 22794
733.22/735.76 c #Conflicts: 631000 | #Constraints: 23794
733.22/735.76 c #Conflicts: 632000 | #Constraints: 24794
733.22/735.76 c #Conflicts: 633000 | #Constraints: 25794
733.22/735.76 c #Conflicts: 634000 | #Constraints: 26794
733.22/735.76 c #Conflicts: 635000 | #Constraints: 27798
733.22/735.76 c #Conflicts: 636000 | #Constraints: 28798
733.22/735.76 c #Conflicts: 637000 | #Constraints: 29798
733.22/735.76 c #Conflicts: 638000 | #Constraints: 30798
733.22/735.76 c #Conflicts: 639000 | #Constraints: 31798
733.22/735.76 c INPROCESSING
733.22/735.76 c GARBAGE COLLECT
733.22/735.76 c rational objective 2
758.62/761.20 c #Conflicts: 640000 | #Constraints: 16928
758.62/761.20 c #Conflicts: 641000 | #Constraints: 17936
758.62/761.20 c #Conflicts: 642000 | #Constraints: 18936
758.62/761.20 c #Conflicts: 643000 | #Constraints: 19936
758.62/761.20 c #Conflicts: 644000 | #Constraints: 20936
758.62/761.20 c #Conflicts: 645000 | #Constraints: 21939
758.62/761.20 c #Conflicts: 646000 | #Constraints: 22939
758.62/761.20 c #Conflicts: 647000 | #Constraints: 23987
758.62/761.20 c #Conflicts: 648000 | #Constraints: 25028
758.62/761.20 c #Conflicts: 649000 | #Constraints: 26028
758.62/761.20 c #Conflicts: 650000 | #Constraints: 27028
758.62/761.20 c #Conflicts: 651000 | #Constraints: 28028
758.62/761.20 c #Conflicts: 652000 | #Constraints: 29028
758.62/761.20 c #Conflicts: 653000 | #Constraints: 30028
758.62/761.20 c #Conflicts: 654000 | #Constraints: 31028
758.62/761.20 c #Conflicts: 655000 | #Constraints: 32028
758.62/761.20 c INPROCESSING
758.62/761.20 c GARBAGE COLLECT
758.62/761.20 c rational objective 2
789.81/792.57 c #Conflicts: 656000 | #Constraints: 16961
789.81/792.57 c #Conflicts: 657000 | #Constraints: 18086
789.81/792.57 c #Conflicts: 658000 | #Constraints: 19328
789.81/792.57 c #Conflicts: 659000 | #Constraints: 20629
789.81/792.57 c #Conflicts: 660000 | #Constraints: 21875
789.81/792.57 c #Conflicts: 661000 | #Constraints: 22939
789.81/792.57 c #Conflicts: 662000 | #Constraints: 23994
789.81/792.57 c #Conflicts: 663000 | #Constraints: 25030
789.81/792.57 c #Conflicts: 664000 | #Constraints: 26071
789.81/792.57 c #Conflicts: 665000 | #Constraints: 27076
789.81/792.57 c #Conflicts: 666000 | #Constraints: 28076
789.81/792.57 c #Conflicts: 667000 | #Constraints: 29076
789.81/792.57 c #Conflicts: 668000 | #Constraints: 30076
789.81/792.57 c #Conflicts: 669000 | #Constraints: 31087
789.81/792.57 c #Conflicts: 670000 | #Constraints: 32087
789.81/792.57 c #Conflicts: 671000 | #Constraints: 33087
789.81/792.57 c INPROCESSING
789.81/792.57 c GARBAGE COLLECT
789.81/792.57 c rational objective 2
819.09/821.96 c #Conflicts: 672000 | #Constraints: 17268
819.09/821.96 c #Conflicts: 673000 | #Constraints: 18268
819.09/821.96 c #Conflicts: 674000 | #Constraints: 19268
819.09/821.96 c #Conflicts: 675000 | #Constraints: 20268
819.09/821.96 c #Conflicts: 676000 | #Constraints: 21268
819.09/821.96 c #Conflicts: 677000 | #Constraints: 22268
819.09/821.96 c #Conflicts: 678000 | #Constraints: 23268
819.09/821.96 c #Conflicts: 679000 | #Constraints: 24268
819.09/821.96 c #Conflicts: 680000 | #Constraints: 25268
819.09/821.96 c #Conflicts: 681000 | #Constraints: 26268
819.09/821.96 c #Conflicts: 682000 | #Constraints: 27268
819.09/821.96 c #Conflicts: 683000 | #Constraints: 28268
819.09/821.96 c #Conflicts: 684000 | #Constraints: 29275
819.09/821.96 c #Conflicts: 685000 | #Constraints: 30277
819.09/821.96 c #Conflicts: 686000 | #Constraints: 31301
819.09/821.96 c #Conflicts: 687000 | #Constraints: 32307
819.09/821.96 c #Conflicts: 688000 | #Constraints: 33311
819.09/821.96 c INPROCESSING
819.09/821.96 c GARBAGE COLLECT
819.09/821.96 c rational objective 2
849.38/852.32 c #Conflicts: 689000 | #Constraints: 17576
849.38/852.32 c #Conflicts: 690000 | #Constraints: 18579
849.38/852.32 c #Conflicts: 691000 | #Constraints: 19579
849.38/852.32 c #Conflicts: 692000 | #Constraints: 20579
849.38/852.32 c #Conflicts: 693000 | #Constraints: 21581
849.38/852.32 c #Conflicts: 694000 | #Constraints: 22607
849.38/852.32 c #Conflicts: 695000 | #Constraints: 23636
849.38/852.32 c #Conflicts: 696000 | #Constraints: 24643
849.38/852.32 c #Conflicts: 697000 | #Constraints: 25643
849.38/852.32 c #Conflicts: 698000 | #Constraints: 26643
849.38/852.32 c #Conflicts: 699000 | #Constraints: 27643
849.38/852.32 c #Conflicts: 700000 | #Constraints: 28643
849.38/852.32 c #Conflicts: 701000 | #Constraints: 29643
849.38/852.32 c #Conflicts: 702000 | #Constraints: 30643
849.38/852.32 c #Conflicts: 703000 | #Constraints: 31643
849.38/852.32 c #Conflicts: 704000 | #Constraints: 32643
849.38/852.32 c #Conflicts: 705000 | #Constraints: 33643
849.38/852.32 c INPROCESSING
849.38/852.32 c GARBAGE COLLECT
849.38/852.32 c rational objective 2
879.87/882.90 c #Conflicts: 706000 | #Constraints: 17879
879.87/882.90 c #Conflicts: 707000 | #Constraints: 18932
879.87/882.90 c #Conflicts: 708000 | #Constraints: 19941
879.87/882.90 c #Conflicts: 709000 | #Constraints: 20941
879.87/882.90 c #Conflicts: 710000 | #Constraints: 21941
879.87/882.90 c #Conflicts: 711000 | #Constraints: 22941
879.87/882.90 c #Conflicts: 712000 | #Constraints: 23941
879.87/882.90 c #Conflicts: 713000 | #Constraints: 24941
879.87/882.90 c #Conflicts: 714000 | #Constraints: 25941
879.87/882.90 c #Conflicts: 715000 | #Constraints: 26941
879.87/882.90 c #Conflicts: 716000 | #Constraints: 27941
879.87/882.90 c #Conflicts: 717000 | #Constraints: 28941
879.87/882.90 c #Conflicts: 718000 | #Constraints: 29941
879.87/882.90 c #Conflicts: 719000 | #Constraints: 30941
879.87/882.90 c #Conflicts: 720000 | #Constraints: 31941
879.87/882.90 c #Conflicts: 721000 | #Constraints: 32941
879.87/882.90 c #Conflicts: 722000 | #Constraints: 33941
879.87/882.90 c INPROCESSING
879.87/882.90 c GARBAGE COLLECT
879.87/882.90 c rational objective 2
909.26/912.41 c #Conflicts: 723000 | #Constraints: 17999
909.26/912.41 c #Conflicts: 724000 | #Constraints: 18999
909.26/912.41 c #Conflicts: 725000 | #Constraints: 19999
909.26/912.41 c #Conflicts: 726000 | #Constraints: 20999
909.26/912.41 c #Conflicts: 727000 | #Constraints: 21999
909.26/912.41 c #Conflicts: 728000 | #Constraints: 22999
909.26/912.41 c #Conflicts: 729000 | #Constraints: 23999
909.26/912.41 c #Conflicts: 730000 | #Constraints: 24999
909.26/912.41 c #Conflicts: 731000 | #Constraints: 25999
909.26/912.41 c #Conflicts: 732000 | #Constraints: 26999
909.26/912.41 c #Conflicts: 733000 | #Constraints: 27999
909.26/912.41 c #Conflicts: 734000 | #Constraints: 28999
909.26/912.41 c #Conflicts: 735000 | #Constraints: 29999
909.26/912.41 c #Conflicts: 736000 | #Constraints: 30999
909.26/912.41 c #Conflicts: 737000 | #Constraints: 31999
909.26/912.41 c #Conflicts: 738000 | #Constraints: 32999
909.26/912.41 c #Conflicts: 739000 | #Constraints: 33999
909.26/912.41 c INPROCESSING
909.26/912.41 c GARBAGE COLLECT
909.26/912.41 c rational objective 2
938.16/941.49 c #Conflicts: 740000 | #Constraints: 17933
938.16/941.49 c #Conflicts: 741000 | #Constraints: 18960
938.16/941.49 c #Conflicts: 742000 | #Constraints: 19960
938.16/941.49 c #Conflicts: 743000 | #Constraints: 20960
938.16/941.49 c #Conflicts: 744000 | #Constraints: 21960
938.16/941.49 c #Conflicts: 745000 | #Constraints: 22960
938.16/941.49 c #Conflicts: 746000 | #Constraints: 23980
938.16/941.49 c #Conflicts: 747000 | #Constraints: 25004
938.16/941.49 c #Conflicts: 748000 | #Constraints: 26004
938.16/941.49 c #Conflicts: 749000 | #Constraints: 27004
938.16/941.49 c #Conflicts: 750000 | #Constraints: 28004
938.16/941.49 c #Conflicts: 751000 | #Constraints: 29004
938.16/941.49 c #Conflicts: 752000 | #Constraints: 30004
938.16/941.49 c #Conflicts: 753000 | #Constraints: 31004
938.16/941.49 c #Conflicts: 754000 | #Constraints: 32004
938.16/941.49 c #Conflicts: 755000 | #Constraints: 33004
938.16/941.49 c #Conflicts: 756000 | #Constraints: 34004
938.16/941.49 c INPROCESSING
938.16/941.49 c GARBAGE COLLECT
938.16/941.49 c rational objective 2
969.25/972.64 c #Conflicts: 757000 | #Constraints: 17722
969.25/972.64 c #Conflicts: 758000 | #Constraints: 18843
969.25/972.64 c #Conflicts: 759000 | #Constraints: 19852
969.25/972.64 c #Conflicts: 760000 | #Constraints: 20852
969.25/972.64 c #Conflicts: 761000 | #Constraints: 21852
969.25/972.64 c #Conflicts: 762000 | #Constraints: 22852
969.25/972.64 c #Conflicts: 763000 | #Constraints: 23852
969.25/972.64 c #Conflicts: 764000 | #Constraints: 24852
969.25/972.64 c #Conflicts: 765000 | #Constraints: 25852
969.25/972.64 c #Conflicts: 766000 | #Constraints: 26852
969.25/972.64 c #Conflicts: 767000 | #Constraints: 27879
969.25/972.64 c #Conflicts: 768000 | #Constraints: 28879
969.25/972.64 c #Conflicts: 769000 | #Constraints: 29879
969.25/972.64 c #Conflicts: 770000 | #Constraints: 30879
969.25/972.64 c #Conflicts: 771000 | #Constraints: 31879
969.25/972.64 c #Conflicts: 772000 | #Constraints: 32879
969.25/972.64 c #Conflicts: 773000 | #Constraints: 33879
969.25/972.64 c #Conflicts: 774000 | #Constraints: 34879
969.25/972.64 c INPROCESSING
969.25/972.64 c GARBAGE COLLECT
969.25/972.64 c rational objective 2
1001.33/1004.85 c #Conflicts: 775000 | #Constraints: 18436
1001.33/1004.85 c #Conflicts: 776000 | #Constraints: 19490
1001.33/1004.85 c #Conflicts: 777000 | #Constraints: 20490
1001.33/1004.85 c #Conflicts: 778000 | #Constraints: 21490
1001.33/1004.85 c #Conflicts: 779000 | #Constraints: 22490
1001.33/1004.85 c #Conflicts: 780000 | #Constraints: 23490
1001.33/1004.85 c #Conflicts: 781000 | #Constraints: 24490
1001.33/1004.85 c #Conflicts: 782000 | #Constraints: 25490
1001.33/1004.85 c #Conflicts: 783000 | #Constraints: 26490
1001.33/1004.85 c #Conflicts: 784000 | #Constraints: 27490
1001.33/1004.85 c #Conflicts: 785000 | #Constraints: 28490
1001.33/1004.85 c #Conflicts: 786000 | #Constraints: 29490
1001.33/1004.85 c #Conflicts: 787000 | #Constraints: 30490
1001.33/1004.85 c #Conflicts: 788000 | #Constraints: 31490
1001.33/1004.85 c #Conflicts: 789000 | #Constraints: 32490
1001.33/1004.85 c #Conflicts: 790000 | #Constraints: 33490
1001.33/1004.85 c #Conflicts: 791000 | #Constraints: 34490
1001.33/1004.85 c #Conflicts: 792000 | #Constraints: 35490
1001.33/1004.85 c INPROCESSING
1001.33/1004.85 c GARBAGE COLLECT
1001.33/1004.85 c rational objective 2.00006
1033.82/1037.40 c #Conflicts: 793000 | #Constraints: 18802
1033.82/1037.40 c #Conflicts: 794000 | #Constraints: 19876
1033.82/1037.40 c #Conflicts: 795000 | #Constraints: 20891
1033.82/1037.40 c #Conflicts: 796000 | #Constraints: 21891
1033.82/1037.40 c #Conflicts: 797000 | #Constraints: 22893
1033.82/1037.40 c #Conflicts: 798000 | #Constraints: 23899
1033.82/1037.40 c #Conflicts: 799000 | #Constraints: 24899
1033.82/1037.40 c #Conflicts: 800000 | #Constraints: 25899
1033.82/1037.40 c #Conflicts: 801000 | #Constraints: 26899
1033.82/1037.40 c #Conflicts: 802000 | #Constraints: 27899
1033.82/1037.40 c #Conflicts: 803000 | #Constraints: 28899
1033.82/1037.40 c #Conflicts: 804000 | #Constraints: 29899
1033.82/1037.40 c #Conflicts: 805000 | #Constraints: 30899
1033.82/1037.40 c #Conflicts: 806000 | #Constraints: 31899
1033.82/1037.40 c #Conflicts: 807000 | #Constraints: 32899
1033.82/1037.40 c #Conflicts: 808000 | #Constraints: 33899
1033.82/1037.40 c #Conflicts: 809000 | #Constraints: 34899
1033.82/1037.40 c #Conflicts: 810000 | #Constraints: 35899
1033.82/1037.40 c INPROCESSING
1033.82/1037.40 c GARBAGE COLLECT
1033.82/1037.40 c rational objective 2.00004
1069.10/1072.81 c #Conflicts: 811000 | #Constraints: 19065
1069.10/1072.81 c #Conflicts: 812000 | #Constraints: 20151
1069.10/1072.81 c #Conflicts: 813000 | #Constraints: 21152
1069.10/1072.81 c #Conflicts: 814000 | #Constraints: 22152
1069.10/1072.81 c #Conflicts: 815000 | #Constraints: 23160
1069.10/1072.81 c #Conflicts: 816000 | #Constraints: 24196
1069.10/1072.81 c #Conflicts: 817000 | #Constraints: 25299
1069.10/1072.81 c #Conflicts: 818000 | #Constraints: 26357
1069.10/1072.81 c #Conflicts: 819000 | #Constraints: 27357
1069.10/1072.81 c #Conflicts: 820000 | #Constraints: 28357
1069.10/1072.81 c #Conflicts: 821000 | #Constraints: 29357
1069.10/1072.81 c #Conflicts: 822000 | #Constraints: 30357
1069.10/1072.81 c #Conflicts: 823000 | #Constraints: 31357
1069.10/1072.81 c #Conflicts: 824000 | #Constraints: 32357
1069.10/1072.81 c #Conflicts: 825000 | #Constraints: 33357
1069.10/1072.81 c #Conflicts: 826000 | #Constraints: 34357
1069.10/1072.81 c #Conflicts: 827000 | #Constraints: 35357
1069.10/1072.81 c #Conflicts: 828000 | #Constraints: 36357
1069.10/1072.81 c INPROCESSING
1069.10/1072.81 c GARBAGE COLLECT
1069.10/1072.81 c rational objective 2.00004
1122.81/1126.73 c #Conflicts: 829000 | #Constraints: 19140
1122.81/1126.73 c #Conflicts: 830000 | #Constraints: 20206
1122.81/1126.73 c #Conflicts: 831000 | #Constraints: 21302
1122.81/1126.73 c #Conflicts: 832000 | #Constraints: 22384
1122.81/1126.73 c #Conflicts: 833000 | #Constraints: 23430
1122.81/1126.73 c #Conflicts: 834000 | #Constraints: 24435
1122.81/1126.73 c #Conflicts: 835000 | #Constraints: 25458
1122.81/1126.73 c #Conflicts: 836000 | #Constraints: 26483
1122.81/1126.73 c #Conflicts: 837000 | #Constraints: 27573
1122.81/1126.73 c #Conflicts: 838000 | #Constraints: 28659
1122.81/1126.73 c #Conflicts: 839000 | #Constraints: 29734
1122.81/1126.73 c #Conflicts: 840000 | #Constraints: 30734
1122.81/1126.73 c #Conflicts: 841000 | #Constraints: 31734
1122.81/1126.73 c #Conflicts: 842000 | #Constraints: 32734
1122.81/1126.73 c #Conflicts: 843000 | #Constraints: 33734
1122.81/1126.73 c #Conflicts: 844000 | #Constraints: 34734
1122.81/1126.73 c #Conflicts: 845000 | #Constraints: 35734
1122.81/1126.73 c #Conflicts: 846000 | #Constraints: 36734
1122.81/1126.73 c INPROCESSING
1122.81/1126.73 c GARBAGE COLLECT
1122.81/1126.73 c rational objective 2.00027
1160.69/1164.74 c #Conflicts: 847000 | #Constraints: 19095
1160.69/1164.74 c #Conflicts: 848000 | #Constraints: 20130
1160.69/1164.74 c #Conflicts: 849000 | #Constraints: 21152
1160.69/1164.74 c #Conflicts: 850000 | #Constraints: 22173
1160.69/1164.74 c #Conflicts: 851000 | #Constraints: 23173
1160.69/1164.74 c #Conflicts: 852000 | #Constraints: 24215
1160.69/1164.74 c #Conflicts: 853000 | #Constraints: 25284
1160.69/1164.74 c #Conflicts: 854000 | #Constraints: 26320
1160.69/1164.74 c #Conflicts: 855000 | #Constraints: 27406
1160.69/1164.74 c #Conflicts: 856000 | #Constraints: 28494
1160.69/1164.74 c #Conflicts: 857000 | #Constraints: 29570
1160.69/1164.74 c #Conflicts: 858000 | #Constraints: 30633
1160.69/1164.74 c #Conflicts: 859000 | #Constraints: 31699
1160.69/1164.74 c #Conflicts: 860000 | #Constraints: 32785
1160.69/1164.74 c #Conflicts: 861000 | #Constraints: 33868
1160.69/1164.74 c #Conflicts: 862000 | #Constraints: 35024
1160.69/1164.74 c #Conflicts: 863000 | #Constraints: 36189
1160.69/1164.74 c #Conflicts: 864000 | #Constraints: 37352
1160.69/1164.74 c #Conflicts: 865000 | #Constraints: 38556
1160.69/1164.74 c INPROCESSING
1160.69/1164.74 c GARBAGE COLLECT
1160.69/1164.74 c rational objective 1.99985
1203.45/1207.63 c #Conflicts: 866000 | #Constraints: 20267
1203.45/1207.63 c #Conflicts: 867000 | #Constraints: 21325
1203.45/1207.63 c #Conflicts: 868000 | #Constraints: 22382
1203.45/1207.63 c #Conflicts: 869000 | #Constraints: 23437
1203.45/1207.63 c #Conflicts: 870000 | #Constraints: 24474
1203.45/1207.63 c #Conflicts: 871000 | #Constraints: 25489
1203.45/1207.63 c #Conflicts: 872000 | #Constraints: 26489
1203.45/1207.63 c #Conflicts: 873000 | #Constraints: 27489
1203.45/1207.63 c #Conflicts: 874000 | #Constraints: 28495
1203.45/1207.63 c #Conflicts: 875000 | #Constraints: 29499
1203.45/1207.63 c #Conflicts: 876000 | #Constraints: 30527
1203.45/1207.63 c #Conflicts: 877000 | #Constraints: 31579
1203.45/1207.63 c #Conflicts: 878000 | #Constraints: 32610
1203.45/1207.63 c #Conflicts: 879000 | #Constraints: 33655
1203.45/1207.63 c #Conflicts: 880000 | #Constraints: 34670
1203.45/1207.63 c #Conflicts: 881000 | #Constraints: 35670
1203.45/1207.63 c #Conflicts: 882000 | #Constraints: 36691
1203.45/1207.63 c #Conflicts: 883000 | #Constraints: 37740
1203.45/1207.63 c #Conflicts: 884000 | #Constraints: 38742
1203.45/1207.63 c INPROCESSING
1203.45/1207.63 c GARBAGE COLLECT
1203.45/1207.63 c rational objective 1.99991
1241.32/1245.61 c #Conflicts: 885000 | #Constraints: 20410
1241.32/1245.61 c #Conflicts: 886000 | #Constraints: 21410
1241.32/1245.61 c #Conflicts: 887000 | #Constraints: 22410
1241.32/1245.61 c #Conflicts: 888000 | #Constraints: 23410
1241.32/1245.61 c #Conflicts: 889000 | #Constraints: 24410
1241.32/1245.61 c #Conflicts: 890000 | #Constraints: 25410
1241.32/1245.61 c #Conflicts: 891000 | #Constraints: 26410
1241.32/1245.61 c #Conflicts: 892000 | #Constraints: 27410
1241.32/1245.61 c #Conflicts: 893000 | #Constraints: 28410
1241.32/1245.61 c #Conflicts: 894000 | #Constraints: 29413
1241.32/1245.61 c #Conflicts: 895000 | #Constraints: 30443
1241.32/1245.61 c #Conflicts: 896000 | #Constraints: 31465
1241.32/1245.61 c #Conflicts: 897000 | #Constraints: 32494
1241.32/1245.61 c #Conflicts: 898000 | #Constraints: 33494
1241.32/1245.61 c #Conflicts: 899000 | #Constraints: 34494
1241.32/1245.61 c #Conflicts: 900000 | #Constraints: 35494
1241.32/1245.61 c #Conflicts: 901000 | #Constraints: 36494
1241.32/1245.61 c #Conflicts: 902000 | #Constraints: 37494
1241.32/1245.61 c #Conflicts: 903000 | #Constraints: 38494
1241.32/1245.61 c INPROCESSING
1241.32/1245.61 c GARBAGE COLLECT
1241.32/1245.61 c rational objective 1.9998
1283.70/1288.18 c #Conflicts: 904000 | #Constraints: 20266
1283.70/1288.18 c #Conflicts: 905000 | #Constraints: 21286
1283.70/1288.18 c #Conflicts: 906000 | #Constraints: 22308
1283.70/1288.18 c #Conflicts: 907000 | #Constraints: 23345
1283.70/1288.18 c #Conflicts: 908000 | #Constraints: 24346
1283.70/1288.18 c #Conflicts: 909000 | #Constraints: 25346
1283.70/1288.18 c #Conflicts: 910000 | #Constraints: 26346
1283.70/1288.18 c #Conflicts: 911000 | #Constraints: 27346
1283.70/1288.18 c #Conflicts: 912000 | #Constraints: 28346
1283.70/1288.18 c #Conflicts: 913000 | #Constraints: 29346
1283.70/1288.18 c #Conflicts: 914000 | #Constraints: 30346
1283.70/1288.18 c #Conflicts: 915000 | #Constraints: 31346
1283.70/1288.18 c #Conflicts: 916000 | #Constraints: 32346
1283.70/1288.18 c #Conflicts: 917000 | #Constraints: 33346
1283.70/1288.18 c #Conflicts: 918000 | #Constraints: 34346
1283.70/1288.18 c #Conflicts: 919000 | #Constraints: 35346
1283.70/1288.18 c #Conflicts: 920000 | #Constraints: 36346
1283.70/1288.18 c #Conflicts: 921000 | #Constraints: 37346
1283.70/1288.18 c #Conflicts: 922000 | #Constraints: 38346
1283.70/1288.18 c INPROCESSING
1283.70/1288.18 c GARBAGE COLLECT
1283.70/1288.18 c rational objective 1.99938
1331.62/1336.25 c #Conflicts: 923000 | #Constraints: 20124
1331.62/1336.25 c #Conflicts: 924000 | #Constraints: 21211
1331.62/1336.25 c #Conflicts: 925000 | #Constraints: 22291
1331.62/1336.25 c #Conflicts: 926000 | #Constraints: 23417
1331.62/1336.25 c #Conflicts: 927000 | #Constraints: 24545
1331.62/1336.25 c #Conflicts: 928000 | #Constraints: 25675
1331.62/1336.25 c #Conflicts: 929000 | #Constraints: 26780
1331.62/1336.25 c #Conflicts: 930000 | #Constraints: 27871
1331.62/1336.25 c #Conflicts: 931000 | #Constraints: 29020
1331.62/1336.25 c #Conflicts: 932000 | #Constraints: 30182
1331.62/1336.25 c #Conflicts: 933000 | #Constraints: 31300
1331.62/1336.25 c #Conflicts: 934000 | #Constraints: 32443
1331.62/1336.25 c #Conflicts: 935000 | #Constraints: 33558
1331.62/1336.25 c #Conflicts: 936000 | #Constraints: 34653
1331.62/1336.25 c #Conflicts: 937000 | #Constraints: 35729
1331.62/1336.25 c #Conflicts: 938000 | #Constraints: 36823
1331.62/1336.25 c #Conflicts: 939000 | #Constraints: 37866
1331.62/1336.25 c #Conflicts: 940000 | #Constraints: 38955
1331.62/1336.25 c #Conflicts: 941000 | #Constraints: 40037
1331.62/1336.25 c INPROCESSING
1331.62/1336.25 c GARBAGE COLLECT
1331.62/1336.25 c rational objective 1.99938
1376.28/1381.02 c #Conflicts: 942000 | #Constraints: 20783
1376.28/1381.02 c #Conflicts: 943000 | #Constraints: 21816
1376.28/1381.02 c #Conflicts: 944000 | #Constraints: 22830
1376.28/1381.02 c #Conflicts: 945000 | #Constraints: 23830
1376.28/1381.02 c #Conflicts: 946000 | #Constraints: 24830
1376.28/1381.02 c #Conflicts: 947000 | #Constraints: 25830
1376.28/1381.02 c #Conflicts: 948000 | #Constraints: 26830
1376.28/1381.02 c #Conflicts: 949000 | #Constraints: 27830
1376.28/1381.02 c #Conflicts: 950000 | #Constraints: 28830
1376.28/1381.02 c #Conflicts: 951000 | #Constraints: 29830
1376.28/1381.02 c #Conflicts: 952000 | #Constraints: 30830
1376.28/1381.02 c #Conflicts: 953000 | #Constraints: 31830
1376.28/1381.02 c #Conflicts: 954000 | #Constraints: 32830
1376.28/1381.02 c #Conflicts: 955000 | #Constraints: 33830
1376.28/1381.02 c #Conflicts: 956000 | #Constraints: 34830
1376.28/1381.02 c #Conflicts: 957000 | #Constraints: 35830
1376.28/1381.02 c #Conflicts: 958000 | #Constraints: 36830
1376.28/1381.02 c #Conflicts: 959000 | #Constraints: 37830
1376.28/1381.02 c #Conflicts: 960000 | #Constraints: 38830
1376.28/1381.02 c #Conflicts: 961000 | #Constraints: 39830
1376.28/1381.02 c INPROCESSING
1376.28/1381.02 c GARBAGE COLLECT
1376.28/1381.02 c rational objective 1.99938
1429.30/1434.25 c #Conflicts: 962000 | #Constraints: 20876
1429.30/1434.25 c #Conflicts: 963000 | #Constraints: 21924
1429.30/1434.25 c #Conflicts: 964000 | #Constraints: 22979
1429.30/1434.25 c #Conflicts: 965000 | #Constraints: 24018
1429.30/1434.25 c #Conflicts: 966000 | #Constraints: 25058
1429.30/1434.25 c #Conflicts: 967000 | #Constraints: 26100
1429.30/1434.25 c #Conflicts: 968000 | #Constraints: 27130
1429.30/1434.25 c #Conflicts: 969000 | #Constraints: 28172
1429.30/1434.25 c #Conflicts: 970000 | #Constraints: 29215
1429.30/1434.25 c #Conflicts: 971000 | #Constraints: 30221
1429.30/1434.25 c #Conflicts: 972000 | #Constraints: 31221
1429.30/1434.25 c #Conflicts: 973000 | #Constraints: 32221
1429.30/1434.25 c #Conflicts: 974000 | #Constraints: 33221
1429.30/1434.25 c #Conflicts: 975000 | #Constraints: 34221
1429.30/1434.25 c #Conflicts: 976000 | #Constraints: 35221
1429.30/1434.25 c #Conflicts: 977000 | #Constraints: 36221
1429.30/1434.25 c #Conflicts: 978000 | #Constraints: 37221
1429.30/1434.25 c #Conflicts: 979000 | #Constraints: 38221
1429.30/1434.25 c #Conflicts: 980000 | #Constraints: 39221
1429.30/1434.25 c #Conflicts: 981000 | #Constraints: 40221
1429.30/1434.25 c INPROCESSING
1429.30/1434.25 c GARBAGE COLLECT
1429.30/1434.25 c rational objective 1.9994
1482.32/1487.47 c #Conflicts: 982000 | #Constraints: 21218
1482.32/1487.47 c #Conflicts: 983000 | #Constraints: 22308
1482.32/1487.47 c #Conflicts: 984000 | #Constraints: 23434
1482.32/1487.47 c #Conflicts: 985000 | #Constraints: 24474
1482.32/1487.47 c #Conflicts: 986000 | #Constraints: 25474
1482.32/1487.47 c #Conflicts: 987000 | #Constraints: 26474
1482.32/1487.47 c #Conflicts: 988000 | #Constraints: 27474
1482.32/1487.47 c #Conflicts: 989000 | #Constraints: 28474
1482.32/1487.47 c #Conflicts: 990000 | #Constraints: 29474
1482.32/1487.47 c #Conflicts: 991000 | #Constraints: 30474
1482.32/1487.47 c #Conflicts: 992000 | #Constraints: 31474
1482.32/1487.47 c #Conflicts: 993000 | #Constraints: 32474
1482.32/1487.47 c #Conflicts: 994000 | #Constraints: 33474
1482.32/1487.47 c #Conflicts: 995000 | #Constraints: 34474
1482.32/1487.47 c #Conflicts: 996000 | #Constraints: 35474
1482.32/1487.47 c #Conflicts: 997000 | #Constraints: 36474
1482.32/1487.47 c #Conflicts: 998000 | #Constraints: 37474
1482.32/1487.47 c #Conflicts: 999000 | #Constraints: 38474
1482.32/1487.47 c #Conflicts: 1000000 | #Constraints: 39474
1482.32/1487.47 c #Conflicts: 1001000 | #Constraints: 40474
1482.32/1487.47 c INPROCESSING
1482.32/1487.47 c GARBAGE COLLECT
1482.32/1487.47 c rational objective 1.99941
1538.91/1544.29 c #Conflicts: 1002000 | #Constraints: 21296
1538.91/1544.29 c #Conflicts: 1003000 | #Constraints: 22325
1538.91/1544.29 c #Conflicts: 1004000 | #Constraints: 23349
1538.91/1544.29 c #Conflicts: 1005000 | #Constraints: 24357
1538.91/1544.29 c #Conflicts: 1006000 | #Constraints: 25398
1538.91/1544.29 c #Conflicts: 1007000 | #Constraints: 26398
1538.91/1544.29 c #Conflicts: 1008000 | #Constraints: 27398
1538.91/1544.29 c #Conflicts: 1009000 | #Constraints: 28398
1538.91/1544.29 c #Conflicts: 1010000 | #Constraints: 29398
1538.91/1544.29 c #Conflicts: 1011000 | #Constraints: 30398
1538.91/1544.29 c #Conflicts: 1012000 | #Constraints: 31398
1538.91/1544.29 c #Conflicts: 1013000 | #Constraints: 32398
1538.91/1544.29 c #Conflicts: 1014000 | #Constraints: 33398
1538.91/1544.29 c #Conflicts: 1015000 | #Constraints: 34398
1538.91/1544.29 c #Conflicts: 1016000 | #Constraints: 35398
1538.91/1544.29 c #Conflicts: 1017000 | #Constraints: 36398
1538.91/1544.29 c #Conflicts: 1018000 | #Constraints: 37398
1538.91/1544.29 c #Conflicts: 1019000 | #Constraints: 38398
1538.91/1544.29 c #Conflicts: 1020000 | #Constraints: 39398
1538.91/1544.29 c #Conflicts: 1021000 | #Constraints: 40398
1538.91/1544.29 c INPROCESSING
1538.91/1544.29 c GARBAGE COLLECT
1538.91/1544.29 c rational objective 1.99975
1599.30/1604.82 c #Conflicts: 1022000 | #Constraints: 21124
1599.30/1604.82 c #Conflicts: 1023000 | #Constraints: 22162
1599.30/1604.82 c #Conflicts: 1024000 | #Constraints: 23202
1599.30/1604.82 c #Conflicts: 1025000 | #Constraints: 24234
1599.30/1604.82 c #Conflicts: 1026000 | #Constraints: 25268
1599.30/1604.82 c #Conflicts: 1027000 | #Constraints: 26290
1599.30/1604.82 c #Conflicts: 1028000 | #Constraints: 27315
1599.30/1604.82 c #Conflicts: 1029000 | #Constraints: 28315
1599.30/1604.82 c #Conflicts: 1030000 | #Constraints: 29315
1599.30/1604.82 c #Conflicts: 1031000 | #Constraints: 30315
1599.30/1604.82 c #Conflicts: 1032000 | #Constraints: 31315
1599.30/1604.82 c #Conflicts: 1033000 | #Constraints: 32315
1599.30/1604.82 c #Conflicts: 1034000 | #Constraints: 33315
1599.30/1604.82 c #Conflicts: 1035000 | #Constraints: 34315
1599.30/1604.82 c #Conflicts: 1036000 | #Constraints: 35315
1599.30/1604.82 c #Conflicts: 1037000 | #Constraints: 36315
1599.30/1604.82 c #Conflicts: 1038000 | #Constraints: 37315
1599.30/1604.82 c #Conflicts: 1039000 | #Constraints: 38315
1599.30/1604.82 c #Conflicts: 1040000 | #Constraints: 39315
1599.30/1604.82 c #Conflicts: 1041000 | #Constraints: 40315
1599.30/1604.82 c INPROCESSING
1599.30/1604.82 c GARBAGE COLLECT
1599.30/1604.82 c rational objective 1.99936
1652.03/1657.76 c #Conflicts: 1042000 | #Constraints: 20867
1652.03/1657.76 c #Conflicts: 1043000 | #Constraints: 21892
1652.03/1657.76 c #Conflicts: 1044000 | #Constraints: 22892
1652.03/1657.76 c #Conflicts: 1045000 | #Constraints: 23892
1652.03/1657.76 c #Conflicts: 1046000 | #Constraints: 24892
1652.03/1657.76 c #Conflicts: 1047000 | #Constraints: 25892
1652.03/1657.76 c #Conflicts: 1048000 | #Constraints: 26892
1652.03/1657.76 c #Conflicts: 1049000 | #Constraints: 27892
1652.03/1657.76 c #Conflicts: 1050000 | #Constraints: 28892
1652.03/1657.76 c #Conflicts: 1051000 | #Constraints: 29892
1652.03/1657.76 c #Conflicts: 1052000 | #Constraints: 30892
1652.03/1657.76 c #Conflicts: 1053000 | #Constraints: 31892
1652.03/1657.76 c #Conflicts: 1054000 | #Constraints: 32892
1652.03/1657.76 c #Conflicts: 1055000 | #Constraints: 33892
1652.03/1657.76 c #Conflicts: 1056000 | #Constraints: 34892
1652.03/1657.76 c #Conflicts: 1057000 | #Constraints: 35892
1652.03/1657.76 c #Conflicts: 1058000 | #Constraints: 36892
1652.03/1657.76 c #Conflicts: 1059000 | #Constraints: 37892
1652.03/1657.76 c #Conflicts: 1060000 | #Constraints: 38892
1652.03/1657.76 c #Conflicts: 1061000 | #Constraints: 39892
1652.03/1657.76 c #Conflicts: 1062000 | #Constraints: 40892
1652.03/1657.76 c INPROCESSING
1652.03/1657.76 c GARBAGE COLLECT
1652.03/1657.76 c rational objective 1.99897
1706.84/1712.75 c #Conflicts: 1063000 | #Constraints: 21395
1706.84/1712.75 c #Conflicts: 1064000 | #Constraints: 22465
1706.84/1712.75 c #Conflicts: 1065000 | #Constraints: 23502
1706.84/1712.75 c #Conflicts: 1066000 | #Constraints: 24502
1706.84/1712.75 c #Conflicts: 1067000 | #Constraints: 25502
1706.84/1712.75 c #Conflicts: 1068000 | #Constraints: 26503
1706.84/1712.75 c #Conflicts: 1069000 | #Constraints: 27543
1706.84/1712.75 c #Conflicts: 1070000 | #Constraints: 28548
1706.84/1712.75 c #Conflicts: 1071000 | #Constraints: 29548
1706.84/1712.75 c #Conflicts: 1072000 | #Constraints: 30548
1706.84/1712.75 c #Conflicts: 1073000 | #Constraints: 31548
1706.84/1712.75 c #Conflicts: 1074000 | #Constraints: 32548
1706.84/1712.75 c #Conflicts: 1075000 | #Constraints: 33548
1706.84/1712.75 c #Conflicts: 1076000 | #Constraints: 34552
1706.84/1712.75 c #Conflicts: 1077000 | #Constraints: 35552
1706.84/1712.75 c #Conflicts: 1078000 | #Constraints: 36552
1706.84/1712.75 c #Conflicts: 1079000 | #Constraints: 37552
1706.84/1712.75 c #Conflicts: 1080000 | #Constraints: 38552
1706.84/1712.75 c #Conflicts: 1081000 | #Constraints: 39552
1706.84/1712.75 c #Conflicts: 1082000 | #Constraints: 40552
1706.84/1712.75 c #Conflicts: 1083000 | #Constraints: 41552
1706.84/1712.75 c INPROCESSING
1706.84/1712.75 c GARBAGE COLLECT
1706.84/1712.75 c rational objective 1.99997
1769.13/1775.21 c #Conflicts: 1084000 | #Constraints: 21810
1769.13/1775.21 c #Conflicts: 1085000 | #Constraints: 22810
1769.13/1775.21 c #Conflicts: 1086000 | #Constraints: 23817
1769.13/1775.21 c #Conflicts: 1087000 | #Constraints: 24898
1769.13/1775.21 c #Conflicts: 1088000 | #Constraints: 26000
1769.13/1775.21 c #Conflicts: 1089000 | #Constraints: 27100
1769.13/1775.21 c #Conflicts: 1090000 | #Constraints: 28235
1769.13/1775.21 c #Conflicts: 1091000 | #Constraints: 29354
1769.13/1775.21 c #Conflicts: 1092000 | #Constraints: 30507
1769.13/1775.21 c #Conflicts: 1093000 | #Constraints: 31621
1769.13/1775.21 c #Conflicts: 1094000 | #Constraints: 32734
1769.13/1775.21 c #Conflicts: 1095000 | #Constraints: 33857
1769.13/1775.21 c #Conflicts: 1096000 | #Constraints: 34986
1769.13/1775.21 c #Conflicts: 1097000 | #Constraints: 36112
1769.13/1775.21 c #Conflicts: 1098000 | #Constraints: 37266
1769.13/1775.21 c #Conflicts: 1099000 | #Constraints: 38411
1769.13/1775.21 c #Conflicts: 1100000 | #Constraints: 39522
1769.13/1775.21 c #Conflicts: 1101000 | #Constraints: 40629
1769.13/1775.21 c #Conflicts: 1102000 | #Constraints: 41733
1769.13/1775.21 c #Conflicts: 1103000 | #Constraints: 42847
1769.13/1775.21 c #Conflicts: 1104000 | #Constraints: 43961
1769.13/1775.21 c INPROCESSING
1769.13/1775.21 c GARBAGE COLLECT
1769.13/1775.21 c rational objective 1.99997
1826.56/1832.82 c #Conflicts: 1105000 | #Constraints: 23053
1826.56/1832.82 c #Conflicts: 1106000 | #Constraints: 24113
1826.56/1832.82 c #Conflicts: 1107000 | #Constraints: 25166
1826.56/1832.82 c #Conflicts: 1108000 | #Constraints: 26248
1826.56/1832.82 c #Conflicts: 1109000 | #Constraints: 27302
1826.56/1832.82 c #Conflicts: 1110000 | #Constraints: 28352
1826.56/1832.82 c #Conflicts: 1111000 | #Constraints: 29365
1826.56/1832.82 c #Conflicts: 1112000 | #Constraints: 30411
1826.56/1832.82 c #Conflicts: 1113000 | #Constraints: 31465
1826.56/1832.82 c #Conflicts: 1114000 | #Constraints: 32503
1826.56/1832.82 c #Conflicts: 1115000 | #Constraints: 33546
1826.56/1832.82 c #Conflicts: 1116000 | #Constraints: 34586
1826.56/1832.82 c #Conflicts: 1117000 | #Constraints: 35636
1826.56/1832.82 c #Conflicts: 1118000 | #Constraints: 36691
1826.56/1832.82 c #Conflicts: 1119000 | #Constraints: 37748
1826.56/1832.82 c #Conflicts: 1120000 | #Constraints: 38829
1826.56/1832.82 c #Conflicts: 1121000 | #Constraints: 39875
1826.56/1832.82 c #Conflicts: 1122000 | #Constraints: 40914
1826.56/1832.82 c #Conflicts: 1123000 | #Constraints: 41958
1826.56/1832.82 c #Conflicts: 1124000 | #Constraints: 42989
1826.56/1832.82 c #Conflicts: 1125000 | #Constraints: 44030
1826.56/1832.82 c INPROCESSING
1826.56/1832.82 c GARBAGE COLLECT
1826.56/1832.82 c rational objective 2.00044
1882.09/1888.55 c #Conflicts: 1126000 | #Constraints: 22941
1882.09/1888.55 c #Conflicts: 1127000 | #Constraints: 23965
1882.09/1888.55 c #Conflicts: 1128000 | #Constraints: 25009
1882.09/1888.55 c #Conflicts: 1129000 | #Constraints: 26061
1882.09/1888.55 c #Conflicts: 1130000 | #Constraints: 27077
1882.09/1888.55 c #Conflicts: 1131000 | #Constraints: 28091
1882.09/1888.55 c #Conflicts: 1132000 | #Constraints: 29094
1882.09/1888.55 c #Conflicts: 1133000 | #Constraints: 30094
1882.09/1888.55 c #Conflicts: 1134000 | #Constraints: 31094
1882.09/1888.55 c #Conflicts: 1135000 | #Constraints: 32094
1882.09/1888.55 c #Conflicts: 1136000 | #Constraints: 33095
1882.09/1888.55 c #Conflicts: 1137000 | #Constraints: 34095
1882.09/1888.55 c #Conflicts: 1138000 | #Constraints: 35095
1882.09/1888.55 c #Conflicts: 1139000 | #Constraints: 36095
1882.09/1888.55 c #Conflicts: 1140000 | #Constraints: 37095
1882.09/1888.55 c #Conflicts: 1141000 | #Constraints: 38095
1882.09/1888.55 c #Conflicts: 1142000 | #Constraints: 39117
1882.09/1888.55 c #Conflicts: 1143000 | #Constraints: 40151
1882.09/1888.55 c #Conflicts: 1144000 | #Constraints: 41159
1882.09/1888.55 c #Conflicts: 1145000 | #Constraints: 42191
1882.09/1888.55 c #Conflicts: 1146000 | #Constraints: 43233
1882.09/1888.55 c INPROCESSING
1882.09/1888.55 c GARBAGE COLLECT
1882.09/1888.55 c rational objective 1.99999
1933.93/1940.56 c #Conflicts: 1147000 | #Constraints: 22338
1933.93/1940.56 c #Conflicts: 1148000 | #Constraints: 23338
1933.93/1940.56 c #Conflicts: 1149000 | #Constraints: 24399
1933.93/1940.56 c #Conflicts: 1150000 | #Constraints: 25450
1933.93/1940.56 c #Conflicts: 1151000 | #Constraints: 26450
1933.93/1940.56 c #Conflicts: 1152000 | #Constraints: 27450
1933.93/1940.56 c #Conflicts: 1153000 | #Constraints: 28450
1933.93/1940.56 c #Conflicts: 1154000 | #Constraints: 29450
1933.93/1940.56 c #Conflicts: 1155000 | #Constraints: 30450
1933.93/1940.56 c #Conflicts: 1156000 | #Constraints: 31471
1933.93/1940.56 c #Conflicts: 1157000 | #Constraints: 32471
1933.93/1940.56 c #Conflicts: 1158000 | #Constraints: 33471
1933.93/1940.56 c #Conflicts: 1159000 | #Constraints: 34471
1933.93/1940.56 c #Conflicts: 1160000 | #Constraints: 35471
1933.93/1940.56 c #Conflicts: 1161000 | #Constraints: 36471
1933.93/1940.56 c #Conflicts: 1162000 | #Constraints: 37471
1933.93/1940.56 c #Conflicts: 1163000 | #Constraints: 38471
1933.93/1940.56 c #Conflicts: 1164000 | #Constraints: 39471
1933.93/1940.56 c #Conflicts: 1165000 | #Constraints: 40471
1933.93/1940.56 c #Conflicts: 1166000 | #Constraints: 41471
1933.93/1940.56 c #Conflicts: 1167000 | #Constraints: 42471
1933.93/1940.56 c #Conflicts: 1168000 | #Constraints: 43471
1933.93/1940.56 c INPROCESSING
1933.93/1940.56 c GARBAGE COLLECT
1933.93/1940.56 c rational objective 1.99895
1989.76/1996.55 c #Conflicts: 1169000 | #Constraints: 22687
1989.76/1996.55 c #Conflicts: 1170000 | #Constraints: 23687
1989.76/1996.55 c #Conflicts: 1171000 | #Constraints: 24687
1989.76/1996.55 c #Conflicts: 1172000 | #Constraints: 25687
1989.76/1996.55 c #Conflicts: 1173000 | #Constraints: 26692
1989.76/1996.55 c #Conflicts: 1174000 | #Constraints: 27692
1989.76/1996.55 c #Conflicts: 1175000 | #Constraints: 28704
1989.76/1996.55 c #Conflicts: 1176000 | #Constraints: 29704
1989.76/1996.55 c #Conflicts: 1177000 | #Constraints: 30704
1989.76/1996.55 c #Conflicts: 1178000 | #Constraints: 31706
1989.76/1996.55 c #Conflicts: 1179000 | #Constraints: 32706
1989.76/1996.55 c #Conflicts: 1180000 | #Constraints: 33715
1989.76/1996.55 c #Conflicts: 1181000 | #Constraints: 34728
1989.76/1996.55 c #Conflicts: 1182000 | #Constraints: 35728
1989.76/1996.55 c #Conflicts: 1183000 | #Constraints: 36728
1989.76/1996.55 c #Conflicts: 1184000 | #Constraints: 37728
1989.76/1996.55 c #Conflicts: 1185000 | #Constraints: 38728
1989.76/1996.55 c #Conflicts: 1186000 | #Constraints: 39728
1989.76/1996.55 c #Conflicts: 1187000 | #Constraints: 40728
1989.76/1996.55 c #Conflicts: 1188000 | #Constraints: 41728
1989.76/1996.55 c #Conflicts: 1189000 | #Constraints: 42728
1989.76/1996.55 c #Conflicts: 1190000 | #Constraints: 43728
1989.76/1996.55 c INPROCESSING
1989.76/1996.55 c GARBAGE COLLECT
1989.76/1996.55 c rational objective 1.99895
2057.46/2064.48 c #Conflicts: 1191000 | #Constraints: 22878
2057.46/2064.48 c #Conflicts: 1192000 | #Constraints: 23878
2057.46/2064.48 c #Conflicts: 1193000 | #Constraints: 24893
2057.46/2064.48 c #Conflicts: 1194000 | #Constraints: 26007
2057.46/2064.48 c #Conflicts: 1195000 | #Constraints: 27112
2057.46/2064.48 c #Conflicts: 1196000 | #Constraints: 28192
2057.46/2064.48 c #Conflicts: 1197000 | #Constraints: 29350
2057.46/2064.48 c #Conflicts: 1198000 | #Constraints: 30496
2057.46/2064.48 c #Conflicts: 1199000 | #Constraints: 31593
2057.46/2064.48 c #Conflicts: 1200000 | #Constraints: 32676
2057.46/2064.48 c #Conflicts: 1201000 | #Constraints: 33738
2057.46/2064.48 c #Conflicts: 1202000 | #Constraints: 34844
2057.46/2064.48 c #Conflicts: 1203000 | #Constraints: 35946
2057.46/2064.48 c #Conflicts: 1204000 | #Constraints: 37020
2057.46/2064.48 c #Conflicts: 1205000 | #Constraints: 38111
2057.46/2064.48 c #Conflicts: 1206000 | #Constraints: 39223
2057.46/2064.48 c #Conflicts: 1207000 | #Constraints: 40353
2057.46/2064.48 c #Conflicts: 1208000 | #Constraints: 41471
2057.46/2064.48 c #Conflicts: 1209000 | #Constraints: 42527
2057.46/2064.48 c #Conflicts: 1210000 | #Constraints: 43621
2057.46/2064.48 c #Conflicts: 1211000 | #Constraints: 44705
2057.46/2064.48 c #Conflicts: 1212000 | #Constraints: 45768
2057.46/2064.48 c INPROCESSING
2057.46/2064.48 c GARBAGE COLLECT
2057.46/2064.48 c rational objective 1.99895
2127.04/2134.29 c #Conflicts: 1213000 | #Constraints: 23969
2127.04/2134.29 c #Conflicts: 1214000 | #Constraints: 25028
2127.04/2134.29 c #Conflicts: 1215000 | #Constraints: 26084
2127.04/2134.29 c #Conflicts: 1216000 | #Constraints: 27149
2127.04/2134.29 c #Conflicts: 1217000 | #Constraints: 28248
2127.04/2134.29 c #Conflicts: 1218000 | #Constraints: 29323
2127.04/2134.29 c #Conflicts: 1219000 | #Constraints: 30417
2127.04/2134.29 c #Conflicts: 1220000 | #Constraints: 31521
2127.04/2134.29 c #Conflicts: 1221000 | #Constraints: 32595
2127.04/2134.29 c #Conflicts: 1222000 | #Constraints: 33695
2127.04/2134.29 c #Conflicts: 1223000 | #Constraints: 34780
2127.04/2134.29 c #Conflicts: 1224000 | #Constraints: 35879
2127.04/2134.29 c #Conflicts: 1225000 | #Constraints: 36969
2127.04/2134.29 c #Conflicts: 1226000 | #Constraints: 38066
2127.04/2134.29 c #Conflicts: 1227000 | #Constraints: 39168
2127.04/2134.29 c #Conflicts: 1228000 | #Constraints: 40278
2127.04/2134.29 c #Conflicts: 1229000 | #Constraints: 41382
2127.04/2134.29 c #Conflicts: 1230000 | #Constraints: 42458
2127.04/2134.29 c #Conflicts: 1231000 | #Constraints: 43578
2127.04/2134.29 c #Conflicts: 1232000 | #Constraints: 44675
2127.04/2134.29 c #Conflicts: 1233000 | #Constraints: 45771
2127.04/2134.29 c #Conflicts: 1234000 | #Constraints: 46886
2127.04/2134.29 c INPROCESSING
2127.04/2134.29 c GARBAGE COLLECT
2127.04/2134.29 c rational objective 1.99895
2198.92/2206.31 c #Conflicts: 1235000 | #Constraints: 24435
2198.92/2206.31 c #Conflicts: 1236000 | #Constraints: 25614
2198.92/2206.31 c #Conflicts: 1237000 | #Constraints: 26742
2198.92/2206.31 c #Conflicts: 1238000 | #Constraints: 27851
2198.92/2206.31 c #Conflicts: 1239000 | #Constraints: 28937
2198.92/2206.31 c #Conflicts: 1240000 | #Constraints: 30019
2198.92/2206.31 c #Conflicts: 1241000 | #Constraints: 31093
2198.92/2206.31 c #Conflicts: 1242000 | #Constraints: 32253
2198.92/2206.31 c #Conflicts: 1243000 | #Constraints: 33378
2198.92/2206.31 c #Conflicts: 1244000 | #Constraints: 34491
2198.92/2206.31 c #Conflicts: 1245000 | #Constraints: 35641
2198.92/2206.31 c #Conflicts: 1246000 | #Constraints: 36800
2198.92/2206.31 c #Conflicts: 1247000 | #Constraints: 37912
2198.92/2206.31 c #Conflicts: 1248000 | #Constraints: 39052
2198.92/2206.31 c #Conflicts: 1249000 | #Constraints: 40125
2198.92/2206.31 c #Conflicts: 1250000 | #Constraints: 41186
2198.92/2206.31 c #Conflicts: 1251000 | #Constraints: 42296
2198.92/2206.31 c #Conflicts: 1252000 | #Constraints: 43388
2198.92/2206.31 c #Conflicts: 1253000 | #Constraints: 44484
2198.92/2206.31 c #Conflicts: 1254000 | #Constraints: 45609
2198.92/2206.31 c #Conflicts: 1255000 | #Constraints: 46729
2198.92/2206.31 c #Conflicts: 1256000 | #Constraints: 47832
2198.92/2206.31 c INPROCESSING
2198.92/2206.31 c GARBAGE COLLECT
2198.92/2206.31 c rational objective 1.99895
2270.90/2278.53 c #Conflicts: 1257000 | #Constraints: 24662
2270.90/2278.53 c #Conflicts: 1258000 | #Constraints: 25737
2270.90/2278.53 c #Conflicts: 1259000 | #Constraints: 26796
2270.90/2278.53 c #Conflicts: 1260000 | #Constraints: 27876
2270.90/2278.53 c #Conflicts: 1261000 | #Constraints: 28904
2270.90/2278.53 c #Conflicts: 1262000 | #Constraints: 29975
2270.90/2278.53 c #Conflicts: 1263000 | #Constraints: 31065
2270.90/2278.53 c #Conflicts: 1264000 | #Constraints: 32143
2270.90/2278.53 c #Conflicts: 1265000 | #Constraints: 33218
2270.90/2278.53 c #Conflicts: 1266000 | #Constraints: 34322
2270.90/2278.53 c #Conflicts: 1267000 | #Constraints: 35434
2270.90/2278.53 c #Conflicts: 1268000 | #Constraints: 36555
2270.90/2278.53 c #Conflicts: 1269000 | #Constraints: 37625
2270.90/2278.53 c #Conflicts: 1270000 | #Constraints: 38657
2270.90/2278.53 c #Conflicts: 1271000 | #Constraints: 39699
2270.90/2278.53 c #Conflicts: 1272000 | #Constraints: 40730
2270.90/2278.53 c #Conflicts: 1273000 | #Constraints: 41775
2270.90/2278.53 c #Conflicts: 1274000 | #Constraints: 42811
2270.90/2278.53 c #Conflicts: 1275000 | #Constraints: 43894
2270.90/2278.53 c #Conflicts: 1276000 | #Constraints: 44948
2270.90/2278.53 c #Conflicts: 1277000 | #Constraints: 46018
2270.90/2278.53 c #Conflicts: 1278000 | #Constraints: 47147
2270.90/2278.53 c #Conflicts: 1279000 | #Constraints: 48225
2270.90/2278.53 c INPROCESSING
2270.90/2278.53 c GARBAGE COLLECT
2270.90/2278.53 c rational objective 1.99895
2347.06/2354.97 c #Conflicts: 1280000 | #Constraints: 25088
2347.06/2354.97 c #Conflicts: 1281000 | #Constraints: 26150
2347.06/2354.97 c #Conflicts: 1282000 | #Constraints: 27202
2347.06/2354.97 c #Conflicts: 1283000 | #Constraints: 28202
2347.06/2354.97 c #Conflicts: 1284000 | #Constraints: 29248
2347.06/2354.97 c #Conflicts: 1285000 | #Constraints: 30290
2347.06/2354.97 c #Conflicts: 1286000 | #Constraints: 31342
2347.06/2354.97 c #Conflicts: 1287000 | #Constraints: 32393
2347.06/2354.97 c #Conflicts: 1288000 | #Constraints: 33432
2347.06/2354.97 c #Conflicts: 1289000 | #Constraints: 34503
2347.06/2354.97 c #Conflicts: 1290000 | #Constraints: 35599
2347.06/2354.97 c #Conflicts: 1291000 | #Constraints: 36736
2347.06/2354.97 c #Conflicts: 1292000 | #Constraints: 37821
2347.06/2354.97 c #Conflicts: 1293000 | #Constraints: 38906
2347.06/2354.97 c #Conflicts: 1294000 | #Constraints: 40052
2347.06/2354.97 c #Conflicts: 1295000 | #Constraints: 41148
2347.06/2354.97 c #Conflicts: 1296000 | #Constraints: 42197
2347.06/2354.97 c #Conflicts: 1297000 | #Constraints: 43266
2347.06/2354.97 c #Conflicts: 1298000 | #Constraints: 44313
2347.06/2354.97 c #Conflicts: 1299000 | #Constraints: 45370
2347.06/2354.97 c #Conflicts: 1300000 | #Constraints: 46430
2347.06/2354.97 c #Conflicts: 1301000 | #Constraints: 47504
2347.06/2354.97 c #Conflicts: 1302000 | #Constraints: 48554
2347.06/2354.97 c INPROCESSING
2347.06/2354.97 c GARBAGE COLLECT
2347.06/2354.97 c rational objective 1.99895
2416.16/2424.21 c #Conflicts: 1303000 | #Constraints: 25306
2416.16/2424.21 c #Conflicts: 1304000 | #Constraints: 26319
2416.16/2424.21 c #Conflicts: 1305000 | #Constraints: 27355
2416.16/2424.21 c #Conflicts: 1306000 | #Constraints: 28376
2416.16/2424.21 c #Conflicts: 1307000 | #Constraints: 29376
2416.16/2424.21 c #Conflicts: 1308000 | #Constraints: 30376
2416.16/2424.21 c #Conflicts: 1309000 | #Constraints: 31376
2416.16/2424.21 c #Conflicts: 1310000 | #Constraints: 32376
2416.16/2424.21 c #Conflicts: 1311000 | #Constraints: 33376
2416.16/2424.21 c #Conflicts: 1312000 | #Constraints: 34376
2416.16/2424.21 c #Conflicts: 1313000 | #Constraints: 35376
2416.16/2424.21 c #Conflicts: 1314000 | #Constraints: 36376
2416.16/2424.21 c #Conflicts: 1315000 | #Constraints: 37376
2416.16/2424.21 c #Conflicts: 1316000 | #Constraints: 38376
2416.16/2424.21 c #Conflicts: 1317000 | #Constraints: 39376
2416.16/2424.21 c #Conflicts: 1318000 | #Constraints: 40376
2416.16/2424.21 c #Conflicts: 1319000 | #Constraints: 41376
2416.16/2424.21 c #Conflicts: 1320000 | #Constraints: 42376
2416.16/2424.21 c #Conflicts: 1321000 | #Constraints: 43376
2416.16/2424.21 c #Conflicts: 1322000 | #Constraints: 44376
2416.16/2424.21 c #Conflicts: 1323000 | #Constraints: 45376
2416.16/2424.21 c #Conflicts: 1324000 | #Constraints: 46376
2416.16/2424.21 c #Conflicts: 1325000 | #Constraints: 47376
2416.16/2424.21 c INPROCESSING
2416.16/2424.21 c GARBAGE COLLECT
2416.16/2424.21 c rational objective 1.99895
2476.27/2484.51 c #Conflicts: 1326000 | #Constraints: 24737
2476.27/2484.51 c #Conflicts: 1327000 | #Constraints: 25824
2476.27/2484.51 c #Conflicts: 1328000 | #Constraints: 26852
2476.27/2484.51 c #Conflicts: 1329000 | #Constraints: 27852
2476.27/2484.51 c #Conflicts: 1330000 | #Constraints: 28852
2476.27/2484.51 c #Conflicts: 1331000 | #Constraints: 29852
2476.27/2484.51 c #Conflicts: 1332000 | #Constraints: 30852
2476.27/2484.51 c #Conflicts: 1333000 | #Constraints: 31852
2476.27/2484.51 c #Conflicts: 1334000 | #Constraints: 32852
2476.27/2484.51 c #Conflicts: 1335000 | #Constraints: 33852
2476.27/2484.51 c #Conflicts: 1336000 | #Constraints: 34852
2476.27/2484.51 c #Conflicts: 1337000 | #Constraints: 35852
2476.27/2484.51 c #Conflicts: 1338000 | #Constraints: 36852
2476.27/2484.51 c #Conflicts: 1339000 | #Constraints: 37852
2476.27/2484.51 c #Conflicts: 1340000 | #Constraints: 38852
2476.27/2484.51 c #Conflicts: 1341000 | #Constraints: 39852
2476.27/2484.51 c #Conflicts: 1342000 | #Constraints: 40852
2476.27/2484.51 c #Conflicts: 1343000 | #Constraints: 41852
2476.27/2484.51 c #Conflicts: 1344000 | #Constraints: 42852
2476.27/2484.51 c #Conflicts: 1345000 | #Constraints: 43852
2476.27/2484.51 c #Conflicts: 1346000 | #Constraints: 44852
2476.27/2484.51 c #Conflicts: 1347000 | #Constraints: 45852
2476.27/2484.51 c #Conflicts: 1348000 | #Constraints: 46852
2476.27/2484.51 c INPROCESSING
2476.27/2484.51 c GARBAGE COLLECT
2476.27/2484.51 c rational objective 1.99895
2548.57/2557.06 c #Conflicts: 1349000 | #Constraints: 24424
2548.57/2557.06 c #Conflicts: 1350000 | #Constraints: 25568
2548.57/2557.06 c #Conflicts: 1351000 | #Constraints: 26746
2548.57/2557.06 c #Conflicts: 1352000 | #Constraints: 27887
2548.57/2557.06 c #Conflicts: 1353000 | #Constraints: 29058
2548.57/2557.06 c #Conflicts: 1354000 | #Constraints: 30202
2548.57/2557.06 c #Conflicts: 1355000 | #Constraints: 31326
2548.57/2557.06 c #Conflicts: 1356000 | #Constraints: 32485
2548.57/2557.06 c #Conflicts: 1357000 | #Constraints: 33648
2548.57/2557.06 c #Conflicts: 1358000 | #Constraints: 34795
2548.57/2557.06 c #Conflicts: 1359000 | #Constraints: 35940
2548.57/2557.06 c #Conflicts: 1360000 | #Constraints: 37049
2548.57/2557.06 c #Conflicts: 1361000 | #Constraints: 38160
2548.57/2557.06 c #Conflicts: 1362000 | #Constraints: 39269
2548.57/2557.06 c #Conflicts: 1363000 | #Constraints: 40391
2548.57/2557.06 c #Conflicts: 1364000 | #Constraints: 41488
2548.57/2557.06 c #Conflicts: 1365000 | #Constraints: 42603
2548.57/2557.06 c #Conflicts: 1366000 | #Constraints: 43693
2548.57/2557.06 c #Conflicts: 1367000 | #Constraints: 44785
2548.57/2557.06 c #Conflicts: 1368000 | #Constraints: 45902
2548.57/2557.06 c #Conflicts: 1369000 | #Constraints: 46981
2548.57/2557.06 c #Conflicts: 1370000 | #Constraints: 48070
2548.57/2557.06 c #Conflicts: 1371000 | #Constraints: 49179
2548.57/2557.06 c INPROCESSING
2548.57/2557.06 c GARBAGE COLLECT
2548.57/2557.06 c rational objective 1.99895
2623.13/2631.88 c #Conflicts: 1372000 | #Constraints: 25368
2623.13/2631.88 c #Conflicts: 1373000 | #Constraints: 26480
2623.13/2631.88 c #Conflicts: 1374000 | #Constraints: 27609
2623.13/2631.88 c #Conflicts: 1375000 | #Constraints: 28686
2623.13/2631.88 c #Conflicts: 1376000 | #Constraints: 29744
2623.13/2631.88 c #Conflicts: 1377000 | #Constraints: 30816
2623.13/2631.88 c #Conflicts: 1378000 | #Constraints: 31865
2623.13/2631.88 c #Conflicts: 1379000 | #Constraints: 32968
2623.13/2631.88 c #Conflicts: 1380000 | #Constraints: 34090
2623.13/2631.88 c #Conflicts: 1381000 | #Constraints: 35204
2623.13/2631.88 c #Conflicts: 1382000 | #Constraints: 36269
2623.13/2631.88 c #Conflicts: 1383000 | #Constraints: 37327
2623.13/2631.88 c #Conflicts: 1384000 | #Constraints: 38398
2623.13/2631.88 c #Conflicts: 1385000 | #Constraints: 39471
2623.13/2631.88 c #Conflicts: 1386000 | #Constraints: 40548
2623.13/2631.88 c #Conflicts: 1387000 | #Constraints: 41645
2623.13/2631.88 c #Conflicts: 1388000 | #Constraints: 42701
2623.13/2631.88 c #Conflicts: 1389000 | #Constraints: 43777
2623.13/2631.88 c #Conflicts: 1390000 | #Constraints: 44839
2623.13/2631.88 c #Conflicts: 1391000 | #Constraints: 45939
2623.13/2631.88 c #Conflicts: 1392000 | #Constraints: 47004
2623.13/2631.88 c #Conflicts: 1393000 | #Constraints: 48044
2623.13/2631.88 c #Conflicts: 1394000 | #Constraints: 49087
2623.13/2631.88 c #Conflicts: 1395000 | #Constraints: 50126
2623.13/2631.88 c INPROCESSING
2623.13/2631.88 c GARBAGE COLLECT
2623.13/2631.88 c rational objective 1.99895
2700.50/2709.43 c #Conflicts: 1396000 | #Constraints: 26042
2700.50/2709.43 c #Conflicts: 1397000 | #Constraints: 27082
2700.50/2709.43 c #Conflicts: 1398000 | #Constraints: 28082
2700.50/2709.43 c #Conflicts: 1399000 | #Constraints: 29082
2700.50/2709.43 c #Conflicts: 1400000 | #Constraints: 30082
2700.50/2709.43 c #Conflicts: 1401000 | #Constraints: 31082
2700.50/2709.43 c #Conflicts: 1402000 | #Constraints: 32082
2700.50/2709.43 c #Conflicts: 1403000 | #Constraints: 33082
2700.50/2709.43 c #Conflicts: 1404000 | #Constraints: 34082
2700.50/2709.43 c #Conflicts: 1405000 | #Constraints: 35082
2700.50/2709.43 c #Conflicts: 1406000 | #Constraints: 36101
2700.50/2709.43 c #Conflicts: 1407000 | #Constraints: 37141
2700.50/2709.43 c #Conflicts: 1408000 | #Constraints: 38176
2700.50/2709.43 c #Conflicts: 1409000 | #Constraints: 39212
2700.50/2709.43 c #Conflicts: 1410000 | #Constraints: 40253
2700.50/2709.43 c #Conflicts: 1411000 | #Constraints: 41282
2700.50/2709.43 c #Conflicts: 1412000 | #Constraints: 42322
2700.50/2709.43 c #Conflicts: 1413000 | #Constraints: 43353
2700.50/2709.43 c #Conflicts: 1414000 | #Constraints: 44388
2700.50/2709.43 c #Conflicts: 1415000 | #Constraints: 45420
2700.50/2709.43 c #Conflicts: 1416000 | #Constraints: 46459
2700.50/2709.43 c #Conflicts: 1417000 | #Constraints: 47506
2700.50/2709.43 c #Conflicts: 1418000 | #Constraints: 48547
2700.50/2709.43 c #Conflicts: 1419000 | #Constraints: 49668
2700.50/2709.43 c INPROCESSING
2700.50/2709.43 c GARBAGE COLLECT
2700.50/2709.43 c rational objective 1.99895
2775.37/2784.57 c #Conflicts: 1420000 | #Constraints: 25873
2775.37/2784.57 c #Conflicts: 1421000 | #Constraints: 26900
2775.37/2784.57 c #Conflicts: 1422000 | #Constraints: 27921
2775.37/2784.57 c #Conflicts: 1423000 | #Constraints: 28985
2775.37/2784.57 c #Conflicts: 1424000 | #Constraints: 30038
2775.37/2784.57 c #Conflicts: 1425000 | #Constraints: 31073
2775.37/2784.57 c #Conflicts: 1426000 | #Constraints: 32105
2775.37/2784.57 c #Conflicts: 1427000 | #Constraints: 33112
2775.37/2784.57 c #Conflicts: 1428000 | #Constraints: 34112
2775.37/2784.57 c #Conflicts: 1429000 | #Constraints: 35112
2775.37/2784.57 c #Conflicts: 1430000 | #Constraints: 36112
2775.37/2784.57 c #Conflicts: 1431000 | #Constraints: 37112
2775.37/2784.57 c #Conflicts: 1432000 | #Constraints: 38112
2775.37/2784.57 c #Conflicts: 1433000 | #Constraints: 39112
2775.37/2784.57 c #Conflicts: 1434000 | #Constraints: 40112
2775.37/2784.57 c #Conflicts: 1435000 | #Constraints: 41112
2775.37/2784.57 c #Conflicts: 1436000 | #Constraints: 42112
2775.37/2784.57 c #Conflicts: 1437000 | #Constraints: 43112
2775.37/2784.57 c #Conflicts: 1438000 | #Constraints: 44112
2775.37/2784.57 c #Conflicts: 1439000 | #Constraints: 45112
2775.37/2784.57 c #Conflicts: 1440000 | #Constraints: 46112
2775.37/2784.57 c #Conflicts: 1441000 | #Constraints: 47112
2775.37/2784.57 c #Conflicts: 1442000 | #Constraints: 48112
2775.37/2784.57 c #Conflicts: 1443000 | #Constraints: 49112
2775.37/2784.57 c INPROCESSING
2775.37/2784.57 c GARBAGE COLLECT
2775.37/2784.57 c rational objective 1.99895
2862.31/2871.75 c #Conflicts: 1444000 | #Constraints: 25666
2862.31/2871.75 c #Conflicts: 1445000 | #Constraints: 26762
2862.31/2871.75 c #Conflicts: 1446000 | #Constraints: 27845
2862.31/2871.75 c #Conflicts: 1447000 | #Constraints: 28932
2862.31/2871.75 c #Conflicts: 1448000 | #Constraints: 30015
2862.31/2871.75 c #Conflicts: 1449000 | #Constraints: 31209
2862.31/2871.75 c #Conflicts: 1450000 | #Constraints: 32352
2862.31/2871.75 c #Conflicts: 1451000 | #Constraints: 33510
2862.31/2871.75 c #Conflicts: 1452000 | #Constraints: 34661
2862.31/2871.75 c #Conflicts: 1453000 | #Constraints: 35819
2862.31/2871.75 c #Conflicts: 1454000 | #Constraints: 36954
2862.31/2871.75 c #Conflicts: 1455000 | #Constraints: 38074
2862.31/2871.75 c #Conflicts: 1456000 | #Constraints: 39204
2862.31/2871.75 c #Conflicts: 1457000 | #Constraints: 40347
2862.31/2871.75 c #Conflicts: 1458000 | #Constraints: 41473
2862.31/2871.75 c #Conflicts: 1459000 | #Constraints: 42582
2862.31/2871.75 c #Conflicts: 1460000 | #Constraints: 43746
2862.31/2871.75 c #Conflicts: 1461000 | #Constraints: 44859
2862.31/2871.75 c #Conflicts: 1462000 | #Constraints: 45946
2862.31/2871.75 c #Conflicts: 1463000 | #Constraints: 47041
2862.31/2871.75 c #Conflicts: 1464000 | #Constraints: 48102
2862.31/2871.75 c #Conflicts: 1465000 | #Constraints: 49184
2862.31/2871.75 c #Conflicts: 1466000 | #Constraints: 50278
2862.31/2871.75 c #Conflicts: 1467000 | #Constraints: 51391
2862.31/2871.75 c INPROCESSING
2862.31/2871.75 c GARBAGE COLLECT
2862.31/2871.75 c rational objective 1.99895
2961.04/2970.76 c #Conflicts: 1468000 | #Constraints: 26679
2961.04/2970.76 c #Conflicts: 1469000 | #Constraints: 27755
2961.04/2970.76 c #Conflicts: 1470000 | #Constraints: 28872
2961.04/2970.76 c #Conflicts: 1471000 | #Constraints: 29948
2961.04/2970.76 c #Conflicts: 1472000 | #Constraints: 31026
2961.04/2970.76 c #Conflicts: 1473000 | #Constraints: 32113
2961.04/2970.76 c #Conflicts: 1474000 | #Constraints: 33184
2961.04/2970.76 c #Conflicts: 1475000 | #Constraints: 34322
2961.04/2970.76 c #Conflicts: 1476000 | #Constraints: 35418
2961.04/2970.76 c #Conflicts: 1477000 | #Constraints: 36527
2961.04/2970.76 c #Conflicts: 1478000 | #Constraints: 37652
2961.04/2970.76 c #Conflicts: 1479000 | #Constraints: 38803
2961.04/2970.76 c #Conflicts: 1480000 | #Constraints: 39903
2961.04/2970.76 c #Conflicts: 1481000 | #Constraints: 41041
2961.04/2970.76 c #Conflicts: 1482000 | #Constraints: 42159
2961.04/2970.76 c #Conflicts: 1483000 | #Constraints: 43250
2961.04/2970.76 c #Conflicts: 1484000 | #Constraints: 44347
2961.04/2970.76 c #Conflicts: 1485000 | #Constraints: 45428
2961.04/2970.76 c #Conflicts: 1486000 | #Constraints: 46538
2961.04/2970.76 c #Conflicts: 1487000 | #Constraints: 47611
2961.04/2970.76 c #Conflicts: 1488000 | #Constraints: 48704
2961.04/2970.76 c #Conflicts: 1489000 | #Constraints: 49805
2961.04/2970.76 c #Conflicts: 1490000 | #Constraints: 50954
2961.04/2970.76 c #Conflicts: 1491000 | #Constraints: 52033
2961.04/2970.76 c INPROCESSING
2961.04/2970.76 c GARBAGE COLLECT
2961.04/2970.76 c rational objective 1.99899
3054.28/3064.26 c #Conflicts: 1492000 | #Constraints: 26755
3054.28/3064.26 c #Conflicts: 1493000 | #Constraints: 27811
3054.28/3064.26 c #Conflicts: 1494000 | #Constraints: 28873
3054.28/3064.26 c #Conflicts: 1495000 | #Constraints: 29956
3054.28/3064.26 c #Conflicts: 1496000 | #Constraints: 31058
3054.28/3064.26 c #Conflicts: 1497000 | #Constraints: 32108
3054.28/3064.26 c #Conflicts: 1498000 | #Constraints: 33202
3054.28/3064.26 c #Conflicts: 1499000 | #Constraints: 34274
3054.28/3064.26 c #Conflicts: 1500000 | #Constraints: 35339
3054.28/3064.26 c #Conflicts: 1501000 | #Constraints: 36394
3054.28/3064.26 c #Conflicts: 1502000 | #Constraints: 37455
3054.28/3064.26 c #Conflicts: 1503000 | #Constraints: 38511
3054.28/3064.26 c #Conflicts: 1504000 | #Constraints: 39569
3054.28/3064.26 c #Conflicts: 1505000 | #Constraints: 40634
3054.28/3064.26 c #Conflicts: 1506000 | #Constraints: 41767
3054.28/3064.26 c #Conflicts: 1507000 | #Constraints: 42829
3054.28/3064.26 c #Conflicts: 1508000 | #Constraints: 43906
3054.28/3064.26 c #Conflicts: 1509000 | #Constraints: 44978
3054.28/3064.26 c #Conflicts: 1510000 | #Constraints: 46077
3054.28/3064.26 c #Conflicts: 1511000 | #Constraints: 47078
3054.28/3064.26 c #Conflicts: 1512000 | #Constraints: 48134
3054.28/3064.26 c #Conflicts: 1513000 | #Constraints: 49189
3054.28/3064.26 c #Conflicts: 1514000 | #Constraints: 50289
3054.28/3064.26 c #Conflicts: 1515000 | #Constraints: 51362
3054.28/3064.26 c #Conflicts: 1516000 | #Constraints: 52437
3054.28/3064.26 c INPROCESSING
3054.28/3064.26 c GARBAGE COLLECT
3054.28/3064.26 c rational objective 2.00816
3148.42/3158.62 c #Conflicts: 1517000 | #Constraints: 27219
3148.42/3158.62 c #Conflicts: 1518000 | #Constraints: 28300
3148.42/3158.62 c #Conflicts: 1519000 | #Constraints: 29392
3148.42/3158.62 c #Conflicts: 1520000 | #Constraints: 30571
3148.42/3158.62 c #Conflicts: 1521000 | #Constraints: 31687
3148.42/3158.62 c #Conflicts: 1522000 | #Constraints: 32794
3148.42/3158.62 c #Conflicts: 1523000 | #Constraints: 33895
3148.42/3158.62 c #Conflicts: 1524000 | #Constraints: 35036
3148.42/3158.62 c #Conflicts: 1525000 | #Constraints: 36144
3148.42/3158.62 c #Conflicts: 1526000 | #Constraints: 37217
3148.42/3158.62 c #Conflicts: 1527000 | #Constraints: 38309
3148.42/3158.62 c #Conflicts: 1528000 | #Constraints: 39309
3148.42/3158.62 c #Conflicts: 1529000 | #Constraints: 40309
3148.42/3158.62 c #Conflicts: 1530000 | #Constraints: 41309
3148.42/3158.62 c #Conflicts: 1531000 | #Constraints: 42309
3148.42/3158.62 c #Conflicts: 1532000 | #Constraints: 43309
3148.42/3158.62 c #Conflicts: 1533000 | #Constraints: 44309
3148.42/3158.62 c #Conflicts: 1534000 | #Constraints: 45309
3148.42/3158.62 c #Conflicts: 1535000 | #Constraints: 46360
3148.42/3158.62 c #Conflicts: 1536000 | #Constraints: 47449
3148.42/3158.62 c #Conflicts: 1537000 | #Constraints: 48541
3148.42/3158.62 c #Conflicts: 1538000 | #Constraints: 49647
3148.42/3158.62 c #Conflicts: 1539000 | #Constraints: 50748
3148.42/3158.62 c #Conflicts: 1540000 | #Constraints: 51874
3148.42/3158.62 c #Conflicts: 1541000 | #Constraints: 52984
3148.42/3158.62 c INPROCESSING
3148.42/3158.62 c GARBAGE COLLECT
3148.42/3158.62 c rational objective 2.21162
3241.16/3251.67 c #Conflicts: 1542000 | #Constraints: 27558
3241.16/3251.67 c #Conflicts: 1543000 | #Constraints: 28634
3241.16/3251.67 c #Conflicts: 1544000 | #Constraints: 29749
3241.16/3251.67 c #Conflicts: 1545000 | #Constraints: 30883
3241.16/3251.67 c #Conflicts: 1546000 | #Constraints: 31992
3241.16/3251.67 c #Conflicts: 1547000 | #Constraints: 33057
3241.16/3251.67 c #Conflicts: 1548000 | #Constraints: 34117
3241.16/3251.67 c #Conflicts: 1549000 | #Constraints: 35204
3241.16/3251.67 c #Conflicts: 1550000 | #Constraints: 36364
3241.16/3251.67 c #Conflicts: 1551000 | #Constraints: 37450
3241.16/3251.67 c #Conflicts: 1552000 | #Constraints: 38644
3241.16/3251.67 c #Conflicts: 1553000 | #Constraints: 39839
3241.16/3251.67 c #Conflicts: 1554000 | #Constraints: 41004
3241.16/3251.67 c #Conflicts: 1555000 | #Constraints: 42201
3241.16/3251.67 c #Conflicts: 1556000 | #Constraints: 43341
3241.16/3251.67 c #Conflicts: 1557000 | #Constraints: 44499
3241.16/3251.67 c #Conflicts: 1558000 | #Constraints: 45650
3241.16/3251.67 c #Conflicts: 1559000 | #Constraints: 46841
3241.16/3251.67 c #Conflicts: 1560000 | #Constraints: 48022
3241.16/3251.67 c #Conflicts: 1561000 | #Constraints: 49205
3241.16/3251.67 c #Conflicts: 1562000 | #Constraints: 50437
3241.16/3251.67 c #Conflicts: 1563000 | #Constraints: 51666
3241.16/3251.67 c #Conflicts: 1564000 | #Constraints: 52858
3241.16/3251.67 c #Conflicts: 1565000 | #Constraints: 54065
3241.16/3251.67 c #Conflicts: 1566000 | #Constraints: 55255
3241.16/3251.67 c INPROCESSING
3241.16/3251.67 c GARBAGE COLLECT
3241.16/3251.67 c rational objective 2.33509
3347.98/3358.72 c #Conflicts: 1567000 | #Constraints: 28687
3347.98/3358.72 c #Conflicts: 1568000 | #Constraints: 29727
3347.98/3358.72 c #Conflicts: 1569000 | #Constraints: 30802
3347.98/3358.72 c #Conflicts: 1570000 | #Constraints: 31867
3347.98/3358.72 c #Conflicts: 1571000 | #Constraints: 32989
3347.98/3358.72 c #Conflicts: 1572000 | #Constraints: 34066
3347.98/3358.72 c #Conflicts: 1573000 | #Constraints: 35119
3347.98/3358.72 c #Conflicts: 1574000 | #Constraints: 36192
3347.98/3358.72 c #Conflicts: 1575000 | #Constraints: 37448
3347.98/3358.72 c #Conflicts: 1576000 | #Constraints: 38466
3347.98/3358.72 c #Conflicts: 1577000 | #Constraints: 39507
3347.98/3358.72 c #Conflicts: 1578000 | #Constraints: 40536
3347.98/3358.72 c #Conflicts: 1579000 | #Constraints: 41586
3347.98/3358.72 c #Conflicts: 1580000 | #Constraints: 42619
3347.98/3358.72 c #Conflicts: 1581000 | #Constraints: 43659
3347.98/3358.72 c #Conflicts: 1582000 | #Constraints: 44704
3347.98/3358.72 c #Conflicts: 1583000 | #Constraints: 45741
3347.98/3358.72 c #Conflicts: 1584000 | #Constraints: 46778
3347.98/3358.72 c #Conflicts: 1585000 | #Constraints: 47836
3347.98/3358.72 c #Conflicts: 1586000 | #Constraints: 48902
3347.98/3358.72 c #Conflicts: 1587000 | #Constraints: 49939
3347.98/3358.72 c #Conflicts: 1588000 | #Constraints: 50987
3347.98/3358.72 c #Conflicts: 1589000 | #Constraints: 52025
3347.98/3358.72 c #Conflicts: 1590000 | #Constraints: 53082
3347.98/3358.72 c #Conflicts: 1591000 | #Constraints: 54129
3347.98/3358.72 c INPROCESSING
3347.98/3358.72 c GARBAGE COLLECT
3347.98/3358.72 c rational objective 2.15646
3440.23/3451.20 c #Conflicts: 1592000 | #Constraints: 28008
3440.23/3451.20 c #Conflicts: 1593000 | #Constraints: 29063
3440.23/3451.20 c #Conflicts: 1594000 | #Constraints: 30106
3440.23/3451.20 c #Conflicts: 1595000 | #Constraints: 31152
3440.23/3451.20 c #Conflicts: 1596000 | #Constraints: 32198
3440.23/3451.20 c #Conflicts: 1597000 | #Constraints: 33228
3440.23/3451.20 c #Conflicts: 1598000 | #Constraints: 34254
3440.23/3451.20 c #Conflicts: 1599000 | #Constraints: 35300
3440.23/3451.20 c #Conflicts: 1600000 | #Constraints: 36341
3440.23/3451.20 c #Conflicts: 1601000 | #Constraints: 37407
3440.23/3451.20 c #Conflicts: 1602000 | #Constraints: 38416
3440.23/3451.20 c #Conflicts: 1603000 | #Constraints: 39416
3440.23/3451.20 c #Conflicts: 1604000 | #Constraints: 40421
3440.23/3451.20 c #Conflicts: 1605000 | #Constraints: 41421
3440.23/3451.20 c #Conflicts: 1606000 | #Constraints: 42421
3440.23/3451.20 c #Conflicts: 1607000 | #Constraints: 43421
3440.23/3451.20 c #Conflicts: 1608000 | #Constraints: 44421
3440.23/3451.20 c #Conflicts: 1609000 | #Constraints: 45421
3440.23/3451.20 c #Conflicts: 1610000 | #Constraints: 46421
3440.23/3451.20 c #Conflicts: 1611000 | #Constraints: 47421
3440.23/3451.20 c #Conflicts: 1612000 | #Constraints: 48421
3440.23/3451.20 c #Conflicts: 1613000 | #Constraints: 49421
3440.23/3451.20 c #Conflicts: 1614000 | #Constraints: 50421
3440.23/3451.20 c #Conflicts: 1615000 | #Constraints: 51421
3440.23/3451.20 c #Conflicts: 1616000 | #Constraints: 52421
3440.23/3451.20 c INPROCESSING
3440.23/3451.20 c GARBAGE COLLECT
3440.23/3451.20 c rational objective 2.25405
3540.78/3552.09 c #Conflicts: 1617000 | #Constraints: 26918
3540.78/3552.09 c #Conflicts: 1618000 | #Constraints: 27961
3540.78/3552.09 c #Conflicts: 1619000 | #Constraints: 29015
3540.78/3552.09 c #Conflicts: 1620000 | #Constraints: 30100
3540.78/3552.09 c #Conflicts: 1621000 | #Constraints: 31117
3540.78/3552.09 c #Conflicts: 1622000 | #Constraints: 32117
3540.78/3552.09 c #Conflicts: 1623000 | #Constraints: 33117
3540.78/3552.09 c #Conflicts: 1624000 | #Constraints: 34148
3540.78/3552.09 c #Conflicts: 1625000 | #Constraints: 35182
3540.78/3552.09 c #Conflicts: 1626000 | #Constraints: 36235
3540.78/3552.09 c #Conflicts: 1627000 | #Constraints: 37245
3540.78/3552.09 c #Conflicts: 1628000 | #Constraints: 38245
3540.78/3552.09 c #Conflicts: 1629000 | #Constraints: 39289
3540.78/3552.09 c #Conflicts: 1630000 | #Constraints: 40327
3540.78/3552.09 c #Conflicts: 1631000 | #Constraints: 41370
3540.78/3552.09 c #Conflicts: 1632000 | #Constraints: 42420
3540.78/3552.09 c #Conflicts: 1633000 | #Constraints: 43468
3540.78/3552.09 c #Conflicts: 1634000 | #Constraints: 44511
3540.78/3552.09 c #Conflicts: 1635000 | #Constraints: 45552
3540.78/3552.09 c #Conflicts: 1636000 | #Constraints: 46564
3540.78/3552.09 c #Conflicts: 1637000 | #Constraints: 47564
3540.78/3552.09 c #Conflicts: 1638000 | #Constraints: 48564
3540.78/3552.09 c #Conflicts: 1639000 | #Constraints: 49564
3540.78/3552.09 c #Conflicts: 1640000 | #Constraints: 50564
3540.78/3552.09 c #Conflicts: 1641000 | #Constraints: 51564
3540.78/3552.09 c #Conflicts: 1642000 | #Constraints: 52564
3540.78/3552.09 c INPROCESSING
3540.78/3552.09 c GARBAGE COLLECT
3540.78/3552.09 c rational objective 2.26744
3600.00/3611.40 c #Conflicts: 1643000 | #Constraints: 27218
3600.00/3611.40 c #Conflicts: 1644000 | #Constraints: 28241
3600.00/3611.40 c #Conflicts: 1645000 | #Constraints: 29287
3600.00/3611.40 c #Conflicts: 1646000 | #Constraints: 30331
3600.00/3611.40 c #Conflicts: 1647000 | #Constraints: 31341
3600.00/3611.40 c #Conflicts: 1648000 | #Constraints: 32378
3600.00/3611.40 c #Conflicts: 1649000 | #Constraints: 33384
3600.00/3611.40 c #Conflicts: 1650000 | #Constraints: 34384
3600.00/3611.40 c #Conflicts: 1651000 | #Constraints: 35434
3600.00/3611.40 c #Conflicts: 1652000 | #Constraints: 36474
3600.00/3611.40 c #Conflicts: 1653000 | #Constraints: 37518
3600.00/3611.40 c #Conflicts: 1654000 | #Constraints: 38556
3600.00/3611.40 c #Conflicts: 1655000 | #Constraints: 39596
3600.00/3611.40 c #Conflicts: 1656000 | #Constraints: 40617
3600.00/3611.40 c #Conflicts: 1657000 | #Constraints: 41669
3600.00/3611.40 c #Conflicts: 1658000 | #Constraints: 42738
3600.00/3611.40 c #Conflicts: 1659000 | #Constraints: 43775
3600.00/3611.40 c #Conflicts: 1660000 | #Constraints: 44839
3600.00/3611.40 c cpu time 3584.4 s
3600.00/3611.40 c deterministic time 975535168408 9.76e+11
3600.00/3611.40 c optimization time 58.8961 s
3600.00/3611.40 c total solve time 3525.5 s
3600.00/3611.40 c core-guided solve time 0 s
3600.00/3611.40 c propagation time 3353.53 s
3600.00/3611.40 c conflict analysis time 201.859 s
3600.00/3611.40 c propagations 10320163
3600.00/3611.40 c resolve steps 4597147
3600.00/3611.40 c decisions 2081103
3600.00/3611.40 c conflicts 1660777
3600.00/3611.40 c restarts 3142
3600.00/3611.40 c inprocessing phases 119
3600.00/3611.40 c garbage collections 119 ,( 100.00 )
3600.00/3611.40 c input clauses 0 ,( 0.00 )
3600.00/3611.40 c input cardinalities 0 ,( 0.00 )
3600.00/3611.40 c input general constraints 2 ,( 100.00 )
3600.00/3611.40 c input average constraint length 86.00
3600.00/3611.40 c input average constraint degree 139154376.00
3600.00/3611.40 c learned clauses 1016653 ,( 58.21 )
3600.00/3611.40 c learned cardinalities 24 ,( 0.00 )
3600.00/3611.40 c learned general constraints 729846 ,( 41.79 )
3600.00/3611.40 c learned average constraint length 73.20
3600.00/3611.40 c learned average constraint degree 54920196.90
3600.00/3611.40 c watched CF 32, 64, 128, Arb: 355562 , 0 , 0 , 0
3600.00/3611.40 c counting CF 32, 64, 128, Arb: 374286 , 0 , 0 , 0
3600.00/3611.40 c watched constraints 355562 ,( 48.72 )
3600.00/3611.40 c counting constraints 374286 ,( 51.28 )
3600.00/3611.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 57536692 , 23457 , 50112854236 ,( 424750117 , 49688104119 )
3600.00/3611.40 c gcd simplifications 1086217
3600.00/3611.40 c detected cardinalities 24
3600.00/3611.40 c weakened non-implied lits 4627555
3600.00/3611.40 c weakened non-implying lits 1404299
3600.00/3611.40 c original variables 86
3600.00/3611.40 c clausal propagations 87540
3600.00/3611.40 c cardinality propagations 97
3600.00/3611.40 c watched propagations 864744
3600.00/3611.40 c counting propagations 7419357
3600.00/3611.40 c watch lookups 52937976032
3600.00/3611.40 c watch backjump lookups 0
3600.00/3611.40 c watch checks 4517235498
3600.00/3611.40 c propagation checks 917548474730
3600.00/3611.40 c constraint additions 504850699
3600.00/3611.40 c trail pops 14061964
3600.00/3611.40 c formula constraints 2
3600.00/3611.40 c learned constraints 1660777
3600.00/3611.40 c bound constraints 0
3600.00/3611.40 c core-guided constraints 0
3600.00/3611.40 c encountered formula constraints 3683239
3600.00/3611.40 c encountered learned constraints 2574660
3600.00/3611.40 c encountered bound constraints 0
3600.00/3611.40 c encountered core-guided constraints 0
3600.00/3611.40 c LP total time 27.266 s
3600.00/3611.40 c LP solve time 13.15 s
3600.00/3611.40 c LP constraints added 139
3600.00/3611.40 c LP constraints removed 128
3600.00/3611.40 c LP pivots internal 166086
3600.00/3611.40 c LP pivots root 2132
3600.00/3611.40 c LP calls 129512
3600.00/3611.40 c LP optimalities 43427
3600.00/3611.40 c LP no pivot count 6827
3600.00/3611.40 c LP infeasibilities 86010
3600.00/3611.40 c LP valid Farkas constraints 85653
3600.00/3611.40 c LP learned Farkas constraints 0
3600.00/3611.40 c LP basis resets 75
3600.00/3611.40 c LP cycling count 25
3600.00/3611.40 c LP singular count 49
3600.00/3611.40 c LP no primal count 0
3600.00/3611.40 c LP no farkas count 0
3600.00/3611.40 c LP other issue count 1
3600.00/3611.40 c LP Gomory cuts 93
3600.00/3611.40 c LP learned cuts 44
3600.00/3611.40 c LP deleted cuts 128
3600.00/3611.40 c LP encountered Gomory constraints 20
3600.00/3611.40 c LP encountered Farkas constraints 5
3600.00/3611.40 c LP encountered learned Farkas constraints 0
3600.00/3611.40 c CG auxiliary variables introduced 0
3600.00/3611.40 c CG solutions found 0
3600.00/3611.40 c CG cores constructed 0
3600.00/3611.40 c CG core cardinality constraints returned 0
3600.00/3611.40 c CG unit cores 0
3600.00/3611.40 c CG single cores 0
3600.00/3611.40 c CG blocks removed during cardinality reduction 0
3600.00/3611.40 c CG first core best 0
3600.00/3611.40 c CG decision core best 0
3600.00/3611.40 c CG core reduction tie 0
3600.00/3611.40 c CG core degree average 0.00
3600.00/3611.40 c CG core slack average 0.00
3600.00/3611.40 c CG core upper bound improvements 0
3600.00/3611.40 c STR number of successful calls 0
3600.00/3611.40 c STR number of unsuccessful calls 0
3600.00/3611.40 c STR number of inconclusive calls 0
3600.00/3611.40 c STR number of successful attempts 0
3600.00/3611.40 c STR number of unsuccessful attempts 0
3600.00/3611.40 c STR number of inconclusive attempts 0
3600.00/3611.40 c STR average degree increase per successful call inf
3600.00/3611.40 c STR average degree increase per successful attempt inf
3600.00/3611.40 c STR total number of conflicts for successful attempts 0
3600.00/3611.40 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.40 c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.40 c STR average number of conflicts per successful attempt inf
3600.00/3611.40 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.40 c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.40 c AVG.sumWPerc 43.28
3600.00/3611.40 c bigint constraints 0
3600.00/3611.40 s UNKNOWN
3600.00/3611.40 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: 63837 MiB (61394 MiB free)
memory of node 1: 64465 MiB (62420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496037-1751153840/watcher-4496037-1751153840 -o /tmp/evaluation-result-4496037-1751153840/solver-4496037-1751153840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751146607-16240 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4496037-1751153840.opb PROOFDIR/proof-4496037-1751153840
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=17922, runsolver pid=17919
[startup+0.100107 s]*
/proc/loadavg: 4.38 4.28 4.16 5/256 17924
/proc/meminfo: memFree=126786996/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=55816 memory=12680 CPUtime=0.08 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 539 0 0 0 7 1 0 0 20 0 1 0 31063370 57155584 3170 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 13954 3170 2336 1147 0 1381 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60008 KiB
Current children cumulated memory: 15624 KiB
[startup+0.213695 s]*
/proc/loadavg: 4.38 4.28 4.16 5/256 17924
/proc/meminfo: memFree=126786996/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=56088 memory=12936 CPUtime=0.19 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 619 0 0 0 17 2 0 0 20 0 1 0 31063370 57434112 3234 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 14022 3234 2336 1147 0 1449 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 15880 KiB
[startup+0.313655 s]*
/proc/loadavg: 4.38 4.28 4.16 5/256 17924
/proc/meminfo: memFree=126786996/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=56352 memory=13064 CPUtime=0.29 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 660 0 0 0 27 2 0 0 20 0 1 0 31063370 57704448 3266 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 14088 3266 2336 1147 0 1515 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60544 KiB
Current children cumulated memory: 16008 KiB
[startup+0.700418 s]
/proc/loadavg: 4.38 4.28 4.16 5/256 17924
/proc/meminfo: memFree=126786996/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=57324 memory=13960 CPUtime=0.66 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 884 0 0 0 63 3 0 0 20 0 1 0 31063370 58699776 3490 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 14331 3490 2336 1147 0 1758 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 61516 KiB
Current children cumulated memory: 16904 KiB
[startup+1.5004 s]
/proc/loadavg: 4.38 4.28 4.16 5/256 17924
/proc/meminfo: memFree=126786996/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=58472 memory=15112 CPUtime=1.46 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 1168 0 0 0 140 6 0 0 20 0 1 0 31063370 59875328 3778 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 14618 3778 2336 1147 0 2045 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 62664 KiB
Current children cumulated memory: 18056 KiB
[startup+3.11342 s]
/proc/loadavg: 4.38 4.28 4.16 5/256 17924
/proc/meminfo: memFree=126772088/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=60744 memory=19048 CPUtime=3.07 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 1636 0 0 0 296 11 0 0 20 0 1 0 31063370 62201856 4762 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 15186 4762 2336 1147 0 2613 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64936 KiB
Current children cumulated memory: 21992 KiB
[startup+6.30042 s]
/proc/loadavg: 4.35 4.27 4.16 5/256 17924
/proc/meminfo: memFree=126760456/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=63080 memory=21224 CPUtime=6.25 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 2175 0 0 0 606 19 0 0 20 0 1 0 31063370 64593920 5306 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 15770 5306 2336 1147 0 3197 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 67272 KiB
Current children cumulated memory: 24168 KiB
[startup+12.7004 s]
/proc/loadavg: 4.32 4.27 4.16 5/256 17924
/proc/meminfo: memFree=126739544/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=68876 memory=25448 CPUtime=12.63 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 3138 0 0 0 1231 32 0 0 20 0 1 0 31063370 70529024 6362 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 17219 6362 2432 1147 0 4646 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 73068 KiB
Current children cumulated memory: 28392 KiB
[startup+25.5004 s]
/proc/loadavg: 4.32 4.27 4.17 5/256 17924
/proc/meminfo: memFree=126692476/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=73396 memory=29160 CPUtime=25.39 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 4064 0 0 0 2485 54 0 0 20 0 1 0 31063370 75157504 7290 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 18349 7290 2432 1147 0 5776 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 77588 KiB
Current children cumulated memory: 32104 KiB
[startup+51.1138 s]
/proc/loadavg: 4.21 4.25 4.16 5/257 17926
/proc/meminfo: memFree=126652960/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=79256 memory=32744 CPUtime=50.92 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 4988 0 0 0 5002 90 0 0 20 0 1 0 31063370 81158144 8186 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 19814 8186 2432 1147 0 7241 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 83448 KiB
Current children cumulated memory: 35688 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.24 4.16 5/257 18158
/proc/meminfo: memFree=129421364/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=87376 memory=40364 CPUtime=101.95 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 7377 0 0 0 10043 152 0 0 20 0 1 0 31063370 89473024 10091 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 21844 10091 2432 1147 0 9271 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 91568 KiB
Current children cumulated memory: 43308 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.16 5/258 18346
/proc/meminfo: memFree=128387800/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=99064 memory=48768 CPUtime=161.75 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 9105 0 0 0 15981 194 0 0 20 0 1 0 31063370 101441536 12192 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 24766 12192 2464 1147 0 12193 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 103256 KiB
Current children cumulated memory: 51712 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.15 5/259 18351
/proc/meminfo: memFree=127220776/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=99968 memory=49524 CPUtime=221.57 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 9613 0 0 0 21917 240 0 0 20 0 1 0 31063370 102367232 12381 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 24992 12381 2464 1147 0 12419 0
################
# More data... #
################
/proc/17924/statm: 35791 24444 2464 1147 0 23218 0
Current children cumulated CPU time: 3032.44 s
Current children cumulated vsize: 147356 KiB
Current children cumulated memory: 100720 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.54 3.89 4/251 18547
/proc/meminfo: memFree=92805700/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=143352 memory=97928 CPUtime=3092.27 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 22464 0 0 0 307794 1433 0 0 20 0 1 0 31063370 146792448 24482 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 35838 24482 2464 1147 0 23265 0
Current children cumulated CPU time: 3092.27 s
Current children cumulated vsize: 147544 KiB
Current children cumulated memory: 100872 KiB
[startup+3162.3 s]
/proc/loadavg: 3.22 3.49 3.85 4/251 18549
/proc/meminfo: memFree=92685024/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=143680 memory=98212 CPUtime=3152.11 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 22639 0 0 0 313760 1451 0 0 20 0 1 0 31063370 147128320 24553 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 35920 24553 2464 1147 0 23347 0
Current children cumulated CPU time: 3152.11 s
Current children cumulated vsize: 147872 KiB
Current children cumulated memory: 101156 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.41 3.80 4/256 18558
/proc/meminfo: memFree=92160812/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=143680 memory=98212 CPUtime=3211.94 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 22639 0 0 0 319727 1467 0 0 20 0 1 0 31063370 147128320 24553 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 35920 24553 2464 1147 0 23347 0
Current children cumulated CPU time: 3211.94 s
Current children cumulated vsize: 147872 KiB
Current children cumulated memory: 101156 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.35 3.75 5/255 18560
/proc/meminfo: memFree=91551288/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=144412 memory=98880 CPUtime=3271.78 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 22914 0 0 0 325698 1480 0 0 20 0 1 0 31063370 147877888 24720 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 36103 24720 2464 1147 0 23530 0
Current children cumulated CPU time: 3271.78 s
Current children cumulated vsize: 148604 KiB
Current children cumulated memory: 101824 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.31 3.71 4/257 18568
/proc/meminfo: memFree=91380736/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=144924 memory=99012 CPUtime=3331.63 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 23094 0 0 0 331670 1493 0 0 20 0 1 0 31063370 148402176 24753 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 36231 24753 2464 1147 0 23658 0
Current children cumulated CPU time: 3331.63 s
Current children cumulated vsize: 149116 KiB
Current children cumulated memory: 101956 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.27 3.67 4/257 18570
/proc/meminfo: memFree=91280908/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=145644 memory=100292 CPUtime=3391.46 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 23297 0 0 0 337638 1508 0 0 20 0 1 0 31063370 149139456 25073 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 36411 25073 2464 1147 0 23838 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 149836 KiB
Current children cumulated memory: 103236 KiB
[startup+3462.3 s]
/proc/loadavg: 3.15 3.25 3.64 4/257 18572
/proc/meminfo: memFree=89961836/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=146908 memory=102064 CPUtime=3451.3 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 23744 0 0 0 343603 1527 0 0 20 0 1 0 31063370 150433792 25516 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 36727 25516 2464 1147 0 24154 0
Current children cumulated CPU time: 3451.3 s
Current children cumulated vsize: 151100 KiB
Current children cumulated memory: 105008 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.23 3.61 4/258 18576
/proc/meminfo: memFree=89061876/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=146908 memory=102064 CPUtime=3511.14 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 23745 0 0 0 349577 1537 0 0 20 0 1 0 31063370 150433792 25516 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 36727 25516 2464 1147 0 24154 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 151100 KiB
Current children cumulated memory: 105008 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.20 3.57 4/260 18580
/proc/meminfo: memFree=88248076/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=147420 memory=102576 CPUtime=3570.98 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 23873 0 0 0 355545 1553 0 0 20 0 1 0 31063370 150958080 25644 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 36855 25644 2464 1147 0 24282 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 151612 KiB
Current children cumulated memory: 105520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 3.24 3.23 3.57 4/260 18581
/proc/meminfo: memFree=87874284/131382112 swapFree=33010684/33010684
[pid=17922] ppid=17919 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/17922/stat : 17922 (run-dec-log.sh) S 17919 17922 16230 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 31063368 4292608 736 18446744073709551615 94275672444928 94275673339461 140723381475760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94275673578512 94275673626256 94275690639360 140723381483809 140723381484004 140723381484004 140723381489606 0
/proc/17922/statm: 1048 736 672 219 0 110 0
[pid=17924] ppid=17922 vsize=147420 memory=102576 CPUtime=3600 cores=0,2
/proc/17924/stat : 17924 (roundingsat) R 17922 17922 16230 0 -1 4194304 23873 0 0 0 358439 1561 0 0 20 0 1 0 31063370 150958080 25644 18446744073709551615 4227072 8923433 140730961490352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 14733312 140730961496423 140730961496616 140730961496616 140730961502186 0
/proc/17924/statm: 36855 25644 2464 1147 0 24282 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 151612 KiB
Current children cumulated memory: 105520 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.41 s]
# the end of solver process 17922 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00094 s, system=0.004669 s
Sleeping 2 seconds
[startup+3611.43 s]
# the end of solver process 17924 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.4 s, system=15.6179 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.43
CPU time (s): 3600.02
CPU user time (s): 3584.4
CPU system time (s): 15.6179
CPU usage (%): 99.6842
Max. virtual memory (cumulated for all children) (KiB): 151612
Max. memory (cumulated for all children) (KiB): 105520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.4
system time used= 15.6179
maximum resident set size= 102704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2783048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 551
involuntary context switches= 9201
# summary of solver processes directly reported to runsolver:
# pid: 17922,17924
# total CPU time (s): 3600.02
# total CPU user time (s): 3584.4
# total CPU system time (s): 15.6179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2472 second user time and 35.4812 second system time
The end
Begin job on nodeC005 at 2025-06-29 01:37:20
IDJOB=4496037
IDBENCH=148105
IDSOLVER=3352
FILE ID=nodeC005/4496037-1751153840
RUNJOBID= nodeC005-1751146607-16240
SLURM_JOB_ID= 9587462
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4496037-1751153840/watcher-4496037-1751153840 -o /tmp/evaluation-result-4496037-1751153840/solver-4496037-1751153840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751146607-16240 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4496037-1751153840.opb PROOFDIR/proof-4496037-1751153840
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=1369863411
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.537
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.343
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.733
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.375
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.655
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.154
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.933
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126786532 kB
MemAvailable: 128883344 kB
Buffers: 3280 kB
Cached: 2905920 kB
SwapCached: 0 kB
Active: 1405044 kB
Inactive: 2695396 kB
Active(anon): 1209248 kB
Inactive(anon): 0 kB
Active(file): 195796 kB
Inactive(file): 2695396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19576 kB
Writeback: 0 kB
AnonPages: 1192208 kB
Mapped: 115880 kB
Shmem: 17960 kB
KReclaimable: 90492 kB
Slab: 171816 kB
SReclaimable: 90492 kB
SUnreclaim: 81324 kB
KernelStack: 4112 kB
PageTables: 5524 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1601632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1060864 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC005 at 2025-06-29 02:37:32