0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.17 c #variables 21658 #constraints 22024
115.76/116.17 c #Conflicts: 1000 | #Constraints: 23023
115.76/116.17 c #Conflicts: 2000 | #Constraints: 24023
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 3000 | #Constraints: 23375
115.76/116.17 c #Conflicts: 4000 | #Constraints: 24375
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 5000 | #Constraints: 23892
115.76/116.17 c #Conflicts: 6000 | #Constraints: 24892
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 7000 | #Constraints: 23967
115.76/116.17 c #Conflicts: 8000 | #Constraints: 24967
115.76/116.17 c #Conflicts: 9000 | #Constraints: 25967
115.76/116.17 c #Conflicts: 10000 | #Constraints: 26967
115.76/116.17 c #Conflicts: 11000 | #Constraints: 27967
115.76/116.17 c #Conflicts: 12000 | #Constraints: 28967
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 13000 | #Constraints: 26025
115.76/116.17 c #Conflicts: 14000 | #Constraints: 27025
115.76/116.17 c #Conflicts: 15000 | #Constraints: 28025
115.76/116.17 c #Conflicts: 16000 | #Constraints: 29025
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 17000 | #Constraints: 26538
115.76/116.17 c #Conflicts: 18000 | #Constraints: 27538
115.76/116.17 c #Conflicts: 19000 | #Constraints: 28538
115.76/116.17 c #Conflicts: 20000 | #Constraints: 29538
115.76/116.17 c #Conflicts: 21000 | #Constraints: 30538
115.76/116.17 c #Conflicts: 22000 | #Constraints: 31538
115.76/116.17 c #Conflicts: 23000 | #Constraints: 32538
115.76/116.17 c #Conflicts: 24000 | #Constraints: 33538
115.76/116.17 c #Conflicts: 25000 | #Constraints: 34538
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 26000 | #Constraints: 28975
115.76/116.17 c #Conflicts: 27000 | #Constraints: 29975
115.76/116.17 c #Conflicts: 28000 | #Constraints: 30975
115.76/116.17 c #Conflicts: 29000 | #Constraints: 31975
115.76/116.17 c #Conflicts: 30000 | #Constraints: 32975
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 31000 | #Constraints: 28902
115.76/116.17 c #Conflicts: 32000 | #Constraints: 29902
115.76/116.17 c #Conflicts: 33000 | #Constraints: 30902
115.76/116.17 c #Conflicts: 34000 | #Constraints: 31902
115.76/116.17 c #Conflicts: 35000 | #Constraints: 32902
115.76/116.17 c #Conflicts: 36000 | #Constraints: 33902
115.76/116.17 c #Conflicts: 37000 | #Constraints: 34902
115.76/116.17 c #Conflicts: 38000 | #Constraints: 35902
115.76/116.17 c #Conflicts: 39000 | #Constraints: 36902
115.76/116.17 c #Conflicts: 40000 | #Constraints: 37902
115.76/116.17 c #Conflicts: 41000 | #Constraints: 38902
115.76/116.17 c #Conflicts: 42000 | #Constraints: 39902
115.76/116.17 c #Conflicts: 43000 | #Constraints: 40902
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 44000 | #Constraints: 32525
115.76/116.17 c #Conflicts: 45000 | #Constraints: 33525
115.76/116.17 c #Conflicts: 46000 | #Constraints: 34525
115.76/116.17 c #Conflicts: 47000 | #Constraints: 35525
115.76/116.17 c #Conflicts: 48000 | #Constraints: 36525
115.76/116.17 c #Conflicts: 49000 | #Constraints: 37525
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 50000 | #Constraints: 32112
115.76/116.17 c #Conflicts: 51000 | #Constraints: 33112
115.76/116.17 c #Conflicts: 52000 | #Constraints: 34112
115.76/116.17 c #Conflicts: 53000 | #Constraints: 35112
115.76/116.17 c #Conflicts: 54000 | #Constraints: 36112
115.76/116.17 c #Conflicts: 55000 | #Constraints: 37112
115.76/116.17 c #Conflicts: 56000 | #Constraints: 38112
115.76/116.17 c #Conflicts: 57000 | #Constraints: 39112
115.76/116.17 c #Conflicts: 58000 | #Constraints: 40112
115.76/116.17 c #Conflicts: 59000 | #Constraints: 41112
115.76/116.17 c #Conflicts: 60000 | #Constraints: 42112
115.76/116.17 c #Conflicts: 61000 | #Constraints: 43112
115.76/116.17 c #Conflicts: 62000 | #Constraints: 44112
115.76/116.17 c #Conflicts: 63000 | #Constraints: 45112
115.76/116.17 c #Conflicts: 64000 | #Constraints: 46112
115.76/116.17 c #Conflicts: 65000 | #Constraints: 47112
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
115.76/116.17 c #Conflicts: 66000 | #Constraints: 35936
115.76/116.17 c #Conflicts: 67000 | #Constraints: 36936
115.76/116.17 c #Conflicts: 68000 | #Constraints: 37936
115.76/116.17 c #Conflicts: 69000 | #Constraints: 38936
115.76/116.17 c #Conflicts: 70000 | #Constraints: 39936
115.76/116.17 c #Conflicts: 71000 | #Constraints: 40936
115.76/116.17 c #Conflicts: 72000 | #Constraints: 41936
115.76/116.17 c INPROCESSING
115.76/116.17 c GARBAGE COLLECT
245.21/245.97 c #Conflicts: 73000 | #Constraints: 34907
245.21/245.97 c #Conflicts: 74000 | #Constraints: 35907
245.21/245.97 c #Conflicts: 75000 | #Constraints: 36907
245.21/245.97 c #Conflicts: 76000 | #Constraints: 37907
245.21/245.97 c #Conflicts: 77000 | #Constraints: 38907
245.21/245.97 c #Conflicts: 78000 | #Constraints: 39907
245.21/245.97 c #Conflicts: 79000 | #Constraints: 40907
245.21/245.97 c #Conflicts: 80000 | #Constraints: 41907
245.21/245.97 c #Conflicts: 81000 | #Constraints: 42907
245.21/245.97 c #Conflicts: 82000 | #Constraints: 43907
245.21/245.97 c #Conflicts: 83000 | #Constraints: 44907
245.21/245.97 c #Conflicts: 84000 | #Constraints: 45907
245.21/245.97 c #Conflicts: 85000 | #Constraints: 46907
245.21/245.97 c #Conflicts: 86000 | #Constraints: 47907
245.21/245.97 c #Conflicts: 87000 | #Constraints: 48907
245.21/245.97 c #Conflicts: 88000 | #Constraints: 49907
245.21/245.97 c #Conflicts: 89000 | #Constraints: 50907
245.21/245.97 c #Conflicts: 90000 | #Constraints: 51907
245.21/245.97 c #Conflicts: 91000 | #Constraints: 52907
245.21/245.97 c INPROCESSING
245.21/245.97 c GARBAGE COLLECT
245.21/245.97 c #Conflicts: 92000 | #Constraints: 38818
245.21/245.97 c #Conflicts: 93000 | #Constraints: 39818
245.21/245.97 c #Conflicts: 94000 | #Constraints: 40818
245.21/245.97 c #Conflicts: 95000 | #Constraints: 41818
245.21/245.97 c #Conflicts: 96000 | #Constraints: 42818
245.21/245.97 c #Conflicts: 97000 | #Constraints: 43818
245.21/245.97 c #Conflicts: 98000 | #Constraints: 44818
245.21/245.97 c #Conflicts: 99000 | #Constraints: 45818
245.21/245.97 c #Conflicts: 100000 | #Constraints: 46818
245.21/245.97 c INPROCESSING
245.21/245.97 c GARBAGE COLLECT
245.21/245.97 c #Conflicts: 101000 | #Constraints: 38347
245.21/245.97 c #Conflicts: 102000 | #Constraints: 39347
245.21/245.97 c #Conflicts: 103000 | #Constraints: 40347
245.21/245.97 c #Conflicts: 104000 | #Constraints: 41347
245.21/245.97 c #Conflicts: 105000 | #Constraints: 42347
245.21/245.97 c #Conflicts: 106000 | #Constraints: 43347
245.21/245.97 c #Conflicts: 107000 | #Constraints: 44347
245.21/245.97 c #Conflicts: 108000 | #Constraints: 45347
245.21/245.97 c #Conflicts: 109000 | #Constraints: 46347
245.21/245.97 c #Conflicts: 110000 | #Constraints: 47347
245.21/245.97 c #Conflicts: 111000 | #Constraints: 48347
245.21/245.97 c #Conflicts: 112000 | #Constraints: 49347
245.21/245.97 c #Conflicts: 113000 | #Constraints: 50347
245.21/245.97 c #Conflicts: 114000 | #Constraints: 51347
245.21/245.97 c #Conflicts: 115000 | #Constraints: 52347
245.21/245.97 c #Conflicts: 116000 | #Constraints: 53347
245.21/245.97 c #Conflicts: 117000 | #Constraints: 54347
245.21/245.97 c #Conflicts: 118000 | #Constraints: 55347
245.21/245.97 c #Conflicts: 119000 | #Constraints: 56347
245.21/245.97 c #Conflicts: 120000 | #Constraints: 57347
245.21/245.97 c #Conflicts: 121000 | #Constraints: 58347
245.21/245.97 c INPROCESSING
245.21/245.97 c GARBAGE COLLECT
245.21/245.97 c #Conflicts: 122000 | #Constraints: 41448
245.21/245.97 c #Conflicts: 123000 | #Constraints: 42448
245.21/245.97 c #Conflicts: 124000 | #Constraints: 43448
245.21/245.97 c #Conflicts: 125000 | #Constraints: 44448
245.21/245.97 c #Conflicts: 126000 | #Constraints: 45448
245.21/245.97 c #Conflicts: 127000 | #Constraints: 46448
245.21/245.97 c #Conflicts: 128000 | #Constraints: 47448
245.21/245.97 c #Conflicts: 129000 | #Constraints: 48448
245.21/245.97 c #Conflicts: 130000 | #Constraints: 49448
245.21/245.97 c #Conflicts: 131000 | #Constraints: 50448
245.21/245.97 c #Conflicts: 132000 | #Constraints: 51448
245.21/245.97 c INPROCESSING
245.21/245.97 c GARBAGE COLLECT
245.21/245.97 c #Conflicts: 133000 | #Constraints: 42050
245.21/245.97 c #Conflicts: 134000 | #Constraints: 43050
245.21/245.97 c #Conflicts: 135000 | #Constraints: 44050
245.21/245.97 c #Conflicts: 136000 | #Constraints: 45050
245.21/245.97 c #Conflicts: 137000 | #Constraints: 46050
245.21/245.97 c #Conflicts: 138000 | #Constraints: 47050
245.21/245.97 c #Conflicts: 139000 | #Constraints: 48050
245.21/245.97 c #Conflicts: 140000 | #Constraints: 49050
245.21/245.97 c #Conflicts: 141000 | #Constraints: 50050
245.21/245.97 c #Conflicts: 142000 | #Constraints: 51050
245.21/245.97 c #Conflicts: 143000 | #Constraints: 52050
245.21/245.97 c #Conflicts: 144000 | #Constraints: 53050
245.21/245.97 c #Conflicts: 145000 | #Constraints: 54050
245.21/245.97 c #Conflicts: 146000 | #Constraints: 55050
245.21/245.97 c #Conflicts: 147000 | #Constraints: 56050
245.21/245.97 c #Conflicts: 148000 | #Constraints: 57050
245.21/245.97 c #Conflicts: 149000 | #Constraints: 58050
366.79/367.82 c #Conflicts: 150000 | #Constraints: 59050
366.79/367.82 c #Conflicts: 151000 | #Constraints: 60050
366.79/367.82 c #Conflicts: 152000 | #Constraints: 61050
366.79/367.82 c #Conflicts: 153000 | #Constraints: 62050
366.79/367.82 c #Conflicts: 154000 | #Constraints: 63050
366.79/367.82 c #Conflicts: 155000 | #Constraints: 64050
366.79/367.82 c #Conflicts: 156000 | #Constraints: 65050
366.79/367.82 c INPROCESSING
366.79/367.82 c GARBAGE COLLECT
366.79/367.82 c #Conflicts: 157000 | #Constraints: 44671
366.79/367.82 c #Conflicts: 158000 | #Constraints: 45671
366.79/367.82 c #Conflicts: 159000 | #Constraints: 46671
366.79/367.82 c #Conflicts: 160000 | #Constraints: 47671
366.79/367.82 c #Conflicts: 161000 | #Constraints: 48671
366.79/367.82 c #Conflicts: 162000 | #Constraints: 49671
366.79/367.82 c #Conflicts: 163000 | #Constraints: 50671
366.79/367.82 c #Conflicts: 164000 | #Constraints: 51671
366.79/367.82 c #Conflicts: 165000 | #Constraints: 52671
366.79/367.82 c #Conflicts: 166000 | #Constraints: 53671
366.79/367.82 c #Conflicts: 167000 | #Constraints: 54671
366.79/367.82 c #Conflicts: 168000 | #Constraints: 55671
366.79/367.82 c INPROCESSING
366.79/367.82 c GARBAGE COLLECT
366.79/367.82 c #Conflicts: 169000 | #Constraints: 44816
366.79/367.82 c #Conflicts: 170000 | #Constraints: 45816
366.79/367.82 c #Conflicts: 171000 | #Constraints: 46816
366.79/367.82 c #Conflicts: 172000 | #Constraints: 47816
366.79/367.82 c #Conflicts: 173000 | #Constraints: 48816
366.79/367.82 c #Conflicts: 174000 | #Constraints: 49816
366.79/367.82 c #Conflicts: 175000 | #Constraints: 50816
366.79/367.82 c #Conflicts: 176000 | #Constraints: 51816
366.79/367.82 c #Conflicts: 177000 | #Constraints: 52816
366.79/367.82 c #Conflicts: 178000 | #Constraints: 53816
366.79/367.82 c #Conflicts: 179000 | #Constraints: 54816
366.79/367.82 c #Conflicts: 180000 | #Constraints: 55816
366.79/367.82 c #Conflicts: 181000 | #Constraints: 56816
366.79/367.82 c #Conflicts: 182000 | #Constraints: 57816
366.79/367.82 c #Conflicts: 183000 | #Constraints: 58816
366.79/367.82 c #Conflicts: 184000 | #Constraints: 59816
366.79/367.82 c #Conflicts: 185000 | #Constraints: 60816
366.79/367.82 c #Conflicts: 186000 | #Constraints: 61816
366.79/367.82 c #Conflicts: 187000 | #Constraints: 62816
366.79/367.82 c #Conflicts: 188000 | #Constraints: 63816
366.79/367.82 c #Conflicts: 189000 | #Constraints: 64816
366.79/367.82 c #Conflicts: 190000 | #Constraints: 65816
366.79/367.82 c #Conflicts: 191000 | #Constraints: 66816
366.79/367.82 c #Conflicts: 192000 | #Constraints: 67816
366.79/367.82 c #Conflicts: 193000 | #Constraints: 68816
366.79/367.82 c #Conflicts: 194000 | #Constraints: 69816
366.79/367.82 c #Conflicts: 195000 | #Constraints: 70816
366.79/367.82 c #Conflicts: 196000 | #Constraints: 71816
366.79/367.82 c INPROCESSING
366.79/367.82 c GARBAGE COLLECT
366.79/367.82 c #Conflicts: 197000 | #Constraints: 48696
366.79/367.82 c #Conflicts: 198000 | #Constraints: 49696
366.79/367.82 c #Conflicts: 199000 | #Constraints: 50696
366.79/367.82 c #Conflicts: 200000 | #Constraints: 51696
366.79/367.82 c #Conflicts: 201000 | #Constraints: 52696
366.79/367.82 c #Conflicts: 202000 | #Constraints: 53696
366.79/367.82 c #Conflicts: 203000 | #Constraints: 54696
366.79/367.82 c #Conflicts: 204000 | #Constraints: 55696
366.79/367.82 c #Conflicts: 205000 | #Constraints: 56696
366.79/367.82 c #Conflicts: 206000 | #Constraints: 57696
366.79/367.82 c #Conflicts: 207000 | #Constraints: 58696
366.79/367.82 c #Conflicts: 208000 | #Constraints: 59696
366.79/367.82 c #Conflicts: 209000 | #Constraints: 60696
366.79/367.82 c INPROCESSING
366.79/367.82 c GARBAGE COLLECT
366.79/367.82 c #Conflicts: 210000 | #Constraints: 48267
366.79/367.82 c #Conflicts: 211000 | #Constraints: 49267
366.79/367.82 c #Conflicts: 212000 | #Constraints: 50267
366.79/367.82 c #Conflicts: 213000 | #Constraints: 51267
366.79/367.82 c #Conflicts: 214000 | #Constraints: 52267
366.79/367.82 c #Conflicts: 215000 | #Constraints: 53267
366.79/367.82 c #Conflicts: 216000 | #Constraints: 54267
366.79/367.82 c #Conflicts: 217000 | #Constraints: 55267
366.79/367.82 c #Conflicts: 218000 | #Constraints: 56267
366.79/367.82 c #Conflicts: 219000 | #Constraints: 57267
366.79/367.82 c #Conflicts: 220000 | #Constraints: 58267
366.79/367.82 c #Conflicts: 221000 | #Constraints: 59267
366.79/367.82 c #Conflicts: 222000 | #Constraints: 60267
366.79/367.82 c #Conflicts: 223000 | #Constraints: 61267
366.79/367.82 c #Conflicts: 224000 | #Constraints: 62267
366.79/367.82 c #Conflicts: 225000 | #Constraints: 63267
592.78/594.47 c #Conflicts: 226000 | #Constraints: 64267
592.78/594.47 c #Conflicts: 227000 | #Constraints: 65267
592.78/594.47 c #Conflicts: 228000 | #Constraints: 66267
592.78/594.47 c #Conflicts: 229000 | #Constraints: 67267
592.78/594.47 c #Conflicts: 230000 | #Constraints: 68267
592.78/594.47 c #Conflicts: 231000 | #Constraints: 69267
592.78/594.47 c #Conflicts: 232000 | #Constraints: 70267
592.78/594.47 c #Conflicts: 233000 | #Constraints: 71267
592.78/594.47 c #Conflicts: 234000 | #Constraints: 72267
592.78/594.47 c #Conflicts: 235000 | #Constraints: 73267
592.78/594.47 c #Conflicts: 236000 | #Constraints: 74267
592.78/594.47 c #Conflicts: 237000 | #Constraints: 75267
592.78/594.47 c #Conflicts: 238000 | #Constraints: 76267
592.78/594.47 c #Conflicts: 239000 | #Constraints: 77267
592.78/594.47 c #Conflicts: 240000 | #Constraints: 78267
592.78/594.47 c INPROCESSING
592.78/594.47 c GARBAGE COLLECT
592.78/594.47 c #Conflicts: 241000 | #Constraints: 52067
592.78/594.47 c #Conflicts: 242000 | #Constraints: 53067
592.78/594.47 c #Conflicts: 243000 | #Constraints: 54067
592.78/594.47 c #Conflicts: 244000 | #Constraints: 55067
592.78/594.47 c #Conflicts: 245000 | #Constraints: 56067
592.78/594.47 c #Conflicts: 246000 | #Constraints: 57067
592.78/594.47 c #Conflicts: 247000 | #Constraints: 58067
592.78/594.47 c #Conflicts: 248000 | #Constraints: 59067
592.78/594.47 c #Conflicts: 249000 | #Constraints: 60067
592.78/594.47 c #Conflicts: 250000 | #Constraints: 61067
592.78/594.47 c #Conflicts: 251000 | #Constraints: 62067
592.78/594.47 c #Conflicts: 252000 | #Constraints: 63067
592.78/594.47 c #Conflicts: 253000 | #Constraints: 64067
592.78/594.47 c #Conflicts: 254000 | #Constraints: 65067
592.78/594.47 c INPROCESSING
592.78/594.47 c GARBAGE COLLECT
592.78/594.47 c #Conflicts: 255000 | #Constraints: 50824
592.78/594.47 c #Conflicts: 256000 | #Constraints: 51824
592.78/594.47 c #Conflicts: 257000 | #Constraints: 52824
592.78/594.47 c #Conflicts: 258000 | #Constraints: 53824
592.78/594.47 c #Conflicts: 259000 | #Constraints: 54824
592.78/594.47 c #Conflicts: 260000 | #Constraints: 55824
592.78/594.47 c #Conflicts: 261000 | #Constraints: 56824
592.78/594.47 c #Conflicts: 262000 | #Constraints: 57824
592.78/594.47 c #Conflicts: 263000 | #Constraints: 58824
592.78/594.47 c #Conflicts: 264000 | #Constraints: 59824
592.78/594.47 c #Conflicts: 265000 | #Constraints: 60824
592.78/594.47 c #Conflicts: 266000 | #Constraints: 61824
592.78/594.47 c #Conflicts: 267000 | #Constraints: 62824
592.78/594.47 c #Conflicts: 268000 | #Constraints: 63824
592.78/594.47 c #Conflicts: 269000 | #Constraints: 64824
592.78/594.47 c #Conflicts: 270000 | #Constraints: 65824
592.78/594.47 c #Conflicts: 271000 | #Constraints: 66824
592.78/594.47 c #Conflicts: 272000 | #Constraints: 67824
592.78/594.47 c #Conflicts: 273000 | #Constraints: 68824
592.78/594.47 c #Conflicts: 274000 | #Constraints: 69824
592.78/594.47 c #Conflicts: 275000 | #Constraints: 70824
592.78/594.47 c #Conflicts: 276000 | #Constraints: 71824
592.78/594.47 c #Conflicts: 277000 | #Constraints: 72824
592.78/594.47 c #Conflicts: 278000 | #Constraints: 73824
592.78/594.47 c #Conflicts: 279000 | #Constraints: 74824
592.78/594.47 c #Conflicts: 280000 | #Constraints: 75824
592.78/594.47 c #Conflicts: 281000 | #Constraints: 76824
592.78/594.47 c #Conflicts: 282000 | #Constraints: 77824
592.78/594.47 c #Conflicts: 283000 | #Constraints: 78824
592.78/594.47 c #Conflicts: 284000 | #Constraints: 79824
592.78/594.47 c #Conflicts: 285000 | #Constraints: 80824
592.78/594.47 c #Conflicts: 286000 | #Constraints: 81824
592.78/594.47 c #Conflicts: 287000 | #Constraints: 82824
592.78/594.47 c #Conflicts: 288000 | #Constraints: 83824
592.78/594.47 c INPROCESSING
592.78/594.47 c GARBAGE COLLECT
592.78/594.47 c #Conflicts: 289000 | #Constraints: 54668
592.78/594.47 c #Conflicts: 290000 | #Constraints: 55668
592.78/594.47 c #Conflicts: 291000 | #Constraints: 56668
592.78/594.47 c #Conflicts: 292000 | #Constraints: 57668
592.78/594.47 c #Conflicts: 293000 | #Constraints: 58668
592.78/594.47 c #Conflicts: 294000 | #Constraints: 59668
592.78/594.47 c #Conflicts: 295000 | #Constraints: 60668
592.78/594.47 c #Conflicts: 296000 | #Constraints: 61668
592.78/594.47 c #Conflicts: 297000 | #Constraints: 62668
592.78/594.47 c #Conflicts: 298000 | #Constraints: 63668
592.78/594.47 c #Conflicts: 299000 | #Constraints: 64668
592.78/594.47 c #Conflicts: 300000 | #Constraints: 65668
592.78/594.47 c #Conflicts: 301000 | #Constraints: 66668
592.78/594.47 c #Conflicts: 302000 | #Constraints: 67668
760.41/762.53 c #Conflicts: 303000 | #Constraints: 68668
760.41/762.53 c INPROCESSING
760.41/762.53 c GARBAGE COLLECT
760.41/762.53 c #Conflicts: 304000 | #Constraints: 53849
760.41/762.53 c #Conflicts: 305000 | #Constraints: 54849
760.41/762.53 c #Conflicts: 306000 | #Constraints: 55849
760.41/762.53 c #Conflicts: 307000 | #Constraints: 56849
760.41/762.53 c #Conflicts: 308000 | #Constraints: 57849
760.41/762.53 c #Conflicts: 309000 | #Constraints: 58849
760.41/762.53 c #Conflicts: 310000 | #Constraints: 59849
760.41/762.53 c #Conflicts: 311000 | #Constraints: 60849
760.41/762.53 c #Conflicts: 312000 | #Constraints: 61849
760.41/762.53 c #Conflicts: 313000 | #Constraints: 62849
760.41/762.53 c #Conflicts: 314000 | #Constraints: 63849
760.41/762.53 c #Conflicts: 315000 | #Constraints: 64849
760.41/762.53 c #Conflicts: 316000 | #Constraints: 65849
760.41/762.53 c #Conflicts: 317000 | #Constraints: 66849
760.41/762.53 c #Conflicts: 318000 | #Constraints: 67849
760.41/762.53 c #Conflicts: 319000 | #Constraints: 68849
760.41/762.53 c #Conflicts: 320000 | #Constraints: 69849
760.41/762.53 c #Conflicts: 321000 | #Constraints: 70849
760.41/762.53 c #Conflicts: 322000 | #Constraints: 71849
760.41/762.53 c #Conflicts: 323000 | #Constraints: 72849
760.41/762.53 c #Conflicts: 324000 | #Constraints: 73849
760.41/762.53 c #Conflicts: 325000 | #Constraints: 74849
760.41/762.53 c #Conflicts: 326000 | #Constraints: 75849
760.41/762.53 c #Conflicts: 327000 | #Constraints: 76849
760.41/762.53 c #Conflicts: 328000 | #Constraints: 77849
760.41/762.53 c #Conflicts: 329000 | #Constraints: 78849
760.41/762.53 c #Conflicts: 330000 | #Constraints: 79849
760.41/762.53 c #Conflicts: 331000 | #Constraints: 80849
760.41/762.53 c #Conflicts: 332000 | #Constraints: 81849
760.41/762.53 c #Conflicts: 333000 | #Constraints: 82849
760.41/762.53 c #Conflicts: 334000 | #Constraints: 83849
760.41/762.53 c #Conflicts: 335000 | #Constraints: 84849
760.41/762.53 c #Conflicts: 336000 | #Constraints: 85849
760.41/762.53 c #Conflicts: 337000 | #Constraints: 86849
760.41/762.53 c #Conflicts: 338000 | #Constraints: 87849
760.41/762.53 c #Conflicts: 339000 | #Constraints: 88849
760.41/762.53 c #Conflicts: 340000 | #Constraints: 89849
760.41/762.53 c INPROCESSING
760.41/762.53 c GARBAGE COLLECT
760.41/762.53 c #Conflicts: 341000 | #Constraints: 57417
760.41/762.53 c #Conflicts: 342000 | #Constraints: 58417
760.41/762.53 c #Conflicts: 343000 | #Constraints: 59417
760.41/762.53 c #Conflicts: 344000 | #Constraints: 60417
760.41/762.53 c #Conflicts: 345000 | #Constraints: 61417
760.41/762.53 c #Conflicts: 346000 | #Constraints: 62417
760.41/762.53 c #Conflicts: 347000 | #Constraints: 63417
760.41/762.53 c #Conflicts: 348000 | #Constraints: 64417
760.41/762.53 c #Conflicts: 349000 | #Constraints: 65417
760.41/762.53 c #Conflicts: 350000 | #Constraints: 66417
760.41/762.53 c #Conflicts: 351000 | #Constraints: 67417
760.41/762.53 c #Conflicts: 352000 | #Constraints: 68417
760.41/762.53 c #Conflicts: 353000 | #Constraints: 69417
760.41/762.53 c #Conflicts: 354000 | #Constraints: 70417
760.41/762.53 c #Conflicts: 355000 | #Constraints: 71417
760.41/762.53 c #Conflicts: 356000 | #Constraints: 72417
760.41/762.53 c #Conflicts: 357000 | #Constraints: 73417
760.41/762.53 c INPROCESSING
760.41/762.53 c GARBAGE COLLECT
760.41/762.53 c #Conflicts: 358000 | #Constraints: 56974
760.41/762.53 c #Conflicts: 359000 | #Constraints: 57974
760.41/762.53 c #Conflicts: 360000 | #Constraints: 58974
760.41/762.53 c #Conflicts: 361000 | #Constraints: 59974
760.41/762.53 c #Conflicts: 362000 | #Constraints: 60974
760.41/762.53 c #Conflicts: 363000 | #Constraints: 61974
760.41/762.53 c #Conflicts: 364000 | #Constraints: 62974
760.41/762.53 c #Conflicts: 365000 | #Constraints: 63974
760.41/762.53 c #Conflicts: 366000 | #Constraints: 64974
760.41/762.53 c #Conflicts: 367000 | #Constraints: 65974
760.41/762.53 c #Conflicts: 368000 | #Constraints: 66974
760.41/762.53 c #Conflicts: 369000 | #Constraints: 67974
760.41/762.53 c #Conflicts: 370000 | #Constraints: 68974
760.41/762.53 c #Conflicts: 371000 | #Constraints: 69974
760.41/762.53 c #Conflicts: 372000 | #Constraints: 70974
760.41/762.53 c #Conflicts: 373000 | #Constraints: 71974
760.41/762.53 c #Conflicts: 374000 | #Constraints: 72974
760.41/762.53 c #Conflicts: 375000 | #Constraints: 73974
760.41/762.53 c #Conflicts: 376000 | #Constraints: 74974
760.41/762.53 c #Conflicts: 377000 | #Constraints: 75974
760.41/762.53 c #Conflicts: 378000 | #Constraints: 76974
940.00/942.61 c #Conflicts: 379000 | #Constraints: 77974
940.00/942.61 c #Conflicts: 380000 | #Constraints: 78974
940.00/942.61 c #Conflicts: 381000 | #Constraints: 79974
940.00/942.61 c #Conflicts: 382000 | #Constraints: 80974
940.00/942.61 c #Conflicts: 383000 | #Constraints: 81974
940.00/942.61 c #Conflicts: 384000 | #Constraints: 82974
940.00/942.61 c #Conflicts: 385000 | #Constraints: 83974
940.00/942.61 c #Conflicts: 386000 | #Constraints: 84974
940.00/942.61 c #Conflicts: 387000 | #Constraints: 85974
940.00/942.61 c #Conflicts: 388000 | #Constraints: 86974
940.00/942.61 c #Conflicts: 389000 | #Constraints: 87974
940.00/942.61 c #Conflicts: 390000 | #Constraints: 88974
940.00/942.61 c #Conflicts: 391000 | #Constraints: 89974
940.00/942.61 c #Conflicts: 392000 | #Constraints: 90974
940.00/942.61 c #Conflicts: 393000 | #Constraints: 91974
940.00/942.61 c #Conflicts: 394000 | #Constraints: 92974
940.00/942.61 c #Conflicts: 395000 | #Constraints: 93974
940.00/942.61 c #Conflicts: 396000 | #Constraints: 94974
940.00/942.61 c #Conflicts: 397000 | #Constraints: 95974
940.00/942.61 c INPROCESSING
940.00/942.61 c GARBAGE COLLECT
940.00/942.61 c #Conflicts: 398000 | #Constraints: 60886
940.00/942.61 c #Conflicts: 399000 | #Constraints: 61886
940.00/942.61 c #Conflicts: 400000 | #Constraints: 62886
940.00/942.61 c #Conflicts: 401000 | #Constraints: 63886
940.00/942.61 c #Conflicts: 402000 | #Constraints: 64886
940.00/942.61 c #Conflicts: 403000 | #Constraints: 65886
940.00/942.61 c #Conflicts: 404000 | #Constraints: 66886
940.00/942.61 c #Conflicts: 405000 | #Constraints: 67886
940.00/942.61 c #Conflicts: 406000 | #Constraints: 68886
940.00/942.61 c #Conflicts: 407000 | #Constraints: 69886
940.00/942.61 c #Conflicts: 408000 | #Constraints: 70886
940.00/942.61 c #Conflicts: 409000 | #Constraints: 71886
940.00/942.61 c #Conflicts: 410000 | #Constraints: 72886
940.00/942.61 c #Conflicts: 411000 | #Constraints: 73886
940.00/942.61 c #Conflicts: 412000 | #Constraints: 74886
940.00/942.61 c #Conflicts: 413000 | #Constraints: 75886
940.00/942.61 c #Conflicts: 414000 | #Constraints: 76886
940.00/942.61 c #Conflicts: 415000 | #Constraints: 77886
940.00/942.61 c INPROCESSING
940.00/942.61 c GARBAGE COLLECT
940.00/942.61 c #Conflicts: 416000 | #Constraints: 59639
940.00/942.61 c #Conflicts: 417000 | #Constraints: 60639
940.00/942.61 c #Conflicts: 418000 | #Constraints: 61639
940.00/942.61 c #Conflicts: 419000 | #Constraints: 62639
940.00/942.61 c #Conflicts: 420000 | #Constraints: 63639
940.00/942.61 c #Conflicts: 421000 | #Constraints: 64639
940.00/942.61 c #Conflicts: 422000 | #Constraints: 65639
940.00/942.61 c #Conflicts: 423000 | #Constraints: 66639
940.00/942.61 c #Conflicts: 424000 | #Constraints: 67639
940.00/942.61 c #Conflicts: 425000 | #Constraints: 68639
940.00/942.61 c #Conflicts: 426000 | #Constraints: 69639
940.00/942.61 c #Conflicts: 427000 | #Constraints: 70639
940.00/942.61 c #Conflicts: 428000 | #Constraints: 71639
940.00/942.61 c #Conflicts: 429000 | #Constraints: 72639
940.00/942.61 c #Conflicts: 430000 | #Constraints: 73639
940.00/942.61 c #Conflicts: 431000 | #Constraints: 74639
940.00/942.61 c #Conflicts: 432000 | #Constraints: 75639
940.00/942.61 c #Conflicts: 433000 | #Constraints: 76639
940.00/942.61 c #Conflicts: 434000 | #Constraints: 77639
940.00/942.61 c #Conflicts: 435000 | #Constraints: 78639
940.00/942.61 c #Conflicts: 436000 | #Constraints: 79639
940.00/942.61 c #Conflicts: 437000 | #Constraints: 80639
940.00/942.61 c #Conflicts: 438000 | #Constraints: 81639
940.00/942.61 c #Conflicts: 439000 | #Constraints: 82639
940.00/942.61 c #Conflicts: 440000 | #Constraints: 83639
940.00/942.61 c #Conflicts: 441000 | #Constraints: 84639
940.00/942.61 c #Conflicts: 442000 | #Constraints: 85639
940.00/942.61 c #Conflicts: 443000 | #Constraints: 86639
940.00/942.61 c #Conflicts: 444000 | #Constraints: 87639
940.00/942.61 c #Conflicts: 445000 | #Constraints: 88639
940.00/942.61 c #Conflicts: 446000 | #Constraints: 89639
940.00/942.61 c #Conflicts: 447000 | #Constraints: 90639
940.00/942.61 c #Conflicts: 448000 | #Constraints: 91639
940.00/942.61 c #Conflicts: 449000 | #Constraints: 92639
940.00/942.61 c #Conflicts: 450000 | #Constraints: 93639
940.00/942.61 c #Conflicts: 451000 | #Constraints: 94639
940.00/942.61 c #Conflicts: 452000 | #Constraints: 95639
940.00/942.61 c #Conflicts: 453000 | #Constraints: 96639
940.00/942.61 c #Conflicts: 454000 | #Constraints: 97639
940.00/942.61 c #Conflicts: 455000 | #Constraints: 98639
940.00/942.61 c #Conflicts: 456000 | #Constraints: 99639
1172.52/1175.83 c #Conflicts: 457000 | #Constraints: 100639
1172.52/1175.83 c #Conflicts: 458000 | #Constraints: 101639
1172.52/1175.83 c #Conflicts: 459000 | #Constraints: 102639
1172.52/1175.83 c INPROCESSING
1172.52/1175.83 c GARBAGE COLLECT
1172.52/1175.83 c #Conflicts: 460000 | #Constraints: 64249
1172.52/1175.83 c #Conflicts: 461000 | #Constraints: 65249
1172.52/1175.83 c #Conflicts: 462000 | #Constraints: 66249
1172.52/1175.83 c #Conflicts: 463000 | #Constraints: 67249
1172.52/1175.83 c #Conflicts: 464000 | #Constraints: 68249
1172.52/1175.83 c #Conflicts: 465000 | #Constraints: 69249
1172.52/1175.83 c #Conflicts: 466000 | #Constraints: 70249
1172.52/1175.83 c #Conflicts: 467000 | #Constraints: 71249
1172.52/1175.83 c #Conflicts: 468000 | #Constraints: 72249
1172.52/1175.83 c #Conflicts: 469000 | #Constraints: 73249
1172.52/1175.83 c #Conflicts: 470000 | #Constraints: 74249
1172.52/1175.83 c #Conflicts: 471000 | #Constraints: 75249
1172.52/1175.83 c #Conflicts: 472000 | #Constraints: 76250
1172.52/1175.83 c #Conflicts: 473000 | #Constraints: 77250
1172.52/1175.83 c #Conflicts: 474000 | #Constraints: 78250
1172.52/1175.83 c #Conflicts: 475000 | #Constraints: 79250
1172.52/1175.83 c #Conflicts: 476000 | #Constraints: 80250
1172.52/1175.83 c #Conflicts: 477000 | #Constraints: 81250
1172.52/1175.83 c #Conflicts: 478000 | #Constraints: 82250
1172.52/1175.83 c INPROCESSING
1172.52/1175.83 c GARBAGE COLLECT
1172.52/1175.83 c #Conflicts: 479000 | #Constraints: 62511
1172.52/1175.83 c #Conflicts: 480000 | #Constraints: 63511
1172.52/1175.83 c #Conflicts: 481000 | #Constraints: 64511
1172.52/1175.83 c #Conflicts: 482000 | #Constraints: 65511
1172.52/1175.83 c #Conflicts: 483000 | #Constraints: 66511
1172.52/1175.83 c #Conflicts: 484000 | #Constraints: 67511
1172.52/1175.83 c #Conflicts: 485000 | #Constraints: 68511
1172.52/1175.83 c #Conflicts: 486000 | #Constraints: 69511
1172.52/1175.83 c #Conflicts: 487000 | #Constraints: 70511
1172.52/1175.83 c #Conflicts: 488000 | #Constraints: 71511
1172.52/1175.83 c #Conflicts: 489000 | #Constraints: 72511
1172.52/1175.83 c #Conflicts: 490000 | #Constraints: 73511
1172.52/1175.83 c #Conflicts: 491000 | #Constraints: 74511
1172.52/1175.83 c #Conflicts: 492000 | #Constraints: 75511
1172.52/1175.83 c #Conflicts: 493000 | #Constraints: 76511
1172.52/1175.83 c #Conflicts: 494000 | #Constraints: 77511
1172.52/1175.83 c #Conflicts: 495000 | #Constraints: 78511
1172.52/1175.83 c #Conflicts: 496000 | #Constraints: 79511
1172.52/1175.83 c #Conflicts: 497000 | #Constraints: 80511
1172.52/1175.83 c #Conflicts: 498000 | #Constraints: 81511
1172.52/1175.83 c #Conflicts: 499000 | #Constraints: 82511
1172.52/1175.83 c #Conflicts: 500000 | #Constraints: 83511
1172.52/1175.83 c #Conflicts: 501000 | #Constraints: 84511
1172.52/1175.83 c #Conflicts: 502000 | #Constraints: 85511
1172.52/1175.83 c #Conflicts: 503000 | #Constraints: 86511
1172.52/1175.83 c #Conflicts: 504000 | #Constraints: 87511
1172.52/1175.83 c #Conflicts: 505000 | #Constraints: 88511
1172.52/1175.83 c #Conflicts: 506000 | #Constraints: 89511
1172.52/1175.83 c #Conflicts: 507000 | #Constraints: 90511
1172.52/1175.83 c #Conflicts: 508000 | #Constraints: 91511
1172.52/1175.83 c #Conflicts: 509000 | #Constraints: 92511
1172.52/1175.83 c #Conflicts: 510000 | #Constraints: 93511
1172.52/1175.83 c #Conflicts: 511000 | #Constraints: 94511
1172.52/1175.83 c #Conflicts: 512000 | #Constraints: 95511
1172.52/1175.83 c #Conflicts: 513000 | #Constraints: 96511
1172.52/1175.83 c #Conflicts: 514000 | #Constraints: 97511
1172.52/1175.83 c #Conflicts: 515000 | #Constraints: 98511
1172.52/1175.83 c #Conflicts: 516000 | #Constraints: 99511
1172.52/1175.83 c #Conflicts: 517000 | #Constraints: 100511
1172.52/1175.83 c #Conflicts: 518000 | #Constraints: 101511
1172.52/1175.83 c #Conflicts: 519000 | #Constraints: 102511
1172.52/1175.83 c #Conflicts: 520000 | #Constraints: 103511
1172.52/1175.83 c #Conflicts: 521000 | #Constraints: 104511
1172.52/1175.83 c #Conflicts: 522000 | #Constraints: 105511
1172.52/1175.83 c #Conflicts: 523000 | #Constraints: 106511
1172.52/1175.83 c #Conflicts: 524000 | #Constraints: 107511
1172.52/1175.83 c #Conflicts: 525000 | #Constraints: 108511
1172.52/1175.83 c INPROCESSING
1172.52/1175.83 c GARBAGE COLLECT
1172.52/1175.83 c #Conflicts: 526000 | #Constraints: 67705
1172.52/1175.83 c #Conflicts: 527000 | #Constraints: 68705
1172.52/1175.83 c #Conflicts: 528000 | #Constraints: 69705
1172.52/1175.83 c #Conflicts: 529000 | #Constraints: 70705
1172.52/1175.83 c #Conflicts: 530000 | #Constraints: 71705
1172.52/1175.83 c #Conflicts: 531000 | #Constraints: 72705
1172.52/1175.83 c #Conflicts: 532000 | #Constraints: 73705
1172.52/1175.83 c #Conflicts: 533000 | #Constraints: 74705
1258.69/1262.23 c #Conflicts: 534000 | #Constraints: 75705
1258.69/1262.23 c #Conflicts: 535000 | #Constraints: 76705
1258.69/1262.23 c #Conflicts: 536000 | #Constraints: 77705
1258.69/1262.23 c #Conflicts: 537000 | #Constraints: 78705
1258.69/1262.23 c #Conflicts: 538000 | #Constraints: 79705
1258.69/1262.23 c #Conflicts: 539000 | #Constraints: 80705
1258.69/1262.23 c #Conflicts: 540000 | #Constraints: 81705
1258.69/1262.23 c #Conflicts: 541000 | #Constraints: 82705
1258.69/1262.23 c #Conflicts: 542000 | #Constraints: 83705
1258.69/1262.23 c #Conflicts: 543000 | #Constraints: 84705
1258.69/1262.23 c #Conflicts: 544000 | #Constraints: 85705
1258.69/1262.23 c #Conflicts: 545000 | #Constraints: 86705
1258.69/1262.23 c INPROCESSING
1258.69/1262.23 c GARBAGE COLLECT
1258.69/1262.23 c rational objective 182
1423.62/1427.68 c #Conflicts: 546000 | #Constraints: 64932
1423.62/1427.68 c #Conflicts: 547000 | #Constraints: 65932
1423.62/1427.68 c #Conflicts: 548000 | #Constraints: 66932
1423.62/1427.68 c #Conflicts: 549000 | #Constraints: 67932
1423.62/1427.68 c #Conflicts: 550000 | #Constraints: 68932
1423.62/1427.68 c #Conflicts: 551000 | #Constraints: 69932
1423.62/1427.68 c #Conflicts: 552000 | #Constraints: 70932
1423.62/1427.68 c #Conflicts: 553000 | #Constraints: 71932
1423.62/1427.68 c #Conflicts: 554000 | #Constraints: 72932
1423.62/1427.68 c #Conflicts: 555000 | #Constraints: 73932
1423.62/1427.68 c #Conflicts: 556000 | #Constraints: 74932
1423.62/1427.68 c #Conflicts: 557000 | #Constraints: 75932
1423.62/1427.68 c #Conflicts: 558000 | #Constraints: 76932
1423.62/1427.68 c #Conflicts: 559000 | #Constraints: 77932
1423.62/1427.68 c #Conflicts: 560000 | #Constraints: 78932
1423.62/1427.68 c #Conflicts: 561000 | #Constraints: 79932
1423.62/1427.68 c #Conflicts: 562000 | #Constraints: 80932
1423.62/1427.68 c #Conflicts: 563000 | #Constraints: 81932
1423.62/1427.68 c #Conflicts: 564000 | #Constraints: 82932
1423.62/1427.68 c #Conflicts: 565000 | #Constraints: 83932
1423.62/1427.68 c #Conflicts: 566000 | #Constraints: 84932
1423.62/1427.68 c #Conflicts: 567000 | #Constraints: 85932
1423.62/1427.68 c #Conflicts: 568000 | #Constraints: 86932
1423.62/1427.68 c #Conflicts: 569000 | #Constraints: 87932
1423.62/1427.68 c #Conflicts: 570000 | #Constraints: 88932
1423.62/1427.68 c #Conflicts: 571000 | #Constraints: 89932
1423.62/1427.68 c #Conflicts: 572000 | #Constraints: 90932
1423.62/1427.68 c #Conflicts: 573000 | #Constraints: 91932
1423.62/1427.68 c #Conflicts: 574000 | #Constraints: 92932
1423.62/1427.68 c #Conflicts: 575000 | #Constraints: 93932
1423.62/1427.68 c #Conflicts: 576000 | #Constraints: 94932
1423.62/1427.68 c #Conflicts: 577000 | #Constraints: 95932
1423.62/1427.68 c #Conflicts: 578000 | #Constraints: 96932
1423.62/1427.68 c #Conflicts: 579000 | #Constraints: 97932
1423.62/1427.68 c #Conflicts: 580000 | #Constraints: 98932
1423.62/1427.68 c #Conflicts: 581000 | #Constraints: 99932
1423.62/1427.68 c #Conflicts: 582000 | #Constraints: 100932
1423.62/1427.68 c #Conflicts: 583000 | #Constraints: 101932
1423.62/1427.68 c #Conflicts: 584000 | #Constraints: 102932
1423.62/1427.68 c #Conflicts: 585000 | #Constraints: 103932
1423.62/1427.68 c #Conflicts: 586000 | #Constraints: 104932
1423.62/1427.68 c #Conflicts: 587000 | #Constraints: 105932
1423.62/1427.68 c #Conflicts: 588000 | #Constraints: 106932
1423.62/1427.68 c #Conflicts: 589000 | #Constraints: 107932
1423.62/1427.68 c #Conflicts: 590000 | #Constraints: 108932
1423.62/1427.68 c #Conflicts: 591000 | #Constraints: 109932
1423.62/1427.68 c #Conflicts: 592000 | #Constraints: 110932
1423.62/1427.68 c #Conflicts: 593000 | #Constraints: 111932
1423.62/1427.68 c #Conflicts: 594000 | #Constraints: 112932
1423.62/1427.68 c #Conflicts: 595000 | #Constraints: 113932
1423.62/1427.68 c INPROCESSING
1423.62/1427.68 c GARBAGE COLLECT
1423.62/1427.68 c #Conflicts: 596000 | #Constraints: 70487
1423.62/1427.68 c #Conflicts: 597000 | #Constraints: 71487
1423.62/1427.68 c #Conflicts: 598000 | #Constraints: 72487
1423.62/1427.68 c #Conflicts: 599000 | #Constraints: 73487
1423.62/1427.68 c #Conflicts: 600000 | #Constraints: 74487
1423.62/1427.68 c #Conflicts: 601000 | #Constraints: 75487
1423.62/1427.68 c #Conflicts: 602000 | #Constraints: 76487
1423.62/1427.68 c #Conflicts: 603000 | #Constraints: 77487
1423.62/1427.68 c #Conflicts: 604000 | #Constraints: 78487
1423.62/1427.68 c #Conflicts: 605000 | #Constraints: 79487
1423.62/1427.68 c #Conflicts: 606000 | #Constraints: 80487
1423.62/1427.68 c #Conflicts: 607000 | #Constraints: 81487
1423.62/1427.68 c #Conflicts: 608000 | #Constraints: 82487
1423.62/1427.68 c #Conflicts: 609000 | #Constraints: 83487
1423.62/1427.68 c #Conflicts: 610000 | #Constraints: 84487
1423.62/1427.68 c #Conflicts: 611000 | #Constraints: 85487
1423.62/1427.68 c #Conflicts: 612000 | #Constraints: 86487
1423.62/1427.68 c #Conflicts: 613000 | #Constraints: 87487
1423.62/1427.68 c #Conflicts: 614000 | #Constraints: 88487
1423.62/1427.68 c #Conflicts: 615000 | #Constraints: 89487
1423.62/1427.68 c #Conflicts: 616000 | #Constraints: 90487
1423.62/1427.68 c #Conflicts: 617000 | #Constraints: 91487
1423.62/1427.68 c INPROCESSING
1423.62/1427.68 c GARBAGE COLLECT
1423.62/1427.68 c #Conflicts: 618000 | #Constraints: 68341
1423.62/1427.68 c #Conflicts: 619000 | #Constraints: 69341
1423.62/1427.68 c #Conflicts: 620000 | #Constraints: 70341
1423.62/1427.68 c #Conflicts: 621000 | #Constraints: 71341
1423.62/1427.68 c #Conflicts: 622000 | #Constraints: 72341
1423.62/1427.68 c #Conflicts: 623000 | #Constraints: 73341
1610.27/1614.85 c #Conflicts: 624000 | #Constraints: 74341
1610.27/1614.85 c #Conflicts: 625000 | #Constraints: 75341
1610.27/1614.85 c #Conflicts: 626000 | #Constraints: 76341
1610.27/1614.85 c #Conflicts: 627000 | #Constraints: 77342
1610.27/1614.85 c #Conflicts: 628000 | #Constraints: 78342
1610.27/1614.85 c #Conflicts: 629000 | #Constraints: 79342
1610.27/1614.85 c #Conflicts: 630000 | #Constraints: 80342
1610.27/1614.85 c #Conflicts: 631000 | #Constraints: 81342
1610.27/1614.85 c #Conflicts: 632000 | #Constraints: 82342
1610.27/1614.85 c #Conflicts: 633000 | #Constraints: 83342
1610.27/1614.85 c #Conflicts: 634000 | #Constraints: 84342
1610.27/1614.85 c #Conflicts: 635000 | #Constraints: 85342
1610.27/1614.85 c #Conflicts: 636000 | #Constraints: 86342
1610.27/1614.85 c #Conflicts: 637000 | #Constraints: 87342
1610.27/1614.85 c #Conflicts: 638000 | #Constraints: 88342
1610.27/1614.85 c #Conflicts: 639000 | #Constraints: 89342
1610.27/1614.85 c #Conflicts: 640000 | #Constraints: 90342
1610.27/1614.85 c #Conflicts: 641000 | #Constraints: 91342
1610.27/1614.85 c #Conflicts: 642000 | #Constraints: 92342
1610.27/1614.85 c #Conflicts: 643000 | #Constraints: 93342
1610.27/1614.85 c #Conflicts: 644000 | #Constraints: 94342
1610.27/1614.85 c #Conflicts: 645000 | #Constraints: 95342
1610.27/1614.85 c #Conflicts: 646000 | #Constraints: 96342
1610.27/1614.85 c #Conflicts: 647000 | #Constraints: 97342
1610.27/1614.85 c #Conflicts: 648000 | #Constraints: 98342
1610.27/1614.85 c #Conflicts: 649000 | #Constraints: 99342
1610.27/1614.85 c #Conflicts: 650000 | #Constraints: 100342
1610.27/1614.85 c #Conflicts: 651000 | #Constraints: 101342
1610.27/1614.85 c #Conflicts: 652000 | #Constraints: 102342
1610.27/1614.85 c #Conflicts: 653000 | #Constraints: 103342
1610.27/1614.85 c #Conflicts: 654000 | #Constraints: 104342
1610.27/1614.85 c #Conflicts: 655000 | #Constraints: 105342
1610.27/1614.85 c #Conflicts: 656000 | #Constraints: 106342
1610.27/1614.85 c #Conflicts: 657000 | #Constraints: 107342
1610.27/1614.85 c #Conflicts: 658000 | #Constraints: 108342
1610.27/1614.85 c #Conflicts: 659000 | #Constraints: 109342
1610.27/1614.85 c #Conflicts: 660000 | #Constraints: 110342
1610.27/1614.85 c #Conflicts: 661000 | #Constraints: 111342
1610.27/1614.85 c #Conflicts: 662000 | #Constraints: 112342
1610.27/1614.85 c #Conflicts: 663000 | #Constraints: 113342
1610.27/1614.85 c #Conflicts: 664000 | #Constraints: 114342
1610.27/1614.85 c #Conflicts: 665000 | #Constraints: 115342
1610.27/1614.85 c #Conflicts: 666000 | #Constraints: 116342
1610.27/1614.85 c #Conflicts: 667000 | #Constraints: 117342
1610.27/1614.85 c #Conflicts: 668000 | #Constraints: 118342
1610.27/1614.85 c #Conflicts: 669000 | #Constraints: 119342
1610.27/1614.85 c INPROCESSING
1610.27/1614.85 c GARBAGE COLLECT
1610.27/1614.85 c #Conflicts: 670000 | #Constraints: 72706
1610.27/1614.85 c #Conflicts: 671000 | #Constraints: 73706
1610.27/1614.85 c #Conflicts: 672000 | #Constraints: 74706
1610.27/1614.85 c #Conflicts: 673000 | #Constraints: 75706
1610.27/1614.85 c #Conflicts: 674000 | #Constraints: 76706
1610.27/1614.85 c #Conflicts: 675000 | #Constraints: 77706
1610.27/1614.85 c #Conflicts: 676000 | #Constraints: 78706
1610.27/1614.85 c #Conflicts: 677000 | #Constraints: 79706
1610.27/1614.85 c #Conflicts: 678000 | #Constraints: 80706
1610.27/1614.85 c #Conflicts: 679000 | #Constraints: 81706
1610.27/1614.85 c #Conflicts: 680000 | #Constraints: 82706
1610.27/1614.85 c #Conflicts: 681000 | #Constraints: 83706
1610.27/1614.85 c #Conflicts: 682000 | #Constraints: 84706
1610.27/1614.85 c #Conflicts: 683000 | #Constraints: 85706
1610.27/1614.85 c #Conflicts: 684000 | #Constraints: 86706
1610.27/1614.85 c #Conflicts: 685000 | #Constraints: 87706
1610.27/1614.85 c #Conflicts: 686000 | #Constraints: 88706
1610.27/1614.85 c #Conflicts: 687000 | #Constraints: 89706
1610.27/1614.85 c #Conflicts: 688000 | #Constraints: 90706
1610.27/1614.85 c #Conflicts: 689000 | #Constraints: 91706
1610.27/1614.85 c #Conflicts: 690000 | #Constraints: 92706
1610.27/1614.85 c #Conflicts: 691000 | #Constraints: 93706
1610.27/1614.85 c #Conflicts: 692000 | #Constraints: 94706
1610.27/1614.85 c #Conflicts: 693000 | #Constraints: 95706
1610.27/1614.85 c INPROCESSING
1610.27/1614.85 c GARBAGE COLLECT
1610.27/1614.85 c #Conflicts: 694000 | #Constraints: 71801
1610.27/1614.85 c #Conflicts: 695000 | #Constraints: 72801
1610.27/1614.85 c #Conflicts: 696000 | #Constraints: 73801
1610.27/1614.85 c #Conflicts: 697000 | #Constraints: 74801
1610.27/1614.85 c #Conflicts: 698000 | #Constraints: 75801
1610.27/1614.85 c #Conflicts: 699000 | #Constraints: 76801
1610.27/1614.85 c #Conflicts: 700000 | #Constraints: 77801
1792.08/1797.28 c #Conflicts: 701000 | #Constraints: 78801
1792.08/1797.28 c #Conflicts: 702000 | #Constraints: 79801
1792.08/1797.28 c #Conflicts: 703000 | #Constraints: 80801
1792.08/1797.28 c #Conflicts: 704000 | #Constraints: 81801
1792.08/1797.28 c #Conflicts: 705000 | #Constraints: 82801
1792.08/1797.28 c #Conflicts: 706000 | #Constraints: 83801
1792.08/1797.28 c #Conflicts: 707000 | #Constraints: 84801
1792.08/1797.28 c #Conflicts: 708000 | #Constraints: 85801
1792.08/1797.28 c #Conflicts: 709000 | #Constraints: 86801
1792.08/1797.28 c #Conflicts: 710000 | #Constraints: 87801
1792.08/1797.28 c #Conflicts: 711000 | #Constraints: 88801
1792.08/1797.28 c #Conflicts: 712000 | #Constraints: 89801
1792.08/1797.28 c #Conflicts: 713000 | #Constraints: 90801
1792.08/1797.28 c #Conflicts: 714000 | #Constraints: 91801
1792.08/1797.28 c #Conflicts: 715000 | #Constraints: 92801
1792.08/1797.28 c #Conflicts: 716000 | #Constraints: 93801
1792.08/1797.28 c #Conflicts: 717000 | #Constraints: 94801
1792.08/1797.28 c #Conflicts: 718000 | #Constraints: 95801
1792.08/1797.28 c #Conflicts: 719000 | #Constraints: 96801
1792.08/1797.28 c #Conflicts: 720000 | #Constraints: 97801
1792.08/1797.28 c #Conflicts: 721000 | #Constraints: 98801
1792.08/1797.28 c #Conflicts: 722000 | #Constraints: 99801
1792.08/1797.28 c #Conflicts: 723000 | #Constraints: 100801
1792.08/1797.28 c #Conflicts: 724000 | #Constraints: 101801
1792.08/1797.28 c #Conflicts: 725000 | #Constraints: 102801
1792.08/1797.28 c #Conflicts: 726000 | #Constraints: 103801
1792.08/1797.28 c #Conflicts: 727000 | #Constraints: 104801
1792.08/1797.28 c #Conflicts: 728000 | #Constraints: 105801
1792.08/1797.28 c #Conflicts: 729000 | #Constraints: 106801
1792.08/1797.28 c #Conflicts: 730000 | #Constraints: 107801
1792.08/1797.28 c #Conflicts: 731000 | #Constraints: 108801
1792.08/1797.28 c #Conflicts: 732000 | #Constraints: 109801
1792.08/1797.28 c #Conflicts: 733000 | #Constraints: 110801
1792.08/1797.28 c #Conflicts: 734000 | #Constraints: 111801
1792.08/1797.28 c #Conflicts: 735000 | #Constraints: 112801
1792.08/1797.28 c #Conflicts: 736000 | #Constraints: 113801
1792.08/1797.28 c #Conflicts: 737000 | #Constraints: 114801
1792.08/1797.28 c #Conflicts: 738000 | #Constraints: 115801
1792.08/1797.28 c #Conflicts: 739000 | #Constraints: 116801
1792.08/1797.28 c #Conflicts: 740000 | #Constraints: 117801
1792.08/1797.28 c #Conflicts: 741000 | #Constraints: 118801
1792.08/1797.28 c #Conflicts: 742000 | #Constraints: 119801
1792.08/1797.28 c #Conflicts: 743000 | #Constraints: 120801
1792.08/1797.28 c #Conflicts: 744000 | #Constraints: 121801
1792.08/1797.28 c #Conflicts: 745000 | #Constraints: 122801
1792.08/1797.28 c #Conflicts: 746000 | #Constraints: 123801
1792.08/1797.28 c #Conflicts: 747000 | #Constraints: 124801
1792.08/1797.28 c #Conflicts: 748000 | #Constraints: 125801
1792.08/1797.28 c INPROCESSING
1792.08/1797.28 c GARBAGE COLLECT
1792.08/1797.28 c #Conflicts: 749000 | #Constraints: 76040
1792.08/1797.28 c #Conflicts: 750000 | #Constraints: 77040
1792.08/1797.28 c #Conflicts: 751000 | #Constraints: 78040
1792.08/1797.28 c #Conflicts: 752000 | #Constraints: 79040
1792.08/1797.28 c #Conflicts: 753000 | #Constraints: 80040
1792.08/1797.28 c #Conflicts: 754000 | #Constraints: 81040
1792.08/1797.28 c #Conflicts: 755000 | #Constraints: 82040
1792.08/1797.28 c #Conflicts: 756000 | #Constraints: 83040
1792.08/1797.28 c #Conflicts: 757000 | #Constraints: 84040
1792.08/1797.28 c #Conflicts: 758000 | #Constraints: 85040
1792.08/1797.28 c #Conflicts: 759000 | #Constraints: 86040
1792.08/1797.28 c #Conflicts: 760000 | #Constraints: 87040
1792.08/1797.28 c #Conflicts: 761000 | #Constraints: 88040
1792.08/1797.28 c #Conflicts: 762000 | #Constraints: 89040
1792.08/1797.28 c #Conflicts: 763000 | #Constraints: 90040
1792.08/1797.28 c #Conflicts: 764000 | #Constraints: 91040
1792.08/1797.28 c #Conflicts: 765000 | #Constraints: 92040
1792.08/1797.28 c #Conflicts: 766000 | #Constraints: 93040
1792.08/1797.28 c #Conflicts: 767000 | #Constraints: 94040
1792.08/1797.28 c #Conflicts: 768000 | #Constraints: 95040
1792.08/1797.28 c #Conflicts: 769000 | #Constraints: 96040
1792.08/1797.28 c #Conflicts: 770000 | #Constraints: 97041
1792.08/1797.28 c #Conflicts: 771000 | #Constraints: 98041
1792.08/1797.28 c #Conflicts: 772000 | #Constraints: 99041
1792.08/1797.28 c #Conflicts: 773000 | #Constraints: 100041
1792.08/1797.28 c INPROCESSING
1792.08/1797.28 c GARBAGE COLLECT
1792.08/1797.28 c #Conflicts: 774000 | #Constraints: 74287
1792.08/1797.28 c #Conflicts: 775000 | #Constraints: 75287
1792.08/1797.28 c #Conflicts: 776000 | #Constraints: 76287
1792.08/1797.28 c #Conflicts: 777000 | #Constraints: 77287
1792.08/1797.28 c #Conflicts: 778000 | #Constraints: 78287
1976.46/1982.21 c #Conflicts: 779000 | #Constraints: 79287
1976.46/1982.21 c #Conflicts: 780000 | #Constraints: 80287
1976.46/1982.21 c #Conflicts: 781000 | #Constraints: 81287
1976.46/1982.21 c #Conflicts: 782000 | #Constraints: 82287
1976.46/1982.21 c #Conflicts: 783000 | #Constraints: 83287
1976.46/1982.21 c #Conflicts: 784000 | #Constraints: 84287
1976.46/1982.21 c #Conflicts: 785000 | #Constraints: 85287
1976.46/1982.21 c #Conflicts: 786000 | #Constraints: 86287
1976.46/1982.21 c #Conflicts: 787000 | #Constraints: 87287
1976.46/1982.21 c #Conflicts: 788000 | #Constraints: 88287
1976.46/1982.21 c #Conflicts: 789000 | #Constraints: 89287
1976.46/1982.21 c #Conflicts: 790000 | #Constraints: 90287
1976.46/1982.21 c #Conflicts: 791000 | #Constraints: 91287
1976.46/1982.21 c #Conflicts: 792000 | #Constraints: 92287
1976.46/1982.21 c #Conflicts: 793000 | #Constraints: 93287
1976.46/1982.21 c #Conflicts: 794000 | #Constraints: 94287
1976.46/1982.21 c #Conflicts: 795000 | #Constraints: 95287
1976.46/1982.21 c #Conflicts: 796000 | #Constraints: 96287
1976.46/1982.21 c #Conflicts: 797000 | #Constraints: 97287
1976.46/1982.21 c #Conflicts: 798000 | #Constraints: 98287
1976.46/1982.21 c #Conflicts: 799000 | #Constraints: 99287
1976.46/1982.21 c #Conflicts: 800000 | #Constraints: 100287
1976.46/1982.21 c #Conflicts: 801000 | #Constraints: 101287
1976.46/1982.21 c #Conflicts: 802000 | #Constraints: 102287
1976.46/1982.21 c #Conflicts: 803000 | #Constraints: 103287
1976.46/1982.21 c #Conflicts: 804000 | #Constraints: 104287
1976.46/1982.21 c #Conflicts: 805000 | #Constraints: 105287
1976.46/1982.21 c #Conflicts: 806000 | #Constraints: 106287
1976.46/1982.21 c #Conflicts: 807000 | #Constraints: 107287
1976.46/1982.21 c #Conflicts: 808000 | #Constraints: 108287
1976.46/1982.21 c #Conflicts: 809000 | #Constraints: 109287
1976.46/1982.21 c #Conflicts: 810000 | #Constraints: 110287
1976.46/1982.21 c #Conflicts: 811000 | #Constraints: 111287
1976.46/1982.21 c #Conflicts: 812000 | #Constraints: 112287
1976.46/1982.21 c #Conflicts: 813000 | #Constraints: 113287
1976.46/1982.21 c #Conflicts: 814000 | #Constraints: 114287
1976.46/1982.21 c #Conflicts: 815000 | #Constraints: 115287
1976.46/1982.21 c #Conflicts: 816000 | #Constraints: 116287
1976.46/1982.21 c #Conflicts: 817000 | #Constraints: 117287
1976.46/1982.21 c #Conflicts: 818000 | #Constraints: 118287
1976.46/1982.21 c #Conflicts: 819000 | #Constraints: 119287
1976.46/1982.21 c #Conflicts: 820000 | #Constraints: 120287
1976.46/1982.21 c #Conflicts: 821000 | #Constraints: 121287
1976.46/1982.21 c #Conflicts: 822000 | #Constraints: 122287
1976.46/1982.21 c #Conflicts: 823000 | #Constraints: 123287
1976.46/1982.21 c #Conflicts: 824000 | #Constraints: 124287
1976.46/1982.21 c #Conflicts: 825000 | #Constraints: 125287
1976.46/1982.21 c #Conflicts: 826000 | #Constraints: 126287
1976.46/1982.21 c #Conflicts: 827000 | #Constraints: 127287
1976.46/1982.21 c #Conflicts: 828000 | #Constraints: 128287
1976.46/1982.21 c #Conflicts: 829000 | #Constraints: 129287
1976.46/1982.21 c #Conflicts: 830000 | #Constraints: 130287
1976.46/1982.21 c #Conflicts: 831000 | #Constraints: 131287
1976.46/1982.21 c #Conflicts: 832000 | #Constraints: 132287
1976.46/1982.21 c INPROCESSING
1976.46/1982.21 c GARBAGE COLLECT
1976.46/1982.21 c #Conflicts: 833000 | #Constraints: 79561
1976.46/1982.21 c #Conflicts: 834000 | #Constraints: 80561
1976.46/1982.21 c #Conflicts: 835000 | #Constraints: 81561
1976.46/1982.21 c #Conflicts: 836000 | #Constraints: 82561
1976.46/1982.21 c #Conflicts: 837000 | #Constraints: 83561
1976.46/1982.21 c #Conflicts: 838000 | #Constraints: 84561
1976.46/1982.21 c #Conflicts: 839000 | #Constraints: 85561
1976.46/1982.21 c #Conflicts: 840000 | #Constraints: 86561
1976.46/1982.21 c #Conflicts: 841000 | #Constraints: 87561
1976.46/1982.21 c #Conflicts: 842000 | #Constraints: 88561
1976.46/1982.21 c #Conflicts: 843000 | #Constraints: 89561
1976.46/1982.21 c #Conflicts: 844000 | #Constraints: 90561
1976.46/1982.21 c #Conflicts: 845000 | #Constraints: 91561
1976.46/1982.21 c #Conflicts: 846000 | #Constraints: 92561
1976.46/1982.21 c #Conflicts: 847000 | #Constraints: 93561
1976.46/1982.21 c #Conflicts: 848000 | #Constraints: 94561
1976.46/1982.21 c #Conflicts: 849000 | #Constraints: 95561
1976.46/1982.21 c #Conflicts: 850000 | #Constraints: 96561
1976.46/1982.21 c #Conflicts: 851000 | #Constraints: 97561
1976.46/1982.21 c #Conflicts: 852000 | #Constraints: 98561
1976.46/1982.21 c #Conflicts: 853000 | #Constraints: 99561
1976.46/1982.21 c #Conflicts: 854000 | #Constraints: 100561
1976.46/1982.21 c #Conflicts: 855000 | #Constraints: 101561
1976.46/1982.21 c #Conflicts: 856000 | #Constraints: 102561
2197.14/2203.65 c #Conflicts: 857000 | #Constraints: 103561
2197.14/2203.65 c #Conflicts: 858000 | #Constraints: 104561
2197.14/2203.65 c INPROCESSING
2197.14/2203.65 c GARBAGE COLLECT
2197.14/2203.65 c #Conflicts: 859000 | #Constraints: 77767
2197.14/2203.65 c #Conflicts: 860000 | #Constraints: 78767
2197.14/2203.65 c #Conflicts: 861000 | #Constraints: 79767
2197.14/2203.65 c #Conflicts: 862000 | #Constraints: 80767
2197.14/2203.65 c #Conflicts: 863000 | #Constraints: 81767
2197.14/2203.65 c #Conflicts: 864000 | #Constraints: 82767
2197.14/2203.65 c #Conflicts: 865000 | #Constraints: 83767
2197.14/2203.65 c #Conflicts: 866000 | #Constraints: 84767
2197.14/2203.65 c #Conflicts: 867000 | #Constraints: 85767
2197.14/2203.65 c #Conflicts: 868000 | #Constraints: 86767
2197.14/2203.65 c #Conflicts: 869000 | #Constraints: 87767
2197.14/2203.65 c #Conflicts: 870000 | #Constraints: 88767
2197.14/2203.65 c #Conflicts: 871000 | #Constraints: 89767
2197.14/2203.65 c #Conflicts: 872000 | #Constraints: 90767
2197.14/2203.65 c #Conflicts: 873000 | #Constraints: 91767
2197.14/2203.65 c #Conflicts: 874000 | #Constraints: 92767
2197.14/2203.65 c #Conflicts: 875000 | #Constraints: 93767
2197.14/2203.65 c #Conflicts: 876000 | #Constraints: 94767
2197.14/2203.65 c #Conflicts: 877000 | #Constraints: 95767
2197.14/2203.65 c #Conflicts: 878000 | #Constraints: 96767
2197.14/2203.65 c #Conflicts: 879000 | #Constraints: 97767
2197.14/2203.65 c #Conflicts: 880000 | #Constraints: 98767
2197.14/2203.65 c #Conflicts: 881000 | #Constraints: 99767
2197.14/2203.65 c #Conflicts: 882000 | #Constraints: 100767
2197.14/2203.65 c #Conflicts: 883000 | #Constraints: 101767
2197.14/2203.65 c #Conflicts: 884000 | #Constraints: 102767
2197.14/2203.65 c #Conflicts: 885000 | #Constraints: 103767
2197.14/2203.65 c #Conflicts: 886000 | #Constraints: 104767
2197.14/2203.65 c #Conflicts: 887000 | #Constraints: 105767
2197.14/2203.65 c #Conflicts: 888000 | #Constraints: 106767
2197.14/2203.65 c #Conflicts: 889000 | #Constraints: 107767
2197.14/2203.65 c #Conflicts: 890000 | #Constraints: 108767
2197.14/2203.65 c #Conflicts: 891000 | #Constraints: 109767
2197.14/2203.65 c #Conflicts: 892000 | #Constraints: 110767
2197.14/2203.65 c #Conflicts: 893000 | #Constraints: 111767
2197.14/2203.65 c #Conflicts: 894000 | #Constraints: 112767
2197.14/2203.65 c #Conflicts: 895000 | #Constraints: 113767
2197.14/2203.65 c #Conflicts: 896000 | #Constraints: 114767
2197.14/2203.65 c #Conflicts: 897000 | #Constraints: 115767
2197.14/2203.65 c #Conflicts: 898000 | #Constraints: 116767
2197.14/2203.65 c #Conflicts: 899000 | #Constraints: 117767
2197.14/2203.65 c #Conflicts: 900000 | #Constraints: 118767
2197.14/2203.65 c #Conflicts: 901000 | #Constraints: 119767
2197.14/2203.65 c #Conflicts: 902000 | #Constraints: 120767
2197.14/2203.65 c #Conflicts: 903000 | #Constraints: 121767
2197.14/2203.65 c #Conflicts: 904000 | #Constraints: 122767
2197.14/2203.65 c #Conflicts: 905000 | #Constraints: 123767
2197.14/2203.65 c #Conflicts: 906000 | #Constraints: 124767
2197.14/2203.65 c #Conflicts: 907000 | #Constraints: 125768
2197.14/2203.65 c #Conflicts: 908000 | #Constraints: 126768
2197.14/2203.65 c #Conflicts: 909000 | #Constraints: 127768
2197.14/2203.65 c #Conflicts: 910000 | #Constraints: 128768
2197.14/2203.65 c #Conflicts: 911000 | #Constraints: 129768
2197.14/2203.65 c #Conflicts: 912000 | #Constraints: 130768
2197.14/2203.65 c #Conflicts: 913000 | #Constraints: 131768
2197.14/2203.65 c #Conflicts: 914000 | #Constraints: 132768
2197.14/2203.65 c #Conflicts: 915000 | #Constraints: 133768
2197.14/2203.65 c #Conflicts: 916000 | #Constraints: 134768
2197.14/2203.65 c #Conflicts: 917000 | #Constraints: 135768
2197.14/2203.65 c #Conflicts: 918000 | #Constraints: 136768
2197.14/2203.65 c #Conflicts: 919000 | #Constraints: 137768
2197.14/2203.65 c #Conflicts: 920000 | #Constraints: 138768
2197.14/2203.65 c INPROCESSING
2197.14/2203.65 c GARBAGE COLLECT
2197.14/2203.65 c #Conflicts: 921000 | #Constraints: 82920
2197.14/2203.65 c #Conflicts: 922000 | #Constraints: 83920
2197.14/2203.65 c #Conflicts: 923000 | #Constraints: 84920
2197.14/2203.65 c #Conflicts: 924000 | #Constraints: 85920
2197.14/2203.65 c #Conflicts: 925000 | #Constraints: 86920
2197.14/2203.65 c #Conflicts: 926000 | #Constraints: 87920
2197.14/2203.65 c #Conflicts: 927000 | #Constraints: 88920
2197.14/2203.65 c #Conflicts: 928000 | #Constraints: 89920
2197.14/2203.65 c #Conflicts: 929000 | #Constraints: 90920
2197.14/2203.65 c #Conflicts: 930000 | #Constraints: 91920
2197.14/2203.65 c #Conflicts: 931000 | #Constraints: 92920
2197.14/2203.65 c #Conflicts: 932000 | #Constraints: 93920
2197.14/2203.65 c #Conflicts: 933000 | #Constraints: 94920
2197.14/2203.65 c #Conflicts: 934000 | #Constraints: 95920
2389.21/2396.35 c #Conflicts: 935000 | #Constraints: 96920
2389.21/2396.35 c #Conflicts: 936000 | #Constraints: 97920
2389.21/2396.35 c #Conflicts: 937000 | #Constraints: 98920
2389.21/2396.35 c #Conflicts: 938000 | #Constraints: 99920
2389.21/2396.35 c #Conflicts: 939000 | #Constraints: 100920
2389.21/2396.35 c #Conflicts: 940000 | #Constraints: 101920
2389.21/2396.35 c #Conflicts: 941000 | #Constraints: 102920
2389.21/2396.35 c #Conflicts: 942000 | #Constraints: 103920
2389.21/2396.35 c #Conflicts: 943000 | #Constraints: 104920
2389.21/2396.35 c #Conflicts: 944000 | #Constraints: 105920
2389.21/2396.35 c #Conflicts: 945000 | #Constraints: 106920
2389.21/2396.35 c #Conflicts: 946000 | #Constraints: 107920
2389.21/2396.35 c #Conflicts: 947000 | #Constraints: 108920
2389.21/2396.35 c INPROCESSING
2389.21/2396.35 c GARBAGE COLLECT
2389.21/2396.35 c #Conflicts: 948000 | #Constraints: 80403
2389.21/2396.35 c #Conflicts: 949000 | #Constraints: 81403
2389.21/2396.35 c #Conflicts: 950000 | #Constraints: 82403
2389.21/2396.35 c #Conflicts: 951000 | #Constraints: 83403
2389.21/2396.35 c #Conflicts: 952000 | #Constraints: 84403
2389.21/2396.35 c #Conflicts: 953000 | #Constraints: 85403
2389.21/2396.35 c #Conflicts: 954000 | #Constraints: 86403
2389.21/2396.35 c #Conflicts: 955000 | #Constraints: 87403
2389.21/2396.35 c #Conflicts: 956000 | #Constraints: 88403
2389.21/2396.35 c #Conflicts: 957000 | #Constraints: 89403
2389.21/2396.35 c #Conflicts: 958000 | #Constraints: 90403
2389.21/2396.35 c #Conflicts: 959000 | #Constraints: 91403
2389.21/2396.35 c #Conflicts: 960000 | #Constraints: 92403
2389.21/2396.35 c #Conflicts: 961000 | #Constraints: 93403
2389.21/2396.35 c #Conflicts: 962000 | #Constraints: 94403
2389.21/2396.35 c #Conflicts: 963000 | #Constraints: 95403
2389.21/2396.35 c #Conflicts: 964000 | #Constraints: 96403
2389.21/2396.35 c #Conflicts: 965000 | #Constraints: 97403
2389.21/2396.35 c #Conflicts: 966000 | #Constraints: 98403
2389.21/2396.35 c #Conflicts: 967000 | #Constraints: 99403
2389.21/2396.35 c #Conflicts: 968000 | #Constraints: 100403
2389.21/2396.35 c #Conflicts: 969000 | #Constraints: 101403
2389.21/2396.35 c #Conflicts: 970000 | #Constraints: 102403
2389.21/2396.35 c #Conflicts: 971000 | #Constraints: 103403
2389.21/2396.35 c #Conflicts: 972000 | #Constraints: 104403
2389.21/2396.35 c #Conflicts: 973000 | #Constraints: 105403
2389.21/2396.35 c #Conflicts: 974000 | #Constraints: 106403
2389.21/2396.35 c #Conflicts: 975000 | #Constraints: 107403
2389.21/2396.35 c #Conflicts: 976000 | #Constraints: 108403
2389.21/2396.35 c #Conflicts: 977000 | #Constraints: 109403
2389.21/2396.35 c #Conflicts: 978000 | #Constraints: 110403
2389.21/2396.35 c #Conflicts: 979000 | #Constraints: 111403
2389.21/2396.35 c #Conflicts: 980000 | #Constraints: 112403
2389.21/2396.35 c #Conflicts: 981000 | #Constraints: 113403
2389.21/2396.35 c #Conflicts: 982000 | #Constraints: 114403
2389.21/2396.35 c #Conflicts: 983000 | #Constraints: 115403
2389.21/2396.35 c #Conflicts: 984000 | #Constraints: 116403
2389.21/2396.35 c #Conflicts: 985000 | #Constraints: 117403
2389.21/2396.35 c #Conflicts: 986000 | #Constraints: 118403
2389.21/2396.35 c #Conflicts: 987000 | #Constraints: 119403
2389.21/2396.35 c #Conflicts: 988000 | #Constraints: 120403
2389.21/2396.35 c #Conflicts: 989000 | #Constraints: 121403
2389.21/2396.35 c #Conflicts: 990000 | #Constraints: 122403
2389.21/2396.35 c #Conflicts: 991000 | #Constraints: 123403
2389.21/2396.35 c #Conflicts: 992000 | #Constraints: 124403
2389.21/2396.35 c #Conflicts: 993000 | #Constraints: 125403
2389.21/2396.35 c #Conflicts: 994000 | #Constraints: 126403
2389.21/2396.35 c #Conflicts: 995000 | #Constraints: 127403
2389.21/2396.35 c #Conflicts: 996000 | #Constraints: 128403
2389.21/2396.35 c #Conflicts: 997000 | #Constraints: 129403
2389.21/2396.35 c #Conflicts: 998000 | #Constraints: 130403
2389.21/2396.35 c #Conflicts: 999000 | #Constraints: 131403
2389.21/2396.35 c #Conflicts: 1000000 | #Constraints: 132403
2389.21/2396.35 c #Conflicts: 1001000 | #Constraints: 133403
2389.21/2396.35 c #Conflicts: 1002000 | #Constraints: 134403
2389.21/2396.35 c #Conflicts: 1003000 | #Constraints: 135403
2389.21/2396.35 c #Conflicts: 1004000 | #Constraints: 136403
2389.21/2396.35 c #Conflicts: 1005000 | #Constraints: 137403
2389.21/2396.35 c #Conflicts: 1006000 | #Constraints: 138403
2389.21/2396.35 c #Conflicts: 1007000 | #Constraints: 139403
2389.21/2396.35 c #Conflicts: 1008000 | #Constraints: 140403
2389.21/2396.35 c #Conflicts: 1009000 | #Constraints: 141403
2389.21/2396.35 c #Conflicts: 1010000 | #Constraints: 142403
2389.21/2396.35 c #Conflicts: 1011000 | #Constraints: 143403
2389.21/2396.35 c #Conflicts: 1012000 | #Constraints: 144403
2417.03/2424.21 c INPROCESSING
2417.03/2424.21 c GARBAGE COLLECT
2417.03/2424.21 c rational objective 182
2714.48/2722.63 c #Conflicts: 1013000 | #Constraints: 85511
2714.48/2722.63 c #Conflicts: 1014000 | #Constraints: 86511
2714.48/2722.63 c #Conflicts: 1015000 | #Constraints: 87511
2714.48/2722.63 c #Conflicts: 1016000 | #Constraints: 88511
2714.48/2722.63 c #Conflicts: 1017000 | #Constraints: 89511
2714.48/2722.63 c #Conflicts: 1018000 | #Constraints: 90511
2714.48/2722.63 c #Conflicts: 1019000 | #Constraints: 91511
2714.48/2722.63 c #Conflicts: 1020000 | #Constraints: 92511
2714.48/2722.63 c #Conflicts: 1021000 | #Constraints: 93511
2714.48/2722.63 c #Conflicts: 1022000 | #Constraints: 94511
2714.48/2722.63 c #Conflicts: 1023000 | #Constraints: 95511
2714.48/2722.63 c #Conflicts: 1024000 | #Constraints: 96511
2714.48/2722.63 c #Conflicts: 1025000 | #Constraints: 97511
2714.48/2722.63 c #Conflicts: 1026000 | #Constraints: 98511
2714.48/2722.63 c #Conflicts: 1027000 | #Constraints: 99511
2714.48/2722.63 c #Conflicts: 1028000 | #Constraints: 100511
2714.48/2722.63 c #Conflicts: 1029000 | #Constraints: 101511
2714.48/2722.63 c #Conflicts: 1030000 | #Constraints: 102511
2714.48/2722.63 c #Conflicts: 1031000 | #Constraints: 103511
2714.48/2722.63 c #Conflicts: 1032000 | #Constraints: 104511
2714.48/2722.63 c #Conflicts: 1033000 | #Constraints: 105511
2714.48/2722.63 c #Conflicts: 1034000 | #Constraints: 106511
2714.48/2722.63 c #Conflicts: 1035000 | #Constraints: 107511
2714.48/2722.63 c #Conflicts: 1036000 | #Constraints: 108511
2714.48/2722.63 c #Conflicts: 1037000 | #Constraints: 109511
2714.48/2722.63 c #Conflicts: 1038000 | #Constraints: 110511
2714.48/2722.63 c #Conflicts: 1039000 | #Constraints: 111511
2714.48/2722.63 c #Conflicts: 1040000 | #Constraints: 112511
2714.48/2722.63 c INPROCESSING
2714.48/2722.63 c GARBAGE COLLECT
2714.48/2722.63 c #Conflicts: 1041000 | #Constraints: 82742
2714.48/2722.63 c #Conflicts: 1042000 | #Constraints: 83742
2714.48/2722.63 c #Conflicts: 1043000 | #Constraints: 84742
2714.48/2722.63 c #Conflicts: 1044000 | #Constraints: 85742
2714.48/2722.63 c #Conflicts: 1045000 | #Constraints: 86742
2714.48/2722.63 c #Conflicts: 1046000 | #Constraints: 87742
2714.48/2722.63 c #Conflicts: 1047000 | #Constraints: 88742
2714.48/2722.63 c #Conflicts: 1048000 | #Constraints: 89742
2714.48/2722.63 c #Conflicts: 1049000 | #Constraints: 90742
2714.48/2722.63 c #Conflicts: 1050000 | #Constraints: 91742
2714.48/2722.63 c #Conflicts: 1051000 | #Constraints: 92742
2714.48/2722.63 c #Conflicts: 1052000 | #Constraints: 93742
2714.48/2722.63 c #Conflicts: 1053000 | #Constraints: 94742
2714.48/2722.63 c #Conflicts: 1054000 | #Constraints: 95742
2714.48/2722.63 c #Conflicts: 1055000 | #Constraints: 96742
2714.48/2722.63 c #Conflicts: 1056000 | #Constraints: 97742
2714.48/2722.63 c #Conflicts: 1057000 | #Constraints: 98742
2714.48/2722.63 c #Conflicts: 1058000 | #Constraints: 99742
2714.48/2722.63 c #Conflicts: 1059000 | #Constraints: 100742
2714.48/2722.63 c #Conflicts: 1060000 | #Constraints: 101742
2714.48/2722.63 c #Conflicts: 1061000 | #Constraints: 102742
2714.48/2722.63 c #Conflicts: 1062000 | #Constraints: 103742
2714.48/2722.63 c #Conflicts: 1063000 | #Constraints: 104742
2714.48/2722.63 c #Conflicts: 1064000 | #Constraints: 105742
2714.48/2722.63 c #Conflicts: 1065000 | #Constraints: 106742
2714.48/2722.63 c #Conflicts: 1066000 | #Constraints: 107742
2714.48/2722.63 c #Conflicts: 1067000 | #Constraints: 108742
2714.48/2722.63 c #Conflicts: 1068000 | #Constraints: 109742
2714.48/2722.63 c #Conflicts: 1069000 | #Constraints: 110742
2714.48/2722.63 c #Conflicts: 1070000 | #Constraints: 111742
2714.48/2722.63 c #Conflicts: 1071000 | #Constraints: 112742
2714.48/2722.63 c #Conflicts: 1072000 | #Constraints: 113742
2714.48/2722.63 c #Conflicts: 1073000 | #Constraints: 114742
2714.48/2722.63 c #Conflicts: 1074000 | #Constraints: 115742
2714.48/2722.63 c #Conflicts: 1075000 | #Constraints: 116742
2714.48/2722.63 c #Conflicts: 1076000 | #Constraints: 117742
2714.48/2722.63 c #Conflicts: 1077000 | #Constraints: 118742
2714.48/2722.63 c #Conflicts: 1078000 | #Constraints: 119742
2714.48/2722.63 c #Conflicts: 1079000 | #Constraints: 120742
2714.48/2722.63 c #Conflicts: 1080000 | #Constraints: 121742
2714.48/2722.63 c #Conflicts: 1081000 | #Constraints: 122742
2714.48/2722.63 c #Conflicts: 1082000 | #Constraints: 123742
2714.48/2722.63 c #Conflicts: 1083000 | #Constraints: 124742
2714.48/2722.63 c #Conflicts: 1084000 | #Constraints: 125742
2714.48/2722.63 c #Conflicts: 1085000 | #Constraints: 126742
2714.48/2722.63 c #Conflicts: 1086000 | #Constraints: 127742
2714.48/2722.63 c #Conflicts: 1087000 | #Constraints: 128742
2714.48/2722.63 c #Conflicts: 1088000 | #Constraints: 129742
2714.48/2722.63 c #Conflicts: 1089000 | #Constraints: 130742
2714.48/2722.63 c #Conflicts: 1090000 | #Constraints: 131742
2714.48/2722.63 c #Conflicts: 1091000 | #Constraints: 132742
2889.74/2898.47 c #Conflicts: 1092000 | #Constraints: 133742
2889.74/2898.47 c #Conflicts: 1093000 | #Constraints: 134742
2889.74/2898.47 c #Conflicts: 1094000 | #Constraints: 135742
2889.74/2898.47 c #Conflicts: 1095000 | #Constraints: 136742
2889.74/2898.47 c #Conflicts: 1096000 | #Constraints: 137742
2889.74/2898.47 c #Conflicts: 1097000 | #Constraints: 138742
2889.74/2898.47 c #Conflicts: 1098000 | #Constraints: 139742
2889.74/2898.47 c #Conflicts: 1099000 | #Constraints: 140742
2889.74/2898.47 c #Conflicts: 1100000 | #Constraints: 141742
2889.74/2898.47 c #Conflicts: 1101000 | #Constraints: 142742
2889.74/2898.47 c #Conflicts: 1102000 | #Constraints: 143742
2889.74/2898.47 c #Conflicts: 1103000 | #Constraints: 144742
2889.74/2898.47 c #Conflicts: 1104000 | #Constraints: 145742
2889.74/2898.47 c #Conflicts: 1105000 | #Constraints: 146742
2889.74/2898.47 c #Conflicts: 1106000 | #Constraints: 147742
2889.74/2898.47 c #Conflicts: 1107000 | #Constraints: 148742
2889.74/2898.47 c #Conflicts: 1108000 | #Constraints: 149742
2889.74/2898.47 c INPROCESSING
2889.74/2898.47 c GARBAGE COLLECT
2889.74/2898.47 c #Conflicts: 1109000 | #Constraints: 88054
2889.74/2898.47 c #Conflicts: 1110000 | #Constraints: 89054
2889.74/2898.47 c #Conflicts: 1111000 | #Constraints: 90054
2889.74/2898.47 c #Conflicts: 1112000 | #Constraints: 91054
2889.74/2898.47 c #Conflicts: 1113000 | #Constraints: 92054
2889.74/2898.47 c #Conflicts: 1114000 | #Constraints: 93054
2889.74/2898.47 c #Conflicts: 1115000 | #Constraints: 94054
2889.74/2898.47 c #Conflicts: 1116000 | #Constraints: 95054
2889.74/2898.47 c #Conflicts: 1117000 | #Constraints: 96054
2889.74/2898.47 c #Conflicts: 1118000 | #Constraints: 97054
2889.74/2898.47 c #Conflicts: 1119000 | #Constraints: 98054
2889.74/2898.47 c #Conflicts: 1120000 | #Constraints: 99054
2889.74/2898.47 c #Conflicts: 1121000 | #Constraints: 100054
2889.74/2898.47 c #Conflicts: 1122000 | #Constraints: 101054
2889.74/2898.47 c #Conflicts: 1123000 | #Constraints: 102054
2889.74/2898.47 c #Conflicts: 1124000 | #Constraints: 103054
2889.74/2898.47 c #Conflicts: 1125000 | #Constraints: 104054
2889.74/2898.47 c #Conflicts: 1126000 | #Constraints: 105054
2889.74/2898.47 c #Conflicts: 1127000 | #Constraints: 106054
2889.74/2898.47 c #Conflicts: 1128000 | #Constraints: 107054
2889.74/2898.47 c #Conflicts: 1129000 | #Constraints: 108054
2889.74/2898.47 c #Conflicts: 1130000 | #Constraints: 109054
2889.74/2898.47 c #Conflicts: 1131000 | #Constraints: 110054
2889.74/2898.47 c #Conflicts: 1132000 | #Constraints: 111054
2889.74/2898.47 c #Conflicts: 1133000 | #Constraints: 112054
2889.74/2898.47 c #Conflicts: 1134000 | #Constraints: 113054
2889.74/2898.47 c #Conflicts: 1135000 | #Constraints: 114054
2889.74/2898.47 c #Conflicts: 1136000 | #Constraints: 115054
2889.74/2898.47 c #Conflicts: 1137000 | #Constraints: 116054
2889.74/2898.47 c #Conflicts: 1138000 | #Constraints: 117054
2889.74/2898.47 c INPROCESSING
2889.74/2898.47 c GARBAGE COLLECT
2889.74/2898.47 c #Conflicts: 1139000 | #Constraints: 84835
2889.74/2898.47 c #Conflicts: 1140000 | #Constraints: 85835
2889.74/2898.47 c #Conflicts: 1141000 | #Constraints: 86835
2889.74/2898.47 c #Conflicts: 1142000 | #Constraints: 87835
2889.74/2898.47 c #Conflicts: 1143000 | #Constraints: 88835
2889.74/2898.47 c #Conflicts: 1144000 | #Constraints: 89835
2889.74/2898.47 c #Conflicts: 1145000 | #Constraints: 90835
2889.74/2898.47 c #Conflicts: 1146000 | #Constraints: 91835
2889.74/2898.47 c #Conflicts: 1147000 | #Constraints: 92835
2889.74/2898.47 c #Conflicts: 1148000 | #Constraints: 93835
2889.74/2898.47 c #Conflicts: 1149000 | #Constraints: 94835
2889.74/2898.47 c #Conflicts: 1150000 | #Constraints: 95835
2889.74/2898.47 c #Conflicts: 1151000 | #Constraints: 96835
2889.74/2898.47 c #Conflicts: 1152000 | #Constraints: 97835
2889.74/2898.47 c #Conflicts: 1153000 | #Constraints: 98835
2889.74/2898.47 c #Conflicts: 1154000 | #Constraints: 99835
2889.74/2898.47 c #Conflicts: 1155000 | #Constraints: 100835
2889.74/2898.47 c #Conflicts: 1156000 | #Constraints: 101835
2889.74/2898.47 c #Conflicts: 1157000 | #Constraints: 102835
2889.74/2898.47 c #Conflicts: 1158000 | #Constraints: 103835
2889.74/2898.47 c #Conflicts: 1159000 | #Constraints: 104835
2889.74/2898.47 c #Conflicts: 1160000 | #Constraints: 105835
2889.74/2898.47 c #Conflicts: 1161000 | #Constraints: 106835
2889.74/2898.47 c #Conflicts: 1162000 | #Constraints: 107835
2889.74/2898.47 c #Conflicts: 1163000 | #Constraints: 108835
2889.74/2898.47 c #Conflicts: 1164000 | #Constraints: 109835
2889.74/2898.47 c #Conflicts: 1165000 | #Constraints: 110835
2889.74/2898.47 c #Conflicts: 1166000 | #Constraints: 111835
2889.74/2898.47 c #Conflicts: 1167000 | #Constraints: 112835
2889.74/2898.47 c #Conflicts: 1168000 | #Constraints: 113835
3039.21/3048.32 c #Conflicts: 1169000 | #Constraints: 114835
3039.21/3048.32 c #Conflicts: 1170000 | #Constraints: 115835
3039.21/3048.32 c #Conflicts: 1171000 | #Constraints: 116835
3039.21/3048.32 c #Conflicts: 1172000 | #Constraints: 117835
3039.21/3048.32 c #Conflicts: 1173000 | #Constraints: 118835
3039.21/3048.32 c #Conflicts: 1174000 | #Constraints: 119835
3039.21/3048.32 c #Conflicts: 1175000 | #Constraints: 120835
3039.21/3048.32 c #Conflicts: 1176000 | #Constraints: 121835
3039.21/3048.32 c #Conflicts: 1177000 | #Constraints: 122835
3039.21/3048.32 c #Conflicts: 1178000 | #Constraints: 123835
3039.21/3048.32 c #Conflicts: 1179000 | #Constraints: 124835
3039.21/3048.32 c #Conflicts: 1180000 | #Constraints: 125835
3039.21/3048.32 c #Conflicts: 1181000 | #Constraints: 126835
3039.21/3048.32 c #Conflicts: 1182000 | #Constraints: 127835
3039.21/3048.32 c #Conflicts: 1183000 | #Constraints: 128835
3039.21/3048.32 c #Conflicts: 1184000 | #Constraints: 129835
3039.21/3048.32 c #Conflicts: 1185000 | #Constraints: 130835
3039.21/3048.32 c #Conflicts: 1186000 | #Constraints: 131835
3039.21/3048.32 c #Conflicts: 1187000 | #Constraints: 132835
3039.21/3048.32 c #Conflicts: 1188000 | #Constraints: 133835
3039.21/3048.32 c #Conflicts: 1189000 | #Constraints: 134835
3039.21/3048.32 c #Conflicts: 1190000 | #Constraints: 135835
3039.21/3048.32 c #Conflicts: 1191000 | #Constraints: 136835
3039.21/3048.32 c #Conflicts: 1192000 | #Constraints: 137835
3039.21/3048.32 c #Conflicts: 1193000 | #Constraints: 138835
3039.21/3048.32 c #Conflicts: 1194000 | #Constraints: 139835
3039.21/3048.32 c #Conflicts: 1195000 | #Constraints: 140835
3039.21/3048.32 c #Conflicts: 1196000 | #Constraints: 141835
3039.21/3048.32 c #Conflicts: 1197000 | #Constraints: 142835
3039.21/3048.32 c #Conflicts: 1198000 | #Constraints: 143835
3039.21/3048.32 c #Conflicts: 1199000 | #Constraints: 144835
3039.21/3048.32 c #Conflicts: 1200000 | #Constraints: 145835
3039.21/3048.32 c #Conflicts: 1201000 | #Constraints: 146835
3039.21/3048.32 c #Conflicts: 1202000 | #Constraints: 147835
3039.21/3048.32 c #Conflicts: 1203000 | #Constraints: 148835
3039.21/3048.32 c #Conflicts: 1204000 | #Constraints: 149835
3039.21/3048.32 c #Conflicts: 1205000 | #Constraints: 150835
3039.21/3048.32 c #Conflicts: 1206000 | #Constraints: 151835
3039.21/3048.32 c #Conflicts: 1207000 | #Constraints: 152835
3039.21/3048.32 c #Conflicts: 1208000 | #Constraints: 153835
3039.21/3048.32 c #Conflicts: 1209000 | #Constraints: 154835
3039.21/3048.32 c INPROCESSING
3039.21/3048.32 c GARBAGE COLLECT
3039.21/3048.32 c rational objective 182
3143.13/3152.56 c #Conflicts: 1210000 | #Constraints: 90614
3143.13/3152.56 c #Conflicts: 1211000 | #Constraints: 91614
3143.13/3152.56 c #Conflicts: 1212000 | #Constraints: 92614
3143.13/3152.56 c #Conflicts: 1213000 | #Constraints: 93614
3143.13/3152.56 c #Conflicts: 1214000 | #Constraints: 94614
3143.13/3152.56 c #Conflicts: 1215000 | #Constraints: 95614
3143.13/3152.56 c #Conflicts: 1216000 | #Constraints: 96614
3143.13/3152.56 c #Conflicts: 1217000 | #Constraints: 97614
3143.13/3152.56 c #Conflicts: 1218000 | #Constraints: 98614
3143.13/3152.56 c #Conflicts: 1219000 | #Constraints: 99614
3143.13/3152.56 c #Conflicts: 1220000 | #Constraints: 100614
3143.13/3152.56 c #Conflicts: 1221000 | #Constraints: 101614
3143.13/3152.56 c #Conflicts: 1222000 | #Constraints: 102614
3143.13/3152.56 c #Conflicts: 1223000 | #Constraints: 103614
3143.13/3152.56 c #Conflicts: 1224000 | #Constraints: 104614
3143.13/3152.56 c #Conflicts: 1225000 | #Constraints: 105614
3143.13/3152.56 c #Conflicts: 1226000 | #Constraints: 106614
3143.13/3152.56 c #Conflicts: 1227000 | #Constraints: 107614
3143.13/3152.56 c #Conflicts: 1228000 | #Constraints: 108614
3143.13/3152.56 c #Conflicts: 1229000 | #Constraints: 109614
3143.13/3152.56 c #Conflicts: 1230000 | #Constraints: 110614
3143.13/3152.56 c #Conflicts: 1231000 | #Constraints: 111614
3143.13/3152.56 c #Conflicts: 1232000 | #Constraints: 112614
3143.13/3152.56 c #Conflicts: 1233000 | #Constraints: 113614
3143.13/3152.56 c #Conflicts: 1234000 | #Constraints: 114614
3143.13/3152.56 c #Conflicts: 1235000 | #Constraints: 115614
3143.13/3152.56 c #Conflicts: 1236000 | #Constraints: 116614
3143.13/3152.56 c #Conflicts: 1237000 | #Constraints: 117614
3143.13/3152.56 c #Conflicts: 1238000 | #Constraints: 118614
3143.13/3152.56 c #Conflicts: 1239000 | #Constraints: 119614
3143.13/3152.56 c #Conflicts: 1240000 | #Constraints: 120614
3143.13/3152.56 c INPROCESSING
3143.13/3152.56 c GARBAGE COLLECT
3143.13/3152.56 c rational objective 182
3375.61/3385.64 c #Conflicts: 1241000 | #Constraints: 87724
3375.61/3385.64 c #Conflicts: 1242000 | #Constraints: 88724
3375.61/3385.64 c #Conflicts: 1243000 | #Constraints: 89724
3375.61/3385.64 c #Conflicts: 1244000 | #Constraints: 90724
3375.61/3385.64 c #Conflicts: 1245000 | #Constraints: 91724
3375.61/3385.64 c #Conflicts: 1246000 | #Constraints: 92724
3375.61/3385.64 c #Conflicts: 1247000 | #Constraints: 93724
3375.61/3385.64 c #Conflicts: 1248000 | #Constraints: 94724
3375.61/3385.64 c #Conflicts: 1249000 | #Constraints: 95724
3375.61/3385.64 c #Conflicts: 1250000 | #Constraints: 96724
3375.61/3385.64 c #Conflicts: 1251000 | #Constraints: 97724
3375.61/3385.64 c #Conflicts: 1252000 | #Constraints: 98724
3375.61/3385.64 c #Conflicts: 1253000 | #Constraints: 99724
3375.61/3385.64 c #Conflicts: 1254000 | #Constraints: 100724
3375.61/3385.64 c #Conflicts: 1255000 | #Constraints: 101724
3375.61/3385.64 c #Conflicts: 1256000 | #Constraints: 102724
3375.61/3385.64 c #Conflicts: 1257000 | #Constraints: 103724
3375.61/3385.64 c #Conflicts: 1258000 | #Constraints: 104724
3375.61/3385.64 c #Conflicts: 1259000 | #Constraints: 105724
3375.61/3385.64 c #Conflicts: 1260000 | #Constraints: 106724
3375.61/3385.64 c #Conflicts: 1261000 | #Constraints: 107724
3375.61/3385.64 c #Conflicts: 1262000 | #Constraints: 108724
3375.61/3385.64 c #Conflicts: 1263000 | #Constraints: 109724
3375.61/3385.64 c #Conflicts: 1264000 | #Constraints: 110724
3375.61/3385.64 c #Conflicts: 1265000 | #Constraints: 111724
3375.61/3385.64 c #Conflicts: 1266000 | #Constraints: 112724
3375.61/3385.64 c #Conflicts: 1267000 | #Constraints: 113724
3375.61/3385.64 c #Conflicts: 1268000 | #Constraints: 114724
3375.61/3385.64 c #Conflicts: 1269000 | #Constraints: 115724
3375.61/3385.64 c #Conflicts: 1270000 | #Constraints: 116724
3375.61/3385.64 c #Conflicts: 1271000 | #Constraints: 117724
3375.61/3385.64 c #Conflicts: 1272000 | #Constraints: 118724
3375.61/3385.64 c #Conflicts: 1273000 | #Constraints: 119724
3375.61/3385.64 c #Conflicts: 1274000 | #Constraints: 120724
3375.61/3385.64 c #Conflicts: 1275000 | #Constraints: 121724
3375.61/3385.64 c #Conflicts: 1276000 | #Constraints: 122724
3375.61/3385.64 c #Conflicts: 1277000 | #Constraints: 123724
3375.61/3385.64 c #Conflicts: 1278000 | #Constraints: 124724
3375.61/3385.64 c #Conflicts: 1279000 | #Constraints: 125724
3375.61/3385.64 c #Conflicts: 1280000 | #Constraints: 126724
3375.61/3385.64 c #Conflicts: 1281000 | #Constraints: 127724
3375.61/3385.64 c #Conflicts: 1282000 | #Constraints: 128724
3375.61/3385.64 c #Conflicts: 1283000 | #Constraints: 129724
3375.61/3385.64 c #Conflicts: 1284000 | #Constraints: 130724
3375.61/3385.64 c #Conflicts: 1285000 | #Constraints: 131724
3375.61/3385.64 c #Conflicts: 1286000 | #Constraints: 132724
3375.61/3385.64 c #Conflicts: 1287000 | #Constraints: 133724
3375.61/3385.64 c #Conflicts: 1288000 | #Constraints: 134724
3375.61/3385.64 c #Conflicts: 1289000 | #Constraints: 135724
3375.61/3385.64 c #Conflicts: 1290000 | #Constraints: 136724
3375.61/3385.64 c #Conflicts: 1291000 | #Constraints: 137724
3375.61/3385.64 c #Conflicts: 1292000 | #Constraints: 138724
3375.61/3385.64 c #Conflicts: 1293000 | #Constraints: 139724
3375.61/3385.64 c #Conflicts: 1294000 | #Constraints: 140724
3375.61/3385.64 c #Conflicts: 1295000 | #Constraints: 141724
3375.61/3385.64 c #Conflicts: 1296000 | #Constraints: 142724
3375.61/3385.64 c #Conflicts: 1297000 | #Constraints: 143724
3375.61/3385.64 c #Conflicts: 1298000 | #Constraints: 144724
3375.61/3385.64 c #Conflicts: 1299000 | #Constraints: 145724
3375.61/3385.64 c #Conflicts: 1300000 | #Constraints: 146724
3375.61/3385.64 c #Conflicts: 1301000 | #Constraints: 147724
3375.61/3385.64 c #Conflicts: 1302000 | #Constraints: 148724
3375.61/3385.64 c #Conflicts: 1303000 | #Constraints: 149724
3375.61/3385.64 c #Conflicts: 1304000 | #Constraints: 150724
3375.61/3385.64 c #Conflicts: 1305000 | #Constraints: 151724
3375.61/3385.64 c #Conflicts: 1306000 | #Constraints: 152724
3375.61/3385.64 c #Conflicts: 1307000 | #Constraints: 153724
3375.61/3385.64 c #Conflicts: 1308000 | #Constraints: 154724
3375.61/3385.64 c #Conflicts: 1309000 | #Constraints: 155724
3375.61/3385.64 c #Conflicts: 1310000 | #Constraints: 156724
3375.61/3385.64 c #Conflicts: 1311000 | #Constraints: 157724
3375.61/3385.64 c #Conflicts: 1312000 | #Constraints: 158724
3375.61/3385.64 c #Conflicts: 1313000 | #Constraints: 159724
3375.61/3385.64 c #Conflicts: 1314000 | #Constraints: 160724
3375.61/3385.64 c #Conflicts: 1315000 | #Constraints: 161724
3375.61/3385.64 c INPROCESSING
3375.61/3385.64 c GARBAGE COLLECT
3375.61/3385.64 c #Conflicts: 1316000 | #Constraints: 94470
3375.61/3385.64 c #Conflicts: 1317000 | #Constraints: 95470
3375.61/3385.64 c #Conflicts: 1318000 | #Constraints: 96470
3375.61/3385.64 c #Conflicts: 1319000 | #Constraints: 97470
3600.01/3610.60 c #Conflicts: 1320000 | #Constraints: 98470
3600.01/3610.60 c #Conflicts: 1321000 | #Constraints: 99470
3600.01/3610.60 c #Conflicts: 1322000 | #Constraints: 100471
3600.01/3610.60 c #Conflicts: 1323000 | #Constraints: 101471
3600.01/3610.60 c #Conflicts: 1324000 | #Constraints: 102471
3600.01/3610.60 c #Conflicts: 1325000 | #Constraints: 103471
3600.01/3610.60 c #Conflicts: 1326000 | #Constraints: 104471
3600.01/3610.60 c #Conflicts: 1327000 | #Constraints: 105471
3600.01/3610.60 c #Conflicts: 1328000 | #Constraints: 106471
3600.01/3610.60 c #Conflicts: 1329000 | #Constraints: 107471
3600.01/3610.60 c #Conflicts: 1330000 | #Constraints: 108471
3600.01/3610.60 c #Conflicts: 1331000 | #Constraints: 109471
3600.01/3610.60 c #Conflicts: 1332000 | #Constraints: 110471
3600.01/3610.60 c #Conflicts: 1333000 | #Constraints: 111471
3600.01/3610.60 c #Conflicts: 1334000 | #Constraints: 112471
3600.01/3610.60 c #Conflicts: 1335000 | #Constraints: 113471
3600.01/3610.60 c #Conflicts: 1336000 | #Constraints: 114471
3600.01/3610.60 c #Conflicts: 1337000 | #Constraints: 115471
3600.01/3610.60 c #Conflicts: 1338000 | #Constraints: 116471
3600.01/3610.60 c #Conflicts: 1339000 | #Constraints: 117471
3600.01/3610.60 c #Conflicts: 1340000 | #Constraints: 118471
3600.01/3610.60 c #Conflicts: 1341000 | #Constraints: 119471
3600.01/3610.60 c #Conflicts: 1342000 | #Constraints: 120471
3600.01/3610.60 c #Conflicts: 1343000 | #Constraints: 121471
3600.01/3610.60 c #Conflicts: 1344000 | #Constraints: 122471
3600.01/3610.60 c #Conflicts: 1345000 | #Constraints: 123471
3600.01/3610.60 c #Conflicts: 1346000 | #Constraints: 124471
3600.01/3610.60 c #Conflicts: 1347000 | #Constraints: 125471
3600.01/3610.60 c INPROCESSING
3600.01/3610.60 c GARBAGE COLLECT
3600.01/3610.60 c #Conflicts: 1348000 | #Constraints: 91021
3600.01/3610.60 c #Conflicts: 1349000 | #Constraints: 92021
3600.01/3610.60 c #Conflicts: 1350000 | #Constraints: 93021
3600.01/3610.60 c #Conflicts: 1351000 | #Constraints: 94021
3600.01/3610.60 c #Conflicts: 1352000 | #Constraints: 95021
3600.01/3610.60 c #Conflicts: 1353000 | #Constraints: 96021
3600.01/3610.60 c #Conflicts: 1354000 | #Constraints: 97021
3600.01/3610.60 c #Conflicts: 1355000 | #Constraints: 98021
3600.01/3610.60 c #Conflicts: 1356000 | #Constraints: 99021
3600.01/3610.60 c #Conflicts: 1357000 | #Constraints: 100021
3600.01/3610.60 c #Conflicts: 1358000 | #Constraints: 101021
3600.01/3610.60 c #Conflicts: 1359000 | #Constraints: 102021
3600.01/3610.60 c #Conflicts: 1360000 | #Constraints: 103021
3600.01/3610.60 c #Conflicts: 1361000 | #Constraints: 104021
3600.01/3610.60 c #Conflicts: 1362000 | #Constraints: 105021
3600.01/3610.60 c #Conflicts: 1363000 | #Constraints: 106021
3600.01/3610.60 c #Conflicts: 1364000 | #Constraints: 107021
3600.01/3610.60 c #Conflicts: 1365000 | #Constraints: 108021
3600.01/3610.60 c #Conflicts: 1366000 | #Constraints: 109021
3600.01/3610.60 c #Conflicts: 1367000 | #Constraints: 110021
3600.01/3610.60 c #Conflicts: 1368000 | #Constraints: 111021
3600.01/3610.60 c #Conflicts: 1369000 | #Constraints: 112021
3600.01/3610.60 c #Conflicts: 1370000 | #Constraints: 113021
3600.01/3610.60 c #Conflicts: 1371000 | #Constraints: 114021
3600.01/3610.60 c #Conflicts: 1372000 | #Constraints: 115021
3600.01/3610.60 c #Conflicts: 1373000 | #Constraints: 116021
3600.01/3610.60 c #Conflicts: 1374000 | #Constraints: 117021
3600.01/3610.60 c #Conflicts: 1375000 | #Constraints: 118021
3600.01/3610.60 c #Conflicts: 1376000 | #Constraints: 119021
3600.01/3610.60 c #Conflicts: 1377000 | #Constraints: 120021
3600.01/3610.60 c #Conflicts: 1378000 | #Constraints: 121021
3600.01/3610.60 c #Conflicts: 1379000 | #Constraints: 122021
3600.01/3610.60 c #Conflicts: 1380000 | #Constraints: 123021
3600.01/3610.60 c #Conflicts: 1381000 | #Constraints: 124021
3600.01/3610.60 c #Conflicts: 1382000 | #Constraints: 125021
3600.01/3610.60 c #Conflicts: 1383000 | #Constraints: 126021
3600.01/3610.60 c #Conflicts: 1384000 | #Constraints: 127021
3600.01/3610.60 c #Conflicts: 1385000 | #Constraints: 128021
3600.01/3610.60 c #Conflicts: 1386000 | #Constraints: 129021
3600.01/3610.60 c #Conflicts: 1387000 | #Constraints: 130021
3600.01/3610.60 c #Conflicts: 1388000 | #Constraints: 131021
3600.01/3610.60 c #Conflicts: 1389000 | #Constraints: 132021
3600.01/3610.60 c #Conflicts: 1390000 | #Constraints: 133021
3600.01/3610.60 c #Conflicts: 1391000 | #Constraints: 134021
3600.01/3610.60 c #Conflicts: 1392000 | #Constraints: 135021
3600.01/3610.60 c #Conflicts: 1393000 | #Constraints: 136021
3600.01/3610.60 c #Conflicts: 1394000 | #Constraints: 137021
3600.01/3610.60 c #Conflicts: 1395000 | #Constraints: 138021
3600.01/3610.60 c cpu time 3561.09 s
3600.01/3610.60 c deterministic time 252624594717 2.53e+11
3600.01/3610.60 c optimization time 118.046 s
3600.01/3610.60 c total solve time 3442.92 s
3600.01/3610.60 c core-guided solve time 0 s
3600.01/3610.60 c propagation time 1906.51 s
3600.01/3610.60 c conflict analysis time 1233 s
3600.01/3610.60 c propagations 1445625494
3600.01/3610.60 c resolve steps 81120704
3600.01/3610.60 c decisions 37799934
3600.01/3610.60 c conflicts 1395151
3600.01/3610.60 c restarts 2683
3600.01/3610.60 c inprocessing phases 49
3600.01/3610.60 c garbage collections 49 ,( 100.00 )
3600.01/3610.60 c input clauses 21842 ,( 99.17 )
3600.01/3610.60 c input cardinalities 182 ,( 0.83 )
3600.01/3610.60 c input general constraints 0 ,( 0.00 )
3600.01/3610.60 c input average constraint length 6.43
3600.01/3610.60 c input average constraint degree 1.97
3600.01/3610.60 c learned clauses 1013152 ,( 72.62 )
3600.01/3610.60 c learned cardinalities 49037 ,( 3.51 )
3600.01/3610.60 c learned general constraints 332975 ,( 23.87 )
3600.01/3610.60 c learned average constraint length 715.69
3600.01/3610.60 c learned average constraint degree 12304628.69
3600.01/3610.60 c watched CF 32, 64, 128, Arb: 81202 , 0 , 0 , 0
3600.01/3610.60 c counting CF 32, 64, 128, Arb: 251773 , 0 , 0 , 0
3600.01/3610.60 c watched constraints 81202 ,( 24.39 )
3600.01/3610.60 c counting constraints 251773 ,( 75.61 )
3600.01/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1345206590 , 811564892 , 1799610150 ,( 85974397 , 1713635753 )
3600.01/3610.60 c gcd simplifications 735
3600.01/3610.60 c detected cardinalities 7843
3600.01/3610.60 c weakened non-implied lits 379660697
3600.01/3610.60 c weakened non-implying lits 201246
3600.01/3610.60 c original variables 21658
3600.01/3610.60 c clausal propagations 670520224
3600.01/3610.60 c cardinality propagations 536616780
3600.01/3610.60 c watched propagations 4440810
3600.01/3610.60 c counting propagations 220457992
3600.01/3610.60 c watch lookups 76595192096
3600.01/3610.60 c watch backjump lookups 0
3600.01/3610.60 c watch checks 34650754718
3600.01/3610.60 c propagation checks 133671148678
3600.01/3610.60 c constraint additions 4738985116
3600.01/3610.60 c trail pops 1484799382
3600.01/3610.60 c formula constraints 22024
3600.01/3610.60 c learned constraints 1395144
3600.01/3610.60 c bound constraints 0
3600.01/3610.60 c core-guided constraints 0
3600.01/3610.60 c encountered formula constraints 50276959
3600.01/3610.60 c encountered learned constraints 32238283
3600.01/3610.60 c encountered bound constraints 0
3600.01/3610.60 c encountered core-guided constraints 0
3600.01/3610.60 c LP total time 386.825 s
3600.01/3610.60 c LP solve time 364.44 s
3600.01/3610.60 c LP constraints added 22819
3600.01/3610.60 c LP constraints removed 399
3600.01/3610.60 c LP pivots internal 151597
3600.01/3610.60 c LP pivots root 137701
3600.01/3610.60 c LP calls 19
3600.01/3610.60 c LP optimalities 7
3600.01/3610.60 c LP no pivot count 0
3600.01/3610.60 c LP infeasibilities 6
3600.01/3610.60 c LP valid Farkas constraints 6
3600.01/3610.60 c LP learned Farkas constraints 6
3600.01/3610.60 c LP basis resets 0
3600.01/3610.60 c LP cycling count 0
3600.01/3610.60 c LP singular count 0
3600.01/3610.60 c LP no primal count 0
3600.01/3610.60 c LP no farkas count 0
3600.01/3610.60 c LP other issue count 0
3600.01/3610.60 c LP Gomory cuts 8
3600.01/3610.60 c LP learned cuts 787
3600.01/3610.60 c LP deleted cuts 399
3600.01/3610.60 c LP encountered Gomory constraints 4
3600.01/3610.60 c LP encountered Farkas constraints 599
3600.01/3610.60 c LP encountered learned Farkas constraints 4
3600.01/3610.60 c CG auxiliary variables introduced 0
3600.01/3610.60 c CG solutions found 0
3600.01/3610.60 c CG cores constructed 0
3600.01/3610.60 c CG core cardinality constraints returned 0
3600.01/3610.60 c CG unit cores 0
3600.01/3610.60 c CG single cores 0
3600.01/3610.60 c CG blocks removed during cardinality reduction 0
3600.01/3610.60 c CG first core best 0
3600.01/3610.60 c CG decision core best 0
3600.01/3610.60 c CG core reduction tie 0
3600.01/3610.60 c CG core degree average 0.00
3600.01/3610.60 c CG core slack average 0.00
3600.01/3610.60 c CG core upper bound improvements 0
3600.01/3610.60 c STR number of successful calls 0
3600.01/3610.60 c STR number of unsuccessful calls 0
3600.01/3610.60 c STR number of inconclusive calls 0
3600.01/3610.60 c STR number of successful attempts 0
3600.01/3610.60 c STR number of unsuccessful attempts 0
3600.01/3610.60 c STR number of inconclusive attempts 0
3600.01/3610.60 c STR average degree increase per successful call inf
3600.01/3610.60 c STR average degree increase per successful attempt inf
3600.01/3610.60 c STR total number of conflicts for successful attempts 0
3600.01/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.60 c STR average number of conflicts per successful attempt inf
3600.01/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.60 c AVG.sumWPerc 66.88
3600.01/3610.60 c bigint constraints 0
3600.01/3610.60 s UNKNOWN
3600.01/3610.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: 63708 MiB (58142 MiB free)
memory of node 1: 64465 MiB (57839 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507195-1751175745/watcher-4507195-1751175745 -o /tmp/evaluation-result-4507195-1751175745/solver-4507195-1751175745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20846 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507195-1751175745.opb PROOFDIR/proof-4507195-1751175745
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21614, runsolver pid=21611
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.11 4.09 5/274 21616
/proc/meminfo: memFree=118753496/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=69756 memory=24496 CPUtime=0.08 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 4033 0 0 0 6 2 0 0 20 0 1 0 33249066 71430144 6124 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 17439 6124 1984 1147 0 4866 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 73948 KiB
Current children cumulated memory: 27568 KiB
[startup+0.205768 s]*
/proc/loadavg: 4.10 4.11 4.09 5/274 21616
/proc/meminfo: memFree=118719568/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=114788 memory=64400 CPUtime=0.18 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 12368 0 0 0 15 3 0 0 20 0 1 0 33249066 117542912 16100 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 28697 16100 2240 1147 0 16124 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 118980 KiB
Current children cumulated memory: 67472 KiB
[startup+0.305682 s]*
/proc/loadavg: 4.10 4.11 4.09 5/274 21616
/proc/meminfo: memFree=118711504/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=119468 memory=66832 CPUtime=0.27 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 12991 0 0 0 24 3 0 0 20 0 1 0 33249066 122335232 16708 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 29867 16708 2240 1147 0 17294 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 69904 KiB
[startup+0.700192 s]
/proc/loadavg: 4.10 4.11 4.09 5/274 21616
/proc/meminfo: memFree=118703440/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=119468 memory=67472 CPUtime=0.67 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 13109 0 0 0 63 4 0 0 20 0 1 0 33249066 122335232 16868 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 29867 16868 2272 1147 0 17294 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 70544 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/274 21616
/proc/meminfo: memFree=118687312/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=119468 memory=67472 CPUtime=1.47 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 13109 0 0 0 143 4 0 0 20 0 1 0 33249066 122335232 16868 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 29867 16868 2272 1147 0 17294 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 123660 KiB
Current children cumulated memory: 70544 KiB
[startup+3.10592 s]
/proc/loadavg: 4.09 4.11 4.09 5/274 21616
/proc/meminfo: memFree=118621040/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=122520 memory=70800 CPUtime=3.06 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 13979 0 0 0 302 4 0 0 20 0 1 0 33249066 125460480 17700 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 30630 17700 2272 1147 0 18057 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 126712 KiB
Current children cumulated memory: 73872 KiB
[startup+6.30019 s]
/proc/loadavg: 4.16 4.12 4.09 5/274 21616
/proc/meminfo: memFree=118518040/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=127040 memory=79080 CPUtime=6.25 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 15448 0 0 0 610 15 0 0 20 0 1 0 33249066 130088960 19770 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 31760 19770 2336 1147 0 19187 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 131232 KiB
Current children cumulated memory: 82152 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/274 21616
/proc/meminfo: memFree=118472448/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=135748 memory=85608 CPUtime=12.63 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 17089 0 0 0 1233 30 0 0 20 0 1 0 33249066 139005952 21402 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 33937 21402 2336 1147 0 21364 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 139940 KiB
Current children cumulated memory: 88680 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.13 4.10 5/274 21616
/proc/meminfo: memFree=118350860/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=163372 memory=109396 CPUtime=25.4 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 22529 0 0 0 2473 67 0 0 20 0 1 0 33249066 167292928 27349 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 40843 27349 2336 1147 0 28270 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 167564 KiB
Current children cumulated memory: 112468 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.14 4.10 5/272 21617
/proc/meminfo: memFree=118179372/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=189156 memory=130488 CPUtime=50.93 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 26858 0 0 0 4961 132 0 0 20 0 1 0 33249066 193695744 32622 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 47289 32622 2336 1147 0 34716 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 193348 KiB
Current children cumulated memory: 133560 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/273 21621
/proc/meminfo: memFree=117870828/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=244340 memory=190924 CPUtime=101.99 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 36434 0 0 0 9967 232 0 0 20 0 1 0 33249066 250204160 47731 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 61085 47731 2336 1147 0 48512 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 248532 KiB
Current children cumulated memory: 193996 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/273 21628
/proc/meminfo: memFree=117290644/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=294444 memory=215988 CPUtime=161.83 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 41164 0 0 0 15848 335 0 0 20 0 1 0 33249066 301510656 53997 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 73611 53997 2336 1147 0 61038 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 298636 KiB
Current children cumulated memory: 219060 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/274 21631
/proc/meminfo: memFree=116755680/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=310960 memory=237048 CPUtime=221.68 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 45423 0 0 0 21709 459 0 0 20 0 1 0 33249066 318423040 59262 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 77740 59262 2336 1147 0 65167 0
################
# More data... #
################
/proc/21616/statm: 295296 274312 2336 1147 0 282723 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 1185376 KiB
Current children cumulated memory: 1100320 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/273 21980
/proc/meminfo: memFree=115610352/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1233204 memory=1144096 CPUtime=3093.07 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 151102 0 0 0 305876 3431 0 0 20 0 1 0 33249066 1262800896 286024 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 308301 286024 2336 1147 0 295728 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 1237396 KiB
Current children cumulated memory: 1147168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/273 21985
/proc/meminfo: memFree=114897012/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1336332 memory=1244704 CPUtime=3152.91 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 176268 0 0 0 311809 3482 0 0 20 0 1 0 33249066 1368403968 311176 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 334083 311176 2336 1147 0 321510 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 1340524 KiB
Current children cumulated memory: 1247776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 21992
/proc/meminfo: memFree=114443952/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1336332 memory=1244704 CPUtime=3212.75 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 176268 0 0 0 317711 3564 0 0 20 0 1 0 33249066 1368403968 311176 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 334083 311176 2336 1147 0 321510 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 1340524 KiB
Current children cumulated memory: 1247776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/274 21996
/proc/meminfo: memFree=114011812/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1336332 memory=1244704 CPUtime=3272.59 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 176268 0 0 0 323638 3621 0 0 20 0 1 0 33249066 1368403968 311176 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 334083 311176 2336 1147 0 321510 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 1340524 KiB
Current children cumulated memory: 1247776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/274 21998
/proc/meminfo: memFree=113640488/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1336332 memory=1244832 CPUtime=3332.42 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 176393 0 0 0 329577 3665 0 0 20 0 1 0 33249066 1368403968 311208 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 334083 311208 2336 1147 0 321510 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 1340524 KiB
Current children cumulated memory: 1247904 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/274 22000
/proc/meminfo: memFree=113256280/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1351376 memory=1257120 CPUtime=3392.26 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 179489 0 0 0 335522 3704 0 0 20 0 1 0 33249066 1383809024 314280 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 337844 314280 2336 1147 0 325271 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 1355568 KiB
Current children cumulated memory: 1260192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/274 22002
/proc/meminfo: memFree=112847432/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1351376 memory=1257120 CPUtime=3452.1 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 179493 0 0 0 341452 3758 0 0 20 0 1 0 33249066 1383809024 314280 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 337844 314280 2336 1147 0 325271 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 1355568 KiB
Current children cumulated memory: 1260192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/274 22005
/proc/meminfo: memFree=112461068/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1351376 memory=1257120 CPUtime=3511.95 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 179493 0 0 0 347390 3805 0 0 20 0 1 0 33249066 1383809024 314280 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 337844 314280 2336 1147 0 325271 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 1355568 KiB
Current children cumulated memory: 1260192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/273 22008
/proc/meminfo: memFree=112083276/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1351376 memory=1257120 CPUtime=3571.79 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 179493 0 0 0 353311 3868 0 0 20 0 1 0 33249066 1383809024 314280 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 337844 314280 2336 1147 0 325271 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 1355568 KiB
Current children cumulated memory: 1260192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.16 4.15 4.10 5/273 22008
/proc/meminfo: memFree=111920656/131249992 swapFree=33010672/33010684
[pid=21614] ppid=21611 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/21614/stat : 21614 (run-dec-ls-log.) S 21611 21614 20833 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33249066 4292608 768 18446744073709551615 94555867066368 94555867960901 140726894285536 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94555868199952 94555868247696 94555882942464 140726894291227 140726894291425 140726894291425 140726894297027 0
/proc/21614/statm: 1048 768 704 219 0 110 0
[pid=21616] ppid=21614 vsize=1351376 memory=1257120 CPUtime=3600.01 cores=5,7
/proc/21616/stat : 21616 (roundingsat) R 21614 21614 20833 0 -1 4194304 179493 0 0 0 356108 3893 0 0 20 0 1 0 33249066 1383809024 314280 18446744073709551615 4227072 8923433 140728162728736 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12054528 140728162736464 140728162736680 140728162736680 140728162742250 0
/proc/21616/statm: 337844 314280 2336 1147 0 325271 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1355568 KiB
Current children cumulated memory: 1260192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 21614 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002139 s, system=0 s
[startup+3610.66 s]
# the end of solver process 21616 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.11 s, system=38.9448 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): 3610.66
CPU time (s): 3600.05
CPU user time (s): 3561.11
CPU system time (s): 38.9448
CPU usage (%): 99.7064
Max. virtual memory (cumulated for all children) (KiB): 1355568
Max. memory (cumulated for all children) (KiB): 1260192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.11
system time used= 38.9448
maximum resident set size= 1257632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179723
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11739992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 408
involuntary context switches= 22498
# summary of solver processes directly reported to runsolver:
# pid: 21614,21616
# total CPU time (s): 3600.05
# total CPU user time (s): 3561.11
# total CPU system time (s): 38.9448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.64194 second user time and 13.7556 second system time
The end
Begin job on nodeC035 at 2025-06-29 07:42:25
IDJOB=4507195
IDBENCH=158329
IDSOLVER=3354
FILE ID=nodeC035/4507195-1751175745
RUNJOBID= nodeC035-1751170667-20846
SLURM_JOB_ID= 9587529
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507195-1751175745/watcher-4507195-1751175745 -o /tmp/evaluation-result-4507195-1751175745/solver-4507195-1751175745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20846 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507195-1751175745.opb PROOFDIR/proof-4507195-1751175745
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20
RANDOM SEED=1203413612
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.647
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3582.426
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.238
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.746
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.196
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3635.938
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 118765808 kB
MemAvailable: 128000100 kB
Buffers: 2352 kB
Cached: 10028976 kB
SwapCached: 8 kB
Active: 2054996 kB
Inactive: 9829776 kB
Active(anon): 1865464 kB
Inactive(anon): 6040 kB
Active(file): 189532 kB
Inactive(file): 9823736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55404 kB
Writeback: 0 kB
AnonPages: 1854872 kB
Mapped: 116156 kB
Shmem: 18056 kB
KReclaimable: 120528 kB
Slab: 207424 kB
SReclaimable: 120528 kB
SUnreclaim: 86896 kB
KernelStack: 4416 kB
PageTables: 6832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2432644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 741376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC035 at 2025-06-29 08:42:36