0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4499169-1751405634.opb'
0.00/0.03 c read 0.32MB (11.30ms)
0.00/0.03 c [cnf: #variables 3216 #clauses 3659 #duplicates 0 #arr 33834]
0.00/0.03 c output proof to 'PROOFDIR/proof-4499169-1751405634'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 38] (10.77ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.10 c probe for row symmetry (limit=64, splits=16.78M)
0.07/0.10 c recursing 216 blocks of candidate 6x1072r
0.07/0.11 c found row 3x12, generating row predicate
0.07/0.12 c found row 10x12, generating row predicate
0.07/0.14 c found row 6x1072, generating row predicate
0.07/0.14 c (96.14ms)
0.07/0.14 c
0.07/0.14 c detect symmetries on remainder
0.07/0.14 c [graph: #vertices 19325 #edges 92568]
0.07/0.14 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.19 c [group: #symmetries 4.80*10^130 #generators 353] (54.40ms)
0.07/0.19 c
0.07/0.19 c optimize generators (opt_passes=64, conjugate_limit=256)
0.18/0.24 c opt it=15, l=10538, m=252, opt=10, avg=281, b=12, gens=353
0.18/0.29 c opt it=31, l=15703, m=530, opt=25, avg=274, b=12, gens=353
0.29/0.33 c opt it=47, l=20868, m=788, opt=38, avg=269, b=12, gens=353
0.29/0.37 c opt it=63, l=26030, m=1046, opt=50, avg=264, b=12, gens=353
0.29/0.38 c ran it=0, +gens=44
0.50/0.57 c con best_support=12, best_gens=192, +gens=244
0.50/0.57 c (377.81ms)
0.50/0.57 c
0.50/0.57 c finalize break order and special generators
0.50/0.57 c
0.50/0.57 c add generic predicates (break_depth=20)
0.50/0.58 c added predicates for 641 generators (4.75ms)
0.67/0.79 c
0.67/0.79 c generation finished
0.67/0.79 c [sbp: #constraints 20550 #add_vars 6772]
0.67/0.79 c
0.67/0.79 c write result to 'HOME/instance-4499169-1751405634.opb.pre'
0.67/0.79 c wrote 1.06MB (4.78ms)
0.67/0.79 c ------------------------------------------------------------------
0.67/0.79 c 377.81ms 48.67% optimize_gens
0.67/0.79 c 212.58ms 27.38% other
0.67/0.79 c 96.14ms 12.39% detect_special
0.67/0.79 c 54.40ms 7.01% detect_generic
0.67/0.79 c 11.30ms 1.46% parse
0.67/0.79 c 10.77ms 1.39% approx_orbits
0.67/0.79 c 4.78ms 0.62% output
0.67/0.79 c 4.75ms 0.61% break_generic
0.67/0.79 c 3.75ms 0.48% finalize_order
0.67/0.79 c ───────────────────────────────────────────────
0.67/0.79 c 776.28ms 100% total
0.67/0.79 c ------------------------------------------------------------------
0.77/0.84 c RoundingSat 2
0.77/0.84 c branch pb25
0.77/0.84 c commit 63f22ad
1.12/1.29 c #variables 9988 #constraints 24251
1.12/1.29 c objective is ce32
1.52/1.64 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.52/1.64 c initial counting CF 32, 64, 128, Arb: 385 , 0 , 0 , 0
1.52/1.64 c bounds - >= 0 @ 0.70123
3.60/3.75 c #Conflicts: 1000 | #Constraints: 25252
3.60/3.75 c #Conflicts: 2000 | #Constraints: 26253
3.60/3.75 c INPROCESSING
3.60/3.75 c GARBAGE COLLECT
3.60/3.75 c rational objective 6
5.40/5.59 c #Conflicts: 3000 | #Constraints: 23009
5.40/5.59 c #Conflicts: 4000 | #Constraints: 24011
5.40/5.59 c INPROCESSING
5.40/5.59 c GARBAGE COLLECT
5.40/5.59 c rational objective 6
7.09/7.26 c #Conflicts: 5000 | #Constraints: 23372
7.09/7.26 c #Conflicts: 6000 | #Constraints: 24373
7.09/7.26 c INPROCESSING
7.09/7.26 c GARBAGE COLLECT
7.09/7.26 c rational objective 6
10.00/10.12 c #Conflicts: 7000 | #Constraints: 23383
10.00/10.12 c #Conflicts: 8000 | #Constraints: 24389
10.00/10.12 c #Conflicts: 9000 | #Constraints: 25391
10.00/10.12 c INPROCESSING
10.00/10.12 c GARBAGE COLLECT
10.00/10.12 c rational objective 6
12.17/12.33 c #Conflicts: 10000 | #Constraints: 24075
12.17/12.33 c #Conflicts: 11000 | #Constraints: 25076
12.17/12.33 c #Conflicts: 12000 | #Constraints: 26078
12.17/12.33 c INPROCESSING
12.17/12.33 c GARBAGE COLLECT
12.17/12.33 c rational objective 6
14.77/14.95 c #Conflicts: 13000 | #Constraints: 24527
14.77/14.95 c #Conflicts: 14000 | #Constraints: 25530
14.77/14.95 c #Conflicts: 15000 | #Constraints: 26537
14.77/14.95 c INPROCESSING
14.77/14.95 c GARBAGE COLLECT
14.77/14.95 c rational objective 6
18.06/18.25 c #Conflicts: 16000 | #Constraints: 24771
18.06/18.25 c #Conflicts: 17000 | #Constraints: 25774
18.06/18.25 c #Conflicts: 18000 | #Constraints: 26776
18.06/18.25 c INPROCESSING
18.06/18.25 c GARBAGE COLLECT
18.06/18.25 c rational objective 6
20.86/21.03 c #Conflicts: 19000 | #Constraints: 24794
20.86/21.03 c #Conflicts: 20000 | #Constraints: 25800
20.86/21.03 c #Conflicts: 21000 | #Constraints: 26805
20.86/21.03 c INPROCESSING
20.86/21.03 c GARBAGE COLLECT
20.86/21.03 c rational objective 6
23.64/23.87 c #Conflicts: 22000 | #Constraints: 24594
23.64/23.87 c #Conflicts: 23000 | #Constraints: 25594
23.64/23.87 c #Conflicts: 24000 | #Constraints: 26599
23.64/23.87 c #Conflicts: 25000 | #Constraints: 27601
23.64/23.87 c INPROCESSING
23.64/23.87 c GARBAGE COLLECT
23.64/23.87 c rational objective 6
27.63/27.88 c #Conflicts: 26000 | #Constraints: 25200
27.63/27.88 c #Conflicts: 27000 | #Constraints: 26202
27.63/27.88 c #Conflicts: 28000 | #Constraints: 27203
27.63/27.88 c #Conflicts: 29000 | #Constraints: 28205
27.63/27.88 c INPROCESSING
27.63/27.88 c GARBAGE COLLECT
27.63/27.88 c rational objective 6
31.02/31.21 c #Conflicts: 30000 | #Constraints: 25587
31.02/31.21 c #Conflicts: 31000 | #Constraints: 26589
31.02/31.21 c #Conflicts: 32000 | #Constraints: 27590
31.02/31.21 c #Conflicts: 33000 | #Constraints: 28591
31.02/31.21 c INPROCESSING
31.02/31.21 c GARBAGE COLLECT
31.02/31.21 c rational objective 6
34.51/34.70 c #Conflicts: 34000 | #Constraints: 25786
34.51/34.70 c #Conflicts: 35000 | #Constraints: 26789
34.51/34.70 c #Conflicts: 36000 | #Constraints: 27790
34.51/34.70 c #Conflicts: 37000 | #Constraints: 28791
34.51/34.70 c INPROCESSING
34.51/34.70 c GARBAGE COLLECT
34.51/34.70 c rational objective 6
38.50/38.94 c #Conflicts: 38000 | #Constraints: 25812
38.50/38.94 c #Conflicts: 39000 | #Constraints: 26813
38.50/38.94 c #Conflicts: 40000 | #Constraints: 27817
38.50/38.94 c #Conflicts: 41000 | #Constraints: 28819
38.50/38.94 c INPROCESSING
38.50/38.94 c GARBAGE COLLECT
38.50/38.94 c rational objective 6
42.79/43.28 c #Conflicts: 42000 | #Constraints: 25599
42.79/43.28 c #Conflicts: 43000 | #Constraints: 26601
42.79/43.28 c #Conflicts: 44000 | #Constraints: 27604
42.79/43.28 c #Conflicts: 45000 | #Constraints: 28608
42.79/43.28 c #Conflicts: 46000 | #Constraints: 29609
42.79/43.28 c INPROCESSING
42.79/43.28 c GARBAGE COLLECT
42.79/43.28 c rational objective 6
47.07/47.50 c #Conflicts: 47000 | #Constraints: 26181
47.07/47.50 c #Conflicts: 48000 | #Constraints: 27182
47.07/47.50 c #Conflicts: 49000 | #Constraints: 28186
47.07/47.50 c #Conflicts: 50000 | #Constraints: 29190
47.07/47.50 c #Conflicts: 51000 | #Constraints: 30193
47.07/47.50 c INPROCESSING
47.07/47.50 c GARBAGE COLLECT
47.07/47.50 c rational objective 6
52.16/52.67 c #Conflicts: 52000 | #Constraints: 26573
52.16/52.67 c #Conflicts: 53000 | #Constraints: 27575
52.16/52.67 c #Conflicts: 54000 | #Constraints: 28580
52.16/52.67 c #Conflicts: 55000 | #Constraints: 29584
52.16/52.67 c #Conflicts: 56000 | #Constraints: 30588
52.16/52.67 c INPROCESSING
52.16/52.67 c GARBAGE COLLECT
52.16/52.67 c rational objective 6
57.94/58.40 c #Conflicts: 57000 | #Constraints: 26758
57.94/58.40 c #Conflicts: 58000 | #Constraints: 27762
57.94/58.40 c #Conflicts: 59000 | #Constraints: 28768
57.94/58.40 c #Conflicts: 60000 | #Constraints: 29773
57.94/58.40 c #Conflicts: 61000 | #Constraints: 30775
57.94/58.40 c INPROCESSING
57.94/58.40 c GARBAGE COLLECT
57.94/58.40 c rational objective 6
63.72/64.25 c #Conflicts: 62000 | #Constraints: 26766
63.72/64.25 c #Conflicts: 63000 | #Constraints: 27776
63.72/64.25 c #Conflicts: 64000 | #Constraints: 28779
63.72/64.25 c #Conflicts: 65000 | #Constraints: 29780
63.72/64.25 c #Conflicts: 66000 | #Constraints: 30781
63.72/64.25 c INPROCESSING
63.72/64.25 c GARBAGE COLLECT
63.72/64.25 c rational objective 6
69.89/70.99 c #Conflicts: 67000 | #Constraints: 26570
69.89/70.99 c #Conflicts: 68000 | #Constraints: 27570
69.89/70.99 c #Conflicts: 69000 | #Constraints: 28570
69.89/70.99 c #Conflicts: 70000 | #Constraints: 29573
69.89/70.99 c #Conflicts: 71000 | #Constraints: 30575
69.89/70.99 c #Conflicts: 72000 | #Constraints: 31577
69.89/70.99 c INPROCESSING
69.89/70.99 c GARBAGE COLLECT
69.89/70.99 c rational objective 6
75.99/77.04 c #Conflicts: 73000 | #Constraints: 27160
75.99/77.04 c #Conflicts: 74000 | #Constraints: 28162
75.99/77.04 c #Conflicts: 75000 | #Constraints: 29164
75.99/77.04 c #Conflicts: 76000 | #Constraints: 30167
75.99/77.04 c #Conflicts: 77000 | #Constraints: 31171
75.99/77.04 c #Conflicts: 78000 | #Constraints: 32173
75.99/77.04 c INPROCESSING
75.99/77.04 c GARBAGE COLLECT
75.99/77.04 c rational objective 6
83.07/84.14 c #Conflicts: 79000 | #Constraints: 27501
83.07/84.14 c #Conflicts: 80000 | #Constraints: 28508
83.07/84.14 c #Conflicts: 81000 | #Constraints: 29513
83.07/84.14 c #Conflicts: 82000 | #Constraints: 30516
83.07/84.14 c #Conflicts: 83000 | #Constraints: 31521
83.07/84.14 c #Conflicts: 84000 | #Constraints: 32525
83.07/84.14 c INPROCESSING
83.07/84.14 c GARBAGE COLLECT
83.07/84.14 c rational objective 6
91.52/92.64 c #Conflicts: 85000 | #Constraints: 27717
91.52/92.64 c #Conflicts: 86000 | #Constraints: 28724
91.52/92.64 c #Conflicts: 87000 | #Constraints: 29729
91.52/92.64 c #Conflicts: 88000 | #Constraints: 30738
91.52/92.64 c #Conflicts: 89000 | #Constraints: 31742
91.52/92.64 c #Conflicts: 90000 | #Constraints: 32745
91.52/92.64 c INPROCESSING
91.52/92.64 c GARBAGE COLLECT
91.52/92.64 c rational objective 6
100.05/101.38 c #Conflicts: 91000 | #Constraints: 27717
100.05/101.38 c #Conflicts: 92000 | #Constraints: 28718
100.05/101.38 c #Conflicts: 93000 | #Constraints: 29722
100.05/101.38 c #Conflicts: 94000 | #Constraints: 30725
100.05/101.38 c #Conflicts: 95000 | #Constraints: 31728
100.05/101.38 c #Conflicts: 96000 | #Constraints: 32730
100.05/101.38 c INPROCESSING
100.05/101.38 c GARBAGE COLLECT
100.05/101.38 c rational objective 6
107.11/108.46 c #Conflicts: 97000 | #Constraints: 27487
107.11/108.46 c #Conflicts: 98000 | #Constraints: 28487
107.11/108.46 c #Conflicts: 99000 | #Constraints: 29490
107.11/108.46 c #Conflicts: 100000 | #Constraints: 30491
107.11/108.46 c #Conflicts: 101000 | #Constraints: 31492
107.11/108.46 c #Conflicts: 102000 | #Constraints: 32493
107.11/108.46 c #Conflicts: 103000 | #Constraints: 33496
107.11/108.46 c INPROCESSING
107.11/108.46 c GARBAGE COLLECT
107.11/108.46 c rational objective 6
117.09/118.40 c #Conflicts: 104000 | #Constraints: 28071
117.09/118.40 c #Conflicts: 105000 | #Constraints: 29073
117.09/118.40 c #Conflicts: 106000 | #Constraints: 30078
117.09/118.40 c #Conflicts: 107000 | #Constraints: 31079
117.09/118.40 c #Conflicts: 108000 | #Constraints: 32079
117.09/118.40 c #Conflicts: 109000 | #Constraints: 33079
117.09/118.40 c #Conflicts: 110000 | #Constraints: 34079
117.09/118.40 c INPROCESSING
117.09/118.40 c GARBAGE COLLECT
117.09/118.40 c rational objective 6
124.46/125.89 c #Conflicts: 111000 | #Constraints: 28442
124.46/125.89 c #Conflicts: 112000 | #Constraints: 29442
124.46/125.89 c #Conflicts: 113000 | #Constraints: 30443
124.46/125.89 c #Conflicts: 114000 | #Constraints: 31444
124.46/125.89 c #Conflicts: 115000 | #Constraints: 32448
124.46/125.89 c #Conflicts: 116000 | #Constraints: 33450
124.46/125.89 c #Conflicts: 117000 | #Constraints: 34454
124.46/125.89 c INPROCESSING
124.46/125.89 c GARBAGE COLLECT
124.46/125.89 c rational objective 6
134.09/135.60 c #Conflicts: 118000 | #Constraints: 28626
134.09/135.60 c #Conflicts: 119000 | #Constraints: 29626
134.09/135.60 c #Conflicts: 120000 | #Constraints: 30627
134.09/135.60 c #Conflicts: 121000 | #Constraints: 31629
134.09/135.60 c #Conflicts: 122000 | #Constraints: 32635
134.09/135.60 c #Conflicts: 123000 | #Constraints: 33643
134.09/135.60 c #Conflicts: 124000 | #Constraints: 34645
134.09/135.60 c INPROCESSING
134.09/135.60 c GARBAGE COLLECT
134.09/135.60 c rational objective 6
141.48/143.10 c #Conflicts: 125000 | #Constraints: 28558
141.48/143.10 c #Conflicts: 126000 | #Constraints: 29559
141.48/143.10 c #Conflicts: 127000 | #Constraints: 30560
141.48/143.10 c #Conflicts: 128000 | #Constraints: 31564
141.48/143.10 c #Conflicts: 129000 | #Constraints: 32564
141.48/143.10 c #Conflicts: 130000 | #Constraints: 33568
141.48/143.10 c #Conflicts: 131000 | #Constraints: 34572
141.48/143.10 c INPROCESSING
141.48/143.10 c GARBAGE COLLECT
141.48/143.10 c rational objective 6
151.12/152.71 c #Conflicts: 132000 | #Constraints: 28315
151.12/152.71 c #Conflicts: 133000 | #Constraints: 29316
151.12/152.71 c #Conflicts: 134000 | #Constraints: 30317
151.12/152.71 c #Conflicts: 135000 | #Constraints: 31319
151.12/152.71 c #Conflicts: 136000 | #Constraints: 32322
151.12/152.71 c #Conflicts: 137000 | #Constraints: 33328
151.12/152.71 c #Conflicts: 138000 | #Constraints: 34332
151.12/152.71 c #Conflicts: 139000 | #Constraints: 35333
151.12/152.71 c INPROCESSING
151.12/152.71 c GARBAGE COLLECT
151.12/152.71 c rational objective 6
162.83/164.65 c #Conflicts: 140000 | #Constraints: 28917
162.83/164.65 c #Conflicts: 141000 | #Constraints: 29918
162.83/164.65 c #Conflicts: 142000 | #Constraints: 30919
162.83/164.65 c #Conflicts: 143000 | #Constraints: 31920
162.83/164.65 c #Conflicts: 144000 | #Constraints: 32921
162.83/164.65 c #Conflicts: 145000 | #Constraints: 33921
162.83/164.65 c #Conflicts: 146000 | #Constraints: 34922
162.83/164.65 c #Conflicts: 147000 | #Constraints: 35922
162.83/164.65 c INPROCESSING
162.83/164.65 c GARBAGE COLLECT
162.83/164.65 c rational objective 6
173.90/175.74 c #Conflicts: 148000 | #Constraints: 29302
173.90/175.74 c #Conflicts: 149000 | #Constraints: 30302
173.90/175.74 c #Conflicts: 150000 | #Constraints: 31303
173.90/175.74 c #Conflicts: 151000 | #Constraints: 32307
173.90/175.74 c #Conflicts: 152000 | #Constraints: 33309
173.90/175.74 c #Conflicts: 153000 | #Constraints: 34309
173.90/175.74 c #Conflicts: 154000 | #Constraints: 35309
173.90/175.74 c #Conflicts: 155000 | #Constraints: 36311
173.90/175.74 c INPROCESSING
173.90/175.74 c GARBAGE COLLECT
173.90/175.74 c rational objective 6
184.76/186.66 c #Conflicts: 156000 | #Constraints: 29448
184.76/186.66 c #Conflicts: 157000 | #Constraints: 30448
184.76/186.66 c #Conflicts: 158000 | #Constraints: 31453
184.76/186.66 c #Conflicts: 159000 | #Constraints: 32456
184.76/186.66 c #Conflicts: 160000 | #Constraints: 33458
184.76/186.66 c #Conflicts: 161000 | #Constraints: 34460
184.76/186.66 c #Conflicts: 162000 | #Constraints: 35464
184.76/186.66 c #Conflicts: 163000 | #Constraints: 36465
184.76/186.66 c INPROCESSING
184.76/186.66 c GARBAGE COLLECT
184.76/186.66 c rational objective 6
196.28/198.39 c #Conflicts: 164000 | #Constraints: 29422
196.28/198.39 c #Conflicts: 165000 | #Constraints: 30424
196.28/198.39 c #Conflicts: 166000 | #Constraints: 31427
196.28/198.39 c #Conflicts: 167000 | #Constraints: 32429
196.28/198.39 c #Conflicts: 168000 | #Constraints: 33431
196.28/198.39 c #Conflicts: 169000 | #Constraints: 34433
196.28/198.39 c #Conflicts: 170000 | #Constraints: 35437
196.28/198.39 c #Conflicts: 171000 | #Constraints: 36443
196.28/198.39 c INPROCESSING
196.28/198.39 c GARBAGE COLLECT
196.28/198.39 c rational objective 6
208.06/210.17 c #Conflicts: 172000 | #Constraints: 29180
208.06/210.17 c #Conflicts: 173000 | #Constraints: 30180
208.06/210.17 c #Conflicts: 174000 | #Constraints: 31181
208.06/210.17 c #Conflicts: 175000 | #Constraints: 32183
208.06/210.17 c #Conflicts: 176000 | #Constraints: 33186
208.06/210.17 c #Conflicts: 177000 | #Constraints: 34190
208.06/210.17 c #Conflicts: 178000 | #Constraints: 35193
208.06/210.17 c #Conflicts: 179000 | #Constraints: 36195
208.06/210.17 c #Conflicts: 180000 | #Constraints: 37197
208.06/210.17 c INPROCESSING
208.06/210.17 c GARBAGE COLLECT
208.06/210.17 c rational objective 6
220.40/222.58 c #Conflicts: 181000 | #Constraints: 29779
220.40/222.58 c #Conflicts: 182000 | #Constraints: 30780
220.40/222.58 c #Conflicts: 183000 | #Constraints: 31781
220.40/222.58 c #Conflicts: 184000 | #Constraints: 32783
220.40/222.58 c #Conflicts: 185000 | #Constraints: 33783
220.40/222.58 c #Conflicts: 186000 | #Constraints: 34783
220.40/222.58 c #Conflicts: 187000 | #Constraints: 35784
220.40/222.58 c #Conflicts: 188000 | #Constraints: 36785
220.40/222.58 c #Conflicts: 189000 | #Constraints: 37786
220.40/222.58 c INPROCESSING
220.40/222.58 c GARBAGE COLLECT
220.40/222.58 c rational objective 6
230.41/233.82 c #Conflicts: 190000 | #Constraints: 30155
230.41/233.82 c #Conflicts: 191000 | #Constraints: 31157
230.41/233.82 c #Conflicts: 192000 | #Constraints: 32159
230.41/233.82 c #Conflicts: 193000 | #Constraints: 33161
230.41/233.82 c #Conflicts: 194000 | #Constraints: 34162
230.41/233.82 c #Conflicts: 195000 | #Constraints: 35164
230.41/233.82 c #Conflicts: 196000 | #Constraints: 36164
230.41/233.82 c #Conflicts: 197000 | #Constraints: 37168
230.41/233.82 c #Conflicts: 198000 | #Constraints: 38172
230.41/233.82 c INPROCESSING
230.41/233.82 c GARBAGE COLLECT
230.41/233.82 c rational objective 6
239.79/243.22 c #Conflicts: 199000 | #Constraints: 30357
239.79/243.22 c #Conflicts: 200000 | #Constraints: 31358
239.79/243.22 c #Conflicts: 201000 | #Constraints: 32360
239.79/243.22 c #Conflicts: 202000 | #Constraints: 33365
239.79/243.22 c #Conflicts: 203000 | #Constraints: 34369
239.79/243.22 c #Conflicts: 204000 | #Constraints: 35371
239.79/243.22 c #Conflicts: 205000 | #Constraints: 36372
239.79/243.22 c #Conflicts: 206000 | #Constraints: 37374
239.79/243.22 c #Conflicts: 207000 | #Constraints: 38376
239.79/243.22 c INPROCESSING
239.79/243.22 c GARBAGE COLLECT
239.79/243.22 c rational objective 6
253.74/257.34 c #Conflicts: 208000 | #Constraints: 30341
253.74/257.34 c #Conflicts: 209000 | #Constraints: 31341
253.74/257.34 c #Conflicts: 210000 | #Constraints: 32344
253.74/257.34 c #Conflicts: 211000 | #Constraints: 33347
253.74/257.34 c #Conflicts: 212000 | #Constraints: 34350
253.74/257.34 c #Conflicts: 213000 | #Constraints: 35351
253.74/257.34 c #Conflicts: 214000 | #Constraints: 36354
253.74/257.34 c #Conflicts: 215000 | #Constraints: 37356
253.74/257.34 c #Conflicts: 216000 | #Constraints: 38358
253.74/257.34 c INPROCESSING
253.74/257.34 c GARBAGE COLLECT
253.74/257.34 c rational objective 6
265.31/268.99 c #Conflicts: 217000 | #Constraints: 30113
265.31/268.99 c #Conflicts: 218000 | #Constraints: 31113
265.31/268.99 c #Conflicts: 219000 | #Constraints: 32114
265.31/268.99 c #Conflicts: 220000 | #Constraints: 33118
265.31/268.99 c #Conflicts: 221000 | #Constraints: 34122
265.31/268.99 c #Conflicts: 222000 | #Constraints: 35124
265.31/268.99 c #Conflicts: 223000 | #Constraints: 36125
265.31/268.99 c #Conflicts: 224000 | #Constraints: 37129
265.31/268.99 c #Conflicts: 225000 | #Constraints: 38134
265.31/268.99 c #Conflicts: 226000 | #Constraints: 39139
265.31/268.99 c INPROCESSING
265.31/268.99 c GARBAGE COLLECT
265.31/268.99 c rational objective 6
276.88/280.51 c #Conflicts: 227000 | #Constraints: 30686
276.88/280.51 c #Conflicts: 228000 | #Constraints: 31687
276.88/280.51 c #Conflicts: 229000 | #Constraints: 32700
276.88/280.51 c #Conflicts: 230000 | #Constraints: 33704
276.88/280.51 c #Conflicts: 231000 | #Constraints: 34706
276.88/280.51 c #Conflicts: 232000 | #Constraints: 35709
276.88/280.51 c #Conflicts: 233000 | #Constraints: 36710
276.88/280.51 c #Conflicts: 234000 | #Constraints: 37711
276.88/280.51 c #Conflicts: 235000 | #Constraints: 38711
276.88/280.51 c #Conflicts: 236000 | #Constraints: 39712
276.88/280.51 c INPROCESSING
276.88/280.51 c GARBAGE COLLECT
276.88/280.51 c rational objective 6
290.19/294.08 c #Conflicts: 237000 | #Constraints: 31063
290.19/294.08 c #Conflicts: 238000 | #Constraints: 32064
290.19/294.08 c #Conflicts: 239000 | #Constraints: 33065
290.19/294.08 c #Conflicts: 240000 | #Constraints: 34066
290.19/294.08 c #Conflicts: 241000 | #Constraints: 35067
290.19/294.08 c #Conflicts: 242000 | #Constraints: 36072
290.19/294.08 c #Conflicts: 243000 | #Constraints: 37078
290.19/294.08 c #Conflicts: 244000 | #Constraints: 38081
290.19/294.08 c #Conflicts: 245000 | #Constraints: 39083
290.19/294.08 c #Conflicts: 246000 | #Constraints: 40088
290.19/294.08 c INPROCESSING
290.19/294.08 c GARBAGE COLLECT
290.19/294.08 c rational objective 6
305.04/308.96 c #Conflicts: 247000 | #Constraints: 31248
305.04/308.96 c #Conflicts: 248000 | #Constraints: 32257
305.04/308.96 c #Conflicts: 249000 | #Constraints: 33265
305.04/308.96 c #Conflicts: 250000 | #Constraints: 34267
305.04/308.96 c #Conflicts: 251000 | #Constraints: 35268
305.04/308.96 c #Conflicts: 252000 | #Constraints: 36270
305.04/308.96 c #Conflicts: 253000 | #Constraints: 37270
305.04/308.96 c #Conflicts: 254000 | #Constraints: 38271
305.04/308.96 c #Conflicts: 255000 | #Constraints: 39272
305.04/308.96 c #Conflicts: 256000 | #Constraints: 40273
305.04/308.96 c INPROCESSING
305.04/308.96 c GARBAGE COLLECT
305.04/308.96 c rational objective 6
317.68/321.73 c #Conflicts: 257000 | #Constraints: 31235
317.68/321.73 c #Conflicts: 258000 | #Constraints: 32236
317.68/321.73 c #Conflicts: 259000 | #Constraints: 33236
317.68/321.73 c #Conflicts: 260000 | #Constraints: 34239
317.68/321.73 c #Conflicts: 261000 | #Constraints: 35241
317.68/321.73 c #Conflicts: 262000 | #Constraints: 36242
317.68/321.73 c #Conflicts: 263000 | #Constraints: 37243
317.68/321.73 c #Conflicts: 264000 | #Constraints: 38246
317.68/321.73 c #Conflicts: 265000 | #Constraints: 39248
317.68/321.73 c #Conflicts: 266000 | #Constraints: 40249
317.68/321.73 c INPROCESSING
317.68/321.73 c GARBAGE COLLECT
317.68/321.73 c rational objective 6
333.33/337.47 c #Conflicts: 267000 | #Constraints: 31019
333.33/337.47 c #Conflicts: 268000 | #Constraints: 32020
333.33/337.47 c #Conflicts: 269000 | #Constraints: 33020
333.33/337.47 c #Conflicts: 270000 | #Constraints: 34022
333.33/337.47 c #Conflicts: 271000 | #Constraints: 35025
333.33/337.47 c #Conflicts: 272000 | #Constraints: 36027
333.33/337.47 c #Conflicts: 273000 | #Constraints: 37028
333.33/337.47 c #Conflicts: 274000 | #Constraints: 38030
333.33/337.47 c #Conflicts: 275000 | #Constraints: 39033
333.33/337.47 c #Conflicts: 276000 | #Constraints: 40035
333.33/337.47 c #Conflicts: 277000 | #Constraints: 41038
333.33/337.47 c INPROCESSING
333.33/337.47 c GARBAGE COLLECT
333.33/337.47 c rational objective 6
351.48/355.61 c #Conflicts: 278000 | #Constraints: 31612
351.48/355.61 c #Conflicts: 279000 | #Constraints: 32612
351.48/355.61 c #Conflicts: 280000 | #Constraints: 33613
351.48/355.61 c #Conflicts: 281000 | #Constraints: 34614
351.48/355.61 c #Conflicts: 282000 | #Constraints: 35615
351.48/355.61 c #Conflicts: 283000 | #Constraints: 36615
351.48/355.61 c #Conflicts: 284000 | #Constraints: 37615
351.48/355.61 c #Conflicts: 285000 | #Constraints: 38616
351.48/355.61 c #Conflicts: 286000 | #Constraints: 39616
351.48/355.61 c #Conflicts: 287000 | #Constraints: 40617
351.48/355.61 c #Conflicts: 288000 | #Constraints: 41617
351.48/355.61 c INPROCESSING
351.48/355.61 c GARBAGE COLLECT
351.48/355.61 c rational objective 6
366.44/370.67 c #Conflicts: 289000 | #Constraints: 32002
366.44/370.67 c #Conflicts: 290000 | #Constraints: 33002
366.44/370.67 c #Conflicts: 291000 | #Constraints: 34007
366.44/370.67 c #Conflicts: 292000 | #Constraints: 35022
366.44/370.67 c #Conflicts: 293000 | #Constraints: 36026
366.44/370.67 c #Conflicts: 294000 | #Constraints: 37030
366.44/370.67 c #Conflicts: 295000 | #Constraints: 38031
366.44/370.67 c #Conflicts: 296000 | #Constraints: 39034
366.44/370.67 c #Conflicts: 297000 | #Constraints: 40036
366.44/370.67 c #Conflicts: 298000 | #Constraints: 41039
366.44/370.67 c #Conflicts: 299000 | #Constraints: 42043
366.44/370.67 c INPROCESSING
366.44/370.67 c GARBAGE COLLECT
366.44/370.67 c rational objective 6
383.99/388.47 c #Conflicts: 300000 | #Constraints: 32216
383.99/388.47 c #Conflicts: 301000 | #Constraints: 33216
383.99/388.47 c #Conflicts: 302000 | #Constraints: 34216
383.99/388.47 c #Conflicts: 303000 | #Constraints: 35217
383.99/388.47 c #Conflicts: 304000 | #Constraints: 36218
383.99/388.47 c #Conflicts: 305000 | #Constraints: 37219
383.99/388.47 c #Conflicts: 306000 | #Constraints: 38219
383.99/388.47 c #Conflicts: 307000 | #Constraints: 39220
383.99/388.47 c #Conflicts: 308000 | #Constraints: 40221
383.99/388.47 c #Conflicts: 309000 | #Constraints: 41221
383.99/388.47 c #Conflicts: 310000 | #Constraints: 42222
383.99/388.47 c INPROCESSING
383.99/388.47 c GARBAGE COLLECT
383.99/388.47 c rational objective 6
399.55/404.01 c #Conflicts: 311000 | #Constraints: 32191
399.55/404.01 c #Conflicts: 312000 | #Constraints: 33192
399.55/404.01 c #Conflicts: 313000 | #Constraints: 34192
399.55/404.01 c #Conflicts: 314000 | #Constraints: 35194
399.55/404.01 c #Conflicts: 315000 | #Constraints: 36198
399.55/404.01 c #Conflicts: 316000 | #Constraints: 37200
399.55/404.01 c #Conflicts: 317000 | #Constraints: 38202
399.55/404.01 c #Conflicts: 318000 | #Constraints: 39206
399.55/404.01 c #Conflicts: 319000 | #Constraints: 40207
399.55/404.01 c #Conflicts: 320000 | #Constraints: 41209
399.55/404.01 c #Conflicts: 321000 | #Constraints: 42211
399.55/404.01 c INPROCESSING
399.55/404.01 c GARBAGE COLLECT
399.55/404.01 c rational objective 6
422.07/426.61 c #Conflicts: 322000 | #Constraints: 31933
422.07/426.61 c #Conflicts: 323000 | #Constraints: 32934
422.07/426.61 c #Conflicts: 324000 | #Constraints: 33938
422.07/426.61 c #Conflicts: 325000 | #Constraints: 34941
422.07/426.61 c #Conflicts: 326000 | #Constraints: 35943
422.07/426.61 c #Conflicts: 327000 | #Constraints: 36944
422.07/426.61 c #Conflicts: 328000 | #Constraints: 37945
422.07/426.61 c #Conflicts: 329000 | #Constraints: 38945
422.07/426.61 c #Conflicts: 330000 | #Constraints: 39946
422.07/426.61 c #Conflicts: 331000 | #Constraints: 40948
422.07/426.61 c #Conflicts: 332000 | #Constraints: 41949
422.07/426.61 c #Conflicts: 333000 | #Constraints: 42952
422.07/426.61 c INPROCESSING
422.07/426.61 c GARBAGE COLLECT
422.07/426.61 c rational objective 6
439.22/443.98 c #Conflicts: 334000 | #Constraints: 32503
439.22/443.98 c #Conflicts: 335000 | #Constraints: 33506
439.22/443.98 c #Conflicts: 336000 | #Constraints: 34509
439.22/443.98 c #Conflicts: 337000 | #Constraints: 35511
439.22/443.98 c #Conflicts: 338000 | #Constraints: 36515
439.22/443.98 c #Conflicts: 339000 | #Constraints: 37516
439.22/443.98 c #Conflicts: 340000 | #Constraints: 38517
439.22/443.98 c #Conflicts: 341000 | #Constraints: 39518
439.22/443.98 c #Conflicts: 342000 | #Constraints: 40520
439.22/443.98 c #Conflicts: 343000 | #Constraints: 41521
439.22/443.98 c #Conflicts: 344000 | #Constraints: 42522
439.22/443.98 c #Conflicts: 345000 | #Constraints: 43522
439.22/443.98 c INPROCESSING
439.22/443.98 c GARBAGE COLLECT
439.22/443.98 c rational objective 6
460.94/465.72 c #Conflicts: 346000 | #Constraints: 32884
460.94/465.72 c #Conflicts: 347000 | #Constraints: 33885
460.94/465.72 c #Conflicts: 348000 | #Constraints: 34885
460.94/465.72 c #Conflicts: 349000 | #Constraints: 35887
460.94/465.72 c #Conflicts: 350000 | #Constraints: 36888
460.94/465.72 c #Conflicts: 351000 | #Constraints: 37889
460.94/465.72 c #Conflicts: 352000 | #Constraints: 38890
460.94/465.72 c #Conflicts: 353000 | #Constraints: 39890
460.94/465.72 c #Conflicts: 354000 | #Constraints: 40890
460.94/465.72 c #Conflicts: 355000 | #Constraints: 41891
460.94/465.72 c #Conflicts: 356000 | #Constraints: 42891
460.94/465.72 c #Conflicts: 357000 | #Constraints: 43891
460.94/465.72 c INPROCESSING
460.94/465.72 c GARBAGE COLLECT
460.94/465.72 c rational objective 6
479.43/484.47 c #Conflicts: 358000 | #Constraints: 33075
479.43/484.47 c #Conflicts: 359000 | #Constraints: 34075
479.43/484.47 c #Conflicts: 360000 | #Constraints: 35077
479.43/484.47 c #Conflicts: 361000 | #Constraints: 36079
479.43/484.47 c #Conflicts: 362000 | #Constraints: 37082
479.43/484.47 c #Conflicts: 363000 | #Constraints: 38087
479.43/484.47 c #Conflicts: 364000 | #Constraints: 39094
479.43/484.47 c #Conflicts: 365000 | #Constraints: 40102
479.43/484.47 c #Conflicts: 366000 | #Constraints: 41104
479.43/484.47 c #Conflicts: 367000 | #Constraints: 42109
479.43/484.47 c #Conflicts: 368000 | #Constraints: 43113
479.43/484.47 c #Conflicts: 369000 | #Constraints: 44120
479.43/484.47 c INPROCESSING
479.43/484.47 c GARBAGE COLLECT
479.43/484.47 c rational objective 6
497.80/503.08 c #Conflicts: 370000 | #Constraints: 33086
497.80/503.08 c #Conflicts: 371000 | #Constraints: 34087
497.80/503.08 c #Conflicts: 372000 | #Constraints: 35088
497.80/503.08 c #Conflicts: 373000 | #Constraints: 36091
497.80/503.08 c #Conflicts: 374000 | #Constraints: 37096
497.80/503.08 c #Conflicts: 375000 | #Constraints: 38101
497.80/503.08 c #Conflicts: 376000 | #Constraints: 39105
497.80/503.08 c #Conflicts: 377000 | #Constraints: 40107
497.80/503.08 c #Conflicts: 378000 | #Constraints: 41107
497.80/503.08 c #Conflicts: 379000 | #Constraints: 42113
497.80/503.08 c #Conflicts: 380000 | #Constraints: 43116
497.80/503.08 c #Conflicts: 381000 | #Constraints: 44119
497.80/503.08 c INPROCESSING
497.80/503.08 c GARBAGE COLLECT
497.80/503.08 c rational objective 6
517.13/522.48 c #Conflicts: 382000 | #Constraints: 32862
517.13/522.48 c #Conflicts: 383000 | #Constraints: 33863
517.13/522.48 c #Conflicts: 384000 | #Constraints: 34863
517.13/522.48 c #Conflicts: 385000 | #Constraints: 35867
517.13/522.48 c #Conflicts: 386000 | #Constraints: 36870
517.13/522.48 c #Conflicts: 387000 | #Constraints: 37872
517.13/522.48 c #Conflicts: 388000 | #Constraints: 38879
517.13/522.48 c #Conflicts: 389000 | #Constraints: 39882
517.13/522.48 c #Conflicts: 390000 | #Constraints: 40886
517.13/522.48 c #Conflicts: 391000 | #Constraints: 41887
517.13/522.48 c #Conflicts: 392000 | #Constraints: 42889
517.13/522.48 c #Conflicts: 393000 | #Constraints: 43890
517.13/522.48 c #Conflicts: 394000 | #Constraints: 44893
517.13/522.48 c INPROCESSING
517.13/522.48 c GARBAGE COLLECT
517.13/522.48 c rational objective 6
539.56/545.04 c #Conflicts: 395000 | #Constraints: 33422
539.56/545.04 c #Conflicts: 396000 | #Constraints: 34422
539.56/545.04 c #Conflicts: 397000 | #Constraints: 35424
539.56/545.04 c #Conflicts: 398000 | #Constraints: 36427
539.56/545.04 c #Conflicts: 399000 | #Constraints: 37429
539.56/545.04 c #Conflicts: 400000 | #Constraints: 38430
539.56/545.04 c #Conflicts: 401000 | #Constraints: 39431
539.56/545.04 c #Conflicts: 402000 | #Constraints: 40432
539.56/545.04 c #Conflicts: 403000 | #Constraints: 41433
539.56/545.04 c #Conflicts: 404000 | #Constraints: 42434
539.56/545.04 c #Conflicts: 405000 | #Constraints: 43435
539.56/545.04 c #Conflicts: 406000 | #Constraints: 44435
539.56/545.04 c #Conflicts: 407000 | #Constraints: 45435
539.56/545.04 c INPROCESSING
539.56/545.04 c GARBAGE COLLECT
539.56/545.04 c rational objective 6
562.77/568.37 c #Conflicts: 408000 | #Constraints: 33754
562.77/568.37 c #Conflicts: 409000 | #Constraints: 34756
562.77/568.37 c #Conflicts: 410000 | #Constraints: 35758
562.77/568.37 c #Conflicts: 411000 | #Constraints: 36761
562.77/568.37 c #Conflicts: 412000 | #Constraints: 37763
562.77/568.37 c #Conflicts: 413000 | #Constraints: 38774
562.77/568.37 c #Conflicts: 414000 | #Constraints: 39777
562.77/568.37 c #Conflicts: 415000 | #Constraints: 40782
562.77/568.37 c #Conflicts: 416000 | #Constraints: 41787
562.77/568.37 c #Conflicts: 417000 | #Constraints: 42791
562.77/568.37 c #Conflicts: 418000 | #Constraints: 43794
562.77/568.37 c #Conflicts: 419000 | #Constraints: 44795
562.77/568.37 c #Conflicts: 420000 | #Constraints: 45795
562.77/568.37 c INPROCESSING
562.77/568.37 c GARBAGE COLLECT
562.77/568.37 c rational objective 6
584.52/590.12 c #Conflicts: 421000 | #Constraints: 33958
584.52/590.12 c #Conflicts: 422000 | #Constraints: 34960
584.52/590.12 c #Conflicts: 423000 | #Constraints: 35964
584.52/590.12 c #Conflicts: 424000 | #Constraints: 36970
584.52/590.12 c #Conflicts: 425000 | #Constraints: 37972
584.52/590.12 c #Conflicts: 426000 | #Constraints: 38973
584.52/590.12 c #Conflicts: 427000 | #Constraints: 39975
584.52/590.12 c #Conflicts: 428000 | #Constraints: 40976
584.52/590.12 c #Conflicts: 429000 | #Constraints: 41976
584.52/590.12 c #Conflicts: 430000 | #Constraints: 42979
584.52/590.12 c #Conflicts: 431000 | #Constraints: 43981
584.52/590.12 c #Conflicts: 432000 | #Constraints: 44993
584.52/590.12 c #Conflicts: 433000 | #Constraints: 45998
584.52/590.12 c INPROCESSING
584.52/590.12 c GARBAGE COLLECT
584.52/590.12 c rational objective 6
609.11/614.95 c #Conflicts: 434000 | #Constraints: 33958
609.11/614.95 c #Conflicts: 435000 | #Constraints: 34960
609.11/614.95 c #Conflicts: 436000 | #Constraints: 35962
609.11/614.95 c #Conflicts: 437000 | #Constraints: 36963
609.11/614.95 c #Conflicts: 438000 | #Constraints: 37963
609.11/614.95 c #Conflicts: 439000 | #Constraints: 38964
609.11/614.95 c #Conflicts: 440000 | #Constraints: 39964
609.11/614.95 c #Conflicts: 441000 | #Constraints: 40965
609.11/614.95 c #Conflicts: 442000 | #Constraints: 41966
609.11/614.95 c #Conflicts: 443000 | #Constraints: 42966
609.11/614.95 c #Conflicts: 444000 | #Constraints: 43966
609.11/614.95 c #Conflicts: 445000 | #Constraints: 44967
609.11/614.95 c #Conflicts: 446000 | #Constraints: 45967
609.11/614.95 c INPROCESSING
609.11/614.95 c GARBAGE COLLECT
609.11/614.95 c rational objective 6
630.23/636.27 c #Conflicts: 447000 | #Constraints: 33731
630.23/636.27 c #Conflicts: 448000 | #Constraints: 34731
630.23/636.27 c #Conflicts: 449000 | #Constraints: 35731
630.23/636.27 c #Conflicts: 450000 | #Constraints: 36732
630.23/636.27 c #Conflicts: 451000 | #Constraints: 37734
630.23/636.27 c #Conflicts: 452000 | #Constraints: 38740
630.23/636.27 c #Conflicts: 453000 | #Constraints: 39750
630.23/636.27 c #Conflicts: 454000 | #Constraints: 40754
630.23/636.27 c #Conflicts: 455000 | #Constraints: 41762
630.23/636.27 c #Conflicts: 456000 | #Constraints: 42768
630.23/636.27 c #Conflicts: 457000 | #Constraints: 43777
630.23/636.27 c #Conflicts: 458000 | #Constraints: 44785
630.23/636.27 c #Conflicts: 459000 | #Constraints: 45789
630.23/636.27 c #Conflicts: 460000 | #Constraints: 46791
630.23/636.27 c INPROCESSING
630.23/636.27 c GARBAGE COLLECT
630.23/636.27 c rational objective 6
665.73/671.92 c #Conflicts: 461000 | #Constraints: 34327
665.73/671.92 c #Conflicts: 462000 | #Constraints: 35330
665.73/671.92 c #Conflicts: 463000 | #Constraints: 36333
665.73/671.92 c #Conflicts: 464000 | #Constraints: 37333
665.73/671.92 c #Conflicts: 465000 | #Constraints: 38334
665.73/671.92 c #Conflicts: 466000 | #Constraints: 39335
665.73/671.92 c #Conflicts: 467000 | #Constraints: 40335
665.73/671.92 c #Conflicts: 468000 | #Constraints: 41336
665.73/671.92 c #Conflicts: 469000 | #Constraints: 42337
665.73/671.92 c #Conflicts: 470000 | #Constraints: 43338
665.73/671.92 c #Conflicts: 471000 | #Constraints: 44339
665.73/671.92 c #Conflicts: 472000 | #Constraints: 45340
665.73/671.92 c #Conflicts: 473000 | #Constraints: 46341
665.73/671.92 c #Conflicts: 474000 | #Constraints: 47341
665.73/671.92 c INPROCESSING
665.73/671.92 c GARBAGE COLLECT
665.73/671.92 c rational objective 6
701.51/707.84 c #Conflicts: 475000 | #Constraints: 34727
701.51/707.84 c #Conflicts: 476000 | #Constraints: 35727
701.51/707.84 c #Conflicts: 477000 | #Constraints: 36728
701.51/707.84 c #Conflicts: 478000 | #Constraints: 37729
701.51/707.84 c #Conflicts: 479000 | #Constraints: 38733
701.51/707.84 c #Conflicts: 480000 | #Constraints: 39736
701.51/707.84 c #Conflicts: 481000 | #Constraints: 40738
701.51/707.84 c #Conflicts: 482000 | #Constraints: 41739
701.51/707.84 c #Conflicts: 483000 | #Constraints: 42741
701.51/707.84 c #Conflicts: 484000 | #Constraints: 43743
701.51/707.84 c #Conflicts: 485000 | #Constraints: 44744
701.51/707.84 c #Conflicts: 486000 | #Constraints: 45745
701.51/707.84 c #Conflicts: 487000 | #Constraints: 46746
701.51/707.84 c #Conflicts: 488000 | #Constraints: 47747
701.51/707.84 c INPROCESSING
701.51/707.84 c GARBAGE COLLECT
701.51/707.84 c rational objective 6
719.07/725.48 c #Conflicts: 489000 | #Constraints: 34912
719.07/725.48 c #Conflicts: 490000 | #Constraints: 35913
719.07/725.48 c #Conflicts: 491000 | #Constraints: 36913
719.07/725.48 c #Conflicts: 492000 | #Constraints: 37915
719.07/725.48 c #Conflicts: 493000 | #Constraints: 38915
719.07/725.48 c #Conflicts: 494000 | #Constraints: 39916
719.07/725.48 c #Conflicts: 495000 | #Constraints: 40918
719.07/725.48 c #Conflicts: 496000 | #Constraints: 41921
719.07/725.48 c #Conflicts: 497000 | #Constraints: 42925
719.07/725.48 c #Conflicts: 498000 | #Constraints: 43927
719.07/725.48 c #Conflicts: 499000 | #Constraints: 44929
719.07/725.48 c #Conflicts: 500000 | #Constraints: 45931
719.07/725.48 c #Conflicts: 501000 | #Constraints: 46932
719.07/725.48 c #Conflicts: 502000 | #Constraints: 47937
719.07/725.48 c INPROCESSING
719.07/725.48 c GARBAGE COLLECT
719.07/725.48 c rational objective 6
744.78/751.26 c #Conflicts: 503000 | #Constraints: 34903
744.78/751.26 c #Conflicts: 504000 | #Constraints: 35903
744.78/751.26 c #Conflicts: 505000 | #Constraints: 36905
744.78/751.26 c #Conflicts: 506000 | #Constraints: 37910
744.78/751.26 c #Conflicts: 507000 | #Constraints: 38915
744.78/751.26 c #Conflicts: 508000 | #Constraints: 39920
744.78/751.26 c #Conflicts: 509000 | #Constraints: 40924
744.78/751.26 c #Conflicts: 510000 | #Constraints: 41927
744.78/751.26 c #Conflicts: 511000 | #Constraints: 42930
744.78/751.26 c #Conflicts: 512000 | #Constraints: 43932
744.78/751.26 c #Conflicts: 513000 | #Constraints: 44933
744.78/751.26 c #Conflicts: 514000 | #Constraints: 45933
744.78/751.26 c #Conflicts: 515000 | #Constraints: 46933
744.78/751.26 c #Conflicts: 516000 | #Constraints: 47934
744.78/751.26 c INPROCESSING
744.78/751.26 c GARBAGE COLLECT
744.78/751.26 c rational objective 6
766.02/772.54 c #Conflicts: 517000 | #Constraints: 34635
766.02/772.54 c #Conflicts: 518000 | #Constraints: 35635
766.02/772.54 c #Conflicts: 519000 | #Constraints: 36635
766.02/772.54 c #Conflicts: 520000 | #Constraints: 37635
766.02/772.54 c #Conflicts: 521000 | #Constraints: 38636
766.02/772.54 c #Conflicts: 522000 | #Constraints: 39637
766.02/772.54 c #Conflicts: 523000 | #Constraints: 40638
766.02/772.54 c #Conflicts: 524000 | #Constraints: 41642
766.02/772.54 c #Conflicts: 525000 | #Constraints: 42644
766.02/772.54 c #Conflicts: 526000 | #Constraints: 43646
766.02/772.54 c #Conflicts: 527000 | #Constraints: 44647
766.02/772.54 c #Conflicts: 528000 | #Constraints: 45648
766.02/772.54 c #Conflicts: 529000 | #Constraints: 46648
766.02/772.54 c #Conflicts: 530000 | #Constraints: 47649
766.02/772.54 c #Conflicts: 531000 | #Constraints: 48649
766.02/772.54 c INPROCESSING
766.02/772.54 c GARBAGE COLLECT
766.02/772.54 c rational objective 6
790.35/796.99 c #Conflicts: 532000 | #Constraints: 35245
790.35/796.99 c #Conflicts: 533000 | #Constraints: 36246
790.35/796.99 c #Conflicts: 534000 | #Constraints: 37246
790.35/796.99 c #Conflicts: 535000 | #Constraints: 38248
790.35/796.99 c #Conflicts: 536000 | #Constraints: 39249
790.35/796.99 c #Conflicts: 537000 | #Constraints: 40252
790.35/796.99 c #Conflicts: 538000 | #Constraints: 41254
790.35/796.99 c #Conflicts: 539000 | #Constraints: 42257
790.35/796.99 c #Conflicts: 540000 | #Constraints: 43258
790.35/796.99 c #Conflicts: 541000 | #Constraints: 44260
790.35/796.99 c #Conflicts: 542000 | #Constraints: 45261
790.35/796.99 c #Conflicts: 543000 | #Constraints: 46262
790.35/796.99 c #Conflicts: 544000 | #Constraints: 47263
790.35/796.99 c #Conflicts: 545000 | #Constraints: 48264
790.35/796.99 c #Conflicts: 546000 | #Constraints: 49264
790.35/796.99 c INPROCESSING
790.35/796.99 c GARBAGE COLLECT
790.35/796.99 c rational objective 6
821.06/827.70 c #Conflicts: 547000 | #Constraints: 35644
821.06/827.70 c #Conflicts: 548000 | #Constraints: 36645
821.06/827.70 c #Conflicts: 549000 | #Constraints: 37650
821.06/827.70 c #Conflicts: 550000 | #Constraints: 38655
821.06/827.70 c #Conflicts: 551000 | #Constraints: 39656
821.06/827.70 c #Conflicts: 552000 | #Constraints: 40657
821.06/827.70 c #Conflicts: 553000 | #Constraints: 41659
821.06/827.70 c #Conflicts: 554000 | #Constraints: 42661
821.06/827.70 c #Conflicts: 555000 | #Constraints: 43662
821.06/827.70 c #Conflicts: 556000 | #Constraints: 44662
821.06/827.70 c #Conflicts: 557000 | #Constraints: 45663
821.06/827.70 c #Conflicts: 558000 | #Constraints: 46663
821.06/827.70 c #Conflicts: 559000 | #Constraints: 47663
821.06/827.70 c #Conflicts: 560000 | #Constraints: 48663
821.06/827.70 c #Conflicts: 561000 | #Constraints: 49664
821.06/827.70 c INPROCESSING
821.06/827.70 c GARBAGE COLLECT
821.06/827.70 c rational objective 6
848.18/855.00 c #Conflicts: 562000 | #Constraints: 35840
848.18/855.00 c #Conflicts: 563000 | #Constraints: 36841
848.18/855.00 c #Conflicts: 564000 | #Constraints: 37841
848.18/855.00 c #Conflicts: 565000 | #Constraints: 38843
848.18/855.00 c #Conflicts: 566000 | #Constraints: 39846
848.18/855.00 c #Conflicts: 567000 | #Constraints: 40848
848.18/855.00 c #Conflicts: 568000 | #Constraints: 41850
848.18/855.00 c #Conflicts: 569000 | #Constraints: 42851
848.18/855.00 c #Conflicts: 570000 | #Constraints: 43854
848.18/855.00 c #Conflicts: 571000 | #Constraints: 44856
848.18/855.00 c #Conflicts: 572000 | #Constraints: 45858
848.18/855.00 c #Conflicts: 573000 | #Constraints: 46858
848.18/855.00 c #Conflicts: 574000 | #Constraints: 47859
848.18/855.00 c #Conflicts: 575000 | #Constraints: 48860
848.18/855.00 c #Conflicts: 576000 | #Constraints: 49861
848.18/855.00 c INPROCESSING
848.18/855.00 c GARBAGE COLLECT
848.18/855.00 c rational objective 6
872.40/879.24 c #Conflicts: 577000 | #Constraints: 35833
872.40/879.24 c #Conflicts: 578000 | #Constraints: 36833
872.40/879.24 c #Conflicts: 579000 | #Constraints: 37834
872.40/879.24 c #Conflicts: 580000 | #Constraints: 38834
872.40/879.24 c #Conflicts: 581000 | #Constraints: 39835
872.40/879.24 c #Conflicts: 582000 | #Constraints: 40835
872.40/879.24 c #Conflicts: 583000 | #Constraints: 41838
872.40/879.24 c #Conflicts: 584000 | #Constraints: 42840
872.40/879.24 c #Conflicts: 585000 | #Constraints: 43840
872.40/879.24 c #Conflicts: 586000 | #Constraints: 44841
872.40/879.24 c #Conflicts: 587000 | #Constraints: 45844
872.40/879.24 c #Conflicts: 588000 | #Constraints: 46845
872.40/879.24 c #Conflicts: 589000 | #Constraints: 47847
872.40/879.24 c #Conflicts: 590000 | #Constraints: 48848
872.40/879.24 c #Conflicts: 591000 | #Constraints: 49849
872.40/879.24 c INPROCESSING
872.40/879.24 c GARBAGE COLLECT
872.40/879.24 c rational objective 6
911.36/918.30 c #Conflicts: 592000 | #Constraints: 35615
911.36/918.30 c #Conflicts: 593000 | #Constraints: 36615
911.36/918.30 c #Conflicts: 594000 | #Constraints: 37617
911.36/918.30 c #Conflicts: 595000 | #Constraints: 38624
911.36/918.30 c #Conflicts: 596000 | #Constraints: 39627
911.36/918.30 c #Conflicts: 597000 | #Constraints: 40634
911.36/918.30 c #Conflicts: 598000 | #Constraints: 41636
911.36/918.30 c #Conflicts: 599000 | #Constraints: 42639
911.36/918.30 c #Conflicts: 600000 | #Constraints: 43639
911.36/918.30 c #Conflicts: 601000 | #Constraints: 44640
911.36/918.30 c #Conflicts: 602000 | #Constraints: 45641
911.36/918.30 c #Conflicts: 603000 | #Constraints: 46643
911.36/918.30 c #Conflicts: 604000 | #Constraints: 47643
911.36/918.30 c #Conflicts: 605000 | #Constraints: 48644
911.36/918.30 c #Conflicts: 606000 | #Constraints: 49644
911.36/918.30 c #Conflicts: 607000 | #Constraints: 50645
911.36/918.30 c INPROCESSING
911.36/918.30 c GARBAGE COLLECT
911.36/918.30 c rational objective 6
935.59/942.67 c #Conflicts: 608000 | #Constraints: 36219
935.59/942.67 c #Conflicts: 609000 | #Constraints: 37220
935.59/942.67 c #Conflicts: 610000 | #Constraints: 38221
935.59/942.67 c #Conflicts: 611000 | #Constraints: 39224
935.59/942.67 c #Conflicts: 612000 | #Constraints: 40225
935.59/942.67 c #Conflicts: 613000 | #Constraints: 41228
935.59/942.67 c #Conflicts: 614000 | #Constraints: 42229
935.59/942.67 c #Conflicts: 615000 | #Constraints: 43230
935.59/942.67 c #Conflicts: 616000 | #Constraints: 44231
935.59/942.67 c #Conflicts: 617000 | #Constraints: 45232
935.59/942.67 c #Conflicts: 618000 | #Constraints: 46232
935.59/942.67 c #Conflicts: 619000 | #Constraints: 47233
935.59/942.67 c #Conflicts: 620000 | #Constraints: 48234
935.59/942.67 c #Conflicts: 621000 | #Constraints: 49234
935.59/942.67 c #Conflicts: 622000 | #Constraints: 50235
935.59/942.67 c #Conflicts: 623000 | #Constraints: 51235
935.59/942.67 c INPROCESSING
935.59/942.67 c GARBAGE COLLECT
935.59/942.67 c rational objective 6
962.31/969.49 c #Conflicts: 624000 | #Constraints: 36648
962.31/969.49 c #Conflicts: 625000 | #Constraints: 37654
962.31/969.49 c #Conflicts: 626000 | #Constraints: 38656
962.31/969.49 c #Conflicts: 627000 | #Constraints: 39658
962.31/969.49 c #Conflicts: 628000 | #Constraints: 40659
962.31/969.49 c #Conflicts: 629000 | #Constraints: 41661
962.31/969.49 c #Conflicts: 630000 | #Constraints: 42663
962.31/969.49 c #Conflicts: 631000 | #Constraints: 43664
962.31/969.49 c #Conflicts: 632000 | #Constraints: 44664
962.31/969.49 c #Conflicts: 633000 | #Constraints: 45665
962.31/969.49 c #Conflicts: 634000 | #Constraints: 46665
962.31/969.49 c #Conflicts: 635000 | #Constraints: 47666
962.31/969.49 c #Conflicts: 636000 | #Constraints: 48666
962.31/969.49 c #Conflicts: 637000 | #Constraints: 49666
962.31/969.49 c #Conflicts: 638000 | #Constraints: 50667
962.31/969.49 c #Conflicts: 639000 | #Constraints: 51667
962.31/969.49 c INPROCESSING
962.31/969.49 c GARBAGE COLLECT
962.31/969.49 c rational objective 6
985.74/993.00 c #Conflicts: 640000 | #Constraints: 36803
985.74/993.00 c #Conflicts: 641000 | #Constraints: 37803
985.74/993.00 c #Conflicts: 642000 | #Constraints: 38803
985.74/993.00 c #Conflicts: 643000 | #Constraints: 39804
985.74/993.00 c #Conflicts: 644000 | #Constraints: 40805
985.74/993.00 c #Conflicts: 645000 | #Constraints: 41806
985.74/993.00 c #Conflicts: 646000 | #Constraints: 42809
985.74/993.00 c #Conflicts: 647000 | #Constraints: 43810
985.74/993.00 c #Conflicts: 648000 | #Constraints: 44812
985.74/993.00 c #Conflicts: 649000 | #Constraints: 45814
985.74/993.00 c #Conflicts: 650000 | #Constraints: 46815
985.74/993.00 c #Conflicts: 651000 | #Constraints: 47815
985.74/993.00 c #Conflicts: 652000 | #Constraints: 48816
985.74/993.00 c #Conflicts: 653000 | #Constraints: 49818
985.74/993.00 c #Conflicts: 654000 | #Constraints: 50819
985.74/993.00 c #Conflicts: 655000 | #Constraints: 51819
985.74/993.00 c INPROCESSING
985.74/993.00 c GARBAGE COLLECT
985.74/993.00 c rational objective 6
1017.64/1024.94 c #Conflicts: 656000 | #Constraints: 36786
1017.64/1024.94 c #Conflicts: 657000 | #Constraints: 37787
1017.64/1024.94 c #Conflicts: 658000 | #Constraints: 38790
1017.64/1024.94 c #Conflicts: 659000 | #Constraints: 39797
1017.64/1024.94 c #Conflicts: 660000 | #Constraints: 40801
1017.64/1024.94 c #Conflicts: 661000 | #Constraints: 41804
1017.64/1024.94 c #Conflicts: 662000 | #Constraints: 42807
1017.64/1024.94 c #Conflicts: 663000 | #Constraints: 43808
1017.64/1024.94 c #Conflicts: 664000 | #Constraints: 44808
1017.64/1024.94 c #Conflicts: 665000 | #Constraints: 45809
1017.64/1024.94 c #Conflicts: 666000 | #Constraints: 46810
1017.64/1024.94 c #Conflicts: 667000 | #Constraints: 47811
1017.64/1024.94 c #Conflicts: 668000 | #Constraints: 48814
1017.64/1024.94 c #Conflicts: 669000 | #Constraints: 49815
1017.64/1024.94 c #Conflicts: 670000 | #Constraints: 50816
1017.64/1024.94 c #Conflicts: 671000 | #Constraints: 51817
1017.64/1024.94 c INPROCESSING
1017.64/1024.94 c GARBAGE COLLECT
1017.64/1024.94 c rational objective 6
1049.75/1057.11 c #Conflicts: 672000 | #Constraints: 36555
1049.75/1057.11 c #Conflicts: 673000 | #Constraints: 37556
1049.75/1057.11 c #Conflicts: 674000 | #Constraints: 38558
1049.75/1057.11 c #Conflicts: 675000 | #Constraints: 39564
1049.75/1057.11 c #Conflicts: 676000 | #Constraints: 40566
1049.75/1057.11 c #Conflicts: 677000 | #Constraints: 41570
1049.75/1057.11 c #Conflicts: 678000 | #Constraints: 42571
1049.75/1057.11 c #Conflicts: 679000 | #Constraints: 43572
1049.75/1057.11 c #Conflicts: 680000 | #Constraints: 44573
1049.75/1057.11 c #Conflicts: 681000 | #Constraints: 45574
1049.75/1057.11 c #Conflicts: 682000 | #Constraints: 46575
1049.75/1057.11 c #Conflicts: 683000 | #Constraints: 47575
1049.75/1057.11 c #Conflicts: 684000 | #Constraints: 48576
1049.75/1057.11 c #Conflicts: 685000 | #Constraints: 49577
1049.75/1057.11 c #Conflicts: 686000 | #Constraints: 50577
1049.75/1057.11 c #Conflicts: 687000 | #Constraints: 51578
1049.75/1057.11 c #Conflicts: 688000 | #Constraints: 52578
1049.75/1057.11 c INPROCESSING
1049.75/1057.11 c GARBAGE COLLECT
1049.75/1057.11 c rational objective 6
1078.85/1086.34 c #Conflicts: 689000 | #Constraints: 37141
1078.85/1086.34 c #Conflicts: 690000 | #Constraints: 38144
1078.85/1086.34 c #Conflicts: 691000 | #Constraints: 39145
1078.85/1086.34 c #Conflicts: 692000 | #Constraints: 40149
1078.85/1086.34 c #Conflicts: 693000 | #Constraints: 41151
1078.85/1086.34 c #Conflicts: 694000 | #Constraints: 42153
1078.85/1086.34 c #Conflicts: 695000 | #Constraints: 43155
1078.85/1086.34 c #Conflicts: 696000 | #Constraints: 44165
1078.85/1086.34 c #Conflicts: 697000 | #Constraints: 45165
1078.85/1086.34 c #Conflicts: 698000 | #Constraints: 46171
1078.85/1086.34 c #Conflicts: 699000 | #Constraints: 47176
1078.85/1086.34 c #Conflicts: 700000 | #Constraints: 48180
1078.85/1086.34 c #Conflicts: 701000 | #Constraints: 49183
1078.85/1086.34 c #Conflicts: 702000 | #Constraints: 50187
1078.85/1086.34 c #Conflicts: 703000 | #Constraints: 51190
1078.85/1086.34 c #Conflicts: 704000 | #Constraints: 52193
1078.85/1086.34 c #Conflicts: 705000 | #Constraints: 53195
1078.85/1086.34 c INPROCESSING
1078.85/1086.34 c GARBAGE COLLECT
1078.85/1086.34 c rational objective 6
1121.82/1129.48 c #Conflicts: 706000 | #Constraints: 37550
1121.82/1129.48 c #Conflicts: 707000 | #Constraints: 38554
1121.82/1129.48 c #Conflicts: 708000 | #Constraints: 39559
1121.82/1129.48 c #Conflicts: 709000 | #Constraints: 40564
1121.82/1129.48 c #Conflicts: 710000 | #Constraints: 41569
1121.82/1129.48 c #Conflicts: 711000 | #Constraints: 42571
1121.82/1129.48 c #Conflicts: 712000 | #Constraints: 43572
1121.82/1129.48 c #Conflicts: 713000 | #Constraints: 44573
1121.82/1129.48 c #Conflicts: 714000 | #Constraints: 45574
1121.82/1129.48 c #Conflicts: 715000 | #Constraints: 46575
1121.82/1129.48 c #Conflicts: 716000 | #Constraints: 47576
1121.82/1129.48 c #Conflicts: 717000 | #Constraints: 48578
1121.82/1129.48 c #Conflicts: 718000 | #Constraints: 49579
1121.82/1129.48 c #Conflicts: 719000 | #Constraints: 50580
1121.82/1129.48 c #Conflicts: 720000 | #Constraints: 51582
1121.82/1129.48 c #Conflicts: 721000 | #Constraints: 52584
1121.82/1129.48 c #Conflicts: 722000 | #Constraints: 53585
1121.82/1129.48 c INPROCESSING
1121.82/1129.48 c GARBAGE COLLECT
1121.82/1129.48 c rational objective 6
1171.97/1179.77 c #Conflicts: 723000 | #Constraints: 37758
1171.97/1179.77 c #Conflicts: 724000 | #Constraints: 38759
1171.97/1179.77 c #Conflicts: 725000 | #Constraints: 39762
1171.97/1179.77 c #Conflicts: 726000 | #Constraints: 40766
1171.97/1179.77 c #Conflicts: 727000 | #Constraints: 41767
1171.97/1179.77 c #Conflicts: 728000 | #Constraints: 42772
1171.97/1179.77 c #Conflicts: 729000 | #Constraints: 43774
1171.97/1179.77 c #Conflicts: 730000 | #Constraints: 44776
1171.97/1179.77 c #Conflicts: 731000 | #Constraints: 45779
1171.97/1179.77 c #Conflicts: 732000 | #Constraints: 46783
1171.97/1179.77 c #Conflicts: 733000 | #Constraints: 47785
1171.97/1179.77 c #Conflicts: 734000 | #Constraints: 48786
1171.97/1179.77 c #Conflicts: 735000 | #Constraints: 49791
1171.97/1179.77 c #Conflicts: 736000 | #Constraints: 50798
1171.97/1179.77 c #Conflicts: 737000 | #Constraints: 51803
1171.97/1179.77 c #Conflicts: 738000 | #Constraints: 52810
1171.97/1179.77 c #Conflicts: 739000 | #Constraints: 53811
1171.97/1179.77 c INPROCESSING
1171.97/1179.77 c GARBAGE COLLECT
1171.97/1179.77 c rational objective 6
1221.92/1229.83 c #Conflicts: 740000 | #Constraints: 37734
1221.92/1229.83 c #Conflicts: 741000 | #Constraints: 38737
1221.92/1229.83 c #Conflicts: 742000 | #Constraints: 39742
1221.92/1229.83 c #Conflicts: 743000 | #Constraints: 40746
1221.92/1229.83 c #Conflicts: 744000 | #Constraints: 41750
1221.92/1229.83 c #Conflicts: 745000 | #Constraints: 42753
1221.92/1229.83 c #Conflicts: 746000 | #Constraints: 43754
1221.92/1229.83 c #Conflicts: 747000 | #Constraints: 44757
1221.92/1229.83 c #Conflicts: 748000 | #Constraints: 45758
1221.92/1229.83 c #Conflicts: 749000 | #Constraints: 46761
1221.92/1229.83 c #Conflicts: 750000 | #Constraints: 47764
1221.92/1229.83 c #Conflicts: 751000 | #Constraints: 48767
1221.92/1229.83 c #Conflicts: 752000 | #Constraints: 49769
1221.92/1229.83 c #Conflicts: 753000 | #Constraints: 50772
1221.92/1229.83 c #Conflicts: 754000 | #Constraints: 51773
1221.92/1229.83 c #Conflicts: 755000 | #Constraints: 52775
1221.92/1229.83 c #Conflicts: 756000 | #Constraints: 53775
1221.92/1229.83 c INPROCESSING
1221.92/1229.83 c GARBAGE COLLECT
1221.92/1229.83 c rational objective 6
1261.11/1269.13 c #Conflicts: 757000 | #Constraints: 37511
1261.11/1269.13 c #Conflicts: 758000 | #Constraints: 38512
1261.11/1269.13 c #Conflicts: 759000 | #Constraints: 39515
1261.11/1269.13 c #Conflicts: 760000 | #Constraints: 40518
1261.11/1269.13 c #Conflicts: 761000 | #Constraints: 41522
1261.11/1269.13 c #Conflicts: 762000 | #Constraints: 42526
1261.11/1269.13 c #Conflicts: 763000 | #Constraints: 43528
1261.11/1269.13 c #Conflicts: 764000 | #Constraints: 44531
1261.11/1269.13 c #Conflicts: 765000 | #Constraints: 45533
1261.11/1269.13 c #Conflicts: 766000 | #Constraints: 46534
1261.11/1269.13 c #Conflicts: 767000 | #Constraints: 47536
1261.11/1269.13 c #Conflicts: 768000 | #Constraints: 48538
1261.11/1269.13 c #Conflicts: 769000 | #Constraints: 49541
1261.11/1269.13 c #Conflicts: 770000 | #Constraints: 50542
1261.11/1269.13 c #Conflicts: 771000 | #Constraints: 51544
1261.11/1269.13 c #Conflicts: 772000 | #Constraints: 52545
1261.11/1269.13 c #Conflicts: 773000 | #Constraints: 53546
1261.11/1269.13 c #Conflicts: 774000 | #Constraints: 54547
1261.11/1269.13 c INPROCESSING
1261.11/1269.13 c GARBAGE COLLECT
1261.11/1269.13 c rational objective 6
1299.17/1307.34 c #Conflicts: 775000 | #Constraints: 38095
1299.17/1307.34 c #Conflicts: 776000 | #Constraints: 39095
1299.17/1307.34 c #Conflicts: 777000 | #Constraints: 40098
1299.17/1307.34 c #Conflicts: 778000 | #Constraints: 41101
1299.17/1307.34 c #Conflicts: 779000 | #Constraints: 42106
1299.17/1307.34 c #Conflicts: 780000 | #Constraints: 43111
1299.17/1307.34 c #Conflicts: 781000 | #Constraints: 44115
1299.17/1307.34 c #Conflicts: 782000 | #Constraints: 45120
1299.17/1307.34 c #Conflicts: 783000 | #Constraints: 46125
1299.17/1307.34 c #Conflicts: 784000 | #Constraints: 47130
1299.17/1307.34 c #Conflicts: 785000 | #Constraints: 48132
1299.17/1307.34 c #Conflicts: 786000 | #Constraints: 49135
1299.17/1307.34 c #Conflicts: 787000 | #Constraints: 50138
1299.17/1307.34 c #Conflicts: 788000 | #Constraints: 51141
1299.17/1307.34 c #Conflicts: 789000 | #Constraints: 52142
1299.17/1307.34 c #Conflicts: 790000 | #Constraints: 53144
1299.17/1307.34 c #Conflicts: 791000 | #Constraints: 54145
1299.17/1307.34 c #Conflicts: 792000 | #Constraints: 55145
1299.17/1307.34 c INPROCESSING
1299.17/1307.34 c GARBAGE COLLECT
1299.17/1307.34 c rational objective 6
1337.62/1345.98 c #Conflicts: 793000 | #Constraints: 38490
1337.62/1345.98 c #Conflicts: 794000 | #Constraints: 39493
1337.62/1345.98 c #Conflicts: 795000 | #Constraints: 40498
1337.62/1345.98 c #Conflicts: 796000 | #Constraints: 41502
1337.62/1345.98 c #Conflicts: 797000 | #Constraints: 42505
1337.62/1345.98 c #Conflicts: 798000 | #Constraints: 43509
1337.62/1345.98 c #Conflicts: 799000 | #Constraints: 44513
1337.62/1345.98 c #Conflicts: 800000 | #Constraints: 45515
1337.62/1345.98 c #Conflicts: 801000 | #Constraints: 46516
1337.62/1345.98 c #Conflicts: 802000 | #Constraints: 47519
1337.62/1345.98 c #Conflicts: 803000 | #Constraints: 48522
1337.62/1345.98 c #Conflicts: 804000 | #Constraints: 49528
1337.62/1345.98 c #Conflicts: 805000 | #Constraints: 50534
1337.62/1345.98 c #Conflicts: 806000 | #Constraints: 51536
1337.62/1345.98 c #Conflicts: 807000 | #Constraints: 52539
1337.62/1345.98 c #Conflicts: 808000 | #Constraints: 53541
1337.62/1345.98 c #Conflicts: 809000 | #Constraints: 54542
1337.62/1345.98 c #Conflicts: 810000 | #Constraints: 55543
1337.62/1345.98 c INPROCESSING
1337.62/1345.98 c GARBAGE COLLECT
1337.62/1345.98 c rational objective 6
1375.85/1384.44 c #Conflicts: 811000 | #Constraints: 38691
1375.85/1384.44 c #Conflicts: 812000 | #Constraints: 39691
1375.85/1384.44 c #Conflicts: 813000 | #Constraints: 40697
1375.85/1384.44 c #Conflicts: 814000 | #Constraints: 41716
1375.85/1384.44 c #Conflicts: 815000 | #Constraints: 42751
1375.85/1384.44 c #Conflicts: 816000 | #Constraints: 43761
1375.85/1384.44 c #Conflicts: 817000 | #Constraints: 44769
1375.85/1384.44 c #Conflicts: 818000 | #Constraints: 45773
1375.85/1384.44 c #Conflicts: 819000 | #Constraints: 46777
1375.85/1384.44 c #Conflicts: 820000 | #Constraints: 47778
1375.85/1384.44 c #Conflicts: 821000 | #Constraints: 48781
1375.85/1384.44 c #Conflicts: 822000 | #Constraints: 49781
1375.85/1384.44 c #Conflicts: 823000 | #Constraints: 50784
1375.85/1384.44 c #Conflicts: 824000 | #Constraints: 51785
1375.85/1384.44 c #Conflicts: 825000 | #Constraints: 52787
1375.85/1384.44 c #Conflicts: 826000 | #Constraints: 53788
1375.85/1384.44 c #Conflicts: 827000 | #Constraints: 54790
1375.85/1384.44 c #Conflicts: 828000 | #Constraints: 55791
1375.85/1384.44 c INPROCESSING
1375.85/1384.44 c GARBAGE COLLECT
1375.85/1384.44 c rational objective 6
1421.33/1430.50 c #Conflicts: 829000 | #Constraints: 38720
1421.33/1430.50 c #Conflicts: 830000 | #Constraints: 39720
1421.33/1430.50 c #Conflicts: 831000 | #Constraints: 40724
1421.33/1430.50 c #Conflicts: 832000 | #Constraints: 41729
1421.33/1430.50 c #Conflicts: 833000 | #Constraints: 42738
1421.33/1430.50 c #Conflicts: 834000 | #Constraints: 43741
1421.33/1430.50 c #Conflicts: 835000 | #Constraints: 44746
1421.33/1430.50 c #Conflicts: 836000 | #Constraints: 45750
1421.33/1430.50 c #Conflicts: 837000 | #Constraints: 46754
1421.33/1430.50 c #Conflicts: 838000 | #Constraints: 47758
1421.33/1430.50 c #Conflicts: 839000 | #Constraints: 48759
1421.33/1430.50 c #Conflicts: 840000 | #Constraints: 49764
1421.33/1430.50 c #Conflicts: 841000 | #Constraints: 50770
1421.33/1430.50 c #Conflicts: 842000 | #Constraints: 51775
1421.33/1430.50 c #Conflicts: 843000 | #Constraints: 52778
1421.33/1430.50 c #Conflicts: 844000 | #Constraints: 53781
1421.33/1430.50 c #Conflicts: 845000 | #Constraints: 54782
1421.33/1430.50 c #Conflicts: 846000 | #Constraints: 55786
1421.33/1430.50 c INPROCESSING
1421.33/1430.50 c GARBAGE COLLECT
1421.33/1430.50 c rational objective 6
1464.32/1473.88 c #Conflicts: 847000 | #Constraints: 38470
1464.32/1473.88 c #Conflicts: 848000 | #Constraints: 39471
1464.32/1473.88 c #Conflicts: 849000 | #Constraints: 40477
1464.32/1473.88 c #Conflicts: 850000 | #Constraints: 41479
1464.32/1473.88 c #Conflicts: 851000 | #Constraints: 42482
1464.32/1473.88 c #Conflicts: 852000 | #Constraints: 43488
1464.32/1473.88 c #Conflicts: 853000 | #Constraints: 44491
1464.32/1473.88 c #Conflicts: 854000 | #Constraints: 45496
1464.32/1473.88 c #Conflicts: 855000 | #Constraints: 46497
1464.32/1473.88 c #Conflicts: 856000 | #Constraints: 47500
1464.32/1473.88 c #Conflicts: 857000 | #Constraints: 48501
1464.32/1473.88 c #Conflicts: 858000 | #Constraints: 49502
1464.32/1473.88 c #Conflicts: 859000 | #Constraints: 50502
1464.32/1473.88 c #Conflicts: 860000 | #Constraints: 51503
1464.32/1473.88 c #Conflicts: 861000 | #Constraints: 52503
1464.32/1473.88 c #Conflicts: 862000 | #Constraints: 53504
1464.32/1473.88 c #Conflicts: 863000 | #Constraints: 54504
1464.32/1473.88 c #Conflicts: 864000 | #Constraints: 55505
1464.32/1473.88 c #Conflicts: 865000 | #Constraints: 56506
1464.32/1473.88 c INPROCESSING
1464.32/1473.88 c GARBAGE COLLECT
1464.32/1473.88 c rational objective 6
1502.44/1512.31 c #Conflicts: 866000 | #Constraints: 39066
1502.44/1512.31 c #Conflicts: 867000 | #Constraints: 40066
1502.44/1512.31 c #Conflicts: 868000 | #Constraints: 41067
1502.44/1512.31 c #Conflicts: 869000 | #Constraints: 42069
1502.44/1512.31 c #Conflicts: 870000 | #Constraints: 43072
1502.44/1512.31 c #Conflicts: 871000 | #Constraints: 44080
1502.44/1512.31 c #Conflicts: 872000 | #Constraints: 45082
1502.44/1512.31 c #Conflicts: 873000 | #Constraints: 46090
1502.44/1512.31 c #Conflicts: 874000 | #Constraints: 47095
1502.44/1512.31 c #Conflicts: 875000 | #Constraints: 48097
1502.44/1512.31 c #Conflicts: 876000 | #Constraints: 49099
1502.44/1512.31 c #Conflicts: 877000 | #Constraints: 50103
1502.44/1512.31 c #Conflicts: 878000 | #Constraints: 51107
1502.44/1512.31 c #Conflicts: 879000 | #Constraints: 52109
1502.44/1512.31 c #Conflicts: 880000 | #Constraints: 53111
1502.44/1512.31 c #Conflicts: 881000 | #Constraints: 54113
1502.44/1512.31 c #Conflicts: 882000 | #Constraints: 55113
1502.44/1512.31 c #Conflicts: 883000 | #Constraints: 56114
1502.44/1512.31 c #Conflicts: 884000 | #Constraints: 57115
1502.44/1512.31 c INPROCESSING
1502.44/1512.31 c GARBAGE COLLECT
1502.44/1512.31 c rational objective 6
1547.33/1557.88 c #Conflicts: 885000 | #Constraints: 39508
1547.33/1557.88 c #Conflicts: 886000 | #Constraints: 40509
1547.33/1557.88 c #Conflicts: 887000 | #Constraints: 41512
1547.33/1557.88 c #Conflicts: 888000 | #Constraints: 42520
1547.33/1557.88 c #Conflicts: 889000 | #Constraints: 43529
1547.33/1557.88 c #Conflicts: 890000 | #Constraints: 44539
1547.33/1557.88 c #Conflicts: 891000 | #Constraints: 45546
1547.33/1557.88 c #Conflicts: 892000 | #Constraints: 46551
1547.33/1557.88 c #Conflicts: 893000 | #Constraints: 47559
1547.33/1557.88 c #Conflicts: 894000 | #Constraints: 48563
1547.33/1557.88 c #Conflicts: 895000 | #Constraints: 49569
1547.33/1557.88 c #Conflicts: 896000 | #Constraints: 50577
1547.33/1557.88 c #Conflicts: 897000 | #Constraints: 51582
1547.33/1557.88 c #Conflicts: 898000 | #Constraints: 52587
1547.33/1557.88 c #Conflicts: 899000 | #Constraints: 53595
1547.33/1557.88 c #Conflicts: 900000 | #Constraints: 54599
1547.33/1557.88 c #Conflicts: 901000 | #Constraints: 55601
1547.33/1557.88 c #Conflicts: 902000 | #Constraints: 56602
1547.33/1557.88 c #Conflicts: 903000 | #Constraints: 57602
1547.33/1557.88 c INPROCESSING
1547.33/1557.88 c GARBAGE COLLECT
1547.33/1557.88 c rational objective 6
1597.00/1608.58 c #Conflicts: 904000 | #Constraints: 39712
1597.00/1608.58 c #Conflicts: 905000 | #Constraints: 40713
1597.00/1608.58 c #Conflicts: 906000 | #Constraints: 41720
1597.00/1608.58 c #Conflicts: 907000 | #Constraints: 42727
1597.00/1608.58 c #Conflicts: 908000 | #Constraints: 43731
1597.00/1608.58 c #Conflicts: 909000 | #Constraints: 44739
1597.00/1608.58 c #Conflicts: 910000 | #Constraints: 45743
1597.00/1608.58 c #Conflicts: 911000 | #Constraints: 46746
1597.00/1608.58 c #Conflicts: 912000 | #Constraints: 47751
1597.00/1608.58 c #Conflicts: 913000 | #Constraints: 48753
1597.00/1608.58 c #Conflicts: 914000 | #Constraints: 49755
1597.00/1608.58 c #Conflicts: 915000 | #Constraints: 50756
1597.00/1608.58 c #Conflicts: 916000 | #Constraints: 51758
1597.00/1608.58 c #Conflicts: 917000 | #Constraints: 52759
1597.00/1608.58 c #Conflicts: 918000 | #Constraints: 53759
1597.00/1608.58 c #Conflicts: 919000 | #Constraints: 54759
1597.00/1608.58 c #Conflicts: 920000 | #Constraints: 55759
1597.00/1608.58 c #Conflicts: 921000 | #Constraints: 56759
1597.00/1608.58 c #Conflicts: 922000 | #Constraints: 57759
1597.00/1608.58 c INPROCESSING
1597.00/1608.58 c GARBAGE COLLECT
1597.00/1608.58 c rational objective 6
1651.57/1663.58 c #Conflicts: 923000 | #Constraints: 39675
1651.57/1663.58 c #Conflicts: 924000 | #Constraints: 40677
1651.57/1663.58 c #Conflicts: 925000 | #Constraints: 41682
1651.57/1663.58 c #Conflicts: 926000 | #Constraints: 42685
1651.57/1663.58 c #Conflicts: 927000 | #Constraints: 43687
1651.57/1663.58 c #Conflicts: 928000 | #Constraints: 44689
1651.57/1663.58 c #Conflicts: 929000 | #Constraints: 45690
1651.57/1663.58 c #Conflicts: 930000 | #Constraints: 46692
1651.57/1663.58 c #Conflicts: 931000 | #Constraints: 47694
1651.57/1663.58 c #Conflicts: 932000 | #Constraints: 48695
1651.57/1663.58 c #Conflicts: 933000 | #Constraints: 49695
1651.57/1663.58 c #Conflicts: 934000 | #Constraints: 50697
1651.57/1663.58 c #Conflicts: 935000 | #Constraints: 51699
1651.57/1663.58 c #Conflicts: 936000 | #Constraints: 52699
1651.57/1663.58 c #Conflicts: 937000 | #Constraints: 53700
1651.57/1663.58 c #Conflicts: 938000 | #Constraints: 54700
1651.57/1663.58 c #Conflicts: 939000 | #Constraints: 55700
1651.57/1663.58 c #Conflicts: 940000 | #Constraints: 56701
1651.57/1663.58 c #Conflicts: 941000 | #Constraints: 57702
1651.57/1663.58 c INPROCESSING
1651.57/1663.58 c GARBAGE COLLECT
1651.57/1663.58 c rational objective 6
1701.99/1714.67 c #Conflicts: 942000 | #Constraints: 39452
1701.99/1714.67 c #Conflicts: 943000 | #Constraints: 40452
1701.99/1714.67 c #Conflicts: 944000 | #Constraints: 41453
1701.99/1714.67 c #Conflicts: 945000 | #Constraints: 42456
1701.99/1714.67 c #Conflicts: 946000 | #Constraints: 43459
1701.99/1714.67 c #Conflicts: 947000 | #Constraints: 44459
1701.99/1714.67 c #Conflicts: 948000 | #Constraints: 45460
1701.99/1714.67 c #Conflicts: 949000 | #Constraints: 46460
1701.99/1714.67 c #Conflicts: 950000 | #Constraints: 47461
1701.99/1714.67 c #Conflicts: 951000 | #Constraints: 48462
1701.99/1714.67 c #Conflicts: 952000 | #Constraints: 49463
1701.99/1714.67 c #Conflicts: 953000 | #Constraints: 50463
1701.99/1714.67 c #Conflicts: 954000 | #Constraints: 51464
1701.99/1714.67 c #Conflicts: 955000 | #Constraints: 52464
1701.99/1714.67 c #Conflicts: 956000 | #Constraints: 53465
1701.99/1714.67 c #Conflicts: 957000 | #Constraints: 54465
1701.99/1714.67 c #Conflicts: 958000 | #Constraints: 55466
1701.99/1714.67 c #Conflicts: 959000 | #Constraints: 56467
1701.99/1714.67 c #Conflicts: 960000 | #Constraints: 57467
1701.99/1714.67 c #Conflicts: 961000 | #Constraints: 58467
1701.99/1714.67 c INPROCESSING
1701.99/1714.67 c GARBAGE COLLECT
1701.99/1714.67 c rational objective 6
1744.43/1757.39 c #Conflicts: 962000 | #Constraints: 40012
1744.43/1757.39 c #Conflicts: 963000 | #Constraints: 41013
1744.43/1757.39 c #Conflicts: 964000 | #Constraints: 42014
1744.43/1757.39 c #Conflicts: 965000 | #Constraints: 43015
1744.43/1757.39 c #Conflicts: 966000 | #Constraints: 44016
1744.43/1757.39 c #Conflicts: 967000 | #Constraints: 45017
1744.43/1757.39 c #Conflicts: 968000 | #Constraints: 46018
1744.43/1757.39 c #Conflicts: 969000 | #Constraints: 47019
1744.43/1757.39 c #Conflicts: 970000 | #Constraints: 48019
1744.43/1757.39 c #Conflicts: 971000 | #Constraints: 49020
1744.43/1757.39 c #Conflicts: 972000 | #Constraints: 50020
1744.43/1757.39 c #Conflicts: 973000 | #Constraints: 51021
1744.43/1757.39 c #Conflicts: 974000 | #Constraints: 52022
1744.43/1757.39 c #Conflicts: 975000 | #Constraints: 53022
1744.43/1757.39 c #Conflicts: 976000 | #Constraints: 54023
1744.43/1757.39 c #Conflicts: 977000 | #Constraints: 55023
1744.43/1757.39 c #Conflicts: 978000 | #Constraints: 56023
1744.43/1757.39 c #Conflicts: 979000 | #Constraints: 57024
1744.43/1757.39 c #Conflicts: 980000 | #Constraints: 58024
1744.43/1757.39 c #Conflicts: 981000 | #Constraints: 59024
1744.43/1757.39 c INPROCESSING
1744.43/1757.39 c GARBAGE COLLECT
1744.43/1757.39 c rational objective 6
1793.96/1807.15 c #Conflicts: 982000 | #Constraints: 40401
1793.96/1807.15 c #Conflicts: 983000 | #Constraints: 41402
1793.96/1807.15 c #Conflicts: 984000 | #Constraints: 42404
1793.96/1807.15 c #Conflicts: 985000 | #Constraints: 43407
1793.96/1807.15 c #Conflicts: 986000 | #Constraints: 44408
1793.96/1807.15 c #Conflicts: 987000 | #Constraints: 45409
1793.96/1807.15 c #Conflicts: 988000 | #Constraints: 46409
1793.96/1807.15 c #Conflicts: 989000 | #Constraints: 47411
1793.96/1807.15 c #Conflicts: 990000 | #Constraints: 48413
1793.96/1807.15 c #Conflicts: 991000 | #Constraints: 49414
1793.96/1807.15 c #Conflicts: 992000 | #Constraints: 50414
1793.96/1807.15 c #Conflicts: 993000 | #Constraints: 51416
1793.96/1807.15 c #Conflicts: 994000 | #Constraints: 52417
1793.96/1807.15 c #Conflicts: 995000 | #Constraints: 53417
1793.96/1807.15 c #Conflicts: 996000 | #Constraints: 54419
1793.96/1807.15 c #Conflicts: 997000 | #Constraints: 55420
1793.96/1807.15 c #Conflicts: 998000 | #Constraints: 56421
1793.96/1807.15 c #Conflicts: 999000 | #Constraints: 57422
1793.96/1807.15 c #Conflicts: 1000000 | #Constraints: 58423
1793.96/1807.15 c #Conflicts: 1001000 | #Constraints: 59423
1793.96/1807.15 c INPROCESSING
1793.96/1807.15 c GARBAGE COLLECT
1793.96/1807.15 c rational objective 6
1835.36/1848.86 c #Conflicts: 1002000 | #Constraints: 40578
1835.36/1848.86 c #Conflicts: 1003000 | #Constraints: 41581
1835.36/1848.86 c #Conflicts: 1004000 | #Constraints: 42584
1835.36/1848.86 c #Conflicts: 1005000 | #Constraints: 43589
1835.36/1848.86 c #Conflicts: 1006000 | #Constraints: 44591
1835.36/1848.86 c #Conflicts: 1007000 | #Constraints: 45594
1835.36/1848.86 c #Conflicts: 1008000 | #Constraints: 46599
1835.36/1848.86 c #Conflicts: 1009000 | #Constraints: 47599
1835.36/1848.86 c #Conflicts: 1010000 | #Constraints: 48601
1835.36/1848.86 c #Conflicts: 1011000 | #Constraints: 49602
1835.36/1848.86 c #Conflicts: 1012000 | #Constraints: 50602
1835.36/1848.86 c #Conflicts: 1013000 | #Constraints: 51603
1835.36/1848.86 c #Conflicts: 1014000 | #Constraints: 52605
1835.36/1848.86 c #Conflicts: 1015000 | #Constraints: 53606
1835.36/1848.86 c #Conflicts: 1016000 | #Constraints: 54607
1835.36/1848.86 c #Conflicts: 1017000 | #Constraints: 55607
1835.36/1848.86 c #Conflicts: 1018000 | #Constraints: 56607
1835.36/1848.86 c #Conflicts: 1019000 | #Constraints: 57608
1835.36/1848.86 c #Conflicts: 1020000 | #Constraints: 58608
1835.36/1848.86 c #Conflicts: 1021000 | #Constraints: 59608
1835.36/1848.86 c INPROCESSING
1835.36/1848.86 c GARBAGE COLLECT
1835.36/1848.86 c rational objective 6
1893.95/1908.13 c #Conflicts: 1022000 | #Constraints: 40557
1893.95/1908.13 c #Conflicts: 1023000 | #Constraints: 41557
1893.95/1908.13 c #Conflicts: 1024000 | #Constraints: 42558
1893.95/1908.13 c #Conflicts: 1025000 | #Constraints: 43561
1893.95/1908.13 c #Conflicts: 1026000 | #Constraints: 44566
1893.95/1908.13 c #Conflicts: 1027000 | #Constraints: 45571
1893.95/1908.13 c #Conflicts: 1028000 | #Constraints: 46581
1893.95/1908.13 c #Conflicts: 1029000 | #Constraints: 47591
1893.95/1908.13 c #Conflicts: 1030000 | #Constraints: 48595
1893.95/1908.13 c #Conflicts: 1031000 | #Constraints: 49597
1893.95/1908.13 c #Conflicts: 1032000 | #Constraints: 50600
1893.95/1908.13 c #Conflicts: 1033000 | #Constraints: 51604
1893.95/1908.13 c #Conflicts: 1034000 | #Constraints: 52607
1893.95/1908.13 c #Conflicts: 1035000 | #Constraints: 53608
1893.95/1908.13 c #Conflicts: 1036000 | #Constraints: 54609
1893.95/1908.13 c #Conflicts: 1037000 | #Constraints: 55611
1893.95/1908.13 c #Conflicts: 1038000 | #Constraints: 56611
1893.95/1908.13 c #Conflicts: 1039000 | #Constraints: 57612
1893.95/1908.13 c #Conflicts: 1040000 | #Constraints: 58614
1893.95/1908.13 c #Conflicts: 1041000 | #Constraints: 59616
1893.95/1908.14 c INPROCESSING
1893.95/1908.14 c GARBAGE COLLECT
1893.95/1908.14 c rational objective 6
1949.01/1963.50 c #Conflicts: 1042000 | #Constraints: 40379
1949.01/1963.50 c #Conflicts: 1043000 | #Constraints: 41379
1949.01/1963.50 c #Conflicts: 1044000 | #Constraints: 42388
1949.01/1963.50 c #Conflicts: 1045000 | #Constraints: 43400
1949.01/1963.50 c #Conflicts: 1046000 | #Constraints: 44403
1949.01/1963.50 c #Conflicts: 1047000 | #Constraints: 45411
1949.01/1963.50 c #Conflicts: 1048000 | #Constraints: 46413
1949.01/1963.50 c #Conflicts: 1049000 | #Constraints: 47415
1949.01/1963.50 c #Conflicts: 1050000 | #Constraints: 48417
1949.01/1963.50 c #Conflicts: 1051000 | #Constraints: 49419
1949.01/1963.50 c #Conflicts: 1052000 | #Constraints: 50420
1949.01/1963.50 c #Conflicts: 1053000 | #Constraints: 51422
1949.01/1963.50 c #Conflicts: 1054000 | #Constraints: 52424
1949.01/1963.50 c #Conflicts: 1055000 | #Constraints: 53424
1949.01/1963.50 c #Conflicts: 1056000 | #Constraints: 54425
1949.01/1963.50 c #Conflicts: 1057000 | #Constraints: 55427
1949.01/1963.50 c #Conflicts: 1058000 | #Constraints: 56428
1949.01/1963.50 c #Conflicts: 1059000 | #Constraints: 57428
1949.01/1963.50 c #Conflicts: 1060000 | #Constraints: 58429
1949.01/1963.50 c #Conflicts: 1061000 | #Constraints: 59430
1949.01/1963.50 c #Conflicts: 1062000 | #Constraints: 60430
1949.01/1963.50 c INPROCESSING
1949.01/1963.50 c GARBAGE COLLECT
1949.01/1963.50 c rational objective 6
1994.49/2009.68 c #Conflicts: 1063000 | #Constraints: 40968
1994.49/2009.68 c #Conflicts: 1064000 | #Constraints: 41968
1994.49/2009.68 c #Conflicts: 1065000 | #Constraints: 42971
1994.49/2009.68 c #Conflicts: 1066000 | #Constraints: 43976
1994.49/2009.68 c #Conflicts: 1067000 | #Constraints: 44981
1994.49/2009.68 c #Conflicts: 1068000 | #Constraints: 45992
1994.49/2009.68 c #Conflicts: 1069000 | #Constraints: 46994
1994.49/2009.68 c #Conflicts: 1070000 | #Constraints: 47997
1994.49/2009.68 c #Conflicts: 1071000 | #Constraints: 49000
1994.49/2009.68 c #Conflicts: 1072000 | #Constraints: 50003
1994.49/2009.68 c #Conflicts: 1073000 | #Constraints: 51008
1994.49/2009.68 c #Conflicts: 1074000 | #Constraints: 52012
1994.49/2009.68 c #Conflicts: 1075000 | #Constraints: 53018
1994.49/2009.68 c #Conflicts: 1076000 | #Constraints: 54021
1994.49/2009.68 c #Conflicts: 1077000 | #Constraints: 55024
1994.49/2009.68 c #Conflicts: 1078000 | #Constraints: 56030
1994.49/2009.68 c #Conflicts: 1079000 | #Constraints: 57031
1994.49/2009.68 c #Conflicts: 1080000 | #Constraints: 58036
1994.49/2009.68 c #Conflicts: 1081000 | #Constraints: 59038
1994.49/2009.68 c #Conflicts: 1082000 | #Constraints: 60041
1994.49/2009.68 c #Conflicts: 1083000 | #Constraints: 61042
1994.49/2009.68 c INPROCESSING
1994.49/2009.68 c GARBAGE COLLECT
1994.49/2009.68 c rational objective 6
2086.91/2108.54 c #Conflicts: 1084000 | #Constraints: 41397
2086.91/2108.54 c #Conflicts: 1085000 | #Constraints: 42402
2086.91/2108.54 c #Conflicts: 1086000 | #Constraints: 43406
2086.91/2108.54 c #Conflicts: 1087000 | #Constraints: 44409
2086.91/2108.54 c #Conflicts: 1088000 | #Constraints: 45414
2086.91/2108.54 c #Conflicts: 1089000 | #Constraints: 46417
2086.91/2108.54 c #Conflicts: 1090000 | #Constraints: 47420
2086.91/2108.54 c #Conflicts: 1091000 | #Constraints: 48422
2086.91/2108.54 c #Conflicts: 1092000 | #Constraints: 49424
2086.91/2108.54 c #Conflicts: 1093000 | #Constraints: 50425
2086.91/2108.54 c #Conflicts: 1094000 | #Constraints: 51426
2086.91/2108.54 c #Conflicts: 1095000 | #Constraints: 52427
2086.91/2108.54 c #Conflicts: 1096000 | #Constraints: 53428
2086.91/2108.54 c #Conflicts: 1097000 | #Constraints: 54429
2086.91/2108.54 c #Conflicts: 1098000 | #Constraints: 55429
2086.91/2108.54 c #Conflicts: 1099000 | #Constraints: 56431
2086.91/2108.54 c #Conflicts: 1100000 | #Constraints: 57431
2086.91/2108.54 c #Conflicts: 1101000 | #Constraints: 58432
2086.91/2108.54 c #Conflicts: 1102000 | #Constraints: 59433
2086.91/2108.54 c #Conflicts: 1103000 | #Constraints: 60434
2086.91/2108.54 c #Conflicts: 1104000 | #Constraints: 61434
2086.91/2108.54 c INPROCESSING
2086.91/2108.54 c GARBAGE COLLECT
2086.91/2108.54 c rational objective 6
2146.66/2168.82 c #Conflicts: 1105000 | #Constraints: 41601
2146.66/2168.82 c #Conflicts: 1106000 | #Constraints: 42601
2146.66/2168.82 c #Conflicts: 1107000 | #Constraints: 43605
2146.66/2168.82 c #Conflicts: 1108000 | #Constraints: 44608
2146.66/2168.82 c #Conflicts: 1109000 | #Constraints: 45611
2146.66/2168.82 c #Conflicts: 1110000 | #Constraints: 46612
2146.66/2168.82 c #Conflicts: 1111000 | #Constraints: 47613
2146.66/2168.82 c #Conflicts: 1112000 | #Constraints: 48615
2146.66/2168.82 c #Conflicts: 1113000 | #Constraints: 49615
2146.66/2168.82 c #Conflicts: 1114000 | #Constraints: 50615
2146.66/2168.82 c #Conflicts: 1115000 | #Constraints: 51615
2146.66/2168.82 c #Conflicts: 1116000 | #Constraints: 52616
2146.66/2168.82 c #Conflicts: 1117000 | #Constraints: 53617
2146.66/2168.82 c #Conflicts: 1118000 | #Constraints: 54617
2146.66/2168.82 c #Conflicts: 1119000 | #Constraints: 55618
2146.66/2168.82 c #Conflicts: 1120000 | #Constraints: 56618
2146.66/2168.82 c #Conflicts: 1121000 | #Constraints: 57618
2146.66/2168.82 c #Conflicts: 1122000 | #Constraints: 58619
2146.66/2168.82 c #Conflicts: 1123000 | #Constraints: 59619
2146.66/2168.82 c #Conflicts: 1124000 | #Constraints: 60619
2146.66/2168.82 c #Conflicts: 1125000 | #Constraints: 61619
2146.66/2168.82 c INPROCESSING
2146.66/2168.82 c GARBAGE COLLECT
2146.66/2168.82 c rational objective 6
2253.33/2276.37 c #Conflicts: 1126000 | #Constraints: 41565
2253.33/2276.37 c #Conflicts: 1127000 | #Constraints: 42565
2253.33/2276.37 c #Conflicts: 1128000 | #Constraints: 43565
2253.33/2276.37 c #Conflicts: 1129000 | #Constraints: 44565
2253.33/2276.37 c #Conflicts: 1130000 | #Constraints: 45565
2253.33/2276.37 c #Conflicts: 1131000 | #Constraints: 46565
2253.33/2276.37 c #Conflicts: 1132000 | #Constraints: 47565
2253.33/2276.37 c #Conflicts: 1133000 | #Constraints: 48565
2253.33/2276.37 c #Conflicts: 1134000 | #Constraints: 49565
2253.33/2276.37 c #Conflicts: 1135000 | #Constraints: 50566
2253.33/2276.37 c #Conflicts: 1136000 | #Constraints: 51566
2253.33/2276.37 c #Conflicts: 1137000 | #Constraints: 52566
2253.33/2276.37 c #Conflicts: 1138000 | #Constraints: 53567
2253.33/2276.37 c #Conflicts: 1139000 | #Constraints: 54567
2253.33/2276.37 c #Conflicts: 1140000 | #Constraints: 55567
2253.33/2276.37 c #Conflicts: 1141000 | #Constraints: 56567
2253.33/2276.37 c #Conflicts: 1142000 | #Constraints: 57568
2253.33/2276.37 c #Conflicts: 1143000 | #Constraints: 58568
2253.33/2276.37 c #Conflicts: 1144000 | #Constraints: 59568
2253.33/2276.37 c #Conflicts: 1145000 | #Constraints: 60568
2253.33/2276.37 c #Conflicts: 1146000 | #Constraints: 61568
2253.33/2276.37 c INPROCESSING
2253.33/2276.37 c GARBAGE COLLECT
2253.33/2276.37 c #Conflicts: 1147000 | #Constraints: 41397
2253.33/2276.37 c #Conflicts: 1148000 | #Constraints: 42397
2253.33/2276.37 c #Conflicts: 1149000 | #Constraints: 43397
2253.33/2276.37 c #Conflicts: 1150000 | #Constraints: 44398
2253.33/2276.37 c #Conflicts: 1151000 | #Constraints: 45398
2253.33/2276.37 c #Conflicts: 1152000 | #Constraints: 46398
2253.33/2276.37 c #Conflicts: 1153000 | #Constraints: 47398
2253.33/2276.37 c #Conflicts: 1154000 | #Constraints: 48399
2253.33/2276.37 c #Conflicts: 1155000 | #Constraints: 49399
2253.33/2276.37 c #Conflicts: 1156000 | #Constraints: 50399
2253.33/2276.37 c #Conflicts: 1157000 | #Constraints: 51399
2253.33/2276.37 c #Conflicts: 1158000 | #Constraints: 52400
2253.33/2276.37 c #Conflicts: 1159000 | #Constraints: 53400
2253.33/2276.37 c #Conflicts: 1160000 | #Constraints: 54400
2253.33/2276.37 c #Conflicts: 1161000 | #Constraints: 55400
2253.33/2276.37 c #Conflicts: 1162000 | #Constraints: 56401
2253.33/2276.37 c #Conflicts: 1163000 | #Constraints: 57401
2253.33/2276.37 c #Conflicts: 1164000 | #Constraints: 58402
2253.33/2276.37 c #Conflicts: 1165000 | #Constraints: 59403
2253.33/2276.37 c #Conflicts: 1166000 | #Constraints: 60404
2253.33/2276.37 c #Conflicts: 1167000 | #Constraints: 61405
2253.33/2276.37 c #Conflicts: 1168000 | #Constraints: 62405
2253.33/2276.37 c INPROCESSING
2253.33/2276.37 c GARBAGE COLLECT
2253.33/2276.37 c rational objective 6
2300.36/2323.64 c #Conflicts: 1169000 | #Constraints: 41970
2300.36/2323.64 c #Conflicts: 1170000 | #Constraints: 42970
2300.36/2323.64 c #Conflicts: 1171000 | #Constraints: 43971
2300.36/2323.64 c #Conflicts: 1172000 | #Constraints: 44971
2300.36/2323.64 c #Conflicts: 1173000 | #Constraints: 45974
2300.36/2323.64 c #Conflicts: 1174000 | #Constraints: 46978
2300.36/2323.64 c #Conflicts: 1175000 | #Constraints: 47984
2300.36/2323.64 c #Conflicts: 1176000 | #Constraints: 48991
2300.36/2323.64 c #Conflicts: 1177000 | #Constraints: 49999
2300.36/2323.64 c #Conflicts: 1178000 | #Constraints: 51004
2300.36/2323.64 c #Conflicts: 1179000 | #Constraints: 52008
2300.36/2323.64 c #Conflicts: 1180000 | #Constraints: 53011
2300.36/2323.64 c #Conflicts: 1181000 | #Constraints: 54012
2300.36/2323.64 c #Conflicts: 1182000 | #Constraints: 55015
2300.36/2323.64 c #Conflicts: 1183000 | #Constraints: 56016
2300.36/2323.64 c #Conflicts: 1184000 | #Constraints: 57017
2300.36/2323.64 c #Conflicts: 1185000 | #Constraints: 58018
2300.36/2323.64 c #Conflicts: 1186000 | #Constraints: 59019
2300.36/2323.64 c #Conflicts: 1187000 | #Constraints: 60019
2300.36/2323.64 c #Conflicts: 1188000 | #Constraints: 61020
2300.36/2323.64 c #Conflicts: 1189000 | #Constraints: 62020
2300.36/2323.64 c #Conflicts: 1190000 | #Constraints: 63021
2300.36/2323.64 c INPROCESSING
2300.36/2323.64 c GARBAGE COLLECT
2300.36/2323.64 c rational objective 6
2340.73/2364.26 c #Conflicts: 1191000 | #Constraints: 42394
2340.73/2364.26 c #Conflicts: 1192000 | #Constraints: 43395
2340.73/2364.26 c #Conflicts: 1193000 | #Constraints: 44398
2340.73/2364.26 c #Conflicts: 1194000 | #Constraints: 45400
2340.73/2364.26 c #Conflicts: 1195000 | #Constraints: 46403
2340.73/2364.26 c #Conflicts: 1196000 | #Constraints: 47404
2340.73/2364.26 c #Conflicts: 1197000 | #Constraints: 48407
2340.73/2364.26 c #Conflicts: 1198000 | #Constraints: 49409
2340.73/2364.26 c #Conflicts: 1199000 | #Constraints: 50413
2340.73/2364.26 c #Conflicts: 1200000 | #Constraints: 51415
2340.73/2364.26 c #Conflicts: 1201000 | #Constraints: 52417
2340.73/2364.26 c #Conflicts: 1202000 | #Constraints: 53418
2340.73/2364.26 c #Conflicts: 1203000 | #Constraints: 54420
2340.73/2364.26 c #Conflicts: 1204000 | #Constraints: 55421
2340.73/2364.26 c #Conflicts: 1205000 | #Constraints: 56423
2340.73/2364.26 c #Conflicts: 1206000 | #Constraints: 57424
2340.73/2364.26 c #Conflicts: 1207000 | #Constraints: 58425
2340.73/2364.26 c #Conflicts: 1208000 | #Constraints: 59425
2340.73/2364.26 c #Conflicts: 1209000 | #Constraints: 60427
2340.73/2364.26 c #Conflicts: 1210000 | #Constraints: 61428
2340.73/2364.26 c #Conflicts: 1211000 | #Constraints: 62429
2340.73/2364.26 c #Conflicts: 1212000 | #Constraints: 63429
2340.73/2364.26 c INPROCESSING
2340.73/2364.26 c GARBAGE COLLECT
2340.73/2364.26 c rational objective 6
2458.80/2483.78 c #Conflicts: 1213000 | #Constraints: 42616
2458.80/2483.78 c #Conflicts: 1214000 | #Constraints: 43625
2458.80/2483.78 c #Conflicts: 1215000 | #Constraints: 44632
2458.80/2483.78 c #Conflicts: 1216000 | #Constraints: 45638
2458.80/2483.78 c #Conflicts: 1217000 | #Constraints: 46642
2458.80/2483.78 c #Conflicts: 1218000 | #Constraints: 47643
2458.80/2483.78 c #Conflicts: 1219000 | #Constraints: 48650
2458.80/2483.78 c #Conflicts: 1220000 | #Constraints: 49654
2458.80/2483.78 c #Conflicts: 1221000 | #Constraints: 50656
2458.80/2483.78 c #Conflicts: 1222000 | #Constraints: 51659
2458.80/2483.78 c #Conflicts: 1223000 | #Constraints: 52660
2458.80/2483.78 c #Conflicts: 1224000 | #Constraints: 53661
2458.80/2483.78 c #Conflicts: 1225000 | #Constraints: 54662
2458.80/2483.78 c #Conflicts: 1226000 | #Constraints: 55662
2458.80/2483.78 c #Conflicts: 1227000 | #Constraints: 56662
2458.80/2483.78 c #Conflicts: 1228000 | #Constraints: 57662
2458.80/2483.78 c #Conflicts: 1229000 | #Constraints: 58663
2458.80/2483.78 c #Conflicts: 1230000 | #Constraints: 59664
2458.80/2483.78 c #Conflicts: 1231000 | #Constraints: 60664
2458.80/2483.78 c #Conflicts: 1232000 | #Constraints: 61665
2458.80/2483.78 c #Conflicts: 1233000 | #Constraints: 62666
2458.80/2483.78 c #Conflicts: 1234000 | #Constraints: 63666
2458.80/2483.78 c INPROCESSING
2458.80/2483.78 c GARBAGE COLLECT
2458.80/2483.78 c rational objective 6
2511.11/2536.27 c #Conflicts: 1235000 | #Constraints: 42612
2511.11/2536.27 c #Conflicts: 1236000 | #Constraints: 43612
2511.11/2536.27 c #Conflicts: 1237000 | #Constraints: 44619
2511.11/2536.27 c #Conflicts: 1238000 | #Constraints: 45625
2511.11/2536.27 c #Conflicts: 1239000 | #Constraints: 46630
2511.11/2536.27 c #Conflicts: 1240000 | #Constraints: 47634
2511.11/2536.27 c #Conflicts: 1241000 | #Constraints: 48636
2511.11/2536.27 c #Conflicts: 1242000 | #Constraints: 49639
2511.11/2536.27 c #Conflicts: 1243000 | #Constraints: 50642
2511.11/2536.27 c #Conflicts: 1244000 | #Constraints: 51643
2511.11/2536.27 c #Conflicts: 1245000 | #Constraints: 52644
2511.11/2536.27 c #Conflicts: 1246000 | #Constraints: 53645
2511.11/2536.27 c #Conflicts: 1247000 | #Constraints: 54646
2511.11/2536.27 c #Conflicts: 1248000 | #Constraints: 55648
2511.11/2536.27 c #Conflicts: 1249000 | #Constraints: 56650
2511.11/2536.27 c #Conflicts: 1250000 | #Constraints: 57651
2511.11/2536.27 c #Conflicts: 1251000 | #Constraints: 58651
2511.11/2536.27 c #Conflicts: 1252000 | #Constraints: 59652
2511.11/2536.27 c #Conflicts: 1253000 | #Constraints: 60652
2511.11/2536.27 c #Conflicts: 1254000 | #Constraints: 61652
2511.11/2536.27 c #Conflicts: 1255000 | #Constraints: 62653
2511.11/2536.27 c #Conflicts: 1256000 | #Constraints: 63654
2511.11/2536.27 c INPROCESSING
2511.11/2536.27 c GARBAGE COLLECT
2511.11/2536.27 c rational objective 6
2563.90/2589.21 c #Conflicts: 1257000 | #Constraints: 42407
2563.90/2589.21 c #Conflicts: 1258000 | #Constraints: 43408
2563.90/2589.21 c #Conflicts: 1259000 | #Constraints: 44409
2563.90/2589.21 c #Conflicts: 1260000 | #Constraints: 45415
2563.90/2589.21 c #Conflicts: 1261000 | #Constraints: 46423
2563.90/2589.21 c #Conflicts: 1262000 | #Constraints: 47423
2563.90/2589.21 c #Conflicts: 1263000 | #Constraints: 48424
2563.90/2589.21 c #Conflicts: 1264000 | #Constraints: 49425
2563.90/2589.21 c #Conflicts: 1265000 | #Constraints: 50427
2563.90/2589.21 c #Conflicts: 1266000 | #Constraints: 51428
2563.90/2589.21 c #Conflicts: 1267000 | #Constraints: 52430
2563.90/2589.21 c #Conflicts: 1268000 | #Constraints: 53431
2563.90/2589.21 c #Conflicts: 1269000 | #Constraints: 54433
2563.90/2589.21 c #Conflicts: 1270000 | #Constraints: 55434
2563.90/2589.21 c #Conflicts: 1271000 | #Constraints: 56434
2563.90/2589.21 c #Conflicts: 1272000 | #Constraints: 57435
2563.90/2589.21 c #Conflicts: 1273000 | #Constraints: 58436
2563.90/2589.21 c #Conflicts: 1274000 | #Constraints: 59437
2563.90/2589.21 c #Conflicts: 1275000 | #Constraints: 60439
2563.90/2589.21 c #Conflicts: 1276000 | #Constraints: 61441
2563.90/2589.21 c #Conflicts: 1277000 | #Constraints: 62441
2563.90/2589.21 c #Conflicts: 1278000 | #Constraints: 63442
2563.90/2589.21 c #Conflicts: 1279000 | #Constraints: 64442
2563.90/2589.21 c INPROCESSING
2563.90/2589.21 c GARBAGE COLLECT
2563.90/2589.21 c rational objective 6
2613.92/2639.57 c #Conflicts: 1280000 | #Constraints: 42979
2613.92/2639.57 c #Conflicts: 1281000 | #Constraints: 43980
2613.92/2639.57 c #Conflicts: 1282000 | #Constraints: 44982
2613.92/2639.57 c #Conflicts: 1283000 | #Constraints: 45990
2613.92/2639.57 c #Conflicts: 1284000 | #Constraints: 46993
2613.92/2639.57 c #Conflicts: 1285000 | #Constraints: 47995
2613.92/2639.57 c #Conflicts: 1286000 | #Constraints: 48996
2613.92/2639.57 c #Conflicts: 1287000 | #Constraints: 49997
2613.92/2639.57 c #Conflicts: 1288000 | #Constraints: 50999
2613.92/2639.57 c #Conflicts: 1289000 | #Constraints: 52000
2613.92/2639.57 c #Conflicts: 1290000 | #Constraints: 53001
2613.92/2639.57 c #Conflicts: 1291000 | #Constraints: 54002
2613.92/2639.57 c #Conflicts: 1292000 | #Constraints: 55003
2613.92/2639.57 c #Conflicts: 1293000 | #Constraints: 56005
2613.92/2639.57 c #Conflicts: 1294000 | #Constraints: 57006
2613.92/2639.57 c #Conflicts: 1295000 | #Constraints: 58007
2613.92/2639.57 c #Conflicts: 1296000 | #Constraints: 59007
2613.92/2639.57 c #Conflicts: 1297000 | #Constraints: 60008
2613.92/2639.57 c #Conflicts: 1298000 | #Constraints: 61009
2613.92/2639.57 c #Conflicts: 1299000 | #Constraints: 62009
2613.92/2639.57 c #Conflicts: 1300000 | #Constraints: 63009
2613.92/2639.57 c #Conflicts: 1301000 | #Constraints: 64010
2613.92/2639.57 c #Conflicts: 1302000 | #Constraints: 65010
2613.92/2639.57 c INPROCESSING
2613.92/2639.57 c GARBAGE COLLECT
2613.92/2639.57 c rational objective 6
2670.97/2698.25 c #Conflicts: 1303000 | #Constraints: 43391
2670.97/2698.25 c #Conflicts: 1304000 | #Constraints: 44391
2670.97/2698.25 c #Conflicts: 1305000 | #Constraints: 45395
2670.97/2698.25 c #Conflicts: 1306000 | #Constraints: 46400
2670.97/2698.25 c #Conflicts: 1307000 | #Constraints: 47404
2670.97/2698.25 c #Conflicts: 1308000 | #Constraints: 48407
2670.97/2698.25 c #Conflicts: 1309000 | #Constraints: 49408
2670.97/2698.25 c #Conflicts: 1310000 | #Constraints: 50410
2670.97/2698.25 c #Conflicts: 1311000 | #Constraints: 51410
2670.97/2698.25 c #Conflicts: 1312000 | #Constraints: 52412
2670.97/2698.25 c #Conflicts: 1313000 | #Constraints: 53414
2670.97/2698.25 c #Conflicts: 1314000 | #Constraints: 54414
2670.97/2698.25 c #Conflicts: 1315000 | #Constraints: 55416
2670.97/2698.25 c #Conflicts: 1316000 | #Constraints: 56417
2670.97/2698.25 c #Conflicts: 1317000 | #Constraints: 57419
2670.97/2698.25 c #Conflicts: 1318000 | #Constraints: 58421
2670.97/2698.25 c #Conflicts: 1319000 | #Constraints: 59422
2670.97/2698.25 c #Conflicts: 1320000 | #Constraints: 60424
2670.97/2698.25 c #Conflicts: 1321000 | #Constraints: 61425
2670.97/2698.25 c #Conflicts: 1322000 | #Constraints: 62426
2670.97/2698.25 c #Conflicts: 1323000 | #Constraints: 63428
2670.97/2698.25 c #Conflicts: 1324000 | #Constraints: 64429
2670.97/2698.25 c #Conflicts: 1325000 | #Constraints: 65429
2670.97/2698.25 c INPROCESSING
2670.97/2698.25 c GARBAGE COLLECT
2670.97/2698.25 c rational objective 6
2727.38/2754.99 c #Conflicts: 1326000 | #Constraints: 43603
2727.38/2754.99 c #Conflicts: 1327000 | #Constraints: 44604
2727.38/2754.99 c #Conflicts: 1328000 | #Constraints: 45605
2727.38/2754.99 c #Conflicts: 1329000 | #Constraints: 46608
2727.38/2754.99 c #Conflicts: 1330000 | #Constraints: 47609
2727.38/2754.99 c #Conflicts: 1331000 | #Constraints: 48612
2727.38/2754.99 c #Conflicts: 1332000 | #Constraints: 49614
2727.38/2754.99 c #Conflicts: 1333000 | #Constraints: 50616
2727.38/2754.99 c #Conflicts: 1334000 | #Constraints: 51623
2727.38/2754.99 c #Conflicts: 1335000 | #Constraints: 52630
2727.38/2754.99 c #Conflicts: 1336000 | #Constraints: 53635
2727.38/2754.99 c #Conflicts: 1337000 | #Constraints: 54638
2727.38/2754.99 c #Conflicts: 1338000 | #Constraints: 55642
2727.38/2754.99 c #Conflicts: 1339000 | #Constraints: 56644
2727.38/2754.99 c #Conflicts: 1340000 | #Constraints: 57646
2727.38/2754.99 c #Conflicts: 1341000 | #Constraints: 58646
2727.38/2754.99 c #Conflicts: 1342000 | #Constraints: 59647
2727.38/2754.99 c #Conflicts: 1343000 | #Constraints: 60650
2727.38/2754.99 c #Conflicts: 1344000 | #Constraints: 61652
2727.38/2754.99 c #Conflicts: 1345000 | #Constraints: 62653
2727.38/2754.99 c #Conflicts: 1346000 | #Constraints: 63653
2727.38/2754.99 c #Conflicts: 1347000 | #Constraints: 64653
2727.38/2754.99 c #Conflicts: 1348000 | #Constraints: 65653
2727.38/2754.99 c INPROCESSING
2727.38/2754.99 c GARBAGE COLLECT
2727.38/2754.99 c rational objective 6
2788.35/2816.25 c #Conflicts: 1349000 | #Constraints: 43603
2788.35/2816.25 c #Conflicts: 1350000 | #Constraints: 44603
2788.35/2816.25 c #Conflicts: 1351000 | #Constraints: 45604
2788.35/2816.25 c #Conflicts: 1352000 | #Constraints: 46604
2788.35/2816.25 c #Conflicts: 1353000 | #Constraints: 47605
2788.35/2816.25 c #Conflicts: 1354000 | #Constraints: 48605
2788.35/2816.25 c #Conflicts: 1355000 | #Constraints: 49605
2788.35/2816.25 c #Conflicts: 1356000 | #Constraints: 50605
2788.35/2816.25 c #Conflicts: 1357000 | #Constraints: 51605
2788.35/2816.25 c #Conflicts: 1358000 | #Constraints: 52606
2788.35/2816.25 c #Conflicts: 1359000 | #Constraints: 53606
2788.35/2816.25 c #Conflicts: 1360000 | #Constraints: 54606
2788.35/2816.25 c #Conflicts: 1361000 | #Constraints: 55607
2788.35/2816.25 c #Conflicts: 1362000 | #Constraints: 56607
2788.35/2816.25 c #Conflicts: 1363000 | #Constraints: 57608
2788.35/2816.25 c #Conflicts: 1364000 | #Constraints: 58609
2788.35/2816.25 c #Conflicts: 1365000 | #Constraints: 59609
2788.35/2816.25 c #Conflicts: 1366000 | #Constraints: 60609
2788.35/2816.25 c #Conflicts: 1367000 | #Constraints: 61610
2788.35/2816.25 c #Conflicts: 1368000 | #Constraints: 62611
2788.35/2816.25 c #Conflicts: 1369000 | #Constraints: 63611
2788.35/2816.25 c #Conflicts: 1370000 | #Constraints: 64611
2788.35/2816.25 c #Conflicts: 1371000 | #Constraints: 65611
2788.35/2816.25 c INPROCESSING
2788.35/2816.25 c GARBAGE COLLECT
2788.35/2816.25 c rational objective 6
2838.68/2866.79 c #Conflicts: 1372000 | #Constraints: 43384
2838.68/2866.79 c #Conflicts: 1373000 | #Constraints: 44384
2838.68/2866.79 c #Conflicts: 1374000 | #Constraints: 45384
2838.68/2866.79 c #Conflicts: 1375000 | #Constraints: 46384
2838.68/2866.79 c #Conflicts: 1376000 | #Constraints: 47385
2838.68/2866.79 c #Conflicts: 1377000 | #Constraints: 48389
2838.68/2866.79 c #Conflicts: 1378000 | #Constraints: 49390
2838.68/2866.79 c #Conflicts: 1379000 | #Constraints: 50393
2838.68/2866.79 c #Conflicts: 1380000 | #Constraints: 51395
2838.68/2866.79 c #Conflicts: 1381000 | #Constraints: 52396
2838.68/2866.79 c #Conflicts: 1382000 | #Constraints: 53397
2838.68/2866.79 c #Conflicts: 1383000 | #Constraints: 54398
2838.68/2866.79 c #Conflicts: 1384000 | #Constraints: 55399
2838.68/2866.79 c #Conflicts: 1385000 | #Constraints: 56399
2838.68/2866.79 c #Conflicts: 1386000 | #Constraints: 57399
2838.68/2866.79 c #Conflicts: 1387000 | #Constraints: 58399
2838.68/2866.79 c #Conflicts: 1388000 | #Constraints: 59399
2838.68/2866.79 c #Conflicts: 1389000 | #Constraints: 60400
2838.68/2866.79 c #Conflicts: 1390000 | #Constraints: 61400
2838.68/2866.79 c #Conflicts: 1391000 | #Constraints: 62401
2838.68/2866.79 c #Conflicts: 1392000 | #Constraints: 63401
2838.68/2866.79 c #Conflicts: 1393000 | #Constraints: 64401
2838.68/2866.79 c #Conflicts: 1394000 | #Constraints: 65402
2838.68/2866.79 c #Conflicts: 1395000 | #Constraints: 66402
2838.68/2866.79 c INPROCESSING
2838.68/2866.79 c GARBAGE COLLECT
2838.68/2866.79 c rational objective 6
2888.87/2917.14 c #Conflicts: 1396000 | #Constraints: 43992
2888.87/2917.14 c #Conflicts: 1397000 | #Constraints: 44992
2888.87/2917.14 c #Conflicts: 1398000 | #Constraints: 45992
2888.87/2917.14 c #Conflicts: 1399000 | #Constraints: 46992
2888.87/2917.14 c #Conflicts: 1400000 | #Constraints: 47993
2888.87/2917.14 c #Conflicts: 1401000 | #Constraints: 48993
2888.87/2917.14 c #Conflicts: 1402000 | #Constraints: 49993
2888.87/2917.14 c #Conflicts: 1403000 | #Constraints: 50993
2888.87/2917.14 c #Conflicts: 1404000 | #Constraints: 51994
2888.87/2917.14 c #Conflicts: 1405000 | #Constraints: 52995
2888.87/2917.14 c #Conflicts: 1406000 | #Constraints: 53999
2888.87/2917.14 c #Conflicts: 1407000 | #Constraints: 55005
2888.87/2917.14 c #Conflicts: 1408000 | #Constraints: 56007
2888.87/2917.14 c #Conflicts: 1409000 | #Constraints: 57007
2888.87/2917.14 c #Conflicts: 1410000 | #Constraints: 58007
2888.87/2917.14 c #Conflicts: 1411000 | #Constraints: 59008
2888.87/2917.14 c #Conflicts: 1412000 | #Constraints: 60009
2888.87/2917.14 c #Conflicts: 1413000 | #Constraints: 61009
2888.87/2917.14 c #Conflicts: 1414000 | #Constraints: 62010
2888.87/2917.14 c #Conflicts: 1415000 | #Constraints: 63010
2888.87/2917.14 c #Conflicts: 1416000 | #Constraints: 64011
2888.87/2917.14 c #Conflicts: 1417000 | #Constraints: 65011
2888.87/2917.14 c #Conflicts: 1418000 | #Constraints: 66011
2888.87/2917.14 c #Conflicts: 1419000 | #Constraints: 67011
2888.87/2917.14 c INPROCESSING
2888.87/2917.14 c GARBAGE COLLECT
2888.87/2917.14 c rational objective 6
2938.64/2967.27 c #Conflicts: 1420000 | #Constraints: 44379
2938.64/2967.27 c #Conflicts: 1421000 | #Constraints: 45379
2938.64/2967.27 c #Conflicts: 1422000 | #Constraints: 46382
2938.64/2967.27 c #Conflicts: 1423000 | #Constraints: 47385
2938.64/2967.27 c #Conflicts: 1424000 | #Constraints: 48386
2938.64/2967.27 c #Conflicts: 1425000 | #Constraints: 49390
2938.64/2967.27 c #Conflicts: 1426000 | #Constraints: 50393
2938.64/2967.27 c #Conflicts: 1427000 | #Constraints: 51395
2938.64/2967.27 c #Conflicts: 1428000 | #Constraints: 52396
2938.64/2967.27 c #Conflicts: 1429000 | #Constraints: 53396
2938.64/2967.27 c #Conflicts: 1430000 | #Constraints: 54397
2938.64/2967.27 c #Conflicts: 1431000 | #Constraints: 55397
2938.64/2967.27 c #Conflicts: 1432000 | #Constraints: 56397
2938.64/2967.27 c #Conflicts: 1433000 | #Constraints: 57398
2938.64/2967.27 c #Conflicts: 1434000 | #Constraints: 58398
2938.64/2967.27 c #Conflicts: 1435000 | #Constraints: 59399
2938.64/2967.27 c #Conflicts: 1436000 | #Constraints: 60399
2938.64/2967.27 c #Conflicts: 1437000 | #Constraints: 61399
2938.64/2967.27 c #Conflicts: 1438000 | #Constraints: 62400
2938.64/2967.27 c #Conflicts: 1439000 | #Constraints: 63400
2938.64/2967.27 c #Conflicts: 1440000 | #Constraints: 64401
2938.64/2967.27 c #Conflicts: 1441000 | #Constraints: 65401
2938.64/2967.27 c #Conflicts: 1442000 | #Constraints: 66401
2938.64/2967.27 c #Conflicts: 1443000 | #Constraints: 67402
2938.64/2967.27 c INPROCESSING
2938.64/2967.27 c GARBAGE COLLECT
2938.64/2967.27 c rational objective 6
3012.05/3041.20 c #Conflicts: 1444000 | #Constraints: 44579
3012.05/3041.20 c #Conflicts: 1445000 | #Constraints: 45581
3012.05/3041.20 c #Conflicts: 1446000 | #Constraints: 46582
3012.05/3041.20 c #Conflicts: 1447000 | #Constraints: 47584
3012.05/3041.20 c #Conflicts: 1448000 | #Constraints: 48587
3012.05/3041.20 c #Conflicts: 1449000 | #Constraints: 49589
3012.05/3041.20 c #Conflicts: 1450000 | #Constraints: 50590
3012.05/3041.20 c #Conflicts: 1451000 | #Constraints: 51591
3012.05/3041.20 c #Conflicts: 1452000 | #Constraints: 52594
3012.05/3041.20 c #Conflicts: 1453000 | #Constraints: 53596
3012.05/3041.20 c #Conflicts: 1454000 | #Constraints: 54597
3012.05/3041.20 c #Conflicts: 1455000 | #Constraints: 55599
3012.05/3041.20 c #Conflicts: 1456000 | #Constraints: 56600
3012.05/3041.20 c #Conflicts: 1457000 | #Constraints: 57601
3012.05/3041.20 c #Conflicts: 1458000 | #Constraints: 58602
3012.05/3041.20 c #Conflicts: 1459000 | #Constraints: 59602
3012.05/3041.20 c #Conflicts: 1460000 | #Constraints: 60602
3012.05/3041.20 c #Conflicts: 1461000 | #Constraints: 61602
3012.05/3041.20 c #Conflicts: 1462000 | #Constraints: 62603
3012.05/3041.20 c #Conflicts: 1463000 | #Constraints: 63604
3012.05/3041.20 c #Conflicts: 1464000 | #Constraints: 64604
3012.05/3041.20 c #Conflicts: 1465000 | #Constraints: 65606
3012.05/3041.20 c #Conflicts: 1466000 | #Constraints: 66606
3012.05/3041.20 c #Conflicts: 1467000 | #Constraints: 67606
3012.05/3041.20 c INPROCESSING
3012.05/3041.20 c GARBAGE COLLECT
3012.05/3041.20 c rational objective 6
3071.42/3100.99 c #Conflicts: 1468000 | #Constraints: 44591
3071.42/3100.99 c #Conflicts: 1469000 | #Constraints: 45591
3071.42/3100.99 c #Conflicts: 1470000 | #Constraints: 46592
3071.42/3100.99 c #Conflicts: 1471000 | #Constraints: 47592
3071.42/3100.99 c #Conflicts: 1472000 | #Constraints: 48596
3071.42/3100.99 c #Conflicts: 1473000 | #Constraints: 49598
3071.42/3100.99 c #Conflicts: 1474000 | #Constraints: 50599
3071.42/3100.99 c #Conflicts: 1475000 | #Constraints: 51602
3071.42/3100.99 c #Conflicts: 1476000 | #Constraints: 52604
3071.42/3100.99 c #Conflicts: 1477000 | #Constraints: 53606
3071.42/3100.99 c #Conflicts: 1478000 | #Constraints: 54608
3071.42/3100.99 c #Conflicts: 1479000 | #Constraints: 55609
3071.42/3100.99 c #Conflicts: 1480000 | #Constraints: 56610
3071.42/3100.99 c #Conflicts: 1481000 | #Constraints: 57610
3071.42/3100.99 c #Conflicts: 1482000 | #Constraints: 58610
3071.42/3100.99 c #Conflicts: 1483000 | #Constraints: 59610
3071.42/3100.99 c #Conflicts: 1484000 | #Constraints: 60611
3071.42/3100.99 c #Conflicts: 1485000 | #Constraints: 61612
3071.42/3100.99 c #Conflicts: 1486000 | #Constraints: 62612
3071.42/3100.99 c #Conflicts: 1487000 | #Constraints: 63613
3071.42/3100.99 c #Conflicts: 1488000 | #Constraints: 64614
3071.42/3100.99 c #Conflicts: 1489000 | #Constraints: 65614
3071.42/3100.99 c #Conflicts: 1490000 | #Constraints: 66615
3071.42/3100.99 c #Conflicts: 1491000 | #Constraints: 67615
3071.42/3100.99 c INPROCESSING
3071.42/3100.99 c GARBAGE COLLECT
3071.42/3100.99 c rational objective 6
3146.29/3176.55 c #Conflicts: 1492000 | #Constraints: 44382
3146.29/3176.55 c #Conflicts: 1493000 | #Constraints: 45383
3146.29/3176.55 c #Conflicts: 1494000 | #Constraints: 46384
3146.29/3176.55 c #Conflicts: 1495000 | #Constraints: 47389
3146.29/3176.55 c #Conflicts: 1496000 | #Constraints: 48393
3146.29/3176.55 c #Conflicts: 1497000 | #Constraints: 49394
3146.29/3176.55 c #Conflicts: 1498000 | #Constraints: 50397
3146.29/3176.55 c #Conflicts: 1499000 | #Constraints: 51398
3146.29/3176.55 c #Conflicts: 1500000 | #Constraints: 52401
3146.29/3176.55 c #Conflicts: 1501000 | #Constraints: 53404
3146.29/3176.55 c #Conflicts: 1502000 | #Constraints: 54406
3146.29/3176.55 c #Conflicts: 1503000 | #Constraints: 55407
3146.29/3176.55 c #Conflicts: 1504000 | #Constraints: 56408
3146.29/3176.55 c #Conflicts: 1505000 | #Constraints: 57410
3146.29/3176.55 c #Conflicts: 1506000 | #Constraints: 58411
3146.29/3176.55 c #Conflicts: 1507000 | #Constraints: 59412
3146.29/3176.55 c #Conflicts: 1508000 | #Constraints: 60412
3146.29/3176.55 c #Conflicts: 1509000 | #Constraints: 61413
3146.29/3176.55 c #Conflicts: 1510000 | #Constraints: 62413
3146.29/3176.55 c #Conflicts: 1511000 | #Constraints: 63414
3146.29/3176.55 c #Conflicts: 1512000 | #Constraints: 64414
3146.29/3176.55 c #Conflicts: 1513000 | #Constraints: 65414
3146.29/3176.55 c #Conflicts: 1514000 | #Constraints: 66415
3146.29/3176.55 c #Conflicts: 1515000 | #Constraints: 67415
3146.29/3176.55 c #Conflicts: 1516000 | #Constraints: 68415
3146.29/3176.55 c INPROCESSING
3146.29/3176.55 c GARBAGE COLLECT
3146.29/3176.55 c rational objective 6
3216.38/3247.31 c #Conflicts: 1517000 | #Constraints: 44995
3216.38/3247.31 c #Conflicts: 1518000 | #Constraints: 45995
3216.38/3247.31 c #Conflicts: 1519000 | #Constraints: 46996
3216.38/3247.31 c #Conflicts: 1520000 | #Constraints: 47996
3216.38/3247.31 c #Conflicts: 1521000 | #Constraints: 48998
3216.38/3247.31 c #Conflicts: 1522000 | #Constraints: 50000
3216.38/3247.31 c #Conflicts: 1523000 | #Constraints: 51001
3216.38/3247.31 c #Conflicts: 1524000 | #Constraints: 52002
3216.38/3247.31 c #Conflicts: 1525000 | #Constraints: 53004
3216.38/3247.31 c #Conflicts: 1526000 | #Constraints: 54004
3216.38/3247.31 c #Conflicts: 1527000 | #Constraints: 55006
3216.38/3247.31 c #Conflicts: 1528000 | #Constraints: 56007
3216.38/3247.31 c #Conflicts: 1529000 | #Constraints: 57007
3216.38/3247.31 c #Conflicts: 1530000 | #Constraints: 58008
3216.38/3247.31 c #Conflicts: 1531000 | #Constraints: 59008
3216.38/3247.31 c #Conflicts: 1532000 | #Constraints: 60009
3216.38/3247.31 c #Conflicts: 1533000 | #Constraints: 61009
3216.38/3247.31 c #Conflicts: 1534000 | #Constraints: 62010
3216.38/3247.31 c #Conflicts: 1535000 | #Constraints: 63010
3216.38/3247.31 c #Conflicts: 1536000 | #Constraints: 64010
3216.38/3247.31 c #Conflicts: 1537000 | #Constraints: 65010
3216.38/3247.31 c #Conflicts: 1538000 | #Constraints: 66010
3216.38/3247.31 c #Conflicts: 1539000 | #Constraints: 67011
3216.38/3247.31 c #Conflicts: 1540000 | #Constraints: 68011
3216.38/3247.31 c #Conflicts: 1541000 | #Constraints: 69011
3216.38/3247.31 c INPROCESSING
3216.38/3247.31 c GARBAGE COLLECT
3216.38/3247.31 c rational objective 6
3302.99/3334.49 c #Conflicts: 1542000 | #Constraints: 45389
3302.99/3334.49 c #Conflicts: 1543000 | #Constraints: 46390
3302.99/3334.49 c #Conflicts: 1544000 | #Constraints: 47392
3302.99/3334.49 c #Conflicts: 1545000 | #Constraints: 48395
3302.99/3334.49 c #Conflicts: 1546000 | #Constraints: 49397
3302.99/3334.49 c #Conflicts: 1547000 | #Constraints: 50398
3302.99/3334.49 c #Conflicts: 1548000 | #Constraints: 51398
3302.99/3334.49 c #Conflicts: 1549000 | #Constraints: 52398
3302.99/3334.49 c #Conflicts: 1550000 | #Constraints: 53399
3302.99/3334.49 c #Conflicts: 1551000 | #Constraints: 54400
3302.99/3334.49 c #Conflicts: 1552000 | #Constraints: 55403
3302.99/3334.49 c #Conflicts: 1553000 | #Constraints: 56405
3302.99/3334.49 c #Conflicts: 1554000 | #Constraints: 57408
3302.99/3334.49 c #Conflicts: 1555000 | #Constraints: 58412
3302.99/3334.49 c #Conflicts: 1556000 | #Constraints: 59415
3302.99/3334.49 c #Conflicts: 1557000 | #Constraints: 60416
3302.99/3334.49 c #Conflicts: 1558000 | #Constraints: 61422
3302.99/3334.49 c #Conflicts: 1559000 | #Constraints: 62424
3302.99/3334.49 c #Conflicts: 1560000 | #Constraints: 63425
3302.99/3334.49 c #Conflicts: 1561000 | #Constraints: 64428
3302.99/3334.49 c #Conflicts: 1562000 | #Constraints: 65428
3302.99/3334.49 c #Conflicts: 1563000 | #Constraints: 66429
3302.99/3334.49 c #Conflicts: 1564000 | #Constraints: 67433
3302.99/3334.49 c #Conflicts: 1565000 | #Constraints: 68435
3302.99/3334.49 c #Conflicts: 1566000 | #Constraints: 69437
3302.99/3334.49 c INPROCESSING
3302.99/3334.49 c GARBAGE COLLECT
3302.99/3334.49 c rational objective 6
3410.83/3447.47 c #Conflicts: 1567000 | #Constraints: 45624
3410.83/3447.47 c #Conflicts: 1568000 | #Constraints: 46627
3410.83/3447.47 c #Conflicts: 1569000 | #Constraints: 47629
3410.83/3447.47 c #Conflicts: 1570000 | #Constraints: 48630
3410.83/3447.47 c #Conflicts: 1571000 | #Constraints: 49637
3410.83/3447.47 c #Conflicts: 1572000 | #Constraints: 50639
3410.83/3447.47 c #Conflicts: 1573000 | #Constraints: 51645
3410.83/3447.47 c #Conflicts: 1574000 | #Constraints: 52651
3410.83/3447.47 c #Conflicts: 1575000 | #Constraints: 53653
3410.83/3447.47 c #Conflicts: 1576000 | #Constraints: 54657
3410.83/3447.47 c #Conflicts: 1577000 | #Constraints: 55665
3410.83/3447.47 c #Conflicts: 1578000 | #Constraints: 56671
3410.83/3447.47 c #Conflicts: 1579000 | #Constraints: 57676
3410.83/3447.47 c #Conflicts: 1580000 | #Constraints: 58682
3410.83/3447.47 c #Conflicts: 1581000 | #Constraints: 59688
3410.83/3447.47 c #Conflicts: 1582000 | #Constraints: 60691
3410.83/3447.47 c #Conflicts: 1583000 | #Constraints: 61694
3410.83/3447.47 c #Conflicts: 1584000 | #Constraints: 62699
3410.83/3447.47 c #Conflicts: 1585000 | #Constraints: 63703
3410.83/3447.47 c #Conflicts: 1586000 | #Constraints: 64706
3410.83/3447.47 c #Conflicts: 1587000 | #Constraints: 65710
3410.83/3447.47 c #Conflicts: 1588000 | #Constraints: 66711
3410.83/3447.47 c #Conflicts: 1589000 | #Constraints: 67714
3410.83/3447.47 c #Conflicts: 1590000 | #Constraints: 68720
3410.83/3447.47 c #Conflicts: 1591000 | #Constraints: 69727
3410.83/3447.47 c INPROCESSING
3410.83/3447.47 c GARBAGE COLLECT
3410.83/3447.47 c rational objective 6
3559.09/3596.93 c #Conflicts: 1592000 | #Constraints: 45656
3559.09/3596.93 c #Conflicts: 1593000 | #Constraints: 46660
3559.09/3596.93 c #Conflicts: 1594000 | #Constraints: 47668
3559.09/3596.93 c #Conflicts: 1595000 | #Constraints: 48673
3559.09/3596.93 c #Conflicts: 1596000 | #Constraints: 49678
3559.09/3596.93 c #Conflicts: 1597000 | #Constraints: 50685
3559.09/3596.93 c #Conflicts: 1598000 | #Constraints: 51691
3559.09/3596.93 c #Conflicts: 1599000 | #Constraints: 52706
3559.09/3596.93 c #Conflicts: 1600000 | #Constraints: 53713
3559.09/3596.93 c #Conflicts: 1601000 | #Constraints: 54720
3559.09/3596.93 c #Conflicts: 1602000 | #Constraints: 55722
3559.09/3596.93 c #Conflicts: 1603000 | #Constraints: 56722
3559.09/3596.93 c #Conflicts: 1604000 | #Constraints: 57728
3559.09/3596.93 c #Conflicts: 1605000 | #Constraints: 58730
3559.09/3596.93 c #Conflicts: 1606000 | #Constraints: 59733
3559.09/3596.93 c #Conflicts: 1607000 | #Constraints: 60734
3559.09/3596.93 c #Conflicts: 1608000 | #Constraints: 61741
3559.09/3596.93 c #Conflicts: 1609000 | #Constraints: 62742
3559.09/3596.93 c #Conflicts: 1610000 | #Constraints: 63744
3559.09/3596.93 c #Conflicts: 1611000 | #Constraints: 64747
3559.09/3596.93 c #Conflicts: 1612000 | #Constraints: 65748
3559.09/3596.93 c #Conflicts: 1613000 | #Constraints: 66750
3559.09/3596.93 c #Conflicts: 1614000 | #Constraints: 67752
3559.09/3596.93 c #Conflicts: 1615000 | #Constraints: 68753
3559.09/3596.93 c #Conflicts: 1616000 | #Constraints: 69755
3559.09/3596.93 c INPROCESSING
3559.09/3596.93 c GARBAGE COLLECT
3559.09/3596.93 c rational objective 6
3600.07/3638.11 c #Conflicts: 1617000 | #Constraints: 45483
3600.07/3638.11 c #Conflicts: 1618000 | #Constraints: 46483
3600.07/3638.11 c #Conflicts: 1619000 | #Constraints: 47486
3600.07/3638.11 c #Conflicts: 1620000 | #Constraints: 48487
3600.07/3638.11 c #Conflicts: 1621000 | #Constraints: 49491
3600.07/3638.11 c #Conflicts: 1622000 | #Constraints: 50494
3600.07/3638.11 c #Conflicts: 1623000 | #Constraints: 51496
3600.07/3638.11 c #Conflicts: 1624000 | #Constraints: 52497
3600.07/3638.11 c #Conflicts: 1625000 | #Constraints: 53501
3600.07/3638.11 c #Conflicts: 1626000 | #Constraints: 54506
3600.07/3638.11 c #Conflicts: 1627000 | #Constraints: 55508
3600.07/3638.11 c #Conflicts: 1628000 | #Constraints: 56512
3600.07/3638.11 c #Conflicts: 1629000 | #Constraints: 57517
3600.07/3638.11 c #Conflicts: 1630000 | #Constraints: 58517
3600.07/3638.11 c #Conflicts: 1631000 | #Constraints: 59518
3600.07/3638.11 c #Conflicts: 1632000 | #Constraints: 60521
3600.07/3638.11 c #Conflicts: 1633000 | #Constraints: 61521
3600.07/3638.11 c #Conflicts: 1634000 | #Constraints: 62524
3600.07/3638.11 c #Conflicts: 1635000 | #Constraints: 63524
3600.07/3638.11 c #Conflicts: 1636000 | #Constraints: 64524
3600.07/3638.11 c #Conflicts: 1637000 | #Constraints: 65524
3600.07/3638.11 c #Conflicts: 1638000 | #Constraints: 66525
3600.07/3638.11 c #Conflicts: 1639000 | #Constraints: 67525
3600.07/3638.11 c Disabling crashed LP
3600.07/3638.11 c cpu time 3556.41 s
3600.07/3638.11 c deterministic time 288671548148 2.89e+11
3600.07/3638.11 c optimization time 40.455 s
3600.07/3638.11 c total solve time 3515.59 s
3600.07/3638.11 c core-guided solve time 1807.93 s
3600.07/3638.11 c propagation time 2393.26 s
3600.07/3638.11 c conflict analysis time 943.257 s
3600.07/3638.11 c propagations 492716937
3600.07/3638.11 c resolve steps 7281437
3600.07/3638.11 c decisions 15690531
3600.07/3638.11 c conflicts 1639054
3600.07/3638.11 c restarts 3069
3600.07/3638.11 c inprocessing phases 118
3600.07/3638.11 c garbage collections 118 ,( 100.00 )
3600.07/3638.11 c input clauses 23803 ,( 98.15 )
3600.07/3638.11 c input cardinalities 64 ,( 0.26 )
3600.07/3638.11 c input general constraints 384 ,( 1.58 )
3600.07/3638.11 c input average constraint length 4.04
3600.07/3638.11 c input average constraint degree 12.23
3600.07/3638.11 c learned clauses 172308 ,( 10.49 )
3600.07/3638.11 c learned cardinalities 18287 ,( 1.11 )
3600.07/3638.11 c learned general constraints 1452212 ,( 88.40 )
3600.07/3638.11 c learned average constraint length 383.48
3600.07/3638.11 c learned average constraint degree 2905691024.70
3600.07/3638.11 c watched CF 32, 64, 128, Arb: 402049 , 0 , 0 , 0
3600.07/3638.11 c counting CF 32, 64, 128, Arb: 1050548 , 0 , 0 , 0
3600.07/3638.11 c watched constraints 402049 ,( 27.68 )
3600.07/3638.11 c counting constraints 1050547 ,( 72.32 )
3600.07/3638.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 125776307 , 25577256 , 6449355930 ,( 306991457 , 6142364473 )
3600.07/3638.11 c gcd simplifications 54351
3600.07/3638.11 c detected cardinalities 205
3600.07/3638.11 c weakened non-implied lits 357248289
3600.07/3638.11 c weakened non-implying lits 1003373
3600.07/3638.11 c original variables 9988
3600.07/3638.11 c clausal propagations 93378079
3600.07/3638.11 c cardinality propagations 72489402
3600.07/3638.11 c watched propagations 934082
3600.07/3638.11 c counting propagations 310954668
3600.07/3638.11 c watch lookups 201166463469
3600.07/3638.11 c watch backjump lookups 0
3600.07/3638.11 c watch checks 21630511535
3600.07/3638.11 c propagation checks 62266836865
3600.07/3638.11 c constraint additions 2587485303
3600.07/3638.11 c trail pops 510040842
3600.07/3638.11 c formula constraints 24251
3600.07/3638.11 c learned constraints 1635804
3600.07/3638.11 c bound constraints 0
3600.07/3638.11 c core-guided constraints 0
3600.07/3638.11 c encountered formula constraints 4386679
3600.07/3638.11 c encountered learned constraints 3616243
3600.07/3638.11 c encountered bound constraints 0
3600.07/3638.11 c encountered core-guided constraints 0
3600.07/3638.11 c LP total time 585.072 s
3600.07/3638.11 c LP solve time 536.72 s
3600.07/3638.11 c LP constraints added 26184
3600.07/3638.11 c LP constraints removed 1918
3600.07/3638.11 c LP pivots internal 1639054
3600.07/3638.11 c LP pivots root 163611
3600.07/3638.11 c LP calls 4123
3600.07/3638.11 c LP optimalities 865
3600.07/3638.11 c LP no pivot count 155
3600.07/3638.11 c LP infeasibilities 3253
3600.07/3638.11 c LP valid Farkas constraints 3252
3600.07/3638.11 c LP learned Farkas constraints 3250
3600.07/3638.11 c LP basis resets 2
3600.07/3638.11 c LP cycling count 0
3600.07/3638.11 c LP singular count 1
3600.07/3638.11 c LP no primal count 0
3600.07/3638.11 c LP no farkas count 1
3600.07/3638.11 c LP other issue count 0
3600.07/3638.11 c LP Gomory cuts 501
3600.07/3638.11 c LP learned cuts 1432
3600.07/3638.11 c LP deleted cuts 1918
3600.07/3638.11 c LP encountered Gomory constraints 7504
3600.07/3638.11 c LP encountered Farkas constraints 809135
3600.07/3638.11 c LP encountered learned Farkas constraints 97680
3600.07/3638.11 c CG auxiliary variables introduced 0
3600.07/3638.11 c CG solutions found 0
3600.07/3638.11 c CG cores constructed 0
3600.07/3638.11 c CG core cardinality constraints returned 0
3600.07/3638.11 c CG unit cores 0
3600.07/3638.11 c CG single cores 0
3600.07/3638.11 c CG blocks removed during cardinality reduction 0
3600.07/3638.11 c CG first core best 0
3600.07/3638.11 c CG decision core best 0
3600.07/3638.11 c CG core reduction tie 0
3600.07/3638.11 c CG core degree average 0.00
3600.07/3638.11 c CG core slack average 0.00
3600.07/3638.11 c CG core upper bound improvements 0
3600.07/3638.11 c STR number of successful calls 0
3600.07/3638.11 c STR number of unsuccessful calls 0
3600.07/3638.11 c STR number of inconclusive calls 0
3600.07/3638.11 c STR number of successful attempts 0
3600.07/3638.11 c STR number of unsuccessful attempts 0
3600.07/3638.11 c STR number of inconclusive attempts 0
3600.07/3638.11 c STR average degree increase per successful call inf
3600.07/3638.11 c STR average degree increase per successful attempt inf
3600.07/3638.11 c STR total number of conflicts for successful attempts 0
3600.07/3638.11 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3638.11 c STR total number of conflicts for inconclusive attempts 0
3600.07/3638.11 c STR average number of conflicts per successful attempt inf
3600.07/3638.11 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3638.11 c STR average number of conflicts per inconclusive attempt inf
3600.07/3638.11 c AVG.sumWPerc 56.26
3600.07/3638.11 c bigint constraints 0
3600.07/3638.11 s UNKNOWN
3600.07/3638.11 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: 63794 MiB (34487 MiB free)
memory of node 1: 64507 MiB (63018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499169-1751405634/watcher-4499169-1751405634 -o /tmp/evaluation-result-4499169-1751405634/solver-4499169-1751405634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56722 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499169-1751405634.opb PROOFDIR/proof-4499169-1751405634
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=58158, runsolver pid=58155
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.32 4.26 4.27 5/273 58160
/proc/meminfo: memFree=99819896/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58160] ppid=58158 vsize=17992 memory=10096 CPUtime=0.07 cores=1,3
/proc/58160/stat : 58160 (pbsuma) R 58158 58158 56710 0 -1 4194304 2054 0 0 0 7 0 0 0 20 0 1 0 56242790 18423808 2524 18446744073709551615 4210688 4653049 140730804356976 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9154560 140730804365539 140730804365874 140730804365874 140730804371439 0
/proc/58160/statm: 4498 2524 992 108 0 1906 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 22184 KiB
Current children cumulated memory: 13040 KiB
[startup+0.205976 s]*
/proc/loadavg: 4.32 4.26 4.27 5/273 58160
/proc/meminfo: memFree=99799988/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58160] ppid=58158 vsize=22372 memory=13552 CPUtime=0.18 cores=1,3
/proc/58160/stat : 58160 (pbsuma) R 58158 58158 56710 0 -1 4194304 2931 0 0 0 17 1 0 0 20 0 1 0 56242790 22908928 3388 18446744073709551615 4210688 4653049 140730804356976 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9154560 140730804365539 140730804365874 140730804365874 140730804371439 0
/proc/58160/statm: 5593 3388 992 108 0 3001 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 26564 KiB
Current children cumulated memory: 16496 KiB
[startup+0.30577 s]*
/proc/loadavg: 4.32 4.26 4.27 5/273 58160
/proc/meminfo: memFree=99791924/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58160] ppid=58158 vsize=22372 memory=13552 CPUtime=0.29 cores=1,3
/proc/58160/stat : 58160 (pbsuma) R 58158 58158 56710 0 -1 4194304 2931 0 0 0 28 1 0 0 20 0 1 0 56242790 22908928 3388 18446744073709551615 4210688 4653049 140730804356976 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9154560 140730804365539 140730804365874 140730804365874 140730804371439 0
/proc/58160/statm: 5593 3388 992 108 0 3001 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26564 KiB
Current children cumulated memory: 16496 KiB
[startup+0.700361 s]
/proc/loadavg: 4.32 4.26 4.27 5/273 58160
/proc/meminfo: memFree=99791924/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58160] ppid=58158 vsize=22372 memory=14192 CPUtime=0.67 cores=1,3
/proc/58160/stat : 58160 (pbsuma) R 58158 58158 56710 0 -1 4194304 3104 0 0 0 66 1 0 0 20 0 1 0 56242790 22908928 3548 18446744073709551615 4210688 4653049 140730804356976 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9154560 140730804365539 140730804365874 140730804365874 140730804371439 0
/proc/58160/statm: 5593 3548 992 108 0 3001 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26564 KiB
Current children cumulated memory: 17136 KiB
[startup+1.50031 s]
/proc/loadavg: 4.32 4.26 4.27 5/273 58161
/proc/meminfo: memFree=99745772/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=90096 memory=43388 CPUtime=0.64 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 7404 0 0 0 56 8 0 0 20 0 1 0 56242872 92258304 10847 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 22524 10847 2304 1147 0 9951 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 94288 KiB
Current children cumulated memory: 46332 KiB
[startup+3.11404 s]
/proc/loadavg: 4.32 4.26 4.27 5/273 58161
/proc/meminfo: memFree=99615128/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=109392 memory=64772 CPUtime=2.24 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 11781 0 0 0 211 13 0 0 20 0 1 0 56242872 112017408 16193 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 27348 16193 2368 1147 0 14775 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 67716 KiB
[startup+6.30037 s]
/proc/loadavg: 4.29 4.26 4.27 5/273 58161
/proc/meminfo: memFree=99354904/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=133900 memory=84868 CPUtime=5.41 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 16853 0 0 0 520 21 0 0 20 0 1 0 56242872 137113600 21217 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 33475 21217 2368 1147 0 20902 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 138092 KiB
Current children cumulated memory: 87812 KiB
[startup+12.7003 s]
/proc/loadavg: 4.27 4.25 4.26 5/273 58161
/proc/meminfo: memFree=98910876/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=168376 memory=116896 CPUtime=11.8 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 23833 0 0 0 1146 34 0 0 20 0 1 0 56242872 172417024 29224 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 42094 29224 2368 1147 0 29521 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 172568 KiB
Current children cumulated memory: 119840 KiB
[startup+25.5004 s]
/proc/loadavg: 4.52 4.31 4.28 7/274 58162
/proc/meminfo: memFree=98286608/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=209236 memory=149108 CPUtime=24.56 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 30950 0 0 0 2393 63 0 0 20 0 1 0 56242872 214257664 37277 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 52309 37277 2368 1147 0 39736 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 213428 KiB
Current children cumulated memory: 152052 KiB
[startup+51.114 s]
/proc/loadavg: 4.41 4.30 4.28 5/267 58163
/proc/meminfo: memFree=97723636/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=243352 memory=184824 CPUtime=49.9 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 38850 0 0 0 4879 111 0 0 20 0 1 0 56242872 249192448 46206 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 60838 46206 2368 1147 0 48265 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 247544 KiB
Current children cumulated memory: 187768 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.27 4.27 5/268 58166
/proc/meminfo: memFree=96103400/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=336752 memory=263316 CPUtime=100.26 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 55533 0 0 0 9834 192 0 0 20 0 1 0 56242872 344834048 65829 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 84188 65829 2368 1147 0 71615 0
Current children cumulated CPU time: 101.04 s
Current children cumulated vsize: 340944 KiB
Current children cumulated memory: 266260 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.25 4.26 5/269 58170
/proc/meminfo: memFree=92491016/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=395700 memory=312852 CPUtime=159.76 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 67930 0 0 0 15681 295 0 0 20 0 1 0 56242872 405196800 78213 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 98925 78213 2368 1147 0 86352 0
Current children cumulated CPU time: 160.54 s
Current children cumulated vsize: 399892 KiB
Current children cumulated memory: 315796 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.21 4.25 5/274 58180
/proc/meminfo: memFree=87479560/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=412476 memory=329568 CPUtime=219.42 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 71608 0 0 0 21546 396 0 0 20 0 1 0 56242872 422375424 82392 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 103119 82392 2368 1147 0 90546 0
################
# More data... #
################
[pid=58161] ppid=58158 vsize=1097584 memory=923196 CPUtime=3072.03 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 201363 0 0 0 303394 3809 0 0 20 0 1 0 56242872 1123926016 230799 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 274396 230799 2496 1147 0 261823 0
Current children cumulated CPU time: 3072.81 s
Current children cumulated vsize: 1101776 KiB
Current children cumulated memory: 926140 KiB
[startup+3162.3 s]
/proc/loadavg: 2.10 2.85 3.63 3/246 58428
/proc/meminfo: memFree=101455172/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1097584 memory=923196 CPUtime=3131.47 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 201397 0 0 0 309292 3855 0 0 20 0 1 0 56242872 1123926016 230799 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 274396 230799 2496 1147 0 261823 0
Current children cumulated CPU time: 3132.25 s
Current children cumulated vsize: 1101776 KiB
Current children cumulated memory: 926140 KiB
[startup+3222.3 s]
/proc/loadavg: 2.07 2.71 3.53 3/245 58431
/proc/meminfo: memFree=101147036/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1097584 memory=923196 CPUtime=3190.94 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 201407 0 0 0 315184 3910 0 0 20 0 1 0 56242872 1123926016 230799 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 274396 230799 2496 1147 0 261823 0
Current children cumulated CPU time: 3191.72 s
Current children cumulated vsize: 1101776 KiB
Current children cumulated memory: 926140 KiB
[startup+3282.3 s]
/proc/loadavg: 2.07 2.59 3.43 3/245 58433
/proc/meminfo: memFree=100768972/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1097584 memory=923452 CPUtime=3250.4 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 201466 0 0 0 321062 3978 0 0 20 0 1 0 56242872 1123926016 230863 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 274396 230863 2496 1147 0 261823 0
Current children cumulated CPU time: 3251.18 s
Current children cumulated vsize: 1101776 KiB
Current children cumulated memory: 926396 KiB
[startup+3342.3 s]
/proc/loadavg: 2.13 2.51 3.35 3/247 58437
/proc/meminfo: memFree=100347164/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1134560 memory=953788 CPUtime=3310.08 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 209036 0 0 0 326976 4032 0 0 20 0 1 0 56242872 1161789440 238447 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 283640 238447 2496 1147 0 271067 0
Current children cumulated CPU time: 3310.86 s
Current children cumulated vsize: 1138752 KiB
Current children cumulated memory: 956732 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.43 3.27 3/247 58439
/proc/meminfo: memFree=99948092/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1145456 memory=961980 CPUtime=3365.16 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 211010 0 0 0 332422 4094 0 0 20 0 1 0 56242872 1172946944 240495 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 286364 240495 2496 1147 0 273791 0
Current children cumulated CPU time: 3365.94 s
Current children cumulated vsize: 1149648 KiB
Current children cumulated memory: 964924 KiB
[startup+3462.3 s]
/proc/loadavg: 2.16 2.38 3.20 3/248 58442
/proc/meminfo: memFree=99462384/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1184080 memory=1005136 CPUtime=3424.73 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 220068 0 0 0 338328 4145 0 0 20 0 1 0 56242872 1212497920 251284 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 296020 251284 2496 1147 0 283447 0
Current children cumulated CPU time: 3425.51 s
Current children cumulated vsize: 1188272 KiB
Current children cumulated memory: 1008080 KiB
[startup+3522.3 s]
/proc/loadavg: 2.16 2.34 3.13 3/248 58444
/proc/meminfo: memFree=99052576/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1184080 memory=1005520 CPUtime=3484.17 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 220119 0 0 0 344220 4197 0 0 20 0 1 0 56242872 1212497920 251380 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 296020 251380 2496 1147 0 283447 0
Current children cumulated CPU time: 3484.95 s
Current children cumulated vsize: 1188272 KiB
Current children cumulated memory: 1008464 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.29 3.06 3/249 58451
/proc/meminfo: memFree=98759888/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1184080 memory=1010512 CPUtime=3543.76 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 220433 0 0 0 350145 4231 0 0 20 0 1 0 56242872 1212497920 252628 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 296020 252628 2496 1147 0 283447 0
Current children cumulated CPU time: 3544.54 s
Current children cumulated vsize: 1188272 KiB
Current children cumulated memory: 1013456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3638.11 s]
/proc/loadavg: 2.00 2.24 3.00 2/241 58483
/proc/meminfo: memFree=110580548/131382120 swapFree=33010416/33010684
[pid=58158] ppid=58155 vsize=4192 memory=2944 CPUtime=0.78 cores=1,3
/proc/58158/stat : 58158 (run-opt-ls-log.) S 58155 58158 56710 0 -1 4194304 241 3472 0 0 0 0 75 3 20 0 1 0 56242789 4292608 736 18446744073709551615 94526022975488 94526023870021 140728877983424 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94526024109072 94526024156816 94526052016128 140728877992219 140728877992417 140728877992417 140728877998019 0
/proc/58158/statm: 1048 736 672 219 0 110 0
[pid=58161] ppid=58158 vsize=1184592 memory=1018832 CPUtime=3599.29 cores=1,3
/proc/58161/stat : 58161 (roundingsat) R 58158 58158 56710 0 -1 4194304 220698 0 0 0 355640 4289 0 0 20 0 1 0 56242872 1213022208 254708 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 296148 254708 2496 1147 0 283575 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1188784 KiB
Current children cumulated memory: 1021776 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3638.12 s]
# the end of solver process 58158 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.75183 s, system=0.037321 s
Sleeping 2 seconds
[startup+3638.3 s]
# the end of solver process 58161 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3557.17 s, system=43.0098 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+3638.21 s]*
/proc/loadavg: 2.00 2.24 3.00 2/240 58483
/proc/meminfo: memFree=110630724/131382120 swapFree=33010416/33010684
[pid=58161] ppid=58155 vsize=1167300 memory=1004836 CPUtime=3599.32 cores=1,3
/proc/58161/stat : 58161 (roundingsat) D 58155 58158 56710 0 -1 4194304 220701 0 0 0 355641 4291 0 0 20 0 1 0 56242872 1195315200 251209 18446744073709551615 4227072 8923433 140736440980864 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 19865600 140736440989942 140736440990248 140736440990248 140736440995818 0
/proc/58161/statm: 291825 251209 2528 1147 0 279252 0
Current cumulated CPU time of completed processes: 0.789151 s
Current children cumulated CPU time: 3599.32 s
Current children cumulated vsize: 1167300 KiB
Current children cumulated memory: 1004836 KiB
Child status: 2
Real time (s): 3638.3
CPU time (s): 3600.18
CPU user time (s): 3557.17
CPU system time (s): 43.0098
CPU usage (%): 98.9523
Max. virtual memory (cumulated for all children) (KiB): 1188784
Max. memory (cumulated for all children) (KiB): 1021776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.17
system time used= 43.0098
maximum resident set size= 1018960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224429
page faults= 0
swaps= 0
block input operations= 8
block output operations= 35971144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5835
involuntary context switches= 8043
# summary of solver processes directly reported to runsolver:
# pid: 58158,58161
# total CPU time (s): 3600.18
# total CPU user time (s): 3557.17
# total CPU system time (s): 43.0098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3251 second user time and 38.125 second system time
The end
Begin job on nodeC006 at 2025-07-01 23:33:54
IDJOB=4499169
IDBENCH=148772
IDSOLVER=3356
FILE ID=nodeC006/4499169-1751405634
RUNJOBID= nodeC006-1751397562-56722
SLURM_JOB_ID= 9598278
Free space on /tmp= 432788 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4499169-1751405634/watcher-4499169-1751405634 -o /tmp/evaluation-result-4499169-1751405634/solver-4499169-1751405634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751397562-56722 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4499169-1751405634.opb PROOFDIR/proof-4499169-1751405634
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1510715138
nodeC006 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 : 3661.127
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.32
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.143
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.32
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.397
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.32
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 : 3700.000
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.32
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 : 3661.083
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.32
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 : 3661.841
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.32
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 : 3700.000
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.32
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 : 3700.000
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.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 99845660 kB
MemAvailable: 119668668 kB
Buffers: 2128 kB
Cached: 20591976 kB
SwapCached: 12 kB
Active: 10629720 kB
Inactive: 20209712 kB
Active(anon): 10252644 kB
Inactive(anon): 11092 kB
Active(file): 377076 kB
Inactive(file): 20198620 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1788568 kB
Writeback: 144 kB
AnonPages: 10248160 kB
Mapped: 117656 kB
Shmem: 17948 kB
KReclaimable: 173492 kB
Slab: 315036 kB
SReclaimable: 173492 kB
SUnreclaim: 141544 kB
KernelStack: 4352 kB
PageTables: 23784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 11469520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149768 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2781184 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432924 MiB
End job on nodeC006 at 2025-07-02 00:34:33