0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.28/0.38 c #variables 21658 #constraints 22024
88.99/89.32 c #Conflicts: 1000 | #Constraints: 23023
88.99/89.32 c #Conflicts: 2000 | #Constraints: 24023
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 3000 | #Constraints: 23375
88.99/89.32 c #Conflicts: 4000 | #Constraints: 24375
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 5000 | #Constraints: 23892
88.99/89.32 c #Conflicts: 6000 | #Constraints: 24892
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 7000 | #Constraints: 23967
88.99/89.32 c #Conflicts: 8000 | #Constraints: 24967
88.99/89.32 c #Conflicts: 9000 | #Constraints: 25967
88.99/89.32 c #Conflicts: 10000 | #Constraints: 26967
88.99/89.32 c #Conflicts: 11000 | #Constraints: 27967
88.99/89.32 c #Conflicts: 12000 | #Constraints: 28967
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 13000 | #Constraints: 26025
88.99/89.32 c #Conflicts: 14000 | #Constraints: 27025
88.99/89.32 c #Conflicts: 15000 | #Constraints: 28025
88.99/89.32 c #Conflicts: 16000 | #Constraints: 29025
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 17000 | #Constraints: 26538
88.99/89.32 c #Conflicts: 18000 | #Constraints: 27538
88.99/89.32 c #Conflicts: 19000 | #Constraints: 28538
88.99/89.32 c #Conflicts: 20000 | #Constraints: 29538
88.99/89.32 c #Conflicts: 21000 | #Constraints: 30538
88.99/89.32 c #Conflicts: 22000 | #Constraints: 31538
88.99/89.32 c #Conflicts: 23000 | #Constraints: 32538
88.99/89.32 c #Conflicts: 24000 | #Constraints: 33538
88.99/89.32 c #Conflicts: 25000 | #Constraints: 34538
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 26000 | #Constraints: 28975
88.99/89.32 c #Conflicts: 27000 | #Constraints: 29975
88.99/89.32 c #Conflicts: 28000 | #Constraints: 30975
88.99/89.32 c #Conflicts: 29000 | #Constraints: 31975
88.99/89.32 c #Conflicts: 30000 | #Constraints: 32975
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 31000 | #Constraints: 28902
88.99/89.32 c #Conflicts: 32000 | #Constraints: 29902
88.99/89.32 c #Conflicts: 33000 | #Constraints: 30902
88.99/89.32 c #Conflicts: 34000 | #Constraints: 31902
88.99/89.32 c #Conflicts: 35000 | #Constraints: 32902
88.99/89.32 c #Conflicts: 36000 | #Constraints: 33902
88.99/89.32 c #Conflicts: 37000 | #Constraints: 34902
88.99/89.32 c #Conflicts: 38000 | #Constraints: 35902
88.99/89.32 c #Conflicts: 39000 | #Constraints: 36902
88.99/89.32 c #Conflicts: 40000 | #Constraints: 37902
88.99/89.32 c #Conflicts: 41000 | #Constraints: 38902
88.99/89.32 c #Conflicts: 42000 | #Constraints: 39902
88.99/89.32 c #Conflicts: 43000 | #Constraints: 40902
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 44000 | #Constraints: 32525
88.99/89.32 c #Conflicts: 45000 | #Constraints: 33525
88.99/89.32 c #Conflicts: 46000 | #Constraints: 34525
88.99/89.32 c #Conflicts: 47000 | #Constraints: 35525
88.99/89.32 c #Conflicts: 48000 | #Constraints: 36525
88.99/89.32 c #Conflicts: 49000 | #Constraints: 37525
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 50000 | #Constraints: 32112
88.99/89.32 c #Conflicts: 51000 | #Constraints: 33112
88.99/89.32 c #Conflicts: 52000 | #Constraints: 34112
88.99/89.32 c #Conflicts: 53000 | #Constraints: 35112
88.99/89.32 c #Conflicts: 54000 | #Constraints: 36112
88.99/89.32 c #Conflicts: 55000 | #Constraints: 37112
88.99/89.32 c #Conflicts: 56000 | #Constraints: 38112
88.99/89.32 c #Conflicts: 57000 | #Constraints: 39112
88.99/89.32 c #Conflicts: 58000 | #Constraints: 40112
88.99/89.32 c #Conflicts: 59000 | #Constraints: 41112
88.99/89.32 c #Conflicts: 60000 | #Constraints: 42112
88.99/89.32 c #Conflicts: 61000 | #Constraints: 43112
88.99/89.32 c #Conflicts: 62000 | #Constraints: 44112
88.99/89.32 c #Conflicts: 63000 | #Constraints: 45112
88.99/89.32 c #Conflicts: 64000 | #Constraints: 46112
88.99/89.32 c #Conflicts: 65000 | #Constraints: 47112
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
88.99/89.32 c #Conflicts: 66000 | #Constraints: 35936
88.99/89.32 c #Conflicts: 67000 | #Constraints: 36936
88.99/89.32 c #Conflicts: 68000 | #Constraints: 37936
88.99/89.32 c #Conflicts: 69000 | #Constraints: 38936
88.99/89.32 c #Conflicts: 70000 | #Constraints: 39936
88.99/89.32 c #Conflicts: 71000 | #Constraints: 40936
88.99/89.32 c #Conflicts: 72000 | #Constraints: 41936
88.99/89.32 c INPROCESSING
88.99/89.32 c GARBAGE COLLECT
203.03/203.72 c #Conflicts: 73000 | #Constraints: 34907
203.03/203.72 c #Conflicts: 74000 | #Constraints: 35907
203.03/203.72 c #Conflicts: 75000 | #Constraints: 36907
203.03/203.72 c #Conflicts: 76000 | #Constraints: 37907
203.03/203.72 c #Conflicts: 77000 | #Constraints: 38907
203.03/203.72 c #Conflicts: 78000 | #Constraints: 39907
203.03/203.72 c #Conflicts: 79000 | #Constraints: 40907
203.03/203.72 c #Conflicts: 80000 | #Constraints: 41907
203.03/203.72 c #Conflicts: 81000 | #Constraints: 42907
203.03/203.72 c #Conflicts: 82000 | #Constraints: 43907
203.03/203.72 c #Conflicts: 83000 | #Constraints: 44907
203.03/203.72 c #Conflicts: 84000 | #Constraints: 45907
203.03/203.72 c #Conflicts: 85000 | #Constraints: 46907
203.03/203.72 c #Conflicts: 86000 | #Constraints: 47907
203.03/203.72 c #Conflicts: 87000 | #Constraints: 48907
203.03/203.72 c #Conflicts: 88000 | #Constraints: 49907
203.03/203.72 c #Conflicts: 89000 | #Constraints: 50907
203.03/203.72 c #Conflicts: 90000 | #Constraints: 51907
203.03/203.72 c #Conflicts: 91000 | #Constraints: 52907
203.03/203.72 c INPROCESSING
203.03/203.72 c GARBAGE COLLECT
203.03/203.72 c #Conflicts: 92000 | #Constraints: 38818
203.03/203.72 c #Conflicts: 93000 | #Constraints: 39818
203.03/203.72 c #Conflicts: 94000 | #Constraints: 40818
203.03/203.72 c #Conflicts: 95000 | #Constraints: 41818
203.03/203.72 c #Conflicts: 96000 | #Constraints: 42818
203.03/203.72 c #Conflicts: 97000 | #Constraints: 43818
203.03/203.72 c #Conflicts: 98000 | #Constraints: 44818
203.03/203.72 c #Conflicts: 99000 | #Constraints: 45818
203.03/203.72 c #Conflicts: 100000 | #Constraints: 46818
203.03/203.72 c INPROCESSING
203.03/203.72 c GARBAGE COLLECT
203.03/203.72 c #Conflicts: 101000 | #Constraints: 38347
203.03/203.72 c #Conflicts: 102000 | #Constraints: 39347
203.03/203.72 c #Conflicts: 103000 | #Constraints: 40347
203.03/203.72 c #Conflicts: 104000 | #Constraints: 41347
203.03/203.72 c #Conflicts: 105000 | #Constraints: 42347
203.03/203.72 c #Conflicts: 106000 | #Constraints: 43347
203.03/203.72 c #Conflicts: 107000 | #Constraints: 44347
203.03/203.72 c #Conflicts: 108000 | #Constraints: 45347
203.03/203.72 c #Conflicts: 109000 | #Constraints: 46347
203.03/203.72 c #Conflicts: 110000 | #Constraints: 47347
203.03/203.72 c #Conflicts: 111000 | #Constraints: 48347
203.03/203.72 c #Conflicts: 112000 | #Constraints: 49347
203.03/203.72 c #Conflicts: 113000 | #Constraints: 50347
203.03/203.72 c #Conflicts: 114000 | #Constraints: 51347
203.03/203.72 c #Conflicts: 115000 | #Constraints: 52347
203.03/203.72 c #Conflicts: 116000 | #Constraints: 53347
203.03/203.72 c #Conflicts: 117000 | #Constraints: 54347
203.03/203.72 c #Conflicts: 118000 | #Constraints: 55347
203.03/203.72 c #Conflicts: 119000 | #Constraints: 56347
203.03/203.72 c #Conflicts: 120000 | #Constraints: 57347
203.03/203.72 c #Conflicts: 121000 | #Constraints: 58347
203.03/203.72 c INPROCESSING
203.03/203.72 c GARBAGE COLLECT
203.03/203.72 c #Conflicts: 122000 | #Constraints: 41448
203.03/203.72 c #Conflicts: 123000 | #Constraints: 42448
203.03/203.72 c #Conflicts: 124000 | #Constraints: 43448
203.03/203.72 c #Conflicts: 125000 | #Constraints: 44448
203.03/203.72 c #Conflicts: 126000 | #Constraints: 45448
203.03/203.72 c #Conflicts: 127000 | #Constraints: 46448
203.03/203.72 c #Conflicts: 128000 | #Constraints: 47448
203.03/203.72 c #Conflicts: 129000 | #Constraints: 48448
203.03/203.72 c #Conflicts: 130000 | #Constraints: 49448
203.03/203.72 c #Conflicts: 131000 | #Constraints: 50448
203.03/203.72 c #Conflicts: 132000 | #Constraints: 51448
203.03/203.72 c INPROCESSING
203.03/203.72 c GARBAGE COLLECT
203.03/203.72 c #Conflicts: 133000 | #Constraints: 42050
203.03/203.72 c #Conflicts: 134000 | #Constraints: 43050
203.03/203.72 c #Conflicts: 135000 | #Constraints: 44050
203.03/203.72 c #Conflicts: 136000 | #Constraints: 45050
203.03/203.72 c #Conflicts: 137000 | #Constraints: 46050
203.03/203.72 c #Conflicts: 138000 | #Constraints: 47050
203.03/203.72 c #Conflicts: 139000 | #Constraints: 48050
203.03/203.72 c #Conflicts: 140000 | #Constraints: 49050
203.03/203.72 c #Conflicts: 141000 | #Constraints: 50050
203.03/203.72 c #Conflicts: 142000 | #Constraints: 51050
203.03/203.72 c #Conflicts: 143000 | #Constraints: 52050
203.03/203.72 c #Conflicts: 144000 | #Constraints: 53050
203.03/203.72 c #Conflicts: 145000 | #Constraints: 54050
203.03/203.72 c #Conflicts: 146000 | #Constraints: 55050
203.03/203.72 c #Conflicts: 147000 | #Constraints: 56050
203.03/203.72 c #Conflicts: 148000 | #Constraints: 57050
203.03/203.72 c #Conflicts: 149000 | #Constraints: 58050
308.72/309.74 c #Conflicts: 150000 | #Constraints: 59050
308.72/309.74 c #Conflicts: 151000 | #Constraints: 60050
308.72/309.74 c #Conflicts: 152000 | #Constraints: 61050
308.72/309.74 c #Conflicts: 153000 | #Constraints: 62050
308.72/309.74 c #Conflicts: 154000 | #Constraints: 63050
308.72/309.74 c #Conflicts: 155000 | #Constraints: 64050
308.72/309.74 c #Conflicts: 156000 | #Constraints: 65050
308.72/309.74 c INPROCESSING
308.72/309.74 c GARBAGE COLLECT
308.72/309.74 c #Conflicts: 157000 | #Constraints: 44671
308.72/309.74 c #Conflicts: 158000 | #Constraints: 45671
308.72/309.74 c #Conflicts: 159000 | #Constraints: 46671
308.72/309.74 c #Conflicts: 160000 | #Constraints: 47671
308.72/309.74 c #Conflicts: 161000 | #Constraints: 48671
308.72/309.74 c #Conflicts: 162000 | #Constraints: 49671
308.72/309.74 c #Conflicts: 163000 | #Constraints: 50671
308.72/309.74 c #Conflicts: 164000 | #Constraints: 51671
308.72/309.74 c #Conflicts: 165000 | #Constraints: 52671
308.72/309.74 c #Conflicts: 166000 | #Constraints: 53671
308.72/309.74 c #Conflicts: 167000 | #Constraints: 54671
308.72/309.74 c #Conflicts: 168000 | #Constraints: 55671
308.72/309.74 c INPROCESSING
308.72/309.74 c GARBAGE COLLECT
308.72/309.74 c #Conflicts: 169000 | #Constraints: 44816
308.72/309.74 c #Conflicts: 170000 | #Constraints: 45816
308.72/309.74 c #Conflicts: 171000 | #Constraints: 46816
308.72/309.74 c #Conflicts: 172000 | #Constraints: 47816
308.72/309.74 c #Conflicts: 173000 | #Constraints: 48816
308.72/309.74 c #Conflicts: 174000 | #Constraints: 49816
308.72/309.74 c #Conflicts: 175000 | #Constraints: 50816
308.72/309.74 c #Conflicts: 176000 | #Constraints: 51816
308.72/309.74 c #Conflicts: 177000 | #Constraints: 52816
308.72/309.74 c #Conflicts: 178000 | #Constraints: 53816
308.72/309.74 c #Conflicts: 179000 | #Constraints: 54816
308.72/309.74 c #Conflicts: 180000 | #Constraints: 55816
308.72/309.74 c #Conflicts: 181000 | #Constraints: 56816
308.72/309.74 c #Conflicts: 182000 | #Constraints: 57816
308.72/309.74 c #Conflicts: 183000 | #Constraints: 58816
308.72/309.74 c #Conflicts: 184000 | #Constraints: 59816
308.72/309.74 c #Conflicts: 185000 | #Constraints: 60816
308.72/309.74 c #Conflicts: 186000 | #Constraints: 61816
308.72/309.74 c #Conflicts: 187000 | #Constraints: 62816
308.72/309.74 c #Conflicts: 188000 | #Constraints: 63816
308.72/309.74 c #Conflicts: 189000 | #Constraints: 64816
308.72/309.74 c #Conflicts: 190000 | #Constraints: 65816
308.72/309.74 c #Conflicts: 191000 | #Constraints: 66816
308.72/309.74 c #Conflicts: 192000 | #Constraints: 67816
308.72/309.74 c #Conflicts: 193000 | #Constraints: 68816
308.72/309.74 c #Conflicts: 194000 | #Constraints: 69816
308.72/309.74 c #Conflicts: 195000 | #Constraints: 70816
308.72/309.74 c #Conflicts: 196000 | #Constraints: 71816
308.72/309.74 c INPROCESSING
308.72/309.74 c GARBAGE COLLECT
308.72/309.74 c #Conflicts: 197000 | #Constraints: 48696
308.72/309.74 c #Conflicts: 198000 | #Constraints: 49696
308.72/309.74 c #Conflicts: 199000 | #Constraints: 50696
308.72/309.74 c #Conflicts: 200000 | #Constraints: 51696
308.72/309.74 c #Conflicts: 201000 | #Constraints: 52696
308.72/309.74 c #Conflicts: 202000 | #Constraints: 53696
308.72/309.74 c #Conflicts: 203000 | #Constraints: 54696
308.72/309.74 c #Conflicts: 204000 | #Constraints: 55696
308.72/309.74 c #Conflicts: 205000 | #Constraints: 56696
308.72/309.74 c #Conflicts: 206000 | #Constraints: 57696
308.72/309.74 c #Conflicts: 207000 | #Constraints: 58696
308.72/309.74 c #Conflicts: 208000 | #Constraints: 59696
308.72/309.74 c #Conflicts: 209000 | #Constraints: 60696
308.72/309.74 c INPROCESSING
308.72/309.74 c GARBAGE COLLECT
308.72/309.74 c #Conflicts: 210000 | #Constraints: 48267
308.72/309.74 c #Conflicts: 211000 | #Constraints: 49267
308.72/309.74 c #Conflicts: 212000 | #Constraints: 50267
308.72/309.74 c #Conflicts: 213000 | #Constraints: 51267
308.72/309.74 c #Conflicts: 214000 | #Constraints: 52267
308.72/309.74 c #Conflicts: 215000 | #Constraints: 53267
308.72/309.74 c #Conflicts: 216000 | #Constraints: 54267
308.72/309.74 c #Conflicts: 217000 | #Constraints: 55267
308.72/309.74 c #Conflicts: 218000 | #Constraints: 56267
308.72/309.74 c #Conflicts: 219000 | #Constraints: 57267
308.72/309.74 c #Conflicts: 220000 | #Constraints: 58267
308.72/309.74 c #Conflicts: 221000 | #Constraints: 59267
308.72/309.74 c #Conflicts: 222000 | #Constraints: 60267
308.72/309.74 c #Conflicts: 223000 | #Constraints: 61267
308.72/309.74 c #Conflicts: 224000 | #Constraints: 62267
308.72/309.74 c #Conflicts: 225000 | #Constraints: 63267
513.35/515.04 c #Conflicts: 226000 | #Constraints: 64267
513.35/515.04 c #Conflicts: 227000 | #Constraints: 65267
513.35/515.04 c #Conflicts: 228000 | #Constraints: 66267
513.35/515.04 c #Conflicts: 229000 | #Constraints: 67267
513.35/515.04 c #Conflicts: 230000 | #Constraints: 68267
513.35/515.04 c #Conflicts: 231000 | #Constraints: 69267
513.35/515.04 c #Conflicts: 232000 | #Constraints: 70267
513.35/515.04 c #Conflicts: 233000 | #Constraints: 71267
513.35/515.04 c #Conflicts: 234000 | #Constraints: 72267
513.35/515.04 c #Conflicts: 235000 | #Constraints: 73267
513.35/515.04 c #Conflicts: 236000 | #Constraints: 74267
513.35/515.04 c #Conflicts: 237000 | #Constraints: 75267
513.35/515.04 c #Conflicts: 238000 | #Constraints: 76267
513.35/515.04 c #Conflicts: 239000 | #Constraints: 77267
513.35/515.04 c #Conflicts: 240000 | #Constraints: 78267
513.35/515.04 c INPROCESSING
513.35/515.04 c GARBAGE COLLECT
513.35/515.04 c #Conflicts: 241000 | #Constraints: 52067
513.35/515.04 c #Conflicts: 242000 | #Constraints: 53067
513.35/515.04 c #Conflicts: 243000 | #Constraints: 54067
513.35/515.04 c #Conflicts: 244000 | #Constraints: 55067
513.35/515.04 c #Conflicts: 245000 | #Constraints: 56067
513.35/515.04 c #Conflicts: 246000 | #Constraints: 57067
513.35/515.04 c #Conflicts: 247000 | #Constraints: 58067
513.35/515.04 c #Conflicts: 248000 | #Constraints: 59067
513.35/515.04 c #Conflicts: 249000 | #Constraints: 60067
513.35/515.04 c #Conflicts: 250000 | #Constraints: 61067
513.35/515.04 c #Conflicts: 251000 | #Constraints: 62067
513.35/515.04 c #Conflicts: 252000 | #Constraints: 63067
513.35/515.04 c #Conflicts: 253000 | #Constraints: 64067
513.35/515.04 c #Conflicts: 254000 | #Constraints: 65067
513.35/515.04 c INPROCESSING
513.35/515.04 c GARBAGE COLLECT
513.35/515.04 c #Conflicts: 255000 | #Constraints: 50824
513.35/515.04 c #Conflicts: 256000 | #Constraints: 51824
513.35/515.04 c #Conflicts: 257000 | #Constraints: 52824
513.35/515.04 c #Conflicts: 258000 | #Constraints: 53824
513.35/515.04 c #Conflicts: 259000 | #Constraints: 54824
513.35/515.04 c #Conflicts: 260000 | #Constraints: 55824
513.35/515.04 c #Conflicts: 261000 | #Constraints: 56824
513.35/515.04 c #Conflicts: 262000 | #Constraints: 57824
513.35/515.04 c #Conflicts: 263000 | #Constraints: 58824
513.35/515.04 c #Conflicts: 264000 | #Constraints: 59824
513.35/515.04 c #Conflicts: 265000 | #Constraints: 60824
513.35/515.04 c #Conflicts: 266000 | #Constraints: 61824
513.35/515.04 c #Conflicts: 267000 | #Constraints: 62824
513.35/515.04 c #Conflicts: 268000 | #Constraints: 63824
513.35/515.04 c #Conflicts: 269000 | #Constraints: 64824
513.35/515.04 c #Conflicts: 270000 | #Constraints: 65824
513.35/515.04 c #Conflicts: 271000 | #Constraints: 66824
513.35/515.04 c #Conflicts: 272000 | #Constraints: 67824
513.35/515.04 c #Conflicts: 273000 | #Constraints: 68824
513.35/515.04 c #Conflicts: 274000 | #Constraints: 69824
513.35/515.04 c #Conflicts: 275000 | #Constraints: 70824
513.35/515.04 c #Conflicts: 276000 | #Constraints: 71824
513.35/515.04 c #Conflicts: 277000 | #Constraints: 72824
513.35/515.04 c #Conflicts: 278000 | #Constraints: 73824
513.35/515.04 c #Conflicts: 279000 | #Constraints: 74824
513.35/515.04 c #Conflicts: 280000 | #Constraints: 75824
513.35/515.04 c #Conflicts: 281000 | #Constraints: 76824
513.35/515.04 c #Conflicts: 282000 | #Constraints: 77824
513.35/515.04 c #Conflicts: 283000 | #Constraints: 78824
513.35/515.04 c #Conflicts: 284000 | #Constraints: 79824
513.35/515.04 c #Conflicts: 285000 | #Constraints: 80824
513.35/515.04 c #Conflicts: 286000 | #Constraints: 81824
513.35/515.04 c #Conflicts: 287000 | #Constraints: 82824
513.35/515.04 c #Conflicts: 288000 | #Constraints: 83824
513.35/515.04 c INPROCESSING
513.35/515.04 c GARBAGE COLLECT
513.35/515.04 c #Conflicts: 289000 | #Constraints: 54668
513.35/515.04 c #Conflicts: 290000 | #Constraints: 55668
513.35/515.04 c #Conflicts: 291000 | #Constraints: 56668
513.35/515.04 c #Conflicts: 292000 | #Constraints: 57668
513.35/515.04 c #Conflicts: 293000 | #Constraints: 58668
513.35/515.04 c #Conflicts: 294000 | #Constraints: 59668
513.35/515.04 c #Conflicts: 295000 | #Constraints: 60668
513.35/515.04 c #Conflicts: 296000 | #Constraints: 61668
513.35/515.04 c #Conflicts: 297000 | #Constraints: 62668
513.35/515.04 c #Conflicts: 298000 | #Constraints: 63668
513.35/515.04 c #Conflicts: 299000 | #Constraints: 64668
513.35/515.04 c #Conflicts: 300000 | #Constraints: 65668
513.35/515.04 c #Conflicts: 301000 | #Constraints: 66668
513.35/515.04 c #Conflicts: 302000 | #Constraints: 67668
655.42/657.56 c #Conflicts: 303000 | #Constraints: 68668
655.42/657.56 c INPROCESSING
655.42/657.56 c GARBAGE COLLECT
655.42/657.56 c #Conflicts: 304000 | #Constraints: 53849
655.42/657.56 c #Conflicts: 305000 | #Constraints: 54849
655.42/657.56 c #Conflicts: 306000 | #Constraints: 55849
655.42/657.56 c #Conflicts: 307000 | #Constraints: 56849
655.42/657.56 c #Conflicts: 308000 | #Constraints: 57849
655.42/657.56 c #Conflicts: 309000 | #Constraints: 58849
655.42/657.56 c #Conflicts: 310000 | #Constraints: 59849
655.42/657.56 c #Conflicts: 311000 | #Constraints: 60849
655.42/657.56 c #Conflicts: 312000 | #Constraints: 61849
655.42/657.56 c #Conflicts: 313000 | #Constraints: 62849
655.42/657.56 c #Conflicts: 314000 | #Constraints: 63849
655.42/657.56 c #Conflicts: 315000 | #Constraints: 64849
655.42/657.56 c #Conflicts: 316000 | #Constraints: 65849
655.42/657.56 c #Conflicts: 317000 | #Constraints: 66849
655.42/657.56 c #Conflicts: 318000 | #Constraints: 67849
655.42/657.56 c #Conflicts: 319000 | #Constraints: 68849
655.42/657.56 c #Conflicts: 320000 | #Constraints: 69849
655.42/657.56 c #Conflicts: 321000 | #Constraints: 70849
655.42/657.56 c #Conflicts: 322000 | #Constraints: 71849
655.42/657.56 c #Conflicts: 323000 | #Constraints: 72849
655.42/657.56 c #Conflicts: 324000 | #Constraints: 73849
655.42/657.56 c #Conflicts: 325000 | #Constraints: 74849
655.42/657.56 c #Conflicts: 326000 | #Constraints: 75849
655.42/657.56 c #Conflicts: 327000 | #Constraints: 76849
655.42/657.56 c #Conflicts: 328000 | #Constraints: 77849
655.42/657.56 c #Conflicts: 329000 | #Constraints: 78849
655.42/657.56 c #Conflicts: 330000 | #Constraints: 79849
655.42/657.56 c #Conflicts: 331000 | #Constraints: 80849
655.42/657.56 c #Conflicts: 332000 | #Constraints: 81849
655.42/657.56 c #Conflicts: 333000 | #Constraints: 82849
655.42/657.56 c #Conflicts: 334000 | #Constraints: 83849
655.42/657.56 c #Conflicts: 335000 | #Constraints: 84849
655.42/657.56 c #Conflicts: 336000 | #Constraints: 85849
655.42/657.56 c #Conflicts: 337000 | #Constraints: 86849
655.42/657.56 c #Conflicts: 338000 | #Constraints: 87849
655.42/657.56 c #Conflicts: 339000 | #Constraints: 88849
655.42/657.56 c #Conflicts: 340000 | #Constraints: 89849
655.42/657.56 c INPROCESSING
655.42/657.56 c GARBAGE COLLECT
655.42/657.56 c #Conflicts: 341000 | #Constraints: 57417
655.42/657.56 c #Conflicts: 342000 | #Constraints: 58417
655.42/657.56 c #Conflicts: 343000 | #Constraints: 59417
655.42/657.56 c #Conflicts: 344000 | #Constraints: 60417
655.42/657.56 c #Conflicts: 345000 | #Constraints: 61417
655.42/657.56 c #Conflicts: 346000 | #Constraints: 62417
655.42/657.56 c #Conflicts: 347000 | #Constraints: 63417
655.42/657.56 c #Conflicts: 348000 | #Constraints: 64417
655.42/657.56 c #Conflicts: 349000 | #Constraints: 65417
655.42/657.56 c #Conflicts: 350000 | #Constraints: 66417
655.42/657.56 c #Conflicts: 351000 | #Constraints: 67417
655.42/657.56 c #Conflicts: 352000 | #Constraints: 68417
655.42/657.56 c #Conflicts: 353000 | #Constraints: 69417
655.42/657.56 c #Conflicts: 354000 | #Constraints: 70417
655.42/657.56 c #Conflicts: 355000 | #Constraints: 71417
655.42/657.56 c #Conflicts: 356000 | #Constraints: 72417
655.42/657.56 c #Conflicts: 357000 | #Constraints: 73417
655.42/657.56 c INPROCESSING
655.42/657.56 c GARBAGE COLLECT
655.42/657.56 c #Conflicts: 358000 | #Constraints: 56974
655.42/657.56 c #Conflicts: 359000 | #Constraints: 57974
655.42/657.56 c #Conflicts: 360000 | #Constraints: 58974
655.42/657.56 c #Conflicts: 361000 | #Constraints: 59974
655.42/657.56 c #Conflicts: 362000 | #Constraints: 60974
655.42/657.56 c #Conflicts: 363000 | #Constraints: 61974
655.42/657.56 c #Conflicts: 364000 | #Constraints: 62974
655.42/657.56 c #Conflicts: 365000 | #Constraints: 63974
655.42/657.56 c #Conflicts: 366000 | #Constraints: 64974
655.42/657.56 c #Conflicts: 367000 | #Constraints: 65974
655.42/657.56 c #Conflicts: 368000 | #Constraints: 66974
655.42/657.56 c #Conflicts: 369000 | #Constraints: 67974
655.42/657.56 c #Conflicts: 370000 | #Constraints: 68974
655.42/657.56 c #Conflicts: 371000 | #Constraints: 69974
655.42/657.56 c #Conflicts: 372000 | #Constraints: 70974
655.42/657.56 c #Conflicts: 373000 | #Constraints: 71974
655.42/657.56 c #Conflicts: 374000 | #Constraints: 72974
655.42/657.56 c #Conflicts: 375000 | #Constraints: 73974
655.42/657.56 c #Conflicts: 376000 | #Constraints: 74974
655.42/657.56 c #Conflicts: 377000 | #Constraints: 75974
655.42/657.56 c #Conflicts: 378000 | #Constraints: 76974
811.34/813.97 c #Conflicts: 379000 | #Constraints: 77974
811.34/813.97 c #Conflicts: 380000 | #Constraints: 78974
811.34/813.97 c #Conflicts: 381000 | #Constraints: 79974
811.34/813.97 c #Conflicts: 382000 | #Constraints: 80974
811.34/813.97 c #Conflicts: 383000 | #Constraints: 81974
811.34/813.97 c #Conflicts: 384000 | #Constraints: 82974
811.34/813.97 c #Conflicts: 385000 | #Constraints: 83974
811.34/813.97 c #Conflicts: 386000 | #Constraints: 84974
811.34/813.97 c #Conflicts: 387000 | #Constraints: 85974
811.34/813.97 c #Conflicts: 388000 | #Constraints: 86974
811.34/813.97 c #Conflicts: 389000 | #Constraints: 87974
811.34/813.97 c #Conflicts: 390000 | #Constraints: 88974
811.34/813.97 c #Conflicts: 391000 | #Constraints: 89974
811.34/813.97 c #Conflicts: 392000 | #Constraints: 90974
811.34/813.97 c #Conflicts: 393000 | #Constraints: 91974
811.34/813.97 c #Conflicts: 394000 | #Constraints: 92974
811.34/813.97 c #Conflicts: 395000 | #Constraints: 93974
811.34/813.97 c #Conflicts: 396000 | #Constraints: 94974
811.34/813.97 c #Conflicts: 397000 | #Constraints: 95974
811.34/813.97 c INPROCESSING
811.34/813.97 c GARBAGE COLLECT
811.34/813.97 c #Conflicts: 398000 | #Constraints: 60886
811.34/813.97 c #Conflicts: 399000 | #Constraints: 61886
811.34/813.97 c #Conflicts: 400000 | #Constraints: 62886
811.34/813.97 c #Conflicts: 401000 | #Constraints: 63886
811.34/813.97 c #Conflicts: 402000 | #Constraints: 64886
811.34/813.97 c #Conflicts: 403000 | #Constraints: 65886
811.34/813.97 c #Conflicts: 404000 | #Constraints: 66886
811.34/813.97 c #Conflicts: 405000 | #Constraints: 67886
811.34/813.97 c #Conflicts: 406000 | #Constraints: 68886
811.34/813.97 c #Conflicts: 407000 | #Constraints: 69886
811.34/813.97 c #Conflicts: 408000 | #Constraints: 70886
811.34/813.97 c #Conflicts: 409000 | #Constraints: 71886
811.34/813.97 c #Conflicts: 410000 | #Constraints: 72886
811.34/813.97 c #Conflicts: 411000 | #Constraints: 73886
811.34/813.97 c #Conflicts: 412000 | #Constraints: 74886
811.34/813.97 c #Conflicts: 413000 | #Constraints: 75886
811.34/813.97 c #Conflicts: 414000 | #Constraints: 76886
811.34/813.97 c #Conflicts: 415000 | #Constraints: 77886
811.34/813.97 c INPROCESSING
811.34/813.97 c GARBAGE COLLECT
811.34/813.97 c #Conflicts: 416000 | #Constraints: 59639
811.34/813.97 c #Conflicts: 417000 | #Constraints: 60639
811.34/813.97 c #Conflicts: 418000 | #Constraints: 61639
811.34/813.97 c #Conflicts: 419000 | #Constraints: 62639
811.34/813.97 c #Conflicts: 420000 | #Constraints: 63639
811.34/813.97 c #Conflicts: 421000 | #Constraints: 64639
811.34/813.97 c #Conflicts: 422000 | #Constraints: 65639
811.34/813.97 c #Conflicts: 423000 | #Constraints: 66639
811.34/813.97 c #Conflicts: 424000 | #Constraints: 67639
811.34/813.97 c #Conflicts: 425000 | #Constraints: 68639
811.34/813.97 c #Conflicts: 426000 | #Constraints: 69639
811.34/813.97 c #Conflicts: 427000 | #Constraints: 70639
811.34/813.97 c #Conflicts: 428000 | #Constraints: 71639
811.34/813.97 c #Conflicts: 429000 | #Constraints: 72639
811.34/813.97 c #Conflicts: 430000 | #Constraints: 73639
811.34/813.97 c #Conflicts: 431000 | #Constraints: 74639
811.34/813.97 c #Conflicts: 432000 | #Constraints: 75639
811.34/813.97 c #Conflicts: 433000 | #Constraints: 76639
811.34/813.97 c #Conflicts: 434000 | #Constraints: 77639
811.34/813.97 c #Conflicts: 435000 | #Constraints: 78639
811.34/813.97 c #Conflicts: 436000 | #Constraints: 79639
811.34/813.97 c #Conflicts: 437000 | #Constraints: 80639
811.34/813.97 c #Conflicts: 438000 | #Constraints: 81639
811.34/813.97 c #Conflicts: 439000 | #Constraints: 82639
811.34/813.97 c #Conflicts: 440000 | #Constraints: 83639
811.34/813.97 c #Conflicts: 441000 | #Constraints: 84639
811.34/813.97 c #Conflicts: 442000 | #Constraints: 85639
811.34/813.97 c #Conflicts: 443000 | #Constraints: 86639
811.34/813.97 c #Conflicts: 444000 | #Constraints: 87639
811.34/813.97 c #Conflicts: 445000 | #Constraints: 88639
811.34/813.97 c #Conflicts: 446000 | #Constraints: 89639
811.34/813.97 c #Conflicts: 447000 | #Constraints: 90639
811.34/813.97 c #Conflicts: 448000 | #Constraints: 91639
811.34/813.97 c #Conflicts: 449000 | #Constraints: 92639
811.34/813.97 c #Conflicts: 450000 | #Constraints: 93639
811.34/813.97 c #Conflicts: 451000 | #Constraints: 94639
811.34/813.97 c #Conflicts: 452000 | #Constraints: 95639
811.34/813.97 c #Conflicts: 453000 | #Constraints: 96639
811.34/813.97 c #Conflicts: 454000 | #Constraints: 97639
811.34/813.97 c #Conflicts: 455000 | #Constraints: 98639
811.34/813.97 c #Conflicts: 456000 | #Constraints: 99639
1018.95/1022.25 c #Conflicts: 457000 | #Constraints: 100639
1018.95/1022.25 c #Conflicts: 458000 | #Constraints: 101639
1018.95/1022.25 c #Conflicts: 459000 | #Constraints: 102639
1018.95/1022.25 c INPROCESSING
1018.95/1022.25 c GARBAGE COLLECT
1018.95/1022.25 c #Conflicts: 460000 | #Constraints: 64249
1018.95/1022.25 c #Conflicts: 461000 | #Constraints: 65249
1018.95/1022.25 c #Conflicts: 462000 | #Constraints: 66249
1018.95/1022.25 c #Conflicts: 463000 | #Constraints: 67249
1018.95/1022.25 c #Conflicts: 464000 | #Constraints: 68249
1018.95/1022.25 c #Conflicts: 465000 | #Constraints: 69249
1018.95/1022.25 c #Conflicts: 466000 | #Constraints: 70249
1018.95/1022.25 c #Conflicts: 467000 | #Constraints: 71249
1018.95/1022.25 c #Conflicts: 468000 | #Constraints: 72249
1018.95/1022.25 c #Conflicts: 469000 | #Constraints: 73249
1018.95/1022.25 c #Conflicts: 470000 | #Constraints: 74249
1018.95/1022.25 c #Conflicts: 471000 | #Constraints: 75249
1018.95/1022.25 c #Conflicts: 472000 | #Constraints: 76250
1018.95/1022.25 c #Conflicts: 473000 | #Constraints: 77250
1018.95/1022.25 c #Conflicts: 474000 | #Constraints: 78250
1018.95/1022.25 c #Conflicts: 475000 | #Constraints: 79250
1018.95/1022.25 c #Conflicts: 476000 | #Constraints: 80250
1018.95/1022.25 c #Conflicts: 477000 | #Constraints: 81250
1018.95/1022.25 c #Conflicts: 478000 | #Constraints: 82250
1018.95/1022.25 c INPROCESSING
1018.95/1022.25 c GARBAGE COLLECT
1018.95/1022.25 c #Conflicts: 479000 | #Constraints: 62511
1018.95/1022.25 c #Conflicts: 480000 | #Constraints: 63511
1018.95/1022.25 c #Conflicts: 481000 | #Constraints: 64511
1018.95/1022.25 c #Conflicts: 482000 | #Constraints: 65511
1018.95/1022.25 c #Conflicts: 483000 | #Constraints: 66511
1018.95/1022.25 c #Conflicts: 484000 | #Constraints: 67511
1018.95/1022.25 c #Conflicts: 485000 | #Constraints: 68511
1018.95/1022.25 c #Conflicts: 486000 | #Constraints: 69511
1018.95/1022.25 c #Conflicts: 487000 | #Constraints: 70511
1018.95/1022.25 c #Conflicts: 488000 | #Constraints: 71511
1018.95/1022.25 c #Conflicts: 489000 | #Constraints: 72511
1018.95/1022.25 c #Conflicts: 490000 | #Constraints: 73511
1018.95/1022.25 c #Conflicts: 491000 | #Constraints: 74511
1018.95/1022.25 c #Conflicts: 492000 | #Constraints: 75511
1018.95/1022.25 c #Conflicts: 493000 | #Constraints: 76511
1018.95/1022.25 c #Conflicts: 494000 | #Constraints: 77511
1018.95/1022.25 c #Conflicts: 495000 | #Constraints: 78511
1018.95/1022.25 c #Conflicts: 496000 | #Constraints: 79511
1018.95/1022.25 c #Conflicts: 497000 | #Constraints: 80511
1018.95/1022.25 c #Conflicts: 498000 | #Constraints: 81511
1018.95/1022.25 c #Conflicts: 499000 | #Constraints: 82511
1018.95/1022.25 c #Conflicts: 500000 | #Constraints: 83511
1018.95/1022.25 c #Conflicts: 501000 | #Constraints: 84511
1018.95/1022.25 c #Conflicts: 502000 | #Constraints: 85511
1018.95/1022.25 c #Conflicts: 503000 | #Constraints: 86511
1018.95/1022.25 c #Conflicts: 504000 | #Constraints: 87511
1018.95/1022.25 c #Conflicts: 505000 | #Constraints: 88511
1018.95/1022.25 c #Conflicts: 506000 | #Constraints: 89511
1018.95/1022.25 c #Conflicts: 507000 | #Constraints: 90511
1018.95/1022.25 c #Conflicts: 508000 | #Constraints: 91511
1018.95/1022.25 c #Conflicts: 509000 | #Constraints: 92511
1018.95/1022.25 c #Conflicts: 510000 | #Constraints: 93511
1018.95/1022.25 c #Conflicts: 511000 | #Constraints: 94511
1018.95/1022.25 c #Conflicts: 512000 | #Constraints: 95511
1018.95/1022.25 c #Conflicts: 513000 | #Constraints: 96511
1018.95/1022.25 c #Conflicts: 514000 | #Constraints: 97511
1018.95/1022.25 c #Conflicts: 515000 | #Constraints: 98511
1018.95/1022.25 c #Conflicts: 516000 | #Constraints: 99511
1018.95/1022.25 c #Conflicts: 517000 | #Constraints: 100511
1018.95/1022.25 c #Conflicts: 518000 | #Constraints: 101511
1018.95/1022.25 c #Conflicts: 519000 | #Constraints: 102511
1018.95/1022.25 c #Conflicts: 520000 | #Constraints: 103511
1018.95/1022.25 c #Conflicts: 521000 | #Constraints: 104511
1018.95/1022.25 c #Conflicts: 522000 | #Constraints: 105511
1018.95/1022.25 c #Conflicts: 523000 | #Constraints: 106511
1018.95/1022.25 c #Conflicts: 524000 | #Constraints: 107511
1018.95/1022.25 c #Conflicts: 525000 | #Constraints: 108511
1018.95/1022.25 c INPROCESSING
1018.95/1022.25 c GARBAGE COLLECT
1018.95/1022.25 c #Conflicts: 526000 | #Constraints: 67705
1018.95/1022.25 c #Conflicts: 527000 | #Constraints: 68705
1018.95/1022.25 c #Conflicts: 528000 | #Constraints: 69705
1018.95/1022.25 c #Conflicts: 529000 | #Constraints: 70705
1018.95/1022.25 c #Conflicts: 530000 | #Constraints: 71705
1018.95/1022.25 c #Conflicts: 531000 | #Constraints: 72705
1018.95/1022.25 c #Conflicts: 532000 | #Constraints: 73705
1018.95/1022.25 c #Conflicts: 533000 | #Constraints: 74705
1105.05/1108.63 c #Conflicts: 534000 | #Constraints: 75705
1105.05/1108.63 c #Conflicts: 535000 | #Constraints: 76705
1105.05/1108.63 c #Conflicts: 536000 | #Constraints: 77705
1105.05/1108.63 c #Conflicts: 537000 | #Constraints: 78705
1105.05/1108.63 c #Conflicts: 538000 | #Constraints: 79705
1105.05/1108.63 c #Conflicts: 539000 | #Constraints: 80705
1105.05/1108.63 c #Conflicts: 540000 | #Constraints: 81705
1105.05/1108.63 c #Conflicts: 541000 | #Constraints: 82705
1105.05/1108.63 c #Conflicts: 542000 | #Constraints: 83705
1105.05/1108.63 c #Conflicts: 543000 | #Constraints: 84705
1105.05/1108.63 c #Conflicts: 544000 | #Constraints: 85705
1105.05/1108.63 c #Conflicts: 545000 | #Constraints: 86705
1105.05/1108.63 c INPROCESSING
1105.05/1108.63 c GARBAGE COLLECT
1105.05/1108.63 c rational objective 182
1256.43/1260.52 c #Conflicts: 546000 | #Constraints: 64932
1256.43/1260.52 c #Conflicts: 547000 | #Constraints: 65932
1256.43/1260.52 c #Conflicts: 548000 | #Constraints: 66932
1256.43/1260.52 c #Conflicts: 549000 | #Constraints: 67932
1256.43/1260.52 c #Conflicts: 550000 | #Constraints: 68932
1256.43/1260.52 c #Conflicts: 551000 | #Constraints: 69932
1256.43/1260.52 c #Conflicts: 552000 | #Constraints: 70932
1256.43/1260.52 c #Conflicts: 553000 | #Constraints: 71932
1256.43/1260.52 c #Conflicts: 554000 | #Constraints: 72932
1256.43/1260.52 c #Conflicts: 555000 | #Constraints: 73932
1256.43/1260.52 c #Conflicts: 556000 | #Constraints: 74932
1256.43/1260.52 c #Conflicts: 557000 | #Constraints: 75932
1256.43/1260.52 c #Conflicts: 558000 | #Constraints: 76932
1256.43/1260.52 c #Conflicts: 559000 | #Constraints: 77932
1256.43/1260.52 c #Conflicts: 560000 | #Constraints: 78932
1256.43/1260.52 c #Conflicts: 561000 | #Constraints: 79932
1256.43/1260.52 c #Conflicts: 562000 | #Constraints: 80932
1256.43/1260.52 c #Conflicts: 563000 | #Constraints: 81932
1256.43/1260.52 c #Conflicts: 564000 | #Constraints: 82932
1256.43/1260.52 c #Conflicts: 565000 | #Constraints: 83932
1256.43/1260.52 c #Conflicts: 566000 | #Constraints: 84932
1256.43/1260.52 c #Conflicts: 567000 | #Constraints: 85932
1256.43/1260.52 c #Conflicts: 568000 | #Constraints: 86932
1256.43/1260.52 c #Conflicts: 569000 | #Constraints: 87932
1256.43/1260.52 c #Conflicts: 570000 | #Constraints: 88932
1256.43/1260.52 c #Conflicts: 571000 | #Constraints: 89932
1256.43/1260.52 c #Conflicts: 572000 | #Constraints: 90932
1256.43/1260.52 c #Conflicts: 573000 | #Constraints: 91932
1256.43/1260.52 c #Conflicts: 574000 | #Constraints: 92932
1256.43/1260.52 c #Conflicts: 575000 | #Constraints: 93932
1256.43/1260.52 c #Conflicts: 576000 | #Constraints: 94932
1256.43/1260.52 c #Conflicts: 577000 | #Constraints: 95932
1256.43/1260.52 c #Conflicts: 578000 | #Constraints: 96932
1256.43/1260.52 c #Conflicts: 579000 | #Constraints: 97932
1256.43/1260.52 c #Conflicts: 580000 | #Constraints: 98932
1256.43/1260.52 c #Conflicts: 581000 | #Constraints: 99932
1256.43/1260.52 c #Conflicts: 582000 | #Constraints: 100932
1256.43/1260.52 c #Conflicts: 583000 | #Constraints: 101932
1256.43/1260.52 c #Conflicts: 584000 | #Constraints: 102932
1256.43/1260.52 c #Conflicts: 585000 | #Constraints: 103932
1256.43/1260.52 c #Conflicts: 586000 | #Constraints: 104932
1256.43/1260.52 c #Conflicts: 587000 | #Constraints: 105932
1256.43/1260.52 c #Conflicts: 588000 | #Constraints: 106932
1256.43/1260.52 c #Conflicts: 589000 | #Constraints: 107932
1256.43/1260.52 c #Conflicts: 590000 | #Constraints: 108932
1256.43/1260.52 c #Conflicts: 591000 | #Constraints: 109932
1256.43/1260.52 c #Conflicts: 592000 | #Constraints: 110932
1256.43/1260.52 c #Conflicts: 593000 | #Constraints: 111932
1256.43/1260.52 c #Conflicts: 594000 | #Constraints: 112932
1256.43/1260.52 c #Conflicts: 595000 | #Constraints: 113932
1256.43/1260.52 c INPROCESSING
1256.43/1260.52 c GARBAGE COLLECT
1256.43/1260.52 c #Conflicts: 596000 | #Constraints: 70487
1256.43/1260.52 c #Conflicts: 597000 | #Constraints: 71487
1256.43/1260.52 c #Conflicts: 598000 | #Constraints: 72487
1256.43/1260.52 c #Conflicts: 599000 | #Constraints: 73487
1256.43/1260.52 c #Conflicts: 600000 | #Constraints: 74487
1256.43/1260.52 c #Conflicts: 601000 | #Constraints: 75487
1256.43/1260.52 c #Conflicts: 602000 | #Constraints: 76487
1256.43/1260.52 c #Conflicts: 603000 | #Constraints: 77487
1256.43/1260.52 c #Conflicts: 604000 | #Constraints: 78487
1256.43/1260.52 c #Conflicts: 605000 | #Constraints: 79487
1256.43/1260.52 c #Conflicts: 606000 | #Constraints: 80487
1256.43/1260.52 c #Conflicts: 607000 | #Constraints: 81487
1256.43/1260.52 c #Conflicts: 608000 | #Constraints: 82487
1256.43/1260.52 c #Conflicts: 609000 | #Constraints: 83487
1256.43/1260.52 c #Conflicts: 610000 | #Constraints: 84487
1256.43/1260.52 c #Conflicts: 611000 | #Constraints: 85487
1256.43/1260.52 c #Conflicts: 612000 | #Constraints: 86487
1256.43/1260.52 c #Conflicts: 613000 | #Constraints: 87487
1256.43/1260.52 c #Conflicts: 614000 | #Constraints: 88487
1256.43/1260.52 c #Conflicts: 615000 | #Constraints: 89487
1256.43/1260.52 c #Conflicts: 616000 | #Constraints: 90487
1256.43/1260.52 c #Conflicts: 617000 | #Constraints: 91487
1256.43/1260.52 c INPROCESSING
1256.43/1260.52 c GARBAGE COLLECT
1256.43/1260.52 c #Conflicts: 618000 | #Constraints: 68341
1256.43/1260.52 c #Conflicts: 619000 | #Constraints: 69341
1256.43/1260.52 c #Conflicts: 620000 | #Constraints: 70341
1256.43/1260.52 c #Conflicts: 621000 | #Constraints: 71341
1256.43/1260.52 c #Conflicts: 622000 | #Constraints: 72341
1256.43/1260.52 c #Conflicts: 623000 | #Constraints: 73341
1435.11/1439.83 c #Conflicts: 624000 | #Constraints: 74341
1435.11/1439.83 c #Conflicts: 625000 | #Constraints: 75341
1435.11/1439.83 c #Conflicts: 626000 | #Constraints: 76341
1435.11/1439.83 c #Conflicts: 627000 | #Constraints: 77342
1435.11/1439.83 c #Conflicts: 628000 | #Constraints: 78342
1435.11/1439.83 c #Conflicts: 629000 | #Constraints: 79342
1435.11/1439.83 c #Conflicts: 630000 | #Constraints: 80342
1435.11/1439.83 c #Conflicts: 631000 | #Constraints: 81342
1435.11/1439.83 c #Conflicts: 632000 | #Constraints: 82342
1435.11/1439.83 c #Conflicts: 633000 | #Constraints: 83342
1435.11/1439.83 c #Conflicts: 634000 | #Constraints: 84342
1435.11/1439.83 c #Conflicts: 635000 | #Constraints: 85342
1435.11/1439.83 c #Conflicts: 636000 | #Constraints: 86342
1435.11/1439.83 c #Conflicts: 637000 | #Constraints: 87342
1435.11/1439.83 c #Conflicts: 638000 | #Constraints: 88342
1435.11/1439.83 c #Conflicts: 639000 | #Constraints: 89342
1435.11/1439.83 c #Conflicts: 640000 | #Constraints: 90342
1435.11/1439.83 c #Conflicts: 641000 | #Constraints: 91342
1435.11/1439.83 c #Conflicts: 642000 | #Constraints: 92342
1435.11/1439.83 c #Conflicts: 643000 | #Constraints: 93342
1435.11/1439.83 c #Conflicts: 644000 | #Constraints: 94342
1435.11/1439.83 c #Conflicts: 645000 | #Constraints: 95342
1435.11/1439.83 c #Conflicts: 646000 | #Constraints: 96342
1435.11/1439.83 c #Conflicts: 647000 | #Constraints: 97342
1435.11/1439.83 c #Conflicts: 648000 | #Constraints: 98342
1435.11/1439.83 c #Conflicts: 649000 | #Constraints: 99342
1435.11/1439.83 c #Conflicts: 650000 | #Constraints: 100342
1435.11/1439.83 c #Conflicts: 651000 | #Constraints: 101342
1435.11/1439.83 c #Conflicts: 652000 | #Constraints: 102342
1435.11/1439.83 c #Conflicts: 653000 | #Constraints: 103342
1435.11/1439.83 c #Conflicts: 654000 | #Constraints: 104342
1435.11/1439.83 c #Conflicts: 655000 | #Constraints: 105342
1435.11/1439.83 c #Conflicts: 656000 | #Constraints: 106342
1435.11/1439.83 c #Conflicts: 657000 | #Constraints: 107342
1435.11/1439.83 c #Conflicts: 658000 | #Constraints: 108342
1435.11/1439.83 c #Conflicts: 659000 | #Constraints: 109342
1435.11/1439.83 c #Conflicts: 660000 | #Constraints: 110342
1435.11/1439.83 c #Conflicts: 661000 | #Constraints: 111342
1435.11/1439.83 c #Conflicts: 662000 | #Constraints: 112342
1435.11/1439.83 c #Conflicts: 663000 | #Constraints: 113342
1435.11/1439.83 c #Conflicts: 664000 | #Constraints: 114342
1435.11/1439.83 c #Conflicts: 665000 | #Constraints: 115342
1435.11/1439.83 c #Conflicts: 666000 | #Constraints: 116342
1435.11/1439.83 c #Conflicts: 667000 | #Constraints: 117342
1435.11/1439.83 c #Conflicts: 668000 | #Constraints: 118342
1435.11/1439.83 c #Conflicts: 669000 | #Constraints: 119342
1435.11/1439.83 c INPROCESSING
1435.11/1439.83 c GARBAGE COLLECT
1435.11/1439.83 c #Conflicts: 670000 | #Constraints: 72706
1435.11/1439.83 c #Conflicts: 671000 | #Constraints: 73706
1435.11/1439.83 c #Conflicts: 672000 | #Constraints: 74706
1435.11/1439.83 c #Conflicts: 673000 | #Constraints: 75706
1435.11/1439.83 c #Conflicts: 674000 | #Constraints: 76706
1435.11/1439.83 c #Conflicts: 675000 | #Constraints: 77706
1435.11/1439.83 c #Conflicts: 676000 | #Constraints: 78706
1435.11/1439.83 c #Conflicts: 677000 | #Constraints: 79706
1435.11/1439.83 c #Conflicts: 678000 | #Constraints: 80706
1435.11/1439.83 c #Conflicts: 679000 | #Constraints: 81706
1435.11/1439.83 c #Conflicts: 680000 | #Constraints: 82706
1435.11/1439.83 c #Conflicts: 681000 | #Constraints: 83706
1435.11/1439.83 c #Conflicts: 682000 | #Constraints: 84706
1435.11/1439.83 c #Conflicts: 683000 | #Constraints: 85706
1435.11/1439.83 c #Conflicts: 684000 | #Constraints: 86706
1435.11/1439.83 c #Conflicts: 685000 | #Constraints: 87706
1435.11/1439.83 c #Conflicts: 686000 | #Constraints: 88706
1435.11/1439.83 c #Conflicts: 687000 | #Constraints: 89706
1435.11/1439.83 c #Conflicts: 688000 | #Constraints: 90706
1435.11/1439.83 c #Conflicts: 689000 | #Constraints: 91706
1435.11/1439.83 c #Conflicts: 690000 | #Constraints: 92706
1435.11/1439.83 c #Conflicts: 691000 | #Constraints: 93706
1435.11/1439.83 c #Conflicts: 692000 | #Constraints: 94706
1435.11/1439.83 c #Conflicts: 693000 | #Constraints: 95706
1435.11/1439.83 c INPROCESSING
1435.11/1439.83 c GARBAGE COLLECT
1435.11/1439.83 c #Conflicts: 694000 | #Constraints: 71801
1435.11/1439.83 c #Conflicts: 695000 | #Constraints: 72801
1435.11/1439.83 c #Conflicts: 696000 | #Constraints: 73801
1435.11/1439.83 c #Conflicts: 697000 | #Constraints: 74801
1435.11/1439.83 c #Conflicts: 698000 | #Constraints: 75801
1435.11/1439.83 c #Conflicts: 699000 | #Constraints: 76801
1435.11/1439.83 c #Conflicts: 700000 | #Constraints: 77801
1608.61/1613.94 c #Conflicts: 701000 | #Constraints: 78801
1608.61/1613.94 c #Conflicts: 702000 | #Constraints: 79801
1608.61/1613.94 c #Conflicts: 703000 | #Constraints: 80801
1608.61/1613.94 c #Conflicts: 704000 | #Constraints: 81801
1608.61/1613.94 c #Conflicts: 705000 | #Constraints: 82801
1608.61/1613.94 c #Conflicts: 706000 | #Constraints: 83801
1608.61/1613.94 c #Conflicts: 707000 | #Constraints: 84801
1608.61/1613.94 c #Conflicts: 708000 | #Constraints: 85801
1608.61/1613.94 c #Conflicts: 709000 | #Constraints: 86801
1608.61/1613.94 c #Conflicts: 710000 | #Constraints: 87801
1608.61/1613.94 c #Conflicts: 711000 | #Constraints: 88801
1608.61/1613.94 c #Conflicts: 712000 | #Constraints: 89801
1608.61/1613.94 c #Conflicts: 713000 | #Constraints: 90801
1608.61/1613.94 c #Conflicts: 714000 | #Constraints: 91801
1608.61/1613.94 c #Conflicts: 715000 | #Constraints: 92801
1608.61/1613.94 c #Conflicts: 716000 | #Constraints: 93801
1608.61/1613.94 c #Conflicts: 717000 | #Constraints: 94801
1608.61/1613.94 c #Conflicts: 718000 | #Constraints: 95801
1608.61/1613.94 c #Conflicts: 719000 | #Constraints: 96801
1608.61/1613.94 c #Conflicts: 720000 | #Constraints: 97801
1608.61/1613.94 c #Conflicts: 721000 | #Constraints: 98801
1608.61/1613.94 c #Conflicts: 722000 | #Constraints: 99801
1608.61/1613.94 c #Conflicts: 723000 | #Constraints: 100801
1608.61/1613.94 c #Conflicts: 724000 | #Constraints: 101801
1608.61/1613.94 c #Conflicts: 725000 | #Constraints: 102801
1608.61/1613.94 c #Conflicts: 726000 | #Constraints: 103801
1608.61/1613.94 c #Conflicts: 727000 | #Constraints: 104801
1608.61/1613.94 c #Conflicts: 728000 | #Constraints: 105801
1608.61/1613.94 c #Conflicts: 729000 | #Constraints: 106801
1608.61/1613.94 c #Conflicts: 730000 | #Constraints: 107801
1608.61/1613.94 c #Conflicts: 731000 | #Constraints: 108801
1608.61/1613.94 c #Conflicts: 732000 | #Constraints: 109801
1608.61/1613.94 c #Conflicts: 733000 | #Constraints: 110801
1608.61/1613.94 c #Conflicts: 734000 | #Constraints: 111801
1608.61/1613.94 c #Conflicts: 735000 | #Constraints: 112801
1608.61/1613.94 c #Conflicts: 736000 | #Constraints: 113801
1608.61/1613.94 c #Conflicts: 737000 | #Constraints: 114801
1608.61/1613.94 c #Conflicts: 738000 | #Constraints: 115801
1608.61/1613.94 c #Conflicts: 739000 | #Constraints: 116801
1608.61/1613.94 c #Conflicts: 740000 | #Constraints: 117801
1608.61/1613.94 c #Conflicts: 741000 | #Constraints: 118801
1608.61/1613.94 c #Conflicts: 742000 | #Constraints: 119801
1608.61/1613.94 c #Conflicts: 743000 | #Constraints: 120801
1608.61/1613.94 c #Conflicts: 744000 | #Constraints: 121801
1608.61/1613.94 c #Conflicts: 745000 | #Constraints: 122801
1608.61/1613.94 c #Conflicts: 746000 | #Constraints: 123801
1608.61/1613.94 c #Conflicts: 747000 | #Constraints: 124801
1608.61/1613.94 c #Conflicts: 748000 | #Constraints: 125801
1608.61/1613.94 c INPROCESSING
1608.61/1613.94 c GARBAGE COLLECT
1608.61/1613.94 c #Conflicts: 749000 | #Constraints: 76040
1608.61/1613.94 c #Conflicts: 750000 | #Constraints: 77040
1608.61/1613.94 c #Conflicts: 751000 | #Constraints: 78040
1608.61/1613.94 c #Conflicts: 752000 | #Constraints: 79040
1608.61/1613.94 c #Conflicts: 753000 | #Constraints: 80040
1608.61/1613.94 c #Conflicts: 754000 | #Constraints: 81040
1608.61/1613.94 c #Conflicts: 755000 | #Constraints: 82040
1608.61/1613.94 c #Conflicts: 756000 | #Constraints: 83040
1608.61/1613.94 c #Conflicts: 757000 | #Constraints: 84040
1608.61/1613.94 c #Conflicts: 758000 | #Constraints: 85040
1608.61/1613.94 c #Conflicts: 759000 | #Constraints: 86040
1608.61/1613.94 c #Conflicts: 760000 | #Constraints: 87040
1608.61/1613.94 c #Conflicts: 761000 | #Constraints: 88040
1608.61/1613.94 c #Conflicts: 762000 | #Constraints: 89040
1608.61/1613.94 c #Conflicts: 763000 | #Constraints: 90040
1608.61/1613.94 c #Conflicts: 764000 | #Constraints: 91040
1608.61/1613.94 c #Conflicts: 765000 | #Constraints: 92040
1608.61/1613.94 c #Conflicts: 766000 | #Constraints: 93040
1608.61/1613.94 c #Conflicts: 767000 | #Constraints: 94040
1608.61/1613.94 c #Conflicts: 768000 | #Constraints: 95040
1608.61/1613.94 c #Conflicts: 769000 | #Constraints: 96040
1608.61/1613.94 c #Conflicts: 770000 | #Constraints: 97041
1608.61/1613.94 c #Conflicts: 771000 | #Constraints: 98041
1608.61/1613.94 c #Conflicts: 772000 | #Constraints: 99041
1608.61/1613.94 c #Conflicts: 773000 | #Constraints: 100041
1608.61/1613.94 c INPROCESSING
1608.61/1613.94 c GARBAGE COLLECT
1608.61/1613.94 c #Conflicts: 774000 | #Constraints: 74287
1608.61/1613.94 c #Conflicts: 775000 | #Constraints: 75287
1608.61/1613.94 c #Conflicts: 776000 | #Constraints: 76287
1608.61/1613.94 c #Conflicts: 777000 | #Constraints: 77287
1608.61/1613.94 c #Conflicts: 778000 | #Constraints: 78287
1783.23/1789.14 c #Conflicts: 779000 | #Constraints: 79287
1783.23/1789.14 c #Conflicts: 780000 | #Constraints: 80287
1783.23/1789.14 c #Conflicts: 781000 | #Constraints: 81287
1783.23/1789.14 c #Conflicts: 782000 | #Constraints: 82287
1783.23/1789.14 c #Conflicts: 783000 | #Constraints: 83287
1783.23/1789.14 c #Conflicts: 784000 | #Constraints: 84287
1783.23/1789.14 c #Conflicts: 785000 | #Constraints: 85287
1783.23/1789.14 c #Conflicts: 786000 | #Constraints: 86287
1783.23/1789.14 c #Conflicts: 787000 | #Constraints: 87287
1783.23/1789.14 c #Conflicts: 788000 | #Constraints: 88287
1783.23/1789.14 c #Conflicts: 789000 | #Constraints: 89287
1783.23/1789.14 c #Conflicts: 790000 | #Constraints: 90287
1783.23/1789.14 c #Conflicts: 791000 | #Constraints: 91287
1783.23/1789.14 c #Conflicts: 792000 | #Constraints: 92287
1783.23/1789.14 c #Conflicts: 793000 | #Constraints: 93287
1783.23/1789.14 c #Conflicts: 794000 | #Constraints: 94287
1783.23/1789.14 c #Conflicts: 795000 | #Constraints: 95287
1783.23/1789.14 c #Conflicts: 796000 | #Constraints: 96287
1783.23/1789.14 c #Conflicts: 797000 | #Constraints: 97287
1783.23/1789.14 c #Conflicts: 798000 | #Constraints: 98287
1783.23/1789.14 c #Conflicts: 799000 | #Constraints: 99287
1783.23/1789.14 c #Conflicts: 800000 | #Constraints: 100287
1783.23/1789.14 c #Conflicts: 801000 | #Constraints: 101287
1783.23/1789.14 c #Conflicts: 802000 | #Constraints: 102287
1783.23/1789.14 c #Conflicts: 803000 | #Constraints: 103287
1783.23/1789.14 c #Conflicts: 804000 | #Constraints: 104287
1783.23/1789.14 c #Conflicts: 805000 | #Constraints: 105287
1783.23/1789.14 c #Conflicts: 806000 | #Constraints: 106287
1783.23/1789.14 c #Conflicts: 807000 | #Constraints: 107287
1783.23/1789.14 c #Conflicts: 808000 | #Constraints: 108287
1783.23/1789.14 c #Conflicts: 809000 | #Constraints: 109287
1783.23/1789.14 c #Conflicts: 810000 | #Constraints: 110287
1783.23/1789.14 c #Conflicts: 811000 | #Constraints: 111287
1783.23/1789.14 c #Conflicts: 812000 | #Constraints: 112287
1783.23/1789.14 c #Conflicts: 813000 | #Constraints: 113287
1783.23/1789.14 c #Conflicts: 814000 | #Constraints: 114287
1783.23/1789.14 c #Conflicts: 815000 | #Constraints: 115287
1783.23/1789.14 c #Conflicts: 816000 | #Constraints: 116287
1783.23/1789.14 c #Conflicts: 817000 | #Constraints: 117287
1783.23/1789.14 c #Conflicts: 818000 | #Constraints: 118287
1783.23/1789.14 c #Conflicts: 819000 | #Constraints: 119287
1783.23/1789.14 c #Conflicts: 820000 | #Constraints: 120287
1783.23/1789.14 c #Conflicts: 821000 | #Constraints: 121287
1783.23/1789.14 c #Conflicts: 822000 | #Constraints: 122287
1783.23/1789.14 c #Conflicts: 823000 | #Constraints: 123287
1783.23/1789.14 c #Conflicts: 824000 | #Constraints: 124287
1783.23/1789.14 c #Conflicts: 825000 | #Constraints: 125287
1783.23/1789.14 c #Conflicts: 826000 | #Constraints: 126287
1783.23/1789.14 c #Conflicts: 827000 | #Constraints: 127287
1783.23/1789.14 c #Conflicts: 828000 | #Constraints: 128287
1783.23/1789.14 c #Conflicts: 829000 | #Constraints: 129287
1783.23/1789.14 c #Conflicts: 830000 | #Constraints: 130287
1783.23/1789.14 c #Conflicts: 831000 | #Constraints: 131287
1783.23/1789.14 c #Conflicts: 832000 | #Constraints: 132287
1783.23/1789.14 c INPROCESSING
1783.23/1789.14 c GARBAGE COLLECT
1783.23/1789.14 c #Conflicts: 833000 | #Constraints: 79561
1783.23/1789.14 c #Conflicts: 834000 | #Constraints: 80561
1783.23/1789.14 c #Conflicts: 835000 | #Constraints: 81561
1783.23/1789.14 c #Conflicts: 836000 | #Constraints: 82561
1783.23/1789.14 c #Conflicts: 837000 | #Constraints: 83561
1783.23/1789.14 c #Conflicts: 838000 | #Constraints: 84561
1783.23/1789.14 c #Conflicts: 839000 | #Constraints: 85561
1783.23/1789.14 c #Conflicts: 840000 | #Constraints: 86561
1783.23/1789.14 c #Conflicts: 841000 | #Constraints: 87561
1783.23/1789.14 c #Conflicts: 842000 | #Constraints: 88561
1783.23/1789.14 c #Conflicts: 843000 | #Constraints: 89561
1783.23/1789.14 c #Conflicts: 844000 | #Constraints: 90561
1783.23/1789.14 c #Conflicts: 845000 | #Constraints: 91561
1783.23/1789.14 c #Conflicts: 846000 | #Constraints: 92561
1783.23/1789.14 c #Conflicts: 847000 | #Constraints: 93561
1783.23/1789.14 c #Conflicts: 848000 | #Constraints: 94561
1783.23/1789.14 c #Conflicts: 849000 | #Constraints: 95561
1783.23/1789.14 c #Conflicts: 850000 | #Constraints: 96561
1783.23/1789.14 c #Conflicts: 851000 | #Constraints: 97561
1783.23/1789.14 c #Conflicts: 852000 | #Constraints: 98561
1783.23/1789.14 c #Conflicts: 853000 | #Constraints: 99561
1783.23/1789.14 c #Conflicts: 854000 | #Constraints: 100561
1783.23/1789.14 c #Conflicts: 855000 | #Constraints: 101561
1783.23/1789.14 c #Conflicts: 856000 | #Constraints: 102561
1996.05/2002.77 c #Conflicts: 857000 | #Constraints: 103561
1996.05/2002.77 c #Conflicts: 858000 | #Constraints: 104561
1996.05/2002.77 c INPROCESSING
1996.05/2002.77 c GARBAGE COLLECT
1996.05/2002.77 c #Conflicts: 859000 | #Constraints: 77767
1996.05/2002.77 c #Conflicts: 860000 | #Constraints: 78767
1996.05/2002.77 c #Conflicts: 861000 | #Constraints: 79767
1996.05/2002.77 c #Conflicts: 862000 | #Constraints: 80767
1996.05/2002.77 c #Conflicts: 863000 | #Constraints: 81767
1996.05/2002.77 c #Conflicts: 864000 | #Constraints: 82767
1996.05/2002.77 c #Conflicts: 865000 | #Constraints: 83767
1996.05/2002.77 c #Conflicts: 866000 | #Constraints: 84767
1996.05/2002.77 c #Conflicts: 867000 | #Constraints: 85767
1996.05/2002.77 c #Conflicts: 868000 | #Constraints: 86767
1996.05/2002.77 c #Conflicts: 869000 | #Constraints: 87767
1996.05/2002.77 c #Conflicts: 870000 | #Constraints: 88767
1996.05/2002.77 c #Conflicts: 871000 | #Constraints: 89767
1996.05/2002.77 c #Conflicts: 872000 | #Constraints: 90767
1996.05/2002.77 c #Conflicts: 873000 | #Constraints: 91767
1996.05/2002.77 c #Conflicts: 874000 | #Constraints: 92767
1996.05/2002.77 c #Conflicts: 875000 | #Constraints: 93767
1996.05/2002.77 c #Conflicts: 876000 | #Constraints: 94767
1996.05/2002.77 c #Conflicts: 877000 | #Constraints: 95767
1996.05/2002.77 c #Conflicts: 878000 | #Constraints: 96767
1996.05/2002.77 c #Conflicts: 879000 | #Constraints: 97767
1996.05/2002.77 c #Conflicts: 880000 | #Constraints: 98767
1996.05/2002.77 c #Conflicts: 881000 | #Constraints: 99767
1996.05/2002.77 c #Conflicts: 882000 | #Constraints: 100767
1996.05/2002.77 c #Conflicts: 883000 | #Constraints: 101767
1996.05/2002.77 c #Conflicts: 884000 | #Constraints: 102767
1996.05/2002.77 c #Conflicts: 885000 | #Constraints: 103767
1996.05/2002.77 c #Conflicts: 886000 | #Constraints: 104767
1996.05/2002.77 c #Conflicts: 887000 | #Constraints: 105767
1996.05/2002.77 c #Conflicts: 888000 | #Constraints: 106767
1996.05/2002.77 c #Conflicts: 889000 | #Constraints: 107767
1996.05/2002.77 c #Conflicts: 890000 | #Constraints: 108767
1996.05/2002.77 c #Conflicts: 891000 | #Constraints: 109767
1996.05/2002.77 c #Conflicts: 892000 | #Constraints: 110767
1996.05/2002.77 c #Conflicts: 893000 | #Constraints: 111767
1996.05/2002.77 c #Conflicts: 894000 | #Constraints: 112767
1996.05/2002.77 c #Conflicts: 895000 | #Constraints: 113767
1996.05/2002.77 c #Conflicts: 896000 | #Constraints: 114767
1996.05/2002.77 c #Conflicts: 897000 | #Constraints: 115767
1996.05/2002.77 c #Conflicts: 898000 | #Constraints: 116767
1996.05/2002.77 c #Conflicts: 899000 | #Constraints: 117767
1996.05/2002.77 c #Conflicts: 900000 | #Constraints: 118767
1996.05/2002.77 c #Conflicts: 901000 | #Constraints: 119767
1996.05/2002.77 c #Conflicts: 902000 | #Constraints: 120767
1996.05/2002.77 c #Conflicts: 903000 | #Constraints: 121767
1996.05/2002.77 c #Conflicts: 904000 | #Constraints: 122767
1996.05/2002.77 c #Conflicts: 905000 | #Constraints: 123767
1996.05/2002.77 c #Conflicts: 906000 | #Constraints: 124767
1996.05/2002.77 c #Conflicts: 907000 | #Constraints: 125768
1996.05/2002.77 c #Conflicts: 908000 | #Constraints: 126768
1996.05/2002.77 c #Conflicts: 909000 | #Constraints: 127768
1996.05/2002.77 c #Conflicts: 910000 | #Constraints: 128768
1996.05/2002.77 c #Conflicts: 911000 | #Constraints: 129768
1996.05/2002.77 c #Conflicts: 912000 | #Constraints: 130768
1996.05/2002.77 c #Conflicts: 913000 | #Constraints: 131768
1996.05/2002.77 c #Conflicts: 914000 | #Constraints: 132768
1996.05/2002.77 c #Conflicts: 915000 | #Constraints: 133768
1996.05/2002.77 c #Conflicts: 916000 | #Constraints: 134768
1996.05/2002.77 c #Conflicts: 917000 | #Constraints: 135768
1996.05/2002.77 c #Conflicts: 918000 | #Constraints: 136768
1996.05/2002.77 c #Conflicts: 919000 | #Constraints: 137768
1996.05/2002.77 c #Conflicts: 920000 | #Constraints: 138768
1996.05/2002.77 c INPROCESSING
1996.05/2002.77 c GARBAGE COLLECT
1996.05/2002.77 c #Conflicts: 921000 | #Constraints: 82920
1996.05/2002.77 c #Conflicts: 922000 | #Constraints: 83920
1996.05/2002.77 c #Conflicts: 923000 | #Constraints: 84920
1996.05/2002.77 c #Conflicts: 924000 | #Constraints: 85920
1996.05/2002.77 c #Conflicts: 925000 | #Constraints: 86920
1996.05/2002.77 c #Conflicts: 926000 | #Constraints: 87920
1996.05/2002.77 c #Conflicts: 927000 | #Constraints: 88920
1996.05/2002.77 c #Conflicts: 928000 | #Constraints: 89920
1996.05/2002.77 c #Conflicts: 929000 | #Constraints: 90920
1996.05/2002.77 c #Conflicts: 930000 | #Constraints: 91920
1996.05/2002.77 c #Conflicts: 931000 | #Constraints: 92920
1996.05/2002.77 c #Conflicts: 932000 | #Constraints: 93920
1996.05/2002.77 c #Conflicts: 933000 | #Constraints: 94920
1996.05/2002.77 c #Conflicts: 934000 | #Constraints: 95920
2180.74/2188.10 c #Conflicts: 935000 | #Constraints: 96920
2180.74/2188.10 c #Conflicts: 936000 | #Constraints: 97920
2180.74/2188.10 c #Conflicts: 937000 | #Constraints: 98920
2180.74/2188.10 c #Conflicts: 938000 | #Constraints: 99920
2180.74/2188.10 c #Conflicts: 939000 | #Constraints: 100920
2180.74/2188.10 c #Conflicts: 940000 | #Constraints: 101920
2180.74/2188.10 c #Conflicts: 941000 | #Constraints: 102920
2180.74/2188.10 c #Conflicts: 942000 | #Constraints: 103920
2180.74/2188.10 c #Conflicts: 943000 | #Constraints: 104920
2180.74/2188.10 c #Conflicts: 944000 | #Constraints: 105920
2180.74/2188.10 c #Conflicts: 945000 | #Constraints: 106920
2180.74/2188.10 c #Conflicts: 946000 | #Constraints: 107920
2180.74/2188.10 c #Conflicts: 947000 | #Constraints: 108920
2180.74/2188.10 c INPROCESSING
2180.74/2188.10 c GARBAGE COLLECT
2180.74/2188.10 c #Conflicts: 948000 | #Constraints: 80403
2180.74/2188.10 c #Conflicts: 949000 | #Constraints: 81403
2180.74/2188.10 c #Conflicts: 950000 | #Constraints: 82403
2180.74/2188.10 c #Conflicts: 951000 | #Constraints: 83403
2180.74/2188.10 c #Conflicts: 952000 | #Constraints: 84403
2180.74/2188.10 c #Conflicts: 953000 | #Constraints: 85403
2180.74/2188.10 c #Conflicts: 954000 | #Constraints: 86403
2180.74/2188.10 c #Conflicts: 955000 | #Constraints: 87403
2180.74/2188.10 c #Conflicts: 956000 | #Constraints: 88403
2180.74/2188.10 c #Conflicts: 957000 | #Constraints: 89403
2180.74/2188.10 c #Conflicts: 958000 | #Constraints: 90403
2180.74/2188.10 c #Conflicts: 959000 | #Constraints: 91403
2180.74/2188.10 c #Conflicts: 960000 | #Constraints: 92403
2180.74/2188.10 c #Conflicts: 961000 | #Constraints: 93403
2180.74/2188.10 c #Conflicts: 962000 | #Constraints: 94403
2180.74/2188.10 c #Conflicts: 963000 | #Constraints: 95403
2180.74/2188.10 c #Conflicts: 964000 | #Constraints: 96403
2180.74/2188.10 c #Conflicts: 965000 | #Constraints: 97403
2180.74/2188.10 c #Conflicts: 966000 | #Constraints: 98403
2180.74/2188.10 c #Conflicts: 967000 | #Constraints: 99403
2180.74/2188.10 c #Conflicts: 968000 | #Constraints: 100403
2180.74/2188.10 c #Conflicts: 969000 | #Constraints: 101403
2180.74/2188.10 c #Conflicts: 970000 | #Constraints: 102403
2180.74/2188.10 c #Conflicts: 971000 | #Constraints: 103403
2180.74/2188.10 c #Conflicts: 972000 | #Constraints: 104403
2180.74/2188.10 c #Conflicts: 973000 | #Constraints: 105403
2180.74/2188.10 c #Conflicts: 974000 | #Constraints: 106403
2180.74/2188.10 c #Conflicts: 975000 | #Constraints: 107403
2180.74/2188.10 c #Conflicts: 976000 | #Constraints: 108403
2180.74/2188.10 c #Conflicts: 977000 | #Constraints: 109403
2180.74/2188.10 c #Conflicts: 978000 | #Constraints: 110403
2180.74/2188.10 c #Conflicts: 979000 | #Constraints: 111403
2180.74/2188.10 c #Conflicts: 980000 | #Constraints: 112403
2180.74/2188.10 c #Conflicts: 981000 | #Constraints: 113403
2180.74/2188.10 c #Conflicts: 982000 | #Constraints: 114403
2180.74/2188.10 c #Conflicts: 983000 | #Constraints: 115403
2180.74/2188.10 c #Conflicts: 984000 | #Constraints: 116403
2180.74/2188.10 c #Conflicts: 985000 | #Constraints: 117403
2180.74/2188.10 c #Conflicts: 986000 | #Constraints: 118403
2180.74/2188.10 c #Conflicts: 987000 | #Constraints: 119403
2180.74/2188.10 c #Conflicts: 988000 | #Constraints: 120403
2180.74/2188.10 c #Conflicts: 989000 | #Constraints: 121403
2180.74/2188.10 c #Conflicts: 990000 | #Constraints: 122403
2180.74/2188.10 c #Conflicts: 991000 | #Constraints: 123403
2180.74/2188.10 c #Conflicts: 992000 | #Constraints: 124403
2180.74/2188.10 c #Conflicts: 993000 | #Constraints: 125403
2180.74/2188.10 c #Conflicts: 994000 | #Constraints: 126403
2180.74/2188.10 c #Conflicts: 995000 | #Constraints: 127403
2180.74/2188.10 c #Conflicts: 996000 | #Constraints: 128403
2180.74/2188.10 c #Conflicts: 997000 | #Constraints: 129403
2180.74/2188.10 c #Conflicts: 998000 | #Constraints: 130403
2180.74/2188.10 c #Conflicts: 999000 | #Constraints: 131403
2180.74/2188.10 c #Conflicts: 1000000 | #Constraints: 132403
2180.74/2188.10 c #Conflicts: 1001000 | #Constraints: 133403
2180.74/2188.10 c #Conflicts: 1002000 | #Constraints: 134403
2180.74/2188.10 c #Conflicts: 1003000 | #Constraints: 135403
2180.74/2188.10 c #Conflicts: 1004000 | #Constraints: 136403
2180.74/2188.10 c #Conflicts: 1005000 | #Constraints: 137403
2180.74/2188.10 c #Conflicts: 1006000 | #Constraints: 138403
2180.74/2188.10 c #Conflicts: 1007000 | #Constraints: 139403
2180.74/2188.10 c #Conflicts: 1008000 | #Constraints: 140403
2180.74/2188.10 c #Conflicts: 1009000 | #Constraints: 141403
2180.74/2188.10 c #Conflicts: 1010000 | #Constraints: 142403
2180.74/2188.10 c #Conflicts: 1011000 | #Constraints: 143403
2180.74/2188.10 c #Conflicts: 1012000 | #Constraints: 144403
2208.54/2215.91 c INPROCESSING
2208.54/2215.91 c GARBAGE COLLECT
2208.54/2215.91 c rational objective 182
2485.40/2493.67 c #Conflicts: 1013000 | #Constraints: 85511
2485.40/2493.67 c #Conflicts: 1014000 | #Constraints: 86511
2485.40/2493.67 c #Conflicts: 1015000 | #Constraints: 87511
2485.40/2493.67 c #Conflicts: 1016000 | #Constraints: 88511
2485.40/2493.67 c #Conflicts: 1017000 | #Constraints: 89511
2485.40/2493.67 c #Conflicts: 1018000 | #Constraints: 90511
2485.40/2493.67 c #Conflicts: 1019000 | #Constraints: 91511
2485.40/2493.67 c #Conflicts: 1020000 | #Constraints: 92511
2485.40/2493.67 c #Conflicts: 1021000 | #Constraints: 93511
2485.40/2493.67 c #Conflicts: 1022000 | #Constraints: 94511
2485.40/2493.67 c #Conflicts: 1023000 | #Constraints: 95511
2485.40/2493.67 c #Conflicts: 1024000 | #Constraints: 96511
2485.40/2493.67 c #Conflicts: 1025000 | #Constraints: 97511
2485.40/2493.67 c #Conflicts: 1026000 | #Constraints: 98511
2485.40/2493.67 c #Conflicts: 1027000 | #Constraints: 99511
2485.40/2493.67 c #Conflicts: 1028000 | #Constraints: 100511
2485.40/2493.67 c #Conflicts: 1029000 | #Constraints: 101511
2485.40/2493.67 c #Conflicts: 1030000 | #Constraints: 102511
2485.40/2493.67 c #Conflicts: 1031000 | #Constraints: 103511
2485.40/2493.67 c #Conflicts: 1032000 | #Constraints: 104511
2485.40/2493.67 c #Conflicts: 1033000 | #Constraints: 105511
2485.40/2493.67 c #Conflicts: 1034000 | #Constraints: 106511
2485.40/2493.67 c #Conflicts: 1035000 | #Constraints: 107511
2485.40/2493.67 c #Conflicts: 1036000 | #Constraints: 108511
2485.40/2493.67 c #Conflicts: 1037000 | #Constraints: 109511
2485.40/2493.67 c #Conflicts: 1038000 | #Constraints: 110511
2485.40/2493.67 c #Conflicts: 1039000 | #Constraints: 111511
2485.40/2493.67 c #Conflicts: 1040000 | #Constraints: 112511
2485.40/2493.67 c INPROCESSING
2485.40/2493.67 c GARBAGE COLLECT
2485.40/2493.67 c #Conflicts: 1041000 | #Constraints: 82742
2485.40/2493.67 c #Conflicts: 1042000 | #Constraints: 83742
2485.40/2493.67 c #Conflicts: 1043000 | #Constraints: 84742
2485.40/2493.67 c #Conflicts: 1044000 | #Constraints: 85742
2485.40/2493.67 c #Conflicts: 1045000 | #Constraints: 86742
2485.40/2493.67 c #Conflicts: 1046000 | #Constraints: 87742
2485.40/2493.67 c #Conflicts: 1047000 | #Constraints: 88742
2485.40/2493.67 c #Conflicts: 1048000 | #Constraints: 89742
2485.40/2493.67 c #Conflicts: 1049000 | #Constraints: 90742
2485.40/2493.67 c #Conflicts: 1050000 | #Constraints: 91742
2485.40/2493.67 c #Conflicts: 1051000 | #Constraints: 92742
2485.40/2493.67 c #Conflicts: 1052000 | #Constraints: 93742
2485.40/2493.67 c #Conflicts: 1053000 | #Constraints: 94742
2485.40/2493.67 c #Conflicts: 1054000 | #Constraints: 95742
2485.40/2493.67 c #Conflicts: 1055000 | #Constraints: 96742
2485.40/2493.67 c #Conflicts: 1056000 | #Constraints: 97742
2485.40/2493.67 c #Conflicts: 1057000 | #Constraints: 98742
2485.40/2493.67 c #Conflicts: 1058000 | #Constraints: 99742
2485.40/2493.67 c #Conflicts: 1059000 | #Constraints: 100742
2485.40/2493.67 c #Conflicts: 1060000 | #Constraints: 101742
2485.40/2493.67 c #Conflicts: 1061000 | #Constraints: 102742
2485.40/2493.67 c #Conflicts: 1062000 | #Constraints: 103742
2485.40/2493.67 c #Conflicts: 1063000 | #Constraints: 104742
2485.40/2493.67 c #Conflicts: 1064000 | #Constraints: 105742
2485.40/2493.67 c #Conflicts: 1065000 | #Constraints: 106742
2485.40/2493.67 c #Conflicts: 1066000 | #Constraints: 107742
2485.40/2493.67 c #Conflicts: 1067000 | #Constraints: 108742
2485.40/2493.67 c #Conflicts: 1068000 | #Constraints: 109742
2485.40/2493.67 c #Conflicts: 1069000 | #Constraints: 110742
2485.40/2493.67 c #Conflicts: 1070000 | #Constraints: 111742
2485.40/2493.67 c #Conflicts: 1071000 | #Constraints: 112742
2485.40/2493.67 c #Conflicts: 1072000 | #Constraints: 113742
2485.40/2493.67 c #Conflicts: 1073000 | #Constraints: 114742
2485.40/2493.67 c #Conflicts: 1074000 | #Constraints: 115742
2485.40/2493.67 c #Conflicts: 1075000 | #Constraints: 116742
2485.40/2493.67 c #Conflicts: 1076000 | #Constraints: 117742
2485.40/2493.67 c #Conflicts: 1077000 | #Constraints: 118742
2485.40/2493.67 c #Conflicts: 1078000 | #Constraints: 119742
2485.40/2493.67 c #Conflicts: 1079000 | #Constraints: 120742
2485.40/2493.67 c #Conflicts: 1080000 | #Constraints: 121742
2485.40/2493.67 c #Conflicts: 1081000 | #Constraints: 122742
2485.40/2493.67 c #Conflicts: 1082000 | #Constraints: 123742
2485.40/2493.67 c #Conflicts: 1083000 | #Constraints: 124742
2485.40/2493.67 c #Conflicts: 1084000 | #Constraints: 125742
2485.40/2493.67 c #Conflicts: 1085000 | #Constraints: 126742
2485.40/2493.67 c #Conflicts: 1086000 | #Constraints: 127742
2485.40/2493.67 c #Conflicts: 1087000 | #Constraints: 128742
2485.40/2493.67 c #Conflicts: 1088000 | #Constraints: 129742
2485.40/2493.67 c #Conflicts: 1089000 | #Constraints: 130742
2485.40/2493.67 c #Conflicts: 1090000 | #Constraints: 131742
2485.40/2493.67 c #Conflicts: 1091000 | #Constraints: 132742
2648.63/2657.32 c #Conflicts: 1092000 | #Constraints: 133742
2648.63/2657.32 c #Conflicts: 1093000 | #Constraints: 134742
2648.63/2657.32 c #Conflicts: 1094000 | #Constraints: 135742
2648.63/2657.32 c #Conflicts: 1095000 | #Constraints: 136742
2648.63/2657.32 c #Conflicts: 1096000 | #Constraints: 137742
2648.63/2657.32 c #Conflicts: 1097000 | #Constraints: 138742
2648.63/2657.32 c #Conflicts: 1098000 | #Constraints: 139742
2648.63/2657.32 c #Conflicts: 1099000 | #Constraints: 140742
2648.63/2657.32 c #Conflicts: 1100000 | #Constraints: 141742
2648.63/2657.32 c #Conflicts: 1101000 | #Constraints: 142742
2648.63/2657.32 c #Conflicts: 1102000 | #Constraints: 143742
2648.63/2657.32 c #Conflicts: 1103000 | #Constraints: 144742
2648.63/2657.32 c #Conflicts: 1104000 | #Constraints: 145742
2648.63/2657.32 c #Conflicts: 1105000 | #Constraints: 146742
2648.63/2657.32 c #Conflicts: 1106000 | #Constraints: 147742
2648.63/2657.32 c #Conflicts: 1107000 | #Constraints: 148742
2648.63/2657.32 c #Conflicts: 1108000 | #Constraints: 149742
2648.63/2657.32 c INPROCESSING
2648.63/2657.32 c GARBAGE COLLECT
2648.63/2657.32 c #Conflicts: 1109000 | #Constraints: 88054
2648.63/2657.32 c #Conflicts: 1110000 | #Constraints: 89054
2648.63/2657.32 c #Conflicts: 1111000 | #Constraints: 90054
2648.63/2657.32 c #Conflicts: 1112000 | #Constraints: 91054
2648.63/2657.32 c #Conflicts: 1113000 | #Constraints: 92054
2648.63/2657.32 c #Conflicts: 1114000 | #Constraints: 93054
2648.63/2657.32 c #Conflicts: 1115000 | #Constraints: 94054
2648.63/2657.32 c #Conflicts: 1116000 | #Constraints: 95054
2648.63/2657.32 c #Conflicts: 1117000 | #Constraints: 96054
2648.63/2657.32 c #Conflicts: 1118000 | #Constraints: 97054
2648.63/2657.32 c #Conflicts: 1119000 | #Constraints: 98054
2648.63/2657.32 c #Conflicts: 1120000 | #Constraints: 99054
2648.63/2657.32 c #Conflicts: 1121000 | #Constraints: 100054
2648.63/2657.32 c #Conflicts: 1122000 | #Constraints: 101054
2648.63/2657.32 c #Conflicts: 1123000 | #Constraints: 102054
2648.63/2657.32 c #Conflicts: 1124000 | #Constraints: 103054
2648.63/2657.32 c #Conflicts: 1125000 | #Constraints: 104054
2648.63/2657.32 c #Conflicts: 1126000 | #Constraints: 105054
2648.63/2657.32 c #Conflicts: 1127000 | #Constraints: 106054
2648.63/2657.32 c #Conflicts: 1128000 | #Constraints: 107054
2648.63/2657.32 c #Conflicts: 1129000 | #Constraints: 108054
2648.63/2657.32 c #Conflicts: 1130000 | #Constraints: 109054
2648.63/2657.32 c #Conflicts: 1131000 | #Constraints: 110054
2648.63/2657.32 c #Conflicts: 1132000 | #Constraints: 111054
2648.63/2657.32 c #Conflicts: 1133000 | #Constraints: 112054
2648.63/2657.32 c #Conflicts: 1134000 | #Constraints: 113054
2648.63/2657.32 c #Conflicts: 1135000 | #Constraints: 114054
2648.63/2657.32 c #Conflicts: 1136000 | #Constraints: 115054
2648.63/2657.32 c #Conflicts: 1137000 | #Constraints: 116054
2648.63/2657.32 c #Conflicts: 1138000 | #Constraints: 117054
2648.63/2657.32 c INPROCESSING
2648.63/2657.32 c GARBAGE COLLECT
2648.63/2657.32 c #Conflicts: 1139000 | #Constraints: 84835
2648.63/2657.32 c #Conflicts: 1140000 | #Constraints: 85835
2648.63/2657.32 c #Conflicts: 1141000 | #Constraints: 86835
2648.63/2657.32 c #Conflicts: 1142000 | #Constraints: 87835
2648.63/2657.32 c #Conflicts: 1143000 | #Constraints: 88835
2648.63/2657.32 c #Conflicts: 1144000 | #Constraints: 89835
2648.63/2657.32 c #Conflicts: 1145000 | #Constraints: 90835
2648.63/2657.32 c #Conflicts: 1146000 | #Constraints: 91835
2648.63/2657.32 c #Conflicts: 1147000 | #Constraints: 92835
2648.63/2657.32 c #Conflicts: 1148000 | #Constraints: 93835
2648.63/2657.32 c #Conflicts: 1149000 | #Constraints: 94835
2648.63/2657.32 c #Conflicts: 1150000 | #Constraints: 95835
2648.63/2657.32 c #Conflicts: 1151000 | #Constraints: 96835
2648.63/2657.32 c #Conflicts: 1152000 | #Constraints: 97835
2648.63/2657.32 c #Conflicts: 1153000 | #Constraints: 98835
2648.63/2657.32 c #Conflicts: 1154000 | #Constraints: 99835
2648.63/2657.32 c #Conflicts: 1155000 | #Constraints: 100835
2648.63/2657.32 c #Conflicts: 1156000 | #Constraints: 101835
2648.63/2657.32 c #Conflicts: 1157000 | #Constraints: 102835
2648.63/2657.32 c #Conflicts: 1158000 | #Constraints: 103835
2648.63/2657.32 c #Conflicts: 1159000 | #Constraints: 104835
2648.63/2657.32 c #Conflicts: 1160000 | #Constraints: 105835
2648.63/2657.32 c #Conflicts: 1161000 | #Constraints: 106835
2648.63/2657.32 c #Conflicts: 1162000 | #Constraints: 107835
2648.63/2657.32 c #Conflicts: 1163000 | #Constraints: 108835
2648.63/2657.32 c #Conflicts: 1164000 | #Constraints: 109835
2648.63/2657.32 c #Conflicts: 1165000 | #Constraints: 110835
2648.63/2657.32 c #Conflicts: 1166000 | #Constraints: 111835
2648.63/2657.32 c #Conflicts: 1167000 | #Constraints: 112835
2648.63/2657.32 c #Conflicts: 1168000 | #Constraints: 113835
2795.68/2804.85 c #Conflicts: 1169000 | #Constraints: 114835
2795.68/2804.85 c #Conflicts: 1170000 | #Constraints: 115835
2795.68/2804.85 c #Conflicts: 1171000 | #Constraints: 116835
2795.68/2804.85 c #Conflicts: 1172000 | #Constraints: 117835
2795.68/2804.85 c #Conflicts: 1173000 | #Constraints: 118835
2795.68/2804.85 c #Conflicts: 1174000 | #Constraints: 119835
2795.68/2804.85 c #Conflicts: 1175000 | #Constraints: 120835
2795.68/2804.85 c #Conflicts: 1176000 | #Constraints: 121835
2795.68/2804.85 c #Conflicts: 1177000 | #Constraints: 122835
2795.68/2804.85 c #Conflicts: 1178000 | #Constraints: 123835
2795.68/2804.85 c #Conflicts: 1179000 | #Constraints: 124835
2795.68/2804.85 c #Conflicts: 1180000 | #Constraints: 125835
2795.68/2804.85 c #Conflicts: 1181000 | #Constraints: 126835
2795.68/2804.85 c #Conflicts: 1182000 | #Constraints: 127835
2795.68/2804.85 c #Conflicts: 1183000 | #Constraints: 128835
2795.68/2804.85 c #Conflicts: 1184000 | #Constraints: 129835
2795.68/2804.85 c #Conflicts: 1185000 | #Constraints: 130835
2795.68/2804.85 c #Conflicts: 1186000 | #Constraints: 131835
2795.68/2804.85 c #Conflicts: 1187000 | #Constraints: 132835
2795.68/2804.85 c #Conflicts: 1188000 | #Constraints: 133835
2795.68/2804.85 c #Conflicts: 1189000 | #Constraints: 134835
2795.68/2804.85 c #Conflicts: 1190000 | #Constraints: 135835
2795.68/2804.85 c #Conflicts: 1191000 | #Constraints: 136835
2795.68/2804.85 c #Conflicts: 1192000 | #Constraints: 137835
2795.68/2804.85 c #Conflicts: 1193000 | #Constraints: 138835
2795.68/2804.85 c #Conflicts: 1194000 | #Constraints: 139835
2795.68/2804.85 c #Conflicts: 1195000 | #Constraints: 140835
2795.68/2804.85 c #Conflicts: 1196000 | #Constraints: 141835
2795.68/2804.85 c #Conflicts: 1197000 | #Constraints: 142835
2795.68/2804.85 c #Conflicts: 1198000 | #Constraints: 143835
2795.68/2804.85 c #Conflicts: 1199000 | #Constraints: 144835
2795.68/2804.85 c #Conflicts: 1200000 | #Constraints: 145835
2795.68/2804.85 c #Conflicts: 1201000 | #Constraints: 146835
2795.68/2804.85 c #Conflicts: 1202000 | #Constraints: 147835
2795.68/2804.85 c #Conflicts: 1203000 | #Constraints: 148835
2795.68/2804.85 c #Conflicts: 1204000 | #Constraints: 149835
2795.68/2804.85 c #Conflicts: 1205000 | #Constraints: 150835
2795.68/2804.85 c #Conflicts: 1206000 | #Constraints: 151835
2795.68/2804.85 c #Conflicts: 1207000 | #Constraints: 152835
2795.68/2804.85 c #Conflicts: 1208000 | #Constraints: 153835
2795.68/2804.85 c #Conflicts: 1209000 | #Constraints: 154835
2795.68/2804.85 c INPROCESSING
2795.68/2804.85 c GARBAGE COLLECT
2795.68/2804.85 c rational objective 182
2894.60/2904.08 c #Conflicts: 1210000 | #Constraints: 90614
2894.60/2904.08 c #Conflicts: 1211000 | #Constraints: 91614
2894.60/2904.08 c #Conflicts: 1212000 | #Constraints: 92614
2894.60/2904.08 c #Conflicts: 1213000 | #Constraints: 93614
2894.60/2904.08 c #Conflicts: 1214000 | #Constraints: 94614
2894.60/2904.08 c #Conflicts: 1215000 | #Constraints: 95614
2894.60/2904.08 c #Conflicts: 1216000 | #Constraints: 96614
2894.60/2904.08 c #Conflicts: 1217000 | #Constraints: 97614
2894.60/2904.08 c #Conflicts: 1218000 | #Constraints: 98614
2894.60/2904.08 c #Conflicts: 1219000 | #Constraints: 99614
2894.60/2904.08 c #Conflicts: 1220000 | #Constraints: 100614
2894.60/2904.08 c #Conflicts: 1221000 | #Constraints: 101614
2894.60/2904.08 c #Conflicts: 1222000 | #Constraints: 102614
2894.60/2904.08 c #Conflicts: 1223000 | #Constraints: 103614
2894.60/2904.08 c #Conflicts: 1224000 | #Constraints: 104614
2894.60/2904.08 c #Conflicts: 1225000 | #Constraints: 105614
2894.60/2904.08 c #Conflicts: 1226000 | #Constraints: 106614
2894.60/2904.08 c #Conflicts: 1227000 | #Constraints: 107614
2894.60/2904.08 c #Conflicts: 1228000 | #Constraints: 108614
2894.60/2904.08 c #Conflicts: 1229000 | #Constraints: 109614
2894.60/2904.08 c #Conflicts: 1230000 | #Constraints: 110614
2894.60/2904.08 c #Conflicts: 1231000 | #Constraints: 111614
2894.60/2904.08 c #Conflicts: 1232000 | #Constraints: 112614
2894.60/2904.08 c #Conflicts: 1233000 | #Constraints: 113614
2894.60/2904.08 c #Conflicts: 1234000 | #Constraints: 114614
2894.60/2904.08 c #Conflicts: 1235000 | #Constraints: 115614
2894.60/2904.08 c #Conflicts: 1236000 | #Constraints: 116614
2894.60/2904.08 c #Conflicts: 1237000 | #Constraints: 117614
2894.60/2904.08 c #Conflicts: 1238000 | #Constraints: 118614
2894.60/2904.08 c #Conflicts: 1239000 | #Constraints: 119614
2894.60/2904.08 c #Conflicts: 1240000 | #Constraints: 120614
2894.60/2904.08 c INPROCESSING
2894.60/2904.08 c GARBAGE COLLECT
2894.60/2904.08 c rational objective 182
3120.62/3130.74 c #Conflicts: 1241000 | #Constraints: 87724
3120.62/3130.74 c #Conflicts: 1242000 | #Constraints: 88724
3120.62/3130.74 c #Conflicts: 1243000 | #Constraints: 89724
3120.62/3130.74 c #Conflicts: 1244000 | #Constraints: 90724
3120.62/3130.74 c #Conflicts: 1245000 | #Constraints: 91724
3120.62/3130.74 c #Conflicts: 1246000 | #Constraints: 92724
3120.62/3130.74 c #Conflicts: 1247000 | #Constraints: 93724
3120.62/3130.74 c #Conflicts: 1248000 | #Constraints: 94724
3120.62/3130.74 c #Conflicts: 1249000 | #Constraints: 95724
3120.62/3130.74 c #Conflicts: 1250000 | #Constraints: 96724
3120.62/3130.74 c #Conflicts: 1251000 | #Constraints: 97724
3120.62/3130.74 c #Conflicts: 1252000 | #Constraints: 98724
3120.62/3130.74 c #Conflicts: 1253000 | #Constraints: 99724
3120.62/3130.74 c #Conflicts: 1254000 | #Constraints: 100724
3120.62/3130.74 c #Conflicts: 1255000 | #Constraints: 101724
3120.62/3130.74 c #Conflicts: 1256000 | #Constraints: 102724
3120.62/3130.74 c #Conflicts: 1257000 | #Constraints: 103724
3120.62/3130.74 c #Conflicts: 1258000 | #Constraints: 104724
3120.62/3130.74 c #Conflicts: 1259000 | #Constraints: 105724
3120.62/3130.74 c #Conflicts: 1260000 | #Constraints: 106724
3120.62/3130.74 c #Conflicts: 1261000 | #Constraints: 107724
3120.62/3130.74 c #Conflicts: 1262000 | #Constraints: 108724
3120.62/3130.74 c #Conflicts: 1263000 | #Constraints: 109724
3120.62/3130.74 c #Conflicts: 1264000 | #Constraints: 110724
3120.62/3130.74 c #Conflicts: 1265000 | #Constraints: 111724
3120.62/3130.74 c #Conflicts: 1266000 | #Constraints: 112724
3120.62/3130.74 c #Conflicts: 1267000 | #Constraints: 113724
3120.62/3130.74 c #Conflicts: 1268000 | #Constraints: 114724
3120.62/3130.74 c #Conflicts: 1269000 | #Constraints: 115724
3120.62/3130.74 c #Conflicts: 1270000 | #Constraints: 116724
3120.62/3130.74 c #Conflicts: 1271000 | #Constraints: 117724
3120.62/3130.74 c #Conflicts: 1272000 | #Constraints: 118724
3120.62/3130.74 c #Conflicts: 1273000 | #Constraints: 119724
3120.62/3130.74 c #Conflicts: 1274000 | #Constraints: 120724
3120.62/3130.74 c #Conflicts: 1275000 | #Constraints: 121724
3120.62/3130.74 c #Conflicts: 1276000 | #Constraints: 122724
3120.62/3130.74 c #Conflicts: 1277000 | #Constraints: 123724
3120.62/3130.74 c #Conflicts: 1278000 | #Constraints: 124724
3120.62/3130.74 c #Conflicts: 1279000 | #Constraints: 125724
3120.62/3130.74 c #Conflicts: 1280000 | #Constraints: 126724
3120.62/3130.74 c #Conflicts: 1281000 | #Constraints: 127724
3120.62/3130.74 c #Conflicts: 1282000 | #Constraints: 128724
3120.62/3130.74 c #Conflicts: 1283000 | #Constraints: 129724
3120.62/3130.74 c #Conflicts: 1284000 | #Constraints: 130724
3120.62/3130.74 c #Conflicts: 1285000 | #Constraints: 131724
3120.62/3130.74 c #Conflicts: 1286000 | #Constraints: 132724
3120.62/3130.74 c #Conflicts: 1287000 | #Constraints: 133724
3120.62/3130.74 c #Conflicts: 1288000 | #Constraints: 134724
3120.62/3130.74 c #Conflicts: 1289000 | #Constraints: 135724
3120.62/3130.74 c #Conflicts: 1290000 | #Constraints: 136724
3120.62/3130.74 c #Conflicts: 1291000 | #Constraints: 137724
3120.62/3130.74 c #Conflicts: 1292000 | #Constraints: 138724
3120.62/3130.74 c #Conflicts: 1293000 | #Constraints: 139724
3120.62/3130.74 c #Conflicts: 1294000 | #Constraints: 140724
3120.62/3130.74 c #Conflicts: 1295000 | #Constraints: 141724
3120.62/3130.74 c #Conflicts: 1296000 | #Constraints: 142724
3120.62/3130.74 c #Conflicts: 1297000 | #Constraints: 143724
3120.62/3130.74 c #Conflicts: 1298000 | #Constraints: 144724
3120.62/3130.74 c #Conflicts: 1299000 | #Constraints: 145724
3120.62/3130.74 c #Conflicts: 1300000 | #Constraints: 146724
3120.62/3130.74 c #Conflicts: 1301000 | #Constraints: 147724
3120.62/3130.74 c #Conflicts: 1302000 | #Constraints: 148724
3120.62/3130.74 c #Conflicts: 1303000 | #Constraints: 149724
3120.62/3130.74 c #Conflicts: 1304000 | #Constraints: 150724
3120.62/3130.74 c #Conflicts: 1305000 | #Constraints: 151724
3120.62/3130.74 c #Conflicts: 1306000 | #Constraints: 152724
3120.62/3130.74 c #Conflicts: 1307000 | #Constraints: 153724
3120.62/3130.74 c #Conflicts: 1308000 | #Constraints: 154724
3120.62/3130.74 c #Conflicts: 1309000 | #Constraints: 155724
3120.62/3130.74 c #Conflicts: 1310000 | #Constraints: 156724
3120.62/3130.74 c #Conflicts: 1311000 | #Constraints: 157724
3120.62/3130.74 c #Conflicts: 1312000 | #Constraints: 158724
3120.62/3130.74 c #Conflicts: 1313000 | #Constraints: 159724
3120.62/3130.74 c #Conflicts: 1314000 | #Constraints: 160724
3120.62/3130.74 c #Conflicts: 1315000 | #Constraints: 161724
3120.62/3130.74 c INPROCESSING
3120.62/3130.74 c GARBAGE COLLECT
3120.62/3130.74 c #Conflicts: 1316000 | #Constraints: 94470
3120.62/3130.74 c #Conflicts: 1317000 | #Constraints: 95470
3120.62/3130.74 c #Conflicts: 1318000 | #Constraints: 96470
3120.62/3130.74 c #Conflicts: 1319000 | #Constraints: 97470
3348.44/3359.22 c #Conflicts: 1320000 | #Constraints: 98470
3348.44/3359.22 c #Conflicts: 1321000 | #Constraints: 99470
3348.44/3359.22 c #Conflicts: 1322000 | #Constraints: 100471
3348.44/3359.22 c #Conflicts: 1323000 | #Constraints: 101471
3348.44/3359.22 c #Conflicts: 1324000 | #Constraints: 102471
3348.44/3359.22 c #Conflicts: 1325000 | #Constraints: 103471
3348.44/3359.22 c #Conflicts: 1326000 | #Constraints: 104471
3348.44/3359.22 c #Conflicts: 1327000 | #Constraints: 105471
3348.44/3359.22 c #Conflicts: 1328000 | #Constraints: 106471
3348.44/3359.22 c #Conflicts: 1329000 | #Constraints: 107471
3348.44/3359.22 c #Conflicts: 1330000 | #Constraints: 108471
3348.44/3359.22 c #Conflicts: 1331000 | #Constraints: 109471
3348.44/3359.22 c #Conflicts: 1332000 | #Constraints: 110471
3348.44/3359.22 c #Conflicts: 1333000 | #Constraints: 111471
3348.44/3359.22 c #Conflicts: 1334000 | #Constraints: 112471
3348.44/3359.22 c #Conflicts: 1335000 | #Constraints: 113471
3348.44/3359.22 c #Conflicts: 1336000 | #Constraints: 114471
3348.44/3359.22 c #Conflicts: 1337000 | #Constraints: 115471
3348.44/3359.22 c #Conflicts: 1338000 | #Constraints: 116471
3348.44/3359.22 c #Conflicts: 1339000 | #Constraints: 117471
3348.44/3359.22 c #Conflicts: 1340000 | #Constraints: 118471
3348.44/3359.22 c #Conflicts: 1341000 | #Constraints: 119471
3348.44/3359.22 c #Conflicts: 1342000 | #Constraints: 120471
3348.44/3359.22 c #Conflicts: 1343000 | #Constraints: 121471
3348.44/3359.22 c #Conflicts: 1344000 | #Constraints: 122471
3348.44/3359.22 c #Conflicts: 1345000 | #Constraints: 123471
3348.44/3359.22 c #Conflicts: 1346000 | #Constraints: 124471
3348.44/3359.22 c #Conflicts: 1347000 | #Constraints: 125471
3348.44/3359.22 c INPROCESSING
3348.44/3359.22 c GARBAGE COLLECT
3348.44/3359.22 c #Conflicts: 1348000 | #Constraints: 91021
3348.44/3359.22 c #Conflicts: 1349000 | #Constraints: 92021
3348.44/3359.22 c #Conflicts: 1350000 | #Constraints: 93021
3348.44/3359.22 c #Conflicts: 1351000 | #Constraints: 94021
3348.44/3359.22 c #Conflicts: 1352000 | #Constraints: 95021
3348.44/3359.22 c #Conflicts: 1353000 | #Constraints: 96021
3348.44/3359.22 c #Conflicts: 1354000 | #Constraints: 97021
3348.44/3359.22 c #Conflicts: 1355000 | #Constraints: 98021
3348.44/3359.22 c #Conflicts: 1356000 | #Constraints: 99021
3348.44/3359.22 c #Conflicts: 1357000 | #Constraints: 100021
3348.44/3359.22 c #Conflicts: 1358000 | #Constraints: 101021
3348.44/3359.22 c #Conflicts: 1359000 | #Constraints: 102021
3348.44/3359.22 c #Conflicts: 1360000 | #Constraints: 103021
3348.44/3359.22 c #Conflicts: 1361000 | #Constraints: 104021
3348.44/3359.22 c #Conflicts: 1362000 | #Constraints: 105021
3348.44/3359.22 c #Conflicts: 1363000 | #Constraints: 106021
3348.44/3359.22 c #Conflicts: 1364000 | #Constraints: 107021
3348.44/3359.22 c #Conflicts: 1365000 | #Constraints: 108021
3348.44/3359.22 c #Conflicts: 1366000 | #Constraints: 109021
3348.44/3359.22 c #Conflicts: 1367000 | #Constraints: 110021
3348.44/3359.22 c #Conflicts: 1368000 | #Constraints: 111021
3348.44/3359.22 c #Conflicts: 1369000 | #Constraints: 112021
3348.44/3359.22 c #Conflicts: 1370000 | #Constraints: 113021
3348.44/3359.22 c #Conflicts: 1371000 | #Constraints: 114021
3348.44/3359.22 c #Conflicts: 1372000 | #Constraints: 115021
3348.44/3359.22 c #Conflicts: 1373000 | #Constraints: 116021
3348.44/3359.22 c #Conflicts: 1374000 | #Constraints: 117021
3348.44/3359.22 c #Conflicts: 1375000 | #Constraints: 118021
3348.44/3359.22 c #Conflicts: 1376000 | #Constraints: 119021
3348.44/3359.22 c #Conflicts: 1377000 | #Constraints: 120021
3348.44/3359.22 c #Conflicts: 1378000 | #Constraints: 121021
3348.44/3359.22 c #Conflicts: 1379000 | #Constraints: 122021
3348.44/3359.22 c #Conflicts: 1380000 | #Constraints: 123021
3348.44/3359.22 c #Conflicts: 1381000 | #Constraints: 124021
3348.44/3359.22 c #Conflicts: 1382000 | #Constraints: 125021
3348.44/3359.22 c #Conflicts: 1383000 | #Constraints: 126021
3348.44/3359.22 c #Conflicts: 1384000 | #Constraints: 127021
3348.44/3359.22 c #Conflicts: 1385000 | #Constraints: 128021
3348.44/3359.22 c #Conflicts: 1386000 | #Constraints: 129021
3348.44/3359.22 c #Conflicts: 1387000 | #Constraints: 130021
3348.44/3359.22 c #Conflicts: 1388000 | #Constraints: 131021
3348.44/3359.22 c #Conflicts: 1389000 | #Constraints: 132021
3348.44/3359.22 c #Conflicts: 1390000 | #Constraints: 133021
3348.44/3359.22 c #Conflicts: 1391000 | #Constraints: 134021
3348.44/3359.22 c #Conflicts: 1392000 | #Constraints: 135021
3348.44/3359.22 c #Conflicts: 1393000 | #Constraints: 136021
3348.44/3359.22 c #Conflicts: 1394000 | #Constraints: 137021
3348.44/3359.22 c #Conflicts: 1395000 | #Constraints: 138021
3348.44/3359.22 c #Conflicts: 1396000 | #Constraints: 139021
3348.44/3359.22 c #Conflicts: 1397000 | #Constraints: 140021
3558.03/3569.49 c #Conflicts: 1398000 | #Constraints: 141021
3558.03/3569.49 c #Conflicts: 1399000 | #Constraints: 142021
3558.03/3569.49 c #Conflicts: 1400000 | #Constraints: 143021
3558.03/3569.49 c #Conflicts: 1401000 | #Constraints: 144021
3558.03/3569.49 c #Conflicts: 1402000 | #Constraints: 145021
3558.03/3569.49 c #Conflicts: 1403000 | #Constraints: 146021
3558.03/3569.49 c #Conflicts: 1404000 | #Constraints: 147021
3558.03/3569.49 c #Conflicts: 1405000 | #Constraints: 148021
3558.03/3569.49 c #Conflicts: 1406000 | #Constraints: 149021
3558.03/3569.49 c #Conflicts: 1407000 | #Constraints: 150021
3558.03/3569.49 c #Conflicts: 1408000 | #Constraints: 151021
3558.03/3569.49 c #Conflicts: 1409000 | #Constraints: 152021
3558.03/3569.49 c #Conflicts: 1410000 | #Constraints: 153021
3558.03/3569.49 c #Conflicts: 1411000 | #Constraints: 154021
3558.03/3569.49 c #Conflicts: 1412000 | #Constraints: 155021
3558.03/3569.49 c #Conflicts: 1413000 | #Constraints: 156021
3558.03/3569.49 c #Conflicts: 1414000 | #Constraints: 157021
3558.03/3569.49 c #Conflicts: 1415000 | #Constraints: 158021
3558.03/3569.49 c #Conflicts: 1416000 | #Constraints: 159021
3558.03/3569.49 c #Conflicts: 1417000 | #Constraints: 160021
3558.03/3569.49 c #Conflicts: 1418000 | #Constraints: 161021
3558.03/3569.49 c #Conflicts: 1419000 | #Constraints: 162021
3558.03/3569.49 c #Conflicts: 1420000 | #Constraints: 163021
3558.03/3569.49 c #Conflicts: 1421000 | #Constraints: 164021
3558.03/3569.49 c #Conflicts: 1422000 | #Constraints: 165021
3558.03/3569.49 c #Conflicts: 1423000 | #Constraints: 166021
3558.03/3569.49 c #Conflicts: 1424000 | #Constraints: 167021
3558.03/3569.49 c #Conflicts: 1425000 | #Constraints: 168021
3558.03/3569.49 c INPROCESSING
3558.03/3569.49 c GARBAGE COLLECT
3558.03/3569.49 c rational objective 182
3600.09/3611.60 c #Conflicts: 1426000 | #Constraints: 97750
3600.09/3611.60 c #Conflicts: 1427000 | #Constraints: 98750
3600.09/3611.60 c #Conflicts: 1428000 | #Constraints: 99750
3600.09/3611.60 c #Conflicts: 1429000 | #Constraints: 100750
3600.09/3611.60 c #Conflicts: 1430000 | #Constraints: 101750
3600.09/3611.60 c #Conflicts: 1431000 | #Constraints: 102750
3600.09/3611.60 c #Conflicts: 1432000 | #Constraints: 103750
3600.09/3611.60 c #Conflicts: 1433000 | #Constraints: 104750
3600.09/3611.60 c #Conflicts: 1434000 | #Constraints: 105750
3600.09/3611.60 c #Conflicts: 1435000 | #Constraints: 106750
3600.09/3611.60 c #Conflicts: 1436000 | #Constraints: 107750
3600.09/3611.60 c #Conflicts: 1437000 | #Constraints: 108750
3600.09/3611.60 c #Conflicts: 1438000 | #Constraints: 109750
3600.09/3611.60 c #Conflicts: 1439000 | #Constraints: 110750
3600.09/3611.60 c #Conflicts: 1440000 | #Constraints: 111750
3600.09/3611.60 c #Conflicts: 1441000 | #Constraints: 112750
3600.09/3611.60 c #Conflicts: 1442000 | #Constraints: 113750
3600.09/3611.60 c #Conflicts: 1443000 | #Constraints: 114750
3600.09/3611.60 c #Conflicts: 1444000 | #Constraints: 115750
3600.09/3611.60 c cpu time 3564.84 s
3600.09/3611.60 c deterministic time 268020604536 2.68e+11
3600.09/3611.60 c optimization time 37.59 s
3600.09/3611.60 c total solve time 3526.99 s
3600.09/3611.60 c core-guided solve time 0 s
3600.09/3611.60 c propagation time 1966.94 s
3600.09/3611.60 c conflict analysis time 1186.31 s
3600.09/3611.60 c propagations 1499334874
3600.09/3611.60 c resolve steps 84146118
3600.09/3611.60 c decisions 39223105
3600.09/3611.60 c conflicts 1444758
3600.09/3611.60 c restarts 2811
3600.09/3611.60 c inprocessing phases 50
3600.09/3611.60 c garbage collections 50 ,( 100.00 )
3600.09/3611.60 c input clauses 21842 ,( 99.17 )
3600.09/3611.60 c input cardinalities 182 ,( 0.83 )
3600.09/3611.60 c input general constraints 0 ,( 0.00 )
3600.09/3611.60 c input average constraint length 6.43
3600.09/3611.60 c input average constraint degree 1.97
3600.09/3611.60 c learned clauses 1050573 ,( 72.72 )
3600.09/3611.60 c learned cardinalities 49855 ,( 3.45 )
3600.09/3611.60 c learned general constraints 344345 ,( 23.83 )
3600.09/3611.60 c learned average constraint length 713.76
3600.09/3611.60 c learned average constraint degree 12670458.59
3600.09/3611.60 c watched CF 32, 64, 128, Arb: 83709 , 0 , 0 , 0
3600.09/3611.60 c counting CF 32, 64, 128, Arb: 260636 , 0 , 0 , 0
3600.09/3611.60 c watched constraints 83709 ,( 24.31 )
3600.09/3611.60 c counting constraints 260636 ,( 75.69 )
3600.09/3611.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1404212544 , 850712453 , 1946739531 ,( 90813571 , 1855925960 )
3600.09/3611.60 c gcd simplifications 765
3600.09/3611.60 c detected cardinalities 7961
3600.09/3611.60 c weakened non-implied lits 394707462
3600.09/3611.60 c weakened non-implying lits 209694
3600.09/3611.60 c original variables 21658
3600.09/3611.60 c clausal propagations 693243853
3600.09/3611.60 c cardinality propagations 557113929
3600.09/3611.60 c watched propagations 4574944
3600.09/3611.60 c counting propagations 230462854
3600.09/3611.60 c watch lookups 82920584704
3600.09/3611.60 c watch backjump lookups 0
3600.09/3611.60 c watch checks 36121336564
3600.09/3611.60 c propagation checks 140975772101
3600.09/3611.60 c constraint additions 4924034186
3600.09/3611.60 c trail pops 1539982321
3600.09/3611.60 c formula constraints 22024
3600.09/3611.60 c learned constraints 1444752
3600.09/3611.60 c bound constraints 0
3600.09/3611.60 c core-guided constraints 0
3600.09/3611.60 c encountered formula constraints 51873300
3600.09/3611.60 c encountered learned constraints 33716963
3600.09/3611.60 c encountered bound constraints 0
3600.09/3611.60 c encountered core-guided constraints 0
3600.09/3611.60 c LP total time 464.481 s
3600.09/3611.60 c LP solve time 449.46 s
3600.09/3611.60 c LP constraints added 22819
3600.09/3611.60 c LP constraints removed 399
3600.09/3611.60 c LP pivots internal 151597
3600.09/3611.60 c LP pivots root 185083
3600.09/3611.60 c LP calls 20
3600.09/3611.60 c LP optimalities 8
3600.09/3611.60 c LP no pivot count 0
3600.09/3611.60 c LP infeasibilities 6
3600.09/3611.60 c LP valid Farkas constraints 6
3600.09/3611.60 c LP learned Farkas constraints 6
3600.09/3611.60 c LP basis resets 0
3600.09/3611.60 c LP cycling count 0
3600.09/3611.60 c LP singular count 0
3600.09/3611.60 c LP no primal count 0
3600.09/3611.60 c LP no farkas count 0
3600.09/3611.60 c LP other issue count 0
3600.09/3611.60 c LP Gomory cuts 9
3600.09/3611.60 c LP learned cuts 1013
3600.09/3611.60 c LP deleted cuts 692
3600.09/3611.60 c LP encountered Gomory constraints 4
3600.09/3611.60 c LP encountered Farkas constraints 599
3600.09/3611.60 c LP encountered learned Farkas constraints 4
3600.09/3611.60 c CG auxiliary variables introduced 0
3600.09/3611.60 c CG solutions found 0
3600.09/3611.60 c CG cores constructed 0
3600.09/3611.60 c CG core cardinality constraints returned 0
3600.09/3611.60 c CG unit cores 0
3600.09/3611.60 c CG single cores 0
3600.09/3611.60 c CG blocks removed during cardinality reduction 0
3600.09/3611.60 c CG first core best 0
3600.09/3611.60 c CG decision core best 0
3600.09/3611.60 c CG core reduction tie 0
3600.09/3611.60 c CG core degree average 0.00
3600.09/3611.60 c CG core slack average 0.00
3600.09/3611.60 c CG core upper bound improvements 0
3600.09/3611.60 c STR number of successful calls 0
3600.09/3611.60 c STR number of unsuccessful calls 0
3600.09/3611.60 c STR number of inconclusive calls 0
3600.09/3611.60 c STR number of successful attempts 0
3600.09/3611.60 c STR number of unsuccessful attempts 0
3600.09/3611.60 c STR number of inconclusive attempts 0
3600.09/3611.60 c STR average degree increase per successful call inf
3600.09/3611.60 c STR average degree increase per successful attempt inf
3600.09/3611.60 c STR total number of conflicts for successful attempts 0
3600.09/3611.60 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.60 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.60 c STR average number of conflicts per successful attempt inf
3600.09/3611.60 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.60 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.60 c AVG.sumWPerc 66.92
3600.09/3611.60 c bigint constraints 0
3600.09/3611.60 s UNKNOWN
3600.09/3611.60 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 (63243 MiB free)
memory of node 1: 64507 MiB (63944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507192-1751183938/watcher-4507192-1751183938 -o /tmp/evaluation-result-4507192-1751183938/solver-4507192-1751183938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22851 --watchdog 3760 run-dec.sh HOME/instance-4507192-1751183938.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=23274, runsolver pid=23271
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130216928/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=59892 memory=15024 CPUtime=0.08 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 1535 0 0 0 6 2 0 0 20 0 1 0 34073522 61329408 3756 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 14973 3756 1920 1147 0 2400 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64084 KiB
Current children cumulated memory: 17840 KiB
[startup+0.219327 s]*
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130215920/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=61048 memory=16048 CPUtime=0.19 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 1847 0 0 0 14 5 0 0 20 0 1 0 34073522 62513152 4012 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 15262 4012 1920 1147 0 2689 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65240 KiB
Current children cumulated memory: 18864 KiB
[startup+0.314038 s]*
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130184296/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=78108 memory=31460 CPUtime=0.28 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 5930 0 0 0 21 7 0 0 20 0 1 0 34073522 79982592 7865 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 19527 7865 2272 1147 0 6954 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 82300 KiB
Current children cumulated memory: 34276 KiB
[startup+0.700284 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130136348/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=108376 memory=54996 CPUtime=0.65 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 11082 0 0 0 56 9 0 0 20 0 1 0 34073522 110977024 13749 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 27094 13749 2272 1147 0 14521 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 112568 KiB
Current children cumulated memory: 57812 KiB
[startup+1.50042 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130126520/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=110656 memory=58580 CPUtime=1.45 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 11970 0 0 0 135 10 0 0 20 0 1 0 34073522 113311744 14645 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 27664 14645 2304 1147 0 15091 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 114848 KiB
Current children cumulated memory: 61396 KiB
[startup+3.11412 s]
/proc/loadavg: 4.10 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130104928/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=112700 memory=63892 CPUtime=3.05 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 12721 0 0 0 287 18 0 0 20 0 1 0 34073522 115404800 15973 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 28175 15973 2368 1147 0 15602 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 116892 KiB
Current children cumulated memory: 66708 KiB
[startup+6.30039 s]
/proc/loadavg: 4.10 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130077844/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=123056 memory=72084 CPUtime=6.23 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 14778 0 0 0 582 41 0 0 20 0 1 0 34073522 126009344 18021 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 30764 18021 2368 1147 0 18191 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 127248 KiB
Current children cumulated memory: 74900 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130004268/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=149524 memory=95264 CPUtime=12.62 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 19525 0 0 0 1200 62 0 0 20 0 1 0 34073522 153112576 23816 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 37381 23816 2368 1147 0 24808 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 153716 KiB
Current children cumulated memory: 98080 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.06 5/254 23276
/proc/meminfo: memFree=129932132/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=157704 memory=105716 CPUtime=25.37 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 21710 0 0 0 2437 100 0 0 20 0 1 0 34073522 161488896 26429 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 39426 26429 2368 1147 0 26853 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 161896 KiB
Current children cumulated memory: 108532 KiB
[startup+51.1142 s]
/proc/loadavg: 4.09 4.11 4.06 5/255 23278
/proc/meminfo: memFree=129756632/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=208752 memory=146304 CPUtime=50.92 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 27766 0 0 0 4903 189 0 0 20 0 1 0 34073522 213762048 36576 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 52188 36576 2368 1147 0 39615 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 212944 KiB
Current children cumulated memory: 149120 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 4.22 4.10 5/255 23279
/proc/meminfo: memFree=129642400/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=234264 memory=182276 CPUtime=101.95 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 34211 0 0 0 9899 296 0 0 20 0 1 0 34073522 239886336 45569 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 58566 45569 2368 1147 0 45993 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 238456 KiB
Current children cumulated memory: 185092 KiB
[startup+162.3 s]
/proc/loadavg: 4.58 4.31 4.14 5/255 23292
/proc/meminfo: memFree=129436484/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=283852 memory=208584 CPUtime=161.76 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 39276 0 0 0 15790 386 0 0 20 0 1 0 34073522 290664448 52146 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 70963 52146 2368 1147 0 58390 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 288044 KiB
Current children cumulated memory: 211400 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.27 4.13 5/255 23294
/proc/meminfo: memFree=129256400/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=309412 memory=251824 CPUtime=221.58 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 45476 0 0 0 21641 517 0 0 20 0 1 0 34073522 316837888 62956 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 77353 62956 2368 1147 0 64780 0
################
# More data... #
################
/proc/23276/statm: 289087 267249 2368 1147 0 276514 0
Current children cumulated CPU time: 3032.48 s
Current children cumulated vsize: 1160540 KiB
Current children cumulated memory: 1071812 KiB
[startup+3102.3 s]
/proc/loadavg: 4.45 4.28 4.18 5/255 23438
/proc/meminfo: memFree=125413448/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1164876 memory=1075524 CPUtime=3092.31 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 135951 0 0 0 306056 3175 0 0 20 0 1 0 34073522 1192833024 268881 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 291219 268881 2368 1147 0 278646 0
Current children cumulated CPU time: 3092.31 s
Current children cumulated vsize: 1169068 KiB
Current children cumulated memory: 1078340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.26 4.18 5/255 23442
/proc/meminfo: memFree=125398876/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1175448 memory=1084484 CPUtime=3152.13 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 138214 0 0 0 312006 3207 0 0 20 0 1 0 34073522 1203658752 271121 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 293862 271121 2368 1147 0 281289 0
Current children cumulated CPU time: 3152.13 s
Current children cumulated vsize: 1179640 KiB
Current children cumulated memory: 1087300 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/254 23444
/proc/meminfo: memFree=125395552/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1175448 memory=1084484 CPUtime=3211.95 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 138214 0 0 0 317939 3256 0 0 20 0 1 0 34073522 1203658752 271121 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 293862 271121 2368 1147 0 281289 0
Current children cumulated CPU time: 3211.95 s
Current children cumulated vsize: 1179640 KiB
Current children cumulated memory: 1087300 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/255 23449
/proc/meminfo: memFree=125400680/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1175448 memory=1084484 CPUtime=3271.78 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 138214 0 0 0 323859 3319 0 0 20 0 1 0 34073522 1203658752 271121 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 293862 271121 2368 1147 0 281289 0
Current children cumulated CPU time: 3271.78 s
Current children cumulated vsize: 1179640 KiB
Current children cumulated memory: 1087300 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/255 23452
/proc/meminfo: memFree=125403212/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1175448 memory=1084612 CPUtime=3331.59 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 138243 0 0 0 329793 3366 0 0 20 0 1 0 34073522 1203658752 271153 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 293862 271153 2368 1147 0 281289 0
Current children cumulated CPU time: 3331.59 s
Current children cumulated vsize: 1179640 KiB
Current children cumulated memory: 1087428 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/256 23459
/proc/meminfo: memFree=125390792/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1179340 memory=1087940 CPUtime=3391.42 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 139054 0 0 0 335737 3405 0 0 20 0 1 0 34073522 1207644160 271985 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 294835 271985 2368 1147 0 282262 0
Current children cumulated CPU time: 3391.42 s
Current children cumulated vsize: 1183532 KiB
Current children cumulated memory: 1090756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.15 5/256 23461
/proc/meminfo: memFree=125387496/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1189388 memory=1095620 CPUtime=3451.24 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 140974 0 0 0 341685 3439 0 0 20 0 1 0 34073522 1217933312 273905 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 297347 273905 2368 1147 0 284774 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 1193580 KiB
Current children cumulated memory: 1098436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/256 23463
/proc/meminfo: memFree=125354424/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1197352 memory=1103044 CPUtime=3511.07 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 142835 0 0 0 347647 3460 0 0 20 0 1 0 34073522 1226088448 275761 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 299338 275761 2368 1147 0 286765 0
Current children cumulated CPU time: 3511.07 s
Current children cumulated vsize: 1201544 KiB
Current children cumulated memory: 1105860 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 23465
/proc/meminfo: memFree=125334260/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1197904 memory=1103556 CPUtime=3570.89 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 142974 0 0 0 353598 3491 0 0 20 0 1 0 34073522 1226653696 275889 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 299476 275889 2368 1147 0 286903 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 1202096 KiB
Current children cumulated memory: 1106372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.11 4.14 4.15 4/240 23545
/proc/meminfo: memFree=129146680/131382116 swapFree=33010684/33010684
[pid=23274] ppid=23271 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/23274/stat : 23274 (run-dec.sh) S 23271 23274 22838 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 34073522 4292608 704 18446744073709551615 93974661734400 93974662628933 140733297572768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93974662867984 93974662915728 93974665502720 140733297580397 140733297580520 140733297580520 140733297586122 0
/proc/23274/statm: 1048 704 672 219 0 110 0
[pid=23276] ppid=23274 vsize=1197904 memory=1103556 CPUtime=3600.09 cores=5,7
/proc/23276/stat : 23276 (roundingsat) R 23274 23274 22838 0 -1 4194304 142974 0 0 0 356484 3525 0 0 20 0 1 0 34073522 1226653696 275889 18446744073709551615 4227072 8923433 140723613305072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37109760 140723613309367 140723613309480 140723613309480 140723613315050 0
/proc/23276/statm: 299476 275889 2368 1147 0 286903 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1202096 KiB
Current children cumulated memory: 1106372 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.61 s]
# the end of solver process 23274 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001025 s, system=0.004202 s
Sleeping 2 seconds
[startup+3611.62 s]
# the end of solver process 23276 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.85 s, system=35.269 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
Child status: 2
Real time (s): 3611.62
CPU time (s): 3600.12
CPU user time (s): 3564.85
CPU system time (s): 35.269
CPU usage (%): 99.6816
Max. virtual memory (cumulated for all children) (KiB): 1202096
Max. memory (cumulated for all children) (KiB): 1106372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.85
system time used= 35.269
maximum resident set size= 1103812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143200
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= 276
involuntary context switches= 21609
# summary of solver processes directly reported to runsolver:
# pid: 23274,23276
# total CPU time (s): 3600.12
# total CPU user time (s): 3564.85
# total CPU system time (s): 35.269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4409 second user time and 39.8801 second system time
The end
Begin job on nodeC011 at 2025-06-29 09:58:58
IDJOB=4507192
IDBENCH=158329
IDSOLVER=3349
FILE ID=nodeC011/4507192-1751183938
RUNJOBID= nodeC011-1751180326-22851
SLURM_JOB_ID= 9587547
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507192-1751183938/watcher-4507192-1751183938 -o /tmp/evaluation-result-4507192-1751183938/solver-4507192-1751183938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22851 --watchdog 3760 run-dec.sh HOME/instance-4507192-1751183938.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20
RANDOM SEED=919027600
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.268
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 : 6984.20
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 : 1396.981
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 : 6984.20
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.306
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.845
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 : 6984.20
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 : 1197.352
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 : 6984.20
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.313
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 : 6984.20
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.289
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 : 6984.20
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.297
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130251584 kB
MemAvailable: 129916796 kB
Buffers: 3280 kB
Cached: 476508 kB
SwapCached: 0 kB
Active: 392892 kB
Inactive: 228700 kB
Active(anon): 159764 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 228700 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35408 kB
Writeback: 4 kB
AnonPages: 144956 kB
Mapped: 110500 kB
Shmem: 17960 kB
KReclaimable: 85636 kB
Slab: 165400 kB
SReclaimable: 85636 kB
SUnreclaim: 79764 kB
KernelStack: 4032 kB
PageTables: 3176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 472500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 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: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC011 at 2025-06-29 10:59:10