0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.09/0.11 c [STEP] preprocessing with Papilo
0.09/0.18 c [STEP] solving with SCIP
299.37/300.39 c [STEP] preprocessing done, loading into solver
299.47/300.45 c [STEP] solving
299.47/300.45 c #variables 35093 #constraints 28952
299.47/300.45 c SMALL=int, LARGE=long long
299.47/300.45 d SCIPUB 2269
299.47/300.45 c bounds - >= 0 @ 299.243
299.47/300.45 c stratification level: 16
370.57/371.77 c #Conflicts: 1000 | #Constraints: 29951
370.57/371.77 c #Conflicts: 2000 | #Constraints: 30951
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 3000 | #Constraints: 30977
370.57/371.77 c #Conflicts: 4000 | #Constraints: 31977
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 5000 | #Constraints: 31393
370.57/371.77 c #Conflicts: 6000 | #Constraints: 32393
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 7000 | #Constraints: 31421
370.57/371.77 c #Conflicts: 8000 | #Constraints: 32421
370.57/371.77 c #Conflicts: 9000 | #Constraints: 33421
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 10000 | #Constraints: 32141
370.57/371.77 c #Conflicts: 11000 | #Constraints: 33141
370.57/371.77 c #Conflicts: 12000 | #Constraints: 34141
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 13000 | #Constraints: 32595
370.57/371.77 c #Conflicts: 14000 | #Constraints: 33595
370.57/371.77 c #Conflicts: 15000 | #Constraints: 34595
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 16000 | #Constraints: 32858
370.57/371.77 c #Conflicts: 17000 | #Constraints: 33858
370.57/371.77 c #Conflicts: 18000 | #Constraints: 34858
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 19000 | #Constraints: 32904
370.57/371.77 c #Conflicts: 20000 | #Constraints: 33904
370.57/371.77 c #Conflicts: 21000 | #Constraints: 34904
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 22000 | #Constraints: 32714
370.57/371.77 c #Conflicts: 23000 | #Constraints: 33714
370.57/371.77 c #Conflicts: 24000 | #Constraints: 34714
370.57/371.77 c #Conflicts: 25000 | #Constraints: 35714
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 26000 | #Constraints: 33320
370.57/371.77 c #Conflicts: 27000 | #Constraints: 34320
370.57/371.77 c #Conflicts: 28000 | #Constraints: 35320
370.57/371.77 c #Conflicts: 29000 | #Constraints: 36320
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 30000 | #Constraints: 33723
370.57/371.77 c #Conflicts: 31000 | #Constraints: 34723
370.57/371.77 c #Conflicts: 32000 | #Constraints: 35723
370.57/371.77 c #Conflicts: 33000 | #Constraints: 36723
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 34000 | #Constraints: 33914
370.57/371.77 c #Conflicts: 35000 | #Constraints: 34914
370.57/371.77 c #Conflicts: 36000 | #Constraints: 35914
370.57/371.77 c #Conflicts: 37000 | #Constraints: 36914
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 38000 | #Constraints: 33906
370.57/371.77 c #Conflicts: 39000 | #Constraints: 34906
370.57/371.77 c #Conflicts: 40000 | #Constraints: 35906
370.57/371.77 c #Conflicts: 41000 | #Constraints: 36906
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 42000 | #Constraints: 33721
370.57/371.77 c #Conflicts: 43000 | #Constraints: 34721
370.57/371.77 c #Conflicts: 44000 | #Constraints: 35721
370.57/371.77 c #Conflicts: 45000 | #Constraints: 36721
370.57/371.77 c #Conflicts: 46000 | #Constraints: 37721
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 47000 | #Constraints: 34306
370.57/371.77 c #Conflicts: 48000 | #Constraints: 35306
370.57/371.77 c #Conflicts: 49000 | #Constraints: 36306
370.57/371.77 c #Conflicts: 50000 | #Constraints: 37306
370.57/371.77 c #Conflicts: 51000 | #Constraints: 38306
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 52000 | #Constraints: 34721
370.57/371.77 c #Conflicts: 53000 | #Constraints: 35721
370.57/371.77 c #Conflicts: 54000 | #Constraints: 36721
370.57/371.77 c #Conflicts: 55000 | #Constraints: 37721
370.57/371.77 c #Conflicts: 56000 | #Constraints: 38721
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 57000 | #Constraints: 34935
370.57/371.77 c #Conflicts: 58000 | #Constraints: 35935
370.57/371.77 c #Conflicts: 59000 | #Constraints: 36935
370.57/371.77 c #Conflicts: 60000 | #Constraints: 37935
370.57/371.77 c #Conflicts: 61000 | #Constraints: 38935
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 62000 | #Constraints: 34901
370.57/371.77 c #Conflicts: 63000 | #Constraints: 35901
370.57/371.77 c #Conflicts: 64000 | #Constraints: 36901
370.57/371.77 c #Conflicts: 65000 | #Constraints: 37901
370.57/371.77 c #Conflicts: 66000 | #Constraints: 38901
370.57/371.77 c INPROCESSING
370.57/371.77 c GARBAGE COLLECT
370.57/371.77 c #Conflicts: 67000 | #Constraints: 34725
370.57/371.77 c #Conflicts: 68000 | #Constraints: 35725
458.31/459.76 c #Conflicts: 69000 | #Constraints: 36725
458.31/459.76 c #Conflicts: 70000 | #Constraints: 37725
458.31/459.76 c #Conflicts: 71000 | #Constraints: 38725
458.31/459.76 c #Conflicts: 72000 | #Constraints: 39725
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 73000 | #Constraints: 35353
458.31/459.76 c #Conflicts: 74000 | #Constraints: 36353
458.31/459.76 c #Conflicts: 75000 | #Constraints: 37353
458.31/459.76 c #Conflicts: 76000 | #Constraints: 38353
458.31/459.76 c #Conflicts: 77000 | #Constraints: 39353
458.31/459.76 c #Conflicts: 78000 | #Constraints: 40353
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 79000 | #Constraints: 35758
458.31/459.76 c #Conflicts: 80000 | #Constraints: 36758
458.31/459.76 c #Conflicts: 81000 | #Constraints: 37758
458.31/459.76 c #Conflicts: 82000 | #Constraints: 38758
458.31/459.76 c #Conflicts: 83000 | #Constraints: 39758
458.31/459.76 c #Conflicts: 84000 | #Constraints: 40758
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 85000 | #Constraints: 35956
458.31/459.76 c #Conflicts: 86000 | #Constraints: 36956
458.31/459.76 c #Conflicts: 87000 | #Constraints: 37956
458.31/459.76 c #Conflicts: 88000 | #Constraints: 38956
458.31/459.76 c #Conflicts: 89000 | #Constraints: 39956
458.31/459.76 c #Conflicts: 90000 | #Constraints: 40956
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 91000 | #Constraints: 35985
458.31/459.76 c #Conflicts: 92000 | #Constraints: 36985
458.31/459.76 c #Conflicts: 93000 | #Constraints: 37985
458.31/459.76 c #Conflicts: 94000 | #Constraints: 38985
458.31/459.76 c #Conflicts: 95000 | #Constraints: 39985
458.31/459.76 c #Conflicts: 96000 | #Constraints: 40985
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 97000 | #Constraints: 35823
458.31/459.76 c #Conflicts: 98000 | #Constraints: 36823
458.31/459.76 c #Conflicts: 99000 | #Constraints: 37823
458.31/459.76 c #Conflicts: 100000 | #Constraints: 38823
458.31/459.76 c #Conflicts: 101000 | #Constraints: 39823
458.31/459.76 c #Conflicts: 102000 | #Constraints: 40823
458.31/459.76 c #Conflicts: 103000 | #Constraints: 41823
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 104000 | #Constraints: 36396
458.31/459.76 c #Conflicts: 105000 | #Constraints: 37396
458.31/459.76 c #Conflicts: 106000 | #Constraints: 38396
458.31/459.76 c #Conflicts: 107000 | #Constraints: 39396
458.31/459.76 c #Conflicts: 108000 | #Constraints: 40396
458.31/459.76 c #Conflicts: 109000 | #Constraints: 41396
458.31/459.76 c #Conflicts: 110000 | #Constraints: 42396
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 111000 | #Constraints: 36781
458.31/459.76 c #Conflicts: 112000 | #Constraints: 37781
458.31/459.76 c #Conflicts: 113000 | #Constraints: 38781
458.31/459.76 c #Conflicts: 114000 | #Constraints: 39781
458.31/459.76 c #Conflicts: 115000 | #Constraints: 40781
458.31/459.76 c #Conflicts: 116000 | #Constraints: 41781
458.31/459.76 c #Conflicts: 117000 | #Constraints: 42781
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 118000 | #Constraints: 37008
458.31/459.76 c #Conflicts: 119000 | #Constraints: 38008
458.31/459.76 c #Conflicts: 120000 | #Constraints: 39008
458.31/459.76 c #Conflicts: 121000 | #Constraints: 40008
458.31/459.76 c #Conflicts: 122000 | #Constraints: 41008
458.31/459.76 c #Conflicts: 123000 | #Constraints: 42008
458.31/459.76 c #Conflicts: 124000 | #Constraints: 43008
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 125000 | #Constraints: 36979
458.31/459.76 c #Conflicts: 126000 | #Constraints: 37979
458.31/459.76 c #Conflicts: 127000 | #Constraints: 38979
458.31/459.76 c #Conflicts: 128000 | #Constraints: 39979
458.31/459.76 c #Conflicts: 129000 | #Constraints: 40979
458.31/459.76 c #Conflicts: 130000 | #Constraints: 41979
458.31/459.76 c #Conflicts: 131000 | #Constraints: 42979
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 132000 | #Constraints: 36811
458.31/459.76 c #Conflicts: 133000 | #Constraints: 37811
458.31/459.76 c #Conflicts: 134000 | #Constraints: 38811
458.31/459.76 c #Conflicts: 135000 | #Constraints: 39811
458.31/459.76 c #Conflicts: 136000 | #Constraints: 40811
458.31/459.76 c #Conflicts: 137000 | #Constraints: 41811
458.31/459.76 c #Conflicts: 138000 | #Constraints: 42811
458.31/459.76 c #Conflicts: 139000 | #Constraints: 43811
458.31/459.76 c INPROCESSING
458.31/459.76 c GARBAGE COLLECT
458.31/459.76 c #Conflicts: 140000 | #Constraints: 37421
549.95/551.62 c #Conflicts: 141000 | #Constraints: 38421
549.95/551.62 c #Conflicts: 142000 | #Constraints: 39421
549.95/551.62 c #Conflicts: 143000 | #Constraints: 40421
549.95/551.62 c #Conflicts: 144000 | #Constraints: 41421
549.95/551.62 c #Conflicts: 145000 | #Constraints: 42421
549.95/551.62 c #Conflicts: 146000 | #Constraints: 43421
549.95/551.62 c #Conflicts: 147000 | #Constraints: 44421
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 148000 | #Constraints: 37830
549.95/551.62 c #Conflicts: 149000 | #Constraints: 38830
549.95/551.62 c #Conflicts: 150000 | #Constraints: 39830
549.95/551.62 c #Conflicts: 151000 | #Constraints: 40830
549.95/551.62 c #Conflicts: 152000 | #Constraints: 41830
549.95/551.62 c #Conflicts: 153000 | #Constraints: 42830
549.95/551.62 c #Conflicts: 154000 | #Constraints: 43830
549.95/551.62 c #Conflicts: 155000 | #Constraints: 44830
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 156000 | #Constraints: 38021
549.95/551.62 c #Conflicts: 157000 | #Constraints: 39021
549.95/551.62 c #Conflicts: 158000 | #Constraints: 40021
549.95/551.62 c #Conflicts: 159000 | #Constraints: 41021
549.95/551.62 c #Conflicts: 160000 | #Constraints: 42021
549.95/551.62 c #Conflicts: 161000 | #Constraints: 43021
549.95/551.62 c #Conflicts: 162000 | #Constraints: 44021
549.95/551.62 c #Conflicts: 163000 | #Constraints: 45021
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 164000 | #Constraints: 38025
549.95/551.62 c #Conflicts: 165000 | #Constraints: 39025
549.95/551.62 c #Conflicts: 166000 | #Constraints: 40025
549.95/551.62 c #Conflicts: 167000 | #Constraints: 41025
549.95/551.62 c #Conflicts: 168000 | #Constraints: 42025
549.95/551.62 c #Conflicts: 169000 | #Constraints: 43025
549.95/551.62 c #Conflicts: 170000 | #Constraints: 44025
549.95/551.62 c #Conflicts: 171000 | #Constraints: 45025
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 172000 | #Constraints: 37837
549.95/551.62 c #Conflicts: 173000 | #Constraints: 38837
549.95/551.62 c #Conflicts: 174000 | #Constraints: 39837
549.95/551.62 c #Conflicts: 175000 | #Constraints: 40837
549.95/551.62 c #Conflicts: 176000 | #Constraints: 41837
549.95/551.62 c #Conflicts: 177000 | #Constraints: 42837
549.95/551.62 c #Conflicts: 178000 | #Constraints: 43837
549.95/551.62 c #Conflicts: 179000 | #Constraints: 44837
549.95/551.62 c #Conflicts: 180000 | #Constraints: 45837
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 181000 | #Constraints: 38401
549.95/551.62 c #Conflicts: 182000 | #Constraints: 39401
549.95/551.62 c #Conflicts: 183000 | #Constraints: 40401
549.95/551.62 c #Conflicts: 184000 | #Constraints: 41401
549.95/551.62 c #Conflicts: 185000 | #Constraints: 42401
549.95/551.62 c #Conflicts: 186000 | #Constraints: 43401
549.95/551.62 c #Conflicts: 187000 | #Constraints: 44401
549.95/551.62 c #Conflicts: 188000 | #Constraints: 45401
549.95/551.62 c #Conflicts: 189000 | #Constraints: 46401
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 190000 | #Constraints: 38856
549.95/551.62 c #Conflicts: 191000 | #Constraints: 39856
549.95/551.62 c #Conflicts: 192000 | #Constraints: 40856
549.95/551.62 c #Conflicts: 193000 | #Constraints: 41856
549.95/551.62 c #Conflicts: 194000 | #Constraints: 42856
549.95/551.62 c #Conflicts: 195000 | #Constraints: 43856
549.95/551.62 c #Conflicts: 196000 | #Constraints: 44856
549.95/551.62 c #Conflicts: 197000 | #Constraints: 45856
549.95/551.62 c #Conflicts: 198000 | #Constraints: 46856
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 199000 | #Constraints: 39092
549.95/551.62 c #Conflicts: 200000 | #Constraints: 40092
549.95/551.62 c #Conflicts: 201000 | #Constraints: 41092
549.95/551.62 c #Conflicts: 202000 | #Constraints: 42092
549.95/551.62 c #Conflicts: 203000 | #Constraints: 43092
549.95/551.62 c #Conflicts: 204000 | #Constraints: 44092
549.95/551.62 c #Conflicts: 205000 | #Constraints: 45092
549.95/551.62 c #Conflicts: 206000 | #Constraints: 46092
549.95/551.62 c #Conflicts: 207000 | #Constraints: 47092
549.95/551.62 c INPROCESSING
549.95/551.62 c GARBAGE COLLECT
549.95/551.62 c #Conflicts: 208000 | #Constraints: 39099
549.95/551.62 c #Conflicts: 209000 | #Constraints: 40099
549.95/551.62 c #Conflicts: 210000 | #Constraints: 41099
549.95/551.62 c #Conflicts: 211000 | #Constraints: 42099
549.95/551.62 c #Conflicts: 212000 | #Constraints: 43099
549.95/551.62 c #Conflicts: 213000 | #Constraints: 44099
638.15/640.05 c #Conflicts: 214000 | #Constraints: 45099
638.15/640.05 c #Conflicts: 215000 | #Constraints: 46099
638.15/640.05 c #Conflicts: 216000 | #Constraints: 47099
638.15/640.05 c INPROCESSING
638.15/640.05 c GARBAGE COLLECT
638.15/640.05 c #Conflicts: 217000 | #Constraints: 38912
638.15/640.05 c #Conflicts: 218000 | #Constraints: 39912
638.15/640.05 c #Conflicts: 219000 | #Constraints: 40912
638.15/640.05 c #Conflicts: 220000 | #Constraints: 41912
638.15/640.05 c #Conflicts: 221000 | #Constraints: 42912
638.15/640.05 c #Conflicts: 222000 | #Constraints: 43912
638.15/640.05 c #Conflicts: 223000 | #Constraints: 44912
638.15/640.05 c #Conflicts: 224000 | #Constraints: 45912
638.15/640.05 c #Conflicts: 225000 | #Constraints: 46912
638.15/640.05 c #Conflicts: 226000 | #Constraints: 47912
638.15/640.05 c INPROCESSING
638.15/640.05 c GARBAGE COLLECT
638.15/640.05 c #Conflicts: 227000 | #Constraints: 39517
638.15/640.05 c #Conflicts: 228000 | #Constraints: 40517
638.15/640.05 c #Conflicts: 229000 | #Constraints: 41517
638.15/640.05 c #Conflicts: 230000 | #Constraints: 42517
638.15/640.05 c #Conflicts: 231000 | #Constraints: 43517
638.15/640.05 c #Conflicts: 232000 | #Constraints: 44517
638.15/640.05 c #Conflicts: 233000 | #Constraints: 45517
638.15/640.05 c #Conflicts: 234000 | #Constraints: 46517
638.15/640.05 c #Conflicts: 235000 | #Constraints: 47517
638.15/640.05 c #Conflicts: 236000 | #Constraints: 48517
638.15/640.05 c INPROCESSING
638.15/640.05 c GARBAGE COLLECT
638.15/640.05 c #Conflicts: 237000 | #Constraints: 39874
638.15/640.05 c #Conflicts: 238000 | #Constraints: 40874
638.15/640.05 c #Conflicts: 239000 | #Constraints: 41874
638.15/640.05 c #Conflicts: 240000 | #Constraints: 42874
638.15/640.05 c #Conflicts: 241000 | #Constraints: 43874
638.15/640.05 c #Conflicts: 242000 | #Constraints: 44874
638.15/640.05 c #Conflicts: 243000 | #Constraints: 45874
638.15/640.05 c #Conflicts: 244000 | #Constraints: 46874
638.15/640.05 c #Conflicts: 245000 | #Constraints: 47874
638.15/640.05 c #Conflicts: 246000 | #Constraints: 48874
638.15/640.05 c INPROCESSING
638.15/640.05 c GARBAGE COLLECT
638.15/640.05 c #Conflicts: 247000 | #Constraints: 40104
638.15/640.05 c #Conflicts: 248000 | #Constraints: 41104
638.15/640.05 c #Conflicts: 249000 | #Constraints: 42104
638.15/640.05 c #Conflicts: 250000 | #Constraints: 43104
638.15/640.05 c #Conflicts: 251000 | #Constraints: 44104
638.15/640.05 c #Conflicts: 252000 | #Constraints: 45104
638.15/640.05 c #Conflicts: 253000 | #Constraints: 46104
638.15/640.05 c #Conflicts: 254000 | #Constraints: 47104
638.15/640.05 c #Conflicts: 255000 | #Constraints: 48104
638.15/640.05 c #Conflicts: 256000 | #Constraints: 49104
638.15/640.05 c INPROCESSING
638.15/640.05 c GARBAGE COLLECT
638.15/640.05 c #Conflicts: 257000 | #Constraints: 40066
638.15/640.05 c #Conflicts: 258000 | #Constraints: 41066
638.15/640.05 c #Conflicts: 259000 | #Constraints: 42066
638.15/640.05 c #Conflicts: 260000 | #Constraints: 43066
638.15/640.05 c #Conflicts: 261000 | #Constraints: 44066
638.15/640.05 c #Conflicts: 262000 | #Constraints: 45066
638.15/640.05 c #Conflicts: 263000 | #Constraints: 46066
638.15/640.05 c #Conflicts: 264000 | #Constraints: 47066
638.15/640.05 c #Conflicts: 265000 | #Constraints: 48066
638.15/640.05 c #Conflicts: 266000 | #Constraints: 49066
638.15/640.05 c INPROCESSING
638.15/640.05 c GARBAGE COLLECT
638.15/640.05 c #Conflicts: 267000 | #Constraints: 39881
638.15/640.05 c #Conflicts: 268000 | #Constraints: 40881
638.15/640.05 c #Conflicts: 269000 | #Constraints: 41881
638.15/640.05 c #Conflicts: 270000 | #Constraints: 42881
638.15/640.05 c #Conflicts: 271000 | #Constraints: 43881
638.15/640.05 c #Conflicts: 272000 | #Constraints: 44881
638.15/640.05 c #Conflicts: 273000 | #Constraints: 45881
638.15/640.05 c #Conflicts: 274000 | #Constraints: 46881
638.15/640.05 c #Conflicts: 275000 | #Constraints: 47881
638.15/640.05 c #Conflicts: 276000 | #Constraints: 48881
638.15/640.05 c #Conflicts: 277000 | #Constraints: 49881
638.15/640.05 c INPROCESSING
638.15/640.05 c GARBAGE COLLECT
638.15/640.05 c #Conflicts: 278000 | #Constraints: 40513
638.15/640.05 c #Conflicts: 279000 | #Constraints: 41513
638.15/640.05 c #Conflicts: 280000 | #Constraints: 42513
638.15/640.05 c #Conflicts: 281000 | #Constraints: 43513
638.15/640.05 c #Conflicts: 282000 | #Constraints: 44513
638.15/640.05 c #Conflicts: 283000 | #Constraints: 45513
638.15/640.05 c #Conflicts: 284000 | #Constraints: 46513
638.15/640.05 c #Conflicts: 285000 | #Constraints: 47513
638.15/640.05 c #Conflicts: 286000 | #Constraints: 48513
638.15/640.05 c #Conflicts: 287000 | #Constraints: 49513
638.15/640.05 c #Conflicts: 288000 | #Constraints: 50513
740.50/742.65 c INPROCESSING
740.50/742.65 c GARBAGE COLLECT
740.50/742.65 c #Conflicts: 289000 | #Constraints: 40873
740.50/742.65 c #Conflicts: 290000 | #Constraints: 41873
740.50/742.65 c #Conflicts: 291000 | #Constraints: 42873
740.50/742.65 c #Conflicts: 292000 | #Constraints: 43873
740.50/742.65 c #Conflicts: 293000 | #Constraints: 44873
740.50/742.65 c #Conflicts: 294000 | #Constraints: 45873
740.50/742.65 c #Conflicts: 295000 | #Constraints: 46873
740.50/742.65 c #Conflicts: 296000 | #Constraints: 47873
740.50/742.65 c #Conflicts: 297000 | #Constraints: 48873
740.50/742.65 c #Conflicts: 298000 | #Constraints: 49873
740.50/742.65 c #Conflicts: 299000 | #Constraints: 50873
740.50/742.65 c INPROCESSING
740.50/742.65 c GARBAGE COLLECT
740.50/742.65 c #Conflicts: 300000 | #Constraints: 41087
740.50/742.65 c #Conflicts: 301000 | #Constraints: 42087
740.50/742.65 c #Conflicts: 302000 | #Constraints: 43087
740.50/742.65 c #Conflicts: 303000 | #Constraints: 44087
740.50/742.65 c #Conflicts: 304000 | #Constraints: 45087
740.50/742.65 c #Conflicts: 305000 | #Constraints: 46087
740.50/742.65 c #Conflicts: 306000 | #Constraints: 47087
740.50/742.65 c #Conflicts: 307000 | #Constraints: 48087
740.50/742.65 c #Conflicts: 308000 | #Constraints: 49087
740.50/742.65 c #Conflicts: 309000 | #Constraints: 50087
740.50/742.65 c #Conflicts: 310000 | #Constraints: 51087
740.50/742.65 c INPROCESSING
740.50/742.65 c GARBAGE COLLECT
740.50/742.65 c #Conflicts: 311000 | #Constraints: 41141
740.50/742.65 c #Conflicts: 312000 | #Constraints: 42141
740.50/742.65 c #Conflicts: 313000 | #Constraints: 43141
740.50/742.65 c #Conflicts: 314000 | #Constraints: 44141
740.50/742.65 c #Conflicts: 315000 | #Constraints: 45141
740.50/742.65 c #Conflicts: 316000 | #Constraints: 46141
740.50/742.65 c #Conflicts: 317000 | #Constraints: 47141
740.50/742.65 c #Conflicts: 318000 | #Constraints: 48141
740.50/742.65 c #Conflicts: 319000 | #Constraints: 49141
740.50/742.65 c #Conflicts: 320000 | #Constraints: 50141
740.50/742.65 c #Conflicts: 321000 | #Constraints: 51141
740.50/742.65 c INPROCESSING
740.50/742.65 c GARBAGE COLLECT
740.50/742.65 c #Conflicts: 322000 | #Constraints: 40959
740.50/742.65 c #Conflicts: 323000 | #Constraints: 41959
740.50/742.65 c #Conflicts: 324000 | #Constraints: 42959
740.50/742.65 c #Conflicts: 325000 | #Constraints: 43959
740.50/742.65 c #Conflicts: 326000 | #Constraints: 44959
740.50/742.65 c #Conflicts: 327000 | #Constraints: 45959
740.50/742.65 c #Conflicts: 328000 | #Constraints: 46959
740.50/742.65 c #Conflicts: 329000 | #Constraints: 47959
740.50/742.65 c #Conflicts: 330000 | #Constraints: 48959
740.50/742.65 c #Conflicts: 331000 | #Constraints: 49959
740.50/742.65 c #Conflicts: 332000 | #Constraints: 50959
740.50/742.65 c #Conflicts: 333000 | #Constraints: 51959
740.50/742.65 c INPROCESSING
740.50/742.65 c GARBAGE COLLECT
740.50/742.65 c #Conflicts: 334000 | #Constraints: 41541
740.50/742.65 c #Conflicts: 335000 | #Constraints: 42541
740.50/742.65 c #Conflicts: 336000 | #Constraints: 43541
740.50/742.65 c #Conflicts: 337000 | #Constraints: 44541
740.50/742.65 c #Conflicts: 338000 | #Constraints: 45541
740.50/742.65 c #Conflicts: 339000 | #Constraints: 46541
740.50/742.65 c #Conflicts: 340000 | #Constraints: 47541
740.50/742.65 c #Conflicts: 341000 | #Constraints: 48541
740.50/742.65 c #Conflicts: 342000 | #Constraints: 49541
740.50/742.65 c #Conflicts: 343000 | #Constraints: 50541
740.50/742.65 c #Conflicts: 344000 | #Constraints: 51541
740.50/742.65 c #Conflicts: 345000 | #Constraints: 52541
740.50/742.65 c INPROCESSING
740.50/742.65 c GARBAGE COLLECT
740.50/742.65 c #Conflicts: 346000 | #Constraints: 41955
740.50/742.65 c #Conflicts: 347000 | #Constraints: 42955
740.50/742.65 c #Conflicts: 348000 | #Constraints: 43955
740.50/742.65 c #Conflicts: 349000 | #Constraints: 44955
740.50/742.65 c #Conflicts: 350000 | #Constraints: 45955
740.50/742.65 c #Conflicts: 351000 | #Constraints: 46955
740.50/742.65 c #Conflicts: 352000 | #Constraints: 47955
740.50/742.65 c #Conflicts: 353000 | #Constraints: 48955
740.50/742.65 c #Conflicts: 354000 | #Constraints: 49955
740.50/742.65 c #Conflicts: 355000 | #Constraints: 50955
740.50/742.65 c #Conflicts: 356000 | #Constraints: 51955
740.50/742.65 c #Conflicts: 357000 | #Constraints: 52955
740.50/742.65 c INPROCESSING
740.50/742.65 c GARBAGE COLLECT
740.50/742.65 c #Conflicts: 358000 | #Constraints: 42166
740.50/742.65 c #Conflicts: 359000 | #Constraints: 43166
740.50/742.65 c #Conflicts: 360000 | #Constraints: 44166
740.50/742.65 c #Conflicts: 361000 | #Constraints: 45166
740.50/742.65 c #Conflicts: 362000 | #Constraints: 46166
831.47/833.83 c #Conflicts: 363000 | #Constraints: 47166
831.47/833.83 c #Conflicts: 364000 | #Constraints: 48166
831.47/833.83 c #Conflicts: 365000 | #Constraints: 49166
831.47/833.83 c #Conflicts: 366000 | #Constraints: 50166
831.47/833.83 c #Conflicts: 367000 | #Constraints: 51166
831.47/833.83 c #Conflicts: 368000 | #Constraints: 52166
831.47/833.83 c #Conflicts: 369000 | #Constraints: 53166
831.47/833.83 c INPROCESSING
831.47/833.83 c GARBAGE COLLECT
831.47/833.83 c #Conflicts: 370000 | #Constraints: 42121
831.47/833.83 c #Conflicts: 371000 | #Constraints: 43121
831.47/833.83 c #Conflicts: 372000 | #Constraints: 44121
831.47/833.83 c #Conflicts: 373000 | #Constraints: 45121
831.47/833.83 c #Conflicts: 374000 | #Constraints: 46121
831.47/833.83 c #Conflicts: 375000 | #Constraints: 47121
831.47/833.83 c #Conflicts: 376000 | #Constraints: 48121
831.47/833.83 c #Conflicts: 377000 | #Constraints: 49121
831.47/833.83 c #Conflicts: 378000 | #Constraints: 50121
831.47/833.83 c #Conflicts: 379000 | #Constraints: 51121
831.47/833.83 c #Conflicts: 380000 | #Constraints: 52121
831.47/833.83 c #Conflicts: 381000 | #Constraints: 53121
831.47/833.83 c INPROCESSING
831.47/833.83 c GARBAGE COLLECT
831.47/833.83 c #Conflicts: 382000 | #Constraints: 41900
831.47/833.83 c #Conflicts: 383000 | #Constraints: 42900
831.47/833.83 c #Conflicts: 384000 | #Constraints: 43900
831.47/833.83 c #Conflicts: 385000 | #Constraints: 44900
831.47/833.83 c #Conflicts: 386000 | #Constraints: 45900
831.47/833.83 c #Conflicts: 387000 | #Constraints: 46900
831.47/833.83 c #Conflicts: 388000 | #Constraints: 47900
831.47/833.83 c #Conflicts: 389000 | #Constraints: 48900
831.47/833.83 c #Conflicts: 390000 | #Constraints: 49900
831.47/833.83 c #Conflicts: 391000 | #Constraints: 50900
831.47/833.83 c #Conflicts: 392000 | #Constraints: 51900
831.47/833.83 c #Conflicts: 393000 | #Constraints: 52900
831.47/833.83 c #Conflicts: 394000 | #Constraints: 53900
831.47/833.83 c INPROCESSING
831.47/833.83 c GARBAGE COLLECT
831.47/833.83 c #Conflicts: 395000 | #Constraints: 42515
831.47/833.83 c #Conflicts: 396000 | #Constraints: 43515
831.47/833.83 c #Conflicts: 397000 | #Constraints: 44515
831.47/833.83 c #Conflicts: 398000 | #Constraints: 45515
831.47/833.83 c #Conflicts: 399000 | #Constraints: 46515
831.47/833.83 c #Conflicts: 400000 | #Constraints: 47515
831.47/833.83 c #Conflicts: 401000 | #Constraints: 48515
831.47/833.83 c #Conflicts: 402000 | #Constraints: 49515
831.47/833.83 c #Conflicts: 403000 | #Constraints: 50515
831.47/833.83 c #Conflicts: 404000 | #Constraints: 51515
831.47/833.83 c #Conflicts: 405000 | #Constraints: 52515
831.47/833.83 c #Conflicts: 406000 | #Constraints: 53515
831.47/833.83 c #Conflicts: 407000 | #Constraints: 54515
831.47/833.83 c INPROCESSING
831.47/833.83 c GARBAGE COLLECT
831.47/833.83 c #Conflicts: 408000 | #Constraints: 42965
831.47/833.83 c #Conflicts: 409000 | #Constraints: 43965
831.47/833.83 c #Conflicts: 410000 | #Constraints: 44965
831.47/833.83 c #Conflicts: 411000 | #Constraints: 45965
831.47/833.83 c #Conflicts: 412000 | #Constraints: 46965
831.47/833.83 c #Conflicts: 413000 | #Constraints: 47965
831.47/833.83 c #Conflicts: 414000 | #Constraints: 48965
831.47/833.83 c #Conflicts: 415000 | #Constraints: 49965
831.47/833.83 c #Conflicts: 416000 | #Constraints: 50965
831.47/833.83 c #Conflicts: 417000 | #Constraints: 51965
831.47/833.83 c #Conflicts: 418000 | #Constraints: 52965
831.47/833.83 c #Conflicts: 419000 | #Constraints: 53965
831.47/833.83 c #Conflicts: 420000 | #Constraints: 54965
831.47/833.83 c INPROCESSING
831.47/833.83 c GARBAGE COLLECT
831.47/833.83 c #Conflicts: 421000 | #Constraints: 43172
831.47/833.83 c #Conflicts: 422000 | #Constraints: 44172
831.47/833.83 c #Conflicts: 423000 | #Constraints: 45172
831.47/833.83 c #Conflicts: 424000 | #Constraints: 46172
831.47/833.83 c #Conflicts: 425000 | #Constraints: 47172
831.47/833.83 c #Conflicts: 426000 | #Constraints: 48172
831.47/833.83 c #Conflicts: 427000 | #Constraints: 49172
831.47/833.83 c #Conflicts: 428000 | #Constraints: 50172
831.47/833.83 c #Conflicts: 429000 | #Constraints: 51172
831.47/833.83 c #Conflicts: 430000 | #Constraints: 52172
831.47/833.83 c #Conflicts: 431000 | #Constraints: 53172
831.47/833.83 c #Conflicts: 432000 | #Constraints: 54172
831.47/833.83 c #Conflicts: 433000 | #Constraints: 55172
831.47/833.83 c INPROCESSING
831.47/833.83 c GARBAGE COLLECT
831.47/833.83 c #Conflicts: 434000 | #Constraints: 43228
831.47/833.83 c #Conflicts: 435000 | #Constraints: 44228
831.47/833.83 c #Conflicts: 436000 | #Constraints: 45228
831.47/833.83 c #Conflicts: 437000 | #Constraints: 46228
994.88/997.66 c #Conflicts: 438000 | #Constraints: 47228
994.88/997.66 c #Conflicts: 439000 | #Constraints: 48228
994.88/997.66 c #Conflicts: 440000 | #Constraints: 49228
994.88/997.66 c #Conflicts: 441000 | #Constraints: 50228
994.88/997.66 c #Conflicts: 442000 | #Constraints: 51228
994.88/997.66 c #Conflicts: 443000 | #Constraints: 52228
994.88/997.66 c #Conflicts: 444000 | #Constraints: 53228
994.88/997.66 c #Conflicts: 445000 | #Constraints: 54228
994.88/997.66 c #Conflicts: 446000 | #Constraints: 55228
994.88/997.66 c INPROCESSING
994.88/997.66 c GARBAGE COLLECT
994.88/997.66 c #Conflicts: 447000 | #Constraints: 43002
994.88/997.66 c #Conflicts: 448000 | #Constraints: 44002
994.88/997.66 c #Conflicts: 449000 | #Constraints: 45002
994.88/997.66 c #Conflicts: 450000 | #Constraints: 46002
994.88/997.66 c #Conflicts: 451000 | #Constraints: 47002
994.88/997.66 c #Conflicts: 452000 | #Constraints: 48002
994.88/997.66 c #Conflicts: 453000 | #Constraints: 49002
994.88/997.66 c #Conflicts: 454000 | #Constraints: 50002
994.88/997.66 c #Conflicts: 455000 | #Constraints: 51002
994.88/997.66 c #Conflicts: 456000 | #Constraints: 52002
994.88/997.66 c #Conflicts: 457000 | #Constraints: 53002
994.88/997.66 c #Conflicts: 458000 | #Constraints: 54002
994.88/997.66 c #Conflicts: 459000 | #Constraints: 55002
994.88/997.66 c #Conflicts: 460000 | #Constraints: 56002
994.88/997.66 c INPROCESSING
994.88/997.66 c GARBAGE COLLECT
994.88/997.66 c #Conflicts: 461000 | #Constraints: 43613
994.88/997.66 c #Conflicts: 462000 | #Constraints: 44613
994.88/997.66 c #Conflicts: 463000 | #Constraints: 45613
994.88/997.66 c #Conflicts: 464000 | #Constraints: 46613
994.88/997.66 c #Conflicts: 465000 | #Constraints: 47613
994.88/997.66 c #Conflicts: 466000 | #Constraints: 48613
994.88/997.66 c #Conflicts: 467000 | #Constraints: 49613
994.88/997.66 c #Conflicts: 468000 | #Constraints: 50613
994.88/997.66 c #Conflicts: 469000 | #Constraints: 51613
994.88/997.66 c #Conflicts: 470000 | #Constraints: 52613
994.88/997.66 c #Conflicts: 471000 | #Constraints: 53613
994.88/997.66 c #Conflicts: 472000 | #Constraints: 54613
994.88/997.66 c #Conflicts: 473000 | #Constraints: 55613
994.88/997.66 c #Conflicts: 474000 | #Constraints: 56613
994.88/997.66 c INPROCESSING
994.88/997.66 c GARBAGE COLLECT
994.88/997.66 c #Conflicts: 475000 | #Constraints: 44008
994.88/997.66 c #Conflicts: 476000 | #Constraints: 45008
994.88/997.66 c #Conflicts: 477000 | #Constraints: 46008
994.88/997.66 c #Conflicts: 478000 | #Constraints: 47008
994.88/997.66 c #Conflicts: 479000 | #Constraints: 48008
994.88/997.66 c #Conflicts: 480000 | #Constraints: 49008
994.88/997.66 c #Conflicts: 481000 | #Constraints: 50008
994.88/997.66 c #Conflicts: 482000 | #Constraints: 51008
994.88/997.66 c #Conflicts: 483000 | #Constraints: 52008
994.88/997.66 c #Conflicts: 484000 | #Constraints: 53008
994.88/997.66 c #Conflicts: 485000 | #Constraints: 54008
994.88/997.66 c #Conflicts: 486000 | #Constraints: 55008
994.88/997.66 c #Conflicts: 487000 | #Constraints: 56008
994.88/997.66 c #Conflicts: 488000 | #Constraints: 57008
994.88/997.66 c INPROCESSING
994.88/997.66 c GARBAGE COLLECT
994.88/997.66 c #Conflicts: 489000 | #Constraints: 44198
994.88/997.66 c #Conflicts: 490000 | #Constraints: 45198
994.88/997.66 c #Conflicts: 491000 | #Constraints: 46198
994.88/997.66 c #Conflicts: 492000 | #Constraints: 47198
994.88/997.66 c #Conflicts: 493000 | #Constraints: 48198
994.88/997.66 c #Conflicts: 494000 | #Constraints: 49198
994.88/997.66 c #Conflicts: 495000 | #Constraints: 50198
994.88/997.66 c #Conflicts: 496000 | #Constraints: 51198
994.88/997.66 c #Conflicts: 497000 | #Constraints: 52198
994.88/997.66 c #Conflicts: 498000 | #Constraints: 53198
994.88/997.66 c #Conflicts: 499000 | #Constraints: 54198
994.88/997.66 c #Conflicts: 500000 | #Constraints: 55198
994.88/997.66 c #Conflicts: 501000 | #Constraints: 56198
994.88/997.66 c #Conflicts: 502000 | #Constraints: 57198
994.88/997.66 c INPROCESSING
994.88/997.66 c GARBAGE COLLECT
994.88/997.66 c #Conflicts: 503000 | #Constraints: 44210
994.88/997.66 c #Conflicts: 504000 | #Constraints: 45210
994.88/997.66 c #Conflicts: 505000 | #Constraints: 46210
994.88/997.66 c #Conflicts: 506000 | #Constraints: 47210
994.88/997.66 c #Conflicts: 507000 | #Constraints: 48210
994.88/997.66 c #Conflicts: 508000 | #Constraints: 49210
994.88/997.66 c #Conflicts: 509000 | #Constraints: 50210
994.88/997.66 c #Conflicts: 510000 | #Constraints: 51210
994.88/997.66 c #Conflicts: 511000 | #Constraints: 52210
994.88/997.66 c #Conflicts: 512000 | #Constraints: 53210
994.88/997.66 c #Conflicts: 513000 | #Constraints: 54210
1102.62/1105.63 c #Conflicts: 514000 | #Constraints: 55210
1102.62/1105.63 c #Conflicts: 515000 | #Constraints: 56210
1102.62/1105.63 c #Conflicts: 516000 | #Constraints: 57210
1102.62/1105.63 c INPROCESSING
1102.62/1105.63 c GARBAGE COLLECT
1102.62/1105.63 c #Conflicts: 517000 | #Constraints: 43952
1102.62/1105.63 c #Conflicts: 518000 | #Constraints: 44952
1102.62/1105.63 c #Conflicts: 519000 | #Constraints: 45952
1102.62/1105.63 c #Conflicts: 520000 | #Constraints: 46952
1102.62/1105.63 c #Conflicts: 521000 | #Constraints: 47952
1102.62/1105.63 c #Conflicts: 522000 | #Constraints: 48952
1102.62/1105.63 c #Conflicts: 523000 | #Constraints: 49952
1102.62/1105.63 c #Conflicts: 524000 | #Constraints: 50952
1102.62/1105.63 c #Conflicts: 525000 | #Constraints: 51952
1102.62/1105.63 c #Conflicts: 526000 | #Constraints: 52952
1102.62/1105.63 c #Conflicts: 527000 | #Constraints: 53952
1102.62/1105.63 c #Conflicts: 528000 | #Constraints: 54952
1102.62/1105.63 c #Conflicts: 529000 | #Constraints: 55952
1102.62/1105.63 c #Conflicts: 530000 | #Constraints: 56952
1102.62/1105.63 c #Conflicts: 531000 | #Constraints: 57952
1102.62/1105.63 c INPROCESSING
1102.62/1105.63 c GARBAGE COLLECT
1102.62/1105.63 c #Conflicts: 532000 | #Constraints: 44547
1102.62/1105.63 c #Conflicts: 533000 | #Constraints: 45547
1102.62/1105.63 c #Conflicts: 534000 | #Constraints: 46547
1102.62/1105.63 c #Conflicts: 535000 | #Constraints: 47547
1102.62/1105.63 c #Conflicts: 536000 | #Constraints: 48547
1102.62/1105.63 c #Conflicts: 537000 | #Constraints: 49547
1102.62/1105.63 c #Conflicts: 538000 | #Constraints: 50547
1102.62/1105.63 c #Conflicts: 539000 | #Constraints: 51547
1102.62/1105.63 c #Conflicts: 540000 | #Constraints: 52547
1102.62/1105.63 c #Conflicts: 541000 | #Constraints: 53547
1102.62/1105.63 c #Conflicts: 542000 | #Constraints: 54547
1102.62/1105.63 c #Conflicts: 543000 | #Constraints: 55547
1102.62/1105.63 c #Conflicts: 544000 | #Constraints: 56547
1102.62/1105.63 c #Conflicts: 545000 | #Constraints: 57547
1102.62/1105.63 c #Conflicts: 546000 | #Constraints: 58547
1102.62/1105.63 c INPROCESSING
1102.62/1105.63 c GARBAGE COLLECT
1102.62/1105.63 c #Conflicts: 547000 | #Constraints: 44982
1102.62/1105.63 c #Conflicts: 548000 | #Constraints: 45982
1102.62/1105.63 c #Conflicts: 549000 | #Constraints: 46982
1102.62/1105.63 c #Conflicts: 550000 | #Constraints: 47982
1102.62/1105.63 c #Conflicts: 551000 | #Constraints: 48982
1102.62/1105.63 c #Conflicts: 552000 | #Constraints: 49982
1102.62/1105.63 c #Conflicts: 553000 | #Constraints: 50982
1102.62/1105.63 c #Conflicts: 554000 | #Constraints: 51982
1102.62/1105.63 c #Conflicts: 555000 | #Constraints: 52982
1102.62/1105.63 c #Conflicts: 556000 | #Constraints: 53982
1102.62/1105.63 c #Conflicts: 557000 | #Constraints: 54982
1102.62/1105.63 c #Conflicts: 558000 | #Constraints: 55982
1102.62/1105.63 c #Conflicts: 559000 | #Constraints: 56982
1102.62/1105.63 c #Conflicts: 560000 | #Constraints: 57982
1102.62/1105.63 c #Conflicts: 561000 | #Constraints: 58982
1102.62/1105.63 c INPROCESSING
1102.62/1105.63 c GARBAGE COLLECT
1102.62/1105.63 c #Conflicts: 562000 | #Constraints: 45215
1102.62/1105.63 c #Conflicts: 563000 | #Constraints: 46215
1102.62/1105.63 c #Conflicts: 564000 | #Constraints: 47215
1102.62/1105.63 c #Conflicts: 565000 | #Constraints: 48215
1102.62/1105.63 c #Conflicts: 566000 | #Constraints: 49215
1102.62/1105.63 c #Conflicts: 567000 | #Constraints: 50215
1102.62/1105.63 c #Conflicts: 568000 | #Constraints: 51215
1102.62/1105.63 c #Conflicts: 569000 | #Constraints: 52215
1102.62/1105.63 c #Conflicts: 570000 | #Constraints: 53215
1102.62/1105.63 c #Conflicts: 571000 | #Constraints: 54215
1102.62/1105.63 c #Conflicts: 572000 | #Constraints: 55215
1102.62/1105.63 c #Conflicts: 573000 | #Constraints: 56215
1102.62/1105.63 c #Conflicts: 574000 | #Constraints: 57215
1102.62/1105.63 c #Conflicts: 575000 | #Constraints: 58215
1102.62/1105.63 c #Conflicts: 576000 | #Constraints: 59215
1102.62/1105.63 c INPROCESSING
1102.62/1105.63 c GARBAGE COLLECT
1102.62/1105.63 c #Conflicts: 577000 | #Constraints: 45193
1102.62/1105.63 c #Conflicts: 578000 | #Constraints: 46193
1102.62/1105.63 c #Conflicts: 579000 | #Constraints: 47193
1102.62/1105.63 c #Conflicts: 580000 | #Constraints: 48193
1102.62/1105.63 c #Conflicts: 581000 | #Constraints: 49193
1102.62/1105.63 c #Conflicts: 582000 | #Constraints: 50193
1102.62/1105.63 c #Conflicts: 583000 | #Constraints: 51193
1102.62/1105.63 c #Conflicts: 584000 | #Constraints: 52193
1102.62/1105.63 c #Conflicts: 585000 | #Constraints: 53193
1102.62/1105.63 c #Conflicts: 586000 | #Constraints: 54193
1102.62/1105.63 c #Conflicts: 587000 | #Constraints: 55193
1102.62/1105.63 c #Conflicts: 588000 | #Constraints: 56193
1226.12/1229.46 c #Conflicts: 589000 | #Constraints: 57193
1226.12/1229.46 c #Conflicts: 590000 | #Constraints: 58193
1226.12/1229.46 c #Conflicts: 591000 | #Constraints: 59193
1226.12/1229.46 c INPROCESSING
1226.12/1229.46 c GARBAGE COLLECT
1226.12/1229.46 c #Conflicts: 592000 | #Constraints: 45051
1226.12/1229.46 c #Conflicts: 593000 | #Constraints: 46051
1226.12/1229.46 c #Conflicts: 594000 | #Constraints: 47051
1226.12/1229.46 c #Conflicts: 595000 | #Constraints: 48051
1226.12/1229.46 c #Conflicts: 596000 | #Constraints: 49051
1226.12/1229.46 c #Conflicts: 597000 | #Constraints: 50051
1226.12/1229.46 c #Conflicts: 598000 | #Constraints: 51051
1226.12/1229.46 c #Conflicts: 599000 | #Constraints: 52051
1226.12/1229.46 c #Conflicts: 600000 | #Constraints: 53051
1226.12/1229.46 c #Conflicts: 601000 | #Constraints: 54051
1226.12/1229.46 c #Conflicts: 602000 | #Constraints: 55051
1226.12/1229.46 c #Conflicts: 603000 | #Constraints: 56051
1226.12/1229.46 c #Conflicts: 604000 | #Constraints: 57051
1226.12/1229.46 c #Conflicts: 605000 | #Constraints: 58051
1226.12/1229.46 c #Conflicts: 606000 | #Constraints: 59051
1226.12/1229.46 c #Conflicts: 607000 | #Constraints: 60051
1226.12/1229.46 c INPROCESSING
1226.12/1229.46 c GARBAGE COLLECT
1226.12/1229.46 c #Conflicts: 608000 | #Constraints: 45648
1226.12/1229.46 c #Conflicts: 609000 | #Constraints: 46648
1226.12/1229.46 c #Conflicts: 610000 | #Constraints: 47648
1226.12/1229.46 c #Conflicts: 611000 | #Constraints: 48648
1226.12/1229.46 c #Conflicts: 612000 | #Constraints: 49648
1226.12/1229.46 c #Conflicts: 613000 | #Constraints: 50648
1226.12/1229.46 c #Conflicts: 614000 | #Constraints: 51648
1226.12/1229.46 c #Conflicts: 615000 | #Constraints: 52648
1226.12/1229.46 c #Conflicts: 616000 | #Constraints: 53648
1226.12/1229.46 c #Conflicts: 617000 | #Constraints: 54648
1226.12/1229.46 c #Conflicts: 618000 | #Constraints: 55648
1226.12/1229.46 c #Conflicts: 619000 | #Constraints: 56648
1226.12/1229.46 c #Conflicts: 620000 | #Constraints: 57648
1226.12/1229.46 c #Conflicts: 621000 | #Constraints: 58648
1226.12/1229.46 c #Conflicts: 622000 | #Constraints: 59648
1226.12/1229.46 c #Conflicts: 623000 | #Constraints: 60648
1226.12/1229.46 c INPROCESSING
1226.12/1229.46 c GARBAGE COLLECT
1226.12/1229.46 c #Conflicts: 624000 | #Constraints: 46041
1226.12/1229.46 c #Conflicts: 625000 | #Constraints: 47041
1226.12/1229.46 c #Conflicts: 626000 | #Constraints: 48041
1226.12/1229.46 c #Conflicts: 627000 | #Constraints: 49041
1226.12/1229.46 c #Conflicts: 628000 | #Constraints: 50041
1226.12/1229.46 c #Conflicts: 629000 | #Constraints: 51041
1226.12/1229.46 c #Conflicts: 630000 | #Constraints: 52041
1226.12/1229.46 c #Conflicts: 631000 | #Constraints: 53041
1226.12/1229.46 c #Conflicts: 632000 | #Constraints: 54041
1226.12/1229.46 c #Conflicts: 633000 | #Constraints: 55041
1226.12/1229.46 c #Conflicts: 634000 | #Constraints: 56041
1226.12/1229.46 c #Conflicts: 635000 | #Constraints: 57041
1226.12/1229.46 c #Conflicts: 636000 | #Constraints: 58041
1226.12/1229.46 c #Conflicts: 637000 | #Constraints: 59041
1226.12/1229.46 c #Conflicts: 638000 | #Constraints: 60041
1226.12/1229.46 c #Conflicts: 639000 | #Constraints: 61041
1226.12/1229.46 c INPROCESSING
1226.12/1229.46 c GARBAGE COLLECT
1226.12/1229.46 c #Conflicts: 640000 | #Constraints: 46221
1226.12/1229.46 c #Conflicts: 641000 | #Constraints: 47221
1226.12/1229.46 c #Conflicts: 642000 | #Constraints: 48221
1226.12/1229.46 c #Conflicts: 643000 | #Constraints: 49221
1226.12/1229.46 c #Conflicts: 644000 | #Constraints: 50221
1226.12/1229.46 c #Conflicts: 645000 | #Constraints: 51221
1226.12/1229.46 c #Conflicts: 646000 | #Constraints: 52221
1226.12/1229.46 c #Conflicts: 647000 | #Constraints: 53221
1226.12/1229.46 c #Conflicts: 648000 | #Constraints: 54221
1226.12/1229.46 c #Conflicts: 649000 | #Constraints: 55221
1226.12/1229.46 c #Conflicts: 650000 | #Constraints: 56221
1226.12/1229.46 c #Conflicts: 651000 | #Constraints: 57221
1226.12/1229.46 c #Conflicts: 652000 | #Constraints: 58221
1226.12/1229.46 c #Conflicts: 653000 | #Constraints: 59221
1226.12/1229.46 c #Conflicts: 654000 | #Constraints: 60221
1226.12/1229.46 c #Conflicts: 655000 | #Constraints: 61221
1226.12/1229.46 c INPROCESSING
1226.12/1229.46 c GARBAGE COLLECT
1226.12/1229.46 c #Conflicts: 656000 | #Constraints: 46214
1226.12/1229.46 c #Conflicts: 657000 | #Constraints: 47214
1226.12/1229.46 c #Conflicts: 658000 | #Constraints: 48214
1226.12/1229.46 c #Conflicts: 659000 | #Constraints: 49214
1226.12/1229.46 c #Conflicts: 660000 | #Constraints: 50214
1226.12/1229.46 c #Conflicts: 661000 | #Constraints: 51214
1226.12/1229.46 c #Conflicts: 662000 | #Constraints: 52214
1226.12/1229.46 c #Conflicts: 663000 | #Constraints: 53214
1226.12/1229.46 c #Conflicts: 664000 | #Constraints: 54214
1413.24/1417.06 c #Conflicts: 665000 | #Constraints: 55214
1413.24/1417.06 c #Conflicts: 666000 | #Constraints: 56214
1413.24/1417.06 c #Conflicts: 667000 | #Constraints: 57214
1413.24/1417.06 c #Conflicts: 668000 | #Constraints: 58214
1413.24/1417.06 c #Conflicts: 669000 | #Constraints: 59214
1413.24/1417.06 c #Conflicts: 670000 | #Constraints: 60214
1413.24/1417.06 c #Conflicts: 671000 | #Constraints: 61214
1413.24/1417.06 c INPROCESSING
1413.24/1417.06 c GARBAGE COLLECT
1413.24/1417.06 c #Conflicts: 672000 | #Constraints: 46054
1413.24/1417.06 c #Conflicts: 673000 | #Constraints: 47054
1413.24/1417.06 c #Conflicts: 674000 | #Constraints: 48054
1413.24/1417.06 c #Conflicts: 675000 | #Constraints: 49054
1413.24/1417.06 c #Conflicts: 676000 | #Constraints: 50054
1413.24/1417.06 c #Conflicts: 677000 | #Constraints: 51054
1413.24/1417.06 c #Conflicts: 678000 | #Constraints: 52054
1413.24/1417.06 c #Conflicts: 679000 | #Constraints: 53054
1413.24/1417.06 c #Conflicts: 680000 | #Constraints: 54054
1413.24/1417.06 c #Conflicts: 681000 | #Constraints: 55054
1413.24/1417.06 c #Conflicts: 682000 | #Constraints: 56054
1413.24/1417.06 c #Conflicts: 683000 | #Constraints: 57054
1413.24/1417.06 c #Conflicts: 684000 | #Constraints: 58054
1413.24/1417.06 c #Conflicts: 685000 | #Constraints: 59054
1413.24/1417.06 c #Conflicts: 686000 | #Constraints: 60054
1413.24/1417.06 c #Conflicts: 687000 | #Constraints: 61054
1413.24/1417.06 c #Conflicts: 688000 | #Constraints: 62054
1413.24/1417.06 c INPROCESSING
1413.24/1417.06 c GARBAGE COLLECT
1413.24/1417.06 c #Conflicts: 689000 | #Constraints: 46685
1413.24/1417.06 c #Conflicts: 690000 | #Constraints: 47685
1413.24/1417.06 c #Conflicts: 691000 | #Constraints: 48685
1413.24/1417.06 c #Conflicts: 692000 | #Constraints: 49685
1413.24/1417.06 c #Conflicts: 693000 | #Constraints: 50685
1413.24/1417.06 c #Conflicts: 694000 | #Constraints: 51685
1413.24/1417.06 c #Conflicts: 695000 | #Constraints: 52685
1413.24/1417.06 c #Conflicts: 696000 | #Constraints: 53685
1413.24/1417.06 c #Conflicts: 697000 | #Constraints: 54685
1413.24/1417.06 c #Conflicts: 698000 | #Constraints: 55685
1413.24/1417.06 c #Conflicts: 699000 | #Constraints: 56685
1413.24/1417.06 c #Conflicts: 700000 | #Constraints: 57685
1413.24/1417.06 c #Conflicts: 701000 | #Constraints: 58685
1413.24/1417.06 c #Conflicts: 702000 | #Constraints: 59685
1413.24/1417.06 c #Conflicts: 703000 | #Constraints: 60685
1413.24/1417.06 c #Conflicts: 704000 | #Constraints: 61685
1413.24/1417.06 c #Conflicts: 705000 | #Constraints: 62685
1413.24/1417.06 c INPROCESSING
1413.24/1417.06 c GARBAGE COLLECT
1413.24/1417.06 c #Conflicts: 706000 | #Constraints: 47052
1413.24/1417.06 c #Conflicts: 707000 | #Constraints: 48052
1413.24/1417.06 c #Conflicts: 708000 | #Constraints: 49052
1413.24/1417.06 c #Conflicts: 709000 | #Constraints: 50052
1413.24/1417.06 c #Conflicts: 710000 | #Constraints: 51052
1413.24/1417.06 c #Conflicts: 711000 | #Constraints: 52052
1413.24/1417.06 c #Conflicts: 712000 | #Constraints: 53052
1413.24/1417.06 c #Conflicts: 713000 | #Constraints: 54052
1413.24/1417.06 c #Conflicts: 714000 | #Constraints: 55052
1413.24/1417.06 c #Conflicts: 715000 | #Constraints: 56052
1413.24/1417.06 c #Conflicts: 716000 | #Constraints: 57052
1413.24/1417.06 c #Conflicts: 717000 | #Constraints: 58052
1413.24/1417.06 c #Conflicts: 718000 | #Constraints: 59052
1413.24/1417.06 c #Conflicts: 719000 | #Constraints: 60052
1413.24/1417.06 c #Conflicts: 720000 | #Constraints: 61052
1413.24/1417.06 c #Conflicts: 721000 | #Constraints: 62052
1413.24/1417.06 c #Conflicts: 722000 | #Constraints: 63052
1413.24/1417.06 c INPROCESSING
1413.24/1417.06 c GARBAGE COLLECT
1413.24/1417.06 c #Conflicts: 723000 | #Constraints: 47248
1413.24/1417.06 c #Conflicts: 724000 | #Constraints: 48248
1413.24/1417.06 c #Conflicts: 725000 | #Constraints: 49248
1413.24/1417.06 c #Conflicts: 726000 | #Constraints: 50248
1413.24/1417.06 c #Conflicts: 727000 | #Constraints: 51248
1413.24/1417.06 c #Conflicts: 728000 | #Constraints: 52248
1413.24/1417.06 c #Conflicts: 729000 | #Constraints: 53248
1413.24/1417.06 c #Conflicts: 730000 | #Constraints: 54248
1413.24/1417.06 c #Conflicts: 731000 | #Constraints: 55248
1413.24/1417.06 c #Conflicts: 732000 | #Constraints: 56248
1413.24/1417.06 c #Conflicts: 733000 | #Constraints: 57248
1413.24/1417.06 c #Conflicts: 734000 | #Constraints: 58248
1413.24/1417.06 c #Conflicts: 735000 | #Constraints: 59248
1413.24/1417.06 c #Conflicts: 736000 | #Constraints: 60248
1413.24/1417.06 c #Conflicts: 737000 | #Constraints: 61248
1413.24/1417.06 c #Conflicts: 738000 | #Constraints: 62248
1413.24/1417.06 c #Conflicts: 739000 | #Constraints: 63248
1413.24/1417.06 c INPROCESSING
1413.24/1417.06 c GARBAGE COLLECT
1543.23/1547.37 c #Conflicts: 740000 | #Constraints: 47271
1543.23/1547.37 c #Conflicts: 741000 | #Constraints: 48271
1543.23/1547.37 c #Conflicts: 742000 | #Constraints: 49271
1543.23/1547.37 c #Conflicts: 743000 | #Constraints: 50271
1543.23/1547.37 c #Conflicts: 744000 | #Constraints: 51271
1543.23/1547.37 c #Conflicts: 745000 | #Constraints: 52271
1543.23/1547.37 c #Conflicts: 746000 | #Constraints: 53271
1543.23/1547.37 c #Conflicts: 747000 | #Constraints: 54271
1543.23/1547.37 c #Conflicts: 748000 | #Constraints: 55271
1543.23/1547.37 c #Conflicts: 749000 | #Constraints: 56271
1543.23/1547.37 c #Conflicts: 750000 | #Constraints: 57271
1543.23/1547.37 c #Conflicts: 751000 | #Constraints: 58271
1543.23/1547.37 c #Conflicts: 752000 | #Constraints: 59271
1543.23/1547.37 c #Conflicts: 753000 | #Constraints: 60271
1543.23/1547.37 c #Conflicts: 754000 | #Constraints: 61271
1543.23/1547.37 c #Conflicts: 755000 | #Constraints: 62271
1543.23/1547.37 c #Conflicts: 756000 | #Constraints: 63271
1543.23/1547.37 c INPROCESSING
1543.23/1547.37 c GARBAGE COLLECT
1543.23/1547.37 c #Conflicts: 757000 | #Constraints: 47068
1543.23/1547.37 c #Conflicts: 758000 | #Constraints: 48068
1543.23/1547.37 c #Conflicts: 759000 | #Constraints: 49068
1543.23/1547.37 c #Conflicts: 760000 | #Constraints: 50068
1543.23/1547.37 c #Conflicts: 761000 | #Constraints: 51068
1543.23/1547.37 c #Conflicts: 762000 | #Constraints: 52068
1543.23/1547.37 c #Conflicts: 763000 | #Constraints: 53068
1543.23/1547.37 c #Conflicts: 764000 | #Constraints: 54068
1543.23/1547.37 c #Conflicts: 765000 | #Constraints: 55068
1543.23/1547.37 c #Conflicts: 766000 | #Constraints: 56068
1543.23/1547.37 c #Conflicts: 767000 | #Constraints: 57068
1543.23/1547.37 c #Conflicts: 768000 | #Constraints: 58068
1543.23/1547.37 c #Conflicts: 769000 | #Constraints: 59068
1543.23/1547.37 c #Conflicts: 770000 | #Constraints: 60068
1543.23/1547.37 c #Conflicts: 771000 | #Constraints: 61068
1543.23/1547.37 c #Conflicts: 772000 | #Constraints: 62068
1543.23/1547.37 c #Conflicts: 773000 | #Constraints: 63068
1543.23/1547.37 c #Conflicts: 774000 | #Constraints: 64068
1543.23/1547.37 c INPROCESSING
1543.23/1547.37 c GARBAGE COLLECT
1543.23/1547.37 c #Conflicts: 775000 | #Constraints: 47695
1543.23/1547.37 c #Conflicts: 776000 | #Constraints: 48695
1543.23/1547.37 c #Conflicts: 777000 | #Constraints: 49695
1543.23/1547.37 c #Conflicts: 778000 | #Constraints: 50695
1543.23/1547.37 c #Conflicts: 779000 | #Constraints: 51695
1543.23/1547.37 c #Conflicts: 780000 | #Constraints: 52695
1543.23/1547.37 c #Conflicts: 781000 | #Constraints: 53695
1543.23/1547.37 c #Conflicts: 782000 | #Constraints: 54695
1543.23/1547.37 c #Conflicts: 783000 | #Constraints: 55695
1543.23/1547.37 c #Conflicts: 784000 | #Constraints: 56695
1543.23/1547.37 c #Conflicts: 785000 | #Constraints: 57695
1543.23/1547.37 c #Conflicts: 786000 | #Constraints: 58695
1543.23/1547.37 c #Conflicts: 787000 | #Constraints: 59695
1543.23/1547.37 c #Conflicts: 788000 | #Constraints: 60695
1543.23/1547.37 c #Conflicts: 789000 | #Constraints: 61695
1543.23/1547.37 c #Conflicts: 790000 | #Constraints: 62695
1543.23/1547.37 c #Conflicts: 791000 | #Constraints: 63695
1543.23/1547.37 c #Conflicts: 792000 | #Constraints: 64695
1543.23/1547.37 c INPROCESSING
1543.23/1547.37 c GARBAGE COLLECT
1543.23/1547.37 c #Conflicts: 793000 | #Constraints: 48023
1543.23/1547.37 c #Conflicts: 794000 | #Constraints: 49023
1543.23/1547.37 c #Conflicts: 795000 | #Constraints: 50023
1543.23/1547.37 c #Conflicts: 796000 | #Constraints: 51023
1543.23/1547.37 c #Conflicts: 797000 | #Constraints: 52023
1543.23/1547.37 c #Conflicts: 798000 | #Constraints: 53023
1543.23/1547.37 c #Conflicts: 799000 | #Constraints: 54023
1543.23/1547.37 c #Conflicts: 800000 | #Constraints: 55023
1543.23/1547.37 c #Conflicts: 801000 | #Constraints: 56023
1543.23/1547.37 c #Conflicts: 802000 | #Constraints: 57023
1543.23/1547.37 c #Conflicts: 803000 | #Constraints: 58023
1543.23/1547.37 c #Conflicts: 804000 | #Constraints: 59023
1543.23/1547.37 c #Conflicts: 805000 | #Constraints: 60023
1543.23/1547.37 c #Conflicts: 806000 | #Constraints: 61023
1543.23/1547.37 c #Conflicts: 807000 | #Constraints: 62023
1543.23/1547.37 c #Conflicts: 808000 | #Constraints: 63023
1543.23/1547.37 c #Conflicts: 809000 | #Constraints: 64023
1543.23/1547.37 c #Conflicts: 810000 | #Constraints: 65023
1543.23/1547.37 c INPROCESSING
1543.23/1547.37 c GARBAGE COLLECT
1543.23/1547.37 c #Conflicts: 811000 | #Constraints: 48262
1543.23/1547.37 c #Conflicts: 812000 | #Constraints: 49262
1543.23/1547.37 c #Conflicts: 813000 | #Constraints: 50262
1543.23/1547.37 c #Conflicts: 814000 | #Constraints: 51262
1543.23/1547.37 c #Conflicts: 815000 | #Constraints: 52262
1543.23/1547.37 c #Conflicts: 816000 | #Constraints: 53262
1706.66/1711.13 c #Conflicts: 817000 | #Constraints: 54262
1706.66/1711.13 c #Conflicts: 818000 | #Constraints: 55262
1706.66/1711.13 c #Conflicts: 819000 | #Constraints: 56262
1706.66/1711.13 c #Conflicts: 820000 | #Constraints: 57262
1706.66/1711.13 c #Conflicts: 821000 | #Constraints: 58262
1706.66/1711.13 c #Conflicts: 822000 | #Constraints: 59262
1706.66/1711.13 c #Conflicts: 823000 | #Constraints: 60262
1706.66/1711.13 c #Conflicts: 824000 | #Constraints: 61262
1706.66/1711.13 c #Conflicts: 825000 | #Constraints: 62262
1706.66/1711.13 c #Conflicts: 826000 | #Constraints: 63262
1706.66/1711.13 c #Conflicts: 827000 | #Constraints: 64262
1706.66/1711.13 c #Conflicts: 828000 | #Constraints: 65262
1706.66/1711.13 c INPROCESSING
1706.66/1711.13 c GARBAGE COLLECT
1706.66/1711.13 c #Conflicts: 829000 | #Constraints: 48360
1706.66/1711.13 c #Conflicts: 830000 | #Constraints: 49360
1706.66/1711.13 c #Conflicts: 831000 | #Constraints: 50360
1706.66/1711.13 c #Conflicts: 832000 | #Constraints: 51360
1706.66/1711.13 c #Conflicts: 833000 | #Constraints: 52360
1706.66/1711.13 c #Conflicts: 834000 | #Constraints: 53360
1706.66/1711.13 c #Conflicts: 835000 | #Constraints: 54360
1706.66/1711.13 c #Conflicts: 836000 | #Constraints: 55360
1706.66/1711.13 c #Conflicts: 837000 | #Constraints: 56360
1706.66/1711.13 c #Conflicts: 838000 | #Constraints: 57360
1706.66/1711.13 c #Conflicts: 839000 | #Constraints: 58360
1706.66/1711.13 c #Conflicts: 840000 | #Constraints: 59360
1706.66/1711.13 c #Conflicts: 841000 | #Constraints: 60360
1706.66/1711.13 c #Conflicts: 842000 | #Constraints: 61360
1706.66/1711.13 c #Conflicts: 843000 | #Constraints: 62360
1706.66/1711.13 c #Conflicts: 844000 | #Constraints: 63360
1706.66/1711.13 c #Conflicts: 845000 | #Constraints: 64360
1706.66/1711.13 c #Conflicts: 846000 | #Constraints: 65360
1706.66/1711.13 c INPROCESSING
1706.66/1711.13 c GARBAGE COLLECT
1706.66/1711.13 c #Conflicts: 847000 | #Constraints: 48151
1706.66/1711.13 c #Conflicts: 848000 | #Constraints: 49151
1706.66/1711.13 c #Conflicts: 849000 | #Constraints: 50151
1706.66/1711.13 c #Conflicts: 850000 | #Constraints: 51151
1706.66/1711.13 c #Conflicts: 851000 | #Constraints: 52151
1706.66/1711.13 c #Conflicts: 852000 | #Constraints: 53151
1706.66/1711.13 c #Conflicts: 853000 | #Constraints: 54151
1706.66/1711.13 c #Conflicts: 854000 | #Constraints: 55151
1706.66/1711.13 c #Conflicts: 855000 | #Constraints: 56151
1706.66/1711.13 c #Conflicts: 856000 | #Constraints: 57151
1706.66/1711.13 c #Conflicts: 857000 | #Constraints: 58151
1706.66/1711.13 c #Conflicts: 858000 | #Constraints: 59151
1706.66/1711.13 c #Conflicts: 859000 | #Constraints: 60151
1706.66/1711.13 c #Conflicts: 860000 | #Constraints: 61151
1706.66/1711.13 c #Conflicts: 861000 | #Constraints: 62151
1706.66/1711.13 c #Conflicts: 862000 | #Constraints: 63151
1706.66/1711.13 c #Conflicts: 863000 | #Constraints: 64151
1706.66/1711.13 c #Conflicts: 864000 | #Constraints: 65151
1706.66/1711.13 c #Conflicts: 865000 | #Constraints: 66151
1706.66/1711.13 c INPROCESSING
1706.66/1711.13 c GARBAGE COLLECT
1706.66/1711.13 c #Conflicts: 866000 | #Constraints: 48743
1706.66/1711.13 c #Conflicts: 867000 | #Constraints: 49743
1706.66/1711.13 c #Conflicts: 868000 | #Constraints: 50743
1706.66/1711.13 c #Conflicts: 869000 | #Constraints: 51743
1706.66/1711.13 c #Conflicts: 870000 | #Constraints: 52743
1706.66/1711.13 c #Conflicts: 871000 | #Constraints: 53743
1706.66/1711.13 c #Conflicts: 872000 | #Constraints: 54743
1706.66/1711.13 c #Conflicts: 873000 | #Constraints: 55743
1706.66/1711.13 c #Conflicts: 874000 | #Constraints: 56743
1706.66/1711.13 c #Conflicts: 875000 | #Constraints: 57743
1706.66/1711.13 c #Conflicts: 876000 | #Constraints: 58743
1706.66/1711.13 c #Conflicts: 877000 | #Constraints: 59743
1706.66/1711.13 c #Conflicts: 878000 | #Constraints: 60743
1706.66/1711.13 c #Conflicts: 879000 | #Constraints: 61743
1706.66/1711.13 c #Conflicts: 880000 | #Constraints: 62743
1706.66/1711.13 c #Conflicts: 881000 | #Constraints: 63743
1706.66/1711.13 c #Conflicts: 882000 | #Constraints: 64743
1706.66/1711.13 c #Conflicts: 883000 | #Constraints: 65743
1706.66/1711.13 c #Conflicts: 884000 | #Constraints: 66743
1706.66/1711.13 c #Conflicts: 885000 | #Constraints: 67743
1706.66/1711.13 c #Conflicts: 886000 | #Constraints: 68743
1706.66/1711.13 c #Conflicts: 887000 | #Constraints: 69743
1706.66/1711.13 c #Conflicts: 888000 | #Constraints: 70743
1706.66/1711.13 c #Conflicts: 889000 | #Constraints: 71743
1706.66/1711.13 c #Conflicts: 890000 | #Constraints: 72743
1706.66/1711.13 c #Conflicts: 891000 | #Constraints: 73743
1706.66/1711.13 c #Conflicts: 892000 | #Constraints: 74743
2202.28/2208.19 c #Conflicts: 893000 | #Constraints: 75743
2202.28/2208.19 c #Conflicts: 894000 | #Constraints: 76743
2202.28/2208.19 c #Conflicts: 895000 | #Constraints: 77743
2202.28/2208.19 c #Conflicts: 896000 | #Constraints: 78743
2202.28/2208.19 c #Conflicts: 897000 | #Constraints: 79743
2202.28/2208.19 c #Conflicts: 898000 | #Constraints: 80743
2202.28/2208.19 c #Conflicts: 899000 | #Constraints: 81743
2202.28/2208.19 c #Conflicts: 900000 | #Constraints: 82743
2202.28/2208.19 c #Conflicts: 901000 | #Constraints: 83743
2202.28/2208.19 c #Conflicts: 902000 | #Constraints: 84743
2202.28/2208.19 c #Conflicts: 903000 | #Constraints: 85743
2202.28/2208.19 c #Conflicts: 904000 | #Constraints: 86743
2202.28/2208.19 c #Conflicts: 905000 | #Constraints: 87743
2202.28/2208.19 c #Conflicts: 906000 | #Constraints: 88743
2202.28/2208.19 c #Conflicts: 907000 | #Constraints: 89743
2202.28/2208.19 c #Conflicts: 908000 | #Constraints: 90743
2202.28/2208.19 c #Conflicts: 909000 | #Constraints: 91743
2202.28/2208.19 c #Conflicts: 910000 | #Constraints: 92743
2202.28/2208.19 c #Conflicts: 911000 | #Constraints: 93743
2202.28/2208.19 c #Conflicts: 912000 | #Constraints: 94743
2202.28/2208.19 c #Conflicts: 913000 | #Constraints: 95743
2202.28/2208.19 c #Conflicts: 914000 | #Constraints: 96743
2202.28/2208.19 c #Conflicts: 915000 | #Constraints: 97743
2202.28/2208.19 c #Conflicts: 916000 | #Constraints: 98743
2202.28/2208.19 c #Conflicts: 917000 | #Constraints: 99743
2202.28/2208.19 c #Conflicts: 918000 | #Constraints: 100743
2202.28/2208.19 c #Conflicts: 919000 | #Constraints: 101743
2202.28/2208.19 c #Conflicts: 920000 | #Constraints: 102743
2202.28/2208.19 c #Conflicts: 921000 | #Constraints: 103743
2202.28/2208.19 c #Conflicts: 922000 | #Constraints: 104743
2202.28/2208.19 c #Conflicts: 923000 | #Constraints: 105743
2202.28/2208.19 c #Conflicts: 924000 | #Constraints: 106743
2202.28/2208.19 c #Conflicts: 925000 | #Constraints: 107743
2202.28/2208.19 c #Conflicts: 926000 | #Constraints: 108743
2202.28/2208.19 c #Conflicts: 927000 | #Constraints: 109743
2202.28/2208.19 c #Conflicts: 928000 | #Constraints: 110743
2202.28/2208.19 c #Conflicts: 929000 | #Constraints: 111743
2202.28/2208.19 c #Conflicts: 930000 | #Constraints: 112743
2202.28/2208.19 c #Conflicts: 931000 | #Constraints: 113743
2202.28/2208.19 c #Conflicts: 932000 | #Constraints: 114743
2202.28/2208.19 c #Conflicts: 933000 | #Constraints: 115743
2202.28/2208.19 c #Conflicts: 934000 | #Constraints: 116743
2202.28/2208.19 c #Conflicts: 935000 | #Constraints: 117743
2202.28/2208.19 c #Conflicts: 936000 | #Constraints: 118743
2202.28/2208.19 c #Conflicts: 937000 | #Constraints: 119743
2202.28/2208.19 c #Conflicts: 938000 | #Constraints: 120743
2202.28/2208.19 c #Conflicts: 939000 | #Constraints: 121743
2202.28/2208.19 c #Conflicts: 940000 | #Constraints: 122743
2202.28/2208.19 c #Conflicts: 941000 | #Constraints: 123743
2202.28/2208.19 c #Conflicts: 942000 | #Constraints: 124743
2202.28/2208.19 c #Conflicts: 943000 | #Constraints: 125743
2202.28/2208.19 c #Conflicts: 944000 | #Constraints: 126743
2202.28/2208.19 c #Conflicts: 945000 | #Constraints: 127743
2202.28/2208.19 c #Conflicts: 946000 | #Constraints: 128743
2202.28/2208.19 c #Conflicts: 947000 | #Constraints: 129743
2202.28/2208.19 c #Conflicts: 948000 | #Constraints: 130743
2202.28/2208.19 c #Conflicts: 949000 | #Constraints: 131743
2202.28/2208.19 c #Conflicts: 950000 | #Constraints: 132743
2202.28/2208.19 c #Conflicts: 951000 | #Constraints: 133743
2202.28/2208.19 c #Conflicts: 952000 | #Constraints: 134743
2202.28/2208.19 c #Conflicts: 953000 | #Constraints: 135743
2202.28/2208.19 c #Conflicts: 954000 | #Constraints: 136743
2202.28/2208.19 c #Conflicts: 955000 | #Constraints: 137743
2202.28/2208.19 c #Conflicts: 956000 | #Constraints: 138743
2202.28/2208.19 c #Conflicts: 957000 | #Constraints: 139743
2202.28/2208.19 c #Conflicts: 958000 | #Constraints: 140743
2202.28/2208.19 c #Conflicts: 959000 | #Constraints: 141743
2202.28/2208.19 c #Conflicts: 960000 | #Constraints: 142743
2202.28/2208.19 c INPROCESSING
2202.28/2208.19 c GARBAGE COLLECT
2202.28/2208.19 c #Conflicts: 961000 | #Constraints: 86915
2202.28/2208.19 c #Conflicts: 962000 | #Constraints: 87915
2202.28/2208.19 c #Conflicts: 963000 | #Constraints: 88915
2202.28/2208.19 c #Conflicts: 964000 | #Constraints: 89915
2202.28/2208.19 c #Conflicts: 965000 | #Constraints: 90915
2202.28/2208.19 c #Conflicts: 966000 | #Constraints: 91915
2202.28/2208.19 c #Conflicts: 967000 | #Constraints: 92915
2202.28/2208.19 c #Conflicts: 968000 | #Constraints: 93915
2202.28/2208.19 c #Conflicts: 969000 | #Constraints: 94915
2202.28/2208.19 c #Conflicts: 970000 | #Constraints: 95915
2202.28/2208.19 c #Conflicts: 971000 | #Constraints: 96915
2616.62/2623.56 c #Conflicts: 972000 | #Constraints: 97915
2616.62/2623.56 c #Conflicts: 973000 | #Constraints: 98915
2616.62/2623.56 c #Conflicts: 974000 | #Constraints: 99915
2616.62/2623.56 c #Conflicts: 975000 | #Constraints: 100915
2616.62/2623.56 c #Conflicts: 976000 | #Constraints: 101915
2616.62/2623.56 c #Conflicts: 977000 | #Constraints: 102915
2616.62/2623.56 c #Conflicts: 978000 | #Constraints: 103915
2616.62/2623.56 c #Conflicts: 979000 | #Constraints: 104915
2616.62/2623.56 c #Conflicts: 980000 | #Constraints: 105915
2616.62/2623.56 c INPROCESSING
2616.62/2623.56 c GARBAGE COLLECT
2616.62/2623.56 c #Conflicts: 981000 | #Constraints: 68587
2616.62/2623.56 c #Conflicts: 982000 | #Constraints: 69587
2616.62/2623.56 c #Conflicts: 983000 | #Constraints: 70587
2616.62/2623.56 c #Conflicts: 984000 | #Constraints: 71587
2616.62/2623.56 c #Conflicts: 985000 | #Constraints: 72587
2616.62/2623.56 c #Conflicts: 986000 | #Constraints: 73587
2616.62/2623.56 c #Conflicts: 987000 | #Constraints: 74587
2616.62/2623.56 c #Conflicts: 988000 | #Constraints: 75587
2616.62/2623.56 c #Conflicts: 989000 | #Constraints: 76587
2616.62/2623.56 c #Conflicts: 990000 | #Constraints: 77587
2616.62/2623.56 c #Conflicts: 991000 | #Constraints: 78587
2616.62/2623.56 c #Conflicts: 992000 | #Constraints: 79587
2616.62/2623.56 c #Conflicts: 993000 | #Constraints: 80587
2616.62/2623.56 c #Conflicts: 994000 | #Constraints: 81587
2616.62/2623.56 c #Conflicts: 995000 | #Constraints: 82587
2616.62/2623.56 c #Conflicts: 996000 | #Constraints: 83587
2616.62/2623.56 c #Conflicts: 997000 | #Constraints: 84587
2616.62/2623.56 c #Conflicts: 998000 | #Constraints: 85587
2616.62/2623.56 c #Conflicts: 999000 | #Constraints: 86587
2616.62/2623.56 c #Conflicts: 1000000 | #Constraints: 87587
2616.62/2623.56 c INPROCESSING
2616.62/2623.56 c GARBAGE COLLECT
2616.62/2623.56 c #Conflicts: 1001000 | #Constraints: 59357
2616.62/2623.56 c #Conflicts: 1002000 | #Constraints: 60357
2616.62/2623.56 c #Conflicts: 1003000 | #Constraints: 61357
2616.62/2623.56 c #Conflicts: 1004000 | #Constraints: 62357
2616.62/2623.56 c #Conflicts: 1005000 | #Constraints: 63357
2616.62/2623.56 c #Conflicts: 1006000 | #Constraints: 64357
2616.62/2623.56 c #Conflicts: 1007000 | #Constraints: 65357
2616.62/2623.56 c #Conflicts: 1008000 | #Constraints: 66357
2616.62/2623.56 c #Conflicts: 1009000 | #Constraints: 67357
2616.62/2623.56 c #Conflicts: 1010000 | #Constraints: 68357
2616.62/2623.56 c #Conflicts: 1011000 | #Constraints: 69357
2616.62/2623.56 c #Conflicts: 1012000 | #Constraints: 70357
2616.62/2623.56 c #Conflicts: 1013000 | #Constraints: 71357
2616.62/2623.56 c #Conflicts: 1014000 | #Constraints: 72357
2616.62/2623.56 c #Conflicts: 1015000 | #Constraints: 73357
2616.62/2623.56 c #Conflicts: 1016000 | #Constraints: 74357
2616.62/2623.56 c #Conflicts: 1017000 | #Constraints: 75357
2616.62/2623.56 c #Conflicts: 1018000 | #Constraints: 76357
2616.62/2623.56 c #Conflicts: 1019000 | #Constraints: 77357
2616.62/2623.56 c #Conflicts: 1020000 | #Constraints: 78357
2616.62/2623.56 c INPROCESSING
2616.62/2623.56 c GARBAGE COLLECT
2616.62/2623.56 c #Conflicts: 1021000 | #Constraints: 54614
2616.62/2623.56 c #Conflicts: 1022000 | #Constraints: 55614
2616.62/2623.56 c #Conflicts: 1023000 | #Constraints: 56614
2616.62/2623.56 c #Conflicts: 1024000 | #Constraints: 57614
2616.62/2623.56 c #Conflicts: 1025000 | #Constraints: 58614
2616.62/2623.56 c #Conflicts: 1026000 | #Constraints: 59614
2616.62/2623.56 c #Conflicts: 1027000 | #Constraints: 60614
2616.62/2623.56 c #Conflicts: 1028000 | #Constraints: 61614
2616.62/2623.56 c #Conflicts: 1029000 | #Constraints: 62614
2616.62/2623.56 c #Conflicts: 1030000 | #Constraints: 63614
2616.62/2623.56 c #Conflicts: 1031000 | #Constraints: 64614
2616.62/2623.56 c #Conflicts: 1032000 | #Constraints: 65614
2616.62/2623.56 c #Conflicts: 1033000 | #Constraints: 66614
2616.62/2623.56 c #Conflicts: 1034000 | #Constraints: 67614
2616.62/2623.56 c #Conflicts: 1035000 | #Constraints: 68614
2616.62/2623.56 c #Conflicts: 1036000 | #Constraints: 69614
2616.62/2623.56 c #Conflicts: 1037000 | #Constraints: 70614
2616.62/2623.56 c #Conflicts: 1038000 | #Constraints: 71614
2616.62/2623.56 c #Conflicts: 1039000 | #Constraints: 72614
2616.62/2623.56 c #Conflicts: 1040000 | #Constraints: 73614
2616.62/2623.56 c #Conflicts: 1041000 | #Constraints: 74614
2616.62/2623.56 c INPROCESSING
2616.62/2623.56 c GARBAGE COLLECT
2616.62/2623.56 c #Conflicts: 1042000 | #Constraints: 52929
2616.62/2623.56 c #Conflicts: 1043000 | #Constraints: 53929
2616.62/2623.56 c #Conflicts: 1044000 | #Constraints: 54929
2616.62/2623.56 c #Conflicts: 1045000 | #Constraints: 55929
2616.62/2623.56 c #Conflicts: 1046000 | #Constraints: 56929
2616.62/2623.56 c #Conflicts: 1047000 | #Constraints: 57929
2890.37/2897.94 c #Conflicts: 1048000 | #Constraints: 58929
2890.37/2897.94 c #Conflicts: 1049000 | #Constraints: 59929
2890.37/2897.94 c #Conflicts: 1050000 | #Constraints: 60929
2890.37/2897.94 c #Conflicts: 1051000 | #Constraints: 61929
2890.37/2897.94 c #Conflicts: 1052000 | #Constraints: 62929
2890.37/2897.94 c #Conflicts: 1053000 | #Constraints: 63929
2890.37/2897.94 c #Conflicts: 1054000 | #Constraints: 64929
2890.37/2897.94 c #Conflicts: 1055000 | #Constraints: 65929
2890.37/2897.94 c #Conflicts: 1056000 | #Constraints: 66929
2890.37/2897.94 c #Conflicts: 1057000 | #Constraints: 67929
2890.37/2897.94 c #Conflicts: 1058000 | #Constraints: 68929
2890.37/2897.94 c #Conflicts: 1059000 | #Constraints: 69929
2890.37/2897.94 c #Conflicts: 1060000 | #Constraints: 70929
2890.37/2897.94 c #Conflicts: 1061000 | #Constraints: 71929
2890.37/2897.94 c #Conflicts: 1062000 | #Constraints: 72929
2890.37/2897.94 c INPROCESSING
2890.37/2897.94 c GARBAGE COLLECT
2890.37/2897.94 c #Conflicts: 1063000 | #Constraints: 52186
2890.37/2897.94 c #Conflicts: 1064000 | #Constraints: 53186
2890.37/2897.94 c #Conflicts: 1065000 | #Constraints: 54186
2890.37/2897.94 c #Conflicts: 1066000 | #Constraints: 55186
2890.37/2897.94 c #Conflicts: 1067000 | #Constraints: 56186
2890.37/2897.94 c #Conflicts: 1068000 | #Constraints: 57186
2890.37/2897.94 c #Conflicts: 1069000 | #Constraints: 58186
2890.37/2897.94 c #Conflicts: 1070000 | #Constraints: 59186
2890.37/2897.94 c #Conflicts: 1071000 | #Constraints: 60186
2890.37/2897.94 c #Conflicts: 1072000 | #Constraints: 61186
2890.37/2897.94 c #Conflicts: 1073000 | #Constraints: 62186
2890.37/2897.94 c #Conflicts: 1074000 | #Constraints: 63186
2890.37/2897.94 c #Conflicts: 1075000 | #Constraints: 64186
2890.37/2897.94 c #Conflicts: 1076000 | #Constraints: 65186
2890.37/2897.94 c #Conflicts: 1077000 | #Constraints: 66186
2890.37/2897.94 c #Conflicts: 1078000 | #Constraints: 67186
2890.37/2897.94 c #Conflicts: 1079000 | #Constraints: 68186
2890.37/2897.94 c #Conflicts: 1080000 | #Constraints: 69186
2890.37/2897.94 c #Conflicts: 1081000 | #Constraints: 70186
2890.37/2897.94 c #Conflicts: 1082000 | #Constraints: 71186
2890.37/2897.94 c INPROCESSING
2890.37/2897.94 c GARBAGE COLLECT
2890.37/2897.94 c #Conflicts: 1083000 | #Constraints: 50894
2890.37/2897.94 c #Conflicts: 1084000 | #Constraints: 51894
2890.37/2897.94 c #Conflicts: 1085000 | #Constraints: 52894
2890.37/2897.94 c #Conflicts: 1086000 | #Constraints: 53894
2890.37/2897.94 c #Conflicts: 1087000 | #Constraints: 54894
2890.37/2897.94 c #Conflicts: 1088000 | #Constraints: 55894
2890.37/2897.94 c #Conflicts: 1089000 | #Constraints: 56894
2890.37/2897.94 c #Conflicts: 1090000 | #Constraints: 57894
2890.37/2897.94 c #Conflicts: 1091000 | #Constraints: 58894
2890.37/2897.94 c #Conflicts: 1092000 | #Constraints: 59894
2890.37/2897.94 c #Conflicts: 1093000 | #Constraints: 60894
2890.37/2897.94 c #Conflicts: 1094000 | #Constraints: 61894
2890.37/2897.94 c #Conflicts: 1095000 | #Constraints: 62894
2890.37/2897.94 c #Conflicts: 1096000 | #Constraints: 63894
2890.37/2897.94 c #Conflicts: 1097000 | #Constraints: 64894
2890.37/2897.94 c #Conflicts: 1098000 | #Constraints: 65894
2890.37/2897.94 c #Conflicts: 1099000 | #Constraints: 66894
2890.37/2897.94 c #Conflicts: 1100000 | #Constraints: 67894
2890.37/2897.94 c #Conflicts: 1101000 | #Constraints: 68894
2890.37/2897.94 c #Conflicts: 1102000 | #Constraints: 69894
2890.37/2897.94 c #Conflicts: 1103000 | #Constraints: 70894
2890.37/2897.94 c #Conflicts: 1104000 | #Constraints: 71894
2890.37/2897.94 c INPROCESSING
2890.37/2897.94 c GARBAGE COLLECT
2890.37/2897.94 c #Conflicts: 1105000 | #Constraints: 51750
2890.37/2897.94 c #Conflicts: 1106000 | #Constraints: 52750
2890.37/2897.94 c #Conflicts: 1107000 | #Constraints: 53750
2890.37/2897.94 c #Conflicts: 1108000 | #Constraints: 54750
2890.37/2897.94 c #Conflicts: 1109000 | #Constraints: 55750
2890.37/2897.94 c #Conflicts: 1110000 | #Constraints: 56750
2890.37/2897.94 c #Conflicts: 1111000 | #Constraints: 57750
2890.37/2897.94 c #Conflicts: 1112000 | #Constraints: 58750
2890.37/2897.94 c #Conflicts: 1113000 | #Constraints: 59750
2890.37/2897.94 c #Conflicts: 1114000 | #Constraints: 60750
2890.37/2897.94 c #Conflicts: 1115000 | #Constraints: 61750
2890.37/2897.94 c #Conflicts: 1116000 | #Constraints: 62750
2890.37/2897.94 c #Conflicts: 1117000 | #Constraints: 63750
2890.37/2897.94 c #Conflicts: 1118000 | #Constraints: 64750
2890.37/2897.94 c #Conflicts: 1119000 | #Constraints: 65750
2890.37/2897.94 c #Conflicts: 1120000 | #Constraints: 66750
2890.37/2897.94 c #Conflicts: 1121000 | #Constraints: 67750
2890.37/2897.94 c #Conflicts: 1122000 | #Constraints: 68750
2890.37/2897.94 c #Conflicts: 1123000 | #Constraints: 69750
2890.37/2897.94 c #Conflicts: 1124000 | #Constraints: 70750
3026.16/3034.09 c #Conflicts: 1125000 | #Constraints: 71750
3026.16/3034.09 c INPROCESSING
3026.16/3034.09 c GARBAGE COLLECT
3026.16/3034.09 c #Conflicts: 1126000 | #Constraints: 51527
3026.16/3034.09 c #Conflicts: 1127000 | #Constraints: 52527
3026.16/3034.09 c #Conflicts: 1128000 | #Constraints: 53527
3026.16/3034.09 c #Conflicts: 1129000 | #Constraints: 54527
3026.16/3034.09 c #Conflicts: 1130000 | #Constraints: 55527
3026.16/3034.09 c #Conflicts: 1131000 | #Constraints: 56527
3026.16/3034.09 c #Conflicts: 1132000 | #Constraints: 57527
3026.16/3034.09 c #Conflicts: 1133000 | #Constraints: 58527
3026.16/3034.09 c #Conflicts: 1134000 | #Constraints: 59527
3026.16/3034.09 c #Conflicts: 1135000 | #Constraints: 60527
3026.16/3034.09 c #Conflicts: 1136000 | #Constraints: 61527
3026.16/3034.09 c #Conflicts: 1137000 | #Constraints: 62527
3026.16/3034.09 c #Conflicts: 1138000 | #Constraints: 63527
3026.16/3034.09 c #Conflicts: 1139000 | #Constraints: 64527
3026.16/3034.09 c #Conflicts: 1140000 | #Constraints: 65527
3026.16/3034.09 c #Conflicts: 1141000 | #Constraints: 66527
3026.16/3034.09 c #Conflicts: 1142000 | #Constraints: 67527
3026.16/3034.09 c #Conflicts: 1143000 | #Constraints: 68527
3026.16/3034.09 c #Conflicts: 1144000 | #Constraints: 69527
3026.16/3034.09 c #Conflicts: 1145000 | #Constraints: 70527
3026.16/3034.09 c #Conflicts: 1146000 | #Constraints: 71527
3026.16/3034.09 c INPROCESSING
3026.16/3034.09 c GARBAGE COLLECT
3026.16/3034.09 c #Conflicts: 1147000 | #Constraints: 51134
3026.16/3034.09 c #Conflicts: 1148000 | #Constraints: 52134
3026.16/3034.09 c #Conflicts: 1149000 | #Constraints: 53134
3026.16/3034.09 c #Conflicts: 1150000 | #Constraints: 54134
3026.16/3034.09 c #Conflicts: 1151000 | #Constraints: 55134
3026.16/3034.09 c #Conflicts: 1152000 | #Constraints: 56134
3026.16/3034.09 c #Conflicts: 1153000 | #Constraints: 57134
3026.16/3034.09 c #Conflicts: 1154000 | #Constraints: 58134
3026.16/3034.09 c #Conflicts: 1155000 | #Constraints: 59134
3026.16/3034.09 c #Conflicts: 1156000 | #Constraints: 60134
3026.16/3034.09 c #Conflicts: 1157000 | #Constraints: 61134
3026.16/3034.09 c #Conflicts: 1158000 | #Constraints: 62134
3026.16/3034.09 c #Conflicts: 1159000 | #Constraints: 63134
3026.16/3034.09 c #Conflicts: 1160000 | #Constraints: 64134
3026.16/3034.09 c #Conflicts: 1161000 | #Constraints: 65134
3026.16/3034.09 c #Conflicts: 1162000 | #Constraints: 66134
3026.16/3034.09 c #Conflicts: 1163000 | #Constraints: 67134
3026.16/3034.09 c #Conflicts: 1164000 | #Constraints: 68134
3026.16/3034.09 c #Conflicts: 1165000 | #Constraints: 69134
3026.16/3034.09 c #Conflicts: 1166000 | #Constraints: 70134
3026.16/3034.09 c #Conflicts: 1167000 | #Constraints: 71134
3026.16/3034.09 c #Conflicts: 1168000 | #Constraints: 72134
3026.16/3034.09 c INPROCESSING
3026.16/3034.09 c GARBAGE COLLECT
3026.16/3034.09 c #Conflicts: 1169000 | #Constraints: 51524
3026.16/3034.09 c #Conflicts: 1170000 | #Constraints: 52524
3026.16/3034.09 c #Conflicts: 1171000 | #Constraints: 53524
3026.16/3034.09 c #Conflicts: 1172000 | #Constraints: 54524
3026.16/3034.09 c #Conflicts: 1173000 | #Constraints: 55524
3026.16/3034.09 c #Conflicts: 1174000 | #Constraints: 56524
3026.16/3034.09 c #Conflicts: 1175000 | #Constraints: 57524
3026.16/3034.09 c #Conflicts: 1176000 | #Constraints: 58524
3026.16/3034.09 c #Conflicts: 1177000 | #Constraints: 59524
3026.16/3034.09 c #Conflicts: 1178000 | #Constraints: 60524
3026.16/3034.09 c #Conflicts: 1179000 | #Constraints: 61524
3026.16/3034.09 c #Conflicts: 1180000 | #Constraints: 62524
3026.16/3034.09 c #Conflicts: 1181000 | #Constraints: 63524
3026.16/3034.09 c #Conflicts: 1182000 | #Constraints: 64524
3026.16/3034.09 c #Conflicts: 1183000 | #Constraints: 65524
3026.16/3034.09 c #Conflicts: 1184000 | #Constraints: 66524
3026.16/3034.09 c #Conflicts: 1185000 | #Constraints: 67524
3026.16/3034.09 c #Conflicts: 1186000 | #Constraints: 68524
3026.16/3034.09 c #Conflicts: 1187000 | #Constraints: 69524
3026.16/3034.09 c #Conflicts: 1188000 | #Constraints: 70524
3026.16/3034.09 c #Conflicts: 1189000 | #Constraints: 71524
3026.16/3034.09 c #Conflicts: 1190000 | #Constraints: 72524
3026.16/3034.09 c INPROCESSING
3026.16/3034.09 c GARBAGE COLLECT
3026.16/3034.09 c #Conflicts: 1191000 | #Constraints: 51875
3026.16/3034.09 c #Conflicts: 1192000 | #Constraints: 52875
3026.16/3034.09 c #Conflicts: 1193000 | #Constraints: 53875
3026.16/3034.09 c #Conflicts: 1194000 | #Constraints: 54875
3026.16/3034.09 c #Conflicts: 1195000 | #Constraints: 55875
3026.16/3034.09 c #Conflicts: 1196000 | #Constraints: 56875
3026.16/3034.09 c #Conflicts: 1197000 | #Constraints: 57875
3026.16/3034.09 c #Conflicts: 1198000 | #Constraints: 58875
3026.16/3034.09 c #Conflicts: 1199000 | #Constraints: 59875
3026.16/3034.09 c #Conflicts: 1200000 | #Constraints: 60875
3197.95/3206.26 c #Conflicts: 1201000 | #Constraints: 61875
3197.95/3206.26 c #Conflicts: 1202000 | #Constraints: 62875
3197.95/3206.26 c #Conflicts: 1203000 | #Constraints: 63875
3197.95/3206.26 c #Conflicts: 1204000 | #Constraints: 64875
3197.95/3206.26 c #Conflicts: 1205000 | #Constraints: 65875
3197.95/3206.26 c #Conflicts: 1206000 | #Constraints: 66875
3197.95/3206.26 c #Conflicts: 1207000 | #Constraints: 67875
3197.95/3206.26 c #Conflicts: 1208000 | #Constraints: 68875
3197.95/3206.26 c #Conflicts: 1209000 | #Constraints: 69875
3197.95/3206.26 c #Conflicts: 1210000 | #Constraints: 70875
3197.95/3206.26 c #Conflicts: 1211000 | #Constraints: 71875
3197.95/3206.26 c #Conflicts: 1212000 | #Constraints: 72875
3197.95/3206.26 c INPROCESSING
3197.95/3206.26 c GARBAGE COLLECT
3197.95/3206.26 c #Conflicts: 1213000 | #Constraints: 51905
3197.95/3206.26 c #Conflicts: 1214000 | #Constraints: 52905
3197.95/3206.26 c #Conflicts: 1215000 | #Constraints: 53905
3197.95/3206.26 c #Conflicts: 1216000 | #Constraints: 54905
3197.95/3206.26 c #Conflicts: 1217000 | #Constraints: 55905
3197.95/3206.26 c #Conflicts: 1218000 | #Constraints: 56905
3197.95/3206.26 c #Conflicts: 1219000 | #Constraints: 57905
3197.95/3206.26 c #Conflicts: 1220000 | #Constraints: 58905
3197.95/3206.26 c #Conflicts: 1221000 | #Constraints: 59905
3197.95/3206.26 c #Conflicts: 1222000 | #Constraints: 60905
3197.95/3206.26 c #Conflicts: 1223000 | #Constraints: 61905
3197.95/3206.26 c #Conflicts: 1224000 | #Constraints: 62905
3197.95/3206.26 c #Conflicts: 1225000 | #Constraints: 63905
3197.95/3206.26 c #Conflicts: 1226000 | #Constraints: 64905
3197.95/3206.26 c #Conflicts: 1227000 | #Constraints: 65905
3197.95/3206.26 c #Conflicts: 1228000 | #Constraints: 66905
3197.95/3206.26 c #Conflicts: 1229000 | #Constraints: 67905
3197.95/3206.26 c #Conflicts: 1230000 | #Constraints: 68905
3197.95/3206.26 c #Conflicts: 1231000 | #Constraints: 69905
3197.95/3206.26 c #Conflicts: 1232000 | #Constraints: 70905
3197.95/3206.26 c #Conflicts: 1233000 | #Constraints: 71905
3197.95/3206.26 c #Conflicts: 1234000 | #Constraints: 72905
3197.95/3206.26 c INPROCESSING
3197.95/3206.26 c GARBAGE COLLECT
3197.95/3206.26 c #Conflicts: 1235000 | #Constraints: 51772
3197.95/3206.26 c #Conflicts: 1236000 | #Constraints: 52772
3197.95/3206.26 c #Conflicts: 1237000 | #Constraints: 53772
3197.95/3206.26 c #Conflicts: 1238000 | #Constraints: 54772
3197.95/3206.26 c #Conflicts: 1239000 | #Constraints: 55772
3197.95/3206.26 c #Conflicts: 1240000 | #Constraints: 56772
3197.95/3206.26 c #Conflicts: 1241000 | #Constraints: 57772
3197.95/3206.26 c #Conflicts: 1242000 | #Constraints: 58772
3197.95/3206.26 c #Conflicts: 1243000 | #Constraints: 59772
3197.95/3206.26 c #Conflicts: 1244000 | #Constraints: 60772
3197.95/3206.26 c #Conflicts: 1245000 | #Constraints: 61772
3197.95/3206.26 c #Conflicts: 1246000 | #Constraints: 62772
3197.95/3206.26 c #Conflicts: 1247000 | #Constraints: 63772
3197.95/3206.26 c #Conflicts: 1248000 | #Constraints: 64772
3197.95/3206.26 c #Conflicts: 1249000 | #Constraints: 65772
3197.95/3206.26 c #Conflicts: 1250000 | #Constraints: 66772
3197.95/3206.26 c #Conflicts: 1251000 | #Constraints: 67772
3197.95/3206.26 c #Conflicts: 1252000 | #Constraints: 68772
3197.95/3206.26 c #Conflicts: 1253000 | #Constraints: 69772
3197.95/3206.26 c #Conflicts: 1254000 | #Constraints: 70772
3197.95/3206.26 c #Conflicts: 1255000 | #Constraints: 71772
3197.95/3206.26 c #Conflicts: 1256000 | #Constraints: 72772
3197.95/3206.26 c #Conflicts: 1257000 | #Constraints: 73772
3197.95/3206.26 c INPROCESSING
3197.95/3206.26 c GARBAGE COLLECT
3197.95/3206.26 c #Conflicts: 1258000 | #Constraints: 52515
3197.95/3206.26 c #Conflicts: 1259000 | #Constraints: 53515
3197.95/3206.26 c #Conflicts: 1260000 | #Constraints: 54515
3197.95/3206.26 c #Conflicts: 1261000 | #Constraints: 55515
3197.95/3206.26 c #Conflicts: 1262000 | #Constraints: 56515
3197.95/3206.26 c #Conflicts: 1263000 | #Constraints: 57515
3197.95/3206.26 c #Conflicts: 1264000 | #Constraints: 58515
3197.95/3206.26 c #Conflicts: 1265000 | #Constraints: 59515
3197.95/3206.26 c #Conflicts: 1266000 | #Constraints: 60515
3197.95/3206.26 c #Conflicts: 1267000 | #Constraints: 61515
3197.95/3206.26 c #Conflicts: 1268000 | #Constraints: 62515
3197.95/3206.26 c #Conflicts: 1269000 | #Constraints: 63515
3197.95/3206.26 c #Conflicts: 1270000 | #Constraints: 64515
3197.95/3206.26 c #Conflicts: 1271000 | #Constraints: 65515
3197.95/3206.26 c #Conflicts: 1272000 | #Constraints: 66515
3197.95/3206.26 c #Conflicts: 1273000 | #Constraints: 67515
3197.95/3206.26 c #Conflicts: 1274000 | #Constraints: 68515
3197.95/3206.26 c #Conflicts: 1275000 | #Constraints: 69515
3197.95/3206.26 c #Conflicts: 1276000 | #Constraints: 70515
3197.95/3206.26 c #Conflicts: 1277000 | #Constraints: 71515
3349.61/3358.27 c #Conflicts: 1278000 | #Constraints: 72515
3349.61/3358.27 c #Conflicts: 1279000 | #Constraints: 73515
3349.61/3358.27 c #Conflicts: 1280000 | #Constraints: 74515
3349.61/3358.27 c INPROCESSING
3349.61/3358.27 c GARBAGE COLLECT
3349.61/3358.27 c #Conflicts: 1281000 | #Constraints: 53025
3349.61/3358.27 c #Conflicts: 1282000 | #Constraints: 54025
3349.61/3358.27 c #Conflicts: 1283000 | #Constraints: 55025
3349.61/3358.27 c #Conflicts: 1284000 | #Constraints: 56025
3349.61/3358.27 c #Conflicts: 1285000 | #Constraints: 57025
3349.61/3358.27 c #Conflicts: 1286000 | #Constraints: 58025
3349.61/3358.27 c #Conflicts: 1287000 | #Constraints: 59025
3349.61/3358.27 c #Conflicts: 1288000 | #Constraints: 60025
3349.61/3358.27 c #Conflicts: 1289000 | #Constraints: 61025
3349.61/3358.27 c #Conflicts: 1290000 | #Constraints: 62025
3349.61/3358.27 c #Conflicts: 1291000 | #Constraints: 63025
3349.61/3358.27 c #Conflicts: 1292000 | #Constraints: 64025
3349.61/3358.27 c #Conflicts: 1293000 | #Constraints: 65025
3349.61/3358.27 c #Conflicts: 1294000 | #Constraints: 66025
3349.61/3358.27 c #Conflicts: 1295000 | #Constraints: 67025
3349.61/3358.27 c #Conflicts: 1296000 | #Constraints: 68025
3349.61/3358.27 c #Conflicts: 1297000 | #Constraints: 69025
3349.61/3358.27 c #Conflicts: 1298000 | #Constraints: 70025
3349.61/3358.27 c #Conflicts: 1299000 | #Constraints: 71025
3349.61/3358.27 c #Conflicts: 1300000 | #Constraints: 72025
3349.61/3358.27 c #Conflicts: 1301000 | #Constraints: 73025
3349.61/3358.27 c #Conflicts: 1302000 | #Constraints: 74025
3349.61/3358.27 c INPROCESSING
3349.61/3358.27 c GARBAGE COLLECT
3349.61/3358.27 c #Conflicts: 1303000 | #Constraints: 52349
3349.61/3358.27 c #Conflicts: 1304000 | #Constraints: 53349
3349.61/3358.27 c #Conflicts: 1305000 | #Constraints: 54349
3349.61/3358.27 c #Conflicts: 1306000 | #Constraints: 55349
3349.61/3358.27 c #Conflicts: 1307000 | #Constraints: 56349
3349.61/3358.27 c #Conflicts: 1308000 | #Constraints: 57349
3349.61/3358.27 c #Conflicts: 1309000 | #Constraints: 58349
3349.61/3358.27 c #Conflicts: 1310000 | #Constraints: 59349
3349.61/3358.27 c #Conflicts: 1311000 | #Constraints: 60349
3349.61/3358.27 c #Conflicts: 1312000 | #Constraints: 61349
3349.61/3358.27 c #Conflicts: 1313000 | #Constraints: 62349
3349.61/3358.27 c #Conflicts: 1314000 | #Constraints: 63349
3349.61/3358.27 c #Conflicts: 1315000 | #Constraints: 64349
3349.61/3358.27 c #Conflicts: 1316000 | #Constraints: 65349
3349.61/3358.27 c #Conflicts: 1317000 | #Constraints: 66349
3349.61/3358.27 c #Conflicts: 1318000 | #Constraints: 67349
3349.61/3358.27 c #Conflicts: 1319000 | #Constraints: 68349
3349.61/3358.27 c #Conflicts: 1320000 | #Constraints: 69349
3349.61/3358.27 c #Conflicts: 1321000 | #Constraints: 70349
3349.61/3358.27 c #Conflicts: 1322000 | #Constraints: 71349
3349.61/3358.27 c #Conflicts: 1323000 | #Constraints: 72349
3349.61/3358.27 c #Conflicts: 1324000 | #Constraints: 73349
3349.61/3358.27 c #Conflicts: 1325000 | #Constraints: 74349
3349.61/3358.27 c #Conflicts: 1326000 | #Constraints: 75349
3349.61/3358.27 c INPROCESSING
3349.61/3358.27 c GARBAGE COLLECT
3349.61/3358.27 c #Conflicts: 1327000 | #Constraints: 53450
3349.61/3358.27 c #Conflicts: 1328000 | #Constraints: 54450
3349.61/3358.27 c #Conflicts: 1329000 | #Constraints: 55450
3349.61/3358.27 c #Conflicts: 1330000 | #Constraints: 56450
3349.61/3358.27 c #Conflicts: 1331000 | #Constraints: 57450
3349.61/3358.27 c #Conflicts: 1332000 | #Constraints: 58450
3349.61/3358.27 c #Conflicts: 1333000 | #Constraints: 59450
3349.61/3358.27 c #Conflicts: 1334000 | #Constraints: 60450
3349.61/3358.27 c #Conflicts: 1335000 | #Constraints: 61450
3349.61/3358.27 c #Conflicts: 1336000 | #Constraints: 62450
3349.61/3358.27 c #Conflicts: 1337000 | #Constraints: 63450
3349.61/3358.27 c #Conflicts: 1338000 | #Constraints: 64450
3349.61/3358.27 c #Conflicts: 1339000 | #Constraints: 65450
3349.61/3358.27 c #Conflicts: 1340000 | #Constraints: 66450
3349.61/3358.27 c #Conflicts: 1341000 | #Constraints: 67450
3349.61/3358.27 c #Conflicts: 1342000 | #Constraints: 68450
3349.61/3358.27 c #Conflicts: 1343000 | #Constraints: 69450
3349.61/3358.27 c #Conflicts: 1344000 | #Constraints: 70450
3349.61/3358.27 c #Conflicts: 1345000 | #Constraints: 71450
3349.61/3358.27 c #Conflicts: 1346000 | #Constraints: 72450
3349.61/3358.27 c #Conflicts: 1347000 | #Constraints: 73450
3349.61/3358.27 c #Conflicts: 1348000 | #Constraints: 74450
3349.61/3358.27 c #Conflicts: 1349000 | #Constraints: 75450
3349.61/3358.27 c INPROCESSING
3349.61/3358.27 c GARBAGE COLLECT
3349.61/3358.27 c #Conflicts: 1350000 | #Constraints: 53351
3349.61/3358.27 c #Conflicts: 1351000 | #Constraints: 54351
3349.61/3358.27 c #Conflicts: 1352000 | #Constraints: 55351
3349.61/3358.27 c #Conflicts: 1353000 | #Constraints: 56351
3500.75/3509.77 c #Conflicts: 1354000 | #Constraints: 57351
3500.75/3509.77 c #Conflicts: 1355000 | #Constraints: 58351
3500.75/3509.77 c #Conflicts: 1356000 | #Constraints: 59351
3500.75/3509.77 c #Conflicts: 1357000 | #Constraints: 60351
3500.75/3509.77 c #Conflicts: 1358000 | #Constraints: 61351
3500.75/3509.77 c #Conflicts: 1359000 | #Constraints: 62351
3500.75/3509.77 c #Conflicts: 1360000 | #Constraints: 63351
3500.75/3509.77 c #Conflicts: 1361000 | #Constraints: 64351
3500.75/3509.77 c #Conflicts: 1362000 | #Constraints: 65351
3500.75/3509.77 c #Conflicts: 1363000 | #Constraints: 66351
3500.75/3509.77 c #Conflicts: 1364000 | #Constraints: 67351
3500.75/3509.77 c #Conflicts: 1365000 | #Constraints: 68351
3500.75/3509.77 c #Conflicts: 1366000 | #Constraints: 69351
3500.75/3509.77 c #Conflicts: 1367000 | #Constraints: 70351
3500.75/3509.77 c #Conflicts: 1368000 | #Constraints: 71351
3500.75/3509.77 c #Conflicts: 1369000 | #Constraints: 72351
3500.75/3509.77 c #Conflicts: 1370000 | #Constraints: 73351
3500.75/3509.77 c #Conflicts: 1371000 | #Constraints: 74351
3500.75/3509.77 c #Conflicts: 1372000 | #Constraints: 75351
3500.75/3509.77 c INPROCESSING
3500.75/3509.77 c GARBAGE COLLECT
3500.75/3509.77 c #Conflicts: 1373000 | #Constraints: 53024
3500.75/3509.77 c #Conflicts: 1374000 | #Constraints: 54024
3500.75/3509.77 c #Conflicts: 1375000 | #Constraints: 55024
3500.75/3509.77 c #Conflicts: 1376000 | #Constraints: 56024
3500.75/3509.77 c #Conflicts: 1377000 | #Constraints: 57024
3500.75/3509.77 c #Conflicts: 1378000 | #Constraints: 58024
3500.75/3509.77 c #Conflicts: 1379000 | #Constraints: 59024
3500.75/3509.77 c #Conflicts: 1380000 | #Constraints: 60024
3500.75/3509.77 c #Conflicts: 1381000 | #Constraints: 61024
3500.75/3509.77 c #Conflicts: 1382000 | #Constraints: 62024
3500.75/3509.77 c #Conflicts: 1383000 | #Constraints: 63024
3500.75/3509.77 c #Conflicts: 1384000 | #Constraints: 64024
3500.75/3509.77 c #Conflicts: 1385000 | #Constraints: 65024
3500.75/3509.77 c #Conflicts: 1386000 | #Constraints: 66024
3500.75/3509.77 c #Conflicts: 1387000 | #Constraints: 67024
3500.75/3509.77 c #Conflicts: 1388000 | #Constraints: 68024
3500.75/3509.77 c #Conflicts: 1389000 | #Constraints: 69024
3500.75/3509.77 c #Conflicts: 1390000 | #Constraints: 70024
3500.75/3509.77 c #Conflicts: 1391000 | #Constraints: 71024
3500.75/3509.77 c #Conflicts: 1392000 | #Constraints: 72024
3500.75/3509.77 c #Conflicts: 1393000 | #Constraints: 73024
3500.75/3509.77 c #Conflicts: 1394000 | #Constraints: 74024
3500.75/3509.77 c #Conflicts: 1395000 | #Constraints: 75024
3500.75/3509.77 c #Conflicts: 1396000 | #Constraints: 76024
3500.75/3509.77 c INPROCESSING
3500.75/3509.77 c GARBAGE COLLECT
3500.75/3509.77 c #Conflicts: 1397000 | #Constraints: 53548
3500.75/3509.77 c #Conflicts: 1398000 | #Constraints: 54548
3500.75/3509.77 c #Conflicts: 1399000 | #Constraints: 55548
3500.75/3509.77 c #Conflicts: 1400000 | #Constraints: 56548
3500.75/3509.77 c #Conflicts: 1401000 | #Constraints: 57548
3500.75/3509.77 c #Conflicts: 1402000 | #Constraints: 58548
3500.75/3509.77 c #Conflicts: 1403000 | #Constraints: 59548
3500.75/3509.77 c #Conflicts: 1404000 | #Constraints: 60548
3500.75/3509.77 c #Conflicts: 1405000 | #Constraints: 61548
3500.75/3509.77 c #Conflicts: 1406000 | #Constraints: 62548
3500.75/3509.77 c #Conflicts: 1407000 | #Constraints: 63548
3500.75/3509.77 c #Conflicts: 1408000 | #Constraints: 64548
3500.75/3509.77 c #Conflicts: 1409000 | #Constraints: 65548
3500.75/3509.77 c #Conflicts: 1410000 | #Constraints: 66548
3500.75/3509.77 c #Conflicts: 1411000 | #Constraints: 67548
3500.75/3509.77 c #Conflicts: 1412000 | #Constraints: 68548
3500.75/3509.77 c #Conflicts: 1413000 | #Constraints: 69548
3500.75/3509.77 c #Conflicts: 1414000 | #Constraints: 70548
3500.75/3509.77 c #Conflicts: 1415000 | #Constraints: 71548
3500.75/3509.77 c #Conflicts: 1416000 | #Constraints: 72548
3500.75/3509.77 c #Conflicts: 1417000 | #Constraints: 73548
3500.75/3509.77 c #Conflicts: 1418000 | #Constraints: 74548
3500.75/3509.77 c #Conflicts: 1419000 | #Constraints: 75548
3500.75/3509.77 c #Conflicts: 1420000 | #Constraints: 76548
3500.75/3509.77 c INPROCESSING
3500.75/3509.77 c GARBAGE COLLECT
3500.75/3509.77 c #Conflicts: 1421000 | #Constraints: 53819
3500.75/3509.77 c #Conflicts: 1422000 | #Constraints: 54819
3500.75/3509.77 c #Conflicts: 1423000 | #Constraints: 55819
3500.75/3509.77 c #Conflicts: 1424000 | #Constraints: 56819
3500.75/3509.77 c #Conflicts: 1425000 | #Constraints: 57819
3500.75/3509.77 c #Conflicts: 1426000 | #Constraints: 58819
3500.75/3509.77 c #Conflicts: 1427000 | #Constraints: 59819
3500.75/3509.77 c #Conflicts: 1428000 | #Constraints: 60819
3500.75/3509.77 c #Conflicts: 1429000 | #Constraints: 61819
3500.75/3509.77 c #Conflicts: 1430000 | #Constraints: 62819
3600.01/3609.20 c #Conflicts: 1431000 | #Constraints: 63819
3600.01/3609.20 c #Conflicts: 1432000 | #Constraints: 64819
3600.01/3609.20 c #Conflicts: 1433000 | #Constraints: 65819
3600.01/3609.20 c #Conflicts: 1434000 | #Constraints: 66819
3600.01/3609.20 c #Conflicts: 1435000 | #Constraints: 67819
3600.01/3609.20 c #Conflicts: 1436000 | #Constraints: 68819
3600.01/3609.20 c #Conflicts: 1437000 | #Constraints: 69819
3600.01/3609.20 c #Conflicts: 1438000 | #Constraints: 70819
3600.01/3609.20 c #Conflicts: 1439000 | #Constraints: 71819
3600.01/3609.20 c #Conflicts: 1440000 | #Constraints: 72819
3600.01/3609.20 c #Conflicts: 1441000 | #Constraints: 73819
3600.01/3609.20 c #Conflicts: 1442000 | #Constraints: 74819
3600.01/3609.20 c #Conflicts: 1443000 | #Constraints: 75819
3600.01/3609.20 c #Conflicts: 1444000 | #Constraints: 76819
3600.01/3609.20 c INPROCESSING
3600.01/3609.20 c GARBAGE COLLECT
3600.01/3609.20 c #Conflicts: 1445000 | #Constraints: 54014
3600.01/3609.20 c #Conflicts: 1446000 | #Constraints: 55014
3600.01/3609.20 c #Conflicts: 1447000 | #Constraints: 56014
3600.01/3609.20 c #Conflicts: 1448000 | #Constraints: 57014
3600.01/3609.20 c #Conflicts: 1449000 | #Constraints: 58014
3600.01/3609.20 c #Conflicts: 1450000 | #Constraints: 59014
3600.01/3609.20 c #Conflicts: 1451000 | #Constraints: 60014
3600.01/3609.20 c #Conflicts: 1452000 | #Constraints: 61014
3600.01/3609.20 c #Conflicts: 1453000 | #Constraints: 62014
3600.01/3609.20 c #Conflicts: 1454000 | #Constraints: 63014
3600.01/3609.20 c #Conflicts: 1455000 | #Constraints: 64014
3600.01/3609.20 c #Conflicts: 1456000 | #Constraints: 65014
3600.01/3609.20 c #Conflicts: 1457000 | #Constraints: 66014
3600.01/3609.20 c #Conflicts: 1458000 | #Constraints: 67014
3600.01/3609.20 c #Conflicts: 1459000 | #Constraints: 68014
3600.01/3609.20 c #Conflicts: 1460000 | #Constraints: 69014
3600.01/3609.20 c Program interrupted by user.
3600.01/3609.20 c cpu time 3582.65 s
3600.01/3609.20 c deterministic time 780433153172 7.80e+11
3600.01/3609.20 c optimization time 61.5335 s
3600.01/3609.20 c total solve time 3221.88 s
3600.01/3609.20 c core-guided solve time 3221.88 s
3600.01/3609.20 c propagation time 2107.04 s
3600.01/3609.20 c conflict analysis time 1082.14 s
3600.01/3609.20 c propagations 934458502
3600.01/3609.20 c resolve steps 72030919
3600.01/3609.20 c decisions 18567001
3600.01/3609.20 c conflicts 1460180
3600.01/3609.20 c restarts 2812
3600.01/3609.20 c inprocessing phases 107
3600.01/3609.20 c input clauses 6664
3600.01/3609.20 c input cardinalities 112
3600.01/3609.20 c input general constraints 22176
3600.01/3609.20 c input average constraint length 4.59
3600.01/3609.20 c input average constraint degree 8.16
3600.01/3609.20 c learned clauses 682011
3600.01/3609.20 c learned cardinalities 87832
3600.01/3609.20 c learned general constraints 690336
3600.01/3609.20 c learned average constraint length 1834.49
3600.01/3609.20 c learned average constraint degree 846673.81
3600.01/3609.20 c watched constraints 678955
3600.01/3609.20 c counting constraints 33557
3600.01/3609.20 c gcd simplifications 91021
3600.01/3609.20 c detected cardinalities 1810
3600.01/3609.20 c weakened non-implied lits 185460690
3600.01/3609.20 c weakened non-implying lits 82315
3600.01/3609.20 c original variables 35169
3600.01/3609.20 c clausal propagations 171145496
3600.01/3609.20 c cardinality propagations 149033478
3600.01/3609.20 c watched propagations 94638242
3600.01/3609.20 c counting propagations 507811285
3600.01/3609.20 c watch lookups 11784814615
3600.01/3609.20 c watch backjump lookups 8041063702
3600.01/3609.20 c watch checks 706620606912
3600.01/3609.20 c propagation checks 46289468031
3600.01/3609.20 c constraint additions 5789720209
3600.01/3609.20 c trail pops 954454199
3600.01/3609.20 c formula constraints 28952
3600.01/3609.20 c learned constraints 1460179
3600.01/3609.20 c bound constraints 0
3600.01/3609.20 c core-guided constraints 0
3600.01/3609.20 c encountered formula constraints 67449084
3600.01/3609.20 c encountered learned constraints 6042015
3600.01/3609.20 c encountered bound constraints 0
3600.01/3609.20 c encountered core-guided constraints 0
3600.01/3609.20 c LP total time 0 s
3600.01/3609.20 c LP solve time 0 s
3600.01/3609.20 c LP constraints added 0
3600.01/3609.20 c LP constraints removed 0
3600.01/3609.20 c LP pivots internal 0
3600.01/3609.20 c LP pivots root 0
3600.01/3609.20 c LP calls 0
3600.01/3609.20 c LP optimalities 0
3600.01/3609.20 c LP no pivot count 0
3600.01/3609.20 c LP infeasibilities 0
3600.01/3609.20 c LP valid Farkas constraints 0
3600.01/3609.20 c LP learned Farkas constraints 0
3600.01/3609.20 c LP basis resets 0
3600.01/3609.20 c LP cycling count 0
3600.01/3609.20 c LP singular count 0
3600.01/3609.20 c LP no primal count 0
3600.01/3609.20 c LP no farkas count 0
3600.01/3609.20 c LP other issue count 0
3600.01/3609.20 c LP Gomory cuts 0
3600.01/3609.20 c LP learned cuts 0
3600.01/3609.20 c LP deleted cuts 0
3600.01/3609.20 c LP encountered Gomory constraints 0
3600.01/3609.20 c LP encountered Farkas constraints 0
3600.01/3609.20 c LP encountered learned Farkas constraints 0
3600.01/3609.20 c CG auxiliary variables introduced 0
3600.01/3609.20 c CG solutions found 0
3600.01/3609.20 c CG cores constructed 0
3600.01/3609.20 c CG core cardinality constraints returned 0
3600.01/3609.20 c CG unit cores 0
3600.01/3609.20 c CG single cores 0
3600.01/3609.20 c CG blocks removed during cardinality reduction 0
3600.01/3609.20 c CG first core best 0
3600.01/3609.20 c CG decision core best 0
3600.01/3609.20 c CG core reduction tie 0
3600.01/3609.20 c CG core degree average 0.00
3600.01/3609.20 c CG core slack average 0.00
3600.01/3609.20 c CG exhausted 0
3600.01/3609.20 c CG exhaust time 0 s
3600.01/3609.20 c CG trimmed 0
3600.01/3609.20 c CG trim time 0 s
3600.01/3609.20 c CG minimized 0
3600.01/3609.20 c CG minimize time 0 s
3600.01/3609.20 c CG am1 prop time 0.000729 s
3600.01/3609.20 c CG # am1s reformulated 0
3600.01/3609.20 c CG lower bound derived from am1s 0
3600.01/3609.20 c CG # clausal cores 0
3600.01/3609.20 c CG # cardinality cores 0
3600.01/3609.20 c CG # pb cores 0
3600.01/3609.20 c CG # pb reforms 0
3600.01/3609.20 c CG # cores discarded because of pb reform 0
3600.01/3609.20 d LOWERBOUND 0
3600.01/3609.20 d NCORES 0
3600.01/3609.20 d NPBCORES 0
3600.01/3609.20 d NPBREFORM 0
3600.01/3609.20 d NTRIMMED 0
3600.01/3609.20 d NEXHAUSTED 0
3600.01/3609.20 d NAM1S 0
3600.01/3609.20 d AM1LB 0
3600.01/3609.20 c [Papilo Statistics]
3600.01/3609.20 c prepro time 0.0709557s
3600.01/3609.20 c # tsx applied 300
3600.01/3609.20 c # tsx conflicts 76
3600.01/3609.20 c # bound changes 1
3600.01/3609.20 c # side changes 300
3600.01/3609.20 c # coef changes 636
3600.01/3609.20 c # rounds 4
3600.01/3609.20 c # deted vars 77
3600.01/3609.20 c # deted constrs 1
3600.01/3609.20 c # consecutive rounds of only bound changes 0
3600.01/3609.21 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (46219 MiB free)
memory of node 1: 64465 MiB (56112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529377-1752264869/watcher-4529377-1752264869 -o /tmp/evaluation-result-4529377-1752264869/solver-4529377-1752264869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122190 --watchdog 3760 mixed-bag HOME/instance-4529377-1752264869.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=123564, runsolver pid=123561
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.13 4.09 6/263 123565
/proc/meminfo: memFree=104777640/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=100948 memory=30972 CPUtime=0.09 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 5838 0 0 0 8 1 0 0 20 0 1 0 142163456 103370752 7743 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 25237 7743 2144 2834 0 7989 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100948 KiB
Current children cumulated memory: 30972 KiB
[startup+0.205532 s]*
/proc/loadavg: 4.11 4.13 4.09 5/263 123565
/proc/meminfo: memFree=104732492/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=155704 memory=82664 CPUtime=0.19 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 19390 0 0 0 16 3 0 0 20 0 1 0 142163456 159440896 20666 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 38926 20666 3616 2834 0 21131 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 155704 KiB
Current children cumulated memory: 82664 KiB
[startup+0.305532 s]*
/proc/loadavg: 4.11 4.13 4.09 5/263 123565
/proc/meminfo: memFree=104659916/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=232420 memory=156648 CPUtime=0.29 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 37560 0 0 0 23 6 0 0 20 0 1 0 142163456 237998080 39162 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 58105 39162 3968 2834 0 40310 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 232420 KiB
Current children cumulated memory: 156648 KiB
[startup+0.700168 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 123565
/proc/meminfo: memFree=104633960/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=296268 memory=219428 CPUtime=0.68 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 57779 0 0 0 59 9 0 0 20 0 1 0 142163456 303378432 54857 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 74067 54857 4000 2834 0 56272 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 296268 KiB
Current children cumulated memory: 219428 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 123565
/proc/meminfo: memFree=104565476/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=331460 memory=251084 CPUtime=1.47 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 63734 0 0 0 137 10 0 0 20 0 1 0 142163456 339415040 62771 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 82865 62771 4032 2834 0 65070 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 331460 KiB
Current children cumulated memory: 251084 KiB
[startup+3.10538 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 123565
/proc/meminfo: memFree=104395744/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=337076 memory=256716 CPUtime=3.08 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 65119 0 0 0 297 11 0 0 20 0 1 0 142163456 345165824 64179 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 84269 64179 4032 2834 0 66474 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 337076 KiB
Current children cumulated memory: 256716 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.13 4.09 5/263 123565
/proc/meminfo: memFree=104394584/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=337076 memory=256716 CPUtime=6.26 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 65120 0 0 0 615 11 0 0 20 0 1 0 142163456 345165824 64179 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 84269 64179 4032 2834 0 66474 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 337076 KiB
Current children cumulated memory: 256716 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.13 4.09 5/263 123565
/proc/meminfo: memFree=104138184/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=682156 memory=508324 CPUtime=12.64 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 128198 0 0 0 1244 20 0 0 20 0 1 0 142163456 698527744 127081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 170539 127081 4224 2834 0 152744 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 682156 KiB
Current children cumulated memory: 508324 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 123565
/proc/meminfo: memFree=104128144/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=687104 memory=513572 CPUtime=25.41 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 129525 0 0 0 2520 21 0 0 20 0 1 0 142163456 703594496 128393 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 171776 128393 4224 2834 0 153981 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 687104 KiB
Current children cumulated memory: 513572 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.13 4.09 5/263 123566
/proc/meminfo: memFree=104020048/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=687104 memory=514084 CPUtime=50.93 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 129654 0 0 0 5072 21 0 0 20 0 1 0 142163456 703594496 128521 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 171776 128521 4224 2834 0 153981 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 687104 KiB
Current children cumulated memory: 514084 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 123567
/proc/meminfo: memFree=103922908/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=692244 memory=519004 CPUtime=101.97 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 129838 0 0 0 10176 21 0 0 20 0 1 0 142163456 708857856 129751 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 173061 129751 4224 2834 0 155266 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 692244 KiB
Current children cumulated memory: 519004 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 123569
/proc/meminfo: memFree=103855716/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=693144 memory=519644 CPUtime=161.8 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 130030 0 0 0 16158 22 0 0 20 0 1 0 142163456 709779456 129911 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 173286 129911 4224 2834 0 155491 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 693144 KiB
Current children cumulated memory: 519644 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 123572
/proc/meminfo: memFree=103815132/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=742628 memory=564196 CPUtime=221.63 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 139346 0 0 0 22139 24 0 0 20 0 1 0 142163456 760451072 141049 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 185657 141049 4224 2834 0 167862 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 742628 KiB
Current children cumulated memory: 564196 KiB
[startup+282.3 s]
/proc/loadavg: 3.77 4.04 4.07 3/252 123639
/proc/meminfo: memFree=111324788/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=742628 memory=564196 CPUtime=281.43 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 139355 0 0 0 28116 27 0 0 20 0 1 0 142163456 760451072 141049 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 185657 141049 4224 2834 0 167862 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 742628 KiB
Current children cumulated memory: 564196 KiB
[startup+342.3 s]
/proc/loadavg: 2.70 3.68 3.94 3/253 123646
/proc/meminfo: memFree=111346204/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=682084 memory=537108 CPUtime=341.26 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 143556 0 0 0 34033 93 0 0 20 0 1 0 142163456 698454016 134277 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 170521 134277 4416 2834 0 152726 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 682084 KiB
Current children cumulated memory: 537108 KiB
[startup+402.3 s]
/proc/loadavg: 2.38 3.40 3.83 3/253 123648
/proc/meminfo: memFree=111309652/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=732172 memory=569264 CPUtime=401.08 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 143904 0 0 0 39948 160 0 0 20 0 1 0 142163456 749744128 142316 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 183043 142316 4416 2834 0 165248 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 732172 KiB
Current children cumulated memory: 569264 KiB
[startup+462.3 s]
/proc/loadavg: 2.20 3.16 3.71 3/253 123650
/proc/meminfo: memFree=111269440/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=732172 memory=569264 CPUtime=460.9 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 143905 0 0 0 45863 227 0 0 20 0 1 0 142163456 749744128 142316 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 183043 142316 4416 2834 0 165248 0
################
# More data... #
################
Current children cumulated memory: 1744324 KiB
[startup+2862.3 s]
/proc/loadavg: 1.14 1.10 1.33 2/245 123814
/proc/meminfo: memFree=110414408/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=2854.84 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147482 0 0 0 284152 1332 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+2922.3 s]
/proc/loadavg: 1.11 1.10 1.31 2/246 123817
/proc/meminfo: memFree=110415552/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=2914.71 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147482 0 0 0 290116 1355 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+2982.3 s]
/proc/loadavg: 1.08 1.09 1.30 2/246 123819
/proc/meminfo: memFree=110415588/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=2974.58 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147483 0 0 0 296052 1406 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3042.3 s]
/proc/loadavg: 1.13 1.10 1.28 2/247 123822
/proc/meminfo: memFree=110415952/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3034.43 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147483 0 0 0 301997 1446 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3102.3 s]
/proc/loadavg: 1.09 1.09 1.27 2/247 123824
/proc/meminfo: memFree=110416740/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3094.29 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147483 0 0 0 307963 1466 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3162.3 s]
/proc/loadavg: 1.15 1.10 1.26 2/247 123826
/proc/meminfo: memFree=110417152/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3154.15 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147829 0 0 0 313917 1498 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3222.3 s]
/proc/loadavg: 1.12 1.10 1.25 2/246 123828
/proc/meminfo: memFree=110417500/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3214.02 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147829 0 0 0 319863 1539 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.09 1.24 2/246 123830
/proc/meminfo: memFree=110418048/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3273.88 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147829 0 0 0 325800 1588 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3342.3 s]
/proc/loadavg: 1.13 1.10 1.23 2/248 123837
/proc/meminfo: memFree=110418220/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3333.75 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147829 0 0 0 331775 1600 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.10 1.22 2/248 123844
/proc/meminfo: memFree=110418920/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3393.6 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147846 0 0 0 337733 1627 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.11 1.22 2/248 123846
/proc/meminfo: memFree=110418752/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3453.47 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 147847 0 0 0 343680 1667 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.10 1.20 2/248 123848
/proc/meminfo: memFree=110419428/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3513.33 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 148131 0 0 0 349623 1710 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.09 1.19 2/249 123851
/proc/meminfo: memFree=110420308/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3573.19 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 148183 0 0 0 355586 1733 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.12 1.10 1.19 2/249 123851
/proc/meminfo: memFree=110420532/131250000 swapFree=33008356/33010684
[pid=123564] ppid=123561 vsize=2077520 memory=1744324 CPUtime=3600.01 cores=4,6
/proc/123564/stat : 123564 (mixed-bag) R 123561 123564 122179 0 -1 4194304 148244 0 0 0 358264 1737 0 0 20 0 1 0 142163456 2127380480 436081 18446744073709551615 4235264 15840557 140736666541936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 26521600 140736666544538 140736666544615 140736666544615 140736666550219 0
/proc/123564/statm: 519380 436081 4416 2834 0 501585 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2077520 KiB
Current children cumulated memory: 1744324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.22 s]
# the end of solver process 123564 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.66 s, system=17.383 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.22
CPU time (s): 3600.04
CPU user time (s): 3582.66
CPU system time (s): 17.383
CPU usage (%): 99.7458
Max. virtual memory (cumulated for all children) (KiB): 2077520
Max. memory (cumulated for all children) (KiB): 1744324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.66
system time used= 17.383
maximum resident set size= 1745188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 268
involuntary context switches= 3171
# summary of solver processes directly reported to runsolver:
# pid: 123564
# total CPU time (s): 3600.04
# total CPU user time (s): 3582.66
# total CPU system time (s): 17.383
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17243 second user time and 15.6944 second system time
The end
Begin job on nodeC014 at 2025-07-11 22:14:29
IDJOB=4529377
IDBENCH=180463
IDSOLVER=3386
FILE ID=nodeC014/4529377-1752264869
RUNJOBID= nodeC014-1752257588-122190
SLURM_JOB_ID= 9682608
Free space on /tmp= 430432 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529377-1752264869/watcher-4529377-1752264869 -o /tmp/evaluation-result-4529377-1752264869/solver-4529377-1752264869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122190 --watchdog 3760 mixed-bag HOME/instance-4529377-1752264869.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=882617419
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.125
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.079
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.881
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3643.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3738.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 104787720 kB
MemAvailable: 122339996 kB
Buffers: 696 kB
Cached: 18302160 kB
SwapCached: 1628 kB
Active: 7764392 kB
Inactive: 17931476 kB
Active(anon): 7386604 kB
Inactive(anon): 31012 kB
Active(file): 377788 kB
Inactive(file): 17900464 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16588 kB
Writeback: 0 kB
AnonPages: 7393508 kB
Mapped: 139452 kB
Shmem: 24596 kB
KReclaimable: 226528 kB
Slab: 320936 kB
SReclaimable: 226528 kB
SUnreclaim: 94408 kB
KernelStack: 4240 kB
PageTables: 18848 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8724084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4550656 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430500 MiB
End job on nodeC014 at 2025-07-11 23:14:38