0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
298.65/300.07 c [STEP] preprocessing done, loading into solver
298.65/300.08 c [STEP] solving
298.65/300.08 c #variables 772 #constraints 252
321.38/322.81 c #Conflicts: 1000 | #Constraints: 1251
321.38/322.81 c #Conflicts: 2000 | #Constraints: 2251
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 3000 | #Constraints: 2255
321.38/322.81 c #Conflicts: 4000 | #Constraints: 3255
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 5000 | #Constraints: 2665
321.38/322.81 c #Conflicts: 6000 | #Constraints: 3665
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 7000 | #Constraints: 2668
321.38/322.81 c #Conflicts: 8000 | #Constraints: 3668
321.38/322.81 c #Conflicts: 9000 | #Constraints: 4668
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 10000 | #Constraints: 3371
321.38/322.81 c #Conflicts: 11000 | #Constraints: 4371
321.38/322.81 c #Conflicts: 12000 | #Constraints: 5371
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 13000 | #Constraints: 3820
321.38/322.81 c #Conflicts: 14000 | #Constraints: 4820
321.38/322.81 c #Conflicts: 15000 | #Constraints: 5820
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 16000 | #Constraints: 4047
321.38/322.81 c #Conflicts: 17000 | #Constraints: 5047
321.38/322.81 c #Conflicts: 18000 | #Constraints: 6047
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 19000 | #Constraints: 4064
321.38/322.81 c #Conflicts: 20000 | #Constraints: 5064
321.38/322.81 c #Conflicts: 21000 | #Constraints: 6064
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 22000 | #Constraints: 3863
321.38/322.81 c #Conflicts: 23000 | #Constraints: 4863
321.38/322.81 c #Conflicts: 24000 | #Constraints: 5863
321.38/322.81 c #Conflicts: 25000 | #Constraints: 6863
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 26000 | #Constraints: 4471
321.38/322.81 c #Conflicts: 27000 | #Constraints: 5471
321.38/322.81 c #Conflicts: 28000 | #Constraints: 6471
321.38/322.81 c #Conflicts: 29000 | #Constraints: 7471
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 30000 | #Constraints: 4871
321.38/322.81 c #Conflicts: 31000 | #Constraints: 5871
321.38/322.81 c #Conflicts: 32000 | #Constraints: 6871
321.38/322.81 c #Conflicts: 33000 | #Constraints: 7871
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 34000 | #Constraints: 5074
321.38/322.81 c #Conflicts: 35000 | #Constraints: 6074
321.38/322.81 c #Conflicts: 36000 | #Constraints: 7074
321.38/322.81 c #Conflicts: 37000 | #Constraints: 8074
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 38000 | #Constraints: 5079
321.38/322.81 c #Conflicts: 39000 | #Constraints: 6079
321.38/322.81 c #Conflicts: 40000 | #Constraints: 7079
321.38/322.81 c #Conflicts: 41000 | #Constraints: 8079
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 42000 | #Constraints: 4882
321.38/322.81 c #Conflicts: 43000 | #Constraints: 5882
321.38/322.81 c #Conflicts: 44000 | #Constraints: 6882
321.38/322.81 c #Conflicts: 45000 | #Constraints: 7882
321.38/322.81 c #Conflicts: 46000 | #Constraints: 8882
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 47000 | #Constraints: 5476
321.38/322.81 c #Conflicts: 48000 | #Constraints: 6476
321.38/322.81 c #Conflicts: 49000 | #Constraints: 7476
321.38/322.81 c #Conflicts: 50000 | #Constraints: 8476
321.38/322.81 c #Conflicts: 51000 | #Constraints: 9476
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 52000 | #Constraints: 5879
321.38/322.81 c #Conflicts: 53000 | #Constraints: 6879
321.38/322.81 c #Conflicts: 54000 | #Constraints: 7879
321.38/322.81 c #Conflicts: 55000 | #Constraints: 8879
321.38/322.81 c #Conflicts: 56000 | #Constraints: 9879
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 57000 | #Constraints: 6074
321.38/322.81 c #Conflicts: 58000 | #Constraints: 7074
321.38/322.81 c #Conflicts: 59000 | #Constraints: 8074
321.38/322.81 c #Conflicts: 60000 | #Constraints: 9074
321.38/322.81 c #Conflicts: 61000 | #Constraints: 10074
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 62000 | #Constraints: 6075
321.38/322.81 c #Conflicts: 63000 | #Constraints: 7075
321.38/322.81 c #Conflicts: 64000 | #Constraints: 8075
321.38/322.81 c #Conflicts: 65000 | #Constraints: 9075
321.38/322.81 c #Conflicts: 66000 | #Constraints: 10075
321.38/322.81 c INPROCESSING
321.38/322.81 c GARBAGE COLLECT
321.38/322.81 c #Conflicts: 67000 | #Constraints: 5877
321.38/322.81 c #Conflicts: 68000 | #Constraints: 6877
355.18/356.71 c #Conflicts: 69000 | #Constraints: 7877
355.18/356.71 c #Conflicts: 70000 | #Constraints: 8877
355.18/356.71 c #Conflicts: 71000 | #Constraints: 9877
355.18/356.71 c #Conflicts: 72000 | #Constraints: 10877
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 73000 | #Constraints: 6489
355.18/356.71 c #Conflicts: 74000 | #Constraints: 7489
355.18/356.71 c #Conflicts: 75000 | #Constraints: 8489
355.18/356.71 c #Conflicts: 76000 | #Constraints: 9489
355.18/356.71 c #Conflicts: 77000 | #Constraints: 10489
355.18/356.71 c #Conflicts: 78000 | #Constraints: 11489
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 79000 | #Constraints: 6886
355.18/356.71 c #Conflicts: 80000 | #Constraints: 7886
355.18/356.71 c #Conflicts: 81000 | #Constraints: 8886
355.18/356.71 c #Conflicts: 82000 | #Constraints: 9886
355.18/356.71 c #Conflicts: 83000 | #Constraints: 10886
355.18/356.71 c #Conflicts: 84000 | #Constraints: 11886
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 85000 | #Constraints: 7077
355.18/356.71 c #Conflicts: 86000 | #Constraints: 8077
355.18/356.71 c #Conflicts: 87000 | #Constraints: 9077
355.18/356.71 c #Conflicts: 88000 | #Constraints: 10077
355.18/356.71 c #Conflicts: 89000 | #Constraints: 11077
355.18/356.71 c #Conflicts: 90000 | #Constraints: 12077
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 91000 | #Constraints: 7084
355.18/356.71 c #Conflicts: 92000 | #Constraints: 8084
355.18/356.71 c #Conflicts: 93000 | #Constraints: 9084
355.18/356.71 c #Conflicts: 94000 | #Constraints: 10084
355.18/356.71 c #Conflicts: 95000 | #Constraints: 11084
355.18/356.71 c #Conflicts: 96000 | #Constraints: 12084
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 97000 | #Constraints: 6878
355.18/356.71 c #Conflicts: 98000 | #Constraints: 7878
355.18/356.71 c #Conflicts: 99000 | #Constraints: 8878
355.18/356.71 c #Conflicts: 100000 | #Constraints: 9878
355.18/356.71 c #Conflicts: 101000 | #Constraints: 10878
355.18/356.71 c #Conflicts: 102000 | #Constraints: 11878
355.18/356.71 c #Conflicts: 103000 | #Constraints: 12878
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 104000 | #Constraints: 7483
355.18/356.71 c #Conflicts: 105000 | #Constraints: 8483
355.18/356.71 c #Conflicts: 106000 | #Constraints: 9483
355.18/356.71 c #Conflicts: 107000 | #Constraints: 10483
355.18/356.71 c #Conflicts: 108000 | #Constraints: 11483
355.18/356.71 c #Conflicts: 109000 | #Constraints: 12483
355.18/356.71 c #Conflicts: 110000 | #Constraints: 13483
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 111000 | #Constraints: 7876
355.18/356.71 c #Conflicts: 112000 | #Constraints: 8876
355.18/356.71 c #Conflicts: 113000 | #Constraints: 9876
355.18/356.71 c #Conflicts: 114000 | #Constraints: 10876
355.18/356.71 c #Conflicts: 115000 | #Constraints: 11876
355.18/356.71 c #Conflicts: 116000 | #Constraints: 12876
355.18/356.71 c #Conflicts: 117000 | #Constraints: 13876
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 118000 | #Constraints: 8083
355.18/356.71 c #Conflicts: 119000 | #Constraints: 9083
355.18/356.71 c #Conflicts: 120000 | #Constraints: 10083
355.18/356.71 c #Conflicts: 121000 | #Constraints: 11083
355.18/356.71 c #Conflicts: 122000 | #Constraints: 12083
355.18/356.71 c #Conflicts: 123000 | #Constraints: 13083
355.18/356.71 c #Conflicts: 124000 | #Constraints: 14083
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 125000 | #Constraints: 8097
355.18/356.71 c #Conflicts: 126000 | #Constraints: 9097
355.18/356.71 c #Conflicts: 127000 | #Constraints: 10097
355.18/356.71 c #Conflicts: 128000 | #Constraints: 11097
355.18/356.71 c #Conflicts: 129000 | #Constraints: 12097
355.18/356.71 c #Conflicts: 130000 | #Constraints: 13097
355.18/356.71 c #Conflicts: 131000 | #Constraints: 14097
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 132000 | #Constraints: 7887
355.18/356.71 c #Conflicts: 133000 | #Constraints: 8887
355.18/356.71 c #Conflicts: 134000 | #Constraints: 9887
355.18/356.71 c #Conflicts: 135000 | #Constraints: 10887
355.18/356.71 c #Conflicts: 136000 | #Constraints: 11887
355.18/356.71 c #Conflicts: 137000 | #Constraints: 12887
355.18/356.71 c #Conflicts: 138000 | #Constraints: 13887
355.18/356.71 c #Conflicts: 139000 | #Constraints: 14887
355.18/356.71 c INPROCESSING
355.18/356.71 c GARBAGE COLLECT
355.18/356.71 c #Conflicts: 140000 | #Constraints: 8495
414.03/415.71 c #Conflicts: 141000 | #Constraints: 9495
414.03/415.71 c #Conflicts: 142000 | #Constraints: 10495
414.03/415.71 c #Conflicts: 143000 | #Constraints: 11495
414.03/415.71 c #Conflicts: 144000 | #Constraints: 12495
414.03/415.71 c #Conflicts: 145000 | #Constraints: 13495
414.03/415.71 c #Conflicts: 146000 | #Constraints: 14495
414.03/415.71 c #Conflicts: 147000 | #Constraints: 15495
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 148000 | #Constraints: 8897
414.03/415.71 c #Conflicts: 149000 | #Constraints: 9897
414.03/415.71 c #Conflicts: 150000 | #Constraints: 10897
414.03/415.71 c #Conflicts: 151000 | #Constraints: 11897
414.03/415.71 c #Conflicts: 152000 | #Constraints: 12897
414.03/415.71 c #Conflicts: 153000 | #Constraints: 13897
414.03/415.71 c #Conflicts: 154000 | #Constraints: 14897
414.03/415.71 c #Conflicts: 155000 | #Constraints: 15897
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 156000 | #Constraints: 9091
414.03/415.71 c #Conflicts: 157000 | #Constraints: 10091
414.03/415.71 c #Conflicts: 158000 | #Constraints: 11091
414.03/415.71 c #Conflicts: 159000 | #Constraints: 12091
414.03/415.71 c #Conflicts: 160000 | #Constraints: 13091
414.03/415.71 c #Conflicts: 161000 | #Constraints: 14091
414.03/415.71 c #Conflicts: 162000 | #Constraints: 15091
414.03/415.71 c #Conflicts: 163000 | #Constraints: 16091
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 164000 | #Constraints: 9091
414.03/415.71 c #Conflicts: 165000 | #Constraints: 10091
414.03/415.71 c #Conflicts: 166000 | #Constraints: 11091
414.03/415.71 c #Conflicts: 167000 | #Constraints: 12091
414.03/415.71 c #Conflicts: 168000 | #Constraints: 13091
414.03/415.71 c #Conflicts: 169000 | #Constraints: 14091
414.03/415.71 c #Conflicts: 170000 | #Constraints: 15091
414.03/415.71 c #Conflicts: 171000 | #Constraints: 16091
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 172000 | #Constraints: 8889
414.03/415.71 c #Conflicts: 173000 | #Constraints: 9889
414.03/415.71 c #Conflicts: 174000 | #Constraints: 10889
414.03/415.71 c #Conflicts: 175000 | #Constraints: 11889
414.03/415.71 c #Conflicts: 176000 | #Constraints: 12889
414.03/415.71 c #Conflicts: 177000 | #Constraints: 13889
414.03/415.71 c #Conflicts: 178000 | #Constraints: 14889
414.03/415.71 c #Conflicts: 179000 | #Constraints: 15889
414.03/415.71 c #Conflicts: 180000 | #Constraints: 16889
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 181000 | #Constraints: 9482
414.03/415.71 c #Conflicts: 182000 | #Constraints: 10482
414.03/415.71 c #Conflicts: 183000 | #Constraints: 11482
414.03/415.71 c #Conflicts: 184000 | #Constraints: 12482
414.03/415.71 c #Conflicts: 185000 | #Constraints: 13482
414.03/415.71 c #Conflicts: 186000 | #Constraints: 14482
414.03/415.71 c #Conflicts: 187000 | #Constraints: 15482
414.03/415.71 c #Conflicts: 188000 | #Constraints: 16482
414.03/415.71 c #Conflicts: 189000 | #Constraints: 17482
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 190000 | #Constraints: 9894
414.03/415.71 c #Conflicts: 191000 | #Constraints: 10894
414.03/415.71 c #Conflicts: 192000 | #Constraints: 11894
414.03/415.71 c #Conflicts: 193000 | #Constraints: 12894
414.03/415.71 c #Conflicts: 194000 | #Constraints: 13894
414.03/415.71 c #Conflicts: 195000 | #Constraints: 14894
414.03/415.71 c #Conflicts: 196000 | #Constraints: 15894
414.03/415.71 c #Conflicts: 197000 | #Constraints: 16894
414.03/415.71 c #Conflicts: 198000 | #Constraints: 17894
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 199000 | #Constraints: 10095
414.03/415.71 c #Conflicts: 200000 | #Constraints: 11095
414.03/415.71 c #Conflicts: 201000 | #Constraints: 12095
414.03/415.71 c #Conflicts: 202000 | #Constraints: 13095
414.03/415.71 c #Conflicts: 203000 | #Constraints: 14095
414.03/415.71 c #Conflicts: 204000 | #Constraints: 15095
414.03/415.71 c #Conflicts: 205000 | #Constraints: 16095
414.03/415.71 c #Conflicts: 206000 | #Constraints: 17095
414.03/415.71 c #Conflicts: 207000 | #Constraints: 18095
414.03/415.71 c INPROCESSING
414.03/415.71 c GARBAGE COLLECT
414.03/415.71 c #Conflicts: 208000 | #Constraints: 10086
414.03/415.71 c #Conflicts: 209000 | #Constraints: 11086
414.03/415.71 c #Conflicts: 210000 | #Constraints: 12086
414.03/415.71 c #Conflicts: 211000 | #Constraints: 13086
414.03/415.71 c #Conflicts: 212000 | #Constraints: 14086
414.03/415.71 c #Conflicts: 213000 | #Constraints: 15086
480.46/482.36 c #Conflicts: 214000 | #Constraints: 16086
480.46/482.36 c #Conflicts: 215000 | #Constraints: 17086
480.46/482.36 c #Conflicts: 216000 | #Constraints: 18086
480.46/482.36 c INPROCESSING
480.46/482.36 c GARBAGE COLLECT
480.46/482.36 c #Conflicts: 217000 | #Constraints: 9887
480.46/482.36 c #Conflicts: 218000 | #Constraints: 10887
480.46/482.36 c #Conflicts: 219000 | #Constraints: 11887
480.46/482.36 c #Conflicts: 220000 | #Constraints: 12887
480.46/482.36 c #Conflicts: 221000 | #Constraints: 13887
480.46/482.36 c #Conflicts: 222000 | #Constraints: 14887
480.46/482.36 c #Conflicts: 223000 | #Constraints: 15887
480.46/482.36 c #Conflicts: 224000 | #Constraints: 16887
480.46/482.36 c #Conflicts: 225000 | #Constraints: 17887
480.46/482.36 c #Conflicts: 226000 | #Constraints: 18887
480.46/482.36 c INPROCESSING
480.46/482.36 c GARBAGE COLLECT
480.46/482.36 c #Conflicts: 227000 | #Constraints: 10490
480.46/482.36 c #Conflicts: 228000 | #Constraints: 11490
480.46/482.36 c #Conflicts: 229000 | #Constraints: 12490
480.46/482.36 c #Conflicts: 230000 | #Constraints: 13490
480.46/482.36 c #Conflicts: 231000 | #Constraints: 14490
480.46/482.36 c #Conflicts: 232000 | #Constraints: 15490
480.46/482.36 c #Conflicts: 233000 | #Constraints: 16490
480.46/482.36 c #Conflicts: 234000 | #Constraints: 17490
480.46/482.36 c #Conflicts: 235000 | #Constraints: 18490
480.46/482.36 c #Conflicts: 236000 | #Constraints: 19490
480.46/482.36 c INPROCESSING
480.46/482.36 c GARBAGE COLLECT
480.46/482.36 c #Conflicts: 237000 | #Constraints: 10900
480.46/482.36 c #Conflicts: 238000 | #Constraints: 11900
480.46/482.36 c #Conflicts: 239000 | #Constraints: 12900
480.46/482.36 c #Conflicts: 240000 | #Constraints: 13900
480.46/482.36 c #Conflicts: 241000 | #Constraints: 14900
480.46/482.36 c #Conflicts: 242000 | #Constraints: 15900
480.46/482.36 c #Conflicts: 243000 | #Constraints: 16900
480.46/482.36 c #Conflicts: 244000 | #Constraints: 17900
480.46/482.36 c #Conflicts: 245000 | #Constraints: 18900
480.46/482.36 c #Conflicts: 246000 | #Constraints: 19900
480.46/482.36 c INPROCESSING
480.46/482.36 c GARBAGE COLLECT
480.46/482.36 c #Conflicts: 247000 | #Constraints: 11116
480.46/482.36 c #Conflicts: 248000 | #Constraints: 12116
480.46/482.36 c #Conflicts: 249000 | #Constraints: 13116
480.46/482.36 c #Conflicts: 250000 | #Constraints: 14116
480.46/482.36 c #Conflicts: 251000 | #Constraints: 15116
480.46/482.36 c #Conflicts: 252000 | #Constraints: 16116
480.46/482.36 c #Conflicts: 253000 | #Constraints: 17116
480.46/482.36 c #Conflicts: 254000 | #Constraints: 18116
480.46/482.36 c #Conflicts: 255000 | #Constraints: 19116
480.46/482.36 c #Conflicts: 256000 | #Constraints: 20116
480.46/482.36 c INPROCESSING
480.46/482.36 c GARBAGE COLLECT
480.46/482.36 c #Conflicts: 257000 | #Constraints: 11100
480.46/482.36 c #Conflicts: 258000 | #Constraints: 12100
480.46/482.36 c #Conflicts: 259000 | #Constraints: 13100
480.46/482.36 c #Conflicts: 260000 | #Constraints: 14100
480.46/482.36 c #Conflicts: 261000 | #Constraints: 15100
480.46/482.36 c #Conflicts: 262000 | #Constraints: 16100
480.46/482.36 c #Conflicts: 263000 | #Constraints: 17100
480.46/482.36 c #Conflicts: 264000 | #Constraints: 18100
480.46/482.36 c #Conflicts: 265000 | #Constraints: 19100
480.46/482.36 c #Conflicts: 266000 | #Constraints: 20100
480.46/482.36 c INPROCESSING
480.46/482.36 c GARBAGE COLLECT
480.46/482.36 c #Conflicts: 267000 | #Constraints: 10916
480.46/482.36 c #Conflicts: 268000 | #Constraints: 11916
480.46/482.36 c #Conflicts: 269000 | #Constraints: 12916
480.46/482.36 c #Conflicts: 270000 | #Constraints: 13916
480.46/482.36 c #Conflicts: 271000 | #Constraints: 14916
480.46/482.36 c #Conflicts: 272000 | #Constraints: 15916
480.46/482.36 c #Conflicts: 273000 | #Constraints: 16916
480.46/482.36 c #Conflicts: 274000 | #Constraints: 17916
480.46/482.36 c #Conflicts: 275000 | #Constraints: 18916
480.46/482.36 c #Conflicts: 276000 | #Constraints: 19916
480.46/482.36 c #Conflicts: 277000 | #Constraints: 20916
480.46/482.36 c INPROCESSING
480.46/482.36 c GARBAGE COLLECT
480.46/482.36 c #Conflicts: 278000 | #Constraints: 11524
480.46/482.36 c #Conflicts: 279000 | #Constraints: 12524
480.46/482.36 c #Conflicts: 280000 | #Constraints: 13524
480.46/482.36 c #Conflicts: 281000 | #Constraints: 14524
480.46/482.36 c #Conflicts: 282000 | #Constraints: 15524
480.46/482.36 c #Conflicts: 283000 | #Constraints: 16524
480.46/482.36 c #Conflicts: 284000 | #Constraints: 17524
480.46/482.36 c #Conflicts: 285000 | #Constraints: 18524
480.46/482.36 c #Conflicts: 286000 | #Constraints: 19524
480.46/482.36 c #Conflicts: 287000 | #Constraints: 20524
480.46/482.36 c #Conflicts: 288000 | #Constraints: 21524
538.11/540.17 c INPROCESSING
538.11/540.17 c GARBAGE COLLECT
538.11/540.17 c #Conflicts: 289000 | #Constraints: 11901
538.11/540.17 c #Conflicts: 290000 | #Constraints: 12901
538.11/540.17 c #Conflicts: 291000 | #Constraints: 13901
538.11/540.17 c #Conflicts: 292000 | #Constraints: 14901
538.11/540.17 c #Conflicts: 293000 | #Constraints: 15901
538.11/540.17 c #Conflicts: 294000 | #Constraints: 16901
538.11/540.17 c #Conflicts: 295000 | #Constraints: 17901
538.11/540.17 c #Conflicts: 296000 | #Constraints: 18901
538.11/540.17 c #Conflicts: 297000 | #Constraints: 19901
538.11/540.17 c #Conflicts: 298000 | #Constraints: 20901
538.11/540.17 c #Conflicts: 299000 | #Constraints: 21901
538.11/540.17 c INPROCESSING
538.11/540.17 c GARBAGE COLLECT
538.11/540.17 c #Conflicts: 300000 | #Constraints: 12114
538.11/540.17 c #Conflicts: 301000 | #Constraints: 13114
538.11/540.17 c #Conflicts: 302000 | #Constraints: 14114
538.11/540.17 c #Conflicts: 303000 | #Constraints: 15114
538.11/540.17 c #Conflicts: 304000 | #Constraints: 16114
538.11/540.17 c #Conflicts: 305000 | #Constraints: 17114
538.11/540.17 c #Conflicts: 306000 | #Constraints: 18114
538.11/540.17 c #Conflicts: 307000 | #Constraints: 19114
538.11/540.17 c #Conflicts: 308000 | #Constraints: 20114
538.11/540.17 c #Conflicts: 309000 | #Constraints: 21114
538.11/540.17 c #Conflicts: 310000 | #Constraints: 22114
538.11/540.17 c INPROCESSING
538.11/540.17 c GARBAGE COLLECT
538.11/540.17 c #Conflicts: 311000 | #Constraints: 12125
538.11/540.17 c #Conflicts: 312000 | #Constraints: 13125
538.11/540.17 c #Conflicts: 313000 | #Constraints: 14125
538.11/540.17 c #Conflicts: 314000 | #Constraints: 15125
538.11/540.17 c #Conflicts: 315000 | #Constraints: 16125
538.11/540.17 c #Conflicts: 316000 | #Constraints: 17125
538.11/540.17 c #Conflicts: 317000 | #Constraints: 18125
538.11/540.17 c #Conflicts: 318000 | #Constraints: 19125
538.11/540.17 c #Conflicts: 319000 | #Constraints: 20125
538.11/540.17 c #Conflicts: 320000 | #Constraints: 21125
538.11/540.17 c #Conflicts: 321000 | #Constraints: 22125
538.11/540.17 c INPROCESSING
538.11/540.17 c GARBAGE COLLECT
538.11/540.17 c #Conflicts: 322000 | #Constraints: 11933
538.11/540.17 c #Conflicts: 323000 | #Constraints: 12933
538.11/540.17 c #Conflicts: 324000 | #Constraints: 13933
538.11/540.17 c #Conflicts: 325000 | #Constraints: 14933
538.11/540.17 c #Conflicts: 326000 | #Constraints: 15933
538.11/540.17 c #Conflicts: 327000 | #Constraints: 16933
538.11/540.17 c #Conflicts: 328000 | #Constraints: 17933
538.11/540.17 c #Conflicts: 329000 | #Constraints: 18933
538.11/540.17 c #Conflicts: 330000 | #Constraints: 19933
538.11/540.17 c #Conflicts: 331000 | #Constraints: 20933
538.11/540.17 c #Conflicts: 332000 | #Constraints: 21933
538.11/540.17 c #Conflicts: 333000 | #Constraints: 22933
538.11/540.17 c INPROCESSING
538.11/540.17 c GARBAGE COLLECT
538.11/540.17 c #Conflicts: 334000 | #Constraints: 12519
538.11/540.17 c #Conflicts: 335000 | #Constraints: 13519
538.11/540.17 c #Conflicts: 336000 | #Constraints: 14519
538.11/540.17 c #Conflicts: 337000 | #Constraints: 15519
538.11/540.17 c #Conflicts: 338000 | #Constraints: 16519
538.11/540.17 c #Conflicts: 339000 | #Constraints: 17519
538.11/540.17 c #Conflicts: 340000 | #Constraints: 18519
538.11/540.17 c #Conflicts: 341000 | #Constraints: 19519
538.11/540.17 c #Conflicts: 342000 | #Constraints: 20519
538.11/540.17 c #Conflicts: 343000 | #Constraints: 21519
538.11/540.17 c #Conflicts: 344000 | #Constraints: 22519
538.11/540.17 c #Conflicts: 345000 | #Constraints: 23519
538.11/540.17 c INPROCESSING
538.11/540.17 c GARBAGE COLLECT
538.11/540.17 c #Conflicts: 346000 | #Constraints: 12908
538.11/540.17 c #Conflicts: 347000 | #Constraints: 13908
538.11/540.17 c #Conflicts: 348000 | #Constraints: 14908
538.11/540.17 c #Conflicts: 349000 | #Constraints: 15908
538.11/540.17 c #Conflicts: 350000 | #Constraints: 16908
538.11/540.17 c #Conflicts: 351000 | #Constraints: 17908
538.11/540.17 c #Conflicts: 352000 | #Constraints: 18908
538.11/540.17 c #Conflicts: 353000 | #Constraints: 19908
538.11/540.17 c #Conflicts: 354000 | #Constraints: 20908
538.11/540.17 c #Conflicts: 355000 | #Constraints: 21908
538.11/540.17 c #Conflicts: 356000 | #Constraints: 22908
538.11/540.17 c #Conflicts: 357000 | #Constraints: 23908
538.11/540.17 c INPROCESSING
538.11/540.17 c GARBAGE COLLECT
538.11/540.17 c #Conflicts: 358000 | #Constraints: 13099
538.11/540.17 c #Conflicts: 359000 | #Constraints: 14099
538.11/540.17 c #Conflicts: 360000 | #Constraints: 15099
538.11/540.17 c #Conflicts: 361000 | #Constraints: 16099
538.11/540.17 c #Conflicts: 362000 | #Constraints: 17099
606.34/608.50 c #Conflicts: 363000 | #Constraints: 18099
606.34/608.50 c #Conflicts: 364000 | #Constraints: 19099
606.34/608.50 c #Conflicts: 365000 | #Constraints: 20099
606.34/608.50 c #Conflicts: 366000 | #Constraints: 21099
606.34/608.50 c #Conflicts: 367000 | #Constraints: 22099
606.34/608.50 c #Conflicts: 368000 | #Constraints: 23099
606.34/608.50 c #Conflicts: 369000 | #Constraints: 24099
606.34/608.50 c INPROCESSING
606.34/608.50 c GARBAGE COLLECT
606.34/608.50 c #Conflicts: 370000 | #Constraints: 13119
606.34/608.50 c #Conflicts: 371000 | #Constraints: 14119
606.34/608.50 c #Conflicts: 372000 | #Constraints: 15119
606.34/608.50 c #Conflicts: 373000 | #Constraints: 16119
606.34/608.50 c #Conflicts: 374000 | #Constraints: 17119
606.34/608.50 c #Conflicts: 375000 | #Constraints: 18119
606.34/608.50 c #Conflicts: 376000 | #Constraints: 19119
606.34/608.50 c #Conflicts: 377000 | #Constraints: 20119
606.34/608.50 c #Conflicts: 378000 | #Constraints: 21119
606.34/608.50 c #Conflicts: 379000 | #Constraints: 22119
606.34/608.50 c #Conflicts: 380000 | #Constraints: 23119
606.34/608.50 c #Conflicts: 381000 | #Constraints: 24119
606.34/608.50 c INPROCESSING
606.34/608.50 c GARBAGE COLLECT
606.34/608.50 c #Conflicts: 382000 | #Constraints: 12929
606.34/608.50 c #Conflicts: 383000 | #Constraints: 13929
606.34/608.50 c #Conflicts: 384000 | #Constraints: 14929
606.34/608.50 c #Conflicts: 385000 | #Constraints: 15929
606.34/608.50 c #Conflicts: 386000 | #Constraints: 16929
606.34/608.50 c #Conflicts: 387000 | #Constraints: 17929
606.34/608.50 c #Conflicts: 388000 | #Constraints: 18929
606.34/608.50 c #Conflicts: 389000 | #Constraints: 19929
606.34/608.50 c #Conflicts: 390000 | #Constraints: 20929
606.34/608.50 c #Conflicts: 391000 | #Constraints: 21929
606.34/608.50 c #Conflicts: 392000 | #Constraints: 22929
606.34/608.50 c #Conflicts: 393000 | #Constraints: 23929
606.34/608.50 c #Conflicts: 394000 | #Constraints: 24929
606.34/608.50 c INPROCESSING
606.34/608.50 c GARBAGE COLLECT
606.34/608.50 c #Conflicts: 395000 | #Constraints: 13520
606.34/608.50 c #Conflicts: 396000 | #Constraints: 14520
606.34/608.50 c #Conflicts: 397000 | #Constraints: 15520
606.34/608.50 c #Conflicts: 398000 | #Constraints: 16520
606.34/608.50 c #Conflicts: 399000 | #Constraints: 17520
606.34/608.50 c #Conflicts: 400000 | #Constraints: 18520
606.34/608.50 c #Conflicts: 401000 | #Constraints: 19520
606.34/608.50 c #Conflicts: 402000 | #Constraints: 20520
606.34/608.50 c #Conflicts: 403000 | #Constraints: 21520
606.34/608.50 c #Conflicts: 404000 | #Constraints: 22520
606.34/608.50 c #Conflicts: 405000 | #Constraints: 23520
606.34/608.50 c #Conflicts: 406000 | #Constraints: 24520
606.34/608.50 c #Conflicts: 407000 | #Constraints: 25520
606.34/608.50 c INPROCESSING
606.34/608.50 c GARBAGE COLLECT
606.34/608.50 c #Conflicts: 408000 | #Constraints: 13919
606.34/608.50 c #Conflicts: 409000 | #Constraints: 14919
606.34/608.50 c #Conflicts: 410000 | #Constraints: 15919
606.34/608.50 c #Conflicts: 411000 | #Constraints: 16919
606.34/608.50 c #Conflicts: 412000 | #Constraints: 17919
606.34/608.50 c #Conflicts: 413000 | #Constraints: 18919
606.34/608.50 c #Conflicts: 414000 | #Constraints: 19919
606.34/608.50 c #Conflicts: 415000 | #Constraints: 20919
606.34/608.50 c #Conflicts: 416000 | #Constraints: 21919
606.34/608.50 c #Conflicts: 417000 | #Constraints: 22919
606.34/608.50 c #Conflicts: 418000 | #Constraints: 23919
606.34/608.50 c #Conflicts: 419000 | #Constraints: 24919
606.34/608.50 c #Conflicts: 420000 | #Constraints: 25919
606.34/608.50 c INPROCESSING
606.34/608.50 c GARBAGE COLLECT
606.34/608.50 c #Conflicts: 421000 | #Constraints: 14122
606.34/608.50 c #Conflicts: 422000 | #Constraints: 15122
606.34/608.50 c #Conflicts: 423000 | #Constraints: 16122
606.34/608.50 c #Conflicts: 424000 | #Constraints: 17122
606.34/608.50 c #Conflicts: 425000 | #Constraints: 18122
606.34/608.50 c #Conflicts: 426000 | #Constraints: 19122
606.34/608.50 c #Conflicts: 427000 | #Constraints: 20122
606.34/608.50 c #Conflicts: 428000 | #Constraints: 21122
606.34/608.50 c #Conflicts: 429000 | #Constraints: 22122
606.34/608.50 c #Conflicts: 430000 | #Constraints: 23122
606.34/608.50 c #Conflicts: 431000 | #Constraints: 24122
606.34/608.50 c #Conflicts: 432000 | #Constraints: 25122
606.34/608.50 c #Conflicts: 433000 | #Constraints: 26122
606.34/608.50 c INPROCESSING
606.34/608.50 c GARBAGE COLLECT
606.34/608.50 c #Conflicts: 434000 | #Constraints: 14135
606.34/608.50 c #Conflicts: 435000 | #Constraints: 15135
606.34/608.50 c #Conflicts: 436000 | #Constraints: 16135
606.34/608.50 c #Conflicts: 437000 | #Constraints: 17135
689.41/691.82 c #Conflicts: 438000 | #Constraints: 18135
689.41/691.82 c #Conflicts: 439000 | #Constraints: 19135
689.41/691.82 c #Conflicts: 440000 | #Constraints: 20135
689.41/691.82 c #Conflicts: 441000 | #Constraints: 21135
689.41/691.82 c #Conflicts: 442000 | #Constraints: 22135
689.41/691.82 c #Conflicts: 443000 | #Constraints: 23135
689.41/691.82 c #Conflicts: 444000 | #Constraints: 24135
689.41/691.82 c #Conflicts: 445000 | #Constraints: 25135
689.41/691.82 c #Conflicts: 446000 | #Constraints: 26135
689.41/691.82 c INPROCESSING
689.41/691.82 c GARBAGE COLLECT
689.41/691.82 c #Conflicts: 447000 | #Constraints: 13941
689.41/691.82 c #Conflicts: 448000 | #Constraints: 14941
689.41/691.82 c #Conflicts: 449000 | #Constraints: 15941
689.41/691.82 c #Conflicts: 450000 | #Constraints: 16941
689.41/691.82 c #Conflicts: 451000 | #Constraints: 17941
689.41/691.82 c #Conflicts: 452000 | #Constraints: 18941
689.41/691.82 c #Conflicts: 453000 | #Constraints: 19941
689.41/691.82 c #Conflicts: 454000 | #Constraints: 20941
689.41/691.82 c #Conflicts: 455000 | #Constraints: 21941
689.41/691.82 c #Conflicts: 456000 | #Constraints: 22941
689.41/691.82 c #Conflicts: 457000 | #Constraints: 23941
689.41/691.82 c #Conflicts: 458000 | #Constraints: 24941
689.41/691.82 c #Conflicts: 459000 | #Constraints: 25941
689.41/691.82 c #Conflicts: 460000 | #Constraints: 26941
689.41/691.82 c INPROCESSING
689.41/691.82 c GARBAGE COLLECT
689.41/691.82 c #Conflicts: 461000 | #Constraints: 14554
689.41/691.82 c #Conflicts: 462000 | #Constraints: 15554
689.41/691.82 c #Conflicts: 463000 | #Constraints: 16554
689.41/691.82 c #Conflicts: 464000 | #Constraints: 17554
689.41/691.82 c #Conflicts: 465000 | #Constraints: 18554
689.41/691.82 c #Conflicts: 466000 | #Constraints: 19554
689.41/691.82 c #Conflicts: 467000 | #Constraints: 20554
689.41/691.82 c #Conflicts: 468000 | #Constraints: 21554
689.41/691.82 c #Conflicts: 469000 | #Constraints: 22554
689.41/691.82 c #Conflicts: 470000 | #Constraints: 23554
689.41/691.82 c #Conflicts: 471000 | #Constraints: 24554
689.41/691.82 c #Conflicts: 472000 | #Constraints: 25554
689.41/691.82 c #Conflicts: 473000 | #Constraints: 26554
689.41/691.82 c #Conflicts: 474000 | #Constraints: 27554
689.41/691.82 c INPROCESSING
689.41/691.82 c GARBAGE COLLECT
689.41/691.82 c #Conflicts: 475000 | #Constraints: 14934
689.41/691.82 c #Conflicts: 476000 | #Constraints: 15934
689.41/691.82 c #Conflicts: 477000 | #Constraints: 16934
689.41/691.82 c #Conflicts: 478000 | #Constraints: 17934
689.41/691.82 c #Conflicts: 479000 | #Constraints: 18934
689.41/691.82 c #Conflicts: 480000 | #Constraints: 19934
689.41/691.82 c #Conflicts: 481000 | #Constraints: 20934
689.41/691.82 c #Conflicts: 482000 | #Constraints: 21934
689.41/691.82 c #Conflicts: 483000 | #Constraints: 22934
689.41/691.82 c #Conflicts: 484000 | #Constraints: 23934
689.41/691.82 c #Conflicts: 485000 | #Constraints: 24934
689.41/691.82 c #Conflicts: 486000 | #Constraints: 25934
689.41/691.82 c #Conflicts: 487000 | #Constraints: 26934
689.41/691.82 c #Conflicts: 488000 | #Constraints: 27934
689.41/691.82 c INPROCESSING
689.41/691.82 c GARBAGE COLLECT
689.41/691.82 c #Conflicts: 489000 | #Constraints: 15122
689.41/691.82 c #Conflicts: 490000 | #Constraints: 16122
689.41/691.82 c #Conflicts: 491000 | #Constraints: 17122
689.41/691.82 c #Conflicts: 492000 | #Constraints: 18122
689.41/691.82 c #Conflicts: 493000 | #Constraints: 19122
689.41/691.82 c #Conflicts: 494000 | #Constraints: 20122
689.41/691.82 c #Conflicts: 495000 | #Constraints: 21122
689.41/691.82 c #Conflicts: 496000 | #Constraints: 22122
689.41/691.82 c #Conflicts: 497000 | #Constraints: 23122
689.41/691.82 c #Conflicts: 498000 | #Constraints: 24122
689.41/691.82 c #Conflicts: 499000 | #Constraints: 25122
689.41/691.82 c #Conflicts: 500000 | #Constraints: 26122
689.41/691.82 c #Conflicts: 501000 | #Constraints: 27122
689.41/691.82 c #Conflicts: 502000 | #Constraints: 28122
689.41/691.82 c INPROCESSING
689.41/691.82 c GARBAGE COLLECT
689.41/691.82 c #Conflicts: 503000 | #Constraints: 15139
689.41/691.82 c #Conflicts: 504000 | #Constraints: 16139
689.41/691.82 c #Conflicts: 505000 | #Constraints: 17139
689.41/691.82 c #Conflicts: 506000 | #Constraints: 18139
689.41/691.82 c #Conflicts: 507000 | #Constraints: 19139
689.41/691.82 c #Conflicts: 508000 | #Constraints: 20139
689.41/691.82 c #Conflicts: 509000 | #Constraints: 21139
689.41/691.82 c #Conflicts: 510000 | #Constraints: 22139
689.41/691.82 c #Conflicts: 511000 | #Constraints: 23139
689.41/691.82 c #Conflicts: 512000 | #Constraints: 24139
689.41/691.82 c #Conflicts: 513000 | #Constraints: 25139
776.17/778.81 c #Conflicts: 514000 | #Constraints: 26139
776.17/778.81 c #Conflicts: 515000 | #Constraints: 27139
776.17/778.81 c #Conflicts: 516000 | #Constraints: 28139
776.17/778.81 c INPROCESSING
776.17/778.81 c GARBAGE COLLECT
776.17/778.81 c #Conflicts: 517000 | #Constraints: 14925
776.17/778.81 c #Conflicts: 518000 | #Constraints: 15925
776.17/778.81 c #Conflicts: 519000 | #Constraints: 16925
776.17/778.81 c #Conflicts: 520000 | #Constraints: 17925
776.17/778.81 c #Conflicts: 521000 | #Constraints: 18925
776.17/778.81 c #Conflicts: 522000 | #Constraints: 19925
776.17/778.81 c #Conflicts: 523000 | #Constraints: 20925
776.17/778.81 c #Conflicts: 524000 | #Constraints: 21925
776.17/778.81 c #Conflicts: 525000 | #Constraints: 22925
776.17/778.81 c #Conflicts: 526000 | #Constraints: 23925
776.17/778.81 c #Conflicts: 527000 | #Constraints: 24925
776.17/778.81 c #Conflicts: 528000 | #Constraints: 25925
776.17/778.81 c #Conflicts: 529000 | #Constraints: 26925
776.17/778.81 c #Conflicts: 530000 | #Constraints: 27925
776.17/778.81 c #Conflicts: 531000 | #Constraints: 28925
776.17/778.81 c INPROCESSING
776.17/778.81 c GARBAGE COLLECT
776.17/778.81 c #Conflicts: 532000 | #Constraints: 15530
776.17/778.81 c #Conflicts: 533000 | #Constraints: 16530
776.17/778.81 c #Conflicts: 534000 | #Constraints: 17530
776.17/778.81 c #Conflicts: 535000 | #Constraints: 18530
776.17/778.81 c #Conflicts: 536000 | #Constraints: 19530
776.17/778.81 c #Conflicts: 537000 | #Constraints: 20530
776.17/778.81 c #Conflicts: 538000 | #Constraints: 21530
776.17/778.81 c #Conflicts: 539000 | #Constraints: 22530
776.17/778.81 c #Conflicts: 540000 | #Constraints: 23530
776.17/778.81 c #Conflicts: 541000 | #Constraints: 24530
776.17/778.81 c #Conflicts: 542000 | #Constraints: 25530
776.17/778.81 c #Conflicts: 543000 | #Constraints: 26530
776.17/778.81 c #Conflicts: 544000 | #Constraints: 27530
776.17/778.81 c #Conflicts: 545000 | #Constraints: 28530
776.17/778.81 c #Conflicts: 546000 | #Constraints: 29530
776.17/778.81 c INPROCESSING
776.17/778.81 c GARBAGE COLLECT
776.17/778.81 c #Conflicts: 547000 | #Constraints: 15927
776.17/778.81 c #Conflicts: 548000 | #Constraints: 16927
776.17/778.81 c #Conflicts: 549000 | #Constraints: 17927
776.17/778.81 c #Conflicts: 550000 | #Constraints: 18927
776.17/778.81 c #Conflicts: 551000 | #Constraints: 19927
776.17/778.81 c #Conflicts: 552000 | #Constraints: 20927
776.17/778.81 c #Conflicts: 553000 | #Constraints: 21927
776.17/778.81 c #Conflicts: 554000 | #Constraints: 22927
776.17/778.81 c #Conflicts: 555000 | #Constraints: 23927
776.17/778.81 c #Conflicts: 556000 | #Constraints: 24927
776.17/778.81 c #Conflicts: 557000 | #Constraints: 25927
776.17/778.81 c #Conflicts: 558000 | #Constraints: 26927
776.17/778.81 c #Conflicts: 559000 | #Constraints: 27927
776.17/778.81 c #Conflicts: 560000 | #Constraints: 28927
776.17/778.81 c #Conflicts: 561000 | #Constraints: 29927
776.17/778.81 c INPROCESSING
776.17/778.81 c GARBAGE COLLECT
776.17/778.81 c #Conflicts: 562000 | #Constraints: 16138
776.17/778.81 c #Conflicts: 563000 | #Constraints: 17138
776.17/778.81 c #Conflicts: 564000 | #Constraints: 18138
776.17/778.81 c #Conflicts: 565000 | #Constraints: 19138
776.17/778.81 c #Conflicts: 566000 | #Constraints: 20138
776.17/778.81 c #Conflicts: 567000 | #Constraints: 21138
776.17/778.81 c #Conflicts: 568000 | #Constraints: 22138
776.17/778.81 c #Conflicts: 569000 | #Constraints: 23138
776.17/778.81 c #Conflicts: 570000 | #Constraints: 24138
776.17/778.81 c #Conflicts: 571000 | #Constraints: 25138
776.17/778.81 c #Conflicts: 572000 | #Constraints: 26138
776.17/778.81 c #Conflicts: 573000 | #Constraints: 27138
776.17/778.81 c #Conflicts: 574000 | #Constraints: 28138
776.17/778.81 c #Conflicts: 575000 | #Constraints: 29138
776.17/778.81 c #Conflicts: 576000 | #Constraints: 30138
776.17/778.81 c INPROCESSING
776.17/778.81 c GARBAGE COLLECT
776.17/778.81 c #Conflicts: 577000 | #Constraints: 16146
776.17/778.81 c #Conflicts: 578000 | #Constraints: 17146
776.17/778.81 c #Conflicts: 579000 | #Constraints: 18146
776.17/778.81 c #Conflicts: 580000 | #Constraints: 19146
776.17/778.81 c #Conflicts: 581000 | #Constraints: 20146
776.17/778.81 c #Conflicts: 582000 | #Constraints: 21146
776.17/778.81 c #Conflicts: 583000 | #Constraints: 22146
776.17/778.81 c #Conflicts: 584000 | #Constraints: 23146
776.17/778.81 c #Conflicts: 585000 | #Constraints: 24146
776.17/778.81 c #Conflicts: 586000 | #Constraints: 25146
776.17/778.81 c #Conflicts: 587000 | #Constraints: 26146
776.17/778.81 c #Conflicts: 588000 | #Constraints: 27146
874.60/877.51 c #Conflicts: 589000 | #Constraints: 28146
874.60/877.51 c #Conflicts: 590000 | #Constraints: 29146
874.60/877.51 c #Conflicts: 591000 | #Constraints: 30146
874.60/877.51 c INPROCESSING
874.60/877.51 c GARBAGE COLLECT
874.60/877.51 c #Conflicts: 592000 | #Constraints: 15944
874.60/877.51 c #Conflicts: 593000 | #Constraints: 16944
874.60/877.51 c #Conflicts: 594000 | #Constraints: 17944
874.60/877.51 c #Conflicts: 595000 | #Constraints: 18944
874.60/877.51 c #Conflicts: 596000 | #Constraints: 19944
874.60/877.51 c #Conflicts: 597000 | #Constraints: 20944
874.60/877.51 c #Conflicts: 598000 | #Constraints: 21944
874.60/877.51 c #Conflicts: 599000 | #Constraints: 22944
874.60/877.51 c #Conflicts: 600000 | #Constraints: 23944
874.60/877.51 c #Conflicts: 601000 | #Constraints: 24944
874.60/877.51 c #Conflicts: 602000 | #Constraints: 25944
874.60/877.51 c #Conflicts: 603000 | #Constraints: 26944
874.60/877.51 c #Conflicts: 604000 | #Constraints: 27944
874.60/877.51 c #Conflicts: 605000 | #Constraints: 28944
874.60/877.51 c #Conflicts: 606000 | #Constraints: 29944
874.60/877.51 c #Conflicts: 607000 | #Constraints: 30944
874.60/877.51 c INPROCESSING
874.60/877.51 c GARBAGE COLLECT
874.60/877.51 c #Conflicts: 608000 | #Constraints: 16545
874.60/877.51 c #Conflicts: 609000 | #Constraints: 17545
874.60/877.51 c #Conflicts: 610000 | #Constraints: 18545
874.60/877.51 c #Conflicts: 611000 | #Constraints: 19545
874.60/877.51 c #Conflicts: 612000 | #Constraints: 20545
874.60/877.51 c #Conflicts: 613000 | #Constraints: 21545
874.60/877.51 c #Conflicts: 614000 | #Constraints: 22545
874.60/877.51 c #Conflicts: 615000 | #Constraints: 23545
874.60/877.51 c #Conflicts: 616000 | #Constraints: 24545
874.60/877.51 c #Conflicts: 617000 | #Constraints: 25545
874.60/877.51 c #Conflicts: 618000 | #Constraints: 26545
874.60/877.51 c #Conflicts: 619000 | #Constraints: 27545
874.60/877.51 c #Conflicts: 620000 | #Constraints: 28545
874.60/877.51 c #Conflicts: 621000 | #Constraints: 29545
874.60/877.51 c #Conflicts: 622000 | #Constraints: 30545
874.60/877.51 c #Conflicts: 623000 | #Constraints: 31545
874.60/877.51 c INPROCESSING
874.60/877.51 c GARBAGE COLLECT
874.60/877.51 c #Conflicts: 624000 | #Constraints: 16936
874.60/877.51 c #Conflicts: 625000 | #Constraints: 17936
874.60/877.51 c #Conflicts: 626000 | #Constraints: 18936
874.60/877.51 c #Conflicts: 627000 | #Constraints: 19936
874.60/877.51 c #Conflicts: 628000 | #Constraints: 20936
874.60/877.51 c #Conflicts: 629000 | #Constraints: 21936
874.60/877.51 c #Conflicts: 630000 | #Constraints: 22936
874.60/877.51 c #Conflicts: 631000 | #Constraints: 23936
874.60/877.51 c #Conflicts: 632000 | #Constraints: 24936
874.60/877.51 c #Conflicts: 633000 | #Constraints: 25936
874.60/877.51 c #Conflicts: 634000 | #Constraints: 26936
874.60/877.51 c #Conflicts: 635000 | #Constraints: 27936
874.60/877.51 c #Conflicts: 636000 | #Constraints: 28936
874.60/877.51 c #Conflicts: 637000 | #Constraints: 29936
874.60/877.51 c #Conflicts: 638000 | #Constraints: 30936
874.60/877.51 c #Conflicts: 639000 | #Constraints: 31936
874.60/877.51 c INPROCESSING
874.60/877.51 c GARBAGE COLLECT
874.60/877.51 c #Conflicts: 640000 | #Constraints: 17136
874.60/877.51 c #Conflicts: 641000 | #Constraints: 18136
874.60/877.51 c #Conflicts: 642000 | #Constraints: 19136
874.60/877.51 c #Conflicts: 643000 | #Constraints: 20136
874.60/877.51 c #Conflicts: 644000 | #Constraints: 21136
874.60/877.51 c #Conflicts: 645000 | #Constraints: 22136
874.60/877.51 c #Conflicts: 646000 | #Constraints: 23136
874.60/877.51 c #Conflicts: 647000 | #Constraints: 24136
874.60/877.51 c #Conflicts: 648000 | #Constraints: 25136
874.60/877.51 c #Conflicts: 649000 | #Constraints: 26136
874.60/877.51 c #Conflicts: 650000 | #Constraints: 27136
874.60/877.51 c #Conflicts: 651000 | #Constraints: 28136
874.60/877.51 c #Conflicts: 652000 | #Constraints: 29136
874.60/877.51 c #Conflicts: 653000 | #Constraints: 30136
874.60/877.51 c #Conflicts: 654000 | #Constraints: 31136
874.60/877.51 c #Conflicts: 655000 | #Constraints: 32136
874.60/877.51 c INPROCESSING
874.60/877.51 c GARBAGE COLLECT
874.60/877.51 c #Conflicts: 656000 | #Constraints: 17131
874.60/877.51 c #Conflicts: 657000 | #Constraints: 18131
874.60/877.51 c #Conflicts: 658000 | #Constraints: 19131
874.60/877.51 c #Conflicts: 659000 | #Constraints: 20131
874.60/877.51 c #Conflicts: 660000 | #Constraints: 21131
874.60/877.51 c #Conflicts: 661000 | #Constraints: 22131
874.60/877.51 c #Conflicts: 662000 | #Constraints: 23131
874.60/877.51 c #Conflicts: 663000 | #Constraints: 24131
874.60/877.51 c #Conflicts: 664000 | #Constraints: 25131
981.81/985.06 c #Conflicts: 665000 | #Constraints: 26131
981.81/985.06 c #Conflicts: 666000 | #Constraints: 27131
981.81/985.06 c #Conflicts: 667000 | #Constraints: 28131
981.81/985.06 c #Conflicts: 668000 | #Constraints: 29131
981.81/985.06 c #Conflicts: 669000 | #Constraints: 30131
981.81/985.06 c #Conflicts: 670000 | #Constraints: 31131
981.81/985.06 c #Conflicts: 671000 | #Constraints: 32131
981.81/985.06 c INPROCESSING
981.81/985.06 c GARBAGE COLLECT
981.81/985.06 c #Conflicts: 672000 | #Constraints: 16931
981.81/985.06 c #Conflicts: 673000 | #Constraints: 17931
981.81/985.06 c #Conflicts: 674000 | #Constraints: 18931
981.81/985.06 c #Conflicts: 675000 | #Constraints: 19931
981.81/985.06 c #Conflicts: 676000 | #Constraints: 20931
981.81/985.06 c #Conflicts: 677000 | #Constraints: 21931
981.81/985.06 c #Conflicts: 678000 | #Constraints: 22931
981.81/985.06 c #Conflicts: 679000 | #Constraints: 23931
981.81/985.06 c #Conflicts: 680000 | #Constraints: 24931
981.81/985.06 c #Conflicts: 681000 | #Constraints: 25931
981.81/985.06 c #Conflicts: 682000 | #Constraints: 26931
981.81/985.06 c #Conflicts: 683000 | #Constraints: 27931
981.81/985.06 c #Conflicts: 684000 | #Constraints: 28931
981.81/985.06 c #Conflicts: 685000 | #Constraints: 29931
981.81/985.06 c #Conflicts: 686000 | #Constraints: 30931
981.81/985.06 c #Conflicts: 687000 | #Constraints: 31931
981.81/985.06 c #Conflicts: 688000 | #Constraints: 32931
981.81/985.06 c INPROCESSING
981.81/985.06 c GARBAGE COLLECT
981.81/985.06 c #Conflicts: 689000 | #Constraints: 17532
981.81/985.06 c #Conflicts: 690000 | #Constraints: 18532
981.81/985.06 c #Conflicts: 691000 | #Constraints: 19532
981.81/985.06 c #Conflicts: 692000 | #Constraints: 20532
981.81/985.06 c #Conflicts: 693000 | #Constraints: 21532
981.81/985.06 c #Conflicts: 694000 | #Constraints: 22532
981.81/985.06 c #Conflicts: 695000 | #Constraints: 23532
981.81/985.06 c #Conflicts: 696000 | #Constraints: 24532
981.81/985.06 c #Conflicts: 697000 | #Constraints: 25532
981.81/985.06 c #Conflicts: 698000 | #Constraints: 26532
981.81/985.06 c #Conflicts: 699000 | #Constraints: 27532
981.81/985.06 c #Conflicts: 700000 | #Constraints: 28532
981.81/985.06 c #Conflicts: 701000 | #Constraints: 29532
981.81/985.06 c #Conflicts: 702000 | #Constraints: 30532
981.81/985.06 c #Conflicts: 703000 | #Constraints: 31532
981.81/985.06 c #Conflicts: 704000 | #Constraints: 32532
981.81/985.06 c #Conflicts: 705000 | #Constraints: 33532
981.81/985.06 c INPROCESSING
981.81/985.06 c GARBAGE COLLECT
981.81/985.06 c #Conflicts: 706000 | #Constraints: 17930
981.81/985.06 c #Conflicts: 707000 | #Constraints: 18930
981.81/985.06 c #Conflicts: 708000 | #Constraints: 19930
981.81/985.06 c #Conflicts: 709000 | #Constraints: 20930
981.81/985.06 c #Conflicts: 710000 | #Constraints: 21930
981.81/985.06 c #Conflicts: 711000 | #Constraints: 22930
981.81/985.06 c #Conflicts: 712000 | #Constraints: 23930
981.81/985.06 c #Conflicts: 713000 | #Constraints: 24930
981.81/985.06 c #Conflicts: 714000 | #Constraints: 25930
981.81/985.06 c #Conflicts: 715000 | #Constraints: 26930
981.81/985.06 c #Conflicts: 716000 | #Constraints: 27930
981.81/985.06 c #Conflicts: 717000 | #Constraints: 28930
981.81/985.06 c #Conflicts: 718000 | #Constraints: 29930
981.81/985.06 c #Conflicts: 719000 | #Constraints: 30930
981.81/985.06 c #Conflicts: 720000 | #Constraints: 31930
981.81/985.06 c #Conflicts: 721000 | #Constraints: 32930
981.81/985.06 c #Conflicts: 722000 | #Constraints: 33930
981.81/985.06 c INPROCESSING
981.81/985.06 c GARBAGE COLLECT
981.81/985.06 c #Conflicts: 723000 | #Constraints: 18166
981.81/985.06 c #Conflicts: 724000 | #Constraints: 19166
981.81/985.06 c #Conflicts: 725000 | #Constraints: 20166
981.81/985.06 c #Conflicts: 726000 | #Constraints: 21166
981.81/985.06 c #Conflicts: 727000 | #Constraints: 22166
981.81/985.06 c #Conflicts: 728000 | #Constraints: 23166
981.81/985.06 c #Conflicts: 729000 | #Constraints: 24166
981.81/985.06 c #Conflicts: 730000 | #Constraints: 25166
981.81/985.06 c #Conflicts: 731000 | #Constraints: 26166
981.81/985.06 c #Conflicts: 732000 | #Constraints: 27166
981.81/985.06 c #Conflicts: 733000 | #Constraints: 28166
981.81/985.06 c #Conflicts: 734000 | #Constraints: 29166
981.81/985.06 c #Conflicts: 735000 | #Constraints: 30166
981.81/985.06 c #Conflicts: 736000 | #Constraints: 31166
981.81/985.06 c #Conflicts: 737000 | #Constraints: 32166
981.81/985.06 c #Conflicts: 738000 | #Constraints: 33166
981.81/985.06 c #Conflicts: 739000 | #Constraints: 34166
981.81/985.06 c INPROCESSING
981.81/985.06 c GARBAGE COLLECT
1084.02/1087.55 c #Conflicts: 740000 | #Constraints: 18153
1084.02/1087.55 c #Conflicts: 741000 | #Constraints: 19153
1084.02/1087.55 c #Conflicts: 742000 | #Constraints: 20153
1084.02/1087.55 c #Conflicts: 743000 | #Constraints: 21153
1084.02/1087.55 c #Conflicts: 744000 | #Constraints: 22153
1084.02/1087.55 c #Conflicts: 745000 | #Constraints: 23153
1084.02/1087.55 c #Conflicts: 746000 | #Constraints: 24153
1084.02/1087.55 c #Conflicts: 747000 | #Constraints: 25153
1084.02/1087.55 c #Conflicts: 748000 | #Constraints: 26153
1084.02/1087.55 c #Conflicts: 749000 | #Constraints: 27153
1084.02/1087.55 c #Conflicts: 750000 | #Constraints: 28153
1084.02/1087.55 c #Conflicts: 751000 | #Constraints: 29153
1084.02/1087.55 c #Conflicts: 752000 | #Constraints: 30153
1084.02/1087.55 c #Conflicts: 753000 | #Constraints: 31153
1084.02/1087.55 c #Conflicts: 754000 | #Constraints: 32153
1084.02/1087.55 c #Conflicts: 755000 | #Constraints: 33153
1084.02/1087.55 c #Conflicts: 756000 | #Constraints: 34153
1084.02/1087.55 c INPROCESSING
1084.02/1087.55 c GARBAGE COLLECT
1084.02/1087.55 c #Conflicts: 757000 | #Constraints: 17930
1084.02/1087.55 c #Conflicts: 758000 | #Constraints: 18930
1084.02/1087.55 c #Conflicts: 759000 | #Constraints: 19930
1084.02/1087.55 c #Conflicts: 760000 | #Constraints: 20930
1084.02/1087.55 c #Conflicts: 761000 | #Constraints: 21930
1084.02/1087.55 c #Conflicts: 762000 | #Constraints: 22930
1084.02/1087.55 c #Conflicts: 763000 | #Constraints: 23930
1084.02/1087.55 c #Conflicts: 764000 | #Constraints: 24930
1084.02/1087.55 c #Conflicts: 765000 | #Constraints: 25930
1084.02/1087.55 c #Conflicts: 766000 | #Constraints: 26930
1084.02/1087.55 c #Conflicts: 767000 | #Constraints: 27930
1084.02/1087.55 c #Conflicts: 768000 | #Constraints: 28930
1084.02/1087.55 c #Conflicts: 769000 | #Constraints: 29930
1084.02/1087.55 c #Conflicts: 770000 | #Constraints: 30930
1084.02/1087.55 c #Conflicts: 771000 | #Constraints: 31930
1084.02/1087.55 c #Conflicts: 772000 | #Constraints: 32930
1084.02/1087.55 c #Conflicts: 773000 | #Constraints: 33930
1084.02/1087.55 c #Conflicts: 774000 | #Constraints: 34930
1084.02/1087.55 c INPROCESSING
1084.02/1087.55 c GARBAGE COLLECT
1084.02/1087.55 c #Conflicts: 775000 | #Constraints: 18551
1084.02/1087.55 c #Conflicts: 776000 | #Constraints: 19551
1084.02/1087.55 c #Conflicts: 777000 | #Constraints: 20551
1084.02/1087.55 c #Conflicts: 778000 | #Constraints: 21551
1084.02/1087.55 c #Conflicts: 779000 | #Constraints: 22551
1084.02/1087.55 c #Conflicts: 780000 | #Constraints: 23551
1084.02/1087.55 c #Conflicts: 781000 | #Constraints: 24551
1084.02/1087.55 c #Conflicts: 782000 | #Constraints: 25551
1084.02/1087.55 c #Conflicts: 783000 | #Constraints: 26551
1084.02/1087.55 c #Conflicts: 784000 | #Constraints: 27551
1084.02/1087.55 c #Conflicts: 785000 | #Constraints: 28551
1084.02/1087.55 c #Conflicts: 786000 | #Constraints: 29551
1084.02/1087.55 c #Conflicts: 787000 | #Constraints: 30551
1084.02/1087.55 c #Conflicts: 788000 | #Constraints: 31551
1084.02/1087.55 c #Conflicts: 789000 | #Constraints: 32551
1084.02/1087.55 c #Conflicts: 790000 | #Constraints: 33551
1084.02/1087.55 c #Conflicts: 791000 | #Constraints: 34551
1084.02/1087.55 c #Conflicts: 792000 | #Constraints: 35551
1084.02/1087.55 c INPROCESSING
1084.02/1087.55 c GARBAGE COLLECT
1084.02/1087.55 c #Conflicts: 793000 | #Constraints: 18931
1084.02/1087.55 c #Conflicts: 794000 | #Constraints: 19931
1084.02/1087.55 c #Conflicts: 795000 | #Constraints: 20931
1084.02/1087.55 c #Conflicts: 796000 | #Constraints: 21931
1084.02/1087.55 c #Conflicts: 797000 | #Constraints: 22931
1084.02/1087.55 c #Conflicts: 798000 | #Constraints: 23931
1084.02/1087.55 c #Conflicts: 799000 | #Constraints: 24931
1084.02/1087.55 c #Conflicts: 800000 | #Constraints: 25931
1084.02/1087.55 c #Conflicts: 801000 | #Constraints: 26931
1084.02/1087.55 c #Conflicts: 802000 | #Constraints: 27931
1084.02/1087.55 c #Conflicts: 803000 | #Constraints: 28931
1084.02/1087.55 c #Conflicts: 804000 | #Constraints: 29931
1084.02/1087.55 c #Conflicts: 805000 | #Constraints: 30931
1084.02/1087.55 c #Conflicts: 806000 | #Constraints: 31931
1084.02/1087.55 c #Conflicts: 807000 | #Constraints: 32931
1084.02/1087.55 c #Conflicts: 808000 | #Constraints: 33931
1084.02/1087.55 c #Conflicts: 809000 | #Constraints: 34931
1084.02/1087.55 c #Conflicts: 810000 | #Constraints: 35931
1084.02/1087.55 c INPROCESSING
1084.02/1087.55 c GARBAGE COLLECT
1084.02/1087.55 c #Conflicts: 811000 | #Constraints: 19151
1084.02/1087.55 c #Conflicts: 812000 | #Constraints: 20151
1084.02/1087.55 c #Conflicts: 813000 | #Constraints: 21151
1084.02/1087.55 c #Conflicts: 814000 | #Constraints: 22151
1084.02/1087.55 c #Conflicts: 815000 | #Constraints: 23151
1084.02/1087.55 c #Conflicts: 816000 | #Constraints: 24151
1208.07/1211.99 c #Conflicts: 817000 | #Constraints: 25151
1208.07/1211.99 c #Conflicts: 818000 | #Constraints: 26151
1208.07/1211.99 c #Conflicts: 819000 | #Constraints: 27151
1208.07/1211.99 c #Conflicts: 820000 | #Constraints: 28151
1208.07/1211.99 c #Conflicts: 821000 | #Constraints: 29151
1208.07/1211.99 c #Conflicts: 822000 | #Constraints: 30151
1208.07/1211.99 c #Conflicts: 823000 | #Constraints: 31151
1208.07/1211.99 c #Conflicts: 824000 | #Constraints: 32151
1208.07/1211.99 c #Conflicts: 825000 | #Constraints: 33151
1208.07/1211.99 c #Conflicts: 826000 | #Constraints: 34151
1208.07/1211.99 c #Conflicts: 827000 | #Constraints: 35151
1208.07/1211.99 c #Conflicts: 828000 | #Constraints: 36151
1208.07/1211.99 c INPROCESSING
1208.07/1211.99 c GARBAGE COLLECT
1208.07/1211.99 c #Conflicts: 829000 | #Constraints: 19146
1208.07/1211.99 c #Conflicts: 830000 | #Constraints: 20146
1208.07/1211.99 c #Conflicts: 831000 | #Constraints: 21146
1208.07/1211.99 c #Conflicts: 832000 | #Constraints: 22146
1208.07/1211.99 c #Conflicts: 833000 | #Constraints: 23146
1208.07/1211.99 c #Conflicts: 834000 | #Constraints: 24146
1208.07/1211.99 c #Conflicts: 835000 | #Constraints: 25146
1208.07/1211.99 c #Conflicts: 836000 | #Constraints: 26146
1208.07/1211.99 c #Conflicts: 837000 | #Constraints: 27146
1208.07/1211.99 c #Conflicts: 838000 | #Constraints: 28146
1208.07/1211.99 c #Conflicts: 839000 | #Constraints: 29146
1208.07/1211.99 c #Conflicts: 840000 | #Constraints: 30146
1208.07/1211.99 c #Conflicts: 841000 | #Constraints: 31146
1208.07/1211.99 c #Conflicts: 842000 | #Constraints: 32146
1208.07/1211.99 c #Conflicts: 843000 | #Constraints: 33146
1208.07/1211.99 c #Conflicts: 844000 | #Constraints: 34146
1208.07/1211.99 c #Conflicts: 845000 | #Constraints: 35146
1208.07/1211.99 c #Conflicts: 846000 | #Constraints: 36146
1208.07/1211.99 c INPROCESSING
1208.07/1211.99 c GARBAGE COLLECT
1208.07/1211.99 c #Conflicts: 847000 | #Constraints: 18937
1208.07/1211.99 c #Conflicts: 848000 | #Constraints: 19937
1208.07/1211.99 c #Conflicts: 849000 | #Constraints: 20937
1208.07/1211.99 c #Conflicts: 850000 | #Constraints: 21937
1208.07/1211.99 c #Conflicts: 851000 | #Constraints: 22937
1208.07/1211.99 c #Conflicts: 852000 | #Constraints: 23937
1208.07/1211.99 c #Conflicts: 853000 | #Constraints: 24937
1208.07/1211.99 c #Conflicts: 854000 | #Constraints: 25937
1208.07/1211.99 c #Conflicts: 855000 | #Constraints: 26937
1208.07/1211.99 c #Conflicts: 856000 | #Constraints: 27937
1208.07/1211.99 c #Conflicts: 857000 | #Constraints: 28937
1208.07/1211.99 c #Conflicts: 858000 | #Constraints: 29937
1208.07/1211.99 c #Conflicts: 859000 | #Constraints: 30937
1208.07/1211.99 c #Conflicts: 860000 | #Constraints: 31937
1208.07/1211.99 c #Conflicts: 861000 | #Constraints: 32937
1208.07/1211.99 c #Conflicts: 862000 | #Constraints: 33937
1208.07/1211.99 c #Conflicts: 863000 | #Constraints: 34937
1208.07/1211.99 c #Conflicts: 864000 | #Constraints: 35937
1208.07/1211.99 c #Conflicts: 865000 | #Constraints: 36937
1208.07/1211.99 c INPROCESSING
1208.07/1211.99 c GARBAGE COLLECT
1208.07/1211.99 c #Conflicts: 866000 | #Constraints: 19522
1208.07/1211.99 c #Conflicts: 867000 | #Constraints: 20522
1208.07/1211.99 c #Conflicts: 868000 | #Constraints: 21522
1208.07/1211.99 c #Conflicts: 869000 | #Constraints: 22522
1208.07/1211.99 c #Conflicts: 870000 | #Constraints: 23522
1208.07/1211.99 c #Conflicts: 871000 | #Constraints: 24522
1208.07/1211.99 c #Conflicts: 872000 | #Constraints: 25522
1208.07/1211.99 c #Conflicts: 873000 | #Constraints: 26522
1208.07/1211.99 c #Conflicts: 874000 | #Constraints: 27522
1208.07/1211.99 c #Conflicts: 875000 | #Constraints: 28522
1208.07/1211.99 c #Conflicts: 876000 | #Constraints: 29522
1208.07/1211.99 c #Conflicts: 877000 | #Constraints: 30522
1208.07/1211.99 c #Conflicts: 878000 | #Constraints: 31522
1208.07/1211.99 c #Conflicts: 879000 | #Constraints: 32522
1208.07/1211.99 c #Conflicts: 880000 | #Constraints: 33522
1208.07/1211.99 c #Conflicts: 881000 | #Constraints: 34522
1208.07/1211.99 c #Conflicts: 882000 | #Constraints: 35522
1208.07/1211.99 c #Conflicts: 883000 | #Constraints: 36522
1208.07/1211.99 c #Conflicts: 884000 | #Constraints: 37522
1208.07/1211.99 c INPROCESSING
1208.07/1211.99 c GARBAGE COLLECT
1208.07/1211.99 c #Conflicts: 885000 | #Constraints: 19952
1208.07/1211.99 c #Conflicts: 886000 | #Constraints: 20952
1208.07/1211.99 c #Conflicts: 887000 | #Constraints: 21952
1208.07/1211.99 c #Conflicts: 888000 | #Constraints: 22952
1208.07/1211.99 c #Conflicts: 889000 | #Constraints: 23952
1208.07/1211.99 c #Conflicts: 890000 | #Constraints: 24952
1208.07/1211.99 c #Conflicts: 891000 | #Constraints: 25952
1208.07/1211.99 c #Conflicts: 892000 | #Constraints: 26952
1328.38/1332.50 c #Conflicts: 893000 | #Constraints: 27952
1328.38/1332.50 c #Conflicts: 894000 | #Constraints: 28952
1328.38/1332.50 c #Conflicts: 895000 | #Constraints: 29952
1328.38/1332.50 c #Conflicts: 896000 | #Constraints: 30952
1328.38/1332.50 c #Conflicts: 897000 | #Constraints: 31952
1328.38/1332.50 c #Conflicts: 898000 | #Constraints: 32952
1328.38/1332.50 c #Conflicts: 899000 | #Constraints: 33952
1328.38/1332.50 c #Conflicts: 900000 | #Constraints: 34952
1328.38/1332.50 c #Conflicts: 901000 | #Constraints: 35952
1328.38/1332.50 c #Conflicts: 902000 | #Constraints: 36952
1328.38/1332.50 c #Conflicts: 903000 | #Constraints: 37952
1328.38/1332.50 c INPROCESSING
1328.38/1332.50 c GARBAGE COLLECT
1328.38/1332.50 c #Conflicts: 904000 | #Constraints: 20149
1328.38/1332.50 c #Conflicts: 905000 | #Constraints: 21149
1328.38/1332.50 c #Conflicts: 906000 | #Constraints: 22149
1328.38/1332.50 c #Conflicts: 907000 | #Constraints: 23149
1328.38/1332.50 c #Conflicts: 908000 | #Constraints: 24149
1328.38/1332.50 c #Conflicts: 909000 | #Constraints: 25149
1328.38/1332.50 c #Conflicts: 910000 | #Constraints: 26149
1328.38/1332.50 c #Conflicts: 911000 | #Constraints: 27149
1328.38/1332.50 c #Conflicts: 912000 | #Constraints: 28149
1328.38/1332.50 c #Conflicts: 913000 | #Constraints: 29149
1328.38/1332.50 c #Conflicts: 914000 | #Constraints: 30149
1328.38/1332.50 c #Conflicts: 915000 | #Constraints: 31149
1328.38/1332.50 c #Conflicts: 916000 | #Constraints: 32149
1328.38/1332.50 c #Conflicts: 917000 | #Constraints: 33149
1328.38/1332.50 c #Conflicts: 918000 | #Constraints: 34149
1328.38/1332.50 c #Conflicts: 919000 | #Constraints: 35149
1328.38/1332.50 c #Conflicts: 920000 | #Constraints: 36149
1328.38/1332.50 c #Conflicts: 921000 | #Constraints: 37149
1328.38/1332.50 c #Conflicts: 922000 | #Constraints: 38149
1328.38/1332.50 c INPROCESSING
1328.38/1332.50 c GARBAGE COLLECT
1328.38/1332.50 c #Conflicts: 923000 | #Constraints: 20169
1328.38/1332.50 c #Conflicts: 924000 | #Constraints: 21169
1328.38/1332.50 c #Conflicts: 925000 | #Constraints: 22169
1328.38/1332.50 c #Conflicts: 926000 | #Constraints: 23169
1328.38/1332.50 c #Conflicts: 927000 | #Constraints: 24169
1328.38/1332.50 c #Conflicts: 928000 | #Constraints: 25169
1328.38/1332.50 c #Conflicts: 929000 | #Constraints: 26169
1328.38/1332.50 c #Conflicts: 930000 | #Constraints: 27169
1328.38/1332.50 c #Conflicts: 931000 | #Constraints: 28169
1328.38/1332.50 c #Conflicts: 932000 | #Constraints: 29169
1328.38/1332.50 c #Conflicts: 933000 | #Constraints: 30169
1328.38/1332.50 c #Conflicts: 934000 | #Constraints: 31169
1328.38/1332.50 c #Conflicts: 935000 | #Constraints: 32169
1328.38/1332.50 c #Conflicts: 936000 | #Constraints: 33169
1328.38/1332.50 c #Conflicts: 937000 | #Constraints: 34169
1328.38/1332.50 c #Conflicts: 938000 | #Constraints: 35169
1328.38/1332.50 c #Conflicts: 939000 | #Constraints: 36169
1328.38/1332.50 c #Conflicts: 940000 | #Constraints: 37169
1328.38/1332.50 c #Conflicts: 941000 | #Constraints: 38169
1328.38/1332.50 c INPROCESSING
1328.38/1332.50 c GARBAGE COLLECT
1328.38/1332.50 c #Conflicts: 942000 | #Constraints: 19980
1328.38/1332.50 c #Conflicts: 943000 | #Constraints: 20980
1328.38/1332.50 c #Conflicts: 944000 | #Constraints: 21980
1328.38/1332.50 c #Conflicts: 945000 | #Constraints: 22980
1328.38/1332.50 c #Conflicts: 946000 | #Constraints: 23980
1328.38/1332.50 c #Conflicts: 947000 | #Constraints: 24980
1328.38/1332.50 c #Conflicts: 948000 | #Constraints: 25980
1328.38/1332.50 c #Conflicts: 949000 | #Constraints: 26980
1328.38/1332.50 c #Conflicts: 950000 | #Constraints: 27980
1328.38/1332.50 c #Conflicts: 951000 | #Constraints: 28980
1328.38/1332.50 c #Conflicts: 952000 | #Constraints: 29980
1328.38/1332.50 c #Conflicts: 953000 | #Constraints: 30980
1328.38/1332.50 c #Conflicts: 954000 | #Constraints: 31980
1328.38/1332.50 c #Conflicts: 955000 | #Constraints: 32980
1328.38/1332.50 c #Conflicts: 956000 | #Constraints: 33980
1328.38/1332.50 c #Conflicts: 957000 | #Constraints: 34980
1328.38/1332.50 c #Conflicts: 958000 | #Constraints: 35980
1328.38/1332.50 c #Conflicts: 959000 | #Constraints: 36980
1328.38/1332.50 c #Conflicts: 960000 | #Constraints: 37980
1328.38/1332.50 c #Conflicts: 961000 | #Constraints: 38980
1328.38/1332.50 c INPROCESSING
1328.38/1332.50 c GARBAGE COLLECT
1328.38/1332.50 c #Conflicts: 962000 | #Constraints: 20582
1328.38/1332.50 c #Conflicts: 963000 | #Constraints: 21582
1328.38/1332.50 c #Conflicts: 964000 | #Constraints: 22582
1328.38/1332.50 c #Conflicts: 965000 | #Constraints: 23582
1328.38/1332.50 c #Conflicts: 966000 | #Constraints: 24582
1328.38/1332.50 c #Conflicts: 967000 | #Constraints: 25582
1328.38/1332.50 c #Conflicts: 968000 | #Constraints: 26582
1492.82/1497.43 c #Conflicts: 969000 | #Constraints: 27582
1492.82/1497.43 c #Conflicts: 970000 | #Constraints: 28582
1492.82/1497.43 c #Conflicts: 971000 | #Constraints: 29582
1492.82/1497.43 c #Conflicts: 972000 | #Constraints: 30582
1492.82/1497.43 c #Conflicts: 973000 | #Constraints: 31582
1492.82/1497.43 c #Conflicts: 974000 | #Constraints: 32582
1492.82/1497.43 c #Conflicts: 975000 | #Constraints: 33582
1492.82/1497.43 c #Conflicts: 976000 | #Constraints: 34582
1492.82/1497.43 c #Conflicts: 977000 | #Constraints: 35582
1492.82/1497.43 c #Conflicts: 978000 | #Constraints: 36582
1492.82/1497.43 c #Conflicts: 979000 | #Constraints: 37582
1492.82/1497.43 c #Conflicts: 980000 | #Constraints: 38582
1492.82/1497.43 c #Conflicts: 981000 | #Constraints: 39582
1492.82/1497.43 c INPROCESSING
1492.82/1497.43 c GARBAGE COLLECT
1492.82/1497.43 c #Conflicts: 982000 | #Constraints: 21001
1492.82/1497.43 c #Conflicts: 983000 | #Constraints: 22001
1492.82/1497.43 c #Conflicts: 984000 | #Constraints: 23001
1492.82/1497.43 c #Conflicts: 985000 | #Constraints: 24001
1492.82/1497.43 c #Conflicts: 986000 | #Constraints: 25001
1492.82/1497.43 c #Conflicts: 987000 | #Constraints: 26001
1492.82/1497.43 c #Conflicts: 988000 | #Constraints: 27001
1492.82/1497.43 c #Conflicts: 989000 | #Constraints: 28001
1492.82/1497.43 c #Conflicts: 990000 | #Constraints: 29001
1492.82/1497.43 c #Conflicts: 991000 | #Constraints: 30001
1492.82/1497.43 c #Conflicts: 992000 | #Constraints: 31001
1492.82/1497.43 c #Conflicts: 993000 | #Constraints: 32001
1492.82/1497.43 c #Conflicts: 994000 | #Constraints: 33001
1492.82/1497.43 c #Conflicts: 995000 | #Constraints: 34001
1492.82/1497.43 c #Conflicts: 996000 | #Constraints: 35001
1492.82/1497.43 c #Conflicts: 997000 | #Constraints: 36001
1492.82/1497.43 c #Conflicts: 998000 | #Constraints: 37001
1492.82/1497.43 c #Conflicts: 999000 | #Constraints: 38001
1492.82/1497.43 c #Conflicts: 1000000 | #Constraints: 39001
1492.82/1497.43 c #Conflicts: 1001000 | #Constraints: 40001
1492.82/1497.43 c INPROCESSING
1492.82/1497.43 c GARBAGE COLLECT
1492.82/1497.43 c #Conflicts: 1002000 | #Constraints: 21185
1492.82/1497.43 c #Conflicts: 1003000 | #Constraints: 22185
1492.82/1497.43 c #Conflicts: 1004000 | #Constraints: 23185
1492.82/1497.43 c #Conflicts: 1005000 | #Constraints: 24185
1492.82/1497.43 c #Conflicts: 1006000 | #Constraints: 25185
1492.82/1497.43 c #Conflicts: 1007000 | #Constraints: 26185
1492.82/1497.43 c #Conflicts: 1008000 | #Constraints: 27185
1492.82/1497.43 c #Conflicts: 1009000 | #Constraints: 28185
1492.82/1497.43 c #Conflicts: 1010000 | #Constraints: 29185
1492.82/1497.43 c #Conflicts: 1011000 | #Constraints: 30185
1492.82/1497.43 c #Conflicts: 1012000 | #Constraints: 31185
1492.82/1497.43 c #Conflicts: 1013000 | #Constraints: 32185
1492.82/1497.43 c #Conflicts: 1014000 | #Constraints: 33185
1492.82/1497.43 c #Conflicts: 1015000 | #Constraints: 34185
1492.82/1497.43 c #Conflicts: 1016000 | #Constraints: 35185
1492.82/1497.43 c #Conflicts: 1017000 | #Constraints: 36185
1492.82/1497.43 c #Conflicts: 1018000 | #Constraints: 37185
1492.82/1497.43 c #Conflicts: 1019000 | #Constraints: 38185
1492.82/1497.43 c #Conflicts: 1020000 | #Constraints: 39185
1492.82/1497.43 c #Conflicts: 1021000 | #Constraints: 40185
1492.82/1497.43 c INPROCESSING
1492.82/1497.43 c GARBAGE COLLECT
1492.82/1497.43 c #Conflicts: 1022000 | #Constraints: 21177
1492.82/1497.43 c #Conflicts: 1023000 | #Constraints: 22177
1492.82/1497.43 c #Conflicts: 1024000 | #Constraints: 23177
1492.82/1497.43 c #Conflicts: 1025000 | #Constraints: 24177
1492.82/1497.43 c #Conflicts: 1026000 | #Constraints: 25177
1492.82/1497.43 c #Conflicts: 1027000 | #Constraints: 26177
1492.82/1497.43 c #Conflicts: 1028000 | #Constraints: 27177
1492.82/1497.43 c #Conflicts: 1029000 | #Constraints: 28177
1492.82/1497.43 c #Conflicts: 1030000 | #Constraints: 29177
1492.82/1497.43 c #Conflicts: 1031000 | #Constraints: 30177
1492.82/1497.43 c #Conflicts: 1032000 | #Constraints: 31177
1492.82/1497.43 c #Conflicts: 1033000 | #Constraints: 32177
1492.82/1497.43 c #Conflicts: 1034000 | #Constraints: 33177
1492.82/1497.43 c #Conflicts: 1035000 | #Constraints: 34177
1492.82/1497.43 c #Conflicts: 1036000 | #Constraints: 35177
1492.82/1497.43 c #Conflicts: 1037000 | #Constraints: 36177
1492.82/1497.43 c #Conflicts: 1038000 | #Constraints: 37177
1492.82/1497.43 c #Conflicts: 1039000 | #Constraints: 38177
1492.82/1497.43 c #Conflicts: 1040000 | #Constraints: 39177
1492.82/1497.43 c #Conflicts: 1041000 | #Constraints: 40177
1492.82/1497.43 c INPROCESSING
1492.82/1497.43 c GARBAGE COLLECT
1492.82/1497.43 c #Conflicts: 1042000 | #Constraints: 20973
1492.82/1497.43 c #Conflicts: 1043000 | #Constraints: 21973
1492.82/1497.43 c #Conflicts: 1044000 | #Constraints: 22973
1652.90/1657.95 c #Conflicts: 1045000 | #Constraints: 23973
1652.90/1657.95 c #Conflicts: 1046000 | #Constraints: 24973
1652.90/1657.95 c #Conflicts: 1047000 | #Constraints: 25973
1652.90/1657.95 c #Conflicts: 1048000 | #Constraints: 26973
1652.90/1657.95 c #Conflicts: 1049000 | #Constraints: 27973
1652.90/1657.95 c #Conflicts: 1050000 | #Constraints: 28973
1652.90/1657.95 c #Conflicts: 1051000 | #Constraints: 29973
1652.90/1657.95 c #Conflicts: 1052000 | #Constraints: 30973
1652.90/1657.95 c #Conflicts: 1053000 | #Constraints: 31973
1652.90/1657.95 c #Conflicts: 1054000 | #Constraints: 32973
1652.90/1657.95 c #Conflicts: 1055000 | #Constraints: 33973
1652.90/1657.95 c #Conflicts: 1056000 | #Constraints: 34973
1652.90/1657.95 c #Conflicts: 1057000 | #Constraints: 35973
1652.90/1657.95 c #Conflicts: 1058000 | #Constraints: 36973
1652.90/1657.95 c #Conflicts: 1059000 | #Constraints: 37973
1652.90/1657.95 c #Conflicts: 1060000 | #Constraints: 38973
1652.90/1657.95 c #Conflicts: 1061000 | #Constraints: 39973
1652.90/1657.95 c #Conflicts: 1062000 | #Constraints: 40973
1652.90/1657.95 c INPROCESSING
1652.90/1657.95 c GARBAGE COLLECT
1652.90/1657.95 c #Conflicts: 1063000 | #Constraints: 21581
1652.90/1657.95 c #Conflicts: 1064000 | #Constraints: 22581
1652.90/1657.95 c #Conflicts: 1065000 | #Constraints: 23581
1652.90/1657.95 c #Conflicts: 1066000 | #Constraints: 24581
1652.90/1657.95 c #Conflicts: 1067000 | #Constraints: 25581
1652.90/1657.95 c #Conflicts: 1068000 | #Constraints: 26581
1652.90/1657.95 c #Conflicts: 1069000 | #Constraints: 27581
1652.90/1657.95 c #Conflicts: 1070000 | #Constraints: 28581
1652.90/1657.95 c #Conflicts: 1071000 | #Constraints: 29581
1652.90/1657.95 c #Conflicts: 1072000 | #Constraints: 30581
1652.90/1657.95 c #Conflicts: 1073000 | #Constraints: 31581
1652.90/1657.95 c #Conflicts: 1074000 | #Constraints: 32581
1652.90/1657.95 c #Conflicts: 1075000 | #Constraints: 33581
1652.90/1657.95 c #Conflicts: 1076000 | #Constraints: 34581
1652.90/1657.95 c #Conflicts: 1077000 | #Constraints: 35581
1652.90/1657.95 c #Conflicts: 1078000 | #Constraints: 36581
1652.90/1657.95 c #Conflicts: 1079000 | #Constraints: 37581
1652.90/1657.95 c #Conflicts: 1080000 | #Constraints: 38581
1652.90/1657.95 c #Conflicts: 1081000 | #Constraints: 39581
1652.90/1657.95 c #Conflicts: 1082000 | #Constraints: 40581
1652.90/1657.95 c #Conflicts: 1083000 | #Constraints: 41581
1652.90/1657.95 c INPROCESSING
1652.90/1657.95 c GARBAGE COLLECT
1652.90/1657.95 c #Conflicts: 1084000 | #Constraints: 21976
1652.90/1657.95 c #Conflicts: 1085000 | #Constraints: 22976
1652.90/1657.95 c #Conflicts: 1086000 | #Constraints: 23976
1652.90/1657.95 c #Conflicts: 1087000 | #Constraints: 24976
1652.90/1657.95 c #Conflicts: 1088000 | #Constraints: 25976
1652.90/1657.95 c #Conflicts: 1089000 | #Constraints: 26976
1652.90/1657.95 c #Conflicts: 1090000 | #Constraints: 27976
1652.90/1657.95 c #Conflicts: 1091000 | #Constraints: 28976
1652.90/1657.95 c #Conflicts: 1092000 | #Constraints: 29976
1652.90/1657.95 c #Conflicts: 1093000 | #Constraints: 30976
1652.90/1657.95 c #Conflicts: 1094000 | #Constraints: 31976
1652.90/1657.95 c #Conflicts: 1095000 | #Constraints: 32976
1652.90/1657.95 c #Conflicts: 1096000 | #Constraints: 33976
1652.90/1657.95 c #Conflicts: 1097000 | #Constraints: 34976
1652.90/1657.95 c #Conflicts: 1098000 | #Constraints: 35976
1652.90/1657.95 c #Conflicts: 1099000 | #Constraints: 36976
1652.90/1657.95 c #Conflicts: 1100000 | #Constraints: 37976
1652.90/1657.95 c #Conflicts: 1101000 | #Constraints: 38976
1652.90/1657.95 c #Conflicts: 1102000 | #Constraints: 39976
1652.90/1657.95 c #Conflicts: 1103000 | #Constraints: 40976
1652.90/1657.95 c #Conflicts: 1104000 | #Constraints: 41976
1652.90/1657.95 c INPROCESSING
1652.90/1657.95 c GARBAGE COLLECT
1652.90/1657.95 c #Conflicts: 1105000 | #Constraints: 22185
1652.90/1657.95 c #Conflicts: 1106000 | #Constraints: 23185
1652.90/1657.95 c #Conflicts: 1107000 | #Constraints: 24185
1652.90/1657.95 c #Conflicts: 1108000 | #Constraints: 25185
1652.90/1657.95 c #Conflicts: 1109000 | #Constraints: 26185
1652.90/1657.95 c #Conflicts: 1110000 | #Constraints: 27185
1652.90/1657.95 c #Conflicts: 1111000 | #Constraints: 28185
1652.90/1657.95 c #Conflicts: 1112000 | #Constraints: 29185
1652.90/1657.95 c #Conflicts: 1113000 | #Constraints: 30185
1652.90/1657.95 c #Conflicts: 1114000 | #Constraints: 31185
1652.90/1657.95 c #Conflicts: 1115000 | #Constraints: 32185
1652.90/1657.95 c #Conflicts: 1116000 | #Constraints: 33185
1652.90/1657.95 c #Conflicts: 1117000 | #Constraints: 34185
1652.90/1657.95 c #Conflicts: 1118000 | #Constraints: 35185
1652.90/1657.95 c #Conflicts: 1119000 | #Constraints: 36185
1652.90/1657.95 c #Conflicts: 1120000 | #Constraints: 37185
1652.90/1657.95 c #Conflicts: 1121000 | #Constraints: 38185
1783.68/1789.02 c #Conflicts: 1122000 | #Constraints: 39185
1783.68/1789.02 c #Conflicts: 1123000 | #Constraints: 40185
1783.68/1789.02 c #Conflicts: 1124000 | #Constraints: 41185
1783.68/1789.02 c #Conflicts: 1125000 | #Constraints: 42185
1783.68/1789.02 c INPROCESSING
1783.68/1789.02 c GARBAGE COLLECT
1783.68/1789.02 c #Conflicts: 1126000 | #Constraints: 22188
1783.68/1789.02 c #Conflicts: 1127000 | #Constraints: 23188
1783.68/1789.02 c #Conflicts: 1128000 | #Constraints: 24188
1783.68/1789.02 c #Conflicts: 1129000 | #Constraints: 25188
1783.68/1789.02 c #Conflicts: 1130000 | #Constraints: 26188
1783.68/1789.02 c #Conflicts: 1131000 | #Constraints: 27188
1783.68/1789.02 c #Conflicts: 1132000 | #Constraints: 28188
1783.68/1789.02 c #Conflicts: 1133000 | #Constraints: 29188
1783.68/1789.02 c #Conflicts: 1134000 | #Constraints: 30188
1783.68/1789.02 c #Conflicts: 1135000 | #Constraints: 31188
1783.68/1789.02 c #Conflicts: 1136000 | #Constraints: 32188
1783.68/1789.02 c #Conflicts: 1137000 | #Constraints: 33188
1783.68/1789.02 c #Conflicts: 1138000 | #Constraints: 34188
1783.68/1789.02 c #Conflicts: 1139000 | #Constraints: 35188
1783.68/1789.02 c #Conflicts: 1140000 | #Constraints: 36188
1783.68/1789.02 c #Conflicts: 1141000 | #Constraints: 37188
1783.68/1789.02 c #Conflicts: 1142000 | #Constraints: 38188
1783.68/1789.02 c #Conflicts: 1143000 | #Constraints: 39188
1783.68/1789.02 c #Conflicts: 1144000 | #Constraints: 40188
1783.68/1789.02 c #Conflicts: 1145000 | #Constraints: 41188
1783.68/1789.02 c #Conflicts: 1146000 | #Constraints: 42188
1783.68/1789.02 c INPROCESSING
1783.68/1789.02 c GARBAGE COLLECT
1783.68/1789.02 c #Conflicts: 1147000 | #Constraints: 21972
1783.68/1789.02 c #Conflicts: 1148000 | #Constraints: 22972
1783.68/1789.02 c #Conflicts: 1149000 | #Constraints: 23972
1783.68/1789.02 c #Conflicts: 1150000 | #Constraints: 24972
1783.68/1789.02 c #Conflicts: 1151000 | #Constraints: 25972
1783.68/1789.02 c #Conflicts: 1152000 | #Constraints: 26972
1783.68/1789.02 c #Conflicts: 1153000 | #Constraints: 27972
1783.68/1789.02 c #Conflicts: 1154000 | #Constraints: 28972
1783.68/1789.02 c #Conflicts: 1155000 | #Constraints: 29972
1783.68/1789.02 c #Conflicts: 1156000 | #Constraints: 30972
1783.68/1789.02 c #Conflicts: 1157000 | #Constraints: 31972
1783.68/1789.02 c #Conflicts: 1158000 | #Constraints: 32972
1783.68/1789.02 c #Conflicts: 1159000 | #Constraints: 33972
1783.68/1789.02 c #Conflicts: 1160000 | #Constraints: 34972
1783.68/1789.02 c #Conflicts: 1161000 | #Constraints: 35972
1783.68/1789.02 c #Conflicts: 1162000 | #Constraints: 36972
1783.68/1789.02 c #Conflicts: 1163000 | #Constraints: 37972
1783.68/1789.02 c #Conflicts: 1164000 | #Constraints: 38972
1783.68/1789.02 c #Conflicts: 1165000 | #Constraints: 39972
1783.68/1789.02 c #Conflicts: 1166000 | #Constraints: 40972
1783.68/1789.02 c #Conflicts: 1167000 | #Constraints: 41972
1783.68/1789.02 c #Conflicts: 1168000 | #Constraints: 42972
1783.68/1789.02 c INPROCESSING
1783.68/1789.02 c GARBAGE COLLECT
1783.68/1789.02 c #Conflicts: 1169000 | #Constraints: 22570
1783.68/1789.02 c #Conflicts: 1170000 | #Constraints: 23570
1783.68/1789.02 c #Conflicts: 1171000 | #Constraints: 24570
1783.68/1789.02 c #Conflicts: 1172000 | #Constraints: 25570
1783.68/1789.02 c #Conflicts: 1173000 | #Constraints: 26570
1783.68/1789.02 c #Conflicts: 1174000 | #Constraints: 27570
1783.68/1789.02 c #Conflicts: 1175000 | #Constraints: 28570
1783.68/1789.02 c #Conflicts: 1176000 | #Constraints: 29570
1783.68/1789.02 c #Conflicts: 1177000 | #Constraints: 30570
1783.68/1789.02 c #Conflicts: 1178000 | #Constraints: 31570
1783.68/1789.02 c #Conflicts: 1179000 | #Constraints: 32570
1783.68/1789.02 c #Conflicts: 1180000 | #Constraints: 33570
1783.68/1789.02 c #Conflicts: 1181000 | #Constraints: 34570
1783.68/1789.02 c #Conflicts: 1182000 | #Constraints: 35570
1783.68/1789.02 c #Conflicts: 1183000 | #Constraints: 36570
1783.68/1789.02 c #Conflicts: 1184000 | #Constraints: 37570
1783.68/1789.02 c #Conflicts: 1185000 | #Constraints: 38570
1783.68/1789.02 c #Conflicts: 1186000 | #Constraints: 39570
1783.68/1789.02 c #Conflicts: 1187000 | #Constraints: 40570
1783.68/1789.02 c #Conflicts: 1188000 | #Constraints: 41570
1783.68/1789.02 c #Conflicts: 1189000 | #Constraints: 42570
1783.68/1789.02 c #Conflicts: 1190000 | #Constraints: 43570
1783.68/1789.02 c INPROCESSING
1783.68/1789.02 c GARBAGE COLLECT
1783.68/1789.02 c #Conflicts: 1191000 | #Constraints: 22981
1783.68/1789.02 c #Conflicts: 1192000 | #Constraints: 23981
1783.68/1789.02 c #Conflicts: 1193000 | #Constraints: 24981
1783.68/1789.02 c #Conflicts: 1194000 | #Constraints: 25981
1783.68/1789.02 c #Conflicts: 1195000 | #Constraints: 26981
1783.68/1789.02 c #Conflicts: 1196000 | #Constraints: 27981
1783.68/1789.02 c #Conflicts: 1197000 | #Constraints: 28981
1927.39/1933.11 c #Conflicts: 1198000 | #Constraints: 29981
1927.39/1933.11 c #Conflicts: 1199000 | #Constraints: 30981
1927.39/1933.11 c #Conflicts: 1200000 | #Constraints: 31981
1927.39/1933.11 c #Conflicts: 1201000 | #Constraints: 32981
1927.39/1933.11 c #Conflicts: 1202000 | #Constraints: 33981
1927.39/1933.11 c #Conflicts: 1203000 | #Constraints: 34981
1927.39/1933.11 c #Conflicts: 1204000 | #Constraints: 35981
1927.39/1933.11 c #Conflicts: 1205000 | #Constraints: 36981
1927.39/1933.11 c #Conflicts: 1206000 | #Constraints: 37981
1927.39/1933.11 c #Conflicts: 1207000 | #Constraints: 38981
1927.39/1933.11 c #Conflicts: 1208000 | #Constraints: 39981
1927.39/1933.11 c #Conflicts: 1209000 | #Constraints: 40981
1927.39/1933.11 c #Conflicts: 1210000 | #Constraints: 41981
1927.39/1933.11 c #Conflicts: 1211000 | #Constraints: 42981
1927.39/1933.11 c #Conflicts: 1212000 | #Constraints: 43981
1927.39/1933.11 c INPROCESSING
1927.39/1933.11 c GARBAGE COLLECT
1927.39/1933.11 c #Conflicts: 1213000 | #Constraints: 23165
1927.39/1933.11 c #Conflicts: 1214000 | #Constraints: 24165
1927.39/1933.11 c #Conflicts: 1215000 | #Constraints: 25165
1927.39/1933.11 c #Conflicts: 1216000 | #Constraints: 26165
1927.39/1933.11 c #Conflicts: 1217000 | #Constraints: 27165
1927.39/1933.11 c #Conflicts: 1218000 | #Constraints: 28165
1927.39/1933.11 c #Conflicts: 1219000 | #Constraints: 29165
1927.39/1933.11 c #Conflicts: 1220000 | #Constraints: 30165
1927.39/1933.11 c #Conflicts: 1221000 | #Constraints: 31165
1927.39/1933.11 c #Conflicts: 1222000 | #Constraints: 32165
1927.39/1933.11 c #Conflicts: 1223000 | #Constraints: 33165
1927.39/1933.11 c #Conflicts: 1224000 | #Constraints: 34165
1927.39/1933.11 c #Conflicts: 1225000 | #Constraints: 35165
1927.39/1933.11 c #Conflicts: 1226000 | #Constraints: 36165
1927.39/1933.11 c #Conflicts: 1227000 | #Constraints: 37165
1927.39/1933.11 c #Conflicts: 1228000 | #Constraints: 38165
1927.39/1933.11 c #Conflicts: 1229000 | #Constraints: 39165
1927.39/1933.11 c #Conflicts: 1230000 | #Constraints: 40165
1927.39/1933.11 c #Conflicts: 1231000 | #Constraints: 41165
1927.39/1933.11 c #Conflicts: 1232000 | #Constraints: 42165
1927.39/1933.11 c #Conflicts: 1233000 | #Constraints: 43165
1927.39/1933.11 c #Conflicts: 1234000 | #Constraints: 44165
1927.39/1933.11 c INPROCESSING
1927.39/1933.11 c GARBAGE COLLECT
1927.39/1933.11 c #Conflicts: 1235000 | #Constraints: 23169
1927.39/1933.11 c #Conflicts: 1236000 | #Constraints: 24169
1927.39/1933.11 c #Conflicts: 1237000 | #Constraints: 25169
1927.39/1933.11 c #Conflicts: 1238000 | #Constraints: 26169
1927.39/1933.11 c #Conflicts: 1239000 | #Constraints: 27169
1927.39/1933.11 c #Conflicts: 1240000 | #Constraints: 28169
1927.39/1933.11 c #Conflicts: 1241000 | #Constraints: 29169
1927.39/1933.11 c #Conflicts: 1242000 | #Constraints: 30169
1927.39/1933.11 c #Conflicts: 1243000 | #Constraints: 31169
1927.39/1933.11 c #Conflicts: 1244000 | #Constraints: 32169
1927.39/1933.11 c #Conflicts: 1245000 | #Constraints: 33169
1927.39/1933.11 c #Conflicts: 1246000 | #Constraints: 34169
1927.39/1933.11 c #Conflicts: 1247000 | #Constraints: 35169
1927.39/1933.11 c #Conflicts: 1248000 | #Constraints: 36169
1927.39/1933.11 c #Conflicts: 1249000 | #Constraints: 37169
1927.39/1933.11 c #Conflicts: 1250000 | #Constraints: 38169
1927.39/1933.11 c #Conflicts: 1251000 | #Constraints: 39169
1927.39/1933.11 c #Conflicts: 1252000 | #Constraints: 40169
1927.39/1933.11 c #Conflicts: 1253000 | #Constraints: 41169
1927.39/1933.11 c #Conflicts: 1254000 | #Constraints: 42169
1927.39/1933.11 c #Conflicts: 1255000 | #Constraints: 43169
1927.39/1933.11 c #Conflicts: 1256000 | #Constraints: 44169
1927.39/1933.11 c INPROCESSING
1927.39/1933.11 c GARBAGE COLLECT
1927.39/1933.11 c #Conflicts: 1257000 | #Constraints: 22987
1927.39/1933.11 c #Conflicts: 1258000 | #Constraints: 23987
1927.39/1933.11 c #Conflicts: 1259000 | #Constraints: 24987
1927.39/1933.11 c #Conflicts: 1260000 | #Constraints: 25987
1927.39/1933.11 c #Conflicts: 1261000 | #Constraints: 26987
1927.39/1933.11 c #Conflicts: 1262000 | #Constraints: 27987
1927.39/1933.11 c #Conflicts: 1263000 | #Constraints: 28987
1927.39/1933.11 c #Conflicts: 1264000 | #Constraints: 29987
1927.39/1933.11 c #Conflicts: 1265000 | #Constraints: 30987
1927.39/1933.11 c #Conflicts: 1266000 | #Constraints: 31987
1927.39/1933.11 c #Conflicts: 1267000 | #Constraints: 32987
1927.39/1933.11 c #Conflicts: 1268000 | #Constraints: 33987
1927.39/1933.11 c #Conflicts: 1269000 | #Constraints: 34987
1927.39/1933.11 c #Conflicts: 1270000 | #Constraints: 35987
1927.39/1933.11 c #Conflicts: 1271000 | #Constraints: 36987
1927.39/1933.11 c #Conflicts: 1272000 | #Constraints: 37987
1927.39/1933.11 c #Conflicts: 1273000 | #Constraints: 38987
1927.39/1933.11 c #Conflicts: 1274000 | #Constraints: 39987
2089.93/2096.13 c #Conflicts: 1275000 | #Constraints: 40987
2089.93/2096.13 c #Conflicts: 1276000 | #Constraints: 41987
2089.93/2096.13 c #Conflicts: 1277000 | #Constraints: 42987
2089.93/2096.13 c #Conflicts: 1278000 | #Constraints: 43987
2089.93/2096.13 c #Conflicts: 1279000 | #Constraints: 44987
2089.93/2096.13 c INPROCESSING
2089.93/2096.13 c GARBAGE COLLECT
2089.93/2096.13 c #Conflicts: 1280000 | #Constraints: 23583
2089.93/2096.13 c #Conflicts: 1281000 | #Constraints: 24583
2089.93/2096.13 c #Conflicts: 1282000 | #Constraints: 25583
2089.93/2096.13 c #Conflicts: 1283000 | #Constraints: 26583
2089.93/2096.13 c #Conflicts: 1284000 | #Constraints: 27583
2089.93/2096.13 c #Conflicts: 1285000 | #Constraints: 28583
2089.93/2096.13 c #Conflicts: 1286000 | #Constraints: 29583
2089.93/2096.13 c #Conflicts: 1287000 | #Constraints: 30583
2089.93/2096.13 c #Conflicts: 1288000 | #Constraints: 31583
2089.93/2096.13 c #Conflicts: 1289000 | #Constraints: 32583
2089.93/2096.13 c #Conflicts: 1290000 | #Constraints: 33583
2089.93/2096.13 c #Conflicts: 1291000 | #Constraints: 34583
2089.93/2096.13 c #Conflicts: 1292000 | #Constraints: 35583
2089.93/2096.13 c #Conflicts: 1293000 | #Constraints: 36583
2089.93/2096.13 c #Conflicts: 1294000 | #Constraints: 37583
2089.93/2096.13 c #Conflicts: 1295000 | #Constraints: 38583
2089.93/2096.13 c #Conflicts: 1296000 | #Constraints: 39583
2089.93/2096.13 c #Conflicts: 1297000 | #Constraints: 40583
2089.93/2096.13 c #Conflicts: 1298000 | #Constraints: 41583
2089.93/2096.13 c #Conflicts: 1299000 | #Constraints: 42583
2089.93/2096.13 c #Conflicts: 1300000 | #Constraints: 43583
2089.93/2096.13 c #Conflicts: 1301000 | #Constraints: 44583
2089.93/2096.13 c #Conflicts: 1302000 | #Constraints: 45583
2089.93/2096.13 c INPROCESSING
2089.93/2096.13 c GARBAGE COLLECT
2089.93/2096.13 c #Conflicts: 1303000 | #Constraints: 23981
2089.93/2096.13 c #Conflicts: 1304000 | #Constraints: 24981
2089.93/2096.13 c #Conflicts: 1305000 | #Constraints: 25981
2089.93/2096.13 c #Conflicts: 1306000 | #Constraints: 26981
2089.93/2096.13 c #Conflicts: 1307000 | #Constraints: 27981
2089.93/2096.13 c #Conflicts: 1308000 | #Constraints: 28981
2089.93/2096.13 c #Conflicts: 1309000 | #Constraints: 29981
2089.93/2096.13 c #Conflicts: 1310000 | #Constraints: 30981
2089.93/2096.13 c #Conflicts: 1311000 | #Constraints: 31981
2089.93/2096.13 c #Conflicts: 1312000 | #Constraints: 32981
2089.93/2096.13 c #Conflicts: 1313000 | #Constraints: 33981
2089.93/2096.13 c #Conflicts: 1314000 | #Constraints: 34981
2089.93/2096.13 c #Conflicts: 1315000 | #Constraints: 35981
2089.93/2096.13 c #Conflicts: 1316000 | #Constraints: 36981
2089.93/2096.13 c #Conflicts: 1317000 | #Constraints: 37981
2089.93/2096.13 c #Conflicts: 1318000 | #Constraints: 38981
2089.93/2096.13 c #Conflicts: 1319000 | #Constraints: 39981
2089.93/2096.13 c #Conflicts: 1320000 | #Constraints: 40981
2089.93/2096.13 c #Conflicts: 1321000 | #Constraints: 41981
2089.93/2096.13 c #Conflicts: 1322000 | #Constraints: 42981
2089.93/2096.13 c #Conflicts: 1323000 | #Constraints: 43981
2089.93/2096.13 c #Conflicts: 1324000 | #Constraints: 44981
2089.93/2096.13 c #Conflicts: 1325000 | #Constraints: 45981
2089.93/2096.13 c INPROCESSING
2089.93/2096.13 c GARBAGE COLLECT
2089.93/2096.13 c #Conflicts: 1326000 | #Constraints: 24199
2089.93/2096.13 c #Conflicts: 1327000 | #Constraints: 25199
2089.93/2096.13 c #Conflicts: 1328000 | #Constraints: 26199
2089.93/2096.13 c #Conflicts: 1329000 | #Constraints: 27199
2089.93/2096.13 c #Conflicts: 1330000 | #Constraints: 28199
2089.93/2096.13 c #Conflicts: 1331000 | #Constraints: 29199
2089.93/2096.13 c #Conflicts: 1332000 | #Constraints: 30199
2089.93/2096.13 c #Conflicts: 1333000 | #Constraints: 31199
2089.93/2096.13 c #Conflicts: 1334000 | #Constraints: 32199
2089.93/2096.13 c #Conflicts: 1335000 | #Constraints: 33199
2089.93/2096.13 c #Conflicts: 1336000 | #Constraints: 34199
2089.93/2096.13 c #Conflicts: 1337000 | #Constraints: 35199
2089.93/2096.13 c #Conflicts: 1338000 | #Constraints: 36199
2089.93/2096.13 c #Conflicts: 1339000 | #Constraints: 37199
2089.93/2096.13 c #Conflicts: 1340000 | #Constraints: 38199
2089.93/2096.13 c #Conflicts: 1341000 | #Constraints: 39199
2089.93/2096.13 c #Conflicts: 1342000 | #Constraints: 40199
2089.93/2096.13 c #Conflicts: 1343000 | #Constraints: 41199
2089.93/2096.13 c #Conflicts: 1344000 | #Constraints: 42199
2089.93/2096.13 c #Conflicts: 1345000 | #Constraints: 43199
2089.93/2096.13 c #Conflicts: 1346000 | #Constraints: 44199
2089.93/2096.13 c #Conflicts: 1347000 | #Constraints: 45199
2089.93/2096.13 c #Conflicts: 1348000 | #Constraints: 46199
2089.93/2096.13 c INPROCESSING
2089.93/2096.13 c GARBAGE COLLECT
2089.93/2096.13 c #Conflicts: 1349000 | #Constraints: 24184
2089.93/2096.13 c #Conflicts: 1350000 | #Constraints: 25184
2249.22/2255.82 c #Conflicts: 1351000 | #Constraints: 26184
2249.22/2255.82 c #Conflicts: 1352000 | #Constraints: 27184
2249.22/2255.82 c #Conflicts: 1353000 | #Constraints: 28184
2249.22/2255.82 c #Conflicts: 1354000 | #Constraints: 29184
2249.22/2255.82 c #Conflicts: 1355000 | #Constraints: 30184
2249.22/2255.82 c #Conflicts: 1356000 | #Constraints: 31184
2249.22/2255.82 c #Conflicts: 1357000 | #Constraints: 32184
2249.22/2255.82 c #Conflicts: 1358000 | #Constraints: 33184
2249.22/2255.82 c #Conflicts: 1359000 | #Constraints: 34184
2249.22/2255.82 c #Conflicts: 1360000 | #Constraints: 35184
2249.22/2255.82 c #Conflicts: 1361000 | #Constraints: 36184
2249.22/2255.82 c #Conflicts: 1362000 | #Constraints: 37184
2249.22/2255.82 c #Conflicts: 1363000 | #Constraints: 38184
2249.22/2255.82 c #Conflicts: 1364000 | #Constraints: 39184
2249.22/2255.82 c #Conflicts: 1365000 | #Constraints: 40184
2249.22/2255.82 c #Conflicts: 1366000 | #Constraints: 41184
2249.22/2255.82 c #Conflicts: 1367000 | #Constraints: 42184
2249.22/2255.82 c #Conflicts: 1368000 | #Constraints: 43184
2249.22/2255.82 c #Conflicts: 1369000 | #Constraints: 44184
2249.22/2255.82 c #Conflicts: 1370000 | #Constraints: 45184
2249.22/2255.82 c #Conflicts: 1371000 | #Constraints: 46184
2249.22/2255.82 c INPROCESSING
2249.22/2255.82 c GARBAGE COLLECT
2249.22/2255.82 c #Conflicts: 1372000 | #Constraints: 23994
2249.22/2255.82 c #Conflicts: 1373000 | #Constraints: 24994
2249.22/2255.82 c #Conflicts: 1374000 | #Constraints: 25994
2249.22/2255.82 c #Conflicts: 1375000 | #Constraints: 26994
2249.22/2255.82 c #Conflicts: 1376000 | #Constraints: 27994
2249.22/2255.82 c #Conflicts: 1377000 | #Constraints: 28994
2249.22/2255.82 c #Conflicts: 1378000 | #Constraints: 29994
2249.22/2255.82 c #Conflicts: 1379000 | #Constraints: 30994
2249.22/2255.82 c #Conflicts: 1380000 | #Constraints: 31994
2249.22/2255.82 c #Conflicts: 1381000 | #Constraints: 32994
2249.22/2255.82 c #Conflicts: 1382000 | #Constraints: 33994
2249.22/2255.82 c #Conflicts: 1383000 | #Constraints: 34994
2249.22/2255.82 c #Conflicts: 1384000 | #Constraints: 35994
2249.22/2255.82 c #Conflicts: 1385000 | #Constraints: 36994
2249.22/2255.82 c #Conflicts: 1386000 | #Constraints: 37994
2249.22/2255.82 c #Conflicts: 1387000 | #Constraints: 38994
2249.22/2255.82 c #Conflicts: 1388000 | #Constraints: 39994
2249.22/2255.82 c #Conflicts: 1389000 | #Constraints: 40994
2249.22/2255.82 c #Conflicts: 1390000 | #Constraints: 41994
2249.22/2255.82 c #Conflicts: 1391000 | #Constraints: 42994
2249.22/2255.82 c #Conflicts: 1392000 | #Constraints: 43994
2249.22/2255.82 c #Conflicts: 1393000 | #Constraints: 44994
2249.22/2255.82 c #Conflicts: 1394000 | #Constraints: 45994
2249.22/2255.82 c #Conflicts: 1395000 | #Constraints: 46994
2249.22/2255.82 c INPROCESSING
2249.22/2255.82 c GARBAGE COLLECT
2249.22/2255.82 c #Conflicts: 1396000 | #Constraints: 24604
2249.22/2255.82 c #Conflicts: 1397000 | #Constraints: 25604
2249.22/2255.82 c #Conflicts: 1398000 | #Constraints: 26604
2249.22/2255.82 c #Conflicts: 1399000 | #Constraints: 27604
2249.22/2255.82 c #Conflicts: 1400000 | #Constraints: 28604
2249.22/2255.82 c #Conflicts: 1401000 | #Constraints: 29604
2249.22/2255.82 c #Conflicts: 1402000 | #Constraints: 30604
2249.22/2255.82 c #Conflicts: 1403000 | #Constraints: 31604
2249.22/2255.82 c #Conflicts: 1404000 | #Constraints: 32604
2249.22/2255.82 c #Conflicts: 1405000 | #Constraints: 33604
2249.22/2255.82 c #Conflicts: 1406000 | #Constraints: 34604
2249.22/2255.82 c #Conflicts: 1407000 | #Constraints: 35604
2249.22/2255.82 c #Conflicts: 1408000 | #Constraints: 36604
2249.22/2255.82 c #Conflicts: 1409000 | #Constraints: 37604
2249.22/2255.82 c #Conflicts: 1410000 | #Constraints: 38604
2249.22/2255.82 c #Conflicts: 1411000 | #Constraints: 39604
2249.22/2255.82 c #Conflicts: 1412000 | #Constraints: 40604
2249.22/2255.82 c #Conflicts: 1413000 | #Constraints: 41604
2249.22/2255.82 c #Conflicts: 1414000 | #Constraints: 42604
2249.22/2255.82 c #Conflicts: 1415000 | #Constraints: 43604
2249.22/2255.82 c #Conflicts: 1416000 | #Constraints: 44604
2249.22/2255.82 c #Conflicts: 1417000 | #Constraints: 45604
2249.22/2255.82 c #Conflicts: 1418000 | #Constraints: 46604
2249.22/2255.82 c #Conflicts: 1419000 | #Constraints: 47604
2249.22/2255.82 c INPROCESSING
2249.22/2255.82 c GARBAGE COLLECT
2249.22/2255.82 c #Conflicts: 1420000 | #Constraints: 24982
2249.22/2255.82 c #Conflicts: 1421000 | #Constraints: 25982
2249.22/2255.82 c #Conflicts: 1422000 | #Constraints: 26982
2249.22/2255.82 c #Conflicts: 1423000 | #Constraints: 27982
2249.22/2255.82 c #Conflicts: 1424000 | #Constraints: 28982
2249.22/2255.82 c #Conflicts: 1425000 | #Constraints: 29982
2249.22/2255.82 c #Conflicts: 1426000 | #Constraints: 30982
2249.22/2255.82 c #Conflicts: 1427000 | #Constraints: 31982
2397.16/2404.11 c #Conflicts: 1428000 | #Constraints: 32982
2397.16/2404.11 c #Conflicts: 1429000 | #Constraints: 33982
2397.16/2404.11 c #Conflicts: 1430000 | #Constraints: 34982
2397.16/2404.11 c #Conflicts: 1431000 | #Constraints: 35982
2397.16/2404.11 c #Conflicts: 1432000 | #Constraints: 36982
2397.16/2404.11 c #Conflicts: 1433000 | #Constraints: 37982
2397.16/2404.11 c #Conflicts: 1434000 | #Constraints: 38982
2397.16/2404.11 c #Conflicts: 1435000 | #Constraints: 39982
2397.16/2404.11 c #Conflicts: 1436000 | #Constraints: 40982
2397.16/2404.11 c #Conflicts: 1437000 | #Constraints: 41982
2397.16/2404.11 c #Conflicts: 1438000 | #Constraints: 42982
2397.16/2404.11 c #Conflicts: 1439000 | #Constraints: 43982
2397.16/2404.11 c #Conflicts: 1440000 | #Constraints: 44982
2397.16/2404.11 c #Conflicts: 1441000 | #Constraints: 45982
2397.16/2404.11 c #Conflicts: 1442000 | #Constraints: 46982
2397.16/2404.11 c #Conflicts: 1443000 | #Constraints: 47982
2397.16/2404.11 c INPROCESSING
2397.16/2404.11 c GARBAGE COLLECT
2397.16/2404.11 c #Conflicts: 1444000 | #Constraints: 25169
2397.16/2404.11 c #Conflicts: 1445000 | #Constraints: 26169
2397.16/2404.11 c #Conflicts: 1446000 | #Constraints: 27169
2397.16/2404.11 c #Conflicts: 1447000 | #Constraints: 28169
2397.16/2404.11 c #Conflicts: 1448000 | #Constraints: 29169
2397.16/2404.11 c #Conflicts: 1449000 | #Constraints: 30169
2397.16/2404.11 c #Conflicts: 1450000 | #Constraints: 31169
2397.16/2404.11 c #Conflicts: 1451000 | #Constraints: 32169
2397.16/2404.11 c #Conflicts: 1452000 | #Constraints: 33169
2397.16/2404.11 c #Conflicts: 1453000 | #Constraints: 34169
2397.16/2404.11 c #Conflicts: 1454000 | #Constraints: 35169
2397.16/2404.11 c #Conflicts: 1455000 | #Constraints: 36169
2397.16/2404.11 c #Conflicts: 1456000 | #Constraints: 37169
2397.16/2404.11 c #Conflicts: 1457000 | #Constraints: 38169
2397.16/2404.11 c #Conflicts: 1458000 | #Constraints: 39169
2397.16/2404.11 c #Conflicts: 1459000 | #Constraints: 40169
2397.16/2404.11 c #Conflicts: 1460000 | #Constraints: 41169
2397.16/2404.11 c #Conflicts: 1461000 | #Constraints: 42169
2397.16/2404.11 c #Conflicts: 1462000 | #Constraints: 43169
2397.16/2404.11 c #Conflicts: 1463000 | #Constraints: 44169
2397.16/2404.11 c #Conflicts: 1464000 | #Constraints: 45169
2397.16/2404.11 c #Conflicts: 1465000 | #Constraints: 46169
2397.16/2404.11 c #Conflicts: 1466000 | #Constraints: 47169
2397.16/2404.11 c #Conflicts: 1467000 | #Constraints: 48169
2397.16/2404.11 c INPROCESSING
2397.16/2404.11 c GARBAGE COLLECT
2397.16/2404.11 c #Conflicts: 1468000 | #Constraints: 25160
2397.16/2404.11 c #Conflicts: 1469000 | #Constraints: 26160
2397.16/2404.11 c #Conflicts: 1470000 | #Constraints: 27160
2397.16/2404.11 c #Conflicts: 1471000 | #Constraints: 28160
2397.16/2404.11 c #Conflicts: 1472000 | #Constraints: 29160
2397.16/2404.11 c #Conflicts: 1473000 | #Constraints: 30160
2397.16/2404.11 c #Conflicts: 1474000 | #Constraints: 31160
2397.16/2404.11 c #Conflicts: 1475000 | #Constraints: 32160
2397.16/2404.11 c #Conflicts: 1476000 | #Constraints: 33160
2397.16/2404.11 c #Conflicts: 1477000 | #Constraints: 34160
2397.16/2404.11 c #Conflicts: 1478000 | #Constraints: 35160
2397.16/2404.11 c #Conflicts: 1479000 | #Constraints: 36160
2397.16/2404.11 c #Conflicts: 1480000 | #Constraints: 37160
2397.16/2404.11 c #Conflicts: 1481000 | #Constraints: 38160
2397.16/2404.11 c #Conflicts: 1482000 | #Constraints: 39160
2397.16/2404.11 c #Conflicts: 1483000 | #Constraints: 40160
2397.16/2404.11 c #Conflicts: 1484000 | #Constraints: 41160
2397.16/2404.11 c #Conflicts: 1485000 | #Constraints: 42160
2397.16/2404.11 c #Conflicts: 1486000 | #Constraints: 43160
2397.16/2404.11 c #Conflicts: 1487000 | #Constraints: 44160
2397.16/2404.11 c #Conflicts: 1488000 | #Constraints: 45160
2397.16/2404.11 c #Conflicts: 1489000 | #Constraints: 46160
2397.16/2404.11 c #Conflicts: 1490000 | #Constraints: 47160
2397.16/2404.11 c #Conflicts: 1491000 | #Constraints: 48160
2397.16/2404.11 c INPROCESSING
2397.16/2404.11 c GARBAGE COLLECT
2397.16/2404.11 c #Conflicts: 1492000 | #Constraints: 24945
2397.16/2404.11 c #Conflicts: 1493000 | #Constraints: 25945
2397.16/2404.11 c #Conflicts: 1494000 | #Constraints: 26945
2397.16/2404.11 c #Conflicts: 1495000 | #Constraints: 27945
2397.16/2404.11 c #Conflicts: 1496000 | #Constraints: 28945
2397.16/2404.11 c #Conflicts: 1497000 | #Constraints: 29945
2397.16/2404.11 c #Conflicts: 1498000 | #Constraints: 30945
2397.16/2404.11 c #Conflicts: 1499000 | #Constraints: 31945
2397.16/2404.11 c #Conflicts: 1500000 | #Constraints: 32945
2397.16/2404.11 c #Conflicts: 1501000 | #Constraints: 33945
2397.16/2404.11 c #Conflicts: 1502000 | #Constraints: 34945
2397.16/2404.11 c #Conflicts: 1503000 | #Constraints: 35945
2397.16/2404.11 c #Conflicts: 1504000 | #Constraints: 36945
2608.73/2616.22 c #Conflicts: 1505000 | #Constraints: 37945
2608.73/2616.22 c #Conflicts: 1506000 | #Constraints: 38945
2608.73/2616.22 c #Conflicts: 1507000 | #Constraints: 39945
2608.73/2616.22 c #Conflicts: 1508000 | #Constraints: 40945
2608.73/2616.22 c #Conflicts: 1509000 | #Constraints: 41945
2608.73/2616.22 c #Conflicts: 1510000 | #Constraints: 42945
2608.73/2616.22 c #Conflicts: 1511000 | #Constraints: 43945
2608.73/2616.22 c #Conflicts: 1512000 | #Constraints: 44945
2608.73/2616.22 c #Conflicts: 1513000 | #Constraints: 45945
2608.73/2616.22 c #Conflicts: 1514000 | #Constraints: 46945
2608.73/2616.22 c #Conflicts: 1515000 | #Constraints: 47945
2608.73/2616.22 c #Conflicts: 1516000 | #Constraints: 48945
2608.73/2616.22 c INPROCESSING
2608.73/2616.22 c GARBAGE COLLECT
2608.73/2616.22 c #Conflicts: 1517000 | #Constraints: 25549
2608.73/2616.22 c #Conflicts: 1518000 | #Constraints: 26549
2608.73/2616.22 c #Conflicts: 1519000 | #Constraints: 27549
2608.73/2616.22 c #Conflicts: 1520000 | #Constraints: 28549
2608.73/2616.22 c #Conflicts: 1521000 | #Constraints: 29549
2608.73/2616.22 c #Conflicts: 1522000 | #Constraints: 30549
2608.73/2616.22 c #Conflicts: 1523000 | #Constraints: 31549
2608.73/2616.22 c #Conflicts: 1524000 | #Constraints: 32549
2608.73/2616.22 c #Conflicts: 1525000 | #Constraints: 33549
2608.73/2616.22 c #Conflicts: 1526000 | #Constraints: 34549
2608.73/2616.22 c #Conflicts: 1527000 | #Constraints: 35549
2608.73/2616.22 c #Conflicts: 1528000 | #Constraints: 36549
2608.73/2616.22 c #Conflicts: 1529000 | #Constraints: 37549
2608.73/2616.22 c #Conflicts: 1530000 | #Constraints: 38549
2608.73/2616.22 c #Conflicts: 1531000 | #Constraints: 39549
2608.73/2616.22 c #Conflicts: 1532000 | #Constraints: 40549
2608.73/2616.22 c #Conflicts: 1533000 | #Constraints: 41549
2608.73/2616.22 c #Conflicts: 1534000 | #Constraints: 42549
2608.73/2616.22 c #Conflicts: 1535000 | #Constraints: 43549
2608.73/2616.22 c #Conflicts: 1536000 | #Constraints: 44549
2608.73/2616.22 c #Conflicts: 1537000 | #Constraints: 45549
2608.73/2616.22 c #Conflicts: 1538000 | #Constraints: 46549
2608.73/2616.22 c #Conflicts: 1539000 | #Constraints: 47549
2608.73/2616.22 c #Conflicts: 1540000 | #Constraints: 48549
2608.73/2616.22 c #Conflicts: 1541000 | #Constraints: 49549
2608.73/2616.22 c INPROCESSING
2608.73/2616.22 c GARBAGE COLLECT
2608.73/2616.22 c #Conflicts: 1542000 | #Constraints: 25977
2608.73/2616.22 c #Conflicts: 1543000 | #Constraints: 26977
2608.73/2616.22 c #Conflicts: 1544000 | #Constraints: 27977
2608.73/2616.22 c #Conflicts: 1545000 | #Constraints: 28977
2608.73/2616.22 c #Conflicts: 1546000 | #Constraints: 29977
2608.73/2616.22 c #Conflicts: 1547000 | #Constraints: 30977
2608.73/2616.22 c #Conflicts: 1548000 | #Constraints: 31977
2608.73/2616.22 c #Conflicts: 1549000 | #Constraints: 32977
2608.73/2616.22 c #Conflicts: 1550000 | #Constraints: 33977
2608.73/2616.22 c #Conflicts: 1551000 | #Constraints: 34977
2608.73/2616.22 c #Conflicts: 1552000 | #Constraints: 35977
2608.73/2616.22 c #Conflicts: 1553000 | #Constraints: 36977
2608.73/2616.22 c #Conflicts: 1554000 | #Constraints: 37977
2608.73/2616.22 c #Conflicts: 1555000 | #Constraints: 38977
2608.73/2616.22 c #Conflicts: 1556000 | #Constraints: 39977
2608.73/2616.22 c #Conflicts: 1557000 | #Constraints: 40977
2608.73/2616.22 c #Conflicts: 1558000 | #Constraints: 41977
2608.73/2616.22 c #Conflicts: 1559000 | #Constraints: 42977
2608.73/2616.22 c #Conflicts: 1560000 | #Constraints: 43977
2608.73/2616.22 c #Conflicts: 1561000 | #Constraints: 44977
2608.73/2616.22 c #Conflicts: 1562000 | #Constraints: 45977
2608.73/2616.22 c #Conflicts: 1563000 | #Constraints: 46977
2608.73/2616.22 c #Conflicts: 1564000 | #Constraints: 47977
2608.73/2616.22 c #Conflicts: 1565000 | #Constraints: 48977
2608.73/2616.22 c #Conflicts: 1566000 | #Constraints: 49977
2608.73/2616.22 c INPROCESSING
2608.73/2616.22 c GARBAGE COLLECT
2608.73/2616.22 c #Conflicts: 1567000 | #Constraints: 26179
2608.73/2616.22 c #Conflicts: 1568000 | #Constraints: 27179
2608.73/2616.22 c #Conflicts: 1569000 | #Constraints: 28179
2608.73/2616.22 c #Conflicts: 1570000 | #Constraints: 29179
2608.73/2616.22 c #Conflicts: 1571000 | #Constraints: 30179
2608.73/2616.22 c #Conflicts: 1572000 | #Constraints: 31179
2608.73/2616.22 c #Conflicts: 1573000 | #Constraints: 32179
2608.73/2616.22 c #Conflicts: 1574000 | #Constraints: 33179
2608.73/2616.22 c #Conflicts: 1575000 | #Constraints: 34179
2608.73/2616.22 c #Conflicts: 1576000 | #Constraints: 35179
2608.73/2616.22 c #Conflicts: 1577000 | #Constraints: 36179
2608.73/2616.22 c #Conflicts: 1578000 | #Constraints: 37179
2608.73/2616.22 c #Conflicts: 1579000 | #Constraints: 38179
2608.73/2616.22 c #Conflicts: 1580000 | #Constraints: 39179
2608.73/2616.22 c #Conflicts: 1581000 | #Constraints: 40179
2846.47/2854.65 c #Conflicts: 1582000 | #Constraints: 41179
2846.47/2854.65 c #Conflicts: 1583000 | #Constraints: 42179
2846.47/2854.65 c #Conflicts: 1584000 | #Constraints: 43179
2846.47/2854.65 c #Conflicts: 1585000 | #Constraints: 44179
2846.47/2854.65 c #Conflicts: 1586000 | #Constraints: 45179
2846.47/2854.65 c #Conflicts: 1587000 | #Constraints: 46179
2846.47/2854.65 c #Conflicts: 1588000 | #Constraints: 47179
2846.47/2854.65 c #Conflicts: 1589000 | #Constraints: 48179
2846.47/2854.65 c #Conflicts: 1590000 | #Constraints: 49179
2846.47/2854.65 c #Conflicts: 1591000 | #Constraints: 50179
2846.47/2854.65 c INPROCESSING
2846.47/2854.65 c GARBAGE COLLECT
2846.47/2854.65 c #Conflicts: 1592000 | #Constraints: 26169
2846.47/2854.65 c #Conflicts: 1593000 | #Constraints: 27169
2846.47/2854.65 c #Conflicts: 1594000 | #Constraints: 28169
2846.47/2854.65 c #Conflicts: 1595000 | #Constraints: 29169
2846.47/2854.65 c #Conflicts: 1596000 | #Constraints: 30169
2846.47/2854.65 c #Conflicts: 1597000 | #Constraints: 31169
2846.47/2854.65 c #Conflicts: 1598000 | #Constraints: 32169
2846.47/2854.65 c #Conflicts: 1599000 | #Constraints: 33169
2846.47/2854.65 c #Conflicts: 1600000 | #Constraints: 34169
2846.47/2854.65 c #Conflicts: 1601000 | #Constraints: 35169
2846.47/2854.65 c #Conflicts: 1602000 | #Constraints: 36169
2846.47/2854.65 c #Conflicts: 1603000 | #Constraints: 37169
2846.47/2854.65 c #Conflicts: 1604000 | #Constraints: 38169
2846.47/2854.65 c #Conflicts: 1605000 | #Constraints: 39169
2846.47/2854.65 c #Conflicts: 1606000 | #Constraints: 40169
2846.47/2854.65 c #Conflicts: 1607000 | #Constraints: 41169
2846.47/2854.65 c #Conflicts: 1608000 | #Constraints: 42169
2846.47/2854.65 c #Conflicts: 1609000 | #Constraints: 43169
2846.47/2854.65 c #Conflicts: 1610000 | #Constraints: 44169
2846.47/2854.65 c #Conflicts: 1611000 | #Constraints: 45169
2846.47/2854.65 c #Conflicts: 1612000 | #Constraints: 46169
2846.47/2854.65 c #Conflicts: 1613000 | #Constraints: 47169
2846.47/2854.65 c #Conflicts: 1614000 | #Constraints: 48169
2846.47/2854.65 c #Conflicts: 1615000 | #Constraints: 49169
2846.47/2854.65 c #Conflicts: 1616000 | #Constraints: 50169
2846.47/2854.65 c INPROCESSING
2846.47/2854.65 c GARBAGE COLLECT
2846.47/2854.65 c #Conflicts: 1617000 | #Constraints: 25962
2846.47/2854.65 c #Conflicts: 1618000 | #Constraints: 26962
2846.47/2854.65 c #Conflicts: 1619000 | #Constraints: 27962
2846.47/2854.65 c #Conflicts: 1620000 | #Constraints: 28962
2846.47/2854.65 c #Conflicts: 1621000 | #Constraints: 29962
2846.47/2854.65 c #Conflicts: 1622000 | #Constraints: 30962
2846.47/2854.65 c #Conflicts: 1623000 | #Constraints: 31962
2846.47/2854.65 c #Conflicts: 1624000 | #Constraints: 32962
2846.47/2854.65 c #Conflicts: 1625000 | #Constraints: 33962
2846.47/2854.65 c #Conflicts: 1626000 | #Constraints: 34962
2846.47/2854.65 c #Conflicts: 1627000 | #Constraints: 35962
2846.47/2854.65 c #Conflicts: 1628000 | #Constraints: 36962
2846.47/2854.65 c #Conflicts: 1629000 | #Constraints: 37962
2846.47/2854.65 c #Conflicts: 1630000 | #Constraints: 38962
2846.47/2854.65 c #Conflicts: 1631000 | #Constraints: 39962
2846.47/2854.65 c #Conflicts: 1632000 | #Constraints: 40962
2846.47/2854.65 c #Conflicts: 1633000 | #Constraints: 41962
2846.47/2854.65 c #Conflicts: 1634000 | #Constraints: 42962
2846.47/2854.65 c #Conflicts: 1635000 | #Constraints: 43962
2846.47/2854.65 c #Conflicts: 1636000 | #Constraints: 44962
2846.47/2854.65 c #Conflicts: 1637000 | #Constraints: 45962
2846.47/2854.65 c #Conflicts: 1638000 | #Constraints: 46962
2846.47/2854.65 c #Conflicts: 1639000 | #Constraints: 47962
2846.47/2854.65 c #Conflicts: 1640000 | #Constraints: 48962
2846.47/2854.65 c #Conflicts: 1641000 | #Constraints: 49962
2846.47/2854.65 c #Conflicts: 1642000 | #Constraints: 50962
2846.47/2854.65 c INPROCESSING
2846.47/2854.65 c GARBAGE COLLECT
2846.47/2854.65 c #Conflicts: 1643000 | #Constraints: 26556
2846.47/2854.65 c #Conflicts: 1644000 | #Constraints: 27556
2846.47/2854.65 c #Conflicts: 1645000 | #Constraints: 28556
2846.47/2854.65 c #Conflicts: 1646000 | #Constraints: 29556
2846.47/2854.65 c #Conflicts: 1647000 | #Constraints: 30556
2846.47/2854.65 c #Conflicts: 1648000 | #Constraints: 31556
2846.47/2854.65 c #Conflicts: 1649000 | #Constraints: 32556
2846.47/2854.65 c #Conflicts: 1650000 | #Constraints: 33556
2846.47/2854.65 c #Conflicts: 1651000 | #Constraints: 34556
2846.47/2854.65 c #Conflicts: 1652000 | #Constraints: 35556
2846.47/2854.65 c #Conflicts: 1653000 | #Constraints: 36556
2846.47/2854.65 c #Conflicts: 1654000 | #Constraints: 37556
2846.47/2854.65 c #Conflicts: 1655000 | #Constraints: 38556
2846.47/2854.65 c #Conflicts: 1656000 | #Constraints: 39556
2846.47/2854.65 c #Conflicts: 1657000 | #Constraints: 40556
2846.47/2854.65 c #Conflicts: 1658000 | #Constraints: 41556
3012.34/3020.93 c #Conflicts: 1659000 | #Constraints: 42556
3012.34/3020.93 c #Conflicts: 1660000 | #Constraints: 43556
3012.34/3020.93 c #Conflicts: 1661000 | #Constraints: 44556
3012.34/3020.93 c #Conflicts: 1662000 | #Constraints: 45556
3012.34/3020.93 c #Conflicts: 1663000 | #Constraints: 46556
3012.34/3020.93 c #Conflicts: 1664000 | #Constraints: 47556
3012.34/3020.93 c #Conflicts: 1665000 | #Constraints: 48556
3012.34/3020.93 c #Conflicts: 1666000 | #Constraints: 49556
3012.34/3020.93 c #Conflicts: 1667000 | #Constraints: 50556
3012.34/3020.93 c #Conflicts: 1668000 | #Constraints: 51556
3012.34/3020.93 c INPROCESSING
3012.34/3020.93 c GARBAGE COLLECT
3012.34/3020.93 c #Conflicts: 1669000 | #Constraints: 26948
3012.34/3020.93 c #Conflicts: 1670000 | #Constraints: 27948
3012.34/3020.93 c #Conflicts: 1671000 | #Constraints: 28948
3012.34/3020.93 c #Conflicts: 1672000 | #Constraints: 29948
3012.34/3020.93 c #Conflicts: 1673000 | #Constraints: 30948
3012.34/3020.93 c #Conflicts: 1674000 | #Constraints: 31948
3012.34/3020.93 c #Conflicts: 1675000 | #Constraints: 32948
3012.34/3020.93 c #Conflicts: 1676000 | #Constraints: 33948
3012.34/3020.93 c #Conflicts: 1677000 | #Constraints: 34948
3012.34/3020.93 c #Conflicts: 1678000 | #Constraints: 35948
3012.34/3020.93 c #Conflicts: 1679000 | #Constraints: 36948
3012.34/3020.93 c #Conflicts: 1680000 | #Constraints: 37948
3012.34/3020.93 c #Conflicts: 1681000 | #Constraints: 38948
3012.34/3020.93 c #Conflicts: 1682000 | #Constraints: 39948
3012.34/3020.93 c #Conflicts: 1683000 | #Constraints: 40948
3012.34/3020.93 c #Conflicts: 1684000 | #Constraints: 41948
3012.34/3020.93 c #Conflicts: 1685000 | #Constraints: 42948
3012.34/3020.93 c #Conflicts: 1686000 | #Constraints: 43948
3012.34/3020.93 c #Conflicts: 1687000 | #Constraints: 44948
3012.34/3020.93 c #Conflicts: 1688000 | #Constraints: 45948
3012.34/3020.93 c #Conflicts: 1689000 | #Constraints: 46948
3012.34/3020.93 c #Conflicts: 1690000 | #Constraints: 47948
3012.34/3020.93 c #Conflicts: 1691000 | #Constraints: 48948
3012.34/3020.93 c #Conflicts: 1692000 | #Constraints: 49948
3012.34/3020.93 c #Conflicts: 1693000 | #Constraints: 50948
3012.34/3020.93 c #Conflicts: 1694000 | #Constraints: 51948
3012.34/3020.93 c INPROCESSING
3012.34/3020.93 c GARBAGE COLLECT
3012.34/3020.93 c #Conflicts: 1695000 | #Constraints: 27148
3012.34/3020.93 c #Conflicts: 1696000 | #Constraints: 28148
3012.34/3020.93 c #Conflicts: 1697000 | #Constraints: 29148
3012.34/3020.93 c #Conflicts: 1698000 | #Constraints: 30148
3012.34/3020.93 c #Conflicts: 1699000 | #Constraints: 31148
3012.34/3020.93 c #Conflicts: 1700000 | #Constraints: 32148
3012.34/3020.93 c #Conflicts: 1701000 | #Constraints: 33148
3012.34/3020.93 c #Conflicts: 1702000 | #Constraints: 34148
3012.34/3020.93 c #Conflicts: 1703000 | #Constraints: 35148
3012.34/3020.93 c #Conflicts: 1704000 | #Constraints: 36148
3012.34/3020.93 c #Conflicts: 1705000 | #Constraints: 37148
3012.34/3020.93 c #Conflicts: 1706000 | #Constraints: 38148
3012.34/3020.93 c #Conflicts: 1707000 | #Constraints: 39148
3012.34/3020.93 c #Conflicts: 1708000 | #Constraints: 40148
3012.34/3020.93 c #Conflicts: 1709000 | #Constraints: 41148
3012.34/3020.93 c #Conflicts: 1710000 | #Constraints: 42148
3012.34/3020.93 c #Conflicts: 1711000 | #Constraints: 43148
3012.34/3020.93 c #Conflicts: 1712000 | #Constraints: 44148
3012.34/3020.93 c #Conflicts: 1713000 | #Constraints: 45148
3012.34/3020.93 c #Conflicts: 1714000 | #Constraints: 46148
3012.34/3020.93 c #Conflicts: 1715000 | #Constraints: 47148
3012.34/3020.93 c #Conflicts: 1716000 | #Constraints: 48148
3012.34/3020.93 c #Conflicts: 1717000 | #Constraints: 49148
3012.34/3020.93 c #Conflicts: 1718000 | #Constraints: 50148
3012.34/3020.93 c #Conflicts: 1719000 | #Constraints: 51148
3012.34/3020.93 c #Conflicts: 1720000 | #Constraints: 52148
3012.34/3020.93 c INPROCESSING
3012.34/3020.93 c GARBAGE COLLECT
3012.34/3020.93 c #Conflicts: 1721000 | #Constraints: 27184
3012.34/3020.93 c #Conflicts: 1722000 | #Constraints: 28184
3012.34/3020.93 c #Conflicts: 1723000 | #Constraints: 29184
3012.34/3020.93 c #Conflicts: 1724000 | #Constraints: 30184
3012.34/3020.93 c #Conflicts: 1725000 | #Constraints: 31184
3012.34/3020.93 c #Conflicts: 1726000 | #Constraints: 32184
3012.34/3020.93 c #Conflicts: 1727000 | #Constraints: 33184
3012.34/3020.93 c #Conflicts: 1728000 | #Constraints: 34184
3012.34/3020.93 c #Conflicts: 1729000 | #Constraints: 35184
3012.34/3020.93 c #Conflicts: 1730000 | #Constraints: 36184
3012.34/3020.93 c #Conflicts: 1731000 | #Constraints: 37184
3012.34/3020.93 c #Conflicts: 1732000 | #Constraints: 38184
3012.34/3020.93 c #Conflicts: 1733000 | #Constraints: 39184
3012.34/3020.93 c #Conflicts: 1734000 | #Constraints: 40184
3012.34/3020.93 c #Conflicts: 1735000 | #Constraints: 41184
3192.40/3201.44 c #Conflicts: 1736000 | #Constraints: 42184
3192.40/3201.44 c #Conflicts: 1737000 | #Constraints: 43184
3192.40/3201.44 c #Conflicts: 1738000 | #Constraints: 44184
3192.40/3201.44 c #Conflicts: 1739000 | #Constraints: 45184
3192.40/3201.44 c #Conflicts: 1740000 | #Constraints: 46184
3192.40/3201.44 c #Conflicts: 1741000 | #Constraints: 47184
3192.40/3201.44 c #Conflicts: 1742000 | #Constraints: 48184
3192.40/3201.44 c #Conflicts: 1743000 | #Constraints: 49184
3192.40/3201.44 c #Conflicts: 1744000 | #Constraints: 50184
3192.40/3201.44 c #Conflicts: 1745000 | #Constraints: 51184
3192.40/3201.44 c #Conflicts: 1746000 | #Constraints: 52184
3192.40/3201.44 c INPROCESSING
3192.40/3201.44 c GARBAGE COLLECT
3192.40/3201.44 c #Conflicts: 1747000 | #Constraints: 26986
3192.40/3201.44 c #Conflicts: 1748000 | #Constraints: 27986
3192.40/3201.44 c #Conflicts: 1749000 | #Constraints: 28986
3192.40/3201.44 c #Conflicts: 1750000 | #Constraints: 29986
3192.40/3201.44 c #Conflicts: 1751000 | #Constraints: 30986
3192.40/3201.44 c #Conflicts: 1752000 | #Constraints: 31986
3192.40/3201.44 c #Conflicts: 1753000 | #Constraints: 32986
3192.40/3201.44 c #Conflicts: 1754000 | #Constraints: 33986
3192.40/3201.44 c #Conflicts: 1755000 | #Constraints: 34986
3192.40/3201.44 c #Conflicts: 1756000 | #Constraints: 35986
3192.40/3201.44 c #Conflicts: 1757000 | #Constraints: 36986
3192.40/3201.44 c #Conflicts: 1758000 | #Constraints: 37986
3192.40/3201.44 c #Conflicts: 1759000 | #Constraints: 38986
3192.40/3201.44 c #Conflicts: 1760000 | #Constraints: 39986
3192.40/3201.44 c #Conflicts: 1761000 | #Constraints: 40986
3192.40/3201.44 c #Conflicts: 1762000 | #Constraints: 41986
3192.40/3201.44 c #Conflicts: 1763000 | #Constraints: 42986
3192.40/3201.44 c #Conflicts: 1764000 | #Constraints: 43986
3192.40/3201.44 c #Conflicts: 1765000 | #Constraints: 44986
3192.40/3201.44 c #Conflicts: 1766000 | #Constraints: 45986
3192.40/3201.44 c #Conflicts: 1767000 | #Constraints: 46986
3192.40/3201.44 c #Conflicts: 1768000 | #Constraints: 47986
3192.40/3201.44 c #Conflicts: 1769000 | #Constraints: 48986
3192.40/3201.44 c #Conflicts: 1770000 | #Constraints: 49986
3192.40/3201.44 c #Conflicts: 1771000 | #Constraints: 50986
3192.40/3201.44 c #Conflicts: 1772000 | #Constraints: 51986
3192.40/3201.44 c #Conflicts: 1773000 | #Constraints: 52986
3192.40/3201.44 c INPROCESSING
3192.40/3201.44 c GARBAGE COLLECT
3192.40/3201.44 c #Conflicts: 1774000 | #Constraints: 27546
3192.40/3201.44 c #Conflicts: 1775000 | #Constraints: 28546
3192.40/3201.44 c #Conflicts: 1776000 | #Constraints: 29546
3192.40/3201.44 c #Conflicts: 1777000 | #Constraints: 30546
3192.40/3201.44 c #Conflicts: 1778000 | #Constraints: 31546
3192.40/3201.44 c #Conflicts: 1779000 | #Constraints: 32546
3192.40/3201.44 c #Conflicts: 1780000 | #Constraints: 33546
3192.40/3201.44 c #Conflicts: 1781000 | #Constraints: 34546
3192.40/3201.44 c #Conflicts: 1782000 | #Constraints: 35546
3192.40/3201.44 c #Conflicts: 1783000 | #Constraints: 36546
3192.40/3201.44 c #Conflicts: 1784000 | #Constraints: 37546
3192.40/3201.44 c #Conflicts: 1785000 | #Constraints: 38546
3192.40/3201.44 c #Conflicts: 1786000 | #Constraints: 39546
3192.40/3201.44 c #Conflicts: 1787000 | #Constraints: 40546
3192.40/3201.44 c #Conflicts: 1788000 | #Constraints: 41546
3192.40/3201.44 c #Conflicts: 1789000 | #Constraints: 42546
3192.40/3201.44 c #Conflicts: 1790000 | #Constraints: 43546
3192.40/3201.44 c #Conflicts: 1791000 | #Constraints: 44546
3192.40/3201.44 c #Conflicts: 1792000 | #Constraints: 45546
3192.40/3201.44 c #Conflicts: 1793000 | #Constraints: 46546
3192.40/3201.44 c #Conflicts: 1794000 | #Constraints: 47546
3192.40/3201.44 c #Conflicts: 1795000 | #Constraints: 48546
3192.40/3201.44 c #Conflicts: 1796000 | #Constraints: 49546
3192.40/3201.44 c #Conflicts: 1797000 | #Constraints: 50546
3192.40/3201.44 c #Conflicts: 1798000 | #Constraints: 51546
3192.40/3201.44 c #Conflicts: 1799000 | #Constraints: 52546
3192.40/3201.44 c #Conflicts: 1800000 | #Constraints: 53546
3192.40/3201.44 c INPROCESSING
3192.40/3201.44 c GARBAGE COLLECT
3192.40/3201.44 c #Conflicts: 1801000 | #Constraints: 27930
3192.40/3201.44 c #Conflicts: 1802000 | #Constraints: 28930
3192.40/3201.44 c #Conflicts: 1803000 | #Constraints: 29930
3192.40/3201.44 c #Conflicts: 1804000 | #Constraints: 30930
3192.40/3201.44 c #Conflicts: 1805000 | #Constraints: 31930
3192.40/3201.44 c #Conflicts: 1806000 | #Constraints: 32930
3192.40/3201.44 c #Conflicts: 1807000 | #Constraints: 33930
3192.40/3201.44 c #Conflicts: 1808000 | #Constraints: 34930
3192.40/3201.44 c #Conflicts: 1809000 | #Constraints: 35930
3192.40/3201.44 c #Conflicts: 1810000 | #Constraints: 36930
3192.40/3201.44 c #Conflicts: 1811000 | #Constraints: 37930
3192.40/3201.44 c #Conflicts: 1812000 | #Constraints: 38930
3395.46/3405.05 c #Conflicts: 1813000 | #Constraints: 39930
3395.46/3405.05 c #Conflicts: 1814000 | #Constraints: 40930
3395.46/3405.05 c #Conflicts: 1815000 | #Constraints: 41930
3395.46/3405.05 c #Conflicts: 1816000 | #Constraints: 42930
3395.46/3405.05 c #Conflicts: 1817000 | #Constraints: 43930
3395.46/3405.05 c #Conflicts: 1818000 | #Constraints: 44930
3395.46/3405.05 c #Conflicts: 1819000 | #Constraints: 45930
3395.46/3405.05 c #Conflicts: 1820000 | #Constraints: 46930
3395.46/3405.05 c #Conflicts: 1821000 | #Constraints: 47930
3395.46/3405.05 c #Conflicts: 1822000 | #Constraints: 48930
3395.46/3405.05 c #Conflicts: 1823000 | #Constraints: 49930
3395.46/3405.05 c #Conflicts: 1824000 | #Constraints: 50930
3395.46/3405.05 c #Conflicts: 1825000 | #Constraints: 51930
3395.46/3405.05 c #Conflicts: 1826000 | #Constraints: 52930
3395.46/3405.05 c #Conflicts: 1827000 | #Constraints: 53930
3395.46/3405.05 c INPROCESSING
3395.46/3405.05 c GARBAGE COLLECT
3395.46/3405.05 c #Conflicts: 1828000 | #Constraints: 28138
3395.46/3405.05 c #Conflicts: 1829000 | #Constraints: 29138
3395.46/3405.05 c #Conflicts: 1830000 | #Constraints: 30138
3395.46/3405.05 c #Conflicts: 1831000 | #Constraints: 31138
3395.46/3405.05 c #Conflicts: 1832000 | #Constraints: 32138
3395.46/3405.05 c #Conflicts: 1833000 | #Constraints: 33138
3395.46/3405.05 c #Conflicts: 1834000 | #Constraints: 34138
3395.46/3405.05 c #Conflicts: 1835000 | #Constraints: 35138
3395.46/3405.05 c #Conflicts: 1836000 | #Constraints: 36138
3395.46/3405.05 c #Conflicts: 1837000 | #Constraints: 37138
3395.46/3405.05 c #Conflicts: 1838000 | #Constraints: 38138
3395.46/3405.05 c #Conflicts: 1839000 | #Constraints: 39138
3395.46/3405.05 c #Conflicts: 1840000 | #Constraints: 40138
3395.46/3405.05 c #Conflicts: 1841000 | #Constraints: 41138
3395.46/3405.05 c #Conflicts: 1842000 | #Constraints: 42138
3395.46/3405.05 c #Conflicts: 1843000 | #Constraints: 43138
3395.46/3405.05 c #Conflicts: 1844000 | #Constraints: 44138
3395.46/3405.05 c #Conflicts: 1845000 | #Constraints: 45138
3395.46/3405.05 c #Conflicts: 1846000 | #Constraints: 46138
3395.46/3405.05 c #Conflicts: 1847000 | #Constraints: 47138
3395.46/3405.05 c #Conflicts: 1848000 | #Constraints: 48138
3395.46/3405.05 c #Conflicts: 1849000 | #Constraints: 49138
3395.46/3405.05 c #Conflicts: 1850000 | #Constraints: 50138
3395.46/3405.05 c #Conflicts: 1851000 | #Constraints: 51138
3395.46/3405.05 c #Conflicts: 1852000 | #Constraints: 52138
3395.46/3405.05 c #Conflicts: 1853000 | #Constraints: 53138
3395.46/3405.05 c #Conflicts: 1854000 | #Constraints: 54138
3395.46/3405.05 c INPROCESSING
3395.46/3405.05 c GARBAGE COLLECT
3395.46/3405.05 c #Conflicts: 1855000 | #Constraints: 28171
3395.46/3405.05 c #Conflicts: 1856000 | #Constraints: 29171
3395.46/3405.05 c #Conflicts: 1857000 | #Constraints: 30171
3395.46/3405.05 c #Conflicts: 1858000 | #Constraints: 31171
3395.46/3405.05 c #Conflicts: 1859000 | #Constraints: 32171
3395.46/3405.05 c #Conflicts: 1860000 | #Constraints: 33171
3395.46/3405.05 c #Conflicts: 1861000 | #Constraints: 34171
3395.46/3405.05 c #Conflicts: 1862000 | #Constraints: 35171
3395.46/3405.05 c #Conflicts: 1863000 | #Constraints: 36171
3395.46/3405.05 c #Conflicts: 1864000 | #Constraints: 37171
3395.46/3405.05 c #Conflicts: 1865000 | #Constraints: 38171
3395.46/3405.05 c #Conflicts: 1866000 | #Constraints: 39171
3395.46/3405.05 c #Conflicts: 1867000 | #Constraints: 40171
3395.46/3405.05 c #Conflicts: 1868000 | #Constraints: 41171
3395.46/3405.05 c #Conflicts: 1869000 | #Constraints: 42171
3395.46/3405.05 c #Conflicts: 1870000 | #Constraints: 43171
3395.46/3405.05 c #Conflicts: 1871000 | #Constraints: 44171
3395.46/3405.05 c #Conflicts: 1872000 | #Constraints: 45171
3395.46/3405.05 c #Conflicts: 1873000 | #Constraints: 46171
3395.46/3405.05 c #Conflicts: 1874000 | #Constraints: 47171
3395.46/3405.05 c #Conflicts: 1875000 | #Constraints: 48171
3395.46/3405.05 c #Conflicts: 1876000 | #Constraints: 49171
3395.46/3405.05 c #Conflicts: 1877000 | #Constraints: 50171
3395.46/3405.05 c #Conflicts: 1878000 | #Constraints: 51171
3395.46/3405.05 c #Conflicts: 1879000 | #Constraints: 52171
3395.46/3405.05 c #Conflicts: 1880000 | #Constraints: 53171
3395.46/3405.05 c #Conflicts: 1881000 | #Constraints: 54171
3395.46/3405.05 c INPROCESSING
3395.46/3405.05 c GARBAGE COLLECT
3395.46/3405.05 c #Conflicts: 1882000 | #Constraints: 27956
3395.46/3405.05 c #Conflicts: 1883000 | #Constraints: 28956
3395.46/3405.05 c #Conflicts: 1884000 | #Constraints: 29956
3395.46/3405.05 c #Conflicts: 1885000 | #Constraints: 30956
3395.46/3405.05 c #Conflicts: 1886000 | #Constraints: 31956
3395.46/3405.05 c #Conflicts: 1887000 | #Constraints: 32956
3395.46/3405.05 c #Conflicts: 1888000 | #Constraints: 33956
3600.06/3610.20 c #Conflicts: 1889000 | #Constraints: 34956
3600.06/3610.20 c #Conflicts: 1890000 | #Constraints: 35956
3600.06/3610.20 c #Conflicts: 1891000 | #Constraints: 36956
3600.06/3610.20 c #Conflicts: 1892000 | #Constraints: 37956
3600.06/3610.20 c #Conflicts: 1893000 | #Constraints: 38956
3600.06/3610.20 c #Conflicts: 1894000 | #Constraints: 39956
3600.06/3610.20 c #Conflicts: 1895000 | #Constraints: 40956
3600.06/3610.20 c #Conflicts: 1896000 | #Constraints: 41956
3600.06/3610.20 c #Conflicts: 1897000 | #Constraints: 42956
3600.06/3610.20 c #Conflicts: 1898000 | #Constraints: 43956
3600.06/3610.20 c #Conflicts: 1899000 | #Constraints: 44956
3600.06/3610.20 c #Conflicts: 1900000 | #Constraints: 45956
3600.06/3610.20 c #Conflicts: 1901000 | #Constraints: 46956
3600.06/3610.20 c #Conflicts: 1902000 | #Constraints: 47956
3600.06/3610.20 c #Conflicts: 1903000 | #Constraints: 48956
3600.06/3610.20 c #Conflicts: 1904000 | #Constraints: 49956
3600.06/3610.20 c #Conflicts: 1905000 | #Constraints: 50956
3600.06/3610.20 c #Conflicts: 1906000 | #Constraints: 51956
3600.06/3610.20 c #Conflicts: 1907000 | #Constraints: 52956
3600.06/3610.20 c #Conflicts: 1908000 | #Constraints: 53956
3600.06/3610.20 c #Conflicts: 1909000 | #Constraints: 54956
3600.06/3610.20 c INPROCESSING
3600.06/3610.20 c GARBAGE COLLECT
3600.06/3610.20 c #Conflicts: 1910000 | #Constraints: 28576
3600.06/3610.20 c #Conflicts: 1911000 | #Constraints: 29576
3600.06/3610.20 c #Conflicts: 1912000 | #Constraints: 30576
3600.06/3610.20 c #Conflicts: 1913000 | #Constraints: 31576
3600.06/3610.20 c #Conflicts: 1914000 | #Constraints: 32576
3600.06/3610.20 c #Conflicts: 1915000 | #Constraints: 33576
3600.06/3610.20 c #Conflicts: 1916000 | #Constraints: 34576
3600.06/3610.20 c #Conflicts: 1917000 | #Constraints: 35576
3600.06/3610.20 c #Conflicts: 1918000 | #Constraints: 36576
3600.06/3610.20 c #Conflicts: 1919000 | #Constraints: 37576
3600.06/3610.20 c #Conflicts: 1920000 | #Constraints: 38576
3600.06/3610.20 c #Conflicts: 1921000 | #Constraints: 39576
3600.06/3610.20 c #Conflicts: 1922000 | #Constraints: 40576
3600.06/3610.20 c #Conflicts: 1923000 | #Constraints: 41576
3600.06/3610.20 c #Conflicts: 1924000 | #Constraints: 42576
3600.06/3610.20 c #Conflicts: 1925000 | #Constraints: 43576
3600.06/3610.20 c #Conflicts: 1926000 | #Constraints: 44576
3600.06/3610.20 c #Conflicts: 1927000 | #Constraints: 45576
3600.06/3610.20 c #Conflicts: 1928000 | #Constraints: 46576
3600.06/3610.20 c #Conflicts: 1929000 | #Constraints: 47576
3600.06/3610.20 c #Conflicts: 1930000 | #Constraints: 48576
3600.06/3610.20 c #Conflicts: 1931000 | #Constraints: 49576
3600.06/3610.20 c #Conflicts: 1932000 | #Constraints: 50576
3600.06/3610.20 c #Conflicts: 1933000 | #Constraints: 51576
3600.06/3610.20 c #Conflicts: 1934000 | #Constraints: 52576
3600.06/3610.20 c #Conflicts: 1935000 | #Constraints: 53576
3600.06/3610.20 c #Conflicts: 1936000 | #Constraints: 54576
3600.06/3610.20 c #Conflicts: 1937000 | #Constraints: 55576
3600.06/3610.20 c INPROCESSING
3600.06/3610.20 c GARBAGE COLLECT
3600.06/3610.20 c #Conflicts: 1938000 | #Constraints: 28970
3600.06/3610.20 c #Conflicts: 1939000 | #Constraints: 29970
3600.06/3610.20 c #Conflicts: 1940000 | #Constraints: 30970
3600.06/3610.20 c #Conflicts: 1941000 | #Constraints: 31970
3600.06/3610.20 c #Conflicts: 1942000 | #Constraints: 32970
3600.06/3610.20 c #Conflicts: 1943000 | #Constraints: 33970
3600.06/3610.20 c #Conflicts: 1944000 | #Constraints: 34970
3600.06/3610.20 c #Conflicts: 1945000 | #Constraints: 35970
3600.06/3610.20 c #Conflicts: 1946000 | #Constraints: 36970
3600.06/3610.20 c #Conflicts: 1947000 | #Constraints: 37970
3600.06/3610.20 c #Conflicts: 1948000 | #Constraints: 38970
3600.06/3610.20 c #Conflicts: 1949000 | #Constraints: 39970
3600.06/3610.20 c #Conflicts: 1950000 | #Constraints: 40970
3600.06/3610.20 c #Conflicts: 1951000 | #Constraints: 41970
3600.06/3610.20 c #Conflicts: 1952000 | #Constraints: 42970
3600.06/3610.20 c #Conflicts: 1953000 | #Constraints: 43970
3600.06/3610.20 c #Conflicts: 1954000 | #Constraints: 44970
3600.06/3610.20 c #Conflicts: 1955000 | #Constraints: 45970
3600.06/3610.20 c #Conflicts: 1956000 | #Constraints: 46970
3600.06/3610.20 c #Conflicts: 1957000 | #Constraints: 47970
3600.06/3610.20 c #Conflicts: 1958000 | #Constraints: 48970
3600.06/3610.20 c #Conflicts: 1959000 | #Constraints: 49970
3600.06/3610.20 c #Conflicts: 1960000 | #Constraints: 50970
3600.06/3610.20 c Program interrupted by user.
3600.06/3610.20 c cpu time 3587.28 s
3600.06/3610.20 c deterministic time 426654222850 4.27e+11
3600.06/3610.20 c optimization time 64.4487 s
3600.06/3610.20 c total solve time 3224.17 s
3600.06/3610.20 c core-guided solve time 0 s
3600.06/3610.20 c propagation time 2616.22 s
3600.06/3610.20 c conflict analysis time 642.741 s
3600.06/3610.20 c propagations 217040723
3600.06/3610.20 c resolve steps 25150116
3600.06/3610.20 c decisions 5601971
3600.06/3610.20 c conflicts 1960619
3600.06/3610.20 c restarts 3835
3600.06/3610.20 c inprocessing phases 130
3600.06/3610.20 c input clauses 30
3600.06/3610.20 c input cardinalities 30
3600.06/3610.20 c input general constraints 192
3600.06/3610.20 c input average constraint length 28.98
3600.06/3610.20 c input average constraint degree 228.58
3600.06/3610.20 c learned clauses 399941
3600.06/3610.20 c learned cardinalities 7544
3600.06/3610.20 c learned general constraints 1553133
3600.06/3610.20 c learned average constraint length 130.40
3600.06/3610.20 c learned average constraint degree 6642494.59
3600.06/3610.20 c watched constraints 1233039
3600.06/3610.20 c counting constraints 320286
3600.06/3610.20 c gcd simplifications 219196
3600.06/3610.20 c detected cardinalities 957
3600.06/3610.20 c weakened non-implied lits 77994045
3600.06/3610.20 c weakened non-implying lits 253307
3600.06/3610.20 c original variables 774
3600.06/3610.20 c clausal propagations 4285975
3600.06/3610.20 c cardinality propagations 6320568
3600.06/3610.20 c watched propagations 14092718
3600.06/3610.20 c counting propagations 190689530
3600.06/3610.20 c watch lookups 90561842079
3600.06/3610.20 c watch backjump lookups 83672875322
3600.06/3610.20 c watch checks 192091376998
3600.06/3610.20 c propagation checks 58549735387
3600.06/3610.20 c constraint additions 1331147158
3600.06/3610.20 c trail pops 224603211
3600.06/3610.20 c formula constraints 252
3600.06/3610.20 c learned constraints 1960618
3600.06/3610.20 c bound constraints 0
3600.06/3610.20 c core-guided constraints 0
3600.06/3610.20 c encountered formula constraints 10720059
3600.06/3610.20 c encountered learned constraints 16390676
3600.06/3610.20 c encountered bound constraints 0
3600.06/3610.20 c encountered core-guided constraints 0
3600.06/3610.20 c LP total time 0 s
3600.06/3610.20 c LP solve time 0 s
3600.06/3610.20 c LP constraints added 0
3600.06/3610.20 c LP constraints removed 0
3600.06/3610.20 c LP pivots internal 0
3600.06/3610.20 c LP pivots root 0
3600.06/3610.20 c LP calls 0
3600.06/3610.20 c LP optimalities 0
3600.06/3610.20 c LP no pivot count 0
3600.06/3610.20 c LP infeasibilities 0
3600.06/3610.20 c LP valid Farkas constraints 0
3600.06/3610.20 c LP learned Farkas constraints 0
3600.06/3610.20 c LP basis resets 0
3600.06/3610.20 c LP cycling count 0
3600.06/3610.20 c LP singular count 0
3600.06/3610.20 c LP no primal count 0
3600.06/3610.20 c LP no farkas count 0
3600.06/3610.20 c LP other issue count 0
3600.06/3610.20 c LP Gomory cuts 0
3600.06/3610.20 c LP learned cuts 0
3600.06/3610.20 c LP deleted cuts 0
3600.06/3610.20 c LP encountered Gomory constraints 0
3600.06/3610.20 c LP encountered Farkas constraints 0
3600.06/3610.20 c LP encountered learned Farkas constraints 0
3600.06/3610.20 c CG auxiliary variables introduced 0
3600.06/3610.20 c CG solutions found 0
3600.06/3610.20 c CG cores constructed 0
3600.06/3610.20 c CG core cardinality constraints returned 0
3600.06/3610.20 c CG unit cores 0
3600.06/3610.20 c CG single cores 0
3600.06/3610.20 c CG blocks removed during cardinality reduction 0
3600.06/3610.20 c CG first core best 0
3600.06/3610.20 c CG decision core best 0
3600.06/3610.20 c CG core reduction tie 0
3600.06/3610.20 c CG core degree average 0.00
3600.06/3610.20 c CG core slack average 0.00
3600.06/3610.20 c CG exhausted 0
3600.06/3610.20 c CG exhaust time 0 s
3600.06/3610.20 c CG trimmed 0
3600.06/3610.20 c CG trim time 0 s
3600.06/3610.20 c CG minimized 0
3600.06/3610.20 c CG minimize time 0 s
3600.06/3610.20 c CG am1 prop time 0 s
3600.06/3610.20 c CG # am1s reformulated 0
3600.06/3610.20 c CG lower bound derived from am1s 0
3600.06/3610.20 c CG # clausal cores 0
3600.06/3610.20 c CG # cardinality cores 0
3600.06/3610.20 c CG # pb cores 0
3600.06/3610.20 c CG # pb reforms 0
3600.06/3610.20 c CG # cores discarded because of pb reform 0
3600.06/3610.20 d LOWERBOUND 0
3600.06/3610.20 d NCORES 0
3600.06/3610.20 d NPBCORES 0
3600.06/3610.20 d NPBREFORM 0
3600.06/3610.20 d NTRIMMED 0
3600.06/3610.20 d NEXHAUSTED 0
3600.06/3610.20 d NAM1S 0
3600.06/3610.20 d AM1LB 0
3600.06/3610.20 c [Papilo Statistics]
3600.06/3610.20 c prepro time 0.00240693s
3600.06/3610.20 c # tsx applied 6
3600.06/3610.20 c # tsx conflicts 0
3600.06/3610.20 c # bound changes 3
3600.06/3610.20 c # side changes 0
3600.06/3610.20 c # coef changes 0
3600.06/3610.20 c # rounds 2
3600.06/3610.20 c # deted vars 3
3600.06/3610.20 c # deted constrs 772
3600.06/3610.20 c # consecutive rounds of only bound changes 0
3600.06/3610.20 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: 63968 MiB (62159 MiB free)
memory of node 1: 64473 MiB (63131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435597-1721110535/watcher-4435597-1721110535 -o /tmp/evaluation-result-4435597-1721110535/solver-4435597-1721110535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840502 --watchdog 3760 mixed-bag HOME/instance-4435597-1721110535.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=844715, runsolver pid=844712
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.16 4.15 4.11 5/254 844716
/proc/meminfo: memFree=128274836/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=100868 memory=31640 CPUtime=0.09 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 4772 0 0 0 9 0 0 0 20 0 1 0 163224359 103288832 7910 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 25217 7910 3808 3002 0 8968 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100868 KiB
Current children cumulated memory: 31640 KiB
[startup+0.20563 s]*
/proc/loadavg: 4.16 4.15 4.11 5/254 844716
/proc/meminfo: memFree=128269504/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=101284 memory=32168 CPUtime=0.2 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 4866 0 0 0 20 0 0 0 20 0 1 0 163224359 103714816 8042 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 25321 8042 3808 3002 0 9072 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101284 KiB
Current children cumulated memory: 32168 KiB
[startup+0.305635 s]*
/proc/loadavg: 4.16 4.15 4.11 5/254 844716
/proc/meminfo: memFree=128227480/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=110580 memory=41324 CPUtime=0.3 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 7184 0 0 0 30 0 0 0 20 0 1 0 163224359 113233920 10331 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 27645 10331 4023 3002 0 11396 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110580 KiB
Current children cumulated memory: 41324 KiB
[startup+0.700219 s]
/proc/loadavg: 4.16 4.15 4.11 5/254 844716
/proc/meminfo: memFree=128212092/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=142336 memory=71916 CPUtime=0.68 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 14882 0 0 0 67 1 0 0 20 0 1 0 163224359 145752064 17979 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 35584 17979 4023 3002 0 19335 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142336 KiB
Current children cumulated memory: 71916 KiB
[startup+1.50022 s]
/proc/loadavg: 4.16 4.15 4.11 5/254 844716
/proc/meminfo: memFree=128188908/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=156112 memory=85100 CPUtime=1.49 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 18137 0 0 0 147 2 0 0 20 0 1 0 163224359 159858688 21275 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 39028 21275 4023 3002 0 22779 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 156112 KiB
Current children cumulated memory: 85100 KiB
[startup+3.10554 s]
/proc/loadavg: 4.15 4.15 4.11 5/254 844716
/proc/meminfo: memFree=128153248/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=157728 memory=87476 CPUtime=3.09 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 18749 0 0 0 307 2 0 0 20 0 1 0 163224359 161513472 21869 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 39432 21869 4023 3002 0 23183 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 157728 KiB
Current children cumulated memory: 87476 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.15 4.11 5/254 844718
/proc/meminfo: memFree=128130136/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=169488 memory=99660 CPUtime=6.27 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 22193 0 0 0 625 2 0 0 20 0 1 0 163224359 173555712 24915 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 42372 24915 4023 3002 0 26123 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 169488 KiB
Current children cumulated memory: 99660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.15 4.11 5/254 844764
/proc/meminfo: memFree=128511940/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=169896 memory=99924 CPUtime=12.64 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 22296 0 0 0 1262 2 0 0 20 0 1 0 163224359 173973504 24981 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 42474 24981 4023 3002 0 26225 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 169896 KiB
Current children cumulated memory: 99924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.11 5/254 844767
/proc/meminfo: memFree=128455668/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=180416 memory=109324 CPUtime=25.4 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 25120 0 0 0 2537 3 0 0 20 0 1 0 163224359 184745984 27331 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 45104 27331 4023 3002 0 28855 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 180416 KiB
Current children cumulated memory: 109324 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 844770
/proc/meminfo: memFree=128400396/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=187544 memory=116932 CPUtime=50.9 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 27034 0 0 0 5087 3 0 0 20 0 1 0 163224359 192045056 29233 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 46886 29233 4023 3002 0 30637 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 187544 KiB
Current children cumulated memory: 116932 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 844782
/proc/meminfo: memFree=128380708/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=199448 memory=128548 CPUtime=101.9 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 29922 0 0 0 10187 3 0 0 20 0 1 0 163224359 204234752 32137 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 49862 32137 4023 3002 0 33613 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 199448 KiB
Current children cumulated memory: 128548 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.21 4.13 5/255 844792
/proc/meminfo: memFree=128317436/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=208448 memory=138576 CPUtime=161.62 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 32436 0 0 0 16159 3 0 0 20 0 1 0 163224359 213450752 34644 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 52112 34644 4023 3002 0 35863 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 208448 KiB
Current children cumulated memory: 138576 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/255 844802
/proc/meminfo: memFree=128273392/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=220092 memory=149376 CPUtime=221.33 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 35516 0 0 0 22129 4 0 0 20 0 1 0 163224359 225374208 37344 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 55023 37344 4023 3002 0 38774 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 149376 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.18 4.13 5/257 844816
/proc/meminfo: memFree=128237208/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=235840 memory=165956 CPUtime=281.02 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 40309 0 0 0 28097 5 0 0 20 0 1 0 163224359 241500160 41489 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 58960 41489 4023 3002 0 42711 0
Current children cumulated CPU time: 281.02 s
Current children cumulated vsize: 235840 KiB
Current children cumulated memory: 165956 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/257 844918
/proc/meminfo: memFree=128413192/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=205632 memory=143772 CPUtime=340.82 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 45165 0 0 0 34026 56 0 0 20 0 1 0 163224359 210567168 35943 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 51408 35943 4071 3002 0 35159 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 205632 KiB
Current children cumulated memory: 143772 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/256 844929
/proc/meminfo: memFree=128390560/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=212812 memory=155512 CPUtime=400.67 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 45801 0 0 0 39962 105 0 0 20 0 1 0 163224359 217919488 38878 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 53203 38878 4071 3002 0 36954 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 212812 KiB
Current children cumulated memory: 155512 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/256 844939
/proc/meminfo: memFree=128343400/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=224488 memory=159620 CPUtime=460.51 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 46361 0 0 0 45911 140 0 0 20 0 1 0 163224359 229875712 39905 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 56122 39905 4071 3002 0 39873 0
################
# More data... #
################
Current children cumulated memory: 184364 KiB
[startup+2862.3 s]
/proc/loadavg: 3.28 3.87 4.02 4/248 848365
/proc/meminfo: memFree=127902124/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=2854.14 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 48874 0 0 0 284301 1113 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 2854.14 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+2922.3 s]
/proc/loadavg: 3.16 3.72 3.95 4/248 848377
/proc/meminfo: memFree=127897972/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=2913.98 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 48948 0 0 0 290266 1132 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.61 3.90 4/248 848387
/proc/meminfo: memFree=127895616/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=2973.83 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49013 0 0 0 296238 1145 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3042.3 s]
/proc/loadavg: 3.19 3.54 3.86 4/247 848397
/proc/meminfo: memFree=127891292/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3033.69 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49082 0 0 0 302213 1156 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3033.69 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3102.3 s]
/proc/loadavg: 3.07 3.44 3.80 4/247 848408
/proc/meminfo: memFree=127888340/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3093.55 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49149 0 0 0 308184 1171 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3162.3 s]
/proc/loadavg: 3.06 3.37 3.75 4/247 848418
/proc/meminfo: memFree=127882892/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3153.4 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49217 0 0 0 314155 1185 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.33 3.71 4/247 848428
/proc/meminfo: memFree=127881124/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3213.24 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49281 0 0 0 320125 1199 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.28 3.67 4/249 848442
/proc/meminfo: memFree=127878912/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3273.09 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49351 0 0 0 326098 1211 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.25 3.63 4/249 848453
/proc/meminfo: memFree=127876384/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3332.93 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49419 0 0 0 332068 1225 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.22 3.60 4/250 848465
/proc/meminfo: memFree=127874424/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3392.76 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49485 0 0 0 338040 1236 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.20 3.57 4/250 848475
/proc/meminfo: memFree=127870368/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3452.59 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49550 0 0 0 344012 1247 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.19 3.54 4/250 848486
/proc/meminfo: memFree=127853352/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3512.41 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49616 0 0 0 349981 1260 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
[startup+3582.3 s]
/proc/loadavg: 3.19 3.20 3.52 4/248 848496
/proc/meminfo: memFree=127852628/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3572.25 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49680 0 0 0 355950 1275 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 3.02 3.16 3.50 3/241 848532
/proc/meminfo: memFree=128266588/131524600 swapFree=131071996/131071996
[pid=844715] ppid=844712 vsize=243456 memory=184364 CPUtime=3600.06 cores=1,3
/proc/844715/stat : 844715 (mixed-bag) R 844712 844715 840490 0 -1 4194304 49750 0 0 0 358728 1278 0 0 20 0 1 0 163224359 249298944 46091 134679101440 4194304 16487941 140728959021440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 31334400 140728959030295 140728959030372 140728959030372 140728959037387 0
/proc/844715/statm: 60864 46091 4071 3002 0 44615 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 243456 KiB
Current children cumulated memory: 184364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 844715 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.29 s, system=12.7896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.08
CPU user time (s): 3587.29
CPU system time (s): 12.7896
CPU usage (%): 99.7195
Max. virtual memory (cumulated for all children) (KiB): 249608
Max. memory (cumulated for all children) (KiB): 184364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.29
system time used= 12.7896
maximum resident set size= 184364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49775
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= 65
involuntary context switches= 2930
# summary of solver processes directly reported to runsolver:
# pid: 844715
# total CPU time (s): 3600.08
# total CPU user time (s): 3587.29
# total CPU system time (s): 12.7896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8924 second user time and 16.5703 second system time
The end
Begin job on nodeC035 at 2024-07-16 08:15:48
IDJOB=4435597
IDBENCH=148776
IDSOLVER=3066
FILE ID=nodeC035/4435597-1721110535
RUNJOBID= nodeC035-1721103319-840502
SLURM_JOB_ID= 7505619
Free space on /tmp= 890016 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435597-1721110535/watcher-4435597-1721110535 -o /tmp/evaluation-result-4435597-1721110535/solver-4435597-1721110535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840502 --watchdog 3760 mixed-bag HOME/instance-4435597-1721110535.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=625896593
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3670.482
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3664.125
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3599.965
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3667.499
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3670.589
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3667.721
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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.096
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3615.637
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128298900 kB
MemAvailable: 128845136 kB
Buffers: 383320 kB
Cached: 1001640 kB
SwapCached: 0 kB
Active: 695312 kB
Inactive: 1939092 kB
Active(anon): 1536 kB
Inactive(anon): 1285672 kB
Active(file): 693776 kB
Inactive(file): 653420 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 50100 kB
Writeback: 56 kB
AnonPages: 1248792 kB
Mapped: 137504 kB
Shmem: 37724 kB
KReclaimable: 77724 kB
Slab: 181296 kB
SReclaimable: 77724 kB
SUnreclaim: 103572 kB
KernelStack: 4048 kB
PageTables: 12060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1702584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 851968 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC035 at 2024-07-16 09:15:58