0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.39/0.43 c #variables 21658 #constraints 22024
96.38/96.76 c #Conflicts: 1000 | #Constraints: 23023
96.38/96.76 c #Conflicts: 2000 | #Constraints: 24023
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 3000 | #Constraints: 23375
96.38/96.76 c #Conflicts: 4000 | #Constraints: 24375
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 5000 | #Constraints: 23892
96.38/96.76 c #Conflicts: 6000 | #Constraints: 24892
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 7000 | #Constraints: 23967
96.38/96.76 c #Conflicts: 8000 | #Constraints: 24967
96.38/96.76 c #Conflicts: 9000 | #Constraints: 25967
96.38/96.76 c #Conflicts: 10000 | #Constraints: 26967
96.38/96.76 c #Conflicts: 11000 | #Constraints: 27967
96.38/96.76 c #Conflicts: 12000 | #Constraints: 28967
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 13000 | #Constraints: 26025
96.38/96.76 c #Conflicts: 14000 | #Constraints: 27025
96.38/96.76 c #Conflicts: 15000 | #Constraints: 28025
96.38/96.76 c #Conflicts: 16000 | #Constraints: 29025
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 17000 | #Constraints: 26538
96.38/96.76 c #Conflicts: 18000 | #Constraints: 27538
96.38/96.76 c #Conflicts: 19000 | #Constraints: 28538
96.38/96.76 c #Conflicts: 20000 | #Constraints: 29538
96.38/96.76 c #Conflicts: 21000 | #Constraints: 30538
96.38/96.76 c #Conflicts: 22000 | #Constraints: 31538
96.38/96.76 c #Conflicts: 23000 | #Constraints: 32538
96.38/96.76 c #Conflicts: 24000 | #Constraints: 33538
96.38/96.76 c #Conflicts: 25000 | #Constraints: 34538
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 26000 | #Constraints: 28975
96.38/96.76 c #Conflicts: 27000 | #Constraints: 29975
96.38/96.76 c #Conflicts: 28000 | #Constraints: 30975
96.38/96.76 c #Conflicts: 29000 | #Constraints: 31975
96.38/96.76 c #Conflicts: 30000 | #Constraints: 32975
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 31000 | #Constraints: 28902
96.38/96.76 c #Conflicts: 32000 | #Constraints: 29902
96.38/96.76 c #Conflicts: 33000 | #Constraints: 30902
96.38/96.76 c #Conflicts: 34000 | #Constraints: 31902
96.38/96.76 c #Conflicts: 35000 | #Constraints: 32902
96.38/96.76 c #Conflicts: 36000 | #Constraints: 33902
96.38/96.76 c #Conflicts: 37000 | #Constraints: 34902
96.38/96.76 c #Conflicts: 38000 | #Constraints: 35902
96.38/96.76 c #Conflicts: 39000 | #Constraints: 36902
96.38/96.76 c #Conflicts: 40000 | #Constraints: 37902
96.38/96.76 c #Conflicts: 41000 | #Constraints: 38902
96.38/96.76 c #Conflicts: 42000 | #Constraints: 39902
96.38/96.76 c #Conflicts: 43000 | #Constraints: 40902
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 44000 | #Constraints: 32525
96.38/96.76 c #Conflicts: 45000 | #Constraints: 33525
96.38/96.76 c #Conflicts: 46000 | #Constraints: 34525
96.38/96.76 c #Conflicts: 47000 | #Constraints: 35525
96.38/96.76 c #Conflicts: 48000 | #Constraints: 36525
96.38/96.76 c #Conflicts: 49000 | #Constraints: 37525
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 50000 | #Constraints: 32112
96.38/96.76 c #Conflicts: 51000 | #Constraints: 33112
96.38/96.76 c #Conflicts: 52000 | #Constraints: 34112
96.38/96.76 c #Conflicts: 53000 | #Constraints: 35112
96.38/96.76 c #Conflicts: 54000 | #Constraints: 36112
96.38/96.76 c #Conflicts: 55000 | #Constraints: 37112
96.38/96.76 c #Conflicts: 56000 | #Constraints: 38112
96.38/96.76 c #Conflicts: 57000 | #Constraints: 39112
96.38/96.76 c #Conflicts: 58000 | #Constraints: 40112
96.38/96.76 c #Conflicts: 59000 | #Constraints: 41112
96.38/96.76 c #Conflicts: 60000 | #Constraints: 42112
96.38/96.76 c #Conflicts: 61000 | #Constraints: 43112
96.38/96.76 c #Conflicts: 62000 | #Constraints: 44112
96.38/96.76 c #Conflicts: 63000 | #Constraints: 45112
96.38/96.76 c #Conflicts: 64000 | #Constraints: 46112
96.38/96.76 c #Conflicts: 65000 | #Constraints: 47112
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
96.38/96.76 c #Conflicts: 66000 | #Constraints: 35936
96.38/96.76 c #Conflicts: 67000 | #Constraints: 36936
96.38/96.76 c #Conflicts: 68000 | #Constraints: 37936
96.38/96.76 c #Conflicts: 69000 | #Constraints: 38936
96.38/96.76 c #Conflicts: 70000 | #Constraints: 39936
96.38/96.76 c #Conflicts: 71000 | #Constraints: 40936
96.38/96.76 c #Conflicts: 72000 | #Constraints: 41936
96.38/96.76 c INPROCESSING
96.38/96.76 c GARBAGE COLLECT
219.64/220.39 c #Conflicts: 73000 | #Constraints: 34907
219.64/220.39 c #Conflicts: 74000 | #Constraints: 35907
219.64/220.39 c #Conflicts: 75000 | #Constraints: 36907
219.64/220.39 c #Conflicts: 76000 | #Constraints: 37907
219.64/220.39 c #Conflicts: 77000 | #Constraints: 38907
219.64/220.39 c #Conflicts: 78000 | #Constraints: 39907
219.64/220.39 c #Conflicts: 79000 | #Constraints: 40907
219.64/220.39 c #Conflicts: 80000 | #Constraints: 41907
219.64/220.39 c #Conflicts: 81000 | #Constraints: 42907
219.64/220.39 c #Conflicts: 82000 | #Constraints: 43907
219.64/220.39 c #Conflicts: 83000 | #Constraints: 44907
219.64/220.39 c #Conflicts: 84000 | #Constraints: 45907
219.64/220.39 c #Conflicts: 85000 | #Constraints: 46907
219.64/220.39 c #Conflicts: 86000 | #Constraints: 47907
219.64/220.39 c #Conflicts: 87000 | #Constraints: 48907
219.64/220.39 c #Conflicts: 88000 | #Constraints: 49907
219.64/220.39 c #Conflicts: 89000 | #Constraints: 50907
219.64/220.39 c #Conflicts: 90000 | #Constraints: 51907
219.64/220.39 c #Conflicts: 91000 | #Constraints: 52907
219.64/220.39 c INPROCESSING
219.64/220.39 c GARBAGE COLLECT
219.64/220.39 c #Conflicts: 92000 | #Constraints: 38818
219.64/220.39 c #Conflicts: 93000 | #Constraints: 39818
219.64/220.39 c #Conflicts: 94000 | #Constraints: 40818
219.64/220.39 c #Conflicts: 95000 | #Constraints: 41818
219.64/220.39 c #Conflicts: 96000 | #Constraints: 42818
219.64/220.39 c #Conflicts: 97000 | #Constraints: 43818
219.64/220.39 c #Conflicts: 98000 | #Constraints: 44818
219.64/220.39 c #Conflicts: 99000 | #Constraints: 45818
219.64/220.39 c #Conflicts: 100000 | #Constraints: 46818
219.64/220.39 c INPROCESSING
219.64/220.39 c GARBAGE COLLECT
219.64/220.39 c #Conflicts: 101000 | #Constraints: 38347
219.64/220.39 c #Conflicts: 102000 | #Constraints: 39347
219.64/220.39 c #Conflicts: 103000 | #Constraints: 40347
219.64/220.39 c #Conflicts: 104000 | #Constraints: 41347
219.64/220.39 c #Conflicts: 105000 | #Constraints: 42347
219.64/220.39 c #Conflicts: 106000 | #Constraints: 43347
219.64/220.39 c #Conflicts: 107000 | #Constraints: 44347
219.64/220.39 c #Conflicts: 108000 | #Constraints: 45347
219.64/220.39 c #Conflicts: 109000 | #Constraints: 46347
219.64/220.39 c #Conflicts: 110000 | #Constraints: 47347
219.64/220.39 c #Conflicts: 111000 | #Constraints: 48347
219.64/220.39 c #Conflicts: 112000 | #Constraints: 49347
219.64/220.39 c #Conflicts: 113000 | #Constraints: 50347
219.64/220.39 c #Conflicts: 114000 | #Constraints: 51347
219.64/220.39 c #Conflicts: 115000 | #Constraints: 52347
219.64/220.39 c #Conflicts: 116000 | #Constraints: 53347
219.64/220.39 c #Conflicts: 117000 | #Constraints: 54347
219.64/220.39 c #Conflicts: 118000 | #Constraints: 55347
219.64/220.39 c #Conflicts: 119000 | #Constraints: 56347
219.64/220.39 c #Conflicts: 120000 | #Constraints: 57347
219.64/220.39 c #Conflicts: 121000 | #Constraints: 58347
219.64/220.39 c INPROCESSING
219.64/220.39 c GARBAGE COLLECT
219.64/220.39 c #Conflicts: 122000 | #Constraints: 41448
219.64/220.39 c #Conflicts: 123000 | #Constraints: 42448
219.64/220.39 c #Conflicts: 124000 | #Constraints: 43448
219.64/220.39 c #Conflicts: 125000 | #Constraints: 44448
219.64/220.39 c #Conflicts: 126000 | #Constraints: 45448
219.64/220.39 c #Conflicts: 127000 | #Constraints: 46448
219.64/220.39 c #Conflicts: 128000 | #Constraints: 47448
219.64/220.39 c #Conflicts: 129000 | #Constraints: 48448
219.64/220.39 c #Conflicts: 130000 | #Constraints: 49448
219.64/220.39 c #Conflicts: 131000 | #Constraints: 50448
219.64/220.39 c #Conflicts: 132000 | #Constraints: 51448
219.64/220.39 c INPROCESSING
219.64/220.39 c GARBAGE COLLECT
219.64/220.39 c #Conflicts: 133000 | #Constraints: 42050
219.64/220.39 c #Conflicts: 134000 | #Constraints: 43050
219.64/220.39 c #Conflicts: 135000 | #Constraints: 44050
219.64/220.39 c #Conflicts: 136000 | #Constraints: 45050
219.64/220.39 c #Conflicts: 137000 | #Constraints: 46050
219.64/220.39 c #Conflicts: 138000 | #Constraints: 47050
219.64/220.39 c #Conflicts: 139000 | #Constraints: 48050
219.64/220.39 c #Conflicts: 140000 | #Constraints: 49050
219.64/220.39 c #Conflicts: 141000 | #Constraints: 50050
219.64/220.39 c #Conflicts: 142000 | #Constraints: 51050
219.64/220.39 c #Conflicts: 143000 | #Constraints: 52050
219.64/220.39 c #Conflicts: 144000 | #Constraints: 53050
219.64/220.39 c #Conflicts: 145000 | #Constraints: 54050
219.64/220.39 c #Conflicts: 146000 | #Constraints: 55050
219.64/220.39 c #Conflicts: 147000 | #Constraints: 56050
219.64/220.39 c #Conflicts: 148000 | #Constraints: 57050
219.64/220.39 c #Conflicts: 149000 | #Constraints: 58050
336.60/337.69 c #Conflicts: 150000 | #Constraints: 59050
336.60/337.69 c #Conflicts: 151000 | #Constraints: 60050
336.60/337.69 c #Conflicts: 152000 | #Constraints: 61050
336.60/337.69 c #Conflicts: 153000 | #Constraints: 62050
336.60/337.69 c #Conflicts: 154000 | #Constraints: 63050
336.60/337.69 c #Conflicts: 155000 | #Constraints: 64050
336.60/337.69 c #Conflicts: 156000 | #Constraints: 65050
336.60/337.69 c INPROCESSING
336.60/337.69 c GARBAGE COLLECT
336.60/337.69 c #Conflicts: 157000 | #Constraints: 44671
336.60/337.69 c #Conflicts: 158000 | #Constraints: 45671
336.60/337.69 c #Conflicts: 159000 | #Constraints: 46671
336.60/337.69 c #Conflicts: 160000 | #Constraints: 47671
336.60/337.69 c #Conflicts: 161000 | #Constraints: 48671
336.60/337.69 c #Conflicts: 162000 | #Constraints: 49671
336.60/337.69 c #Conflicts: 163000 | #Constraints: 50671
336.60/337.69 c #Conflicts: 164000 | #Constraints: 51671
336.60/337.69 c #Conflicts: 165000 | #Constraints: 52671
336.60/337.69 c #Conflicts: 166000 | #Constraints: 53671
336.60/337.69 c #Conflicts: 167000 | #Constraints: 54671
336.60/337.69 c #Conflicts: 168000 | #Constraints: 55671
336.60/337.69 c INPROCESSING
336.60/337.69 c GARBAGE COLLECT
336.60/337.69 c #Conflicts: 169000 | #Constraints: 44816
336.60/337.69 c #Conflicts: 170000 | #Constraints: 45816
336.60/337.69 c #Conflicts: 171000 | #Constraints: 46816
336.60/337.69 c #Conflicts: 172000 | #Constraints: 47816
336.60/337.69 c #Conflicts: 173000 | #Constraints: 48816
336.60/337.69 c #Conflicts: 174000 | #Constraints: 49816
336.60/337.69 c #Conflicts: 175000 | #Constraints: 50816
336.60/337.69 c #Conflicts: 176000 | #Constraints: 51816
336.60/337.69 c #Conflicts: 177000 | #Constraints: 52816
336.60/337.69 c #Conflicts: 178000 | #Constraints: 53816
336.60/337.69 c #Conflicts: 179000 | #Constraints: 54816
336.60/337.69 c #Conflicts: 180000 | #Constraints: 55816
336.60/337.69 c #Conflicts: 181000 | #Constraints: 56816
336.60/337.69 c #Conflicts: 182000 | #Constraints: 57816
336.60/337.69 c #Conflicts: 183000 | #Constraints: 58816
336.60/337.69 c #Conflicts: 184000 | #Constraints: 59816
336.60/337.69 c #Conflicts: 185000 | #Constraints: 60816
336.60/337.69 c #Conflicts: 186000 | #Constraints: 61816
336.60/337.69 c #Conflicts: 187000 | #Constraints: 62816
336.60/337.69 c #Conflicts: 188000 | #Constraints: 63816
336.60/337.69 c #Conflicts: 189000 | #Constraints: 64816
336.60/337.69 c #Conflicts: 190000 | #Constraints: 65816
336.60/337.69 c #Conflicts: 191000 | #Constraints: 66816
336.60/337.69 c #Conflicts: 192000 | #Constraints: 67816
336.60/337.69 c #Conflicts: 193000 | #Constraints: 68816
336.60/337.69 c #Conflicts: 194000 | #Constraints: 69816
336.60/337.69 c #Conflicts: 195000 | #Constraints: 70816
336.60/337.69 c #Conflicts: 196000 | #Constraints: 71816
336.60/337.69 c INPROCESSING
336.60/337.69 c GARBAGE COLLECT
336.60/337.69 c #Conflicts: 197000 | #Constraints: 48696
336.60/337.69 c #Conflicts: 198000 | #Constraints: 49696
336.60/337.69 c #Conflicts: 199000 | #Constraints: 50696
336.60/337.69 c #Conflicts: 200000 | #Constraints: 51696
336.60/337.69 c #Conflicts: 201000 | #Constraints: 52696
336.60/337.69 c #Conflicts: 202000 | #Constraints: 53696
336.60/337.69 c #Conflicts: 203000 | #Constraints: 54696
336.60/337.69 c #Conflicts: 204000 | #Constraints: 55696
336.60/337.69 c #Conflicts: 205000 | #Constraints: 56696
336.60/337.69 c #Conflicts: 206000 | #Constraints: 57696
336.60/337.69 c #Conflicts: 207000 | #Constraints: 58696
336.60/337.69 c #Conflicts: 208000 | #Constraints: 59696
336.60/337.69 c #Conflicts: 209000 | #Constraints: 60696
336.60/337.69 c INPROCESSING
336.60/337.69 c GARBAGE COLLECT
336.60/337.69 c #Conflicts: 210000 | #Constraints: 48267
336.60/337.69 c #Conflicts: 211000 | #Constraints: 49267
336.60/337.69 c #Conflicts: 212000 | #Constraints: 50267
336.60/337.69 c #Conflicts: 213000 | #Constraints: 51267
336.60/337.69 c #Conflicts: 214000 | #Constraints: 52267
336.60/337.69 c #Conflicts: 215000 | #Constraints: 53267
336.60/337.69 c #Conflicts: 216000 | #Constraints: 54267
336.60/337.69 c #Conflicts: 217000 | #Constraints: 55267
336.60/337.69 c #Conflicts: 218000 | #Constraints: 56267
336.60/337.69 c #Conflicts: 219000 | #Constraints: 57267
336.60/337.69 c #Conflicts: 220000 | #Constraints: 58267
336.60/337.69 c #Conflicts: 221000 | #Constraints: 59267
336.60/337.69 c #Conflicts: 222000 | #Constraints: 60267
336.60/337.69 c #Conflicts: 223000 | #Constraints: 61267
336.60/337.69 c #Conflicts: 224000 | #Constraints: 62267
336.60/337.69 c #Conflicts: 225000 | #Constraints: 63267
562.87/564.51 c #Conflicts: 226000 | #Constraints: 64267
562.87/564.51 c #Conflicts: 227000 | #Constraints: 65267
562.87/564.51 c #Conflicts: 228000 | #Constraints: 66267
562.87/564.51 c #Conflicts: 229000 | #Constraints: 67267
562.87/564.51 c #Conflicts: 230000 | #Constraints: 68267
562.87/564.51 c #Conflicts: 231000 | #Constraints: 69267
562.87/564.51 c #Conflicts: 232000 | #Constraints: 70267
562.87/564.51 c #Conflicts: 233000 | #Constraints: 71267
562.87/564.51 c #Conflicts: 234000 | #Constraints: 72267
562.87/564.51 c #Conflicts: 235000 | #Constraints: 73267
562.87/564.51 c #Conflicts: 236000 | #Constraints: 74267
562.87/564.51 c #Conflicts: 237000 | #Constraints: 75267
562.87/564.51 c #Conflicts: 238000 | #Constraints: 76267
562.87/564.51 c #Conflicts: 239000 | #Constraints: 77267
562.87/564.51 c #Conflicts: 240000 | #Constraints: 78267
562.87/564.51 c INPROCESSING
562.87/564.51 c GARBAGE COLLECT
562.87/564.51 c #Conflicts: 241000 | #Constraints: 52067
562.87/564.51 c #Conflicts: 242000 | #Constraints: 53067
562.87/564.51 c #Conflicts: 243000 | #Constraints: 54067
562.87/564.51 c #Conflicts: 244000 | #Constraints: 55067
562.87/564.51 c #Conflicts: 245000 | #Constraints: 56067
562.87/564.51 c #Conflicts: 246000 | #Constraints: 57067
562.87/564.51 c #Conflicts: 247000 | #Constraints: 58067
562.87/564.51 c #Conflicts: 248000 | #Constraints: 59067
562.87/564.51 c #Conflicts: 249000 | #Constraints: 60067
562.87/564.51 c #Conflicts: 250000 | #Constraints: 61067
562.87/564.51 c #Conflicts: 251000 | #Constraints: 62067
562.87/564.51 c #Conflicts: 252000 | #Constraints: 63067
562.87/564.51 c #Conflicts: 253000 | #Constraints: 64067
562.87/564.51 c #Conflicts: 254000 | #Constraints: 65067
562.87/564.51 c INPROCESSING
562.87/564.51 c GARBAGE COLLECT
562.87/564.51 c #Conflicts: 255000 | #Constraints: 50824
562.87/564.51 c #Conflicts: 256000 | #Constraints: 51824
562.87/564.51 c #Conflicts: 257000 | #Constraints: 52824
562.87/564.51 c #Conflicts: 258000 | #Constraints: 53824
562.87/564.51 c #Conflicts: 259000 | #Constraints: 54824
562.87/564.51 c #Conflicts: 260000 | #Constraints: 55824
562.87/564.51 c #Conflicts: 261000 | #Constraints: 56824
562.87/564.51 c #Conflicts: 262000 | #Constraints: 57824
562.87/564.51 c #Conflicts: 263000 | #Constraints: 58824
562.87/564.51 c #Conflicts: 264000 | #Constraints: 59824
562.87/564.51 c #Conflicts: 265000 | #Constraints: 60824
562.87/564.51 c #Conflicts: 266000 | #Constraints: 61824
562.87/564.51 c #Conflicts: 267000 | #Constraints: 62824
562.87/564.51 c #Conflicts: 268000 | #Constraints: 63824
562.87/564.51 c #Conflicts: 269000 | #Constraints: 64824
562.87/564.51 c #Conflicts: 270000 | #Constraints: 65824
562.87/564.51 c #Conflicts: 271000 | #Constraints: 66824
562.87/564.51 c #Conflicts: 272000 | #Constraints: 67824
562.87/564.51 c #Conflicts: 273000 | #Constraints: 68824
562.87/564.51 c #Conflicts: 274000 | #Constraints: 69824
562.87/564.51 c #Conflicts: 275000 | #Constraints: 70824
562.87/564.51 c #Conflicts: 276000 | #Constraints: 71824
562.87/564.51 c #Conflicts: 277000 | #Constraints: 72824
562.87/564.51 c #Conflicts: 278000 | #Constraints: 73824
562.87/564.51 c #Conflicts: 279000 | #Constraints: 74824
562.87/564.51 c #Conflicts: 280000 | #Constraints: 75824
562.87/564.51 c #Conflicts: 281000 | #Constraints: 76824
562.87/564.51 c #Conflicts: 282000 | #Constraints: 77824
562.87/564.51 c #Conflicts: 283000 | #Constraints: 78824
562.87/564.51 c #Conflicts: 284000 | #Constraints: 79824
562.87/564.51 c #Conflicts: 285000 | #Constraints: 80824
562.87/564.51 c #Conflicts: 286000 | #Constraints: 81824
562.87/564.51 c #Conflicts: 287000 | #Constraints: 82824
562.87/564.51 c #Conflicts: 288000 | #Constraints: 83824
562.87/564.51 c INPROCESSING
562.87/564.51 c GARBAGE COLLECT
562.87/564.51 c #Conflicts: 289000 | #Constraints: 54668
562.87/564.51 c #Conflicts: 290000 | #Constraints: 55668
562.87/564.51 c #Conflicts: 291000 | #Constraints: 56668
562.87/564.51 c #Conflicts: 292000 | #Constraints: 57668
562.87/564.51 c #Conflicts: 293000 | #Constraints: 58668
562.87/564.51 c #Conflicts: 294000 | #Constraints: 59668
562.87/564.51 c #Conflicts: 295000 | #Constraints: 60668
562.87/564.51 c #Conflicts: 296000 | #Constraints: 61668
562.87/564.51 c #Conflicts: 297000 | #Constraints: 62668
562.87/564.51 c #Conflicts: 298000 | #Constraints: 63668
562.87/564.51 c #Conflicts: 299000 | #Constraints: 64668
562.87/564.51 c #Conflicts: 300000 | #Constraints: 65668
562.87/564.51 c #Conflicts: 301000 | #Constraints: 66668
562.87/564.51 c #Conflicts: 302000 | #Constraints: 67668
729.21/731.34 c #Conflicts: 303000 | #Constraints: 68668
729.21/731.34 c INPROCESSING
729.21/731.34 c GARBAGE COLLECT
729.21/731.34 c #Conflicts: 304000 | #Constraints: 53849
729.21/731.34 c #Conflicts: 305000 | #Constraints: 54849
729.21/731.34 c #Conflicts: 306000 | #Constraints: 55849
729.21/731.34 c #Conflicts: 307000 | #Constraints: 56849
729.21/731.34 c #Conflicts: 308000 | #Constraints: 57849
729.21/731.34 c #Conflicts: 309000 | #Constraints: 58849
729.21/731.34 c #Conflicts: 310000 | #Constraints: 59849
729.21/731.34 c #Conflicts: 311000 | #Constraints: 60849
729.21/731.34 c #Conflicts: 312000 | #Constraints: 61849
729.21/731.34 c #Conflicts: 313000 | #Constraints: 62849
729.21/731.34 c #Conflicts: 314000 | #Constraints: 63849
729.21/731.34 c #Conflicts: 315000 | #Constraints: 64849
729.21/731.34 c #Conflicts: 316000 | #Constraints: 65849
729.21/731.34 c #Conflicts: 317000 | #Constraints: 66849
729.21/731.34 c #Conflicts: 318000 | #Constraints: 67849
729.21/731.34 c #Conflicts: 319000 | #Constraints: 68849
729.21/731.34 c #Conflicts: 320000 | #Constraints: 69849
729.21/731.34 c #Conflicts: 321000 | #Constraints: 70849
729.21/731.34 c #Conflicts: 322000 | #Constraints: 71849
729.21/731.34 c #Conflicts: 323000 | #Constraints: 72849
729.21/731.34 c #Conflicts: 324000 | #Constraints: 73849
729.21/731.34 c #Conflicts: 325000 | #Constraints: 74849
729.21/731.34 c #Conflicts: 326000 | #Constraints: 75849
729.21/731.34 c #Conflicts: 327000 | #Constraints: 76849
729.21/731.34 c #Conflicts: 328000 | #Constraints: 77849
729.21/731.34 c #Conflicts: 329000 | #Constraints: 78849
729.21/731.34 c #Conflicts: 330000 | #Constraints: 79849
729.21/731.34 c #Conflicts: 331000 | #Constraints: 80849
729.21/731.34 c #Conflicts: 332000 | #Constraints: 81849
729.21/731.34 c #Conflicts: 333000 | #Constraints: 82849
729.21/731.34 c #Conflicts: 334000 | #Constraints: 83849
729.21/731.34 c #Conflicts: 335000 | #Constraints: 84849
729.21/731.34 c #Conflicts: 336000 | #Constraints: 85849
729.21/731.34 c #Conflicts: 337000 | #Constraints: 86849
729.21/731.34 c #Conflicts: 338000 | #Constraints: 87849
729.21/731.34 c #Conflicts: 339000 | #Constraints: 88849
729.21/731.34 c #Conflicts: 340000 | #Constraints: 89849
729.21/731.34 c INPROCESSING
729.21/731.34 c GARBAGE COLLECT
729.21/731.34 c #Conflicts: 341000 | #Constraints: 57417
729.21/731.34 c #Conflicts: 342000 | #Constraints: 58417
729.21/731.34 c #Conflicts: 343000 | #Constraints: 59417
729.21/731.34 c #Conflicts: 344000 | #Constraints: 60417
729.21/731.34 c #Conflicts: 345000 | #Constraints: 61417
729.21/731.34 c #Conflicts: 346000 | #Constraints: 62417
729.21/731.34 c #Conflicts: 347000 | #Constraints: 63417
729.21/731.34 c #Conflicts: 348000 | #Constraints: 64417
729.21/731.34 c #Conflicts: 349000 | #Constraints: 65417
729.21/731.34 c #Conflicts: 350000 | #Constraints: 66417
729.21/731.34 c #Conflicts: 351000 | #Constraints: 67417
729.21/731.34 c #Conflicts: 352000 | #Constraints: 68417
729.21/731.34 c #Conflicts: 353000 | #Constraints: 69417
729.21/731.34 c #Conflicts: 354000 | #Constraints: 70417
729.21/731.34 c #Conflicts: 355000 | #Constraints: 71417
729.21/731.34 c #Conflicts: 356000 | #Constraints: 72417
729.21/731.34 c #Conflicts: 357000 | #Constraints: 73417
729.21/731.34 c INPROCESSING
729.21/731.34 c GARBAGE COLLECT
729.21/731.34 c #Conflicts: 358000 | #Constraints: 56974
729.21/731.34 c #Conflicts: 359000 | #Constraints: 57974
729.21/731.34 c #Conflicts: 360000 | #Constraints: 58974
729.21/731.34 c #Conflicts: 361000 | #Constraints: 59974
729.21/731.34 c #Conflicts: 362000 | #Constraints: 60974
729.21/731.34 c #Conflicts: 363000 | #Constraints: 61974
729.21/731.34 c #Conflicts: 364000 | #Constraints: 62974
729.21/731.34 c #Conflicts: 365000 | #Constraints: 63974
729.21/731.34 c #Conflicts: 366000 | #Constraints: 64974
729.21/731.34 c #Conflicts: 367000 | #Constraints: 65974
729.21/731.34 c #Conflicts: 368000 | #Constraints: 66974
729.21/731.34 c #Conflicts: 369000 | #Constraints: 67974
729.21/731.34 c #Conflicts: 370000 | #Constraints: 68974
729.21/731.34 c #Conflicts: 371000 | #Constraints: 69974
729.21/731.34 c #Conflicts: 372000 | #Constraints: 70974
729.21/731.34 c #Conflicts: 373000 | #Constraints: 71974
729.21/731.34 c #Conflicts: 374000 | #Constraints: 72974
729.21/731.34 c #Conflicts: 375000 | #Constraints: 73974
729.21/731.34 c #Conflicts: 376000 | #Constraints: 74974
729.21/731.34 c #Conflicts: 377000 | #Constraints: 75974
729.21/731.34 c #Conflicts: 378000 | #Constraints: 76974
912.19/914.81 c #Conflicts: 379000 | #Constraints: 77974
912.19/914.81 c #Conflicts: 380000 | #Constraints: 78974
912.19/914.81 c #Conflicts: 381000 | #Constraints: 79974
912.19/914.81 c #Conflicts: 382000 | #Constraints: 80974
912.19/914.81 c #Conflicts: 383000 | #Constraints: 81974
912.19/914.81 c #Conflicts: 384000 | #Constraints: 82974
912.19/914.81 c #Conflicts: 385000 | #Constraints: 83974
912.19/914.81 c #Conflicts: 386000 | #Constraints: 84974
912.19/914.81 c #Conflicts: 387000 | #Constraints: 85974
912.19/914.81 c #Conflicts: 388000 | #Constraints: 86974
912.19/914.81 c #Conflicts: 389000 | #Constraints: 87974
912.19/914.81 c #Conflicts: 390000 | #Constraints: 88974
912.19/914.81 c #Conflicts: 391000 | #Constraints: 89974
912.19/914.81 c #Conflicts: 392000 | #Constraints: 90974
912.19/914.81 c #Conflicts: 393000 | #Constraints: 91974
912.19/914.81 c #Conflicts: 394000 | #Constraints: 92974
912.19/914.81 c #Conflicts: 395000 | #Constraints: 93974
912.19/914.81 c #Conflicts: 396000 | #Constraints: 94974
912.19/914.81 c #Conflicts: 397000 | #Constraints: 95974
912.19/914.81 c INPROCESSING
912.19/914.81 c GARBAGE COLLECT
912.19/914.81 c #Conflicts: 398000 | #Constraints: 60886
912.19/914.81 c #Conflicts: 399000 | #Constraints: 61886
912.19/914.81 c #Conflicts: 400000 | #Constraints: 62886
912.19/914.81 c #Conflicts: 401000 | #Constraints: 63886
912.19/914.81 c #Conflicts: 402000 | #Constraints: 64886
912.19/914.81 c #Conflicts: 403000 | #Constraints: 65886
912.19/914.81 c #Conflicts: 404000 | #Constraints: 66886
912.19/914.81 c #Conflicts: 405000 | #Constraints: 67886
912.19/914.81 c #Conflicts: 406000 | #Constraints: 68886
912.19/914.81 c #Conflicts: 407000 | #Constraints: 69886
912.19/914.81 c #Conflicts: 408000 | #Constraints: 70886
912.19/914.81 c #Conflicts: 409000 | #Constraints: 71886
912.19/914.81 c #Conflicts: 410000 | #Constraints: 72886
912.19/914.81 c #Conflicts: 411000 | #Constraints: 73886
912.19/914.81 c #Conflicts: 412000 | #Constraints: 74886
912.19/914.81 c #Conflicts: 413000 | #Constraints: 75886
912.19/914.81 c #Conflicts: 414000 | #Constraints: 76886
912.19/914.81 c #Conflicts: 415000 | #Constraints: 77886
912.19/914.81 c INPROCESSING
912.19/914.81 c GARBAGE COLLECT
912.19/914.81 c #Conflicts: 416000 | #Constraints: 59639
912.19/914.81 c #Conflicts: 417000 | #Constraints: 60639
912.19/914.81 c #Conflicts: 418000 | #Constraints: 61639
912.19/914.81 c #Conflicts: 419000 | #Constraints: 62639
912.19/914.81 c #Conflicts: 420000 | #Constraints: 63639
912.19/914.81 c #Conflicts: 421000 | #Constraints: 64639
912.19/914.81 c #Conflicts: 422000 | #Constraints: 65639
912.19/914.81 c #Conflicts: 423000 | #Constraints: 66639
912.19/914.81 c #Conflicts: 424000 | #Constraints: 67639
912.19/914.81 c #Conflicts: 425000 | #Constraints: 68639
912.19/914.81 c #Conflicts: 426000 | #Constraints: 69639
912.19/914.81 c #Conflicts: 427000 | #Constraints: 70639
912.19/914.81 c #Conflicts: 428000 | #Constraints: 71639
912.19/914.81 c #Conflicts: 429000 | #Constraints: 72639
912.19/914.81 c #Conflicts: 430000 | #Constraints: 73639
912.19/914.81 c #Conflicts: 431000 | #Constraints: 74639
912.19/914.81 c #Conflicts: 432000 | #Constraints: 75639
912.19/914.81 c #Conflicts: 433000 | #Constraints: 76639
912.19/914.81 c #Conflicts: 434000 | #Constraints: 77639
912.19/914.81 c #Conflicts: 435000 | #Constraints: 78639
912.19/914.81 c #Conflicts: 436000 | #Constraints: 79639
912.19/914.81 c #Conflicts: 437000 | #Constraints: 80639
912.19/914.81 c #Conflicts: 438000 | #Constraints: 81639
912.19/914.81 c #Conflicts: 439000 | #Constraints: 82639
912.19/914.81 c #Conflicts: 440000 | #Constraints: 83639
912.19/914.81 c #Conflicts: 441000 | #Constraints: 84639
912.19/914.81 c #Conflicts: 442000 | #Constraints: 85639
912.19/914.81 c #Conflicts: 443000 | #Constraints: 86639
912.19/914.81 c #Conflicts: 444000 | #Constraints: 87639
912.19/914.81 c #Conflicts: 445000 | #Constraints: 88639
912.19/914.81 c #Conflicts: 446000 | #Constraints: 89639
912.19/914.81 c #Conflicts: 447000 | #Constraints: 90639
912.19/914.81 c #Conflicts: 448000 | #Constraints: 91639
912.19/914.81 c #Conflicts: 449000 | #Constraints: 92639
912.19/914.81 c #Conflicts: 450000 | #Constraints: 93639
912.19/914.81 c #Conflicts: 451000 | #Constraints: 94639
912.19/914.81 c #Conflicts: 452000 | #Constraints: 95639
912.19/914.81 c #Conflicts: 453000 | #Constraints: 96639
912.19/914.81 c #Conflicts: 454000 | #Constraints: 97639
912.19/914.81 c #Conflicts: 455000 | #Constraints: 98639
912.19/914.81 c #Conflicts: 456000 | #Constraints: 99639
1151.74/1155.02 c #Conflicts: 457000 | #Constraints: 100639
1151.74/1155.02 c #Conflicts: 458000 | #Constraints: 101639
1151.74/1155.02 c #Conflicts: 459000 | #Constraints: 102639
1151.74/1155.02 c INPROCESSING
1151.74/1155.02 c GARBAGE COLLECT
1151.74/1155.02 c #Conflicts: 460000 | #Constraints: 64249
1151.74/1155.02 c #Conflicts: 461000 | #Constraints: 65249
1151.74/1155.02 c #Conflicts: 462000 | #Constraints: 66249
1151.74/1155.02 c #Conflicts: 463000 | #Constraints: 67249
1151.74/1155.02 c #Conflicts: 464000 | #Constraints: 68249
1151.74/1155.02 c #Conflicts: 465000 | #Constraints: 69249
1151.74/1155.02 c #Conflicts: 466000 | #Constraints: 70249
1151.74/1155.02 c #Conflicts: 467000 | #Constraints: 71249
1151.74/1155.02 c #Conflicts: 468000 | #Constraints: 72249
1151.74/1155.02 c #Conflicts: 469000 | #Constraints: 73249
1151.74/1155.02 c #Conflicts: 470000 | #Constraints: 74249
1151.74/1155.02 c #Conflicts: 471000 | #Constraints: 75249
1151.74/1155.02 c #Conflicts: 472000 | #Constraints: 76250
1151.74/1155.02 c #Conflicts: 473000 | #Constraints: 77250
1151.74/1155.02 c #Conflicts: 474000 | #Constraints: 78250
1151.74/1155.02 c #Conflicts: 475000 | #Constraints: 79250
1151.74/1155.02 c #Conflicts: 476000 | #Constraints: 80250
1151.74/1155.02 c #Conflicts: 477000 | #Constraints: 81250
1151.74/1155.02 c #Conflicts: 478000 | #Constraints: 82250
1151.74/1155.02 c INPROCESSING
1151.74/1155.02 c GARBAGE COLLECT
1151.74/1155.02 c #Conflicts: 479000 | #Constraints: 62511
1151.74/1155.02 c #Conflicts: 480000 | #Constraints: 63511
1151.74/1155.02 c #Conflicts: 481000 | #Constraints: 64511
1151.74/1155.02 c #Conflicts: 482000 | #Constraints: 65511
1151.74/1155.02 c #Conflicts: 483000 | #Constraints: 66511
1151.74/1155.02 c #Conflicts: 484000 | #Constraints: 67511
1151.74/1155.02 c #Conflicts: 485000 | #Constraints: 68511
1151.74/1155.02 c #Conflicts: 486000 | #Constraints: 69511
1151.74/1155.02 c #Conflicts: 487000 | #Constraints: 70511
1151.74/1155.02 c #Conflicts: 488000 | #Constraints: 71511
1151.74/1155.02 c #Conflicts: 489000 | #Constraints: 72511
1151.74/1155.02 c #Conflicts: 490000 | #Constraints: 73511
1151.74/1155.02 c #Conflicts: 491000 | #Constraints: 74511
1151.74/1155.02 c #Conflicts: 492000 | #Constraints: 75511
1151.74/1155.02 c #Conflicts: 493000 | #Constraints: 76511
1151.74/1155.02 c #Conflicts: 494000 | #Constraints: 77511
1151.74/1155.02 c #Conflicts: 495000 | #Constraints: 78511
1151.74/1155.02 c #Conflicts: 496000 | #Constraints: 79511
1151.74/1155.02 c #Conflicts: 497000 | #Constraints: 80511
1151.74/1155.02 c #Conflicts: 498000 | #Constraints: 81511
1151.74/1155.02 c #Conflicts: 499000 | #Constraints: 82511
1151.74/1155.02 c #Conflicts: 500000 | #Constraints: 83511
1151.74/1155.02 c #Conflicts: 501000 | #Constraints: 84511
1151.74/1155.02 c #Conflicts: 502000 | #Constraints: 85511
1151.74/1155.02 c #Conflicts: 503000 | #Constraints: 86511
1151.74/1155.02 c #Conflicts: 504000 | #Constraints: 87511
1151.74/1155.02 c #Conflicts: 505000 | #Constraints: 88511
1151.74/1155.02 c #Conflicts: 506000 | #Constraints: 89511
1151.74/1155.02 c #Conflicts: 507000 | #Constraints: 90511
1151.74/1155.02 c #Conflicts: 508000 | #Constraints: 91511
1151.74/1155.02 c #Conflicts: 509000 | #Constraints: 92511
1151.74/1155.02 c #Conflicts: 510000 | #Constraints: 93511
1151.74/1155.02 c #Conflicts: 511000 | #Constraints: 94511
1151.74/1155.02 c #Conflicts: 512000 | #Constraints: 95511
1151.74/1155.02 c #Conflicts: 513000 | #Constraints: 96511
1151.74/1155.02 c #Conflicts: 514000 | #Constraints: 97511
1151.74/1155.02 c #Conflicts: 515000 | #Constraints: 98511
1151.74/1155.02 c #Conflicts: 516000 | #Constraints: 99511
1151.74/1155.02 c #Conflicts: 517000 | #Constraints: 100511
1151.74/1155.02 c #Conflicts: 518000 | #Constraints: 101511
1151.74/1155.02 c #Conflicts: 519000 | #Constraints: 102511
1151.74/1155.02 c #Conflicts: 520000 | #Constraints: 103511
1151.74/1155.02 c #Conflicts: 521000 | #Constraints: 104511
1151.74/1155.02 c #Conflicts: 522000 | #Constraints: 105511
1151.74/1155.02 c #Conflicts: 523000 | #Constraints: 106511
1151.74/1155.02 c #Conflicts: 524000 | #Constraints: 107511
1151.74/1155.02 c #Conflicts: 525000 | #Constraints: 108511
1151.74/1155.02 c INPROCESSING
1151.74/1155.02 c GARBAGE COLLECT
1151.74/1155.02 c #Conflicts: 526000 | #Constraints: 67705
1151.74/1155.02 c #Conflicts: 527000 | #Constraints: 68705
1151.74/1155.02 c #Conflicts: 528000 | #Constraints: 69705
1151.74/1155.02 c #Conflicts: 529000 | #Constraints: 70705
1151.74/1155.02 c #Conflicts: 530000 | #Constraints: 71705
1151.74/1155.02 c #Conflicts: 531000 | #Constraints: 72705
1151.74/1155.02 c #Conflicts: 532000 | #Constraints: 73705
1151.74/1155.02 c #Conflicts: 533000 | #Constraints: 74705
1244.67/1248.23 c #Conflicts: 534000 | #Constraints: 75705
1244.67/1248.23 c #Conflicts: 535000 | #Constraints: 76705
1244.67/1248.23 c #Conflicts: 536000 | #Constraints: 77705
1244.67/1248.23 c #Conflicts: 537000 | #Constraints: 78705
1244.67/1248.23 c #Conflicts: 538000 | #Constraints: 79705
1244.67/1248.23 c #Conflicts: 539000 | #Constraints: 80705
1244.67/1248.23 c #Conflicts: 540000 | #Constraints: 81705
1244.67/1248.23 c #Conflicts: 541000 | #Constraints: 82705
1244.67/1248.23 c #Conflicts: 542000 | #Constraints: 83705
1244.67/1248.23 c #Conflicts: 543000 | #Constraints: 84705
1244.67/1248.23 c #Conflicts: 544000 | #Constraints: 85705
1244.67/1248.23 c #Conflicts: 545000 | #Constraints: 86705
1244.67/1248.23 c INPROCESSING
1244.67/1248.23 c GARBAGE COLLECT
1244.67/1248.23 c rational objective 182
1422.37/1426.46 c #Conflicts: 546000 | #Constraints: 64932
1422.37/1426.46 c #Conflicts: 547000 | #Constraints: 65932
1422.37/1426.46 c #Conflicts: 548000 | #Constraints: 66932
1422.37/1426.46 c #Conflicts: 549000 | #Constraints: 67932
1422.37/1426.46 c #Conflicts: 550000 | #Constraints: 68932
1422.37/1426.46 c #Conflicts: 551000 | #Constraints: 69932
1422.37/1426.46 c #Conflicts: 552000 | #Constraints: 70932
1422.37/1426.46 c #Conflicts: 553000 | #Constraints: 71932
1422.37/1426.46 c #Conflicts: 554000 | #Constraints: 72932
1422.37/1426.46 c #Conflicts: 555000 | #Constraints: 73932
1422.37/1426.46 c #Conflicts: 556000 | #Constraints: 74932
1422.37/1426.46 c #Conflicts: 557000 | #Constraints: 75932
1422.37/1426.46 c #Conflicts: 558000 | #Constraints: 76932
1422.37/1426.46 c #Conflicts: 559000 | #Constraints: 77932
1422.37/1426.46 c #Conflicts: 560000 | #Constraints: 78932
1422.37/1426.46 c #Conflicts: 561000 | #Constraints: 79932
1422.37/1426.46 c #Conflicts: 562000 | #Constraints: 80932
1422.37/1426.46 c #Conflicts: 563000 | #Constraints: 81932
1422.37/1426.46 c #Conflicts: 564000 | #Constraints: 82932
1422.37/1426.46 c #Conflicts: 565000 | #Constraints: 83932
1422.37/1426.46 c #Conflicts: 566000 | #Constraints: 84932
1422.37/1426.46 c #Conflicts: 567000 | #Constraints: 85932
1422.37/1426.46 c #Conflicts: 568000 | #Constraints: 86932
1422.37/1426.46 c #Conflicts: 569000 | #Constraints: 87932
1422.37/1426.46 c #Conflicts: 570000 | #Constraints: 88932
1422.37/1426.46 c #Conflicts: 571000 | #Constraints: 89932
1422.37/1426.46 c #Conflicts: 572000 | #Constraints: 90932
1422.37/1426.46 c #Conflicts: 573000 | #Constraints: 91932
1422.37/1426.46 c #Conflicts: 574000 | #Constraints: 92932
1422.37/1426.46 c #Conflicts: 575000 | #Constraints: 93932
1422.37/1426.46 c #Conflicts: 576000 | #Constraints: 94932
1422.37/1426.46 c #Conflicts: 577000 | #Constraints: 95932
1422.37/1426.46 c #Conflicts: 578000 | #Constraints: 96932
1422.37/1426.46 c #Conflicts: 579000 | #Constraints: 97932
1422.37/1426.46 c #Conflicts: 580000 | #Constraints: 98932
1422.37/1426.46 c #Conflicts: 581000 | #Constraints: 99932
1422.37/1426.46 c #Conflicts: 582000 | #Constraints: 100932
1422.37/1426.46 c #Conflicts: 583000 | #Constraints: 101932
1422.37/1426.46 c #Conflicts: 584000 | #Constraints: 102932
1422.37/1426.46 c #Conflicts: 585000 | #Constraints: 103932
1422.37/1426.46 c #Conflicts: 586000 | #Constraints: 104932
1422.37/1426.46 c #Conflicts: 587000 | #Constraints: 105932
1422.37/1426.46 c #Conflicts: 588000 | #Constraints: 106932
1422.37/1426.46 c #Conflicts: 589000 | #Constraints: 107932
1422.37/1426.46 c #Conflicts: 590000 | #Constraints: 108932
1422.37/1426.46 c #Conflicts: 591000 | #Constraints: 109932
1422.37/1426.46 c #Conflicts: 592000 | #Constraints: 110932
1422.37/1426.46 c #Conflicts: 593000 | #Constraints: 111932
1422.37/1426.46 c #Conflicts: 594000 | #Constraints: 112932
1422.37/1426.46 c #Conflicts: 595000 | #Constraints: 113932
1422.37/1426.46 c INPROCESSING
1422.37/1426.46 c GARBAGE COLLECT
1422.37/1426.46 c #Conflicts: 596000 | #Constraints: 70487
1422.37/1426.46 c #Conflicts: 597000 | #Constraints: 71487
1422.37/1426.46 c #Conflicts: 598000 | #Constraints: 72487
1422.37/1426.46 c #Conflicts: 599000 | #Constraints: 73487
1422.37/1426.46 c #Conflicts: 600000 | #Constraints: 74487
1422.37/1426.46 c #Conflicts: 601000 | #Constraints: 75487
1422.37/1426.46 c #Conflicts: 602000 | #Constraints: 76487
1422.37/1426.46 c #Conflicts: 603000 | #Constraints: 77487
1422.37/1426.46 c #Conflicts: 604000 | #Constraints: 78487
1422.37/1426.46 c #Conflicts: 605000 | #Constraints: 79487
1422.37/1426.46 c #Conflicts: 606000 | #Constraints: 80487
1422.37/1426.46 c #Conflicts: 607000 | #Constraints: 81487
1422.37/1426.46 c #Conflicts: 608000 | #Constraints: 82487
1422.37/1426.46 c #Conflicts: 609000 | #Constraints: 83487
1422.37/1426.46 c #Conflicts: 610000 | #Constraints: 84487
1422.37/1426.46 c #Conflicts: 611000 | #Constraints: 85487
1422.37/1426.46 c #Conflicts: 612000 | #Constraints: 86487
1422.37/1426.46 c #Conflicts: 613000 | #Constraints: 87487
1422.37/1426.46 c #Conflicts: 614000 | #Constraints: 88487
1422.37/1426.46 c #Conflicts: 615000 | #Constraints: 89487
1422.37/1426.46 c #Conflicts: 616000 | #Constraints: 90487
1422.37/1426.46 c #Conflicts: 617000 | #Constraints: 91487
1422.37/1426.46 c INPROCESSING
1422.37/1426.46 c GARBAGE COLLECT
1422.37/1426.46 c #Conflicts: 618000 | #Constraints: 68341
1422.37/1426.46 c #Conflicts: 619000 | #Constraints: 69341
1422.37/1426.46 c #Conflicts: 620000 | #Constraints: 70341
1422.37/1426.46 c #Conflicts: 621000 | #Constraints: 71341
1422.37/1426.46 c #Conflicts: 622000 | #Constraints: 72341
1422.37/1426.46 c #Conflicts: 623000 | #Constraints: 73341
1622.70/1627.31 c #Conflicts: 624000 | #Constraints: 74341
1622.70/1627.31 c #Conflicts: 625000 | #Constraints: 75341
1622.70/1627.31 c #Conflicts: 626000 | #Constraints: 76341
1622.70/1627.31 c #Conflicts: 627000 | #Constraints: 77342
1622.70/1627.31 c #Conflicts: 628000 | #Constraints: 78342
1622.70/1627.31 c #Conflicts: 629000 | #Constraints: 79342
1622.70/1627.31 c #Conflicts: 630000 | #Constraints: 80342
1622.70/1627.31 c #Conflicts: 631000 | #Constraints: 81342
1622.70/1627.31 c #Conflicts: 632000 | #Constraints: 82342
1622.70/1627.31 c #Conflicts: 633000 | #Constraints: 83342
1622.70/1627.31 c #Conflicts: 634000 | #Constraints: 84342
1622.70/1627.31 c #Conflicts: 635000 | #Constraints: 85342
1622.70/1627.31 c #Conflicts: 636000 | #Constraints: 86342
1622.70/1627.31 c #Conflicts: 637000 | #Constraints: 87342
1622.70/1627.31 c #Conflicts: 638000 | #Constraints: 88342
1622.70/1627.31 c #Conflicts: 639000 | #Constraints: 89342
1622.70/1627.31 c #Conflicts: 640000 | #Constraints: 90342
1622.70/1627.31 c #Conflicts: 641000 | #Constraints: 91342
1622.70/1627.31 c #Conflicts: 642000 | #Constraints: 92342
1622.70/1627.31 c #Conflicts: 643000 | #Constraints: 93342
1622.70/1627.31 c #Conflicts: 644000 | #Constraints: 94342
1622.70/1627.31 c #Conflicts: 645000 | #Constraints: 95342
1622.70/1627.31 c #Conflicts: 646000 | #Constraints: 96342
1622.70/1627.31 c #Conflicts: 647000 | #Constraints: 97342
1622.70/1627.31 c #Conflicts: 648000 | #Constraints: 98342
1622.70/1627.31 c #Conflicts: 649000 | #Constraints: 99342
1622.70/1627.31 c #Conflicts: 650000 | #Constraints: 100342
1622.70/1627.31 c #Conflicts: 651000 | #Constraints: 101342
1622.70/1627.31 c #Conflicts: 652000 | #Constraints: 102342
1622.70/1627.31 c #Conflicts: 653000 | #Constraints: 103342
1622.70/1627.31 c #Conflicts: 654000 | #Constraints: 104342
1622.70/1627.31 c #Conflicts: 655000 | #Constraints: 105342
1622.70/1627.31 c #Conflicts: 656000 | #Constraints: 106342
1622.70/1627.31 c #Conflicts: 657000 | #Constraints: 107342
1622.70/1627.31 c #Conflicts: 658000 | #Constraints: 108342
1622.70/1627.31 c #Conflicts: 659000 | #Constraints: 109342
1622.70/1627.31 c #Conflicts: 660000 | #Constraints: 110342
1622.70/1627.31 c #Conflicts: 661000 | #Constraints: 111342
1622.70/1627.31 c #Conflicts: 662000 | #Constraints: 112342
1622.70/1627.31 c #Conflicts: 663000 | #Constraints: 113342
1622.70/1627.31 c #Conflicts: 664000 | #Constraints: 114342
1622.70/1627.31 c #Conflicts: 665000 | #Constraints: 115342
1622.70/1627.31 c #Conflicts: 666000 | #Constraints: 116342
1622.70/1627.31 c #Conflicts: 667000 | #Constraints: 117342
1622.70/1627.31 c #Conflicts: 668000 | #Constraints: 118342
1622.70/1627.31 c #Conflicts: 669000 | #Constraints: 119342
1622.70/1627.31 c INPROCESSING
1622.70/1627.31 c GARBAGE COLLECT
1622.70/1627.31 c #Conflicts: 670000 | #Constraints: 72706
1622.70/1627.31 c #Conflicts: 671000 | #Constraints: 73706
1622.70/1627.31 c #Conflicts: 672000 | #Constraints: 74706
1622.70/1627.31 c #Conflicts: 673000 | #Constraints: 75706
1622.70/1627.31 c #Conflicts: 674000 | #Constraints: 76706
1622.70/1627.31 c #Conflicts: 675000 | #Constraints: 77706
1622.70/1627.31 c #Conflicts: 676000 | #Constraints: 78706
1622.70/1627.31 c #Conflicts: 677000 | #Constraints: 79706
1622.70/1627.31 c #Conflicts: 678000 | #Constraints: 80706
1622.70/1627.31 c #Conflicts: 679000 | #Constraints: 81706
1622.70/1627.31 c #Conflicts: 680000 | #Constraints: 82706
1622.70/1627.31 c #Conflicts: 681000 | #Constraints: 83706
1622.70/1627.31 c #Conflicts: 682000 | #Constraints: 84706
1622.70/1627.31 c #Conflicts: 683000 | #Constraints: 85706
1622.70/1627.31 c #Conflicts: 684000 | #Constraints: 86706
1622.70/1627.31 c #Conflicts: 685000 | #Constraints: 87706
1622.70/1627.31 c #Conflicts: 686000 | #Constraints: 88706
1622.70/1627.31 c #Conflicts: 687000 | #Constraints: 89706
1622.70/1627.31 c #Conflicts: 688000 | #Constraints: 90706
1622.70/1627.31 c #Conflicts: 689000 | #Constraints: 91706
1622.70/1627.31 c #Conflicts: 690000 | #Constraints: 92706
1622.70/1627.31 c #Conflicts: 691000 | #Constraints: 93706
1622.70/1627.31 c #Conflicts: 692000 | #Constraints: 94706
1622.70/1627.31 c #Conflicts: 693000 | #Constraints: 95706
1622.70/1627.31 c INPROCESSING
1622.70/1627.31 c GARBAGE COLLECT
1622.70/1627.31 c #Conflicts: 694000 | #Constraints: 71801
1622.70/1627.31 c #Conflicts: 695000 | #Constraints: 72801
1622.70/1627.31 c #Conflicts: 696000 | #Constraints: 73801
1622.70/1627.31 c #Conflicts: 697000 | #Constraints: 74801
1622.70/1627.31 c #Conflicts: 698000 | #Constraints: 75801
1622.70/1627.31 c #Conflicts: 699000 | #Constraints: 76801
1622.70/1627.31 c #Conflicts: 700000 | #Constraints: 77801
1808.70/1813.95 c #Conflicts: 701000 | #Constraints: 78801
1808.70/1813.95 c #Conflicts: 702000 | #Constraints: 79801
1808.70/1813.95 c #Conflicts: 703000 | #Constraints: 80801
1808.70/1813.95 c #Conflicts: 704000 | #Constraints: 81801
1808.70/1813.95 c #Conflicts: 705000 | #Constraints: 82801
1808.70/1813.95 c #Conflicts: 706000 | #Constraints: 83801
1808.70/1813.95 c #Conflicts: 707000 | #Constraints: 84801
1808.70/1813.95 c #Conflicts: 708000 | #Constraints: 85801
1808.70/1813.95 c #Conflicts: 709000 | #Constraints: 86801
1808.70/1813.95 c #Conflicts: 710000 | #Constraints: 87801
1808.70/1813.95 c #Conflicts: 711000 | #Constraints: 88801
1808.70/1813.95 c #Conflicts: 712000 | #Constraints: 89801
1808.70/1813.95 c #Conflicts: 713000 | #Constraints: 90801
1808.70/1813.95 c #Conflicts: 714000 | #Constraints: 91801
1808.70/1813.95 c #Conflicts: 715000 | #Constraints: 92801
1808.70/1813.95 c #Conflicts: 716000 | #Constraints: 93801
1808.70/1813.95 c #Conflicts: 717000 | #Constraints: 94801
1808.70/1813.95 c #Conflicts: 718000 | #Constraints: 95801
1808.70/1813.95 c #Conflicts: 719000 | #Constraints: 96801
1808.70/1813.95 c #Conflicts: 720000 | #Constraints: 97801
1808.70/1813.95 c #Conflicts: 721000 | #Constraints: 98801
1808.70/1813.95 c #Conflicts: 722000 | #Constraints: 99801
1808.70/1813.95 c #Conflicts: 723000 | #Constraints: 100801
1808.70/1813.95 c #Conflicts: 724000 | #Constraints: 101801
1808.70/1813.95 c #Conflicts: 725000 | #Constraints: 102801
1808.70/1813.95 c #Conflicts: 726000 | #Constraints: 103801
1808.70/1813.95 c #Conflicts: 727000 | #Constraints: 104801
1808.70/1813.95 c #Conflicts: 728000 | #Constraints: 105801
1808.70/1813.95 c #Conflicts: 729000 | #Constraints: 106801
1808.70/1813.95 c #Conflicts: 730000 | #Constraints: 107801
1808.70/1813.95 c #Conflicts: 731000 | #Constraints: 108801
1808.70/1813.95 c #Conflicts: 732000 | #Constraints: 109801
1808.70/1813.95 c #Conflicts: 733000 | #Constraints: 110801
1808.70/1813.95 c #Conflicts: 734000 | #Constraints: 111801
1808.70/1813.95 c #Conflicts: 735000 | #Constraints: 112801
1808.70/1813.95 c #Conflicts: 736000 | #Constraints: 113801
1808.70/1813.95 c #Conflicts: 737000 | #Constraints: 114801
1808.70/1813.95 c #Conflicts: 738000 | #Constraints: 115801
1808.70/1813.95 c #Conflicts: 739000 | #Constraints: 116801
1808.70/1813.95 c #Conflicts: 740000 | #Constraints: 117801
1808.70/1813.95 c #Conflicts: 741000 | #Constraints: 118801
1808.70/1813.95 c #Conflicts: 742000 | #Constraints: 119801
1808.70/1813.95 c #Conflicts: 743000 | #Constraints: 120801
1808.70/1813.95 c #Conflicts: 744000 | #Constraints: 121801
1808.70/1813.95 c #Conflicts: 745000 | #Constraints: 122801
1808.70/1813.95 c #Conflicts: 746000 | #Constraints: 123801
1808.70/1813.95 c #Conflicts: 747000 | #Constraints: 124801
1808.70/1813.95 c #Conflicts: 748000 | #Constraints: 125801
1808.70/1813.95 c INPROCESSING
1808.70/1813.95 c GARBAGE COLLECT
1808.70/1813.95 c #Conflicts: 749000 | #Constraints: 76040
1808.70/1813.95 c #Conflicts: 750000 | #Constraints: 77040
1808.70/1813.95 c #Conflicts: 751000 | #Constraints: 78040
1808.70/1813.95 c #Conflicts: 752000 | #Constraints: 79040
1808.70/1813.95 c #Conflicts: 753000 | #Constraints: 80040
1808.70/1813.95 c #Conflicts: 754000 | #Constraints: 81040
1808.70/1813.95 c #Conflicts: 755000 | #Constraints: 82040
1808.70/1813.95 c #Conflicts: 756000 | #Constraints: 83040
1808.70/1813.95 c #Conflicts: 757000 | #Constraints: 84040
1808.70/1813.95 c #Conflicts: 758000 | #Constraints: 85040
1808.70/1813.95 c #Conflicts: 759000 | #Constraints: 86040
1808.70/1813.95 c #Conflicts: 760000 | #Constraints: 87040
1808.70/1813.95 c #Conflicts: 761000 | #Constraints: 88040
1808.70/1813.95 c #Conflicts: 762000 | #Constraints: 89040
1808.70/1813.95 c #Conflicts: 763000 | #Constraints: 90040
1808.70/1813.95 c #Conflicts: 764000 | #Constraints: 91040
1808.70/1813.95 c #Conflicts: 765000 | #Constraints: 92040
1808.70/1813.95 c #Conflicts: 766000 | #Constraints: 93040
1808.70/1813.95 c #Conflicts: 767000 | #Constraints: 94040
1808.70/1813.95 c #Conflicts: 768000 | #Constraints: 95040
1808.70/1813.95 c #Conflicts: 769000 | #Constraints: 96040
1808.70/1813.95 c #Conflicts: 770000 | #Constraints: 97041
1808.70/1813.95 c #Conflicts: 771000 | #Constraints: 98041
1808.70/1813.95 c #Conflicts: 772000 | #Constraints: 99041
1808.70/1813.95 c #Conflicts: 773000 | #Constraints: 100041
1808.70/1813.95 c INPROCESSING
1808.70/1813.95 c GARBAGE COLLECT
1808.70/1813.95 c #Conflicts: 774000 | #Constraints: 74287
1808.70/1813.95 c #Conflicts: 775000 | #Constraints: 75287
1808.70/1813.95 c #Conflicts: 776000 | #Constraints: 76287
1808.70/1813.95 c #Conflicts: 777000 | #Constraints: 77287
1808.70/1813.95 c #Conflicts: 778000 | #Constraints: 78287
1994.37/2000.14 c #Conflicts: 779000 | #Constraints: 79287
1994.37/2000.14 c #Conflicts: 780000 | #Constraints: 80287
1994.37/2000.14 c #Conflicts: 781000 | #Constraints: 81287
1994.37/2000.14 c #Conflicts: 782000 | #Constraints: 82287
1994.37/2000.14 c #Conflicts: 783000 | #Constraints: 83287
1994.37/2000.14 c #Conflicts: 784000 | #Constraints: 84287
1994.37/2000.14 c #Conflicts: 785000 | #Constraints: 85287
1994.37/2000.14 c #Conflicts: 786000 | #Constraints: 86287
1994.37/2000.14 c #Conflicts: 787000 | #Constraints: 87287
1994.37/2000.14 c #Conflicts: 788000 | #Constraints: 88287
1994.37/2000.14 c #Conflicts: 789000 | #Constraints: 89287
1994.37/2000.14 c #Conflicts: 790000 | #Constraints: 90287
1994.37/2000.14 c #Conflicts: 791000 | #Constraints: 91287
1994.37/2000.14 c #Conflicts: 792000 | #Constraints: 92287
1994.37/2000.14 c #Conflicts: 793000 | #Constraints: 93287
1994.37/2000.14 c #Conflicts: 794000 | #Constraints: 94287
1994.37/2000.14 c #Conflicts: 795000 | #Constraints: 95287
1994.37/2000.14 c #Conflicts: 796000 | #Constraints: 96287
1994.37/2000.14 c #Conflicts: 797000 | #Constraints: 97287
1994.37/2000.14 c #Conflicts: 798000 | #Constraints: 98287
1994.37/2000.14 c #Conflicts: 799000 | #Constraints: 99287
1994.37/2000.14 c #Conflicts: 800000 | #Constraints: 100287
1994.37/2000.14 c #Conflicts: 801000 | #Constraints: 101287
1994.37/2000.14 c #Conflicts: 802000 | #Constraints: 102287
1994.37/2000.14 c #Conflicts: 803000 | #Constraints: 103287
1994.37/2000.14 c #Conflicts: 804000 | #Constraints: 104287
1994.37/2000.14 c #Conflicts: 805000 | #Constraints: 105287
1994.37/2000.14 c #Conflicts: 806000 | #Constraints: 106287
1994.37/2000.14 c #Conflicts: 807000 | #Constraints: 107287
1994.37/2000.14 c #Conflicts: 808000 | #Constraints: 108287
1994.37/2000.14 c #Conflicts: 809000 | #Constraints: 109287
1994.37/2000.14 c #Conflicts: 810000 | #Constraints: 110287
1994.37/2000.14 c #Conflicts: 811000 | #Constraints: 111287
1994.37/2000.14 c #Conflicts: 812000 | #Constraints: 112287
1994.37/2000.14 c #Conflicts: 813000 | #Constraints: 113287
1994.37/2000.14 c #Conflicts: 814000 | #Constraints: 114287
1994.37/2000.14 c #Conflicts: 815000 | #Constraints: 115287
1994.37/2000.14 c #Conflicts: 816000 | #Constraints: 116287
1994.37/2000.14 c #Conflicts: 817000 | #Constraints: 117287
1994.37/2000.14 c #Conflicts: 818000 | #Constraints: 118287
1994.37/2000.14 c #Conflicts: 819000 | #Constraints: 119287
1994.37/2000.14 c #Conflicts: 820000 | #Constraints: 120287
1994.37/2000.14 c #Conflicts: 821000 | #Constraints: 121287
1994.37/2000.14 c #Conflicts: 822000 | #Constraints: 122287
1994.37/2000.14 c #Conflicts: 823000 | #Constraints: 123287
1994.37/2000.14 c #Conflicts: 824000 | #Constraints: 124287
1994.37/2000.14 c #Conflicts: 825000 | #Constraints: 125287
1994.37/2000.14 c #Conflicts: 826000 | #Constraints: 126287
1994.37/2000.14 c #Conflicts: 827000 | #Constraints: 127287
1994.37/2000.14 c #Conflicts: 828000 | #Constraints: 128287
1994.37/2000.14 c #Conflicts: 829000 | #Constraints: 129287
1994.37/2000.14 c #Conflicts: 830000 | #Constraints: 130287
1994.37/2000.14 c #Conflicts: 831000 | #Constraints: 131287
1994.37/2000.14 c #Conflicts: 832000 | #Constraints: 132287
1994.37/2000.14 c INPROCESSING
1994.37/2000.14 c GARBAGE COLLECT
1994.37/2000.14 c #Conflicts: 833000 | #Constraints: 79561
1994.37/2000.14 c #Conflicts: 834000 | #Constraints: 80561
1994.37/2000.14 c #Conflicts: 835000 | #Constraints: 81561
1994.37/2000.14 c #Conflicts: 836000 | #Constraints: 82561
1994.37/2000.14 c #Conflicts: 837000 | #Constraints: 83561
1994.37/2000.14 c #Conflicts: 838000 | #Constraints: 84561
1994.37/2000.14 c #Conflicts: 839000 | #Constraints: 85561
1994.37/2000.14 c #Conflicts: 840000 | #Constraints: 86561
1994.37/2000.14 c #Conflicts: 841000 | #Constraints: 87561
1994.37/2000.14 c #Conflicts: 842000 | #Constraints: 88561
1994.37/2000.14 c #Conflicts: 843000 | #Constraints: 89561
1994.37/2000.14 c #Conflicts: 844000 | #Constraints: 90561
1994.37/2000.14 c #Conflicts: 845000 | #Constraints: 91561
1994.37/2000.14 c #Conflicts: 846000 | #Constraints: 92561
1994.37/2000.14 c #Conflicts: 847000 | #Constraints: 93561
1994.37/2000.14 c #Conflicts: 848000 | #Constraints: 94561
1994.37/2000.14 c #Conflicts: 849000 | #Constraints: 95561
1994.37/2000.14 c #Conflicts: 850000 | #Constraints: 96561
1994.37/2000.14 c #Conflicts: 851000 | #Constraints: 97561
1994.37/2000.14 c #Conflicts: 852000 | #Constraints: 98561
1994.37/2000.14 c #Conflicts: 853000 | #Constraints: 99561
1994.37/2000.14 c #Conflicts: 854000 | #Constraints: 100561
1994.37/2000.14 c #Conflicts: 855000 | #Constraints: 101561
1994.37/2000.14 c #Conflicts: 856000 | #Constraints: 102561
2216.86/2223.25 c #Conflicts: 857000 | #Constraints: 103561
2216.86/2223.25 c #Conflicts: 858000 | #Constraints: 104561
2216.86/2223.25 c INPROCESSING
2216.86/2223.25 c GARBAGE COLLECT
2216.86/2223.25 c #Conflicts: 859000 | #Constraints: 77767
2216.86/2223.25 c #Conflicts: 860000 | #Constraints: 78767
2216.86/2223.25 c #Conflicts: 861000 | #Constraints: 79767
2216.86/2223.25 c #Conflicts: 862000 | #Constraints: 80767
2216.86/2223.25 c #Conflicts: 863000 | #Constraints: 81767
2216.86/2223.25 c #Conflicts: 864000 | #Constraints: 82767
2216.86/2223.25 c #Conflicts: 865000 | #Constraints: 83767
2216.86/2223.25 c #Conflicts: 866000 | #Constraints: 84767
2216.86/2223.25 c #Conflicts: 867000 | #Constraints: 85767
2216.86/2223.25 c #Conflicts: 868000 | #Constraints: 86767
2216.86/2223.25 c #Conflicts: 869000 | #Constraints: 87767
2216.86/2223.25 c #Conflicts: 870000 | #Constraints: 88767
2216.86/2223.25 c #Conflicts: 871000 | #Constraints: 89767
2216.86/2223.25 c #Conflicts: 872000 | #Constraints: 90767
2216.86/2223.25 c #Conflicts: 873000 | #Constraints: 91767
2216.86/2223.25 c #Conflicts: 874000 | #Constraints: 92767
2216.86/2223.25 c #Conflicts: 875000 | #Constraints: 93767
2216.86/2223.25 c #Conflicts: 876000 | #Constraints: 94767
2216.86/2223.25 c #Conflicts: 877000 | #Constraints: 95767
2216.86/2223.25 c #Conflicts: 878000 | #Constraints: 96767
2216.86/2223.25 c #Conflicts: 879000 | #Constraints: 97767
2216.86/2223.25 c #Conflicts: 880000 | #Constraints: 98767
2216.86/2223.25 c #Conflicts: 881000 | #Constraints: 99767
2216.86/2223.25 c #Conflicts: 882000 | #Constraints: 100767
2216.86/2223.25 c #Conflicts: 883000 | #Constraints: 101767
2216.86/2223.25 c #Conflicts: 884000 | #Constraints: 102767
2216.86/2223.25 c #Conflicts: 885000 | #Constraints: 103767
2216.86/2223.25 c #Conflicts: 886000 | #Constraints: 104767
2216.86/2223.25 c #Conflicts: 887000 | #Constraints: 105767
2216.86/2223.25 c #Conflicts: 888000 | #Constraints: 106767
2216.86/2223.25 c #Conflicts: 889000 | #Constraints: 107767
2216.86/2223.25 c #Conflicts: 890000 | #Constraints: 108767
2216.86/2223.25 c #Conflicts: 891000 | #Constraints: 109767
2216.86/2223.25 c #Conflicts: 892000 | #Constraints: 110767
2216.86/2223.25 c #Conflicts: 893000 | #Constraints: 111767
2216.86/2223.25 c #Conflicts: 894000 | #Constraints: 112767
2216.86/2223.25 c #Conflicts: 895000 | #Constraints: 113767
2216.86/2223.25 c #Conflicts: 896000 | #Constraints: 114767
2216.86/2223.25 c #Conflicts: 897000 | #Constraints: 115767
2216.86/2223.25 c #Conflicts: 898000 | #Constraints: 116767
2216.86/2223.25 c #Conflicts: 899000 | #Constraints: 117767
2216.86/2223.25 c #Conflicts: 900000 | #Constraints: 118767
2216.86/2223.25 c #Conflicts: 901000 | #Constraints: 119767
2216.86/2223.25 c #Conflicts: 902000 | #Constraints: 120767
2216.86/2223.25 c #Conflicts: 903000 | #Constraints: 121767
2216.86/2223.25 c #Conflicts: 904000 | #Constraints: 122767
2216.86/2223.25 c #Conflicts: 905000 | #Constraints: 123767
2216.86/2223.25 c #Conflicts: 906000 | #Constraints: 124767
2216.86/2223.25 c #Conflicts: 907000 | #Constraints: 125768
2216.86/2223.25 c #Conflicts: 908000 | #Constraints: 126768
2216.86/2223.25 c #Conflicts: 909000 | #Constraints: 127768
2216.86/2223.25 c #Conflicts: 910000 | #Constraints: 128768
2216.86/2223.25 c #Conflicts: 911000 | #Constraints: 129768
2216.86/2223.25 c #Conflicts: 912000 | #Constraints: 130768
2216.86/2223.25 c #Conflicts: 913000 | #Constraints: 131768
2216.86/2223.25 c #Conflicts: 914000 | #Constraints: 132768
2216.86/2223.25 c #Conflicts: 915000 | #Constraints: 133768
2216.86/2223.25 c #Conflicts: 916000 | #Constraints: 134768
2216.86/2223.25 c #Conflicts: 917000 | #Constraints: 135768
2216.86/2223.25 c #Conflicts: 918000 | #Constraints: 136768
2216.86/2223.25 c #Conflicts: 919000 | #Constraints: 137768
2216.86/2223.25 c #Conflicts: 920000 | #Constraints: 138768
2216.86/2223.25 c INPROCESSING
2216.86/2223.25 c GARBAGE COLLECT
2216.86/2223.25 c #Conflicts: 921000 | #Constraints: 82920
2216.86/2223.25 c #Conflicts: 922000 | #Constraints: 83920
2216.86/2223.25 c #Conflicts: 923000 | #Constraints: 84920
2216.86/2223.25 c #Conflicts: 924000 | #Constraints: 85920
2216.86/2223.25 c #Conflicts: 925000 | #Constraints: 86920
2216.86/2223.25 c #Conflicts: 926000 | #Constraints: 87920
2216.86/2223.25 c #Conflicts: 927000 | #Constraints: 88920
2216.86/2223.25 c #Conflicts: 928000 | #Constraints: 89920
2216.86/2223.25 c #Conflicts: 929000 | #Constraints: 90920
2216.86/2223.25 c #Conflicts: 930000 | #Constraints: 91920
2216.86/2223.25 c #Conflicts: 931000 | #Constraints: 92920
2216.86/2223.25 c #Conflicts: 932000 | #Constraints: 93920
2216.86/2223.25 c #Conflicts: 933000 | #Constraints: 94920
2216.86/2223.25 c #Conflicts: 934000 | #Constraints: 95920
2416.62/2423.58 c #Conflicts: 935000 | #Constraints: 96920
2416.62/2423.58 c #Conflicts: 936000 | #Constraints: 97920
2416.62/2423.58 c #Conflicts: 937000 | #Constraints: 98920
2416.62/2423.58 c #Conflicts: 938000 | #Constraints: 99920
2416.62/2423.58 c #Conflicts: 939000 | #Constraints: 100920
2416.62/2423.58 c #Conflicts: 940000 | #Constraints: 101920
2416.62/2423.58 c #Conflicts: 941000 | #Constraints: 102920
2416.62/2423.58 c #Conflicts: 942000 | #Constraints: 103920
2416.62/2423.58 c #Conflicts: 943000 | #Constraints: 104920
2416.62/2423.58 c #Conflicts: 944000 | #Constraints: 105920
2416.62/2423.58 c #Conflicts: 945000 | #Constraints: 106920
2416.62/2423.58 c #Conflicts: 946000 | #Constraints: 107920
2416.62/2423.58 c #Conflicts: 947000 | #Constraints: 108920
2416.62/2423.58 c INPROCESSING
2416.62/2423.58 c GARBAGE COLLECT
2416.62/2423.58 c #Conflicts: 948000 | #Constraints: 80403
2416.62/2423.58 c #Conflicts: 949000 | #Constraints: 81403
2416.62/2423.58 c #Conflicts: 950000 | #Constraints: 82403
2416.62/2423.58 c #Conflicts: 951000 | #Constraints: 83403
2416.62/2423.58 c #Conflicts: 952000 | #Constraints: 84403
2416.62/2423.58 c #Conflicts: 953000 | #Constraints: 85403
2416.62/2423.58 c #Conflicts: 954000 | #Constraints: 86403
2416.62/2423.58 c #Conflicts: 955000 | #Constraints: 87403
2416.62/2423.58 c #Conflicts: 956000 | #Constraints: 88403
2416.62/2423.58 c #Conflicts: 957000 | #Constraints: 89403
2416.62/2423.58 c #Conflicts: 958000 | #Constraints: 90403
2416.62/2423.58 c #Conflicts: 959000 | #Constraints: 91403
2416.62/2423.58 c #Conflicts: 960000 | #Constraints: 92403
2416.62/2423.58 c #Conflicts: 961000 | #Constraints: 93403
2416.62/2423.58 c #Conflicts: 962000 | #Constraints: 94403
2416.62/2423.58 c #Conflicts: 963000 | #Constraints: 95403
2416.62/2423.58 c #Conflicts: 964000 | #Constraints: 96403
2416.62/2423.58 c #Conflicts: 965000 | #Constraints: 97403
2416.62/2423.58 c #Conflicts: 966000 | #Constraints: 98403
2416.62/2423.58 c #Conflicts: 967000 | #Constraints: 99403
2416.62/2423.58 c #Conflicts: 968000 | #Constraints: 100403
2416.62/2423.58 c #Conflicts: 969000 | #Constraints: 101403
2416.62/2423.58 c #Conflicts: 970000 | #Constraints: 102403
2416.62/2423.58 c #Conflicts: 971000 | #Constraints: 103403
2416.62/2423.58 c #Conflicts: 972000 | #Constraints: 104403
2416.62/2423.58 c #Conflicts: 973000 | #Constraints: 105403
2416.62/2423.58 c #Conflicts: 974000 | #Constraints: 106403
2416.62/2423.58 c #Conflicts: 975000 | #Constraints: 107403
2416.62/2423.58 c #Conflicts: 976000 | #Constraints: 108403
2416.62/2423.58 c #Conflicts: 977000 | #Constraints: 109403
2416.62/2423.58 c #Conflicts: 978000 | #Constraints: 110403
2416.62/2423.58 c #Conflicts: 979000 | #Constraints: 111403
2416.62/2423.58 c #Conflicts: 980000 | #Constraints: 112403
2416.62/2423.58 c #Conflicts: 981000 | #Constraints: 113403
2416.62/2423.58 c #Conflicts: 982000 | #Constraints: 114403
2416.62/2423.58 c #Conflicts: 983000 | #Constraints: 115403
2416.62/2423.58 c #Conflicts: 984000 | #Constraints: 116403
2416.62/2423.58 c #Conflicts: 985000 | #Constraints: 117403
2416.62/2423.58 c #Conflicts: 986000 | #Constraints: 118403
2416.62/2423.58 c #Conflicts: 987000 | #Constraints: 119403
2416.62/2423.58 c #Conflicts: 988000 | #Constraints: 120403
2416.62/2423.58 c #Conflicts: 989000 | #Constraints: 121403
2416.62/2423.58 c #Conflicts: 990000 | #Constraints: 122403
2416.62/2423.58 c #Conflicts: 991000 | #Constraints: 123403
2416.62/2423.58 c #Conflicts: 992000 | #Constraints: 124403
2416.62/2423.58 c #Conflicts: 993000 | #Constraints: 125403
2416.62/2423.58 c #Conflicts: 994000 | #Constraints: 126403
2416.62/2423.58 c #Conflicts: 995000 | #Constraints: 127403
2416.62/2423.58 c #Conflicts: 996000 | #Constraints: 128403
2416.62/2423.58 c #Conflicts: 997000 | #Constraints: 129403
2416.62/2423.58 c #Conflicts: 998000 | #Constraints: 130403
2416.62/2423.58 c #Conflicts: 999000 | #Constraints: 131403
2416.62/2423.58 c #Conflicts: 1000000 | #Constraints: 132403
2416.62/2423.58 c #Conflicts: 1001000 | #Constraints: 133403
2416.62/2423.58 c #Conflicts: 1002000 | #Constraints: 134403
2416.62/2423.58 c #Conflicts: 1003000 | #Constraints: 135403
2416.62/2423.58 c #Conflicts: 1004000 | #Constraints: 136403
2416.62/2423.58 c #Conflicts: 1005000 | #Constraints: 137403
2416.62/2423.58 c #Conflicts: 1006000 | #Constraints: 138403
2416.62/2423.58 c #Conflicts: 1007000 | #Constraints: 139403
2416.62/2423.58 c #Conflicts: 1008000 | #Constraints: 140403
2416.62/2423.58 c #Conflicts: 1009000 | #Constraints: 141403
2416.62/2423.58 c #Conflicts: 1010000 | #Constraints: 142403
2416.62/2423.58 c #Conflicts: 1011000 | #Constraints: 143403
2416.62/2423.58 c #Conflicts: 1012000 | #Constraints: 144403
2444.85/2451.84 c INPROCESSING
2444.85/2451.84 c GARBAGE COLLECT
2444.85/2451.84 c rational objective 182
2746.83/2754.64 c #Conflicts: 1013000 | #Constraints: 85511
2746.83/2754.64 c #Conflicts: 1014000 | #Constraints: 86511
2746.83/2754.64 c #Conflicts: 1015000 | #Constraints: 87511
2746.83/2754.64 c #Conflicts: 1016000 | #Constraints: 88511
2746.83/2754.64 c #Conflicts: 1017000 | #Constraints: 89511
2746.83/2754.64 c #Conflicts: 1018000 | #Constraints: 90511
2746.83/2754.64 c #Conflicts: 1019000 | #Constraints: 91511
2746.83/2754.64 c #Conflicts: 1020000 | #Constraints: 92511
2746.83/2754.64 c #Conflicts: 1021000 | #Constraints: 93511
2746.83/2754.64 c #Conflicts: 1022000 | #Constraints: 94511
2746.83/2754.64 c #Conflicts: 1023000 | #Constraints: 95511
2746.83/2754.64 c #Conflicts: 1024000 | #Constraints: 96511
2746.83/2754.64 c #Conflicts: 1025000 | #Constraints: 97511
2746.83/2754.64 c #Conflicts: 1026000 | #Constraints: 98511
2746.83/2754.64 c #Conflicts: 1027000 | #Constraints: 99511
2746.83/2754.64 c #Conflicts: 1028000 | #Constraints: 100511
2746.83/2754.64 c #Conflicts: 1029000 | #Constraints: 101511
2746.83/2754.64 c #Conflicts: 1030000 | #Constraints: 102511
2746.83/2754.64 c #Conflicts: 1031000 | #Constraints: 103511
2746.83/2754.64 c #Conflicts: 1032000 | #Constraints: 104511
2746.83/2754.64 c #Conflicts: 1033000 | #Constraints: 105511
2746.83/2754.64 c #Conflicts: 1034000 | #Constraints: 106511
2746.83/2754.64 c #Conflicts: 1035000 | #Constraints: 107511
2746.83/2754.64 c #Conflicts: 1036000 | #Constraints: 108511
2746.83/2754.64 c #Conflicts: 1037000 | #Constraints: 109511
2746.83/2754.64 c #Conflicts: 1038000 | #Constraints: 110511
2746.83/2754.64 c #Conflicts: 1039000 | #Constraints: 111511
2746.83/2754.64 c #Conflicts: 1040000 | #Constraints: 112511
2746.83/2754.64 c INPROCESSING
2746.83/2754.64 c GARBAGE COLLECT
2746.83/2754.64 c #Conflicts: 1041000 | #Constraints: 82742
2746.83/2754.64 c #Conflicts: 1042000 | #Constraints: 83742
2746.83/2754.64 c #Conflicts: 1043000 | #Constraints: 84742
2746.83/2754.64 c #Conflicts: 1044000 | #Constraints: 85742
2746.83/2754.64 c #Conflicts: 1045000 | #Constraints: 86742
2746.83/2754.64 c #Conflicts: 1046000 | #Constraints: 87742
2746.83/2754.64 c #Conflicts: 1047000 | #Constraints: 88742
2746.83/2754.64 c #Conflicts: 1048000 | #Constraints: 89742
2746.83/2754.64 c #Conflicts: 1049000 | #Constraints: 90742
2746.83/2754.64 c #Conflicts: 1050000 | #Constraints: 91742
2746.83/2754.64 c #Conflicts: 1051000 | #Constraints: 92742
2746.83/2754.64 c #Conflicts: 1052000 | #Constraints: 93742
2746.83/2754.64 c #Conflicts: 1053000 | #Constraints: 94742
2746.83/2754.64 c #Conflicts: 1054000 | #Constraints: 95742
2746.83/2754.64 c #Conflicts: 1055000 | #Constraints: 96742
2746.83/2754.64 c #Conflicts: 1056000 | #Constraints: 97742
2746.83/2754.64 c #Conflicts: 1057000 | #Constraints: 98742
2746.83/2754.64 c #Conflicts: 1058000 | #Constraints: 99742
2746.83/2754.64 c #Conflicts: 1059000 | #Constraints: 100742
2746.83/2754.64 c #Conflicts: 1060000 | #Constraints: 101742
2746.83/2754.64 c #Conflicts: 1061000 | #Constraints: 102742
2746.83/2754.64 c #Conflicts: 1062000 | #Constraints: 103742
2746.83/2754.64 c #Conflicts: 1063000 | #Constraints: 104742
2746.83/2754.64 c #Conflicts: 1064000 | #Constraints: 105742
2746.83/2754.64 c #Conflicts: 1065000 | #Constraints: 106742
2746.83/2754.64 c #Conflicts: 1066000 | #Constraints: 107742
2746.83/2754.64 c #Conflicts: 1067000 | #Constraints: 108742
2746.83/2754.64 c #Conflicts: 1068000 | #Constraints: 109742
2746.83/2754.64 c #Conflicts: 1069000 | #Constraints: 110742
2746.83/2754.64 c #Conflicts: 1070000 | #Constraints: 111742
2746.83/2754.64 c #Conflicts: 1071000 | #Constraints: 112742
2746.83/2754.64 c #Conflicts: 1072000 | #Constraints: 113742
2746.83/2754.64 c #Conflicts: 1073000 | #Constraints: 114742
2746.83/2754.64 c #Conflicts: 1074000 | #Constraints: 115742
2746.83/2754.64 c #Conflicts: 1075000 | #Constraints: 116742
2746.83/2754.64 c #Conflicts: 1076000 | #Constraints: 117742
2746.83/2754.64 c #Conflicts: 1077000 | #Constraints: 118742
2746.83/2754.64 c #Conflicts: 1078000 | #Constraints: 119742
2746.83/2754.64 c #Conflicts: 1079000 | #Constraints: 120742
2746.83/2754.64 c #Conflicts: 1080000 | #Constraints: 121742
2746.83/2754.64 c #Conflicts: 1081000 | #Constraints: 122742
2746.83/2754.64 c #Conflicts: 1082000 | #Constraints: 123742
2746.83/2754.64 c #Conflicts: 1083000 | #Constraints: 124742
2746.83/2754.64 c #Conflicts: 1084000 | #Constraints: 125742
2746.83/2754.64 c #Conflicts: 1085000 | #Constraints: 126742
2746.83/2754.64 c #Conflicts: 1086000 | #Constraints: 127742
2746.83/2754.64 c #Conflicts: 1087000 | #Constraints: 128742
2746.83/2754.64 c #Conflicts: 1088000 | #Constraints: 129742
2746.83/2754.64 c #Conflicts: 1089000 | #Constraints: 130742
2746.83/2754.64 c #Conflicts: 1090000 | #Constraints: 131742
2746.83/2754.64 c #Conflicts: 1091000 | #Constraints: 132742
2906.60/2914.82 c #Conflicts: 1092000 | #Constraints: 133742
2906.60/2914.82 c #Conflicts: 1093000 | #Constraints: 134742
2906.60/2914.82 c #Conflicts: 1094000 | #Constraints: 135742
2906.60/2914.82 c #Conflicts: 1095000 | #Constraints: 136742
2906.60/2914.82 c #Conflicts: 1096000 | #Constraints: 137742
2906.60/2914.82 c #Conflicts: 1097000 | #Constraints: 138742
2906.60/2914.82 c #Conflicts: 1098000 | #Constraints: 139742
2906.60/2914.82 c #Conflicts: 1099000 | #Constraints: 140742
2906.60/2914.82 c #Conflicts: 1100000 | #Constraints: 141742
2906.60/2914.82 c #Conflicts: 1101000 | #Constraints: 142742
2906.60/2914.82 c #Conflicts: 1102000 | #Constraints: 143742
2906.60/2914.82 c #Conflicts: 1103000 | #Constraints: 144742
2906.60/2914.82 c #Conflicts: 1104000 | #Constraints: 145742
2906.60/2914.82 c #Conflicts: 1105000 | #Constraints: 146742
2906.60/2914.82 c #Conflicts: 1106000 | #Constraints: 147742
2906.60/2914.82 c #Conflicts: 1107000 | #Constraints: 148742
2906.60/2914.82 c #Conflicts: 1108000 | #Constraints: 149742
2906.60/2914.82 c INPROCESSING
2906.60/2914.82 c GARBAGE COLLECT
2906.60/2914.82 c #Conflicts: 1109000 | #Constraints: 88054
2906.60/2914.82 c #Conflicts: 1110000 | #Constraints: 89054
2906.60/2914.82 c #Conflicts: 1111000 | #Constraints: 90054
2906.60/2914.82 c #Conflicts: 1112000 | #Constraints: 91054
2906.60/2914.82 c #Conflicts: 1113000 | #Constraints: 92054
2906.60/2914.82 c #Conflicts: 1114000 | #Constraints: 93054
2906.60/2914.82 c #Conflicts: 1115000 | #Constraints: 94054
2906.60/2914.82 c #Conflicts: 1116000 | #Constraints: 95054
2906.60/2914.82 c #Conflicts: 1117000 | #Constraints: 96054
2906.60/2914.82 c #Conflicts: 1118000 | #Constraints: 97054
2906.60/2914.82 c #Conflicts: 1119000 | #Constraints: 98054
2906.60/2914.82 c #Conflicts: 1120000 | #Constraints: 99054
2906.60/2914.82 c #Conflicts: 1121000 | #Constraints: 100054
2906.60/2914.82 c #Conflicts: 1122000 | #Constraints: 101054
2906.60/2914.82 c #Conflicts: 1123000 | #Constraints: 102054
2906.60/2914.82 c #Conflicts: 1124000 | #Constraints: 103054
2906.60/2914.82 c #Conflicts: 1125000 | #Constraints: 104054
2906.60/2914.82 c #Conflicts: 1126000 | #Constraints: 105054
2906.60/2914.82 c #Conflicts: 1127000 | #Constraints: 106054
2906.60/2914.82 c #Conflicts: 1128000 | #Constraints: 107054
2906.60/2914.82 c #Conflicts: 1129000 | #Constraints: 108054
2906.60/2914.82 c #Conflicts: 1130000 | #Constraints: 109054
2906.60/2914.82 c #Conflicts: 1131000 | #Constraints: 110054
2906.60/2914.82 c #Conflicts: 1132000 | #Constraints: 111054
2906.60/2914.82 c #Conflicts: 1133000 | #Constraints: 112054
2906.60/2914.82 c #Conflicts: 1134000 | #Constraints: 113054
2906.60/2914.82 c #Conflicts: 1135000 | #Constraints: 114054
2906.60/2914.82 c #Conflicts: 1136000 | #Constraints: 115054
2906.60/2914.82 c #Conflicts: 1137000 | #Constraints: 116054
2906.60/2914.82 c #Conflicts: 1138000 | #Constraints: 117054
2906.60/2914.82 c INPROCESSING
2906.60/2914.82 c GARBAGE COLLECT
2906.60/2914.82 c #Conflicts: 1139000 | #Constraints: 84835
2906.60/2914.82 c #Conflicts: 1140000 | #Constraints: 85835
2906.60/2914.82 c #Conflicts: 1141000 | #Constraints: 86835
2906.60/2914.82 c #Conflicts: 1142000 | #Constraints: 87835
2906.60/2914.82 c #Conflicts: 1143000 | #Constraints: 88835
2906.60/2914.82 c #Conflicts: 1144000 | #Constraints: 89835
2906.60/2914.82 c #Conflicts: 1145000 | #Constraints: 90835
2906.60/2914.82 c #Conflicts: 1146000 | #Constraints: 91835
2906.60/2914.82 c #Conflicts: 1147000 | #Constraints: 92835
2906.60/2914.82 c #Conflicts: 1148000 | #Constraints: 93835
2906.60/2914.82 c #Conflicts: 1149000 | #Constraints: 94835
2906.60/2914.82 c #Conflicts: 1150000 | #Constraints: 95835
2906.60/2914.82 c #Conflicts: 1151000 | #Constraints: 96835
2906.60/2914.82 c #Conflicts: 1152000 | #Constraints: 97835
2906.60/2914.82 c #Conflicts: 1153000 | #Constraints: 98835
2906.60/2914.82 c #Conflicts: 1154000 | #Constraints: 99835
2906.60/2914.82 c #Conflicts: 1155000 | #Constraints: 100835
2906.60/2914.82 c #Conflicts: 1156000 | #Constraints: 101835
2906.60/2914.82 c #Conflicts: 1157000 | #Constraints: 102835
2906.60/2914.82 c #Conflicts: 1158000 | #Constraints: 103835
2906.60/2914.82 c #Conflicts: 1159000 | #Constraints: 104835
2906.60/2914.82 c #Conflicts: 1160000 | #Constraints: 105835
2906.60/2914.82 c #Conflicts: 1161000 | #Constraints: 106835
2906.60/2914.82 c #Conflicts: 1162000 | #Constraints: 107835
2906.60/2914.82 c #Conflicts: 1163000 | #Constraints: 108835
2906.60/2914.82 c #Conflicts: 1164000 | #Constraints: 109835
2906.60/2914.82 c #Conflicts: 1165000 | #Constraints: 110835
2906.60/2914.82 c #Conflicts: 1166000 | #Constraints: 111835
2906.60/2914.82 c #Conflicts: 1167000 | #Constraints: 112835
2906.60/2914.82 c #Conflicts: 1168000 | #Constraints: 113835
3049.03/3057.63 c #Conflicts: 1169000 | #Constraints: 114835
3049.03/3057.63 c #Conflicts: 1170000 | #Constraints: 115835
3049.03/3057.63 c #Conflicts: 1171000 | #Constraints: 116835
3049.03/3057.63 c #Conflicts: 1172000 | #Constraints: 117835
3049.03/3057.63 c #Conflicts: 1173000 | #Constraints: 118835
3049.03/3057.63 c #Conflicts: 1174000 | #Constraints: 119835
3049.03/3057.63 c #Conflicts: 1175000 | #Constraints: 120835
3049.03/3057.63 c #Conflicts: 1176000 | #Constraints: 121835
3049.03/3057.63 c #Conflicts: 1177000 | #Constraints: 122835
3049.03/3057.63 c #Conflicts: 1178000 | #Constraints: 123835
3049.03/3057.63 c #Conflicts: 1179000 | #Constraints: 124835
3049.03/3057.63 c #Conflicts: 1180000 | #Constraints: 125835
3049.03/3057.63 c #Conflicts: 1181000 | #Constraints: 126835
3049.03/3057.63 c #Conflicts: 1182000 | #Constraints: 127835
3049.03/3057.63 c #Conflicts: 1183000 | #Constraints: 128835
3049.03/3057.63 c #Conflicts: 1184000 | #Constraints: 129835
3049.03/3057.63 c #Conflicts: 1185000 | #Constraints: 130835
3049.03/3057.63 c #Conflicts: 1186000 | #Constraints: 131835
3049.03/3057.63 c #Conflicts: 1187000 | #Constraints: 132835
3049.03/3057.63 c #Conflicts: 1188000 | #Constraints: 133835
3049.03/3057.63 c #Conflicts: 1189000 | #Constraints: 134835
3049.03/3057.63 c #Conflicts: 1190000 | #Constraints: 135835
3049.03/3057.63 c #Conflicts: 1191000 | #Constraints: 136835
3049.03/3057.63 c #Conflicts: 1192000 | #Constraints: 137835
3049.03/3057.63 c #Conflicts: 1193000 | #Constraints: 138835
3049.03/3057.63 c #Conflicts: 1194000 | #Constraints: 139835
3049.03/3057.63 c #Conflicts: 1195000 | #Constraints: 140835
3049.03/3057.63 c #Conflicts: 1196000 | #Constraints: 141835
3049.03/3057.63 c #Conflicts: 1197000 | #Constraints: 142835
3049.03/3057.63 c #Conflicts: 1198000 | #Constraints: 143835
3049.03/3057.63 c #Conflicts: 1199000 | #Constraints: 144835
3049.03/3057.63 c #Conflicts: 1200000 | #Constraints: 145835
3049.03/3057.63 c #Conflicts: 1201000 | #Constraints: 146835
3049.03/3057.63 c #Conflicts: 1202000 | #Constraints: 147835
3049.03/3057.63 c #Conflicts: 1203000 | #Constraints: 148835
3049.03/3057.63 c #Conflicts: 1204000 | #Constraints: 149835
3049.03/3057.63 c #Conflicts: 1205000 | #Constraints: 150835
3049.03/3057.63 c #Conflicts: 1206000 | #Constraints: 151835
3049.03/3057.63 c #Conflicts: 1207000 | #Constraints: 152835
3049.03/3057.63 c #Conflicts: 1208000 | #Constraints: 153835
3049.03/3057.63 c #Conflicts: 1209000 | #Constraints: 154835
3049.03/3057.63 c INPROCESSING
3049.03/3057.63 c GARBAGE COLLECT
3049.03/3057.63 c rational objective 182
3146.86/3155.76 c #Conflicts: 1210000 | #Constraints: 90614
3146.86/3155.76 c #Conflicts: 1211000 | #Constraints: 91614
3146.86/3155.76 c #Conflicts: 1212000 | #Constraints: 92614
3146.86/3155.76 c #Conflicts: 1213000 | #Constraints: 93614
3146.86/3155.76 c #Conflicts: 1214000 | #Constraints: 94614
3146.86/3155.76 c #Conflicts: 1215000 | #Constraints: 95614
3146.86/3155.76 c #Conflicts: 1216000 | #Constraints: 96614
3146.86/3155.76 c #Conflicts: 1217000 | #Constraints: 97614
3146.86/3155.76 c #Conflicts: 1218000 | #Constraints: 98614
3146.86/3155.76 c #Conflicts: 1219000 | #Constraints: 99614
3146.86/3155.76 c #Conflicts: 1220000 | #Constraints: 100614
3146.86/3155.76 c #Conflicts: 1221000 | #Constraints: 101614
3146.86/3155.76 c #Conflicts: 1222000 | #Constraints: 102614
3146.86/3155.76 c #Conflicts: 1223000 | #Constraints: 103614
3146.86/3155.76 c #Conflicts: 1224000 | #Constraints: 104614
3146.86/3155.76 c #Conflicts: 1225000 | #Constraints: 105614
3146.86/3155.76 c #Conflicts: 1226000 | #Constraints: 106614
3146.86/3155.76 c #Conflicts: 1227000 | #Constraints: 107614
3146.86/3155.76 c #Conflicts: 1228000 | #Constraints: 108614
3146.86/3155.76 c #Conflicts: 1229000 | #Constraints: 109614
3146.86/3155.76 c #Conflicts: 1230000 | #Constraints: 110614
3146.86/3155.76 c #Conflicts: 1231000 | #Constraints: 111614
3146.86/3155.76 c #Conflicts: 1232000 | #Constraints: 112614
3146.86/3155.76 c #Conflicts: 1233000 | #Constraints: 113614
3146.86/3155.76 c #Conflicts: 1234000 | #Constraints: 114614
3146.86/3155.76 c #Conflicts: 1235000 | #Constraints: 115614
3146.86/3155.76 c #Conflicts: 1236000 | #Constraints: 116614
3146.86/3155.76 c #Conflicts: 1237000 | #Constraints: 117614
3146.86/3155.76 c #Conflicts: 1238000 | #Constraints: 118614
3146.86/3155.76 c #Conflicts: 1239000 | #Constraints: 119614
3146.86/3155.76 c #Conflicts: 1240000 | #Constraints: 120614
3146.86/3155.76 c INPROCESSING
3146.86/3155.76 c GARBAGE COLLECT
3146.86/3155.76 c rational objective 182
3367.12/3376.68 c #Conflicts: 1241000 | #Constraints: 87724
3367.12/3376.68 c #Conflicts: 1242000 | #Constraints: 88724
3367.12/3376.68 c #Conflicts: 1243000 | #Constraints: 89724
3367.12/3376.68 c #Conflicts: 1244000 | #Constraints: 90724
3367.12/3376.68 c #Conflicts: 1245000 | #Constraints: 91724
3367.12/3376.68 c #Conflicts: 1246000 | #Constraints: 92724
3367.12/3376.68 c #Conflicts: 1247000 | #Constraints: 93724
3367.12/3376.68 c #Conflicts: 1248000 | #Constraints: 94724
3367.12/3376.68 c #Conflicts: 1249000 | #Constraints: 95724
3367.12/3376.68 c #Conflicts: 1250000 | #Constraints: 96724
3367.12/3376.68 c #Conflicts: 1251000 | #Constraints: 97724
3367.12/3376.68 c #Conflicts: 1252000 | #Constraints: 98724
3367.12/3376.68 c #Conflicts: 1253000 | #Constraints: 99724
3367.12/3376.68 c #Conflicts: 1254000 | #Constraints: 100724
3367.12/3376.68 c #Conflicts: 1255000 | #Constraints: 101724
3367.12/3376.68 c #Conflicts: 1256000 | #Constraints: 102724
3367.12/3376.68 c #Conflicts: 1257000 | #Constraints: 103724
3367.12/3376.68 c #Conflicts: 1258000 | #Constraints: 104724
3367.12/3376.68 c #Conflicts: 1259000 | #Constraints: 105724
3367.12/3376.68 c #Conflicts: 1260000 | #Constraints: 106724
3367.12/3376.68 c #Conflicts: 1261000 | #Constraints: 107724
3367.12/3376.68 c #Conflicts: 1262000 | #Constraints: 108724
3367.12/3376.68 c #Conflicts: 1263000 | #Constraints: 109724
3367.12/3376.68 c #Conflicts: 1264000 | #Constraints: 110724
3367.12/3376.68 c #Conflicts: 1265000 | #Constraints: 111724
3367.12/3376.68 c #Conflicts: 1266000 | #Constraints: 112724
3367.12/3376.68 c #Conflicts: 1267000 | #Constraints: 113724
3367.12/3376.68 c #Conflicts: 1268000 | #Constraints: 114724
3367.12/3376.68 c #Conflicts: 1269000 | #Constraints: 115724
3367.12/3376.68 c #Conflicts: 1270000 | #Constraints: 116724
3367.12/3376.68 c #Conflicts: 1271000 | #Constraints: 117724
3367.12/3376.68 c #Conflicts: 1272000 | #Constraints: 118724
3367.12/3376.68 c #Conflicts: 1273000 | #Constraints: 119724
3367.12/3376.68 c #Conflicts: 1274000 | #Constraints: 120724
3367.12/3376.68 c #Conflicts: 1275000 | #Constraints: 121724
3367.12/3376.68 c #Conflicts: 1276000 | #Constraints: 122724
3367.12/3376.68 c #Conflicts: 1277000 | #Constraints: 123724
3367.12/3376.68 c #Conflicts: 1278000 | #Constraints: 124724
3367.12/3376.68 c #Conflicts: 1279000 | #Constraints: 125724
3367.12/3376.68 c #Conflicts: 1280000 | #Constraints: 126724
3367.12/3376.68 c #Conflicts: 1281000 | #Constraints: 127724
3367.12/3376.68 c #Conflicts: 1282000 | #Constraints: 128724
3367.12/3376.68 c #Conflicts: 1283000 | #Constraints: 129724
3367.12/3376.68 c #Conflicts: 1284000 | #Constraints: 130724
3367.12/3376.68 c #Conflicts: 1285000 | #Constraints: 131724
3367.12/3376.68 c #Conflicts: 1286000 | #Constraints: 132724
3367.12/3376.68 c #Conflicts: 1287000 | #Constraints: 133724
3367.12/3376.68 c #Conflicts: 1288000 | #Constraints: 134724
3367.12/3376.68 c #Conflicts: 1289000 | #Constraints: 135724
3367.12/3376.68 c #Conflicts: 1290000 | #Constraints: 136724
3367.12/3376.68 c #Conflicts: 1291000 | #Constraints: 137724
3367.12/3376.68 c #Conflicts: 1292000 | #Constraints: 138724
3367.12/3376.68 c #Conflicts: 1293000 | #Constraints: 139724
3367.12/3376.68 c #Conflicts: 1294000 | #Constraints: 140724
3367.12/3376.68 c #Conflicts: 1295000 | #Constraints: 141724
3367.12/3376.68 c #Conflicts: 1296000 | #Constraints: 142724
3367.12/3376.68 c #Conflicts: 1297000 | #Constraints: 143724
3367.12/3376.68 c #Conflicts: 1298000 | #Constraints: 144724
3367.12/3376.68 c #Conflicts: 1299000 | #Constraints: 145724
3367.12/3376.68 c #Conflicts: 1300000 | #Constraints: 146724
3367.12/3376.68 c #Conflicts: 1301000 | #Constraints: 147724
3367.12/3376.68 c #Conflicts: 1302000 | #Constraints: 148724
3367.12/3376.68 c #Conflicts: 1303000 | #Constraints: 149724
3367.12/3376.68 c #Conflicts: 1304000 | #Constraints: 150724
3367.12/3376.68 c #Conflicts: 1305000 | #Constraints: 151724
3367.12/3376.68 c #Conflicts: 1306000 | #Constraints: 152724
3367.12/3376.68 c #Conflicts: 1307000 | #Constraints: 153724
3367.12/3376.68 c #Conflicts: 1308000 | #Constraints: 154724
3367.12/3376.68 c #Conflicts: 1309000 | #Constraints: 155724
3367.12/3376.68 c #Conflicts: 1310000 | #Constraints: 156724
3367.12/3376.68 c #Conflicts: 1311000 | #Constraints: 157724
3367.12/3376.68 c #Conflicts: 1312000 | #Constraints: 158724
3367.12/3376.68 c #Conflicts: 1313000 | #Constraints: 159724
3367.12/3376.68 c #Conflicts: 1314000 | #Constraints: 160724
3367.12/3376.68 c #Conflicts: 1315000 | #Constraints: 161724
3367.12/3376.68 c INPROCESSING
3367.12/3376.68 c GARBAGE COLLECT
3367.12/3376.68 c #Conflicts: 1316000 | #Constraints: 94470
3367.12/3376.68 c #Conflicts: 1317000 | #Constraints: 95470
3367.12/3376.68 c #Conflicts: 1318000 | #Constraints: 96470
3367.12/3376.68 c #Conflicts: 1319000 | #Constraints: 97470
3583.07/3593.24 c #Conflicts: 1320000 | #Constraints: 98470
3583.07/3593.24 c #Conflicts: 1321000 | #Constraints: 99470
3583.07/3593.24 c #Conflicts: 1322000 | #Constraints: 100471
3583.07/3593.24 c #Conflicts: 1323000 | #Constraints: 101471
3583.07/3593.24 c #Conflicts: 1324000 | #Constraints: 102471
3583.07/3593.24 c #Conflicts: 1325000 | #Constraints: 103471
3583.07/3593.24 c #Conflicts: 1326000 | #Constraints: 104471
3583.07/3593.24 c #Conflicts: 1327000 | #Constraints: 105471
3583.07/3593.24 c #Conflicts: 1328000 | #Constraints: 106471
3583.07/3593.24 c #Conflicts: 1329000 | #Constraints: 107471
3583.07/3593.24 c #Conflicts: 1330000 | #Constraints: 108471
3583.07/3593.24 c #Conflicts: 1331000 | #Constraints: 109471
3583.07/3593.24 c #Conflicts: 1332000 | #Constraints: 110471
3583.07/3593.24 c #Conflicts: 1333000 | #Constraints: 111471
3583.07/3593.24 c #Conflicts: 1334000 | #Constraints: 112471
3583.07/3593.24 c #Conflicts: 1335000 | #Constraints: 113471
3583.07/3593.24 c #Conflicts: 1336000 | #Constraints: 114471
3583.07/3593.24 c #Conflicts: 1337000 | #Constraints: 115471
3583.07/3593.24 c #Conflicts: 1338000 | #Constraints: 116471
3583.07/3593.24 c #Conflicts: 1339000 | #Constraints: 117471
3583.07/3593.24 c #Conflicts: 1340000 | #Constraints: 118471
3583.07/3593.24 c #Conflicts: 1341000 | #Constraints: 119471
3583.07/3593.24 c #Conflicts: 1342000 | #Constraints: 120471
3583.07/3593.24 c #Conflicts: 1343000 | #Constraints: 121471
3583.07/3593.24 c #Conflicts: 1344000 | #Constraints: 122471
3583.07/3593.24 c #Conflicts: 1345000 | #Constraints: 123471
3583.07/3593.24 c #Conflicts: 1346000 | #Constraints: 124471
3583.07/3593.24 c #Conflicts: 1347000 | #Constraints: 125471
3583.07/3593.24 c INPROCESSING
3583.07/3593.24 c GARBAGE COLLECT
3583.07/3593.24 c #Conflicts: 1348000 | #Constraints: 91021
3583.07/3593.24 c #Conflicts: 1349000 | #Constraints: 92021
3583.07/3593.24 c #Conflicts: 1350000 | #Constraints: 93021
3583.07/3593.24 c #Conflicts: 1351000 | #Constraints: 94021
3583.07/3593.24 c #Conflicts: 1352000 | #Constraints: 95021
3583.07/3593.24 c #Conflicts: 1353000 | #Constraints: 96021
3583.07/3593.24 c #Conflicts: 1354000 | #Constraints: 97021
3583.07/3593.24 c #Conflicts: 1355000 | #Constraints: 98021
3583.07/3593.24 c #Conflicts: 1356000 | #Constraints: 99021
3583.07/3593.24 c #Conflicts: 1357000 | #Constraints: 100021
3583.07/3593.24 c #Conflicts: 1358000 | #Constraints: 101021
3583.07/3593.24 c #Conflicts: 1359000 | #Constraints: 102021
3583.07/3593.24 c #Conflicts: 1360000 | #Constraints: 103021
3583.07/3593.24 c #Conflicts: 1361000 | #Constraints: 104021
3583.07/3593.24 c #Conflicts: 1362000 | #Constraints: 105021
3583.07/3593.24 c #Conflicts: 1363000 | #Constraints: 106021
3583.07/3593.24 c #Conflicts: 1364000 | #Constraints: 107021
3583.07/3593.24 c #Conflicts: 1365000 | #Constraints: 108021
3583.07/3593.24 c #Conflicts: 1366000 | #Constraints: 109021
3583.07/3593.24 c #Conflicts: 1367000 | #Constraints: 110021
3583.07/3593.24 c #Conflicts: 1368000 | #Constraints: 111021
3583.07/3593.24 c #Conflicts: 1369000 | #Constraints: 112021
3583.07/3593.24 c #Conflicts: 1370000 | #Constraints: 113021
3583.07/3593.24 c #Conflicts: 1371000 | #Constraints: 114021
3583.07/3593.24 c #Conflicts: 1372000 | #Constraints: 115021
3583.07/3593.24 c #Conflicts: 1373000 | #Constraints: 116021
3583.07/3593.24 c #Conflicts: 1374000 | #Constraints: 117021
3583.07/3593.24 c #Conflicts: 1375000 | #Constraints: 118021
3583.07/3593.24 c #Conflicts: 1376000 | #Constraints: 119021
3583.07/3593.24 c #Conflicts: 1377000 | #Constraints: 120021
3583.07/3593.24 c #Conflicts: 1378000 | #Constraints: 121021
3583.07/3593.24 c #Conflicts: 1379000 | #Constraints: 122021
3583.07/3593.24 c #Conflicts: 1380000 | #Constraints: 123021
3583.07/3593.24 c #Conflicts: 1381000 | #Constraints: 124021
3583.07/3593.24 c #Conflicts: 1382000 | #Constraints: 125021
3583.07/3593.24 c #Conflicts: 1383000 | #Constraints: 126021
3583.07/3593.24 c #Conflicts: 1384000 | #Constraints: 127021
3583.07/3593.24 c #Conflicts: 1385000 | #Constraints: 128021
3583.07/3593.24 c #Conflicts: 1386000 | #Constraints: 129021
3583.07/3593.24 c #Conflicts: 1387000 | #Constraints: 130021
3583.07/3593.24 c #Conflicts: 1388000 | #Constraints: 131021
3583.07/3593.24 c #Conflicts: 1389000 | #Constraints: 132021
3583.07/3593.24 c #Conflicts: 1390000 | #Constraints: 133021
3583.07/3593.24 c #Conflicts: 1391000 | #Constraints: 134021
3583.07/3593.24 c #Conflicts: 1392000 | #Constraints: 135021
3583.07/3593.24 c #Conflicts: 1393000 | #Constraints: 136021
3583.07/3593.24 c #Conflicts: 1394000 | #Constraints: 137021
3583.07/3593.24 c #Conflicts: 1395000 | #Constraints: 138021
3583.07/3593.24 c #Conflicts: 1396000 | #Constraints: 139021
3583.07/3593.24 c #Conflicts: 1397000 | #Constraints: 140021
3600.03/3610.20 c #Conflicts: 1398000 | #Constraints: 141021
3600.03/3610.20 c #Conflicts: 1399000 | #Constraints: 142021
3600.03/3610.20 c #Conflicts: 1400000 | #Constraints: 143021
3600.03/3610.20 c #Conflicts: 1401000 | #Constraints: 144021
3600.03/3610.20 c cpu time 3559.39 s
3600.03/3610.20 c deterministic time 254689768883 2.55e+11
3600.03/3610.20 c optimization time 131.879 s
3600.03/3610.20 c total solve time 3427.19 s
3600.03/3610.20 c core-guided solve time 0 s
3600.03/3610.20 c propagation time 1972.84 s
3600.03/3610.20 c conflict analysis time 1249.44 s
3600.03/3610.20 c propagations 1452184744
3600.03/3610.20 c resolve steps 81615485
3600.03/3610.20 c decisions 37942843
3600.03/3610.20 c conflicts 1401825
3600.03/3610.20 c restarts 2684
3600.03/3610.20 c inprocessing phases 49
3600.03/3610.20 c garbage collections 49 ,( 100.00 )
3600.03/3610.20 c input clauses 21842 ,( 99.17 )
3600.03/3610.20 c input cardinalities 182 ,( 0.83 )
3600.03/3610.20 c input general constraints 0 ,( 0.00 )
3600.03/3610.20 c input average constraint length 6.43
3600.03/3610.20 c input average constraint degree 1.97
3600.03/3610.20 c learned clauses 1018315 ,( 72.64 )
3600.03/3610.20 c learned cardinalities 49143 ,( 3.51 )
3600.03/3610.20 c learned general constraints 334380 ,( 23.85 )
3600.03/3610.20 c learned average constraint length 716.92
3600.03/3610.20 c learned average constraint degree 12329714.88
3600.03/3610.20 c watched CF 32, 64, 128, Arb: 81502 , 0 , 0 , 0
3600.03/3610.20 c counting CF 32, 64, 128, Arb: 252878 , 0 , 0 , 0
3600.03/3610.20 c watched constraints 81502 ,( 24.37 )
3600.03/3610.20 c counting constraints 252878 ,( 75.63 )
3600.03/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1352337050 , 816132325 , 1818661276 ,( 86602736 , 1732058540 )
3600.03/3610.20 c gcd simplifications 739
3600.03/3610.20 c detected cardinalities 7851
3600.03/3610.20 c weakened non-implied lits 381667533
3600.03/3610.20 c weakened non-implying lits 203444
3600.03/3610.20 c original variables 21658
3600.03/3610.20 c clausal propagations 673255484
3600.03/3610.20 c cardinality propagations 539105790
3600.03/3610.20 c watched propagations 4460176
3600.03/3610.20 c counting propagations 221734185
3600.03/3610.20 c watch lookups 77509902636
3600.03/3610.20 c watch backjump lookups 0
3600.03/3610.20 c watch checks 34879072479
3600.03/3610.20 c propagation checks 134547319301
3600.03/3610.20 c constraint additions 4771547398
3600.03/3610.20 c trail pops 1491510183
3600.03/3610.20 c formula constraints 22024
3600.03/3610.20 c learned constraints 1401818
3600.03/3610.20 c bound constraints 0
3600.03/3610.20 c core-guided constraints 0
3600.03/3610.20 c encountered formula constraints 50545664
3600.03/3610.20 c encountered learned constraints 32471033
3600.03/3610.20 c encountered bound constraints 0
3600.03/3610.20 c encountered core-guided constraints 0
3600.03/3610.20 c LP total time 393.758 s
3600.03/3610.20 c LP solve time 371.56 s
3600.03/3610.20 c LP constraints added 22819
3600.03/3610.20 c LP constraints removed 399
3600.03/3610.20 c LP pivots internal 151597
3600.03/3610.20 c LP pivots root 137701
3600.03/3610.20 c LP calls 19
3600.03/3610.20 c LP optimalities 7
3600.03/3610.20 c LP no pivot count 0
3600.03/3610.20 c LP infeasibilities 6
3600.03/3610.20 c LP valid Farkas constraints 6
3600.03/3610.20 c LP learned Farkas constraints 6
3600.03/3610.20 c LP basis resets 0
3600.03/3610.20 c LP cycling count 0
3600.03/3610.20 c LP singular count 0
3600.03/3610.20 c LP no primal count 0
3600.03/3610.20 c LP no farkas count 0
3600.03/3610.20 c LP other issue count 0
3600.03/3610.20 c LP Gomory cuts 8
3600.03/3610.20 c LP learned cuts 787
3600.03/3610.20 c LP deleted cuts 399
3600.03/3610.20 c LP encountered Gomory constraints 4
3600.03/3610.20 c LP encountered Farkas constraints 599
3600.03/3610.20 c LP encountered learned Farkas constraints 4
3600.03/3610.20 c CG auxiliary variables introduced 0
3600.03/3610.20 c CG solutions found 0
3600.03/3610.20 c CG cores constructed 0
3600.03/3610.20 c CG core cardinality constraints returned 0
3600.03/3610.20 c CG unit cores 0
3600.03/3610.20 c CG single cores 0
3600.03/3610.20 c CG blocks removed during cardinality reduction 0
3600.03/3610.20 c CG first core best 0
3600.03/3610.20 c CG decision core best 0
3600.03/3610.20 c CG core reduction tie 0
3600.03/3610.20 c CG core degree average 0.00
3600.03/3610.20 c CG core slack average 0.00
3600.03/3610.20 c CG core upper bound improvements 0
3600.03/3610.20 c STR number of successful calls 0
3600.03/3610.20 c STR number of unsuccessful calls 0
3600.03/3610.20 c STR number of inconclusive calls 0
3600.03/3610.20 c STR number of successful attempts 0
3600.03/3610.20 c STR number of unsuccessful attempts 0
3600.03/3610.20 c STR number of inconclusive attempts 0
3600.03/3610.20 c STR average degree increase per successful call inf
3600.03/3610.20 c STR average degree increase per successful attempt inf
3600.03/3610.20 c STR total number of conflicts for successful attempts 0
3600.03/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.20 c STR average number of conflicts per successful attempt inf
3600.03/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.20 c AVG.sumWPerc 66.89
3600.03/3610.20 c bigint constraints 0
3600.03/3610.20 s UNKNOWN
3600.03/3610.20 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: 63837 MiB (60672 MiB free)
memory of node 1: 64465 MiB (60952 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507193-1751178993/watcher-4507193-1751178993 -o /tmp/evaluation-result-4507193-1751178993/solver-4507193-1751178993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17820 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507193-1751178993.opb PROOFDIR/proof-4507193-1751178993
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=18908, runsolver pid=18905
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.14 4.09 4.09 5/259 18910
/proc/meminfo: memFree=124540168/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=60220 memory=15504 CPUtime=0.08 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 1611 0 0 0 6 2 0 0 20 0 1 0 33578012 61665280 3876 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 15055 3876 1984 1147 0 2482 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64412 KiB
Current children cumulated memory: 18448 KiB
[startup+0.220526 s]*
/proc/loadavg: 4.14 4.09 4.09 5/259 18910
/proc/meminfo: memFree=124538180/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=61576 memory=16784 CPUtime=0.2 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 1964 0 0 0 15 5 0 0 20 0 1 0 33578012 63053824 4196 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 15394 4196 1984 1147 0 2821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65768 KiB
Current children cumulated memory: 19728 KiB
[startup+0.31416 s]*
/proc/loadavg: 4.14 4.09 4.09 5/259 18910
/proc/meminfo: memFree=124534148/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=68984 memory=24768 CPUtime=0.28 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 4246 0 0 0 22 6 0 0 20 0 1 0 33578012 70639616 6192 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 17246 6192 2272 1147 0 4673 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 73176 KiB
Current children cumulated memory: 27712 KiB
[startup+0.700389 s]
/proc/loadavg: 4.14 4.09 4.09 5/259 18910
/proc/meminfo: memFree=124498424/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=109664 memory=56588 CPUtime=0.66 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 11056 0 0 0 57 9 0 0 20 0 1 0 33578012 112295936 14147 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 27416 14147 2272 1147 0 14843 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 113856 KiB
Current children cumulated memory: 59532 KiB
[startup+1.50039 s]
/proc/loadavg: 4.14 4.09 4.09 5/259 18910
/proc/meminfo: memFree=124494392/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=111948 memory=59532 CPUtime=1.45 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 11797 0 0 0 135 10 0 0 20 0 1 0 33578012 114634752 14883 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 27987 14883 2304 1147 0 15414 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 116140 KiB
Current children cumulated memory: 62476 KiB
[startup+3.11385 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 18910
/proc/meminfo: memFree=124470556/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=115316 memory=66292 CPUtime=3.07 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 12945 0 0 0 288 19 0 0 20 0 1 0 33578012 118083584 16573 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 28829 16573 2336 1147 0 16256 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 119508 KiB
Current children cumulated memory: 69236 KiB
[startup+6.30034 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 18910
/proc/meminfo: memFree=124438700/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=125440 memory=74356 CPUtime=6.24 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 14937 0 0 0 586 38 0 0 20 0 1 0 33578012 128450560 18589 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 31360 18589 2336 1147 0 18787 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 129632 KiB
Current children cumulated memory: 77300 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 18911
/proc/meminfo: memFree=124376344/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=152168 memory=96376 CPUtime=12.63 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 19959 0 0 0 1202 61 0 0 20 0 1 0 33578012 155820032 24094 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 38042 24094 2336 1147 0 25469 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 156360 KiB
Current children cumulated memory: 99320 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 18911
/proc/meminfo: memFree=124274404/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=158236 memory=102520 CPUtime=25.38 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 21488 0 0 0 2442 96 0 0 20 0 1 0 33578012 162033664 25630 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 39559 25630 2336 1147 0 26986 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 162428 KiB
Current children cumulated memory: 105464 KiB
[startup+51.1139 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 18911
/proc/meminfo: memFree=123985928/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=209584 memory=148656 CPUtime=50.93 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 27969 0 0 0 4909 184 0 0 20 0 1 0 33578012 214614016 37164 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 52396 37164 2336 1147 0 39823 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 213776 KiB
Current children cumulated memory: 151600 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 18915
/proc/meminfo: memFree=123554284/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=234796 memory=182104 CPUtime=101.97 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 34392 0 0 0 9904 293 0 0 20 0 1 0 33578012 240431104 45526 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 58699 45526 2336 1147 0 46126 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 238988 KiB
Current children cumulated memory: 185048 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 18918
/proc/meminfo: memFree=123104508/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=284016 memory=210664 CPUtime=161.81 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 39482 0 0 0 15794 387 0 0 20 0 1 0 33578012 290832384 52666 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 71004 52666 2368 1147 0 58431 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 288208 KiB
Current children cumulated memory: 213608 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/261 18922
/proc/meminfo: memFree=122637304/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=306336 memory=232168 CPUtime=221.64 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 44851 0 0 0 21643 521 0 0 20 0 1 0 33578012 313688064 58042 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 76584 58042 2368 1147 0 64011 0
################
# More data... #
################
/proc/18910/statm: 292747 269865 2368 1147 0 280174 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 1175180 KiB
Current children cumulated memory: 1082404 KiB
[startup+3102.3 s]
/proc/loadavg: 1.61 2.78 3.54 2/240 19169
/proc/meminfo: memFree=124032344/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1223352 memory=1126820 CPUtime=3093.61 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 149030 0 0 0 305792 3569 0 0 20 0 1 0 33578012 1252712448 281705 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 305838 281705 2368 1147 0 293265 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 1227544 KiB
Current children cumulated memory: 1129764 KiB
[startup+3162.3 s]
/proc/loadavg: 1.22 2.45 3.38 2/238 19173
/proc/meminfo: memFree=123872620/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1227496 memory=1135012 CPUtime=3153.44 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 151083 0 0 0 311727 3617 0 0 20 0 1 0 33578012 1256955904 283753 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 306874 283753 2368 1147 0 294301 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1137956 KiB
[startup+3222.3 s]
/proc/loadavg: 1.12 2.20 3.23 2/238 19175
/proc/meminfo: memFree=123639308/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1325880 memory=1226916 CPUtime=3213.27 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 174054 0 0 0 317616 3711 0 0 20 0 1 0 33578012 1357701120 306729 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 331470 306729 2368 1147 0 318897 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 1330072 KiB
Current children cumulated memory: 1229860 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 2.01 3.10 2/239 19179
/proc/meminfo: memFree=123552512/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1325880 memory=1226916 CPUtime=3273.09 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 174055 0 0 0 323537 3772 0 0 20 0 1 0 33578012 1357701120 306729 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 331470 306729 2368 1147 0 318897 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 1330072 KiB
Current children cumulated memory: 1229860 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.84 2.97 2/238 19185
/proc/meminfo: memFree=123490336/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1327688 memory=1228324 CPUtime=3332.92 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 174410 0 0 0 329471 3821 0 0 20 0 1 0 33578012 1359552512 307081 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 331922 307081 2368 1147 0 319349 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 1331880 KiB
Current children cumulated memory: 1231268 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.70 2.85 2/238 19187
/proc/meminfo: memFree=123386312/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1341404 memory=1244776 CPUtime=3392.74 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 176844 0 0 0 335411 3863 0 0 20 0 1 0 33578012 1373597696 311194 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 335351 311194 2368 1147 0 322778 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 1345596 KiB
Current children cumulated memory: 1247720 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.59 2.74 2/238 19189
/proc/meminfo: memFree=123238336/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1341404 memory=1249384 CPUtime=3452.58 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 176848 0 0 0 341341 3917 0 0 20 0 1 0 33578012 1373597696 312346 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 335351 312346 2368 1147 0 322778 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 1345596 KiB
Current children cumulated memory: 1252328 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.49 2.63 2/237 19193
/proc/meminfo: memFree=123116800/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1341404 memory=1255656 CPUtime=3512.4 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 176862 0 0 0 347258 3982 0 0 20 0 1 0 33578012 1373597696 313914 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 335351 313914 2368 1147 0 322778 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 1345596 KiB
Current children cumulated memory: 1258600 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.41 2.53 2/236 19195
/proc/meminfo: memFree=123072668/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1341404 memory=1255656 CPUtime=3572.22 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 176895 0 0 0 353176 4046 0 0 20 0 1 0 33578012 1373597696 313914 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 335351 313914 2368 1147 0 322778 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 1345596 KiB
Current children cumulated memory: 1258600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 1.12 1.39 2.49 2/236 19196
/proc/meminfo: memFree=123045300/131382120 swapFree=33010684/33010684
[pid=18908] ppid=18905 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/18908/stat : 18908 (run-dec-log.sh) S 18905 18908 17810 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 33578011 4292608 736 18446744073709551615 94303533305856 94303534200389 140723229477232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94303534439440 94303534487184 94303557152768 140723229481249 140723229481444 140723229481444 140723229487046 0
/proc/18908/statm: 1048 736 672 219 0 110 0
[pid=18910] ppid=18908 vsize=1341404 memory=1255656 CPUtime=3600.03 cores=0,2
/proc/18910/stat : 18910 (roundingsat) R 18908 18908 17810 0 -1 4194304 177038 0 0 0 355939 4064 0 0 20 0 1 0 33578012 1373597696 313914 18446744073709551615 4227072 8923433 140727582734352 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33529856 140727582742887 140727582743080 140727582743080 140727582748650 0
/proc/18910/statm: 335351 313914 2368 1147 0 322778 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1345596 KiB
Current children cumulated memory: 1258600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 18908 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002939 s
[startup+3610.27 s]
# the end of solver process 18910 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.41 s, system=40.6591 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.27
CPU time (s): 3600.06
CPU user time (s): 3559.41
CPU system time (s): 40.6591
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 1345596
Max. memory (cumulated for all children) (KiB): 1258600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.41
system time used= 40.6591
maximum resident set size= 1255912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11800936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 605
involuntary context switches= 8181
# summary of solver processes directly reported to runsolver:
# pid: 18908,18910
# total CPU time (s): 3600.06
# total CPU user time (s): 3559.41
# total CPU system time (s): 40.6591
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.589 second user time and 38.8468 second system time
The end
Begin job on nodeC003 at 2025-06-29 08:36:33
IDJOB=4507193
IDBENCH=158329
IDSOLVER=3352
FILE ID=nodeC003/4507193-1751178993
RUNJOBID= nodeC003-1751170906-17820
SLURM_JOB_ID= 9587531
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K182.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507193-1751178993/watcher-4507193-1751178993 -o /tmp/evaluation-result-4507193-1751178993/solver-4507193-1751178993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17820 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507193-1751178993.opb PROOFDIR/proof-4507193-1751178993
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76bcc507230b7348cd315b0b6909f20
RANDOM SEED=210640110
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2394.321
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.416
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.560
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.562
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.382
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.075
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.638
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 124544424 kB
MemAvailable: 128495032 kB
Buffers: 3280 kB
Cached: 4757440 kB
SwapCached: 0 kB
Active: 1781612 kB
Inactive: 4544132 kB
Active(anon): 1583080 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 4544132 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 84584 kB
Writeback: 0 kB
AnonPages: 1568232 kB
Mapped: 115312 kB
Shmem: 17960 kB
KReclaimable: 95144 kB
Slab: 178660 kB
SReclaimable: 95144 kB
SUnreclaim: 83516 kB
KernelStack: 4192 kB
PageTables: 6344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2014676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC003 at 2025-06-29 09:36:44