0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.30/0.37 c #variables 21658 #constraints 22024
109.80/110.16 c #Conflicts: 1000 | #Constraints: 23023
109.80/110.16 c #Conflicts: 2000 | #Constraints: 24023
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 3000 | #Constraints: 23375
109.80/110.16 c #Conflicts: 4000 | #Constraints: 24375
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 5000 | #Constraints: 23892
109.80/110.16 c #Conflicts: 6000 | #Constraints: 24892
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 7000 | #Constraints: 23967
109.80/110.16 c #Conflicts: 8000 | #Constraints: 24967
109.80/110.16 c #Conflicts: 9000 | #Constraints: 25967
109.80/110.16 c #Conflicts: 10000 | #Constraints: 26967
109.80/110.16 c #Conflicts: 11000 | #Constraints: 27967
109.80/110.16 c #Conflicts: 12000 | #Constraints: 28967
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 13000 | #Constraints: 26025
109.80/110.16 c #Conflicts: 14000 | #Constraints: 27025
109.80/110.16 c #Conflicts: 15000 | #Constraints: 28025
109.80/110.16 c #Conflicts: 16000 | #Constraints: 29025
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 17000 | #Constraints: 26538
109.80/110.16 c #Conflicts: 18000 | #Constraints: 27538
109.80/110.16 c #Conflicts: 19000 | #Constraints: 28538
109.80/110.16 c #Conflicts: 20000 | #Constraints: 29538
109.80/110.16 c #Conflicts: 21000 | #Constraints: 30538
109.80/110.16 c #Conflicts: 22000 | #Constraints: 31538
109.80/110.16 c #Conflicts: 23000 | #Constraints: 32538
109.80/110.16 c #Conflicts: 24000 | #Constraints: 33538
109.80/110.16 c #Conflicts: 25000 | #Constraints: 34538
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 26000 | #Constraints: 28975
109.80/110.16 c #Conflicts: 27000 | #Constraints: 29975
109.80/110.16 c #Conflicts: 28000 | #Constraints: 30975
109.80/110.16 c #Conflicts: 29000 | #Constraints: 31975
109.80/110.16 c #Conflicts: 30000 | #Constraints: 32975
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 31000 | #Constraints: 28902
109.80/110.16 c #Conflicts: 32000 | #Constraints: 29902
109.80/110.16 c #Conflicts: 33000 | #Constraints: 30902
109.80/110.16 c #Conflicts: 34000 | #Constraints: 31902
109.80/110.16 c #Conflicts: 35000 | #Constraints: 32902
109.80/110.16 c #Conflicts: 36000 | #Constraints: 33902
109.80/110.16 c #Conflicts: 37000 | #Constraints: 34902
109.80/110.16 c #Conflicts: 38000 | #Constraints: 35902
109.80/110.16 c #Conflicts: 39000 | #Constraints: 36902
109.80/110.16 c #Conflicts: 40000 | #Constraints: 37902
109.80/110.16 c #Conflicts: 41000 | #Constraints: 38902
109.80/110.16 c #Conflicts: 42000 | #Constraints: 39902
109.80/110.16 c #Conflicts: 43000 | #Constraints: 40902
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 44000 | #Constraints: 32525
109.80/110.16 c #Conflicts: 45000 | #Constraints: 33525
109.80/110.16 c #Conflicts: 46000 | #Constraints: 34525
109.80/110.16 c #Conflicts: 47000 | #Constraints: 35525
109.80/110.16 c #Conflicts: 48000 | #Constraints: 36525
109.80/110.16 c #Conflicts: 49000 | #Constraints: 37525
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 50000 | #Constraints: 32112
109.80/110.16 c #Conflicts: 51000 | #Constraints: 33112
109.80/110.16 c #Conflicts: 52000 | #Constraints: 34112
109.80/110.16 c #Conflicts: 53000 | #Constraints: 35112
109.80/110.16 c #Conflicts: 54000 | #Constraints: 36112
109.80/110.16 c #Conflicts: 55000 | #Constraints: 37112
109.80/110.16 c #Conflicts: 56000 | #Constraints: 38112
109.80/110.16 c #Conflicts: 57000 | #Constraints: 39112
109.80/110.16 c #Conflicts: 58000 | #Constraints: 40112
109.80/110.16 c #Conflicts: 59000 | #Constraints: 41112
109.80/110.16 c #Conflicts: 60000 | #Constraints: 42112
109.80/110.16 c #Conflicts: 61000 | #Constraints: 43112
109.80/110.16 c #Conflicts: 62000 | #Constraints: 44112
109.80/110.16 c #Conflicts: 63000 | #Constraints: 45112
109.80/110.16 c #Conflicts: 64000 | #Constraints: 46112
109.80/110.16 c #Conflicts: 65000 | #Constraints: 47112
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
109.80/110.16 c #Conflicts: 66000 | #Constraints: 35936
109.80/110.16 c #Conflicts: 67000 | #Constraints: 36936
109.80/110.16 c #Conflicts: 68000 | #Constraints: 37936
109.80/110.16 c #Conflicts: 69000 | #Constraints: 38936
109.80/110.16 c #Conflicts: 70000 | #Constraints: 39936
109.80/110.16 c #Conflicts: 71000 | #Constraints: 40936
109.80/110.16 c #Conflicts: 72000 | #Constraints: 41936
109.80/110.16 c INPROCESSING
109.80/110.16 c GARBAGE COLLECT
234.38/235.08 c #Conflicts: 73000 | #Constraints: 34907
234.38/235.08 c #Conflicts: 74000 | #Constraints: 35907
234.38/235.08 c #Conflicts: 75000 | #Constraints: 36907
234.38/235.08 c #Conflicts: 76000 | #Constraints: 37907
234.38/235.08 c #Conflicts: 77000 | #Constraints: 38907
234.38/235.08 c #Conflicts: 78000 | #Constraints: 39907
234.38/235.08 c #Conflicts: 79000 | #Constraints: 40907
234.38/235.08 c #Conflicts: 80000 | #Constraints: 41907
234.38/235.08 c #Conflicts: 81000 | #Constraints: 42907
234.38/235.08 c #Conflicts: 82000 | #Constraints: 43907
234.38/235.08 c #Conflicts: 83000 | #Constraints: 44907
234.38/235.08 c #Conflicts: 84000 | #Constraints: 45907
234.38/235.08 c #Conflicts: 85000 | #Constraints: 46907
234.38/235.08 c #Conflicts: 86000 | #Constraints: 47907
234.38/235.08 c #Conflicts: 87000 | #Constraints: 48907
234.38/235.08 c #Conflicts: 88000 | #Constraints: 49907
234.38/235.08 c #Conflicts: 89000 | #Constraints: 50907
234.38/235.08 c #Conflicts: 90000 | #Constraints: 51907
234.38/235.08 c #Conflicts: 91000 | #Constraints: 52907
234.38/235.08 c INPROCESSING
234.38/235.08 c GARBAGE COLLECT
234.38/235.08 c #Conflicts: 92000 | #Constraints: 38818
234.38/235.08 c #Conflicts: 93000 | #Constraints: 39818
234.38/235.08 c #Conflicts: 94000 | #Constraints: 40818
234.38/235.08 c #Conflicts: 95000 | #Constraints: 41818
234.38/235.08 c #Conflicts: 96000 | #Constraints: 42818
234.38/235.08 c #Conflicts: 97000 | #Constraints: 43818
234.38/235.08 c #Conflicts: 98000 | #Constraints: 44818
234.38/235.08 c #Conflicts: 99000 | #Constraints: 45818
234.38/235.08 c #Conflicts: 100000 | #Constraints: 46818
234.38/235.08 c INPROCESSING
234.38/235.08 c GARBAGE COLLECT
234.38/235.08 c #Conflicts: 101000 | #Constraints: 38347
234.38/235.08 c #Conflicts: 102000 | #Constraints: 39347
234.38/235.08 c #Conflicts: 103000 | #Constraints: 40347
234.38/235.08 c #Conflicts: 104000 | #Constraints: 41347
234.38/235.08 c #Conflicts: 105000 | #Constraints: 42347
234.38/235.08 c #Conflicts: 106000 | #Constraints: 43347
234.38/235.08 c #Conflicts: 107000 | #Constraints: 44347
234.38/235.08 c #Conflicts: 108000 | #Constraints: 45347
234.38/235.08 c #Conflicts: 109000 | #Constraints: 46347
234.38/235.08 c #Conflicts: 110000 | #Constraints: 47347
234.38/235.08 c #Conflicts: 111000 | #Constraints: 48347
234.38/235.08 c #Conflicts: 112000 | #Constraints: 49347
234.38/235.08 c #Conflicts: 113000 | #Constraints: 50347
234.38/235.08 c #Conflicts: 114000 | #Constraints: 51347
234.38/235.08 c #Conflicts: 115000 | #Constraints: 52347
234.38/235.08 c #Conflicts: 116000 | #Constraints: 53347
234.38/235.08 c #Conflicts: 117000 | #Constraints: 54347
234.38/235.08 c #Conflicts: 118000 | #Constraints: 55347
234.38/235.08 c #Conflicts: 119000 | #Constraints: 56347
234.38/235.08 c #Conflicts: 120000 | #Constraints: 57347
234.38/235.08 c #Conflicts: 121000 | #Constraints: 58347
234.38/235.08 c INPROCESSING
234.38/235.08 c GARBAGE COLLECT
234.38/235.08 c #Conflicts: 122000 | #Constraints: 41448
234.38/235.08 c #Conflicts: 123000 | #Constraints: 42448
234.38/235.08 c #Conflicts: 124000 | #Constraints: 43448
234.38/235.08 c #Conflicts: 125000 | #Constraints: 44448
234.38/235.08 c #Conflicts: 126000 | #Constraints: 45448
234.38/235.08 c #Conflicts: 127000 | #Constraints: 46448
234.38/235.08 c #Conflicts: 128000 | #Constraints: 47448
234.38/235.08 c #Conflicts: 129000 | #Constraints: 48448
234.38/235.08 c #Conflicts: 130000 | #Constraints: 49448
234.38/235.08 c #Conflicts: 131000 | #Constraints: 50448
234.38/235.08 c #Conflicts: 132000 | #Constraints: 51448
234.38/235.08 c INPROCESSING
234.38/235.08 c GARBAGE COLLECT
234.38/235.08 c #Conflicts: 133000 | #Constraints: 42050
234.38/235.08 c #Conflicts: 134000 | #Constraints: 43050
234.38/235.08 c #Conflicts: 135000 | #Constraints: 44050
234.38/235.08 c #Conflicts: 136000 | #Constraints: 45050
234.38/235.08 c #Conflicts: 137000 | #Constraints: 46050
234.38/235.08 c #Conflicts: 138000 | #Constraints: 47050
234.38/235.08 c #Conflicts: 139000 | #Constraints: 48050
234.38/235.08 c #Conflicts: 140000 | #Constraints: 49050
234.38/235.08 c #Conflicts: 141000 | #Constraints: 50050
234.38/235.08 c #Conflicts: 142000 | #Constraints: 51050
234.38/235.08 c #Conflicts: 143000 | #Constraints: 52050
234.38/235.08 c #Conflicts: 144000 | #Constraints: 53050
234.38/235.08 c #Conflicts: 145000 | #Constraints: 54050
234.38/235.08 c #Conflicts: 146000 | #Constraints: 55050
234.38/235.08 c #Conflicts: 147000 | #Constraints: 56050
234.38/235.08 c #Conflicts: 148000 | #Constraints: 57050
234.38/235.08 c #Conflicts: 149000 | #Constraints: 58050
350.36/351.33 c #Conflicts: 150000 | #Constraints: 59050
350.36/351.33 c #Conflicts: 151000 | #Constraints: 60050
350.36/351.33 c #Conflicts: 152000 | #Constraints: 61050
350.36/351.33 c #Conflicts: 153000 | #Constraints: 62050
350.36/351.33 c #Conflicts: 154000 | #Constraints: 63050
350.36/351.33 c #Conflicts: 155000 | #Constraints: 64050
350.36/351.33 c #Conflicts: 156000 | #Constraints: 65050
350.36/351.33 c INPROCESSING
350.36/351.33 c GARBAGE COLLECT
350.36/351.33 c #Conflicts: 157000 | #Constraints: 44671
350.36/351.33 c #Conflicts: 158000 | #Constraints: 45671
350.36/351.33 c #Conflicts: 159000 | #Constraints: 46671
350.36/351.33 c #Conflicts: 160000 | #Constraints: 47671
350.36/351.33 c #Conflicts: 161000 | #Constraints: 48671
350.36/351.33 c #Conflicts: 162000 | #Constraints: 49671
350.36/351.33 c #Conflicts: 163000 | #Constraints: 50671
350.36/351.33 c #Conflicts: 164000 | #Constraints: 51671
350.36/351.33 c #Conflicts: 165000 | #Constraints: 52671
350.36/351.33 c #Conflicts: 166000 | #Constraints: 53671
350.36/351.33 c #Conflicts: 167000 | #Constraints: 54671
350.36/351.33 c #Conflicts: 168000 | #Constraints: 55671
350.36/351.33 c INPROCESSING
350.36/351.33 c GARBAGE COLLECT
350.36/351.33 c #Conflicts: 169000 | #Constraints: 44816
350.36/351.33 c #Conflicts: 170000 | #Constraints: 45816
350.36/351.33 c #Conflicts: 171000 | #Constraints: 46816
350.36/351.33 c #Conflicts: 172000 | #Constraints: 47816
350.36/351.33 c #Conflicts: 173000 | #Constraints: 48816
350.36/351.33 c #Conflicts: 174000 | #Constraints: 49816
350.36/351.33 c #Conflicts: 175000 | #Constraints: 50816
350.36/351.33 c #Conflicts: 176000 | #Constraints: 51816
350.36/351.33 c #Conflicts: 177000 | #Constraints: 52816
350.36/351.33 c #Conflicts: 178000 | #Constraints: 53816
350.36/351.33 c #Conflicts: 179000 | #Constraints: 54816
350.36/351.33 c #Conflicts: 180000 | #Constraints: 55816
350.36/351.33 c #Conflicts: 181000 | #Constraints: 56816
350.36/351.33 c #Conflicts: 182000 | #Constraints: 57816
350.36/351.33 c #Conflicts: 183000 | #Constraints: 58816
350.36/351.33 c #Conflicts: 184000 | #Constraints: 59816
350.36/351.33 c #Conflicts: 185000 | #Constraints: 60816
350.36/351.33 c #Conflicts: 186000 | #Constraints: 61816
350.36/351.33 c #Conflicts: 187000 | #Constraints: 62816
350.36/351.33 c #Conflicts: 188000 | #Constraints: 63816
350.36/351.33 c #Conflicts: 189000 | #Constraints: 64816
350.36/351.33 c #Conflicts: 190000 | #Constraints: 65816
350.36/351.33 c #Conflicts: 191000 | #Constraints: 66816
350.36/351.33 c #Conflicts: 192000 | #Constraints: 67816
350.36/351.33 c #Conflicts: 193000 | #Constraints: 68816
350.36/351.33 c #Conflicts: 194000 | #Constraints: 69816
350.36/351.33 c #Conflicts: 195000 | #Constraints: 70816
350.36/351.33 c #Conflicts: 196000 | #Constraints: 71816
350.36/351.33 c INPROCESSING
350.36/351.33 c GARBAGE COLLECT
350.36/351.33 c #Conflicts: 197000 | #Constraints: 48696
350.36/351.33 c #Conflicts: 198000 | #Constraints: 49696
350.36/351.33 c #Conflicts: 199000 | #Constraints: 50696
350.36/351.33 c #Conflicts: 200000 | #Constraints: 51696
350.36/351.33 c #Conflicts: 201000 | #Constraints: 52696
350.36/351.33 c #Conflicts: 202000 | #Constraints: 53696
350.36/351.33 c #Conflicts: 203000 | #Constraints: 54696
350.36/351.33 c #Conflicts: 204000 | #Constraints: 55696
350.36/351.33 c #Conflicts: 205000 | #Constraints: 56696
350.36/351.33 c #Conflicts: 206000 | #Constraints: 57696
350.36/351.33 c #Conflicts: 207000 | #Constraints: 58696
350.36/351.33 c #Conflicts: 208000 | #Constraints: 59696
350.36/351.33 c #Conflicts: 209000 | #Constraints: 60696
350.36/351.33 c INPROCESSING
350.36/351.33 c GARBAGE COLLECT
350.36/351.33 c #Conflicts: 210000 | #Constraints: 48267
350.36/351.33 c #Conflicts: 211000 | #Constraints: 49267
350.36/351.33 c #Conflicts: 212000 | #Constraints: 50267
350.36/351.33 c #Conflicts: 213000 | #Constraints: 51267
350.36/351.33 c #Conflicts: 214000 | #Constraints: 52267
350.36/351.33 c #Conflicts: 215000 | #Constraints: 53267
350.36/351.33 c #Conflicts: 216000 | #Constraints: 54267
350.36/351.33 c #Conflicts: 217000 | #Constraints: 55267
350.36/351.33 c #Conflicts: 218000 | #Constraints: 56267
350.36/351.33 c #Conflicts: 219000 | #Constraints: 57267
350.36/351.33 c #Conflicts: 220000 | #Constraints: 58267
350.36/351.33 c #Conflicts: 221000 | #Constraints: 59267
350.36/351.33 c #Conflicts: 222000 | #Constraints: 60267
350.36/351.33 c #Conflicts: 223000 | #Constraints: 61267
350.36/351.33 c #Conflicts: 224000 | #Constraints: 62267
350.36/351.33 c #Conflicts: 225000 | #Constraints: 63267
568.29/569.88 c #Conflicts: 226000 | #Constraints: 64267
568.29/569.88 c #Conflicts: 227000 | #Constraints: 65267
568.29/569.88 c #Conflicts: 228000 | #Constraints: 66267
568.29/569.88 c #Conflicts: 229000 | #Constraints: 67267
568.29/569.88 c #Conflicts: 230000 | #Constraints: 68267
568.29/569.88 c #Conflicts: 231000 | #Constraints: 69267
568.29/569.88 c #Conflicts: 232000 | #Constraints: 70267
568.29/569.88 c #Conflicts: 233000 | #Constraints: 71267
568.29/569.88 c #Conflicts: 234000 | #Constraints: 72267
568.29/569.88 c #Conflicts: 235000 | #Constraints: 73267
568.29/569.88 c #Conflicts: 236000 | #Constraints: 74267
568.29/569.88 c #Conflicts: 237000 | #Constraints: 75267
568.29/569.88 c #Conflicts: 238000 | #Constraints: 76267
568.29/569.88 c #Conflicts: 239000 | #Constraints: 77267
568.29/569.88 c #Conflicts: 240000 | #Constraints: 78267
568.29/569.88 c INPROCESSING
568.29/569.88 c GARBAGE COLLECT
568.29/569.88 c #Conflicts: 241000 | #Constraints: 52067
568.29/569.88 c #Conflicts: 242000 | #Constraints: 53067
568.29/569.88 c #Conflicts: 243000 | #Constraints: 54067
568.29/569.88 c #Conflicts: 244000 | #Constraints: 55067
568.29/569.88 c #Conflicts: 245000 | #Constraints: 56067
568.29/569.88 c #Conflicts: 246000 | #Constraints: 57067
568.29/569.88 c #Conflicts: 247000 | #Constraints: 58067
568.29/569.88 c #Conflicts: 248000 | #Constraints: 59067
568.29/569.88 c #Conflicts: 249000 | #Constraints: 60067
568.29/569.88 c #Conflicts: 250000 | #Constraints: 61067
568.29/569.88 c #Conflicts: 251000 | #Constraints: 62067
568.29/569.88 c #Conflicts: 252000 | #Constraints: 63067
568.29/569.88 c #Conflicts: 253000 | #Constraints: 64067
568.29/569.88 c #Conflicts: 254000 | #Constraints: 65067
568.29/569.88 c INPROCESSING
568.29/569.88 c GARBAGE COLLECT
568.29/569.88 c #Conflicts: 255000 | #Constraints: 50824
568.29/569.88 c #Conflicts: 256000 | #Constraints: 51824
568.29/569.88 c #Conflicts: 257000 | #Constraints: 52824
568.29/569.88 c #Conflicts: 258000 | #Constraints: 53824
568.29/569.88 c #Conflicts: 259000 | #Constraints: 54824
568.29/569.88 c #Conflicts: 260000 | #Constraints: 55824
568.29/569.88 c #Conflicts: 261000 | #Constraints: 56824
568.29/569.88 c #Conflicts: 262000 | #Constraints: 57824
568.29/569.88 c #Conflicts: 263000 | #Constraints: 58824
568.29/569.88 c #Conflicts: 264000 | #Constraints: 59824
568.29/569.88 c #Conflicts: 265000 | #Constraints: 60824
568.29/569.88 c #Conflicts: 266000 | #Constraints: 61824
568.29/569.88 c #Conflicts: 267000 | #Constraints: 62824
568.29/569.88 c #Conflicts: 268000 | #Constraints: 63824
568.29/569.88 c #Conflicts: 269000 | #Constraints: 64824
568.29/569.88 c #Conflicts: 270000 | #Constraints: 65824
568.29/569.88 c #Conflicts: 271000 | #Constraints: 66824
568.29/569.88 c #Conflicts: 272000 | #Constraints: 67824
568.29/569.88 c #Conflicts: 273000 | #Constraints: 68824
568.29/569.88 c #Conflicts: 274000 | #Constraints: 69824
568.29/569.88 c #Conflicts: 275000 | #Constraints: 70824
568.29/569.88 c #Conflicts: 276000 | #Constraints: 71824
568.29/569.88 c #Conflicts: 277000 | #Constraints: 72824
568.29/569.88 c #Conflicts: 278000 | #Constraints: 73824
568.29/569.88 c #Conflicts: 279000 | #Constraints: 74824
568.29/569.88 c #Conflicts: 280000 | #Constraints: 75824
568.29/569.88 c #Conflicts: 281000 | #Constraints: 76824
568.29/569.88 c #Conflicts: 282000 | #Constraints: 77824
568.29/569.88 c #Conflicts: 283000 | #Constraints: 78824
568.29/569.88 c #Conflicts: 284000 | #Constraints: 79824
568.29/569.88 c #Conflicts: 285000 | #Constraints: 80824
568.29/569.88 c #Conflicts: 286000 | #Constraints: 81824
568.29/569.88 c #Conflicts: 287000 | #Constraints: 82824
568.29/569.88 c #Conflicts: 288000 | #Constraints: 83824
568.29/569.88 c INPROCESSING
568.29/569.88 c GARBAGE COLLECT
568.29/569.88 c #Conflicts: 289000 | #Constraints: 54668
568.29/569.88 c #Conflicts: 290000 | #Constraints: 55668
568.29/569.88 c #Conflicts: 291000 | #Constraints: 56668
568.29/569.88 c #Conflicts: 292000 | #Constraints: 57668
568.29/569.88 c #Conflicts: 293000 | #Constraints: 58668
568.29/569.88 c #Conflicts: 294000 | #Constraints: 59668
568.29/569.88 c #Conflicts: 295000 | #Constraints: 60668
568.29/569.88 c #Conflicts: 296000 | #Constraints: 61668
568.29/569.88 c #Conflicts: 297000 | #Constraints: 62668
568.29/569.88 c #Conflicts: 298000 | #Constraints: 63668
568.29/569.88 c #Conflicts: 299000 | #Constraints: 64668
568.29/569.88 c #Conflicts: 300000 | #Constraints: 65668
568.29/569.88 c #Conflicts: 301000 | #Constraints: 66668
568.29/569.88 c #Conflicts: 302000 | #Constraints: 67668
727.87/729.86 c #Conflicts: 303000 | #Constraints: 68668
727.87/729.86 c INPROCESSING
727.87/729.86 c GARBAGE COLLECT
727.87/729.86 c #Conflicts: 304000 | #Constraints: 53849
727.87/729.86 c #Conflicts: 305000 | #Constraints: 54849
727.87/729.86 c #Conflicts: 306000 | #Constraints: 55849
727.87/729.86 c #Conflicts: 307000 | #Constraints: 56849
727.87/729.86 c #Conflicts: 308000 | #Constraints: 57849
727.87/729.86 c #Conflicts: 309000 | #Constraints: 58849
727.87/729.86 c #Conflicts: 310000 | #Constraints: 59849
727.87/729.86 c #Conflicts: 311000 | #Constraints: 60849
727.87/729.86 c #Conflicts: 312000 | #Constraints: 61849
727.87/729.86 c #Conflicts: 313000 | #Constraints: 62849
727.87/729.86 c #Conflicts: 314000 | #Constraints: 63849
727.87/729.86 c #Conflicts: 315000 | #Constraints: 64849
727.87/729.86 c #Conflicts: 316000 | #Constraints: 65849
727.87/729.86 c #Conflicts: 317000 | #Constraints: 66849
727.87/729.86 c #Conflicts: 318000 | #Constraints: 67849
727.87/729.86 c #Conflicts: 319000 | #Constraints: 68849
727.87/729.86 c #Conflicts: 320000 | #Constraints: 69849
727.87/729.86 c #Conflicts: 321000 | #Constraints: 70849
727.87/729.86 c #Conflicts: 322000 | #Constraints: 71849
727.87/729.86 c #Conflicts: 323000 | #Constraints: 72849
727.87/729.86 c #Conflicts: 324000 | #Constraints: 73849
727.87/729.86 c #Conflicts: 325000 | #Constraints: 74849
727.87/729.86 c #Conflicts: 326000 | #Constraints: 75849
727.87/729.86 c #Conflicts: 327000 | #Constraints: 76849
727.87/729.86 c #Conflicts: 328000 | #Constraints: 77849
727.87/729.86 c #Conflicts: 329000 | #Constraints: 78849
727.87/729.86 c #Conflicts: 330000 | #Constraints: 79849
727.87/729.86 c #Conflicts: 331000 | #Constraints: 80849
727.87/729.86 c #Conflicts: 332000 | #Constraints: 81849
727.87/729.86 c #Conflicts: 333000 | #Constraints: 82849
727.87/729.86 c #Conflicts: 334000 | #Constraints: 83849
727.87/729.86 c #Conflicts: 335000 | #Constraints: 84849
727.87/729.86 c #Conflicts: 336000 | #Constraints: 85849
727.87/729.86 c #Conflicts: 337000 | #Constraints: 86849
727.87/729.86 c #Conflicts: 338000 | #Constraints: 87849
727.87/729.86 c #Conflicts: 339000 | #Constraints: 88849
727.87/729.86 c #Conflicts: 340000 | #Constraints: 89849
727.87/729.86 c INPROCESSING
727.87/729.86 c GARBAGE COLLECT
727.87/729.86 c #Conflicts: 341000 | #Constraints: 57417
727.87/729.86 c #Conflicts: 342000 | #Constraints: 58417
727.87/729.86 c #Conflicts: 343000 | #Constraints: 59417
727.87/729.86 c #Conflicts: 344000 | #Constraints: 60417
727.87/729.86 c #Conflicts: 345000 | #Constraints: 61417
727.87/729.86 c #Conflicts: 346000 | #Constraints: 62417
727.87/729.86 c #Conflicts: 347000 | #Constraints: 63417
727.87/729.86 c #Conflicts: 348000 | #Constraints: 64417
727.87/729.86 c #Conflicts: 349000 | #Constraints: 65417
727.87/729.86 c #Conflicts: 350000 | #Constraints: 66417
727.87/729.86 c #Conflicts: 351000 | #Constraints: 67417
727.87/729.86 c #Conflicts: 352000 | #Constraints: 68417
727.87/729.86 c #Conflicts: 353000 | #Constraints: 69417
727.87/729.86 c #Conflicts: 354000 | #Constraints: 70417
727.87/729.86 c #Conflicts: 355000 | #Constraints: 71417
727.87/729.86 c #Conflicts: 356000 | #Constraints: 72417
727.87/729.86 c #Conflicts: 357000 | #Constraints: 73417
727.87/729.86 c INPROCESSING
727.87/729.86 c GARBAGE COLLECT
727.87/729.86 c #Conflicts: 358000 | #Constraints: 56974
727.87/729.86 c #Conflicts: 359000 | #Constraints: 57974
727.87/729.86 c #Conflicts: 360000 | #Constraints: 58974
727.87/729.86 c #Conflicts: 361000 | #Constraints: 59974
727.87/729.86 c #Conflicts: 362000 | #Constraints: 60974
727.87/729.86 c #Conflicts: 363000 | #Constraints: 61974
727.87/729.86 c #Conflicts: 364000 | #Constraints: 62974
727.87/729.86 c #Conflicts: 365000 | #Constraints: 63974
727.87/729.86 c #Conflicts: 366000 | #Constraints: 64974
727.87/729.86 c #Conflicts: 367000 | #Constraints: 65974
727.87/729.86 c #Conflicts: 368000 | #Constraints: 66974
727.87/729.86 c #Conflicts: 369000 | #Constraints: 67974
727.87/729.86 c #Conflicts: 370000 | #Constraints: 68974
727.87/729.86 c #Conflicts: 371000 | #Constraints: 69974
727.87/729.86 c #Conflicts: 372000 | #Constraints: 70974
727.87/729.86 c #Conflicts: 373000 | #Constraints: 71974
727.87/729.86 c #Conflicts: 374000 | #Constraints: 72974
727.87/729.86 c #Conflicts: 375000 | #Constraints: 73974
727.87/729.86 c #Conflicts: 376000 | #Constraints: 74974
727.87/729.86 c #Conflicts: 377000 | #Constraints: 75974
727.87/729.86 c #Conflicts: 378000 | #Constraints: 76974
901.32/903.74 c #Conflicts: 379000 | #Constraints: 77974
901.32/903.74 c #Conflicts: 380000 | #Constraints: 78974
901.32/903.74 c #Conflicts: 381000 | #Constraints: 79974
901.32/903.74 c #Conflicts: 382000 | #Constraints: 80974
901.32/903.74 c #Conflicts: 383000 | #Constraints: 81974
901.32/903.74 c #Conflicts: 384000 | #Constraints: 82974
901.32/903.74 c #Conflicts: 385000 | #Constraints: 83974
901.32/903.74 c #Conflicts: 386000 | #Constraints: 84974
901.32/903.74 c #Conflicts: 387000 | #Constraints: 85974
901.32/903.74 c #Conflicts: 388000 | #Constraints: 86974
901.32/903.74 c #Conflicts: 389000 | #Constraints: 87974
901.32/903.74 c #Conflicts: 390000 | #Constraints: 88974
901.32/903.74 c #Conflicts: 391000 | #Constraints: 89974
901.32/903.74 c #Conflicts: 392000 | #Constraints: 90974
901.32/903.74 c #Conflicts: 393000 | #Constraints: 91974
901.32/903.74 c #Conflicts: 394000 | #Constraints: 92974
901.32/903.74 c #Conflicts: 395000 | #Constraints: 93974
901.32/903.74 c #Conflicts: 396000 | #Constraints: 94974
901.32/903.74 c #Conflicts: 397000 | #Constraints: 95974
901.32/903.74 c INPROCESSING
901.32/903.74 c GARBAGE COLLECT
901.32/903.74 c #Conflicts: 398000 | #Constraints: 60886
901.32/903.74 c #Conflicts: 399000 | #Constraints: 61886
901.32/903.74 c #Conflicts: 400000 | #Constraints: 62886
901.32/903.74 c #Conflicts: 401000 | #Constraints: 63886
901.32/903.74 c #Conflicts: 402000 | #Constraints: 64886
901.32/903.74 c #Conflicts: 403000 | #Constraints: 65886
901.32/903.74 c #Conflicts: 404000 | #Constraints: 66886
901.32/903.74 c #Conflicts: 405000 | #Constraints: 67886
901.32/903.74 c #Conflicts: 406000 | #Constraints: 68886
901.32/903.74 c #Conflicts: 407000 | #Constraints: 69886
901.32/903.74 c #Conflicts: 408000 | #Constraints: 70886
901.32/903.74 c #Conflicts: 409000 | #Constraints: 71886
901.32/903.74 c #Conflicts: 410000 | #Constraints: 72886
901.32/903.74 c #Conflicts: 411000 | #Constraints: 73886
901.32/903.74 c #Conflicts: 412000 | #Constraints: 74886
901.32/903.74 c #Conflicts: 413000 | #Constraints: 75886
901.32/903.74 c #Conflicts: 414000 | #Constraints: 76886
901.32/903.74 c #Conflicts: 415000 | #Constraints: 77886
901.32/903.74 c INPROCESSING
901.32/903.74 c GARBAGE COLLECT
901.32/903.74 c #Conflicts: 416000 | #Constraints: 59639
901.32/903.74 c #Conflicts: 417000 | #Constraints: 60639
901.32/903.74 c #Conflicts: 418000 | #Constraints: 61639
901.32/903.74 c #Conflicts: 419000 | #Constraints: 62639
901.32/903.74 c #Conflicts: 420000 | #Constraints: 63639
901.32/903.74 c #Conflicts: 421000 | #Constraints: 64639
901.32/903.74 c #Conflicts: 422000 | #Constraints: 65639
901.32/903.74 c #Conflicts: 423000 | #Constraints: 66639
901.32/903.74 c #Conflicts: 424000 | #Constraints: 67639
901.32/903.74 c #Conflicts: 425000 | #Constraints: 68639
901.32/903.74 c #Conflicts: 426000 | #Constraints: 69639
901.32/903.74 c #Conflicts: 427000 | #Constraints: 70639
901.32/903.74 c #Conflicts: 428000 | #Constraints: 71639
901.32/903.74 c #Conflicts: 429000 | #Constraints: 72639
901.32/903.74 c #Conflicts: 430000 | #Constraints: 73639
901.32/903.74 c #Conflicts: 431000 | #Constraints: 74639
901.32/903.74 c #Conflicts: 432000 | #Constraints: 75639
901.32/903.74 c #Conflicts: 433000 | #Constraints: 76639
901.32/903.74 c #Conflicts: 434000 | #Constraints: 77639
901.32/903.74 c #Conflicts: 435000 | #Constraints: 78639
901.32/903.74 c #Conflicts: 436000 | #Constraints: 79639
901.32/903.74 c #Conflicts: 437000 | #Constraints: 80639
901.32/903.74 c #Conflicts: 438000 | #Constraints: 81639
901.32/903.74 c #Conflicts: 439000 | #Constraints: 82639
901.32/903.74 c #Conflicts: 440000 | #Constraints: 83639
901.32/903.74 c #Conflicts: 441000 | #Constraints: 84639
901.32/903.74 c #Conflicts: 442000 | #Constraints: 85639
901.32/903.74 c #Conflicts: 443000 | #Constraints: 86639
901.32/903.74 c #Conflicts: 444000 | #Constraints: 87639
901.32/903.74 c #Conflicts: 445000 | #Constraints: 88639
901.32/903.74 c #Conflicts: 446000 | #Constraints: 89639
901.32/903.74 c #Conflicts: 447000 | #Constraints: 90639
901.32/903.74 c #Conflicts: 448000 | #Constraints: 91639
901.32/903.74 c #Conflicts: 449000 | #Constraints: 92639
901.32/903.74 c #Conflicts: 450000 | #Constraints: 93639
901.32/903.74 c #Conflicts: 451000 | #Constraints: 94639
901.32/903.74 c #Conflicts: 452000 | #Constraints: 95639
901.32/903.74 c #Conflicts: 453000 | #Constraints: 96639
901.32/903.74 c #Conflicts: 454000 | #Constraints: 97639
901.32/903.74 c #Conflicts: 455000 | #Constraints: 98639
901.32/903.74 c #Conflicts: 456000 | #Constraints: 99639
1130.83/1133.85 c #Conflicts: 457000 | #Constraints: 100639
1130.83/1133.85 c #Conflicts: 458000 | #Constraints: 101639
1130.83/1133.85 c #Conflicts: 459000 | #Constraints: 102639
1130.83/1133.85 c INPROCESSING
1130.83/1133.85 c GARBAGE COLLECT
1130.83/1133.85 c #Conflicts: 460000 | #Constraints: 64249
1130.83/1133.85 c #Conflicts: 461000 | #Constraints: 65249
1130.83/1133.85 c #Conflicts: 462000 | #Constraints: 66249
1130.83/1133.85 c #Conflicts: 463000 | #Constraints: 67249
1130.83/1133.85 c #Conflicts: 464000 | #Constraints: 68249
1130.83/1133.85 c #Conflicts: 465000 | #Constraints: 69249
1130.83/1133.85 c #Conflicts: 466000 | #Constraints: 70249
1130.83/1133.85 c #Conflicts: 467000 | #Constraints: 71249
1130.83/1133.85 c #Conflicts: 468000 | #Constraints: 72249
1130.83/1133.85 c #Conflicts: 469000 | #Constraints: 73249
1130.83/1133.85 c #Conflicts: 470000 | #Constraints: 74249
1130.83/1133.85 c #Conflicts: 471000 | #Constraints: 75249
1130.83/1133.85 c #Conflicts: 472000 | #Constraints: 76250
1130.83/1133.85 c #Conflicts: 473000 | #Constraints: 77250
1130.83/1133.85 c #Conflicts: 474000 | #Constraints: 78250
1130.83/1133.85 c #Conflicts: 475000 | #Constraints: 79250
1130.83/1133.85 c #Conflicts: 476000 | #Constraints: 80250
1130.83/1133.85 c #Conflicts: 477000 | #Constraints: 81250
1130.83/1133.85 c #Conflicts: 478000 | #Constraints: 82250
1130.83/1133.85 c INPROCESSING
1130.83/1133.85 c GARBAGE COLLECT
1130.83/1133.85 c #Conflicts: 479000 | #Constraints: 62511
1130.83/1133.85 c #Conflicts: 480000 | #Constraints: 63511
1130.83/1133.85 c #Conflicts: 481000 | #Constraints: 64511
1130.83/1133.85 c #Conflicts: 482000 | #Constraints: 65511
1130.83/1133.85 c #Conflicts: 483000 | #Constraints: 66511
1130.83/1133.85 c #Conflicts: 484000 | #Constraints: 67511
1130.83/1133.85 c #Conflicts: 485000 | #Constraints: 68511
1130.83/1133.85 c #Conflicts: 486000 | #Constraints: 69511
1130.83/1133.85 c #Conflicts: 487000 | #Constraints: 70511
1130.83/1133.85 c #Conflicts: 488000 | #Constraints: 71511
1130.83/1133.85 c #Conflicts: 489000 | #Constraints: 72511
1130.83/1133.85 c #Conflicts: 490000 | #Constraints: 73511
1130.83/1133.85 c #Conflicts: 491000 | #Constraints: 74511
1130.83/1133.85 c #Conflicts: 492000 | #Constraints: 75511
1130.83/1133.85 c #Conflicts: 493000 | #Constraints: 76511
1130.83/1133.85 c #Conflicts: 494000 | #Constraints: 77511
1130.83/1133.85 c #Conflicts: 495000 | #Constraints: 78511
1130.83/1133.85 c #Conflicts: 496000 | #Constraints: 79511
1130.83/1133.85 c #Conflicts: 497000 | #Constraints: 80511
1130.83/1133.85 c #Conflicts: 498000 | #Constraints: 81511
1130.83/1133.85 c #Conflicts: 499000 | #Constraints: 82511
1130.83/1133.85 c #Conflicts: 500000 | #Constraints: 83511
1130.83/1133.85 c #Conflicts: 501000 | #Constraints: 84511
1130.83/1133.85 c #Conflicts: 502000 | #Constraints: 85511
1130.83/1133.85 c #Conflicts: 503000 | #Constraints: 86511
1130.83/1133.85 c #Conflicts: 504000 | #Constraints: 87511
1130.83/1133.85 c #Conflicts: 505000 | #Constraints: 88511
1130.83/1133.85 c #Conflicts: 506000 | #Constraints: 89511
1130.83/1133.85 c #Conflicts: 507000 | #Constraints: 90511
1130.83/1133.85 c #Conflicts: 508000 | #Constraints: 91511
1130.83/1133.85 c #Conflicts: 509000 | #Constraints: 92511
1130.83/1133.85 c #Conflicts: 510000 | #Constraints: 93511
1130.83/1133.85 c #Conflicts: 511000 | #Constraints: 94511
1130.83/1133.85 c #Conflicts: 512000 | #Constraints: 95511
1130.83/1133.85 c #Conflicts: 513000 | #Constraints: 96511
1130.83/1133.85 c #Conflicts: 514000 | #Constraints: 97511
1130.83/1133.85 c #Conflicts: 515000 | #Constraints: 98511
1130.83/1133.85 c #Conflicts: 516000 | #Constraints: 99511
1130.83/1133.85 c #Conflicts: 517000 | #Constraints: 100511
1130.83/1133.85 c #Conflicts: 518000 | #Constraints: 101511
1130.83/1133.85 c #Conflicts: 519000 | #Constraints: 102511
1130.83/1133.85 c #Conflicts: 520000 | #Constraints: 103511
1130.83/1133.85 c #Conflicts: 521000 | #Constraints: 104511
1130.83/1133.85 c #Conflicts: 522000 | #Constraints: 105511
1130.83/1133.85 c #Conflicts: 523000 | #Constraints: 106511
1130.83/1133.85 c #Conflicts: 524000 | #Constraints: 107511
1130.83/1133.85 c #Conflicts: 525000 | #Constraints: 108511
1130.83/1133.85 c INPROCESSING
1130.83/1133.85 c GARBAGE COLLECT
1130.83/1133.85 c #Conflicts: 526000 | #Constraints: 67705
1130.83/1133.85 c #Conflicts: 527000 | #Constraints: 68705
1130.83/1133.85 c #Conflicts: 528000 | #Constraints: 69705
1130.83/1133.85 c #Conflicts: 529000 | #Constraints: 70705
1130.83/1133.85 c #Conflicts: 530000 | #Constraints: 71705
1130.83/1133.85 c #Conflicts: 531000 | #Constraints: 72705
1130.83/1133.85 c #Conflicts: 532000 | #Constraints: 73705
1130.83/1133.85 c #Conflicts: 533000 | #Constraints: 74705
1220.92/1224.15 c #Conflicts: 534000 | #Constraints: 75705
1220.92/1224.15 c #Conflicts: 535000 | #Constraints: 76705
1220.92/1224.15 c #Conflicts: 536000 | #Constraints: 77705
1220.92/1224.15 c #Conflicts: 537000 | #Constraints: 78705
1220.92/1224.15 c #Conflicts: 538000 | #Constraints: 79705
1220.92/1224.15 c #Conflicts: 539000 | #Constraints: 80705
1220.92/1224.15 c #Conflicts: 540000 | #Constraints: 81705
1220.92/1224.15 c #Conflicts: 541000 | #Constraints: 82705
1220.92/1224.15 c #Conflicts: 542000 | #Constraints: 83705
1220.92/1224.15 c #Conflicts: 543000 | #Constraints: 84705
1220.92/1224.15 c #Conflicts: 544000 | #Constraints: 85705
1220.92/1224.15 c #Conflicts: 545000 | #Constraints: 86705
1220.92/1224.15 c INPROCESSING
1220.92/1224.15 c GARBAGE COLLECT
1220.92/1224.15 c rational objective 182
1389.04/1392.74 c #Conflicts: 546000 | #Constraints: 64932
1389.04/1392.74 c #Conflicts: 547000 | #Constraints: 65932
1389.04/1392.74 c #Conflicts: 548000 | #Constraints: 66932
1389.04/1392.74 c #Conflicts: 549000 | #Constraints: 67932
1389.04/1392.74 c #Conflicts: 550000 | #Constraints: 68932
1389.04/1392.74 c #Conflicts: 551000 | #Constraints: 69932
1389.04/1392.74 c #Conflicts: 552000 | #Constraints: 70932
1389.04/1392.74 c #Conflicts: 553000 | #Constraints: 71932
1389.04/1392.74 c #Conflicts: 554000 | #Constraints: 72932
1389.04/1392.74 c #Conflicts: 555000 | #Constraints: 73932
1389.04/1392.74 c #Conflicts: 556000 | #Constraints: 74932
1389.04/1392.74 c #Conflicts: 557000 | #Constraints: 75932
1389.04/1392.74 c #Conflicts: 558000 | #Constraints: 76932
1389.04/1392.74 c #Conflicts: 559000 | #Constraints: 77932
1389.04/1392.74 c #Conflicts: 560000 | #Constraints: 78932
1389.04/1392.74 c #Conflicts: 561000 | #Constraints: 79932
1389.04/1392.74 c #Conflicts: 562000 | #Constraints: 80932
1389.04/1392.74 c #Conflicts: 563000 | #Constraints: 81932
1389.04/1392.74 c #Conflicts: 564000 | #Constraints: 82932
1389.04/1392.74 c #Conflicts: 565000 | #Constraints: 83932
1389.04/1392.74 c #Conflicts: 566000 | #Constraints: 84932
1389.04/1392.74 c #Conflicts: 567000 | #Constraints: 85932
1389.04/1392.74 c #Conflicts: 568000 | #Constraints: 86932
1389.04/1392.74 c #Conflicts: 569000 | #Constraints: 87932
1389.04/1392.74 c #Conflicts: 570000 | #Constraints: 88932
1389.04/1392.74 c #Conflicts: 571000 | #Constraints: 89932
1389.04/1392.74 c #Conflicts: 572000 | #Constraints: 90932
1389.04/1392.74 c #Conflicts: 573000 | #Constraints: 91932
1389.04/1392.74 c #Conflicts: 574000 | #Constraints: 92932
1389.04/1392.74 c #Conflicts: 575000 | #Constraints: 93932
1389.04/1392.74 c #Conflicts: 576000 | #Constraints: 94932
1389.04/1392.74 c #Conflicts: 577000 | #Constraints: 95932
1389.04/1392.74 c #Conflicts: 578000 | #Constraints: 96932
1389.04/1392.74 c #Conflicts: 579000 | #Constraints: 97932
1389.04/1392.74 c #Conflicts: 580000 | #Constraints: 98932
1389.04/1392.74 c #Conflicts: 581000 | #Constraints: 99932
1389.04/1392.74 c #Conflicts: 582000 | #Constraints: 100932
1389.04/1392.74 c #Conflicts: 583000 | #Constraints: 101932
1389.04/1392.74 c #Conflicts: 584000 | #Constraints: 102932
1389.04/1392.74 c #Conflicts: 585000 | #Constraints: 103932
1389.04/1392.74 c #Conflicts: 586000 | #Constraints: 104932
1389.04/1392.74 c #Conflicts: 587000 | #Constraints: 105932
1389.04/1392.74 c #Conflicts: 588000 | #Constraints: 106932
1389.04/1392.74 c #Conflicts: 589000 | #Constraints: 107932
1389.04/1392.74 c #Conflicts: 590000 | #Constraints: 108932
1389.04/1392.74 c #Conflicts: 591000 | #Constraints: 109932
1389.04/1392.74 c #Conflicts: 592000 | #Constraints: 110932
1389.04/1392.74 c #Conflicts: 593000 | #Constraints: 111932
1389.04/1392.74 c #Conflicts: 594000 | #Constraints: 112932
1389.04/1392.74 c #Conflicts: 595000 | #Constraints: 113932
1389.04/1392.74 c INPROCESSING
1389.04/1392.74 c GARBAGE COLLECT
1389.04/1392.74 c #Conflicts: 596000 | #Constraints: 70487
1389.04/1392.74 c #Conflicts: 597000 | #Constraints: 71487
1389.04/1392.74 c #Conflicts: 598000 | #Constraints: 72487
1389.04/1392.74 c #Conflicts: 599000 | #Constraints: 73487
1389.04/1392.74 c #Conflicts: 600000 | #Constraints: 74487
1389.04/1392.74 c #Conflicts: 601000 | #Constraints: 75487
1389.04/1392.74 c #Conflicts: 602000 | #Constraints: 76487
1389.04/1392.74 c #Conflicts: 603000 | #Constraints: 77487
1389.04/1392.74 c #Conflicts: 604000 | #Constraints: 78487
1389.04/1392.74 c #Conflicts: 605000 | #Constraints: 79487
1389.04/1392.74 c #Conflicts: 606000 | #Constraints: 80487
1389.04/1392.74 c #Conflicts: 607000 | #Constraints: 81487
1389.04/1392.74 c #Conflicts: 608000 | #Constraints: 82487
1389.04/1392.74 c #Conflicts: 609000 | #Constraints: 83487
1389.04/1392.74 c #Conflicts: 610000 | #Constraints: 84487
1389.04/1392.74 c #Conflicts: 611000 | #Constraints: 85487
1389.04/1392.74 c #Conflicts: 612000 | #Constraints: 86487
1389.04/1392.74 c #Conflicts: 613000 | #Constraints: 87487
1389.04/1392.74 c #Conflicts: 614000 | #Constraints: 88487
1389.04/1392.74 c #Conflicts: 615000 | #Constraints: 89487
1389.04/1392.74 c #Conflicts: 616000 | #Constraints: 90487
1389.04/1392.74 c #Conflicts: 617000 | #Constraints: 91487
1389.04/1392.74 c INPROCESSING
1389.04/1392.74 c GARBAGE COLLECT
1389.04/1392.74 c #Conflicts: 618000 | #Constraints: 68341
1389.04/1392.74 c #Conflicts: 619000 | #Constraints: 69341
1389.04/1392.74 c #Conflicts: 620000 | #Constraints: 70341
1389.04/1392.74 c #Conflicts: 621000 | #Constraints: 71341
1389.04/1392.74 c #Conflicts: 622000 | #Constraints: 72341
1389.04/1392.74 c #Conflicts: 623000 | #Constraints: 73341
1574.99/1579.26 c #Conflicts: 624000 | #Constraints: 74341
1574.99/1579.26 c #Conflicts: 625000 | #Constraints: 75341
1574.99/1579.26 c #Conflicts: 626000 | #Constraints: 76341
1574.99/1579.26 c #Conflicts: 627000 | #Constraints: 77342
1574.99/1579.26 c #Conflicts: 628000 | #Constraints: 78342
1574.99/1579.26 c #Conflicts: 629000 | #Constraints: 79342
1574.99/1579.26 c #Conflicts: 630000 | #Constraints: 80342
1574.99/1579.26 c #Conflicts: 631000 | #Constraints: 81342
1574.99/1579.26 c #Conflicts: 632000 | #Constraints: 82342
1574.99/1579.26 c #Conflicts: 633000 | #Constraints: 83342
1574.99/1579.26 c #Conflicts: 634000 | #Constraints: 84342
1574.99/1579.26 c #Conflicts: 635000 | #Constraints: 85342
1574.99/1579.26 c #Conflicts: 636000 | #Constraints: 86342
1574.99/1579.26 c #Conflicts: 637000 | #Constraints: 87342
1574.99/1579.26 c #Conflicts: 638000 | #Constraints: 88342
1574.99/1579.26 c #Conflicts: 639000 | #Constraints: 89342
1574.99/1579.26 c #Conflicts: 640000 | #Constraints: 90342
1574.99/1579.26 c #Conflicts: 641000 | #Constraints: 91342
1574.99/1579.26 c #Conflicts: 642000 | #Constraints: 92342
1574.99/1579.26 c #Conflicts: 643000 | #Constraints: 93342
1574.99/1579.26 c #Conflicts: 644000 | #Constraints: 94342
1574.99/1579.26 c #Conflicts: 645000 | #Constraints: 95342
1574.99/1579.26 c #Conflicts: 646000 | #Constraints: 96342
1574.99/1579.26 c #Conflicts: 647000 | #Constraints: 97342
1574.99/1579.26 c #Conflicts: 648000 | #Constraints: 98342
1574.99/1579.26 c #Conflicts: 649000 | #Constraints: 99342
1574.99/1579.26 c #Conflicts: 650000 | #Constraints: 100342
1574.99/1579.26 c #Conflicts: 651000 | #Constraints: 101342
1574.99/1579.26 c #Conflicts: 652000 | #Constraints: 102342
1574.99/1579.26 c #Conflicts: 653000 | #Constraints: 103342
1574.99/1579.26 c #Conflicts: 654000 | #Constraints: 104342
1574.99/1579.26 c #Conflicts: 655000 | #Constraints: 105342
1574.99/1579.26 c #Conflicts: 656000 | #Constraints: 106342
1574.99/1579.26 c #Conflicts: 657000 | #Constraints: 107342
1574.99/1579.26 c #Conflicts: 658000 | #Constraints: 108342
1574.99/1579.26 c #Conflicts: 659000 | #Constraints: 109342
1574.99/1579.26 c #Conflicts: 660000 | #Constraints: 110342
1574.99/1579.26 c #Conflicts: 661000 | #Constraints: 111342
1574.99/1579.26 c #Conflicts: 662000 | #Constraints: 112342
1574.99/1579.26 c #Conflicts: 663000 | #Constraints: 113342
1574.99/1579.26 c #Conflicts: 664000 | #Constraints: 114342
1574.99/1579.26 c #Conflicts: 665000 | #Constraints: 115342
1574.99/1579.26 c #Conflicts: 666000 | #Constraints: 116342
1574.99/1579.26 c #Conflicts: 667000 | #Constraints: 117342
1574.99/1579.26 c #Conflicts: 668000 | #Constraints: 118342
1574.99/1579.26 c #Conflicts: 669000 | #Constraints: 119342
1574.99/1579.26 c INPROCESSING
1574.99/1579.26 c GARBAGE COLLECT
1574.99/1579.26 c #Conflicts: 670000 | #Constraints: 72706
1574.99/1579.26 c #Conflicts: 671000 | #Constraints: 73706
1574.99/1579.26 c #Conflicts: 672000 | #Constraints: 74706
1574.99/1579.26 c #Conflicts: 673000 | #Constraints: 75706
1574.99/1579.26 c #Conflicts: 674000 | #Constraints: 76706
1574.99/1579.26 c #Conflicts: 675000 | #Constraints: 77706
1574.99/1579.26 c #Conflicts: 676000 | #Constraints: 78706
1574.99/1579.26 c #Conflicts: 677000 | #Constraints: 79706
1574.99/1579.26 c #Conflicts: 678000 | #Constraints: 80706
1574.99/1579.26 c #Conflicts: 679000 | #Constraints: 81706
1574.99/1579.26 c #Conflicts: 680000 | #Constraints: 82706
1574.99/1579.26 c #Conflicts: 681000 | #Constraints: 83706
1574.99/1579.26 c #Conflicts: 682000 | #Constraints: 84706
1574.99/1579.26 c #Conflicts: 683000 | #Constraints: 85706
1574.99/1579.26 c #Conflicts: 684000 | #Constraints: 86706
1574.99/1579.26 c #Conflicts: 685000 | #Constraints: 87706
1574.99/1579.26 c #Conflicts: 686000 | #Constraints: 88706
1574.99/1579.26 c #Conflicts: 687000 | #Constraints: 89706
1574.99/1579.26 c #Conflicts: 688000 | #Constraints: 90706
1574.99/1579.26 c #Conflicts: 689000 | #Constraints: 91706
1574.99/1579.26 c #Conflicts: 690000 | #Constraints: 92706
1574.99/1579.26 c #Conflicts: 691000 | #Constraints: 93706
1574.99/1579.26 c #Conflicts: 692000 | #Constraints: 94706
1574.99/1579.26 c #Conflicts: 693000 | #Constraints: 95706
1574.99/1579.26 c INPROCESSING
1574.99/1579.26 c GARBAGE COLLECT
1574.99/1579.26 c #Conflicts: 694000 | #Constraints: 71801
1574.99/1579.26 c #Conflicts: 695000 | #Constraints: 72801
1574.99/1579.26 c #Conflicts: 696000 | #Constraints: 73801
1574.99/1579.26 c #Conflicts: 697000 | #Constraints: 74801
1574.99/1579.26 c #Conflicts: 698000 | #Constraints: 75801
1574.99/1579.26 c #Conflicts: 699000 | #Constraints: 76801
1574.99/1579.26 c #Conflicts: 700000 | #Constraints: 77801
1749.04/1753.75 c #Conflicts: 701000 | #Constraints: 78801
1749.04/1753.75 c #Conflicts: 702000 | #Constraints: 79801
1749.04/1753.75 c #Conflicts: 703000 | #Constraints: 80801
1749.04/1753.75 c #Conflicts: 704000 | #Constraints: 81801
1749.04/1753.75 c #Conflicts: 705000 | #Constraints: 82801
1749.04/1753.75 c #Conflicts: 706000 | #Constraints: 83801
1749.04/1753.75 c #Conflicts: 707000 | #Constraints: 84801
1749.04/1753.75 c #Conflicts: 708000 | #Constraints: 85801
1749.04/1753.75 c #Conflicts: 709000 | #Constraints: 86801
1749.04/1753.75 c #Conflicts: 710000 | #Constraints: 87801
1749.04/1753.75 c #Conflicts: 711000 | #Constraints: 88801
1749.04/1753.75 c #Conflicts: 712000 | #Constraints: 89801
1749.04/1753.75 c #Conflicts: 713000 | #Constraints: 90801
1749.04/1753.75 c #Conflicts: 714000 | #Constraints: 91801
1749.04/1753.75 c #Conflicts: 715000 | #Constraints: 92801
1749.04/1753.75 c #Conflicts: 716000 | #Constraints: 93801
1749.04/1753.75 c #Conflicts: 717000 | #Constraints: 94801
1749.04/1753.75 c #Conflicts: 718000 | #Constraints: 95801
1749.04/1753.75 c #Conflicts: 719000 | #Constraints: 96801
1749.04/1753.75 c #Conflicts: 720000 | #Constraints: 97801
1749.04/1753.75 c #Conflicts: 721000 | #Constraints: 98801
1749.04/1753.75 c #Conflicts: 722000 | #Constraints: 99801
1749.04/1753.75 c #Conflicts: 723000 | #Constraints: 100801
1749.04/1753.75 c #Conflicts: 724000 | #Constraints: 101801
1749.04/1753.75 c #Conflicts: 725000 | #Constraints: 102801
1749.04/1753.75 c #Conflicts: 726000 | #Constraints: 103801
1749.04/1753.75 c #Conflicts: 727000 | #Constraints: 104801
1749.04/1753.75 c #Conflicts: 728000 | #Constraints: 105801
1749.04/1753.75 c #Conflicts: 729000 | #Constraints: 106801
1749.04/1753.75 c #Conflicts: 730000 | #Constraints: 107801
1749.04/1753.75 c #Conflicts: 731000 | #Constraints: 108801
1749.04/1753.75 c #Conflicts: 732000 | #Constraints: 109801
1749.04/1753.75 c #Conflicts: 733000 | #Constraints: 110801
1749.04/1753.75 c #Conflicts: 734000 | #Constraints: 111801
1749.04/1753.75 c #Conflicts: 735000 | #Constraints: 112801
1749.04/1753.75 c #Conflicts: 736000 | #Constraints: 113801
1749.04/1753.75 c #Conflicts: 737000 | #Constraints: 114801
1749.04/1753.75 c #Conflicts: 738000 | #Constraints: 115801
1749.04/1753.75 c #Conflicts: 739000 | #Constraints: 116801
1749.04/1753.75 c #Conflicts: 740000 | #Constraints: 117801
1749.04/1753.75 c #Conflicts: 741000 | #Constraints: 118801
1749.04/1753.75 c #Conflicts: 742000 | #Constraints: 119801
1749.04/1753.75 c #Conflicts: 743000 | #Constraints: 120801
1749.04/1753.75 c #Conflicts: 744000 | #Constraints: 121801
1749.04/1753.75 c #Conflicts: 745000 | #Constraints: 122801
1749.04/1753.75 c #Conflicts: 746000 | #Constraints: 123801
1749.04/1753.75 c #Conflicts: 747000 | #Constraints: 124801
1749.04/1753.75 c #Conflicts: 748000 | #Constraints: 125801
1749.04/1753.75 c INPROCESSING
1749.04/1753.75 c GARBAGE COLLECT
1749.04/1753.75 c #Conflicts: 749000 | #Constraints: 76040
1749.04/1753.75 c #Conflicts: 750000 | #Constraints: 77040
1749.04/1753.75 c #Conflicts: 751000 | #Constraints: 78040
1749.04/1753.75 c #Conflicts: 752000 | #Constraints: 79040
1749.04/1753.75 c #Conflicts: 753000 | #Constraints: 80040
1749.04/1753.75 c #Conflicts: 754000 | #Constraints: 81040
1749.04/1753.75 c #Conflicts: 755000 | #Constraints: 82040
1749.04/1753.75 c #Conflicts: 756000 | #Constraints: 83040
1749.04/1753.75 c #Conflicts: 757000 | #Constraints: 84040
1749.04/1753.75 c #Conflicts: 758000 | #Constraints: 85040
1749.04/1753.75 c #Conflicts: 759000 | #Constraints: 86040
1749.04/1753.75 c #Conflicts: 760000 | #Constraints: 87040
1749.04/1753.75 c #Conflicts: 761000 | #Constraints: 88040
1749.04/1753.75 c #Conflicts: 762000 | #Constraints: 89040
1749.04/1753.75 c #Conflicts: 763000 | #Constraints: 90040
1749.04/1753.75 c #Conflicts: 764000 | #Constraints: 91040
1749.04/1753.75 c #Conflicts: 765000 | #Constraints: 92040
1749.04/1753.75 c #Conflicts: 766000 | #Constraints: 93040
1749.04/1753.75 c #Conflicts: 767000 | #Constraints: 94040
1749.04/1753.75 c #Conflicts: 768000 | #Constraints: 95040
1749.04/1753.75 c #Conflicts: 769000 | #Constraints: 96040
1749.04/1753.75 c #Conflicts: 770000 | #Constraints: 97041
1749.04/1753.75 c #Conflicts: 771000 | #Constraints: 98041
1749.04/1753.75 c #Conflicts: 772000 | #Constraints: 99041
1749.04/1753.75 c #Conflicts: 773000 | #Constraints: 100041
1749.04/1753.75 c INPROCESSING
1749.04/1753.75 c GARBAGE COLLECT
1749.04/1753.75 c #Conflicts: 774000 | #Constraints: 74287
1749.04/1753.75 c #Conflicts: 775000 | #Constraints: 75287
1749.04/1753.75 c #Conflicts: 776000 | #Constraints: 76287
1749.04/1753.75 c #Conflicts: 777000 | #Constraints: 77287
1749.04/1753.75 c #Conflicts: 778000 | #Constraints: 78287
1923.51/1928.64 c #Conflicts: 779000 | #Constraints: 79287
1923.51/1928.64 c #Conflicts: 780000 | #Constraints: 80287
1923.51/1928.64 c #Conflicts: 781000 | #Constraints: 81287
1923.51/1928.64 c #Conflicts: 782000 | #Constraints: 82287
1923.51/1928.64 c #Conflicts: 783000 | #Constraints: 83287
1923.51/1928.64 c #Conflicts: 784000 | #Constraints: 84287
1923.51/1928.64 c #Conflicts: 785000 | #Constraints: 85287
1923.51/1928.64 c #Conflicts: 786000 | #Constraints: 86287
1923.51/1928.64 c #Conflicts: 787000 | #Constraints: 87287
1923.51/1928.64 c #Conflicts: 788000 | #Constraints: 88287
1923.51/1928.64 c #Conflicts: 789000 | #Constraints: 89287
1923.51/1928.64 c #Conflicts: 790000 | #Constraints: 90287
1923.51/1928.64 c #Conflicts: 791000 | #Constraints: 91287
1923.51/1928.64 c #Conflicts: 792000 | #Constraints: 92287
1923.51/1928.64 c #Conflicts: 793000 | #Constraints: 93287
1923.51/1928.64 c #Conflicts: 794000 | #Constraints: 94287
1923.51/1928.64 c #Conflicts: 795000 | #Constraints: 95287
1923.51/1928.64 c #Conflicts: 796000 | #Constraints: 96287
1923.51/1928.64 c #Conflicts: 797000 | #Constraints: 97287
1923.51/1928.64 c #Conflicts: 798000 | #Constraints: 98287
1923.51/1928.64 c #Conflicts: 799000 | #Constraints: 99287
1923.51/1928.64 c #Conflicts: 800000 | #Constraints: 100287
1923.51/1928.64 c #Conflicts: 801000 | #Constraints: 101287
1923.51/1928.64 c #Conflicts: 802000 | #Constraints: 102287
1923.51/1928.64 c #Conflicts: 803000 | #Constraints: 103287
1923.51/1928.64 c #Conflicts: 804000 | #Constraints: 104287
1923.51/1928.64 c #Conflicts: 805000 | #Constraints: 105287
1923.51/1928.64 c #Conflicts: 806000 | #Constraints: 106287
1923.51/1928.64 c #Conflicts: 807000 | #Constraints: 107287
1923.51/1928.64 c #Conflicts: 808000 | #Constraints: 108287
1923.51/1928.64 c #Conflicts: 809000 | #Constraints: 109287
1923.51/1928.64 c #Conflicts: 810000 | #Constraints: 110287
1923.51/1928.64 c #Conflicts: 811000 | #Constraints: 111287
1923.51/1928.64 c #Conflicts: 812000 | #Constraints: 112287
1923.51/1928.64 c #Conflicts: 813000 | #Constraints: 113287
1923.51/1928.64 c #Conflicts: 814000 | #Constraints: 114287
1923.51/1928.64 c #Conflicts: 815000 | #Constraints: 115287
1923.51/1928.64 c #Conflicts: 816000 | #Constraints: 116287
1923.51/1928.64 c #Conflicts: 817000 | #Constraints: 117287
1923.51/1928.64 c #Conflicts: 818000 | #Constraints: 118287
1923.51/1928.64 c #Conflicts: 819000 | #Constraints: 119287
1923.51/1928.64 c #Conflicts: 820000 | #Constraints: 120287
1923.51/1928.64 c #Conflicts: 821000 | #Constraints: 121287
1923.51/1928.64 c #Conflicts: 822000 | #Constraints: 122287
1923.51/1928.64 c #Conflicts: 823000 | #Constraints: 123287
1923.51/1928.64 c #Conflicts: 824000 | #Constraints: 124287
1923.51/1928.64 c #Conflicts: 825000 | #Constraints: 125287
1923.51/1928.64 c #Conflicts: 826000 | #Constraints: 126287
1923.51/1928.64 c #Conflicts: 827000 | #Constraints: 127287
1923.51/1928.64 c #Conflicts: 828000 | #Constraints: 128287
1923.51/1928.64 c #Conflicts: 829000 | #Constraints: 129287
1923.51/1928.64 c #Conflicts: 830000 | #Constraints: 130287
1923.51/1928.64 c #Conflicts: 831000 | #Constraints: 131287
1923.51/1928.64 c #Conflicts: 832000 | #Constraints: 132287
1923.51/1928.64 c INPROCESSING
1923.51/1928.64 c GARBAGE COLLECT
1923.51/1928.64 c #Conflicts: 833000 | #Constraints: 79561
1923.51/1928.64 c #Conflicts: 834000 | #Constraints: 80561
1923.51/1928.64 c #Conflicts: 835000 | #Constraints: 81561
1923.51/1928.64 c #Conflicts: 836000 | #Constraints: 82561
1923.51/1928.64 c #Conflicts: 837000 | #Constraints: 83561
1923.51/1928.64 c #Conflicts: 838000 | #Constraints: 84561
1923.51/1928.64 c #Conflicts: 839000 | #Constraints: 85561
1923.51/1928.64 c #Conflicts: 840000 | #Constraints: 86561
1923.51/1928.64 c #Conflicts: 841000 | #Constraints: 87561
1923.51/1928.64 c #Conflicts: 842000 | #Constraints: 88561
1923.51/1928.64 c #Conflicts: 843000 | #Constraints: 89561
1923.51/1928.64 c #Conflicts: 844000 | #Constraints: 90561
1923.51/1928.64 c #Conflicts: 845000 | #Constraints: 91561
1923.51/1928.64 c #Conflicts: 846000 | #Constraints: 92561
1923.51/1928.64 c #Conflicts: 847000 | #Constraints: 93561
1923.51/1928.64 c #Conflicts: 848000 | #Constraints: 94561
1923.51/1928.64 c #Conflicts: 849000 | #Constraints: 95561
1923.51/1928.64 c #Conflicts: 850000 | #Constraints: 96561
1923.51/1928.64 c #Conflicts: 851000 | #Constraints: 97561
1923.51/1928.64 c #Conflicts: 852000 | #Constraints: 98561
1923.51/1928.64 c #Conflicts: 853000 | #Constraints: 99561
1923.51/1928.64 c #Conflicts: 854000 | #Constraints: 100561
1923.51/1928.64 c #Conflicts: 855000 | #Constraints: 101561
1923.51/1928.64 c #Conflicts: 856000 | #Constraints: 102561
2140.44/2146.20 c #Conflicts: 857000 | #Constraints: 103561
2140.44/2146.20 c #Conflicts: 858000 | #Constraints: 104561
2140.44/2146.20 c INPROCESSING
2140.44/2146.20 c GARBAGE COLLECT
2140.44/2146.20 c #Conflicts: 859000 | #Constraints: 77767
2140.44/2146.20 c #Conflicts: 860000 | #Constraints: 78767
2140.44/2146.20 c #Conflicts: 861000 | #Constraints: 79767
2140.44/2146.20 c #Conflicts: 862000 | #Constraints: 80767
2140.44/2146.20 c #Conflicts: 863000 | #Constraints: 81767
2140.44/2146.20 c #Conflicts: 864000 | #Constraints: 82767
2140.44/2146.20 c #Conflicts: 865000 | #Constraints: 83767
2140.44/2146.20 c #Conflicts: 866000 | #Constraints: 84767
2140.44/2146.20 c #Conflicts: 867000 | #Constraints: 85767
2140.44/2146.20 c #Conflicts: 868000 | #Constraints: 86767
2140.44/2146.20 c #Conflicts: 869000 | #Constraints: 87767
2140.44/2146.20 c #Conflicts: 870000 | #Constraints: 88767
2140.44/2146.20 c #Conflicts: 871000 | #Constraints: 89767
2140.44/2146.20 c #Conflicts: 872000 | #Constraints: 90767
2140.44/2146.20 c #Conflicts: 873000 | #Constraints: 91767
2140.44/2146.20 c #Conflicts: 874000 | #Constraints: 92767
2140.44/2146.20 c #Conflicts: 875000 | #Constraints: 93767
2140.44/2146.20 c #Conflicts: 876000 | #Constraints: 94767
2140.44/2146.20 c #Conflicts: 877000 | #Constraints: 95767
2140.44/2146.20 c #Conflicts: 878000 | #Constraints: 96767
2140.44/2146.20 c #Conflicts: 879000 | #Constraints: 97767
2140.44/2146.20 c #Conflicts: 880000 | #Constraints: 98767
2140.44/2146.20 c #Conflicts: 881000 | #Constraints: 99767
2140.44/2146.20 c #Conflicts: 882000 | #Constraints: 100767
2140.44/2146.20 c #Conflicts: 883000 | #Constraints: 101767
2140.44/2146.20 c #Conflicts: 884000 | #Constraints: 102767
2140.44/2146.20 c #Conflicts: 885000 | #Constraints: 103767
2140.44/2146.20 c #Conflicts: 886000 | #Constraints: 104767
2140.44/2146.20 c #Conflicts: 887000 | #Constraints: 105767
2140.44/2146.20 c #Conflicts: 888000 | #Constraints: 106767
2140.44/2146.20 c #Conflicts: 889000 | #Constraints: 107767
2140.44/2146.20 c #Conflicts: 890000 | #Constraints: 108767
2140.44/2146.20 c #Conflicts: 891000 | #Constraints: 109767
2140.44/2146.20 c #Conflicts: 892000 | #Constraints: 110767
2140.44/2146.20 c #Conflicts: 893000 | #Constraints: 111767
2140.44/2146.20 c #Conflicts: 894000 | #Constraints: 112767
2140.44/2146.20 c #Conflicts: 895000 | #Constraints: 113767
2140.44/2146.20 c #Conflicts: 896000 | #Constraints: 114767
2140.44/2146.20 c #Conflicts: 897000 | #Constraints: 115767
2140.44/2146.20 c #Conflicts: 898000 | #Constraints: 116767
2140.44/2146.20 c #Conflicts: 899000 | #Constraints: 117767
2140.44/2146.20 c #Conflicts: 900000 | #Constraints: 118767
2140.44/2146.20 c #Conflicts: 901000 | #Constraints: 119767
2140.44/2146.20 c #Conflicts: 902000 | #Constraints: 120767
2140.44/2146.20 c #Conflicts: 903000 | #Constraints: 121767
2140.44/2146.20 c #Conflicts: 904000 | #Constraints: 122767
2140.44/2146.20 c #Conflicts: 905000 | #Constraints: 123767
2140.44/2146.20 c #Conflicts: 906000 | #Constraints: 124767
2140.44/2146.20 c #Conflicts: 907000 | #Constraints: 125768
2140.44/2146.20 c #Conflicts: 908000 | #Constraints: 126768
2140.44/2146.20 c #Conflicts: 909000 | #Constraints: 127768
2140.44/2146.20 c #Conflicts: 910000 | #Constraints: 128768
2140.44/2146.20 c #Conflicts: 911000 | #Constraints: 129768
2140.44/2146.20 c #Conflicts: 912000 | #Constraints: 130768
2140.44/2146.20 c #Conflicts: 913000 | #Constraints: 131768
2140.44/2146.20 c #Conflicts: 914000 | #Constraints: 132768
2140.44/2146.20 c #Conflicts: 915000 | #Constraints: 133768
2140.44/2146.20 c #Conflicts: 916000 | #Constraints: 134768
2140.44/2146.20 c #Conflicts: 917000 | #Constraints: 135768
2140.44/2146.20 c #Conflicts: 918000 | #Constraints: 136768
2140.44/2146.20 c #Conflicts: 919000 | #Constraints: 137768
2140.44/2146.20 c #Conflicts: 920000 | #Constraints: 138768
2140.44/2146.20 c INPROCESSING
2140.44/2146.20 c GARBAGE COLLECT
2140.44/2146.20 c #Conflicts: 921000 | #Constraints: 82920
2140.44/2146.20 c #Conflicts: 922000 | #Constraints: 83920
2140.44/2146.20 c #Conflicts: 923000 | #Constraints: 84920
2140.44/2146.20 c #Conflicts: 924000 | #Constraints: 85920
2140.44/2146.20 c #Conflicts: 925000 | #Constraints: 86920
2140.44/2146.20 c #Conflicts: 926000 | #Constraints: 87920
2140.44/2146.20 c #Conflicts: 927000 | #Constraints: 88920
2140.44/2146.20 c #Conflicts: 928000 | #Constraints: 89920
2140.44/2146.20 c #Conflicts: 929000 | #Constraints: 90920
2140.44/2146.20 c #Conflicts: 930000 | #Constraints: 91920
2140.44/2146.20 c #Conflicts: 931000 | #Constraints: 92920
2140.44/2146.20 c #Conflicts: 932000 | #Constraints: 93920
2140.44/2146.20 c #Conflicts: 933000 | #Constraints: 94920
2140.44/2146.20 c #Conflicts: 934000 | #Constraints: 95920
2329.97/2336.21 c #Conflicts: 935000 | #Constraints: 96920
2329.97/2336.21 c #Conflicts: 936000 | #Constraints: 97920
2329.97/2336.21 c #Conflicts: 937000 | #Constraints: 98920
2329.97/2336.21 c #Conflicts: 938000 | #Constraints: 99920
2329.97/2336.21 c #Conflicts: 939000 | #Constraints: 100920
2329.97/2336.21 c #Conflicts: 940000 | #Constraints: 101920
2329.97/2336.21 c #Conflicts: 941000 | #Constraints: 102920
2329.97/2336.21 c #Conflicts: 942000 | #Constraints: 103920
2329.97/2336.21 c #Conflicts: 943000 | #Constraints: 104920
2329.97/2336.21 c #Conflicts: 944000 | #Constraints: 105920
2329.97/2336.21 c #Conflicts: 945000 | #Constraints: 106920
2329.97/2336.21 c #Conflicts: 946000 | #Constraints: 107920
2329.97/2336.21 c #Conflicts: 947000 | #Constraints: 108920
2329.97/2336.21 c INPROCESSING
2329.97/2336.21 c GARBAGE COLLECT
2329.97/2336.21 c #Conflicts: 948000 | #Constraints: 80403
2329.97/2336.21 c #Conflicts: 949000 | #Constraints: 81403
2329.97/2336.21 c #Conflicts: 950000 | #Constraints: 82403
2329.97/2336.21 c #Conflicts: 951000 | #Constraints: 83403
2329.97/2336.21 c #Conflicts: 952000 | #Constraints: 84403
2329.97/2336.21 c #Conflicts: 953000 | #Constraints: 85403
2329.97/2336.21 c #Conflicts: 954000 | #Constraints: 86403
2329.97/2336.21 c #Conflicts: 955000 | #Constraints: 87403
2329.97/2336.21 c #Conflicts: 956000 | #Constraints: 88403
2329.97/2336.21 c #Conflicts: 957000 | #Constraints: 89403
2329.97/2336.21 c #Conflicts: 958000 | #Constraints: 90403
2329.97/2336.21 c #Conflicts: 959000 | #Constraints: 91403
2329.97/2336.21 c #Conflicts: 960000 | #Constraints: 92403
2329.97/2336.21 c #Conflicts: 961000 | #Constraints: 93403
2329.97/2336.21 c #Conflicts: 962000 | #Constraints: 94403
2329.97/2336.21 c #Conflicts: 963000 | #Constraints: 95403
2329.97/2336.21 c #Conflicts: 964000 | #Constraints: 96403
2329.97/2336.21 c #Conflicts: 965000 | #Constraints: 97403
2329.97/2336.21 c #Conflicts: 966000 | #Constraints: 98403
2329.97/2336.21 c #Conflicts: 967000 | #Constraints: 99403
2329.97/2336.21 c #Conflicts: 968000 | #Constraints: 100403
2329.97/2336.21 c #Conflicts: 969000 | #Constraints: 101403
2329.97/2336.21 c #Conflicts: 970000 | #Constraints: 102403
2329.97/2336.21 c #Conflicts: 971000 | #Constraints: 103403
2329.97/2336.21 c #Conflicts: 972000 | #Constraints: 104403
2329.97/2336.21 c #Conflicts: 973000 | #Constraints: 105403
2329.97/2336.21 c #Conflicts: 974000 | #Constraints: 106403
2329.97/2336.21 c #Conflicts: 975000 | #Constraints: 107403
2329.97/2336.21 c #Conflicts: 976000 | #Constraints: 108403
2329.97/2336.21 c #Conflicts: 977000 | #Constraints: 109403
2329.97/2336.21 c #Conflicts: 978000 | #Constraints: 110403
2329.97/2336.21 c #Conflicts: 979000 | #Constraints: 111403
2329.97/2336.21 c #Conflicts: 980000 | #Constraints: 112403
2329.97/2336.21 c #Conflicts: 981000 | #Constraints: 113403
2329.97/2336.21 c #Conflicts: 982000 | #Constraints: 114403
2329.97/2336.21 c #Conflicts: 983000 | #Constraints: 115403
2329.97/2336.21 c #Conflicts: 984000 | #Constraints: 116403
2329.97/2336.21 c #Conflicts: 985000 | #Constraints: 117403
2329.97/2336.21 c #Conflicts: 986000 | #Constraints: 118403
2329.97/2336.21 c #Conflicts: 987000 | #Constraints: 119403
2329.97/2336.21 c #Conflicts: 988000 | #Constraints: 120403
2329.97/2336.21 c #Conflicts: 989000 | #Constraints: 121403
2329.97/2336.21 c #Conflicts: 990000 | #Constraints: 122403
2329.97/2336.21 c #Conflicts: 991000 | #Constraints: 123403
2329.97/2336.21 c #Conflicts: 992000 | #Constraints: 124403
2329.97/2336.21 c #Conflicts: 993000 | #Constraints: 125403
2329.97/2336.21 c #Conflicts: 994000 | #Constraints: 126403
2329.97/2336.21 c #Conflicts: 995000 | #Constraints: 127403
2329.97/2336.21 c #Conflicts: 996000 | #Constraints: 128403
2329.97/2336.21 c #Conflicts: 997000 | #Constraints: 129403
2329.97/2336.21 c #Conflicts: 998000 | #Constraints: 130403
2329.97/2336.21 c #Conflicts: 999000 | #Constraints: 131403
2329.97/2336.21 c #Conflicts: 1000000 | #Constraints: 132403
2329.97/2336.21 c #Conflicts: 1001000 | #Constraints: 133403
2329.97/2336.21 c #Conflicts: 1002000 | #Constraints: 134403
2329.97/2336.21 c #Conflicts: 1003000 | #Constraints: 135403
2329.97/2336.21 c #Conflicts: 1004000 | #Constraints: 136403
2329.97/2336.21 c #Conflicts: 1005000 | #Constraints: 137403
2329.97/2336.21 c #Conflicts: 1006000 | #Constraints: 138403
2329.97/2336.21 c #Conflicts: 1007000 | #Constraints: 139403
2329.97/2336.21 c #Conflicts: 1008000 | #Constraints: 140403
2329.97/2336.21 c #Conflicts: 1009000 | #Constraints: 141403
2329.97/2336.21 c #Conflicts: 1010000 | #Constraints: 142403
2329.97/2336.21 c #Conflicts: 1011000 | #Constraints: 143403
2329.97/2336.21 c #Conflicts: 1012000 | #Constraints: 144403
2358.09/2364.48 c INPROCESSING
2358.09/2364.48 c GARBAGE COLLECT
2358.09/2364.48 c rational objective 182
2645.83/2653.10 c #Conflicts: 1013000 | #Constraints: 85511
2645.83/2653.10 c #Conflicts: 1014000 | #Constraints: 86511
2645.83/2653.10 c #Conflicts: 1015000 | #Constraints: 87511
2645.83/2653.10 c #Conflicts: 1016000 | #Constraints: 88511
2645.83/2653.10 c #Conflicts: 1017000 | #Constraints: 89511
2645.83/2653.10 c #Conflicts: 1018000 | #Constraints: 90511
2645.83/2653.10 c #Conflicts: 1019000 | #Constraints: 91511
2645.83/2653.10 c #Conflicts: 1020000 | #Constraints: 92511
2645.83/2653.10 c #Conflicts: 1021000 | #Constraints: 93511
2645.83/2653.10 c #Conflicts: 1022000 | #Constraints: 94511
2645.83/2653.10 c #Conflicts: 1023000 | #Constraints: 95511
2645.83/2653.10 c #Conflicts: 1024000 | #Constraints: 96511
2645.83/2653.10 c #Conflicts: 1025000 | #Constraints: 97511
2645.83/2653.10 c #Conflicts: 1026000 | #Constraints: 98511
2645.83/2653.10 c #Conflicts: 1027000 | #Constraints: 99511
2645.83/2653.10 c #Conflicts: 1028000 | #Constraints: 100511
2645.83/2653.10 c #Conflicts: 1029000 | #Constraints: 101511
2645.83/2653.10 c #Conflicts: 1030000 | #Constraints: 102511
2645.83/2653.10 c #Conflicts: 1031000 | #Constraints: 103511
2645.83/2653.10 c #Conflicts: 1032000 | #Constraints: 104511
2645.83/2653.10 c #Conflicts: 1033000 | #Constraints: 105511
2645.83/2653.10 c #Conflicts: 1034000 | #Constraints: 106511
2645.83/2653.10 c #Conflicts: 1035000 | #Constraints: 107511
2645.83/2653.10 c #Conflicts: 1036000 | #Constraints: 108511
2645.83/2653.10 c #Conflicts: 1037000 | #Constraints: 109511
2645.83/2653.10 c #Conflicts: 1038000 | #Constraints: 110511
2645.83/2653.10 c #Conflicts: 1039000 | #Constraints: 111511
2645.83/2653.10 c #Conflicts: 1040000 | #Constraints: 112511
2645.83/2653.10 c INPROCESSING
2645.83/2653.10 c GARBAGE COLLECT
2645.83/2653.10 c #Conflicts: 1041000 | #Constraints: 82742
2645.83/2653.10 c #Conflicts: 1042000 | #Constraints: 83742
2645.83/2653.10 c #Conflicts: 1043000 | #Constraints: 84742
2645.83/2653.10 c #Conflicts: 1044000 | #Constraints: 85742
2645.83/2653.10 c #Conflicts: 1045000 | #Constraints: 86742
2645.83/2653.10 c #Conflicts: 1046000 | #Constraints: 87742
2645.83/2653.10 c #Conflicts: 1047000 | #Constraints: 88742
2645.83/2653.10 c #Conflicts: 1048000 | #Constraints: 89742
2645.83/2653.10 c #Conflicts: 1049000 | #Constraints: 90742
2645.83/2653.10 c #Conflicts: 1050000 | #Constraints: 91742
2645.83/2653.10 c #Conflicts: 1051000 | #Constraints: 92742
2645.83/2653.10 c #Conflicts: 1052000 | #Constraints: 93742
2645.83/2653.10 c #Conflicts: 1053000 | #Constraints: 94742
2645.83/2653.10 c #Conflicts: 1054000 | #Constraints: 95742
2645.83/2653.10 c #Conflicts: 1055000 | #Constraints: 96742
2645.83/2653.10 c #Conflicts: 1056000 | #Constraints: 97742
2645.83/2653.10 c #Conflicts: 1057000 | #Constraints: 98742
2645.83/2653.10 c #Conflicts: 1058000 | #Constraints: 99742
2645.83/2653.10 c #Conflicts: 1059000 | #Constraints: 100742
2645.83/2653.10 c #Conflicts: 1060000 | #Constraints: 101742
2645.83/2653.10 c #Conflicts: 1061000 | #Constraints: 102742
2645.83/2653.10 c #Conflicts: 1062000 | #Constraints: 103742
2645.83/2653.10 c #Conflicts: 1063000 | #Constraints: 104742
2645.83/2653.10 c #Conflicts: 1064000 | #Constraints: 105742
2645.83/2653.10 c #Conflicts: 1065000 | #Constraints: 106742
2645.83/2653.10 c #Conflicts: 1066000 | #Constraints: 107742
2645.83/2653.10 c #Conflicts: 1067000 | #Constraints: 108742
2645.83/2653.10 c #Conflicts: 1068000 | #Constraints: 109742
2645.83/2653.10 c #Conflicts: 1069000 | #Constraints: 110742
2645.83/2653.10 c #Conflicts: 1070000 | #Constraints: 111742
2645.83/2653.10 c #Conflicts: 1071000 | #Constraints: 112742
2645.83/2653.10 c #Conflicts: 1072000 | #Constraints: 113742
2645.83/2653.10 c #Conflicts: 1073000 | #Constraints: 114742
2645.83/2653.10 c #Conflicts: 1074000 | #Constraints: 115742
2645.83/2653.10 c #Conflicts: 1075000 | #Constraints: 116742
2645.83/2653.10 c #Conflicts: 1076000 | #Constraints: 117742
2645.83/2653.10 c #Conflicts: 1077000 | #Constraints: 118742
2645.83/2653.10 c #Conflicts: 1078000 | #Constraints: 119742
2645.83/2653.10 c #Conflicts: 1079000 | #Constraints: 120742
2645.83/2653.10 c #Conflicts: 1080000 | #Constraints: 121742
2645.83/2653.10 c #Conflicts: 1081000 | #Constraints: 122742
2645.83/2653.10 c #Conflicts: 1082000 | #Constraints: 123742
2645.83/2653.10 c #Conflicts: 1083000 | #Constraints: 124742
2645.83/2653.10 c #Conflicts: 1084000 | #Constraints: 125742
2645.83/2653.10 c #Conflicts: 1085000 | #Constraints: 126742
2645.83/2653.10 c #Conflicts: 1086000 | #Constraints: 127742
2645.83/2653.10 c #Conflicts: 1087000 | #Constraints: 128742
2645.83/2653.10 c #Conflicts: 1088000 | #Constraints: 129742
2645.83/2653.10 c #Conflicts: 1089000 | #Constraints: 130742
2645.83/2653.10 c #Conflicts: 1090000 | #Constraints: 131742
2645.83/2653.10 c #Conflicts: 1091000 | #Constraints: 132742
2818.16/2825.92 c #Conflicts: 1092000 | #Constraints: 133742
2818.16/2825.92 c #Conflicts: 1093000 | #Constraints: 134742
2818.16/2825.92 c #Conflicts: 1094000 | #Constraints: 135742
2818.16/2825.92 c #Conflicts: 1095000 | #Constraints: 136742
2818.16/2825.92 c #Conflicts: 1096000 | #Constraints: 137742
2818.16/2825.92 c #Conflicts: 1097000 | #Constraints: 138742
2818.16/2825.92 c #Conflicts: 1098000 | #Constraints: 139742
2818.16/2825.92 c #Conflicts: 1099000 | #Constraints: 140742
2818.16/2825.92 c #Conflicts: 1100000 | #Constraints: 141742
2818.16/2825.92 c #Conflicts: 1101000 | #Constraints: 142742
2818.16/2825.92 c #Conflicts: 1102000 | #Constraints: 143742
2818.16/2825.92 c #Conflicts: 1103000 | #Constraints: 144742
2818.16/2825.92 c #Conflicts: 1104000 | #Constraints: 145742
2818.16/2825.92 c #Conflicts: 1105000 | #Constraints: 146742
2818.16/2825.92 c #Conflicts: 1106000 | #Constraints: 147742
2818.16/2825.92 c #Conflicts: 1107000 | #Constraints: 148742
2818.16/2825.92 c #Conflicts: 1108000 | #Constraints: 149742
2818.16/2825.92 c INPROCESSING
2818.16/2825.92 c GARBAGE COLLECT
2818.16/2825.92 c #Conflicts: 1109000 | #Constraints: 88054
2818.16/2825.92 c #Conflicts: 1110000 | #Constraints: 89054
2818.16/2825.92 c #Conflicts: 1111000 | #Constraints: 90054
2818.16/2825.92 c #Conflicts: 1112000 | #Constraints: 91054
2818.16/2825.92 c #Conflicts: 1113000 | #Constraints: 92054
2818.16/2825.92 c #Conflicts: 1114000 | #Constraints: 93054
2818.16/2825.92 c #Conflicts: 1115000 | #Constraints: 94054
2818.16/2825.92 c #Conflicts: 1116000 | #Constraints: 95054
2818.16/2825.92 c #Conflicts: 1117000 | #Constraints: 96054
2818.16/2825.92 c #Conflicts: 1118000 | #Constraints: 97054
2818.16/2825.92 c #Conflicts: 1119000 | #Constraints: 98054
2818.16/2825.92 c #Conflicts: 1120000 | #Constraints: 99054
2818.16/2825.92 c #Conflicts: 1121000 | #Constraints: 100054
2818.16/2825.92 c #Conflicts: 1122000 | #Constraints: 101054
2818.16/2825.92 c #Conflicts: 1123000 | #Constraints: 102054
2818.16/2825.92 c #Conflicts: 1124000 | #Constraints: 103054
2818.16/2825.92 c #Conflicts: 1125000 | #Constraints: 104054
2818.16/2825.92 c #Conflicts: 1126000 | #Constraints: 105054
2818.16/2825.92 c #Conflicts: 1127000 | #Constraints: 106054
2818.16/2825.92 c #Conflicts: 1128000 | #Constraints: 107054
2818.16/2825.92 c #Conflicts: 1129000 | #Constraints: 108054
2818.16/2825.92 c #Conflicts: 1130000 | #Constraints: 109054
2818.16/2825.92 c #Conflicts: 1131000 | #Constraints: 110054
2818.16/2825.92 c #Conflicts: 1132000 | #Constraints: 111054
2818.16/2825.92 c #Conflicts: 1133000 | #Constraints: 112054
2818.16/2825.92 c #Conflicts: 1134000 | #Constraints: 113054
2818.16/2825.92 c #Conflicts: 1135000 | #Constraints: 114054
2818.16/2825.92 c #Conflicts: 1136000 | #Constraints: 115054
2818.16/2825.92 c #Conflicts: 1137000 | #Constraints: 116054
2818.16/2825.92 c #Conflicts: 1138000 | #Constraints: 117054
2818.16/2825.92 c INPROCESSING
2818.16/2825.92 c GARBAGE COLLECT
2818.16/2825.92 c #Conflicts: 1139000 | #Constraints: 84835
2818.16/2825.92 c #Conflicts: 1140000 | #Constraints: 85835
2818.16/2825.92 c #Conflicts: 1141000 | #Constraints: 86835
2818.16/2825.92 c #Conflicts: 1142000 | #Constraints: 87835
2818.16/2825.92 c #Conflicts: 1143000 | #Constraints: 88835
2818.16/2825.92 c #Conflicts: 1144000 | #Constraints: 89835
2818.16/2825.92 c #Conflicts: 1145000 | #Constraints: 90835
2818.16/2825.92 c #Conflicts: 1146000 | #Constraints: 91835
2818.16/2825.92 c #Conflicts: 1147000 | #Constraints: 92835
2818.16/2825.92 c #Conflicts: 1148000 | #Constraints: 93835
2818.16/2825.92 c #Conflicts: 1149000 | #Constraints: 94835
2818.16/2825.92 c #Conflicts: 1150000 | #Constraints: 95835
2818.16/2825.92 c #Conflicts: 1151000 | #Constraints: 96835
2818.16/2825.92 c #Conflicts: 1152000 | #Constraints: 97835
2818.16/2825.92 c #Conflicts: 1153000 | #Constraints: 98835
2818.16/2825.92 c #Conflicts: 1154000 | #Constraints: 99835
2818.16/2825.92 c #Conflicts: 1155000 | #Constraints: 100835
2818.16/2825.92 c #Conflicts: 1156000 | #Constraints: 101835
2818.16/2825.92 c #Conflicts: 1157000 | #Constraints: 102835
2818.16/2825.92 c #Conflicts: 1158000 | #Constraints: 103835
2818.16/2825.92 c #Conflicts: 1159000 | #Constraints: 104835
2818.16/2825.92 c #Conflicts: 1160000 | #Constraints: 105835
2818.16/2825.92 c #Conflicts: 1161000 | #Constraints: 106835
2818.16/2825.92 c #Conflicts: 1162000 | #Constraints: 107835
2818.16/2825.92 c #Conflicts: 1163000 | #Constraints: 108835
2818.16/2825.92 c #Conflicts: 1164000 | #Constraints: 109835
2818.16/2825.92 c #Conflicts: 1165000 | #Constraints: 110835
2818.16/2825.92 c #Conflicts: 1166000 | #Constraints: 111835
2818.16/2825.92 c #Conflicts: 1167000 | #Constraints: 112835
2818.16/2825.92 c #Conflicts: 1168000 | #Constraints: 113835
2964.21/2972.47 c #Conflicts: 1169000 | #Constraints: 114835
2964.21/2972.47 c #Conflicts: 1170000 | #Constraints: 115835
2964.21/2972.47 c #Conflicts: 1171000 | #Constraints: 116835
2964.21/2972.47 c #Conflicts: 1172000 | #Constraints: 117835
2964.21/2972.47 c #Conflicts: 1173000 | #Constraints: 118835
2964.21/2972.47 c #Conflicts: 1174000 | #Constraints: 119835
2964.21/2972.47 c #Conflicts: 1175000 | #Constraints: 120835
2964.21/2972.47 c #Conflicts: 1176000 | #Constraints: 121835
2964.21/2972.47 c #Conflicts: 1177000 | #Constraints: 122835
2964.21/2972.47 c #Conflicts: 1178000 | #Constraints: 123835
2964.21/2972.47 c #Conflicts: 1179000 | #Constraints: 124835
2964.21/2972.47 c #Conflicts: 1180000 | #Constraints: 125835
2964.21/2972.47 c #Conflicts: 1181000 | #Constraints: 126835
2964.21/2972.47 c #Conflicts: 1182000 | #Constraints: 127835
2964.21/2972.47 c #Conflicts: 1183000 | #Constraints: 128835
2964.21/2972.47 c #Conflicts: 1184000 | #Constraints: 129835
2964.21/2972.47 c #Conflicts: 1185000 | #Constraints: 130835
2964.21/2972.47 c #Conflicts: 1186000 | #Constraints: 131835
2964.21/2972.47 c #Conflicts: 1187000 | #Constraints: 132835
2964.21/2972.47 c #Conflicts: 1188000 | #Constraints: 133835
2964.21/2972.47 c #Conflicts: 1189000 | #Constraints: 134835
2964.21/2972.47 c #Conflicts: 1190000 | #Constraints: 135835
2964.21/2972.47 c #Conflicts: 1191000 | #Constraints: 136835
2964.21/2972.47 c #Conflicts: 1192000 | #Constraints: 137835
2964.21/2972.47 c #Conflicts: 1193000 | #Constraints: 138835
2964.21/2972.47 c #Conflicts: 1194000 | #Constraints: 139835
2964.21/2972.47 c #Conflicts: 1195000 | #Constraints: 140835
2964.21/2972.47 c #Conflicts: 1196000 | #Constraints: 141835
2964.21/2972.47 c #Conflicts: 1197000 | #Constraints: 142835
2964.21/2972.47 c #Conflicts: 1198000 | #Constraints: 143835
2964.21/2972.47 c #Conflicts: 1199000 | #Constraints: 144835
2964.21/2972.47 c #Conflicts: 1200000 | #Constraints: 145835
2964.21/2972.47 c #Conflicts: 1201000 | #Constraints: 146835
2964.21/2972.47 c #Conflicts: 1202000 | #Constraints: 147835
2964.21/2972.47 c #Conflicts: 1203000 | #Constraints: 148835
2964.21/2972.47 c #Conflicts: 1204000 | #Constraints: 149835
2964.21/2972.47 c #Conflicts: 1205000 | #Constraints: 150835
2964.21/2972.47 c #Conflicts: 1206000 | #Constraints: 151835
2964.21/2972.47 c #Conflicts: 1207000 | #Constraints: 152835
2964.21/2972.47 c #Conflicts: 1208000 | #Constraints: 153835
2964.21/2972.47 c #Conflicts: 1209000 | #Constraints: 154835
2964.21/2972.47 c INPROCESSING
2964.21/2972.47 c GARBAGE COLLECT
2964.21/2972.47 c rational objective 182
3063.72/3072.22 c #Conflicts: 1210000 | #Constraints: 90614
3063.72/3072.22 c #Conflicts: 1211000 | #Constraints: 91614
3063.72/3072.22 c #Conflicts: 1212000 | #Constraints: 92614
3063.72/3072.22 c #Conflicts: 1213000 | #Constraints: 93614
3063.72/3072.22 c #Conflicts: 1214000 | #Constraints: 94614
3063.72/3072.22 c #Conflicts: 1215000 | #Constraints: 95614
3063.72/3072.22 c #Conflicts: 1216000 | #Constraints: 96614
3063.72/3072.22 c #Conflicts: 1217000 | #Constraints: 97614
3063.72/3072.22 c #Conflicts: 1218000 | #Constraints: 98614
3063.72/3072.22 c #Conflicts: 1219000 | #Constraints: 99614
3063.72/3072.22 c #Conflicts: 1220000 | #Constraints: 100614
3063.72/3072.22 c #Conflicts: 1221000 | #Constraints: 101614
3063.72/3072.22 c #Conflicts: 1222000 | #Constraints: 102614
3063.72/3072.22 c #Conflicts: 1223000 | #Constraints: 103614
3063.72/3072.22 c #Conflicts: 1224000 | #Constraints: 104614
3063.72/3072.22 c #Conflicts: 1225000 | #Constraints: 105614
3063.72/3072.22 c #Conflicts: 1226000 | #Constraints: 106614
3063.72/3072.22 c #Conflicts: 1227000 | #Constraints: 107614
3063.72/3072.22 c #Conflicts: 1228000 | #Constraints: 108614
3063.72/3072.22 c #Conflicts: 1229000 | #Constraints: 109614
3063.72/3072.22 c #Conflicts: 1230000 | #Constraints: 110614
3063.72/3072.22 c #Conflicts: 1231000 | #Constraints: 111614
3063.72/3072.22 c #Conflicts: 1232000 | #Constraints: 112614
3063.72/3072.22 c #Conflicts: 1233000 | #Constraints: 113614
3063.72/3072.22 c #Conflicts: 1234000 | #Constraints: 114614
3063.72/3072.22 c #Conflicts: 1235000 | #Constraints: 115614
3063.72/3072.22 c #Conflicts: 1236000 | #Constraints: 116614
3063.72/3072.22 c #Conflicts: 1237000 | #Constraints: 117614
3063.72/3072.22 c #Conflicts: 1238000 | #Constraints: 118614
3063.72/3072.22 c #Conflicts: 1239000 | #Constraints: 119614
3063.72/3072.22 c #Conflicts: 1240000 | #Constraints: 120614
3063.72/3072.22 c INPROCESSING
3063.72/3072.22 c GARBAGE COLLECT
3063.72/3072.22 c rational objective 182
3288.17/3297.37 c #Conflicts: 1241000 | #Constraints: 87724
3288.17/3297.37 c #Conflicts: 1242000 | #Constraints: 88724
3288.17/3297.37 c #Conflicts: 1243000 | #Constraints: 89724
3288.17/3297.37 c #Conflicts: 1244000 | #Constraints: 90724
3288.17/3297.37 c #Conflicts: 1245000 | #Constraints: 91724
3288.17/3297.37 c #Conflicts: 1246000 | #Constraints: 92724
3288.17/3297.37 c #Conflicts: 1247000 | #Constraints: 93724
3288.17/3297.37 c #Conflicts: 1248000 | #Constraints: 94724
3288.17/3297.37 c #Conflicts: 1249000 | #Constraints: 95724
3288.17/3297.37 c #Conflicts: 1250000 | #Constraints: 96724
3288.17/3297.37 c #Conflicts: 1251000 | #Constraints: 97724
3288.17/3297.37 c #Conflicts: 1252000 | #Constraints: 98724
3288.17/3297.37 c #Conflicts: 1253000 | #Constraints: 99724
3288.17/3297.37 c #Conflicts: 1254000 | #Constraints: 100724
3288.17/3297.37 c #Conflicts: 1255000 | #Constraints: 101724
3288.17/3297.37 c #Conflicts: 1256000 | #Constraints: 102724
3288.17/3297.37 c #Conflicts: 1257000 | #Constraints: 103724
3288.17/3297.37 c #Conflicts: 1258000 | #Constraints: 104724
3288.17/3297.37 c #Conflicts: 1259000 | #Constraints: 105724
3288.17/3297.37 c #Conflicts: 1260000 | #Constraints: 106724
3288.17/3297.37 c #Conflicts: 1261000 | #Constraints: 107724
3288.17/3297.37 c #Conflicts: 1262000 | #Constraints: 108724
3288.17/3297.37 c #Conflicts: 1263000 | #Constraints: 109724
3288.17/3297.37 c #Conflicts: 1264000 | #Constraints: 110724
3288.17/3297.37 c #Conflicts: 1265000 | #Constraints: 111724
3288.17/3297.37 c #Conflicts: 1266000 | #Constraints: 112724
3288.17/3297.37 c #Conflicts: 1267000 | #Constraints: 113724
3288.17/3297.37 c #Conflicts: 1268000 | #Constraints: 114724
3288.17/3297.37 c #Conflicts: 1269000 | #Constraints: 115724
3288.17/3297.37 c #Conflicts: 1270000 | #Constraints: 116724
3288.17/3297.37 c #Conflicts: 1271000 | #Constraints: 117724
3288.17/3297.37 c #Conflicts: 1272000 | #Constraints: 118724
3288.17/3297.37 c #Conflicts: 1273000 | #Constraints: 119724
3288.17/3297.37 c #Conflicts: 1274000 | #Constraints: 120724
3288.17/3297.37 c #Conflicts: 1275000 | #Constraints: 121724
3288.17/3297.37 c #Conflicts: 1276000 | #Constraints: 122724
3288.17/3297.37 c #Conflicts: 1277000 | #Constraints: 123724
3288.17/3297.37 c #Conflicts: 1278000 | #Constraints: 124724
3288.17/3297.37 c #Conflicts: 1279000 | #Constraints: 125724
3288.17/3297.37 c #Conflicts: 1280000 | #Constraints: 126724
3288.17/3297.37 c #Conflicts: 1281000 | #Constraints: 127724
3288.17/3297.37 c #Conflicts: 1282000 | #Constraints: 128724
3288.17/3297.37 c #Conflicts: 1283000 | #Constraints: 129724
3288.17/3297.37 c #Conflicts: 1284000 | #Constraints: 130724
3288.17/3297.37 c #Conflicts: 1285000 | #Constraints: 131724
3288.17/3297.37 c #Conflicts: 1286000 | #Constraints: 132724
3288.17/3297.37 c #Conflicts: 1287000 | #Constraints: 133724
3288.17/3297.37 c #Conflicts: 1288000 | #Constraints: 134724
3288.17/3297.37 c #Conflicts: 1289000 | #Constraints: 135724
3288.17/3297.37 c #Conflicts: 1290000 | #Constraints: 136724
3288.17/3297.37 c #Conflicts: 1291000 | #Constraints: 137724
3288.17/3297.37 c #Conflicts: 1292000 | #Constraints: 138724
3288.17/3297.37 c #Conflicts: 1293000 | #Constraints: 139724
3288.17/3297.37 c #Conflicts: 1294000 | #Constraints: 140724
3288.17/3297.37 c #Conflicts: 1295000 | #Constraints: 141724
3288.17/3297.37 c #Conflicts: 1296000 | #Constraints: 142724
3288.17/3297.37 c #Conflicts: 1297000 | #Constraints: 143724
3288.17/3297.37 c #Conflicts: 1298000 | #Constraints: 144724
3288.17/3297.37 c #Conflicts: 1299000 | #Constraints: 145724
3288.17/3297.37 c #Conflicts: 1300000 | #Constraints: 146724
3288.17/3297.37 c #Conflicts: 1301000 | #Constraints: 147724
3288.17/3297.37 c #Conflicts: 1302000 | #Constraints: 148724
3288.17/3297.37 c #Conflicts: 1303000 | #Constraints: 149724
3288.17/3297.37 c #Conflicts: 1304000 | #Constraints: 150724
3288.17/3297.37 c #Conflicts: 1305000 | #Constraints: 151724
3288.17/3297.37 c #Conflicts: 1306000 | #Constraints: 152724
3288.17/3297.37 c #Conflicts: 1307000 | #Constraints: 153724
3288.17/3297.37 c #Conflicts: 1308000 | #Constraints: 154724
3288.17/3297.37 c #Conflicts: 1309000 | #Constraints: 155724
3288.17/3297.37 c #Conflicts: 1310000 | #Constraints: 156724
3288.17/3297.37 c #Conflicts: 1311000 | #Constraints: 157724
3288.17/3297.37 c #Conflicts: 1312000 | #Constraints: 158724
3288.17/3297.37 c #Conflicts: 1313000 | #Constraints: 159724
3288.17/3297.37 c #Conflicts: 1314000 | #Constraints: 160724
3288.17/3297.37 c #Conflicts: 1315000 | #Constraints: 161724
3288.17/3297.37 c INPROCESSING
3288.17/3297.37 c GARBAGE COLLECT
3288.17/3297.37 c #Conflicts: 1316000 | #Constraints: 94470
3288.17/3297.37 c #Conflicts: 1317000 | #Constraints: 95470
3288.17/3297.37 c #Conflicts: 1318000 | #Constraints: 96470
3288.17/3297.37 c #Conflicts: 1319000 | #Constraints: 97470
3510.24/3519.90 c #Conflicts: 1320000 | #Constraints: 98470
3510.24/3519.90 c #Conflicts: 1321000 | #Constraints: 99470
3510.24/3519.90 c #Conflicts: 1322000 | #Constraints: 100471
3510.24/3519.90 c #Conflicts: 1323000 | #Constraints: 101471
3510.24/3519.90 c #Conflicts: 1324000 | #Constraints: 102471
3510.24/3519.90 c #Conflicts: 1325000 | #Constraints: 103471
3510.24/3519.90 c #Conflicts: 1326000 | #Constraints: 104471
3510.24/3519.90 c #Conflicts: 1327000 | #Constraints: 105471
3510.24/3519.90 c #Conflicts: 1328000 | #Constraints: 106471
3510.24/3519.90 c #Conflicts: 1329000 | #Constraints: 107471
3510.24/3519.90 c #Conflicts: 1330000 | #Constraints: 108471
3510.24/3519.90 c #Conflicts: 1331000 | #Constraints: 109471
3510.24/3519.90 c #Conflicts: 1332000 | #Constraints: 110471
3510.24/3519.90 c #Conflicts: 1333000 | #Constraints: 111471
3510.24/3519.90 c #Conflicts: 1334000 | #Constraints: 112471
3510.24/3519.90 c #Conflicts: 1335000 | #Constraints: 113471
3510.24/3519.90 c #Conflicts: 1336000 | #Constraints: 114471
3510.24/3519.90 c #Conflicts: 1337000 | #Constraints: 115471
3510.24/3519.90 c #Conflicts: 1338000 | #Constraints: 116471
3510.24/3519.90 c #Conflicts: 1339000 | #Constraints: 117471
3510.24/3519.90 c #Conflicts: 1340000 | #Constraints: 118471
3510.24/3519.90 c #Conflicts: 1341000 | #Constraints: 119471
3510.24/3519.90 c #Conflicts: 1342000 | #Constraints: 120471
3510.24/3519.90 c #Conflicts: 1343000 | #Constraints: 121471
3510.24/3519.90 c #Conflicts: 1344000 | #Constraints: 122471
3510.24/3519.90 c #Conflicts: 1345000 | #Constraints: 123471
3510.24/3519.90 c #Conflicts: 1346000 | #Constraints: 124471
3510.24/3519.90 c #Conflicts: 1347000 | #Constraints: 125471
3510.24/3519.90 c INPROCESSING
3510.24/3519.90 c GARBAGE COLLECT
3510.24/3519.90 c #Conflicts: 1348000 | #Constraints: 91021
3510.24/3519.90 c #Conflicts: 1349000 | #Constraints: 92021
3510.24/3519.90 c #Conflicts: 1350000 | #Constraints: 93021
3510.24/3519.90 c #Conflicts: 1351000 | #Constraints: 94021
3510.24/3519.90 c #Conflicts: 1352000 | #Constraints: 95021
3510.24/3519.90 c #Conflicts: 1353000 | #Constraints: 96021
3510.24/3519.90 c #Conflicts: 1354000 | #Constraints: 97021
3510.24/3519.90 c #Conflicts: 1355000 | #Constraints: 98021
3510.24/3519.90 c #Conflicts: 1356000 | #Constraints: 99021
3510.24/3519.90 c #Conflicts: 1357000 | #Constraints: 100021
3510.24/3519.90 c #Conflicts: 1358000 | #Constraints: 101021
3510.24/3519.90 c #Conflicts: 1359000 | #Constraints: 102021
3510.24/3519.90 c #Conflicts: 1360000 | #Constraints: 103021
3510.24/3519.90 c #Conflicts: 1361000 | #Constraints: 104021
3510.24/3519.90 c #Conflicts: 1362000 | #Constraints: 105021
3510.24/3519.90 c #Conflicts: 1363000 | #Constraints: 106021
3510.24/3519.90 c #Conflicts: 1364000 | #Constraints: 107021
3510.24/3519.90 c #Conflicts: 1365000 | #Constraints: 108021
3510.24/3519.90 c #Conflicts: 1366000 | #Constraints: 109021
3510.24/3519.90 c #Conflicts: 1367000 | #Constraints: 110021
3510.24/3519.90 c #Conflicts: 1368000 | #Constraints: 111021
3510.24/3519.90 c #Conflicts: 1369000 | #Constraints: 112021
3510.24/3519.90 c #Conflicts: 1370000 | #Constraints: 113021
3510.24/3519.90 c #Conflicts: 1371000 | #Constraints: 114021
3510.24/3519.90 c #Conflicts: 1372000 | #Constraints: 115021
3510.24/3519.90 c #Conflicts: 1373000 | #Constraints: 116021
3510.24/3519.90 c #Conflicts: 1374000 | #Constraints: 117021
3510.24/3519.90 c #Conflicts: 1375000 | #Constraints: 118021
3510.24/3519.90 c #Conflicts: 1376000 | #Constraints: 119021
3510.24/3519.90 c #Conflicts: 1377000 | #Constraints: 120021
3510.24/3519.90 c #Conflicts: 1378000 | #Constraints: 121021
3510.24/3519.90 c #Conflicts: 1379000 | #Constraints: 122021
3510.24/3519.90 c #Conflicts: 1380000 | #Constraints: 123021
3510.24/3519.90 c #Conflicts: 1381000 | #Constraints: 124021
3510.24/3519.90 c #Conflicts: 1382000 | #Constraints: 125021
3510.24/3519.90 c #Conflicts: 1383000 | #Constraints: 126021
3510.24/3519.90 c #Conflicts: 1384000 | #Constraints: 127021
3510.24/3519.90 c #Conflicts: 1385000 | #Constraints: 128021
3510.24/3519.90 c #Conflicts: 1386000 | #Constraints: 129021
3510.24/3519.90 c #Conflicts: 1387000 | #Constraints: 130021
3510.24/3519.90 c #Conflicts: 1388000 | #Constraints: 131021
3510.24/3519.90 c #Conflicts: 1389000 | #Constraints: 132021
3510.24/3519.90 c #Conflicts: 1390000 | #Constraints: 133021
3510.24/3519.90 c #Conflicts: 1391000 | #Constraints: 134021
3510.24/3519.90 c #Conflicts: 1392000 | #Constraints: 135021
3510.24/3519.90 c #Conflicts: 1393000 | #Constraints: 136021
3510.24/3519.90 c #Conflicts: 1394000 | #Constraints: 137021
3510.24/3519.90 c #Conflicts: 1395000 | #Constraints: 138021
3510.24/3519.90 c #Conflicts: 1396000 | #Constraints: 139021
3510.24/3519.90 c #Conflicts: 1397000 | #Constraints: 140021
3600.01/3609.90 c #Conflicts: 1398000 | #Constraints: 141021
3600.01/3609.90 c #Conflicts: 1399000 | #Constraints: 142021
3600.01/3609.90 c #Conflicts: 1400000 | #Constraints: 143021
3600.01/3609.90 c #Conflicts: 1401000 | #Constraints: 144021
3600.01/3609.90 c #Conflicts: 1402000 | #Constraints: 145021
3600.01/3609.90 c #Conflicts: 1403000 | #Constraints: 146021
3600.01/3609.90 c #Conflicts: 1404000 | #Constraints: 147021
3600.01/3609.90 c #Conflicts: 1405000 | #Constraints: 148021
3600.01/3609.90 c #Conflicts: 1406000 | #Constraints: 149021
3600.01/3609.90 c #Conflicts: 1407000 | #Constraints: 150021
3600.01/3609.90 c #Conflicts: 1408000 | #Constraints: 151021
3600.01/3609.90 c #Conflicts: 1409000 | #Constraints: 152021
3600.01/3609.90 c #Conflicts: 1410000 | #Constraints: 153021
3600.01/3609.90 c #Conflicts: 1411000 | #Constraints: 154021
3600.01/3609.90 c #Conflicts: 1412000 | #Constraints: 155021
3600.01/3609.90 c #Conflicts: 1413000 | #Constraints: 156021
3600.01/3609.90 c #Conflicts: 1414000 | #Constraints: 157021
3600.01/3609.90 c #Conflicts: 1415000 | #Constraints: 158021
3600.01/3609.90 c #Conflicts: 1416000 | #Constraints: 159021
3600.01/3609.90 c #Conflicts: 1417000 | #Constraints: 160021
3600.01/3609.90 c #Conflicts: 1418000 | #Constraints: 161021
3600.01/3609.90 c #Conflicts: 1419000 | #Constraints: 162021
3600.01/3609.90 c cpu time 3565.83 s
3600.01/3609.90 c deterministic time 261613498682 2.62e+11
3600.01/3609.90 c optimization time 208.722 s
3600.01/3609.90 c total solve time 3356.83 s
3600.01/3609.90 c core-guided solve time 0 s
3600.01/3609.90 c propagation time 1962.72 s
3600.01/3609.90 c conflict analysis time 1190.25 s
3600.01/3609.90 c propagations 1470287631
3600.01/3609.90 c resolve steps 82575446
3600.01/3609.90 c decisions 38455558
3600.01/3609.90 c conflicts 1419093
3600.01/3609.90 c restarts 2746
3600.01/3609.90 c inprocessing phases 49
3600.01/3609.90 c garbage collections 49 ,( 100.00 )
3600.01/3609.90 c input clauses 21842 ,( 99.17 )
3600.01/3609.90 c input cardinalities 182 ,( 0.83 )
3600.01/3609.90 c input general constraints 0 ,( 0.00 )
3600.01/3609.90 c input average constraint length 6.43
3600.01/3609.90 c input average constraint degree 1.97
3600.01/3609.90 c learned clauses 1030789 ,( 72.64 )
3600.01/3609.90 c learned cardinalities 49413 ,( 3.48 )
3600.01/3609.90 c learned general constraints 338905 ,( 23.88 )
3600.01/3609.90 c learned average constraint length 715.68
3600.01/3609.90 c learned average constraint degree 12501293.90
3600.01/3609.90 c watched CF 32, 64, 128, Arb: 82491 , 0 , 0 , 0
3600.01/3609.90 c counting CF 32, 64, 128, Arb: 256414 , 0 , 0 , 0
3600.01/3609.90 c watched constraints 82491 ,( 24.34 )
3600.01/3609.90 c counting constraints 256414 ,( 75.66 )
3600.01/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1377233418 , 830312885 , 1890714157 ,( 89278502 , 1801435655 )
3600.01/3609.90 c gcd simplifications 756
3600.01/3609.90 c detected cardinalities 7887
3600.01/3609.90 c weakened non-implied lits 386892410
3600.01/3609.90 c weakened non-implying lits 207456
3600.01/3609.90 c original variables 21658
3600.01/3609.90 c clausal propagations 680920690
3600.01/3609.90 c cardinality propagations 545825449
3600.01/3609.90 c watched propagations 4517464
3600.01/3609.90 c counting propagations 225265816
3600.01/3609.90 c watch lookups 80804516169
3600.01/3609.90 c watch backjump lookups 0
3600.01/3609.90 c watch checks 35566301505
3600.01/3609.90 c propagation checks 137393397333
3600.01/3609.90 c constraint additions 4830107970
3600.01/3609.90 c trail pops 1510143217
3600.01/3609.90 c formula constraints 22024
3600.01/3609.90 c learned constraints 1419087
3600.01/3609.90 c bound constraints 0
3600.01/3609.90 c core-guided constraints 0
3600.01/3609.90 c encountered formula constraints 51054486
3600.01/3609.90 c encountered learned constraints 32939440
3600.01/3609.90 c encountered bound constraints 0
3600.01/3609.90 c encountered core-guided constraints 0
3600.01/3609.90 c LP total time 374.682 s
3600.01/3609.90 c LP solve time 363.61 s
3600.01/3609.90 c LP constraints added 22819
3600.01/3609.90 c LP constraints removed 399
3600.01/3609.90 c LP pivots internal 151597
3600.01/3609.90 c LP pivots root 137701
3600.01/3609.90 c LP calls 19
3600.01/3609.90 c LP optimalities 7
3600.01/3609.90 c LP no pivot count 0
3600.01/3609.90 c LP infeasibilities 6
3600.01/3609.90 c LP valid Farkas constraints 6
3600.01/3609.90 c LP learned Farkas constraints 6
3600.01/3609.90 c LP basis resets 0
3600.01/3609.90 c LP cycling count 0
3600.01/3609.90 c LP singular count 0
3600.01/3609.90 c LP no primal count 0
3600.01/3609.90 c LP no farkas count 0
3600.01/3609.90 c LP other issue count 0
3600.01/3609.90 c LP Gomory cuts 8
3600.01/3609.90 c LP learned cuts 787
3600.01/3609.90 c LP deleted cuts 399
3600.01/3609.90 c LP encountered Gomory constraints 4
3600.01/3609.90 c LP encountered Farkas constraints 599
3600.01/3609.90 c LP encountered learned Farkas constraints 4
3600.01/3609.90 c CG auxiliary variables introduced 0
3600.01/3609.90 c CG solutions found 0
3600.01/3609.90 c CG cores constructed 0
3600.01/3609.90 c CG core cardinality constraints returned 0
3600.01/3609.90 c CG unit cores 0
3600.01/3609.90 c CG single cores 0
3600.01/3609.90 c CG blocks removed during cardinality reduction 0
3600.01/3609.90 c CG first core best 0
3600.01/3609.90 c CG decision core best 0
3600.01/3609.90 c CG core reduction tie 0
3600.01/3609.90 c CG core degree average 0.00
3600.01/3609.90 c CG core slack average 0.00
3600.01/3609.90 c CG core upper bound improvements 0
3600.01/3609.90 c STR number of successful calls 0
3600.01/3609.90 c STR number of unsuccessful calls 0
3600.01/3609.90 c STR number of inconclusive calls 0
3600.01/3609.90 c STR number of successful attempts 0
3600.01/3609.90 c STR number of unsuccessful attempts 0
3600.01/3609.90 c STR number of inconclusive attempts 0
3600.01/3609.90 c STR average degree increase per successful call inf
3600.01/3609.90 c STR average degree increase per successful attempt inf
3600.01/3609.90 c STR total number of conflicts for successful attempts 0
3600.01/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.90 c STR average number of conflicts per successful attempt inf
3600.01/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.90 c AVG.sumWPerc 66.91
3600.01/3609.90 c bigint constraints 0
3600.01/3609.90 s UNKNOWN
3600.01/3609.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62078 MiB free)
memory of node 1: 64507 MiB (63577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507194-1751175720/watcher-4507194-1751175720 -o /tmp/evaluation-result-4507194-1751175720/solver-4507194-1751175720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4507194-1751175720.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.el9_5.x86_64
Starting watchdog thread
solver pid=20797, runsolver pid=20794
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.04 4.08 4.11 5/256 20799
/proc/meminfo: memFree=128667844/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=63896 memory=18840 CPUtime=0.09 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 2460 0 0 0 7 2 0 0 20 0 1 0 33251425 65429504 4710 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 15974 4710 1952 1147 0 3401 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68088 KiB
Current children cumulated memory: 21784 KiB
[startup+0.213466 s]*
/proc/loadavg: 4.04 4.08 4.11 5/256 20799
/proc/meminfo: memFree=128667844/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=68404 memory=22956 CPUtime=0.2 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 3604 0 0 0 15 5 0 0 20 0 1 0 33251425 70045696 5739 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 17101 5739 1952 1147 0 4528 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72596 KiB
Current children cumulated memory: 25900 KiB
[startup+0.313388 s]*
/proc/loadavg: 4.04 4.08 4.11 5/256 20799
/proc/meminfo: memFree=128647872/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=86404 memory=40536 CPUtime=0.3 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 7610 0 0 0 23 7 0 0 20 0 1 0 33251425 88477696 10134 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 21601 10134 2240 1147 0 9028 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 43480 KiB
[startup+0.700461 s]
/proc/loadavg: 4.04 4.08 4.11 5/256 20799
/proc/meminfo: memFree=128628088/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=118480 memory=63868 CPUtime=0.67 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 12769 0 0 0 59 8 0 0 20 0 1 0 33251425 121323520 15967 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 29620 15967 2240 1147 0 17047 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122672 KiB
Current children cumulated memory: 66812 KiB
[startup+1.50045 s]
/proc/loadavg: 4.04 4.08 4.11 5/256 20799
/proc/meminfo: memFree=128628760/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=118480 memory=64508 CPUtime=1.46 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 12897 0 0 0 138 8 0 0 20 0 1 0 33251425 121323520 16127 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 29620 16127 2272 1147 0 17047 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 122672 KiB
Current children cumulated memory: 67452 KiB
[startup+3.11319 s]
/proc/loadavg: 4.12 4.10 4.12 5/256 20799
/proc/meminfo: memFree=128629164/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=118480 memory=64508 CPUtime=3.07 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 12897 0 0 0 299 8 0 0 20 0 1 0 33251425 121323520 16127 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 29620 16127 2272 1147 0 17047 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 122672 KiB
Current children cumulated memory: 67452 KiB
[startup+6.30044 s]
/proc/loadavg: 4.12 4.10 4.12 5/256 20799
/proc/meminfo: memFree=128621100/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=125496 memory=75624 CPUtime=6.25 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 15103 0 0 0 607 18 0 0 20 0 1 0 33251425 128507904 18906 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 31374 18906 2336 1147 0 18801 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 129688 KiB
Current children cumulated memory: 78568 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.10 4.12 5/256 20799
/proc/meminfo: memFree=128600316/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=134100 memory=83932 CPUtime=12.64 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 16669 0 0 0 1230 34 0 0 20 0 1 0 33251425 137318400 20983 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 33525 20983 2336 1147 0 20952 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 138292 KiB
Current children cumulated memory: 86876 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.09 4.11 5/256 20799
/proc/meminfo: memFree=128589464/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=161564 memory=105784 CPUtime=25.41 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 21621 0 0 0 2471 70 0 0 20 0 1 0 33251425 165441536 26446 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 40391 26446 2336 1147 0 27818 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 165756 KiB
Current children cumulated memory: 108728 KiB
[startup+51.1131 s]
/proc/loadavg: 4.13 4.10 4.11 5/256 20800
/proc/meminfo: memFree=128563420/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=187164 memory=127836 CPUtime=50.96 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 25670 0 0 0 4952 144 0 0 20 0 1 0 33251425 191655936 31959 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 46791 31959 2336 1147 0 34218 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 191356 KiB
Current children cumulated memory: 130780 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/256 20802
/proc/meminfo: memFree=128457520/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=241308 memory=186724 CPUtime=102.01 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 34779 0 0 0 9968 233 0 0 20 0 1 0 33251425 247099392 46681 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 60327 46681 2336 1147 0 47754 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 245500 KiB
Current children cumulated memory: 189668 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/255 20804
/proc/meminfo: memFree=128357188/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=291384 memory=211476 CPUtime=161.86 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 39967 0 0 0 15855 331 0 0 20 0 1 0 33251425 298377216 52869 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 72846 52869 2336 1147 0 60273 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 295576 KiB
Current children cumulated memory: 214420 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/255 20806
/proc/meminfo: memFree=128310216/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=307640 memory=232188 CPUtime=221.7 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 44124 0 0 0 21718 452 0 0 20 0 1 0 33251425 315023360 58047 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 76910 58047 2336 1147 0 64337 0
################
# More data... #
################
/proc/20799/statm: 291691 267893 2336 1147 0 279118 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 1170956 KiB
Current children cumulated memory: 1074516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/257 21146
/proc/meminfo: memFree=128293644/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1166764 memory=1080020 CPUtime=3153.55 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 136017 0 0 0 312252 3103 0 0 20 0 1 0 33251425 1194766336 270005 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 291691 270005 2336 1147 0 279118 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 1170956 KiB
Current children cumulated memory: 1082964 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/256 21148
/proc/meminfo: memFree=128166560/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1169024 memory=1081812 CPUtime=3213.37 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 136501 0 0 0 318191 3146 0 0 20 0 1 0 33251425 1197080576 270453 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 292256 270453 2336 1147 0 279683 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 1173216 KiB
Current children cumulated memory: 1084756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/255 21150
/proc/meminfo: memFree=128105724/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1180100 memory=1090132 CPUtime=3273.21 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 138603 0 0 0 324141 3180 0 0 20 0 1 0 33251425 1208422400 272533 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 295025 272533 2336 1147 0 282452 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 1184292 KiB
Current children cumulated memory: 1093076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/255 21152
/proc/meminfo: memFree=128085120/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1188052 memory=1097556 CPUtime=3333.06 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 140463 0 0 0 330092 3214 0 0 20 0 1 0 33251425 1216565248 274389 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 297013 274389 2336 1147 0 284440 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 1192244 KiB
Current children cumulated memory: 1100500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/254 21154
/proc/meminfo: memFree=128002184/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1189404 memory=1098964 CPUtime=3392.92 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 140801 0 0 0 336045 3247 0 0 20 0 1 0 33251425 1217949696 274741 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 297351 274741 2336 1147 0 284778 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 1193596 KiB
Current children cumulated memory: 1101908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.52 4.21 4.16 5/253 21156
/proc/meminfo: memFree=127958616/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1189404 memory=1098964 CPUtime=3452.77 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 140927 0 0 0 341965 3312 0 0 20 0 1 0 33251425 1217949696 274741 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 297351 274741 2336 1147 0 284778 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 1193596 KiB
Current children cumulated memory: 1101908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.28 4.19 5/254 21161
/proc/meminfo: memFree=127958452/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1189404 memory=1098964 CPUtime=3512.63 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 141123 0 0 0 347897 3366 0 0 20 0 1 0 33251425 1217949696 274741 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 297351 274741 2336 1147 0 284778 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 1193596 KiB
Current children cumulated memory: 1101908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.25 4.18 5/255 21166
/proc/meminfo: memFree=127906496/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1194264 memory=1102548 CPUtime=3572.48 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 142040 0 0 0 353848 3400 0 0 20 0 1 0 33251425 1222926336 275637 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 298566 275637 2336 1147 0 285993 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 1198456 KiB
Current children cumulated memory: 1105492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.18 4.23 4.18 5/255 21167
/proc/meminfo: memFree=127898416/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1198588 memory=1105620 CPUtime=3600.01 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 142818 0 0 0 356583 3418 0 0 20 0 1 0 33251425 1227354112 276405 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 299647 276405 2336 1147 0 287074 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1202780 KiB
Current children cumulated memory: 1108564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 20797 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001667 s, system=0.003284 s
[startup+3609.91 s]
# the end of solver process 20799 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3565.85 s, system=34.1903 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.9 s]
/proc/loadavg: 4.18 4.23 4.18 5/255 21167
/proc/meminfo: memFree=127898416/131382120 swapFree=33010684/33010684
[pid=20797] ppid=20794 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/20797/stat : 20797 (run-dec-ls.sh) S 20794 20797 20058 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33251424 4292608 736 18446744073709551615 94050325032960 94050325927493 140731019418384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94050326166544 94050326214288 94050345893888 140731019422055 140731019422181 140731019422181 140731019427783 0
/proc/20797/statm: 1048 736 672 219 0 110 0
[pid=20799] ppid=20797 vsize=1198588 memory=1105620 CPUtime=3600.01 cores=5,7
/proc/20799/stat : 20799 (roundingsat) R 20797 20797 20058 0 -1 4194304 142818 0 0 0 356583 3418 0 0 20 0 1 0 33251425 1227354112 276405 18446744073709551615 4227072 8923433 140737342519856 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16453632 140737342523808 140737342523944 140737342523944 140737342529514 0
/proc/20799/statm: 299647 276405 2336 1147 0 287074 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1202780 KiB
Current children cumulated memory: 1108564 KiB
Child status: 2
Real time (s): 3609.91
CPU time (s): 3600.04
CPU user time (s): 3565.85
CPU system time (s): 34.1903
CPU usage (%): 99.7264
Max. virtual memory (cumulated for all children) (KiB): 1202780
Max. memory (cumulated for all children) (KiB): 1108564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.85
system time used= 34.1903
maximum resident set size= 1106004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143066
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= 386
involuntary context switches= 3079
# summary of solver processes directly reported to runsolver:
# pid: 20797,20799
# total CPU time (s): 3600.04
# total CPU user time (s): 3565.85
# total CPU system time (s): 34.1903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3652 second user time and 39.1063 second system time
The end
Begin job on nodeC006 at 2025-06-29 07:42:01
IDJOB=4507194
IDBENCH=158329
IDSOLVER=3353
FILE ID=nodeC006/4507194-1751175720
RUNJOBID= nodeC006-1751170846-20071
SLURM_JOB_ID= 9587530
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507194-1751175720/watcher-4507194-1751175720 -o /tmp/evaluation-result-4507194-1751175720/solver-4507194-1751175720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4507194-1751175720.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20
RANDOM SEED=764484824
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.011
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.404
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.262
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.002
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.424
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.467
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128671940 kB
MemAvailable: 128318204 kB
Buffers: 3280 kB
Cached: 457388 kB
SwapCached: 0 kB
Active: 1903152 kB
Inactive: 209624 kB
Active(anon): 1670068 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 209624 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8876 kB
Writeback: 4 kB
AnonPages: 1655204 kB
Mapped: 115680 kB
Shmem: 17960 kB
KReclaimable: 85304 kB
Slab: 164200 kB
SReclaimable: 85304 kB
SUnreclaim: 78896 kB
KernelStack: 4128 kB
PageTables: 6512 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2257772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 368640 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC006 at 2025-06-29 08:42:11