0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.86/0.91 c #variables 72842 #constraints 218447
0.86/0.91 c objective is ce32
0.86/0.93 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.86/0.93 c initial counting CF 32, 64, 128, Arb: 1154 , 0 , 0 , 0
0.86/0.93 c GLOBAL bounds - >= 0 @ 0.717517
0.86/1.00 c GLOBAL bounds - >= 0 @ 0.740601
1.46/1.57 c GLOBAL bounds - >= 0 @ 1.28132
1.57/1.64 c GLOBAL bounds - >= 0 @ 1.30254
24.12/24.27 c #Conflicts: 1000 | #Constraints: 219448
24.12/24.27 c #Conflicts: 2000 | #Constraints: 220448
24.12/24.27 c INPROCESSING
24.12/24.27 c GARBAGE COLLECT
24.12/24.27 c #Conflicts: 3000 | #Constraints: 180769
24.12/24.27 c #Conflicts: 4000 | #Constraints: 181769
24.12/24.27 c INPROCESSING
24.12/24.27 c #Conflicts: 5000 | #Constraints: 181179
24.12/24.27 c #Conflicts: 6000 | #Constraints: 182179
24.12/24.27 c INPROCESSING
24.12/24.27 c GARBAGE COLLECT
24.12/24.27 c #Conflicts: 7000 | #Constraints: 181189
24.12/24.27 c #Conflicts: 8000 | #Constraints: 182189
24.12/24.27 c #Conflicts: 9000 | #Constraints: 183189
24.12/24.27 c INPROCESSING
24.12/24.27 c rational objective 99
38.68/38.84 c #Conflicts: 10000 | #Constraints: 181887
38.68/38.84 c #Conflicts: 11000 | #Constraints: 182887
38.68/38.84 c #Conflicts: 12000 | #Constraints: 183887
38.68/38.84 c INPROCESSING
38.68/38.84 c GARBAGE COLLECT
38.68/38.84 c rational objective 99
44.76/44.97 c #Conflicts: 13000 | #Constraints: 182350
44.76/44.97 c #Conflicts: 14000 | #Constraints: 183350
44.76/44.97 c #Conflicts: 15000 | #Constraints: 184350
44.76/44.97 c INPROCESSING
44.76/44.97 c #Conflicts: 16000 | #Constraints: 182582
44.76/44.97 c #Conflicts: 17000 | #Constraints: 183582
44.76/44.97 c #Conflicts: 18000 | #Constraints: 184582
44.76/44.97 c INPROCESSING
44.76/44.97 c GARBAGE COLLECT
44.76/44.97 c rational objective 99
49.56/49.76 c #Conflicts: 19000 | #Constraints: 182604
49.56/49.76 c #Conflicts: 20000 | #Constraints: 183604
49.56/49.76 c #Conflicts: 21000 | #Constraints: 184604
49.56/49.76 c INPROCESSING
49.56/49.76 c GARBAGE COLLECT
49.56/49.76 c rational objective 99
54.86/55.09 c #Conflicts: 22000 | #Constraints: 182414
54.86/55.09 c #Conflicts: 23000 | #Constraints: 183414
54.86/55.09 c #Conflicts: 24000 | #Constraints: 184414
54.86/55.09 c #Conflicts: 25000 | #Constraints: 185414
54.86/55.09 c INPROCESSING
54.86/55.09 c rational objective 99
61.43/61.63 c #Conflicts: 26000 | #Constraints: 183028
61.43/61.63 c #Conflicts: 27000 | #Constraints: 184028
61.43/61.63 c #Conflicts: 28000 | #Constraints: 185028
61.43/61.63 c #Conflicts: 29000 | #Constraints: 186028
61.43/61.63 c INPROCESSING
61.43/61.63 c GARBAGE COLLECT
61.43/61.63 c rational objective 99
67.51/67.70 c #Conflicts: 30000 | #Constraints: 183440
67.51/67.70 c #Conflicts: 31000 | #Constraints: 184440
67.51/67.70 c #Conflicts: 32000 | #Constraints: 185440
67.51/67.70 c #Conflicts: 33000 | #Constraints: 186440
67.51/67.70 c INPROCESSING
67.51/67.70 c GARBAGE COLLECT
67.51/67.70 c rational objective 99
74.81/75.06 c #Conflicts: 34000 | #Constraints: 183643
74.81/75.06 c #Conflicts: 35000 | #Constraints: 184643
74.81/75.06 c #Conflicts: 36000 | #Constraints: 185643
74.81/75.06 c #Conflicts: 37000 | #Constraints: 186643
74.81/75.06 c INPROCESSING
74.81/75.06 c GARBAGE COLLECT
74.81/75.06 c rational objective 99
79.60/79.83 c #Conflicts: 38000 | #Constraints: 183658
79.60/79.83 c #Conflicts: 39000 | #Constraints: 184658
79.60/79.83 c #Conflicts: 40000 | #Constraints: 185658
79.60/79.83 c #Conflicts: 41000 | #Constraints: 186658
79.60/79.83 c INPROCESSING
79.60/79.83 c GARBAGE COLLECT
79.60/79.83 c rational objective 99
173.07/173.52 c #Conflicts: 42000 | #Constraints: 183461
173.07/173.52 c #Conflicts: 43000 | #Constraints: 184462
173.07/173.52 c #Conflicts: 44000 | #Constraints: 185462
173.07/173.52 c #Conflicts: 45000 | #Constraints: 186462
173.07/173.52 c #Conflicts: 46000 | #Constraints: 187462
173.07/173.52 c INPROCESSING
173.07/173.52 c GARBAGE COLLECT
173.07/173.52 c #Conflicts: 47000 | #Constraints: 184049
173.07/173.52 c #Conflicts: 48000 | #Constraints: 185049
173.07/173.52 c #Conflicts: 49000 | #Constraints: 186049
173.07/173.52 c #Conflicts: 50000 | #Constraints: 187049
173.07/173.52 c #Conflicts: 51000 | #Constraints: 188049
173.07/173.52 c INPROCESSING
173.07/173.52 c GARBAGE COLLECT
173.07/173.52 c rational objective 99
178.26/178.71 c #Conflicts: 52000 | #Constraints: 184448
178.26/178.71 c #Conflicts: 53000 | #Constraints: 185448
178.26/178.71 c #Conflicts: 54000 | #Constraints: 186448
178.26/178.71 c #Conflicts: 55000 | #Constraints: 187448
178.26/178.71 c #Conflicts: 56000 | #Constraints: 188448
178.26/178.71 c INPROCESSING
178.26/178.71 c GARBAGE COLLECT
178.26/178.71 c rational objective 99
185.65/186.15 c #Conflicts: 57000 | #Constraints: 184651
185.65/186.15 c #Conflicts: 58000 | #Constraints: 185651
185.65/186.15 c #Conflicts: 59000 | #Constraints: 186651
185.65/186.15 c #Conflicts: 60000 | #Constraints: 187651
185.65/186.15 c #Conflicts: 61000 | #Constraints: 188651
185.65/186.15 c INPROCESSING
185.65/186.15 c GARBAGE COLLECT
185.65/186.15 c rational objective 99
192.33/192.85 c #Conflicts: 62000 | #Constraints: 184663
192.33/192.85 c #Conflicts: 63000 | #Constraints: 185663
192.33/192.85 c #Conflicts: 64000 | #Constraints: 186663
192.33/192.85 c #Conflicts: 65000 | #Constraints: 187663
192.33/192.85 c #Conflicts: 66000 | #Constraints: 188663
192.33/192.85 c INPROCESSING
192.33/192.85 c GARBAGE COLLECT
192.33/192.85 c rational objective 99
197.92/198.45 c #Conflicts: 67000 | #Constraints: 184453
197.92/198.45 c #Conflicts: 68000 | #Constraints: 185453
197.92/198.45 c #Conflicts: 69000 | #Constraints: 186453
197.92/198.45 c #Conflicts: 70000 | #Constraints: 187453
197.92/198.45 c #Conflicts: 71000 | #Constraints: 188453
197.92/198.45 c #Conflicts: 72000 | #Constraints: 189453
197.92/198.45 c INPROCESSING
197.92/198.45 c GARBAGE COLLECT
197.92/198.45 c rational objective 99
206.20/206.75 c #Conflicts: 73000 | #Constraints: 185060
206.20/206.75 c #Conflicts: 74000 | #Constraints: 186060
206.20/206.75 c #Conflicts: 75000 | #Constraints: 187060
206.20/206.75 c #Conflicts: 76000 | #Constraints: 188060
206.20/206.75 c #Conflicts: 77000 | #Constraints: 189060
206.20/206.75 c #Conflicts: 78000 | #Constraints: 190060
206.20/206.75 c INPROCESSING
206.20/206.75 c GARBAGE COLLECT
206.20/206.75 c rational objective 99
214.58/215.18 c #Conflicts: 79000 | #Constraints: 185468
214.58/215.18 c #Conflicts: 80000 | #Constraints: 186468
214.58/215.18 c #Conflicts: 81000 | #Constraints: 187468
214.58/215.18 c #Conflicts: 82000 | #Constraints: 188468
214.58/215.18 c #Conflicts: 83000 | #Constraints: 189468
214.58/215.18 c #Conflicts: 84000 | #Constraints: 190468
214.58/215.18 c INPROCESSING
214.58/215.18 c GARBAGE COLLECT
214.58/215.18 c rational objective 99
223.86/224.49 c #Conflicts: 85000 | #Constraints: 185672
223.86/224.49 c #Conflicts: 86000 | #Constraints: 186672
223.86/224.49 c #Conflicts: 87000 | #Constraints: 187672
223.86/224.49 c #Conflicts: 88000 | #Constraints: 188672
223.86/224.49 c #Conflicts: 89000 | #Constraints: 189672
223.86/224.49 c #Conflicts: 90000 | #Constraints: 190672
223.86/224.49 c INPROCESSING
223.86/224.49 c GARBAGE COLLECT
223.86/224.49 c rational objective 99
231.34/231.97 c #Conflicts: 91000 | #Constraints: 185675
231.34/231.97 c #Conflicts: 92000 | #Constraints: 186675
231.34/231.97 c #Conflicts: 93000 | #Constraints: 187675
231.34/231.97 c #Conflicts: 94000 | #Constraints: 188675
231.34/231.97 c #Conflicts: 95000 | #Constraints: 189675
231.34/231.97 c #Conflicts: 96000 | #Constraints: 190675
231.34/231.97 c INPROCESSING
231.34/231.97 c GARBAGE COLLECT
231.34/231.97 c rational objective 99
241.42/242.00 c #Conflicts: 97000 | #Constraints: 185480
241.42/242.00 c #Conflicts: 98000 | #Constraints: 186480
241.42/242.00 c #Conflicts: 99000 | #Constraints: 187480
241.42/242.00 c #Conflicts: 100000 | #Constraints: 188480
241.42/242.00 c #Conflicts: 101000 | #Constraints: 189480
241.42/242.00 c #Conflicts: 102000 | #Constraints: 190480
241.42/242.00 c #Conflicts: 103000 | #Constraints: 191480
241.42/242.00 c INPROCESSING
241.42/242.00 c GARBAGE COLLECT
241.42/242.00 c rational objective 99
248.51/249.18 c #Conflicts: 104000 | #Constraints: 186077
248.51/249.18 c #Conflicts: 105000 | #Constraints: 187077
248.51/249.18 c #Conflicts: 106000 | #Constraints: 188077
248.51/249.18 c #Conflicts: 107000 | #Constraints: 189077
248.51/249.18 c #Conflicts: 108000 | #Constraints: 190077
248.51/249.18 c #Conflicts: 109000 | #Constraints: 191077
248.51/249.18 c #Conflicts: 110000 | #Constraints: 192077
248.51/249.18 c INPROCESSING
248.51/249.18 c GARBAGE COLLECT
248.51/249.18 c rational objective 99
260.27/260.92 c #Conflicts: 111000 | #Constraints: 186473
260.27/260.92 c #Conflicts: 112000 | #Constraints: 187473
260.27/260.92 c #Conflicts: 113000 | #Constraints: 188473
260.27/260.92 c #Conflicts: 114000 | #Constraints: 189473
260.27/260.92 c #Conflicts: 115000 | #Constraints: 190473
260.27/260.92 c #Conflicts: 116000 | #Constraints: 191473
260.27/260.92 c #Conflicts: 117000 | #Constraints: 192473
260.27/260.92 c INPROCESSING
260.27/260.92 c GARBAGE COLLECT
260.27/260.92 c rational objective 99
268.36/269.10 c #Conflicts: 118000 | #Constraints: 186665
268.36/269.10 c #Conflicts: 119000 | #Constraints: 187665
268.36/269.10 c #Conflicts: 120000 | #Constraints: 188665
268.36/269.10 c #Conflicts: 121000 | #Constraints: 189665
268.36/269.10 c #Conflicts: 122000 | #Constraints: 190665
268.36/269.10 c #Conflicts: 123000 | #Constraints: 191665
268.36/269.10 c #Conflicts: 124000 | #Constraints: 192665
268.36/269.10 c INPROCESSING
268.36/269.10 c GARBAGE COLLECT
268.36/269.10 c rational objective 99
277.44/278.18 c #Conflicts: 125000 | #Constraints: 186682
277.44/278.18 c #Conflicts: 126000 | #Constraints: 187682
277.44/278.18 c #Conflicts: 127000 | #Constraints: 188682
277.44/278.18 c #Conflicts: 128000 | #Constraints: 189682
277.44/278.18 c #Conflicts: 129000 | #Constraints: 190682
277.44/278.18 c #Conflicts: 130000 | #Constraints: 191682
277.44/278.18 c #Conflicts: 131000 | #Constraints: 192682
277.44/278.18 c INPROCESSING
277.44/278.18 c GARBAGE COLLECT
277.44/278.18 c rational objective 99
288.22/288.97 c #Conflicts: 132000 | #Constraints: 186477
288.22/288.97 c #Conflicts: 133000 | #Constraints: 187477
288.22/288.97 c #Conflicts: 134000 | #Constraints: 188477
288.22/288.97 c #Conflicts: 135000 | #Constraints: 189477
288.22/288.97 c #Conflicts: 136000 | #Constraints: 190477
288.22/288.97 c #Conflicts: 137000 | #Constraints: 191477
288.22/288.97 c #Conflicts: 138000 | #Constraints: 192477
288.22/288.97 c #Conflicts: 139000 | #Constraints: 193477
288.22/288.97 c INPROCESSING
288.22/288.97 c GARBAGE COLLECT
288.22/288.97 c rational objective 99
297.10/297.85 c #Conflicts: 140000 | #Constraints: 187080
297.10/297.85 c #Conflicts: 141000 | #Constraints: 188080
297.10/297.85 c #Conflicts: 142000 | #Constraints: 189080
297.10/297.85 c #Conflicts: 143000 | #Constraints: 190080
297.10/297.85 c #Conflicts: 144000 | #Constraints: 191080
297.10/297.85 c #Conflicts: 145000 | #Constraints: 192080
297.10/297.85 c #Conflicts: 146000 | #Constraints: 193080
297.10/297.85 c #Conflicts: 147000 | #Constraints: 194080
297.10/297.85 c INPROCESSING
297.10/297.85 c GARBAGE COLLECT
297.10/297.85 c rational objective 99
307.28/308.07 c #Conflicts: 148000 | #Constraints: 187486
307.28/308.07 c #Conflicts: 149000 | #Constraints: 188486
307.28/308.07 c #Conflicts: 150000 | #Constraints: 189486
307.28/308.07 c #Conflicts: 151000 | #Constraints: 190486
307.28/308.07 c #Conflicts: 152000 | #Constraints: 191486
307.28/308.07 c #Conflicts: 153000 | #Constraints: 192486
307.28/308.07 c #Conflicts: 154000 | #Constraints: 193487
307.28/308.07 c #Conflicts: 155000 | #Constraints: 194487
307.28/308.07 c INPROCESSING
307.28/308.07 c GARBAGE COLLECT
307.28/308.07 c rational objective 99
481.76/482.97 c #Conflicts: 156000 | #Constraints: 187694
481.76/482.97 c #Conflicts: 157000 | #Constraints: 188694
481.76/482.97 c #Conflicts: 158000 | #Constraints: 189694
481.76/482.97 c #Conflicts: 159000 | #Constraints: 190694
481.76/482.97 c #Conflicts: 160000 | #Constraints: 191694
481.76/482.97 c #Conflicts: 161000 | #Constraints: 192695
481.76/482.97 c #Conflicts: 162000 | #Constraints: 193695
481.76/482.97 c #Conflicts: 163000 | #Constraints: 194695
481.76/482.97 c INPROCESSING
481.76/482.97 c GARBAGE COLLECT
481.76/482.97 c #Conflicts: 164000 | #Constraints: 187692
481.76/482.97 c #Conflicts: 165000 | #Constraints: 188692
481.76/482.97 c #Conflicts: 166000 | #Constraints: 189692
481.76/482.97 c #Conflicts: 167000 | #Constraints: 190692
481.76/482.97 c #Conflicts: 168000 | #Constraints: 191692
481.76/482.97 c #Conflicts: 169000 | #Constraints: 192692
481.76/482.97 c #Conflicts: 170000 | #Constraints: 193692
481.76/482.97 c #Conflicts: 171000 | #Constraints: 194692
481.76/482.97 c INPROCESSING
481.76/482.97 c GARBAGE COLLECT
481.76/482.97 c rational objective 99
493.04/494.21 c #Conflicts: 172000 | #Constraints: 187504
493.04/494.21 c #Conflicts: 173000 | #Constraints: 188504
493.04/494.21 c #Conflicts: 174000 | #Constraints: 189504
493.04/494.21 c #Conflicts: 175000 | #Constraints: 190504
493.04/494.21 c #Conflicts: 176000 | #Constraints: 191504
493.04/494.21 c #Conflicts: 177000 | #Constraints: 192504
493.04/494.21 c #Conflicts: 178000 | #Constraints: 193504
493.04/494.21 c #Conflicts: 179000 | #Constraints: 194504
493.04/494.21 c #Conflicts: 180000 | #Constraints: 195504
493.04/494.21 c INPROCESSING
493.04/494.21 c GARBAGE COLLECT
493.04/494.21 c rational objective 99
505.60/506.80 c #Conflicts: 181000 | #Constraints: 188102
505.60/506.80 c #Conflicts: 182000 | #Constraints: 189102
505.60/506.80 c #Conflicts: 183000 | #Constraints: 190102
505.60/506.80 c #Conflicts: 184000 | #Constraints: 191102
505.60/506.80 c #Conflicts: 185000 | #Constraints: 192102
505.60/506.80 c #Conflicts: 186000 | #Constraints: 193102
505.60/506.80 c #Conflicts: 187000 | #Constraints: 194102
505.60/506.80 c #Conflicts: 188000 | #Constraints: 195102
505.60/506.80 c #Conflicts: 189000 | #Constraints: 196102
505.60/506.80 c INPROCESSING
505.60/506.80 c GARBAGE COLLECT
505.60/506.80 c rational objective 99
517.77/519.06 c #Conflicts: 190000 | #Constraints: 188502
517.77/519.06 c #Conflicts: 191000 | #Constraints: 189502
517.77/519.06 c #Conflicts: 192000 | #Constraints: 190502
517.77/519.06 c #Conflicts: 193000 | #Constraints: 191502
517.77/519.06 c #Conflicts: 194000 | #Constraints: 192502
517.77/519.06 c #Conflicts: 195000 | #Constraints: 193502
517.77/519.06 c #Conflicts: 196000 | #Constraints: 194502
517.77/519.06 c #Conflicts: 197000 | #Constraints: 195502
517.77/519.06 c #Conflicts: 198000 | #Constraints: 196502
517.77/519.06 c INPROCESSING
517.77/519.06 c GARBAGE COLLECT
517.77/519.06 c rational objective 99
529.73/531.06 c #Conflicts: 199000 | #Constraints: 188719
529.73/531.06 c #Conflicts: 200000 | #Constraints: 189719
529.73/531.06 c #Conflicts: 201000 | #Constraints: 190719
529.73/531.06 c #Conflicts: 202000 | #Constraints: 191719
529.73/531.06 c #Conflicts: 203000 | #Constraints: 192719
529.73/531.06 c #Conflicts: 204000 | #Constraints: 193719
529.73/531.06 c #Conflicts: 205000 | #Constraints: 194719
529.73/531.06 c #Conflicts: 206000 | #Constraints: 195719
529.73/531.06 c #Conflicts: 207000 | #Constraints: 196719
529.73/531.06 c INPROCESSING
529.73/531.06 c GARBAGE COLLECT
529.73/531.06 c rational objective 99
544.40/545.70 c #Conflicts: 208000 | #Constraints: 188720
544.40/545.70 c #Conflicts: 209000 | #Constraints: 189720
544.40/545.70 c #Conflicts: 210000 | #Constraints: 190720
544.40/545.70 c #Conflicts: 211000 | #Constraints: 191720
544.40/545.70 c #Conflicts: 212000 | #Constraints: 192720
544.40/545.70 c #Conflicts: 213000 | #Constraints: 193720
544.40/545.70 c #Conflicts: 214000 | #Constraints: 194720
544.40/545.70 c #Conflicts: 215000 | #Constraints: 195720
544.40/545.70 c #Conflicts: 216000 | #Constraints: 196720
544.40/545.70 c INPROCESSING
544.40/545.70 c GARBAGE COLLECT
544.40/545.70 c rational objective 99
557.16/558.54 c #Conflicts: 217000 | #Constraints: 188513
557.16/558.54 c #Conflicts: 218000 | #Constraints: 189513
557.16/558.54 c #Conflicts: 219000 | #Constraints: 190513
557.16/558.54 c #Conflicts: 220000 | #Constraints: 191513
557.16/558.54 c #Conflicts: 221000 | #Constraints: 192513
557.16/558.54 c #Conflicts: 222000 | #Constraints: 193513
557.16/558.54 c #Conflicts: 223000 | #Constraints: 194513
557.16/558.54 c #Conflicts: 224000 | #Constraints: 195513
557.16/558.54 c #Conflicts: 225000 | #Constraints: 196513
557.16/558.54 c #Conflicts: 226000 | #Constraints: 197513
557.16/558.54 c INPROCESSING
557.16/558.54 c GARBAGE COLLECT
557.16/558.54 c rational objective 99
571.32/572.79 c #Conflicts: 227000 | #Constraints: 189121
571.32/572.79 c #Conflicts: 228000 | #Constraints: 190121
571.32/572.79 c #Conflicts: 229000 | #Constraints: 191121
571.32/572.79 c #Conflicts: 230000 | #Constraints: 192121
571.32/572.79 c #Conflicts: 231000 | #Constraints: 193121
571.32/572.79 c #Conflicts: 232000 | #Constraints: 194121
571.32/572.79 c #Conflicts: 233000 | #Constraints: 195121
571.32/572.79 c #Conflicts: 234000 | #Constraints: 196121
571.32/572.79 c #Conflicts: 235000 | #Constraints: 197121
571.32/572.79 c #Conflicts: 236000 | #Constraints: 198121
571.32/572.79 c INPROCESSING
571.32/572.79 c GARBAGE COLLECT
571.32/572.79 c rational objective 99
584.29/585.77 c #Conflicts: 237000 | #Constraints: 189506
584.29/585.77 c #Conflicts: 238000 | #Constraints: 190506
584.29/585.77 c #Conflicts: 239000 | #Constraints: 191506
584.29/585.77 c #Conflicts: 240000 | #Constraints: 192506
584.29/585.77 c #Conflicts: 241000 | #Constraints: 193506
584.29/585.77 c #Conflicts: 242000 | #Constraints: 194506
584.29/585.77 c #Conflicts: 243000 | #Constraints: 195506
584.29/585.77 c #Conflicts: 244000 | #Constraints: 196506
584.29/585.77 c #Conflicts: 245000 | #Constraints: 197506
584.29/585.77 c #Conflicts: 246000 | #Constraints: 198506
584.29/585.77 c INPROCESSING
584.29/585.77 c GARBAGE COLLECT
584.29/585.77 c rational objective 99
597.36/598.87 c #Conflicts: 247000 | #Constraints: 189704
597.36/598.87 c #Conflicts: 248000 | #Constraints: 190704
597.36/598.87 c #Conflicts: 249000 | #Constraints: 191704
597.36/598.87 c #Conflicts: 250000 | #Constraints: 192704
597.36/598.87 c #Conflicts: 251000 | #Constraints: 193704
597.36/598.87 c #Conflicts: 252000 | #Constraints: 194704
597.36/598.87 c #Conflicts: 253000 | #Constraints: 195704
597.36/598.87 c #Conflicts: 254000 | #Constraints: 196704
597.36/598.87 c #Conflicts: 255000 | #Constraints: 197704
597.36/598.87 c #Conflicts: 256000 | #Constraints: 198704
597.36/598.87 c INPROCESSING
597.36/598.87 c GARBAGE COLLECT
597.36/598.87 c rational objective 99
610.53/612.08 c #Conflicts: 257000 | #Constraints: 189728
610.53/612.08 c #Conflicts: 258000 | #Constraints: 190728
610.53/612.08 c #Conflicts: 259000 | #Constraints: 191728
610.53/612.08 c #Conflicts: 260000 | #Constraints: 192728
610.53/612.08 c #Conflicts: 261000 | #Constraints: 193728
610.53/612.08 c #Conflicts: 262000 | #Constraints: 194728
610.53/612.08 c #Conflicts: 263000 | #Constraints: 195728
610.53/612.08 c #Conflicts: 264000 | #Constraints: 196728
610.53/612.08 c #Conflicts: 265000 | #Constraints: 197728
610.53/612.08 c #Conflicts: 266000 | #Constraints: 198728
610.53/612.08 c INPROCESSING
610.53/612.08 c GARBAGE COLLECT
610.53/612.08 c rational objective 99
625.98/627.54 c #Conflicts: 267000 | #Constraints: 189527
625.98/627.54 c #Conflicts: 268000 | #Constraints: 190527
625.98/627.54 c #Conflicts: 269000 | #Constraints: 191527
625.98/627.54 c #Conflicts: 270000 | #Constraints: 192527
625.98/627.54 c #Conflicts: 271000 | #Constraints: 193527
625.98/627.54 c #Conflicts: 272000 | #Constraints: 194527
625.98/627.54 c #Conflicts: 273000 | #Constraints: 195527
625.98/627.54 c #Conflicts: 274000 | #Constraints: 196527
625.98/627.54 c #Conflicts: 275000 | #Constraints: 197527
625.98/627.54 c #Conflicts: 276000 | #Constraints: 198527
625.98/627.54 c #Conflicts: 277000 | #Constraints: 199527
625.98/627.54 c INPROCESSING
625.98/627.54 c GARBAGE COLLECT
625.98/627.54 c rational objective 99
639.04/640.69 c #Conflicts: 278000 | #Constraints: 190122
639.04/640.69 c #Conflicts: 279000 | #Constraints: 191122
639.04/640.69 c #Conflicts: 280000 | #Constraints: 192122
639.04/640.69 c #Conflicts: 281000 | #Constraints: 193122
639.04/640.69 c #Conflicts: 282000 | #Constraints: 194122
639.04/640.69 c #Conflicts: 283000 | #Constraints: 195122
639.04/640.69 c #Conflicts: 284000 | #Constraints: 196122
639.04/640.69 c #Conflicts: 285000 | #Constraints: 197122
639.04/640.69 c #Conflicts: 286000 | #Constraints: 198122
639.04/640.69 c #Conflicts: 287000 | #Constraints: 199122
639.04/640.69 c #Conflicts: 288000 | #Constraints: 200122
639.04/640.69 c INPROCESSING
639.04/640.69 c GARBAGE COLLECT
639.04/640.69 c rational objective 99
653.71/655.38 c #Conflicts: 289000 | #Constraints: 190519
653.71/655.38 c #Conflicts: 290000 | #Constraints: 191519
653.71/655.38 c #Conflicts: 291000 | #Constraints: 192519
653.71/655.38 c #Conflicts: 292000 | #Constraints: 193519
653.71/655.38 c #Conflicts: 293000 | #Constraints: 194519
653.71/655.38 c #Conflicts: 294000 | #Constraints: 195519
653.71/655.38 c #Conflicts: 295000 | #Constraints: 196519
653.71/655.38 c #Conflicts: 296000 | #Constraints: 197519
653.71/655.38 c #Conflicts: 297000 | #Constraints: 198519
653.71/655.38 c #Conflicts: 298000 | #Constraints: 199519
653.71/655.38 c #Conflicts: 299000 | #Constraints: 200519
653.71/655.38 c INPROCESSING
653.71/655.38 c GARBAGE COLLECT
653.71/655.38 c rational objective 99
666.87/668.59 c #Conflicts: 300000 | #Constraints: 190725
666.87/668.59 c #Conflicts: 301000 | #Constraints: 191725
666.87/668.59 c #Conflicts: 302000 | #Constraints: 192725
666.87/668.59 c #Conflicts: 303000 | #Constraints: 193725
666.87/668.59 c #Conflicts: 304000 | #Constraints: 194725
666.87/668.59 c #Conflicts: 305000 | #Constraints: 195725
666.87/668.59 c #Conflicts: 306000 | #Constraints: 196725
666.87/668.59 c #Conflicts: 307000 | #Constraints: 197725
666.87/668.59 c #Conflicts: 308000 | #Constraints: 198725
666.87/668.59 c #Conflicts: 309000 | #Constraints: 199725
666.87/668.59 c #Conflicts: 310000 | #Constraints: 200725
666.87/668.59 c INPROCESSING
666.87/668.59 c GARBAGE COLLECT
666.87/668.59 c rational objective 99
681.83/683.56 c #Conflicts: 311000 | #Constraints: 190730
681.83/683.56 c #Conflicts: 312000 | #Constraints: 191730
681.83/683.56 c #Conflicts: 313000 | #Constraints: 192730
681.83/683.56 c #Conflicts: 314000 | #Constraints: 193730
681.83/683.56 c #Conflicts: 315000 | #Constraints: 194730
681.83/683.56 c #Conflicts: 316000 | #Constraints: 195730
681.83/683.56 c #Conflicts: 317000 | #Constraints: 196730
681.83/683.56 c #Conflicts: 318000 | #Constraints: 197730
681.83/683.56 c #Conflicts: 319000 | #Constraints: 198731
681.83/683.56 c #Conflicts: 320000 | #Constraints: 199731
681.83/683.56 c #Conflicts: 321000 | #Constraints: 200731
681.83/683.56 c INPROCESSING
681.83/683.56 c GARBAGE COLLECT
681.83/683.56 c rational objective 99
923.38/925.79 c #Conflicts: 322000 | #Constraints: 190544
923.38/925.79 c #Conflicts: 323000 | #Constraints: 191544
923.38/925.79 c #Conflicts: 324000 | #Constraints: 192544
923.38/925.79 c #Conflicts: 325000 | #Constraints: 193544
923.38/925.79 c #Conflicts: 326000 | #Constraints: 194544
923.38/925.79 c #Conflicts: 327000 | #Constraints: 195544
923.38/925.79 c #Conflicts: 328000 | #Constraints: 196544
923.38/925.79 c #Conflicts: 329000 | #Constraints: 197544
923.38/925.79 c #Conflicts: 330000 | #Constraints: 198544
923.38/925.79 c #Conflicts: 331000 | #Constraints: 199544
923.38/925.79 c #Conflicts: 332000 | #Constraints: 200545
923.38/925.79 c #Conflicts: 333000 | #Constraints: 201545
923.38/925.79 c INPROCESSING
923.38/925.79 c GARBAGE COLLECT
923.38/925.79 c rational objective 99
940.24/942.62 c #Conflicts: 334000 | #Constraints: 191149
940.24/942.62 c #Conflicts: 335000 | #Constraints: 192150
940.24/942.62 c #Conflicts: 336000 | #Constraints: 193150
940.24/942.62 c #Conflicts: 337000 | #Constraints: 194150
940.24/942.62 c #Conflicts: 338000 | #Constraints: 195150
940.24/942.62 c #Conflicts: 339000 | #Constraints: 196150
940.24/942.62 c #Conflicts: 340000 | #Constraints: 197150
940.24/942.62 c #Conflicts: 341000 | #Constraints: 198150
940.24/942.62 c #Conflicts: 342000 | #Constraints: 199150
940.24/942.62 c #Conflicts: 343000 | #Constraints: 200150
940.24/942.62 c #Conflicts: 344000 | #Constraints: 201150
940.24/942.62 c #Conflicts: 345000 | #Constraints: 202150
940.24/942.62 c INPROCESSING
940.24/942.62 c GARBAGE COLLECT
940.24/942.62 c rational objective 99
955.10/957.57 c #Conflicts: 346000 | #Constraints: 191553
955.10/957.57 c #Conflicts: 347000 | #Constraints: 192553
955.10/957.57 c #Conflicts: 348000 | #Constraints: 193553
955.10/957.57 c #Conflicts: 349000 | #Constraints: 194553
955.10/957.57 c #Conflicts: 350000 | #Constraints: 195553
955.10/957.57 c #Conflicts: 351000 | #Constraints: 196553
955.10/957.57 c #Conflicts: 352000 | #Constraints: 197553
955.10/957.57 c #Conflicts: 353000 | #Constraints: 198553
955.10/957.57 c #Conflicts: 354000 | #Constraints: 199553
955.10/957.57 c #Conflicts: 355000 | #Constraints: 200553
955.10/957.57 c #Conflicts: 356000 | #Constraints: 201553
955.10/957.57 c #Conflicts: 357000 | #Constraints: 202553
955.10/957.57 c INPROCESSING
955.10/957.57 c GARBAGE COLLECT
955.10/957.57 c rational objective 99
971.15/973.64 c #Conflicts: 358000 | #Constraints: 191741
971.15/973.64 c #Conflicts: 359000 | #Constraints: 192741
971.15/973.64 c #Conflicts: 360000 | #Constraints: 193741
971.15/973.64 c #Conflicts: 361000 | #Constraints: 194741
971.15/973.64 c #Conflicts: 362000 | #Constraints: 195741
971.15/973.64 c #Conflicts: 363000 | #Constraints: 196741
971.15/973.64 c #Conflicts: 364000 | #Constraints: 197741
971.15/973.64 c #Conflicts: 365000 | #Constraints: 198741
971.15/973.64 c #Conflicts: 366000 | #Constraints: 199741
971.15/973.64 c #Conflicts: 367000 | #Constraints: 200741
971.15/973.64 c #Conflicts: 368000 | #Constraints: 201741
971.15/973.64 c #Conflicts: 369000 | #Constraints: 202741
971.15/973.64 c INPROCESSING
971.15/973.64 c GARBAGE COLLECT
971.15/973.64 c rational objective 99
987.42/989.99 c #Conflicts: 370000 | #Constraints: 191747
987.42/989.99 c #Conflicts: 371000 | #Constraints: 192747
987.42/989.99 c #Conflicts: 372000 | #Constraints: 193747
987.42/989.99 c #Conflicts: 373000 | #Constraints: 194747
987.42/989.99 c #Conflicts: 374000 | #Constraints: 195747
987.42/989.99 c #Conflicts: 375000 | #Constraints: 196747
987.42/989.99 c #Conflicts: 376000 | #Constraints: 197747
987.42/989.99 c #Conflicts: 377000 | #Constraints: 198747
987.42/989.99 c #Conflicts: 378000 | #Constraints: 199747
987.42/989.99 c #Conflicts: 379000 | #Constraints: 200747
987.42/989.99 c #Conflicts: 380000 | #Constraints: 201747
987.42/989.99 c #Conflicts: 381000 | #Constraints: 202747
987.42/989.99 c INPROCESSING
987.42/989.99 c GARBAGE COLLECT
987.42/989.99 c rational objective 99
1002.37/1004.92 c #Conflicts: 382000 | #Constraints: 191557
1002.37/1004.92 c #Conflicts: 383000 | #Constraints: 192557
1002.37/1004.92 c #Conflicts: 384000 | #Constraints: 193557
1002.37/1004.92 c #Conflicts: 385000 | #Constraints: 194557
1002.37/1004.92 c #Conflicts: 386000 | #Constraints: 195557
1002.37/1004.92 c #Conflicts: 387000 | #Constraints: 196557
1002.37/1004.92 c #Conflicts: 388000 | #Constraints: 197557
1002.37/1004.92 c #Conflicts: 389000 | #Constraints: 198557
1002.37/1004.92 c #Conflicts: 390000 | #Constraints: 199557
1002.37/1004.92 c #Conflicts: 391000 | #Constraints: 200557
1002.37/1004.92 c #Conflicts: 392000 | #Constraints: 201557
1002.37/1004.92 c #Conflicts: 393000 | #Constraints: 202557
1002.37/1004.92 c #Conflicts: 394000 | #Constraints: 203557
1002.37/1004.92 c INPROCESSING
1002.37/1004.92 c GARBAGE COLLECT
1002.37/1004.92 c rational objective 99
1022.52/1025.14 c #Conflicts: 395000 | #Constraints: 192156
1022.52/1025.14 c #Conflicts: 396000 | #Constraints: 193156
1022.52/1025.14 c #Conflicts: 397000 | #Constraints: 194156
1022.52/1025.14 c #Conflicts: 398000 | #Constraints: 195156
1022.52/1025.14 c #Conflicts: 399000 | #Constraints: 196156
1022.52/1025.14 c #Conflicts: 400000 | #Constraints: 197156
1022.52/1025.14 c #Conflicts: 401000 | #Constraints: 198156
1022.52/1025.14 c #Conflicts: 402000 | #Constraints: 199156
1022.52/1025.14 c #Conflicts: 403000 | #Constraints: 200156
1022.52/1025.14 c #Conflicts: 404000 | #Constraints: 201156
1022.52/1025.14 c #Conflicts: 405000 | #Constraints: 202156
1022.52/1025.14 c #Conflicts: 406000 | #Constraints: 203156
1022.52/1025.14 c #Conflicts: 407000 | #Constraints: 204156
1022.52/1025.14 c INPROCESSING
1022.52/1025.14 c GARBAGE COLLECT
1022.52/1025.14 c rational objective 99
1040.08/1042.74 c #Conflicts: 408000 | #Constraints: 192556
1040.08/1042.74 c #Conflicts: 409000 | #Constraints: 193556
1040.08/1042.74 c #Conflicts: 410000 | #Constraints: 194556
1040.08/1042.74 c #Conflicts: 411000 | #Constraints: 195556
1040.08/1042.74 c #Conflicts: 412000 | #Constraints: 196556
1040.08/1042.74 c #Conflicts: 413000 | #Constraints: 197556
1040.08/1042.74 c #Conflicts: 414000 | #Constraints: 198556
1040.08/1042.74 c #Conflicts: 415000 | #Constraints: 199556
1040.08/1042.74 c #Conflicts: 416000 | #Constraints: 200556
1040.08/1042.74 c #Conflicts: 417000 | #Constraints: 201556
1040.08/1042.74 c #Conflicts: 418000 | #Constraints: 202556
1040.08/1042.74 c #Conflicts: 419000 | #Constraints: 203556
1040.08/1042.74 c #Conflicts: 420000 | #Constraints: 204556
1040.08/1042.74 c INPROCESSING
1040.08/1042.74 c GARBAGE COLLECT
1040.08/1042.74 c rational objective 99
1056.73/1059.49 c #Conflicts: 421000 | #Constraints: 192746
1056.73/1059.49 c #Conflicts: 422000 | #Constraints: 193746
1056.73/1059.49 c #Conflicts: 423000 | #Constraints: 194746
1056.73/1059.49 c #Conflicts: 424000 | #Constraints: 195746
1056.73/1059.49 c #Conflicts: 425000 | #Constraints: 196746
1056.73/1059.49 c #Conflicts: 426000 | #Constraints: 197746
1056.73/1059.49 c #Conflicts: 427000 | #Constraints: 198746
1056.73/1059.49 c #Conflicts: 428000 | #Constraints: 199746
1056.73/1059.49 c #Conflicts: 429000 | #Constraints: 200746
1056.73/1059.49 c #Conflicts: 430000 | #Constraints: 201746
1056.73/1059.49 c #Conflicts: 431000 | #Constraints: 202746
1056.73/1059.49 c #Conflicts: 432000 | #Constraints: 203746
1056.73/1059.49 c #Conflicts: 433000 | #Constraints: 204746
1056.73/1059.49 c INPROCESSING
1056.73/1059.49 c GARBAGE COLLECT
1056.73/1059.49 c rational objective 99
1076.18/1078.97 c #Conflicts: 434000 | #Constraints: 192763
1076.18/1078.97 c #Conflicts: 435000 | #Constraints: 193763
1076.18/1078.97 c #Conflicts: 436000 | #Constraints: 194763
1076.18/1078.97 c #Conflicts: 437000 | #Constraints: 195763
1076.18/1078.97 c #Conflicts: 438000 | #Constraints: 196763
1076.18/1078.97 c #Conflicts: 439000 | #Constraints: 197764
1076.18/1078.97 c #Conflicts: 440000 | #Constraints: 198764
1076.18/1078.97 c #Conflicts: 441000 | #Constraints: 199764
1076.18/1078.97 c #Conflicts: 442000 | #Constraints: 200764
1076.18/1078.97 c #Conflicts: 443000 | #Constraints: 201764
1076.18/1078.97 c #Conflicts: 444000 | #Constraints: 202764
1076.18/1078.97 c #Conflicts: 445000 | #Constraints: 203764
1076.18/1078.97 c #Conflicts: 446000 | #Constraints: 204764
1076.18/1078.97 c INPROCESSING
1076.18/1078.97 c GARBAGE COLLECT
1076.18/1078.97 c rational objective 99
1093.63/1096.42 c #Conflicts: 447000 | #Constraints: 192574
1093.63/1096.42 c #Conflicts: 448000 | #Constraints: 193574
1093.63/1096.42 c #Conflicts: 449000 | #Constraints: 194574
1093.63/1096.42 c #Conflicts: 450000 | #Constraints: 195574
1093.63/1096.42 c #Conflicts: 451000 | #Constraints: 196574
1093.63/1096.42 c #Conflicts: 452000 | #Constraints: 197574
1093.63/1096.42 c #Conflicts: 453000 | #Constraints: 198574
1093.63/1096.42 c #Conflicts: 454000 | #Constraints: 199574
1093.63/1096.42 c #Conflicts: 455000 | #Constraints: 200574
1093.63/1096.42 c #Conflicts: 456000 | #Constraints: 201574
1093.63/1096.42 c #Conflicts: 457000 | #Constraints: 202574
1093.63/1096.42 c #Conflicts: 458000 | #Constraints: 203574
1093.63/1096.42 c #Conflicts: 459000 | #Constraints: 204574
1093.63/1096.42 c #Conflicts: 460000 | #Constraints: 205574
1093.63/1096.42 c INPROCESSING
1093.63/1096.42 c GARBAGE COLLECT
1093.63/1096.42 c rational objective 99
1110.78/1113.64 c #Conflicts: 461000 | #Constraints: 193162
1110.78/1113.64 c #Conflicts: 462000 | #Constraints: 194162
1110.78/1113.64 c #Conflicts: 463000 | #Constraints: 195162
1110.78/1113.64 c #Conflicts: 464000 | #Constraints: 196162
1110.78/1113.64 c #Conflicts: 465000 | #Constraints: 197162
1110.78/1113.64 c #Conflicts: 466000 | #Constraints: 198162
1110.78/1113.64 c #Conflicts: 467000 | #Constraints: 199162
1110.78/1113.64 c #Conflicts: 468000 | #Constraints: 200162
1110.78/1113.64 c #Conflicts: 469000 | #Constraints: 201162
1110.78/1113.64 c #Conflicts: 470000 | #Constraints: 202163
1110.78/1113.64 c #Conflicts: 471000 | #Constraints: 203164
1110.78/1113.64 c #Conflicts: 472000 | #Constraints: 204164
1110.78/1113.64 c #Conflicts: 473000 | #Constraints: 205164
1110.78/1113.64 c #Conflicts: 474000 | #Constraints: 206164
1110.78/1113.64 c INPROCESSING
1110.78/1113.64 c GARBAGE COLLECT
1110.78/1113.64 c rational objective 99
1132.24/1135.18 c #Conflicts: 475000 | #Constraints: 193580
1132.24/1135.18 c #Conflicts: 476000 | #Constraints: 194580
1132.24/1135.18 c #Conflicts: 477000 | #Constraints: 195580
1132.24/1135.18 c #Conflicts: 478000 | #Constraints: 196580
1132.24/1135.18 c #Conflicts: 479000 | #Constraints: 197580
1132.24/1135.18 c #Conflicts: 480000 | #Constraints: 198580
1132.24/1135.18 c #Conflicts: 481000 | #Constraints: 199580
1132.24/1135.18 c #Conflicts: 482000 | #Constraints: 200580
1132.24/1135.18 c #Conflicts: 483000 | #Constraints: 201580
1132.24/1135.18 c #Conflicts: 484000 | #Constraints: 202580
1132.24/1135.18 c #Conflicts: 485000 | #Constraints: 203580
1132.24/1135.18 c #Conflicts: 486000 | #Constraints: 204580
1132.24/1135.18 c #Conflicts: 487000 | #Constraints: 205580
1132.24/1135.18 c #Conflicts: 488000 | #Constraints: 206580
1132.24/1135.18 c INPROCESSING
1132.24/1135.18 c GARBAGE COLLECT
1132.24/1135.18 c rational objective 99
1153.08/1156.08 c #Conflicts: 489000 | #Constraints: 193791
1153.08/1156.08 c #Conflicts: 490000 | #Constraints: 194791
1153.08/1156.08 c #Conflicts: 491000 | #Constraints: 195791
1153.08/1156.08 c #Conflicts: 492000 | #Constraints: 196791
1153.08/1156.08 c #Conflicts: 493000 | #Constraints: 197791
1153.08/1156.08 c #Conflicts: 494000 | #Constraints: 198791
1153.08/1156.08 c #Conflicts: 495000 | #Constraints: 199791
1153.08/1156.08 c #Conflicts: 496000 | #Constraints: 200791
1153.08/1156.08 c #Conflicts: 497000 | #Constraints: 201791
1153.08/1156.08 c #Conflicts: 498000 | #Constraints: 202791
1153.08/1156.08 c #Conflicts: 499000 | #Constraints: 203791
1153.08/1156.08 c #Conflicts: 500000 | #Constraints: 204791
1153.08/1156.08 c #Conflicts: 501000 | #Constraints: 205791
1153.08/1156.08 c #Conflicts: 502000 | #Constraints: 206791
1153.08/1156.08 c INPROCESSING
1153.08/1156.08 c GARBAGE COLLECT
1153.08/1156.08 c rational objective 99
1170.72/1173.73 c #Conflicts: 503000 | #Constraints: 193798
1170.72/1173.73 c #Conflicts: 504000 | #Constraints: 194798
1170.72/1173.73 c #Conflicts: 505000 | #Constraints: 195798
1170.72/1173.73 c #Conflicts: 506000 | #Constraints: 196798
1170.72/1173.73 c #Conflicts: 507000 | #Constraints: 197798
1170.72/1173.73 c #Conflicts: 508000 | #Constraints: 198798
1170.72/1173.73 c #Conflicts: 509000 | #Constraints: 199798
1170.72/1173.73 c #Conflicts: 510000 | #Constraints: 200798
1170.72/1173.73 c #Conflicts: 511000 | #Constraints: 201798
1170.72/1173.73 c #Conflicts: 512000 | #Constraints: 202798
1170.72/1173.73 c #Conflicts: 513000 | #Constraints: 203798
1170.72/1173.73 c #Conflicts: 514000 | #Constraints: 204798
1170.72/1173.73 c #Conflicts: 515000 | #Constraints: 205798
1170.72/1173.73 c #Conflicts: 516000 | #Constraints: 206798
1170.72/1173.73 c INPROCESSING
1170.72/1173.73 c GARBAGE COLLECT
1170.72/1173.73 c rational objective 99
1189.98/1193.04 c #Conflicts: 517000 | #Constraints: 193597
1189.98/1193.04 c #Conflicts: 518000 | #Constraints: 194597
1189.98/1193.04 c #Conflicts: 519000 | #Constraints: 195597
1189.98/1193.04 c #Conflicts: 520000 | #Constraints: 196597
1189.98/1193.04 c #Conflicts: 521000 | #Constraints: 197597
1189.98/1193.04 c #Conflicts: 522000 | #Constraints: 198597
1189.98/1193.04 c #Conflicts: 523000 | #Constraints: 199597
1189.98/1193.04 c #Conflicts: 524000 | #Constraints: 200597
1189.98/1193.04 c #Conflicts: 525000 | #Constraints: 201597
1189.98/1193.04 c #Conflicts: 526000 | #Constraints: 202597
1189.98/1193.04 c #Conflicts: 527000 | #Constraints: 203597
1189.98/1193.04 c #Conflicts: 528000 | #Constraints: 204597
1189.98/1193.04 c #Conflicts: 529000 | #Constraints: 205597
1189.98/1193.04 c #Conflicts: 530000 | #Constraints: 206597
1189.98/1193.04 c #Conflicts: 531000 | #Constraints: 207597
1189.98/1193.04 c INPROCESSING
1189.98/1193.04 c GARBAGE COLLECT
1189.98/1193.04 c rational objective 99
1212.42/1215.54 c #Conflicts: 532000 | #Constraints: 194199
1212.42/1215.54 c #Conflicts: 533000 | #Constraints: 195199
1212.42/1215.54 c #Conflicts: 534000 | #Constraints: 196199
1212.42/1215.54 c #Conflicts: 535000 | #Constraints: 197199
1212.42/1215.54 c #Conflicts: 536000 | #Constraints: 198199
1212.42/1215.54 c #Conflicts: 537000 | #Constraints: 199199
1212.42/1215.54 c #Conflicts: 538000 | #Constraints: 200199
1212.42/1215.54 c #Conflicts: 539000 | #Constraints: 201199
1212.42/1215.54 c #Conflicts: 540000 | #Constraints: 202199
1212.42/1215.54 c #Conflicts: 541000 | #Constraints: 203199
1212.42/1215.54 c #Conflicts: 542000 | #Constraints: 204199
1212.42/1215.54 c #Conflicts: 543000 | #Constraints: 205199
1212.42/1215.54 c #Conflicts: 544000 | #Constraints: 206199
1212.42/1215.54 c #Conflicts: 545000 | #Constraints: 207199
1212.42/1215.54 c #Conflicts: 546000 | #Constraints: 208199
1212.42/1215.54 c INPROCESSING
1212.42/1215.54 c GARBAGE COLLECT
1212.42/1215.54 c rational objective 99
1234.86/1238.04 c #Conflicts: 547000 | #Constraints: 194586
1234.86/1238.04 c #Conflicts: 548000 | #Constraints: 195586
1234.86/1238.04 c #Conflicts: 549000 | #Constraints: 196586
1234.86/1238.04 c #Conflicts: 550000 | #Constraints: 197586
1234.86/1238.04 c #Conflicts: 551000 | #Constraints: 198586
1234.86/1238.04 c #Conflicts: 552000 | #Constraints: 199586
1234.86/1238.04 c #Conflicts: 553000 | #Constraints: 200586
1234.86/1238.04 c #Conflicts: 554000 | #Constraints: 201586
1234.86/1238.04 c #Conflicts: 555000 | #Constraints: 202586
1234.86/1238.04 c #Conflicts: 556000 | #Constraints: 203586
1234.86/1238.04 c #Conflicts: 557000 | #Constraints: 204586
1234.86/1238.04 c #Conflicts: 558000 | #Constraints: 205586
1234.86/1238.04 c #Conflicts: 559000 | #Constraints: 206586
1234.86/1238.04 c #Conflicts: 560000 | #Constraints: 207586
1234.86/1238.04 c #Conflicts: 561000 | #Constraints: 208586
1234.86/1238.04 c INPROCESSING
1234.86/1238.04 c GARBAGE COLLECT
1234.86/1238.04 c rational objective 99
1430.93/1434.64 c #Conflicts: 562000 | #Constraints: 194757
1430.93/1434.64 c #Conflicts: 563000 | #Constraints: 195757
1430.93/1434.64 c #Conflicts: 564000 | #Constraints: 196757
1430.93/1434.64 c #Conflicts: 565000 | #Constraints: 197757
1430.93/1434.64 c #Conflicts: 566000 | #Constraints: 198757
1430.93/1434.64 c #Conflicts: 567000 | #Constraints: 199757
1430.93/1434.64 c #Conflicts: 568000 | #Constraints: 200757
1430.93/1434.64 c #Conflicts: 569000 | #Constraints: 201757
1430.93/1434.64 c #Conflicts: 570000 | #Constraints: 202757
1430.93/1434.64 c #Conflicts: 571000 | #Constraints: 203757
1430.93/1434.64 c #Conflicts: 572000 | #Constraints: 204757
1430.93/1434.64 c #Conflicts: 573000 | #Constraints: 205757
1430.93/1434.64 c #Conflicts: 574000 | #Constraints: 206757
1430.93/1434.64 c #Conflicts: 575000 | #Constraints: 207757
1430.93/1434.64 c #Conflicts: 576000 | #Constraints: 208758
1430.93/1434.64 c INPROCESSING
1430.93/1434.64 c GARBAGE COLLECT
1430.93/1434.64 c rational objective 99
1451.68/1455.42 c #Conflicts: 577000 | #Constraints: 194780
1451.68/1455.42 c #Conflicts: 578000 | #Constraints: 195780
1451.68/1455.42 c #Conflicts: 579000 | #Constraints: 196780
1451.68/1455.42 c #Conflicts: 580000 | #Constraints: 197780
1451.68/1455.42 c #Conflicts: 581000 | #Constraints: 198780
1451.68/1455.42 c #Conflicts: 582000 | #Constraints: 199780
1451.68/1455.42 c #Conflicts: 583000 | #Constraints: 200780
1451.68/1455.42 c #Conflicts: 584000 | #Constraints: 201780
1451.68/1455.42 c #Conflicts: 585000 | #Constraints: 202780
1451.68/1455.42 c #Conflicts: 586000 | #Constraints: 203780
1451.68/1455.42 c #Conflicts: 587000 | #Constraints: 204780
1451.68/1455.42 c #Conflicts: 588000 | #Constraints: 205780
1451.68/1455.42 c #Conflicts: 589000 | #Constraints: 206780
1451.68/1455.42 c #Conflicts: 590000 | #Constraints: 207780
1451.68/1455.42 c #Conflicts: 591000 | #Constraints: 208780
1451.68/1455.42 c INPROCESSING
1451.68/1455.42 c GARBAGE COLLECT
1451.68/1455.42 c rational objective 99
1475.02/1478.82 c #Conflicts: 592000 | #Constraints: 194599
1475.02/1478.82 c #Conflicts: 593000 | #Constraints: 195599
1475.02/1478.82 c #Conflicts: 594000 | #Constraints: 196599
1475.02/1478.82 c #Conflicts: 595000 | #Constraints: 197599
1475.02/1478.82 c #Conflicts: 596000 | #Constraints: 198599
1475.02/1478.82 c #Conflicts: 597000 | #Constraints: 199599
1475.02/1478.82 c #Conflicts: 598000 | #Constraints: 200599
1475.02/1478.82 c #Conflicts: 599000 | #Constraints: 201599
1475.02/1478.82 c #Conflicts: 600000 | #Constraints: 202599
1475.02/1478.82 c #Conflicts: 601000 | #Constraints: 203599
1475.02/1478.82 c #Conflicts: 602000 | #Constraints: 204599
1475.02/1478.82 c #Conflicts: 603000 | #Constraints: 205599
1475.02/1478.82 c #Conflicts: 604000 | #Constraints: 206599
1475.02/1478.82 c #Conflicts: 605000 | #Constraints: 207599
1475.02/1478.82 c #Conflicts: 606000 | #Constraints: 208599
1475.02/1478.82 c #Conflicts: 607000 | #Constraints: 209599
1475.02/1478.82 c INPROCESSING
1475.02/1478.82 c GARBAGE COLLECT
1475.02/1478.82 c rational objective 99
1495.86/1499.70 c #Conflicts: 608000 | #Constraints: 195215
1495.86/1499.70 c #Conflicts: 609000 | #Constraints: 196215
1495.86/1499.70 c #Conflicts: 610000 | #Constraints: 197215
1495.86/1499.70 c #Conflicts: 611000 | #Constraints: 198215
1495.86/1499.70 c #Conflicts: 612000 | #Constraints: 199215
1495.86/1499.70 c #Conflicts: 613000 | #Constraints: 200215
1495.86/1499.70 c #Conflicts: 614000 | #Constraints: 201215
1495.86/1499.70 c #Conflicts: 615000 | #Constraints: 202215
1495.86/1499.70 c #Conflicts: 616000 | #Constraints: 203215
1495.86/1499.70 c #Conflicts: 617000 | #Constraints: 204215
1495.86/1499.70 c #Conflicts: 618000 | #Constraints: 205215
1495.86/1499.70 c #Conflicts: 619000 | #Constraints: 206215
1495.86/1499.70 c #Conflicts: 620000 | #Constraints: 207215
1495.86/1499.70 c #Conflicts: 621000 | #Constraints: 208215
1495.86/1499.70 c #Conflicts: 622000 | #Constraints: 209215
1495.86/1499.70 c #Conflicts: 623000 | #Constraints: 210215
1495.86/1499.70 c INPROCESSING
1495.86/1499.70 c GARBAGE COLLECT
1495.86/1499.70 c rational objective 99
1517.60/1521.55 c #Conflicts: 624000 | #Constraints: 195597
1517.60/1521.55 c #Conflicts: 625000 | #Constraints: 196597
1517.60/1521.55 c #Conflicts: 626000 | #Constraints: 197597
1517.60/1521.55 c #Conflicts: 627000 | #Constraints: 198597
1517.60/1521.55 c #Conflicts: 628000 | #Constraints: 199597
1517.60/1521.55 c #Conflicts: 629000 | #Constraints: 200597
1517.60/1521.55 c #Conflicts: 630000 | #Constraints: 201597
1517.60/1521.55 c #Conflicts: 631000 | #Constraints: 202597
1517.60/1521.55 c #Conflicts: 632000 | #Constraints: 203597
1517.60/1521.55 c #Conflicts: 633000 | #Constraints: 204597
1517.60/1521.55 c #Conflicts: 634000 | #Constraints: 205597
1517.60/1521.55 c #Conflicts: 635000 | #Constraints: 206597
1517.60/1521.55 c #Conflicts: 636000 | #Constraints: 207598
1517.60/1521.55 c #Conflicts: 637000 | #Constraints: 208598
1517.60/1521.55 c #Conflicts: 638000 | #Constraints: 209598
1517.60/1521.55 c #Conflicts: 639000 | #Constraints: 210598
1517.60/1521.55 c INPROCESSING
1517.60/1521.55 c GARBAGE COLLECT
1517.60/1521.55 c rational objective 99
1540.15/1544.12 c #Conflicts: 640000 | #Constraints: 195797
1540.15/1544.12 c #Conflicts: 641000 | #Constraints: 196797
1540.15/1544.12 c #Conflicts: 642000 | #Constraints: 197797
1540.15/1544.12 c #Conflicts: 643000 | #Constraints: 198797
1540.15/1544.12 c #Conflicts: 644000 | #Constraints: 199797
1540.15/1544.12 c #Conflicts: 645000 | #Constraints: 200797
1540.15/1544.12 c #Conflicts: 646000 | #Constraints: 201797
1540.15/1544.12 c #Conflicts: 647000 | #Constraints: 202797
1540.15/1544.12 c #Conflicts: 648000 | #Constraints: 203798
1540.15/1544.12 c #Conflicts: 649000 | #Constraints: 204798
1540.15/1544.12 c #Conflicts: 650000 | #Constraints: 205798
1540.15/1544.12 c #Conflicts: 651000 | #Constraints: 206798
1540.15/1544.12 c #Conflicts: 652000 | #Constraints: 207798
1540.15/1544.12 c #Conflicts: 653000 | #Constraints: 208798
1540.15/1544.12 c #Conflicts: 654000 | #Constraints: 209798
1540.15/1544.12 c #Conflicts: 655000 | #Constraints: 210798
1540.15/1544.12 c INPROCESSING
1540.15/1544.12 c GARBAGE COLLECT
1540.15/1544.12 c rational objective 99
1563.78/1567.88 c #Conflicts: 656000 | #Constraints: 195792
1563.78/1567.88 c #Conflicts: 657000 | #Constraints: 196792
1563.78/1567.88 c #Conflicts: 658000 | #Constraints: 197792
1563.78/1567.88 c #Conflicts: 659000 | #Constraints: 198792
1563.78/1567.88 c #Conflicts: 660000 | #Constraints: 199792
1563.78/1567.88 c #Conflicts: 661000 | #Constraints: 200792
1563.78/1567.88 c #Conflicts: 662000 | #Constraints: 201792
1563.78/1567.88 c #Conflicts: 663000 | #Constraints: 202792
1563.78/1567.88 c #Conflicts: 664000 | #Constraints: 203792
1563.78/1567.88 c #Conflicts: 665000 | #Constraints: 204792
1563.78/1567.88 c #Conflicts: 666000 | #Constraints: 205792
1563.78/1567.88 c #Conflicts: 667000 | #Constraints: 206792
1563.78/1567.88 c #Conflicts: 668000 | #Constraints: 207792
1563.78/1567.88 c #Conflicts: 669000 | #Constraints: 208792
1563.78/1567.88 c #Conflicts: 670000 | #Constraints: 209792
1563.78/1567.88 c #Conflicts: 671000 | #Constraints: 210792
1563.78/1567.88 c INPROCESSING
1563.78/1567.88 c GARBAGE COLLECT
1563.78/1567.88 c rational objective 99
1587.62/1591.77 c #Conflicts: 672000 | #Constraints: 195587
1587.62/1591.77 c #Conflicts: 673000 | #Constraints: 196587
1587.62/1591.77 c #Conflicts: 674000 | #Constraints: 197587
1587.62/1591.77 c #Conflicts: 675000 | #Constraints: 198587
1587.62/1591.77 c #Conflicts: 676000 | #Constraints: 199587
1587.62/1591.77 c #Conflicts: 677000 | #Constraints: 200587
1587.62/1591.77 c #Conflicts: 678000 | #Constraints: 201587
1587.62/1591.77 c #Conflicts: 679000 | #Constraints: 202587
1587.62/1591.77 c #Conflicts: 680000 | #Constraints: 203587
1587.62/1591.77 c #Conflicts: 681000 | #Constraints: 204587
1587.62/1591.77 c #Conflicts: 682000 | #Constraints: 205587
1587.62/1591.77 c #Conflicts: 683000 | #Constraints: 206587
1587.62/1591.77 c #Conflicts: 684000 | #Constraints: 207587
1587.62/1591.77 c #Conflicts: 685000 | #Constraints: 208587
1587.62/1591.77 c #Conflicts: 686000 | #Constraints: 209587
1587.62/1591.77 c #Conflicts: 687000 | #Constraints: 210587
1587.62/1591.77 c #Conflicts: 688000 | #Constraints: 211587
1587.62/1591.77 c INPROCESSING
1587.62/1591.77 c GARBAGE COLLECT
1587.62/1591.77 c rational objective 99
1608.27/1612.48 c #Conflicts: 689000 | #Constraints: 196201
1608.27/1612.48 c #Conflicts: 690000 | #Constraints: 197201
1608.27/1612.48 c #Conflicts: 691000 | #Constraints: 198201
1608.27/1612.48 c #Conflicts: 692000 | #Constraints: 199201
1608.27/1612.48 c #Conflicts: 693000 | #Constraints: 200201
1608.27/1612.48 c #Conflicts: 694000 | #Constraints: 201201
1608.27/1612.48 c #Conflicts: 695000 | #Constraints: 202201
1608.27/1612.48 c #Conflicts: 696000 | #Constraints: 203201
1608.27/1612.48 c #Conflicts: 697000 | #Constraints: 204201
1608.27/1612.48 c #Conflicts: 698000 | #Constraints: 205201
1608.27/1612.48 c #Conflicts: 699000 | #Constraints: 206201
1608.27/1612.48 c #Conflicts: 700000 | #Constraints: 207202
1608.27/1612.48 c #Conflicts: 701000 | #Constraints: 208202
1608.27/1612.48 c #Conflicts: 702000 | #Constraints: 209202
1608.27/1612.48 c #Conflicts: 703000 | #Constraints: 210202
1608.27/1612.48 c #Conflicts: 704000 | #Constraints: 211202
1608.27/1612.48 c #Conflicts: 705000 | #Constraints: 212202
1608.27/1612.48 c INPROCESSING
1608.27/1612.48 c GARBAGE COLLECT
1608.27/1612.48 c rational objective 99
1635.19/1639.41 c #Conflicts: 706000 | #Constraints: 196621
1635.19/1639.41 c #Conflicts: 707000 | #Constraints: 197621
1635.19/1639.41 c #Conflicts: 708000 | #Constraints: 198621
1635.19/1639.41 c #Conflicts: 709000 | #Constraints: 199621
1635.19/1639.41 c #Conflicts: 710000 | #Constraints: 200621
1635.19/1639.41 c #Conflicts: 711000 | #Constraints: 201621
1635.19/1639.41 c #Conflicts: 712000 | #Constraints: 202621
1635.19/1639.41 c #Conflicts: 713000 | #Constraints: 203621
1635.19/1639.41 c #Conflicts: 714000 | #Constraints: 204621
1635.19/1639.41 c #Conflicts: 715000 | #Constraints: 205621
1635.19/1639.41 c #Conflicts: 716000 | #Constraints: 206621
1635.19/1639.41 c #Conflicts: 717000 | #Constraints: 207621
1635.19/1639.41 c #Conflicts: 718000 | #Constraints: 208621
1635.19/1639.41 c #Conflicts: 719000 | #Constraints: 209621
1635.19/1639.41 c #Conflicts: 720000 | #Constraints: 210621
1635.19/1639.41 c #Conflicts: 721000 | #Constraints: 211621
1635.19/1639.41 c #Conflicts: 722000 | #Constraints: 212621
1635.19/1639.41 c INPROCESSING
1635.19/1639.41 c GARBAGE COLLECT
1635.19/1639.41 c rational objective 99
1658.43/1662.71 c #Conflicts: 723000 | #Constraints: 196815
1658.43/1662.71 c #Conflicts: 724000 | #Constraints: 197815
1658.43/1662.71 c #Conflicts: 725000 | #Constraints: 198815
1658.43/1662.71 c #Conflicts: 726000 | #Constraints: 199815
1658.43/1662.71 c #Conflicts: 727000 | #Constraints: 200815
1658.43/1662.71 c #Conflicts: 728000 | #Constraints: 201815
1658.43/1662.71 c #Conflicts: 729000 | #Constraints: 202815
1658.43/1662.71 c #Conflicts: 730000 | #Constraints: 203815
1658.43/1662.71 c #Conflicts: 731000 | #Constraints: 204815
1658.43/1662.71 c #Conflicts: 732000 | #Constraints: 205815
1658.43/1662.71 c #Conflicts: 733000 | #Constraints: 206815
1658.43/1662.71 c #Conflicts: 734000 | #Constraints: 207815
1658.43/1662.71 c #Conflicts: 735000 | #Constraints: 208815
1658.43/1662.71 c #Conflicts: 736000 | #Constraints: 209815
1658.43/1662.71 c #Conflicts: 737000 | #Constraints: 210815
1658.43/1662.71 c #Conflicts: 738000 | #Constraints: 211815
1658.43/1662.71 c #Conflicts: 739000 | #Constraints: 212815
1658.43/1662.71 c INPROCESSING
1658.43/1662.71 c GARBAGE COLLECT
1658.43/1662.71 c rational objective 99
1682.07/1686.42 c #Conflicts: 740000 | #Constraints: 196819
1682.07/1686.42 c #Conflicts: 741000 | #Constraints: 197819
1682.07/1686.42 c #Conflicts: 742000 | #Constraints: 198819
1682.07/1686.42 c #Conflicts: 743000 | #Constraints: 199819
1682.07/1686.42 c #Conflicts: 744000 | #Constraints: 200819
1682.07/1686.42 c #Conflicts: 745000 | #Constraints: 201819
1682.07/1686.42 c #Conflicts: 746000 | #Constraints: 202820
1682.07/1686.42 c #Conflicts: 747000 | #Constraints: 203820
1682.07/1686.42 c #Conflicts: 748000 | #Constraints: 204820
1682.07/1686.42 c #Conflicts: 749000 | #Constraints: 205820
1682.07/1686.42 c #Conflicts: 750000 | #Constraints: 206820
1682.07/1686.42 c #Conflicts: 751000 | #Constraints: 207820
1682.07/1686.42 c #Conflicts: 752000 | #Constraints: 208820
1682.07/1686.42 c #Conflicts: 753000 | #Constraints: 209820
1682.07/1686.42 c #Conflicts: 754000 | #Constraints: 210820
1682.07/1686.42 c #Conflicts: 755000 | #Constraints: 211820
1682.07/1686.42 c #Conflicts: 756000 | #Constraints: 212820
1682.07/1686.42 c INPROCESSING
1682.07/1686.42 c GARBAGE COLLECT
1682.07/1686.42 c rational objective 99
1706.70/1711.17 c #Conflicts: 757000 | #Constraints: 196619
1706.70/1711.17 c #Conflicts: 758000 | #Constraints: 197619
1706.70/1711.17 c #Conflicts: 759000 | #Constraints: 198619
1706.70/1711.17 c #Conflicts: 760000 | #Constraints: 199619
1706.70/1711.17 c #Conflicts: 761000 | #Constraints: 200619
1706.70/1711.17 c #Conflicts: 762000 | #Constraints: 201619
1706.70/1711.17 c #Conflicts: 763000 | #Constraints: 202619
1706.70/1711.17 c #Conflicts: 764000 | #Constraints: 203619
1706.70/1711.17 c #Conflicts: 765000 | #Constraints: 204619
1706.70/1711.17 c #Conflicts: 766000 | #Constraints: 205619
1706.70/1711.17 c #Conflicts: 767000 | #Constraints: 206619
1706.70/1711.17 c #Conflicts: 768000 | #Constraints: 207619
1706.70/1711.17 c #Conflicts: 769000 | #Constraints: 208619
1706.70/1711.17 c #Conflicts: 770000 | #Constraints: 209619
1706.70/1711.17 c #Conflicts: 771000 | #Constraints: 210619
1706.70/1711.17 c #Conflicts: 772000 | #Constraints: 211619
1706.70/1711.17 c #Conflicts: 773000 | #Constraints: 212619
1706.70/1711.17 c #Conflicts: 774000 | #Constraints: 213619
1706.70/1711.17 c INPROCESSING
1706.70/1711.17 c GARBAGE COLLECT
1706.70/1711.17 c rational objective 99
1730.14/1734.63 c #Conflicts: 775000 | #Constraints: 197212
1730.14/1734.63 c #Conflicts: 776000 | #Constraints: 198212
1730.14/1734.63 c #Conflicts: 777000 | #Constraints: 199212
1730.14/1734.63 c #Conflicts: 778000 | #Constraints: 200212
1730.14/1734.63 c #Conflicts: 779000 | #Constraints: 201212
1730.14/1734.63 c #Conflicts: 780000 | #Constraints: 202212
1730.14/1734.63 c #Conflicts: 781000 | #Constraints: 203212
1730.14/1734.63 c #Conflicts: 782000 | #Constraints: 204212
1730.14/1734.63 c #Conflicts: 783000 | #Constraints: 205212
1730.14/1734.63 c #Conflicts: 784000 | #Constraints: 206212
1730.14/1734.63 c #Conflicts: 785000 | #Constraints: 207212
1730.14/1734.63 c #Conflicts: 786000 | #Constraints: 208212
1730.14/1734.63 c #Conflicts: 787000 | #Constraints: 209213
1730.14/1734.63 c #Conflicts: 788000 | #Constraints: 210213
1730.14/1734.63 c #Conflicts: 789000 | #Constraints: 211213
1730.14/1734.63 c #Conflicts: 790000 | #Constraints: 212213
1730.14/1734.63 c #Conflicts: 791000 | #Constraints: 213213
1730.14/1734.63 c #Conflicts: 792000 | #Constraints: 214213
1730.14/1734.63 c INPROCESSING
1730.14/1734.63 c GARBAGE COLLECT
1730.14/1734.63 c rational objective 99
1755.17/1759.79 c #Conflicts: 793000 | #Constraints: 197625
1755.17/1759.79 c #Conflicts: 794000 | #Constraints: 198625
1755.17/1759.79 c #Conflicts: 795000 | #Constraints: 199625
1755.17/1759.79 c #Conflicts: 796000 | #Constraints: 200625
1755.17/1759.79 c #Conflicts: 797000 | #Constraints: 201625
1755.17/1759.79 c #Conflicts: 798000 | #Constraints: 202625
1755.17/1759.79 c #Conflicts: 799000 | #Constraints: 203625
1755.17/1759.79 c #Conflicts: 800000 | #Constraints: 204625
1755.17/1759.79 c #Conflicts: 801000 | #Constraints: 205625
1755.17/1759.79 c #Conflicts: 802000 | #Constraints: 206625
1755.17/1759.79 c #Conflicts: 803000 | #Constraints: 207625
1755.17/1759.79 c #Conflicts: 804000 | #Constraints: 208625
1755.17/1759.79 c #Conflicts: 805000 | #Constraints: 209625
1755.17/1759.79 c #Conflicts: 806000 | #Constraints: 210626
1755.17/1759.79 c #Conflicts: 807000 | #Constraints: 211626
1755.17/1759.79 c #Conflicts: 808000 | #Constraints: 212626
1755.17/1759.79 c #Conflicts: 809000 | #Constraints: 213626
1755.17/1759.79 c #Conflicts: 810000 | #Constraints: 214626
1755.17/1759.79 c INPROCESSING
1755.17/1759.79 c GARBAGE COLLECT
1755.17/1759.79 c rational objective 99
1779.11/1783.77 c #Conflicts: 811000 | #Constraints: 197811
1779.11/1783.77 c #Conflicts: 812000 | #Constraints: 198811
1779.11/1783.77 c #Conflicts: 813000 | #Constraints: 199811
1779.11/1783.77 c #Conflicts: 814000 | #Constraints: 200811
1779.11/1783.77 c #Conflicts: 815000 | #Constraints: 201811
1779.11/1783.77 c #Conflicts: 816000 | #Constraints: 202811
1779.11/1783.77 c #Conflicts: 817000 | #Constraints: 203811
1779.11/1783.77 c #Conflicts: 818000 | #Constraints: 204811
1779.11/1783.77 c #Conflicts: 819000 | #Constraints: 205811
1779.11/1783.77 c #Conflicts: 820000 | #Constraints: 206811
1779.11/1783.77 c #Conflicts: 821000 | #Constraints: 207811
1779.11/1783.77 c #Conflicts: 822000 | #Constraints: 208811
1779.11/1783.77 c #Conflicts: 823000 | #Constraints: 209811
1779.11/1783.77 c #Conflicts: 824000 | #Constraints: 210811
1779.11/1783.77 c #Conflicts: 825000 | #Constraints: 211811
1779.11/1783.77 c #Conflicts: 826000 | #Constraints: 212812
1779.11/1783.77 c #Conflicts: 827000 | #Constraints: 213812
1779.11/1783.77 c #Conflicts: 828000 | #Constraints: 214812
1779.11/1783.77 c INPROCESSING
1779.11/1783.77 c GARBAGE COLLECT
1779.11/1783.77 c rational objective 99
1982.96/1988.14 c #Conflicts: 829000 | #Constraints: 197823
1982.96/1988.14 c #Conflicts: 830000 | #Constraints: 198823
1982.96/1988.14 c #Conflicts: 831000 | #Constraints: 199823
1982.96/1988.14 c #Conflicts: 832000 | #Constraints: 200823
1982.96/1988.14 c #Conflicts: 833000 | #Constraints: 201823
1982.96/1988.14 c #Conflicts: 834000 | #Constraints: 202823
1982.96/1988.14 c #Conflicts: 835000 | #Constraints: 203823
1982.96/1988.14 c #Conflicts: 836000 | #Constraints: 204823
1982.96/1988.14 c #Conflicts: 837000 | #Constraints: 205823
1982.96/1988.14 c #Conflicts: 838000 | #Constraints: 206823
1982.96/1988.14 c #Conflicts: 839000 | #Constraints: 207823
1982.96/1988.14 c #Conflicts: 840000 | #Constraints: 208823
1982.96/1988.14 c #Conflicts: 841000 | #Constraints: 209823
1982.96/1988.14 c #Conflicts: 842000 | #Constraints: 210823
1982.96/1988.14 c #Conflicts: 843000 | #Constraints: 211823
1982.96/1988.14 c #Conflicts: 844000 | #Constraints: 212823
1982.96/1988.14 c #Conflicts: 845000 | #Constraints: 213823
1982.96/1988.14 c #Conflicts: 846000 | #Constraints: 214824
1982.96/1988.14 c INPROCESSING
1982.96/1988.14 c GARBAGE COLLECT
1982.96/1988.14 c rational objective 99
2009.29/2014.51 c #Conflicts: 847000 | #Constraints: 197603
2009.29/2014.51 c #Conflicts: 848000 | #Constraints: 198603
2009.29/2014.51 c #Conflicts: 849000 | #Constraints: 199603
2009.29/2014.51 c #Conflicts: 850000 | #Constraints: 200603
2009.29/2014.51 c #Conflicts: 851000 | #Constraints: 201603
2009.29/2014.51 c #Conflicts: 852000 | #Constraints: 202603
2009.29/2014.51 c #Conflicts: 853000 | #Constraints: 203603
2009.29/2014.51 c #Conflicts: 854000 | #Constraints: 204603
2009.29/2014.51 c #Conflicts: 855000 | #Constraints: 205603
2009.29/2014.51 c #Conflicts: 856000 | #Constraints: 206603
2009.29/2014.51 c #Conflicts: 857000 | #Constraints: 207603
2009.29/2014.51 c #Conflicts: 858000 | #Constraints: 208603
2009.29/2014.51 c #Conflicts: 859000 | #Constraints: 209603
2009.29/2014.51 c #Conflicts: 860000 | #Constraints: 210603
2009.29/2014.51 c #Conflicts: 861000 | #Constraints: 211603
2009.29/2014.51 c #Conflicts: 862000 | #Constraints: 212603
2009.29/2014.51 c #Conflicts: 863000 | #Constraints: 213603
2009.29/2014.51 c #Conflicts: 864000 | #Constraints: 214603
2009.29/2014.51 c #Conflicts: 865000 | #Constraints: 215603
2009.29/2014.51 c INPROCESSING
2009.29/2014.51 c GARBAGE COLLECT
2009.29/2014.51 c rational objective 99
2037.31/2042.61 c #Conflicts: 866000 | #Constraints: 198207
2037.31/2042.61 c #Conflicts: 867000 | #Constraints: 199207
2037.31/2042.61 c #Conflicts: 868000 | #Constraints: 200207
2037.31/2042.61 c #Conflicts: 869000 | #Constraints: 201207
2037.31/2042.61 c #Conflicts: 870000 | #Constraints: 202207
2037.31/2042.61 c #Conflicts: 871000 | #Constraints: 203207
2037.31/2042.61 c #Conflicts: 872000 | #Constraints: 204207
2037.31/2042.61 c #Conflicts: 873000 | #Constraints: 205207
2037.31/2042.61 c #Conflicts: 874000 | #Constraints: 206207
2037.31/2042.61 c #Conflicts: 875000 | #Constraints: 207207
2037.31/2042.61 c #Conflicts: 876000 | #Constraints: 208207
2037.31/2042.61 c #Conflicts: 877000 | #Constraints: 209207
2037.31/2042.61 c #Conflicts: 878000 | #Constraints: 210207
2037.31/2042.61 c #Conflicts: 879000 | #Constraints: 211207
2037.31/2042.61 c #Conflicts: 880000 | #Constraints: 212208
2037.31/2042.61 c #Conflicts: 881000 | #Constraints: 213208
2037.31/2042.61 c #Conflicts: 882000 | #Constraints: 214208
2037.31/2042.61 c #Conflicts: 883000 | #Constraints: 215208
2037.31/2042.61 c #Conflicts: 884000 | #Constraints: 216208
2037.31/2042.61 c INPROCESSING
2037.31/2042.61 c GARBAGE COLLECT
2037.31/2042.61 c rational objective 99
2063.35/2068.77 c #Conflicts: 885000 | #Constraints: 198614
2063.35/2068.77 c #Conflicts: 886000 | #Constraints: 199614
2063.35/2068.77 c #Conflicts: 887000 | #Constraints: 200614
2063.35/2068.77 c #Conflicts: 888000 | #Constraints: 201614
2063.35/2068.77 c #Conflicts: 889000 | #Constraints: 202614
2063.35/2068.77 c #Conflicts: 890000 | #Constraints: 203614
2063.35/2068.77 c #Conflicts: 891000 | #Constraints: 204614
2063.35/2068.77 c #Conflicts: 892000 | #Constraints: 205614
2063.35/2068.77 c #Conflicts: 893000 | #Constraints: 206614
2063.35/2068.77 c #Conflicts: 894000 | #Constraints: 207614
2063.35/2068.77 c #Conflicts: 895000 | #Constraints: 208614
2063.35/2068.77 c #Conflicts: 896000 | #Constraints: 209614
2063.35/2068.77 c #Conflicts: 897000 | #Constraints: 210614
2063.35/2068.77 c #Conflicts: 898000 | #Constraints: 211614
2063.35/2068.77 c #Conflicts: 899000 | #Constraints: 212614
2063.35/2068.77 c #Conflicts: 900000 | #Constraints: 213614
2063.35/2068.77 c #Conflicts: 901000 | #Constraints: 214614
2063.35/2068.77 c #Conflicts: 902000 | #Constraints: 215614
2063.35/2068.77 c #Conflicts: 903000 | #Constraints: 216614
2063.35/2068.77 c INPROCESSING
2063.35/2068.77 c GARBAGE COLLECT
2063.35/2068.77 c rational objective 99
2090.97/2096.43 c #Conflicts: 904000 | #Constraints: 198838
2090.97/2096.43 c #Conflicts: 905000 | #Constraints: 199838
2090.97/2096.43 c #Conflicts: 906000 | #Constraints: 200838
2090.97/2096.43 c #Conflicts: 907000 | #Constraints: 201838
2090.97/2096.43 c #Conflicts: 908000 | #Constraints: 202838
2090.97/2096.43 c #Conflicts: 909000 | #Constraints: 203838
2090.97/2096.43 c #Conflicts: 910000 | #Constraints: 204838
2090.97/2096.43 c #Conflicts: 911000 | #Constraints: 205838
2090.97/2096.43 c #Conflicts: 912000 | #Constraints: 206838
2090.97/2096.43 c #Conflicts: 913000 | #Constraints: 207838
2090.97/2096.43 c #Conflicts: 914000 | #Constraints: 208838
2090.97/2096.43 c #Conflicts: 915000 | #Constraints: 209838
2090.97/2096.43 c #Conflicts: 916000 | #Constraints: 210838
2090.97/2096.43 c #Conflicts: 917000 | #Constraints: 211838
2090.97/2096.43 c #Conflicts: 918000 | #Constraints: 212838
2090.97/2096.43 c #Conflicts: 919000 | #Constraints: 213838
2090.97/2096.43 c #Conflicts: 920000 | #Constraints: 214838
2090.97/2096.43 c #Conflicts: 921000 | #Constraints: 215838
2090.97/2096.43 c #Conflicts: 922000 | #Constraints: 216838
2090.97/2096.43 c INPROCESSING
2090.97/2096.43 c GARBAGE COLLECT
2090.97/2096.43 c rational objective 99
2121.39/2126.95 c #Conflicts: 923000 | #Constraints: 198830
2121.39/2126.95 c #Conflicts: 924000 | #Constraints: 199830
2121.39/2126.95 c #Conflicts: 925000 | #Constraints: 200830
2121.39/2126.95 c #Conflicts: 926000 | #Constraints: 201830
2121.39/2126.95 c #Conflicts: 927000 | #Constraints: 202830
2121.39/2126.95 c #Conflicts: 928000 | #Constraints: 203830
2121.39/2126.95 c #Conflicts: 929000 | #Constraints: 204830
2121.39/2126.95 c #Conflicts: 930000 | #Constraints: 205830
2121.39/2126.95 c #Conflicts: 931000 | #Constraints: 206830
2121.39/2126.95 c #Conflicts: 932000 | #Constraints: 207830
2121.39/2126.95 c #Conflicts: 933000 | #Constraints: 208830
2121.39/2126.95 c #Conflicts: 934000 | #Constraints: 209830
2121.39/2126.95 c #Conflicts: 935000 | #Constraints: 210830
2121.39/2126.95 c #Conflicts: 936000 | #Constraints: 211830
2121.39/2126.95 c #Conflicts: 937000 | #Constraints: 212830
2121.39/2126.95 c #Conflicts: 938000 | #Constraints: 213830
2121.39/2126.95 c #Conflicts: 939000 | #Constraints: 214830
2121.39/2126.95 c #Conflicts: 940000 | #Constraints: 215830
2121.39/2126.95 c #Conflicts: 941000 | #Constraints: 216830
2121.39/2126.95 c INPROCESSING
2121.39/2126.95 c GARBAGE COLLECT
2121.39/2126.95 c rational objective 99
2148.92/2154.55 c #Conflicts: 942000 | #Constraints: 198621
2148.92/2154.55 c #Conflicts: 943000 | #Constraints: 199621
2148.92/2154.55 c #Conflicts: 944000 | #Constraints: 200621
2148.92/2154.55 c #Conflicts: 945000 | #Constraints: 201621
2148.92/2154.55 c #Conflicts: 946000 | #Constraints: 202621
2148.92/2154.55 c #Conflicts: 947000 | #Constraints: 203621
2148.92/2154.55 c #Conflicts: 948000 | #Constraints: 204621
2148.92/2154.55 c #Conflicts: 949000 | #Constraints: 205622
2148.92/2154.55 c #Conflicts: 950000 | #Constraints: 206622
2148.92/2154.55 c #Conflicts: 951000 | #Constraints: 207622
2148.92/2154.55 c #Conflicts: 952000 | #Constraints: 208622
2148.92/2154.55 c #Conflicts: 953000 | #Constraints: 209622
2148.92/2154.55 c #Conflicts: 954000 | #Constraints: 210622
2148.92/2154.55 c #Conflicts: 955000 | #Constraints: 211622
2148.92/2154.55 c #Conflicts: 956000 | #Constraints: 212622
2148.92/2154.55 c #Conflicts: 957000 | #Constraints: 213622
2148.92/2154.55 c #Conflicts: 958000 | #Constraints: 214622
2148.92/2154.55 c #Conflicts: 959000 | #Constraints: 215622
2148.92/2154.55 c #Conflicts: 960000 | #Constraints: 216622
2148.92/2154.55 c #Conflicts: 961000 | #Constraints: 217622
2148.92/2154.55 c INPROCESSING
2148.92/2154.55 c GARBAGE COLLECT
2148.92/2154.55 c rational objective 99
2178.03/2183.71 c #Conflicts: 962000 | #Constraints: 199249
2178.03/2183.71 c #Conflicts: 963000 | #Constraints: 200249
2178.03/2183.71 c #Conflicts: 964000 | #Constraints: 201249
2178.03/2183.71 c #Conflicts: 965000 | #Constraints: 202249
2178.03/2183.71 c #Conflicts: 966000 | #Constraints: 203249
2178.03/2183.71 c #Conflicts: 967000 | #Constraints: 204249
2178.03/2183.71 c #Conflicts: 968000 | #Constraints: 205249
2178.03/2183.71 c #Conflicts: 969000 | #Constraints: 206249
2178.03/2183.71 c #Conflicts: 970000 | #Constraints: 207249
2178.03/2183.71 c #Conflicts: 971000 | #Constraints: 208249
2178.03/2183.71 c #Conflicts: 972000 | #Constraints: 209249
2178.03/2183.71 c #Conflicts: 973000 | #Constraints: 210249
2178.03/2183.71 c #Conflicts: 974000 | #Constraints: 211249
2178.03/2183.71 c #Conflicts: 975000 | #Constraints: 212249
2178.03/2183.71 c #Conflicts: 976000 | #Constraints: 213249
2178.03/2183.71 c #Conflicts: 977000 | #Constraints: 214249
2178.03/2183.71 c #Conflicts: 978000 | #Constraints: 215249
2178.03/2183.71 c #Conflicts: 979000 | #Constraints: 216249
2178.03/2183.71 c #Conflicts: 980000 | #Constraints: 217249
2178.03/2183.71 c #Conflicts: 981000 | #Constraints: 218249
2178.03/2183.71 c INPROCESSING
2178.03/2183.71 c GARBAGE COLLECT
2178.03/2183.71 c rational objective 99
2206.16/2211.95 c #Conflicts: 982000 | #Constraints: 199643
2206.16/2211.95 c #Conflicts: 983000 | #Constraints: 200643
2206.16/2211.95 c #Conflicts: 984000 | #Constraints: 201643
2206.16/2211.95 c #Conflicts: 985000 | #Constraints: 202643
2206.16/2211.95 c #Conflicts: 986000 | #Constraints: 203643
2206.16/2211.95 c #Conflicts: 987000 | #Constraints: 204643
2206.16/2211.95 c #Conflicts: 988000 | #Constraints: 205643
2206.16/2211.95 c #Conflicts: 989000 | #Constraints: 206643
2206.16/2211.95 c #Conflicts: 990000 | #Constraints: 207643
2206.16/2211.95 c #Conflicts: 991000 | #Constraints: 208643
2206.16/2211.95 c #Conflicts: 992000 | #Constraints: 209643
2206.16/2211.95 c #Conflicts: 993000 | #Constraints: 210643
2206.16/2211.95 c #Conflicts: 994000 | #Constraints: 211643
2206.16/2211.95 c #Conflicts: 995000 | #Constraints: 212643
2206.16/2211.95 c #Conflicts: 996000 | #Constraints: 213643
2206.16/2211.95 c #Conflicts: 997000 | #Constraints: 214643
2206.16/2211.95 c #Conflicts: 998000 | #Constraints: 215643
2206.16/2211.95 c #Conflicts: 999000 | #Constraints: 216643
2206.16/2211.95 c #Conflicts: 1000000 | #Constraints: 217643
2206.16/2211.95 c #Conflicts: 1001000 | #Constraints: 218643
2206.16/2211.95 c INPROCESSING
2206.16/2211.95 c GARBAGE COLLECT
2206.16/2211.95 c rational objective 99
2236.47/2242.37 c #Conflicts: 1002000 | #Constraints: 199820
2236.47/2242.37 c #Conflicts: 1003000 | #Constraints: 200820
2236.47/2242.37 c #Conflicts: 1004000 | #Constraints: 201820
2236.47/2242.37 c #Conflicts: 1005000 | #Constraints: 202820
2236.47/2242.37 c #Conflicts: 1006000 | #Constraints: 203820
2236.47/2242.37 c #Conflicts: 1007000 | #Constraints: 204820
2236.47/2242.37 c #Conflicts: 1008000 | #Constraints: 205820
2236.47/2242.37 c #Conflicts: 1009000 | #Constraints: 206820
2236.47/2242.37 c #Conflicts: 1010000 | #Constraints: 207820
2236.47/2242.37 c #Conflicts: 1011000 | #Constraints: 208820
2236.47/2242.37 c #Conflicts: 1012000 | #Constraints: 209820
2236.47/2242.37 c #Conflicts: 1013000 | #Constraints: 210820
2236.47/2242.37 c #Conflicts: 1014000 | #Constraints: 211820
2236.47/2242.37 c #Conflicts: 1015000 | #Constraints: 212820
2236.47/2242.37 c #Conflicts: 1016000 | #Constraints: 213820
2236.47/2242.37 c #Conflicts: 1017000 | #Constraints: 214820
2236.47/2242.37 c #Conflicts: 1018000 | #Constraints: 215820
2236.47/2242.37 c #Conflicts: 1019000 | #Constraints: 216820
2236.47/2242.37 c #Conflicts: 1020000 | #Constraints: 217820
2236.47/2242.37 c #Conflicts: 1021000 | #Constraints: 218820
2236.47/2242.37 c INPROCESSING
2236.47/2242.37 c GARBAGE COLLECT
2236.47/2242.37 c rational objective 99
2265.90/2271.89 c #Conflicts: 1022000 | #Constraints: 199822
2265.90/2271.89 c #Conflicts: 1023000 | #Constraints: 200822
2265.90/2271.89 c #Conflicts: 1024000 | #Constraints: 201822
2265.90/2271.89 c #Conflicts: 1025000 | #Constraints: 202822
2265.90/2271.89 c #Conflicts: 1026000 | #Constraints: 203822
2265.90/2271.89 c #Conflicts: 1027000 | #Constraints: 204822
2265.90/2271.89 c #Conflicts: 1028000 | #Constraints: 205822
2265.90/2271.89 c #Conflicts: 1029000 | #Constraints: 206822
2265.90/2271.89 c #Conflicts: 1030000 | #Constraints: 207822
2265.90/2271.89 c #Conflicts: 1031000 | #Constraints: 208822
2265.90/2271.89 c #Conflicts: 1032000 | #Constraints: 209822
2265.90/2271.89 c #Conflicts: 1033000 | #Constraints: 210822
2265.90/2271.89 c #Conflicts: 1034000 | #Constraints: 211822
2265.90/2271.89 c #Conflicts: 1035000 | #Constraints: 212822
2265.90/2271.89 c #Conflicts: 1036000 | #Constraints: 213822
2265.90/2271.89 c #Conflicts: 1037000 | #Constraints: 214822
2265.90/2271.89 c #Conflicts: 1038000 | #Constraints: 215822
2265.90/2271.89 c #Conflicts: 1039000 | #Constraints: 216822
2265.90/2271.89 c #Conflicts: 1040000 | #Constraints: 217822
2265.90/2271.89 c #Conflicts: 1041000 | #Constraints: 218822
2265.90/2271.89 c INPROCESSING
2265.90/2271.89 c GARBAGE COLLECT
2265.90/2271.89 c rational objective 99
2300.71/2306.70 c #Conflicts: 1042000 | #Constraints: 199612
2300.71/2306.70 c #Conflicts: 1043000 | #Constraints: 200612
2300.71/2306.70 c #Conflicts: 1044000 | #Constraints: 201612
2300.71/2306.70 c #Conflicts: 1045000 | #Constraints: 202612
2300.71/2306.70 c #Conflicts: 1046000 | #Constraints: 203612
2300.71/2306.70 c #Conflicts: 1047000 | #Constraints: 204612
2300.71/2306.70 c #Conflicts: 1048000 | #Constraints: 205612
2300.71/2306.70 c #Conflicts: 1049000 | #Constraints: 206612
2300.71/2306.70 c #Conflicts: 1050000 | #Constraints: 207612
2300.71/2306.70 c #Conflicts: 1051000 | #Constraints: 208612
2300.71/2306.70 c #Conflicts: 1052000 | #Constraints: 209612
2300.71/2306.70 c #Conflicts: 1053000 | #Constraints: 210612
2300.71/2306.70 c #Conflicts: 1054000 | #Constraints: 211612
2300.71/2306.70 c #Conflicts: 1055000 | #Constraints: 212612
2300.71/2306.70 c #Conflicts: 1056000 | #Constraints: 213612
2300.71/2306.70 c #Conflicts: 1057000 | #Constraints: 214612
2300.71/2306.70 c #Conflicts: 1058000 | #Constraints: 215612
2300.71/2306.70 c #Conflicts: 1059000 | #Constraints: 216612
2300.71/2306.70 c #Conflicts: 1060000 | #Constraints: 217612
2300.71/2306.70 c #Conflicts: 1061000 | #Constraints: 218612
2300.71/2306.70 c #Conflicts: 1062000 | #Constraints: 219612
2300.71/2306.70 c INPROCESSING
2300.71/2306.70 c GARBAGE COLLECT
2300.71/2306.70 c rational objective 99
2346.19/2352.39 c #Conflicts: 1063000 | #Constraints: 200234
2346.19/2352.39 c #Conflicts: 1064000 | #Constraints: 201234
2346.19/2352.39 c #Conflicts: 1065000 | #Constraints: 202234
2346.19/2352.39 c #Conflicts: 1066000 | #Constraints: 203234
2346.19/2352.39 c #Conflicts: 1067000 | #Constraints: 204234
2346.19/2352.39 c #Conflicts: 1068000 | #Constraints: 205234
2346.19/2352.39 c #Conflicts: 1069000 | #Constraints: 206234
2346.19/2352.39 c #Conflicts: 1070000 | #Constraints: 207234
2346.19/2352.39 c #Conflicts: 1071000 | #Constraints: 208234
2346.19/2352.39 c #Conflicts: 1072000 | #Constraints: 209234
2346.19/2352.39 c #Conflicts: 1073000 | #Constraints: 210234
2346.19/2352.39 c #Conflicts: 1074000 | #Constraints: 211234
2346.19/2352.39 c #Conflicts: 1075000 | #Constraints: 212234
2346.19/2352.39 c #Conflicts: 1076000 | #Constraints: 213234
2346.19/2352.39 c #Conflicts: 1077000 | #Constraints: 214234
2346.19/2352.39 c #Conflicts: 1078000 | #Constraints: 215234
2346.19/2352.39 c #Conflicts: 1079000 | #Constraints: 216234
2346.19/2352.39 c #Conflicts: 1080000 | #Constraints: 217234
2346.19/2352.39 c #Conflicts: 1081000 | #Constraints: 218234
2346.19/2352.39 c #Conflicts: 1082000 | #Constraints: 219234
2346.19/2352.39 c #Conflicts: 1083000 | #Constraints: 220234
2346.19/2352.39 c INPROCESSING
2346.19/2352.39 c GARBAGE COLLECT
2346.19/2352.39 c rational objective 99
2382.79/2389.02 c #Conflicts: 1084000 | #Constraints: 200637
2382.79/2389.02 c #Conflicts: 1085000 | #Constraints: 201637
2382.79/2389.02 c #Conflicts: 1086000 | #Constraints: 202637
2382.79/2389.02 c #Conflicts: 1087000 | #Constraints: 203637
2382.79/2389.02 c #Conflicts: 1088000 | #Constraints: 204637
2382.79/2389.02 c #Conflicts: 1089000 | #Constraints: 205637
2382.79/2389.02 c #Conflicts: 1090000 | #Constraints: 206637
2382.79/2389.02 c #Conflicts: 1091000 | #Constraints: 207637
2382.79/2389.02 c #Conflicts: 1092000 | #Constraints: 208637
2382.79/2389.02 c #Conflicts: 1093000 | #Constraints: 209637
2382.79/2389.02 c #Conflicts: 1094000 | #Constraints: 210637
2382.79/2389.02 c #Conflicts: 1095000 | #Constraints: 211637
2382.79/2389.02 c #Conflicts: 1096000 | #Constraints: 212637
2382.79/2389.02 c #Conflicts: 1097000 | #Constraints: 213637
2382.79/2389.02 c #Conflicts: 1098000 | #Constraints: 214637
2382.79/2389.02 c #Conflicts: 1099000 | #Constraints: 215637
2382.79/2389.02 c #Conflicts: 1100000 | #Constraints: 216637
2382.79/2389.02 c #Conflicts: 1101000 | #Constraints: 217637
2382.79/2389.02 c #Conflicts: 1102000 | #Constraints: 218637
2382.79/2389.02 c #Conflicts: 1103000 | #Constraints: 219637
2382.79/2389.02 c #Conflicts: 1104000 | #Constraints: 220637
2382.79/2389.02 c INPROCESSING
2382.79/2389.02 c GARBAGE COLLECT
2382.79/2389.02 c rational objective 99
2425.37/2431.70 c #Conflicts: 1105000 | #Constraints: 200860
2425.37/2431.70 c #Conflicts: 1106000 | #Constraints: 201860
2425.37/2431.70 c #Conflicts: 1107000 | #Constraints: 202860
2425.37/2431.70 c #Conflicts: 1108000 | #Constraints: 203860
2425.37/2431.70 c #Conflicts: 1109000 | #Constraints: 204860
2425.37/2431.70 c #Conflicts: 1110000 | #Constraints: 205860
2425.37/2431.70 c #Conflicts: 1111000 | #Constraints: 206860
2425.37/2431.70 c #Conflicts: 1112000 | #Constraints: 207860
2425.37/2431.70 c #Conflicts: 1113000 | #Constraints: 208860
2425.37/2431.70 c #Conflicts: 1114000 | #Constraints: 209860
2425.37/2431.70 c #Conflicts: 1115000 | #Constraints: 210860
2425.37/2431.70 c #Conflicts: 1116000 | #Constraints: 211860
2425.37/2431.70 c #Conflicts: 1117000 | #Constraints: 212860
2425.37/2431.70 c #Conflicts: 1118000 | #Constraints: 213860
2425.37/2431.70 c #Conflicts: 1119000 | #Constraints: 214860
2425.37/2431.70 c #Conflicts: 1120000 | #Constraints: 215860
2425.37/2431.70 c #Conflicts: 1121000 | #Constraints: 216860
2425.37/2431.70 c #Conflicts: 1122000 | #Constraints: 217860
2425.37/2431.70 c #Conflicts: 1123000 | #Constraints: 218860
2425.37/2431.70 c #Conflicts: 1124000 | #Constraints: 219860
2425.37/2431.70 c #Conflicts: 1125000 | #Constraints: 220860
2425.37/2431.70 c INPROCESSING
2425.37/2431.70 c GARBAGE COLLECT
2425.37/2431.70 c rational objective 99
2445.82/2452.26 c #Conflicts: 1126000 | #Constraints: 200837
2445.82/2452.26 c #Conflicts: 1127000 | #Constraints: 201837
2445.82/2452.26 c #Conflicts: 1128000 | #Constraints: 202837
2445.82/2452.26 c #Conflicts: 1129000 | #Constraints: 203837
2445.82/2452.26 c #Conflicts: 1130000 | #Constraints: 204837
2445.82/2452.26 c #Conflicts: 1131000 | #Constraints: 205837
2445.82/2452.26 c #Conflicts: 1132000 | #Constraints: 206837
2445.82/2452.26 c #Conflicts: 1133000 | #Constraints: 207837
2445.82/2452.26 c #Conflicts: 1134000 | #Constraints: 208837
2445.82/2452.26 c #Conflicts: 1135000 | #Constraints: 209837
2445.82/2452.26 c #Conflicts: 1136000 | #Constraints: 210837
2445.82/2452.26 c #Conflicts: 1137000 | #Constraints: 211837
2445.82/2452.26 c #Conflicts: 1138000 | #Constraints: 212837
2445.82/2452.26 c #Conflicts: 1139000 | #Constraints: 213837
2445.82/2452.26 c #Conflicts: 1140000 | #Constraints: 214837
2445.82/2452.26 c #Conflicts: 1141000 | #Constraints: 215837
2445.82/2452.26 c #Conflicts: 1142000 | #Constraints: 216837
2445.82/2452.26 c #Conflicts: 1143000 | #Constraints: 217837
2445.82/2452.26 c #Conflicts: 1144000 | #Constraints: 218837
2445.82/2452.26 c #Conflicts: 1145000 | #Constraints: 219837
2445.82/2452.26 c #Conflicts: 1146000 | #Constraints: 220837
2445.82/2452.26 c INPROCESSING
2445.82/2452.26 c GARBAGE COLLECT
2445.82/2452.26 c rational objective 99
2498.58/2505.11 c #Conflicts: 1147000 | #Constraints: 200634
2498.58/2505.11 c #Conflicts: 1148000 | #Constraints: 201634
2498.58/2505.11 c #Conflicts: 1149000 | #Constraints: 202634
2498.58/2505.11 c #Conflicts: 1150000 | #Constraints: 203634
2498.58/2505.11 c #Conflicts: 1151000 | #Constraints: 204634
2498.58/2505.11 c #Conflicts: 1152000 | #Constraints: 205634
2498.58/2505.11 c #Conflicts: 1153000 | #Constraints: 206634
2498.58/2505.11 c #Conflicts: 1154000 | #Constraints: 207634
2498.58/2505.11 c #Conflicts: 1155000 | #Constraints: 208634
2498.58/2505.11 c #Conflicts: 1156000 | #Constraints: 209634
2498.58/2505.11 c #Conflicts: 1157000 | #Constraints: 210634
2498.58/2505.11 c #Conflicts: 1158000 | #Constraints: 211634
2498.58/2505.11 c #Conflicts: 1159000 | #Constraints: 212634
2498.58/2505.11 c #Conflicts: 1160000 | #Constraints: 213634
2498.58/2505.11 c #Conflicts: 1161000 | #Constraints: 214634
2498.58/2505.11 c #Conflicts: 1162000 | #Constraints: 215634
2498.58/2505.11 c #Conflicts: 1163000 | #Constraints: 216634
2498.58/2505.11 c #Conflicts: 1164000 | #Constraints: 217634
2498.58/2505.11 c #Conflicts: 1165000 | #Constraints: 218634
2498.58/2505.11 c #Conflicts: 1166000 | #Constraints: 219634
2498.58/2505.11 c #Conflicts: 1167000 | #Constraints: 220634
2498.58/2505.11 c #Conflicts: 1168000 | #Constraints: 221634
2498.58/2505.11 c INPROCESSING
2498.58/2505.11 c GARBAGE COLLECT
2498.58/2505.11 c rational objective 99
2530.19/2536.80 c #Conflicts: 1169000 | #Constraints: 201238
2530.19/2536.80 c #Conflicts: 1170000 | #Constraints: 202238
2530.19/2536.80 c #Conflicts: 1171000 | #Constraints: 203238
2530.19/2536.80 c #Conflicts: 1172000 | #Constraints: 204238
2530.19/2536.80 c #Conflicts: 1173000 | #Constraints: 205238
2530.19/2536.80 c #Conflicts: 1174000 | #Constraints: 206238
2530.19/2536.80 c #Conflicts: 1175000 | #Constraints: 207238
2530.19/2536.80 c #Conflicts: 1176000 | #Constraints: 208238
2530.19/2536.80 c #Conflicts: 1177000 | #Constraints: 209238
2530.19/2536.80 c #Conflicts: 1178000 | #Constraints: 210238
2530.19/2536.80 c #Conflicts: 1179000 | #Constraints: 211238
2530.19/2536.80 c #Conflicts: 1180000 | #Constraints: 212238
2530.19/2536.80 c #Conflicts: 1181000 | #Constraints: 213238
2530.19/2536.80 c #Conflicts: 1182000 | #Constraints: 214238
2530.19/2536.80 c #Conflicts: 1183000 | #Constraints: 215238
2530.19/2536.80 c #Conflicts: 1184000 | #Constraints: 216238
2530.19/2536.80 c #Conflicts: 1185000 | #Constraints: 217238
2530.19/2536.80 c #Conflicts: 1186000 | #Constraints: 218238
2530.19/2536.80 c #Conflicts: 1187000 | #Constraints: 219238
2530.19/2536.80 c #Conflicts: 1188000 | #Constraints: 220238
2530.19/2536.80 c #Conflicts: 1189000 | #Constraints: 221238
2530.19/2536.80 c #Conflicts: 1190000 | #Constraints: 222238
2530.19/2536.80 c INPROCESSING
2530.19/2536.80 c GARBAGE COLLECT
2530.19/2536.80 c rational objective 99
2577.00/2583.71 c #Conflicts: 1191000 | #Constraints: 201626
2577.00/2583.71 c #Conflicts: 1192000 | #Constraints: 202626
2577.00/2583.71 c #Conflicts: 1193000 | #Constraints: 203626
2577.00/2583.71 c #Conflicts: 1194000 | #Constraints: 204626
2577.00/2583.71 c #Conflicts: 1195000 | #Constraints: 205626
2577.00/2583.71 c #Conflicts: 1196000 | #Constraints: 206626
2577.00/2583.71 c #Conflicts: 1197000 | #Constraints: 207626
2577.00/2583.71 c #Conflicts: 1198000 | #Constraints: 208626
2577.00/2583.71 c #Conflicts: 1199000 | #Constraints: 209626
2577.00/2583.71 c #Conflicts: 1200000 | #Constraints: 210626
2577.00/2583.71 c #Conflicts: 1201000 | #Constraints: 211626
2577.00/2583.71 c #Conflicts: 1202000 | #Constraints: 212626
2577.00/2583.71 c #Conflicts: 1203000 | #Constraints: 213626
2577.00/2583.71 c #Conflicts: 1204000 | #Constraints: 214626
2577.00/2583.71 c #Conflicts: 1205000 | #Constraints: 215626
2577.00/2583.71 c #Conflicts: 1206000 | #Constraints: 216626
2577.00/2583.71 c #Conflicts: 1207000 | #Constraints: 217626
2577.00/2583.71 c #Conflicts: 1208000 | #Constraints: 218626
2577.00/2583.71 c #Conflicts: 1209000 | #Constraints: 219626
2577.00/2583.71 c #Conflicts: 1210000 | #Constraints: 220626
2577.00/2583.71 c #Conflicts: 1211000 | #Constraints: 221626
2577.00/2583.71 c #Conflicts: 1212000 | #Constraints: 222626
2577.00/2583.71 c INPROCESSING
2577.00/2583.71 c GARBAGE COLLECT
2577.00/2583.71 c rational objective 99
2605.84/2612.66 c #Conflicts: 1213000 | #Constraints: 201822
2605.84/2612.66 c #Conflicts: 1214000 | #Constraints: 202822
2605.84/2612.66 c #Conflicts: 1215000 | #Constraints: 203822
2605.84/2612.66 c #Conflicts: 1216000 | #Constraints: 204822
2605.84/2612.66 c #Conflicts: 1217000 | #Constraints: 205822
2605.84/2612.66 c #Conflicts: 1218000 | #Constraints: 206822
2605.84/2612.66 c #Conflicts: 1219000 | #Constraints: 207822
2605.84/2612.66 c #Conflicts: 1220000 | #Constraints: 208822
2605.84/2612.66 c #Conflicts: 1221000 | #Constraints: 209822
2605.84/2612.66 c #Conflicts: 1222000 | #Constraints: 210822
2605.84/2612.66 c #Conflicts: 1223000 | #Constraints: 211822
2605.84/2612.66 c #Conflicts: 1224000 | #Constraints: 212822
2605.84/2612.66 c #Conflicts: 1225000 | #Constraints: 213822
2605.84/2612.66 c #Conflicts: 1226000 | #Constraints: 214822
2605.84/2612.66 c #Conflicts: 1227000 | #Constraints: 215822
2605.84/2612.66 c #Conflicts: 1228000 | #Constraints: 216822
2605.84/2612.66 c #Conflicts: 1229000 | #Constraints: 217822
2605.84/2612.66 c #Conflicts: 1230000 | #Constraints: 218822
2605.84/2612.66 c #Conflicts: 1231000 | #Constraints: 219822
2605.84/2612.66 c #Conflicts: 1232000 | #Constraints: 220822
2605.84/2612.66 c #Conflicts: 1233000 | #Constraints: 221822
2605.84/2612.66 c #Conflicts: 1234000 | #Constraints: 222822
2605.84/2612.66 c INPROCESSING
2605.84/2612.66 c GARBAGE COLLECT
2605.84/2612.66 c rational objective 99
2656.94/2663.84 c #Conflicts: 1235000 | #Constraints: 201833
2656.94/2663.84 c #Conflicts: 1236000 | #Constraints: 202833
2656.94/2663.84 c #Conflicts: 1237000 | #Constraints: 203833
2656.94/2663.84 c #Conflicts: 1238000 | #Constraints: 204833
2656.94/2663.84 c #Conflicts: 1239000 | #Constraints: 205833
2656.94/2663.84 c #Conflicts: 1240000 | #Constraints: 206833
2656.94/2663.84 c #Conflicts: 1241000 | #Constraints: 207833
2656.94/2663.84 c #Conflicts: 1242000 | #Constraints: 208833
2656.94/2663.84 c #Conflicts: 1243000 | #Constraints: 209833
2656.94/2663.84 c #Conflicts: 1244000 | #Constraints: 210833
2656.94/2663.84 c #Conflicts: 1245000 | #Constraints: 211833
2656.94/2663.84 c #Conflicts: 1246000 | #Constraints: 212833
2656.94/2663.84 c #Conflicts: 1247000 | #Constraints: 213833
2656.94/2663.84 c #Conflicts: 1248000 | #Constraints: 214833
2656.94/2663.84 c #Conflicts: 1249000 | #Constraints: 215833
2656.94/2663.84 c #Conflicts: 1250000 | #Constraints: 216833
2656.94/2663.84 c #Conflicts: 1251000 | #Constraints: 217833
2656.94/2663.84 c #Conflicts: 1252000 | #Constraints: 218833
2656.94/2663.84 c #Conflicts: 1253000 | #Constraints: 219833
2656.94/2663.84 c #Conflicts: 1254000 | #Constraints: 220833
2656.94/2663.84 c #Conflicts: 1255000 | #Constraints: 221833
2656.94/2663.84 c #Conflicts: 1256000 | #Constraints: 222833
2656.94/2663.84 c INPROCESSING
2656.94/2663.84 c GARBAGE COLLECT
2656.94/2663.84 c rational objective 99
2708.03/2715.01 c #Conflicts: 1257000 | #Constraints: 201634
2708.03/2715.01 c #Conflicts: 1258000 | #Constraints: 202634
2708.03/2715.01 c #Conflicts: 1259000 | #Constraints: 203634
2708.03/2715.01 c #Conflicts: 1260000 | #Constraints: 204634
2708.03/2715.01 c #Conflicts: 1261000 | #Constraints: 205634
2708.03/2715.01 c #Conflicts: 1262000 | #Constraints: 206634
2708.03/2715.01 c #Conflicts: 1263000 | #Constraints: 207634
2708.03/2715.01 c #Conflicts: 1264000 | #Constraints: 208634
2708.03/2715.01 c #Conflicts: 1265000 | #Constraints: 209634
2708.03/2715.01 c #Conflicts: 1266000 | #Constraints: 210634
2708.03/2715.01 c #Conflicts: 1267000 | #Constraints: 211634
2708.03/2715.01 c #Conflicts: 1268000 | #Constraints: 212634
2708.03/2715.01 c #Conflicts: 1269000 | #Constraints: 213634
2708.03/2715.01 c #Conflicts: 1270000 | #Constraints: 214634
2708.03/2715.01 c #Conflicts: 1271000 | #Constraints: 215634
2708.03/2715.01 c #Conflicts: 1272000 | #Constraints: 216634
2708.03/2715.01 c #Conflicts: 1273000 | #Constraints: 217634
2708.03/2715.01 c #Conflicts: 1274000 | #Constraints: 218634
2708.03/2715.01 c #Conflicts: 1275000 | #Constraints: 219634
2708.03/2715.01 c #Conflicts: 1276000 | #Constraints: 220634
2708.03/2715.01 c #Conflicts: 1277000 | #Constraints: 221634
2708.03/2715.01 c #Conflicts: 1278000 | #Constraints: 222634
2708.03/2715.01 c #Conflicts: 1279000 | #Constraints: 223634
2708.03/2715.01 c INPROCESSING
2708.03/2715.01 c GARBAGE COLLECT
2708.03/2715.01 c rational objective 99
2742.16/2749.26 c #Conflicts: 1280000 | #Constraints: 202226
2742.16/2749.26 c #Conflicts: 1281000 | #Constraints: 203226
2742.16/2749.26 c #Conflicts: 1282000 | #Constraints: 204226
2742.16/2749.26 c #Conflicts: 1283000 | #Constraints: 205226
2742.16/2749.26 c #Conflicts: 1284000 | #Constraints: 206226
2742.16/2749.26 c #Conflicts: 1285000 | #Constraints: 207226
2742.16/2749.26 c #Conflicts: 1286000 | #Constraints: 208226
2742.16/2749.26 c #Conflicts: 1287000 | #Constraints: 209226
2742.16/2749.26 c #Conflicts: 1288000 | #Constraints: 210226
2742.16/2749.26 c #Conflicts: 1289000 | #Constraints: 211226
2742.16/2749.26 c #Conflicts: 1290000 | #Constraints: 212226
2742.16/2749.26 c #Conflicts: 1291000 | #Constraints: 213226
2742.16/2749.26 c #Conflicts: 1292000 | #Constraints: 214226
2742.16/2749.26 c #Conflicts: 1293000 | #Constraints: 215226
2742.16/2749.26 c #Conflicts: 1294000 | #Constraints: 216226
2742.16/2749.26 c #Conflicts: 1295000 | #Constraints: 217226
2742.16/2749.26 c #Conflicts: 1296000 | #Constraints: 218226
2742.16/2749.26 c #Conflicts: 1297000 | #Constraints: 219226
2742.16/2749.26 c #Conflicts: 1298000 | #Constraints: 220226
2742.16/2749.26 c #Conflicts: 1299000 | #Constraints: 221226
2742.16/2749.26 c #Conflicts: 1300000 | #Constraints: 222226
2742.16/2749.26 c #Conflicts: 1301000 | #Constraints: 223226
2742.16/2749.26 c #Conflicts: 1302000 | #Constraints: 224226
2742.16/2749.26 c INPROCESSING
2742.16/2749.26 c GARBAGE COLLECT
2742.16/2749.26 c rational objective 99
2786.98/2794.14 c #Conflicts: 1303000 | #Constraints: 202642
2786.98/2794.14 c #Conflicts: 1304000 | #Constraints: 203642
2786.98/2794.14 c #Conflicts: 1305000 | #Constraints: 204642
2786.98/2794.14 c #Conflicts: 1306000 | #Constraints: 205642
2786.98/2794.14 c #Conflicts: 1307000 | #Constraints: 206642
2786.98/2794.14 c #Conflicts: 1308000 | #Constraints: 207642
2786.98/2794.14 c #Conflicts: 1309000 | #Constraints: 208642
2786.98/2794.14 c #Conflicts: 1310000 | #Constraints: 209642
2786.98/2794.14 c #Conflicts: 1311000 | #Constraints: 210642
2786.98/2794.14 c #Conflicts: 1312000 | #Constraints: 211642
2786.98/2794.14 c #Conflicts: 1313000 | #Constraints: 212642
2786.98/2794.14 c #Conflicts: 1314000 | #Constraints: 213642
2786.98/2794.14 c #Conflicts: 1315000 | #Constraints: 214642
2786.98/2794.14 c #Conflicts: 1316000 | #Constraints: 215642
2786.98/2794.14 c #Conflicts: 1317000 | #Constraints: 216642
2786.98/2794.14 c #Conflicts: 1318000 | #Constraints: 217642
2786.98/2794.14 c #Conflicts: 1319000 | #Constraints: 218642
2786.98/2794.14 c #Conflicts: 1320000 | #Constraints: 219642
2786.98/2794.14 c #Conflicts: 1321000 | #Constraints: 220642
2786.98/2794.14 c #Conflicts: 1322000 | #Constraints: 221642
2786.98/2794.14 c #Conflicts: 1323000 | #Constraints: 222642
2786.98/2794.14 c #Conflicts: 1324000 | #Constraints: 223642
2786.98/2794.14 c #Conflicts: 1325000 | #Constraints: 224642
2786.98/2794.14 c INPROCESSING
2786.98/2794.14 c GARBAGE COLLECT
2786.98/2794.14 c rational objective 99
2817.11/2824.39 c #Conflicts: 1326000 | #Constraints: 202855
2817.11/2824.39 c #Conflicts: 1327000 | #Constraints: 203855
2817.11/2824.39 c #Conflicts: 1328000 | #Constraints: 204855
2817.11/2824.39 c #Conflicts: 1329000 | #Constraints: 205855
2817.11/2824.39 c #Conflicts: 1330000 | #Constraints: 206855
2817.11/2824.39 c #Conflicts: 1331000 | #Constraints: 207855
2817.11/2824.39 c #Conflicts: 1332000 | #Constraints: 208855
2817.11/2824.39 c #Conflicts: 1333000 | #Constraints: 209855
2817.11/2824.39 c #Conflicts: 1334000 | #Constraints: 210855
2817.11/2824.39 c #Conflicts: 1335000 | #Constraints: 211855
2817.11/2824.39 c #Conflicts: 1336000 | #Constraints: 212855
2817.11/2824.39 c #Conflicts: 1337000 | #Constraints: 213855
2817.11/2824.39 c #Conflicts: 1338000 | #Constraints: 214855
2817.11/2824.39 c #Conflicts: 1339000 | #Constraints: 215855
2817.11/2824.39 c #Conflicts: 1340000 | #Constraints: 216855
2817.11/2824.39 c #Conflicts: 1341000 | #Constraints: 217855
2817.11/2824.39 c #Conflicts: 1342000 | #Constraints: 218855
2817.11/2824.39 c #Conflicts: 1343000 | #Constraints: 219855
2817.11/2824.39 c #Conflicts: 1344000 | #Constraints: 220855
2817.11/2824.39 c #Conflicts: 1345000 | #Constraints: 221855
2817.11/2824.39 c #Conflicts: 1346000 | #Constraints: 222855
2817.11/2824.39 c #Conflicts: 1347000 | #Constraints: 223855
2817.11/2824.39 c #Conflicts: 1348000 | #Constraints: 224855
2817.11/2824.39 c INPROCESSING
2817.11/2824.39 c GARBAGE COLLECT
2817.11/2824.39 c rational objective 99
3480.90/3489.70 c #Conflicts: 1349000 | #Constraints: 202845
3480.90/3489.70 c #Conflicts: 1350000 | #Constraints: 203845
3480.90/3489.70 c #Conflicts: 1351000 | #Constraints: 204845
3480.90/3489.70 c #Conflicts: 1352000 | #Constraints: 205845
3480.90/3489.70 c #Conflicts: 1353000 | #Constraints: 206845
3480.90/3489.70 c #Conflicts: 1354000 | #Constraints: 207845
3480.90/3489.70 c #Conflicts: 1355000 | #Constraints: 208845
3480.90/3489.70 c #Conflicts: 1356000 | #Constraints: 209845
3480.90/3489.70 c #Conflicts: 1357000 | #Constraints: 210845
3480.90/3489.70 c #Conflicts: 1358000 | #Constraints: 211845
3480.90/3489.70 c #Conflicts: 1359000 | #Constraints: 212845
3480.90/3489.70 c #Conflicts: 1360000 | #Constraints: 213845
3480.90/3489.70 c #Conflicts: 1361000 | #Constraints: 214845
3480.90/3489.70 c #Conflicts: 1362000 | #Constraints: 215845
3480.90/3489.70 c #Conflicts: 1363000 | #Constraints: 216845
3480.90/3489.70 c #Conflicts: 1364000 | #Constraints: 217845
3480.90/3489.70 c #Conflicts: 1365000 | #Constraints: 218845
3480.90/3489.70 c #Conflicts: 1366000 | #Constraints: 219845
3480.90/3489.70 c #Conflicts: 1367000 | #Constraints: 220845
3480.90/3489.70 c #Conflicts: 1368000 | #Constraints: 221845
3480.90/3489.70 c #Conflicts: 1369000 | #Constraints: 222846
3480.90/3489.70 c #Conflicts: 1370000 | #Constraints: 223846
3480.90/3489.70 c #Conflicts: 1371000 | #Constraints: 224846
3480.90/3489.70 c INPROCESSING
3480.90/3489.70 c GARBAGE COLLECT
3480.90/3489.70 c #Conflicts: 1372000 | #Constraints: 202674
3480.90/3489.70 c #Conflicts: 1373000 | #Constraints: 203675
3480.90/3489.70 c #Conflicts: 1374000 | #Constraints: 204675
3480.90/3489.70 c #Conflicts: 1375000 | #Constraints: 205675
3480.90/3489.70 c #Conflicts: 1376000 | #Constraints: 206675
3480.90/3489.70 c #Conflicts: 1377000 | #Constraints: 207675
3480.90/3489.70 c #Conflicts: 1378000 | #Constraints: 208675
3480.90/3489.70 c #Conflicts: 1379000 | #Constraints: 209675
3480.90/3489.70 c #Conflicts: 1380000 | #Constraints: 210675
3480.90/3489.70 c #Conflicts: 1381000 | #Constraints: 211675
3480.90/3489.70 c #Conflicts: 1382000 | #Constraints: 212675
3480.90/3489.70 c #Conflicts: 1383000 | #Constraints: 213675
3480.90/3489.70 c #Conflicts: 1384000 | #Constraints: 214675
3480.90/3489.70 c #Conflicts: 1385000 | #Constraints: 215675
3480.90/3489.70 c #Conflicts: 1386000 | #Constraints: 216675
3480.90/3489.70 c #Conflicts: 1387000 | #Constraints: 217676
3480.90/3489.70 c #Conflicts: 1388000 | #Constraints: 218676
3480.90/3489.70 c #Conflicts: 1389000 | #Constraints: 219676
3480.90/3489.70 c #Conflicts: 1390000 | #Constraints: 220677
3480.90/3489.70 c #Conflicts: 1391000 | #Constraints: 221677
3480.90/3489.70 c #Conflicts: 1392000 | #Constraints: 222677
3480.90/3489.70 c #Conflicts: 1393000 | #Constraints: 223677
3480.90/3489.70 c #Conflicts: 1394000 | #Constraints: 224677
3480.90/3489.70 c #Conflicts: 1395000 | #Constraints: 225677
3480.90/3489.70 c INPROCESSING
3480.90/3489.70 c GARBAGE COLLECT
3480.90/3489.70 c rational objective 99
3512.14/3521.01 c #Conflicts: 1396000 | #Constraints: 203273
3512.14/3521.01 c #Conflicts: 1397000 | #Constraints: 204273
3512.14/3521.01 c #Conflicts: 1398000 | #Constraints: 205273
3512.14/3521.01 c #Conflicts: 1399000 | #Constraints: 206273
3512.14/3521.01 c #Conflicts: 1400000 | #Constraints: 207273
3512.14/3521.01 c #Conflicts: 1401000 | #Constraints: 208273
3512.14/3521.01 c #Conflicts: 1402000 | #Constraints: 209273
3512.14/3521.01 c #Conflicts: 1403000 | #Constraints: 210273
3512.14/3521.01 c #Conflicts: 1404000 | #Constraints: 211273
3512.14/3521.01 c #Conflicts: 1405000 | #Constraints: 212273
3512.14/3521.01 c #Conflicts: 1406000 | #Constraints: 213273
3512.14/3521.01 c #Conflicts: 1407000 | #Constraints: 214273
3512.14/3521.01 c #Conflicts: 1408000 | #Constraints: 215273
3512.14/3521.01 c #Conflicts: 1409000 | #Constraints: 216273
3512.14/3521.01 c #Conflicts: 1410000 | #Constraints: 217273
3512.14/3521.01 c #Conflicts: 1411000 | #Constraints: 218273
3512.14/3521.01 c #Conflicts: 1412000 | #Constraints: 219273
3512.14/3521.01 c #Conflicts: 1413000 | #Constraints: 220273
3512.14/3521.01 c #Conflicts: 1414000 | #Constraints: 221273
3512.14/3521.01 c #Conflicts: 1415000 | #Constraints: 222273
3512.14/3521.01 c #Conflicts: 1416000 | #Constraints: 223273
3512.14/3521.01 c #Conflicts: 1417000 | #Constraints: 224273
3512.14/3521.01 c #Conflicts: 1418000 | #Constraints: 225273
3512.14/3521.01 c #Conflicts: 1419000 | #Constraints: 226273
3512.14/3521.01 c INPROCESSING
3512.14/3521.01 c GARBAGE COLLECT
3512.14/3521.01 c rational objective 99
3562.84/3571.83 c #Conflicts: 1420000 | #Constraints: 203672
3562.84/3571.83 c #Conflicts: 1421000 | #Constraints: 204672
3562.84/3571.83 c #Conflicts: 1422000 | #Constraints: 205672
3562.84/3571.83 c #Conflicts: 1423000 | #Constraints: 206672
3562.84/3571.83 c #Conflicts: 1424000 | #Constraints: 207672
3562.84/3571.83 c #Conflicts: 1425000 | #Constraints: 208672
3562.84/3571.83 c #Conflicts: 1426000 | #Constraints: 209672
3562.84/3571.83 c #Conflicts: 1427000 | #Constraints: 210672
3562.84/3571.83 c #Conflicts: 1428000 | #Constraints: 211672
3562.84/3571.83 c #Conflicts: 1429000 | #Constraints: 212672
3562.84/3571.83 c #Conflicts: 1430000 | #Constraints: 213672
3562.84/3571.83 c #Conflicts: 1431000 | #Constraints: 214672
3562.84/3571.83 c #Conflicts: 1432000 | #Constraints: 215672
3562.84/3571.83 c #Conflicts: 1433000 | #Constraints: 216672
3562.84/3571.83 c #Conflicts: 1434000 | #Constraints: 217672
3562.84/3571.83 c #Conflicts: 1435000 | #Constraints: 218672
3562.84/3571.83 c #Conflicts: 1436000 | #Constraints: 219672
3562.84/3571.83 c #Conflicts: 1437000 | #Constraints: 220672
3562.84/3571.83 c #Conflicts: 1438000 | #Constraints: 221672
3562.84/3571.83 c #Conflicts: 1439000 | #Constraints: 222672
3562.84/3571.83 c #Conflicts: 1440000 | #Constraints: 223672
3562.84/3571.83 c #Conflicts: 1441000 | #Constraints: 224672
3562.84/3571.83 c #Conflicts: 1442000 | #Constraints: 225672
3562.84/3571.83 c #Conflicts: 1443000 | #Constraints: 226672
3562.84/3571.83 c INPROCESSING
3562.84/3571.83 c GARBAGE COLLECT
3562.84/3571.83 c rational objective 99
3597.16/3606.24 c #Conflicts: 1444000 | #Constraints: 203865
3597.16/3606.24 c #Conflicts: 1445000 | #Constraints: 204865
3597.16/3606.24 c #Conflicts: 1446000 | #Constraints: 205865
3597.16/3606.24 c #Conflicts: 1447000 | #Constraints: 206865
3597.16/3606.24 c #Conflicts: 1448000 | #Constraints: 207865
3597.16/3606.24 c #Conflicts: 1449000 | #Constraints: 208865
3597.16/3606.24 c #Conflicts: 1450000 | #Constraints: 209865
3597.16/3606.24 c #Conflicts: 1451000 | #Constraints: 210865
3597.16/3606.24 c #Conflicts: 1452000 | #Constraints: 211865
3597.16/3606.24 c #Conflicts: 1453000 | #Constraints: 212865
3597.16/3606.24 c #Conflicts: 1454000 | #Constraints: 213865
3597.16/3606.24 c #Conflicts: 1455000 | #Constraints: 214865
3597.16/3606.24 c #Conflicts: 1456000 | #Constraints: 215865
3597.16/3606.24 c #Conflicts: 1457000 | #Constraints: 216865
3597.16/3606.24 c #Conflicts: 1458000 | #Constraints: 217865
3597.16/3606.24 c #Conflicts: 1459000 | #Constraints: 218865
3597.16/3606.24 c #Conflicts: 1460000 | #Constraints: 219865
3597.16/3606.24 c #Conflicts: 1461000 | #Constraints: 220865
3597.16/3606.24 c #Conflicts: 1462000 | #Constraints: 221865
3597.16/3606.24 c #Conflicts: 1463000 | #Constraints: 222865
3597.16/3606.24 c #Conflicts: 1464000 | #Constraints: 223865
3597.16/3606.24 c #Conflicts: 1465000 | #Constraints: 224865
3597.16/3606.24 c #Conflicts: 1466000 | #Constraints: 225865
3597.16/3606.24 c #Conflicts: 1467000 | #Constraints: 226865
3597.16/3606.24 c INPROCESSING
3597.16/3606.24 c GARBAGE COLLECT
3597.16/3606.24 c rational objective 99
3600.06/3609.12 c Disabling crashed LP
3600.06/3609.12 c cpu time 3585.99 s
3600.06/3609.12 c deterministic time 17831820113 1.78e+10
3600.06/3609.12 c optimization time 1.83575 s
3600.06/3609.12 c total solve time 3583.45 s
3600.06/3609.12 c core-guided solve time 0 s
3600.06/3609.12 c propagation time 1661.39 s
3600.06/3609.12 c conflict analysis time 412.434 s
3600.06/3609.12 c propagations 862763684
3600.06/3609.12 c resolve steps 76061883
3600.06/3609.12 c decisions 2614720
3600.06/3609.12 c conflicts 1467618
3600.06/3609.12 c restarts 2842
3600.06/3609.12 c inprocessing phases 112
3600.06/3609.12 c garbage collections 108 ,( 96.43 )
3600.06/3609.12 c input clauses 217295 ,( 99.47 )
3600.06/3609.12 c input cardinalities 0 ,( 0.00 )
3600.06/3609.12 c input general constraints 1153 ,( 0.53 )
3600.06/3609.12 c input average constraint length 2.41
3600.06/3609.12 c input average constraint degree 2.92
3600.06/3609.12 c learned clauses 1390487 ,( 94.71 )
3600.06/3609.12 c learned cardinalities 2293 ,( 0.16 )
3600.06/3609.12 c learned general constraints 75319 ,( 5.13 )
3600.06/3609.12 c learned average constraint length 224.45
3600.06/3609.12 c learned average constraint degree 5171310.11
3600.06/3609.12 c watched CF 32, 64, 128, Arb: 16233 , 0 , 0 , 0
3600.06/3609.12 c counting CF 32, 64, 128, Arb: 60240 , 0 , 0 , 0
3600.06/3609.12 c watched constraints 16233 ,( 21.23 )
3600.06/3609.12 c counting constraints 60239 ,( 78.77 )
3600.06/3609.12 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1447462049 , 29589205 , 222871484 ,( 7899550 , 214971934 )
3600.06/3609.12 c gcd simplifications 71807
3600.06/3609.12 c detected cardinalities 7
3600.06/3609.12 c weakened non-implied lits 190748994
3600.06/3609.12 c weakened non-implying lits 38823
3600.06/3609.12 c original variables 72842
3600.06/3609.12 c clausal propagations 697571026
3600.06/3609.12 c cardinality propagations 3034282
3600.06/3609.12 c watched propagations 390170
3600.06/3609.12 c counting propagations 160178124
3600.06/3609.12 c watch lookups 6534051961
3600.06/3609.12 c watch backjump lookups 0
3600.06/3609.12 c watch checks 3606423530
3600.06/3609.12 c propagation checks 4616656089
3600.06/3609.12 c constraint additions 1340752382
3600.06/3609.12 c trail pops 866776033
3600.06/3609.12 c formula constraints 218447
3600.06/3609.12 c learned constraints 1467597
3600.06/3609.12 c bound constraints 0
3600.06/3609.12 c core-guided constraints 0
3600.06/3609.12 c encountered formula constraints 62543055
3600.06/3609.12 c encountered learned constraints 14952846
3600.06/3609.12 c encountered bound constraints 0
3600.06/3609.12 c encountered core-guided constraints 0
3600.06/3609.12 c LP total time 2910.7 s
3600.06/3609.12 c LP solve time 2794.33 s
3600.06/3609.12 c LP constraints added 221776
3600.06/3609.12 c LP constraints removed 3265
3600.06/3609.12 c LP pivots internal 1467617
3600.06/3609.12 c LP pivots root 314096
3600.06/3609.12 c LP calls 580
3600.06/3609.12 c LP optimalities 547
3600.06/3609.12 c LP no pivot count 2
3600.06/3609.12 c LP infeasibilities 26
3600.06/3609.12 c LP valid Farkas constraints 26
3600.06/3609.12 c LP learned Farkas constraints 22
3600.06/3609.12 c LP basis resets 0
3600.06/3609.12 c LP cycling count 0
3600.06/3609.12 c LP singular count 0
3600.06/3609.12 c LP no primal count 0
3600.06/3609.12 c LP no farkas count 0
3600.06/3609.12 c LP other issue count 0
3600.06/3609.12 c LP Gomory cuts 454
3600.06/3609.12 c LP learned cuts 2875
3600.06/3609.12 c LP deleted cuts 3265
3600.06/3609.12 c LP encountered Gomory constraints 33497
3600.06/3609.12 c LP encountered Farkas constraints 61
3600.06/3609.12 c LP encountered learned Farkas constraints 20
3600.06/3609.12 c CG auxiliary variables introduced 2
3600.06/3609.12 c CG solutions found 0
3600.06/3609.12 c CG cores constructed 1
3600.06/3609.12 c CG core cardinality constraints returned 0
3600.06/3609.12 c CG unit cores 0
3600.06/3609.12 c CG single cores 0
3600.06/3609.12 c CG blocks removed during cardinality reduction 0
3600.06/3609.12 c CG first core best 0
3600.06/3609.12 c CG decision core best 0
3600.06/3609.12 c CG core reduction tie 0
3600.06/3609.12 c CG core degree average 0.00
3600.06/3609.12 c CG core slack average 0.00
3600.06/3609.12 c CG core upper bound improvements 0
3600.06/3609.12 c STR number of successful calls 0
3600.06/3609.12 c STR number of unsuccessful calls 0
3600.06/3609.12 c STR number of inconclusive calls 0
3600.06/3609.12 c STR number of successful attempts 0
3600.06/3609.12 c STR number of unsuccessful attempts 0
3600.06/3609.12 c STR number of inconclusive attempts 0
3600.06/3609.12 c STR average degree increase per successful call inf
3600.06/3609.12 c STR average degree increase per successful attempt inf
3600.06/3609.12 c STR total number of conflicts for successful attempts 0
3600.06/3609.12 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.12 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.12 c STR average number of conflicts per successful attempt inf
3600.06/3609.12 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.12 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.12 c AVG.sumWPerc 64.75
3600.06/3609.12 c bigint constraints 0
3600.06/3609.12 s UNKNOWN
3600.06/3609.12 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 (62625 MiB free)
memory of node 1: 64507 MiB (63727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499994-1751416373/watcher-4499994-1751416373 -o /tmp/evaluation-result-4499994-1751416373/solver-4499994-1751416373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751411793-60647 --watchdog 3760 run-opt.sh HOME/instance-4499994-1751416373.opb
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 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
Linux 5.14.0-503.14.1.el
solver pid=61422, runsolver pid=61419
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.09 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129380436/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=73312 memory=28196 CPUtime=0.08 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 3867 0 0 0 6 2 0 0 20 0 1 0 57315084 75071488 7049 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 18328 7049 1952 1147 0 5755 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77504 KiB
Current children cumulated memory: 31268 KiB
[startup+0.20536 s]*
/proc/loadavg: 2.09 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129380436/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=75916 memory=31484 CPUtime=0.18 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 4842 0 0 0 14 4 0 0 20 0 1 0 57315084 77737984 7871 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 18979 7871 1952 1147 0 6406 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 80108 KiB
Current children cumulated memory: 34556 KiB
[startup+0.304632 s]*
/proc/loadavg: 2.09 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129380436/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=80544 memory=35324 CPUtime=0.28 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 5840 0 0 0 20 8 0 0 20 0 1 0 57315084 82477056 8831 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 20136 8831 1952 1147 0 7563 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 84736 KiB
Current children cumulated memory: 38396 KiB
[startup+0.700199 s]
/proc/loadavg: 2.09 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129378420/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=224144 memory=114540 CPUtime=0.67 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 15676 0 0 0 51 16 0 0 20 0 1 0 57315084 229523456 28635 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 56036 28635 2304 1147 0 43463 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 228336 KiB
Current children cumulated memory: 117612 KiB
[startup+1.5002 s]
/proc/loadavg: 2.09 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129340368/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=389320 memory=298140 CPUtime=1.46 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 33622 0 0 0 120 26 0 0 20 0 1 0 57315084 398663680 74535 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 97330 74535 2400 1147 0 84757 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 393512 KiB
Current children cumulated memory: 301212 KiB
[startup+3.10518 s]
/proc/loadavg: 2.09 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129235788/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=415432 memory=317084 CPUtime=3.07 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 38495 0 0 0 272 35 0 0 20 0 1 0 57315084 425402368 79271 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 103858 79271 2432 1147 0 91285 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 419624 KiB
Current children cumulated memory: 320156 KiB
[startup+6.30019 s]
/proc/loadavg: 2.08 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129232512/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=420588 memory=325532 CPUtime=6.26 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 40638 0 0 0 590 36 0 0 20 0 1 0 57315084 430682112 81383 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 105147 81383 2432 1147 0 92574 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 424780 KiB
Current children cumulated memory: 328604 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.09 2.09 3/257 61424
/proc/meminfo: memFree=129220480/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=425120 memory=331932 CPUtime=12.64 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 42238 0 0 0 1224 40 0 0 20 0 1 0 57315084 435322880 82983 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 106280 82983 2432 1147 0 93707 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 429312 KiB
Current children cumulated memory: 335004 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 2.10 2.09 3/257 61424
/proc/meminfo: memFree=129218156/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=427332 memory=334492 CPUtime=25.42 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 42886 0 0 0 2498 44 0 0 20 0 1 0 57315084 437587968 83623 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 106833 83623 2432 1147 0 94260 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 431524 KiB
Current children cumulated memory: 337564 KiB
[startup+51.1052 s]
/proc/loadavg: 2.08 2.09 2.09 3/256 61425
/proc/meminfo: memFree=129186644/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=481708 memory=378756 CPUtime=50.96 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 49251 0 0 0 5039 57 0 0 20 0 1 0 57315084 493268992 94689 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 120427 94689 2432 1147 0 107854 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 485900 KiB
Current children cumulated memory: 381828 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/256 61426
/proc/meminfo: memFree=129193340/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=485124 memory=378884 CPUtime=102.04 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 49295 0 0 0 10124 80 0 0 20 0 1 0 57315084 496766976 94721 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 121281 94721 2432 1147 0 108708 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 489316 KiB
Current children cumulated memory: 381956 KiB
[startup+162.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/256 61429
/proc/meminfo: memFree=129141620/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=490780 memory=387956 CPUtime=161.9 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 50540 0 0 0 16092 98 0 0 20 0 1 0 57315084 502558720 96989 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 122695 96989 2432 1147 0 110122 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 494972 KiB
Current children cumulated memory: 391028 KiB
[startup+222.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/256 61431
/proc/meminfo: memFree=129094288/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=514152 memory=422812 CPUtime=221.76 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 52233 0 0 0 22044 132 0 0 20 0 1 0 57315084 526491648 105703 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 128538 105703 2432 1147 0 115965 0
Current children cumulated CPU time: 221.76 s
################
# More data... #
################
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3162.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/253 61677
/proc/meminfo: memFree=128840816/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3154.31 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58114 0 0 0 314138 1293 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/253 61679
/proc/meminfo: memFree=128840896/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3214.16 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58114 0 0 0 320119 1297 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3282.3 s]
/proc/loadavg: 2.07 2.08 2.09 3/254 61682
/proc/meminfo: memFree=128840800/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3274.01 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58114 0 0 0 326100 1301 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/254 61684
/proc/meminfo: memFree=128840888/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3333.85 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58114 0 0 0 332080 1305 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/255 61687
/proc/meminfo: memFree=128841424/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3393.7 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58220 0 0 0 338060 1310 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/255 61689
/proc/meminfo: memFree=128842196/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3453.56 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58260 0 0 0 344036 1320 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/255 61696
/proc/meminfo: memFree=128838484/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3513.43 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58294 0 0 0 349992 1351 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/254 61698
/proc/meminfo: memFree=128838628/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=596848 memory=519472 CPUtime=3573.32 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58295 0 0 0 355942 1390 0 0 20 0 1 0 57315084 611172352 129868 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 149212 129868 2432 1147 0 136639 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 601040 KiB
Current children cumulated memory: 522544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.1 s]
/proc/loadavg: 2.12 2.10 2.09 3/253 61701
/proc/meminfo: memFree=128826656/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=604364 memory=526932 CPUtime=3600.06 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58634 0 0 0 358596 1410 0 0 20 0 1 0 57315084 618868736 131733 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 151091 131733 2432 1147 0 138518 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 608556 KiB
Current children cumulated memory: 530004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 61422 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000639 s, system=0.002542 s
[startup+3609.14 s]
# the end of solver process 61424 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586 s, system=14.1119 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+3609.1 s]
/proc/loadavg: 2.12 2.10 2.09 3/253 61701
/proc/meminfo: memFree=128826656/131249996 swapFree=33010416/33010684
[pid=61422] ppid=61419 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/61422/stat : 61422 (run-opt.sh) S 61419 61422 60056 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57315083 4292608 768 18446744073709551615 94203512737792 94203513632325 140726346027904 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94203513871376 94203513919120 94203531218944 140726346033517 140726346033640 140726346033640 140726346039242 0
/proc/61422/statm: 1048 768 704 219 0 110 0
[pid=61424] ppid=61422 vsize=604364 memory=526932 CPUtime=3600.06 cores=5,7
/proc/61424/stat : 61424 (roundingsat) R 61422 61422 60056 0 -1 4194304 58634 0 0 0 358596 1410 0 0 20 0 1 0 57315084 618868736 131733 18446744073709551615 4227072 8923433 140727097217504 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36929536 140727097219490 140727097219624 140727097219624 140727097225194 0
/proc/61424/statm: 151091 131733 2432 1147 0 138518 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 608556 KiB
Current children cumulated memory: 530004 KiB
Child status: 2
Real time (s): 3609.14
CPU time (s): 3600.11
CPU user time (s): 3586
CPU system time (s): 14.1119
CPU usage (%): 99.7499
Max. virtual memory (cumulated for all children) (KiB): 608556
Max. memory (cumulated for all children) (KiB): 530004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586
system time used= 14.1119
maximum resident set size= 527316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183
involuntary context switches= 1171
# summary of solver processes directly reported to runsolver:
# pid: 61422,61424
# total CPU time (s): 3600.11
# total CPU user time (s): 3586
# total CPU system time (s): 14.1119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46922 second user time and 15.0851 second system time
The end
Begin job on nodeC022 at 2025-07-02 02:32:53
IDJOB=4499994
IDBENCH=149053
IDSOLVER=3350
FILE ID=nodeC022/4499994-1751416373
RUNJOBID= nodeC022-1751411793-60647
SLURM_JOB_ID= 9598306
Free space on /tmp= 432956 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12055_1.std.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499994-1751416373/watcher-4499994-1751416373 -o /tmp/evaluation-result-4499994-1751416373/solver-4499994-1751416373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751411793-60647 --watchdog 3760 run-opt.sh HOME/instance-4499994-1751416373.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f0efccbc116c51a095a75c7835df95b0
RANDOM SEED=836839094
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.709
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.44
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 : 3595.842
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.44
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.604
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.44
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 : 3598.584
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.44
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 : 3529.099
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.44
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 : 3595.682
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.44
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 : 3600.532
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.44
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.739
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129369360 kB
MemAvailable: 129401160 kB
Buffers: 2128 kB
Cached: 833992 kB
SwapCached: 32 kB
Active: 561380 kB
Inactive: 445904 kB
Active(anon): 184996 kB
Inactive(anon): 4196 kB
Active(file): 376384 kB
Inactive(file): 441708 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15196 kB
Writeback: 124 kB
AnonPages: 174248 kB
Mapped: 108432 kB
Shmem: 18028 kB
KReclaimable: 105496 kB
Slab: 193272 kB
SReclaimable: 105496 kB
SUnreclaim: 87776 kB
KernelStack: 4160 kB
PageTables: 3084 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 463964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 112640 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC022 at 2025-07-02 03:33:03