0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c [STEP] solving with SCIP
298.94/300.09 c [STEP] preprocessing done, loading into solver
298.94/300.09 c [STEP] solving
298.94/300.09 c #variables 772 #constraints 252
322.19/323.39 c #Conflicts: 1000 | #Constraints: 1251
322.19/323.39 c #Conflicts: 2000 | #Constraints: 2251
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 3000 | #Constraints: 2255
322.19/323.39 c #Conflicts: 4000 | #Constraints: 3255
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 5000 | #Constraints: 2665
322.19/323.39 c #Conflicts: 6000 | #Constraints: 3665
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 7000 | #Constraints: 2668
322.19/323.39 c #Conflicts: 8000 | #Constraints: 3668
322.19/323.39 c #Conflicts: 9000 | #Constraints: 4668
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 10000 | #Constraints: 3371
322.19/323.39 c #Conflicts: 11000 | #Constraints: 4371
322.19/323.39 c #Conflicts: 12000 | #Constraints: 5371
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 13000 | #Constraints: 3820
322.19/323.39 c #Conflicts: 14000 | #Constraints: 4820
322.19/323.39 c #Conflicts: 15000 | #Constraints: 5820
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 16000 | #Constraints: 4047
322.19/323.39 c #Conflicts: 17000 | #Constraints: 5047
322.19/323.39 c #Conflicts: 18000 | #Constraints: 6047
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 19000 | #Constraints: 4064
322.19/323.39 c #Conflicts: 20000 | #Constraints: 5064
322.19/323.39 c #Conflicts: 21000 | #Constraints: 6064
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 22000 | #Constraints: 3863
322.19/323.39 c #Conflicts: 23000 | #Constraints: 4863
322.19/323.39 c #Conflicts: 24000 | #Constraints: 5863
322.19/323.39 c #Conflicts: 25000 | #Constraints: 6863
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 26000 | #Constraints: 4471
322.19/323.39 c #Conflicts: 27000 | #Constraints: 5471
322.19/323.39 c #Conflicts: 28000 | #Constraints: 6471
322.19/323.39 c #Conflicts: 29000 | #Constraints: 7471
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 30000 | #Constraints: 4871
322.19/323.39 c #Conflicts: 31000 | #Constraints: 5871
322.19/323.39 c #Conflicts: 32000 | #Constraints: 6871
322.19/323.39 c #Conflicts: 33000 | #Constraints: 7871
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 34000 | #Constraints: 5074
322.19/323.39 c #Conflicts: 35000 | #Constraints: 6074
322.19/323.39 c #Conflicts: 36000 | #Constraints: 7074
322.19/323.39 c #Conflicts: 37000 | #Constraints: 8074
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 38000 | #Constraints: 5079
322.19/323.39 c #Conflicts: 39000 | #Constraints: 6079
322.19/323.39 c #Conflicts: 40000 | #Constraints: 7079
322.19/323.39 c #Conflicts: 41000 | #Constraints: 8079
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 42000 | #Constraints: 4882
322.19/323.39 c #Conflicts: 43000 | #Constraints: 5882
322.19/323.39 c #Conflicts: 44000 | #Constraints: 6882
322.19/323.39 c #Conflicts: 45000 | #Constraints: 7882
322.19/323.39 c #Conflicts: 46000 | #Constraints: 8882
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 47000 | #Constraints: 5476
322.19/323.39 c #Conflicts: 48000 | #Constraints: 6476
322.19/323.39 c #Conflicts: 49000 | #Constraints: 7476
322.19/323.39 c #Conflicts: 50000 | #Constraints: 8476
322.19/323.39 c #Conflicts: 51000 | #Constraints: 9476
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 52000 | #Constraints: 5879
322.19/323.39 c #Conflicts: 53000 | #Constraints: 6879
322.19/323.39 c #Conflicts: 54000 | #Constraints: 7879
322.19/323.39 c #Conflicts: 55000 | #Constraints: 8879
322.19/323.39 c #Conflicts: 56000 | #Constraints: 9879
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 57000 | #Constraints: 6074
322.19/323.39 c #Conflicts: 58000 | #Constraints: 7074
322.19/323.39 c #Conflicts: 59000 | #Constraints: 8074
322.19/323.39 c #Conflicts: 60000 | #Constraints: 9074
322.19/323.39 c #Conflicts: 61000 | #Constraints: 10074
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 62000 | #Constraints: 6075
322.19/323.39 c #Conflicts: 63000 | #Constraints: 7075
322.19/323.39 c #Conflicts: 64000 | #Constraints: 8075
322.19/323.39 c #Conflicts: 65000 | #Constraints: 9075
322.19/323.39 c #Conflicts: 66000 | #Constraints: 10075
322.19/323.39 c INPROCESSING
322.19/323.39 c GARBAGE COLLECT
322.19/323.39 c #Conflicts: 67000 | #Constraints: 5877
322.19/323.39 c #Conflicts: 68000 | #Constraints: 6877
357.20/358.45 c #Conflicts: 69000 | #Constraints: 7877
357.20/358.45 c #Conflicts: 70000 | #Constraints: 8877
357.20/358.45 c #Conflicts: 71000 | #Constraints: 9877
357.20/358.45 c #Conflicts: 72000 | #Constraints: 10877
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 73000 | #Constraints: 6489
357.20/358.45 c #Conflicts: 74000 | #Constraints: 7489
357.20/358.45 c #Conflicts: 75000 | #Constraints: 8489
357.20/358.45 c #Conflicts: 76000 | #Constraints: 9489
357.20/358.45 c #Conflicts: 77000 | #Constraints: 10489
357.20/358.45 c #Conflicts: 78000 | #Constraints: 11489
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 79000 | #Constraints: 6886
357.20/358.45 c #Conflicts: 80000 | #Constraints: 7886
357.20/358.45 c #Conflicts: 81000 | #Constraints: 8886
357.20/358.45 c #Conflicts: 82000 | #Constraints: 9886
357.20/358.45 c #Conflicts: 83000 | #Constraints: 10886
357.20/358.45 c #Conflicts: 84000 | #Constraints: 11886
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 85000 | #Constraints: 7077
357.20/358.45 c #Conflicts: 86000 | #Constraints: 8077
357.20/358.45 c #Conflicts: 87000 | #Constraints: 9077
357.20/358.45 c #Conflicts: 88000 | #Constraints: 10077
357.20/358.45 c #Conflicts: 89000 | #Constraints: 11077
357.20/358.45 c #Conflicts: 90000 | #Constraints: 12077
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 91000 | #Constraints: 7084
357.20/358.45 c #Conflicts: 92000 | #Constraints: 8084
357.20/358.45 c #Conflicts: 93000 | #Constraints: 9084
357.20/358.45 c #Conflicts: 94000 | #Constraints: 10084
357.20/358.45 c #Conflicts: 95000 | #Constraints: 11084
357.20/358.45 c #Conflicts: 96000 | #Constraints: 12084
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 97000 | #Constraints: 6878
357.20/358.45 c #Conflicts: 98000 | #Constraints: 7878
357.20/358.45 c #Conflicts: 99000 | #Constraints: 8878
357.20/358.45 c #Conflicts: 100000 | #Constraints: 9878
357.20/358.45 c #Conflicts: 101000 | #Constraints: 10878
357.20/358.45 c #Conflicts: 102000 | #Constraints: 11878
357.20/358.45 c #Conflicts: 103000 | #Constraints: 12878
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 104000 | #Constraints: 7483
357.20/358.45 c #Conflicts: 105000 | #Constraints: 8483
357.20/358.45 c #Conflicts: 106000 | #Constraints: 9483
357.20/358.45 c #Conflicts: 107000 | #Constraints: 10483
357.20/358.45 c #Conflicts: 108000 | #Constraints: 11483
357.20/358.45 c #Conflicts: 109000 | #Constraints: 12483
357.20/358.45 c #Conflicts: 110000 | #Constraints: 13483
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 111000 | #Constraints: 7876
357.20/358.45 c #Conflicts: 112000 | #Constraints: 8876
357.20/358.45 c #Conflicts: 113000 | #Constraints: 9876
357.20/358.45 c #Conflicts: 114000 | #Constraints: 10876
357.20/358.45 c #Conflicts: 115000 | #Constraints: 11876
357.20/358.45 c #Conflicts: 116000 | #Constraints: 12876
357.20/358.45 c #Conflicts: 117000 | #Constraints: 13876
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 118000 | #Constraints: 8083
357.20/358.45 c #Conflicts: 119000 | #Constraints: 9083
357.20/358.45 c #Conflicts: 120000 | #Constraints: 10083
357.20/358.45 c #Conflicts: 121000 | #Constraints: 11083
357.20/358.45 c #Conflicts: 122000 | #Constraints: 12083
357.20/358.45 c #Conflicts: 123000 | #Constraints: 13083
357.20/358.45 c #Conflicts: 124000 | #Constraints: 14083
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 125000 | #Constraints: 8097
357.20/358.45 c #Conflicts: 126000 | #Constraints: 9097
357.20/358.45 c #Conflicts: 127000 | #Constraints: 10097
357.20/358.45 c #Conflicts: 128000 | #Constraints: 11097
357.20/358.45 c #Conflicts: 129000 | #Constraints: 12097
357.20/358.45 c #Conflicts: 130000 | #Constraints: 13097
357.20/358.45 c #Conflicts: 131000 | #Constraints: 14097
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 132000 | #Constraints: 7887
357.20/358.45 c #Conflicts: 133000 | #Constraints: 8887
357.20/358.45 c #Conflicts: 134000 | #Constraints: 9887
357.20/358.45 c #Conflicts: 135000 | #Constraints: 10887
357.20/358.45 c #Conflicts: 136000 | #Constraints: 11887
357.20/358.45 c #Conflicts: 137000 | #Constraints: 12887
357.20/358.45 c #Conflicts: 138000 | #Constraints: 13887
357.20/358.45 c #Conflicts: 139000 | #Constraints: 14887
357.20/358.45 c INPROCESSING
357.20/358.45 c GARBAGE COLLECT
357.20/358.45 c #Conflicts: 140000 | #Constraints: 8495
422.44/423.84 c #Conflicts: 141000 | #Constraints: 9495
422.44/423.84 c #Conflicts: 142000 | #Constraints: 10495
422.44/423.84 c #Conflicts: 143000 | #Constraints: 11495
422.44/423.84 c #Conflicts: 144000 | #Constraints: 12495
422.44/423.84 c #Conflicts: 145000 | #Constraints: 13495
422.44/423.84 c #Conflicts: 146000 | #Constraints: 14495
422.44/423.84 c #Conflicts: 147000 | #Constraints: 15495
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 148000 | #Constraints: 8897
422.44/423.84 c #Conflicts: 149000 | #Constraints: 9897
422.44/423.84 c #Conflicts: 150000 | #Constraints: 10897
422.44/423.84 c #Conflicts: 151000 | #Constraints: 11897
422.44/423.84 c #Conflicts: 152000 | #Constraints: 12897
422.44/423.84 c #Conflicts: 153000 | #Constraints: 13897
422.44/423.84 c #Conflicts: 154000 | #Constraints: 14897
422.44/423.84 c #Conflicts: 155000 | #Constraints: 15897
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 156000 | #Constraints: 9091
422.44/423.84 c #Conflicts: 157000 | #Constraints: 10091
422.44/423.84 c #Conflicts: 158000 | #Constraints: 11091
422.44/423.84 c #Conflicts: 159000 | #Constraints: 12091
422.44/423.84 c #Conflicts: 160000 | #Constraints: 13091
422.44/423.84 c #Conflicts: 161000 | #Constraints: 14091
422.44/423.84 c #Conflicts: 162000 | #Constraints: 15091
422.44/423.84 c #Conflicts: 163000 | #Constraints: 16091
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 164000 | #Constraints: 9091
422.44/423.84 c #Conflicts: 165000 | #Constraints: 10091
422.44/423.84 c #Conflicts: 166000 | #Constraints: 11091
422.44/423.84 c #Conflicts: 167000 | #Constraints: 12091
422.44/423.84 c #Conflicts: 168000 | #Constraints: 13091
422.44/423.84 c #Conflicts: 169000 | #Constraints: 14091
422.44/423.84 c #Conflicts: 170000 | #Constraints: 15091
422.44/423.84 c #Conflicts: 171000 | #Constraints: 16091
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 172000 | #Constraints: 8889
422.44/423.84 c #Conflicts: 173000 | #Constraints: 9889
422.44/423.84 c #Conflicts: 174000 | #Constraints: 10889
422.44/423.84 c #Conflicts: 175000 | #Constraints: 11889
422.44/423.84 c #Conflicts: 176000 | #Constraints: 12889
422.44/423.84 c #Conflicts: 177000 | #Constraints: 13889
422.44/423.84 c #Conflicts: 178000 | #Constraints: 14889
422.44/423.84 c #Conflicts: 179000 | #Constraints: 15889
422.44/423.84 c #Conflicts: 180000 | #Constraints: 16889
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 181000 | #Constraints: 9482
422.44/423.84 c #Conflicts: 182000 | #Constraints: 10482
422.44/423.84 c #Conflicts: 183000 | #Constraints: 11482
422.44/423.84 c #Conflicts: 184000 | #Constraints: 12482
422.44/423.84 c #Conflicts: 185000 | #Constraints: 13482
422.44/423.84 c #Conflicts: 186000 | #Constraints: 14482
422.44/423.84 c #Conflicts: 187000 | #Constraints: 15482
422.44/423.84 c #Conflicts: 188000 | #Constraints: 16482
422.44/423.84 c #Conflicts: 189000 | #Constraints: 17482
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 190000 | #Constraints: 9894
422.44/423.84 c #Conflicts: 191000 | #Constraints: 10894
422.44/423.84 c #Conflicts: 192000 | #Constraints: 11894
422.44/423.84 c #Conflicts: 193000 | #Constraints: 12894
422.44/423.84 c #Conflicts: 194000 | #Constraints: 13894
422.44/423.84 c #Conflicts: 195000 | #Constraints: 14894
422.44/423.84 c #Conflicts: 196000 | #Constraints: 15894
422.44/423.84 c #Conflicts: 197000 | #Constraints: 16894
422.44/423.84 c #Conflicts: 198000 | #Constraints: 17894
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 199000 | #Constraints: 10095
422.44/423.84 c #Conflicts: 200000 | #Constraints: 11095
422.44/423.84 c #Conflicts: 201000 | #Constraints: 12095
422.44/423.84 c #Conflicts: 202000 | #Constraints: 13095
422.44/423.84 c #Conflicts: 203000 | #Constraints: 14095
422.44/423.84 c #Conflicts: 204000 | #Constraints: 15095
422.44/423.84 c #Conflicts: 205000 | #Constraints: 16095
422.44/423.84 c #Conflicts: 206000 | #Constraints: 17095
422.44/423.84 c #Conflicts: 207000 | #Constraints: 18095
422.44/423.84 c INPROCESSING
422.44/423.84 c GARBAGE COLLECT
422.44/423.84 c #Conflicts: 208000 | #Constraints: 10086
422.44/423.84 c #Conflicts: 209000 | #Constraints: 11086
422.44/423.84 c #Conflicts: 210000 | #Constraints: 12086
422.44/423.84 c #Conflicts: 211000 | #Constraints: 13086
422.44/423.84 c #Conflicts: 212000 | #Constraints: 14086
422.44/423.84 c #Conflicts: 213000 | #Constraints: 15086
493.85/495.40 c #Conflicts: 214000 | #Constraints: 16086
493.85/495.40 c #Conflicts: 215000 | #Constraints: 17086
493.85/495.40 c #Conflicts: 216000 | #Constraints: 18086
493.85/495.40 c INPROCESSING
493.85/495.40 c GARBAGE COLLECT
493.85/495.40 c #Conflicts: 217000 | #Constraints: 9887
493.85/495.40 c #Conflicts: 218000 | #Constraints: 10887
493.85/495.40 c #Conflicts: 219000 | #Constraints: 11887
493.85/495.40 c #Conflicts: 220000 | #Constraints: 12887
493.85/495.40 c #Conflicts: 221000 | #Constraints: 13887
493.85/495.40 c #Conflicts: 222000 | #Constraints: 14887
493.85/495.40 c #Conflicts: 223000 | #Constraints: 15887
493.85/495.40 c #Conflicts: 224000 | #Constraints: 16887
493.85/495.40 c #Conflicts: 225000 | #Constraints: 17887
493.85/495.40 c #Conflicts: 226000 | #Constraints: 18887
493.85/495.40 c INPROCESSING
493.85/495.40 c GARBAGE COLLECT
493.85/495.40 c #Conflicts: 227000 | #Constraints: 10490
493.85/495.40 c #Conflicts: 228000 | #Constraints: 11490
493.85/495.40 c #Conflicts: 229000 | #Constraints: 12490
493.85/495.40 c #Conflicts: 230000 | #Constraints: 13490
493.85/495.40 c #Conflicts: 231000 | #Constraints: 14490
493.85/495.40 c #Conflicts: 232000 | #Constraints: 15490
493.85/495.40 c #Conflicts: 233000 | #Constraints: 16490
493.85/495.40 c #Conflicts: 234000 | #Constraints: 17490
493.85/495.40 c #Conflicts: 235000 | #Constraints: 18490
493.85/495.40 c #Conflicts: 236000 | #Constraints: 19490
493.85/495.40 c INPROCESSING
493.85/495.40 c GARBAGE COLLECT
493.85/495.40 c #Conflicts: 237000 | #Constraints: 10900
493.85/495.40 c #Conflicts: 238000 | #Constraints: 11900
493.85/495.40 c #Conflicts: 239000 | #Constraints: 12900
493.85/495.40 c #Conflicts: 240000 | #Constraints: 13900
493.85/495.40 c #Conflicts: 241000 | #Constraints: 14900
493.85/495.40 c #Conflicts: 242000 | #Constraints: 15900
493.85/495.40 c #Conflicts: 243000 | #Constraints: 16900
493.85/495.40 c #Conflicts: 244000 | #Constraints: 17900
493.85/495.40 c #Conflicts: 245000 | #Constraints: 18900
493.85/495.40 c #Conflicts: 246000 | #Constraints: 19900
493.85/495.40 c INPROCESSING
493.85/495.40 c GARBAGE COLLECT
493.85/495.40 c #Conflicts: 247000 | #Constraints: 11116
493.85/495.40 c #Conflicts: 248000 | #Constraints: 12116
493.85/495.40 c #Conflicts: 249000 | #Constraints: 13116
493.85/495.40 c #Conflicts: 250000 | #Constraints: 14116
493.85/495.40 c #Conflicts: 251000 | #Constraints: 15116
493.85/495.40 c #Conflicts: 252000 | #Constraints: 16116
493.85/495.40 c #Conflicts: 253000 | #Constraints: 17116
493.85/495.40 c #Conflicts: 254000 | #Constraints: 18116
493.85/495.40 c #Conflicts: 255000 | #Constraints: 19116
493.85/495.40 c #Conflicts: 256000 | #Constraints: 20116
493.85/495.40 c INPROCESSING
493.85/495.40 c GARBAGE COLLECT
493.85/495.40 c #Conflicts: 257000 | #Constraints: 11100
493.85/495.40 c #Conflicts: 258000 | #Constraints: 12100
493.85/495.40 c #Conflicts: 259000 | #Constraints: 13100
493.85/495.40 c #Conflicts: 260000 | #Constraints: 14100
493.85/495.40 c #Conflicts: 261000 | #Constraints: 15100
493.85/495.40 c #Conflicts: 262000 | #Constraints: 16100
493.85/495.40 c #Conflicts: 263000 | #Constraints: 17100
493.85/495.40 c #Conflicts: 264000 | #Constraints: 18100
493.85/495.40 c #Conflicts: 265000 | #Constraints: 19100
493.85/495.40 c #Conflicts: 266000 | #Constraints: 20100
493.85/495.40 c INPROCESSING
493.85/495.40 c GARBAGE COLLECT
493.85/495.40 c #Conflicts: 267000 | #Constraints: 10916
493.85/495.40 c #Conflicts: 268000 | #Constraints: 11916
493.85/495.40 c #Conflicts: 269000 | #Constraints: 12916
493.85/495.40 c #Conflicts: 270000 | #Constraints: 13916
493.85/495.40 c #Conflicts: 271000 | #Constraints: 14916
493.85/495.40 c #Conflicts: 272000 | #Constraints: 15916
493.85/495.40 c #Conflicts: 273000 | #Constraints: 16916
493.85/495.40 c #Conflicts: 274000 | #Constraints: 17916
493.85/495.40 c #Conflicts: 275000 | #Constraints: 18916
493.85/495.40 c #Conflicts: 276000 | #Constraints: 19916
493.85/495.40 c #Conflicts: 277000 | #Constraints: 20916
493.85/495.40 c INPROCESSING
493.85/495.40 c GARBAGE COLLECT
493.85/495.40 c #Conflicts: 278000 | #Constraints: 11524
493.85/495.40 c #Conflicts: 279000 | #Constraints: 12524
493.85/495.40 c #Conflicts: 280000 | #Constraints: 13524
493.85/495.40 c #Conflicts: 281000 | #Constraints: 14524
493.85/495.40 c #Conflicts: 282000 | #Constraints: 15524
493.85/495.40 c #Conflicts: 283000 | #Constraints: 16524
493.85/495.40 c #Conflicts: 284000 | #Constraints: 17524
493.85/495.40 c #Conflicts: 285000 | #Constraints: 18524
493.85/495.40 c #Conflicts: 286000 | #Constraints: 19524
493.85/495.40 c #Conflicts: 287000 | #Constraints: 20524
493.85/495.40 c #Conflicts: 288000 | #Constraints: 21524
556.18/557.92 c INPROCESSING
556.18/557.92 c GARBAGE COLLECT
556.18/557.92 c #Conflicts: 289000 | #Constraints: 11901
556.18/557.92 c #Conflicts: 290000 | #Constraints: 12901
556.18/557.92 c #Conflicts: 291000 | #Constraints: 13901
556.18/557.92 c #Conflicts: 292000 | #Constraints: 14901
556.18/557.92 c #Conflicts: 293000 | #Constraints: 15901
556.18/557.92 c #Conflicts: 294000 | #Constraints: 16901
556.18/557.92 c #Conflicts: 295000 | #Constraints: 17901
556.18/557.92 c #Conflicts: 296000 | #Constraints: 18901
556.18/557.92 c #Conflicts: 297000 | #Constraints: 19901
556.18/557.92 c #Conflicts: 298000 | #Constraints: 20901
556.18/557.92 c #Conflicts: 299000 | #Constraints: 21901
556.18/557.92 c INPROCESSING
556.18/557.92 c GARBAGE COLLECT
556.18/557.92 c #Conflicts: 300000 | #Constraints: 12114
556.18/557.92 c #Conflicts: 301000 | #Constraints: 13114
556.18/557.92 c #Conflicts: 302000 | #Constraints: 14114
556.18/557.92 c #Conflicts: 303000 | #Constraints: 15114
556.18/557.92 c #Conflicts: 304000 | #Constraints: 16114
556.18/557.92 c #Conflicts: 305000 | #Constraints: 17114
556.18/557.92 c #Conflicts: 306000 | #Constraints: 18114
556.18/557.92 c #Conflicts: 307000 | #Constraints: 19114
556.18/557.92 c #Conflicts: 308000 | #Constraints: 20114
556.18/557.92 c #Conflicts: 309000 | #Constraints: 21114
556.18/557.92 c #Conflicts: 310000 | #Constraints: 22114
556.18/557.92 c INPROCESSING
556.18/557.92 c GARBAGE COLLECT
556.18/557.92 c #Conflicts: 311000 | #Constraints: 12125
556.18/557.92 c #Conflicts: 312000 | #Constraints: 13125
556.18/557.92 c #Conflicts: 313000 | #Constraints: 14125
556.18/557.92 c #Conflicts: 314000 | #Constraints: 15125
556.18/557.92 c #Conflicts: 315000 | #Constraints: 16125
556.18/557.92 c #Conflicts: 316000 | #Constraints: 17125
556.18/557.92 c #Conflicts: 317000 | #Constraints: 18125
556.18/557.92 c #Conflicts: 318000 | #Constraints: 19125
556.18/557.92 c #Conflicts: 319000 | #Constraints: 20125
556.18/557.92 c #Conflicts: 320000 | #Constraints: 21125
556.18/557.92 c #Conflicts: 321000 | #Constraints: 22125
556.18/557.92 c INPROCESSING
556.18/557.92 c GARBAGE COLLECT
556.18/557.92 c #Conflicts: 322000 | #Constraints: 11933
556.18/557.92 c #Conflicts: 323000 | #Constraints: 12933
556.18/557.92 c #Conflicts: 324000 | #Constraints: 13933
556.18/557.92 c #Conflicts: 325000 | #Constraints: 14933
556.18/557.92 c #Conflicts: 326000 | #Constraints: 15933
556.18/557.92 c #Conflicts: 327000 | #Constraints: 16933
556.18/557.92 c #Conflicts: 328000 | #Constraints: 17933
556.18/557.92 c #Conflicts: 329000 | #Constraints: 18933
556.18/557.92 c #Conflicts: 330000 | #Constraints: 19933
556.18/557.92 c #Conflicts: 331000 | #Constraints: 20933
556.18/557.92 c #Conflicts: 332000 | #Constraints: 21933
556.18/557.92 c #Conflicts: 333000 | #Constraints: 22933
556.18/557.92 c INPROCESSING
556.18/557.92 c GARBAGE COLLECT
556.18/557.92 c #Conflicts: 334000 | #Constraints: 12519
556.18/557.92 c #Conflicts: 335000 | #Constraints: 13519
556.18/557.92 c #Conflicts: 336000 | #Constraints: 14519
556.18/557.92 c #Conflicts: 337000 | #Constraints: 15519
556.18/557.92 c #Conflicts: 338000 | #Constraints: 16519
556.18/557.92 c #Conflicts: 339000 | #Constraints: 17519
556.18/557.92 c #Conflicts: 340000 | #Constraints: 18519
556.18/557.92 c #Conflicts: 341000 | #Constraints: 19519
556.18/557.92 c #Conflicts: 342000 | #Constraints: 20519
556.18/557.92 c #Conflicts: 343000 | #Constraints: 21519
556.18/557.92 c #Conflicts: 344000 | #Constraints: 22519
556.18/557.92 c #Conflicts: 345000 | #Constraints: 23519
556.18/557.92 c INPROCESSING
556.18/557.92 c GARBAGE COLLECT
556.18/557.92 c #Conflicts: 346000 | #Constraints: 12908
556.18/557.92 c #Conflicts: 347000 | #Constraints: 13908
556.18/557.92 c #Conflicts: 348000 | #Constraints: 14908
556.18/557.92 c #Conflicts: 349000 | #Constraints: 15908
556.18/557.92 c #Conflicts: 350000 | #Constraints: 16908
556.18/557.92 c #Conflicts: 351000 | #Constraints: 17908
556.18/557.92 c #Conflicts: 352000 | #Constraints: 18908
556.18/557.92 c #Conflicts: 353000 | #Constraints: 19908
556.18/557.92 c #Conflicts: 354000 | #Constraints: 20908
556.18/557.92 c #Conflicts: 355000 | #Constraints: 21908
556.18/557.92 c #Conflicts: 356000 | #Constraints: 22908
556.18/557.92 c #Conflicts: 357000 | #Constraints: 23908
556.18/557.92 c INPROCESSING
556.18/557.92 c GARBAGE COLLECT
556.18/557.92 c #Conflicts: 358000 | #Constraints: 13099
556.18/557.92 c #Conflicts: 359000 | #Constraints: 14099
556.18/557.92 c #Conflicts: 360000 | #Constraints: 15099
556.18/557.92 c #Conflicts: 361000 | #Constraints: 16099
556.18/557.92 c #Conflicts: 362000 | #Constraints: 17099
628.98/630.95 c #Conflicts: 363000 | #Constraints: 18099
628.98/630.95 c #Conflicts: 364000 | #Constraints: 19099
628.98/630.95 c #Conflicts: 365000 | #Constraints: 20099
628.98/630.95 c #Conflicts: 366000 | #Constraints: 21099
628.98/630.95 c #Conflicts: 367000 | #Constraints: 22099
628.98/630.95 c #Conflicts: 368000 | #Constraints: 23099
628.98/630.95 c #Conflicts: 369000 | #Constraints: 24099
628.98/630.95 c INPROCESSING
628.98/630.95 c GARBAGE COLLECT
628.98/630.95 c #Conflicts: 370000 | #Constraints: 13119
628.98/630.95 c #Conflicts: 371000 | #Constraints: 14119
628.98/630.95 c #Conflicts: 372000 | #Constraints: 15119
628.98/630.95 c #Conflicts: 373000 | #Constraints: 16119
628.98/630.95 c #Conflicts: 374000 | #Constraints: 17119
628.98/630.95 c #Conflicts: 375000 | #Constraints: 18119
628.98/630.95 c #Conflicts: 376000 | #Constraints: 19119
628.98/630.95 c #Conflicts: 377000 | #Constraints: 20119
628.98/630.95 c #Conflicts: 378000 | #Constraints: 21119
628.98/630.95 c #Conflicts: 379000 | #Constraints: 22119
628.98/630.95 c #Conflicts: 380000 | #Constraints: 23119
628.98/630.95 c #Conflicts: 381000 | #Constraints: 24119
628.98/630.95 c INPROCESSING
628.98/630.95 c GARBAGE COLLECT
628.98/630.95 c #Conflicts: 382000 | #Constraints: 12929
628.98/630.95 c #Conflicts: 383000 | #Constraints: 13929
628.98/630.95 c #Conflicts: 384000 | #Constraints: 14929
628.98/630.95 c #Conflicts: 385000 | #Constraints: 15929
628.98/630.95 c #Conflicts: 386000 | #Constraints: 16929
628.98/630.95 c #Conflicts: 387000 | #Constraints: 17929
628.98/630.95 c #Conflicts: 388000 | #Constraints: 18929
628.98/630.95 c #Conflicts: 389000 | #Constraints: 19929
628.98/630.95 c #Conflicts: 390000 | #Constraints: 20929
628.98/630.95 c #Conflicts: 391000 | #Constraints: 21929
628.98/630.95 c #Conflicts: 392000 | #Constraints: 22929
628.98/630.95 c #Conflicts: 393000 | #Constraints: 23929
628.98/630.95 c #Conflicts: 394000 | #Constraints: 24929
628.98/630.95 c INPROCESSING
628.98/630.95 c GARBAGE COLLECT
628.98/630.95 c #Conflicts: 395000 | #Constraints: 13520
628.98/630.95 c #Conflicts: 396000 | #Constraints: 14520
628.98/630.95 c #Conflicts: 397000 | #Constraints: 15520
628.98/630.95 c #Conflicts: 398000 | #Constraints: 16520
628.98/630.95 c #Conflicts: 399000 | #Constraints: 17520
628.98/630.95 c #Conflicts: 400000 | #Constraints: 18520
628.98/630.95 c #Conflicts: 401000 | #Constraints: 19520
628.98/630.95 c #Conflicts: 402000 | #Constraints: 20520
628.98/630.95 c #Conflicts: 403000 | #Constraints: 21520
628.98/630.95 c #Conflicts: 404000 | #Constraints: 22520
628.98/630.95 c #Conflicts: 405000 | #Constraints: 23520
628.98/630.95 c #Conflicts: 406000 | #Constraints: 24520
628.98/630.95 c #Conflicts: 407000 | #Constraints: 25520
628.98/630.95 c INPROCESSING
628.98/630.95 c GARBAGE COLLECT
628.98/630.95 c #Conflicts: 408000 | #Constraints: 13919
628.98/630.95 c #Conflicts: 409000 | #Constraints: 14919
628.98/630.95 c #Conflicts: 410000 | #Constraints: 15919
628.98/630.95 c #Conflicts: 411000 | #Constraints: 16919
628.98/630.95 c #Conflicts: 412000 | #Constraints: 17919
628.98/630.95 c #Conflicts: 413000 | #Constraints: 18919
628.98/630.95 c #Conflicts: 414000 | #Constraints: 19919
628.98/630.95 c #Conflicts: 415000 | #Constraints: 20919
628.98/630.95 c #Conflicts: 416000 | #Constraints: 21919
628.98/630.95 c #Conflicts: 417000 | #Constraints: 22919
628.98/630.95 c #Conflicts: 418000 | #Constraints: 23919
628.98/630.95 c #Conflicts: 419000 | #Constraints: 24919
628.98/630.95 c #Conflicts: 420000 | #Constraints: 25919
628.98/630.95 c INPROCESSING
628.98/630.95 c GARBAGE COLLECT
628.98/630.95 c #Conflicts: 421000 | #Constraints: 14122
628.98/630.95 c #Conflicts: 422000 | #Constraints: 15122
628.98/630.95 c #Conflicts: 423000 | #Constraints: 16122
628.98/630.95 c #Conflicts: 424000 | #Constraints: 17122
628.98/630.95 c #Conflicts: 425000 | #Constraints: 18122
628.98/630.95 c #Conflicts: 426000 | #Constraints: 19122
628.98/630.95 c #Conflicts: 427000 | #Constraints: 20122
628.98/630.95 c #Conflicts: 428000 | #Constraints: 21122
628.98/630.95 c #Conflicts: 429000 | #Constraints: 22122
628.98/630.95 c #Conflicts: 430000 | #Constraints: 23122
628.98/630.95 c #Conflicts: 431000 | #Constraints: 24122
628.98/630.95 c #Conflicts: 432000 | #Constraints: 25122
628.98/630.95 c #Conflicts: 433000 | #Constraints: 26122
628.98/630.95 c INPROCESSING
628.98/630.95 c GARBAGE COLLECT
628.98/630.95 c #Conflicts: 434000 | #Constraints: 14135
628.98/630.95 c #Conflicts: 435000 | #Constraints: 15135
628.98/630.95 c #Conflicts: 436000 | #Constraints: 16135
628.98/630.95 c #Conflicts: 437000 | #Constraints: 17135
701.80/703.94 c #Conflicts: 438000 | #Constraints: 18135
701.80/703.94 c #Conflicts: 439000 | #Constraints: 19135
701.80/703.94 c #Conflicts: 440000 | #Constraints: 20135
701.80/703.94 c #Conflicts: 441000 | #Constraints: 21135
701.80/703.94 c #Conflicts: 442000 | #Constraints: 22135
701.80/703.94 c #Conflicts: 443000 | #Constraints: 23135
701.80/703.94 c #Conflicts: 444000 | #Constraints: 24135
701.80/703.94 c #Conflicts: 445000 | #Constraints: 25135
701.80/703.94 c #Conflicts: 446000 | #Constraints: 26135
701.80/703.94 c INPROCESSING
701.80/703.94 c GARBAGE COLLECT
701.80/703.94 c #Conflicts: 447000 | #Constraints: 13941
701.80/703.94 c #Conflicts: 448000 | #Constraints: 14941
701.80/703.94 c #Conflicts: 449000 | #Constraints: 15941
701.80/703.94 c #Conflicts: 450000 | #Constraints: 16941
701.80/703.94 c #Conflicts: 451000 | #Constraints: 17941
701.80/703.94 c #Conflicts: 452000 | #Constraints: 18941
701.80/703.94 c #Conflicts: 453000 | #Constraints: 19941
701.80/703.94 c #Conflicts: 454000 | #Constraints: 20941
701.80/703.94 c #Conflicts: 455000 | #Constraints: 21941
701.80/703.94 c #Conflicts: 456000 | #Constraints: 22941
701.80/703.94 c #Conflicts: 457000 | #Constraints: 23941
701.80/703.94 c #Conflicts: 458000 | #Constraints: 24941
701.80/703.94 c #Conflicts: 459000 | #Constraints: 25941
701.80/703.94 c #Conflicts: 460000 | #Constraints: 26941
701.80/703.94 c INPROCESSING
701.80/703.94 c GARBAGE COLLECT
701.80/703.94 c #Conflicts: 461000 | #Constraints: 14554
701.80/703.94 c #Conflicts: 462000 | #Constraints: 15554
701.80/703.94 c #Conflicts: 463000 | #Constraints: 16554
701.80/703.94 c #Conflicts: 464000 | #Constraints: 17554
701.80/703.94 c #Conflicts: 465000 | #Constraints: 18554
701.80/703.94 c #Conflicts: 466000 | #Constraints: 19554
701.80/703.94 c #Conflicts: 467000 | #Constraints: 20554
701.80/703.94 c #Conflicts: 468000 | #Constraints: 21554
701.80/703.94 c #Conflicts: 469000 | #Constraints: 22554
701.80/703.94 c #Conflicts: 470000 | #Constraints: 23554
701.80/703.94 c #Conflicts: 471000 | #Constraints: 24554
701.80/703.94 c #Conflicts: 472000 | #Constraints: 25554
701.80/703.94 c #Conflicts: 473000 | #Constraints: 26554
701.80/703.94 c #Conflicts: 474000 | #Constraints: 27554
701.80/703.94 c INPROCESSING
701.80/703.94 c GARBAGE COLLECT
701.80/703.94 c #Conflicts: 475000 | #Constraints: 14934
701.80/703.94 c #Conflicts: 476000 | #Constraints: 15934
701.80/703.94 c #Conflicts: 477000 | #Constraints: 16934
701.80/703.94 c #Conflicts: 478000 | #Constraints: 17934
701.80/703.94 c #Conflicts: 479000 | #Constraints: 18934
701.80/703.94 c #Conflicts: 480000 | #Constraints: 19934
701.80/703.94 c #Conflicts: 481000 | #Constraints: 20934
701.80/703.94 c #Conflicts: 482000 | #Constraints: 21934
701.80/703.94 c #Conflicts: 483000 | #Constraints: 22934
701.80/703.94 c #Conflicts: 484000 | #Constraints: 23934
701.80/703.94 c #Conflicts: 485000 | #Constraints: 24934
701.80/703.94 c #Conflicts: 486000 | #Constraints: 25934
701.80/703.94 c #Conflicts: 487000 | #Constraints: 26934
701.80/703.94 c #Conflicts: 488000 | #Constraints: 27934
701.80/703.94 c INPROCESSING
701.80/703.94 c GARBAGE COLLECT
701.80/703.94 c #Conflicts: 489000 | #Constraints: 15122
701.80/703.94 c #Conflicts: 490000 | #Constraints: 16122
701.80/703.94 c #Conflicts: 491000 | #Constraints: 17122
701.80/703.94 c #Conflicts: 492000 | #Constraints: 18122
701.80/703.94 c #Conflicts: 493000 | #Constraints: 19122
701.80/703.94 c #Conflicts: 494000 | #Constraints: 20122
701.80/703.94 c #Conflicts: 495000 | #Constraints: 21122
701.80/703.94 c #Conflicts: 496000 | #Constraints: 22122
701.80/703.94 c #Conflicts: 497000 | #Constraints: 23122
701.80/703.94 c #Conflicts: 498000 | #Constraints: 24122
701.80/703.94 c #Conflicts: 499000 | #Constraints: 25122
701.80/703.94 c #Conflicts: 500000 | #Constraints: 26122
701.80/703.94 c #Conflicts: 501000 | #Constraints: 27122
701.80/703.94 c #Conflicts: 502000 | #Constraints: 28122
701.80/703.94 c INPROCESSING
701.80/703.94 c GARBAGE COLLECT
701.80/703.94 c #Conflicts: 503000 | #Constraints: 15139
701.80/703.94 c #Conflicts: 504000 | #Constraints: 16139
701.80/703.94 c #Conflicts: 505000 | #Constraints: 17139
701.80/703.94 c #Conflicts: 506000 | #Constraints: 18139
701.80/703.94 c #Conflicts: 507000 | #Constraints: 19139
701.80/703.94 c #Conflicts: 508000 | #Constraints: 20139
701.80/703.94 c #Conflicts: 509000 | #Constraints: 21139
701.80/703.94 c #Conflicts: 510000 | #Constraints: 22139
701.80/703.94 c #Conflicts: 511000 | #Constraints: 23139
701.80/703.94 c #Conflicts: 512000 | #Constraints: 24139
701.80/703.94 c #Conflicts: 513000 | #Constraints: 25139
777.31/779.61 c #Conflicts: 514000 | #Constraints: 26139
777.31/779.61 c #Conflicts: 515000 | #Constraints: 27139
777.31/779.61 c #Conflicts: 516000 | #Constraints: 28139
777.31/779.61 c INPROCESSING
777.31/779.61 c GARBAGE COLLECT
777.31/779.61 c #Conflicts: 517000 | #Constraints: 14925
777.31/779.61 c #Conflicts: 518000 | #Constraints: 15925
777.31/779.61 c #Conflicts: 519000 | #Constraints: 16925
777.31/779.61 c #Conflicts: 520000 | #Constraints: 17925
777.31/779.61 c #Conflicts: 521000 | #Constraints: 18925
777.31/779.61 c #Conflicts: 522000 | #Constraints: 19925
777.31/779.61 c #Conflicts: 523000 | #Constraints: 20925
777.31/779.61 c #Conflicts: 524000 | #Constraints: 21925
777.31/779.61 c #Conflicts: 525000 | #Constraints: 22925
777.31/779.61 c #Conflicts: 526000 | #Constraints: 23925
777.31/779.61 c #Conflicts: 527000 | #Constraints: 24925
777.31/779.61 c #Conflicts: 528000 | #Constraints: 25925
777.31/779.61 c #Conflicts: 529000 | #Constraints: 26925
777.31/779.61 c #Conflicts: 530000 | #Constraints: 27925
777.31/779.61 c #Conflicts: 531000 | #Constraints: 28925
777.31/779.61 c INPROCESSING
777.31/779.61 c GARBAGE COLLECT
777.31/779.61 c #Conflicts: 532000 | #Constraints: 15530
777.31/779.61 c #Conflicts: 533000 | #Constraints: 16530
777.31/779.61 c #Conflicts: 534000 | #Constraints: 17530
777.31/779.61 c #Conflicts: 535000 | #Constraints: 18530
777.31/779.61 c #Conflicts: 536000 | #Constraints: 19530
777.31/779.61 c #Conflicts: 537000 | #Constraints: 20530
777.31/779.61 c #Conflicts: 538000 | #Constraints: 21530
777.31/779.61 c #Conflicts: 539000 | #Constraints: 22530
777.31/779.61 c #Conflicts: 540000 | #Constraints: 23530
777.31/779.61 c #Conflicts: 541000 | #Constraints: 24530
777.31/779.61 c #Conflicts: 542000 | #Constraints: 25530
777.31/779.61 c #Conflicts: 543000 | #Constraints: 26530
777.31/779.61 c #Conflicts: 544000 | #Constraints: 27530
777.31/779.61 c #Conflicts: 545000 | #Constraints: 28530
777.31/779.61 c #Conflicts: 546000 | #Constraints: 29530
777.31/779.61 c INPROCESSING
777.31/779.61 c GARBAGE COLLECT
777.31/779.61 c #Conflicts: 547000 | #Constraints: 15927
777.31/779.61 c #Conflicts: 548000 | #Constraints: 16927
777.31/779.61 c #Conflicts: 549000 | #Constraints: 17927
777.31/779.61 c #Conflicts: 550000 | #Constraints: 18927
777.31/779.61 c #Conflicts: 551000 | #Constraints: 19927
777.31/779.61 c #Conflicts: 552000 | #Constraints: 20927
777.31/779.61 c #Conflicts: 553000 | #Constraints: 21927
777.31/779.61 c #Conflicts: 554000 | #Constraints: 22927
777.31/779.61 c #Conflicts: 555000 | #Constraints: 23927
777.31/779.61 c #Conflicts: 556000 | #Constraints: 24927
777.31/779.61 c #Conflicts: 557000 | #Constraints: 25927
777.31/779.61 c #Conflicts: 558000 | #Constraints: 26927
777.31/779.61 c #Conflicts: 559000 | #Constraints: 27927
777.31/779.61 c #Conflicts: 560000 | #Constraints: 28927
777.31/779.61 c #Conflicts: 561000 | #Constraints: 29927
777.31/779.61 c INPROCESSING
777.31/779.61 c GARBAGE COLLECT
777.31/779.61 c #Conflicts: 562000 | #Constraints: 16138
777.31/779.61 c #Conflicts: 563000 | #Constraints: 17138
777.31/779.61 c #Conflicts: 564000 | #Constraints: 18138
777.31/779.61 c #Conflicts: 565000 | #Constraints: 19138
777.31/779.61 c #Conflicts: 566000 | #Constraints: 20138
777.31/779.61 c #Conflicts: 567000 | #Constraints: 21138
777.31/779.61 c #Conflicts: 568000 | #Constraints: 22138
777.31/779.61 c #Conflicts: 569000 | #Constraints: 23138
777.31/779.61 c #Conflicts: 570000 | #Constraints: 24138
777.31/779.61 c #Conflicts: 571000 | #Constraints: 25138
777.31/779.61 c #Conflicts: 572000 | #Constraints: 26138
777.31/779.61 c #Conflicts: 573000 | #Constraints: 27138
777.31/779.61 c #Conflicts: 574000 | #Constraints: 28138
777.31/779.61 c #Conflicts: 575000 | #Constraints: 29138
777.31/779.61 c #Conflicts: 576000 | #Constraints: 30138
777.31/779.61 c INPROCESSING
777.31/779.61 c GARBAGE COLLECT
777.31/779.61 c #Conflicts: 577000 | #Constraints: 16146
777.31/779.61 c #Conflicts: 578000 | #Constraints: 17146
777.31/779.61 c #Conflicts: 579000 | #Constraints: 18146
777.31/779.61 c #Conflicts: 580000 | #Constraints: 19146
777.31/779.61 c #Conflicts: 581000 | #Constraints: 20146
777.31/779.61 c #Conflicts: 582000 | #Constraints: 21146
777.31/779.61 c #Conflicts: 583000 | #Constraints: 22146
777.31/779.61 c #Conflicts: 584000 | #Constraints: 23146
777.31/779.61 c #Conflicts: 585000 | #Constraints: 24146
777.31/779.61 c #Conflicts: 586000 | #Constraints: 25146
777.31/779.61 c #Conflicts: 587000 | #Constraints: 26146
777.31/779.61 c #Conflicts: 588000 | #Constraints: 27146
866.07/868.66 c #Conflicts: 589000 | #Constraints: 28146
866.07/868.66 c #Conflicts: 590000 | #Constraints: 29146
866.07/868.66 c #Conflicts: 591000 | #Constraints: 30146
866.07/868.66 c INPROCESSING
866.07/868.66 c GARBAGE COLLECT
866.07/868.66 c #Conflicts: 592000 | #Constraints: 15944
866.07/868.66 c #Conflicts: 593000 | #Constraints: 16944
866.07/868.66 c #Conflicts: 594000 | #Constraints: 17944
866.07/868.66 c #Conflicts: 595000 | #Constraints: 18944
866.07/868.66 c #Conflicts: 596000 | #Constraints: 19944
866.07/868.66 c #Conflicts: 597000 | #Constraints: 20944
866.07/868.66 c #Conflicts: 598000 | #Constraints: 21944
866.07/868.66 c #Conflicts: 599000 | #Constraints: 22944
866.07/868.66 c #Conflicts: 600000 | #Constraints: 23944
866.07/868.66 c #Conflicts: 601000 | #Constraints: 24944
866.07/868.66 c #Conflicts: 602000 | #Constraints: 25944
866.07/868.66 c #Conflicts: 603000 | #Constraints: 26944
866.07/868.66 c #Conflicts: 604000 | #Constraints: 27944
866.07/868.66 c #Conflicts: 605000 | #Constraints: 28944
866.07/868.66 c #Conflicts: 606000 | #Constraints: 29944
866.07/868.66 c #Conflicts: 607000 | #Constraints: 30944
866.07/868.66 c INPROCESSING
866.07/868.66 c GARBAGE COLLECT
866.07/868.66 c #Conflicts: 608000 | #Constraints: 16545
866.07/868.66 c #Conflicts: 609000 | #Constraints: 17545
866.07/868.66 c #Conflicts: 610000 | #Constraints: 18545
866.07/868.66 c #Conflicts: 611000 | #Constraints: 19545
866.07/868.66 c #Conflicts: 612000 | #Constraints: 20545
866.07/868.66 c #Conflicts: 613000 | #Constraints: 21545
866.07/868.66 c #Conflicts: 614000 | #Constraints: 22545
866.07/868.66 c #Conflicts: 615000 | #Constraints: 23545
866.07/868.66 c #Conflicts: 616000 | #Constraints: 24545
866.07/868.66 c #Conflicts: 617000 | #Constraints: 25545
866.07/868.66 c #Conflicts: 618000 | #Constraints: 26545
866.07/868.66 c #Conflicts: 619000 | #Constraints: 27545
866.07/868.66 c #Conflicts: 620000 | #Constraints: 28545
866.07/868.66 c #Conflicts: 621000 | #Constraints: 29545
866.07/868.66 c #Conflicts: 622000 | #Constraints: 30545
866.07/868.66 c #Conflicts: 623000 | #Constraints: 31545
866.07/868.66 c INPROCESSING
866.07/868.66 c GARBAGE COLLECT
866.07/868.66 c #Conflicts: 624000 | #Constraints: 16936
866.07/868.66 c #Conflicts: 625000 | #Constraints: 17936
866.07/868.66 c #Conflicts: 626000 | #Constraints: 18936
866.07/868.66 c #Conflicts: 627000 | #Constraints: 19936
866.07/868.66 c #Conflicts: 628000 | #Constraints: 20936
866.07/868.66 c #Conflicts: 629000 | #Constraints: 21936
866.07/868.66 c #Conflicts: 630000 | #Constraints: 22936
866.07/868.66 c #Conflicts: 631000 | #Constraints: 23936
866.07/868.66 c #Conflicts: 632000 | #Constraints: 24936
866.07/868.66 c #Conflicts: 633000 | #Constraints: 25936
866.07/868.66 c #Conflicts: 634000 | #Constraints: 26936
866.07/868.66 c #Conflicts: 635000 | #Constraints: 27936
866.07/868.66 c #Conflicts: 636000 | #Constraints: 28936
866.07/868.66 c #Conflicts: 637000 | #Constraints: 29936
866.07/868.66 c #Conflicts: 638000 | #Constraints: 30936
866.07/868.66 c #Conflicts: 639000 | #Constraints: 31936
866.07/868.66 c INPROCESSING
866.07/868.66 c GARBAGE COLLECT
866.07/868.66 c #Conflicts: 640000 | #Constraints: 17136
866.07/868.66 c #Conflicts: 641000 | #Constraints: 18136
866.07/868.66 c #Conflicts: 642000 | #Constraints: 19136
866.07/868.66 c #Conflicts: 643000 | #Constraints: 20136
866.07/868.66 c #Conflicts: 644000 | #Constraints: 21136
866.07/868.66 c #Conflicts: 645000 | #Constraints: 22136
866.07/868.66 c #Conflicts: 646000 | #Constraints: 23136
866.07/868.66 c #Conflicts: 647000 | #Constraints: 24136
866.07/868.66 c #Conflicts: 648000 | #Constraints: 25136
866.07/868.66 c #Conflicts: 649000 | #Constraints: 26136
866.07/868.66 c #Conflicts: 650000 | #Constraints: 27136
866.07/868.66 c #Conflicts: 651000 | #Constraints: 28136
866.07/868.66 c #Conflicts: 652000 | #Constraints: 29136
866.07/868.66 c #Conflicts: 653000 | #Constraints: 30136
866.07/868.66 c #Conflicts: 654000 | #Constraints: 31136
866.07/868.66 c #Conflicts: 655000 | #Constraints: 32136
866.07/868.66 c INPROCESSING
866.07/868.66 c GARBAGE COLLECT
866.07/868.66 c #Conflicts: 656000 | #Constraints: 17131
866.07/868.66 c #Conflicts: 657000 | #Constraints: 18131
866.07/868.66 c #Conflicts: 658000 | #Constraints: 19131
866.07/868.66 c #Conflicts: 659000 | #Constraints: 20131
866.07/868.66 c #Conflicts: 660000 | #Constraints: 21131
866.07/868.66 c #Conflicts: 661000 | #Constraints: 22131
866.07/868.66 c #Conflicts: 662000 | #Constraints: 23131
866.07/868.66 c #Conflicts: 663000 | #Constraints: 24131
866.07/868.66 c #Conflicts: 664000 | #Constraints: 25131
964.18/967.02 c #Conflicts: 665000 | #Constraints: 26131
964.18/967.02 c #Conflicts: 666000 | #Constraints: 27131
964.18/967.02 c #Conflicts: 667000 | #Constraints: 28131
964.18/967.02 c #Conflicts: 668000 | #Constraints: 29131
964.18/967.02 c #Conflicts: 669000 | #Constraints: 30131
964.18/967.02 c #Conflicts: 670000 | #Constraints: 31131
964.18/967.02 c #Conflicts: 671000 | #Constraints: 32131
964.18/967.02 c INPROCESSING
964.18/967.02 c GARBAGE COLLECT
964.18/967.02 c #Conflicts: 672000 | #Constraints: 16931
964.18/967.02 c #Conflicts: 673000 | #Constraints: 17931
964.18/967.02 c #Conflicts: 674000 | #Constraints: 18931
964.18/967.02 c #Conflicts: 675000 | #Constraints: 19931
964.18/967.02 c #Conflicts: 676000 | #Constraints: 20931
964.18/967.02 c #Conflicts: 677000 | #Constraints: 21931
964.18/967.02 c #Conflicts: 678000 | #Constraints: 22931
964.18/967.02 c #Conflicts: 679000 | #Constraints: 23931
964.18/967.02 c #Conflicts: 680000 | #Constraints: 24931
964.18/967.02 c #Conflicts: 681000 | #Constraints: 25931
964.18/967.02 c #Conflicts: 682000 | #Constraints: 26931
964.18/967.02 c #Conflicts: 683000 | #Constraints: 27931
964.18/967.02 c #Conflicts: 684000 | #Constraints: 28931
964.18/967.02 c #Conflicts: 685000 | #Constraints: 29931
964.18/967.02 c #Conflicts: 686000 | #Constraints: 30931
964.18/967.02 c #Conflicts: 687000 | #Constraints: 31931
964.18/967.02 c #Conflicts: 688000 | #Constraints: 32931
964.18/967.02 c INPROCESSING
964.18/967.02 c GARBAGE COLLECT
964.18/967.02 c #Conflicts: 689000 | #Constraints: 17532
964.18/967.02 c #Conflicts: 690000 | #Constraints: 18532
964.18/967.02 c #Conflicts: 691000 | #Constraints: 19532
964.18/967.02 c #Conflicts: 692000 | #Constraints: 20532
964.18/967.02 c #Conflicts: 693000 | #Constraints: 21532
964.18/967.02 c #Conflicts: 694000 | #Constraints: 22532
964.18/967.02 c #Conflicts: 695000 | #Constraints: 23532
964.18/967.02 c #Conflicts: 696000 | #Constraints: 24532
964.18/967.02 c #Conflicts: 697000 | #Constraints: 25532
964.18/967.02 c #Conflicts: 698000 | #Constraints: 26532
964.18/967.02 c #Conflicts: 699000 | #Constraints: 27532
964.18/967.02 c #Conflicts: 700000 | #Constraints: 28532
964.18/967.02 c #Conflicts: 701000 | #Constraints: 29532
964.18/967.02 c #Conflicts: 702000 | #Constraints: 30532
964.18/967.02 c #Conflicts: 703000 | #Constraints: 31532
964.18/967.02 c #Conflicts: 704000 | #Constraints: 32532
964.18/967.02 c #Conflicts: 705000 | #Constraints: 33532
964.18/967.02 c INPROCESSING
964.18/967.02 c GARBAGE COLLECT
964.18/967.02 c #Conflicts: 706000 | #Constraints: 17930
964.18/967.02 c #Conflicts: 707000 | #Constraints: 18930
964.18/967.02 c #Conflicts: 708000 | #Constraints: 19930
964.18/967.02 c #Conflicts: 709000 | #Constraints: 20930
964.18/967.02 c #Conflicts: 710000 | #Constraints: 21930
964.18/967.02 c #Conflicts: 711000 | #Constraints: 22930
964.18/967.02 c #Conflicts: 712000 | #Constraints: 23930
964.18/967.02 c #Conflicts: 713000 | #Constraints: 24930
964.18/967.02 c #Conflicts: 714000 | #Constraints: 25930
964.18/967.02 c #Conflicts: 715000 | #Constraints: 26930
964.18/967.02 c #Conflicts: 716000 | #Constraints: 27930
964.18/967.02 c #Conflicts: 717000 | #Constraints: 28930
964.18/967.02 c #Conflicts: 718000 | #Constraints: 29930
964.18/967.02 c #Conflicts: 719000 | #Constraints: 30930
964.18/967.02 c #Conflicts: 720000 | #Constraints: 31930
964.18/967.02 c #Conflicts: 721000 | #Constraints: 32930
964.18/967.02 c #Conflicts: 722000 | #Constraints: 33930
964.18/967.02 c INPROCESSING
964.18/967.02 c GARBAGE COLLECT
964.18/967.02 c #Conflicts: 723000 | #Constraints: 18166
964.18/967.02 c #Conflicts: 724000 | #Constraints: 19166
964.18/967.02 c #Conflicts: 725000 | #Constraints: 20166
964.18/967.02 c #Conflicts: 726000 | #Constraints: 21166
964.18/967.02 c #Conflicts: 727000 | #Constraints: 22166
964.18/967.02 c #Conflicts: 728000 | #Constraints: 23166
964.18/967.02 c #Conflicts: 729000 | #Constraints: 24166
964.18/967.02 c #Conflicts: 730000 | #Constraints: 25166
964.18/967.02 c #Conflicts: 731000 | #Constraints: 26166
964.18/967.02 c #Conflicts: 732000 | #Constraints: 27166
964.18/967.02 c #Conflicts: 733000 | #Constraints: 28166
964.18/967.02 c #Conflicts: 734000 | #Constraints: 29166
964.18/967.02 c #Conflicts: 735000 | #Constraints: 30166
964.18/967.02 c #Conflicts: 736000 | #Constraints: 31166
964.18/967.02 c #Conflicts: 737000 | #Constraints: 32166
964.18/967.02 c #Conflicts: 738000 | #Constraints: 33166
964.18/967.02 c #Conflicts: 739000 | #Constraints: 34166
964.18/967.02 c INPROCESSING
964.18/967.02 c GARBAGE COLLECT
1053.42/1056.54 c #Conflicts: 740000 | #Constraints: 18153
1053.42/1056.54 c #Conflicts: 741000 | #Constraints: 19153
1053.42/1056.54 c #Conflicts: 742000 | #Constraints: 20153
1053.42/1056.54 c #Conflicts: 743000 | #Constraints: 21153
1053.42/1056.54 c #Conflicts: 744000 | #Constraints: 22153
1053.42/1056.54 c #Conflicts: 745000 | #Constraints: 23153
1053.42/1056.54 c #Conflicts: 746000 | #Constraints: 24153
1053.42/1056.54 c #Conflicts: 747000 | #Constraints: 25153
1053.42/1056.54 c #Conflicts: 748000 | #Constraints: 26153
1053.42/1056.54 c #Conflicts: 749000 | #Constraints: 27153
1053.42/1056.54 c #Conflicts: 750000 | #Constraints: 28153
1053.42/1056.54 c #Conflicts: 751000 | #Constraints: 29153
1053.42/1056.54 c #Conflicts: 752000 | #Constraints: 30153
1053.42/1056.54 c #Conflicts: 753000 | #Constraints: 31153
1053.42/1056.54 c #Conflicts: 754000 | #Constraints: 32153
1053.42/1056.54 c #Conflicts: 755000 | #Constraints: 33153
1053.42/1056.54 c #Conflicts: 756000 | #Constraints: 34153
1053.42/1056.54 c INPROCESSING
1053.42/1056.54 c GARBAGE COLLECT
1053.42/1056.54 c #Conflicts: 757000 | #Constraints: 17930
1053.42/1056.54 c #Conflicts: 758000 | #Constraints: 18930
1053.42/1056.54 c #Conflicts: 759000 | #Constraints: 19930
1053.42/1056.54 c #Conflicts: 760000 | #Constraints: 20930
1053.42/1056.54 c #Conflicts: 761000 | #Constraints: 21930
1053.42/1056.54 c #Conflicts: 762000 | #Constraints: 22930
1053.42/1056.54 c #Conflicts: 763000 | #Constraints: 23930
1053.42/1056.54 c #Conflicts: 764000 | #Constraints: 24930
1053.42/1056.54 c #Conflicts: 765000 | #Constraints: 25930
1053.42/1056.54 c #Conflicts: 766000 | #Constraints: 26930
1053.42/1056.54 c #Conflicts: 767000 | #Constraints: 27930
1053.42/1056.54 c #Conflicts: 768000 | #Constraints: 28930
1053.42/1056.54 c #Conflicts: 769000 | #Constraints: 29930
1053.42/1056.54 c #Conflicts: 770000 | #Constraints: 30930
1053.42/1056.54 c #Conflicts: 771000 | #Constraints: 31930
1053.42/1056.54 c #Conflicts: 772000 | #Constraints: 32930
1053.42/1056.54 c #Conflicts: 773000 | #Constraints: 33930
1053.42/1056.54 c #Conflicts: 774000 | #Constraints: 34930
1053.42/1056.54 c INPROCESSING
1053.42/1056.54 c GARBAGE COLLECT
1053.42/1056.54 c #Conflicts: 775000 | #Constraints: 18551
1053.42/1056.54 c #Conflicts: 776000 | #Constraints: 19551
1053.42/1056.54 c #Conflicts: 777000 | #Constraints: 20551
1053.42/1056.54 c #Conflicts: 778000 | #Constraints: 21551
1053.42/1056.54 c #Conflicts: 779000 | #Constraints: 22551
1053.42/1056.54 c #Conflicts: 780000 | #Constraints: 23551
1053.42/1056.54 c #Conflicts: 781000 | #Constraints: 24551
1053.42/1056.54 c #Conflicts: 782000 | #Constraints: 25551
1053.42/1056.54 c #Conflicts: 783000 | #Constraints: 26551
1053.42/1056.54 c #Conflicts: 784000 | #Constraints: 27551
1053.42/1056.54 c #Conflicts: 785000 | #Constraints: 28551
1053.42/1056.54 c #Conflicts: 786000 | #Constraints: 29551
1053.42/1056.54 c #Conflicts: 787000 | #Constraints: 30551
1053.42/1056.54 c #Conflicts: 788000 | #Constraints: 31551
1053.42/1056.54 c #Conflicts: 789000 | #Constraints: 32551
1053.42/1056.54 c #Conflicts: 790000 | #Constraints: 33551
1053.42/1056.54 c #Conflicts: 791000 | #Constraints: 34551
1053.42/1056.54 c #Conflicts: 792000 | #Constraints: 35551
1053.42/1056.54 c INPROCESSING
1053.42/1056.54 c GARBAGE COLLECT
1053.42/1056.54 c #Conflicts: 793000 | #Constraints: 18931
1053.42/1056.54 c #Conflicts: 794000 | #Constraints: 19931
1053.42/1056.54 c #Conflicts: 795000 | #Constraints: 20931
1053.42/1056.54 c #Conflicts: 796000 | #Constraints: 21931
1053.42/1056.54 c #Conflicts: 797000 | #Constraints: 22931
1053.42/1056.54 c #Conflicts: 798000 | #Constraints: 23931
1053.42/1056.54 c #Conflicts: 799000 | #Constraints: 24931
1053.42/1056.54 c #Conflicts: 800000 | #Constraints: 25931
1053.42/1056.54 c #Conflicts: 801000 | #Constraints: 26931
1053.42/1056.54 c #Conflicts: 802000 | #Constraints: 27931
1053.42/1056.54 c #Conflicts: 803000 | #Constraints: 28931
1053.42/1056.54 c #Conflicts: 804000 | #Constraints: 29931
1053.42/1056.54 c #Conflicts: 805000 | #Constraints: 30931
1053.42/1056.54 c #Conflicts: 806000 | #Constraints: 31931
1053.42/1056.54 c #Conflicts: 807000 | #Constraints: 32931
1053.42/1056.54 c #Conflicts: 808000 | #Constraints: 33931
1053.42/1056.54 c #Conflicts: 809000 | #Constraints: 34931
1053.42/1056.54 c #Conflicts: 810000 | #Constraints: 35931
1053.42/1056.54 c INPROCESSING
1053.42/1056.54 c GARBAGE COLLECT
1053.42/1056.54 c #Conflicts: 811000 | #Constraints: 19151
1053.42/1056.54 c #Conflicts: 812000 | #Constraints: 20151
1053.42/1056.54 c #Conflicts: 813000 | #Constraints: 21151
1053.42/1056.54 c #Conflicts: 814000 | #Constraints: 22151
1053.42/1056.54 c #Conflicts: 815000 | #Constraints: 23151
1053.42/1056.54 c #Conflicts: 816000 | #Constraints: 24151
1162.00/1165.48 c #Conflicts: 817000 | #Constraints: 25151
1162.00/1165.48 c #Conflicts: 818000 | #Constraints: 26151
1162.00/1165.48 c #Conflicts: 819000 | #Constraints: 27151
1162.00/1165.48 c #Conflicts: 820000 | #Constraints: 28151
1162.00/1165.48 c #Conflicts: 821000 | #Constraints: 29151
1162.00/1165.48 c #Conflicts: 822000 | #Constraints: 30151
1162.00/1165.48 c #Conflicts: 823000 | #Constraints: 31151
1162.00/1165.48 c #Conflicts: 824000 | #Constraints: 32151
1162.00/1165.48 c #Conflicts: 825000 | #Constraints: 33151
1162.00/1165.48 c #Conflicts: 826000 | #Constraints: 34151
1162.00/1165.48 c #Conflicts: 827000 | #Constraints: 35151
1162.00/1165.48 c #Conflicts: 828000 | #Constraints: 36151
1162.00/1165.48 c INPROCESSING
1162.00/1165.48 c GARBAGE COLLECT
1162.00/1165.48 c #Conflicts: 829000 | #Constraints: 19146
1162.00/1165.48 c #Conflicts: 830000 | #Constraints: 20146
1162.00/1165.48 c #Conflicts: 831000 | #Constraints: 21146
1162.00/1165.48 c #Conflicts: 832000 | #Constraints: 22146
1162.00/1165.48 c #Conflicts: 833000 | #Constraints: 23146
1162.00/1165.48 c #Conflicts: 834000 | #Constraints: 24146
1162.00/1165.48 c #Conflicts: 835000 | #Constraints: 25146
1162.00/1165.48 c #Conflicts: 836000 | #Constraints: 26146
1162.00/1165.48 c #Conflicts: 837000 | #Constraints: 27146
1162.00/1165.48 c #Conflicts: 838000 | #Constraints: 28146
1162.00/1165.48 c #Conflicts: 839000 | #Constraints: 29146
1162.00/1165.48 c #Conflicts: 840000 | #Constraints: 30146
1162.00/1165.48 c #Conflicts: 841000 | #Constraints: 31146
1162.00/1165.48 c #Conflicts: 842000 | #Constraints: 32146
1162.00/1165.48 c #Conflicts: 843000 | #Constraints: 33146
1162.00/1165.48 c #Conflicts: 844000 | #Constraints: 34146
1162.00/1165.48 c #Conflicts: 845000 | #Constraints: 35146
1162.00/1165.48 c #Conflicts: 846000 | #Constraints: 36146
1162.00/1165.48 c INPROCESSING
1162.00/1165.48 c GARBAGE COLLECT
1162.00/1165.48 c #Conflicts: 847000 | #Constraints: 18937
1162.00/1165.48 c #Conflicts: 848000 | #Constraints: 19937
1162.00/1165.48 c #Conflicts: 849000 | #Constraints: 20937
1162.00/1165.48 c #Conflicts: 850000 | #Constraints: 21937
1162.00/1165.48 c #Conflicts: 851000 | #Constraints: 22937
1162.00/1165.48 c #Conflicts: 852000 | #Constraints: 23937
1162.00/1165.48 c #Conflicts: 853000 | #Constraints: 24937
1162.00/1165.48 c #Conflicts: 854000 | #Constraints: 25937
1162.00/1165.48 c #Conflicts: 855000 | #Constraints: 26937
1162.00/1165.48 c #Conflicts: 856000 | #Constraints: 27937
1162.00/1165.48 c #Conflicts: 857000 | #Constraints: 28937
1162.00/1165.48 c #Conflicts: 858000 | #Constraints: 29937
1162.00/1165.48 c #Conflicts: 859000 | #Constraints: 30937
1162.00/1165.48 c #Conflicts: 860000 | #Constraints: 31937
1162.00/1165.48 c #Conflicts: 861000 | #Constraints: 32937
1162.00/1165.48 c #Conflicts: 862000 | #Constraints: 33937
1162.00/1165.48 c #Conflicts: 863000 | #Constraints: 34937
1162.00/1165.48 c #Conflicts: 864000 | #Constraints: 35937
1162.00/1165.48 c #Conflicts: 865000 | #Constraints: 36937
1162.00/1165.48 c INPROCESSING
1162.00/1165.48 c GARBAGE COLLECT
1162.00/1165.48 c #Conflicts: 866000 | #Constraints: 19522
1162.00/1165.48 c #Conflicts: 867000 | #Constraints: 20522
1162.00/1165.48 c #Conflicts: 868000 | #Constraints: 21522
1162.00/1165.48 c #Conflicts: 869000 | #Constraints: 22522
1162.00/1165.48 c #Conflicts: 870000 | #Constraints: 23522
1162.00/1165.48 c #Conflicts: 871000 | #Constraints: 24522
1162.00/1165.48 c #Conflicts: 872000 | #Constraints: 25522
1162.00/1165.48 c #Conflicts: 873000 | #Constraints: 26522
1162.00/1165.48 c #Conflicts: 874000 | #Constraints: 27522
1162.00/1165.48 c #Conflicts: 875000 | #Constraints: 28522
1162.00/1165.48 c #Conflicts: 876000 | #Constraints: 29522
1162.00/1165.48 c #Conflicts: 877000 | #Constraints: 30522
1162.00/1165.48 c #Conflicts: 878000 | #Constraints: 31522
1162.00/1165.48 c #Conflicts: 879000 | #Constraints: 32522
1162.00/1165.48 c #Conflicts: 880000 | #Constraints: 33522
1162.00/1165.48 c #Conflicts: 881000 | #Constraints: 34522
1162.00/1165.48 c #Conflicts: 882000 | #Constraints: 35522
1162.00/1165.48 c #Conflicts: 883000 | #Constraints: 36522
1162.00/1165.48 c #Conflicts: 884000 | #Constraints: 37522
1162.00/1165.48 c INPROCESSING
1162.00/1165.48 c GARBAGE COLLECT
1162.00/1165.48 c #Conflicts: 885000 | #Constraints: 19952
1162.00/1165.48 c #Conflicts: 886000 | #Constraints: 20952
1162.00/1165.48 c #Conflicts: 887000 | #Constraints: 21952
1162.00/1165.48 c #Conflicts: 888000 | #Constraints: 22952
1162.00/1165.48 c #Conflicts: 889000 | #Constraints: 23952
1162.00/1165.48 c #Conflicts: 890000 | #Constraints: 24952
1162.00/1165.48 c #Conflicts: 891000 | #Constraints: 25952
1162.00/1165.48 c #Conflicts: 892000 | #Constraints: 26952
1287.62/1291.47 c #Conflicts: 893000 | #Constraints: 27952
1287.62/1291.47 c #Conflicts: 894000 | #Constraints: 28952
1287.62/1291.47 c #Conflicts: 895000 | #Constraints: 29952
1287.62/1291.47 c #Conflicts: 896000 | #Constraints: 30952
1287.62/1291.47 c #Conflicts: 897000 | #Constraints: 31952
1287.62/1291.47 c #Conflicts: 898000 | #Constraints: 32952
1287.62/1291.47 c #Conflicts: 899000 | #Constraints: 33952
1287.62/1291.47 c #Conflicts: 900000 | #Constraints: 34952
1287.62/1291.47 c #Conflicts: 901000 | #Constraints: 35952
1287.62/1291.47 c #Conflicts: 902000 | #Constraints: 36952
1287.62/1291.47 c #Conflicts: 903000 | #Constraints: 37952
1287.62/1291.47 c INPROCESSING
1287.62/1291.47 c GARBAGE COLLECT
1287.62/1291.47 c #Conflicts: 904000 | #Constraints: 20149
1287.62/1291.47 c #Conflicts: 905000 | #Constraints: 21149
1287.62/1291.47 c #Conflicts: 906000 | #Constraints: 22149
1287.62/1291.47 c #Conflicts: 907000 | #Constraints: 23149
1287.62/1291.47 c #Conflicts: 908000 | #Constraints: 24149
1287.62/1291.47 c #Conflicts: 909000 | #Constraints: 25149
1287.62/1291.47 c #Conflicts: 910000 | #Constraints: 26149
1287.62/1291.47 c #Conflicts: 911000 | #Constraints: 27149
1287.62/1291.47 c #Conflicts: 912000 | #Constraints: 28149
1287.62/1291.47 c #Conflicts: 913000 | #Constraints: 29149
1287.62/1291.47 c #Conflicts: 914000 | #Constraints: 30149
1287.62/1291.47 c #Conflicts: 915000 | #Constraints: 31149
1287.62/1291.47 c #Conflicts: 916000 | #Constraints: 32149
1287.62/1291.47 c #Conflicts: 917000 | #Constraints: 33149
1287.62/1291.47 c #Conflicts: 918000 | #Constraints: 34149
1287.62/1291.47 c #Conflicts: 919000 | #Constraints: 35149
1287.62/1291.47 c #Conflicts: 920000 | #Constraints: 36149
1287.62/1291.47 c #Conflicts: 921000 | #Constraints: 37149
1287.62/1291.47 c #Conflicts: 922000 | #Constraints: 38149
1287.62/1291.47 c INPROCESSING
1287.62/1291.47 c GARBAGE COLLECT
1287.62/1291.47 c #Conflicts: 923000 | #Constraints: 20169
1287.62/1291.47 c #Conflicts: 924000 | #Constraints: 21169
1287.62/1291.47 c #Conflicts: 925000 | #Constraints: 22169
1287.62/1291.47 c #Conflicts: 926000 | #Constraints: 23169
1287.62/1291.47 c #Conflicts: 927000 | #Constraints: 24169
1287.62/1291.47 c #Conflicts: 928000 | #Constraints: 25169
1287.62/1291.47 c #Conflicts: 929000 | #Constraints: 26169
1287.62/1291.47 c #Conflicts: 930000 | #Constraints: 27169
1287.62/1291.47 c #Conflicts: 931000 | #Constraints: 28169
1287.62/1291.47 c #Conflicts: 932000 | #Constraints: 29169
1287.62/1291.47 c #Conflicts: 933000 | #Constraints: 30169
1287.62/1291.47 c #Conflicts: 934000 | #Constraints: 31169
1287.62/1291.47 c #Conflicts: 935000 | #Constraints: 32169
1287.62/1291.47 c #Conflicts: 936000 | #Constraints: 33169
1287.62/1291.47 c #Conflicts: 937000 | #Constraints: 34169
1287.62/1291.47 c #Conflicts: 938000 | #Constraints: 35169
1287.62/1291.47 c #Conflicts: 939000 | #Constraints: 36169
1287.62/1291.47 c #Conflicts: 940000 | #Constraints: 37169
1287.62/1291.47 c #Conflicts: 941000 | #Constraints: 38169
1287.62/1291.47 c INPROCESSING
1287.62/1291.47 c GARBAGE COLLECT
1287.62/1291.47 c #Conflicts: 942000 | #Constraints: 19980
1287.62/1291.47 c #Conflicts: 943000 | #Constraints: 20980
1287.62/1291.47 c #Conflicts: 944000 | #Constraints: 21980
1287.62/1291.47 c #Conflicts: 945000 | #Constraints: 22980
1287.62/1291.47 c #Conflicts: 946000 | #Constraints: 23980
1287.62/1291.47 c #Conflicts: 947000 | #Constraints: 24980
1287.62/1291.47 c #Conflicts: 948000 | #Constraints: 25980
1287.62/1291.47 c #Conflicts: 949000 | #Constraints: 26980
1287.62/1291.47 c #Conflicts: 950000 | #Constraints: 27980
1287.62/1291.47 c #Conflicts: 951000 | #Constraints: 28980
1287.62/1291.47 c #Conflicts: 952000 | #Constraints: 29980
1287.62/1291.47 c #Conflicts: 953000 | #Constraints: 30980
1287.62/1291.47 c #Conflicts: 954000 | #Constraints: 31980
1287.62/1291.47 c #Conflicts: 955000 | #Constraints: 32980
1287.62/1291.47 c #Conflicts: 956000 | #Constraints: 33980
1287.62/1291.47 c #Conflicts: 957000 | #Constraints: 34980
1287.62/1291.47 c #Conflicts: 958000 | #Constraints: 35980
1287.62/1291.47 c #Conflicts: 959000 | #Constraints: 36980
1287.62/1291.47 c #Conflicts: 960000 | #Constraints: 37980
1287.62/1291.47 c #Conflicts: 961000 | #Constraints: 38980
1287.62/1291.47 c INPROCESSING
1287.62/1291.47 c GARBAGE COLLECT
1287.62/1291.47 c #Conflicts: 962000 | #Constraints: 20582
1287.62/1291.47 c #Conflicts: 963000 | #Constraints: 21582
1287.62/1291.47 c #Conflicts: 964000 | #Constraints: 22582
1287.62/1291.47 c #Conflicts: 965000 | #Constraints: 23582
1287.62/1291.47 c #Conflicts: 966000 | #Constraints: 24582
1287.62/1291.47 c #Conflicts: 967000 | #Constraints: 25582
1287.62/1291.47 c #Conflicts: 968000 | #Constraints: 26582
1458.57/1462.94 c #Conflicts: 969000 | #Constraints: 27582
1458.57/1462.94 c #Conflicts: 970000 | #Constraints: 28582
1458.57/1462.94 c #Conflicts: 971000 | #Constraints: 29582
1458.57/1462.94 c #Conflicts: 972000 | #Constraints: 30582
1458.57/1462.94 c #Conflicts: 973000 | #Constraints: 31582
1458.57/1462.94 c #Conflicts: 974000 | #Constraints: 32582
1458.57/1462.94 c #Conflicts: 975000 | #Constraints: 33582
1458.57/1462.94 c #Conflicts: 976000 | #Constraints: 34582
1458.57/1462.94 c #Conflicts: 977000 | #Constraints: 35582
1458.57/1462.94 c #Conflicts: 978000 | #Constraints: 36582
1458.57/1462.94 c #Conflicts: 979000 | #Constraints: 37582
1458.57/1462.94 c #Conflicts: 980000 | #Constraints: 38582
1458.57/1462.94 c #Conflicts: 981000 | #Constraints: 39582
1458.57/1462.94 c INPROCESSING
1458.57/1462.94 c GARBAGE COLLECT
1458.57/1462.94 c #Conflicts: 982000 | #Constraints: 21001
1458.57/1462.94 c #Conflicts: 983000 | #Constraints: 22001
1458.57/1462.94 c #Conflicts: 984000 | #Constraints: 23001
1458.57/1462.94 c #Conflicts: 985000 | #Constraints: 24001
1458.57/1462.94 c #Conflicts: 986000 | #Constraints: 25001
1458.57/1462.94 c #Conflicts: 987000 | #Constraints: 26001
1458.57/1462.94 c #Conflicts: 988000 | #Constraints: 27001
1458.57/1462.94 c #Conflicts: 989000 | #Constraints: 28001
1458.57/1462.94 c #Conflicts: 990000 | #Constraints: 29001
1458.57/1462.94 c #Conflicts: 991000 | #Constraints: 30001
1458.57/1462.94 c #Conflicts: 992000 | #Constraints: 31001
1458.57/1462.94 c #Conflicts: 993000 | #Constraints: 32001
1458.57/1462.94 c #Conflicts: 994000 | #Constraints: 33001
1458.57/1462.94 c #Conflicts: 995000 | #Constraints: 34001
1458.57/1462.94 c #Conflicts: 996000 | #Constraints: 35001
1458.57/1462.94 c #Conflicts: 997000 | #Constraints: 36001
1458.57/1462.94 c #Conflicts: 998000 | #Constraints: 37001
1458.57/1462.94 c #Conflicts: 999000 | #Constraints: 38001
1458.57/1462.94 c #Conflicts: 1000000 | #Constraints: 39001
1458.57/1462.94 c #Conflicts: 1001000 | #Constraints: 40001
1458.57/1462.94 c INPROCESSING
1458.57/1462.94 c GARBAGE COLLECT
1458.57/1462.94 c #Conflicts: 1002000 | #Constraints: 21185
1458.57/1462.94 c #Conflicts: 1003000 | #Constraints: 22185
1458.57/1462.94 c #Conflicts: 1004000 | #Constraints: 23185
1458.57/1462.94 c #Conflicts: 1005000 | #Constraints: 24185
1458.57/1462.94 c #Conflicts: 1006000 | #Constraints: 25185
1458.57/1462.94 c #Conflicts: 1007000 | #Constraints: 26185
1458.57/1462.94 c #Conflicts: 1008000 | #Constraints: 27185
1458.57/1462.94 c #Conflicts: 1009000 | #Constraints: 28185
1458.57/1462.94 c #Conflicts: 1010000 | #Constraints: 29185
1458.57/1462.94 c #Conflicts: 1011000 | #Constraints: 30185
1458.57/1462.94 c #Conflicts: 1012000 | #Constraints: 31185
1458.57/1462.94 c #Conflicts: 1013000 | #Constraints: 32185
1458.57/1462.94 c #Conflicts: 1014000 | #Constraints: 33185
1458.57/1462.94 c #Conflicts: 1015000 | #Constraints: 34185
1458.57/1462.94 c #Conflicts: 1016000 | #Constraints: 35185
1458.57/1462.94 c #Conflicts: 1017000 | #Constraints: 36185
1458.57/1462.94 c #Conflicts: 1018000 | #Constraints: 37185
1458.57/1462.94 c #Conflicts: 1019000 | #Constraints: 38185
1458.57/1462.94 c #Conflicts: 1020000 | #Constraints: 39185
1458.57/1462.94 c #Conflicts: 1021000 | #Constraints: 40185
1458.57/1462.94 c INPROCESSING
1458.57/1462.94 c GARBAGE COLLECT
1458.57/1462.94 c #Conflicts: 1022000 | #Constraints: 21177
1458.57/1462.94 c #Conflicts: 1023000 | #Constraints: 22177
1458.57/1462.94 c #Conflicts: 1024000 | #Constraints: 23177
1458.57/1462.94 c #Conflicts: 1025000 | #Constraints: 24177
1458.57/1462.94 c #Conflicts: 1026000 | #Constraints: 25177
1458.57/1462.94 c #Conflicts: 1027000 | #Constraints: 26177
1458.57/1462.94 c #Conflicts: 1028000 | #Constraints: 27177
1458.57/1462.94 c #Conflicts: 1029000 | #Constraints: 28177
1458.57/1462.94 c #Conflicts: 1030000 | #Constraints: 29177
1458.57/1462.94 c #Conflicts: 1031000 | #Constraints: 30177
1458.57/1462.94 c #Conflicts: 1032000 | #Constraints: 31177
1458.57/1462.94 c #Conflicts: 1033000 | #Constraints: 32177
1458.57/1462.94 c #Conflicts: 1034000 | #Constraints: 33177
1458.57/1462.94 c #Conflicts: 1035000 | #Constraints: 34177
1458.57/1462.94 c #Conflicts: 1036000 | #Constraints: 35177
1458.57/1462.94 c #Conflicts: 1037000 | #Constraints: 36177
1458.57/1462.94 c #Conflicts: 1038000 | #Constraints: 37177
1458.57/1462.94 c #Conflicts: 1039000 | #Constraints: 38177
1458.57/1462.94 c #Conflicts: 1040000 | #Constraints: 39177
1458.57/1462.94 c #Conflicts: 1041000 | #Constraints: 40177
1458.57/1462.94 c INPROCESSING
1458.57/1462.94 c GARBAGE COLLECT
1458.57/1462.94 c #Conflicts: 1042000 | #Constraints: 20973
1458.57/1462.94 c #Conflicts: 1043000 | #Constraints: 21973
1458.57/1462.94 c #Conflicts: 1044000 | #Constraints: 22973
1617.37/1622.17 c #Conflicts: 1045000 | #Constraints: 23973
1617.37/1622.17 c #Conflicts: 1046000 | #Constraints: 24973
1617.37/1622.17 c #Conflicts: 1047000 | #Constraints: 25973
1617.37/1622.17 c #Conflicts: 1048000 | #Constraints: 26973
1617.37/1622.17 c #Conflicts: 1049000 | #Constraints: 27973
1617.37/1622.17 c #Conflicts: 1050000 | #Constraints: 28973
1617.37/1622.17 c #Conflicts: 1051000 | #Constraints: 29973
1617.37/1622.17 c #Conflicts: 1052000 | #Constraints: 30973
1617.37/1622.17 c #Conflicts: 1053000 | #Constraints: 31973
1617.37/1622.17 c #Conflicts: 1054000 | #Constraints: 32973
1617.37/1622.17 c #Conflicts: 1055000 | #Constraints: 33973
1617.37/1622.17 c #Conflicts: 1056000 | #Constraints: 34973
1617.37/1622.17 c #Conflicts: 1057000 | #Constraints: 35973
1617.37/1622.17 c #Conflicts: 1058000 | #Constraints: 36973
1617.37/1622.17 c #Conflicts: 1059000 | #Constraints: 37973
1617.37/1622.17 c #Conflicts: 1060000 | #Constraints: 38973
1617.37/1622.17 c #Conflicts: 1061000 | #Constraints: 39973
1617.37/1622.17 c #Conflicts: 1062000 | #Constraints: 40973
1617.37/1622.17 c INPROCESSING
1617.37/1622.17 c GARBAGE COLLECT
1617.37/1622.17 c #Conflicts: 1063000 | #Constraints: 21581
1617.37/1622.17 c #Conflicts: 1064000 | #Constraints: 22581
1617.37/1622.17 c #Conflicts: 1065000 | #Constraints: 23581
1617.37/1622.17 c #Conflicts: 1066000 | #Constraints: 24581
1617.37/1622.17 c #Conflicts: 1067000 | #Constraints: 25581
1617.37/1622.17 c #Conflicts: 1068000 | #Constraints: 26581
1617.37/1622.17 c #Conflicts: 1069000 | #Constraints: 27581
1617.37/1622.17 c #Conflicts: 1070000 | #Constraints: 28581
1617.37/1622.17 c #Conflicts: 1071000 | #Constraints: 29581
1617.37/1622.17 c #Conflicts: 1072000 | #Constraints: 30581
1617.37/1622.17 c #Conflicts: 1073000 | #Constraints: 31581
1617.37/1622.17 c #Conflicts: 1074000 | #Constraints: 32581
1617.37/1622.17 c #Conflicts: 1075000 | #Constraints: 33581
1617.37/1622.17 c #Conflicts: 1076000 | #Constraints: 34581
1617.37/1622.17 c #Conflicts: 1077000 | #Constraints: 35581
1617.37/1622.17 c #Conflicts: 1078000 | #Constraints: 36581
1617.37/1622.17 c #Conflicts: 1079000 | #Constraints: 37581
1617.37/1622.17 c #Conflicts: 1080000 | #Constraints: 38581
1617.37/1622.17 c #Conflicts: 1081000 | #Constraints: 39581
1617.37/1622.17 c #Conflicts: 1082000 | #Constraints: 40581
1617.37/1622.17 c #Conflicts: 1083000 | #Constraints: 41581
1617.37/1622.17 c INPROCESSING
1617.37/1622.17 c GARBAGE COLLECT
1617.37/1622.17 c #Conflicts: 1084000 | #Constraints: 21976
1617.37/1622.17 c #Conflicts: 1085000 | #Constraints: 22976
1617.37/1622.17 c #Conflicts: 1086000 | #Constraints: 23976
1617.37/1622.17 c #Conflicts: 1087000 | #Constraints: 24976
1617.37/1622.17 c #Conflicts: 1088000 | #Constraints: 25976
1617.37/1622.17 c #Conflicts: 1089000 | #Constraints: 26976
1617.37/1622.17 c #Conflicts: 1090000 | #Constraints: 27976
1617.37/1622.17 c #Conflicts: 1091000 | #Constraints: 28976
1617.37/1622.17 c #Conflicts: 1092000 | #Constraints: 29976
1617.37/1622.17 c #Conflicts: 1093000 | #Constraints: 30976
1617.37/1622.17 c #Conflicts: 1094000 | #Constraints: 31976
1617.37/1622.17 c #Conflicts: 1095000 | #Constraints: 32976
1617.37/1622.17 c #Conflicts: 1096000 | #Constraints: 33976
1617.37/1622.17 c #Conflicts: 1097000 | #Constraints: 34976
1617.37/1622.17 c #Conflicts: 1098000 | #Constraints: 35976
1617.37/1622.17 c #Conflicts: 1099000 | #Constraints: 36976
1617.37/1622.17 c #Conflicts: 1100000 | #Constraints: 37976
1617.37/1622.17 c #Conflicts: 1101000 | #Constraints: 38976
1617.37/1622.17 c #Conflicts: 1102000 | #Constraints: 39976
1617.37/1622.17 c #Conflicts: 1103000 | #Constraints: 40976
1617.37/1622.17 c #Conflicts: 1104000 | #Constraints: 41976
1617.37/1622.17 c INPROCESSING
1617.37/1622.17 c GARBAGE COLLECT
1617.37/1622.17 c #Conflicts: 1105000 | #Constraints: 22185
1617.37/1622.17 c #Conflicts: 1106000 | #Constraints: 23185
1617.37/1622.17 c #Conflicts: 1107000 | #Constraints: 24185
1617.37/1622.17 c #Conflicts: 1108000 | #Constraints: 25185
1617.37/1622.17 c #Conflicts: 1109000 | #Constraints: 26185
1617.37/1622.17 c #Conflicts: 1110000 | #Constraints: 27185
1617.37/1622.17 c #Conflicts: 1111000 | #Constraints: 28185
1617.37/1622.17 c #Conflicts: 1112000 | #Constraints: 29185
1617.37/1622.17 c #Conflicts: 1113000 | #Constraints: 30185
1617.37/1622.17 c #Conflicts: 1114000 | #Constraints: 31185
1617.37/1622.17 c #Conflicts: 1115000 | #Constraints: 32185
1617.37/1622.17 c #Conflicts: 1116000 | #Constraints: 33185
1617.37/1622.17 c #Conflicts: 1117000 | #Constraints: 34185
1617.37/1622.17 c #Conflicts: 1118000 | #Constraints: 35185
1617.37/1622.17 c #Conflicts: 1119000 | #Constraints: 36185
1617.37/1622.17 c #Conflicts: 1120000 | #Constraints: 37185
1617.37/1622.17 c #Conflicts: 1121000 | #Constraints: 38185
1746.84/1751.92 c #Conflicts: 1122000 | #Constraints: 39185
1746.84/1751.92 c #Conflicts: 1123000 | #Constraints: 40185
1746.84/1751.92 c #Conflicts: 1124000 | #Constraints: 41185
1746.84/1751.92 c #Conflicts: 1125000 | #Constraints: 42185
1746.84/1751.92 c INPROCESSING
1746.84/1751.92 c GARBAGE COLLECT
1746.84/1751.92 c #Conflicts: 1126000 | #Constraints: 22188
1746.84/1751.92 c #Conflicts: 1127000 | #Constraints: 23188
1746.84/1751.92 c #Conflicts: 1128000 | #Constraints: 24188
1746.84/1751.92 c #Conflicts: 1129000 | #Constraints: 25188
1746.84/1751.92 c #Conflicts: 1130000 | #Constraints: 26188
1746.84/1751.92 c #Conflicts: 1131000 | #Constraints: 27188
1746.84/1751.92 c #Conflicts: 1132000 | #Constraints: 28188
1746.84/1751.92 c #Conflicts: 1133000 | #Constraints: 29188
1746.84/1751.92 c #Conflicts: 1134000 | #Constraints: 30188
1746.84/1751.92 c #Conflicts: 1135000 | #Constraints: 31188
1746.84/1751.92 c #Conflicts: 1136000 | #Constraints: 32188
1746.84/1751.92 c #Conflicts: 1137000 | #Constraints: 33188
1746.84/1751.92 c #Conflicts: 1138000 | #Constraints: 34188
1746.84/1751.92 c #Conflicts: 1139000 | #Constraints: 35188
1746.84/1751.92 c #Conflicts: 1140000 | #Constraints: 36188
1746.84/1751.92 c #Conflicts: 1141000 | #Constraints: 37188
1746.84/1751.92 c #Conflicts: 1142000 | #Constraints: 38188
1746.84/1751.92 c #Conflicts: 1143000 | #Constraints: 39188
1746.84/1751.92 c #Conflicts: 1144000 | #Constraints: 40188
1746.84/1751.92 c #Conflicts: 1145000 | #Constraints: 41188
1746.84/1751.92 c #Conflicts: 1146000 | #Constraints: 42188
1746.84/1751.92 c INPROCESSING
1746.84/1751.92 c GARBAGE COLLECT
1746.84/1751.92 c #Conflicts: 1147000 | #Constraints: 21972
1746.84/1751.92 c #Conflicts: 1148000 | #Constraints: 22972
1746.84/1751.92 c #Conflicts: 1149000 | #Constraints: 23972
1746.84/1751.92 c #Conflicts: 1150000 | #Constraints: 24972
1746.84/1751.92 c #Conflicts: 1151000 | #Constraints: 25972
1746.84/1751.92 c #Conflicts: 1152000 | #Constraints: 26972
1746.84/1751.92 c #Conflicts: 1153000 | #Constraints: 27972
1746.84/1751.92 c #Conflicts: 1154000 | #Constraints: 28972
1746.84/1751.92 c #Conflicts: 1155000 | #Constraints: 29972
1746.84/1751.92 c #Conflicts: 1156000 | #Constraints: 30972
1746.84/1751.92 c #Conflicts: 1157000 | #Constraints: 31972
1746.84/1751.92 c #Conflicts: 1158000 | #Constraints: 32972
1746.84/1751.92 c #Conflicts: 1159000 | #Constraints: 33972
1746.84/1751.92 c #Conflicts: 1160000 | #Constraints: 34972
1746.84/1751.92 c #Conflicts: 1161000 | #Constraints: 35972
1746.84/1751.92 c #Conflicts: 1162000 | #Constraints: 36972
1746.84/1751.92 c #Conflicts: 1163000 | #Constraints: 37972
1746.84/1751.92 c #Conflicts: 1164000 | #Constraints: 38972
1746.84/1751.92 c #Conflicts: 1165000 | #Constraints: 39972
1746.84/1751.92 c #Conflicts: 1166000 | #Constraints: 40972
1746.84/1751.92 c #Conflicts: 1167000 | #Constraints: 41972
1746.84/1751.92 c #Conflicts: 1168000 | #Constraints: 42972
1746.84/1751.92 c INPROCESSING
1746.84/1751.92 c GARBAGE COLLECT
1746.84/1751.92 c #Conflicts: 1169000 | #Constraints: 22570
1746.84/1751.92 c #Conflicts: 1170000 | #Constraints: 23570
1746.84/1751.92 c #Conflicts: 1171000 | #Constraints: 24570
1746.84/1751.92 c #Conflicts: 1172000 | #Constraints: 25570
1746.84/1751.92 c #Conflicts: 1173000 | #Constraints: 26570
1746.84/1751.92 c #Conflicts: 1174000 | #Constraints: 27570
1746.84/1751.92 c #Conflicts: 1175000 | #Constraints: 28570
1746.84/1751.92 c #Conflicts: 1176000 | #Constraints: 29570
1746.84/1751.92 c #Conflicts: 1177000 | #Constraints: 30570
1746.84/1751.92 c #Conflicts: 1178000 | #Constraints: 31570
1746.84/1751.92 c #Conflicts: 1179000 | #Constraints: 32570
1746.84/1751.92 c #Conflicts: 1180000 | #Constraints: 33570
1746.84/1751.92 c #Conflicts: 1181000 | #Constraints: 34570
1746.84/1751.92 c #Conflicts: 1182000 | #Constraints: 35570
1746.84/1751.92 c #Conflicts: 1183000 | #Constraints: 36570
1746.84/1751.92 c #Conflicts: 1184000 | #Constraints: 37570
1746.84/1751.92 c #Conflicts: 1185000 | #Constraints: 38570
1746.84/1751.92 c #Conflicts: 1186000 | #Constraints: 39570
1746.84/1751.92 c #Conflicts: 1187000 | #Constraints: 40570
1746.84/1751.92 c #Conflicts: 1188000 | #Constraints: 41570
1746.84/1751.92 c #Conflicts: 1189000 | #Constraints: 42570
1746.84/1751.92 c #Conflicts: 1190000 | #Constraints: 43570
1746.84/1751.92 c INPROCESSING
1746.84/1751.92 c GARBAGE COLLECT
1746.84/1751.92 c #Conflicts: 1191000 | #Constraints: 22981
1746.84/1751.92 c #Conflicts: 1192000 | #Constraints: 23981
1746.84/1751.92 c #Conflicts: 1193000 | #Constraints: 24981
1746.84/1751.92 c #Conflicts: 1194000 | #Constraints: 25981
1746.84/1751.92 c #Conflicts: 1195000 | #Constraints: 26981
1746.84/1751.92 c #Conflicts: 1196000 | #Constraints: 27981
1746.84/1751.92 c #Conflicts: 1197000 | #Constraints: 28981
1882.90/1888.31 c #Conflicts: 1198000 | #Constraints: 29981
1882.90/1888.31 c #Conflicts: 1199000 | #Constraints: 30981
1882.90/1888.31 c #Conflicts: 1200000 | #Constraints: 31981
1882.90/1888.31 c #Conflicts: 1201000 | #Constraints: 32981
1882.90/1888.31 c #Conflicts: 1202000 | #Constraints: 33981
1882.90/1888.31 c #Conflicts: 1203000 | #Constraints: 34981
1882.90/1888.31 c #Conflicts: 1204000 | #Constraints: 35981
1882.90/1888.31 c #Conflicts: 1205000 | #Constraints: 36981
1882.90/1888.31 c #Conflicts: 1206000 | #Constraints: 37981
1882.90/1888.31 c #Conflicts: 1207000 | #Constraints: 38981
1882.90/1888.31 c #Conflicts: 1208000 | #Constraints: 39981
1882.90/1888.31 c #Conflicts: 1209000 | #Constraints: 40981
1882.90/1888.31 c #Conflicts: 1210000 | #Constraints: 41981
1882.90/1888.31 c #Conflicts: 1211000 | #Constraints: 42981
1882.90/1888.31 c #Conflicts: 1212000 | #Constraints: 43981
1882.90/1888.31 c INPROCESSING
1882.90/1888.31 c GARBAGE COLLECT
1882.90/1888.31 c #Conflicts: 1213000 | #Constraints: 23165
1882.90/1888.31 c #Conflicts: 1214000 | #Constraints: 24165
1882.90/1888.31 c #Conflicts: 1215000 | #Constraints: 25165
1882.90/1888.31 c #Conflicts: 1216000 | #Constraints: 26165
1882.90/1888.31 c #Conflicts: 1217000 | #Constraints: 27165
1882.90/1888.31 c #Conflicts: 1218000 | #Constraints: 28165
1882.90/1888.31 c #Conflicts: 1219000 | #Constraints: 29165
1882.90/1888.31 c #Conflicts: 1220000 | #Constraints: 30165
1882.90/1888.31 c #Conflicts: 1221000 | #Constraints: 31165
1882.90/1888.31 c #Conflicts: 1222000 | #Constraints: 32165
1882.90/1888.31 c #Conflicts: 1223000 | #Constraints: 33165
1882.90/1888.31 c #Conflicts: 1224000 | #Constraints: 34165
1882.90/1888.31 c #Conflicts: 1225000 | #Constraints: 35165
1882.90/1888.31 c #Conflicts: 1226000 | #Constraints: 36165
1882.90/1888.31 c #Conflicts: 1227000 | #Constraints: 37165
1882.90/1888.31 c #Conflicts: 1228000 | #Constraints: 38165
1882.90/1888.31 c #Conflicts: 1229000 | #Constraints: 39165
1882.90/1888.31 c #Conflicts: 1230000 | #Constraints: 40165
1882.90/1888.31 c #Conflicts: 1231000 | #Constraints: 41165
1882.90/1888.31 c #Conflicts: 1232000 | #Constraints: 42165
1882.90/1888.31 c #Conflicts: 1233000 | #Constraints: 43165
1882.90/1888.31 c #Conflicts: 1234000 | #Constraints: 44165
1882.90/1888.31 c INPROCESSING
1882.90/1888.31 c GARBAGE COLLECT
1882.90/1888.31 c #Conflicts: 1235000 | #Constraints: 23169
1882.90/1888.31 c #Conflicts: 1236000 | #Constraints: 24169
1882.90/1888.31 c #Conflicts: 1237000 | #Constraints: 25169
1882.90/1888.31 c #Conflicts: 1238000 | #Constraints: 26169
1882.90/1888.31 c #Conflicts: 1239000 | #Constraints: 27169
1882.90/1888.31 c #Conflicts: 1240000 | #Constraints: 28169
1882.90/1888.31 c #Conflicts: 1241000 | #Constraints: 29169
1882.90/1888.31 c #Conflicts: 1242000 | #Constraints: 30169
1882.90/1888.31 c #Conflicts: 1243000 | #Constraints: 31169
1882.90/1888.31 c #Conflicts: 1244000 | #Constraints: 32169
1882.90/1888.31 c #Conflicts: 1245000 | #Constraints: 33169
1882.90/1888.31 c #Conflicts: 1246000 | #Constraints: 34169
1882.90/1888.31 c #Conflicts: 1247000 | #Constraints: 35169
1882.90/1888.31 c #Conflicts: 1248000 | #Constraints: 36169
1882.90/1888.31 c #Conflicts: 1249000 | #Constraints: 37169
1882.90/1888.31 c #Conflicts: 1250000 | #Constraints: 38169
1882.90/1888.31 c #Conflicts: 1251000 | #Constraints: 39169
1882.90/1888.31 c #Conflicts: 1252000 | #Constraints: 40169
1882.90/1888.31 c #Conflicts: 1253000 | #Constraints: 41169
1882.90/1888.31 c #Conflicts: 1254000 | #Constraints: 42169
1882.90/1888.31 c #Conflicts: 1255000 | #Constraints: 43169
1882.90/1888.31 c #Conflicts: 1256000 | #Constraints: 44169
1882.90/1888.31 c INPROCESSING
1882.90/1888.31 c GARBAGE COLLECT
1882.90/1888.31 c #Conflicts: 1257000 | #Constraints: 22987
1882.90/1888.31 c #Conflicts: 1258000 | #Constraints: 23987
1882.90/1888.31 c #Conflicts: 1259000 | #Constraints: 24987
1882.90/1888.31 c #Conflicts: 1260000 | #Constraints: 25987
1882.90/1888.31 c #Conflicts: 1261000 | #Constraints: 26987
1882.90/1888.31 c #Conflicts: 1262000 | #Constraints: 27987
1882.90/1888.31 c #Conflicts: 1263000 | #Constraints: 28987
1882.90/1888.31 c #Conflicts: 1264000 | #Constraints: 29987
1882.90/1888.31 c #Conflicts: 1265000 | #Constraints: 30987
1882.90/1888.31 c #Conflicts: 1266000 | #Constraints: 31987
1882.90/1888.31 c #Conflicts: 1267000 | #Constraints: 32987
1882.90/1888.31 c #Conflicts: 1268000 | #Constraints: 33987
1882.90/1888.31 c #Conflicts: 1269000 | #Constraints: 34987
1882.90/1888.31 c #Conflicts: 1270000 | #Constraints: 35987
1882.90/1888.31 c #Conflicts: 1271000 | #Constraints: 36987
1882.90/1888.31 c #Conflicts: 1272000 | #Constraints: 37987
1882.90/1888.31 c #Conflicts: 1273000 | #Constraints: 38987
1882.90/1888.31 c #Conflicts: 1274000 | #Constraints: 39987
2036.32/2042.16 c #Conflicts: 1275000 | #Constraints: 40987
2036.32/2042.16 c #Conflicts: 1276000 | #Constraints: 41987
2036.32/2042.16 c #Conflicts: 1277000 | #Constraints: 42987
2036.32/2042.16 c #Conflicts: 1278000 | #Constraints: 43987
2036.32/2042.16 c #Conflicts: 1279000 | #Constraints: 44987
2036.32/2042.16 c INPROCESSING
2036.32/2042.16 c GARBAGE COLLECT
2036.32/2042.16 c #Conflicts: 1280000 | #Constraints: 23583
2036.32/2042.16 c #Conflicts: 1281000 | #Constraints: 24583
2036.32/2042.16 c #Conflicts: 1282000 | #Constraints: 25583
2036.32/2042.16 c #Conflicts: 1283000 | #Constraints: 26583
2036.32/2042.16 c #Conflicts: 1284000 | #Constraints: 27583
2036.32/2042.16 c #Conflicts: 1285000 | #Constraints: 28583
2036.32/2042.16 c #Conflicts: 1286000 | #Constraints: 29583
2036.32/2042.16 c #Conflicts: 1287000 | #Constraints: 30583
2036.32/2042.16 c #Conflicts: 1288000 | #Constraints: 31583
2036.32/2042.16 c #Conflicts: 1289000 | #Constraints: 32583
2036.32/2042.16 c #Conflicts: 1290000 | #Constraints: 33583
2036.32/2042.16 c #Conflicts: 1291000 | #Constraints: 34583
2036.32/2042.16 c #Conflicts: 1292000 | #Constraints: 35583
2036.32/2042.16 c #Conflicts: 1293000 | #Constraints: 36583
2036.32/2042.16 c #Conflicts: 1294000 | #Constraints: 37583
2036.32/2042.16 c #Conflicts: 1295000 | #Constraints: 38583
2036.32/2042.16 c #Conflicts: 1296000 | #Constraints: 39583
2036.32/2042.16 c #Conflicts: 1297000 | #Constraints: 40583
2036.32/2042.16 c #Conflicts: 1298000 | #Constraints: 41583
2036.32/2042.16 c #Conflicts: 1299000 | #Constraints: 42583
2036.32/2042.16 c #Conflicts: 1300000 | #Constraints: 43583
2036.32/2042.16 c #Conflicts: 1301000 | #Constraints: 44583
2036.32/2042.16 c #Conflicts: 1302000 | #Constraints: 45583
2036.32/2042.16 c INPROCESSING
2036.32/2042.16 c GARBAGE COLLECT
2036.32/2042.16 c #Conflicts: 1303000 | #Constraints: 23981
2036.32/2042.16 c #Conflicts: 1304000 | #Constraints: 24981
2036.32/2042.16 c #Conflicts: 1305000 | #Constraints: 25981
2036.32/2042.16 c #Conflicts: 1306000 | #Constraints: 26981
2036.32/2042.16 c #Conflicts: 1307000 | #Constraints: 27981
2036.32/2042.16 c #Conflicts: 1308000 | #Constraints: 28981
2036.32/2042.16 c #Conflicts: 1309000 | #Constraints: 29981
2036.32/2042.16 c #Conflicts: 1310000 | #Constraints: 30981
2036.32/2042.16 c #Conflicts: 1311000 | #Constraints: 31981
2036.32/2042.16 c #Conflicts: 1312000 | #Constraints: 32981
2036.32/2042.16 c #Conflicts: 1313000 | #Constraints: 33981
2036.32/2042.16 c #Conflicts: 1314000 | #Constraints: 34981
2036.32/2042.16 c #Conflicts: 1315000 | #Constraints: 35981
2036.32/2042.16 c #Conflicts: 1316000 | #Constraints: 36981
2036.32/2042.16 c #Conflicts: 1317000 | #Constraints: 37981
2036.32/2042.16 c #Conflicts: 1318000 | #Constraints: 38981
2036.32/2042.16 c #Conflicts: 1319000 | #Constraints: 39981
2036.32/2042.16 c #Conflicts: 1320000 | #Constraints: 40981
2036.32/2042.16 c #Conflicts: 1321000 | #Constraints: 41981
2036.32/2042.16 c #Conflicts: 1322000 | #Constraints: 42981
2036.32/2042.16 c #Conflicts: 1323000 | #Constraints: 43981
2036.32/2042.16 c #Conflicts: 1324000 | #Constraints: 44981
2036.32/2042.16 c #Conflicts: 1325000 | #Constraints: 45981
2036.32/2042.16 c INPROCESSING
2036.32/2042.16 c GARBAGE COLLECT
2036.32/2042.16 c #Conflicts: 1326000 | #Constraints: 24199
2036.32/2042.16 c #Conflicts: 1327000 | #Constraints: 25199
2036.32/2042.16 c #Conflicts: 1328000 | #Constraints: 26199
2036.32/2042.16 c #Conflicts: 1329000 | #Constraints: 27199
2036.32/2042.16 c #Conflicts: 1330000 | #Constraints: 28199
2036.32/2042.16 c #Conflicts: 1331000 | #Constraints: 29199
2036.32/2042.16 c #Conflicts: 1332000 | #Constraints: 30199
2036.32/2042.16 c #Conflicts: 1333000 | #Constraints: 31199
2036.32/2042.16 c #Conflicts: 1334000 | #Constraints: 32199
2036.32/2042.16 c #Conflicts: 1335000 | #Constraints: 33199
2036.32/2042.16 c #Conflicts: 1336000 | #Constraints: 34199
2036.32/2042.16 c #Conflicts: 1337000 | #Constraints: 35199
2036.32/2042.16 c #Conflicts: 1338000 | #Constraints: 36199
2036.32/2042.16 c #Conflicts: 1339000 | #Constraints: 37199
2036.32/2042.16 c #Conflicts: 1340000 | #Constraints: 38199
2036.32/2042.16 c #Conflicts: 1341000 | #Constraints: 39199
2036.32/2042.16 c #Conflicts: 1342000 | #Constraints: 40199
2036.32/2042.16 c #Conflicts: 1343000 | #Constraints: 41199
2036.32/2042.16 c #Conflicts: 1344000 | #Constraints: 42199
2036.32/2042.16 c #Conflicts: 1345000 | #Constraints: 43199
2036.32/2042.16 c #Conflicts: 1346000 | #Constraints: 44199
2036.32/2042.16 c #Conflicts: 1347000 | #Constraints: 45199
2036.32/2042.16 c #Conflicts: 1348000 | #Constraints: 46199
2036.32/2042.16 c INPROCESSING
2036.32/2042.16 c GARBAGE COLLECT
2036.32/2042.16 c #Conflicts: 1349000 | #Constraints: 24184
2036.32/2042.16 c #Conflicts: 1350000 | #Constraints: 25184
2199.52/2205.79 c #Conflicts: 1351000 | #Constraints: 26184
2199.52/2205.79 c #Conflicts: 1352000 | #Constraints: 27184
2199.52/2205.79 c #Conflicts: 1353000 | #Constraints: 28184
2199.52/2205.79 c #Conflicts: 1354000 | #Constraints: 29184
2199.52/2205.79 c #Conflicts: 1355000 | #Constraints: 30184
2199.52/2205.79 c #Conflicts: 1356000 | #Constraints: 31184
2199.52/2205.79 c #Conflicts: 1357000 | #Constraints: 32184
2199.52/2205.79 c #Conflicts: 1358000 | #Constraints: 33184
2199.52/2205.79 c #Conflicts: 1359000 | #Constraints: 34184
2199.52/2205.79 c #Conflicts: 1360000 | #Constraints: 35184
2199.52/2205.79 c #Conflicts: 1361000 | #Constraints: 36184
2199.52/2205.79 c #Conflicts: 1362000 | #Constraints: 37184
2199.52/2205.79 c #Conflicts: 1363000 | #Constraints: 38184
2199.52/2205.79 c #Conflicts: 1364000 | #Constraints: 39184
2199.52/2205.79 c #Conflicts: 1365000 | #Constraints: 40184
2199.52/2205.79 c #Conflicts: 1366000 | #Constraints: 41184
2199.52/2205.79 c #Conflicts: 1367000 | #Constraints: 42184
2199.52/2205.79 c #Conflicts: 1368000 | #Constraints: 43184
2199.52/2205.79 c #Conflicts: 1369000 | #Constraints: 44184
2199.52/2205.79 c #Conflicts: 1370000 | #Constraints: 45184
2199.52/2205.79 c #Conflicts: 1371000 | #Constraints: 46184
2199.52/2205.79 c INPROCESSING
2199.52/2205.79 c GARBAGE COLLECT
2199.52/2205.79 c #Conflicts: 1372000 | #Constraints: 23994
2199.52/2205.79 c #Conflicts: 1373000 | #Constraints: 24994
2199.52/2205.79 c #Conflicts: 1374000 | #Constraints: 25994
2199.52/2205.79 c #Conflicts: 1375000 | #Constraints: 26994
2199.52/2205.79 c #Conflicts: 1376000 | #Constraints: 27994
2199.52/2205.79 c #Conflicts: 1377000 | #Constraints: 28994
2199.52/2205.79 c #Conflicts: 1378000 | #Constraints: 29994
2199.52/2205.79 c #Conflicts: 1379000 | #Constraints: 30994
2199.52/2205.79 c #Conflicts: 1380000 | #Constraints: 31994
2199.52/2205.79 c #Conflicts: 1381000 | #Constraints: 32994
2199.52/2205.79 c #Conflicts: 1382000 | #Constraints: 33994
2199.52/2205.79 c #Conflicts: 1383000 | #Constraints: 34994
2199.52/2205.79 c #Conflicts: 1384000 | #Constraints: 35994
2199.52/2205.79 c #Conflicts: 1385000 | #Constraints: 36994
2199.52/2205.79 c #Conflicts: 1386000 | #Constraints: 37994
2199.52/2205.79 c #Conflicts: 1387000 | #Constraints: 38994
2199.52/2205.79 c #Conflicts: 1388000 | #Constraints: 39994
2199.52/2205.79 c #Conflicts: 1389000 | #Constraints: 40994
2199.52/2205.79 c #Conflicts: 1390000 | #Constraints: 41994
2199.52/2205.79 c #Conflicts: 1391000 | #Constraints: 42994
2199.52/2205.79 c #Conflicts: 1392000 | #Constraints: 43994
2199.52/2205.79 c #Conflicts: 1393000 | #Constraints: 44994
2199.52/2205.79 c #Conflicts: 1394000 | #Constraints: 45994
2199.52/2205.79 c #Conflicts: 1395000 | #Constraints: 46994
2199.52/2205.79 c INPROCESSING
2199.52/2205.79 c GARBAGE COLLECT
2199.52/2205.79 c #Conflicts: 1396000 | #Constraints: 24604
2199.52/2205.79 c #Conflicts: 1397000 | #Constraints: 25604
2199.52/2205.79 c #Conflicts: 1398000 | #Constraints: 26604
2199.52/2205.79 c #Conflicts: 1399000 | #Constraints: 27604
2199.52/2205.79 c #Conflicts: 1400000 | #Constraints: 28604
2199.52/2205.79 c #Conflicts: 1401000 | #Constraints: 29604
2199.52/2205.79 c #Conflicts: 1402000 | #Constraints: 30604
2199.52/2205.79 c #Conflicts: 1403000 | #Constraints: 31604
2199.52/2205.79 c #Conflicts: 1404000 | #Constraints: 32604
2199.52/2205.79 c #Conflicts: 1405000 | #Constraints: 33604
2199.52/2205.79 c #Conflicts: 1406000 | #Constraints: 34604
2199.52/2205.79 c #Conflicts: 1407000 | #Constraints: 35604
2199.52/2205.79 c #Conflicts: 1408000 | #Constraints: 36604
2199.52/2205.79 c #Conflicts: 1409000 | #Constraints: 37604
2199.52/2205.79 c #Conflicts: 1410000 | #Constraints: 38604
2199.52/2205.79 c #Conflicts: 1411000 | #Constraints: 39604
2199.52/2205.79 c #Conflicts: 1412000 | #Constraints: 40604
2199.52/2205.79 c #Conflicts: 1413000 | #Constraints: 41604
2199.52/2205.79 c #Conflicts: 1414000 | #Constraints: 42604
2199.52/2205.79 c #Conflicts: 1415000 | #Constraints: 43604
2199.52/2205.79 c #Conflicts: 1416000 | #Constraints: 44604
2199.52/2205.79 c #Conflicts: 1417000 | #Constraints: 45604
2199.52/2205.79 c #Conflicts: 1418000 | #Constraints: 46604
2199.52/2205.79 c #Conflicts: 1419000 | #Constraints: 47604
2199.52/2205.79 c INPROCESSING
2199.52/2205.79 c GARBAGE COLLECT
2199.52/2205.79 c #Conflicts: 1420000 | #Constraints: 24982
2199.52/2205.79 c #Conflicts: 1421000 | #Constraints: 25982
2199.52/2205.79 c #Conflicts: 1422000 | #Constraints: 26982
2199.52/2205.79 c #Conflicts: 1423000 | #Constraints: 27982
2199.52/2205.79 c #Conflicts: 1424000 | #Constraints: 28982
2199.52/2205.79 c #Conflicts: 1425000 | #Constraints: 29982
2199.52/2205.79 c #Conflicts: 1426000 | #Constraints: 30982
2199.52/2205.79 c #Conflicts: 1427000 | #Constraints: 31982
2353.33/2359.90 c #Conflicts: 1428000 | #Constraints: 32982
2353.33/2359.90 c #Conflicts: 1429000 | #Constraints: 33982
2353.33/2359.90 c #Conflicts: 1430000 | #Constraints: 34982
2353.33/2359.90 c #Conflicts: 1431000 | #Constraints: 35982
2353.33/2359.90 c #Conflicts: 1432000 | #Constraints: 36982
2353.33/2359.90 c #Conflicts: 1433000 | #Constraints: 37982
2353.33/2359.90 c #Conflicts: 1434000 | #Constraints: 38982
2353.33/2359.90 c #Conflicts: 1435000 | #Constraints: 39982
2353.33/2359.90 c #Conflicts: 1436000 | #Constraints: 40982
2353.33/2359.90 c #Conflicts: 1437000 | #Constraints: 41982
2353.33/2359.90 c #Conflicts: 1438000 | #Constraints: 42982
2353.33/2359.90 c #Conflicts: 1439000 | #Constraints: 43982
2353.33/2359.90 c #Conflicts: 1440000 | #Constraints: 44982
2353.33/2359.90 c #Conflicts: 1441000 | #Constraints: 45982
2353.33/2359.90 c #Conflicts: 1442000 | #Constraints: 46982
2353.33/2359.90 c #Conflicts: 1443000 | #Constraints: 47982
2353.33/2359.90 c INPROCESSING
2353.33/2359.90 c GARBAGE COLLECT
2353.33/2359.90 c #Conflicts: 1444000 | #Constraints: 25169
2353.33/2359.90 c #Conflicts: 1445000 | #Constraints: 26169
2353.33/2359.90 c #Conflicts: 1446000 | #Constraints: 27169
2353.33/2359.90 c #Conflicts: 1447000 | #Constraints: 28169
2353.33/2359.90 c #Conflicts: 1448000 | #Constraints: 29169
2353.33/2359.90 c #Conflicts: 1449000 | #Constraints: 30169
2353.33/2359.90 c #Conflicts: 1450000 | #Constraints: 31169
2353.33/2359.90 c #Conflicts: 1451000 | #Constraints: 32169
2353.33/2359.90 c #Conflicts: 1452000 | #Constraints: 33169
2353.33/2359.90 c #Conflicts: 1453000 | #Constraints: 34169
2353.33/2359.90 c #Conflicts: 1454000 | #Constraints: 35169
2353.33/2359.90 c #Conflicts: 1455000 | #Constraints: 36169
2353.33/2359.90 c #Conflicts: 1456000 | #Constraints: 37169
2353.33/2359.90 c #Conflicts: 1457000 | #Constraints: 38169
2353.33/2359.90 c #Conflicts: 1458000 | #Constraints: 39169
2353.33/2359.90 c #Conflicts: 1459000 | #Constraints: 40169
2353.33/2359.90 c #Conflicts: 1460000 | #Constraints: 41169
2353.33/2359.90 c #Conflicts: 1461000 | #Constraints: 42169
2353.33/2359.90 c #Conflicts: 1462000 | #Constraints: 43169
2353.33/2359.90 c #Conflicts: 1463000 | #Constraints: 44169
2353.33/2359.90 c #Conflicts: 1464000 | #Constraints: 45169
2353.33/2359.90 c #Conflicts: 1465000 | #Constraints: 46169
2353.33/2359.90 c #Conflicts: 1466000 | #Constraints: 47169
2353.33/2359.90 c #Conflicts: 1467000 | #Constraints: 48169
2353.33/2359.90 c INPROCESSING
2353.33/2359.90 c GARBAGE COLLECT
2353.33/2359.90 c #Conflicts: 1468000 | #Constraints: 25160
2353.33/2359.90 c #Conflicts: 1469000 | #Constraints: 26160
2353.33/2359.90 c #Conflicts: 1470000 | #Constraints: 27160
2353.33/2359.90 c #Conflicts: 1471000 | #Constraints: 28160
2353.33/2359.90 c #Conflicts: 1472000 | #Constraints: 29160
2353.33/2359.90 c #Conflicts: 1473000 | #Constraints: 30160
2353.33/2359.90 c #Conflicts: 1474000 | #Constraints: 31160
2353.33/2359.90 c #Conflicts: 1475000 | #Constraints: 32160
2353.33/2359.90 c #Conflicts: 1476000 | #Constraints: 33160
2353.33/2359.90 c #Conflicts: 1477000 | #Constraints: 34160
2353.33/2359.90 c #Conflicts: 1478000 | #Constraints: 35160
2353.33/2359.90 c #Conflicts: 1479000 | #Constraints: 36160
2353.33/2359.90 c #Conflicts: 1480000 | #Constraints: 37160
2353.33/2359.90 c #Conflicts: 1481000 | #Constraints: 38160
2353.33/2359.90 c #Conflicts: 1482000 | #Constraints: 39160
2353.33/2359.90 c #Conflicts: 1483000 | #Constraints: 40160
2353.33/2359.90 c #Conflicts: 1484000 | #Constraints: 41160
2353.33/2359.90 c #Conflicts: 1485000 | #Constraints: 42160
2353.33/2359.90 c #Conflicts: 1486000 | #Constraints: 43160
2353.33/2359.90 c #Conflicts: 1487000 | #Constraints: 44160
2353.33/2359.90 c #Conflicts: 1488000 | #Constraints: 45160
2353.33/2359.90 c #Conflicts: 1489000 | #Constraints: 46160
2353.33/2359.90 c #Conflicts: 1490000 | #Constraints: 47160
2353.33/2359.90 c #Conflicts: 1491000 | #Constraints: 48160
2353.33/2359.90 c INPROCESSING
2353.33/2359.90 c GARBAGE COLLECT
2353.33/2359.90 c #Conflicts: 1492000 | #Constraints: 24945
2353.33/2359.90 c #Conflicts: 1493000 | #Constraints: 25945
2353.33/2359.90 c #Conflicts: 1494000 | #Constraints: 26945
2353.33/2359.90 c #Conflicts: 1495000 | #Constraints: 27945
2353.33/2359.90 c #Conflicts: 1496000 | #Constraints: 28945
2353.33/2359.90 c #Conflicts: 1497000 | #Constraints: 29945
2353.33/2359.90 c #Conflicts: 1498000 | #Constraints: 30945
2353.33/2359.90 c #Conflicts: 1499000 | #Constraints: 31945
2353.33/2359.90 c #Conflicts: 1500000 | #Constraints: 32945
2353.33/2359.90 c #Conflicts: 1501000 | #Constraints: 33945
2353.33/2359.90 c #Conflicts: 1502000 | #Constraints: 34945
2353.33/2359.90 c #Conflicts: 1503000 | #Constraints: 35945
2353.33/2359.90 c #Conflicts: 1504000 | #Constraints: 36945
2574.08/2581.23 c #Conflicts: 1505000 | #Constraints: 37945
2574.08/2581.23 c #Conflicts: 1506000 | #Constraints: 38945
2574.08/2581.23 c #Conflicts: 1507000 | #Constraints: 39945
2574.08/2581.23 c #Conflicts: 1508000 | #Constraints: 40945
2574.08/2581.23 c #Conflicts: 1509000 | #Constraints: 41945
2574.08/2581.23 c #Conflicts: 1510000 | #Constraints: 42945
2574.08/2581.23 c #Conflicts: 1511000 | #Constraints: 43945
2574.08/2581.23 c #Conflicts: 1512000 | #Constraints: 44945
2574.08/2581.23 c #Conflicts: 1513000 | #Constraints: 45945
2574.08/2581.23 c #Conflicts: 1514000 | #Constraints: 46945
2574.08/2581.23 c #Conflicts: 1515000 | #Constraints: 47945
2574.08/2581.23 c #Conflicts: 1516000 | #Constraints: 48945
2574.08/2581.23 c INPROCESSING
2574.08/2581.23 c GARBAGE COLLECT
2574.08/2581.23 c #Conflicts: 1517000 | #Constraints: 25549
2574.08/2581.23 c #Conflicts: 1518000 | #Constraints: 26549
2574.08/2581.23 c #Conflicts: 1519000 | #Constraints: 27549
2574.08/2581.23 c #Conflicts: 1520000 | #Constraints: 28549
2574.08/2581.23 c #Conflicts: 1521000 | #Constraints: 29549
2574.08/2581.23 c #Conflicts: 1522000 | #Constraints: 30549
2574.08/2581.23 c #Conflicts: 1523000 | #Constraints: 31549
2574.08/2581.23 c #Conflicts: 1524000 | #Constraints: 32549
2574.08/2581.23 c #Conflicts: 1525000 | #Constraints: 33549
2574.08/2581.23 c #Conflicts: 1526000 | #Constraints: 34549
2574.08/2581.23 c #Conflicts: 1527000 | #Constraints: 35549
2574.08/2581.23 c #Conflicts: 1528000 | #Constraints: 36549
2574.08/2581.23 c #Conflicts: 1529000 | #Constraints: 37549
2574.08/2581.23 c #Conflicts: 1530000 | #Constraints: 38549
2574.08/2581.23 c #Conflicts: 1531000 | #Constraints: 39549
2574.08/2581.23 c #Conflicts: 1532000 | #Constraints: 40549
2574.08/2581.23 c #Conflicts: 1533000 | #Constraints: 41549
2574.08/2581.23 c #Conflicts: 1534000 | #Constraints: 42549
2574.08/2581.23 c #Conflicts: 1535000 | #Constraints: 43549
2574.08/2581.23 c #Conflicts: 1536000 | #Constraints: 44549
2574.08/2581.23 c #Conflicts: 1537000 | #Constraints: 45549
2574.08/2581.23 c #Conflicts: 1538000 | #Constraints: 46549
2574.08/2581.23 c #Conflicts: 1539000 | #Constraints: 47549
2574.08/2581.23 c #Conflicts: 1540000 | #Constraints: 48549
2574.08/2581.23 c #Conflicts: 1541000 | #Constraints: 49549
2574.08/2581.23 c INPROCESSING
2574.08/2581.23 c GARBAGE COLLECT
2574.08/2581.23 c #Conflicts: 1542000 | #Constraints: 25977
2574.08/2581.23 c #Conflicts: 1543000 | #Constraints: 26977
2574.08/2581.23 c #Conflicts: 1544000 | #Constraints: 27977
2574.08/2581.23 c #Conflicts: 1545000 | #Constraints: 28977
2574.08/2581.23 c #Conflicts: 1546000 | #Constraints: 29977
2574.08/2581.23 c #Conflicts: 1547000 | #Constraints: 30977
2574.08/2581.23 c #Conflicts: 1548000 | #Constraints: 31977
2574.08/2581.23 c #Conflicts: 1549000 | #Constraints: 32977
2574.08/2581.23 c #Conflicts: 1550000 | #Constraints: 33977
2574.08/2581.23 c #Conflicts: 1551000 | #Constraints: 34977
2574.08/2581.23 c #Conflicts: 1552000 | #Constraints: 35977
2574.08/2581.23 c #Conflicts: 1553000 | #Constraints: 36977
2574.08/2581.23 c #Conflicts: 1554000 | #Constraints: 37977
2574.08/2581.23 c #Conflicts: 1555000 | #Constraints: 38977
2574.08/2581.23 c #Conflicts: 1556000 | #Constraints: 39977
2574.08/2581.23 c #Conflicts: 1557000 | #Constraints: 40977
2574.08/2581.23 c #Conflicts: 1558000 | #Constraints: 41977
2574.08/2581.23 c #Conflicts: 1559000 | #Constraints: 42977
2574.08/2581.23 c #Conflicts: 1560000 | #Constraints: 43977
2574.08/2581.23 c #Conflicts: 1561000 | #Constraints: 44977
2574.08/2581.23 c #Conflicts: 1562000 | #Constraints: 45977
2574.08/2581.23 c #Conflicts: 1563000 | #Constraints: 46977
2574.08/2581.23 c #Conflicts: 1564000 | #Constraints: 47977
2574.08/2581.23 c #Conflicts: 1565000 | #Constraints: 48977
2574.08/2581.23 c #Conflicts: 1566000 | #Constraints: 49977
2574.08/2581.23 c INPROCESSING
2574.08/2581.23 c GARBAGE COLLECT
2574.08/2581.23 c #Conflicts: 1567000 | #Constraints: 26179
2574.08/2581.23 c #Conflicts: 1568000 | #Constraints: 27179
2574.08/2581.23 c #Conflicts: 1569000 | #Constraints: 28179
2574.08/2581.23 c #Conflicts: 1570000 | #Constraints: 29179
2574.08/2581.23 c #Conflicts: 1571000 | #Constraints: 30179
2574.08/2581.23 c #Conflicts: 1572000 | #Constraints: 31179
2574.08/2581.23 c #Conflicts: 1573000 | #Constraints: 32179
2574.08/2581.23 c #Conflicts: 1574000 | #Constraints: 33179
2574.08/2581.23 c #Conflicts: 1575000 | #Constraints: 34179
2574.08/2581.23 c #Conflicts: 1576000 | #Constraints: 35179
2574.08/2581.23 c #Conflicts: 1577000 | #Constraints: 36179
2574.08/2581.23 c #Conflicts: 1578000 | #Constraints: 37179
2574.08/2581.23 c #Conflicts: 1579000 | #Constraints: 38179
2574.08/2581.23 c #Conflicts: 1580000 | #Constraints: 39179
2574.08/2581.23 c #Conflicts: 1581000 | #Constraints: 40179
2818.08/2825.84 c #Conflicts: 1582000 | #Constraints: 41179
2818.08/2825.84 c #Conflicts: 1583000 | #Constraints: 42179
2818.08/2825.84 c #Conflicts: 1584000 | #Constraints: 43179
2818.08/2825.84 c #Conflicts: 1585000 | #Constraints: 44179
2818.08/2825.84 c #Conflicts: 1586000 | #Constraints: 45179
2818.08/2825.84 c #Conflicts: 1587000 | #Constraints: 46179
2818.08/2825.84 c #Conflicts: 1588000 | #Constraints: 47179
2818.08/2825.84 c #Conflicts: 1589000 | #Constraints: 48179
2818.08/2825.84 c #Conflicts: 1590000 | #Constraints: 49179
2818.08/2825.84 c #Conflicts: 1591000 | #Constraints: 50179
2818.08/2825.84 c INPROCESSING
2818.08/2825.84 c GARBAGE COLLECT
2818.08/2825.84 c #Conflicts: 1592000 | #Constraints: 26169
2818.08/2825.84 c #Conflicts: 1593000 | #Constraints: 27169
2818.08/2825.84 c #Conflicts: 1594000 | #Constraints: 28169
2818.08/2825.84 c #Conflicts: 1595000 | #Constraints: 29169
2818.08/2825.84 c #Conflicts: 1596000 | #Constraints: 30169
2818.08/2825.84 c #Conflicts: 1597000 | #Constraints: 31169
2818.08/2825.84 c #Conflicts: 1598000 | #Constraints: 32169
2818.08/2825.84 c #Conflicts: 1599000 | #Constraints: 33169
2818.08/2825.84 c #Conflicts: 1600000 | #Constraints: 34169
2818.08/2825.84 c #Conflicts: 1601000 | #Constraints: 35169
2818.08/2825.84 c #Conflicts: 1602000 | #Constraints: 36169
2818.08/2825.84 c #Conflicts: 1603000 | #Constraints: 37169
2818.08/2825.84 c #Conflicts: 1604000 | #Constraints: 38169
2818.08/2825.84 c #Conflicts: 1605000 | #Constraints: 39169
2818.08/2825.84 c #Conflicts: 1606000 | #Constraints: 40169
2818.08/2825.84 c #Conflicts: 1607000 | #Constraints: 41169
2818.08/2825.84 c #Conflicts: 1608000 | #Constraints: 42169
2818.08/2825.84 c #Conflicts: 1609000 | #Constraints: 43169
2818.08/2825.84 c #Conflicts: 1610000 | #Constraints: 44169
2818.08/2825.84 c #Conflicts: 1611000 | #Constraints: 45169
2818.08/2825.84 c #Conflicts: 1612000 | #Constraints: 46169
2818.08/2825.84 c #Conflicts: 1613000 | #Constraints: 47169
2818.08/2825.84 c #Conflicts: 1614000 | #Constraints: 48169
2818.08/2825.84 c #Conflicts: 1615000 | #Constraints: 49169
2818.08/2825.84 c #Conflicts: 1616000 | #Constraints: 50169
2818.08/2825.84 c INPROCESSING
2818.08/2825.84 c GARBAGE COLLECT
2818.08/2825.84 c #Conflicts: 1617000 | #Constraints: 25962
2818.08/2825.84 c #Conflicts: 1618000 | #Constraints: 26962
2818.08/2825.84 c #Conflicts: 1619000 | #Constraints: 27962
2818.08/2825.84 c #Conflicts: 1620000 | #Constraints: 28962
2818.08/2825.84 c #Conflicts: 1621000 | #Constraints: 29962
2818.08/2825.84 c #Conflicts: 1622000 | #Constraints: 30962
2818.08/2825.84 c #Conflicts: 1623000 | #Constraints: 31962
2818.08/2825.84 c #Conflicts: 1624000 | #Constraints: 32962
2818.08/2825.84 c #Conflicts: 1625000 | #Constraints: 33962
2818.08/2825.84 c #Conflicts: 1626000 | #Constraints: 34962
2818.08/2825.84 c #Conflicts: 1627000 | #Constraints: 35962
2818.08/2825.84 c #Conflicts: 1628000 | #Constraints: 36962
2818.08/2825.84 c #Conflicts: 1629000 | #Constraints: 37962
2818.08/2825.84 c #Conflicts: 1630000 | #Constraints: 38962
2818.08/2825.84 c #Conflicts: 1631000 | #Constraints: 39962
2818.08/2825.84 c #Conflicts: 1632000 | #Constraints: 40962
2818.08/2825.84 c #Conflicts: 1633000 | #Constraints: 41962
2818.08/2825.84 c #Conflicts: 1634000 | #Constraints: 42962
2818.08/2825.84 c #Conflicts: 1635000 | #Constraints: 43962
2818.08/2825.84 c #Conflicts: 1636000 | #Constraints: 44962
2818.08/2825.84 c #Conflicts: 1637000 | #Constraints: 45962
2818.08/2825.84 c #Conflicts: 1638000 | #Constraints: 46962
2818.08/2825.84 c #Conflicts: 1639000 | #Constraints: 47962
2818.08/2825.84 c #Conflicts: 1640000 | #Constraints: 48962
2818.08/2825.84 c #Conflicts: 1641000 | #Constraints: 49962
2818.08/2825.84 c #Conflicts: 1642000 | #Constraints: 50962
2818.08/2825.84 c INPROCESSING
2818.08/2825.84 c GARBAGE COLLECT
2818.08/2825.84 c #Conflicts: 1643000 | #Constraints: 26556
2818.08/2825.84 c #Conflicts: 1644000 | #Constraints: 27556
2818.08/2825.84 c #Conflicts: 1645000 | #Constraints: 28556
2818.08/2825.84 c #Conflicts: 1646000 | #Constraints: 29556
2818.08/2825.84 c #Conflicts: 1647000 | #Constraints: 30556
2818.08/2825.84 c #Conflicts: 1648000 | #Constraints: 31556
2818.08/2825.84 c #Conflicts: 1649000 | #Constraints: 32556
2818.08/2825.84 c #Conflicts: 1650000 | #Constraints: 33556
2818.08/2825.84 c #Conflicts: 1651000 | #Constraints: 34556
2818.08/2825.84 c #Conflicts: 1652000 | #Constraints: 35556
2818.08/2825.84 c #Conflicts: 1653000 | #Constraints: 36556
2818.08/2825.84 c #Conflicts: 1654000 | #Constraints: 37556
2818.08/2825.84 c #Conflicts: 1655000 | #Constraints: 38556
2818.08/2825.84 c #Conflicts: 1656000 | #Constraints: 39556
2818.08/2825.84 c #Conflicts: 1657000 | #Constraints: 40556
2818.08/2825.84 c #Conflicts: 1658000 | #Constraints: 41556
3005.71/3013.94 c #Conflicts: 1659000 | #Constraints: 42556
3005.71/3013.94 c #Conflicts: 1660000 | #Constraints: 43556
3005.71/3013.94 c #Conflicts: 1661000 | #Constraints: 44556
3005.71/3013.94 c #Conflicts: 1662000 | #Constraints: 45556
3005.71/3013.94 c #Conflicts: 1663000 | #Constraints: 46556
3005.71/3013.94 c #Conflicts: 1664000 | #Constraints: 47556
3005.71/3013.94 c #Conflicts: 1665000 | #Constraints: 48556
3005.71/3013.94 c #Conflicts: 1666000 | #Constraints: 49556
3005.71/3013.94 c #Conflicts: 1667000 | #Constraints: 50556
3005.71/3013.94 c #Conflicts: 1668000 | #Constraints: 51556
3005.71/3013.94 c INPROCESSING
3005.71/3013.94 c GARBAGE COLLECT
3005.71/3013.94 c #Conflicts: 1669000 | #Constraints: 26948
3005.71/3013.94 c #Conflicts: 1670000 | #Constraints: 27948
3005.71/3013.94 c #Conflicts: 1671000 | #Constraints: 28948
3005.71/3013.94 c #Conflicts: 1672000 | #Constraints: 29948
3005.71/3013.94 c #Conflicts: 1673000 | #Constraints: 30948
3005.71/3013.94 c #Conflicts: 1674000 | #Constraints: 31948
3005.71/3013.94 c #Conflicts: 1675000 | #Constraints: 32948
3005.71/3013.94 c #Conflicts: 1676000 | #Constraints: 33948
3005.71/3013.94 c #Conflicts: 1677000 | #Constraints: 34948
3005.71/3013.94 c #Conflicts: 1678000 | #Constraints: 35948
3005.71/3013.94 c #Conflicts: 1679000 | #Constraints: 36948
3005.71/3013.94 c #Conflicts: 1680000 | #Constraints: 37948
3005.71/3013.94 c #Conflicts: 1681000 | #Constraints: 38948
3005.71/3013.94 c #Conflicts: 1682000 | #Constraints: 39948
3005.71/3013.94 c #Conflicts: 1683000 | #Constraints: 40948
3005.71/3013.94 c #Conflicts: 1684000 | #Constraints: 41948
3005.71/3013.94 c #Conflicts: 1685000 | #Constraints: 42948
3005.71/3013.94 c #Conflicts: 1686000 | #Constraints: 43948
3005.71/3013.94 c #Conflicts: 1687000 | #Constraints: 44948
3005.71/3013.94 c #Conflicts: 1688000 | #Constraints: 45948
3005.71/3013.94 c #Conflicts: 1689000 | #Constraints: 46948
3005.71/3013.94 c #Conflicts: 1690000 | #Constraints: 47948
3005.71/3013.94 c #Conflicts: 1691000 | #Constraints: 48948
3005.71/3013.94 c #Conflicts: 1692000 | #Constraints: 49948
3005.71/3013.94 c #Conflicts: 1693000 | #Constraints: 50948
3005.71/3013.94 c #Conflicts: 1694000 | #Constraints: 51948
3005.71/3013.94 c INPROCESSING
3005.71/3013.94 c GARBAGE COLLECT
3005.71/3013.94 c #Conflicts: 1695000 | #Constraints: 27148
3005.71/3013.94 c #Conflicts: 1696000 | #Constraints: 28148
3005.71/3013.94 c #Conflicts: 1697000 | #Constraints: 29148
3005.71/3013.94 c #Conflicts: 1698000 | #Constraints: 30148
3005.71/3013.94 c #Conflicts: 1699000 | #Constraints: 31148
3005.71/3013.94 c #Conflicts: 1700000 | #Constraints: 32148
3005.71/3013.94 c #Conflicts: 1701000 | #Constraints: 33148
3005.71/3013.94 c #Conflicts: 1702000 | #Constraints: 34148
3005.71/3013.94 c #Conflicts: 1703000 | #Constraints: 35148
3005.71/3013.94 c #Conflicts: 1704000 | #Constraints: 36148
3005.71/3013.94 c #Conflicts: 1705000 | #Constraints: 37148
3005.71/3013.94 c #Conflicts: 1706000 | #Constraints: 38148
3005.71/3013.94 c #Conflicts: 1707000 | #Constraints: 39148
3005.71/3013.94 c #Conflicts: 1708000 | #Constraints: 40148
3005.71/3013.94 c #Conflicts: 1709000 | #Constraints: 41148
3005.71/3013.94 c #Conflicts: 1710000 | #Constraints: 42148
3005.71/3013.94 c #Conflicts: 1711000 | #Constraints: 43148
3005.71/3013.94 c #Conflicts: 1712000 | #Constraints: 44148
3005.71/3013.94 c #Conflicts: 1713000 | #Constraints: 45148
3005.71/3013.94 c #Conflicts: 1714000 | #Constraints: 46148
3005.71/3013.94 c #Conflicts: 1715000 | #Constraints: 47148
3005.71/3013.94 c #Conflicts: 1716000 | #Constraints: 48148
3005.71/3013.94 c #Conflicts: 1717000 | #Constraints: 49148
3005.71/3013.94 c #Conflicts: 1718000 | #Constraints: 50148
3005.71/3013.94 c #Conflicts: 1719000 | #Constraints: 51148
3005.71/3013.94 c #Conflicts: 1720000 | #Constraints: 52148
3005.71/3013.94 c INPROCESSING
3005.71/3013.94 c GARBAGE COLLECT
3005.71/3013.94 c #Conflicts: 1721000 | #Constraints: 27184
3005.71/3013.94 c #Conflicts: 1722000 | #Constraints: 28184
3005.71/3013.94 c #Conflicts: 1723000 | #Constraints: 29184
3005.71/3013.94 c #Conflicts: 1724000 | #Constraints: 30184
3005.71/3013.94 c #Conflicts: 1725000 | #Constraints: 31184
3005.71/3013.94 c #Conflicts: 1726000 | #Constraints: 32184
3005.71/3013.94 c #Conflicts: 1727000 | #Constraints: 33184
3005.71/3013.94 c #Conflicts: 1728000 | #Constraints: 34184
3005.71/3013.94 c #Conflicts: 1729000 | #Constraints: 35184
3005.71/3013.94 c #Conflicts: 1730000 | #Constraints: 36184
3005.71/3013.94 c #Conflicts: 1731000 | #Constraints: 37184
3005.71/3013.94 c #Conflicts: 1732000 | #Constraints: 38184
3005.71/3013.94 c #Conflicts: 1733000 | #Constraints: 39184
3005.71/3013.94 c #Conflicts: 1734000 | #Constraints: 40184
3005.71/3013.94 c #Conflicts: 1735000 | #Constraints: 41184
3209.11/3217.84 c #Conflicts: 1736000 | #Constraints: 42184
3209.11/3217.84 c #Conflicts: 1737000 | #Constraints: 43184
3209.11/3217.84 c #Conflicts: 1738000 | #Constraints: 44184
3209.11/3217.84 c #Conflicts: 1739000 | #Constraints: 45184
3209.11/3217.84 c #Conflicts: 1740000 | #Constraints: 46184
3209.11/3217.84 c #Conflicts: 1741000 | #Constraints: 47184
3209.11/3217.84 c #Conflicts: 1742000 | #Constraints: 48184
3209.11/3217.84 c #Conflicts: 1743000 | #Constraints: 49184
3209.11/3217.84 c #Conflicts: 1744000 | #Constraints: 50184
3209.11/3217.84 c #Conflicts: 1745000 | #Constraints: 51184
3209.11/3217.84 c #Conflicts: 1746000 | #Constraints: 52184
3209.11/3217.84 c INPROCESSING
3209.11/3217.84 c GARBAGE COLLECT
3209.11/3217.84 c #Conflicts: 1747000 | #Constraints: 26986
3209.11/3217.84 c #Conflicts: 1748000 | #Constraints: 27986
3209.11/3217.84 c #Conflicts: 1749000 | #Constraints: 28986
3209.11/3217.84 c #Conflicts: 1750000 | #Constraints: 29986
3209.11/3217.84 c #Conflicts: 1751000 | #Constraints: 30986
3209.11/3217.84 c #Conflicts: 1752000 | #Constraints: 31986
3209.11/3217.84 c #Conflicts: 1753000 | #Constraints: 32986
3209.11/3217.84 c #Conflicts: 1754000 | #Constraints: 33986
3209.11/3217.84 c #Conflicts: 1755000 | #Constraints: 34986
3209.11/3217.84 c #Conflicts: 1756000 | #Constraints: 35986
3209.11/3217.84 c #Conflicts: 1757000 | #Constraints: 36986
3209.11/3217.84 c #Conflicts: 1758000 | #Constraints: 37986
3209.11/3217.84 c #Conflicts: 1759000 | #Constraints: 38986
3209.11/3217.84 c #Conflicts: 1760000 | #Constraints: 39986
3209.11/3217.84 c #Conflicts: 1761000 | #Constraints: 40986
3209.11/3217.84 c #Conflicts: 1762000 | #Constraints: 41986
3209.11/3217.84 c #Conflicts: 1763000 | #Constraints: 42986
3209.11/3217.84 c #Conflicts: 1764000 | #Constraints: 43986
3209.11/3217.84 c #Conflicts: 1765000 | #Constraints: 44986
3209.11/3217.84 c #Conflicts: 1766000 | #Constraints: 45986
3209.11/3217.84 c #Conflicts: 1767000 | #Constraints: 46986
3209.11/3217.84 c #Conflicts: 1768000 | #Constraints: 47986
3209.11/3217.84 c #Conflicts: 1769000 | #Constraints: 48986
3209.11/3217.84 c #Conflicts: 1770000 | #Constraints: 49986
3209.11/3217.84 c #Conflicts: 1771000 | #Constraints: 50986
3209.11/3217.84 c #Conflicts: 1772000 | #Constraints: 51986
3209.11/3217.84 c #Conflicts: 1773000 | #Constraints: 52986
3209.11/3217.84 c INPROCESSING
3209.11/3217.84 c GARBAGE COLLECT
3209.11/3217.84 c #Conflicts: 1774000 | #Constraints: 27546
3209.11/3217.84 c #Conflicts: 1775000 | #Constraints: 28546
3209.11/3217.84 c #Conflicts: 1776000 | #Constraints: 29546
3209.11/3217.84 c #Conflicts: 1777000 | #Constraints: 30546
3209.11/3217.84 c #Conflicts: 1778000 | #Constraints: 31546
3209.11/3217.84 c #Conflicts: 1779000 | #Constraints: 32546
3209.11/3217.84 c #Conflicts: 1780000 | #Constraints: 33546
3209.11/3217.84 c #Conflicts: 1781000 | #Constraints: 34546
3209.11/3217.84 c #Conflicts: 1782000 | #Constraints: 35546
3209.11/3217.84 c #Conflicts: 1783000 | #Constraints: 36546
3209.11/3217.84 c #Conflicts: 1784000 | #Constraints: 37546
3209.11/3217.84 c #Conflicts: 1785000 | #Constraints: 38546
3209.11/3217.84 c #Conflicts: 1786000 | #Constraints: 39546
3209.11/3217.84 c #Conflicts: 1787000 | #Constraints: 40546
3209.11/3217.84 c #Conflicts: 1788000 | #Constraints: 41546
3209.11/3217.84 c #Conflicts: 1789000 | #Constraints: 42546
3209.11/3217.84 c #Conflicts: 1790000 | #Constraints: 43546
3209.11/3217.84 c #Conflicts: 1791000 | #Constraints: 44546
3209.11/3217.84 c #Conflicts: 1792000 | #Constraints: 45546
3209.11/3217.84 c #Conflicts: 1793000 | #Constraints: 46546
3209.11/3217.84 c #Conflicts: 1794000 | #Constraints: 47546
3209.11/3217.84 c #Conflicts: 1795000 | #Constraints: 48546
3209.11/3217.84 c #Conflicts: 1796000 | #Constraints: 49546
3209.11/3217.84 c #Conflicts: 1797000 | #Constraints: 50546
3209.11/3217.84 c #Conflicts: 1798000 | #Constraints: 51546
3209.11/3217.84 c #Conflicts: 1799000 | #Constraints: 52546
3209.11/3217.84 c #Conflicts: 1800000 | #Constraints: 53546
3209.11/3217.84 c INPROCESSING
3209.11/3217.84 c GARBAGE COLLECT
3209.11/3217.84 c #Conflicts: 1801000 | #Constraints: 27930
3209.11/3217.84 c #Conflicts: 1802000 | #Constraints: 28930
3209.11/3217.84 c #Conflicts: 1803000 | #Constraints: 29930
3209.11/3217.84 c #Conflicts: 1804000 | #Constraints: 30930
3209.11/3217.84 c #Conflicts: 1805000 | #Constraints: 31930
3209.11/3217.84 c #Conflicts: 1806000 | #Constraints: 32930
3209.11/3217.84 c #Conflicts: 1807000 | #Constraints: 33930
3209.11/3217.84 c #Conflicts: 1808000 | #Constraints: 34930
3209.11/3217.84 c #Conflicts: 1809000 | #Constraints: 35930
3209.11/3217.84 c #Conflicts: 1810000 | #Constraints: 36930
3209.11/3217.84 c #Conflicts: 1811000 | #Constraints: 37930
3209.11/3217.84 c #Conflicts: 1812000 | #Constraints: 38930
3437.03/3446.36 c #Conflicts: 1813000 | #Constraints: 39930
3437.03/3446.36 c #Conflicts: 1814000 | #Constraints: 40930
3437.03/3446.36 c #Conflicts: 1815000 | #Constraints: 41930
3437.03/3446.36 c #Conflicts: 1816000 | #Constraints: 42930
3437.03/3446.36 c #Conflicts: 1817000 | #Constraints: 43930
3437.03/3446.36 c #Conflicts: 1818000 | #Constraints: 44930
3437.03/3446.36 c #Conflicts: 1819000 | #Constraints: 45930
3437.03/3446.36 c #Conflicts: 1820000 | #Constraints: 46930
3437.03/3446.36 c #Conflicts: 1821000 | #Constraints: 47930
3437.03/3446.36 c #Conflicts: 1822000 | #Constraints: 48930
3437.03/3446.36 c #Conflicts: 1823000 | #Constraints: 49930
3437.03/3446.36 c #Conflicts: 1824000 | #Constraints: 50930
3437.03/3446.36 c #Conflicts: 1825000 | #Constraints: 51930
3437.03/3446.36 c #Conflicts: 1826000 | #Constraints: 52930
3437.03/3446.36 c #Conflicts: 1827000 | #Constraints: 53930
3437.03/3446.36 c INPROCESSING
3437.03/3446.36 c GARBAGE COLLECT
3437.03/3446.36 c #Conflicts: 1828000 | #Constraints: 28138
3437.03/3446.36 c #Conflicts: 1829000 | #Constraints: 29138
3437.03/3446.36 c #Conflicts: 1830000 | #Constraints: 30138
3437.03/3446.36 c #Conflicts: 1831000 | #Constraints: 31138
3437.03/3446.36 c #Conflicts: 1832000 | #Constraints: 32138
3437.03/3446.36 c #Conflicts: 1833000 | #Constraints: 33138
3437.03/3446.36 c #Conflicts: 1834000 | #Constraints: 34138
3437.03/3446.36 c #Conflicts: 1835000 | #Constraints: 35138
3437.03/3446.36 c #Conflicts: 1836000 | #Constraints: 36138
3437.03/3446.36 c #Conflicts: 1837000 | #Constraints: 37138
3437.03/3446.36 c #Conflicts: 1838000 | #Constraints: 38138
3437.03/3446.36 c #Conflicts: 1839000 | #Constraints: 39138
3437.03/3446.36 c #Conflicts: 1840000 | #Constraints: 40138
3437.03/3446.36 c #Conflicts: 1841000 | #Constraints: 41138
3437.03/3446.36 c #Conflicts: 1842000 | #Constraints: 42138
3437.03/3446.36 c #Conflicts: 1843000 | #Constraints: 43138
3437.03/3446.36 c #Conflicts: 1844000 | #Constraints: 44138
3437.03/3446.36 c #Conflicts: 1845000 | #Constraints: 45138
3437.03/3446.36 c #Conflicts: 1846000 | #Constraints: 46138
3437.03/3446.36 c #Conflicts: 1847000 | #Constraints: 47138
3437.03/3446.36 c #Conflicts: 1848000 | #Constraints: 48138
3437.03/3446.36 c #Conflicts: 1849000 | #Constraints: 49138
3437.03/3446.36 c #Conflicts: 1850000 | #Constraints: 50138
3437.03/3446.36 c #Conflicts: 1851000 | #Constraints: 51138
3437.03/3446.36 c #Conflicts: 1852000 | #Constraints: 52138
3437.03/3446.36 c #Conflicts: 1853000 | #Constraints: 53138
3437.03/3446.36 c #Conflicts: 1854000 | #Constraints: 54138
3437.03/3446.36 c INPROCESSING
3437.03/3446.36 c GARBAGE COLLECT
3437.03/3446.36 c #Conflicts: 1855000 | #Constraints: 28171
3437.03/3446.36 c #Conflicts: 1856000 | #Constraints: 29171
3437.03/3446.36 c #Conflicts: 1857000 | #Constraints: 30171
3437.03/3446.36 c #Conflicts: 1858000 | #Constraints: 31171
3437.03/3446.36 c #Conflicts: 1859000 | #Constraints: 32171
3437.03/3446.36 c #Conflicts: 1860000 | #Constraints: 33171
3437.03/3446.36 c #Conflicts: 1861000 | #Constraints: 34171
3437.03/3446.36 c #Conflicts: 1862000 | #Constraints: 35171
3437.03/3446.36 c #Conflicts: 1863000 | #Constraints: 36171
3437.03/3446.36 c #Conflicts: 1864000 | #Constraints: 37171
3437.03/3446.36 c #Conflicts: 1865000 | #Constraints: 38171
3437.03/3446.36 c #Conflicts: 1866000 | #Constraints: 39171
3437.03/3446.36 c #Conflicts: 1867000 | #Constraints: 40171
3437.03/3446.36 c #Conflicts: 1868000 | #Constraints: 41171
3437.03/3446.36 c #Conflicts: 1869000 | #Constraints: 42171
3437.03/3446.36 c #Conflicts: 1870000 | #Constraints: 43171
3437.03/3446.36 c #Conflicts: 1871000 | #Constraints: 44171
3437.03/3446.36 c #Conflicts: 1872000 | #Constraints: 45171
3437.03/3446.36 c #Conflicts: 1873000 | #Constraints: 46171
3437.03/3446.36 c #Conflicts: 1874000 | #Constraints: 47171
3437.03/3446.36 c #Conflicts: 1875000 | #Constraints: 48171
3437.03/3446.36 c #Conflicts: 1876000 | #Constraints: 49171
3437.03/3446.36 c #Conflicts: 1877000 | #Constraints: 50171
3437.03/3446.36 c #Conflicts: 1878000 | #Constraints: 51171
3437.03/3446.36 c #Conflicts: 1879000 | #Constraints: 52171
3437.03/3446.36 c #Conflicts: 1880000 | #Constraints: 53171
3437.03/3446.36 c #Conflicts: 1881000 | #Constraints: 54171
3437.03/3446.36 c INPROCESSING
3437.03/3446.36 c GARBAGE COLLECT
3437.03/3446.36 c #Conflicts: 1882000 | #Constraints: 27956
3437.03/3446.36 c #Conflicts: 1883000 | #Constraints: 28956
3437.03/3446.36 c #Conflicts: 1884000 | #Constraints: 29956
3437.03/3446.36 c #Conflicts: 1885000 | #Constraints: 30956
3437.03/3446.36 c #Conflicts: 1886000 | #Constraints: 31956
3437.03/3446.36 c #Conflicts: 1887000 | #Constraints: 32956
3437.03/3446.36 c #Conflicts: 1888000 | #Constraints: 33956
3600.01/3609.70 c #Conflicts: 1889000 | #Constraints: 34956
3600.01/3609.70 c #Conflicts: 1890000 | #Constraints: 35956
3600.01/3609.70 c #Conflicts: 1891000 | #Constraints: 36956
3600.01/3609.70 c #Conflicts: 1892000 | #Constraints: 37956
3600.01/3609.70 c #Conflicts: 1893000 | #Constraints: 38956
3600.01/3609.70 c #Conflicts: 1894000 | #Constraints: 39956
3600.01/3609.70 c #Conflicts: 1895000 | #Constraints: 40956
3600.01/3609.70 c #Conflicts: 1896000 | #Constraints: 41956
3600.01/3609.70 c #Conflicts: 1897000 | #Constraints: 42956
3600.01/3609.70 c #Conflicts: 1898000 | #Constraints: 43956
3600.01/3609.70 c #Conflicts: 1899000 | #Constraints: 44956
3600.01/3609.70 c #Conflicts: 1900000 | #Constraints: 45956
3600.01/3609.70 c #Conflicts: 1901000 | #Constraints: 46956
3600.01/3609.70 c #Conflicts: 1902000 | #Constraints: 47956
3600.01/3609.70 c #Conflicts: 1903000 | #Constraints: 48956
3600.01/3609.70 c #Conflicts: 1904000 | #Constraints: 49956
3600.01/3609.70 c #Conflicts: 1905000 | #Constraints: 50956
3600.01/3609.70 c #Conflicts: 1906000 | #Constraints: 51956
3600.01/3609.70 c #Conflicts: 1907000 | #Constraints: 52956
3600.01/3609.70 c #Conflicts: 1908000 | #Constraints: 53956
3600.01/3609.70 c #Conflicts: 1909000 | #Constraints: 54956
3600.01/3609.70 c INPROCESSING
3600.01/3609.70 c GARBAGE COLLECT
3600.01/3609.70 c #Conflicts: 1910000 | #Constraints: 28576
3600.01/3609.70 c #Conflicts: 1911000 | #Constraints: 29576
3600.01/3609.70 c #Conflicts: 1912000 | #Constraints: 30576
3600.01/3609.70 c #Conflicts: 1913000 | #Constraints: 31576
3600.01/3609.70 c #Conflicts: 1914000 | #Constraints: 32576
3600.01/3609.70 c #Conflicts: 1915000 | #Constraints: 33576
3600.01/3609.70 c #Conflicts: 1916000 | #Constraints: 34576
3600.01/3609.70 c #Conflicts: 1917000 | #Constraints: 35576
3600.01/3609.70 c #Conflicts: 1918000 | #Constraints: 36576
3600.01/3609.70 c #Conflicts: 1919000 | #Constraints: 37576
3600.01/3609.70 c #Conflicts: 1920000 | #Constraints: 38576
3600.01/3609.70 c #Conflicts: 1921000 | #Constraints: 39576
3600.01/3609.70 c #Conflicts: 1922000 | #Constraints: 40576
3600.01/3609.70 c #Conflicts: 1923000 | #Constraints: 41576
3600.01/3609.70 c #Conflicts: 1924000 | #Constraints: 42576
3600.01/3609.70 c #Conflicts: 1925000 | #Constraints: 43576
3600.01/3609.70 c #Conflicts: 1926000 | #Constraints: 44576
3600.01/3609.70 c #Conflicts: 1927000 | #Constraints: 45576
3600.01/3609.70 c #Conflicts: 1928000 | #Constraints: 46576
3600.01/3609.70 c #Conflicts: 1929000 | #Constraints: 47576
3600.01/3609.70 c #Conflicts: 1930000 | #Constraints: 48576
3600.01/3609.70 c #Conflicts: 1931000 | #Constraints: 49576
3600.01/3609.70 c #Conflicts: 1932000 | #Constraints: 50576
3600.01/3609.70 c #Conflicts: 1933000 | #Constraints: 51576
3600.01/3609.70 c #Conflicts: 1934000 | #Constraints: 52576
3600.01/3609.70 c #Conflicts: 1935000 | #Constraints: 53576
3600.01/3609.70 c #Conflicts: 1936000 | #Constraints: 54576
3600.01/3609.70 c #Conflicts: 1937000 | #Constraints: 55576
3600.01/3609.70 c INPROCESSING
3600.01/3609.70 c GARBAGE COLLECT
3600.01/3609.70 c #Conflicts: 1938000 | #Constraints: 28970
3600.01/3609.70 c #Conflicts: 1939000 | #Constraints: 29970
3600.01/3609.70 c #Conflicts: 1940000 | #Constraints: 30970
3600.01/3609.70 c #Conflicts: 1941000 | #Constraints: 31970
3600.01/3609.70 c Program interrupted by user.
3600.01/3609.70 c cpu time 3589.86 s
3600.01/3609.70 c deterministic time 419621725611 4.20e+11
3600.01/3609.70 c optimization time 8.1534 s
3600.01/3609.70 c total solve time 3282.75 s
3600.01/3609.70 c core-guided solve time 0 s
3600.01/3609.70 c propagation time 2605.05 s
3600.01/3609.70 c conflict analysis time 656.621 s
3600.01/3609.70 c propagations 215036778
3600.01/3609.70 c resolve steps 24920110
3600.01/3609.70 c decisions 5539612
3600.01/3609.70 c conflicts 1941286
3600.01/3609.70 c restarts 3801
3600.01/3609.70 c inprocessing phases 130
3600.01/3609.70 c input clauses 30
3600.01/3609.70 c input cardinalities 30
3600.01/3609.70 c input general constraints 192
3600.01/3609.70 c input average constraint length 28.98
3600.01/3609.70 c input average constraint degree 228.58
3600.01/3609.70 c learned clauses 396206
3600.01/3609.70 c learned cardinalities 7517
3600.01/3609.70 c learned general constraints 1537562
3600.01/3609.70 c learned average constraint length 130.40
3600.01/3609.70 c learned average constraint degree 6541907.74
3600.01/3609.70 c watched constraints 1219720
3600.01/3609.70 c counting constraints 318034
3600.01/3609.70 c gcd simplifications 217779
3600.01/3609.70 c detected cardinalities 957
3600.01/3609.70 c weakened non-implied lits 77363674
3600.01/3609.70 c weakened non-implying lits 251992
3600.01/3609.70 c original variables 774
3600.01/3609.70 c clausal propagations 4250333
3600.01/3609.70 c cardinality propagations 6251936
3600.01/3609.70 c watched propagations 13874710
3600.01/3609.70 c counting propagations 189022556
3600.01/3609.70 c watch lookups 88972090680
3600.01/3609.70 c watch backjump lookups 82188089878
3600.01/3609.70 c watch checks 188952047287
3600.01/3609.70 c propagation checks 57747906142
3600.01/3609.70 c constraint additions 1318497999
3600.01/3609.70 c trail pops 222517234
3600.01/3609.70 c formula constraints 252
3600.01/3609.70 c learned constraints 1941285
3600.01/3609.70 c bound constraints 0
3600.01/3609.70 c core-guided constraints 0
3600.01/3609.70 c encountered formula constraints 10635584
3600.01/3609.70 c encountered learned constraints 16225812
3600.01/3609.70 c encountered bound constraints 0
3600.01/3609.70 c encountered core-guided constraints 0
3600.01/3609.70 c LP total time 0 s
3600.01/3609.70 c LP solve time 0 s
3600.01/3609.70 c LP constraints added 0
3600.01/3609.70 c LP constraints removed 0
3600.01/3609.70 c LP pivots internal 0
3600.01/3609.70 c LP pivots root 0
3600.01/3609.70 c LP calls 0
3600.01/3609.70 c LP optimalities 0
3600.01/3609.70 c LP no pivot count 0
3600.01/3609.70 c LP infeasibilities 0
3600.01/3609.70 c LP valid Farkas constraints 0
3600.01/3609.70 c LP learned Farkas constraints 0
3600.01/3609.70 c LP basis resets 0
3600.01/3609.70 c LP cycling count 0
3600.01/3609.70 c LP singular count 0
3600.01/3609.70 c LP no primal count 0
3600.01/3609.70 c LP no farkas count 0
3600.01/3609.70 c LP other issue count 0
3600.01/3609.70 c LP Gomory cuts 0
3600.01/3609.70 c LP learned cuts 0
3600.01/3609.70 c LP deleted cuts 0
3600.01/3609.70 c LP encountered Gomory constraints 0
3600.01/3609.70 c LP encountered Farkas constraints 0
3600.01/3609.70 c LP encountered learned Farkas constraints 0
3600.01/3609.70 c CG auxiliary variables introduced 0
3600.01/3609.70 c CG solutions found 0
3600.01/3609.70 c CG cores constructed 0
3600.01/3609.70 c CG core cardinality constraints returned 0
3600.01/3609.70 c CG unit cores 0
3600.01/3609.70 c CG single cores 0
3600.01/3609.70 c CG blocks removed during cardinality reduction 0
3600.01/3609.70 c CG first core best 0
3600.01/3609.70 c CG decision core best 0
3600.01/3609.70 c CG core reduction tie 0
3600.01/3609.70 c CG core degree average 0.00
3600.01/3609.70 c CG core slack average 0.00
3600.01/3609.70 c CG exhausted 0
3600.01/3609.70 c CG exhaust time 0 s
3600.01/3609.70 c CG trimmed 0
3600.01/3609.70 c CG trim time 0 s
3600.01/3609.70 c CG minimized 0
3600.01/3609.70 c CG minimize time 0 s
3600.01/3609.70 c CG am1 prop time 0 s
3600.01/3609.70 c CG # am1s reformulated 0
3600.01/3609.70 c CG lower bound derived from am1s 0
3600.01/3609.70 c CG # clausal cores 0
3600.01/3609.70 c CG # cardinality cores 0
3600.01/3609.70 c CG # pb cores 0
3600.01/3609.70 c CG # pb reforms 0
3600.01/3609.70 c CG # cores discarded because of pb reform 0
3600.01/3609.70 d LOWERBOUND 0
3600.01/3609.70 d NCORES 0
3600.01/3609.70 d NPBCORES 0
3600.01/3609.70 d NPBREFORM 0
3600.01/3609.70 d NTRIMMED 0
3600.01/3609.70 d NEXHAUSTED 0
3600.01/3609.70 d NAM1S 0
3600.01/3609.70 d AM1LB 0
3600.01/3609.70 c [Papilo Statistics]
3600.01/3609.70 c prepro time 0.00229261s
3600.01/3609.70 c # tsx applied 6
3600.01/3609.70 c # tsx conflicts 0
3600.01/3609.70 c # bound changes 3
3600.01/3609.70 c # side changes 0
3600.01/3609.70 c # coef changes 0
3600.01/3609.70 c # rounds 2
3600.01/3609.70 c # deted vars 3
3600.01/3609.70 c # deted constrs 772
3600.01/3609.70 c # consecutive rounds of only bound changes 0
3600.01/3609.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (50780 MiB free)
memory of node 1: 64465 MiB (55848 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499341-1751404924/watcher-4499341-1751404924 -o /tmp/evaluation-result-4499341-1751404924/solver-4499341-1751404924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55037 --watchdog 3760 mixed-bag HOME/instance-4499341-1751404924.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56487, runsolver pid=56484
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109178440/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=108932 memory=32824 CPUtime=0.07 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 4803 0 0 0 7 0 0 0 20 0 1 0 56170949 111546368 8206 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 27233 8206 4096 2842 0 8927 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 108932 KiB
Current children cumulated memory: 32824 KiB
[startup+0.205493 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109176424/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=109564 memory=33464 CPUtime=0.19 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 4957 0 0 0 18 1 0 0 20 0 1 0 56170949 112193536 8366 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 27391 8366 4096 2842 0 9085 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109564 KiB
Current children cumulated memory: 33464 KiB
[startup+0.30514 s]*
/proc/loadavg: 4.12 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109176600/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=119976 memory=43064 CPUtime=0.28 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 7190 0 0 0 27 1 0 0 20 0 1 0 56170949 122855424 10766 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 29994 10766 4288 2842 0 11688 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 119976 KiB
Current children cumulated memory: 43064 KiB
[startup+0.700169 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109176632/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=149252 memory=72192 CPUtime=0.67 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 14684 0 0 0 65 2 0 0 20 0 1 0 56170949 152834048 18048 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 37313 18048 4288 2842 0 19007 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 149252 KiB
Current children cumulated memory: 72192 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109176632/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=164388 memory=85948 CPUtime=1.47 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 18217 0 0 0 144 3 0 0 20 0 1 0 56170949 168333312 21487 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 41097 21487 4288 2842 0 22791 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 164388 KiB
Current children cumulated memory: 85948 KiB
[startup+3.10534 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 56488
/proc/meminfo: memFree=109112800/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=165964 memory=88736 CPUtime=3.07 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 19193 0 0 0 304 3 0 0 20 0 1 0 56170949 169947136 22184 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 41491 22184 4288 2842 0 23185 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 88736 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 56488
/proc/meminfo: memFree=109061108/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=178372 memory=100764 CPUtime=6.25 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 22432 0 0 0 621 4 0 0 20 0 1 0 56170949 182652928 25191 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 44593 25191 4288 2842 0 26287 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 178372 KiB
Current children cumulated memory: 100764 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 56488
/proc/meminfo: memFree=109039696/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=178876 memory=101404 CPUtime=12.63 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 22585 0 0 0 1259 4 0 0 20 0 1 0 56170949 183169024 25351 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 44719 25351 4288 2842 0 26413 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 178876 KiB
Current children cumulated memory: 101404 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 56488
/proc/meminfo: memFree=109003228/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=188564 memory=109996 CPUtime=25.38 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 25225 0 0 0 2534 4 0 0 20 0 1 0 56170949 193089536 27499 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 47141 27499 4288 2842 0 28835 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 188564 KiB
Current children cumulated memory: 109996 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 56488
/proc/meminfo: memFree=108964508/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=195820 memory=117676 CPUtime=50.9 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 27140 0 0 0 5085 5 0 0 20 0 1 0 56170949 200519680 29419 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 48955 29419 4288 2842 0 30649 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 195820 KiB
Current children cumulated memory: 117676 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 56490
/proc/meminfo: memFree=108931864/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=207628 memory=129196 CPUtime=101.91 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 30026 0 0 0 10186 5 0 0 20 0 1 0 56170949 212611072 32299 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 51907 32299 4288 2842 0 33601 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 207628 KiB
Current children cumulated memory: 129196 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 56493
/proc/meminfo: memFree=108898680/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=216836 memory=138284 CPUtime=161.72 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 32278 0 0 0 16166 6 0 0 20 0 1 0 56170949 222040064 34571 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 54209 34571 4288 2842 0 35903 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 216836 KiB
Current children cumulated memory: 138284 KiB
[startup+222.3 s]
/proc/loadavg: 4.65 4.27 4.15 5/263 56495
/proc/meminfo: memFree=108862192/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=228308 memory=150572 CPUtime=221.5 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 35354 0 0 0 22144 6 0 0 20 0 1 0 56170949 233787392 37643 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 57077 37643 4288 2842 0 38771 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 228308 KiB
Current children cumulated memory: 150572 KiB
[startup+282.3 s]
/proc/loadavg: 4.69 4.33 4.18 5/264 56498
/proc/meminfo: memFree=108833468/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=246112 memory=167388 CPUtime=281.3 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 40202 0 0 0 28123 7 0 0 20 0 1 0 56170949 252018688 41847 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 61528 41847 4288 2842 0 43222 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 246112 KiB
Current children cumulated memory: 167388 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.28 4.17 5/265 56503
/proc/meminfo: memFree=108796888/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=214224 memory=144276 CPUtime=341.14 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 44207 0 0 0 34055 59 0 0 20 0 1 0 56170949 219365376 36069 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 53556 36069 4352 2842 0 35250 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 214224 KiB
Current children cumulated memory: 144276 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.26 4.17 5/266 56510
/proc/meminfo: memFree=108748520/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=221404 memory=150664 CPUtime=400.99 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 44783 0 0 0 39988 111 0 0 20 0 1 0 56170949 226717696 37666 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 55351 37666 4352 2842 0 37045 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 221404 KiB
Current children cumulated memory: 150664 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.22 4.16 5/265 56512
/proc/meminfo: memFree=108727992/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=233080 memory=156808 CPUtime=460.83 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 45299 0 0 0 45944 139 0 0 20 0 1 0 56170949 238673920 39202 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 58270 39202 4352 2842 0 39964 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
Current children cumulated memory: 185648 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 56651
/proc/meminfo: memFree=108383372/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=2914.34 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46009 0 0 0 290551 883 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 56653
/proc/meminfo: memFree=108375416/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=2974.19 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46009 0 0 0 296526 893 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 56656
/proc/meminfo: memFree=108376252/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3034.04 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46009 0 0 0 302500 904 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 56658
/proc/meminfo: memFree=108377120/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3093.9 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46009 0 0 0 308473 917 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 56660
/proc/meminfo: memFree=108369924/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3153.75 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46009 0 0 0 314443 932 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 56662
/proc/meminfo: memFree=108350124/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3213.6 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 320417 943 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 56665
/proc/meminfo: memFree=108328652/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3273.45 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 326391 954 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3342.3 s]
/proc/loadavg: 2.99 3.79 3.99 3/252 56729
/proc/meminfo: memFree=108989100/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3333.3 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 332363 967 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3402.3 s]
/proc/loadavg: 2.40 3.48 3.87 3/252 56733
/proc/meminfo: memFree=108994632/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3393.14 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 338335 979 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3462.3 s]
/proc/loadavg: 2.20 3.22 3.75 3/252 56739
/proc/meminfo: memFree=108978720/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3452.99 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 344310 989 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 3.01 3.64 3/252 56741
/proc/meminfo: memFree=108951284/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3512.84 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 350285 999 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.87 3.55 3/251 56743
/proc/meminfo: memFree=108952908/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3572.68 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 356257 1011 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 2.11 2.78 3.50 3/251 56744
/proc/meminfo: memFree=108952952/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3600.01 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 358986 1015 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 56487 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.87 s, system=10.1583 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 2.11 2.78 3.50 3/251 56744
/proc/meminfo: memFree=108952952/131249988 swapFree=33010416/33010684
[pid=56487] ppid=56484 vsize=252048 memory=185648 CPUtime=3600.01 cores=1,3
/proc/56487/stat : 56487 (mixed-bag) R 56484 56487 55025 0 -1 4194304 46030 0 0 0 358986 1015 0 0 20 0 1 0 56170949 258097152 46412 18446744073709551615 4235264 15874749 140733823033648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 35086336 140733823035804 140733823035881 140733823035881 140733823041483 0
/proc/56487/statm: 63012 46412 4352 2842 0 44706 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 185648 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.02
CPU user time (s): 3589.87
CPU system time (s): 10.1583
CPU usage (%): 99.7319
Max. virtual memory (cumulated for all children) (KiB): 257880
Max. memory (cumulated for all children) (KiB): 185648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.87
system time used= 10.1583
maximum resident set size= 186288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46058
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= 180
involuntary context switches= 1195
# summary of solver processes directly reported to runsolver:
# pid: 56487
# total CPU time (s): 3600.02
# total CPU user time (s): 3589.87
# total CPU system time (s): 10.1583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.9381 second user time and 12.4422 second system time
The end
Begin job on nodeC031 at 2025-07-01 23:22:04
IDJOB=4499341
IDBENCH=148776
IDSOLVER=3340
FILE ID=nodeC031/4499341-1751404924
RUNJOBID= nodeC031-1751397381-55037
SLURM_JOB_ID= 9598276
Free space on /tmp= 432676 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4499341-1751404924/watcher-4499341-1751404924 -o /tmp/evaluation-result-4499341-1751404924/solver-4499341-1751404924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55037 --watchdog 3760 mixed-bag HOME/instance-4499341-1751404924.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
RANDOM SEED=1329955595
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.059
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.084
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.652
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.887
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.886
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.883
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.880
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 109188176 kB
MemAvailable: 129143748 kB
Buffers: 2128 kB
Cached: 20641896 kB
SwapCached: 12 kB
Active: 947244 kB
Inactive: 20235960 kB
Active(anon): 546764 kB
Inactive(anon): 10472 kB
Active(file): 400480 kB
Inactive(file): 20225488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31752 kB
Writeback: 56 kB
AnonPages: 542292 kB
Mapped: 137772 kB
Shmem: 18052 kB
KReclaimable: 337688 kB
Slab: 429256 kB
SReclaimable: 337688 kB
SUnreclaim: 91568 kB
KernelStack: 4272 kB
PageTables: 4340 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 936744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432692 MiB
End job on nodeC031 at 2025-07-02 00:22:14