0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.06/1.17 c #variables 72842 #constraints 218447
1.06/1.17 c objective is ce32
1.17/1.23 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.17/1.23 c initial counting CF 32, 64, 128, Arb: 1154 , 0 , 0 , 0
1.17/1.23 c GLOBAL bounds - >= 0 @ 0.988066
1.26/1.31 c GLOBAL bounds - >= 0 @ 1.01681
1.86/1.92 c GLOBAL bounds - >= 0 @ 1.58082
1.86/1.99 c GLOBAL bounds - >= 0 @ 1.60528
26.50/26.66 c #Conflicts: 1000 | #Constraints: 219448
26.50/26.66 c #Conflicts: 2000 | #Constraints: 220448
26.50/26.66 c INPROCESSING
26.50/26.66 c GARBAGE COLLECT
26.50/26.66 c #Conflicts: 3000 | #Constraints: 180769
26.50/26.66 c #Conflicts: 4000 | #Constraints: 181769
26.50/26.66 c INPROCESSING
26.50/26.66 c #Conflicts: 5000 | #Constraints: 181179
26.50/26.66 c #Conflicts: 6000 | #Constraints: 182179
26.50/26.66 c INPROCESSING
26.50/26.66 c GARBAGE COLLECT
26.50/26.66 c #Conflicts: 7000 | #Constraints: 181189
26.50/26.66 c #Conflicts: 8000 | #Constraints: 182189
26.50/26.66 c #Conflicts: 9000 | #Constraints: 183189
26.50/26.66 c INPROCESSING
26.50/26.66 c rational objective 99
41.76/41.91 c #Conflicts: 10000 | #Constraints: 181887
41.76/41.91 c #Conflicts: 11000 | #Constraints: 182887
41.76/41.91 c #Conflicts: 12000 | #Constraints: 183887
41.76/41.91 c INPROCESSING
41.76/41.91 c GARBAGE COLLECT
41.76/41.91 c rational objective 99
48.64/48.82 c #Conflicts: 13000 | #Constraints: 182350
48.64/48.82 c #Conflicts: 14000 | #Constraints: 183350
48.64/48.82 c #Conflicts: 15000 | #Constraints: 184350
48.64/48.82 c INPROCESSING
48.64/48.82 c #Conflicts: 16000 | #Constraints: 182582
48.64/48.82 c #Conflicts: 17000 | #Constraints: 183582
48.64/48.82 c #Conflicts: 18000 | #Constraints: 184582
48.64/48.82 c INPROCESSING
48.64/48.82 c GARBAGE COLLECT
48.64/48.82 c rational objective 99
53.83/54.06 c #Conflicts: 19000 | #Constraints: 182604
53.83/54.06 c #Conflicts: 20000 | #Constraints: 183604
53.83/54.06 c #Conflicts: 21000 | #Constraints: 184604
53.83/54.06 c INPROCESSING
53.83/54.06 c GARBAGE COLLECT
53.83/54.06 c rational objective 99
59.61/59.82 c #Conflicts: 22000 | #Constraints: 182414
59.61/59.82 c #Conflicts: 23000 | #Constraints: 183414
59.61/59.82 c #Conflicts: 24000 | #Constraints: 184414
59.61/59.82 c #Conflicts: 25000 | #Constraints: 185414
59.61/59.82 c INPROCESSING
59.61/59.82 c rational objective 99
66.60/66.85 c #Conflicts: 26000 | #Constraints: 183028
66.60/66.85 c #Conflicts: 27000 | #Constraints: 184028
66.60/66.85 c #Conflicts: 28000 | #Constraints: 185028
66.60/66.85 c #Conflicts: 29000 | #Constraints: 186028
66.60/66.85 c INPROCESSING
66.60/66.85 c GARBAGE COLLECT
66.60/66.85 c rational objective 99
73.08/73.38 c #Conflicts: 30000 | #Constraints: 183440
73.08/73.38 c #Conflicts: 31000 | #Constraints: 184440
73.08/73.38 c #Conflicts: 32000 | #Constraints: 185440
73.08/73.38 c #Conflicts: 33000 | #Constraints: 186440
73.08/73.38 c INPROCESSING
73.08/73.38 c GARBAGE COLLECT
73.08/73.38 c rational objective 99
81.16/81.47 c #Conflicts: 34000 | #Constraints: 183643
81.16/81.47 c #Conflicts: 35000 | #Constraints: 184643
81.16/81.47 c #Conflicts: 36000 | #Constraints: 185643
81.16/81.47 c #Conflicts: 37000 | #Constraints: 186643
81.16/81.47 c INPROCESSING
81.16/81.47 c GARBAGE COLLECT
81.16/81.47 c rational objective 99
86.44/86.75 c #Conflicts: 38000 | #Constraints: 183658
86.44/86.75 c #Conflicts: 39000 | #Constraints: 184658
86.44/86.75 c #Conflicts: 40000 | #Constraints: 185658
86.44/86.75 c #Conflicts: 41000 | #Constraints: 186658
86.44/86.75 c INPROCESSING
86.44/86.75 c GARBAGE COLLECT
86.44/86.75 c rational objective 99
182.20/182.77 c #Conflicts: 42000 | #Constraints: 183461
182.20/182.77 c #Conflicts: 43000 | #Constraints: 184462
182.20/182.77 c #Conflicts: 44000 | #Constraints: 185462
182.20/182.77 c #Conflicts: 45000 | #Constraints: 186462
182.20/182.77 c #Conflicts: 46000 | #Constraints: 187462
182.20/182.77 c INPROCESSING
182.20/182.77 c GARBAGE COLLECT
182.20/182.77 c #Conflicts: 47000 | #Constraints: 184049
182.20/182.77 c #Conflicts: 48000 | #Constraints: 185049
182.20/182.77 c #Conflicts: 49000 | #Constraints: 186049
182.20/182.77 c #Conflicts: 50000 | #Constraints: 187049
182.20/182.77 c #Conflicts: 51000 | #Constraints: 188049
182.20/182.77 c INPROCESSING
182.20/182.77 c GARBAGE COLLECT
182.20/182.77 c rational objective 99
187.78/188.35 c #Conflicts: 52000 | #Constraints: 184448
187.78/188.35 c #Conflicts: 53000 | #Constraints: 185448
187.78/188.35 c #Conflicts: 54000 | #Constraints: 186448
187.78/188.35 c #Conflicts: 55000 | #Constraints: 187448
187.78/188.35 c #Conflicts: 56000 | #Constraints: 188448
187.78/188.35 c INPROCESSING
187.78/188.35 c GARBAGE COLLECT
187.78/188.35 c rational objective 99
195.47/196.10 c #Conflicts: 57000 | #Constraints: 184651
195.47/196.10 c #Conflicts: 58000 | #Constraints: 185651
195.47/196.10 c #Conflicts: 59000 | #Constraints: 186651
195.47/196.10 c #Conflicts: 60000 | #Constraints: 187651
195.47/196.10 c #Conflicts: 61000 | #Constraints: 188651
195.47/196.10 c INPROCESSING
195.47/196.10 c GARBAGE COLLECT
195.47/196.10 c rational objective 99
202.65/203.25 c #Conflicts: 62000 | #Constraints: 184663
202.65/203.25 c #Conflicts: 63000 | #Constraints: 185663
202.65/203.25 c #Conflicts: 64000 | #Constraints: 186663
202.65/203.25 c #Conflicts: 65000 | #Constraints: 187663
202.65/203.25 c #Conflicts: 66000 | #Constraints: 188663
202.65/203.25 c INPROCESSING
202.65/203.25 c GARBAGE COLLECT
202.65/203.25 c rational objective 99
208.64/209.25 c #Conflicts: 67000 | #Constraints: 184453
208.64/209.25 c #Conflicts: 68000 | #Constraints: 185453
208.64/209.25 c #Conflicts: 69000 | #Constraints: 186453
208.64/209.25 c #Conflicts: 70000 | #Constraints: 187453
208.64/209.25 c #Conflicts: 71000 | #Constraints: 188453
208.64/209.25 c #Conflicts: 72000 | #Constraints: 189453
208.64/209.25 c INPROCESSING
208.64/209.25 c GARBAGE COLLECT
208.64/209.25 c rational objective 99
218.11/218.74 c #Conflicts: 73000 | #Constraints: 185060
218.11/218.74 c #Conflicts: 74000 | #Constraints: 186060
218.11/218.74 c #Conflicts: 75000 | #Constraints: 187060
218.11/218.74 c #Conflicts: 76000 | #Constraints: 188060
218.11/218.74 c #Conflicts: 77000 | #Constraints: 189060
218.11/218.74 c #Conflicts: 78000 | #Constraints: 190060
218.11/218.74 c INPROCESSING
218.11/218.74 c GARBAGE COLLECT
218.11/218.74 c rational objective 99
226.89/227.57 c #Conflicts: 79000 | #Constraints: 185468
226.89/227.57 c #Conflicts: 80000 | #Constraints: 186468
226.89/227.57 c #Conflicts: 81000 | #Constraints: 187468
226.89/227.57 c #Conflicts: 82000 | #Constraints: 188468
226.89/227.57 c #Conflicts: 83000 | #Constraints: 189468
226.89/227.57 c #Conflicts: 84000 | #Constraints: 190468
226.89/227.57 c INPROCESSING
226.89/227.57 c GARBAGE COLLECT
226.89/227.57 c rational objective 99
236.67/237.32 c #Conflicts: 85000 | #Constraints: 185672
236.67/237.32 c #Conflicts: 86000 | #Constraints: 186672
236.67/237.32 c #Conflicts: 87000 | #Constraints: 187672
236.67/237.32 c #Conflicts: 88000 | #Constraints: 188672
236.67/237.32 c #Conflicts: 89000 | #Constraints: 189672
236.67/237.32 c #Conflicts: 90000 | #Constraints: 190672
236.67/237.32 c INPROCESSING
236.67/237.32 c GARBAGE COLLECT
236.67/237.32 c rational objective 99
244.46/245.19 c #Conflicts: 91000 | #Constraints: 185675
244.46/245.19 c #Conflicts: 92000 | #Constraints: 186675
244.46/245.19 c #Conflicts: 93000 | #Constraints: 187675
244.46/245.19 c #Conflicts: 94000 | #Constraints: 188675
244.46/245.19 c #Conflicts: 95000 | #Constraints: 189675
244.46/245.19 c #Conflicts: 96000 | #Constraints: 190675
244.46/245.19 c INPROCESSING
244.46/245.19 c GARBAGE COLLECT
244.46/245.19 c rational objective 99
255.03/255.71 c #Conflicts: 97000 | #Constraints: 185480
255.03/255.71 c #Conflicts: 98000 | #Constraints: 186480
255.03/255.71 c #Conflicts: 99000 | #Constraints: 187480
255.03/255.71 c #Conflicts: 100000 | #Constraints: 188480
255.03/255.71 c #Conflicts: 101000 | #Constraints: 189480
255.03/255.71 c #Conflicts: 102000 | #Constraints: 190480
255.03/255.71 c #Conflicts: 103000 | #Constraints: 191480
255.03/255.71 c INPROCESSING
255.03/255.71 c GARBAGE COLLECT
255.03/255.71 c rational objective 99
262.71/263.44 c #Conflicts: 104000 | #Constraints: 186077
262.71/263.44 c #Conflicts: 105000 | #Constraints: 187077
262.71/263.44 c #Conflicts: 106000 | #Constraints: 188077
262.71/263.44 c #Conflicts: 107000 | #Constraints: 189077
262.71/263.44 c #Conflicts: 108000 | #Constraints: 190077
262.71/263.44 c #Conflicts: 109000 | #Constraints: 191077
262.71/263.44 c #Conflicts: 110000 | #Constraints: 192077
262.71/263.44 c INPROCESSING
262.71/263.44 c GARBAGE COLLECT
262.71/263.44 c rational objective 99
274.89/275.66 c #Conflicts: 111000 | #Constraints: 186473
274.89/275.66 c #Conflicts: 112000 | #Constraints: 187473
274.89/275.66 c #Conflicts: 113000 | #Constraints: 188473
274.89/275.66 c #Conflicts: 114000 | #Constraints: 189473
274.89/275.66 c #Conflicts: 115000 | #Constraints: 190473
274.89/275.66 c #Conflicts: 116000 | #Constraints: 191473
274.89/275.66 c #Conflicts: 117000 | #Constraints: 192473
274.89/275.66 c INPROCESSING
274.89/275.66 c GARBAGE COLLECT
274.89/275.66 c rational objective 99
283.76/284.59 c #Conflicts: 118000 | #Constraints: 186665
283.76/284.59 c #Conflicts: 119000 | #Constraints: 187665
283.76/284.59 c #Conflicts: 120000 | #Constraints: 188665
283.76/284.59 c #Conflicts: 121000 | #Constraints: 189665
283.76/284.59 c #Conflicts: 122000 | #Constraints: 190665
283.76/284.59 c #Conflicts: 123000 | #Constraints: 191665
283.76/284.59 c #Conflicts: 124000 | #Constraints: 192665
283.76/284.59 c INPROCESSING
283.76/284.59 c GARBAGE COLLECT
283.76/284.59 c rational objective 99
293.55/294.35 c #Conflicts: 125000 | #Constraints: 186682
293.55/294.35 c #Conflicts: 126000 | #Constraints: 187682
293.55/294.35 c #Conflicts: 127000 | #Constraints: 188682
293.55/294.35 c #Conflicts: 128000 | #Constraints: 189682
293.55/294.35 c #Conflicts: 129000 | #Constraints: 190682
293.55/294.35 c #Conflicts: 130000 | #Constraints: 191682
293.55/294.35 c #Conflicts: 131000 | #Constraints: 192682
293.55/294.35 c INPROCESSING
293.55/294.35 c GARBAGE COLLECT
293.55/294.35 c rational objective 99
305.02/305.89 c #Conflicts: 132000 | #Constraints: 186477
305.02/305.89 c #Conflicts: 133000 | #Constraints: 187477
305.02/305.89 c #Conflicts: 134000 | #Constraints: 188477
305.02/305.89 c #Conflicts: 135000 | #Constraints: 189477
305.02/305.89 c #Conflicts: 136000 | #Constraints: 190477
305.02/305.89 c #Conflicts: 137000 | #Constraints: 191477
305.02/305.89 c #Conflicts: 138000 | #Constraints: 192477
305.02/305.89 c #Conflicts: 139000 | #Constraints: 193477
305.02/305.89 c INPROCESSING
305.02/305.89 c GARBAGE COLLECT
305.02/305.89 c rational objective 99
314.59/315.46 c #Conflicts: 140000 | #Constraints: 187080
314.59/315.46 c #Conflicts: 141000 | #Constraints: 188080
314.59/315.46 c #Conflicts: 142000 | #Constraints: 189080
314.59/315.46 c #Conflicts: 143000 | #Constraints: 190080
314.59/315.46 c #Conflicts: 144000 | #Constraints: 191080
314.59/315.46 c #Conflicts: 145000 | #Constraints: 192080
314.59/315.46 c #Conflicts: 146000 | #Constraints: 193080
314.59/315.46 c #Conflicts: 147000 | #Constraints: 194080
314.59/315.46 c INPROCESSING
314.59/315.46 c GARBAGE COLLECT
314.59/315.46 c rational objective 99
325.57/326.45 c #Conflicts: 148000 | #Constraints: 187486
325.57/326.45 c #Conflicts: 149000 | #Constraints: 188486
325.57/326.45 c #Conflicts: 150000 | #Constraints: 189486
325.57/326.45 c #Conflicts: 151000 | #Constraints: 190486
325.57/326.45 c #Conflicts: 152000 | #Constraints: 191486
325.57/326.45 c #Conflicts: 153000 | #Constraints: 192486
325.57/326.45 c #Conflicts: 154000 | #Constraints: 193487
325.57/326.45 c #Conflicts: 155000 | #Constraints: 194487
325.57/326.45 c INPROCESSING
325.57/326.45 c GARBAGE COLLECT
325.57/326.45 c rational objective 99
500.88/502.14 c #Conflicts: 156000 | #Constraints: 187694
500.88/502.14 c #Conflicts: 157000 | #Constraints: 188694
500.88/502.14 c #Conflicts: 158000 | #Constraints: 189694
500.88/502.14 c #Conflicts: 159000 | #Constraints: 190694
500.88/502.14 c #Conflicts: 160000 | #Constraints: 191694
500.88/502.14 c #Conflicts: 161000 | #Constraints: 192695
500.88/502.14 c #Conflicts: 162000 | #Constraints: 193695
500.88/502.14 c #Conflicts: 163000 | #Constraints: 194695
500.88/502.14 c INPROCESSING
500.88/502.14 c GARBAGE COLLECT
500.88/502.14 c #Conflicts: 164000 | #Constraints: 187692
500.88/502.14 c #Conflicts: 165000 | #Constraints: 188692
500.88/502.14 c #Conflicts: 166000 | #Constraints: 189692
500.88/502.14 c #Conflicts: 167000 | #Constraints: 190692
500.88/502.14 c #Conflicts: 168000 | #Constraints: 191692
500.88/502.14 c #Conflicts: 169000 | #Constraints: 192692
500.88/502.14 c #Conflicts: 170000 | #Constraints: 193692
500.88/502.14 c #Conflicts: 171000 | #Constraints: 194692
500.88/502.14 c INPROCESSING
500.88/502.14 c GARBAGE COLLECT
500.88/502.14 c rational objective 99
512.85/514.18 c #Conflicts: 172000 | #Constraints: 187504
512.85/514.18 c #Conflicts: 173000 | #Constraints: 188504
512.85/514.18 c #Conflicts: 174000 | #Constraints: 189504
512.85/514.18 c #Conflicts: 175000 | #Constraints: 190504
512.85/514.18 c #Conflicts: 176000 | #Constraints: 191504
512.85/514.18 c #Conflicts: 177000 | #Constraints: 192504
512.85/514.18 c #Conflicts: 178000 | #Constraints: 193504
512.85/514.18 c #Conflicts: 179000 | #Constraints: 194504
512.85/514.18 c #Conflicts: 180000 | #Constraints: 195504
512.85/514.18 c INPROCESSING
512.85/514.18 c GARBAGE COLLECT
512.85/514.18 c rational objective 99
526.32/527.61 c #Conflicts: 181000 | #Constraints: 188102
526.32/527.61 c #Conflicts: 182000 | #Constraints: 189102
526.32/527.61 c #Conflicts: 183000 | #Constraints: 190102
526.32/527.61 c #Conflicts: 184000 | #Constraints: 191102
526.32/527.61 c #Conflicts: 185000 | #Constraints: 192102
526.32/527.61 c #Conflicts: 186000 | #Constraints: 193102
526.32/527.61 c #Conflicts: 187000 | #Constraints: 194102
526.32/527.61 c #Conflicts: 188000 | #Constraints: 195102
526.32/527.61 c #Conflicts: 189000 | #Constraints: 196102
526.32/527.61 c INPROCESSING
526.32/527.61 c GARBAGE COLLECT
526.32/527.61 c rational objective 99
539.59/540.98 c #Conflicts: 190000 | #Constraints: 188502
539.59/540.98 c #Conflicts: 191000 | #Constraints: 189502
539.59/540.98 c #Conflicts: 192000 | #Constraints: 190502
539.59/540.98 c #Conflicts: 193000 | #Constraints: 191502
539.59/540.98 c #Conflicts: 194000 | #Constraints: 192502
539.59/540.98 c #Conflicts: 195000 | #Constraints: 193502
539.59/540.98 c #Conflicts: 196000 | #Constraints: 194502
539.59/540.98 c #Conflicts: 197000 | #Constraints: 195502
539.59/540.98 c #Conflicts: 198000 | #Constraints: 196502
539.59/540.98 c INPROCESSING
539.59/540.98 c GARBAGE COLLECT
539.59/540.98 c rational objective 99
552.67/554.03 c #Conflicts: 199000 | #Constraints: 188719
552.67/554.03 c #Conflicts: 200000 | #Constraints: 189719
552.67/554.03 c #Conflicts: 201000 | #Constraints: 190719
552.67/554.03 c #Conflicts: 202000 | #Constraints: 191719
552.67/554.03 c #Conflicts: 203000 | #Constraints: 192719
552.67/554.03 c #Conflicts: 204000 | #Constraints: 193719
552.67/554.03 c #Conflicts: 205000 | #Constraints: 194719
552.67/554.03 c #Conflicts: 206000 | #Constraints: 195719
552.67/554.03 c #Conflicts: 207000 | #Constraints: 196719
552.67/554.03 c INPROCESSING
552.67/554.03 c GARBAGE COLLECT
552.67/554.03 c rational objective 99
568.22/569.66 c #Conflicts: 208000 | #Constraints: 188720
568.22/569.66 c #Conflicts: 209000 | #Constraints: 189720
568.22/569.66 c #Conflicts: 210000 | #Constraints: 190720
568.22/569.66 c #Conflicts: 211000 | #Constraints: 191720
568.22/569.66 c #Conflicts: 212000 | #Constraints: 192720
568.22/569.66 c #Conflicts: 213000 | #Constraints: 193720
568.22/569.66 c #Conflicts: 214000 | #Constraints: 194720
568.22/569.66 c #Conflicts: 215000 | #Constraints: 195720
568.22/569.66 c #Conflicts: 216000 | #Constraints: 196720
568.22/569.66 c INPROCESSING
568.22/569.66 c GARBAGE COLLECT
568.22/569.66 c rational objective 99
582.29/583.70 c #Conflicts: 217000 | #Constraints: 188513
582.29/583.70 c #Conflicts: 218000 | #Constraints: 189513
582.29/583.70 c #Conflicts: 219000 | #Constraints: 190513
582.29/583.70 c #Conflicts: 220000 | #Constraints: 191513
582.29/583.70 c #Conflicts: 221000 | #Constraints: 192513
582.29/583.70 c #Conflicts: 222000 | #Constraints: 193513
582.29/583.70 c #Conflicts: 223000 | #Constraints: 194513
582.29/583.70 c #Conflicts: 224000 | #Constraints: 195513
582.29/583.70 c #Conflicts: 225000 | #Constraints: 196513
582.29/583.70 c #Conflicts: 226000 | #Constraints: 197513
582.29/583.70 c INPROCESSING
582.29/583.70 c GARBAGE COLLECT
582.29/583.70 c rational objective 99
597.46/598.95 c #Conflicts: 227000 | #Constraints: 189121
597.46/598.95 c #Conflicts: 228000 | #Constraints: 190121
597.46/598.95 c #Conflicts: 229000 | #Constraints: 191121
597.46/598.95 c #Conflicts: 230000 | #Constraints: 192121
597.46/598.95 c #Conflicts: 231000 | #Constraints: 193121
597.46/598.95 c #Conflicts: 232000 | #Constraints: 194121
597.46/598.95 c #Conflicts: 233000 | #Constraints: 195121
597.46/598.95 c #Conflicts: 234000 | #Constraints: 196121
597.46/598.95 c #Conflicts: 235000 | #Constraints: 197121
597.46/598.95 c #Conflicts: 236000 | #Constraints: 198121
597.46/598.95 c INPROCESSING
597.46/598.95 c GARBAGE COLLECT
597.46/598.95 c rational objective 99
611.43/612.93 c #Conflicts: 237000 | #Constraints: 189506
611.43/612.93 c #Conflicts: 238000 | #Constraints: 190506
611.43/612.93 c #Conflicts: 239000 | #Constraints: 191506
611.43/612.93 c #Conflicts: 240000 | #Constraints: 192506
611.43/612.93 c #Conflicts: 241000 | #Constraints: 193506
611.43/612.93 c #Conflicts: 242000 | #Constraints: 194506
611.43/612.93 c #Conflicts: 243000 | #Constraints: 195506
611.43/612.93 c #Conflicts: 244000 | #Constraints: 196506
611.43/612.93 c #Conflicts: 245000 | #Constraints: 197506
611.43/612.93 c #Conflicts: 246000 | #Constraints: 198506
611.43/612.93 c INPROCESSING
611.43/612.93 c GARBAGE COLLECT
611.43/612.93 c rational objective 99
626.09/627.61 c #Conflicts: 247000 | #Constraints: 189704
626.09/627.61 c #Conflicts: 248000 | #Constraints: 190704
626.09/627.61 c #Conflicts: 249000 | #Constraints: 191704
626.09/627.61 c #Conflicts: 250000 | #Constraints: 192704
626.09/627.61 c #Conflicts: 251000 | #Constraints: 193704
626.09/627.61 c #Conflicts: 252000 | #Constraints: 194704
626.09/627.61 c #Conflicts: 253000 | #Constraints: 195704
626.09/627.61 c #Conflicts: 254000 | #Constraints: 196704
626.09/627.61 c #Conflicts: 255000 | #Constraints: 197704
626.09/627.61 c #Conflicts: 256000 | #Constraints: 198704
626.09/627.61 c INPROCESSING
626.09/627.61 c GARBAGE COLLECT
626.09/627.61 c rational objective 99
640.16/641.79 c #Conflicts: 257000 | #Constraints: 189728
640.16/641.79 c #Conflicts: 258000 | #Constraints: 190728
640.16/641.79 c #Conflicts: 259000 | #Constraints: 191728
640.16/641.79 c #Conflicts: 260000 | #Constraints: 192728
640.16/641.79 c #Conflicts: 261000 | #Constraints: 193728
640.16/641.79 c #Conflicts: 262000 | #Constraints: 194728
640.16/641.79 c #Conflicts: 263000 | #Constraints: 195728
640.16/641.79 c #Conflicts: 264000 | #Constraints: 196728
640.16/641.79 c #Conflicts: 265000 | #Constraints: 197728
640.16/641.79 c #Conflicts: 266000 | #Constraints: 198728
640.16/641.79 c INPROCESSING
640.16/641.79 c GARBAGE COLLECT
640.16/641.79 c rational objective 99
656.73/658.30 c #Conflicts: 267000 | #Constraints: 189527
656.73/658.30 c #Conflicts: 268000 | #Constraints: 190527
656.73/658.30 c #Conflicts: 269000 | #Constraints: 191527
656.73/658.30 c #Conflicts: 270000 | #Constraints: 192527
656.73/658.30 c #Conflicts: 271000 | #Constraints: 193527
656.73/658.30 c #Conflicts: 272000 | #Constraints: 194527
656.73/658.30 c #Conflicts: 273000 | #Constraints: 195527
656.73/658.30 c #Conflicts: 274000 | #Constraints: 196527
656.73/658.30 c #Conflicts: 275000 | #Constraints: 197527
656.73/658.30 c #Conflicts: 276000 | #Constraints: 198527
656.73/658.30 c #Conflicts: 277000 | #Constraints: 199527
656.73/658.30 c INPROCESSING
656.73/658.30 c GARBAGE COLLECT
656.73/658.30 c rational objective 99
670.79/672.41 c #Conflicts: 278000 | #Constraints: 190122
670.79/672.41 c #Conflicts: 279000 | #Constraints: 191122
670.79/672.41 c #Conflicts: 280000 | #Constraints: 192122
670.79/672.41 c #Conflicts: 281000 | #Constraints: 193122
670.79/672.41 c #Conflicts: 282000 | #Constraints: 194122
670.79/672.41 c #Conflicts: 283000 | #Constraints: 195122
670.79/672.41 c #Conflicts: 284000 | #Constraints: 196122
670.79/672.41 c #Conflicts: 285000 | #Constraints: 197122
670.79/672.41 c #Conflicts: 286000 | #Constraints: 198122
670.79/672.41 c #Conflicts: 287000 | #Constraints: 199122
670.79/672.41 c #Conflicts: 288000 | #Constraints: 200122
670.79/672.41 c INPROCESSING
670.79/672.41 c GARBAGE COLLECT
670.79/672.41 c rational objective 99
686.46/688.15 c #Conflicts: 289000 | #Constraints: 190519
686.46/688.15 c #Conflicts: 290000 | #Constraints: 191519
686.46/688.15 c #Conflicts: 291000 | #Constraints: 192519
686.46/688.15 c #Conflicts: 292000 | #Constraints: 193519
686.46/688.15 c #Conflicts: 293000 | #Constraints: 194519
686.46/688.15 c #Conflicts: 294000 | #Constraints: 195519
686.46/688.15 c #Conflicts: 295000 | #Constraints: 196519
686.46/688.15 c #Conflicts: 296000 | #Constraints: 197519
686.46/688.15 c #Conflicts: 297000 | #Constraints: 198519
686.46/688.15 c #Conflicts: 298000 | #Constraints: 199519
686.46/688.15 c #Conflicts: 299000 | #Constraints: 200519
686.46/688.15 c INPROCESSING
686.46/688.15 c GARBAGE COLLECT
686.46/688.15 c rational objective 99
700.62/702.37 c #Conflicts: 300000 | #Constraints: 190725
700.62/702.37 c #Conflicts: 301000 | #Constraints: 191725
700.62/702.37 c #Conflicts: 302000 | #Constraints: 192725
700.62/702.37 c #Conflicts: 303000 | #Constraints: 193725
700.62/702.37 c #Conflicts: 304000 | #Constraints: 194725
700.62/702.37 c #Conflicts: 305000 | #Constraints: 195725
700.62/702.37 c #Conflicts: 306000 | #Constraints: 196725
700.62/702.37 c #Conflicts: 307000 | #Constraints: 197725
700.62/702.37 c #Conflicts: 308000 | #Constraints: 198725
700.62/702.37 c #Conflicts: 309000 | #Constraints: 199725
700.62/702.37 c #Conflicts: 310000 | #Constraints: 200725
700.62/702.37 c INPROCESSING
700.62/702.37 c GARBAGE COLLECT
700.62/702.37 c rational objective 99
716.79/718.55 c #Conflicts: 311000 | #Constraints: 190730
716.79/718.55 c #Conflicts: 312000 | #Constraints: 191730
716.79/718.55 c #Conflicts: 313000 | #Constraints: 192730
716.79/718.55 c #Conflicts: 314000 | #Constraints: 193730
716.79/718.55 c #Conflicts: 315000 | #Constraints: 194730
716.79/718.55 c #Conflicts: 316000 | #Constraints: 195730
716.79/718.55 c #Conflicts: 317000 | #Constraints: 196730
716.79/718.55 c #Conflicts: 318000 | #Constraints: 197730
716.79/718.55 c #Conflicts: 319000 | #Constraints: 198731
716.79/718.55 c #Conflicts: 320000 | #Constraints: 199731
716.79/718.55 c #Conflicts: 321000 | #Constraints: 200731
716.79/718.55 c INPROCESSING
716.79/718.55 c GARBAGE COLLECT
716.79/718.55 c rational objective 99
954.06/956.30 c #Conflicts: 322000 | #Constraints: 190544
954.06/956.30 c #Conflicts: 323000 | #Constraints: 191544
954.06/956.30 c #Conflicts: 324000 | #Constraints: 192544
954.06/956.30 c #Conflicts: 325000 | #Constraints: 193544
954.06/956.30 c #Conflicts: 326000 | #Constraints: 194544
954.06/956.30 c #Conflicts: 327000 | #Constraints: 195544
954.06/956.30 c #Conflicts: 328000 | #Constraints: 196544
954.06/956.30 c #Conflicts: 329000 | #Constraints: 197544
954.06/956.30 c #Conflicts: 330000 | #Constraints: 198544
954.06/956.30 c #Conflicts: 331000 | #Constraints: 199544
954.06/956.30 c #Conflicts: 332000 | #Constraints: 200545
954.06/956.30 c #Conflicts: 333000 | #Constraints: 201545
954.06/956.30 c INPROCESSING
954.06/956.30 c GARBAGE COLLECT
954.06/956.30 c rational objective 99
971.93/974.24 c #Conflicts: 334000 | #Constraints: 191149
971.93/974.24 c #Conflicts: 335000 | #Constraints: 192150
971.93/974.24 c #Conflicts: 336000 | #Constraints: 193150
971.93/974.24 c #Conflicts: 337000 | #Constraints: 194150
971.93/974.24 c #Conflicts: 338000 | #Constraints: 195150
971.93/974.24 c #Conflicts: 339000 | #Constraints: 196150
971.93/974.24 c #Conflicts: 340000 | #Constraints: 197150
971.93/974.24 c #Conflicts: 341000 | #Constraints: 198150
971.93/974.24 c #Conflicts: 342000 | #Constraints: 199150
971.93/974.24 c #Conflicts: 343000 | #Constraints: 200150
971.93/974.24 c #Conflicts: 344000 | #Constraints: 201150
971.93/974.24 c #Conflicts: 345000 | #Constraints: 202150
971.93/974.24 c INPROCESSING
971.93/974.24 c GARBAGE COLLECT
971.93/974.24 c rational objective 99
987.90/990.28 c #Conflicts: 346000 | #Constraints: 191553
987.90/990.28 c #Conflicts: 347000 | #Constraints: 192553
987.90/990.28 c #Conflicts: 348000 | #Constraints: 193553
987.90/990.28 c #Conflicts: 349000 | #Constraints: 194553
987.90/990.28 c #Conflicts: 350000 | #Constraints: 195553
987.90/990.28 c #Conflicts: 351000 | #Constraints: 196553
987.90/990.28 c #Conflicts: 352000 | #Constraints: 197553
987.90/990.28 c #Conflicts: 353000 | #Constraints: 198553
987.90/990.28 c #Conflicts: 354000 | #Constraints: 199553
987.90/990.28 c #Conflicts: 355000 | #Constraints: 200553
987.90/990.28 c #Conflicts: 356000 | #Constraints: 201553
987.90/990.28 c #Conflicts: 357000 | #Constraints: 202553
987.90/990.28 c INPROCESSING
987.90/990.28 c GARBAGE COLLECT
987.90/990.28 c rational objective 99
1005.05/1007.46 c #Conflicts: 358000 | #Constraints: 191741
1005.05/1007.46 c #Conflicts: 359000 | #Constraints: 192741
1005.05/1007.46 c #Conflicts: 360000 | #Constraints: 193741
1005.05/1007.46 c #Conflicts: 361000 | #Constraints: 194741
1005.05/1007.46 c #Conflicts: 362000 | #Constraints: 195741
1005.05/1007.46 c #Conflicts: 363000 | #Constraints: 196741
1005.05/1007.46 c #Conflicts: 364000 | #Constraints: 197741
1005.05/1007.46 c #Conflicts: 365000 | #Constraints: 198741
1005.05/1007.46 c #Conflicts: 366000 | #Constraints: 199741
1005.05/1007.46 c #Conflicts: 367000 | #Constraints: 200741
1005.05/1007.46 c #Conflicts: 368000 | #Constraints: 201741
1005.05/1007.46 c #Conflicts: 369000 | #Constraints: 202741
1005.05/1007.46 c INPROCESSING
1005.05/1007.46 c GARBAGE COLLECT
1005.05/1007.46 c rational objective 99
1022.61/1025.03 c #Conflicts: 370000 | #Constraints: 191747
1022.61/1025.03 c #Conflicts: 371000 | #Constraints: 192747
1022.61/1025.03 c #Conflicts: 372000 | #Constraints: 193747
1022.61/1025.03 c #Conflicts: 373000 | #Constraints: 194747
1022.61/1025.03 c #Conflicts: 374000 | #Constraints: 195747
1022.61/1025.03 c #Conflicts: 375000 | #Constraints: 196747
1022.61/1025.03 c #Conflicts: 376000 | #Constraints: 197747
1022.61/1025.03 c #Conflicts: 377000 | #Constraints: 198747
1022.61/1025.03 c #Conflicts: 378000 | #Constraints: 199747
1022.61/1025.03 c #Conflicts: 379000 | #Constraints: 200747
1022.61/1025.03 c #Conflicts: 380000 | #Constraints: 201747
1022.61/1025.03 c #Conflicts: 381000 | #Constraints: 202747
1022.61/1025.03 c INPROCESSING
1022.61/1025.03 c GARBAGE COLLECT
1022.61/1025.03 c rational objective 99
1038.68/1041.10 c #Conflicts: 382000 | #Constraints: 191557
1038.68/1041.10 c #Conflicts: 383000 | #Constraints: 192557
1038.68/1041.10 c #Conflicts: 384000 | #Constraints: 193557
1038.68/1041.10 c #Conflicts: 385000 | #Constraints: 194557
1038.68/1041.10 c #Conflicts: 386000 | #Constraints: 195557
1038.68/1041.10 c #Conflicts: 387000 | #Constraints: 196557
1038.68/1041.10 c #Conflicts: 388000 | #Constraints: 197557
1038.68/1041.10 c #Conflicts: 389000 | #Constraints: 198557
1038.68/1041.10 c #Conflicts: 390000 | #Constraints: 199557
1038.68/1041.10 c #Conflicts: 391000 | #Constraints: 200557
1038.68/1041.10 c #Conflicts: 392000 | #Constraints: 201557
1038.68/1041.10 c #Conflicts: 393000 | #Constraints: 202557
1038.68/1041.10 c #Conflicts: 394000 | #Constraints: 203557
1038.68/1041.10 c INPROCESSING
1038.68/1041.10 c GARBAGE COLLECT
1038.68/1041.10 c rational objective 99
1059.93/1062.45 c #Conflicts: 395000 | #Constraints: 192156
1059.93/1062.45 c #Conflicts: 396000 | #Constraints: 193156
1059.93/1062.45 c #Conflicts: 397000 | #Constraints: 194156
1059.93/1062.45 c #Conflicts: 398000 | #Constraints: 195156
1059.93/1062.45 c #Conflicts: 399000 | #Constraints: 196156
1059.93/1062.45 c #Conflicts: 400000 | #Constraints: 197156
1059.93/1062.45 c #Conflicts: 401000 | #Constraints: 198156
1059.93/1062.45 c #Conflicts: 402000 | #Constraints: 199156
1059.93/1062.45 c #Conflicts: 403000 | #Constraints: 200156
1059.93/1062.45 c #Conflicts: 404000 | #Constraints: 201156
1059.93/1062.45 c #Conflicts: 405000 | #Constraints: 202156
1059.93/1062.45 c #Conflicts: 406000 | #Constraints: 203156
1059.93/1062.45 c #Conflicts: 407000 | #Constraints: 204156
1059.93/1062.45 c INPROCESSING
1059.93/1062.45 c GARBAGE COLLECT
1059.93/1062.45 c rational objective 99
1078.68/1081.26 c #Conflicts: 408000 | #Constraints: 192556
1078.68/1081.26 c #Conflicts: 409000 | #Constraints: 193556
1078.68/1081.26 c #Conflicts: 410000 | #Constraints: 194556
1078.68/1081.26 c #Conflicts: 411000 | #Constraints: 195556
1078.68/1081.26 c #Conflicts: 412000 | #Constraints: 196556
1078.68/1081.26 c #Conflicts: 413000 | #Constraints: 197556
1078.68/1081.26 c #Conflicts: 414000 | #Constraints: 198556
1078.68/1081.26 c #Conflicts: 415000 | #Constraints: 199556
1078.68/1081.26 c #Conflicts: 416000 | #Constraints: 200556
1078.68/1081.26 c #Conflicts: 417000 | #Constraints: 201556
1078.68/1081.26 c #Conflicts: 418000 | #Constraints: 202556
1078.68/1081.26 c #Conflicts: 419000 | #Constraints: 203556
1078.68/1081.26 c #Conflicts: 420000 | #Constraints: 204556
1078.68/1081.26 c INPROCESSING
1078.68/1081.26 c GARBAGE COLLECT
1078.68/1081.26 c rational objective 99
1096.64/1099.29 c #Conflicts: 421000 | #Constraints: 192746
1096.64/1099.29 c #Conflicts: 422000 | #Constraints: 193746
1096.64/1099.29 c #Conflicts: 423000 | #Constraints: 194746
1096.64/1099.29 c #Conflicts: 424000 | #Constraints: 195746
1096.64/1099.29 c #Conflicts: 425000 | #Constraints: 196746
1096.64/1099.29 c #Conflicts: 426000 | #Constraints: 197746
1096.64/1099.29 c #Conflicts: 427000 | #Constraints: 198746
1096.64/1099.29 c #Conflicts: 428000 | #Constraints: 199746
1096.64/1099.29 c #Conflicts: 429000 | #Constraints: 200746
1096.64/1099.29 c #Conflicts: 430000 | #Constraints: 201746
1096.64/1099.29 c #Conflicts: 431000 | #Constraints: 202746
1096.64/1099.29 c #Conflicts: 432000 | #Constraints: 203746
1096.64/1099.29 c #Conflicts: 433000 | #Constraints: 204746
1096.64/1099.29 c INPROCESSING
1096.64/1099.29 c GARBAGE COLLECT
1096.64/1099.29 c rational objective 99
1117.30/1119.95 c #Conflicts: 434000 | #Constraints: 192763
1117.30/1119.95 c #Conflicts: 435000 | #Constraints: 193763
1117.30/1119.95 c #Conflicts: 436000 | #Constraints: 194763
1117.30/1119.95 c #Conflicts: 437000 | #Constraints: 195763
1117.30/1119.95 c #Conflicts: 438000 | #Constraints: 196763
1117.30/1119.95 c #Conflicts: 439000 | #Constraints: 197764
1117.30/1119.95 c #Conflicts: 440000 | #Constraints: 198764
1117.30/1119.95 c #Conflicts: 441000 | #Constraints: 199764
1117.30/1119.95 c #Conflicts: 442000 | #Constraints: 200764
1117.30/1119.95 c #Conflicts: 443000 | #Constraints: 201764
1117.30/1119.95 c #Conflicts: 444000 | #Constraints: 202764
1117.30/1119.95 c #Conflicts: 445000 | #Constraints: 203764
1117.30/1119.95 c #Conflicts: 446000 | #Constraints: 204764
1117.30/1119.95 c INPROCESSING
1117.30/1119.95 c GARBAGE COLLECT
1117.30/1119.95 c rational objective 99
1136.16/1138.84 c #Conflicts: 447000 | #Constraints: 192574
1136.16/1138.84 c #Conflicts: 448000 | #Constraints: 193574
1136.16/1138.84 c #Conflicts: 449000 | #Constraints: 194574
1136.16/1138.84 c #Conflicts: 450000 | #Constraints: 195574
1136.16/1138.84 c #Conflicts: 451000 | #Constraints: 196574
1136.16/1138.84 c #Conflicts: 452000 | #Constraints: 197574
1136.16/1138.84 c #Conflicts: 453000 | #Constraints: 198574
1136.16/1138.84 c #Conflicts: 454000 | #Constraints: 199574
1136.16/1138.84 c #Conflicts: 455000 | #Constraints: 200574
1136.16/1138.84 c #Conflicts: 456000 | #Constraints: 201574
1136.16/1138.84 c #Conflicts: 457000 | #Constraints: 202574
1136.16/1138.84 c #Conflicts: 458000 | #Constraints: 203574
1136.16/1138.84 c #Conflicts: 459000 | #Constraints: 204574
1136.16/1138.84 c #Conflicts: 460000 | #Constraints: 205574
1136.16/1138.84 c INPROCESSING
1136.16/1138.84 c GARBAGE COLLECT
1136.16/1138.84 c rational objective 99
1154.71/1157.43 c #Conflicts: 461000 | #Constraints: 193162
1154.71/1157.43 c #Conflicts: 462000 | #Constraints: 194162
1154.71/1157.43 c #Conflicts: 463000 | #Constraints: 195162
1154.71/1157.43 c #Conflicts: 464000 | #Constraints: 196162
1154.71/1157.43 c #Conflicts: 465000 | #Constraints: 197162
1154.71/1157.43 c #Conflicts: 466000 | #Constraints: 198162
1154.71/1157.43 c #Conflicts: 467000 | #Constraints: 199162
1154.71/1157.43 c #Conflicts: 468000 | #Constraints: 200162
1154.71/1157.43 c #Conflicts: 469000 | #Constraints: 201162
1154.71/1157.43 c #Conflicts: 470000 | #Constraints: 202163
1154.71/1157.43 c #Conflicts: 471000 | #Constraints: 203164
1154.71/1157.43 c #Conflicts: 472000 | #Constraints: 204164
1154.71/1157.43 c #Conflicts: 473000 | #Constraints: 205164
1154.71/1157.43 c #Conflicts: 474000 | #Constraints: 206164
1154.71/1157.43 c INPROCESSING
1154.71/1157.43 c GARBAGE COLLECT
1154.71/1157.43 c rational objective 99
1177.76/1180.56 c #Conflicts: 475000 | #Constraints: 193580
1177.76/1180.56 c #Conflicts: 476000 | #Constraints: 194580
1177.76/1180.56 c #Conflicts: 477000 | #Constraints: 195580
1177.76/1180.56 c #Conflicts: 478000 | #Constraints: 196580
1177.76/1180.56 c #Conflicts: 479000 | #Constraints: 197580
1177.76/1180.56 c #Conflicts: 480000 | #Constraints: 198580
1177.76/1180.56 c #Conflicts: 481000 | #Constraints: 199580
1177.76/1180.56 c #Conflicts: 482000 | #Constraints: 200580
1177.76/1180.56 c #Conflicts: 483000 | #Constraints: 201580
1177.76/1180.56 c #Conflicts: 484000 | #Constraints: 202580
1177.76/1180.56 c #Conflicts: 485000 | #Constraints: 203580
1177.76/1180.56 c #Conflicts: 486000 | #Constraints: 204580
1177.76/1180.56 c #Conflicts: 487000 | #Constraints: 205580
1177.76/1180.56 c #Conflicts: 488000 | #Constraints: 206580
1177.76/1180.56 c INPROCESSING
1177.76/1180.56 c GARBAGE COLLECT
1177.76/1180.56 c rational objective 99
1200.11/1203.00 c #Conflicts: 489000 | #Constraints: 193791
1200.11/1203.00 c #Conflicts: 490000 | #Constraints: 194791
1200.11/1203.00 c #Conflicts: 491000 | #Constraints: 195791
1200.11/1203.00 c #Conflicts: 492000 | #Constraints: 196791
1200.11/1203.00 c #Conflicts: 493000 | #Constraints: 197791
1200.11/1203.00 c #Conflicts: 494000 | #Constraints: 198791
1200.11/1203.00 c #Conflicts: 495000 | #Constraints: 199791
1200.11/1203.00 c #Conflicts: 496000 | #Constraints: 200791
1200.11/1203.00 c #Conflicts: 497000 | #Constraints: 201791
1200.11/1203.00 c #Conflicts: 498000 | #Constraints: 202791
1200.11/1203.00 c #Conflicts: 499000 | #Constraints: 203791
1200.11/1203.00 c #Conflicts: 500000 | #Constraints: 204791
1200.11/1203.00 c #Conflicts: 501000 | #Constraints: 205791
1200.11/1203.00 c #Conflicts: 502000 | #Constraints: 206791
1200.11/1203.00 c INPROCESSING
1200.11/1203.00 c GARBAGE COLLECT
1200.11/1203.00 c rational objective 99
1219.17/1222.02 c #Conflicts: 503000 | #Constraints: 193798
1219.17/1222.02 c #Conflicts: 504000 | #Constraints: 194798
1219.17/1222.02 c #Conflicts: 505000 | #Constraints: 195798
1219.17/1222.02 c #Conflicts: 506000 | #Constraints: 196798
1219.17/1222.02 c #Conflicts: 507000 | #Constraints: 197798
1219.17/1222.02 c #Conflicts: 508000 | #Constraints: 198798
1219.17/1222.02 c #Conflicts: 509000 | #Constraints: 199798
1219.17/1222.02 c #Conflicts: 510000 | #Constraints: 200798
1219.17/1222.02 c #Conflicts: 511000 | #Constraints: 201798
1219.17/1222.02 c #Conflicts: 512000 | #Constraints: 202798
1219.17/1222.02 c #Conflicts: 513000 | #Constraints: 203798
1219.17/1222.02 c #Conflicts: 514000 | #Constraints: 204798
1219.17/1222.02 c #Conflicts: 515000 | #Constraints: 205798
1219.17/1222.02 c #Conflicts: 516000 | #Constraints: 206798
1219.17/1222.02 c INPROCESSING
1219.17/1222.02 c GARBAGE COLLECT
1219.17/1222.02 c rational objective 99
1239.82/1242.77 c #Conflicts: 517000 | #Constraints: 193597
1239.82/1242.77 c #Conflicts: 518000 | #Constraints: 194597
1239.82/1242.77 c #Conflicts: 519000 | #Constraints: 195597
1239.82/1242.77 c #Conflicts: 520000 | #Constraints: 196597
1239.82/1242.77 c #Conflicts: 521000 | #Constraints: 197597
1239.82/1242.77 c #Conflicts: 522000 | #Constraints: 198597
1239.82/1242.77 c #Conflicts: 523000 | #Constraints: 199597
1239.82/1242.77 c #Conflicts: 524000 | #Constraints: 200597
1239.82/1242.77 c #Conflicts: 525000 | #Constraints: 201597
1239.82/1242.77 c #Conflicts: 526000 | #Constraints: 202597
1239.82/1242.77 c #Conflicts: 527000 | #Constraints: 203597
1239.82/1242.77 c #Conflicts: 528000 | #Constraints: 204597
1239.82/1242.77 c #Conflicts: 529000 | #Constraints: 205597
1239.82/1242.77 c #Conflicts: 530000 | #Constraints: 206597
1239.82/1242.77 c #Conflicts: 531000 | #Constraints: 207597
1239.82/1242.77 c INPROCESSING
1239.82/1242.77 c GARBAGE COLLECT
1239.82/1242.77 c rational objective 99
1263.57/1266.56 c #Conflicts: 532000 | #Constraints: 194199
1263.57/1266.56 c #Conflicts: 533000 | #Constraints: 195199
1263.57/1266.56 c #Conflicts: 534000 | #Constraints: 196199
1263.57/1266.56 c #Conflicts: 535000 | #Constraints: 197199
1263.57/1266.56 c #Conflicts: 536000 | #Constraints: 198199
1263.57/1266.56 c #Conflicts: 537000 | #Constraints: 199199
1263.57/1266.56 c #Conflicts: 538000 | #Constraints: 200199
1263.57/1266.56 c #Conflicts: 539000 | #Constraints: 201199
1263.57/1266.56 c #Conflicts: 540000 | #Constraints: 202199
1263.57/1266.56 c #Conflicts: 541000 | #Constraints: 203199
1263.57/1266.56 c #Conflicts: 542000 | #Constraints: 204199
1263.57/1266.56 c #Conflicts: 543000 | #Constraints: 205199
1263.57/1266.56 c #Conflicts: 544000 | #Constraints: 206199
1263.57/1266.56 c #Conflicts: 545000 | #Constraints: 207199
1263.57/1266.56 c #Conflicts: 546000 | #Constraints: 208199
1263.57/1266.56 c INPROCESSING
1263.57/1266.56 c GARBAGE COLLECT
1263.57/1266.56 c rational objective 99
1287.41/1290.49 c #Conflicts: 547000 | #Constraints: 194586
1287.41/1290.49 c #Conflicts: 548000 | #Constraints: 195586
1287.41/1290.49 c #Conflicts: 549000 | #Constraints: 196586
1287.41/1290.49 c #Conflicts: 550000 | #Constraints: 197586
1287.41/1290.49 c #Conflicts: 551000 | #Constraints: 198586
1287.41/1290.49 c #Conflicts: 552000 | #Constraints: 199586
1287.41/1290.49 c #Conflicts: 553000 | #Constraints: 200586
1287.41/1290.49 c #Conflicts: 554000 | #Constraints: 201586
1287.41/1290.49 c #Conflicts: 555000 | #Constraints: 202586
1287.41/1290.49 c #Conflicts: 556000 | #Constraints: 203586
1287.41/1290.49 c #Conflicts: 557000 | #Constraints: 204586
1287.41/1290.49 c #Conflicts: 558000 | #Constraints: 205586
1287.41/1290.49 c #Conflicts: 559000 | #Constraints: 206586
1287.41/1290.49 c #Conflicts: 560000 | #Constraints: 207586
1287.41/1290.49 c #Conflicts: 561000 | #Constraints: 208586
1287.41/1290.49 c INPROCESSING
1287.41/1290.49 c GARBAGE COLLECT
1287.41/1290.49 c rational objective 99
1479.70/1483.14 c #Conflicts: 562000 | #Constraints: 194757
1479.70/1483.14 c #Conflicts: 563000 | #Constraints: 195757
1479.70/1483.14 c #Conflicts: 564000 | #Constraints: 196757
1479.70/1483.14 c #Conflicts: 565000 | #Constraints: 197757
1479.70/1483.14 c #Conflicts: 566000 | #Constraints: 198757
1479.70/1483.14 c #Conflicts: 567000 | #Constraints: 199757
1479.70/1483.14 c #Conflicts: 568000 | #Constraints: 200757
1479.70/1483.14 c #Conflicts: 569000 | #Constraints: 201757
1479.70/1483.14 c #Conflicts: 570000 | #Constraints: 202757
1479.70/1483.14 c #Conflicts: 571000 | #Constraints: 203757
1479.70/1483.14 c #Conflicts: 572000 | #Constraints: 204757
1479.70/1483.14 c #Conflicts: 573000 | #Constraints: 205757
1479.70/1483.14 c #Conflicts: 574000 | #Constraints: 206757
1479.70/1483.14 c #Conflicts: 575000 | #Constraints: 207757
1479.70/1483.14 c #Conflicts: 576000 | #Constraints: 208758
1479.70/1483.14 c INPROCESSING
1479.70/1483.14 c GARBAGE COLLECT
1479.70/1483.14 c rational objective 99
1501.85/1505.31 c #Conflicts: 577000 | #Constraints: 194780
1501.85/1505.31 c #Conflicts: 578000 | #Constraints: 195780
1501.85/1505.31 c #Conflicts: 579000 | #Constraints: 196780
1501.85/1505.31 c #Conflicts: 580000 | #Constraints: 197780
1501.85/1505.31 c #Conflicts: 581000 | #Constraints: 198780
1501.85/1505.31 c #Conflicts: 582000 | #Constraints: 199780
1501.85/1505.31 c #Conflicts: 583000 | #Constraints: 200780
1501.85/1505.31 c #Conflicts: 584000 | #Constraints: 201780
1501.85/1505.31 c #Conflicts: 585000 | #Constraints: 202780
1501.85/1505.31 c #Conflicts: 586000 | #Constraints: 203780
1501.85/1505.31 c #Conflicts: 587000 | #Constraints: 204780
1501.85/1505.31 c #Conflicts: 588000 | #Constraints: 205780
1501.85/1505.31 c #Conflicts: 589000 | #Constraints: 206780
1501.85/1505.31 c #Conflicts: 590000 | #Constraints: 207780
1501.85/1505.31 c #Conflicts: 591000 | #Constraints: 208780
1501.85/1505.31 c INPROCESSING
1501.85/1505.31 c GARBAGE COLLECT
1501.85/1505.31 c rational objective 99
1526.50/1530.02 c #Conflicts: 592000 | #Constraints: 194599
1526.50/1530.02 c #Conflicts: 593000 | #Constraints: 195599
1526.50/1530.02 c #Conflicts: 594000 | #Constraints: 196599
1526.50/1530.02 c #Conflicts: 595000 | #Constraints: 197599
1526.50/1530.02 c #Conflicts: 596000 | #Constraints: 198599
1526.50/1530.02 c #Conflicts: 597000 | #Constraints: 199599
1526.50/1530.02 c #Conflicts: 598000 | #Constraints: 200599
1526.50/1530.02 c #Conflicts: 599000 | #Constraints: 201599
1526.50/1530.02 c #Conflicts: 600000 | #Constraints: 202599
1526.50/1530.02 c #Conflicts: 601000 | #Constraints: 203599
1526.50/1530.02 c #Conflicts: 602000 | #Constraints: 204599
1526.50/1530.02 c #Conflicts: 603000 | #Constraints: 205599
1526.50/1530.02 c #Conflicts: 604000 | #Constraints: 206599
1526.50/1530.02 c #Conflicts: 605000 | #Constraints: 207599
1526.50/1530.02 c #Conflicts: 606000 | #Constraints: 208599
1526.50/1530.02 c #Conflicts: 607000 | #Constraints: 209599
1526.50/1530.02 c INPROCESSING
1526.50/1530.02 c GARBAGE COLLECT
1526.50/1530.02 c rational objective 99
1548.64/1552.29 c #Conflicts: 608000 | #Constraints: 195215
1548.64/1552.29 c #Conflicts: 609000 | #Constraints: 196215
1548.64/1552.29 c #Conflicts: 610000 | #Constraints: 197215
1548.64/1552.29 c #Conflicts: 611000 | #Constraints: 198215
1548.64/1552.29 c #Conflicts: 612000 | #Constraints: 199215
1548.64/1552.29 c #Conflicts: 613000 | #Constraints: 200215
1548.64/1552.29 c #Conflicts: 614000 | #Constraints: 201215
1548.64/1552.29 c #Conflicts: 615000 | #Constraints: 202215
1548.64/1552.29 c #Conflicts: 616000 | #Constraints: 203215
1548.64/1552.29 c #Conflicts: 617000 | #Constraints: 204215
1548.64/1552.29 c #Conflicts: 618000 | #Constraints: 205215
1548.64/1552.29 c #Conflicts: 619000 | #Constraints: 206215
1548.64/1552.29 c #Conflicts: 620000 | #Constraints: 207215
1548.64/1552.29 c #Conflicts: 621000 | #Constraints: 208215
1548.64/1552.29 c #Conflicts: 622000 | #Constraints: 209215
1548.64/1552.29 c #Conflicts: 623000 | #Constraints: 210215
1548.64/1552.29 c INPROCESSING
1548.64/1552.29 c GARBAGE COLLECT
1548.64/1552.29 c rational objective 99
1571.89/1575.56 c #Conflicts: 624000 | #Constraints: 195597
1571.89/1575.56 c #Conflicts: 625000 | #Constraints: 196597
1571.89/1575.56 c #Conflicts: 626000 | #Constraints: 197597
1571.89/1575.56 c #Conflicts: 627000 | #Constraints: 198597
1571.89/1575.56 c #Conflicts: 628000 | #Constraints: 199597
1571.89/1575.56 c #Conflicts: 629000 | #Constraints: 200597
1571.89/1575.56 c #Conflicts: 630000 | #Constraints: 201597
1571.89/1575.56 c #Conflicts: 631000 | #Constraints: 202597
1571.89/1575.56 c #Conflicts: 632000 | #Constraints: 203597
1571.89/1575.56 c #Conflicts: 633000 | #Constraints: 204597
1571.89/1575.56 c #Conflicts: 634000 | #Constraints: 205597
1571.89/1575.56 c #Conflicts: 635000 | #Constraints: 206597
1571.89/1575.56 c #Conflicts: 636000 | #Constraints: 207598
1571.89/1575.56 c #Conflicts: 637000 | #Constraints: 208598
1571.89/1575.56 c #Conflicts: 638000 | #Constraints: 209598
1571.89/1575.56 c #Conflicts: 639000 | #Constraints: 210598
1571.89/1575.56 c INPROCESSING
1571.89/1575.56 c GARBAGE COLLECT
1571.89/1575.56 c rational objective 99
1595.93/1599.60 c #Conflicts: 640000 | #Constraints: 195797
1595.93/1599.60 c #Conflicts: 641000 | #Constraints: 196797
1595.93/1599.60 c #Conflicts: 642000 | #Constraints: 197797
1595.93/1599.60 c #Conflicts: 643000 | #Constraints: 198797
1595.93/1599.60 c #Conflicts: 644000 | #Constraints: 199797
1595.93/1599.60 c #Conflicts: 645000 | #Constraints: 200797
1595.93/1599.60 c #Conflicts: 646000 | #Constraints: 201797
1595.93/1599.60 c #Conflicts: 647000 | #Constraints: 202797
1595.93/1599.60 c #Conflicts: 648000 | #Constraints: 203798
1595.93/1599.60 c #Conflicts: 649000 | #Constraints: 204798
1595.93/1599.60 c #Conflicts: 650000 | #Constraints: 205798
1595.93/1599.60 c #Conflicts: 651000 | #Constraints: 206798
1595.93/1599.60 c #Conflicts: 652000 | #Constraints: 207798
1595.93/1599.60 c #Conflicts: 653000 | #Constraints: 208798
1595.93/1599.60 c #Conflicts: 654000 | #Constraints: 209798
1595.93/1599.60 c #Conflicts: 655000 | #Constraints: 210798
1595.93/1599.60 c INPROCESSING
1595.93/1599.60 c GARBAGE COLLECT
1595.93/1599.60 c rational objective 99
1621.17/1624.91 c #Conflicts: 656000 | #Constraints: 195792
1621.17/1624.91 c #Conflicts: 657000 | #Constraints: 196792
1621.17/1624.91 c #Conflicts: 658000 | #Constraints: 197792
1621.17/1624.91 c #Conflicts: 659000 | #Constraints: 198792
1621.17/1624.91 c #Conflicts: 660000 | #Constraints: 199792
1621.17/1624.91 c #Conflicts: 661000 | #Constraints: 200792
1621.17/1624.91 c #Conflicts: 662000 | #Constraints: 201792
1621.17/1624.91 c #Conflicts: 663000 | #Constraints: 202792
1621.17/1624.91 c #Conflicts: 664000 | #Constraints: 203792
1621.17/1624.91 c #Conflicts: 665000 | #Constraints: 204792
1621.17/1624.91 c #Conflicts: 666000 | #Constraints: 205792
1621.17/1624.91 c #Conflicts: 667000 | #Constraints: 206792
1621.17/1624.91 c #Conflicts: 668000 | #Constraints: 207792
1621.17/1624.91 c #Conflicts: 669000 | #Constraints: 208792
1621.17/1624.91 c #Conflicts: 670000 | #Constraints: 209792
1621.17/1624.91 c #Conflicts: 671000 | #Constraints: 210792
1621.17/1624.91 c INPROCESSING
1621.17/1624.91 c GARBAGE COLLECT
1621.17/1624.91 c rational objective 99
1646.42/1650.23 c #Conflicts: 672000 | #Constraints: 195587
1646.42/1650.23 c #Conflicts: 673000 | #Constraints: 196587
1646.42/1650.23 c #Conflicts: 674000 | #Constraints: 197587
1646.42/1650.23 c #Conflicts: 675000 | #Constraints: 198587
1646.42/1650.23 c #Conflicts: 676000 | #Constraints: 199587
1646.42/1650.23 c #Conflicts: 677000 | #Constraints: 200587
1646.42/1650.23 c #Conflicts: 678000 | #Constraints: 201587
1646.42/1650.23 c #Conflicts: 679000 | #Constraints: 202587
1646.42/1650.23 c #Conflicts: 680000 | #Constraints: 203587
1646.42/1650.23 c #Conflicts: 681000 | #Constraints: 204587
1646.42/1650.23 c #Conflicts: 682000 | #Constraints: 205587
1646.42/1650.23 c #Conflicts: 683000 | #Constraints: 206587
1646.42/1650.23 c #Conflicts: 684000 | #Constraints: 207587
1646.42/1650.23 c #Conflicts: 685000 | #Constraints: 208587
1646.42/1650.23 c #Conflicts: 686000 | #Constraints: 209587
1646.42/1650.23 c #Conflicts: 687000 | #Constraints: 210587
1646.42/1650.23 c #Conflicts: 688000 | #Constraints: 211587
1646.42/1650.23 c INPROCESSING
1646.42/1650.23 c GARBAGE COLLECT
1646.42/1650.23 c rational objective 99
1668.77/1672.63 c #Conflicts: 689000 | #Constraints: 196201
1668.77/1672.63 c #Conflicts: 690000 | #Constraints: 197201
1668.77/1672.63 c #Conflicts: 691000 | #Constraints: 198201
1668.77/1672.63 c #Conflicts: 692000 | #Constraints: 199201
1668.77/1672.63 c #Conflicts: 693000 | #Constraints: 200201
1668.77/1672.63 c #Conflicts: 694000 | #Constraints: 201201
1668.77/1672.63 c #Conflicts: 695000 | #Constraints: 202201
1668.77/1672.63 c #Conflicts: 696000 | #Constraints: 203201
1668.77/1672.63 c #Conflicts: 697000 | #Constraints: 204201
1668.77/1672.63 c #Conflicts: 698000 | #Constraints: 205201
1668.77/1672.63 c #Conflicts: 699000 | #Constraints: 206201
1668.77/1672.63 c #Conflicts: 700000 | #Constraints: 207202
1668.77/1672.63 c #Conflicts: 701000 | #Constraints: 208202
1668.77/1672.63 c #Conflicts: 702000 | #Constraints: 209202
1668.77/1672.63 c #Conflicts: 703000 | #Constraints: 210202
1668.77/1672.63 c #Conflicts: 704000 | #Constraints: 211202
1668.77/1672.63 c #Conflicts: 705000 | #Constraints: 212202
1668.77/1672.63 c INPROCESSING
1668.77/1672.63 c GARBAGE COLLECT
1668.77/1672.63 c rational objective 99
1697.21/1701.19 c #Conflicts: 706000 | #Constraints: 196621
1697.21/1701.19 c #Conflicts: 707000 | #Constraints: 197621
1697.21/1701.19 c #Conflicts: 708000 | #Constraints: 198621
1697.21/1701.19 c #Conflicts: 709000 | #Constraints: 199621
1697.21/1701.19 c #Conflicts: 710000 | #Constraints: 200621
1697.21/1701.19 c #Conflicts: 711000 | #Constraints: 201621
1697.21/1701.19 c #Conflicts: 712000 | #Constraints: 202621
1697.21/1701.19 c #Conflicts: 713000 | #Constraints: 203621
1697.21/1701.19 c #Conflicts: 714000 | #Constraints: 204621
1697.21/1701.19 c #Conflicts: 715000 | #Constraints: 205621
1697.21/1701.19 c #Conflicts: 716000 | #Constraints: 206621
1697.21/1701.19 c #Conflicts: 717000 | #Constraints: 207621
1697.21/1701.19 c #Conflicts: 718000 | #Constraints: 208621
1697.21/1701.19 c #Conflicts: 719000 | #Constraints: 209621
1697.21/1701.19 c #Conflicts: 720000 | #Constraints: 210621
1697.21/1701.19 c #Conflicts: 721000 | #Constraints: 211621
1697.21/1701.19 c #Conflicts: 722000 | #Constraints: 212621
1697.21/1701.19 c INPROCESSING
1697.21/1701.19 c GARBAGE COLLECT
1697.21/1701.19 c rational objective 99
1722.15/1726.16 c #Conflicts: 723000 | #Constraints: 196815
1722.15/1726.16 c #Conflicts: 724000 | #Constraints: 197815
1722.15/1726.16 c #Conflicts: 725000 | #Constraints: 198815
1722.15/1726.16 c #Conflicts: 726000 | #Constraints: 199815
1722.15/1726.16 c #Conflicts: 727000 | #Constraints: 200815
1722.15/1726.16 c #Conflicts: 728000 | #Constraints: 201815
1722.15/1726.16 c #Conflicts: 729000 | #Constraints: 202815
1722.15/1726.16 c #Conflicts: 730000 | #Constraints: 203815
1722.15/1726.16 c #Conflicts: 731000 | #Constraints: 204815
1722.15/1726.16 c #Conflicts: 732000 | #Constraints: 205815
1722.15/1726.16 c #Conflicts: 733000 | #Constraints: 206815
1722.15/1726.16 c #Conflicts: 734000 | #Constraints: 207815
1722.15/1726.16 c #Conflicts: 735000 | #Constraints: 208815
1722.15/1726.16 c #Conflicts: 736000 | #Constraints: 209815
1722.15/1726.16 c #Conflicts: 737000 | #Constraints: 210815
1722.15/1726.16 c #Conflicts: 738000 | #Constraints: 211815
1722.15/1726.16 c #Conflicts: 739000 | #Constraints: 212815
1722.15/1726.16 c INPROCESSING
1722.15/1726.16 c GARBAGE COLLECT
1722.15/1726.16 c rational objective 99
1747.39/1751.43 c #Conflicts: 740000 | #Constraints: 196819
1747.39/1751.43 c #Conflicts: 741000 | #Constraints: 197819
1747.39/1751.43 c #Conflicts: 742000 | #Constraints: 198819
1747.39/1751.43 c #Conflicts: 743000 | #Constraints: 199819
1747.39/1751.43 c #Conflicts: 744000 | #Constraints: 200819
1747.39/1751.43 c #Conflicts: 745000 | #Constraints: 201819
1747.39/1751.43 c #Conflicts: 746000 | #Constraints: 202820
1747.39/1751.43 c #Conflicts: 747000 | #Constraints: 203820
1747.39/1751.43 c #Conflicts: 748000 | #Constraints: 204820
1747.39/1751.43 c #Conflicts: 749000 | #Constraints: 205820
1747.39/1751.43 c #Conflicts: 750000 | #Constraints: 206820
1747.39/1751.43 c #Conflicts: 751000 | #Constraints: 207820
1747.39/1751.43 c #Conflicts: 752000 | #Constraints: 208820
1747.39/1751.43 c #Conflicts: 753000 | #Constraints: 209820
1747.39/1751.43 c #Conflicts: 754000 | #Constraints: 210820
1747.39/1751.43 c #Conflicts: 755000 | #Constraints: 211820
1747.39/1751.43 c #Conflicts: 756000 | #Constraints: 212820
1747.39/1751.43 c INPROCESSING
1747.39/1751.43 c GARBAGE COLLECT
1747.39/1751.43 c rational objective 99
1773.83/1777.90 c #Conflicts: 757000 | #Constraints: 196619
1773.83/1777.90 c #Conflicts: 758000 | #Constraints: 197619
1773.83/1777.90 c #Conflicts: 759000 | #Constraints: 198619
1773.83/1777.90 c #Conflicts: 760000 | #Constraints: 199619
1773.83/1777.90 c #Conflicts: 761000 | #Constraints: 200619
1773.83/1777.90 c #Conflicts: 762000 | #Constraints: 201619
1773.83/1777.90 c #Conflicts: 763000 | #Constraints: 202619
1773.83/1777.90 c #Conflicts: 764000 | #Constraints: 203619
1773.83/1777.90 c #Conflicts: 765000 | #Constraints: 204619
1773.83/1777.90 c #Conflicts: 766000 | #Constraints: 205619
1773.83/1777.90 c #Conflicts: 767000 | #Constraints: 206619
1773.83/1777.90 c #Conflicts: 768000 | #Constraints: 207619
1773.83/1777.90 c #Conflicts: 769000 | #Constraints: 208619
1773.83/1777.90 c #Conflicts: 770000 | #Constraints: 209619
1773.83/1777.90 c #Conflicts: 771000 | #Constraints: 210619
1773.83/1777.90 c #Conflicts: 772000 | #Constraints: 211619
1773.83/1777.90 c #Conflicts: 773000 | #Constraints: 212619
1773.83/1777.90 c #Conflicts: 774000 | #Constraints: 213619
1773.83/1777.90 c INPROCESSING
1773.83/1777.90 c GARBAGE COLLECT
1773.83/1777.90 c rational objective 99
1798.88/1803.01 c #Conflicts: 775000 | #Constraints: 197212
1798.88/1803.01 c #Conflicts: 776000 | #Constraints: 198212
1798.88/1803.01 c #Conflicts: 777000 | #Constraints: 199212
1798.88/1803.01 c #Conflicts: 778000 | #Constraints: 200212
1798.88/1803.01 c #Conflicts: 779000 | #Constraints: 201212
1798.88/1803.01 c #Conflicts: 780000 | #Constraints: 202212
1798.88/1803.01 c #Conflicts: 781000 | #Constraints: 203212
1798.88/1803.01 c #Conflicts: 782000 | #Constraints: 204212
1798.88/1803.01 c #Conflicts: 783000 | #Constraints: 205212
1798.88/1803.01 c #Conflicts: 784000 | #Constraints: 206212
1798.88/1803.01 c #Conflicts: 785000 | #Constraints: 207212
1798.88/1803.01 c #Conflicts: 786000 | #Constraints: 208212
1798.88/1803.01 c #Conflicts: 787000 | #Constraints: 209213
1798.88/1803.01 c #Conflicts: 788000 | #Constraints: 210213
1798.88/1803.01 c #Conflicts: 789000 | #Constraints: 211213
1798.88/1803.01 c #Conflicts: 790000 | #Constraints: 212213
1798.88/1803.01 c #Conflicts: 791000 | #Constraints: 213213
1798.88/1803.01 c #Conflicts: 792000 | #Constraints: 214213
1798.88/1803.01 c INPROCESSING
1798.88/1803.01 c GARBAGE COLLECT
1798.88/1803.01 c rational objective 99
1825.61/1829.83 c #Conflicts: 793000 | #Constraints: 197625
1825.61/1829.83 c #Conflicts: 794000 | #Constraints: 198625
1825.61/1829.83 c #Conflicts: 795000 | #Constraints: 199625
1825.61/1829.83 c #Conflicts: 796000 | #Constraints: 200625
1825.61/1829.83 c #Conflicts: 797000 | #Constraints: 201625
1825.61/1829.83 c #Conflicts: 798000 | #Constraints: 202625
1825.61/1829.83 c #Conflicts: 799000 | #Constraints: 203625
1825.61/1829.83 c #Conflicts: 800000 | #Constraints: 204625
1825.61/1829.83 c #Conflicts: 801000 | #Constraints: 205625
1825.61/1829.83 c #Conflicts: 802000 | #Constraints: 206625
1825.61/1829.83 c #Conflicts: 803000 | #Constraints: 207625
1825.61/1829.83 c #Conflicts: 804000 | #Constraints: 208625
1825.61/1829.83 c #Conflicts: 805000 | #Constraints: 209625
1825.61/1829.83 c #Conflicts: 806000 | #Constraints: 210626
1825.61/1829.83 c #Conflicts: 807000 | #Constraints: 211626
1825.61/1829.83 c #Conflicts: 808000 | #Constraints: 212626
1825.61/1829.83 c #Conflicts: 809000 | #Constraints: 213626
1825.61/1829.83 c #Conflicts: 810000 | #Constraints: 214626
1825.61/1829.83 c INPROCESSING
1825.61/1829.83 c GARBAGE COLLECT
1825.61/1829.83 c rational objective 99
1851.15/1855.45 c #Conflicts: 811000 | #Constraints: 197811
1851.15/1855.45 c #Conflicts: 812000 | #Constraints: 198811
1851.15/1855.45 c #Conflicts: 813000 | #Constraints: 199811
1851.15/1855.45 c #Conflicts: 814000 | #Constraints: 200811
1851.15/1855.45 c #Conflicts: 815000 | #Constraints: 201811
1851.15/1855.45 c #Conflicts: 816000 | #Constraints: 202811
1851.15/1855.45 c #Conflicts: 817000 | #Constraints: 203811
1851.15/1855.45 c #Conflicts: 818000 | #Constraints: 204811
1851.15/1855.45 c #Conflicts: 819000 | #Constraints: 205811
1851.15/1855.45 c #Conflicts: 820000 | #Constraints: 206811
1851.15/1855.45 c #Conflicts: 821000 | #Constraints: 207811
1851.15/1855.45 c #Conflicts: 822000 | #Constraints: 208811
1851.15/1855.45 c #Conflicts: 823000 | #Constraints: 209811
1851.15/1855.45 c #Conflicts: 824000 | #Constraints: 210811
1851.15/1855.45 c #Conflicts: 825000 | #Constraints: 211811
1851.15/1855.45 c #Conflicts: 826000 | #Constraints: 212812
1851.15/1855.45 c #Conflicts: 827000 | #Constraints: 213812
1851.15/1855.45 c #Conflicts: 828000 | #Constraints: 214812
1851.15/1855.45 c INPROCESSING
1851.15/1855.45 c GARBAGE COLLECT
1851.15/1855.45 c rational objective 99
2052.71/2057.44 c #Conflicts: 829000 | #Constraints: 197823
2052.71/2057.44 c #Conflicts: 830000 | #Constraints: 198823
2052.71/2057.44 c #Conflicts: 831000 | #Constraints: 199823
2052.71/2057.44 c #Conflicts: 832000 | #Constraints: 200823
2052.71/2057.44 c #Conflicts: 833000 | #Constraints: 201823
2052.71/2057.44 c #Conflicts: 834000 | #Constraints: 202823
2052.71/2057.44 c #Conflicts: 835000 | #Constraints: 203823
2052.71/2057.44 c #Conflicts: 836000 | #Constraints: 204823
2052.71/2057.44 c #Conflicts: 837000 | #Constraints: 205823
2052.71/2057.44 c #Conflicts: 838000 | #Constraints: 206823
2052.71/2057.44 c #Conflicts: 839000 | #Constraints: 207823
2052.71/2057.44 c #Conflicts: 840000 | #Constraints: 208823
2052.71/2057.44 c #Conflicts: 841000 | #Constraints: 209823
2052.71/2057.44 c #Conflicts: 842000 | #Constraints: 210823
2052.71/2057.44 c #Conflicts: 843000 | #Constraints: 211823
2052.71/2057.44 c #Conflicts: 844000 | #Constraints: 212823
2052.71/2057.44 c #Conflicts: 845000 | #Constraints: 213823
2052.71/2057.44 c #Conflicts: 846000 | #Constraints: 214824
2052.71/2057.44 c INPROCESSING
2052.71/2057.44 c GARBAGE COLLECT
2052.71/2057.44 c rational objective 99
2080.65/2085.42 c #Conflicts: 847000 | #Constraints: 197603
2080.65/2085.42 c #Conflicts: 848000 | #Constraints: 198603
2080.65/2085.42 c #Conflicts: 849000 | #Constraints: 199603
2080.65/2085.42 c #Conflicts: 850000 | #Constraints: 200603
2080.65/2085.42 c #Conflicts: 851000 | #Constraints: 201603
2080.65/2085.42 c #Conflicts: 852000 | #Constraints: 202603
2080.65/2085.42 c #Conflicts: 853000 | #Constraints: 203603
2080.65/2085.42 c #Conflicts: 854000 | #Constraints: 204603
2080.65/2085.42 c #Conflicts: 855000 | #Constraints: 205603
2080.65/2085.42 c #Conflicts: 856000 | #Constraints: 206603
2080.65/2085.42 c #Conflicts: 857000 | #Constraints: 207603
2080.65/2085.42 c #Conflicts: 858000 | #Constraints: 208603
2080.65/2085.42 c #Conflicts: 859000 | #Constraints: 209603
2080.65/2085.42 c #Conflicts: 860000 | #Constraints: 210603
2080.65/2085.42 c #Conflicts: 861000 | #Constraints: 211603
2080.65/2085.42 c #Conflicts: 862000 | #Constraints: 212603
2080.65/2085.42 c #Conflicts: 863000 | #Constraints: 213603
2080.65/2085.42 c #Conflicts: 864000 | #Constraints: 214603
2080.65/2085.42 c #Conflicts: 865000 | #Constraints: 215603
2080.65/2085.42 c INPROCESSING
2080.65/2085.42 c GARBAGE COLLECT
2080.65/2085.42 c rational objective 99
2110.28/2115.14 c #Conflicts: 866000 | #Constraints: 198207
2110.28/2115.14 c #Conflicts: 867000 | #Constraints: 199207
2110.28/2115.14 c #Conflicts: 868000 | #Constraints: 200207
2110.28/2115.14 c #Conflicts: 869000 | #Constraints: 201207
2110.28/2115.14 c #Conflicts: 870000 | #Constraints: 202207
2110.28/2115.14 c #Conflicts: 871000 | #Constraints: 203207
2110.28/2115.14 c #Conflicts: 872000 | #Constraints: 204207
2110.28/2115.14 c #Conflicts: 873000 | #Constraints: 205207
2110.28/2115.14 c #Conflicts: 874000 | #Constraints: 206207
2110.28/2115.14 c #Conflicts: 875000 | #Constraints: 207207
2110.28/2115.14 c #Conflicts: 876000 | #Constraints: 208207
2110.28/2115.14 c #Conflicts: 877000 | #Constraints: 209207
2110.28/2115.14 c #Conflicts: 878000 | #Constraints: 210207
2110.28/2115.14 c #Conflicts: 879000 | #Constraints: 211207
2110.28/2115.14 c #Conflicts: 880000 | #Constraints: 212208
2110.28/2115.14 c #Conflicts: 881000 | #Constraints: 213208
2110.28/2115.14 c #Conflicts: 882000 | #Constraints: 214208
2110.28/2115.14 c #Conflicts: 883000 | #Constraints: 215208
2110.28/2115.14 c #Conflicts: 884000 | #Constraints: 216208
2110.28/2115.14 c INPROCESSING
2110.28/2115.14 c GARBAGE COLLECT
2110.28/2115.14 c rational objective 99
2138.01/2143.00 c #Conflicts: 885000 | #Constraints: 198614
2138.01/2143.00 c #Conflicts: 886000 | #Constraints: 199614
2138.01/2143.00 c #Conflicts: 887000 | #Constraints: 200614
2138.01/2143.00 c #Conflicts: 888000 | #Constraints: 201614
2138.01/2143.00 c #Conflicts: 889000 | #Constraints: 202614
2138.01/2143.00 c #Conflicts: 890000 | #Constraints: 203614
2138.01/2143.00 c #Conflicts: 891000 | #Constraints: 204614
2138.01/2143.00 c #Conflicts: 892000 | #Constraints: 205614
2138.01/2143.00 c #Conflicts: 893000 | #Constraints: 206614
2138.01/2143.00 c #Conflicts: 894000 | #Constraints: 207614
2138.01/2143.00 c #Conflicts: 895000 | #Constraints: 208614
2138.01/2143.00 c #Conflicts: 896000 | #Constraints: 209614
2138.01/2143.00 c #Conflicts: 897000 | #Constraints: 210614
2138.01/2143.00 c #Conflicts: 898000 | #Constraints: 211614
2138.01/2143.00 c #Conflicts: 899000 | #Constraints: 212614
2138.01/2143.00 c #Conflicts: 900000 | #Constraints: 213614
2138.01/2143.00 c #Conflicts: 901000 | #Constraints: 214614
2138.01/2143.00 c #Conflicts: 902000 | #Constraints: 215614
2138.01/2143.00 c #Conflicts: 903000 | #Constraints: 216614
2138.01/2143.00 c INPROCESSING
2138.01/2143.00 c GARBAGE COLLECT
2138.01/2143.00 c rational objective 99
2167.45/2172.46 c #Conflicts: 904000 | #Constraints: 198838
2167.45/2172.46 c #Conflicts: 905000 | #Constraints: 199838
2167.45/2172.46 c #Conflicts: 906000 | #Constraints: 200838
2167.45/2172.46 c #Conflicts: 907000 | #Constraints: 201838
2167.45/2172.46 c #Conflicts: 908000 | #Constraints: 202838
2167.45/2172.46 c #Conflicts: 909000 | #Constraints: 203838
2167.45/2172.46 c #Conflicts: 910000 | #Constraints: 204838
2167.45/2172.46 c #Conflicts: 911000 | #Constraints: 205838
2167.45/2172.46 c #Conflicts: 912000 | #Constraints: 206838
2167.45/2172.46 c #Conflicts: 913000 | #Constraints: 207838
2167.45/2172.46 c #Conflicts: 914000 | #Constraints: 208838
2167.45/2172.46 c #Conflicts: 915000 | #Constraints: 209838
2167.45/2172.46 c #Conflicts: 916000 | #Constraints: 210838
2167.45/2172.46 c #Conflicts: 917000 | #Constraints: 211838
2167.45/2172.46 c #Conflicts: 918000 | #Constraints: 212838
2167.45/2172.46 c #Conflicts: 919000 | #Constraints: 213838
2167.45/2172.46 c #Conflicts: 920000 | #Constraints: 214838
2167.45/2172.46 c #Conflicts: 921000 | #Constraints: 215838
2167.45/2172.46 c #Conflicts: 922000 | #Constraints: 216838
2167.45/2172.46 c INPROCESSING
2167.45/2172.46 c GARBAGE COLLECT
2167.45/2172.46 c rational objective 99
2199.98/2205.02 c #Conflicts: 923000 | #Constraints: 198830
2199.98/2205.02 c #Conflicts: 924000 | #Constraints: 199830
2199.98/2205.02 c #Conflicts: 925000 | #Constraints: 200830
2199.98/2205.02 c #Conflicts: 926000 | #Constraints: 201830
2199.98/2205.02 c #Conflicts: 927000 | #Constraints: 202830
2199.98/2205.02 c #Conflicts: 928000 | #Constraints: 203830
2199.98/2205.02 c #Conflicts: 929000 | #Constraints: 204830
2199.98/2205.02 c #Conflicts: 930000 | #Constraints: 205830
2199.98/2205.02 c #Conflicts: 931000 | #Constraints: 206830
2199.98/2205.02 c #Conflicts: 932000 | #Constraints: 207830
2199.98/2205.02 c #Conflicts: 933000 | #Constraints: 208830
2199.98/2205.02 c #Conflicts: 934000 | #Constraints: 209830
2199.98/2205.02 c #Conflicts: 935000 | #Constraints: 210830
2199.98/2205.02 c #Conflicts: 936000 | #Constraints: 211830
2199.98/2205.02 c #Conflicts: 937000 | #Constraints: 212830
2199.98/2205.02 c #Conflicts: 938000 | #Constraints: 213830
2199.98/2205.02 c #Conflicts: 939000 | #Constraints: 214830
2199.98/2205.02 c #Conflicts: 940000 | #Constraints: 215830
2199.98/2205.02 c #Conflicts: 941000 | #Constraints: 216830
2199.98/2205.02 c INPROCESSING
2199.98/2205.02 c GARBAGE COLLECT
2199.98/2205.02 c rational objective 99
2229.51/2234.64 c #Conflicts: 942000 | #Constraints: 198621
2229.51/2234.64 c #Conflicts: 943000 | #Constraints: 199621
2229.51/2234.64 c #Conflicts: 944000 | #Constraints: 200621
2229.51/2234.64 c #Conflicts: 945000 | #Constraints: 201621
2229.51/2234.64 c #Conflicts: 946000 | #Constraints: 202621
2229.51/2234.64 c #Conflicts: 947000 | #Constraints: 203621
2229.51/2234.64 c #Conflicts: 948000 | #Constraints: 204621
2229.51/2234.64 c #Conflicts: 949000 | #Constraints: 205622
2229.51/2234.64 c #Conflicts: 950000 | #Constraints: 206622
2229.51/2234.64 c #Conflicts: 951000 | #Constraints: 207622
2229.51/2234.64 c #Conflicts: 952000 | #Constraints: 208622
2229.51/2234.64 c #Conflicts: 953000 | #Constraints: 209622
2229.51/2234.64 c #Conflicts: 954000 | #Constraints: 210622
2229.51/2234.64 c #Conflicts: 955000 | #Constraints: 211622
2229.51/2234.64 c #Conflicts: 956000 | #Constraints: 212622
2229.51/2234.64 c #Conflicts: 957000 | #Constraints: 213622
2229.51/2234.64 c #Conflicts: 958000 | #Constraints: 214622
2229.51/2234.64 c #Conflicts: 959000 | #Constraints: 215622
2229.51/2234.64 c #Conflicts: 960000 | #Constraints: 216622
2229.51/2234.64 c #Conflicts: 961000 | #Constraints: 217622
2229.51/2234.64 c INPROCESSING
2229.51/2234.64 c GARBAGE COLLECT
2229.51/2234.64 c rational objective 99
2260.33/2265.58 c #Conflicts: 962000 | #Constraints: 199249
2260.33/2265.58 c #Conflicts: 963000 | #Constraints: 200249
2260.33/2265.58 c #Conflicts: 964000 | #Constraints: 201249
2260.33/2265.58 c #Conflicts: 965000 | #Constraints: 202249
2260.33/2265.58 c #Conflicts: 966000 | #Constraints: 203249
2260.33/2265.58 c #Conflicts: 967000 | #Constraints: 204249
2260.33/2265.58 c #Conflicts: 968000 | #Constraints: 205249
2260.33/2265.58 c #Conflicts: 969000 | #Constraints: 206249
2260.33/2265.58 c #Conflicts: 970000 | #Constraints: 207249
2260.33/2265.58 c #Conflicts: 971000 | #Constraints: 208249
2260.33/2265.58 c #Conflicts: 972000 | #Constraints: 209249
2260.33/2265.58 c #Conflicts: 973000 | #Constraints: 210249
2260.33/2265.58 c #Conflicts: 974000 | #Constraints: 211249
2260.33/2265.58 c #Conflicts: 975000 | #Constraints: 212249
2260.33/2265.58 c #Conflicts: 976000 | #Constraints: 213249
2260.33/2265.58 c #Conflicts: 977000 | #Constraints: 214249
2260.33/2265.58 c #Conflicts: 978000 | #Constraints: 215249
2260.33/2265.58 c #Conflicts: 979000 | #Constraints: 216249
2260.33/2265.58 c #Conflicts: 980000 | #Constraints: 217249
2260.33/2265.58 c #Conflicts: 981000 | #Constraints: 218249
2260.33/2265.58 c INPROCESSING
2260.33/2265.58 c GARBAGE COLLECT
2260.33/2265.58 c rational objective 99
2290.07/2295.34 c #Conflicts: 982000 | #Constraints: 199643
2290.07/2295.34 c #Conflicts: 983000 | #Constraints: 200643
2290.07/2295.34 c #Conflicts: 984000 | #Constraints: 201643
2290.07/2295.34 c #Conflicts: 985000 | #Constraints: 202643
2290.07/2295.34 c #Conflicts: 986000 | #Constraints: 203643
2290.07/2295.34 c #Conflicts: 987000 | #Constraints: 204643
2290.07/2295.34 c #Conflicts: 988000 | #Constraints: 205643
2290.07/2295.34 c #Conflicts: 989000 | #Constraints: 206643
2290.07/2295.34 c #Conflicts: 990000 | #Constraints: 207643
2290.07/2295.34 c #Conflicts: 991000 | #Constraints: 208643
2290.07/2295.34 c #Conflicts: 992000 | #Constraints: 209643
2290.07/2295.34 c #Conflicts: 993000 | #Constraints: 210643
2290.07/2295.34 c #Conflicts: 994000 | #Constraints: 211643
2290.07/2295.34 c #Conflicts: 995000 | #Constraints: 212643
2290.07/2295.34 c #Conflicts: 996000 | #Constraints: 213643
2290.07/2295.34 c #Conflicts: 997000 | #Constraints: 214643
2290.07/2295.34 c #Conflicts: 998000 | #Constraints: 215643
2290.07/2295.34 c #Conflicts: 999000 | #Constraints: 216643
2290.07/2295.34 c #Conflicts: 1000000 | #Constraints: 217643
2290.07/2295.34 c #Conflicts: 1001000 | #Constraints: 218643
2290.07/2295.34 c INPROCESSING
2290.07/2295.34 c GARBAGE COLLECT
2290.07/2295.34 c rational objective 99
2322.19/2327.51 c #Conflicts: 1002000 | #Constraints: 199820
2322.19/2327.51 c #Conflicts: 1003000 | #Constraints: 200820
2322.19/2327.51 c #Conflicts: 1004000 | #Constraints: 201820
2322.19/2327.51 c #Conflicts: 1005000 | #Constraints: 202820
2322.19/2327.51 c #Conflicts: 1006000 | #Constraints: 203820
2322.19/2327.51 c #Conflicts: 1007000 | #Constraints: 204820
2322.19/2327.51 c #Conflicts: 1008000 | #Constraints: 205820
2322.19/2327.51 c #Conflicts: 1009000 | #Constraints: 206820
2322.19/2327.51 c #Conflicts: 1010000 | #Constraints: 207820
2322.19/2327.51 c #Conflicts: 1011000 | #Constraints: 208820
2322.19/2327.51 c #Conflicts: 1012000 | #Constraints: 209820
2322.19/2327.51 c #Conflicts: 1013000 | #Constraints: 210820
2322.19/2327.51 c #Conflicts: 1014000 | #Constraints: 211820
2322.19/2327.51 c #Conflicts: 1015000 | #Constraints: 212820
2322.19/2327.51 c #Conflicts: 1016000 | #Constraints: 213820
2322.19/2327.51 c #Conflicts: 1017000 | #Constraints: 214820
2322.19/2327.51 c #Conflicts: 1018000 | #Constraints: 215820
2322.19/2327.51 c #Conflicts: 1019000 | #Constraints: 216820
2322.19/2327.51 c #Conflicts: 1020000 | #Constraints: 217820
2322.19/2327.51 c #Conflicts: 1021000 | #Constraints: 218820
2322.19/2327.51 c INPROCESSING
2322.19/2327.51 c GARBAGE COLLECT
2322.19/2327.51 c rational objective 99
2353.32/2358.78 c #Conflicts: 1022000 | #Constraints: 199822
2353.32/2358.78 c #Conflicts: 1023000 | #Constraints: 200822
2353.32/2358.78 c #Conflicts: 1024000 | #Constraints: 201822
2353.32/2358.78 c #Conflicts: 1025000 | #Constraints: 202822
2353.32/2358.78 c #Conflicts: 1026000 | #Constraints: 203822
2353.32/2358.78 c #Conflicts: 1027000 | #Constraints: 204822
2353.32/2358.78 c #Conflicts: 1028000 | #Constraints: 205822
2353.32/2358.78 c #Conflicts: 1029000 | #Constraints: 206822
2353.32/2358.78 c #Conflicts: 1030000 | #Constraints: 207822
2353.32/2358.78 c #Conflicts: 1031000 | #Constraints: 208822
2353.32/2358.78 c #Conflicts: 1032000 | #Constraints: 209822
2353.32/2358.78 c #Conflicts: 1033000 | #Constraints: 210822
2353.32/2358.78 c #Conflicts: 1034000 | #Constraints: 211822
2353.32/2358.78 c #Conflicts: 1035000 | #Constraints: 212822
2353.32/2358.78 c #Conflicts: 1036000 | #Constraints: 213822
2353.32/2358.78 c #Conflicts: 1037000 | #Constraints: 214822
2353.32/2358.78 c #Conflicts: 1038000 | #Constraints: 215822
2353.32/2358.78 c #Conflicts: 1039000 | #Constraints: 216822
2353.32/2358.78 c #Conflicts: 1040000 | #Constraints: 217822
2353.32/2358.78 c #Conflicts: 1041000 | #Constraints: 218822
2353.32/2358.78 c INPROCESSING
2353.32/2358.78 c GARBAGE COLLECT
2353.32/2358.78 c rational objective 99
2389.75/2395.29 c #Conflicts: 1042000 | #Constraints: 199612
2389.75/2395.29 c #Conflicts: 1043000 | #Constraints: 200612
2389.75/2395.29 c #Conflicts: 1044000 | #Constraints: 201612
2389.75/2395.29 c #Conflicts: 1045000 | #Constraints: 202612
2389.75/2395.29 c #Conflicts: 1046000 | #Constraints: 203612
2389.75/2395.29 c #Conflicts: 1047000 | #Constraints: 204612
2389.75/2395.29 c #Conflicts: 1048000 | #Constraints: 205612
2389.75/2395.29 c #Conflicts: 1049000 | #Constraints: 206612
2389.75/2395.29 c #Conflicts: 1050000 | #Constraints: 207612
2389.75/2395.29 c #Conflicts: 1051000 | #Constraints: 208612
2389.75/2395.29 c #Conflicts: 1052000 | #Constraints: 209612
2389.75/2395.29 c #Conflicts: 1053000 | #Constraints: 210612
2389.75/2395.29 c #Conflicts: 1054000 | #Constraints: 211612
2389.75/2395.29 c #Conflicts: 1055000 | #Constraints: 212612
2389.75/2395.29 c #Conflicts: 1056000 | #Constraints: 213612
2389.75/2395.29 c #Conflicts: 1057000 | #Constraints: 214612
2389.75/2395.29 c #Conflicts: 1058000 | #Constraints: 215612
2389.75/2395.29 c #Conflicts: 1059000 | #Constraints: 216612
2389.75/2395.29 c #Conflicts: 1060000 | #Constraints: 217612
2389.75/2395.29 c #Conflicts: 1061000 | #Constraints: 218612
2389.75/2395.29 c #Conflicts: 1062000 | #Constraints: 219612
2389.75/2395.29 c INPROCESSING
2389.75/2395.29 c GARBAGE COLLECT
2389.75/2395.29 c rational objective 99
2437.24/2442.86 c #Conflicts: 1063000 | #Constraints: 200234
2437.24/2442.86 c #Conflicts: 1064000 | #Constraints: 201234
2437.24/2442.86 c #Conflicts: 1065000 | #Constraints: 202234
2437.24/2442.86 c #Conflicts: 1066000 | #Constraints: 203234
2437.24/2442.86 c #Conflicts: 1067000 | #Constraints: 204234
2437.24/2442.86 c #Conflicts: 1068000 | #Constraints: 205234
2437.24/2442.86 c #Conflicts: 1069000 | #Constraints: 206234
2437.24/2442.86 c #Conflicts: 1070000 | #Constraints: 207234
2437.24/2442.86 c #Conflicts: 1071000 | #Constraints: 208234
2437.24/2442.86 c #Conflicts: 1072000 | #Constraints: 209234
2437.24/2442.86 c #Conflicts: 1073000 | #Constraints: 210234
2437.24/2442.86 c #Conflicts: 1074000 | #Constraints: 211234
2437.24/2442.86 c #Conflicts: 1075000 | #Constraints: 212234
2437.24/2442.86 c #Conflicts: 1076000 | #Constraints: 213234
2437.24/2442.86 c #Conflicts: 1077000 | #Constraints: 214234
2437.24/2442.86 c #Conflicts: 1078000 | #Constraints: 215234
2437.24/2442.86 c #Conflicts: 1079000 | #Constraints: 216234
2437.24/2442.86 c #Conflicts: 1080000 | #Constraints: 217234
2437.24/2442.86 c #Conflicts: 1081000 | #Constraints: 218234
2437.24/2442.86 c #Conflicts: 1082000 | #Constraints: 219234
2437.24/2442.86 c #Conflicts: 1083000 | #Constraints: 220234
2437.24/2442.86 c INPROCESSING
2437.24/2442.86 c GARBAGE COLLECT
2437.24/2442.86 c rational objective 99
2475.56/2481.28 c #Conflicts: 1084000 | #Constraints: 200637
2475.56/2481.28 c #Conflicts: 1085000 | #Constraints: 201637
2475.56/2481.28 c #Conflicts: 1086000 | #Constraints: 202637
2475.56/2481.28 c #Conflicts: 1087000 | #Constraints: 203637
2475.56/2481.28 c #Conflicts: 1088000 | #Constraints: 204637
2475.56/2481.28 c #Conflicts: 1089000 | #Constraints: 205637
2475.56/2481.28 c #Conflicts: 1090000 | #Constraints: 206637
2475.56/2481.28 c #Conflicts: 1091000 | #Constraints: 207637
2475.56/2481.28 c #Conflicts: 1092000 | #Constraints: 208637
2475.56/2481.28 c #Conflicts: 1093000 | #Constraints: 209637
2475.56/2481.28 c #Conflicts: 1094000 | #Constraints: 210637
2475.56/2481.28 c #Conflicts: 1095000 | #Constraints: 211637
2475.56/2481.28 c #Conflicts: 1096000 | #Constraints: 212637
2475.56/2481.28 c #Conflicts: 1097000 | #Constraints: 213637
2475.56/2481.28 c #Conflicts: 1098000 | #Constraints: 214637
2475.56/2481.28 c #Conflicts: 1099000 | #Constraints: 215637
2475.56/2481.28 c #Conflicts: 1100000 | #Constraints: 216637
2475.56/2481.28 c #Conflicts: 1101000 | #Constraints: 217637
2475.56/2481.28 c #Conflicts: 1102000 | #Constraints: 218637
2475.56/2481.28 c #Conflicts: 1103000 | #Constraints: 219637
2475.56/2481.28 c #Conflicts: 1104000 | #Constraints: 220637
2475.56/2481.28 c INPROCESSING
2475.56/2481.28 c GARBAGE COLLECT
2475.56/2481.28 c rational objective 99
2519.76/2525.57 c #Conflicts: 1105000 | #Constraints: 200860
2519.76/2525.57 c #Conflicts: 1106000 | #Constraints: 201860
2519.76/2525.57 c #Conflicts: 1107000 | #Constraints: 202860
2519.76/2525.57 c #Conflicts: 1108000 | #Constraints: 203860
2519.76/2525.57 c #Conflicts: 1109000 | #Constraints: 204860
2519.76/2525.57 c #Conflicts: 1110000 | #Constraints: 205860
2519.76/2525.57 c #Conflicts: 1111000 | #Constraints: 206860
2519.76/2525.57 c #Conflicts: 1112000 | #Constraints: 207860
2519.76/2525.57 c #Conflicts: 1113000 | #Constraints: 208860
2519.76/2525.57 c #Conflicts: 1114000 | #Constraints: 209860
2519.76/2525.57 c #Conflicts: 1115000 | #Constraints: 210860
2519.76/2525.57 c #Conflicts: 1116000 | #Constraints: 211860
2519.76/2525.57 c #Conflicts: 1117000 | #Constraints: 212860
2519.76/2525.57 c #Conflicts: 1118000 | #Constraints: 213860
2519.76/2525.57 c #Conflicts: 1119000 | #Constraints: 214860
2519.76/2525.57 c #Conflicts: 1120000 | #Constraints: 215860
2519.76/2525.57 c #Conflicts: 1121000 | #Constraints: 216860
2519.76/2525.57 c #Conflicts: 1122000 | #Constraints: 217860
2519.76/2525.57 c #Conflicts: 1123000 | #Constraints: 218860
2519.76/2525.57 c #Conflicts: 1124000 | #Constraints: 219860
2519.76/2525.57 c #Conflicts: 1125000 | #Constraints: 220860
2519.76/2525.57 c INPROCESSING
2519.76/2525.57 c GARBAGE COLLECT
2519.76/2525.57 c rational objective 99
2542.00/2547.84 c #Conflicts: 1126000 | #Constraints: 200837
2542.00/2547.84 c #Conflicts: 1127000 | #Constraints: 201837
2542.00/2547.84 c #Conflicts: 1128000 | #Constraints: 202837
2542.00/2547.84 c #Conflicts: 1129000 | #Constraints: 203837
2542.00/2547.84 c #Conflicts: 1130000 | #Constraints: 204837
2542.00/2547.84 c #Conflicts: 1131000 | #Constraints: 205837
2542.00/2547.84 c #Conflicts: 1132000 | #Constraints: 206837
2542.00/2547.84 c #Conflicts: 1133000 | #Constraints: 207837
2542.00/2547.84 c #Conflicts: 1134000 | #Constraints: 208837
2542.00/2547.84 c #Conflicts: 1135000 | #Constraints: 209837
2542.00/2547.84 c #Conflicts: 1136000 | #Constraints: 210837
2542.00/2547.84 c #Conflicts: 1137000 | #Constraints: 211837
2542.00/2547.84 c #Conflicts: 1138000 | #Constraints: 212837
2542.00/2547.84 c #Conflicts: 1139000 | #Constraints: 213837
2542.00/2547.84 c #Conflicts: 1140000 | #Constraints: 214837
2542.00/2547.84 c #Conflicts: 1141000 | #Constraints: 215837
2542.00/2547.84 c #Conflicts: 1142000 | #Constraints: 216837
2542.00/2547.84 c #Conflicts: 1143000 | #Constraints: 217837
2542.00/2547.84 c #Conflicts: 1144000 | #Constraints: 218837
2542.00/2547.84 c #Conflicts: 1145000 | #Constraints: 219837
2542.00/2547.84 c #Conflicts: 1146000 | #Constraints: 220837
2542.00/2547.84 c INPROCESSING
2542.00/2547.84 c GARBAGE COLLECT
2542.00/2547.84 c rational objective 99
2596.48/2602.49 c #Conflicts: 1147000 | #Constraints: 200634
2596.48/2602.49 c #Conflicts: 1148000 | #Constraints: 201634
2596.48/2602.49 c #Conflicts: 1149000 | #Constraints: 202634
2596.48/2602.49 c #Conflicts: 1150000 | #Constraints: 203634
2596.48/2602.49 c #Conflicts: 1151000 | #Constraints: 204634
2596.48/2602.49 c #Conflicts: 1152000 | #Constraints: 205634
2596.48/2602.49 c #Conflicts: 1153000 | #Constraints: 206634
2596.48/2602.49 c #Conflicts: 1154000 | #Constraints: 207634
2596.48/2602.49 c #Conflicts: 1155000 | #Constraints: 208634
2596.48/2602.49 c #Conflicts: 1156000 | #Constraints: 209634
2596.48/2602.49 c #Conflicts: 1157000 | #Constraints: 210634
2596.48/2602.49 c #Conflicts: 1158000 | #Constraints: 211634
2596.48/2602.49 c #Conflicts: 1159000 | #Constraints: 212634
2596.48/2602.49 c #Conflicts: 1160000 | #Constraints: 213634
2596.48/2602.49 c #Conflicts: 1161000 | #Constraints: 214634
2596.48/2602.49 c #Conflicts: 1162000 | #Constraints: 215634
2596.48/2602.49 c #Conflicts: 1163000 | #Constraints: 216634
2596.48/2602.49 c #Conflicts: 1164000 | #Constraints: 217634
2596.48/2602.49 c #Conflicts: 1165000 | #Constraints: 218634
2596.48/2602.49 c #Conflicts: 1166000 | #Constraints: 219634
2596.48/2602.49 c #Conflicts: 1167000 | #Constraints: 220634
2596.48/2602.49 c #Conflicts: 1168000 | #Constraints: 221634
2596.48/2602.49 c INPROCESSING
2596.48/2602.49 c GARBAGE COLLECT
2596.48/2602.49 c rational objective 99
2629.91/2635.97 c #Conflicts: 1169000 | #Constraints: 201238
2629.91/2635.97 c #Conflicts: 1170000 | #Constraints: 202238
2629.91/2635.97 c #Conflicts: 1171000 | #Constraints: 203238
2629.91/2635.97 c #Conflicts: 1172000 | #Constraints: 204238
2629.91/2635.97 c #Conflicts: 1173000 | #Constraints: 205238
2629.91/2635.97 c #Conflicts: 1174000 | #Constraints: 206238
2629.91/2635.97 c #Conflicts: 1175000 | #Constraints: 207238
2629.91/2635.97 c #Conflicts: 1176000 | #Constraints: 208238
2629.91/2635.97 c #Conflicts: 1177000 | #Constraints: 209238
2629.91/2635.97 c #Conflicts: 1178000 | #Constraints: 210238
2629.91/2635.97 c #Conflicts: 1179000 | #Constraints: 211238
2629.91/2635.97 c #Conflicts: 1180000 | #Constraints: 212238
2629.91/2635.97 c #Conflicts: 1181000 | #Constraints: 213238
2629.91/2635.97 c #Conflicts: 1182000 | #Constraints: 214238
2629.91/2635.97 c #Conflicts: 1183000 | #Constraints: 215238
2629.91/2635.97 c #Conflicts: 1184000 | #Constraints: 216238
2629.91/2635.97 c #Conflicts: 1185000 | #Constraints: 217238
2629.91/2635.97 c #Conflicts: 1186000 | #Constraints: 218238
2629.91/2635.97 c #Conflicts: 1187000 | #Constraints: 219238
2629.91/2635.97 c #Conflicts: 1188000 | #Constraints: 220238
2629.91/2635.97 c #Conflicts: 1189000 | #Constraints: 221238
2629.91/2635.97 c #Conflicts: 1190000 | #Constraints: 222238
2629.91/2635.97 c INPROCESSING
2629.91/2635.97 c GARBAGE COLLECT
2629.91/2635.97 c rational objective 99
2678.60/2684.71 c #Conflicts: 1191000 | #Constraints: 201626
2678.60/2684.71 c #Conflicts: 1192000 | #Constraints: 202626
2678.60/2684.71 c #Conflicts: 1193000 | #Constraints: 203626
2678.60/2684.71 c #Conflicts: 1194000 | #Constraints: 204626
2678.60/2684.71 c #Conflicts: 1195000 | #Constraints: 205626
2678.60/2684.71 c #Conflicts: 1196000 | #Constraints: 206626
2678.60/2684.71 c #Conflicts: 1197000 | #Constraints: 207626
2678.60/2684.71 c #Conflicts: 1198000 | #Constraints: 208626
2678.60/2684.71 c #Conflicts: 1199000 | #Constraints: 209626
2678.60/2684.71 c #Conflicts: 1200000 | #Constraints: 210626
2678.60/2684.71 c #Conflicts: 1201000 | #Constraints: 211626
2678.60/2684.71 c #Conflicts: 1202000 | #Constraints: 212626
2678.60/2684.71 c #Conflicts: 1203000 | #Constraints: 213626
2678.60/2684.71 c #Conflicts: 1204000 | #Constraints: 214626
2678.60/2684.71 c #Conflicts: 1205000 | #Constraints: 215626
2678.60/2684.71 c #Conflicts: 1206000 | #Constraints: 216626
2678.60/2684.71 c #Conflicts: 1207000 | #Constraints: 217626
2678.60/2684.71 c #Conflicts: 1208000 | #Constraints: 218626
2678.60/2684.71 c #Conflicts: 1209000 | #Constraints: 219626
2678.60/2684.71 c #Conflicts: 1210000 | #Constraints: 220626
2678.60/2684.71 c #Conflicts: 1211000 | #Constraints: 221626
2678.60/2684.71 c #Conflicts: 1212000 | #Constraints: 222626
2678.60/2684.71 c INPROCESSING
2678.60/2684.71 c GARBAGE COLLECT
2678.60/2684.71 c rational objective 99
2709.43/2715.62 c #Conflicts: 1213000 | #Constraints: 201822
2709.43/2715.62 c #Conflicts: 1214000 | #Constraints: 202822
2709.43/2715.62 c #Conflicts: 1215000 | #Constraints: 203822
2709.43/2715.62 c #Conflicts: 1216000 | #Constraints: 204822
2709.43/2715.62 c #Conflicts: 1217000 | #Constraints: 205822
2709.43/2715.62 c #Conflicts: 1218000 | #Constraints: 206822
2709.43/2715.62 c #Conflicts: 1219000 | #Constraints: 207822
2709.43/2715.62 c #Conflicts: 1220000 | #Constraints: 208822
2709.43/2715.62 c #Conflicts: 1221000 | #Constraints: 209822
2709.43/2715.62 c #Conflicts: 1222000 | #Constraints: 210822
2709.43/2715.62 c #Conflicts: 1223000 | #Constraints: 211822
2709.43/2715.62 c #Conflicts: 1224000 | #Constraints: 212822
2709.43/2715.62 c #Conflicts: 1225000 | #Constraints: 213822
2709.43/2715.62 c #Conflicts: 1226000 | #Constraints: 214822
2709.43/2715.62 c #Conflicts: 1227000 | #Constraints: 215822
2709.43/2715.62 c #Conflicts: 1228000 | #Constraints: 216822
2709.43/2715.62 c #Conflicts: 1229000 | #Constraints: 217822
2709.43/2715.62 c #Conflicts: 1230000 | #Constraints: 218822
2709.43/2715.62 c #Conflicts: 1231000 | #Constraints: 219822
2709.43/2715.62 c #Conflicts: 1232000 | #Constraints: 220822
2709.43/2715.62 c #Conflicts: 1233000 | #Constraints: 221822
2709.43/2715.62 c #Conflicts: 1234000 | #Constraints: 222822
2709.43/2715.62 c INPROCESSING
2709.43/2715.62 c GARBAGE COLLECT
2709.43/2715.62 c rational objective 99
2762.52/2768.87 c #Conflicts: 1235000 | #Constraints: 201833
2762.52/2768.87 c #Conflicts: 1236000 | #Constraints: 202833
2762.52/2768.87 c #Conflicts: 1237000 | #Constraints: 203833
2762.52/2768.87 c #Conflicts: 1238000 | #Constraints: 204833
2762.52/2768.87 c #Conflicts: 1239000 | #Constraints: 205833
2762.52/2768.87 c #Conflicts: 1240000 | #Constraints: 206833
2762.52/2768.87 c #Conflicts: 1241000 | #Constraints: 207833
2762.52/2768.87 c #Conflicts: 1242000 | #Constraints: 208833
2762.52/2768.87 c #Conflicts: 1243000 | #Constraints: 209833
2762.52/2768.87 c #Conflicts: 1244000 | #Constraints: 210833
2762.52/2768.87 c #Conflicts: 1245000 | #Constraints: 211833
2762.52/2768.87 c #Conflicts: 1246000 | #Constraints: 212833
2762.52/2768.87 c #Conflicts: 1247000 | #Constraints: 213833
2762.52/2768.87 c #Conflicts: 1248000 | #Constraints: 214833
2762.52/2768.87 c #Conflicts: 1249000 | #Constraints: 215833
2762.52/2768.87 c #Conflicts: 1250000 | #Constraints: 216833
2762.52/2768.87 c #Conflicts: 1251000 | #Constraints: 217833
2762.52/2768.87 c #Conflicts: 1252000 | #Constraints: 218833
2762.52/2768.87 c #Conflicts: 1253000 | #Constraints: 219833
2762.52/2768.87 c #Conflicts: 1254000 | #Constraints: 220833
2762.52/2768.87 c #Conflicts: 1255000 | #Constraints: 221833
2762.52/2768.87 c #Conflicts: 1256000 | #Constraints: 222833
2762.52/2768.87 c INPROCESSING
2762.52/2768.87 c GARBAGE COLLECT
2762.52/2768.87 c rational objective 99
2815.89/2822.34 c #Conflicts: 1257000 | #Constraints: 201634
2815.89/2822.34 c #Conflicts: 1258000 | #Constraints: 202634
2815.89/2822.34 c #Conflicts: 1259000 | #Constraints: 203634
2815.89/2822.34 c #Conflicts: 1260000 | #Constraints: 204634
2815.89/2822.34 c #Conflicts: 1261000 | #Constraints: 205634
2815.89/2822.34 c #Conflicts: 1262000 | #Constraints: 206634
2815.89/2822.34 c #Conflicts: 1263000 | #Constraints: 207634
2815.89/2822.34 c #Conflicts: 1264000 | #Constraints: 208634
2815.89/2822.34 c #Conflicts: 1265000 | #Constraints: 209634
2815.89/2822.34 c #Conflicts: 1266000 | #Constraints: 210634
2815.89/2822.34 c #Conflicts: 1267000 | #Constraints: 211634
2815.89/2822.34 c #Conflicts: 1268000 | #Constraints: 212634
2815.89/2822.34 c #Conflicts: 1269000 | #Constraints: 213634
2815.89/2822.34 c #Conflicts: 1270000 | #Constraints: 214634
2815.89/2822.34 c #Conflicts: 1271000 | #Constraints: 215634
2815.89/2822.34 c #Conflicts: 1272000 | #Constraints: 216634
2815.89/2822.34 c #Conflicts: 1273000 | #Constraints: 217634
2815.89/2822.34 c #Conflicts: 1274000 | #Constraints: 218634
2815.89/2822.34 c #Conflicts: 1275000 | #Constraints: 219634
2815.89/2822.34 c #Conflicts: 1276000 | #Constraints: 220634
2815.89/2822.34 c #Conflicts: 1277000 | #Constraints: 221634
2815.89/2822.34 c #Conflicts: 1278000 | #Constraints: 222634
2815.89/2822.34 c #Conflicts: 1279000 | #Constraints: 223634
2815.89/2822.34 c INPROCESSING
2815.89/2822.34 c GARBAGE COLLECT
2815.89/2822.34 c rational objective 99
2852.22/2858.73 c #Conflicts: 1280000 | #Constraints: 202226
2852.22/2858.73 c #Conflicts: 1281000 | #Constraints: 203226
2852.22/2858.73 c #Conflicts: 1282000 | #Constraints: 204226
2852.22/2858.73 c #Conflicts: 1283000 | #Constraints: 205226
2852.22/2858.73 c #Conflicts: 1284000 | #Constraints: 206226
2852.22/2858.73 c #Conflicts: 1285000 | #Constraints: 207226
2852.22/2858.73 c #Conflicts: 1286000 | #Constraints: 208226
2852.22/2858.73 c #Conflicts: 1287000 | #Constraints: 209226
2852.22/2858.73 c #Conflicts: 1288000 | #Constraints: 210226
2852.22/2858.73 c #Conflicts: 1289000 | #Constraints: 211226
2852.22/2858.73 c #Conflicts: 1290000 | #Constraints: 212226
2852.22/2858.73 c #Conflicts: 1291000 | #Constraints: 213226
2852.22/2858.73 c #Conflicts: 1292000 | #Constraints: 214226
2852.22/2858.73 c #Conflicts: 1293000 | #Constraints: 215226
2852.22/2858.73 c #Conflicts: 1294000 | #Constraints: 216226
2852.22/2858.73 c #Conflicts: 1295000 | #Constraints: 217226
2852.22/2858.73 c #Conflicts: 1296000 | #Constraints: 218226
2852.22/2858.73 c #Conflicts: 1297000 | #Constraints: 219226
2852.22/2858.73 c #Conflicts: 1298000 | #Constraints: 220226
2852.22/2858.73 c #Conflicts: 1299000 | #Constraints: 221226
2852.22/2858.73 c #Conflicts: 1300000 | #Constraints: 222226
2852.22/2858.73 c #Conflicts: 1301000 | #Constraints: 223226
2852.22/2858.73 c #Conflicts: 1302000 | #Constraints: 224226
2852.22/2858.73 c INPROCESSING
2852.22/2858.73 c GARBAGE COLLECT
2852.22/2858.73 c rational objective 99
2899.11/2905.77 c #Conflicts: 1303000 | #Constraints: 202642
2899.11/2905.77 c #Conflicts: 1304000 | #Constraints: 203642
2899.11/2905.77 c #Conflicts: 1305000 | #Constraints: 204642
2899.11/2905.77 c #Conflicts: 1306000 | #Constraints: 205642
2899.11/2905.77 c #Conflicts: 1307000 | #Constraints: 206642
2899.11/2905.77 c #Conflicts: 1308000 | #Constraints: 207642
2899.11/2905.77 c #Conflicts: 1309000 | #Constraints: 208642
2899.11/2905.77 c #Conflicts: 1310000 | #Constraints: 209642
2899.11/2905.77 c #Conflicts: 1311000 | #Constraints: 210642
2899.11/2905.77 c #Conflicts: 1312000 | #Constraints: 211642
2899.11/2905.77 c #Conflicts: 1313000 | #Constraints: 212642
2899.11/2905.77 c #Conflicts: 1314000 | #Constraints: 213642
2899.11/2905.77 c #Conflicts: 1315000 | #Constraints: 214642
2899.11/2905.77 c #Conflicts: 1316000 | #Constraints: 215642
2899.11/2905.77 c #Conflicts: 1317000 | #Constraints: 216642
2899.11/2905.77 c #Conflicts: 1318000 | #Constraints: 217642
2899.11/2905.77 c #Conflicts: 1319000 | #Constraints: 218642
2899.11/2905.77 c #Conflicts: 1320000 | #Constraints: 219642
2899.11/2905.77 c #Conflicts: 1321000 | #Constraints: 220642
2899.11/2905.77 c #Conflicts: 1322000 | #Constraints: 221642
2899.11/2905.77 c #Conflicts: 1323000 | #Constraints: 222642
2899.11/2905.77 c #Conflicts: 1324000 | #Constraints: 223642
2899.11/2905.77 c #Conflicts: 1325000 | #Constraints: 224642
2899.11/2905.77 c INPROCESSING
2899.11/2905.77 c GARBAGE COLLECT
2899.11/2905.77 c rational objective 99
2931.54/2938.25 c #Conflicts: 1326000 | #Constraints: 202855
2931.54/2938.25 c #Conflicts: 1327000 | #Constraints: 203855
2931.54/2938.25 c #Conflicts: 1328000 | #Constraints: 204855
2931.54/2938.25 c #Conflicts: 1329000 | #Constraints: 205855
2931.54/2938.25 c #Conflicts: 1330000 | #Constraints: 206855
2931.54/2938.25 c #Conflicts: 1331000 | #Constraints: 207855
2931.54/2938.25 c #Conflicts: 1332000 | #Constraints: 208855
2931.54/2938.25 c #Conflicts: 1333000 | #Constraints: 209855
2931.54/2938.25 c #Conflicts: 1334000 | #Constraints: 210855
2931.54/2938.25 c #Conflicts: 1335000 | #Constraints: 211855
2931.54/2938.25 c #Conflicts: 1336000 | #Constraints: 212855
2931.54/2938.25 c #Conflicts: 1337000 | #Constraints: 213855
2931.54/2938.25 c #Conflicts: 1338000 | #Constraints: 214855
2931.54/2938.25 c #Conflicts: 1339000 | #Constraints: 215855
2931.54/2938.25 c #Conflicts: 1340000 | #Constraints: 216855
2931.54/2938.25 c #Conflicts: 1341000 | #Constraints: 217855
2931.54/2938.25 c #Conflicts: 1342000 | #Constraints: 218855
2931.54/2938.25 c #Conflicts: 1343000 | #Constraints: 219855
2931.54/2938.25 c #Conflicts: 1344000 | #Constraints: 220855
2931.54/2938.25 c #Conflicts: 1345000 | #Constraints: 221855
2931.54/2938.25 c #Conflicts: 1346000 | #Constraints: 222855
2931.54/2938.25 c #Conflicts: 1347000 | #Constraints: 223855
2931.54/2938.25 c #Conflicts: 1348000 | #Constraints: 224855
2931.54/2938.25 c INPROCESSING
2931.54/2938.25 c GARBAGE COLLECT
2931.54/2938.25 c rational objective 99
3598.73/3607.01 c #Conflicts: 1349000 | #Constraints: 202845
3598.73/3607.01 c #Conflicts: 1350000 | #Constraints: 203845
3598.73/3607.01 c #Conflicts: 1351000 | #Constraints: 204845
3598.73/3607.01 c #Conflicts: 1352000 | #Constraints: 205845
3598.73/3607.01 c #Conflicts: 1353000 | #Constraints: 206845
3598.73/3607.01 c #Conflicts: 1354000 | #Constraints: 207845
3598.73/3607.01 c #Conflicts: 1355000 | #Constraints: 208845
3598.73/3607.01 c #Conflicts: 1356000 | #Constraints: 209845
3598.73/3607.01 c #Conflicts: 1357000 | #Constraints: 210845
3598.73/3607.01 c #Conflicts: 1358000 | #Constraints: 211845
3598.73/3607.01 c #Conflicts: 1359000 | #Constraints: 212845
3598.73/3607.01 c #Conflicts: 1360000 | #Constraints: 213845
3598.73/3607.01 c #Conflicts: 1361000 | #Constraints: 214845
3598.73/3607.01 c #Conflicts: 1362000 | #Constraints: 215845
3598.73/3607.01 c #Conflicts: 1363000 | #Constraints: 216845
3598.73/3607.01 c #Conflicts: 1364000 | #Constraints: 217845
3598.73/3607.01 c #Conflicts: 1365000 | #Constraints: 218845
3598.73/3607.01 c #Conflicts: 1366000 | #Constraints: 219845
3598.73/3607.01 c #Conflicts: 1367000 | #Constraints: 220845
3598.73/3607.01 c #Conflicts: 1368000 | #Constraints: 221845
3598.73/3607.01 c #Conflicts: 1369000 | #Constraints: 222846
3598.73/3607.01 c #Conflicts: 1370000 | #Constraints: 223846
3598.73/3607.01 c #Conflicts: 1371000 | #Constraints: 224846
3598.73/3607.01 c INPROCESSING
3598.73/3607.01 c GARBAGE COLLECT
3598.73/3607.01 c #Conflicts: 1372000 | #Constraints: 202674
3598.73/3607.01 c #Conflicts: 1373000 | #Constraints: 203675
3598.73/3607.01 c #Conflicts: 1374000 | #Constraints: 204675
3598.73/3607.01 c #Conflicts: 1375000 | #Constraints: 205675
3598.73/3607.01 c #Conflicts: 1376000 | #Constraints: 206675
3598.73/3607.01 c #Conflicts: 1377000 | #Constraints: 207675
3598.73/3607.01 c #Conflicts: 1378000 | #Constraints: 208675
3598.73/3607.01 c #Conflicts: 1379000 | #Constraints: 209675
3598.73/3607.01 c #Conflicts: 1380000 | #Constraints: 210675
3598.73/3607.01 c #Conflicts: 1381000 | #Constraints: 211675
3598.73/3607.01 c #Conflicts: 1382000 | #Constraints: 212675
3598.73/3607.01 c #Conflicts: 1383000 | #Constraints: 213675
3598.73/3607.01 c #Conflicts: 1384000 | #Constraints: 214675
3598.73/3607.01 c #Conflicts: 1385000 | #Constraints: 215675
3598.73/3607.01 c #Conflicts: 1386000 | #Constraints: 216675
3598.73/3607.01 c #Conflicts: 1387000 | #Constraints: 217676
3598.73/3607.01 c #Conflicts: 1388000 | #Constraints: 218676
3598.73/3607.01 c #Conflicts: 1389000 | #Constraints: 219676
3598.73/3607.01 c #Conflicts: 1390000 | #Constraints: 220677
3598.73/3607.01 c #Conflicts: 1391000 | #Constraints: 221677
3598.73/3607.01 c #Conflicts: 1392000 | #Constraints: 222677
3598.73/3607.01 c #Conflicts: 1393000 | #Constraints: 223677
3598.73/3607.01 c #Conflicts: 1394000 | #Constraints: 224677
3598.73/3607.01 c #Conflicts: 1395000 | #Constraints: 225677
3598.73/3607.01 c INPROCESSING
3598.73/3607.01 c GARBAGE COLLECT
3598.73/3607.01 c rational objective 99
3600.02/3608.30 c cpu time 3581.41 s
3600.02/3608.30 c deterministic time 16804567837 1.68e+10
3600.02/3608.30 c optimization time 0.264727 s
3600.02/3608.30 c total solve time 3580.22 s
3600.02/3608.30 c core-guided solve time 0 s
3600.02/3608.30 c propagation time 1602.38 s
3600.02/3608.30 c conflict analysis time 477.449 s
3600.02/3608.30 c propagations 818187970
3600.02/3608.30 c resolve steps 72210109
3600.02/3608.30 c decisions 2482649
3600.02/3608.30 c conflicts 1395537
3600.02/3608.30 c restarts 2683
3600.02/3608.30 c inprocessing phases 109
3600.02/3608.30 c garbage collections 105 ,( 96.33 )
3600.02/3608.30 c input clauses 217295 ,( 99.47 )
3600.02/3608.30 c input cardinalities 0 ,( 0.00 )
3600.02/3608.30 c input general constraints 1153 ,( 0.53 )
3600.02/3608.30 c input average constraint length 2.41
3600.02/3608.30 c input average constraint degree 2.92
3600.02/3608.30 c learned clauses 1321461 ,( 94.66 )
3600.02/3608.30 c learned cardinalities 2198 ,( 0.16 )
3600.02/3608.30 c learned general constraints 72343 ,( 5.18 )
3600.02/3608.30 c learned average constraint length 224.63
3600.02/3608.30 c learned average constraint degree 5437481.33
3600.02/3608.30 c watched CF 32, 64, 128, Arb: 15497 , 0 , 0 , 0
3600.02/3608.30 c counting CF 32, 64, 128, Arb: 58000 , 0 , 0 , 0
3600.02/3608.30 c watched constraints 15497 ,( 21.09 )
3600.02/3608.30 c counting constraints 57999 ,( 78.91 )
3600.02/3608.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1361499737 , 27244735 , 209662168 ,( 7451674 , 202210494 )
3600.02/3608.30 c gcd simplifications 68929
3600.02/3608.30 c detected cardinalities 7
3600.02/3608.30 c weakened non-implied lits 182179056
3600.02/3608.30 c weakened non-implying lits 37338
3600.02/3608.30 c original variables 72842
3600.02/3608.30 c clausal propagations 661306632
3600.02/3608.30 c cardinality propagations 2804074
3600.02/3608.30 c watched propagations 368939
3600.02/3608.30 c counting propagations 152192409
3600.02/3608.30 c watch lookups 6120252072
3600.02/3608.30 c watch backjump lookups 0
3600.02/3608.30 c watch checks 3407841366
3600.02/3608.30 c propagation checks 4355102126
3600.02/3608.30 c constraint additions 1276988426
3600.02/3608.30 c trail pops 821996350
3600.02/3608.30 c formula constraints 218447
3600.02/3608.30 c learned constraints 1395515
3600.02/3608.30 c bound constraints 0
3600.02/3608.30 c core-guided constraints 0
3600.02/3608.30 c encountered formula constraints 59518194
3600.02/3608.30 c encountered learned constraints 14056567
3600.02/3608.30 c encountered bound constraints 0
3600.02/3608.30 c encountered core-guided constraints 0
3600.02/3608.30 c LP total time 2818.56 s
3600.02/3608.30 c LP solve time 2702.29 s
3600.02/3608.30 c LP constraints added 221455
3600.02/3608.30 c LP constraints removed 2956
3600.02/3608.30 c LP pivots internal 1403387
3600.02/3608.30 c LP pivots root 313490
3600.02/3608.30 c LP calls 573
3600.02/3608.30 c LP optimalities 540
3600.02/3608.30 c LP no pivot count 2
3600.02/3608.30 c LP infeasibilities 26
3600.02/3608.30 c LP valid Farkas constraints 26
3600.02/3608.30 c LP learned Farkas constraints 22
3600.02/3608.30 c LP basis resets 0
3600.02/3608.30 c LP cycling count 0
3600.02/3608.30 c LP singular count 0
3600.02/3608.30 c LP no primal count 0
3600.02/3608.30 c LP no farkas count 0
3600.02/3608.30 c LP other issue count 0
3600.02/3608.30 c LP Gomory cuts 439
3600.02/3608.30 c LP learned cuts 2670
3600.02/3608.30 c LP deleted cuts 3008
3600.02/3608.30 c LP encountered Gomory constraints 30782
3600.02/3608.30 c LP encountered Farkas constraints 61
3600.02/3608.30 c LP encountered learned Farkas constraints 20
3600.02/3608.30 c CG auxiliary variables introduced 2
3600.02/3608.30 c CG solutions found 0
3600.02/3608.30 c CG cores constructed 1
3600.02/3608.30 c CG core cardinality constraints returned 0
3600.02/3608.30 c CG unit cores 0
3600.02/3608.30 c CG single cores 0
3600.02/3608.30 c CG blocks removed during cardinality reduction 0
3600.02/3608.30 c CG first core best 0
3600.02/3608.30 c CG decision core best 0
3600.02/3608.30 c CG core reduction tie 0
3600.02/3608.30 c CG core degree average 0.00
3600.02/3608.30 c CG core slack average 0.00
3600.02/3608.30 c CG core upper bound improvements 0
3600.02/3608.30 c STR number of successful calls 0
3600.02/3608.30 c STR number of unsuccessful calls 0
3600.02/3608.30 c STR number of inconclusive calls 0
3600.02/3608.30 c STR number of successful attempts 0
3600.02/3608.30 c STR number of unsuccessful attempts 0
3600.02/3608.30 c STR number of inconclusive attempts 0
3600.02/3608.30 c STR average degree increase per successful call inf
3600.02/3608.30 c STR average degree increase per successful attempt inf
3600.02/3608.30 c STR total number of conflicts for successful attempts 0
3600.02/3608.30 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.30 c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.30 c STR average number of conflicts per successful attempt inf
3600.02/3608.30 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.30 c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.30 c AVG.sumWPerc 64.85
3600.02/3608.30 c bigint constraints 0
3600.02/3608.30 s UNKNOWN
3600.02/3608.30 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: 63665 MiB (62837 MiB free)
memory of node 1: 64507 MiB (57243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499995-1751419720/watcher-4499995-1751419720 -o /tmp/evaluation-result-4499995-1751419720/solver-4499995-1751419720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751419720-66444 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499995-1751419720.opb PROOFDIR/proof-4499995-1751419720
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66501, runsolver pid=66485
[startup+0.100058 s]*
/proc/loadavg: 0.26 0.80 1.30 5/269 66505
/proc/meminfo: memFree=122893560/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=73656 memory=29172 CPUtime=0.07 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 4026 0 0 0 5 2 0 0 20 0 1 0 57649948 75423744 7293 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 18414 7293 2016 1147 0 5841 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 77848 KiB
Current children cumulated memory: 32116 KiB
[startup+0.204551 s]*
/proc/loadavg: 0.26 0.80 1.30 5/269 66505
/proc/meminfo: memFree=122888520/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=77460 memory=33252 CPUtime=0.17 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 5200 0 0 0 14 3 0 0 20 0 1 0 57649948 79319040 8313 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 19365 8313 2016 1147 0 6792 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 81652 KiB
Current children cumulated memory: 36196 KiB
[startup+0.304546 s]*
/proc/loadavg: 0.26 0.80 1.30 5/269 66505
/proc/meminfo: memFree=122872140/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=81444 memory=38000 CPUtime=0.27 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 6692 0 0 0 21 6 0 0 20 0 1 0 57649948 83398656 9500 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 20361 9500 2016 1147 0 7788 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 85636 KiB
Current children cumulated memory: 40944 KiB
[startup+0.70015 s]
/proc/loadavg: 0.26 0.80 1.30 5/269 66505
/proc/meminfo: memFree=122838536/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=101528 memory=55428 CPUtime=0.67 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 12037 0 0 0 53 14 0 0 20 0 1 0 57649948 103964672 13857 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 25382 13857 2016 1147 0 12809 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 105720 KiB
Current children cumulated memory: 58372 KiB
[startup+1.50022 s]
/proc/loadavg: 0.56 0.85 1.31 5/269 66505
/proc/meminfo: memFree=122265444/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=385188 memory=303816 CPUtime=1.46 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 37348 0 0 0 116 30 0 0 20 0 1 0 57649948 394432512 75954 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 96297 75954 2400 1147 0 83724 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 389380 KiB
Current children cumulated memory: 306760 KiB
[startup+3.10485 s]
/proc/loadavg: 0.56 0.85 1.31 5/259 66521
/proc/meminfo: memFree=122242892/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=437208 memory=337576 CPUtime=3.06 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 45304 0 0 0 268 38 0 0 20 0 1 0 57649948 447700992 84394 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 109302 84394 2432 1147 0 96729 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 441400 KiB
Current children cumulated memory: 340520 KiB
[startup+6.30016 s]
/proc/loadavg: 0.76 0.89 1.32 3/257 66579
/proc/meminfo: memFree=122242416/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=440648 memory=344488 CPUtime=6.25 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 47094 0 0 0 585 40 0 0 20 0 1 0 57649948 451223552 86122 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 110162 86122 2432 1147 0 97589 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 444840 KiB
Current children cumulated memory: 347432 KiB
[startup+12.7001 s]
/proc/loadavg: 0.78 0.89 1.32 2/250 66617
/proc/meminfo: memFree=122574848/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=445672 memory=351400 CPUtime=12.63 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 48830 0 0 0 1220 43 0 0 20 0 1 0 57649948 456368128 87850 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 111418 87850 2432 1147 0 98845 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 449864 KiB
Current children cumulated memory: 354344 KiB
[startup+25.5001 s]
/proc/loadavg: 0.81 0.89 1.32 2/250 66618
/proc/meminfo: memFree=122565040/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=450164 memory=355368 CPUtime=25.4 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 49820 0 0 0 2489 51 0 0 20 0 1 0 57649948 460967936 88842 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 112541 88842 2432 1147 0 99968 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 454356 KiB
Current children cumulated memory: 358312 KiB
[startup+51.1051 s]
/proc/loadavg: 0.97 0.92 1.31 2/251 66619
/proc/meminfo: memFree=122504328/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=496004 memory=393520 CPUtime=50.94 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 54298 0 0 0 5028 66 0 0 20 0 1 0 57649948 507908096 98380 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 124001 98380 2432 1147 0 111428 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 500196 KiB
Current children cumulated memory: 396464 KiB
[startup+102.3 s]
/proc/loadavg: 0.99 0.93 1.29 2/251 66622
/proc/meminfo: memFree=122270104/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=502832 memory=406888 CPUtime=102 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 55057 0 0 0 10098 102 0 0 20 0 1 0 57649948 514899968 101722 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 125708 101722 2432 1147 0 113135 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 507024 KiB
Current children cumulated memory: 409832 KiB
[startup+162.3 s]
/proc/loadavg: 1.04 0.96 1.27 2/251 66625
/proc/meminfo: memFree=122264116/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=511936 memory=418664 CPUtime=161.85 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 55798 0 0 0 16070 115 0 0 20 0 1 0 57649948 524222464 104666 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 127984 104666 2432 1147 0 115411 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 516128 KiB
Current children cumulated memory: 421608 KiB
[startup+222.3 s]
/proc/loadavg: 1.13 1.01 1.27 2/251 66627
/proc/meminfo: memFree=122035556/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=529616 memory=457984 CPUtime=221.71 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 58328 0 0 0 22006 165 0 0 20 0 1 0 57649948 542326784 114496 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 132404 114496 2432 1147 0 119831 0
################
# More data... #
################
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3095.27 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3162.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/248 66804
/proc/meminfo: memFree=115216564/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3155.13 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66807 0 0 0 313704 1809 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3155.13 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3222.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/248 66807
/proc/meminfo: memFree=115216200/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3214.98 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66807 0 0 0 319685 1813 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3214.98 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3282.3 s]
/proc/loadavg: 1.13 1.09 1.09 2/247 66809
/proc/meminfo: memFree=115216548/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3274.82 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66807 0 0 0 325664 1818 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3274.82 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/246 66811
/proc/meminfo: memFree=115216548/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3334.67 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66808 0 0 0 331646 1821 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3334.67 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/246 66813
/proc/meminfo: memFree=115216740/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3394.52 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66808 0 0 0 337628 1824 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3394.52 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/247 66822
/proc/meminfo: memFree=115215960/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3454.37 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66808 0 0 0 343610 1827 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3454.37 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.08 1.09 2/247 66825
/proc/meminfo: memFree=115209132/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3514.22 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66854 0 0 0 349591 1831 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3514.22 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.10 1.09 2/247 66827
/proc/meminfo: memFree=115136620/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3574.07 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66865 0 0 0 355558 1849 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3574.07 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/250 66830
/proc/meminfo: memFree=115096412/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3600.02 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66873 0 0 0 358141 1861 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.3 s]
# the end of solver process 66501 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000777 s, system=0.002329 s
Sleeping 2 seconds
[startup+3608.34 s]
# the end of solver process 66505 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.43 s, system=18.6223 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+3608.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/250 66830
/proc/meminfo: memFree=115096412/131249996 swapFree=33010684/33010684
[pid=66501] ppid=66485 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66501/stat : 66501 (run-opt-log.sh) S 66485 66501 66405 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57649946 4292608 736 18446744073709551615 94208974548992 94208975443525 140729482433504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94208975682576 94208975730320 94208976220160 140729482434849 140729482435044 140729482435044 140729482440646 0
/proc/66501/statm: 1048 736 672 219 0 110 0
[pid=66505] ppid=66501 vsize=624620 memory=549152 CPUtime=3600.02 cores=5,7
/proc/66505/stat : 66505 (roundingsat) R 66501 66501 66405 0 -1 4194304 66873 0 0 0 358141 1861 0 0 20 0 1 0 57649948 639610880 137288 18446744073709551615 4227072 8923433 140726315711168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 11341824 140726315718994 140726315719208 140726315719208 140726315724778 0
/proc/66505/statm: 156155 137288 2432 1147 0 143582 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 628812 KiB
Current children cumulated memory: 552096 KiB
Child status: 2
Real time (s): 3608.34
CPU time (s): 3600.06
CPU user time (s): 3581.43
CPU system time (s): 18.6223
CPU usage (%): 99.7705
Max. virtual memory (cumulated for all children) (KiB): 628812
Max. memory (cumulated for all children) (KiB): 552096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.43
system time used= 18.6223
maximum resident set size= 549536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14768128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 502
involuntary context switches= 3033
# summary of solver processes directly reported to runsolver:
# pid: 66501,66505
# total CPU time (s): 3600.06
# total CPU user time (s): 3581.43
# total CPU system time (s): 18.6223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63014 second user time and 13.7555 second system time
The end
Begin job on nodeC024 at 2025-07-02 03:28:40
IDJOB=4499995
IDBENCH=149053
IDSOLVER=3351
FILE ID=nodeC024/4499995-1751419720
RUNJOBID= nodeC024-1751419720-66444
SLURM_JOB_ID= 9598342
Free space on /tmp= 432916 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12055_1.std.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499995-1751419720/watcher-4499995-1751419720 -o /tmp/evaluation-result-4499995-1751419720/solver-4499995-1751419720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751419720-66444 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499995-1751419720.opb PROOFDIR/proof-4499995-1751419720
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f0efccbc116c51a095a75c7835df95b0
RANDOM SEED=1193343879
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.143
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.353
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.751
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3576.401
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.917
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122961932 kB
MemAvailable: 129721012 kB
Buffers: 3280 kB
Cached: 7527608 kB
SwapCached: 0 kB
Active: 325876 kB
Inactive: 7270392 kB
Active(anon): 83444 kB
Inactive(anon): 0 kB
Active(file): 242432 kB
Inactive(file): 7270392 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 57348 kB
Writeback: 0 kB
AnonPages: 68472 kB
Mapped: 103820 kB
Shmem: 18064 kB
KReclaimable: 170588 kB
Slab: 260852 kB
SReclaimable: 170588 kB
SUnreclaim: 90264 kB
KernelStack: 4036 kB
PageTables: 2540 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 338812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432900 MiB
End job on nodeC024 at 2025-07-02 04:28:49