0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4532335-1752588287.opb'
0.00/0.02 c read 0.01MB (0.78ms)
0.00/0.02 c [cnf: #variables 299 #clauses 101 #duplicates 0 #arr 1751]
0.00/0.03 c output proof to 'PROOFDIR/proof-4532335-1752588287'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 4] (0.75ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c found row 3x2, generating row predicate
0.00/0.03 c (0.19ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 998 #edges 4698]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 2.00*10^0 #generators 1] (0.77ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.01ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=20)
0.00/0.03 c added predicates for 1 generators (0.01ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 3 #add_vars 0]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4532335-1752588287.opb.pre'
0.00/0.03 c wrote 0.01MB (0.24ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 8.23ms 74.83% other
0.00/0.03 c 0.77ms 7.02% parse
0.00/0.03 c 0.77ms 6.98% detect_generic
0.00/0.03 c 0.75ms 6.78% approx_orbits
0.00/0.03 c 0.24ms 2.15% output
0.00/0.03 c 0.19ms 1.76% detect_special
0.00/0.03 c 0.03ms 0.28% finalize_order
0.00/0.03 c 0.01ms 0.10% optimize_gens
0.00/0.03 c 0.01ms 0.10% break_generic
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 11.00ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 0f876b3
0.00/0.07 c #variables 299 #constraints 103
0.00/0.07 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07 c bounds - >= 0 @ 0.004023
0.00/0.10 c rational objective 14.1297
0.36/0.44 c bounds 35 >= 0 @ 0.366385
0.36/0.44 c bounds 35 >= 1 @ 0.366385
0.36/0.44 c bounds 35 >= 2 @ 0.366646
0.36/0.44 c bounds 35 >= 3 @ 0.367111
0.36/0.44 c bounds 35 >= 4 @ 0.367381
0.36/0.44 c bounds 35 >= 5 @ 0.367538
0.36/0.44 c bounds 35 >= 6 @ 0.36813
0.36/0.44 c bounds 35 >= 7 @ 0.368366
0.36/0.45 c bounds 34 >= 7 @ 0.371635
0.36/0.45 c bounds 34 >= 8 @ 0.373271
0.36/0.48 c bounds 34 >= 9 @ 0.400246
0.36/0.48 c bounds 33 >= 9 @ 0.401005
0.36/0.48 c bounds 32 >= 9 @ 0.401176
0.36/0.48 c bounds 31 >= 9 @ 0.401176
0.36/0.48 c bounds 30 >= 9 @ 0.401176
0.36/0.48 c bounds 29 >= 9 @ 0.401176
0.36/0.48 c bounds 28 >= 9 @ 0.401176
0.36/0.49 c bounds 28 >= 10 @ 0.407625
0.36/0.49 c bounds 27 >= 10 @ 0.409134
0.45/0.53 c bounds 26 >= 10 @ 0.439731
0.63/0.79 c #Conflicts: 1000 | #Constraints: 1196
0.63/0.79 c bounds 26 >= 11 @ 0.688898
0.72/0.80 c bounds 25 >= 11 @ 0.696283
0.72/0.80 c bounds 24 >= 11 @ 0.697987
0.72/0.80 c bounds 23 >= 11 @ 0.6998
0.72/0.81 c bounds 22 >= 11 @ 0.704113
0.72/0.81 c bounds 21 >= 11 @ 0.706802
0.72/0.86 c bounds 20 >= 11 @ 0.758059
1.04/1.15 c #Conflicts: 2000 | #Constraints: 2256
1.04/1.15 c INPROCESSING
1.04/1.15 c GARBAGE COLLECT
1.04/1.15 c rational objective 14.1643
1.94/2.10 c #Conflicts: 3000 | #Constraints: 2208
1.94/2.10 c #Conflicts: 4000 | #Constraints: 3208
1.94/2.10 c INPROCESSING
1.94/2.10 c GARBAGE COLLECT
1.94/2.10 c rational objective 14.1645
3.52/3.63 c #Conflicts: 5000 | #Constraints: 2701
3.52/3.63 c #Conflicts: 6000 | #Constraints: 4041
3.52/3.63 c INPROCESSING
3.52/3.63 c GARBAGE COLLECT
3.52/3.63 c #Conflicts: 7000 | #Constraints: 2946
3.52/3.63 c #Conflicts: 8000 | #Constraints: 3953
3.52/3.63 c bounds 20 >= 12 @ 3.40673
3.72/3.86 c #Conflicts: 9000 | #Constraints: 5076
3.72/3.86 c INPROCESSING
3.72/3.86 c GARBAGE COLLECT
3.72/3.86 c rational objective 14.1645
3.93/4.02 c bounds 19 >= 12 @ 3.79036
4.12/4.23 c #Conflicts: 10000 | #Constraints: 3634
4.12/4.23 c bounds 18 >= 12 @ 3.98245
4.71/4.80 c #Conflicts: 11000 | #Constraints: 4665
4.71/4.80 c #Conflicts: 12000 | #Constraints: 5688
4.71/4.80 c INPROCESSING
4.71/4.80 c GARBAGE COLLECT
4.71/4.80 c rational objective 14.1645
5.82/6.00 c #Conflicts: 13000 | #Constraints: 3967
5.82/6.00 c #Conflicts: 14000 | #Constraints: 4980
5.82/6.00 c #Conflicts: 15000 | #Constraints: 5991
5.82/6.00 c INPROCESSING
5.82/6.00 c GARBAGE COLLECT
5.82/6.00 c rational objective 14.1646
7.21/7.39 c #Conflicts: 16000 | #Constraints: 4130
7.21/7.39 c #Conflicts: 17000 | #Constraints: 5161
7.21/7.39 c #Conflicts: 18000 | #Constraints: 6182
7.21/7.39 c INPROCESSING
7.21/7.39 c GARBAGE COLLECT
7.21/7.39 c rational objective 14.1645
8.71/8.82 c #Conflicts: 19000 | #Constraints: 4137
8.71/8.82 c #Conflicts: 20000 | #Constraints: 5162
8.71/8.82 c #Conflicts: 21000 | #Constraints: 6178
8.71/8.82 c INPROCESSING
8.71/8.82 c GARBAGE COLLECT
8.71/8.82 c rational objective 14.1645
10.30/10.48 c #Conflicts: 22000 | #Constraints: 3918
10.30/10.48 c #Conflicts: 23000 | #Constraints: 4923
10.30/10.48 c #Conflicts: 24000 | #Constraints: 5926
10.30/10.48 c #Conflicts: 25000 | #Constraints: 6927
10.30/10.48 c INPROCESSING
10.30/10.48 c GARBAGE COLLECT
10.30/10.48 c rational objective 14.1645
11.80/11.99 c #Conflicts: 26000 | #Constraints: 4490
11.80/11.99 c #Conflicts: 27000 | #Constraints: 5523
11.80/11.99 c #Conflicts: 28000 | #Constraints: 6534
11.80/11.99 c #Conflicts: 29000 | #Constraints: 7554
11.80/11.99 c INPROCESSING
11.80/11.99 c GARBAGE COLLECT
11.80/11.99 c rational objective 14.1645
15.39/15.57 c #Conflicts: 30000 | #Constraints: 4916
15.39/15.57 c #Conflicts: 31000 | #Constraints: 5917
15.39/15.57 c #Conflicts: 32000 | #Constraints: 6922
15.39/15.57 c #Conflicts: 33000 | #Constraints: 7925
15.39/15.57 c INPROCESSING
15.39/15.57 c GARBAGE COLLECT
15.39/15.57 c #Conflicts: 34000 | #Constraints: 5130
15.39/15.57 c #Conflicts: 35000 | #Constraints: 6159
15.39/15.57 c #Conflicts: 36000 | #Constraints: 7179
15.39/15.57 c #Conflicts: 37000 | #Constraints: 8214
15.39/15.57 c INPROCESSING
15.39/15.57 c GARBAGE COLLECT
15.39/15.57 c rational objective 14.1646
17.48/17.64 c #Conflicts: 38000 | #Constraints: 5209
17.48/17.64 c #Conflicts: 39000 | #Constraints: 6228
17.48/17.64 c #Conflicts: 40000 | #Constraints: 7251
17.48/17.64 c #Conflicts: 41000 | #Constraints: 8267
17.48/17.64 c INPROCESSING
17.48/17.64 c GARBAGE COLLECT
17.48/17.64 c rational objective 14.1646
19.67/19.82 c #Conflicts: 42000 | #Constraints: 4952
19.67/19.82 c #Conflicts: 43000 | #Constraints: 5956
19.67/19.82 c #Conflicts: 44000 | #Constraints: 6957
19.67/19.82 c #Conflicts: 45000 | #Constraints: 7960
19.67/19.82 c #Conflicts: 46000 | #Constraints: 8960
19.67/19.82 c INPROCESSING
19.67/19.82 c GARBAGE COLLECT
19.67/19.82 c rational objective 14.1646
21.67/21.89 c #Conflicts: 47000 | #Constraints: 5560
21.67/21.89 c #Conflicts: 48000 | #Constraints: 6576
21.67/21.89 c #Conflicts: 49000 | #Constraints: 7593
21.67/21.89 c #Conflicts: 50000 | #Constraints: 8612
21.67/21.89 c #Conflicts: 51000 | #Constraints: 9627
21.67/21.89 c INPROCESSING
21.67/21.89 c GARBAGE COLLECT
21.67/21.89 c rational objective 14.1646
24.56/24.77 c #Conflicts: 52000 | #Constraints: 5935
24.56/24.77 c #Conflicts: 53000 | #Constraints: 6939
24.56/24.77 c #Conflicts: 54000 | #Constraints: 7941
24.56/24.77 c #Conflicts: 55000 | #Constraints: 8942
24.56/24.77 c #Conflicts: 56000 | #Constraints: 9943
24.56/24.77 c INPROCESSING
24.56/24.77 c GARBAGE COLLECT
24.56/24.77 c rational objective 14.1646
26.97/27.15 c #Conflicts: 57000 | #Constraints: 6101
26.97/27.15 c #Conflicts: 58000 | #Constraints: 7120
26.97/27.15 c #Conflicts: 59000 | #Constraints: 8142
26.97/27.15 c #Conflicts: 60000 | #Constraints: 9164
26.97/27.15 c #Conflicts: 61000 | #Constraints: 10181
26.97/27.15 c INPROCESSING
26.97/27.15 c GARBAGE COLLECT
26.97/27.15 c rational objective 14.1646
29.65/29.85 c #Conflicts: 62000 | #Constraints: 6112
29.65/29.85 c #Conflicts: 63000 | #Constraints: 7132
29.65/29.85 c #Conflicts: 64000 | #Constraints: 8153
29.65/29.85 c #Conflicts: 65000 | #Constraints: 9165
29.65/29.85 c #Conflicts: 66000 | #Constraints: 10177
29.65/29.85 c INPROCESSING
29.65/29.85 c GARBAGE COLLECT
29.65/29.85 c rational objective 14.1646
33.54/33.73 c #Conflicts: 67000 | #Constraints: 5931
33.54/33.73 c #Conflicts: 68000 | #Constraints: 6932
33.54/33.73 c #Conflicts: 69000 | #Constraints: 7947
33.54/33.73 c #Conflicts: 70000 | #Constraints: 8960
33.54/33.73 c #Conflicts: 71000 | #Constraints: 10072
33.54/33.73 c #Conflicts: 72000 | #Constraints: 11074
33.54/33.73 c INPROCESSING
33.54/33.73 c GARBAGE COLLECT
33.54/33.73 c rational objective 14.1646
36.33/36.59 c #Conflicts: 73000 | #Constraints: 6560
36.33/36.59 c #Conflicts: 74000 | #Constraints: 7577
36.33/36.59 c #Conflicts: 75000 | #Constraints: 8587
36.33/36.59 c #Conflicts: 76000 | #Constraints: 9603
36.33/36.59 c #Conflicts: 77000 | #Constraints: 10616
36.33/36.59 c #Conflicts: 78000 | #Constraints: 11634
36.33/36.59 c INPROCESSING
36.33/36.59 c GARBAGE COLLECT
36.33/36.59 c rational objective 14.1646
40.22/40.47 c #Conflicts: 79000 | #Constraints: 6950
40.22/40.47 c #Conflicts: 80000 | #Constraints: 7961
40.22/40.47 c #Conflicts: 81000 | #Constraints: 8964
40.22/40.47 c #Conflicts: 82000 | #Constraints: 9972
40.22/40.47 c #Conflicts: 83000 | #Constraints: 10972
40.22/40.47 c bounds 18 >= 13 @ 39.1466
40.41/40.63 c #Conflicts: 84000 | #Constraints: 12006
40.41/40.63 c INPROCESSING
40.41/40.63 c GARBAGE COLLECT
40.41/40.63 c rational objective 14.1647
43.61/43.83 c #Conflicts: 85000 | #Constraints: 7127
43.61/43.83 c #Conflicts: 86000 | #Constraints: 8145
43.61/43.83 c #Conflicts: 87000 | #Constraints: 9167
43.61/43.83 c #Conflicts: 88000 | #Constraints: 10190
43.61/43.83 c #Conflicts: 89000 | #Constraints: 11206
43.61/43.83 c #Conflicts: 90000 | #Constraints: 12226
43.61/43.83 c INPROCESSING
43.61/43.83 c GARBAGE COLLECT
43.61/43.83 c rational objective 14.1646
47.00/47.21 c #Conflicts: 91000 | #Constraints: 7141
47.00/47.21 c #Conflicts: 92000 | #Constraints: 8157
47.00/47.21 c #Conflicts: 93000 | #Constraints: 9174
47.00/47.21 c #Conflicts: 94000 | #Constraints: 10189
47.00/47.21 c #Conflicts: 95000 | #Constraints: 11211
47.00/47.21 c #Conflicts: 96000 | #Constraints: 12232
47.00/47.21 c INPROCESSING
47.00/47.21 c GARBAGE COLLECT
47.00/47.21 c rational objective 14.1646
50.59/50.85 c #Conflicts: 97000 | #Constraints: 6956
50.59/50.85 c #Conflicts: 98000 | #Constraints: 7983
50.59/50.85 c #Conflicts: 99000 | #Constraints: 8995
50.59/50.85 c #Conflicts: 100000 | #Constraints: 10013
50.59/50.85 c #Conflicts: 101000 | #Constraints: 11027
50.59/50.85 c #Conflicts: 102000 | #Constraints: 12036
50.59/50.85 c #Conflicts: 103000 | #Constraints: 13046
50.59/50.85 c INPROCESSING
50.59/50.85 c GARBAGE COLLECT
50.59/50.85 c rational objective 14.1646
54.17/54.45 c #Conflicts: 104000 | #Constraints: 7542
54.17/54.45 c #Conflicts: 105000 | #Constraints: 8558
54.17/54.45 c #Conflicts: 106000 | #Constraints: 9568
54.17/54.45 c #Conflicts: 107000 | #Constraints: 10575
54.17/54.45 c #Conflicts: 108000 | #Constraints: 11582
54.17/54.45 c #Conflicts: 109000 | #Constraints: 12602
54.17/54.45 c #Conflicts: 110000 | #Constraints: 13614
54.17/54.45 c INPROCESSING
54.17/54.45 c GARBAGE COLLECT
54.17/54.45 c rational objective 14.1646
58.97/59.26 c #Conflicts: 111000 | #Constraints: 7978
58.97/59.26 c #Conflicts: 112000 | #Constraints: 8979
58.97/59.26 c #Conflicts: 113000 | #Constraints: 9983
58.97/59.26 c #Conflicts: 114000 | #Constraints: 10984
58.97/59.26 c #Conflicts: 115000 | #Constraints: 11986
58.97/59.26 c #Conflicts: 116000 | #Constraints: 12990
58.97/59.26 c #Conflicts: 117000 | #Constraints: 13997
58.97/59.26 c INPROCESSING
58.97/59.26 c GARBAGE COLLECT
58.97/59.26 c rational objective 14.1646
62.95/63.22 c #Conflicts: 118000 | #Constraints: 8147
62.95/63.22 c #Conflicts: 119000 | #Constraints: 9173
62.95/63.22 c #Conflicts: 120000 | #Constraints: 10194
62.95/63.22 c #Conflicts: 121000 | #Constraints: 11212
62.95/63.22 c #Conflicts: 122000 | #Constraints: 12233
62.95/63.22 c #Conflicts: 123000 | #Constraints: 13249
62.95/63.22 c #Conflicts: 124000 | #Constraints: 14259
62.95/63.22 c INPROCESSING
62.95/63.22 c GARBAGE COLLECT
62.95/63.22 c rational objective 14.1647
68.94/69.24 c #Conflicts: 125000 | #Constraints: 8239
68.94/69.24 c #Conflicts: 126000 | #Constraints: 9242
68.94/69.24 c #Conflicts: 127000 | #Constraints: 10246
68.94/69.24 c #Conflicts: 128000 | #Constraints: 11247
68.94/69.24 c #Conflicts: 129000 | #Constraints: 12249
68.94/69.24 c #Conflicts: 130000 | #Constraints: 13252
68.94/69.24 c #Conflicts: 131000 | #Constraints: 14255
68.94/69.24 c INPROCESSING
68.94/69.24 c GARBAGE COLLECT
68.94/69.24 c rational objective 14.1647
73.03/73.39 c #Conflicts: 132000 | #Constraints: 7947
73.03/73.39 c #Conflicts: 133000 | #Constraints: 8969
73.03/73.39 c #Conflicts: 134000 | #Constraints: 9985
73.03/73.39 c #Conflicts: 135000 | #Constraints: 11000
73.03/73.39 c #Conflicts: 136000 | #Constraints: 12013
73.03/73.39 c #Conflicts: 137000 | #Constraints: 13027
73.03/73.39 c #Conflicts: 138000 | #Constraints: 14043
73.03/73.39 c #Conflicts: 139000 | #Constraints: 15062
73.03/73.39 c INPROCESSING
73.03/73.39 c GARBAGE COLLECT
73.03/73.39 c rational objective 14.1647
77.91/78.28 c #Conflicts: 140000 | #Constraints: 8801
77.91/78.28 c #Conflicts: 141000 | #Constraints: 9882
77.91/78.28 c #Conflicts: 142000 | #Constraints: 10901
77.91/78.28 c #Conflicts: 143000 | #Constraints: 11919
77.91/78.28 c #Conflicts: 144000 | #Constraints: 12939
77.91/78.28 c #Conflicts: 145000 | #Constraints: 13961
77.91/78.28 c #Conflicts: 146000 | #Constraints: 14980
77.91/78.28 c #Conflicts: 147000 | #Constraints: 16002
77.91/78.28 c INPROCESSING
77.91/78.28 c GARBAGE COLLECT
77.91/78.28 c rational objective 14.1647
84.59/84.97 c #Conflicts: 148000 | #Constraints: 9145
84.59/84.97 c #Conflicts: 149000 | #Constraints: 10150
84.59/84.97 c #Conflicts: 150000 | #Constraints: 11175
84.59/84.97 c #Conflicts: 151000 | #Constraints: 12178
84.59/84.97 c #Conflicts: 152000 | #Constraints: 13188
84.59/84.97 c #Conflicts: 153000 | #Constraints: 14192
84.59/84.97 c #Conflicts: 154000 | #Constraints: 15198
84.59/84.97 c #Conflicts: 155000 | #Constraints: 16202
84.59/84.97 c INPROCESSING
84.59/84.97 c GARBAGE COLLECT
84.59/84.97 c rational objective 14.165
89.68/90.06 c #Conflicts: 156000 | #Constraints: 9362
89.68/90.06 c #Conflicts: 157000 | #Constraints: 10393
89.68/90.06 c #Conflicts: 158000 | #Constraints: 11402
89.68/90.06 c #Conflicts: 159000 | #Constraints: 12416
89.68/90.06 c #Conflicts: 160000 | #Constraints: 13424
89.68/90.06 c #Conflicts: 161000 | #Constraints: 14431
89.68/90.06 c #Conflicts: 162000 | #Constraints: 15442
89.68/90.06 c #Conflicts: 163000 | #Constraints: 16457
89.68/90.06 c INPROCESSING
89.68/90.06 c GARBAGE COLLECT
89.68/90.06 c rational objective 14.1651
96.76/97.16 c #Conflicts: 164000 | #Constraints: 9288
96.76/97.16 c #Conflicts: 165000 | #Constraints: 10430
96.76/97.16 c #Conflicts: 166000 | #Constraints: 11432
96.76/97.16 c #Conflicts: 167000 | #Constraints: 12435
96.76/97.16 c #Conflicts: 168000 | #Constraints: 13437
96.76/97.16 c #Conflicts: 169000 | #Constraints: 14440
96.76/97.16 c #Conflicts: 170000 | #Constraints: 15449
96.76/97.16 c #Conflicts: 171000 | #Constraints: 16450
96.76/97.16 c INPROCESSING
96.76/97.16 c GARBAGE COLLECT
96.76/97.16 c rational objective 14.1651
101.93/102.39 c #Conflicts: 172000 | #Constraints: 9040
101.93/102.39 c #Conflicts: 173000 | #Constraints: 10056
101.93/102.39 c #Conflicts: 174000 | #Constraints: 11075
101.93/102.39 c #Conflicts: 175000 | #Constraints: 12090
101.93/102.39 c #Conflicts: 176000 | #Constraints: 13105
101.93/102.39 c #Conflicts: 177000 | #Constraints: 14113
101.93/102.39 c #Conflicts: 178000 | #Constraints: 15131
101.93/102.39 c #Conflicts: 179000 | #Constraints: 16143
101.93/102.39 c #Conflicts: 180000 | #Constraints: 17150
101.93/102.39 c INPROCESSING
101.93/102.39 c GARBAGE COLLECT
101.93/102.39 c rational objective 14.1651
107.62/108.08 c #Conflicts: 181000 | #Constraints: 9599
107.62/108.08 c #Conflicts: 182000 | #Constraints: 10617
107.62/108.08 c #Conflicts: 183000 | #Constraints: 11635
107.62/108.08 c #Conflicts: 184000 | #Constraints: 12651
107.62/108.08 c #Conflicts: 185000 | #Constraints: 13662
107.62/108.08 c #Conflicts: 186000 | #Constraints: 14680
107.62/108.08 c #Conflicts: 187000 | #Constraints: 15695
107.62/108.08 c #Conflicts: 188000 | #Constraints: 16706
107.62/108.08 c #Conflicts: 189000 | #Constraints: 17720
107.62/108.08 c INPROCESSING
107.62/108.08 c GARBAGE COLLECT
107.62/108.08 c rational objective 14.1652
114.39/114.86 c #Conflicts: 190000 | #Constraints: 9997
114.39/114.86 c #Conflicts: 191000 | #Constraints: 11008
114.39/114.86 c #Conflicts: 192000 | #Constraints: 12016
114.39/114.86 c #Conflicts: 193000 | #Constraints: 13022
114.39/114.86 c #Conflicts: 194000 | #Constraints: 14026
114.39/114.86 c #Conflicts: 195000 | #Constraints: 15029
114.39/114.86 c #Conflicts: 196000 | #Constraints: 16035
114.39/114.86 c #Conflicts: 197000 | #Constraints: 17046
114.39/114.86 c #Conflicts: 198000 | #Constraints: 18054
114.39/114.86 c INPROCESSING
114.39/114.86 c GARBAGE COLLECT
114.39/114.86 c rational objective 14.1652
120.27/120.72 c #Conflicts: 199000 | #Constraints: 10236
120.27/120.72 c #Conflicts: 200000 | #Constraints: 11258
120.27/120.72 c #Conflicts: 201000 | #Constraints: 12279
120.27/120.72 c #Conflicts: 202000 | #Constraints: 13301
120.27/120.72 c #Conflicts: 203000 | #Constraints: 14320
120.27/120.72 c #Conflicts: 204000 | #Constraints: 15345
120.27/120.72 c #Conflicts: 205000 | #Constraints: 16367
120.27/120.72 c #Conflicts: 206000 | #Constraints: 17388
120.27/120.72 c #Conflicts: 207000 | #Constraints: 18409
120.27/120.72 c INPROCESSING
120.27/120.72 c GARBAGE COLLECT
120.27/120.72 c rational objective 14.1652
126.85/127.39 c #Conflicts: 208000 | #Constraints: 10239
126.85/127.39 c #Conflicts: 209000 | #Constraints: 11245
126.85/127.39 c #Conflicts: 210000 | #Constraints: 12252
126.85/127.39 c #Conflicts: 211000 | #Constraints: 13266
126.85/127.39 c #Conflicts: 212000 | #Constraints: 14280
126.85/127.39 c #Conflicts: 213000 | #Constraints: 15290
126.85/127.39 c #Conflicts: 214000 | #Constraints: 16299
126.85/127.39 c #Conflicts: 215000 | #Constraints: 17303
126.85/127.39 c #Conflicts: 216000 | #Constraints: 18320
126.85/127.39 c INPROCESSING
126.85/127.39 c GARBAGE COLLECT
126.85/127.39 c rational objective 14.1652
133.13/133.68 c #Conflicts: 217000 | #Constraints: 9998
133.13/133.68 c #Conflicts: 218000 | #Constraints: 11022
133.13/133.68 c #Conflicts: 219000 | #Constraints: 12046
133.13/133.68 c #Conflicts: 220000 | #Constraints: 13060
133.13/133.68 c #Conflicts: 221000 | #Constraints: 14076
133.13/133.68 c #Conflicts: 222000 | #Constraints: 15094
133.13/133.68 c #Conflicts: 223000 | #Constraints: 16109
133.13/133.68 c #Conflicts: 224000 | #Constraints: 17130
133.13/133.68 c #Conflicts: 225000 | #Constraints: 18149
133.13/133.68 c #Conflicts: 226000 | #Constraints: 19161
133.13/133.68 c INPROCESSING
133.13/133.68 c GARBAGE COLLECT
133.13/133.68 c rational objective 14.1652
140.91/141.41 c #Conflicts: 227000 | #Constraints: 10606
140.91/141.41 c #Conflicts: 228000 | #Constraints: 11617
140.91/141.41 c #Conflicts: 229000 | #Constraints: 12628
140.91/141.41 c #Conflicts: 230000 | #Constraints: 13638
140.91/141.41 c #Conflicts: 231000 | #Constraints: 14645
140.91/141.41 c #Conflicts: 232000 | #Constraints: 15646
140.91/141.41 c #Conflicts: 233000 | #Constraints: 16648
140.91/141.41 c #Conflicts: 234000 | #Constraints: 17651
140.91/141.41 c #Conflicts: 235000 | #Constraints: 18658
140.91/141.41 c #Conflicts: 236000 | #Constraints: 19659
140.91/141.41 c INPROCESSING
140.91/141.41 c GARBAGE COLLECT
140.91/141.41 c rational objective 14.1652
147.40/147.97 c #Conflicts: 237000 | #Constraints: 10959
147.40/147.97 c #Conflicts: 238000 | #Constraints: 11974
147.40/147.97 c #Conflicts: 239000 | #Constraints: 12990
147.40/147.97 c #Conflicts: 240000 | #Constraints: 13998
147.40/147.97 c #Conflicts: 241000 | #Constraints: 15007
147.40/147.97 c #Conflicts: 242000 | #Constraints: 16015
147.40/147.97 c #Conflicts: 243000 | #Constraints: 17024
147.40/147.97 c #Conflicts: 244000 | #Constraints: 18035
147.40/147.97 c #Conflicts: 245000 | #Constraints: 19053
147.40/147.97 c #Conflicts: 246000 | #Constraints: 20066
147.40/147.97 c INPROCESSING
147.40/147.97 c GARBAGE COLLECT
147.40/147.97 c rational objective 14.1652
153.98/154.60 c #Conflicts: 247000 | #Constraints: 11190
153.98/154.60 c #Conflicts: 248000 | #Constraints: 12208
153.98/154.60 c #Conflicts: 249000 | #Constraints: 13226
153.98/154.60 c #Conflicts: 250000 | #Constraints: 14236
153.98/154.60 c #Conflicts: 251000 | #Constraints: 15242
153.98/154.60 c #Conflicts: 252000 | #Constraints: 16253
153.98/154.60 c #Conflicts: 253000 | #Constraints: 17271
153.98/154.60 c #Conflicts: 254000 | #Constraints: 18282
153.98/154.60 c #Conflicts: 255000 | #Constraints: 19290
153.98/154.60 c #Conflicts: 256000 | #Constraints: 20300
153.98/154.60 c INPROCESSING
153.98/154.60 c GARBAGE COLLECT
153.98/154.60 c rational objective 14.1652
163.64/164.22 c #Conflicts: 257000 | #Constraints: 11222
163.64/164.22 c #Conflicts: 258000 | #Constraints: 12227
163.64/164.22 c #Conflicts: 259000 | #Constraints: 13235
163.64/164.22 c #Conflicts: 260000 | #Constraints: 14243
163.64/164.22 c #Conflicts: 261000 | #Constraints: 15262
163.64/164.22 c #Conflicts: 262000 | #Constraints: 16264
163.64/164.22 c #Conflicts: 263000 | #Constraints: 17267
163.64/164.22 c #Conflicts: 264000 | #Constraints: 18268
163.64/164.22 c #Conflicts: 265000 | #Constraints: 19270
163.64/164.22 c #Conflicts: 266000 | #Constraints: 20273
163.64/164.22 c INPROCESSING
163.64/164.22 c GARBAGE COLLECT
163.64/164.22 c rational objective 14.1652
171.22/171.83 c #Conflicts: 267000 | #Constraints: 10992
171.22/171.83 c #Conflicts: 268000 | #Constraints: 12021
171.22/171.83 c #Conflicts: 269000 | #Constraints: 13035
171.22/171.83 c #Conflicts: 270000 | #Constraints: 14059
171.22/171.83 c #Conflicts: 271000 | #Constraints: 15079
171.22/171.83 c #Conflicts: 272000 | #Constraints: 16092
171.22/171.83 c #Conflicts: 273000 | #Constraints: 17111
171.22/171.83 c #Conflicts: 274000 | #Constraints: 18129
171.22/171.83 c #Conflicts: 275000 | #Constraints: 19144
171.22/171.83 c #Conflicts: 276000 | #Constraints: 20162
171.22/171.83 c #Conflicts: 277000 | #Constraints: 21181
171.22/171.83 c INPROCESSING
171.22/171.83 c GARBAGE COLLECT
171.22/171.83 c rational objective 14.1652
181.58/182.21 c #Conflicts: 278000 | #Constraints: 11633
181.58/182.21 c #Conflicts: 279000 | #Constraints: 12635
181.58/182.21 c #Conflicts: 280000 | #Constraints: 13637
181.58/182.21 c #Conflicts: 281000 | #Constraints: 14642
181.58/182.21 c #Conflicts: 282000 | #Constraints: 15644
181.58/182.21 c #Conflicts: 283000 | #Constraints: 16653
181.58/182.21 c #Conflicts: 284000 | #Constraints: 17658
181.58/182.21 c #Conflicts: 285000 | #Constraints: 18663
181.58/182.21 c #Conflicts: 286000 | #Constraints: 19669
181.58/182.21 c #Conflicts: 287000 | #Constraints: 20673
181.58/182.21 c #Conflicts: 288000 | #Constraints: 21673
181.58/182.21 c INPROCESSING
181.58/182.21 c GARBAGE COLLECT
181.58/182.21 c rational objective 14.1652
188.96/189.61 c #Conflicts: 289000 | #Constraints: 11981
188.96/189.61 c #Conflicts: 290000 | #Constraints: 12993
188.96/189.61 c #Conflicts: 291000 | #Constraints: 14009
188.96/189.61 c #Conflicts: 292000 | #Constraints: 15027
188.96/189.61 c #Conflicts: 293000 | #Constraints: 16043
188.96/189.61 c #Conflicts: 294000 | #Constraints: 17058
188.96/189.61 c #Conflicts: 295000 | #Constraints: 18075
188.96/189.61 c #Conflicts: 296000 | #Constraints: 19085
188.96/189.61 c #Conflicts: 297000 | #Constraints: 20095
188.96/189.61 c #Conflicts: 298000 | #Constraints: 21106
188.96/189.61 c #Conflicts: 299000 | #Constraints: 22112
188.96/189.61 c INPROCESSING
188.96/189.61 c GARBAGE COLLECT
188.96/189.61 c rational objective 14.1652
199.93/200.66 c #Conflicts: 300000 | #Constraints: 12187
199.93/200.66 c #Conflicts: 301000 | #Constraints: 13190
199.93/200.66 c #Conflicts: 302000 | #Constraints: 14195
199.93/200.66 c #Conflicts: 303000 | #Constraints: 15202
199.93/200.66 c #Conflicts: 304000 | #Constraints: 16210
199.93/200.66 c #Conflicts: 305000 | #Constraints: 17211
199.93/200.66 c #Conflicts: 306000 | #Constraints: 18215
199.93/200.66 c #Conflicts: 307000 | #Constraints: 19218
199.93/200.66 c #Conflicts: 308000 | #Constraints: 20221
199.93/200.66 c #Conflicts: 309000 | #Constraints: 21222
199.93/200.66 c #Conflicts: 310000 | #Constraints: 22225
199.93/200.66 c INPROCESSING
199.93/200.66 c GARBAGE COLLECT
199.93/200.66 c rational objective 14.1652
208.00/208.76 c #Conflicts: 311000 | #Constraints: 12156
208.00/208.76 c #Conflicts: 312000 | #Constraints: 13174
208.00/208.76 c #Conflicts: 313000 | #Constraints: 14190
208.00/208.76 c #Conflicts: 314000 | #Constraints: 15203
208.00/208.76 c #Conflicts: 315000 | #Constraints: 16215
208.00/208.76 c #Conflicts: 316000 | #Constraints: 17232
208.00/208.76 c #Conflicts: 317000 | #Constraints: 18251
208.00/208.76 c #Conflicts: 318000 | #Constraints: 19263
208.00/208.76 c #Conflicts: 319000 | #Constraints: 20283
208.00/208.76 c #Conflicts: 320000 | #Constraints: 21299
208.00/208.76 c #Conflicts: 321000 | #Constraints: 22317
208.00/208.76 c INPROCESSING
208.00/208.76 c GARBAGE COLLECT
208.00/208.76 c rational objective 14.1652
216.47/217.30 c #Conflicts: 322000 | #Constraints: 11989
216.47/217.30 c #Conflicts: 323000 | #Constraints: 13007
216.47/217.30 c #Conflicts: 324000 | #Constraints: 14017
216.47/217.30 c #Conflicts: 325000 | #Constraints: 15028
216.47/217.30 c #Conflicts: 326000 | #Constraints: 16039
216.47/217.30 c #Conflicts: 327000 | #Constraints: 17060
216.47/217.30 c #Conflicts: 328000 | #Constraints: 18076
216.47/217.30 c #Conflicts: 329000 | #Constraints: 19098
216.47/217.30 c #Conflicts: 330000 | #Constraints: 20116
216.47/217.30 c #Conflicts: 331000 | #Constraints: 21130
216.47/217.30 c #Conflicts: 332000 | #Constraints: 22151
216.47/217.30 c #Conflicts: 333000 | #Constraints: 23170
216.47/217.30 c INPROCESSING
216.47/217.30 c GARBAGE COLLECT
216.47/217.30 c rational objective 14.1652
228.35/229.14 c #Conflicts: 334000 | #Constraints: 12611
228.35/229.14 c #Conflicts: 335000 | #Constraints: 13615
228.35/229.14 c #Conflicts: 336000 | #Constraints: 14619
228.35/229.14 c #Conflicts: 337000 | #Constraints: 15621
228.35/229.14 c #Conflicts: 338000 | #Constraints: 16622
228.35/229.14 c #Conflicts: 339000 | #Constraints: 17623
228.35/229.14 c #Conflicts: 340000 | #Constraints: 18626
228.35/229.14 c #Conflicts: 341000 | #Constraints: 19632
228.35/229.14 c #Conflicts: 342000 | #Constraints: 20633
228.35/229.14 c #Conflicts: 343000 | #Constraints: 21635
228.35/229.14 c #Conflicts: 344000 | #Constraints: 22641
228.35/229.14 c #Conflicts: 345000 | #Constraints: 23642
228.35/229.14 c INPROCESSING
228.35/229.14 c GARBAGE COLLECT
228.35/229.14 c rational objective 14.1652
236.90/237.76 c #Conflicts: 346000 | #Constraints: 12968
236.90/237.76 c #Conflicts: 347000 | #Constraints: 13981
236.90/237.76 c #Conflicts: 348000 | #Constraints: 14994
236.90/237.76 c #Conflicts: 349000 | #Constraints: 16017
236.90/237.76 c #Conflicts: 350000 | #Constraints: 17027
236.90/237.76 c #Conflicts: 351000 | #Constraints: 18047
236.90/237.76 c #Conflicts: 352000 | #Constraints: 19058
236.90/237.76 c #Conflicts: 353000 | #Constraints: 20076
236.90/237.76 c #Conflicts: 354000 | #Constraints: 21087
236.90/237.76 c #Conflicts: 355000 | #Constraints: 22093
236.90/237.76 c #Conflicts: 356000 | #Constraints: 23104
236.90/237.76 c #Conflicts: 357000 | #Constraints: 24112
236.90/237.76 c INPROCESSING
236.90/237.76 c GARBAGE COLLECT
236.90/237.76 c rational objective 14.1652
248.77/249.64 c #Conflicts: 358000 | #Constraints: 13181
248.77/249.64 c #Conflicts: 359000 | #Constraints: 14197
248.77/249.64 c #Conflicts: 360000 | #Constraints: 15199
248.77/249.64 c #Conflicts: 361000 | #Constraints: 16201
248.77/249.64 c #Conflicts: 362000 | #Constraints: 17202
248.77/249.64 c #Conflicts: 363000 | #Constraints: 18204
248.77/249.64 c #Conflicts: 364000 | #Constraints: 19206
248.77/249.64 c #Conflicts: 365000 | #Constraints: 20209
248.77/249.64 c #Conflicts: 366000 | #Constraints: 21211
248.77/249.64 c #Conflicts: 367000 | #Constraints: 22215
248.77/249.64 c #Conflicts: 368000 | #Constraints: 23220
248.77/249.64 c #Conflicts: 369000 | #Constraints: 24222
248.77/249.64 c INPROCESSING
248.77/249.64 c GARBAGE COLLECT
248.77/249.64 c rational objective 14.1652
257.85/258.79 c #Conflicts: 370000 | #Constraints: 13150
257.85/258.79 c #Conflicts: 371000 | #Constraints: 14167
257.85/258.79 c #Conflicts: 372000 | #Constraints: 15178
257.85/258.79 c #Conflicts: 373000 | #Constraints: 16197
257.85/258.79 c #Conflicts: 374000 | #Constraints: 17217
257.85/258.79 c #Conflicts: 375000 | #Constraints: 18238
257.85/258.79 c #Conflicts: 376000 | #Constraints: 19253
257.85/258.79 c #Conflicts: 377000 | #Constraints: 20267
257.85/258.79 c #Conflicts: 378000 | #Constraints: 21280
257.85/258.79 c #Conflicts: 379000 | #Constraints: 22290
257.85/258.79 c #Conflicts: 380000 | #Constraints: 23298
257.85/258.79 c #Conflicts: 381000 | #Constraints: 24309
257.85/258.79 c INPROCESSING
257.85/258.79 c GARBAGE COLLECT
257.85/258.79 c rational objective 14.1652
266.81/267.76 c #Conflicts: 382000 | #Constraints: 12978
266.81/267.76 c #Conflicts: 383000 | #Constraints: 13994
266.81/267.76 c #Conflicts: 384000 | #Constraints: 15008
266.81/267.76 c #Conflicts: 385000 | #Constraints: 16019
266.81/267.76 c #Conflicts: 386000 | #Constraints: 17037
266.81/267.76 c #Conflicts: 387000 | #Constraints: 18051
266.81/267.76 c #Conflicts: 388000 | #Constraints: 19059
266.81/267.76 c #Conflicts: 389000 | #Constraints: 20071
266.81/267.76 c #Conflicts: 390000 | #Constraints: 21083
266.81/267.76 c #Conflicts: 391000 | #Constraints: 22089
266.81/267.76 c #Conflicts: 392000 | #Constraints: 23096
266.81/267.76 c #Conflicts: 393000 | #Constraints: 24108
266.81/267.76 c #Conflicts: 394000 | #Constraints: 25122
266.81/267.76 c INPROCESSING
266.81/267.76 c GARBAGE COLLECT
266.81/267.76 c rational objective 14.1652
280.57/281.55 c #Conflicts: 395000 | #Constraints: 13587
280.57/281.55 c #Conflicts: 396000 | #Constraints: 14590
280.57/281.55 c #Conflicts: 397000 | #Constraints: 15598
280.57/281.55 c #Conflicts: 398000 | #Constraints: 16603
280.57/281.55 c #Conflicts: 399000 | #Constraints: 17603
280.57/281.55 c #Conflicts: 400000 | #Constraints: 18605
280.57/281.55 c #Conflicts: 401000 | #Constraints: 19609
280.57/281.55 c #Conflicts: 402000 | #Constraints: 20612
280.57/281.55 c #Conflicts: 403000 | #Constraints: 21616
280.57/281.55 c #Conflicts: 404000 | #Constraints: 22620
280.57/281.55 c #Conflicts: 405000 | #Constraints: 23622
280.57/281.55 c #Conflicts: 406000 | #Constraints: 24624
280.57/281.55 c #Conflicts: 407000 | #Constraints: 25627
280.57/281.55 c INPROCESSING
280.57/281.55 c GARBAGE COLLECT
280.57/281.55 c rational objective 14.1652
290.15/291.16 c #Conflicts: 408000 | #Constraints: 13938
290.15/291.16 c #Conflicts: 409000 | #Constraints: 14957
290.15/291.16 c #Conflicts: 410000 | #Constraints: 15968
290.15/291.16 c #Conflicts: 411000 | #Constraints: 16980
290.15/291.16 c #Conflicts: 412000 | #Constraints: 17989
290.15/291.16 c #Conflicts: 413000 | #Constraints: 19007
290.15/291.16 c #Conflicts: 414000 | #Constraints: 20019
290.15/291.16 c #Conflicts: 415000 | #Constraints: 21032
290.15/291.16 c #Conflicts: 416000 | #Constraints: 22049
290.15/291.16 c #Conflicts: 417000 | #Constraints: 23063
290.15/291.16 c #Conflicts: 418000 | #Constraints: 24085
290.15/291.16 c #Conflicts: 419000 | #Constraints: 25100
290.15/291.16 c #Conflicts: 420000 | #Constraints: 26115
290.15/291.16 c INPROCESSING
290.15/291.16 c GARBAGE COLLECT
290.15/291.16 c rational objective 14.1652
303.01/304.04 c #Conflicts: 421000 | #Constraints: 14198
303.01/304.04 c #Conflicts: 422000 | #Constraints: 15214
303.01/304.04 c #Conflicts: 423000 | #Constraints: 16225
303.01/304.04 c #Conflicts: 424000 | #Constraints: 17230
303.01/304.04 c #Conflicts: 425000 | #Constraints: 18238
303.01/304.04 c #Conflicts: 426000 | #Constraints: 19244
303.01/304.04 c #Conflicts: 427000 | #Constraints: 20247
303.01/304.04 c #Conflicts: 428000 | #Constraints: 21253
303.01/304.04 c #Conflicts: 429000 | #Constraints: 22258
303.01/304.04 c #Conflicts: 430000 | #Constraints: 23269
303.01/304.04 c #Conflicts: 431000 | #Constraints: 24277
303.01/304.04 c #Conflicts: 432000 | #Constraints: 25284
303.01/304.04 c #Conflicts: 433000 | #Constraints: 26292
303.01/304.04 c INPROCESSING
303.01/304.04 c GARBAGE COLLECT
303.01/304.04 c rational objective 14.1652
312.66/313.75 c #Conflicts: 434000 | #Constraints: 14176
312.66/313.75 c #Conflicts: 435000 | #Constraints: 15188
312.66/313.75 c #Conflicts: 436000 | #Constraints: 16199
312.66/313.75 c #Conflicts: 437000 | #Constraints: 17216
312.66/313.75 c #Conflicts: 438000 | #Constraints: 18236
312.66/313.75 c #Conflicts: 439000 | #Constraints: 19255
312.66/313.75 c #Conflicts: 440000 | #Constraints: 20276
312.66/313.75 c #Conflicts: 441000 | #Constraints: 21304
312.66/313.75 c #Conflicts: 442000 | #Constraints: 22320
312.66/313.75 c #Conflicts: 443000 | #Constraints: 23329
312.66/313.75 c #Conflicts: 444000 | #Constraints: 24353
312.66/313.75 c #Conflicts: 445000 | #Constraints: 25369
312.66/313.75 c #Conflicts: 446000 | #Constraints: 26383
312.66/313.75 c INPROCESSING
312.66/313.75 c GARBAGE COLLECT
312.66/313.75 c rational objective 14.1652
323.03/324.16 c #Conflicts: 447000 | #Constraints: 14034
323.03/324.16 c #Conflicts: 448000 | #Constraints: 15049
323.03/324.16 c #Conflicts: 449000 | #Constraints: 16065
323.03/324.16 c #Conflicts: 450000 | #Constraints: 17075
323.03/324.16 c #Conflicts: 451000 | #Constraints: 18094
323.03/324.16 c #Conflicts: 452000 | #Constraints: 19112
323.03/324.16 c #Conflicts: 453000 | #Constraints: 20127
323.03/324.16 c #Conflicts: 454000 | #Constraints: 21151
323.03/324.16 c #Conflicts: 455000 | #Constraints: 22161
323.03/324.16 c #Conflicts: 456000 | #Constraints: 23177
323.03/324.16 c #Conflicts: 457000 | #Constraints: 24191
323.03/324.16 c #Conflicts: 458000 | #Constraints: 25198
323.03/324.16 c #Conflicts: 459000 | #Constraints: 26217
323.03/324.16 c #Conflicts: 460000 | #Constraints: 27228
323.03/324.16 c INPROCESSING
323.03/324.16 c GARBAGE COLLECT
323.03/324.16 c rational objective 14.1652
343.65/344.89 c #Conflicts: 461000 | #Constraints: 14645
343.65/344.89 c #Conflicts: 462000 | #Constraints: 15650
343.65/344.89 c #Conflicts: 463000 | #Constraints: 16652
343.65/344.89 c #Conflicts: 464000 | #Constraints: 17653
343.65/344.89 c #Conflicts: 465000 | #Constraints: 18653
343.65/344.89 c #Conflicts: 466000 | #Constraints: 19654
343.65/344.89 c #Conflicts: 467000 | #Constraints: 20656
343.65/344.89 c #Conflicts: 468000 | #Constraints: 21658
343.65/344.89 c #Conflicts: 469000 | #Constraints: 22659
343.65/344.89 c #Conflicts: 470000 | #Constraints: 23659
343.65/344.89 c #Conflicts: 471000 | #Constraints: 24661
343.65/344.89 c #Conflicts: 472000 | #Constraints: 25662
343.65/344.89 c #Conflicts: 473000 | #Constraints: 26664
343.65/344.89 c #Conflicts: 474000 | #Constraints: 27664
343.65/344.89 c INPROCESSING
343.65/344.89 c GARBAGE COLLECT
343.65/344.89 c rational objective 14.1652
358.10/359.33 c #Conflicts: 475000 | #Constraints: 14994
358.10/359.33 c #Conflicts: 476000 | #Constraints: 16009
358.10/359.33 c #Conflicts: 477000 | #Constraints: 17026
358.10/359.33 c #Conflicts: 478000 | #Constraints: 18038
358.10/359.33 c #Conflicts: 479000 | #Constraints: 19053
358.10/359.33 c #Conflicts: 480000 | #Constraints: 20061
358.10/359.33 c #Conflicts: 481000 | #Constraints: 21079
358.10/359.33 c #Conflicts: 482000 | #Constraints: 22095
358.10/359.33 c #Conflicts: 483000 | #Constraints: 23112
358.10/359.33 c #Conflicts: 484000 | #Constraints: 24130
358.10/359.33 c #Conflicts: 485000 | #Constraints: 25149
358.10/359.33 c #Conflicts: 486000 | #Constraints: 26162
358.10/359.33 c #Conflicts: 487000 | #Constraints: 27178
358.10/359.33 c #Conflicts: 488000 | #Constraints: 28188
358.10/359.33 c INPROCESSING
358.10/359.33 c GARBAGE COLLECT
358.10/359.33 c rational objective 14.1652
374.23/375.59 c #Conflicts: 489000 | #Constraints: 15216
374.23/375.59 c #Conflicts: 490000 | #Constraints: 16227
374.23/375.59 c #Conflicts: 491000 | #Constraints: 17229
374.23/375.59 c #Conflicts: 492000 | #Constraints: 18235
374.23/375.59 c #Conflicts: 493000 | #Constraints: 19239
374.23/375.59 c #Conflicts: 494000 | #Constraints: 20244
374.23/375.59 c #Conflicts: 495000 | #Constraints: 21250
374.23/375.59 c #Conflicts: 496000 | #Constraints: 22254
374.23/375.59 c #Conflicts: 497000 | #Constraints: 23258
374.23/375.59 c #Conflicts: 498000 | #Constraints: 24261
374.23/375.59 c #Conflicts: 499000 | #Constraints: 25263
374.23/375.59 c #Conflicts: 500000 | #Constraints: 26268
374.23/375.59 c #Conflicts: 501000 | #Constraints: 27269
374.23/375.59 c #Conflicts: 502000 | #Constraints: 28272
374.23/375.59 c INPROCESSING
374.23/375.59 c GARBAGE COLLECT
374.23/375.59 c rational objective 14.1652
387.98/389.32 c #Conflicts: 503000 | #Constraints: 15159
387.98/389.32 c #Conflicts: 504000 | #Constraints: 16172
387.98/389.32 c #Conflicts: 505000 | #Constraints: 17189
387.98/389.32 c #Conflicts: 506000 | #Constraints: 18199
387.98/389.32 c #Conflicts: 507000 | #Constraints: 19213
387.98/389.32 c #Conflicts: 508000 | #Constraints: 20220
387.98/389.32 c #Conflicts: 509000 | #Constraints: 21235
387.98/389.32 c #Conflicts: 510000 | #Constraints: 22250
387.98/389.32 c #Conflicts: 511000 | #Constraints: 23265
387.98/389.32 c #Conflicts: 512000 | #Constraints: 24283
387.98/389.32 c #Conflicts: 513000 | #Constraints: 25295
387.98/389.32 c #Conflicts: 514000 | #Constraints: 26308
387.98/389.32 c #Conflicts: 515000 | #Constraints: 27323
387.98/389.32 c #Conflicts: 516000 | #Constraints: 28341
387.98/389.32 c INPROCESSING
387.98/389.32 c GARBAGE COLLECT
387.98/389.32 c rational objective 14.1652
399.34/400.74 c #Conflicts: 517000 | #Constraints: 14992
399.34/400.74 c #Conflicts: 518000 | #Constraints: 15999
399.34/400.74 c #Conflicts: 519000 | #Constraints: 17012
399.34/400.74 c #Conflicts: 520000 | #Constraints: 18026
399.34/400.74 c #Conflicts: 521000 | #Constraints: 19043
399.34/400.74 c #Conflicts: 522000 | #Constraints: 20048
399.34/400.74 c #Conflicts: 523000 | #Constraints: 21055
399.34/400.74 c #Conflicts: 524000 | #Constraints: 22068
399.34/400.74 c #Conflicts: 525000 | #Constraints: 23074
399.34/400.74 c #Conflicts: 526000 | #Constraints: 24083
399.34/400.74 c #Conflicts: 527000 | #Constraints: 25101
399.34/400.74 c #Conflicts: 528000 | #Constraints: 26113
399.34/400.74 c #Conflicts: 529000 | #Constraints: 27128
399.34/400.74 c #Conflicts: 530000 | #Constraints: 28151
399.34/400.74 c #Conflicts: 531000 | #Constraints: 29173
399.34/400.74 c INPROCESSING
399.34/400.74 c GARBAGE COLLECT
399.34/400.74 c rational objective 14.1652
416.88/418.37 c #Conflicts: 532000 | #Constraints: 15613
416.88/418.37 c #Conflicts: 533000 | #Constraints: 16616
416.88/418.37 c #Conflicts: 534000 | #Constraints: 17619
416.88/418.37 c #Conflicts: 535000 | #Constraints: 18620
416.88/418.37 c #Conflicts: 536000 | #Constraints: 19624
416.88/418.37 c #Conflicts: 537000 | #Constraints: 20626
416.88/418.37 c #Conflicts: 538000 | #Constraints: 21627
416.88/418.37 c #Conflicts: 539000 | #Constraints: 22637
416.88/418.37 c #Conflicts: 540000 | #Constraints: 23637
416.88/418.37 c #Conflicts: 541000 | #Constraints: 24641
416.88/418.37 c #Conflicts: 542000 | #Constraints: 25643
416.88/418.37 c #Conflicts: 543000 | #Constraints: 26645
416.88/418.37 c #Conflicts: 544000 | #Constraints: 27646
416.88/418.37 c #Conflicts: 545000 | #Constraints: 28648
416.88/418.37 c #Conflicts: 546000 | #Constraints: 29653
416.88/418.37 c INPROCESSING
416.88/418.37 c GARBAGE COLLECT
416.88/418.37 c rational objective 14.1652
428.74/430.25 c #Conflicts: 547000 | #Constraints: 15956
428.74/430.25 c #Conflicts: 548000 | #Constraints: 16970
428.74/430.25 c #Conflicts: 549000 | #Constraints: 17982
428.74/430.25 c #Conflicts: 550000 | #Constraints: 18992
428.74/430.25 c #Conflicts: 551000 | #Constraints: 20005
428.74/430.25 c #Conflicts: 552000 | #Constraints: 21018
428.74/430.25 c #Conflicts: 553000 | #Constraints: 22036
428.74/430.25 c #Conflicts: 554000 | #Constraints: 23050
428.74/430.25 c #Conflicts: 555000 | #Constraints: 24066
428.74/430.25 c #Conflicts: 556000 | #Constraints: 25089
428.74/430.25 c #Conflicts: 557000 | #Constraints: 26109
428.74/430.25 c #Conflicts: 558000 | #Constraints: 27125
428.74/430.25 c #Conflicts: 559000 | #Constraints: 28130
428.74/430.25 c #Conflicts: 560000 | #Constraints: 29141
428.74/430.25 c #Conflicts: 561000 | #Constraints: 30156
428.74/430.25 c INPROCESSING
428.74/430.25 c GARBAGE COLLECT
428.74/430.25 c rational objective 14.1652
448.57/450.11 c #Conflicts: 562000 | #Constraints: 16208
448.57/450.11 c #Conflicts: 563000 | #Constraints: 17211
448.57/450.11 c #Conflicts: 564000 | #Constraints: 18213
448.57/450.11 c #Conflicts: 565000 | #Constraints: 19214
448.57/450.11 c #Conflicts: 566000 | #Constraints: 20216
448.57/450.11 c #Conflicts: 567000 | #Constraints: 21217
448.57/450.11 c #Conflicts: 568000 | #Constraints: 22220
448.57/450.11 c #Conflicts: 569000 | #Constraints: 23220
448.57/450.11 c #Conflicts: 570000 | #Constraints: 24221
448.57/450.11 c #Conflicts: 571000 | #Constraints: 25224
448.57/450.11 c #Conflicts: 572000 | #Constraints: 26225
448.57/450.11 c #Conflicts: 573000 | #Constraints: 27231
448.57/450.11 c #Conflicts: 574000 | #Constraints: 28238
448.57/450.11 c #Conflicts: 575000 | #Constraints: 29246
448.57/450.11 c #Conflicts: 576000 | #Constraints: 30250
448.57/450.11 c INPROCESSING
448.57/450.11 c GARBAGE COLLECT
448.57/450.11 c rational objective 14.1652
461.21/462.81 c #Conflicts: 577000 | #Constraints: 16163
461.21/462.81 c #Conflicts: 578000 | #Constraints: 17176
461.21/462.81 c #Conflicts: 579000 | #Constraints: 18184
461.21/462.81 c #Conflicts: 580000 | #Constraints: 19193
461.21/462.81 c #Conflicts: 581000 | #Constraints: 20199
461.21/462.81 c #Conflicts: 582000 | #Constraints: 21214
461.21/462.81 c #Conflicts: 583000 | #Constraints: 22224
461.21/462.81 c #Conflicts: 584000 | #Constraints: 23239
461.21/462.81 c #Conflicts: 585000 | #Constraints: 24251
461.21/462.81 c #Conflicts: 586000 | #Constraints: 25258
461.21/462.81 c #Conflicts: 587000 | #Constraints: 26267
461.21/462.81 c #Conflicts: 588000 | #Constraints: 27283
461.21/462.81 c #Conflicts: 589000 | #Constraints: 28289
461.21/462.81 c #Conflicts: 590000 | #Constraints: 29298
461.21/462.81 c #Conflicts: 591000 | #Constraints: 30303
461.21/462.81 c INPROCESSING
461.21/462.81 c GARBAGE COLLECT
461.21/462.81 c rational objective 14.1652
474.07/475.78 c #Conflicts: 592000 | #Constraints: 15996
474.07/475.78 c #Conflicts: 593000 | #Constraints: 17012
474.07/475.78 c #Conflicts: 594000 | #Constraints: 18021
474.07/475.78 c #Conflicts: 595000 | #Constraints: 19038
474.07/475.78 c #Conflicts: 596000 | #Constraints: 20061
474.07/475.78 c #Conflicts: 597000 | #Constraints: 21074
474.07/475.78 c #Conflicts: 598000 | #Constraints: 22095
474.07/475.78 c #Conflicts: 599000 | #Constraints: 23108
474.07/475.78 c #Conflicts: 600000 | #Constraints: 24124
474.07/475.78 c #Conflicts: 601000 | #Constraints: 25141
474.07/475.78 c #Conflicts: 602000 | #Constraints: 26161
474.07/475.78 c #Conflicts: 603000 | #Constraints: 27172
474.07/475.78 c #Conflicts: 604000 | #Constraints: 28182
474.07/475.78 c #Conflicts: 605000 | #Constraints: 29199
474.07/475.78 c #Conflicts: 606000 | #Constraints: 30216
474.07/475.78 c #Conflicts: 607000 | #Constraints: 31231
474.07/475.78 c INPROCESSING
474.07/475.78 c GARBAGE COLLECT
474.07/475.78 c rational objective 14.1652
493.40/495.17 c #Conflicts: 608000 | #Constraints: 16686
493.40/495.17 c #Conflicts: 609000 | #Constraints: 17688
493.40/495.17 c #Conflicts: 610000 | #Constraints: 18690
493.40/495.17 c #Conflicts: 611000 | #Constraints: 19695
493.40/495.17 c #Conflicts: 612000 | #Constraints: 20699
493.40/495.17 c #Conflicts: 613000 | #Constraints: 21703
493.40/495.17 c #Conflicts: 614000 | #Constraints: 22706
493.40/495.17 c #Conflicts: 615000 | #Constraints: 23713
493.40/495.17 c #Conflicts: 616000 | #Constraints: 24714
493.40/495.17 c #Conflicts: 617000 | #Constraints: 25715
493.40/495.17 c #Conflicts: 618000 | #Constraints: 26717
493.40/495.17 c #Conflicts: 619000 | #Constraints: 27718
493.40/495.17 c #Conflicts: 620000 | #Constraints: 28721
493.40/495.17 c #Conflicts: 621000 | #Constraints: 29724
493.40/495.17 c #Conflicts: 622000 | #Constraints: 30727
493.40/495.17 c #Conflicts: 623000 | #Constraints: 31730
493.40/495.17 c INPROCESSING
493.40/495.17 c GARBAGE COLLECT
493.40/495.17 c rational objective 14.1652
506.54/508.32 c #Conflicts: 624000 | #Constraints: 17009
506.54/508.32 c #Conflicts: 625000 | #Constraints: 18035
506.54/508.32 c #Conflicts: 626000 | #Constraints: 19045
506.54/508.32 c #Conflicts: 627000 | #Constraints: 20058
506.54/508.32 c #Conflicts: 628000 | #Constraints: 21066
506.54/508.32 c #Conflicts: 629000 | #Constraints: 22071
506.54/508.32 c #Conflicts: 630000 | #Constraints: 23077
506.54/508.32 c #Conflicts: 631000 | #Constraints: 24095
506.54/508.32 c #Conflicts: 632000 | #Constraints: 25107
506.54/508.32 c #Conflicts: 633000 | #Constraints: 26118
506.54/508.32 c #Conflicts: 634000 | #Constraints: 27127
506.54/508.32 c #Conflicts: 635000 | #Constraints: 28137
506.54/508.32 c #Conflicts: 636000 | #Constraints: 29145
506.54/508.32 c #Conflicts: 637000 | #Constraints: 30150
506.54/508.32 c #Conflicts: 638000 | #Constraints: 31170
506.54/508.32 c #Conflicts: 639000 | #Constraints: 32182
506.54/508.32 c INPROCESSING
506.54/508.32 c GARBAGE COLLECT
506.54/508.32 c rational objective 14.1652
530.45/532.34 c #Conflicts: 640000 | #Constraints: 17217
530.45/532.34 c #Conflicts: 641000 | #Constraints: 18221
530.45/532.34 c #Conflicts: 642000 | #Constraints: 19223
530.45/532.34 c #Conflicts: 643000 | #Constraints: 20227
530.45/532.34 c #Conflicts: 644000 | #Constraints: 21230
530.45/532.34 c #Conflicts: 645000 | #Constraints: 22234
530.45/532.34 c #Conflicts: 646000 | #Constraints: 23236
530.45/532.34 c #Conflicts: 647000 | #Constraints: 24237
530.45/532.34 c #Conflicts: 648000 | #Constraints: 25240
530.45/532.34 c #Conflicts: 649000 | #Constraints: 26240
530.45/532.34 c #Conflicts: 650000 | #Constraints: 27242
530.45/532.34 c #Conflicts: 651000 | #Constraints: 28244
530.45/532.34 c #Conflicts: 652000 | #Constraints: 29247
530.45/532.34 c #Conflicts: 653000 | #Constraints: 30248
530.45/532.34 c #Conflicts: 654000 | #Constraints: 31249
530.45/532.34 c #Conflicts: 655000 | #Constraints: 32249
530.45/532.34 c INPROCESSING
530.45/532.34 c GARBAGE COLLECT
530.45/532.34 c rational objective 14.1652
545.50/547.41 c #Conflicts: 656000 | #Constraints: 17214
545.50/547.41 c #Conflicts: 657000 | #Constraints: 18233
545.50/547.41 c #Conflicts: 658000 | #Constraints: 19249
545.50/547.41 c #Conflicts: 659000 | #Constraints: 20261
545.50/547.41 c #Conflicts: 660000 | #Constraints: 21277
545.50/547.41 c #Conflicts: 661000 | #Constraints: 22290
545.50/547.41 c #Conflicts: 662000 | #Constraints: 23297
545.50/547.41 c #Conflicts: 663000 | #Constraints: 24305
545.50/547.41 c #Conflicts: 664000 | #Constraints: 25313
545.50/547.41 c #Conflicts: 665000 | #Constraints: 26319
545.50/547.41 c #Conflicts: 666000 | #Constraints: 27329
545.50/547.41 c #Conflicts: 667000 | #Constraints: 28341
545.50/547.41 c #Conflicts: 668000 | #Constraints: 29361
545.50/547.41 c #Conflicts: 669000 | #Constraints: 30368
545.50/547.41 c #Conflicts: 670000 | #Constraints: 31375
545.50/547.41 c #Conflicts: 671000 | #Constraints: 32385
545.50/547.41 c INPROCESSING
545.50/547.41 c GARBAGE COLLECT
545.50/547.41 c rational objective 14.1652
569.71/571.72 c #Conflicts: 672000 | #Constraints: 17040
569.71/571.72 c #Conflicts: 673000 | #Constraints: 18041
569.71/571.72 c #Conflicts: 674000 | #Constraints: 19042
569.71/571.72 c #Conflicts: 675000 | #Constraints: 20045
569.71/571.72 c #Conflicts: 676000 | #Constraints: 21049
569.71/571.72 c #Conflicts: 677000 | #Constraints: 22051
569.71/571.72 c #Conflicts: 678000 | #Constraints: 23052
569.71/571.72 c #Conflicts: 679000 | #Constraints: 24054
569.71/571.72 c #Conflicts: 680000 | #Constraints: 25055
569.71/571.72 c #Conflicts: 681000 | #Constraints: 26058
569.71/571.72 c #Conflicts: 682000 | #Constraints: 27059
569.71/571.72 c #Conflicts: 683000 | #Constraints: 28063
569.71/571.72 c #Conflicts: 684000 | #Constraints: 29069
569.71/571.72 c #Conflicts: 685000 | #Constraints: 30072
569.71/571.72 c #Conflicts: 686000 | #Constraints: 31074
569.71/571.72 c #Conflicts: 687000 | #Constraints: 32076
569.71/571.72 c #Conflicts: 688000 | #Constraints: 33077
569.71/571.72 c INPROCESSING
569.71/571.72 c GARBAGE COLLECT
569.71/571.72 c rational objective 14.1653
584.75/586.84 c #Conflicts: 689000 | #Constraints: 17570
584.75/586.84 c #Conflicts: 690000 | #Constraints: 18585
584.75/586.84 c #Conflicts: 691000 | #Constraints: 19591
584.75/586.84 c #Conflicts: 692000 | #Constraints: 20596
584.75/586.84 c #Conflicts: 693000 | #Constraints: 21599
584.75/586.84 c #Conflicts: 694000 | #Constraints: 22609
584.75/586.84 c #Conflicts: 695000 | #Constraints: 23628
584.75/586.84 c #Conflicts: 696000 | #Constraints: 24647
584.75/586.84 c #Conflicts: 697000 | #Constraints: 25662
584.75/586.84 c #Conflicts: 698000 | #Constraints: 26677
584.75/586.84 c #Conflicts: 699000 | #Constraints: 27690
584.75/586.84 c #Conflicts: 700000 | #Constraints: 28707
584.75/586.84 c #Conflicts: 701000 | #Constraints: 29730
584.75/586.84 c #Conflicts: 702000 | #Constraints: 30742
584.75/586.84 c #Conflicts: 703000 | #Constraints: 31767
584.75/586.84 c #Conflicts: 704000 | #Constraints: 32792
584.75/586.84 c #Conflicts: 705000 | #Constraints: 33808
584.75/586.84 c INPROCESSING
584.75/586.84 c GARBAGE COLLECT
584.75/586.84 c rational objective 14.1653
599.60/601.78 c #Conflicts: 706000 | #Constraints: 18034
599.60/601.78 c #Conflicts: 707000 | #Constraints: 19047
599.60/601.78 c #Conflicts: 708000 | #Constraints: 20067
599.60/601.78 c #Conflicts: 709000 | #Constraints: 21073
599.60/601.78 c #Conflicts: 710000 | #Constraints: 22085
599.60/601.78 c #Conflicts: 711000 | #Constraints: 23098
599.60/601.78 c #Conflicts: 712000 | #Constraints: 24108
599.60/601.78 c #Conflicts: 713000 | #Constraints: 25121
599.60/601.78 c #Conflicts: 714000 | #Constraints: 26137
599.60/601.78 c #Conflicts: 715000 | #Constraints: 27161
599.60/601.78 c #Conflicts: 716000 | #Constraints: 28172
599.60/601.78 c #Conflicts: 717000 | #Constraints: 29188
599.60/601.78 c #Conflicts: 718000 | #Constraints: 30203
599.60/601.78 c #Conflicts: 719000 | #Constraints: 31229
599.60/601.78 c #Conflicts: 720000 | #Constraints: 32243
599.60/601.78 c #Conflicts: 721000 | #Constraints: 33264
599.60/601.78 c bounds 17 >= 13 @ 588.658
600.50/602.63 c #Conflicts: 722000 | #Constraints: 34279
600.50/602.63 c INPROCESSING
600.50/602.63 c GARBAGE COLLECT
600.50/602.63 c rational objective 14.1653
634.79/637.03 c #Conflicts: 723000 | #Constraints: 18274
634.79/637.03 c #Conflicts: 724000 | #Constraints: 19287
634.79/637.03 c #Conflicts: 725000 | #Constraints: 20290
634.79/637.03 c #Conflicts: 726000 | #Constraints: 21291
634.79/637.03 c #Conflicts: 727000 | #Constraints: 22293
634.79/637.03 c #Conflicts: 728000 | #Constraints: 23298
634.79/637.03 c #Conflicts: 729000 | #Constraints: 24302
634.79/637.03 c #Conflicts: 730000 | #Constraints: 25303
634.79/637.03 c #Conflicts: 731000 | #Constraints: 26305
634.79/637.03 c #Conflicts: 732000 | #Constraints: 27307
634.79/637.03 c #Conflicts: 733000 | #Constraints: 28307
634.79/637.03 c #Conflicts: 734000 | #Constraints: 29312
634.79/637.03 c #Conflicts: 735000 | #Constraints: 30315
634.79/637.03 c #Conflicts: 736000 | #Constraints: 31318
634.79/637.03 c #Conflicts: 737000 | #Constraints: 32322
634.79/637.03 c #Conflicts: 738000 | #Constraints: 33326
634.79/637.03 c #Conflicts: 739000 | #Constraints: 34330
634.79/637.03 c INPROCESSING
634.79/637.03 c GARBAGE COLLECT
634.79/637.03 c rational objective 14.1653
651.91/654.23 c #Conflicts: 740000 | #Constraints: 18203
651.91/654.23 c #Conflicts: 741000 | #Constraints: 19221
651.91/654.23 c #Conflicts: 742000 | #Constraints: 20236
651.91/654.23 c #Conflicts: 743000 | #Constraints: 21248
651.91/654.23 c #Conflicts: 744000 | #Constraints: 22265
651.91/654.23 c #Conflicts: 745000 | #Constraints: 23283
651.91/654.23 c #Conflicts: 746000 | #Constraints: 24296
651.91/654.23 c #Conflicts: 747000 | #Constraints: 25310
651.91/654.23 c #Conflicts: 748000 | #Constraints: 26323
651.91/654.23 c #Conflicts: 749000 | #Constraints: 27334
651.91/654.23 c #Conflicts: 750000 | #Constraints: 28351
651.91/654.23 c #Conflicts: 751000 | #Constraints: 29370
651.91/654.23 c #Conflicts: 752000 | #Constraints: 30380
651.91/654.23 c #Conflicts: 753000 | #Constraints: 31396
651.91/654.23 c #Conflicts: 754000 | #Constraints: 32405
651.91/654.23 c #Conflicts: 755000 | #Constraints: 33415
651.91/654.23 c #Conflicts: 756000 | #Constraints: 34426
651.91/654.23 c INPROCESSING
651.91/654.23 c GARBAGE COLLECT
651.91/654.23 c rational objective 14.1653
669.17/671.52 c #Conflicts: 757000 | #Constraints: 18037
669.17/671.52 c #Conflicts: 758000 | #Constraints: 19053
669.17/671.52 c #Conflicts: 759000 | #Constraints: 20072
669.17/671.52 c #Conflicts: 760000 | #Constraints: 21086
669.17/671.52 c #Conflicts: 761000 | #Constraints: 22103
669.17/671.52 c #Conflicts: 762000 | #Constraints: 23115
669.17/671.52 c #Conflicts: 763000 | #Constraints: 24134
669.17/671.52 c #Conflicts: 764000 | #Constraints: 25142
669.17/671.52 c #Conflicts: 765000 | #Constraints: 26149
669.17/671.52 c #Conflicts: 766000 | #Constraints: 27154
669.17/671.52 c #Conflicts: 767000 | #Constraints: 28160
669.17/671.52 c #Conflicts: 768000 | #Constraints: 29167
669.17/671.52 c #Conflicts: 769000 | #Constraints: 30179
669.17/671.52 c #Conflicts: 770000 | #Constraints: 31193
669.17/671.52 c #Conflicts: 771000 | #Constraints: 32206
669.17/671.52 c #Conflicts: 772000 | #Constraints: 33214
669.17/671.52 c #Conflicts: 773000 | #Constraints: 34224
669.17/671.52 c #Conflicts: 774000 | #Constraints: 35234
669.17/671.52 c INPROCESSING
669.17/671.52 c GARBAGE COLLECT
669.17/671.52 c rational objective 14.1653
692.69/695.17 c #Conflicts: 775000 | #Constraints: 18654
692.69/695.17 c #Conflicts: 776000 | #Constraints: 19660
692.69/695.17 c #Conflicts: 777000 | #Constraints: 20663
692.69/695.17 c #Conflicts: 778000 | #Constraints: 21666
692.69/695.17 c #Conflicts: 779000 | #Constraints: 22670
692.69/695.17 c #Conflicts: 780000 | #Constraints: 23677
692.69/695.17 c #Conflicts: 781000 | #Constraints: 24685
692.69/695.17 c #Conflicts: 782000 | #Constraints: 25693
692.69/695.17 c #Conflicts: 783000 | #Constraints: 26701
692.69/695.17 c #Conflicts: 784000 | #Constraints: 27708
692.69/695.17 c #Conflicts: 785000 | #Constraints: 28720
692.69/695.17 c #Conflicts: 786000 | #Constraints: 29727
692.69/695.17 c #Conflicts: 787000 | #Constraints: 30731
692.69/695.17 c #Conflicts: 788000 | #Constraints: 31738
692.69/695.17 c #Conflicts: 789000 | #Constraints: 32746
692.69/695.17 c #Conflicts: 790000 | #Constraints: 33753
692.69/695.17 c #Conflicts: 791000 | #Constraints: 34758
692.69/695.17 c #Conflicts: 792000 | #Constraints: 35775
692.69/695.17 c INPROCESSING
692.69/695.17 c GARBAGE COLLECT
692.69/695.17 c rational objective 14.1653
710.03/712.50 c #Conflicts: 793000 | #Constraints: 19036
710.03/712.50 c #Conflicts: 794000 | #Constraints: 20046
710.03/712.50 c #Conflicts: 795000 | #Constraints: 21062
710.03/712.50 c #Conflicts: 796000 | #Constraints: 22083
710.03/712.50 c #Conflicts: 797000 | #Constraints: 23097
710.03/712.50 c #Conflicts: 798000 | #Constraints: 24105
710.03/712.50 c #Conflicts: 799000 | #Constraints: 25113
710.03/712.50 c #Conflicts: 800000 | #Constraints: 26132
710.03/712.50 c #Conflicts: 801000 | #Constraints: 27145
710.03/712.50 c #Conflicts: 802000 | #Constraints: 28153
710.03/712.50 c #Conflicts: 803000 | #Constraints: 29164
710.03/712.50 c #Conflicts: 804000 | #Constraints: 30174
710.03/712.50 c #Conflicts: 805000 | #Constraints: 31190
710.03/712.50 c #Conflicts: 806000 | #Constraints: 32201
710.03/712.50 c #Conflicts: 807000 | #Constraints: 33219
710.03/712.50 c #Conflicts: 808000 | #Constraints: 34232
710.03/712.50 c #Conflicts: 809000 | #Constraints: 35241
710.03/712.50 c #Conflicts: 810000 | #Constraints: 36248
710.03/712.50 c INPROCESSING
710.03/712.50 c GARBAGE COLLECT
710.03/712.50 c rational objective 14.1653
734.24/736.85 c #Conflicts: 811000 | #Constraints: 19276
734.24/736.85 c #Conflicts: 812000 | #Constraints: 20277
734.24/736.85 c #Conflicts: 813000 | #Constraints: 21282
734.24/736.85 c #Conflicts: 814000 | #Constraints: 22293
734.24/736.85 c #Conflicts: 815000 | #Constraints: 23298
734.24/736.85 c #Conflicts: 816000 | #Constraints: 24304
734.24/736.85 c #Conflicts: 817000 | #Constraints: 25311
734.24/736.85 c #Conflicts: 818000 | #Constraints: 26316
734.24/736.85 c #Conflicts: 819000 | #Constraints: 27335
734.24/736.85 c #Conflicts: 820000 | #Constraints: 28345
734.24/736.85 c #Conflicts: 821000 | #Constraints: 29352
734.24/736.85 c #Conflicts: 822000 | #Constraints: 30362
734.24/736.85 c #Conflicts: 823000 | #Constraints: 31370
734.24/736.85 c #Conflicts: 824000 | #Constraints: 32373
734.24/736.85 c #Conflicts: 825000 | #Constraints: 33379
734.24/736.85 c #Conflicts: 826000 | #Constraints: 34382
734.24/736.85 c #Conflicts: 827000 | #Constraints: 35391
734.24/736.85 c #Conflicts: 828000 | #Constraints: 36394
734.24/736.85 c INPROCESSING
734.24/736.85 c GARBAGE COLLECT
734.24/736.85 c rational objective 14.1653
752.19/754.87 c #Conflicts: 829000 | #Constraints: 19260
752.19/754.87 c #Conflicts: 830000 | #Constraints: 20283
752.19/754.87 c #Conflicts: 831000 | #Constraints: 21303
752.19/754.87 c #Conflicts: 832000 | #Constraints: 22317
752.19/754.87 c #Conflicts: 833000 | #Constraints: 23341
752.19/754.87 c #Conflicts: 834000 | #Constraints: 24359
752.19/754.87 c #Conflicts: 835000 | #Constraints: 25379
752.19/754.87 c #Conflicts: 836000 | #Constraints: 26397
752.19/754.87 c #Conflicts: 837000 | #Constraints: 27412
752.19/754.87 c #Conflicts: 838000 | #Constraints: 28428
752.19/754.87 c #Conflicts: 839000 | #Constraints: 29447
752.19/754.87 c #Conflicts: 840000 | #Constraints: 30460
752.19/754.87 c #Conflicts: 841000 | #Constraints: 31470
752.19/754.87 c #Conflicts: 842000 | #Constraints: 32489
752.19/754.87 c #Conflicts: 843000 | #Constraints: 33501
752.19/754.87 c #Conflicts: 844000 | #Constraints: 34517
752.19/754.87 c #Conflicts: 845000 | #Constraints: 35531
752.19/754.87 c #Conflicts: 846000 | #Constraints: 36551
752.19/754.87 c INPROCESSING
752.19/754.87 c GARBAGE COLLECT
752.19/754.87 c rational objective 14.1653
777.01/779.76 c #Conflicts: 847000 | #Constraints: 19103
777.01/779.76 c #Conflicts: 848000 | #Constraints: 20103
777.01/779.76 c #Conflicts: 849000 | #Constraints: 21106
777.01/779.76 c #Conflicts: 850000 | #Constraints: 22112
777.01/779.76 c #Conflicts: 851000 | #Constraints: 23120
777.01/779.76 c #Conflicts: 852000 | #Constraints: 24131
777.01/779.76 c #Conflicts: 853000 | #Constraints: 25134
777.01/779.76 c #Conflicts: 854000 | #Constraints: 26137
777.01/779.76 c #Conflicts: 855000 | #Constraints: 27141
777.01/779.76 c #Conflicts: 856000 | #Constraints: 28148
777.01/779.76 c #Conflicts: 857000 | #Constraints: 29153
777.01/779.76 c #Conflicts: 858000 | #Constraints: 30160
777.01/779.76 c #Conflicts: 859000 | #Constraints: 31167
777.01/779.76 c #Conflicts: 860000 | #Constraints: 32178
777.01/779.76 c #Conflicts: 861000 | #Constraints: 33181
777.01/779.76 c #Conflicts: 862000 | #Constraints: 34188
777.01/779.76 c #Conflicts: 863000 | #Constraints: 35193
777.01/779.76 c #Conflicts: 864000 | #Constraints: 36201
777.01/779.76 c #Conflicts: 865000 | #Constraints: 37209
777.01/779.76 c INPROCESSING
777.01/779.76 c GARBAGE COLLECT
777.01/779.76 c rational objective 14.1653
795.44/798.29 c #Conflicts: 866000 | #Constraints: 19651
795.44/798.29 c #Conflicts: 867000 | #Constraints: 20658
795.44/798.29 c #Conflicts: 868000 | #Constraints: 21667
795.44/798.29 c #Conflicts: 869000 | #Constraints: 22678
795.44/798.29 c #Conflicts: 870000 | #Constraints: 23683
795.44/798.29 c #Conflicts: 871000 | #Constraints: 24688
795.44/798.29 c #Conflicts: 872000 | #Constraints: 25695
795.44/798.29 c #Conflicts: 873000 | #Constraints: 26705
795.44/798.29 c #Conflicts: 874000 | #Constraints: 27711
795.44/798.29 c #Conflicts: 875000 | #Constraints: 28717
795.44/798.29 c #Conflicts: 876000 | #Constraints: 29725
795.44/798.29 c #Conflicts: 877000 | #Constraints: 30736
795.44/798.29 c #Conflicts: 878000 | #Constraints: 31743
795.44/798.29 c #Conflicts: 879000 | #Constraints: 32753
795.44/798.29 c #Conflicts: 880000 | #Constraints: 33762
795.44/798.29 c #Conflicts: 881000 | #Constraints: 34774
795.44/798.29 c #Conflicts: 882000 | #Constraints: 35791
795.44/798.29 c #Conflicts: 883000 | #Constraints: 36815
795.44/798.29 c #Conflicts: 884000 | #Constraints: 37828
795.44/798.29 c INPROCESSING
795.44/798.29 c GARBAGE COLLECT
795.44/798.29 c rational objective 14.1653
814.48/817.36 c #Conflicts: 885000 | #Constraints: 20041
814.48/817.36 c #Conflicts: 886000 | #Constraints: 21051
814.48/817.36 c #Conflicts: 887000 | #Constraints: 22062
814.48/817.36 c #Conflicts: 888000 | #Constraints: 23072
814.48/817.36 c #Conflicts: 889000 | #Constraints: 24084
814.48/817.36 c #Conflicts: 890000 | #Constraints: 25095
814.48/817.36 c #Conflicts: 891000 | #Constraints: 26114
814.48/817.36 c #Conflicts: 892000 | #Constraints: 27122
814.48/817.36 c #Conflicts: 893000 | #Constraints: 28127
814.48/817.36 c #Conflicts: 894000 | #Constraints: 29136
814.48/817.36 c #Conflicts: 895000 | #Constraints: 30143
814.48/817.36 c #Conflicts: 896000 | #Constraints: 31149
814.48/817.36 c #Conflicts: 897000 | #Constraints: 32153
814.48/817.36 c #Conflicts: 898000 | #Constraints: 33158
814.48/817.36 c #Conflicts: 899000 | #Constraints: 34176
814.48/817.36 c #Conflicts: 900000 | #Constraints: 35181
814.48/817.36 c #Conflicts: 901000 | #Constraints: 36186
814.48/817.36 c #Conflicts: 902000 | #Constraints: 37196
814.48/817.36 c #Conflicts: 903000 | #Constraints: 38203
814.48/817.36 c INPROCESSING
814.48/817.36 c GARBAGE COLLECT
814.48/817.36 c rational objective 14.1653
838.39/841.38 c #Conflicts: 904000 | #Constraints: 20235
838.39/841.38 c #Conflicts: 905000 | #Constraints: 21248
838.39/841.38 c #Conflicts: 906000 | #Constraints: 22253
838.39/841.38 c #Conflicts: 907000 | #Constraints: 23258
838.39/841.38 c #Conflicts: 908000 | #Constraints: 24266
838.39/841.38 c #Conflicts: 909000 | #Constraints: 25271
838.39/841.38 c #Conflicts: 910000 | #Constraints: 26276
838.39/841.38 c #Conflicts: 911000 | #Constraints: 27281
838.39/841.38 c #Conflicts: 912000 | #Constraints: 28292
838.39/841.38 c #Conflicts: 913000 | #Constraints: 29302
838.39/841.38 c #Conflicts: 914000 | #Constraints: 30311
838.39/841.38 c #Conflicts: 915000 | #Constraints: 31317
838.39/841.38 c #Conflicts: 916000 | #Constraints: 32321
838.39/841.38 c #Conflicts: 917000 | #Constraints: 33329
838.39/841.38 c #Conflicts: 918000 | #Constraints: 34332
838.39/841.38 c #Conflicts: 919000 | #Constraints: 35335
838.39/841.38 c #Conflicts: 920000 | #Constraints: 36349
838.39/841.38 c #Conflicts: 921000 | #Constraints: 37358
838.39/841.38 c #Conflicts: 922000 | #Constraints: 38366
838.39/841.38 c INPROCESSING
838.39/841.38 c GARBAGE COLLECT
838.39/841.38 c rational objective 14.1653
857.84/860.83 c #Conflicts: 923000 | #Constraints: 20209
857.84/860.83 c #Conflicts: 924000 | #Constraints: 21218
857.84/860.83 c #Conflicts: 925000 | #Constraints: 22230
857.84/860.83 c #Conflicts: 926000 | #Constraints: 23245
857.84/860.83 c #Conflicts: 927000 | #Constraints: 24263
857.84/860.83 c #Conflicts: 928000 | #Constraints: 25272
857.84/860.83 c #Conflicts: 929000 | #Constraints: 26287
857.84/860.83 c #Conflicts: 930000 | #Constraints: 27297
857.84/860.83 c #Conflicts: 931000 | #Constraints: 28315
857.84/860.83 c #Conflicts: 932000 | #Constraints: 29328
857.84/860.83 c #Conflicts: 933000 | #Constraints: 30336
857.84/860.83 c #Conflicts: 934000 | #Constraints: 31351
857.84/860.83 c #Conflicts: 935000 | #Constraints: 32364
857.84/860.83 c #Conflicts: 936000 | #Constraints: 33382
857.84/860.83 c #Conflicts: 937000 | #Constraints: 34388
857.84/860.83 c #Conflicts: 938000 | #Constraints: 35403
857.84/860.83 c #Conflicts: 939000 | #Constraints: 36416
857.84/860.83 c #Conflicts: 940000 | #Constraints: 37431
857.84/860.83 c #Conflicts: 941000 | #Constraints: 38448
857.84/860.83 c INPROCESSING
857.84/860.83 c GARBAGE COLLECT
857.84/860.83 c rational objective 14.1653
878.27/881.34 c #Conflicts: 942000 | #Constraints: 20086
878.27/881.34 c #Conflicts: 943000 | #Constraints: 21109
878.27/881.34 c #Conflicts: 944000 | #Constraints: 22128
878.27/881.34 c #Conflicts: 945000 | #Constraints: 23145
878.27/881.34 c #Conflicts: 946000 | #Constraints: 24163
878.27/881.34 c #Conflicts: 947000 | #Constraints: 25179
878.27/881.34 c #Conflicts: 948000 | #Constraints: 26195
878.27/881.34 c #Conflicts: 949000 | #Constraints: 27207
878.27/881.34 c #Conflicts: 950000 | #Constraints: 28220
878.27/881.34 c #Conflicts: 951000 | #Constraints: 29230
878.27/881.34 c #Conflicts: 952000 | #Constraints: 30243
878.27/881.34 c #Conflicts: 953000 | #Constraints: 31261
878.27/881.34 c #Conflicts: 954000 | #Constraints: 32275
878.27/881.34 c #Conflicts: 955000 | #Constraints: 33291
878.27/881.34 c #Conflicts: 956000 | #Constraints: 34299
878.27/881.34 c #Conflicts: 957000 | #Constraints: 35316
878.27/881.34 c #Conflicts: 958000 | #Constraints: 36326
878.27/881.34 c #Conflicts: 959000 | #Constraints: 37334
878.27/881.34 c #Conflicts: 960000 | #Constraints: 38342
878.27/881.34 c #Conflicts: 961000 | #Constraints: 39353
878.27/881.34 c INPROCESSING
878.27/881.34 c GARBAGE COLLECT
878.27/881.34 c rational objective 14.1653
898.91/902.04 c #Conflicts: 962000 | #Constraints: 20719
898.91/902.04 c #Conflicts: 963000 | #Constraints: 21727
898.91/902.04 c #Conflicts: 964000 | #Constraints: 22736
898.91/902.04 c #Conflicts: 965000 | #Constraints: 23749
898.91/902.04 c #Conflicts: 966000 | #Constraints: 24770
898.91/902.04 c #Conflicts: 967000 | #Constraints: 25786
898.91/902.04 c #Conflicts: 968000 | #Constraints: 26803
898.91/902.04 c #Conflicts: 969000 | #Constraints: 27819
898.91/902.04 c #Conflicts: 970000 | #Constraints: 28832
898.91/902.04 c #Conflicts: 971000 | #Constraints: 29842
898.91/902.04 c #Conflicts: 972000 | #Constraints: 30857
898.91/902.04 c #Conflicts: 973000 | #Constraints: 31868
898.91/902.04 c #Conflicts: 974000 | #Constraints: 32884
898.91/902.04 c #Conflicts: 975000 | #Constraints: 33893
898.91/902.04 c #Conflicts: 976000 | #Constraints: 34908
898.91/902.04 c #Conflicts: 977000 | #Constraints: 35919
898.91/902.04 c #Conflicts: 978000 | #Constraints: 36943
898.91/902.04 c #Conflicts: 979000 | #Constraints: 37955
898.91/902.04 c #Conflicts: 980000 | #Constraints: 38966
898.91/902.04 c #Conflicts: 981000 | #Constraints: 39981
898.91/902.04 c INPROCESSING
898.91/902.04 c GARBAGE COLLECT
898.91/902.04 c rational objective 14.1653
918.43/921.64 c #Conflicts: 982000 | #Constraints: 21190
918.43/921.64 c #Conflicts: 983000 | #Constraints: 22208
918.43/921.64 c #Conflicts: 984000 | #Constraints: 23228
918.43/921.64 c #Conflicts: 985000 | #Constraints: 24242
918.43/921.64 c #Conflicts: 986000 | #Constraints: 25252
918.43/921.64 c #Conflicts: 987000 | #Constraints: 26262
918.43/921.64 c #Conflicts: 988000 | #Constraints: 27270
918.43/921.64 c #Conflicts: 989000 | #Constraints: 28279
918.43/921.64 c #Conflicts: 990000 | #Constraints: 29287
918.43/921.64 c #Conflicts: 991000 | #Constraints: 30296
918.43/921.64 c #Conflicts: 992000 | #Constraints: 31305
918.43/921.64 c #Conflicts: 993000 | #Constraints: 32314
918.43/921.64 c #Conflicts: 994000 | #Constraints: 33322
918.43/921.64 c #Conflicts: 995000 | #Constraints: 34331
918.43/921.64 c #Conflicts: 996000 | #Constraints: 35338
918.43/921.64 c #Conflicts: 997000 | #Constraints: 36347
918.43/921.64 c #Conflicts: 998000 | #Constraints: 37355
918.43/921.64 c #Conflicts: 999000 | #Constraints: 38366
918.43/921.64 c #Conflicts: 1000000 | #Constraints: 39374
918.43/921.64 c #Conflicts: 1001000 | #Constraints: 40387
918.43/921.64 c INPROCESSING
918.43/921.64 c GARBAGE COLLECT
918.43/921.64 c rational objective 14.1654
940.46/943.77 c #Conflicts: 1002000 | #Constraints: 21453
940.46/943.77 c #Conflicts: 1003000 | #Constraints: 22460
940.46/943.77 c #Conflicts: 1004000 | #Constraints: 23474
940.46/943.77 c #Conflicts: 1005000 | #Constraints: 24488
940.46/943.77 c #Conflicts: 1006000 | #Constraints: 25512
940.46/943.77 c #Conflicts: 1007000 | #Constraints: 26523
940.46/943.77 c #Conflicts: 1008000 | #Constraints: 27530
940.46/943.77 c #Conflicts: 1009000 | #Constraints: 28539
940.46/943.77 c #Conflicts: 1010000 | #Constraints: 29553
940.46/943.77 c #Conflicts: 1011000 | #Constraints: 30563
940.46/943.77 c #Conflicts: 1012000 | #Constraints: 31570
940.46/943.77 c #Conflicts: 1013000 | #Constraints: 32578
940.46/943.77 c #Conflicts: 1014000 | #Constraints: 33585
940.46/943.77 c #Conflicts: 1015000 | #Constraints: 34591
940.46/943.77 c #Conflicts: 1016000 | #Constraints: 35597
940.46/943.77 c #Conflicts: 1017000 | #Constraints: 36604
940.46/943.77 c #Conflicts: 1018000 | #Constraints: 37612
940.46/943.77 c #Conflicts: 1019000 | #Constraints: 38623
940.46/943.77 c #Conflicts: 1020000 | #Constraints: 39631
940.46/943.77 c #Conflicts: 1021000 | #Constraints: 40649
940.46/943.77 c INPROCESSING
940.46/943.77 c GARBAGE COLLECT
940.46/943.77 c rational objective 14.1654
961.89/965.26 c #Conflicts: 1022000 | #Constraints: 21402
961.89/965.26 c #Conflicts: 1023000 | #Constraints: 22416
961.89/965.26 c #Conflicts: 1024000 | #Constraints: 23430
961.89/965.26 c #Conflicts: 1025000 | #Constraints: 24446
961.89/965.26 c #Conflicts: 1026000 | #Constraints: 25460
961.89/965.26 c #Conflicts: 1027000 | #Constraints: 26479
961.89/965.26 c #Conflicts: 1028000 | #Constraints: 27490
961.89/965.26 c #Conflicts: 1029000 | #Constraints: 28499
961.89/965.26 c #Conflicts: 1030000 | #Constraints: 29517
961.89/965.26 c #Conflicts: 1031000 | #Constraints: 30534
961.89/965.26 c #Conflicts: 1032000 | #Constraints: 31545
961.89/965.26 c #Conflicts: 1033000 | #Constraints: 32559
961.89/965.26 c #Conflicts: 1034000 | #Constraints: 33572
961.89/965.26 c #Conflicts: 1035000 | #Constraints: 34586
961.89/965.26 c #Conflicts: 1036000 | #Constraints: 35598
961.89/965.26 c #Conflicts: 1037000 | #Constraints: 36605
961.89/965.26 c #Conflicts: 1038000 | #Constraints: 37625
961.89/965.26 c #Conflicts: 1039000 | #Constraints: 38637
961.89/965.26 c #Conflicts: 1040000 | #Constraints: 39651
961.89/965.26 c #Conflicts: 1041000 | #Constraints: 40667
961.89/965.26 c INPROCESSING
961.89/965.26 c GARBAGE COLLECT
961.89/965.26 c rational objective 14.1654
982.63/986.01 c #Conflicts: 1042000 | #Constraints: 21169
982.63/986.01 c #Conflicts: 1043000 | #Constraints: 22183
982.63/986.01 c #Conflicts: 1044000 | #Constraints: 23194
982.63/986.01 c #Conflicts: 1045000 | #Constraints: 24210
982.63/986.01 c #Conflicts: 1046000 | #Constraints: 25223
982.63/986.01 c #Conflicts: 1047000 | #Constraints: 26247
982.63/986.01 c #Conflicts: 1048000 | #Constraints: 27267
982.63/986.01 c #Conflicts: 1049000 | #Constraints: 28273
982.63/986.01 c #Conflicts: 1050000 | #Constraints: 29293
982.63/986.01 c #Conflicts: 1051000 | #Constraints: 30305
982.63/986.01 c #Conflicts: 1052000 | #Constraints: 31321
982.63/986.01 c #Conflicts: 1053000 | #Constraints: 32347
982.63/986.01 c #Conflicts: 1054000 | #Constraints: 33368
982.63/986.01 c #Conflicts: 1055000 | #Constraints: 34390
982.63/986.01 c #Conflicts: 1056000 | #Constraints: 35405
982.63/986.01 c #Conflicts: 1057000 | #Constraints: 36417
982.63/986.01 c #Conflicts: 1058000 | #Constraints: 37429
982.63/986.01 c #Conflicts: 1059000 | #Constraints: 38439
982.63/986.01 c #Conflicts: 1060000 | #Constraints: 39455
982.63/986.01 c #Conflicts: 1061000 | #Constraints: 40478
982.63/986.02 c #Conflicts: 1062000 | #Constraints: 41502
982.63/986.02 c INPROCESSING
982.63/986.02 c GARBAGE COLLECT
982.63/986.02 c rational objective 14.1654
1002.45/1005.93 c #Conflicts: 1063000 | #Constraints: 21819
1002.45/1005.93 c #Conflicts: 1064000 | #Constraints: 22832
1002.45/1005.93 c #Conflicts: 1065000 | #Constraints: 23843
1002.45/1005.93 c #Conflicts: 1066000 | #Constraints: 24855
1002.45/1005.93 c #Conflicts: 1067000 | #Constraints: 25869
1002.45/1005.93 c #Conflicts: 1068000 | #Constraints: 26885
1002.45/1005.93 c #Conflicts: 1069000 | #Constraints: 27897
1002.45/1005.93 c #Conflicts: 1070000 | #Constraints: 28905
1002.45/1005.93 c #Conflicts: 1071000 | #Constraints: 29914
1002.45/1005.93 c #Conflicts: 1072000 | #Constraints: 30926
1002.45/1005.93 c #Conflicts: 1073000 | #Constraints: 31939
1002.45/1005.93 c #Conflicts: 1074000 | #Constraints: 32951
1002.45/1005.93 c #Conflicts: 1075000 | #Constraints: 33961
1002.45/1005.93 c #Conflicts: 1076000 | #Constraints: 34970
1002.45/1005.93 c #Conflicts: 1077000 | #Constraints: 35977
1002.45/1005.93 c #Conflicts: 1078000 | #Constraints: 36984
1002.45/1005.93 c #Conflicts: 1079000 | #Constraints: 37991
1002.45/1005.93 c #Conflicts: 1080000 | #Constraints: 39000
1002.45/1005.93 c #Conflicts: 1081000 | #Constraints: 40011
1002.45/1005.93 c #Conflicts: 1082000 | #Constraints: 41021
1002.45/1005.93 c #Conflicts: 1083000 | #Constraints: 42028
1002.45/1005.93 c INPROCESSING
1002.45/1005.93 c GARBAGE COLLECT
1002.45/1005.93 c rational objective 14.1654
1024.38/1028.00 c #Conflicts: 1084000 | #Constraints: 22140
1024.38/1028.00 c #Conflicts: 1085000 | #Constraints: 23167
1024.38/1028.00 c #Conflicts: 1086000 | #Constraints: 24181
1024.38/1028.00 c #Conflicts: 1087000 | #Constraints: 25187
1024.38/1028.00 c #Conflicts: 1088000 | #Constraints: 26199
1024.38/1028.00 c #Conflicts: 1089000 | #Constraints: 27212
1024.38/1028.00 c #Conflicts: 1090000 | #Constraints: 28226
1024.38/1028.00 c #Conflicts: 1091000 | #Constraints: 29238
1024.38/1028.00 c #Conflicts: 1092000 | #Constraints: 30262
1024.38/1028.00 c #Conflicts: 1093000 | #Constraints: 31284
1024.38/1028.00 c #Conflicts: 1094000 | #Constraints: 32298
1024.38/1028.00 c #Conflicts: 1095000 | #Constraints: 33312
1024.38/1028.00 c #Conflicts: 1096000 | #Constraints: 34325
1024.38/1028.00 c #Conflicts: 1097000 | #Constraints: 35340
1024.38/1028.00 c #Conflicts: 1098000 | #Constraints: 36358
1024.38/1028.00 c #Conflicts: 1099000 | #Constraints: 37369
1024.38/1028.00 c #Conflicts: 1100000 | #Constraints: 38376
1024.38/1028.00 c #Conflicts: 1101000 | #Constraints: 39382
1024.38/1028.00 c #Conflicts: 1102000 | #Constraints: 40400
1024.38/1028.00 c #Conflicts: 1103000 | #Constraints: 41411
1024.38/1028.00 c #Conflicts: 1104000 | #Constraints: 42432
1024.38/1028.00 c INPROCESSING
1024.38/1028.00 c GARBAGE COLLECT
1024.38/1028.00 c rational objective 14.1654
1044.31/1048.01 c #Conflicts: 1105000 | #Constraints: 22352
1044.31/1048.01 c #Conflicts: 1106000 | #Constraints: 23362
1044.31/1048.01 c #Conflicts: 1107000 | #Constraints: 24373
1044.31/1048.01 c #Conflicts: 1108000 | #Constraints: 25384
1044.31/1048.01 c #Conflicts: 1109000 | #Constraints: 26395
1044.31/1048.01 c #Conflicts: 1110000 | #Constraints: 27404
1044.31/1048.01 c #Conflicts: 1111000 | #Constraints: 28413
1044.31/1048.01 c #Conflicts: 1112000 | #Constraints: 29421
1044.31/1048.01 c #Conflicts: 1113000 | #Constraints: 30433
1044.31/1048.01 c #Conflicts: 1114000 | #Constraints: 31446
1044.31/1048.01 c #Conflicts: 1115000 | #Constraints: 32456
1044.31/1048.01 c #Conflicts: 1116000 | #Constraints: 33465
1044.31/1048.01 c #Conflicts: 1117000 | #Constraints: 34477
1044.31/1048.01 c #Conflicts: 1118000 | #Constraints: 35491
1044.31/1048.01 c #Conflicts: 1119000 | #Constraints: 36501
1044.31/1048.01 c #Conflicts: 1120000 | #Constraints: 37510
1044.31/1048.01 c #Conflicts: 1121000 | #Constraints: 38519
1044.31/1048.01 c #Conflicts: 1122000 | #Constraints: 39524
1044.31/1048.01 c #Conflicts: 1123000 | #Constraints: 40533
1044.31/1048.01 c #Conflicts: 1124000 | #Constraints: 41541
1044.31/1048.01 c #Conflicts: 1125000 | #Constraints: 42555
1044.31/1048.01 c INPROCESSING
1044.31/1048.01 c GARBAGE COLLECT
1044.31/1048.01 c rational objective 14.1654
1067.93/1071.64 c #Conflicts: 1126000 | #Constraints: 22311
1067.93/1071.64 c #Conflicts: 1127000 | #Constraints: 23330
1067.93/1071.64 c #Conflicts: 1128000 | #Constraints: 24343
1067.93/1071.64 c #Conflicts: 1129000 | #Constraints: 25352
1067.93/1071.64 c #Conflicts: 1130000 | #Constraints: 26361
1067.93/1071.64 c #Conflicts: 1131000 | #Constraints: 27372
1067.93/1071.64 c #Conflicts: 1132000 | #Constraints: 28387
1067.93/1071.64 c #Conflicts: 1133000 | #Constraints: 29404
1067.93/1071.64 c #Conflicts: 1134000 | #Constraints: 30410
1067.93/1071.64 c #Conflicts: 1135000 | #Constraints: 31422
1067.93/1071.64 c #Conflicts: 1136000 | #Constraints: 32433
1067.93/1071.64 c #Conflicts: 1137000 | #Constraints: 33438
1067.93/1071.64 c #Conflicts: 1138000 | #Constraints: 34445
1067.93/1071.64 c #Conflicts: 1139000 | #Constraints: 35459
1067.93/1071.64 c #Conflicts: 1140000 | #Constraints: 36468
1067.93/1071.64 c #Conflicts: 1141000 | #Constraints: 37471
1067.93/1071.64 c #Conflicts: 1142000 | #Constraints: 38476
1067.93/1071.64 c #Conflicts: 1143000 | #Constraints: 39480
1067.93/1071.64 c #Conflicts: 1144000 | #Constraints: 40488
1067.93/1071.64 c #Conflicts: 1145000 | #Constraints: 41493
1067.93/1071.64 c #Conflicts: 1146000 | #Constraints: 42500
1067.93/1071.64 c INPROCESSING
1067.93/1071.64 c GARBAGE COLLECT
1067.93/1071.64 c rational objective 14.1654
1088.95/1092.77 c #Conflicts: 1147000 | #Constraints: 22106
1088.95/1092.77 c #Conflicts: 1148000 | #Constraints: 23110
1088.95/1092.77 c #Conflicts: 1149000 | #Constraints: 24113
1088.95/1092.77 c #Conflicts: 1150000 | #Constraints: 25116
1088.95/1092.77 c #Conflicts: 1151000 | #Constraints: 26123
1088.95/1092.77 c #Conflicts: 1152000 | #Constraints: 27126
1088.95/1092.77 c #Conflicts: 1153000 | #Constraints: 28133
1088.95/1092.77 c #Conflicts: 1154000 | #Constraints: 29139
1088.95/1092.77 c #Conflicts: 1155000 | #Constraints: 30152
1088.95/1092.77 c #Conflicts: 1156000 | #Constraints: 31161
1088.95/1092.77 c #Conflicts: 1157000 | #Constraints: 32168
1088.95/1092.77 c #Conflicts: 1158000 | #Constraints: 33180
1088.95/1092.77 c #Conflicts: 1159000 | #Constraints: 34184
1088.95/1092.77 c #Conflicts: 1160000 | #Constraints: 35192
1088.95/1092.77 c #Conflicts: 1161000 | #Constraints: 36197
1088.95/1092.77 c #Conflicts: 1162000 | #Constraints: 37205
1088.95/1092.77 c #Conflicts: 1163000 | #Constraints: 38217
1088.95/1092.77 c #Conflicts: 1164000 | #Constraints: 39227
1088.95/1092.77 c #Conflicts: 1165000 | #Constraints: 40253
1088.95/1092.77 c #Conflicts: 1166000 | #Constraints: 41270
1088.95/1092.77 c #Conflicts: 1167000 | #Constraints: 42282
1088.95/1092.77 c #Conflicts: 1168000 | #Constraints: 43300
1088.95/1092.77 c INPROCESSING
1088.95/1092.77 c GARBAGE COLLECT
1088.95/1092.77 c rational objective 14.1655
1110.08/1114.01 c #Conflicts: 1169000 | #Constraints: 22707
1110.08/1114.01 c #Conflicts: 1170000 | #Constraints: 23721
1110.08/1114.01 c #Conflicts: 1171000 | #Constraints: 24738
1110.08/1114.01 c #Conflicts: 1172000 | #Constraints: 25756
1110.08/1114.01 c #Conflicts: 1173000 | #Constraints: 26772
1110.08/1114.01 c #Conflicts: 1174000 | #Constraints: 27773
1110.08/1114.01 c #Conflicts: 1175000 | #Constraints: 28777
1110.08/1114.01 c #Conflicts: 1176000 | #Constraints: 29793
1110.08/1114.01 c #Conflicts: 1177000 | #Constraints: 30801
1110.08/1114.01 c #Conflicts: 1178000 | #Constraints: 31807
1110.08/1114.01 c #Conflicts: 1179000 | #Constraints: 32811
1110.08/1114.01 c #Conflicts: 1180000 | #Constraints: 33826
1110.08/1114.01 c #Conflicts: 1181000 | #Constraints: 34836
1110.08/1114.01 c #Conflicts: 1182000 | #Constraints: 35845
1110.08/1114.01 c #Conflicts: 1183000 | #Constraints: 36852
1110.08/1114.01 c #Conflicts: 1184000 | #Constraints: 37862
1110.08/1114.01 c #Conflicts: 1185000 | #Constraints: 38868
1110.08/1114.01 c #Conflicts: 1186000 | #Constraints: 39870
1110.08/1114.01 c #Conflicts: 1187000 | #Constraints: 40877
1110.08/1114.01 c #Conflicts: 1188000 | #Constraints: 41882
1110.08/1114.01 c #Conflicts: 1189000 | #Constraints: 42890
1110.08/1114.01 c #Conflicts: 1190000 | #Constraints: 43906
1110.08/1114.01 c INPROCESSING
1110.08/1114.01 c GARBAGE COLLECT
1110.08/1114.01 c rational objective 14.1655
1133.80/1137.71 c #Conflicts: 1191000 | #Constraints: 23092
1133.80/1137.71 c #Conflicts: 1192000 | #Constraints: 24108
1133.80/1137.71 c #Conflicts: 1193000 | #Constraints: 25118
1133.80/1137.71 c #Conflicts: 1194000 | #Constraints: 26129
1133.80/1137.71 c #Conflicts: 1195000 | #Constraints: 27131
1133.80/1137.71 c #Conflicts: 1196000 | #Constraints: 28137
1133.80/1137.71 c #Conflicts: 1197000 | #Constraints: 29143
1133.80/1137.71 c #Conflicts: 1198000 | #Constraints: 30147
1133.80/1137.71 c #Conflicts: 1199000 | #Constraints: 31154
1133.80/1137.71 c #Conflicts: 1200000 | #Constraints: 32166
1133.80/1137.71 c #Conflicts: 1201000 | #Constraints: 33173
1133.80/1137.71 c #Conflicts: 1202000 | #Constraints: 34180
1133.80/1137.71 c #Conflicts: 1203000 | #Constraints: 35196
1133.80/1137.71 c #Conflicts: 1204000 | #Constraints: 36209
1133.80/1137.71 c #Conflicts: 1205000 | #Constraints: 37220
1133.80/1137.71 c #Conflicts: 1206000 | #Constraints: 38223
1133.80/1137.71 c #Conflicts: 1207000 | #Constraints: 39228
1133.80/1137.71 c #Conflicts: 1208000 | #Constraints: 40231
1133.80/1137.71 c #Conflicts: 1209000 | #Constraints: 41243
1133.80/1137.71 c #Conflicts: 1210000 | #Constraints: 42257
1133.80/1137.71 c #Conflicts: 1211000 | #Constraints: 43268
1133.80/1137.71 c #Conflicts: 1212000 | #Constraints: 44280
1133.80/1137.71 c INPROCESSING
1133.80/1137.71 c GARBAGE COLLECT
1133.80/1137.71 c rational objective 14.1655
1156.43/1160.45 c #Conflicts: 1213000 | #Constraints: 23284
1156.43/1160.45 c #Conflicts: 1214000 | #Constraints: 24303
1156.43/1160.45 c #Conflicts: 1215000 | #Constraints: 25313
1156.43/1160.45 c #Conflicts: 1216000 | #Constraints: 26326
1156.43/1160.45 c #Conflicts: 1217000 | #Constraints: 27345
1156.43/1160.45 c #Conflicts: 1218000 | #Constraints: 28357
1156.43/1160.45 c #Conflicts: 1219000 | #Constraints: 29367
1156.43/1160.45 c #Conflicts: 1220000 | #Constraints: 30376
1156.43/1160.45 c #Conflicts: 1221000 | #Constraints: 31391
1156.43/1160.45 c #Conflicts: 1222000 | #Constraints: 32398
1156.43/1160.45 c #Conflicts: 1223000 | #Constraints: 33405
1156.43/1160.45 c #Conflicts: 1224000 | #Constraints: 34418
1156.43/1160.45 c #Conflicts: 1225000 | #Constraints: 35431
1156.43/1160.45 c #Conflicts: 1226000 | #Constraints: 36449
1156.43/1160.45 c #Conflicts: 1227000 | #Constraints: 37473
1156.43/1160.45 c #Conflicts: 1228000 | #Constraints: 38488
1156.43/1160.45 c #Conflicts: 1229000 | #Constraints: 39503
1156.43/1160.45 c #Conflicts: 1230000 | #Constraints: 40516
1156.43/1160.45 c #Conflicts: 1231000 | #Constraints: 41525
1156.43/1160.45 c #Conflicts: 1232000 | #Constraints: 42537
1156.43/1160.45 c #Conflicts: 1233000 | #Constraints: 43544
1156.43/1160.45 c #Conflicts: 1234000 | #Constraints: 44551
1156.43/1160.45 c INPROCESSING
1156.43/1160.45 c GARBAGE COLLECT
1156.43/1160.45 c rational objective 14.1655
1178.07/1182.16 c #Conflicts: 1235000 | #Constraints: 21666
1178.07/1182.16 c #Conflicts: 1236000 | #Constraints: 22681
1178.07/1182.16 c #Conflicts: 1237000 | #Constraints: 23693
1178.07/1182.16 c #Conflicts: 1238000 | #Constraints: 24706
1178.07/1182.16 c #Conflicts: 1239000 | #Constraints: 25717
1178.07/1182.16 c #Conflicts: 1240000 | #Constraints: 26725
1178.07/1182.16 c #Conflicts: 1241000 | #Constraints: 27736
1178.07/1182.16 c #Conflicts: 1242000 | #Constraints: 28751
1178.07/1182.16 c #Conflicts: 1243000 | #Constraints: 29764
1178.07/1182.16 c #Conflicts: 1244000 | #Constraints: 30769
1178.07/1182.16 c #Conflicts: 1245000 | #Constraints: 31783
1178.07/1182.16 c #Conflicts: 1246000 | #Constraints: 32795
1178.07/1182.16 c #Conflicts: 1247000 | #Constraints: 33804
1178.07/1182.16 c #Conflicts: 1248000 | #Constraints: 34815
1178.07/1182.16 c #Conflicts: 1249000 | #Constraints: 35829
1178.07/1182.16 c #Conflicts: 1250000 | #Constraints: 36843
1178.07/1182.16 c #Conflicts: 1251000 | #Constraints: 37851
1178.07/1182.16 c #Conflicts: 1252000 | #Constraints: 38856
1178.07/1182.16 c #Conflicts: 1253000 | #Constraints: 39869
1178.07/1182.16 c #Conflicts: 1254000 | #Constraints: 40878
1178.07/1182.16 c #Conflicts: 1255000 | #Constraints: 41885
1178.07/1182.16 c #Conflicts: 1256000 | #Constraints: 42887
1178.07/1182.16 c INPROCESSING
1178.07/1182.16 c GARBAGE COLLECT
1178.07/1182.16 c rational objective 14.1655
1199.68/1203.85 c #Conflicts: 1257000 | #Constraints: 22277
1199.68/1203.85 c #Conflicts: 1258000 | #Constraints: 23289
1199.68/1203.85 c #Conflicts: 1259000 | #Constraints: 24295
1199.68/1203.85 c #Conflicts: 1260000 | #Constraints: 25308
1199.68/1203.85 c #Conflicts: 1261000 | #Constraints: 26319
1199.68/1203.85 c #Conflicts: 1262000 | #Constraints: 27329
1199.68/1203.85 c #Conflicts: 1263000 | #Constraints: 28332
1199.68/1203.85 c #Conflicts: 1264000 | #Constraints: 29341
1199.68/1203.85 c #Conflicts: 1265000 | #Constraints: 30354
1199.68/1203.85 c #Conflicts: 1266000 | #Constraints: 31375
1199.68/1203.85 c #Conflicts: 1267000 | #Constraints: 32389
1199.68/1203.85 c #Conflicts: 1268000 | #Constraints: 33400
1199.68/1203.85 c #Conflicts: 1269000 | #Constraints: 34420
1199.68/1203.85 c #Conflicts: 1270000 | #Constraints: 35437
1199.68/1203.85 c #Conflicts: 1271000 | #Constraints: 36446
1199.68/1203.85 c #Conflicts: 1272000 | #Constraints: 37474
1199.68/1203.85 c #Conflicts: 1273000 | #Constraints: 38486
1199.68/1203.85 c #Conflicts: 1274000 | #Constraints: 39502
1199.68/1203.85 c #Conflicts: 1275000 | #Constraints: 40523
1199.68/1203.85 c #Conflicts: 1276000 | #Constraints: 41537
1199.68/1203.85 c #Conflicts: 1277000 | #Constraints: 42548
1199.68/1203.85 c #Conflicts: 1278000 | #Constraints: 43553
1199.68/1203.85 c #Conflicts: 1279000 | #Constraints: 44557
1199.68/1203.85 c INPROCESSING
1199.68/1203.85 c GARBAGE COLLECT
1199.68/1203.85 c rational objective 14.1655
1222.70/1226.96 c #Conflicts: 1280000 | #Constraints: 23327
1222.70/1226.96 c #Conflicts: 1281000 | #Constraints: 24333
1222.70/1226.96 c #Conflicts: 1282000 | #Constraints: 25342
1222.70/1226.96 c #Conflicts: 1283000 | #Constraints: 26354
1222.70/1226.96 c #Conflicts: 1284000 | #Constraints: 27360
1222.70/1226.96 c #Conflicts: 1285000 | #Constraints: 28367
1222.70/1226.96 c #Conflicts: 1286000 | #Constraints: 29379
1222.70/1226.96 c #Conflicts: 1287000 | #Constraints: 30392
1222.70/1226.96 c #Conflicts: 1288000 | #Constraints: 31398
1222.70/1226.96 c #Conflicts: 1289000 | #Constraints: 32406
1222.70/1226.96 c #Conflicts: 1290000 | #Constraints: 33415
1222.70/1226.96 c #Conflicts: 1291000 | #Constraints: 34430
1222.70/1226.96 c #Conflicts: 1292000 | #Constraints: 35445
1222.70/1226.96 c #Conflicts: 1293000 | #Constraints: 36454
1222.70/1226.96 c #Conflicts: 1294000 | #Constraints: 37465
1222.70/1226.96 c #Conflicts: 1295000 | #Constraints: 38472
1222.70/1226.96 c #Conflicts: 1296000 | #Constraints: 39479
1222.70/1226.96 c #Conflicts: 1297000 | #Constraints: 40490
1222.70/1226.96 c #Conflicts: 1298000 | #Constraints: 41501
1222.70/1226.96 c #Conflicts: 1299000 | #Constraints: 42507
1222.70/1226.96 c #Conflicts: 1300000 | #Constraints: 43523
1222.70/1226.96 c #Conflicts: 1301000 | #Constraints: 44532
1222.70/1226.96 c #Conflicts: 1302000 | #Constraints: 45548
1222.70/1226.96 c INPROCESSING
1222.70/1226.96 c GARBAGE COLLECT
1222.70/1226.96 c rational objective 14.1655
1245.84/1250.13 c #Conflicts: 1303000 | #Constraints: 23905
1245.84/1250.13 c #Conflicts: 1304000 | #Constraints: 24913
1245.84/1250.13 c #Conflicts: 1305000 | #Constraints: 25920
1245.84/1250.13 c #Conflicts: 1306000 | #Constraints: 26928
1245.84/1250.13 c #Conflicts: 1307000 | #Constraints: 27936
1245.84/1250.13 c #Conflicts: 1308000 | #Constraints: 28938
1245.84/1250.13 c #Conflicts: 1309000 | #Constraints: 29941
1245.84/1250.13 c #Conflicts: 1310000 | #Constraints: 30951
1245.84/1250.13 c #Conflicts: 1311000 | #Constraints: 31965
1245.84/1250.13 c #Conflicts: 1312000 | #Constraints: 32987
1245.84/1250.13 c #Conflicts: 1313000 | #Constraints: 33994
1245.84/1250.13 c #Conflicts: 1314000 | #Constraints: 35010
1245.84/1250.13 c #Conflicts: 1315000 | #Constraints: 36030
1245.84/1250.13 c #Conflicts: 1316000 | #Constraints: 37042
1245.84/1250.13 c #Conflicts: 1317000 | #Constraints: 38051
1245.84/1250.13 c #Conflicts: 1318000 | #Constraints: 39063
1245.84/1250.13 c #Conflicts: 1319000 | #Constraints: 40079
1245.84/1250.13 c #Conflicts: 1320000 | #Constraints: 41101
1245.84/1250.13 c #Conflicts: 1321000 | #Constraints: 42116
1245.84/1250.13 c #Conflicts: 1322000 | #Constraints: 43119
1245.84/1250.13 c #Conflicts: 1323000 | #Constraints: 44130
1245.84/1250.13 c #Conflicts: 1324000 | #Constraints: 45142
1245.84/1250.13 c #Conflicts: 1325000 | #Constraints: 46153
1245.84/1250.13 c INPROCESSING
1245.84/1250.13 c GARBAGE COLLECT
1245.84/1250.13 c rational objective 14.1655
1269.66/1274.04 c #Conflicts: 1326000 | #Constraints: 24209
1269.66/1274.04 c #Conflicts: 1327000 | #Constraints: 25220
1269.66/1274.04 c #Conflicts: 1328000 | #Constraints: 26233
1269.66/1274.04 c #Conflicts: 1329000 | #Constraints: 27242
1269.66/1274.04 c #Conflicts: 1330000 | #Constraints: 28251
1269.66/1274.04 c #Conflicts: 1331000 | #Constraints: 29261
1269.66/1274.04 c #Conflicts: 1332000 | #Constraints: 30273
1269.66/1274.04 c #Conflicts: 1333000 | #Constraints: 31284
1269.66/1274.04 c #Conflicts: 1334000 | #Constraints: 32299
1269.66/1274.04 c #Conflicts: 1335000 | #Constraints: 33313
1269.66/1274.04 c #Conflicts: 1336000 | #Constraints: 34324
1269.66/1274.04 c #Conflicts: 1337000 | #Constraints: 35330
1269.66/1274.04 c #Conflicts: 1338000 | #Constraints: 36342
1269.66/1274.04 c #Conflicts: 1339000 | #Constraints: 37348
1269.66/1274.04 c #Conflicts: 1340000 | #Constraints: 38356
1269.66/1274.04 c #Conflicts: 1341000 | #Constraints: 39364
1269.66/1274.04 c #Conflicts: 1342000 | #Constraints: 40369
1269.66/1274.04 c #Conflicts: 1343000 | #Constraints: 41380
1269.66/1274.04 c #Conflicts: 1344000 | #Constraints: 42389
1269.66/1274.04 c #Conflicts: 1345000 | #Constraints: 43399
1269.66/1274.04 c #Conflicts: 1346000 | #Constraints: 44405
1269.66/1274.04 c #Conflicts: 1347000 | #Constraints: 45410
1269.66/1274.04 c #Conflicts: 1348000 | #Constraints: 46415
1269.66/1274.04 c INPROCESSING
1269.66/1274.04 c GARBAGE COLLECT
1269.66/1274.04 c rational objective 14.1655
1293.77/1298.20 c #Conflicts: 1349000 | #Constraints: 24246
1293.77/1298.20 c #Conflicts: 1350000 | #Constraints: 25263
1293.77/1298.20 c #Conflicts: 1351000 | #Constraints: 26277
1293.77/1298.20 c #Conflicts: 1352000 | #Constraints: 27292
1293.77/1298.20 c #Conflicts: 1353000 | #Constraints: 28306
1293.77/1298.20 c #Conflicts: 1354000 | #Constraints: 29317
1293.77/1298.20 c #Conflicts: 1355000 | #Constraints: 30332
1293.77/1298.20 c #Conflicts: 1356000 | #Constraints: 31357
1293.77/1298.20 c #Conflicts: 1357000 | #Constraints: 32375
1293.77/1298.20 c #Conflicts: 1358000 | #Constraints: 33386
1293.77/1298.20 c #Conflicts: 1359000 | #Constraints: 34394
1293.77/1298.20 c #Conflicts: 1360000 | #Constraints: 35395
1293.77/1298.20 c #Conflicts: 1361000 | #Constraints: 36399
1293.77/1298.20 c #Conflicts: 1362000 | #Constraints: 37414
1293.77/1298.20 c #Conflicts: 1363000 | #Constraints: 38420
1293.77/1298.20 c #Conflicts: 1364000 | #Constraints: 39426
1293.77/1298.20 c #Conflicts: 1365000 | #Constraints: 40437
1293.77/1298.20 c #Conflicts: 1366000 | #Constraints: 41452
1293.77/1298.20 c #Conflicts: 1367000 | #Constraints: 42465
1293.77/1298.20 c #Conflicts: 1368000 | #Constraints: 43469
1293.77/1298.20 c #Conflicts: 1369000 | #Constraints: 44475
1293.77/1298.20 c #Conflicts: 1370000 | #Constraints: 45485
1293.77/1298.20 c #Conflicts: 1371000 | #Constraints: 46489
1293.77/1298.20 c INPROCESSING
1293.77/1298.20 c GARBAGE COLLECT
1293.77/1298.20 c rational objective 14.1655
1318.50/1323.09 c #Conflicts: 1372000 | #Constraints: 24072
1318.50/1323.09 c #Conflicts: 1373000 | #Constraints: 25085
1318.50/1323.09 c #Conflicts: 1374000 | #Constraints: 26099
1318.50/1323.09 c #Conflicts: 1375000 | #Constraints: 27108
1318.50/1323.09 c #Conflicts: 1376000 | #Constraints: 28119
1318.50/1323.09 c #Conflicts: 1377000 | #Constraints: 29139
1318.50/1323.09 c #Conflicts: 1378000 | #Constraints: 30153
1318.50/1323.09 c #Conflicts: 1379000 | #Constraints: 31159
1318.50/1323.09 c #Conflicts: 1380000 | #Constraints: 32165
1318.50/1323.09 c #Conflicts: 1381000 | #Constraints: 33179
1318.50/1323.09 c #Conflicts: 1382000 | #Constraints: 34185
1318.50/1323.09 c #Conflicts: 1383000 | #Constraints: 35193
1318.50/1323.09 c #Conflicts: 1384000 | #Constraints: 36200
1318.50/1323.09 c #Conflicts: 1385000 | #Constraints: 37209
1318.50/1323.09 c #Conflicts: 1386000 | #Constraints: 38211
1318.50/1323.09 c #Conflicts: 1387000 | #Constraints: 39214
1318.50/1323.09 c #Conflicts: 1388000 | #Constraints: 40225
1318.50/1323.09 c #Conflicts: 1389000 | #Constraints: 41237
1318.50/1323.09 c #Conflicts: 1390000 | #Constraints: 42245
1318.50/1323.09 c #Conflicts: 1391000 | #Constraints: 43250
1318.50/1323.09 c #Conflicts: 1392000 | #Constraints: 44256
1318.50/1323.09 c #Conflicts: 1393000 | #Constraints: 45261
1318.50/1323.09 c #Conflicts: 1394000 | #Constraints: 46272
1318.50/1323.09 c #Conflicts: 1395000 | #Constraints: 47283
1318.50/1323.09 c INPROCESSING
1318.50/1323.09 c GARBAGE COLLECT
1318.50/1323.09 c rational objective 14.1655
1343.00/1347.67 c #Conflicts: 1396000 | #Constraints: 24669
1343.00/1347.67 c #Conflicts: 1397000 | #Constraints: 25686
1343.00/1347.67 c #Conflicts: 1398000 | #Constraints: 26696
1343.00/1347.67 c #Conflicts: 1399000 | #Constraints: 27704
1343.00/1347.67 c #Conflicts: 1400000 | #Constraints: 28715
1343.00/1347.67 c #Conflicts: 1401000 | #Constraints: 29726
1343.00/1347.67 c #Conflicts: 1402000 | #Constraints: 30734
1343.00/1347.67 c #Conflicts: 1403000 | #Constraints: 31744
1343.00/1347.67 c #Conflicts: 1404000 | #Constraints: 32748
1343.00/1347.67 c #Conflicts: 1405000 | #Constraints: 33753
1343.00/1347.67 c #Conflicts: 1406000 | #Constraints: 34758
1343.00/1347.67 c #Conflicts: 1407000 | #Constraints: 35770
1343.00/1347.67 c #Conflicts: 1408000 | #Constraints: 36774
1343.00/1347.67 c #Conflicts: 1409000 | #Constraints: 37779
1343.00/1347.67 c #Conflicts: 1410000 | #Constraints: 38782
1343.00/1347.67 c #Conflicts: 1411000 | #Constraints: 39786
1343.00/1347.67 c #Conflicts: 1412000 | #Constraints: 40798
1343.00/1347.67 c #Conflicts: 1413000 | #Constraints: 41801
1343.00/1347.67 c #Conflicts: 1414000 | #Constraints: 42803
1343.00/1347.67 c #Conflicts: 1415000 | #Constraints: 43813
1343.00/1347.67 c #Conflicts: 1416000 | #Constraints: 44823
1343.00/1347.67 c #Conflicts: 1417000 | #Constraints: 45830
1343.00/1347.67 c #Conflicts: 1418000 | #Constraints: 46833
1343.00/1347.67 c #Conflicts: 1419000 | #Constraints: 47841
1343.00/1347.67 c INPROCESSING
1343.00/1347.67 c GARBAGE COLLECT
1343.00/1347.67 c rational objective 14.1655
1368.21/1372.99 c #Conflicts: 1420000 | #Constraints: 25060
1368.21/1372.99 c #Conflicts: 1421000 | #Constraints: 26071
1368.21/1372.99 c #Conflicts: 1422000 | #Constraints: 27087
1368.21/1372.99 c #Conflicts: 1423000 | #Constraints: 28106
1368.21/1372.99 c #Conflicts: 1424000 | #Constraints: 29120
1368.21/1372.99 c #Conflicts: 1425000 | #Constraints: 30126
1368.21/1372.99 c #Conflicts: 1426000 | #Constraints: 31132
1368.21/1372.99 c #Conflicts: 1427000 | #Constraints: 32140
1368.21/1372.99 c #Conflicts: 1428000 | #Constraints: 33155
1368.21/1372.99 c #Conflicts: 1429000 | #Constraints: 34166
1368.21/1372.99 c #Conflicts: 1430000 | #Constraints: 35178
1368.21/1372.99 c #Conflicts: 1431000 | #Constraints: 36191
1368.21/1372.99 c #Conflicts: 1432000 | #Constraints: 37197
1368.21/1372.99 c #Conflicts: 1433000 | #Constraints: 38202
1368.21/1372.99 c #Conflicts: 1434000 | #Constraints: 39215
1368.21/1372.99 c #Conflicts: 1435000 | #Constraints: 40225
1368.21/1372.99 c #Conflicts: 1436000 | #Constraints: 41231
1368.21/1372.99 c #Conflicts: 1437000 | #Constraints: 42243
1368.21/1372.99 c #Conflicts: 1438000 | #Constraints: 43250
1368.21/1372.99 c #Conflicts: 1439000 | #Constraints: 44261
1368.21/1372.99 c #Conflicts: 1440000 | #Constraints: 45272
1368.21/1372.99 c #Conflicts: 1441000 | #Constraints: 46284
1368.21/1372.99 c #Conflicts: 1442000 | #Constraints: 47295
1368.21/1372.99 c #Conflicts: 1443000 | #Constraints: 48309
1368.21/1372.99 c INPROCESSING
1368.21/1372.99 c GARBAGE COLLECT
1368.21/1372.99 c rational objective 14.1655
1394.72/1399.54 c #Conflicts: 1444000 | #Constraints: 25283
1394.72/1399.54 c #Conflicts: 1445000 | #Constraints: 26293
1394.72/1399.54 c #Conflicts: 1446000 | #Constraints: 27312
1394.72/1399.54 c #Conflicts: 1447000 | #Constraints: 28330
1394.72/1399.54 c #Conflicts: 1448000 | #Constraints: 29363
1394.72/1399.54 c #Conflicts: 1449000 | #Constraints: 30382
1394.72/1399.54 c #Conflicts: 1450000 | #Constraints: 31396
1394.72/1399.54 c #Conflicts: 1451000 | #Constraints: 32416
1394.72/1399.54 c #Conflicts: 1452000 | #Constraints: 33429
1394.72/1399.54 c #Conflicts: 1453000 | #Constraints: 34441
1394.72/1399.54 c #Conflicts: 1454000 | #Constraints: 35452
1394.72/1399.54 c #Conflicts: 1455000 | #Constraints: 36463
1394.72/1399.54 c #Conflicts: 1456000 | #Constraints: 37473
1394.72/1399.54 c #Conflicts: 1457000 | #Constraints: 38486
1394.72/1399.54 c #Conflicts: 1458000 | #Constraints: 39506
1394.72/1399.54 c #Conflicts: 1459000 | #Constraints: 40521
1394.72/1399.54 c #Conflicts: 1460000 | #Constraints: 41538
1394.72/1399.54 c #Conflicts: 1461000 | #Constraints: 42555
1394.72/1399.54 c #Conflicts: 1462000 | #Constraints: 43565
1394.72/1399.54 c #Conflicts: 1463000 | #Constraints: 44570
1394.72/1399.54 c #Conflicts: 1464000 | #Constraints: 45574
1394.72/1399.54 c #Conflicts: 1465000 | #Constraints: 46585
1394.72/1399.54 c #Conflicts: 1466000 | #Constraints: 47594
1394.72/1399.54 c #Conflicts: 1467000 | #Constraints: 48601
1394.72/1399.54 c INPROCESSING
1394.72/1399.54 c GARBAGE COLLECT
1394.72/1399.54 c rational objective 14.1655
1420.15/1425.02 c #Conflicts: 1468000 | #Constraints: 25357
1420.15/1425.02 c #Conflicts: 1469000 | #Constraints: 26368
1420.15/1425.02 c #Conflicts: 1470000 | #Constraints: 27382
1420.15/1425.02 c #Conflicts: 1471000 | #Constraints: 28394
1420.15/1425.02 c #Conflicts: 1472000 | #Constraints: 29413
1420.15/1425.02 c #Conflicts: 1473000 | #Constraints: 30425
1420.15/1425.02 c #Conflicts: 1474000 | #Constraints: 31430
1420.15/1425.02 c #Conflicts: 1475000 | #Constraints: 32435
1420.15/1425.02 c #Conflicts: 1476000 | #Constraints: 33449
1420.15/1425.02 c #Conflicts: 1477000 | #Constraints: 34456
1420.15/1425.02 c #Conflicts: 1478000 | #Constraints: 35464
1420.15/1425.02 c #Conflicts: 1479000 | #Constraints: 36478
1420.15/1425.02 c #Conflicts: 1480000 | #Constraints: 37488
1420.15/1425.02 c #Conflicts: 1481000 | #Constraints: 38499
1420.15/1425.02 c #Conflicts: 1482000 | #Constraints: 39505
1420.15/1425.02 c #Conflicts: 1483000 | #Constraints: 40514
1420.15/1425.02 c #Conflicts: 1484000 | #Constraints: 41524
1420.15/1425.02 c #Conflicts: 1485000 | #Constraints: 42529
1420.15/1425.02 c #Conflicts: 1486000 | #Constraints: 43535
1420.15/1425.02 c #Conflicts: 1487000 | #Constraints: 44552
1420.15/1425.02 c #Conflicts: 1488000 | #Constraints: 45561
1420.15/1425.02 c #Conflicts: 1489000 | #Constraints: 46570
1420.15/1425.02 c #Conflicts: 1490000 | #Constraints: 47573
1420.15/1425.02 c #Conflicts: 1491000 | #Constraints: 48583
1420.15/1425.02 c INPROCESSING
1420.15/1425.02 c GARBAGE COLLECT
1420.15/1425.02 c rational objective 14.1655
1445.16/1450.16 c #Conflicts: 1492000 | #Constraints: 25116
1445.16/1450.16 c #Conflicts: 1493000 | #Constraints: 26124
1445.16/1450.16 c #Conflicts: 1494000 | #Constraints: 27133
1445.16/1450.16 c #Conflicts: 1495000 | #Constraints: 28144
1445.16/1450.16 c #Conflicts: 1496000 | #Constraints: 29159
1445.16/1450.16 c #Conflicts: 1497000 | #Constraints: 30169
1445.16/1450.16 c #Conflicts: 1498000 | #Constraints: 31183
1445.16/1450.16 c #Conflicts: 1499000 | #Constraints: 32193
1445.16/1450.16 c #Conflicts: 1500000 | #Constraints: 33207
1445.16/1450.16 c #Conflicts: 1501000 | #Constraints: 34217
1445.16/1450.16 c #Conflicts: 1502000 | #Constraints: 35225
1445.16/1450.16 c #Conflicts: 1503000 | #Constraints: 36231
1445.16/1450.16 c #Conflicts: 1504000 | #Constraints: 37238
1445.16/1450.16 c #Conflicts: 1505000 | #Constraints: 38243
1445.16/1450.16 c #Conflicts: 1506000 | #Constraints: 39254
1445.16/1450.16 c #Conflicts: 1507000 | #Constraints: 40263
1445.16/1450.16 c #Conflicts: 1508000 | #Constraints: 41270
1445.16/1450.16 c #Conflicts: 1509000 | #Constraints: 42282
1445.16/1450.16 c #Conflicts: 1510000 | #Constraints: 43291
1445.16/1450.16 c #Conflicts: 1511000 | #Constraints: 44297
1445.16/1450.16 c #Conflicts: 1512000 | #Constraints: 45301
1445.16/1450.16 c #Conflicts: 1513000 | #Constraints: 46312
1445.16/1450.16 c #Conflicts: 1514000 | #Constraints: 47327
1445.16/1450.16 c #Conflicts: 1515000 | #Constraints: 48340
1445.16/1450.16 c #Conflicts: 1516000 | #Constraints: 49353
1445.16/1450.16 c INPROCESSING
1445.16/1450.16 c GARBAGE COLLECT
1445.16/1450.16 c rational objective 14.1655
1470.07/1475.18 c #Conflicts: 1517000 | #Constraints: 25704
1470.07/1475.18 c #Conflicts: 1518000 | #Constraints: 26712
1470.07/1475.18 c #Conflicts: 1519000 | #Constraints: 27719
1470.07/1475.18 c #Conflicts: 1520000 | #Constraints: 28728
1470.07/1475.18 c #Conflicts: 1521000 | #Constraints: 29742
1470.07/1475.18 c #Conflicts: 1522000 | #Constraints: 30748
1470.07/1475.18 c #Conflicts: 1523000 | #Constraints: 31758
1470.07/1475.18 c #Conflicts: 1524000 | #Constraints: 32768
1470.07/1475.18 c #Conflicts: 1525000 | #Constraints: 33778
1470.07/1475.18 c #Conflicts: 1526000 | #Constraints: 34793
1470.07/1475.18 c #Conflicts: 1527000 | #Constraints: 35794
1470.07/1475.18 c #Conflicts: 1528000 | #Constraints: 36801
1470.07/1475.18 c #Conflicts: 1529000 | #Constraints: 37803
1470.07/1475.18 c #Conflicts: 1530000 | #Constraints: 38808
1470.07/1475.18 c #Conflicts: 1531000 | #Constraints: 39814
1470.07/1475.18 c #Conflicts: 1532000 | #Constraints: 40828
1470.07/1475.18 c #Conflicts: 1533000 | #Constraints: 41839
1470.07/1475.18 c #Conflicts: 1534000 | #Constraints: 42848
1470.07/1475.18 c #Conflicts: 1535000 | #Constraints: 43853
1470.07/1475.18 c #Conflicts: 1536000 | #Constraints: 44859
1470.07/1475.18 c #Conflicts: 1537000 | #Constraints: 45866
1470.07/1475.18 c #Conflicts: 1538000 | #Constraints: 46872
1470.07/1475.18 c #Conflicts: 1539000 | #Constraints: 47876
1470.07/1475.18 c #Conflicts: 1540000 | #Constraints: 48885
1470.07/1475.18 c #Conflicts: 1541000 | #Constraints: 49895
1470.07/1475.18 c INPROCESSING
1470.07/1475.18 c GARBAGE COLLECT
1470.07/1475.18 c rational objective 14.1655
1503.05/1508.26 c #Conflicts: 1542000 | #Constraints: 26077
1503.05/1508.26 c #Conflicts: 1543000 | #Constraints: 27096
1503.05/1508.26 c #Conflicts: 1544000 | #Constraints: 28110
1503.05/1508.26 c #Conflicts: 1545000 | #Constraints: 29120
1503.05/1508.26 c #Conflicts: 1546000 | #Constraints: 30131
1503.05/1508.26 c #Conflicts: 1547000 | #Constraints: 31141
1503.05/1508.26 c #Conflicts: 1548000 | #Constraints: 32144
1503.05/1508.26 c #Conflicts: 1549000 | #Constraints: 33154
1503.05/1508.26 c #Conflicts: 1550000 | #Constraints: 34158
1503.05/1508.26 c #Conflicts: 1551000 | #Constraints: 35164
1503.05/1508.26 c #Conflicts: 1552000 | #Constraints: 36171
1503.05/1508.26 c #Conflicts: 1553000 | #Constraints: 37179
1503.05/1508.26 c #Conflicts: 1554000 | #Constraints: 38188
1503.05/1508.26 c #Conflicts: 1555000 | #Constraints: 39193
1503.05/1508.26 c #Conflicts: 1556000 | #Constraints: 40195
1503.05/1508.26 c #Conflicts: 1557000 | #Constraints: 41198
1503.05/1508.26 c #Conflicts: 1558000 | #Constraints: 42201
1503.05/1508.26 c #Conflicts: 1559000 | #Constraints: 43208
1503.05/1508.26 c #Conflicts: 1560000 | #Constraints: 44212
1503.05/1508.26 c #Conflicts: 1561000 | #Constraints: 45218
1503.05/1508.26 c #Conflicts: 1562000 | #Constraints: 46221
1503.05/1508.26 c #Conflicts: 1563000 | #Constraints: 47232
1503.05/1508.26 c #Conflicts: 1564000 | #Constraints: 48237
1503.05/1508.26 c #Conflicts: 1565000 | #Constraints: 49245
1503.05/1508.26 c #Conflicts: 1566000 | #Constraints: 50255
1503.05/1508.26 c INPROCESSING
1503.05/1508.26 c GARBAGE COLLECT
1503.05/1508.26 c rational objective 14.1655
1531.24/1536.53 c #Conflicts: 1567000 | #Constraints: 26254
1531.24/1536.53 c #Conflicts: 1568000 | #Constraints: 27264
1531.24/1536.53 c #Conflicts: 1569000 | #Constraints: 28279
1531.24/1536.53 c #Conflicts: 1570000 | #Constraints: 29291
1531.24/1536.53 c #Conflicts: 1571000 | #Constraints: 30301
1531.24/1536.53 c #Conflicts: 1572000 | #Constraints: 31310
1531.24/1536.53 c #Conflicts: 1573000 | #Constraints: 32320
1531.24/1536.53 c #Conflicts: 1574000 | #Constraints: 33346
1531.24/1536.53 c #Conflicts: 1575000 | #Constraints: 34373
1531.24/1536.53 c #Conflicts: 1576000 | #Constraints: 35388
1531.24/1536.53 c #Conflicts: 1577000 | #Constraints: 36403
1531.24/1536.53 c #Conflicts: 1578000 | #Constraints: 37421
1531.24/1536.53 c #Conflicts: 1579000 | #Constraints: 38450
1531.24/1536.53 c #Conflicts: 1580000 | #Constraints: 39472
1531.24/1536.53 c #Conflicts: 1581000 | #Constraints: 40491
1531.24/1536.53 c #Conflicts: 1582000 | #Constraints: 41502
1531.24/1536.53 c #Conflicts: 1583000 | #Constraints: 42515
1531.24/1536.53 c #Conflicts: 1584000 | #Constraints: 43526
1531.24/1536.53 c #Conflicts: 1585000 | #Constraints: 44540
1531.24/1536.53 c #Conflicts: 1586000 | #Constraints: 45546
1531.24/1536.53 c #Conflicts: 1587000 | #Constraints: 46556
1531.24/1536.53 c #Conflicts: 1588000 | #Constraints: 47562
1531.24/1536.53 c #Conflicts: 1589000 | #Constraints: 48572
1531.24/1536.53 c #Conflicts: 1590000 | #Constraints: 49579
1531.24/1536.53 c #Conflicts: 1591000 | #Constraints: 50583
1531.24/1536.53 c INPROCESSING
1531.24/1536.53 c GARBAGE COLLECT
1531.24/1536.53 c rational objective 14.1655
1561.35/1566.70 c #Conflicts: 1592000 | #Constraints: 26322
1561.35/1566.70 c #Conflicts: 1593000 | #Constraints: 27330
1561.35/1566.70 c #Conflicts: 1594000 | #Constraints: 28347
1561.35/1566.70 c #Conflicts: 1595000 | #Constraints: 29355
1561.35/1566.70 c #Conflicts: 1596000 | #Constraints: 30368
1561.35/1566.70 c #Conflicts: 1597000 | #Constraints: 31380
1561.35/1566.70 c #Conflicts: 1598000 | #Constraints: 32391
1561.35/1566.70 c #Conflicts: 1599000 | #Constraints: 33411
1561.35/1566.70 c #Conflicts: 1600000 | #Constraints: 34423
1561.35/1566.70 c #Conflicts: 1601000 | #Constraints: 35432
1561.35/1566.70 c #Conflicts: 1602000 | #Constraints: 36446
1561.35/1566.70 c #Conflicts: 1603000 | #Constraints: 37457
1561.35/1566.70 c #Conflicts: 1604000 | #Constraints: 38468
1561.35/1566.70 c #Conflicts: 1605000 | #Constraints: 39480
1561.35/1566.70 c #Conflicts: 1606000 | #Constraints: 40489
1561.35/1566.70 c #Conflicts: 1607000 | #Constraints: 41501
1561.35/1566.70 c #Conflicts: 1608000 | #Constraints: 42509
1561.35/1566.70 c #Conflicts: 1609000 | #Constraints: 43513
1561.35/1566.70 c #Conflicts: 1610000 | #Constraints: 44520
1561.35/1566.70 c #Conflicts: 1611000 | #Constraints: 45534
1561.35/1566.70 c #Conflicts: 1612000 | #Constraints: 46540
1561.35/1566.70 c #Conflicts: 1613000 | #Constraints: 47549
1561.35/1566.70 c #Conflicts: 1614000 | #Constraints: 48559
1561.35/1566.70 c #Conflicts: 1615000 | #Constraints: 49569
1561.35/1566.70 c #Conflicts: 1616000 | #Constraints: 50581
1561.35/1566.70 c INPROCESSING
1561.35/1566.70 c GARBAGE COLLECT
1561.35/1566.70 c rational objective 14.1655
1586.85/1592.35 c #Conflicts: 1617000 | #Constraints: 26122
1586.85/1592.35 c #Conflicts: 1618000 | #Constraints: 27142
1586.85/1592.35 c #Conflicts: 1619000 | #Constraints: 28153
1586.85/1592.35 c #Conflicts: 1620000 | #Constraints: 29162
1586.85/1592.35 c #Conflicts: 1621000 | #Constraints: 30175
1586.85/1592.35 c #Conflicts: 1622000 | #Constraints: 31181
1586.85/1592.35 c #Conflicts: 1623000 | #Constraints: 32192
1586.85/1592.35 c #Conflicts: 1624000 | #Constraints: 33200
1586.85/1592.35 c #Conflicts: 1625000 | #Constraints: 34208
1586.85/1592.35 c #Conflicts: 1626000 | #Constraints: 35222
1586.85/1592.35 c #Conflicts: 1627000 | #Constraints: 36232
1586.85/1592.35 c #Conflicts: 1628000 | #Constraints: 37237
1586.85/1592.35 c #Conflicts: 1629000 | #Constraints: 38246
1586.85/1592.35 c #Conflicts: 1630000 | #Constraints: 39253
1586.85/1592.35 c #Conflicts: 1631000 | #Constraints: 40261
1586.85/1592.35 c #Conflicts: 1632000 | #Constraints: 41269
1586.85/1592.35 c #Conflicts: 1633000 | #Constraints: 42276
1586.85/1592.35 c #Conflicts: 1634000 | #Constraints: 43290
1586.85/1592.35 c #Conflicts: 1635000 | #Constraints: 44301
1586.85/1592.35 c #Conflicts: 1636000 | #Constraints: 45305
1586.85/1592.35 c #Conflicts: 1637000 | #Constraints: 46318
1586.85/1592.35 c #Conflicts: 1638000 | #Constraints: 47325
1586.85/1592.35 c #Conflicts: 1639000 | #Constraints: 48335
1586.85/1592.35 c #Conflicts: 1640000 | #Constraints: 49349
1586.85/1592.35 c #Conflicts: 1641000 | #Constraints: 50352
1586.85/1592.35 c #Conflicts: 1642000 | #Constraints: 51356
1586.85/1592.35 c INPROCESSING
1586.85/1592.35 c GARBAGE COLLECT
1586.85/1592.35 c rational objective 14.1655
1613.57/1619.18 c #Conflicts: 1643000 | #Constraints: 26704
1613.57/1619.18 c #Conflicts: 1644000 | #Constraints: 27713
1613.57/1619.18 c #Conflicts: 1645000 | #Constraints: 28724
1613.57/1619.18 c #Conflicts: 1646000 | #Constraints: 29733
1613.57/1619.18 c #Conflicts: 1647000 | #Constraints: 30742
1613.57/1619.18 c #Conflicts: 1648000 | #Constraints: 31753
1613.57/1619.18 c #Conflicts: 1649000 | #Constraints: 32764
1613.57/1619.18 c #Conflicts: 1650000 | #Constraints: 33770
1613.57/1619.18 c #Conflicts: 1651000 | #Constraints: 34781
1613.57/1619.18 c #Conflicts: 1652000 | #Constraints: 35798
1613.57/1619.18 c #Conflicts: 1653000 | #Constraints: 36808
1613.57/1619.18 c #Conflicts: 1654000 | #Constraints: 37816
1613.57/1619.18 c #Conflicts: 1655000 | #Constraints: 38821
1613.57/1619.18 c #Conflicts: 1656000 | #Constraints: 39835
1613.57/1619.18 c #Conflicts: 1657000 | #Constraints: 40840
1613.57/1619.18 c #Conflicts: 1658000 | #Constraints: 41847
1613.57/1619.18 c #Conflicts: 1659000 | #Constraints: 42863
1613.57/1619.18 c #Conflicts: 1660000 | #Constraints: 43874
1613.57/1619.18 c #Conflicts: 1661000 | #Constraints: 44881
1613.57/1619.18 c #Conflicts: 1662000 | #Constraints: 45886
1613.57/1619.18 c #Conflicts: 1663000 | #Constraints: 46898
1613.57/1619.18 c #Conflicts: 1664000 | #Constraints: 47904
1613.57/1619.18 c #Conflicts: 1665000 | #Constraints: 48914
1613.57/1619.18 c #Conflicts: 1666000 | #Constraints: 49919
1613.57/1619.18 c #Conflicts: 1667000 | #Constraints: 50929
1613.57/1619.18 c #Conflicts: 1668000 | #Constraints: 51935
1613.57/1619.18 c INPROCESSING
1613.57/1619.18 c GARBAGE COLLECT
1613.57/1619.18 c rational objective 14.1656
1642.55/1648.24 c #Conflicts: 1669000 | #Constraints: 27121
1642.55/1648.24 c #Conflicts: 1670000 | #Constraints: 28143
1642.55/1648.24 c #Conflicts: 1671000 | #Constraints: 29147
1642.55/1648.24 c #Conflicts: 1672000 | #Constraints: 30158
1642.55/1648.24 c #Conflicts: 1673000 | #Constraints: 31167
1642.55/1648.24 c #Conflicts: 1674000 | #Constraints: 32171
1642.55/1648.24 c #Conflicts: 1675000 | #Constraints: 33174
1642.55/1648.24 c #Conflicts: 1676000 | #Constraints: 34185
1642.55/1648.24 c #Conflicts: 1677000 | #Constraints: 35197
1642.55/1648.24 c #Conflicts: 1678000 | #Constraints: 36204
1642.55/1648.24 c #Conflicts: 1679000 | #Constraints: 37209
1642.55/1648.24 c #Conflicts: 1680000 | #Constraints: 38216
1642.55/1648.24 c #Conflicts: 1681000 | #Constraints: 39240
1642.55/1648.24 c #Conflicts: 1682000 | #Constraints: 40247
1642.55/1648.24 c #Conflicts: 1683000 | #Constraints: 41258
1642.55/1648.24 c #Conflicts: 1684000 | #Constraints: 42265
1642.55/1648.24 c #Conflicts: 1685000 | #Constraints: 43274
1642.55/1648.24 c #Conflicts: 1686000 | #Constraints: 44285
1642.55/1648.24 c #Conflicts: 1687000 | #Constraints: 45291
1642.55/1648.24 c #Conflicts: 1688000 | #Constraints: 46294
1642.55/1648.24 c #Conflicts: 1689000 | #Constraints: 47297
1642.55/1648.24 c #Conflicts: 1690000 | #Constraints: 48303
1642.55/1648.24 c #Conflicts: 1691000 | #Constraints: 49306
1642.55/1648.24 c #Conflicts: 1692000 | #Constraints: 50311
1642.55/1648.24 c #Conflicts: 1693000 | #Constraints: 51316
1642.55/1648.24 c #Conflicts: 1694000 | #Constraints: 52326
1642.55/1648.24 c INPROCESSING
1642.55/1648.24 c GARBAGE COLLECT
1642.55/1648.24 c rational objective 14.1656
1669.85/1675.60 c #Conflicts: 1695000 | #Constraints: 27325
1669.85/1675.60 c #Conflicts: 1696000 | #Constraints: 28328
1669.85/1675.60 c #Conflicts: 1697000 | #Constraints: 29339
1669.85/1675.60 c #Conflicts: 1698000 | #Constraints: 30348
1669.85/1675.60 c #Conflicts: 1699000 | #Constraints: 31357
1669.85/1675.60 c #Conflicts: 1700000 | #Constraints: 32369
1669.85/1675.60 c #Conflicts: 1701000 | #Constraints: 33382
1669.85/1675.60 c #Conflicts: 1702000 | #Constraints: 34390
1669.85/1675.60 c #Conflicts: 1703000 | #Constraints: 35396
1669.85/1675.60 c #Conflicts: 1704000 | #Constraints: 36402
1669.85/1675.60 c #Conflicts: 1705000 | #Constraints: 37411
1669.85/1675.60 c #Conflicts: 1706000 | #Constraints: 38416
1669.85/1675.60 c #Conflicts: 1707000 | #Constraints: 39421
1669.85/1675.60 c #Conflicts: 1708000 | #Constraints: 40427
1669.85/1675.60 c #Conflicts: 1709000 | #Constraints: 41438
1669.85/1675.60 c #Conflicts: 1710000 | #Constraints: 42449
1669.85/1675.60 c #Conflicts: 1711000 | #Constraints: 43458
1669.85/1675.60 c #Conflicts: 1712000 | #Constraints: 44469
1669.85/1675.60 c #Conflicts: 1713000 | #Constraints: 45478
1669.85/1675.60 c #Conflicts: 1714000 | #Constraints: 46487
1669.85/1675.60 c #Conflicts: 1715000 | #Constraints: 47494
1669.85/1675.60 c #Conflicts: 1716000 | #Constraints: 48502
1669.85/1675.60 c #Conflicts: 1717000 | #Constraints: 49520
1669.85/1675.60 c #Conflicts: 1718000 | #Constraints: 50530
1669.85/1675.60 c #Conflicts: 1719000 | #Constraints: 51535
1669.85/1675.60 c #Conflicts: 1720000 | #Constraints: 52542
1669.85/1675.60 c INPROCESSING
1669.85/1675.60 c GARBAGE COLLECT
1669.85/1675.60 c rational objective 14.1656
1697.95/1703.80 c #Conflicts: 1721000 | #Constraints: 27312
1697.95/1703.80 c #Conflicts: 1722000 | #Constraints: 28318
1697.95/1703.80 c #Conflicts: 1723000 | #Constraints: 29328
1697.95/1703.80 c #Conflicts: 1724000 | #Constraints: 30338
1697.95/1703.80 c #Conflicts: 1725000 | #Constraints: 31342
1697.95/1703.80 c #Conflicts: 1726000 | #Constraints: 32366
1697.95/1703.80 c #Conflicts: 1727000 | #Constraints: 33385
1697.95/1703.80 c #Conflicts: 1728000 | #Constraints: 34401
1697.95/1703.80 c #Conflicts: 1729000 | #Constraints: 35411
1697.95/1703.80 c #Conflicts: 1730000 | #Constraints: 36426
1697.95/1703.80 c #Conflicts: 1731000 | #Constraints: 37441
1697.95/1703.80 c #Conflicts: 1732000 | #Constraints: 38445
1697.95/1703.80 c #Conflicts: 1733000 | #Constraints: 39463
1697.95/1703.80 c #Conflicts: 1734000 | #Constraints: 40473
1697.95/1703.80 c #Conflicts: 1735000 | #Constraints: 41488
1697.95/1703.80 c #Conflicts: 1736000 | #Constraints: 42513
1697.95/1703.80 c #Conflicts: 1737000 | #Constraints: 43530
1697.95/1703.80 c #Conflicts: 1738000 | #Constraints: 44545
1697.95/1703.80 c #Conflicts: 1739000 | #Constraints: 45559
1697.95/1703.80 c #Conflicts: 1740000 | #Constraints: 46575
1697.95/1703.80 c #Conflicts: 1741000 | #Constraints: 47599
1697.95/1703.80 c #Conflicts: 1742000 | #Constraints: 48620
1697.95/1703.80 c #Conflicts: 1743000 | #Constraints: 49632
1697.95/1703.80 c #Conflicts: 1744000 | #Constraints: 50644
1697.95/1703.80 c #Conflicts: 1745000 | #Constraints: 51648
1697.95/1703.80 c #Conflicts: 1746000 | #Constraints: 52654
1697.95/1703.80 c INPROCESSING
1697.95/1703.80 c GARBAGE COLLECT
1697.95/1703.80 c rational objective 14.1796
1728.45/1734.45 c #Conflicts: 1747000 | #Constraints: 25101
1728.45/1734.45 c #Conflicts: 1748000 | #Constraints: 26128
1728.45/1734.45 c #Conflicts: 1749000 | #Constraints: 27246
1728.45/1734.45 c #Conflicts: 1750000 | #Constraints: 28564
1728.45/1734.45 c #Conflicts: 1751000 | #Constraints: 29792
1728.45/1734.45 c #Conflicts: 1752000 | #Constraints: 31066
1728.45/1734.45 c #Conflicts: 1753000 | #Constraints: 32319
1728.45/1734.45 c #Conflicts: 1754000 | #Constraints: 33403
1728.45/1734.45 c #Conflicts: 1755000 | #Constraints: 34552
1728.45/1734.45 c #Conflicts: 1756000 | #Constraints: 35561
1728.45/1734.45 c #Conflicts: 1757000 | #Constraints: 36565
1728.45/1734.45 c #Conflicts: 1758000 | #Constraints: 37579
1728.45/1734.45 c #Conflicts: 1759000 | #Constraints: 38596
1728.45/1734.45 c #Conflicts: 1760000 | #Constraints: 39605
1728.45/1734.45 c #Conflicts: 1761000 | #Constraints: 40615
1728.45/1734.45 c #Conflicts: 1762000 | #Constraints: 41630
1728.45/1734.45 c #Conflicts: 1763000 | #Constraints: 42638
1728.45/1734.45 c #Conflicts: 1764000 | #Constraints: 43649
1728.45/1734.45 c #Conflicts: 1765000 | #Constraints: 44659
1728.45/1734.45 c #Conflicts: 1766000 | #Constraints: 45667
1728.45/1734.45 c #Conflicts: 1767000 | #Constraints: 46676
1728.45/1734.45 c #Conflicts: 1768000 | #Constraints: 47683
1728.45/1734.45 c #Conflicts: 1769000 | #Constraints: 48686
1728.45/1734.45 c #Conflicts: 1770000 | #Constraints: 49696
1728.45/1734.45 c #Conflicts: 1771000 | #Constraints: 50708
1728.45/1734.45 c #Conflicts: 1772000 | #Constraints: 51713
1728.45/1734.45 c #Conflicts: 1773000 | #Constraints: 52721
1728.45/1734.45 c INPROCESSING
1728.45/1734.45 c GARBAGE COLLECT
1728.45/1734.45 c rational objective 14.1799
1756.65/1762.76 c #Conflicts: 1774000 | #Constraints: 27395
1756.65/1762.76 c #Conflicts: 1775000 | #Constraints: 28400
1756.65/1762.76 c #Conflicts: 1776000 | #Constraints: 29405
1756.65/1762.76 c #Conflicts: 1777000 | #Constraints: 30410
1756.65/1762.76 c #Conflicts: 1778000 | #Constraints: 31419
1756.65/1762.76 c #Conflicts: 1779000 | #Constraints: 32431
1756.65/1762.76 c #Conflicts: 1780000 | #Constraints: 33444
1756.65/1762.76 c #Conflicts: 1781000 | #Constraints: 34461
1756.65/1762.76 c #Conflicts: 1782000 | #Constraints: 35472
1756.65/1762.76 c #Conflicts: 1783000 | #Constraints: 36474
1756.65/1762.76 c #Conflicts: 1784000 | #Constraints: 37485
1756.65/1762.76 c #Conflicts: 1785000 | #Constraints: 38494
1756.65/1762.76 c #Conflicts: 1786000 | #Constraints: 39506
1756.65/1762.76 c #Conflicts: 1787000 | #Constraints: 40524
1756.65/1762.76 c #Conflicts: 1788000 | #Constraints: 41533
1756.65/1762.76 c #Conflicts: 1789000 | #Constraints: 42542
1756.65/1762.76 c #Conflicts: 1790000 | #Constraints: 43545
1756.65/1762.76 c #Conflicts: 1791000 | #Constraints: 44551
1756.65/1762.76 c #Conflicts: 1792000 | #Constraints: 45557
1756.65/1762.76 c #Conflicts: 1793000 | #Constraints: 46561
1756.65/1762.76 c #Conflicts: 1794000 | #Constraints: 47565
1756.65/1762.76 c #Conflicts: 1795000 | #Constraints: 48581
1756.65/1762.76 c #Conflicts: 1796000 | #Constraints: 49595
1756.65/1762.76 c #Conflicts: 1797000 | #Constraints: 50617
1756.65/1762.76 c #Conflicts: 1798000 | #Constraints: 51622
1756.65/1762.76 c #Conflicts: 1799000 | #Constraints: 52626
1756.65/1762.76 c #Conflicts: 1800000 | #Constraints: 53636
1756.65/1762.76 c INPROCESSING
1756.65/1762.76 c GARBAGE COLLECT
1756.65/1762.76 c rational objective 14.18
1786.15/1792.32 c #Conflicts: 1801000 | #Constraints: 27948
1786.15/1792.32 c #Conflicts: 1802000 | #Constraints: 28958
1786.15/1792.32 c #Conflicts: 1803000 | #Constraints: 29973
1786.15/1792.32 c #Conflicts: 1804000 | #Constraints: 30990
1786.15/1792.32 c #Conflicts: 1805000 | #Constraints: 31999
1786.15/1792.32 c #Conflicts: 1806000 | #Constraints: 33011
1786.15/1792.32 c #Conflicts: 1807000 | #Constraints: 34022
1786.15/1792.32 c #Conflicts: 1808000 | #Constraints: 35033
1786.15/1792.32 c #Conflicts: 1809000 | #Constraints: 36038
1786.15/1792.32 c #Conflicts: 1810000 | #Constraints: 37043
1786.15/1792.32 c #Conflicts: 1811000 | #Constraints: 38048
1786.15/1792.32 c #Conflicts: 1812000 | #Constraints: 39055
1786.15/1792.32 c #Conflicts: 1813000 | #Constraints: 40066
1786.15/1792.32 c #Conflicts: 1814000 | #Constraints: 41073
1786.15/1792.32 c #Conflicts: 1815000 | #Constraints: 42090
1786.15/1792.32 c #Conflicts: 1816000 | #Constraints: 43106
1786.15/1792.32 c #Conflicts: 1817000 | #Constraints: 44109
1786.15/1792.32 c #Conflicts: 1818000 | #Constraints: 45115
1786.15/1792.32 c #Conflicts: 1819000 | #Constraints: 46121
1786.15/1792.32 c #Conflicts: 1820000 | #Constraints: 47129
1786.15/1792.32 c #Conflicts: 1821000 | #Constraints: 48134
1786.15/1792.32 c #Conflicts: 1822000 | #Constraints: 49140
1786.15/1792.32 c #Conflicts: 1823000 | #Constraints: 50145
1786.15/1792.32 c #Conflicts: 1824000 | #Constraints: 51153
1786.15/1792.32 c #Conflicts: 1825000 | #Constraints: 52160
1786.15/1792.32 c #Conflicts: 1826000 | #Constraints: 53172
1786.15/1792.32 c #Conflicts: 1827000 | #Constraints: 54179
1786.15/1792.32 c INPROCESSING
1786.15/1792.32 c GARBAGE COLLECT
1786.15/1792.32 c rational objective 14.1801
1814.94/1821.21 c #Conflicts: 1828000 | #Constraints: 28262
1814.94/1821.21 c #Conflicts: 1829000 | #Constraints: 29322
1814.94/1821.21 c #Conflicts: 1830000 | #Constraints: 30342
1814.94/1821.21 c #Conflicts: 1831000 | #Constraints: 31357
1814.94/1821.21 c #Conflicts: 1832000 | #Constraints: 32372
1814.94/1821.21 c #Conflicts: 1833000 | #Constraints: 33380
1814.94/1821.21 c #Conflicts: 1834000 | #Constraints: 34391
1814.94/1821.21 c #Conflicts: 1835000 | #Constraints: 35413
1814.94/1821.21 c #Conflicts: 1836000 | #Constraints: 36425
1814.94/1821.21 c #Conflicts: 1837000 | #Constraints: 37439
1814.94/1821.21 c #Conflicts: 1838000 | #Constraints: 38449
1814.94/1821.21 c #Conflicts: 1839000 | #Constraints: 39463
1814.94/1821.21 c #Conflicts: 1840000 | #Constraints: 40481
1814.94/1821.21 c #Conflicts: 1841000 | #Constraints: 41489
1814.94/1821.21 c #Conflicts: 1842000 | #Constraints: 42498
1814.94/1821.21 c #Conflicts: 1843000 | #Constraints: 43505
1814.94/1821.21 c #Conflicts: 1844000 | #Constraints: 44519
1814.94/1821.21 c #Conflicts: 1845000 | #Constraints: 45534
1814.94/1821.21 c #Conflicts: 1846000 | #Constraints: 46547
1814.94/1821.21 c #Conflicts: 1847000 | #Constraints: 47568
1814.94/1821.21 c #Conflicts: 1848000 | #Constraints: 48583
1814.94/1821.21 c #Conflicts: 1849000 | #Constraints: 49600
1814.94/1821.21 c #Conflicts: 1850000 | #Constraints: 50616
1814.94/1821.21 c #Conflicts: 1851000 | #Constraints: 51649
1814.94/1821.21 c #Conflicts: 1852000 | #Constraints: 52678
1814.94/1821.21 c #Conflicts: 1853000 | #Constraints: 53688
1814.94/1821.21 c #Conflicts: 1854000 | #Constraints: 54709
1814.94/1821.21 c INPROCESSING
1814.94/1821.21 c GARBAGE COLLECT
1814.94/1821.21 c rational objective 14.1806
1844.34/1850.74 c #Conflicts: 1855000 | #Constraints: 25901
1844.34/1850.74 c #Conflicts: 1856000 | #Constraints: 26912
1844.34/1850.74 c #Conflicts: 1857000 | #Constraints: 27920
1844.34/1850.74 c #Conflicts: 1858000 | #Constraints: 28928
1844.34/1850.74 c #Conflicts: 1859000 | #Constraints: 29934
1844.34/1850.74 c #Conflicts: 1860000 | #Constraints: 30942
1844.34/1850.74 c #Conflicts: 1861000 | #Constraints: 31951
1844.34/1850.74 c #Conflicts: 1862000 | #Constraints: 32958
1844.34/1850.74 c #Conflicts: 1863000 | #Constraints: 33966
1844.34/1850.74 c #Conflicts: 1864000 | #Constraints: 34975
1844.34/1850.74 c #Conflicts: 1865000 | #Constraints: 35982
1844.34/1850.74 c #Conflicts: 1866000 | #Constraints: 36999
1844.34/1850.74 c #Conflicts: 1867000 | #Constraints: 38008
1844.34/1850.74 c #Conflicts: 1868000 | #Constraints: 39015
1844.34/1850.74 c #Conflicts: 1869000 | #Constraints: 40022
1844.34/1850.74 c #Conflicts: 1870000 | #Constraints: 41029
1844.34/1850.74 c #Conflicts: 1871000 | #Constraints: 42036
1844.34/1850.74 c #Conflicts: 1872000 | #Constraints: 43043
1844.34/1850.74 c #Conflicts: 1873000 | #Constraints: 44050
1844.34/1850.74 c #Conflicts: 1874000 | #Constraints: 45054
1844.34/1850.74 c #Conflicts: 1875000 | #Constraints: 46059
1844.34/1850.74 c #Conflicts: 1876000 | #Constraints: 47068
1844.34/1850.74 c #Conflicts: 1877000 | #Constraints: 48074
1844.34/1850.74 c #Conflicts: 1878000 | #Constraints: 49077
1844.34/1850.74 c #Conflicts: 1879000 | #Constraints: 50084
1844.34/1850.74 c #Conflicts: 1880000 | #Constraints: 51093
1844.34/1850.74 c #Conflicts: 1881000 | #Constraints: 52099
1844.34/1850.74 c INPROCESSING
1844.34/1850.74 c GARBAGE COLLECT
1844.34/1850.74 c rational objective 14.1806
1875.94/1882.47 c #Conflicts: 1882000 | #Constraints: 26885
1875.94/1882.47 c #Conflicts: 1883000 | #Constraints: 27931
1875.94/1882.47 c #Conflicts: 1884000 | #Constraints: 28934
1875.94/1882.47 c #Conflicts: 1885000 | #Constraints: 29937
1875.94/1882.47 c #Conflicts: 1886000 | #Constraints: 30944
1875.94/1882.47 c #Conflicts: 1887000 | #Constraints: 31956
1875.94/1882.47 c #Conflicts: 1888000 | #Constraints: 32966
1875.94/1882.47 c #Conflicts: 1889000 | #Constraints: 33976
1875.94/1882.47 c #Conflicts: 1890000 | #Constraints: 34988
1875.94/1882.47 c #Conflicts: 1891000 | #Constraints: 36005
1875.94/1882.47 c #Conflicts: 1892000 | #Constraints: 37014
1875.94/1882.47 c #Conflicts: 1893000 | #Constraints: 38017
1875.94/1882.47 c #Conflicts: 1894000 | #Constraints: 39020
1875.94/1882.47 c #Conflicts: 1895000 | #Constraints: 40033
1875.94/1882.47 c #Conflicts: 1896000 | #Constraints: 41038
1875.94/1882.47 c #Conflicts: 1897000 | #Constraints: 42041
1875.94/1882.47 c #Conflicts: 1898000 | #Constraints: 43048
1875.94/1882.47 c #Conflicts: 1899000 | #Constraints: 44054
1875.94/1882.47 c #Conflicts: 1900000 | #Constraints: 45061
1875.94/1882.47 c #Conflicts: 1901000 | #Constraints: 46069
1875.94/1882.47 c #Conflicts: 1902000 | #Constraints: 47074
1875.94/1882.47 c #Conflicts: 1903000 | #Constraints: 48078
1875.94/1882.47 c #Conflicts: 1904000 | #Constraints: 49081
1875.94/1882.47 c #Conflicts: 1905000 | #Constraints: 50086
1875.94/1882.47 c #Conflicts: 1906000 | #Constraints: 51094
1875.94/1882.47 c #Conflicts: 1907000 | #Constraints: 52102
1875.94/1882.47 c #Conflicts: 1908000 | #Constraints: 53108
1875.94/1882.47 c #Conflicts: 1909000 | #Constraints: 54113
1875.94/1882.47 c INPROCESSING
1875.94/1882.47 c GARBAGE COLLECT
1875.94/1882.47 c rational objective 14.1806
1906.54/1913.20 c #Conflicts: 1910000 | #Constraints: 28144
1906.54/1913.20 c #Conflicts: 1911000 | #Constraints: 29158
1906.54/1913.20 c #Conflicts: 1912000 | #Constraints: 30166
1906.54/1913.20 c #Conflicts: 1913000 | #Constraints: 31177
1906.54/1913.20 c #Conflicts: 1914000 | #Constraints: 32190
1906.54/1913.20 c #Conflicts: 1915000 | #Constraints: 33203
1906.54/1913.20 c #Conflicts: 1916000 | #Constraints: 34216
1906.54/1913.20 c #Conflicts: 1917000 | #Constraints: 35224
1906.54/1913.20 c #Conflicts: 1918000 | #Constraints: 36234
1906.54/1913.20 c #Conflicts: 1919000 | #Constraints: 37238
1906.54/1913.20 c #Conflicts: 1920000 | #Constraints: 38244
1906.54/1913.20 c #Conflicts: 1921000 | #Constraints: 39249
1906.54/1913.20 c #Conflicts: 1922000 | #Constraints: 40253
1906.54/1913.20 c #Conflicts: 1923000 | #Constraints: 41261
1906.54/1913.20 c #Conflicts: 1924000 | #Constraints: 42272
1906.54/1913.20 c #Conflicts: 1925000 | #Constraints: 43279
1906.54/1913.20 c #Conflicts: 1926000 | #Constraints: 44290
1906.54/1913.20 c #Conflicts: 1927000 | #Constraints: 45299
1906.54/1913.20 c #Conflicts: 1928000 | #Constraints: 46309
1906.54/1913.20 c #Conflicts: 1929000 | #Constraints: 47317
1906.54/1913.20 c #Conflicts: 1930000 | #Constraints: 48320
1906.54/1913.20 c #Conflicts: 1931000 | #Constraints: 49323
1906.54/1913.20 c #Conflicts: 1932000 | #Constraints: 50330
1906.54/1913.20 c #Conflicts: 1933000 | #Constraints: 51336
1906.54/1913.20 c #Conflicts: 1934000 | #Constraints: 52344
1906.54/1913.20 c #Conflicts: 1935000 | #Constraints: 53358
1906.54/1913.20 c #Conflicts: 1936000 | #Constraints: 54367
1906.54/1913.20 c #Conflicts: 1937000 | #Constraints: 55375
1906.54/1913.20 c INPROCESSING
1906.54/1913.20 c GARBAGE COLLECT
1906.54/1913.20 c rational objective 14.1807
1936.52/1943.28 c #Conflicts: 1938000 | #Constraints: 28816
1936.52/1943.28 c #Conflicts: 1939000 | #Constraints: 29819
1936.52/1943.28 c #Conflicts: 1940000 | #Constraints: 30831
1936.52/1943.28 c #Conflicts: 1941000 | #Constraints: 31836
1936.52/1943.28 c #Conflicts: 1942000 | #Constraints: 32839
1936.52/1943.28 c #Conflicts: 1943000 | #Constraints: 33848
1936.52/1943.28 c #Conflicts: 1944000 | #Constraints: 34855
1936.52/1943.28 c #Conflicts: 1945000 | #Constraints: 35861
1936.52/1943.28 c #Conflicts: 1946000 | #Constraints: 36870
1936.52/1943.28 c #Conflicts: 1947000 | #Constraints: 37876
1936.52/1943.28 c #Conflicts: 1948000 | #Constraints: 38888
1936.52/1943.28 c #Conflicts: 1949000 | #Constraints: 39895
1936.52/1943.28 c #Conflicts: 1950000 | #Constraints: 40899
1936.52/1943.28 c #Conflicts: 1951000 | #Constraints: 41915
1936.52/1943.28 c #Conflicts: 1952000 | #Constraints: 42920
1936.52/1943.28 c #Conflicts: 1953000 | #Constraints: 43927
1936.52/1943.28 c #Conflicts: 1954000 | #Constraints: 44941
1936.52/1943.28 c #Conflicts: 1955000 | #Constraints: 45951
1936.52/1943.28 c #Conflicts: 1956000 | #Constraints: 46960
1936.52/1943.28 c #Conflicts: 1957000 | #Constraints: 47991
1936.52/1943.28 c #Conflicts: 1958000 | #Constraints: 49010
1936.52/1943.28 c #Conflicts: 1959000 | #Constraints: 50016
1936.52/1943.28 c #Conflicts: 1960000 | #Constraints: 51030
1936.52/1943.28 c #Conflicts: 1961000 | #Constraints: 52042
1936.52/1943.28 c #Conflicts: 1962000 | #Constraints: 53051
1936.52/1943.28 c #Conflicts: 1963000 | #Constraints: 54061
1936.52/1943.28 c #Conflicts: 1964000 | #Constraints: 55075
1936.52/1943.28 c #Conflicts: 1965000 | #Constraints: 56084
1936.52/1943.28 c INPROCESSING
1936.52/1943.28 c GARBAGE COLLECT
1936.52/1943.28 c rational objective 14.1816
1967.81/1974.68 c #Conflicts: 1966000 | #Constraints: 29397
1967.81/1974.68 c #Conflicts: 1967000 | #Constraints: 30438
1967.81/1974.68 c #Conflicts: 1968000 | #Constraints: 31450
1967.81/1974.68 c #Conflicts: 1969000 | #Constraints: 32458
1967.81/1974.68 c #Conflicts: 1970000 | #Constraints: 33466
1967.81/1974.68 c #Conflicts: 1971000 | #Constraints: 34477
1967.81/1974.68 c #Conflicts: 1972000 | #Constraints: 35483
1967.81/1974.68 c #Conflicts: 1973000 | #Constraints: 36492
1967.81/1974.68 c #Conflicts: 1974000 | #Constraints: 37501
1967.81/1974.68 c #Conflicts: 1975000 | #Constraints: 38507
1967.81/1974.68 c #Conflicts: 1976000 | #Constraints: 39525
1967.81/1974.68 c #Conflicts: 1977000 | #Constraints: 40529
1967.81/1974.68 c #Conflicts: 1978000 | #Constraints: 41537
1967.81/1974.68 c #Conflicts: 1979000 | #Constraints: 42547
1967.81/1974.68 c #Conflicts: 1980000 | #Constraints: 43553
1967.81/1974.68 c #Conflicts: 1981000 | #Constraints: 44560
1967.81/1974.68 c #Conflicts: 1982000 | #Constraints: 45565
1967.81/1974.68 c #Conflicts: 1983000 | #Constraints: 46572
1967.81/1974.68 c #Conflicts: 1984000 | #Constraints: 47577
1967.81/1974.68 c #Conflicts: 1985000 | #Constraints: 48580
1967.81/1974.68 c #Conflicts: 1986000 | #Constraints: 49583
1967.81/1974.68 c #Conflicts: 1987000 | #Constraints: 50589
1967.81/1974.68 c #Conflicts: 1988000 | #Constraints: 51595
1967.81/1974.68 c #Conflicts: 1989000 | #Constraints: 52606
1967.81/1974.68 c #Conflicts: 1990000 | #Constraints: 53615
1967.81/1974.68 c #Conflicts: 1991000 | #Constraints: 54623
1967.81/1974.68 c #Conflicts: 1992000 | #Constraints: 55628
1967.81/1974.68 c #Conflicts: 1993000 | #Constraints: 56642
1967.81/1974.68 c INPROCESSING
1967.81/1974.68 c GARBAGE COLLECT
1967.81/1974.68 c rational objective 14.1816
2000.00/2006.92 c #Conflicts: 1994000 | #Constraints: 29355
2000.00/2006.92 c #Conflicts: 1995000 | #Constraints: 30361
2000.00/2006.92 c #Conflicts: 1996000 | #Constraints: 31366
2000.00/2006.92 c #Conflicts: 1997000 | #Constraints: 32372
2000.00/2006.92 c #Conflicts: 1998000 | #Constraints: 33381
2000.00/2006.92 c #Conflicts: 1999000 | #Constraints: 34383
2000.00/2006.92 c #Conflicts: 2000000 | #Constraints: 35391
2000.00/2006.92 c #Conflicts: 2001000 | #Constraints: 36405
2000.00/2006.92 c #Conflicts: 2002000 | #Constraints: 37413
2000.00/2006.92 c #Conflicts: 2003000 | #Constraints: 38419
2000.00/2006.92 c #Conflicts: 2004000 | #Constraints: 39426
2000.00/2006.92 c #Conflicts: 2005000 | #Constraints: 40430
2000.00/2006.92 c #Conflicts: 2006000 | #Constraints: 41441
2000.00/2006.92 c #Conflicts: 2007000 | #Constraints: 42450
2000.00/2006.92 c #Conflicts: 2008000 | #Constraints: 43457
2000.00/2006.92 c #Conflicts: 2009000 | #Constraints: 44463
2000.00/2006.92 c #Conflicts: 2010000 | #Constraints: 45474
2000.00/2006.92 c #Conflicts: 2011000 | #Constraints: 46479
2000.00/2006.92 c #Conflicts: 2012000 | #Constraints: 47484
2000.00/2006.92 c #Conflicts: 2013000 | #Constraints: 48491
2000.00/2006.92 c #Conflicts: 2014000 | #Constraints: 49496
2000.00/2006.92 c #Conflicts: 2015000 | #Constraints: 50502
2000.00/2006.92 c #Conflicts: 2016000 | #Constraints: 51512
2000.00/2006.92 c #Conflicts: 2017000 | #Constraints: 52527
2000.00/2006.92 c #Conflicts: 2018000 | #Constraints: 53544
2000.00/2006.92 c #Conflicts: 2019000 | #Constraints: 54557
2000.00/2006.92 c #Conflicts: 2020000 | #Constraints: 55570
2000.00/2006.92 c #Conflicts: 2021000 | #Constraints: 56575
2000.00/2006.92 c INPROCESSING
2000.00/2006.92 c GARBAGE COLLECT
2000.00/2006.92 c rational objective 14.3711
2030.88/2037.99 c #Conflicts: 2022000 | #Constraints: 24231
2030.88/2037.99 c #Conflicts: 2023000 | #Constraints: 25249
2030.88/2037.99 c #Conflicts: 2024000 | #Constraints: 26255
2030.88/2037.99 c #Conflicts: 2025000 | #Constraints: 27264
2030.88/2037.99 c #Conflicts: 2026000 | #Constraints: 28272
2030.88/2037.99 c #Conflicts: 2027000 | #Constraints: 29277
2030.88/2037.99 c #Conflicts: 2028000 | #Constraints: 30288
2030.88/2037.99 c #Conflicts: 2029000 | #Constraints: 31297
2030.88/2037.99 c #Conflicts: 2030000 | #Constraints: 32305
2030.88/2037.99 c #Conflicts: 2031000 | #Constraints: 33314
2030.88/2037.99 c #Conflicts: 2032000 | #Constraints: 34318
2030.88/2037.99 c #Conflicts: 2033000 | #Constraints: 35329
2030.88/2037.99 c #Conflicts: 2034000 | #Constraints: 36334
2030.88/2037.99 c #Conflicts: 2035000 | #Constraints: 37347
2030.88/2037.99 c #Conflicts: 2036000 | #Constraints: 38358
2030.88/2037.99 c #Conflicts: 2037000 | #Constraints: 39370
2030.88/2037.99 c #Conflicts: 2038000 | #Constraints: 40381
2030.88/2037.99 c #Conflicts: 2039000 | #Constraints: 41390
2030.88/2037.99 c #Conflicts: 2040000 | #Constraints: 42392
2030.88/2037.99 c #Conflicts: 2041000 | #Constraints: 43399
2030.88/2037.99 c #Conflicts: 2042000 | #Constraints: 44408
2030.88/2037.99 c #Conflicts: 2043000 | #Constraints: 45414
2030.88/2037.99 c #Conflicts: 2044000 | #Constraints: 46420
2030.88/2037.99 c #Conflicts: 2045000 | #Constraints: 47428
2030.88/2037.99 c #Conflicts: 2046000 | #Constraints: 48437
2030.88/2037.99 c #Conflicts: 2047000 | #Constraints: 49447
2030.88/2037.99 c #Conflicts: 2048000 | #Constraints: 50452
2030.88/2037.99 c #Conflicts: 2049000 | #Constraints: 51459
2030.88/2037.99 c #Conflicts: 2050000 | #Constraints: 52463
2030.88/2037.99 c INPROCESSING
2030.88/2037.99 c GARBAGE COLLECT
2030.88/2037.99 c rational objective 14.4211
2064.88/2072.07 c #Conflicts: 2051000 | #Constraints: 27261
2064.88/2072.07 c #Conflicts: 2052000 | #Constraints: 28267
2064.88/2072.07 c #Conflicts: 2053000 | #Constraints: 29269
2064.88/2072.07 c #Conflicts: 2054000 | #Constraints: 30278
2064.88/2072.07 c #Conflicts: 2055000 | #Constraints: 31301
2064.88/2072.07 c #Conflicts: 2056000 | #Constraints: 32316
2064.88/2072.07 c #Conflicts: 2057000 | #Constraints: 33325
2064.88/2072.07 c #Conflicts: 2058000 | #Constraints: 34334
2064.88/2072.07 c #Conflicts: 2059000 | #Constraints: 35338
2064.88/2072.07 c #Conflicts: 2060000 | #Constraints: 36351
2064.88/2072.07 c #Conflicts: 2061000 | #Constraints: 37364
2064.88/2072.07 c #Conflicts: 2062000 | #Constraints: 38369
2064.88/2072.07 c #Conflicts: 2063000 | #Constraints: 39383
2064.88/2072.07 c #Conflicts: 2064000 | #Constraints: 40394
2064.88/2072.07 c #Conflicts: 2065000 | #Constraints: 41399
2064.88/2072.07 c #Conflicts: 2066000 | #Constraints: 42421
2064.88/2072.07 c #Conflicts: 2067000 | #Constraints: 43446
2064.88/2072.07 c #Conflicts: 2068000 | #Constraints: 44457
2064.88/2072.07 c #Conflicts: 2069000 | #Constraints: 45465
2064.88/2072.07 c #Conflicts: 2070000 | #Constraints: 46482
2064.88/2072.07 c #Conflicts: 2071000 | #Constraints: 47494
2064.88/2072.07 c #Conflicts: 2072000 | #Constraints: 48511
2064.88/2072.07 c #Conflicts: 2073000 | #Constraints: 49519
2064.88/2072.07 c #Conflicts: 2074000 | #Constraints: 50526
2064.88/2072.07 c #Conflicts: 2075000 | #Constraints: 51530
2064.88/2072.07 c #Conflicts: 2076000 | #Constraints: 52541
2064.88/2072.07 c #Conflicts: 2077000 | #Constraints: 53559
2064.88/2072.07 c #Conflicts: 2078000 | #Constraints: 54564
2064.88/2072.07 c #Conflicts: 2079000 | #Constraints: 55578
2064.88/2072.07 c INPROCESSING
2064.88/2072.07 c GARBAGE COLLECT
2064.88/2072.07 c rational objective 14.4211
2101.44/2108.77 c #Conflicts: 2080000 | #Constraints: 28925
2101.44/2108.77 c #Conflicts: 2081000 | #Constraints: 29934
2101.44/2108.77 c #Conflicts: 2082000 | #Constraints: 30950
2101.44/2108.77 c #Conflicts: 2083000 | #Constraints: 31956
2101.44/2108.77 c #Conflicts: 2084000 | #Constraints: 32961
2101.44/2108.77 c #Conflicts: 2085000 | #Constraints: 33970
2101.44/2108.77 c #Conflicts: 2086000 | #Constraints: 34978
2101.44/2108.77 c #Conflicts: 2087000 | #Constraints: 35986
2101.44/2108.77 c #Conflicts: 2088000 | #Constraints: 36995
2101.44/2108.77 c #Conflicts: 2089000 | #Constraints: 38008
2101.44/2108.77 c #Conflicts: 2090000 | #Constraints: 39016
2101.44/2108.77 c #Conflicts: 2091000 | #Constraints: 40027
2101.44/2108.77 c #Conflicts: 2092000 | #Constraints: 41040
2101.44/2108.77 c #Conflicts: 2093000 | #Constraints: 42049
2101.44/2108.77 c #Conflicts: 2094000 | #Constraints: 43058
2101.44/2108.77 c #Conflicts: 2095000 | #Constraints: 44067
2101.44/2108.77 c #Conflicts: 2096000 | #Constraints: 45076
2101.44/2108.77 c #Conflicts: 2097000 | #Constraints: 46082
2101.44/2108.77 c #Conflicts: 2098000 | #Constraints: 47088
2101.44/2108.77 c #Conflicts: 2099000 | #Constraints: 48098
2101.44/2108.77 c #Conflicts: 2100000 | #Constraints: 49106
2101.44/2108.77 c #Conflicts: 2101000 | #Constraints: 50117
2101.44/2108.77 c #Conflicts: 2102000 | #Constraints: 51123
2101.44/2108.77 c #Conflicts: 2103000 | #Constraints: 52129
2101.44/2108.77 c #Conflicts: 2104000 | #Constraints: 53136
2101.44/2108.77 c #Conflicts: 2105000 | #Constraints: 54143
2101.44/2108.77 c #Conflicts: 2106000 | #Constraints: 55148
2101.44/2108.77 c #Conflicts: 2107000 | #Constraints: 56157
2101.44/2108.77 c #Conflicts: 2108000 | #Constraints: 57164
2101.44/2108.77 c INPROCESSING
2101.44/2108.77 c GARBAGE COLLECT
2101.44/2108.77 c rational objective 14.4211
2141.61/2149.04 c #Conflicts: 2109000 | #Constraints: 29789
2141.61/2149.04 c #Conflicts: 2110000 | #Constraints: 30798
2141.61/2149.04 c #Conflicts: 2111000 | #Constraints: 31805
2141.61/2149.04 c #Conflicts: 2112000 | #Constraints: 32814
2141.61/2149.04 c #Conflicts: 2113000 | #Constraints: 33822
2141.61/2149.04 c #Conflicts: 2114000 | #Constraints: 34828
2141.61/2149.04 c #Conflicts: 2115000 | #Constraints: 35845
2141.61/2149.04 c #Conflicts: 2116000 | #Constraints: 36863
2141.61/2149.04 c #Conflicts: 2117000 | #Constraints: 37880
2141.61/2149.04 c #Conflicts: 2118000 | #Constraints: 38895
2141.61/2149.04 c #Conflicts: 2119000 | #Constraints: 39907
2141.61/2149.04 c #Conflicts: 2120000 | #Constraints: 40924
2141.61/2149.04 c #Conflicts: 2121000 | #Constraints: 41939
2141.61/2149.04 c #Conflicts: 2122000 | #Constraints: 42946
2141.61/2149.04 c #Conflicts: 2123000 | #Constraints: 43953
2141.61/2149.04 c #Conflicts: 2124000 | #Constraints: 44961
2141.61/2149.04 c #Conflicts: 2125000 | #Constraints: 45969
2141.61/2149.04 c #Conflicts: 2126000 | #Constraints: 46982
2141.61/2149.04 c #Conflicts: 2127000 | #Constraints: 47995
2141.61/2149.04 c #Conflicts: 2128000 | #Constraints: 49004
2141.61/2149.04 c #Conflicts: 2129000 | #Constraints: 50010
2141.61/2149.04 c #Conflicts: 2130000 | #Constraints: 51026
2141.61/2149.04 c #Conflicts: 2131000 | #Constraints: 52042
2141.61/2149.04 c #Conflicts: 2132000 | #Constraints: 53050
2141.61/2149.04 c #Conflicts: 2133000 | #Constraints: 54056
2141.61/2149.04 c #Conflicts: 2134000 | #Constraints: 55066
2141.61/2149.04 c #Conflicts: 2135000 | #Constraints: 56077
2141.61/2149.04 c #Conflicts: 2136000 | #Constraints: 57081
2141.61/2149.04 c #Conflicts: 2137000 | #Constraints: 58086
2141.61/2149.04 c INPROCESSING
2141.61/2149.04 c GARBAGE COLLECT
2141.61/2149.04 c rational objective 14.4211
2168.62/2176.11 c #Conflicts: 2138000 | #Constraints: 30080
2168.62/2176.11 c #Conflicts: 2139000 | #Constraints: 31093
2168.62/2176.11 c #Conflicts: 2140000 | #Constraints: 32100
2168.62/2176.11 c #Conflicts: 2141000 | #Constraints: 33105
2168.62/2176.11 c #Conflicts: 2142000 | #Constraints: 34111
2168.62/2176.11 c #Conflicts: 2143000 | #Constraints: 35120
2168.62/2176.11 c #Conflicts: 2144000 | #Constraints: 36133
2168.62/2176.11 c #Conflicts: 2145000 | #Constraints: 37142
2168.62/2176.11 c #Conflicts: 2146000 | #Constraints: 38151
2168.62/2176.11 c #Conflicts: 2147000 | #Constraints: 39155
2168.62/2176.11 c #Conflicts: 2148000 | #Constraints: 40161
2168.62/2176.11 c #Conflicts: 2149000 | #Constraints: 41164
2168.62/2176.11 c #Conflicts: 2150000 | #Constraints: 42171
2168.62/2176.11 c #Conflicts: 2151000 | #Constraints: 43181
2168.62/2176.11 c #Conflicts: 2152000 | #Constraints: 44188
2168.62/2176.11 c #Conflicts: 2153000 | #Constraints: 45191
2168.62/2176.11 c #Conflicts: 2154000 | #Constraints: 46193
2168.62/2176.11 c #Conflicts: 2155000 | #Constraints: 47199
2168.62/2176.11 c #Conflicts: 2156000 | #Constraints: 48203
2168.62/2176.11 c #Conflicts: 2157000 | #Constraints: 49209
2168.62/2176.11 c #Conflicts: 2158000 | #Constraints: 50210
2168.62/2176.11 c bounds 17 >= 14 @ 2128.06
2181.57/2189.12 c #Conflicts: 2159000 | #Constraints: 51244
2181.57/2189.12 c #Conflicts: 2160000 | #Constraints: 52246
2181.57/2189.12 c #Conflicts: 2161000 | #Constraints: 53252
2181.57/2189.12 c #Conflicts: 2162000 | #Constraints: 54259
2181.57/2189.12 c #Conflicts: 2163000 | #Constraints: 55269
2181.57/2189.12 c #Conflicts: 2164000 | #Constraints: 56277
2181.57/2189.12 c #Conflicts: 2165000 | #Constraints: 57281
2181.57/2189.12 c #Conflicts: 2166000 | #Constraints: 58284
2181.57/2189.12 c INPROCESSING
2181.57/2189.12 c GARBAGE COLLECT
2181.57/2189.12 c rational objective 14.4211
2188.73/2196.31 c #Conflicts: 2167000 | #Constraints: 29977
2188.73/2196.31 c #Conflicts: 2168000 | #Constraints: 30990
2188.73/2196.31 c #Conflicts: 2169000 | #Constraints: 31998
2188.73/2196.31 c #Conflicts: 2170000 | #Constraints: 33007
2188.73/2196.31 c #Conflicts: 2171000 | #Constraints: 34014
2188.73/2196.31 c #Conflicts: 2172000 | #Constraints: 35024
2188.73/2196.31 c #Conflicts: 2173000 | #Constraints: 36026
2188.73/2196.31 c #Conflicts: 2174000 | #Constraints: 37038
2188.73/2196.31 c bounds 17 >= 17 @ 2147.84
2188.73/2196.31 c cpu time 2147.84 s
2188.73/2196.31 c deterministic time 139614930098 1.40e+11
2188.73/2196.31 c optimization time 0.006887 s
2188.73/2196.31 c total solve time 2147.83 s
2188.73/2196.31 c core-guided solve time 1094.26 s
2188.73/2196.31 c propagation time 1264.21 s
2188.73/2196.31 c conflict analysis time 802.188 s
2188.73/2196.31 c propagations 213812274
2188.73/2196.31 c resolve steps 13804396
2188.73/2196.31 c decisions 6123481
2188.73/2196.31 c conflicts 2174359
2188.73/2196.31 c restarts 4093
2188.73/2196.31 c inprocessing phases 138
2188.73/2196.31 c garbage collections 138 ,( 100.00 )
2188.73/2196.31 c input clauses 157 ,( 48.61 )
2188.73/2196.31 c input cardinalities 99 ,( 30.65 )
2188.73/2196.31 c input general constraints 67 ,( 20.74 )
2188.73/2196.31 c input average constraint length 49.09
2188.73/2196.31 c input average constraint degree 23.78
2188.73/2196.31 c learned clauses 936535 ,( 42.53 )
2188.73/2196.31 c learned cardinalities 1442 ,( 0.07 )
2188.73/2196.31 c learned general constraints 1264200 ,( 57.41 )
2188.73/2196.31 c learned average constraint length 82.89
2188.73/2196.31 c learned average constraint degree 3623712636.44
2188.73/2196.31 c watched CF 32, 64, 128, Arb: 82986 , 0 , 0 , 0
2188.73/2196.31 c counting CF 32, 64, 128, Arb: 1181282 , 0 , 0 , 0
2188.73/2196.31 c watched constraints 82986 ,( 6.56 )
2188.73/2196.31 c counting constraints 1181281 ,( 93.44 )
2188.73/2196.31 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 201150623 , 573653182 , 7203195206 ,( 189280372 , 7013914834 )
2188.73/2196.31 c gcd simplifications 260608
2188.73/2196.31 c detected cardinalities 28
2188.73/2196.31 c weakened non-implied lits 316292758
2188.73/2196.31 c weakened non-implying lits 860110
2188.73/2196.31 c original variables 299
2188.73/2196.31 c clausal propagations 9713743
2188.73/2196.31 c cardinality propagations 2714993
2188.73/2196.31 c watched propagations 429101
2188.73/2196.31 c counting propagations 192788311
2188.73/2196.31 c watch lookups 117242256301
2188.73/2196.31 c watch backjump lookups 0
2188.73/2196.31 c watch checks 4234503696
2188.73/2196.31 c propagation checks 15328196569
2188.73/2196.31 c constraint additions 2365728785
2188.73/2196.31 c trail pops 222088168
2188.73/2196.31 c formula constraints 103
2188.73/2196.31 c learned constraints 2152671
2188.73/2196.31 c bound constraints 33
2188.73/2196.31 c core-guided constraints 187
2188.73/2196.31 c encountered formula constraints 1822925
2188.73/2196.31 c encountered learned constraints 5930365
2188.73/2196.31 c encountered bound constraints 227
2188.73/2196.31 c encountered core-guided constraints 996344
2188.73/2196.31 c LP total time 72.7166 s
2188.73/2196.31 c LP solve time 46.36 s
2188.73/2196.31 c LP constraints added 241
2188.73/2196.31 c LP constraints removed 134
2188.73/2196.31 c LP pivots internal 2174396
2188.73/2196.31 c LP pivots root 46427
2188.73/2196.31 c LP calls 29046
2188.73/2196.31 c LP optimalities 1167
2188.73/2196.31 c LP no pivot count 6
2188.73/2196.31 c LP infeasibilities 27775
2188.73/2196.31 c LP valid Farkas constraints 27680
2188.73/2196.31 c LP learned Farkas constraints 21689
2188.73/2196.31 c LP basis resets 198
2188.73/2196.31 c LP cycling count 102
2188.73/2196.31 c LP singular count 1
2188.73/2196.31 c LP no primal count 0
2188.73/2196.31 c LP no farkas count 95
2188.73/2196.31 c LP other issue count 0
2188.73/2196.31 c LP Gomory cuts 137
2188.73/2196.31 c LP learned cuts 1
2188.73/2196.31 c LP deleted cuts 134
2188.73/2196.31 c LP encountered Gomory constraints 0
2188.73/2196.31 c LP encountered Farkas constraints 6838569
2188.73/2196.31 c LP encountered learned Farkas constraints 368636
2188.73/2196.31 c CG auxiliary variables introduced 67
2188.73/2196.31 c CG solutions found 19
2188.73/2196.31 c CG cores constructed 14
2188.73/2196.31 c CG core cardinality constraints returned 0
2188.73/2196.31 c CG unit cores 0
2188.73/2196.31 c CG single cores 14
2188.73/2196.31 c CG blocks removed during cardinality reduction 0
2188.73/2196.31 c CG first core best 0
2188.73/2196.31 c CG decision core best 0
2188.73/2196.31 c CG core reduction tie 0
2188.73/2196.31 c CG core degree average 1.00
2188.73/2196.31 c CG core slack average 24.07
2188.73/2196.31 c CG core upper bound improvements 29
2188.73/2196.31 c STR number of successful calls 0
2188.73/2196.31 c STR number of unsuccessful calls 0
2188.73/2196.31 c STR number of inconclusive calls 0
2188.73/2196.31 c STR number of successful attempts 0
2188.73/2196.31 c STR number of unsuccessful attempts 0
2188.73/2196.31 c STR number of inconclusive attempts 0
2188.73/2196.31 c STR average degree increase per successful call inf
2188.73/2196.31 c STR average degree increase per successful attempt inf
2188.73/2196.31 c STR total number of conflicts for successful attempts 0
2188.73/2196.31 c STR total number of conflicts for unsuccessful attempts 0
2188.73/2196.31 c STR total number of conflicts for inconclusive attempts 0
2188.73/2196.31 c STR average number of conflicts per successful attempt inf
2188.73/2196.31 c STR average number of conflicts per unsuccessful attempt inf
2188.73/2196.31 c STR average number of conflicts per inconclusive attempt inf
2188.73/2196.31 c AVG.sumWPerc 75.70
2188.73/2196.31 c bigint constraints 0
2188.73/2196.31 o 17
2188.73/2196.31 s OPTIMUM FOUND
2191.11/2359.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: 63794 MiB (60795 MiB free)
memory of node 1: 64507 MiB (39243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532335-1752588287/watcher-4532335-1752588287 -o /tmp/evaluation-result-4532335-1752588287/solver-4532335-1752588287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752584602-128316 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532335-1752588287.opb PROOFDIR/proof-4532335-1752588287
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=128867, runsolver pid=128864
[startup+0.100098 s]*
/proc/loadavg: 4.22 4.15 4.10 5/254 128871
/proc/meminfo: memFree=102429864/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=55984 memory=10496 CPUtime=0.04 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 542 0 0 0 4 0 0 0 20 0 1 0 174508494 57327616 2624 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 13996 2624 2304 1147 0 1422 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 60176 KiB
Current children cumulated memory: 13568 KiB
[startup+0.212349 s]*
/proc/loadavg: 4.22 4.15 4.10 4/255 128879
/proc/meminfo: memFree=102429544/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=57228 memory=11648 CPUtime=0.16 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 824 0 0 0 15 1 0 0 20 0 1 0 174508494 58601472 2912 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 14307 2912 2304 1147 0 1733 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 61420 KiB
Current children cumulated memory: 14720 KiB
[startup+0.312056 s]*
/proc/loadavg: 4.22 4.15 4.10 4/256 128884
/proc/meminfo: memFree=102429304/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=58420 memory=12800 CPUtime=0.26 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 1123 0 0 0 25 1 0 0 20 0 1 0 174508494 59822080 3200 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 14605 3200 2304 1147 0 2031 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 62612 KiB
Current children cumulated memory: 15872 KiB
[startup+0.700381 s]
/proc/loadavg: 4.22 4.15 4.10 6/256 128893
/proc/meminfo: memFree=102431640/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=60012 memory=16956 CPUtime=0.63 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 1583 0 0 0 60 3 0 0 20 0 1 0 174508494 61452288 4239 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 15003 4239 2368 1147 0 2429 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 64204 KiB
Current children cumulated memory: 20028 KiB
[startup+1.50034 s]
/proc/loadavg: 4.22 4.15 4.10 5/253 128896
/proc/meminfo: memFree=104056624/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=63384 memory=20028 CPUtime=1.43 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 2358 0 0 0 136 7 0 0 20 0 1 0 174508494 64905216 5007 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 15846 5007 2368 1147 0 3272 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 67576 KiB
Current children cumulated memory: 23100 KiB
[startup+3.11307 s]
/proc/loadavg: 4.22 4.15 4.10 4/254 128944
/proc/meminfo: memFree=110778264/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=73028 memory=28692 CPUtime=3.03 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 4013 0 0 0 290 13 0 0 20 0 1 0 174508494 74780672 7173 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 18257 7173 2368 1147 0 5683 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 77220 KiB
Current children cumulated memory: 31764 KiB
[startup+6.30034 s]
/proc/loadavg: 4.20 4.15 4.10 5/259 128965
/proc/meminfo: memFree=110642676/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=77088 memory=32148 CPUtime=6.22 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 4864 0 0 0 599 23 0 0 20 0 1 0 174508494 78938112 8037 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 19272 8037 2368 1147 0 6698 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 81280 KiB
Current children cumulated memory: 35220 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.14 4.10 5/259 129013
/proc/meminfo: memFree=110369404/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=82164 memory=37396 CPUtime=12.6 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 6201 0 0 0 1215 45 0 0 20 0 1 0 174508494 84135936 9349 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 20541 9349 2368 1147 0 7967 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 86356 KiB
Current children cumulated memory: 40468 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.15 4.10 5/259 129060
/proc/meminfo: memFree=125520520/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=85992 memory=42260 CPUtime=25.36 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 7366 0 0 0 2457 79 0 0 20 0 1 0 174508494 88055808 10565 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 21498 10565 2496 1147 0 8924 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 90184 KiB
Current children cumulated memory: 45332 KiB
[startup+51.1131 s]
/proc/loadavg: 4.89 4.32 4.15 5/258 129061
/proc/meminfo: memFree=124133956/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=101680 memory=55456 CPUtime=50.9 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 10297 0 0 0 4944 146 0 0 20 0 1 0 174508494 104120320 13864 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 25420 13864 2496 1147 0 12846 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 105872 KiB
Current children cumulated memory: 58528 KiB
[startup+102.3 s]
/proc/loadavg: 4.50 4.30 4.16 5/261 129066
/proc/meminfo: memFree=122186236/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=115572 memory=64416 CPUtime=101.93 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 12901 0 0 0 9931 262 0 0 20 0 1 0 174508494 118345728 16104 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 28893 16104 2496 1147 0 16319 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 119764 KiB
Current children cumulated memory: 67488 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.26 4.15 5/261 129068
/proc/meminfo: memFree=119698092/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=127024 memory=77556 CPUtime=161.75 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 16068 0 0 0 15784 391 0 0 20 0 1 0 174508494 130072576 19389 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 31756 19389 2496 1147 0 19182 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 131216 KiB
Current children cumulated memory: 80628 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.24 4.15 5/261 129077
/proc/meminfo: memFree=117510144/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=137380 memory=86492 CPUtime=221.56 cores=4,6
/proc/128870/stat : 128870 (roundingsat) R 128867 128867 128305 0 -1 4194304 18315 0 0 0 21655 501 0 0 20 0 1 0 174508494 140677120 21623 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 34345 21623 2496 1147 0 21771 0
Current children cumulated CPU time: 221.56 s
################
# More data... #
################
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214785 4185 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2189.7 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2262.3 s]
/proc/loadavg: 4.40 4.27 4.16 4/260 129222
/proc/meminfo: memFree=68991728/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2190.34 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214793 4241 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2190.34 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2322.3 s]
/proc/loadavg: 4.19 4.24 4.15 4/258 129224
/proc/meminfo: memFree=68454304/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2190.78 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214798 4280 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2190.78 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2359.8 s]
# the end of solver process 128867 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2148 s, system=43.1489 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2329.6 s]
/proc/loadavg: 4.17 4.23 4.15 4/258 129225
/proc/meminfo: memFree=68398324/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2190.78 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214798 4280 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2190.78 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2342.4 s]
/proc/loadavg: 4.20 4.24 4.16 4/258 129225
/proc/meminfo: memFree=68261008/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2190.78 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214798 4280 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2190.78 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2348.8 s]
/proc/loadavg: 4.19 4.23 4.16 4/258 129225
/proc/meminfo: memFree=68206204/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2190.8 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214799 4281 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2190.8 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2355.2 s]
/proc/loadavg: 4.16 4.22 4.15 3/258 129225
/proc/meminfo: memFree=68135524/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2190.81 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214799 4282 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2190.81 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2356.8 s]
/proc/loadavg: 4.16 4.22 4.15 4/258 129225
/proc/meminfo: memFree=68134244/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2191.11 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214799 4312 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2191.11 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2358.4 s]
/proc/loadavg: 4.16 4.22 4.15 3/258 129225
/proc/meminfo: memFree=68123012/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2191.11 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214799 4312 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2191.11 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2359.2 s]
/proc/loadavg: 4.16 4.22 4.15 4/258 129225
/proc/meminfo: memFree=68224728/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2191.11 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214799 4312 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2191.11 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2359.6 s]
/proc/loadavg: 4.16 4.22 4.15 4/258 129225
/proc/meminfo: memFree=68224728/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2191.11 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214799 4312 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2191.11 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
[startup+2359.7 s]
/proc/loadavg: 4.16 4.22 4.15 4/258 129225
/proc/meminfo: memFree=68224728/131382112 swapFree=33010160/33010684
[pid=128867] ppid=128864 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/128867/stat : 128867 (run-opt-break-l) S 128864 128867 128305 0 -1 4194304 239 322 0 0 0 0 0 0 20 0 1 0 174508490 4292608 768 18446744073709551615 94339623821312 94339624715845 140721016664656 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94339624954896 94339625002640 94339649425408 140721016666387 140721016666588 140721016666588 140721016672192 0
/proc/128867/statm: 1048 768 704 219 0 110 0
[pid=128870] ppid=128867 vsize=252220 memory=184872 CPUtime=2191.11 cores=4,6
/proc/128870/stat : 128870 (roundingsat) D 128867 128867 128305 0 -1 4194304 47779 0 0 0 214799 4312 0 0 20 0 1 0 174508494 258273280 46218 18446744073709551615 4227072 8923577 140736809232880 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 11878400 140736809240850 140736809241126 140736809241126 140736809246698 0
/proc/128870/statm: 63055 46218 2496 1147 0 50481 0
Current children cumulated CPU time: 2191.11 s
Current children cumulated vsize: 256412 KiB
Current children cumulated memory: 187944 KiB
Child status: 0
Real time (s): 2359.8
CPU time (s): 2191.15
CPU user time (s): 2148
CPU system time (s): 43.1489
CPU usage (%): 92.8531
Max. virtual memory (cumulated for all children) (KiB): 256412
Max. memory (cumulated for all children) (KiB): 187944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2148
system time used= 43.1489
maximum resident set size= 184872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 58130240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 323547
involuntary context switches= 3510
# summary of solver processes directly reported to runsolver:
# pid: 128867
# total CPU time (s): 2191.15
# total CPU user time (s): 2148
# total CPU system time (s): 43.1489
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6301 second user time and 22.9762 second system time
The end
Begin job on nodeC009 at 2025-07-15 16:04:47
IDJOB=4532335
IDBENCH=147676
IDSOLVER=3393
FILE ID=nodeC009/4532335-1752588287
RUNJOBID= nodeC009-1752584602-128316
SLURM_JOB_ID= 9684339
Free space on /tmp= 432948 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532335-1752588287/watcher-4532335-1752588287 -o /tmp/evaluation-result-4532335-1752588287/solver-4532335-1752588287 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752584602-128316 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532335-1752588287.opb PROOFDIR/proof-4532335-1752588287
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=1424490170
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.792
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3493.470
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.256
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.319
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1396.775
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1995.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 102008372 kB
MemAvailable: 127486588 kB
Buffers: 2144 kB
Cached: 26209172 kB
SwapCached: 24 kB
Active: 3084496 kB
Inactive: 25526328 kB
Active(anon): 2413396 kB
Inactive(anon): 4176 kB
Active(file): 671100 kB
Inactive(file): 25522152 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29100 kB
Writeback: 5332 kB
AnonPages: 2400652 kB
Mapped: 120236 kB
Shmem: 17936 kB
KReclaimable: 248796 kB
Slab: 341612 kB
SReclaimable: 248796 kB
SUnreclaim: 92816 kB
KernelStack: 4224 kB
PageTables: 8264 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3183088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149560 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1435648 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432936 MiB
End job on nodeC009 at 2025-07-15 16:44:07