0.00/0.03 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03 c │ pbsuma -- a PB interface for satsuma │
0.00/0.03 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.03 c │ (c) 2025 Markus Anders │
0.00/0.03 c └────────────────────────────────────────────────────────────────┘
0.00/0.03 c parse 'HOME/instance-4531951-1752683069.opb'
0.00/0.04 c read 0.32MB (11.62ms)
0.00/0.04 c [cnf: #variables 3216 #clauses 3659 #duplicates 0 #arr 33834]
0.00/0.04 c output proof to '/tmp/proof-4531951-1752683069'
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 38] (11.53ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.11 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.12 c recursing 216 blocks of candidate 6x1072r
0.08/0.12 c found row 3x12, generating row predicate
0.08/0.14 c found row 10x12, generating row predicate
0.08/0.15 c found row 6x1072, generating row predicate
0.08/0.15 c (101.03ms)
0.08/0.15 c
0.08/0.15 c detect symmetries on remainder
0.08/0.15 c [graph: #vertices 19325 #edges 92568]
0.08/0.15 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.21 c [group: #symmetries 4.80*10^130 #generators 353] (57.56ms)
0.08/0.21 c
0.08/0.21 c optimize generators (opt_passes=64, conjugate_limit=256)
0.19/0.26 c opt it=15, l=10538, m=252, opt=10, avg=281, b=12, gens=353
0.19/0.31 c opt it=31, l=15703, m=530, opt=25, avg=274, b=12, gens=353
0.29/0.35 c opt it=47, l=20868, m=788, opt=38, avg=269, b=12, gens=353
0.29/0.39 c opt it=63, l=26030, m=1046, opt=50, avg=264, b=12, gens=353
0.29/0.40 c ran it=0, +gens=44
0.48/0.59 c con best_support=12, best_gens=192, +gens=244
0.48/0.59 c (379.48ms)
0.48/0.59 c
0.48/0.59 c finalize break order and special generators
0.48/0.60 c
0.48/0.60 c add generic predicates (break_depth=20)
0.48/0.60 c added predicates for 641 generators (5.02ms)
0.66/0.79 c
0.66/0.79 c generation finished
0.66/0.79 c [sbp: #constraints 20550 #add_vars 6772]
0.66/0.79 c
0.66/0.79 c write result to 'HOME/instance-4531951-1752683069.opb.pre'
0.76/0.80 c wrote 1.06MB (4.98ms)
0.76/0.80 c ------------------------------------------------------------------
0.76/0.80 c 379.48ms 49.41% optimize_gens
0.76/0.80 c 193.07ms 25.14% other
0.76/0.80 c 101.03ms 13.15% detect_special
0.76/0.80 c 57.56ms 7.49% detect_generic
0.76/0.80 c 11.62ms 1.51% parse
0.76/0.80 c 11.53ms 1.50% approx_orbits
0.76/0.80 c 5.02ms 0.65% break_generic
0.76/0.80 c 4.98ms 0.65% output
0.76/0.80 c 3.75ms 0.49% finalize_order
0.76/0.80 c ───────────────────────────────────────────────
0.76/0.80 c 768.03ms 100% total
0.76/0.80 c ------------------------------------------------------------------
0.76/0.82 c RoundingSat 2
0.76/0.82 c branch pb25
0.76/0.82 c commit 0f876b3
1.04/1.14 c #variables 9988 #constraints 24251
1.04/1.14 c objective is ce32
1.23/1.34 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.23/1.34 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
1.23/1.34 c bounds - >= 0 @ 0.453402
2.43/2.57 c #Conflicts: 1000 | #Constraints: 25252
2.43/2.57 c #Conflicts: 2000 | #Constraints: 26253
2.43/2.57 c INPROCESSING
2.43/2.57 c GARBAGE COLLECT
2.43/2.57 c rational objective 6
4.22/4.31 c #Conflicts: 3000 | #Constraints: 23009
4.22/4.31 c #Conflicts: 4000 | #Constraints: 24011
4.22/4.31 c INPROCESSING
4.22/4.31 c GARBAGE COLLECT
4.22/4.31 c rational objective 6
5.82/5.98 c #Conflicts: 5000 | #Constraints: 23372
5.82/5.98 c #Conflicts: 6000 | #Constraints: 24373
5.82/5.98 c INPROCESSING
5.82/5.98 c GARBAGE COLLECT
5.82/5.98 c rational objective 6
8.70/8.82 c #Conflicts: 7000 | #Constraints: 23383
8.70/8.82 c #Conflicts: 8000 | #Constraints: 24389
8.70/8.82 c #Conflicts: 9000 | #Constraints: 25391
8.70/8.82 c INPROCESSING
8.70/8.82 c GARBAGE COLLECT
8.70/8.82 c rational objective 6
10.91/11.09 c #Conflicts: 10000 | #Constraints: 24075
10.91/11.09 c #Conflicts: 11000 | #Constraints: 25076
10.91/11.09 c #Conflicts: 12000 | #Constraints: 26078
10.91/11.09 c INPROCESSING
10.91/11.09 c GARBAGE COLLECT
10.91/11.09 c rational objective 6
13.59/13.70 c #Conflicts: 13000 | #Constraints: 24527
13.59/13.70 c #Conflicts: 14000 | #Constraints: 25530
13.59/13.70 c #Conflicts: 15000 | #Constraints: 26537
13.59/13.70 c INPROCESSING
13.59/13.70 c GARBAGE COLLECT
13.59/13.70 c rational objective 6
16.78/17.00 c #Conflicts: 16000 | #Constraints: 24771
16.78/17.00 c #Conflicts: 17000 | #Constraints: 25774
16.78/17.00 c #Conflicts: 18000 | #Constraints: 26776
16.78/17.00 c INPROCESSING
16.78/17.00 c GARBAGE COLLECT
16.78/17.00 c rational objective 6
19.57/19.79 c #Conflicts: 19000 | #Constraints: 24794
19.57/19.79 c #Conflicts: 20000 | #Constraints: 25800
19.57/19.79 c #Conflicts: 21000 | #Constraints: 26805
19.57/19.79 c INPROCESSING
19.57/19.79 c GARBAGE COLLECT
19.57/19.79 c rational objective 6
22.46/22.66 c #Conflicts: 22000 | #Constraints: 24594
22.46/22.66 c #Conflicts: 23000 | #Constraints: 25594
22.46/22.66 c #Conflicts: 24000 | #Constraints: 26599
22.46/22.66 c #Conflicts: 25000 | #Constraints: 27601
22.46/22.66 c INPROCESSING
22.46/22.66 c GARBAGE COLLECT
22.46/22.66 c rational objective 6
27.13/27.32 c #Conflicts: 26000 | #Constraints: 25200
27.13/27.32 c #Conflicts: 27000 | #Constraints: 26202
27.13/27.32 c #Conflicts: 28000 | #Constraints: 27203
27.13/27.32 c #Conflicts: 29000 | #Constraints: 28205
27.13/27.32 c INPROCESSING
27.13/27.32 c GARBAGE COLLECT
27.13/27.32 c rational objective 6
30.52/30.71 c #Conflicts: 30000 | #Constraints: 25587
30.52/30.71 c #Conflicts: 31000 | #Constraints: 26589
30.52/30.71 c #Conflicts: 32000 | #Constraints: 27590
30.52/30.71 c #Conflicts: 33000 | #Constraints: 28591
30.52/30.71 c INPROCESSING
30.52/30.71 c GARBAGE COLLECT
30.52/30.71 c rational objective 6
34.01/34.20 c #Conflicts: 34000 | #Constraints: 25786
34.01/34.20 c #Conflicts: 35000 | #Constraints: 26789
34.01/34.20 c #Conflicts: 36000 | #Constraints: 27790
34.01/34.20 c #Conflicts: 37000 | #Constraints: 28791
34.01/34.20 c INPROCESSING
34.01/34.20 c GARBAGE COLLECT
34.01/34.20 c rational objective 6
37.39/37.66 c #Conflicts: 38000 | #Constraints: 25812
37.39/37.66 c #Conflicts: 39000 | #Constraints: 26813
37.39/37.66 c #Conflicts: 40000 | #Constraints: 27817
37.39/37.66 c #Conflicts: 41000 | #Constraints: 28819
37.39/37.66 c INPROCESSING
37.39/37.66 c GARBAGE COLLECT
37.39/37.66 c rational objective 6
41.68/41.97 c #Conflicts: 42000 | #Constraints: 25599
41.68/41.97 c #Conflicts: 43000 | #Constraints: 26601
41.68/41.97 c #Conflicts: 44000 | #Constraints: 27604
41.68/41.97 c #Conflicts: 45000 | #Constraints: 28608
41.68/41.97 c #Conflicts: 46000 | #Constraints: 29609
41.68/41.97 c INPROCESSING
41.68/41.97 c GARBAGE COLLECT
41.68/41.97 c rational objective 6
45.88/46.17 c #Conflicts: 47000 | #Constraints: 26181
45.88/46.17 c #Conflicts: 48000 | #Constraints: 27182
45.88/46.17 c #Conflicts: 49000 | #Constraints: 28186
45.88/46.17 c #Conflicts: 50000 | #Constraints: 29190
45.88/46.17 c #Conflicts: 51000 | #Constraints: 30193
45.88/46.17 c INPROCESSING
45.88/46.17 c GARBAGE COLLECT
45.88/46.17 c rational objective 6
51.05/51.31 c #Conflicts: 52000 | #Constraints: 26573
51.05/51.31 c #Conflicts: 53000 | #Constraints: 27575
51.05/51.31 c #Conflicts: 54000 | #Constraints: 28580
51.05/51.31 c #Conflicts: 55000 | #Constraints: 29584
51.05/51.31 c #Conflicts: 56000 | #Constraints: 30588
51.05/51.31 c INPROCESSING
51.05/51.31 c GARBAGE COLLECT
51.05/51.31 c rational objective 6
56.63/57.00 c #Conflicts: 57000 | #Constraints: 26758
56.63/57.00 c #Conflicts: 58000 | #Constraints: 27762
56.63/57.00 c #Conflicts: 59000 | #Constraints: 28768
56.63/57.00 c #Conflicts: 60000 | #Constraints: 29773
56.63/57.00 c #Conflicts: 61000 | #Constraints: 30775
56.63/57.00 c INPROCESSING
56.63/57.00 c GARBAGE COLLECT
56.63/57.00 c rational objective 6
62.51/62.83 c #Conflicts: 62000 | #Constraints: 26766
62.51/62.83 c #Conflicts: 63000 | #Constraints: 27776
62.51/62.83 c #Conflicts: 64000 | #Constraints: 28779
62.51/62.83 c #Conflicts: 65000 | #Constraints: 29780
62.51/62.83 c #Conflicts: 66000 | #Constraints: 30781
62.51/62.83 c INPROCESSING
62.51/62.83 c GARBAGE COLLECT
62.51/62.83 c rational objective 6
67.80/68.19 c #Conflicts: 67000 | #Constraints: 26570
67.80/68.19 c #Conflicts: 68000 | #Constraints: 27570
67.80/68.19 c #Conflicts: 69000 | #Constraints: 28570
67.80/68.19 c #Conflicts: 70000 | #Constraints: 29573
67.80/68.19 c #Conflicts: 71000 | #Constraints: 30575
67.80/68.19 c #Conflicts: 72000 | #Constraints: 31577
67.80/68.19 c INPROCESSING
67.80/68.19 c GARBAGE COLLECT
67.80/68.19 c rational objective 6
73.88/74.28 c #Conflicts: 73000 | #Constraints: 27160
73.88/74.28 c #Conflicts: 74000 | #Constraints: 28162
73.88/74.28 c #Conflicts: 75000 | #Constraints: 29164
73.88/74.28 c #Conflicts: 76000 | #Constraints: 30167
73.88/74.28 c #Conflicts: 77000 | #Constraints: 31171
73.88/74.28 c #Conflicts: 78000 | #Constraints: 32173
73.88/74.28 c INPROCESSING
73.88/74.28 c GARBAGE COLLECT
73.88/74.28 c rational objective 6
81.05/81.42 c #Conflicts: 79000 | #Constraints: 27501
81.05/81.42 c #Conflicts: 80000 | #Constraints: 28508
81.05/81.42 c #Conflicts: 81000 | #Constraints: 29513
81.05/81.42 c #Conflicts: 82000 | #Constraints: 30516
81.05/81.42 c #Conflicts: 83000 | #Constraints: 31521
81.05/81.42 c #Conflicts: 84000 | #Constraints: 32525
81.05/81.42 c INPROCESSING
81.05/81.42 c GARBAGE COLLECT
81.05/81.42 c rational objective 6
88.82/89.22 c #Conflicts: 85000 | #Constraints: 27717
88.82/89.22 c #Conflicts: 86000 | #Constraints: 28724
88.82/89.22 c #Conflicts: 87000 | #Constraints: 29729
88.82/89.22 c #Conflicts: 88000 | #Constraints: 30738
88.82/89.22 c #Conflicts: 89000 | #Constraints: 31742
88.82/89.22 c #Conflicts: 90000 | #Constraints: 32745
88.82/89.22 c INPROCESSING
88.82/89.22 c GARBAGE COLLECT
88.82/89.22 c rational objective 6
95.90/96.31 c #Conflicts: 91000 | #Constraints: 27717
95.90/96.31 c #Conflicts: 92000 | #Constraints: 28718
95.90/96.31 c #Conflicts: 93000 | #Constraints: 29722
95.90/96.31 c #Conflicts: 94000 | #Constraints: 30725
95.90/96.31 c #Conflicts: 95000 | #Constraints: 31728
95.90/96.31 c #Conflicts: 96000 | #Constraints: 32730
95.90/96.31 c INPROCESSING
95.90/96.31 c GARBAGE COLLECT
95.90/96.31 c rational objective 6
103.07/103.50 c #Conflicts: 97000 | #Constraints: 27487
103.07/103.50 c #Conflicts: 98000 | #Constraints: 28487
103.07/103.50 c #Conflicts: 99000 | #Constraints: 29490
103.07/103.50 c #Conflicts: 100000 | #Constraints: 30491
103.07/103.50 c #Conflicts: 101000 | #Constraints: 31492
103.07/103.50 c #Conflicts: 102000 | #Constraints: 32493
103.07/103.50 c #Conflicts: 103000 | #Constraints: 33496
103.07/103.50 c INPROCESSING
103.07/103.50 c GARBAGE COLLECT
103.07/103.50 c rational objective 6
113.04/113.51 c #Conflicts: 104000 | #Constraints: 28071
113.04/113.51 c #Conflicts: 105000 | #Constraints: 29073
113.04/113.51 c #Conflicts: 106000 | #Constraints: 30078
113.04/113.51 c #Conflicts: 107000 | #Constraints: 31079
113.04/113.51 c #Conflicts: 108000 | #Constraints: 32079
113.04/113.51 c #Conflicts: 109000 | #Constraints: 33079
113.04/113.51 c #Conflicts: 110000 | #Constraints: 34079
113.04/113.51 c INPROCESSING
113.04/113.51 c GARBAGE COLLECT
113.04/113.51 c rational objective 6
120.41/120.99 c #Conflicts: 111000 | #Constraints: 28442
120.41/120.99 c #Conflicts: 112000 | #Constraints: 29442
120.41/120.99 c #Conflicts: 113000 | #Constraints: 30443
120.41/120.99 c #Conflicts: 114000 | #Constraints: 31444
120.41/120.99 c #Conflicts: 115000 | #Constraints: 32448
120.41/120.99 c #Conflicts: 116000 | #Constraints: 33450
120.41/120.99 c #Conflicts: 117000 | #Constraints: 34454
120.41/120.99 c INPROCESSING
120.41/120.99 c GARBAGE COLLECT
120.41/120.99 c rational objective 6
128.59/129.14 c #Conflicts: 118000 | #Constraints: 28626
128.59/129.14 c #Conflicts: 119000 | #Constraints: 29626
128.59/129.14 c #Conflicts: 120000 | #Constraints: 30627
128.59/129.14 c #Conflicts: 121000 | #Constraints: 31629
128.59/129.14 c #Conflicts: 122000 | #Constraints: 32635
128.59/129.14 c #Conflicts: 123000 | #Constraints: 33643
128.59/129.14 c #Conflicts: 124000 | #Constraints: 34645
128.59/129.14 c INPROCESSING
128.59/129.14 c GARBAGE COLLECT
128.59/129.14 c rational objective 6
136.06/136.65 c #Conflicts: 125000 | #Constraints: 28558
136.06/136.65 c #Conflicts: 126000 | #Constraints: 29559
136.06/136.65 c #Conflicts: 127000 | #Constraints: 30560
136.06/136.65 c #Conflicts: 128000 | #Constraints: 31564
136.06/136.65 c #Conflicts: 129000 | #Constraints: 32564
136.06/136.65 c #Conflicts: 130000 | #Constraints: 33568
136.06/136.65 c #Conflicts: 131000 | #Constraints: 34572
136.06/136.65 c INPROCESSING
136.06/136.65 c GARBAGE COLLECT
136.06/136.65 c rational objective 6
145.62/146.22 c #Conflicts: 132000 | #Constraints: 28315
145.62/146.22 c #Conflicts: 133000 | #Constraints: 29316
145.62/146.22 c #Conflicts: 134000 | #Constraints: 30317
145.62/146.22 c #Conflicts: 135000 | #Constraints: 31319
145.62/146.22 c #Conflicts: 136000 | #Constraints: 32322
145.62/146.22 c #Conflicts: 137000 | #Constraints: 33328
145.62/146.22 c #Conflicts: 138000 | #Constraints: 34332
145.62/146.22 c #Conflicts: 139000 | #Constraints: 35333
145.62/146.22 c INPROCESSING
145.62/146.22 c GARBAGE COLLECT
145.62/146.22 c rational objective 6
156.89/157.59 c #Conflicts: 140000 | #Constraints: 28917
156.89/157.59 c #Conflicts: 141000 | #Constraints: 29918
156.89/157.59 c #Conflicts: 142000 | #Constraints: 30919
156.89/157.59 c #Conflicts: 143000 | #Constraints: 31920
156.89/157.59 c #Conflicts: 144000 | #Constraints: 32921
156.89/157.59 c #Conflicts: 145000 | #Constraints: 33921
156.89/157.59 c #Conflicts: 146000 | #Constraints: 34922
156.89/157.59 c #Conflicts: 147000 | #Constraints: 35922
156.89/157.59 c INPROCESSING
156.89/157.59 c GARBAGE COLLECT
156.89/157.59 c rational objective 6
167.94/168.61 c #Conflicts: 148000 | #Constraints: 29302
167.94/168.61 c #Conflicts: 149000 | #Constraints: 30302
167.94/168.61 c #Conflicts: 150000 | #Constraints: 31303
167.94/168.61 c #Conflicts: 151000 | #Constraints: 32307
167.94/168.61 c #Conflicts: 152000 | #Constraints: 33309
167.94/168.61 c #Conflicts: 153000 | #Constraints: 34309
167.94/168.61 c #Conflicts: 154000 | #Constraints: 35309
167.94/168.61 c #Conflicts: 155000 | #Constraints: 36311
167.94/168.61 c INPROCESSING
167.94/168.61 c GARBAGE COLLECT
167.94/168.61 c rational objective 6
178.71/179.46 c #Conflicts: 156000 | #Constraints: 29448
178.71/179.46 c #Conflicts: 157000 | #Constraints: 30448
178.71/179.46 c #Conflicts: 158000 | #Constraints: 31453
178.71/179.46 c #Conflicts: 159000 | #Constraints: 32456
178.71/179.46 c #Conflicts: 160000 | #Constraints: 33458
178.71/179.46 c #Conflicts: 161000 | #Constraints: 34460
178.71/179.46 c #Conflicts: 162000 | #Constraints: 35464
178.71/179.46 c #Conflicts: 163000 | #Constraints: 36465
178.71/179.46 c INPROCESSING
178.71/179.46 c GARBAGE COLLECT
178.71/179.46 c rational objective 6
189.87/190.64 c #Conflicts: 164000 | #Constraints: 29422
189.87/190.64 c #Conflicts: 165000 | #Constraints: 30424
189.87/190.64 c #Conflicts: 166000 | #Constraints: 31427
189.87/190.64 c #Conflicts: 167000 | #Constraints: 32429
189.87/190.64 c #Conflicts: 168000 | #Constraints: 33431
189.87/190.64 c #Conflicts: 169000 | #Constraints: 34433
189.87/190.64 c #Conflicts: 170000 | #Constraints: 35437
189.87/190.64 c #Conflicts: 171000 | #Constraints: 36443
189.87/190.64 c INPROCESSING
189.87/190.64 c GARBAGE COLLECT
189.87/190.64 c rational objective 6
201.63/202.42 c #Conflicts: 172000 | #Constraints: 29180
201.63/202.42 c #Conflicts: 173000 | #Constraints: 30180
201.63/202.42 c #Conflicts: 174000 | #Constraints: 31181
201.63/202.42 c #Conflicts: 175000 | #Constraints: 32183
201.63/202.42 c #Conflicts: 176000 | #Constraints: 33186
201.63/202.42 c #Conflicts: 177000 | #Constraints: 34190
201.63/202.42 c #Conflicts: 178000 | #Constraints: 35193
201.63/202.42 c #Conflicts: 179000 | #Constraints: 36195
201.63/202.42 c #Conflicts: 180000 | #Constraints: 37197
201.63/202.42 c INPROCESSING
201.63/202.42 c GARBAGE COLLECT
201.63/202.42 c rational objective 6
213.09/214.00 c #Conflicts: 181000 | #Constraints: 29779
213.09/214.00 c #Conflicts: 182000 | #Constraints: 30780
213.09/214.00 c #Conflicts: 183000 | #Constraints: 31781
213.09/214.00 c #Conflicts: 184000 | #Constraints: 32783
213.09/214.00 c #Conflicts: 185000 | #Constraints: 33783
213.09/214.00 c #Conflicts: 186000 | #Constraints: 34783
213.09/214.00 c #Conflicts: 187000 | #Constraints: 35784
213.09/214.00 c #Conflicts: 188000 | #Constraints: 36785
213.09/214.00 c #Conflicts: 189000 | #Constraints: 37786
213.09/214.00 c INPROCESSING
213.09/214.00 c GARBAGE COLLECT
213.09/214.00 c rational objective 6
222.16/223.01 c #Conflicts: 190000 | #Constraints: 30155
222.16/223.01 c #Conflicts: 191000 | #Constraints: 31157
222.16/223.01 c #Conflicts: 192000 | #Constraints: 32159
222.16/223.01 c #Conflicts: 193000 | #Constraints: 33161
222.16/223.01 c #Conflicts: 194000 | #Constraints: 34162
222.16/223.01 c #Conflicts: 195000 | #Constraints: 35164
222.16/223.01 c #Conflicts: 196000 | #Constraints: 36164
222.16/223.01 c #Conflicts: 197000 | #Constraints: 37168
222.16/223.01 c #Conflicts: 198000 | #Constraints: 38172
222.16/223.01 c INPROCESSING
222.16/223.01 c GARBAGE COLLECT
222.16/223.01 c rational objective 6
231.41/232.35 c #Conflicts: 199000 | #Constraints: 30357
231.41/232.35 c #Conflicts: 200000 | #Constraints: 31358
231.41/232.35 c #Conflicts: 201000 | #Constraints: 32360
231.41/232.35 c #Conflicts: 202000 | #Constraints: 33365
231.41/232.35 c #Conflicts: 203000 | #Constraints: 34369
231.41/232.35 c #Conflicts: 204000 | #Constraints: 35371
231.41/232.35 c #Conflicts: 205000 | #Constraints: 36372
231.41/232.35 c #Conflicts: 206000 | #Constraints: 37374
231.41/232.35 c #Conflicts: 207000 | #Constraints: 38376
231.41/232.35 c INPROCESSING
231.41/232.35 c GARBAGE COLLECT
231.41/232.35 c rational objective 6
245.25/246.25 c #Conflicts: 208000 | #Constraints: 30341
245.25/246.25 c #Conflicts: 209000 | #Constraints: 31341
245.25/246.25 c #Conflicts: 210000 | #Constraints: 32344
245.25/246.25 c #Conflicts: 211000 | #Constraints: 33347
245.25/246.25 c #Conflicts: 212000 | #Constraints: 34350
245.25/246.25 c #Conflicts: 213000 | #Constraints: 35351
245.25/246.25 c #Conflicts: 214000 | #Constraints: 36354
245.25/246.25 c #Conflicts: 215000 | #Constraints: 37356
245.25/246.25 c #Conflicts: 216000 | #Constraints: 38358
245.25/246.25 c INPROCESSING
245.25/246.25 c GARBAGE COLLECT
245.25/246.25 c rational objective 6
256.91/257.96 c #Conflicts: 217000 | #Constraints: 30113
256.91/257.96 c #Conflicts: 218000 | #Constraints: 31113
256.91/257.96 c #Conflicts: 219000 | #Constraints: 32114
256.91/257.96 c #Conflicts: 220000 | #Constraints: 33118
256.91/257.96 c #Conflicts: 221000 | #Constraints: 34122
256.91/257.96 c #Conflicts: 222000 | #Constraints: 35124
256.91/257.96 c #Conflicts: 223000 | #Constraints: 36125
256.91/257.96 c #Conflicts: 224000 | #Constraints: 37129
256.91/257.96 c #Conflicts: 225000 | #Constraints: 38134
256.91/257.96 c #Conflicts: 226000 | #Constraints: 39139
256.91/257.96 c INPROCESSING
256.91/257.96 c GARBAGE COLLECT
256.91/257.96 c rational objective 6
268.26/269.38 c #Conflicts: 227000 | #Constraints: 30686
268.26/269.38 c #Conflicts: 228000 | #Constraints: 31687
268.26/269.38 c #Conflicts: 229000 | #Constraints: 32700
268.26/269.38 c #Conflicts: 230000 | #Constraints: 33704
268.26/269.38 c #Conflicts: 231000 | #Constraints: 34706
268.26/269.38 c #Conflicts: 232000 | #Constraints: 35709
268.26/269.38 c #Conflicts: 233000 | #Constraints: 36710
268.26/269.38 c #Conflicts: 234000 | #Constraints: 37711
268.26/269.38 c #Conflicts: 235000 | #Constraints: 38711
268.26/269.38 c #Conflicts: 236000 | #Constraints: 39712
268.26/269.38 c INPROCESSING
268.26/269.38 c GARBAGE COLLECT
268.26/269.38 c rational objective 6
281.41/282.58 c #Conflicts: 237000 | #Constraints: 31063
281.41/282.58 c #Conflicts: 238000 | #Constraints: 32064
281.41/282.58 c #Conflicts: 239000 | #Constraints: 33065
281.41/282.58 c #Conflicts: 240000 | #Constraints: 34066
281.41/282.58 c #Conflicts: 241000 | #Constraints: 35067
281.41/282.58 c #Conflicts: 242000 | #Constraints: 36072
281.41/282.58 c #Conflicts: 243000 | #Constraints: 37078
281.41/282.58 c #Conflicts: 244000 | #Constraints: 38081
281.41/282.58 c #Conflicts: 245000 | #Constraints: 39083
281.41/282.58 c #Conflicts: 246000 | #Constraints: 40088
281.41/282.58 c INPROCESSING
281.41/282.58 c GARBAGE COLLECT
281.41/282.58 c rational objective 6
296.05/297.29 c #Conflicts: 247000 | #Constraints: 31248
296.05/297.29 c #Conflicts: 248000 | #Constraints: 32257
296.05/297.29 c #Conflicts: 249000 | #Constraints: 33265
296.05/297.29 c #Conflicts: 250000 | #Constraints: 34267
296.05/297.29 c #Conflicts: 251000 | #Constraints: 35268
296.05/297.29 c #Conflicts: 252000 | #Constraints: 36270
296.05/297.29 c #Conflicts: 253000 | #Constraints: 37270
296.05/297.29 c #Conflicts: 254000 | #Constraints: 38271
296.05/297.29 c #Conflicts: 255000 | #Constraints: 39272
296.05/297.29 c #Conflicts: 256000 | #Constraints: 40273
296.05/297.29 c INPROCESSING
296.05/297.29 c GARBAGE COLLECT
296.05/297.29 c rational objective 6
308.51/309.72 c #Conflicts: 257000 | #Constraints: 31235
308.51/309.72 c #Conflicts: 258000 | #Constraints: 32236
308.51/309.72 c #Conflicts: 259000 | #Constraints: 33236
308.51/309.72 c #Conflicts: 260000 | #Constraints: 34239
308.51/309.72 c #Conflicts: 261000 | #Constraints: 35241
308.51/309.72 c #Conflicts: 262000 | #Constraints: 36242
308.51/309.72 c #Conflicts: 263000 | #Constraints: 37243
308.51/309.72 c #Conflicts: 264000 | #Constraints: 38246
308.51/309.72 c #Conflicts: 265000 | #Constraints: 39248
308.51/309.72 c #Conflicts: 266000 | #Constraints: 40249
308.51/309.72 c INPROCESSING
308.51/309.72 c GARBAGE COLLECT
308.51/309.72 c rational objective 6
324.05/325.36 c #Conflicts: 267000 | #Constraints: 31019
324.05/325.36 c #Conflicts: 268000 | #Constraints: 32020
324.05/325.36 c #Conflicts: 269000 | #Constraints: 33020
324.05/325.36 c #Conflicts: 270000 | #Constraints: 34022
324.05/325.36 c #Conflicts: 271000 | #Constraints: 35025
324.05/325.36 c #Conflicts: 272000 | #Constraints: 36027
324.05/325.36 c #Conflicts: 273000 | #Constraints: 37028
324.05/325.36 c #Conflicts: 274000 | #Constraints: 38030
324.05/325.36 c #Conflicts: 275000 | #Constraints: 39033
324.05/325.36 c #Conflicts: 276000 | #Constraints: 40035
324.05/325.36 c #Conflicts: 277000 | #Constraints: 41038
324.05/325.36 c INPROCESSING
324.05/325.36 c GARBAGE COLLECT
324.05/325.36 c rational objective 6
341.89/343.26 c #Conflicts: 278000 | #Constraints: 31612
341.89/343.26 c #Conflicts: 279000 | #Constraints: 32612
341.89/343.26 c #Conflicts: 280000 | #Constraints: 33613
341.89/343.26 c #Conflicts: 281000 | #Constraints: 34614
341.89/343.26 c #Conflicts: 282000 | #Constraints: 35615
341.89/343.26 c #Conflicts: 283000 | #Constraints: 36615
341.89/343.26 c #Conflicts: 284000 | #Constraints: 37615
341.89/343.26 c #Conflicts: 285000 | #Constraints: 38616
341.89/343.26 c #Conflicts: 286000 | #Constraints: 39616
341.89/343.26 c #Conflicts: 287000 | #Constraints: 40617
341.89/343.26 c #Conflicts: 288000 | #Constraints: 41617
341.89/343.26 c INPROCESSING
341.89/343.26 c GARBAGE COLLECT
341.89/343.26 c rational objective 6
356.65/358.03 c #Conflicts: 289000 | #Constraints: 32002
356.65/358.03 c #Conflicts: 290000 | #Constraints: 33002
356.65/358.03 c #Conflicts: 291000 | #Constraints: 34007
356.65/358.03 c #Conflicts: 292000 | #Constraints: 35022
356.65/358.03 c #Conflicts: 293000 | #Constraints: 36026
356.65/358.03 c #Conflicts: 294000 | #Constraints: 37030
356.65/358.03 c #Conflicts: 295000 | #Constraints: 38031
356.65/358.03 c #Conflicts: 296000 | #Constraints: 39034
356.65/358.03 c #Conflicts: 297000 | #Constraints: 40036
356.65/358.03 c #Conflicts: 298000 | #Constraints: 41039
356.65/358.03 c #Conflicts: 299000 | #Constraints: 42043
356.65/358.03 c INPROCESSING
356.65/358.03 c GARBAGE COLLECT
356.65/358.03 c rational objective 6
372.39/373.88 c #Conflicts: 300000 | #Constraints: 32216
372.39/373.88 c #Conflicts: 301000 | #Constraints: 33216
372.39/373.88 c #Conflicts: 302000 | #Constraints: 34216
372.39/373.88 c #Conflicts: 303000 | #Constraints: 35217
372.39/373.88 c #Conflicts: 304000 | #Constraints: 36218
372.39/373.88 c #Conflicts: 305000 | #Constraints: 37219
372.39/373.88 c #Conflicts: 306000 | #Constraints: 38219
372.39/373.88 c #Conflicts: 307000 | #Constraints: 39220
372.39/373.88 c #Conflicts: 308000 | #Constraints: 40221
372.39/373.88 c #Conflicts: 309000 | #Constraints: 41221
372.39/373.88 c #Conflicts: 310000 | #Constraints: 42222
372.39/373.88 c INPROCESSING
372.39/373.88 c GARBAGE COLLECT
372.39/373.88 c rational objective 6
387.83/389.35 c #Conflicts: 311000 | #Constraints: 32191
387.83/389.35 c #Conflicts: 312000 | #Constraints: 33192
387.83/389.35 c #Conflicts: 313000 | #Constraints: 34192
387.83/389.35 c #Conflicts: 314000 | #Constraints: 35194
387.83/389.35 c #Conflicts: 315000 | #Constraints: 36198
387.83/389.35 c #Conflicts: 316000 | #Constraints: 37200
387.83/389.35 c #Conflicts: 317000 | #Constraints: 38202
387.83/389.35 c #Conflicts: 318000 | #Constraints: 39206
387.83/389.35 c #Conflicts: 319000 | #Constraints: 40207
387.83/389.35 c #Conflicts: 320000 | #Constraints: 41209
387.83/389.35 c #Conflicts: 321000 | #Constraints: 42211
387.83/389.35 c INPROCESSING
387.83/389.35 c GARBAGE COLLECT
387.83/389.35 c rational objective 6
410.15/411.74 c #Conflicts: 322000 | #Constraints: 31933
410.15/411.74 c #Conflicts: 323000 | #Constraints: 32934
410.15/411.74 c #Conflicts: 324000 | #Constraints: 33938
410.15/411.74 c #Conflicts: 325000 | #Constraints: 34941
410.15/411.74 c #Conflicts: 326000 | #Constraints: 35943
410.15/411.74 c #Conflicts: 327000 | #Constraints: 36944
410.15/411.74 c #Conflicts: 328000 | #Constraints: 37945
410.15/411.74 c #Conflicts: 329000 | #Constraints: 38945
410.15/411.74 c #Conflicts: 330000 | #Constraints: 39946
410.15/411.74 c #Conflicts: 331000 | #Constraints: 40948
410.15/411.74 c #Conflicts: 332000 | #Constraints: 41949
410.15/411.74 c #Conflicts: 333000 | #Constraints: 42952
410.15/411.74 c INPROCESSING
410.15/411.74 c GARBAGE COLLECT
410.15/411.74 c rational objective 6
426.89/428.57 c #Conflicts: 334000 | #Constraints: 32503
426.89/428.57 c #Conflicts: 335000 | #Constraints: 33506
426.89/428.57 c #Conflicts: 336000 | #Constraints: 34509
426.89/428.57 c #Conflicts: 337000 | #Constraints: 35511
426.89/428.57 c #Conflicts: 338000 | #Constraints: 36515
426.89/428.57 c #Conflicts: 339000 | #Constraints: 37516
426.89/428.57 c #Conflicts: 340000 | #Constraints: 38517
426.89/428.57 c #Conflicts: 341000 | #Constraints: 39518
426.89/428.57 c #Conflicts: 342000 | #Constraints: 40520
426.89/428.57 c #Conflicts: 343000 | #Constraints: 41521
426.89/428.57 c #Conflicts: 344000 | #Constraints: 42522
426.89/428.57 c #Conflicts: 345000 | #Constraints: 43522
426.89/428.57 c INPROCESSING
426.89/428.57 c GARBAGE COLLECT
426.89/428.57 c rational objective 6
448.21/449.92 c #Conflicts: 346000 | #Constraints: 32884
448.21/449.92 c #Conflicts: 347000 | #Constraints: 33885
448.21/449.92 c #Conflicts: 348000 | #Constraints: 34885
448.21/449.92 c #Conflicts: 349000 | #Constraints: 35887
448.21/449.92 c #Conflicts: 350000 | #Constraints: 36888
448.21/449.92 c #Conflicts: 351000 | #Constraints: 37889
448.21/449.92 c #Conflicts: 352000 | #Constraints: 38890
448.21/449.92 c #Conflicts: 353000 | #Constraints: 39890
448.21/449.92 c #Conflicts: 354000 | #Constraints: 40890
448.21/449.92 c #Conflicts: 355000 | #Constraints: 41891
448.21/449.92 c #Conflicts: 356000 | #Constraints: 42891
448.21/449.92 c #Conflicts: 357000 | #Constraints: 43891
448.21/449.92 c INPROCESSING
448.21/449.92 c GARBAGE COLLECT
448.21/449.92 c rational objective 6
464.38/466.13 c #Conflicts: 358000 | #Constraints: 33075
464.38/466.13 c #Conflicts: 359000 | #Constraints: 34075
464.38/466.13 c #Conflicts: 360000 | #Constraints: 35077
464.38/466.13 c #Conflicts: 361000 | #Constraints: 36079
464.38/466.13 c #Conflicts: 362000 | #Constraints: 37082
464.38/466.13 c #Conflicts: 363000 | #Constraints: 38087
464.38/466.13 c #Conflicts: 364000 | #Constraints: 39094
464.38/466.13 c #Conflicts: 365000 | #Constraints: 40102
464.38/466.13 c #Conflicts: 366000 | #Constraints: 41104
464.38/466.13 c #Conflicts: 367000 | #Constraints: 42109
464.38/466.13 c #Conflicts: 368000 | #Constraints: 43113
464.38/466.13 c #Conflicts: 369000 | #Constraints: 44120
464.38/466.13 c INPROCESSING
464.38/466.13 c GARBAGE COLLECT
464.38/466.13 c rational objective 6
482.10/483.91 c #Conflicts: 370000 | #Constraints: 33086
482.10/483.91 c #Conflicts: 371000 | #Constraints: 34087
482.10/483.91 c #Conflicts: 372000 | #Constraints: 35088
482.10/483.91 c #Conflicts: 373000 | #Constraints: 36091
482.10/483.91 c #Conflicts: 374000 | #Constraints: 37096
482.10/483.91 c #Conflicts: 375000 | #Constraints: 38101
482.10/483.91 c #Conflicts: 376000 | #Constraints: 39105
482.10/483.91 c #Conflicts: 377000 | #Constraints: 40107
482.10/483.91 c #Conflicts: 378000 | #Constraints: 41107
482.10/483.91 c #Conflicts: 379000 | #Constraints: 42113
482.10/483.91 c #Conflicts: 380000 | #Constraints: 43116
482.10/483.91 c #Conflicts: 381000 | #Constraints: 44119
482.10/483.91 c INPROCESSING
482.10/483.91 c GARBAGE COLLECT
482.10/483.91 c rational objective 6
500.84/502.78 c #Conflicts: 382000 | #Constraints: 32862
500.84/502.78 c #Conflicts: 383000 | #Constraints: 33863
500.84/502.78 c #Conflicts: 384000 | #Constraints: 34863
500.84/502.78 c #Conflicts: 385000 | #Constraints: 35867
500.84/502.78 c #Conflicts: 386000 | #Constraints: 36870
500.84/502.78 c #Conflicts: 387000 | #Constraints: 37872
500.84/502.78 c #Conflicts: 388000 | #Constraints: 38879
500.84/502.78 c #Conflicts: 389000 | #Constraints: 39882
500.84/502.78 c #Conflicts: 390000 | #Constraints: 40886
500.84/502.78 c #Conflicts: 391000 | #Constraints: 41887
500.84/502.78 c #Conflicts: 392000 | #Constraints: 42889
500.84/502.78 c #Conflicts: 393000 | #Constraints: 43890
500.84/502.78 c #Conflicts: 394000 | #Constraints: 44893
500.84/502.78 c INPROCESSING
500.84/502.78 c GARBAGE COLLECT
500.84/502.78 c rational objective 6
521.28/523.22 c #Conflicts: 395000 | #Constraints: 33422
521.28/523.22 c #Conflicts: 396000 | #Constraints: 34422
521.28/523.22 c #Conflicts: 397000 | #Constraints: 35424
521.28/523.22 c #Conflicts: 398000 | #Constraints: 36427
521.28/523.22 c #Conflicts: 399000 | #Constraints: 37429
521.28/523.22 c #Conflicts: 400000 | #Constraints: 38430
521.28/523.22 c #Conflicts: 401000 | #Constraints: 39431
521.28/523.22 c #Conflicts: 402000 | #Constraints: 40432
521.28/523.22 c #Conflicts: 403000 | #Constraints: 41433
521.28/523.22 c #Conflicts: 404000 | #Constraints: 42434
521.28/523.22 c #Conflicts: 405000 | #Constraints: 43435
521.28/523.22 c #Conflicts: 406000 | #Constraints: 44435
521.28/523.22 c #Conflicts: 407000 | #Constraints: 45435
521.28/523.22 c INPROCESSING
521.28/523.22 c GARBAGE COLLECT
521.28/523.22 c rational objective 6
543.91/545.96 c #Conflicts: 408000 | #Constraints: 33754
543.91/545.96 c #Conflicts: 409000 | #Constraints: 34756
543.91/545.96 c #Conflicts: 410000 | #Constraints: 35758
543.91/545.96 c #Conflicts: 411000 | #Constraints: 36761
543.91/545.96 c #Conflicts: 412000 | #Constraints: 37763
543.91/545.96 c #Conflicts: 413000 | #Constraints: 38774
543.91/545.96 c #Conflicts: 414000 | #Constraints: 39777
543.91/545.96 c #Conflicts: 415000 | #Constraints: 40782
543.91/545.96 c #Conflicts: 416000 | #Constraints: 41787
543.91/545.96 c #Conflicts: 417000 | #Constraints: 42791
543.91/545.96 c #Conflicts: 418000 | #Constraints: 43794
543.91/545.96 c #Conflicts: 419000 | #Constraints: 44795
543.91/545.96 c #Conflicts: 420000 | #Constraints: 45795
543.91/545.96 c INPROCESSING
543.91/545.96 c GARBAGE COLLECT
543.91/545.96 c rational objective 6
565.05/567.14 c #Conflicts: 421000 | #Constraints: 33958
565.05/567.14 c #Conflicts: 422000 | #Constraints: 34960
565.05/567.14 c #Conflicts: 423000 | #Constraints: 35964
565.05/567.14 c #Conflicts: 424000 | #Constraints: 36970
565.05/567.14 c #Conflicts: 425000 | #Constraints: 37972
565.05/567.14 c #Conflicts: 426000 | #Constraints: 38973
565.05/567.14 c #Conflicts: 427000 | #Constraints: 39975
565.05/567.14 c #Conflicts: 428000 | #Constraints: 40976
565.05/567.14 c #Conflicts: 429000 | #Constraints: 41976
565.05/567.14 c #Conflicts: 430000 | #Constraints: 42979
565.05/567.14 c #Conflicts: 431000 | #Constraints: 43981
565.05/567.14 c #Conflicts: 432000 | #Constraints: 44993
565.05/567.14 c #Conflicts: 433000 | #Constraints: 45998
565.05/567.14 c INPROCESSING
565.05/567.14 c GARBAGE COLLECT
565.05/567.14 c rational objective 6
587.67/589.89 c #Conflicts: 434000 | #Constraints: 33958
587.67/589.89 c #Conflicts: 435000 | #Constraints: 34960
587.67/589.89 c #Conflicts: 436000 | #Constraints: 35962
587.67/589.89 c #Conflicts: 437000 | #Constraints: 36963
587.67/589.89 c #Conflicts: 438000 | #Constraints: 37963
587.67/589.89 c #Conflicts: 439000 | #Constraints: 38964
587.67/589.89 c #Conflicts: 440000 | #Constraints: 39964
587.67/589.89 c #Conflicts: 441000 | #Constraints: 40965
587.67/589.89 c #Conflicts: 442000 | #Constraints: 41966
587.67/589.89 c #Conflicts: 443000 | #Constraints: 42966
587.67/589.89 c #Conflicts: 444000 | #Constraints: 43966
587.67/589.89 c #Conflicts: 445000 | #Constraints: 44967
587.67/589.89 c #Conflicts: 446000 | #Constraints: 45967
587.67/589.89 c INPROCESSING
587.67/589.89 c GARBAGE COLLECT
587.67/589.89 c rational objective 6
608.11/610.31 c #Conflicts: 447000 | #Constraints: 33731
608.11/610.31 c #Conflicts: 448000 | #Constraints: 34731
608.11/610.31 c #Conflicts: 449000 | #Constraints: 35731
608.11/610.31 c #Conflicts: 450000 | #Constraints: 36732
608.11/610.31 c #Conflicts: 451000 | #Constraints: 37734
608.11/610.31 c #Conflicts: 452000 | #Constraints: 38740
608.11/610.31 c #Conflicts: 453000 | #Constraints: 39750
608.11/610.31 c #Conflicts: 454000 | #Constraints: 40754
608.11/610.31 c #Conflicts: 455000 | #Constraints: 41762
608.11/610.31 c #Conflicts: 456000 | #Constraints: 42768
608.11/610.31 c #Conflicts: 457000 | #Constraints: 43777
608.11/610.31 c #Conflicts: 458000 | #Constraints: 44785
608.11/610.31 c #Conflicts: 459000 | #Constraints: 45789
608.11/610.31 c #Conflicts: 460000 | #Constraints: 46791
608.11/610.31 c INPROCESSING
608.11/610.31 c GARBAGE COLLECT
608.11/610.31 c rational objective 6
642.39/644.78 c #Conflicts: 461000 | #Constraints: 34327
642.39/644.78 c #Conflicts: 462000 | #Constraints: 35330
642.39/644.78 c #Conflicts: 463000 | #Constraints: 36333
642.39/644.78 c #Conflicts: 464000 | #Constraints: 37333
642.39/644.78 c #Conflicts: 465000 | #Constraints: 38334
642.39/644.78 c #Conflicts: 466000 | #Constraints: 39335
642.39/644.78 c #Conflicts: 467000 | #Constraints: 40335
642.39/644.78 c #Conflicts: 468000 | #Constraints: 41336
642.39/644.78 c #Conflicts: 469000 | #Constraints: 42337
642.39/644.78 c #Conflicts: 470000 | #Constraints: 43338
642.39/644.78 c #Conflicts: 471000 | #Constraints: 44339
642.39/644.78 c #Conflicts: 472000 | #Constraints: 45340
642.39/644.78 c #Conflicts: 473000 | #Constraints: 46341
642.39/644.78 c #Conflicts: 474000 | #Constraints: 47341
642.39/644.78 c INPROCESSING
642.39/644.78 c GARBAGE COLLECT
642.39/644.78 c rational objective 6
677.27/679.76 c #Conflicts: 475000 | #Constraints: 34727
677.27/679.76 c #Conflicts: 476000 | #Constraints: 35727
677.27/679.76 c #Conflicts: 477000 | #Constraints: 36728
677.27/679.76 c #Conflicts: 478000 | #Constraints: 37729
677.27/679.76 c #Conflicts: 479000 | #Constraints: 38733
677.27/679.76 c #Conflicts: 480000 | #Constraints: 39736
677.27/679.76 c #Conflicts: 481000 | #Constraints: 40738
677.27/679.76 c #Conflicts: 482000 | #Constraints: 41739
677.27/679.76 c #Conflicts: 483000 | #Constraints: 42741
677.27/679.76 c #Conflicts: 484000 | #Constraints: 43743
677.27/679.76 c #Conflicts: 485000 | #Constraints: 44744
677.27/679.76 c #Conflicts: 486000 | #Constraints: 45745
677.27/679.76 c #Conflicts: 487000 | #Constraints: 46746
677.27/679.76 c #Conflicts: 488000 | #Constraints: 47747
677.27/679.76 c INPROCESSING
677.27/679.76 c GARBAGE COLLECT
677.27/679.76 c rational objective 6
694.42/696.94 c #Conflicts: 489000 | #Constraints: 34912
694.42/696.94 c #Conflicts: 490000 | #Constraints: 35913
694.42/696.94 c #Conflicts: 491000 | #Constraints: 36913
694.42/696.94 c #Conflicts: 492000 | #Constraints: 37915
694.42/696.94 c #Conflicts: 493000 | #Constraints: 38915
694.42/696.94 c #Conflicts: 494000 | #Constraints: 39916
694.42/696.94 c #Conflicts: 495000 | #Constraints: 40918
694.42/696.94 c #Conflicts: 496000 | #Constraints: 41921
694.42/696.94 c #Conflicts: 497000 | #Constraints: 42925
694.42/696.94 c #Conflicts: 498000 | #Constraints: 43927
694.42/696.94 c #Conflicts: 499000 | #Constraints: 44929
694.42/696.94 c #Conflicts: 500000 | #Constraints: 45931
694.42/696.94 c #Conflicts: 501000 | #Constraints: 46932
694.42/696.94 c #Conflicts: 502000 | #Constraints: 47937
694.42/696.94 c INPROCESSING
694.42/696.94 c GARBAGE COLLECT
694.42/696.94 c rational objective 6
719.45/722.11 c #Conflicts: 503000 | #Constraints: 34903
719.45/722.11 c #Conflicts: 504000 | #Constraints: 35903
719.45/722.11 c #Conflicts: 505000 | #Constraints: 36905
719.45/722.11 c #Conflicts: 506000 | #Constraints: 37910
719.45/722.11 c #Conflicts: 507000 | #Constraints: 38915
719.45/722.11 c #Conflicts: 508000 | #Constraints: 39920
719.45/722.11 c #Conflicts: 509000 | #Constraints: 40924
719.45/722.11 c #Conflicts: 510000 | #Constraints: 41927
719.45/722.11 c #Conflicts: 511000 | #Constraints: 42930
719.45/722.11 c #Conflicts: 512000 | #Constraints: 43932
719.45/722.11 c #Conflicts: 513000 | #Constraints: 44933
719.45/722.11 c #Conflicts: 514000 | #Constraints: 45933
719.45/722.11 c #Conflicts: 515000 | #Constraints: 46933
719.45/722.11 c #Conflicts: 516000 | #Constraints: 47934
719.45/722.11 c INPROCESSING
719.45/722.11 c GARBAGE COLLECT
719.45/722.11 c rational objective 6
740.38/743.01 c #Conflicts: 517000 | #Constraints: 34635
740.38/743.01 c #Conflicts: 518000 | #Constraints: 35635
740.38/743.01 c #Conflicts: 519000 | #Constraints: 36635
740.38/743.01 c #Conflicts: 520000 | #Constraints: 37635
740.38/743.01 c #Conflicts: 521000 | #Constraints: 38636
740.38/743.01 c #Conflicts: 522000 | #Constraints: 39637
740.38/743.01 c #Conflicts: 523000 | #Constraints: 40638
740.38/743.01 c #Conflicts: 524000 | #Constraints: 41642
740.38/743.01 c #Conflicts: 525000 | #Constraints: 42644
740.38/743.01 c #Conflicts: 526000 | #Constraints: 43646
740.38/743.01 c #Conflicts: 527000 | #Constraints: 44647
740.38/743.01 c #Conflicts: 528000 | #Constraints: 45648
740.38/743.01 c #Conflicts: 529000 | #Constraints: 46648
740.38/743.01 c #Conflicts: 530000 | #Constraints: 47649
740.38/743.01 c #Conflicts: 531000 | #Constraints: 48649
740.38/743.01 c INPROCESSING
740.38/743.01 c GARBAGE COLLECT
740.38/743.01 c rational objective 6
764.20/766.99 c #Conflicts: 532000 | #Constraints: 35245
764.20/766.99 c #Conflicts: 533000 | #Constraints: 36246
764.20/766.99 c #Conflicts: 534000 | #Constraints: 37246
764.20/766.99 c #Conflicts: 535000 | #Constraints: 38248
764.20/766.99 c #Conflicts: 536000 | #Constraints: 39249
764.20/766.99 c #Conflicts: 537000 | #Constraints: 40252
764.20/766.99 c #Conflicts: 538000 | #Constraints: 41254
764.20/766.99 c #Conflicts: 539000 | #Constraints: 42257
764.20/766.99 c #Conflicts: 540000 | #Constraints: 43258
764.20/766.99 c #Conflicts: 541000 | #Constraints: 44260
764.20/766.99 c #Conflicts: 542000 | #Constraints: 45261
764.20/766.99 c #Conflicts: 543000 | #Constraints: 46262
764.20/766.99 c #Conflicts: 544000 | #Constraints: 47263
764.20/766.99 c #Conflicts: 545000 | #Constraints: 48264
764.20/766.99 c #Conflicts: 546000 | #Constraints: 49264
764.20/766.99 c INPROCESSING
764.20/766.99 c GARBAGE COLLECT
764.20/766.99 c rational objective 6
794.10/796.93 c #Conflicts: 547000 | #Constraints: 35644
794.10/796.93 c #Conflicts: 548000 | #Constraints: 36645
794.10/796.93 c #Conflicts: 549000 | #Constraints: 37650
794.10/796.93 c #Conflicts: 550000 | #Constraints: 38655
794.10/796.93 c #Conflicts: 551000 | #Constraints: 39656
794.10/796.93 c #Conflicts: 552000 | #Constraints: 40657
794.10/796.93 c #Conflicts: 553000 | #Constraints: 41659
794.10/796.93 c #Conflicts: 554000 | #Constraints: 42661
794.10/796.93 c #Conflicts: 555000 | #Constraints: 43662
794.10/796.93 c #Conflicts: 556000 | #Constraints: 44662
794.10/796.93 c #Conflicts: 557000 | #Constraints: 45663
794.10/796.93 c #Conflicts: 558000 | #Constraints: 46663
794.10/796.93 c #Conflicts: 559000 | #Constraints: 47663
794.10/796.93 c #Conflicts: 560000 | #Constraints: 48663
794.10/796.93 c #Conflicts: 561000 | #Constraints: 49664
794.10/796.93 c INPROCESSING
794.10/796.93 c GARBAGE COLLECT
794.10/796.93 c rational objective 6
820.61/823.52 c #Conflicts: 562000 | #Constraints: 35840
820.61/823.52 c #Conflicts: 563000 | #Constraints: 36841
820.61/823.52 c #Conflicts: 564000 | #Constraints: 37841
820.61/823.52 c #Conflicts: 565000 | #Constraints: 38843
820.61/823.52 c #Conflicts: 566000 | #Constraints: 39846
820.61/823.52 c #Conflicts: 567000 | #Constraints: 40848
820.61/823.52 c #Conflicts: 568000 | #Constraints: 41850
820.61/823.52 c #Conflicts: 569000 | #Constraints: 42851
820.61/823.52 c #Conflicts: 570000 | #Constraints: 43854
820.61/823.52 c #Conflicts: 571000 | #Constraints: 44856
820.61/823.52 c #Conflicts: 572000 | #Constraints: 45858
820.61/823.52 c #Conflicts: 573000 | #Constraints: 46858
820.61/823.52 c #Conflicts: 574000 | #Constraints: 47859
820.61/823.52 c #Conflicts: 575000 | #Constraints: 48860
820.61/823.52 c #Conflicts: 576000 | #Constraints: 49861
820.61/823.52 c INPROCESSING
820.61/823.52 c GARBAGE COLLECT
820.61/823.52 c rational objective 6
843.44/846.46 c #Conflicts: 577000 | #Constraints: 35833
843.44/846.46 c #Conflicts: 578000 | #Constraints: 36833
843.44/846.46 c #Conflicts: 579000 | #Constraints: 37834
843.44/846.46 c #Conflicts: 580000 | #Constraints: 38834
843.44/846.46 c #Conflicts: 581000 | #Constraints: 39835
843.44/846.46 c #Conflicts: 582000 | #Constraints: 40835
843.44/846.46 c #Conflicts: 583000 | #Constraints: 41838
843.44/846.46 c #Conflicts: 584000 | #Constraints: 42840
843.44/846.46 c #Conflicts: 585000 | #Constraints: 43840
843.44/846.46 c #Conflicts: 586000 | #Constraints: 44841
843.44/846.46 c #Conflicts: 587000 | #Constraints: 45844
843.44/846.46 c #Conflicts: 588000 | #Constraints: 46845
843.44/846.46 c #Conflicts: 589000 | #Constraints: 47847
843.44/846.46 c #Conflicts: 590000 | #Constraints: 48848
843.44/846.46 c #Conflicts: 591000 | #Constraints: 49849
843.44/846.46 c INPROCESSING
843.44/846.46 c GARBAGE COLLECT
843.44/846.46 c rational objective 6
881.92/885.08 c #Conflicts: 592000 | #Constraints: 35615
881.92/885.08 c #Conflicts: 593000 | #Constraints: 36615
881.92/885.08 c #Conflicts: 594000 | #Constraints: 37617
881.92/885.08 c #Conflicts: 595000 | #Constraints: 38624
881.92/885.08 c #Conflicts: 596000 | #Constraints: 39627
881.92/885.08 c #Conflicts: 597000 | #Constraints: 40634
881.92/885.08 c #Conflicts: 598000 | #Constraints: 41636
881.92/885.08 c #Conflicts: 599000 | #Constraints: 42639
881.92/885.08 c #Conflicts: 600000 | #Constraints: 43639
881.92/885.08 c #Conflicts: 601000 | #Constraints: 44640
881.92/885.08 c #Conflicts: 602000 | #Constraints: 45641
881.92/885.08 c #Conflicts: 603000 | #Constraints: 46643
881.92/885.08 c #Conflicts: 604000 | #Constraints: 47643
881.92/885.08 c #Conflicts: 605000 | #Constraints: 48644
881.92/885.08 c #Conflicts: 606000 | #Constraints: 49644
881.92/885.08 c #Conflicts: 607000 | #Constraints: 50645
881.92/885.08 c INPROCESSING
881.92/885.08 c GARBAGE COLLECT
881.92/885.08 c rational objective 6
905.43/908.64 c #Conflicts: 608000 | #Constraints: 36219
905.43/908.64 c #Conflicts: 609000 | #Constraints: 37220
905.43/908.64 c #Conflicts: 610000 | #Constraints: 38221
905.43/908.64 c #Conflicts: 611000 | #Constraints: 39224
905.43/908.64 c #Conflicts: 612000 | #Constraints: 40225
905.43/908.64 c #Conflicts: 613000 | #Constraints: 41228
905.43/908.64 c #Conflicts: 614000 | #Constraints: 42229
905.43/908.64 c #Conflicts: 615000 | #Constraints: 43230
905.43/908.64 c #Conflicts: 616000 | #Constraints: 44231
905.43/908.64 c #Conflicts: 617000 | #Constraints: 45232
905.43/908.64 c #Conflicts: 618000 | #Constraints: 46232
905.43/908.64 c #Conflicts: 619000 | #Constraints: 47233
905.43/908.64 c #Conflicts: 620000 | #Constraints: 48234
905.43/908.64 c #Conflicts: 621000 | #Constraints: 49234
905.43/908.64 c #Conflicts: 622000 | #Constraints: 50235
905.43/908.64 c #Conflicts: 623000 | #Constraints: 51235
905.43/908.64 c INPROCESSING
905.43/908.64 c GARBAGE COLLECT
905.43/908.64 c rational objective 6
931.55/934.83 c #Conflicts: 624000 | #Constraints: 36648
931.55/934.83 c #Conflicts: 625000 | #Constraints: 37654
931.55/934.83 c #Conflicts: 626000 | #Constraints: 38656
931.55/934.83 c #Conflicts: 627000 | #Constraints: 39658
931.55/934.83 c #Conflicts: 628000 | #Constraints: 40659
931.55/934.83 c #Conflicts: 629000 | #Constraints: 41661
931.55/934.83 c #Conflicts: 630000 | #Constraints: 42663
931.55/934.83 c #Conflicts: 631000 | #Constraints: 43664
931.55/934.83 c #Conflicts: 632000 | #Constraints: 44664
931.55/934.83 c #Conflicts: 633000 | #Constraints: 45665
931.55/934.83 c #Conflicts: 634000 | #Constraints: 46665
931.55/934.83 c #Conflicts: 635000 | #Constraints: 47666
931.55/934.83 c #Conflicts: 636000 | #Constraints: 48666
931.55/934.83 c #Conflicts: 637000 | #Constraints: 49666
931.55/934.83 c #Conflicts: 638000 | #Constraints: 50667
931.55/934.83 c #Conflicts: 639000 | #Constraints: 51667
931.55/934.83 c INPROCESSING
931.55/934.83 c GARBAGE COLLECT
931.55/934.83 c rational objective 6
954.37/957.78 c #Conflicts: 640000 | #Constraints: 36803
954.37/957.78 c #Conflicts: 641000 | #Constraints: 37803
954.37/957.78 c #Conflicts: 642000 | #Constraints: 38803
954.37/957.78 c #Conflicts: 643000 | #Constraints: 39804
954.37/957.78 c #Conflicts: 644000 | #Constraints: 40805
954.37/957.78 c #Conflicts: 645000 | #Constraints: 41806
954.37/957.78 c #Conflicts: 646000 | #Constraints: 42809
954.37/957.78 c #Conflicts: 647000 | #Constraints: 43810
954.37/957.78 c #Conflicts: 648000 | #Constraints: 44812
954.37/957.78 c #Conflicts: 649000 | #Constraints: 45814
954.37/957.78 c #Conflicts: 650000 | #Constraints: 46815
954.37/957.78 c #Conflicts: 651000 | #Constraints: 47815
954.37/957.78 c #Conflicts: 652000 | #Constraints: 48816
954.37/957.78 c #Conflicts: 653000 | #Constraints: 49818
954.37/957.78 c #Conflicts: 654000 | #Constraints: 50819
954.37/957.78 c #Conflicts: 655000 | #Constraints: 51819
954.37/957.78 c INPROCESSING
954.37/957.78 c GARBAGE COLLECT
954.37/957.78 c rational objective 6
985.26/988.77 c #Conflicts: 656000 | #Constraints: 36786
985.26/988.77 c #Conflicts: 657000 | #Constraints: 37787
985.26/988.77 c #Conflicts: 658000 | #Constraints: 38790
985.26/988.77 c #Conflicts: 659000 | #Constraints: 39797
985.26/988.77 c #Conflicts: 660000 | #Constraints: 40801
985.26/988.77 c #Conflicts: 661000 | #Constraints: 41804
985.26/988.77 c #Conflicts: 662000 | #Constraints: 42807
985.26/988.77 c #Conflicts: 663000 | #Constraints: 43808
985.26/988.77 c #Conflicts: 664000 | #Constraints: 44808
985.26/988.77 c #Conflicts: 665000 | #Constraints: 45809
985.26/988.77 c #Conflicts: 666000 | #Constraints: 46810
985.26/988.77 c #Conflicts: 667000 | #Constraints: 47811
985.26/988.77 c #Conflicts: 668000 | #Constraints: 48814
985.26/988.77 c #Conflicts: 669000 | #Constraints: 49815
985.26/988.77 c #Conflicts: 670000 | #Constraints: 50816
985.26/988.77 c #Conflicts: 671000 | #Constraints: 51817
985.26/988.77 c INPROCESSING
985.26/988.77 c GARBAGE COLLECT
985.26/988.77 c rational objective 6
1016.48/1020.09 c #Conflicts: 672000 | #Constraints: 36555
1016.48/1020.09 c #Conflicts: 673000 | #Constraints: 37556
1016.48/1020.09 c #Conflicts: 674000 | #Constraints: 38558
1016.48/1020.09 c #Conflicts: 675000 | #Constraints: 39564
1016.48/1020.09 c #Conflicts: 676000 | #Constraints: 40566
1016.48/1020.09 c #Conflicts: 677000 | #Constraints: 41570
1016.48/1020.09 c #Conflicts: 678000 | #Constraints: 42571
1016.48/1020.09 c #Conflicts: 679000 | #Constraints: 43572
1016.48/1020.09 c #Conflicts: 680000 | #Constraints: 44573
1016.48/1020.09 c #Conflicts: 681000 | #Constraints: 45574
1016.48/1020.09 c #Conflicts: 682000 | #Constraints: 46575
1016.48/1020.09 c #Conflicts: 683000 | #Constraints: 47575
1016.48/1020.09 c #Conflicts: 684000 | #Constraints: 48576
1016.48/1020.09 c #Conflicts: 685000 | #Constraints: 49577
1016.48/1020.09 c #Conflicts: 686000 | #Constraints: 50577
1016.48/1020.09 c #Conflicts: 687000 | #Constraints: 51578
1016.48/1020.09 c #Conflicts: 688000 | #Constraints: 52578
1016.48/1020.09 c INPROCESSING
1016.48/1020.09 c GARBAGE COLLECT
1016.48/1020.09 c rational objective 6
1044.87/1048.58 c #Conflicts: 689000 | #Constraints: 37141
1044.87/1048.58 c #Conflicts: 690000 | #Constraints: 38144
1044.87/1048.58 c #Conflicts: 691000 | #Constraints: 39145
1044.87/1048.58 c #Conflicts: 692000 | #Constraints: 40149
1044.87/1048.58 c #Conflicts: 693000 | #Constraints: 41151
1044.87/1048.58 c #Conflicts: 694000 | #Constraints: 42153
1044.87/1048.58 c #Conflicts: 695000 | #Constraints: 43155
1044.87/1048.58 c #Conflicts: 696000 | #Constraints: 44165
1044.87/1048.58 c #Conflicts: 697000 | #Constraints: 45165
1044.87/1048.58 c #Conflicts: 698000 | #Constraints: 46171
1044.87/1048.58 c #Conflicts: 699000 | #Constraints: 47176
1044.87/1048.58 c #Conflicts: 700000 | #Constraints: 48180
1044.87/1048.58 c #Conflicts: 701000 | #Constraints: 49183
1044.87/1048.58 c #Conflicts: 702000 | #Constraints: 50187
1044.87/1048.58 c #Conflicts: 703000 | #Constraints: 51190
1044.87/1048.58 c #Conflicts: 704000 | #Constraints: 52193
1044.87/1048.58 c #Conflicts: 705000 | #Constraints: 53195
1044.87/1048.58 c INPROCESSING
1044.87/1048.58 c GARBAGE COLLECT
1044.87/1048.58 c rational objective 6
1087.34/1091.12 c #Conflicts: 706000 | #Constraints: 37550
1087.34/1091.12 c #Conflicts: 707000 | #Constraints: 38554
1087.34/1091.12 c #Conflicts: 708000 | #Constraints: 39559
1087.34/1091.12 c #Conflicts: 709000 | #Constraints: 40564
1087.34/1091.12 c #Conflicts: 710000 | #Constraints: 41569
1087.34/1091.12 c #Conflicts: 711000 | #Constraints: 42571
1087.34/1091.12 c #Conflicts: 712000 | #Constraints: 43572
1087.34/1091.12 c #Conflicts: 713000 | #Constraints: 44573
1087.34/1091.12 c #Conflicts: 714000 | #Constraints: 45574
1087.34/1091.12 c #Conflicts: 715000 | #Constraints: 46575
1087.34/1091.12 c #Conflicts: 716000 | #Constraints: 47576
1087.34/1091.12 c #Conflicts: 717000 | #Constraints: 48578
1087.34/1091.12 c #Conflicts: 718000 | #Constraints: 49579
1087.34/1091.12 c #Conflicts: 719000 | #Constraints: 50580
1087.34/1091.12 c #Conflicts: 720000 | #Constraints: 51582
1087.34/1091.12 c #Conflicts: 721000 | #Constraints: 52584
1087.34/1091.12 c #Conflicts: 722000 | #Constraints: 53585
1087.34/1091.12 c INPROCESSING
1087.34/1091.12 c GARBAGE COLLECT
1087.34/1091.12 c rational objective 6
1137.26/1141.20 c #Conflicts: 723000 | #Constraints: 37758
1137.26/1141.20 c #Conflicts: 724000 | #Constraints: 38759
1137.26/1141.20 c #Conflicts: 725000 | #Constraints: 39762
1137.26/1141.20 c #Conflicts: 726000 | #Constraints: 40766
1137.26/1141.20 c #Conflicts: 727000 | #Constraints: 41767
1137.26/1141.20 c #Conflicts: 728000 | #Constraints: 42772
1137.26/1141.20 c #Conflicts: 729000 | #Constraints: 43774
1137.26/1141.20 c #Conflicts: 730000 | #Constraints: 44776
1137.26/1141.20 c #Conflicts: 731000 | #Constraints: 45779
1137.26/1141.20 c #Conflicts: 732000 | #Constraints: 46783
1137.26/1141.20 c #Conflicts: 733000 | #Constraints: 47785
1137.26/1141.20 c #Conflicts: 734000 | #Constraints: 48786
1137.26/1141.20 c #Conflicts: 735000 | #Constraints: 49791
1137.26/1141.20 c #Conflicts: 736000 | #Constraints: 50798
1137.26/1141.20 c #Conflicts: 737000 | #Constraints: 51803
1137.26/1141.20 c #Conflicts: 738000 | #Constraints: 52810
1137.26/1141.20 c #Conflicts: 739000 | #Constraints: 53811
1137.26/1141.20 c INPROCESSING
1137.26/1141.20 c GARBAGE COLLECT
1137.26/1141.20 c rational objective 6
1185.80/1189.96 c #Conflicts: 740000 | #Constraints: 37734
1185.80/1189.96 c #Conflicts: 741000 | #Constraints: 38737
1185.80/1189.96 c #Conflicts: 742000 | #Constraints: 39742
1185.80/1189.96 c #Conflicts: 743000 | #Constraints: 40746
1185.80/1189.96 c #Conflicts: 744000 | #Constraints: 41750
1185.80/1189.96 c #Conflicts: 745000 | #Constraints: 42753
1185.80/1189.96 c #Conflicts: 746000 | #Constraints: 43754
1185.80/1189.96 c #Conflicts: 747000 | #Constraints: 44757
1185.80/1189.96 c #Conflicts: 748000 | #Constraints: 45758
1185.80/1189.96 c #Conflicts: 749000 | #Constraints: 46761
1185.80/1189.96 c #Conflicts: 750000 | #Constraints: 47764
1185.80/1189.96 c #Conflicts: 751000 | #Constraints: 48767
1185.80/1189.96 c #Conflicts: 752000 | #Constraints: 49769
1185.80/1189.96 c #Conflicts: 753000 | #Constraints: 50772
1185.80/1189.96 c #Conflicts: 754000 | #Constraints: 51773
1185.80/1189.96 c #Conflicts: 755000 | #Constraints: 52775
1185.80/1189.96 c #Conflicts: 756000 | #Constraints: 53775
1185.80/1189.96 c INPROCESSING
1185.80/1189.96 c GARBAGE COLLECT
1185.80/1189.96 c rational objective 6
1224.28/1228.52 c #Conflicts: 757000 | #Constraints: 37511
1224.28/1228.52 c #Conflicts: 758000 | #Constraints: 38512
1224.28/1228.52 c #Conflicts: 759000 | #Constraints: 39515
1224.28/1228.52 c #Conflicts: 760000 | #Constraints: 40518
1224.28/1228.52 c #Conflicts: 761000 | #Constraints: 41522
1224.28/1228.52 c #Conflicts: 762000 | #Constraints: 42526
1224.28/1228.52 c #Conflicts: 763000 | #Constraints: 43528
1224.28/1228.52 c #Conflicts: 764000 | #Constraints: 44531
1224.28/1228.52 c #Conflicts: 765000 | #Constraints: 45533
1224.28/1228.52 c #Conflicts: 766000 | #Constraints: 46534
1224.28/1228.52 c #Conflicts: 767000 | #Constraints: 47536
1224.28/1228.52 c #Conflicts: 768000 | #Constraints: 48538
1224.28/1228.52 c #Conflicts: 769000 | #Constraints: 49541
1224.28/1228.52 c #Conflicts: 770000 | #Constraints: 50542
1224.28/1228.52 c #Conflicts: 771000 | #Constraints: 51544
1224.28/1228.52 c #Conflicts: 772000 | #Constraints: 52545
1224.28/1228.52 c #Conflicts: 773000 | #Constraints: 53546
1224.28/1228.52 c #Conflicts: 774000 | #Constraints: 54547
1224.28/1228.52 c INPROCESSING
1224.28/1228.52 c GARBAGE COLLECT
1224.28/1228.52 c rational objective 6
1261.45/1265.82 c #Conflicts: 775000 | #Constraints: 38095
1261.45/1265.82 c #Conflicts: 776000 | #Constraints: 39095
1261.45/1265.82 c #Conflicts: 777000 | #Constraints: 40098
1261.45/1265.82 c #Conflicts: 778000 | #Constraints: 41101
1261.45/1265.82 c #Conflicts: 779000 | #Constraints: 42106
1261.45/1265.82 c #Conflicts: 780000 | #Constraints: 43111
1261.45/1265.82 c #Conflicts: 781000 | #Constraints: 44115
1261.45/1265.82 c #Conflicts: 782000 | #Constraints: 45120
1261.45/1265.82 c #Conflicts: 783000 | #Constraints: 46125
1261.45/1265.82 c #Conflicts: 784000 | #Constraints: 47130
1261.45/1265.82 c #Conflicts: 785000 | #Constraints: 48132
1261.45/1265.82 c #Conflicts: 786000 | #Constraints: 49135
1261.45/1265.82 c #Conflicts: 787000 | #Constraints: 50138
1261.45/1265.82 c #Conflicts: 788000 | #Constraints: 51141
1261.45/1265.82 c #Conflicts: 789000 | #Constraints: 52142
1261.45/1265.82 c #Conflicts: 790000 | #Constraints: 53144
1261.45/1265.82 c #Conflicts: 791000 | #Constraints: 54145
1261.45/1265.82 c #Conflicts: 792000 | #Constraints: 55145
1261.45/1265.82 c INPROCESSING
1261.45/1265.82 c GARBAGE COLLECT
1261.45/1265.82 c rational objective 6
1299.12/1303.60 c #Conflicts: 793000 | #Constraints: 38490
1299.12/1303.60 c #Conflicts: 794000 | #Constraints: 39493
1299.12/1303.60 c #Conflicts: 795000 | #Constraints: 40498
1299.12/1303.60 c #Conflicts: 796000 | #Constraints: 41502
1299.12/1303.60 c #Conflicts: 797000 | #Constraints: 42505
1299.12/1303.60 c #Conflicts: 798000 | #Constraints: 43509
1299.12/1303.60 c #Conflicts: 799000 | #Constraints: 44513
1299.12/1303.60 c #Conflicts: 800000 | #Constraints: 45515
1299.12/1303.60 c #Conflicts: 801000 | #Constraints: 46516
1299.12/1303.60 c #Conflicts: 802000 | #Constraints: 47519
1299.12/1303.60 c #Conflicts: 803000 | #Constraints: 48522
1299.12/1303.60 c #Conflicts: 804000 | #Constraints: 49528
1299.12/1303.60 c #Conflicts: 805000 | #Constraints: 50534
1299.12/1303.60 c #Conflicts: 806000 | #Constraints: 51536
1299.12/1303.60 c #Conflicts: 807000 | #Constraints: 52539
1299.12/1303.60 c #Conflicts: 808000 | #Constraints: 53541
1299.12/1303.60 c #Conflicts: 809000 | #Constraints: 54542
1299.12/1303.60 c #Conflicts: 810000 | #Constraints: 55543
1299.12/1303.60 c INPROCESSING
1299.12/1303.60 c GARBAGE COLLECT
1299.12/1303.60 c rational objective 6
1335.70/1340.34 c #Conflicts: 811000 | #Constraints: 38691
1335.70/1340.34 c #Conflicts: 812000 | #Constraints: 39691
1335.70/1340.34 c #Conflicts: 813000 | #Constraints: 40697
1335.70/1340.34 c #Conflicts: 814000 | #Constraints: 41716
1335.70/1340.34 c #Conflicts: 815000 | #Constraints: 42751
1335.70/1340.34 c #Conflicts: 816000 | #Constraints: 43761
1335.70/1340.34 c #Conflicts: 817000 | #Constraints: 44769
1335.70/1340.34 c #Conflicts: 818000 | #Constraints: 45773
1335.70/1340.34 c #Conflicts: 819000 | #Constraints: 46777
1335.70/1340.34 c #Conflicts: 820000 | #Constraints: 47778
1335.70/1340.34 c #Conflicts: 821000 | #Constraints: 48781
1335.70/1340.34 c #Conflicts: 822000 | #Constraints: 49781
1335.70/1340.34 c #Conflicts: 823000 | #Constraints: 50784
1335.70/1340.34 c #Conflicts: 824000 | #Constraints: 51785
1335.70/1340.34 c #Conflicts: 825000 | #Constraints: 52787
1335.70/1340.34 c #Conflicts: 826000 | #Constraints: 53788
1335.70/1340.34 c #Conflicts: 827000 | #Constraints: 54790
1335.70/1340.34 c #Conflicts: 828000 | #Constraints: 55791
1335.70/1340.34 c INPROCESSING
1335.70/1340.34 c GARBAGE COLLECT
1335.70/1340.34 c rational objective 6
1381.14/1385.93 c #Conflicts: 829000 | #Constraints: 38720
1381.14/1385.93 c #Conflicts: 830000 | #Constraints: 39720
1381.14/1385.93 c #Conflicts: 831000 | #Constraints: 40724
1381.14/1385.93 c #Conflicts: 832000 | #Constraints: 41729
1381.14/1385.93 c #Conflicts: 833000 | #Constraints: 42738
1381.14/1385.93 c #Conflicts: 834000 | #Constraints: 43741
1381.14/1385.93 c #Conflicts: 835000 | #Constraints: 44746
1381.14/1385.93 c #Conflicts: 836000 | #Constraints: 45750
1381.14/1385.93 c #Conflicts: 837000 | #Constraints: 46754
1381.14/1385.93 c #Conflicts: 838000 | #Constraints: 47758
1381.14/1385.93 c #Conflicts: 839000 | #Constraints: 48759
1381.14/1385.93 c #Conflicts: 840000 | #Constraints: 49764
1381.14/1385.93 c #Conflicts: 841000 | #Constraints: 50770
1381.14/1385.93 c #Conflicts: 842000 | #Constraints: 51775
1381.14/1385.93 c #Conflicts: 843000 | #Constraints: 52778
1381.14/1385.93 c #Conflicts: 844000 | #Constraints: 53781
1381.14/1385.93 c #Conflicts: 845000 | #Constraints: 54782
1381.14/1385.93 c #Conflicts: 846000 | #Constraints: 55786
1381.14/1385.93 c INPROCESSING
1381.14/1385.93 c GARBAGE COLLECT
1381.14/1385.93 c rational objective 6
1421.91/1426.82 c #Conflicts: 847000 | #Constraints: 38470
1421.91/1426.82 c #Conflicts: 848000 | #Constraints: 39471
1421.91/1426.82 c #Conflicts: 849000 | #Constraints: 40477
1421.91/1426.82 c #Conflicts: 850000 | #Constraints: 41479
1421.91/1426.82 c #Conflicts: 851000 | #Constraints: 42482
1421.91/1426.82 c #Conflicts: 852000 | #Constraints: 43488
1421.91/1426.82 c #Conflicts: 853000 | #Constraints: 44491
1421.91/1426.82 c #Conflicts: 854000 | #Constraints: 45496
1421.91/1426.82 c #Conflicts: 855000 | #Constraints: 46497
1421.91/1426.82 c #Conflicts: 856000 | #Constraints: 47500
1421.91/1426.82 c #Conflicts: 857000 | #Constraints: 48501
1421.91/1426.82 c #Conflicts: 858000 | #Constraints: 49502
1421.91/1426.82 c #Conflicts: 859000 | #Constraints: 50502
1421.91/1426.82 c #Conflicts: 860000 | #Constraints: 51503
1421.91/1426.82 c #Conflicts: 861000 | #Constraints: 52503
1421.91/1426.82 c #Conflicts: 862000 | #Constraints: 53504
1421.91/1426.82 c #Conflicts: 863000 | #Constraints: 54504
1421.91/1426.82 c #Conflicts: 864000 | #Constraints: 55505
1421.91/1426.82 c #Conflicts: 865000 | #Constraints: 56506
1421.91/1426.82 c INPROCESSING
1421.91/1426.82 c GARBAGE COLLECT
1421.91/1426.82 c rational objective 6
1458.29/1463.33 c #Conflicts: 866000 | #Constraints: 39066
1458.29/1463.33 c #Conflicts: 867000 | #Constraints: 40066
1458.29/1463.33 c #Conflicts: 868000 | #Constraints: 41067
1458.29/1463.33 c #Conflicts: 869000 | #Constraints: 42069
1458.29/1463.33 c #Conflicts: 870000 | #Constraints: 43072
1458.29/1463.33 c #Conflicts: 871000 | #Constraints: 44080
1458.29/1463.33 c #Conflicts: 872000 | #Constraints: 45082
1458.29/1463.33 c #Conflicts: 873000 | #Constraints: 46090
1458.29/1463.33 c #Conflicts: 874000 | #Constraints: 47095
1458.29/1463.33 c #Conflicts: 875000 | #Constraints: 48097
1458.29/1463.33 c #Conflicts: 876000 | #Constraints: 49099
1458.29/1463.33 c #Conflicts: 877000 | #Constraints: 50103
1458.29/1463.33 c #Conflicts: 878000 | #Constraints: 51107
1458.29/1463.33 c #Conflicts: 879000 | #Constraints: 52109
1458.29/1463.33 c #Conflicts: 880000 | #Constraints: 53111
1458.29/1463.33 c #Conflicts: 881000 | #Constraints: 54113
1458.29/1463.33 c #Conflicts: 882000 | #Constraints: 55113
1458.29/1463.33 c #Conflicts: 883000 | #Constraints: 56114
1458.29/1463.33 c #Conflicts: 884000 | #Constraints: 57115
1458.29/1463.33 c INPROCESSING
1458.29/1463.33 c GARBAGE COLLECT
1458.29/1463.33 c rational objective 6
1500.75/1505.99 c #Conflicts: 885000 | #Constraints: 39508
1500.75/1505.99 c #Conflicts: 886000 | #Constraints: 40509
1500.75/1505.99 c #Conflicts: 887000 | #Constraints: 41512
1500.75/1505.99 c #Conflicts: 888000 | #Constraints: 42520
1500.75/1505.99 c #Conflicts: 889000 | #Constraints: 43529
1500.75/1505.99 c #Conflicts: 890000 | #Constraints: 44539
1500.75/1505.99 c #Conflicts: 891000 | #Constraints: 45546
1500.75/1505.99 c #Conflicts: 892000 | #Constraints: 46551
1500.75/1505.99 c #Conflicts: 893000 | #Constraints: 47559
1500.75/1505.99 c #Conflicts: 894000 | #Constraints: 48563
1500.75/1505.99 c #Conflicts: 895000 | #Constraints: 49569
1500.75/1505.99 c #Conflicts: 896000 | #Constraints: 50577
1500.75/1505.99 c #Conflicts: 897000 | #Constraints: 51582
1500.75/1505.99 c #Conflicts: 898000 | #Constraints: 52587
1500.75/1505.99 c #Conflicts: 899000 | #Constraints: 53595
1500.75/1505.99 c #Conflicts: 900000 | #Constraints: 54599
1500.75/1505.99 c #Conflicts: 901000 | #Constraints: 55601
1500.75/1505.99 c #Conflicts: 902000 | #Constraints: 56602
1500.75/1505.99 c #Conflicts: 903000 | #Constraints: 57602
1500.75/1505.99 c INPROCESSING
1500.75/1505.99 c GARBAGE COLLECT
1500.75/1505.99 c rational objective 6
1548.71/1554.03 c #Conflicts: 904000 | #Constraints: 39712
1548.71/1554.03 c #Conflicts: 905000 | #Constraints: 40713
1548.71/1554.03 c #Conflicts: 906000 | #Constraints: 41720
1548.71/1554.03 c #Conflicts: 907000 | #Constraints: 42727
1548.71/1554.03 c #Conflicts: 908000 | #Constraints: 43731
1548.71/1554.03 c #Conflicts: 909000 | #Constraints: 44739
1548.71/1554.03 c #Conflicts: 910000 | #Constraints: 45743
1548.71/1554.03 c #Conflicts: 911000 | #Constraints: 46746
1548.71/1554.03 c #Conflicts: 912000 | #Constraints: 47751
1548.71/1554.03 c #Conflicts: 913000 | #Constraints: 48753
1548.71/1554.03 c #Conflicts: 914000 | #Constraints: 49755
1548.71/1554.03 c #Conflicts: 915000 | #Constraints: 50756
1548.71/1554.03 c #Conflicts: 916000 | #Constraints: 51758
1548.71/1554.03 c #Conflicts: 917000 | #Constraints: 52759
1548.71/1554.03 c #Conflicts: 918000 | #Constraints: 53759
1548.71/1554.03 c #Conflicts: 919000 | #Constraints: 54759
1548.71/1554.03 c #Conflicts: 920000 | #Constraints: 55759
1548.71/1554.03 c #Conflicts: 921000 | #Constraints: 56759
1548.71/1554.03 c #Conflicts: 922000 | #Constraints: 57759
1548.71/1554.03 c INPROCESSING
1548.71/1554.03 c GARBAGE COLLECT
1548.71/1554.03 c rational objective 6
1601.22/1606.75 c #Conflicts: 923000 | #Constraints: 39675
1601.22/1606.75 c #Conflicts: 924000 | #Constraints: 40677
1601.22/1606.75 c #Conflicts: 925000 | #Constraints: 41682
1601.22/1606.75 c #Conflicts: 926000 | #Constraints: 42685
1601.22/1606.75 c #Conflicts: 927000 | #Constraints: 43687
1601.22/1606.75 c #Conflicts: 928000 | #Constraints: 44689
1601.22/1606.75 c #Conflicts: 929000 | #Constraints: 45690
1601.22/1606.75 c #Conflicts: 930000 | #Constraints: 46692
1601.22/1606.75 c #Conflicts: 931000 | #Constraints: 47694
1601.22/1606.75 c #Conflicts: 932000 | #Constraints: 48695
1601.22/1606.75 c #Conflicts: 933000 | #Constraints: 49695
1601.22/1606.75 c #Conflicts: 934000 | #Constraints: 50697
1601.22/1606.75 c #Conflicts: 935000 | #Constraints: 51699
1601.22/1606.75 c #Conflicts: 936000 | #Constraints: 52699
1601.22/1606.75 c #Conflicts: 937000 | #Constraints: 53700
1601.22/1606.75 c #Conflicts: 938000 | #Constraints: 54700
1601.22/1606.75 c #Conflicts: 939000 | #Constraints: 55700
1601.22/1606.75 c #Conflicts: 940000 | #Constraints: 56701
1601.22/1606.75 c #Conflicts: 941000 | #Constraints: 57702
1601.22/1606.75 c INPROCESSING
1601.22/1606.75 c GARBAGE COLLECT
1601.22/1606.75 c rational objective 6
1648.05/1653.78 c #Conflicts: 942000 | #Constraints: 39452
1648.05/1653.78 c #Conflicts: 943000 | #Constraints: 40452
1648.05/1653.78 c #Conflicts: 944000 | #Constraints: 41453
1648.05/1653.78 c #Conflicts: 945000 | #Constraints: 42456
1648.05/1653.78 c #Conflicts: 946000 | #Constraints: 43459
1648.05/1653.78 c #Conflicts: 947000 | #Constraints: 44459
1648.05/1653.78 c #Conflicts: 948000 | #Constraints: 45460
1648.05/1653.78 c #Conflicts: 949000 | #Constraints: 46460
1648.05/1653.78 c #Conflicts: 950000 | #Constraints: 47461
1648.05/1653.78 c #Conflicts: 951000 | #Constraints: 48462
1648.05/1653.78 c #Conflicts: 952000 | #Constraints: 49463
1648.05/1653.78 c #Conflicts: 953000 | #Constraints: 50463
1648.05/1653.78 c #Conflicts: 954000 | #Constraints: 51464
1648.05/1653.78 c #Conflicts: 955000 | #Constraints: 52464
1648.05/1653.78 c #Conflicts: 956000 | #Constraints: 53465
1648.05/1653.78 c #Conflicts: 957000 | #Constraints: 54465
1648.05/1653.78 c #Conflicts: 958000 | #Constraints: 55466
1648.05/1653.78 c #Conflicts: 959000 | #Constraints: 56467
1648.05/1653.78 c #Conflicts: 960000 | #Constraints: 57467
1648.05/1653.78 c #Conflicts: 961000 | #Constraints: 58467
1648.05/1653.78 c INPROCESSING
1648.05/1653.78 c GARBAGE COLLECT
1648.05/1653.78 c rational objective 6
1688.59/1694.45 c #Conflicts: 962000 | #Constraints: 40012
1688.59/1694.45 c #Conflicts: 963000 | #Constraints: 41013
1688.59/1694.45 c #Conflicts: 964000 | #Constraints: 42014
1688.59/1694.45 c #Conflicts: 965000 | #Constraints: 43015
1688.59/1694.45 c #Conflicts: 966000 | #Constraints: 44016
1688.59/1694.45 c #Conflicts: 967000 | #Constraints: 45017
1688.59/1694.45 c #Conflicts: 968000 | #Constraints: 46018
1688.59/1694.45 c #Conflicts: 969000 | #Constraints: 47019
1688.59/1694.45 c #Conflicts: 970000 | #Constraints: 48019
1688.59/1694.45 c #Conflicts: 971000 | #Constraints: 49020
1688.59/1694.45 c #Conflicts: 972000 | #Constraints: 50020
1688.59/1694.45 c #Conflicts: 973000 | #Constraints: 51021
1688.59/1694.45 c #Conflicts: 974000 | #Constraints: 52022
1688.59/1694.45 c #Conflicts: 975000 | #Constraints: 53022
1688.59/1694.45 c #Conflicts: 976000 | #Constraints: 54023
1688.59/1694.45 c #Conflicts: 977000 | #Constraints: 55023
1688.59/1694.45 c #Conflicts: 978000 | #Constraints: 56023
1688.59/1694.45 c #Conflicts: 979000 | #Constraints: 57024
1688.59/1694.45 c #Conflicts: 980000 | #Constraints: 58024
1688.59/1694.45 c #Conflicts: 981000 | #Constraints: 59024
1688.59/1694.45 c INPROCESSING
1688.59/1694.45 c GARBAGE COLLECT
1688.59/1694.45 c rational objective 6
1736.12/1742.14 c #Conflicts: 982000 | #Constraints: 40401
1736.12/1742.14 c #Conflicts: 983000 | #Constraints: 41402
1736.12/1742.14 c #Conflicts: 984000 | #Constraints: 42404
1736.12/1742.14 c #Conflicts: 985000 | #Constraints: 43407
1736.12/1742.14 c #Conflicts: 986000 | #Constraints: 44408
1736.12/1742.14 c #Conflicts: 987000 | #Constraints: 45409
1736.12/1742.14 c #Conflicts: 988000 | #Constraints: 46409
1736.12/1742.14 c #Conflicts: 989000 | #Constraints: 47411
1736.12/1742.14 c #Conflicts: 990000 | #Constraints: 48413
1736.12/1742.14 c #Conflicts: 991000 | #Constraints: 49414
1736.12/1742.14 c #Conflicts: 992000 | #Constraints: 50414
1736.12/1742.14 c #Conflicts: 993000 | #Constraints: 51416
1736.12/1742.14 c #Conflicts: 994000 | #Constraints: 52417
1736.12/1742.14 c #Conflicts: 995000 | #Constraints: 53417
1736.12/1742.14 c #Conflicts: 996000 | #Constraints: 54419
1736.12/1742.14 c #Conflicts: 997000 | #Constraints: 55420
1736.12/1742.14 c #Conflicts: 998000 | #Constraints: 56421
1736.12/1742.14 c #Conflicts: 999000 | #Constraints: 57422
1736.12/1742.14 c #Conflicts: 1000000 | #Constraints: 58423
1736.12/1742.14 c #Conflicts: 1001000 | #Constraints: 59423
1736.12/1742.14 c INPROCESSING
1736.12/1742.14 c GARBAGE COLLECT
1736.12/1742.14 c rational objective 6
1775.66/1781.80 c #Conflicts: 1002000 | #Constraints: 40578
1775.66/1781.80 c #Conflicts: 1003000 | #Constraints: 41581
1775.66/1781.80 c #Conflicts: 1004000 | #Constraints: 42584
1775.66/1781.80 c #Conflicts: 1005000 | #Constraints: 43589
1775.66/1781.80 c #Conflicts: 1006000 | #Constraints: 44591
1775.66/1781.80 c #Conflicts: 1007000 | #Constraints: 45594
1775.66/1781.80 c #Conflicts: 1008000 | #Constraints: 46599
1775.66/1781.80 c #Conflicts: 1009000 | #Constraints: 47599
1775.66/1781.80 c #Conflicts: 1010000 | #Constraints: 48601
1775.66/1781.80 c #Conflicts: 1011000 | #Constraints: 49602
1775.66/1781.80 c #Conflicts: 1012000 | #Constraints: 50602
1775.66/1781.80 c #Conflicts: 1013000 | #Constraints: 51603
1775.66/1781.80 c #Conflicts: 1014000 | #Constraints: 52605
1775.66/1781.80 c #Conflicts: 1015000 | #Constraints: 53606
1775.66/1781.80 c #Conflicts: 1016000 | #Constraints: 54607
1775.66/1781.80 c #Conflicts: 1017000 | #Constraints: 55607
1775.66/1781.80 c #Conflicts: 1018000 | #Constraints: 56607
1775.66/1781.80 c #Conflicts: 1019000 | #Constraints: 57608
1775.66/1781.80 c #Conflicts: 1020000 | #Constraints: 58608
1775.66/1781.80 c #Conflicts: 1021000 | #Constraints: 59608
1775.66/1781.80 c INPROCESSING
1775.66/1781.80 c GARBAGE COLLECT
1775.66/1781.80 c rational objective 6
1831.85/1838.25 c #Conflicts: 1022000 | #Constraints: 40557
1831.85/1838.25 c #Conflicts: 1023000 | #Constraints: 41557
1831.85/1838.25 c #Conflicts: 1024000 | #Constraints: 42558
1831.85/1838.25 c #Conflicts: 1025000 | #Constraints: 43561
1831.85/1838.25 c #Conflicts: 1026000 | #Constraints: 44566
1831.85/1838.25 c #Conflicts: 1027000 | #Constraints: 45571
1831.85/1838.25 c #Conflicts: 1028000 | #Constraints: 46581
1831.85/1838.25 c #Conflicts: 1029000 | #Constraints: 47591
1831.85/1838.25 c #Conflicts: 1030000 | #Constraints: 48595
1831.85/1838.25 c #Conflicts: 1031000 | #Constraints: 49597
1831.85/1838.25 c #Conflicts: 1032000 | #Constraints: 50600
1831.85/1838.25 c #Conflicts: 1033000 | #Constraints: 51604
1831.85/1838.25 c #Conflicts: 1034000 | #Constraints: 52607
1831.85/1838.25 c #Conflicts: 1035000 | #Constraints: 53608
1831.85/1838.25 c #Conflicts: 1036000 | #Constraints: 54609
1831.85/1838.25 c #Conflicts: 1037000 | #Constraints: 55611
1831.85/1838.25 c #Conflicts: 1038000 | #Constraints: 56611
1831.85/1838.25 c #Conflicts: 1039000 | #Constraints: 57612
1831.85/1838.25 c #Conflicts: 1040000 | #Constraints: 58614
1831.85/1838.25 c #Conflicts: 1041000 | #Constraints: 59616
1831.85/1838.25 c INPROCESSING
1831.85/1838.25 c GARBAGE COLLECT
1831.85/1838.25 c rational objective 6
1885.24/1891.89 c #Conflicts: 1042000 | #Constraints: 40379
1885.24/1891.89 c #Conflicts: 1043000 | #Constraints: 41379
1885.24/1891.89 c #Conflicts: 1044000 | #Constraints: 42388
1885.24/1891.89 c #Conflicts: 1045000 | #Constraints: 43400
1885.24/1891.89 c #Conflicts: 1046000 | #Constraints: 44403
1885.24/1891.89 c #Conflicts: 1047000 | #Constraints: 45411
1885.24/1891.89 c #Conflicts: 1048000 | #Constraints: 46413
1885.24/1891.89 c #Conflicts: 1049000 | #Constraints: 47415
1885.24/1891.89 c #Conflicts: 1050000 | #Constraints: 48417
1885.24/1891.89 c #Conflicts: 1051000 | #Constraints: 49419
1885.24/1891.89 c #Conflicts: 1052000 | #Constraints: 50420
1885.24/1891.89 c #Conflicts: 1053000 | #Constraints: 51422
1885.24/1891.89 c #Conflicts: 1054000 | #Constraints: 52424
1885.24/1891.89 c #Conflicts: 1055000 | #Constraints: 53424
1885.24/1891.89 c #Conflicts: 1056000 | #Constraints: 54425
1885.24/1891.89 c #Conflicts: 1057000 | #Constraints: 55427
1885.24/1891.89 c #Conflicts: 1058000 | #Constraints: 56428
1885.24/1891.89 c #Conflicts: 1059000 | #Constraints: 57428
1885.24/1891.89 c #Conflicts: 1060000 | #Constraints: 58429
1885.24/1891.89 c #Conflicts: 1061000 | #Constraints: 59430
1885.24/1891.89 c #Conflicts: 1062000 | #Constraints: 60430
1885.24/1891.89 c INPROCESSING
1885.24/1891.89 c GARBAGE COLLECT
1885.24/1891.89 c rational objective 6
1928.29/1935.10 c #Conflicts: 1063000 | #Constraints: 40968
1928.29/1935.10 c #Conflicts: 1064000 | #Constraints: 41968
1928.29/1935.10 c #Conflicts: 1065000 | #Constraints: 42971
1928.29/1935.10 c #Conflicts: 1066000 | #Constraints: 43976
1928.29/1935.10 c #Conflicts: 1067000 | #Constraints: 44981
1928.29/1935.10 c #Conflicts: 1068000 | #Constraints: 45992
1928.29/1935.10 c #Conflicts: 1069000 | #Constraints: 46994
1928.29/1935.10 c #Conflicts: 1070000 | #Constraints: 47997
1928.29/1935.10 c #Conflicts: 1071000 | #Constraints: 49000
1928.29/1935.10 c #Conflicts: 1072000 | #Constraints: 50003
1928.29/1935.10 c #Conflicts: 1073000 | #Constraints: 51008
1928.29/1935.10 c #Conflicts: 1074000 | #Constraints: 52012
1928.29/1935.10 c #Conflicts: 1075000 | #Constraints: 53018
1928.29/1935.10 c #Conflicts: 1076000 | #Constraints: 54021
1928.29/1935.10 c #Conflicts: 1077000 | #Constraints: 55024
1928.29/1935.10 c #Conflicts: 1078000 | #Constraints: 56030
1928.29/1935.10 c #Conflicts: 1079000 | #Constraints: 57031
1928.29/1935.10 c #Conflicts: 1080000 | #Constraints: 58036
1928.29/1935.10 c #Conflicts: 1081000 | #Constraints: 59038
1928.29/1935.10 c #Conflicts: 1082000 | #Constraints: 60041
1928.29/1935.10 c #Conflicts: 1083000 | #Constraints: 61042
1928.29/1935.10 c INPROCESSING
1928.29/1935.10 c GARBAGE COLLECT
1928.29/1935.10 c rational objective 6
2015.35/2022.44 c #Conflicts: 1084000 | #Constraints: 41397
2015.35/2022.44 c #Conflicts: 1085000 | #Constraints: 42402
2015.35/2022.44 c #Conflicts: 1086000 | #Constraints: 43406
2015.35/2022.44 c #Conflicts: 1087000 | #Constraints: 44409
2015.35/2022.44 c #Conflicts: 1088000 | #Constraints: 45414
2015.35/2022.44 c #Conflicts: 1089000 | #Constraints: 46417
2015.35/2022.44 c #Conflicts: 1090000 | #Constraints: 47420
2015.35/2022.44 c #Conflicts: 1091000 | #Constraints: 48422
2015.35/2022.44 c #Conflicts: 1092000 | #Constraints: 49424
2015.35/2022.44 c #Conflicts: 1093000 | #Constraints: 50425
2015.35/2022.44 c #Conflicts: 1094000 | #Constraints: 51426
2015.35/2022.44 c #Conflicts: 1095000 | #Constraints: 52427
2015.35/2022.44 c #Conflicts: 1096000 | #Constraints: 53428
2015.35/2022.44 c #Conflicts: 1097000 | #Constraints: 54429
2015.35/2022.44 c #Conflicts: 1098000 | #Constraints: 55429
2015.35/2022.44 c #Conflicts: 1099000 | #Constraints: 56431
2015.35/2022.44 c #Conflicts: 1100000 | #Constraints: 57431
2015.35/2022.44 c #Conflicts: 1101000 | #Constraints: 58432
2015.35/2022.44 c #Conflicts: 1102000 | #Constraints: 59433
2015.35/2022.44 c #Conflicts: 1103000 | #Constraints: 60434
2015.35/2022.44 c #Conflicts: 1104000 | #Constraints: 61434
2015.35/2022.44 c INPROCESSING
2015.35/2022.44 c GARBAGE COLLECT
2015.35/2022.44 c rational objective 6
2072.22/2079.55 c #Conflicts: 1105000 | #Constraints: 41601
2072.22/2079.55 c #Conflicts: 1106000 | #Constraints: 42601
2072.22/2079.55 c #Conflicts: 1107000 | #Constraints: 43605
2072.22/2079.55 c #Conflicts: 1108000 | #Constraints: 44608
2072.22/2079.55 c #Conflicts: 1109000 | #Constraints: 45611
2072.22/2079.55 c #Conflicts: 1110000 | #Constraints: 46612
2072.22/2079.55 c #Conflicts: 1111000 | #Constraints: 47613
2072.22/2079.55 c #Conflicts: 1112000 | #Constraints: 48615
2072.22/2079.55 c #Conflicts: 1113000 | #Constraints: 49615
2072.22/2079.55 c #Conflicts: 1114000 | #Constraints: 50615
2072.22/2079.55 c #Conflicts: 1115000 | #Constraints: 51615
2072.22/2079.55 c #Conflicts: 1116000 | #Constraints: 52616
2072.22/2079.55 c #Conflicts: 1117000 | #Constraints: 53617
2072.22/2079.55 c #Conflicts: 1118000 | #Constraints: 54617
2072.22/2079.55 c #Conflicts: 1119000 | #Constraints: 55618
2072.22/2079.55 c #Conflicts: 1120000 | #Constraints: 56618
2072.22/2079.55 c #Conflicts: 1121000 | #Constraints: 57618
2072.22/2079.55 c #Conflicts: 1122000 | #Constraints: 58619
2072.22/2079.55 c #Conflicts: 1123000 | #Constraints: 59619
2072.22/2079.55 c #Conflicts: 1124000 | #Constraints: 60619
2072.22/2079.55 c #Conflicts: 1125000 | #Constraints: 61619
2072.22/2079.55 c INPROCESSING
2072.22/2079.55 c GARBAGE COLLECT
2072.22/2079.55 c rational objective 6
2174.35/2182.10 c #Conflicts: 1126000 | #Constraints: 41565
2174.35/2182.10 c #Conflicts: 1127000 | #Constraints: 42565
2174.35/2182.10 c #Conflicts: 1128000 | #Constraints: 43565
2174.35/2182.10 c #Conflicts: 1129000 | #Constraints: 44565
2174.35/2182.10 c #Conflicts: 1130000 | #Constraints: 45565
2174.35/2182.10 c #Conflicts: 1131000 | #Constraints: 46565
2174.35/2182.10 c #Conflicts: 1132000 | #Constraints: 47565
2174.35/2182.10 c #Conflicts: 1133000 | #Constraints: 48565
2174.35/2182.10 c #Conflicts: 1134000 | #Constraints: 49565
2174.35/2182.10 c #Conflicts: 1135000 | #Constraints: 50566
2174.35/2182.10 c #Conflicts: 1136000 | #Constraints: 51566
2174.35/2182.10 c #Conflicts: 1137000 | #Constraints: 52566
2174.35/2182.10 c #Conflicts: 1138000 | #Constraints: 53567
2174.35/2182.10 c #Conflicts: 1139000 | #Constraints: 54567
2174.35/2182.10 c #Conflicts: 1140000 | #Constraints: 55567
2174.35/2182.10 c #Conflicts: 1141000 | #Constraints: 56567
2174.35/2182.10 c #Conflicts: 1142000 | #Constraints: 57568
2174.35/2182.10 c #Conflicts: 1143000 | #Constraints: 58568
2174.35/2182.10 c #Conflicts: 1144000 | #Constraints: 59568
2174.35/2182.10 c #Conflicts: 1145000 | #Constraints: 60568
2174.35/2182.10 c #Conflicts: 1146000 | #Constraints: 61568
2174.35/2182.10 c INPROCESSING
2174.35/2182.10 c GARBAGE COLLECT
2174.35/2182.10 c #Conflicts: 1147000 | #Constraints: 41397
2174.35/2182.10 c #Conflicts: 1148000 | #Constraints: 42397
2174.35/2182.10 c #Conflicts: 1149000 | #Constraints: 43397
2174.35/2182.10 c #Conflicts: 1150000 | #Constraints: 44398
2174.35/2182.10 c #Conflicts: 1151000 | #Constraints: 45398
2174.35/2182.10 c #Conflicts: 1152000 | #Constraints: 46398
2174.35/2182.10 c #Conflicts: 1153000 | #Constraints: 47398
2174.35/2182.10 c #Conflicts: 1154000 | #Constraints: 48399
2174.35/2182.10 c #Conflicts: 1155000 | #Constraints: 49399
2174.35/2182.10 c #Conflicts: 1156000 | #Constraints: 50399
2174.35/2182.10 c #Conflicts: 1157000 | #Constraints: 51399
2174.35/2182.10 c #Conflicts: 1158000 | #Constraints: 52400
2174.35/2182.10 c #Conflicts: 1159000 | #Constraints: 53400
2174.35/2182.10 c #Conflicts: 1160000 | #Constraints: 54400
2174.35/2182.10 c #Conflicts: 1161000 | #Constraints: 55400
2174.35/2182.10 c #Conflicts: 1162000 | #Constraints: 56401
2174.35/2182.10 c #Conflicts: 1163000 | #Constraints: 57401
2174.35/2182.10 c #Conflicts: 1164000 | #Constraints: 58402
2174.35/2182.10 c #Conflicts: 1165000 | #Constraints: 59403
2174.35/2182.10 c #Conflicts: 1166000 | #Constraints: 60404
2174.35/2182.10 c #Conflicts: 1167000 | #Constraints: 61405
2174.35/2182.10 c #Conflicts: 1168000 | #Constraints: 62405
2174.35/2182.10 c INPROCESSING
2174.35/2182.10 c GARBAGE COLLECT
2174.35/2182.10 c rational objective 6
2217.37/2225.25 c #Conflicts: 1169000 | #Constraints: 41970
2217.37/2225.25 c #Conflicts: 1170000 | #Constraints: 42970
2217.37/2225.25 c #Conflicts: 1171000 | #Constraints: 43971
2217.37/2225.25 c #Conflicts: 1172000 | #Constraints: 44971
2217.37/2225.25 c #Conflicts: 1173000 | #Constraints: 45974
2217.37/2225.25 c #Conflicts: 1174000 | #Constraints: 46978
2217.37/2225.25 c #Conflicts: 1175000 | #Constraints: 47984
2217.37/2225.25 c #Conflicts: 1176000 | #Constraints: 48991
2217.37/2225.25 c #Conflicts: 1177000 | #Constraints: 49999
2217.37/2225.25 c #Conflicts: 1178000 | #Constraints: 51004
2217.37/2225.25 c #Conflicts: 1179000 | #Constraints: 52008
2217.37/2225.25 c #Conflicts: 1180000 | #Constraints: 53011
2217.37/2225.25 c #Conflicts: 1181000 | #Constraints: 54012
2217.37/2225.25 c #Conflicts: 1182000 | #Constraints: 55015
2217.37/2225.25 c #Conflicts: 1183000 | #Constraints: 56016
2217.37/2225.25 c #Conflicts: 1184000 | #Constraints: 57017
2217.37/2225.25 c #Conflicts: 1185000 | #Constraints: 58018
2217.37/2225.25 c #Conflicts: 1186000 | #Constraints: 59019
2217.37/2225.25 c #Conflicts: 1187000 | #Constraints: 60019
2217.37/2225.25 c #Conflicts: 1188000 | #Constraints: 61020
2217.37/2225.25 c #Conflicts: 1189000 | #Constraints: 62020
2217.37/2225.25 c #Conflicts: 1190000 | #Constraints: 63021
2217.37/2225.25 c INPROCESSING
2217.37/2225.25 c GARBAGE COLLECT
2217.37/2225.25 c rational objective 6
2256.33/2264.32 c #Conflicts: 1191000 | #Constraints: 42394
2256.33/2264.32 c #Conflicts: 1192000 | #Constraints: 43395
2256.33/2264.32 c #Conflicts: 1193000 | #Constraints: 44398
2256.33/2264.32 c #Conflicts: 1194000 | #Constraints: 45400
2256.33/2264.32 c #Conflicts: 1195000 | #Constraints: 46403
2256.33/2264.32 c #Conflicts: 1196000 | #Constraints: 47404
2256.33/2264.32 c #Conflicts: 1197000 | #Constraints: 48407
2256.33/2264.32 c #Conflicts: 1198000 | #Constraints: 49409
2256.33/2264.32 c #Conflicts: 1199000 | #Constraints: 50413
2256.33/2264.32 c #Conflicts: 1200000 | #Constraints: 51415
2256.33/2264.32 c #Conflicts: 1201000 | #Constraints: 52417
2256.33/2264.32 c #Conflicts: 1202000 | #Constraints: 53418
2256.33/2264.32 c #Conflicts: 1203000 | #Constraints: 54420
2256.33/2264.32 c #Conflicts: 1204000 | #Constraints: 55421
2256.33/2264.32 c #Conflicts: 1205000 | #Constraints: 56423
2256.33/2264.32 c #Conflicts: 1206000 | #Constraints: 57424
2256.33/2264.32 c #Conflicts: 1207000 | #Constraints: 58425
2256.33/2264.32 c #Conflicts: 1208000 | #Constraints: 59425
2256.33/2264.32 c #Conflicts: 1209000 | #Constraints: 60427
2256.33/2264.32 c #Conflicts: 1210000 | #Constraints: 61428
2256.33/2264.32 c #Conflicts: 1211000 | #Constraints: 62429
2256.33/2264.32 c #Conflicts: 1212000 | #Constraints: 63429
2256.33/2264.32 c INPROCESSING
2256.33/2264.32 c GARBAGE COLLECT
2256.33/2264.32 c rational objective 6
2368.80/2377.24 c #Conflicts: 1213000 | #Constraints: 42616
2368.80/2377.24 c #Conflicts: 1214000 | #Constraints: 43625
2368.80/2377.24 c #Conflicts: 1215000 | #Constraints: 44632
2368.80/2377.24 c #Conflicts: 1216000 | #Constraints: 45638
2368.80/2377.24 c #Conflicts: 1217000 | #Constraints: 46642
2368.80/2377.24 c #Conflicts: 1218000 | #Constraints: 47643
2368.80/2377.24 c #Conflicts: 1219000 | #Constraints: 48650
2368.80/2377.24 c #Conflicts: 1220000 | #Constraints: 49654
2368.80/2377.24 c #Conflicts: 1221000 | #Constraints: 50656
2368.80/2377.24 c #Conflicts: 1222000 | #Constraints: 51659
2368.80/2377.24 c #Conflicts: 1223000 | #Constraints: 52660
2368.80/2377.24 c #Conflicts: 1224000 | #Constraints: 53661
2368.80/2377.24 c #Conflicts: 1225000 | #Constraints: 54662
2368.80/2377.24 c #Conflicts: 1226000 | #Constraints: 55662
2368.80/2377.24 c #Conflicts: 1227000 | #Constraints: 56662
2368.80/2377.24 c #Conflicts: 1228000 | #Constraints: 57662
2368.80/2377.24 c #Conflicts: 1229000 | #Constraints: 58663
2368.80/2377.24 c #Conflicts: 1230000 | #Constraints: 59664
2368.80/2377.24 c #Conflicts: 1231000 | #Constraints: 60664
2368.80/2377.24 c #Conflicts: 1232000 | #Constraints: 61665
2368.80/2377.24 c #Conflicts: 1233000 | #Constraints: 62666
2368.80/2377.24 c #Conflicts: 1234000 | #Constraints: 63666
2368.80/2377.24 c INPROCESSING
2368.80/2377.24 c GARBAGE COLLECT
2368.80/2377.24 c rational objective 6
2419.71/2428.33 c #Conflicts: 1235000 | #Constraints: 42612
2419.71/2428.33 c #Conflicts: 1236000 | #Constraints: 43612
2419.71/2428.33 c #Conflicts: 1237000 | #Constraints: 44619
2419.71/2428.33 c #Conflicts: 1238000 | #Constraints: 45625
2419.71/2428.33 c #Conflicts: 1239000 | #Constraints: 46630
2419.71/2428.33 c #Conflicts: 1240000 | #Constraints: 47634
2419.71/2428.33 c #Conflicts: 1241000 | #Constraints: 48636
2419.71/2428.33 c #Conflicts: 1242000 | #Constraints: 49639
2419.71/2428.33 c #Conflicts: 1243000 | #Constraints: 50642
2419.71/2428.33 c #Conflicts: 1244000 | #Constraints: 51643
2419.71/2428.33 c #Conflicts: 1245000 | #Constraints: 52644
2419.71/2428.33 c #Conflicts: 1246000 | #Constraints: 53645
2419.71/2428.33 c #Conflicts: 1247000 | #Constraints: 54646
2419.71/2428.33 c #Conflicts: 1248000 | #Constraints: 55648
2419.71/2428.33 c #Conflicts: 1249000 | #Constraints: 56650
2419.71/2428.33 c #Conflicts: 1250000 | #Constraints: 57651
2419.71/2428.33 c #Conflicts: 1251000 | #Constraints: 58651
2419.71/2428.33 c #Conflicts: 1252000 | #Constraints: 59652
2419.71/2428.33 c #Conflicts: 1253000 | #Constraints: 60652
2419.71/2428.33 c #Conflicts: 1254000 | #Constraints: 61652
2419.71/2428.33 c #Conflicts: 1255000 | #Constraints: 62653
2419.71/2428.33 c #Conflicts: 1256000 | #Constraints: 63654
2419.71/2428.33 c INPROCESSING
2419.71/2428.33 c GARBAGE COLLECT
2419.71/2428.33 c rational objective 6
2470.61/2479.47 c #Conflicts: 1257000 | #Constraints: 42407
2470.61/2479.47 c #Conflicts: 1258000 | #Constraints: 43408
2470.61/2479.47 c #Conflicts: 1259000 | #Constraints: 44409
2470.61/2479.47 c #Conflicts: 1260000 | #Constraints: 45415
2470.61/2479.47 c #Conflicts: 1261000 | #Constraints: 46423
2470.61/2479.47 c #Conflicts: 1262000 | #Constraints: 47423
2470.61/2479.47 c #Conflicts: 1263000 | #Constraints: 48424
2470.61/2479.47 c #Conflicts: 1264000 | #Constraints: 49425
2470.61/2479.47 c #Conflicts: 1265000 | #Constraints: 50427
2470.61/2479.47 c #Conflicts: 1266000 | #Constraints: 51428
2470.61/2479.47 c #Conflicts: 1267000 | #Constraints: 52430
2470.61/2479.47 c #Conflicts: 1268000 | #Constraints: 53431
2470.61/2479.47 c #Conflicts: 1269000 | #Constraints: 54433
2470.61/2479.47 c #Conflicts: 1270000 | #Constraints: 55434
2470.61/2479.47 c #Conflicts: 1271000 | #Constraints: 56434
2470.61/2479.47 c #Conflicts: 1272000 | #Constraints: 57435
2470.61/2479.47 c #Conflicts: 1273000 | #Constraints: 58436
2470.61/2479.47 c #Conflicts: 1274000 | #Constraints: 59437
2470.61/2479.47 c #Conflicts: 1275000 | #Constraints: 60439
2470.61/2479.47 c #Conflicts: 1276000 | #Constraints: 61441
2470.61/2479.47 c #Conflicts: 1277000 | #Constraints: 62441
2470.61/2479.47 c #Conflicts: 1278000 | #Constraints: 63442
2470.61/2479.47 c #Conflicts: 1279000 | #Constraints: 64442
2470.61/2479.47 c INPROCESSING
2470.61/2479.47 c GARBAGE COLLECT
2470.61/2479.47 c rational objective 6
2519.14/2528.19 c #Conflicts: 1280000 | #Constraints: 42979
2519.14/2528.19 c #Conflicts: 1281000 | #Constraints: 43980
2519.14/2528.19 c #Conflicts: 1282000 | #Constraints: 44982
2519.14/2528.19 c #Conflicts: 1283000 | #Constraints: 45990
2519.14/2528.19 c #Conflicts: 1284000 | #Constraints: 46993
2519.14/2528.19 c #Conflicts: 1285000 | #Constraints: 47995
2519.14/2528.19 c #Conflicts: 1286000 | #Constraints: 48996
2519.14/2528.19 c #Conflicts: 1287000 | #Constraints: 49997
2519.14/2528.19 c #Conflicts: 1288000 | #Constraints: 50999
2519.14/2528.19 c #Conflicts: 1289000 | #Constraints: 52000
2519.14/2528.19 c #Conflicts: 1290000 | #Constraints: 53001
2519.14/2528.19 c #Conflicts: 1291000 | #Constraints: 54002
2519.14/2528.19 c #Conflicts: 1292000 | #Constraints: 55003
2519.14/2528.19 c #Conflicts: 1293000 | #Constraints: 56005
2519.14/2528.19 c #Conflicts: 1294000 | #Constraints: 57006
2519.14/2528.19 c #Conflicts: 1295000 | #Constraints: 58007
2519.14/2528.19 c #Conflicts: 1296000 | #Constraints: 59007
2519.14/2528.19 c #Conflicts: 1297000 | #Constraints: 60008
2519.14/2528.19 c #Conflicts: 1298000 | #Constraints: 61009
2519.14/2528.19 c #Conflicts: 1299000 | #Constraints: 62009
2519.14/2528.19 c #Conflicts: 1300000 | #Constraints: 63009
2519.14/2528.19 c #Conflicts: 1301000 | #Constraints: 64010
2519.14/2528.19 c #Conflicts: 1302000 | #Constraints: 65010
2519.14/2528.19 c INPROCESSING
2519.14/2528.19 c GARBAGE COLLECT
2519.14/2528.19 c rational objective 6
2572.62/2581.84 c #Conflicts: 1303000 | #Constraints: 43391
2572.62/2581.84 c #Conflicts: 1304000 | #Constraints: 44391
2572.62/2581.84 c #Conflicts: 1305000 | #Constraints: 45395
2572.62/2581.84 c #Conflicts: 1306000 | #Constraints: 46400
2572.62/2581.84 c #Conflicts: 1307000 | #Constraints: 47404
2572.62/2581.84 c #Conflicts: 1308000 | #Constraints: 48407
2572.62/2581.84 c #Conflicts: 1309000 | #Constraints: 49408
2572.62/2581.84 c #Conflicts: 1310000 | #Constraints: 50410
2572.62/2581.84 c #Conflicts: 1311000 | #Constraints: 51410
2572.62/2581.84 c #Conflicts: 1312000 | #Constraints: 52412
2572.62/2581.84 c #Conflicts: 1313000 | #Constraints: 53414
2572.62/2581.84 c #Conflicts: 1314000 | #Constraints: 54414
2572.62/2581.84 c #Conflicts: 1315000 | #Constraints: 55416
2572.62/2581.84 c #Conflicts: 1316000 | #Constraints: 56417
2572.62/2581.84 c #Conflicts: 1317000 | #Constraints: 57419
2572.62/2581.84 c #Conflicts: 1318000 | #Constraints: 58421
2572.62/2581.84 c #Conflicts: 1319000 | #Constraints: 59422
2572.62/2581.84 c #Conflicts: 1320000 | #Constraints: 60424
2572.62/2581.84 c #Conflicts: 1321000 | #Constraints: 61425
2572.62/2581.84 c #Conflicts: 1322000 | #Constraints: 62426
2572.62/2581.84 c #Conflicts: 1323000 | #Constraints: 63428
2572.62/2581.84 c #Conflicts: 1324000 | #Constraints: 64429
2572.62/2581.84 c #Conflicts: 1325000 | #Constraints: 65429
2572.62/2581.84 c INPROCESSING
2572.62/2581.84 c GARBAGE COLLECT
2572.62/2581.84 c rational objective 6
2626.91/2636.30 c #Conflicts: 1326000 | #Constraints: 43603
2626.91/2636.30 c #Conflicts: 1327000 | #Constraints: 44604
2626.91/2636.30 c #Conflicts: 1328000 | #Constraints: 45605
2626.91/2636.30 c #Conflicts: 1329000 | #Constraints: 46608
2626.91/2636.30 c #Conflicts: 1330000 | #Constraints: 47609
2626.91/2636.30 c #Conflicts: 1331000 | #Constraints: 48612
2626.91/2636.30 c #Conflicts: 1332000 | #Constraints: 49614
2626.91/2636.30 c #Conflicts: 1333000 | #Constraints: 50616
2626.91/2636.30 c #Conflicts: 1334000 | #Constraints: 51623
2626.91/2636.30 c #Conflicts: 1335000 | #Constraints: 52630
2626.91/2636.30 c #Conflicts: 1336000 | #Constraints: 53635
2626.91/2636.30 c #Conflicts: 1337000 | #Constraints: 54638
2626.91/2636.30 c #Conflicts: 1338000 | #Constraints: 55642
2626.91/2636.30 c #Conflicts: 1339000 | #Constraints: 56644
2626.91/2636.30 c #Conflicts: 1340000 | #Constraints: 57646
2626.91/2636.30 c #Conflicts: 1341000 | #Constraints: 58646
2626.91/2636.30 c #Conflicts: 1342000 | #Constraints: 59647
2626.91/2636.30 c #Conflicts: 1343000 | #Constraints: 60650
2626.91/2636.30 c #Conflicts: 1344000 | #Constraints: 61652
2626.91/2636.30 c #Conflicts: 1345000 | #Constraints: 62653
2626.91/2636.30 c #Conflicts: 1346000 | #Constraints: 63653
2626.91/2636.30 c #Conflicts: 1347000 | #Constraints: 64653
2626.91/2636.30 c #Conflicts: 1348000 | #Constraints: 65653
2626.91/2636.30 c INPROCESSING
2626.91/2636.30 c GARBAGE COLLECT
2626.91/2636.30 c rational objective 6
2685.10/2694.75 c #Conflicts: 1349000 | #Constraints: 43603
2685.10/2694.75 c #Conflicts: 1350000 | #Constraints: 44603
2685.10/2694.75 c #Conflicts: 1351000 | #Constraints: 45604
2685.10/2694.75 c #Conflicts: 1352000 | #Constraints: 46604
2685.10/2694.75 c #Conflicts: 1353000 | #Constraints: 47605
2685.10/2694.75 c #Conflicts: 1354000 | #Constraints: 48605
2685.10/2694.75 c #Conflicts: 1355000 | #Constraints: 49605
2685.10/2694.75 c #Conflicts: 1356000 | #Constraints: 50605
2685.10/2694.75 c #Conflicts: 1357000 | #Constraints: 51605
2685.10/2694.75 c #Conflicts: 1358000 | #Constraints: 52606
2685.10/2694.75 c #Conflicts: 1359000 | #Constraints: 53606
2685.10/2694.75 c #Conflicts: 1360000 | #Constraints: 54606
2685.10/2694.75 c #Conflicts: 1361000 | #Constraints: 55607
2685.10/2694.75 c #Conflicts: 1362000 | #Constraints: 56607
2685.10/2694.75 c #Conflicts: 1363000 | #Constraints: 57608
2685.10/2694.75 c #Conflicts: 1364000 | #Constraints: 58609
2685.10/2694.75 c #Conflicts: 1365000 | #Constraints: 59609
2685.10/2694.75 c #Conflicts: 1366000 | #Constraints: 60609
2685.10/2694.75 c #Conflicts: 1367000 | #Constraints: 61610
2685.10/2694.75 c #Conflicts: 1368000 | #Constraints: 62611
2685.10/2694.75 c #Conflicts: 1369000 | #Constraints: 63611
2685.10/2694.75 c #Conflicts: 1370000 | #Constraints: 64611
2685.10/2694.75 c #Conflicts: 1371000 | #Constraints: 65611
2685.10/2694.75 c INPROCESSING
2685.10/2694.75 c GARBAGE COLLECT
2685.10/2694.75 c rational objective 6
2733.93/2743.70 c #Conflicts: 1372000 | #Constraints: 43384
2733.93/2743.70 c #Conflicts: 1373000 | #Constraints: 44384
2733.93/2743.70 c #Conflicts: 1374000 | #Constraints: 45384
2733.93/2743.70 c #Conflicts: 1375000 | #Constraints: 46384
2733.93/2743.70 c #Conflicts: 1376000 | #Constraints: 47385
2733.93/2743.70 c #Conflicts: 1377000 | #Constraints: 48389
2733.93/2743.70 c #Conflicts: 1378000 | #Constraints: 49390
2733.93/2743.70 c #Conflicts: 1379000 | #Constraints: 50393
2733.93/2743.70 c #Conflicts: 1380000 | #Constraints: 51395
2733.93/2743.70 c #Conflicts: 1381000 | #Constraints: 52396
2733.93/2743.70 c #Conflicts: 1382000 | #Constraints: 53397
2733.93/2743.70 c #Conflicts: 1383000 | #Constraints: 54398
2733.93/2743.70 c #Conflicts: 1384000 | #Constraints: 55399
2733.93/2743.70 c #Conflicts: 1385000 | #Constraints: 56399
2733.93/2743.70 c #Conflicts: 1386000 | #Constraints: 57399
2733.93/2743.70 c #Conflicts: 1387000 | #Constraints: 58399
2733.93/2743.70 c #Conflicts: 1388000 | #Constraints: 59399
2733.93/2743.70 c #Conflicts: 1389000 | #Constraints: 60400
2733.93/2743.70 c #Conflicts: 1390000 | #Constraints: 61400
2733.93/2743.70 c #Conflicts: 1391000 | #Constraints: 62401
2733.93/2743.70 c #Conflicts: 1392000 | #Constraints: 63401
2733.93/2743.70 c #Conflicts: 1393000 | #Constraints: 64401
2733.93/2743.70 c #Conflicts: 1394000 | #Constraints: 65402
2733.93/2743.70 c #Conflicts: 1395000 | #Constraints: 66402
2733.93/2743.70 c INPROCESSING
2733.93/2743.70 c GARBAGE COLLECT
2733.93/2743.70 c rational objective 6
2782.86/2792.82 c #Conflicts: 1396000 | #Constraints: 43992
2782.86/2792.82 c #Conflicts: 1397000 | #Constraints: 44992
2782.86/2792.82 c #Conflicts: 1398000 | #Constraints: 45992
2782.86/2792.82 c #Conflicts: 1399000 | #Constraints: 46992
2782.86/2792.82 c #Conflicts: 1400000 | #Constraints: 47993
2782.86/2792.82 c #Conflicts: 1401000 | #Constraints: 48993
2782.86/2792.82 c #Conflicts: 1402000 | #Constraints: 49993
2782.86/2792.82 c #Conflicts: 1403000 | #Constraints: 50993
2782.86/2792.82 c #Conflicts: 1404000 | #Constraints: 51994
2782.86/2792.82 c #Conflicts: 1405000 | #Constraints: 52995
2782.86/2792.82 c #Conflicts: 1406000 | #Constraints: 53999
2782.86/2792.82 c #Conflicts: 1407000 | #Constraints: 55005
2782.86/2792.82 c #Conflicts: 1408000 | #Constraints: 56007
2782.86/2792.82 c #Conflicts: 1409000 | #Constraints: 57007
2782.86/2792.82 c #Conflicts: 1410000 | #Constraints: 58007
2782.86/2792.82 c #Conflicts: 1411000 | #Constraints: 59008
2782.86/2792.82 c #Conflicts: 1412000 | #Constraints: 60009
2782.86/2792.82 c #Conflicts: 1413000 | #Constraints: 61009
2782.86/2792.82 c #Conflicts: 1414000 | #Constraints: 62010
2782.86/2792.82 c #Conflicts: 1415000 | #Constraints: 63010
2782.86/2792.82 c #Conflicts: 1416000 | #Constraints: 64011
2782.86/2792.82 c #Conflicts: 1417000 | #Constraints: 65011
2782.86/2792.82 c #Conflicts: 1418000 | #Constraints: 66011
2782.86/2792.82 c #Conflicts: 1419000 | #Constraints: 67011
2782.86/2792.82 c INPROCESSING
2782.86/2792.82 c GARBAGE COLLECT
2782.86/2792.82 c rational objective 6
2831.59/2841.72 c #Conflicts: 1420000 | #Constraints: 44379
2831.59/2841.72 c #Conflicts: 1421000 | #Constraints: 45379
2831.59/2841.72 c #Conflicts: 1422000 | #Constraints: 46382
2831.59/2841.72 c #Conflicts: 1423000 | #Constraints: 47385
2831.59/2841.72 c #Conflicts: 1424000 | #Constraints: 48386
2831.59/2841.72 c #Conflicts: 1425000 | #Constraints: 49390
2831.59/2841.72 c #Conflicts: 1426000 | #Constraints: 50393
2831.59/2841.72 c #Conflicts: 1427000 | #Constraints: 51395
2831.59/2841.72 c #Conflicts: 1428000 | #Constraints: 52396
2831.59/2841.72 c #Conflicts: 1429000 | #Constraints: 53396
2831.59/2841.72 c #Conflicts: 1430000 | #Constraints: 54397
2831.59/2841.72 c #Conflicts: 1431000 | #Constraints: 55397
2831.59/2841.72 c #Conflicts: 1432000 | #Constraints: 56397
2831.59/2841.72 c #Conflicts: 1433000 | #Constraints: 57398
2831.59/2841.72 c #Conflicts: 1434000 | #Constraints: 58398
2831.59/2841.72 c #Conflicts: 1435000 | #Constraints: 59399
2831.59/2841.72 c #Conflicts: 1436000 | #Constraints: 60399
2831.59/2841.72 c #Conflicts: 1437000 | #Constraints: 61399
2831.59/2841.72 c #Conflicts: 1438000 | #Constraints: 62400
2831.59/2841.72 c #Conflicts: 1439000 | #Constraints: 63400
2831.59/2841.72 c #Conflicts: 1440000 | #Constraints: 64401
2831.59/2841.72 c #Conflicts: 1441000 | #Constraints: 65401
2831.59/2841.72 c #Conflicts: 1442000 | #Constraints: 66401
2831.59/2841.72 c #Conflicts: 1443000 | #Constraints: 67402
2831.59/2841.72 c INPROCESSING
2831.59/2841.72 c GARBAGE COLLECT
2831.59/2841.72 c rational objective 6
2899.07/2909.46 c #Conflicts: 1444000 | #Constraints: 44579
2899.07/2909.46 c #Conflicts: 1445000 | #Constraints: 45581
2899.07/2909.46 c #Conflicts: 1446000 | #Constraints: 46582
2899.07/2909.46 c #Conflicts: 1447000 | #Constraints: 47584
2899.07/2909.46 c #Conflicts: 1448000 | #Constraints: 48587
2899.07/2909.46 c #Conflicts: 1449000 | #Constraints: 49589
2899.07/2909.46 c #Conflicts: 1450000 | #Constraints: 50590
2899.07/2909.46 c #Conflicts: 1451000 | #Constraints: 51591
2899.07/2909.46 c #Conflicts: 1452000 | #Constraints: 52594
2899.07/2909.46 c #Conflicts: 1453000 | #Constraints: 53596
2899.07/2909.46 c #Conflicts: 1454000 | #Constraints: 54597
2899.07/2909.46 c #Conflicts: 1455000 | #Constraints: 55599
2899.07/2909.46 c #Conflicts: 1456000 | #Constraints: 56600
2899.07/2909.46 c #Conflicts: 1457000 | #Constraints: 57601
2899.07/2909.46 c #Conflicts: 1458000 | #Constraints: 58602
2899.07/2909.46 c #Conflicts: 1459000 | #Constraints: 59602
2899.07/2909.46 c #Conflicts: 1460000 | #Constraints: 60602
2899.07/2909.46 c #Conflicts: 1461000 | #Constraints: 61602
2899.07/2909.46 c #Conflicts: 1462000 | #Constraints: 62603
2899.07/2909.46 c #Conflicts: 1463000 | #Constraints: 63604
2899.07/2909.46 c #Conflicts: 1464000 | #Constraints: 64604
2899.07/2909.46 c #Conflicts: 1465000 | #Constraints: 65606
2899.07/2909.46 c #Conflicts: 1466000 | #Constraints: 66606
2899.07/2909.46 c #Conflicts: 1467000 | #Constraints: 67606
2899.07/2909.46 c INPROCESSING
2899.07/2909.46 c GARBAGE COLLECT
2899.07/2909.46 c rational objective 6
2956.39/2967.00 c #Conflicts: 1468000 | #Constraints: 44591
2956.39/2967.00 c #Conflicts: 1469000 | #Constraints: 45591
2956.39/2967.00 c #Conflicts: 1470000 | #Constraints: 46592
2956.39/2967.00 c #Conflicts: 1471000 | #Constraints: 47592
2956.39/2967.00 c #Conflicts: 1472000 | #Constraints: 48596
2956.39/2967.00 c #Conflicts: 1473000 | #Constraints: 49598
2956.39/2967.00 c #Conflicts: 1474000 | #Constraints: 50599
2956.39/2967.00 c #Conflicts: 1475000 | #Constraints: 51602
2956.39/2967.00 c #Conflicts: 1476000 | #Constraints: 52604
2956.39/2967.00 c #Conflicts: 1477000 | #Constraints: 53606
2956.39/2967.00 c #Conflicts: 1478000 | #Constraints: 54608
2956.39/2967.00 c #Conflicts: 1479000 | #Constraints: 55609
2956.39/2967.00 c #Conflicts: 1480000 | #Constraints: 56610
2956.39/2967.00 c #Conflicts: 1481000 | #Constraints: 57610
2956.39/2967.00 c #Conflicts: 1482000 | #Constraints: 58610
2956.39/2967.00 c #Conflicts: 1483000 | #Constraints: 59610
2956.39/2967.00 c #Conflicts: 1484000 | #Constraints: 60611
2956.39/2967.00 c #Conflicts: 1485000 | #Constraints: 61612
2956.39/2967.00 c #Conflicts: 1486000 | #Constraints: 62612
2956.39/2967.00 c #Conflicts: 1487000 | #Constraints: 63613
2956.39/2967.00 c #Conflicts: 1488000 | #Constraints: 64614
2956.39/2967.00 c #Conflicts: 1489000 | #Constraints: 65614
2956.39/2967.00 c #Conflicts: 1490000 | #Constraints: 66615
2956.39/2967.00 c #Conflicts: 1491000 | #Constraints: 67615
2956.39/2967.00 c INPROCESSING
2956.39/2967.00 c GARBAGE COLLECT
2956.39/2967.00 c rational objective 6
3026.46/3037.29 c #Conflicts: 1492000 | #Constraints: 44382
3026.46/3037.29 c #Conflicts: 1493000 | #Constraints: 45383
3026.46/3037.29 c #Conflicts: 1494000 | #Constraints: 46384
3026.46/3037.29 c #Conflicts: 1495000 | #Constraints: 47389
3026.46/3037.29 c #Conflicts: 1496000 | #Constraints: 48393
3026.46/3037.29 c #Conflicts: 1497000 | #Constraints: 49394
3026.46/3037.29 c #Conflicts: 1498000 | #Constraints: 50397
3026.46/3037.29 c #Conflicts: 1499000 | #Constraints: 51398
3026.46/3037.29 c #Conflicts: 1500000 | #Constraints: 52401
3026.46/3037.29 c #Conflicts: 1501000 | #Constraints: 53404
3026.46/3037.29 c #Conflicts: 1502000 | #Constraints: 54406
3026.46/3037.29 c #Conflicts: 1503000 | #Constraints: 55407
3026.46/3037.29 c #Conflicts: 1504000 | #Constraints: 56408
3026.46/3037.29 c #Conflicts: 1505000 | #Constraints: 57410
3026.46/3037.29 c #Conflicts: 1506000 | #Constraints: 58411
3026.46/3037.29 c #Conflicts: 1507000 | #Constraints: 59412
3026.46/3037.29 c #Conflicts: 1508000 | #Constraints: 60412
3026.46/3037.29 c #Conflicts: 1509000 | #Constraints: 61413
3026.46/3037.29 c #Conflicts: 1510000 | #Constraints: 62413
3026.46/3037.29 c #Conflicts: 1511000 | #Constraints: 63414
3026.46/3037.29 c #Conflicts: 1512000 | #Constraints: 64414
3026.46/3037.29 c #Conflicts: 1513000 | #Constraints: 65414
3026.46/3037.29 c #Conflicts: 1514000 | #Constraints: 66415
3026.46/3037.29 c #Conflicts: 1515000 | #Constraints: 67415
3026.46/3037.29 c #Conflicts: 1516000 | #Constraints: 68415
3026.46/3037.29 c INPROCESSING
3026.46/3037.29 c GARBAGE COLLECT
3026.46/3037.29 c rational objective 6
3094.05/3105.08 c #Conflicts: 1517000 | #Constraints: 44995
3094.05/3105.08 c #Conflicts: 1518000 | #Constraints: 45995
3094.05/3105.08 c #Conflicts: 1519000 | #Constraints: 46996
3094.05/3105.08 c #Conflicts: 1520000 | #Constraints: 47996
3094.05/3105.08 c #Conflicts: 1521000 | #Constraints: 48998
3094.05/3105.08 c #Conflicts: 1522000 | #Constraints: 50000
3094.05/3105.08 c #Conflicts: 1523000 | #Constraints: 51001
3094.05/3105.08 c #Conflicts: 1524000 | #Constraints: 52002
3094.05/3105.08 c #Conflicts: 1525000 | #Constraints: 53004
3094.05/3105.08 c #Conflicts: 1526000 | #Constraints: 54004
3094.05/3105.08 c #Conflicts: 1527000 | #Constraints: 55006
3094.05/3105.08 c #Conflicts: 1528000 | #Constraints: 56007
3094.05/3105.08 c #Conflicts: 1529000 | #Constraints: 57007
3094.05/3105.08 c #Conflicts: 1530000 | #Constraints: 58008
3094.05/3105.08 c #Conflicts: 1531000 | #Constraints: 59008
3094.05/3105.08 c #Conflicts: 1532000 | #Constraints: 60009
3094.05/3105.08 c #Conflicts: 1533000 | #Constraints: 61009
3094.05/3105.08 c #Conflicts: 1534000 | #Constraints: 62010
3094.05/3105.08 c #Conflicts: 1535000 | #Constraints: 63010
3094.05/3105.08 c #Conflicts: 1536000 | #Constraints: 64010
3094.05/3105.08 c #Conflicts: 1537000 | #Constraints: 65010
3094.05/3105.08 c #Conflicts: 1538000 | #Constraints: 66010
3094.05/3105.08 c #Conflicts: 1539000 | #Constraints: 67011
3094.05/3105.08 c #Conflicts: 1540000 | #Constraints: 68011
3094.05/3105.08 c #Conflicts: 1541000 | #Constraints: 69011
3094.05/3105.08 c INPROCESSING
3094.05/3105.08 c GARBAGE COLLECT
3094.05/3105.08 c rational objective 6
3178.27/3189.57 c #Conflicts: 1542000 | #Constraints: 45389
3178.27/3189.57 c #Conflicts: 1543000 | #Constraints: 46390
3178.27/3189.57 c #Conflicts: 1544000 | #Constraints: 47392
3178.27/3189.57 c #Conflicts: 1545000 | #Constraints: 48395
3178.27/3189.57 c #Conflicts: 1546000 | #Constraints: 49397
3178.27/3189.57 c #Conflicts: 1547000 | #Constraints: 50398
3178.27/3189.57 c #Conflicts: 1548000 | #Constraints: 51398
3178.27/3189.57 c #Conflicts: 1549000 | #Constraints: 52398
3178.27/3189.57 c #Conflicts: 1550000 | #Constraints: 53399
3178.27/3189.57 c #Conflicts: 1551000 | #Constraints: 54400
3178.27/3189.57 c #Conflicts: 1552000 | #Constraints: 55403
3178.27/3189.57 c #Conflicts: 1553000 | #Constraints: 56405
3178.27/3189.57 c #Conflicts: 1554000 | #Constraints: 57408
3178.27/3189.57 c #Conflicts: 1555000 | #Constraints: 58412
3178.27/3189.57 c #Conflicts: 1556000 | #Constraints: 59415
3178.27/3189.57 c #Conflicts: 1557000 | #Constraints: 60416
3178.27/3189.57 c #Conflicts: 1558000 | #Constraints: 61422
3178.27/3189.57 c #Conflicts: 1559000 | #Constraints: 62424
3178.27/3189.57 c #Conflicts: 1560000 | #Constraints: 63425
3178.27/3189.57 c #Conflicts: 1561000 | #Constraints: 64428
3178.27/3189.57 c #Conflicts: 1562000 | #Constraints: 65428
3178.27/3189.57 c #Conflicts: 1563000 | #Constraints: 66429
3178.27/3189.57 c #Conflicts: 1564000 | #Constraints: 67433
3178.27/3189.57 c #Conflicts: 1565000 | #Constraints: 68435
3178.27/3189.57 c #Conflicts: 1566000 | #Constraints: 69437
3178.27/3189.57 c INPROCESSING
3178.27/3189.57 c GARBAGE COLLECT
3178.27/3189.57 c rational objective 6
3280.75/3292.33 c #Conflicts: 1567000 | #Constraints: 45624
3280.75/3292.33 c #Conflicts: 1568000 | #Constraints: 46627
3280.75/3292.33 c #Conflicts: 1569000 | #Constraints: 47629
3280.75/3292.33 c #Conflicts: 1570000 | #Constraints: 48630
3280.75/3292.33 c #Conflicts: 1571000 | #Constraints: 49637
3280.75/3292.33 c #Conflicts: 1572000 | #Constraints: 50639
3280.75/3292.33 c #Conflicts: 1573000 | #Constraints: 51645
3280.75/3292.33 c #Conflicts: 1574000 | #Constraints: 52651
3280.75/3292.33 c #Conflicts: 1575000 | #Constraints: 53653
3280.75/3292.33 c #Conflicts: 1576000 | #Constraints: 54657
3280.75/3292.33 c #Conflicts: 1577000 | #Constraints: 55665
3280.75/3292.33 c #Conflicts: 1578000 | #Constraints: 56671
3280.75/3292.33 c #Conflicts: 1579000 | #Constraints: 57676
3280.75/3292.33 c #Conflicts: 1580000 | #Constraints: 58682
3280.75/3292.33 c #Conflicts: 1581000 | #Constraints: 59688
3280.75/3292.33 c #Conflicts: 1582000 | #Constraints: 60691
3280.75/3292.33 c #Conflicts: 1583000 | #Constraints: 61694
3280.75/3292.33 c #Conflicts: 1584000 | #Constraints: 62699
3280.75/3292.33 c #Conflicts: 1585000 | #Constraints: 63703
3280.75/3292.33 c #Conflicts: 1586000 | #Constraints: 64706
3280.75/3292.33 c #Conflicts: 1587000 | #Constraints: 65710
3280.75/3292.33 c #Conflicts: 1588000 | #Constraints: 66711
3280.75/3292.33 c #Conflicts: 1589000 | #Constraints: 67714
3280.75/3292.33 c #Conflicts: 1590000 | #Constraints: 68720
3280.75/3292.33 c #Conflicts: 1591000 | #Constraints: 69727
3280.75/3292.33 c INPROCESSING
3280.75/3292.33 c GARBAGE COLLECT
3280.75/3292.33 c rational objective 6
3423.79/3435.80 c #Conflicts: 1592000 | #Constraints: 45656
3423.79/3435.80 c #Conflicts: 1593000 | #Constraints: 46660
3423.79/3435.80 c #Conflicts: 1594000 | #Constraints: 47668
3423.79/3435.80 c #Conflicts: 1595000 | #Constraints: 48673
3423.79/3435.80 c #Conflicts: 1596000 | #Constraints: 49678
3423.79/3435.80 c #Conflicts: 1597000 | #Constraints: 50685
3423.79/3435.80 c #Conflicts: 1598000 | #Constraints: 51691
3423.79/3435.80 c #Conflicts: 1599000 | #Constraints: 52706
3423.79/3435.80 c #Conflicts: 1600000 | #Constraints: 53713
3423.79/3435.80 c #Conflicts: 1601000 | #Constraints: 54720
3423.79/3435.80 c #Conflicts: 1602000 | #Constraints: 55722
3423.79/3435.80 c #Conflicts: 1603000 | #Constraints: 56722
3423.79/3435.80 c #Conflicts: 1604000 | #Constraints: 57728
3423.79/3435.80 c #Conflicts: 1605000 | #Constraints: 58730
3423.79/3435.80 c #Conflicts: 1606000 | #Constraints: 59733
3423.79/3435.80 c #Conflicts: 1607000 | #Constraints: 60734
3423.79/3435.80 c #Conflicts: 1608000 | #Constraints: 61741
3423.79/3435.80 c #Conflicts: 1609000 | #Constraints: 62742
3423.79/3435.80 c #Conflicts: 1610000 | #Constraints: 63744
3423.79/3435.80 c #Conflicts: 1611000 | #Constraints: 64747
3423.79/3435.80 c #Conflicts: 1612000 | #Constraints: 65748
3423.79/3435.80 c #Conflicts: 1613000 | #Constraints: 66750
3423.79/3435.80 c #Conflicts: 1614000 | #Constraints: 67752
3423.79/3435.80 c #Conflicts: 1615000 | #Constraints: 68753
3423.79/3435.80 c #Conflicts: 1616000 | #Constraints: 69755
3423.79/3435.80 c INPROCESSING
3423.79/3435.80 c GARBAGE COLLECT
3423.79/3435.80 c rational objective 6
3474.23/3486.49 c #Conflicts: 1617000 | #Constraints: 45483
3474.23/3486.49 c #Conflicts: 1618000 | #Constraints: 46483
3474.23/3486.49 c #Conflicts: 1619000 | #Constraints: 47486
3474.23/3486.49 c #Conflicts: 1620000 | #Constraints: 48487
3474.23/3486.49 c #Conflicts: 1621000 | #Constraints: 49491
3474.23/3486.49 c #Conflicts: 1622000 | #Constraints: 50494
3474.23/3486.49 c #Conflicts: 1623000 | #Constraints: 51496
3474.23/3486.49 c #Conflicts: 1624000 | #Constraints: 52497
3474.23/3486.49 c #Conflicts: 1625000 | #Constraints: 53501
3474.23/3486.49 c #Conflicts: 1626000 | #Constraints: 54506
3474.23/3486.49 c #Conflicts: 1627000 | #Constraints: 55508
3474.23/3486.49 c #Conflicts: 1628000 | #Constraints: 56512
3474.23/3486.49 c #Conflicts: 1629000 | #Constraints: 57517
3474.23/3486.49 c #Conflicts: 1630000 | #Constraints: 58517
3474.23/3486.49 c #Conflicts: 1631000 | #Constraints: 59518
3474.23/3486.49 c #Conflicts: 1632000 | #Constraints: 60521
3474.23/3486.49 c #Conflicts: 1633000 | #Constraints: 61521
3474.23/3486.49 c #Conflicts: 1634000 | #Constraints: 62524
3474.23/3486.49 c #Conflicts: 1635000 | #Constraints: 63524
3474.23/3486.49 c #Conflicts: 1636000 | #Constraints: 64524
3474.23/3486.49 c #Conflicts: 1637000 | #Constraints: 65524
3474.23/3486.49 c #Conflicts: 1638000 | #Constraints: 66525
3474.23/3486.49 c #Conflicts: 1639000 | #Constraints: 67525
3474.23/3486.49 c #Conflicts: 1640000 | #Constraints: 68525
3474.23/3486.49 c #Conflicts: 1641000 | #Constraints: 69526
3474.23/3486.49 c #Conflicts: 1642000 | #Constraints: 70526
3474.23/3486.49 c INPROCESSING
3474.23/3486.49 c GARBAGE COLLECT
3474.23/3486.49 c rational objective 6
3545.99/3558.41 c #Conflicts: 1643000 | #Constraints: 46057
3545.99/3558.41 c #Conflicts: 1644000 | #Constraints: 47057
3545.99/3558.41 c #Conflicts: 1645000 | #Constraints: 48058
3545.99/3558.41 c #Conflicts: 1646000 | #Constraints: 49061
3545.99/3558.41 c #Conflicts: 1647000 | #Constraints: 50065
3545.99/3558.41 c #Conflicts: 1648000 | #Constraints: 51067
3545.99/3558.41 c #Conflicts: 1649000 | #Constraints: 52068
3545.99/3558.41 c #Conflicts: 1650000 | #Constraints: 53068
3545.99/3558.41 c #Conflicts: 1651000 | #Constraints: 54069
3545.99/3558.41 c #Conflicts: 1652000 | #Constraints: 55069
3545.99/3558.41 c #Conflicts: 1653000 | #Constraints: 56070
3545.99/3558.41 c #Conflicts: 1654000 | #Constraints: 57070
3545.99/3558.41 c #Conflicts: 1655000 | #Constraints: 58071
3545.99/3558.41 c #Conflicts: 1656000 | #Constraints: 59072
3545.99/3558.41 c #Conflicts: 1657000 | #Constraints: 60072
3545.99/3558.41 c #Conflicts: 1658000 | #Constraints: 61072
3545.99/3558.41 c #Conflicts: 1659000 | #Constraints: 62072
3545.99/3558.41 c #Conflicts: 1660000 | #Constraints: 63072
3545.99/3558.41 c #Conflicts: 1661000 | #Constraints: 64072
3545.99/3558.41 c #Conflicts: 1662000 | #Constraints: 65073
3545.99/3558.41 c #Conflicts: 1663000 | #Constraints: 66073
3545.99/3558.41 c #Conflicts: 1664000 | #Constraints: 67073
3545.99/3558.41 c #Conflicts: 1665000 | #Constraints: 68074
3545.99/3558.41 c #Conflicts: 1666000 | #Constraints: 69074
3545.99/3558.41 c #Conflicts: 1667000 | #Constraints: 70074
3545.99/3558.41 c #Conflicts: 1668000 | #Constraints: 71074
3545.99/3558.41 c INPROCESSING
3545.99/3558.41 c GARBAGE COLLECT
3545.99/3558.41 c rational objective 6
3600.09/3612.70 c #Conflicts: 1669000 | #Constraints: 46422
3600.09/3612.70 c #Conflicts: 1670000 | #Constraints: 47422
3600.09/3612.70 c #Conflicts: 1671000 | #Constraints: 48422
3600.09/3612.70 c #Conflicts: 1672000 | #Constraints: 49424
3600.09/3612.70 c #Conflicts: 1673000 | #Constraints: 50427
3600.09/3612.70 c #Conflicts: 1674000 | #Constraints: 51429
3600.09/3612.70 c #Conflicts: 1675000 | #Constraints: 52435
3600.09/3612.70 c #Conflicts: 1676000 | #Constraints: 53437
3600.09/3612.70 c #Conflicts: 1677000 | #Constraints: 54440
3600.09/3612.70 c #Conflicts: 1678000 | #Constraints: 55441
3600.09/3612.70 c #Conflicts: 1679000 | #Constraints: 56443
3600.09/3612.70 c #Conflicts: 1680000 | #Constraints: 57446
3600.09/3612.70 c #Conflicts: 1681000 | #Constraints: 58448
3600.09/3612.70 c #Conflicts: 1682000 | #Constraints: 59449
3600.09/3612.70 c #Conflicts: 1683000 | #Constraints: 60450
3600.09/3612.70 c #Conflicts: 1684000 | #Constraints: 61451
3600.09/3612.70 c #Conflicts: 1685000 | #Constraints: 62452
3600.09/3612.70 c #Conflicts: 1686000 | #Constraints: 63454
3600.09/3612.70 c #Conflicts: 1687000 | #Constraints: 64455
3600.09/3612.70 c #Conflicts: 1688000 | #Constraints: 65456
3600.09/3612.70 c Disabling crashed LP
3600.09/3612.70 c cpu time 3557.11 s
3600.09/3612.70 c deterministic time 300008294158 3.00e+11
3600.09/3612.70 c optimization time 53.2468 s
3600.09/3612.70 c total solve time 3503.61 s
3600.09/3612.70 c core-guided solve time 1745.57 s
3600.09/3612.70 c propagation time 2383.86 s
3600.09/3612.70 c conflict analysis time 950.974 s
3600.09/3612.70 c propagations 508676047
3600.09/3612.70 c resolve steps 7476541
3600.09/3612.70 c decisions 16343892
3600.09/3612.70 c conflicts 1688642
3600.09/3612.70 c restarts 3217
3600.09/3612.70 c inprocessing phases 120
3600.09/3612.70 c garbage collections 120 ,( 100.00 )
3600.09/3612.70 c input clauses 23803 ,( 98.15 )
3600.09/3612.70 c input cardinalities 64 ,( 0.26 )
3600.09/3612.70 c input general constraints 384 ,( 1.58 )
3600.09/3612.70 c input average constraint length 4.04
3600.09/3612.70 c input average constraint degree 12.23
3600.09/3612.70 c learned clauses 177971 ,( 10.52 )
3600.09/3612.70 c learned cardinalities 18998 ,( 1.12 )
3600.09/3612.70 c learned general constraints 1495488 ,( 88.36 )
3600.09/3612.70 c learned average constraint length 380.38
3600.09/3612.70 c learned average constraint degree 2861218837.44
3600.09/3612.70 c watched CF 32, 64, 128, Arb: 416476 , 0 , 0 , 0
3600.09/3612.70 c counting CF 32, 64, 128, Arb: 1079397 , 0 , 0 , 0
3600.09/3612.70 c watched constraints 416476 ,( 27.84 )
3600.09/3612.70 c counting constraints 1079396 ,( 72.16 )
3600.09/3612.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 129820177 , 26507055 , 6606484022 ,( 321396111 , 6285087911 )
3600.09/3612.70 c gcd simplifications 55657
3600.09/3612.70 c detected cardinalities 205
3600.09/3612.70 c weakened non-implied lits 367200636
3600.09/3612.70 c weakened non-implying lits 1024275
3600.09/3612.70 c original variables 9988
3600.09/3612.70 c clausal propagations 96158712
3600.09/3612.70 c cardinality propagations 75524734
3600.09/3612.70 c watched propagations 960167
3600.09/3612.70 c counting propagations 320625552
3600.09/3612.70 c watch lookups 210477027107
3600.09/3612.70 c watch backjump lookups 0
3600.09/3612.70 c watch checks 22330653808
3600.09/3612.70 c propagation checks 63496441220
3600.09/3612.70 c constraint additions 2650588274
3600.09/3612.70 c trail pops 526703530
3600.09/3612.70 c formula constraints 24251
3600.09/3612.70 c learned constraints 1685340
3600.09/3612.70 c bound constraints 0
3600.09/3612.70 c core-guided constraints 0
3600.09/3612.70 c encountered formula constraints 4508674
3600.09/3612.70 c encountered learned constraints 3712943
3600.09/3612.70 c encountered bound constraints 0
3600.09/3612.70 c encountered core-guided constraints 0
3600.09/3612.70 c LP total time 589.52 s
3600.09/3612.70 c LP solve time 541.06 s
3600.09/3612.70 c LP constraints added 26250
3600.09/3612.70 c LP constraints removed 1964
3600.09/3612.70 c LP pivots internal 1688641
3600.09/3612.70 c LP pivots root 171638
3600.09/3612.70 c LP calls 4197
3600.09/3612.70 c LP optimalities 887
3600.09/3612.70 c LP no pivot count 155
3600.09/3612.70 c LP infeasibilities 3305
3600.09/3612.70 c LP valid Farkas constraints 3304
3600.09/3612.70 c LP learned Farkas constraints 3302
3600.09/3612.70 c LP basis resets 2
3600.09/3612.70 c LP cycling count 0
3600.09/3612.70 c LP singular count 1
3600.09/3612.70 c LP no primal count 0
3600.09/3612.70 c LP no farkas count 1
3600.09/3612.70 c LP other issue count 0
3600.09/3612.70 c LP Gomory cuts 511
3600.09/3612.70 c LP learned cuts 1488
3600.09/3612.70 c LP deleted cuts 1964
3600.09/3612.70 c LP encountered Gomory constraints 7593
3600.09/3612.70 c LP encountered Farkas constraints 834011
3600.09/3612.70 c LP encountered learned Farkas constraints 98660
3600.09/3612.70 c CG auxiliary variables introduced 0
3600.09/3612.70 c CG solutions found 0
3600.09/3612.70 c CG cores constructed 0
3600.09/3612.70 c CG core cardinality constraints returned 0
3600.09/3612.70 c CG unit cores 0
3600.09/3612.70 c CG single cores 0
3600.09/3612.70 c CG blocks removed during cardinality reduction 0
3600.09/3612.70 c CG first core best 0
3600.09/3612.70 c CG decision core best 0
3600.09/3612.70 c CG core reduction tie 0
3600.09/3612.70 c CG core degree average 0.00
3600.09/3612.70 c CG core slack average 0.00
3600.09/3612.70 c CG core upper bound improvements 0
3600.09/3612.70 c STR number of successful calls 0
3600.09/3612.70 c STR number of unsuccessful calls 0
3600.09/3612.70 c STR number of inconclusive calls 0
3600.09/3612.70 c STR number of successful attempts 0
3600.09/3612.70 c STR number of unsuccessful attempts 0
3600.09/3612.70 c STR number of inconclusive attempts 0
3600.09/3612.70 c STR average degree increase per successful call inf
3600.09/3612.70 c STR average degree increase per successful attempt inf
3600.09/3612.70 c STR total number of conflicts for successful attempts 0
3600.09/3612.70 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3612.70 c STR total number of conflicts for inconclusive attempts 0
3600.09/3612.70 c STR average number of conflicts per successful attempt inf
3600.09/3612.70 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3612.70 c STR average number of conflicts per inconclusive attempt inf
3600.09/3612.70 c AVG.sumWPerc 56.15
3600.09/3612.70 c bigint constraints 0
3600.09/3612.70 s UNKNOWN
3600.09/3612.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (50321 MiB free)
memory of node 1: 64465 MiB (51228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4531951-1752683069/watcher-4531951-1752683069 -o /tmp/evaluation-result-4531951-1752683069/solver-4531951-1752683069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752683069-138492 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531951-1752683069.opb /tmp/proof-4531951-1752683069
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=138545, runsolver pid=138537
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.32 0.42 0.20 7/259 138553
/proc/meminfo: memFree=103958500/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138552] ppid=138545 vsize=17992 memory=10096 CPUtime=0.08 cores=1,3
/proc/138552/stat : 138552 (pbsuma) R 138545 138545 138264 0 -1 4194304 2052 0 0 0 7 1 0 0 20 0 1 0 183986360 18423808 2524 18446744073709551615 4210688 4653049 140726652784384 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9084928 140726652791047 140726652791344 140726652791344 140726652796911 0
/proc/138552/statm: 4498 2524 992 108 0 1906 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22184 KiB
Current children cumulated memory: 13040 KiB
[startup+0.214314 s]*
/proc/loadavg: 1.32 0.42 0.20 6/259 138553
/proc/meminfo: memFree=103949728/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138552] ppid=138545 vsize=22292 memory=13424 CPUtime=0.19 cores=1,3
/proc/138552/stat : 138552 (pbsuma) R 138545 138545 138264 0 -1 4194304 2912 0 0 0 18 1 0 0 20 0 1 0 183986360 22827008 3356 18446744073709551615 4210688 4653049 140726652784384 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9084928 140726652791047 140726652791344 140726652791344 140726652796911 0
/proc/138552/statm: 5573 3356 992 108 0 2981 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26484 KiB
Current children cumulated memory: 16368 KiB
[startup+0.31425 s]*
/proc/loadavg: 1.32 0.42 0.20 6/259 138553
/proc/meminfo: memFree=103945948/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138552] ppid=138545 vsize=22292 memory=13424 CPUtime=0.29 cores=1,3
/proc/138552/stat : 138552 (pbsuma) R 138545 138545 138264 0 -1 4194304 2912 0 0 0 28 1 0 0 20 0 1 0 183986360 22827008 3356 18446744073709551615 4210688 4653049 140726652784384 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9084928 140726652791047 140726652791344 140726652791344 140726652796911 0
/proc/138552/statm: 5573 3356 992 108 0 2981 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26484 KiB
Current children cumulated memory: 16368 KiB
[startup+0.700314 s]
/proc/loadavg: 1.32 0.42 0.20 6/259 138553
/proc/meminfo: memFree=103912180/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138552] ppid=138545 vsize=22292 memory=14192 CPUtime=0.66 cores=1,3
/proc/138552/stat : 138552 (pbsuma) R 138545 138545 138264 0 -1 4194304 3105 0 0 0 64 2 0 0 20 0 1 0 183986360 22827008 3548 18446744073709551615 4210688 4653049 140726652784384 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9084928 140726652791047 140726652791344 140726652791344 140726652796911 0
/proc/138552/statm: 5573 3548 992 108 0 2981 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 26484 KiB
Current children cumulated memory: 17136 KiB
[startup+1.50043 s]
/proc/loadavg: 1.32 0.42 0.20 6/259 138556
/proc/meminfo: memFree=103826116/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=104324 memory=56108 CPUtime=0.67 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 10582 0 0 0 60 7 0 0 20 0 1 0 183986439 106827776 14027 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 26081 14027 2400 1147 0 13507 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 108516 KiB
Current children cumulated memory: 59052 KiB
[startup+3.11309 s]
/proc/loadavg: 1.32 0.42 0.20 6/259 138557
/proc/meminfo: memFree=103535040/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=121912 memory=72972 CPUtime=2.28 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 14296 0 0 0 217 11 0 0 20 0 1 0 183986439 124837888 18243 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 30478 18243 2400 1147 0 17904 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 126104 KiB
Current children cumulated memory: 75916 KiB
[startup+6.30044 s]
/proc/loadavg: 1.54 0.48 0.22 6/259 138557
/proc/meminfo: memFree=103352340/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=154084 memory=101376 CPUtime=5.46 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 20378 0 0 0 529 17 0 0 20 0 1 0 183986439 157782016 25344 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 38521 25344 2400 1147 0 25947 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 158276 KiB
Current children cumulated memory: 104320 KiB
[startup+12.7004 s]
/proc/loadavg: 1.73 0.54 0.24 5/255 138585
/proc/meminfo: memFree=103199212/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=177144 memory=123228 CPUtime=11.84 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 25379 0 0 0 1153 31 0 0 20 0 1 0 183986439 181395456 30807 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 44286 30807 2400 1147 0 31712 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 181336 KiB
Current children cumulated memory: 126172 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 0.71 0.30 5/255 138685
/proc/meminfo: memFree=103055328/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=210088 memory=146880 CPUtime=24.59 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 30805 0 0 0 2403 56 0 0 20 0 1 0 183986439 215130112 36720 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 52522 36720 2400 1147 0 39948 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 214280 KiB
Current children cumulated memory: 149824 KiB
[startup+51.1134 s]
/proc/loadavg: 2.90 0.99 0.41 6/260 138759
/proc/meminfo: memFree=101605436/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=245056 memory=185840 CPUtime=50.1 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 39049 0 0 0 4905 105 0 0 20 0 1 0 183986439 250937344 46460 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 61264 46460 2400 1147 0 48690 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 249248 KiB
Current children cumulated memory: 188784 KiB
[startup+102.3 s]
/proc/loadavg: 3.80 1.54 0.62 6/261 138763
/proc/meminfo: memFree=98528068/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=353608 memory=275412 CPUtime=101.11 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 58523 0 0 0 9919 192 0 0 20 0 1 0 183986439 362094592 68853 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 88402 68853 2400 1147 0 75828 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 357800 KiB
Current children cumulated memory: 278356 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 2.05 0.86 6/261 138764
/proc/meminfo: memFree=96191972/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=395696 memory=312148 CPUtime=160.91 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 67693 0 0 0 15800 291 0 0 20 0 1 0 183986439 405192704 78037 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 98924 78037 2400 1147 0 86350 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 399888 KiB
Current children cumulated memory: 315092 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 2.46 1.08 6/262 138767
/proc/meminfo: memFree=93359544/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=418884 memory=333352 CPUtime=220.69 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 72386 0 0 0 21686 383 0 0 20 0 1 0 183986439 428937216 83338 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 104721 83338 2400 1147 0 92147 0
Current children cumulated CPU time: 221.45 s
################
# More data... #
################
/proc/138556/statm: 274458 261232 2528 1147 0 261884 0
Current children cumulated CPU time: 3091.35 s
Current children cumulated vsize: 1102024 KiB
Current children cumulated memory: 1047872 KiB
[startup+3162.3 s]
/proc/loadavg: 4.67 4.55 4.33 6/255 138937
/proc/meminfo: memFree=5539920/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1123168 memory=1062464 CPUtime=3150.4 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 194363 0 0 0 311234 3806 0 0 20 0 1 0 183986439 1150124032 265616 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 280792 265616 2528 1147 0 268218 0
Current children cumulated CPU time: 3151.16 s
Current children cumulated vsize: 1127360 KiB
Current children cumulated memory: 1065408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.35 4.48 4.31 6/255 138939
/proc/meminfo: memFree=4213940/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1135744 memory=1073088 CPUtime=3210.21 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 197012 0 0 0 317145 3876 0 0 20 0 1 0 183986439 1163001856 268272 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 283936 268272 2528 1147 0 271362 0
Current children cumulated CPU time: 3210.97 s
Current children cumulated vsize: 1139936 KiB
Current children cumulated memory: 1076032 KiB
[startup+3282.3 s]
/proc/loadavg: 4.37 4.45 4.31 6/254 138941
/proc/meminfo: memFree=2744376/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1180516 memory=1103808 CPUtime=3270.02 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 204687 0 0 0 323083 3919 0 0 20 0 1 0 183986439 1208848384 275952 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 295129 275952 2528 1147 0 282555 0
Current children cumulated CPU time: 3270.78 s
Current children cumulated vsize: 1184708 KiB
Current children cumulated memory: 1106752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.31 4.43 4.31 6/256 138946
/proc/meminfo: memFree=1862396/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1183776 memory=1111336 CPUtime=3329.83 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 205569 0 0 0 329002 3981 0 0 20 0 1 0 183986439 1212186624 277834 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 295944 277834 2528 1147 0 283370 0
Current children cumulated CPU time: 3330.59 s
Current children cumulated vsize: 1187968 KiB
Current children cumulated memory: 1114280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.41 4.31 6/256 138948
/proc/meminfo: memFree=1914576/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1183776 memory=1111464 CPUtime=3389.65 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 205570 0 0 0 334953 4012 0 0 20 0 1 0 183986439 1212186624 277866 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 295944 277866 2528 1147 0 283370 0
Current children cumulated CPU time: 3390.41 s
Current children cumulated vsize: 1187968 KiB
Current children cumulated memory: 1114408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.36 4.30 6/257 138951
/proc/meminfo: memFree=1839056/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1184292 memory=1111976 CPUtime=3449.44 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 205706 0 0 0 340883 4061 0 0 20 0 1 0 183986439 1212715008 277994 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 296073 277994 2528 1147 0 283499 0
Current children cumulated CPU time: 3450.2 s
Current children cumulated vsize: 1188484 KiB
Current children cumulated memory: 1114920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.34 4.30 6/258 138954
/proc/meminfo: memFree=1851164/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1185148 memory=1112872 CPUtime=3509.25 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 205962 0 0 0 346793 4132 0 0 20 0 1 0 183986439 1213591552 278218 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 296287 278218 2528 1147 0 283713 0
Current children cumulated CPU time: 3510.01 s
Current children cumulated vsize: 1189340 KiB
Current children cumulated memory: 1115816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.33 4.30 6/260 138964
/proc/meminfo: memFree=1748812/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1185860 memory=1113512 CPUtime=3569.05 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 206145 0 0 0 352716 4189 0 0 20 0 1 0 183986439 1214320640 278378 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 296465 278378 2528 1147 0 283891 0
Current children cumulated CPU time: 3569.81 s
Current children cumulated vsize: 1190052 KiB
Current children cumulated memory: 1116456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.44 4.37 4.31 6/252 138973
/proc/meminfo: memFree=2382840/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1185860 memory=1113512 CPUtime=3599.33 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 206145 0 0 0 355711 4222 0 0 20 0 1 0 183986439 1214320640 278378 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 296465 278378 2528 1147 0 283891 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1190052 KiB
Current children cumulated memory: 1116456 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.71 s]
# the end of solver process 138545 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.736126 s, system=0.040529 s
Sleeping 2 seconds
[startup+3612.72 s]
# the end of solver process 138556 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.86 s, system=42.2769 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 4.44 4.37 4.31 6/252 138973
/proc/meminfo: memFree=2382840/131382116 swapFree=33005528/33010684
[pid=138545] ppid=138537 vsize=4192 memory=2944 CPUtime=0.76 cores=1,3
/proc/138545/stat : 138545 (run-opt-ls-log.) S 138537 138545 138264 0 -1 4194304 239 3474 0 0 0 0 73 3 20 0 1 0 183986358 4292608 736 18446744073709551615 94782926516224 94782927410757 140735419214976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782927649808 94782927697552 94782931566592 140735419222335 140735419222495 140735419222495 140735419228099 0
/proc/138545/statm: 1048 736 672 219 0 110 0
[pid=138556] ppid=138545 vsize=1185860 memory=1113512 CPUtime=3599.33 cores=1,3
/proc/138556/stat : 138556 (roundingsat) R 138545 138545 138264 0 -1 4194304 206145 0 0 0 355711 4222 0 0 20 0 1 0 183986439 1214320640 278378 18446744073709551615 4227072 8923577 140729130987776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 13365248 140729130993946 140729130994214 140729130994214 140729130999786 0
/proc/138556/statm: 296465 278378 2528 1147 0 283891 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1190052 KiB
Current children cumulated memory: 1116456 KiB
Child status: 2
Real time (s): 3612.72
CPU time (s): 3600.14
CPU user time (s): 3557.86
CPU system time (s): 42.2769
CPU usage (%): 99.6518
Max. virtual memory (cumulated for all children) (KiB): 1190052
Max. memory (cumulated for all children) (KiB): 1116456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.86
system time used= 42.2769
maximum resident set size= 1113640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36948560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 436
involuntary context switches= 21975
# summary of solver processes directly reported to runsolver:
# pid: 138545,138556
# total CPU time (s): 3600.14
# total CPU user time (s): 3557.86
# total CPU system time (s): 42.2769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7415 second user time and 32.903 second system time
The end
Begin job on nodeC010 at 2025-07-16 18:24:29
IDJOB=4531951
IDBENCH=148772
IDSOLVER=3392
FILE ID=nodeC010/4531951-1752683069
RUNJOBID= nodeC010-1752683069-138492
SLURM_JOB_ID= 9686905
Free space on /tmp= 430540 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4531951-1752683069/watcher-4531951-1752683069 -o /tmp/evaluation-result-4531951-1752683069/solver-4531951-1752683069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1752683069-138492 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4531951-1752683069.opb /tmp/proof-4531951-1752683069
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1526693060
nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.362
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.36
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 : 1197.146
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.777
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.36
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.144
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.36
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 : 3392.120
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.36
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 : 1197.143
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.123
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.36
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.138
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 103992160 kB
MemAvailable: 129908020 kB
Buffers: 228 kB
Cached: 26689848 kB
SwapCached: 4296 kB
Active: 612720 kB
Inactive: 26146212 kB
Active(anon): 41640 kB
Inactive(anon): 49036 kB
Active(file): 571080 kB
Inactive(file): 26097176 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29804 kB
Writeback: 104 kB
AnonPages: 67772 kB
Mapped: 103096 kB
Shmem: 21820 kB
KReclaimable: 174464 kB
Slab: 264208 kB
SReclaimable: 174464 kB
SUnreclaim: 89744 kB
KernelStack: 3936 kB
PageTables: 2728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 350628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 324504 MiB
End job on nodeC010 at 2025-07-16 19:24:43