0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
298.39/300.14 c [STEP] preprocessing done, loading into solver
298.39/300.14 c [STEP] solving
298.39/300.14 c #variables 772 #constraints 252
322.19/324.06 c #Conflicts: 1000 | #Constraints: 1251
322.19/324.06 c #Conflicts: 2000 | #Constraints: 2251
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 3000 | #Constraints: 2255
322.19/324.06 c #Conflicts: 4000 | #Constraints: 3255
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 5000 | #Constraints: 2665
322.19/324.06 c #Conflicts: 6000 | #Constraints: 3665
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 7000 | #Constraints: 2668
322.19/324.06 c #Conflicts: 8000 | #Constraints: 3668
322.19/324.06 c #Conflicts: 9000 | #Constraints: 4668
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 10000 | #Constraints: 3371
322.19/324.06 c #Conflicts: 11000 | #Constraints: 4371
322.19/324.06 c #Conflicts: 12000 | #Constraints: 5371
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 13000 | #Constraints: 3820
322.19/324.06 c #Conflicts: 14000 | #Constraints: 4820
322.19/324.06 c #Conflicts: 15000 | #Constraints: 5820
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 16000 | #Constraints: 4047
322.19/324.06 c #Conflicts: 17000 | #Constraints: 5047
322.19/324.06 c #Conflicts: 18000 | #Constraints: 6047
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 19000 | #Constraints: 4064
322.19/324.06 c #Conflicts: 20000 | #Constraints: 5064
322.19/324.06 c #Conflicts: 21000 | #Constraints: 6064
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 22000 | #Constraints: 3863
322.19/324.06 c #Conflicts: 23000 | #Constraints: 4863
322.19/324.06 c #Conflicts: 24000 | #Constraints: 5863
322.19/324.06 c #Conflicts: 25000 | #Constraints: 6863
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 26000 | #Constraints: 4471
322.19/324.06 c #Conflicts: 27000 | #Constraints: 5471
322.19/324.06 c #Conflicts: 28000 | #Constraints: 6471
322.19/324.06 c #Conflicts: 29000 | #Constraints: 7471
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 30000 | #Constraints: 4871
322.19/324.06 c #Conflicts: 31000 | #Constraints: 5871
322.19/324.06 c #Conflicts: 32000 | #Constraints: 6871
322.19/324.06 c #Conflicts: 33000 | #Constraints: 7871
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 34000 | #Constraints: 5074
322.19/324.06 c #Conflicts: 35000 | #Constraints: 6074
322.19/324.06 c #Conflicts: 36000 | #Constraints: 7074
322.19/324.06 c #Conflicts: 37000 | #Constraints: 8074
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 38000 | #Constraints: 5079
322.19/324.06 c #Conflicts: 39000 | #Constraints: 6079
322.19/324.06 c #Conflicts: 40000 | #Constraints: 7079
322.19/324.06 c #Conflicts: 41000 | #Constraints: 8079
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 42000 | #Constraints: 4882
322.19/324.06 c #Conflicts: 43000 | #Constraints: 5882
322.19/324.06 c #Conflicts: 44000 | #Constraints: 6882
322.19/324.06 c #Conflicts: 45000 | #Constraints: 7882
322.19/324.06 c #Conflicts: 46000 | #Constraints: 8882
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 47000 | #Constraints: 5476
322.19/324.06 c #Conflicts: 48000 | #Constraints: 6476
322.19/324.06 c #Conflicts: 49000 | #Constraints: 7476
322.19/324.06 c #Conflicts: 50000 | #Constraints: 8476
322.19/324.06 c #Conflicts: 51000 | #Constraints: 9476
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 52000 | #Constraints: 5879
322.19/324.06 c #Conflicts: 53000 | #Constraints: 6879
322.19/324.06 c #Conflicts: 54000 | #Constraints: 7879
322.19/324.06 c #Conflicts: 55000 | #Constraints: 8879
322.19/324.06 c #Conflicts: 56000 | #Constraints: 9879
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 57000 | #Constraints: 6074
322.19/324.06 c #Conflicts: 58000 | #Constraints: 7074
322.19/324.06 c #Conflicts: 59000 | #Constraints: 8074
322.19/324.06 c #Conflicts: 60000 | #Constraints: 9074
322.19/324.06 c #Conflicts: 61000 | #Constraints: 10074
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 62000 | #Constraints: 6075
322.19/324.06 c #Conflicts: 63000 | #Constraints: 7075
322.19/324.06 c #Conflicts: 64000 | #Constraints: 8075
322.19/324.06 c #Conflicts: 65000 | #Constraints: 9075
322.19/324.06 c #Conflicts: 66000 | #Constraints: 10075
322.19/324.06 c INPROCESSING
322.19/324.06 c GARBAGE COLLECT
322.19/324.06 c #Conflicts: 67000 | #Constraints: 5877
322.19/324.06 c #Conflicts: 68000 | #Constraints: 6877
358.25/360.24 c #Conflicts: 69000 | #Constraints: 7877
358.25/360.24 c #Conflicts: 70000 | #Constraints: 8877
358.25/360.24 c #Conflicts: 71000 | #Constraints: 9877
358.25/360.24 c #Conflicts: 72000 | #Constraints: 10877
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 73000 | #Constraints: 6489
358.25/360.24 c #Conflicts: 74000 | #Constraints: 7489
358.25/360.24 c #Conflicts: 75000 | #Constraints: 8489
358.25/360.24 c #Conflicts: 76000 | #Constraints: 9489
358.25/360.24 c #Conflicts: 77000 | #Constraints: 10489
358.25/360.24 c #Conflicts: 78000 | #Constraints: 11489
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 79000 | #Constraints: 6886
358.25/360.24 c #Conflicts: 80000 | #Constraints: 7886
358.25/360.24 c #Conflicts: 81000 | #Constraints: 8886
358.25/360.24 c #Conflicts: 82000 | #Constraints: 9886
358.25/360.24 c #Conflicts: 83000 | #Constraints: 10886
358.25/360.24 c #Conflicts: 84000 | #Constraints: 11886
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 85000 | #Constraints: 7077
358.25/360.24 c #Conflicts: 86000 | #Constraints: 8077
358.25/360.24 c #Conflicts: 87000 | #Constraints: 9077
358.25/360.24 c #Conflicts: 88000 | #Constraints: 10077
358.25/360.24 c #Conflicts: 89000 | #Constraints: 11077
358.25/360.24 c #Conflicts: 90000 | #Constraints: 12077
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 91000 | #Constraints: 7084
358.25/360.24 c #Conflicts: 92000 | #Constraints: 8084
358.25/360.24 c #Conflicts: 93000 | #Constraints: 9084
358.25/360.24 c #Conflicts: 94000 | #Constraints: 10084
358.25/360.24 c #Conflicts: 95000 | #Constraints: 11084
358.25/360.24 c #Conflicts: 96000 | #Constraints: 12084
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 97000 | #Constraints: 6878
358.25/360.24 c #Conflicts: 98000 | #Constraints: 7878
358.25/360.24 c #Conflicts: 99000 | #Constraints: 8878
358.25/360.24 c #Conflicts: 100000 | #Constraints: 9878
358.25/360.24 c #Conflicts: 101000 | #Constraints: 10878
358.25/360.24 c #Conflicts: 102000 | #Constraints: 11878
358.25/360.24 c #Conflicts: 103000 | #Constraints: 12878
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 104000 | #Constraints: 7483
358.25/360.24 c #Conflicts: 105000 | #Constraints: 8483
358.25/360.24 c #Conflicts: 106000 | #Constraints: 9483
358.25/360.24 c #Conflicts: 107000 | #Constraints: 10483
358.25/360.24 c #Conflicts: 108000 | #Constraints: 11483
358.25/360.24 c #Conflicts: 109000 | #Constraints: 12483
358.25/360.24 c #Conflicts: 110000 | #Constraints: 13483
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 111000 | #Constraints: 7876
358.25/360.24 c #Conflicts: 112000 | #Constraints: 8876
358.25/360.24 c #Conflicts: 113000 | #Constraints: 9876
358.25/360.24 c #Conflicts: 114000 | #Constraints: 10876
358.25/360.24 c #Conflicts: 115000 | #Constraints: 11876
358.25/360.24 c #Conflicts: 116000 | #Constraints: 12876
358.25/360.24 c #Conflicts: 117000 | #Constraints: 13876
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 118000 | #Constraints: 8083
358.25/360.24 c #Conflicts: 119000 | #Constraints: 9083
358.25/360.24 c #Conflicts: 120000 | #Constraints: 10083
358.25/360.24 c #Conflicts: 121000 | #Constraints: 11083
358.25/360.24 c #Conflicts: 122000 | #Constraints: 12083
358.25/360.24 c #Conflicts: 123000 | #Constraints: 13083
358.25/360.24 c #Conflicts: 124000 | #Constraints: 14083
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 125000 | #Constraints: 8097
358.25/360.24 c #Conflicts: 126000 | #Constraints: 9097
358.25/360.24 c #Conflicts: 127000 | #Constraints: 10097
358.25/360.24 c #Conflicts: 128000 | #Constraints: 11097
358.25/360.24 c #Conflicts: 129000 | #Constraints: 12097
358.25/360.24 c #Conflicts: 130000 | #Constraints: 13097
358.25/360.24 c #Conflicts: 131000 | #Constraints: 14097
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 132000 | #Constraints: 7887
358.25/360.24 c #Conflicts: 133000 | #Constraints: 8887
358.25/360.24 c #Conflicts: 134000 | #Constraints: 9887
358.25/360.24 c #Conflicts: 135000 | #Constraints: 10887
358.25/360.24 c #Conflicts: 136000 | #Constraints: 11887
358.25/360.24 c #Conflicts: 137000 | #Constraints: 12887
358.25/360.24 c #Conflicts: 138000 | #Constraints: 13887
358.25/360.24 c #Conflicts: 139000 | #Constraints: 14887
358.25/360.24 c INPROCESSING
358.25/360.24 c GARBAGE COLLECT
358.25/360.24 c #Conflicts: 140000 | #Constraints: 8495
427.92/430.19 c #Conflicts: 141000 | #Constraints: 9495
427.92/430.19 c #Conflicts: 142000 | #Constraints: 10495
427.92/430.19 c #Conflicts: 143000 | #Constraints: 11495
427.92/430.19 c #Conflicts: 144000 | #Constraints: 12495
427.92/430.19 c #Conflicts: 145000 | #Constraints: 13495
427.92/430.19 c #Conflicts: 146000 | #Constraints: 14495
427.92/430.19 c #Conflicts: 147000 | #Constraints: 15495
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 148000 | #Constraints: 8897
427.92/430.19 c #Conflicts: 149000 | #Constraints: 9897
427.92/430.19 c #Conflicts: 150000 | #Constraints: 10897
427.92/430.19 c #Conflicts: 151000 | #Constraints: 11897
427.92/430.19 c #Conflicts: 152000 | #Constraints: 12897
427.92/430.19 c #Conflicts: 153000 | #Constraints: 13897
427.92/430.19 c #Conflicts: 154000 | #Constraints: 14897
427.92/430.19 c #Conflicts: 155000 | #Constraints: 15897
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 156000 | #Constraints: 9091
427.92/430.19 c #Conflicts: 157000 | #Constraints: 10091
427.92/430.19 c #Conflicts: 158000 | #Constraints: 11091
427.92/430.19 c #Conflicts: 159000 | #Constraints: 12091
427.92/430.19 c #Conflicts: 160000 | #Constraints: 13091
427.92/430.19 c #Conflicts: 161000 | #Constraints: 14091
427.92/430.19 c #Conflicts: 162000 | #Constraints: 15091
427.92/430.19 c #Conflicts: 163000 | #Constraints: 16091
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 164000 | #Constraints: 9091
427.92/430.19 c #Conflicts: 165000 | #Constraints: 10091
427.92/430.19 c #Conflicts: 166000 | #Constraints: 11091
427.92/430.19 c #Conflicts: 167000 | #Constraints: 12091
427.92/430.19 c #Conflicts: 168000 | #Constraints: 13091
427.92/430.19 c #Conflicts: 169000 | #Constraints: 14091
427.92/430.19 c #Conflicts: 170000 | #Constraints: 15091
427.92/430.19 c #Conflicts: 171000 | #Constraints: 16091
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 172000 | #Constraints: 8889
427.92/430.19 c #Conflicts: 173000 | #Constraints: 9889
427.92/430.19 c #Conflicts: 174000 | #Constraints: 10889
427.92/430.19 c #Conflicts: 175000 | #Constraints: 11889
427.92/430.19 c #Conflicts: 176000 | #Constraints: 12889
427.92/430.19 c #Conflicts: 177000 | #Constraints: 13889
427.92/430.19 c #Conflicts: 178000 | #Constraints: 14889
427.92/430.19 c #Conflicts: 179000 | #Constraints: 15889
427.92/430.19 c #Conflicts: 180000 | #Constraints: 16889
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 181000 | #Constraints: 9482
427.92/430.19 c #Conflicts: 182000 | #Constraints: 10482
427.92/430.19 c #Conflicts: 183000 | #Constraints: 11482
427.92/430.19 c #Conflicts: 184000 | #Constraints: 12482
427.92/430.19 c #Conflicts: 185000 | #Constraints: 13482
427.92/430.19 c #Conflicts: 186000 | #Constraints: 14482
427.92/430.19 c #Conflicts: 187000 | #Constraints: 15482
427.92/430.19 c #Conflicts: 188000 | #Constraints: 16482
427.92/430.19 c #Conflicts: 189000 | #Constraints: 17482
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 190000 | #Constraints: 9894
427.92/430.19 c #Conflicts: 191000 | #Constraints: 10894
427.92/430.19 c #Conflicts: 192000 | #Constraints: 11894
427.92/430.19 c #Conflicts: 193000 | #Constraints: 12894
427.92/430.19 c #Conflicts: 194000 | #Constraints: 13894
427.92/430.19 c #Conflicts: 195000 | #Constraints: 14894
427.92/430.19 c #Conflicts: 196000 | #Constraints: 15894
427.92/430.19 c #Conflicts: 197000 | #Constraints: 16894
427.92/430.19 c #Conflicts: 198000 | #Constraints: 17894
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 199000 | #Constraints: 10095
427.92/430.19 c #Conflicts: 200000 | #Constraints: 11095
427.92/430.19 c #Conflicts: 201000 | #Constraints: 12095
427.92/430.19 c #Conflicts: 202000 | #Constraints: 13095
427.92/430.19 c #Conflicts: 203000 | #Constraints: 14095
427.92/430.19 c #Conflicts: 204000 | #Constraints: 15095
427.92/430.19 c #Conflicts: 205000 | #Constraints: 16095
427.92/430.19 c #Conflicts: 206000 | #Constraints: 17095
427.92/430.19 c #Conflicts: 207000 | #Constraints: 18095
427.92/430.19 c INPROCESSING
427.92/430.19 c GARBAGE COLLECT
427.92/430.19 c #Conflicts: 208000 | #Constraints: 10086
427.92/430.19 c #Conflicts: 209000 | #Constraints: 11086
427.92/430.19 c #Conflicts: 210000 | #Constraints: 12086
427.92/430.19 c #Conflicts: 211000 | #Constraints: 13086
427.92/430.19 c #Conflicts: 212000 | #Constraints: 14086
427.92/430.19 c #Conflicts: 213000 | #Constraints: 15086
505.75/508.28 c #Conflicts: 214000 | #Constraints: 16086
505.75/508.28 c #Conflicts: 215000 | #Constraints: 17086
505.75/508.28 c #Conflicts: 216000 | #Constraints: 18086
505.75/508.28 c INPROCESSING
505.75/508.28 c GARBAGE COLLECT
505.75/508.28 c #Conflicts: 217000 | #Constraints: 9887
505.75/508.28 c #Conflicts: 218000 | #Constraints: 10887
505.75/508.28 c #Conflicts: 219000 | #Constraints: 11887
505.75/508.28 c #Conflicts: 220000 | #Constraints: 12887
505.75/508.28 c #Conflicts: 221000 | #Constraints: 13887
505.75/508.28 c #Conflicts: 222000 | #Constraints: 14887
505.75/508.28 c #Conflicts: 223000 | #Constraints: 15887
505.75/508.28 c #Conflicts: 224000 | #Constraints: 16887
505.75/508.28 c #Conflicts: 225000 | #Constraints: 17887
505.75/508.28 c #Conflicts: 226000 | #Constraints: 18887
505.75/508.28 c INPROCESSING
505.75/508.28 c GARBAGE COLLECT
505.75/508.28 c #Conflicts: 227000 | #Constraints: 10490
505.75/508.28 c #Conflicts: 228000 | #Constraints: 11490
505.75/508.28 c #Conflicts: 229000 | #Constraints: 12490
505.75/508.28 c #Conflicts: 230000 | #Constraints: 13490
505.75/508.28 c #Conflicts: 231000 | #Constraints: 14490
505.75/508.28 c #Conflicts: 232000 | #Constraints: 15490
505.75/508.28 c #Conflicts: 233000 | #Constraints: 16490
505.75/508.28 c #Conflicts: 234000 | #Constraints: 17490
505.75/508.28 c #Conflicts: 235000 | #Constraints: 18490
505.75/508.28 c #Conflicts: 236000 | #Constraints: 19490
505.75/508.28 c INPROCESSING
505.75/508.28 c GARBAGE COLLECT
505.75/508.28 c #Conflicts: 237000 | #Constraints: 10900
505.75/508.28 c #Conflicts: 238000 | #Constraints: 11900
505.75/508.28 c #Conflicts: 239000 | #Constraints: 12900
505.75/508.28 c #Conflicts: 240000 | #Constraints: 13900
505.75/508.28 c #Conflicts: 241000 | #Constraints: 14900
505.75/508.28 c #Conflicts: 242000 | #Constraints: 15900
505.75/508.28 c #Conflicts: 243000 | #Constraints: 16900
505.75/508.28 c #Conflicts: 244000 | #Constraints: 17900
505.75/508.28 c #Conflicts: 245000 | #Constraints: 18900
505.75/508.28 c #Conflicts: 246000 | #Constraints: 19900
505.75/508.28 c INPROCESSING
505.75/508.28 c GARBAGE COLLECT
505.75/508.28 c #Conflicts: 247000 | #Constraints: 11116
505.75/508.28 c #Conflicts: 248000 | #Constraints: 12116
505.75/508.28 c #Conflicts: 249000 | #Constraints: 13116
505.75/508.28 c #Conflicts: 250000 | #Constraints: 14116
505.75/508.28 c #Conflicts: 251000 | #Constraints: 15116
505.75/508.28 c #Conflicts: 252000 | #Constraints: 16116
505.75/508.28 c #Conflicts: 253000 | #Constraints: 17116
505.75/508.28 c #Conflicts: 254000 | #Constraints: 18116
505.75/508.28 c #Conflicts: 255000 | #Constraints: 19116
505.75/508.28 c #Conflicts: 256000 | #Constraints: 20116
505.75/508.28 c INPROCESSING
505.75/508.28 c GARBAGE COLLECT
505.75/508.28 c #Conflicts: 257000 | #Constraints: 11100
505.75/508.28 c #Conflicts: 258000 | #Constraints: 12100
505.75/508.28 c #Conflicts: 259000 | #Constraints: 13100
505.75/508.28 c #Conflicts: 260000 | #Constraints: 14100
505.75/508.28 c #Conflicts: 261000 | #Constraints: 15100
505.75/508.28 c #Conflicts: 262000 | #Constraints: 16100
505.75/508.28 c #Conflicts: 263000 | #Constraints: 17100
505.75/508.28 c #Conflicts: 264000 | #Constraints: 18100
505.75/508.28 c #Conflicts: 265000 | #Constraints: 19100
505.75/508.28 c #Conflicts: 266000 | #Constraints: 20100
505.75/508.28 c INPROCESSING
505.75/508.28 c GARBAGE COLLECT
505.75/508.28 c #Conflicts: 267000 | #Constraints: 10916
505.75/508.28 c #Conflicts: 268000 | #Constraints: 11916
505.75/508.28 c #Conflicts: 269000 | #Constraints: 12916
505.75/508.28 c #Conflicts: 270000 | #Constraints: 13916
505.75/508.28 c #Conflicts: 271000 | #Constraints: 14916
505.75/508.28 c #Conflicts: 272000 | #Constraints: 15916
505.75/508.28 c #Conflicts: 273000 | #Constraints: 16916
505.75/508.28 c #Conflicts: 274000 | #Constraints: 17916
505.75/508.28 c #Conflicts: 275000 | #Constraints: 18916
505.75/508.28 c #Conflicts: 276000 | #Constraints: 19916
505.75/508.28 c #Conflicts: 277000 | #Constraints: 20916
505.75/508.28 c INPROCESSING
505.75/508.28 c GARBAGE COLLECT
505.75/508.28 c #Conflicts: 278000 | #Constraints: 11524
505.75/508.28 c #Conflicts: 279000 | #Constraints: 12524
505.75/508.28 c #Conflicts: 280000 | #Constraints: 13524
505.75/508.28 c #Conflicts: 281000 | #Constraints: 14524
505.75/508.28 c #Conflicts: 282000 | #Constraints: 15524
505.75/508.28 c #Conflicts: 283000 | #Constraints: 16524
505.75/508.28 c #Conflicts: 284000 | #Constraints: 17524
505.75/508.28 c #Conflicts: 285000 | #Constraints: 18524
505.75/508.28 c #Conflicts: 286000 | #Constraints: 19524
505.75/508.28 c #Conflicts: 287000 | #Constraints: 20524
505.75/508.28 c #Conflicts: 288000 | #Constraints: 21524
571.93/574.68 c INPROCESSING
571.93/574.68 c GARBAGE COLLECT
571.93/574.68 c #Conflicts: 289000 | #Constraints: 11901
571.93/574.68 c #Conflicts: 290000 | #Constraints: 12901
571.93/574.68 c #Conflicts: 291000 | #Constraints: 13901
571.93/574.68 c #Conflicts: 292000 | #Constraints: 14901
571.93/574.68 c #Conflicts: 293000 | #Constraints: 15901
571.93/574.68 c #Conflicts: 294000 | #Constraints: 16901
571.93/574.68 c #Conflicts: 295000 | #Constraints: 17901
571.93/574.68 c #Conflicts: 296000 | #Constraints: 18901
571.93/574.68 c #Conflicts: 297000 | #Constraints: 19901
571.93/574.68 c #Conflicts: 298000 | #Constraints: 20901
571.93/574.68 c #Conflicts: 299000 | #Constraints: 21901
571.93/574.68 c INPROCESSING
571.93/574.68 c GARBAGE COLLECT
571.93/574.68 c #Conflicts: 300000 | #Constraints: 12114
571.93/574.68 c #Conflicts: 301000 | #Constraints: 13114
571.93/574.68 c #Conflicts: 302000 | #Constraints: 14114
571.93/574.68 c #Conflicts: 303000 | #Constraints: 15114
571.93/574.68 c #Conflicts: 304000 | #Constraints: 16114
571.93/574.68 c #Conflicts: 305000 | #Constraints: 17114
571.93/574.68 c #Conflicts: 306000 | #Constraints: 18114
571.93/574.68 c #Conflicts: 307000 | #Constraints: 19114
571.93/574.68 c #Conflicts: 308000 | #Constraints: 20114
571.93/574.68 c #Conflicts: 309000 | #Constraints: 21114
571.93/574.68 c #Conflicts: 310000 | #Constraints: 22114
571.93/574.68 c INPROCESSING
571.93/574.68 c GARBAGE COLLECT
571.93/574.68 c #Conflicts: 311000 | #Constraints: 12125
571.93/574.68 c #Conflicts: 312000 | #Constraints: 13125
571.93/574.68 c #Conflicts: 313000 | #Constraints: 14125
571.93/574.68 c #Conflicts: 314000 | #Constraints: 15125
571.93/574.68 c #Conflicts: 315000 | #Constraints: 16125
571.93/574.68 c #Conflicts: 316000 | #Constraints: 17125
571.93/574.68 c #Conflicts: 317000 | #Constraints: 18125
571.93/574.68 c #Conflicts: 318000 | #Constraints: 19125
571.93/574.68 c #Conflicts: 319000 | #Constraints: 20125
571.93/574.68 c #Conflicts: 320000 | #Constraints: 21125
571.93/574.68 c #Conflicts: 321000 | #Constraints: 22125
571.93/574.68 c INPROCESSING
571.93/574.68 c GARBAGE COLLECT
571.93/574.68 c #Conflicts: 322000 | #Constraints: 11933
571.93/574.68 c #Conflicts: 323000 | #Constraints: 12933
571.93/574.68 c #Conflicts: 324000 | #Constraints: 13933
571.93/574.68 c #Conflicts: 325000 | #Constraints: 14933
571.93/574.68 c #Conflicts: 326000 | #Constraints: 15933
571.93/574.68 c #Conflicts: 327000 | #Constraints: 16933
571.93/574.68 c #Conflicts: 328000 | #Constraints: 17933
571.93/574.68 c #Conflicts: 329000 | #Constraints: 18933
571.93/574.68 c #Conflicts: 330000 | #Constraints: 19933
571.93/574.68 c #Conflicts: 331000 | #Constraints: 20933
571.93/574.68 c #Conflicts: 332000 | #Constraints: 21933
571.93/574.68 c #Conflicts: 333000 | #Constraints: 22933
571.93/574.68 c INPROCESSING
571.93/574.68 c GARBAGE COLLECT
571.93/574.68 c #Conflicts: 334000 | #Constraints: 12519
571.93/574.68 c #Conflicts: 335000 | #Constraints: 13519
571.93/574.68 c #Conflicts: 336000 | #Constraints: 14519
571.93/574.68 c #Conflicts: 337000 | #Constraints: 15519
571.93/574.68 c #Conflicts: 338000 | #Constraints: 16519
571.93/574.68 c #Conflicts: 339000 | #Constraints: 17519
571.93/574.68 c #Conflicts: 340000 | #Constraints: 18519
571.93/574.68 c #Conflicts: 341000 | #Constraints: 19519
571.93/574.68 c #Conflicts: 342000 | #Constraints: 20519
571.93/574.68 c #Conflicts: 343000 | #Constraints: 21519
571.93/574.68 c #Conflicts: 344000 | #Constraints: 22519
571.93/574.68 c #Conflicts: 345000 | #Constraints: 23519
571.93/574.68 c INPROCESSING
571.93/574.68 c GARBAGE COLLECT
571.93/574.68 c #Conflicts: 346000 | #Constraints: 12908
571.93/574.68 c #Conflicts: 347000 | #Constraints: 13908
571.93/574.68 c #Conflicts: 348000 | #Constraints: 14908
571.93/574.68 c #Conflicts: 349000 | #Constraints: 15908
571.93/574.68 c #Conflicts: 350000 | #Constraints: 16908
571.93/574.68 c #Conflicts: 351000 | #Constraints: 17908
571.93/574.68 c #Conflicts: 352000 | #Constraints: 18908
571.93/574.68 c #Conflicts: 353000 | #Constraints: 19908
571.93/574.68 c #Conflicts: 354000 | #Constraints: 20908
571.93/574.68 c #Conflicts: 355000 | #Constraints: 21908
571.93/574.68 c #Conflicts: 356000 | #Constraints: 22908
571.93/574.68 c #Conflicts: 357000 | #Constraints: 23908
571.93/574.68 c INPROCESSING
571.93/574.68 c GARBAGE COLLECT
571.93/574.68 c #Conflicts: 358000 | #Constraints: 13099
571.93/574.68 c #Conflicts: 359000 | #Constraints: 14099
571.93/574.68 c #Conflicts: 360000 | #Constraints: 15099
571.93/574.68 c #Conflicts: 361000 | #Constraints: 16099
571.93/574.68 c #Conflicts: 362000 | #Constraints: 17099
651.87/654.87 c #Conflicts: 363000 | #Constraints: 18099
651.87/654.87 c #Conflicts: 364000 | #Constraints: 19099
651.87/654.87 c #Conflicts: 365000 | #Constraints: 20099
651.87/654.87 c #Conflicts: 366000 | #Constraints: 21099
651.87/654.87 c #Conflicts: 367000 | #Constraints: 22099
651.87/654.87 c #Conflicts: 368000 | #Constraints: 23099
651.87/654.87 c #Conflicts: 369000 | #Constraints: 24099
651.87/654.87 c INPROCESSING
651.87/654.87 c GARBAGE COLLECT
651.87/654.87 c #Conflicts: 370000 | #Constraints: 13119
651.87/654.87 c #Conflicts: 371000 | #Constraints: 14119
651.87/654.87 c #Conflicts: 372000 | #Constraints: 15119
651.87/654.87 c #Conflicts: 373000 | #Constraints: 16119
651.87/654.87 c #Conflicts: 374000 | #Constraints: 17119
651.87/654.87 c #Conflicts: 375000 | #Constraints: 18119
651.87/654.87 c #Conflicts: 376000 | #Constraints: 19119
651.87/654.87 c #Conflicts: 377000 | #Constraints: 20119
651.87/654.87 c #Conflicts: 378000 | #Constraints: 21119
651.87/654.87 c #Conflicts: 379000 | #Constraints: 22119
651.87/654.87 c #Conflicts: 380000 | #Constraints: 23119
651.87/654.87 c #Conflicts: 381000 | #Constraints: 24119
651.87/654.87 c INPROCESSING
651.87/654.87 c GARBAGE COLLECT
651.87/654.87 c #Conflicts: 382000 | #Constraints: 12929
651.87/654.87 c #Conflicts: 383000 | #Constraints: 13929
651.87/654.87 c #Conflicts: 384000 | #Constraints: 14929
651.87/654.87 c #Conflicts: 385000 | #Constraints: 15929
651.87/654.87 c #Conflicts: 386000 | #Constraints: 16929
651.87/654.87 c #Conflicts: 387000 | #Constraints: 17929
651.87/654.87 c #Conflicts: 388000 | #Constraints: 18929
651.87/654.87 c #Conflicts: 389000 | #Constraints: 19929
651.87/654.87 c #Conflicts: 390000 | #Constraints: 20929
651.87/654.87 c #Conflicts: 391000 | #Constraints: 21929
651.87/654.87 c #Conflicts: 392000 | #Constraints: 22929
651.87/654.87 c #Conflicts: 393000 | #Constraints: 23929
651.87/654.87 c #Conflicts: 394000 | #Constraints: 24929
651.87/654.87 c INPROCESSING
651.87/654.87 c GARBAGE COLLECT
651.87/654.87 c #Conflicts: 395000 | #Constraints: 13520
651.87/654.87 c #Conflicts: 396000 | #Constraints: 14520
651.87/654.87 c #Conflicts: 397000 | #Constraints: 15520
651.87/654.87 c #Conflicts: 398000 | #Constraints: 16520
651.87/654.87 c #Conflicts: 399000 | #Constraints: 17520
651.87/654.87 c #Conflicts: 400000 | #Constraints: 18520
651.87/654.87 c #Conflicts: 401000 | #Constraints: 19520
651.87/654.87 c #Conflicts: 402000 | #Constraints: 20520
651.87/654.87 c #Conflicts: 403000 | #Constraints: 21520
651.87/654.87 c #Conflicts: 404000 | #Constraints: 22520
651.87/654.87 c #Conflicts: 405000 | #Constraints: 23520
651.87/654.87 c #Conflicts: 406000 | #Constraints: 24520
651.87/654.87 c #Conflicts: 407000 | #Constraints: 25520
651.87/654.87 c INPROCESSING
651.87/654.87 c GARBAGE COLLECT
651.87/654.87 c #Conflicts: 408000 | #Constraints: 13919
651.87/654.87 c #Conflicts: 409000 | #Constraints: 14919
651.87/654.87 c #Conflicts: 410000 | #Constraints: 15919
651.87/654.87 c #Conflicts: 411000 | #Constraints: 16919
651.87/654.87 c #Conflicts: 412000 | #Constraints: 17919
651.87/654.87 c #Conflicts: 413000 | #Constraints: 18919
651.87/654.87 c #Conflicts: 414000 | #Constraints: 19919
651.87/654.87 c #Conflicts: 415000 | #Constraints: 20919
651.87/654.87 c #Conflicts: 416000 | #Constraints: 21919
651.87/654.87 c #Conflicts: 417000 | #Constraints: 22919
651.87/654.87 c #Conflicts: 418000 | #Constraints: 23919
651.87/654.87 c #Conflicts: 419000 | #Constraints: 24919
651.87/654.87 c #Conflicts: 420000 | #Constraints: 25919
651.87/654.87 c INPROCESSING
651.87/654.87 c GARBAGE COLLECT
651.87/654.87 c #Conflicts: 421000 | #Constraints: 14122
651.87/654.87 c #Conflicts: 422000 | #Constraints: 15122
651.87/654.87 c #Conflicts: 423000 | #Constraints: 16122
651.87/654.87 c #Conflicts: 424000 | #Constraints: 17122
651.87/654.87 c #Conflicts: 425000 | #Constraints: 18122
651.87/654.87 c #Conflicts: 426000 | #Constraints: 19122
651.87/654.87 c #Conflicts: 427000 | #Constraints: 20122
651.87/654.87 c #Conflicts: 428000 | #Constraints: 21122
651.87/654.87 c #Conflicts: 429000 | #Constraints: 22122
651.87/654.87 c #Conflicts: 430000 | #Constraints: 23122
651.87/654.87 c #Conflicts: 431000 | #Constraints: 24122
651.87/654.87 c #Conflicts: 432000 | #Constraints: 25122
651.87/654.87 c #Conflicts: 433000 | #Constraints: 26122
651.87/654.87 c INPROCESSING
651.87/654.87 c GARBAGE COLLECT
651.87/654.87 c #Conflicts: 434000 | #Constraints: 14135
651.87/654.87 c #Conflicts: 435000 | #Constraints: 15135
651.87/654.87 c #Conflicts: 436000 | #Constraints: 16135
651.87/654.87 c #Conflicts: 437000 | #Constraints: 17135
730.24/733.40 c #Conflicts: 438000 | #Constraints: 18135
730.24/733.40 c #Conflicts: 439000 | #Constraints: 19135
730.24/733.40 c #Conflicts: 440000 | #Constraints: 20135
730.24/733.40 c #Conflicts: 441000 | #Constraints: 21135
730.24/733.40 c #Conflicts: 442000 | #Constraints: 22135
730.24/733.40 c #Conflicts: 443000 | #Constraints: 23135
730.24/733.40 c #Conflicts: 444000 | #Constraints: 24135
730.24/733.40 c #Conflicts: 445000 | #Constraints: 25135
730.24/733.40 c #Conflicts: 446000 | #Constraints: 26135
730.24/733.40 c INPROCESSING
730.24/733.40 c GARBAGE COLLECT
730.24/733.40 c #Conflicts: 447000 | #Constraints: 13941
730.24/733.40 c #Conflicts: 448000 | #Constraints: 14941
730.24/733.40 c #Conflicts: 449000 | #Constraints: 15941
730.24/733.40 c #Conflicts: 450000 | #Constraints: 16941
730.24/733.40 c #Conflicts: 451000 | #Constraints: 17941
730.24/733.40 c #Conflicts: 452000 | #Constraints: 18941
730.24/733.40 c #Conflicts: 453000 | #Constraints: 19941
730.24/733.40 c #Conflicts: 454000 | #Constraints: 20941
730.24/733.40 c #Conflicts: 455000 | #Constraints: 21941
730.24/733.40 c #Conflicts: 456000 | #Constraints: 22941
730.24/733.40 c #Conflicts: 457000 | #Constraints: 23941
730.24/733.40 c #Conflicts: 458000 | #Constraints: 24941
730.24/733.40 c #Conflicts: 459000 | #Constraints: 25941
730.24/733.40 c #Conflicts: 460000 | #Constraints: 26941
730.24/733.40 c INPROCESSING
730.24/733.40 c GARBAGE COLLECT
730.24/733.40 c #Conflicts: 461000 | #Constraints: 14554
730.24/733.40 c #Conflicts: 462000 | #Constraints: 15554
730.24/733.40 c #Conflicts: 463000 | #Constraints: 16554
730.24/733.40 c #Conflicts: 464000 | #Constraints: 17554
730.24/733.40 c #Conflicts: 465000 | #Constraints: 18554
730.24/733.40 c #Conflicts: 466000 | #Constraints: 19554
730.24/733.40 c #Conflicts: 467000 | #Constraints: 20554
730.24/733.40 c #Conflicts: 468000 | #Constraints: 21554
730.24/733.40 c #Conflicts: 469000 | #Constraints: 22554
730.24/733.40 c #Conflicts: 470000 | #Constraints: 23554
730.24/733.40 c #Conflicts: 471000 | #Constraints: 24554
730.24/733.40 c #Conflicts: 472000 | #Constraints: 25554
730.24/733.40 c #Conflicts: 473000 | #Constraints: 26554
730.24/733.40 c #Conflicts: 474000 | #Constraints: 27554
730.24/733.40 c INPROCESSING
730.24/733.40 c GARBAGE COLLECT
730.24/733.40 c #Conflicts: 475000 | #Constraints: 14934
730.24/733.40 c #Conflicts: 476000 | #Constraints: 15934
730.24/733.40 c #Conflicts: 477000 | #Constraints: 16934
730.24/733.40 c #Conflicts: 478000 | #Constraints: 17934
730.24/733.40 c #Conflicts: 479000 | #Constraints: 18934
730.24/733.40 c #Conflicts: 480000 | #Constraints: 19934
730.24/733.40 c #Conflicts: 481000 | #Constraints: 20934
730.24/733.40 c #Conflicts: 482000 | #Constraints: 21934
730.24/733.40 c #Conflicts: 483000 | #Constraints: 22934
730.24/733.40 c #Conflicts: 484000 | #Constraints: 23934
730.24/733.40 c #Conflicts: 485000 | #Constraints: 24934
730.24/733.40 c #Conflicts: 486000 | #Constraints: 25934
730.24/733.40 c #Conflicts: 487000 | #Constraints: 26934
730.24/733.40 c #Conflicts: 488000 | #Constraints: 27934
730.24/733.40 c INPROCESSING
730.24/733.40 c GARBAGE COLLECT
730.24/733.40 c #Conflicts: 489000 | #Constraints: 15122
730.24/733.40 c #Conflicts: 490000 | #Constraints: 16122
730.24/733.40 c #Conflicts: 491000 | #Constraints: 17122
730.24/733.40 c #Conflicts: 492000 | #Constraints: 18122
730.24/733.40 c #Conflicts: 493000 | #Constraints: 19122
730.24/733.40 c #Conflicts: 494000 | #Constraints: 20122
730.24/733.40 c #Conflicts: 495000 | #Constraints: 21122
730.24/733.40 c #Conflicts: 496000 | #Constraints: 22122
730.24/733.40 c #Conflicts: 497000 | #Constraints: 23122
730.24/733.40 c #Conflicts: 498000 | #Constraints: 24122
730.24/733.40 c #Conflicts: 499000 | #Constraints: 25122
730.24/733.40 c #Conflicts: 500000 | #Constraints: 26122
730.24/733.40 c #Conflicts: 501000 | #Constraints: 27122
730.24/733.40 c #Conflicts: 502000 | #Constraints: 28122
730.24/733.40 c INPROCESSING
730.24/733.40 c GARBAGE COLLECT
730.24/733.40 c #Conflicts: 503000 | #Constraints: 15139
730.24/733.40 c #Conflicts: 504000 | #Constraints: 16139
730.24/733.40 c #Conflicts: 505000 | #Constraints: 17139
730.24/733.40 c #Conflicts: 506000 | #Constraints: 18139
730.24/733.40 c #Conflicts: 507000 | #Constraints: 19139
730.24/733.40 c #Conflicts: 508000 | #Constraints: 20139
730.24/733.40 c #Conflicts: 509000 | #Constraints: 21139
730.24/733.40 c #Conflicts: 510000 | #Constraints: 22139
730.24/733.40 c #Conflicts: 511000 | #Constraints: 23139
730.24/733.40 c #Conflicts: 512000 | #Constraints: 24139
730.24/733.40 c #Conflicts: 513000 | #Constraints: 25139
812.60/816.10 c #Conflicts: 514000 | #Constraints: 26139
812.60/816.10 c #Conflicts: 515000 | #Constraints: 27139
812.60/816.10 c #Conflicts: 516000 | #Constraints: 28139
812.60/816.10 c INPROCESSING
812.60/816.10 c GARBAGE COLLECT
812.60/816.10 c #Conflicts: 517000 | #Constraints: 14925
812.60/816.10 c #Conflicts: 518000 | #Constraints: 15925
812.60/816.10 c #Conflicts: 519000 | #Constraints: 16925
812.60/816.10 c #Conflicts: 520000 | #Constraints: 17925
812.60/816.10 c #Conflicts: 521000 | #Constraints: 18925
812.60/816.10 c #Conflicts: 522000 | #Constraints: 19925
812.60/816.10 c #Conflicts: 523000 | #Constraints: 20925
812.60/816.10 c #Conflicts: 524000 | #Constraints: 21925
812.60/816.10 c #Conflicts: 525000 | #Constraints: 22925
812.60/816.10 c #Conflicts: 526000 | #Constraints: 23925
812.60/816.10 c #Conflicts: 527000 | #Constraints: 24925
812.60/816.10 c #Conflicts: 528000 | #Constraints: 25925
812.60/816.10 c #Conflicts: 529000 | #Constraints: 26925
812.60/816.10 c #Conflicts: 530000 | #Constraints: 27925
812.60/816.10 c #Conflicts: 531000 | #Constraints: 28925
812.60/816.10 c INPROCESSING
812.60/816.10 c GARBAGE COLLECT
812.60/816.10 c #Conflicts: 532000 | #Constraints: 15530
812.60/816.10 c #Conflicts: 533000 | #Constraints: 16530
812.60/816.10 c #Conflicts: 534000 | #Constraints: 17530
812.60/816.10 c #Conflicts: 535000 | #Constraints: 18530
812.60/816.10 c #Conflicts: 536000 | #Constraints: 19530
812.60/816.10 c #Conflicts: 537000 | #Constraints: 20530
812.60/816.10 c #Conflicts: 538000 | #Constraints: 21530
812.60/816.10 c #Conflicts: 539000 | #Constraints: 22530
812.60/816.10 c #Conflicts: 540000 | #Constraints: 23530
812.60/816.10 c #Conflicts: 541000 | #Constraints: 24530
812.60/816.10 c #Conflicts: 542000 | #Constraints: 25530
812.60/816.10 c #Conflicts: 543000 | #Constraints: 26530
812.60/816.10 c #Conflicts: 544000 | #Constraints: 27530
812.60/816.10 c #Conflicts: 545000 | #Constraints: 28530
812.60/816.10 c #Conflicts: 546000 | #Constraints: 29530
812.60/816.10 c INPROCESSING
812.60/816.10 c GARBAGE COLLECT
812.60/816.10 c #Conflicts: 547000 | #Constraints: 15927
812.60/816.10 c #Conflicts: 548000 | #Constraints: 16927
812.60/816.10 c #Conflicts: 549000 | #Constraints: 17927
812.60/816.10 c #Conflicts: 550000 | #Constraints: 18927
812.60/816.10 c #Conflicts: 551000 | #Constraints: 19927
812.60/816.10 c #Conflicts: 552000 | #Constraints: 20927
812.60/816.10 c #Conflicts: 553000 | #Constraints: 21927
812.60/816.10 c #Conflicts: 554000 | #Constraints: 22927
812.60/816.10 c #Conflicts: 555000 | #Constraints: 23927
812.60/816.10 c #Conflicts: 556000 | #Constraints: 24927
812.60/816.10 c #Conflicts: 557000 | #Constraints: 25927
812.60/816.10 c #Conflicts: 558000 | #Constraints: 26927
812.60/816.10 c #Conflicts: 559000 | #Constraints: 27927
812.60/816.10 c #Conflicts: 560000 | #Constraints: 28927
812.60/816.10 c #Conflicts: 561000 | #Constraints: 29927
812.60/816.10 c INPROCESSING
812.60/816.10 c GARBAGE COLLECT
812.60/816.10 c #Conflicts: 562000 | #Constraints: 16138
812.60/816.10 c #Conflicts: 563000 | #Constraints: 17138
812.60/816.10 c #Conflicts: 564000 | #Constraints: 18138
812.60/816.10 c #Conflicts: 565000 | #Constraints: 19138
812.60/816.10 c #Conflicts: 566000 | #Constraints: 20138
812.60/816.10 c #Conflicts: 567000 | #Constraints: 21138
812.60/816.10 c #Conflicts: 568000 | #Constraints: 22138
812.60/816.10 c #Conflicts: 569000 | #Constraints: 23138
812.60/816.10 c #Conflicts: 570000 | #Constraints: 24138
812.60/816.10 c #Conflicts: 571000 | #Constraints: 25138
812.60/816.10 c #Conflicts: 572000 | #Constraints: 26138
812.60/816.10 c #Conflicts: 573000 | #Constraints: 27138
812.60/816.10 c #Conflicts: 574000 | #Constraints: 28138
812.60/816.10 c #Conflicts: 575000 | #Constraints: 29138
812.60/816.10 c #Conflicts: 576000 | #Constraints: 30138
812.60/816.10 c INPROCESSING
812.60/816.10 c GARBAGE COLLECT
812.60/816.10 c #Conflicts: 577000 | #Constraints: 16146
812.60/816.10 c #Conflicts: 578000 | #Constraints: 17146
812.60/816.10 c #Conflicts: 579000 | #Constraints: 18146
812.60/816.10 c #Conflicts: 580000 | #Constraints: 19146
812.60/816.10 c #Conflicts: 581000 | #Constraints: 20146
812.60/816.10 c #Conflicts: 582000 | #Constraints: 21146
812.60/816.10 c #Conflicts: 583000 | #Constraints: 22146
812.60/816.10 c #Conflicts: 584000 | #Constraints: 23146
812.60/816.10 c #Conflicts: 585000 | #Constraints: 24146
812.60/816.10 c #Conflicts: 586000 | #Constraints: 25146
812.60/816.10 c #Conflicts: 587000 | #Constraints: 26146
812.60/816.10 c #Conflicts: 588000 | #Constraints: 27146
908.20/911.93 c #Conflicts: 589000 | #Constraints: 28146
908.20/911.93 c #Conflicts: 590000 | #Constraints: 29146
908.20/911.93 c #Conflicts: 591000 | #Constraints: 30146
908.20/911.93 c INPROCESSING
908.20/911.93 c GARBAGE COLLECT
908.20/911.93 c #Conflicts: 592000 | #Constraints: 15944
908.20/911.93 c #Conflicts: 593000 | #Constraints: 16944
908.20/911.93 c #Conflicts: 594000 | #Constraints: 17944
908.20/911.93 c #Conflicts: 595000 | #Constraints: 18944
908.20/911.93 c #Conflicts: 596000 | #Constraints: 19944
908.20/911.93 c #Conflicts: 597000 | #Constraints: 20944
908.20/911.93 c #Conflicts: 598000 | #Constraints: 21944
908.20/911.93 c #Conflicts: 599000 | #Constraints: 22944
908.20/911.93 c #Conflicts: 600000 | #Constraints: 23944
908.20/911.93 c #Conflicts: 601000 | #Constraints: 24944
908.20/911.93 c #Conflicts: 602000 | #Constraints: 25944
908.20/911.93 c #Conflicts: 603000 | #Constraints: 26944
908.20/911.93 c #Conflicts: 604000 | #Constraints: 27944
908.20/911.93 c #Conflicts: 605000 | #Constraints: 28944
908.20/911.93 c #Conflicts: 606000 | #Constraints: 29944
908.20/911.93 c #Conflicts: 607000 | #Constraints: 30944
908.20/911.93 c INPROCESSING
908.20/911.93 c GARBAGE COLLECT
908.20/911.93 c #Conflicts: 608000 | #Constraints: 16545
908.20/911.93 c #Conflicts: 609000 | #Constraints: 17545
908.20/911.93 c #Conflicts: 610000 | #Constraints: 18545
908.20/911.93 c #Conflicts: 611000 | #Constraints: 19545
908.20/911.93 c #Conflicts: 612000 | #Constraints: 20545
908.20/911.93 c #Conflicts: 613000 | #Constraints: 21545
908.20/911.93 c #Conflicts: 614000 | #Constraints: 22545
908.20/911.93 c #Conflicts: 615000 | #Constraints: 23545
908.20/911.93 c #Conflicts: 616000 | #Constraints: 24545
908.20/911.93 c #Conflicts: 617000 | #Constraints: 25545
908.20/911.93 c #Conflicts: 618000 | #Constraints: 26545
908.20/911.93 c #Conflicts: 619000 | #Constraints: 27545
908.20/911.93 c #Conflicts: 620000 | #Constraints: 28545
908.20/911.93 c #Conflicts: 621000 | #Constraints: 29545
908.20/911.93 c #Conflicts: 622000 | #Constraints: 30545
908.20/911.93 c #Conflicts: 623000 | #Constraints: 31545
908.20/911.93 c INPROCESSING
908.20/911.93 c GARBAGE COLLECT
908.20/911.93 c #Conflicts: 624000 | #Constraints: 16936
908.20/911.93 c #Conflicts: 625000 | #Constraints: 17936
908.20/911.93 c #Conflicts: 626000 | #Constraints: 18936
908.20/911.93 c #Conflicts: 627000 | #Constraints: 19936
908.20/911.93 c #Conflicts: 628000 | #Constraints: 20936
908.20/911.93 c #Conflicts: 629000 | #Constraints: 21936
908.20/911.93 c #Conflicts: 630000 | #Constraints: 22936
908.20/911.93 c #Conflicts: 631000 | #Constraints: 23936
908.20/911.93 c #Conflicts: 632000 | #Constraints: 24936
908.20/911.93 c #Conflicts: 633000 | #Constraints: 25936
908.20/911.93 c #Conflicts: 634000 | #Constraints: 26936
908.20/911.93 c #Conflicts: 635000 | #Constraints: 27936
908.20/911.93 c #Conflicts: 636000 | #Constraints: 28936
908.20/911.93 c #Conflicts: 637000 | #Constraints: 29936
908.20/911.93 c #Conflicts: 638000 | #Constraints: 30936
908.20/911.93 c #Conflicts: 639000 | #Constraints: 31936
908.20/911.93 c INPROCESSING
908.20/911.93 c GARBAGE COLLECT
908.20/911.93 c #Conflicts: 640000 | #Constraints: 17136
908.20/911.93 c #Conflicts: 641000 | #Constraints: 18136
908.20/911.93 c #Conflicts: 642000 | #Constraints: 19136
908.20/911.93 c #Conflicts: 643000 | #Constraints: 20136
908.20/911.93 c #Conflicts: 644000 | #Constraints: 21136
908.20/911.93 c #Conflicts: 645000 | #Constraints: 22136
908.20/911.93 c #Conflicts: 646000 | #Constraints: 23136
908.20/911.93 c #Conflicts: 647000 | #Constraints: 24136
908.20/911.93 c #Conflicts: 648000 | #Constraints: 25136
908.20/911.93 c #Conflicts: 649000 | #Constraints: 26136
908.20/911.93 c #Conflicts: 650000 | #Constraints: 27136
908.20/911.93 c #Conflicts: 651000 | #Constraints: 28136
908.20/911.93 c #Conflicts: 652000 | #Constraints: 29136
908.20/911.93 c #Conflicts: 653000 | #Constraints: 30136
908.20/911.93 c #Conflicts: 654000 | #Constraints: 31136
908.20/911.93 c #Conflicts: 655000 | #Constraints: 32136
908.20/911.93 c INPROCESSING
908.20/911.93 c GARBAGE COLLECT
908.20/911.93 c #Conflicts: 656000 | #Constraints: 17131
908.20/911.93 c #Conflicts: 657000 | #Constraints: 18131
908.20/911.93 c #Conflicts: 658000 | #Constraints: 19131
908.20/911.93 c #Conflicts: 659000 | #Constraints: 20131
908.20/911.93 c #Conflicts: 660000 | #Constraints: 21131
908.20/911.93 c #Conflicts: 661000 | #Constraints: 22131
908.20/911.93 c #Conflicts: 662000 | #Constraints: 23131
908.20/911.93 c #Conflicts: 663000 | #Constraints: 24131
908.20/911.93 c #Conflicts: 664000 | #Constraints: 25131
1013.36/1017.48 c #Conflicts: 665000 | #Constraints: 26131
1013.36/1017.48 c #Conflicts: 666000 | #Constraints: 27131
1013.36/1017.48 c #Conflicts: 667000 | #Constraints: 28131
1013.36/1017.48 c #Conflicts: 668000 | #Constraints: 29131
1013.36/1017.48 c #Conflicts: 669000 | #Constraints: 30131
1013.36/1017.48 c #Conflicts: 670000 | #Constraints: 31131
1013.36/1017.48 c #Conflicts: 671000 | #Constraints: 32131
1013.36/1017.48 c INPROCESSING
1013.36/1017.48 c GARBAGE COLLECT
1013.36/1017.48 c #Conflicts: 672000 | #Constraints: 16931
1013.36/1017.48 c #Conflicts: 673000 | #Constraints: 17931
1013.36/1017.48 c #Conflicts: 674000 | #Constraints: 18931
1013.36/1017.48 c #Conflicts: 675000 | #Constraints: 19931
1013.36/1017.48 c #Conflicts: 676000 | #Constraints: 20931
1013.36/1017.48 c #Conflicts: 677000 | #Constraints: 21931
1013.36/1017.48 c #Conflicts: 678000 | #Constraints: 22931
1013.36/1017.48 c #Conflicts: 679000 | #Constraints: 23931
1013.36/1017.48 c #Conflicts: 680000 | #Constraints: 24931
1013.36/1017.48 c #Conflicts: 681000 | #Constraints: 25931
1013.36/1017.48 c #Conflicts: 682000 | #Constraints: 26931
1013.36/1017.48 c #Conflicts: 683000 | #Constraints: 27931
1013.36/1017.48 c #Conflicts: 684000 | #Constraints: 28931
1013.36/1017.48 c #Conflicts: 685000 | #Constraints: 29931
1013.36/1017.48 c #Conflicts: 686000 | #Constraints: 30931
1013.36/1017.48 c #Conflicts: 687000 | #Constraints: 31931
1013.36/1017.48 c #Conflicts: 688000 | #Constraints: 32931
1013.36/1017.48 c INPROCESSING
1013.36/1017.48 c GARBAGE COLLECT
1013.36/1017.48 c #Conflicts: 689000 | #Constraints: 17532
1013.36/1017.48 c #Conflicts: 690000 | #Constraints: 18532
1013.36/1017.48 c #Conflicts: 691000 | #Constraints: 19532
1013.36/1017.48 c #Conflicts: 692000 | #Constraints: 20532
1013.36/1017.48 c #Conflicts: 693000 | #Constraints: 21532
1013.36/1017.48 c #Conflicts: 694000 | #Constraints: 22532
1013.36/1017.48 c #Conflicts: 695000 | #Constraints: 23532
1013.36/1017.48 c #Conflicts: 696000 | #Constraints: 24532
1013.36/1017.48 c #Conflicts: 697000 | #Constraints: 25532
1013.36/1017.48 c #Conflicts: 698000 | #Constraints: 26532
1013.36/1017.48 c #Conflicts: 699000 | #Constraints: 27532
1013.36/1017.48 c #Conflicts: 700000 | #Constraints: 28532
1013.36/1017.48 c #Conflicts: 701000 | #Constraints: 29532
1013.36/1017.48 c #Conflicts: 702000 | #Constraints: 30532
1013.36/1017.48 c #Conflicts: 703000 | #Constraints: 31532
1013.36/1017.48 c #Conflicts: 704000 | #Constraints: 32532
1013.36/1017.48 c #Conflicts: 705000 | #Constraints: 33532
1013.36/1017.48 c INPROCESSING
1013.36/1017.48 c GARBAGE COLLECT
1013.36/1017.48 c #Conflicts: 706000 | #Constraints: 17930
1013.36/1017.48 c #Conflicts: 707000 | #Constraints: 18930
1013.36/1017.48 c #Conflicts: 708000 | #Constraints: 19930
1013.36/1017.48 c #Conflicts: 709000 | #Constraints: 20930
1013.36/1017.48 c #Conflicts: 710000 | #Constraints: 21930
1013.36/1017.48 c #Conflicts: 711000 | #Constraints: 22930
1013.36/1017.48 c #Conflicts: 712000 | #Constraints: 23930
1013.36/1017.48 c #Conflicts: 713000 | #Constraints: 24930
1013.36/1017.48 c #Conflicts: 714000 | #Constraints: 25930
1013.36/1017.48 c #Conflicts: 715000 | #Constraints: 26930
1013.36/1017.48 c #Conflicts: 716000 | #Constraints: 27930
1013.36/1017.48 c #Conflicts: 717000 | #Constraints: 28930
1013.36/1017.48 c #Conflicts: 718000 | #Constraints: 29930
1013.36/1017.48 c #Conflicts: 719000 | #Constraints: 30930
1013.36/1017.48 c #Conflicts: 720000 | #Constraints: 31930
1013.36/1017.48 c #Conflicts: 721000 | #Constraints: 32930
1013.36/1017.48 c #Conflicts: 722000 | #Constraints: 33930
1013.36/1017.48 c INPROCESSING
1013.36/1017.48 c GARBAGE COLLECT
1013.36/1017.48 c #Conflicts: 723000 | #Constraints: 18166
1013.36/1017.48 c #Conflicts: 724000 | #Constraints: 19166
1013.36/1017.48 c #Conflicts: 725000 | #Constraints: 20166
1013.36/1017.48 c #Conflicts: 726000 | #Constraints: 21166
1013.36/1017.48 c #Conflicts: 727000 | #Constraints: 22166
1013.36/1017.48 c #Conflicts: 728000 | #Constraints: 23166
1013.36/1017.48 c #Conflicts: 729000 | #Constraints: 24166
1013.36/1017.48 c #Conflicts: 730000 | #Constraints: 25166
1013.36/1017.48 c #Conflicts: 731000 | #Constraints: 26166
1013.36/1017.48 c #Conflicts: 732000 | #Constraints: 27166
1013.36/1017.48 c #Conflicts: 733000 | #Constraints: 28166
1013.36/1017.48 c #Conflicts: 734000 | #Constraints: 29166
1013.36/1017.48 c #Conflicts: 735000 | #Constraints: 30166
1013.36/1017.48 c #Conflicts: 736000 | #Constraints: 31166
1013.36/1017.48 c #Conflicts: 737000 | #Constraints: 32166
1013.36/1017.48 c #Conflicts: 738000 | #Constraints: 33166
1013.36/1017.48 c #Conflicts: 739000 | #Constraints: 34166
1013.36/1017.48 c INPROCESSING
1013.36/1017.48 c GARBAGE COLLECT
1111.17/1115.57 c #Conflicts: 740000 | #Constraints: 18153
1111.17/1115.57 c #Conflicts: 741000 | #Constraints: 19153
1111.17/1115.57 c #Conflicts: 742000 | #Constraints: 20153
1111.17/1115.57 c #Conflicts: 743000 | #Constraints: 21153
1111.17/1115.57 c #Conflicts: 744000 | #Constraints: 22153
1111.17/1115.57 c #Conflicts: 745000 | #Constraints: 23153
1111.17/1115.57 c #Conflicts: 746000 | #Constraints: 24153
1111.17/1115.57 c #Conflicts: 747000 | #Constraints: 25153
1111.17/1115.57 c #Conflicts: 748000 | #Constraints: 26153
1111.17/1115.57 c #Conflicts: 749000 | #Constraints: 27153
1111.17/1115.57 c #Conflicts: 750000 | #Constraints: 28153
1111.17/1115.57 c #Conflicts: 751000 | #Constraints: 29153
1111.17/1115.57 c #Conflicts: 752000 | #Constraints: 30153
1111.17/1115.57 c #Conflicts: 753000 | #Constraints: 31153
1111.17/1115.57 c #Conflicts: 754000 | #Constraints: 32153
1111.17/1115.57 c #Conflicts: 755000 | #Constraints: 33153
1111.17/1115.57 c #Conflicts: 756000 | #Constraints: 34153
1111.17/1115.57 c INPROCESSING
1111.17/1115.57 c GARBAGE COLLECT
1111.17/1115.57 c #Conflicts: 757000 | #Constraints: 17930
1111.17/1115.57 c #Conflicts: 758000 | #Constraints: 18930
1111.17/1115.57 c #Conflicts: 759000 | #Constraints: 19930
1111.17/1115.57 c #Conflicts: 760000 | #Constraints: 20930
1111.17/1115.57 c #Conflicts: 761000 | #Constraints: 21930
1111.17/1115.57 c #Conflicts: 762000 | #Constraints: 22930
1111.17/1115.57 c #Conflicts: 763000 | #Constraints: 23930
1111.17/1115.57 c #Conflicts: 764000 | #Constraints: 24930
1111.17/1115.57 c #Conflicts: 765000 | #Constraints: 25930
1111.17/1115.57 c #Conflicts: 766000 | #Constraints: 26930
1111.17/1115.57 c #Conflicts: 767000 | #Constraints: 27930
1111.17/1115.57 c #Conflicts: 768000 | #Constraints: 28930
1111.17/1115.57 c #Conflicts: 769000 | #Constraints: 29930
1111.17/1115.57 c #Conflicts: 770000 | #Constraints: 30930
1111.17/1115.57 c #Conflicts: 771000 | #Constraints: 31930
1111.17/1115.57 c #Conflicts: 772000 | #Constraints: 32930
1111.17/1115.57 c #Conflicts: 773000 | #Constraints: 33930
1111.17/1115.57 c #Conflicts: 774000 | #Constraints: 34930
1111.17/1115.57 c INPROCESSING
1111.17/1115.57 c GARBAGE COLLECT
1111.17/1115.57 c #Conflicts: 775000 | #Constraints: 18551
1111.17/1115.57 c #Conflicts: 776000 | #Constraints: 19551
1111.17/1115.57 c #Conflicts: 777000 | #Constraints: 20551
1111.17/1115.57 c #Conflicts: 778000 | #Constraints: 21551
1111.17/1115.57 c #Conflicts: 779000 | #Constraints: 22551
1111.17/1115.57 c #Conflicts: 780000 | #Constraints: 23551
1111.17/1115.57 c #Conflicts: 781000 | #Constraints: 24551
1111.17/1115.57 c #Conflicts: 782000 | #Constraints: 25551
1111.17/1115.57 c #Conflicts: 783000 | #Constraints: 26551
1111.17/1115.57 c #Conflicts: 784000 | #Constraints: 27551
1111.17/1115.57 c #Conflicts: 785000 | #Constraints: 28551
1111.17/1115.57 c #Conflicts: 786000 | #Constraints: 29551
1111.17/1115.57 c #Conflicts: 787000 | #Constraints: 30551
1111.17/1115.57 c #Conflicts: 788000 | #Constraints: 31551
1111.17/1115.57 c #Conflicts: 789000 | #Constraints: 32551
1111.17/1115.57 c #Conflicts: 790000 | #Constraints: 33551
1111.17/1115.57 c #Conflicts: 791000 | #Constraints: 34551
1111.17/1115.57 c #Conflicts: 792000 | #Constraints: 35551
1111.17/1115.57 c INPROCESSING
1111.17/1115.57 c GARBAGE COLLECT
1111.17/1115.57 c #Conflicts: 793000 | #Constraints: 18931
1111.17/1115.57 c #Conflicts: 794000 | #Constraints: 19931
1111.17/1115.57 c #Conflicts: 795000 | #Constraints: 20931
1111.17/1115.57 c #Conflicts: 796000 | #Constraints: 21931
1111.17/1115.57 c #Conflicts: 797000 | #Constraints: 22931
1111.17/1115.57 c #Conflicts: 798000 | #Constraints: 23931
1111.17/1115.57 c #Conflicts: 799000 | #Constraints: 24931
1111.17/1115.57 c #Conflicts: 800000 | #Constraints: 25931
1111.17/1115.57 c #Conflicts: 801000 | #Constraints: 26931
1111.17/1115.57 c #Conflicts: 802000 | #Constraints: 27931
1111.17/1115.57 c #Conflicts: 803000 | #Constraints: 28931
1111.17/1115.57 c #Conflicts: 804000 | #Constraints: 29931
1111.17/1115.57 c #Conflicts: 805000 | #Constraints: 30931
1111.17/1115.57 c #Conflicts: 806000 | #Constraints: 31931
1111.17/1115.57 c #Conflicts: 807000 | #Constraints: 32931
1111.17/1115.57 c #Conflicts: 808000 | #Constraints: 33931
1111.17/1115.57 c #Conflicts: 809000 | #Constraints: 34931
1111.17/1115.57 c #Conflicts: 810000 | #Constraints: 35931
1111.17/1115.57 c INPROCESSING
1111.17/1115.57 c GARBAGE COLLECT
1111.17/1115.57 c #Conflicts: 811000 | #Constraints: 19151
1111.17/1115.57 c #Conflicts: 812000 | #Constraints: 20151
1111.17/1115.57 c #Conflicts: 813000 | #Constraints: 21151
1111.17/1115.57 c #Conflicts: 814000 | #Constraints: 22151
1111.17/1115.57 c #Conflicts: 815000 | #Constraints: 23151
1111.17/1115.57 c #Conflicts: 816000 | #Constraints: 24151
1230.00/1234.78 c #Conflicts: 817000 | #Constraints: 25151
1230.00/1234.78 c #Conflicts: 818000 | #Constraints: 26151
1230.00/1234.78 c #Conflicts: 819000 | #Constraints: 27151
1230.00/1234.78 c #Conflicts: 820000 | #Constraints: 28151
1230.00/1234.78 c #Conflicts: 821000 | #Constraints: 29151
1230.00/1234.78 c #Conflicts: 822000 | #Constraints: 30151
1230.00/1234.78 c #Conflicts: 823000 | #Constraints: 31151
1230.00/1234.78 c #Conflicts: 824000 | #Constraints: 32151
1230.00/1234.78 c #Conflicts: 825000 | #Constraints: 33151
1230.00/1234.78 c #Conflicts: 826000 | #Constraints: 34151
1230.00/1234.78 c #Conflicts: 827000 | #Constraints: 35151
1230.00/1234.78 c #Conflicts: 828000 | #Constraints: 36151
1230.00/1234.78 c INPROCESSING
1230.00/1234.78 c GARBAGE COLLECT
1230.00/1234.78 c #Conflicts: 829000 | #Constraints: 19146
1230.00/1234.78 c #Conflicts: 830000 | #Constraints: 20146
1230.00/1234.78 c #Conflicts: 831000 | #Constraints: 21146
1230.00/1234.78 c #Conflicts: 832000 | #Constraints: 22146
1230.00/1234.78 c #Conflicts: 833000 | #Constraints: 23146
1230.00/1234.78 c #Conflicts: 834000 | #Constraints: 24146
1230.00/1234.78 c #Conflicts: 835000 | #Constraints: 25146
1230.00/1234.78 c #Conflicts: 836000 | #Constraints: 26146
1230.00/1234.78 c #Conflicts: 837000 | #Constraints: 27146
1230.00/1234.78 c #Conflicts: 838000 | #Constraints: 28146
1230.00/1234.78 c #Conflicts: 839000 | #Constraints: 29146
1230.00/1234.78 c #Conflicts: 840000 | #Constraints: 30146
1230.00/1234.78 c #Conflicts: 841000 | #Constraints: 31146
1230.00/1234.78 c #Conflicts: 842000 | #Constraints: 32146
1230.00/1234.78 c #Conflicts: 843000 | #Constraints: 33146
1230.00/1234.78 c #Conflicts: 844000 | #Constraints: 34146
1230.00/1234.78 c #Conflicts: 845000 | #Constraints: 35146
1230.00/1234.78 c #Conflicts: 846000 | #Constraints: 36146
1230.00/1234.78 c INPROCESSING
1230.00/1234.78 c GARBAGE COLLECT
1230.00/1234.78 c #Conflicts: 847000 | #Constraints: 18937
1230.00/1234.78 c #Conflicts: 848000 | #Constraints: 19937
1230.00/1234.78 c #Conflicts: 849000 | #Constraints: 20937
1230.00/1234.78 c #Conflicts: 850000 | #Constraints: 21937
1230.00/1234.78 c #Conflicts: 851000 | #Constraints: 22937
1230.00/1234.78 c #Conflicts: 852000 | #Constraints: 23937
1230.00/1234.78 c #Conflicts: 853000 | #Constraints: 24937
1230.00/1234.78 c #Conflicts: 854000 | #Constraints: 25937
1230.00/1234.78 c #Conflicts: 855000 | #Constraints: 26937
1230.00/1234.78 c #Conflicts: 856000 | #Constraints: 27937
1230.00/1234.78 c #Conflicts: 857000 | #Constraints: 28937
1230.00/1234.78 c #Conflicts: 858000 | #Constraints: 29937
1230.00/1234.78 c #Conflicts: 859000 | #Constraints: 30937
1230.00/1234.78 c #Conflicts: 860000 | #Constraints: 31937
1230.00/1234.78 c #Conflicts: 861000 | #Constraints: 32937
1230.00/1234.78 c #Conflicts: 862000 | #Constraints: 33937
1230.00/1234.78 c #Conflicts: 863000 | #Constraints: 34937
1230.00/1234.78 c #Conflicts: 864000 | #Constraints: 35937
1230.00/1234.78 c #Conflicts: 865000 | #Constraints: 36937
1230.00/1234.78 c INPROCESSING
1230.00/1234.78 c GARBAGE COLLECT
1230.00/1234.78 c #Conflicts: 866000 | #Constraints: 19522
1230.00/1234.78 c #Conflicts: 867000 | #Constraints: 20522
1230.00/1234.78 c #Conflicts: 868000 | #Constraints: 21522
1230.00/1234.78 c #Conflicts: 869000 | #Constraints: 22522
1230.00/1234.78 c #Conflicts: 870000 | #Constraints: 23522
1230.00/1234.78 c #Conflicts: 871000 | #Constraints: 24522
1230.00/1234.78 c #Conflicts: 872000 | #Constraints: 25522
1230.00/1234.78 c #Conflicts: 873000 | #Constraints: 26522
1230.00/1234.78 c #Conflicts: 874000 | #Constraints: 27522
1230.00/1234.78 c #Conflicts: 875000 | #Constraints: 28522
1230.00/1234.78 c #Conflicts: 876000 | #Constraints: 29522
1230.00/1234.78 c #Conflicts: 877000 | #Constraints: 30522
1230.00/1234.78 c #Conflicts: 878000 | #Constraints: 31522
1230.00/1234.78 c #Conflicts: 879000 | #Constraints: 32522
1230.00/1234.78 c #Conflicts: 880000 | #Constraints: 33522
1230.00/1234.78 c #Conflicts: 881000 | #Constraints: 34522
1230.00/1234.78 c #Conflicts: 882000 | #Constraints: 35522
1230.00/1234.78 c #Conflicts: 883000 | #Constraints: 36522
1230.00/1234.78 c #Conflicts: 884000 | #Constraints: 37522
1230.00/1234.78 c INPROCESSING
1230.00/1234.78 c GARBAGE COLLECT
1230.00/1234.78 c #Conflicts: 885000 | #Constraints: 19952
1230.00/1234.78 c #Conflicts: 886000 | #Constraints: 20952
1230.00/1234.78 c #Conflicts: 887000 | #Constraints: 21952
1230.00/1234.78 c #Conflicts: 888000 | #Constraints: 22952
1230.00/1234.78 c #Conflicts: 889000 | #Constraints: 23952
1230.00/1234.78 c #Conflicts: 890000 | #Constraints: 24952
1230.00/1234.78 c #Conflicts: 891000 | #Constraints: 25952
1230.00/1234.78 c #Conflicts: 892000 | #Constraints: 26952
1362.29/1367.49 c #Conflicts: 893000 | #Constraints: 27952
1362.29/1367.49 c #Conflicts: 894000 | #Constraints: 28952
1362.29/1367.49 c #Conflicts: 895000 | #Constraints: 29952
1362.29/1367.49 c #Conflicts: 896000 | #Constraints: 30952
1362.29/1367.49 c #Conflicts: 897000 | #Constraints: 31952
1362.29/1367.49 c #Conflicts: 898000 | #Constraints: 32952
1362.29/1367.49 c #Conflicts: 899000 | #Constraints: 33952
1362.29/1367.49 c #Conflicts: 900000 | #Constraints: 34952
1362.29/1367.49 c #Conflicts: 901000 | #Constraints: 35952
1362.29/1367.49 c #Conflicts: 902000 | #Constraints: 36952
1362.29/1367.49 c #Conflicts: 903000 | #Constraints: 37952
1362.29/1367.49 c INPROCESSING
1362.29/1367.49 c GARBAGE COLLECT
1362.29/1367.49 c #Conflicts: 904000 | #Constraints: 20149
1362.29/1367.49 c #Conflicts: 905000 | #Constraints: 21149
1362.29/1367.49 c #Conflicts: 906000 | #Constraints: 22149
1362.29/1367.49 c #Conflicts: 907000 | #Constraints: 23149
1362.29/1367.49 c #Conflicts: 908000 | #Constraints: 24149
1362.29/1367.49 c #Conflicts: 909000 | #Constraints: 25149
1362.29/1367.49 c #Conflicts: 910000 | #Constraints: 26149
1362.29/1367.49 c #Conflicts: 911000 | #Constraints: 27149
1362.29/1367.49 c #Conflicts: 912000 | #Constraints: 28149
1362.29/1367.49 c #Conflicts: 913000 | #Constraints: 29149
1362.29/1367.49 c #Conflicts: 914000 | #Constraints: 30149
1362.29/1367.49 c #Conflicts: 915000 | #Constraints: 31149
1362.29/1367.49 c #Conflicts: 916000 | #Constraints: 32149
1362.29/1367.49 c #Conflicts: 917000 | #Constraints: 33149
1362.29/1367.49 c #Conflicts: 918000 | #Constraints: 34149
1362.29/1367.49 c #Conflicts: 919000 | #Constraints: 35149
1362.29/1367.49 c #Conflicts: 920000 | #Constraints: 36149
1362.29/1367.49 c #Conflicts: 921000 | #Constraints: 37149
1362.29/1367.49 c #Conflicts: 922000 | #Constraints: 38149
1362.29/1367.49 c INPROCESSING
1362.29/1367.49 c GARBAGE COLLECT
1362.29/1367.49 c #Conflicts: 923000 | #Constraints: 20169
1362.29/1367.49 c #Conflicts: 924000 | #Constraints: 21169
1362.29/1367.49 c #Conflicts: 925000 | #Constraints: 22169
1362.29/1367.49 c #Conflicts: 926000 | #Constraints: 23169
1362.29/1367.49 c #Conflicts: 927000 | #Constraints: 24169
1362.29/1367.49 c #Conflicts: 928000 | #Constraints: 25169
1362.29/1367.49 c #Conflicts: 929000 | #Constraints: 26169
1362.29/1367.49 c #Conflicts: 930000 | #Constraints: 27169
1362.29/1367.49 c #Conflicts: 931000 | #Constraints: 28169
1362.29/1367.49 c #Conflicts: 932000 | #Constraints: 29169
1362.29/1367.49 c #Conflicts: 933000 | #Constraints: 30169
1362.29/1367.49 c #Conflicts: 934000 | #Constraints: 31169
1362.29/1367.49 c #Conflicts: 935000 | #Constraints: 32169
1362.29/1367.49 c #Conflicts: 936000 | #Constraints: 33169
1362.29/1367.49 c #Conflicts: 937000 | #Constraints: 34169
1362.29/1367.49 c #Conflicts: 938000 | #Constraints: 35169
1362.29/1367.49 c #Conflicts: 939000 | #Constraints: 36169
1362.29/1367.49 c #Conflicts: 940000 | #Constraints: 37169
1362.29/1367.49 c #Conflicts: 941000 | #Constraints: 38169
1362.29/1367.49 c INPROCESSING
1362.29/1367.49 c GARBAGE COLLECT
1362.29/1367.49 c #Conflicts: 942000 | #Constraints: 19980
1362.29/1367.49 c #Conflicts: 943000 | #Constraints: 20980
1362.29/1367.49 c #Conflicts: 944000 | #Constraints: 21980
1362.29/1367.49 c #Conflicts: 945000 | #Constraints: 22980
1362.29/1367.49 c #Conflicts: 946000 | #Constraints: 23980
1362.29/1367.49 c #Conflicts: 947000 | #Constraints: 24980
1362.29/1367.49 c #Conflicts: 948000 | #Constraints: 25980
1362.29/1367.49 c #Conflicts: 949000 | #Constraints: 26980
1362.29/1367.49 c #Conflicts: 950000 | #Constraints: 27980
1362.29/1367.49 c #Conflicts: 951000 | #Constraints: 28980
1362.29/1367.49 c #Conflicts: 952000 | #Constraints: 29980
1362.29/1367.49 c #Conflicts: 953000 | #Constraints: 30980
1362.29/1367.49 c #Conflicts: 954000 | #Constraints: 31980
1362.29/1367.49 c #Conflicts: 955000 | #Constraints: 32980
1362.29/1367.49 c #Conflicts: 956000 | #Constraints: 33980
1362.29/1367.49 c #Conflicts: 957000 | #Constraints: 34980
1362.29/1367.49 c #Conflicts: 958000 | #Constraints: 35980
1362.29/1367.49 c #Conflicts: 959000 | #Constraints: 36980
1362.29/1367.49 c #Conflicts: 960000 | #Constraints: 37980
1362.29/1367.49 c #Conflicts: 961000 | #Constraints: 38980
1362.29/1367.49 c INPROCESSING
1362.29/1367.49 c GARBAGE COLLECT
1362.29/1367.49 c #Conflicts: 962000 | #Constraints: 20582
1362.29/1367.49 c #Conflicts: 963000 | #Constraints: 21582
1362.29/1367.49 c #Conflicts: 964000 | #Constraints: 22582
1362.29/1367.49 c #Conflicts: 965000 | #Constraints: 23582
1362.29/1367.49 c #Conflicts: 966000 | #Constraints: 24582
1362.29/1367.49 c #Conflicts: 967000 | #Constraints: 25582
1362.29/1367.49 c #Conflicts: 968000 | #Constraints: 26582
1534.06/1539.79 c #Conflicts: 969000 | #Constraints: 27582
1534.06/1539.79 c #Conflicts: 970000 | #Constraints: 28582
1534.06/1539.79 c #Conflicts: 971000 | #Constraints: 29582
1534.06/1539.79 c #Conflicts: 972000 | #Constraints: 30582
1534.06/1539.79 c #Conflicts: 973000 | #Constraints: 31582
1534.06/1539.79 c #Conflicts: 974000 | #Constraints: 32582
1534.06/1539.79 c #Conflicts: 975000 | #Constraints: 33582
1534.06/1539.79 c #Conflicts: 976000 | #Constraints: 34582
1534.06/1539.79 c #Conflicts: 977000 | #Constraints: 35582
1534.06/1539.79 c #Conflicts: 978000 | #Constraints: 36582
1534.06/1539.79 c #Conflicts: 979000 | #Constraints: 37582
1534.06/1539.79 c #Conflicts: 980000 | #Constraints: 38582
1534.06/1539.79 c #Conflicts: 981000 | #Constraints: 39582
1534.06/1539.79 c INPROCESSING
1534.06/1539.79 c GARBAGE COLLECT
1534.06/1539.79 c #Conflicts: 982000 | #Constraints: 21001
1534.06/1539.79 c #Conflicts: 983000 | #Constraints: 22001
1534.06/1539.79 c #Conflicts: 984000 | #Constraints: 23001
1534.06/1539.79 c #Conflicts: 985000 | #Constraints: 24001
1534.06/1539.79 c #Conflicts: 986000 | #Constraints: 25001
1534.06/1539.79 c #Conflicts: 987000 | #Constraints: 26001
1534.06/1539.79 c #Conflicts: 988000 | #Constraints: 27001
1534.06/1539.79 c #Conflicts: 989000 | #Constraints: 28001
1534.06/1539.79 c #Conflicts: 990000 | #Constraints: 29001
1534.06/1539.79 c #Conflicts: 991000 | #Constraints: 30001
1534.06/1539.79 c #Conflicts: 992000 | #Constraints: 31001
1534.06/1539.79 c #Conflicts: 993000 | #Constraints: 32001
1534.06/1539.79 c #Conflicts: 994000 | #Constraints: 33001
1534.06/1539.79 c #Conflicts: 995000 | #Constraints: 34001
1534.06/1539.79 c #Conflicts: 996000 | #Constraints: 35001
1534.06/1539.79 c #Conflicts: 997000 | #Constraints: 36001
1534.06/1539.79 c #Conflicts: 998000 | #Constraints: 37001
1534.06/1539.79 c #Conflicts: 999000 | #Constraints: 38001
1534.06/1539.79 c #Conflicts: 1000000 | #Constraints: 39001
1534.06/1539.79 c #Conflicts: 1001000 | #Constraints: 40001
1534.06/1539.79 c INPROCESSING
1534.06/1539.79 c GARBAGE COLLECT
1534.06/1539.79 c #Conflicts: 1002000 | #Constraints: 21185
1534.06/1539.79 c #Conflicts: 1003000 | #Constraints: 22185
1534.06/1539.79 c #Conflicts: 1004000 | #Constraints: 23185
1534.06/1539.79 c #Conflicts: 1005000 | #Constraints: 24185
1534.06/1539.79 c #Conflicts: 1006000 | #Constraints: 25185
1534.06/1539.79 c #Conflicts: 1007000 | #Constraints: 26185
1534.06/1539.79 c #Conflicts: 1008000 | #Constraints: 27185
1534.06/1539.79 c #Conflicts: 1009000 | #Constraints: 28185
1534.06/1539.79 c #Conflicts: 1010000 | #Constraints: 29185
1534.06/1539.79 c #Conflicts: 1011000 | #Constraints: 30185
1534.06/1539.79 c #Conflicts: 1012000 | #Constraints: 31185
1534.06/1539.79 c #Conflicts: 1013000 | #Constraints: 32185
1534.06/1539.79 c #Conflicts: 1014000 | #Constraints: 33185
1534.06/1539.79 c #Conflicts: 1015000 | #Constraints: 34185
1534.06/1539.79 c #Conflicts: 1016000 | #Constraints: 35185
1534.06/1539.79 c #Conflicts: 1017000 | #Constraints: 36185
1534.06/1539.79 c #Conflicts: 1018000 | #Constraints: 37185
1534.06/1539.79 c #Conflicts: 1019000 | #Constraints: 38185
1534.06/1539.79 c #Conflicts: 1020000 | #Constraints: 39185
1534.06/1539.79 c #Conflicts: 1021000 | #Constraints: 40185
1534.06/1539.79 c INPROCESSING
1534.06/1539.79 c GARBAGE COLLECT
1534.06/1539.79 c #Conflicts: 1022000 | #Constraints: 21177
1534.06/1539.79 c #Conflicts: 1023000 | #Constraints: 22177
1534.06/1539.79 c #Conflicts: 1024000 | #Constraints: 23177
1534.06/1539.79 c #Conflicts: 1025000 | #Constraints: 24177
1534.06/1539.79 c #Conflicts: 1026000 | #Constraints: 25177
1534.06/1539.79 c #Conflicts: 1027000 | #Constraints: 26177
1534.06/1539.79 c #Conflicts: 1028000 | #Constraints: 27177
1534.06/1539.79 c #Conflicts: 1029000 | #Constraints: 28177
1534.06/1539.79 c #Conflicts: 1030000 | #Constraints: 29177
1534.06/1539.79 c #Conflicts: 1031000 | #Constraints: 30177
1534.06/1539.79 c #Conflicts: 1032000 | #Constraints: 31177
1534.06/1539.79 c #Conflicts: 1033000 | #Constraints: 32177
1534.06/1539.79 c #Conflicts: 1034000 | #Constraints: 33177
1534.06/1539.79 c #Conflicts: 1035000 | #Constraints: 34177
1534.06/1539.79 c #Conflicts: 1036000 | #Constraints: 35177
1534.06/1539.79 c #Conflicts: 1037000 | #Constraints: 36177
1534.06/1539.79 c #Conflicts: 1038000 | #Constraints: 37177
1534.06/1539.79 c #Conflicts: 1039000 | #Constraints: 38177
1534.06/1539.79 c #Conflicts: 1040000 | #Constraints: 39177
1534.06/1539.79 c #Conflicts: 1041000 | #Constraints: 40177
1534.06/1539.79 c INPROCESSING
1534.06/1539.79 c GARBAGE COLLECT
1534.06/1539.79 c #Conflicts: 1042000 | #Constraints: 20973
1534.06/1539.79 c #Conflicts: 1043000 | #Constraints: 21973
1534.06/1539.79 c #Conflicts: 1044000 | #Constraints: 22973
1708.42/1714.64 c #Conflicts: 1045000 | #Constraints: 23973
1708.42/1714.64 c #Conflicts: 1046000 | #Constraints: 24973
1708.42/1714.64 c #Conflicts: 1047000 | #Constraints: 25973
1708.42/1714.64 c #Conflicts: 1048000 | #Constraints: 26973
1708.42/1714.64 c #Conflicts: 1049000 | #Constraints: 27973
1708.42/1714.64 c #Conflicts: 1050000 | #Constraints: 28973
1708.42/1714.64 c #Conflicts: 1051000 | #Constraints: 29973
1708.42/1714.64 c #Conflicts: 1052000 | #Constraints: 30973
1708.42/1714.64 c #Conflicts: 1053000 | #Constraints: 31973
1708.42/1714.64 c #Conflicts: 1054000 | #Constraints: 32973
1708.42/1714.64 c #Conflicts: 1055000 | #Constraints: 33973
1708.42/1714.64 c #Conflicts: 1056000 | #Constraints: 34973
1708.42/1714.64 c #Conflicts: 1057000 | #Constraints: 35973
1708.42/1714.64 c #Conflicts: 1058000 | #Constraints: 36973
1708.42/1714.64 c #Conflicts: 1059000 | #Constraints: 37973
1708.42/1714.64 c #Conflicts: 1060000 | #Constraints: 38973
1708.42/1714.64 c #Conflicts: 1061000 | #Constraints: 39973
1708.42/1714.64 c #Conflicts: 1062000 | #Constraints: 40973
1708.42/1714.64 c INPROCESSING
1708.42/1714.64 c GARBAGE COLLECT
1708.42/1714.64 c #Conflicts: 1063000 | #Constraints: 21581
1708.42/1714.64 c #Conflicts: 1064000 | #Constraints: 22581
1708.42/1714.64 c #Conflicts: 1065000 | #Constraints: 23581
1708.42/1714.64 c #Conflicts: 1066000 | #Constraints: 24581
1708.42/1714.64 c #Conflicts: 1067000 | #Constraints: 25581
1708.42/1714.64 c #Conflicts: 1068000 | #Constraints: 26581
1708.42/1714.64 c #Conflicts: 1069000 | #Constraints: 27581
1708.42/1714.64 c #Conflicts: 1070000 | #Constraints: 28581
1708.42/1714.64 c #Conflicts: 1071000 | #Constraints: 29581
1708.42/1714.64 c #Conflicts: 1072000 | #Constraints: 30581
1708.42/1714.64 c #Conflicts: 1073000 | #Constraints: 31581
1708.42/1714.64 c #Conflicts: 1074000 | #Constraints: 32581
1708.42/1714.64 c #Conflicts: 1075000 | #Constraints: 33581
1708.42/1714.64 c #Conflicts: 1076000 | #Constraints: 34581
1708.42/1714.64 c #Conflicts: 1077000 | #Constraints: 35581
1708.42/1714.64 c #Conflicts: 1078000 | #Constraints: 36581
1708.42/1714.64 c #Conflicts: 1079000 | #Constraints: 37581
1708.42/1714.64 c #Conflicts: 1080000 | #Constraints: 38581
1708.42/1714.64 c #Conflicts: 1081000 | #Constraints: 39581
1708.42/1714.64 c #Conflicts: 1082000 | #Constraints: 40581
1708.42/1714.64 c #Conflicts: 1083000 | #Constraints: 41581
1708.42/1714.64 c INPROCESSING
1708.42/1714.64 c GARBAGE COLLECT
1708.42/1714.64 c #Conflicts: 1084000 | #Constraints: 21976
1708.42/1714.64 c #Conflicts: 1085000 | #Constraints: 22976
1708.42/1714.64 c #Conflicts: 1086000 | #Constraints: 23976
1708.42/1714.64 c #Conflicts: 1087000 | #Constraints: 24976
1708.42/1714.64 c #Conflicts: 1088000 | #Constraints: 25976
1708.42/1714.64 c #Conflicts: 1089000 | #Constraints: 26976
1708.42/1714.64 c #Conflicts: 1090000 | #Constraints: 27976
1708.42/1714.64 c #Conflicts: 1091000 | #Constraints: 28976
1708.42/1714.64 c #Conflicts: 1092000 | #Constraints: 29976
1708.42/1714.64 c #Conflicts: 1093000 | #Constraints: 30976
1708.42/1714.64 c #Conflicts: 1094000 | #Constraints: 31976
1708.42/1714.64 c #Conflicts: 1095000 | #Constraints: 32976
1708.42/1714.64 c #Conflicts: 1096000 | #Constraints: 33976
1708.42/1714.64 c #Conflicts: 1097000 | #Constraints: 34976
1708.42/1714.64 c #Conflicts: 1098000 | #Constraints: 35976
1708.42/1714.64 c #Conflicts: 1099000 | #Constraints: 36976
1708.42/1714.64 c #Conflicts: 1100000 | #Constraints: 37976
1708.42/1714.64 c #Conflicts: 1101000 | #Constraints: 38976
1708.42/1714.64 c #Conflicts: 1102000 | #Constraints: 39976
1708.42/1714.64 c #Conflicts: 1103000 | #Constraints: 40976
1708.42/1714.64 c #Conflicts: 1104000 | #Constraints: 41976
1708.42/1714.64 c INPROCESSING
1708.42/1714.64 c GARBAGE COLLECT
1708.42/1714.64 c #Conflicts: 1105000 | #Constraints: 22185
1708.42/1714.64 c #Conflicts: 1106000 | #Constraints: 23185
1708.42/1714.64 c #Conflicts: 1107000 | #Constraints: 24185
1708.42/1714.64 c #Conflicts: 1108000 | #Constraints: 25185
1708.42/1714.64 c #Conflicts: 1109000 | #Constraints: 26185
1708.42/1714.64 c #Conflicts: 1110000 | #Constraints: 27185
1708.42/1714.64 c #Conflicts: 1111000 | #Constraints: 28185
1708.42/1714.64 c #Conflicts: 1112000 | #Constraints: 29185
1708.42/1714.64 c #Conflicts: 1113000 | #Constraints: 30185
1708.42/1714.64 c #Conflicts: 1114000 | #Constraints: 31185
1708.42/1714.64 c #Conflicts: 1115000 | #Constraints: 32185
1708.42/1714.64 c #Conflicts: 1116000 | #Constraints: 33185
1708.42/1714.64 c #Conflicts: 1117000 | #Constraints: 34185
1708.42/1714.64 c #Conflicts: 1118000 | #Constraints: 35185
1708.42/1714.64 c #Conflicts: 1119000 | #Constraints: 36185
1708.42/1714.64 c #Conflicts: 1120000 | #Constraints: 37185
1708.42/1714.64 c #Conflicts: 1121000 | #Constraints: 38185
1851.57/1858.25 c #Conflicts: 1122000 | #Constraints: 39185
1851.57/1858.25 c #Conflicts: 1123000 | #Constraints: 40185
1851.57/1858.25 c #Conflicts: 1124000 | #Constraints: 41185
1851.57/1858.25 c #Conflicts: 1125000 | #Constraints: 42185
1851.57/1858.25 c INPROCESSING
1851.57/1858.25 c GARBAGE COLLECT
1851.57/1858.25 c #Conflicts: 1126000 | #Constraints: 22188
1851.57/1858.25 c #Conflicts: 1127000 | #Constraints: 23188
1851.57/1858.25 c #Conflicts: 1128000 | #Constraints: 24188
1851.57/1858.25 c #Conflicts: 1129000 | #Constraints: 25188
1851.57/1858.25 c #Conflicts: 1130000 | #Constraints: 26188
1851.57/1858.25 c #Conflicts: 1131000 | #Constraints: 27188
1851.57/1858.25 c #Conflicts: 1132000 | #Constraints: 28188
1851.57/1858.25 c #Conflicts: 1133000 | #Constraints: 29188
1851.57/1858.25 c #Conflicts: 1134000 | #Constraints: 30188
1851.57/1858.25 c #Conflicts: 1135000 | #Constraints: 31188
1851.57/1858.25 c #Conflicts: 1136000 | #Constraints: 32188
1851.57/1858.25 c #Conflicts: 1137000 | #Constraints: 33188
1851.57/1858.25 c #Conflicts: 1138000 | #Constraints: 34188
1851.57/1858.25 c #Conflicts: 1139000 | #Constraints: 35188
1851.57/1858.25 c #Conflicts: 1140000 | #Constraints: 36188
1851.57/1858.25 c #Conflicts: 1141000 | #Constraints: 37188
1851.57/1858.25 c #Conflicts: 1142000 | #Constraints: 38188
1851.57/1858.25 c #Conflicts: 1143000 | #Constraints: 39188
1851.57/1858.25 c #Conflicts: 1144000 | #Constraints: 40188
1851.57/1858.25 c #Conflicts: 1145000 | #Constraints: 41188
1851.57/1858.25 c #Conflicts: 1146000 | #Constraints: 42188
1851.57/1858.25 c INPROCESSING
1851.57/1858.25 c GARBAGE COLLECT
1851.57/1858.25 c #Conflicts: 1147000 | #Constraints: 21972
1851.57/1858.25 c #Conflicts: 1148000 | #Constraints: 22972
1851.57/1858.25 c #Conflicts: 1149000 | #Constraints: 23972
1851.57/1858.25 c #Conflicts: 1150000 | #Constraints: 24972
1851.57/1858.25 c #Conflicts: 1151000 | #Constraints: 25972
1851.57/1858.25 c #Conflicts: 1152000 | #Constraints: 26972
1851.57/1858.25 c #Conflicts: 1153000 | #Constraints: 27972
1851.57/1858.25 c #Conflicts: 1154000 | #Constraints: 28972
1851.57/1858.25 c #Conflicts: 1155000 | #Constraints: 29972
1851.57/1858.25 c #Conflicts: 1156000 | #Constraints: 30972
1851.57/1858.25 c #Conflicts: 1157000 | #Constraints: 31972
1851.57/1858.25 c #Conflicts: 1158000 | #Constraints: 32972
1851.57/1858.25 c #Conflicts: 1159000 | #Constraints: 33972
1851.57/1858.25 c #Conflicts: 1160000 | #Constraints: 34972
1851.57/1858.25 c #Conflicts: 1161000 | #Constraints: 35972
1851.57/1858.25 c #Conflicts: 1162000 | #Constraints: 36972
1851.57/1858.25 c #Conflicts: 1163000 | #Constraints: 37972
1851.57/1858.25 c #Conflicts: 1164000 | #Constraints: 38972
1851.57/1858.25 c #Conflicts: 1165000 | #Constraints: 39972
1851.57/1858.25 c #Conflicts: 1166000 | #Constraints: 40972
1851.57/1858.25 c #Conflicts: 1167000 | #Constraints: 41972
1851.57/1858.25 c #Conflicts: 1168000 | #Constraints: 42972
1851.57/1858.25 c INPROCESSING
1851.57/1858.25 c GARBAGE COLLECT
1851.57/1858.25 c #Conflicts: 1169000 | #Constraints: 22570
1851.57/1858.25 c #Conflicts: 1170000 | #Constraints: 23570
1851.57/1858.25 c #Conflicts: 1171000 | #Constraints: 24570
1851.57/1858.25 c #Conflicts: 1172000 | #Constraints: 25570
1851.57/1858.25 c #Conflicts: 1173000 | #Constraints: 26570
1851.57/1858.25 c #Conflicts: 1174000 | #Constraints: 27570
1851.57/1858.25 c #Conflicts: 1175000 | #Constraints: 28570
1851.57/1858.25 c #Conflicts: 1176000 | #Constraints: 29570
1851.57/1858.25 c #Conflicts: 1177000 | #Constraints: 30570
1851.57/1858.25 c #Conflicts: 1178000 | #Constraints: 31570
1851.57/1858.25 c #Conflicts: 1179000 | #Constraints: 32570
1851.57/1858.25 c #Conflicts: 1180000 | #Constraints: 33570
1851.57/1858.25 c #Conflicts: 1181000 | #Constraints: 34570
1851.57/1858.25 c #Conflicts: 1182000 | #Constraints: 35570
1851.57/1858.25 c #Conflicts: 1183000 | #Constraints: 36570
1851.57/1858.25 c #Conflicts: 1184000 | #Constraints: 37570
1851.57/1858.25 c #Conflicts: 1185000 | #Constraints: 38570
1851.57/1858.25 c #Conflicts: 1186000 | #Constraints: 39570
1851.57/1858.25 c #Conflicts: 1187000 | #Constraints: 40570
1851.57/1858.25 c #Conflicts: 1188000 | #Constraints: 41570
1851.57/1858.25 c #Conflicts: 1189000 | #Constraints: 42570
1851.57/1858.25 c #Conflicts: 1190000 | #Constraints: 43570
1851.57/1858.25 c INPROCESSING
1851.57/1858.25 c GARBAGE COLLECT
1851.57/1858.25 c #Conflicts: 1191000 | #Constraints: 22981
1851.57/1858.25 c #Conflicts: 1192000 | #Constraints: 23981
1851.57/1858.25 c #Conflicts: 1193000 | #Constraints: 24981
1851.57/1858.25 c #Conflicts: 1194000 | #Constraints: 25981
1851.57/1858.25 c #Conflicts: 1195000 | #Constraints: 26981
1851.57/1858.25 c #Conflicts: 1196000 | #Constraints: 27981
1851.57/1858.25 c #Conflicts: 1197000 | #Constraints: 28981
2000.02/2007.19 c #Conflicts: 1198000 | #Constraints: 29981
2000.02/2007.19 c #Conflicts: 1199000 | #Constraints: 30981
2000.02/2007.19 c #Conflicts: 1200000 | #Constraints: 31981
2000.02/2007.19 c #Conflicts: 1201000 | #Constraints: 32981
2000.02/2007.19 c #Conflicts: 1202000 | #Constraints: 33981
2000.02/2007.19 c #Conflicts: 1203000 | #Constraints: 34981
2000.02/2007.19 c #Conflicts: 1204000 | #Constraints: 35981
2000.02/2007.19 c #Conflicts: 1205000 | #Constraints: 36981
2000.02/2007.19 c #Conflicts: 1206000 | #Constraints: 37981
2000.02/2007.19 c #Conflicts: 1207000 | #Constraints: 38981
2000.02/2007.19 c #Conflicts: 1208000 | #Constraints: 39981
2000.02/2007.19 c #Conflicts: 1209000 | #Constraints: 40981
2000.02/2007.19 c #Conflicts: 1210000 | #Constraints: 41981
2000.02/2007.19 c #Conflicts: 1211000 | #Constraints: 42981
2000.02/2007.19 c #Conflicts: 1212000 | #Constraints: 43981
2000.02/2007.19 c INPROCESSING
2000.02/2007.19 c GARBAGE COLLECT
2000.02/2007.19 c #Conflicts: 1213000 | #Constraints: 23165
2000.02/2007.19 c #Conflicts: 1214000 | #Constraints: 24165
2000.02/2007.19 c #Conflicts: 1215000 | #Constraints: 25165
2000.02/2007.19 c #Conflicts: 1216000 | #Constraints: 26165
2000.02/2007.19 c #Conflicts: 1217000 | #Constraints: 27165
2000.02/2007.19 c #Conflicts: 1218000 | #Constraints: 28165
2000.02/2007.19 c #Conflicts: 1219000 | #Constraints: 29165
2000.02/2007.19 c #Conflicts: 1220000 | #Constraints: 30165
2000.02/2007.19 c #Conflicts: 1221000 | #Constraints: 31165
2000.02/2007.19 c #Conflicts: 1222000 | #Constraints: 32165
2000.02/2007.19 c #Conflicts: 1223000 | #Constraints: 33165
2000.02/2007.19 c #Conflicts: 1224000 | #Constraints: 34165
2000.02/2007.19 c #Conflicts: 1225000 | #Constraints: 35165
2000.02/2007.19 c #Conflicts: 1226000 | #Constraints: 36165
2000.02/2007.19 c #Conflicts: 1227000 | #Constraints: 37165
2000.02/2007.19 c #Conflicts: 1228000 | #Constraints: 38165
2000.02/2007.19 c #Conflicts: 1229000 | #Constraints: 39165
2000.02/2007.19 c #Conflicts: 1230000 | #Constraints: 40165
2000.02/2007.19 c #Conflicts: 1231000 | #Constraints: 41165
2000.02/2007.19 c #Conflicts: 1232000 | #Constraints: 42165
2000.02/2007.19 c #Conflicts: 1233000 | #Constraints: 43165
2000.02/2007.19 c #Conflicts: 1234000 | #Constraints: 44165
2000.02/2007.19 c INPROCESSING
2000.02/2007.19 c GARBAGE COLLECT
2000.02/2007.19 c #Conflicts: 1235000 | #Constraints: 23169
2000.02/2007.19 c #Conflicts: 1236000 | #Constraints: 24169
2000.02/2007.19 c #Conflicts: 1237000 | #Constraints: 25169
2000.02/2007.19 c #Conflicts: 1238000 | #Constraints: 26169
2000.02/2007.19 c #Conflicts: 1239000 | #Constraints: 27169
2000.02/2007.19 c #Conflicts: 1240000 | #Constraints: 28169
2000.02/2007.19 c #Conflicts: 1241000 | #Constraints: 29169
2000.02/2007.19 c #Conflicts: 1242000 | #Constraints: 30169
2000.02/2007.19 c #Conflicts: 1243000 | #Constraints: 31169
2000.02/2007.19 c #Conflicts: 1244000 | #Constraints: 32169
2000.02/2007.19 c #Conflicts: 1245000 | #Constraints: 33169
2000.02/2007.19 c #Conflicts: 1246000 | #Constraints: 34169
2000.02/2007.19 c #Conflicts: 1247000 | #Constraints: 35169
2000.02/2007.19 c #Conflicts: 1248000 | #Constraints: 36169
2000.02/2007.19 c #Conflicts: 1249000 | #Constraints: 37169
2000.02/2007.19 c #Conflicts: 1250000 | #Constraints: 38169
2000.02/2007.19 c #Conflicts: 1251000 | #Constraints: 39169
2000.02/2007.19 c #Conflicts: 1252000 | #Constraints: 40169
2000.02/2007.19 c #Conflicts: 1253000 | #Constraints: 41169
2000.02/2007.19 c #Conflicts: 1254000 | #Constraints: 42169
2000.02/2007.19 c #Conflicts: 1255000 | #Constraints: 43169
2000.02/2007.19 c #Conflicts: 1256000 | #Constraints: 44169
2000.02/2007.19 c INPROCESSING
2000.02/2007.19 c GARBAGE COLLECT
2000.02/2007.19 c #Conflicts: 1257000 | #Constraints: 22987
2000.02/2007.19 c #Conflicts: 1258000 | #Constraints: 23987
2000.02/2007.19 c #Conflicts: 1259000 | #Constraints: 24987
2000.02/2007.19 c #Conflicts: 1260000 | #Constraints: 25987
2000.02/2007.19 c #Conflicts: 1261000 | #Constraints: 26987
2000.02/2007.19 c #Conflicts: 1262000 | #Constraints: 27987
2000.02/2007.19 c #Conflicts: 1263000 | #Constraints: 28987
2000.02/2007.19 c #Conflicts: 1264000 | #Constraints: 29987
2000.02/2007.19 c #Conflicts: 1265000 | #Constraints: 30987
2000.02/2007.19 c #Conflicts: 1266000 | #Constraints: 31987
2000.02/2007.19 c #Conflicts: 1267000 | #Constraints: 32987
2000.02/2007.19 c #Conflicts: 1268000 | #Constraints: 33987
2000.02/2007.19 c #Conflicts: 1269000 | #Constraints: 34987
2000.02/2007.19 c #Conflicts: 1270000 | #Constraints: 35987
2000.02/2007.19 c #Conflicts: 1271000 | #Constraints: 36987
2000.02/2007.19 c #Conflicts: 1272000 | #Constraints: 37987
2000.02/2007.19 c #Conflicts: 1273000 | #Constraints: 38987
2000.02/2007.19 c #Conflicts: 1274000 | #Constraints: 39987
2171.68/2179.31 c #Conflicts: 1275000 | #Constraints: 40987
2171.68/2179.31 c #Conflicts: 1276000 | #Constraints: 41987
2171.68/2179.31 c #Conflicts: 1277000 | #Constraints: 42987
2171.68/2179.31 c #Conflicts: 1278000 | #Constraints: 43987
2171.68/2179.31 c #Conflicts: 1279000 | #Constraints: 44987
2171.68/2179.31 c INPROCESSING
2171.68/2179.31 c GARBAGE COLLECT
2171.68/2179.31 c #Conflicts: 1280000 | #Constraints: 23583
2171.68/2179.31 c #Conflicts: 1281000 | #Constraints: 24583
2171.68/2179.31 c #Conflicts: 1282000 | #Constraints: 25583
2171.68/2179.31 c #Conflicts: 1283000 | #Constraints: 26583
2171.68/2179.31 c #Conflicts: 1284000 | #Constraints: 27583
2171.68/2179.31 c #Conflicts: 1285000 | #Constraints: 28583
2171.68/2179.31 c #Conflicts: 1286000 | #Constraints: 29583
2171.68/2179.31 c #Conflicts: 1287000 | #Constraints: 30583
2171.68/2179.31 c #Conflicts: 1288000 | #Constraints: 31583
2171.68/2179.31 c #Conflicts: 1289000 | #Constraints: 32583
2171.68/2179.31 c #Conflicts: 1290000 | #Constraints: 33583
2171.68/2179.31 c #Conflicts: 1291000 | #Constraints: 34583
2171.68/2179.31 c #Conflicts: 1292000 | #Constraints: 35583
2171.68/2179.31 c #Conflicts: 1293000 | #Constraints: 36583
2171.68/2179.31 c #Conflicts: 1294000 | #Constraints: 37583
2171.68/2179.31 c #Conflicts: 1295000 | #Constraints: 38583
2171.68/2179.31 c #Conflicts: 1296000 | #Constraints: 39583
2171.68/2179.31 c #Conflicts: 1297000 | #Constraints: 40583
2171.68/2179.31 c #Conflicts: 1298000 | #Constraints: 41583
2171.68/2179.31 c #Conflicts: 1299000 | #Constraints: 42583
2171.68/2179.31 c #Conflicts: 1300000 | #Constraints: 43583
2171.68/2179.31 c #Conflicts: 1301000 | #Constraints: 44583
2171.68/2179.31 c #Conflicts: 1302000 | #Constraints: 45583
2171.68/2179.31 c INPROCESSING
2171.68/2179.31 c GARBAGE COLLECT
2171.68/2179.31 c #Conflicts: 1303000 | #Constraints: 23981
2171.68/2179.31 c #Conflicts: 1304000 | #Constraints: 24981
2171.68/2179.31 c #Conflicts: 1305000 | #Constraints: 25981
2171.68/2179.31 c #Conflicts: 1306000 | #Constraints: 26981
2171.68/2179.31 c #Conflicts: 1307000 | #Constraints: 27981
2171.68/2179.31 c #Conflicts: 1308000 | #Constraints: 28981
2171.68/2179.31 c #Conflicts: 1309000 | #Constraints: 29981
2171.68/2179.31 c #Conflicts: 1310000 | #Constraints: 30981
2171.68/2179.31 c #Conflicts: 1311000 | #Constraints: 31981
2171.68/2179.31 c #Conflicts: 1312000 | #Constraints: 32981
2171.68/2179.31 c #Conflicts: 1313000 | #Constraints: 33981
2171.68/2179.31 c #Conflicts: 1314000 | #Constraints: 34981
2171.68/2179.31 c #Conflicts: 1315000 | #Constraints: 35981
2171.68/2179.31 c #Conflicts: 1316000 | #Constraints: 36981
2171.68/2179.31 c #Conflicts: 1317000 | #Constraints: 37981
2171.68/2179.31 c #Conflicts: 1318000 | #Constraints: 38981
2171.68/2179.31 c #Conflicts: 1319000 | #Constraints: 39981
2171.68/2179.31 c #Conflicts: 1320000 | #Constraints: 40981
2171.68/2179.31 c #Conflicts: 1321000 | #Constraints: 41981
2171.68/2179.31 c #Conflicts: 1322000 | #Constraints: 42981
2171.68/2179.31 c #Conflicts: 1323000 | #Constraints: 43981
2171.68/2179.31 c #Conflicts: 1324000 | #Constraints: 44981
2171.68/2179.31 c #Conflicts: 1325000 | #Constraints: 45981
2171.68/2179.31 c INPROCESSING
2171.68/2179.31 c GARBAGE COLLECT
2171.68/2179.31 c #Conflicts: 1326000 | #Constraints: 24199
2171.68/2179.31 c #Conflicts: 1327000 | #Constraints: 25199
2171.68/2179.31 c #Conflicts: 1328000 | #Constraints: 26199
2171.68/2179.31 c #Conflicts: 1329000 | #Constraints: 27199
2171.68/2179.31 c #Conflicts: 1330000 | #Constraints: 28199
2171.68/2179.31 c #Conflicts: 1331000 | #Constraints: 29199
2171.68/2179.31 c #Conflicts: 1332000 | #Constraints: 30199
2171.68/2179.31 c #Conflicts: 1333000 | #Constraints: 31199
2171.68/2179.31 c #Conflicts: 1334000 | #Constraints: 32199
2171.68/2179.31 c #Conflicts: 1335000 | #Constraints: 33199
2171.68/2179.31 c #Conflicts: 1336000 | #Constraints: 34199
2171.68/2179.31 c #Conflicts: 1337000 | #Constraints: 35199
2171.68/2179.31 c #Conflicts: 1338000 | #Constraints: 36199
2171.68/2179.31 c #Conflicts: 1339000 | #Constraints: 37199
2171.68/2179.31 c #Conflicts: 1340000 | #Constraints: 38199
2171.68/2179.31 c #Conflicts: 1341000 | #Constraints: 39199
2171.68/2179.31 c #Conflicts: 1342000 | #Constraints: 40199
2171.68/2179.31 c #Conflicts: 1343000 | #Constraints: 41199
2171.68/2179.31 c #Conflicts: 1344000 | #Constraints: 42199
2171.68/2179.31 c #Conflicts: 1345000 | #Constraints: 43199
2171.68/2179.31 c #Conflicts: 1346000 | #Constraints: 44199
2171.68/2179.31 c #Conflicts: 1347000 | #Constraints: 45199
2171.68/2179.31 c #Conflicts: 1348000 | #Constraints: 46199
2171.68/2179.31 c INPROCESSING
2171.68/2179.31 c GARBAGE COLLECT
2171.68/2179.31 c #Conflicts: 1349000 | #Constraints: 24184
2171.68/2179.31 c #Conflicts: 1350000 | #Constraints: 25184
2352.22/2360.44 c #Conflicts: 1351000 | #Constraints: 26184
2352.22/2360.44 c #Conflicts: 1352000 | #Constraints: 27184
2352.22/2360.44 c #Conflicts: 1353000 | #Constraints: 28184
2352.22/2360.44 c #Conflicts: 1354000 | #Constraints: 29184
2352.22/2360.44 c #Conflicts: 1355000 | #Constraints: 30184
2352.22/2360.44 c #Conflicts: 1356000 | #Constraints: 31184
2352.22/2360.44 c #Conflicts: 1357000 | #Constraints: 32184
2352.22/2360.44 c #Conflicts: 1358000 | #Constraints: 33184
2352.22/2360.44 c #Conflicts: 1359000 | #Constraints: 34184
2352.22/2360.44 c #Conflicts: 1360000 | #Constraints: 35184
2352.22/2360.44 c #Conflicts: 1361000 | #Constraints: 36184
2352.22/2360.44 c #Conflicts: 1362000 | #Constraints: 37184
2352.22/2360.44 c #Conflicts: 1363000 | #Constraints: 38184
2352.22/2360.44 c #Conflicts: 1364000 | #Constraints: 39184
2352.22/2360.44 c #Conflicts: 1365000 | #Constraints: 40184
2352.22/2360.44 c #Conflicts: 1366000 | #Constraints: 41184
2352.22/2360.44 c #Conflicts: 1367000 | #Constraints: 42184
2352.22/2360.44 c #Conflicts: 1368000 | #Constraints: 43184
2352.22/2360.44 c #Conflicts: 1369000 | #Constraints: 44184
2352.22/2360.44 c #Conflicts: 1370000 | #Constraints: 45184
2352.22/2360.44 c #Conflicts: 1371000 | #Constraints: 46184
2352.22/2360.44 c INPROCESSING
2352.22/2360.44 c GARBAGE COLLECT
2352.22/2360.44 c #Conflicts: 1372000 | #Constraints: 23994
2352.22/2360.44 c #Conflicts: 1373000 | #Constraints: 24994
2352.22/2360.44 c #Conflicts: 1374000 | #Constraints: 25994
2352.22/2360.44 c #Conflicts: 1375000 | #Constraints: 26994
2352.22/2360.44 c #Conflicts: 1376000 | #Constraints: 27994
2352.22/2360.44 c #Conflicts: 1377000 | #Constraints: 28994
2352.22/2360.44 c #Conflicts: 1378000 | #Constraints: 29994
2352.22/2360.44 c #Conflicts: 1379000 | #Constraints: 30994
2352.22/2360.44 c #Conflicts: 1380000 | #Constraints: 31994
2352.22/2360.44 c #Conflicts: 1381000 | #Constraints: 32994
2352.22/2360.44 c #Conflicts: 1382000 | #Constraints: 33994
2352.22/2360.44 c #Conflicts: 1383000 | #Constraints: 34994
2352.22/2360.44 c #Conflicts: 1384000 | #Constraints: 35994
2352.22/2360.44 c #Conflicts: 1385000 | #Constraints: 36994
2352.22/2360.44 c #Conflicts: 1386000 | #Constraints: 37994
2352.22/2360.44 c #Conflicts: 1387000 | #Constraints: 38994
2352.22/2360.44 c #Conflicts: 1388000 | #Constraints: 39994
2352.22/2360.44 c #Conflicts: 1389000 | #Constraints: 40994
2352.22/2360.44 c #Conflicts: 1390000 | #Constraints: 41994
2352.22/2360.44 c #Conflicts: 1391000 | #Constraints: 42994
2352.22/2360.44 c #Conflicts: 1392000 | #Constraints: 43994
2352.22/2360.44 c #Conflicts: 1393000 | #Constraints: 44994
2352.22/2360.44 c #Conflicts: 1394000 | #Constraints: 45994
2352.22/2360.44 c #Conflicts: 1395000 | #Constraints: 46994
2352.22/2360.44 c INPROCESSING
2352.22/2360.44 c GARBAGE COLLECT
2352.22/2360.44 c #Conflicts: 1396000 | #Constraints: 24604
2352.22/2360.44 c #Conflicts: 1397000 | #Constraints: 25604
2352.22/2360.44 c #Conflicts: 1398000 | #Constraints: 26604
2352.22/2360.44 c #Conflicts: 1399000 | #Constraints: 27604
2352.22/2360.44 c #Conflicts: 1400000 | #Constraints: 28604
2352.22/2360.44 c #Conflicts: 1401000 | #Constraints: 29604
2352.22/2360.44 c #Conflicts: 1402000 | #Constraints: 30604
2352.22/2360.44 c #Conflicts: 1403000 | #Constraints: 31604
2352.22/2360.44 c #Conflicts: 1404000 | #Constraints: 32604
2352.22/2360.44 c #Conflicts: 1405000 | #Constraints: 33604
2352.22/2360.44 c #Conflicts: 1406000 | #Constraints: 34604
2352.22/2360.44 c #Conflicts: 1407000 | #Constraints: 35604
2352.22/2360.44 c #Conflicts: 1408000 | #Constraints: 36604
2352.22/2360.44 c #Conflicts: 1409000 | #Constraints: 37604
2352.22/2360.44 c #Conflicts: 1410000 | #Constraints: 38604
2352.22/2360.44 c #Conflicts: 1411000 | #Constraints: 39604
2352.22/2360.44 c #Conflicts: 1412000 | #Constraints: 40604
2352.22/2360.44 c #Conflicts: 1413000 | #Constraints: 41604
2352.22/2360.44 c #Conflicts: 1414000 | #Constraints: 42604
2352.22/2360.44 c #Conflicts: 1415000 | #Constraints: 43604
2352.22/2360.44 c #Conflicts: 1416000 | #Constraints: 44604
2352.22/2360.44 c #Conflicts: 1417000 | #Constraints: 45604
2352.22/2360.44 c #Conflicts: 1418000 | #Constraints: 46604
2352.22/2360.44 c #Conflicts: 1419000 | #Constraints: 47604
2352.22/2360.44 c INPROCESSING
2352.22/2360.44 c GARBAGE COLLECT
2352.22/2360.44 c #Conflicts: 1420000 | #Constraints: 24982
2352.22/2360.44 c #Conflicts: 1421000 | #Constraints: 25982
2352.22/2360.44 c #Conflicts: 1422000 | #Constraints: 26982
2352.22/2360.44 c #Conflicts: 1423000 | #Constraints: 27982
2352.22/2360.44 c #Conflicts: 1424000 | #Constraints: 28982
2352.22/2360.44 c #Conflicts: 1425000 | #Constraints: 29982
2352.22/2360.44 c #Conflicts: 1426000 | #Constraints: 30982
2352.22/2360.44 c #Conflicts: 1427000 | #Constraints: 31982
2522.20/2530.96 c #Conflicts: 1428000 | #Constraints: 32982
2522.20/2530.96 c #Conflicts: 1429000 | #Constraints: 33982
2522.20/2530.96 c #Conflicts: 1430000 | #Constraints: 34982
2522.20/2530.96 c #Conflicts: 1431000 | #Constraints: 35982
2522.20/2530.96 c #Conflicts: 1432000 | #Constraints: 36982
2522.20/2530.96 c #Conflicts: 1433000 | #Constraints: 37982
2522.20/2530.96 c #Conflicts: 1434000 | #Constraints: 38982
2522.20/2530.96 c #Conflicts: 1435000 | #Constraints: 39982
2522.20/2530.96 c #Conflicts: 1436000 | #Constraints: 40982
2522.20/2530.96 c #Conflicts: 1437000 | #Constraints: 41982
2522.20/2530.96 c #Conflicts: 1438000 | #Constraints: 42982
2522.20/2530.96 c #Conflicts: 1439000 | #Constraints: 43982
2522.20/2530.96 c #Conflicts: 1440000 | #Constraints: 44982
2522.20/2530.96 c #Conflicts: 1441000 | #Constraints: 45982
2522.20/2530.96 c #Conflicts: 1442000 | #Constraints: 46982
2522.20/2530.96 c #Conflicts: 1443000 | #Constraints: 47982
2522.20/2530.96 c INPROCESSING
2522.20/2530.96 c GARBAGE COLLECT
2522.20/2530.96 c #Conflicts: 1444000 | #Constraints: 25169
2522.20/2530.96 c #Conflicts: 1445000 | #Constraints: 26169
2522.20/2530.96 c #Conflicts: 1446000 | #Constraints: 27169
2522.20/2530.96 c #Conflicts: 1447000 | #Constraints: 28169
2522.20/2530.96 c #Conflicts: 1448000 | #Constraints: 29169
2522.20/2530.96 c #Conflicts: 1449000 | #Constraints: 30169
2522.20/2530.96 c #Conflicts: 1450000 | #Constraints: 31169
2522.20/2530.96 c #Conflicts: 1451000 | #Constraints: 32169
2522.20/2530.96 c #Conflicts: 1452000 | #Constraints: 33169
2522.20/2530.96 c #Conflicts: 1453000 | #Constraints: 34169
2522.20/2530.96 c #Conflicts: 1454000 | #Constraints: 35169
2522.20/2530.96 c #Conflicts: 1455000 | #Constraints: 36169
2522.20/2530.96 c #Conflicts: 1456000 | #Constraints: 37169
2522.20/2530.96 c #Conflicts: 1457000 | #Constraints: 38169
2522.20/2530.96 c #Conflicts: 1458000 | #Constraints: 39169
2522.20/2530.96 c #Conflicts: 1459000 | #Constraints: 40169
2522.20/2530.96 c #Conflicts: 1460000 | #Constraints: 41169
2522.20/2530.96 c #Conflicts: 1461000 | #Constraints: 42169
2522.20/2530.96 c #Conflicts: 1462000 | #Constraints: 43169
2522.20/2530.96 c #Conflicts: 1463000 | #Constraints: 44169
2522.20/2530.96 c #Conflicts: 1464000 | #Constraints: 45169
2522.20/2530.96 c #Conflicts: 1465000 | #Constraints: 46169
2522.20/2530.96 c #Conflicts: 1466000 | #Constraints: 47169
2522.20/2530.96 c #Conflicts: 1467000 | #Constraints: 48169
2522.20/2530.96 c INPROCESSING
2522.20/2530.96 c GARBAGE COLLECT
2522.20/2530.96 c #Conflicts: 1468000 | #Constraints: 25160
2522.20/2530.96 c #Conflicts: 1469000 | #Constraints: 26160
2522.20/2530.96 c #Conflicts: 1470000 | #Constraints: 27160
2522.20/2530.96 c #Conflicts: 1471000 | #Constraints: 28160
2522.20/2530.96 c #Conflicts: 1472000 | #Constraints: 29160
2522.20/2530.96 c #Conflicts: 1473000 | #Constraints: 30160
2522.20/2530.96 c #Conflicts: 1474000 | #Constraints: 31160
2522.20/2530.96 c #Conflicts: 1475000 | #Constraints: 32160
2522.20/2530.96 c #Conflicts: 1476000 | #Constraints: 33160
2522.20/2530.96 c #Conflicts: 1477000 | #Constraints: 34160
2522.20/2530.96 c #Conflicts: 1478000 | #Constraints: 35160
2522.20/2530.96 c #Conflicts: 1479000 | #Constraints: 36160
2522.20/2530.96 c #Conflicts: 1480000 | #Constraints: 37160
2522.20/2530.96 c #Conflicts: 1481000 | #Constraints: 38160
2522.20/2530.96 c #Conflicts: 1482000 | #Constraints: 39160
2522.20/2530.96 c #Conflicts: 1483000 | #Constraints: 40160
2522.20/2530.96 c #Conflicts: 1484000 | #Constraints: 41160
2522.20/2530.96 c #Conflicts: 1485000 | #Constraints: 42160
2522.20/2530.96 c #Conflicts: 1486000 | #Constraints: 43160
2522.20/2530.96 c #Conflicts: 1487000 | #Constraints: 44160
2522.20/2530.96 c #Conflicts: 1488000 | #Constraints: 45160
2522.20/2530.96 c #Conflicts: 1489000 | #Constraints: 46160
2522.20/2530.96 c #Conflicts: 1490000 | #Constraints: 47160
2522.20/2530.96 c #Conflicts: 1491000 | #Constraints: 48160
2522.20/2530.96 c INPROCESSING
2522.20/2530.96 c GARBAGE COLLECT
2522.20/2530.96 c #Conflicts: 1492000 | #Constraints: 24945
2522.20/2530.96 c #Conflicts: 1493000 | #Constraints: 25945
2522.20/2530.96 c #Conflicts: 1494000 | #Constraints: 26945
2522.20/2530.96 c #Conflicts: 1495000 | #Constraints: 27945
2522.20/2530.96 c #Conflicts: 1496000 | #Constraints: 28945
2522.20/2530.96 c #Conflicts: 1497000 | #Constraints: 29945
2522.20/2530.96 c #Conflicts: 1498000 | #Constraints: 30945
2522.20/2530.96 c #Conflicts: 1499000 | #Constraints: 31945
2522.20/2530.96 c #Conflicts: 1500000 | #Constraints: 32945
2522.20/2530.96 c #Conflicts: 1501000 | #Constraints: 33945
2522.20/2530.96 c #Conflicts: 1502000 | #Constraints: 34945
2522.20/2530.96 c #Conflicts: 1503000 | #Constraints: 35945
2522.20/2530.96 c #Conflicts: 1504000 | #Constraints: 36945
2761.86/2771.34 c #Conflicts: 1505000 | #Constraints: 37945
2761.86/2771.34 c #Conflicts: 1506000 | #Constraints: 38945
2761.86/2771.34 c #Conflicts: 1507000 | #Constraints: 39945
2761.86/2771.34 c #Conflicts: 1508000 | #Constraints: 40945
2761.86/2771.34 c #Conflicts: 1509000 | #Constraints: 41945
2761.86/2771.34 c #Conflicts: 1510000 | #Constraints: 42945
2761.86/2771.34 c #Conflicts: 1511000 | #Constraints: 43945
2761.86/2771.34 c #Conflicts: 1512000 | #Constraints: 44945
2761.86/2771.34 c #Conflicts: 1513000 | #Constraints: 45945
2761.86/2771.34 c #Conflicts: 1514000 | #Constraints: 46945
2761.86/2771.34 c #Conflicts: 1515000 | #Constraints: 47945
2761.86/2771.34 c #Conflicts: 1516000 | #Constraints: 48945
2761.86/2771.34 c INPROCESSING
2761.86/2771.34 c GARBAGE COLLECT
2761.86/2771.34 c #Conflicts: 1517000 | #Constraints: 25549
2761.86/2771.34 c #Conflicts: 1518000 | #Constraints: 26549
2761.86/2771.34 c #Conflicts: 1519000 | #Constraints: 27549
2761.86/2771.34 c #Conflicts: 1520000 | #Constraints: 28549
2761.86/2771.34 c #Conflicts: 1521000 | #Constraints: 29549
2761.86/2771.34 c #Conflicts: 1522000 | #Constraints: 30549
2761.86/2771.34 c #Conflicts: 1523000 | #Constraints: 31549
2761.86/2771.34 c #Conflicts: 1524000 | #Constraints: 32549
2761.86/2771.34 c #Conflicts: 1525000 | #Constraints: 33549
2761.86/2771.34 c #Conflicts: 1526000 | #Constraints: 34549
2761.86/2771.34 c #Conflicts: 1527000 | #Constraints: 35549
2761.86/2771.34 c #Conflicts: 1528000 | #Constraints: 36549
2761.86/2771.34 c #Conflicts: 1529000 | #Constraints: 37549
2761.86/2771.34 c #Conflicts: 1530000 | #Constraints: 38549
2761.86/2771.34 c #Conflicts: 1531000 | #Constraints: 39549
2761.86/2771.34 c #Conflicts: 1532000 | #Constraints: 40549
2761.86/2771.34 c #Conflicts: 1533000 | #Constraints: 41549
2761.86/2771.34 c #Conflicts: 1534000 | #Constraints: 42549
2761.86/2771.34 c #Conflicts: 1535000 | #Constraints: 43549
2761.86/2771.34 c #Conflicts: 1536000 | #Constraints: 44549
2761.86/2771.34 c #Conflicts: 1537000 | #Constraints: 45549
2761.86/2771.34 c #Conflicts: 1538000 | #Constraints: 46549
2761.86/2771.34 c #Conflicts: 1539000 | #Constraints: 47549
2761.86/2771.34 c #Conflicts: 1540000 | #Constraints: 48549
2761.86/2771.34 c #Conflicts: 1541000 | #Constraints: 49549
2761.86/2771.34 c INPROCESSING
2761.86/2771.34 c GARBAGE COLLECT
2761.86/2771.34 c #Conflicts: 1542000 | #Constraints: 25977
2761.86/2771.34 c #Conflicts: 1543000 | #Constraints: 26977
2761.86/2771.34 c #Conflicts: 1544000 | #Constraints: 27977
2761.86/2771.34 c #Conflicts: 1545000 | #Constraints: 28977
2761.86/2771.34 c #Conflicts: 1546000 | #Constraints: 29977
2761.86/2771.34 c #Conflicts: 1547000 | #Constraints: 30977
2761.86/2771.34 c #Conflicts: 1548000 | #Constraints: 31977
2761.86/2771.34 c #Conflicts: 1549000 | #Constraints: 32977
2761.86/2771.34 c #Conflicts: 1550000 | #Constraints: 33977
2761.86/2771.34 c #Conflicts: 1551000 | #Constraints: 34977
2761.86/2771.34 c #Conflicts: 1552000 | #Constraints: 35977
2761.86/2771.34 c #Conflicts: 1553000 | #Constraints: 36977
2761.86/2771.34 c #Conflicts: 1554000 | #Constraints: 37977
2761.86/2771.34 c #Conflicts: 1555000 | #Constraints: 38977
2761.86/2771.34 c #Conflicts: 1556000 | #Constraints: 39977
2761.86/2771.34 c #Conflicts: 1557000 | #Constraints: 40977
2761.86/2771.34 c #Conflicts: 1558000 | #Constraints: 41977
2761.86/2771.34 c #Conflicts: 1559000 | #Constraints: 42977
2761.86/2771.34 c #Conflicts: 1560000 | #Constraints: 43977
2761.86/2771.34 c #Conflicts: 1561000 | #Constraints: 44977
2761.86/2771.34 c #Conflicts: 1562000 | #Constraints: 45977
2761.86/2771.34 c #Conflicts: 1563000 | #Constraints: 46977
2761.86/2771.34 c #Conflicts: 1564000 | #Constraints: 47977
2761.86/2771.34 c #Conflicts: 1565000 | #Constraints: 48977
2761.86/2771.34 c #Conflicts: 1566000 | #Constraints: 49977
2761.86/2771.34 c INPROCESSING
2761.86/2771.34 c GARBAGE COLLECT
2761.86/2771.34 c #Conflicts: 1567000 | #Constraints: 26179
2761.86/2771.34 c #Conflicts: 1568000 | #Constraints: 27179
2761.86/2771.34 c #Conflicts: 1569000 | #Constraints: 28179
2761.86/2771.34 c #Conflicts: 1570000 | #Constraints: 29179
2761.86/2771.34 c #Conflicts: 1571000 | #Constraints: 30179
2761.86/2771.34 c #Conflicts: 1572000 | #Constraints: 31179
2761.86/2771.34 c #Conflicts: 1573000 | #Constraints: 32179
2761.86/2771.34 c #Conflicts: 1574000 | #Constraints: 33179
2761.86/2771.34 c #Conflicts: 1575000 | #Constraints: 34179
2761.86/2771.34 c #Conflicts: 1576000 | #Constraints: 35179
2761.86/2771.34 c #Conflicts: 1577000 | #Constraints: 36179
2761.86/2771.34 c #Conflicts: 1578000 | #Constraints: 37179
2761.86/2771.34 c #Conflicts: 1579000 | #Constraints: 38179
2761.86/2771.34 c #Conflicts: 1580000 | #Constraints: 39179
2761.86/2771.34 c #Conflicts: 1581000 | #Constraints: 40179
3034.93/3045.28 c #Conflicts: 1582000 | #Constraints: 41179
3034.93/3045.28 c #Conflicts: 1583000 | #Constraints: 42179
3034.93/3045.28 c #Conflicts: 1584000 | #Constraints: 43179
3034.93/3045.28 c #Conflicts: 1585000 | #Constraints: 44179
3034.93/3045.28 c #Conflicts: 1586000 | #Constraints: 45179
3034.93/3045.28 c #Conflicts: 1587000 | #Constraints: 46179
3034.93/3045.28 c #Conflicts: 1588000 | #Constraints: 47179
3034.93/3045.28 c #Conflicts: 1589000 | #Constraints: 48179
3034.93/3045.28 c #Conflicts: 1590000 | #Constraints: 49179
3034.93/3045.28 c #Conflicts: 1591000 | #Constraints: 50179
3034.93/3045.28 c INPROCESSING
3034.93/3045.28 c GARBAGE COLLECT
3034.93/3045.28 c #Conflicts: 1592000 | #Constraints: 26169
3034.93/3045.28 c #Conflicts: 1593000 | #Constraints: 27169
3034.93/3045.28 c #Conflicts: 1594000 | #Constraints: 28169
3034.93/3045.28 c #Conflicts: 1595000 | #Constraints: 29169
3034.93/3045.28 c #Conflicts: 1596000 | #Constraints: 30169
3034.93/3045.28 c #Conflicts: 1597000 | #Constraints: 31169
3034.93/3045.28 c #Conflicts: 1598000 | #Constraints: 32169
3034.93/3045.28 c #Conflicts: 1599000 | #Constraints: 33169
3034.93/3045.28 c #Conflicts: 1600000 | #Constraints: 34169
3034.93/3045.28 c #Conflicts: 1601000 | #Constraints: 35169
3034.93/3045.28 c #Conflicts: 1602000 | #Constraints: 36169
3034.93/3045.28 c #Conflicts: 1603000 | #Constraints: 37169
3034.93/3045.28 c #Conflicts: 1604000 | #Constraints: 38169
3034.93/3045.28 c #Conflicts: 1605000 | #Constraints: 39169
3034.93/3045.28 c #Conflicts: 1606000 | #Constraints: 40169
3034.93/3045.28 c #Conflicts: 1607000 | #Constraints: 41169
3034.93/3045.28 c #Conflicts: 1608000 | #Constraints: 42169
3034.93/3045.28 c #Conflicts: 1609000 | #Constraints: 43169
3034.93/3045.28 c #Conflicts: 1610000 | #Constraints: 44169
3034.93/3045.28 c #Conflicts: 1611000 | #Constraints: 45169
3034.93/3045.28 c #Conflicts: 1612000 | #Constraints: 46169
3034.93/3045.28 c #Conflicts: 1613000 | #Constraints: 47169
3034.93/3045.28 c #Conflicts: 1614000 | #Constraints: 48169
3034.93/3045.28 c #Conflicts: 1615000 | #Constraints: 49169
3034.93/3045.28 c #Conflicts: 1616000 | #Constraints: 50169
3034.93/3045.28 c INPROCESSING
3034.93/3045.28 c GARBAGE COLLECT
3034.93/3045.28 c #Conflicts: 1617000 | #Constraints: 25962
3034.93/3045.28 c #Conflicts: 1618000 | #Constraints: 26962
3034.93/3045.28 c #Conflicts: 1619000 | #Constraints: 27962
3034.93/3045.28 c #Conflicts: 1620000 | #Constraints: 28962
3034.93/3045.28 c #Conflicts: 1621000 | #Constraints: 29962
3034.93/3045.28 c #Conflicts: 1622000 | #Constraints: 30962
3034.93/3045.28 c #Conflicts: 1623000 | #Constraints: 31962
3034.93/3045.28 c #Conflicts: 1624000 | #Constraints: 32962
3034.93/3045.28 c #Conflicts: 1625000 | #Constraints: 33962
3034.93/3045.28 c #Conflicts: 1626000 | #Constraints: 34962
3034.93/3045.28 c #Conflicts: 1627000 | #Constraints: 35962
3034.93/3045.28 c #Conflicts: 1628000 | #Constraints: 36962
3034.93/3045.28 c #Conflicts: 1629000 | #Constraints: 37962
3034.93/3045.28 c #Conflicts: 1630000 | #Constraints: 38962
3034.93/3045.28 c #Conflicts: 1631000 | #Constraints: 39962
3034.93/3045.28 c #Conflicts: 1632000 | #Constraints: 40962
3034.93/3045.28 c #Conflicts: 1633000 | #Constraints: 41962
3034.93/3045.28 c #Conflicts: 1634000 | #Constraints: 42962
3034.93/3045.28 c #Conflicts: 1635000 | #Constraints: 43962
3034.93/3045.28 c #Conflicts: 1636000 | #Constraints: 44962
3034.93/3045.28 c #Conflicts: 1637000 | #Constraints: 45962
3034.93/3045.28 c #Conflicts: 1638000 | #Constraints: 46962
3034.93/3045.28 c #Conflicts: 1639000 | #Constraints: 47962
3034.93/3045.28 c #Conflicts: 1640000 | #Constraints: 48962
3034.93/3045.28 c #Conflicts: 1641000 | #Constraints: 49962
3034.93/3045.28 c #Conflicts: 1642000 | #Constraints: 50962
3034.93/3045.28 c INPROCESSING
3034.93/3045.28 c GARBAGE COLLECT
3034.93/3045.28 c #Conflicts: 1643000 | #Constraints: 26556
3034.93/3045.28 c #Conflicts: 1644000 | #Constraints: 27556
3034.93/3045.28 c #Conflicts: 1645000 | #Constraints: 28556
3034.93/3045.28 c #Conflicts: 1646000 | #Constraints: 29556
3034.93/3045.28 c #Conflicts: 1647000 | #Constraints: 30556
3034.93/3045.28 c #Conflicts: 1648000 | #Constraints: 31556
3034.93/3045.28 c #Conflicts: 1649000 | #Constraints: 32556
3034.93/3045.28 c #Conflicts: 1650000 | #Constraints: 33556
3034.93/3045.28 c #Conflicts: 1651000 | #Constraints: 34556
3034.93/3045.28 c #Conflicts: 1652000 | #Constraints: 35556
3034.93/3045.28 c #Conflicts: 1653000 | #Constraints: 36556
3034.93/3045.28 c #Conflicts: 1654000 | #Constraints: 37556
3034.93/3045.28 c #Conflicts: 1655000 | #Constraints: 38556
3034.93/3045.28 c #Conflicts: 1656000 | #Constraints: 39556
3034.93/3045.28 c #Conflicts: 1657000 | #Constraints: 40556
3034.93/3045.28 c #Conflicts: 1658000 | #Constraints: 41556
3248.18/3259.18 c #Conflicts: 1659000 | #Constraints: 42556
3248.18/3259.18 c #Conflicts: 1660000 | #Constraints: 43556
3248.18/3259.18 c #Conflicts: 1661000 | #Constraints: 44556
3248.18/3259.18 c #Conflicts: 1662000 | #Constraints: 45556
3248.18/3259.18 c #Conflicts: 1663000 | #Constraints: 46556
3248.18/3259.18 c #Conflicts: 1664000 | #Constraints: 47556
3248.18/3259.18 c #Conflicts: 1665000 | #Constraints: 48556
3248.18/3259.18 c #Conflicts: 1666000 | #Constraints: 49556
3248.18/3259.18 c #Conflicts: 1667000 | #Constraints: 50556
3248.18/3259.18 c #Conflicts: 1668000 | #Constraints: 51556
3248.18/3259.18 c INPROCESSING
3248.18/3259.18 c GARBAGE COLLECT
3248.18/3259.18 c #Conflicts: 1669000 | #Constraints: 26948
3248.18/3259.18 c #Conflicts: 1670000 | #Constraints: 27948
3248.18/3259.18 c #Conflicts: 1671000 | #Constraints: 28948
3248.18/3259.18 c #Conflicts: 1672000 | #Constraints: 29948
3248.18/3259.18 c #Conflicts: 1673000 | #Constraints: 30948
3248.18/3259.18 c #Conflicts: 1674000 | #Constraints: 31948
3248.18/3259.18 c #Conflicts: 1675000 | #Constraints: 32948
3248.18/3259.18 c #Conflicts: 1676000 | #Constraints: 33948
3248.18/3259.18 c #Conflicts: 1677000 | #Constraints: 34948
3248.18/3259.18 c #Conflicts: 1678000 | #Constraints: 35948
3248.18/3259.18 c #Conflicts: 1679000 | #Constraints: 36948
3248.18/3259.18 c #Conflicts: 1680000 | #Constraints: 37948
3248.18/3259.18 c #Conflicts: 1681000 | #Constraints: 38948
3248.18/3259.18 c #Conflicts: 1682000 | #Constraints: 39948
3248.18/3259.18 c #Conflicts: 1683000 | #Constraints: 40948
3248.18/3259.18 c #Conflicts: 1684000 | #Constraints: 41948
3248.18/3259.18 c #Conflicts: 1685000 | #Constraints: 42948
3248.18/3259.18 c #Conflicts: 1686000 | #Constraints: 43948
3248.18/3259.18 c #Conflicts: 1687000 | #Constraints: 44948
3248.18/3259.18 c #Conflicts: 1688000 | #Constraints: 45948
3248.18/3259.18 c #Conflicts: 1689000 | #Constraints: 46948
3248.18/3259.18 c #Conflicts: 1690000 | #Constraints: 47948
3248.18/3259.18 c #Conflicts: 1691000 | #Constraints: 48948
3248.18/3259.18 c #Conflicts: 1692000 | #Constraints: 49948
3248.18/3259.18 c #Conflicts: 1693000 | #Constraints: 50948
3248.18/3259.18 c #Conflicts: 1694000 | #Constraints: 51948
3248.18/3259.18 c INPROCESSING
3248.18/3259.18 c GARBAGE COLLECT
3248.18/3259.18 c #Conflicts: 1695000 | #Constraints: 27148
3248.18/3259.18 c #Conflicts: 1696000 | #Constraints: 28148
3248.18/3259.18 c #Conflicts: 1697000 | #Constraints: 29148
3248.18/3259.18 c #Conflicts: 1698000 | #Constraints: 30148
3248.18/3259.18 c #Conflicts: 1699000 | #Constraints: 31148
3248.18/3259.18 c #Conflicts: 1700000 | #Constraints: 32148
3248.18/3259.18 c #Conflicts: 1701000 | #Constraints: 33148
3248.18/3259.18 c #Conflicts: 1702000 | #Constraints: 34148
3248.18/3259.18 c #Conflicts: 1703000 | #Constraints: 35148
3248.18/3259.18 c #Conflicts: 1704000 | #Constraints: 36148
3248.18/3259.18 c #Conflicts: 1705000 | #Constraints: 37148
3248.18/3259.18 c #Conflicts: 1706000 | #Constraints: 38148
3248.18/3259.18 c #Conflicts: 1707000 | #Constraints: 39148
3248.18/3259.18 c #Conflicts: 1708000 | #Constraints: 40148
3248.18/3259.18 c #Conflicts: 1709000 | #Constraints: 41148
3248.18/3259.18 c #Conflicts: 1710000 | #Constraints: 42148
3248.18/3259.18 c #Conflicts: 1711000 | #Constraints: 43148
3248.18/3259.18 c #Conflicts: 1712000 | #Constraints: 44148
3248.18/3259.18 c #Conflicts: 1713000 | #Constraints: 45148
3248.18/3259.18 c #Conflicts: 1714000 | #Constraints: 46148
3248.18/3259.18 c #Conflicts: 1715000 | #Constraints: 47148
3248.18/3259.18 c #Conflicts: 1716000 | #Constraints: 48148
3248.18/3259.18 c #Conflicts: 1717000 | #Constraints: 49148
3248.18/3259.18 c #Conflicts: 1718000 | #Constraints: 50148
3248.18/3259.18 c #Conflicts: 1719000 | #Constraints: 51148
3248.18/3259.18 c #Conflicts: 1720000 | #Constraints: 52148
3248.18/3259.18 c INPROCESSING
3248.18/3259.18 c GARBAGE COLLECT
3248.18/3259.18 c #Conflicts: 1721000 | #Constraints: 27184
3248.18/3259.18 c #Conflicts: 1722000 | #Constraints: 28184
3248.18/3259.18 c #Conflicts: 1723000 | #Constraints: 29184
3248.18/3259.18 c #Conflicts: 1724000 | #Constraints: 30184
3248.18/3259.18 c #Conflicts: 1725000 | #Constraints: 31184
3248.18/3259.18 c #Conflicts: 1726000 | #Constraints: 32184
3248.18/3259.18 c #Conflicts: 1727000 | #Constraints: 33184
3248.18/3259.18 c #Conflicts: 1728000 | #Constraints: 34184
3248.18/3259.18 c #Conflicts: 1729000 | #Constraints: 35184
3248.18/3259.18 c #Conflicts: 1730000 | #Constraints: 36184
3248.18/3259.18 c #Conflicts: 1731000 | #Constraints: 37184
3248.18/3259.18 c #Conflicts: 1732000 | #Constraints: 38184
3248.18/3259.18 c #Conflicts: 1733000 | #Constraints: 39184
3248.18/3259.18 c #Conflicts: 1734000 | #Constraints: 40184
3248.18/3259.18 c #Conflicts: 1735000 | #Constraints: 41184
3481.75/3493.41 c #Conflicts: 1736000 | #Constraints: 42184
3481.75/3493.41 c #Conflicts: 1737000 | #Constraints: 43184
3481.75/3493.41 c #Conflicts: 1738000 | #Constraints: 44184
3481.75/3493.41 c #Conflicts: 1739000 | #Constraints: 45184
3481.75/3493.41 c #Conflicts: 1740000 | #Constraints: 46184
3481.75/3493.41 c #Conflicts: 1741000 | #Constraints: 47184
3481.75/3493.41 c #Conflicts: 1742000 | #Constraints: 48184
3481.75/3493.41 c #Conflicts: 1743000 | #Constraints: 49184
3481.75/3493.41 c #Conflicts: 1744000 | #Constraints: 50184
3481.75/3493.41 c #Conflicts: 1745000 | #Constraints: 51184
3481.75/3493.41 c #Conflicts: 1746000 | #Constraints: 52184
3481.75/3493.41 c INPROCESSING
3481.75/3493.41 c GARBAGE COLLECT
3481.75/3493.41 c #Conflicts: 1747000 | #Constraints: 26986
3481.75/3493.41 c #Conflicts: 1748000 | #Constraints: 27986
3481.75/3493.41 c #Conflicts: 1749000 | #Constraints: 28986
3481.75/3493.41 c #Conflicts: 1750000 | #Constraints: 29986
3481.75/3493.41 c #Conflicts: 1751000 | #Constraints: 30986
3481.75/3493.41 c #Conflicts: 1752000 | #Constraints: 31986
3481.75/3493.41 c #Conflicts: 1753000 | #Constraints: 32986
3481.75/3493.41 c #Conflicts: 1754000 | #Constraints: 33986
3481.75/3493.41 c #Conflicts: 1755000 | #Constraints: 34986
3481.75/3493.41 c #Conflicts: 1756000 | #Constraints: 35986
3481.75/3493.41 c #Conflicts: 1757000 | #Constraints: 36986
3481.75/3493.41 c #Conflicts: 1758000 | #Constraints: 37986
3481.75/3493.41 c #Conflicts: 1759000 | #Constraints: 38986
3481.75/3493.41 c #Conflicts: 1760000 | #Constraints: 39986
3481.75/3493.41 c #Conflicts: 1761000 | #Constraints: 40986
3481.75/3493.41 c #Conflicts: 1762000 | #Constraints: 41986
3481.75/3493.41 c #Conflicts: 1763000 | #Constraints: 42986
3481.75/3493.41 c #Conflicts: 1764000 | #Constraints: 43986
3481.75/3493.41 c #Conflicts: 1765000 | #Constraints: 44986
3481.75/3493.41 c #Conflicts: 1766000 | #Constraints: 45986
3481.75/3493.41 c #Conflicts: 1767000 | #Constraints: 46986
3481.75/3493.41 c #Conflicts: 1768000 | #Constraints: 47986
3481.75/3493.41 c #Conflicts: 1769000 | #Constraints: 48986
3481.75/3493.41 c #Conflicts: 1770000 | #Constraints: 49986
3481.75/3493.41 c #Conflicts: 1771000 | #Constraints: 50986
3481.75/3493.41 c #Conflicts: 1772000 | #Constraints: 51986
3481.75/3493.41 c #Conflicts: 1773000 | #Constraints: 52986
3481.75/3493.41 c INPROCESSING
3481.75/3493.41 c GARBAGE COLLECT
3481.75/3493.41 c #Conflicts: 1774000 | #Constraints: 27546
3481.75/3493.41 c #Conflicts: 1775000 | #Constraints: 28546
3481.75/3493.41 c #Conflicts: 1776000 | #Constraints: 29546
3481.75/3493.41 c #Conflicts: 1777000 | #Constraints: 30546
3481.75/3493.41 c #Conflicts: 1778000 | #Constraints: 31546
3481.75/3493.41 c #Conflicts: 1779000 | #Constraints: 32546
3481.75/3493.41 c #Conflicts: 1780000 | #Constraints: 33546
3481.75/3493.41 c #Conflicts: 1781000 | #Constraints: 34546
3481.75/3493.41 c #Conflicts: 1782000 | #Constraints: 35546
3481.75/3493.41 c #Conflicts: 1783000 | #Constraints: 36546
3481.75/3493.41 c #Conflicts: 1784000 | #Constraints: 37546
3481.75/3493.41 c #Conflicts: 1785000 | #Constraints: 38546
3481.75/3493.41 c #Conflicts: 1786000 | #Constraints: 39546
3481.75/3493.41 c #Conflicts: 1787000 | #Constraints: 40546
3481.75/3493.41 c #Conflicts: 1788000 | #Constraints: 41546
3481.75/3493.41 c #Conflicts: 1789000 | #Constraints: 42546
3481.75/3493.41 c #Conflicts: 1790000 | #Constraints: 43546
3481.75/3493.41 c #Conflicts: 1791000 | #Constraints: 44546
3481.75/3493.41 c #Conflicts: 1792000 | #Constraints: 45546
3481.75/3493.41 c #Conflicts: 1793000 | #Constraints: 46546
3481.75/3493.41 c #Conflicts: 1794000 | #Constraints: 47546
3481.75/3493.41 c #Conflicts: 1795000 | #Constraints: 48546
3481.75/3493.41 c #Conflicts: 1796000 | #Constraints: 49546
3481.75/3493.41 c #Conflicts: 1797000 | #Constraints: 50546
3481.75/3493.41 c #Conflicts: 1798000 | #Constraints: 51546
3481.75/3493.41 c #Conflicts: 1799000 | #Constraints: 52546
3481.75/3493.41 c #Conflicts: 1800000 | #Constraints: 53546
3481.75/3493.41 c INPROCESSING
3481.75/3493.41 c GARBAGE COLLECT
3481.75/3493.41 c #Conflicts: 1801000 | #Constraints: 27930
3481.75/3493.41 c #Conflicts: 1802000 | #Constraints: 28930
3481.75/3493.41 c #Conflicts: 1803000 | #Constraints: 29930
3481.75/3493.41 c #Conflicts: 1804000 | #Constraints: 30930
3481.75/3493.41 c #Conflicts: 1805000 | #Constraints: 31930
3481.75/3493.41 c #Conflicts: 1806000 | #Constraints: 32930
3481.75/3493.41 c #Conflicts: 1807000 | #Constraints: 33930
3481.75/3493.41 c #Conflicts: 1808000 | #Constraints: 34930
3481.75/3493.41 c #Conflicts: 1809000 | #Constraints: 35930
3481.75/3493.41 c #Conflicts: 1810000 | #Constraints: 36930
3481.75/3493.41 c #Conflicts: 1811000 | #Constraints: 37930
3481.75/3493.41 c #Conflicts: 1812000 | #Constraints: 38930
3600.10/3612.11 c #Conflicts: 1813000 | #Constraints: 39930
3600.10/3612.11 c #Conflicts: 1814000 | #Constraints: 40930
3600.10/3612.11 c #Conflicts: 1815000 | #Constraints: 41930
3600.10/3612.11 c #Conflicts: 1816000 | #Constraints: 42930
3600.10/3612.11 c #Conflicts: 1817000 | #Constraints: 43930
3600.10/3612.11 c #Conflicts: 1818000 | #Constraints: 44930
3600.10/3612.11 c #Conflicts: 1819000 | #Constraints: 45930
3600.10/3612.11 c #Conflicts: 1820000 | #Constraints: 46930
3600.10/3612.11 c #Conflicts: 1821000 | #Constraints: 47930
3600.10/3612.11 c #Conflicts: 1822000 | #Constraints: 48930
3600.10/3612.11 c #Conflicts: 1823000 | #Constraints: 49930
3600.10/3612.11 c #Conflicts: 1824000 | #Constraints: 50930
3600.10/3612.11 c #Conflicts: 1825000 | #Constraints: 51930
3600.10/3612.11 c #Conflicts: 1826000 | #Constraints: 52930
3600.10/3612.11 c #Conflicts: 1827000 | #Constraints: 53930
3600.10/3612.11 c INPROCESSING
3600.10/3612.11 c GARBAGE COLLECT
3600.10/3612.11 c #Conflicts: 1828000 | #Constraints: 28138
3600.10/3612.11 c #Conflicts: 1829000 | #Constraints: 29138
3600.10/3612.11 c #Conflicts: 1830000 | #Constraints: 30138
3600.10/3612.11 c #Conflicts: 1831000 | #Constraints: 31138
3600.10/3612.11 c #Conflicts: 1832000 | #Constraints: 32138
3600.10/3612.11 c #Conflicts: 1833000 | #Constraints: 33138
3600.10/3612.11 c #Conflicts: 1834000 | #Constraints: 34138
3600.10/3612.11 c #Conflicts: 1835000 | #Constraints: 35138
3600.10/3612.11 c #Conflicts: 1836000 | #Constraints: 36138
3600.10/3612.11 c #Conflicts: 1837000 | #Constraints: 37138
3600.10/3612.11 c #Conflicts: 1838000 | #Constraints: 38138
3600.10/3612.11 c #Conflicts: 1839000 | #Constraints: 39138
3600.10/3612.11 c #Conflicts: 1840000 | #Constraints: 40138
3600.10/3612.11 c #Conflicts: 1841000 | #Constraints: 41138
3600.10/3612.11 c #Conflicts: 1842000 | #Constraints: 42138
3600.10/3612.11 c #Conflicts: 1843000 | #Constraints: 43138
3600.10/3612.11 c #Conflicts: 1844000 | #Constraints: 44138
3600.10/3612.11 c #Conflicts: 1845000 | #Constraints: 45138
3600.10/3612.11 c #Conflicts: 1846000 | #Constraints: 46138
3600.10/3612.11 c #Conflicts: 1847000 | #Constraints: 47138
3600.10/3612.11 c Program interrupted by user.
3600.10/3612.11 c cpu time 3587.04 s
3600.10/3612.11 c deterministic time 388363684177 3.88e+11
3600.10/3612.11 c optimization time 59.7219 s
3600.10/3612.11 c total solve time 3228.99 s
3600.10/3612.11 c core-guided solve time 0 s
3600.10/3612.11 c propagation time 2615.15 s
3600.10/3612.11 c conflict analysis time 643.15 s
3600.10/3612.11 c propagations 205565865
3600.10/3612.11 c resolve steps 23941525
3600.10/3612.11 c decisions 5255329
3600.10/3612.11 c conflicts 1847411
3600.10/3612.11 c restarts 3580
3600.10/3612.11 c inprocessing phases 126
3600.10/3612.11 c input clauses 30
3600.10/3612.11 c input cardinalities 30
3600.10/3612.11 c input general constraints 192
3600.10/3612.11 c input average constraint length 28.98
3600.10/3612.11 c input average constraint degree 228.58
3600.10/3612.11 c learned clauses 378008
3600.10/3612.11 c learned cardinalities 7376
3600.10/3612.11 c learned general constraints 1462026
3600.10/3612.11 c learned average constraint length 131.08
3600.10/3612.11 c learned average constraint degree 6739310.82
3600.10/3612.11 c watched constraints 1158427
3600.10/3612.11 c counting constraints 303791
3600.10/3612.11 c gcd simplifications 210951
3600.10/3612.11 c detected cardinalities 954
3600.10/3612.11 c weakened non-implied lits 74244425
3600.10/3612.11 c weakened non-implying lits 244705
3600.10/3612.11 c original variables 774
3600.10/3612.11 c clausal propagations 4084334
3600.10/3612.11 c cardinality propagations 5943007
3600.10/3612.11 c watched propagations 13027044
3600.10/3612.11 c counting propagations 180948808
3600.10/3612.11 c watch lookups 81457724105
3600.10/3612.11 c watch backjump lookups 75155211968
3600.10/3612.11 c watch checks 175746542770
3600.10/3612.11 c propagation checks 54315839377
3600.10/3612.11 c constraint additions 1264876573
3600.10/3612.11 c trail pops 212668189
3600.10/3612.11 c formula constraints 252
3600.10/3612.11 c learned constraints 1847410
3600.10/3612.11 c bound constraints 0
3600.10/3612.11 c core-guided constraints 0
3600.10/3612.11 c encountered formula constraints 10342756
3600.10/3612.11 c encountered learned constraints 15446180
3600.10/3612.11 c encountered bound constraints 0
3600.10/3612.11 c encountered core-guided constraints 0
3600.10/3612.11 c LP total time 0 s
3600.10/3612.11 c LP solve time 0 s
3600.10/3612.11 c LP constraints added 0
3600.10/3612.11 c LP constraints removed 0
3600.10/3612.11 c LP pivots internal 0
3600.10/3612.11 c LP pivots root 0
3600.10/3612.11 c LP calls 0
3600.10/3612.11 c LP optimalities 0
3600.10/3612.11 c LP no pivot count 0
3600.10/3612.11 c LP infeasibilities 0
3600.10/3612.11 c LP valid Farkas constraints 0
3600.10/3612.11 c LP learned Farkas constraints 0
3600.10/3612.11 c LP basis resets 0
3600.10/3612.11 c LP cycling count 0
3600.10/3612.11 c LP singular count 0
3600.10/3612.11 c LP no primal count 0
3600.10/3612.11 c LP no farkas count 0
3600.10/3612.11 c LP other issue count 0
3600.10/3612.11 c LP Gomory cuts 0
3600.10/3612.11 c LP learned cuts 0
3600.10/3612.11 c LP deleted cuts 0
3600.10/3612.11 c LP encountered Gomory constraints 0
3600.10/3612.11 c LP encountered Farkas constraints 0
3600.10/3612.11 c LP encountered learned Farkas constraints 0
3600.10/3612.11 c CG auxiliary variables introduced 0
3600.10/3612.11 c CG solutions found 0
3600.10/3612.11 c CG cores constructed 0
3600.10/3612.11 c CG core cardinality constraints returned 0
3600.10/3612.11 c CG unit cores 0
3600.10/3612.11 c CG single cores 0
3600.10/3612.11 c CG blocks removed during cardinality reduction 0
3600.10/3612.11 c CG first core best 0
3600.10/3612.11 c CG decision core best 0
3600.10/3612.11 c CG core reduction tie 0
3600.10/3612.11 c CG core degree average 0.00
3600.10/3612.11 c CG core slack average 0.00
3600.10/3612.11 c CG exhausted 0
3600.10/3612.11 c CG exhaust time 0 s
3600.10/3612.11 c CG trimmed 0
3600.10/3612.11 c CG trim time 0 s
3600.10/3612.11 c CG minimized 0
3600.10/3612.11 c CG minimize time 0 s
3600.10/3612.11 c CG am1 prop time 0 s
3600.10/3612.11 c CG # am1s reformulated 0
3600.10/3612.11 c CG lower bound derived from am1s 0
3600.10/3612.11 c CG # clausal cores 0
3600.10/3612.11 c CG # cardinality cores 0
3600.10/3612.11 c CG # pb cores 0
3600.10/3612.11 c CG # pb reforms 0
3600.10/3612.11 c CG # cores discarded because of pb reform 0
3600.10/3612.11 d LOWERBOUND 0
3600.10/3612.11 d NCORES 0
3600.10/3612.11 d NPBCORES 0
3600.10/3612.11 d NPBREFORM 0
3600.10/3612.11 d NTRIMMED 0
3600.10/3612.11 d NEXHAUSTED 0
3600.10/3612.11 d NAM1S 0
3600.10/3612.11 d AM1LB 0
3600.10/3612.11 c [Papilo Statistics]
3600.10/3612.11 c prepro time 0.00663626s
3600.10/3612.11 c # tsx applied 6
3600.10/3612.11 c # tsx conflicts 0
3600.10/3612.11 c # bound changes 3
3600.10/3612.11 c # side changes 0
3600.10/3612.11 c # coef changes 0
3600.10/3612.11 c # rounds 2
3600.10/3612.11 c # deted vars 3
3600.10/3612.11 c # deted constrs 772
3600.10/3612.11 c # consecutive rounds of only bound changes 0
3600.10/3612.11 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: 63837 MiB (61334 MiB free)
memory of node 1: 64465 MiB (62431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529059-1752259773/watcher-4529059-1752259773 -o /tmp/evaluation-result-4529059-1752259773/solver-4529059-1752259773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116316 --watchdog 3760 mixed-bag HOME/instance-4529059-1752259773.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=117009, runsolver pid=117006
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.08 4.09 4.09 5/251 117010
/proc/meminfo: memFree=126735200/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=99072 memory=26868 CPUtime=0.09 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 3325 0 0 0 8 1 0 0 20 0 1 0 141656096 101449728 6717 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 24768 6717 4032 2834 0 6973 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99072 KiB
Current children cumulated memory: 26868 KiB
[startup+0.213218 s]*
/proc/loadavg: 4.08 4.09 4.09 5/251 117010
/proc/meminfo: memFree=126729152/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=103260 memory=29812 CPUtime=0.21 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 4004 0 0 0 19 2 0 0 20 0 1 0 141656096 105738240 7453 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 25815 7453 4096 2834 0 8020 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 103260 KiB
Current children cumulated memory: 29812 KiB
[startup+0.313165 s]*
/proc/loadavg: 4.08 4.09 4.09 5/251 117010
/proc/meminfo: memFree=126729152/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=107216 memory=33140 CPUtime=0.3 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 4880 0 0 0 28 2 0 0 20 0 1 0 141656096 109789184 8285 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 26804 8285 4096 2834 0 9009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107216 KiB
Current children cumulated memory: 33140 KiB
[startup+0.700358 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117010
/proc/meminfo: memFree=126729152/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=116776 memory=42488 CPUtime=0.67 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 7237 0 0 0 65 2 0 0 20 0 1 0 141656096 119578624 10622 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 29194 10622 4288 2834 0 11399 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 116776 KiB
Current children cumulated memory: 42488 KiB
[startup+1.50037 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117010
/proc/meminfo: memFree=126704100/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=156352 memory=81144 CPUtime=1.48 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 16924 0 0 0 143 5 0 0 20 0 1 0 141656096 160104448 20286 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 39088 20286 4288 2834 0 21293 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156352 KiB
Current children cumulated memory: 81144 KiB
[startup+3.11319 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 117010
/proc/meminfo: memFree=126594024/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=162092 memory=86776 CPUtime=3.08 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 18322 0 0 0 303 5 0 0 20 0 1 0 141656096 165982208 21694 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 40523 21694 4288 2834 0 22728 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 162092 KiB
Current children cumulated memory: 86776 KiB
[startup+6.30034 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 117055
/proc/meminfo: memFree=126756888/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=175480 memory=100088 CPUtime=6.25 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 21639 0 0 0 619 6 0 0 20 0 1 0 141656096 179691520 25022 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 43870 25022 4288 2834 0 26075 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 175480 KiB
Current children cumulated memory: 100088 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 117055
/proc/meminfo: memFree=126729928/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=177792 memory=102168 CPUtime=12.61 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 22366 0 0 0 1255 6 0 0 20 0 1 0 141656096 182059008 25542 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 44448 25542 4320 2834 0 26653 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 177792 KiB
Current children cumulated memory: 102168 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117055
/proc/meminfo: memFree=126700776/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=183148 memory=107232 CPUtime=25.33 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 23860 0 0 0 2527 6 0 0 20 0 1 0 141656096 187543552 26808 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 45787 26808 4320 2834 0 27992 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 183148 KiB
Current children cumulated memory: 107232 KiB
[startup+51.1128 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 117056
/proc/meminfo: memFree=126592720/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=194496 memory=118752 CPUtime=50.8 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 26750 0 0 0 5073 7 0 0 20 0 1 0 141656096 199163904 29688 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 48624 29688 4320 2834 0 30829 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 194496 KiB
Current children cumulated memory: 118752 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 117058
/proc/meminfo: memFree=126550924/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=209244 memory=134336 CPUtime=101.7 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 30900 0 0 0 10162 8 0 0 20 0 1 0 141656096 214265856 33584 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 52311 33584 4320 2834 0 34516 0
Current children cumulated CPU time: 101.7 s
Current children cumulated vsize: 209244 KiB
Current children cumulated memory: 134336 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/251 117061
/proc/meminfo: memFree=126481824/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=215028 memory=140480 CPUtime=161.36 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 33658 0 0 0 16128 8 0 0 20 0 1 0 141656096 220188672 35120 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 53757 35120 4320 2834 0 35962 0
Current children cumulated CPU time: 161.36 s
Current children cumulated vsize: 215028 KiB
Current children cumulated memory: 140480 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/251 117063
/proc/meminfo: memFree=126445796/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=228528 memory=153992 CPUtime=221.01 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 37630 0 0 0 22092 9 0 0 20 0 1 0 141656096 234012672 38498 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 57132 38498 4320 2834 0 39337 0
Current children cumulated CPU time: 221.01 s
Current children cumulated vsize: 228528 KiB
Current children cumulated memory: 153992 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 117065
/proc/meminfo: memFree=126417816/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=242184 memory=166536 CPUtime=280.67 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 40771 0 0 0 28057 10 0 0 20 0 1 0 141656096 247996416 41634 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 60546 41634 4320 2834 0 42751 0
Current children cumulated CPU time: 280.67 s
Current children cumulated vsize: 242184 KiB
Current children cumulated memory: 166536 KiB
[startup+342.3 s]
/proc/loadavg: 4.65 4.26 4.14 4/247 117254
/proc/meminfo: memFree=126488952/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=213364 memory=147244 CPUtime=340.41 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 42210 0 0 0 33979 62 0 0 20 0 1 0 141656096 218484736 36811 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 53341 36811 4384 2834 0 35546 0
Current children cumulated CPU time: 340.41 s
Current children cumulated vsize: 213364 KiB
Current children cumulated memory: 147244 KiB
[startup+402.3 s]
/proc/loadavg: 4.83 4.37 4.19 5/252 117473
/proc/meminfo: memFree=125340132/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=220544 memory=157984 CPUtime=400.2 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 42803 0 0 0 39910 110 0 0 20 0 1 0 141656096 225837056 39496 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 55136 39496 4384 2834 0 37341 0
Current children cumulated CPU time: 400.2 s
Current children cumulated vsize: 220544 KiB
Current children cumulated memory: 157984 KiB
[startup+462.3 s]
/proc/loadavg: 4.48 4.36 4.20 5/252 117478
/proc/meminfo: memFree=115328976/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=232220 memory=164128 CPUtime=460.01 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 43319 0 0 0 45868 133 0 0 20 0 1 0 141656096 237793280 41032 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 58055 41032 4384 2834 0 40260 0
################
# More data... #
################
Current children cumulated memory: 186824 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/251 117652
/proc/meminfo: memFree=121853432/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=2912.41 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 290124 1117 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 2912.41 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/251 117658
/proc/meminfo: memFree=121854692/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=2972.22 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 296091 1131 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 2972.22 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/251 117660
/proc/meminfo: memFree=121815496/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3032.03 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 302054 1149 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3032.03 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/251 117662
/proc/meminfo: memFree=121744244/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3091.85 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 308016 1169 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3091.85 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.12 5/250 117664
/proc/meminfo: memFree=121718320/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3151.67 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 313979 1188 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3151.67 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.75 4.29 4.18 5/250 117666
/proc/meminfo: memFree=121719076/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3211.48 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 319945 1203 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3211.48 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.28 4.19 5/250 117669
/proc/meminfo: memFree=121720880/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3271.3 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 325912 1218 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3271.3 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.23 4.17 5/250 117670
/proc/meminfo: memFree=121608964/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3331.11 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 331873 1238 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/250 117672
/proc/meminfo: memFree=121598440/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3390.93 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 337837 1256 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3390.93 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/250 117674
/proc/meminfo: memFree=121587580/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3450.75 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 343807 1268 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/249 117678
/proc/meminfo: memFree=121545020/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3510.57 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 349773 1284 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/251 117686
/proc/meminfo: memFree=121489732/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3570.38 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 355738 1300 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3570.38 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.07 4.14 4.15 5/251 117733
/proc/meminfo: memFree=120710072/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3600.1 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 358704 1306 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 117009 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.04 s, system=13.0714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.07 4.14 4.15 5/251 117733
/proc/meminfo: memFree=120710072/131382120 swapFree=33010416/33010684
[pid=117009] ppid=117006 vsize=251188 memory=186824 CPUtime=3600.1 cores=0,2
/proc/117009/stat : 117009 (mixed-bag) R 117006 117009 116306 0 -1 4194304 44201 0 0 0 358704 1306 0 0 20 0 1 0 141656096 257216512 46706 18446744073709551615 4235264 15840557 140734137834640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 50860032 140734137837978 140734137838055 140734137838055 140734137843659 0
/proc/117009/statm: 62797 46706 4384 2834 0 45002 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 251188 KiB
Current children cumulated memory: 186824 KiB
Child status: 0
Real time (s): 3612.12
CPU time (s): 3600.11
CPU user time (s): 3587.04
CPU system time (s): 13.0714
CPU usage (%): 99.6677
Max. virtual memory (cumulated for all children) (KiB): 251188
Max. memory (cumulated for all children) (KiB): 186824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.04
system time used= 13.0714
maximum resident set size= 187720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44237
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= 135
involuntary context switches= 8186
# summary of solver processes directly reported to runsolver:
# pid: 117009
# total CPU time (s): 3600.11
# total CPU user time (s): 3587.04
# total CPU system time (s): 13.0714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6291 second user time and 31.4358 second system time
The end
Begin job on nodeC002 at 2025-07-11 20:49:33
IDJOB=4529059
IDBENCH=148776
IDSOLVER=3386
FILE ID=nodeC002/4529059-1752259773
RUNJOBID= nodeC002-1752256148-116316
SLURM_JOB_ID= 9682593
Free space on /tmp= 431212 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx30.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529059-1752259773/watcher-4529059-1752259773 -o /tmp/evaluation-result-4529059-1752259773/solver-4529059-1752259773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116316 --watchdog 3760 mixed-bag HOME/instance-4529059-1752259773.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=406582732
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.240
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3557.772
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.880
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.893
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.583
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126736980 kB
MemAvailable: 129378304 kB
Buffers: 2128 kB
Cached: 3440484 kB
SwapCached: 28 kB
Active: 977440 kB
Inactive: 3082680 kB
Active(anon): 629036 kB
Inactive(anon): 6404 kB
Active(file): 348404 kB
Inactive(file): 3076276 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47444 kB
Writeback: 0 kB
AnonPages: 619580 kB
Mapped: 141396 kB
Shmem: 17932 kB
KReclaimable: 112544 kB
Slab: 201240 kB
SReclaimable: 112544 kB
SUnreclaim: 88696 kB
KernelStack: 4048 kB
PageTables: 4540 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1056248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431172 MiB
End job on nodeC002 at 2025-07-11 21:49:45