0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.10 c Papilo could not simplify the problem
0.00/0.10 c [STEP] solving with SCIP
299.26/300.19 c [STEP] preprocessing done, loading into solver
299.35/300.23 c [STEP] solving
299.35/300.23 c #variables 596 #constraints 27842
299.35/300.23 c SMALL=int, LARGE=long long
299.35/300.23 d SCIPUB -31
299.35/300.23 c bounds - >= -595 @ 299.148
299.35/300.23 c stratification level: 0
319.81/320.74 c bounds - >= -123 @ 299.161
319.81/320.74 c bounds - >= -122 @ 299.162
319.81/320.74 c bounds - >= -121 @ 299.163
319.81/320.74 c bounds - >= -120 @ 299.163
319.81/320.74 c bounds - >= -119 @ 299.163
319.81/320.74 c bounds - >= -118 @ 299.163
319.81/320.74 c bounds - >= -117 @ 299.163
319.81/320.74 c bounds - >= -116 @ 299.163
319.81/320.74 c bounds - >= -115 @ 299.163
319.81/320.74 c bounds - >= -114 @ 299.163
319.81/320.74 c bounds - >= -113 @ 299.163
319.81/320.74 c bounds - >= -112 @ 299.163
319.81/320.74 c bounds - >= -111 @ 299.163
319.81/320.74 c bounds - >= -110 @ 299.164
319.81/320.74 c bounds - >= -109 @ 299.164
319.81/320.74 c bounds - >= -108 @ 299.164
319.81/320.74 c bounds - >= -107 @ 299.164
319.81/320.74 c #Conflicts: 1000 | #Constraints: 28982
319.81/320.74 c #Conflicts: 2000 | #Constraints: 29982
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 3000 | #Constraints: 29969
319.81/320.74 c #Conflicts: 4000 | #Constraints: 30969
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 5000 | #Constraints: 30375
319.81/320.74 c #Conflicts: 6000 | #Constraints: 31375
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 7000 | #Constraints: 30378
319.81/320.74 c #Conflicts: 8000 | #Constraints: 31378
319.81/320.74 c #Conflicts: 9000 | #Constraints: 32378
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 10000 | #Constraints: 31088
319.81/320.74 c #Conflicts: 11000 | #Constraints: 32088
319.81/320.74 c #Conflicts: 12000 | #Constraints: 33088
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 13000 | #Constraints: 31536
319.81/320.74 c #Conflicts: 14000 | #Constraints: 32536
319.81/320.74 c #Conflicts: 15000 | #Constraints: 33536
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 16000 | #Constraints: 31763
319.81/320.74 c #Conflicts: 17000 | #Constraints: 32763
319.81/320.74 c #Conflicts: 18000 | #Constraints: 33763
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 19000 | #Constraints: 31780
319.81/320.74 c #Conflicts: 20000 | #Constraints: 32780
319.81/320.74 c #Conflicts: 21000 | #Constraints: 33780
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 22000 | #Constraints: 31597
319.81/320.74 c #Conflicts: 23000 | #Constraints: 32597
319.81/320.74 c #Conflicts: 24000 | #Constraints: 33597
319.81/320.74 c #Conflicts: 25000 | #Constraints: 34597
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 26000 | #Constraints: 32201
319.81/320.74 c #Conflicts: 27000 | #Constraints: 33201
319.81/320.74 c #Conflicts: 28000 | #Constraints: 34201
319.81/320.74 c #Conflicts: 29000 | #Constraints: 35201
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 30000 | #Constraints: 32598
319.81/320.74 c #Conflicts: 31000 | #Constraints: 33598
319.81/320.74 c #Conflicts: 32000 | #Constraints: 34598
319.81/320.74 c #Conflicts: 33000 | #Constraints: 35598
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 34000 | #Constraints: 32799
319.81/320.74 c #Conflicts: 35000 | #Constraints: 33799
319.81/320.74 c #Conflicts: 36000 | #Constraints: 34799
319.81/320.74 c #Conflicts: 37000 | #Constraints: 35799
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 38000 | #Constraints: 32808
319.81/320.74 c #Conflicts: 39000 | #Constraints: 33808
319.81/320.74 c #Conflicts: 40000 | #Constraints: 34808
319.81/320.74 c #Conflicts: 41000 | #Constraints: 35808
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 42000 | #Constraints: 32608
319.81/320.74 c #Conflicts: 43000 | #Constraints: 33608
319.81/320.74 c #Conflicts: 44000 | #Constraints: 34608
319.81/320.74 c #Conflicts: 45000 | #Constraints: 35608
319.81/320.74 c #Conflicts: 46000 | #Constraints: 36608
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 47000 | #Constraints: 33197
319.81/320.74 c #Conflicts: 48000 | #Constraints: 34197
319.81/320.74 c #Conflicts: 49000 | #Constraints: 35197
319.81/320.74 c #Conflicts: 50000 | #Constraints: 36197
319.81/320.74 c #Conflicts: 51000 | #Constraints: 37197
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 52000 | #Constraints: 33596
319.81/320.74 c #Conflicts: 53000 | #Constraints: 34596
319.81/320.74 c #Conflicts: 54000 | #Constraints: 35596
319.81/320.74 c #Conflicts: 55000 | #Constraints: 36596
319.81/320.74 c #Conflicts: 56000 | #Constraints: 37596
319.81/320.74 c INPROCESSING
319.81/320.74 c GARBAGE COLLECT
319.81/320.74 c #Conflicts: 57000 | #Constraints: 33812
319.81/320.74 c #Conflicts: 58000 | #Constraints: 34812
319.81/320.74 c #Conflicts: 59000 | #Constraints: 35812
319.81/320.74 c #Conflicts: 60000 | #Constraints: 36812
357.41/358.46 c #Conflicts: 61000 | #Constraints: 37812
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 62000 | #Constraints: 33805
357.41/358.46 c #Conflicts: 63000 | #Constraints: 34805
357.41/358.46 c #Conflicts: 64000 | #Constraints: 35805
357.41/358.46 c #Conflicts: 65000 | #Constraints: 36805
357.41/358.46 c #Conflicts: 66000 | #Constraints: 37805
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 67000 | #Constraints: 33602
357.41/358.46 c #Conflicts: 68000 | #Constraints: 34602
357.41/358.46 c #Conflicts: 69000 | #Constraints: 35602
357.41/358.46 c #Conflicts: 70000 | #Constraints: 36602
357.41/358.46 c #Conflicts: 71000 | #Constraints: 37602
357.41/358.46 c #Conflicts: 72000 | #Constraints: 38602
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 73000 | #Constraints: 34201
357.41/358.46 c #Conflicts: 74000 | #Constraints: 35201
357.41/358.46 c #Conflicts: 75000 | #Constraints: 36201
357.41/358.46 c #Conflicts: 76000 | #Constraints: 37201
357.41/358.46 c #Conflicts: 77000 | #Constraints: 38201
357.41/358.46 c #Conflicts: 78000 | #Constraints: 39201
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 79000 | #Constraints: 34603
357.41/358.46 c #Conflicts: 80000 | #Constraints: 35603
357.41/358.46 c #Conflicts: 81000 | #Constraints: 36603
357.41/358.46 c #Conflicts: 82000 | #Constraints: 37603
357.41/358.46 c #Conflicts: 83000 | #Constraints: 38603
357.41/358.46 c #Conflicts: 84000 | #Constraints: 39603
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 85000 | #Constraints: 34815
357.41/358.46 c #Conflicts: 86000 | #Constraints: 35815
357.41/358.46 c #Conflicts: 87000 | #Constraints: 36815
357.41/358.46 c #Conflicts: 88000 | #Constraints: 37815
357.41/358.46 c #Conflicts: 89000 | #Constraints: 38815
357.41/358.46 c #Conflicts: 90000 | #Constraints: 39815
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 91000 | #Constraints: 34807
357.41/358.46 c #Conflicts: 92000 | #Constraints: 35807
357.41/358.46 c #Conflicts: 93000 | #Constraints: 36807
357.41/358.46 c #Conflicts: 94000 | #Constraints: 37807
357.41/358.46 c #Conflicts: 95000 | #Constraints: 38807
357.41/358.46 c #Conflicts: 96000 | #Constraints: 39807
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 97000 | #Constraints: 34604
357.41/358.46 c #Conflicts: 98000 | #Constraints: 35604
357.41/358.46 c #Conflicts: 99000 | #Constraints: 36604
357.41/358.46 c #Conflicts: 100000 | #Constraints: 37604
357.41/358.46 c #Conflicts: 101000 | #Constraints: 38604
357.41/358.46 c #Conflicts: 102000 | #Constraints: 39604
357.41/358.46 c #Conflicts: 103000 | #Constraints: 40604
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 104000 | #Constraints: 35198
357.41/358.46 c #Conflicts: 105000 | #Constraints: 36198
357.41/358.46 c #Conflicts: 106000 | #Constraints: 37198
357.41/358.46 c #Conflicts: 107000 | #Constraints: 38198
357.41/358.46 c #Conflicts: 108000 | #Constraints: 39198
357.41/358.46 c #Conflicts: 109000 | #Constraints: 40198
357.41/358.46 c #Conflicts: 110000 | #Constraints: 41198
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 111000 | #Constraints: 35600
357.41/358.46 c #Conflicts: 112000 | #Constraints: 36600
357.41/358.46 c #Conflicts: 113000 | #Constraints: 37600
357.41/358.46 c #Conflicts: 114000 | #Constraints: 38600
357.41/358.46 c #Conflicts: 115000 | #Constraints: 39600
357.41/358.46 c #Conflicts: 116000 | #Constraints: 40600
357.41/358.46 c #Conflicts: 117000 | #Constraints: 41600
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 118000 | #Constraints: 35811
357.41/358.46 c #Conflicts: 119000 | #Constraints: 36811
357.41/358.46 c #Conflicts: 120000 | #Constraints: 37811
357.41/358.46 c #Conflicts: 121000 | #Constraints: 38811
357.41/358.46 c #Conflicts: 122000 | #Constraints: 39811
357.41/358.46 c #Conflicts: 123000 | #Constraints: 40811
357.41/358.46 c #Conflicts: 124000 | #Constraints: 41811
357.41/358.46 c INPROCESSING
357.41/358.46 c GARBAGE COLLECT
357.41/358.46 c #Conflicts: 125000 | #Constraints: 35829
357.41/358.46 c #Conflicts: 126000 | #Constraints: 36829
357.41/358.46 c #Conflicts: 127000 | #Constraints: 37829
357.41/358.46 c #Conflicts: 128000 | #Constraints: 38829
357.41/358.46 c #Conflicts: 129000 | #Constraints: 39829
357.41/358.46 c #Conflicts: 130000 | #Constraints: 40829
357.41/358.46 c #Conflicts: 131000 | #Constraints: 41829
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 132000 | #Constraints: 35638
406.28/407.47 c #Conflicts: 133000 | #Constraints: 36638
406.28/407.47 c #Conflicts: 134000 | #Constraints: 37638
406.28/407.47 c #Conflicts: 135000 | #Constraints: 38638
406.28/407.47 c #Conflicts: 136000 | #Constraints: 39638
406.28/407.47 c #Conflicts: 137000 | #Constraints: 40638
406.28/407.47 c #Conflicts: 138000 | #Constraints: 41638
406.28/407.47 c #Conflicts: 139000 | #Constraints: 42638
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 140000 | #Constraints: 36232
406.28/407.47 c #Conflicts: 141000 | #Constraints: 37232
406.28/407.47 c #Conflicts: 142000 | #Constraints: 38232
406.28/407.47 c #Conflicts: 143000 | #Constraints: 39232
406.28/407.47 c #Conflicts: 144000 | #Constraints: 40232
406.28/407.47 c #Conflicts: 145000 | #Constraints: 41232
406.28/407.47 c #Conflicts: 146000 | #Constraints: 42232
406.28/407.47 c #Conflicts: 147000 | #Constraints: 43232
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 148000 | #Constraints: 36617
406.28/407.47 c #Conflicts: 149000 | #Constraints: 37617
406.28/407.47 c #Conflicts: 150000 | #Constraints: 38617
406.28/407.47 c #Conflicts: 151000 | #Constraints: 39617
406.28/407.47 c #Conflicts: 152000 | #Constraints: 40617
406.28/407.47 c #Conflicts: 153000 | #Constraints: 41617
406.28/407.47 c #Conflicts: 154000 | #Constraints: 42617
406.28/407.47 c #Conflicts: 155000 | #Constraints: 43617
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 156000 | #Constraints: 36819
406.28/407.47 c #Conflicts: 157000 | #Constraints: 37819
406.28/407.47 c #Conflicts: 158000 | #Constraints: 38819
406.28/407.47 c #Conflicts: 159000 | #Constraints: 39819
406.28/407.47 c #Conflicts: 160000 | #Constraints: 40819
406.28/407.47 c #Conflicts: 161000 | #Constraints: 41819
406.28/407.47 c #Conflicts: 162000 | #Constraints: 42819
406.28/407.47 c #Conflicts: 163000 | #Constraints: 43819
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 164000 | #Constraints: 36815
406.28/407.47 c #Conflicts: 165000 | #Constraints: 37815
406.28/407.47 c #Conflicts: 166000 | #Constraints: 38815
406.28/407.47 c #Conflicts: 167000 | #Constraints: 39815
406.28/407.47 c #Conflicts: 168000 | #Constraints: 40815
406.28/407.47 c #Conflicts: 169000 | #Constraints: 41815
406.28/407.47 c #Conflicts: 170000 | #Constraints: 42815
406.28/407.47 c #Conflicts: 171000 | #Constraints: 43815
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 172000 | #Constraints: 36606
406.28/407.47 c #Conflicts: 173000 | #Constraints: 37606
406.28/407.47 c #Conflicts: 174000 | #Constraints: 38606
406.28/407.47 c #Conflicts: 175000 | #Constraints: 39606
406.28/407.47 c #Conflicts: 176000 | #Constraints: 40606
406.28/407.47 c #Conflicts: 177000 | #Constraints: 41606
406.28/407.47 c #Conflicts: 178000 | #Constraints: 42606
406.28/407.47 c #Conflicts: 179000 | #Constraints: 43606
406.28/407.47 c #Conflicts: 180000 | #Constraints: 44606
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 181000 | #Constraints: 37228
406.28/407.47 c #Conflicts: 182000 | #Constraints: 38228
406.28/407.47 c #Conflicts: 183000 | #Constraints: 39228
406.28/407.47 c #Conflicts: 184000 | #Constraints: 40228
406.28/407.47 c #Conflicts: 185000 | #Constraints: 41228
406.28/407.47 c #Conflicts: 186000 | #Constraints: 42228
406.28/407.47 c #Conflicts: 187000 | #Constraints: 43228
406.28/407.47 c #Conflicts: 188000 | #Constraints: 44228
406.28/407.47 c #Conflicts: 189000 | #Constraints: 45228
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 190000 | #Constraints: 37624
406.28/407.47 c #Conflicts: 191000 | #Constraints: 38624
406.28/407.47 c #Conflicts: 192000 | #Constraints: 39624
406.28/407.47 c #Conflicts: 193000 | #Constraints: 40624
406.28/407.47 c #Conflicts: 194000 | #Constraints: 41624
406.28/407.47 c #Conflicts: 195000 | #Constraints: 42624
406.28/407.47 c #Conflicts: 196000 | #Constraints: 43624
406.28/407.47 c #Conflicts: 197000 | #Constraints: 44624
406.28/407.47 c #Conflicts: 198000 | #Constraints: 45624
406.28/407.47 c INPROCESSING
406.28/407.47 c GARBAGE COLLECT
406.28/407.47 c #Conflicts: 199000 | #Constraints: 37827
406.28/407.47 c #Conflicts: 200000 | #Constraints: 38827
406.28/407.47 c #Conflicts: 201000 | #Constraints: 39827
406.28/407.47 c #Conflicts: 202000 | #Constraints: 40827
406.28/407.47 c #Conflicts: 203000 | #Constraints: 41827
406.28/407.47 c #Conflicts: 204000 | #Constraints: 42827
465.74/467.07 c #Conflicts: 205000 | #Constraints: 43827
465.74/467.07 c #Conflicts: 206000 | #Constraints: 44827
465.74/467.07 c #Conflicts: 207000 | #Constraints: 45827
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 208000 | #Constraints: 37828
465.74/467.07 c #Conflicts: 209000 | #Constraints: 38828
465.74/467.07 c #Conflicts: 210000 | #Constraints: 39828
465.74/467.07 c #Conflicts: 211000 | #Constraints: 40828
465.74/467.07 c #Conflicts: 212000 | #Constraints: 41828
465.74/467.07 c #Conflicts: 213000 | #Constraints: 42828
465.74/467.07 c #Conflicts: 214000 | #Constraints: 43828
465.74/467.07 c #Conflicts: 215000 | #Constraints: 44828
465.74/467.07 c #Conflicts: 216000 | #Constraints: 45828
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 217000 | #Constraints: 37611
465.74/467.07 c #Conflicts: 218000 | #Constraints: 38611
465.74/467.07 c #Conflicts: 219000 | #Constraints: 39611
465.74/467.07 c #Conflicts: 220000 | #Constraints: 40611
465.74/467.07 c #Conflicts: 221000 | #Constraints: 41611
465.74/467.07 c #Conflicts: 222000 | #Constraints: 42611
465.74/467.07 c #Conflicts: 223000 | #Constraints: 43611
465.74/467.07 c #Conflicts: 224000 | #Constraints: 44611
465.74/467.07 c #Conflicts: 225000 | #Constraints: 45611
465.74/467.07 c #Conflicts: 226000 | #Constraints: 46611
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 227000 | #Constraints: 38212
465.74/467.07 c #Conflicts: 228000 | #Constraints: 39212
465.74/467.07 c #Conflicts: 229000 | #Constraints: 40212
465.74/467.07 c #Conflicts: 230000 | #Constraints: 41212
465.74/467.07 c #Conflicts: 231000 | #Constraints: 42212
465.74/467.07 c #Conflicts: 232000 | #Constraints: 43212
465.74/467.07 c #Conflicts: 233000 | #Constraints: 44212
465.74/467.07 c #Conflicts: 234000 | #Constraints: 45212
465.74/467.07 c #Conflicts: 235000 | #Constraints: 46212
465.74/467.07 c #Conflicts: 236000 | #Constraints: 47212
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 237000 | #Constraints: 38623
465.74/467.07 c #Conflicts: 238000 | #Constraints: 39623
465.74/467.07 c #Conflicts: 239000 | #Constraints: 40623
465.74/467.07 c #Conflicts: 240000 | #Constraints: 41623
465.74/467.07 c #Conflicts: 241000 | #Constraints: 42623
465.74/467.07 c #Conflicts: 242000 | #Constraints: 43623
465.74/467.07 c #Conflicts: 243000 | #Constraints: 44623
465.74/467.07 c #Conflicts: 244000 | #Constraints: 45623
465.74/467.07 c #Conflicts: 245000 | #Constraints: 46623
465.74/467.07 c #Conflicts: 246000 | #Constraints: 47623
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 247000 | #Constraints: 38823
465.74/467.07 c #Conflicts: 248000 | #Constraints: 39823
465.74/467.07 c #Conflicts: 249000 | #Constraints: 40823
465.74/467.07 c #Conflicts: 250000 | #Constraints: 41823
465.74/467.07 c #Conflicts: 251000 | #Constraints: 42823
465.74/467.07 c #Conflicts: 252000 | #Constraints: 43823
465.74/467.07 c #Conflicts: 253000 | #Constraints: 44823
465.74/467.07 c #Conflicts: 254000 | #Constraints: 45823
465.74/467.07 c #Conflicts: 255000 | #Constraints: 46823
465.74/467.07 c #Conflicts: 256000 | #Constraints: 47823
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 257000 | #Constraints: 38847
465.74/467.07 c #Conflicts: 258000 | #Constraints: 39847
465.74/467.07 c #Conflicts: 259000 | #Constraints: 40847
465.74/467.07 c #Conflicts: 260000 | #Constraints: 41847
465.74/467.07 c #Conflicts: 261000 | #Constraints: 42847
465.74/467.07 c #Conflicts: 262000 | #Constraints: 43847
465.74/467.07 c #Conflicts: 263000 | #Constraints: 44847
465.74/467.07 c #Conflicts: 264000 | #Constraints: 45847
465.74/467.07 c #Conflicts: 265000 | #Constraints: 46847
465.74/467.07 c #Conflicts: 266000 | #Constraints: 47847
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 267000 | #Constraints: 38623
465.74/467.07 c #Conflicts: 268000 | #Constraints: 39623
465.74/467.07 c #Conflicts: 269000 | #Constraints: 40623
465.74/467.07 c #Conflicts: 270000 | #Constraints: 41623
465.74/467.07 c #Conflicts: 271000 | #Constraints: 42623
465.74/467.07 c #Conflicts: 272000 | #Constraints: 43623
465.74/467.07 c #Conflicts: 273000 | #Constraints: 44623
465.74/467.07 c #Conflicts: 274000 | #Constraints: 45623
465.74/467.07 c #Conflicts: 275000 | #Constraints: 46623
465.74/467.07 c #Conflicts: 276000 | #Constraints: 47623
465.74/467.07 c #Conflicts: 277000 | #Constraints: 48623
465.74/467.07 c INPROCESSING
465.74/467.07 c GARBAGE COLLECT
465.74/467.07 c #Conflicts: 278000 | #Constraints: 39217
533.96/535.45 c #Conflicts: 279000 | #Constraints: 40217
533.96/535.45 c #Conflicts: 280000 | #Constraints: 41217
533.96/535.45 c #Conflicts: 281000 | #Constraints: 42217
533.96/535.45 c #Conflicts: 282000 | #Constraints: 43217
533.96/535.45 c #Conflicts: 283000 | #Constraints: 44217
533.96/535.45 c #Conflicts: 284000 | #Constraints: 45217
533.96/535.45 c #Conflicts: 285000 | #Constraints: 46217
533.96/535.45 c #Conflicts: 286000 | #Constraints: 47217
533.96/535.45 c #Conflicts: 287000 | #Constraints: 48217
533.96/535.45 c #Conflicts: 288000 | #Constraints: 49217
533.96/535.45 c INPROCESSING
533.96/535.45 c GARBAGE COLLECT
533.96/535.45 c #Conflicts: 289000 | #Constraints: 39615
533.96/535.45 c #Conflicts: 290000 | #Constraints: 40615
533.96/535.45 c #Conflicts: 291000 | #Constraints: 41615
533.96/535.45 c #Conflicts: 292000 | #Constraints: 42615
533.96/535.45 c #Conflicts: 293000 | #Constraints: 43615
533.96/535.45 c #Conflicts: 294000 | #Constraints: 44615
533.96/535.45 c #Conflicts: 295000 | #Constraints: 45615
533.96/535.45 c #Conflicts: 296000 | #Constraints: 46615
533.96/535.45 c #Conflicts: 297000 | #Constraints: 47615
533.96/535.45 c #Conflicts: 298000 | #Constraints: 48615
533.96/535.45 c #Conflicts: 299000 | #Constraints: 49615
533.96/535.45 c INPROCESSING
533.96/535.45 c GARBAGE COLLECT
533.96/535.45 c #Conflicts: 300000 | #Constraints: 39807
533.96/535.45 c #Conflicts: 301000 | #Constraints: 40807
533.96/535.45 c #Conflicts: 302000 | #Constraints: 41807
533.96/535.45 c #Conflicts: 303000 | #Constraints: 42807
533.96/535.45 c #Conflicts: 304000 | #Constraints: 43807
533.96/535.45 c #Conflicts: 305000 | #Constraints: 44807
533.96/535.45 c #Conflicts: 306000 | #Constraints: 45807
533.96/535.45 c #Conflicts: 307000 | #Constraints: 46807
533.96/535.45 c #Conflicts: 308000 | #Constraints: 47807
533.96/535.45 c #Conflicts: 309000 | #Constraints: 48807
533.96/535.45 c #Conflicts: 310000 | #Constraints: 49807
533.96/535.45 c INPROCESSING
533.96/535.45 c GARBAGE COLLECT
533.96/535.45 c #Conflicts: 311000 | #Constraints: 39815
533.96/535.45 c #Conflicts: 312000 | #Constraints: 40815
533.96/535.45 c #Conflicts: 313000 | #Constraints: 41815
533.96/535.45 c #Conflicts: 314000 | #Constraints: 42815
533.96/535.45 c #Conflicts: 315000 | #Constraints: 43815
533.96/535.45 c #Conflicts: 316000 | #Constraints: 44815
533.96/535.45 c #Conflicts: 317000 | #Constraints: 45815
533.96/535.45 c #Conflicts: 318000 | #Constraints: 46815
533.96/535.45 c #Conflicts: 319000 | #Constraints: 47815
533.96/535.45 c #Conflicts: 320000 | #Constraints: 48815
533.96/535.45 c #Conflicts: 321000 | #Constraints: 49815
533.96/535.45 c INPROCESSING
533.96/535.45 c GARBAGE COLLECT
533.96/535.45 c #Conflicts: 322000 | #Constraints: 39628
533.96/535.45 c #Conflicts: 323000 | #Constraints: 40628
533.96/535.45 c #Conflicts: 324000 | #Constraints: 41628
533.96/535.45 c #Conflicts: 325000 | #Constraints: 42628
533.96/535.45 c #Conflicts: 326000 | #Constraints: 43628
533.96/535.45 c #Conflicts: 327000 | #Constraints: 44628
533.96/535.45 c #Conflicts: 328000 | #Constraints: 45628
533.96/535.45 c #Conflicts: 329000 | #Constraints: 46628
533.96/535.45 c #Conflicts: 330000 | #Constraints: 47628
533.96/535.45 c #Conflicts: 331000 | #Constraints: 48628
533.96/535.45 c #Conflicts: 332000 | #Constraints: 49628
533.96/535.45 c #Conflicts: 333000 | #Constraints: 50628
533.96/535.45 c INPROCESSING
533.96/535.45 c GARBAGE COLLECT
533.96/535.45 c #Conflicts: 334000 | #Constraints: 40218
533.96/535.45 c #Conflicts: 335000 | #Constraints: 41218
533.96/535.45 c #Conflicts: 336000 | #Constraints: 42218
533.96/535.45 c #Conflicts: 337000 | #Constraints: 43218
533.96/535.45 c #Conflicts: 338000 | #Constraints: 44218
533.96/535.45 c #Conflicts: 339000 | #Constraints: 45218
533.96/535.45 c #Conflicts: 340000 | #Constraints: 46218
533.96/535.45 c #Conflicts: 341000 | #Constraints: 47218
533.96/535.45 c #Conflicts: 342000 | #Constraints: 48218
533.96/535.45 c #Conflicts: 343000 | #Constraints: 49218
533.96/535.45 c #Conflicts: 344000 | #Constraints: 50218
533.96/535.45 c #Conflicts: 345000 | #Constraints: 51218
533.96/535.45 c INPROCESSING
533.96/535.45 c GARBAGE COLLECT
533.96/535.45 c #Conflicts: 346000 | #Constraints: 40619
533.96/535.45 c #Conflicts: 347000 | #Constraints: 41619
533.96/535.45 c #Conflicts: 348000 | #Constraints: 42619
533.96/535.45 c #Conflicts: 349000 | #Constraints: 43619
533.96/535.45 c #Conflicts: 350000 | #Constraints: 44619
533.96/535.45 c #Conflicts: 351000 | #Constraints: 45619
533.96/535.45 c #Conflicts: 352000 | #Constraints: 46619
533.96/535.45 c #Conflicts: 353000 | #Constraints: 47619
614.14/615.89 c #Conflicts: 354000 | #Constraints: 48619
614.14/615.89 c #Conflicts: 355000 | #Constraints: 49619
614.14/615.89 c #Conflicts: 356000 | #Constraints: 50619
614.14/615.89 c #Conflicts: 357000 | #Constraints: 51619
614.14/615.89 c INPROCESSING
614.14/615.89 c GARBAGE COLLECT
614.14/615.89 c #Conflicts: 358000 | #Constraints: 40821
614.14/615.89 c #Conflicts: 359000 | #Constraints: 41821
614.14/615.89 c #Conflicts: 360000 | #Constraints: 42821
614.14/615.89 c #Conflicts: 361000 | #Constraints: 43821
614.14/615.89 c #Conflicts: 362000 | #Constraints: 44821
614.14/615.89 c #Conflicts: 363000 | #Constraints: 45821
614.14/615.89 c #Conflicts: 364000 | #Constraints: 46821
614.14/615.89 c #Conflicts: 365000 | #Constraints: 47821
614.14/615.89 c #Conflicts: 366000 | #Constraints: 48821
614.14/615.89 c #Conflicts: 367000 | #Constraints: 49821
614.14/615.89 c #Conflicts: 368000 | #Constraints: 50821
614.14/615.89 c #Conflicts: 369000 | #Constraints: 51821
614.14/615.89 c INPROCESSING
614.14/615.89 c GARBAGE COLLECT
614.14/615.89 c #Conflicts: 370000 | #Constraints: 40815
614.14/615.89 c #Conflicts: 371000 | #Constraints: 41815
614.14/615.89 c #Conflicts: 372000 | #Constraints: 42815
614.14/615.89 c #Conflicts: 373000 | #Constraints: 43815
614.14/615.89 c #Conflicts: 374000 | #Constraints: 44815
614.14/615.89 c #Conflicts: 375000 | #Constraints: 45815
614.14/615.89 c #Conflicts: 376000 | #Constraints: 46815
614.14/615.89 c #Conflicts: 377000 | #Constraints: 47815
614.14/615.89 c #Conflicts: 378000 | #Constraints: 48815
614.14/615.89 c #Conflicts: 379000 | #Constraints: 49815
614.14/615.89 c #Conflicts: 380000 | #Constraints: 50815
614.14/615.89 c #Conflicts: 381000 | #Constraints: 51815
614.14/615.89 c INPROCESSING
614.14/615.89 c GARBAGE COLLECT
614.14/615.89 c #Conflicts: 382000 | #Constraints: 40609
614.14/615.89 c #Conflicts: 383000 | #Constraints: 41609
614.14/615.89 c #Conflicts: 384000 | #Constraints: 42609
614.14/615.89 c #Conflicts: 385000 | #Constraints: 43609
614.14/615.89 c #Conflicts: 386000 | #Constraints: 44609
614.14/615.89 c #Conflicts: 387000 | #Constraints: 45609
614.14/615.89 c #Conflicts: 388000 | #Constraints: 46609
614.14/615.89 c #Conflicts: 389000 | #Constraints: 47609
614.14/615.89 c #Conflicts: 390000 | #Constraints: 48609
614.14/615.89 c #Conflicts: 391000 | #Constraints: 49609
614.14/615.89 c #Conflicts: 392000 | #Constraints: 50609
614.14/615.89 c #Conflicts: 393000 | #Constraints: 51609
614.14/615.89 c #Conflicts: 394000 | #Constraints: 52609
614.14/615.89 c INPROCESSING
614.14/615.89 c GARBAGE COLLECT
614.14/615.89 c #Conflicts: 395000 | #Constraints: 41225
614.14/615.89 c #Conflicts: 396000 | #Constraints: 42225
614.14/615.89 c #Conflicts: 397000 | #Constraints: 43225
614.14/615.89 c #Conflicts: 398000 | #Constraints: 44225
614.14/615.89 c #Conflicts: 399000 | #Constraints: 45225
614.14/615.89 c #Conflicts: 400000 | #Constraints: 46225
614.14/615.89 c #Conflicts: 401000 | #Constraints: 47225
614.14/615.89 c #Conflicts: 402000 | #Constraints: 48225
614.14/615.89 c #Conflicts: 403000 | #Constraints: 49225
614.14/615.89 c #Conflicts: 404000 | #Constraints: 50225
614.14/615.89 c #Conflicts: 405000 | #Constraints: 51225
614.14/615.89 c #Conflicts: 406000 | #Constraints: 52225
614.14/615.89 c #Conflicts: 407000 | #Constraints: 53225
614.14/615.89 c INPROCESSING
614.14/615.89 c GARBAGE COLLECT
614.14/615.89 c #Conflicts: 408000 | #Constraints: 41636
614.14/615.89 c #Conflicts: 409000 | #Constraints: 42636
614.14/615.89 c #Conflicts: 410000 | #Constraints: 43636
614.14/615.89 c #Conflicts: 411000 | #Constraints: 44636
614.14/615.89 c #Conflicts: 412000 | #Constraints: 45636
614.14/615.89 c #Conflicts: 413000 | #Constraints: 46636
614.14/615.89 c #Conflicts: 414000 | #Constraints: 47636
614.14/615.89 c #Conflicts: 415000 | #Constraints: 48636
614.14/615.89 c #Conflicts: 416000 | #Constraints: 49636
614.14/615.89 c #Conflicts: 417000 | #Constraints: 50636
614.14/615.89 c #Conflicts: 418000 | #Constraints: 51636
614.14/615.89 c #Conflicts: 419000 | #Constraints: 52636
614.14/615.89 c #Conflicts: 420000 | #Constraints: 53636
614.14/615.89 c INPROCESSING
614.14/615.89 c GARBAGE COLLECT
614.14/615.89 c #Conflicts: 421000 | #Constraints: 41835
614.14/615.89 c #Conflicts: 422000 | #Constraints: 42835
614.14/615.89 c #Conflicts: 423000 | #Constraints: 43835
614.14/615.89 c #Conflicts: 424000 | #Constraints: 44835
614.14/615.89 c #Conflicts: 425000 | #Constraints: 45835
614.14/615.89 c #Conflicts: 426000 | #Constraints: 46835
614.14/615.89 c #Conflicts: 427000 | #Constraints: 47835
614.14/615.89 c #Conflicts: 428000 | #Constraints: 48835
692.04/693.92 c #Conflicts: 429000 | #Constraints: 49835
692.04/693.92 c #Conflicts: 430000 | #Constraints: 50835
692.04/693.92 c #Conflicts: 431000 | #Constraints: 51835
692.04/693.92 c #Conflicts: 432000 | #Constraints: 52835
692.04/693.92 c #Conflicts: 433000 | #Constraints: 53835
692.04/693.92 c INPROCESSING
692.04/693.92 c GARBAGE COLLECT
692.04/693.92 c #Conflicts: 434000 | #Constraints: 41824
692.04/693.92 c #Conflicts: 435000 | #Constraints: 42824
692.04/693.92 c #Conflicts: 436000 | #Constraints: 43824
692.04/693.92 c #Conflicts: 437000 | #Constraints: 44824
692.04/693.92 c #Conflicts: 438000 | #Constraints: 45824
692.04/693.92 c #Conflicts: 439000 | #Constraints: 46824
692.04/693.92 c #Conflicts: 440000 | #Constraints: 47824
692.04/693.92 c #Conflicts: 441000 | #Constraints: 48824
692.04/693.92 c #Conflicts: 442000 | #Constraints: 49824
692.04/693.92 c #Conflicts: 443000 | #Constraints: 50824
692.04/693.92 c #Conflicts: 444000 | #Constraints: 51824
692.04/693.92 c #Conflicts: 445000 | #Constraints: 52824
692.04/693.92 c #Conflicts: 446000 | #Constraints: 53824
692.04/693.92 c INPROCESSING
692.04/693.92 c GARBAGE COLLECT
692.04/693.92 c #Conflicts: 447000 | #Constraints: 41641
692.04/693.92 c #Conflicts: 448000 | #Constraints: 42641
692.04/693.92 c #Conflicts: 449000 | #Constraints: 43641
692.04/693.92 c #Conflicts: 450000 | #Constraints: 44641
692.04/693.92 c #Conflicts: 451000 | #Constraints: 45641
692.04/693.92 c #Conflicts: 452000 | #Constraints: 46641
692.04/693.92 c #Conflicts: 453000 | #Constraints: 47641
692.04/693.92 c #Conflicts: 454000 | #Constraints: 48641
692.04/693.92 c #Conflicts: 455000 | #Constraints: 49641
692.04/693.92 c #Conflicts: 456000 | #Constraints: 50641
692.04/693.92 c #Conflicts: 457000 | #Constraints: 51641
692.04/693.92 c #Conflicts: 458000 | #Constraints: 52641
692.04/693.92 c #Conflicts: 459000 | #Constraints: 53641
692.04/693.92 c #Conflicts: 460000 | #Constraints: 54641
692.04/693.92 c INPROCESSING
692.04/693.92 c GARBAGE COLLECT
692.04/693.92 c #Conflicts: 461000 | #Constraints: 42232
692.04/693.92 c #Conflicts: 462000 | #Constraints: 43232
692.04/693.92 c #Conflicts: 463000 | #Constraints: 44232
692.04/693.92 c #Conflicts: 464000 | #Constraints: 45232
692.04/693.92 c #Conflicts: 465000 | #Constraints: 46232
692.04/693.92 c #Conflicts: 466000 | #Constraints: 47232
692.04/693.92 c #Conflicts: 467000 | #Constraints: 48232
692.04/693.92 c #Conflicts: 468000 | #Constraints: 49232
692.04/693.92 c #Conflicts: 469000 | #Constraints: 50232
692.04/693.92 c #Conflicts: 470000 | #Constraints: 51232
692.04/693.92 c #Conflicts: 471000 | #Constraints: 52232
692.04/693.92 c #Conflicts: 472000 | #Constraints: 53232
692.04/693.92 c #Conflicts: 473000 | #Constraints: 54232
692.04/693.92 c #Conflicts: 474000 | #Constraints: 55232
692.04/693.92 c INPROCESSING
692.04/693.92 c GARBAGE COLLECT
692.04/693.92 c #Conflicts: 475000 | #Constraints: 42616
692.04/693.92 c #Conflicts: 476000 | #Constraints: 43616
692.04/693.92 c #Conflicts: 477000 | #Constraints: 44616
692.04/693.92 c #Conflicts: 478000 | #Constraints: 45616
692.04/693.92 c #Conflicts: 479000 | #Constraints: 46616
692.04/693.92 c #Conflicts: 480000 | #Constraints: 47616
692.04/693.92 c #Conflicts: 481000 | #Constraints: 48616
692.04/693.92 c #Conflicts: 482000 | #Constraints: 49616
692.04/693.92 c #Conflicts: 483000 | #Constraints: 50616
692.04/693.92 c #Conflicts: 484000 | #Constraints: 51616
692.04/693.92 c #Conflicts: 485000 | #Constraints: 52616
692.04/693.92 c #Conflicts: 486000 | #Constraints: 53616
692.04/693.92 c #Conflicts: 487000 | #Constraints: 54616
692.04/693.92 c #Conflicts: 488000 | #Constraints: 55616
692.04/693.92 c INPROCESSING
692.04/693.92 c GARBAGE COLLECT
692.04/693.92 c #Conflicts: 489000 | #Constraints: 42823
692.04/693.92 c #Conflicts: 490000 | #Constraints: 43823
692.04/693.92 c #Conflicts: 491000 | #Constraints: 44823
692.04/693.92 c #Conflicts: 492000 | #Constraints: 45823
692.04/693.92 c #Conflicts: 493000 | #Constraints: 46823
692.04/693.92 c #Conflicts: 494000 | #Constraints: 47823
692.04/693.92 c #Conflicts: 495000 | #Constraints: 48823
692.04/693.92 c #Conflicts: 496000 | #Constraints: 49823
692.04/693.92 c #Conflicts: 497000 | #Constraints: 50823
692.04/693.92 c #Conflicts: 498000 | #Constraints: 51823
692.04/693.92 c #Conflicts: 499000 | #Constraints: 52823
692.04/693.92 c #Conflicts: 500000 | #Constraints: 53823
692.04/693.92 c #Conflicts: 501000 | #Constraints: 54823
692.04/693.92 c #Conflicts: 502000 | #Constraints: 55823
692.04/693.92 c INPROCESSING
692.04/693.92 c GARBAGE COLLECT
692.04/693.92 c #Conflicts: 503000 | #Constraints: 42813
785.51/787.68 c #Conflicts: 504000 | #Constraints: 43813
785.51/787.68 c #Conflicts: 505000 | #Constraints: 44813
785.51/787.68 c #Conflicts: 506000 | #Constraints: 45813
785.51/787.68 c #Conflicts: 507000 | #Constraints: 46813
785.51/787.68 c #Conflicts: 508000 | #Constraints: 47813
785.51/787.68 c #Conflicts: 509000 | #Constraints: 48813
785.51/787.68 c #Conflicts: 510000 | #Constraints: 49813
785.51/787.68 c #Conflicts: 511000 | #Constraints: 50813
785.51/787.68 c #Conflicts: 512000 | #Constraints: 51813
785.51/787.68 c #Conflicts: 513000 | #Constraints: 52813
785.51/787.68 c #Conflicts: 514000 | #Constraints: 53813
785.51/787.68 c #Conflicts: 515000 | #Constraints: 54813
785.51/787.68 c #Conflicts: 516000 | #Constraints: 55813
785.51/787.68 c INPROCESSING
785.51/787.68 c GARBAGE COLLECT
785.51/787.68 c #Conflicts: 517000 | #Constraints: 42623
785.51/787.68 c #Conflicts: 518000 | #Constraints: 43623
785.51/787.68 c #Conflicts: 519000 | #Constraints: 44623
785.51/787.68 c #Conflicts: 520000 | #Constraints: 45623
785.51/787.68 c #Conflicts: 521000 | #Constraints: 46623
785.51/787.68 c #Conflicts: 522000 | #Constraints: 47623
785.51/787.68 c #Conflicts: 523000 | #Constraints: 48623
785.51/787.68 c #Conflicts: 524000 | #Constraints: 49623
785.51/787.68 c #Conflicts: 525000 | #Constraints: 50623
785.51/787.68 c #Conflicts: 526000 | #Constraints: 51623
785.51/787.68 c #Conflicts: 527000 | #Constraints: 52623
785.51/787.68 c #Conflicts: 528000 | #Constraints: 53623
785.51/787.68 c #Conflicts: 529000 | #Constraints: 54623
785.51/787.68 c #Conflicts: 530000 | #Constraints: 55623
785.51/787.68 c #Conflicts: 531000 | #Constraints: 56623
785.51/787.68 c INPROCESSING
785.51/787.68 c GARBAGE COLLECT
785.51/787.68 c #Conflicts: 532000 | #Constraints: 43229
785.51/787.68 c #Conflicts: 533000 | #Constraints: 44229
785.51/787.68 c #Conflicts: 534000 | #Constraints: 45229
785.51/787.68 c #Conflicts: 535000 | #Constraints: 46229
785.51/787.68 c #Conflicts: 536000 | #Constraints: 47229
785.51/787.68 c #Conflicts: 537000 | #Constraints: 48229
785.51/787.68 c #Conflicts: 538000 | #Constraints: 49229
785.51/787.68 c #Conflicts: 539000 | #Constraints: 50229
785.51/787.68 c #Conflicts: 540000 | #Constraints: 51229
785.51/787.68 c #Conflicts: 541000 | #Constraints: 52229
785.51/787.68 c #Conflicts: 542000 | #Constraints: 53229
785.51/787.68 c #Conflicts: 543000 | #Constraints: 54229
785.51/787.68 c #Conflicts: 544000 | #Constraints: 55229
785.51/787.68 c #Conflicts: 545000 | #Constraints: 56229
785.51/787.68 c #Conflicts: 546000 | #Constraints: 57229
785.51/787.68 c INPROCESSING
785.51/787.68 c GARBAGE COLLECT
785.51/787.68 c #Conflicts: 547000 | #Constraints: 43621
785.51/787.68 c #Conflicts: 548000 | #Constraints: 44621
785.51/787.68 c #Conflicts: 549000 | #Constraints: 45621
785.51/787.68 c #Conflicts: 550000 | #Constraints: 46621
785.51/787.68 c #Conflicts: 551000 | #Constraints: 47621
785.51/787.68 c #Conflicts: 552000 | #Constraints: 48621
785.51/787.68 c #Conflicts: 553000 | #Constraints: 49621
785.51/787.68 c #Conflicts: 554000 | #Constraints: 50621
785.51/787.68 c #Conflicts: 555000 | #Constraints: 51621
785.51/787.68 c #Conflicts: 556000 | #Constraints: 52621
785.51/787.68 c #Conflicts: 557000 | #Constraints: 53621
785.51/787.68 c #Conflicts: 558000 | #Constraints: 54621
785.51/787.68 c #Conflicts: 559000 | #Constraints: 55621
785.51/787.68 c #Conflicts: 560000 | #Constraints: 56621
785.51/787.68 c #Conflicts: 561000 | #Constraints: 57621
785.51/787.68 c INPROCESSING
785.51/787.68 c GARBAGE COLLECT
785.51/787.68 c #Conflicts: 562000 | #Constraints: 43839
785.51/787.68 c #Conflicts: 563000 | #Constraints: 44839
785.51/787.68 c #Conflicts: 564000 | #Constraints: 45839
785.51/787.68 c #Conflicts: 565000 | #Constraints: 46839
785.51/787.68 c #Conflicts: 566000 | #Constraints: 47839
785.51/787.68 c #Conflicts: 567000 | #Constraints: 48839
785.51/787.68 c #Conflicts: 568000 | #Constraints: 49839
785.51/787.68 c #Conflicts: 569000 | #Constraints: 50839
785.51/787.68 c #Conflicts: 570000 | #Constraints: 51839
785.51/787.68 c #Conflicts: 571000 | #Constraints: 52839
785.51/787.68 c #Conflicts: 572000 | #Constraints: 53839
785.51/787.68 c #Conflicts: 573000 | #Constraints: 54839
785.51/787.68 c #Conflicts: 574000 | #Constraints: 55839
785.51/787.68 c #Conflicts: 575000 | #Constraints: 56839
785.51/787.68 c #Conflicts: 576000 | #Constraints: 57839
785.51/787.68 c INPROCESSING
785.51/787.68 c GARBAGE COLLECT
785.51/787.68 c #Conflicts: 577000 | #Constraints: 43825
785.51/787.68 c #Conflicts: 578000 | #Constraints: 44825
785.51/787.68 c #Conflicts: 579000 | #Constraints: 45825
884.56/886.92 c #Conflicts: 580000 | #Constraints: 46825
884.56/886.92 c #Conflicts: 581000 | #Constraints: 47825
884.56/886.92 c #Conflicts: 582000 | #Constraints: 48825
884.56/886.92 c #Conflicts: 583000 | #Constraints: 49825
884.56/886.92 c #Conflicts: 584000 | #Constraints: 50825
884.56/886.92 c #Conflicts: 585000 | #Constraints: 51825
884.56/886.92 c #Conflicts: 586000 | #Constraints: 52825
884.56/886.92 c #Conflicts: 587000 | #Constraints: 53825
884.56/886.92 c #Conflicts: 588000 | #Constraints: 54825
884.56/886.92 c #Conflicts: 589000 | #Constraints: 55825
884.56/886.92 c #Conflicts: 590000 | #Constraints: 56825
884.56/886.92 c #Conflicts: 591000 | #Constraints: 57825
884.56/886.92 c INPROCESSING
884.56/886.92 c GARBAGE COLLECT
884.56/886.92 c #Conflicts: 592000 | #Constraints: 43624
884.56/886.92 c #Conflicts: 593000 | #Constraints: 44624
884.56/886.92 c #Conflicts: 594000 | #Constraints: 45624
884.56/886.92 c #Conflicts: 595000 | #Constraints: 46624
884.56/886.92 c #Conflicts: 596000 | #Constraints: 47624
884.56/886.92 c #Conflicts: 597000 | #Constraints: 48624
884.56/886.92 c #Conflicts: 598000 | #Constraints: 49624
884.56/886.92 c #Conflicts: 599000 | #Constraints: 50624
884.56/886.92 c #Conflicts: 600000 | #Constraints: 51624
884.56/886.92 c #Conflicts: 601000 | #Constraints: 52624
884.56/886.92 c #Conflicts: 602000 | #Constraints: 53624
884.56/886.92 c #Conflicts: 603000 | #Constraints: 54624
884.56/886.92 c #Conflicts: 604000 | #Constraints: 55624
884.56/886.92 c #Conflicts: 605000 | #Constraints: 56624
884.56/886.92 c #Conflicts: 606000 | #Constraints: 57624
884.56/886.92 c #Conflicts: 607000 | #Constraints: 58624
884.56/886.92 c INPROCESSING
884.56/886.92 c GARBAGE COLLECT
884.56/886.92 c #Conflicts: 608000 | #Constraints: 44214
884.56/886.92 c #Conflicts: 609000 | #Constraints: 45214
884.56/886.92 c #Conflicts: 610000 | #Constraints: 46214
884.56/886.92 c #Conflicts: 611000 | #Constraints: 47214
884.56/886.92 c #Conflicts: 612000 | #Constraints: 48214
884.56/886.92 c #Conflicts: 613000 | #Constraints: 49214
884.56/886.92 c #Conflicts: 614000 | #Constraints: 50214
884.56/886.92 c #Conflicts: 615000 | #Constraints: 51214
884.56/886.92 c #Conflicts: 616000 | #Constraints: 52214
884.56/886.92 c #Conflicts: 617000 | #Constraints: 53214
884.56/886.92 c #Conflicts: 618000 | #Constraints: 54214
884.56/886.92 c #Conflicts: 619000 | #Constraints: 55214
884.56/886.92 c #Conflicts: 620000 | #Constraints: 56214
884.56/886.92 c #Conflicts: 621000 | #Constraints: 57214
884.56/886.92 c #Conflicts: 622000 | #Constraints: 58214
884.56/886.92 c #Conflicts: 623000 | #Constraints: 59214
884.56/886.92 c INPROCESSING
884.56/886.92 c GARBAGE COLLECT
884.56/886.92 c #Conflicts: 624000 | #Constraints: 44619
884.56/886.92 c #Conflicts: 625000 | #Constraints: 45619
884.56/886.92 c #Conflicts: 626000 | #Constraints: 46619
884.56/886.92 c #Conflicts: 627000 | #Constraints: 47619
884.56/886.92 c #Conflicts: 628000 | #Constraints: 48619
884.56/886.92 c #Conflicts: 629000 | #Constraints: 49619
884.56/886.92 c #Conflicts: 630000 | #Constraints: 50619
884.56/886.92 c #Conflicts: 631000 | #Constraints: 51619
884.56/886.92 c #Conflicts: 632000 | #Constraints: 52619
884.56/886.92 c #Conflicts: 633000 | #Constraints: 53619
884.56/886.92 c #Conflicts: 634000 | #Constraints: 54619
884.56/886.92 c #Conflicts: 635000 | #Constraints: 55619
884.56/886.92 c #Conflicts: 636000 | #Constraints: 56619
884.56/886.92 c #Conflicts: 637000 | #Constraints: 57619
884.56/886.92 c #Conflicts: 638000 | #Constraints: 58619
884.56/886.92 c #Conflicts: 639000 | #Constraints: 59619
884.56/886.92 c INPROCESSING
884.56/886.92 c GARBAGE COLLECT
884.56/886.92 c #Conflicts: 640000 | #Constraints: 44830
884.56/886.92 c #Conflicts: 641000 | #Constraints: 45830
884.56/886.92 c #Conflicts: 642000 | #Constraints: 46830
884.56/886.92 c #Conflicts: 643000 | #Constraints: 47830
884.56/886.92 c #Conflicts: 644000 | #Constraints: 48830
884.56/886.92 c #Conflicts: 645000 | #Constraints: 49830
884.56/886.92 c #Conflicts: 646000 | #Constraints: 50830
884.56/886.92 c #Conflicts: 647000 | #Constraints: 51830
884.56/886.92 c #Conflicts: 648000 | #Constraints: 52830
884.56/886.92 c #Conflicts: 649000 | #Constraints: 53830
884.56/886.92 c #Conflicts: 650000 | #Constraints: 54830
884.56/886.92 c #Conflicts: 651000 | #Constraints: 55830
884.56/886.92 c #Conflicts: 652000 | #Constraints: 56830
884.56/886.92 c #Conflicts: 653000 | #Constraints: 57830
884.56/886.92 c #Conflicts: 654000 | #Constraints: 58830
884.56/886.92 c #Conflicts: 655000 | #Constraints: 59830
986.61/989.23 c INPROCESSING
986.61/989.23 c GARBAGE COLLECT
986.61/989.23 c #Conflicts: 656000 | #Constraints: 44824
986.61/989.23 c #Conflicts: 657000 | #Constraints: 45824
986.61/989.23 c #Conflicts: 658000 | #Constraints: 46824
986.61/989.23 c #Conflicts: 659000 | #Constraints: 47824
986.61/989.23 c #Conflicts: 660000 | #Constraints: 48824
986.61/989.23 c #Conflicts: 661000 | #Constraints: 49824
986.61/989.23 c #Conflicts: 662000 | #Constraints: 50824
986.61/989.23 c #Conflicts: 663000 | #Constraints: 51824
986.61/989.23 c #Conflicts: 664000 | #Constraints: 52824
986.61/989.23 c #Conflicts: 665000 | #Constraints: 53824
986.61/989.23 c #Conflicts: 666000 | #Constraints: 54824
986.61/989.23 c #Conflicts: 667000 | #Constraints: 55824
986.61/989.23 c #Conflicts: 668000 | #Constraints: 56824
986.61/989.23 c #Conflicts: 669000 | #Constraints: 57824
986.61/989.23 c #Conflicts: 670000 | #Constraints: 58824
986.61/989.23 c #Conflicts: 671000 | #Constraints: 59824
986.61/989.23 c INPROCESSING
986.61/989.23 c GARBAGE COLLECT
986.61/989.23 c #Conflicts: 672000 | #Constraints: 44645
986.61/989.23 c #Conflicts: 673000 | #Constraints: 45645
986.61/989.23 c #Conflicts: 674000 | #Constraints: 46645
986.61/989.23 c #Conflicts: 675000 | #Constraints: 47645
986.61/989.23 c #Conflicts: 676000 | #Constraints: 48645
986.61/989.23 c #Conflicts: 677000 | #Constraints: 49645
986.61/989.23 c #Conflicts: 678000 | #Constraints: 50645
986.61/989.23 c #Conflicts: 679000 | #Constraints: 51645
986.61/989.23 c #Conflicts: 680000 | #Constraints: 52645
986.61/989.23 c #Conflicts: 681000 | #Constraints: 53645
986.61/989.23 c #Conflicts: 682000 | #Constraints: 54645
986.61/989.23 c #Conflicts: 683000 | #Constraints: 55645
986.61/989.23 c #Conflicts: 684000 | #Constraints: 56645
986.61/989.23 c #Conflicts: 685000 | #Constraints: 57645
986.61/989.23 c #Conflicts: 686000 | #Constraints: 58645
986.61/989.23 c #Conflicts: 687000 | #Constraints: 59645
986.61/989.23 c #Conflicts: 688000 | #Constraints: 60645
986.61/989.23 c INPROCESSING
986.61/989.23 c GARBAGE COLLECT
986.61/989.23 c #Conflicts: 689000 | #Constraints: 45247
986.61/989.23 c #Conflicts: 690000 | #Constraints: 46247
986.61/989.23 c #Conflicts: 691000 | #Constraints: 47247
986.61/989.23 c #Conflicts: 692000 | #Constraints: 48247
986.61/989.23 c #Conflicts: 693000 | #Constraints: 49247
986.61/989.23 c #Conflicts: 694000 | #Constraints: 50247
986.61/989.23 c #Conflicts: 695000 | #Constraints: 51247
986.61/989.23 c #Conflicts: 696000 | #Constraints: 52247
986.61/989.23 c #Conflicts: 697000 | #Constraints: 53247
986.61/989.23 c #Conflicts: 698000 | #Constraints: 54247
986.61/989.23 c #Conflicts: 699000 | #Constraints: 55247
986.61/989.23 c #Conflicts: 700000 | #Constraints: 56247
986.61/989.23 c #Conflicts: 701000 | #Constraints: 57247
986.61/989.23 c #Conflicts: 702000 | #Constraints: 58247
986.61/989.23 c #Conflicts: 703000 | #Constraints: 59247
986.61/989.23 c #Conflicts: 704000 | #Constraints: 60247
986.61/989.23 c #Conflicts: 705000 | #Constraints: 61247
986.61/989.23 c INPROCESSING
986.61/989.23 c GARBAGE COLLECT
986.61/989.23 c #Conflicts: 706000 | #Constraints: 45637
986.61/989.23 c #Conflicts: 707000 | #Constraints: 46637
986.61/989.23 c #Conflicts: 708000 | #Constraints: 47637
986.61/989.23 c #Conflicts: 709000 | #Constraints: 48637
986.61/989.23 c #Conflicts: 710000 | #Constraints: 49637
986.61/989.23 c #Conflicts: 711000 | #Constraints: 50637
986.61/989.23 c #Conflicts: 712000 | #Constraints: 51637
986.61/989.23 c #Conflicts: 713000 | #Constraints: 52637
986.61/989.23 c #Conflicts: 714000 | #Constraints: 53637
986.61/989.23 c #Conflicts: 715000 | #Constraints: 54637
986.61/989.23 c #Conflicts: 716000 | #Constraints: 55637
986.61/989.23 c #Conflicts: 717000 | #Constraints: 56637
986.61/989.23 c #Conflicts: 718000 | #Constraints: 57637
986.61/989.23 c #Conflicts: 719000 | #Constraints: 58637
986.61/989.23 c #Conflicts: 720000 | #Constraints: 59637
986.61/989.23 c #Conflicts: 721000 | #Constraints: 60637
986.61/989.23 c #Conflicts: 722000 | #Constraints: 61637
986.61/989.23 c INPROCESSING
986.61/989.23 c GARBAGE COLLECT
986.61/989.23 c #Conflicts: 723000 | #Constraints: 45830
986.61/989.23 c #Conflicts: 724000 | #Constraints: 46830
986.61/989.23 c #Conflicts: 725000 | #Constraints: 47830
986.61/989.23 c #Conflicts: 726000 | #Constraints: 48830
986.61/989.23 c #Conflicts: 727000 | #Constraints: 49830
986.61/989.23 c #Conflicts: 728000 | #Constraints: 50830
986.61/989.23 c #Conflicts: 729000 | #Constraints: 51830
986.61/989.23 c #Conflicts: 730000 | #Constraints: 52830
1115.78/1118.77 c #Conflicts: 731000 | #Constraints: 53830
1115.78/1118.77 c #Conflicts: 732000 | #Constraints: 54830
1115.78/1118.77 c #Conflicts: 733000 | #Constraints: 55830
1115.78/1118.77 c #Conflicts: 734000 | #Constraints: 56830
1115.78/1118.77 c #Conflicts: 735000 | #Constraints: 57830
1115.78/1118.77 c #Conflicts: 736000 | #Constraints: 58830
1115.78/1118.77 c #Conflicts: 737000 | #Constraints: 59830
1115.78/1118.77 c #Conflicts: 738000 | #Constraints: 60830
1115.78/1118.77 c #Conflicts: 739000 | #Constraints: 61830
1115.78/1118.77 c INPROCESSING
1115.78/1118.77 c GARBAGE COLLECT
1115.78/1118.77 c #Conflicts: 740000 | #Constraints: 45835
1115.78/1118.77 c #Conflicts: 741000 | #Constraints: 46835
1115.78/1118.77 c #Conflicts: 742000 | #Constraints: 47835
1115.78/1118.77 c #Conflicts: 743000 | #Constraints: 48835
1115.78/1118.77 c #Conflicts: 744000 | #Constraints: 49835
1115.78/1118.77 c #Conflicts: 745000 | #Constraints: 50835
1115.78/1118.77 c #Conflicts: 746000 | #Constraints: 51835
1115.78/1118.77 c #Conflicts: 747000 | #Constraints: 52835
1115.78/1118.77 c #Conflicts: 748000 | #Constraints: 53835
1115.78/1118.77 c #Conflicts: 749000 | #Constraints: 54835
1115.78/1118.77 c #Conflicts: 750000 | #Constraints: 55835
1115.78/1118.77 c #Conflicts: 751000 | #Constraints: 56835
1115.78/1118.77 c #Conflicts: 752000 | #Constraints: 57835
1115.78/1118.77 c #Conflicts: 753000 | #Constraints: 58835
1115.78/1118.77 c #Conflicts: 754000 | #Constraints: 59835
1115.78/1118.77 c #Conflicts: 755000 | #Constraints: 60835
1115.78/1118.77 c #Conflicts: 756000 | #Constraints: 61835
1115.78/1118.77 c INPROCESSING
1115.78/1118.77 c GARBAGE COLLECT
1115.78/1118.77 c #Conflicts: 757000 | #Constraints: 45616
1115.78/1118.77 c #Conflicts: 758000 | #Constraints: 46616
1115.78/1118.77 c #Conflicts: 759000 | #Constraints: 47616
1115.78/1118.77 c #Conflicts: 760000 | #Constraints: 48616
1115.78/1118.77 c #Conflicts: 761000 | #Constraints: 49616
1115.78/1118.77 c #Conflicts: 762000 | #Constraints: 50616
1115.78/1118.77 c #Conflicts: 763000 | #Constraints: 51616
1115.78/1118.77 c #Conflicts: 764000 | #Constraints: 52616
1115.78/1118.77 c #Conflicts: 765000 | #Constraints: 53616
1115.78/1118.77 c #Conflicts: 766000 | #Constraints: 54616
1115.78/1118.77 c #Conflicts: 767000 | #Constraints: 55616
1115.78/1118.77 c #Conflicts: 768000 | #Constraints: 56616
1115.78/1118.77 c #Conflicts: 769000 | #Constraints: 57616
1115.78/1118.77 c #Conflicts: 770000 | #Constraints: 58616
1115.78/1118.77 c #Conflicts: 771000 | #Constraints: 59616
1115.78/1118.77 c #Conflicts: 772000 | #Constraints: 60616
1115.78/1118.77 c #Conflicts: 773000 | #Constraints: 61616
1115.78/1118.77 c #Conflicts: 774000 | #Constraints: 62616
1115.78/1118.77 c INPROCESSING
1115.78/1118.77 c GARBAGE COLLECT
1115.78/1118.77 c #Conflicts: 775000 | #Constraints: 46236
1115.78/1118.77 c #Conflicts: 776000 | #Constraints: 47236
1115.78/1118.77 c #Conflicts: 777000 | #Constraints: 48236
1115.78/1118.77 c #Conflicts: 778000 | #Constraints: 49236
1115.78/1118.77 c #Conflicts: 779000 | #Constraints: 50236
1115.78/1118.77 c #Conflicts: 780000 | #Constraints: 51236
1115.78/1118.77 c #Conflicts: 781000 | #Constraints: 52236
1115.78/1118.77 c #Conflicts: 782000 | #Constraints: 53236
1115.78/1118.77 c #Conflicts: 783000 | #Constraints: 54236
1115.78/1118.77 c #Conflicts: 784000 | #Constraints: 55236
1115.78/1118.77 c #Conflicts: 785000 | #Constraints: 56236
1115.78/1118.77 c #Conflicts: 786000 | #Constraints: 57236
1115.78/1118.77 c #Conflicts: 787000 | #Constraints: 58236
1115.78/1118.77 c #Conflicts: 788000 | #Constraints: 59236
1115.78/1118.77 c #Conflicts: 789000 | #Constraints: 60236
1115.78/1118.77 c #Conflicts: 790000 | #Constraints: 61236
1115.78/1118.77 c #Conflicts: 791000 | #Constraints: 62236
1115.78/1118.77 c #Conflicts: 792000 | #Constraints: 63236
1115.78/1118.77 c INPROCESSING
1115.78/1118.77 c GARBAGE COLLECT
1115.78/1118.77 c #Conflicts: 793000 | #Constraints: 46642
1115.78/1118.77 c #Conflicts: 794000 | #Constraints: 47642
1115.78/1118.77 c #Conflicts: 795000 | #Constraints: 48642
1115.78/1118.77 c #Conflicts: 796000 | #Constraints: 49642
1115.78/1118.77 c #Conflicts: 797000 | #Constraints: 50642
1115.78/1118.77 c #Conflicts: 798000 | #Constraints: 51642
1115.78/1118.77 c #Conflicts: 799000 | #Constraints: 52642
1115.78/1118.77 c #Conflicts: 800000 | #Constraints: 53642
1115.78/1118.77 c #Conflicts: 801000 | #Constraints: 54642
1115.78/1118.77 c #Conflicts: 802000 | #Constraints: 55642
1115.78/1118.77 c #Conflicts: 803000 | #Constraints: 56642
1115.78/1118.77 c #Conflicts: 804000 | #Constraints: 57642
1115.78/1118.77 c #Conflicts: 805000 | #Constraints: 58642
1115.78/1118.77 c #Conflicts: 806000 | #Constraints: 59642
1115.78/1118.77 c #Conflicts: 807000 | #Constraints: 60642
1255.43/1258.70 c #Conflicts: 808000 | #Constraints: 61642
1255.43/1258.70 c #Conflicts: 809000 | #Constraints: 62642
1255.43/1258.70 c #Conflicts: 810000 | #Constraints: 63642
1255.43/1258.70 c INPROCESSING
1255.43/1258.70 c GARBAGE COLLECT
1255.43/1258.70 c #Conflicts: 811000 | #Constraints: 46843
1255.43/1258.70 c #Conflicts: 812000 | #Constraints: 47843
1255.43/1258.70 c #Conflicts: 813000 | #Constraints: 48843
1255.43/1258.70 c #Conflicts: 814000 | #Constraints: 49843
1255.43/1258.70 c #Conflicts: 815000 | #Constraints: 50843
1255.43/1258.70 c #Conflicts: 816000 | #Constraints: 51843
1255.43/1258.70 c #Conflicts: 817000 | #Constraints: 52843
1255.43/1258.70 c #Conflicts: 818000 | #Constraints: 53843
1255.43/1258.70 c #Conflicts: 819000 | #Constraints: 54843
1255.43/1258.70 c #Conflicts: 820000 | #Constraints: 55843
1255.43/1258.70 c #Conflicts: 821000 | #Constraints: 56843
1255.43/1258.70 c #Conflicts: 822000 | #Constraints: 57843
1255.43/1258.70 c #Conflicts: 823000 | #Constraints: 58843
1255.43/1258.70 c #Conflicts: 824000 | #Constraints: 59843
1255.43/1258.70 c #Conflicts: 825000 | #Constraints: 60843
1255.43/1258.70 c #Conflicts: 826000 | #Constraints: 61843
1255.43/1258.70 c #Conflicts: 827000 | #Constraints: 62843
1255.43/1258.70 c #Conflicts: 828000 | #Constraints: 63843
1255.43/1258.70 c INPROCESSING
1255.43/1258.70 c GARBAGE COLLECT
1255.43/1258.70 c #Conflicts: 829000 | #Constraints: 46832
1255.43/1258.70 c #Conflicts: 830000 | #Constraints: 47832
1255.43/1258.70 c #Conflicts: 831000 | #Constraints: 48832
1255.43/1258.70 c #Conflicts: 832000 | #Constraints: 49832
1255.43/1258.70 c #Conflicts: 833000 | #Constraints: 50832
1255.43/1258.70 c #Conflicts: 834000 | #Constraints: 51832
1255.43/1258.70 c #Conflicts: 835000 | #Constraints: 52832
1255.43/1258.70 c #Conflicts: 836000 | #Constraints: 53832
1255.43/1258.70 c #Conflicts: 837000 | #Constraints: 54832
1255.43/1258.70 c #Conflicts: 838000 | #Constraints: 55832
1255.43/1258.70 c #Conflicts: 839000 | #Constraints: 56832
1255.43/1258.70 c #Conflicts: 840000 | #Constraints: 57832
1255.43/1258.70 c #Conflicts: 841000 | #Constraints: 58832
1255.43/1258.70 c #Conflicts: 842000 | #Constraints: 59832
1255.43/1258.70 c #Conflicts: 843000 | #Constraints: 60832
1255.43/1258.70 c #Conflicts: 844000 | #Constraints: 61832
1255.43/1258.70 c #Conflicts: 845000 | #Constraints: 62832
1255.43/1258.70 c #Conflicts: 846000 | #Constraints: 63832
1255.43/1258.70 c INPROCESSING
1255.43/1258.70 c GARBAGE COLLECT
1255.43/1258.70 c #Conflicts: 847000 | #Constraints: 46636
1255.43/1258.70 c #Conflicts: 848000 | #Constraints: 47636
1255.43/1258.70 c #Conflicts: 849000 | #Constraints: 48636
1255.43/1258.70 c #Conflicts: 850000 | #Constraints: 49636
1255.43/1258.70 c #Conflicts: 851000 | #Constraints: 50636
1255.43/1258.70 c #Conflicts: 852000 | #Constraints: 51636
1255.43/1258.70 c #Conflicts: 853000 | #Constraints: 52636
1255.43/1258.70 c #Conflicts: 854000 | #Constraints: 53636
1255.43/1258.70 c #Conflicts: 855000 | #Constraints: 54636
1255.43/1258.70 c #Conflicts: 856000 | #Constraints: 55636
1255.43/1258.70 c #Conflicts: 857000 | #Constraints: 56636
1255.43/1258.70 c #Conflicts: 858000 | #Constraints: 57636
1255.43/1258.70 c #Conflicts: 859000 | #Constraints: 58636
1255.43/1258.70 c #Conflicts: 860000 | #Constraints: 59636
1255.43/1258.70 c #Conflicts: 861000 | #Constraints: 60636
1255.43/1258.70 c #Conflicts: 862000 | #Constraints: 61636
1255.43/1258.70 c #Conflicts: 863000 | #Constraints: 62636
1255.43/1258.70 c #Conflicts: 864000 | #Constraints: 63636
1255.43/1258.70 c #Conflicts: 865000 | #Constraints: 64636
1255.43/1258.70 c INPROCESSING
1255.43/1258.70 c GARBAGE COLLECT
1255.43/1258.70 c #Conflicts: 866000 | #Constraints: 47236
1255.43/1258.70 c #Conflicts: 867000 | #Constraints: 48236
1255.43/1258.70 c #Conflicts: 868000 | #Constraints: 49236
1255.43/1258.70 c #Conflicts: 869000 | #Constraints: 50236
1255.43/1258.70 c #Conflicts: 870000 | #Constraints: 51236
1255.43/1258.70 c #Conflicts: 871000 | #Constraints: 52236
1255.43/1258.70 c #Conflicts: 872000 | #Constraints: 53236
1255.43/1258.70 c #Conflicts: 873000 | #Constraints: 54236
1255.43/1258.70 c #Conflicts: 874000 | #Constraints: 55236
1255.43/1258.70 c #Conflicts: 875000 | #Constraints: 56236
1255.43/1258.70 c #Conflicts: 876000 | #Constraints: 57236
1255.43/1258.70 c #Conflicts: 877000 | #Constraints: 58236
1255.43/1258.70 c #Conflicts: 878000 | #Constraints: 59236
1255.43/1258.70 c #Conflicts: 879000 | #Constraints: 60236
1255.43/1258.70 c #Conflicts: 880000 | #Constraints: 61236
1255.43/1258.70 c #Conflicts: 881000 | #Constraints: 62236
1255.43/1258.70 c #Conflicts: 882000 | #Constraints: 63236
1255.43/1258.70 c #Conflicts: 883000 | #Constraints: 64236
1395.79/1399.46 c #Conflicts: 884000 | #Constraints: 65236
1395.79/1399.46 c INPROCESSING
1395.79/1399.46 c GARBAGE COLLECT
1395.79/1399.46 c #Conflicts: 885000 | #Constraints: 47630
1395.79/1399.46 c #Conflicts: 886000 | #Constraints: 48630
1395.79/1399.46 c #Conflicts: 887000 | #Constraints: 49630
1395.79/1399.46 c #Conflicts: 888000 | #Constraints: 50630
1395.79/1399.46 c #Conflicts: 889000 | #Constraints: 51630
1395.79/1399.46 c #Conflicts: 890000 | #Constraints: 52630
1395.79/1399.46 c #Conflicts: 891000 | #Constraints: 53630
1395.79/1399.46 c #Conflicts: 892000 | #Constraints: 54630
1395.79/1399.46 c #Conflicts: 893000 | #Constraints: 55630
1395.79/1399.46 c #Conflicts: 894000 | #Constraints: 56630
1395.79/1399.46 c #Conflicts: 895000 | #Constraints: 57630
1395.79/1399.46 c #Conflicts: 896000 | #Constraints: 58630
1395.79/1399.46 c #Conflicts: 897000 | #Constraints: 59630
1395.79/1399.46 c #Conflicts: 898000 | #Constraints: 60630
1395.79/1399.46 c #Conflicts: 899000 | #Constraints: 61630
1395.79/1399.46 c #Conflicts: 900000 | #Constraints: 62630
1395.79/1399.46 c #Conflicts: 901000 | #Constraints: 63630
1395.79/1399.46 c #Conflicts: 902000 | #Constraints: 64630
1395.79/1399.46 c #Conflicts: 903000 | #Constraints: 65630
1395.79/1399.46 c INPROCESSING
1395.79/1399.46 c GARBAGE COLLECT
1395.79/1399.46 c #Conflicts: 904000 | #Constraints: 47840
1395.79/1399.46 c #Conflicts: 905000 | #Constraints: 48840
1395.79/1399.46 c #Conflicts: 906000 | #Constraints: 49840
1395.79/1399.46 c #Conflicts: 907000 | #Constraints: 50840
1395.79/1399.46 c #Conflicts: 908000 | #Constraints: 51840
1395.79/1399.46 c #Conflicts: 909000 | #Constraints: 52840
1395.79/1399.46 c #Conflicts: 910000 | #Constraints: 53840
1395.79/1399.46 c #Conflicts: 911000 | #Constraints: 54840
1395.79/1399.46 c #Conflicts: 912000 | #Constraints: 55840
1395.79/1399.46 c #Conflicts: 913000 | #Constraints: 56840
1395.79/1399.46 c #Conflicts: 914000 | #Constraints: 57840
1395.79/1399.46 c #Conflicts: 915000 | #Constraints: 58840
1395.79/1399.46 c #Conflicts: 916000 | #Constraints: 59840
1395.79/1399.46 c #Conflicts: 917000 | #Constraints: 60840
1395.79/1399.46 c #Conflicts: 918000 | #Constraints: 61840
1395.79/1399.46 c #Conflicts: 919000 | #Constraints: 62840
1395.79/1399.46 c #Conflicts: 920000 | #Constraints: 63840
1395.79/1399.46 c #Conflicts: 921000 | #Constraints: 64840
1395.79/1399.46 c #Conflicts: 922000 | #Constraints: 65840
1395.79/1399.46 c INPROCESSING
1395.79/1399.46 c GARBAGE COLLECT
1395.79/1399.46 c #Conflicts: 923000 | #Constraints: 47848
1395.79/1399.46 c #Conflicts: 924000 | #Constraints: 48848
1395.79/1399.46 c #Conflicts: 925000 | #Constraints: 49848
1395.79/1399.46 c #Conflicts: 926000 | #Constraints: 50848
1395.79/1399.46 c #Conflicts: 927000 | #Constraints: 51848
1395.79/1399.46 c #Conflicts: 928000 | #Constraints: 52848
1395.79/1399.46 c #Conflicts: 929000 | #Constraints: 53848
1395.79/1399.46 c #Conflicts: 930000 | #Constraints: 54848
1395.79/1399.46 c #Conflicts: 931000 | #Constraints: 55848
1395.79/1399.46 c #Conflicts: 932000 | #Constraints: 56848
1395.79/1399.46 c #Conflicts: 933000 | #Constraints: 57848
1395.79/1399.46 c #Conflicts: 934000 | #Constraints: 58848
1395.79/1399.46 c #Conflicts: 935000 | #Constraints: 59848
1395.79/1399.46 c #Conflicts: 936000 | #Constraints: 60848
1395.79/1399.46 c #Conflicts: 937000 | #Constraints: 61848
1395.79/1399.46 c #Conflicts: 938000 | #Constraints: 62848
1395.79/1399.46 c #Conflicts: 939000 | #Constraints: 63848
1395.79/1399.46 c #Conflicts: 940000 | #Constraints: 64848
1395.79/1399.46 c #Conflicts: 941000 | #Constraints: 65848
1395.79/1399.46 c INPROCESSING
1395.79/1399.46 c GARBAGE COLLECT
1395.79/1399.46 c #Conflicts: 942000 | #Constraints: 47639
1395.79/1399.46 c #Conflicts: 943000 | #Constraints: 48639
1395.79/1399.46 c #Conflicts: 944000 | #Constraints: 49639
1395.79/1399.46 c #Conflicts: 945000 | #Constraints: 50639
1395.79/1399.46 c #Conflicts: 946000 | #Constraints: 51639
1395.79/1399.46 c #Conflicts: 947000 | #Constraints: 52639
1395.79/1399.46 c #Conflicts: 948000 | #Constraints: 53639
1395.79/1399.46 c #Conflicts: 949000 | #Constraints: 54639
1395.79/1399.46 c #Conflicts: 950000 | #Constraints: 55639
1395.79/1399.46 c #Conflicts: 951000 | #Constraints: 56639
1395.79/1399.46 c #Conflicts: 952000 | #Constraints: 57639
1395.79/1399.46 c #Conflicts: 953000 | #Constraints: 58639
1395.79/1399.46 c #Conflicts: 954000 | #Constraints: 59639
1395.79/1399.46 c #Conflicts: 955000 | #Constraints: 60639
1395.79/1399.46 c #Conflicts: 956000 | #Constraints: 61639
1395.79/1399.46 c #Conflicts: 957000 | #Constraints: 62639
1395.79/1399.46 c #Conflicts: 958000 | #Constraints: 63639
1395.79/1399.46 c #Conflicts: 959000 | #Constraints: 64639
1533.23/1537.20 c #Conflicts: 960000 | #Constraints: 65639
1533.23/1537.20 c #Conflicts: 961000 | #Constraints: 66639
1533.23/1537.20 c INPROCESSING
1533.23/1537.20 c GARBAGE COLLECT
1533.23/1537.20 c #Conflicts: 962000 | #Constraints: 48242
1533.23/1537.20 c #Conflicts: 963000 | #Constraints: 49242
1533.23/1537.20 c #Conflicts: 964000 | #Constraints: 50242
1533.23/1537.20 c #Conflicts: 965000 | #Constraints: 51242
1533.23/1537.20 c #Conflicts: 966000 | #Constraints: 52242
1533.23/1537.20 c #Conflicts: 967000 | #Constraints: 53242
1533.23/1537.20 c #Conflicts: 968000 | #Constraints: 54242
1533.23/1537.20 c #Conflicts: 969000 | #Constraints: 55242
1533.23/1537.20 c #Conflicts: 970000 | #Constraints: 56242
1533.23/1537.20 c #Conflicts: 971000 | #Constraints: 57242
1533.23/1537.20 c #Conflicts: 972000 | #Constraints: 58242
1533.23/1537.20 c #Conflicts: 973000 | #Constraints: 59242
1533.23/1537.20 c #Conflicts: 974000 | #Constraints: 60242
1533.23/1537.20 c #Conflicts: 975000 | #Constraints: 61242
1533.23/1537.20 c #Conflicts: 976000 | #Constraints: 62242
1533.23/1537.20 c #Conflicts: 977000 | #Constraints: 63242
1533.23/1537.20 c #Conflicts: 978000 | #Constraints: 64242
1533.23/1537.20 c #Conflicts: 979000 | #Constraints: 65242
1533.23/1537.20 c #Conflicts: 980000 | #Constraints: 66242
1533.23/1537.20 c #Conflicts: 981000 | #Constraints: 67242
1533.23/1537.20 c INPROCESSING
1533.23/1537.20 c GARBAGE COLLECT
1533.23/1537.20 c #Conflicts: 982000 | #Constraints: 48633
1533.23/1537.20 c #Conflicts: 983000 | #Constraints: 49633
1533.23/1537.20 c #Conflicts: 984000 | #Constraints: 50633
1533.23/1537.20 c #Conflicts: 985000 | #Constraints: 51633
1533.23/1537.20 c #Conflicts: 986000 | #Constraints: 52633
1533.23/1537.20 c #Conflicts: 987000 | #Constraints: 53633
1533.23/1537.20 c #Conflicts: 988000 | #Constraints: 54633
1533.23/1537.20 c #Conflicts: 989000 | #Constraints: 55633
1533.23/1537.20 c #Conflicts: 990000 | #Constraints: 56633
1533.23/1537.20 c #Conflicts: 991000 | #Constraints: 57633
1533.23/1537.20 c #Conflicts: 992000 | #Constraints: 58633
1533.23/1537.20 c #Conflicts: 993000 | #Constraints: 59633
1533.23/1537.20 c #Conflicts: 994000 | #Constraints: 60633
1533.23/1537.20 c #Conflicts: 995000 | #Constraints: 61633
1533.23/1537.20 c #Conflicts: 996000 | #Constraints: 62633
1533.23/1537.20 c #Conflicts: 997000 | #Constraints: 63633
1533.23/1537.20 c #Conflicts: 998000 | #Constraints: 64633
1533.23/1537.20 c #Conflicts: 999000 | #Constraints: 65633
1533.23/1537.20 c #Conflicts: 1000000 | #Constraints: 66633
1533.23/1537.20 c #Conflicts: 1001000 | #Constraints: 67633
1533.23/1537.20 c INPROCESSING
1533.23/1537.20 c GARBAGE COLLECT
1533.23/1537.20 c #Conflicts: 1002000 | #Constraints: 48813
1533.23/1537.20 c #Conflicts: 1003000 | #Constraints: 49813
1533.23/1537.20 c #Conflicts: 1004000 | #Constraints: 50813
1533.23/1537.20 c #Conflicts: 1005000 | #Constraints: 51813
1533.23/1537.20 c #Conflicts: 1006000 | #Constraints: 52813
1533.23/1537.20 c #Conflicts: 1007000 | #Constraints: 53813
1533.23/1537.20 c #Conflicts: 1008000 | #Constraints: 54813
1533.23/1537.20 c #Conflicts: 1009000 | #Constraints: 55813
1533.23/1537.20 c #Conflicts: 1010000 | #Constraints: 56813
1533.23/1537.20 c #Conflicts: 1011000 | #Constraints: 57813
1533.23/1537.20 c #Conflicts: 1012000 | #Constraints: 58813
1533.23/1537.20 c #Conflicts: 1013000 | #Constraints: 59813
1533.23/1537.20 c #Conflicts: 1014000 | #Constraints: 60813
1533.23/1537.20 c #Conflicts: 1015000 | #Constraints: 61813
1533.23/1537.20 c #Conflicts: 1016000 | #Constraints: 62813
1533.23/1537.20 c #Conflicts: 1017000 | #Constraints: 63813
1533.23/1537.20 c #Conflicts: 1018000 | #Constraints: 64813
1533.23/1537.20 c #Conflicts: 1019000 | #Constraints: 65813
1533.23/1537.20 c #Conflicts: 1020000 | #Constraints: 66813
1533.23/1537.20 c #Conflicts: 1021000 | #Constraints: 67813
1533.23/1537.20 c INPROCESSING
1533.23/1537.20 c GARBAGE COLLECT
1533.23/1537.20 c #Conflicts: 1022000 | #Constraints: 48832
1533.23/1537.20 c #Conflicts: 1023000 | #Constraints: 49832
1533.23/1537.20 c #Conflicts: 1024000 | #Constraints: 50832
1533.23/1537.20 c #Conflicts: 1025000 | #Constraints: 51832
1533.23/1537.20 c #Conflicts: 1026000 | #Constraints: 52832
1533.23/1537.20 c #Conflicts: 1027000 | #Constraints: 53832
1533.23/1537.20 c #Conflicts: 1028000 | #Constraints: 54832
1533.23/1537.20 c #Conflicts: 1029000 | #Constraints: 55832
1533.23/1537.20 c #Conflicts: 1030000 | #Constraints: 56832
1533.23/1537.20 c #Conflicts: 1031000 | #Constraints: 57832
1533.23/1537.20 c #Conflicts: 1032000 | #Constraints: 58832
1533.23/1537.20 c #Conflicts: 1033000 | #Constraints: 59832
1533.23/1537.20 c #Conflicts: 1034000 | #Constraints: 60832
1533.23/1537.20 c #Conflicts: 1035000 | #Constraints: 61832
1681.45/1685.88 c #Conflicts: 1036000 | #Constraints: 62832
1681.45/1685.88 c #Conflicts: 1037000 | #Constraints: 63832
1681.45/1685.88 c #Conflicts: 1038000 | #Constraints: 64832
1681.45/1685.88 c #Conflicts: 1039000 | #Constraints: 65832
1681.45/1685.88 c #Conflicts: 1040000 | #Constraints: 66832
1681.45/1685.88 c #Conflicts: 1041000 | #Constraints: 67832
1681.45/1685.88 c INPROCESSING
1681.45/1685.88 c GARBAGE COLLECT
1681.45/1685.88 c #Conflicts: 1042000 | #Constraints: 48634
1681.45/1685.88 c #Conflicts: 1043000 | #Constraints: 49634
1681.45/1685.88 c #Conflicts: 1044000 | #Constraints: 50634
1681.45/1685.88 c #Conflicts: 1045000 | #Constraints: 51634
1681.45/1685.88 c #Conflicts: 1046000 | #Constraints: 52634
1681.45/1685.88 c #Conflicts: 1047000 | #Constraints: 53634
1681.45/1685.88 c #Conflicts: 1048000 | #Constraints: 54634
1681.45/1685.88 c #Conflicts: 1049000 | #Constraints: 55634
1681.45/1685.88 c #Conflicts: 1050000 | #Constraints: 56634
1681.45/1685.88 c #Conflicts: 1051000 | #Constraints: 57634
1681.45/1685.88 c #Conflicts: 1052000 | #Constraints: 58634
1681.45/1685.88 c #Conflicts: 1053000 | #Constraints: 59634
1681.45/1685.88 c #Conflicts: 1054000 | #Constraints: 60634
1681.45/1685.88 c #Conflicts: 1055000 | #Constraints: 61634
1681.45/1685.88 c #Conflicts: 1056000 | #Constraints: 62634
1681.45/1685.88 c #Conflicts: 1057000 | #Constraints: 63634
1681.45/1685.88 c #Conflicts: 1058000 | #Constraints: 64634
1681.45/1685.88 c #Conflicts: 1059000 | #Constraints: 65634
1681.45/1685.88 c #Conflicts: 1060000 | #Constraints: 66634
1681.45/1685.88 c #Conflicts: 1061000 | #Constraints: 67634
1681.45/1685.88 c #Conflicts: 1062000 | #Constraints: 68634
1681.45/1685.88 c INPROCESSING
1681.45/1685.88 c GARBAGE COLLECT
1681.45/1685.88 c #Conflicts: 1063000 | #Constraints: 49227
1681.45/1685.88 c #Conflicts: 1064000 | #Constraints: 50227
1681.45/1685.88 c #Conflicts: 1065000 | #Constraints: 51227
1681.45/1685.88 c #Conflicts: 1066000 | #Constraints: 52227
1681.45/1685.88 c #Conflicts: 1067000 | #Constraints: 53227
1681.45/1685.88 c #Conflicts: 1068000 | #Constraints: 54227
1681.45/1685.88 c #Conflicts: 1069000 | #Constraints: 55227
1681.45/1685.88 c #Conflicts: 1070000 | #Constraints: 56227
1681.45/1685.88 c #Conflicts: 1071000 | #Constraints: 57227
1681.45/1685.88 c #Conflicts: 1072000 | #Constraints: 58227
1681.45/1685.88 c #Conflicts: 1073000 | #Constraints: 59227
1681.45/1685.88 c #Conflicts: 1074000 | #Constraints: 60227
1681.45/1685.88 c #Conflicts: 1075000 | #Constraints: 61227
1681.45/1685.88 c #Conflicts: 1076000 | #Constraints: 62227
1681.45/1685.88 c #Conflicts: 1077000 | #Constraints: 63227
1681.45/1685.88 c #Conflicts: 1078000 | #Constraints: 64227
1681.45/1685.88 c #Conflicts: 1079000 | #Constraints: 65227
1681.45/1685.88 c #Conflicts: 1080000 | #Constraints: 66227
1681.45/1685.88 c #Conflicts: 1081000 | #Constraints: 67227
1681.45/1685.88 c #Conflicts: 1082000 | #Constraints: 68227
1681.45/1685.88 c #Conflicts: 1083000 | #Constraints: 69227
1681.45/1685.88 c INPROCESSING
1681.45/1685.88 c GARBAGE COLLECT
1681.45/1685.88 c #Conflicts: 1084000 | #Constraints: 49642
1681.45/1685.88 c #Conflicts: 1085000 | #Constraints: 50642
1681.45/1685.88 c #Conflicts: 1086000 | #Constraints: 51642
1681.45/1685.88 c #Conflicts: 1087000 | #Constraints: 52642
1681.45/1685.88 c #Conflicts: 1088000 | #Constraints: 53642
1681.45/1685.88 c #Conflicts: 1089000 | #Constraints: 54642
1681.45/1685.88 c #Conflicts: 1090000 | #Constraints: 55642
1681.45/1685.88 c #Conflicts: 1091000 | #Constraints: 56642
1681.45/1685.88 c #Conflicts: 1092000 | #Constraints: 57642
1681.45/1685.88 c #Conflicts: 1093000 | #Constraints: 58642
1681.45/1685.88 c #Conflicts: 1094000 | #Constraints: 59642
1681.45/1685.88 c #Conflicts: 1095000 | #Constraints: 60642
1681.45/1685.88 c #Conflicts: 1096000 | #Constraints: 61642
1681.45/1685.88 c #Conflicts: 1097000 | #Constraints: 62642
1681.45/1685.88 c #Conflicts: 1098000 | #Constraints: 63642
1681.45/1685.88 c #Conflicts: 1099000 | #Constraints: 64642
1681.45/1685.88 c #Conflicts: 1100000 | #Constraints: 65642
1681.45/1685.88 c #Conflicts: 1101000 | #Constraints: 66642
1681.45/1685.88 c #Conflicts: 1102000 | #Constraints: 67642
1681.45/1685.88 c #Conflicts: 1103000 | #Constraints: 68642
1681.45/1685.88 c #Conflicts: 1104000 | #Constraints: 69642
1681.45/1685.88 c INPROCESSING
1681.45/1685.88 c GARBAGE COLLECT
1681.45/1685.88 c #Conflicts: 1105000 | #Constraints: 49847
1681.45/1685.88 c #Conflicts: 1106000 | #Constraints: 50847
1681.45/1685.88 c #Conflicts: 1107000 | #Constraints: 51847
1681.45/1685.88 c #Conflicts: 1108000 | #Constraints: 52847
1681.45/1685.88 c #Conflicts: 1109000 | #Constraints: 53847
1681.45/1685.88 c #Conflicts: 1110000 | #Constraints: 54847
1681.45/1685.88 c #Conflicts: 1111000 | #Constraints: 55847
1681.45/1685.88 c #Conflicts: 1112000 | #Constraints: 56847
1864.38/1869.21 c #Conflicts: 1113000 | #Constraints: 57847
1864.38/1869.21 c #Conflicts: 1114000 | #Constraints: 58847
1864.38/1869.21 c #Conflicts: 1115000 | #Constraints: 59847
1864.38/1869.21 c #Conflicts: 1116000 | #Constraints: 60847
1864.38/1869.21 c #Conflicts: 1117000 | #Constraints: 61847
1864.38/1869.21 c #Conflicts: 1118000 | #Constraints: 62847
1864.38/1869.21 c #Conflicts: 1119000 | #Constraints: 63847
1864.38/1869.21 c #Conflicts: 1120000 | #Constraints: 64847
1864.38/1869.21 c #Conflicts: 1121000 | #Constraints: 65847
1864.38/1869.21 c #Conflicts: 1122000 | #Constraints: 66847
1864.38/1869.21 c #Conflicts: 1123000 | #Constraints: 67847
1864.38/1869.21 c #Conflicts: 1124000 | #Constraints: 68847
1864.38/1869.21 c #Conflicts: 1125000 | #Constraints: 69847
1864.38/1869.21 c INPROCESSING
1864.38/1869.21 c GARBAGE COLLECT
1864.38/1869.21 c #Conflicts: 1126000 | #Constraints: 49847
1864.38/1869.21 c #Conflicts: 1127000 | #Constraints: 50847
1864.38/1869.21 c #Conflicts: 1128000 | #Constraints: 51847
1864.38/1869.21 c #Conflicts: 1129000 | #Constraints: 52847
1864.38/1869.21 c #Conflicts: 1130000 | #Constraints: 53847
1864.38/1869.21 c #Conflicts: 1131000 | #Constraints: 54847
1864.38/1869.21 c #Conflicts: 1132000 | #Constraints: 55847
1864.38/1869.21 c #Conflicts: 1133000 | #Constraints: 56847
1864.38/1869.21 c #Conflicts: 1134000 | #Constraints: 57847
1864.38/1869.21 c #Conflicts: 1135000 | #Constraints: 58847
1864.38/1869.21 c #Conflicts: 1136000 | #Constraints: 59847
1864.38/1869.21 c #Conflicts: 1137000 | #Constraints: 60847
1864.38/1869.21 c #Conflicts: 1138000 | #Constraints: 61847
1864.38/1869.21 c #Conflicts: 1139000 | #Constraints: 62847
1864.38/1869.21 c #Conflicts: 1140000 | #Constraints: 63847
1864.38/1869.21 c #Conflicts: 1141000 | #Constraints: 64847
1864.38/1869.21 c #Conflicts: 1142000 | #Constraints: 65847
1864.38/1869.21 c #Conflicts: 1143000 | #Constraints: 66847
1864.38/1869.21 c #Conflicts: 1144000 | #Constraints: 67847
1864.38/1869.21 c #Conflicts: 1145000 | #Constraints: 68847
1864.38/1869.21 c #Conflicts: 1146000 | #Constraints: 69847
1864.38/1869.21 c INPROCESSING
1864.38/1869.21 c GARBAGE COLLECT
1864.38/1869.21 c #Conflicts: 1147000 | #Constraints: 49643
1864.38/1869.21 c #Conflicts: 1148000 | #Constraints: 50643
1864.38/1869.21 c #Conflicts: 1149000 | #Constraints: 51643
1864.38/1869.21 c #Conflicts: 1150000 | #Constraints: 52643
1864.38/1869.21 c #Conflicts: 1151000 | #Constraints: 53643
1864.38/1869.21 c #Conflicts: 1152000 | #Constraints: 54643
1864.38/1869.21 c #Conflicts: 1153000 | #Constraints: 55643
1864.38/1869.21 c #Conflicts: 1154000 | #Constraints: 56643
1864.38/1869.21 c #Conflicts: 1155000 | #Constraints: 57643
1864.38/1869.21 c #Conflicts: 1156000 | #Constraints: 58643
1864.38/1869.21 c #Conflicts: 1157000 | #Constraints: 59643
1864.38/1869.21 c #Conflicts: 1158000 | #Constraints: 60643
1864.38/1869.21 c #Conflicts: 1159000 | #Constraints: 61643
1864.38/1869.21 c #Conflicts: 1160000 | #Constraints: 62643
1864.38/1869.21 c #Conflicts: 1161000 | #Constraints: 63643
1864.38/1869.21 c #Conflicts: 1162000 | #Constraints: 64643
1864.38/1869.21 c #Conflicts: 1163000 | #Constraints: 65643
1864.38/1869.21 c #Conflicts: 1164000 | #Constraints: 66643
1864.38/1869.21 c #Conflicts: 1165000 | #Constraints: 67643
1864.38/1869.21 c #Conflicts: 1166000 | #Constraints: 68643
1864.38/1869.21 c #Conflicts: 1167000 | #Constraints: 69643
1864.38/1869.21 c #Conflicts: 1168000 | #Constraints: 70643
1864.38/1869.21 c INPROCESSING
1864.38/1869.21 c GARBAGE COLLECT
1864.38/1869.21 c #Conflicts: 1169000 | #Constraints: 50246
1864.38/1869.21 c #Conflicts: 1170000 | #Constraints: 51246
1864.38/1869.21 c #Conflicts: 1171000 | #Constraints: 52246
1864.38/1869.21 c #Conflicts: 1172000 | #Constraints: 53246
1864.38/1869.21 c #Conflicts: 1173000 | #Constraints: 54246
1864.38/1869.21 c #Conflicts: 1174000 | #Constraints: 55246
1864.38/1869.21 c #Conflicts: 1175000 | #Constraints: 56246
1864.38/1869.21 c #Conflicts: 1176000 | #Constraints: 57246
1864.38/1869.21 c #Conflicts: 1177000 | #Constraints: 58246
1864.38/1869.21 c #Conflicts: 1178000 | #Constraints: 59246
1864.38/1869.21 c #Conflicts: 1179000 | #Constraints: 60246
1864.38/1869.21 c #Conflicts: 1180000 | #Constraints: 61246
1864.38/1869.21 c #Conflicts: 1181000 | #Constraints: 62246
1864.38/1869.21 c #Conflicts: 1182000 | #Constraints: 63246
1864.38/1869.21 c #Conflicts: 1183000 | #Constraints: 64246
1864.38/1869.21 c #Conflicts: 1184000 | #Constraints: 65246
1864.38/1869.21 c #Conflicts: 1185000 | #Constraints: 66246
1864.38/1869.21 c #Conflicts: 1186000 | #Constraints: 67246
1864.38/1869.21 c #Conflicts: 1187000 | #Constraints: 68246
1864.38/1869.21 c #Conflicts: 1188000 | #Constraints: 69246
2038.54/2043.88 c #Conflicts: 1189000 | #Constraints: 70246
2038.54/2043.88 c #Conflicts: 1190000 | #Constraints: 71246
2038.54/2043.88 c INPROCESSING
2038.54/2043.88 c GARBAGE COLLECT
2038.54/2043.88 c #Conflicts: 1191000 | #Constraints: 50632
2038.54/2043.88 c #Conflicts: 1192000 | #Constraints: 51632
2038.54/2043.88 c #Conflicts: 1193000 | #Constraints: 52632
2038.54/2043.88 c #Conflicts: 1194000 | #Constraints: 53632
2038.54/2043.88 c #Conflicts: 1195000 | #Constraints: 54632
2038.54/2043.88 c #Conflicts: 1196000 | #Constraints: 55632
2038.54/2043.88 c #Conflicts: 1197000 | #Constraints: 56632
2038.54/2043.88 c #Conflicts: 1198000 | #Constraints: 57632
2038.54/2043.88 c #Conflicts: 1199000 | #Constraints: 58632
2038.54/2043.88 c #Conflicts: 1200000 | #Constraints: 59632
2038.54/2043.88 c #Conflicts: 1201000 | #Constraints: 60632
2038.54/2043.88 c #Conflicts: 1202000 | #Constraints: 61632
2038.54/2043.88 c #Conflicts: 1203000 | #Constraints: 62632
2038.54/2043.88 c #Conflicts: 1204000 | #Constraints: 63632
2038.54/2043.88 c #Conflicts: 1205000 | #Constraints: 64632
2038.54/2043.88 c #Conflicts: 1206000 | #Constraints: 65632
2038.54/2043.88 c #Conflicts: 1207000 | #Constraints: 66632
2038.54/2043.88 c #Conflicts: 1208000 | #Constraints: 67632
2038.54/2043.88 c #Conflicts: 1209000 | #Constraints: 68632
2038.54/2043.88 c #Conflicts: 1210000 | #Constraints: 69632
2038.54/2043.88 c #Conflicts: 1211000 | #Constraints: 70632
2038.54/2043.88 c #Conflicts: 1212000 | #Constraints: 71632
2038.54/2043.88 c INPROCESSING
2038.54/2043.88 c GARBAGE COLLECT
2038.54/2043.88 c #Conflicts: 1213000 | #Constraints: 50840
2038.54/2043.88 c #Conflicts: 1214000 | #Constraints: 51840
2038.54/2043.88 c #Conflicts: 1215000 | #Constraints: 52840
2038.54/2043.88 c #Conflicts: 1216000 | #Constraints: 53840
2038.54/2043.88 c #Conflicts: 1217000 | #Constraints: 54840
2038.54/2043.88 c #Conflicts: 1218000 | #Constraints: 55840
2038.54/2043.88 c #Conflicts: 1219000 | #Constraints: 56840
2038.54/2043.88 c #Conflicts: 1220000 | #Constraints: 57840
2038.54/2043.88 c #Conflicts: 1221000 | #Constraints: 58840
2038.54/2043.88 c #Conflicts: 1222000 | #Constraints: 59840
2038.54/2043.88 c #Conflicts: 1223000 | #Constraints: 60840
2038.54/2043.88 c #Conflicts: 1224000 | #Constraints: 61840
2038.54/2043.88 c #Conflicts: 1225000 | #Constraints: 62840
2038.54/2043.88 c #Conflicts: 1226000 | #Constraints: 63840
2038.54/2043.88 c #Conflicts: 1227000 | #Constraints: 64840
2038.54/2043.88 c #Conflicts: 1228000 | #Constraints: 65840
2038.54/2043.88 c #Conflicts: 1229000 | #Constraints: 66840
2038.54/2043.88 c #Conflicts: 1230000 | #Constraints: 67840
2038.54/2043.88 c #Conflicts: 1231000 | #Constraints: 68840
2038.54/2043.88 c #Conflicts: 1232000 | #Constraints: 69840
2038.54/2043.88 c #Conflicts: 1233000 | #Constraints: 70840
2038.54/2043.88 c #Conflicts: 1234000 | #Constraints: 71840
2038.54/2043.88 c INPROCESSING
2038.54/2043.88 c GARBAGE COLLECT
2038.54/2043.88 c #Conflicts: 1235000 | #Constraints: 50838
2038.54/2043.88 c #Conflicts: 1236000 | #Constraints: 51838
2038.54/2043.88 c #Conflicts: 1237000 | #Constraints: 52838
2038.54/2043.88 c #Conflicts: 1238000 | #Constraints: 53838
2038.54/2043.88 c #Conflicts: 1239000 | #Constraints: 54838
2038.54/2043.88 c #Conflicts: 1240000 | #Constraints: 55838
2038.54/2043.88 c #Conflicts: 1241000 | #Constraints: 56838
2038.54/2043.88 c #Conflicts: 1242000 | #Constraints: 57838
2038.54/2043.88 c #Conflicts: 1243000 | #Constraints: 58838
2038.54/2043.88 c #Conflicts: 1244000 | #Constraints: 59838
2038.54/2043.88 c #Conflicts: 1245000 | #Constraints: 60838
2038.54/2043.88 c #Conflicts: 1246000 | #Constraints: 61838
2038.54/2043.88 c #Conflicts: 1247000 | #Constraints: 62838
2038.54/2043.88 c #Conflicts: 1248000 | #Constraints: 63838
2038.54/2043.88 c #Conflicts: 1249000 | #Constraints: 64838
2038.54/2043.88 c #Conflicts: 1250000 | #Constraints: 65838
2038.54/2043.88 c #Conflicts: 1251000 | #Constraints: 66838
2038.54/2043.88 c #Conflicts: 1252000 | #Constraints: 67838
2038.54/2043.88 c #Conflicts: 1253000 | #Constraints: 68838
2038.54/2043.88 c #Conflicts: 1254000 | #Constraints: 69838
2038.54/2043.88 c #Conflicts: 1255000 | #Constraints: 70838
2038.54/2043.88 c #Conflicts: 1256000 | #Constraints: 71838
2038.54/2043.88 c INPROCESSING
2038.54/2043.88 c GARBAGE COLLECT
2038.54/2043.88 c #Conflicts: 1257000 | #Constraints: 50624
2038.54/2043.88 c #Conflicts: 1258000 | #Constraints: 51624
2038.54/2043.88 c #Conflicts: 1259000 | #Constraints: 52624
2038.54/2043.88 c #Conflicts: 1260000 | #Constraints: 53624
2038.54/2043.88 c #Conflicts: 1261000 | #Constraints: 54624
2038.54/2043.88 c #Conflicts: 1262000 | #Constraints: 55624
2038.54/2043.88 c #Conflicts: 1263000 | #Constraints: 56624
2038.54/2043.88 c #Conflicts: 1264000 | #Constraints: 57624
2038.54/2043.88 c #Conflicts: 1265000 | #Constraints: 58624
2198.93/2204.64 c #Conflicts: 1266000 | #Constraints: 59624
2198.93/2204.64 c #Conflicts: 1267000 | #Constraints: 60624
2198.93/2204.64 c #Conflicts: 1268000 | #Constraints: 61624
2198.93/2204.64 c #Conflicts: 1269000 | #Constraints: 62624
2198.93/2204.64 c #Conflicts: 1270000 | #Constraints: 63624
2198.93/2204.64 c #Conflicts: 1271000 | #Constraints: 64624
2198.93/2204.64 c #Conflicts: 1272000 | #Constraints: 65624
2198.93/2204.64 c #Conflicts: 1273000 | #Constraints: 66624
2198.93/2204.64 c #Conflicts: 1274000 | #Constraints: 67624
2198.93/2204.64 c #Conflicts: 1275000 | #Constraints: 68624
2198.93/2204.64 c #Conflicts: 1276000 | #Constraints: 69624
2198.93/2204.64 c #Conflicts: 1277000 | #Constraints: 70624
2198.93/2204.64 c #Conflicts: 1278000 | #Constraints: 71624
2198.93/2204.64 c #Conflicts: 1279000 | #Constraints: 72624
2198.93/2204.64 c INPROCESSING
2198.93/2204.64 c GARBAGE COLLECT
2198.93/2204.64 c #Conflicts: 1280000 | #Constraints: 51230
2198.93/2204.64 c #Conflicts: 1281000 | #Constraints: 52230
2198.93/2204.64 c #Conflicts: 1282000 | #Constraints: 53230
2198.93/2204.64 c #Conflicts: 1283000 | #Constraints: 54230
2198.93/2204.64 c #Conflicts: 1284000 | #Constraints: 55230
2198.93/2204.64 c #Conflicts: 1285000 | #Constraints: 56230
2198.93/2204.64 c #Conflicts: 1286000 | #Constraints: 57230
2198.93/2204.64 c #Conflicts: 1287000 | #Constraints: 58230
2198.93/2204.64 c #Conflicts: 1288000 | #Constraints: 59230
2198.93/2204.64 c #Conflicts: 1289000 | #Constraints: 60230
2198.93/2204.64 c #Conflicts: 1290000 | #Constraints: 61230
2198.93/2204.64 c #Conflicts: 1291000 | #Constraints: 62230
2198.93/2204.64 c #Conflicts: 1292000 | #Constraints: 63230
2198.93/2204.64 c #Conflicts: 1293000 | #Constraints: 64230
2198.93/2204.64 c #Conflicts: 1294000 | #Constraints: 65230
2198.93/2204.64 c #Conflicts: 1295000 | #Constraints: 66230
2198.93/2204.64 c #Conflicts: 1296000 | #Constraints: 67230
2198.93/2204.64 c #Conflicts: 1297000 | #Constraints: 68230
2198.93/2204.64 c #Conflicts: 1298000 | #Constraints: 69230
2198.93/2204.64 c #Conflicts: 1299000 | #Constraints: 70230
2198.93/2204.64 c #Conflicts: 1300000 | #Constraints: 71230
2198.93/2204.64 c #Conflicts: 1301000 | #Constraints: 72230
2198.93/2204.64 c #Conflicts: 1302000 | #Constraints: 73230
2198.93/2204.64 c INPROCESSING
2198.93/2204.64 c GARBAGE COLLECT
2198.93/2204.64 c #Conflicts: 1303000 | #Constraints: 51634
2198.93/2204.64 c #Conflicts: 1304000 | #Constraints: 52634
2198.93/2204.64 c #Conflicts: 1305000 | #Constraints: 53634
2198.93/2204.64 c #Conflicts: 1306000 | #Constraints: 54634
2198.93/2204.64 c #Conflicts: 1307000 | #Constraints: 55634
2198.93/2204.64 c #Conflicts: 1308000 | #Constraints: 56634
2198.93/2204.64 c #Conflicts: 1309000 | #Constraints: 57634
2198.93/2204.64 c #Conflicts: 1310000 | #Constraints: 58634
2198.93/2204.64 c #Conflicts: 1311000 | #Constraints: 59634
2198.93/2204.64 c #Conflicts: 1312000 | #Constraints: 60634
2198.93/2204.64 c #Conflicts: 1313000 | #Constraints: 61634
2198.93/2204.64 c #Conflicts: 1314000 | #Constraints: 62634
2198.93/2204.64 c #Conflicts: 1315000 | #Constraints: 63634
2198.93/2204.64 c #Conflicts: 1316000 | #Constraints: 64634
2198.93/2204.64 c #Conflicts: 1317000 | #Constraints: 65634
2198.93/2204.64 c #Conflicts: 1318000 | #Constraints: 66634
2198.93/2204.64 c #Conflicts: 1319000 | #Constraints: 67634
2198.93/2204.64 c #Conflicts: 1320000 | #Constraints: 68634
2198.93/2204.64 c #Conflicts: 1321000 | #Constraints: 69634
2198.93/2204.64 c #Conflicts: 1322000 | #Constraints: 70634
2198.93/2204.64 c #Conflicts: 1323000 | #Constraints: 71634
2198.93/2204.64 c #Conflicts: 1324000 | #Constraints: 72634
2198.93/2204.64 c #Conflicts: 1325000 | #Constraints: 73634
2198.93/2204.64 c INPROCESSING
2198.93/2204.64 c GARBAGE COLLECT
2198.93/2204.64 c #Conflicts: 1326000 | #Constraints: 51852
2198.93/2204.64 c #Conflicts: 1327000 | #Constraints: 52852
2198.93/2204.64 c #Conflicts: 1328000 | #Constraints: 53852
2198.93/2204.64 c #Conflicts: 1329000 | #Constraints: 54852
2198.93/2204.64 c #Conflicts: 1330000 | #Constraints: 55852
2198.93/2204.64 c #Conflicts: 1331000 | #Constraints: 56852
2198.93/2204.64 c #Conflicts: 1332000 | #Constraints: 57852
2198.93/2204.64 c #Conflicts: 1333000 | #Constraints: 58852
2198.93/2204.64 c #Conflicts: 1334000 | #Constraints: 59852
2198.93/2204.64 c #Conflicts: 1335000 | #Constraints: 60852
2198.93/2204.64 c #Conflicts: 1336000 | #Constraints: 61852
2198.93/2204.64 c #Conflicts: 1337000 | #Constraints: 62852
2198.93/2204.64 c #Conflicts: 1338000 | #Constraints: 63852
2198.93/2204.64 c #Conflicts: 1339000 | #Constraints: 64852
2198.93/2204.64 c #Conflicts: 1340000 | #Constraints: 65852
2198.93/2204.64 c #Conflicts: 1341000 | #Constraints: 66852
2198.93/2204.64 c #Conflicts: 1342000 | #Constraints: 67852
2355.16/2361.28 c #Conflicts: 1343000 | #Constraints: 68852
2355.16/2361.28 c #Conflicts: 1344000 | #Constraints: 69852
2355.16/2361.28 c #Conflicts: 1345000 | #Constraints: 70852
2355.16/2361.28 c #Conflicts: 1346000 | #Constraints: 71852
2355.16/2361.28 c #Conflicts: 1347000 | #Constraints: 72852
2355.16/2361.28 c #Conflicts: 1348000 | #Constraints: 73852
2355.16/2361.28 c INPROCESSING
2355.16/2361.28 c GARBAGE COLLECT
2355.16/2361.28 c #Conflicts: 1349000 | #Constraints: 51837
2355.16/2361.28 c #Conflicts: 1350000 | #Constraints: 52837
2355.16/2361.28 c #Conflicts: 1351000 | #Constraints: 53837
2355.16/2361.28 c #Conflicts: 1352000 | #Constraints: 54837
2355.16/2361.28 c #Conflicts: 1353000 | #Constraints: 55837
2355.16/2361.28 c #Conflicts: 1354000 | #Constraints: 56837
2355.16/2361.28 c #Conflicts: 1355000 | #Constraints: 57837
2355.16/2361.28 c #Conflicts: 1356000 | #Constraints: 58837
2355.16/2361.28 c #Conflicts: 1357000 | #Constraints: 59837
2355.16/2361.28 c #Conflicts: 1358000 | #Constraints: 60837
2355.16/2361.28 c #Conflicts: 1359000 | #Constraints: 61837
2355.16/2361.28 c #Conflicts: 1360000 | #Constraints: 62837
2355.16/2361.28 c #Conflicts: 1361000 | #Constraints: 63837
2355.16/2361.28 c #Conflicts: 1362000 | #Constraints: 64837
2355.16/2361.28 c #Conflicts: 1363000 | #Constraints: 65837
2355.16/2361.28 c #Conflicts: 1364000 | #Constraints: 66837
2355.16/2361.28 c #Conflicts: 1365000 | #Constraints: 67837
2355.16/2361.28 c #Conflicts: 1366000 | #Constraints: 68837
2355.16/2361.28 c #Conflicts: 1367000 | #Constraints: 69837
2355.16/2361.28 c #Conflicts: 1368000 | #Constraints: 70837
2355.16/2361.28 c #Conflicts: 1369000 | #Constraints: 71837
2355.16/2361.28 c #Conflicts: 1370000 | #Constraints: 72837
2355.16/2361.28 c #Conflicts: 1371000 | #Constraints: 73837
2355.16/2361.28 c INPROCESSING
2355.16/2361.28 c GARBAGE COLLECT
2355.16/2361.28 c #Conflicts: 1372000 | #Constraints: 51628
2355.16/2361.28 c #Conflicts: 1373000 | #Constraints: 52628
2355.16/2361.28 c #Conflicts: 1374000 | #Constraints: 53628
2355.16/2361.28 c #Conflicts: 1375000 | #Constraints: 54628
2355.16/2361.28 c #Conflicts: 1376000 | #Constraints: 55628
2355.16/2361.28 c #Conflicts: 1377000 | #Constraints: 56628
2355.16/2361.28 c #Conflicts: 1378000 | #Constraints: 57628
2355.16/2361.28 c #Conflicts: 1379000 | #Constraints: 58628
2355.16/2361.28 c #Conflicts: 1380000 | #Constraints: 59628
2355.16/2361.28 c #Conflicts: 1381000 | #Constraints: 60628
2355.16/2361.28 c #Conflicts: 1382000 | #Constraints: 61628
2355.16/2361.28 c #Conflicts: 1383000 | #Constraints: 62628
2355.16/2361.28 c #Conflicts: 1384000 | #Constraints: 63628
2355.16/2361.28 c #Conflicts: 1385000 | #Constraints: 64628
2355.16/2361.28 c #Conflicts: 1386000 | #Constraints: 65628
2355.16/2361.28 c #Conflicts: 1387000 | #Constraints: 66628
2355.16/2361.28 c #Conflicts: 1388000 | #Constraints: 67628
2355.16/2361.28 c #Conflicts: 1389000 | #Constraints: 68628
2355.16/2361.28 c #Conflicts: 1390000 | #Constraints: 69628
2355.16/2361.28 c #Conflicts: 1391000 | #Constraints: 70628
2355.16/2361.28 c #Conflicts: 1392000 | #Constraints: 71628
2355.16/2361.28 c #Conflicts: 1393000 | #Constraints: 72628
2355.16/2361.28 c #Conflicts: 1394000 | #Constraints: 73628
2355.16/2361.28 c #Conflicts: 1395000 | #Constraints: 74628
2355.16/2361.28 c INPROCESSING
2355.16/2361.28 c GARBAGE COLLECT
2355.16/2361.28 c #Conflicts: 1396000 | #Constraints: 52231
2355.16/2361.28 c #Conflicts: 1397000 | #Constraints: 53231
2355.16/2361.28 c #Conflicts: 1398000 | #Constraints: 54231
2355.16/2361.28 c #Conflicts: 1399000 | #Constraints: 55231
2355.16/2361.28 c #Conflicts: 1400000 | #Constraints: 56231
2355.16/2361.28 c #Conflicts: 1401000 | #Constraints: 57231
2355.16/2361.28 c #Conflicts: 1402000 | #Constraints: 58231
2355.16/2361.28 c #Conflicts: 1403000 | #Constraints: 59231
2355.16/2361.28 c #Conflicts: 1404000 | #Constraints: 60231
2355.16/2361.28 c #Conflicts: 1405000 | #Constraints: 61231
2355.16/2361.28 c #Conflicts: 1406000 | #Constraints: 62231
2355.16/2361.28 c #Conflicts: 1407000 | #Constraints: 63231
2355.16/2361.28 c #Conflicts: 1408000 | #Constraints: 64231
2355.16/2361.28 c #Conflicts: 1409000 | #Constraints: 65231
2355.16/2361.28 c #Conflicts: 1410000 | #Constraints: 66231
2355.16/2361.28 c #Conflicts: 1411000 | #Constraints: 67231
2355.16/2361.28 c #Conflicts: 1412000 | #Constraints: 68231
2355.16/2361.28 c #Conflicts: 1413000 | #Constraints: 69231
2355.16/2361.28 c #Conflicts: 1414000 | #Constraints: 70231
2355.16/2361.28 c #Conflicts: 1415000 | #Constraints: 71231
2355.16/2361.28 c #Conflicts: 1416000 | #Constraints: 72231
2355.16/2361.28 c #Conflicts: 1417000 | #Constraints: 73231
2355.16/2361.28 c #Conflicts: 1418000 | #Constraints: 74231
2513.48/2519.94 c #Conflicts: 1419000 | #Constraints: 75231
2513.48/2519.94 c INPROCESSING
2513.48/2519.94 c GARBAGE COLLECT
2513.48/2519.94 c #Conflicts: 1420000 | #Constraints: 52639
2513.48/2519.94 c #Conflicts: 1421000 | #Constraints: 53639
2513.48/2519.94 c #Conflicts: 1422000 | #Constraints: 54639
2513.48/2519.94 c #Conflicts: 1423000 | #Constraints: 55639
2513.48/2519.94 c #Conflicts: 1424000 | #Constraints: 56639
2513.48/2519.94 c #Conflicts: 1425000 | #Constraints: 57639
2513.48/2519.94 c #Conflicts: 1426000 | #Constraints: 58639
2513.48/2519.94 c #Conflicts: 1427000 | #Constraints: 59639
2513.48/2519.94 c #Conflicts: 1428000 | #Constraints: 60639
2513.48/2519.94 c #Conflicts: 1429000 | #Constraints: 61639
2513.48/2519.94 c #Conflicts: 1430000 | #Constraints: 62639
2513.48/2519.94 c #Conflicts: 1431000 | #Constraints: 63639
2513.48/2519.94 c #Conflicts: 1432000 | #Constraints: 64639
2513.48/2519.94 c #Conflicts: 1433000 | #Constraints: 65639
2513.48/2519.94 c #Conflicts: 1434000 | #Constraints: 66639
2513.48/2519.94 c #Conflicts: 1435000 | #Constraints: 67639
2513.48/2519.94 c #Conflicts: 1436000 | #Constraints: 68639
2513.48/2519.94 c #Conflicts: 1437000 | #Constraints: 69639
2513.48/2519.94 c #Conflicts: 1438000 | #Constraints: 70639
2513.48/2519.94 c #Conflicts: 1439000 | #Constraints: 71639
2513.48/2519.94 c #Conflicts: 1440000 | #Constraints: 72639
2513.48/2519.94 c #Conflicts: 1441000 | #Constraints: 73639
2513.48/2519.94 c #Conflicts: 1442000 | #Constraints: 74639
2513.48/2519.94 c #Conflicts: 1443000 | #Constraints: 75639
2513.48/2519.94 c INPROCESSING
2513.48/2519.94 c GARBAGE COLLECT
2513.48/2519.94 c #Conflicts: 1444000 | #Constraints: 52831
2513.48/2519.94 c #Conflicts: 1445000 | #Constraints: 53831
2513.48/2519.94 c #Conflicts: 1446000 | #Constraints: 54831
2513.48/2519.94 c #Conflicts: 1447000 | #Constraints: 55831
2513.48/2519.94 c #Conflicts: 1448000 | #Constraints: 56831
2513.48/2519.94 c #Conflicts: 1449000 | #Constraints: 57831
2513.48/2519.94 c #Conflicts: 1450000 | #Constraints: 58831
2513.48/2519.94 c #Conflicts: 1451000 | #Constraints: 59831
2513.48/2519.94 c #Conflicts: 1452000 | #Constraints: 60831
2513.48/2519.94 c #Conflicts: 1453000 | #Constraints: 61831
2513.48/2519.94 c #Conflicts: 1454000 | #Constraints: 62831
2513.48/2519.94 c #Conflicts: 1455000 | #Constraints: 63831
2513.48/2519.94 c #Conflicts: 1456000 | #Constraints: 64831
2513.48/2519.94 c #Conflicts: 1457000 | #Constraints: 65831
2513.48/2519.94 c #Conflicts: 1458000 | #Constraints: 66831
2513.48/2519.94 c #Conflicts: 1459000 | #Constraints: 67831
2513.48/2519.94 c #Conflicts: 1460000 | #Constraints: 68831
2513.48/2519.94 c #Conflicts: 1461000 | #Constraints: 69831
2513.48/2519.94 c #Conflicts: 1462000 | #Constraints: 70831
2513.48/2519.94 c #Conflicts: 1463000 | #Constraints: 71831
2513.48/2519.94 c #Conflicts: 1464000 | #Constraints: 72831
2513.48/2519.94 c #Conflicts: 1465000 | #Constraints: 73831
2513.48/2519.94 c #Conflicts: 1466000 | #Constraints: 74831
2513.48/2519.94 c #Conflicts: 1467000 | #Constraints: 75831
2513.48/2519.94 c INPROCESSING
2513.48/2519.94 c GARBAGE COLLECT
2513.48/2519.94 c #Conflicts: 1468000 | #Constraints: 52820
2513.48/2519.94 c #Conflicts: 1469000 | #Constraints: 53820
2513.48/2519.94 c #Conflicts: 1470000 | #Constraints: 54820
2513.48/2519.94 c #Conflicts: 1471000 | #Constraints: 55820
2513.48/2519.94 c #Conflicts: 1472000 | #Constraints: 56820
2513.48/2519.94 c #Conflicts: 1473000 | #Constraints: 57820
2513.48/2519.94 c #Conflicts: 1474000 | #Constraints: 58820
2513.48/2519.94 c #Conflicts: 1475000 | #Constraints: 59820
2513.48/2519.94 c #Conflicts: 1476000 | #Constraints: 60820
2513.48/2519.94 c #Conflicts: 1477000 | #Constraints: 61820
2513.48/2519.94 c #Conflicts: 1478000 | #Constraints: 62820
2513.48/2519.94 c #Conflicts: 1479000 | #Constraints: 63820
2513.48/2519.94 c #Conflicts: 1480000 | #Constraints: 64820
2513.48/2519.94 c #Conflicts: 1481000 | #Constraints: 65820
2513.48/2519.94 c #Conflicts: 1482000 | #Constraints: 66820
2513.48/2519.94 c #Conflicts: 1483000 | #Constraints: 67820
2513.48/2519.94 c #Conflicts: 1484000 | #Constraints: 68820
2513.48/2519.94 c #Conflicts: 1485000 | #Constraints: 69820
2513.48/2519.94 c #Conflicts: 1486000 | #Constraints: 70820
2513.48/2519.94 c #Conflicts: 1487000 | #Constraints: 71820
2513.48/2519.94 c #Conflicts: 1488000 | #Constraints: 72820
2513.48/2519.94 c #Conflicts: 1489000 | #Constraints: 73820
2513.48/2519.94 c #Conflicts: 1490000 | #Constraints: 74820
2513.48/2519.94 c #Conflicts: 1491000 | #Constraints: 75820
2513.48/2519.94 c INPROCESSING
2513.48/2519.94 c GARBAGE COLLECT
2513.48/2519.94 c #Conflicts: 1492000 | #Constraints: 52634
2513.48/2519.94 c #Conflicts: 1493000 | #Constraints: 53634
2513.48/2519.94 c #Conflicts: 1494000 | #Constraints: 54634
2513.48/2519.94 c #Conflicts: 1495000 | #Constraints: 55634
2683.08/2689.95 c #Conflicts: 1496000 | #Constraints: 56634
2683.08/2689.95 c #Conflicts: 1497000 | #Constraints: 57634
2683.08/2689.95 c #Conflicts: 1498000 | #Constraints: 58634
2683.08/2689.95 c #Conflicts: 1499000 | #Constraints: 59634
2683.08/2689.95 c #Conflicts: 1500000 | #Constraints: 60634
2683.08/2689.95 c #Conflicts: 1501000 | #Constraints: 61634
2683.08/2689.95 c #Conflicts: 1502000 | #Constraints: 62634
2683.08/2689.95 c #Conflicts: 1503000 | #Constraints: 63634
2683.08/2689.95 c #Conflicts: 1504000 | #Constraints: 64634
2683.08/2689.95 c #Conflicts: 1505000 | #Constraints: 65634
2683.08/2689.95 c #Conflicts: 1506000 | #Constraints: 66634
2683.08/2689.95 c #Conflicts: 1507000 | #Constraints: 67634
2683.08/2689.95 c #Conflicts: 1508000 | #Constraints: 68634
2683.08/2689.95 c #Conflicts: 1509000 | #Constraints: 69634
2683.08/2689.95 c #Conflicts: 1510000 | #Constraints: 70634
2683.08/2689.95 c #Conflicts: 1511000 | #Constraints: 71634
2683.08/2689.95 c #Conflicts: 1512000 | #Constraints: 72634
2683.08/2689.95 c #Conflicts: 1513000 | #Constraints: 73634
2683.08/2689.95 c #Conflicts: 1514000 | #Constraints: 74634
2683.08/2689.95 c #Conflicts: 1515000 | #Constraints: 75634
2683.08/2689.95 c #Conflicts: 1516000 | #Constraints: 76634
2683.08/2689.95 c INPROCESSING
2683.08/2689.95 c GARBAGE COLLECT
2683.08/2689.95 c #Conflicts: 1517000 | #Constraints: 53237
2683.08/2689.95 c #Conflicts: 1518000 | #Constraints: 54237
2683.08/2689.95 c #Conflicts: 1519000 | #Constraints: 55237
2683.08/2689.95 c #Conflicts: 1520000 | #Constraints: 56237
2683.08/2689.95 c #Conflicts: 1521000 | #Constraints: 57237
2683.08/2689.95 c #Conflicts: 1522000 | #Constraints: 58237
2683.08/2689.95 c #Conflicts: 1523000 | #Constraints: 59237
2683.08/2689.95 c #Conflicts: 1524000 | #Constraints: 60237
2683.08/2689.95 c #Conflicts: 1525000 | #Constraints: 61237
2683.08/2689.95 c #Conflicts: 1526000 | #Constraints: 62237
2683.08/2689.95 c #Conflicts: 1527000 | #Constraints: 63237
2683.08/2689.95 c #Conflicts: 1528000 | #Constraints: 64237
2683.08/2689.95 c #Conflicts: 1529000 | #Constraints: 65237
2683.08/2689.95 c #Conflicts: 1530000 | #Constraints: 66237
2683.08/2689.95 c #Conflicts: 1531000 | #Constraints: 67237
2683.08/2689.95 c #Conflicts: 1532000 | #Constraints: 68237
2683.08/2689.95 c #Conflicts: 1533000 | #Constraints: 69237
2683.08/2689.95 c #Conflicts: 1534000 | #Constraints: 70237
2683.08/2689.95 c #Conflicts: 1535000 | #Constraints: 71237
2683.08/2689.95 c #Conflicts: 1536000 | #Constraints: 72237
2683.08/2689.95 c #Conflicts: 1537000 | #Constraints: 73237
2683.08/2689.95 c #Conflicts: 1538000 | #Constraints: 74237
2683.08/2689.95 c #Conflicts: 1539000 | #Constraints: 75237
2683.08/2689.95 c #Conflicts: 1540000 | #Constraints: 76237
2683.08/2689.95 c #Conflicts: 1541000 | #Constraints: 77237
2683.08/2689.95 c INPROCESSING
2683.08/2689.95 c GARBAGE COLLECT
2683.08/2689.95 c #Conflicts: 1542000 | #Constraints: 53647
2683.08/2689.95 c #Conflicts: 1543000 | #Constraints: 54647
2683.08/2689.95 c #Conflicts: 1544000 | #Constraints: 55647
2683.08/2689.95 c #Conflicts: 1545000 | #Constraints: 56647
2683.08/2689.95 c #Conflicts: 1546000 | #Constraints: 57647
2683.08/2689.95 c #Conflicts: 1547000 | #Constraints: 58647
2683.08/2689.95 c #Conflicts: 1548000 | #Constraints: 59647
2683.08/2689.95 c #Conflicts: 1549000 | #Constraints: 60647
2683.08/2689.95 c #Conflicts: 1550000 | #Constraints: 61647
2683.08/2689.95 c #Conflicts: 1551000 | #Constraints: 62647
2683.08/2689.95 c #Conflicts: 1552000 | #Constraints: 63647
2683.08/2689.95 c #Conflicts: 1553000 | #Constraints: 64647
2683.08/2689.95 c #Conflicts: 1554000 | #Constraints: 65647
2683.08/2689.95 c #Conflicts: 1555000 | #Constraints: 66647
2683.08/2689.95 c #Conflicts: 1556000 | #Constraints: 67647
2683.08/2689.95 c #Conflicts: 1557000 | #Constraints: 68647
2683.08/2689.95 c #Conflicts: 1558000 | #Constraints: 69647
2683.08/2689.95 c #Conflicts: 1559000 | #Constraints: 70647
2683.08/2689.95 c #Conflicts: 1560000 | #Constraints: 71647
2683.08/2689.95 c #Conflicts: 1561000 | #Constraints: 72647
2683.08/2689.95 c #Conflicts: 1562000 | #Constraints: 73647
2683.08/2689.95 c #Conflicts: 1563000 | #Constraints: 74647
2683.08/2689.95 c #Conflicts: 1564000 | #Constraints: 75647
2683.08/2689.95 c #Conflicts: 1565000 | #Constraints: 76647
2683.08/2689.95 c #Conflicts: 1566000 | #Constraints: 77647
2683.08/2689.95 c INPROCESSING
2683.08/2689.95 c GARBAGE COLLECT
2683.08/2689.95 c #Conflicts: 1567000 | #Constraints: 53826
2683.08/2689.95 c #Conflicts: 1568000 | #Constraints: 54826
2683.08/2689.95 c #Conflicts: 1569000 | #Constraints: 55826
2683.08/2689.95 c #Conflicts: 1570000 | #Constraints: 56826
2683.08/2689.95 c #Conflicts: 1571000 | #Constraints: 57826
2683.08/2689.95 c #Conflicts: 1572000 | #Constraints: 58826
2849.60/2856.88 c #Conflicts: 1573000 | #Constraints: 59826
2849.60/2856.88 c #Conflicts: 1574000 | #Constraints: 60826
2849.60/2856.88 c #Conflicts: 1575000 | #Constraints: 61826
2849.60/2856.88 c #Conflicts: 1576000 | #Constraints: 62826
2849.60/2856.88 c #Conflicts: 1577000 | #Constraints: 63826
2849.60/2856.88 c #Conflicts: 1578000 | #Constraints: 64826
2849.60/2856.88 c #Conflicts: 1579000 | #Constraints: 65826
2849.60/2856.88 c #Conflicts: 1580000 | #Constraints: 66826
2849.60/2856.88 c #Conflicts: 1581000 | #Constraints: 67826
2849.60/2856.88 c #Conflicts: 1582000 | #Constraints: 68826
2849.60/2856.88 c #Conflicts: 1583000 | #Constraints: 69826
2849.60/2856.88 c #Conflicts: 1584000 | #Constraints: 70826
2849.60/2856.88 c #Conflicts: 1585000 | #Constraints: 71826
2849.60/2856.88 c #Conflicts: 1586000 | #Constraints: 72826
2849.60/2856.88 c #Conflicts: 1587000 | #Constraints: 73826
2849.60/2856.88 c #Conflicts: 1588000 | #Constraints: 74826
2849.60/2856.88 c #Conflicts: 1589000 | #Constraints: 75826
2849.60/2856.88 c #Conflicts: 1590000 | #Constraints: 76826
2849.60/2856.88 c #Conflicts: 1591000 | #Constraints: 77826
2849.60/2856.88 c INPROCESSING
2849.60/2856.88 c GARBAGE COLLECT
2849.60/2856.88 c #Conflicts: 1592000 | #Constraints: 53847
2849.60/2856.88 c #Conflicts: 1593000 | #Constraints: 54847
2849.60/2856.88 c #Conflicts: 1594000 | #Constraints: 55847
2849.60/2856.88 c #Conflicts: 1595000 | #Constraints: 56847
2849.60/2856.88 c #Conflicts: 1596000 | #Constraints: 57847
2849.60/2856.88 c #Conflicts: 1597000 | #Constraints: 58847
2849.60/2856.88 c #Conflicts: 1598000 | #Constraints: 59847
2849.60/2856.88 c #Conflicts: 1599000 | #Constraints: 60847
2849.60/2856.88 c #Conflicts: 1600000 | #Constraints: 61847
2849.60/2856.88 c #Conflicts: 1601000 | #Constraints: 62847
2849.60/2856.88 c #Conflicts: 1602000 | #Constraints: 63847
2849.60/2856.88 c #Conflicts: 1603000 | #Constraints: 64847
2849.60/2856.88 c #Conflicts: 1604000 | #Constraints: 65847
2849.60/2856.88 c #Conflicts: 1605000 | #Constraints: 66847
2849.60/2856.88 c #Conflicts: 1606000 | #Constraints: 67847
2849.60/2856.88 c #Conflicts: 1607000 | #Constraints: 68847
2849.60/2856.88 c #Conflicts: 1608000 | #Constraints: 69847
2849.60/2856.88 c #Conflicts: 1609000 | #Constraints: 70847
2849.60/2856.88 c #Conflicts: 1610000 | #Constraints: 71847
2849.60/2856.88 c #Conflicts: 1611000 | #Constraints: 72847
2849.60/2856.88 c #Conflicts: 1612000 | #Constraints: 73847
2849.60/2856.88 c #Conflicts: 1613000 | #Constraints: 74847
2849.60/2856.88 c #Conflicts: 1614000 | #Constraints: 75847
2849.60/2856.88 c #Conflicts: 1615000 | #Constraints: 76847
2849.60/2856.88 c #Conflicts: 1616000 | #Constraints: 77847
2849.60/2856.88 c INPROCESSING
2849.60/2856.88 c GARBAGE COLLECT
2849.60/2856.88 c #Conflicts: 1617000 | #Constraints: 53653
2849.60/2856.88 c #Conflicts: 1618000 | #Constraints: 54653
2849.60/2856.88 c #Conflicts: 1619000 | #Constraints: 55653
2849.60/2856.88 c #Conflicts: 1620000 | #Constraints: 56653
2849.60/2856.88 c #Conflicts: 1621000 | #Constraints: 57653
2849.60/2856.88 c #Conflicts: 1622000 | #Constraints: 58653
2849.60/2856.88 c #Conflicts: 1623000 | #Constraints: 59653
2849.60/2856.88 c #Conflicts: 1624000 | #Constraints: 60653
2849.60/2856.88 c #Conflicts: 1625000 | #Constraints: 61653
2849.60/2856.88 c #Conflicts: 1626000 | #Constraints: 62653
2849.60/2856.88 c #Conflicts: 1627000 | #Constraints: 63653
2849.60/2856.88 c #Conflicts: 1628000 | #Constraints: 64653
2849.60/2856.88 c #Conflicts: 1629000 | #Constraints: 65653
2849.60/2856.88 c #Conflicts: 1630000 | #Constraints: 66653
2849.60/2856.88 c #Conflicts: 1631000 | #Constraints: 67653
2849.60/2856.88 c #Conflicts: 1632000 | #Constraints: 68653
2849.60/2856.88 c #Conflicts: 1633000 | #Constraints: 69653
2849.60/2856.88 c #Conflicts: 1634000 | #Constraints: 70653
2849.60/2856.88 c #Conflicts: 1635000 | #Constraints: 71653
2849.60/2856.88 c #Conflicts: 1636000 | #Constraints: 72653
2849.60/2856.88 c #Conflicts: 1637000 | #Constraints: 73653
2849.60/2856.88 c #Conflicts: 1638000 | #Constraints: 74653
2849.60/2856.88 c #Conflicts: 1639000 | #Constraints: 75653
2849.60/2856.88 c #Conflicts: 1640000 | #Constraints: 76653
2849.60/2856.88 c #Conflicts: 1641000 | #Constraints: 77653
2849.60/2856.88 c #Conflicts: 1642000 | #Constraints: 78653
2849.60/2856.88 c INPROCESSING
2849.60/2856.88 c GARBAGE COLLECT
2849.60/2856.88 c #Conflicts: 1643000 | #Constraints: 54251
2849.60/2856.88 c #Conflicts: 1644000 | #Constraints: 55251
2849.60/2856.88 c #Conflicts: 1645000 | #Constraints: 56251
2849.60/2856.88 c #Conflicts: 1646000 | #Constraints: 57251
2849.60/2856.88 c #Conflicts: 1647000 | #Constraints: 58251
2849.60/2856.88 c #Conflicts: 1648000 | #Constraints: 59251
3030.17/3037.86 c #Conflicts: 1649000 | #Constraints: 60251
3030.17/3037.86 c #Conflicts: 1650000 | #Constraints: 61251
3030.17/3037.86 c #Conflicts: 1651000 | #Constraints: 62251
3030.17/3037.86 c #Conflicts: 1652000 | #Constraints: 63251
3030.17/3037.86 c #Conflicts: 1653000 | #Constraints: 64251
3030.17/3037.86 c #Conflicts: 1654000 | #Constraints: 65251
3030.17/3037.86 c #Conflicts: 1655000 | #Constraints: 66251
3030.17/3037.86 c #Conflicts: 1656000 | #Constraints: 67251
3030.17/3037.86 c #Conflicts: 1657000 | #Constraints: 68251
3030.17/3037.86 c #Conflicts: 1658000 | #Constraints: 69251
3030.17/3037.86 c #Conflicts: 1659000 | #Constraints: 70251
3030.17/3037.86 c #Conflicts: 1660000 | #Constraints: 71251
3030.17/3037.86 c #Conflicts: 1661000 | #Constraints: 72251
3030.17/3037.86 c #Conflicts: 1662000 | #Constraints: 73251
3030.17/3037.86 c #Conflicts: 1663000 | #Constraints: 74251
3030.17/3037.86 c #Conflicts: 1664000 | #Constraints: 75251
3030.17/3037.86 c #Conflicts: 1665000 | #Constraints: 76251
3030.17/3037.86 c #Conflicts: 1666000 | #Constraints: 77251
3030.17/3037.86 c #Conflicts: 1667000 | #Constraints: 78251
3030.17/3037.86 c #Conflicts: 1668000 | #Constraints: 79251
3030.17/3037.86 c INPROCESSING
3030.17/3037.86 c GARBAGE COLLECT
3030.17/3037.86 c #Conflicts: 1669000 | #Constraints: 54657
3030.17/3037.86 c #Conflicts: 1670000 | #Constraints: 55657
3030.17/3037.86 c #Conflicts: 1671000 | #Constraints: 56657
3030.17/3037.86 c #Conflicts: 1672000 | #Constraints: 57657
3030.17/3037.86 c #Conflicts: 1673000 | #Constraints: 58657
3030.17/3037.86 c #Conflicts: 1674000 | #Constraints: 59657
3030.17/3037.86 c #Conflicts: 1675000 | #Constraints: 60657
3030.17/3037.86 c #Conflicts: 1676000 | #Constraints: 61657
3030.17/3037.86 c #Conflicts: 1677000 | #Constraints: 62657
3030.17/3037.86 c #Conflicts: 1678000 | #Constraints: 63657
3030.17/3037.86 c #Conflicts: 1679000 | #Constraints: 64657
3030.17/3037.86 c #Conflicts: 1680000 | #Constraints: 65657
3030.17/3037.86 c #Conflicts: 1681000 | #Constraints: 66657
3030.17/3037.86 c #Conflicts: 1682000 | #Constraints: 67657
3030.17/3037.86 c #Conflicts: 1683000 | #Constraints: 68657
3030.17/3037.86 c #Conflicts: 1684000 | #Constraints: 69657
3030.17/3037.86 c #Conflicts: 1685000 | #Constraints: 70657
3030.17/3037.86 c #Conflicts: 1686000 | #Constraints: 71657
3030.17/3037.86 c #Conflicts: 1687000 | #Constraints: 72657
3030.17/3037.86 c #Conflicts: 1688000 | #Constraints: 73657
3030.17/3037.86 c #Conflicts: 1689000 | #Constraints: 74657
3030.17/3037.86 c #Conflicts: 1690000 | #Constraints: 75657
3030.17/3037.86 c #Conflicts: 1691000 | #Constraints: 76657
3030.17/3037.86 c #Conflicts: 1692000 | #Constraints: 77657
3030.17/3037.86 c #Conflicts: 1693000 | #Constraints: 78657
3030.17/3037.86 c #Conflicts: 1694000 | #Constraints: 79657
3030.17/3037.86 c INPROCESSING
3030.17/3037.86 c GARBAGE COLLECT
3030.17/3037.86 c #Conflicts: 1695000 | #Constraints: 54836
3030.17/3037.86 c #Conflicts: 1696000 | #Constraints: 55836
3030.17/3037.86 c #Conflicts: 1697000 | #Constraints: 56836
3030.17/3037.86 c #Conflicts: 1698000 | #Constraints: 57836
3030.17/3037.86 c #Conflicts: 1699000 | #Constraints: 58836
3030.17/3037.86 c #Conflicts: 1700000 | #Constraints: 59836
3030.17/3037.86 c #Conflicts: 1701000 | #Constraints: 60836
3030.17/3037.86 c #Conflicts: 1702000 | #Constraints: 61836
3030.17/3037.86 c #Conflicts: 1703000 | #Constraints: 62836
3030.17/3037.86 c #Conflicts: 1704000 | #Constraints: 63836
3030.17/3037.86 c #Conflicts: 1705000 | #Constraints: 64836
3030.17/3037.86 c #Conflicts: 1706000 | #Constraints: 65836
3030.17/3037.86 c #Conflicts: 1707000 | #Constraints: 66836
3030.17/3037.86 c #Conflicts: 1708000 | #Constraints: 67836
3030.17/3037.86 c #Conflicts: 1709000 | #Constraints: 68836
3030.17/3037.86 c #Conflicts: 1710000 | #Constraints: 69836
3030.17/3037.86 c #Conflicts: 1711000 | #Constraints: 70836
3030.17/3037.86 c #Conflicts: 1712000 | #Constraints: 71836
3030.17/3037.86 c #Conflicts: 1713000 | #Constraints: 72836
3030.17/3037.86 c #Conflicts: 1714000 | #Constraints: 73836
3030.17/3037.86 c #Conflicts: 1715000 | #Constraints: 74836
3030.17/3037.86 c #Conflicts: 1716000 | #Constraints: 75836
3030.17/3037.86 c #Conflicts: 1717000 | #Constraints: 76836
3030.17/3037.86 c #Conflicts: 1718000 | #Constraints: 77836
3030.17/3037.86 c #Conflicts: 1719000 | #Constraints: 78836
3030.17/3037.86 c #Conflicts: 1720000 | #Constraints: 79836
3030.17/3037.86 c INPROCESSING
3030.17/3037.86 c GARBAGE COLLECT
3030.17/3037.86 c #Conflicts: 1721000 | #Constraints: 54850
3030.17/3037.86 c #Conflicts: 1722000 | #Constraints: 55850
3030.17/3037.86 c #Conflicts: 1723000 | #Constraints: 56850
3030.17/3037.86 c #Conflicts: 1724000 | #Constraints: 57850
3030.17/3037.86 c #Conflicts: 1725000 | #Constraints: 58850
3222.82/3230.98 c #Conflicts: 1726000 | #Constraints: 59850
3222.82/3230.98 c #Conflicts: 1727000 | #Constraints: 60850
3222.82/3230.98 c #Conflicts: 1728000 | #Constraints: 61850
3222.82/3230.98 c #Conflicts: 1729000 | #Constraints: 62850
3222.82/3230.98 c #Conflicts: 1730000 | #Constraints: 63850
3222.82/3230.98 c #Conflicts: 1731000 | #Constraints: 64850
3222.82/3230.98 c #Conflicts: 1732000 | #Constraints: 65850
3222.82/3230.98 c #Conflicts: 1733000 | #Constraints: 66850
3222.82/3230.98 c #Conflicts: 1734000 | #Constraints: 67850
3222.82/3230.98 c #Conflicts: 1735000 | #Constraints: 68850
3222.82/3230.98 c #Conflicts: 1736000 | #Constraints: 69850
3222.82/3230.98 c #Conflicts: 1737000 | #Constraints: 70850
3222.82/3230.98 c #Conflicts: 1738000 | #Constraints: 71850
3222.82/3230.98 c #Conflicts: 1739000 | #Constraints: 72850
3222.82/3230.98 c #Conflicts: 1740000 | #Constraints: 73850
3222.82/3230.98 c #Conflicts: 1741000 | #Constraints: 74850
3222.82/3230.98 c #Conflicts: 1742000 | #Constraints: 75850
3222.82/3230.98 c #Conflicts: 1743000 | #Constraints: 76850
3222.82/3230.98 c #Conflicts: 1744000 | #Constraints: 77850
3222.82/3230.98 c #Conflicts: 1745000 | #Constraints: 78850
3222.82/3230.98 c #Conflicts: 1746000 | #Constraints: 79850
3222.82/3230.98 c INPROCESSING
3222.82/3230.98 c GARBAGE COLLECT
3222.82/3230.98 c #Conflicts: 1747000 | #Constraints: 54652
3222.82/3230.98 c #Conflicts: 1748000 | #Constraints: 55652
3222.82/3230.98 c #Conflicts: 1749000 | #Constraints: 56652
3222.82/3230.98 c #Conflicts: 1750000 | #Constraints: 57652
3222.82/3230.98 c #Conflicts: 1751000 | #Constraints: 58652
3222.82/3230.98 c #Conflicts: 1752000 | #Constraints: 59652
3222.82/3230.98 c #Conflicts: 1753000 | #Constraints: 60652
3222.82/3230.98 c #Conflicts: 1754000 | #Constraints: 61652
3222.82/3230.98 c #Conflicts: 1755000 | #Constraints: 62652
3222.82/3230.98 c #Conflicts: 1756000 | #Constraints: 63652
3222.82/3230.98 c #Conflicts: 1757000 | #Constraints: 64652
3222.82/3230.98 c #Conflicts: 1758000 | #Constraints: 65652
3222.82/3230.98 c #Conflicts: 1759000 | #Constraints: 66652
3222.82/3230.98 c #Conflicts: 1760000 | #Constraints: 67652
3222.82/3230.98 c #Conflicts: 1761000 | #Constraints: 68652
3222.82/3230.98 c #Conflicts: 1762000 | #Constraints: 69652
3222.82/3230.98 c #Conflicts: 1763000 | #Constraints: 70652
3222.82/3230.98 c #Conflicts: 1764000 | #Constraints: 71652
3222.82/3230.98 c #Conflicts: 1765000 | #Constraints: 72652
3222.82/3230.98 c #Conflicts: 1766000 | #Constraints: 73652
3222.82/3230.98 c #Conflicts: 1767000 | #Constraints: 74652
3222.82/3230.98 c #Conflicts: 1768000 | #Constraints: 75652
3222.82/3230.98 c #Conflicts: 1769000 | #Constraints: 76652
3222.82/3230.98 c #Conflicts: 1770000 | #Constraints: 77652
3222.82/3230.98 c #Conflicts: 1771000 | #Constraints: 78652
3222.82/3230.98 c #Conflicts: 1772000 | #Constraints: 79652
3222.82/3230.98 c #Conflicts: 1773000 | #Constraints: 80652
3222.82/3230.98 c INPROCESSING
3222.82/3230.98 c GARBAGE COLLECT
3222.82/3230.98 c #Conflicts: 1774000 | #Constraints: 55230
3222.82/3230.98 c #Conflicts: 1775000 | #Constraints: 56230
3222.82/3230.98 c #Conflicts: 1776000 | #Constraints: 57230
3222.82/3230.98 c #Conflicts: 1777000 | #Constraints: 58230
3222.82/3230.98 c #Conflicts: 1778000 | #Constraints: 59230
3222.82/3230.98 c #Conflicts: 1779000 | #Constraints: 60230
3222.82/3230.98 c #Conflicts: 1780000 | #Constraints: 61230
3222.82/3230.98 c #Conflicts: 1781000 | #Constraints: 62230
3222.82/3230.98 c #Conflicts: 1782000 | #Constraints: 63230
3222.82/3230.98 c #Conflicts: 1783000 | #Constraints: 64230
3222.82/3230.98 c #Conflicts: 1784000 | #Constraints: 65230
3222.82/3230.98 c #Conflicts: 1785000 | #Constraints: 66230
3222.82/3230.98 c #Conflicts: 1786000 | #Constraints: 67230
3222.82/3230.98 c #Conflicts: 1787000 | #Constraints: 68230
3222.82/3230.98 c #Conflicts: 1788000 | #Constraints: 69230
3222.82/3230.98 c #Conflicts: 1789000 | #Constraints: 70230
3222.82/3230.98 c #Conflicts: 1790000 | #Constraints: 71230
3222.82/3230.98 c #Conflicts: 1791000 | #Constraints: 72230
3222.82/3230.98 c #Conflicts: 1792000 | #Constraints: 73230
3222.82/3230.98 c #Conflicts: 1793000 | #Constraints: 74230
3222.82/3230.98 c #Conflicts: 1794000 | #Constraints: 75230
3222.82/3230.98 c #Conflicts: 1795000 | #Constraints: 76230
3222.82/3230.98 c #Conflicts: 1796000 | #Constraints: 77230
3222.82/3230.98 c #Conflicts: 1797000 | #Constraints: 78230
3222.82/3230.98 c #Conflicts: 1798000 | #Constraints: 79230
3222.82/3230.98 c #Conflicts: 1799000 | #Constraints: 80230
3222.82/3230.98 c #Conflicts: 1800000 | #Constraints: 81230
3222.82/3230.98 c INPROCESSING
3222.82/3230.98 c GARBAGE COLLECT
3222.82/3230.98 c #Conflicts: 1801000 | #Constraints: 55644
3222.82/3230.98 c #Conflicts: 1802000 | #Constraints: 56644
3399.18/3407.76 c #Conflicts: 1803000 | #Constraints: 57644
3399.18/3407.76 c #Conflicts: 1804000 | #Constraints: 58644
3399.18/3407.76 c #Conflicts: 1805000 | #Constraints: 59644
3399.18/3407.76 c #Conflicts: 1806000 | #Constraints: 60644
3399.18/3407.76 c #Conflicts: 1807000 | #Constraints: 61644
3399.18/3407.76 c #Conflicts: 1808000 | #Constraints: 62644
3399.18/3407.76 c #Conflicts: 1809000 | #Constraints: 63644
3399.18/3407.76 c #Conflicts: 1810000 | #Constraints: 64644
3399.18/3407.76 c #Conflicts: 1811000 | #Constraints: 65644
3399.18/3407.76 c #Conflicts: 1812000 | #Constraints: 66644
3399.18/3407.76 c #Conflicts: 1813000 | #Constraints: 67644
3399.18/3407.76 c #Conflicts: 1814000 | #Constraints: 68644
3399.18/3407.76 c #Conflicts: 1815000 | #Constraints: 69644
3399.18/3407.76 c #Conflicts: 1816000 | #Constraints: 70644
3399.18/3407.76 c #Conflicts: 1817000 | #Constraints: 71644
3399.18/3407.76 c #Conflicts: 1818000 | #Constraints: 72644
3399.18/3407.76 c #Conflicts: 1819000 | #Constraints: 73644
3399.18/3407.76 c #Conflicts: 1820000 | #Constraints: 74644
3399.18/3407.76 c #Conflicts: 1821000 | #Constraints: 75644
3399.18/3407.76 c #Conflicts: 1822000 | #Constraints: 76644
3399.18/3407.76 c #Conflicts: 1823000 | #Constraints: 77644
3399.18/3407.76 c #Conflicts: 1824000 | #Constraints: 78644
3399.18/3407.76 c #Conflicts: 1825000 | #Constraints: 79644
3399.18/3407.76 c #Conflicts: 1826000 | #Constraints: 80644
3399.18/3407.76 c #Conflicts: 1827000 | #Constraints: 81644
3399.18/3407.76 c INPROCESSING
3399.18/3407.76 c GARBAGE COLLECT
3399.18/3407.76 c #Conflicts: 1828000 | #Constraints: 55847
3399.18/3407.76 c #Conflicts: 1829000 | #Constraints: 56847
3399.18/3407.76 c #Conflicts: 1830000 | #Constraints: 57847
3399.18/3407.76 c #Conflicts: 1831000 | #Constraints: 58847
3399.18/3407.76 c #Conflicts: 1832000 | #Constraints: 59847
3399.18/3407.76 c #Conflicts: 1833000 | #Constraints: 60847
3399.18/3407.76 c #Conflicts: 1834000 | #Constraints: 61847
3399.18/3407.76 c #Conflicts: 1835000 | #Constraints: 62847
3399.18/3407.76 c #Conflicts: 1836000 | #Constraints: 63847
3399.18/3407.76 c #Conflicts: 1837000 | #Constraints: 64847
3399.18/3407.76 c #Conflicts: 1838000 | #Constraints: 65847
3399.18/3407.76 c #Conflicts: 1839000 | #Constraints: 66847
3399.18/3407.76 c #Conflicts: 1840000 | #Constraints: 67847
3399.18/3407.76 c #Conflicts: 1841000 | #Constraints: 68847
3399.18/3407.76 c #Conflicts: 1842000 | #Constraints: 69847
3399.18/3407.76 c #Conflicts: 1843000 | #Constraints: 70847
3399.18/3407.76 c #Conflicts: 1844000 | #Constraints: 71847
3399.18/3407.76 c #Conflicts: 1845000 | #Constraints: 72847
3399.18/3407.76 c #Conflicts: 1846000 | #Constraints: 73847
3399.18/3407.76 c #Conflicts: 1847000 | #Constraints: 74847
3399.18/3407.76 c #Conflicts: 1848000 | #Constraints: 75847
3399.18/3407.76 c #Conflicts: 1849000 | #Constraints: 76847
3399.18/3407.76 c #Conflicts: 1850000 | #Constraints: 77847
3399.18/3407.76 c #Conflicts: 1851000 | #Constraints: 78847
3399.18/3407.76 c #Conflicts: 1852000 | #Constraints: 79847
3399.18/3407.76 c #Conflicts: 1853000 | #Constraints: 80847
3399.18/3407.76 c #Conflicts: 1854000 | #Constraints: 81847
3399.18/3407.76 c INPROCESSING
3399.18/3407.76 c GARBAGE COLLECT
3399.18/3407.76 c #Conflicts: 1855000 | #Constraints: 55843
3399.18/3407.76 c #Conflicts: 1856000 | #Constraints: 56843
3399.18/3407.76 c #Conflicts: 1857000 | #Constraints: 57843
3399.18/3407.76 c #Conflicts: 1858000 | #Constraints: 58843
3399.18/3407.76 c #Conflicts: 1859000 | #Constraints: 59843
3399.18/3407.76 c #Conflicts: 1860000 | #Constraints: 60843
3399.18/3407.76 c #Conflicts: 1861000 | #Constraints: 61843
3399.18/3407.76 c #Conflicts: 1862000 | #Constraints: 62843
3399.18/3407.76 c #Conflicts: 1863000 | #Constraints: 63843
3399.18/3407.76 c #Conflicts: 1864000 | #Constraints: 64843
3399.18/3407.76 c #Conflicts: 1865000 | #Constraints: 65843
3399.18/3407.76 c #Conflicts: 1866000 | #Constraints: 66843
3399.18/3407.76 c #Conflicts: 1867000 | #Constraints: 67843
3399.18/3407.76 c #Conflicts: 1868000 | #Constraints: 68843
3399.18/3407.76 c #Conflicts: 1869000 | #Constraints: 69843
3399.18/3407.76 c #Conflicts: 1870000 | #Constraints: 70843
3399.18/3407.76 c #Conflicts: 1871000 | #Constraints: 71843
3399.18/3407.76 c #Conflicts: 1872000 | #Constraints: 72843
3399.18/3407.76 c #Conflicts: 1873000 | #Constraints: 73843
3399.18/3407.76 c #Conflicts: 1874000 | #Constraints: 74843
3399.18/3407.76 c #Conflicts: 1875000 | #Constraints: 75843
3399.18/3407.76 c #Conflicts: 1876000 | #Constraints: 76843
3399.18/3407.76 c #Conflicts: 1877000 | #Constraints: 77843
3399.18/3407.76 c #Conflicts: 1878000 | #Constraints: 78843
3399.18/3407.76 c #Conflicts: 1879000 | #Constraints: 79843
3399.18/3407.76 c #Conflicts: 1880000 | #Constraints: 80843
3579.45/3588.49 c #Conflicts: 1881000 | #Constraints: 81843
3579.45/3588.49 c INPROCESSING
3579.45/3588.49 c GARBAGE COLLECT
3579.45/3588.49 c #Conflicts: 1882000 | #Constraints: 55632
3579.45/3588.49 c #Conflicts: 1883000 | #Constraints: 56632
3579.45/3588.49 c #Conflicts: 1884000 | #Constraints: 57632
3579.45/3588.49 c #Conflicts: 1885000 | #Constraints: 58632
3579.45/3588.49 c #Conflicts: 1886000 | #Constraints: 59632
3579.45/3588.49 c #Conflicts: 1887000 | #Constraints: 60632
3579.45/3588.49 c #Conflicts: 1888000 | #Constraints: 61632
3579.45/3588.49 c #Conflicts: 1889000 | #Constraints: 62632
3579.45/3588.49 c #Conflicts: 1890000 | #Constraints: 63632
3579.45/3588.49 c #Conflicts: 1891000 | #Constraints: 64632
3579.45/3588.49 c #Conflicts: 1892000 | #Constraints: 65632
3579.45/3588.49 c #Conflicts: 1893000 | #Constraints: 66632
3579.45/3588.49 c #Conflicts: 1894000 | #Constraints: 67632
3579.45/3588.49 c #Conflicts: 1895000 | #Constraints: 68632
3579.45/3588.49 c #Conflicts: 1896000 | #Constraints: 69632
3579.45/3588.49 c #Conflicts: 1897000 | #Constraints: 70632
3579.45/3588.49 c #Conflicts: 1898000 | #Constraints: 71632
3579.45/3588.49 c #Conflicts: 1899000 | #Constraints: 72632
3579.45/3588.49 c #Conflicts: 1900000 | #Constraints: 73632
3579.45/3588.49 c #Conflicts: 1901000 | #Constraints: 74632
3579.45/3588.49 c #Conflicts: 1902000 | #Constraints: 75632
3579.45/3588.49 c #Conflicts: 1903000 | #Constraints: 76632
3579.45/3588.49 c #Conflicts: 1904000 | #Constraints: 77632
3579.45/3588.49 c #Conflicts: 1905000 | #Constraints: 78632
3579.45/3588.49 c #Conflicts: 1906000 | #Constraints: 79632
3579.45/3588.49 c #Conflicts: 1907000 | #Constraints: 80632
3579.45/3588.49 c #Conflicts: 1908000 | #Constraints: 81632
3579.45/3588.49 c #Conflicts: 1909000 | #Constraints: 82632
3579.45/3588.49 c INPROCESSING
3579.45/3588.49 c GARBAGE COLLECT
3579.45/3588.49 c #Conflicts: 1910000 | #Constraints: 56234
3579.45/3588.49 c #Conflicts: 1911000 | #Constraints: 57234
3579.45/3588.49 c #Conflicts: 1912000 | #Constraints: 58234
3579.45/3588.49 c #Conflicts: 1913000 | #Constraints: 59234
3579.45/3588.49 c #Conflicts: 1914000 | #Constraints: 60234
3579.45/3588.49 c #Conflicts: 1915000 | #Constraints: 61234
3579.45/3588.49 c #Conflicts: 1916000 | #Constraints: 62234
3579.45/3588.49 c #Conflicts: 1917000 | #Constraints: 63234
3579.45/3588.49 c #Conflicts: 1918000 | #Constraints: 64234
3579.45/3588.49 c #Conflicts: 1919000 | #Constraints: 65234
3579.45/3588.49 c #Conflicts: 1920000 | #Constraints: 66234
3579.45/3588.49 c #Conflicts: 1921000 | #Constraints: 67234
3579.45/3588.49 c #Conflicts: 1922000 | #Constraints: 68234
3579.45/3588.49 c #Conflicts: 1923000 | #Constraints: 69234
3579.45/3588.49 c #Conflicts: 1924000 | #Constraints: 70234
3579.45/3588.49 c #Conflicts: 1925000 | #Constraints: 71234
3579.45/3588.49 c #Conflicts: 1926000 | #Constraints: 72234
3579.45/3588.49 c #Conflicts: 1927000 | #Constraints: 73234
3579.45/3588.49 c #Conflicts: 1928000 | #Constraints: 74234
3579.45/3588.49 c #Conflicts: 1929000 | #Constraints: 75234
3579.45/3588.49 c #Conflicts: 1930000 | #Constraints: 76234
3579.45/3588.49 c #Conflicts: 1931000 | #Constraints: 77234
3579.45/3588.49 c #Conflicts: 1932000 | #Constraints: 78234
3579.45/3588.49 c #Conflicts: 1933000 | #Constraints: 79234
3579.45/3588.49 c #Conflicts: 1934000 | #Constraints: 80234
3579.45/3588.49 c #Conflicts: 1935000 | #Constraints: 81234
3579.45/3588.49 c #Conflicts: 1936000 | #Constraints: 82234
3579.45/3588.49 c #Conflicts: 1937000 | #Constraints: 83234
3579.45/3588.49 c INPROCESSING
3579.45/3588.49 c GARBAGE COLLECT
3579.45/3588.49 c #Conflicts: 1938000 | #Constraints: 56649
3579.45/3588.49 c #Conflicts: 1939000 | #Constraints: 57649
3579.45/3588.49 c #Conflicts: 1940000 | #Constraints: 58649
3579.45/3588.49 c #Conflicts: 1941000 | #Constraints: 59649
3579.45/3588.49 c #Conflicts: 1942000 | #Constraints: 60649
3579.45/3588.49 c #Conflicts: 1943000 | #Constraints: 61649
3579.45/3588.49 c #Conflicts: 1944000 | #Constraints: 62649
3579.45/3588.49 c #Conflicts: 1945000 | #Constraints: 63649
3579.45/3588.49 c #Conflicts: 1946000 | #Constraints: 64649
3579.45/3588.49 c #Conflicts: 1947000 | #Constraints: 65649
3579.45/3588.49 c #Conflicts: 1948000 | #Constraints: 66649
3579.45/3588.49 c #Conflicts: 1949000 | #Constraints: 67649
3579.45/3588.49 c #Conflicts: 1950000 | #Constraints: 68649
3579.45/3588.49 c #Conflicts: 1951000 | #Constraints: 69649
3579.45/3588.49 c #Conflicts: 1952000 | #Constraints: 70649
3579.45/3588.49 c #Conflicts: 1953000 | #Constraints: 71649
3579.45/3588.49 c #Conflicts: 1954000 | #Constraints: 72649
3579.45/3588.49 c #Conflicts: 1955000 | #Constraints: 73649
3579.45/3588.49 c #Conflicts: 1956000 | #Constraints: 74649
3579.45/3588.49 c #Conflicts: 1957000 | #Constraints: 75649
3600.00/3609.00 c #Conflicts: 1958000 | #Constraints: 76649
3600.00/3609.00 c #Conflicts: 1959000 | #Constraints: 77649
3600.00/3609.00 c #Conflicts: 1960000 | #Constraints: 78649
3600.00/3609.00 c #Conflicts: 1961000 | #Constraints: 79649
3600.00/3609.00 c #Conflicts: 1962000 | #Constraints: 80649
3600.00/3609.00 c #Conflicts: 1963000 | #Constraints: 81649
3600.00/3609.00 c Program interrupted by user.
3600.00/3609.00 c cpu time 3592.35 s
3600.00/3609.00 c deterministic time 614440764856 6.14e+11
3600.00/3609.00 c optimization time 65.7742 s
3600.00/3609.00 c total solve time 3227.42 s
3600.00/3609.00 c core-guided solve time 3227.42 s
3600.00/3609.00 c propagation time 3151.65 s
3600.00/3609.00 c conflict analysis time 108.4 s
3600.00/3609.00 c propagations 40876697
3600.00/3609.00 c resolve steps 14208618
3600.00/3609.00 c decisions 2581430
3600.00/3609.00 c conflicts 1963367
3600.00/3609.00 c restarts 3834
3600.00/3609.00 c inprocessing phases 130
3600.00/3609.00 c input clauses 27965
3600.00/3609.00 c input cardinalities 18
3600.00/3609.00 c input general constraints 0
3600.00/3609.00 c input average constraint length 2.40
3600.00/3609.00 c input average constraint degree 1.29
3600.00/3609.00 c learned clauses 1197930
3600.00/3609.00 c learned cardinalities 529071
3600.00/3609.00 c learned general constraints 236366
3600.00/3609.00 c learned average constraint length 551.63
3600.00/3609.00 c learned average constraint degree 10.99
3600.00/3609.00 c watched constraints 236366
3600.00/3609.00 c counting constraints 0
3600.00/3609.00 c gcd simplifications 123692
3600.00/3609.00 c detected cardinalities 34626
3600.00/3609.00 c weakened non-implied lits 19671064
3600.00/3609.00 c weakened non-implying lits 73155
3600.00/3609.00 c original variables 595
3600.00/3609.00 c clausal propagations 28525975
3600.00/3609.00 c cardinality propagations 6836898
3600.00/3609.00 c watched propagations 930698
3600.00/3609.00 c counting propagations 0
3600.00/3609.00 c watch lookups 29827957754
3600.00/3609.00 c watch backjump lookups 4510615
3600.00/3609.00 c watch checks 581241702106
3600.00/3609.00 c propagation checks 1020222845
3600.00/3609.00 c constraint additions 2257492571
3600.00/3609.00 c trail pops 45420837
3600.00/3609.00 c formula constraints 27842
3600.00/3609.00 c learned constraints 1963367
3600.00/3609.00 c bound constraints 18
3600.00/3609.00 c core-guided constraints 123
3600.00/3609.00 c encountered formula constraints 11755107
3600.00/3609.00 c encountered learned constraints 4391904
3600.00/3609.00 c encountered bound constraints 2108
3600.00/3609.00 c encountered core-guided constraints 22866
3600.00/3609.00 c LP total time 0 s
3600.00/3609.00 c LP solve time 0 s
3600.00/3609.00 c LP constraints added 0
3600.00/3609.00 c LP constraints removed 0
3600.00/3609.00 c LP pivots internal 0
3600.00/3609.00 c LP pivots root 0
3600.00/3609.00 c LP calls 0
3600.00/3609.00 c LP optimalities 0
3600.00/3609.00 c LP no pivot count 0
3600.00/3609.00 c LP infeasibilities 0
3600.00/3609.00 c LP valid Farkas constraints 0
3600.00/3609.00 c LP learned Farkas constraints 0
3600.00/3609.00 c LP basis resets 0
3600.00/3609.00 c LP cycling count 0
3600.00/3609.00 c LP singular count 0
3600.00/3609.00 c LP no primal count 0
3600.00/3609.00 c LP no farkas count 0
3600.00/3609.00 c LP other issue count 0
3600.00/3609.00 c LP Gomory cuts 0
3600.00/3609.00 c LP learned cuts 0
3600.00/3609.00 c LP deleted cuts 0
3600.00/3609.00 c LP encountered Gomory constraints 0
3600.00/3609.00 c LP encountered Farkas constraints 0
3600.00/3609.00 c LP encountered learned Farkas constraints 0
3600.00/3609.00 c CG auxiliary variables introduced 123
3600.00/3609.00 c CG solutions found 0
3600.00/3609.00 c CG cores constructed 17
3600.00/3609.00 c CG core cardinality constraints returned 0
3600.00/3609.00 c CG unit cores 0
3600.00/3609.00 c CG single cores 17
3600.00/3609.00 c CG blocks removed during cardinality reduction 0
3600.00/3609.00 c CG first core best 0
3600.00/3609.00 c CG decision core best 0
3600.00/3609.00 c CG core reduction tie 0
3600.00/3609.00 c CG core degree average 1.00
3600.00/3609.00 c CG core slack average 6.06
3600.00/3609.00 c CG exhausted 0
3600.00/3609.00 c CG exhaust time 0 s
3600.00/3609.00 c CG trimmed 2
3600.00/3609.00 c CG trim time 8.6e-05 s
3600.00/3609.00 c CG minimized 0
3600.00/3609.00 c CG minimize time 0 s
3600.00/3609.00 c CG am1 prop time 0.002338 s
3600.00/3609.00 c CG # am1s reformulated 123
3600.00/3609.00 c CG lower bound derived from am1s 471
3600.00/3609.00 c CG # clausal cores 17
3600.00/3609.00 c CG # cardinality cores 0
3600.00/3609.00 c CG # pb cores 0
3600.00/3609.00 c CG # pb reforms 0
3600.00/3609.00 c CG # cores discarded because of pb reform 0
3600.00/3609.00 d LOWERBOUND -107
3600.00/3609.00 d NCORES 17
3600.00/3609.00 d NPBCORES 0
3600.00/3609.00 d NPBREFORM 0
3600.00/3609.00 d NTRIMMED 2
3600.00/3609.00 d NEXHAUSTED 0
3600.00/3609.00 d NAM1S 123
3600.00/3609.00 d AM1LB 471
3600.00/3609.00 c [Papilo Statistics]
3600.00/3609.00 c prepro time 0.0356903s
3600.00/3609.00 c # tsx applied 0
3600.00/3609.00 c # tsx conflicts 0
3600.00/3609.00 c # bound changes 0
3600.00/3609.00 c # side changes 0
3600.00/3609.00 c # coef changes 0
3600.00/3609.00 c # rounds 1
3600.00/3609.00 c # deted vars 0
3600.00/3609.00 c # deted constrs 0
3600.00/3609.00 c # consecutive rounds of only bound changes 0
3600.00/3609.00 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62401 MiB free)
memory of node 1: 64507 MiB (62069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485127-1751283615/watcher-4485127-1751283615 -o /tmp/evaluation-result-4485127-1751283615/solver-4485127-1751283615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38724 --watchdog 3760 mixed-bag HOME/instance-4485127-1751283615.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39792, runsolver pid=39789
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.49 4.20 4.11 5/266 39793
/proc/meminfo: memFree=127442968/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=103916 memory=29400 CPUtime=0.08 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 5490 0 0 0 8 0 0 0 20 0 1 0 44039293 106409984 7350 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 25979 7350 3680 2842 0 7673 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103916 KiB
Current children cumulated memory: 29400 KiB
[startup+0.205611 s]*
/proc/loadavg: 4.49 4.20 4.11 5/266 39793
/proc/meminfo: memFree=127394836/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=154344 memory=79704 CPUtime=0.19 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 17762 0 0 0 17 2 0 0 20 0 1 0 44039293 158048256 19926 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 38586 19926 4032 2842 0 20280 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 154344 KiB
Current children cumulated memory: 79704 KiB
[startup+0.305519 s]*
/proc/loadavg: 4.45 4.20 4.11 5/266 39793
/proc/meminfo: memFree=127394836/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=156992 memory=82284 CPUtime=0.29 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 19524 0 0 0 27 2 0 0 20 0 1 0 44039293 160759808 20571 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 39248 20571 4032 2842 0 20942 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 156992 KiB
Current children cumulated memory: 82284 KiB
[startup+0.700151 s]
/proc/loadavg: 4.45 4.20 4.11 5/266 39793
/proc/meminfo: memFree=127367620/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=230608 memory=151620 CPUtime=0.68 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 34183 0 0 0 63 5 0 0 20 0 1 0 44039293 236142592 37905 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 57652 37905 4256 2842 0 39346 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 230608 KiB
Current children cumulated memory: 151620 KiB
[startup+1.50013 s]
/proc/loadavg: 4.45 4.20 4.11 5/266 39793
/proc/meminfo: memFree=127323204/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=250044 memory=166304 CPUtime=1.47 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 37358 0 0 0 142 5 0 0 20 0 1 0 44039293 256045056 41576 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 62511 41576 4256 2842 0 44205 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 250044 KiB
Current children cumulated memory: 166304 KiB
[startup+3.10535 s]
/proc/loadavg: 4.45 4.20 4.11 5/266 39793
/proc/meminfo: memFree=127318148/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=255720 memory=166816 CPUtime=3.08 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 37473 0 0 0 302 6 0 0 20 0 1 0 44039293 261857280 41704 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 63930 41704 4256 2842 0 45624 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 255720 KiB
Current children cumulated memory: 166816 KiB
[startup+6.30012 s]
/proc/loadavg: 4.42 4.20 4.11 5/266 39793
/proc/meminfo: memFree=127308612/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=275736 memory=171424 CPUtime=6.27 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 38651 0 0 0 621 6 0 0 20 0 1 0 44039293 282353664 42856 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 68934 42856 4256 2842 0 50628 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 275736 KiB
Current children cumulated memory: 171424 KiB
[startup+12.7001 s]
/proc/loadavg: 4.46 4.21 4.12 5/266 39793
/proc/meminfo: memFree=127245868/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=339484 memory=209696 CPUtime=12.64 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 48218 0 0 0 1257 7 0 0 20 0 1 0 44039293 347631616 52424 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 84871 52424 4256 2842 0 66565 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 339484 KiB
Current children cumulated memory: 209696 KiB
[startup+25.5001 s]
/proc/loadavg: 4.55 4.24 4.13 5/266 39793
/proc/meminfo: memFree=127180596/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=357784 memory=213600 CPUtime=25.42 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 48681 0 0 0 2534 8 0 0 20 0 1 0 44039293 366370816 53400 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 89446 53400 4256 2842 0 71140 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 357784 KiB
Current children cumulated memory: 213600 KiB
[startup+51.1053 s]
/proc/loadavg: 4.44 4.25 4.13 5/267 39795
/proc/meminfo: memFree=127076400/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=421624 memory=259388 CPUtime=50.95 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 58625 0 0 0 5085 10 0 0 20 0 1 0 44039293 431742976 64847 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 105406 64847 4256 2842 0 87100 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 421624 KiB
Current children cumulated memory: 259388 KiB
[startup+102.3 s]
/proc/loadavg: 4.31 4.24 4.13 5/266 39797
/proc/meminfo: memFree=126991256/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=482136 memory=296244 CPUtime=102 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 75069 0 0 0 10187 13 0 0 20 0 1 0 44039293 493707264 74061 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 120534 74061 4288 2842 0 102228 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 482136 KiB
Current children cumulated memory: 296244 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/265 39799
/proc/meminfo: memFree=126818860/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=552132 memory=366028 CPUtime=161.84 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 92006 0 0 0 16166 18 0 0 20 0 1 0 44039293 565383168 91507 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 138033 91507 4416 2842 0 119727 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 552132 KiB
Current children cumulated memory: 366028 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.12 5/265 39801
/proc/meminfo: memFree=126709412/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=637512 memory=423528 CPUtime=221.67 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 104828 0 0 0 22147 20 0 0 20 0 1 0 44039293 652812288 105882 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 159378 105882 4416 2842 0 141072 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 637512 KiB
Current children cumulated memory: 423528 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/264 39803
/proc/meminfo: memFree=126718736/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=689768 memory=474852 CPUtime=281.5 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 114117 0 0 0 28128 22 0 0 20 0 1 0 44039293 706322432 118713 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 172442 118713 4416 2842 0 154136 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 689768 KiB
Current children cumulated memory: 474852 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 39805
/proc/meminfo: memFree=126790944/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=590632 memory=372096 CPUtime=341.35 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 116089 0 0 0 34073 62 0 0 20 0 1 0 44039293 604807168 93024 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 147658 93024 4576 2842 0 129352 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 590632 KiB
Current children cumulated memory: 372096 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.19 4.13 5/263 39807
/proc/meminfo: memFree=126716796/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=590632 memory=383704 CPUtime=401.2 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 116429 0 0 0 40024 96 0 0 20 0 1 0 44039293 604807168 95926 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 147658 95926 4576 2842 0 129352 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 590632 KiB
Current children cumulated memory: 383704 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/264 39810
/proc/meminfo: memFree=126710224/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=590632 memory=389848 CPUtime=461.04 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 116435 0 0 0 45981 123 0 0 20 0 1 0 44039293 604807168 97462 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 147658 97462 4576 2842 0 129352 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 586188 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 39938
/proc/meminfo: memFree=125981452/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=586188 CPUtime=2855.08 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118253 0 0 0 284849 659 0 0 20 0 1 0 44039293 687656960 146547 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 146547 4576 2842 0 149579 0
Current children cumulated CPU time: 2855.08 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 586188 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 39940
/proc/meminfo: memFree=125977484/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=586188 CPUtime=2914.93 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118253 0 0 0 290826 667 0 0 20 0 1 0 44039293 687656960 146547 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 146547 4576 2842 0 149579 0
Current children cumulated CPU time: 2914.93 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 586188 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 39945
/proc/meminfo: memFree=125973276/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=586188 CPUtime=2974.8 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118253 0 0 0 296804 676 0 0 20 0 1 0 44039293 687656960 146547 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 146547 4576 2842 0 149579 0
Current children cumulated CPU time: 2974.8 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 586188 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 39953
/proc/meminfo: memFree=125968904/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=586188 CPUtime=3034.66 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118253 0 0 0 302782 684 0 0 20 0 1 0 44039293 687656960 146547 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 146547 4576 2842 0 149579 0
Current children cumulated CPU time: 3034.66 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 586188 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 39954
/proc/meminfo: memFree=125960568/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=590284 CPUtime=3094.51 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118255 0 0 0 308759 692 0 0 20 0 1 0 44039293 687656960 147571 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 147571 4576 2842 0 149579 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 590284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 39957
/proc/meminfo: memFree=125968432/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=590284 CPUtime=3154.38 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118255 0 0 0 314737 701 0 0 20 0 1 0 44039293 687656960 147571 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 147571 4576 2842 0 149579 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 590284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 39959
/proc/meminfo: memFree=125964600/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=590284 CPUtime=3214.23 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118255 0 0 0 320713 710 0 0 20 0 1 0 44039293 687656960 147571 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 147571 4576 2842 0 149579 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 590284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 39961
/proc/meminfo: memFree=125964696/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=590284 CPUtime=3274.09 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118255 0 0 0 326692 717 0 0 20 0 1 0 44039293 687656960 147571 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 147571 4576 2842 0 149579 0
Current children cumulated CPU time: 3274.09 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 590284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 40052
/proc/meminfo: memFree=126826456/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=671540 memory=592332 CPUtime=3333.94 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118256 0 0 0 332667 727 0 0 20 0 1 0 44039293 687656960 148083 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 167885 148083 4576 2842 0 149579 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 671540 KiB
Current children cumulated memory: 592332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 40055
/proc/meminfo: memFree=126589616/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=752928 memory=593228 CPUtime=3393.79 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118566 0 0 0 338644 735 0 0 20 0 1 0 44039293 770998272 148307 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 188232 148307 4576 2842 0 169926 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 752928 KiB
Current children cumulated memory: 593228 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 40058
/proc/meminfo: memFree=126429008/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=752928 memory=596428 CPUtime=3453.66 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118832 0 0 0 344621 745 0 0 20 0 1 0 44039293 770998272 149107 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 188232 149107 4576 2842 0 169926 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 752928 KiB
Current children cumulated memory: 596428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 40060
/proc/meminfo: memFree=126222148/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=752928 memory=596428 CPUtime=3513.52 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118832 0 0 0 350597 755 0 0 20 0 1 0 44039293 770998272 149107 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 188232 149107 4576 2842 0 169926 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 752928 KiB
Current children cumulated memory: 596428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 40111
/proc/meminfo: memFree=126319924/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=752928 memory=596428 CPUtime=3573.36 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118832 0 0 0 356572 764 0 0 20 0 1 0 44039293 770998272 149107 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 188232 149107 4576 2842 0 169926 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 752928 KiB
Current children cumulated memory: 596428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 40112
/proc/meminfo: memFree=126443396/131249996 swapFree=33010684/33010684
[pid=39792] ppid=39789 vsize=752928 memory=596428 CPUtime=3600 cores=4,6
/proc/39792/stat : 39792 (mixed-bag) R 39789 39792 38713 0 -1 4194304 118832 0 0 0 359234 766 0 0 20 0 1 0 44039293 770998272 149107 18446744073709551615 4235264 15874749 140728766895936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34283520 140728766900636 140728766900713 140728766900713 140728766906315 0
/proc/39792/statm: 188232 149107 4576 2842 0 169926 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 752928 KiB
Current children cumulated memory: 596428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 39792 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.35 s, system=7.66898 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.02
CPU user time (s): 3592.35
CPU system time (s): 7.66898
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 752928
Max. memory (cumulated for all children) (KiB): 596428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.35
system time used= 7.66898
maximum resident set size= 597196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118856
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= 203
involuntary context switches= 1511
# summary of solver processes directly reported to runsolver:
# pid: 39792
# total CPU time (s): 3600.02
# total CPU user time (s): 3592.35
# total CPU system time (s): 7.66898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35359 second user time and 15.0676 second system time
The end
Begin job on nodeC022 at 2025-06-30 13:40:15
IDJOB=4485127
IDBENCH=146694
IDSOLVER=3340
FILE ID=nodeC022/4485127-1751283615
RUNJOBID= nodeC022-1751279693-38724
SLURM_JOB_ID= 9594218
Free space on /tmp= 433012 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485127-1751283615/watcher-4485127-1751283615 -o /tmp/evaluation-result-4485127-1751283615/solver-4485127-1751283615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38724 --watchdog 3760 mixed-bag HOME/instance-4485127-1751283615.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d
RANDOM SEED=1502680154
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.696
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.684
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.924
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3646.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.704
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3693.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.945
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127459084 kB
MemAvailable: 128268204 kB
Buffers: 3280 kB
Cached: 1612264 kB
SwapCached: 0 kB
Active: 1842436 kB
Inactive: 1362660 kB
Active(anon): 1607612 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1362660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16260 kB
Writeback: 4 kB
AnonPages: 1590808 kB
Mapped: 137244 kB
Shmem: 18060 kB
KReclaimable: 101348 kB
Slab: 188068 kB
SReclaimable: 101348 kB
SUnreclaim: 86720 kB
KernelStack: 4304 kB
PageTables: 6844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2610700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 135168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC022 at 2025-06-30 14:40:25