0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 146 #constraints 12
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.000276
0.00/0.00 c stratification level: 64
0.00/0.01 c bounds 282 >= 0 @ 0.005951
0.00/0.01 c stratification level: 32
0.00/0.01 c bounds 249 >= 0 @ 0.007109
0.00/0.01 c stratification level: 16
0.00/0.01 c bounds 97 >= 0 @ 0.007313
0.00/0.01 c stratification level: 8
1.19/1.20 c #Conflicts: 1000 | #Constraints: 1014
1.19/1.20 c #Conflicts: 2000 | #Constraints: 2014
1.19/1.20 c INPROCESSING
1.19/1.20 c GARBAGE COLLECT
1.19/1.20 c #Conflicts: 3000 | #Constraints: 2018
1.19/1.20 c #Conflicts: 4000 | #Constraints: 3018
1.19/1.20 c INPROCESSING
1.19/1.20 c GARBAGE COLLECT
1.19/1.20 c #Conflicts: 5000 | #Constraints: 2422
1.19/1.20 c #Conflicts: 6000 | #Constraints: 3422
1.19/1.20 c INPROCESSING
1.19/1.20 c GARBAGE COLLECT
1.19/1.20 c #Conflicts: 7000 | #Constraints: 2430
1.19/1.20 c #Conflicts: 8000 | #Constraints: 3430
1.19/1.20 c #Conflicts: 9000 | #Constraints: 4430
1.19/1.20 c INPROCESSING
1.19/1.20 c GARBAGE COLLECT
1.19/1.20 c bounds 29 >= 0 @ 1.17058
1.19/1.20 c stratification level: 4
21.45/21.59 c #Conflicts: 10000 | #Constraints: 3128
21.45/21.59 c #Conflicts: 11000 | #Constraints: 4128
21.45/21.59 c #Conflicts: 12000 | #Constraints: 5128
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 13000 | #Constraints: 3576
21.45/21.59 c #Conflicts: 14000 | #Constraints: 4576
21.45/21.59 c #Conflicts: 15000 | #Constraints: 5576
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 16000 | #Constraints: 3802
21.45/21.59 c #Conflicts: 17000 | #Constraints: 4802
21.45/21.59 c #Conflicts: 18000 | #Constraints: 5802
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 19000 | #Constraints: 3815
21.45/21.59 c #Conflicts: 20000 | #Constraints: 4815
21.45/21.59 c #Conflicts: 21000 | #Constraints: 5815
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 22000 | #Constraints: 3620
21.45/21.59 c #Conflicts: 23000 | #Constraints: 4620
21.45/21.59 c #Conflicts: 24000 | #Constraints: 5620
21.45/21.59 c #Conflicts: 25000 | #Constraints: 6620
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 26000 | #Constraints: 4223
21.45/21.59 c #Conflicts: 27000 | #Constraints: 5223
21.45/21.59 c #Conflicts: 28000 | #Constraints: 6223
21.45/21.59 c #Conflicts: 29000 | #Constraints: 7223
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 30000 | #Constraints: 4625
21.45/21.59 c #Conflicts: 31000 | #Constraints: 5625
21.45/21.59 c #Conflicts: 32000 | #Constraints: 6625
21.45/21.59 c #Conflicts: 33000 | #Constraints: 7625
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 34000 | #Constraints: 4823
21.45/21.59 c #Conflicts: 35000 | #Constraints: 5823
21.45/21.59 c #Conflicts: 36000 | #Constraints: 6823
21.45/21.59 c #Conflicts: 37000 | #Constraints: 7823
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 38000 | #Constraints: 4826
21.45/21.59 c #Conflicts: 39000 | #Constraints: 5826
21.45/21.59 c #Conflicts: 40000 | #Constraints: 6826
21.45/21.59 c #Conflicts: 41000 | #Constraints: 7826
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 42000 | #Constraints: 4626
21.45/21.59 c #Conflicts: 43000 | #Constraints: 5626
21.45/21.59 c #Conflicts: 44000 | #Constraints: 6626
21.45/21.59 c #Conflicts: 45000 | #Constraints: 7626
21.45/21.59 c #Conflicts: 46000 | #Constraints: 8626
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 47000 | #Constraints: 5224
21.45/21.59 c #Conflicts: 48000 | #Constraints: 6224
21.45/21.59 c #Conflicts: 49000 | #Constraints: 7224
21.45/21.59 c #Conflicts: 50000 | #Constraints: 8224
21.45/21.59 c #Conflicts: 51000 | #Constraints: 9224
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 52000 | #Constraints: 5624
21.45/21.59 c #Conflicts: 53000 | #Constraints: 6624
21.45/21.59 c #Conflicts: 54000 | #Constraints: 7624
21.45/21.59 c #Conflicts: 55000 | #Constraints: 8624
21.45/21.59 c #Conflicts: 56000 | #Constraints: 9624
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 57000 | #Constraints: 5826
21.45/21.59 c #Conflicts: 58000 | #Constraints: 6826
21.45/21.59 c #Conflicts: 59000 | #Constraints: 7826
21.45/21.59 c #Conflicts: 60000 | #Constraints: 8826
21.45/21.59 c #Conflicts: 61000 | #Constraints: 9826
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 62000 | #Constraints: 5826
21.45/21.59 c #Conflicts: 63000 | #Constraints: 6826
21.45/21.59 c #Conflicts: 64000 | #Constraints: 7826
21.45/21.59 c #Conflicts: 65000 | #Constraints: 8826
21.45/21.59 c #Conflicts: 66000 | #Constraints: 9826
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 67000 | #Constraints: 5625
21.45/21.59 c #Conflicts: 68000 | #Constraints: 6625
21.45/21.59 c #Conflicts: 69000 | #Constraints: 7625
21.45/21.59 c #Conflicts: 70000 | #Constraints: 8625
21.45/21.59 c #Conflicts: 71000 | #Constraints: 9625
21.45/21.59 c #Conflicts: 72000 | #Constraints: 10625
21.45/21.59 c INPROCESSING
21.45/21.59 c GARBAGE COLLECT
21.45/21.59 c #Conflicts: 73000 | #Constraints: 6227
21.45/21.59 c #Conflicts: 74000 | #Constraints: 7227
21.45/21.59 c #Conflicts: 75000 | #Constraints: 8227
21.45/21.59 c #Conflicts: 76000 | #Constraints: 9227
21.45/21.59 c #Conflicts: 77000 | #Constraints: 10227
21.45/21.59 c #Conflicts: 78000 | #Constraints: 11227
21.45/21.59 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 79000 | #Constraints: 6628
58.26/58.48 c #Conflicts: 80000 | #Constraints: 7628
58.26/58.48 c #Conflicts: 81000 | #Constraints: 8628
58.26/58.48 c #Conflicts: 82000 | #Constraints: 9628
58.26/58.48 c #Conflicts: 83000 | #Constraints: 10628
58.26/58.48 c #Conflicts: 84000 | #Constraints: 11628
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 85000 | #Constraints: 6829
58.26/58.48 c #Conflicts: 86000 | #Constraints: 7829
58.26/58.48 c #Conflicts: 87000 | #Constraints: 8829
58.26/58.48 c #Conflicts: 88000 | #Constraints: 9829
58.26/58.48 c #Conflicts: 89000 | #Constraints: 10829
58.26/58.48 c #Conflicts: 90000 | #Constraints: 11829
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 91000 | #Constraints: 6829
58.26/58.48 c #Conflicts: 92000 | #Constraints: 7829
58.26/58.48 c #Conflicts: 93000 | #Constraints: 8829
58.26/58.48 c #Conflicts: 94000 | #Constraints: 9829
58.26/58.48 c #Conflicts: 95000 | #Constraints: 10829
58.26/58.48 c #Conflicts: 96000 | #Constraints: 11829
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 97000 | #Constraints: 6629
58.26/58.48 c #Conflicts: 98000 | #Constraints: 7629
58.26/58.48 c #Conflicts: 99000 | #Constraints: 8629
58.26/58.48 c #Conflicts: 100000 | #Constraints: 9629
58.26/58.48 c #Conflicts: 101000 | #Constraints: 10629
58.26/58.48 c #Conflicts: 102000 | #Constraints: 11629
58.26/58.48 c #Conflicts: 103000 | #Constraints: 12629
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 104000 | #Constraints: 7228
58.26/58.48 c #Conflicts: 105000 | #Constraints: 8228
58.26/58.48 c #Conflicts: 106000 | #Constraints: 9228
58.26/58.48 c #Conflicts: 107000 | #Constraints: 10228
58.26/58.48 c #Conflicts: 108000 | #Constraints: 11228
58.26/58.48 c #Conflicts: 109000 | #Constraints: 12228
58.26/58.48 c #Conflicts: 110000 | #Constraints: 13228
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 111000 | #Constraints: 7632
58.26/58.48 c #Conflicts: 112000 | #Constraints: 8632
58.26/58.48 c #Conflicts: 113000 | #Constraints: 9632
58.26/58.48 c #Conflicts: 114000 | #Constraints: 10632
58.26/58.48 c #Conflicts: 115000 | #Constraints: 11632
58.26/58.48 c #Conflicts: 116000 | #Constraints: 12632
58.26/58.48 c #Conflicts: 117000 | #Constraints: 13632
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 118000 | #Constraints: 7831
58.26/58.48 c #Conflicts: 119000 | #Constraints: 8831
58.26/58.48 c #Conflicts: 120000 | #Constraints: 9831
58.26/58.48 c #Conflicts: 121000 | #Constraints: 10831
58.26/58.48 c #Conflicts: 122000 | #Constraints: 11831
58.26/58.48 c #Conflicts: 123000 | #Constraints: 12831
58.26/58.48 c #Conflicts: 124000 | #Constraints: 13831
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 125000 | #Constraints: 7831
58.26/58.48 c #Conflicts: 126000 | #Constraints: 8831
58.26/58.48 c #Conflicts: 127000 | #Constraints: 9831
58.26/58.48 c #Conflicts: 128000 | #Constraints: 10831
58.26/58.48 c #Conflicts: 129000 | #Constraints: 11831
58.26/58.48 c #Conflicts: 130000 | #Constraints: 12831
58.26/58.48 c #Conflicts: 131000 | #Constraints: 13831
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 132000 | #Constraints: 7630
58.26/58.48 c #Conflicts: 133000 | #Constraints: 8630
58.26/58.48 c #Conflicts: 134000 | #Constraints: 9630
58.26/58.48 c #Conflicts: 135000 | #Constraints: 10630
58.26/58.48 c #Conflicts: 136000 | #Constraints: 11630
58.26/58.48 c #Conflicts: 137000 | #Constraints: 12630
58.26/58.48 c #Conflicts: 138000 | #Constraints: 13630
58.26/58.48 c #Conflicts: 139000 | #Constraints: 14630
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 140000 | #Constraints: 8231
58.26/58.48 c #Conflicts: 141000 | #Constraints: 9231
58.26/58.48 c #Conflicts: 142000 | #Constraints: 10231
58.26/58.48 c #Conflicts: 143000 | #Constraints: 11231
58.26/58.48 c #Conflicts: 144000 | #Constraints: 12231
58.26/58.48 c #Conflicts: 145000 | #Constraints: 13231
58.26/58.48 c #Conflicts: 146000 | #Constraints: 14231
58.26/58.48 c #Conflicts: 147000 | #Constraints: 15231
58.26/58.48 c INPROCESSING
58.26/58.48 c GARBAGE COLLECT
58.26/58.48 c #Conflicts: 148000 | #Constraints: 8635
58.26/58.48 c #Conflicts: 149000 | #Constraints: 9635
58.26/58.48 c #Conflicts: 150000 | #Constraints: 10635
58.26/58.48 c #Conflicts: 151000 | #Constraints: 11635
76.02/76.20 c #Conflicts: 152000 | #Constraints: 12635
76.02/76.20 c #Conflicts: 153000 | #Constraints: 13635
76.02/76.20 c #Conflicts: 154000 | #Constraints: 14635
76.02/76.20 c #Conflicts: 155000 | #Constraints: 15635
76.02/76.20 c INPROCESSING
76.02/76.20 c GARBAGE COLLECT
76.02/76.20 c #Conflicts: 156000 | #Constraints: 8834
76.02/76.20 c #Conflicts: 157000 | #Constraints: 9834
76.02/76.20 c #Conflicts: 158000 | #Constraints: 10834
76.02/76.20 c #Conflicts: 159000 | #Constraints: 11834
76.02/76.20 c #Conflicts: 160000 | #Constraints: 12834
76.02/76.20 c #Conflicts: 161000 | #Constraints: 13834
76.02/76.20 c #Conflicts: 162000 | #Constraints: 14834
76.02/76.20 c #Conflicts: 163000 | #Constraints: 15834
76.02/76.20 c INPROCESSING
76.02/76.20 c GARBAGE COLLECT
76.02/76.20 c #Conflicts: 164000 | #Constraints: 8832
76.02/76.20 c #Conflicts: 165000 | #Constraints: 9832
76.02/76.20 c #Conflicts: 166000 | #Constraints: 10832
76.02/76.20 c #Conflicts: 167000 | #Constraints: 11832
76.02/76.20 c #Conflicts: 168000 | #Constraints: 12832
76.02/76.20 c #Conflicts: 169000 | #Constraints: 13832
76.02/76.20 c #Conflicts: 170000 | #Constraints: 14832
76.02/76.20 c #Conflicts: 171000 | #Constraints: 15832
76.02/76.20 c INPROCESSING
76.02/76.20 c GARBAGE COLLECT
76.02/76.20 c #Conflicts: 172000 | #Constraints: 8629
76.02/76.20 c #Conflicts: 173000 | #Constraints: 9629
76.02/76.20 c #Conflicts: 174000 | #Constraints: 10629
76.02/76.20 c #Conflicts: 175000 | #Constraints: 11629
76.02/76.20 c #Conflicts: 176000 | #Constraints: 12629
76.02/76.20 c #Conflicts: 177000 | #Constraints: 13629
76.02/76.20 c #Conflicts: 178000 | #Constraints: 14629
76.02/76.20 c #Conflicts: 179000 | #Constraints: 15629
76.02/76.20 c #Conflicts: 180000 | #Constraints: 16629
76.02/76.20 c INPROCESSING
76.02/76.20 c GARBAGE COLLECT
76.02/76.20 c #Conflicts: 181000 | #Constraints: 9229
76.02/76.20 c bounds 15 >= 0 @ 75.4344
76.02/76.20 c stratification level: 2
125.50/125.86 c #Conflicts: 182000 | #Constraints: 10230
125.50/125.86 c #Conflicts: 183000 | #Constraints: 11230
125.50/125.86 c #Conflicts: 184000 | #Constraints: 12230
125.50/125.86 c #Conflicts: 185000 | #Constraints: 13230
125.50/125.86 c #Conflicts: 186000 | #Constraints: 14230
125.50/125.86 c #Conflicts: 187000 | #Constraints: 15230
125.50/125.86 c #Conflicts: 188000 | #Constraints: 16230
125.50/125.86 c #Conflicts: 189000 | #Constraints: 17230
125.50/125.86 c INPROCESSING
125.50/125.86 c GARBAGE COLLECT
125.50/125.86 c #Conflicts: 190000 | #Constraints: 9631
125.50/125.86 c #Conflicts: 191000 | #Constraints: 10631
125.50/125.86 c #Conflicts: 192000 | #Constraints: 11631
125.50/125.86 c #Conflicts: 193000 | #Constraints: 12631
125.50/125.86 c #Conflicts: 194000 | #Constraints: 13631
125.50/125.86 c #Conflicts: 195000 | #Constraints: 14631
125.50/125.86 c #Conflicts: 196000 | #Constraints: 15631
125.50/125.86 c #Conflicts: 197000 | #Constraints: 16631
125.50/125.86 c #Conflicts: 198000 | #Constraints: 17631
125.50/125.86 c INPROCESSING
125.50/125.86 c GARBAGE COLLECT
125.50/125.86 c #Conflicts: 199000 | #Constraints: 9833
125.50/125.86 c #Conflicts: 200000 | #Constraints: 10833
125.50/125.86 c #Conflicts: 201000 | #Constraints: 11833
125.50/125.86 c #Conflicts: 202000 | #Constraints: 12833
125.50/125.86 c #Conflicts: 203000 | #Constraints: 13833
125.50/125.86 c #Conflicts: 204000 | #Constraints: 14833
125.50/125.86 c #Conflicts: 205000 | #Constraints: 15833
125.50/125.86 c #Conflicts: 206000 | #Constraints: 16833
125.50/125.86 c #Conflicts: 207000 | #Constraints: 17833
125.50/125.86 c INPROCESSING
125.50/125.86 c GARBAGE COLLECT
125.50/125.86 c #Conflicts: 208000 | #Constraints: 9831
125.50/125.86 c #Conflicts: 209000 | #Constraints: 10831
125.50/125.86 c #Conflicts: 210000 | #Constraints: 11831
125.50/125.86 c #Conflicts: 211000 | #Constraints: 12831
125.50/125.86 c #Conflicts: 212000 | #Constraints: 13831
125.50/125.86 c #Conflicts: 213000 | #Constraints: 14831
125.50/125.86 c #Conflicts: 214000 | #Constraints: 15831
125.50/125.86 c #Conflicts: 215000 | #Constraints: 16831
125.50/125.86 c #Conflicts: 216000 | #Constraints: 17831
125.50/125.86 c INPROCESSING
125.50/125.86 c GARBAGE COLLECT
125.50/125.86 c #Conflicts: 217000 | #Constraints: 9630
125.50/125.86 c #Conflicts: 218000 | #Constraints: 10630
125.50/125.86 c #Conflicts: 219000 | #Constraints: 11630
125.50/125.86 c #Conflicts: 220000 | #Constraints: 12630
125.50/125.86 c #Conflicts: 221000 | #Constraints: 13630
125.50/125.86 c #Conflicts: 222000 | #Constraints: 14630
125.50/125.86 c #Conflicts: 223000 | #Constraints: 15630
125.50/125.86 c #Conflicts: 224000 | #Constraints: 16630
125.50/125.86 c #Conflicts: 225000 | #Constraints: 17630
125.50/125.86 c #Conflicts: 226000 | #Constraints: 18630
125.50/125.86 c INPROCESSING
125.50/125.86 c GARBAGE COLLECT
125.50/125.86 c #Conflicts: 227000 | #Constraints: 10230
125.50/125.86 c #Conflicts: 228000 | #Constraints: 11230
125.50/125.86 c #Conflicts: 229000 | #Constraints: 12230
125.50/125.86 c #Conflicts: 230000 | #Constraints: 13230
125.50/125.86 c #Conflicts: 231000 | #Constraints: 14230
125.50/125.86 c #Conflicts: 232000 | #Constraints: 15230
125.50/125.86 c #Conflicts: 233000 | #Constraints: 16230
125.50/125.86 c #Conflicts: 234000 | #Constraints: 17230
125.50/125.86 c #Conflicts: 235000 | #Constraints: 18230
125.50/125.86 c #Conflicts: 236000 | #Constraints: 19230
125.50/125.86 c INPROCESSING
125.50/125.86 c GARBAGE COLLECT
125.50/125.86 c #Conflicts: 237000 | #Constraints: 10627
125.50/125.86 c #Conflicts: 238000 | #Constraints: 11627
125.50/125.86 c #Conflicts: 239000 | #Constraints: 12627
125.50/125.86 c #Conflicts: 240000 | #Constraints: 13627
125.50/125.86 c #Conflicts: 241000 | #Constraints: 14627
125.50/125.86 c #Conflicts: 242000 | #Constraints: 15627
125.50/125.86 c #Conflicts: 243000 | #Constraints: 16627
125.50/125.86 c #Conflicts: 244000 | #Constraints: 17627
125.50/125.86 c #Conflicts: 245000 | #Constraints: 18627
125.50/125.86 c #Conflicts: 246000 | #Constraints: 19627
125.50/125.86 c INPROCESSING
125.50/125.86 c GARBAGE COLLECT
125.50/125.86 c #Conflicts: 247000 | #Constraints: 10826
125.50/125.86 c #Conflicts: 248000 | #Constraints: 11826
125.50/125.86 c #Conflicts: 249000 | #Constraints: 12826
125.50/125.86 c #Conflicts: 250000 | #Constraints: 13826
125.50/125.86 c #Conflicts: 251000 | #Constraints: 14826
125.50/125.86 c #Conflicts: 252000 | #Constraints: 15826
125.50/125.86 c #Conflicts: 253000 | #Constraints: 16826
125.50/125.86 c #Conflicts: 254000 | #Constraints: 17826
125.50/125.86 c #Conflicts: 255000 | #Constraints: 18826
125.50/125.86 c #Conflicts: 256000 | #Constraints: 19826
182.14/182.62 c INPROCESSING
182.14/182.62 c GARBAGE COLLECT
182.14/182.62 c #Conflicts: 257000 | #Constraints: 10825
182.14/182.62 c #Conflicts: 258000 | #Constraints: 11825
182.14/182.62 c #Conflicts: 259000 | #Constraints: 12825
182.14/182.62 c #Conflicts: 260000 | #Constraints: 13825
182.14/182.62 c #Conflicts: 261000 | #Constraints: 14825
182.14/182.62 c #Conflicts: 262000 | #Constraints: 15825
182.14/182.62 c #Conflicts: 263000 | #Constraints: 16825
182.14/182.62 c #Conflicts: 264000 | #Constraints: 17825
182.14/182.62 c #Conflicts: 265000 | #Constraints: 18825
182.14/182.62 c #Conflicts: 266000 | #Constraints: 19825
182.14/182.62 c INPROCESSING
182.14/182.62 c GARBAGE COLLECT
182.14/182.62 c #Conflicts: 267000 | #Constraints: 10625
182.14/182.62 c #Conflicts: 268000 | #Constraints: 11625
182.14/182.62 c #Conflicts: 269000 | #Constraints: 12625
182.14/182.62 c #Conflicts: 270000 | #Constraints: 13625
182.14/182.62 c #Conflicts: 271000 | #Constraints: 14625
182.14/182.62 c #Conflicts: 272000 | #Constraints: 15625
182.14/182.62 c #Conflicts: 273000 | #Constraints: 16625
182.14/182.62 c #Conflicts: 274000 | #Constraints: 17625
182.14/182.62 c #Conflicts: 275000 | #Constraints: 18625
182.14/182.62 c #Conflicts: 276000 | #Constraints: 19625
182.14/182.62 c #Conflicts: 277000 | #Constraints: 20625
182.14/182.62 c INPROCESSING
182.14/182.62 c GARBAGE COLLECT
182.14/182.62 c #Conflicts: 278000 | #Constraints: 11227
182.14/182.62 c #Conflicts: 279000 | #Constraints: 12227
182.14/182.62 c #Conflicts: 280000 | #Constraints: 13227
182.14/182.62 c #Conflicts: 281000 | #Constraints: 14227
182.14/182.62 c #Conflicts: 282000 | #Constraints: 15227
182.14/182.62 c #Conflicts: 283000 | #Constraints: 16227
182.14/182.62 c #Conflicts: 284000 | #Constraints: 17227
182.14/182.62 c #Conflicts: 285000 | #Constraints: 18227
182.14/182.62 c #Conflicts: 286000 | #Constraints: 19227
182.14/182.62 c #Conflicts: 287000 | #Constraints: 20227
182.14/182.62 c #Conflicts: 288000 | #Constraints: 21227
182.14/182.62 c INPROCESSING
182.14/182.62 c GARBAGE COLLECT
182.14/182.62 c #Conflicts: 289000 | #Constraints: 11627
182.14/182.62 c #Conflicts: 290000 | #Constraints: 12627
182.14/182.62 c #Conflicts: 291000 | #Constraints: 13627
182.14/182.62 c #Conflicts: 292000 | #Constraints: 14627
182.14/182.62 c #Conflicts: 293000 | #Constraints: 15627
182.14/182.62 c #Conflicts: 294000 | #Constraints: 16627
182.14/182.62 c #Conflicts: 295000 | #Constraints: 17627
182.14/182.62 c #Conflicts: 296000 | #Constraints: 18627
182.14/182.62 c #Conflicts: 297000 | #Constraints: 19627
182.14/182.62 c #Conflicts: 298000 | #Constraints: 20627
182.14/182.62 c #Conflicts: 299000 | #Constraints: 21627
182.14/182.62 c INPROCESSING
182.14/182.62 c GARBAGE COLLECT
182.14/182.62 c #Conflicts: 300000 | #Constraints: 11826
182.14/182.62 c #Conflicts: 301000 | #Constraints: 12826
182.14/182.62 c #Conflicts: 302000 | #Constraints: 13826
182.14/182.62 c #Conflicts: 303000 | #Constraints: 14826
182.14/182.62 c #Conflicts: 304000 | #Constraints: 15826
182.14/182.62 c #Conflicts: 305000 | #Constraints: 16826
182.14/182.62 c #Conflicts: 306000 | #Constraints: 17826
182.14/182.62 c #Conflicts: 307000 | #Constraints: 18826
182.14/182.62 c #Conflicts: 308000 | #Constraints: 19826
182.14/182.62 c #Conflicts: 309000 | #Constraints: 20826
182.14/182.62 c #Conflicts: 310000 | #Constraints: 21826
182.14/182.62 c INPROCESSING
182.14/182.62 c GARBAGE COLLECT
182.14/182.62 c #Conflicts: 311000 | #Constraints: 11826
182.14/182.62 c #Conflicts: 312000 | #Constraints: 12826
182.14/182.62 c #Conflicts: 313000 | #Constraints: 13826
182.14/182.62 c #Conflicts: 314000 | #Constraints: 14826
182.14/182.62 c #Conflicts: 315000 | #Constraints: 15826
182.14/182.62 c #Conflicts: 316000 | #Constraints: 16826
182.14/182.62 c #Conflicts: 317000 | #Constraints: 17826
182.14/182.62 c #Conflicts: 318000 | #Constraints: 18826
182.14/182.62 c #Conflicts: 319000 | #Constraints: 19826
182.14/182.62 c #Conflicts: 320000 | #Constraints: 20826
182.14/182.62 c #Conflicts: 321000 | #Constraints: 21826
182.14/182.62 c INPROCESSING
182.14/182.62 c GARBAGE COLLECT
182.14/182.62 c #Conflicts: 322000 | #Constraints: 11629
182.14/182.62 c #Conflicts: 323000 | #Constraints: 12629
182.14/182.62 c #Conflicts: 324000 | #Constraints: 13629
182.14/182.62 c #Conflicts: 325000 | #Constraints: 14629
182.14/182.62 c #Conflicts: 326000 | #Constraints: 15629
182.14/182.62 c #Conflicts: 327000 | #Constraints: 16629
182.14/182.62 c #Conflicts: 328000 | #Constraints: 17629
182.14/182.62 c #Conflicts: 329000 | #Constraints: 18629
182.14/182.62 c #Conflicts: 330000 | #Constraints: 19629
246.27/246.99 c #Conflicts: 331000 | #Constraints: 20629
246.27/246.99 c #Conflicts: 332000 | #Constraints: 21629
246.27/246.99 c #Conflicts: 333000 | #Constraints: 22629
246.27/246.99 c INPROCESSING
246.27/246.99 c GARBAGE COLLECT
246.27/246.99 c #Conflicts: 334000 | #Constraints: 12228
246.27/246.99 c #Conflicts: 335000 | #Constraints: 13228
246.27/246.99 c #Conflicts: 336000 | #Constraints: 14228
246.27/246.99 c #Conflicts: 337000 | #Constraints: 15228
246.27/246.99 c #Conflicts: 338000 | #Constraints: 16228
246.27/246.99 c #Conflicts: 339000 | #Constraints: 17228
246.27/246.99 c #Conflicts: 340000 | #Constraints: 18228
246.27/246.99 c #Conflicts: 341000 | #Constraints: 19228
246.27/246.99 c #Conflicts: 342000 | #Constraints: 20228
246.27/246.99 c #Conflicts: 343000 | #Constraints: 21228
246.27/246.99 c #Conflicts: 344000 | #Constraints: 22228
246.27/246.99 c #Conflicts: 345000 | #Constraints: 23228
246.27/246.99 c INPROCESSING
246.27/246.99 c GARBAGE COLLECT
246.27/246.99 c #Conflicts: 346000 | #Constraints: 12629
246.27/246.99 c #Conflicts: 347000 | #Constraints: 13629
246.27/246.99 c #Conflicts: 348000 | #Constraints: 14629
246.27/246.99 c #Conflicts: 349000 | #Constraints: 15629
246.27/246.99 c #Conflicts: 350000 | #Constraints: 16629
246.27/246.99 c #Conflicts: 351000 | #Constraints: 17629
246.27/246.99 c #Conflicts: 352000 | #Constraints: 18629
246.27/246.99 c #Conflicts: 353000 | #Constraints: 19629
246.27/246.99 c #Conflicts: 354000 | #Constraints: 20629
246.27/246.99 c #Conflicts: 355000 | #Constraints: 21629
246.27/246.99 c #Conflicts: 356000 | #Constraints: 22629
246.27/246.99 c #Conflicts: 357000 | #Constraints: 23629
246.27/246.99 c INPROCESSING
246.27/246.99 c GARBAGE COLLECT
246.27/246.99 c #Conflicts: 358000 | #Constraints: 12826
246.27/246.99 c #Conflicts: 359000 | #Constraints: 13826
246.27/246.99 c #Conflicts: 360000 | #Constraints: 14826
246.27/246.99 c #Conflicts: 361000 | #Constraints: 15826
246.27/246.99 c #Conflicts: 362000 | #Constraints: 16826
246.27/246.99 c #Conflicts: 363000 | #Constraints: 17826
246.27/246.99 c #Conflicts: 364000 | #Constraints: 18826
246.27/246.99 c #Conflicts: 365000 | #Constraints: 19826
246.27/246.99 c #Conflicts: 366000 | #Constraints: 20826
246.27/246.99 c #Conflicts: 367000 | #Constraints: 21826
246.27/246.99 c #Conflicts: 368000 | #Constraints: 22826
246.27/246.99 c #Conflicts: 369000 | #Constraints: 23826
246.27/246.99 c INPROCESSING
246.27/246.99 c GARBAGE COLLECT
246.27/246.99 c #Conflicts: 370000 | #Constraints: 12828
246.27/246.99 c #Conflicts: 371000 | #Constraints: 13828
246.27/246.99 c #Conflicts: 372000 | #Constraints: 14828
246.27/246.99 c #Conflicts: 373000 | #Constraints: 15828
246.27/246.99 c #Conflicts: 374000 | #Constraints: 16828
246.27/246.99 c #Conflicts: 375000 | #Constraints: 17828
246.27/246.99 c #Conflicts: 376000 | #Constraints: 18828
246.27/246.99 c #Conflicts: 377000 | #Constraints: 19828
246.27/246.99 c #Conflicts: 378000 | #Constraints: 20828
246.27/246.99 c #Conflicts: 379000 | #Constraints: 21828
246.27/246.99 c #Conflicts: 380000 | #Constraints: 22828
246.27/246.99 c #Conflicts: 381000 | #Constraints: 23828
246.27/246.99 c INPROCESSING
246.27/246.99 c GARBAGE COLLECT
246.27/246.99 c #Conflicts: 382000 | #Constraints: 12627
246.27/246.99 c #Conflicts: 383000 | #Constraints: 13627
246.27/246.99 c #Conflicts: 384000 | #Constraints: 14627
246.27/246.99 c #Conflicts: 385000 | #Constraints: 15627
246.27/246.99 c #Conflicts: 386000 | #Constraints: 16627
246.27/246.99 c #Conflicts: 387000 | #Constraints: 17627
246.27/246.99 c #Conflicts: 388000 | #Constraints: 18627
246.27/246.99 c #Conflicts: 389000 | #Constraints: 19627
246.27/246.99 c #Conflicts: 390000 | #Constraints: 20627
246.27/246.99 c #Conflicts: 391000 | #Constraints: 21627
246.27/246.99 c #Conflicts: 392000 | #Constraints: 22627
246.27/246.99 c #Conflicts: 393000 | #Constraints: 23627
246.27/246.99 c #Conflicts: 394000 | #Constraints: 24627
246.27/246.99 c INPROCESSING
246.27/246.99 c GARBAGE COLLECT
246.27/246.99 c #Conflicts: 395000 | #Constraints: 13227
246.27/246.99 c #Conflicts: 396000 | #Constraints: 14227
246.27/246.99 c #Conflicts: 397000 | #Constraints: 15227
246.27/246.99 c #Conflicts: 398000 | #Constraints: 16227
246.27/246.99 c #Conflicts: 399000 | #Constraints: 17227
246.27/246.99 c #Conflicts: 400000 | #Constraints: 18227
246.27/246.99 c #Conflicts: 401000 | #Constraints: 19227
246.27/246.99 c #Conflicts: 402000 | #Constraints: 20227
246.27/246.99 c #Conflicts: 403000 | #Constraints: 21227
246.27/246.99 c #Conflicts: 404000 | #Constraints: 22227
246.27/246.99 c #Conflicts: 405000 | #Constraints: 23227
325.66/326.59 c #Conflicts: 406000 | #Constraints: 24227
325.66/326.59 c #Conflicts: 407000 | #Constraints: 25227
325.66/326.59 c INPROCESSING
325.66/326.59 c GARBAGE COLLECT
325.66/326.59 c #Conflicts: 408000 | #Constraints: 13629
325.66/326.59 c #Conflicts: 409000 | #Constraints: 14629
325.66/326.59 c #Conflicts: 410000 | #Constraints: 15629
325.66/326.59 c #Conflicts: 411000 | #Constraints: 16629
325.66/326.59 c #Conflicts: 412000 | #Constraints: 17629
325.66/326.59 c #Conflicts: 413000 | #Constraints: 18629
325.66/326.59 c #Conflicts: 414000 | #Constraints: 19629
325.66/326.59 c #Conflicts: 415000 | #Constraints: 20629
325.66/326.59 c #Conflicts: 416000 | #Constraints: 21629
325.66/326.59 c #Conflicts: 417000 | #Constraints: 22629
325.66/326.59 c #Conflicts: 418000 | #Constraints: 23629
325.66/326.59 c #Conflicts: 419000 | #Constraints: 24629
325.66/326.59 c #Conflicts: 420000 | #Constraints: 25629
325.66/326.59 c INPROCESSING
325.66/326.59 c GARBAGE COLLECT
325.66/326.59 c #Conflicts: 421000 | #Constraints: 13828
325.66/326.59 c #Conflicts: 422000 | #Constraints: 14828
325.66/326.59 c #Conflicts: 423000 | #Constraints: 15828
325.66/326.59 c #Conflicts: 424000 | #Constraints: 16828
325.66/326.59 c #Conflicts: 425000 | #Constraints: 17828
325.66/326.59 c #Conflicts: 426000 | #Constraints: 18828
325.66/326.59 c #Conflicts: 427000 | #Constraints: 19828
325.66/326.59 c #Conflicts: 428000 | #Constraints: 20828
325.66/326.59 c #Conflicts: 429000 | #Constraints: 21828
325.66/326.59 c #Conflicts: 430000 | #Constraints: 22828
325.66/326.59 c #Conflicts: 431000 | #Constraints: 23828
325.66/326.59 c #Conflicts: 432000 | #Constraints: 24828
325.66/326.59 c #Conflicts: 433000 | #Constraints: 25828
325.66/326.59 c INPROCESSING
325.66/326.59 c GARBAGE COLLECT
325.66/326.59 c #Conflicts: 434000 | #Constraints: 13828
325.66/326.59 c #Conflicts: 435000 | #Constraints: 14828
325.66/326.59 c #Conflicts: 436000 | #Constraints: 15828
325.66/326.59 c #Conflicts: 437000 | #Constraints: 16828
325.66/326.59 c #Conflicts: 438000 | #Constraints: 17828
325.66/326.59 c #Conflicts: 439000 | #Constraints: 18828
325.66/326.59 c #Conflicts: 440000 | #Constraints: 19828
325.66/326.59 c #Conflicts: 441000 | #Constraints: 20828
325.66/326.59 c #Conflicts: 442000 | #Constraints: 21828
325.66/326.59 c #Conflicts: 443000 | #Constraints: 22828
325.66/326.59 c #Conflicts: 444000 | #Constraints: 23828
325.66/326.59 c #Conflicts: 445000 | #Constraints: 24828
325.66/326.59 c #Conflicts: 446000 | #Constraints: 25828
325.66/326.59 c INPROCESSING
325.66/326.59 c GARBAGE COLLECT
325.66/326.59 c #Conflicts: 447000 | #Constraints: 13631
325.66/326.59 c #Conflicts: 448000 | #Constraints: 14631
325.66/326.59 c #Conflicts: 449000 | #Constraints: 15631
325.66/326.59 c #Conflicts: 450000 | #Constraints: 16631
325.66/326.59 c #Conflicts: 451000 | #Constraints: 17631
325.66/326.59 c #Conflicts: 452000 | #Constraints: 18631
325.66/326.59 c #Conflicts: 453000 | #Constraints: 19631
325.66/326.59 c #Conflicts: 454000 | #Constraints: 20631
325.66/326.59 c #Conflicts: 455000 | #Constraints: 21631
325.66/326.59 c #Conflicts: 456000 | #Constraints: 22631
325.66/326.59 c #Conflicts: 457000 | #Constraints: 23631
325.66/326.59 c #Conflicts: 458000 | #Constraints: 24631
325.66/326.59 c #Conflicts: 459000 | #Constraints: 25631
325.66/326.59 c #Conflicts: 460000 | #Constraints: 26631
325.66/326.59 c INPROCESSING
325.66/326.59 c GARBAGE COLLECT
325.66/326.59 c #Conflicts: 461000 | #Constraints: 14234
325.66/326.59 c #Conflicts: 462000 | #Constraints: 15234
325.66/326.59 c #Conflicts: 463000 | #Constraints: 16234
325.66/326.59 c #Conflicts: 464000 | #Constraints: 17234
325.66/326.59 c #Conflicts: 465000 | #Constraints: 18234
325.66/326.59 c #Conflicts: 466000 | #Constraints: 19234
325.66/326.59 c #Conflicts: 467000 | #Constraints: 20234
325.66/326.59 c #Conflicts: 468000 | #Constraints: 21234
325.66/326.59 c #Conflicts: 469000 | #Constraints: 22234
325.66/326.59 c #Conflicts: 470000 | #Constraints: 23234
325.66/326.59 c #Conflicts: 471000 | #Constraints: 24234
325.66/326.59 c #Conflicts: 472000 | #Constraints: 25234
325.66/326.59 c #Conflicts: 473000 | #Constraints: 26234
325.66/326.59 c #Conflicts: 474000 | #Constraints: 27234
325.66/326.59 c INPROCESSING
325.66/326.59 c GARBAGE COLLECT
325.66/326.59 c #Conflicts: 475000 | #Constraints: 14633
325.66/326.59 c #Conflicts: 476000 | #Constraints: 15633
325.66/326.59 c #Conflicts: 477000 | #Constraints: 16633
325.66/326.59 c #Conflicts: 478000 | #Constraints: 17633
325.66/326.59 c #Conflicts: 479000 | #Constraints: 18633
325.66/326.59 c #Conflicts: 480000 | #Constraints: 19633
404.18/405.28 c #Conflicts: 481000 | #Constraints: 20633
404.18/405.28 c #Conflicts: 482000 | #Constraints: 21633
404.18/405.28 c #Conflicts: 483000 | #Constraints: 22633
404.18/405.28 c #Conflicts: 484000 | #Constraints: 23633
404.18/405.28 c #Conflicts: 485000 | #Constraints: 24633
404.18/405.28 c #Conflicts: 486000 | #Constraints: 25633
404.18/405.28 c #Conflicts: 487000 | #Constraints: 26633
404.18/405.28 c #Conflicts: 488000 | #Constraints: 27633
404.18/405.28 c INPROCESSING
404.18/405.28 c GARBAGE COLLECT
404.18/405.28 c #Conflicts: 489000 | #Constraints: 14832
404.18/405.28 c #Conflicts: 490000 | #Constraints: 15832
404.18/405.28 c #Conflicts: 491000 | #Constraints: 16832
404.18/405.28 c #Conflicts: 492000 | #Constraints: 17832
404.18/405.28 c #Conflicts: 493000 | #Constraints: 18832
404.18/405.28 c #Conflicts: 494000 | #Constraints: 19832
404.18/405.28 c #Conflicts: 495000 | #Constraints: 20832
404.18/405.28 c #Conflicts: 496000 | #Constraints: 21832
404.18/405.28 c #Conflicts: 497000 | #Constraints: 22832
404.18/405.28 c #Conflicts: 498000 | #Constraints: 23832
404.18/405.28 c #Conflicts: 499000 | #Constraints: 24832
404.18/405.28 c #Conflicts: 500000 | #Constraints: 25832
404.18/405.28 c #Conflicts: 501000 | #Constraints: 26832
404.18/405.28 c #Conflicts: 502000 | #Constraints: 27832
404.18/405.28 c INPROCESSING
404.18/405.28 c GARBAGE COLLECT
404.18/405.28 c #Conflicts: 503000 | #Constraints: 14830
404.18/405.28 c #Conflicts: 504000 | #Constraints: 15830
404.18/405.28 c #Conflicts: 505000 | #Constraints: 16830
404.18/405.28 c #Conflicts: 506000 | #Constraints: 17830
404.18/405.28 c #Conflicts: 507000 | #Constraints: 18830
404.18/405.28 c #Conflicts: 508000 | #Constraints: 19830
404.18/405.28 c #Conflicts: 509000 | #Constraints: 20830
404.18/405.28 c #Conflicts: 510000 | #Constraints: 21830
404.18/405.28 c #Conflicts: 511000 | #Constraints: 22830
404.18/405.28 c #Conflicts: 512000 | #Constraints: 23830
404.18/405.28 c #Conflicts: 513000 | #Constraints: 24830
404.18/405.28 c #Conflicts: 514000 | #Constraints: 25830
404.18/405.28 c #Conflicts: 515000 | #Constraints: 26830
404.18/405.28 c #Conflicts: 516000 | #Constraints: 27830
404.18/405.28 c INPROCESSING
404.18/405.28 c GARBAGE COLLECT
404.18/405.28 c #Conflicts: 517000 | #Constraints: 14630
404.18/405.28 c #Conflicts: 518000 | #Constraints: 15630
404.18/405.28 c #Conflicts: 519000 | #Constraints: 16630
404.18/405.28 c #Conflicts: 520000 | #Constraints: 17630
404.18/405.28 c #Conflicts: 521000 | #Constraints: 18630
404.18/405.28 c #Conflicts: 522000 | #Constraints: 19630
404.18/405.28 c #Conflicts: 523000 | #Constraints: 20630
404.18/405.28 c #Conflicts: 524000 | #Constraints: 21630
404.18/405.28 c #Conflicts: 525000 | #Constraints: 22630
404.18/405.28 c #Conflicts: 526000 | #Constraints: 23630
404.18/405.28 c #Conflicts: 527000 | #Constraints: 24630
404.18/405.28 c #Conflicts: 528000 | #Constraints: 25630
404.18/405.28 c #Conflicts: 529000 | #Constraints: 26630
404.18/405.28 c #Conflicts: 530000 | #Constraints: 27630
404.18/405.28 c #Conflicts: 531000 | #Constraints: 28630
404.18/405.28 c INPROCESSING
404.18/405.28 c GARBAGE COLLECT
404.18/405.28 c #Conflicts: 532000 | #Constraints: 15227
404.18/405.28 c #Conflicts: 533000 | #Constraints: 16227
404.18/405.28 c #Conflicts: 534000 | #Constraints: 17227
404.18/405.28 c #Conflicts: 535000 | #Constraints: 18227
404.18/405.28 c #Conflicts: 536000 | #Constraints: 19227
404.18/405.28 c #Conflicts: 537000 | #Constraints: 20227
404.18/405.28 c #Conflicts: 538000 | #Constraints: 21227
404.18/405.28 c #Conflicts: 539000 | #Constraints: 22227
404.18/405.28 c #Conflicts: 540000 | #Constraints: 23227
404.18/405.28 c #Conflicts: 541000 | #Constraints: 24227
404.18/405.28 c #Conflicts: 542000 | #Constraints: 25227
404.18/405.28 c #Conflicts: 543000 | #Constraints: 26227
404.18/405.28 c #Conflicts: 544000 | #Constraints: 27227
404.18/405.28 c #Conflicts: 545000 | #Constraints: 28227
404.18/405.28 c #Conflicts: 546000 | #Constraints: 29227
404.18/405.28 c INPROCESSING
404.18/405.28 c GARBAGE COLLECT
404.18/405.28 c #Conflicts: 547000 | #Constraints: 15628
404.18/405.28 c #Conflicts: 548000 | #Constraints: 16628
404.18/405.28 c #Conflicts: 549000 | #Constraints: 17628
404.18/405.28 c #Conflicts: 550000 | #Constraints: 18628
404.18/405.28 c #Conflicts: 551000 | #Constraints: 19628
404.18/405.28 c #Conflicts: 552000 | #Constraints: 20628
404.18/405.28 c #Conflicts: 553000 | #Constraints: 21628
404.18/405.28 c #Conflicts: 554000 | #Constraints: 22628
404.18/405.28 c #Conflicts: 555000 | #Constraints: 23628
404.18/405.28 c #Conflicts: 556000 | #Constraints: 24628
484.60/485.87 c #Conflicts: 557000 | #Constraints: 25628
484.60/485.87 c #Conflicts: 558000 | #Constraints: 26628
484.60/485.87 c #Conflicts: 559000 | #Constraints: 27628
484.60/485.87 c #Conflicts: 560000 | #Constraints: 28628
484.60/485.87 c #Conflicts: 561000 | #Constraints: 29628
484.60/485.87 c INPROCESSING
484.60/485.87 c GARBAGE COLLECT
484.60/485.87 c #Conflicts: 562000 | #Constraints: 15829
484.60/485.87 c #Conflicts: 563000 | #Constraints: 16829
484.60/485.87 c #Conflicts: 564000 | #Constraints: 17829
484.60/485.87 c #Conflicts: 565000 | #Constraints: 18829
484.60/485.87 c #Conflicts: 566000 | #Constraints: 19829
484.60/485.87 c #Conflicts: 567000 | #Constraints: 20829
484.60/485.87 c #Conflicts: 568000 | #Constraints: 21829
484.60/485.87 c #Conflicts: 569000 | #Constraints: 22829
484.60/485.87 c #Conflicts: 570000 | #Constraints: 23829
484.60/485.87 c #Conflicts: 571000 | #Constraints: 24829
484.60/485.87 c #Conflicts: 572000 | #Constraints: 25829
484.60/485.87 c #Conflicts: 573000 | #Constraints: 26829
484.60/485.87 c #Conflicts: 574000 | #Constraints: 27829
484.60/485.87 c #Conflicts: 575000 | #Constraints: 28829
484.60/485.87 c #Conflicts: 576000 | #Constraints: 29829
484.60/485.87 c INPROCESSING
484.60/485.87 c GARBAGE COLLECT
484.60/485.87 c #Conflicts: 577000 | #Constraints: 15828
484.60/485.87 c #Conflicts: 578000 | #Constraints: 16828
484.60/485.87 c #Conflicts: 579000 | #Constraints: 17828
484.60/485.87 c #Conflicts: 580000 | #Constraints: 18828
484.60/485.87 c #Conflicts: 581000 | #Constraints: 19828
484.60/485.87 c #Conflicts: 582000 | #Constraints: 20828
484.60/485.87 c #Conflicts: 583000 | #Constraints: 21828
484.60/485.87 c #Conflicts: 584000 | #Constraints: 22828
484.60/485.87 c #Conflicts: 585000 | #Constraints: 23828
484.60/485.87 c #Conflicts: 586000 | #Constraints: 24828
484.60/485.87 c #Conflicts: 587000 | #Constraints: 25828
484.60/485.87 c #Conflicts: 588000 | #Constraints: 26828
484.60/485.87 c #Conflicts: 589000 | #Constraints: 27828
484.60/485.87 c #Conflicts: 590000 | #Constraints: 28828
484.60/485.87 c #Conflicts: 591000 | #Constraints: 29828
484.60/485.87 c INPROCESSING
484.60/485.87 c GARBAGE COLLECT
484.60/485.87 c #Conflicts: 592000 | #Constraints: 15625
484.60/485.87 c #Conflicts: 593000 | #Constraints: 16625
484.60/485.87 c #Conflicts: 594000 | #Constraints: 17625
484.60/485.87 c #Conflicts: 595000 | #Constraints: 18625
484.60/485.87 c #Conflicts: 596000 | #Constraints: 19625
484.60/485.87 c #Conflicts: 597000 | #Constraints: 20625
484.60/485.87 c #Conflicts: 598000 | #Constraints: 21625
484.60/485.87 c #Conflicts: 599000 | #Constraints: 22625
484.60/485.87 c #Conflicts: 600000 | #Constraints: 23625
484.60/485.87 c #Conflicts: 601000 | #Constraints: 24625
484.60/485.87 c #Conflicts: 602000 | #Constraints: 25625
484.60/485.87 c #Conflicts: 603000 | #Constraints: 26625
484.60/485.87 c #Conflicts: 604000 | #Constraints: 27625
484.60/485.87 c #Conflicts: 605000 | #Constraints: 28625
484.60/485.87 c #Conflicts: 606000 | #Constraints: 29625
484.60/485.87 c #Conflicts: 607000 | #Constraints: 30625
484.60/485.87 c INPROCESSING
484.60/485.87 c GARBAGE COLLECT
484.60/485.87 c #Conflicts: 608000 | #Constraints: 16229
484.60/485.87 c #Conflicts: 609000 | #Constraints: 17229
484.60/485.87 c #Conflicts: 610000 | #Constraints: 18229
484.60/485.87 c #Conflicts: 611000 | #Constraints: 19229
484.60/485.87 c #Conflicts: 612000 | #Constraints: 20229
484.60/485.87 c #Conflicts: 613000 | #Constraints: 21229
484.60/485.87 c #Conflicts: 614000 | #Constraints: 22229
484.60/485.87 c #Conflicts: 615000 | #Constraints: 23229
484.60/485.87 c #Conflicts: 616000 | #Constraints: 24229
484.60/485.87 c #Conflicts: 617000 | #Constraints: 25229
484.60/485.87 c #Conflicts: 618000 | #Constraints: 26229
484.60/485.87 c #Conflicts: 619000 | #Constraints: 27229
484.60/485.87 c #Conflicts: 620000 | #Constraints: 28229
484.60/485.87 c #Conflicts: 621000 | #Constraints: 29229
484.60/485.87 c #Conflicts: 622000 | #Constraints: 30229
484.60/485.87 c #Conflicts: 623000 | #Constraints: 31229
484.60/485.87 c INPROCESSING
484.60/485.87 c GARBAGE COLLECT
484.60/485.87 c #Conflicts: 624000 | #Constraints: 16629
484.60/485.87 c #Conflicts: 625000 | #Constraints: 17629
484.60/485.87 c #Conflicts: 626000 | #Constraints: 18629
484.60/485.87 c #Conflicts: 627000 | #Constraints: 19629
484.60/485.87 c #Conflicts: 628000 | #Constraints: 20629
484.60/485.87 c #Conflicts: 629000 | #Constraints: 21629
484.60/485.87 c #Conflicts: 630000 | #Constraints: 22629
484.60/485.87 c #Conflicts: 631000 | #Constraints: 23629
569.50/570.91 c #Conflicts: 632000 | #Constraints: 24629
569.50/570.91 c #Conflicts: 633000 | #Constraints: 25629
569.50/570.91 c #Conflicts: 634000 | #Constraints: 26629
569.50/570.91 c #Conflicts: 635000 | #Constraints: 27629
569.50/570.91 c #Conflicts: 636000 | #Constraints: 28629
569.50/570.91 c #Conflicts: 637000 | #Constraints: 29629
569.50/570.91 c #Conflicts: 638000 | #Constraints: 30629
569.50/570.91 c #Conflicts: 639000 | #Constraints: 31629
569.50/570.91 c INPROCESSING
569.50/570.91 c GARBAGE COLLECT
569.50/570.91 c #Conflicts: 640000 | #Constraints: 16829
569.50/570.91 c #Conflicts: 641000 | #Constraints: 17829
569.50/570.91 c #Conflicts: 642000 | #Constraints: 18829
569.50/570.91 c #Conflicts: 643000 | #Constraints: 19829
569.50/570.91 c #Conflicts: 644000 | #Constraints: 20829
569.50/570.91 c #Conflicts: 645000 | #Constraints: 21829
569.50/570.91 c #Conflicts: 646000 | #Constraints: 22829
569.50/570.91 c #Conflicts: 647000 | #Constraints: 23829
569.50/570.91 c #Conflicts: 648000 | #Constraints: 24829
569.50/570.91 c #Conflicts: 649000 | #Constraints: 25829
569.50/570.91 c #Conflicts: 650000 | #Constraints: 26829
569.50/570.91 c #Conflicts: 651000 | #Constraints: 27829
569.50/570.91 c #Conflicts: 652000 | #Constraints: 28829
569.50/570.91 c #Conflicts: 653000 | #Constraints: 29829
569.50/570.91 c #Conflicts: 654000 | #Constraints: 30829
569.50/570.91 c #Conflicts: 655000 | #Constraints: 31829
569.50/570.91 c INPROCESSING
569.50/570.91 c GARBAGE COLLECT
569.50/570.91 c #Conflicts: 656000 | #Constraints: 16831
569.50/570.91 c #Conflicts: 657000 | #Constraints: 17831
569.50/570.91 c #Conflicts: 658000 | #Constraints: 18831
569.50/570.91 c #Conflicts: 659000 | #Constraints: 19831
569.50/570.91 c #Conflicts: 660000 | #Constraints: 20831
569.50/570.91 c #Conflicts: 661000 | #Constraints: 21831
569.50/570.91 c #Conflicts: 662000 | #Constraints: 22831
569.50/570.91 c #Conflicts: 663000 | #Constraints: 23831
569.50/570.91 c #Conflicts: 664000 | #Constraints: 24831
569.50/570.91 c #Conflicts: 665000 | #Constraints: 25831
569.50/570.91 c #Conflicts: 666000 | #Constraints: 26831
569.50/570.91 c #Conflicts: 667000 | #Constraints: 27831
569.50/570.91 c #Conflicts: 668000 | #Constraints: 28831
569.50/570.91 c #Conflicts: 669000 | #Constraints: 29831
569.50/570.91 c #Conflicts: 670000 | #Constraints: 30831
569.50/570.91 c #Conflicts: 671000 | #Constraints: 31831
569.50/570.91 c INPROCESSING
569.50/570.91 c GARBAGE COLLECT
569.50/570.91 c #Conflicts: 672000 | #Constraints: 16629
569.50/570.91 c #Conflicts: 673000 | #Constraints: 17629
569.50/570.91 c #Conflicts: 674000 | #Constraints: 18629
569.50/570.91 c #Conflicts: 675000 | #Constraints: 19629
569.50/570.91 c #Conflicts: 676000 | #Constraints: 20629
569.50/570.91 c #Conflicts: 677000 | #Constraints: 21629
569.50/570.91 c #Conflicts: 678000 | #Constraints: 22629
569.50/570.91 c #Conflicts: 679000 | #Constraints: 23629
569.50/570.91 c #Conflicts: 680000 | #Constraints: 24629
569.50/570.91 c #Conflicts: 681000 | #Constraints: 25629
569.50/570.91 c #Conflicts: 682000 | #Constraints: 26629
569.50/570.91 c #Conflicts: 683000 | #Constraints: 27629
569.50/570.91 c #Conflicts: 684000 | #Constraints: 28629
569.50/570.91 c #Conflicts: 685000 | #Constraints: 29629
569.50/570.91 c #Conflicts: 686000 | #Constraints: 30629
569.50/570.91 c #Conflicts: 687000 | #Constraints: 31629
569.50/570.91 c #Conflicts: 688000 | #Constraints: 32629
569.50/570.91 c INPROCESSING
569.50/570.91 c GARBAGE COLLECT
569.50/570.91 c #Conflicts: 689000 | #Constraints: 17228
569.50/570.91 c #Conflicts: 690000 | #Constraints: 18228
569.50/570.91 c #Conflicts: 691000 | #Constraints: 19228
569.50/570.91 c #Conflicts: 692000 | #Constraints: 20228
569.50/570.91 c #Conflicts: 693000 | #Constraints: 21228
569.50/570.91 c #Conflicts: 694000 | #Constraints: 22228
569.50/570.91 c #Conflicts: 695000 | #Constraints: 23228
569.50/570.91 c #Conflicts: 696000 | #Constraints: 24228
569.50/570.91 c #Conflicts: 697000 | #Constraints: 25228
569.50/570.91 c #Conflicts: 698000 | #Constraints: 26228
569.50/570.91 c #Conflicts: 699000 | #Constraints: 27228
569.50/570.91 c #Conflicts: 700000 | #Constraints: 28228
569.50/570.91 c #Conflicts: 701000 | #Constraints: 29228
569.50/570.91 c #Conflicts: 702000 | #Constraints: 30228
569.50/570.91 c #Conflicts: 703000 | #Constraints: 31228
569.50/570.91 c #Conflicts: 704000 | #Constraints: 32228
569.50/570.91 c #Conflicts: 705000 | #Constraints: 33228
569.50/570.91 c INPROCESSING
569.50/570.91 c GARBAGE COLLECT
569.50/570.91 c #Conflicts: 706000 | #Constraints: 17628
569.50/570.91 c #Conflicts: 707000 | #Constraints: 18628
665.27/666.92 c #Conflicts: 708000 | #Constraints: 19628
665.27/666.92 c #Conflicts: 709000 | #Constraints: 20628
665.27/666.92 c #Conflicts: 710000 | #Constraints: 21628
665.27/666.92 c #Conflicts: 711000 | #Constraints: 22628
665.27/666.92 c #Conflicts: 712000 | #Constraints: 23628
665.27/666.92 c #Conflicts: 713000 | #Constraints: 24628
665.27/666.92 c #Conflicts: 714000 | #Constraints: 25628
665.27/666.92 c #Conflicts: 715000 | #Constraints: 26628
665.27/666.92 c #Conflicts: 716000 | #Constraints: 27628
665.27/666.92 c #Conflicts: 717000 | #Constraints: 28628
665.27/666.92 c #Conflicts: 718000 | #Constraints: 29628
665.27/666.92 c #Conflicts: 719000 | #Constraints: 30628
665.27/666.92 c #Conflicts: 720000 | #Constraints: 31628
665.27/666.92 c #Conflicts: 721000 | #Constraints: 32628
665.27/666.92 c #Conflicts: 722000 | #Constraints: 33628
665.27/666.92 c INPROCESSING
665.27/666.92 c GARBAGE COLLECT
665.27/666.92 c #Conflicts: 723000 | #Constraints: 17830
665.27/666.92 c #Conflicts: 724000 | #Constraints: 18830
665.27/666.92 c #Conflicts: 725000 | #Constraints: 19830
665.27/666.92 c #Conflicts: 726000 | #Constraints: 20830
665.27/666.92 c #Conflicts: 727000 | #Constraints: 21830
665.27/666.92 c #Conflicts: 728000 | #Constraints: 22830
665.27/666.92 c #Conflicts: 729000 | #Constraints: 23830
665.27/666.92 c #Conflicts: 730000 | #Constraints: 24830
665.27/666.92 c #Conflicts: 731000 | #Constraints: 25830
665.27/666.92 c #Conflicts: 732000 | #Constraints: 26830
665.27/666.92 c #Conflicts: 733000 | #Constraints: 27830
665.27/666.92 c #Conflicts: 734000 | #Constraints: 28830
665.27/666.92 c #Conflicts: 735000 | #Constraints: 29830
665.27/666.92 c #Conflicts: 736000 | #Constraints: 30830
665.27/666.92 c #Conflicts: 737000 | #Constraints: 31830
665.27/666.92 c #Conflicts: 738000 | #Constraints: 32830
665.27/666.92 c #Conflicts: 739000 | #Constraints: 33830
665.27/666.92 c INPROCESSING
665.27/666.92 c GARBAGE COLLECT
665.27/666.92 c #Conflicts: 740000 | #Constraints: 17830
665.27/666.92 c #Conflicts: 741000 | #Constraints: 18830
665.27/666.92 c #Conflicts: 742000 | #Constraints: 19830
665.27/666.92 c #Conflicts: 743000 | #Constraints: 20830
665.27/666.92 c #Conflicts: 744000 | #Constraints: 21830
665.27/666.92 c #Conflicts: 745000 | #Constraints: 22830
665.27/666.92 c #Conflicts: 746000 | #Constraints: 23830
665.27/666.92 c #Conflicts: 747000 | #Constraints: 24830
665.27/666.92 c #Conflicts: 748000 | #Constraints: 25830
665.27/666.92 c #Conflicts: 749000 | #Constraints: 26830
665.27/666.92 c #Conflicts: 750000 | #Constraints: 27830
665.27/666.92 c #Conflicts: 751000 | #Constraints: 28830
665.27/666.92 c #Conflicts: 752000 | #Constraints: 29830
665.27/666.92 c #Conflicts: 753000 | #Constraints: 30830
665.27/666.92 c #Conflicts: 754000 | #Constraints: 31830
665.27/666.92 c #Conflicts: 755000 | #Constraints: 32830
665.27/666.92 c #Conflicts: 756000 | #Constraints: 33830
665.27/666.92 c INPROCESSING
665.27/666.92 c GARBAGE COLLECT
665.27/666.92 c #Conflicts: 757000 | #Constraints: 17628
665.27/666.92 c #Conflicts: 758000 | #Constraints: 18628
665.27/666.92 c #Conflicts: 759000 | #Constraints: 19628
665.27/666.92 c #Conflicts: 760000 | #Constraints: 20628
665.27/666.92 c #Conflicts: 761000 | #Constraints: 21628
665.27/666.92 c #Conflicts: 762000 | #Constraints: 22628
665.27/666.92 c #Conflicts: 763000 | #Constraints: 23628
665.27/666.92 c #Conflicts: 764000 | #Constraints: 24628
665.27/666.92 c #Conflicts: 765000 | #Constraints: 25628
665.27/666.92 c #Conflicts: 766000 | #Constraints: 26628
665.27/666.92 c #Conflicts: 767000 | #Constraints: 27628
665.27/666.92 c #Conflicts: 768000 | #Constraints: 28628
665.27/666.92 c #Conflicts: 769000 | #Constraints: 29628
665.27/666.92 c #Conflicts: 770000 | #Constraints: 30628
665.27/666.92 c #Conflicts: 771000 | #Constraints: 31628
665.27/666.92 c #Conflicts: 772000 | #Constraints: 32628
665.27/666.92 c #Conflicts: 773000 | #Constraints: 33628
665.27/666.92 c #Conflicts: 774000 | #Constraints: 34628
665.27/666.92 c INPROCESSING
665.27/666.92 c GARBAGE COLLECT
665.27/666.92 c #Conflicts: 775000 | #Constraints: 18227
665.27/666.92 c #Conflicts: 776000 | #Constraints: 19227
665.27/666.92 c #Conflicts: 777000 | #Constraints: 20227
665.27/666.92 c #Conflicts: 778000 | #Constraints: 21227
665.27/666.92 c #Conflicts: 779000 | #Constraints: 22227
665.27/666.92 c #Conflicts: 780000 | #Constraints: 23227
665.27/666.92 c #Conflicts: 781000 | #Constraints: 24227
665.27/666.92 c #Conflicts: 782000 | #Constraints: 25227
665.27/666.92 c #Conflicts: 783000 | #Constraints: 26227
766.15/768.02 c #Conflicts: 784000 | #Constraints: 27227
766.15/768.02 c #Conflicts: 785000 | #Constraints: 28227
766.15/768.02 c #Conflicts: 786000 | #Constraints: 29227
766.15/768.02 c #Conflicts: 787000 | #Constraints: 30227
766.15/768.02 c #Conflicts: 788000 | #Constraints: 31227
766.15/768.02 c #Conflicts: 789000 | #Constraints: 32227
766.15/768.02 c #Conflicts: 790000 | #Constraints: 33227
766.15/768.02 c #Conflicts: 791000 | #Constraints: 34227
766.15/768.02 c #Conflicts: 792000 | #Constraints: 35227
766.15/768.02 c INPROCESSING
766.15/768.02 c GARBAGE COLLECT
766.15/768.02 c #Conflicts: 793000 | #Constraints: 18627
766.15/768.02 c #Conflicts: 794000 | #Constraints: 19627
766.15/768.02 c #Conflicts: 795000 | #Constraints: 20627
766.15/768.02 c #Conflicts: 796000 | #Constraints: 21627
766.15/768.02 c #Conflicts: 797000 | #Constraints: 22627
766.15/768.02 c #Conflicts: 798000 | #Constraints: 23627
766.15/768.02 c #Conflicts: 799000 | #Constraints: 24627
766.15/768.02 c #Conflicts: 800000 | #Constraints: 25627
766.15/768.02 c #Conflicts: 801000 | #Constraints: 26627
766.15/768.02 c #Conflicts: 802000 | #Constraints: 27627
766.15/768.02 c #Conflicts: 803000 | #Constraints: 28627
766.15/768.02 c #Conflicts: 804000 | #Constraints: 29627
766.15/768.02 c #Conflicts: 805000 | #Constraints: 30627
766.15/768.02 c #Conflicts: 806000 | #Constraints: 31627
766.15/768.02 c #Conflicts: 807000 | #Constraints: 32627
766.15/768.02 c #Conflicts: 808000 | #Constraints: 33627
766.15/768.02 c #Conflicts: 809000 | #Constraints: 34627
766.15/768.02 c #Conflicts: 810000 | #Constraints: 35627
766.15/768.02 c INPROCESSING
766.15/768.02 c GARBAGE COLLECT
766.15/768.02 c #Conflicts: 811000 | #Constraints: 18827
766.15/768.02 c #Conflicts: 812000 | #Constraints: 19827
766.15/768.02 c #Conflicts: 813000 | #Constraints: 20827
766.15/768.02 c #Conflicts: 814000 | #Constraints: 21827
766.15/768.02 c #Conflicts: 815000 | #Constraints: 22827
766.15/768.02 c #Conflicts: 816000 | #Constraints: 23827
766.15/768.02 c #Conflicts: 817000 | #Constraints: 24827
766.15/768.02 c #Conflicts: 818000 | #Constraints: 25827
766.15/768.02 c #Conflicts: 819000 | #Constraints: 26827
766.15/768.02 c #Conflicts: 820000 | #Constraints: 27827
766.15/768.02 c #Conflicts: 821000 | #Constraints: 28827
766.15/768.02 c #Conflicts: 822000 | #Constraints: 29827
766.15/768.02 c #Conflicts: 823000 | #Constraints: 30827
766.15/768.02 c #Conflicts: 824000 | #Constraints: 31827
766.15/768.02 c #Conflicts: 825000 | #Constraints: 32827
766.15/768.02 c #Conflicts: 826000 | #Constraints: 33827
766.15/768.02 c #Conflicts: 827000 | #Constraints: 34827
766.15/768.02 c #Conflicts: 828000 | #Constraints: 35827
766.15/768.02 c INPROCESSING
766.15/768.02 c GARBAGE COLLECT
766.15/768.02 c #Conflicts: 829000 | #Constraints: 18830
766.15/768.02 c #Conflicts: 830000 | #Constraints: 19830
766.15/768.02 c #Conflicts: 831000 | #Constraints: 20830
766.15/768.02 c #Conflicts: 832000 | #Constraints: 21830
766.15/768.02 c #Conflicts: 833000 | #Constraints: 22830
766.15/768.02 c #Conflicts: 834000 | #Constraints: 23830
766.15/768.02 c #Conflicts: 835000 | #Constraints: 24830
766.15/768.02 c #Conflicts: 836000 | #Constraints: 25830
766.15/768.02 c #Conflicts: 837000 | #Constraints: 26830
766.15/768.02 c #Conflicts: 838000 | #Constraints: 27830
766.15/768.02 c #Conflicts: 839000 | #Constraints: 28830
766.15/768.02 c #Conflicts: 840000 | #Constraints: 29830
766.15/768.02 c #Conflicts: 841000 | #Constraints: 30830
766.15/768.02 c #Conflicts: 842000 | #Constraints: 31830
766.15/768.02 c #Conflicts: 843000 | #Constraints: 32830
766.15/768.02 c #Conflicts: 844000 | #Constraints: 33830
766.15/768.02 c #Conflicts: 845000 | #Constraints: 34830
766.15/768.02 c #Conflicts: 846000 | #Constraints: 35830
766.15/768.02 c INPROCESSING
766.15/768.02 c GARBAGE COLLECT
766.15/768.02 c #Conflicts: 847000 | #Constraints: 18626
766.15/768.02 c #Conflicts: 848000 | #Constraints: 19626
766.15/768.02 c #Conflicts: 849000 | #Constraints: 20626
766.15/768.02 c #Conflicts: 850000 | #Constraints: 21626
766.15/768.02 c #Conflicts: 851000 | #Constraints: 22626
766.15/768.02 c #Conflicts: 852000 | #Constraints: 23626
766.15/768.02 c #Conflicts: 853000 | #Constraints: 24626
766.15/768.02 c #Conflicts: 854000 | #Constraints: 25626
766.15/768.02 c #Conflicts: 855000 | #Constraints: 26626
766.15/768.02 c #Conflicts: 856000 | #Constraints: 27626
766.15/768.02 c #Conflicts: 857000 | #Constraints: 28626
766.15/768.02 c #Conflicts: 858000 | #Constraints: 29626
766.15/768.02 c #Conflicts: 859000 | #Constraints: 30626
870.60/872.76 c #Conflicts: 860000 | #Constraints: 31626
870.60/872.76 c #Conflicts: 861000 | #Constraints: 32626
870.60/872.76 c #Conflicts: 862000 | #Constraints: 33626
870.60/872.76 c #Conflicts: 863000 | #Constraints: 34626
870.60/872.76 c #Conflicts: 864000 | #Constraints: 35626
870.60/872.76 c #Conflicts: 865000 | #Constraints: 36626
870.60/872.76 c INPROCESSING
870.60/872.76 c GARBAGE COLLECT
870.60/872.76 c #Conflicts: 866000 | #Constraints: 19225
870.60/872.76 c #Conflicts: 867000 | #Constraints: 20225
870.60/872.76 c #Conflicts: 868000 | #Constraints: 21225
870.60/872.76 c #Conflicts: 869000 | #Constraints: 22225
870.60/872.76 c #Conflicts: 870000 | #Constraints: 23225
870.60/872.76 c #Conflicts: 871000 | #Constraints: 24225
870.60/872.76 c #Conflicts: 872000 | #Constraints: 25225
870.60/872.76 c #Conflicts: 873000 | #Constraints: 26225
870.60/872.76 c #Conflicts: 874000 | #Constraints: 27225
870.60/872.76 c #Conflicts: 875000 | #Constraints: 28225
870.60/872.76 c #Conflicts: 876000 | #Constraints: 29225
870.60/872.76 c #Conflicts: 877000 | #Constraints: 30225
870.60/872.76 c #Conflicts: 878000 | #Constraints: 31225
870.60/872.76 c #Conflicts: 879000 | #Constraints: 32225
870.60/872.76 c #Conflicts: 880000 | #Constraints: 33225
870.60/872.76 c #Conflicts: 881000 | #Constraints: 34225
870.60/872.76 c #Conflicts: 882000 | #Constraints: 35225
870.60/872.76 c #Conflicts: 883000 | #Constraints: 36225
870.60/872.76 c #Conflicts: 884000 | #Constraints: 37225
870.60/872.76 c INPROCESSING
870.60/872.76 c GARBAGE COLLECT
870.60/872.76 c #Conflicts: 885000 | #Constraints: 19628
870.60/872.76 c #Conflicts: 886000 | #Constraints: 20628
870.60/872.76 c #Conflicts: 887000 | #Constraints: 21628
870.60/872.76 c #Conflicts: 888000 | #Constraints: 22628
870.60/872.76 c #Conflicts: 889000 | #Constraints: 23628
870.60/872.76 c #Conflicts: 890000 | #Constraints: 24628
870.60/872.76 c #Conflicts: 891000 | #Constraints: 25628
870.60/872.76 c #Conflicts: 892000 | #Constraints: 26628
870.60/872.76 c #Conflicts: 893000 | #Constraints: 27628
870.60/872.76 c #Conflicts: 894000 | #Constraints: 28628
870.60/872.76 c #Conflicts: 895000 | #Constraints: 29628
870.60/872.76 c #Conflicts: 896000 | #Constraints: 30628
870.60/872.76 c #Conflicts: 897000 | #Constraints: 31628
870.60/872.76 c #Conflicts: 898000 | #Constraints: 32628
870.60/872.76 c #Conflicts: 899000 | #Constraints: 33628
870.60/872.76 c #Conflicts: 900000 | #Constraints: 34628
870.60/872.76 c #Conflicts: 901000 | #Constraints: 35628
870.60/872.76 c #Conflicts: 902000 | #Constraints: 36628
870.60/872.76 c #Conflicts: 903000 | #Constraints: 37628
870.60/872.76 c INPROCESSING
870.60/872.76 c GARBAGE COLLECT
870.60/872.76 c #Conflicts: 904000 | #Constraints: 19828
870.60/872.76 c #Conflicts: 905000 | #Constraints: 20828
870.60/872.76 c #Conflicts: 906000 | #Constraints: 21828
870.60/872.76 c #Conflicts: 907000 | #Constraints: 22828
870.60/872.76 c #Conflicts: 908000 | #Constraints: 23828
870.60/872.76 c #Conflicts: 909000 | #Constraints: 24828
870.60/872.76 c #Conflicts: 910000 | #Constraints: 25828
870.60/872.76 c #Conflicts: 911000 | #Constraints: 26828
870.60/872.76 c #Conflicts: 912000 | #Constraints: 27828
870.60/872.76 c #Conflicts: 913000 | #Constraints: 28828
870.60/872.76 c #Conflicts: 914000 | #Constraints: 29828
870.60/872.76 c #Conflicts: 915000 | #Constraints: 30828
870.60/872.76 c #Conflicts: 916000 | #Constraints: 31828
870.60/872.76 c #Conflicts: 917000 | #Constraints: 32828
870.60/872.76 c #Conflicts: 918000 | #Constraints: 33828
870.60/872.76 c #Conflicts: 919000 | #Constraints: 34828
870.60/872.76 c #Conflicts: 920000 | #Constraints: 35828
870.60/872.76 c #Conflicts: 921000 | #Constraints: 36828
870.60/872.76 c #Conflicts: 922000 | #Constraints: 37828
870.60/872.76 c INPROCESSING
870.60/872.76 c GARBAGE COLLECT
870.60/872.76 c #Conflicts: 923000 | #Constraints: 19829
870.60/872.76 c #Conflicts: 924000 | #Constraints: 20829
870.60/872.76 c #Conflicts: 925000 | #Constraints: 21829
870.60/872.76 c #Conflicts: 926000 | #Constraints: 22829
870.60/872.76 c #Conflicts: 927000 | #Constraints: 23829
870.60/872.76 c #Conflicts: 928000 | #Constraints: 24829
870.60/872.76 c #Conflicts: 929000 | #Constraints: 25829
870.60/872.76 c #Conflicts: 930000 | #Constraints: 26829
870.60/872.76 c #Conflicts: 931000 | #Constraints: 27829
870.60/872.76 c #Conflicts: 932000 | #Constraints: 28829
870.60/872.76 c #Conflicts: 933000 | #Constraints: 29829
870.60/872.76 c #Conflicts: 934000 | #Constraints: 30829
870.60/872.76 c #Conflicts: 935000 | #Constraints: 31829
870.60/872.76 c #Conflicts: 936000 | #Constraints: 32829
985.74/988.11 c #Conflicts: 937000 | #Constraints: 33829
985.74/988.11 c #Conflicts: 938000 | #Constraints: 34829
985.74/988.11 c #Conflicts: 939000 | #Constraints: 35829
985.74/988.11 c #Conflicts: 940000 | #Constraints: 36829
985.74/988.11 c #Conflicts: 941000 | #Constraints: 37829
985.74/988.11 c INPROCESSING
985.74/988.11 c GARBAGE COLLECT
985.74/988.11 c #Conflicts: 942000 | #Constraints: 19632
985.74/988.11 c #Conflicts: 943000 | #Constraints: 20632
985.74/988.11 c #Conflicts: 944000 | #Constraints: 21632
985.74/988.11 c #Conflicts: 945000 | #Constraints: 22632
985.74/988.11 c #Conflicts: 946000 | #Constraints: 23632
985.74/988.11 c #Conflicts: 947000 | #Constraints: 24632
985.74/988.11 c #Conflicts: 948000 | #Constraints: 25632
985.74/988.11 c #Conflicts: 949000 | #Constraints: 26632
985.74/988.11 c #Conflicts: 950000 | #Constraints: 27632
985.74/988.11 c #Conflicts: 951000 | #Constraints: 28632
985.74/988.11 c #Conflicts: 952000 | #Constraints: 29632
985.74/988.11 c #Conflicts: 953000 | #Constraints: 30632
985.74/988.11 c #Conflicts: 954000 | #Constraints: 31632
985.74/988.11 c #Conflicts: 955000 | #Constraints: 32632
985.74/988.11 c #Conflicts: 956000 | #Constraints: 33632
985.74/988.11 c #Conflicts: 957000 | #Constraints: 34632
985.74/988.11 c #Conflicts: 958000 | #Constraints: 35632
985.74/988.11 c #Conflicts: 959000 | #Constraints: 36632
985.74/988.11 c #Conflicts: 960000 | #Constraints: 37632
985.74/988.11 c #Conflicts: 961000 | #Constraints: 38632
985.74/988.11 c INPROCESSING
985.74/988.11 c GARBAGE COLLECT
985.74/988.11 c #Conflicts: 962000 | #Constraints: 20230
985.74/988.11 c #Conflicts: 963000 | #Constraints: 21230
985.74/988.11 c #Conflicts: 964000 | #Constraints: 22230
985.74/988.11 c #Conflicts: 965000 | #Constraints: 23230
985.74/988.11 c #Conflicts: 966000 | #Constraints: 24230
985.74/988.11 c #Conflicts: 967000 | #Constraints: 25230
985.74/988.11 c #Conflicts: 968000 | #Constraints: 26230
985.74/988.11 c #Conflicts: 969000 | #Constraints: 27230
985.74/988.11 c #Conflicts: 970000 | #Constraints: 28230
985.74/988.11 c #Conflicts: 971000 | #Constraints: 29230
985.74/988.11 c #Conflicts: 972000 | #Constraints: 30230
985.74/988.11 c #Conflicts: 973000 | #Constraints: 31230
985.74/988.11 c #Conflicts: 974000 | #Constraints: 32230
985.74/988.11 c #Conflicts: 975000 | #Constraints: 33230
985.74/988.11 c #Conflicts: 976000 | #Constraints: 34230
985.74/988.11 c #Conflicts: 977000 | #Constraints: 35230
985.74/988.11 c #Conflicts: 978000 | #Constraints: 36230
985.74/988.11 c #Conflicts: 979000 | #Constraints: 37230
985.74/988.11 c #Conflicts: 980000 | #Constraints: 38230
985.74/988.11 c #Conflicts: 981000 | #Constraints: 39230
985.74/988.11 c INPROCESSING
985.74/988.11 c GARBAGE COLLECT
985.74/988.11 c #Conflicts: 982000 | #Constraints: 20630
985.74/988.11 c #Conflicts: 983000 | #Constraints: 21630
985.74/988.11 c #Conflicts: 984000 | #Constraints: 22630
985.74/988.11 c #Conflicts: 985000 | #Constraints: 23630
985.74/988.11 c #Conflicts: 986000 | #Constraints: 24630
985.74/988.11 c #Conflicts: 987000 | #Constraints: 25630
985.74/988.11 c #Conflicts: 988000 | #Constraints: 26630
985.74/988.11 c #Conflicts: 989000 | #Constraints: 27630
985.74/988.11 c #Conflicts: 990000 | #Constraints: 28630
985.74/988.11 c #Conflicts: 991000 | #Constraints: 29630
985.74/988.11 c #Conflicts: 992000 | #Constraints: 30630
985.74/988.11 c #Conflicts: 993000 | #Constraints: 31630
985.74/988.11 c #Conflicts: 994000 | #Constraints: 32630
985.74/988.11 c #Conflicts: 995000 | #Constraints: 33630
985.74/988.11 c #Conflicts: 996000 | #Constraints: 34630
985.74/988.11 c #Conflicts: 997000 | #Constraints: 35630
985.74/988.11 c #Conflicts: 998000 | #Constraints: 36630
985.74/988.11 c #Conflicts: 999000 | #Constraints: 37630
985.74/988.11 c #Conflicts: 1000000 | #Constraints: 38630
985.74/988.11 c #Conflicts: 1001000 | #Constraints: 39630
985.74/988.11 c INPROCESSING
985.74/988.11 c GARBAGE COLLECT
985.74/988.11 c #Conflicts: 1002000 | #Constraints: 20832
985.74/988.11 c #Conflicts: 1003000 | #Constraints: 21832
985.74/988.11 c #Conflicts: 1004000 | #Constraints: 22832
985.74/988.11 c #Conflicts: 1005000 | #Constraints: 23832
985.74/988.11 c #Conflicts: 1006000 | #Constraints: 24832
985.74/988.11 c #Conflicts: 1007000 | #Constraints: 25832
985.74/988.11 c #Conflicts: 1008000 | #Constraints: 26832
985.74/988.11 c #Conflicts: 1009000 | #Constraints: 27832
985.74/988.11 c #Conflicts: 1010000 | #Constraints: 28832
985.74/988.11 c #Conflicts: 1011000 | #Constraints: 29832
985.74/988.11 c #Conflicts: 1012000 | #Constraints: 30832
1121.03/1123.75 c #Conflicts: 1013000 | #Constraints: 31832
1121.03/1123.75 c #Conflicts: 1014000 | #Constraints: 32832
1121.03/1123.75 c #Conflicts: 1015000 | #Constraints: 33832
1121.03/1123.75 c #Conflicts: 1016000 | #Constraints: 34832
1121.03/1123.75 c #Conflicts: 1017000 | #Constraints: 35832
1121.03/1123.75 c #Conflicts: 1018000 | #Constraints: 36832
1121.03/1123.75 c #Conflicts: 1019000 | #Constraints: 37832
1121.03/1123.75 c #Conflicts: 1020000 | #Constraints: 38832
1121.03/1123.75 c #Conflicts: 1021000 | #Constraints: 39832
1121.03/1123.75 c INPROCESSING
1121.03/1123.75 c GARBAGE COLLECT
1121.03/1123.75 c #Conflicts: 1022000 | #Constraints: 20833
1121.03/1123.75 c #Conflicts: 1023000 | #Constraints: 21833
1121.03/1123.75 c #Conflicts: 1024000 | #Constraints: 22833
1121.03/1123.75 c #Conflicts: 1025000 | #Constraints: 23833
1121.03/1123.75 c #Conflicts: 1026000 | #Constraints: 24833
1121.03/1123.75 c #Conflicts: 1027000 | #Constraints: 25833
1121.03/1123.75 c #Conflicts: 1028000 | #Constraints: 26833
1121.03/1123.75 c #Conflicts: 1029000 | #Constraints: 27833
1121.03/1123.75 c #Conflicts: 1030000 | #Constraints: 28833
1121.03/1123.75 c #Conflicts: 1031000 | #Constraints: 29833
1121.03/1123.75 c #Conflicts: 1032000 | #Constraints: 30833
1121.03/1123.75 c #Conflicts: 1033000 | #Constraints: 31833
1121.03/1123.75 c #Conflicts: 1034000 | #Constraints: 32833
1121.03/1123.75 c #Conflicts: 1035000 | #Constraints: 33833
1121.03/1123.75 c #Conflicts: 1036000 | #Constraints: 34833
1121.03/1123.75 c #Conflicts: 1037000 | #Constraints: 35833
1121.03/1123.75 c #Conflicts: 1038000 | #Constraints: 36833
1121.03/1123.75 c #Conflicts: 1039000 | #Constraints: 37833
1121.03/1123.75 c #Conflicts: 1040000 | #Constraints: 38833
1121.03/1123.75 c #Conflicts: 1041000 | #Constraints: 39833
1121.03/1123.75 c INPROCESSING
1121.03/1123.75 c GARBAGE COLLECT
1121.03/1123.75 c #Conflicts: 1042000 | #Constraints: 20632
1121.03/1123.75 c #Conflicts: 1043000 | #Constraints: 21632
1121.03/1123.75 c #Conflicts: 1044000 | #Constraints: 22632
1121.03/1123.75 c #Conflicts: 1045000 | #Constraints: 23632
1121.03/1123.75 c #Conflicts: 1046000 | #Constraints: 24632
1121.03/1123.75 c #Conflicts: 1047000 | #Constraints: 25632
1121.03/1123.75 c #Conflicts: 1048000 | #Constraints: 26632
1121.03/1123.75 c #Conflicts: 1049000 | #Constraints: 27632
1121.03/1123.75 c #Conflicts: 1050000 | #Constraints: 28632
1121.03/1123.75 c #Conflicts: 1051000 | #Constraints: 29632
1121.03/1123.75 c #Conflicts: 1052000 | #Constraints: 30632
1121.03/1123.75 c #Conflicts: 1053000 | #Constraints: 31632
1121.03/1123.75 c #Conflicts: 1054000 | #Constraints: 32632
1121.03/1123.75 c #Conflicts: 1055000 | #Constraints: 33632
1121.03/1123.75 c #Conflicts: 1056000 | #Constraints: 34632
1121.03/1123.75 c #Conflicts: 1057000 | #Constraints: 35632
1121.03/1123.75 c #Conflicts: 1058000 | #Constraints: 36632
1121.03/1123.75 c #Conflicts: 1059000 | #Constraints: 37632
1121.03/1123.75 c #Conflicts: 1060000 | #Constraints: 38632
1121.03/1123.75 c #Conflicts: 1061000 | #Constraints: 39632
1121.03/1123.75 c #Conflicts: 1062000 | #Constraints: 40632
1121.03/1123.75 c INPROCESSING
1121.03/1123.75 c GARBAGE COLLECT
1121.03/1123.75 c #Conflicts: 1063000 | #Constraints: 21233
1121.03/1123.75 c #Conflicts: 1064000 | #Constraints: 22233
1121.03/1123.75 c #Conflicts: 1065000 | #Constraints: 23233
1121.03/1123.75 c #Conflicts: 1066000 | #Constraints: 24233
1121.03/1123.75 c #Conflicts: 1067000 | #Constraints: 25233
1121.03/1123.75 c #Conflicts: 1068000 | #Constraints: 26233
1121.03/1123.75 c #Conflicts: 1069000 | #Constraints: 27233
1121.03/1123.75 c #Conflicts: 1070000 | #Constraints: 28233
1121.03/1123.75 c #Conflicts: 1071000 | #Constraints: 29233
1121.03/1123.75 c #Conflicts: 1072000 | #Constraints: 30233
1121.03/1123.75 c #Conflicts: 1073000 | #Constraints: 31233
1121.03/1123.75 c #Conflicts: 1074000 | #Constraints: 32233
1121.03/1123.75 c #Conflicts: 1075000 | #Constraints: 33233
1121.03/1123.75 c #Conflicts: 1076000 | #Constraints: 34233
1121.03/1123.75 c #Conflicts: 1077000 | #Constraints: 35233
1121.03/1123.75 c #Conflicts: 1078000 | #Constraints: 36233
1121.03/1123.75 c #Conflicts: 1079000 | #Constraints: 37233
1121.03/1123.75 c #Conflicts: 1080000 | #Constraints: 38233
1121.03/1123.75 c #Conflicts: 1081000 | #Constraints: 39233
1121.03/1123.75 c #Conflicts: 1082000 | #Constraints: 40233
1121.03/1123.75 c #Conflicts: 1083000 | #Constraints: 41233
1121.03/1123.75 c INPROCESSING
1121.03/1123.75 c GARBAGE COLLECT
1121.03/1123.75 c #Conflicts: 1084000 | #Constraints: 21633
1121.03/1123.75 c #Conflicts: 1085000 | #Constraints: 22633
1121.03/1123.75 c #Conflicts: 1086000 | #Constraints: 23633
1121.03/1123.75 c #Conflicts: 1087000 | #Constraints: 24633
1121.03/1123.75 c #Conflicts: 1088000 | #Constraints: 25633
1251.65/1254.61 c #Conflicts: 1089000 | #Constraints: 26633
1251.65/1254.61 c #Conflicts: 1090000 | #Constraints: 27633
1251.65/1254.61 c #Conflicts: 1091000 | #Constraints: 28633
1251.65/1254.61 c #Conflicts: 1092000 | #Constraints: 29633
1251.65/1254.61 c #Conflicts: 1093000 | #Constraints: 30633
1251.65/1254.61 c #Conflicts: 1094000 | #Constraints: 31633
1251.65/1254.61 c #Conflicts: 1095000 | #Constraints: 32633
1251.65/1254.61 c #Conflicts: 1096000 | #Constraints: 33633
1251.65/1254.61 c #Conflicts: 1097000 | #Constraints: 34633
1251.65/1254.61 c #Conflicts: 1098000 | #Constraints: 35633
1251.65/1254.61 c #Conflicts: 1099000 | #Constraints: 36633
1251.65/1254.61 c #Conflicts: 1100000 | #Constraints: 37633
1251.65/1254.61 c #Conflicts: 1101000 | #Constraints: 38633
1251.65/1254.61 c #Conflicts: 1102000 | #Constraints: 39633
1251.65/1254.61 c #Conflicts: 1103000 | #Constraints: 40633
1251.65/1254.61 c #Conflicts: 1104000 | #Constraints: 41633
1251.65/1254.61 c INPROCESSING
1251.65/1254.61 c GARBAGE COLLECT
1251.65/1254.61 c #Conflicts: 1105000 | #Constraints: 21832
1251.65/1254.61 c #Conflicts: 1106000 | #Constraints: 22832
1251.65/1254.61 c #Conflicts: 1107000 | #Constraints: 23832
1251.65/1254.61 c #Conflicts: 1108000 | #Constraints: 24832
1251.65/1254.61 c #Conflicts: 1109000 | #Constraints: 25832
1251.65/1254.61 c #Conflicts: 1110000 | #Constraints: 26832
1251.65/1254.61 c #Conflicts: 1111000 | #Constraints: 27832
1251.65/1254.61 c #Conflicts: 1112000 | #Constraints: 28832
1251.65/1254.61 c #Conflicts: 1113000 | #Constraints: 29832
1251.65/1254.61 c #Conflicts: 1114000 | #Constraints: 30832
1251.65/1254.61 c #Conflicts: 1115000 | #Constraints: 31832
1251.65/1254.61 c #Conflicts: 1116000 | #Constraints: 32832
1251.65/1254.61 c #Conflicts: 1117000 | #Constraints: 33832
1251.65/1254.61 c #Conflicts: 1118000 | #Constraints: 34832
1251.65/1254.61 c #Conflicts: 1119000 | #Constraints: 35832
1251.65/1254.61 c #Conflicts: 1120000 | #Constraints: 36832
1251.65/1254.61 c #Conflicts: 1121000 | #Constraints: 37832
1251.65/1254.61 c #Conflicts: 1122000 | #Constraints: 38832
1251.65/1254.61 c #Conflicts: 1123000 | #Constraints: 39832
1251.65/1254.61 c #Conflicts: 1124000 | #Constraints: 40832
1251.65/1254.61 c #Conflicts: 1125000 | #Constraints: 41832
1251.65/1254.61 c INPROCESSING
1251.65/1254.61 c GARBAGE COLLECT
1251.65/1254.61 c #Conflicts: 1126000 | #Constraints: 21832
1251.65/1254.61 c #Conflicts: 1127000 | #Constraints: 22832
1251.65/1254.61 c #Conflicts: 1128000 | #Constraints: 23832
1251.65/1254.61 c #Conflicts: 1129000 | #Constraints: 24832
1251.65/1254.61 c #Conflicts: 1130000 | #Constraints: 25832
1251.65/1254.61 c #Conflicts: 1131000 | #Constraints: 26832
1251.65/1254.61 c #Conflicts: 1132000 | #Constraints: 27832
1251.65/1254.61 c #Conflicts: 1133000 | #Constraints: 28832
1251.65/1254.61 c #Conflicts: 1134000 | #Constraints: 29832
1251.65/1254.61 c #Conflicts: 1135000 | #Constraints: 30832
1251.65/1254.61 c #Conflicts: 1136000 | #Constraints: 31832
1251.65/1254.61 c #Conflicts: 1137000 | #Constraints: 32832
1251.65/1254.61 c #Conflicts: 1138000 | #Constraints: 33832
1251.65/1254.61 c #Conflicts: 1139000 | #Constraints: 34832
1251.65/1254.61 c #Conflicts: 1140000 | #Constraints: 35832
1251.65/1254.61 c #Conflicts: 1141000 | #Constraints: 36832
1251.65/1254.61 c #Conflicts: 1142000 | #Constraints: 37832
1251.65/1254.61 c #Conflicts: 1143000 | #Constraints: 38832
1251.65/1254.61 c #Conflicts: 1144000 | #Constraints: 39832
1251.65/1254.61 c #Conflicts: 1145000 | #Constraints: 40832
1251.65/1254.61 c #Conflicts: 1146000 | #Constraints: 41832
1251.65/1254.61 c INPROCESSING
1251.65/1254.61 c GARBAGE COLLECT
1251.65/1254.61 c #Conflicts: 1147000 | #Constraints: 21632
1251.65/1254.61 c #Conflicts: 1148000 | #Constraints: 22632
1251.65/1254.61 c #Conflicts: 1149000 | #Constraints: 23632
1251.65/1254.61 c #Conflicts: 1150000 | #Constraints: 24632
1251.65/1254.61 c #Conflicts: 1151000 | #Constraints: 25632
1251.65/1254.61 c #Conflicts: 1152000 | #Constraints: 26632
1251.65/1254.61 c #Conflicts: 1153000 | #Constraints: 27632
1251.65/1254.61 c #Conflicts: 1154000 | #Constraints: 28632
1251.65/1254.61 c #Conflicts: 1155000 | #Constraints: 29632
1251.65/1254.61 c #Conflicts: 1156000 | #Constraints: 30632
1251.65/1254.61 c #Conflicts: 1157000 | #Constraints: 31632
1251.65/1254.61 c #Conflicts: 1158000 | #Constraints: 32632
1251.65/1254.61 c #Conflicts: 1159000 | #Constraints: 33632
1251.65/1254.61 c #Conflicts: 1160000 | #Constraints: 34632
1251.65/1254.61 c #Conflicts: 1161000 | #Constraints: 35632
1251.65/1254.61 c #Conflicts: 1162000 | #Constraints: 36632
1251.65/1254.61 c #Conflicts: 1163000 | #Constraints: 37632
1251.65/1254.61 c #Conflicts: 1164000 | #Constraints: 38632
1251.65/1254.61 c #Conflicts: 1165000 | #Constraints: 39632
1378.96/1382.23 c #Conflicts: 1166000 | #Constraints: 40632
1378.96/1382.23 c #Conflicts: 1167000 | #Constraints: 41632
1378.96/1382.23 c #Conflicts: 1168000 | #Constraints: 42632
1378.96/1382.23 c INPROCESSING
1378.96/1382.23 c GARBAGE COLLECT
1378.96/1382.23 c #Conflicts: 1169000 | #Constraints: 22232
1378.96/1382.23 c #Conflicts: 1170000 | #Constraints: 23232
1378.96/1382.23 c #Conflicts: 1171000 | #Constraints: 24232
1378.96/1382.23 c #Conflicts: 1172000 | #Constraints: 25232
1378.96/1382.23 c #Conflicts: 1173000 | #Constraints: 26232
1378.96/1382.23 c #Conflicts: 1174000 | #Constraints: 27232
1378.96/1382.23 c #Conflicts: 1175000 | #Constraints: 28232
1378.96/1382.23 c #Conflicts: 1176000 | #Constraints: 29232
1378.96/1382.23 c #Conflicts: 1177000 | #Constraints: 30232
1378.96/1382.23 c #Conflicts: 1178000 | #Constraints: 31232
1378.96/1382.23 c #Conflicts: 1179000 | #Constraints: 32232
1378.96/1382.23 c #Conflicts: 1180000 | #Constraints: 33232
1378.96/1382.23 c #Conflicts: 1181000 | #Constraints: 34232
1378.96/1382.23 c #Conflicts: 1182000 | #Constraints: 35232
1378.96/1382.23 c #Conflicts: 1183000 | #Constraints: 36232
1378.96/1382.23 c #Conflicts: 1184000 | #Constraints: 37232
1378.96/1382.23 c #Conflicts: 1185000 | #Constraints: 38232
1378.96/1382.23 c #Conflicts: 1186000 | #Constraints: 39232
1378.96/1382.23 c #Conflicts: 1187000 | #Constraints: 40232
1378.96/1382.23 c #Conflicts: 1188000 | #Constraints: 41232
1378.96/1382.23 c #Conflicts: 1189000 | #Constraints: 42232
1378.96/1382.23 c #Conflicts: 1190000 | #Constraints: 43232
1378.96/1382.23 c INPROCESSING
1378.96/1382.23 c GARBAGE COLLECT
1378.96/1382.23 c #Conflicts: 1191000 | #Constraints: 22632
1378.96/1382.23 c #Conflicts: 1192000 | #Constraints: 23632
1378.96/1382.23 c #Conflicts: 1193000 | #Constraints: 24632
1378.96/1382.23 c #Conflicts: 1194000 | #Constraints: 25632
1378.96/1382.23 c #Conflicts: 1195000 | #Constraints: 26632
1378.96/1382.23 c #Conflicts: 1196000 | #Constraints: 27632
1378.96/1382.23 c #Conflicts: 1197000 | #Constraints: 28632
1378.96/1382.23 c #Conflicts: 1198000 | #Constraints: 29632
1378.96/1382.23 c #Conflicts: 1199000 | #Constraints: 30632
1378.96/1382.23 c #Conflicts: 1200000 | #Constraints: 31632
1378.96/1382.23 c #Conflicts: 1201000 | #Constraints: 32632
1378.96/1382.23 c #Conflicts: 1202000 | #Constraints: 33632
1378.96/1382.23 c #Conflicts: 1203000 | #Constraints: 34632
1378.96/1382.23 c #Conflicts: 1204000 | #Constraints: 35632
1378.96/1382.23 c #Conflicts: 1205000 | #Constraints: 36632
1378.96/1382.23 c #Conflicts: 1206000 | #Constraints: 37632
1378.96/1382.23 c #Conflicts: 1207000 | #Constraints: 38632
1378.96/1382.23 c #Conflicts: 1208000 | #Constraints: 39632
1378.96/1382.23 c #Conflicts: 1209000 | #Constraints: 40632
1378.96/1382.23 c #Conflicts: 1210000 | #Constraints: 41632
1378.96/1382.23 c #Conflicts: 1211000 | #Constraints: 42632
1378.96/1382.23 c #Conflicts: 1212000 | #Constraints: 43632
1378.96/1382.23 c INPROCESSING
1378.96/1382.23 c GARBAGE COLLECT
1378.96/1382.23 c #Conflicts: 1213000 | #Constraints: 22832
1378.96/1382.23 c #Conflicts: 1214000 | #Constraints: 23832
1378.96/1382.23 c #Conflicts: 1215000 | #Constraints: 24832
1378.96/1382.23 c #Conflicts: 1216000 | #Constraints: 25832
1378.96/1382.23 c #Conflicts: 1217000 | #Constraints: 26832
1378.96/1382.23 c #Conflicts: 1218000 | #Constraints: 27832
1378.96/1382.23 c #Conflicts: 1219000 | #Constraints: 28832
1378.96/1382.23 c #Conflicts: 1220000 | #Constraints: 29832
1378.96/1382.23 c #Conflicts: 1221000 | #Constraints: 30832
1378.96/1382.23 c #Conflicts: 1222000 | #Constraints: 31832
1378.96/1382.23 c #Conflicts: 1223000 | #Constraints: 32832
1378.96/1382.23 c #Conflicts: 1224000 | #Constraints: 33832
1378.96/1382.23 c #Conflicts: 1225000 | #Constraints: 34832
1378.96/1382.23 c #Conflicts: 1226000 | #Constraints: 35832
1378.96/1382.23 c #Conflicts: 1227000 | #Constraints: 36832
1378.96/1382.23 c #Conflicts: 1228000 | #Constraints: 37832
1378.96/1382.23 c #Conflicts: 1229000 | #Constraints: 38832
1378.96/1382.23 c #Conflicts: 1230000 | #Constraints: 39832
1378.96/1382.23 c #Conflicts: 1231000 | #Constraints: 40832
1378.96/1382.23 c #Conflicts: 1232000 | #Constraints: 41832
1378.96/1382.23 c #Conflicts: 1233000 | #Constraints: 42832
1378.96/1382.23 c #Conflicts: 1234000 | #Constraints: 43832
1378.96/1382.23 c INPROCESSING
1378.96/1382.23 c GARBAGE COLLECT
1378.96/1382.23 c #Conflicts: 1235000 | #Constraints: 22832
1378.96/1382.23 c #Conflicts: 1236000 | #Constraints: 23832
1378.96/1382.23 c #Conflicts: 1237000 | #Constraints: 24832
1378.96/1382.23 c #Conflicts: 1238000 | #Constraints: 25832
1378.96/1382.23 c #Conflicts: 1239000 | #Constraints: 26832
1378.96/1382.23 c #Conflicts: 1240000 | #Constraints: 27832
1378.96/1382.23 c #Conflicts: 1241000 | #Constraints: 28832
1510.37/1513.99 c #Conflicts: 1242000 | #Constraints: 29832
1510.37/1513.99 c #Conflicts: 1243000 | #Constraints: 30832
1510.37/1513.99 c #Conflicts: 1244000 | #Constraints: 31832
1510.37/1513.99 c #Conflicts: 1245000 | #Constraints: 32832
1510.37/1513.99 c #Conflicts: 1246000 | #Constraints: 33832
1510.37/1513.99 c #Conflicts: 1247000 | #Constraints: 34832
1510.37/1513.99 c #Conflicts: 1248000 | #Constraints: 35832
1510.37/1513.99 c #Conflicts: 1249000 | #Constraints: 36832
1510.37/1513.99 c #Conflicts: 1250000 | #Constraints: 37832
1510.37/1513.99 c #Conflicts: 1251000 | #Constraints: 38832
1510.37/1513.99 c #Conflicts: 1252000 | #Constraints: 39832
1510.37/1513.99 c #Conflicts: 1253000 | #Constraints: 40832
1510.37/1513.99 c #Conflicts: 1254000 | #Constraints: 41832
1510.37/1513.99 c #Conflicts: 1255000 | #Constraints: 42832
1510.37/1513.99 c #Conflicts: 1256000 | #Constraints: 43832
1510.37/1513.99 c INPROCESSING
1510.37/1513.99 c GARBAGE COLLECT
1510.37/1513.99 c #Conflicts: 1257000 | #Constraints: 22632
1510.37/1513.99 c #Conflicts: 1258000 | #Constraints: 23632
1510.37/1513.99 c #Conflicts: 1259000 | #Constraints: 24632
1510.37/1513.99 c #Conflicts: 1260000 | #Constraints: 25632
1510.37/1513.99 c #Conflicts: 1261000 | #Constraints: 26632
1510.37/1513.99 c #Conflicts: 1262000 | #Constraints: 27632
1510.37/1513.99 c #Conflicts: 1263000 | #Constraints: 28632
1510.37/1513.99 c #Conflicts: 1264000 | #Constraints: 29632
1510.37/1513.99 c #Conflicts: 1265000 | #Constraints: 30632
1510.37/1513.99 c #Conflicts: 1266000 | #Constraints: 31632
1510.37/1513.99 c #Conflicts: 1267000 | #Constraints: 32632
1510.37/1513.99 c #Conflicts: 1268000 | #Constraints: 33632
1510.37/1513.99 c #Conflicts: 1269000 | #Constraints: 34632
1510.37/1513.99 c #Conflicts: 1270000 | #Constraints: 35632
1510.37/1513.99 c #Conflicts: 1271000 | #Constraints: 36632
1510.37/1513.99 c #Conflicts: 1272000 | #Constraints: 37632
1510.37/1513.99 c #Conflicts: 1273000 | #Constraints: 38632
1510.37/1513.99 c #Conflicts: 1274000 | #Constraints: 39632
1510.37/1513.99 c #Conflicts: 1275000 | #Constraints: 40632
1510.37/1513.99 c #Conflicts: 1276000 | #Constraints: 41632
1510.37/1513.99 c #Conflicts: 1277000 | #Constraints: 42632
1510.37/1513.99 c #Conflicts: 1278000 | #Constraints: 43632
1510.37/1513.99 c #Conflicts: 1279000 | #Constraints: 44632
1510.37/1513.99 c INPROCESSING
1510.37/1513.99 c GARBAGE COLLECT
1510.37/1513.99 c #Conflicts: 1280000 | #Constraints: 23231
1510.37/1513.99 c #Conflicts: 1281000 | #Constraints: 24231
1510.37/1513.99 c #Conflicts: 1282000 | #Constraints: 25231
1510.37/1513.99 c #Conflicts: 1283000 | #Constraints: 26231
1510.37/1513.99 c #Conflicts: 1284000 | #Constraints: 27231
1510.37/1513.99 c #Conflicts: 1285000 | #Constraints: 28231
1510.37/1513.99 c #Conflicts: 1286000 | #Constraints: 29231
1510.37/1513.99 c #Conflicts: 1287000 | #Constraints: 30231
1510.37/1513.99 c #Conflicts: 1288000 | #Constraints: 31231
1510.37/1513.99 c #Conflicts: 1289000 | #Constraints: 32231
1510.37/1513.99 c #Conflicts: 1290000 | #Constraints: 33231
1510.37/1513.99 c #Conflicts: 1291000 | #Constraints: 34231
1510.37/1513.99 c #Conflicts: 1292000 | #Constraints: 35231
1510.37/1513.99 c #Conflicts: 1293000 | #Constraints: 36231
1510.37/1513.99 c #Conflicts: 1294000 | #Constraints: 37231
1510.37/1513.99 c #Conflicts: 1295000 | #Constraints: 38231
1510.37/1513.99 c #Conflicts: 1296000 | #Constraints: 39231
1510.37/1513.99 c #Conflicts: 1297000 | #Constraints: 40231
1510.37/1513.99 c #Conflicts: 1298000 | #Constraints: 41231
1510.37/1513.99 c #Conflicts: 1299000 | #Constraints: 42231
1510.37/1513.99 c #Conflicts: 1300000 | #Constraints: 43231
1510.37/1513.99 c #Conflicts: 1301000 | #Constraints: 44231
1510.37/1513.99 c #Conflicts: 1302000 | #Constraints: 45231
1510.37/1513.99 c INPROCESSING
1510.37/1513.99 c GARBAGE COLLECT
1510.37/1513.99 c #Conflicts: 1303000 | #Constraints: 23630
1510.37/1513.99 c #Conflicts: 1304000 | #Constraints: 24630
1510.37/1513.99 c #Conflicts: 1305000 | #Constraints: 25630
1510.37/1513.99 c #Conflicts: 1306000 | #Constraints: 26630
1510.37/1513.99 c #Conflicts: 1307000 | #Constraints: 27630
1510.37/1513.99 c #Conflicts: 1308000 | #Constraints: 28630
1510.37/1513.99 c #Conflicts: 1309000 | #Constraints: 29630
1510.37/1513.99 c #Conflicts: 1310000 | #Constraints: 30630
1510.37/1513.99 c #Conflicts: 1311000 | #Constraints: 31630
1510.37/1513.99 c #Conflicts: 1312000 | #Constraints: 32630
1510.37/1513.99 c #Conflicts: 1313000 | #Constraints: 33630
1510.37/1513.99 c #Conflicts: 1314000 | #Constraints: 34630
1510.37/1513.99 c #Conflicts: 1315000 | #Constraints: 35630
1510.37/1513.99 c #Conflicts: 1316000 | #Constraints: 36630
1510.37/1513.99 c #Conflicts: 1317000 | #Constraints: 37630
1510.37/1513.99 c #Conflicts: 1318000 | #Constraints: 38630
1651.26/1655.19 c #Conflicts: 1319000 | #Constraints: 39630
1651.26/1655.19 c #Conflicts: 1320000 | #Constraints: 40630
1651.26/1655.19 c #Conflicts: 1321000 | #Constraints: 41630
1651.26/1655.19 c #Conflicts: 1322000 | #Constraints: 42630
1651.26/1655.19 c #Conflicts: 1323000 | #Constraints: 43630
1651.26/1655.19 c #Conflicts: 1324000 | #Constraints: 44630
1651.26/1655.19 c #Conflicts: 1325000 | #Constraints: 45630
1651.26/1655.19 c INPROCESSING
1651.26/1655.19 c GARBAGE COLLECT
1651.26/1655.19 c #Conflicts: 1326000 | #Constraints: 23830
1651.26/1655.19 c #Conflicts: 1327000 | #Constraints: 24830
1651.26/1655.19 c #Conflicts: 1328000 | #Constraints: 25830
1651.26/1655.19 c #Conflicts: 1329000 | #Constraints: 26830
1651.26/1655.19 c #Conflicts: 1330000 | #Constraints: 27830
1651.26/1655.19 c #Conflicts: 1331000 | #Constraints: 28830
1651.26/1655.19 c #Conflicts: 1332000 | #Constraints: 29830
1651.26/1655.19 c #Conflicts: 1333000 | #Constraints: 30830
1651.26/1655.19 c #Conflicts: 1334000 | #Constraints: 31830
1651.26/1655.19 c #Conflicts: 1335000 | #Constraints: 32830
1651.26/1655.19 c #Conflicts: 1336000 | #Constraints: 33830
1651.26/1655.19 c #Conflicts: 1337000 | #Constraints: 34830
1651.26/1655.19 c #Conflicts: 1338000 | #Constraints: 35830
1651.26/1655.19 c #Conflicts: 1339000 | #Constraints: 36830
1651.26/1655.19 c #Conflicts: 1340000 | #Constraints: 37830
1651.26/1655.19 c #Conflicts: 1341000 | #Constraints: 38830
1651.26/1655.19 c #Conflicts: 1342000 | #Constraints: 39830
1651.26/1655.19 c #Conflicts: 1343000 | #Constraints: 40830
1651.26/1655.19 c #Conflicts: 1344000 | #Constraints: 41830
1651.26/1655.19 c #Conflicts: 1345000 | #Constraints: 42830
1651.26/1655.19 c #Conflicts: 1346000 | #Constraints: 43830
1651.26/1655.19 c #Conflicts: 1347000 | #Constraints: 44830
1651.26/1655.19 c #Conflicts: 1348000 | #Constraints: 45830
1651.26/1655.19 c INPROCESSING
1651.26/1655.19 c GARBAGE COLLECT
1651.26/1655.19 c #Conflicts: 1349000 | #Constraints: 23830
1651.26/1655.19 c #Conflicts: 1350000 | #Constraints: 24830
1651.26/1655.19 c #Conflicts: 1351000 | #Constraints: 25830
1651.26/1655.19 c #Conflicts: 1352000 | #Constraints: 26830
1651.26/1655.19 c #Conflicts: 1353000 | #Constraints: 27830
1651.26/1655.19 c #Conflicts: 1354000 | #Constraints: 28830
1651.26/1655.19 c #Conflicts: 1355000 | #Constraints: 29830
1651.26/1655.19 c #Conflicts: 1356000 | #Constraints: 30830
1651.26/1655.19 c #Conflicts: 1357000 | #Constraints: 31830
1651.26/1655.19 c #Conflicts: 1358000 | #Constraints: 32830
1651.26/1655.19 c #Conflicts: 1359000 | #Constraints: 33830
1651.26/1655.19 c #Conflicts: 1360000 | #Constraints: 34830
1651.26/1655.19 c #Conflicts: 1361000 | #Constraints: 35830
1651.26/1655.19 c #Conflicts: 1362000 | #Constraints: 36830
1651.26/1655.19 c #Conflicts: 1363000 | #Constraints: 37830
1651.26/1655.19 c #Conflicts: 1364000 | #Constraints: 38830
1651.26/1655.19 c #Conflicts: 1365000 | #Constraints: 39830
1651.26/1655.19 c #Conflicts: 1366000 | #Constraints: 40830
1651.26/1655.19 c #Conflicts: 1367000 | #Constraints: 41830
1651.26/1655.19 c #Conflicts: 1368000 | #Constraints: 42830
1651.26/1655.19 c #Conflicts: 1369000 | #Constraints: 43830
1651.26/1655.19 c #Conflicts: 1370000 | #Constraints: 44830
1651.26/1655.19 c #Conflicts: 1371000 | #Constraints: 45830
1651.26/1655.19 c INPROCESSING
1651.26/1655.19 c GARBAGE COLLECT
1651.26/1655.19 c #Conflicts: 1372000 | #Constraints: 23630
1651.26/1655.19 c #Conflicts: 1373000 | #Constraints: 24630
1651.26/1655.19 c #Conflicts: 1374000 | #Constraints: 25630
1651.26/1655.19 c #Conflicts: 1375000 | #Constraints: 26630
1651.26/1655.19 c #Conflicts: 1376000 | #Constraints: 27630
1651.26/1655.19 c #Conflicts: 1377000 | #Constraints: 28630
1651.26/1655.19 c #Conflicts: 1378000 | #Constraints: 29630
1651.26/1655.19 c #Conflicts: 1379000 | #Constraints: 30630
1651.26/1655.19 c #Conflicts: 1380000 | #Constraints: 31630
1651.26/1655.19 c #Conflicts: 1381000 | #Constraints: 32630
1651.26/1655.19 c #Conflicts: 1382000 | #Constraints: 33630
1651.26/1655.19 c #Conflicts: 1383000 | #Constraints: 34630
1651.26/1655.19 c #Conflicts: 1384000 | #Constraints: 35630
1651.26/1655.19 c #Conflicts: 1385000 | #Constraints: 36630
1651.26/1655.19 c #Conflicts: 1386000 | #Constraints: 37630
1651.26/1655.19 c #Conflicts: 1387000 | #Constraints: 38630
1651.26/1655.19 c #Conflicts: 1388000 | #Constraints: 39630
1651.26/1655.19 c #Conflicts: 1389000 | #Constraints: 40630
1651.26/1655.19 c #Conflicts: 1390000 | #Constraints: 41630
1651.26/1655.19 c #Conflicts: 1391000 | #Constraints: 42630
1651.26/1655.19 c #Conflicts: 1392000 | #Constraints: 43630
1651.26/1655.19 c #Conflicts: 1393000 | #Constraints: 44630
1651.26/1655.19 c #Conflicts: 1394000 | #Constraints: 45630
1651.26/1655.19 c #Conflicts: 1395000 | #Constraints: 46630
1791.74/1796.00 c INPROCESSING
1791.74/1796.00 c GARBAGE COLLECT
1791.74/1796.00 c #Conflicts: 1396000 | #Constraints: 24231
1791.74/1796.00 c #Conflicts: 1397000 | #Constraints: 25231
1791.74/1796.00 c #Conflicts: 1398000 | #Constraints: 26231
1791.74/1796.00 c #Conflicts: 1399000 | #Constraints: 27231
1791.74/1796.00 c #Conflicts: 1400000 | #Constraints: 28231
1791.74/1796.00 c #Conflicts: 1401000 | #Constraints: 29231
1791.74/1796.00 c #Conflicts: 1402000 | #Constraints: 30231
1791.74/1796.00 c #Conflicts: 1403000 | #Constraints: 31231
1791.74/1796.00 c #Conflicts: 1404000 | #Constraints: 32231
1791.74/1796.00 c #Conflicts: 1405000 | #Constraints: 33231
1791.74/1796.00 c #Conflicts: 1406000 | #Constraints: 34231
1791.74/1796.00 c #Conflicts: 1407000 | #Constraints: 35231
1791.74/1796.00 c #Conflicts: 1408000 | #Constraints: 36231
1791.74/1796.00 c #Conflicts: 1409000 | #Constraints: 37231
1791.74/1796.00 c #Conflicts: 1410000 | #Constraints: 38231
1791.74/1796.00 c #Conflicts: 1411000 | #Constraints: 39231
1791.74/1796.00 c #Conflicts: 1412000 | #Constraints: 40231
1791.74/1796.00 c #Conflicts: 1413000 | #Constraints: 41231
1791.74/1796.00 c #Conflicts: 1414000 | #Constraints: 42231
1791.74/1796.00 c #Conflicts: 1415000 | #Constraints: 43231
1791.74/1796.00 c #Conflicts: 1416000 | #Constraints: 44231
1791.74/1796.00 c #Conflicts: 1417000 | #Constraints: 45231
1791.74/1796.00 c #Conflicts: 1418000 | #Constraints: 46231
1791.74/1796.00 c #Conflicts: 1419000 | #Constraints: 47231
1791.74/1796.00 c INPROCESSING
1791.74/1796.00 c GARBAGE COLLECT
1791.74/1796.00 c #Conflicts: 1420000 | #Constraints: 24630
1791.74/1796.00 c #Conflicts: 1421000 | #Constraints: 25630
1791.74/1796.00 c #Conflicts: 1422000 | #Constraints: 26630
1791.74/1796.00 c #Conflicts: 1423000 | #Constraints: 27630
1791.74/1796.00 c #Conflicts: 1424000 | #Constraints: 28630
1791.74/1796.00 c #Conflicts: 1425000 | #Constraints: 29630
1791.74/1796.00 c #Conflicts: 1426000 | #Constraints: 30630
1791.74/1796.00 c #Conflicts: 1427000 | #Constraints: 31630
1791.74/1796.00 c #Conflicts: 1428000 | #Constraints: 32630
1791.74/1796.00 c #Conflicts: 1429000 | #Constraints: 33630
1791.74/1796.00 c #Conflicts: 1430000 | #Constraints: 34630
1791.74/1796.00 c #Conflicts: 1431000 | #Constraints: 35630
1791.74/1796.00 c #Conflicts: 1432000 | #Constraints: 36630
1791.74/1796.00 c #Conflicts: 1433000 | #Constraints: 37630
1791.74/1796.00 c #Conflicts: 1434000 | #Constraints: 38630
1791.74/1796.00 c #Conflicts: 1435000 | #Constraints: 39630
1791.74/1796.00 c #Conflicts: 1436000 | #Constraints: 40630
1791.74/1796.00 c #Conflicts: 1437000 | #Constraints: 41630
1791.74/1796.00 c #Conflicts: 1438000 | #Constraints: 42630
1791.74/1796.00 c #Conflicts: 1439000 | #Constraints: 43630
1791.74/1796.00 c #Conflicts: 1440000 | #Constraints: 44630
1791.74/1796.00 c #Conflicts: 1441000 | #Constraints: 45630
1791.74/1796.00 c #Conflicts: 1442000 | #Constraints: 46630
1791.74/1796.00 c #Conflicts: 1443000 | #Constraints: 47630
1791.74/1796.00 c INPROCESSING
1791.74/1796.00 c GARBAGE COLLECT
1791.74/1796.00 c #Conflicts: 1444000 | #Constraints: 24832
1791.74/1796.00 c #Conflicts: 1445000 | #Constraints: 25832
1791.74/1796.00 c #Conflicts: 1446000 | #Constraints: 26832
1791.74/1796.00 c #Conflicts: 1447000 | #Constraints: 27832
1791.74/1796.00 c #Conflicts: 1448000 | #Constraints: 28832
1791.74/1796.00 c #Conflicts: 1449000 | #Constraints: 29832
1791.74/1796.00 c #Conflicts: 1450000 | #Constraints: 30832
1791.74/1796.00 c #Conflicts: 1451000 | #Constraints: 31832
1791.74/1796.00 c #Conflicts: 1452000 | #Constraints: 32832
1791.74/1796.00 c #Conflicts: 1453000 | #Constraints: 33832
1791.74/1796.00 c #Conflicts: 1454000 | #Constraints: 34832
1791.74/1796.00 c #Conflicts: 1455000 | #Constraints: 35832
1791.74/1796.00 c #Conflicts: 1456000 | #Constraints: 36832
1791.74/1796.00 c #Conflicts: 1457000 | #Constraints: 37832
1791.74/1796.00 c #Conflicts: 1458000 | #Constraints: 38832
1791.74/1796.00 c #Conflicts: 1459000 | #Constraints: 39832
1791.74/1796.00 c #Conflicts: 1460000 | #Constraints: 40832
1791.74/1796.00 c #Conflicts: 1461000 | #Constraints: 41832
1791.74/1796.00 c #Conflicts: 1462000 | #Constraints: 42832
1791.74/1796.00 c #Conflicts: 1463000 | #Constraints: 43832
1791.74/1796.00 c #Conflicts: 1464000 | #Constraints: 44832
1791.74/1796.00 c #Conflicts: 1465000 | #Constraints: 45832
1791.74/1796.00 c #Conflicts: 1466000 | #Constraints: 46832
1791.74/1796.00 c #Conflicts: 1467000 | #Constraints: 47832
1791.74/1796.00 c INPROCESSING
1791.74/1796.00 c GARBAGE COLLECT
1791.74/1796.00 c #Conflicts: 1468000 | #Constraints: 24830
1791.74/1796.00 c #Conflicts: 1469000 | #Constraints: 25830
1791.74/1796.00 c #Conflicts: 1470000 | #Constraints: 26830
1791.74/1796.00 c #Conflicts: 1471000 | #Constraints: 27830
1937.39/1941.93 c #Conflicts: 1472000 | #Constraints: 28830
1937.39/1941.93 c #Conflicts: 1473000 | #Constraints: 29830
1937.39/1941.93 c #Conflicts: 1474000 | #Constraints: 30830
1937.39/1941.93 c #Conflicts: 1475000 | #Constraints: 31830
1937.39/1941.93 c #Conflicts: 1476000 | #Constraints: 32830
1937.39/1941.93 c #Conflicts: 1477000 | #Constraints: 33830
1937.39/1941.93 c #Conflicts: 1478000 | #Constraints: 34830
1937.39/1941.93 c #Conflicts: 1479000 | #Constraints: 35830
1937.39/1941.93 c #Conflicts: 1480000 | #Constraints: 36830
1937.39/1941.93 c #Conflicts: 1481000 | #Constraints: 37830
1937.39/1941.93 c #Conflicts: 1482000 | #Constraints: 38830
1937.39/1941.93 c #Conflicts: 1483000 | #Constraints: 39830
1937.39/1941.93 c #Conflicts: 1484000 | #Constraints: 40830
1937.39/1941.93 c #Conflicts: 1485000 | #Constraints: 41830
1937.39/1941.93 c #Conflicts: 1486000 | #Constraints: 42830
1937.39/1941.93 c #Conflicts: 1487000 | #Constraints: 43830
1937.39/1941.93 c #Conflicts: 1488000 | #Constraints: 44830
1937.39/1941.93 c #Conflicts: 1489000 | #Constraints: 45830
1937.39/1941.93 c #Conflicts: 1490000 | #Constraints: 46830
1937.39/1941.93 c #Conflicts: 1491000 | #Constraints: 47830
1937.39/1941.93 c INPROCESSING
1937.39/1941.93 c GARBAGE COLLECT
1937.39/1941.93 c #Conflicts: 1492000 | #Constraints: 24628
1937.39/1941.93 c #Conflicts: 1493000 | #Constraints: 25628
1937.39/1941.93 c #Conflicts: 1494000 | #Constraints: 26628
1937.39/1941.93 c #Conflicts: 1495000 | #Constraints: 27628
1937.39/1941.93 c #Conflicts: 1496000 | #Constraints: 28628
1937.39/1941.93 c #Conflicts: 1497000 | #Constraints: 29628
1937.39/1941.93 c #Conflicts: 1498000 | #Constraints: 30628
1937.39/1941.93 c #Conflicts: 1499000 | #Constraints: 31628
1937.39/1941.93 c #Conflicts: 1500000 | #Constraints: 32628
1937.39/1941.93 c #Conflicts: 1501000 | #Constraints: 33628
1937.39/1941.93 c #Conflicts: 1502000 | #Constraints: 34628
1937.39/1941.93 c #Conflicts: 1503000 | #Constraints: 35628
1937.39/1941.93 c #Conflicts: 1504000 | #Constraints: 36628
1937.39/1941.93 c #Conflicts: 1505000 | #Constraints: 37628
1937.39/1941.93 c #Conflicts: 1506000 | #Constraints: 38628
1937.39/1941.93 c #Conflicts: 1507000 | #Constraints: 39628
1937.39/1941.93 c #Conflicts: 1508000 | #Constraints: 40628
1937.39/1941.93 c #Conflicts: 1509000 | #Constraints: 41628
1937.39/1941.93 c #Conflicts: 1510000 | #Constraints: 42628
1937.39/1941.93 c #Conflicts: 1511000 | #Constraints: 43628
1937.39/1941.93 c #Conflicts: 1512000 | #Constraints: 44628
1937.39/1941.93 c #Conflicts: 1513000 | #Constraints: 45628
1937.39/1941.93 c #Conflicts: 1514000 | #Constraints: 46628
1937.39/1941.93 c #Conflicts: 1515000 | #Constraints: 47628
1937.39/1941.93 c #Conflicts: 1516000 | #Constraints: 48628
1937.39/1941.93 c INPROCESSING
1937.39/1941.93 c GARBAGE COLLECT
1937.39/1941.93 c #Conflicts: 1517000 | #Constraints: 25226
1937.39/1941.93 c #Conflicts: 1518000 | #Constraints: 26226
1937.39/1941.93 c #Conflicts: 1519000 | #Constraints: 27226
1937.39/1941.93 c #Conflicts: 1520000 | #Constraints: 28226
1937.39/1941.93 c #Conflicts: 1521000 | #Constraints: 29226
1937.39/1941.93 c #Conflicts: 1522000 | #Constraints: 30226
1937.39/1941.93 c #Conflicts: 1523000 | #Constraints: 31226
1937.39/1941.93 c #Conflicts: 1524000 | #Constraints: 32226
1937.39/1941.93 c #Conflicts: 1525000 | #Constraints: 33226
1937.39/1941.93 c #Conflicts: 1526000 | #Constraints: 34226
1937.39/1941.93 c #Conflicts: 1527000 | #Constraints: 35226
1937.39/1941.93 c #Conflicts: 1528000 | #Constraints: 36226
1937.39/1941.93 c #Conflicts: 1529000 | #Constraints: 37226
1937.39/1941.93 c #Conflicts: 1530000 | #Constraints: 38226
1937.39/1941.93 c #Conflicts: 1531000 | #Constraints: 39226
1937.39/1941.93 c #Conflicts: 1532000 | #Constraints: 40226
1937.39/1941.93 c #Conflicts: 1533000 | #Constraints: 41226
1937.39/1941.93 c #Conflicts: 1534000 | #Constraints: 42226
1937.39/1941.93 c #Conflicts: 1535000 | #Constraints: 43226
1937.39/1941.93 c #Conflicts: 1536000 | #Constraints: 44226
1937.39/1941.93 c #Conflicts: 1537000 | #Constraints: 45226
1937.39/1941.93 c #Conflicts: 1538000 | #Constraints: 46226
1937.39/1941.93 c #Conflicts: 1539000 | #Constraints: 47226
1937.39/1941.93 c #Conflicts: 1540000 | #Constraints: 48226
1937.39/1941.93 c #Conflicts: 1541000 | #Constraints: 49226
1937.39/1941.93 c INPROCESSING
1937.39/1941.93 c GARBAGE COLLECT
1937.39/1941.93 c #Conflicts: 1542000 | #Constraints: 25630
1937.39/1941.93 c #Conflicts: 1543000 | #Constraints: 26630
1937.39/1941.93 c #Conflicts: 1544000 | #Constraints: 27630
1937.39/1941.93 c #Conflicts: 1545000 | #Constraints: 28630
1937.39/1941.93 c #Conflicts: 1546000 | #Constraints: 29630
1937.39/1941.93 c #Conflicts: 1547000 | #Constraints: 30630
1937.39/1941.93 c #Conflicts: 1548000 | #Constraints: 31630
2117.10/2122.14 c #Conflicts: 1549000 | #Constraints: 32630
2117.10/2122.14 c #Conflicts: 1550000 | #Constraints: 33630
2117.10/2122.14 c #Conflicts: 1551000 | #Constraints: 34630
2117.10/2122.14 c #Conflicts: 1552000 | #Constraints: 35630
2117.10/2122.14 c #Conflicts: 1553000 | #Constraints: 36630
2117.10/2122.14 c #Conflicts: 1554000 | #Constraints: 37630
2117.10/2122.14 c #Conflicts: 1555000 | #Constraints: 38630
2117.10/2122.14 c #Conflicts: 1556000 | #Constraints: 39630
2117.10/2122.14 c #Conflicts: 1557000 | #Constraints: 40630
2117.10/2122.14 c #Conflicts: 1558000 | #Constraints: 41630
2117.10/2122.14 c #Conflicts: 1559000 | #Constraints: 42630
2117.10/2122.14 c #Conflicts: 1560000 | #Constraints: 43630
2117.10/2122.14 c #Conflicts: 1561000 | #Constraints: 44630
2117.10/2122.14 c #Conflicts: 1562000 | #Constraints: 45630
2117.10/2122.14 c #Conflicts: 1563000 | #Constraints: 46630
2117.10/2122.14 c #Conflicts: 1564000 | #Constraints: 47630
2117.10/2122.14 c #Conflicts: 1565000 | #Constraints: 48630
2117.10/2122.14 c #Conflicts: 1566000 | #Constraints: 49630
2117.10/2122.14 c INPROCESSING
2117.10/2122.14 c GARBAGE COLLECT
2117.10/2122.14 c #Conflicts: 1567000 | #Constraints: 25830
2117.10/2122.14 c #Conflicts: 1568000 | #Constraints: 26830
2117.10/2122.14 c #Conflicts: 1569000 | #Constraints: 27830
2117.10/2122.14 c #Conflicts: 1570000 | #Constraints: 28830
2117.10/2122.14 c #Conflicts: 1571000 | #Constraints: 29830
2117.10/2122.14 c #Conflicts: 1572000 | #Constraints: 30830
2117.10/2122.14 c #Conflicts: 1573000 | #Constraints: 31830
2117.10/2122.14 c #Conflicts: 1574000 | #Constraints: 32830
2117.10/2122.14 c #Conflicts: 1575000 | #Constraints: 33830
2117.10/2122.14 c #Conflicts: 1576000 | #Constraints: 34830
2117.10/2122.14 c #Conflicts: 1577000 | #Constraints: 35830
2117.10/2122.14 c #Conflicts: 1578000 | #Constraints: 36830
2117.10/2122.14 c #Conflicts: 1579000 | #Constraints: 37830
2117.10/2122.14 c #Conflicts: 1580000 | #Constraints: 38830
2117.10/2122.14 c #Conflicts: 1581000 | #Constraints: 39830
2117.10/2122.14 c #Conflicts: 1582000 | #Constraints: 40830
2117.10/2122.14 c #Conflicts: 1583000 | #Constraints: 41830
2117.10/2122.14 c #Conflicts: 1584000 | #Constraints: 42830
2117.10/2122.14 c #Conflicts: 1585000 | #Constraints: 43830
2117.10/2122.14 c #Conflicts: 1586000 | #Constraints: 44830
2117.10/2122.14 c #Conflicts: 1587000 | #Constraints: 45830
2117.10/2122.15 c #Conflicts: 1588000 | #Constraints: 46830
2117.10/2122.15 c #Conflicts: 1589000 | #Constraints: 47830
2117.10/2122.15 c #Conflicts: 1590000 | #Constraints: 48830
2117.10/2122.15 c #Conflicts: 1591000 | #Constraints: 49830
2117.10/2122.15 c INPROCESSING
2117.10/2122.15 c GARBAGE COLLECT
2117.10/2122.15 c #Conflicts: 1592000 | #Constraints: 25833
2117.10/2122.15 c #Conflicts: 1593000 | #Constraints: 26833
2117.10/2122.15 c #Conflicts: 1594000 | #Constraints: 27833
2117.10/2122.15 c #Conflicts: 1595000 | #Constraints: 28833
2117.10/2122.15 c #Conflicts: 1596000 | #Constraints: 29833
2117.10/2122.15 c #Conflicts: 1597000 | #Constraints: 30833
2117.10/2122.15 c #Conflicts: 1598000 | #Constraints: 31833
2117.10/2122.15 c #Conflicts: 1599000 | #Constraints: 32833
2117.10/2122.15 c #Conflicts: 1600000 | #Constraints: 33833
2117.10/2122.15 c #Conflicts: 1601000 | #Constraints: 34833
2117.10/2122.15 c #Conflicts: 1602000 | #Constraints: 35833
2117.10/2122.15 c #Conflicts: 1603000 | #Constraints: 36833
2117.10/2122.15 c #Conflicts: 1604000 | #Constraints: 37833
2117.10/2122.15 c #Conflicts: 1605000 | #Constraints: 38833
2117.10/2122.15 c #Conflicts: 1606000 | #Constraints: 39833
2117.10/2122.15 c #Conflicts: 1607000 | #Constraints: 40833
2117.10/2122.15 c #Conflicts: 1608000 | #Constraints: 41833
2117.10/2122.15 c #Conflicts: 1609000 | #Constraints: 42833
2117.10/2122.15 c #Conflicts: 1610000 | #Constraints: 43833
2117.10/2122.15 c #Conflicts: 1611000 | #Constraints: 44833
2117.10/2122.15 c #Conflicts: 1612000 | #Constraints: 45833
2117.10/2122.15 c #Conflicts: 1613000 | #Constraints: 46833
2117.10/2122.15 c #Conflicts: 1614000 | #Constraints: 47833
2117.10/2122.15 c #Conflicts: 1615000 | #Constraints: 48833
2117.10/2122.15 c #Conflicts: 1616000 | #Constraints: 49833
2117.10/2122.15 c INPROCESSING
2117.10/2122.15 c GARBAGE COLLECT
2117.10/2122.15 c #Conflicts: 1617000 | #Constraints: 25633
2117.10/2122.15 c #Conflicts: 1618000 | #Constraints: 26633
2117.10/2122.15 c #Conflicts: 1619000 | #Constraints: 27633
2117.10/2122.15 c #Conflicts: 1620000 | #Constraints: 28633
2117.10/2122.15 c #Conflicts: 1621000 | #Constraints: 29633
2117.10/2122.15 c #Conflicts: 1622000 | #Constraints: 30633
2117.10/2122.15 c #Conflicts: 1623000 | #Constraints: 31633
2117.10/2122.15 c #Conflicts: 1624000 | #Constraints: 32633
2117.10/2122.15 c #Conflicts: 1625000 | #Constraints: 33633
2290.61/2296.15 c #Conflicts: 1626000 | #Constraints: 34633
2290.61/2296.15 c #Conflicts: 1627000 | #Constraints: 35633
2290.61/2296.15 c #Conflicts: 1628000 | #Constraints: 36633
2290.61/2296.15 c #Conflicts: 1629000 | #Constraints: 37633
2290.61/2296.15 c #Conflicts: 1630000 | #Constraints: 38633
2290.61/2296.15 c #Conflicts: 1631000 | #Constraints: 39633
2290.61/2296.15 c #Conflicts: 1632000 | #Constraints: 40633
2290.61/2296.15 c #Conflicts: 1633000 | #Constraints: 41633
2290.61/2296.15 c #Conflicts: 1634000 | #Constraints: 42633
2290.61/2296.15 c #Conflicts: 1635000 | #Constraints: 43633
2290.61/2296.15 c #Conflicts: 1636000 | #Constraints: 44633
2290.61/2296.15 c #Conflicts: 1637000 | #Constraints: 45633
2290.61/2296.15 c #Conflicts: 1638000 | #Constraints: 46633
2290.61/2296.15 c #Conflicts: 1639000 | #Constraints: 47633
2290.61/2296.15 c #Conflicts: 1640000 | #Constraints: 48633
2290.61/2296.15 c #Conflicts: 1641000 | #Constraints: 49633
2290.61/2296.15 c #Conflicts: 1642000 | #Constraints: 50633
2290.61/2296.15 c INPROCESSING
2290.61/2296.15 c GARBAGE COLLECT
2290.61/2296.15 c #Conflicts: 1643000 | #Constraints: 26232
2290.61/2296.15 c #Conflicts: 1644000 | #Constraints: 27232
2290.61/2296.15 c #Conflicts: 1645000 | #Constraints: 28232
2290.61/2296.15 c #Conflicts: 1646000 | #Constraints: 29232
2290.61/2296.15 c #Conflicts: 1647000 | #Constraints: 30232
2290.61/2296.15 c #Conflicts: 1648000 | #Constraints: 31232
2290.61/2296.15 c #Conflicts: 1649000 | #Constraints: 32232
2290.61/2296.15 c #Conflicts: 1650000 | #Constraints: 33232
2290.61/2296.15 c #Conflicts: 1651000 | #Constraints: 34232
2290.61/2296.15 c #Conflicts: 1652000 | #Constraints: 35232
2290.61/2296.15 c #Conflicts: 1653000 | #Constraints: 36232
2290.61/2296.15 c #Conflicts: 1654000 | #Constraints: 37232
2290.61/2296.15 c #Conflicts: 1655000 | #Constraints: 38232
2290.61/2296.15 c #Conflicts: 1656000 | #Constraints: 39232
2290.61/2296.15 c #Conflicts: 1657000 | #Constraints: 40232
2290.61/2296.15 c #Conflicts: 1658000 | #Constraints: 41232
2290.61/2296.15 c #Conflicts: 1659000 | #Constraints: 42232
2290.61/2296.15 c #Conflicts: 1660000 | #Constraints: 43232
2290.61/2296.15 c #Conflicts: 1661000 | #Constraints: 44232
2290.61/2296.15 c #Conflicts: 1662000 | #Constraints: 45232
2290.61/2296.15 c #Conflicts: 1663000 | #Constraints: 46232
2290.61/2296.15 c #Conflicts: 1664000 | #Constraints: 47232
2290.61/2296.15 c #Conflicts: 1665000 | #Constraints: 48232
2290.61/2296.15 c #Conflicts: 1666000 | #Constraints: 49232
2290.61/2296.15 c #Conflicts: 1667000 | #Constraints: 50232
2290.61/2296.15 c #Conflicts: 1668000 | #Constraints: 51232
2290.61/2296.15 c INPROCESSING
2290.61/2296.15 c GARBAGE COLLECT
2290.61/2296.15 c #Conflicts: 1669000 | #Constraints: 26629
2290.61/2296.15 c #Conflicts: 1670000 | #Constraints: 27629
2290.61/2296.15 c #Conflicts: 1671000 | #Constraints: 28629
2290.61/2296.15 c #Conflicts: 1672000 | #Constraints: 29629
2290.61/2296.15 c #Conflicts: 1673000 | #Constraints: 30629
2290.61/2296.15 c #Conflicts: 1674000 | #Constraints: 31629
2290.61/2296.15 c #Conflicts: 1675000 | #Constraints: 32629
2290.61/2296.15 c #Conflicts: 1676000 | #Constraints: 33629
2290.61/2296.15 c #Conflicts: 1677000 | #Constraints: 34629
2290.61/2296.15 c #Conflicts: 1678000 | #Constraints: 35629
2290.61/2296.15 c #Conflicts: 1679000 | #Constraints: 36629
2290.61/2296.15 c #Conflicts: 1680000 | #Constraints: 37629
2290.61/2296.15 c #Conflicts: 1681000 | #Constraints: 38629
2290.61/2296.15 c #Conflicts: 1682000 | #Constraints: 39629
2290.61/2296.15 c #Conflicts: 1683000 | #Constraints: 40629
2290.61/2296.15 c #Conflicts: 1684000 | #Constraints: 41629
2290.61/2296.15 c #Conflicts: 1685000 | #Constraints: 42629
2290.61/2296.15 c #Conflicts: 1686000 | #Constraints: 43629
2290.61/2296.15 c #Conflicts: 1687000 | #Constraints: 44629
2290.61/2296.15 c #Conflicts: 1688000 | #Constraints: 45629
2290.61/2296.15 c #Conflicts: 1689000 | #Constraints: 46629
2290.61/2296.15 c #Conflicts: 1690000 | #Constraints: 47629
2290.61/2296.15 c #Conflicts: 1691000 | #Constraints: 48629
2290.61/2296.15 c #Conflicts: 1692000 | #Constraints: 49629
2290.61/2296.15 c #Conflicts: 1693000 | #Constraints: 50629
2290.61/2296.15 c #Conflicts: 1694000 | #Constraints: 51629
2290.61/2296.15 c INPROCESSING
2290.61/2296.15 c GARBAGE COLLECT
2290.61/2296.15 c #Conflicts: 1695000 | #Constraints: 26828
2290.61/2296.15 c #Conflicts: 1696000 | #Constraints: 27828
2290.61/2296.15 c #Conflicts: 1697000 | #Constraints: 28828
2290.61/2296.15 c #Conflicts: 1698000 | #Constraints: 29828
2290.61/2296.15 c #Conflicts: 1699000 | #Constraints: 30828
2290.61/2296.15 c #Conflicts: 1700000 | #Constraints: 31828
2290.61/2296.15 c #Conflicts: 1701000 | #Constraints: 32828
2290.61/2296.15 c #Conflicts: 1702000 | #Constraints: 33828
2458.13/2464.01 c #Conflicts: 1703000 | #Constraints: 34828
2458.13/2464.01 c #Conflicts: 1704000 | #Constraints: 35828
2458.13/2464.01 c #Conflicts: 1705000 | #Constraints: 36828
2458.13/2464.01 c #Conflicts: 1706000 | #Constraints: 37828
2458.13/2464.01 c #Conflicts: 1707000 | #Constraints: 38828
2458.13/2464.01 c #Conflicts: 1708000 | #Constraints: 39828
2458.13/2464.01 c #Conflicts: 1709000 | #Constraints: 40828
2458.13/2464.01 c #Conflicts: 1710000 | #Constraints: 41828
2458.13/2464.01 c #Conflicts: 1711000 | #Constraints: 42828
2458.13/2464.01 c #Conflicts: 1712000 | #Constraints: 43828
2458.13/2464.01 c #Conflicts: 1713000 | #Constraints: 44828
2458.13/2464.01 c #Conflicts: 1714000 | #Constraints: 45828
2458.13/2464.01 c #Conflicts: 1715000 | #Constraints: 46828
2458.13/2464.01 c #Conflicts: 1716000 | #Constraints: 47828
2458.13/2464.01 c #Conflicts: 1717000 | #Constraints: 48828
2458.13/2464.01 c #Conflicts: 1718000 | #Constraints: 49828
2458.13/2464.01 c #Conflicts: 1719000 | #Constraints: 50828
2458.13/2464.01 c #Conflicts: 1720000 | #Constraints: 51828
2458.13/2464.01 c INPROCESSING
2458.13/2464.01 c GARBAGE COLLECT
2458.13/2464.01 c #Conflicts: 1721000 | #Constraints: 26826
2458.13/2464.01 c #Conflicts: 1722000 | #Constraints: 27826
2458.13/2464.01 c #Conflicts: 1723000 | #Constraints: 28826
2458.13/2464.01 c #Conflicts: 1724000 | #Constraints: 29826
2458.13/2464.01 c #Conflicts: 1725000 | #Constraints: 30826
2458.13/2464.01 c #Conflicts: 1726000 | #Constraints: 31826
2458.13/2464.01 c #Conflicts: 1727000 | #Constraints: 32826
2458.13/2464.01 c #Conflicts: 1728000 | #Constraints: 33826
2458.13/2464.01 c #Conflicts: 1729000 | #Constraints: 34826
2458.13/2464.01 c #Conflicts: 1730000 | #Constraints: 35826
2458.13/2464.01 c #Conflicts: 1731000 | #Constraints: 36826
2458.13/2464.01 c #Conflicts: 1732000 | #Constraints: 37826
2458.13/2464.01 c #Conflicts: 1733000 | #Constraints: 38826
2458.13/2464.01 c #Conflicts: 1734000 | #Constraints: 39826
2458.13/2464.01 c #Conflicts: 1735000 | #Constraints: 40826
2458.13/2464.01 c #Conflicts: 1736000 | #Constraints: 41826
2458.13/2464.01 c #Conflicts: 1737000 | #Constraints: 42826
2458.13/2464.01 c #Conflicts: 1738000 | #Constraints: 43826
2458.13/2464.01 c #Conflicts: 1739000 | #Constraints: 44826
2458.13/2464.01 c #Conflicts: 1740000 | #Constraints: 45826
2458.13/2464.01 c #Conflicts: 1741000 | #Constraints: 46826
2458.13/2464.01 c #Conflicts: 1742000 | #Constraints: 47826
2458.13/2464.01 c #Conflicts: 1743000 | #Constraints: 48826
2458.13/2464.01 c #Conflicts: 1744000 | #Constraints: 49826
2458.13/2464.01 c #Conflicts: 1745000 | #Constraints: 50826
2458.13/2464.01 c #Conflicts: 1746000 | #Constraints: 51826
2458.13/2464.01 c INPROCESSING
2458.13/2464.01 c GARBAGE COLLECT
2458.13/2464.01 c #Conflicts: 1747000 | #Constraints: 26628
2458.13/2464.01 c #Conflicts: 1748000 | #Constraints: 27628
2458.13/2464.01 c #Conflicts: 1749000 | #Constraints: 28628
2458.13/2464.01 c #Conflicts: 1750000 | #Constraints: 29628
2458.13/2464.01 c #Conflicts: 1751000 | #Constraints: 30628
2458.13/2464.01 c #Conflicts: 1752000 | #Constraints: 31628
2458.13/2464.01 c #Conflicts: 1753000 | #Constraints: 32628
2458.13/2464.01 c #Conflicts: 1754000 | #Constraints: 33628
2458.13/2464.01 c #Conflicts: 1755000 | #Constraints: 34628
2458.13/2464.01 c #Conflicts: 1756000 | #Constraints: 35628
2458.13/2464.01 c #Conflicts: 1757000 | #Constraints: 36628
2458.13/2464.01 c #Conflicts: 1758000 | #Constraints: 37628
2458.13/2464.01 c #Conflicts: 1759000 | #Constraints: 38628
2458.13/2464.01 c #Conflicts: 1760000 | #Constraints: 39628
2458.13/2464.01 c #Conflicts: 1761000 | #Constraints: 40628
2458.13/2464.01 c #Conflicts: 1762000 | #Constraints: 41628
2458.13/2464.01 c #Conflicts: 1763000 | #Constraints: 42628
2458.13/2464.01 c #Conflicts: 1764000 | #Constraints: 43628
2458.13/2464.01 c #Conflicts: 1765000 | #Constraints: 44628
2458.13/2464.01 c #Conflicts: 1766000 | #Constraints: 45628
2458.13/2464.01 c #Conflicts: 1767000 | #Constraints: 46628
2458.13/2464.01 c #Conflicts: 1768000 | #Constraints: 47628
2458.13/2464.01 c #Conflicts: 1769000 | #Constraints: 48628
2458.13/2464.01 c #Conflicts: 1770000 | #Constraints: 49628
2458.13/2464.01 c #Conflicts: 1771000 | #Constraints: 50628
2458.13/2464.01 c #Conflicts: 1772000 | #Constraints: 51628
2458.13/2464.01 c #Conflicts: 1773000 | #Constraints: 52628
2458.13/2464.01 c INPROCESSING
2458.13/2464.01 c GARBAGE COLLECT
2458.13/2464.01 c #Conflicts: 1774000 | #Constraints: 27230
2458.13/2464.01 c #Conflicts: 1775000 | #Constraints: 28230
2458.13/2464.01 c #Conflicts: 1776000 | #Constraints: 29230
2458.13/2464.01 c #Conflicts: 1777000 | #Constraints: 30230
2458.13/2464.01 c #Conflicts: 1778000 | #Constraints: 31230
2458.13/2464.01 c #Conflicts: 1779000 | #Constraints: 32230
2622.24/2628.56 c #Conflicts: 1780000 | #Constraints: 33230
2622.24/2628.56 c #Conflicts: 1781000 | #Constraints: 34230
2622.24/2628.56 c #Conflicts: 1782000 | #Constraints: 35230
2622.24/2628.56 c #Conflicts: 1783000 | #Constraints: 36230
2622.24/2628.56 c #Conflicts: 1784000 | #Constraints: 37230
2622.24/2628.56 c #Conflicts: 1785000 | #Constraints: 38230
2622.24/2628.56 c #Conflicts: 1786000 | #Constraints: 39230
2622.24/2628.56 c #Conflicts: 1787000 | #Constraints: 40230
2622.24/2628.56 c #Conflicts: 1788000 | #Constraints: 41230
2622.24/2628.56 c #Conflicts: 1789000 | #Constraints: 42230
2622.24/2628.56 c #Conflicts: 1790000 | #Constraints: 43230
2622.24/2628.56 c #Conflicts: 1791000 | #Constraints: 44230
2622.24/2628.56 c #Conflicts: 1792000 | #Constraints: 45230
2622.24/2628.56 c #Conflicts: 1793000 | #Constraints: 46230
2622.24/2628.56 c #Conflicts: 1794000 | #Constraints: 47230
2622.24/2628.56 c #Conflicts: 1795000 | #Constraints: 48230
2622.24/2628.56 c #Conflicts: 1796000 | #Constraints: 49230
2622.24/2628.56 c #Conflicts: 1797000 | #Constraints: 50230
2622.24/2628.56 c #Conflicts: 1798000 | #Constraints: 51230
2622.24/2628.56 c #Conflicts: 1799000 | #Constraints: 52230
2622.24/2628.56 c #Conflicts: 1800000 | #Constraints: 53230
2622.24/2628.56 c INPROCESSING
2622.24/2628.56 c GARBAGE COLLECT
2622.24/2628.56 c #Conflicts: 1801000 | #Constraints: 27628
2622.24/2628.56 c #Conflicts: 1802000 | #Constraints: 28628
2622.24/2628.56 c #Conflicts: 1803000 | #Constraints: 29628
2622.24/2628.56 c #Conflicts: 1804000 | #Constraints: 30628
2622.24/2628.56 c #Conflicts: 1805000 | #Constraints: 31628
2622.24/2628.56 c #Conflicts: 1806000 | #Constraints: 32628
2622.24/2628.56 c #Conflicts: 1807000 | #Constraints: 33628
2622.24/2628.56 c #Conflicts: 1808000 | #Constraints: 34628
2622.24/2628.56 c #Conflicts: 1809000 | #Constraints: 35628
2622.24/2628.56 c #Conflicts: 1810000 | #Constraints: 36628
2622.24/2628.56 c #Conflicts: 1811000 | #Constraints: 37628
2622.24/2628.56 c #Conflicts: 1812000 | #Constraints: 38628
2622.24/2628.56 c #Conflicts: 1813000 | #Constraints: 39628
2622.24/2628.56 c #Conflicts: 1814000 | #Constraints: 40628
2622.24/2628.56 c #Conflicts: 1815000 | #Constraints: 41628
2622.24/2628.56 c #Conflicts: 1816000 | #Constraints: 42628
2622.24/2628.56 c #Conflicts: 1817000 | #Constraints: 43628
2622.24/2628.56 c #Conflicts: 1818000 | #Constraints: 44628
2622.24/2628.56 c #Conflicts: 1819000 | #Constraints: 45628
2622.24/2628.56 c #Conflicts: 1820000 | #Constraints: 46628
2622.24/2628.56 c #Conflicts: 1821000 | #Constraints: 47628
2622.24/2628.56 c #Conflicts: 1822000 | #Constraints: 48628
2622.24/2628.56 c #Conflicts: 1823000 | #Constraints: 49628
2622.24/2628.56 c #Conflicts: 1824000 | #Constraints: 50628
2622.24/2628.56 c #Conflicts: 1825000 | #Constraints: 51628
2622.24/2628.56 c #Conflicts: 1826000 | #Constraints: 52628
2622.24/2628.56 c #Conflicts: 1827000 | #Constraints: 53628
2622.24/2628.56 c INPROCESSING
2622.24/2628.56 c GARBAGE COLLECT
2622.24/2628.56 c #Conflicts: 1828000 | #Constraints: 27830
2622.24/2628.56 c #Conflicts: 1829000 | #Constraints: 28830
2622.24/2628.56 c #Conflicts: 1830000 | #Constraints: 29830
2622.24/2628.56 c #Conflicts: 1831000 | #Constraints: 30830
2622.24/2628.56 c #Conflicts: 1832000 | #Constraints: 31830
2622.24/2628.56 c #Conflicts: 1833000 | #Constraints: 32830
2622.24/2628.56 c #Conflicts: 1834000 | #Constraints: 33830
2622.24/2628.56 c #Conflicts: 1835000 | #Constraints: 34830
2622.24/2628.56 c #Conflicts: 1836000 | #Constraints: 35830
2622.24/2628.56 c #Conflicts: 1837000 | #Constraints: 36830
2622.24/2628.56 c #Conflicts: 1838000 | #Constraints: 37830
2622.24/2628.56 c #Conflicts: 1839000 | #Constraints: 38830
2622.24/2628.56 c #Conflicts: 1840000 | #Constraints: 39830
2622.24/2628.56 c #Conflicts: 1841000 | #Constraints: 40830
2622.24/2628.56 c #Conflicts: 1842000 | #Constraints: 41830
2622.24/2628.56 c #Conflicts: 1843000 | #Constraints: 42830
2622.24/2628.56 c #Conflicts: 1844000 | #Constraints: 43830
2622.24/2628.56 c #Conflicts: 1845000 | #Constraints: 44830
2622.24/2628.56 c #Conflicts: 1846000 | #Constraints: 45830
2622.24/2628.56 c #Conflicts: 1847000 | #Constraints: 46830
2622.24/2628.56 c #Conflicts: 1848000 | #Constraints: 47830
2622.24/2628.56 c #Conflicts: 1849000 | #Constraints: 48830
2622.24/2628.56 c #Conflicts: 1850000 | #Constraints: 49830
2622.24/2628.56 c #Conflicts: 1851000 | #Constraints: 50830
2622.24/2628.56 c #Conflicts: 1852000 | #Constraints: 51830
2622.24/2628.56 c #Conflicts: 1853000 | #Constraints: 52830
2622.24/2628.56 c #Conflicts: 1854000 | #Constraints: 53830
2622.24/2628.56 c INPROCESSING
2622.24/2628.56 c GARBAGE COLLECT
2622.24/2628.56 c #Conflicts: 1855000 | #Constraints: 27832
2800.44/2807.14 c #Conflicts: 1856000 | #Constraints: 28832
2800.44/2807.14 c #Conflicts: 1857000 | #Constraints: 29832
2800.44/2807.14 c #Conflicts: 1858000 | #Constraints: 30832
2800.44/2807.14 c #Conflicts: 1859000 | #Constraints: 31832
2800.44/2807.14 c #Conflicts: 1860000 | #Constraints: 32832
2800.44/2807.14 c #Conflicts: 1861000 | #Constraints: 33832
2800.44/2807.14 c #Conflicts: 1862000 | #Constraints: 34832
2800.44/2807.14 c #Conflicts: 1863000 | #Constraints: 35832
2800.44/2807.14 c #Conflicts: 1864000 | #Constraints: 36832
2800.44/2807.14 c #Conflicts: 1865000 | #Constraints: 37832
2800.44/2807.14 c #Conflicts: 1866000 | #Constraints: 38832
2800.44/2807.14 c #Conflicts: 1867000 | #Constraints: 39832
2800.44/2807.14 c #Conflicts: 1868000 | #Constraints: 40832
2800.44/2807.14 c #Conflicts: 1869000 | #Constraints: 41832
2800.44/2807.14 c #Conflicts: 1870000 | #Constraints: 42832
2800.44/2807.14 c #Conflicts: 1871000 | #Constraints: 43832
2800.44/2807.14 c #Conflicts: 1872000 | #Constraints: 44832
2800.44/2807.14 c #Conflicts: 1873000 | #Constraints: 45832
2800.44/2807.14 c #Conflicts: 1874000 | #Constraints: 46832
2800.44/2807.14 c #Conflicts: 1875000 | #Constraints: 47832
2800.44/2807.14 c #Conflicts: 1876000 | #Constraints: 48832
2800.44/2807.14 c #Conflicts: 1877000 | #Constraints: 49832
2800.44/2807.14 c #Conflicts: 1878000 | #Constraints: 50832
2800.44/2807.14 c #Conflicts: 1879000 | #Constraints: 51832
2800.44/2807.14 c #Conflicts: 1880000 | #Constraints: 52832
2800.44/2807.14 c #Conflicts: 1881000 | #Constraints: 53832
2800.44/2807.14 c INPROCESSING
2800.44/2807.14 c GARBAGE COLLECT
2800.44/2807.14 c #Conflicts: 1882000 | #Constraints: 27632
2800.44/2807.14 c #Conflicts: 1883000 | #Constraints: 28632
2800.44/2807.14 c #Conflicts: 1884000 | #Constraints: 29632
2800.44/2807.14 c #Conflicts: 1885000 | #Constraints: 30632
2800.44/2807.14 c #Conflicts: 1886000 | #Constraints: 31632
2800.44/2807.14 c #Conflicts: 1887000 | #Constraints: 32632
2800.44/2807.14 c #Conflicts: 1888000 | #Constraints: 33632
2800.44/2807.14 c #Conflicts: 1889000 | #Constraints: 34632
2800.44/2807.14 c #Conflicts: 1890000 | #Constraints: 35632
2800.44/2807.14 c #Conflicts: 1891000 | #Constraints: 36632
2800.44/2807.14 c #Conflicts: 1892000 | #Constraints: 37632
2800.44/2807.14 c #Conflicts: 1893000 | #Constraints: 38632
2800.44/2807.14 c #Conflicts: 1894000 | #Constraints: 39632
2800.44/2807.14 c #Conflicts: 1895000 | #Constraints: 40632
2800.44/2807.14 c #Conflicts: 1896000 | #Constraints: 41632
2800.44/2807.14 c #Conflicts: 1897000 | #Constraints: 42632
2800.44/2807.14 c #Conflicts: 1898000 | #Constraints: 43632
2800.44/2807.14 c #Conflicts: 1899000 | #Constraints: 44632
2800.44/2807.14 c #Conflicts: 1900000 | #Constraints: 45632
2800.44/2807.14 c #Conflicts: 1901000 | #Constraints: 46632
2800.44/2807.14 c #Conflicts: 1902000 | #Constraints: 47632
2800.44/2807.14 c #Conflicts: 1903000 | #Constraints: 48632
2800.44/2807.14 c #Conflicts: 1904000 | #Constraints: 49632
2800.44/2807.14 c #Conflicts: 1905000 | #Constraints: 50632
2800.44/2807.14 c #Conflicts: 1906000 | #Constraints: 51632
2800.44/2807.14 c #Conflicts: 1907000 | #Constraints: 52632
2800.44/2807.14 c #Conflicts: 1908000 | #Constraints: 53632
2800.44/2807.14 c #Conflicts: 1909000 | #Constraints: 54632
2800.44/2807.14 c INPROCESSING
2800.44/2807.14 c GARBAGE COLLECT
2800.44/2807.14 c #Conflicts: 1910000 | #Constraints: 28231
2800.44/2807.14 c #Conflicts: 1911000 | #Constraints: 29231
2800.44/2807.14 c #Conflicts: 1912000 | #Constraints: 30231
2800.44/2807.14 c #Conflicts: 1913000 | #Constraints: 31231
2800.44/2807.14 c #Conflicts: 1914000 | #Constraints: 32231
2800.44/2807.14 c #Conflicts: 1915000 | #Constraints: 33231
2800.44/2807.14 c #Conflicts: 1916000 | #Constraints: 34231
2800.44/2807.14 c #Conflicts: 1917000 | #Constraints: 35231
2800.44/2807.14 c #Conflicts: 1918000 | #Constraints: 36231
2800.44/2807.14 c #Conflicts: 1919000 | #Constraints: 37231
2800.44/2807.14 c #Conflicts: 1920000 | #Constraints: 38231
2800.44/2807.14 c #Conflicts: 1921000 | #Constraints: 39231
2800.44/2807.14 c #Conflicts: 1922000 | #Constraints: 40231
2800.44/2807.14 c #Conflicts: 1923000 | #Constraints: 41231
2800.44/2807.14 c #Conflicts: 1924000 | #Constraints: 42231
2800.44/2807.14 c #Conflicts: 1925000 | #Constraints: 43231
2800.44/2807.14 c #Conflicts: 1926000 | #Constraints: 44231
2800.44/2807.14 c #Conflicts: 1927000 | #Constraints: 45231
2800.44/2807.14 c #Conflicts: 1928000 | #Constraints: 46231
2800.44/2807.14 c #Conflicts: 1929000 | #Constraints: 47231
2800.44/2807.14 c #Conflicts: 1930000 | #Constraints: 48231
2800.44/2807.14 c #Conflicts: 1931000 | #Constraints: 49231
2800.44/2807.14 c #Conflicts: 1932000 | #Constraints: 50231
2800.44/2807.14 c #Conflicts: 1933000 | #Constraints: 51231
2979.33/2986.42 c #Conflicts: 1934000 | #Constraints: 52231
2979.33/2986.42 c #Conflicts: 1935000 | #Constraints: 53231
2979.33/2986.42 c #Conflicts: 1936000 | #Constraints: 54231
2979.33/2986.42 c #Conflicts: 1937000 | #Constraints: 55231
2979.33/2986.42 c INPROCESSING
2979.33/2986.42 c GARBAGE COLLECT
2979.33/2986.42 c #Conflicts: 1938000 | #Constraints: 28629
2979.33/2986.42 c #Conflicts: 1939000 | #Constraints: 29629
2979.33/2986.42 c #Conflicts: 1940000 | #Constraints: 30629
2979.33/2986.42 c #Conflicts: 1941000 | #Constraints: 31629
2979.33/2986.42 c #Conflicts: 1942000 | #Constraints: 32629
2979.33/2986.42 c #Conflicts: 1943000 | #Constraints: 33629
2979.33/2986.42 c #Conflicts: 1944000 | #Constraints: 34629
2979.33/2986.42 c #Conflicts: 1945000 | #Constraints: 35629
2979.33/2986.42 c #Conflicts: 1946000 | #Constraints: 36629
2979.33/2986.42 c #Conflicts: 1947000 | #Constraints: 37629
2979.33/2986.42 c #Conflicts: 1948000 | #Constraints: 38629
2979.33/2986.42 c #Conflicts: 1949000 | #Constraints: 39629
2979.33/2986.42 c #Conflicts: 1950000 | #Constraints: 40629
2979.33/2986.42 c #Conflicts: 1951000 | #Constraints: 41629
2979.33/2986.42 c #Conflicts: 1952000 | #Constraints: 42629
2979.33/2986.42 c #Conflicts: 1953000 | #Constraints: 43629
2979.33/2986.42 c #Conflicts: 1954000 | #Constraints: 44629
2979.33/2986.42 c #Conflicts: 1955000 | #Constraints: 45629
2979.33/2986.42 c #Conflicts: 1956000 | #Constraints: 46629
2979.33/2986.42 c #Conflicts: 1957000 | #Constraints: 47629
2979.33/2986.42 c #Conflicts: 1958000 | #Constraints: 48629
2979.33/2986.42 c #Conflicts: 1959000 | #Constraints: 49629
2979.33/2986.42 c #Conflicts: 1960000 | #Constraints: 50629
2979.33/2986.42 c #Conflicts: 1961000 | #Constraints: 51629
2979.33/2986.42 c #Conflicts: 1962000 | #Constraints: 52629
2979.33/2986.42 c #Conflicts: 1963000 | #Constraints: 53629
2979.33/2986.42 c #Conflicts: 1964000 | #Constraints: 54629
2979.33/2986.42 c #Conflicts: 1965000 | #Constraints: 55629
2979.33/2986.42 c INPROCESSING
2979.33/2986.42 c GARBAGE COLLECT
2979.33/2986.42 c #Conflicts: 1966000 | #Constraints: 28828
2979.33/2986.42 c #Conflicts: 1967000 | #Constraints: 29828
2979.33/2986.42 c #Conflicts: 1968000 | #Constraints: 30828
2979.33/2986.42 c #Conflicts: 1969000 | #Constraints: 31828
2979.33/2986.42 c #Conflicts: 1970000 | #Constraints: 32828
2979.33/2986.42 c #Conflicts: 1971000 | #Constraints: 33828
2979.33/2986.42 c #Conflicts: 1972000 | #Constraints: 34828
2979.33/2986.42 c #Conflicts: 1973000 | #Constraints: 35828
2979.33/2986.42 c #Conflicts: 1974000 | #Constraints: 36828
2979.33/2986.42 c #Conflicts: 1975000 | #Constraints: 37828
2979.33/2986.42 c #Conflicts: 1976000 | #Constraints: 38828
2979.33/2986.42 c #Conflicts: 1977000 | #Constraints: 39828
2979.33/2986.42 c #Conflicts: 1978000 | #Constraints: 40828
2979.33/2986.42 c #Conflicts: 1979000 | #Constraints: 41828
2979.33/2986.42 c #Conflicts: 1980000 | #Constraints: 42828
2979.33/2986.42 c #Conflicts: 1981000 | #Constraints: 43828
2979.33/2986.42 c #Conflicts: 1982000 | #Constraints: 44828
2979.33/2986.42 c #Conflicts: 1983000 | #Constraints: 45828
2979.33/2986.42 c #Conflicts: 1984000 | #Constraints: 46828
2979.33/2986.42 c #Conflicts: 1985000 | #Constraints: 47828
2979.33/2986.42 c #Conflicts: 1986000 | #Constraints: 48828
2979.33/2986.42 c #Conflicts: 1987000 | #Constraints: 49828
2979.33/2986.42 c #Conflicts: 1988000 | #Constraints: 50828
2979.33/2986.42 c #Conflicts: 1989000 | #Constraints: 51828
2979.33/2986.42 c #Conflicts: 1990000 | #Constraints: 52828
2979.33/2986.42 c #Conflicts: 1991000 | #Constraints: 53828
2979.33/2986.42 c #Conflicts: 1992000 | #Constraints: 54828
2979.33/2986.42 c #Conflicts: 1993000 | #Constraints: 55828
2979.33/2986.42 c INPROCESSING
2979.33/2986.42 c GARBAGE COLLECT
2979.33/2986.42 c #Conflicts: 1994000 | #Constraints: 28830
2979.33/2986.42 c #Conflicts: 1995000 | #Constraints: 29830
2979.33/2986.42 c #Conflicts: 1996000 | #Constraints: 30830
2979.33/2986.42 c #Conflicts: 1997000 | #Constraints: 31830
2979.33/2986.42 c #Conflicts: 1998000 | #Constraints: 32830
2979.33/2986.42 c #Conflicts: 1999000 | #Constraints: 33830
2979.33/2986.42 c #Conflicts: 2000000 | #Constraints: 34830
2979.33/2986.42 c #Conflicts: 2001000 | #Constraints: 35830
2979.33/2986.42 c #Conflicts: 2002000 | #Constraints: 36830
2979.33/2986.42 c #Conflicts: 2003000 | #Constraints: 37830
2979.33/2986.42 c #Conflicts: 2004000 | #Constraints: 38830
2979.33/2986.42 c #Conflicts: 2005000 | #Constraints: 39830
2979.33/2986.42 c #Conflicts: 2006000 | #Constraints: 40830
2979.33/2986.42 c #Conflicts: 2007000 | #Constraints: 41830
2979.33/2986.42 c #Conflicts: 2008000 | #Constraints: 42830
2979.33/2986.42 c #Conflicts: 2009000 | #Constraints: 43830
2979.33/2986.42 c #Conflicts: 2010000 | #Constraints: 44830
3164.36/3171.97 c #Conflicts: 2011000 | #Constraints: 45830
3164.36/3171.97 c #Conflicts: 2012000 | #Constraints: 46830
3164.36/3171.97 c #Conflicts: 2013000 | #Constraints: 47830
3164.36/3171.97 c #Conflicts: 2014000 | #Constraints: 48830
3164.36/3171.97 c #Conflicts: 2015000 | #Constraints: 49830
3164.36/3171.97 c #Conflicts: 2016000 | #Constraints: 50830
3164.36/3171.97 c #Conflicts: 2017000 | #Constraints: 51830
3164.36/3171.97 c #Conflicts: 2018000 | #Constraints: 52830
3164.36/3171.97 c #Conflicts: 2019000 | #Constraints: 53830
3164.36/3171.97 c #Conflicts: 2020000 | #Constraints: 54830
3164.36/3171.97 c #Conflicts: 2021000 | #Constraints: 55830
3164.36/3171.97 c INPROCESSING
3164.36/3171.97 c GARBAGE COLLECT
3164.36/3171.97 c #Conflicts: 2022000 | #Constraints: 28630
3164.36/3171.97 c #Conflicts: 2023000 | #Constraints: 29630
3164.36/3171.97 c #Conflicts: 2024000 | #Constraints: 30630
3164.36/3171.97 c #Conflicts: 2025000 | #Constraints: 31630
3164.36/3171.97 c #Conflicts: 2026000 | #Constraints: 32630
3164.36/3171.97 c #Conflicts: 2027000 | #Constraints: 33630
3164.36/3171.97 c #Conflicts: 2028000 | #Constraints: 34630
3164.36/3171.97 c #Conflicts: 2029000 | #Constraints: 35630
3164.36/3171.97 c #Conflicts: 2030000 | #Constraints: 36630
3164.36/3171.97 c #Conflicts: 2031000 | #Constraints: 37630
3164.36/3171.97 c #Conflicts: 2032000 | #Constraints: 38630
3164.36/3171.97 c #Conflicts: 2033000 | #Constraints: 39630
3164.36/3171.97 c #Conflicts: 2034000 | #Constraints: 40630
3164.36/3171.97 c #Conflicts: 2035000 | #Constraints: 41630
3164.36/3171.97 c #Conflicts: 2036000 | #Constraints: 42630
3164.36/3171.97 c #Conflicts: 2037000 | #Constraints: 43630
3164.36/3171.97 c #Conflicts: 2038000 | #Constraints: 44630
3164.36/3171.97 c #Conflicts: 2039000 | #Constraints: 45630
3164.36/3171.97 c #Conflicts: 2040000 | #Constraints: 46630
3164.36/3171.97 c #Conflicts: 2041000 | #Constraints: 47630
3164.36/3171.97 c #Conflicts: 2042000 | #Constraints: 48630
3164.36/3171.97 c #Conflicts: 2043000 | #Constraints: 49630
3164.36/3171.97 c #Conflicts: 2044000 | #Constraints: 50630
3164.36/3171.97 c #Conflicts: 2045000 | #Constraints: 51630
3164.36/3171.97 c #Conflicts: 2046000 | #Constraints: 52630
3164.36/3171.97 c #Conflicts: 2047000 | #Constraints: 53630
3164.36/3171.97 c #Conflicts: 2048000 | #Constraints: 54630
3164.36/3171.97 c #Conflicts: 2049000 | #Constraints: 55630
3164.36/3171.97 c #Conflicts: 2050000 | #Constraints: 56630
3164.36/3171.97 c INPROCESSING
3164.36/3171.97 c GARBAGE COLLECT
3164.36/3171.97 c #Conflicts: 2051000 | #Constraints: 29229
3164.36/3171.97 c #Conflicts: 2052000 | #Constraints: 30229
3164.36/3171.97 c #Conflicts: 2053000 | #Constraints: 31229
3164.36/3171.97 c #Conflicts: 2054000 | #Constraints: 32229
3164.36/3171.97 c #Conflicts: 2055000 | #Constraints: 33229
3164.36/3171.97 c #Conflicts: 2056000 | #Constraints: 34229
3164.36/3171.97 c #Conflicts: 2057000 | #Constraints: 35229
3164.36/3171.97 c #Conflicts: 2058000 | #Constraints: 36229
3164.36/3171.97 c #Conflicts: 2059000 | #Constraints: 37229
3164.36/3171.97 c #Conflicts: 2060000 | #Constraints: 38229
3164.36/3171.97 c #Conflicts: 2061000 | #Constraints: 39229
3164.36/3171.97 c #Conflicts: 2062000 | #Constraints: 40229
3164.36/3171.97 c #Conflicts: 2063000 | #Constraints: 41229
3164.36/3171.97 c #Conflicts: 2064000 | #Constraints: 42229
3164.36/3171.97 c #Conflicts: 2065000 | #Constraints: 43229
3164.36/3171.97 c #Conflicts: 2066000 | #Constraints: 44229
3164.36/3171.97 c #Conflicts: 2067000 | #Constraints: 45229
3164.36/3171.97 c #Conflicts: 2068000 | #Constraints: 46229
3164.36/3171.97 c #Conflicts: 2069000 | #Constraints: 47229
3164.36/3171.97 c #Conflicts: 2070000 | #Constraints: 48229
3164.36/3171.97 c #Conflicts: 2071000 | #Constraints: 49229
3164.36/3171.97 c #Conflicts: 2072000 | #Constraints: 50229
3164.36/3171.97 c #Conflicts: 2073000 | #Constraints: 51229
3164.36/3171.97 c #Conflicts: 2074000 | #Constraints: 52229
3164.36/3171.97 c #Conflicts: 2075000 | #Constraints: 53229
3164.36/3171.97 c #Conflicts: 2076000 | #Constraints: 54229
3164.36/3171.97 c #Conflicts: 2077000 | #Constraints: 55229
3164.36/3171.97 c #Conflicts: 2078000 | #Constraints: 56229
3164.36/3171.97 c #Conflicts: 2079000 | #Constraints: 57229
3164.36/3171.97 c INPROCESSING
3164.36/3171.97 c GARBAGE COLLECT
3164.36/3171.97 c #Conflicts: 2080000 | #Constraints: 29629
3164.36/3171.97 c #Conflicts: 2081000 | #Constraints: 30629
3164.36/3171.97 c #Conflicts: 2082000 | #Constraints: 31629
3164.36/3171.97 c #Conflicts: 2083000 | #Constraints: 32629
3164.36/3171.97 c #Conflicts: 2084000 | #Constraints: 33629
3164.36/3171.97 c #Conflicts: 2085000 | #Constraints: 34629
3164.36/3171.97 c #Conflicts: 2086000 | #Constraints: 35629
3164.36/3171.97 c #Conflicts: 2087000 | #Constraints: 36629
3368.22/3376.37 c #Conflicts: 2088000 | #Constraints: 37629
3368.22/3376.37 c #Conflicts: 2089000 | #Constraints: 38629
3368.22/3376.37 c #Conflicts: 2090000 | #Constraints: 39629
3368.22/3376.37 c #Conflicts: 2091000 | #Constraints: 40629
3368.22/3376.37 c #Conflicts: 2092000 | #Constraints: 41629
3368.22/3376.37 c #Conflicts: 2093000 | #Constraints: 42629
3368.22/3376.37 c #Conflicts: 2094000 | #Constraints: 43629
3368.22/3376.37 c #Conflicts: 2095000 | #Constraints: 44629
3368.22/3376.37 c #Conflicts: 2096000 | #Constraints: 45629
3368.22/3376.37 c #Conflicts: 2097000 | #Constraints: 46629
3368.22/3376.37 c #Conflicts: 2098000 | #Constraints: 47629
3368.22/3376.37 c #Conflicts: 2099000 | #Constraints: 48629
3368.22/3376.37 c #Conflicts: 2100000 | #Constraints: 49629
3368.22/3376.37 c #Conflicts: 2101000 | #Constraints: 50629
3368.22/3376.37 c #Conflicts: 2102000 | #Constraints: 51629
3368.22/3376.37 c #Conflicts: 2103000 | #Constraints: 52629
3368.22/3376.37 c #Conflicts: 2104000 | #Constraints: 53629
3368.22/3376.37 c #Conflicts: 2105000 | #Constraints: 54629
3368.22/3376.37 c #Conflicts: 2106000 | #Constraints: 55629
3368.22/3376.37 c #Conflicts: 2107000 | #Constraints: 56629
3368.22/3376.37 c #Conflicts: 2108000 | #Constraints: 57629
3368.22/3376.37 c INPROCESSING
3368.22/3376.37 c GARBAGE COLLECT
3368.22/3376.37 c #Conflicts: 2109000 | #Constraints: 29828
3368.22/3376.37 c #Conflicts: 2110000 | #Constraints: 30828
3368.22/3376.37 c #Conflicts: 2111000 | #Constraints: 31828
3368.22/3376.37 c #Conflicts: 2112000 | #Constraints: 32828
3368.22/3376.37 c #Conflicts: 2113000 | #Constraints: 33828
3368.22/3376.37 c #Conflicts: 2114000 | #Constraints: 34828
3368.22/3376.37 c #Conflicts: 2115000 | #Constraints: 35828
3368.22/3376.37 c #Conflicts: 2116000 | #Constraints: 36828
3368.22/3376.37 c #Conflicts: 2117000 | #Constraints: 37828
3368.22/3376.37 c #Conflicts: 2118000 | #Constraints: 38828
3368.22/3376.37 c #Conflicts: 2119000 | #Constraints: 39828
3368.22/3376.37 c #Conflicts: 2120000 | #Constraints: 40828
3368.22/3376.37 c #Conflicts: 2121000 | #Constraints: 41828
3368.22/3376.37 c #Conflicts: 2122000 | #Constraints: 42828
3368.22/3376.37 c #Conflicts: 2123000 | #Constraints: 43828
3368.22/3376.37 c #Conflicts: 2124000 | #Constraints: 44828
3368.22/3376.37 c #Conflicts: 2125000 | #Constraints: 45828
3368.22/3376.37 c #Conflicts: 2126000 | #Constraints: 46828
3368.22/3376.37 c #Conflicts: 2127000 | #Constraints: 47828
3368.22/3376.37 c #Conflicts: 2128000 | #Constraints: 48828
3368.22/3376.37 c #Conflicts: 2129000 | #Constraints: 49828
3368.22/3376.37 c #Conflicts: 2130000 | #Constraints: 50828
3368.22/3376.37 c #Conflicts: 2131000 | #Constraints: 51828
3368.22/3376.37 c #Conflicts: 2132000 | #Constraints: 52828
3368.22/3376.37 c #Conflicts: 2133000 | #Constraints: 53828
3368.22/3376.37 c #Conflicts: 2134000 | #Constraints: 54828
3368.22/3376.37 c #Conflicts: 2135000 | #Constraints: 55828
3368.22/3376.37 c #Conflicts: 2136000 | #Constraints: 56828
3368.22/3376.37 c #Conflicts: 2137000 | #Constraints: 57828
3368.22/3376.37 c INPROCESSING
3368.22/3376.37 c GARBAGE COLLECT
3368.22/3376.37 c #Conflicts: 2138000 | #Constraints: 29832
3368.22/3376.37 c #Conflicts: 2139000 | #Constraints: 30832
3368.22/3376.37 c #Conflicts: 2140000 | #Constraints: 31832
3368.22/3376.37 c #Conflicts: 2141000 | #Constraints: 32832
3368.22/3376.37 c #Conflicts: 2142000 | #Constraints: 33832
3368.22/3376.37 c #Conflicts: 2143000 | #Constraints: 34832
3368.22/3376.37 c #Conflicts: 2144000 | #Constraints: 35832
3368.22/3376.37 c #Conflicts: 2145000 | #Constraints: 36832
3368.22/3376.37 c #Conflicts: 2146000 | #Constraints: 37832
3368.22/3376.37 c #Conflicts: 2147000 | #Constraints: 38832
3368.22/3376.37 c #Conflicts: 2148000 | #Constraints: 39832
3368.22/3376.37 c #Conflicts: 2149000 | #Constraints: 40832
3368.22/3376.37 c #Conflicts: 2150000 | #Constraints: 41832
3368.22/3376.37 c #Conflicts: 2151000 | #Constraints: 42832
3368.22/3376.37 c #Conflicts: 2152000 | #Constraints: 43832
3368.22/3376.37 c #Conflicts: 2153000 | #Constraints: 44832
3368.22/3376.37 c #Conflicts: 2154000 | #Constraints: 45832
3368.22/3376.37 c #Conflicts: 2155000 | #Constraints: 46832
3368.22/3376.37 c #Conflicts: 2156000 | #Constraints: 47832
3368.22/3376.37 c #Conflicts: 2157000 | #Constraints: 48832
3368.22/3376.37 c #Conflicts: 2158000 | #Constraints: 49832
3368.22/3376.37 c #Conflicts: 2159000 | #Constraints: 50832
3368.22/3376.37 c #Conflicts: 2160000 | #Constraints: 51832
3368.22/3376.37 c #Conflicts: 2161000 | #Constraints: 52832
3368.22/3376.37 c #Conflicts: 2162000 | #Constraints: 53832
3368.22/3376.37 c #Conflicts: 2163000 | #Constraints: 54832
3368.22/3376.37 c #Conflicts: 2164000 | #Constraints: 55832
3579.94/3588.59 c #Conflicts: 2165000 | #Constraints: 56832
3579.94/3588.59 c #Conflicts: 2166000 | #Constraints: 57832
3579.94/3588.59 c INPROCESSING
3579.94/3588.59 c GARBAGE COLLECT
3579.94/3588.59 c #Conflicts: 2167000 | #Constraints: 29631
3579.94/3588.59 c #Conflicts: 2168000 | #Constraints: 30631
3579.94/3588.59 c #Conflicts: 2169000 | #Constraints: 31631
3579.94/3588.59 c #Conflicts: 2170000 | #Constraints: 32631
3579.94/3588.59 c #Conflicts: 2171000 | #Constraints: 33631
3579.94/3588.59 c #Conflicts: 2172000 | #Constraints: 34631
3579.94/3588.59 c #Conflicts: 2173000 | #Constraints: 35631
3579.94/3588.59 c #Conflicts: 2174000 | #Constraints: 36631
3579.94/3588.59 c #Conflicts: 2175000 | #Constraints: 37631
3579.94/3588.59 c #Conflicts: 2176000 | #Constraints: 38631
3579.94/3588.59 c #Conflicts: 2177000 | #Constraints: 39631
3579.94/3588.59 c #Conflicts: 2178000 | #Constraints: 40631
3579.94/3588.59 c #Conflicts: 2179000 | #Constraints: 41631
3579.94/3588.59 c #Conflicts: 2180000 | #Constraints: 42631
3579.94/3588.59 c #Conflicts: 2181000 | #Constraints: 43631
3579.94/3588.59 c #Conflicts: 2182000 | #Constraints: 44631
3579.94/3588.59 c #Conflicts: 2183000 | #Constraints: 45631
3579.94/3588.59 c #Conflicts: 2184000 | #Constraints: 46631
3579.94/3588.59 c #Conflicts: 2185000 | #Constraints: 47631
3579.94/3588.59 c #Conflicts: 2186000 | #Constraints: 48631
3579.94/3588.59 c #Conflicts: 2187000 | #Constraints: 49631
3579.94/3588.59 c #Conflicts: 2188000 | #Constraints: 50631
3579.94/3588.59 c #Conflicts: 2189000 | #Constraints: 51631
3579.94/3588.59 c #Conflicts: 2190000 | #Constraints: 52631
3579.94/3588.59 c #Conflicts: 2191000 | #Constraints: 53631
3579.94/3588.59 c #Conflicts: 2192000 | #Constraints: 54631
3579.94/3588.59 c #Conflicts: 2193000 | #Constraints: 55631
3579.94/3588.59 c #Conflicts: 2194000 | #Constraints: 56631
3579.94/3588.59 c #Conflicts: 2195000 | #Constraints: 57631
3579.94/3588.59 c #Conflicts: 2196000 | #Constraints: 58631
3579.94/3588.59 c INPROCESSING
3579.94/3588.59 c GARBAGE COLLECT
3579.94/3588.59 c #Conflicts: 2197000 | #Constraints: 30234
3579.94/3588.59 c #Conflicts: 2198000 | #Constraints: 31234
3579.94/3588.59 c #Conflicts: 2199000 | #Constraints: 32234
3579.94/3588.59 c #Conflicts: 2200000 | #Constraints: 33234
3579.94/3588.59 c #Conflicts: 2201000 | #Constraints: 34234
3579.94/3588.59 c #Conflicts: 2202000 | #Constraints: 35234
3579.94/3588.59 c #Conflicts: 2203000 | #Constraints: 36234
3579.94/3588.59 c #Conflicts: 2204000 | #Constraints: 37234
3579.94/3588.59 c #Conflicts: 2205000 | #Constraints: 38234
3579.94/3588.59 c #Conflicts: 2206000 | #Constraints: 39234
3579.94/3588.59 c #Conflicts: 2207000 | #Constraints: 40234
3579.94/3588.59 c #Conflicts: 2208000 | #Constraints: 41234
3579.94/3588.59 c #Conflicts: 2209000 | #Constraints: 42234
3579.94/3588.59 c #Conflicts: 2210000 | #Constraints: 43234
3579.94/3588.59 c #Conflicts: 2211000 | #Constraints: 44234
3579.94/3588.59 c #Conflicts: 2212000 | #Constraints: 45234
3579.94/3588.59 c #Conflicts: 2213000 | #Constraints: 46234
3579.94/3588.59 c #Conflicts: 2214000 | #Constraints: 47234
3579.94/3588.59 c #Conflicts: 2215000 | #Constraints: 48234
3579.94/3588.59 c #Conflicts: 2216000 | #Constraints: 49234
3579.94/3588.59 c #Conflicts: 2217000 | #Constraints: 50234
3579.94/3588.59 c #Conflicts: 2218000 | #Constraints: 51234
3579.94/3588.59 c #Conflicts: 2219000 | #Constraints: 52234
3579.94/3588.59 c #Conflicts: 2220000 | #Constraints: 53234
3579.94/3588.59 c #Conflicts: 2221000 | #Constraints: 54234
3579.94/3588.59 c #Conflicts: 2222000 | #Constraints: 55234
3579.94/3588.59 c #Conflicts: 2223000 | #Constraints: 56234
3579.94/3588.59 c #Conflicts: 2224000 | #Constraints: 57234
3579.94/3588.59 c #Conflicts: 2225000 | #Constraints: 58234
3579.94/3588.59 c #Conflicts: 2226000 | #Constraints: 59234
3579.94/3588.59 c INPROCESSING
3579.94/3588.59 c GARBAGE COLLECT
3579.94/3588.59 c #Conflicts: 2227000 | #Constraints: 30636
3579.94/3588.59 c #Conflicts: 2228000 | #Constraints: 31636
3579.94/3588.59 c #Conflicts: 2229000 | #Constraints: 32636
3579.94/3588.59 c #Conflicts: 2230000 | #Constraints: 33636
3579.94/3588.59 c #Conflicts: 2231000 | #Constraints: 34636
3579.94/3588.59 c #Conflicts: 2232000 | #Constraints: 35636
3579.94/3588.59 c #Conflicts: 2233000 | #Constraints: 36636
3579.94/3588.59 c #Conflicts: 2234000 | #Constraints: 37636
3579.94/3588.59 c #Conflicts: 2235000 | #Constraints: 38636
3579.94/3588.59 c #Conflicts: 2236000 | #Constraints: 39636
3579.94/3588.59 c #Conflicts: 2237000 | #Constraints: 40636
3579.94/3588.59 c #Conflicts: 2238000 | #Constraints: 41636
3579.94/3588.59 c #Conflicts: 2239000 | #Constraints: 42636
3579.94/3588.59 c #Conflicts: 2240000 | #Constraints: 43636
3579.94/3588.59 c #Conflicts: 2241000 | #Constraints: 44636
3600.00/3608.60 c #Conflicts: 2242000 | #Constraints: 45636
3600.00/3608.60 c #Conflicts: 2243000 | #Constraints: 46636
3600.00/3608.60 c #Conflicts: 2244000 | #Constraints: 47636
3600.00/3608.60 c #Conflicts: 2245000 | #Constraints: 48636
3600.00/3608.60 c #Conflicts: 2246000 | #Constraints: 49636
3600.00/3608.60 c #Conflicts: 2247000 | #Constraints: 50636
3600.00/3608.60 c Program interrupted by user.
3600.00/3608.60 c cpu time 3590.82 s
3600.00/3608.60 c deterministic time 598654232528 5.99e+11
3600.00/3608.60 c optimization time 59.9846 s
3600.00/3608.60 c total solve time 3530.84 s
3600.00/3608.60 c core-guided solve time 3530.84 s
3600.00/3608.60 c propagation time 3451.31 s
3600.00/3608.60 c conflict analysis time 125.072 s
3600.00/3608.60 c propagations 24713551
3600.00/3608.60 c resolve steps 10602087
3600.00/3608.60 c decisions 3684727
3600.00/3608.60 c conflicts 2247475
3600.00/3608.60 c restarts 4093
3600.00/3608.60 c inprocessing phases 140
3600.00/3608.60 c input clauses 0
3600.00/3608.60 c input cardinalities 0
3600.00/3608.60 c input general constraints 17
3600.00/3608.60 c input average constraint length 72.00
3600.00/3608.60 c input average constraint degree 1626.06
3600.00/3608.60 c learned clauses 1338914
3600.00/3608.60 c learned cardinalities 0
3600.00/3608.60 c learned general constraints 908560
3600.00/3608.60 c learned average constraint length 57.04
3600.00/3608.60 c learned average constraint degree 45147.58
3600.00/3608.60 c watched constraints 907741
3600.00/3608.60 c counting constraints 836
3600.00/3608.60 c gcd simplifications 1195098
3600.00/3608.60 c detected cardinalities 0
3600.00/3608.60 c weakened non-implied lits 27167902
3600.00/3608.60 c weakened non-implying lits 2923766
3600.00/3608.60 c original variables 146
3600.00/3608.60 c clausal propagations 383155
3600.00/3608.60 c cardinality propagations 0
3600.00/3608.60 c watched propagations 18142228
3600.00/3608.60 c counting propagations 4368207
3600.00/3608.60 c watch lookups 34464479325
3600.00/3608.60 c watch backjump lookups 12459880128
3600.00/3608.60 c watch checks 476351863870
3600.00/3608.60 c propagation checks 74519458057
3600.00/3608.60 c constraint additions 799507250
3600.00/3608.60 c trail pops 30645619
3600.00/3608.60 c formula constraints 12
3600.00/3608.60 c learned constraints 2247474
3600.00/3608.60 c bound constraints 5
3600.00/3608.60 c core-guided constraints 0
3600.00/3608.60 c encountered formula constraints 2544290
3600.00/3608.60 c encountered learned constraints 10305272
3600.00/3608.60 c encountered bound constraints 0
3600.00/3608.60 c encountered core-guided constraints 0
3600.00/3608.60 c LP total time 0 s
3600.00/3608.60 c LP solve time 0 s
3600.00/3608.60 c LP constraints added 0
3600.00/3608.60 c LP constraints removed 0
3600.00/3608.60 c LP pivots internal 0
3600.00/3608.60 c LP pivots root 0
3600.00/3608.60 c LP calls 0
3600.00/3608.60 c LP optimalities 0
3600.00/3608.60 c LP no pivot count 0
3600.00/3608.60 c LP infeasibilities 0
3600.00/3608.60 c LP valid Farkas constraints 0
3600.00/3608.60 c LP learned Farkas constraints 0
3600.00/3608.60 c LP basis resets 0
3600.00/3608.60 c LP cycling count 0
3600.00/3608.60 c LP singular count 0
3600.00/3608.60 c LP no primal count 0
3600.00/3608.60 c LP no farkas count 0
3600.00/3608.60 c LP other issue count 0
3600.00/3608.60 c LP Gomory cuts 0
3600.00/3608.60 c LP learned cuts 0
3600.00/3608.60 c LP deleted cuts 0
3600.00/3608.60 c LP encountered Gomory constraints 0
3600.00/3608.60 c LP encountered Farkas constraints 0
3600.00/3608.60 c LP encountered learned Farkas constraints 0
3600.00/3608.60 c CG auxiliary variables introduced 0
3600.00/3608.60 c CG solutions found 5
3600.00/3608.60 c CG cores constructed 0
3600.00/3608.60 c CG core cardinality constraints returned 0
3600.00/3608.60 c CG unit cores 0
3600.00/3608.60 c CG single cores 0
3600.00/3608.60 c CG blocks removed during cardinality reduction 0
3600.00/3608.60 c CG first core best 0
3600.00/3608.60 c CG decision core best 0
3600.00/3608.60 c CG core reduction tie 0
3600.00/3608.60 c CG core degree average 0.00
3600.00/3608.60 c CG core slack average 0.00
3600.00/3608.60 c CG exhausted 0
3600.00/3608.60 c CG exhaust time 0 s
3600.00/3608.60 c CG trimmed 0
3600.00/3608.60 c CG trim time 0 s
3600.00/3608.60 c CG minimized 0
3600.00/3608.60 c CG minimize time 0 s
3600.00/3608.60 c CG am1 prop time 0.000175 s
3600.00/3608.60 c CG # am1s reformulated 0
3600.00/3608.60 c CG lower bound derived from am1s 0
3600.00/3608.60 c CG # clausal cores 0
3600.00/3608.60 c CG # cardinality cores 0
3600.00/3608.60 c CG # pb cores 0
3600.00/3608.60 c CG # pb reforms 0
3600.00/3608.60 c CG # cores discarded because of pb reform 0
3600.00/3608.60 d LOWERBOUND 0
3600.00/3608.60 d NCORES 0
3600.00/3608.60 d NPBCORES 0
3600.00/3608.60 d NPBREFORM 0
3600.00/3608.60 d NTRIMMED 0
3600.00/3608.60 d NEXHAUSTED 0
3600.00/3608.60 d NAM1S 0
3600.00/3608.60 d AM1LB 0
3600.00/3608.60 o 15
3600.00/3608.60 s SATISFIABLE
3600.00/3608.60 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 -x105 x106 -x107 -x108 x109 x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 x123 x124 x125 x126 -x127 x128 x129 -x130 x131 -x132 x133 -x134 -x135 -x136 x137 -x138 x139 x140 -x141 x142 x143 x144 -x145 x146
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: 63931 MiB (61183 MiB free)
memory of node 1: 64510 MiB (61637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454346-1721470955/watcher-4454346-1721470955 -o /tmp/evaluation-result-4454346-1721470955/solver-4454346-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064620 --watchdog 3760 pb-oll-rs HOME/instance-4454346-1721470955.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1064680, runsolver pid=1064666
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 1.13 1.25 2.10 7/260 1064684
/proc/meminfo: memFree=125762720/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=39188 memory=6804 CPUtime=0.1 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 514 0 0 0 10 0 0 0 20 0 1 0 199254689 40128512 1701 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 9797 1701 1363 291 0 1331 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 6804 KiB
[startup+0.206675 s]*
/proc/loadavg: 1.13 1.25 2.10 9/260 1064684
/proc/meminfo: memFree=125760776/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=39304 memory=7208 CPUtime=0.2 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 608 0 0 0 19 1 0 0 20 0 1 0 199254689 40247296 1802 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 9826 1802 1363 291 0 1360 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 7208 KiB
[startup+0.305222 s]*
/proc/loadavg: 1.13 1.25 2.10 5/260 1064684
/proc/meminfo: memFree=125758052/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=39440 memory=7708 CPUtime=0.3 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 708 0 0 0 29 1 0 0 20 0 1 0 199254689 40386560 1927 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 9860 1927 1427 291 0 1394 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39440 KiB
Current children cumulated memory: 7708 KiB
[startup+0.700147 s]
/proc/loadavg: 1.13 1.25 2.10 8/260 1064684
/proc/meminfo: memFree=125753692/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=39848 memory=10548 CPUtime=0.69 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 904 0 0 0 67 2 0 0 20 0 1 0 199254689 40804352 2637 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 9962 2637 1427 291 0 1496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39848 KiB
Current children cumulated memory: 10548 KiB
[startup+1.50014 s]
/proc/loadavg: 1.13 1.25 2.10 7/260 1064684
/proc/meminfo: memFree=125747132/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=40128 memory=10808 CPUtime=1.49 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 960 0 0 0 146 3 0 0 20 0 1 0 199254689 41091072 2702 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 10032 2702 1427 291 0 1566 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40128 KiB
Current children cumulated memory: 10808 KiB
[startup+3.10576 s]
/proc/loadavg: 1.36 1.29 2.11 7/260 1064684
/proc/meminfo: memFree=125741688/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=40640 memory=11428 CPUtime=3.09 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 1081 0 0 0 303 6 0 0 20 0 1 0 199254689 41615360 2857 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 10160 2857 1427 291 0 1694 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40640 KiB
Current children cumulated memory: 11428 KiB
[startup+6.30014 s]
/proc/loadavg: 1.36 1.29 2.11 7/260 1064684
/proc/meminfo: memFree=125739908/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=40976 memory=11832 CPUtime=6.27 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 1186 0 0 0 616 11 0 0 20 0 1 0 199254689 41959424 2958 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 10244 2958 1427 291 0 1778 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40976 KiB
Current children cumulated memory: 11832 KiB
[startup+12.7001 s]
/proc/loadavg: 1.76 1.38 2.13 7/260 1064686
/proc/meminfo: memFree=125736288/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=41584 memory=12372 CPUtime=12.66 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 1320 0 0 0 1249 17 0 0 20 0 1 0 199254689 42582016 3093 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 10396 3093 1427 291 0 1930 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41584 KiB
Current children cumulated memory: 12372 KiB
[startup+25.5001 s]
/proc/loadavg: 2.11 1.47 2.15 7/260 1064687
/proc/meminfo: memFree=125728276/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=42640 memory=14108 CPUtime=25.44 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 1794 0 0 0 2516 28 0 0 20 0 1 0 199254689 43663360 3527 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 10660 3527 1427 291 0 2194 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 14108 KiB
[startup+51.1063 s]
/proc/loadavg: 2.81 1.69 2.21 7/260 1064692
/proc/meminfo: memFree=125714908/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=45968 memory=17072 CPUtime=50.99 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 2091 0 0 0 5055 44 0 0 20 0 1 0 199254689 47071232 4268 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 11492 4268 1427 291 0 3026 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 17072 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.11 2.33 7/260 1064703
/proc/meminfo: memFree=125700792/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=48112 memory=19220 CPUtime=102.05 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 2741 0 0 0 10132 73 0 0 20 0 1 0 199254689 49266688 4805 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 12028 4805 1427 291 0 3562 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 48112 KiB
Current children cumulated memory: 19220 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.49 2.44 7/260 1064713
/proc/meminfo: memFree=125688716/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=53516 memory=20952 CPUtime=161.9 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 3315 0 0 0 16083 107 0 0 20 0 1 0 199254689 54800384 5238 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 13379 5238 1427 291 0 4913 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 53516 KiB
Current children cumulated memory: 20952 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.78 2.55 8/259 1065108
/proc/meminfo: memFree=125682084/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=54228 memory=23856 CPUtime=221.74 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 3705 0 0 0 22037 137 0 0 20 0 1 0 199254689 55529472 5964 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 13557 5964 1427 291 0 5091 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 54228 KiB
Current children cumulated memory: 23856 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.02 2.65 7/259 1065118
/proc/meminfo: memFree=125675784/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=54328 memory=24016 CPUtime=281.58 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 3907 0 0 0 27993 165 0 0 20 0 1 0 199254689 55631872 6004 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 13582 6004 1427 291 0 5116 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 54328 KiB
Current children cumulated memory: 24016 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 3.27 2.76 7/257 1065128
/proc/meminfo: memFree=125663692/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=54872 memory=25004 CPUtime=341.41 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 4203 0 0 0 33954 187 0 0 20 0 1 0 199254689 56188928 6251 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 13718 6251 1427 291 0 5252 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 54872 KiB
Current children cumulated memory: 25004 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.42 2.84 9/259 1065310
/proc/meminfo: memFree=125658132/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=55352 memory=25808 CPUtime=401.28 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 4474 0 0 0 39918 210 0 0 20 0 1 0 199254689 56680448 6452 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 13838 6452 1427 291 0 5372 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 55352 KiB
Current children cumulated memory: 25808 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.57 2.93 9/259 1065321
/proc/meminfo: memFree=125651128/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=55608 memory=26748 CPUtime=461.15 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 4857 0 0 0 45882 233 0 0 20 0 1 0 199254689 56942592 6687 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 13902 6687 1427 291 0 5436 0
################
# More data... #
################
Current children cumulated memory: 44264 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.21 4.15 9/255 1066387
/proc/meminfo: memFree=125654000/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=81508 memory=44264 CPUtime=2855.52 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 12590 0 0 0 284756 796 0 0 20 0 1 0 199254689 83464192 11066 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20377 11066 1427 291 0 11911 0
Current children cumulated CPU time: 2855.52 s
Current children cumulated vsize: 81508 KiB
Current children cumulated memory: 44264 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.20 4.15 9/257 1066402
/proc/meminfo: memFree=125650604/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=81508 memory=44268 CPUtime=2915.38 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 12753 0 0 0 290731 807 0 0 20 0 1 0 199254689 83464192 11067 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20377 11067 1427 291 0 11911 0
Current children cumulated CPU time: 2915.38 s
Current children cumulated vsize: 81508 KiB
Current children cumulated memory: 44268 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.19 4.15 9/257 1066412
/proc/meminfo: memFree=125648428/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=81508 memory=44268 CPUtime=2975.24 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 12914 0 0 0 296708 816 0 0 20 0 1 0 199254689 83464192 11067 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20377 11067 1427 291 0 11911 0
Current children cumulated CPU time: 2975.24 s
Current children cumulated vsize: 81508 KiB
Current children cumulated memory: 44268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.19 4.15 9/257 1066423
/proc/meminfo: memFree=125644232/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=81764 memory=44416 CPUtime=3035.11 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 13073 0 0 0 302683 828 0 0 20 0 1 0 199254689 83726336 11104 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20441 11104 1427 291 0 11975 0
Current children cumulated CPU time: 3035.11 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 44416 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.14 9/257 1066435
/proc/meminfo: memFree=125643708/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=81764 memory=44416 CPUtime=3094.95 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 13194 0 0 0 308656 839 0 0 20 0 1 0 199254689 83726336 11104 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20441 11104 1427 291 0 11975 0
Current children cumulated CPU time: 3094.95 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 44416 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.14 9/258 1066446
/proc/meminfo: memFree=125642524/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=81764 memory=44416 CPUtime=3154.78 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 13321 0 0 0 314629 849 0 0 20 0 1 0 199254689 83726336 11104 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20441 11104 1427 291 0 11975 0
Current children cumulated CPU time: 3154.78 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 44416 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.14 9/256 1066456
/proc/meminfo: memFree=125638016/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=82020 memory=44416 CPUtime=3214.63 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 13347 0 0 0 320604 859 0 0 20 0 1 0 199254689 83988480 11104 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20505 11104 1427 291 0 12039 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 82020 KiB
Current children cumulated memory: 44416 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.13 9/256 1066466
/proc/meminfo: memFree=125636524/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=82276 memory=44728 CPUtime=3274.46 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 13537 0 0 0 326577 869 0 0 20 0 1 0 199254689 84250624 11182 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20569 11182 1427 291 0 12103 0
Current children cumulated CPU time: 3274.46 s
Current children cumulated vsize: 82276 KiB
Current children cumulated memory: 44728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.13 9/256 1066477
/proc/meminfo: memFree=125633456/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=82788 memory=45020 CPUtime=3334.3 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 13733 0 0 0 332552 878 0 0 20 0 1 0 199254689 84774912 11255 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20697 11255 1427 291 0 12231 0
Current children cumulated CPU time: 3334.3 s
Current children cumulated vsize: 82788 KiB
Current children cumulated memory: 45020 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.14 9/256 1066488
/proc/meminfo: memFree=125631536/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=83044 memory=45936 CPUtime=3394.16 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 13892 0 0 0 338528 888 0 0 20 0 1 0 199254689 85037056 11484 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20761 11484 1427 291 0 12295 0
Current children cumulated CPU time: 3394.16 s
Current children cumulated vsize: 83044 KiB
Current children cumulated memory: 45936 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.13 9/255 1066498
/proc/meminfo: memFree=125630824/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=83300 memory=46112 CPUtime=3454.02 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 14065 0 0 0 344505 897 0 0 20 0 1 0 199254689 85299200 11528 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20825 11528 1427 291 0 12359 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 83300 KiB
Current children cumulated memory: 46112 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.13 9/257 1066513
/proc/meminfo: memFree=125629920/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=83556 memory=46112 CPUtime=3513.89 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 14084 0 0 0 350484 905 0 0 20 0 1 0 199254689 85561344 11528 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20889 11528 1427 291 0 12423 0
Current children cumulated CPU time: 3513.89 s
Current children cumulated vsize: 83556 KiB
Current children cumulated memory: 46112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.12 9/257 1066523
/proc/meminfo: memFree=125623924/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=83812 memory=48460 CPUtime=3573.75 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 14282 0 0 0 356462 913 0 0 20 0 1 0 199254689 85823488 12115 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20953 12115 1427 291 0 12487 0
Current children cumulated CPU time: 3573.75 s
Current children cumulated vsize: 83812 KiB
Current children cumulated memory: 48460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.14 4.14 4.12 8/257 1066529
/proc/meminfo: memFree=125623708/131524600 swapFree=130799640/131071996
[pid=1064680] ppid=1064666 vsize=83812 memory=48460 CPUtime=3600 cores=4,6
/proc/1064680/stat : 1064680 (pb-oll-rs) R 1064666 1064680 1064609 0 -1 4194304 14284 0 0 0 359082 918 0 0 20 0 1 0 199254689 85823488 12115 134679101440 4194304 5384485 140723178645552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11042816 140723178648597 140723178648674 140723178648674 140723178655691 0
/proc/1064680/statm: 20953 12115 1427 291 0 12487 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 83812 KiB
Current children cumulated memory: 48460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 1064680 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.82 s, system=9.18283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.6
CPU time (s): 3600.01
CPU user time (s): 3590.82
CPU system time (s): 9.18283
CPU usage (%): 99.7618
Max. virtual memory (cumulated for all children) (KiB): 83812
Max. memory (cumulated for all children) (KiB): 48460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.82
system time used= 9.18283
maximum resident set size= 48872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14300
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= 25
involuntary context switches= 1516
# summary of solver processes directly reported to runsolver:
# pid: 1064680
# total CPU time (s): 3600.01
# total CPU user time (s): 3590.82
# total CPU system time (s): 9.18283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.23472 second user time and 21.7608 second system time
The end
Begin job on nodeC014 at 2024-07-20 12:22:48
IDJOB=4454346
IDBENCH=147594
IDSOLVER=3082
FILE ID=nodeC014/4454346-1721470955
RUNJOBID= nodeC014-1721470968-1064620
SLURM_JOB_ID= 7545736
Free space on /tmp= 890036 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454346-1721470955/watcher-4454346-1721470955 -o /tmp/evaluation-result-4454346-1721470955/solver-4454346-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064620 --watchdog 3760 pb-oll-rs HOME/instance-4454346-1721470955.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=1703260688
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3552.818
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3577.736
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3367.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3387.580
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3527.618
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3545.576
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3436.614
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3404.831
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125769896 kB
MemAvailable: 129980216 kB
Buffers: 518416 kB
Cached: 4486976 kB
SwapCached: 12808 kB
Active: 1549092 kB
Inactive: 3578444 kB
Active(anon): 9064 kB
Inactive(anon): 142808 kB
Active(file): 1540028 kB
Inactive(file): 3435636 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 7932 kB
Writeback: 0 kB
AnonPages: 113600 kB
Mapped: 51388 kB
Shmem: 29720 kB
KReclaimable: 148608 kB
Slab: 251644 kB
SReclaimable: 148608 kB
SUnreclaim: 103036 kB
KernelStack: 3888 kB
PageTables: 10232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 742308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC014 at 2024-07-20 13:22:57