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.66/300.07 c [STEP] preprocessing done, loading into solver
298.66/300.08 c [STEP] solving
298.66/300.08 c #variables 772 #constraints 252
322.38/323.83 c #Conflicts: 1000 | #Constraints: 1251
322.38/323.83 c #Conflicts: 2000 | #Constraints: 2251
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 3000 | #Constraints: 2255
322.38/323.83 c #Conflicts: 4000 | #Constraints: 3255
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 5000 | #Constraints: 2665
322.38/323.83 c #Conflicts: 6000 | #Constraints: 3665
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 7000 | #Constraints: 2668
322.38/323.83 c #Conflicts: 8000 | #Constraints: 3668
322.38/323.83 c #Conflicts: 9000 | #Constraints: 4668
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 10000 | #Constraints: 3371
322.38/323.83 c #Conflicts: 11000 | #Constraints: 4371
322.38/323.83 c #Conflicts: 12000 | #Constraints: 5371
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 13000 | #Constraints: 3820
322.38/323.83 c #Conflicts: 14000 | #Constraints: 4820
322.38/323.83 c #Conflicts: 15000 | #Constraints: 5820
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 16000 | #Constraints: 4047
322.38/323.83 c #Conflicts: 17000 | #Constraints: 5047
322.38/323.83 c #Conflicts: 18000 | #Constraints: 6047
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 19000 | #Constraints: 4064
322.38/323.83 c #Conflicts: 20000 | #Constraints: 5064
322.38/323.83 c #Conflicts: 21000 | #Constraints: 6064
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 22000 | #Constraints: 3863
322.38/323.83 c #Conflicts: 23000 | #Constraints: 4863
322.38/323.83 c #Conflicts: 24000 | #Constraints: 5863
322.38/323.83 c #Conflicts: 25000 | #Constraints: 6863
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 26000 | #Constraints: 4471
322.38/323.83 c #Conflicts: 27000 | #Constraints: 5471
322.38/323.83 c #Conflicts: 28000 | #Constraints: 6471
322.38/323.83 c #Conflicts: 29000 | #Constraints: 7471
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 30000 | #Constraints: 4871
322.38/323.83 c #Conflicts: 31000 | #Constraints: 5871
322.38/323.83 c #Conflicts: 32000 | #Constraints: 6871
322.38/323.83 c #Conflicts: 33000 | #Constraints: 7871
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 34000 | #Constraints: 5074
322.38/323.83 c #Conflicts: 35000 | #Constraints: 6074
322.38/323.83 c #Conflicts: 36000 | #Constraints: 7074
322.38/323.83 c #Conflicts: 37000 | #Constraints: 8074
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 38000 | #Constraints: 5079
322.38/323.83 c #Conflicts: 39000 | #Constraints: 6079
322.38/323.83 c #Conflicts: 40000 | #Constraints: 7079
322.38/323.83 c #Conflicts: 41000 | #Constraints: 8079
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 42000 | #Constraints: 4882
322.38/323.83 c #Conflicts: 43000 | #Constraints: 5882
322.38/323.83 c #Conflicts: 44000 | #Constraints: 6882
322.38/323.83 c #Conflicts: 45000 | #Constraints: 7882
322.38/323.83 c #Conflicts: 46000 | #Constraints: 8882
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 47000 | #Constraints: 5476
322.38/323.83 c #Conflicts: 48000 | #Constraints: 6476
322.38/323.83 c #Conflicts: 49000 | #Constraints: 7476
322.38/323.83 c #Conflicts: 50000 | #Constraints: 8476
322.38/323.83 c #Conflicts: 51000 | #Constraints: 9476
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 52000 | #Constraints: 5879
322.38/323.83 c #Conflicts: 53000 | #Constraints: 6879
322.38/323.83 c #Conflicts: 54000 | #Constraints: 7879
322.38/323.83 c #Conflicts: 55000 | #Constraints: 8879
322.38/323.83 c #Conflicts: 56000 | #Constraints: 9879
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 57000 | #Constraints: 6074
322.38/323.83 c #Conflicts: 58000 | #Constraints: 7074
322.38/323.83 c #Conflicts: 59000 | #Constraints: 8074
322.38/323.83 c #Conflicts: 60000 | #Constraints: 9074
322.38/323.83 c #Conflicts: 61000 | #Constraints: 10074
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 62000 | #Constraints: 6075
322.38/323.83 c #Conflicts: 63000 | #Constraints: 7075
322.38/323.83 c #Conflicts: 64000 | #Constraints: 8075
322.38/323.83 c #Conflicts: 65000 | #Constraints: 9075
322.38/323.83 c #Conflicts: 66000 | #Constraints: 10075
322.38/323.83 c INPROCESSING
322.38/323.83 c GARBAGE COLLECT
322.38/323.83 c #Conflicts: 67000 | #Constraints: 5877
322.38/323.83 c #Conflicts: 68000 | #Constraints: 6877
358.85/360.47 c #Conflicts: 69000 | #Constraints: 7877
358.85/360.47 c #Conflicts: 70000 | #Constraints: 8877
358.85/360.47 c #Conflicts: 71000 | #Constraints: 9877
358.85/360.47 c #Conflicts: 72000 | #Constraints: 10877
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 73000 | #Constraints: 6489
358.85/360.47 c #Conflicts: 74000 | #Constraints: 7489
358.85/360.47 c #Conflicts: 75000 | #Constraints: 8489
358.85/360.47 c #Conflicts: 76000 | #Constraints: 9489
358.85/360.47 c #Conflicts: 77000 | #Constraints: 10489
358.85/360.47 c #Conflicts: 78000 | #Constraints: 11489
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 79000 | #Constraints: 6886
358.85/360.47 c #Conflicts: 80000 | #Constraints: 7886
358.85/360.47 c #Conflicts: 81000 | #Constraints: 8886
358.85/360.47 c #Conflicts: 82000 | #Constraints: 9886
358.85/360.47 c #Conflicts: 83000 | #Constraints: 10886
358.85/360.47 c #Conflicts: 84000 | #Constraints: 11886
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 85000 | #Constraints: 7077
358.85/360.47 c #Conflicts: 86000 | #Constraints: 8077
358.85/360.47 c #Conflicts: 87000 | #Constraints: 9077
358.85/360.47 c #Conflicts: 88000 | #Constraints: 10077
358.85/360.47 c #Conflicts: 89000 | #Constraints: 11077
358.85/360.47 c #Conflicts: 90000 | #Constraints: 12077
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 91000 | #Constraints: 7084
358.85/360.47 c #Conflicts: 92000 | #Constraints: 8084
358.85/360.47 c #Conflicts: 93000 | #Constraints: 9084
358.85/360.47 c #Conflicts: 94000 | #Constraints: 10084
358.85/360.47 c #Conflicts: 95000 | #Constraints: 11084
358.85/360.47 c #Conflicts: 96000 | #Constraints: 12084
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 97000 | #Constraints: 6878
358.85/360.47 c #Conflicts: 98000 | #Constraints: 7878
358.85/360.47 c #Conflicts: 99000 | #Constraints: 8878
358.85/360.47 c #Conflicts: 100000 | #Constraints: 9878
358.85/360.47 c #Conflicts: 101000 | #Constraints: 10878
358.85/360.47 c #Conflicts: 102000 | #Constraints: 11878
358.85/360.47 c #Conflicts: 103000 | #Constraints: 12878
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 104000 | #Constraints: 7483
358.85/360.47 c #Conflicts: 105000 | #Constraints: 8483
358.85/360.47 c #Conflicts: 106000 | #Constraints: 9483
358.85/360.47 c #Conflicts: 107000 | #Constraints: 10483
358.85/360.47 c #Conflicts: 108000 | #Constraints: 11483
358.85/360.47 c #Conflicts: 109000 | #Constraints: 12483
358.85/360.47 c #Conflicts: 110000 | #Constraints: 13483
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 111000 | #Constraints: 7876
358.85/360.47 c #Conflicts: 112000 | #Constraints: 8876
358.85/360.47 c #Conflicts: 113000 | #Constraints: 9876
358.85/360.47 c #Conflicts: 114000 | #Constraints: 10876
358.85/360.47 c #Conflicts: 115000 | #Constraints: 11876
358.85/360.47 c #Conflicts: 116000 | #Constraints: 12876
358.85/360.47 c #Conflicts: 117000 | #Constraints: 13876
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 118000 | #Constraints: 8083
358.85/360.47 c #Conflicts: 119000 | #Constraints: 9083
358.85/360.47 c #Conflicts: 120000 | #Constraints: 10083
358.85/360.47 c #Conflicts: 121000 | #Constraints: 11083
358.85/360.47 c #Conflicts: 122000 | #Constraints: 12083
358.85/360.47 c #Conflicts: 123000 | #Constraints: 13083
358.85/360.47 c #Conflicts: 124000 | #Constraints: 14083
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 125000 | #Constraints: 8097
358.85/360.47 c #Conflicts: 126000 | #Constraints: 9097
358.85/360.47 c #Conflicts: 127000 | #Constraints: 10097
358.85/360.47 c #Conflicts: 128000 | #Constraints: 11097
358.85/360.47 c #Conflicts: 129000 | #Constraints: 12097
358.85/360.47 c #Conflicts: 130000 | #Constraints: 13097
358.85/360.47 c #Conflicts: 131000 | #Constraints: 14097
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 132000 | #Constraints: 7887
358.85/360.47 c #Conflicts: 133000 | #Constraints: 8887
358.85/360.47 c #Conflicts: 134000 | #Constraints: 9887
358.85/360.47 c #Conflicts: 135000 | #Constraints: 10887
358.85/360.47 c #Conflicts: 136000 | #Constraints: 11887
358.85/360.47 c #Conflicts: 137000 | #Constraints: 12887
358.85/360.47 c #Conflicts: 138000 | #Constraints: 13887
358.85/360.47 c #Conflicts: 139000 | #Constraints: 14887
358.85/360.47 c INPROCESSING
358.85/360.47 c GARBAGE COLLECT
358.85/360.47 c #Conflicts: 140000 | #Constraints: 8495
426.11/427.92 c #Conflicts: 141000 | #Constraints: 9495
426.11/427.92 c #Conflicts: 142000 | #Constraints: 10495
426.11/427.92 c #Conflicts: 143000 | #Constraints: 11495
426.11/427.92 c #Conflicts: 144000 | #Constraints: 12495
426.11/427.92 c #Conflicts: 145000 | #Constraints: 13495
426.11/427.92 c #Conflicts: 146000 | #Constraints: 14495
426.11/427.92 c #Conflicts: 147000 | #Constraints: 15495
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 148000 | #Constraints: 8897
426.11/427.92 c #Conflicts: 149000 | #Constraints: 9897
426.11/427.92 c #Conflicts: 150000 | #Constraints: 10897
426.11/427.92 c #Conflicts: 151000 | #Constraints: 11897
426.11/427.92 c #Conflicts: 152000 | #Constraints: 12897
426.11/427.92 c #Conflicts: 153000 | #Constraints: 13897
426.11/427.92 c #Conflicts: 154000 | #Constraints: 14897
426.11/427.92 c #Conflicts: 155000 | #Constraints: 15897
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 156000 | #Constraints: 9091
426.11/427.92 c #Conflicts: 157000 | #Constraints: 10091
426.11/427.92 c #Conflicts: 158000 | #Constraints: 11091
426.11/427.92 c #Conflicts: 159000 | #Constraints: 12091
426.11/427.92 c #Conflicts: 160000 | #Constraints: 13091
426.11/427.92 c #Conflicts: 161000 | #Constraints: 14091
426.11/427.92 c #Conflicts: 162000 | #Constraints: 15091
426.11/427.92 c #Conflicts: 163000 | #Constraints: 16091
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 164000 | #Constraints: 9091
426.11/427.92 c #Conflicts: 165000 | #Constraints: 10091
426.11/427.92 c #Conflicts: 166000 | #Constraints: 11091
426.11/427.92 c #Conflicts: 167000 | #Constraints: 12091
426.11/427.92 c #Conflicts: 168000 | #Constraints: 13091
426.11/427.92 c #Conflicts: 169000 | #Constraints: 14091
426.11/427.92 c #Conflicts: 170000 | #Constraints: 15091
426.11/427.92 c #Conflicts: 171000 | #Constraints: 16091
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 172000 | #Constraints: 8889
426.11/427.92 c #Conflicts: 173000 | #Constraints: 9889
426.11/427.92 c #Conflicts: 174000 | #Constraints: 10889
426.11/427.92 c #Conflicts: 175000 | #Constraints: 11889
426.11/427.92 c #Conflicts: 176000 | #Constraints: 12889
426.11/427.92 c #Conflicts: 177000 | #Constraints: 13889
426.11/427.92 c #Conflicts: 178000 | #Constraints: 14889
426.11/427.92 c #Conflicts: 179000 | #Constraints: 15889
426.11/427.92 c #Conflicts: 180000 | #Constraints: 16889
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 181000 | #Constraints: 9482
426.11/427.92 c #Conflicts: 182000 | #Constraints: 10482
426.11/427.92 c #Conflicts: 183000 | #Constraints: 11482
426.11/427.92 c #Conflicts: 184000 | #Constraints: 12482
426.11/427.92 c #Conflicts: 185000 | #Constraints: 13482
426.11/427.92 c #Conflicts: 186000 | #Constraints: 14482
426.11/427.92 c #Conflicts: 187000 | #Constraints: 15482
426.11/427.92 c #Conflicts: 188000 | #Constraints: 16482
426.11/427.92 c #Conflicts: 189000 | #Constraints: 17482
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 190000 | #Constraints: 9894
426.11/427.92 c #Conflicts: 191000 | #Constraints: 10894
426.11/427.92 c #Conflicts: 192000 | #Constraints: 11894
426.11/427.92 c #Conflicts: 193000 | #Constraints: 12894
426.11/427.92 c #Conflicts: 194000 | #Constraints: 13894
426.11/427.92 c #Conflicts: 195000 | #Constraints: 14894
426.11/427.92 c #Conflicts: 196000 | #Constraints: 15894
426.11/427.92 c #Conflicts: 197000 | #Constraints: 16894
426.11/427.92 c #Conflicts: 198000 | #Constraints: 17894
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 199000 | #Constraints: 10095
426.11/427.92 c #Conflicts: 200000 | #Constraints: 11095
426.11/427.92 c #Conflicts: 201000 | #Constraints: 12095
426.11/427.92 c #Conflicts: 202000 | #Constraints: 13095
426.11/427.92 c #Conflicts: 203000 | #Constraints: 14095
426.11/427.92 c #Conflicts: 204000 | #Constraints: 15095
426.11/427.92 c #Conflicts: 205000 | #Constraints: 16095
426.11/427.92 c #Conflicts: 206000 | #Constraints: 17095
426.11/427.92 c #Conflicts: 207000 | #Constraints: 18095
426.11/427.92 c INPROCESSING
426.11/427.92 c GARBAGE COLLECT
426.11/427.92 c #Conflicts: 208000 | #Constraints: 10086
426.11/427.92 c #Conflicts: 209000 | #Constraints: 11086
426.11/427.92 c #Conflicts: 210000 | #Constraints: 12086
426.11/427.92 c #Conflicts: 211000 | #Constraints: 13086
426.11/427.92 c #Conflicts: 212000 | #Constraints: 14086
426.11/427.92 c #Conflicts: 213000 | #Constraints: 15086
501.05/503.13 c #Conflicts: 214000 | #Constraints: 16086
501.05/503.13 c #Conflicts: 215000 | #Constraints: 17086
501.05/503.13 c #Conflicts: 216000 | #Constraints: 18086
501.05/503.13 c INPROCESSING
501.05/503.13 c GARBAGE COLLECT
501.05/503.13 c #Conflicts: 217000 | #Constraints: 9887
501.05/503.13 c #Conflicts: 218000 | #Constraints: 10887
501.05/503.13 c #Conflicts: 219000 | #Constraints: 11887
501.05/503.13 c #Conflicts: 220000 | #Constraints: 12887
501.05/503.13 c #Conflicts: 221000 | #Constraints: 13887
501.05/503.13 c #Conflicts: 222000 | #Constraints: 14887
501.05/503.13 c #Conflicts: 223000 | #Constraints: 15887
501.05/503.13 c #Conflicts: 224000 | #Constraints: 16887
501.05/503.13 c #Conflicts: 225000 | #Constraints: 17887
501.05/503.13 c #Conflicts: 226000 | #Constraints: 18887
501.05/503.13 c INPROCESSING
501.05/503.13 c GARBAGE COLLECT
501.05/503.13 c #Conflicts: 227000 | #Constraints: 10490
501.05/503.13 c #Conflicts: 228000 | #Constraints: 11490
501.05/503.13 c #Conflicts: 229000 | #Constraints: 12490
501.05/503.13 c #Conflicts: 230000 | #Constraints: 13490
501.05/503.13 c #Conflicts: 231000 | #Constraints: 14490
501.05/503.13 c #Conflicts: 232000 | #Constraints: 15490
501.05/503.13 c #Conflicts: 233000 | #Constraints: 16490
501.05/503.13 c #Conflicts: 234000 | #Constraints: 17490
501.05/503.13 c #Conflicts: 235000 | #Constraints: 18490
501.05/503.13 c #Conflicts: 236000 | #Constraints: 19490
501.05/503.13 c INPROCESSING
501.05/503.13 c GARBAGE COLLECT
501.05/503.13 c #Conflicts: 237000 | #Constraints: 10900
501.05/503.13 c #Conflicts: 238000 | #Constraints: 11900
501.05/503.13 c #Conflicts: 239000 | #Constraints: 12900
501.05/503.13 c #Conflicts: 240000 | #Constraints: 13900
501.05/503.13 c #Conflicts: 241000 | #Constraints: 14900
501.05/503.13 c #Conflicts: 242000 | #Constraints: 15900
501.05/503.13 c #Conflicts: 243000 | #Constraints: 16900
501.05/503.13 c #Conflicts: 244000 | #Constraints: 17900
501.05/503.13 c #Conflicts: 245000 | #Constraints: 18900
501.05/503.13 c #Conflicts: 246000 | #Constraints: 19900
501.05/503.13 c INPROCESSING
501.05/503.13 c GARBAGE COLLECT
501.05/503.13 c #Conflicts: 247000 | #Constraints: 11116
501.05/503.13 c #Conflicts: 248000 | #Constraints: 12116
501.05/503.13 c #Conflicts: 249000 | #Constraints: 13116
501.05/503.13 c #Conflicts: 250000 | #Constraints: 14116
501.05/503.13 c #Conflicts: 251000 | #Constraints: 15116
501.05/503.13 c #Conflicts: 252000 | #Constraints: 16116
501.05/503.13 c #Conflicts: 253000 | #Constraints: 17116
501.05/503.13 c #Conflicts: 254000 | #Constraints: 18116
501.05/503.13 c #Conflicts: 255000 | #Constraints: 19116
501.05/503.13 c #Conflicts: 256000 | #Constraints: 20116
501.05/503.13 c INPROCESSING
501.05/503.13 c GARBAGE COLLECT
501.05/503.13 c #Conflicts: 257000 | #Constraints: 11100
501.05/503.13 c #Conflicts: 258000 | #Constraints: 12100
501.05/503.13 c #Conflicts: 259000 | #Constraints: 13100
501.05/503.13 c #Conflicts: 260000 | #Constraints: 14100
501.05/503.13 c #Conflicts: 261000 | #Constraints: 15100
501.05/503.13 c #Conflicts: 262000 | #Constraints: 16100
501.05/503.13 c #Conflicts: 263000 | #Constraints: 17100
501.05/503.13 c #Conflicts: 264000 | #Constraints: 18100
501.05/503.13 c #Conflicts: 265000 | #Constraints: 19100
501.05/503.13 c #Conflicts: 266000 | #Constraints: 20100
501.05/503.13 c INPROCESSING
501.05/503.13 c GARBAGE COLLECT
501.05/503.13 c #Conflicts: 267000 | #Constraints: 10916
501.05/503.13 c #Conflicts: 268000 | #Constraints: 11916
501.05/503.13 c #Conflicts: 269000 | #Constraints: 12916
501.05/503.13 c #Conflicts: 270000 | #Constraints: 13916
501.05/503.13 c #Conflicts: 271000 | #Constraints: 14916
501.05/503.13 c #Conflicts: 272000 | #Constraints: 15916
501.05/503.13 c #Conflicts: 273000 | #Constraints: 16916
501.05/503.13 c #Conflicts: 274000 | #Constraints: 17916
501.05/503.13 c #Conflicts: 275000 | #Constraints: 18916
501.05/503.13 c #Conflicts: 276000 | #Constraints: 19916
501.05/503.13 c #Conflicts: 277000 | #Constraints: 20916
501.05/503.13 c INPROCESSING
501.05/503.13 c GARBAGE COLLECT
501.05/503.13 c #Conflicts: 278000 | #Constraints: 11524
501.05/503.13 c #Conflicts: 279000 | #Constraints: 12524
501.05/503.13 c #Conflicts: 280000 | #Constraints: 13524
501.05/503.13 c #Conflicts: 281000 | #Constraints: 14524
501.05/503.13 c #Conflicts: 282000 | #Constraints: 15524
501.05/503.13 c #Conflicts: 283000 | #Constraints: 16524
501.05/503.13 c #Conflicts: 284000 | #Constraints: 17524
501.05/503.13 c #Conflicts: 285000 | #Constraints: 18524
501.05/503.13 c #Conflicts: 286000 | #Constraints: 19524
501.05/503.13 c #Conflicts: 287000 | #Constraints: 20524
501.05/503.13 c #Conflicts: 288000 | #Constraints: 21524
565.71/568.08 c INPROCESSING
565.71/568.08 c GARBAGE COLLECT
565.71/568.08 c #Conflicts: 289000 | #Constraints: 11901
565.71/568.08 c #Conflicts: 290000 | #Constraints: 12901
565.71/568.08 c #Conflicts: 291000 | #Constraints: 13901
565.71/568.08 c #Conflicts: 292000 | #Constraints: 14901
565.71/568.08 c #Conflicts: 293000 | #Constraints: 15901
565.71/568.08 c #Conflicts: 294000 | #Constraints: 16901
565.71/568.08 c #Conflicts: 295000 | #Constraints: 17901
565.71/568.08 c #Conflicts: 296000 | #Constraints: 18901
565.71/568.08 c #Conflicts: 297000 | #Constraints: 19901
565.71/568.08 c #Conflicts: 298000 | #Constraints: 20901
565.71/568.08 c #Conflicts: 299000 | #Constraints: 21901
565.71/568.08 c INPROCESSING
565.71/568.08 c GARBAGE COLLECT
565.71/568.08 c #Conflicts: 300000 | #Constraints: 12114
565.71/568.08 c #Conflicts: 301000 | #Constraints: 13114
565.71/568.08 c #Conflicts: 302000 | #Constraints: 14114
565.71/568.08 c #Conflicts: 303000 | #Constraints: 15114
565.71/568.08 c #Conflicts: 304000 | #Constraints: 16114
565.71/568.08 c #Conflicts: 305000 | #Constraints: 17114
565.71/568.08 c #Conflicts: 306000 | #Constraints: 18114
565.71/568.08 c #Conflicts: 307000 | #Constraints: 19114
565.71/568.08 c #Conflicts: 308000 | #Constraints: 20114
565.71/568.08 c #Conflicts: 309000 | #Constraints: 21114
565.71/568.08 c #Conflicts: 310000 | #Constraints: 22114
565.71/568.08 c INPROCESSING
565.71/568.08 c GARBAGE COLLECT
565.71/568.08 c #Conflicts: 311000 | #Constraints: 12125
565.71/568.08 c #Conflicts: 312000 | #Constraints: 13125
565.71/568.08 c #Conflicts: 313000 | #Constraints: 14125
565.71/568.08 c #Conflicts: 314000 | #Constraints: 15125
565.71/568.08 c #Conflicts: 315000 | #Constraints: 16125
565.71/568.08 c #Conflicts: 316000 | #Constraints: 17125
565.71/568.08 c #Conflicts: 317000 | #Constraints: 18125
565.71/568.08 c #Conflicts: 318000 | #Constraints: 19125
565.71/568.08 c #Conflicts: 319000 | #Constraints: 20125
565.71/568.08 c #Conflicts: 320000 | #Constraints: 21125
565.71/568.08 c #Conflicts: 321000 | #Constraints: 22125
565.71/568.08 c INPROCESSING
565.71/568.08 c GARBAGE COLLECT
565.71/568.08 c #Conflicts: 322000 | #Constraints: 11933
565.71/568.08 c #Conflicts: 323000 | #Constraints: 12933
565.71/568.08 c #Conflicts: 324000 | #Constraints: 13933
565.71/568.08 c #Conflicts: 325000 | #Constraints: 14933
565.71/568.08 c #Conflicts: 326000 | #Constraints: 15933
565.71/568.08 c #Conflicts: 327000 | #Constraints: 16933
565.71/568.08 c #Conflicts: 328000 | #Constraints: 17933
565.71/568.08 c #Conflicts: 329000 | #Constraints: 18933
565.71/568.08 c #Conflicts: 330000 | #Constraints: 19933
565.71/568.08 c #Conflicts: 331000 | #Constraints: 20933
565.71/568.08 c #Conflicts: 332000 | #Constraints: 21933
565.71/568.08 c #Conflicts: 333000 | #Constraints: 22933
565.71/568.08 c INPROCESSING
565.71/568.08 c GARBAGE COLLECT
565.71/568.08 c #Conflicts: 334000 | #Constraints: 12519
565.71/568.08 c #Conflicts: 335000 | #Constraints: 13519
565.71/568.08 c #Conflicts: 336000 | #Constraints: 14519
565.71/568.08 c #Conflicts: 337000 | #Constraints: 15519
565.71/568.08 c #Conflicts: 338000 | #Constraints: 16519
565.71/568.08 c #Conflicts: 339000 | #Constraints: 17519
565.71/568.08 c #Conflicts: 340000 | #Constraints: 18519
565.71/568.08 c #Conflicts: 341000 | #Constraints: 19519
565.71/568.08 c #Conflicts: 342000 | #Constraints: 20519
565.71/568.08 c #Conflicts: 343000 | #Constraints: 21519
565.71/568.08 c #Conflicts: 344000 | #Constraints: 22519
565.71/568.08 c #Conflicts: 345000 | #Constraints: 23519
565.71/568.08 c INPROCESSING
565.71/568.08 c GARBAGE COLLECT
565.71/568.08 c #Conflicts: 346000 | #Constraints: 12908
565.71/568.08 c #Conflicts: 347000 | #Constraints: 13908
565.71/568.08 c #Conflicts: 348000 | #Constraints: 14908
565.71/568.08 c #Conflicts: 349000 | #Constraints: 15908
565.71/568.08 c #Conflicts: 350000 | #Constraints: 16908
565.71/568.08 c #Conflicts: 351000 | #Constraints: 17908
565.71/568.08 c #Conflicts: 352000 | #Constraints: 18908
565.71/568.08 c #Conflicts: 353000 | #Constraints: 19908
565.71/568.08 c #Conflicts: 354000 | #Constraints: 20908
565.71/568.08 c #Conflicts: 355000 | #Constraints: 21908
565.71/568.08 c #Conflicts: 356000 | #Constraints: 22908
565.71/568.08 c #Conflicts: 357000 | #Constraints: 23908
565.71/568.08 c INPROCESSING
565.71/568.08 c GARBAGE COLLECT
565.71/568.08 c #Conflicts: 358000 | #Constraints: 13099
565.71/568.08 c #Conflicts: 359000 | #Constraints: 14099
565.71/568.08 c #Conflicts: 360000 | #Constraints: 15099
565.71/568.08 c #Conflicts: 361000 | #Constraints: 16099
565.71/568.08 c #Conflicts: 362000 | #Constraints: 17099
639.55/642.18 c #Conflicts: 363000 | #Constraints: 18099
639.55/642.18 c #Conflicts: 364000 | #Constraints: 19099
639.55/642.18 c #Conflicts: 365000 | #Constraints: 20099
639.55/642.18 c #Conflicts: 366000 | #Constraints: 21099
639.55/642.18 c #Conflicts: 367000 | #Constraints: 22099
639.55/642.18 c #Conflicts: 368000 | #Constraints: 23099
639.55/642.18 c #Conflicts: 369000 | #Constraints: 24099
639.55/642.18 c INPROCESSING
639.55/642.18 c GARBAGE COLLECT
639.55/642.18 c #Conflicts: 370000 | #Constraints: 13119
639.55/642.18 c #Conflicts: 371000 | #Constraints: 14119
639.55/642.18 c #Conflicts: 372000 | #Constraints: 15119
639.55/642.18 c #Conflicts: 373000 | #Constraints: 16119
639.55/642.18 c #Conflicts: 374000 | #Constraints: 17119
639.55/642.18 c #Conflicts: 375000 | #Constraints: 18119
639.55/642.18 c #Conflicts: 376000 | #Constraints: 19119
639.55/642.18 c #Conflicts: 377000 | #Constraints: 20119
639.55/642.18 c #Conflicts: 378000 | #Constraints: 21119
639.55/642.18 c #Conflicts: 379000 | #Constraints: 22119
639.55/642.18 c #Conflicts: 380000 | #Constraints: 23119
639.55/642.18 c #Conflicts: 381000 | #Constraints: 24119
639.55/642.18 c INPROCESSING
639.55/642.18 c GARBAGE COLLECT
639.55/642.18 c #Conflicts: 382000 | #Constraints: 12929
639.55/642.18 c #Conflicts: 383000 | #Constraints: 13929
639.55/642.18 c #Conflicts: 384000 | #Constraints: 14929
639.55/642.18 c #Conflicts: 385000 | #Constraints: 15929
639.55/642.18 c #Conflicts: 386000 | #Constraints: 16929
639.55/642.18 c #Conflicts: 387000 | #Constraints: 17929
639.55/642.18 c #Conflicts: 388000 | #Constraints: 18929
639.55/642.18 c #Conflicts: 389000 | #Constraints: 19929
639.55/642.18 c #Conflicts: 390000 | #Constraints: 20929
639.55/642.18 c #Conflicts: 391000 | #Constraints: 21929
639.55/642.18 c #Conflicts: 392000 | #Constraints: 22929
639.55/642.18 c #Conflicts: 393000 | #Constraints: 23929
639.55/642.18 c #Conflicts: 394000 | #Constraints: 24929
639.55/642.18 c INPROCESSING
639.55/642.18 c GARBAGE COLLECT
639.55/642.18 c #Conflicts: 395000 | #Constraints: 13520
639.55/642.18 c #Conflicts: 396000 | #Constraints: 14520
639.55/642.18 c #Conflicts: 397000 | #Constraints: 15520
639.55/642.18 c #Conflicts: 398000 | #Constraints: 16520
639.55/642.18 c #Conflicts: 399000 | #Constraints: 17520
639.55/642.18 c #Conflicts: 400000 | #Constraints: 18520
639.55/642.18 c #Conflicts: 401000 | #Constraints: 19520
639.55/642.18 c #Conflicts: 402000 | #Constraints: 20520
639.55/642.18 c #Conflicts: 403000 | #Constraints: 21520
639.55/642.18 c #Conflicts: 404000 | #Constraints: 22520
639.55/642.18 c #Conflicts: 405000 | #Constraints: 23520
639.55/642.18 c #Conflicts: 406000 | #Constraints: 24520
639.55/642.18 c #Conflicts: 407000 | #Constraints: 25520
639.55/642.18 c INPROCESSING
639.55/642.18 c GARBAGE COLLECT
639.55/642.18 c #Conflicts: 408000 | #Constraints: 13919
639.55/642.18 c #Conflicts: 409000 | #Constraints: 14919
639.55/642.18 c #Conflicts: 410000 | #Constraints: 15919
639.55/642.18 c #Conflicts: 411000 | #Constraints: 16919
639.55/642.18 c #Conflicts: 412000 | #Constraints: 17919
639.55/642.18 c #Conflicts: 413000 | #Constraints: 18919
639.55/642.18 c #Conflicts: 414000 | #Constraints: 19919
639.55/642.18 c #Conflicts: 415000 | #Constraints: 20919
639.55/642.18 c #Conflicts: 416000 | #Constraints: 21919
639.55/642.18 c #Conflicts: 417000 | #Constraints: 22919
639.55/642.18 c #Conflicts: 418000 | #Constraints: 23919
639.55/642.18 c #Conflicts: 419000 | #Constraints: 24919
639.55/642.18 c #Conflicts: 420000 | #Constraints: 25919
639.55/642.18 c INPROCESSING
639.55/642.18 c GARBAGE COLLECT
639.55/642.18 c #Conflicts: 421000 | #Constraints: 14122
639.55/642.18 c #Conflicts: 422000 | #Constraints: 15122
639.55/642.18 c #Conflicts: 423000 | #Constraints: 16122
639.55/642.18 c #Conflicts: 424000 | #Constraints: 17122
639.55/642.18 c #Conflicts: 425000 | #Constraints: 18122
639.55/642.18 c #Conflicts: 426000 | #Constraints: 19122
639.55/642.18 c #Conflicts: 427000 | #Constraints: 20122
639.55/642.18 c #Conflicts: 428000 | #Constraints: 21122
639.55/642.18 c #Conflicts: 429000 | #Constraints: 22122
639.55/642.18 c #Conflicts: 430000 | #Constraints: 23122
639.55/642.18 c #Conflicts: 431000 | #Constraints: 24122
639.55/642.18 c #Conflicts: 432000 | #Constraints: 25122
639.55/642.18 c #Conflicts: 433000 | #Constraints: 26122
639.55/642.18 c INPROCESSING
639.55/642.18 c GARBAGE COLLECT
639.55/642.18 c #Conflicts: 434000 | #Constraints: 14135
639.55/642.18 c #Conflicts: 435000 | #Constraints: 15135
639.55/642.18 c #Conflicts: 436000 | #Constraints: 16135
639.55/642.18 c #Conflicts: 437000 | #Constraints: 17135
724.71/727.62 c #Conflicts: 438000 | #Constraints: 18135
724.71/727.62 c #Conflicts: 439000 | #Constraints: 19135
724.71/727.62 c #Conflicts: 440000 | #Constraints: 20135
724.71/727.62 c #Conflicts: 441000 | #Constraints: 21135
724.71/727.62 c #Conflicts: 442000 | #Constraints: 22135
724.71/727.62 c #Conflicts: 443000 | #Constraints: 23135
724.71/727.62 c #Conflicts: 444000 | #Constraints: 24135
724.71/727.62 c #Conflicts: 445000 | #Constraints: 25135
724.71/727.62 c #Conflicts: 446000 | #Constraints: 26135
724.71/727.62 c INPROCESSING
724.71/727.62 c GARBAGE COLLECT
724.71/727.62 c #Conflicts: 447000 | #Constraints: 13941
724.71/727.62 c #Conflicts: 448000 | #Constraints: 14941
724.71/727.62 c #Conflicts: 449000 | #Constraints: 15941
724.71/727.62 c #Conflicts: 450000 | #Constraints: 16941
724.71/727.62 c #Conflicts: 451000 | #Constraints: 17941
724.71/727.62 c #Conflicts: 452000 | #Constraints: 18941
724.71/727.62 c #Conflicts: 453000 | #Constraints: 19941
724.71/727.62 c #Conflicts: 454000 | #Constraints: 20941
724.71/727.62 c #Conflicts: 455000 | #Constraints: 21941
724.71/727.62 c #Conflicts: 456000 | #Constraints: 22941
724.71/727.62 c #Conflicts: 457000 | #Constraints: 23941
724.71/727.62 c #Conflicts: 458000 | #Constraints: 24941
724.71/727.62 c #Conflicts: 459000 | #Constraints: 25941
724.71/727.62 c #Conflicts: 460000 | #Constraints: 26941
724.71/727.62 c INPROCESSING
724.71/727.62 c GARBAGE COLLECT
724.71/727.62 c #Conflicts: 461000 | #Constraints: 14554
724.71/727.62 c #Conflicts: 462000 | #Constraints: 15554
724.71/727.62 c #Conflicts: 463000 | #Constraints: 16554
724.71/727.62 c #Conflicts: 464000 | #Constraints: 17554
724.71/727.62 c #Conflicts: 465000 | #Constraints: 18554
724.71/727.62 c #Conflicts: 466000 | #Constraints: 19554
724.71/727.62 c #Conflicts: 467000 | #Constraints: 20554
724.71/727.62 c #Conflicts: 468000 | #Constraints: 21554
724.71/727.62 c #Conflicts: 469000 | #Constraints: 22554
724.71/727.62 c #Conflicts: 470000 | #Constraints: 23554
724.71/727.62 c #Conflicts: 471000 | #Constraints: 24554
724.71/727.62 c #Conflicts: 472000 | #Constraints: 25554
724.71/727.62 c #Conflicts: 473000 | #Constraints: 26554
724.71/727.62 c #Conflicts: 474000 | #Constraints: 27554
724.71/727.62 c INPROCESSING
724.71/727.62 c GARBAGE COLLECT
724.71/727.62 c #Conflicts: 475000 | #Constraints: 14934
724.71/727.62 c #Conflicts: 476000 | #Constraints: 15934
724.71/727.62 c #Conflicts: 477000 | #Constraints: 16934
724.71/727.62 c #Conflicts: 478000 | #Constraints: 17934
724.71/727.62 c #Conflicts: 479000 | #Constraints: 18934
724.71/727.62 c #Conflicts: 480000 | #Constraints: 19934
724.71/727.62 c #Conflicts: 481000 | #Constraints: 20934
724.71/727.62 c #Conflicts: 482000 | #Constraints: 21934
724.71/727.62 c #Conflicts: 483000 | #Constraints: 22934
724.71/727.62 c #Conflicts: 484000 | #Constraints: 23934
724.71/727.62 c #Conflicts: 485000 | #Constraints: 24934
724.71/727.62 c #Conflicts: 486000 | #Constraints: 25934
724.71/727.62 c #Conflicts: 487000 | #Constraints: 26934
724.71/727.62 c #Conflicts: 488000 | #Constraints: 27934
724.71/727.62 c INPROCESSING
724.71/727.62 c GARBAGE COLLECT
724.71/727.62 c #Conflicts: 489000 | #Constraints: 15122
724.71/727.62 c #Conflicts: 490000 | #Constraints: 16122
724.71/727.62 c #Conflicts: 491000 | #Constraints: 17122
724.71/727.62 c #Conflicts: 492000 | #Constraints: 18122
724.71/727.62 c #Conflicts: 493000 | #Constraints: 19122
724.71/727.62 c #Conflicts: 494000 | #Constraints: 20122
724.71/727.62 c #Conflicts: 495000 | #Constraints: 21122
724.71/727.62 c #Conflicts: 496000 | #Constraints: 22122
724.71/727.62 c #Conflicts: 497000 | #Constraints: 23122
724.71/727.62 c #Conflicts: 498000 | #Constraints: 24122
724.71/727.62 c #Conflicts: 499000 | #Constraints: 25122
724.71/727.62 c #Conflicts: 500000 | #Constraints: 26122
724.71/727.62 c #Conflicts: 501000 | #Constraints: 27122
724.71/727.62 c #Conflicts: 502000 | #Constraints: 28122
724.71/727.62 c INPROCESSING
724.71/727.62 c GARBAGE COLLECT
724.71/727.62 c #Conflicts: 503000 | #Constraints: 15139
724.71/727.62 c #Conflicts: 504000 | #Constraints: 16139
724.71/727.62 c #Conflicts: 505000 | #Constraints: 17139
724.71/727.62 c #Conflicts: 506000 | #Constraints: 18139
724.71/727.62 c #Conflicts: 507000 | #Constraints: 19139
724.71/727.62 c #Conflicts: 508000 | #Constraints: 20139
724.71/727.62 c #Conflicts: 509000 | #Constraints: 21139
724.71/727.62 c #Conflicts: 510000 | #Constraints: 22139
724.71/727.62 c #Conflicts: 511000 | #Constraints: 23139
724.71/727.62 c #Conflicts: 512000 | #Constraints: 24139
724.71/727.62 c #Conflicts: 513000 | #Constraints: 25139
803.93/807.17 c #Conflicts: 514000 | #Constraints: 26139
803.93/807.17 c #Conflicts: 515000 | #Constraints: 27139
803.93/807.17 c #Conflicts: 516000 | #Constraints: 28139
803.93/807.17 c INPROCESSING
803.93/807.17 c GARBAGE COLLECT
803.93/807.17 c #Conflicts: 517000 | #Constraints: 14925
803.93/807.17 c #Conflicts: 518000 | #Constraints: 15925
803.93/807.17 c #Conflicts: 519000 | #Constraints: 16925
803.93/807.17 c #Conflicts: 520000 | #Constraints: 17925
803.93/807.17 c #Conflicts: 521000 | #Constraints: 18925
803.93/807.17 c #Conflicts: 522000 | #Constraints: 19925
803.93/807.17 c #Conflicts: 523000 | #Constraints: 20925
803.93/807.17 c #Conflicts: 524000 | #Constraints: 21925
803.93/807.17 c #Conflicts: 525000 | #Constraints: 22925
803.93/807.17 c #Conflicts: 526000 | #Constraints: 23925
803.93/807.17 c #Conflicts: 527000 | #Constraints: 24925
803.93/807.17 c #Conflicts: 528000 | #Constraints: 25925
803.93/807.17 c #Conflicts: 529000 | #Constraints: 26925
803.93/807.17 c #Conflicts: 530000 | #Constraints: 27925
803.93/807.17 c #Conflicts: 531000 | #Constraints: 28925
803.93/807.17 c INPROCESSING
803.93/807.18 c GARBAGE COLLECT
803.93/807.18 c #Conflicts: 532000 | #Constraints: 15530
803.93/807.18 c #Conflicts: 533000 | #Constraints: 16530
803.93/807.18 c #Conflicts: 534000 | #Constraints: 17530
803.93/807.18 c #Conflicts: 535000 | #Constraints: 18530
803.93/807.18 c #Conflicts: 536000 | #Constraints: 19530
803.93/807.18 c #Conflicts: 537000 | #Constraints: 20530
803.93/807.18 c #Conflicts: 538000 | #Constraints: 21530
803.93/807.18 c #Conflicts: 539000 | #Constraints: 22530
803.93/807.18 c #Conflicts: 540000 | #Constraints: 23530
803.93/807.18 c #Conflicts: 541000 | #Constraints: 24530
803.93/807.18 c #Conflicts: 542000 | #Constraints: 25530
803.93/807.18 c #Conflicts: 543000 | #Constraints: 26530
803.93/807.18 c #Conflicts: 544000 | #Constraints: 27530
803.93/807.18 c #Conflicts: 545000 | #Constraints: 28530
803.93/807.18 c #Conflicts: 546000 | #Constraints: 29530
803.93/807.18 c INPROCESSING
803.93/807.18 c GARBAGE COLLECT
803.93/807.18 c #Conflicts: 547000 | #Constraints: 15927
803.93/807.18 c #Conflicts: 548000 | #Constraints: 16927
803.93/807.18 c #Conflicts: 549000 | #Constraints: 17927
803.93/807.18 c #Conflicts: 550000 | #Constraints: 18927
803.93/807.18 c #Conflicts: 551000 | #Constraints: 19927
803.93/807.18 c #Conflicts: 552000 | #Constraints: 20927
803.93/807.18 c #Conflicts: 553000 | #Constraints: 21927
803.93/807.18 c #Conflicts: 554000 | #Constraints: 22927
803.93/807.18 c #Conflicts: 555000 | #Constraints: 23927
803.93/807.18 c #Conflicts: 556000 | #Constraints: 24927
803.93/807.18 c #Conflicts: 557000 | #Constraints: 25927
803.93/807.18 c #Conflicts: 558000 | #Constraints: 26927
803.93/807.18 c #Conflicts: 559000 | #Constraints: 27927
803.93/807.18 c #Conflicts: 560000 | #Constraints: 28927
803.93/807.18 c #Conflicts: 561000 | #Constraints: 29927
803.93/807.18 c INPROCESSING
803.93/807.18 c GARBAGE COLLECT
803.93/807.18 c #Conflicts: 562000 | #Constraints: 16138
803.93/807.18 c #Conflicts: 563000 | #Constraints: 17138
803.93/807.18 c #Conflicts: 564000 | #Constraints: 18138
803.93/807.18 c #Conflicts: 565000 | #Constraints: 19138
803.93/807.18 c #Conflicts: 566000 | #Constraints: 20138
803.93/807.18 c #Conflicts: 567000 | #Constraints: 21138
803.93/807.18 c #Conflicts: 568000 | #Constraints: 22138
803.93/807.18 c #Conflicts: 569000 | #Constraints: 23138
803.93/807.18 c #Conflicts: 570000 | #Constraints: 24138
803.93/807.18 c #Conflicts: 571000 | #Constraints: 25138
803.93/807.18 c #Conflicts: 572000 | #Constraints: 26138
803.93/807.18 c #Conflicts: 573000 | #Constraints: 27138
803.93/807.18 c #Conflicts: 574000 | #Constraints: 28138
803.93/807.18 c #Conflicts: 575000 | #Constraints: 29138
803.93/807.18 c #Conflicts: 576000 | #Constraints: 30138
803.93/807.18 c INPROCESSING
803.93/807.18 c GARBAGE COLLECT
803.93/807.18 c #Conflicts: 577000 | #Constraints: 16146
803.93/807.18 c #Conflicts: 578000 | #Constraints: 17146
803.93/807.18 c #Conflicts: 579000 | #Constraints: 18146
803.93/807.18 c #Conflicts: 580000 | #Constraints: 19146
803.93/807.18 c #Conflicts: 581000 | #Constraints: 20146
803.93/807.18 c #Conflicts: 582000 | #Constraints: 21146
803.93/807.18 c #Conflicts: 583000 | #Constraints: 22146
803.93/807.18 c #Conflicts: 584000 | #Constraints: 23146
803.93/807.18 c #Conflicts: 585000 | #Constraints: 24146
803.93/807.18 c #Conflicts: 586000 | #Constraints: 25146
803.93/807.18 c #Conflicts: 587000 | #Constraints: 26146
803.93/807.18 c #Conflicts: 588000 | #Constraints: 27146
892.13/895.63 c #Conflicts: 589000 | #Constraints: 28146
892.13/895.63 c #Conflicts: 590000 | #Constraints: 29146
892.13/895.63 c #Conflicts: 591000 | #Constraints: 30146
892.13/895.63 c INPROCESSING
892.13/895.63 c GARBAGE COLLECT
892.13/895.63 c #Conflicts: 592000 | #Constraints: 15944
892.13/895.63 c #Conflicts: 593000 | #Constraints: 16944
892.13/895.63 c #Conflicts: 594000 | #Constraints: 17944
892.13/895.63 c #Conflicts: 595000 | #Constraints: 18944
892.13/895.63 c #Conflicts: 596000 | #Constraints: 19944
892.13/895.63 c #Conflicts: 597000 | #Constraints: 20944
892.13/895.63 c #Conflicts: 598000 | #Constraints: 21944
892.13/895.63 c #Conflicts: 599000 | #Constraints: 22944
892.13/895.63 c #Conflicts: 600000 | #Constraints: 23944
892.13/895.63 c #Conflicts: 601000 | #Constraints: 24944
892.13/895.63 c #Conflicts: 602000 | #Constraints: 25944
892.13/895.63 c #Conflicts: 603000 | #Constraints: 26944
892.13/895.63 c #Conflicts: 604000 | #Constraints: 27944
892.13/895.63 c #Conflicts: 605000 | #Constraints: 28944
892.13/895.63 c #Conflicts: 606000 | #Constraints: 29944
892.13/895.63 c #Conflicts: 607000 | #Constraints: 30944
892.13/895.63 c INPROCESSING
892.13/895.63 c GARBAGE COLLECT
892.13/895.63 c #Conflicts: 608000 | #Constraints: 16545
892.13/895.63 c #Conflicts: 609000 | #Constraints: 17545
892.13/895.63 c #Conflicts: 610000 | #Constraints: 18545
892.13/895.63 c #Conflicts: 611000 | #Constraints: 19545
892.13/895.63 c #Conflicts: 612000 | #Constraints: 20545
892.13/895.63 c #Conflicts: 613000 | #Constraints: 21545
892.13/895.63 c #Conflicts: 614000 | #Constraints: 22545
892.13/895.63 c #Conflicts: 615000 | #Constraints: 23545
892.13/895.63 c #Conflicts: 616000 | #Constraints: 24545
892.13/895.63 c #Conflicts: 617000 | #Constraints: 25545
892.13/895.63 c #Conflicts: 618000 | #Constraints: 26545
892.13/895.63 c #Conflicts: 619000 | #Constraints: 27545
892.13/895.63 c #Conflicts: 620000 | #Constraints: 28545
892.13/895.63 c #Conflicts: 621000 | #Constraints: 29545
892.13/895.63 c #Conflicts: 622000 | #Constraints: 30545
892.13/895.63 c #Conflicts: 623000 | #Constraints: 31545
892.13/895.63 c INPROCESSING
892.13/895.63 c GARBAGE COLLECT
892.13/895.63 c #Conflicts: 624000 | #Constraints: 16936
892.13/895.63 c #Conflicts: 625000 | #Constraints: 17936
892.13/895.63 c #Conflicts: 626000 | #Constraints: 18936
892.13/895.63 c #Conflicts: 627000 | #Constraints: 19936
892.13/895.63 c #Conflicts: 628000 | #Constraints: 20936
892.13/895.63 c #Conflicts: 629000 | #Constraints: 21936
892.13/895.63 c #Conflicts: 630000 | #Constraints: 22936
892.13/895.63 c #Conflicts: 631000 | #Constraints: 23936
892.13/895.63 c #Conflicts: 632000 | #Constraints: 24936
892.13/895.63 c #Conflicts: 633000 | #Constraints: 25936
892.13/895.63 c #Conflicts: 634000 | #Constraints: 26936
892.13/895.63 c #Conflicts: 635000 | #Constraints: 27936
892.13/895.63 c #Conflicts: 636000 | #Constraints: 28936
892.13/895.63 c #Conflicts: 637000 | #Constraints: 29936
892.13/895.63 c #Conflicts: 638000 | #Constraints: 30936
892.13/895.63 c #Conflicts: 639000 | #Constraints: 31936
892.13/895.63 c INPROCESSING
892.13/895.63 c GARBAGE COLLECT
892.13/895.63 c #Conflicts: 640000 | #Constraints: 17136
892.13/895.63 c #Conflicts: 641000 | #Constraints: 18136
892.13/895.63 c #Conflicts: 642000 | #Constraints: 19136
892.13/895.63 c #Conflicts: 643000 | #Constraints: 20136
892.13/895.63 c #Conflicts: 644000 | #Constraints: 21136
892.13/895.63 c #Conflicts: 645000 | #Constraints: 22136
892.13/895.63 c #Conflicts: 646000 | #Constraints: 23136
892.13/895.63 c #Conflicts: 647000 | #Constraints: 24136
892.13/895.63 c #Conflicts: 648000 | #Constraints: 25136
892.13/895.63 c #Conflicts: 649000 | #Constraints: 26136
892.13/895.63 c #Conflicts: 650000 | #Constraints: 27136
892.13/895.63 c #Conflicts: 651000 | #Constraints: 28136
892.13/895.63 c #Conflicts: 652000 | #Constraints: 29136
892.13/895.63 c #Conflicts: 653000 | #Constraints: 30136
892.13/895.63 c #Conflicts: 654000 | #Constraints: 31136
892.13/895.63 c #Conflicts: 655000 | #Constraints: 32136
892.13/895.63 c INPROCESSING
892.13/895.63 c GARBAGE COLLECT
892.13/895.63 c #Conflicts: 656000 | #Constraints: 17131
892.13/895.63 c #Conflicts: 657000 | #Constraints: 18131
892.13/895.63 c #Conflicts: 658000 | #Constraints: 19131
892.13/895.63 c #Conflicts: 659000 | #Constraints: 20131
892.13/895.63 c #Conflicts: 660000 | #Constraints: 21131
892.13/895.63 c #Conflicts: 661000 | #Constraints: 22131
892.13/895.63 c #Conflicts: 662000 | #Constraints: 23131
892.13/895.63 c #Conflicts: 663000 | #Constraints: 24131
892.13/895.63 c #Conflicts: 664000 | #Constraints: 25131
985.12/988.93 c #Conflicts: 665000 | #Constraints: 26131
985.12/988.93 c #Conflicts: 666000 | #Constraints: 27131
985.12/988.93 c #Conflicts: 667000 | #Constraints: 28131
985.12/988.93 c #Conflicts: 668000 | #Constraints: 29131
985.12/988.93 c #Conflicts: 669000 | #Constraints: 30131
985.12/988.93 c #Conflicts: 670000 | #Constraints: 31131
985.12/988.93 c #Conflicts: 671000 | #Constraints: 32131
985.12/988.93 c INPROCESSING
985.12/988.93 c GARBAGE COLLECT
985.12/988.93 c #Conflicts: 672000 | #Constraints: 16931
985.12/988.93 c #Conflicts: 673000 | #Constraints: 17931
985.12/988.93 c #Conflicts: 674000 | #Constraints: 18931
985.12/988.93 c #Conflicts: 675000 | #Constraints: 19931
985.12/988.93 c #Conflicts: 676000 | #Constraints: 20931
985.12/988.93 c #Conflicts: 677000 | #Constraints: 21931
985.12/988.93 c #Conflicts: 678000 | #Constraints: 22931
985.12/988.93 c #Conflicts: 679000 | #Constraints: 23931
985.12/988.93 c #Conflicts: 680000 | #Constraints: 24931
985.12/988.93 c #Conflicts: 681000 | #Constraints: 25931
985.12/988.93 c #Conflicts: 682000 | #Constraints: 26931
985.12/988.93 c #Conflicts: 683000 | #Constraints: 27931
985.12/988.93 c #Conflicts: 684000 | #Constraints: 28931
985.12/988.93 c #Conflicts: 685000 | #Constraints: 29931
985.12/988.93 c #Conflicts: 686000 | #Constraints: 30931
985.12/988.93 c #Conflicts: 687000 | #Constraints: 31931
985.12/988.93 c #Conflicts: 688000 | #Constraints: 32931
985.12/988.93 c INPROCESSING
985.12/988.93 c GARBAGE COLLECT
985.12/988.93 c #Conflicts: 689000 | #Constraints: 17532
985.12/988.93 c #Conflicts: 690000 | #Constraints: 18532
985.12/988.93 c #Conflicts: 691000 | #Constraints: 19532
985.12/988.93 c #Conflicts: 692000 | #Constraints: 20532
985.12/988.93 c #Conflicts: 693000 | #Constraints: 21532
985.12/988.93 c #Conflicts: 694000 | #Constraints: 22532
985.12/988.93 c #Conflicts: 695000 | #Constraints: 23532
985.12/988.93 c #Conflicts: 696000 | #Constraints: 24532
985.12/988.93 c #Conflicts: 697000 | #Constraints: 25532
985.12/988.93 c #Conflicts: 698000 | #Constraints: 26532
985.12/988.93 c #Conflicts: 699000 | #Constraints: 27532
985.12/988.93 c #Conflicts: 700000 | #Constraints: 28532
985.12/988.93 c #Conflicts: 701000 | #Constraints: 29532
985.12/988.93 c #Conflicts: 702000 | #Constraints: 30532
985.12/988.93 c #Conflicts: 703000 | #Constraints: 31532
985.12/988.93 c #Conflicts: 704000 | #Constraints: 32532
985.12/988.93 c #Conflicts: 705000 | #Constraints: 33532
985.12/988.93 c INPROCESSING
985.12/988.93 c GARBAGE COLLECT
985.12/988.93 c #Conflicts: 706000 | #Constraints: 17930
985.12/988.93 c #Conflicts: 707000 | #Constraints: 18930
985.12/988.93 c #Conflicts: 708000 | #Constraints: 19930
985.12/988.93 c #Conflicts: 709000 | #Constraints: 20930
985.12/988.93 c #Conflicts: 710000 | #Constraints: 21930
985.12/988.93 c #Conflicts: 711000 | #Constraints: 22930
985.12/988.93 c #Conflicts: 712000 | #Constraints: 23930
985.12/988.93 c #Conflicts: 713000 | #Constraints: 24930
985.12/988.93 c #Conflicts: 714000 | #Constraints: 25930
985.12/988.93 c #Conflicts: 715000 | #Constraints: 26930
985.12/988.93 c #Conflicts: 716000 | #Constraints: 27930
985.12/988.93 c #Conflicts: 717000 | #Constraints: 28930
985.12/988.93 c #Conflicts: 718000 | #Constraints: 29930
985.12/988.93 c #Conflicts: 719000 | #Constraints: 30930
985.12/988.93 c #Conflicts: 720000 | #Constraints: 31930
985.12/988.93 c #Conflicts: 721000 | #Constraints: 32930
985.12/988.93 c #Conflicts: 722000 | #Constraints: 33930
985.12/988.93 c INPROCESSING
985.12/988.93 c GARBAGE COLLECT
985.12/988.93 c #Conflicts: 723000 | #Constraints: 18166
985.12/988.93 c #Conflicts: 724000 | #Constraints: 19166
985.12/988.93 c #Conflicts: 725000 | #Constraints: 20166
985.12/988.93 c #Conflicts: 726000 | #Constraints: 21166
985.12/988.93 c #Conflicts: 727000 | #Constraints: 22166
985.12/988.93 c #Conflicts: 728000 | #Constraints: 23166
985.12/988.93 c #Conflicts: 729000 | #Constraints: 24166
985.12/988.93 c #Conflicts: 730000 | #Constraints: 25166
985.12/988.93 c #Conflicts: 731000 | #Constraints: 26166
985.12/988.93 c #Conflicts: 732000 | #Constraints: 27166
985.12/988.93 c #Conflicts: 733000 | #Constraints: 28166
985.12/988.93 c #Conflicts: 734000 | #Constraints: 29166
985.12/988.93 c #Conflicts: 735000 | #Constraints: 30166
985.12/988.93 c #Conflicts: 736000 | #Constraints: 31166
985.12/988.93 c #Conflicts: 737000 | #Constraints: 32166
985.12/988.93 c #Conflicts: 738000 | #Constraints: 33166
985.12/988.93 c #Conflicts: 739000 | #Constraints: 34166
985.12/988.93 c INPROCESSING
985.12/988.93 c GARBAGE COLLECT
1066.66/1070.70 c #Conflicts: 740000 | #Constraints: 18153
1066.66/1070.70 c #Conflicts: 741000 | #Constraints: 19153
1066.66/1070.70 c #Conflicts: 742000 | #Constraints: 20153
1066.66/1070.70 c #Conflicts: 743000 | #Constraints: 21153
1066.66/1070.70 c #Conflicts: 744000 | #Constraints: 22153
1066.66/1070.70 c #Conflicts: 745000 | #Constraints: 23153
1066.66/1070.70 c #Conflicts: 746000 | #Constraints: 24153
1066.66/1070.70 c #Conflicts: 747000 | #Constraints: 25153
1066.66/1070.70 c #Conflicts: 748000 | #Constraints: 26153
1066.66/1070.70 c #Conflicts: 749000 | #Constraints: 27153
1066.66/1070.70 c #Conflicts: 750000 | #Constraints: 28153
1066.66/1070.70 c #Conflicts: 751000 | #Constraints: 29153
1066.66/1070.70 c #Conflicts: 752000 | #Constraints: 30153
1066.66/1070.70 c #Conflicts: 753000 | #Constraints: 31153
1066.66/1070.70 c #Conflicts: 754000 | #Constraints: 32153
1066.66/1070.70 c #Conflicts: 755000 | #Constraints: 33153
1066.66/1070.70 c #Conflicts: 756000 | #Constraints: 34153
1066.66/1070.70 c INPROCESSING
1066.66/1070.70 c GARBAGE COLLECT
1066.66/1070.70 c #Conflicts: 757000 | #Constraints: 17930
1066.66/1070.70 c #Conflicts: 758000 | #Constraints: 18930
1066.66/1070.70 c #Conflicts: 759000 | #Constraints: 19930
1066.66/1070.70 c #Conflicts: 760000 | #Constraints: 20930
1066.66/1070.70 c #Conflicts: 761000 | #Constraints: 21930
1066.66/1070.70 c #Conflicts: 762000 | #Constraints: 22930
1066.66/1070.70 c #Conflicts: 763000 | #Constraints: 23930
1066.66/1070.70 c #Conflicts: 764000 | #Constraints: 24930
1066.66/1070.70 c #Conflicts: 765000 | #Constraints: 25930
1066.66/1070.70 c #Conflicts: 766000 | #Constraints: 26930
1066.66/1070.70 c #Conflicts: 767000 | #Constraints: 27930
1066.66/1070.70 c #Conflicts: 768000 | #Constraints: 28930
1066.66/1070.70 c #Conflicts: 769000 | #Constraints: 29930
1066.66/1070.70 c #Conflicts: 770000 | #Constraints: 30930
1066.66/1070.70 c #Conflicts: 771000 | #Constraints: 31930
1066.66/1070.70 c #Conflicts: 772000 | #Constraints: 32930
1066.66/1070.70 c #Conflicts: 773000 | #Constraints: 33930
1066.66/1070.70 c #Conflicts: 774000 | #Constraints: 34930
1066.66/1070.70 c INPROCESSING
1066.66/1070.70 c GARBAGE COLLECT
1066.66/1070.70 c #Conflicts: 775000 | #Constraints: 18551
1066.66/1070.70 c #Conflicts: 776000 | #Constraints: 19551
1066.66/1070.70 c #Conflicts: 777000 | #Constraints: 20551
1066.66/1070.70 c #Conflicts: 778000 | #Constraints: 21551
1066.66/1070.70 c #Conflicts: 779000 | #Constraints: 22551
1066.66/1070.70 c #Conflicts: 780000 | #Constraints: 23551
1066.66/1070.70 c #Conflicts: 781000 | #Constraints: 24551
1066.66/1070.70 c #Conflicts: 782000 | #Constraints: 25551
1066.66/1070.70 c #Conflicts: 783000 | #Constraints: 26551
1066.66/1070.70 c #Conflicts: 784000 | #Constraints: 27551
1066.66/1070.70 c #Conflicts: 785000 | #Constraints: 28551
1066.66/1070.70 c #Conflicts: 786000 | #Constraints: 29551
1066.66/1070.70 c #Conflicts: 787000 | #Constraints: 30551
1066.66/1070.70 c #Conflicts: 788000 | #Constraints: 31551
1066.66/1070.70 c #Conflicts: 789000 | #Constraints: 32551
1066.66/1070.70 c #Conflicts: 790000 | #Constraints: 33551
1066.66/1070.70 c #Conflicts: 791000 | #Constraints: 34551
1066.66/1070.70 c #Conflicts: 792000 | #Constraints: 35551
1066.66/1070.70 c INPROCESSING
1066.66/1070.70 c GARBAGE COLLECT
1066.66/1070.70 c #Conflicts: 793000 | #Constraints: 18931
1066.66/1070.70 c #Conflicts: 794000 | #Constraints: 19931
1066.66/1070.70 c #Conflicts: 795000 | #Constraints: 20931
1066.66/1070.70 c #Conflicts: 796000 | #Constraints: 21931
1066.66/1070.70 c #Conflicts: 797000 | #Constraints: 22931
1066.66/1070.70 c #Conflicts: 798000 | #Constraints: 23931
1066.66/1070.70 c #Conflicts: 799000 | #Constraints: 24931
1066.66/1070.70 c #Conflicts: 800000 | #Constraints: 25931
1066.66/1070.70 c #Conflicts: 801000 | #Constraints: 26931
1066.66/1070.70 c #Conflicts: 802000 | #Constraints: 27931
1066.66/1070.70 c #Conflicts: 803000 | #Constraints: 28931
1066.66/1070.70 c #Conflicts: 804000 | #Constraints: 29931
1066.66/1070.70 c #Conflicts: 805000 | #Constraints: 30931
1066.66/1070.70 c #Conflicts: 806000 | #Constraints: 31931
1066.66/1070.70 c #Conflicts: 807000 | #Constraints: 32931
1066.66/1070.70 c #Conflicts: 808000 | #Constraints: 33931
1066.66/1070.70 c #Conflicts: 809000 | #Constraints: 34931
1066.66/1070.70 c #Conflicts: 810000 | #Constraints: 35931
1066.66/1070.70 c INPROCESSING
1066.66/1070.70 c GARBAGE COLLECT
1066.66/1070.70 c #Conflicts: 811000 | #Constraints: 19151
1066.66/1070.70 c #Conflicts: 812000 | #Constraints: 20151
1066.66/1070.70 c #Conflicts: 813000 | #Constraints: 21151
1066.66/1070.70 c #Conflicts: 814000 | #Constraints: 22151
1066.66/1070.70 c #Conflicts: 815000 | #Constraints: 23151
1066.66/1070.70 c #Conflicts: 816000 | #Constraints: 24151
1165.33/1169.79 c #Conflicts: 817000 | #Constraints: 25151
1165.33/1169.79 c #Conflicts: 818000 | #Constraints: 26151
1165.33/1169.79 c #Conflicts: 819000 | #Constraints: 27151
1165.33/1169.79 c #Conflicts: 820000 | #Constraints: 28151
1165.33/1169.79 c #Conflicts: 821000 | #Constraints: 29151
1165.33/1169.79 c #Conflicts: 822000 | #Constraints: 30151
1165.33/1169.79 c #Conflicts: 823000 | #Constraints: 31151
1165.33/1169.79 c #Conflicts: 824000 | #Constraints: 32151
1165.33/1169.79 c #Conflicts: 825000 | #Constraints: 33151
1165.33/1169.79 c #Conflicts: 826000 | #Constraints: 34151
1165.33/1169.79 c #Conflicts: 827000 | #Constraints: 35151
1165.33/1169.79 c #Conflicts: 828000 | #Constraints: 36151
1165.33/1169.79 c INPROCESSING
1165.33/1169.79 c GARBAGE COLLECT
1165.33/1169.79 c #Conflicts: 829000 | #Constraints: 19146
1165.33/1169.79 c #Conflicts: 830000 | #Constraints: 20146
1165.33/1169.79 c #Conflicts: 831000 | #Constraints: 21146
1165.33/1169.79 c #Conflicts: 832000 | #Constraints: 22146
1165.33/1169.79 c #Conflicts: 833000 | #Constraints: 23146
1165.33/1169.79 c #Conflicts: 834000 | #Constraints: 24146
1165.33/1169.79 c #Conflicts: 835000 | #Constraints: 25146
1165.33/1169.79 c #Conflicts: 836000 | #Constraints: 26146
1165.33/1169.79 c #Conflicts: 837000 | #Constraints: 27146
1165.33/1169.79 c #Conflicts: 838000 | #Constraints: 28146
1165.33/1169.79 c #Conflicts: 839000 | #Constraints: 29146
1165.33/1169.79 c #Conflicts: 840000 | #Constraints: 30146
1165.33/1169.79 c #Conflicts: 841000 | #Constraints: 31146
1165.33/1169.79 c #Conflicts: 842000 | #Constraints: 32146
1165.33/1169.79 c #Conflicts: 843000 | #Constraints: 33146
1165.33/1169.79 c #Conflicts: 844000 | #Constraints: 34146
1165.33/1169.79 c #Conflicts: 845000 | #Constraints: 35146
1165.33/1169.79 c #Conflicts: 846000 | #Constraints: 36146
1165.33/1169.79 c INPROCESSING
1165.33/1169.79 c GARBAGE COLLECT
1165.33/1169.79 c #Conflicts: 847000 | #Constraints: 18937
1165.33/1169.79 c #Conflicts: 848000 | #Constraints: 19937
1165.33/1169.79 c #Conflicts: 849000 | #Constraints: 20937
1165.33/1169.79 c #Conflicts: 850000 | #Constraints: 21937
1165.33/1169.79 c #Conflicts: 851000 | #Constraints: 22937
1165.33/1169.79 c #Conflicts: 852000 | #Constraints: 23937
1165.33/1169.79 c #Conflicts: 853000 | #Constraints: 24937
1165.33/1169.79 c #Conflicts: 854000 | #Constraints: 25937
1165.33/1169.79 c #Conflicts: 855000 | #Constraints: 26937
1165.33/1169.79 c #Conflicts: 856000 | #Constraints: 27937
1165.33/1169.79 c #Conflicts: 857000 | #Constraints: 28937
1165.33/1169.79 c #Conflicts: 858000 | #Constraints: 29937
1165.33/1169.79 c #Conflicts: 859000 | #Constraints: 30937
1165.33/1169.79 c #Conflicts: 860000 | #Constraints: 31937
1165.33/1169.79 c #Conflicts: 861000 | #Constraints: 32937
1165.33/1169.79 c #Conflicts: 862000 | #Constraints: 33937
1165.33/1169.79 c #Conflicts: 863000 | #Constraints: 34937
1165.33/1169.79 c #Conflicts: 864000 | #Constraints: 35937
1165.33/1169.79 c #Conflicts: 865000 | #Constraints: 36937
1165.33/1169.79 c INPROCESSING
1165.33/1169.79 c GARBAGE COLLECT
1165.33/1169.79 c #Conflicts: 866000 | #Constraints: 19522
1165.33/1169.79 c #Conflicts: 867000 | #Constraints: 20522
1165.33/1169.79 c #Conflicts: 868000 | #Constraints: 21522
1165.33/1169.79 c #Conflicts: 869000 | #Constraints: 22522
1165.33/1169.79 c #Conflicts: 870000 | #Constraints: 23522
1165.33/1169.79 c #Conflicts: 871000 | #Constraints: 24522
1165.33/1169.79 c #Conflicts: 872000 | #Constraints: 25522
1165.33/1169.79 c #Conflicts: 873000 | #Constraints: 26522
1165.33/1169.79 c #Conflicts: 874000 | #Constraints: 27522
1165.33/1169.79 c #Conflicts: 875000 | #Constraints: 28522
1165.33/1169.79 c #Conflicts: 876000 | #Constraints: 29522
1165.33/1169.79 c #Conflicts: 877000 | #Constraints: 30522
1165.33/1169.79 c #Conflicts: 878000 | #Constraints: 31522
1165.33/1169.79 c #Conflicts: 879000 | #Constraints: 32522
1165.33/1169.79 c #Conflicts: 880000 | #Constraints: 33522
1165.33/1169.79 c #Conflicts: 881000 | #Constraints: 34522
1165.33/1169.79 c #Conflicts: 882000 | #Constraints: 35522
1165.33/1169.79 c #Conflicts: 883000 | #Constraints: 36522
1165.33/1169.79 c #Conflicts: 884000 | #Constraints: 37522
1165.33/1169.79 c INPROCESSING
1165.33/1169.79 c GARBAGE COLLECT
1165.33/1169.79 c #Conflicts: 885000 | #Constraints: 19952
1165.33/1169.79 c #Conflicts: 886000 | #Constraints: 20952
1165.33/1169.79 c #Conflicts: 887000 | #Constraints: 21952
1165.33/1169.79 c #Conflicts: 888000 | #Constraints: 22952
1165.33/1169.79 c #Conflicts: 889000 | #Constraints: 23952
1165.33/1169.79 c #Conflicts: 890000 | #Constraints: 24952
1165.33/1169.79 c #Conflicts: 891000 | #Constraints: 25952
1165.33/1169.79 c #Conflicts: 892000 | #Constraints: 26952
1276.08/1280.85 c #Conflicts: 893000 | #Constraints: 27952
1276.08/1280.85 c #Conflicts: 894000 | #Constraints: 28952
1276.08/1280.85 c #Conflicts: 895000 | #Constraints: 29952
1276.08/1280.85 c #Conflicts: 896000 | #Constraints: 30952
1276.08/1280.85 c #Conflicts: 897000 | #Constraints: 31952
1276.08/1280.85 c #Conflicts: 898000 | #Constraints: 32952
1276.08/1280.85 c #Conflicts: 899000 | #Constraints: 33952
1276.08/1280.85 c #Conflicts: 900000 | #Constraints: 34952
1276.08/1280.85 c #Conflicts: 901000 | #Constraints: 35952
1276.08/1280.85 c #Conflicts: 902000 | #Constraints: 36952
1276.08/1280.85 c #Conflicts: 903000 | #Constraints: 37952
1276.08/1280.85 c INPROCESSING
1276.08/1280.85 c GARBAGE COLLECT
1276.08/1280.85 c #Conflicts: 904000 | #Constraints: 20149
1276.08/1280.85 c #Conflicts: 905000 | #Constraints: 21149
1276.08/1280.85 c #Conflicts: 906000 | #Constraints: 22149
1276.08/1280.85 c #Conflicts: 907000 | #Constraints: 23149
1276.08/1280.85 c #Conflicts: 908000 | #Constraints: 24149
1276.08/1280.85 c #Conflicts: 909000 | #Constraints: 25149
1276.08/1280.85 c #Conflicts: 910000 | #Constraints: 26149
1276.08/1280.85 c #Conflicts: 911000 | #Constraints: 27149
1276.08/1280.85 c #Conflicts: 912000 | #Constraints: 28149
1276.08/1280.85 c #Conflicts: 913000 | #Constraints: 29149
1276.08/1280.85 c #Conflicts: 914000 | #Constraints: 30149
1276.08/1280.85 c #Conflicts: 915000 | #Constraints: 31149
1276.08/1280.85 c #Conflicts: 916000 | #Constraints: 32149
1276.08/1280.85 c #Conflicts: 917000 | #Constraints: 33149
1276.08/1280.85 c #Conflicts: 918000 | #Constraints: 34149
1276.08/1280.85 c #Conflicts: 919000 | #Constraints: 35149
1276.08/1280.85 c #Conflicts: 920000 | #Constraints: 36149
1276.08/1280.85 c #Conflicts: 921000 | #Constraints: 37149
1276.08/1280.85 c #Conflicts: 922000 | #Constraints: 38149
1276.08/1280.85 c INPROCESSING
1276.08/1280.85 c GARBAGE COLLECT
1276.08/1280.85 c #Conflicts: 923000 | #Constraints: 20169
1276.08/1280.85 c #Conflicts: 924000 | #Constraints: 21169
1276.08/1280.85 c #Conflicts: 925000 | #Constraints: 22169
1276.08/1280.85 c #Conflicts: 926000 | #Constraints: 23169
1276.08/1280.85 c #Conflicts: 927000 | #Constraints: 24169
1276.08/1280.85 c #Conflicts: 928000 | #Constraints: 25169
1276.08/1280.85 c #Conflicts: 929000 | #Constraints: 26169
1276.08/1280.85 c #Conflicts: 930000 | #Constraints: 27169
1276.08/1280.85 c #Conflicts: 931000 | #Constraints: 28169
1276.08/1280.85 c #Conflicts: 932000 | #Constraints: 29169
1276.08/1280.85 c #Conflicts: 933000 | #Constraints: 30169
1276.08/1280.85 c #Conflicts: 934000 | #Constraints: 31169
1276.08/1280.85 c #Conflicts: 935000 | #Constraints: 32169
1276.08/1280.85 c #Conflicts: 936000 | #Constraints: 33169
1276.08/1280.85 c #Conflicts: 937000 | #Constraints: 34169
1276.08/1280.85 c #Conflicts: 938000 | #Constraints: 35169
1276.08/1280.85 c #Conflicts: 939000 | #Constraints: 36169
1276.08/1280.85 c #Conflicts: 940000 | #Constraints: 37169
1276.08/1280.85 c #Conflicts: 941000 | #Constraints: 38169
1276.08/1280.85 c INPROCESSING
1276.08/1280.85 c GARBAGE COLLECT
1276.08/1280.85 c #Conflicts: 942000 | #Constraints: 19980
1276.08/1280.85 c #Conflicts: 943000 | #Constraints: 20980
1276.08/1280.85 c #Conflicts: 944000 | #Constraints: 21980
1276.08/1280.85 c #Conflicts: 945000 | #Constraints: 22980
1276.08/1280.85 c #Conflicts: 946000 | #Constraints: 23980
1276.08/1280.85 c #Conflicts: 947000 | #Constraints: 24980
1276.08/1280.85 c #Conflicts: 948000 | #Constraints: 25980
1276.08/1280.85 c #Conflicts: 949000 | #Constraints: 26980
1276.08/1280.85 c #Conflicts: 950000 | #Constraints: 27980
1276.08/1280.85 c #Conflicts: 951000 | #Constraints: 28980
1276.08/1280.85 c #Conflicts: 952000 | #Constraints: 29980
1276.08/1280.85 c #Conflicts: 953000 | #Constraints: 30980
1276.08/1280.85 c #Conflicts: 954000 | #Constraints: 31980
1276.08/1280.85 c #Conflicts: 955000 | #Constraints: 32980
1276.08/1280.85 c #Conflicts: 956000 | #Constraints: 33980
1276.08/1280.85 c #Conflicts: 957000 | #Constraints: 34980
1276.08/1280.85 c #Conflicts: 958000 | #Constraints: 35980
1276.08/1280.85 c #Conflicts: 959000 | #Constraints: 36980
1276.08/1280.85 c #Conflicts: 960000 | #Constraints: 37980
1276.08/1280.85 c #Conflicts: 961000 | #Constraints: 38980
1276.08/1280.85 c INPROCESSING
1276.08/1280.85 c GARBAGE COLLECT
1276.08/1280.85 c #Conflicts: 962000 | #Constraints: 20582
1276.08/1280.85 c #Conflicts: 963000 | #Constraints: 21582
1276.08/1280.85 c #Conflicts: 964000 | #Constraints: 22582
1276.08/1280.85 c #Conflicts: 965000 | #Constraints: 23582
1276.08/1280.85 c #Conflicts: 966000 | #Constraints: 24582
1276.08/1280.85 c #Conflicts: 967000 | #Constraints: 25582
1276.08/1280.85 c #Conflicts: 968000 | #Constraints: 26582
1427.08/1432.32 c #Conflicts: 969000 | #Constraints: 27582
1427.08/1432.32 c #Conflicts: 970000 | #Constraints: 28582
1427.08/1432.32 c #Conflicts: 971000 | #Constraints: 29582
1427.08/1432.32 c #Conflicts: 972000 | #Constraints: 30582
1427.08/1432.32 c #Conflicts: 973000 | #Constraints: 31582
1427.08/1432.32 c #Conflicts: 974000 | #Constraints: 32582
1427.08/1432.32 c #Conflicts: 975000 | #Constraints: 33582
1427.08/1432.32 c #Conflicts: 976000 | #Constraints: 34582
1427.08/1432.32 c #Conflicts: 977000 | #Constraints: 35582
1427.08/1432.32 c #Conflicts: 978000 | #Constraints: 36582
1427.08/1432.32 c #Conflicts: 979000 | #Constraints: 37582
1427.08/1432.32 c #Conflicts: 980000 | #Constraints: 38582
1427.08/1432.32 c #Conflicts: 981000 | #Constraints: 39582
1427.08/1432.32 c INPROCESSING
1427.08/1432.32 c GARBAGE COLLECT
1427.08/1432.32 c #Conflicts: 982000 | #Constraints: 21001
1427.08/1432.32 c #Conflicts: 983000 | #Constraints: 22001
1427.08/1432.32 c #Conflicts: 984000 | #Constraints: 23001
1427.08/1432.32 c #Conflicts: 985000 | #Constraints: 24001
1427.08/1432.32 c #Conflicts: 986000 | #Constraints: 25001
1427.08/1432.32 c #Conflicts: 987000 | #Constraints: 26001
1427.08/1432.32 c #Conflicts: 988000 | #Constraints: 27001
1427.08/1432.32 c #Conflicts: 989000 | #Constraints: 28001
1427.08/1432.32 c #Conflicts: 990000 | #Constraints: 29001
1427.08/1432.32 c #Conflicts: 991000 | #Constraints: 30001
1427.08/1432.32 c #Conflicts: 992000 | #Constraints: 31001
1427.08/1432.32 c #Conflicts: 993000 | #Constraints: 32001
1427.08/1432.32 c #Conflicts: 994000 | #Constraints: 33001
1427.08/1432.32 c #Conflicts: 995000 | #Constraints: 34001
1427.08/1432.32 c #Conflicts: 996000 | #Constraints: 35001
1427.08/1432.32 c #Conflicts: 997000 | #Constraints: 36001
1427.08/1432.32 c #Conflicts: 998000 | #Constraints: 37001
1427.08/1432.32 c #Conflicts: 999000 | #Constraints: 38001
1427.08/1432.32 c #Conflicts: 1000000 | #Constraints: 39001
1427.08/1432.32 c #Conflicts: 1001000 | #Constraints: 40001
1427.08/1432.32 c INPROCESSING
1427.08/1432.32 c GARBAGE COLLECT
1427.08/1432.32 c #Conflicts: 1002000 | #Constraints: 21185
1427.08/1432.32 c #Conflicts: 1003000 | #Constraints: 22185
1427.08/1432.32 c #Conflicts: 1004000 | #Constraints: 23185
1427.08/1432.32 c #Conflicts: 1005000 | #Constraints: 24185
1427.08/1432.32 c #Conflicts: 1006000 | #Constraints: 25185
1427.08/1432.32 c #Conflicts: 1007000 | #Constraints: 26185
1427.08/1432.32 c #Conflicts: 1008000 | #Constraints: 27185
1427.08/1432.32 c #Conflicts: 1009000 | #Constraints: 28185
1427.08/1432.32 c #Conflicts: 1010000 | #Constraints: 29185
1427.08/1432.32 c #Conflicts: 1011000 | #Constraints: 30185
1427.08/1432.32 c #Conflicts: 1012000 | #Constraints: 31185
1427.08/1432.32 c #Conflicts: 1013000 | #Constraints: 32185
1427.08/1432.32 c #Conflicts: 1014000 | #Constraints: 33185
1427.08/1432.32 c #Conflicts: 1015000 | #Constraints: 34185
1427.08/1432.32 c #Conflicts: 1016000 | #Constraints: 35185
1427.08/1432.32 c #Conflicts: 1017000 | #Constraints: 36185
1427.08/1432.32 c #Conflicts: 1018000 | #Constraints: 37185
1427.08/1432.32 c #Conflicts: 1019000 | #Constraints: 38185
1427.08/1432.32 c #Conflicts: 1020000 | #Constraints: 39185
1427.08/1432.32 c #Conflicts: 1021000 | #Constraints: 40185
1427.08/1432.32 c INPROCESSING
1427.08/1432.32 c GARBAGE COLLECT
1427.08/1432.32 c #Conflicts: 1022000 | #Constraints: 21177
1427.08/1432.32 c #Conflicts: 1023000 | #Constraints: 22177
1427.08/1432.32 c #Conflicts: 1024000 | #Constraints: 23177
1427.08/1432.32 c #Conflicts: 1025000 | #Constraints: 24177
1427.08/1432.32 c #Conflicts: 1026000 | #Constraints: 25177
1427.08/1432.32 c #Conflicts: 1027000 | #Constraints: 26177
1427.08/1432.32 c #Conflicts: 1028000 | #Constraints: 27177
1427.08/1432.32 c #Conflicts: 1029000 | #Constraints: 28177
1427.08/1432.32 c #Conflicts: 1030000 | #Constraints: 29177
1427.08/1432.32 c #Conflicts: 1031000 | #Constraints: 30177
1427.08/1432.32 c #Conflicts: 1032000 | #Constraints: 31177
1427.08/1432.32 c #Conflicts: 1033000 | #Constraints: 32177
1427.08/1432.32 c #Conflicts: 1034000 | #Constraints: 33177
1427.08/1432.32 c #Conflicts: 1035000 | #Constraints: 34177
1427.08/1432.32 c #Conflicts: 1036000 | #Constraints: 35177
1427.08/1432.32 c #Conflicts: 1037000 | #Constraints: 36177
1427.08/1432.32 c #Conflicts: 1038000 | #Constraints: 37177
1427.08/1432.32 c #Conflicts: 1039000 | #Constraints: 38177
1427.08/1432.32 c #Conflicts: 1040000 | #Constraints: 39177
1427.08/1432.32 c #Conflicts: 1041000 | #Constraints: 40177
1427.08/1432.32 c INPROCESSING
1427.08/1432.32 c GARBAGE COLLECT
1427.08/1432.32 c #Conflicts: 1042000 | #Constraints: 20973
1427.08/1432.32 c #Conflicts: 1043000 | #Constraints: 21973
1427.08/1432.32 c #Conflicts: 1044000 | #Constraints: 22973
1582.95/1588.74 c #Conflicts: 1045000 | #Constraints: 23973
1582.95/1588.74 c #Conflicts: 1046000 | #Constraints: 24973
1582.95/1588.74 c #Conflicts: 1047000 | #Constraints: 25973
1582.95/1588.74 c #Conflicts: 1048000 | #Constraints: 26973
1582.95/1588.74 c #Conflicts: 1049000 | #Constraints: 27973
1582.95/1588.74 c #Conflicts: 1050000 | #Constraints: 28973
1582.95/1588.74 c #Conflicts: 1051000 | #Constraints: 29973
1582.95/1588.74 c #Conflicts: 1052000 | #Constraints: 30973
1582.95/1588.74 c #Conflicts: 1053000 | #Constraints: 31973
1582.95/1588.74 c #Conflicts: 1054000 | #Constraints: 32973
1582.95/1588.74 c #Conflicts: 1055000 | #Constraints: 33973
1582.95/1588.74 c #Conflicts: 1056000 | #Constraints: 34973
1582.95/1588.74 c #Conflicts: 1057000 | #Constraints: 35973
1582.95/1588.74 c #Conflicts: 1058000 | #Constraints: 36973
1582.95/1588.74 c #Conflicts: 1059000 | #Constraints: 37973
1582.95/1588.74 c #Conflicts: 1060000 | #Constraints: 38973
1582.95/1588.74 c #Conflicts: 1061000 | #Constraints: 39973
1582.95/1588.74 c #Conflicts: 1062000 | #Constraints: 40973
1582.95/1588.74 c INPROCESSING
1582.95/1588.74 c GARBAGE COLLECT
1582.95/1588.74 c #Conflicts: 1063000 | #Constraints: 21581
1582.95/1588.74 c #Conflicts: 1064000 | #Constraints: 22581
1582.95/1588.74 c #Conflicts: 1065000 | #Constraints: 23581
1582.95/1588.74 c #Conflicts: 1066000 | #Constraints: 24581
1582.95/1588.74 c #Conflicts: 1067000 | #Constraints: 25581
1582.95/1588.74 c #Conflicts: 1068000 | #Constraints: 26581
1582.95/1588.74 c #Conflicts: 1069000 | #Constraints: 27581
1582.95/1588.74 c #Conflicts: 1070000 | #Constraints: 28581
1582.95/1588.74 c #Conflicts: 1071000 | #Constraints: 29581
1582.95/1588.74 c #Conflicts: 1072000 | #Constraints: 30581
1582.95/1588.74 c #Conflicts: 1073000 | #Constraints: 31581
1582.95/1588.74 c #Conflicts: 1074000 | #Constraints: 32581
1582.95/1588.74 c #Conflicts: 1075000 | #Constraints: 33581
1582.95/1588.74 c #Conflicts: 1076000 | #Constraints: 34581
1582.95/1588.74 c #Conflicts: 1077000 | #Constraints: 35581
1582.95/1588.74 c #Conflicts: 1078000 | #Constraints: 36581
1582.95/1588.74 c #Conflicts: 1079000 | #Constraints: 37581
1582.95/1588.74 c #Conflicts: 1080000 | #Constraints: 38581
1582.95/1588.74 c #Conflicts: 1081000 | #Constraints: 39581
1582.95/1588.74 c #Conflicts: 1082000 | #Constraints: 40581
1582.95/1588.74 c #Conflicts: 1083000 | #Constraints: 41581
1582.95/1588.74 c INPROCESSING
1582.95/1588.74 c GARBAGE COLLECT
1582.95/1588.74 c #Conflicts: 1084000 | #Constraints: 21976
1582.95/1588.74 c #Conflicts: 1085000 | #Constraints: 22976
1582.95/1588.74 c #Conflicts: 1086000 | #Constraints: 23976
1582.95/1588.74 c #Conflicts: 1087000 | #Constraints: 24976
1582.95/1588.74 c #Conflicts: 1088000 | #Constraints: 25976
1582.95/1588.74 c #Conflicts: 1089000 | #Constraints: 26976
1582.95/1588.74 c #Conflicts: 1090000 | #Constraints: 27976
1582.95/1588.74 c #Conflicts: 1091000 | #Constraints: 28976
1582.95/1588.74 c #Conflicts: 1092000 | #Constraints: 29976
1582.95/1588.74 c #Conflicts: 1093000 | #Constraints: 30976
1582.95/1588.74 c #Conflicts: 1094000 | #Constraints: 31976
1582.95/1588.74 c #Conflicts: 1095000 | #Constraints: 32976
1582.95/1588.74 c #Conflicts: 1096000 | #Constraints: 33976
1582.95/1588.74 c #Conflicts: 1097000 | #Constraints: 34976
1582.95/1588.74 c #Conflicts: 1098000 | #Constraints: 35976
1582.95/1588.74 c #Conflicts: 1099000 | #Constraints: 36976
1582.95/1588.74 c #Conflicts: 1100000 | #Constraints: 37976
1582.95/1588.74 c #Conflicts: 1101000 | #Constraints: 38976
1582.95/1588.74 c #Conflicts: 1102000 | #Constraints: 39976
1582.95/1588.74 c #Conflicts: 1103000 | #Constraints: 40976
1582.95/1588.74 c #Conflicts: 1104000 | #Constraints: 41976
1582.95/1588.74 c INPROCESSING
1582.95/1588.74 c GARBAGE COLLECT
1582.95/1588.74 c #Conflicts: 1105000 | #Constraints: 22185
1582.95/1588.74 c #Conflicts: 1106000 | #Constraints: 23185
1582.95/1588.74 c #Conflicts: 1107000 | #Constraints: 24185
1582.95/1588.74 c #Conflicts: 1108000 | #Constraints: 25185
1582.95/1588.74 c #Conflicts: 1109000 | #Constraints: 26185
1582.95/1588.74 c #Conflicts: 1110000 | #Constraints: 27185
1582.95/1588.74 c #Conflicts: 1111000 | #Constraints: 28185
1582.95/1588.74 c #Conflicts: 1112000 | #Constraints: 29185
1582.95/1588.74 c #Conflicts: 1113000 | #Constraints: 30185
1582.95/1588.74 c #Conflicts: 1114000 | #Constraints: 31185
1582.95/1588.74 c #Conflicts: 1115000 | #Constraints: 32185
1582.95/1588.74 c #Conflicts: 1116000 | #Constraints: 33185
1582.95/1588.74 c #Conflicts: 1117000 | #Constraints: 34185
1582.95/1588.74 c #Conflicts: 1118000 | #Constraints: 35185
1582.95/1588.74 c #Conflicts: 1119000 | #Constraints: 36185
1582.95/1588.74 c #Conflicts: 1120000 | #Constraints: 37185
1582.95/1588.74 c #Conflicts: 1121000 | #Constraints: 38185
1711.12/1717.31 c #Conflicts: 1122000 | #Constraints: 39185
1711.12/1717.31 c #Conflicts: 1123000 | #Constraints: 40185
1711.12/1717.31 c #Conflicts: 1124000 | #Constraints: 41185
1711.12/1717.31 c #Conflicts: 1125000 | #Constraints: 42185
1711.12/1717.31 c INPROCESSING
1711.12/1717.31 c GARBAGE COLLECT
1711.12/1717.31 c #Conflicts: 1126000 | #Constraints: 22188
1711.12/1717.31 c #Conflicts: 1127000 | #Constraints: 23188
1711.12/1717.31 c #Conflicts: 1128000 | #Constraints: 24188
1711.12/1717.31 c #Conflicts: 1129000 | #Constraints: 25188
1711.12/1717.31 c #Conflicts: 1130000 | #Constraints: 26188
1711.12/1717.31 c #Conflicts: 1131000 | #Constraints: 27188
1711.12/1717.31 c #Conflicts: 1132000 | #Constraints: 28188
1711.12/1717.31 c #Conflicts: 1133000 | #Constraints: 29188
1711.12/1717.31 c #Conflicts: 1134000 | #Constraints: 30188
1711.12/1717.31 c #Conflicts: 1135000 | #Constraints: 31188
1711.12/1717.31 c #Conflicts: 1136000 | #Constraints: 32188
1711.12/1717.31 c #Conflicts: 1137000 | #Constraints: 33188
1711.12/1717.31 c #Conflicts: 1138000 | #Constraints: 34188
1711.12/1717.31 c #Conflicts: 1139000 | #Constraints: 35188
1711.12/1717.31 c #Conflicts: 1140000 | #Constraints: 36188
1711.12/1717.31 c #Conflicts: 1141000 | #Constraints: 37188
1711.12/1717.31 c #Conflicts: 1142000 | #Constraints: 38188
1711.12/1717.31 c #Conflicts: 1143000 | #Constraints: 39188
1711.12/1717.31 c #Conflicts: 1144000 | #Constraints: 40188
1711.12/1717.31 c #Conflicts: 1145000 | #Constraints: 41188
1711.12/1717.31 c #Conflicts: 1146000 | #Constraints: 42188
1711.12/1717.31 c INPROCESSING
1711.12/1717.31 c GARBAGE COLLECT
1711.12/1717.31 c #Conflicts: 1147000 | #Constraints: 21972
1711.12/1717.31 c #Conflicts: 1148000 | #Constraints: 22972
1711.12/1717.31 c #Conflicts: 1149000 | #Constraints: 23972
1711.12/1717.31 c #Conflicts: 1150000 | #Constraints: 24972
1711.12/1717.31 c #Conflicts: 1151000 | #Constraints: 25972
1711.12/1717.31 c #Conflicts: 1152000 | #Constraints: 26972
1711.12/1717.31 c #Conflicts: 1153000 | #Constraints: 27972
1711.12/1717.31 c #Conflicts: 1154000 | #Constraints: 28972
1711.12/1717.31 c #Conflicts: 1155000 | #Constraints: 29972
1711.12/1717.31 c #Conflicts: 1156000 | #Constraints: 30972
1711.12/1717.31 c #Conflicts: 1157000 | #Constraints: 31972
1711.12/1717.31 c #Conflicts: 1158000 | #Constraints: 32972
1711.12/1717.31 c #Conflicts: 1159000 | #Constraints: 33972
1711.12/1717.31 c #Conflicts: 1160000 | #Constraints: 34972
1711.12/1717.31 c #Conflicts: 1161000 | #Constraints: 35972
1711.12/1717.31 c #Conflicts: 1162000 | #Constraints: 36972
1711.12/1717.31 c #Conflicts: 1163000 | #Constraints: 37972
1711.12/1717.31 c #Conflicts: 1164000 | #Constraints: 38972
1711.12/1717.31 c #Conflicts: 1165000 | #Constraints: 39972
1711.12/1717.31 c #Conflicts: 1166000 | #Constraints: 40972
1711.12/1717.31 c #Conflicts: 1167000 | #Constraints: 41972
1711.12/1717.31 c #Conflicts: 1168000 | #Constraints: 42972
1711.12/1717.31 c INPROCESSING
1711.12/1717.31 c GARBAGE COLLECT
1711.12/1717.31 c #Conflicts: 1169000 | #Constraints: 22570
1711.12/1717.31 c #Conflicts: 1170000 | #Constraints: 23570
1711.12/1717.31 c #Conflicts: 1171000 | #Constraints: 24570
1711.12/1717.31 c #Conflicts: 1172000 | #Constraints: 25570
1711.12/1717.31 c #Conflicts: 1173000 | #Constraints: 26570
1711.12/1717.31 c #Conflicts: 1174000 | #Constraints: 27570
1711.12/1717.31 c #Conflicts: 1175000 | #Constraints: 28570
1711.12/1717.31 c #Conflicts: 1176000 | #Constraints: 29570
1711.12/1717.31 c #Conflicts: 1177000 | #Constraints: 30570
1711.12/1717.31 c #Conflicts: 1178000 | #Constraints: 31570
1711.12/1717.31 c #Conflicts: 1179000 | #Constraints: 32570
1711.12/1717.31 c #Conflicts: 1180000 | #Constraints: 33570
1711.12/1717.31 c #Conflicts: 1181000 | #Constraints: 34570
1711.12/1717.31 c #Conflicts: 1182000 | #Constraints: 35570
1711.12/1717.31 c #Conflicts: 1183000 | #Constraints: 36570
1711.12/1717.31 c #Conflicts: 1184000 | #Constraints: 37570
1711.12/1717.31 c #Conflicts: 1185000 | #Constraints: 38570
1711.12/1717.31 c #Conflicts: 1186000 | #Constraints: 39570
1711.12/1717.31 c #Conflicts: 1187000 | #Constraints: 40570
1711.12/1717.31 c #Conflicts: 1188000 | #Constraints: 41570
1711.12/1717.31 c #Conflicts: 1189000 | #Constraints: 42570
1711.12/1717.31 c #Conflicts: 1190000 | #Constraints: 43570
1711.12/1717.31 c INPROCESSING
1711.12/1717.31 c GARBAGE COLLECT
1711.12/1717.31 c #Conflicts: 1191000 | #Constraints: 22981
1711.12/1717.31 c #Conflicts: 1192000 | #Constraints: 23981
1711.12/1717.31 c #Conflicts: 1193000 | #Constraints: 24981
1711.12/1717.31 c #Conflicts: 1194000 | #Constraints: 25981
1711.12/1717.31 c #Conflicts: 1195000 | #Constraints: 26981
1711.12/1717.31 c #Conflicts: 1196000 | #Constraints: 27981
1711.12/1717.31 c #Conflicts: 1197000 | #Constraints: 28981
1845.67/1852.34 c #Conflicts: 1198000 | #Constraints: 29981
1845.67/1852.34 c #Conflicts: 1199000 | #Constraints: 30981
1845.67/1852.34 c #Conflicts: 1200000 | #Constraints: 31981
1845.67/1852.34 c #Conflicts: 1201000 | #Constraints: 32981
1845.67/1852.34 c #Conflicts: 1202000 | #Constraints: 33981
1845.67/1852.34 c #Conflicts: 1203000 | #Constraints: 34981
1845.67/1852.34 c #Conflicts: 1204000 | #Constraints: 35981
1845.67/1852.34 c #Conflicts: 1205000 | #Constraints: 36981
1845.67/1852.34 c #Conflicts: 1206000 | #Constraints: 37981
1845.67/1852.34 c #Conflicts: 1207000 | #Constraints: 38981
1845.67/1852.34 c #Conflicts: 1208000 | #Constraints: 39981
1845.67/1852.34 c #Conflicts: 1209000 | #Constraints: 40981
1845.67/1852.34 c #Conflicts: 1210000 | #Constraints: 41981
1845.67/1852.34 c #Conflicts: 1211000 | #Constraints: 42981
1845.67/1852.34 c #Conflicts: 1212000 | #Constraints: 43981
1845.67/1852.34 c INPROCESSING
1845.67/1852.34 c GARBAGE COLLECT
1845.67/1852.34 c #Conflicts: 1213000 | #Constraints: 23165
1845.67/1852.34 c #Conflicts: 1214000 | #Constraints: 24165
1845.67/1852.34 c #Conflicts: 1215000 | #Constraints: 25165
1845.67/1852.34 c #Conflicts: 1216000 | #Constraints: 26165
1845.67/1852.34 c #Conflicts: 1217000 | #Constraints: 27165
1845.67/1852.34 c #Conflicts: 1218000 | #Constraints: 28165
1845.67/1852.34 c #Conflicts: 1219000 | #Constraints: 29165
1845.67/1852.34 c #Conflicts: 1220000 | #Constraints: 30165
1845.67/1852.34 c #Conflicts: 1221000 | #Constraints: 31165
1845.67/1852.34 c #Conflicts: 1222000 | #Constraints: 32165
1845.67/1852.34 c #Conflicts: 1223000 | #Constraints: 33165
1845.67/1852.34 c #Conflicts: 1224000 | #Constraints: 34165
1845.67/1852.34 c #Conflicts: 1225000 | #Constraints: 35165
1845.67/1852.34 c #Conflicts: 1226000 | #Constraints: 36165
1845.67/1852.34 c #Conflicts: 1227000 | #Constraints: 37165
1845.67/1852.34 c #Conflicts: 1228000 | #Constraints: 38165
1845.67/1852.34 c #Conflicts: 1229000 | #Constraints: 39165
1845.67/1852.34 c #Conflicts: 1230000 | #Constraints: 40165
1845.67/1852.34 c #Conflicts: 1231000 | #Constraints: 41165
1845.67/1852.34 c #Conflicts: 1232000 | #Constraints: 42165
1845.67/1852.34 c #Conflicts: 1233000 | #Constraints: 43165
1845.67/1852.34 c #Conflicts: 1234000 | #Constraints: 44165
1845.67/1852.34 c INPROCESSING
1845.67/1852.34 c GARBAGE COLLECT
1845.67/1852.34 c #Conflicts: 1235000 | #Constraints: 23169
1845.67/1852.34 c #Conflicts: 1236000 | #Constraints: 24169
1845.67/1852.34 c #Conflicts: 1237000 | #Constraints: 25169
1845.67/1852.34 c #Conflicts: 1238000 | #Constraints: 26169
1845.67/1852.34 c #Conflicts: 1239000 | #Constraints: 27169
1845.67/1852.34 c #Conflicts: 1240000 | #Constraints: 28169
1845.67/1852.34 c #Conflicts: 1241000 | #Constraints: 29169
1845.67/1852.34 c #Conflicts: 1242000 | #Constraints: 30169
1845.67/1852.34 c #Conflicts: 1243000 | #Constraints: 31169
1845.67/1852.34 c #Conflicts: 1244000 | #Constraints: 32169
1845.67/1852.34 c #Conflicts: 1245000 | #Constraints: 33169
1845.67/1852.34 c #Conflicts: 1246000 | #Constraints: 34169
1845.67/1852.34 c #Conflicts: 1247000 | #Constraints: 35169
1845.67/1852.34 c #Conflicts: 1248000 | #Constraints: 36169
1845.67/1852.34 c #Conflicts: 1249000 | #Constraints: 37169
1845.67/1852.34 c #Conflicts: 1250000 | #Constraints: 38169
1845.67/1852.34 c #Conflicts: 1251000 | #Constraints: 39169
1845.67/1852.34 c #Conflicts: 1252000 | #Constraints: 40169
1845.67/1852.34 c #Conflicts: 1253000 | #Constraints: 41169
1845.67/1852.34 c #Conflicts: 1254000 | #Constraints: 42169
1845.67/1852.34 c #Conflicts: 1255000 | #Constraints: 43169
1845.67/1852.34 c #Conflicts: 1256000 | #Constraints: 44169
1845.67/1852.34 c INPROCESSING
1845.67/1852.34 c GARBAGE COLLECT
1845.67/1852.34 c #Conflicts: 1257000 | #Constraints: 22987
1845.67/1852.34 c #Conflicts: 1258000 | #Constraints: 23987
1845.67/1852.34 c #Conflicts: 1259000 | #Constraints: 24987
1845.67/1852.34 c #Conflicts: 1260000 | #Constraints: 25987
1845.67/1852.34 c #Conflicts: 1261000 | #Constraints: 26987
1845.67/1852.34 c #Conflicts: 1262000 | #Constraints: 27987
1845.67/1852.34 c #Conflicts: 1263000 | #Constraints: 28987
1845.67/1852.34 c #Conflicts: 1264000 | #Constraints: 29987
1845.67/1852.34 c #Conflicts: 1265000 | #Constraints: 30987
1845.67/1852.34 c #Conflicts: 1266000 | #Constraints: 31987
1845.67/1852.34 c #Conflicts: 1267000 | #Constraints: 32987
1845.67/1852.34 c #Conflicts: 1268000 | #Constraints: 33987
1845.67/1852.34 c #Conflicts: 1269000 | #Constraints: 34987
1845.67/1852.34 c #Conflicts: 1270000 | #Constraints: 35987
1845.67/1852.34 c #Conflicts: 1271000 | #Constraints: 36987
1845.67/1852.34 c #Conflicts: 1272000 | #Constraints: 37987
1845.67/1852.34 c #Conflicts: 1273000 | #Constraints: 38987
1845.67/1852.34 c #Conflicts: 1274000 | #Constraints: 39987
2000.05/2007.23 c #Conflicts: 1275000 | #Constraints: 40987
2000.05/2007.23 c #Conflicts: 1276000 | #Constraints: 41987
2000.05/2007.23 c #Conflicts: 1277000 | #Constraints: 42987
2000.05/2007.23 c #Conflicts: 1278000 | #Constraints: 43987
2000.05/2007.23 c #Conflicts: 1279000 | #Constraints: 44987
2000.05/2007.23 c INPROCESSING
2000.05/2007.23 c GARBAGE COLLECT
2000.05/2007.23 c #Conflicts: 1280000 | #Constraints: 23583
2000.05/2007.23 c #Conflicts: 1281000 | #Constraints: 24583
2000.05/2007.23 c #Conflicts: 1282000 | #Constraints: 25583
2000.05/2007.23 c #Conflicts: 1283000 | #Constraints: 26583
2000.05/2007.23 c #Conflicts: 1284000 | #Constraints: 27583
2000.05/2007.23 c #Conflicts: 1285000 | #Constraints: 28583
2000.05/2007.23 c #Conflicts: 1286000 | #Constraints: 29583
2000.05/2007.23 c #Conflicts: 1287000 | #Constraints: 30583
2000.05/2007.23 c #Conflicts: 1288000 | #Constraints: 31583
2000.05/2007.23 c #Conflicts: 1289000 | #Constraints: 32583
2000.05/2007.23 c #Conflicts: 1290000 | #Constraints: 33583
2000.05/2007.23 c #Conflicts: 1291000 | #Constraints: 34583
2000.05/2007.23 c #Conflicts: 1292000 | #Constraints: 35583
2000.05/2007.23 c #Conflicts: 1293000 | #Constraints: 36583
2000.05/2007.23 c #Conflicts: 1294000 | #Constraints: 37583
2000.05/2007.23 c #Conflicts: 1295000 | #Constraints: 38583
2000.05/2007.23 c #Conflicts: 1296000 | #Constraints: 39583
2000.05/2007.23 c #Conflicts: 1297000 | #Constraints: 40583
2000.05/2007.23 c #Conflicts: 1298000 | #Constraints: 41583
2000.05/2007.23 c #Conflicts: 1299000 | #Constraints: 42583
2000.05/2007.23 c #Conflicts: 1300000 | #Constraints: 43583
2000.05/2007.23 c #Conflicts: 1301000 | #Constraints: 44583
2000.05/2007.23 c #Conflicts: 1302000 | #Constraints: 45583
2000.05/2007.23 c INPROCESSING
2000.05/2007.23 c GARBAGE COLLECT
2000.05/2007.23 c #Conflicts: 1303000 | #Constraints: 23981
2000.05/2007.23 c #Conflicts: 1304000 | #Constraints: 24981
2000.05/2007.23 c #Conflicts: 1305000 | #Constraints: 25981
2000.05/2007.23 c #Conflicts: 1306000 | #Constraints: 26981
2000.05/2007.23 c #Conflicts: 1307000 | #Constraints: 27981
2000.05/2007.23 c #Conflicts: 1308000 | #Constraints: 28981
2000.05/2007.23 c #Conflicts: 1309000 | #Constraints: 29981
2000.05/2007.23 c #Conflicts: 1310000 | #Constraints: 30981
2000.05/2007.23 c #Conflicts: 1311000 | #Constraints: 31981
2000.05/2007.23 c #Conflicts: 1312000 | #Constraints: 32981
2000.05/2007.23 c #Conflicts: 1313000 | #Constraints: 33981
2000.05/2007.23 c #Conflicts: 1314000 | #Constraints: 34981
2000.05/2007.23 c #Conflicts: 1315000 | #Constraints: 35981
2000.05/2007.23 c #Conflicts: 1316000 | #Constraints: 36981
2000.05/2007.23 c #Conflicts: 1317000 | #Constraints: 37981
2000.05/2007.23 c #Conflicts: 1318000 | #Constraints: 38981
2000.05/2007.23 c #Conflicts: 1319000 | #Constraints: 39981
2000.05/2007.23 c #Conflicts: 1320000 | #Constraints: 40981
2000.05/2007.23 c #Conflicts: 1321000 | #Constraints: 41981
2000.05/2007.23 c #Conflicts: 1322000 | #Constraints: 42981
2000.05/2007.23 c #Conflicts: 1323000 | #Constraints: 43981
2000.05/2007.23 c #Conflicts: 1324000 | #Constraints: 44981
2000.05/2007.23 c #Conflicts: 1325000 | #Constraints: 45981
2000.05/2007.23 c INPROCESSING
2000.05/2007.23 c GARBAGE COLLECT
2000.05/2007.23 c #Conflicts: 1326000 | #Constraints: 24199
2000.05/2007.23 c #Conflicts: 1327000 | #Constraints: 25199
2000.05/2007.23 c #Conflicts: 1328000 | #Constraints: 26199
2000.05/2007.23 c #Conflicts: 1329000 | #Constraints: 27199
2000.05/2007.23 c #Conflicts: 1330000 | #Constraints: 28199
2000.05/2007.23 c #Conflicts: 1331000 | #Constraints: 29199
2000.05/2007.23 c #Conflicts: 1332000 | #Constraints: 30199
2000.05/2007.23 c #Conflicts: 1333000 | #Constraints: 31199
2000.05/2007.23 c #Conflicts: 1334000 | #Constraints: 32199
2000.05/2007.23 c #Conflicts: 1335000 | #Constraints: 33199
2000.05/2007.23 c #Conflicts: 1336000 | #Constraints: 34199
2000.05/2007.23 c #Conflicts: 1337000 | #Constraints: 35199
2000.05/2007.23 c #Conflicts: 1338000 | #Constraints: 36199
2000.05/2007.23 c #Conflicts: 1339000 | #Constraints: 37199
2000.05/2007.23 c #Conflicts: 1340000 | #Constraints: 38199
2000.05/2007.23 c #Conflicts: 1341000 | #Constraints: 39199
2000.05/2007.23 c #Conflicts: 1342000 | #Constraints: 40199
2000.05/2007.23 c #Conflicts: 1343000 | #Constraints: 41199
2000.05/2007.23 c #Conflicts: 1344000 | #Constraints: 42199
2000.05/2007.23 c #Conflicts: 1345000 | #Constraints: 43199
2000.05/2007.23 c #Conflicts: 1346000 | #Constraints: 44199
2000.05/2007.23 c #Conflicts: 1347000 | #Constraints: 45199
2000.05/2007.23 c #Conflicts: 1348000 | #Constraints: 46199
2000.05/2007.23 c INPROCESSING
2000.05/2007.23 c GARBAGE COLLECT
2000.05/2007.23 c #Conflicts: 1349000 | #Constraints: 24184
2000.05/2007.23 c #Conflicts: 1350000 | #Constraints: 25184
2162.31/2170.07 c #Conflicts: 1351000 | #Constraints: 26184
2162.31/2170.07 c #Conflicts: 1352000 | #Constraints: 27184
2162.31/2170.07 c #Conflicts: 1353000 | #Constraints: 28184
2162.31/2170.07 c #Conflicts: 1354000 | #Constraints: 29184
2162.31/2170.07 c #Conflicts: 1355000 | #Constraints: 30184
2162.31/2170.07 c #Conflicts: 1356000 | #Constraints: 31184
2162.31/2170.07 c #Conflicts: 1357000 | #Constraints: 32184
2162.31/2170.07 c #Conflicts: 1358000 | #Constraints: 33184
2162.31/2170.07 c #Conflicts: 1359000 | #Constraints: 34184
2162.31/2170.07 c #Conflicts: 1360000 | #Constraints: 35184
2162.31/2170.07 c #Conflicts: 1361000 | #Constraints: 36184
2162.31/2170.07 c #Conflicts: 1362000 | #Constraints: 37184
2162.31/2170.07 c #Conflicts: 1363000 | #Constraints: 38184
2162.31/2170.07 c #Conflicts: 1364000 | #Constraints: 39184
2162.31/2170.07 c #Conflicts: 1365000 | #Constraints: 40184
2162.31/2170.07 c #Conflicts: 1366000 | #Constraints: 41184
2162.31/2170.07 c #Conflicts: 1367000 | #Constraints: 42184
2162.31/2170.07 c #Conflicts: 1368000 | #Constraints: 43184
2162.31/2170.07 c #Conflicts: 1369000 | #Constraints: 44184
2162.31/2170.07 c #Conflicts: 1370000 | #Constraints: 45184
2162.31/2170.07 c #Conflicts: 1371000 | #Constraints: 46184
2162.31/2170.07 c INPROCESSING
2162.31/2170.07 c GARBAGE COLLECT
2162.31/2170.07 c #Conflicts: 1372000 | #Constraints: 23994
2162.31/2170.07 c #Conflicts: 1373000 | #Constraints: 24994
2162.31/2170.07 c #Conflicts: 1374000 | #Constraints: 25994
2162.31/2170.07 c #Conflicts: 1375000 | #Constraints: 26994
2162.31/2170.07 c #Conflicts: 1376000 | #Constraints: 27994
2162.31/2170.07 c #Conflicts: 1377000 | #Constraints: 28994
2162.31/2170.07 c #Conflicts: 1378000 | #Constraints: 29994
2162.31/2170.07 c #Conflicts: 1379000 | #Constraints: 30994
2162.31/2170.07 c #Conflicts: 1380000 | #Constraints: 31994
2162.31/2170.07 c #Conflicts: 1381000 | #Constraints: 32994
2162.31/2170.07 c #Conflicts: 1382000 | #Constraints: 33994
2162.31/2170.07 c #Conflicts: 1383000 | #Constraints: 34994
2162.31/2170.07 c #Conflicts: 1384000 | #Constraints: 35994
2162.31/2170.07 c #Conflicts: 1385000 | #Constraints: 36994
2162.31/2170.07 c #Conflicts: 1386000 | #Constraints: 37994
2162.31/2170.07 c #Conflicts: 1387000 | #Constraints: 38994
2162.31/2170.07 c #Conflicts: 1388000 | #Constraints: 39994
2162.31/2170.07 c #Conflicts: 1389000 | #Constraints: 40994
2162.31/2170.07 c #Conflicts: 1390000 | #Constraints: 41994
2162.31/2170.07 c #Conflicts: 1391000 | #Constraints: 42994
2162.31/2170.07 c #Conflicts: 1392000 | #Constraints: 43994
2162.31/2170.07 c #Conflicts: 1393000 | #Constraints: 44994
2162.31/2170.07 c #Conflicts: 1394000 | #Constraints: 45994
2162.31/2170.07 c #Conflicts: 1395000 | #Constraints: 46994
2162.31/2170.07 c INPROCESSING
2162.31/2170.07 c GARBAGE COLLECT
2162.31/2170.07 c #Conflicts: 1396000 | #Constraints: 24604
2162.31/2170.07 c #Conflicts: 1397000 | #Constraints: 25604
2162.31/2170.07 c #Conflicts: 1398000 | #Constraints: 26604
2162.31/2170.07 c #Conflicts: 1399000 | #Constraints: 27604
2162.31/2170.07 c #Conflicts: 1400000 | #Constraints: 28604
2162.31/2170.07 c #Conflicts: 1401000 | #Constraints: 29604
2162.31/2170.07 c #Conflicts: 1402000 | #Constraints: 30604
2162.31/2170.07 c #Conflicts: 1403000 | #Constraints: 31604
2162.31/2170.07 c #Conflicts: 1404000 | #Constraints: 32604
2162.31/2170.07 c #Conflicts: 1405000 | #Constraints: 33604
2162.31/2170.07 c #Conflicts: 1406000 | #Constraints: 34604
2162.31/2170.07 c #Conflicts: 1407000 | #Constraints: 35604
2162.31/2170.07 c #Conflicts: 1408000 | #Constraints: 36604
2162.31/2170.07 c #Conflicts: 1409000 | #Constraints: 37604
2162.31/2170.07 c #Conflicts: 1410000 | #Constraints: 38604
2162.31/2170.07 c #Conflicts: 1411000 | #Constraints: 39604
2162.31/2170.07 c #Conflicts: 1412000 | #Constraints: 40604
2162.31/2170.07 c #Conflicts: 1413000 | #Constraints: 41604
2162.31/2170.07 c #Conflicts: 1414000 | #Constraints: 42604
2162.31/2170.07 c #Conflicts: 1415000 | #Constraints: 43604
2162.31/2170.07 c #Conflicts: 1416000 | #Constraints: 44604
2162.31/2170.07 c #Conflicts: 1417000 | #Constraints: 45604
2162.31/2170.07 c #Conflicts: 1418000 | #Constraints: 46604
2162.31/2170.07 c #Conflicts: 1419000 | #Constraints: 47604
2162.31/2170.07 c INPROCESSING
2162.31/2170.07 c GARBAGE COLLECT
2162.31/2170.07 c #Conflicts: 1420000 | #Constraints: 24982
2162.31/2170.07 c #Conflicts: 1421000 | #Constraints: 25982
2162.31/2170.07 c #Conflicts: 1422000 | #Constraints: 26982
2162.31/2170.07 c #Conflicts: 1423000 | #Constraints: 27982
2162.31/2170.07 c #Conflicts: 1424000 | #Constraints: 28982
2162.31/2170.07 c #Conflicts: 1425000 | #Constraints: 29982
2162.31/2170.07 c #Conflicts: 1426000 | #Constraints: 30982
2162.31/2170.07 c #Conflicts: 1427000 | #Constraints: 31982
2302.14/2310.37 c #Conflicts: 1428000 | #Constraints: 32982
2302.14/2310.37 c #Conflicts: 1429000 | #Constraints: 33982
2302.14/2310.37 c #Conflicts: 1430000 | #Constraints: 34982
2302.14/2310.37 c #Conflicts: 1431000 | #Constraints: 35982
2302.14/2310.37 c #Conflicts: 1432000 | #Constraints: 36982
2302.14/2310.37 c #Conflicts: 1433000 | #Constraints: 37982
2302.14/2310.37 c #Conflicts: 1434000 | #Constraints: 38982
2302.14/2310.37 c #Conflicts: 1435000 | #Constraints: 39982
2302.14/2310.37 c #Conflicts: 1436000 | #Constraints: 40982
2302.14/2310.37 c #Conflicts: 1437000 | #Constraints: 41982
2302.14/2310.37 c #Conflicts: 1438000 | #Constraints: 42982
2302.14/2310.37 c #Conflicts: 1439000 | #Constraints: 43982
2302.14/2310.37 c #Conflicts: 1440000 | #Constraints: 44982
2302.14/2310.37 c #Conflicts: 1441000 | #Constraints: 45982
2302.14/2310.37 c #Conflicts: 1442000 | #Constraints: 46982
2302.14/2310.37 c #Conflicts: 1443000 | #Constraints: 47982
2302.14/2310.37 c INPROCESSING
2302.14/2310.37 c GARBAGE COLLECT
2302.14/2310.37 c #Conflicts: 1444000 | #Constraints: 25169
2302.14/2310.37 c #Conflicts: 1445000 | #Constraints: 26169
2302.14/2310.37 c #Conflicts: 1446000 | #Constraints: 27169
2302.14/2310.37 c #Conflicts: 1447000 | #Constraints: 28169
2302.14/2310.37 c #Conflicts: 1448000 | #Constraints: 29169
2302.14/2310.37 c #Conflicts: 1449000 | #Constraints: 30169
2302.14/2310.37 c #Conflicts: 1450000 | #Constraints: 31169
2302.14/2310.37 c #Conflicts: 1451000 | #Constraints: 32169
2302.14/2310.37 c #Conflicts: 1452000 | #Constraints: 33169
2302.14/2310.37 c #Conflicts: 1453000 | #Constraints: 34169
2302.14/2310.37 c #Conflicts: 1454000 | #Constraints: 35169
2302.14/2310.37 c #Conflicts: 1455000 | #Constraints: 36169
2302.14/2310.37 c #Conflicts: 1456000 | #Constraints: 37169
2302.14/2310.37 c #Conflicts: 1457000 | #Constraints: 38169
2302.14/2310.37 c #Conflicts: 1458000 | #Constraints: 39169
2302.14/2310.37 c #Conflicts: 1459000 | #Constraints: 40169
2302.14/2310.37 c #Conflicts: 1460000 | #Constraints: 41169
2302.14/2310.37 c #Conflicts: 1461000 | #Constraints: 42169
2302.14/2310.37 c #Conflicts: 1462000 | #Constraints: 43169
2302.14/2310.37 c #Conflicts: 1463000 | #Constraints: 44169
2302.14/2310.37 c #Conflicts: 1464000 | #Constraints: 45169
2302.14/2310.37 c #Conflicts: 1465000 | #Constraints: 46169
2302.14/2310.37 c #Conflicts: 1466000 | #Constraints: 47169
2302.14/2310.37 c #Conflicts: 1467000 | #Constraints: 48169
2302.14/2310.37 c INPROCESSING
2302.14/2310.37 c GARBAGE COLLECT
2302.14/2310.37 c #Conflicts: 1468000 | #Constraints: 25160
2302.14/2310.37 c #Conflicts: 1469000 | #Constraints: 26160
2302.14/2310.37 c #Conflicts: 1470000 | #Constraints: 27160
2302.14/2310.37 c #Conflicts: 1471000 | #Constraints: 28160
2302.14/2310.37 c #Conflicts: 1472000 | #Constraints: 29160
2302.14/2310.37 c #Conflicts: 1473000 | #Constraints: 30160
2302.14/2310.37 c #Conflicts: 1474000 | #Constraints: 31160
2302.14/2310.37 c #Conflicts: 1475000 | #Constraints: 32160
2302.14/2310.37 c #Conflicts: 1476000 | #Constraints: 33160
2302.14/2310.37 c #Conflicts: 1477000 | #Constraints: 34160
2302.14/2310.37 c #Conflicts: 1478000 | #Constraints: 35160
2302.14/2310.37 c #Conflicts: 1479000 | #Constraints: 36160
2302.14/2310.37 c #Conflicts: 1480000 | #Constraints: 37160
2302.14/2310.37 c #Conflicts: 1481000 | #Constraints: 38160
2302.14/2310.37 c #Conflicts: 1482000 | #Constraints: 39160
2302.14/2310.37 c #Conflicts: 1483000 | #Constraints: 40160
2302.14/2310.37 c #Conflicts: 1484000 | #Constraints: 41160
2302.14/2310.37 c #Conflicts: 1485000 | #Constraints: 42160
2302.14/2310.37 c #Conflicts: 1486000 | #Constraints: 43160
2302.14/2310.37 c #Conflicts: 1487000 | #Constraints: 44160
2302.14/2310.37 c #Conflicts: 1488000 | #Constraints: 45160
2302.14/2310.37 c #Conflicts: 1489000 | #Constraints: 46160
2302.14/2310.37 c #Conflicts: 1490000 | #Constraints: 47160
2302.14/2310.37 c #Conflicts: 1491000 | #Constraints: 48160
2302.14/2310.37 c INPROCESSING
2302.14/2310.37 c GARBAGE COLLECT
2302.14/2310.37 c #Conflicts: 1492000 | #Constraints: 24945
2302.14/2310.37 c #Conflicts: 1493000 | #Constraints: 25945
2302.14/2310.37 c #Conflicts: 1494000 | #Constraints: 26945
2302.14/2310.37 c #Conflicts: 1495000 | #Constraints: 27945
2302.14/2310.37 c #Conflicts: 1496000 | #Constraints: 28945
2302.14/2310.37 c #Conflicts: 1497000 | #Constraints: 29945
2302.14/2310.37 c #Conflicts: 1498000 | #Constraints: 30945
2302.14/2310.37 c #Conflicts: 1499000 | #Constraints: 31945
2302.14/2310.37 c #Conflicts: 1500000 | #Constraints: 32945
2302.14/2310.37 c #Conflicts: 1501000 | #Constraints: 33945
2302.14/2310.37 c #Conflicts: 1502000 | #Constraints: 34945
2302.14/2310.37 c #Conflicts: 1503000 | #Constraints: 35945
2302.14/2310.37 c #Conflicts: 1504000 | #Constraints: 36945
2498.40/2507.23 c #Conflicts: 1505000 | #Constraints: 37945
2498.40/2507.23 c #Conflicts: 1506000 | #Constraints: 38945
2498.40/2507.23 c #Conflicts: 1507000 | #Constraints: 39945
2498.40/2507.23 c #Conflicts: 1508000 | #Constraints: 40945
2498.40/2507.23 c #Conflicts: 1509000 | #Constraints: 41945
2498.40/2507.23 c #Conflicts: 1510000 | #Constraints: 42945
2498.40/2507.23 c #Conflicts: 1511000 | #Constraints: 43945
2498.40/2507.23 c #Conflicts: 1512000 | #Constraints: 44945
2498.40/2507.23 c #Conflicts: 1513000 | #Constraints: 45945
2498.40/2507.23 c #Conflicts: 1514000 | #Constraints: 46945
2498.40/2507.23 c #Conflicts: 1515000 | #Constraints: 47945
2498.40/2507.23 c #Conflicts: 1516000 | #Constraints: 48945
2498.40/2507.23 c INPROCESSING
2498.40/2507.23 c GARBAGE COLLECT
2498.40/2507.23 c #Conflicts: 1517000 | #Constraints: 25549
2498.40/2507.23 c #Conflicts: 1518000 | #Constraints: 26549
2498.40/2507.23 c #Conflicts: 1519000 | #Constraints: 27549
2498.40/2507.23 c #Conflicts: 1520000 | #Constraints: 28549
2498.40/2507.23 c #Conflicts: 1521000 | #Constraints: 29549
2498.40/2507.23 c #Conflicts: 1522000 | #Constraints: 30549
2498.40/2507.23 c #Conflicts: 1523000 | #Constraints: 31549
2498.40/2507.23 c #Conflicts: 1524000 | #Constraints: 32549
2498.40/2507.23 c #Conflicts: 1525000 | #Constraints: 33549
2498.40/2507.23 c #Conflicts: 1526000 | #Constraints: 34549
2498.40/2507.23 c #Conflicts: 1527000 | #Constraints: 35549
2498.40/2507.23 c #Conflicts: 1528000 | #Constraints: 36549
2498.40/2507.23 c #Conflicts: 1529000 | #Constraints: 37549
2498.40/2507.23 c #Conflicts: 1530000 | #Constraints: 38549
2498.40/2507.23 c #Conflicts: 1531000 | #Constraints: 39549
2498.40/2507.23 c #Conflicts: 1532000 | #Constraints: 40549
2498.40/2507.23 c #Conflicts: 1533000 | #Constraints: 41549
2498.40/2507.23 c #Conflicts: 1534000 | #Constraints: 42549
2498.40/2507.23 c #Conflicts: 1535000 | #Constraints: 43549
2498.40/2507.23 c #Conflicts: 1536000 | #Constraints: 44549
2498.40/2507.23 c #Conflicts: 1537000 | #Constraints: 45549
2498.40/2507.23 c #Conflicts: 1538000 | #Constraints: 46549
2498.40/2507.23 c #Conflicts: 1539000 | #Constraints: 47549
2498.40/2507.23 c #Conflicts: 1540000 | #Constraints: 48549
2498.40/2507.23 c #Conflicts: 1541000 | #Constraints: 49549
2498.40/2507.23 c INPROCESSING
2498.40/2507.23 c GARBAGE COLLECT
2498.40/2507.23 c #Conflicts: 1542000 | #Constraints: 25977
2498.40/2507.23 c #Conflicts: 1543000 | #Constraints: 26977
2498.40/2507.23 c #Conflicts: 1544000 | #Constraints: 27977
2498.40/2507.23 c #Conflicts: 1545000 | #Constraints: 28977
2498.40/2507.23 c #Conflicts: 1546000 | #Constraints: 29977
2498.40/2507.23 c #Conflicts: 1547000 | #Constraints: 30977
2498.40/2507.23 c #Conflicts: 1548000 | #Constraints: 31977
2498.40/2507.23 c #Conflicts: 1549000 | #Constraints: 32977
2498.40/2507.23 c #Conflicts: 1550000 | #Constraints: 33977
2498.40/2507.23 c #Conflicts: 1551000 | #Constraints: 34977
2498.40/2507.23 c #Conflicts: 1552000 | #Constraints: 35977
2498.40/2507.23 c #Conflicts: 1553000 | #Constraints: 36977
2498.40/2507.23 c #Conflicts: 1554000 | #Constraints: 37977
2498.40/2507.23 c #Conflicts: 1555000 | #Constraints: 38977
2498.40/2507.23 c #Conflicts: 1556000 | #Constraints: 39977
2498.40/2507.23 c #Conflicts: 1557000 | #Constraints: 40977
2498.40/2507.23 c #Conflicts: 1558000 | #Constraints: 41977
2498.40/2507.23 c #Conflicts: 1559000 | #Constraints: 42977
2498.40/2507.23 c #Conflicts: 1560000 | #Constraints: 43977
2498.40/2507.23 c #Conflicts: 1561000 | #Constraints: 44977
2498.40/2507.23 c #Conflicts: 1562000 | #Constraints: 45977
2498.40/2507.23 c #Conflicts: 1563000 | #Constraints: 46977
2498.40/2507.23 c #Conflicts: 1564000 | #Constraints: 47977
2498.40/2507.23 c #Conflicts: 1565000 | #Constraints: 48977
2498.40/2507.23 c #Conflicts: 1566000 | #Constraints: 49977
2498.40/2507.23 c INPROCESSING
2498.40/2507.23 c GARBAGE COLLECT
2498.40/2507.23 c #Conflicts: 1567000 | #Constraints: 26179
2498.40/2507.23 c #Conflicts: 1568000 | #Constraints: 27179
2498.40/2507.23 c #Conflicts: 1569000 | #Constraints: 28179
2498.40/2507.23 c #Conflicts: 1570000 | #Constraints: 29179
2498.40/2507.23 c #Conflicts: 1571000 | #Constraints: 30179
2498.40/2507.23 c #Conflicts: 1572000 | #Constraints: 31179
2498.40/2507.23 c #Conflicts: 1573000 | #Constraints: 32179
2498.40/2507.23 c #Conflicts: 1574000 | #Constraints: 33179
2498.40/2507.23 c #Conflicts: 1575000 | #Constraints: 34179
2498.40/2507.23 c #Conflicts: 1576000 | #Constraints: 35179
2498.40/2507.23 c #Conflicts: 1577000 | #Constraints: 36179
2498.40/2507.23 c #Conflicts: 1578000 | #Constraints: 37179
2498.40/2507.23 c #Conflicts: 1579000 | #Constraints: 38179
2498.40/2507.23 c #Conflicts: 1580000 | #Constraints: 39179
2498.40/2507.23 c #Conflicts: 1581000 | #Constraints: 40179
2713.80/2723.37 c #Conflicts: 1582000 | #Constraints: 41179
2713.80/2723.37 c #Conflicts: 1583000 | #Constraints: 42179
2713.80/2723.37 c #Conflicts: 1584000 | #Constraints: 43179
2713.80/2723.37 c #Conflicts: 1585000 | #Constraints: 44179
2713.80/2723.37 c #Conflicts: 1586000 | #Constraints: 45179
2713.80/2723.37 c #Conflicts: 1587000 | #Constraints: 46179
2713.80/2723.37 c #Conflicts: 1588000 | #Constraints: 47179
2713.80/2723.37 c #Conflicts: 1589000 | #Constraints: 48179
2713.80/2723.37 c #Conflicts: 1590000 | #Constraints: 49179
2713.80/2723.37 c #Conflicts: 1591000 | #Constraints: 50179
2713.80/2723.37 c INPROCESSING
2713.80/2723.37 c GARBAGE COLLECT
2713.80/2723.37 c #Conflicts: 1592000 | #Constraints: 26169
2713.80/2723.37 c #Conflicts: 1593000 | #Constraints: 27169
2713.80/2723.37 c #Conflicts: 1594000 | #Constraints: 28169
2713.80/2723.37 c #Conflicts: 1595000 | #Constraints: 29169
2713.80/2723.37 c #Conflicts: 1596000 | #Constraints: 30169
2713.80/2723.37 c #Conflicts: 1597000 | #Constraints: 31169
2713.80/2723.37 c #Conflicts: 1598000 | #Constraints: 32169
2713.80/2723.37 c #Conflicts: 1599000 | #Constraints: 33169
2713.80/2723.37 c #Conflicts: 1600000 | #Constraints: 34169
2713.80/2723.37 c #Conflicts: 1601000 | #Constraints: 35169
2713.80/2723.37 c #Conflicts: 1602000 | #Constraints: 36169
2713.80/2723.37 c #Conflicts: 1603000 | #Constraints: 37169
2713.80/2723.37 c #Conflicts: 1604000 | #Constraints: 38169
2713.80/2723.37 c #Conflicts: 1605000 | #Constraints: 39169
2713.80/2723.37 c #Conflicts: 1606000 | #Constraints: 40169
2713.80/2723.37 c #Conflicts: 1607000 | #Constraints: 41169
2713.80/2723.37 c #Conflicts: 1608000 | #Constraints: 42169
2713.80/2723.37 c #Conflicts: 1609000 | #Constraints: 43169
2713.80/2723.37 c #Conflicts: 1610000 | #Constraints: 44169
2713.80/2723.37 c #Conflicts: 1611000 | #Constraints: 45169
2713.80/2723.37 c #Conflicts: 1612000 | #Constraints: 46169
2713.80/2723.37 c #Conflicts: 1613000 | #Constraints: 47169
2713.80/2723.37 c #Conflicts: 1614000 | #Constraints: 48169
2713.80/2723.37 c #Conflicts: 1615000 | #Constraints: 49169
2713.80/2723.37 c #Conflicts: 1616000 | #Constraints: 50169
2713.80/2723.37 c INPROCESSING
2713.80/2723.37 c GARBAGE COLLECT
2713.80/2723.37 c #Conflicts: 1617000 | #Constraints: 25962
2713.80/2723.37 c #Conflicts: 1618000 | #Constraints: 26962
2713.80/2723.37 c #Conflicts: 1619000 | #Constraints: 27962
2713.80/2723.37 c #Conflicts: 1620000 | #Constraints: 28962
2713.80/2723.37 c #Conflicts: 1621000 | #Constraints: 29962
2713.80/2723.37 c #Conflicts: 1622000 | #Constraints: 30962
2713.80/2723.37 c #Conflicts: 1623000 | #Constraints: 31962
2713.80/2723.37 c #Conflicts: 1624000 | #Constraints: 32962
2713.80/2723.37 c #Conflicts: 1625000 | #Constraints: 33962
2713.80/2723.37 c #Conflicts: 1626000 | #Constraints: 34962
2713.80/2723.37 c #Conflicts: 1627000 | #Constraints: 35962
2713.80/2723.37 c #Conflicts: 1628000 | #Constraints: 36962
2713.80/2723.37 c #Conflicts: 1629000 | #Constraints: 37962
2713.80/2723.37 c #Conflicts: 1630000 | #Constraints: 38962
2713.80/2723.37 c #Conflicts: 1631000 | #Constraints: 39962
2713.80/2723.37 c #Conflicts: 1632000 | #Constraints: 40962
2713.80/2723.37 c #Conflicts: 1633000 | #Constraints: 41962
2713.80/2723.37 c #Conflicts: 1634000 | #Constraints: 42962
2713.80/2723.37 c #Conflicts: 1635000 | #Constraints: 43962
2713.80/2723.37 c #Conflicts: 1636000 | #Constraints: 44962
2713.80/2723.37 c #Conflicts: 1637000 | #Constraints: 45962
2713.80/2723.37 c #Conflicts: 1638000 | #Constraints: 46962
2713.80/2723.37 c #Conflicts: 1639000 | #Constraints: 47962
2713.80/2723.37 c #Conflicts: 1640000 | #Constraints: 48962
2713.80/2723.37 c #Conflicts: 1641000 | #Constraints: 49962
2713.80/2723.37 c #Conflicts: 1642000 | #Constraints: 50962
2713.80/2723.37 c INPROCESSING
2713.80/2723.37 c GARBAGE COLLECT
2713.80/2723.37 c #Conflicts: 1643000 | #Constraints: 26556
2713.80/2723.37 c #Conflicts: 1644000 | #Constraints: 27556
2713.80/2723.37 c #Conflicts: 1645000 | #Constraints: 28556
2713.80/2723.37 c #Conflicts: 1646000 | #Constraints: 29556
2713.80/2723.37 c #Conflicts: 1647000 | #Constraints: 30556
2713.80/2723.37 c #Conflicts: 1648000 | #Constraints: 31556
2713.80/2723.37 c #Conflicts: 1649000 | #Constraints: 32556
2713.80/2723.37 c #Conflicts: 1650000 | #Constraints: 33556
2713.80/2723.37 c #Conflicts: 1651000 | #Constraints: 34556
2713.80/2723.37 c #Conflicts: 1652000 | #Constraints: 35556
2713.80/2723.37 c #Conflicts: 1653000 | #Constraints: 36556
2713.80/2723.37 c #Conflicts: 1654000 | #Constraints: 37556
2713.80/2723.37 c #Conflicts: 1655000 | #Constraints: 38556
2713.80/2723.37 c #Conflicts: 1656000 | #Constraints: 39556
2713.80/2723.37 c #Conflicts: 1657000 | #Constraints: 40556
2713.80/2723.37 c #Conflicts: 1658000 | #Constraints: 41556
2880.36/2890.45 c #Conflicts: 1659000 | #Constraints: 42556
2880.36/2890.45 c #Conflicts: 1660000 | #Constraints: 43556
2880.36/2890.45 c #Conflicts: 1661000 | #Constraints: 44556
2880.36/2890.45 c #Conflicts: 1662000 | #Constraints: 45556
2880.36/2890.45 c #Conflicts: 1663000 | #Constraints: 46556
2880.36/2890.45 c #Conflicts: 1664000 | #Constraints: 47556
2880.36/2890.45 c #Conflicts: 1665000 | #Constraints: 48556
2880.36/2890.45 c #Conflicts: 1666000 | #Constraints: 49556
2880.36/2890.45 c #Conflicts: 1667000 | #Constraints: 50556
2880.36/2890.45 c #Conflicts: 1668000 | #Constraints: 51556
2880.36/2890.45 c INPROCESSING
2880.36/2890.45 c GARBAGE COLLECT
2880.36/2890.45 c #Conflicts: 1669000 | #Constraints: 26948
2880.36/2890.45 c #Conflicts: 1670000 | #Constraints: 27948
2880.36/2890.45 c #Conflicts: 1671000 | #Constraints: 28948
2880.36/2890.45 c #Conflicts: 1672000 | #Constraints: 29948
2880.36/2890.45 c #Conflicts: 1673000 | #Constraints: 30948
2880.36/2890.45 c #Conflicts: 1674000 | #Constraints: 31948
2880.36/2890.45 c #Conflicts: 1675000 | #Constraints: 32948
2880.36/2890.45 c #Conflicts: 1676000 | #Constraints: 33948
2880.36/2890.45 c #Conflicts: 1677000 | #Constraints: 34948
2880.36/2890.45 c #Conflicts: 1678000 | #Constraints: 35948
2880.36/2890.45 c #Conflicts: 1679000 | #Constraints: 36948
2880.36/2890.45 c #Conflicts: 1680000 | #Constraints: 37948
2880.36/2890.45 c #Conflicts: 1681000 | #Constraints: 38948
2880.36/2890.45 c #Conflicts: 1682000 | #Constraints: 39948
2880.36/2890.45 c #Conflicts: 1683000 | #Constraints: 40948
2880.36/2890.45 c #Conflicts: 1684000 | #Constraints: 41948
2880.36/2890.45 c #Conflicts: 1685000 | #Constraints: 42948
2880.36/2890.45 c #Conflicts: 1686000 | #Constraints: 43948
2880.36/2890.45 c #Conflicts: 1687000 | #Constraints: 44948
2880.36/2890.45 c #Conflicts: 1688000 | #Constraints: 45948
2880.36/2890.45 c #Conflicts: 1689000 | #Constraints: 46948
2880.36/2890.45 c #Conflicts: 1690000 | #Constraints: 47948
2880.36/2890.45 c #Conflicts: 1691000 | #Constraints: 48948
2880.36/2890.45 c #Conflicts: 1692000 | #Constraints: 49948
2880.36/2890.45 c #Conflicts: 1693000 | #Constraints: 50948
2880.36/2890.45 c #Conflicts: 1694000 | #Constraints: 51948
2880.36/2890.45 c INPROCESSING
2880.36/2890.45 c GARBAGE COLLECT
2880.36/2890.45 c #Conflicts: 1695000 | #Constraints: 27148
2880.36/2890.45 c #Conflicts: 1696000 | #Constraints: 28148
2880.36/2890.45 c #Conflicts: 1697000 | #Constraints: 29148
2880.36/2890.45 c #Conflicts: 1698000 | #Constraints: 30148
2880.36/2890.45 c #Conflicts: 1699000 | #Constraints: 31148
2880.36/2890.45 c #Conflicts: 1700000 | #Constraints: 32148
2880.36/2890.45 c #Conflicts: 1701000 | #Constraints: 33148
2880.36/2890.45 c #Conflicts: 1702000 | #Constraints: 34148
2880.36/2890.45 c #Conflicts: 1703000 | #Constraints: 35148
2880.36/2890.45 c #Conflicts: 1704000 | #Constraints: 36148
2880.36/2890.45 c #Conflicts: 1705000 | #Constraints: 37148
2880.36/2890.45 c #Conflicts: 1706000 | #Constraints: 38148
2880.36/2890.45 c #Conflicts: 1707000 | #Constraints: 39148
2880.36/2890.45 c #Conflicts: 1708000 | #Constraints: 40148
2880.36/2890.45 c #Conflicts: 1709000 | #Constraints: 41148
2880.36/2890.45 c #Conflicts: 1710000 | #Constraints: 42148
2880.36/2890.45 c #Conflicts: 1711000 | #Constraints: 43148
2880.36/2890.45 c #Conflicts: 1712000 | #Constraints: 44148
2880.36/2890.45 c #Conflicts: 1713000 | #Constraints: 45148
2880.36/2890.45 c #Conflicts: 1714000 | #Constraints: 46148
2880.36/2890.45 c #Conflicts: 1715000 | #Constraints: 47148
2880.36/2890.45 c #Conflicts: 1716000 | #Constraints: 48148
2880.36/2890.45 c #Conflicts: 1717000 | #Constraints: 49148
2880.36/2890.45 c #Conflicts: 1718000 | #Constraints: 50148
2880.36/2890.45 c #Conflicts: 1719000 | #Constraints: 51148
2880.36/2890.45 c #Conflicts: 1720000 | #Constraints: 52148
2880.36/2890.45 c INPROCESSING
2880.36/2890.45 c GARBAGE COLLECT
2880.36/2890.45 c #Conflicts: 1721000 | #Constraints: 27184
2880.36/2890.45 c #Conflicts: 1722000 | #Constraints: 28184
2880.36/2890.45 c #Conflicts: 1723000 | #Constraints: 29184
2880.36/2890.45 c #Conflicts: 1724000 | #Constraints: 30184
2880.36/2890.45 c #Conflicts: 1725000 | #Constraints: 31184
2880.36/2890.45 c #Conflicts: 1726000 | #Constraints: 32184
2880.36/2890.45 c #Conflicts: 1727000 | #Constraints: 33184
2880.36/2890.45 c #Conflicts: 1728000 | #Constraints: 34184
2880.36/2890.45 c #Conflicts: 1729000 | #Constraints: 35184
2880.36/2890.45 c #Conflicts: 1730000 | #Constraints: 36184
2880.36/2890.45 c #Conflicts: 1731000 | #Constraints: 37184
2880.36/2890.45 c #Conflicts: 1732000 | #Constraints: 38184
2880.36/2890.45 c #Conflicts: 1733000 | #Constraints: 39184
2880.36/2890.45 c #Conflicts: 1734000 | #Constraints: 40184
2880.36/2890.45 c #Conflicts: 1735000 | #Constraints: 41184
3062.09/3072.77 c #Conflicts: 1736000 | #Constraints: 42184
3062.09/3072.77 c #Conflicts: 1737000 | #Constraints: 43184
3062.09/3072.77 c #Conflicts: 1738000 | #Constraints: 44184
3062.09/3072.77 c #Conflicts: 1739000 | #Constraints: 45184
3062.09/3072.77 c #Conflicts: 1740000 | #Constraints: 46184
3062.09/3072.77 c #Conflicts: 1741000 | #Constraints: 47184
3062.09/3072.77 c #Conflicts: 1742000 | #Constraints: 48184
3062.09/3072.77 c #Conflicts: 1743000 | #Constraints: 49184
3062.09/3072.77 c #Conflicts: 1744000 | #Constraints: 50184
3062.09/3072.77 c #Conflicts: 1745000 | #Constraints: 51184
3062.09/3072.77 c #Conflicts: 1746000 | #Constraints: 52184
3062.09/3072.77 c INPROCESSING
3062.09/3072.77 c GARBAGE COLLECT
3062.09/3072.77 c #Conflicts: 1747000 | #Constraints: 26986
3062.09/3072.77 c #Conflicts: 1748000 | #Constraints: 27986
3062.09/3072.77 c #Conflicts: 1749000 | #Constraints: 28986
3062.09/3072.77 c #Conflicts: 1750000 | #Constraints: 29986
3062.09/3072.77 c #Conflicts: 1751000 | #Constraints: 30986
3062.09/3072.77 c #Conflicts: 1752000 | #Constraints: 31986
3062.09/3072.77 c #Conflicts: 1753000 | #Constraints: 32986
3062.09/3072.77 c #Conflicts: 1754000 | #Constraints: 33986
3062.09/3072.77 c #Conflicts: 1755000 | #Constraints: 34986
3062.09/3072.77 c #Conflicts: 1756000 | #Constraints: 35986
3062.09/3072.77 c #Conflicts: 1757000 | #Constraints: 36986
3062.09/3072.77 c #Conflicts: 1758000 | #Constraints: 37986
3062.09/3072.77 c #Conflicts: 1759000 | #Constraints: 38986
3062.09/3072.77 c #Conflicts: 1760000 | #Constraints: 39986
3062.09/3072.77 c #Conflicts: 1761000 | #Constraints: 40986
3062.09/3072.77 c #Conflicts: 1762000 | #Constraints: 41986
3062.09/3072.77 c #Conflicts: 1763000 | #Constraints: 42986
3062.09/3072.77 c #Conflicts: 1764000 | #Constraints: 43986
3062.09/3072.77 c #Conflicts: 1765000 | #Constraints: 44986
3062.09/3072.77 c #Conflicts: 1766000 | #Constraints: 45986
3062.09/3072.77 c #Conflicts: 1767000 | #Constraints: 46986
3062.09/3072.77 c #Conflicts: 1768000 | #Constraints: 47986
3062.09/3072.77 c #Conflicts: 1769000 | #Constraints: 48986
3062.09/3072.77 c #Conflicts: 1770000 | #Constraints: 49986
3062.09/3072.77 c #Conflicts: 1771000 | #Constraints: 50986
3062.09/3072.77 c #Conflicts: 1772000 | #Constraints: 51986
3062.09/3072.77 c #Conflicts: 1773000 | #Constraints: 52986
3062.09/3072.77 c INPROCESSING
3062.09/3072.77 c GARBAGE COLLECT
3062.09/3072.77 c #Conflicts: 1774000 | #Constraints: 27546
3062.09/3072.77 c #Conflicts: 1775000 | #Constraints: 28546
3062.09/3072.77 c #Conflicts: 1776000 | #Constraints: 29546
3062.09/3072.77 c #Conflicts: 1777000 | #Constraints: 30546
3062.09/3072.77 c #Conflicts: 1778000 | #Constraints: 31546
3062.09/3072.77 c #Conflicts: 1779000 | #Constraints: 32546
3062.09/3072.77 c #Conflicts: 1780000 | #Constraints: 33546
3062.09/3072.77 c #Conflicts: 1781000 | #Constraints: 34546
3062.09/3072.77 c #Conflicts: 1782000 | #Constraints: 35546
3062.09/3072.77 c #Conflicts: 1783000 | #Constraints: 36546
3062.09/3072.77 c #Conflicts: 1784000 | #Constraints: 37546
3062.09/3072.77 c #Conflicts: 1785000 | #Constraints: 38546
3062.09/3072.77 c #Conflicts: 1786000 | #Constraints: 39546
3062.09/3072.77 c #Conflicts: 1787000 | #Constraints: 40546
3062.09/3072.77 c #Conflicts: 1788000 | #Constraints: 41546
3062.09/3072.77 c #Conflicts: 1789000 | #Constraints: 42546
3062.09/3072.77 c #Conflicts: 1790000 | #Constraints: 43546
3062.09/3072.77 c #Conflicts: 1791000 | #Constraints: 44546
3062.09/3072.77 c #Conflicts: 1792000 | #Constraints: 45546
3062.09/3072.77 c #Conflicts: 1793000 | #Constraints: 46546
3062.09/3072.77 c #Conflicts: 1794000 | #Constraints: 47546
3062.09/3072.77 c #Conflicts: 1795000 | #Constraints: 48546
3062.09/3072.77 c #Conflicts: 1796000 | #Constraints: 49546
3062.09/3072.77 c #Conflicts: 1797000 | #Constraints: 50546
3062.09/3072.77 c #Conflicts: 1798000 | #Constraints: 51546
3062.09/3072.77 c #Conflicts: 1799000 | #Constraints: 52546
3062.09/3072.77 c #Conflicts: 1800000 | #Constraints: 53546
3062.09/3072.77 c INPROCESSING
3062.09/3072.77 c GARBAGE COLLECT
3062.09/3072.77 c #Conflicts: 1801000 | #Constraints: 27930
3062.09/3072.77 c #Conflicts: 1802000 | #Constraints: 28930
3062.09/3072.77 c #Conflicts: 1803000 | #Constraints: 29930
3062.09/3072.77 c #Conflicts: 1804000 | #Constraints: 30930
3062.09/3072.77 c #Conflicts: 1805000 | #Constraints: 31930
3062.09/3072.77 c #Conflicts: 1806000 | #Constraints: 32930
3062.09/3072.77 c #Conflicts: 1807000 | #Constraints: 33930
3062.09/3072.77 c #Conflicts: 1808000 | #Constraints: 34930
3062.09/3072.77 c #Conflicts: 1809000 | #Constraints: 35930
3062.09/3072.77 c #Conflicts: 1810000 | #Constraints: 36930
3062.09/3072.77 c #Conflicts: 1811000 | #Constraints: 37930
3062.09/3072.77 c #Conflicts: 1812000 | #Constraints: 38930
3264.64/3276.00 c #Conflicts: 1813000 | #Constraints: 39930
3264.64/3276.00 c #Conflicts: 1814000 | #Constraints: 40930
3264.64/3276.00 c #Conflicts: 1815000 | #Constraints: 41930
3264.64/3276.00 c #Conflicts: 1816000 | #Constraints: 42930
3264.64/3276.00 c #Conflicts: 1817000 | #Constraints: 43930
3264.64/3276.00 c #Conflicts: 1818000 | #Constraints: 44930
3264.64/3276.00 c #Conflicts: 1819000 | #Constraints: 45930
3264.64/3276.00 c #Conflicts: 1820000 | #Constraints: 46930
3264.64/3276.00 c #Conflicts: 1821000 | #Constraints: 47930
3264.64/3276.00 c #Conflicts: 1822000 | #Constraints: 48930
3264.64/3276.00 c #Conflicts: 1823000 | #Constraints: 49930
3264.64/3276.00 c #Conflicts: 1824000 | #Constraints: 50930
3264.64/3276.00 c #Conflicts: 1825000 | #Constraints: 51930
3264.64/3276.00 c #Conflicts: 1826000 | #Constraints: 52930
3264.64/3276.00 c #Conflicts: 1827000 | #Constraints: 53930
3264.64/3276.00 c INPROCESSING
3264.64/3276.00 c GARBAGE COLLECT
3264.64/3276.00 c #Conflicts: 1828000 | #Constraints: 28138
3264.64/3276.00 c #Conflicts: 1829000 | #Constraints: 29138
3264.64/3276.00 c #Conflicts: 1830000 | #Constraints: 30138
3264.64/3276.00 c #Conflicts: 1831000 | #Constraints: 31138
3264.64/3276.00 c #Conflicts: 1832000 | #Constraints: 32138
3264.64/3276.00 c #Conflicts: 1833000 | #Constraints: 33138
3264.64/3276.00 c #Conflicts: 1834000 | #Constraints: 34138
3264.64/3276.00 c #Conflicts: 1835000 | #Constraints: 35138
3264.64/3276.00 c #Conflicts: 1836000 | #Constraints: 36138
3264.64/3276.00 c #Conflicts: 1837000 | #Constraints: 37138
3264.64/3276.00 c #Conflicts: 1838000 | #Constraints: 38138
3264.64/3276.00 c #Conflicts: 1839000 | #Constraints: 39138
3264.64/3276.00 c #Conflicts: 1840000 | #Constraints: 40138
3264.64/3276.00 c #Conflicts: 1841000 | #Constraints: 41138
3264.64/3276.00 c #Conflicts: 1842000 | #Constraints: 42138
3264.64/3276.00 c #Conflicts: 1843000 | #Constraints: 43138
3264.64/3276.00 c #Conflicts: 1844000 | #Constraints: 44138
3264.64/3276.00 c #Conflicts: 1845000 | #Constraints: 45138
3264.64/3276.00 c #Conflicts: 1846000 | #Constraints: 46138
3264.64/3276.00 c #Conflicts: 1847000 | #Constraints: 47138
3264.64/3276.00 c #Conflicts: 1848000 | #Constraints: 48138
3264.64/3276.00 c #Conflicts: 1849000 | #Constraints: 49138
3264.64/3276.00 c #Conflicts: 1850000 | #Constraints: 50138
3264.64/3276.00 c #Conflicts: 1851000 | #Constraints: 51138
3264.64/3276.00 c #Conflicts: 1852000 | #Constraints: 52138
3264.64/3276.00 c #Conflicts: 1853000 | #Constraints: 53138
3264.64/3276.00 c #Conflicts: 1854000 | #Constraints: 54138
3264.64/3276.00 c INPROCESSING
3264.64/3276.00 c GARBAGE COLLECT
3264.64/3276.00 c #Conflicts: 1855000 | #Constraints: 28171
3264.64/3276.00 c #Conflicts: 1856000 | #Constraints: 29171
3264.64/3276.00 c #Conflicts: 1857000 | #Constraints: 30171
3264.64/3276.00 c #Conflicts: 1858000 | #Constraints: 31171
3264.64/3276.00 c #Conflicts: 1859000 | #Constraints: 32171
3264.64/3276.00 c #Conflicts: 1860000 | #Constraints: 33171
3264.64/3276.00 c #Conflicts: 1861000 | #Constraints: 34171
3264.64/3276.00 c #Conflicts: 1862000 | #Constraints: 35171
3264.64/3276.00 c #Conflicts: 1863000 | #Constraints: 36171
3264.64/3276.00 c #Conflicts: 1864000 | #Constraints: 37171
3264.64/3276.00 c #Conflicts: 1865000 | #Constraints: 38171
3264.64/3276.00 c #Conflicts: 1866000 | #Constraints: 39171
3264.64/3276.00 c #Conflicts: 1867000 | #Constraints: 40171
3264.64/3276.00 c #Conflicts: 1868000 | #Constraints: 41171
3264.64/3276.00 c #Conflicts: 1869000 | #Constraints: 42171
3264.64/3276.00 c #Conflicts: 1870000 | #Constraints: 43171
3264.64/3276.00 c #Conflicts: 1871000 | #Constraints: 44171
3264.64/3276.00 c #Conflicts: 1872000 | #Constraints: 45171
3264.64/3276.00 c #Conflicts: 1873000 | #Constraints: 46171
3264.64/3276.00 c #Conflicts: 1874000 | #Constraints: 47171
3264.64/3276.00 c #Conflicts: 1875000 | #Constraints: 48171
3264.64/3276.00 c #Conflicts: 1876000 | #Constraints: 49171
3264.64/3276.00 c #Conflicts: 1877000 | #Constraints: 50171
3264.64/3276.00 c #Conflicts: 1878000 | #Constraints: 51171
3264.64/3276.00 c #Conflicts: 1879000 | #Constraints: 52171
3264.64/3276.00 c #Conflicts: 1880000 | #Constraints: 53171
3264.64/3276.00 c #Conflicts: 1881000 | #Constraints: 54171
3264.64/3276.00 c INPROCESSING
3264.64/3276.00 c GARBAGE COLLECT
3264.64/3276.00 c #Conflicts: 1882000 | #Constraints: 27956
3264.64/3276.00 c #Conflicts: 1883000 | #Constraints: 28956
3264.64/3276.00 c #Conflicts: 1884000 | #Constraints: 29956
3264.64/3276.00 c #Conflicts: 1885000 | #Constraints: 30956
3264.64/3276.00 c #Conflicts: 1886000 | #Constraints: 31956
3264.64/3276.00 c #Conflicts: 1887000 | #Constraints: 32956
3264.64/3276.00 c #Conflicts: 1888000 | #Constraints: 33956
3485.04/3497.07 c #Conflicts: 1889000 | #Constraints: 34956
3485.04/3497.07 c #Conflicts: 1890000 | #Constraints: 35956
3485.04/3497.07 c #Conflicts: 1891000 | #Constraints: 36956
3485.04/3497.07 c #Conflicts: 1892000 | #Constraints: 37956
3485.04/3497.07 c #Conflicts: 1893000 | #Constraints: 38956
3485.04/3497.07 c #Conflicts: 1894000 | #Constraints: 39956
3485.04/3497.07 c #Conflicts: 1895000 | #Constraints: 40956
3485.04/3497.07 c #Conflicts: 1896000 | #Constraints: 41956
3485.04/3497.07 c #Conflicts: 1897000 | #Constraints: 42956
3485.04/3497.07 c #Conflicts: 1898000 | #Constraints: 43956
3485.04/3497.07 c #Conflicts: 1899000 | #Constraints: 44956
3485.04/3497.07 c #Conflicts: 1900000 | #Constraints: 45956
3485.04/3497.07 c #Conflicts: 1901000 | #Constraints: 46956
3485.04/3497.07 c #Conflicts: 1902000 | #Constraints: 47956
3485.04/3497.07 c #Conflicts: 1903000 | #Constraints: 48956
3485.04/3497.07 c #Conflicts: 1904000 | #Constraints: 49956
3485.04/3497.07 c #Conflicts: 1905000 | #Constraints: 50956
3485.04/3497.07 c #Conflicts: 1906000 | #Constraints: 51956
3485.04/3497.07 c #Conflicts: 1907000 | #Constraints: 52956
3485.04/3497.07 c #Conflicts: 1908000 | #Constraints: 53956
3485.04/3497.07 c #Conflicts: 1909000 | #Constraints: 54956
3485.04/3497.07 c INPROCESSING
3485.04/3497.07 c GARBAGE COLLECT
3485.04/3497.07 c #Conflicts: 1910000 | #Constraints: 28576
3485.04/3497.07 c #Conflicts: 1911000 | #Constraints: 29576
3485.04/3497.07 c #Conflicts: 1912000 | #Constraints: 30576
3485.04/3497.07 c #Conflicts: 1913000 | #Constraints: 31576
3485.04/3497.07 c #Conflicts: 1914000 | #Constraints: 32576
3485.04/3497.07 c #Conflicts: 1915000 | #Constraints: 33576
3485.04/3497.07 c #Conflicts: 1916000 | #Constraints: 34576
3485.04/3497.07 c #Conflicts: 1917000 | #Constraints: 35576
3485.04/3497.07 c #Conflicts: 1918000 | #Constraints: 36576
3485.04/3497.07 c #Conflicts: 1919000 | #Constraints: 37576
3485.04/3497.07 c #Conflicts: 1920000 | #Constraints: 38576
3485.04/3497.07 c #Conflicts: 1921000 | #Constraints: 39576
3485.04/3497.07 c #Conflicts: 1922000 | #Constraints: 40576
3485.04/3497.07 c #Conflicts: 1923000 | #Constraints: 41576
3485.04/3497.07 c #Conflicts: 1924000 | #Constraints: 42576
3485.04/3497.07 c #Conflicts: 1925000 | #Constraints: 43576
3485.04/3497.07 c #Conflicts: 1926000 | #Constraints: 44576
3485.04/3497.07 c #Conflicts: 1927000 | #Constraints: 45576
3485.04/3497.07 c #Conflicts: 1928000 | #Constraints: 46576
3485.04/3497.07 c #Conflicts: 1929000 | #Constraints: 47576
3485.04/3497.07 c #Conflicts: 1930000 | #Constraints: 48576
3485.04/3497.07 c #Conflicts: 1931000 | #Constraints: 49576
3485.04/3497.07 c #Conflicts: 1932000 | #Constraints: 50576
3485.04/3497.07 c #Conflicts: 1933000 | #Constraints: 51576
3485.04/3497.07 c #Conflicts: 1934000 | #Constraints: 52576
3485.04/3497.07 c #Conflicts: 1935000 | #Constraints: 53576
3485.04/3497.07 c #Conflicts: 1936000 | #Constraints: 54576
3485.04/3497.07 c #Conflicts: 1937000 | #Constraints: 55576
3485.04/3497.07 c INPROCESSING
3485.04/3497.07 c GARBAGE COLLECT
3485.04/3497.07 c #Conflicts: 1938000 | #Constraints: 28970
3485.04/3497.07 c #Conflicts: 1939000 | #Constraints: 29970
3485.04/3497.07 c #Conflicts: 1940000 | #Constraints: 30970
3485.04/3497.07 c #Conflicts: 1941000 | #Constraints: 31970
3485.04/3497.07 c #Conflicts: 1942000 | #Constraints: 32970
3485.04/3497.07 c #Conflicts: 1943000 | #Constraints: 33970
3485.04/3497.07 c #Conflicts: 1944000 | #Constraints: 34970
3485.04/3497.07 c #Conflicts: 1945000 | #Constraints: 35970
3485.04/3497.07 c #Conflicts: 1946000 | #Constraints: 36970
3485.04/3497.07 c #Conflicts: 1947000 | #Constraints: 37970
3485.04/3497.07 c #Conflicts: 1948000 | #Constraints: 38970
3485.04/3497.07 c #Conflicts: 1949000 | #Constraints: 39970
3485.04/3497.07 c #Conflicts: 1950000 | #Constraints: 40970
3485.04/3497.07 c #Conflicts: 1951000 | #Constraints: 41970
3485.04/3497.07 c #Conflicts: 1952000 | #Constraints: 42970
3485.04/3497.07 c #Conflicts: 1953000 | #Constraints: 43970
3485.04/3497.07 c #Conflicts: 1954000 | #Constraints: 44970
3485.04/3497.07 c #Conflicts: 1955000 | #Constraints: 45970
3485.04/3497.07 c #Conflicts: 1956000 | #Constraints: 46970
3485.04/3497.07 c #Conflicts: 1957000 | #Constraints: 47970
3485.04/3497.07 c #Conflicts: 1958000 | #Constraints: 48970
3485.04/3497.07 c #Conflicts: 1959000 | #Constraints: 49970
3485.04/3497.07 c #Conflicts: 1960000 | #Constraints: 50970
3485.04/3497.07 c #Conflicts: 1961000 | #Constraints: 51970
3485.04/3497.07 c #Conflicts: 1962000 | #Constraints: 52970
3485.04/3497.07 c #Conflicts: 1963000 | #Constraints: 53970
3485.04/3497.07 c #Conflicts: 1964000 | #Constraints: 54970
3485.04/3497.07 c #Conflicts: 1965000 | #Constraints: 55970
3485.04/3497.07 c INPROCESSING
3485.04/3497.07 c GARBAGE COLLECT
3600.06/3612.40 c #Conflicts: 1966000 | #Constraints: 29176
3600.06/3612.40 c #Conflicts: 1967000 | #Constraints: 30176
3600.06/3612.40 c #Conflicts: 1968000 | #Constraints: 31176
3600.06/3612.40 c #Conflicts: 1969000 | #Constraints: 32176
3600.06/3612.40 c #Conflicts: 1970000 | #Constraints: 33176
3600.06/3612.40 c #Conflicts: 1971000 | #Constraints: 34176
3600.06/3612.40 c #Conflicts: 1972000 | #Constraints: 35176
3600.06/3612.40 c #Conflicts: 1973000 | #Constraints: 36176
3600.06/3612.40 c #Conflicts: 1974000 | #Constraints: 37176
3600.06/3612.40 c #Conflicts: 1975000 | #Constraints: 38176
3600.06/3612.40 c #Conflicts: 1976000 | #Constraints: 39176
3600.06/3612.40 c #Conflicts: 1977000 | #Constraints: 40176
3600.06/3612.40 c #Conflicts: 1978000 | #Constraints: 41176
3600.06/3612.40 c #Conflicts: 1979000 | #Constraints: 42176
3600.06/3612.40 c #Conflicts: 1980000 | #Constraints: 43176
3600.06/3612.40 c #Conflicts: 1981000 | #Constraints: 44176
3600.06/3612.40 c #Conflicts: 1982000 | #Constraints: 45176
3600.06/3612.40 c #Conflicts: 1983000 | #Constraints: 46176
3600.06/3612.40 c #Conflicts: 1984000 | #Constraints: 47176
3600.06/3612.40 c #Conflicts: 1985000 | #Constraints: 48176
3600.06/3612.40 c #Conflicts: 1986000 | #Constraints: 49176
3600.06/3612.40 c #Conflicts: 1987000 | #Constraints: 50176
3600.06/3612.40 c #Conflicts: 1988000 | #Constraints: 51176
3600.06/3612.40 c #Conflicts: 1989000 | #Constraints: 52176
3600.06/3612.40 c #Conflicts: 1990000 | #Constraints: 53176
3600.06/3612.40 c #Conflicts: 1991000 | #Constraints: 54176
3600.06/3612.40 c #Conflicts: 1992000 | #Constraints: 55176
3600.06/3612.40 c #Conflicts: 1993000 | #Constraints: 56176
3600.06/3612.40 c INPROCESSING
3600.06/3612.40 c GARBAGE COLLECT
3600.06/3612.40 c #Conflicts: 1994000 | #Constraints: 29170
3600.06/3612.40 c #Conflicts: 1995000 | #Constraints: 30170
3600.06/3612.40 c #Conflicts: 1996000 | #Constraints: 31170
3600.06/3612.40 c #Conflicts: 1997000 | #Constraints: 32170
3600.06/3612.40 c #Conflicts: 1998000 | #Constraints: 33170
3600.06/3612.40 c #Conflicts: 1999000 | #Constraints: 34170
3600.06/3612.40 c #Conflicts: 2000000 | #Constraints: 35170
3600.06/3612.40 c #Conflicts: 2001000 | #Constraints: 36170
3600.06/3612.40 c #Conflicts: 2002000 | #Constraints: 37170
3600.06/3612.40 c #Conflicts: 2003000 | #Constraints: 38170
3600.06/3612.40 c #Conflicts: 2004000 | #Constraints: 39170
3600.06/3612.40 c #Conflicts: 2005000 | #Constraints: 40170
3600.06/3612.40 c #Conflicts: 2006000 | #Constraints: 41170
3600.06/3612.40 c #Conflicts: 2007000 | #Constraints: 42170
3600.06/3612.40 c #Conflicts: 2008000 | #Constraints: 43170
3600.06/3612.40 c #Conflicts: 2009000 | #Constraints: 44170
3600.06/3612.40 c #Conflicts: 2010000 | #Constraints: 45170
3600.06/3612.40 c #Conflicts: 2011000 | #Constraints: 46170
3600.06/3612.40 c #Conflicts: 2012000 | #Constraints: 47170
3600.06/3612.40 c #Conflicts: 2013000 | #Constraints: 48170
3600.06/3612.40 c #Conflicts: 2014000 | #Constraints: 49170
3600.06/3612.40 c Program interrupted by user.
3600.06/3612.40 c cpu time 3587.65 s
3600.06/3612.40 c deterministic time 442734775087 4.43e+11
3600.06/3612.40 c optimization time 49.7118 s
3600.06/3612.40 c total solve time 3239.28 s
3600.06/3612.40 c core-guided solve time 0 s
3600.06/3612.40 c propagation time 2619.83 s
3600.06/3612.40 c conflict analysis time 638.821 s
3600.06/3612.40 c propagations 222526742
3600.06/3612.40 c resolve steps 25656245
3600.06/3612.40 c decisions 5762753
3600.06/3612.40 c conflicts 2014318
3600.06/3612.40 c restarts 3962
3600.06/3612.40 c inprocessing phases 132
3600.06/3612.40 c input clauses 30
3600.06/3612.40 c input cardinalities 30
3600.06/3612.40 c input general constraints 192
3600.06/3612.40 c input average constraint length 28.98
3600.06/3612.40 c input average constraint degree 228.58
3600.06/3612.40 c learned clauses 410655
3600.06/3612.40 c learned cardinalities 7636
3600.06/3612.40 c learned general constraints 1596026
3600.06/3612.40 c learned average constraint length 129.75
3600.06/3612.40 c learned average constraint degree 6530258.37
3600.06/3612.40 c watched constraints 1267362
3600.06/3612.40 c counting constraints 328856
3600.06/3612.40 c gcd simplifications 223570
3600.06/3612.40 c detected cardinalities 968
3600.06/3612.40 c weakened non-implied lits 79694885
3600.06/3612.40 c weakened non-implying lits 257222
3600.06/3612.40 c original variables 774
3600.06/3612.40 c clausal propagations 4384534
3600.06/3612.40 c cardinality propagations 6487543
3600.06/3612.40 c watched propagations 14559600
3600.06/3612.40 c counting propagations 195398541
3600.06/3612.40 c watch lookups 94944804594
3600.06/3612.40 c watch backjump lookups 87806277715
3600.06/3612.40 c watch checks 198044038802
3600.06/3612.40 c propagation checks 60123474698
3600.06/3612.40 c constraint additions 1357586243
3600.06/3612.40 c trail pops 230303539
3600.06/3612.40 c formula constraints 252
3600.06/3612.40 c learned constraints 2014317
3600.06/3612.40 c bound constraints 0
3600.06/3612.40 c core-guided constraints 0
3600.06/3612.40 c encountered formula constraints 10869572
3600.06/3612.40 c encountered learned constraints 16800991
3600.06/3612.40 c encountered bound constraints 0
3600.06/3612.40 c encountered core-guided constraints 0
3600.06/3612.40 c LP total time 0 s
3600.06/3612.40 c LP solve time 0 s
3600.06/3612.40 c LP constraints added 0
3600.06/3612.40 c LP constraints removed 0
3600.06/3612.40 c LP pivots internal 0
3600.06/3612.40 c LP pivots root 0
3600.06/3612.40 c LP calls 0
3600.06/3612.40 c LP optimalities 0
3600.06/3612.40 c LP no pivot count 0
3600.06/3612.40 c LP infeasibilities 0
3600.06/3612.40 c LP valid Farkas constraints 0
3600.06/3612.40 c LP learned Farkas constraints 0
3600.06/3612.40 c LP basis resets 0
3600.06/3612.40 c LP cycling count 0
3600.06/3612.40 c LP singular count 0
3600.06/3612.40 c LP no primal count 0
3600.06/3612.40 c LP no farkas count 0
3600.06/3612.40 c LP other issue count 0
3600.06/3612.40 c LP Gomory cuts 0
3600.06/3612.40 c LP learned cuts 0
3600.06/3612.40 c LP deleted cuts 0
3600.06/3612.40 c LP encountered Gomory constraints 0
3600.06/3612.40 c LP encountered Farkas constraints 0
3600.06/3612.40 c LP encountered learned Farkas constraints 0
3600.06/3612.40 c CG auxiliary variables introduced 0
3600.06/3612.40 c CG solutions found 0
3600.06/3612.40 c CG cores constructed 0
3600.06/3612.40 c CG core cardinality constraints returned 0
3600.06/3612.40 c CG unit cores 0
3600.06/3612.40 c CG single cores 0
3600.06/3612.40 c CG blocks removed during cardinality reduction 0
3600.06/3612.40 c CG first core best 0
3600.06/3612.40 c CG decision core best 0
3600.06/3612.40 c CG core reduction tie 0
3600.06/3612.40 c CG core degree average 0.00
3600.06/3612.40 c CG core slack average 0.00
3600.06/3612.40 c CG exhausted 0
3600.06/3612.40 c CG exhaust time 0 s
3600.06/3612.40 c CG trimmed 0
3600.06/3612.40 c CG trim time 0 s
3600.06/3612.40 c CG minimized 0
3600.06/3612.40 c CG minimize time 0 s
3600.06/3612.40 c CG am1 prop time 0 s
3600.06/3612.40 c CG # am1s reformulated 0
3600.06/3612.40 c CG lower bound derived from am1s 0
3600.06/3612.40 c CG # clausal cores 0
3600.06/3612.40 c CG # cardinality cores 0
3600.06/3612.40 c CG # pb cores 0
3600.06/3612.40 c CG # pb reforms 0
3600.06/3612.40 c CG # cores discarded because of pb reform 0
3600.06/3612.40 d LOWERBOUND 0
3600.06/3612.40 d NCORES 0
3600.06/3612.40 d NPBCORES 0
3600.06/3612.40 d NPBREFORM 0
3600.06/3612.40 d NTRIMMED 0
3600.06/3612.40 d NEXHAUSTED 0
3600.06/3612.40 d NAM1S 0
3600.06/3612.40 d AM1LB 0
3600.06/3612.40 c [Papilo Statistics]
3600.06/3612.40 c prepro time 0.00241965s
3600.06/3612.40 c # tsx applied 6
3600.06/3612.40 c # tsx conflicts 0
3600.06/3612.40 c # bound changes 3
3600.06/3612.40 c # side changes 0
3600.06/3612.40 c # coef changes 0
3600.06/3612.40 c # rounds 2
3600.06/3612.40 c # deted vars 3
3600.06/3612.40 c # deted constrs 772
3600.06/3612.40 c # consecutive rounds of only bound changes 0
3600.06/3612.40 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 (62628 MiB free)
memory of node 1: 64473 MiB (63062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454855-1721472388/watcher-4454855-1721472388 -o /tmp/evaluation-result-4454855-1721472388/solver-4454855-1721472388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048074 --watchdog 3760 mixed-bag HOME/instance-4454855-1721472388.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=1050245, runsolver pid=1050242
[startup+0.100272 s]*
/proc/loadavg: 4.07 4.10 4.04 5/254 1050246
/proc/meminfo: memFree=128684216/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=100664 memory=31684 CPUtime=0.09 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 4730 0 0 0 9 0 0 0 20 0 1 0 199405886 103079936 7921 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 25166 7921 3820 3002 0 8915 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 31684 KiB
[startup+0.205357 s]*
/proc/loadavg: 4.07 4.10 4.04 5/254 1050246
/proc/meminfo: memFree=128656188/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=101292 memory=32212 CPUtime=0.19 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 4865 0 0 0 19 0 0 0 20 0 1 0 199405886 103723008 8053 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 25323 8053 3820 3002 0 9072 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101292 KiB
Current children cumulated memory: 32212 KiB
[startup+0.305387 s]*
/proc/loadavg: 4.07 4.10 4.04 5/254 1050246
/proc/meminfo: memFree=128630152/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=110588 memory=41320 CPUtime=0.3 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 7183 0 0 0 29 1 0 0 20 0 1 0 199405886 113242112 10330 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 27647 10330 4022 3002 0 11396 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110588 KiB
Current children cumulated memory: 41320 KiB
[startup+0.700223 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050246
/proc/meminfo: memFree=128621008/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=141976 memory=71648 CPUtime=0.68 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 14770 0 0 0 66 2 0 0 20 0 1 0 199405886 145383424 17912 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 35494 17912 4022 3002 0 19243 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141976 KiB
Current children cumulated memory: 71648 KiB
[startup+1.50023 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050246
/proc/meminfo: memFree=128582716/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=156120 memory=85096 CPUtime=1.48 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 18135 0 0 0 146 2 0 0 20 0 1 0 199405886 159866880 21274 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 39030 21274 4022 3002 0 22779 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156120 KiB
Current children cumulated memory: 85096 KiB
[startup+3.10528 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050247
/proc/meminfo: memFree=128496056/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=157736 memory=87472 CPUtime=3.07 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 18747 0 0 0 305 2 0 0 20 0 1 0 199405886 161521664 21868 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 39434 21868 4022 3002 0 23183 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 157736 KiB
Current children cumulated memory: 87472 KiB
[startup+6.30019 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050247
/proc/meminfo: memFree=128463724/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=169496 memory=99652 CPUtime=6.26 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 22191 0 0 0 623 3 0 0 20 0 1 0 199405886 173563904 24913 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 42374 24913 4022 3002 0 26123 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 169496 KiB
Current children cumulated memory: 99652 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.04 5/254 1050249
/proc/meminfo: memFree=128448076/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=169904 memory=99916 CPUtime=12.63 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 22294 0 0 0 1260 3 0 0 20 0 1 0 199405886 173981696 24979 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 42476 24979 4022 3002 0 26225 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 169904 KiB
Current children cumulated memory: 99916 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.04 5/254 1050250
/proc/meminfo: memFree=128393616/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=180424 memory=109316 CPUtime=25.37 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 25118 0 0 0 2534 3 0 0 20 0 1 0 199405886 184754176 27329 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 45106 27329 4022 3002 0 28855 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 180424 KiB
Current children cumulated memory: 109316 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.10 4.04 5/254 1050254
/proc/meminfo: memFree=128313356/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=187552 memory=116924 CPUtime=50.87 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 27032 0 0 0 5083 4 0 0 20 0 1 0 199405886 192053248 29231 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 46888 29231 4022 3002 0 30637 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 187552 KiB
Current children cumulated memory: 116924 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.05 5/254 1050264
/proc/meminfo: memFree=128277068/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=199456 memory=128516 CPUtime=101.84 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 29926 0 0 0 10179 5 0 0 20 0 1 0 199405886 204242944 32129 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 49864 32129 4022 3002 0 33613 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 199456 KiB
Current children cumulated memory: 128516 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/254 1050274
/proc/meminfo: memFree=128219136/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=208456 memory=138544 CPUtime=161.57 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 32440 0 0 0 16152 5 0 0 20 0 1 0 199405886 213458944 34636 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 52114 34636 4022 3002 0 35863 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 208456 KiB
Current children cumulated memory: 138544 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.06 5/256 1050288
/proc/meminfo: memFree=128156268/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=220100 memory=149372 CPUtime=221.31 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 35131 0 0 0 22125 6 0 0 20 0 1 0 199405886 225382400 37343 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 55025 37343 4022 3002 0 38774 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 220100 KiB
Current children cumulated memory: 149372 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/256 1050299
/proc/meminfo: memFree=128127764/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=235848 memory=165972 CPUtime=281.04 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 40314 0 0 0 28096 8 0 0 20 0 1 0 199405886 241508352 41493 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 58962 41493 4022 3002 0 42711 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 235848 KiB
Current children cumulated memory: 165972 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/256 1050354
/proc/meminfo: memFree=128198768/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=205640 memory=141580 CPUtime=340.82 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 44738 0 0 0 34018 64 0 0 20 0 1 0 199405886 210575360 35395 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 51410 35395 4086 3002 0 35159 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 205640 KiB
Current children cumulated memory: 141580 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/256 1050365
/proc/meminfo: memFree=128146400/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=212820 memory=149908 CPUtime=400.61 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 44806 0 0 0 39947 114 0 0 20 0 1 0 199405886 217927680 37477 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 53205 37477 4086 3002 0 36954 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 212820 KiB
Current children cumulated memory: 149908 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/256 1050376
/proc/meminfo: memFree=128132056/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=224496 memory=154040 CPUtime=460.39 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 45325 0 0 0 45900 139 0 0 20 0 1 0 199405886 229883904 38510 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 56124 38510 4086 3002 0 39873 0
################
# More data... #
################
Current children cumulated memory: 183720 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/258 1052033
/proc/meminfo: memFree=127053376/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=2852.36 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 47825 0 0 0 284171 1065 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 2852.36 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/256 1052043
/proc/meminfo: memFree=127048028/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=2912.16 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 47889 0 0 0 290136 1080 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 2912.16 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/254 1052053
/proc/meminfo: memFree=127046476/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=2971.97 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 47955 0 0 0 296098 1099 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 2971.97 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.11 4.11 5/254 1052063
/proc/meminfo: memFree=127043856/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3031.79 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48019 0 0 0 302067 1112 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3031.79 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/254 1052075
/proc/meminfo: memFree=127042568/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3091.6 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48087 0 0 0 308034 1126 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3091.6 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/254 1052085
/proc/meminfo: memFree=127035760/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3151.41 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48153 0 0 0 314001 1140 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3151.41 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/256 1052099
/proc/meminfo: memFree=127032820/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3211.22 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48220 0 0 0 319968 1154 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3211.22 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/256 1052110
/proc/meminfo: memFree=127024888/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3271.03 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48285 0 0 0 325936 1167 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/256 1052120
/proc/meminfo: memFree=127021244/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3330.83 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48351 0 0 0 331902 1181 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3330.83 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/256 1052131
/proc/meminfo: memFree=127004004/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3390.64 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48415 0 0 0 337869 1195 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 1052142
/proc/meminfo: memFree=126962360/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3450.46 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48483 0 0 0 343836 1210 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3450.46 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1052152
/proc/meminfo: memFree=126961292/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3510.26 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48549 0 0 0 349805 1221 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3510.26 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.15 4.10 5/257 1052167
/proc/meminfo: memFree=126915600/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3570.06 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48614 0 0 0 355771 1235 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3570.06 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.14 4.13 4.10 5/257 1052264
/proc/meminfo: memFree=127374164/131524600 swapFree=131071996/131071996
[pid=1050245] ppid=1050242 vsize=243464 memory=183720 CPUtime=3600.06 cores=0,2
/proc/1050245/stat : 1050245 (mixed-bag) R 1050242 1050245 1048064 0 -1 4194304 48675 0 0 0 358765 1241 0 0 20 0 1 0 199405886 249307136 45930 134679101440 4194304 16488053 140733607439856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 51798016 140733607441429 140733607441506 140733607441506 140733607448523 0
/proc/1050245/statm: 60866 45930 4086 3002 0 44615 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 243464 KiB
Current children cumulated memory: 183720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 1050245 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.65 s, system=12.4142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.4
CPU time (s): 3600.07
CPU user time (s): 3587.65
CPU system time (s): 12.4142
CPU usage (%): 99.6585
Max. virtual memory (cumulated for all children) (KiB): 249616
Max. memory (cumulated for all children) (KiB): 183720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.65
system time used= 12.4142
maximum resident set size= 183720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48702
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= 24689
# summary of solver processes directly reported to runsolver:
# pid: 1050245
# total CPU time (s): 3600.07
# total CPU user time (s): 3587.65
# total CPU system time (s): 12.4142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4417 second user time and 17.0109 second system time
The end
Begin job on nodeC028 at 2024-07-20 12:46:41
IDJOB=4454855
IDBENCH=148776
IDSOLVER=3083
FILE ID=nodeC028/4454855-1721472388
RUNJOBID= nodeC028-1721468784-1048074
SLURM_JOB_ID= 7545726
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454855-1721472388/watcher-4454855-1721472388 -o /tmp/evaluation-result-4454855-1721472388/solver-4454855-1721472388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048074 --watchdog 3760 mixed-bag HOME/instance-4454855-1721472388.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=194024024
nodeC028.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 : 3666.068
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.56
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 : 3687.654
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.59
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 : 3665.971
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.226
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.59
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 : 3680.479
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.56
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 : 3687.697
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.59
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 : 3654.408
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.56
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 : 3600.058
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128708328 kB
MemAvailable: 129375712 kB
Buffers: 554684 kB
Cached: 961352 kB
SwapCached: 0 kB
Active: 1100312 kB
Inactive: 1116776 kB
Active(anon): 1536 kB
Inactive(anon): 745408 kB
Active(file): 1098776 kB
Inactive(file): 371368 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 67092 kB
Writeback: 0 kB
AnonPages: 698308 kB
Mapped: 139692 kB
Shmem: 45912 kB
KReclaimable: 74124 kB
Slab: 182120 kB
SReclaimable: 74124 kB
SUnreclaim: 107996 kB
KernelStack: 4096 kB
PageTables: 11160 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1119732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC028 at 2024-07-20 13:46:53