0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4491075-1751376949.opb'
0.00/0.01 c read 0.01MB (0.30ms)
0.00/0.01 c [cnf: #variables 299 #clauses 101 #duplicates 0 #arr 1751]
0.00/0.01 c output proof to 'PROOFDIR/proof-4491075-1751376949'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 4] (0.28ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c found row 3x2, generating row predicate
0.00/0.01 c (0.07ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 998 #edges 4698]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 2.00*10^0 #generators 1] (0.27ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.00ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=20)
0.00/0.01 c added predicates for 1 generators (0.00ms)
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 3 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4491075-1751376949.opb.pre'
0.00/0.01 c wrote 0.01MB (0.11ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.54ms 33.98% other
0.00/0.01 c 0.30ms 18.92% parse
0.00/0.01 c 0.28ms 17.36% approx_orbits
0.00/0.01 c 0.27ms 17.15% detect_generic
0.00/0.01 c 0.11ms 6.87% output
0.00/0.01 c 0.07ms 4.62% detect_special
0.00/0.01 c 0.01ms 0.67% finalize_order
0.00/0.01 c 0.00ms 0.23% break_generic
0.00/0.01 c 0.00ms 0.20% optimize_gens
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.59ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 299 #constraints 103
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c bounds - >= 0 @ 0.001766
0.00/0.04 c rational objective 14.1297
0.07/0.16 c bounds 35 >= 0 @ 0.124822
0.07/0.16 c bounds 35 >= 1 @ 0.125021
0.07/0.16 c bounds 35 >= 2 @ 0.125141
0.07/0.16 c bounds 35 >= 3 @ 0.125304
0.07/0.16 c bounds 35 >= 4 @ 0.125494
0.07/0.16 c bounds 35 >= 5 @ 0.12577
0.07/0.16 c bounds 35 >= 6 @ 0.125978
0.07/0.16 c bounds 35 >= 7 @ 0.126318
0.07/0.16 c bounds 34 >= 7 @ 0.127513
0.07/0.16 c bounds 34 >= 8 @ 0.128071
0.07/0.17 c bounds 34 >= 9 @ 0.1379
0.07/0.17 c bounds 33 >= 9 @ 0.138293
0.07/0.17 c bounds 32 >= 9 @ 0.138698
0.07/0.17 c bounds 31 >= 9 @ 0.139198
0.07/0.17 c bounds 30 >= 9 @ 0.139683
0.07/0.17 c bounds 29 >= 9 @ 0.140181
0.07/0.17 c bounds 28 >= 9 @ 0.140672
0.07/0.18 c bounds 28 >= 10 @ 0.144222
0.07/0.18 c bounds 27 >= 10 @ 0.145193
0.07/0.19 c bounds 26 >= 10 @ 0.160569
0.27/0.33 c #Conflicts: 1000 | #Constraints: 1196
0.27/0.33 c bounds 26 >= 11 @ 0.284456
0.27/0.33 c bounds 25 >= 11 @ 0.287942
0.27/0.33 c bounds 24 >= 11 @ 0.288822
0.27/0.33 c bounds 23 >= 11 @ 0.289766
0.27/0.34 c bounds 22 >= 11 @ 0.292532
0.27/0.34 c bounds 21 >= 11 @ 0.293934
0.27/0.37 c bounds 20 >= 11 @ 0.321328
0.47/0.55 c #Conflicts: 2000 | #Constraints: 2256
0.47/0.55 c INPROCESSING
0.47/0.55 c GARBAGE COLLECT
0.47/0.55 c rational objective 14.1643
1.26/1.31 c #Conflicts: 3000 | #Constraints: 2208
1.26/1.31 c #Conflicts: 4000 | #Constraints: 3208
1.26/1.31 c INPROCESSING
1.26/1.31 c GARBAGE COLLECT
1.26/1.31 c rational objective 14.1645
2.76/2.83 c #Conflicts: 5000 | #Constraints: 2701
2.76/2.83 c #Conflicts: 6000 | #Constraints: 4041
2.76/2.83 c INPROCESSING
2.76/2.83 c GARBAGE COLLECT
2.76/2.83 c #Conflicts: 7000 | #Constraints: 2946
2.76/2.83 c #Conflicts: 8000 | #Constraints: 3953
2.76/2.83 c bounds 20 >= 12 @ 2.68263
2.96/3.07 c #Conflicts: 9000 | #Constraints: 5076
2.96/3.07 c INPROCESSING
2.96/3.07 c GARBAGE COLLECT
2.96/3.07 c rational objective 14.1645
3.16/3.23 c bounds 19 >= 12 @ 3.07806
3.36/3.44 c #Conflicts: 10000 | #Constraints: 3634
3.36/3.44 c bounds 18 >= 12 @ 3.27726
3.96/4.03 c #Conflicts: 11000 | #Constraints: 4665
3.96/4.03 c #Conflicts: 12000 | #Constraints: 5688
3.96/4.03 c INPROCESSING
3.96/4.03 c GARBAGE COLLECT
3.96/4.03 c rational objective 14.1645
5.15/5.24 c #Conflicts: 13000 | #Constraints: 3967
5.15/5.24 c #Conflicts: 14000 | #Constraints: 4980
5.15/5.24 c #Conflicts: 15000 | #Constraints: 5991
5.15/5.24 c INPROCESSING
5.15/5.24 c GARBAGE COLLECT
5.15/5.24 c rational objective 14.1646
6.55/6.66 c #Conflicts: 16000 | #Constraints: 4130
6.55/6.66 c #Conflicts: 17000 | #Constraints: 5161
6.55/6.66 c #Conflicts: 18000 | #Constraints: 6182
6.55/6.66 c INPROCESSING
6.55/6.66 c GARBAGE COLLECT
6.55/6.66 c rational objective 14.1645
8.04/8.14 c #Conflicts: 19000 | #Constraints: 4137
8.04/8.14 c #Conflicts: 20000 | #Constraints: 5162
8.04/8.14 c #Conflicts: 21000 | #Constraints: 6178
8.04/8.14 c INPROCESSING
8.04/8.14 c GARBAGE COLLECT
8.04/8.14 c rational objective 14.1645
9.73/9.82 c #Conflicts: 22000 | #Constraints: 3918
9.73/9.82 c #Conflicts: 23000 | #Constraints: 4923
9.73/9.82 c #Conflicts: 24000 | #Constraints: 5926
9.73/9.82 c #Conflicts: 25000 | #Constraints: 6927
9.73/9.82 c INPROCESSING
9.73/9.82 c GARBAGE COLLECT
9.73/9.82 c rational objective 14.1645
11.23/11.33 c #Conflicts: 26000 | #Constraints: 4490
11.23/11.33 c #Conflicts: 27000 | #Constraints: 5523
11.23/11.33 c #Conflicts: 28000 | #Constraints: 6534
11.23/11.33 c #Conflicts: 29000 | #Constraints: 7554
11.23/11.33 c INPROCESSING
11.23/11.33 c GARBAGE COLLECT
11.23/11.33 c rational objective 14.1645
14.83/14.93 c #Conflicts: 30000 | #Constraints: 4916
14.83/14.93 c #Conflicts: 31000 | #Constraints: 5917
14.83/14.93 c #Conflicts: 32000 | #Constraints: 6922
14.83/14.93 c #Conflicts: 33000 | #Constraints: 7925
14.83/14.93 c INPROCESSING
14.83/14.93 c GARBAGE COLLECT
14.83/14.93 c #Conflicts: 34000 | #Constraints: 5130
14.83/14.93 c #Conflicts: 35000 | #Constraints: 6159
14.83/14.93 c #Conflicts: 36000 | #Constraints: 7179
14.83/14.93 c #Conflicts: 37000 | #Constraints: 8214
14.83/14.93 c INPROCESSING
14.83/14.93 c GARBAGE COLLECT
14.83/14.93 c rational objective 14.1646
16.93/17.05 c #Conflicts: 38000 | #Constraints: 5209
16.93/17.05 c #Conflicts: 39000 | #Constraints: 6228
16.93/17.05 c #Conflicts: 40000 | #Constraints: 7251
16.93/17.05 c #Conflicts: 41000 | #Constraints: 8267
16.93/17.05 c INPROCESSING
16.93/17.05 c GARBAGE COLLECT
16.93/17.05 c rational objective 14.1646
19.11/19.23 c #Conflicts: 42000 | #Constraints: 4952
19.11/19.23 c #Conflicts: 43000 | #Constraints: 5956
19.11/19.23 c #Conflicts: 44000 | #Constraints: 6957
19.11/19.23 c #Conflicts: 45000 | #Constraints: 7960
19.11/19.23 c #Conflicts: 46000 | #Constraints: 8960
19.11/19.23 c INPROCESSING
19.11/19.23 c GARBAGE COLLECT
19.11/19.23 c rational objective 14.1646
21.20/21.35 c #Conflicts: 47000 | #Constraints: 5560
21.20/21.35 c #Conflicts: 48000 | #Constraints: 6576
21.20/21.35 c #Conflicts: 49000 | #Constraints: 7593
21.20/21.35 c #Conflicts: 50000 | #Constraints: 8612
21.20/21.35 c #Conflicts: 51000 | #Constraints: 9627
21.20/21.35 c INPROCESSING
21.20/21.35 c GARBAGE COLLECT
21.20/21.35 c rational objective 14.1646
24.10/24.23 c #Conflicts: 52000 | #Constraints: 5935
24.10/24.23 c #Conflicts: 53000 | #Constraints: 6939
24.10/24.23 c #Conflicts: 54000 | #Constraints: 7941
24.10/24.23 c #Conflicts: 55000 | #Constraints: 8942
24.10/24.23 c #Conflicts: 56000 | #Constraints: 9943
24.10/24.23 c INPROCESSING
24.10/24.23 c GARBAGE COLLECT
24.10/24.23 c rational objective 14.1646
26.49/26.64 c #Conflicts: 57000 | #Constraints: 6101
26.49/26.64 c #Conflicts: 58000 | #Constraints: 7120
26.49/26.64 c #Conflicts: 59000 | #Constraints: 8142
26.49/26.64 c #Conflicts: 60000 | #Constraints: 9164
26.49/26.64 c #Conflicts: 61000 | #Constraints: 10181
26.49/26.64 c INPROCESSING
26.49/26.64 c GARBAGE COLLECT
26.49/26.64 c rational objective 14.1646
29.28/29.44 c #Conflicts: 62000 | #Constraints: 6112
29.28/29.44 c #Conflicts: 63000 | #Constraints: 7132
29.28/29.44 c #Conflicts: 64000 | #Constraints: 8153
29.28/29.44 c #Conflicts: 65000 | #Constraints: 9165
29.28/29.44 c #Conflicts: 66000 | #Constraints: 10177
29.28/29.44 c INPROCESSING
29.28/29.44 c GARBAGE COLLECT
29.28/29.44 c rational objective 14.1646
33.18/33.36 c #Conflicts: 67000 | #Constraints: 5931
33.18/33.36 c #Conflicts: 68000 | #Constraints: 6932
33.18/33.36 c #Conflicts: 69000 | #Constraints: 7947
33.18/33.36 c #Conflicts: 70000 | #Constraints: 8960
33.18/33.36 c #Conflicts: 71000 | #Constraints: 10072
33.18/33.36 c #Conflicts: 72000 | #Constraints: 11074
33.18/33.36 c INPROCESSING
33.18/33.36 c GARBAGE COLLECT
33.18/33.36 c rational objective 14.1646
36.07/36.29 c #Conflicts: 73000 | #Constraints: 6560
36.07/36.29 c #Conflicts: 74000 | #Constraints: 7577
36.07/36.29 c #Conflicts: 75000 | #Constraints: 8587
36.07/36.29 c #Conflicts: 76000 | #Constraints: 9603
36.07/36.29 c #Conflicts: 77000 | #Constraints: 10616
36.07/36.29 c #Conflicts: 78000 | #Constraints: 11634
36.07/36.29 c INPROCESSING
36.07/36.29 c GARBAGE COLLECT
36.07/36.29 c rational objective 14.1646
40.05/40.21 c #Conflicts: 79000 | #Constraints: 6950
40.05/40.21 c #Conflicts: 80000 | #Constraints: 7961
40.05/40.21 c #Conflicts: 81000 | #Constraints: 8964
40.05/40.21 c #Conflicts: 82000 | #Constraints: 9972
40.05/40.21 c #Conflicts: 83000 | #Constraints: 10972
40.05/40.21 c bounds 18 >= 13 @ 38.9509
40.15/40.38 c #Conflicts: 84000 | #Constraints: 12006
40.15/40.38 c INPROCESSING
40.15/40.38 c GARBAGE COLLECT
40.15/40.38 c rational objective 14.1647
43.45/43.68 c #Conflicts: 85000 | #Constraints: 7127
43.45/43.68 c #Conflicts: 86000 | #Constraints: 8145
43.45/43.68 c #Conflicts: 87000 | #Constraints: 9167
43.45/43.68 c #Conflicts: 88000 | #Constraints: 10190
43.45/43.68 c #Conflicts: 89000 | #Constraints: 11206
43.45/43.68 c #Conflicts: 90000 | #Constraints: 12226
43.45/43.68 c INPROCESSING
43.45/43.68 c GARBAGE COLLECT
43.45/43.68 c rational objective 14.1646
46.94/47.15 c #Conflicts: 91000 | #Constraints: 7141
46.94/47.15 c #Conflicts: 92000 | #Constraints: 8157
46.94/47.15 c #Conflicts: 93000 | #Constraints: 9174
46.94/47.15 c #Conflicts: 94000 | #Constraints: 10189
46.94/47.15 c #Conflicts: 95000 | #Constraints: 11211
46.94/47.15 c #Conflicts: 96000 | #Constraints: 12232
46.94/47.15 c INPROCESSING
46.94/47.15 c GARBAGE COLLECT
46.94/47.15 c rational objective 14.1646
50.72/50.92 c #Conflicts: 97000 | #Constraints: 6956
50.72/50.92 c #Conflicts: 98000 | #Constraints: 7983
50.72/50.92 c #Conflicts: 99000 | #Constraints: 8995
50.72/50.92 c #Conflicts: 100000 | #Constraints: 10013
50.72/50.92 c #Conflicts: 101000 | #Constraints: 11027
50.72/50.92 c #Conflicts: 102000 | #Constraints: 12036
50.72/50.92 c #Conflicts: 103000 | #Constraints: 13046
50.72/50.92 c INPROCESSING
50.72/50.92 c GARBAGE COLLECT
50.72/50.92 c rational objective 14.1646
54.41/54.62 c #Conflicts: 104000 | #Constraints: 7542
54.41/54.62 c #Conflicts: 105000 | #Constraints: 8558
54.41/54.62 c #Conflicts: 106000 | #Constraints: 9568
54.41/54.62 c #Conflicts: 107000 | #Constraints: 10575
54.41/54.62 c #Conflicts: 108000 | #Constraints: 11582
54.41/54.62 c #Conflicts: 109000 | #Constraints: 12602
54.41/54.62 c #Conflicts: 110000 | #Constraints: 13614
54.41/54.62 c INPROCESSING
54.41/54.62 c GARBAGE COLLECT
54.41/54.62 c rational objective 14.1646
59.29/59.51 c #Conflicts: 111000 | #Constraints: 7978
59.29/59.51 c #Conflicts: 112000 | #Constraints: 8979
59.29/59.51 c #Conflicts: 113000 | #Constraints: 9983
59.29/59.51 c #Conflicts: 114000 | #Constraints: 10984
59.29/59.51 c #Conflicts: 115000 | #Constraints: 11986
59.29/59.51 c #Conflicts: 116000 | #Constraints: 12990
59.29/59.51 c #Conflicts: 117000 | #Constraints: 13997
59.29/59.51 c INPROCESSING
59.29/59.51 c GARBAGE COLLECT
59.29/59.51 c rational objective 14.1646
63.38/63.65 c #Conflicts: 118000 | #Constraints: 8147
63.38/63.65 c #Conflicts: 119000 | #Constraints: 9173
63.38/63.65 c #Conflicts: 120000 | #Constraints: 10194
63.38/63.65 c #Conflicts: 121000 | #Constraints: 11212
63.38/63.65 c #Conflicts: 122000 | #Constraints: 12233
63.38/63.65 c #Conflicts: 123000 | #Constraints: 13249
63.38/63.65 c #Conflicts: 124000 | #Constraints: 14259
63.38/63.65 c INPROCESSING
63.38/63.65 c GARBAGE COLLECT
63.38/63.65 c rational objective 14.1647
69.46/69.72 c #Conflicts: 125000 | #Constraints: 8239
69.46/69.72 c #Conflicts: 126000 | #Constraints: 9242
69.46/69.72 c #Conflicts: 127000 | #Constraints: 10246
69.46/69.72 c #Conflicts: 128000 | #Constraints: 11247
69.46/69.72 c #Conflicts: 129000 | #Constraints: 12249
69.46/69.72 c #Conflicts: 130000 | #Constraints: 13252
69.46/69.72 c #Conflicts: 131000 | #Constraints: 14255
69.46/69.72 c INPROCESSING
69.46/69.72 c GARBAGE COLLECT
69.46/69.72 c rational objective 14.1647
73.75/74.01 c #Conflicts: 132000 | #Constraints: 7947
73.75/74.01 c #Conflicts: 133000 | #Constraints: 8969
73.75/74.01 c #Conflicts: 134000 | #Constraints: 9985
73.75/74.01 c #Conflicts: 135000 | #Constraints: 11000
73.75/74.01 c #Conflicts: 136000 | #Constraints: 12013
73.75/74.01 c #Conflicts: 137000 | #Constraints: 13027
73.75/74.01 c #Conflicts: 138000 | #Constraints: 14043
73.75/74.01 c #Conflicts: 139000 | #Constraints: 15062
73.75/74.01 c INPROCESSING
73.75/74.01 c GARBAGE COLLECT
73.75/74.01 c rational objective 14.1647
78.73/79.09 c #Conflicts: 140000 | #Constraints: 8801
78.73/79.09 c #Conflicts: 141000 | #Constraints: 9882
78.73/79.09 c #Conflicts: 142000 | #Constraints: 10901
78.73/79.09 c #Conflicts: 143000 | #Constraints: 11919
78.73/79.09 c #Conflicts: 144000 | #Constraints: 12939
78.73/79.09 c #Conflicts: 145000 | #Constraints: 13961
78.73/79.09 c #Conflicts: 146000 | #Constraints: 14980
78.73/79.09 c #Conflicts: 147000 | #Constraints: 16002
78.73/79.09 c INPROCESSING
78.73/79.09 c GARBAGE COLLECT
78.73/79.09 c rational objective 14.1647
85.61/85.94 c #Conflicts: 148000 | #Constraints: 9145
85.61/85.94 c #Conflicts: 149000 | #Constraints: 10150
85.61/85.94 c #Conflicts: 150000 | #Constraints: 11175
85.61/85.94 c #Conflicts: 151000 | #Constraints: 12178
85.61/85.94 c #Conflicts: 152000 | #Constraints: 13188
85.61/85.94 c #Conflicts: 153000 | #Constraints: 14192
85.61/85.94 c #Conflicts: 154000 | #Constraints: 15198
85.61/85.94 c #Conflicts: 155000 | #Constraints: 16202
85.61/85.94 c INPROCESSING
85.61/85.94 c GARBAGE COLLECT
85.61/85.94 c rational objective 14.165
90.79/91.19 c #Conflicts: 156000 | #Constraints: 9362
90.79/91.19 c #Conflicts: 157000 | #Constraints: 10393
90.79/91.19 c #Conflicts: 158000 | #Constraints: 11402
90.79/91.19 c #Conflicts: 159000 | #Constraints: 12416
90.79/91.19 c #Conflicts: 160000 | #Constraints: 13424
90.79/91.19 c #Conflicts: 161000 | #Constraints: 14431
90.79/91.19 c #Conflicts: 162000 | #Constraints: 15442
90.79/91.19 c #Conflicts: 163000 | #Constraints: 16457
90.79/91.19 c INPROCESSING
90.79/91.19 c GARBAGE COLLECT
90.79/91.19 c rational objective 14.1651
98.06/98.43 c #Conflicts: 164000 | #Constraints: 9288
98.06/98.43 c #Conflicts: 165000 | #Constraints: 10430
98.06/98.43 c #Conflicts: 166000 | #Constraints: 11432
98.06/98.43 c #Conflicts: 167000 | #Constraints: 12435
98.06/98.43 c #Conflicts: 168000 | #Constraints: 13437
98.06/98.43 c #Conflicts: 169000 | #Constraints: 14440
98.06/98.43 c #Conflicts: 170000 | #Constraints: 15449
98.06/98.43 c #Conflicts: 171000 | #Constraints: 16450
98.06/98.43 c INPROCESSING
98.06/98.43 c GARBAGE COLLECT
98.06/98.43 c rational objective 14.1651
103.35/103.75 c #Conflicts: 172000 | #Constraints: 9040
103.35/103.75 c #Conflicts: 173000 | #Constraints: 10056
103.35/103.75 c #Conflicts: 174000 | #Constraints: 11075
103.35/103.75 c #Conflicts: 175000 | #Constraints: 12090
103.35/103.75 c #Conflicts: 176000 | #Constraints: 13105
103.35/103.75 c #Conflicts: 177000 | #Constraints: 14113
103.35/103.75 c #Conflicts: 178000 | #Constraints: 15131
103.35/103.75 c #Conflicts: 179000 | #Constraints: 16143
103.35/103.75 c #Conflicts: 180000 | #Constraints: 17150
103.35/103.75 c INPROCESSING
103.35/103.75 c GARBAGE COLLECT
103.35/103.75 c rational objective 14.1651
109.13/109.58 c #Conflicts: 181000 | #Constraints: 9599
109.13/109.58 c #Conflicts: 182000 | #Constraints: 10617
109.13/109.58 c #Conflicts: 183000 | #Constraints: 11635
109.13/109.58 c #Conflicts: 184000 | #Constraints: 12651
109.13/109.58 c #Conflicts: 185000 | #Constraints: 13662
109.13/109.58 c #Conflicts: 186000 | #Constraints: 14680
109.13/109.58 c #Conflicts: 187000 | #Constraints: 15695
109.13/109.58 c #Conflicts: 188000 | #Constraints: 16706
109.13/109.58 c #Conflicts: 189000 | #Constraints: 17720
109.13/109.58 c INPROCESSING
109.13/109.58 c GARBAGE COLLECT
109.13/109.58 c rational objective 14.1652
116.21/116.66 c #Conflicts: 190000 | #Constraints: 9997
116.21/116.66 c #Conflicts: 191000 | #Constraints: 11008
116.21/116.66 c #Conflicts: 192000 | #Constraints: 12016
116.21/116.66 c #Conflicts: 193000 | #Constraints: 13022
116.21/116.66 c #Conflicts: 194000 | #Constraints: 14026
116.21/116.66 c #Conflicts: 195000 | #Constraints: 15029
116.21/116.66 c #Conflicts: 196000 | #Constraints: 16035
116.21/116.66 c #Conflicts: 197000 | #Constraints: 17046
116.21/116.66 c #Conflicts: 198000 | #Constraints: 18054
116.21/116.66 c INPROCESSING
116.21/116.66 c GARBAGE COLLECT
116.21/116.66 c rational objective 14.1652
122.19/122.65 c #Conflicts: 199000 | #Constraints: 10236
122.19/122.65 c #Conflicts: 200000 | #Constraints: 11258
122.19/122.65 c #Conflicts: 201000 | #Constraints: 12279
122.19/122.65 c #Conflicts: 202000 | #Constraints: 13301
122.19/122.65 c #Conflicts: 203000 | #Constraints: 14320
122.19/122.65 c #Conflicts: 204000 | #Constraints: 15345
122.19/122.65 c #Conflicts: 205000 | #Constraints: 16367
122.19/122.65 c #Conflicts: 206000 | #Constraints: 17388
122.19/122.65 c #Conflicts: 207000 | #Constraints: 18409
122.19/122.65 c INPROCESSING
122.19/122.65 c GARBAGE COLLECT
122.19/122.65 c rational objective 14.1652
129.17/129.62 c #Conflicts: 208000 | #Constraints: 10239
129.17/129.62 c #Conflicts: 209000 | #Constraints: 11245
129.17/129.62 c #Conflicts: 210000 | #Constraints: 12252
129.17/129.62 c #Conflicts: 211000 | #Constraints: 13266
129.17/129.62 c #Conflicts: 212000 | #Constraints: 14280
129.17/129.62 c #Conflicts: 213000 | #Constraints: 15290
129.17/129.62 c #Conflicts: 214000 | #Constraints: 16299
129.17/129.62 c #Conflicts: 215000 | #Constraints: 17303
129.17/129.62 c #Conflicts: 216000 | #Constraints: 18320
129.17/129.62 c INPROCESSING
129.17/129.62 c GARBAGE COLLECT
129.17/129.62 c rational objective 14.1652
135.55/136.03 c #Conflicts: 217000 | #Constraints: 9998
135.55/136.03 c #Conflicts: 218000 | #Constraints: 11022
135.55/136.03 c #Conflicts: 219000 | #Constraints: 12046
135.55/136.03 c #Conflicts: 220000 | #Constraints: 13060
135.55/136.03 c #Conflicts: 221000 | #Constraints: 14076
135.55/136.03 c #Conflicts: 222000 | #Constraints: 15094
135.55/136.03 c #Conflicts: 223000 | #Constraints: 16109
135.55/136.03 c #Conflicts: 224000 | #Constraints: 17130
135.55/136.03 c #Conflicts: 225000 | #Constraints: 18149
135.55/136.03 c #Conflicts: 226000 | #Constraints: 19161
135.55/136.03 c INPROCESSING
135.55/136.03 c GARBAGE COLLECT
135.55/136.03 c rational objective 14.1652
143.63/144.13 c #Conflicts: 227000 | #Constraints: 10606
143.63/144.13 c #Conflicts: 228000 | #Constraints: 11617
143.63/144.13 c #Conflicts: 229000 | #Constraints: 12628
143.63/144.13 c #Conflicts: 230000 | #Constraints: 13638
143.63/144.13 c #Conflicts: 231000 | #Constraints: 14645
143.63/144.13 c #Conflicts: 232000 | #Constraints: 15646
143.63/144.13 c #Conflicts: 233000 | #Constraints: 16648
143.63/144.13 c #Conflicts: 234000 | #Constraints: 17651
143.63/144.13 c #Conflicts: 235000 | #Constraints: 18658
143.63/144.13 c #Conflicts: 236000 | #Constraints: 19659
143.63/144.13 c INPROCESSING
143.63/144.13 c GARBAGE COLLECT
143.63/144.13 c rational objective 14.1652
150.29/150.82 c #Conflicts: 237000 | #Constraints: 10959
150.29/150.82 c #Conflicts: 238000 | #Constraints: 11974
150.29/150.82 c #Conflicts: 239000 | #Constraints: 12990
150.29/150.82 c #Conflicts: 240000 | #Constraints: 13998
150.29/150.82 c #Conflicts: 241000 | #Constraints: 15007
150.29/150.82 c #Conflicts: 242000 | #Constraints: 16015
150.29/150.82 c #Conflicts: 243000 | #Constraints: 17024
150.29/150.82 c #Conflicts: 244000 | #Constraints: 18035
150.29/150.82 c #Conflicts: 245000 | #Constraints: 19053
150.29/150.82 c #Conflicts: 246000 | #Constraints: 20066
150.29/150.82 c INPROCESSING
150.29/150.82 c GARBAGE COLLECT
150.29/150.82 c rational objective 14.1652
157.08/157.64 c #Conflicts: 247000 | #Constraints: 11190
157.08/157.64 c #Conflicts: 248000 | #Constraints: 12208
157.08/157.64 c #Conflicts: 249000 | #Constraints: 13226
157.08/157.64 c #Conflicts: 250000 | #Constraints: 14236
157.08/157.64 c #Conflicts: 251000 | #Constraints: 15242
157.08/157.64 c #Conflicts: 252000 | #Constraints: 16253
157.08/157.64 c #Conflicts: 253000 | #Constraints: 17271
157.08/157.64 c #Conflicts: 254000 | #Constraints: 18282
157.08/157.64 c #Conflicts: 255000 | #Constraints: 19290
157.08/157.64 c #Conflicts: 256000 | #Constraints: 20300
157.08/157.64 c INPROCESSING
157.08/157.64 c GARBAGE COLLECT
157.08/157.64 c rational objective 14.1652
167.14/167.77 c #Conflicts: 257000 | #Constraints: 11222
167.14/167.77 c #Conflicts: 258000 | #Constraints: 12227
167.14/167.77 c #Conflicts: 259000 | #Constraints: 13235
167.14/167.77 c #Conflicts: 260000 | #Constraints: 14243
167.14/167.77 c #Conflicts: 261000 | #Constraints: 15262
167.14/167.77 c #Conflicts: 262000 | #Constraints: 16264
167.14/167.77 c #Conflicts: 263000 | #Constraints: 17267
167.14/167.77 c #Conflicts: 264000 | #Constraints: 18268
167.14/167.77 c #Conflicts: 265000 | #Constraints: 19270
167.14/167.77 c #Conflicts: 266000 | #Constraints: 20273
167.14/167.77 c INPROCESSING
167.14/167.77 c GARBAGE COLLECT
167.14/167.77 c rational objective 14.1652
175.02/175.61 c #Conflicts: 267000 | #Constraints: 10992
175.02/175.61 c #Conflicts: 268000 | #Constraints: 12021
175.02/175.61 c #Conflicts: 269000 | #Constraints: 13035
175.02/175.61 c #Conflicts: 270000 | #Constraints: 14059
175.02/175.61 c #Conflicts: 271000 | #Constraints: 15079
175.02/175.61 c #Conflicts: 272000 | #Constraints: 16092
175.02/175.61 c #Conflicts: 273000 | #Constraints: 17111
175.02/175.61 c #Conflicts: 274000 | #Constraints: 18129
175.02/175.61 c #Conflicts: 275000 | #Constraints: 19144
175.02/175.61 c #Conflicts: 276000 | #Constraints: 20162
175.02/175.61 c #Conflicts: 277000 | #Constraints: 21181
175.02/175.61 c INPROCESSING
175.02/175.61 c GARBAGE COLLECT
175.02/175.61 c rational objective 14.1652
185.88/186.51 c #Conflicts: 278000 | #Constraints: 11633
185.88/186.51 c #Conflicts: 279000 | #Constraints: 12635
185.88/186.51 c #Conflicts: 280000 | #Constraints: 13637
185.88/186.51 c #Conflicts: 281000 | #Constraints: 14642
185.88/186.51 c #Conflicts: 282000 | #Constraints: 15644
185.88/186.51 c #Conflicts: 283000 | #Constraints: 16653
185.88/186.51 c #Conflicts: 284000 | #Constraints: 17658
185.88/186.51 c #Conflicts: 285000 | #Constraints: 18663
185.88/186.51 c #Conflicts: 286000 | #Constraints: 19669
185.88/186.51 c #Conflicts: 287000 | #Constraints: 20673
185.88/186.51 c #Conflicts: 288000 | #Constraints: 21673
185.88/186.51 c INPROCESSING
185.88/186.51 c GARBAGE COLLECT
185.88/186.51 c rational objective 14.1652
193.66/194.30 c #Conflicts: 289000 | #Constraints: 11981
193.66/194.30 c #Conflicts: 290000 | #Constraints: 12993
193.66/194.30 c #Conflicts: 291000 | #Constraints: 14009
193.66/194.30 c #Conflicts: 292000 | #Constraints: 15027
193.66/194.30 c #Conflicts: 293000 | #Constraints: 16043
193.66/194.30 c #Conflicts: 294000 | #Constraints: 17058
193.66/194.30 c #Conflicts: 295000 | #Constraints: 18075
193.66/194.30 c #Conflicts: 296000 | #Constraints: 19085
193.66/194.30 c #Conflicts: 297000 | #Constraints: 20095
193.66/194.30 c #Conflicts: 298000 | #Constraints: 21106
193.66/194.30 c #Conflicts: 299000 | #Constraints: 22112
193.66/194.30 c INPROCESSING
193.66/194.30 c GARBAGE COLLECT
193.66/194.30 c rational objective 14.1652
205.52/206.24 c #Conflicts: 300000 | #Constraints: 12187
205.52/206.24 c #Conflicts: 301000 | #Constraints: 13190
205.52/206.24 c #Conflicts: 302000 | #Constraints: 14195
205.52/206.24 c #Conflicts: 303000 | #Constraints: 15202
205.52/206.24 c #Conflicts: 304000 | #Constraints: 16210
205.52/206.24 c #Conflicts: 305000 | #Constraints: 17211
205.52/206.24 c #Conflicts: 306000 | #Constraints: 18215
205.52/206.24 c #Conflicts: 307000 | #Constraints: 19218
205.52/206.24 c #Conflicts: 308000 | #Constraints: 20221
205.52/206.24 c #Conflicts: 309000 | #Constraints: 21222
205.52/206.24 c #Conflicts: 310000 | #Constraints: 22225
205.52/206.24 c INPROCESSING
205.52/206.24 c GARBAGE COLLECT
205.52/206.24 c rational objective 14.1652
213.69/214.45 c #Conflicts: 311000 | #Constraints: 12156
213.69/214.45 c #Conflicts: 312000 | #Constraints: 13174
213.69/214.45 c #Conflicts: 313000 | #Constraints: 14190
213.69/214.45 c #Conflicts: 314000 | #Constraints: 15203
213.69/214.45 c #Conflicts: 315000 | #Constraints: 16215
213.69/214.45 c #Conflicts: 316000 | #Constraints: 17232
213.69/214.45 c #Conflicts: 317000 | #Constraints: 18251
213.69/214.45 c #Conflicts: 318000 | #Constraints: 19263
213.69/214.45 c #Conflicts: 319000 | #Constraints: 20283
213.69/214.45 c #Conflicts: 320000 | #Constraints: 21299
213.69/214.45 c #Conflicts: 321000 | #Constraints: 22317
213.69/214.45 c INPROCESSING
213.69/214.45 c GARBAGE COLLECT
213.69/214.45 c rational objective 14.1652
222.27/223.08 c #Conflicts: 322000 | #Constraints: 11989
222.27/223.08 c #Conflicts: 323000 | #Constraints: 13007
222.27/223.08 c #Conflicts: 324000 | #Constraints: 14017
222.27/223.08 c #Conflicts: 325000 | #Constraints: 15028
222.27/223.08 c #Conflicts: 326000 | #Constraints: 16039
222.27/223.08 c #Conflicts: 327000 | #Constraints: 17060
222.27/223.08 c #Conflicts: 328000 | #Constraints: 18076
222.27/223.08 c #Conflicts: 329000 | #Constraints: 19098
222.27/223.08 c #Conflicts: 330000 | #Constraints: 20116
222.27/223.08 c #Conflicts: 331000 | #Constraints: 21130
222.27/223.08 c #Conflicts: 332000 | #Constraints: 22151
222.27/223.08 c #Conflicts: 333000 | #Constraints: 23170
222.27/223.08 c INPROCESSING
222.27/223.08 c GARBAGE COLLECT
222.27/223.08 c rational objective 14.1652
234.63/235.48 c #Conflicts: 334000 | #Constraints: 12611
234.63/235.48 c #Conflicts: 335000 | #Constraints: 13615
234.63/235.48 c #Conflicts: 336000 | #Constraints: 14619
234.63/235.48 c #Conflicts: 337000 | #Constraints: 15621
234.63/235.48 c #Conflicts: 338000 | #Constraints: 16622
234.63/235.48 c #Conflicts: 339000 | #Constraints: 17623
234.63/235.48 c #Conflicts: 340000 | #Constraints: 18626
234.63/235.48 c #Conflicts: 341000 | #Constraints: 19632
234.63/235.48 c #Conflicts: 342000 | #Constraints: 20633
234.63/235.48 c #Conflicts: 343000 | #Constraints: 21635
234.63/235.48 c #Conflicts: 344000 | #Constraints: 22641
234.63/235.48 c #Conflicts: 345000 | #Constraints: 23642
234.63/235.48 c INPROCESSING
234.63/235.48 c GARBAGE COLLECT
234.63/235.48 c rational objective 14.1652
243.50/244.35 c #Conflicts: 346000 | #Constraints: 12968
243.50/244.35 c #Conflicts: 347000 | #Constraints: 13981
243.50/244.35 c #Conflicts: 348000 | #Constraints: 14994
243.50/244.35 c #Conflicts: 349000 | #Constraints: 16017
243.50/244.35 c #Conflicts: 350000 | #Constraints: 17027
243.50/244.35 c #Conflicts: 351000 | #Constraints: 18047
243.50/244.35 c #Conflicts: 352000 | #Constraints: 19058
243.50/244.35 c #Conflicts: 353000 | #Constraints: 20076
243.50/244.35 c #Conflicts: 354000 | #Constraints: 21087
243.50/244.35 c #Conflicts: 355000 | #Constraints: 22093
243.50/244.35 c #Conflicts: 356000 | #Constraints: 23104
243.50/244.35 c #Conflicts: 357000 | #Constraints: 24112
243.50/244.35 c INPROCESSING
243.50/244.35 c GARBAGE COLLECT
243.50/244.35 c rational objective 14.1652
255.86/256.74 c #Conflicts: 358000 | #Constraints: 13181
255.86/256.74 c #Conflicts: 359000 | #Constraints: 14197
255.86/256.74 c #Conflicts: 360000 | #Constraints: 15199
255.86/256.74 c #Conflicts: 361000 | #Constraints: 16201
255.86/256.74 c #Conflicts: 362000 | #Constraints: 17202
255.86/256.74 c #Conflicts: 363000 | #Constraints: 18204
255.86/256.74 c #Conflicts: 364000 | #Constraints: 19206
255.86/256.74 c #Conflicts: 365000 | #Constraints: 20209
255.86/256.74 c #Conflicts: 366000 | #Constraints: 21211
255.86/256.74 c #Conflicts: 367000 | #Constraints: 22215
255.86/256.74 c #Conflicts: 368000 | #Constraints: 23220
255.86/256.74 c #Conflicts: 369000 | #Constraints: 24222
255.86/256.74 c INPROCESSING
255.86/256.74 c GARBAGE COLLECT
255.86/256.74 c rational objective 14.1652
265.23/266.14 c #Conflicts: 370000 | #Constraints: 13150
265.23/266.14 c #Conflicts: 371000 | #Constraints: 14167
265.23/266.14 c #Conflicts: 372000 | #Constraints: 15178
265.23/266.14 c #Conflicts: 373000 | #Constraints: 16197
265.23/266.14 c #Conflicts: 374000 | #Constraints: 17217
265.23/266.14 c #Conflicts: 375000 | #Constraints: 18238
265.23/266.14 c #Conflicts: 376000 | #Constraints: 19253
265.23/266.14 c #Conflicts: 377000 | #Constraints: 20267
265.23/266.14 c #Conflicts: 378000 | #Constraints: 21280
265.23/266.14 c #Conflicts: 379000 | #Constraints: 22290
265.23/266.14 c #Conflicts: 380000 | #Constraints: 23298
265.23/266.14 c #Conflicts: 381000 | #Constraints: 24309
265.23/266.14 c INPROCESSING
265.23/266.14 c GARBAGE COLLECT
265.23/266.14 c rational objective 14.1652
274.39/275.37 c #Conflicts: 382000 | #Constraints: 12978
274.39/275.37 c #Conflicts: 383000 | #Constraints: 13994
274.39/275.37 c #Conflicts: 384000 | #Constraints: 15008
274.39/275.37 c #Conflicts: 385000 | #Constraints: 16019
274.39/275.37 c #Conflicts: 386000 | #Constraints: 17037
274.39/275.37 c #Conflicts: 387000 | #Constraints: 18051
274.39/275.37 c #Conflicts: 388000 | #Constraints: 19059
274.39/275.37 c #Conflicts: 389000 | #Constraints: 20071
274.39/275.37 c #Conflicts: 390000 | #Constraints: 21083
274.39/275.37 c #Conflicts: 391000 | #Constraints: 22089
274.39/275.37 c #Conflicts: 392000 | #Constraints: 23096
274.39/275.37 c #Conflicts: 393000 | #Constraints: 24108
274.39/275.37 c #Conflicts: 394000 | #Constraints: 25122
274.39/275.37 c INPROCESSING
274.39/275.37 c GARBAGE COLLECT
274.39/275.37 c rational objective 14.1652
288.55/289.51 c #Conflicts: 395000 | #Constraints: 13587
288.55/289.51 c #Conflicts: 396000 | #Constraints: 14590
288.55/289.51 c #Conflicts: 397000 | #Constraints: 15598
288.55/289.51 c #Conflicts: 398000 | #Constraints: 16603
288.55/289.51 c #Conflicts: 399000 | #Constraints: 17603
288.55/289.51 c #Conflicts: 400000 | #Constraints: 18605
288.55/289.51 c #Conflicts: 401000 | #Constraints: 19609
288.55/289.51 c #Conflicts: 402000 | #Constraints: 20612
288.55/289.51 c #Conflicts: 403000 | #Constraints: 21616
288.55/289.51 c #Conflicts: 404000 | #Constraints: 22620
288.55/289.51 c #Conflicts: 405000 | #Constraints: 23622
288.55/289.51 c #Conflicts: 406000 | #Constraints: 24624
288.55/289.51 c #Conflicts: 407000 | #Constraints: 25627
288.55/289.51 c INPROCESSING
288.55/289.51 c GARBAGE COLLECT
288.55/289.51 c rational objective 14.1652
298.42/299.41 c #Conflicts: 408000 | #Constraints: 13938
298.42/299.41 c #Conflicts: 409000 | #Constraints: 14957
298.42/299.41 c #Conflicts: 410000 | #Constraints: 15968
298.42/299.41 c #Conflicts: 411000 | #Constraints: 16980
298.42/299.41 c #Conflicts: 412000 | #Constraints: 17989
298.42/299.41 c #Conflicts: 413000 | #Constraints: 19007
298.42/299.41 c #Conflicts: 414000 | #Constraints: 20019
298.42/299.41 c #Conflicts: 415000 | #Constraints: 21032
298.42/299.41 c #Conflicts: 416000 | #Constraints: 22049
298.42/299.41 c #Conflicts: 417000 | #Constraints: 23063
298.42/299.41 c #Conflicts: 418000 | #Constraints: 24085
298.42/299.41 c #Conflicts: 419000 | #Constraints: 25100
298.42/299.41 c #Conflicts: 420000 | #Constraints: 26115
298.42/299.41 c INPROCESSING
298.42/299.41 c GARBAGE COLLECT
298.42/299.41 c rational objective 14.1652
311.77/312.89 c #Conflicts: 421000 | #Constraints: 14198
311.77/312.89 c #Conflicts: 422000 | #Constraints: 15214
311.77/312.89 c #Conflicts: 423000 | #Constraints: 16225
311.77/312.89 c #Conflicts: 424000 | #Constraints: 17230
311.77/312.89 c #Conflicts: 425000 | #Constraints: 18238
311.77/312.89 c #Conflicts: 426000 | #Constraints: 19244
311.77/312.89 c #Conflicts: 427000 | #Constraints: 20247
311.77/312.89 c #Conflicts: 428000 | #Constraints: 21253
311.77/312.89 c #Conflicts: 429000 | #Constraints: 22258
311.77/312.89 c #Conflicts: 430000 | #Constraints: 23269
311.77/312.89 c #Conflicts: 431000 | #Constraints: 24277
311.77/312.89 c #Conflicts: 432000 | #Constraints: 25284
311.77/312.89 c #Conflicts: 433000 | #Constraints: 26292
311.77/312.89 c INPROCESSING
311.77/312.89 c GARBAGE COLLECT
311.77/312.89 c rational objective 14.1652
321.74/322.88 c #Conflicts: 434000 | #Constraints: 14176
321.74/322.88 c #Conflicts: 435000 | #Constraints: 15188
321.74/322.88 c #Conflicts: 436000 | #Constraints: 16199
321.74/322.88 c #Conflicts: 437000 | #Constraints: 17216
321.74/322.88 c #Conflicts: 438000 | #Constraints: 18236
321.74/322.88 c #Conflicts: 439000 | #Constraints: 19255
321.74/322.88 c #Conflicts: 440000 | #Constraints: 20276
321.74/322.88 c #Conflicts: 441000 | #Constraints: 21304
321.74/322.88 c #Conflicts: 442000 | #Constraints: 22320
321.74/322.88 c #Conflicts: 443000 | #Constraints: 23329
321.74/322.88 c #Conflicts: 444000 | #Constraints: 24353
321.74/322.88 c #Conflicts: 445000 | #Constraints: 25369
321.74/322.88 c #Conflicts: 446000 | #Constraints: 26383
321.74/322.88 c INPROCESSING
321.74/322.88 c GARBAGE COLLECT
321.74/322.88 c rational objective 14.1652
332.31/333.46 c #Conflicts: 447000 | #Constraints: 14034
332.31/333.46 c #Conflicts: 448000 | #Constraints: 15049
332.31/333.46 c #Conflicts: 449000 | #Constraints: 16065
332.31/333.46 c #Conflicts: 450000 | #Constraints: 17075
332.31/333.46 c #Conflicts: 451000 | #Constraints: 18094
332.31/333.46 c #Conflicts: 452000 | #Constraints: 19112
332.31/333.46 c #Conflicts: 453000 | #Constraints: 20127
332.31/333.46 c #Conflicts: 454000 | #Constraints: 21151
332.31/333.46 c #Conflicts: 455000 | #Constraints: 22161
332.31/333.46 c #Conflicts: 456000 | #Constraints: 23177
332.31/333.46 c #Conflicts: 457000 | #Constraints: 24191
332.31/333.46 c #Conflicts: 458000 | #Constraints: 25198
332.31/333.46 c #Conflicts: 459000 | #Constraints: 26217
332.31/333.46 c #Conflicts: 460000 | #Constraints: 27228
332.31/333.46 c INPROCESSING
332.31/333.46 c GARBAGE COLLECT
332.31/333.46 c rational objective 14.1652
353.16/354.38 c #Conflicts: 461000 | #Constraints: 14645
353.16/354.38 c #Conflicts: 462000 | #Constraints: 15650
353.16/354.38 c #Conflicts: 463000 | #Constraints: 16652
353.16/354.38 c #Conflicts: 464000 | #Constraints: 17653
353.16/354.38 c #Conflicts: 465000 | #Constraints: 18653
353.16/354.38 c #Conflicts: 466000 | #Constraints: 19654
353.16/354.38 c #Conflicts: 467000 | #Constraints: 20656
353.16/354.38 c #Conflicts: 468000 | #Constraints: 21658
353.16/354.38 c #Conflicts: 469000 | #Constraints: 22659
353.16/354.38 c #Conflicts: 470000 | #Constraints: 23659
353.16/354.38 c #Conflicts: 471000 | #Constraints: 24661
353.16/354.38 c #Conflicts: 472000 | #Constraints: 25662
353.16/354.38 c #Conflicts: 473000 | #Constraints: 26664
353.16/354.38 c #Conflicts: 474000 | #Constraints: 27664
353.16/354.38 c INPROCESSING
353.16/354.38 c GARBAGE COLLECT
353.16/354.38 c rational objective 14.1652
367.92/369.14 c #Conflicts: 475000 | #Constraints: 14994
367.92/369.14 c #Conflicts: 476000 | #Constraints: 16009
367.92/369.14 c #Conflicts: 477000 | #Constraints: 17026
367.92/369.14 c #Conflicts: 478000 | #Constraints: 18038
367.92/369.14 c #Conflicts: 479000 | #Constraints: 19053
367.92/369.14 c #Conflicts: 480000 | #Constraints: 20061
367.92/369.14 c #Conflicts: 481000 | #Constraints: 21079
367.92/369.14 c #Conflicts: 482000 | #Constraints: 22095
367.92/369.14 c #Conflicts: 483000 | #Constraints: 23112
367.92/369.14 c #Conflicts: 484000 | #Constraints: 24130
367.92/369.14 c #Conflicts: 485000 | #Constraints: 25149
367.92/369.14 c #Conflicts: 486000 | #Constraints: 26162
367.92/369.14 c #Conflicts: 487000 | #Constraints: 27178
367.92/369.14 c #Conflicts: 488000 | #Constraints: 28188
367.92/369.14 c INPROCESSING
367.92/369.14 c GARBAGE COLLECT
367.92/369.14 c rational objective 14.1652
384.36/385.80 c #Conflicts: 489000 | #Constraints: 15216
384.36/385.80 c #Conflicts: 490000 | #Constraints: 16227
384.36/385.80 c #Conflicts: 491000 | #Constraints: 17229
384.36/385.80 c #Conflicts: 492000 | #Constraints: 18235
384.36/385.80 c #Conflicts: 493000 | #Constraints: 19239
384.36/385.80 c #Conflicts: 494000 | #Constraints: 20244
384.36/385.80 c #Conflicts: 495000 | #Constraints: 21250
384.36/385.80 c #Conflicts: 496000 | #Constraints: 22254
384.36/385.80 c #Conflicts: 497000 | #Constraints: 23258
384.36/385.80 c #Conflicts: 498000 | #Constraints: 24261
384.36/385.80 c #Conflicts: 499000 | #Constraints: 25263
384.36/385.80 c #Conflicts: 500000 | #Constraints: 26268
384.36/385.80 c #Conflicts: 501000 | #Constraints: 27269
384.36/385.80 c #Conflicts: 502000 | #Constraints: 28272
384.36/385.80 c INPROCESSING
384.36/385.80 c GARBAGE COLLECT
384.36/385.80 c rational objective 14.1652
398.32/399.89 c #Conflicts: 503000 | #Constraints: 15159
398.32/399.89 c #Conflicts: 504000 | #Constraints: 16172
398.32/399.89 c #Conflicts: 505000 | #Constraints: 17189
398.32/399.89 c #Conflicts: 506000 | #Constraints: 18199
398.32/399.89 c #Conflicts: 507000 | #Constraints: 19213
398.32/399.89 c #Conflicts: 508000 | #Constraints: 20220
398.32/399.89 c #Conflicts: 509000 | #Constraints: 21235
398.32/399.89 c #Conflicts: 510000 | #Constraints: 22250
398.32/399.89 c #Conflicts: 511000 | #Constraints: 23265
398.32/399.89 c #Conflicts: 512000 | #Constraints: 24283
398.32/399.89 c #Conflicts: 513000 | #Constraints: 25295
398.32/399.89 c #Conflicts: 514000 | #Constraints: 26308
398.32/399.89 c #Conflicts: 515000 | #Constraints: 27323
398.32/399.89 c #Conflicts: 516000 | #Constraints: 28341
398.32/399.89 c INPROCESSING
398.32/399.89 c GARBAGE COLLECT
398.32/399.89 c rational objective 14.1652
409.97/411.91 c #Conflicts: 517000 | #Constraints: 14992
409.97/411.91 c #Conflicts: 518000 | #Constraints: 15999
409.97/411.91 c #Conflicts: 519000 | #Constraints: 17012
409.97/411.91 c #Conflicts: 520000 | #Constraints: 18026
409.97/411.91 c #Conflicts: 521000 | #Constraints: 19043
409.97/411.91 c #Conflicts: 522000 | #Constraints: 20048
409.97/411.91 c #Conflicts: 523000 | #Constraints: 21055
409.97/411.91 c #Conflicts: 524000 | #Constraints: 22068
409.97/411.91 c #Conflicts: 525000 | #Constraints: 23074
409.97/411.91 c #Conflicts: 526000 | #Constraints: 24083
409.97/411.91 c #Conflicts: 527000 | #Constraints: 25101
409.97/411.91 c #Conflicts: 528000 | #Constraints: 26113
409.97/411.91 c #Conflicts: 529000 | #Constraints: 27128
409.97/411.91 c #Conflicts: 530000 | #Constraints: 28151
409.97/411.91 c #Conflicts: 531000 | #Constraints: 29173
409.97/411.91 c INPROCESSING
409.97/411.91 c GARBAGE COLLECT
409.97/411.91 c rational objective 14.1652
427.51/429.57 c #Conflicts: 532000 | #Constraints: 15613
427.51/429.57 c #Conflicts: 533000 | #Constraints: 16616
427.51/429.57 c #Conflicts: 534000 | #Constraints: 17619
427.51/429.57 c #Conflicts: 535000 | #Constraints: 18620
427.51/429.57 c #Conflicts: 536000 | #Constraints: 19624
427.51/429.57 c #Conflicts: 537000 | #Constraints: 20626
427.51/429.57 c #Conflicts: 538000 | #Constraints: 21627
427.51/429.57 c #Conflicts: 539000 | #Constraints: 22637
427.51/429.57 c #Conflicts: 540000 | #Constraints: 23637
427.51/429.57 c #Conflicts: 541000 | #Constraints: 24641
427.51/429.57 c #Conflicts: 542000 | #Constraints: 25643
427.51/429.57 c #Conflicts: 543000 | #Constraints: 26645
427.51/429.57 c #Conflicts: 544000 | #Constraints: 27646
427.51/429.57 c #Conflicts: 545000 | #Constraints: 28648
427.51/429.57 c #Conflicts: 546000 | #Constraints: 29653
427.51/429.57 c INPROCESSING
427.51/429.57 c GARBAGE COLLECT
427.51/429.57 c rational objective 14.1652
439.63/442.46 c #Conflicts: 547000 | #Constraints: 15956
439.63/442.46 c #Conflicts: 548000 | #Constraints: 16970
439.63/442.46 c #Conflicts: 549000 | #Constraints: 17982
439.63/442.46 c #Conflicts: 550000 | #Constraints: 18992
439.63/442.46 c #Conflicts: 551000 | #Constraints: 20005
439.63/442.46 c #Conflicts: 552000 | #Constraints: 21018
439.63/442.46 c #Conflicts: 553000 | #Constraints: 22036
439.63/442.46 c #Conflicts: 554000 | #Constraints: 23050
439.63/442.46 c #Conflicts: 555000 | #Constraints: 24066
439.63/442.46 c #Conflicts: 556000 | #Constraints: 25089
439.63/442.46 c #Conflicts: 557000 | #Constraints: 26109
439.63/442.46 c #Conflicts: 558000 | #Constraints: 27125
439.63/442.46 c #Conflicts: 559000 | #Constraints: 28130
439.63/442.46 c #Conflicts: 560000 | #Constraints: 29141
439.63/442.46 c #Conflicts: 561000 | #Constraints: 30156
439.63/442.46 c INPROCESSING
439.63/442.46 c GARBAGE COLLECT
439.63/442.46 c rational objective 14.1652
459.77/462.66 c #Conflicts: 562000 | #Constraints: 16208
459.77/462.66 c #Conflicts: 563000 | #Constraints: 17211
459.77/462.66 c #Conflicts: 564000 | #Constraints: 18213
459.77/462.66 c #Conflicts: 565000 | #Constraints: 19214
459.77/462.66 c #Conflicts: 566000 | #Constraints: 20216
459.77/462.66 c #Conflicts: 567000 | #Constraints: 21217
459.77/462.66 c #Conflicts: 568000 | #Constraints: 22220
459.77/462.66 c #Conflicts: 569000 | #Constraints: 23220
459.77/462.66 c #Conflicts: 570000 | #Constraints: 24221
459.77/462.66 c #Conflicts: 571000 | #Constraints: 25224
459.77/462.66 c #Conflicts: 572000 | #Constraints: 26225
459.77/462.66 c #Conflicts: 573000 | #Constraints: 27231
459.77/462.66 c #Conflicts: 574000 | #Constraints: 28238
459.77/462.66 c #Conflicts: 575000 | #Constraints: 29246
459.77/462.66 c #Conflicts: 576000 | #Constraints: 30250
459.77/462.66 c INPROCESSING
459.77/462.66 c GARBAGE COLLECT
459.77/462.66 c rational objective 14.1652
472.51/475.69 c #Conflicts: 577000 | #Constraints: 16163
472.51/475.69 c #Conflicts: 578000 | #Constraints: 17176
472.51/475.69 c #Conflicts: 579000 | #Constraints: 18184
472.51/475.69 c #Conflicts: 580000 | #Constraints: 19193
472.51/475.69 c #Conflicts: 581000 | #Constraints: 20199
472.51/475.69 c #Conflicts: 582000 | #Constraints: 21214
472.51/475.69 c #Conflicts: 583000 | #Constraints: 22224
472.51/475.69 c #Conflicts: 584000 | #Constraints: 23239
472.51/475.69 c #Conflicts: 585000 | #Constraints: 24251
472.51/475.69 c #Conflicts: 586000 | #Constraints: 25258
472.51/475.69 c #Conflicts: 587000 | #Constraints: 26267
472.51/475.69 c #Conflicts: 588000 | #Constraints: 27283
472.51/475.69 c #Conflicts: 589000 | #Constraints: 28289
472.51/475.69 c #Conflicts: 590000 | #Constraints: 29298
472.51/475.69 c #Conflicts: 591000 | #Constraints: 30303
472.51/475.69 c INPROCESSING
472.51/475.69 c GARBAGE COLLECT
472.51/475.69 c rational objective 14.1652
485.87/489.03 c #Conflicts: 592000 | #Constraints: 15996
485.87/489.03 c #Conflicts: 593000 | #Constraints: 17012
485.87/489.03 c #Conflicts: 594000 | #Constraints: 18021
485.87/489.03 c #Conflicts: 595000 | #Constraints: 19038
485.87/489.03 c #Conflicts: 596000 | #Constraints: 20061
485.87/489.03 c #Conflicts: 597000 | #Constraints: 21074
485.87/489.03 c #Conflicts: 598000 | #Constraints: 22095
485.87/489.03 c #Conflicts: 599000 | #Constraints: 23108
485.87/489.03 c #Conflicts: 600000 | #Constraints: 24124
485.87/489.03 c #Conflicts: 601000 | #Constraints: 25141
485.87/489.03 c #Conflicts: 602000 | #Constraints: 26161
485.87/489.03 c #Conflicts: 603000 | #Constraints: 27172
485.87/489.03 c #Conflicts: 604000 | #Constraints: 28182
485.87/489.03 c #Conflicts: 605000 | #Constraints: 29199
485.87/489.03 c #Conflicts: 606000 | #Constraints: 30216
485.87/489.03 c #Conflicts: 607000 | #Constraints: 31231
485.87/489.03 c INPROCESSING
485.87/489.03 c GARBAGE COLLECT
485.87/489.03 c rational objective 14.1652
505.22/508.47 c #Conflicts: 608000 | #Constraints: 16686
505.22/508.47 c #Conflicts: 609000 | #Constraints: 17688
505.22/508.47 c #Conflicts: 610000 | #Constraints: 18690
505.22/508.47 c #Conflicts: 611000 | #Constraints: 19695
505.22/508.47 c #Conflicts: 612000 | #Constraints: 20699
505.22/508.47 c #Conflicts: 613000 | #Constraints: 21703
505.22/508.47 c #Conflicts: 614000 | #Constraints: 22706
505.22/508.47 c #Conflicts: 615000 | #Constraints: 23713
505.22/508.47 c #Conflicts: 616000 | #Constraints: 24714
505.22/508.47 c #Conflicts: 617000 | #Constraints: 25715
505.22/508.47 c #Conflicts: 618000 | #Constraints: 26717
505.22/508.47 c #Conflicts: 619000 | #Constraints: 27718
505.22/508.47 c #Conflicts: 620000 | #Constraints: 28721
505.22/508.47 c #Conflicts: 621000 | #Constraints: 29724
505.22/508.47 c #Conflicts: 622000 | #Constraints: 30727
505.22/508.47 c #Conflicts: 623000 | #Constraints: 31730
505.22/508.47 c INPROCESSING
505.22/508.47 c GARBAGE COLLECT
505.22/508.47 c rational objective 14.1652
518.38/521.66 c #Conflicts: 624000 | #Constraints: 17009
518.38/521.66 c #Conflicts: 625000 | #Constraints: 18035
518.38/521.66 c #Conflicts: 626000 | #Constraints: 19045
518.38/521.66 c #Conflicts: 627000 | #Constraints: 20058
518.38/521.66 c #Conflicts: 628000 | #Constraints: 21066
518.38/521.66 c #Conflicts: 629000 | #Constraints: 22071
518.38/521.66 c #Conflicts: 630000 | #Constraints: 23077
518.38/521.66 c #Conflicts: 631000 | #Constraints: 24095
518.38/521.66 c #Conflicts: 632000 | #Constraints: 25107
518.38/521.66 c #Conflicts: 633000 | #Constraints: 26118
518.38/521.66 c #Conflicts: 634000 | #Constraints: 27127
518.38/521.66 c #Conflicts: 635000 | #Constraints: 28137
518.38/521.66 c #Conflicts: 636000 | #Constraints: 29145
518.38/521.66 c #Conflicts: 637000 | #Constraints: 30150
518.38/521.66 c #Conflicts: 638000 | #Constraints: 31170
518.38/521.66 c #Conflicts: 639000 | #Constraints: 32182
518.38/521.66 c INPROCESSING
518.38/521.66 c GARBAGE COLLECT
518.38/521.66 c rational objective 14.1652
542.67/546.30 c #Conflicts: 640000 | #Constraints: 17217
542.67/546.30 c #Conflicts: 641000 | #Constraints: 18221
542.67/546.30 c #Conflicts: 642000 | #Constraints: 19223
542.67/546.30 c #Conflicts: 643000 | #Constraints: 20227
542.67/546.30 c #Conflicts: 644000 | #Constraints: 21230
542.67/546.30 c #Conflicts: 645000 | #Constraints: 22234
542.67/546.30 c #Conflicts: 646000 | #Constraints: 23236
542.67/546.30 c #Conflicts: 647000 | #Constraints: 24237
542.67/546.30 c #Conflicts: 648000 | #Constraints: 25240
542.67/546.30 c #Conflicts: 649000 | #Constraints: 26240
542.67/546.30 c #Conflicts: 650000 | #Constraints: 27242
542.67/546.30 c #Conflicts: 651000 | #Constraints: 28244
542.67/546.30 c #Conflicts: 652000 | #Constraints: 29247
542.67/546.30 c #Conflicts: 653000 | #Constraints: 30248
542.67/546.30 c #Conflicts: 654000 | #Constraints: 31249
542.67/546.30 c #Conflicts: 655000 | #Constraints: 32249
542.67/546.30 c INPROCESSING
542.67/546.30 c GARBAGE COLLECT
542.67/546.30 c rational objective 14.1652
557.92/561.83 c #Conflicts: 656000 | #Constraints: 17214
557.92/561.83 c #Conflicts: 657000 | #Constraints: 18233
557.92/561.83 c #Conflicts: 658000 | #Constraints: 19249
557.92/561.83 c #Conflicts: 659000 | #Constraints: 20261
557.92/561.83 c #Conflicts: 660000 | #Constraints: 21277
557.92/561.83 c #Conflicts: 661000 | #Constraints: 22290
557.92/561.83 c #Conflicts: 662000 | #Constraints: 23297
557.92/561.83 c #Conflicts: 663000 | #Constraints: 24305
557.92/561.83 c #Conflicts: 664000 | #Constraints: 25313
557.92/561.83 c #Conflicts: 665000 | #Constraints: 26319
557.92/561.83 c #Conflicts: 666000 | #Constraints: 27329
557.92/561.83 c #Conflicts: 667000 | #Constraints: 28341
557.92/561.83 c #Conflicts: 668000 | #Constraints: 29361
557.92/561.83 c #Conflicts: 669000 | #Constraints: 30368
557.92/561.83 c #Conflicts: 670000 | #Constraints: 31375
557.92/561.83 c #Conflicts: 671000 | #Constraints: 32385
557.92/561.83 c INPROCESSING
557.92/561.83 c GARBAGE COLLECT
557.92/561.83 c rational objective 14.1652
582.75/586.86 c #Conflicts: 672000 | #Constraints: 17040
582.75/586.86 c #Conflicts: 673000 | #Constraints: 18041
582.75/586.86 c #Conflicts: 674000 | #Constraints: 19042
582.75/586.86 c #Conflicts: 675000 | #Constraints: 20045
582.75/586.86 c #Conflicts: 676000 | #Constraints: 21049
582.75/586.86 c #Conflicts: 677000 | #Constraints: 22051
582.75/586.86 c #Conflicts: 678000 | #Constraints: 23052
582.75/586.86 c #Conflicts: 679000 | #Constraints: 24054
582.75/586.86 c #Conflicts: 680000 | #Constraints: 25055
582.75/586.86 c #Conflicts: 681000 | #Constraints: 26058
582.75/586.86 c #Conflicts: 682000 | #Constraints: 27059
582.75/586.86 c #Conflicts: 683000 | #Constraints: 28063
582.75/586.86 c #Conflicts: 684000 | #Constraints: 29069
582.75/586.86 c #Conflicts: 685000 | #Constraints: 30072
582.75/586.86 c #Conflicts: 686000 | #Constraints: 31074
582.75/586.86 c #Conflicts: 687000 | #Constraints: 32076
582.75/586.86 c #Conflicts: 688000 | #Constraints: 33077
582.75/586.86 c INPROCESSING
582.75/586.86 c GARBAGE COLLECT
582.75/586.86 c rational objective 14.1653
598.20/602.32 c #Conflicts: 689000 | #Constraints: 17570
598.20/602.32 c #Conflicts: 690000 | #Constraints: 18585
598.20/602.32 c #Conflicts: 691000 | #Constraints: 19591
598.20/602.32 c #Conflicts: 692000 | #Constraints: 20596
598.20/602.32 c #Conflicts: 693000 | #Constraints: 21599
598.20/602.32 c #Conflicts: 694000 | #Constraints: 22609
598.20/602.32 c #Conflicts: 695000 | #Constraints: 23628
598.20/602.32 c #Conflicts: 696000 | #Constraints: 24647
598.20/602.32 c #Conflicts: 697000 | #Constraints: 25662
598.20/602.32 c #Conflicts: 698000 | #Constraints: 26677
598.20/602.32 c #Conflicts: 699000 | #Constraints: 27690
598.20/602.32 c #Conflicts: 700000 | #Constraints: 28707
598.20/602.32 c #Conflicts: 701000 | #Constraints: 29730
598.20/602.32 c #Conflicts: 702000 | #Constraints: 30742
598.20/602.32 c #Conflicts: 703000 | #Constraints: 31767
598.20/602.32 c #Conflicts: 704000 | #Constraints: 32792
598.20/602.32 c #Conflicts: 705000 | #Constraints: 33808
598.20/602.32 c INPROCESSING
598.20/602.32 c GARBAGE COLLECT
598.20/602.32 c rational objective 14.1653
613.25/617.43 c #Conflicts: 706000 | #Constraints: 18034
613.25/617.43 c #Conflicts: 707000 | #Constraints: 19047
613.25/617.43 c #Conflicts: 708000 | #Constraints: 20067
613.25/617.43 c #Conflicts: 709000 | #Constraints: 21073
613.25/617.43 c #Conflicts: 710000 | #Constraints: 22085
613.25/617.43 c #Conflicts: 711000 | #Constraints: 23098
613.25/617.43 c #Conflicts: 712000 | #Constraints: 24108
613.25/617.43 c #Conflicts: 713000 | #Constraints: 25121
613.25/617.43 c #Conflicts: 714000 | #Constraints: 26137
613.25/617.43 c #Conflicts: 715000 | #Constraints: 27161
613.25/617.43 c #Conflicts: 716000 | #Constraints: 28172
613.25/617.43 c #Conflicts: 717000 | #Constraints: 29188
613.25/617.43 c #Conflicts: 718000 | #Constraints: 30203
613.25/617.43 c #Conflicts: 719000 | #Constraints: 31229
613.25/617.43 c #Conflicts: 720000 | #Constraints: 32243
613.25/617.43 c #Conflicts: 721000 | #Constraints: 33264
613.25/617.43 c bounds 17 >= 13 @ 601.657
614.15/618.31 c #Conflicts: 722000 | #Constraints: 34279
614.15/618.31 c INPROCESSING
614.15/618.31 c GARBAGE COLLECT
614.15/618.31 c rational objective 14.1653
649.24/653.73 c #Conflicts: 723000 | #Constraints: 18274
649.24/653.73 c #Conflicts: 724000 | #Constraints: 19287
649.24/653.73 c #Conflicts: 725000 | #Constraints: 20290
649.24/653.73 c #Conflicts: 726000 | #Constraints: 21291
649.24/653.73 c #Conflicts: 727000 | #Constraints: 22293
649.24/653.73 c #Conflicts: 728000 | #Constraints: 23298
649.24/653.73 c #Conflicts: 729000 | #Constraints: 24302
649.24/653.73 c #Conflicts: 730000 | #Constraints: 25303
649.24/653.73 c #Conflicts: 731000 | #Constraints: 26305
649.24/653.73 c #Conflicts: 732000 | #Constraints: 27307
649.24/653.73 c #Conflicts: 733000 | #Constraints: 28307
649.24/653.73 c #Conflicts: 734000 | #Constraints: 29312
649.24/653.73 c #Conflicts: 735000 | #Constraints: 30315
649.24/653.73 c #Conflicts: 736000 | #Constraints: 31318
649.24/653.73 c #Conflicts: 737000 | #Constraints: 32322
649.24/653.73 c #Conflicts: 738000 | #Constraints: 33326
649.24/653.73 c #Conflicts: 739000 | #Constraints: 34330
649.24/653.73 c INPROCESSING
649.24/653.73 c GARBAGE COLLECT
649.24/653.73 c rational objective 14.1653
666.60/671.16 c #Conflicts: 740000 | #Constraints: 18203
666.60/671.16 c #Conflicts: 741000 | #Constraints: 19221
666.60/671.16 c #Conflicts: 742000 | #Constraints: 20236
666.60/671.16 c #Conflicts: 743000 | #Constraints: 21248
666.60/671.16 c #Conflicts: 744000 | #Constraints: 22265
666.60/671.16 c #Conflicts: 745000 | #Constraints: 23283
666.60/671.16 c #Conflicts: 746000 | #Constraints: 24296
666.60/671.16 c #Conflicts: 747000 | #Constraints: 25310
666.60/671.16 c #Conflicts: 748000 | #Constraints: 26323
666.60/671.16 c #Conflicts: 749000 | #Constraints: 27334
666.60/671.16 c #Conflicts: 750000 | #Constraints: 28351
666.60/671.16 c #Conflicts: 751000 | #Constraints: 29370
666.60/671.16 c #Conflicts: 752000 | #Constraints: 30380
666.60/671.16 c #Conflicts: 753000 | #Constraints: 31396
666.60/671.16 c #Conflicts: 754000 | #Constraints: 32405
666.60/671.16 c #Conflicts: 755000 | #Constraints: 33415
666.60/671.16 c #Conflicts: 756000 | #Constraints: 34426
666.60/671.16 c INPROCESSING
666.60/671.16 c GARBAGE COLLECT
666.60/671.16 c rational objective 14.1653
684.34/689.34 c #Conflicts: 757000 | #Constraints: 18037
684.34/689.34 c #Conflicts: 758000 | #Constraints: 19053
684.34/689.34 c #Conflicts: 759000 | #Constraints: 20072
684.34/689.34 c #Conflicts: 760000 | #Constraints: 21086
684.34/689.34 c #Conflicts: 761000 | #Constraints: 22103
684.34/689.34 c #Conflicts: 762000 | #Constraints: 23115
684.34/689.34 c #Conflicts: 763000 | #Constraints: 24134
684.34/689.34 c #Conflicts: 764000 | #Constraints: 25142
684.34/689.34 c #Conflicts: 765000 | #Constraints: 26149
684.34/689.34 c #Conflicts: 766000 | #Constraints: 27154
684.34/689.34 c #Conflicts: 767000 | #Constraints: 28160
684.34/689.34 c #Conflicts: 768000 | #Constraints: 29167
684.34/689.34 c #Conflicts: 769000 | #Constraints: 30179
684.34/689.34 c #Conflicts: 770000 | #Constraints: 31193
684.34/689.34 c #Conflicts: 771000 | #Constraints: 32206
684.34/689.34 c #Conflicts: 772000 | #Constraints: 33214
684.34/689.34 c #Conflicts: 773000 | #Constraints: 34224
684.34/689.34 c #Conflicts: 774000 | #Constraints: 35234
684.34/689.34 c INPROCESSING
684.34/689.34 c GARBAGE COLLECT
684.34/689.34 c rational objective 14.1653
709.09/714.43 c #Conflicts: 775000 | #Constraints: 18654
709.09/714.43 c #Conflicts: 776000 | #Constraints: 19660
709.09/714.43 c #Conflicts: 777000 | #Constraints: 20663
709.09/714.43 c #Conflicts: 778000 | #Constraints: 21666
709.09/714.43 c #Conflicts: 779000 | #Constraints: 22670
709.09/714.43 c #Conflicts: 780000 | #Constraints: 23677
709.09/714.43 c #Conflicts: 781000 | #Constraints: 24685
709.09/714.43 c #Conflicts: 782000 | #Constraints: 25693
709.09/714.43 c #Conflicts: 783000 | #Constraints: 26701
709.09/714.43 c #Conflicts: 784000 | #Constraints: 27708
709.09/714.43 c #Conflicts: 785000 | #Constraints: 28720
709.09/714.43 c #Conflicts: 786000 | #Constraints: 29727
709.09/714.43 c #Conflicts: 787000 | #Constraints: 30731
709.09/714.43 c #Conflicts: 788000 | #Constraints: 31738
709.09/714.43 c #Conflicts: 789000 | #Constraints: 32746
709.09/714.43 c #Conflicts: 790000 | #Constraints: 33753
709.09/714.43 c #Conflicts: 791000 | #Constraints: 34758
709.09/714.43 c #Conflicts: 792000 | #Constraints: 35775
709.09/714.43 c INPROCESSING
709.09/714.43 c GARBAGE COLLECT
709.09/714.43 c rational objective 14.1653
726.64/732.05 c #Conflicts: 793000 | #Constraints: 19036
726.64/732.05 c #Conflicts: 794000 | #Constraints: 20046
726.64/732.05 c #Conflicts: 795000 | #Constraints: 21062
726.64/732.05 c #Conflicts: 796000 | #Constraints: 22083
726.64/732.05 c #Conflicts: 797000 | #Constraints: 23097
726.64/732.05 c #Conflicts: 798000 | #Constraints: 24105
726.64/732.05 c #Conflicts: 799000 | #Constraints: 25113
726.64/732.05 c #Conflicts: 800000 | #Constraints: 26132
726.64/732.05 c #Conflicts: 801000 | #Constraints: 27145
726.64/732.05 c #Conflicts: 802000 | #Constraints: 28153
726.64/732.05 c #Conflicts: 803000 | #Constraints: 29164
726.64/732.05 c #Conflicts: 804000 | #Constraints: 30174
726.64/732.05 c #Conflicts: 805000 | #Constraints: 31190
726.64/732.05 c #Conflicts: 806000 | #Constraints: 32201
726.64/732.05 c #Conflicts: 807000 | #Constraints: 33219
726.64/732.05 c #Conflicts: 808000 | #Constraints: 34232
726.64/732.05 c #Conflicts: 809000 | #Constraints: 35241
726.64/732.05 c #Conflicts: 810000 | #Constraints: 36248
726.64/732.05 c INPROCESSING
726.64/732.05 c GARBAGE COLLECT
726.64/732.05 c rational objective 14.1653
751.99/757.86 c #Conflicts: 811000 | #Constraints: 19276
751.99/757.86 c #Conflicts: 812000 | #Constraints: 20277
751.99/757.86 c #Conflicts: 813000 | #Constraints: 21282
751.99/757.86 c #Conflicts: 814000 | #Constraints: 22293
751.99/757.86 c #Conflicts: 815000 | #Constraints: 23298
751.99/757.86 c #Conflicts: 816000 | #Constraints: 24304
751.99/757.86 c #Conflicts: 817000 | #Constraints: 25311
751.99/757.86 c #Conflicts: 818000 | #Constraints: 26316
751.99/757.86 c #Conflicts: 819000 | #Constraints: 27335
751.99/757.86 c #Conflicts: 820000 | #Constraints: 28345
751.99/757.86 c #Conflicts: 821000 | #Constraints: 29352
751.99/757.86 c #Conflicts: 822000 | #Constraints: 30362
751.99/757.86 c #Conflicts: 823000 | #Constraints: 31370
751.99/757.86 c #Conflicts: 824000 | #Constraints: 32373
751.99/757.86 c #Conflicts: 825000 | #Constraints: 33379
751.99/757.86 c #Conflicts: 826000 | #Constraints: 34382
751.99/757.86 c #Conflicts: 827000 | #Constraints: 35391
751.99/757.86 c #Conflicts: 828000 | #Constraints: 36394
751.99/757.86 c INPROCESSING
751.99/757.86 c GARBAGE COLLECT
751.99/757.86 c rational objective 14.1653
770.21/776.34 c #Conflicts: 829000 | #Constraints: 19260
770.21/776.34 c #Conflicts: 830000 | #Constraints: 20283
770.21/776.34 c #Conflicts: 831000 | #Constraints: 21303
770.21/776.34 c #Conflicts: 832000 | #Constraints: 22317
770.21/776.34 c #Conflicts: 833000 | #Constraints: 23341
770.21/776.34 c #Conflicts: 834000 | #Constraints: 24359
770.21/776.34 c #Conflicts: 835000 | #Constraints: 25379
770.21/776.34 c #Conflicts: 836000 | #Constraints: 26397
770.21/776.34 c #Conflicts: 837000 | #Constraints: 27412
770.21/776.34 c #Conflicts: 838000 | #Constraints: 28428
770.21/776.34 c #Conflicts: 839000 | #Constraints: 29447
770.21/776.34 c #Conflicts: 840000 | #Constraints: 30460
770.21/776.34 c #Conflicts: 841000 | #Constraints: 31470
770.21/776.34 c #Conflicts: 842000 | #Constraints: 32489
770.21/776.34 c #Conflicts: 843000 | #Constraints: 33501
770.21/776.34 c #Conflicts: 844000 | #Constraints: 34517
770.21/776.34 c #Conflicts: 845000 | #Constraints: 35531
770.21/776.34 c #Conflicts: 846000 | #Constraints: 36551
770.21/776.34 c INPROCESSING
770.21/776.34 c GARBAGE COLLECT
770.21/776.34 c rational objective 14.1653
795.57/801.92 c #Conflicts: 847000 | #Constraints: 19103
795.57/801.92 c #Conflicts: 848000 | #Constraints: 20103
795.57/801.92 c #Conflicts: 849000 | #Constraints: 21106
795.57/801.92 c #Conflicts: 850000 | #Constraints: 22112
795.57/801.92 c #Conflicts: 851000 | #Constraints: 23120
795.57/801.92 c #Conflicts: 852000 | #Constraints: 24131
795.57/801.92 c #Conflicts: 853000 | #Constraints: 25134
795.57/801.92 c #Conflicts: 854000 | #Constraints: 26137
795.57/801.92 c #Conflicts: 855000 | #Constraints: 27141
795.57/801.92 c #Conflicts: 856000 | #Constraints: 28148
795.57/801.92 c #Conflicts: 857000 | #Constraints: 29153
795.57/801.92 c #Conflicts: 858000 | #Constraints: 30160
795.57/801.92 c #Conflicts: 859000 | #Constraints: 31167
795.57/801.92 c #Conflicts: 860000 | #Constraints: 32178
795.57/801.92 c #Conflicts: 861000 | #Constraints: 33181
795.57/801.92 c #Conflicts: 862000 | #Constraints: 34188
795.57/801.92 c #Conflicts: 863000 | #Constraints: 35193
795.57/801.92 c #Conflicts: 864000 | #Constraints: 36201
795.57/801.92 c #Conflicts: 865000 | #Constraints: 37209
795.57/801.92 c INPROCESSING
795.57/801.92 c GARBAGE COLLECT
795.57/801.92 c rational objective 14.1653
814.23/820.66 c #Conflicts: 866000 | #Constraints: 19651
814.23/820.66 c #Conflicts: 867000 | #Constraints: 20658
814.23/820.66 c #Conflicts: 868000 | #Constraints: 21667
814.23/820.66 c #Conflicts: 869000 | #Constraints: 22678
814.23/820.66 c #Conflicts: 870000 | #Constraints: 23683
814.23/820.66 c #Conflicts: 871000 | #Constraints: 24688
814.23/820.66 c #Conflicts: 872000 | #Constraints: 25695
814.23/820.66 c #Conflicts: 873000 | #Constraints: 26705
814.23/820.66 c #Conflicts: 874000 | #Constraints: 27711
814.23/820.66 c #Conflicts: 875000 | #Constraints: 28717
814.23/820.66 c #Conflicts: 876000 | #Constraints: 29725
814.23/820.66 c #Conflicts: 877000 | #Constraints: 30736
814.23/820.66 c #Conflicts: 878000 | #Constraints: 31743
814.23/820.66 c #Conflicts: 879000 | #Constraints: 32753
814.23/820.66 c #Conflicts: 880000 | #Constraints: 33762
814.23/820.66 c #Conflicts: 881000 | #Constraints: 34774
814.23/820.66 c #Conflicts: 882000 | #Constraints: 35791
814.23/820.66 c #Conflicts: 883000 | #Constraints: 36815
814.23/820.66 c #Conflicts: 884000 | #Constraints: 37828
814.23/820.66 c INPROCESSING
814.23/820.66 c GARBAGE COLLECT
814.23/820.66 c rational objective 14.1653
833.58/840.02 c #Conflicts: 885000 | #Constraints: 20041
833.58/840.02 c #Conflicts: 886000 | #Constraints: 21051
833.58/840.02 c #Conflicts: 887000 | #Constraints: 22062
833.58/840.02 c #Conflicts: 888000 | #Constraints: 23072
833.58/840.02 c #Conflicts: 889000 | #Constraints: 24084
833.58/840.02 c #Conflicts: 890000 | #Constraints: 25095
833.58/840.02 c #Conflicts: 891000 | #Constraints: 26114
833.58/840.02 c #Conflicts: 892000 | #Constraints: 27122
833.58/840.02 c #Conflicts: 893000 | #Constraints: 28127
833.58/840.02 c #Conflicts: 894000 | #Constraints: 29136
833.58/840.02 c #Conflicts: 895000 | #Constraints: 30143
833.58/840.02 c #Conflicts: 896000 | #Constraints: 31149
833.58/840.02 c #Conflicts: 897000 | #Constraints: 32153
833.58/840.02 c #Conflicts: 898000 | #Constraints: 33158
833.58/840.02 c #Conflicts: 899000 | #Constraints: 34176
833.58/840.02 c #Conflicts: 900000 | #Constraints: 35181
833.58/840.02 c #Conflicts: 901000 | #Constraints: 36186
833.58/840.02 c #Conflicts: 902000 | #Constraints: 37196
833.58/840.02 c #Conflicts: 903000 | #Constraints: 38203
833.58/840.02 c INPROCESSING
833.58/840.02 c GARBAGE COLLECT
833.58/840.02 c rational objective 14.1653
858.01/864.54 c #Conflicts: 904000 | #Constraints: 20235
858.01/864.54 c #Conflicts: 905000 | #Constraints: 21248
858.01/864.54 c #Conflicts: 906000 | #Constraints: 22253
858.01/864.54 c #Conflicts: 907000 | #Constraints: 23258
858.01/864.54 c #Conflicts: 908000 | #Constraints: 24266
858.01/864.54 c #Conflicts: 909000 | #Constraints: 25271
858.01/864.54 c #Conflicts: 910000 | #Constraints: 26276
858.01/864.54 c #Conflicts: 911000 | #Constraints: 27281
858.01/864.54 c #Conflicts: 912000 | #Constraints: 28292
858.01/864.54 c #Conflicts: 913000 | #Constraints: 29302
858.01/864.54 c #Conflicts: 914000 | #Constraints: 30311
858.01/864.54 c #Conflicts: 915000 | #Constraints: 31317
858.01/864.54 c #Conflicts: 916000 | #Constraints: 32321
858.01/864.54 c #Conflicts: 917000 | #Constraints: 33329
858.01/864.54 c #Conflicts: 918000 | #Constraints: 34332
858.01/864.54 c #Conflicts: 919000 | #Constraints: 35335
858.01/864.54 c #Conflicts: 920000 | #Constraints: 36349
858.01/864.54 c #Conflicts: 921000 | #Constraints: 37358
858.01/864.54 c #Conflicts: 922000 | #Constraints: 38366
858.01/864.54 c INPROCESSING
858.01/864.54 c GARBAGE COLLECT
858.01/864.54 c rational objective 14.1653
877.75/884.36 c #Conflicts: 923000 | #Constraints: 20209
877.75/884.36 c #Conflicts: 924000 | #Constraints: 21218
877.75/884.36 c #Conflicts: 925000 | #Constraints: 22230
877.75/884.36 c #Conflicts: 926000 | #Constraints: 23245
877.75/884.36 c #Conflicts: 927000 | #Constraints: 24263
877.75/884.36 c #Conflicts: 928000 | #Constraints: 25272
877.75/884.36 c #Conflicts: 929000 | #Constraints: 26287
877.75/884.36 c #Conflicts: 930000 | #Constraints: 27297
877.75/884.36 c #Conflicts: 931000 | #Constraints: 28315
877.75/884.36 c #Conflicts: 932000 | #Constraints: 29328
877.75/884.36 c #Conflicts: 933000 | #Constraints: 30336
877.75/884.36 c #Conflicts: 934000 | #Constraints: 31351
877.75/884.36 c #Conflicts: 935000 | #Constraints: 32364
877.75/884.36 c #Conflicts: 936000 | #Constraints: 33382
877.75/884.36 c #Conflicts: 937000 | #Constraints: 34388
877.75/884.36 c #Conflicts: 938000 | #Constraints: 35403
877.75/884.36 c #Conflicts: 939000 | #Constraints: 36416
877.75/884.36 c #Conflicts: 940000 | #Constraints: 37431
877.75/884.36 c #Conflicts: 941000 | #Constraints: 38448
877.75/884.36 c INPROCESSING
877.75/884.36 c GARBAGE COLLECT
877.75/884.36 c rational objective 14.1653
898.69/905.33 c #Conflicts: 942000 | #Constraints: 20086
898.69/905.33 c #Conflicts: 943000 | #Constraints: 21109
898.69/905.33 c #Conflicts: 944000 | #Constraints: 22128
898.69/905.33 c #Conflicts: 945000 | #Constraints: 23145
898.69/905.33 c #Conflicts: 946000 | #Constraints: 24163
898.69/905.33 c #Conflicts: 947000 | #Constraints: 25179
898.69/905.33 c #Conflicts: 948000 | #Constraints: 26195
898.69/905.33 c #Conflicts: 949000 | #Constraints: 27207
898.69/905.33 c #Conflicts: 950000 | #Constraints: 28220
898.69/905.33 c #Conflicts: 951000 | #Constraints: 29230
898.69/905.33 c #Conflicts: 952000 | #Constraints: 30243
898.69/905.33 c #Conflicts: 953000 | #Constraints: 31261
898.69/905.33 c #Conflicts: 954000 | #Constraints: 32275
898.69/905.33 c #Conflicts: 955000 | #Constraints: 33291
898.69/905.33 c #Conflicts: 956000 | #Constraints: 34299
898.69/905.33 c #Conflicts: 957000 | #Constraints: 35316
898.69/905.33 c #Conflicts: 958000 | #Constraints: 36326
898.69/905.33 c #Conflicts: 959000 | #Constraints: 37334
898.69/905.33 c #Conflicts: 960000 | #Constraints: 38342
898.69/905.33 c #Conflicts: 961000 | #Constraints: 39353
898.69/905.33 c INPROCESSING
898.69/905.33 c GARBAGE COLLECT
898.69/905.33 c rational objective 14.1653
919.63/926.37 c #Conflicts: 962000 | #Constraints: 20719
919.63/926.37 c #Conflicts: 963000 | #Constraints: 21727
919.63/926.37 c #Conflicts: 964000 | #Constraints: 22736
919.63/926.37 c #Conflicts: 965000 | #Constraints: 23749
919.63/926.37 c #Conflicts: 966000 | #Constraints: 24770
919.63/926.37 c #Conflicts: 967000 | #Constraints: 25786
919.63/926.37 c #Conflicts: 968000 | #Constraints: 26803
919.63/926.37 c #Conflicts: 969000 | #Constraints: 27819
919.63/926.37 c #Conflicts: 970000 | #Constraints: 28832
919.63/926.37 c #Conflicts: 971000 | #Constraints: 29842
919.63/926.37 c #Conflicts: 972000 | #Constraints: 30857
919.63/926.37 c #Conflicts: 973000 | #Constraints: 31868
919.63/926.37 c #Conflicts: 974000 | #Constraints: 32884
919.63/926.37 c #Conflicts: 975000 | #Constraints: 33893
919.63/926.37 c #Conflicts: 976000 | #Constraints: 34908
919.63/926.37 c #Conflicts: 977000 | #Constraints: 35919
919.63/926.37 c #Conflicts: 978000 | #Constraints: 36943
919.63/926.37 c #Conflicts: 979000 | #Constraints: 37955
919.63/926.37 c #Conflicts: 980000 | #Constraints: 38966
919.63/926.37 c #Conflicts: 981000 | #Constraints: 39981
919.63/926.37 c INPROCESSING
919.63/926.37 c GARBAGE COLLECT
919.63/926.37 c rational objective 14.1653
939.77/946.57 c #Conflicts: 982000 | #Constraints: 21190
939.77/946.57 c #Conflicts: 983000 | #Constraints: 22208
939.77/946.57 c #Conflicts: 984000 | #Constraints: 23228
939.77/946.57 c #Conflicts: 985000 | #Constraints: 24242
939.77/946.57 c #Conflicts: 986000 | #Constraints: 25252
939.77/946.57 c #Conflicts: 987000 | #Constraints: 26262
939.77/946.57 c #Conflicts: 988000 | #Constraints: 27270
939.77/946.57 c #Conflicts: 989000 | #Constraints: 28279
939.77/946.57 c #Conflicts: 990000 | #Constraints: 29287
939.77/946.57 c #Conflicts: 991000 | #Constraints: 30296
939.77/946.57 c #Conflicts: 992000 | #Constraints: 31305
939.77/946.57 c #Conflicts: 993000 | #Constraints: 32314
939.77/946.57 c #Conflicts: 994000 | #Constraints: 33322
939.77/946.57 c #Conflicts: 995000 | #Constraints: 34331
939.77/946.57 c #Conflicts: 996000 | #Constraints: 35338
939.77/946.57 c #Conflicts: 997000 | #Constraints: 36347
939.77/946.57 c #Conflicts: 998000 | #Constraints: 37355
939.77/946.57 c #Conflicts: 999000 | #Constraints: 38366
939.77/946.57 c #Conflicts: 1000000 | #Constraints: 39374
939.77/946.57 c #Conflicts: 1001000 | #Constraints: 40387
939.77/946.57 c INPROCESSING
939.77/946.57 c GARBAGE COLLECT
939.77/946.57 c rational objective 14.1654
962.40/969.22 c #Conflicts: 1002000 | #Constraints: 21453
962.40/969.22 c #Conflicts: 1003000 | #Constraints: 22460
962.40/969.22 c #Conflicts: 1004000 | #Constraints: 23474
962.40/969.22 c #Conflicts: 1005000 | #Constraints: 24488
962.40/969.22 c #Conflicts: 1006000 | #Constraints: 25512
962.40/969.22 c #Conflicts: 1007000 | #Constraints: 26523
962.40/969.22 c #Conflicts: 1008000 | #Constraints: 27530
962.40/969.22 c #Conflicts: 1009000 | #Constraints: 28539
962.40/969.22 c #Conflicts: 1010000 | #Constraints: 29553
962.40/969.22 c #Conflicts: 1011000 | #Constraints: 30563
962.40/969.22 c #Conflicts: 1012000 | #Constraints: 31570
962.40/969.22 c #Conflicts: 1013000 | #Constraints: 32578
962.40/969.22 c #Conflicts: 1014000 | #Constraints: 33585
962.40/969.22 c #Conflicts: 1015000 | #Constraints: 34591
962.40/969.22 c #Conflicts: 1016000 | #Constraints: 35597
962.40/969.22 c #Conflicts: 1017000 | #Constraints: 36604
962.40/969.22 c #Conflicts: 1018000 | #Constraints: 37612
962.40/969.22 c #Conflicts: 1019000 | #Constraints: 38623
962.40/969.22 c #Conflicts: 1020000 | #Constraints: 39631
962.40/969.22 c #Conflicts: 1021000 | #Constraints: 40649
962.40/969.22 c INPROCESSING
962.40/969.22 c GARBAGE COLLECT
962.40/969.22 c rational objective 14.1654
984.04/990.99 c #Conflicts: 1022000 | #Constraints: 21402
984.04/990.99 c #Conflicts: 1023000 | #Constraints: 22416
984.04/990.99 c #Conflicts: 1024000 | #Constraints: 23430
984.04/990.99 c #Conflicts: 1025000 | #Constraints: 24446
984.04/990.99 c #Conflicts: 1026000 | #Constraints: 25460
984.04/990.99 c #Conflicts: 1027000 | #Constraints: 26479
984.04/990.99 c #Conflicts: 1028000 | #Constraints: 27490
984.04/990.99 c #Conflicts: 1029000 | #Constraints: 28499
984.04/990.99 c #Conflicts: 1030000 | #Constraints: 29517
984.04/990.99 c #Conflicts: 1031000 | #Constraints: 30534
984.04/990.99 c #Conflicts: 1032000 | #Constraints: 31545
984.04/990.99 c #Conflicts: 1033000 | #Constraints: 32559
984.04/990.99 c #Conflicts: 1034000 | #Constraints: 33572
984.04/990.99 c #Conflicts: 1035000 | #Constraints: 34586
984.04/990.99 c #Conflicts: 1036000 | #Constraints: 35598
984.04/990.99 c #Conflicts: 1037000 | #Constraints: 36605
984.04/990.99 c #Conflicts: 1038000 | #Constraints: 37625
984.04/990.99 c #Conflicts: 1039000 | #Constraints: 38637
984.04/990.99 c #Conflicts: 1040000 | #Constraints: 39651
984.04/990.99 c #Conflicts: 1041000 | #Constraints: 40667
984.04/990.99 c INPROCESSING
984.04/990.99 c GARBAGE COLLECT
984.04/990.99 c rational objective 14.1654
1005.18/1012.13 c #Conflicts: 1042000 | #Constraints: 21169
1005.18/1012.13 c #Conflicts: 1043000 | #Constraints: 22183
1005.18/1012.13 c #Conflicts: 1044000 | #Constraints: 23194
1005.18/1012.13 c #Conflicts: 1045000 | #Constraints: 24210
1005.18/1012.13 c #Conflicts: 1046000 | #Constraints: 25223
1005.18/1012.13 c #Conflicts: 1047000 | #Constraints: 26247
1005.18/1012.13 c #Conflicts: 1048000 | #Constraints: 27267
1005.18/1012.13 c #Conflicts: 1049000 | #Constraints: 28273
1005.18/1012.13 c #Conflicts: 1050000 | #Constraints: 29293
1005.18/1012.13 c #Conflicts: 1051000 | #Constraints: 30305
1005.18/1012.13 c #Conflicts: 1052000 | #Constraints: 31321
1005.18/1012.13 c #Conflicts: 1053000 | #Constraints: 32347
1005.18/1012.13 c #Conflicts: 1054000 | #Constraints: 33368
1005.18/1012.13 c #Conflicts: 1055000 | #Constraints: 34390
1005.18/1012.13 c #Conflicts: 1056000 | #Constraints: 35405
1005.18/1012.13 c #Conflicts: 1057000 | #Constraints: 36417
1005.18/1012.13 c #Conflicts: 1058000 | #Constraints: 37429
1005.18/1012.13 c #Conflicts: 1059000 | #Constraints: 38439
1005.18/1012.13 c #Conflicts: 1060000 | #Constraints: 39455
1005.18/1012.13 c #Conflicts: 1061000 | #Constraints: 40478
1005.18/1012.13 c #Conflicts: 1062000 | #Constraints: 41502
1005.18/1012.13 c INPROCESSING
1005.18/1012.13 c GARBAGE COLLECT
1005.18/1012.13 c rational objective 14.1654
1025.12/1032.16 c #Conflicts: 1063000 | #Constraints: 21819
1025.12/1032.16 c #Conflicts: 1064000 | #Constraints: 22832
1025.12/1032.16 c #Conflicts: 1065000 | #Constraints: 23843
1025.12/1032.16 c #Conflicts: 1066000 | #Constraints: 24855
1025.12/1032.16 c #Conflicts: 1067000 | #Constraints: 25869
1025.12/1032.16 c #Conflicts: 1068000 | #Constraints: 26885
1025.12/1032.16 c #Conflicts: 1069000 | #Constraints: 27897
1025.12/1032.16 c #Conflicts: 1070000 | #Constraints: 28905
1025.12/1032.16 c #Conflicts: 1071000 | #Constraints: 29914
1025.12/1032.16 c #Conflicts: 1072000 | #Constraints: 30926
1025.12/1032.16 c #Conflicts: 1073000 | #Constraints: 31939
1025.12/1032.16 c #Conflicts: 1074000 | #Constraints: 32951
1025.12/1032.16 c #Conflicts: 1075000 | #Constraints: 33961
1025.12/1032.16 c #Conflicts: 1076000 | #Constraints: 34970
1025.12/1032.16 c #Conflicts: 1077000 | #Constraints: 35977
1025.12/1032.16 c #Conflicts: 1078000 | #Constraints: 36984
1025.12/1032.16 c #Conflicts: 1079000 | #Constraints: 37991
1025.12/1032.16 c #Conflicts: 1080000 | #Constraints: 39000
1025.12/1032.16 c #Conflicts: 1081000 | #Constraints: 40011
1025.12/1032.16 c #Conflicts: 1082000 | #Constraints: 41021
1025.12/1032.16 c #Conflicts: 1083000 | #Constraints: 42028
1025.12/1032.16 c INPROCESSING
1025.12/1032.16 c GARBAGE COLLECT
1025.12/1032.16 c rational objective 14.1654
1047.54/1054.70 c #Conflicts: 1084000 | #Constraints: 22140
1047.54/1054.70 c #Conflicts: 1085000 | #Constraints: 23167
1047.54/1054.70 c #Conflicts: 1086000 | #Constraints: 24181
1047.54/1054.70 c #Conflicts: 1087000 | #Constraints: 25187
1047.54/1054.70 c #Conflicts: 1088000 | #Constraints: 26199
1047.54/1054.70 c #Conflicts: 1089000 | #Constraints: 27212
1047.54/1054.70 c #Conflicts: 1090000 | #Constraints: 28226
1047.54/1054.70 c #Conflicts: 1091000 | #Constraints: 29238
1047.54/1054.70 c #Conflicts: 1092000 | #Constraints: 30262
1047.54/1054.70 c #Conflicts: 1093000 | #Constraints: 31284
1047.54/1054.70 c #Conflicts: 1094000 | #Constraints: 32298
1047.54/1054.70 c #Conflicts: 1095000 | #Constraints: 33312
1047.54/1054.70 c #Conflicts: 1096000 | #Constraints: 34325
1047.54/1054.70 c #Conflicts: 1097000 | #Constraints: 35340
1047.54/1054.70 c #Conflicts: 1098000 | #Constraints: 36358
1047.54/1054.70 c #Conflicts: 1099000 | #Constraints: 37369
1047.54/1054.70 c #Conflicts: 1100000 | #Constraints: 38376
1047.54/1054.70 c #Conflicts: 1101000 | #Constraints: 39382
1047.54/1054.70 c #Conflicts: 1102000 | #Constraints: 40400
1047.54/1054.70 c #Conflicts: 1103000 | #Constraints: 41411
1047.54/1054.70 c #Conflicts: 1104000 | #Constraints: 42432
1047.54/1054.70 c INPROCESSING
1047.54/1054.70 c GARBAGE COLLECT
1047.54/1054.70 c rational objective 14.1654
1067.58/1074.79 c #Conflicts: 1105000 | #Constraints: 22352
1067.58/1074.79 c #Conflicts: 1106000 | #Constraints: 23362
1067.58/1074.79 c #Conflicts: 1107000 | #Constraints: 24373
1067.58/1074.79 c #Conflicts: 1108000 | #Constraints: 25384
1067.58/1074.79 c #Conflicts: 1109000 | #Constraints: 26395
1067.58/1074.79 c #Conflicts: 1110000 | #Constraints: 27404
1067.58/1074.79 c #Conflicts: 1111000 | #Constraints: 28413
1067.58/1074.79 c #Conflicts: 1112000 | #Constraints: 29421
1067.58/1074.79 c #Conflicts: 1113000 | #Constraints: 30433
1067.58/1074.79 c #Conflicts: 1114000 | #Constraints: 31446
1067.58/1074.79 c #Conflicts: 1115000 | #Constraints: 32456
1067.58/1074.79 c #Conflicts: 1116000 | #Constraints: 33465
1067.58/1074.79 c #Conflicts: 1117000 | #Constraints: 34477
1067.58/1074.79 c #Conflicts: 1118000 | #Constraints: 35491
1067.58/1074.79 c #Conflicts: 1119000 | #Constraints: 36501
1067.58/1074.79 c #Conflicts: 1120000 | #Constraints: 37510
1067.58/1074.79 c #Conflicts: 1121000 | #Constraints: 38519
1067.58/1074.79 c #Conflicts: 1122000 | #Constraints: 39524
1067.58/1074.79 c #Conflicts: 1123000 | #Constraints: 40533
1067.58/1074.79 c #Conflicts: 1124000 | #Constraints: 41541
1067.58/1074.79 c #Conflicts: 1125000 | #Constraints: 42555
1067.58/1074.79 c INPROCESSING
1067.58/1074.79 c GARBAGE COLLECT
1067.58/1074.79 c rational objective 14.1654
1091.21/1098.48 c #Conflicts: 1126000 | #Constraints: 22311
1091.21/1098.48 c #Conflicts: 1127000 | #Constraints: 23330
1091.21/1098.48 c #Conflicts: 1128000 | #Constraints: 24343
1091.21/1098.48 c #Conflicts: 1129000 | #Constraints: 25352
1091.21/1098.48 c #Conflicts: 1130000 | #Constraints: 26361
1091.21/1098.48 c #Conflicts: 1131000 | #Constraints: 27372
1091.21/1098.48 c #Conflicts: 1132000 | #Constraints: 28387
1091.21/1098.48 c #Conflicts: 1133000 | #Constraints: 29404
1091.21/1098.48 c #Conflicts: 1134000 | #Constraints: 30410
1091.21/1098.48 c #Conflicts: 1135000 | #Constraints: 31422
1091.21/1098.48 c #Conflicts: 1136000 | #Constraints: 32433
1091.21/1098.48 c #Conflicts: 1137000 | #Constraints: 33438
1091.21/1098.48 c #Conflicts: 1138000 | #Constraints: 34445
1091.21/1098.48 c #Conflicts: 1139000 | #Constraints: 35459
1091.21/1098.48 c #Conflicts: 1140000 | #Constraints: 36468
1091.21/1098.48 c #Conflicts: 1141000 | #Constraints: 37471
1091.21/1098.48 c #Conflicts: 1142000 | #Constraints: 38476
1091.21/1098.48 c #Conflicts: 1143000 | #Constraints: 39480
1091.21/1098.48 c #Conflicts: 1144000 | #Constraints: 40488
1091.21/1098.48 c #Conflicts: 1145000 | #Constraints: 41493
1091.21/1098.48 c #Conflicts: 1146000 | #Constraints: 42500
1091.21/1098.48 c INPROCESSING
1091.21/1098.48 c GARBAGE COLLECT
1091.21/1098.48 c rational objective 14.1654
1112.64/1119.94 c #Conflicts: 1147000 | #Constraints: 22106
1112.64/1119.94 c #Conflicts: 1148000 | #Constraints: 23110
1112.64/1119.94 c #Conflicts: 1149000 | #Constraints: 24113
1112.64/1119.94 c #Conflicts: 1150000 | #Constraints: 25116
1112.64/1119.94 c #Conflicts: 1151000 | #Constraints: 26123
1112.64/1119.94 c #Conflicts: 1152000 | #Constraints: 27126
1112.64/1119.94 c #Conflicts: 1153000 | #Constraints: 28133
1112.64/1119.94 c #Conflicts: 1154000 | #Constraints: 29139
1112.64/1119.94 c #Conflicts: 1155000 | #Constraints: 30152
1112.64/1119.94 c #Conflicts: 1156000 | #Constraints: 31161
1112.64/1119.94 c #Conflicts: 1157000 | #Constraints: 32168
1112.64/1119.94 c #Conflicts: 1158000 | #Constraints: 33180
1112.64/1119.94 c #Conflicts: 1159000 | #Constraints: 34184
1112.64/1119.94 c #Conflicts: 1160000 | #Constraints: 35192
1112.64/1119.94 c #Conflicts: 1161000 | #Constraints: 36197
1112.64/1119.94 c #Conflicts: 1162000 | #Constraints: 37205
1112.64/1119.94 c #Conflicts: 1163000 | #Constraints: 38217
1112.64/1119.94 c #Conflicts: 1164000 | #Constraints: 39227
1112.64/1119.94 c #Conflicts: 1165000 | #Constraints: 40253
1112.64/1119.94 c #Conflicts: 1166000 | #Constraints: 41270
1112.64/1119.94 c #Conflicts: 1167000 | #Constraints: 42282
1112.64/1119.94 c #Conflicts: 1168000 | #Constraints: 43300
1112.64/1119.94 c INPROCESSING
1112.64/1119.94 c GARBAGE COLLECT
1112.64/1119.94 c rational objective 14.1655
1134.07/1141.49 c #Conflicts: 1169000 | #Constraints: 22707
1134.07/1141.49 c #Conflicts: 1170000 | #Constraints: 23721
1134.07/1141.49 c #Conflicts: 1171000 | #Constraints: 24738
1134.07/1141.49 c #Conflicts: 1172000 | #Constraints: 25756
1134.07/1141.49 c #Conflicts: 1173000 | #Constraints: 26772
1134.07/1141.49 c #Conflicts: 1174000 | #Constraints: 27773
1134.07/1141.49 c #Conflicts: 1175000 | #Constraints: 28777
1134.07/1141.49 c #Conflicts: 1176000 | #Constraints: 29793
1134.07/1141.49 c #Conflicts: 1177000 | #Constraints: 30801
1134.07/1141.49 c #Conflicts: 1178000 | #Constraints: 31807
1134.07/1141.49 c #Conflicts: 1179000 | #Constraints: 32811
1134.07/1141.49 c #Conflicts: 1180000 | #Constraints: 33826
1134.07/1141.49 c #Conflicts: 1181000 | #Constraints: 34836
1134.07/1141.49 c #Conflicts: 1182000 | #Constraints: 35845
1134.07/1141.49 c #Conflicts: 1183000 | #Constraints: 36852
1134.07/1141.49 c #Conflicts: 1184000 | #Constraints: 37862
1134.07/1141.49 c #Conflicts: 1185000 | #Constraints: 38868
1134.07/1141.49 c #Conflicts: 1186000 | #Constraints: 39870
1134.07/1141.49 c #Conflicts: 1187000 | #Constraints: 40877
1134.07/1141.49 c #Conflicts: 1188000 | #Constraints: 41882
1134.07/1141.49 c #Conflicts: 1189000 | #Constraints: 42890
1134.07/1141.49 c #Conflicts: 1190000 | #Constraints: 43906
1134.07/1141.49 c INPROCESSING
1134.07/1141.49 c GARBAGE COLLECT
1134.07/1141.49 c rational objective 14.1655
1157.91/1165.33 c #Conflicts: 1191000 | #Constraints: 23092
1157.91/1165.33 c #Conflicts: 1192000 | #Constraints: 24108
1157.91/1165.33 c #Conflicts: 1193000 | #Constraints: 25118
1157.91/1165.33 c #Conflicts: 1194000 | #Constraints: 26129
1157.91/1165.33 c #Conflicts: 1195000 | #Constraints: 27131
1157.91/1165.33 c #Conflicts: 1196000 | #Constraints: 28137
1157.91/1165.33 c #Conflicts: 1197000 | #Constraints: 29143
1157.91/1165.33 c #Conflicts: 1198000 | #Constraints: 30147
1157.91/1165.33 c #Conflicts: 1199000 | #Constraints: 31154
1157.91/1165.33 c #Conflicts: 1200000 | #Constraints: 32166
1157.91/1165.33 c #Conflicts: 1201000 | #Constraints: 33173
1157.91/1165.33 c #Conflicts: 1202000 | #Constraints: 34180
1157.91/1165.33 c #Conflicts: 1203000 | #Constraints: 35196
1157.91/1165.33 c #Conflicts: 1204000 | #Constraints: 36209
1157.91/1165.33 c #Conflicts: 1205000 | #Constraints: 37220
1157.91/1165.33 c #Conflicts: 1206000 | #Constraints: 38223
1157.91/1165.33 c #Conflicts: 1207000 | #Constraints: 39228
1157.91/1165.33 c #Conflicts: 1208000 | #Constraints: 40231
1157.91/1165.33 c #Conflicts: 1209000 | #Constraints: 41243
1157.91/1165.33 c #Conflicts: 1210000 | #Constraints: 42257
1157.91/1165.33 c #Conflicts: 1211000 | #Constraints: 43268
1157.91/1165.33 c #Conflicts: 1212000 | #Constraints: 44280
1157.91/1165.33 c INPROCESSING
1157.91/1165.33 c GARBAGE COLLECT
1157.91/1165.33 c rational objective 14.1655
1180.93/1188.44 c #Conflicts: 1213000 | #Constraints: 23284
1180.93/1188.44 c #Conflicts: 1214000 | #Constraints: 24303
1180.93/1188.44 c #Conflicts: 1215000 | #Constraints: 25313
1180.93/1188.44 c #Conflicts: 1216000 | #Constraints: 26326
1180.93/1188.44 c #Conflicts: 1217000 | #Constraints: 27345
1180.93/1188.44 c #Conflicts: 1218000 | #Constraints: 28357
1180.93/1188.44 c #Conflicts: 1219000 | #Constraints: 29367
1180.93/1188.44 c #Conflicts: 1220000 | #Constraints: 30376
1180.93/1188.44 c #Conflicts: 1221000 | #Constraints: 31391
1180.93/1188.44 c #Conflicts: 1222000 | #Constraints: 32398
1180.93/1188.44 c #Conflicts: 1223000 | #Constraints: 33405
1180.93/1188.44 c #Conflicts: 1224000 | #Constraints: 34418
1180.93/1188.44 c #Conflicts: 1225000 | #Constraints: 35431
1180.93/1188.44 c #Conflicts: 1226000 | #Constraints: 36449
1180.93/1188.44 c #Conflicts: 1227000 | #Constraints: 37473
1180.93/1188.44 c #Conflicts: 1228000 | #Constraints: 38488
1180.93/1188.44 c #Conflicts: 1229000 | #Constraints: 39503
1180.93/1188.44 c #Conflicts: 1230000 | #Constraints: 40516
1180.93/1188.44 c #Conflicts: 1231000 | #Constraints: 41525
1180.93/1188.44 c #Conflicts: 1232000 | #Constraints: 42537
1180.93/1188.44 c #Conflicts: 1233000 | #Constraints: 43544
1180.93/1188.44 c #Conflicts: 1234000 | #Constraints: 44551
1180.93/1188.44 c INPROCESSING
1180.93/1188.44 c GARBAGE COLLECT
1180.93/1188.44 c rational objective 14.1655
1203.07/1210.63 c #Conflicts: 1235000 | #Constraints: 21666
1203.07/1210.63 c #Conflicts: 1236000 | #Constraints: 22681
1203.07/1210.63 c #Conflicts: 1237000 | #Constraints: 23693
1203.07/1210.63 c #Conflicts: 1238000 | #Constraints: 24706
1203.07/1210.63 c #Conflicts: 1239000 | #Constraints: 25717
1203.07/1210.63 c #Conflicts: 1240000 | #Constraints: 26725
1203.07/1210.63 c #Conflicts: 1241000 | #Constraints: 27736
1203.07/1210.63 c #Conflicts: 1242000 | #Constraints: 28751
1203.07/1210.63 c #Conflicts: 1243000 | #Constraints: 29764
1203.07/1210.63 c #Conflicts: 1244000 | #Constraints: 30769
1203.07/1210.63 c #Conflicts: 1245000 | #Constraints: 31783
1203.07/1210.63 c #Conflicts: 1246000 | #Constraints: 32795
1203.07/1210.63 c #Conflicts: 1247000 | #Constraints: 33804
1203.07/1210.63 c #Conflicts: 1248000 | #Constraints: 34815
1203.07/1210.63 c #Conflicts: 1249000 | #Constraints: 35829
1203.07/1210.63 c #Conflicts: 1250000 | #Constraints: 36843
1203.07/1210.63 c #Conflicts: 1251000 | #Constraints: 37851
1203.07/1210.63 c #Conflicts: 1252000 | #Constraints: 38856
1203.07/1210.63 c #Conflicts: 1253000 | #Constraints: 39869
1203.07/1210.63 c #Conflicts: 1254000 | #Constraints: 40878
1203.07/1210.63 c #Conflicts: 1255000 | #Constraints: 41885
1203.07/1210.63 c #Conflicts: 1256000 | #Constraints: 42887
1203.07/1210.63 c INPROCESSING
1203.07/1210.63 c GARBAGE COLLECT
1203.07/1210.63 c rational objective 14.1655
1225.00/1232.63 c #Conflicts: 1257000 | #Constraints: 22277
1225.00/1232.63 c #Conflicts: 1258000 | #Constraints: 23289
1225.00/1232.63 c #Conflicts: 1259000 | #Constraints: 24295
1225.00/1232.63 c #Conflicts: 1260000 | #Constraints: 25308
1225.00/1232.63 c #Conflicts: 1261000 | #Constraints: 26319
1225.00/1232.63 c #Conflicts: 1262000 | #Constraints: 27329
1225.00/1232.63 c #Conflicts: 1263000 | #Constraints: 28332
1225.00/1232.63 c #Conflicts: 1264000 | #Constraints: 29341
1225.00/1232.63 c #Conflicts: 1265000 | #Constraints: 30354
1225.00/1232.63 c #Conflicts: 1266000 | #Constraints: 31375
1225.00/1232.63 c #Conflicts: 1267000 | #Constraints: 32389
1225.00/1232.63 c #Conflicts: 1268000 | #Constraints: 33400
1225.00/1232.63 c #Conflicts: 1269000 | #Constraints: 34420
1225.00/1232.63 c #Conflicts: 1270000 | #Constraints: 35437
1225.00/1232.63 c #Conflicts: 1271000 | #Constraints: 36446
1225.00/1232.63 c #Conflicts: 1272000 | #Constraints: 37474
1225.00/1232.63 c #Conflicts: 1273000 | #Constraints: 38486
1225.00/1232.63 c #Conflicts: 1274000 | #Constraints: 39502
1225.00/1232.63 c #Conflicts: 1275000 | #Constraints: 40523
1225.00/1232.63 c #Conflicts: 1276000 | #Constraints: 41537
1225.00/1232.63 c #Conflicts: 1277000 | #Constraints: 42548
1225.00/1232.63 c #Conflicts: 1278000 | #Constraints: 43553
1225.00/1232.63 c #Conflicts: 1279000 | #Constraints: 44557
1225.00/1232.63 c INPROCESSING
1225.00/1232.63 c GARBAGE COLLECT
1225.00/1232.63 c rational objective 14.1655
1248.33/1256.05 c #Conflicts: 1280000 | #Constraints: 23327
1248.33/1256.05 c #Conflicts: 1281000 | #Constraints: 24333
1248.33/1256.05 c #Conflicts: 1282000 | #Constraints: 25342
1248.33/1256.05 c #Conflicts: 1283000 | #Constraints: 26354
1248.33/1256.05 c #Conflicts: 1284000 | #Constraints: 27360
1248.33/1256.05 c #Conflicts: 1285000 | #Constraints: 28367
1248.33/1256.05 c #Conflicts: 1286000 | #Constraints: 29379
1248.33/1256.05 c #Conflicts: 1287000 | #Constraints: 30392
1248.33/1256.05 c #Conflicts: 1288000 | #Constraints: 31398
1248.33/1256.05 c #Conflicts: 1289000 | #Constraints: 32406
1248.33/1256.05 c #Conflicts: 1290000 | #Constraints: 33415
1248.33/1256.05 c #Conflicts: 1291000 | #Constraints: 34430
1248.33/1256.05 c #Conflicts: 1292000 | #Constraints: 35445
1248.33/1256.05 c #Conflicts: 1293000 | #Constraints: 36454
1248.33/1256.05 c #Conflicts: 1294000 | #Constraints: 37465
1248.33/1256.05 c #Conflicts: 1295000 | #Constraints: 38472
1248.33/1256.05 c #Conflicts: 1296000 | #Constraints: 39479
1248.33/1256.05 c #Conflicts: 1297000 | #Constraints: 40490
1248.33/1256.05 c #Conflicts: 1298000 | #Constraints: 41501
1248.33/1256.05 c #Conflicts: 1299000 | #Constraints: 42507
1248.33/1256.05 c #Conflicts: 1300000 | #Constraints: 43523
1248.33/1256.05 c #Conflicts: 1301000 | #Constraints: 44532
1248.33/1256.05 c #Conflicts: 1302000 | #Constraints: 45548
1248.33/1256.05 c INPROCESSING
1248.33/1256.05 c GARBAGE COLLECT
1248.33/1256.05 c rational objective 14.1655
1271.85/1279.60 c #Conflicts: 1303000 | #Constraints: 23905
1271.85/1279.60 c #Conflicts: 1304000 | #Constraints: 24913
1271.85/1279.60 c #Conflicts: 1305000 | #Constraints: 25920
1271.85/1279.60 c #Conflicts: 1306000 | #Constraints: 26928
1271.85/1279.60 c #Conflicts: 1307000 | #Constraints: 27936
1271.85/1279.60 c #Conflicts: 1308000 | #Constraints: 28938
1271.85/1279.60 c #Conflicts: 1309000 | #Constraints: 29941
1271.85/1279.60 c #Conflicts: 1310000 | #Constraints: 30951
1271.85/1279.60 c #Conflicts: 1311000 | #Constraints: 31965
1271.85/1279.60 c #Conflicts: 1312000 | #Constraints: 32987
1271.85/1279.60 c #Conflicts: 1313000 | #Constraints: 33994
1271.85/1279.60 c #Conflicts: 1314000 | #Constraints: 35010
1271.85/1279.60 c #Conflicts: 1315000 | #Constraints: 36030
1271.85/1279.60 c #Conflicts: 1316000 | #Constraints: 37042
1271.85/1279.60 c #Conflicts: 1317000 | #Constraints: 38051
1271.85/1279.60 c #Conflicts: 1318000 | #Constraints: 39063
1271.85/1279.60 c #Conflicts: 1319000 | #Constraints: 40079
1271.85/1279.60 c #Conflicts: 1320000 | #Constraints: 41101
1271.85/1279.60 c #Conflicts: 1321000 | #Constraints: 42116
1271.85/1279.60 c #Conflicts: 1322000 | #Constraints: 43119
1271.85/1279.60 c #Conflicts: 1323000 | #Constraints: 44130
1271.85/1279.60 c #Conflicts: 1324000 | #Constraints: 45142
1271.85/1279.60 c #Conflicts: 1325000 | #Constraints: 46153
1271.85/1279.60 c INPROCESSING
1271.85/1279.60 c GARBAGE COLLECT
1271.85/1279.60 c rational objective 14.1655
1296.28/1304.13 c #Conflicts: 1326000 | #Constraints: 24209
1296.28/1304.13 c #Conflicts: 1327000 | #Constraints: 25220
1296.28/1304.13 c #Conflicts: 1328000 | #Constraints: 26233
1296.28/1304.13 c #Conflicts: 1329000 | #Constraints: 27242
1296.28/1304.13 c #Conflicts: 1330000 | #Constraints: 28251
1296.28/1304.13 c #Conflicts: 1331000 | #Constraints: 29261
1296.28/1304.13 c #Conflicts: 1332000 | #Constraints: 30273
1296.28/1304.13 c #Conflicts: 1333000 | #Constraints: 31284
1296.28/1304.13 c #Conflicts: 1334000 | #Constraints: 32299
1296.28/1304.13 c #Conflicts: 1335000 | #Constraints: 33313
1296.28/1304.13 c #Conflicts: 1336000 | #Constraints: 34324
1296.28/1304.13 c #Conflicts: 1337000 | #Constraints: 35330
1296.28/1304.13 c #Conflicts: 1338000 | #Constraints: 36342
1296.28/1304.13 c #Conflicts: 1339000 | #Constraints: 37348
1296.28/1304.13 c #Conflicts: 1340000 | #Constraints: 38356
1296.28/1304.13 c #Conflicts: 1341000 | #Constraints: 39364
1296.28/1304.13 c #Conflicts: 1342000 | #Constraints: 40369
1296.28/1304.13 c #Conflicts: 1343000 | #Constraints: 41380
1296.28/1304.13 c #Conflicts: 1344000 | #Constraints: 42389
1296.28/1304.13 c #Conflicts: 1345000 | #Constraints: 43399
1296.28/1304.13 c #Conflicts: 1346000 | #Constraints: 44405
1296.28/1304.13 c #Conflicts: 1347000 | #Constraints: 45410
1296.28/1304.13 c #Conflicts: 1348000 | #Constraints: 46415
1296.28/1304.13 c INPROCESSING
1296.28/1304.13 c GARBAGE COLLECT
1296.28/1304.13 c rational objective 14.1655
1320.80/1328.73 c #Conflicts: 1349000 | #Constraints: 24246
1320.80/1328.73 c #Conflicts: 1350000 | #Constraints: 25263
1320.80/1328.73 c #Conflicts: 1351000 | #Constraints: 26277
1320.80/1328.73 c #Conflicts: 1352000 | #Constraints: 27292
1320.80/1328.73 c #Conflicts: 1353000 | #Constraints: 28306
1320.80/1328.73 c #Conflicts: 1354000 | #Constraints: 29317
1320.80/1328.73 c #Conflicts: 1355000 | #Constraints: 30332
1320.80/1328.73 c #Conflicts: 1356000 | #Constraints: 31357
1320.80/1328.73 c #Conflicts: 1357000 | #Constraints: 32375
1320.80/1328.73 c #Conflicts: 1358000 | #Constraints: 33386
1320.80/1328.73 c #Conflicts: 1359000 | #Constraints: 34394
1320.80/1328.73 c #Conflicts: 1360000 | #Constraints: 35395
1320.80/1328.73 c #Conflicts: 1361000 | #Constraints: 36399
1320.80/1328.73 c #Conflicts: 1362000 | #Constraints: 37414
1320.80/1328.73 c #Conflicts: 1363000 | #Constraints: 38420
1320.80/1328.73 c #Conflicts: 1364000 | #Constraints: 39426
1320.80/1328.73 c #Conflicts: 1365000 | #Constraints: 40437
1320.80/1328.73 c #Conflicts: 1366000 | #Constraints: 41452
1320.80/1328.73 c #Conflicts: 1367000 | #Constraints: 42465
1320.80/1328.73 c #Conflicts: 1368000 | #Constraints: 43469
1320.80/1328.73 c #Conflicts: 1369000 | #Constraints: 44475
1320.80/1328.73 c #Conflicts: 1370000 | #Constraints: 45485
1320.80/1328.73 c #Conflicts: 1371000 | #Constraints: 46489
1320.80/1328.73 c INPROCESSING
1320.80/1328.73 c GARBAGE COLLECT
1320.80/1328.73 c rational objective 14.1655
1345.82/1353.89 c #Conflicts: 1372000 | #Constraints: 24072
1345.82/1353.89 c #Conflicts: 1373000 | #Constraints: 25085
1345.82/1353.89 c #Conflicts: 1374000 | #Constraints: 26099
1345.82/1353.89 c #Conflicts: 1375000 | #Constraints: 27108
1345.82/1353.89 c #Conflicts: 1376000 | #Constraints: 28119
1345.82/1353.89 c #Conflicts: 1377000 | #Constraints: 29139
1345.82/1353.89 c #Conflicts: 1378000 | #Constraints: 30153
1345.82/1353.89 c #Conflicts: 1379000 | #Constraints: 31159
1345.82/1353.89 c #Conflicts: 1380000 | #Constraints: 32165
1345.82/1353.89 c #Conflicts: 1381000 | #Constraints: 33179
1345.82/1353.89 c #Conflicts: 1382000 | #Constraints: 34185
1345.82/1353.89 c #Conflicts: 1383000 | #Constraints: 35193
1345.82/1353.89 c #Conflicts: 1384000 | #Constraints: 36200
1345.82/1353.89 c #Conflicts: 1385000 | #Constraints: 37209
1345.82/1353.89 c #Conflicts: 1386000 | #Constraints: 38211
1345.82/1353.89 c #Conflicts: 1387000 | #Constraints: 39214
1345.82/1353.89 c #Conflicts: 1388000 | #Constraints: 40225
1345.82/1353.89 c #Conflicts: 1389000 | #Constraints: 41237
1345.82/1353.89 c #Conflicts: 1390000 | #Constraints: 42245
1345.82/1353.89 c #Conflicts: 1391000 | #Constraints: 43250
1345.82/1353.89 c #Conflicts: 1392000 | #Constraints: 44256
1345.82/1353.89 c #Conflicts: 1393000 | #Constraints: 45261
1345.82/1353.89 c #Conflicts: 1394000 | #Constraints: 46272
1345.82/1353.89 c #Conflicts: 1395000 | #Constraints: 47283
1345.82/1353.89 c INPROCESSING
1345.82/1353.89 c GARBAGE COLLECT
1345.82/1353.89 c rational objective 14.1655
1370.24/1378.38 c #Conflicts: 1396000 | #Constraints: 24669
1370.24/1378.38 c #Conflicts: 1397000 | #Constraints: 25686
1370.24/1378.38 c #Conflicts: 1398000 | #Constraints: 26696
1370.24/1378.38 c #Conflicts: 1399000 | #Constraints: 27704
1370.24/1378.38 c #Conflicts: 1400000 | #Constraints: 28715
1370.24/1378.38 c #Conflicts: 1401000 | #Constraints: 29726
1370.24/1378.38 c #Conflicts: 1402000 | #Constraints: 30734
1370.24/1378.38 c #Conflicts: 1403000 | #Constraints: 31744
1370.24/1378.38 c #Conflicts: 1404000 | #Constraints: 32748
1370.24/1378.38 c #Conflicts: 1405000 | #Constraints: 33753
1370.24/1378.38 c #Conflicts: 1406000 | #Constraints: 34758
1370.24/1378.38 c #Conflicts: 1407000 | #Constraints: 35770
1370.24/1378.38 c #Conflicts: 1408000 | #Constraints: 36774
1370.24/1378.38 c #Conflicts: 1409000 | #Constraints: 37779
1370.24/1378.38 c #Conflicts: 1410000 | #Constraints: 38782
1370.24/1378.38 c #Conflicts: 1411000 | #Constraints: 39786
1370.24/1378.38 c #Conflicts: 1412000 | #Constraints: 40798
1370.24/1378.38 c #Conflicts: 1413000 | #Constraints: 41801
1370.24/1378.38 c #Conflicts: 1414000 | #Constraints: 42803
1370.24/1378.38 c #Conflicts: 1415000 | #Constraints: 43813
1370.24/1378.38 c #Conflicts: 1416000 | #Constraints: 44823
1370.24/1378.38 c #Conflicts: 1417000 | #Constraints: 45830
1370.24/1378.38 c #Conflicts: 1418000 | #Constraints: 46833
1370.24/1378.38 c #Conflicts: 1419000 | #Constraints: 47841
1370.24/1378.38 c INPROCESSING
1370.24/1378.38 c GARBAGE COLLECT
1370.24/1378.38 c rational objective 14.1655
1395.36/1403.57 c #Conflicts: 1420000 | #Constraints: 25060
1395.36/1403.57 c #Conflicts: 1421000 | #Constraints: 26071
1395.36/1403.57 c #Conflicts: 1422000 | #Constraints: 27087
1395.36/1403.57 c #Conflicts: 1423000 | #Constraints: 28106
1395.36/1403.57 c #Conflicts: 1424000 | #Constraints: 29120
1395.36/1403.57 c #Conflicts: 1425000 | #Constraints: 30126
1395.36/1403.57 c #Conflicts: 1426000 | #Constraints: 31132
1395.36/1403.57 c #Conflicts: 1427000 | #Constraints: 32140
1395.36/1403.57 c #Conflicts: 1428000 | #Constraints: 33155
1395.36/1403.57 c #Conflicts: 1429000 | #Constraints: 34166
1395.36/1403.57 c #Conflicts: 1430000 | #Constraints: 35178
1395.36/1403.57 c #Conflicts: 1431000 | #Constraints: 36191
1395.36/1403.57 c #Conflicts: 1432000 | #Constraints: 37197
1395.36/1403.57 c #Conflicts: 1433000 | #Constraints: 38202
1395.36/1403.57 c #Conflicts: 1434000 | #Constraints: 39215
1395.36/1403.57 c #Conflicts: 1435000 | #Constraints: 40225
1395.36/1403.57 c #Conflicts: 1436000 | #Constraints: 41231
1395.36/1403.57 c #Conflicts: 1437000 | #Constraints: 42243
1395.36/1403.57 c #Conflicts: 1438000 | #Constraints: 43250
1395.36/1403.57 c #Conflicts: 1439000 | #Constraints: 44261
1395.36/1403.57 c #Conflicts: 1440000 | #Constraints: 45272
1395.36/1403.57 c #Conflicts: 1441000 | #Constraints: 46284
1395.36/1403.57 c #Conflicts: 1442000 | #Constraints: 47295
1395.36/1403.57 c #Conflicts: 1443000 | #Constraints: 48309
1395.36/1403.57 c INPROCESSING
1395.36/1403.57 c GARBAGE COLLECT
1395.36/1403.57 c rational objective 14.1655
1422.28/1430.53 c #Conflicts: 1444000 | #Constraints: 25283
1422.28/1430.53 c #Conflicts: 1445000 | #Constraints: 26293
1422.28/1430.53 c #Conflicts: 1446000 | #Constraints: 27312
1422.28/1430.53 c #Conflicts: 1447000 | #Constraints: 28330
1422.28/1430.53 c #Conflicts: 1448000 | #Constraints: 29363
1422.28/1430.53 c #Conflicts: 1449000 | #Constraints: 30382
1422.28/1430.53 c #Conflicts: 1450000 | #Constraints: 31396
1422.28/1430.53 c #Conflicts: 1451000 | #Constraints: 32416
1422.28/1430.53 c #Conflicts: 1452000 | #Constraints: 33429
1422.28/1430.53 c #Conflicts: 1453000 | #Constraints: 34441
1422.28/1430.53 c #Conflicts: 1454000 | #Constraints: 35452
1422.28/1430.53 c #Conflicts: 1455000 | #Constraints: 36463
1422.28/1430.53 c #Conflicts: 1456000 | #Constraints: 37473
1422.28/1430.53 c #Conflicts: 1457000 | #Constraints: 38486
1422.28/1430.53 c #Conflicts: 1458000 | #Constraints: 39506
1422.28/1430.53 c #Conflicts: 1459000 | #Constraints: 40521
1422.28/1430.53 c #Conflicts: 1460000 | #Constraints: 41538
1422.28/1430.53 c #Conflicts: 1461000 | #Constraints: 42555
1422.28/1430.53 c #Conflicts: 1462000 | #Constraints: 43565
1422.28/1430.53 c #Conflicts: 1463000 | #Constraints: 44570
1422.28/1430.53 c #Conflicts: 1464000 | #Constraints: 45574
1422.28/1430.53 c #Conflicts: 1465000 | #Constraints: 46585
1422.28/1430.53 c #Conflicts: 1466000 | #Constraints: 47594
1422.28/1430.53 c #Conflicts: 1467000 | #Constraints: 48601
1422.28/1430.53 c INPROCESSING
1422.28/1430.53 c GARBAGE COLLECT
1422.28/1430.53 c rational objective 14.1655
1447.89/1456.21 c #Conflicts: 1468000 | #Constraints: 25357
1447.89/1456.21 c #Conflicts: 1469000 | #Constraints: 26368
1447.89/1456.21 c #Conflicts: 1470000 | #Constraints: 27382
1447.89/1456.21 c #Conflicts: 1471000 | #Constraints: 28394
1447.89/1456.21 c #Conflicts: 1472000 | #Constraints: 29413
1447.89/1456.21 c #Conflicts: 1473000 | #Constraints: 30425
1447.89/1456.21 c #Conflicts: 1474000 | #Constraints: 31430
1447.89/1456.21 c #Conflicts: 1475000 | #Constraints: 32435
1447.89/1456.21 c #Conflicts: 1476000 | #Constraints: 33449
1447.89/1456.21 c #Conflicts: 1477000 | #Constraints: 34456
1447.89/1456.21 c #Conflicts: 1478000 | #Constraints: 35464
1447.89/1456.21 c #Conflicts: 1479000 | #Constraints: 36478
1447.89/1456.21 c #Conflicts: 1480000 | #Constraints: 37488
1447.89/1456.21 c #Conflicts: 1481000 | #Constraints: 38499
1447.89/1456.21 c #Conflicts: 1482000 | #Constraints: 39505
1447.89/1456.21 c #Conflicts: 1483000 | #Constraints: 40514
1447.89/1456.21 c #Conflicts: 1484000 | #Constraints: 41524
1447.89/1456.21 c #Conflicts: 1485000 | #Constraints: 42529
1447.89/1456.21 c #Conflicts: 1486000 | #Constraints: 43535
1447.89/1456.21 c #Conflicts: 1487000 | #Constraints: 44552
1447.89/1456.21 c #Conflicts: 1488000 | #Constraints: 45561
1447.89/1456.21 c #Conflicts: 1489000 | #Constraints: 46570
1447.89/1456.21 c #Conflicts: 1490000 | #Constraints: 47573
1447.89/1456.21 c #Conflicts: 1491000 | #Constraints: 48583
1447.89/1456.21 c INPROCESSING
1447.89/1456.21 c GARBAGE COLLECT
1447.89/1456.21 c rational objective 14.1655
1473.22/1481.62 c #Conflicts: 1492000 | #Constraints: 25116
1473.22/1481.62 c #Conflicts: 1493000 | #Constraints: 26124
1473.22/1481.62 c #Conflicts: 1494000 | #Constraints: 27133
1473.22/1481.62 c #Conflicts: 1495000 | #Constraints: 28144
1473.22/1481.62 c #Conflicts: 1496000 | #Constraints: 29159
1473.22/1481.62 c #Conflicts: 1497000 | #Constraints: 30169
1473.22/1481.62 c #Conflicts: 1498000 | #Constraints: 31183
1473.22/1481.62 c #Conflicts: 1499000 | #Constraints: 32193
1473.22/1481.62 c #Conflicts: 1500000 | #Constraints: 33207
1473.22/1481.62 c #Conflicts: 1501000 | #Constraints: 34217
1473.22/1481.62 c #Conflicts: 1502000 | #Constraints: 35225
1473.22/1481.62 c #Conflicts: 1503000 | #Constraints: 36231
1473.22/1481.62 c #Conflicts: 1504000 | #Constraints: 37238
1473.22/1481.62 c #Conflicts: 1505000 | #Constraints: 38243
1473.22/1481.62 c #Conflicts: 1506000 | #Constraints: 39254
1473.22/1481.62 c #Conflicts: 1507000 | #Constraints: 40263
1473.22/1481.62 c #Conflicts: 1508000 | #Constraints: 41270
1473.22/1481.62 c #Conflicts: 1509000 | #Constraints: 42282
1473.22/1481.62 c #Conflicts: 1510000 | #Constraints: 43291
1473.22/1481.62 c #Conflicts: 1511000 | #Constraints: 44297
1473.22/1481.62 c #Conflicts: 1512000 | #Constraints: 45301
1473.22/1481.62 c #Conflicts: 1513000 | #Constraints: 46312
1473.22/1481.62 c #Conflicts: 1514000 | #Constraints: 47327
1473.22/1481.62 c #Conflicts: 1515000 | #Constraints: 48340
1473.22/1481.62 c #Conflicts: 1516000 | #Constraints: 49353
1473.22/1481.62 c INPROCESSING
1473.22/1481.62 c GARBAGE COLLECT
1473.22/1481.62 c rational objective 14.1655
1498.43/1506.92 c #Conflicts: 1517000 | #Constraints: 25704
1498.43/1506.92 c #Conflicts: 1518000 | #Constraints: 26712
1498.43/1506.92 c #Conflicts: 1519000 | #Constraints: 27719
1498.43/1506.92 c #Conflicts: 1520000 | #Constraints: 28728
1498.43/1506.92 c #Conflicts: 1521000 | #Constraints: 29742
1498.43/1506.92 c #Conflicts: 1522000 | #Constraints: 30748
1498.43/1506.92 c #Conflicts: 1523000 | #Constraints: 31758
1498.43/1506.92 c #Conflicts: 1524000 | #Constraints: 32768
1498.43/1506.92 c #Conflicts: 1525000 | #Constraints: 33778
1498.43/1506.92 c #Conflicts: 1526000 | #Constraints: 34793
1498.43/1506.92 c #Conflicts: 1527000 | #Constraints: 35794
1498.43/1506.92 c #Conflicts: 1528000 | #Constraints: 36801
1498.43/1506.92 c #Conflicts: 1529000 | #Constraints: 37803
1498.43/1506.92 c #Conflicts: 1530000 | #Constraints: 38808
1498.43/1506.92 c #Conflicts: 1531000 | #Constraints: 39814
1498.43/1506.92 c #Conflicts: 1532000 | #Constraints: 40828
1498.43/1506.92 c #Conflicts: 1533000 | #Constraints: 41839
1498.43/1506.92 c #Conflicts: 1534000 | #Constraints: 42848
1498.43/1506.92 c #Conflicts: 1535000 | #Constraints: 43853
1498.43/1506.92 c #Conflicts: 1536000 | #Constraints: 44859
1498.43/1506.92 c #Conflicts: 1537000 | #Constraints: 45866
1498.43/1506.92 c #Conflicts: 1538000 | #Constraints: 46872
1498.43/1506.92 c #Conflicts: 1539000 | #Constraints: 47876
1498.43/1506.92 c #Conflicts: 1540000 | #Constraints: 48885
1498.43/1506.92 c #Conflicts: 1541000 | #Constraints: 49895
1498.43/1506.92 c INPROCESSING
1498.43/1506.92 c GARBAGE COLLECT
1498.43/1506.92 c rational objective 14.1655
1531.73/1540.39 c #Conflicts: 1542000 | #Constraints: 26077
1531.73/1540.39 c #Conflicts: 1543000 | #Constraints: 27096
1531.73/1540.39 c #Conflicts: 1544000 | #Constraints: 28110
1531.73/1540.39 c #Conflicts: 1545000 | #Constraints: 29120
1531.73/1540.39 c #Conflicts: 1546000 | #Constraints: 30131
1531.73/1540.39 c #Conflicts: 1547000 | #Constraints: 31141
1531.73/1540.39 c #Conflicts: 1548000 | #Constraints: 32144
1531.73/1540.39 c #Conflicts: 1549000 | #Constraints: 33154
1531.73/1540.39 c #Conflicts: 1550000 | #Constraints: 34158
1531.73/1540.39 c #Conflicts: 1551000 | #Constraints: 35164
1531.73/1540.39 c #Conflicts: 1552000 | #Constraints: 36171
1531.73/1540.39 c #Conflicts: 1553000 | #Constraints: 37179
1531.73/1540.39 c #Conflicts: 1554000 | #Constraints: 38188
1531.73/1540.39 c #Conflicts: 1555000 | #Constraints: 39193
1531.73/1540.39 c #Conflicts: 1556000 | #Constraints: 40195
1531.73/1540.39 c #Conflicts: 1557000 | #Constraints: 41198
1531.73/1540.39 c #Conflicts: 1558000 | #Constraints: 42201
1531.73/1540.39 c #Conflicts: 1559000 | #Constraints: 43208
1531.73/1540.39 c #Conflicts: 1560000 | #Constraints: 44212
1531.73/1540.39 c #Conflicts: 1561000 | #Constraints: 45218
1531.73/1540.39 c #Conflicts: 1562000 | #Constraints: 46221
1531.73/1540.39 c #Conflicts: 1563000 | #Constraints: 47232
1531.73/1540.39 c #Conflicts: 1564000 | #Constraints: 48237
1531.73/1540.39 c #Conflicts: 1565000 | #Constraints: 49245
1531.73/1540.39 c #Conflicts: 1566000 | #Constraints: 50255
1531.73/1540.39 c INPROCESSING
1531.73/1540.39 c GARBAGE COLLECT
1531.73/1540.39 c rational objective 14.1655
1560.15/1568.88 c #Conflicts: 1567000 | #Constraints: 26254
1560.15/1568.88 c #Conflicts: 1568000 | #Constraints: 27264
1560.15/1568.88 c #Conflicts: 1569000 | #Constraints: 28279
1560.15/1568.88 c #Conflicts: 1570000 | #Constraints: 29291
1560.15/1568.88 c #Conflicts: 1571000 | #Constraints: 30301
1560.15/1568.88 c #Conflicts: 1572000 | #Constraints: 31310
1560.15/1568.88 c #Conflicts: 1573000 | #Constraints: 32320
1560.15/1568.88 c #Conflicts: 1574000 | #Constraints: 33346
1560.15/1568.88 c #Conflicts: 1575000 | #Constraints: 34373
1560.15/1568.88 c #Conflicts: 1576000 | #Constraints: 35388
1560.15/1568.88 c #Conflicts: 1577000 | #Constraints: 36403
1560.15/1568.88 c #Conflicts: 1578000 | #Constraints: 37421
1560.15/1568.88 c #Conflicts: 1579000 | #Constraints: 38450
1560.15/1568.88 c #Conflicts: 1580000 | #Constraints: 39472
1560.15/1568.88 c #Conflicts: 1581000 | #Constraints: 40491
1560.15/1568.88 c #Conflicts: 1582000 | #Constraints: 41502
1560.15/1568.88 c #Conflicts: 1583000 | #Constraints: 42515
1560.15/1568.88 c #Conflicts: 1584000 | #Constraints: 43526
1560.15/1568.88 c #Conflicts: 1585000 | #Constraints: 44540
1560.15/1568.88 c #Conflicts: 1586000 | #Constraints: 45546
1560.15/1568.88 c #Conflicts: 1587000 | #Constraints: 46556
1560.15/1568.88 c #Conflicts: 1588000 | #Constraints: 47562
1560.15/1568.88 c #Conflicts: 1589000 | #Constraints: 48572
1560.15/1568.88 c #Conflicts: 1590000 | #Constraints: 49579
1560.15/1568.88 c #Conflicts: 1591000 | #Constraints: 50583
1560.15/1568.88 c INPROCESSING
1560.15/1568.88 c GARBAGE COLLECT
1560.15/1568.88 c rational objective 14.1655
1590.37/1599.15 c #Conflicts: 1592000 | #Constraints: 26322
1590.37/1599.15 c #Conflicts: 1593000 | #Constraints: 27330
1590.37/1599.15 c #Conflicts: 1594000 | #Constraints: 28347
1590.37/1599.15 c #Conflicts: 1595000 | #Constraints: 29355
1590.37/1599.15 c #Conflicts: 1596000 | #Constraints: 30368
1590.37/1599.15 c #Conflicts: 1597000 | #Constraints: 31380
1590.37/1599.15 c #Conflicts: 1598000 | #Constraints: 32391
1590.37/1599.15 c #Conflicts: 1599000 | #Constraints: 33411
1590.37/1599.15 c #Conflicts: 1600000 | #Constraints: 34423
1590.37/1599.15 c #Conflicts: 1601000 | #Constraints: 35432
1590.37/1599.15 c #Conflicts: 1602000 | #Constraints: 36446
1590.37/1599.15 c #Conflicts: 1603000 | #Constraints: 37457
1590.37/1599.15 c #Conflicts: 1604000 | #Constraints: 38468
1590.37/1599.15 c #Conflicts: 1605000 | #Constraints: 39480
1590.37/1599.15 c #Conflicts: 1606000 | #Constraints: 40489
1590.37/1599.15 c #Conflicts: 1607000 | #Constraints: 41501
1590.37/1599.15 c #Conflicts: 1608000 | #Constraints: 42509
1590.37/1599.15 c #Conflicts: 1609000 | #Constraints: 43513
1590.37/1599.15 c #Conflicts: 1610000 | #Constraints: 44520
1590.37/1599.15 c #Conflicts: 1611000 | #Constraints: 45534
1590.37/1599.15 c #Conflicts: 1612000 | #Constraints: 46540
1590.37/1599.15 c #Conflicts: 1613000 | #Constraints: 47549
1590.37/1599.15 c #Conflicts: 1614000 | #Constraints: 48559
1590.37/1599.15 c #Conflicts: 1615000 | #Constraints: 49569
1590.37/1599.15 c #Conflicts: 1616000 | #Constraints: 50581
1590.37/1599.15 c INPROCESSING
1590.37/1599.15 c GARBAGE COLLECT
1590.37/1599.15 c rational objective 14.1655
1615.39/1624.20 c #Conflicts: 1617000 | #Constraints: 26122
1615.39/1624.20 c #Conflicts: 1618000 | #Constraints: 27142
1615.39/1624.20 c #Conflicts: 1619000 | #Constraints: 28153
1615.39/1624.20 c #Conflicts: 1620000 | #Constraints: 29162
1615.39/1624.20 c #Conflicts: 1621000 | #Constraints: 30175
1615.39/1624.20 c #Conflicts: 1622000 | #Constraints: 31181
1615.39/1624.20 c #Conflicts: 1623000 | #Constraints: 32192
1615.39/1624.20 c #Conflicts: 1624000 | #Constraints: 33200
1615.39/1624.20 c #Conflicts: 1625000 | #Constraints: 34208
1615.39/1624.20 c #Conflicts: 1626000 | #Constraints: 35222
1615.39/1624.20 c #Conflicts: 1627000 | #Constraints: 36232
1615.39/1624.20 c #Conflicts: 1628000 | #Constraints: 37237
1615.39/1624.20 c #Conflicts: 1629000 | #Constraints: 38246
1615.39/1624.20 c #Conflicts: 1630000 | #Constraints: 39253
1615.39/1624.20 c #Conflicts: 1631000 | #Constraints: 40261
1615.39/1624.20 c #Conflicts: 1632000 | #Constraints: 41269
1615.39/1624.20 c #Conflicts: 1633000 | #Constraints: 42276
1615.39/1624.20 c #Conflicts: 1634000 | #Constraints: 43290
1615.39/1624.20 c #Conflicts: 1635000 | #Constraints: 44301
1615.39/1624.20 c #Conflicts: 1636000 | #Constraints: 45305
1615.39/1624.20 c #Conflicts: 1637000 | #Constraints: 46318
1615.39/1624.20 c #Conflicts: 1638000 | #Constraints: 47325
1615.39/1624.20 c #Conflicts: 1639000 | #Constraints: 48335
1615.39/1624.20 c #Conflicts: 1640000 | #Constraints: 49349
1615.39/1624.20 c #Conflicts: 1641000 | #Constraints: 50352
1615.39/1624.20 c #Conflicts: 1642000 | #Constraints: 51356
1615.39/1624.20 c INPROCESSING
1615.39/1624.20 c GARBAGE COLLECT
1615.39/1624.20 c rational objective 14.1655
1641.31/1650.27 c #Conflicts: 1643000 | #Constraints: 26704
1641.31/1650.27 c #Conflicts: 1644000 | #Constraints: 27713
1641.31/1650.27 c #Conflicts: 1645000 | #Constraints: 28724
1641.31/1650.27 c #Conflicts: 1646000 | #Constraints: 29733
1641.31/1650.27 c #Conflicts: 1647000 | #Constraints: 30742
1641.31/1650.27 c #Conflicts: 1648000 | #Constraints: 31753
1641.31/1650.27 c #Conflicts: 1649000 | #Constraints: 32764
1641.31/1650.27 c #Conflicts: 1650000 | #Constraints: 33770
1641.31/1650.27 c #Conflicts: 1651000 | #Constraints: 34781
1641.31/1650.27 c #Conflicts: 1652000 | #Constraints: 35798
1641.31/1650.27 c #Conflicts: 1653000 | #Constraints: 36808
1641.31/1650.27 c #Conflicts: 1654000 | #Constraints: 37816
1641.31/1650.27 c #Conflicts: 1655000 | #Constraints: 38821
1641.31/1650.27 c #Conflicts: 1656000 | #Constraints: 39835
1641.31/1650.27 c #Conflicts: 1657000 | #Constraints: 40840
1641.31/1650.27 c #Conflicts: 1658000 | #Constraints: 41847
1641.31/1650.27 c #Conflicts: 1659000 | #Constraints: 42863
1641.31/1650.27 c #Conflicts: 1660000 | #Constraints: 43874
1641.31/1650.27 c #Conflicts: 1661000 | #Constraints: 44881
1641.31/1650.27 c #Conflicts: 1662000 | #Constraints: 45886
1641.31/1650.27 c #Conflicts: 1663000 | #Constraints: 46898
1641.31/1650.27 c #Conflicts: 1664000 | #Constraints: 47904
1641.31/1650.27 c #Conflicts: 1665000 | #Constraints: 48914
1641.31/1650.27 c #Conflicts: 1666000 | #Constraints: 49919
1641.31/1650.27 c #Conflicts: 1667000 | #Constraints: 50929
1641.31/1650.27 c #Conflicts: 1668000 | #Constraints: 51935
1641.31/1650.27 c INPROCESSING
1641.31/1650.27 c GARBAGE COLLECT
1641.31/1650.27 c rational objective 14.1656
1669.62/1678.69 c #Conflicts: 1669000 | #Constraints: 27121
1669.62/1678.69 c #Conflicts: 1670000 | #Constraints: 28143
1669.62/1678.69 c #Conflicts: 1671000 | #Constraints: 29147
1669.62/1678.69 c #Conflicts: 1672000 | #Constraints: 30158
1669.62/1678.69 c #Conflicts: 1673000 | #Constraints: 31167
1669.62/1678.69 c #Conflicts: 1674000 | #Constraints: 32171
1669.62/1678.69 c #Conflicts: 1675000 | #Constraints: 33174
1669.62/1678.69 c #Conflicts: 1676000 | #Constraints: 34185
1669.62/1678.69 c #Conflicts: 1677000 | #Constraints: 35197
1669.62/1678.69 c #Conflicts: 1678000 | #Constraints: 36204
1669.62/1678.69 c #Conflicts: 1679000 | #Constraints: 37209
1669.62/1678.69 c #Conflicts: 1680000 | #Constraints: 38216
1669.62/1678.69 c #Conflicts: 1681000 | #Constraints: 39240
1669.62/1678.69 c #Conflicts: 1682000 | #Constraints: 40247
1669.62/1678.69 c #Conflicts: 1683000 | #Constraints: 41258
1669.62/1678.69 c #Conflicts: 1684000 | #Constraints: 42265
1669.62/1678.69 c #Conflicts: 1685000 | #Constraints: 43274
1669.62/1678.69 c #Conflicts: 1686000 | #Constraints: 44285
1669.62/1678.69 c #Conflicts: 1687000 | #Constraints: 45291
1669.62/1678.69 c #Conflicts: 1688000 | #Constraints: 46294
1669.62/1678.69 c #Conflicts: 1689000 | #Constraints: 47297
1669.62/1678.69 c #Conflicts: 1690000 | #Constraints: 48303
1669.62/1678.69 c #Conflicts: 1691000 | #Constraints: 49306
1669.62/1678.69 c #Conflicts: 1692000 | #Constraints: 50311
1669.62/1678.69 c #Conflicts: 1693000 | #Constraints: 51316
1669.62/1678.69 c #Conflicts: 1694000 | #Constraints: 52326
1669.62/1678.69 c INPROCESSING
1669.62/1678.69 c GARBAGE COLLECT
1669.62/1678.69 c rational objective 14.1656
1696.05/1705.20 c #Conflicts: 1695000 | #Constraints: 27325
1696.05/1705.20 c #Conflicts: 1696000 | #Constraints: 28328
1696.05/1705.20 c #Conflicts: 1697000 | #Constraints: 29339
1696.05/1705.20 c #Conflicts: 1698000 | #Constraints: 30348
1696.05/1705.20 c #Conflicts: 1699000 | #Constraints: 31357
1696.05/1705.20 c #Conflicts: 1700000 | #Constraints: 32369
1696.05/1705.20 c #Conflicts: 1701000 | #Constraints: 33382
1696.05/1705.20 c #Conflicts: 1702000 | #Constraints: 34390
1696.05/1705.20 c #Conflicts: 1703000 | #Constraints: 35396
1696.05/1705.20 c #Conflicts: 1704000 | #Constraints: 36402
1696.05/1705.20 c #Conflicts: 1705000 | #Constraints: 37411
1696.05/1705.20 c #Conflicts: 1706000 | #Constraints: 38416
1696.05/1705.20 c #Conflicts: 1707000 | #Constraints: 39421
1696.05/1705.20 c #Conflicts: 1708000 | #Constraints: 40427
1696.05/1705.20 c #Conflicts: 1709000 | #Constraints: 41438
1696.05/1705.20 c #Conflicts: 1710000 | #Constraints: 42449
1696.05/1705.20 c #Conflicts: 1711000 | #Constraints: 43458
1696.05/1705.20 c #Conflicts: 1712000 | #Constraints: 44469
1696.05/1705.20 c #Conflicts: 1713000 | #Constraints: 45478
1696.05/1705.20 c #Conflicts: 1714000 | #Constraints: 46487
1696.05/1705.20 c #Conflicts: 1715000 | #Constraints: 47494
1696.05/1705.20 c #Conflicts: 1716000 | #Constraints: 48502
1696.05/1705.20 c #Conflicts: 1717000 | #Constraints: 49520
1696.05/1705.20 c #Conflicts: 1718000 | #Constraints: 50530
1696.05/1705.20 c #Conflicts: 1719000 | #Constraints: 51535
1696.05/1705.20 c #Conflicts: 1720000 | #Constraints: 52542
1696.05/1705.20 c INPROCESSING
1696.05/1705.20 c GARBAGE COLLECT
1696.05/1705.20 c rational objective 14.1656
1724.35/1733.51 c #Conflicts: 1721000 | #Constraints: 27312
1724.35/1733.51 c #Conflicts: 1722000 | #Constraints: 28318
1724.35/1733.51 c #Conflicts: 1723000 | #Constraints: 29328
1724.35/1733.51 c #Conflicts: 1724000 | #Constraints: 30338
1724.35/1733.51 c #Conflicts: 1725000 | #Constraints: 31342
1724.35/1733.51 c #Conflicts: 1726000 | #Constraints: 32366
1724.35/1733.51 c #Conflicts: 1727000 | #Constraints: 33385
1724.35/1733.51 c #Conflicts: 1728000 | #Constraints: 34401
1724.35/1733.51 c #Conflicts: 1729000 | #Constraints: 35411
1724.35/1733.51 c #Conflicts: 1730000 | #Constraints: 36426
1724.35/1733.51 c #Conflicts: 1731000 | #Constraints: 37441
1724.35/1733.51 c #Conflicts: 1732000 | #Constraints: 38445
1724.35/1733.51 c #Conflicts: 1733000 | #Constraints: 39463
1724.35/1733.51 c #Conflicts: 1734000 | #Constraints: 40473
1724.35/1733.51 c #Conflicts: 1735000 | #Constraints: 41488
1724.35/1733.51 c #Conflicts: 1736000 | #Constraints: 42513
1724.35/1733.51 c #Conflicts: 1737000 | #Constraints: 43530
1724.35/1733.51 c #Conflicts: 1738000 | #Constraints: 44545
1724.35/1733.51 c #Conflicts: 1739000 | #Constraints: 45559
1724.35/1733.51 c #Conflicts: 1740000 | #Constraints: 46575
1724.35/1733.51 c #Conflicts: 1741000 | #Constraints: 47599
1724.35/1733.51 c #Conflicts: 1742000 | #Constraints: 48620
1724.35/1733.51 c #Conflicts: 1743000 | #Constraints: 49632
1724.35/1733.51 c #Conflicts: 1744000 | #Constraints: 50644
1724.35/1733.51 c #Conflicts: 1745000 | #Constraints: 51648
1724.35/1733.51 c #Conflicts: 1746000 | #Constraints: 52654
1724.35/1733.51 c INPROCESSING
1724.35/1733.51 c GARBAGE COLLECT
1724.35/1733.51 c rational objective 14.1796
1754.65/1763.91 c #Conflicts: 1747000 | #Constraints: 25101
1754.65/1763.91 c #Conflicts: 1748000 | #Constraints: 26128
1754.65/1763.91 c #Conflicts: 1749000 | #Constraints: 27246
1754.65/1763.91 c #Conflicts: 1750000 | #Constraints: 28564
1754.65/1763.91 c #Conflicts: 1751000 | #Constraints: 29792
1754.65/1763.91 c #Conflicts: 1752000 | #Constraints: 31066
1754.65/1763.91 c #Conflicts: 1753000 | #Constraints: 32319
1754.65/1763.91 c #Conflicts: 1754000 | #Constraints: 33403
1754.65/1763.91 c #Conflicts: 1755000 | #Constraints: 34552
1754.65/1763.91 c #Conflicts: 1756000 | #Constraints: 35561
1754.65/1763.91 c #Conflicts: 1757000 | #Constraints: 36565
1754.65/1763.91 c #Conflicts: 1758000 | #Constraints: 37579
1754.65/1763.91 c #Conflicts: 1759000 | #Constraints: 38596
1754.65/1763.91 c #Conflicts: 1760000 | #Constraints: 39605
1754.65/1763.91 c #Conflicts: 1761000 | #Constraints: 40615
1754.65/1763.91 c #Conflicts: 1762000 | #Constraints: 41630
1754.65/1763.91 c #Conflicts: 1763000 | #Constraints: 42638
1754.65/1763.91 c #Conflicts: 1764000 | #Constraints: 43649
1754.65/1763.91 c #Conflicts: 1765000 | #Constraints: 44659
1754.65/1763.91 c #Conflicts: 1766000 | #Constraints: 45667
1754.65/1763.92 c #Conflicts: 1767000 | #Constraints: 46676
1754.65/1763.92 c #Conflicts: 1768000 | #Constraints: 47683
1754.65/1763.92 c #Conflicts: 1769000 | #Constraints: 48686
1754.65/1763.92 c #Conflicts: 1770000 | #Constraints: 49696
1754.65/1763.92 c #Conflicts: 1771000 | #Constraints: 50708
1754.65/1763.92 c #Conflicts: 1772000 | #Constraints: 51713
1754.65/1763.92 c #Conflicts: 1773000 | #Constraints: 52721
1754.65/1763.92 c INPROCESSING
1754.65/1763.92 c GARBAGE COLLECT
1754.65/1763.92 c rational objective 14.1799
1782.87/1792.23 c #Conflicts: 1774000 | #Constraints: 27395
1782.87/1792.23 c #Conflicts: 1775000 | #Constraints: 28400
1782.87/1792.23 c #Conflicts: 1776000 | #Constraints: 29405
1782.87/1792.23 c #Conflicts: 1777000 | #Constraints: 30410
1782.87/1792.23 c #Conflicts: 1778000 | #Constraints: 31419
1782.87/1792.23 c #Conflicts: 1779000 | #Constraints: 32431
1782.87/1792.23 c #Conflicts: 1780000 | #Constraints: 33444
1782.87/1792.23 c #Conflicts: 1781000 | #Constraints: 34461
1782.87/1792.23 c #Conflicts: 1782000 | #Constraints: 35472
1782.87/1792.23 c #Conflicts: 1783000 | #Constraints: 36474
1782.87/1792.23 c #Conflicts: 1784000 | #Constraints: 37485
1782.87/1792.23 c #Conflicts: 1785000 | #Constraints: 38494
1782.87/1792.23 c #Conflicts: 1786000 | #Constraints: 39506
1782.87/1792.23 c #Conflicts: 1787000 | #Constraints: 40524
1782.87/1792.23 c #Conflicts: 1788000 | #Constraints: 41533
1782.87/1792.23 c #Conflicts: 1789000 | #Constraints: 42542
1782.87/1792.23 c #Conflicts: 1790000 | #Constraints: 43545
1782.87/1792.23 c #Conflicts: 1791000 | #Constraints: 44551
1782.87/1792.23 c #Conflicts: 1792000 | #Constraints: 45557
1782.87/1792.23 c #Conflicts: 1793000 | #Constraints: 46561
1782.87/1792.23 c #Conflicts: 1794000 | #Constraints: 47565
1782.87/1792.23 c #Conflicts: 1795000 | #Constraints: 48581
1782.87/1792.23 c #Conflicts: 1796000 | #Constraints: 49595
1782.87/1792.23 c #Conflicts: 1797000 | #Constraints: 50617
1782.87/1792.23 c #Conflicts: 1798000 | #Constraints: 51622
1782.87/1792.23 c #Conflicts: 1799000 | #Constraints: 52626
1782.87/1792.23 c #Conflicts: 1800000 | #Constraints: 53636
1782.87/1792.23 c INPROCESSING
1782.87/1792.23 c GARBAGE COLLECT
1782.87/1792.23 c rational objective 14.18
1811.78/1821.20 c #Conflicts: 1801000 | #Constraints: 27948
1811.78/1821.20 c #Conflicts: 1802000 | #Constraints: 28958
1811.78/1821.20 c #Conflicts: 1803000 | #Constraints: 29973
1811.78/1821.20 c #Conflicts: 1804000 | #Constraints: 30990
1811.78/1821.20 c #Conflicts: 1805000 | #Constraints: 31999
1811.78/1821.20 c #Conflicts: 1806000 | #Constraints: 33011
1811.78/1821.20 c #Conflicts: 1807000 | #Constraints: 34022
1811.78/1821.20 c #Conflicts: 1808000 | #Constraints: 35033
1811.78/1821.20 c #Conflicts: 1809000 | #Constraints: 36038
1811.78/1821.20 c #Conflicts: 1810000 | #Constraints: 37043
1811.78/1821.20 c #Conflicts: 1811000 | #Constraints: 38048
1811.78/1821.20 c #Conflicts: 1812000 | #Constraints: 39055
1811.78/1821.20 c #Conflicts: 1813000 | #Constraints: 40066
1811.78/1821.20 c #Conflicts: 1814000 | #Constraints: 41073
1811.78/1821.20 c #Conflicts: 1815000 | #Constraints: 42090
1811.78/1821.20 c #Conflicts: 1816000 | #Constraints: 43106
1811.78/1821.20 c #Conflicts: 1817000 | #Constraints: 44109
1811.78/1821.20 c #Conflicts: 1818000 | #Constraints: 45115
1811.78/1821.20 c #Conflicts: 1819000 | #Constraints: 46121
1811.78/1821.20 c #Conflicts: 1820000 | #Constraints: 47129
1811.78/1821.20 c #Conflicts: 1821000 | #Constraints: 48134
1811.78/1821.20 c #Conflicts: 1822000 | #Constraints: 49140
1811.78/1821.20 c #Conflicts: 1823000 | #Constraints: 50145
1811.78/1821.20 c #Conflicts: 1824000 | #Constraints: 51153
1811.78/1821.20 c #Conflicts: 1825000 | #Constraints: 52160
1811.78/1821.20 c #Conflicts: 1826000 | #Constraints: 53172
1811.78/1821.20 c #Conflicts: 1827000 | #Constraints: 54179
1811.78/1821.20 c INPROCESSING
1811.78/1821.20 c GARBAGE COLLECT
1811.78/1821.20 c rational objective 14.1801
1840.20/1849.79 c #Conflicts: 1828000 | #Constraints: 28262
1840.20/1849.79 c #Conflicts: 1829000 | #Constraints: 29322
1840.20/1849.79 c #Conflicts: 1830000 | #Constraints: 30342
1840.20/1849.79 c #Conflicts: 1831000 | #Constraints: 31357
1840.20/1849.79 c #Conflicts: 1832000 | #Constraints: 32372
1840.20/1849.79 c #Conflicts: 1833000 | #Constraints: 33380
1840.20/1849.79 c #Conflicts: 1834000 | #Constraints: 34391
1840.20/1849.79 c #Conflicts: 1835000 | #Constraints: 35413
1840.20/1849.79 c #Conflicts: 1836000 | #Constraints: 36425
1840.20/1849.79 c #Conflicts: 1837000 | #Constraints: 37439
1840.20/1849.79 c #Conflicts: 1838000 | #Constraints: 38449
1840.20/1849.79 c #Conflicts: 1839000 | #Constraints: 39463
1840.20/1849.79 c #Conflicts: 1840000 | #Constraints: 40481
1840.20/1849.79 c #Conflicts: 1841000 | #Constraints: 41489
1840.20/1849.79 c #Conflicts: 1842000 | #Constraints: 42498
1840.20/1849.79 c #Conflicts: 1843000 | #Constraints: 43505
1840.20/1849.79 c #Conflicts: 1844000 | #Constraints: 44519
1840.20/1849.79 c #Conflicts: 1845000 | #Constraints: 45534
1840.20/1849.79 c #Conflicts: 1846000 | #Constraints: 46547
1840.20/1849.79 c #Conflicts: 1847000 | #Constraints: 47568
1840.20/1849.79 c #Conflicts: 1848000 | #Constraints: 48583
1840.20/1849.79 c #Conflicts: 1849000 | #Constraints: 49600
1840.20/1849.79 c #Conflicts: 1850000 | #Constraints: 50616
1840.20/1849.79 c #Conflicts: 1851000 | #Constraints: 51649
1840.20/1849.79 c #Conflicts: 1852000 | #Constraints: 52678
1840.20/1849.79 c #Conflicts: 1853000 | #Constraints: 53688
1840.20/1849.79 c #Conflicts: 1854000 | #Constraints: 54709
1840.20/1849.79 c INPROCESSING
1840.20/1849.79 c GARBAGE COLLECT
1840.20/1849.79 c rational objective 14.1806
1869.31/1878.98 c #Conflicts: 1855000 | #Constraints: 25901
1869.31/1878.98 c #Conflicts: 1856000 | #Constraints: 26912
1869.31/1878.98 c #Conflicts: 1857000 | #Constraints: 27920
1869.31/1878.98 c #Conflicts: 1858000 | #Constraints: 28928
1869.31/1878.98 c #Conflicts: 1859000 | #Constraints: 29934
1869.31/1878.98 c #Conflicts: 1860000 | #Constraints: 30942
1869.31/1878.98 c #Conflicts: 1861000 | #Constraints: 31951
1869.31/1878.98 c #Conflicts: 1862000 | #Constraints: 32958
1869.31/1878.98 c #Conflicts: 1863000 | #Constraints: 33966
1869.31/1878.98 c #Conflicts: 1864000 | #Constraints: 34975
1869.31/1878.98 c #Conflicts: 1865000 | #Constraints: 35982
1869.31/1878.98 c #Conflicts: 1866000 | #Constraints: 36999
1869.31/1878.98 c #Conflicts: 1867000 | #Constraints: 38008
1869.31/1878.98 c #Conflicts: 1868000 | #Constraints: 39015
1869.31/1878.98 c #Conflicts: 1869000 | #Constraints: 40022
1869.31/1878.98 c #Conflicts: 1870000 | #Constraints: 41029
1869.31/1878.98 c #Conflicts: 1871000 | #Constraints: 42036
1869.31/1878.98 c #Conflicts: 1872000 | #Constraints: 43043
1869.31/1878.98 c #Conflicts: 1873000 | #Constraints: 44050
1869.31/1878.98 c #Conflicts: 1874000 | #Constraints: 45054
1869.31/1878.98 c #Conflicts: 1875000 | #Constraints: 46059
1869.31/1878.98 c #Conflicts: 1876000 | #Constraints: 47068
1869.31/1878.98 c #Conflicts: 1877000 | #Constraints: 48074
1869.31/1878.98 c #Conflicts: 1878000 | #Constraints: 49077
1869.31/1878.98 c #Conflicts: 1879000 | #Constraints: 50084
1869.31/1878.98 c #Conflicts: 1880000 | #Constraints: 51093
1869.31/1878.98 c #Conflicts: 1881000 | #Constraints: 52099
1869.31/1878.98 c INPROCESSING
1869.31/1878.98 c GARBAGE COLLECT
1869.31/1878.98 c rational objective 14.1806
1900.82/1910.50 c #Conflicts: 1882000 | #Constraints: 26885
1900.82/1910.50 c #Conflicts: 1883000 | #Constraints: 27931
1900.82/1910.50 c #Conflicts: 1884000 | #Constraints: 28934
1900.82/1910.50 c #Conflicts: 1885000 | #Constraints: 29937
1900.82/1910.50 c #Conflicts: 1886000 | #Constraints: 30944
1900.82/1910.50 c #Conflicts: 1887000 | #Constraints: 31956
1900.82/1910.50 c #Conflicts: 1888000 | #Constraints: 32966
1900.82/1910.50 c #Conflicts: 1889000 | #Constraints: 33976
1900.82/1910.50 c #Conflicts: 1890000 | #Constraints: 34988
1900.82/1910.50 c #Conflicts: 1891000 | #Constraints: 36005
1900.82/1910.50 c #Conflicts: 1892000 | #Constraints: 37014
1900.82/1910.50 c #Conflicts: 1893000 | #Constraints: 38017
1900.82/1910.50 c #Conflicts: 1894000 | #Constraints: 39020
1900.82/1910.50 c #Conflicts: 1895000 | #Constraints: 40033
1900.82/1910.50 c #Conflicts: 1896000 | #Constraints: 41038
1900.82/1910.50 c #Conflicts: 1897000 | #Constraints: 42041
1900.82/1910.50 c #Conflicts: 1898000 | #Constraints: 43048
1900.82/1910.50 c #Conflicts: 1899000 | #Constraints: 44054
1900.82/1910.50 c #Conflicts: 1900000 | #Constraints: 45061
1900.82/1910.50 c #Conflicts: 1901000 | #Constraints: 46069
1900.82/1910.50 c #Conflicts: 1902000 | #Constraints: 47074
1900.82/1910.50 c #Conflicts: 1903000 | #Constraints: 48078
1900.82/1910.50 c #Conflicts: 1904000 | #Constraints: 49081
1900.82/1910.50 c #Conflicts: 1905000 | #Constraints: 50086
1900.82/1910.50 c #Conflicts: 1906000 | #Constraints: 51094
1900.82/1910.50 c #Conflicts: 1907000 | #Constraints: 52102
1900.82/1910.50 c #Conflicts: 1908000 | #Constraints: 53108
1900.82/1910.50 c #Conflicts: 1909000 | #Constraints: 54113
1900.82/1910.50 c INPROCESSING
1900.82/1910.50 c GARBAGE COLLECT
1900.82/1910.50 c rational objective 14.1806
1930.82/1940.68 c #Conflicts: 1910000 | #Constraints: 28144
1930.82/1940.68 c #Conflicts: 1911000 | #Constraints: 29158
1930.82/1940.68 c #Conflicts: 1912000 | #Constraints: 30166
1930.82/1940.68 c #Conflicts: 1913000 | #Constraints: 31177
1930.82/1940.68 c #Conflicts: 1914000 | #Constraints: 32190
1930.82/1940.68 c #Conflicts: 1915000 | #Constraints: 33203
1930.82/1940.68 c #Conflicts: 1916000 | #Constraints: 34216
1930.82/1940.68 c #Conflicts: 1917000 | #Constraints: 35224
1930.82/1940.68 c #Conflicts: 1918000 | #Constraints: 36234
1930.82/1940.68 c #Conflicts: 1919000 | #Constraints: 37238
1930.82/1940.68 c #Conflicts: 1920000 | #Constraints: 38244
1930.82/1940.68 c #Conflicts: 1921000 | #Constraints: 39249
1930.82/1940.68 c #Conflicts: 1922000 | #Constraints: 40253
1930.82/1940.68 c #Conflicts: 1923000 | #Constraints: 41261
1930.82/1940.68 c #Conflicts: 1924000 | #Constraints: 42272
1930.82/1940.68 c #Conflicts: 1925000 | #Constraints: 43279
1930.82/1940.68 c #Conflicts: 1926000 | #Constraints: 44290
1930.82/1940.68 c #Conflicts: 1927000 | #Constraints: 45299
1930.82/1940.68 c #Conflicts: 1928000 | #Constraints: 46309
1930.82/1940.68 c #Conflicts: 1929000 | #Constraints: 47317
1930.82/1940.68 c #Conflicts: 1930000 | #Constraints: 48320
1930.82/1940.68 c #Conflicts: 1931000 | #Constraints: 49323
1930.82/1940.68 c #Conflicts: 1932000 | #Constraints: 50330
1930.82/1940.68 c #Conflicts: 1933000 | #Constraints: 51336
1930.82/1940.68 c #Conflicts: 1934000 | #Constraints: 52344
1930.82/1940.68 c #Conflicts: 1935000 | #Constraints: 53358
1930.82/1940.68 c #Conflicts: 1936000 | #Constraints: 54367
1930.82/1940.68 c #Conflicts: 1937000 | #Constraints: 55375
1930.82/1940.68 c INPROCESSING
1930.82/1940.68 c GARBAGE COLLECT
1930.82/1940.68 c rational objective 14.1807
1960.63/1970.52 c #Conflicts: 1938000 | #Constraints: 28816
1960.63/1970.52 c #Conflicts: 1939000 | #Constraints: 29819
1960.63/1970.52 c #Conflicts: 1940000 | #Constraints: 30831
1960.63/1970.52 c #Conflicts: 1941000 | #Constraints: 31836
1960.63/1970.52 c #Conflicts: 1942000 | #Constraints: 32839
1960.63/1970.52 c #Conflicts: 1943000 | #Constraints: 33848
1960.63/1970.52 c #Conflicts: 1944000 | #Constraints: 34855
1960.63/1970.52 c #Conflicts: 1945000 | #Constraints: 35861
1960.63/1970.52 c #Conflicts: 1946000 | #Constraints: 36870
1960.63/1970.52 c #Conflicts: 1947000 | #Constraints: 37876
1960.63/1970.52 c #Conflicts: 1948000 | #Constraints: 38888
1960.63/1970.52 c #Conflicts: 1949000 | #Constraints: 39895
1960.63/1970.52 c #Conflicts: 1950000 | #Constraints: 40899
1960.63/1970.52 c #Conflicts: 1951000 | #Constraints: 41915
1960.63/1970.52 c #Conflicts: 1952000 | #Constraints: 42920
1960.63/1970.52 c #Conflicts: 1953000 | #Constraints: 43927
1960.63/1970.52 c #Conflicts: 1954000 | #Constraints: 44941
1960.63/1970.52 c #Conflicts: 1955000 | #Constraints: 45951
1960.63/1970.52 c #Conflicts: 1956000 | #Constraints: 46960
1960.63/1970.52 c #Conflicts: 1957000 | #Constraints: 47991
1960.63/1970.52 c #Conflicts: 1958000 | #Constraints: 49010
1960.63/1970.52 c #Conflicts: 1959000 | #Constraints: 50016
1960.63/1970.52 c #Conflicts: 1960000 | #Constraints: 51030
1960.63/1970.52 c #Conflicts: 1961000 | #Constraints: 52042
1960.63/1970.52 c #Conflicts: 1962000 | #Constraints: 53051
1960.63/1970.52 c #Conflicts: 1963000 | #Constraints: 54061
1960.63/1970.52 c #Conflicts: 1964000 | #Constraints: 55075
1960.63/1970.52 c #Conflicts: 1965000 | #Constraints: 56084
1960.63/1970.52 c INPROCESSING
1960.63/1970.52 c GARBAGE COLLECT
1960.63/1970.52 c rational objective 14.1816
1991.44/2001.42 c #Conflicts: 1966000 | #Constraints: 29397
1991.44/2001.42 c #Conflicts: 1967000 | #Constraints: 30438
1991.44/2001.42 c #Conflicts: 1968000 | #Constraints: 31450
1991.44/2001.42 c #Conflicts: 1969000 | #Constraints: 32458
1991.44/2001.42 c #Conflicts: 1970000 | #Constraints: 33466
1991.44/2001.42 c #Conflicts: 1971000 | #Constraints: 34477
1991.44/2001.42 c #Conflicts: 1972000 | #Constraints: 35483
1991.44/2001.42 c #Conflicts: 1973000 | #Constraints: 36492
1991.44/2001.42 c #Conflicts: 1974000 | #Constraints: 37501
1991.44/2001.42 c #Conflicts: 1975000 | #Constraints: 38507
1991.44/2001.42 c #Conflicts: 1976000 | #Constraints: 39525
1991.44/2001.42 c #Conflicts: 1977000 | #Constraints: 40529
1991.44/2001.42 c #Conflicts: 1978000 | #Constraints: 41537
1991.44/2001.42 c #Conflicts: 1979000 | #Constraints: 42547
1991.44/2001.42 c #Conflicts: 1980000 | #Constraints: 43553
1991.44/2001.42 c #Conflicts: 1981000 | #Constraints: 44560
1991.44/2001.42 c #Conflicts: 1982000 | #Constraints: 45565
1991.44/2001.42 c #Conflicts: 1983000 | #Constraints: 46572
1991.44/2001.42 c #Conflicts: 1984000 | #Constraints: 47577
1991.44/2001.42 c #Conflicts: 1985000 | #Constraints: 48580
1991.44/2001.42 c #Conflicts: 1986000 | #Constraints: 49583
1991.44/2001.42 c #Conflicts: 1987000 | #Constraints: 50589
1991.44/2001.42 c #Conflicts: 1988000 | #Constraints: 51595
1991.44/2001.42 c #Conflicts: 1989000 | #Constraints: 52606
1991.44/2001.42 c #Conflicts: 1990000 | #Constraints: 53615
1991.44/2001.42 c #Conflicts: 1991000 | #Constraints: 54623
1991.44/2001.42 c #Conflicts: 1992000 | #Constraints: 55628
1991.44/2001.42 c #Conflicts: 1993000 | #Constraints: 56642
1991.44/2001.42 c INPROCESSING
1991.44/2001.42 c GARBAGE COLLECT
1991.44/2001.42 c rational objective 14.1816
2023.24/2033.37 c #Conflicts: 1994000 | #Constraints: 29355
2023.24/2033.37 c #Conflicts: 1995000 | #Constraints: 30361
2023.24/2033.37 c #Conflicts: 1996000 | #Constraints: 31366
2023.24/2033.37 c #Conflicts: 1997000 | #Constraints: 32372
2023.24/2033.37 c #Conflicts: 1998000 | #Constraints: 33381
2023.24/2033.37 c #Conflicts: 1999000 | #Constraints: 34383
2023.24/2033.37 c #Conflicts: 2000000 | #Constraints: 35391
2023.24/2033.37 c #Conflicts: 2001000 | #Constraints: 36405
2023.24/2033.37 c #Conflicts: 2002000 | #Constraints: 37413
2023.24/2033.37 c #Conflicts: 2003000 | #Constraints: 38419
2023.24/2033.37 c #Conflicts: 2004000 | #Constraints: 39426
2023.24/2033.37 c #Conflicts: 2005000 | #Constraints: 40430
2023.24/2033.37 c #Conflicts: 2006000 | #Constraints: 41441
2023.24/2033.37 c #Conflicts: 2007000 | #Constraints: 42450
2023.24/2033.37 c #Conflicts: 2008000 | #Constraints: 43457
2023.24/2033.37 c #Conflicts: 2009000 | #Constraints: 44463
2023.24/2033.37 c #Conflicts: 2010000 | #Constraints: 45474
2023.24/2033.37 c #Conflicts: 2011000 | #Constraints: 46479
2023.24/2033.37 c #Conflicts: 2012000 | #Constraints: 47484
2023.24/2033.37 c #Conflicts: 2013000 | #Constraints: 48491
2023.24/2033.37 c #Conflicts: 2014000 | #Constraints: 49496
2023.24/2033.37 c #Conflicts: 2015000 | #Constraints: 50502
2023.24/2033.37 c #Conflicts: 2016000 | #Constraints: 51512
2023.24/2033.37 c #Conflicts: 2017000 | #Constraints: 52527
2023.24/2033.37 c #Conflicts: 2018000 | #Constraints: 53544
2023.24/2033.37 c #Conflicts: 2019000 | #Constraints: 54557
2023.24/2033.37 c #Conflicts: 2020000 | #Constraints: 55570
2023.24/2033.37 c #Conflicts: 2021000 | #Constraints: 56575
2023.24/2033.37 c INPROCESSING
2023.24/2033.37 c GARBAGE COLLECT
2023.24/2033.37 c rational objective 14.3711
2053.45/2063.63 c #Conflicts: 2022000 | #Constraints: 24231
2053.45/2063.63 c #Conflicts: 2023000 | #Constraints: 25249
2053.45/2063.63 c #Conflicts: 2024000 | #Constraints: 26255
2053.45/2063.63 c #Conflicts: 2025000 | #Constraints: 27264
2053.45/2063.63 c #Conflicts: 2026000 | #Constraints: 28272
2053.45/2063.63 c #Conflicts: 2027000 | #Constraints: 29277
2053.45/2063.63 c #Conflicts: 2028000 | #Constraints: 30288
2053.45/2063.63 c #Conflicts: 2029000 | #Constraints: 31297
2053.45/2063.63 c #Conflicts: 2030000 | #Constraints: 32305
2053.45/2063.63 c #Conflicts: 2031000 | #Constraints: 33314
2053.45/2063.63 c #Conflicts: 2032000 | #Constraints: 34318
2053.45/2063.63 c #Conflicts: 2033000 | #Constraints: 35329
2053.45/2063.63 c #Conflicts: 2034000 | #Constraints: 36334
2053.45/2063.63 c #Conflicts: 2035000 | #Constraints: 37347
2053.45/2063.63 c #Conflicts: 2036000 | #Constraints: 38358
2053.45/2063.63 c #Conflicts: 2037000 | #Constraints: 39370
2053.45/2063.63 c #Conflicts: 2038000 | #Constraints: 40381
2053.45/2063.63 c #Conflicts: 2039000 | #Constraints: 41390
2053.45/2063.63 c #Conflicts: 2040000 | #Constraints: 42392
2053.45/2063.63 c #Conflicts: 2041000 | #Constraints: 43399
2053.45/2063.63 c #Conflicts: 2042000 | #Constraints: 44408
2053.45/2063.63 c #Conflicts: 2043000 | #Constraints: 45414
2053.45/2063.63 c #Conflicts: 2044000 | #Constraints: 46420
2053.45/2063.63 c #Conflicts: 2045000 | #Constraints: 47428
2053.45/2063.63 c #Conflicts: 2046000 | #Constraints: 48437
2053.45/2063.63 c #Conflicts: 2047000 | #Constraints: 49447
2053.45/2063.63 c #Conflicts: 2048000 | #Constraints: 50452
2053.45/2063.63 c #Conflicts: 2049000 | #Constraints: 51459
2053.45/2063.63 c #Conflicts: 2050000 | #Constraints: 52463
2053.45/2063.63 c INPROCESSING
2053.45/2063.63 c GARBAGE COLLECT
2053.45/2063.63 c rational objective 14.4211
2086.75/2097.07 c #Conflicts: 2051000 | #Constraints: 27261
2086.75/2097.07 c #Conflicts: 2052000 | #Constraints: 28267
2086.75/2097.07 c #Conflicts: 2053000 | #Constraints: 29269
2086.75/2097.07 c #Conflicts: 2054000 | #Constraints: 30278
2086.75/2097.07 c #Conflicts: 2055000 | #Constraints: 31301
2086.75/2097.07 c #Conflicts: 2056000 | #Constraints: 32316
2086.75/2097.07 c #Conflicts: 2057000 | #Constraints: 33325
2086.75/2097.07 c #Conflicts: 2058000 | #Constraints: 34334
2086.75/2097.07 c #Conflicts: 2059000 | #Constraints: 35338
2086.75/2097.07 c #Conflicts: 2060000 | #Constraints: 36351
2086.75/2097.07 c #Conflicts: 2061000 | #Constraints: 37364
2086.75/2097.07 c #Conflicts: 2062000 | #Constraints: 38369
2086.75/2097.07 c #Conflicts: 2063000 | #Constraints: 39383
2086.75/2097.07 c #Conflicts: 2064000 | #Constraints: 40394
2086.75/2097.07 c #Conflicts: 2065000 | #Constraints: 41399
2086.75/2097.07 c #Conflicts: 2066000 | #Constraints: 42421
2086.75/2097.07 c #Conflicts: 2067000 | #Constraints: 43446
2086.75/2097.07 c #Conflicts: 2068000 | #Constraints: 44457
2086.75/2097.07 c #Conflicts: 2069000 | #Constraints: 45465
2086.75/2097.07 c #Conflicts: 2070000 | #Constraints: 46482
2086.75/2097.07 c #Conflicts: 2071000 | #Constraints: 47494
2086.75/2097.07 c #Conflicts: 2072000 | #Constraints: 48511
2086.75/2097.07 c #Conflicts: 2073000 | #Constraints: 49519
2086.75/2097.07 c #Conflicts: 2074000 | #Constraints: 50526
2086.75/2097.07 c #Conflicts: 2075000 | #Constraints: 51530
2086.75/2097.07 c #Conflicts: 2076000 | #Constraints: 52541
2086.75/2097.07 c #Conflicts: 2077000 | #Constraints: 53559
2086.75/2097.07 c #Conflicts: 2078000 | #Constraints: 54564
2086.75/2097.07 c #Conflicts: 2079000 | #Constraints: 55578
2086.75/2097.07 c INPROCESSING
2086.75/2097.07 c GARBAGE COLLECT
2086.75/2097.07 c rational objective 14.4211
2122.24/2132.64 c #Conflicts: 2080000 | #Constraints: 28925
2122.24/2132.64 c #Conflicts: 2081000 | #Constraints: 29934
2122.24/2132.64 c #Conflicts: 2082000 | #Constraints: 30950
2122.24/2132.64 c #Conflicts: 2083000 | #Constraints: 31956
2122.24/2132.64 c #Conflicts: 2084000 | #Constraints: 32961
2122.24/2132.64 c #Conflicts: 2085000 | #Constraints: 33970
2122.24/2132.64 c #Conflicts: 2086000 | #Constraints: 34978
2122.24/2132.64 c #Conflicts: 2087000 | #Constraints: 35986
2122.24/2132.64 c #Conflicts: 2088000 | #Constraints: 36995
2122.24/2132.64 c #Conflicts: 2089000 | #Constraints: 38008
2122.24/2132.64 c #Conflicts: 2090000 | #Constraints: 39016
2122.24/2132.64 c #Conflicts: 2091000 | #Constraints: 40027
2122.24/2132.64 c #Conflicts: 2092000 | #Constraints: 41040
2122.24/2132.64 c #Conflicts: 2093000 | #Constraints: 42049
2122.24/2132.64 c #Conflicts: 2094000 | #Constraints: 43058
2122.24/2132.64 c #Conflicts: 2095000 | #Constraints: 44067
2122.24/2132.64 c #Conflicts: 2096000 | #Constraints: 45076
2122.24/2132.64 c #Conflicts: 2097000 | #Constraints: 46082
2122.24/2132.64 c #Conflicts: 2098000 | #Constraints: 47088
2122.24/2132.64 c #Conflicts: 2099000 | #Constraints: 48098
2122.24/2132.64 c #Conflicts: 2100000 | #Constraints: 49106
2122.24/2132.64 c #Conflicts: 2101000 | #Constraints: 50117
2122.24/2132.64 c #Conflicts: 2102000 | #Constraints: 51123
2122.24/2132.64 c #Conflicts: 2103000 | #Constraints: 52129
2122.24/2132.64 c #Conflicts: 2104000 | #Constraints: 53136
2122.24/2132.64 c #Conflicts: 2105000 | #Constraints: 54143
2122.24/2132.64 c #Conflicts: 2106000 | #Constraints: 55148
2122.24/2132.64 c #Conflicts: 2107000 | #Constraints: 56157
2122.24/2132.64 c #Conflicts: 2108000 | #Constraints: 57164
2122.24/2132.64 c INPROCESSING
2122.24/2132.64 c GARBAGE COLLECT
2122.24/2132.64 c rational objective 14.4211
2161.03/2171.54 c #Conflicts: 2109000 | #Constraints: 29789
2161.03/2171.54 c #Conflicts: 2110000 | #Constraints: 30798
2161.03/2171.54 c #Conflicts: 2111000 | #Constraints: 31805
2161.03/2171.54 c #Conflicts: 2112000 | #Constraints: 32814
2161.03/2171.54 c #Conflicts: 2113000 | #Constraints: 33822
2161.03/2171.54 c #Conflicts: 2114000 | #Constraints: 34828
2161.03/2171.54 c #Conflicts: 2115000 | #Constraints: 35845
2161.03/2171.54 c #Conflicts: 2116000 | #Constraints: 36863
2161.03/2171.54 c #Conflicts: 2117000 | #Constraints: 37880
2161.03/2171.54 c #Conflicts: 2118000 | #Constraints: 38895
2161.03/2171.54 c #Conflicts: 2119000 | #Constraints: 39907
2161.03/2171.54 c #Conflicts: 2120000 | #Constraints: 40924
2161.03/2171.54 c #Conflicts: 2121000 | #Constraints: 41939
2161.03/2171.54 c #Conflicts: 2122000 | #Constraints: 42946
2161.03/2171.54 c #Conflicts: 2123000 | #Constraints: 43953
2161.03/2171.54 c #Conflicts: 2124000 | #Constraints: 44961
2161.03/2171.54 c #Conflicts: 2125000 | #Constraints: 45969
2161.03/2171.54 c #Conflicts: 2126000 | #Constraints: 46982
2161.03/2171.54 c #Conflicts: 2127000 | #Constraints: 47995
2161.03/2171.54 c #Conflicts: 2128000 | #Constraints: 49004
2161.03/2171.54 c #Conflicts: 2129000 | #Constraints: 50010
2161.03/2171.54 c #Conflicts: 2130000 | #Constraints: 51026
2161.03/2171.54 c #Conflicts: 2131000 | #Constraints: 52042
2161.03/2171.54 c #Conflicts: 2132000 | #Constraints: 53050
2161.03/2171.54 c #Conflicts: 2133000 | #Constraints: 54056
2161.03/2171.54 c #Conflicts: 2134000 | #Constraints: 55066
2161.03/2171.54 c #Conflicts: 2135000 | #Constraints: 56077
2161.03/2171.54 c #Conflicts: 2136000 | #Constraints: 57081
2161.03/2171.54 c #Conflicts: 2137000 | #Constraints: 58086
2161.03/2171.54 c INPROCESSING
2161.03/2171.54 c GARBAGE COLLECT
2161.03/2171.54 c rational objective 14.4211
2187.15/2197.77 c #Conflicts: 2138000 | #Constraints: 30080
2187.15/2197.77 c #Conflicts: 2139000 | #Constraints: 31093
2187.15/2197.77 c #Conflicts: 2140000 | #Constraints: 32100
2187.15/2197.77 c #Conflicts: 2141000 | #Constraints: 33105
2187.15/2197.77 c #Conflicts: 2142000 | #Constraints: 34111
2187.15/2197.77 c #Conflicts: 2143000 | #Constraints: 35120
2187.15/2197.77 c #Conflicts: 2144000 | #Constraints: 36133
2187.15/2197.77 c #Conflicts: 2145000 | #Constraints: 37142
2187.15/2197.77 c #Conflicts: 2146000 | #Constraints: 38151
2187.15/2197.77 c #Conflicts: 2147000 | #Constraints: 39155
2187.15/2197.77 c #Conflicts: 2148000 | #Constraints: 40161
2187.15/2197.77 c #Conflicts: 2149000 | #Constraints: 41164
2187.15/2197.77 c #Conflicts: 2150000 | #Constraints: 42171
2187.15/2197.77 c #Conflicts: 2151000 | #Constraints: 43181
2187.15/2197.77 c #Conflicts: 2152000 | #Constraints: 44188
2187.15/2197.77 c #Conflicts: 2153000 | #Constraints: 45191
2187.15/2197.77 c #Conflicts: 2154000 | #Constraints: 46193
2187.15/2197.77 c #Conflicts: 2155000 | #Constraints: 47199
2187.15/2197.77 c #Conflicts: 2156000 | #Constraints: 48203
2187.15/2197.77 c #Conflicts: 2157000 | #Constraints: 49209
2187.15/2197.77 c #Conflicts: 2158000 | #Constraints: 50210
2187.15/2197.77 c bounds 17 >= 14 @ 2145.58
2199.52/2210.16 c #Conflicts: 2159000 | #Constraints: 51244
2199.52/2210.16 c #Conflicts: 2160000 | #Constraints: 52246
2199.52/2210.16 c #Conflicts: 2161000 | #Constraints: 53252
2199.52/2210.16 c #Conflicts: 2162000 | #Constraints: 54259
2199.52/2210.16 c #Conflicts: 2163000 | #Constraints: 55269
2199.52/2210.16 c #Conflicts: 2164000 | #Constraints: 56277
2199.52/2210.16 c #Conflicts: 2165000 | #Constraints: 57281
2199.52/2210.16 c #Conflicts: 2166000 | #Constraints: 58284
2199.52/2210.16 c INPROCESSING
2199.52/2210.16 c GARBAGE COLLECT
2199.52/2210.16 c rational objective 14.4211
2206.50/2217.15 c #Conflicts: 2167000 | #Constraints: 29977
2206.50/2217.15 c #Conflicts: 2168000 | #Constraints: 30990
2206.50/2217.15 c #Conflicts: 2169000 | #Constraints: 31998
2206.50/2217.15 c #Conflicts: 2170000 | #Constraints: 33007
2206.50/2217.15 c #Conflicts: 2171000 | #Constraints: 34014
2206.50/2217.15 c #Conflicts: 2172000 | #Constraints: 35024
2206.50/2217.15 c #Conflicts: 2173000 | #Constraints: 36026
2206.50/2217.15 c #Conflicts: 2174000 | #Constraints: 37038
2206.50/2217.15 c bounds 17 >= 17 @ 2164.57
2206.50/2217.15 c cpu time 2164.57 s
2206.50/2217.15 c deterministic time 139614930098 1.40e+11
2206.50/2217.15 c optimization time 0.005902 s
2206.50/2217.15 c total solve time 2164.56 s
2206.50/2217.15 c core-guided solve time 1101.4 s
2206.50/2217.15 c propagation time 1272.61 s
2206.50/2217.15 c conflict analysis time 810.812 s
2206.50/2217.15 c propagations 213812274
2206.50/2217.15 c resolve steps 13804396
2206.50/2217.15 c decisions 6123481
2206.50/2217.15 c conflicts 2174359
2206.50/2217.15 c restarts 4093
2206.50/2217.15 c inprocessing phases 138
2206.50/2217.15 c garbage collections 138 ,( 100.00 )
2206.50/2217.15 c input clauses 157 ,( 48.61 )
2206.50/2217.15 c input cardinalities 99 ,( 30.65 )
2206.50/2217.15 c input general constraints 67 ,( 20.74 )
2206.50/2217.15 c input average constraint length 49.09
2206.50/2217.15 c input average constraint degree 23.78
2206.50/2217.15 c learned clauses 936535 ,( 42.53 )
2206.50/2217.15 c learned cardinalities 1442 ,( 0.07 )
2206.50/2217.15 c learned general constraints 1264200 ,( 57.41 )
2206.50/2217.15 c learned average constraint length 82.89
2206.50/2217.15 c learned average constraint degree 3623712636.44
2206.50/2217.15 c watched CF 32, 64, 128, Arb: 82986 , 0 , 0 , 0
2206.50/2217.15 c counting CF 32, 64, 128, Arb: 1181282 , 0 , 0 , 0
2206.50/2217.15 c watched constraints 82986 ,( 6.56 )
2206.50/2217.15 c counting constraints 1181281 ,( 93.44 )
2206.50/2217.15 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 201150623 , 573653182 , 7203195206 ,( 189280372 , 7013914834 )
2206.50/2217.15 c gcd simplifications 260608
2206.50/2217.15 c detected cardinalities 28
2206.50/2217.15 c weakened non-implied lits 316292758
2206.50/2217.15 c weakened non-implying lits 860110
2206.50/2217.15 c original variables 299
2206.50/2217.15 c clausal propagations 9713743
2206.50/2217.15 c cardinality propagations 2714993
2206.50/2217.15 c watched propagations 429101
2206.50/2217.15 c counting propagations 192788311
2206.50/2217.15 c watch lookups 117242256301
2206.50/2217.15 c watch backjump lookups 0
2206.50/2217.15 c watch checks 4234503696
2206.50/2217.15 c propagation checks 15328196569
2206.50/2217.15 c constraint additions 2365728785
2206.50/2217.15 c trail pops 222088168
2206.50/2217.15 c formula constraints 103
2206.50/2217.15 c learned constraints 2152671
2206.50/2217.15 c bound constraints 33
2206.50/2217.15 c core-guided constraints 187
2206.50/2217.15 c encountered formula constraints 1822925
2206.50/2217.15 c encountered learned constraints 5930365
2206.50/2217.15 c encountered bound constraints 227
2206.50/2217.15 c encountered core-guided constraints 996344
2206.50/2217.15 c LP total time 72.3357 s
2206.50/2217.15 c LP solve time 47.3 s
2206.50/2217.15 c LP constraints added 241
2206.50/2217.15 c LP constraints removed 134
2206.50/2217.15 c LP pivots internal 2174396
2206.50/2217.15 c LP pivots root 46427
2206.50/2217.15 c LP calls 29046
2206.50/2217.15 c LP optimalities 1167
2206.50/2217.15 c LP no pivot count 6
2206.50/2217.15 c LP infeasibilities 27775
2206.50/2217.15 c LP valid Farkas constraints 27680
2206.50/2217.15 c LP learned Farkas constraints 21689
2206.50/2217.15 c LP basis resets 198
2206.50/2217.15 c LP cycling count 102
2206.50/2217.15 c LP singular count 1
2206.50/2217.15 c LP no primal count 0
2206.50/2217.15 c LP no farkas count 95
2206.50/2217.15 c LP other issue count 0
2206.50/2217.15 c LP Gomory cuts 137
2206.50/2217.15 c LP learned cuts 1
2206.50/2217.15 c LP deleted cuts 134
2206.50/2217.15 c LP encountered Gomory constraints 0
2206.50/2217.15 c LP encountered Farkas constraints 6838569
2206.50/2217.15 c LP encountered learned Farkas constraints 368636
2206.50/2217.15 c CG auxiliary variables introduced 67
2206.50/2217.15 c CG solutions found 19
2206.50/2217.15 c CG cores constructed 14
2206.50/2217.15 c CG core cardinality constraints returned 0
2206.50/2217.15 c CG unit cores 0
2206.50/2217.15 c CG single cores 14
2206.50/2217.15 c CG blocks removed during cardinality reduction 0
2206.50/2217.15 c CG first core best 0
2206.50/2217.15 c CG decision core best 0
2206.50/2217.15 c CG core reduction tie 0
2206.50/2217.15 c CG core degree average 1.00
2206.50/2217.15 c CG core slack average 24.07
2206.50/2217.15 c CG core upper bound improvements 29
2206.50/2217.15 c STR number of successful calls 0
2206.50/2217.15 c STR number of unsuccessful calls 0
2206.50/2217.15 c STR number of inconclusive calls 0
2206.50/2217.15 c STR number of successful attempts 0
2206.50/2217.15 c STR number of unsuccessful attempts 0
2206.50/2217.15 c STR number of inconclusive attempts 0
2206.50/2217.15 c STR average degree increase per successful call inf
2206.50/2217.15 c STR average degree increase per successful attempt inf
2206.50/2217.15 c STR total number of conflicts for successful attempts 0
2206.50/2217.15 c STR total number of conflicts for unsuccessful attempts 0
2206.50/2217.15 c STR total number of conflicts for inconclusive attempts 0
2206.50/2217.15 c STR average number of conflicts per successful attempt inf
2206.50/2217.15 c STR average number of conflicts per unsuccessful attempt inf
2206.50/2217.15 c STR average number of conflicts per inconclusive attempt inf
2206.50/2217.15 c AVG.sumWPerc 75.70
2206.50/2217.15 c bigint constraints 0
2206.50/2217.15 o 17
2206.50/2217.15 s OPTIMUM FOUND
2207.42/2222.79 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
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: 63665 MiB (58291 MiB free)
memory of node 1: 64507 MiB (59652 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491075-1751376949/watcher-4491075-1751376949 -o /tmp/evaluation-result-4491075-1751376949/solver-4491075-1751376949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51010 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4491075-1751376949.opb PROOFDIR/proof-4491075-1751376949
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=52264, runsolver pid=52261
[startup+0.100068 s]*
/proc/loadavg: 4.58 4.20 4.12 5/272 52267
/proc/meminfo: memFree=120774572/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=57224 memory=11904 CPUtime=0.07 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 832 0 0 0 7 0 0 0 20 0 1 0 53373719 58597376 2976 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 14306 2976 2368 1147 0 1733 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61416 KiB
Current children cumulated memory: 14976 KiB
[startup+0.205787 s]*
/proc/loadavg: 4.58 4.20 4.12 5/272 52267
/proc/meminfo: memFree=120774572/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=59340 memory=16440 CPUtime=0.17 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 1408 0 0 0 17 0 0 0 20 0 1 0 53373719 60764160 4110 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 14835 4110 2432 1147 0 2262 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63532 KiB
Current children cumulated memory: 19512 KiB
[startup+0.305721 s]*
/proc/loadavg: 4.58 4.20 4.12 5/272 52267
/proc/meminfo: memFree=120774572/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=60272 memory=17336 CPUtime=0.27 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 1630 0 0 0 26 1 0 0 20 0 1 0 53373719 61718528 4334 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 15068 4334 2432 1147 0 2495 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 64464 KiB
Current children cumulated memory: 20408 KiB
[startup+0.700244 s]
/proc/loadavg: 4.58 4.20 4.12 5/272 52267
/proc/meminfo: memFree=120774572/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=63380 memory=20280 CPUtime=0.67 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 2361 0 0 0 63 4 0 0 20 0 1 0 53373719 64901120 5070 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 15845 5070 2432 1147 0 3272 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 67572 KiB
Current children cumulated memory: 23352 KiB
[startup+1.50021 s]
/proc/loadavg: 4.58 4.20 4.12 5/272 52267
/proc/meminfo: memFree=120766492/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=64164 memory=23056 CPUtime=1.46 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 2540 0 0 0 140 6 0 0 20 0 1 0 53373719 65703936 5764 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 16041 5764 2432 1147 0 3468 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68356 KiB
Current children cumulated memory: 26128 KiB
[startup+3.10558 s]
/proc/loadavg: 4.58 4.20 4.12 5/272 52267
/proc/meminfo: memFree=120762248/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=73264 memory=29200 CPUtime=3.06 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 4087 0 0 0 295 11 0 0 20 0 1 0 53373719 75022336 7300 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 18316 7300 2432 1147 0 5743 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 77456 KiB
Current children cumulated memory: 32272 KiB
[startup+6.3002 s]
/proc/loadavg: 4.61 4.21 4.13 5/272 52267
/proc/meminfo: memFree=120717340/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=77404 memory=32656 CPUtime=6.25 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 4931 0 0 0 602 23 0 0 20 0 1 0 53373719 79261696 8164 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 19351 8164 2432 1147 0 6778 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 35728 KiB
[startup+12.7002 s]
/proc/loadavg: 4.56 4.21 4.13 5/272 52267
/proc/meminfo: memFree=120596368/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=82352 memory=37648 CPUtime=12.62 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 6228 0 0 0 1223 39 0 0 20 0 1 0 53373719 84328448 9412 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 20588 9412 2432 1147 0 8015 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 86544 KiB
Current children cumulated memory: 40720 KiB
[startup+25.5002 s]
/proc/loadavg: 4.44 4.20 4.12 5/272 52268
/proc/meminfo: memFree=120371536/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=85988 memory=42384 CPUtime=25.4 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 7371 0 0 0 2463 77 0 0 20 0 1 0 53373719 88051712 10596 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 21497 10596 2528 1147 0 8924 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 90180 KiB
Current children cumulated memory: 45456 KiB
[startup+51.1055 s]
/proc/loadavg: 4.36 4.20 4.13 5/271 52268
/proc/meminfo: memFree=119876920/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=101676 memory=55580 CPUtime=50.92 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 10299 0 0 0 4949 143 0 0 20 0 1 0 53373719 104116224 13895 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 25419 13895 2528 1147 0 12846 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 105868 KiB
Current children cumulated memory: 58652 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/272 52272
/proc/meminfo: memFree=119206620/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=115384 memory=63260 CPUtime=101.96 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 12868 0 0 0 9934 262 0 0 20 0 1 0 53373719 118153216 15815 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 28846 15815 2528 1147 0 16273 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 119576 KiB
Current children cumulated memory: 66332 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/273 52275
/proc/meminfo: memFree=118219172/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=126764 memory=74928 CPUtime=161.76 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 16407 0 0 0 15778 398 0 0 20 0 1 0 53373719 129806336 18732 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 31691 18732 2528 1147 0 19118 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 130956 KiB
Current children cumulated memory: 78000 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/274 52278
/proc/meminfo: memFree=117389076/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=136392 memory=84504 CPUtime=221.56 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 18818 0 0 0 21640 516 0 0 20 0 1 0 53373719 139665408 21126 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 34098 21126 2528 1147 0 21525 0
################
# More data... #
################
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 44888 0 0 0 191512 3734 0 0 20 0 1 0 53373719 249921536 46918 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 61016 46918 2528 1147 0 48443 0
Current children cumulated CPU time: 1952.46 s
Current children cumulated vsize: 248256 KiB
Current children cumulated memory: 190744 KiB
[startup+2022.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/273 52479
/proc/meminfo: memFree=91400944/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=244064 memory=187672 CPUtime=2012.28 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 44895 0 0 0 197382 3846 0 0 20 0 1 0 53373719 249921536 46918 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 61016 46918 2528 1147 0 48443 0
Current children cumulated CPU time: 2012.28 s
Current children cumulated vsize: 248256 KiB
Current children cumulated memory: 190744 KiB
[startup+2082.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/272 52529
/proc/meminfo: memFree=90113184/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=244592 memory=188056 CPUtime=2072.1 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 44990 0 0 0 203244 3966 0 0 20 0 1 0 53373719 250462208 47014 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 61148 47014 2528 1147 0 48575 0
Current children cumulated CPU time: 2072.1 s
Current children cumulated vsize: 248784 KiB
Current children cumulated memory: 191128 KiB
[startup+2142.3 s]
/proc/loadavg: 4.04 4.14 4.11 5/273 53009
/proc/meminfo: memFree=94238892/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=248688 memory=192564 CPUtime=2131.92 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 45902 0 0 0 209115 4077 0 0 20 0 1 0 53373719 254656512 48141 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 62172 48141 2528 1147 0 49599 0
Current children cumulated CPU time: 2131.92 s
Current children cumulated vsize: 252880 KiB
Current children cumulated memory: 195636 KiB
[startup+2202.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/274 53015
/proc/meminfo: memFree=89998172/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=195636 CPUtime=2191.74 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 46527 0 0 0 215003 4171 0 0 20 0 1 0 53373719 258269184 48909 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 48909 2528 1147 0 50481 0
Current children cumulated CPU time: 2191.74 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 198708 KiB
[startup+2222.79 s]
# the end of solver process 52264 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2164.59 s, system=42.8495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2214.4 s]
/proc/loadavg: 4.10 4.14 4.11 5/274 53015
/proc/meminfo: memFree=89283864/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=199092 CPUtime=2203.8 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 46533 0 0 0 216187 4193 0 0 20 0 1 0 53373719 258269184 49773 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 49773 2528 1147 0 50481 0
Current children cumulated CPU time: 2203.8 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 202164 KiB
[startup+2217.6 s]
/proc/loadavg: 4.09 4.14 4.11 5/274 53015
/proc/meminfo: memFree=89109432/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=199092 CPUtime=2207 cores=5,7
/proc/52267/stat : 52267 (roundingsat) R 52264 52264 50997 0 -1 4194304 46533 0 0 0 216457 4243 0 0 20 0 1 0 53373719 258269184 49773 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 49773 2528 1147 0 50481 0
Current children cumulated CPU time: 2207 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 202164 KiB
[startup+2220.8 s]
/proc/loadavg: 4.09 4.14 4.11 5/274 53015
/proc/meminfo: memFree=88968852/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=199092 CPUtime=2207.28 cores=5,7
/proc/52267/stat : 52267 (roundingsat) D 52264 52264 50997 0 -1 4194304 46533 0 0 0 216458 4270 0 0 20 0 1 0 53373719 258269184 49773 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 49773 2528 1147 0 50481 0
Current children cumulated CPU time: 2207.28 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 202164 KiB
[startup+2221.6 s]
/proc/loadavg: 4.09 4.13 4.11 4/274 53015
/proc/meminfo: memFree=88915260/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=199092 CPUtime=2207.33 cores=5,7
/proc/52267/stat : 52267 (roundingsat) D 52264 52264 50997 0 -1 4194304 46533 0 0 0 216458 4275 0 0 20 0 1 0 53373719 258269184 49773 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 49773 2528 1147 0 50481 0
Current children cumulated CPU time: 2207.33 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 202164 KiB
[startup+2222.4 s]
/proc/loadavg: 4.09 4.13 4.11 4/274 53015
/proc/meminfo: memFree=88881640/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=199092 CPUtime=2207.42 cores=5,7
/proc/52267/stat : 52267 (roundingsat) D 52264 52264 50997 0 -1 4194304 46533 0 0 0 216458 4284 0 0 20 0 1 0 53373719 258269184 49773 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 49773 2528 1147 0 50481 0
Current children cumulated CPU time: 2207.42 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 202164 KiB
[startup+2222.6 s]
/proc/loadavg: 4.09 4.13 4.11 4/274 53015
/proc/meminfo: memFree=88881640/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=199092 CPUtime=2207.42 cores=5,7
/proc/52267/stat : 52267 (roundingsat) D 52264 52264 50997 0 -1 4194304 46533 0 0 0 216458 4284 0 0 20 0 1 0 53373719 258269184 49773 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 49773 2528 1147 0 50481 0
Current children cumulated CPU time: 2207.42 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 202164 KiB
[startup+2222.7 s]
/proc/loadavg: 4.09 4.13 4.11 4/274 53015
/proc/meminfo: memFree=88881640/131249988 swapFree=33010160/33010684
[pid=52264] ppid=52261 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/52264/stat : 52264 (run-opt-break-l) S 52261 52264 50997 0 -1 4194304 241 325 0 0 0 0 0 0 20 0 1 0 53373717 4292608 768 18446744073709551615 94128678887424 94128679781957 140730651468576 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94128680021008 94128680068752 94128689119232 140730651474197 140730651474398 140730651474398 140730651480000 0
/proc/52264/statm: 1048 768 704 219 0 110 0
[pid=52267] ppid=52264 vsize=252216 memory=199092 CPUtime=2207.42 cores=5,7
/proc/52267/stat : 52267 (roundingsat) D 52264 52264 50997 0 -1 4194304 46533 0 0 0 216458 4284 0 0 20 0 1 0 53373719 258269184 49773 18446744073709551615 4227072 8923433 140735138201040 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 35975168 140735138203924 140735138204200 140735138204200 140735138209770 0
/proc/52267/statm: 63054 49773 2528 1147 0 50481 0
Current children cumulated CPU time: 2207.42 s
Current children cumulated vsize: 256408 KiB
Current children cumulated memory: 202164 KiB
Child status: 0
Real time (s): 2222.79
CPU time (s): 2207.44
CPU user time (s): 2164.59
CPU system time (s): 42.8495
CPU usage (%): 99.3093
Max. virtual memory (cumulated for all children) (KiB): 256408
Max. memory (cumulated for all children) (KiB): 202164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2164.59
system time used= 42.8495
maximum resident set size= 199092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47124
page faults= 0
swaps= 0
block input operations= 0
block output operations= 58130344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155428
involuntary context switches= 3529
# summary of solver processes directly reported to runsolver:
# pid: 52264
# total CPU time (s): 2207.44
# total CPU user time (s): 2164.59
# total CPU system time (s): 42.8495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56188 second user time and 10.2553 second system time
The end
Begin job on nodeC034 at 2025-07-01 15:35:49
IDJOB=4491075
IDBENCH=147676
IDSOLVER=3360
FILE ID=nodeC034/4491075-1751376949
RUNJOBID= nodeC034-1751371625-51010
SLURM_JOB_ID= 9598197
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491075-1751376949/watcher-4491075-1751376949 -o /tmp/evaluation-result-4491075-1751376949/solver-4491075-1751376949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51010 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4491075-1751376949.opb PROOFDIR/proof-4491075-1751376949
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=1212527696
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.773
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.094
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.171
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.271
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.550
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 120774908 kB
MemAvailable: 129062156 kB
Buffers: 2128 kB
Cached: 9044792 kB
SwapCached: 36 kB
Active: 1126248 kB
Inactive: 8605328 kB
Active(anon): 698544 kB
Inactive(anon): 4208 kB
Active(file): 427704 kB
Inactive(file): 8601120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26880 kB
Writeback: 0 kB
AnonPages: 679680 kB
Mapped: 118904 kB
Shmem: 18068 kB
KReclaimable: 194924 kB
Slab: 287544 kB
SReclaimable: 194924 kB
SUnreclaim: 92620 kB
KernelStack: 4336 kB
PageTables: 4448 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1029580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 587776 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC034 at 2025-07-01 16:12:52