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.08/0.10 c Papilo could not simplify the problem
0.08/0.10 c [STEP] solving with SCIP
299.19/300.19 c [STEP] preprocessing done, loading into solver
299.29/300.23 c [STEP] solving
299.29/300.23 c #variables 596 #constraints 27931
299.29/300.23 c SMALL=int, LARGE=long long
299.29/300.23 d SCIPUB -33
299.29/300.23 c bounds - >= -595 @ 299.104
299.29/300.23 c stratification level: 0
319.74/320.71 c bounds - >= -115 @ 299.116
319.74/320.71 c bounds - >= -114 @ 299.117
319.74/320.71 c bounds - >= -113 @ 299.117
319.74/320.71 c bounds - >= -112 @ 299.117
319.74/320.71 c bounds - >= -111 @ 299.118
319.74/320.71 c bounds - >= -110 @ 299.118
319.74/320.71 c bounds - >= -109 @ 299.119
319.74/320.71 c bounds - >= -108 @ 299.119
319.74/320.71 c bounds - >= -107 @ 299.12
319.74/320.71 c bounds - >= -106 @ 299.12
319.74/320.71 c bounds - >= -105 @ 299.12
319.74/320.71 c bounds - >= -104 @ 299.12
319.74/320.71 c #Conflicts: 1000 | #Constraints: 29058
319.74/320.71 c #Conflicts: 2000 | #Constraints: 30058
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 3000 | #Constraints: 30056
319.74/320.71 c #Conflicts: 4000 | #Constraints: 31056
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 5000 | #Constraints: 30464
319.74/320.71 c #Conflicts: 6000 | #Constraints: 31464
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 7000 | #Constraints: 30471
319.74/320.71 c #Conflicts: 8000 | #Constraints: 31471
319.74/320.71 c #Conflicts: 9000 | #Constraints: 32471
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 10000 | #Constraints: 31171
319.74/320.71 c #Conflicts: 11000 | #Constraints: 32171
319.74/320.71 c #Conflicts: 12000 | #Constraints: 33171
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 13000 | #Constraints: 31625
319.74/320.71 c #Conflicts: 14000 | #Constraints: 32625
319.74/320.71 c #Conflicts: 15000 | #Constraints: 33625
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 16000 | #Constraints: 31866
319.74/320.71 c #Conflicts: 17000 | #Constraints: 32866
319.74/320.71 c #Conflicts: 18000 | #Constraints: 33866
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 19000 | #Constraints: 31882
319.74/320.71 c #Conflicts: 20000 | #Constraints: 32882
319.74/320.71 c #Conflicts: 21000 | #Constraints: 33882
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 22000 | #Constraints: 31691
319.74/320.71 c #Conflicts: 23000 | #Constraints: 32691
319.74/320.71 c #Conflicts: 24000 | #Constraints: 33691
319.74/320.71 c #Conflicts: 25000 | #Constraints: 34691
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 26000 | #Constraints: 32288
319.74/320.71 c #Conflicts: 27000 | #Constraints: 33288
319.74/320.71 c #Conflicts: 28000 | #Constraints: 34288
319.74/320.71 c #Conflicts: 29000 | #Constraints: 35288
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 30000 | #Constraints: 32703
319.74/320.71 c #Conflicts: 31000 | #Constraints: 33703
319.74/320.71 c #Conflicts: 32000 | #Constraints: 34703
319.74/320.71 c #Conflicts: 33000 | #Constraints: 35703
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 34000 | #Constraints: 32895
319.74/320.71 c #Conflicts: 35000 | #Constraints: 33895
319.74/320.71 c #Conflicts: 36000 | #Constraints: 34895
319.74/320.71 c #Conflicts: 37000 | #Constraints: 35895
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 38000 | #Constraints: 32901
319.74/320.71 c #Conflicts: 39000 | #Constraints: 33901
319.74/320.71 c #Conflicts: 40000 | #Constraints: 34901
319.74/320.71 c #Conflicts: 41000 | #Constraints: 35901
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 42000 | #Constraints: 32706
319.74/320.71 c #Conflicts: 43000 | #Constraints: 33706
319.74/320.71 c #Conflicts: 44000 | #Constraints: 34706
319.74/320.71 c #Conflicts: 45000 | #Constraints: 35706
319.74/320.71 c #Conflicts: 46000 | #Constraints: 36706
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 47000 | #Constraints: 33298
319.74/320.71 c #Conflicts: 48000 | #Constraints: 34298
319.74/320.71 c #Conflicts: 49000 | #Constraints: 35298
319.74/320.71 c #Conflicts: 50000 | #Constraints: 36298
319.74/320.71 c #Conflicts: 51000 | #Constraints: 37298
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 52000 | #Constraints: 33701
319.74/320.71 c #Conflicts: 53000 | #Constraints: 34701
319.74/320.71 c #Conflicts: 54000 | #Constraints: 35701
319.74/320.71 c #Conflicts: 55000 | #Constraints: 36701
319.74/320.71 c #Conflicts: 56000 | #Constraints: 37701
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 57000 | #Constraints: 33915
319.74/320.71 c #Conflicts: 58000 | #Constraints: 34915
319.74/320.71 c #Conflicts: 59000 | #Constraints: 35915
319.74/320.71 c #Conflicts: 60000 | #Constraints: 36915
319.74/320.71 c #Conflicts: 61000 | #Constraints: 37915
319.74/320.71 c INPROCESSING
319.74/320.71 c GARBAGE COLLECT
319.74/320.71 c #Conflicts: 62000 | #Constraints: 33920
354.75/355.86 c #Conflicts: 63000 | #Constraints: 34920
354.75/355.86 c #Conflicts: 64000 | #Constraints: 35920
354.75/355.86 c #Conflicts: 65000 | #Constraints: 36920
354.75/355.86 c #Conflicts: 66000 | #Constraints: 37920
354.75/355.86 c INPROCESSING
354.75/355.86 c GARBAGE COLLECT
354.75/355.86 c #Conflicts: 67000 | #Constraints: 33704
354.75/355.86 c #Conflicts: 68000 | #Constraints: 34704
354.75/355.86 c #Conflicts: 69000 | #Constraints: 35704
354.75/355.86 c #Conflicts: 70000 | #Constraints: 36704
354.75/355.86 c #Conflicts: 71000 | #Constraints: 37704
354.75/355.86 c #Conflicts: 72000 | #Constraints: 38704
354.75/355.86 c INPROCESSING
354.75/355.86 c GARBAGE COLLECT
354.75/355.86 c #Conflicts: 73000 | #Constraints: 34298
354.75/355.86 c #Conflicts: 74000 | #Constraints: 35298
354.75/355.86 c #Conflicts: 75000 | #Constraints: 36298
354.75/355.86 c #Conflicts: 76000 | #Constraints: 37298
354.75/355.86 c #Conflicts: 77000 | #Constraints: 38298
354.75/355.86 c #Conflicts: 78000 | #Constraints: 39298
354.75/355.86 c INPROCESSING
354.75/355.86 c GARBAGE COLLECT
354.75/355.86 c #Conflicts: 79000 | #Constraints: 34708
354.75/355.86 c #Conflicts: 80000 | #Constraints: 35708
354.75/355.86 c #Conflicts: 81000 | #Constraints: 36708
354.75/355.86 c #Conflicts: 82000 | #Constraints: 37708
354.75/355.86 c #Conflicts: 83000 | #Constraints: 38708
354.75/355.86 c #Conflicts: 84000 | #Constraints: 39708
354.75/355.86 c INPROCESSING
354.75/355.86 c GARBAGE COLLECT
354.75/355.86 c #Conflicts: 85000 | #Constraints: 34914
354.75/355.86 c #Conflicts: 86000 | #Constraints: 35914
354.75/355.86 c #Conflicts: 87000 | #Constraints: 36914
354.75/355.86 c #Conflicts: 88000 | #Constraints: 37914
354.75/355.86 c #Conflicts: 89000 | #Constraints: 38914
354.75/355.86 c #Conflicts: 90000 | #Constraints: 39914
354.75/355.86 c INPROCESSING
354.75/355.86 c GARBAGE COLLECT
354.75/355.86 c #Conflicts: 91000 | #Constraints: 34916
354.75/355.86 c #Conflicts: 92000 | #Constraints: 35916
354.75/355.86 c #Conflicts: 93000 | #Constraints: 36916
354.75/355.86 c #Conflicts: 94000 | #Constraints: 37916
354.75/355.86 c #Conflicts: 95000 | #Constraints: 38916
354.75/355.86 c #Conflicts: 96000 | #Constraints: 39916
354.75/355.86 c INPROCESSING
354.75/355.86 c GARBAGE COLLECT
354.75/355.86 c #Conflicts: 97000 | #Constraints: 34720
354.75/355.87 c #Conflicts: 98000 | #Constraints: 35720
354.75/355.87 c #Conflicts: 99000 | #Constraints: 36720
354.75/355.87 c #Conflicts: 100000 | #Constraints: 37720
354.75/355.87 c #Conflicts: 101000 | #Constraints: 38720
354.75/355.87 c #Conflicts: 102000 | #Constraints: 39720
354.75/355.87 c #Conflicts: 103000 | #Constraints: 40720
354.75/355.87 c INPROCESSING
354.75/355.87 c GARBAGE COLLECT
354.75/355.87 c #Conflicts: 104000 | #Constraints: 35314
354.75/355.87 c #Conflicts: 105000 | #Constraints: 36314
354.75/355.87 c #Conflicts: 106000 | #Constraints: 37314
354.75/355.87 c #Conflicts: 107000 | #Constraints: 38314
354.75/355.87 c #Conflicts: 108000 | #Constraints: 39314
354.75/355.87 c #Conflicts: 109000 | #Constraints: 40314
354.75/355.87 c #Conflicts: 110000 | #Constraints: 41314
354.75/355.87 c INPROCESSING
354.75/355.87 c GARBAGE COLLECT
354.75/355.87 c #Conflicts: 111000 | #Constraints: 35708
354.75/355.87 c #Conflicts: 112000 | #Constraints: 36708
354.75/355.87 c #Conflicts: 113000 | #Constraints: 37708
354.75/355.87 c #Conflicts: 114000 | #Constraints: 38708
354.75/355.87 c #Conflicts: 115000 | #Constraints: 39708
354.75/355.87 c #Conflicts: 116000 | #Constraints: 40708
354.75/355.87 c #Conflicts: 117000 | #Constraints: 41708
354.75/355.87 c INPROCESSING
354.75/355.87 c GARBAGE COLLECT
354.75/355.87 c #Conflicts: 118000 | #Constraints: 35925
354.75/355.87 c #Conflicts: 119000 | #Constraints: 36925
354.75/355.87 c #Conflicts: 120000 | #Constraints: 37925
354.75/355.87 c #Conflicts: 121000 | #Constraints: 38925
354.75/355.87 c #Conflicts: 122000 | #Constraints: 39925
354.75/355.87 c #Conflicts: 123000 | #Constraints: 40925
354.75/355.87 c #Conflicts: 124000 | #Constraints: 41925
354.75/355.87 c INPROCESSING
354.75/355.87 c GARBAGE COLLECT
354.75/355.87 c #Conflicts: 125000 | #Constraints: 35916
354.75/355.87 c #Conflicts: 126000 | #Constraints: 36916
354.75/355.87 c #Conflicts: 127000 | #Constraints: 37916
354.75/355.87 c #Conflicts: 128000 | #Constraints: 38916
354.75/355.87 c #Conflicts: 129000 | #Constraints: 39916
354.75/355.87 c #Conflicts: 130000 | #Constraints: 40916
354.75/355.87 c #Conflicts: 131000 | #Constraints: 41916
354.75/355.87 c INPROCESSING
354.75/355.87 c GARBAGE COLLECT
354.75/355.87 c #Conflicts: 132000 | #Constraints: 35722
354.75/355.87 c #Conflicts: 133000 | #Constraints: 36722
354.75/355.87 c #Conflicts: 134000 | #Constraints: 37722
400.44/401.63 c #Conflicts: 135000 | #Constraints: 38722
400.44/401.63 c #Conflicts: 136000 | #Constraints: 39722
400.44/401.63 c #Conflicts: 137000 | #Constraints: 40722
400.44/401.63 c #Conflicts: 138000 | #Constraints: 41722
400.44/401.63 c #Conflicts: 139000 | #Constraints: 42722
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 140000 | #Constraints: 36313
400.44/401.63 c #Conflicts: 141000 | #Constraints: 37313
400.44/401.63 c #Conflicts: 142000 | #Constraints: 38313
400.44/401.63 c #Conflicts: 143000 | #Constraints: 39313
400.44/401.63 c #Conflicts: 144000 | #Constraints: 40313
400.44/401.63 c #Conflicts: 145000 | #Constraints: 41313
400.44/401.63 c #Conflicts: 146000 | #Constraints: 42313
400.44/401.63 c #Conflicts: 147000 | #Constraints: 43313
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 148000 | #Constraints: 36703
400.44/401.63 c #Conflicts: 149000 | #Constraints: 37703
400.44/401.63 c #Conflicts: 150000 | #Constraints: 38703
400.44/401.63 c #Conflicts: 151000 | #Constraints: 39703
400.44/401.63 c #Conflicts: 152000 | #Constraints: 40703
400.44/401.63 c #Conflicts: 153000 | #Constraints: 41703
400.44/401.63 c #Conflicts: 154000 | #Constraints: 42703
400.44/401.63 c #Conflicts: 155000 | #Constraints: 43703
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 156000 | #Constraints: 36922
400.44/401.63 c #Conflicts: 157000 | #Constraints: 37922
400.44/401.63 c #Conflicts: 158000 | #Constraints: 38922
400.44/401.63 c #Conflicts: 159000 | #Constraints: 39922
400.44/401.63 c #Conflicts: 160000 | #Constraints: 40922
400.44/401.63 c #Conflicts: 161000 | #Constraints: 41922
400.44/401.63 c #Conflicts: 162000 | #Constraints: 42922
400.44/401.63 c #Conflicts: 163000 | #Constraints: 43922
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 164000 | #Constraints: 36943
400.44/401.63 c #Conflicts: 165000 | #Constraints: 37943
400.44/401.63 c #Conflicts: 166000 | #Constraints: 38943
400.44/401.63 c #Conflicts: 167000 | #Constraints: 39943
400.44/401.63 c #Conflicts: 168000 | #Constraints: 40943
400.44/401.63 c #Conflicts: 169000 | #Constraints: 41943
400.44/401.63 c #Conflicts: 170000 | #Constraints: 42943
400.44/401.63 c #Conflicts: 171000 | #Constraints: 43943
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 172000 | #Constraints: 36736
400.44/401.63 c #Conflicts: 173000 | #Constraints: 37736
400.44/401.63 c #Conflicts: 174000 | #Constraints: 38736
400.44/401.63 c #Conflicts: 175000 | #Constraints: 39736
400.44/401.63 c #Conflicts: 176000 | #Constraints: 40736
400.44/401.63 c #Conflicts: 177000 | #Constraints: 41736
400.44/401.63 c #Conflicts: 178000 | #Constraints: 42736
400.44/401.63 c #Conflicts: 179000 | #Constraints: 43736
400.44/401.63 c #Conflicts: 180000 | #Constraints: 44736
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 181000 | #Constraints: 37344
400.44/401.63 c #Conflicts: 182000 | #Constraints: 38344
400.44/401.63 c #Conflicts: 183000 | #Constraints: 39344
400.44/401.63 c #Conflicts: 184000 | #Constraints: 40344
400.44/401.63 c #Conflicts: 185000 | #Constraints: 41344
400.44/401.63 c #Conflicts: 186000 | #Constraints: 42344
400.44/401.63 c #Conflicts: 187000 | #Constraints: 43344
400.44/401.63 c #Conflicts: 188000 | #Constraints: 44344
400.44/401.63 c #Conflicts: 189000 | #Constraints: 45344
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 190000 | #Constraints: 37739
400.44/401.63 c #Conflicts: 191000 | #Constraints: 38739
400.44/401.63 c #Conflicts: 192000 | #Constraints: 39739
400.44/401.63 c #Conflicts: 193000 | #Constraints: 40739
400.44/401.63 c #Conflicts: 194000 | #Constraints: 41739
400.44/401.63 c #Conflicts: 195000 | #Constraints: 42739
400.44/401.63 c #Conflicts: 196000 | #Constraints: 43739
400.44/401.63 c #Conflicts: 197000 | #Constraints: 44739
400.44/401.63 c #Conflicts: 198000 | #Constraints: 45739
400.44/401.63 c INPROCESSING
400.44/401.63 c GARBAGE COLLECT
400.44/401.63 c #Conflicts: 199000 | #Constraints: 37932
400.44/401.63 c #Conflicts: 200000 | #Constraints: 38932
400.44/401.63 c #Conflicts: 201000 | #Constraints: 39932
400.44/401.63 c #Conflicts: 202000 | #Constraints: 40932
400.44/401.63 c #Conflicts: 203000 | #Constraints: 41932
400.44/401.63 c #Conflicts: 204000 | #Constraints: 42932
400.44/401.63 c #Conflicts: 205000 | #Constraints: 43932
400.44/401.63 c #Conflicts: 206000 | #Constraints: 44932
400.44/401.63 c #Conflicts: 207000 | #Constraints: 45932
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 208000 | #Constraints: 37934
453.71/455.04 c #Conflicts: 209000 | #Constraints: 38934
453.71/455.04 c #Conflicts: 210000 | #Constraints: 39934
453.71/455.04 c #Conflicts: 211000 | #Constraints: 40934
453.71/455.04 c #Conflicts: 212000 | #Constraints: 41934
453.71/455.04 c #Conflicts: 213000 | #Constraints: 42934
453.71/455.04 c #Conflicts: 214000 | #Constraints: 43934
453.71/455.04 c #Conflicts: 215000 | #Constraints: 44934
453.71/455.04 c #Conflicts: 216000 | #Constraints: 45934
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 217000 | #Constraints: 37736
453.71/455.04 c #Conflicts: 218000 | #Constraints: 38736
453.71/455.04 c #Conflicts: 219000 | #Constraints: 39736
453.71/455.04 c #Conflicts: 220000 | #Constraints: 40736
453.71/455.04 c #Conflicts: 221000 | #Constraints: 41736
453.71/455.04 c #Conflicts: 222000 | #Constraints: 42736
453.71/455.04 c #Conflicts: 223000 | #Constraints: 43736
453.71/455.04 c #Conflicts: 224000 | #Constraints: 44736
453.71/455.04 c #Conflicts: 225000 | #Constraints: 45736
453.71/455.04 c #Conflicts: 226000 | #Constraints: 46736
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 227000 | #Constraints: 38329
453.71/455.04 c #Conflicts: 228000 | #Constraints: 39329
453.71/455.04 c #Conflicts: 229000 | #Constraints: 40329
453.71/455.04 c #Conflicts: 230000 | #Constraints: 41329
453.71/455.04 c #Conflicts: 231000 | #Constraints: 42329
453.71/455.04 c #Conflicts: 232000 | #Constraints: 43329
453.71/455.04 c #Conflicts: 233000 | #Constraints: 44329
453.71/455.04 c #Conflicts: 234000 | #Constraints: 45329
453.71/455.04 c #Conflicts: 235000 | #Constraints: 46329
453.71/455.04 c #Conflicts: 236000 | #Constraints: 47329
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 237000 | #Constraints: 38729
453.71/455.04 c #Conflicts: 238000 | #Constraints: 39729
453.71/455.04 c #Conflicts: 239000 | #Constraints: 40729
453.71/455.04 c #Conflicts: 240000 | #Constraints: 41729
453.71/455.04 c #Conflicts: 241000 | #Constraints: 42729
453.71/455.04 c #Conflicts: 242000 | #Constraints: 43729
453.71/455.04 c #Conflicts: 243000 | #Constraints: 44729
453.71/455.04 c #Conflicts: 244000 | #Constraints: 45729
453.71/455.04 c #Conflicts: 245000 | #Constraints: 46729
453.71/455.04 c #Conflicts: 246000 | #Constraints: 47729
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 247000 | #Constraints: 38931
453.71/455.04 c #Conflicts: 248000 | #Constraints: 39931
453.71/455.04 c #Conflicts: 249000 | #Constraints: 40931
453.71/455.04 c #Conflicts: 250000 | #Constraints: 41931
453.71/455.04 c #Conflicts: 251000 | #Constraints: 42931
453.71/455.04 c #Conflicts: 252000 | #Constraints: 43931
453.71/455.04 c #Conflicts: 253000 | #Constraints: 44931
453.71/455.04 c #Conflicts: 254000 | #Constraints: 45931
453.71/455.04 c #Conflicts: 255000 | #Constraints: 46931
453.71/455.04 c #Conflicts: 256000 | #Constraints: 47931
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 257000 | #Constraints: 38940
453.71/455.04 c #Conflicts: 258000 | #Constraints: 39940
453.71/455.04 c #Conflicts: 259000 | #Constraints: 40940
453.71/455.04 c #Conflicts: 260000 | #Constraints: 41940
453.71/455.04 c #Conflicts: 261000 | #Constraints: 42940
453.71/455.04 c #Conflicts: 262000 | #Constraints: 43940
453.71/455.04 c #Conflicts: 263000 | #Constraints: 44940
453.71/455.04 c #Conflicts: 264000 | #Constraints: 45940
453.71/455.04 c #Conflicts: 265000 | #Constraints: 46940
453.71/455.04 c #Conflicts: 266000 | #Constraints: 47940
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 267000 | #Constraints: 38732
453.71/455.04 c #Conflicts: 268000 | #Constraints: 39732
453.71/455.04 c #Conflicts: 269000 | #Constraints: 40732
453.71/455.04 c #Conflicts: 270000 | #Constraints: 41732
453.71/455.04 c #Conflicts: 271000 | #Constraints: 42732
453.71/455.04 c #Conflicts: 272000 | #Constraints: 43732
453.71/455.04 c #Conflicts: 273000 | #Constraints: 44732
453.71/455.04 c #Conflicts: 274000 | #Constraints: 45732
453.71/455.04 c #Conflicts: 275000 | #Constraints: 46732
453.71/455.04 c #Conflicts: 276000 | #Constraints: 47732
453.71/455.04 c #Conflicts: 277000 | #Constraints: 48732
453.71/455.04 c INPROCESSING
453.71/455.04 c GARBAGE COLLECT
453.71/455.04 c #Conflicts: 278000 | #Constraints: 39329
453.71/455.04 c #Conflicts: 279000 | #Constraints: 40329
453.71/455.04 c #Conflicts: 280000 | #Constraints: 41329
453.71/455.04 c #Conflicts: 281000 | #Constraints: 42329
518.54/520.06 c #Conflicts: 282000 | #Constraints: 43329
518.54/520.06 c #Conflicts: 283000 | #Constraints: 44329
518.54/520.06 c #Conflicts: 284000 | #Constraints: 45329
518.54/520.06 c #Conflicts: 285000 | #Constraints: 46329
518.54/520.06 c #Conflicts: 286000 | #Constraints: 47329
518.54/520.06 c #Conflicts: 287000 | #Constraints: 48329
518.54/520.06 c #Conflicts: 288000 | #Constraints: 49329
518.54/520.06 c INPROCESSING
518.54/520.06 c GARBAGE COLLECT
518.54/520.06 c #Conflicts: 289000 | #Constraints: 39733
518.54/520.06 c #Conflicts: 290000 | #Constraints: 40733
518.54/520.06 c #Conflicts: 291000 | #Constraints: 41733
518.54/520.06 c #Conflicts: 292000 | #Constraints: 42733
518.54/520.06 c #Conflicts: 293000 | #Constraints: 43733
518.54/520.06 c #Conflicts: 294000 | #Constraints: 44733
518.54/520.06 c #Conflicts: 295000 | #Constraints: 45733
518.54/520.06 c #Conflicts: 296000 | #Constraints: 46733
518.54/520.06 c #Conflicts: 297000 | #Constraints: 47733
518.54/520.06 c #Conflicts: 298000 | #Constraints: 48733
518.54/520.06 c #Conflicts: 299000 | #Constraints: 49733
518.54/520.06 c INPROCESSING
518.54/520.06 c GARBAGE COLLECT
518.54/520.06 c #Conflicts: 300000 | #Constraints: 39942
518.54/520.06 c #Conflicts: 301000 | #Constraints: 40942
518.54/520.06 c #Conflicts: 302000 | #Constraints: 41942
518.54/520.06 c #Conflicts: 303000 | #Constraints: 42942
518.54/520.06 c #Conflicts: 304000 | #Constraints: 43942
518.54/520.06 c #Conflicts: 305000 | #Constraints: 44942
518.54/520.06 c #Conflicts: 306000 | #Constraints: 45942
518.54/520.06 c #Conflicts: 307000 | #Constraints: 46942
518.54/520.06 c #Conflicts: 308000 | #Constraints: 47942
518.54/520.06 c #Conflicts: 309000 | #Constraints: 48942
518.54/520.06 c #Conflicts: 310000 | #Constraints: 49942
518.54/520.06 c INPROCESSING
518.54/520.06 c GARBAGE COLLECT
518.54/520.06 c #Conflicts: 311000 | #Constraints: 39941
518.54/520.06 c #Conflicts: 312000 | #Constraints: 40941
518.54/520.06 c #Conflicts: 313000 | #Constraints: 41941
518.54/520.06 c #Conflicts: 314000 | #Constraints: 42941
518.54/520.06 c #Conflicts: 315000 | #Constraints: 43941
518.54/520.06 c #Conflicts: 316000 | #Constraints: 44941
518.54/520.06 c #Conflicts: 317000 | #Constraints: 45941
518.54/520.06 c #Conflicts: 318000 | #Constraints: 46941
518.54/520.06 c #Conflicts: 319000 | #Constraints: 47941
518.54/520.06 c #Conflicts: 320000 | #Constraints: 48941
518.54/520.06 c #Conflicts: 321000 | #Constraints: 49941
518.54/520.06 c INPROCESSING
518.54/520.06 c GARBAGE COLLECT
518.54/520.06 c #Conflicts: 322000 | #Constraints: 39746
518.54/520.06 c #Conflicts: 323000 | #Constraints: 40746
518.54/520.06 c #Conflicts: 324000 | #Constraints: 41746
518.54/520.06 c #Conflicts: 325000 | #Constraints: 42746
518.54/520.06 c #Conflicts: 326000 | #Constraints: 43746
518.54/520.06 c #Conflicts: 327000 | #Constraints: 44746
518.54/520.06 c #Conflicts: 328000 | #Constraints: 45746
518.54/520.06 c #Conflicts: 329000 | #Constraints: 46746
518.54/520.06 c #Conflicts: 330000 | #Constraints: 47746
518.54/520.06 c #Conflicts: 331000 | #Constraints: 48746
518.54/520.06 c #Conflicts: 332000 | #Constraints: 49746
518.54/520.06 c #Conflicts: 333000 | #Constraints: 50746
518.54/520.06 c INPROCESSING
518.54/520.06 c GARBAGE COLLECT
518.54/520.06 c #Conflicts: 334000 | #Constraints: 40372
518.54/520.06 c #Conflicts: 335000 | #Constraints: 41372
518.54/520.06 c #Conflicts: 336000 | #Constraints: 42372
518.54/520.06 c #Conflicts: 337000 | #Constraints: 43372
518.54/520.06 c #Conflicts: 338000 | #Constraints: 44372
518.54/520.06 c #Conflicts: 339000 | #Constraints: 45372
518.54/520.06 c #Conflicts: 340000 | #Constraints: 46372
518.54/520.06 c #Conflicts: 341000 | #Constraints: 47372
518.54/520.06 c #Conflicts: 342000 | #Constraints: 48372
518.54/520.06 c #Conflicts: 343000 | #Constraints: 49372
518.54/520.06 c #Conflicts: 344000 | #Constraints: 50372
518.54/520.06 c #Conflicts: 345000 | #Constraints: 51372
518.54/520.06 c INPROCESSING
518.54/520.06 c GARBAGE COLLECT
518.54/520.06 c #Conflicts: 346000 | #Constraints: 40754
518.54/520.06 c #Conflicts: 347000 | #Constraints: 41754
518.54/520.06 c #Conflicts: 348000 | #Constraints: 42754
518.54/520.06 c #Conflicts: 349000 | #Constraints: 43754
518.54/520.06 c #Conflicts: 350000 | #Constraints: 44754
518.54/520.06 c #Conflicts: 351000 | #Constraints: 45754
518.54/520.06 c #Conflicts: 352000 | #Constraints: 46754
518.54/520.06 c #Conflicts: 353000 | #Constraints: 47754
518.54/520.06 c #Conflicts: 354000 | #Constraints: 48754
518.54/520.06 c #Conflicts: 355000 | #Constraints: 49754
518.54/520.06 c #Conflicts: 356000 | #Constraints: 50754
588.25/589.96 c #Conflicts: 357000 | #Constraints: 51754
588.25/589.96 c INPROCESSING
588.25/589.96 c GARBAGE COLLECT
588.25/589.96 c #Conflicts: 358000 | #Constraints: 40936
588.25/589.96 c #Conflicts: 359000 | #Constraints: 41936
588.25/589.96 c #Conflicts: 360000 | #Constraints: 42936
588.25/589.96 c #Conflicts: 361000 | #Constraints: 43936
588.25/589.96 c #Conflicts: 362000 | #Constraints: 44936
588.25/589.96 c #Conflicts: 363000 | #Constraints: 45936
588.25/589.96 c #Conflicts: 364000 | #Constraints: 46936
588.25/589.96 c #Conflicts: 365000 | #Constraints: 47936
588.25/589.96 c #Conflicts: 366000 | #Constraints: 48936
588.25/589.96 c #Conflicts: 367000 | #Constraints: 49936
588.25/589.96 c #Conflicts: 368000 | #Constraints: 50936
588.25/589.96 c #Conflicts: 369000 | #Constraints: 51936
588.25/589.96 c INPROCESSING
588.25/589.96 c GARBAGE COLLECT
588.25/589.96 c #Conflicts: 370000 | #Constraints: 40945
588.25/589.96 c #Conflicts: 371000 | #Constraints: 41945
588.25/589.96 c #Conflicts: 372000 | #Constraints: 42945
588.25/589.96 c #Conflicts: 373000 | #Constraints: 43945
588.25/589.96 c #Conflicts: 374000 | #Constraints: 44945
588.25/589.96 c #Conflicts: 375000 | #Constraints: 45945
588.25/589.96 c #Conflicts: 376000 | #Constraints: 46945
588.25/589.96 c #Conflicts: 377000 | #Constraints: 47945
588.25/589.96 c #Conflicts: 378000 | #Constraints: 48945
588.25/589.96 c #Conflicts: 379000 | #Constraints: 49945
588.25/589.96 c #Conflicts: 380000 | #Constraints: 50945
588.25/589.96 c #Conflicts: 381000 | #Constraints: 51945
588.25/589.96 c INPROCESSING
588.25/589.96 c GARBAGE COLLECT
588.25/589.96 c #Conflicts: 382000 | #Constraints: 40754
588.25/589.96 c #Conflicts: 383000 | #Constraints: 41754
588.25/589.96 c #Conflicts: 384000 | #Constraints: 42754
588.25/589.96 c #Conflicts: 385000 | #Constraints: 43754
588.25/589.96 c #Conflicts: 386000 | #Constraints: 44754
588.25/589.96 c #Conflicts: 387000 | #Constraints: 45754
588.25/589.96 c #Conflicts: 388000 | #Constraints: 46754
588.25/589.96 c #Conflicts: 389000 | #Constraints: 47754
588.25/589.96 c #Conflicts: 390000 | #Constraints: 48754
588.25/589.96 c #Conflicts: 391000 | #Constraints: 49754
588.25/589.96 c #Conflicts: 392000 | #Constraints: 50754
588.25/589.96 c #Conflicts: 393000 | #Constraints: 51754
588.25/589.96 c #Conflicts: 394000 | #Constraints: 52754
588.25/589.96 c INPROCESSING
588.25/589.96 c GARBAGE COLLECT
588.25/589.96 c #Conflicts: 395000 | #Constraints: 41339
588.25/589.96 c #Conflicts: 396000 | #Constraints: 42339
588.25/589.96 c #Conflicts: 397000 | #Constraints: 43339
588.25/589.96 c #Conflicts: 398000 | #Constraints: 44339
588.25/589.96 c #Conflicts: 399000 | #Constraints: 45339
588.25/589.96 c #Conflicts: 400000 | #Constraints: 46339
588.25/589.96 c #Conflicts: 401000 | #Constraints: 47339
588.25/589.96 c #Conflicts: 402000 | #Constraints: 48339
588.25/589.96 c #Conflicts: 403000 | #Constraints: 49339
588.25/589.96 c #Conflicts: 404000 | #Constraints: 50339
588.25/589.96 c #Conflicts: 405000 | #Constraints: 51339
588.25/589.96 c #Conflicts: 406000 | #Constraints: 52339
588.25/589.96 c #Conflicts: 407000 | #Constraints: 53339
588.25/589.96 c INPROCESSING
588.25/589.96 c GARBAGE COLLECT
588.25/589.96 c #Conflicts: 408000 | #Constraints: 41740
588.25/589.96 c #Conflicts: 409000 | #Constraints: 42740
588.25/589.96 c #Conflicts: 410000 | #Constraints: 43740
588.25/589.96 c #Conflicts: 411000 | #Constraints: 44740
588.25/589.96 c #Conflicts: 412000 | #Constraints: 45740
588.25/589.96 c #Conflicts: 413000 | #Constraints: 46740
588.25/589.96 c #Conflicts: 414000 | #Constraints: 47740
588.25/589.96 c #Conflicts: 415000 | #Constraints: 48740
588.25/589.96 c #Conflicts: 416000 | #Constraints: 49740
588.25/589.96 c #Conflicts: 417000 | #Constraints: 50740
588.25/589.96 c #Conflicts: 418000 | #Constraints: 51740
588.25/589.96 c #Conflicts: 419000 | #Constraints: 52740
588.25/589.96 c #Conflicts: 420000 | #Constraints: 53740
588.25/589.96 c INPROCESSING
588.25/589.96 c GARBAGE COLLECT
588.25/589.96 c #Conflicts: 421000 | #Constraints: 41924
588.25/589.96 c #Conflicts: 422000 | #Constraints: 42924
588.25/589.96 c #Conflicts: 423000 | #Constraints: 43924
588.25/589.96 c #Conflicts: 424000 | #Constraints: 44924
588.25/589.96 c #Conflicts: 425000 | #Constraints: 45924
588.25/589.96 c #Conflicts: 426000 | #Constraints: 46924
588.25/589.96 c #Conflicts: 427000 | #Constraints: 47924
588.25/589.96 c #Conflicts: 428000 | #Constraints: 48924
588.25/589.96 c #Conflicts: 429000 | #Constraints: 49924
588.25/589.96 c #Conflicts: 430000 | #Constraints: 50924
588.25/589.96 c #Conflicts: 431000 | #Constraints: 51924
653.98/655.81 c #Conflicts: 432000 | #Constraints: 52924
653.98/655.81 c #Conflicts: 433000 | #Constraints: 53924
653.98/655.81 c INPROCESSING
653.98/655.81 c GARBAGE COLLECT
653.98/655.81 c #Conflicts: 434000 | #Constraints: 41952
653.98/655.81 c #Conflicts: 435000 | #Constraints: 42952
653.98/655.81 c #Conflicts: 436000 | #Constraints: 43952
653.98/655.81 c #Conflicts: 437000 | #Constraints: 44952
653.98/655.81 c #Conflicts: 438000 | #Constraints: 45952
653.98/655.81 c #Conflicts: 439000 | #Constraints: 46952
653.98/655.81 c #Conflicts: 440000 | #Constraints: 47952
653.98/655.81 c #Conflicts: 441000 | #Constraints: 48952
653.98/655.81 c #Conflicts: 442000 | #Constraints: 49952
653.98/655.81 c #Conflicts: 443000 | #Constraints: 50952
653.98/655.81 c #Conflicts: 444000 | #Constraints: 51952
653.98/655.81 c #Conflicts: 445000 | #Constraints: 52952
653.98/655.81 c #Conflicts: 446000 | #Constraints: 53952
653.98/655.81 c INPROCESSING
653.98/655.81 c GARBAGE COLLECT
653.98/655.81 c #Conflicts: 447000 | #Constraints: 41742
653.98/655.81 c #Conflicts: 448000 | #Constraints: 42742
653.98/655.81 c #Conflicts: 449000 | #Constraints: 43742
653.98/655.81 c #Conflicts: 450000 | #Constraints: 44742
653.98/655.81 c #Conflicts: 451000 | #Constraints: 45742
653.98/655.81 c #Conflicts: 452000 | #Constraints: 46742
653.98/655.81 c #Conflicts: 453000 | #Constraints: 47742
653.98/655.81 c #Conflicts: 454000 | #Constraints: 48742
653.98/655.81 c #Conflicts: 455000 | #Constraints: 49742
653.98/655.81 c #Conflicts: 456000 | #Constraints: 50742
653.98/655.81 c #Conflicts: 457000 | #Constraints: 51742
653.98/655.81 c #Conflicts: 458000 | #Constraints: 52742
653.98/655.81 c #Conflicts: 459000 | #Constraints: 53742
653.98/655.81 c #Conflicts: 460000 | #Constraints: 54742
653.98/655.81 c INPROCESSING
653.98/655.81 c GARBAGE COLLECT
653.98/655.81 c #Conflicts: 461000 | #Constraints: 42347
653.98/655.81 c #Conflicts: 462000 | #Constraints: 43347
653.98/655.81 c #Conflicts: 463000 | #Constraints: 44347
653.98/655.81 c #Conflicts: 464000 | #Constraints: 45347
653.98/655.81 c #Conflicts: 465000 | #Constraints: 46347
653.98/655.81 c #Conflicts: 466000 | #Constraints: 47347
653.98/655.81 c #Conflicts: 467000 | #Constraints: 48347
653.98/655.81 c #Conflicts: 468000 | #Constraints: 49347
653.98/655.81 c #Conflicts: 469000 | #Constraints: 50347
653.98/655.81 c #Conflicts: 470000 | #Constraints: 51347
653.98/655.81 c #Conflicts: 471000 | #Constraints: 52347
653.98/655.81 c #Conflicts: 472000 | #Constraints: 53347
653.98/655.81 c #Conflicts: 473000 | #Constraints: 54347
653.98/655.81 c #Conflicts: 474000 | #Constraints: 55347
653.98/655.81 c INPROCESSING
653.98/655.81 c GARBAGE COLLECT
653.98/655.81 c #Conflicts: 475000 | #Constraints: 42750
653.98/655.81 c #Conflicts: 476000 | #Constraints: 43750
653.98/655.81 c #Conflicts: 477000 | #Constraints: 44750
653.98/655.81 c #Conflicts: 478000 | #Constraints: 45750
653.98/655.81 c #Conflicts: 479000 | #Constraints: 46750
653.98/655.81 c #Conflicts: 480000 | #Constraints: 47750
653.98/655.81 c #Conflicts: 481000 | #Constraints: 48750
653.98/655.81 c #Conflicts: 482000 | #Constraints: 49750
653.98/655.81 c #Conflicts: 483000 | #Constraints: 50750
653.98/655.81 c #Conflicts: 484000 | #Constraints: 51750
653.98/655.81 c #Conflicts: 485000 | #Constraints: 52750
653.98/655.81 c #Conflicts: 486000 | #Constraints: 53750
653.98/655.81 c #Conflicts: 487000 | #Constraints: 54750
653.98/655.81 c #Conflicts: 488000 | #Constraints: 55750
653.98/655.81 c INPROCESSING
653.98/655.81 c GARBAGE COLLECT
653.98/655.81 c #Conflicts: 489000 | #Constraints: 42935
653.98/655.81 c #Conflicts: 490000 | #Constraints: 43935
653.98/655.81 c #Conflicts: 491000 | #Constraints: 44935
653.98/655.81 c #Conflicts: 492000 | #Constraints: 45935
653.98/655.81 c #Conflicts: 493000 | #Constraints: 46935
653.98/655.81 c #Conflicts: 494000 | #Constraints: 47935
653.98/655.81 c #Conflicts: 495000 | #Constraints: 48935
653.98/655.81 c #Conflicts: 496000 | #Constraints: 49935
653.98/655.81 c #Conflicts: 497000 | #Constraints: 50935
653.98/655.81 c #Conflicts: 498000 | #Constraints: 51935
653.98/655.81 c #Conflicts: 499000 | #Constraints: 52935
653.98/655.81 c #Conflicts: 500000 | #Constraints: 53935
653.98/655.81 c #Conflicts: 501000 | #Constraints: 54935
653.98/655.81 c #Conflicts: 502000 | #Constraints: 55935
653.98/655.81 c INPROCESSING
653.98/655.81 c GARBAGE COLLECT
653.98/655.81 c #Conflicts: 503000 | #Constraints: 42942
653.98/655.81 c #Conflicts: 504000 | #Constraints: 43942
653.98/655.81 c #Conflicts: 505000 | #Constraints: 44942
653.98/655.81 c #Conflicts: 506000 | #Constraints: 45942
738.76/740.81 c #Conflicts: 507000 | #Constraints: 46942
738.76/740.81 c #Conflicts: 508000 | #Constraints: 47942
738.76/740.81 c #Conflicts: 509000 | #Constraints: 48942
738.76/740.81 c #Conflicts: 510000 | #Constraints: 49942
738.76/740.81 c #Conflicts: 511000 | #Constraints: 50942
738.76/740.81 c #Conflicts: 512000 | #Constraints: 51942
738.76/740.81 c #Conflicts: 513000 | #Constraints: 52942
738.76/740.81 c #Conflicts: 514000 | #Constraints: 53942
738.76/740.81 c #Conflicts: 515000 | #Constraints: 54942
738.76/740.81 c #Conflicts: 516000 | #Constraints: 55942
738.76/740.81 c INPROCESSING
738.76/740.81 c GARBAGE COLLECT
738.76/740.81 c #Conflicts: 517000 | #Constraints: 42733
738.76/740.81 c #Conflicts: 518000 | #Constraints: 43733
738.76/740.81 c #Conflicts: 519000 | #Constraints: 44733
738.76/740.81 c #Conflicts: 520000 | #Constraints: 45733
738.76/740.81 c #Conflicts: 521000 | #Constraints: 46733
738.76/740.81 c #Conflicts: 522000 | #Constraints: 47733
738.76/740.81 c #Conflicts: 523000 | #Constraints: 48733
738.76/740.81 c #Conflicts: 524000 | #Constraints: 49733
738.76/740.81 c #Conflicts: 525000 | #Constraints: 50733
738.76/740.81 c #Conflicts: 526000 | #Constraints: 51733
738.76/740.81 c #Conflicts: 527000 | #Constraints: 52733
738.76/740.81 c #Conflicts: 528000 | #Constraints: 53733
738.76/740.81 c #Conflicts: 529000 | #Constraints: 54733
738.76/740.81 c #Conflicts: 530000 | #Constraints: 55733
738.76/740.81 c #Conflicts: 531000 | #Constraints: 56733
738.76/740.81 c INPROCESSING
738.76/740.81 c GARBAGE COLLECT
738.76/740.81 c #Conflicts: 532000 | #Constraints: 43329
738.76/740.81 c #Conflicts: 533000 | #Constraints: 44329
738.76/740.81 c #Conflicts: 534000 | #Constraints: 45329
738.76/740.81 c #Conflicts: 535000 | #Constraints: 46329
738.76/740.81 c #Conflicts: 536000 | #Constraints: 47329
738.76/740.81 c #Conflicts: 537000 | #Constraints: 48329
738.76/740.81 c #Conflicts: 538000 | #Constraints: 49329
738.76/740.81 c #Conflicts: 539000 | #Constraints: 50329
738.76/740.81 c #Conflicts: 540000 | #Constraints: 51329
738.76/740.81 c #Conflicts: 541000 | #Constraints: 52329
738.76/740.81 c #Conflicts: 542000 | #Constraints: 53329
738.76/740.81 c #Conflicts: 543000 | #Constraints: 54329
738.76/740.81 c #Conflicts: 544000 | #Constraints: 55329
738.76/740.81 c #Conflicts: 545000 | #Constraints: 56329
738.76/740.81 c #Conflicts: 546000 | #Constraints: 57329
738.76/740.81 c INPROCESSING
738.76/740.81 c GARBAGE COLLECT
738.76/740.81 c #Conflicts: 547000 | #Constraints: 43748
738.76/740.81 c #Conflicts: 548000 | #Constraints: 44748
738.76/740.81 c #Conflicts: 549000 | #Constraints: 45748
738.76/740.81 c #Conflicts: 550000 | #Constraints: 46748
738.76/740.81 c #Conflicts: 551000 | #Constraints: 47748
738.76/740.81 c #Conflicts: 552000 | #Constraints: 48748
738.76/740.81 c #Conflicts: 553000 | #Constraints: 49748
738.76/740.81 c #Conflicts: 554000 | #Constraints: 50748
738.76/740.81 c #Conflicts: 555000 | #Constraints: 51748
738.76/740.81 c #Conflicts: 556000 | #Constraints: 52748
738.76/740.81 c #Conflicts: 557000 | #Constraints: 53748
738.76/740.81 c #Conflicts: 558000 | #Constraints: 54748
738.76/740.81 c #Conflicts: 559000 | #Constraints: 55748
738.76/740.81 c #Conflicts: 560000 | #Constraints: 56748
738.76/740.81 c #Conflicts: 561000 | #Constraints: 57748
738.76/740.81 c INPROCESSING
738.76/740.81 c GARBAGE COLLECT
738.76/740.81 c #Conflicts: 562000 | #Constraints: 43941
738.76/740.81 c #Conflicts: 563000 | #Constraints: 44941
738.76/740.81 c #Conflicts: 564000 | #Constraints: 45941
738.76/740.81 c #Conflicts: 565000 | #Constraints: 46941
738.76/740.81 c #Conflicts: 566000 | #Constraints: 47941
738.76/740.81 c #Conflicts: 567000 | #Constraints: 48941
738.76/740.81 c #Conflicts: 568000 | #Constraints: 49941
738.76/740.81 c #Conflicts: 569000 | #Constraints: 50941
738.76/740.81 c #Conflicts: 570000 | #Constraints: 51941
738.76/740.81 c #Conflicts: 571000 | #Constraints: 52941
738.76/740.81 c #Conflicts: 572000 | #Constraints: 53941
738.76/740.81 c #Conflicts: 573000 | #Constraints: 54941
738.76/740.81 c #Conflicts: 574000 | #Constraints: 55941
738.76/740.81 c #Conflicts: 575000 | #Constraints: 56941
738.76/740.81 c #Conflicts: 576000 | #Constraints: 57941
738.76/740.81 c INPROCESSING
738.76/740.81 c GARBAGE COLLECT
738.76/740.81 c #Conflicts: 577000 | #Constraints: 43955
738.76/740.81 c #Conflicts: 578000 | #Constraints: 44955
738.76/740.81 c #Conflicts: 579000 | #Constraints: 45955
738.76/740.81 c #Conflicts: 580000 | #Constraints: 46955
738.76/740.81 c #Conflicts: 581000 | #Constraints: 47955
738.76/740.81 c #Conflicts: 582000 | #Constraints: 48955
833.12/835.42 c #Conflicts: 583000 | #Constraints: 49955
833.12/835.42 c #Conflicts: 584000 | #Constraints: 50955
833.12/835.42 c #Conflicts: 585000 | #Constraints: 51955
833.12/835.42 c #Conflicts: 586000 | #Constraints: 52955
833.12/835.42 c #Conflicts: 587000 | #Constraints: 53955
833.12/835.42 c #Conflicts: 588000 | #Constraints: 54955
833.12/835.42 c #Conflicts: 589000 | #Constraints: 55955
833.12/835.42 c #Conflicts: 590000 | #Constraints: 56955
833.12/835.42 c #Conflicts: 591000 | #Constraints: 57955
833.12/835.42 c INPROCESSING
833.12/835.42 c GARBAGE COLLECT
833.12/835.42 c #Conflicts: 592000 | #Constraints: 43745
833.12/835.42 c #Conflicts: 593000 | #Constraints: 44745
833.12/835.42 c #Conflicts: 594000 | #Constraints: 45745
833.12/835.42 c #Conflicts: 595000 | #Constraints: 46745
833.12/835.42 c #Conflicts: 596000 | #Constraints: 47745
833.12/835.42 c #Conflicts: 597000 | #Constraints: 48745
833.12/835.42 c #Conflicts: 598000 | #Constraints: 49745
833.12/835.42 c #Conflicts: 599000 | #Constraints: 50745
833.12/835.42 c #Conflicts: 600000 | #Constraints: 51745
833.12/835.42 c #Conflicts: 601000 | #Constraints: 52745
833.12/835.42 c #Conflicts: 602000 | #Constraints: 53745
833.12/835.42 c #Conflicts: 603000 | #Constraints: 54745
833.12/835.42 c #Conflicts: 604000 | #Constraints: 55745
833.12/835.42 c #Conflicts: 605000 | #Constraints: 56745
833.12/835.42 c #Conflicts: 606000 | #Constraints: 57745
833.12/835.42 c #Conflicts: 607000 | #Constraints: 58745
833.12/835.42 c INPROCESSING
833.12/835.42 c GARBAGE COLLECT
833.12/835.42 c #Conflicts: 608000 | #Constraints: 44350
833.12/835.42 c #Conflicts: 609000 | #Constraints: 45350
833.12/835.42 c #Conflicts: 610000 | #Constraints: 46350
833.12/835.42 c #Conflicts: 611000 | #Constraints: 47350
833.12/835.42 c #Conflicts: 612000 | #Constraints: 48350
833.12/835.42 c #Conflicts: 613000 | #Constraints: 49350
833.12/835.42 c #Conflicts: 614000 | #Constraints: 50350
833.12/835.42 c #Conflicts: 615000 | #Constraints: 51350
833.12/835.42 c #Conflicts: 616000 | #Constraints: 52350
833.12/835.42 c #Conflicts: 617000 | #Constraints: 53350
833.12/835.42 c #Conflicts: 618000 | #Constraints: 54350
833.12/835.42 c #Conflicts: 619000 | #Constraints: 55350
833.12/835.42 c #Conflicts: 620000 | #Constraints: 56350
833.12/835.42 c #Conflicts: 621000 | #Constraints: 57350
833.12/835.42 c #Conflicts: 622000 | #Constraints: 58350
833.12/835.42 c #Conflicts: 623000 | #Constraints: 59350
833.12/835.42 c INPROCESSING
833.12/835.42 c GARBAGE COLLECT
833.12/835.42 c #Conflicts: 624000 | #Constraints: 44747
833.12/835.42 c #Conflicts: 625000 | #Constraints: 45747
833.12/835.42 c #Conflicts: 626000 | #Constraints: 46747
833.12/835.42 c #Conflicts: 627000 | #Constraints: 47747
833.12/835.42 c #Conflicts: 628000 | #Constraints: 48747
833.12/835.42 c #Conflicts: 629000 | #Constraints: 49747
833.12/835.42 c #Conflicts: 630000 | #Constraints: 50747
833.12/835.42 c #Conflicts: 631000 | #Constraints: 51747
833.12/835.42 c #Conflicts: 632000 | #Constraints: 52747
833.12/835.42 c #Conflicts: 633000 | #Constraints: 53747
833.12/835.42 c #Conflicts: 634000 | #Constraints: 54747
833.12/835.42 c #Conflicts: 635000 | #Constraints: 55747
833.12/835.42 c #Conflicts: 636000 | #Constraints: 56747
833.12/835.42 c #Conflicts: 637000 | #Constraints: 57747
833.12/835.42 c #Conflicts: 638000 | #Constraints: 58747
833.12/835.42 c #Conflicts: 639000 | #Constraints: 59747
833.12/835.42 c INPROCESSING
833.12/835.42 c GARBAGE COLLECT
833.12/835.42 c #Conflicts: 640000 | #Constraints: 44941
833.12/835.42 c #Conflicts: 641000 | #Constraints: 45941
833.12/835.42 c #Conflicts: 642000 | #Constraints: 46941
833.12/835.42 c #Conflicts: 643000 | #Constraints: 47941
833.12/835.42 c #Conflicts: 644000 | #Constraints: 48941
833.12/835.42 c #Conflicts: 645000 | #Constraints: 49941
833.12/835.42 c #Conflicts: 646000 | #Constraints: 50941
833.12/835.42 c #Conflicts: 647000 | #Constraints: 51941
833.12/835.42 c #Conflicts: 648000 | #Constraints: 52941
833.12/835.42 c #Conflicts: 649000 | #Constraints: 53941
833.12/835.42 c #Conflicts: 650000 | #Constraints: 54941
833.12/835.42 c #Conflicts: 651000 | #Constraints: 55941
833.12/835.42 c #Conflicts: 652000 | #Constraints: 56941
833.12/835.42 c #Conflicts: 653000 | #Constraints: 57941
833.12/835.42 c #Conflicts: 654000 | #Constraints: 58941
833.12/835.42 c #Conflicts: 655000 | #Constraints: 59941
833.12/835.42 c INPROCESSING
833.12/835.42 c GARBAGE COLLECT
833.12/835.42 c #Conflicts: 656000 | #Constraints: 44953
833.12/835.42 c #Conflicts: 657000 | #Constraints: 45953
926.59/929.16 c #Conflicts: 658000 | #Constraints: 46953
926.59/929.16 c #Conflicts: 659000 | #Constraints: 47953
926.59/929.16 c #Conflicts: 660000 | #Constraints: 48953
926.59/929.16 c #Conflicts: 661000 | #Constraints: 49953
926.59/929.16 c #Conflicts: 662000 | #Constraints: 50953
926.59/929.16 c #Conflicts: 663000 | #Constraints: 51953
926.59/929.16 c #Conflicts: 664000 | #Constraints: 52953
926.59/929.16 c #Conflicts: 665000 | #Constraints: 53953
926.59/929.16 c #Conflicts: 666000 | #Constraints: 54953
926.59/929.16 c #Conflicts: 667000 | #Constraints: 55953
926.59/929.16 c #Conflicts: 668000 | #Constraints: 56953
926.59/929.16 c #Conflicts: 669000 | #Constraints: 57953
926.59/929.16 c #Conflicts: 670000 | #Constraints: 58953
926.59/929.16 c #Conflicts: 671000 | #Constraints: 59953
926.59/929.16 c INPROCESSING
926.59/929.16 c GARBAGE COLLECT
926.59/929.16 c #Conflicts: 672000 | #Constraints: 44746
926.59/929.16 c #Conflicts: 673000 | #Constraints: 45746
926.59/929.16 c #Conflicts: 674000 | #Constraints: 46746
926.59/929.16 c #Conflicts: 675000 | #Constraints: 47746
926.59/929.16 c #Conflicts: 676000 | #Constraints: 48746
926.59/929.16 c #Conflicts: 677000 | #Constraints: 49746
926.59/929.16 c #Conflicts: 678000 | #Constraints: 50746
926.59/929.16 c #Conflicts: 679000 | #Constraints: 51746
926.59/929.16 c #Conflicts: 680000 | #Constraints: 52746
926.59/929.16 c #Conflicts: 681000 | #Constraints: 53746
926.59/929.16 c #Conflicts: 682000 | #Constraints: 54746
926.59/929.16 c #Conflicts: 683000 | #Constraints: 55746
926.59/929.16 c #Conflicts: 684000 | #Constraints: 56746
926.59/929.16 c #Conflicts: 685000 | #Constraints: 57746
926.59/929.16 c #Conflicts: 686000 | #Constraints: 58746
926.59/929.16 c #Conflicts: 687000 | #Constraints: 59746
926.59/929.16 c #Conflicts: 688000 | #Constraints: 60746
926.59/929.16 c INPROCESSING
926.59/929.16 c GARBAGE COLLECT
926.59/929.16 c #Conflicts: 689000 | #Constraints: 45350
926.59/929.16 c #Conflicts: 690000 | #Constraints: 46350
926.59/929.16 c #Conflicts: 691000 | #Constraints: 47350
926.59/929.16 c #Conflicts: 692000 | #Constraints: 48350
926.59/929.16 c #Conflicts: 693000 | #Constraints: 49350
926.59/929.16 c #Conflicts: 694000 | #Constraints: 50350
926.59/929.16 c #Conflicts: 695000 | #Constraints: 51350
926.59/929.16 c #Conflicts: 696000 | #Constraints: 52350
926.59/929.16 c #Conflicts: 697000 | #Constraints: 53350
926.59/929.16 c #Conflicts: 698000 | #Constraints: 54350
926.59/929.16 c #Conflicts: 699000 | #Constraints: 55350
926.59/929.16 c #Conflicts: 700000 | #Constraints: 56350
926.59/929.16 c #Conflicts: 701000 | #Constraints: 57350
926.59/929.16 c #Conflicts: 702000 | #Constraints: 58350
926.59/929.16 c #Conflicts: 703000 | #Constraints: 59350
926.59/929.16 c #Conflicts: 704000 | #Constraints: 60350
926.59/929.16 c #Conflicts: 705000 | #Constraints: 61350
926.59/929.16 c INPROCESSING
926.59/929.16 c GARBAGE COLLECT
926.59/929.16 c #Conflicts: 706000 | #Constraints: 45765
926.59/929.16 c #Conflicts: 707000 | #Constraints: 46765
926.59/929.16 c #Conflicts: 708000 | #Constraints: 47765
926.59/929.16 c #Conflicts: 709000 | #Constraints: 48765
926.59/929.16 c #Conflicts: 710000 | #Constraints: 49765
926.59/929.16 c #Conflicts: 711000 | #Constraints: 50765
926.59/929.16 c #Conflicts: 712000 | #Constraints: 51765
926.59/929.16 c #Conflicts: 713000 | #Constraints: 52765
926.59/929.16 c #Conflicts: 714000 | #Constraints: 53765
926.59/929.16 c #Conflicts: 715000 | #Constraints: 54765
926.59/929.16 c #Conflicts: 716000 | #Constraints: 55765
926.59/929.16 c #Conflicts: 717000 | #Constraints: 56765
926.59/929.16 c #Conflicts: 718000 | #Constraints: 57765
926.59/929.16 c #Conflicts: 719000 | #Constraints: 58765
926.59/929.16 c #Conflicts: 720000 | #Constraints: 59765
926.59/929.16 c #Conflicts: 721000 | #Constraints: 60765
926.59/929.16 c #Conflicts: 722000 | #Constraints: 61765
926.59/929.16 c INPROCESSING
926.59/929.16 c GARBAGE COLLECT
926.59/929.16 c #Conflicts: 723000 | #Constraints: 45954
926.59/929.16 c #Conflicts: 724000 | #Constraints: 46954
926.59/929.16 c #Conflicts: 725000 | #Constraints: 47954
926.59/929.16 c #Conflicts: 726000 | #Constraints: 48954
926.59/929.16 c #Conflicts: 727000 | #Constraints: 49954
926.59/929.16 c #Conflicts: 728000 | #Constraints: 50954
926.59/929.16 c #Conflicts: 729000 | #Constraints: 51954
926.59/929.16 c #Conflicts: 730000 | #Constraints: 52954
926.59/929.16 c #Conflicts: 731000 | #Constraints: 53954
926.59/929.16 c #Conflicts: 732000 | #Constraints: 54954
926.59/929.16 c #Conflicts: 733000 | #Constraints: 55954
1034.60/1037.48 c #Conflicts: 734000 | #Constraints: 56954
1034.60/1037.48 c #Conflicts: 735000 | #Constraints: 57954
1034.60/1037.48 c #Conflicts: 736000 | #Constraints: 58954
1034.60/1037.48 c #Conflicts: 737000 | #Constraints: 59954
1034.60/1037.48 c #Conflicts: 738000 | #Constraints: 60954
1034.60/1037.48 c #Conflicts: 739000 | #Constraints: 61954
1034.60/1037.48 c INPROCESSING
1034.60/1037.48 c GARBAGE COLLECT
1034.60/1037.48 c #Conflicts: 740000 | #Constraints: 45961
1034.60/1037.48 c #Conflicts: 741000 | #Constraints: 46961
1034.60/1037.48 c #Conflicts: 742000 | #Constraints: 47961
1034.60/1037.48 c #Conflicts: 743000 | #Constraints: 48961
1034.60/1037.48 c #Conflicts: 744000 | #Constraints: 49961
1034.60/1037.48 c #Conflicts: 745000 | #Constraints: 50961
1034.60/1037.48 c #Conflicts: 746000 | #Constraints: 51961
1034.60/1037.48 c #Conflicts: 747000 | #Constraints: 52961
1034.60/1037.48 c #Conflicts: 748000 | #Constraints: 53961
1034.60/1037.48 c #Conflicts: 749000 | #Constraints: 54961
1034.60/1037.48 c #Conflicts: 750000 | #Constraints: 55961
1034.60/1037.48 c #Conflicts: 751000 | #Constraints: 56961
1034.60/1037.48 c #Conflicts: 752000 | #Constraints: 57961
1034.60/1037.48 c #Conflicts: 753000 | #Constraints: 58961
1034.60/1037.48 c #Conflicts: 754000 | #Constraints: 59961
1034.60/1037.48 c #Conflicts: 755000 | #Constraints: 60961
1034.60/1037.48 c #Conflicts: 756000 | #Constraints: 61961
1034.60/1037.48 c INPROCESSING
1034.60/1037.48 c GARBAGE COLLECT
1034.60/1037.48 c #Conflicts: 757000 | #Constraints: 45760
1034.60/1037.48 c #Conflicts: 758000 | #Constraints: 46760
1034.60/1037.48 c #Conflicts: 759000 | #Constraints: 47760
1034.60/1037.48 c #Conflicts: 760000 | #Constraints: 48760
1034.60/1037.48 c #Conflicts: 761000 | #Constraints: 49760
1034.60/1037.48 c #Conflicts: 762000 | #Constraints: 50760
1034.60/1037.48 c #Conflicts: 763000 | #Constraints: 51760
1034.60/1037.48 c #Conflicts: 764000 | #Constraints: 52760
1034.60/1037.48 c #Conflicts: 765000 | #Constraints: 53760
1034.60/1037.48 c #Conflicts: 766000 | #Constraints: 54760
1034.60/1037.48 c #Conflicts: 767000 | #Constraints: 55760
1034.60/1037.48 c #Conflicts: 768000 | #Constraints: 56760
1034.60/1037.48 c #Conflicts: 769000 | #Constraints: 57760
1034.60/1037.48 c #Conflicts: 770000 | #Constraints: 58760
1034.60/1037.48 c #Conflicts: 771000 | #Constraints: 59760
1034.60/1037.48 c #Conflicts: 772000 | #Constraints: 60760
1034.60/1037.48 c #Conflicts: 773000 | #Constraints: 61760
1034.60/1037.48 c #Conflicts: 774000 | #Constraints: 62760
1034.60/1037.48 c INPROCESSING
1034.60/1037.48 c GARBAGE COLLECT
1034.60/1037.48 c #Conflicts: 775000 | #Constraints: 46348
1034.60/1037.48 c #Conflicts: 776000 | #Constraints: 47348
1034.60/1037.48 c #Conflicts: 777000 | #Constraints: 48348
1034.60/1037.48 c #Conflicts: 778000 | #Constraints: 49348
1034.60/1037.48 c #Conflicts: 779000 | #Constraints: 50348
1034.60/1037.48 c #Conflicts: 780000 | #Constraints: 51348
1034.60/1037.48 c #Conflicts: 781000 | #Constraints: 52348
1034.60/1037.48 c #Conflicts: 782000 | #Constraints: 53348
1034.60/1037.48 c #Conflicts: 783000 | #Constraints: 54348
1034.60/1037.48 c #Conflicts: 784000 | #Constraints: 55348
1034.60/1037.48 c #Conflicts: 785000 | #Constraints: 56348
1034.60/1037.48 c #Conflicts: 786000 | #Constraints: 57348
1034.60/1037.48 c #Conflicts: 787000 | #Constraints: 58348
1034.60/1037.48 c #Conflicts: 788000 | #Constraints: 59348
1034.60/1037.48 c #Conflicts: 789000 | #Constraints: 60348
1034.60/1037.48 c #Conflicts: 790000 | #Constraints: 61348
1034.60/1037.48 c #Conflicts: 791000 | #Constraints: 62348
1034.60/1037.48 c #Conflicts: 792000 | #Constraints: 63348
1034.60/1037.48 c INPROCESSING
1034.60/1037.48 c GARBAGE COLLECT
1034.60/1037.48 c #Conflicts: 793000 | #Constraints: 46743
1034.60/1037.48 c #Conflicts: 794000 | #Constraints: 47743
1034.60/1037.48 c #Conflicts: 795000 | #Constraints: 48743
1034.60/1037.48 c #Conflicts: 796000 | #Constraints: 49743
1034.60/1037.48 c #Conflicts: 797000 | #Constraints: 50743
1034.60/1037.48 c #Conflicts: 798000 | #Constraints: 51743
1034.60/1037.48 c #Conflicts: 799000 | #Constraints: 52743
1034.60/1037.48 c #Conflicts: 800000 | #Constraints: 53743
1034.60/1037.48 c #Conflicts: 801000 | #Constraints: 54743
1034.60/1037.48 c #Conflicts: 802000 | #Constraints: 55743
1034.60/1037.48 c #Conflicts: 803000 | #Constraints: 56743
1034.60/1037.48 c #Conflicts: 804000 | #Constraints: 57743
1034.60/1037.48 c #Conflicts: 805000 | #Constraints: 58743
1034.60/1037.48 c #Conflicts: 806000 | #Constraints: 59743
1034.60/1037.48 c #Conflicts: 807000 | #Constraints: 60743
1034.60/1037.48 c #Conflicts: 808000 | #Constraints: 61743
1034.60/1037.48 c #Conflicts: 809000 | #Constraints: 62743
1034.60/1037.48 c #Conflicts: 810000 | #Constraints: 63743
1154.48/1157.61 c INPROCESSING
1154.48/1157.61 c GARBAGE COLLECT
1154.48/1157.61 c #Conflicts: 811000 | #Constraints: 46953
1154.48/1157.61 c #Conflicts: 812000 | #Constraints: 47953
1154.48/1157.61 c #Conflicts: 813000 | #Constraints: 48953
1154.48/1157.61 c #Conflicts: 814000 | #Constraints: 49953
1154.48/1157.61 c #Conflicts: 815000 | #Constraints: 50953
1154.48/1157.61 c #Conflicts: 816000 | #Constraints: 51953
1154.48/1157.61 c #Conflicts: 817000 | #Constraints: 52953
1154.48/1157.61 c #Conflicts: 818000 | #Constraints: 53953
1154.48/1157.61 c #Conflicts: 819000 | #Constraints: 54953
1154.48/1157.61 c #Conflicts: 820000 | #Constraints: 55953
1154.48/1157.61 c #Conflicts: 821000 | #Constraints: 56953
1154.48/1157.61 c #Conflicts: 822000 | #Constraints: 57953
1154.48/1157.61 c #Conflicts: 823000 | #Constraints: 58953
1154.48/1157.61 c #Conflicts: 824000 | #Constraints: 59953
1154.48/1157.61 c #Conflicts: 825000 | #Constraints: 60953
1154.48/1157.61 c #Conflicts: 826000 | #Constraints: 61953
1154.48/1157.61 c #Conflicts: 827000 | #Constraints: 62953
1154.48/1157.61 c #Conflicts: 828000 | #Constraints: 63953
1154.48/1157.61 c INPROCESSING
1154.48/1157.61 c GARBAGE COLLECT
1154.48/1157.61 c #Conflicts: 829000 | #Constraints: 46949
1154.48/1157.61 c #Conflicts: 830000 | #Constraints: 47949
1154.48/1157.61 c #Conflicts: 831000 | #Constraints: 48949
1154.48/1157.61 c #Conflicts: 832000 | #Constraints: 49949
1154.48/1157.61 c #Conflicts: 833000 | #Constraints: 50949
1154.48/1157.61 c #Conflicts: 834000 | #Constraints: 51949
1154.48/1157.61 c #Conflicts: 835000 | #Constraints: 52949
1154.48/1157.61 c #Conflicts: 836000 | #Constraints: 53949
1154.48/1157.61 c #Conflicts: 837000 | #Constraints: 54949
1154.48/1157.61 c #Conflicts: 838000 | #Constraints: 55949
1154.48/1157.61 c #Conflicts: 839000 | #Constraints: 56949
1154.48/1157.61 c #Conflicts: 840000 | #Constraints: 57949
1154.48/1157.61 c #Conflicts: 841000 | #Constraints: 58949
1154.48/1157.61 c #Conflicts: 842000 | #Constraints: 59949
1154.48/1157.61 c #Conflicts: 843000 | #Constraints: 60949
1154.48/1157.61 c #Conflicts: 844000 | #Constraints: 61949
1154.48/1157.61 c #Conflicts: 845000 | #Constraints: 62949
1154.48/1157.61 c #Conflicts: 846000 | #Constraints: 63949
1154.48/1157.61 c INPROCESSING
1154.48/1157.61 c GARBAGE COLLECT
1154.48/1157.61 c #Conflicts: 847000 | #Constraints: 46736
1154.48/1157.61 c #Conflicts: 848000 | #Constraints: 47736
1154.48/1157.61 c #Conflicts: 849000 | #Constraints: 48736
1154.48/1157.61 c #Conflicts: 850000 | #Constraints: 49736
1154.48/1157.61 c #Conflicts: 851000 | #Constraints: 50736
1154.48/1157.61 c #Conflicts: 852000 | #Constraints: 51736
1154.48/1157.61 c #Conflicts: 853000 | #Constraints: 52736
1154.48/1157.61 c #Conflicts: 854000 | #Constraints: 53736
1154.48/1157.61 c #Conflicts: 855000 | #Constraints: 54736
1154.48/1157.61 c #Conflicts: 856000 | #Constraints: 55736
1154.48/1157.61 c #Conflicts: 857000 | #Constraints: 56736
1154.48/1157.61 c #Conflicts: 858000 | #Constraints: 57736
1154.48/1157.61 c #Conflicts: 859000 | #Constraints: 58736
1154.48/1157.61 c #Conflicts: 860000 | #Constraints: 59736
1154.48/1157.61 c #Conflicts: 861000 | #Constraints: 60736
1154.48/1157.61 c #Conflicts: 862000 | #Constraints: 61736
1154.48/1157.61 c #Conflicts: 863000 | #Constraints: 62736
1154.48/1157.61 c #Conflicts: 864000 | #Constraints: 63736
1154.48/1157.61 c #Conflicts: 865000 | #Constraints: 64736
1154.48/1157.61 c INPROCESSING
1154.48/1157.61 c GARBAGE COLLECT
1154.48/1157.61 c #Conflicts: 866000 | #Constraints: 47342
1154.48/1157.61 c #Conflicts: 867000 | #Constraints: 48342
1154.48/1157.61 c #Conflicts: 868000 | #Constraints: 49342
1154.48/1157.61 c #Conflicts: 869000 | #Constraints: 50342
1154.48/1157.61 c #Conflicts: 870000 | #Constraints: 51342
1154.48/1157.61 c #Conflicts: 871000 | #Constraints: 52342
1154.48/1157.61 c #Conflicts: 872000 | #Constraints: 53342
1154.48/1157.61 c #Conflicts: 873000 | #Constraints: 54342
1154.48/1157.61 c #Conflicts: 874000 | #Constraints: 55342
1154.48/1157.61 c #Conflicts: 875000 | #Constraints: 56342
1154.48/1157.61 c #Conflicts: 876000 | #Constraints: 57342
1154.48/1157.61 c #Conflicts: 877000 | #Constraints: 58342
1154.48/1157.61 c #Conflicts: 878000 | #Constraints: 59342
1154.48/1157.61 c #Conflicts: 879000 | #Constraints: 60342
1154.48/1157.61 c #Conflicts: 880000 | #Constraints: 61342
1154.48/1157.61 c #Conflicts: 881000 | #Constraints: 62342
1154.48/1157.61 c #Conflicts: 882000 | #Constraints: 63342
1154.48/1157.61 c #Conflicts: 883000 | #Constraints: 64342
1154.48/1157.61 c #Conflicts: 884000 | #Constraints: 65342
1154.48/1157.61 c INPROCESSING
1154.48/1157.61 c GARBAGE COLLECT
1154.48/1157.61 c #Conflicts: 885000 | #Constraints: 47732
1277.36/1280.83 c #Conflicts: 886000 | #Constraints: 48732
1277.36/1280.83 c #Conflicts: 887000 | #Constraints: 49732
1277.36/1280.83 c #Conflicts: 888000 | #Constraints: 50732
1277.36/1280.83 c #Conflicts: 889000 | #Constraints: 51732
1277.36/1280.83 c #Conflicts: 890000 | #Constraints: 52732
1277.36/1280.83 c #Conflicts: 891000 | #Constraints: 53732
1277.36/1280.83 c #Conflicts: 892000 | #Constraints: 54732
1277.36/1280.83 c #Conflicts: 893000 | #Constraints: 55732
1277.36/1280.83 c #Conflicts: 894000 | #Constraints: 56732
1277.36/1280.83 c #Conflicts: 895000 | #Constraints: 57732
1277.36/1280.83 c #Conflicts: 896000 | #Constraints: 58732
1277.36/1280.83 c #Conflicts: 897000 | #Constraints: 59732
1277.36/1280.83 c #Conflicts: 898000 | #Constraints: 60732
1277.36/1280.83 c #Conflicts: 899000 | #Constraints: 61732
1277.36/1280.83 c #Conflicts: 900000 | #Constraints: 62732
1277.36/1280.83 c #Conflicts: 901000 | #Constraints: 63732
1277.36/1280.83 c #Conflicts: 902000 | #Constraints: 64732
1277.36/1280.83 c #Conflicts: 903000 | #Constraints: 65732
1277.36/1280.83 c INPROCESSING
1277.36/1280.83 c GARBAGE COLLECT
1277.36/1280.83 c #Conflicts: 904000 | #Constraints: 47932
1277.36/1280.83 c #Conflicts: 905000 | #Constraints: 48932
1277.36/1280.83 c #Conflicts: 906000 | #Constraints: 49932
1277.36/1280.83 c #Conflicts: 907000 | #Constraints: 50932
1277.36/1280.83 c #Conflicts: 908000 | #Constraints: 51932
1277.36/1280.83 c #Conflicts: 909000 | #Constraints: 52932
1277.36/1280.83 c #Conflicts: 910000 | #Constraints: 53932
1277.36/1280.83 c #Conflicts: 911000 | #Constraints: 54932
1277.36/1280.83 c #Conflicts: 912000 | #Constraints: 55932
1277.36/1280.83 c #Conflicts: 913000 | #Constraints: 56932
1277.36/1280.83 c #Conflicts: 914000 | #Constraints: 57932
1277.36/1280.83 c #Conflicts: 915000 | #Constraints: 58932
1277.36/1280.83 c #Conflicts: 916000 | #Constraints: 59932
1277.36/1280.83 c #Conflicts: 917000 | #Constraints: 60932
1277.36/1280.83 c #Conflicts: 918000 | #Constraints: 61932
1277.36/1280.83 c #Conflicts: 919000 | #Constraints: 62932
1277.36/1280.83 c #Conflicts: 920000 | #Constraints: 63932
1277.36/1280.83 c #Conflicts: 921000 | #Constraints: 64932
1277.36/1280.83 c #Conflicts: 922000 | #Constraints: 65932
1277.36/1280.83 c INPROCESSING
1277.36/1280.83 c GARBAGE COLLECT
1277.36/1280.83 c #Conflicts: 923000 | #Constraints: 47926
1277.36/1280.83 c #Conflicts: 924000 | #Constraints: 48926
1277.36/1280.83 c #Conflicts: 925000 | #Constraints: 49926
1277.36/1280.83 c #Conflicts: 926000 | #Constraints: 50926
1277.36/1280.83 c #Conflicts: 927000 | #Constraints: 51926
1277.36/1280.83 c #Conflicts: 928000 | #Constraints: 52926
1277.36/1280.83 c #Conflicts: 929000 | #Constraints: 53926
1277.36/1280.83 c #Conflicts: 930000 | #Constraints: 54926
1277.36/1280.83 c #Conflicts: 931000 | #Constraints: 55926
1277.36/1280.83 c #Conflicts: 932000 | #Constraints: 56926
1277.36/1280.83 c #Conflicts: 933000 | #Constraints: 57926
1277.36/1280.83 c #Conflicts: 934000 | #Constraints: 58926
1277.36/1280.83 c #Conflicts: 935000 | #Constraints: 59926
1277.36/1280.83 c #Conflicts: 936000 | #Constraints: 60926
1277.36/1280.83 c #Conflicts: 937000 | #Constraints: 61926
1277.36/1280.83 c #Conflicts: 938000 | #Constraints: 62926
1277.36/1280.83 c #Conflicts: 939000 | #Constraints: 63926
1277.36/1280.83 c #Conflicts: 940000 | #Constraints: 64926
1277.36/1280.83 c #Conflicts: 941000 | #Constraints: 65926
1277.36/1280.83 c INPROCESSING
1277.36/1280.83 c GARBAGE COLLECT
1277.36/1280.83 c #Conflicts: 942000 | #Constraints: 47741
1277.36/1280.83 c #Conflicts: 943000 | #Constraints: 48741
1277.36/1280.83 c #Conflicts: 944000 | #Constraints: 49741
1277.36/1280.83 c #Conflicts: 945000 | #Constraints: 50741
1277.36/1280.83 c #Conflicts: 946000 | #Constraints: 51741
1277.36/1280.83 c #Conflicts: 947000 | #Constraints: 52741
1277.36/1280.83 c #Conflicts: 948000 | #Constraints: 53741
1277.36/1280.83 c #Conflicts: 949000 | #Constraints: 54741
1277.36/1280.83 c #Conflicts: 950000 | #Constraints: 55741
1277.36/1280.83 c #Conflicts: 951000 | #Constraints: 56741
1277.36/1280.83 c #Conflicts: 952000 | #Constraints: 57741
1277.36/1280.83 c #Conflicts: 953000 | #Constraints: 58741
1277.36/1280.83 c #Conflicts: 954000 | #Constraints: 59741
1277.36/1280.83 c #Conflicts: 955000 | #Constraints: 60741
1277.36/1280.83 c #Conflicts: 956000 | #Constraints: 61741
1277.36/1280.83 c #Conflicts: 957000 | #Constraints: 62741
1277.36/1280.83 c #Conflicts: 958000 | #Constraints: 63741
1277.36/1280.83 c #Conflicts: 959000 | #Constraints: 64741
1277.36/1280.83 c #Conflicts: 960000 | #Constraints: 65741
1277.36/1280.83 c #Conflicts: 961000 | #Constraints: 66741
1277.36/1280.83 c INPROCESSING
1277.36/1280.83 c GARBAGE COLLECT
1398.64/1402.48 c #Conflicts: 962000 | #Constraints: 48331
1398.64/1402.48 c #Conflicts: 963000 | #Constraints: 49331
1398.64/1402.48 c #Conflicts: 964000 | #Constraints: 50331
1398.64/1402.48 c #Conflicts: 965000 | #Constraints: 51331
1398.64/1402.48 c #Conflicts: 966000 | #Constraints: 52331
1398.64/1402.48 c #Conflicts: 967000 | #Constraints: 53331
1398.64/1402.48 c #Conflicts: 968000 | #Constraints: 54331
1398.64/1402.48 c #Conflicts: 969000 | #Constraints: 55331
1398.64/1402.48 c #Conflicts: 970000 | #Constraints: 56331
1398.64/1402.48 c #Conflicts: 971000 | #Constraints: 57331
1398.64/1402.48 c #Conflicts: 972000 | #Constraints: 58331
1398.64/1402.48 c #Conflicts: 973000 | #Constraints: 59331
1398.64/1402.48 c #Conflicts: 974000 | #Constraints: 60331
1398.64/1402.48 c #Conflicts: 975000 | #Constraints: 61331
1398.64/1402.48 c #Conflicts: 976000 | #Constraints: 62331
1398.64/1402.48 c #Conflicts: 977000 | #Constraints: 63331
1398.64/1402.48 c #Conflicts: 978000 | #Constraints: 64331
1398.64/1402.48 c #Conflicts: 979000 | #Constraints: 65331
1398.64/1402.48 c #Conflicts: 980000 | #Constraints: 66331
1398.64/1402.48 c #Conflicts: 981000 | #Constraints: 67331
1398.64/1402.48 c INPROCESSING
1398.64/1402.48 c GARBAGE COLLECT
1398.64/1402.48 c #Conflicts: 982000 | #Constraints: 48753
1398.64/1402.48 c #Conflicts: 983000 | #Constraints: 49753
1398.64/1402.48 c #Conflicts: 984000 | #Constraints: 50753
1398.64/1402.48 c #Conflicts: 985000 | #Constraints: 51753
1398.64/1402.48 c #Conflicts: 986000 | #Constraints: 52753
1398.64/1402.48 c #Conflicts: 987000 | #Constraints: 53753
1398.64/1402.48 c #Conflicts: 988000 | #Constraints: 54753
1398.64/1402.48 c #Conflicts: 989000 | #Constraints: 55753
1398.64/1402.48 c #Conflicts: 990000 | #Constraints: 56753
1398.64/1402.48 c #Conflicts: 991000 | #Constraints: 57753
1398.64/1402.48 c #Conflicts: 992000 | #Constraints: 58753
1398.64/1402.48 c #Conflicts: 993000 | #Constraints: 59753
1398.64/1402.48 c #Conflicts: 994000 | #Constraints: 60753
1398.64/1402.48 c #Conflicts: 995000 | #Constraints: 61753
1398.64/1402.48 c #Conflicts: 996000 | #Constraints: 62753
1398.64/1402.48 c #Conflicts: 997000 | #Constraints: 63753
1398.64/1402.48 c #Conflicts: 998000 | #Constraints: 64753
1398.64/1402.48 c #Conflicts: 999000 | #Constraints: 65753
1398.64/1402.48 c #Conflicts: 1000000 | #Constraints: 66753
1398.64/1402.48 c #Conflicts: 1001000 | #Constraints: 67753
1398.64/1402.48 c INPROCESSING
1398.64/1402.48 c GARBAGE COLLECT
1398.64/1402.48 c #Conflicts: 1002000 | #Constraints: 48948
1398.64/1402.48 c #Conflicts: 1003000 | #Constraints: 49948
1398.64/1402.48 c #Conflicts: 1004000 | #Constraints: 50948
1398.64/1402.48 c #Conflicts: 1005000 | #Constraints: 51948
1398.64/1402.48 c #Conflicts: 1006000 | #Constraints: 52948
1398.64/1402.48 c #Conflicts: 1007000 | #Constraints: 53948
1398.64/1402.48 c #Conflicts: 1008000 | #Constraints: 54948
1398.64/1402.48 c #Conflicts: 1009000 | #Constraints: 55948
1398.64/1402.48 c #Conflicts: 1010000 | #Constraints: 56948
1398.64/1402.48 c #Conflicts: 1011000 | #Constraints: 57948
1398.64/1402.48 c #Conflicts: 1012000 | #Constraints: 58948
1398.64/1402.48 c #Conflicts: 1013000 | #Constraints: 59948
1398.64/1402.48 c #Conflicts: 1014000 | #Constraints: 60948
1398.64/1402.48 c #Conflicts: 1015000 | #Constraints: 61948
1398.64/1402.48 c #Conflicts: 1016000 | #Constraints: 62948
1398.64/1402.48 c #Conflicts: 1017000 | #Constraints: 63948
1398.64/1402.48 c #Conflicts: 1018000 | #Constraints: 64948
1398.64/1402.48 c #Conflicts: 1019000 | #Constraints: 65948
1398.64/1402.48 c #Conflicts: 1020000 | #Constraints: 66948
1398.64/1402.48 c #Conflicts: 1021000 | #Constraints: 67948
1398.64/1402.48 c INPROCESSING
1398.64/1402.48 c GARBAGE COLLECT
1398.64/1402.48 c #Conflicts: 1022000 | #Constraints: 48942
1398.64/1402.48 c #Conflicts: 1023000 | #Constraints: 49942
1398.64/1402.48 c #Conflicts: 1024000 | #Constraints: 50942
1398.64/1402.48 c #Conflicts: 1025000 | #Constraints: 51942
1398.64/1402.48 c #Conflicts: 1026000 | #Constraints: 52942
1398.64/1402.48 c #Conflicts: 1027000 | #Constraints: 53942
1398.64/1402.48 c #Conflicts: 1028000 | #Constraints: 54942
1398.64/1402.48 c #Conflicts: 1029000 | #Constraints: 55942
1398.64/1402.48 c #Conflicts: 1030000 | #Constraints: 56942
1398.64/1402.48 c #Conflicts: 1031000 | #Constraints: 57942
1398.64/1402.48 c #Conflicts: 1032000 | #Constraints: 58942
1398.64/1402.48 c #Conflicts: 1033000 | #Constraints: 59942
1398.64/1402.48 c #Conflicts: 1034000 | #Constraints: 60942
1398.64/1402.48 c #Conflicts: 1035000 | #Constraints: 61942
1398.64/1402.48 c #Conflicts: 1036000 | #Constraints: 62942
1398.64/1402.48 c #Conflicts: 1037000 | #Constraints: 63942
1398.64/1402.48 c #Conflicts: 1038000 | #Constraints: 64942
1527.61/1531.70 c #Conflicts: 1039000 | #Constraints: 65942
1527.61/1531.70 c #Conflicts: 1040000 | #Constraints: 66942
1527.61/1531.70 c #Conflicts: 1041000 | #Constraints: 67942
1527.61/1531.70 c INPROCESSING
1527.61/1531.70 c GARBAGE COLLECT
1527.61/1531.70 c #Conflicts: 1042000 | #Constraints: 48752
1527.61/1531.70 c #Conflicts: 1043000 | #Constraints: 49752
1527.61/1531.70 c #Conflicts: 1044000 | #Constraints: 50752
1527.61/1531.70 c #Conflicts: 1045000 | #Constraints: 51752
1527.61/1531.70 c #Conflicts: 1046000 | #Constraints: 52752
1527.61/1531.70 c #Conflicts: 1047000 | #Constraints: 53752
1527.61/1531.70 c #Conflicts: 1048000 | #Constraints: 54752
1527.61/1531.70 c #Conflicts: 1049000 | #Constraints: 55752
1527.61/1531.70 c #Conflicts: 1050000 | #Constraints: 56752
1527.61/1531.70 c #Conflicts: 1051000 | #Constraints: 57752
1527.61/1531.70 c #Conflicts: 1052000 | #Constraints: 58752
1527.61/1531.70 c #Conflicts: 1053000 | #Constraints: 59752
1527.61/1531.70 c #Conflicts: 1054000 | #Constraints: 60752
1527.61/1531.70 c #Conflicts: 1055000 | #Constraints: 61752
1527.61/1531.70 c #Conflicts: 1056000 | #Constraints: 62752
1527.61/1531.70 c #Conflicts: 1057000 | #Constraints: 63752
1527.61/1531.70 c #Conflicts: 1058000 | #Constraints: 64752
1527.61/1531.70 c #Conflicts: 1059000 | #Constraints: 65752
1527.61/1531.70 c #Conflicts: 1060000 | #Constraints: 66752
1527.61/1531.70 c #Conflicts: 1061000 | #Constraints: 67752
1527.61/1531.70 c #Conflicts: 1062000 | #Constraints: 68752
1527.61/1531.70 c INPROCESSING
1527.61/1531.70 c GARBAGE COLLECT
1527.61/1531.70 c #Conflicts: 1063000 | #Constraints: 49361
1527.61/1531.70 c #Conflicts: 1064000 | #Constraints: 50361
1527.61/1531.70 c #Conflicts: 1065000 | #Constraints: 51361
1527.61/1531.70 c #Conflicts: 1066000 | #Constraints: 52361
1527.61/1531.70 c #Conflicts: 1067000 | #Constraints: 53361
1527.61/1531.70 c #Conflicts: 1068000 | #Constraints: 54361
1527.61/1531.70 c #Conflicts: 1069000 | #Constraints: 55361
1527.61/1531.70 c #Conflicts: 1070000 | #Constraints: 56361
1527.61/1531.70 c #Conflicts: 1071000 | #Constraints: 57361
1527.61/1531.70 c #Conflicts: 1072000 | #Constraints: 58361
1527.61/1531.70 c #Conflicts: 1073000 | #Constraints: 59361
1527.61/1531.70 c #Conflicts: 1074000 | #Constraints: 60361
1527.61/1531.70 c #Conflicts: 1075000 | #Constraints: 61361
1527.61/1531.70 c #Conflicts: 1076000 | #Constraints: 62361
1527.61/1531.70 c #Conflicts: 1077000 | #Constraints: 63361
1527.61/1531.70 c #Conflicts: 1078000 | #Constraints: 64361
1527.61/1531.70 c #Conflicts: 1079000 | #Constraints: 65361
1527.61/1531.70 c #Conflicts: 1080000 | #Constraints: 66361
1527.61/1531.70 c #Conflicts: 1081000 | #Constraints: 67361
1527.61/1531.70 c #Conflicts: 1082000 | #Constraints: 68361
1527.61/1531.70 c #Conflicts: 1083000 | #Constraints: 69361
1527.61/1531.70 c INPROCESSING
1527.61/1531.70 c GARBAGE COLLECT
1527.61/1531.70 c #Conflicts: 1084000 | #Constraints: 49770
1527.61/1531.70 c #Conflicts: 1085000 | #Constraints: 50770
1527.61/1531.70 c #Conflicts: 1086000 | #Constraints: 51770
1527.61/1531.70 c #Conflicts: 1087000 | #Constraints: 52770
1527.61/1531.70 c #Conflicts: 1088000 | #Constraints: 53770
1527.61/1531.70 c #Conflicts: 1089000 | #Constraints: 54770
1527.61/1531.70 c #Conflicts: 1090000 | #Constraints: 55770
1527.61/1531.70 c #Conflicts: 1091000 | #Constraints: 56770
1527.61/1531.70 c #Conflicts: 1092000 | #Constraints: 57770
1527.61/1531.70 c #Conflicts: 1093000 | #Constraints: 58770
1527.61/1531.70 c #Conflicts: 1094000 | #Constraints: 59770
1527.61/1531.70 c #Conflicts: 1095000 | #Constraints: 60770
1527.61/1531.70 c #Conflicts: 1096000 | #Constraints: 61770
1527.61/1531.70 c #Conflicts: 1097000 | #Constraints: 62770
1527.61/1531.70 c #Conflicts: 1098000 | #Constraints: 63770
1527.61/1531.70 c #Conflicts: 1099000 | #Constraints: 64770
1527.61/1531.70 c #Conflicts: 1100000 | #Constraints: 65770
1527.61/1531.70 c #Conflicts: 1101000 | #Constraints: 66770
1527.61/1531.70 c #Conflicts: 1102000 | #Constraints: 67770
1527.61/1531.70 c #Conflicts: 1103000 | #Constraints: 68770
1527.61/1531.70 c #Conflicts: 1104000 | #Constraints: 69770
1527.61/1531.70 c INPROCESSING
1527.61/1531.70 c GARBAGE COLLECT
1527.61/1531.70 c #Conflicts: 1105000 | #Constraints: 49956
1527.61/1531.70 c #Conflicts: 1106000 | #Constraints: 50956
1527.61/1531.70 c #Conflicts: 1107000 | #Constraints: 51956
1527.61/1531.70 c #Conflicts: 1108000 | #Constraints: 52956
1527.61/1531.70 c #Conflicts: 1109000 | #Constraints: 53956
1527.61/1531.70 c #Conflicts: 1110000 | #Constraints: 54956
1527.61/1531.70 c #Conflicts: 1111000 | #Constraints: 55956
1527.61/1531.70 c #Conflicts: 1112000 | #Constraints: 56956
1527.61/1531.70 c #Conflicts: 1113000 | #Constraints: 57956
1527.61/1531.70 c #Conflicts: 1114000 | #Constraints: 58956
1682.22/1686.71 c #Conflicts: 1115000 | #Constraints: 59956
1682.22/1686.71 c #Conflicts: 1116000 | #Constraints: 60956
1682.22/1686.71 c #Conflicts: 1117000 | #Constraints: 61956
1682.22/1686.71 c #Conflicts: 1118000 | #Constraints: 62956
1682.22/1686.71 c #Conflicts: 1119000 | #Constraints: 63956
1682.22/1686.71 c #Conflicts: 1120000 | #Constraints: 64956
1682.22/1686.71 c #Conflicts: 1121000 | #Constraints: 65956
1682.22/1686.71 c #Conflicts: 1122000 | #Constraints: 66956
1682.22/1686.71 c #Conflicts: 1123000 | #Constraints: 67956
1682.22/1686.71 c #Conflicts: 1124000 | #Constraints: 68956
1682.22/1686.71 c #Conflicts: 1125000 | #Constraints: 69956
1682.22/1686.71 c INPROCESSING
1682.22/1686.71 c GARBAGE COLLECT
1682.22/1686.71 c #Conflicts: 1126000 | #Constraints: 49972
1682.22/1686.71 c #Conflicts: 1127000 | #Constraints: 50972
1682.22/1686.71 c #Conflicts: 1128000 | #Constraints: 51972
1682.22/1686.71 c #Conflicts: 1129000 | #Constraints: 52972
1682.22/1686.71 c #Conflicts: 1130000 | #Constraints: 53972
1682.22/1686.71 c #Conflicts: 1131000 | #Constraints: 54972
1682.22/1686.71 c #Conflicts: 1132000 | #Constraints: 55972
1682.22/1686.71 c #Conflicts: 1133000 | #Constraints: 56972
1682.22/1686.71 c #Conflicts: 1134000 | #Constraints: 57972
1682.22/1686.71 c #Conflicts: 1135000 | #Constraints: 58972
1682.22/1686.71 c #Conflicts: 1136000 | #Constraints: 59972
1682.22/1686.71 c #Conflicts: 1137000 | #Constraints: 60972
1682.22/1686.71 c #Conflicts: 1138000 | #Constraints: 61972
1682.22/1686.71 c #Conflicts: 1139000 | #Constraints: 62972
1682.22/1686.71 c #Conflicts: 1140000 | #Constraints: 63972
1682.22/1686.71 c #Conflicts: 1141000 | #Constraints: 64972
1682.22/1686.71 c #Conflicts: 1142000 | #Constraints: 65972
1682.22/1686.71 c #Conflicts: 1143000 | #Constraints: 66972
1682.22/1686.71 c #Conflicts: 1144000 | #Constraints: 67972
1682.22/1686.71 c #Conflicts: 1145000 | #Constraints: 68972
1682.22/1686.71 c #Conflicts: 1146000 | #Constraints: 69972
1682.22/1686.71 c INPROCESSING
1682.22/1686.71 c GARBAGE COLLECT
1682.22/1686.71 c #Conflicts: 1147000 | #Constraints: 49755
1682.22/1686.71 c #Conflicts: 1148000 | #Constraints: 50755
1682.22/1686.71 c #Conflicts: 1149000 | #Constraints: 51755
1682.22/1686.71 c #Conflicts: 1150000 | #Constraints: 52755
1682.22/1686.71 c #Conflicts: 1151000 | #Constraints: 53755
1682.22/1686.71 c #Conflicts: 1152000 | #Constraints: 54755
1682.22/1686.71 c #Conflicts: 1153000 | #Constraints: 55755
1682.22/1686.71 c #Conflicts: 1154000 | #Constraints: 56755
1682.22/1686.71 c #Conflicts: 1155000 | #Constraints: 57755
1682.22/1686.71 c #Conflicts: 1156000 | #Constraints: 58755
1682.22/1686.71 c #Conflicts: 1157000 | #Constraints: 59755
1682.22/1686.71 c #Conflicts: 1158000 | #Constraints: 60755
1682.22/1686.71 c #Conflicts: 1159000 | #Constraints: 61755
1682.22/1686.71 c #Conflicts: 1160000 | #Constraints: 62755
1682.22/1686.71 c #Conflicts: 1161000 | #Constraints: 63755
1682.22/1686.71 c #Conflicts: 1162000 | #Constraints: 64755
1682.22/1686.71 c #Conflicts: 1163000 | #Constraints: 65755
1682.22/1686.71 c #Conflicts: 1164000 | #Constraints: 66755
1682.22/1686.71 c #Conflicts: 1165000 | #Constraints: 67755
1682.22/1686.71 c #Conflicts: 1166000 | #Constraints: 68755
1682.22/1686.71 c #Conflicts: 1167000 | #Constraints: 69755
1682.22/1686.71 c #Conflicts: 1168000 | #Constraints: 70755
1682.22/1686.71 c INPROCESSING
1682.22/1686.71 c GARBAGE COLLECT
1682.22/1686.71 c #Conflicts: 1169000 | #Constraints: 50361
1682.22/1686.71 c #Conflicts: 1170000 | #Constraints: 51361
1682.22/1686.71 c #Conflicts: 1171000 | #Constraints: 52361
1682.22/1686.71 c #Conflicts: 1172000 | #Constraints: 53361
1682.22/1686.71 c #Conflicts: 1173000 | #Constraints: 54361
1682.22/1686.71 c #Conflicts: 1174000 | #Constraints: 55361
1682.22/1686.71 c #Conflicts: 1175000 | #Constraints: 56361
1682.22/1686.71 c #Conflicts: 1176000 | #Constraints: 57361
1682.22/1686.71 c #Conflicts: 1177000 | #Constraints: 58361
1682.22/1686.71 c #Conflicts: 1178000 | #Constraints: 59361
1682.22/1686.71 c #Conflicts: 1179000 | #Constraints: 60361
1682.22/1686.71 c #Conflicts: 1180000 | #Constraints: 61361
1682.22/1686.71 c #Conflicts: 1181000 | #Constraints: 62361
1682.22/1686.71 c #Conflicts: 1182000 | #Constraints: 63361
1682.22/1686.71 c #Conflicts: 1183000 | #Constraints: 64361
1682.22/1686.71 c #Conflicts: 1184000 | #Constraints: 65361
1682.22/1686.71 c #Conflicts: 1185000 | #Constraints: 66361
1682.22/1686.71 c #Conflicts: 1186000 | #Constraints: 67361
1682.22/1686.71 c #Conflicts: 1187000 | #Constraints: 68361
1682.22/1686.71 c #Conflicts: 1188000 | #Constraints: 69361
1682.22/1686.71 c #Conflicts: 1189000 | #Constraints: 70361
1682.22/1686.71 c #Conflicts: 1190000 | #Constraints: 71361
1682.22/1686.71 c INPROCESSING
1682.22/1686.71 c GARBAGE COLLECT
1682.22/1686.71 c #Conflicts: 1191000 | #Constraints: 50747
1842.12/1847.08 c #Conflicts: 1192000 | #Constraints: 51747
1842.12/1847.08 c #Conflicts: 1193000 | #Constraints: 52747
1842.12/1847.08 c #Conflicts: 1194000 | #Constraints: 53747
1842.12/1847.08 c #Conflicts: 1195000 | #Constraints: 54747
1842.12/1847.08 c #Conflicts: 1196000 | #Constraints: 55747
1842.12/1847.08 c #Conflicts: 1197000 | #Constraints: 56747
1842.12/1847.08 c #Conflicts: 1198000 | #Constraints: 57747
1842.12/1847.08 c #Conflicts: 1199000 | #Constraints: 58747
1842.12/1847.08 c #Conflicts: 1200000 | #Constraints: 59747
1842.12/1847.08 c #Conflicts: 1201000 | #Constraints: 60747
1842.12/1847.08 c #Conflicts: 1202000 | #Constraints: 61747
1842.12/1847.08 c #Conflicts: 1203000 | #Constraints: 62747
1842.12/1847.08 c #Conflicts: 1204000 | #Constraints: 63747
1842.12/1847.08 c #Conflicts: 1205000 | #Constraints: 64747
1842.12/1847.08 c #Conflicts: 1206000 | #Constraints: 65747
1842.12/1847.08 c #Conflicts: 1207000 | #Constraints: 66747
1842.12/1847.08 c #Conflicts: 1208000 | #Constraints: 67747
1842.12/1847.08 c #Conflicts: 1209000 | #Constraints: 68747
1842.12/1847.08 c #Conflicts: 1210000 | #Constraints: 69747
1842.12/1847.08 c #Conflicts: 1211000 | #Constraints: 70747
1842.12/1847.08 c #Conflicts: 1212000 | #Constraints: 71747
1842.12/1847.08 c INPROCESSING
1842.12/1847.08 c GARBAGE COLLECT
1842.12/1847.08 c #Conflicts: 1213000 | #Constraints: 50947
1842.12/1847.08 c #Conflicts: 1214000 | #Constraints: 51947
1842.12/1847.08 c #Conflicts: 1215000 | #Constraints: 52947
1842.12/1847.08 c #Conflicts: 1216000 | #Constraints: 53947
1842.12/1847.08 c #Conflicts: 1217000 | #Constraints: 54947
1842.12/1847.08 c #Conflicts: 1218000 | #Constraints: 55947
1842.12/1847.08 c #Conflicts: 1219000 | #Constraints: 56947
1842.12/1847.08 c #Conflicts: 1220000 | #Constraints: 57947
1842.12/1847.08 c #Conflicts: 1221000 | #Constraints: 58947
1842.12/1847.08 c #Conflicts: 1222000 | #Constraints: 59947
1842.12/1847.08 c #Conflicts: 1223000 | #Constraints: 60947
1842.12/1847.08 c #Conflicts: 1224000 | #Constraints: 61947
1842.12/1847.08 c #Conflicts: 1225000 | #Constraints: 62947
1842.12/1847.08 c #Conflicts: 1226000 | #Constraints: 63947
1842.12/1847.08 c #Conflicts: 1227000 | #Constraints: 64947
1842.12/1847.08 c #Conflicts: 1228000 | #Constraints: 65947
1842.12/1847.08 c #Conflicts: 1229000 | #Constraints: 66947
1842.12/1847.08 c #Conflicts: 1230000 | #Constraints: 67947
1842.12/1847.08 c #Conflicts: 1231000 | #Constraints: 68947
1842.12/1847.08 c #Conflicts: 1232000 | #Constraints: 69947
1842.12/1847.08 c #Conflicts: 1233000 | #Constraints: 70947
1842.12/1847.08 c #Conflicts: 1234000 | #Constraints: 71947
1842.12/1847.08 c INPROCESSING
1842.12/1847.08 c GARBAGE COLLECT
1842.12/1847.08 c #Conflicts: 1235000 | #Constraints: 50946
1842.12/1847.08 c #Conflicts: 1236000 | #Constraints: 51946
1842.12/1847.08 c #Conflicts: 1237000 | #Constraints: 52946
1842.12/1847.08 c #Conflicts: 1238000 | #Constraints: 53946
1842.12/1847.08 c #Conflicts: 1239000 | #Constraints: 54946
1842.12/1847.08 c #Conflicts: 1240000 | #Constraints: 55946
1842.12/1847.08 c #Conflicts: 1241000 | #Constraints: 56946
1842.12/1847.08 c #Conflicts: 1242000 | #Constraints: 57946
1842.12/1847.08 c #Conflicts: 1243000 | #Constraints: 58946
1842.12/1847.08 c #Conflicts: 1244000 | #Constraints: 59946
1842.12/1847.08 c #Conflicts: 1245000 | #Constraints: 60946
1842.12/1847.08 c #Conflicts: 1246000 | #Constraints: 61946
1842.12/1847.08 c #Conflicts: 1247000 | #Constraints: 62946
1842.12/1847.08 c #Conflicts: 1248000 | #Constraints: 63946
1842.12/1847.08 c #Conflicts: 1249000 | #Constraints: 64946
1842.12/1847.08 c #Conflicts: 1250000 | #Constraints: 65946
1842.12/1847.08 c #Conflicts: 1251000 | #Constraints: 66946
1842.12/1847.08 c #Conflicts: 1252000 | #Constraints: 67946
1842.12/1847.08 c #Conflicts: 1253000 | #Constraints: 68946
1842.12/1847.08 c #Conflicts: 1254000 | #Constraints: 69946
1842.12/1847.08 c #Conflicts: 1255000 | #Constraints: 70946
1842.12/1847.08 c #Conflicts: 1256000 | #Constraints: 71946
1842.12/1847.08 c INPROCESSING
1842.12/1847.08 c GARBAGE COLLECT
1842.12/1847.08 c #Conflicts: 1257000 | #Constraints: 50747
1842.12/1847.08 c #Conflicts: 1258000 | #Constraints: 51747
1842.12/1847.08 c #Conflicts: 1259000 | #Constraints: 52747
1842.12/1847.08 c #Conflicts: 1260000 | #Constraints: 53747
1842.12/1847.08 c #Conflicts: 1261000 | #Constraints: 54747
1842.12/1847.08 c #Conflicts: 1262000 | #Constraints: 55747
1842.12/1847.08 c #Conflicts: 1263000 | #Constraints: 56747
1842.12/1847.08 c #Conflicts: 1264000 | #Constraints: 57747
1842.12/1847.08 c #Conflicts: 1265000 | #Constraints: 58747
1842.12/1847.08 c #Conflicts: 1266000 | #Constraints: 59747
1842.12/1847.08 c #Conflicts: 1267000 | #Constraints: 60747
1842.12/1847.08 c #Conflicts: 1268000 | #Constraints: 61747
2001.22/2006.56 c #Conflicts: 1269000 | #Constraints: 62747
2001.22/2006.56 c #Conflicts: 1270000 | #Constraints: 63747
2001.22/2006.56 c #Conflicts: 1271000 | #Constraints: 64747
2001.22/2006.56 c #Conflicts: 1272000 | #Constraints: 65747
2001.22/2006.56 c #Conflicts: 1273000 | #Constraints: 66747
2001.22/2006.56 c #Conflicts: 1274000 | #Constraints: 67747
2001.22/2006.56 c #Conflicts: 1275000 | #Constraints: 68747
2001.22/2006.56 c #Conflicts: 1276000 | #Constraints: 69747
2001.22/2006.56 c #Conflicts: 1277000 | #Constraints: 70747
2001.22/2006.56 c #Conflicts: 1278000 | #Constraints: 71747
2001.22/2006.56 c #Conflicts: 1279000 | #Constraints: 72747
2001.22/2006.56 c INPROCESSING
2001.22/2006.56 c GARBAGE COLLECT
2001.22/2006.56 c #Conflicts: 1280000 | #Constraints: 51354
2001.22/2006.56 c #Conflicts: 1281000 | #Constraints: 52354
2001.22/2006.56 c #Conflicts: 1282000 | #Constraints: 53354
2001.22/2006.56 c #Conflicts: 1283000 | #Constraints: 54354
2001.22/2006.56 c #Conflicts: 1284000 | #Constraints: 55354
2001.22/2006.56 c #Conflicts: 1285000 | #Constraints: 56354
2001.22/2006.56 c #Conflicts: 1286000 | #Constraints: 57354
2001.22/2006.56 c #Conflicts: 1287000 | #Constraints: 58354
2001.22/2006.56 c #Conflicts: 1288000 | #Constraints: 59354
2001.22/2006.56 c #Conflicts: 1289000 | #Constraints: 60354
2001.22/2006.56 c #Conflicts: 1290000 | #Constraints: 61354
2001.22/2006.56 c #Conflicts: 1291000 | #Constraints: 62354
2001.22/2006.56 c #Conflicts: 1292000 | #Constraints: 63354
2001.22/2006.56 c #Conflicts: 1293000 | #Constraints: 64354
2001.22/2006.56 c #Conflicts: 1294000 | #Constraints: 65354
2001.22/2006.56 c #Conflicts: 1295000 | #Constraints: 66354
2001.22/2006.56 c #Conflicts: 1296000 | #Constraints: 67354
2001.22/2006.56 c #Conflicts: 1297000 | #Constraints: 68354
2001.22/2006.56 c #Conflicts: 1298000 | #Constraints: 69354
2001.22/2006.56 c #Conflicts: 1299000 | #Constraints: 70354
2001.22/2006.56 c #Conflicts: 1300000 | #Constraints: 71354
2001.22/2006.56 c #Conflicts: 1301000 | #Constraints: 72354
2001.22/2006.56 c #Conflicts: 1302000 | #Constraints: 73354
2001.22/2006.56 c INPROCESSING
2001.22/2006.56 c GARBAGE COLLECT
2001.22/2006.56 c #Conflicts: 1303000 | #Constraints: 51754
2001.22/2006.56 c #Conflicts: 1304000 | #Constraints: 52754
2001.22/2006.56 c #Conflicts: 1305000 | #Constraints: 53754
2001.22/2006.56 c #Conflicts: 1306000 | #Constraints: 54754
2001.22/2006.56 c #Conflicts: 1307000 | #Constraints: 55754
2001.22/2006.56 c #Conflicts: 1308000 | #Constraints: 56754
2001.22/2006.56 c #Conflicts: 1309000 | #Constraints: 57754
2001.22/2006.56 c #Conflicts: 1310000 | #Constraints: 58754
2001.22/2006.56 c #Conflicts: 1311000 | #Constraints: 59754
2001.22/2006.56 c #Conflicts: 1312000 | #Constraints: 60754
2001.22/2006.56 c #Conflicts: 1313000 | #Constraints: 61754
2001.22/2006.56 c #Conflicts: 1314000 | #Constraints: 62754
2001.22/2006.56 c #Conflicts: 1315000 | #Constraints: 63754
2001.22/2006.56 c #Conflicts: 1316000 | #Constraints: 64754
2001.22/2006.56 c #Conflicts: 1317000 | #Constraints: 65754
2001.22/2006.56 c #Conflicts: 1318000 | #Constraints: 66754
2001.22/2006.56 c #Conflicts: 1319000 | #Constraints: 67754
2001.22/2006.56 c #Conflicts: 1320000 | #Constraints: 68754
2001.22/2006.56 c #Conflicts: 1321000 | #Constraints: 69754
2001.22/2006.56 c #Conflicts: 1322000 | #Constraints: 70754
2001.22/2006.56 c #Conflicts: 1323000 | #Constraints: 71754
2001.22/2006.56 c #Conflicts: 1324000 | #Constraints: 72754
2001.22/2006.56 c #Conflicts: 1325000 | #Constraints: 73754
2001.22/2006.56 c INPROCESSING
2001.22/2006.56 c GARBAGE COLLECT
2001.22/2006.56 c #Conflicts: 1326000 | #Constraints: 51961
2001.22/2006.56 c #Conflicts: 1327000 | #Constraints: 52961
2001.22/2006.56 c #Conflicts: 1328000 | #Constraints: 53961
2001.22/2006.56 c #Conflicts: 1329000 | #Constraints: 54961
2001.22/2006.56 c #Conflicts: 1330000 | #Constraints: 55961
2001.22/2006.56 c #Conflicts: 1331000 | #Constraints: 56961
2001.22/2006.56 c #Conflicts: 1332000 | #Constraints: 57961
2001.22/2006.56 c #Conflicts: 1333000 | #Constraints: 58961
2001.22/2006.56 c #Conflicts: 1334000 | #Constraints: 59961
2001.22/2006.56 c #Conflicts: 1335000 | #Constraints: 60961
2001.22/2006.56 c #Conflicts: 1336000 | #Constraints: 61961
2001.22/2006.56 c #Conflicts: 1337000 | #Constraints: 62961
2001.22/2006.56 c #Conflicts: 1338000 | #Constraints: 63961
2001.22/2006.56 c #Conflicts: 1339000 | #Constraints: 64961
2001.22/2006.56 c #Conflicts: 1340000 | #Constraints: 65961
2001.22/2006.56 c #Conflicts: 1341000 | #Constraints: 66961
2001.22/2006.56 c #Conflicts: 1342000 | #Constraints: 67961
2001.22/2006.56 c #Conflicts: 1343000 | #Constraints: 68961
2001.22/2006.56 c #Conflicts: 1344000 | #Constraints: 69961
2178.05/2183.84 c #Conflicts: 1345000 | #Constraints: 70961
2178.05/2183.84 c #Conflicts: 1346000 | #Constraints: 71961
2178.05/2183.84 c #Conflicts: 1347000 | #Constraints: 72961
2178.05/2183.84 c #Conflicts: 1348000 | #Constraints: 73961
2178.05/2183.84 c INPROCESSING
2178.05/2183.84 c GARBAGE COLLECT
2178.05/2183.84 c #Conflicts: 1349000 | #Constraints: 51958
2178.05/2183.84 c #Conflicts: 1350000 | #Constraints: 52958
2178.05/2183.84 c #Conflicts: 1351000 | #Constraints: 53958
2178.05/2183.84 c #Conflicts: 1352000 | #Constraints: 54958
2178.05/2183.84 c #Conflicts: 1353000 | #Constraints: 55958
2178.05/2183.84 c #Conflicts: 1354000 | #Constraints: 56958
2178.05/2183.84 c #Conflicts: 1355000 | #Constraints: 57958
2178.05/2183.84 c #Conflicts: 1356000 | #Constraints: 58958
2178.05/2183.84 c #Conflicts: 1357000 | #Constraints: 59958
2178.05/2183.84 c #Conflicts: 1358000 | #Constraints: 60958
2178.05/2183.84 c #Conflicts: 1359000 | #Constraints: 61958
2178.05/2183.84 c #Conflicts: 1360000 | #Constraints: 62958
2178.05/2183.84 c #Conflicts: 1361000 | #Constraints: 63958
2178.05/2183.84 c #Conflicts: 1362000 | #Constraints: 64958
2178.05/2183.84 c #Conflicts: 1363000 | #Constraints: 65958
2178.05/2183.84 c #Conflicts: 1364000 | #Constraints: 66958
2178.05/2183.84 c #Conflicts: 1365000 | #Constraints: 67958
2178.05/2183.84 c #Conflicts: 1366000 | #Constraints: 68958
2178.05/2183.84 c #Conflicts: 1367000 | #Constraints: 69958
2178.05/2183.84 c #Conflicts: 1368000 | #Constraints: 70958
2178.05/2183.84 c #Conflicts: 1369000 | #Constraints: 71958
2178.05/2183.84 c #Conflicts: 1370000 | #Constraints: 72958
2178.05/2183.84 c #Conflicts: 1371000 | #Constraints: 73958
2178.05/2183.84 c INPROCESSING
2178.05/2183.84 c GARBAGE COLLECT
2178.05/2183.84 c #Conflicts: 1372000 | #Constraints: 51749
2178.05/2183.84 c #Conflicts: 1373000 | #Constraints: 52749
2178.05/2183.84 c #Conflicts: 1374000 | #Constraints: 53749
2178.05/2183.84 c #Conflicts: 1375000 | #Constraints: 54749
2178.05/2183.84 c #Conflicts: 1376000 | #Constraints: 55749
2178.05/2183.84 c #Conflicts: 1377000 | #Constraints: 56749
2178.05/2183.84 c #Conflicts: 1378000 | #Constraints: 57749
2178.05/2183.84 c #Conflicts: 1379000 | #Constraints: 58749
2178.05/2183.84 c #Conflicts: 1380000 | #Constraints: 59749
2178.05/2183.84 c #Conflicts: 1381000 | #Constraints: 60749
2178.05/2183.84 c #Conflicts: 1382000 | #Constraints: 61749
2178.05/2183.84 c #Conflicts: 1383000 | #Constraints: 62749
2178.05/2183.84 c #Conflicts: 1384000 | #Constraints: 63749
2178.05/2183.84 c #Conflicts: 1385000 | #Constraints: 64749
2178.05/2183.84 c #Conflicts: 1386000 | #Constraints: 65749
2178.05/2183.84 c #Conflicts: 1387000 | #Constraints: 66749
2178.05/2183.84 c #Conflicts: 1388000 | #Constraints: 67749
2178.05/2183.84 c #Conflicts: 1389000 | #Constraints: 68749
2178.05/2183.84 c #Conflicts: 1390000 | #Constraints: 69749
2178.05/2183.84 c #Conflicts: 1391000 | #Constraints: 70749
2178.05/2183.84 c #Conflicts: 1392000 | #Constraints: 71749
2178.05/2183.84 c #Conflicts: 1393000 | #Constraints: 72749
2178.05/2183.84 c #Conflicts: 1394000 | #Constraints: 73749
2178.05/2183.84 c #Conflicts: 1395000 | #Constraints: 74749
2178.05/2183.84 c INPROCESSING
2178.05/2183.84 c GARBAGE COLLECT
2178.05/2183.84 c #Conflicts: 1396000 | #Constraints: 52348
2178.05/2183.84 c #Conflicts: 1397000 | #Constraints: 53348
2178.05/2183.84 c #Conflicts: 1398000 | #Constraints: 54348
2178.05/2183.84 c #Conflicts: 1399000 | #Constraints: 55348
2178.05/2183.84 c #Conflicts: 1400000 | #Constraints: 56348
2178.05/2183.84 c #Conflicts: 1401000 | #Constraints: 57348
2178.05/2183.84 c #Conflicts: 1402000 | #Constraints: 58348
2178.05/2183.84 c #Conflicts: 1403000 | #Constraints: 59348
2178.05/2183.84 c #Conflicts: 1404000 | #Constraints: 60348
2178.05/2183.84 c #Conflicts: 1405000 | #Constraints: 61348
2178.05/2183.84 c #Conflicts: 1406000 | #Constraints: 62348
2178.05/2183.84 c #Conflicts: 1407000 | #Constraints: 63348
2178.05/2183.84 c #Conflicts: 1408000 | #Constraints: 64348
2178.05/2183.84 c #Conflicts: 1409000 | #Constraints: 65348
2178.05/2183.84 c #Conflicts: 1410000 | #Constraints: 66348
2178.05/2183.84 c #Conflicts: 1411000 | #Constraints: 67348
2178.05/2183.84 c #Conflicts: 1412000 | #Constraints: 68348
2178.05/2183.84 c #Conflicts: 1413000 | #Constraints: 69348
2178.05/2183.84 c #Conflicts: 1414000 | #Constraints: 70348
2178.05/2183.84 c #Conflicts: 1415000 | #Constraints: 71348
2178.05/2183.84 c #Conflicts: 1416000 | #Constraints: 72348
2178.05/2183.84 c #Conflicts: 1417000 | #Constraints: 73348
2178.05/2183.84 c #Conflicts: 1418000 | #Constraints: 74348
2178.05/2183.84 c #Conflicts: 1419000 | #Constraints: 75348
2178.05/2183.84 c INPROCESSING
2178.05/2183.84 c GARBAGE COLLECT
2178.05/2183.84 c #Conflicts: 1420000 | #Constraints: 52754
2178.05/2183.84 c #Conflicts: 1421000 | #Constraints: 53754
2351.60/2357.82 c #Conflicts: 1422000 | #Constraints: 54754
2351.60/2357.82 c #Conflicts: 1423000 | #Constraints: 55754
2351.60/2357.82 c #Conflicts: 1424000 | #Constraints: 56754
2351.60/2357.82 c #Conflicts: 1425000 | #Constraints: 57754
2351.60/2357.82 c #Conflicts: 1426000 | #Constraints: 58754
2351.60/2357.82 c #Conflicts: 1427000 | #Constraints: 59754
2351.60/2357.82 c #Conflicts: 1428000 | #Constraints: 60754
2351.60/2357.82 c #Conflicts: 1429000 | #Constraints: 61754
2351.60/2357.82 c #Conflicts: 1430000 | #Constraints: 62754
2351.60/2357.82 c #Conflicts: 1431000 | #Constraints: 63754
2351.60/2357.82 c #Conflicts: 1432000 | #Constraints: 64754
2351.60/2357.82 c #Conflicts: 1433000 | #Constraints: 65754
2351.60/2357.82 c #Conflicts: 1434000 | #Constraints: 66754
2351.60/2357.82 c #Conflicts: 1435000 | #Constraints: 67754
2351.60/2357.82 c #Conflicts: 1436000 | #Constraints: 68754
2351.60/2357.82 c #Conflicts: 1437000 | #Constraints: 69754
2351.60/2357.82 c #Conflicts: 1438000 | #Constraints: 70754
2351.60/2357.82 c #Conflicts: 1439000 | #Constraints: 71754
2351.60/2357.82 c #Conflicts: 1440000 | #Constraints: 72754
2351.60/2357.82 c #Conflicts: 1441000 | #Constraints: 73754
2351.60/2357.82 c #Conflicts: 1442000 | #Constraints: 74754
2351.60/2357.82 c #Conflicts: 1443000 | #Constraints: 75754
2351.60/2357.82 c INPROCESSING
2351.60/2357.82 c GARBAGE COLLECT
2351.60/2357.82 c #Conflicts: 1444000 | #Constraints: 52952
2351.60/2357.82 c #Conflicts: 1445000 | #Constraints: 53952
2351.60/2357.82 c #Conflicts: 1446000 | #Constraints: 54952
2351.60/2357.82 c #Conflicts: 1447000 | #Constraints: 55952
2351.60/2357.82 c #Conflicts: 1448000 | #Constraints: 56952
2351.60/2357.82 c #Conflicts: 1449000 | #Constraints: 57952
2351.60/2357.82 c #Conflicts: 1450000 | #Constraints: 58952
2351.60/2357.82 c #Conflicts: 1451000 | #Constraints: 59952
2351.60/2357.82 c #Conflicts: 1452000 | #Constraints: 60952
2351.60/2357.82 c #Conflicts: 1453000 | #Constraints: 61952
2351.60/2357.82 c #Conflicts: 1454000 | #Constraints: 62952
2351.60/2357.82 c #Conflicts: 1455000 | #Constraints: 63952
2351.60/2357.82 c #Conflicts: 1456000 | #Constraints: 64952
2351.60/2357.82 c #Conflicts: 1457000 | #Constraints: 65952
2351.60/2357.82 c #Conflicts: 1458000 | #Constraints: 66952
2351.60/2357.82 c #Conflicts: 1459000 | #Constraints: 67952
2351.60/2357.82 c #Conflicts: 1460000 | #Constraints: 68952
2351.60/2357.82 c #Conflicts: 1461000 | #Constraints: 69952
2351.60/2357.82 c #Conflicts: 1462000 | #Constraints: 70952
2351.60/2357.82 c #Conflicts: 1463000 | #Constraints: 71952
2351.60/2357.82 c #Conflicts: 1464000 | #Constraints: 72952
2351.60/2357.82 c #Conflicts: 1465000 | #Constraints: 73952
2351.60/2357.82 c #Conflicts: 1466000 | #Constraints: 74952
2351.60/2357.82 c #Conflicts: 1467000 | #Constraints: 75952
2351.60/2357.82 c INPROCESSING
2351.60/2357.82 c GARBAGE COLLECT
2351.60/2357.82 c #Conflicts: 1468000 | #Constraints: 52955
2351.60/2357.82 c #Conflicts: 1469000 | #Constraints: 53955
2351.60/2357.82 c #Conflicts: 1470000 | #Constraints: 54955
2351.60/2357.82 c #Conflicts: 1471000 | #Constraints: 55955
2351.60/2357.82 c #Conflicts: 1472000 | #Constraints: 56955
2351.60/2357.82 c #Conflicts: 1473000 | #Constraints: 57955
2351.60/2357.82 c #Conflicts: 1474000 | #Constraints: 58955
2351.60/2357.82 c #Conflicts: 1475000 | #Constraints: 59955
2351.60/2357.82 c #Conflicts: 1476000 | #Constraints: 60955
2351.60/2357.82 c #Conflicts: 1477000 | #Constraints: 61955
2351.60/2357.82 c #Conflicts: 1478000 | #Constraints: 62955
2351.60/2357.82 c #Conflicts: 1479000 | #Constraints: 63955
2351.60/2357.82 c #Conflicts: 1480000 | #Constraints: 64955
2351.60/2357.82 c #Conflicts: 1481000 | #Constraints: 65955
2351.60/2357.82 c #Conflicts: 1482000 | #Constraints: 66955
2351.60/2357.82 c #Conflicts: 1483000 | #Constraints: 67955
2351.60/2357.82 c #Conflicts: 1484000 | #Constraints: 68955
2351.60/2357.82 c #Conflicts: 1485000 | #Constraints: 69955
2351.60/2357.82 c #Conflicts: 1486000 | #Constraints: 70955
2351.60/2357.82 c #Conflicts: 1487000 | #Constraints: 71955
2351.60/2357.82 c #Conflicts: 1488000 | #Constraints: 72955
2351.60/2357.82 c #Conflicts: 1489000 | #Constraints: 73955
2351.60/2357.82 c #Conflicts: 1490000 | #Constraints: 74955
2351.60/2357.82 c #Conflicts: 1491000 | #Constraints: 75955
2351.60/2357.82 c INPROCESSING
2351.60/2357.82 c GARBAGE COLLECT
2351.60/2357.82 c #Conflicts: 1492000 | #Constraints: 52755
2351.60/2357.82 c #Conflicts: 1493000 | #Constraints: 53755
2351.60/2357.82 c #Conflicts: 1494000 | #Constraints: 54755
2351.60/2357.82 c #Conflicts: 1495000 | #Constraints: 55755
2351.60/2357.82 c #Conflicts: 1496000 | #Constraints: 56755
2351.60/2357.82 c #Conflicts: 1497000 | #Constraints: 57755
2351.60/2357.82 c #Conflicts: 1498000 | #Constraints: 58755
2497.83/2504.41 c #Conflicts: 1499000 | #Constraints: 59755
2497.83/2504.41 c #Conflicts: 1500000 | #Constraints: 60755
2497.83/2504.41 c #Conflicts: 1501000 | #Constraints: 61755
2497.83/2504.41 c #Conflicts: 1502000 | #Constraints: 62755
2497.83/2504.41 c #Conflicts: 1503000 | #Constraints: 63755
2497.83/2504.41 c #Conflicts: 1504000 | #Constraints: 64755
2497.83/2504.41 c #Conflicts: 1505000 | #Constraints: 65755
2497.83/2504.41 c #Conflicts: 1506000 | #Constraints: 66755
2497.83/2504.41 c #Conflicts: 1507000 | #Constraints: 67755
2497.83/2504.41 c #Conflicts: 1508000 | #Constraints: 68755
2497.83/2504.41 c #Conflicts: 1509000 | #Constraints: 69755
2497.83/2504.41 c #Conflicts: 1510000 | #Constraints: 70755
2497.83/2504.41 c #Conflicts: 1511000 | #Constraints: 71755
2497.83/2504.41 c #Conflicts: 1512000 | #Constraints: 72755
2497.83/2504.41 c #Conflicts: 1513000 | #Constraints: 73755
2497.83/2504.41 c #Conflicts: 1514000 | #Constraints: 74755
2497.83/2504.41 c #Conflicts: 1515000 | #Constraints: 75755
2497.83/2504.41 c #Conflicts: 1516000 | #Constraints: 76755
2497.83/2504.41 c INPROCESSING
2497.83/2504.41 c GARBAGE COLLECT
2497.83/2504.41 c #Conflicts: 1517000 | #Constraints: 53344
2497.83/2504.41 c #Conflicts: 1518000 | #Constraints: 54344
2497.83/2504.41 c #Conflicts: 1519000 | #Constraints: 55344
2497.83/2504.41 c #Conflicts: 1520000 | #Constraints: 56344
2497.83/2504.41 c #Conflicts: 1521000 | #Constraints: 57344
2497.83/2504.41 c #Conflicts: 1522000 | #Constraints: 58344
2497.83/2504.41 c #Conflicts: 1523000 | #Constraints: 59344
2497.83/2504.41 c #Conflicts: 1524000 | #Constraints: 60344
2497.83/2504.41 c #Conflicts: 1525000 | #Constraints: 61344
2497.83/2504.41 c #Conflicts: 1526000 | #Constraints: 62344
2497.83/2504.41 c #Conflicts: 1527000 | #Constraints: 63344
2497.83/2504.41 c #Conflicts: 1528000 | #Constraints: 64344
2497.83/2504.41 c #Conflicts: 1529000 | #Constraints: 65344
2497.83/2504.41 c #Conflicts: 1530000 | #Constraints: 66344
2497.83/2504.41 c #Conflicts: 1531000 | #Constraints: 67344
2497.83/2504.41 c #Conflicts: 1532000 | #Constraints: 68344
2497.83/2504.41 c #Conflicts: 1533000 | #Constraints: 69344
2497.83/2504.41 c #Conflicts: 1534000 | #Constraints: 70344
2497.83/2504.41 c #Conflicts: 1535000 | #Constraints: 71344
2497.83/2504.41 c #Conflicts: 1536000 | #Constraints: 72344
2497.83/2504.41 c #Conflicts: 1537000 | #Constraints: 73344
2497.83/2504.41 c #Conflicts: 1538000 | #Constraints: 74344
2497.83/2504.41 c #Conflicts: 1539000 | #Constraints: 75344
2497.83/2504.41 c #Conflicts: 1540000 | #Constraints: 76344
2497.83/2504.41 c #Conflicts: 1541000 | #Constraints: 77344
2497.83/2504.41 c INPROCESSING
2497.83/2504.41 c GARBAGE COLLECT
2497.83/2504.41 c #Conflicts: 1542000 | #Constraints: 53745
2497.83/2504.41 c #Conflicts: 1543000 | #Constraints: 54745
2497.83/2504.41 c #Conflicts: 1544000 | #Constraints: 55745
2497.83/2504.41 c #Conflicts: 1545000 | #Constraints: 56745
2497.83/2504.41 c #Conflicts: 1546000 | #Constraints: 57745
2497.83/2504.41 c #Conflicts: 1547000 | #Constraints: 58745
2497.83/2504.41 c #Conflicts: 1548000 | #Constraints: 59745
2497.83/2504.41 c #Conflicts: 1549000 | #Constraints: 60745
2497.83/2504.41 c #Conflicts: 1550000 | #Constraints: 61745
2497.83/2504.41 c #Conflicts: 1551000 | #Constraints: 62745
2497.83/2504.41 c #Conflicts: 1552000 | #Constraints: 63745
2497.83/2504.41 c #Conflicts: 1553000 | #Constraints: 64745
2497.83/2504.41 c #Conflicts: 1554000 | #Constraints: 65745
2497.83/2504.41 c #Conflicts: 1555000 | #Constraints: 66745
2497.83/2504.41 c #Conflicts: 1556000 | #Constraints: 67745
2497.83/2504.41 c #Conflicts: 1557000 | #Constraints: 68745
2497.83/2504.41 c #Conflicts: 1558000 | #Constraints: 69745
2497.83/2504.41 c #Conflicts: 1559000 | #Constraints: 70745
2497.83/2504.41 c #Conflicts: 1560000 | #Constraints: 71745
2497.83/2504.41 c #Conflicts: 1561000 | #Constraints: 72745
2497.83/2504.41 c #Conflicts: 1562000 | #Constraints: 73745
2497.83/2504.41 c #Conflicts: 1563000 | #Constraints: 74745
2497.83/2504.41 c #Conflicts: 1564000 | #Constraints: 75745
2497.83/2504.41 c #Conflicts: 1565000 | #Constraints: 76745
2497.83/2504.41 c #Conflicts: 1566000 | #Constraints: 77745
2497.83/2504.41 c INPROCESSING
2497.83/2504.41 c GARBAGE COLLECT
2497.83/2504.41 c #Conflicts: 1567000 | #Constraints: 53957
2497.83/2504.41 c #Conflicts: 1568000 | #Constraints: 54957
2497.83/2504.41 c #Conflicts: 1569000 | #Constraints: 55957
2497.83/2504.41 c #Conflicts: 1570000 | #Constraints: 56957
2497.83/2504.41 c #Conflicts: 1571000 | #Constraints: 57957
2497.83/2504.41 c #Conflicts: 1572000 | #Constraints: 58957
2497.83/2504.41 c #Conflicts: 1573000 | #Constraints: 59957
2497.83/2504.41 c #Conflicts: 1574000 | #Constraints: 60957
2642.58/2649.55 c #Conflicts: 1575000 | #Constraints: 61957
2642.58/2649.55 c #Conflicts: 1576000 | #Constraints: 62957
2642.58/2649.55 c #Conflicts: 1577000 | #Constraints: 63957
2642.58/2649.55 c #Conflicts: 1578000 | #Constraints: 64957
2642.58/2649.55 c #Conflicts: 1579000 | #Constraints: 65957
2642.58/2649.55 c #Conflicts: 1580000 | #Constraints: 66957
2642.58/2649.55 c #Conflicts: 1581000 | #Constraints: 67957
2642.58/2649.55 c #Conflicts: 1582000 | #Constraints: 68957
2642.58/2649.55 c #Conflicts: 1583000 | #Constraints: 69957
2642.58/2649.55 c #Conflicts: 1584000 | #Constraints: 70957
2642.58/2649.55 c #Conflicts: 1585000 | #Constraints: 71957
2642.58/2649.55 c #Conflicts: 1586000 | #Constraints: 72957
2642.58/2649.55 c #Conflicts: 1587000 | #Constraints: 73957
2642.58/2649.55 c #Conflicts: 1588000 | #Constraints: 74957
2642.58/2649.55 c #Conflicts: 1589000 | #Constraints: 75957
2642.58/2649.55 c #Conflicts: 1590000 | #Constraints: 76957
2642.58/2649.55 c #Conflicts: 1591000 | #Constraints: 77957
2642.58/2649.55 c INPROCESSING
2642.58/2649.55 c GARBAGE COLLECT
2642.58/2649.55 c #Conflicts: 1592000 | #Constraints: 53963
2642.58/2649.55 c #Conflicts: 1593000 | #Constraints: 54963
2642.58/2649.55 c #Conflicts: 1594000 | #Constraints: 55963
2642.58/2649.55 c #Conflicts: 1595000 | #Constraints: 56963
2642.58/2649.55 c #Conflicts: 1596000 | #Constraints: 57963
2642.58/2649.55 c #Conflicts: 1597000 | #Constraints: 58963
2642.58/2649.55 c #Conflicts: 1598000 | #Constraints: 59963
2642.58/2649.55 c #Conflicts: 1599000 | #Constraints: 60963
2642.58/2649.55 c #Conflicts: 1600000 | #Constraints: 61963
2642.58/2649.55 c #Conflicts: 1601000 | #Constraints: 62963
2642.58/2649.55 c #Conflicts: 1602000 | #Constraints: 63963
2642.58/2649.55 c #Conflicts: 1603000 | #Constraints: 64963
2642.58/2649.55 c #Conflicts: 1604000 | #Constraints: 65963
2642.58/2649.55 c #Conflicts: 1605000 | #Constraints: 66963
2642.58/2649.55 c #Conflicts: 1606000 | #Constraints: 67963
2642.58/2649.55 c #Conflicts: 1607000 | #Constraints: 68963
2642.58/2649.55 c #Conflicts: 1608000 | #Constraints: 69963
2642.58/2649.55 c #Conflicts: 1609000 | #Constraints: 70963
2642.58/2649.55 c #Conflicts: 1610000 | #Constraints: 71963
2642.58/2649.55 c #Conflicts: 1611000 | #Constraints: 72963
2642.58/2649.55 c #Conflicts: 1612000 | #Constraints: 73963
2642.58/2649.55 c #Conflicts: 1613000 | #Constraints: 74963
2642.58/2649.55 c #Conflicts: 1614000 | #Constraints: 75963
2642.58/2649.55 c #Conflicts: 1615000 | #Constraints: 76963
2642.58/2649.55 c #Conflicts: 1616000 | #Constraints: 77963
2642.58/2649.55 c INPROCESSING
2642.58/2649.55 c GARBAGE COLLECT
2642.58/2649.55 c #Conflicts: 1617000 | #Constraints: 53775
2642.58/2649.55 c #Conflicts: 1618000 | #Constraints: 54775
2642.58/2649.55 c #Conflicts: 1619000 | #Constraints: 55775
2642.58/2649.55 c #Conflicts: 1620000 | #Constraints: 56775
2642.58/2649.55 c #Conflicts: 1621000 | #Constraints: 57775
2642.58/2649.55 c #Conflicts: 1622000 | #Constraints: 58775
2642.58/2649.55 c #Conflicts: 1623000 | #Constraints: 59775
2642.58/2649.55 c #Conflicts: 1624000 | #Constraints: 60775
2642.58/2649.55 c #Conflicts: 1625000 | #Constraints: 61775
2642.58/2649.55 c #Conflicts: 1626000 | #Constraints: 62775
2642.58/2649.55 c #Conflicts: 1627000 | #Constraints: 63775
2642.58/2649.55 c #Conflicts: 1628000 | #Constraints: 64775
2642.58/2649.55 c #Conflicts: 1629000 | #Constraints: 65775
2642.58/2649.55 c #Conflicts: 1630000 | #Constraints: 66775
2642.58/2649.55 c #Conflicts: 1631000 | #Constraints: 67775
2642.58/2649.55 c #Conflicts: 1632000 | #Constraints: 68775
2642.58/2649.55 c #Conflicts: 1633000 | #Constraints: 69775
2642.58/2649.55 c #Conflicts: 1634000 | #Constraints: 70775
2642.58/2649.55 c #Conflicts: 1635000 | #Constraints: 71775
2642.58/2649.55 c #Conflicts: 1636000 | #Constraints: 72775
2642.58/2649.55 c #Conflicts: 1637000 | #Constraints: 73775
2642.58/2649.55 c #Conflicts: 1638000 | #Constraints: 74775
2642.58/2649.55 c #Conflicts: 1639000 | #Constraints: 75775
2642.58/2649.55 c #Conflicts: 1640000 | #Constraints: 76775
2642.58/2649.55 c #Conflicts: 1641000 | #Constraints: 77775
2642.58/2649.55 c #Conflicts: 1642000 | #Constraints: 78775
2642.58/2649.55 c INPROCESSING
2642.58/2649.55 c GARBAGE COLLECT
2642.58/2649.55 c #Conflicts: 1643000 | #Constraints: 54361
2642.58/2649.55 c #Conflicts: 1644000 | #Constraints: 55361
2642.58/2649.55 c #Conflicts: 1645000 | #Constraints: 56361
2642.58/2649.55 c #Conflicts: 1646000 | #Constraints: 57361
2642.58/2649.55 c #Conflicts: 1647000 | #Constraints: 58361
2642.58/2649.55 c #Conflicts: 1648000 | #Constraints: 59361
2642.58/2649.55 c #Conflicts: 1649000 | #Constraints: 60361
2642.58/2649.55 c #Conflicts: 1650000 | #Constraints: 61361
2642.58/2649.55 c #Conflicts: 1651000 | #Constraints: 62361
2791.61/2798.99 c #Conflicts: 1652000 | #Constraints: 63361
2791.61/2798.99 c #Conflicts: 1653000 | #Constraints: 64361
2791.61/2798.99 c #Conflicts: 1654000 | #Constraints: 65361
2791.61/2798.99 c #Conflicts: 1655000 | #Constraints: 66361
2791.61/2798.99 c #Conflicts: 1656000 | #Constraints: 67361
2791.61/2798.99 c #Conflicts: 1657000 | #Constraints: 68361
2791.61/2798.99 c #Conflicts: 1658000 | #Constraints: 69361
2791.61/2798.99 c #Conflicts: 1659000 | #Constraints: 70361
2791.61/2798.99 c #Conflicts: 1660000 | #Constraints: 71361
2791.61/2798.99 c #Conflicts: 1661000 | #Constraints: 72361
2791.61/2798.99 c #Conflicts: 1662000 | #Constraints: 73361
2791.61/2798.99 c #Conflicts: 1663000 | #Constraints: 74361
2791.61/2798.99 c #Conflicts: 1664000 | #Constraints: 75361
2791.61/2798.99 c #Conflicts: 1665000 | #Constraints: 76361
2791.61/2798.99 c #Conflicts: 1666000 | #Constraints: 77361
2791.61/2798.99 c #Conflicts: 1667000 | #Constraints: 78361
2791.61/2798.99 c #Conflicts: 1668000 | #Constraints: 79361
2791.61/2798.99 c INPROCESSING
2791.61/2798.99 c GARBAGE COLLECT
2791.61/2798.99 c #Conflicts: 1669000 | #Constraints: 54768
2791.61/2798.99 c #Conflicts: 1670000 | #Constraints: 55768
2791.61/2798.99 c #Conflicts: 1671000 | #Constraints: 56768
2791.61/2798.99 c #Conflicts: 1672000 | #Constraints: 57768
2791.61/2798.99 c #Conflicts: 1673000 | #Constraints: 58768
2791.61/2798.99 c #Conflicts: 1674000 | #Constraints: 59768
2791.61/2798.99 c #Conflicts: 1675000 | #Constraints: 60768
2791.61/2798.99 c #Conflicts: 1676000 | #Constraints: 61768
2791.61/2798.99 c #Conflicts: 1677000 | #Constraints: 62768
2791.61/2798.99 c #Conflicts: 1678000 | #Constraints: 63768
2791.61/2798.99 c #Conflicts: 1679000 | #Constraints: 64768
2791.61/2798.99 c #Conflicts: 1680000 | #Constraints: 65768
2791.61/2798.99 c #Conflicts: 1681000 | #Constraints: 66768
2791.61/2798.99 c #Conflicts: 1682000 | #Constraints: 67768
2791.61/2798.99 c #Conflicts: 1683000 | #Constraints: 68768
2791.61/2798.99 c #Conflicts: 1684000 | #Constraints: 69768
2791.61/2798.99 c #Conflicts: 1685000 | #Constraints: 70768
2791.61/2798.99 c #Conflicts: 1686000 | #Constraints: 71768
2791.61/2798.99 c #Conflicts: 1687000 | #Constraints: 72768
2791.61/2798.99 c #Conflicts: 1688000 | #Constraints: 73768
2791.61/2798.99 c #Conflicts: 1689000 | #Constraints: 74768
2791.61/2798.99 c #Conflicts: 1690000 | #Constraints: 75768
2791.61/2798.99 c #Conflicts: 1691000 | #Constraints: 76768
2791.61/2798.99 c #Conflicts: 1692000 | #Constraints: 77768
2791.61/2798.99 c #Conflicts: 1693000 | #Constraints: 78768
2791.61/2798.99 c #Conflicts: 1694000 | #Constraints: 79768
2791.61/2798.99 c INPROCESSING
2791.61/2798.99 c GARBAGE COLLECT
2791.61/2798.99 c #Conflicts: 1695000 | #Constraints: 54966
2791.61/2798.99 c #Conflicts: 1696000 | #Constraints: 55966
2791.61/2798.99 c #Conflicts: 1697000 | #Constraints: 56966
2791.61/2798.99 c #Conflicts: 1698000 | #Constraints: 57966
2791.61/2798.99 c #Conflicts: 1699000 | #Constraints: 58966
2791.61/2798.99 c #Conflicts: 1700000 | #Constraints: 59966
2791.61/2798.99 c #Conflicts: 1701000 | #Constraints: 60966
2791.61/2798.99 c #Conflicts: 1702000 | #Constraints: 61966
2791.61/2798.99 c #Conflicts: 1703000 | #Constraints: 62966
2791.61/2798.99 c #Conflicts: 1704000 | #Constraints: 63966
2791.61/2798.99 c #Conflicts: 1705000 | #Constraints: 64966
2791.61/2798.99 c #Conflicts: 1706000 | #Constraints: 65966
2791.61/2798.99 c #Conflicts: 1707000 | #Constraints: 66966
2791.61/2798.99 c #Conflicts: 1708000 | #Constraints: 67966
2791.61/2798.99 c #Conflicts: 1709000 | #Constraints: 68966
2791.61/2798.99 c #Conflicts: 1710000 | #Constraints: 69966
2791.61/2798.99 c #Conflicts: 1711000 | #Constraints: 70966
2791.61/2798.99 c #Conflicts: 1712000 | #Constraints: 71966
2791.61/2798.99 c #Conflicts: 1713000 | #Constraints: 72966
2791.61/2798.99 c #Conflicts: 1714000 | #Constraints: 73966
2791.61/2798.99 c #Conflicts: 1715000 | #Constraints: 74966
2791.61/2798.99 c #Conflicts: 1716000 | #Constraints: 75966
2791.61/2798.99 c #Conflicts: 1717000 | #Constraints: 76966
2791.61/2798.99 c #Conflicts: 1718000 | #Constraints: 77966
2791.61/2798.99 c #Conflicts: 1719000 | #Constraints: 78966
2791.61/2798.99 c #Conflicts: 1720000 | #Constraints: 79966
2791.61/2798.99 c INPROCESSING
2791.61/2798.99 c GARBAGE COLLECT
2791.61/2798.99 c #Conflicts: 1721000 | #Constraints: 54958
2791.61/2798.99 c #Conflicts: 1722000 | #Constraints: 55958
2791.61/2798.99 c #Conflicts: 1723000 | #Constraints: 56958
2791.61/2798.99 c #Conflicts: 1724000 | #Constraints: 57958
2791.61/2798.99 c #Conflicts: 1725000 | #Constraints: 58958
2791.61/2798.99 c #Conflicts: 1726000 | #Constraints: 59958
2791.61/2798.99 c #Conflicts: 1727000 | #Constraints: 60958
2791.61/2798.99 c #Conflicts: 1728000 | #Constraints: 61958
2928.38/2936.06 c #Conflicts: 1729000 | #Constraints: 62958
2928.38/2936.06 c #Conflicts: 1730000 | #Constraints: 63958
2928.38/2936.06 c #Conflicts: 1731000 | #Constraints: 64958
2928.38/2936.06 c #Conflicts: 1732000 | #Constraints: 65958
2928.38/2936.06 c #Conflicts: 1733000 | #Constraints: 66958
2928.38/2936.06 c #Conflicts: 1734000 | #Constraints: 67958
2928.38/2936.06 c #Conflicts: 1735000 | #Constraints: 68958
2928.38/2936.06 c #Conflicts: 1736000 | #Constraints: 69958
2928.38/2936.06 c #Conflicts: 1737000 | #Constraints: 70958
2928.38/2936.06 c #Conflicts: 1738000 | #Constraints: 71958
2928.38/2936.06 c #Conflicts: 1739000 | #Constraints: 72958
2928.38/2936.06 c #Conflicts: 1740000 | #Constraints: 73958
2928.38/2936.06 c #Conflicts: 1741000 | #Constraints: 74958
2928.38/2936.06 c #Conflicts: 1742000 | #Constraints: 75958
2928.38/2936.06 c #Conflicts: 1743000 | #Constraints: 76958
2928.38/2936.06 c #Conflicts: 1744000 | #Constraints: 77958
2928.38/2936.06 c #Conflicts: 1745000 | #Constraints: 78958
2928.38/2936.06 c #Conflicts: 1746000 | #Constraints: 79958
2928.38/2936.06 c INPROCESSING
2928.38/2936.06 c GARBAGE COLLECT
2928.38/2936.06 c #Conflicts: 1747000 | #Constraints: 54771
2928.38/2936.06 c #Conflicts: 1748000 | #Constraints: 55771
2928.38/2936.06 c #Conflicts: 1749000 | #Constraints: 56771
2928.38/2936.06 c #Conflicts: 1750000 | #Constraints: 57771
2928.38/2936.06 c #Conflicts: 1751000 | #Constraints: 58771
2928.38/2936.06 c #Conflicts: 1752000 | #Constraints: 59771
2928.38/2936.06 c #Conflicts: 1753000 | #Constraints: 60771
2928.38/2936.06 c #Conflicts: 1754000 | #Constraints: 61771
2928.38/2936.06 c #Conflicts: 1755000 | #Constraints: 62771
2928.38/2936.06 c #Conflicts: 1756000 | #Constraints: 63771
2928.38/2936.06 c #Conflicts: 1757000 | #Constraints: 64771
2928.38/2936.06 c #Conflicts: 1758000 | #Constraints: 65771
2928.38/2936.06 c #Conflicts: 1759000 | #Constraints: 66771
2928.38/2936.06 c #Conflicts: 1760000 | #Constraints: 67771
2928.38/2936.06 c #Conflicts: 1761000 | #Constraints: 68771
2928.38/2936.06 c #Conflicts: 1762000 | #Constraints: 69771
2928.38/2936.06 c #Conflicts: 1763000 | #Constraints: 70771
2928.38/2936.06 c #Conflicts: 1764000 | #Constraints: 71771
2928.38/2936.06 c #Conflicts: 1765000 | #Constraints: 72771
2928.38/2936.06 c #Conflicts: 1766000 | #Constraints: 73771
2928.38/2936.06 c #Conflicts: 1767000 | #Constraints: 74771
2928.38/2936.06 c #Conflicts: 1768000 | #Constraints: 75771
2928.38/2936.06 c #Conflicts: 1769000 | #Constraints: 76771
2928.38/2936.06 c #Conflicts: 1770000 | #Constraints: 77771
2928.38/2936.06 c #Conflicts: 1771000 | #Constraints: 78771
2928.38/2936.06 c #Conflicts: 1772000 | #Constraints: 79771
2928.38/2936.06 c #Conflicts: 1773000 | #Constraints: 80771
2928.38/2936.06 c INPROCESSING
2928.38/2936.06 c GARBAGE COLLECT
2928.38/2936.06 c #Conflicts: 1774000 | #Constraints: 55371
2928.38/2936.06 c #Conflicts: 1775000 | #Constraints: 56371
2928.38/2936.06 c #Conflicts: 1776000 | #Constraints: 57371
2928.38/2936.06 c #Conflicts: 1777000 | #Constraints: 58371
2928.38/2936.06 c #Conflicts: 1778000 | #Constraints: 59371
2928.38/2936.06 c #Conflicts: 1779000 | #Constraints: 60371
2928.38/2936.06 c #Conflicts: 1780000 | #Constraints: 61371
2928.38/2936.06 c #Conflicts: 1781000 | #Constraints: 62371
2928.38/2936.06 c #Conflicts: 1782000 | #Constraints: 63371
2928.38/2936.06 c #Conflicts: 1783000 | #Constraints: 64371
2928.38/2936.06 c #Conflicts: 1784000 | #Constraints: 65371
2928.38/2936.06 c #Conflicts: 1785000 | #Constraints: 66371
2928.38/2936.06 c #Conflicts: 1786000 | #Constraints: 67371
2928.38/2936.06 c #Conflicts: 1787000 | #Constraints: 68371
2928.38/2936.06 c #Conflicts: 1788000 | #Constraints: 69371
2928.38/2936.06 c #Conflicts: 1789000 | #Constraints: 70371
2928.38/2936.06 c #Conflicts: 1790000 | #Constraints: 71371
2928.38/2936.06 c #Conflicts: 1791000 | #Constraints: 72371
2928.38/2936.06 c #Conflicts: 1792000 | #Constraints: 73371
2928.38/2936.06 c #Conflicts: 1793000 | #Constraints: 74371
2928.38/2936.06 c #Conflicts: 1794000 | #Constraints: 75371
2928.38/2936.06 c #Conflicts: 1795000 | #Constraints: 76371
2928.38/2936.06 c #Conflicts: 1796000 | #Constraints: 77371
2928.38/2936.06 c #Conflicts: 1797000 | #Constraints: 78371
2928.38/2936.06 c #Conflicts: 1798000 | #Constraints: 79371
2928.38/2936.06 c #Conflicts: 1799000 | #Constraints: 80371
2928.38/2936.06 c #Conflicts: 1800000 | #Constraints: 81371
2928.38/2936.06 c INPROCESSING
2928.38/2936.06 c GARBAGE COLLECT
2928.38/2936.06 c #Conflicts: 1801000 | #Constraints: 55754
2928.38/2936.06 c #Conflicts: 1802000 | #Constraints: 56754
2928.38/2936.06 c #Conflicts: 1803000 | #Constraints: 57754
2928.38/2936.06 c #Conflicts: 1804000 | #Constraints: 58754
2928.38/2936.06 c #Conflicts: 1805000 | #Constraints: 59754
3072.43/3080.40 c #Conflicts: 1806000 | #Constraints: 60754
3072.43/3080.40 c #Conflicts: 1807000 | #Constraints: 61754
3072.43/3080.40 c #Conflicts: 1808000 | #Constraints: 62754
3072.43/3080.40 c #Conflicts: 1809000 | #Constraints: 63754
3072.43/3080.40 c #Conflicts: 1810000 | #Constraints: 64754
3072.43/3080.40 c #Conflicts: 1811000 | #Constraints: 65754
3072.43/3080.40 c #Conflicts: 1812000 | #Constraints: 66754
3072.43/3080.40 c #Conflicts: 1813000 | #Constraints: 67754
3072.43/3080.40 c #Conflicts: 1814000 | #Constraints: 68754
3072.43/3080.40 c #Conflicts: 1815000 | #Constraints: 69754
3072.43/3080.40 c #Conflicts: 1816000 | #Constraints: 70754
3072.43/3080.40 c #Conflicts: 1817000 | #Constraints: 71754
3072.43/3080.40 c #Conflicts: 1818000 | #Constraints: 72754
3072.43/3080.40 c #Conflicts: 1819000 | #Constraints: 73754
3072.43/3080.40 c #Conflicts: 1820000 | #Constraints: 74754
3072.43/3080.40 c #Conflicts: 1821000 | #Constraints: 75754
3072.43/3080.40 c #Conflicts: 1822000 | #Constraints: 76754
3072.43/3080.40 c #Conflicts: 1823000 | #Constraints: 77754
3072.43/3080.40 c #Conflicts: 1824000 | #Constraints: 78754
3072.43/3080.40 c #Conflicts: 1825000 | #Constraints: 79754
3072.43/3080.40 c #Conflicts: 1826000 | #Constraints: 80754
3072.43/3080.40 c #Conflicts: 1827000 | #Constraints: 81754
3072.43/3080.40 c INPROCESSING
3072.43/3080.40 c GARBAGE COLLECT
3072.43/3080.40 c #Conflicts: 1828000 | #Constraints: 55959
3072.43/3080.40 c #Conflicts: 1829000 | #Constraints: 56959
3072.43/3080.40 c #Conflicts: 1830000 | #Constraints: 57959
3072.43/3080.40 c #Conflicts: 1831000 | #Constraints: 58959
3072.43/3080.40 c #Conflicts: 1832000 | #Constraints: 59959
3072.43/3080.40 c #Conflicts: 1833000 | #Constraints: 60959
3072.43/3080.40 c #Conflicts: 1834000 | #Constraints: 61959
3072.43/3080.40 c #Conflicts: 1835000 | #Constraints: 62959
3072.43/3080.40 c #Conflicts: 1836000 | #Constraints: 63959
3072.43/3080.40 c #Conflicts: 1837000 | #Constraints: 64959
3072.43/3080.40 c #Conflicts: 1838000 | #Constraints: 65959
3072.43/3080.40 c #Conflicts: 1839000 | #Constraints: 66959
3072.43/3080.40 c #Conflicts: 1840000 | #Constraints: 67959
3072.43/3080.40 c #Conflicts: 1841000 | #Constraints: 68959
3072.43/3080.40 c #Conflicts: 1842000 | #Constraints: 69959
3072.43/3080.40 c #Conflicts: 1843000 | #Constraints: 70959
3072.43/3080.40 c #Conflicts: 1844000 | #Constraints: 71959
3072.43/3080.40 c #Conflicts: 1845000 | #Constraints: 72959
3072.43/3080.40 c #Conflicts: 1846000 | #Constraints: 73959
3072.43/3080.40 c #Conflicts: 1847000 | #Constraints: 74959
3072.43/3080.40 c #Conflicts: 1848000 | #Constraints: 75959
3072.43/3080.40 c #Conflicts: 1849000 | #Constraints: 76959
3072.43/3080.40 c #Conflicts: 1850000 | #Constraints: 77959
3072.43/3080.40 c #Conflicts: 1851000 | #Constraints: 78959
3072.43/3080.40 c #Conflicts: 1852000 | #Constraints: 79959
3072.43/3080.40 c #Conflicts: 1853000 | #Constraints: 80959
3072.43/3080.40 c #Conflicts: 1854000 | #Constraints: 81959
3072.43/3080.40 c INPROCESSING
3072.43/3080.40 c GARBAGE COLLECT
3072.43/3080.40 c #Conflicts: 1855000 | #Constraints: 55971
3072.43/3080.40 c #Conflicts: 1856000 | #Constraints: 56971
3072.43/3080.40 c #Conflicts: 1857000 | #Constraints: 57971
3072.43/3080.40 c #Conflicts: 1858000 | #Constraints: 58971
3072.43/3080.40 c #Conflicts: 1859000 | #Constraints: 59971
3072.43/3080.40 c #Conflicts: 1860000 | #Constraints: 60971
3072.43/3080.40 c #Conflicts: 1861000 | #Constraints: 61971
3072.43/3080.40 c #Conflicts: 1862000 | #Constraints: 62971
3072.43/3080.40 c #Conflicts: 1863000 | #Constraints: 63971
3072.43/3080.40 c #Conflicts: 1864000 | #Constraints: 64971
3072.43/3080.40 c #Conflicts: 1865000 | #Constraints: 65971
3072.43/3080.40 c #Conflicts: 1866000 | #Constraints: 66971
3072.43/3080.40 c #Conflicts: 1867000 | #Constraints: 67971
3072.43/3080.40 c #Conflicts: 1868000 | #Constraints: 68971
3072.43/3080.40 c #Conflicts: 1869000 | #Constraints: 69971
3072.43/3080.40 c #Conflicts: 1870000 | #Constraints: 70971
3072.43/3080.40 c #Conflicts: 1871000 | #Constraints: 71971
3072.43/3080.40 c #Conflicts: 1872000 | #Constraints: 72971
3072.43/3080.40 c #Conflicts: 1873000 | #Constraints: 73971
3072.43/3080.40 c #Conflicts: 1874000 | #Constraints: 74971
3072.43/3080.40 c #Conflicts: 1875000 | #Constraints: 75971
3072.43/3080.40 c #Conflicts: 1876000 | #Constraints: 76971
3072.43/3080.40 c #Conflicts: 1877000 | #Constraints: 77971
3072.43/3080.40 c #Conflicts: 1878000 | #Constraints: 78971
3072.43/3080.40 c #Conflicts: 1879000 | #Constraints: 79971
3072.43/3080.40 c #Conflicts: 1880000 | #Constraints: 80971
3072.43/3080.40 c #Conflicts: 1881000 | #Constraints: 81971
3072.43/3080.40 c INPROCESSING
3072.43/3080.40 c GARBAGE COLLECT
3072.43/3080.40 c #Conflicts: 1882000 | #Constraints: 55763
3213.78/3222.13 c #Conflicts: 1883000 | #Constraints: 56763
3213.78/3222.13 c #Conflicts: 1884000 | #Constraints: 57763
3213.78/3222.13 c #Conflicts: 1885000 | #Constraints: 58763
3213.78/3222.13 c #Conflicts: 1886000 | #Constraints: 59763
3213.78/3222.13 c #Conflicts: 1887000 | #Constraints: 60763
3213.78/3222.13 c #Conflicts: 1888000 | #Constraints: 61763
3213.78/3222.13 c #Conflicts: 1889000 | #Constraints: 62763
3213.78/3222.13 c #Conflicts: 1890000 | #Constraints: 63763
3213.78/3222.13 c #Conflicts: 1891000 | #Constraints: 64763
3213.78/3222.13 c #Conflicts: 1892000 | #Constraints: 65763
3213.78/3222.13 c #Conflicts: 1893000 | #Constraints: 66763
3213.78/3222.13 c #Conflicts: 1894000 | #Constraints: 67763
3213.78/3222.13 c #Conflicts: 1895000 | #Constraints: 68763
3213.78/3222.13 c #Conflicts: 1896000 | #Constraints: 69763
3213.78/3222.13 c #Conflicts: 1897000 | #Constraints: 70763
3213.78/3222.13 c #Conflicts: 1898000 | #Constraints: 71763
3213.78/3222.13 c #Conflicts: 1899000 | #Constraints: 72763
3213.78/3222.13 c #Conflicts: 1900000 | #Constraints: 73763
3213.78/3222.13 c #Conflicts: 1901000 | #Constraints: 74763
3213.78/3222.13 c #Conflicts: 1902000 | #Constraints: 75763
3213.78/3222.13 c #Conflicts: 1903000 | #Constraints: 76763
3213.78/3222.13 c #Conflicts: 1904000 | #Constraints: 77763
3213.78/3222.13 c #Conflicts: 1905000 | #Constraints: 78763
3213.78/3222.13 c #Conflicts: 1906000 | #Constraints: 79763
3213.78/3222.13 c #Conflicts: 1907000 | #Constraints: 80763
3213.78/3222.13 c #Conflicts: 1908000 | #Constraints: 81763
3213.78/3222.13 c #Conflicts: 1909000 | #Constraints: 82763
3213.78/3222.13 c INPROCESSING
3213.78/3222.13 c GARBAGE COLLECT
3213.78/3222.13 c #Conflicts: 1910000 | #Constraints: 56356
3213.78/3222.13 c #Conflicts: 1911000 | #Constraints: 57356
3213.78/3222.13 c #Conflicts: 1912000 | #Constraints: 58356
3213.78/3222.13 c #Conflicts: 1913000 | #Constraints: 59356
3213.78/3222.13 c #Conflicts: 1914000 | #Constraints: 60356
3213.78/3222.13 c #Conflicts: 1915000 | #Constraints: 61356
3213.78/3222.13 c #Conflicts: 1916000 | #Constraints: 62356
3213.78/3222.13 c #Conflicts: 1917000 | #Constraints: 63356
3213.78/3222.13 c #Conflicts: 1918000 | #Constraints: 64356
3213.78/3222.13 c #Conflicts: 1919000 | #Constraints: 65356
3213.78/3222.13 c #Conflicts: 1920000 | #Constraints: 66356
3213.78/3222.13 c #Conflicts: 1921000 | #Constraints: 67356
3213.78/3222.13 c #Conflicts: 1922000 | #Constraints: 68356
3213.78/3222.13 c #Conflicts: 1923000 | #Constraints: 69356
3213.78/3222.13 c #Conflicts: 1924000 | #Constraints: 70356
3213.78/3222.13 c #Conflicts: 1925000 | #Constraints: 71356
3213.78/3222.13 c #Conflicts: 1926000 | #Constraints: 72356
3213.78/3222.13 c #Conflicts: 1927000 | #Constraints: 73356
3213.78/3222.13 c #Conflicts: 1928000 | #Constraints: 74356
3213.78/3222.13 c #Conflicts: 1929000 | #Constraints: 75356
3213.78/3222.13 c #Conflicts: 1930000 | #Constraints: 76356
3213.78/3222.13 c #Conflicts: 1931000 | #Constraints: 77356
3213.78/3222.13 c #Conflicts: 1932000 | #Constraints: 78356
3213.78/3222.13 c #Conflicts: 1933000 | #Constraints: 79356
3213.78/3222.13 c #Conflicts: 1934000 | #Constraints: 80356
3213.78/3222.13 c #Conflicts: 1935000 | #Constraints: 81356
3213.78/3222.13 c #Conflicts: 1936000 | #Constraints: 82356
3213.78/3222.13 c #Conflicts: 1937000 | #Constraints: 83356
3213.78/3222.13 c INPROCESSING
3213.78/3222.13 c GARBAGE COLLECT
3213.78/3222.13 c #Conflicts: 1938000 | #Constraints: 56755
3213.78/3222.13 c #Conflicts: 1939000 | #Constraints: 57755
3213.78/3222.13 c #Conflicts: 1940000 | #Constraints: 58755
3213.78/3222.13 c #Conflicts: 1941000 | #Constraints: 59755
3213.78/3222.13 c #Conflicts: 1942000 | #Constraints: 60755
3213.78/3222.13 c #Conflicts: 1943000 | #Constraints: 61755
3213.78/3222.13 c #Conflicts: 1944000 | #Constraints: 62755
3213.78/3222.13 c #Conflicts: 1945000 | #Constraints: 63755
3213.78/3222.13 c #Conflicts: 1946000 | #Constraints: 64755
3213.78/3222.13 c #Conflicts: 1947000 | #Constraints: 65755
3213.78/3222.13 c #Conflicts: 1948000 | #Constraints: 66755
3213.78/3222.13 c #Conflicts: 1949000 | #Constraints: 67755
3213.78/3222.13 c #Conflicts: 1950000 | #Constraints: 68755
3213.78/3222.13 c #Conflicts: 1951000 | #Constraints: 69755
3213.78/3222.13 c #Conflicts: 1952000 | #Constraints: 70755
3213.78/3222.13 c #Conflicts: 1953000 | #Constraints: 71755
3213.78/3222.13 c #Conflicts: 1954000 | #Constraints: 72755
3213.78/3222.13 c #Conflicts: 1955000 | #Constraints: 73755
3213.78/3222.13 c #Conflicts: 1956000 | #Constraints: 74755
3213.78/3222.13 c #Conflicts: 1957000 | #Constraints: 75755
3213.78/3222.13 c #Conflicts: 1958000 | #Constraints: 76755
3213.78/3222.13 c #Conflicts: 1959000 | #Constraints: 77755
3358.42/3367.10 c #Conflicts: 1960000 | #Constraints: 78755
3358.42/3367.10 c #Conflicts: 1961000 | #Constraints: 79755
3358.42/3367.10 c #Conflicts: 1962000 | #Constraints: 80755
3358.42/3367.10 c #Conflicts: 1963000 | #Constraints: 81755
3358.42/3367.10 c #Conflicts: 1964000 | #Constraints: 82755
3358.42/3367.10 c #Conflicts: 1965000 | #Constraints: 83755
3358.42/3367.10 c INPROCESSING
3358.42/3367.10 c GARBAGE COLLECT
3358.42/3367.10 c #Conflicts: 1966000 | #Constraints: 56955
3358.42/3367.10 c #Conflicts: 1967000 | #Constraints: 57955
3358.42/3367.10 c #Conflicts: 1968000 | #Constraints: 58955
3358.42/3367.10 c #Conflicts: 1969000 | #Constraints: 59955
3358.42/3367.10 c #Conflicts: 1970000 | #Constraints: 60955
3358.42/3367.10 c #Conflicts: 1971000 | #Constraints: 61955
3358.42/3367.10 c #Conflicts: 1972000 | #Constraints: 62955
3358.42/3367.10 c #Conflicts: 1973000 | #Constraints: 63955
3358.42/3367.10 c #Conflicts: 1974000 | #Constraints: 64955
3358.42/3367.10 c #Conflicts: 1975000 | #Constraints: 65955
3358.42/3367.10 c #Conflicts: 1976000 | #Constraints: 66955
3358.42/3367.10 c #Conflicts: 1977000 | #Constraints: 67955
3358.42/3367.10 c #Conflicts: 1978000 | #Constraints: 68955
3358.42/3367.10 c #Conflicts: 1979000 | #Constraints: 69955
3358.42/3367.10 c #Conflicts: 1980000 | #Constraints: 70955
3358.42/3367.10 c #Conflicts: 1981000 | #Constraints: 71955
3358.42/3367.10 c #Conflicts: 1982000 | #Constraints: 72955
3358.42/3367.10 c #Conflicts: 1983000 | #Constraints: 73955
3358.42/3367.10 c #Conflicts: 1984000 | #Constraints: 74955
3358.42/3367.10 c #Conflicts: 1985000 | #Constraints: 75955
3358.42/3367.10 c #Conflicts: 1986000 | #Constraints: 76955
3358.42/3367.10 c #Conflicts: 1987000 | #Constraints: 77955
3358.42/3367.10 c #Conflicts: 1988000 | #Constraints: 78955
3358.42/3367.10 c #Conflicts: 1989000 | #Constraints: 79955
3358.42/3367.10 c #Conflicts: 1990000 | #Constraints: 80955
3358.42/3367.10 c #Conflicts: 1991000 | #Constraints: 81955
3358.42/3367.10 c #Conflicts: 1992000 | #Constraints: 82955
3358.42/3367.10 c #Conflicts: 1993000 | #Constraints: 83955
3358.42/3367.10 c INPROCESSING
3358.42/3367.10 c GARBAGE COLLECT
3358.42/3367.10 c #Conflicts: 1994000 | #Constraints: 56967
3358.42/3367.10 c #Conflicts: 1995000 | #Constraints: 57967
3358.42/3367.10 c #Conflicts: 1996000 | #Constraints: 58967
3358.42/3367.10 c #Conflicts: 1997000 | #Constraints: 59967
3358.42/3367.10 c #Conflicts: 1998000 | #Constraints: 60967
3358.42/3367.10 c #Conflicts: 1999000 | #Constraints: 61967
3358.42/3367.10 c #Conflicts: 2000000 | #Constraints: 62967
3358.42/3367.10 c #Conflicts: 2001000 | #Constraints: 63967
3358.42/3367.10 c #Conflicts: 2002000 | #Constraints: 64967
3358.42/3367.10 c #Conflicts: 2003000 | #Constraints: 65967
3358.42/3367.10 c #Conflicts: 2004000 | #Constraints: 66967
3358.42/3367.10 c #Conflicts: 2005000 | #Constraints: 67967
3358.42/3367.10 c #Conflicts: 2006000 | #Constraints: 68967
3358.42/3367.10 c #Conflicts: 2007000 | #Constraints: 69967
3358.42/3367.10 c #Conflicts: 2008000 | #Constraints: 70967
3358.42/3367.10 c #Conflicts: 2009000 | #Constraints: 71967
3358.42/3367.10 c #Conflicts: 2010000 | #Constraints: 72967
3358.42/3367.10 c #Conflicts: 2011000 | #Constraints: 73967
3358.42/3367.10 c #Conflicts: 2012000 | #Constraints: 74967
3358.42/3367.10 c #Conflicts: 2013000 | #Constraints: 75967
3358.42/3367.10 c #Conflicts: 2014000 | #Constraints: 76967
3358.42/3367.10 c #Conflicts: 2015000 | #Constraints: 77967
3358.42/3367.10 c #Conflicts: 2016000 | #Constraints: 78967
3358.42/3367.10 c #Conflicts: 2017000 | #Constraints: 79967
3358.42/3367.10 c #Conflicts: 2018000 | #Constraints: 80967
3358.42/3367.10 c #Conflicts: 2019000 | #Constraints: 81967
3358.42/3367.10 c #Conflicts: 2020000 | #Constraints: 82967
3358.42/3367.10 c #Conflicts: 2021000 | #Constraints: 83967
3358.42/3367.10 c INPROCESSING
3358.42/3367.10 c GARBAGE COLLECT
3358.42/3367.10 c #Conflicts: 2022000 | #Constraints: 56760
3358.42/3367.10 c #Conflicts: 2023000 | #Constraints: 57760
3358.42/3367.10 c #Conflicts: 2024000 | #Constraints: 58760
3358.42/3367.10 c #Conflicts: 2025000 | #Constraints: 59760
3358.42/3367.10 c #Conflicts: 2026000 | #Constraints: 60760
3358.42/3367.10 c #Conflicts: 2027000 | #Constraints: 61760
3358.42/3367.10 c #Conflicts: 2028000 | #Constraints: 62760
3358.42/3367.10 c #Conflicts: 2029000 | #Constraints: 63760
3358.42/3367.10 c #Conflicts: 2030000 | #Constraints: 64760
3358.42/3367.10 c #Conflicts: 2031000 | #Constraints: 65760
3358.42/3367.10 c #Conflicts: 2032000 | #Constraints: 66760
3358.42/3367.10 c #Conflicts: 2033000 | #Constraints: 67760
3358.42/3367.10 c #Conflicts: 2034000 | #Constraints: 68760
3358.42/3367.10 c #Conflicts: 2035000 | #Constraints: 69760
3358.42/3367.10 c #Conflicts: 2036000 | #Constraints: 70760
3509.97/3519.01 c #Conflicts: 2037000 | #Constraints: 71760
3509.97/3519.01 c #Conflicts: 2038000 | #Constraints: 72760
3509.97/3519.01 c #Conflicts: 2039000 | #Constraints: 73760
3509.97/3519.01 c #Conflicts: 2040000 | #Constraints: 74760
3509.97/3519.01 c #Conflicts: 2041000 | #Constraints: 75760
3509.97/3519.01 c #Conflicts: 2042000 | #Constraints: 76760
3509.97/3519.01 c #Conflicts: 2043000 | #Constraints: 77760
3509.97/3519.01 c #Conflicts: 2044000 | #Constraints: 78760
3509.97/3519.01 c #Conflicts: 2045000 | #Constraints: 79760
3509.97/3519.01 c #Conflicts: 2046000 | #Constraints: 80760
3509.97/3519.01 c #Conflicts: 2047000 | #Constraints: 81760
3509.97/3519.01 c #Conflicts: 2048000 | #Constraints: 82760
3509.97/3519.01 c #Conflicts: 2049000 | #Constraints: 83760
3509.97/3519.01 c #Conflicts: 2050000 | #Constraints: 84760
3509.97/3519.01 c INPROCESSING
3509.97/3519.01 c GARBAGE COLLECT
3509.97/3519.01 c #Conflicts: 2051000 | #Constraints: 57359
3509.97/3519.01 c #Conflicts: 2052000 | #Constraints: 58359
3509.97/3519.01 c #Conflicts: 2053000 | #Constraints: 59359
3509.97/3519.01 c #Conflicts: 2054000 | #Constraints: 60359
3509.97/3519.01 c #Conflicts: 2055000 | #Constraints: 61359
3509.97/3519.01 c #Conflicts: 2056000 | #Constraints: 62359
3509.97/3519.01 c #Conflicts: 2057000 | #Constraints: 63359
3509.97/3519.01 c #Conflicts: 2058000 | #Constraints: 64359
3509.97/3519.01 c #Conflicts: 2059000 | #Constraints: 65359
3509.97/3519.01 c #Conflicts: 2060000 | #Constraints: 66359
3509.97/3519.01 c #Conflicts: 2061000 | #Constraints: 67359
3509.97/3519.01 c #Conflicts: 2062000 | #Constraints: 68359
3509.97/3519.01 c #Conflicts: 2063000 | #Constraints: 69359
3509.97/3519.01 c #Conflicts: 2064000 | #Constraints: 70359
3509.97/3519.01 c #Conflicts: 2065000 | #Constraints: 71359
3509.97/3519.01 c #Conflicts: 2066000 | #Constraints: 72359
3509.97/3519.01 c #Conflicts: 2067000 | #Constraints: 73359
3509.97/3519.01 c #Conflicts: 2068000 | #Constraints: 74359
3509.97/3519.01 c #Conflicts: 2069000 | #Constraints: 75359
3509.97/3519.01 c #Conflicts: 2070000 | #Constraints: 76359
3509.97/3519.01 c #Conflicts: 2071000 | #Constraints: 77359
3509.97/3519.01 c #Conflicts: 2072000 | #Constraints: 78359
3509.97/3519.01 c #Conflicts: 2073000 | #Constraints: 79359
3509.97/3519.01 c #Conflicts: 2074000 | #Constraints: 80359
3509.97/3519.01 c #Conflicts: 2075000 | #Constraints: 81359
3509.97/3519.01 c #Conflicts: 2076000 | #Constraints: 82359
3509.97/3519.01 c #Conflicts: 2077000 | #Constraints: 83359
3509.97/3519.01 c #Conflicts: 2078000 | #Constraints: 84359
3509.97/3519.01 c #Conflicts: 2079000 | #Constraints: 85359
3509.97/3519.01 c INPROCESSING
3509.97/3519.01 c GARBAGE COLLECT
3509.97/3519.01 c #Conflicts: 2080000 | #Constraints: 57757
3509.97/3519.01 c #Conflicts: 2081000 | #Constraints: 58757
3509.97/3519.01 c #Conflicts: 2082000 | #Constraints: 59757
3509.97/3519.01 c #Conflicts: 2083000 | #Constraints: 60757
3509.97/3519.01 c #Conflicts: 2084000 | #Constraints: 61757
3509.97/3519.01 c #Conflicts: 2085000 | #Constraints: 62757
3509.97/3519.01 c #Conflicts: 2086000 | #Constraints: 63757
3509.97/3519.01 c #Conflicts: 2087000 | #Constraints: 64757
3509.97/3519.01 c #Conflicts: 2088000 | #Constraints: 65757
3509.97/3519.01 c #Conflicts: 2089000 | #Constraints: 66757
3509.97/3519.01 c #Conflicts: 2090000 | #Constraints: 67757
3509.97/3519.01 c #Conflicts: 2091000 | #Constraints: 68757
3509.97/3519.01 c #Conflicts: 2092000 | #Constraints: 69757
3509.97/3519.01 c #Conflicts: 2093000 | #Constraints: 70757
3509.97/3519.01 c #Conflicts: 2094000 | #Constraints: 71757
3509.97/3519.01 c #Conflicts: 2095000 | #Constraints: 72757
3509.97/3519.01 c #Conflicts: 2096000 | #Constraints: 73757
3509.97/3519.01 c #Conflicts: 2097000 | #Constraints: 74757
3509.97/3519.01 c #Conflicts: 2098000 | #Constraints: 75757
3509.97/3519.01 c #Conflicts: 2099000 | #Constraints: 76757
3509.97/3519.01 c #Conflicts: 2100000 | #Constraints: 77757
3509.97/3519.01 c #Conflicts: 2101000 | #Constraints: 78757
3509.97/3519.01 c #Conflicts: 2102000 | #Constraints: 79757
3509.97/3519.01 c #Conflicts: 2103000 | #Constraints: 80757
3509.97/3519.01 c #Conflicts: 2104000 | #Constraints: 81757
3509.97/3519.01 c #Conflicts: 2105000 | #Constraints: 82757
3509.97/3519.01 c #Conflicts: 2106000 | #Constraints: 83757
3509.97/3519.01 c #Conflicts: 2107000 | #Constraints: 84757
3509.97/3519.01 c #Conflicts: 2108000 | #Constraints: 85757
3509.97/3519.01 c INPROCESSING
3509.97/3519.01 c GARBAGE COLLECT
3509.97/3519.01 c #Conflicts: 2109000 | #Constraints: 57960
3509.97/3519.01 c #Conflicts: 2110000 | #Constraints: 58960
3509.97/3519.01 c #Conflicts: 2111000 | #Constraints: 59960
3509.97/3519.01 c #Conflicts: 2112000 | #Constraints: 60960
3509.97/3519.01 c #Conflicts: 2113000 | #Constraints: 61960
3600.05/3609.30 c #Conflicts: 2114000 | #Constraints: 62960
3600.05/3609.30 c #Conflicts: 2115000 | #Constraints: 63960
3600.05/3609.30 c #Conflicts: 2116000 | #Constraints: 64960
3600.05/3609.30 c #Conflicts: 2117000 | #Constraints: 65960
3600.05/3609.30 c #Conflicts: 2118000 | #Constraints: 66960
3600.05/3609.30 c #Conflicts: 2119000 | #Constraints: 67960
3600.05/3609.30 c #Conflicts: 2120000 | #Constraints: 68960
3600.05/3609.30 c #Conflicts: 2121000 | #Constraints: 69960
3600.05/3609.30 c #Conflicts: 2122000 | #Constraints: 70960
3600.05/3609.30 c #Conflicts: 2123000 | #Constraints: 71960
3600.05/3609.30 c #Conflicts: 2124000 | #Constraints: 72960
3600.05/3609.30 c #Conflicts: 2125000 | #Constraints: 73960
3600.05/3609.30 c #Conflicts: 2126000 | #Constraints: 74960
3600.05/3609.30 c #Conflicts: 2127000 | #Constraints: 75960
3600.05/3609.30 c #Conflicts: 2128000 | #Constraints: 76960
3600.05/3609.30 c #Conflicts: 2129000 | #Constraints: 77960
3600.05/3609.30 c #Conflicts: 2130000 | #Constraints: 78960
3600.05/3609.30 c #Conflicts: 2131000 | #Constraints: 79960
3600.05/3609.30 c #Conflicts: 2132000 | #Constraints: 80960
3600.05/3609.30 c #Conflicts: 2133000 | #Constraints: 81960
3600.05/3609.30 c #Conflicts: 2134000 | #Constraints: 82960
3600.05/3609.30 c #Conflicts: 2135000 | #Constraints: 83960
3600.05/3609.30 c #Conflicts: 2136000 | #Constraints: 84960
3600.05/3609.30 c #Conflicts: 2137000 | #Constraints: 85960
3600.05/3609.30 c INPROCESSING
3600.05/3609.30 c GARBAGE COLLECT
3600.05/3609.30 c #Conflicts: 2138000 | #Constraints: 57968
3600.05/3609.30 c #Conflicts: 2139000 | #Constraints: 58968
3600.05/3609.30 c #Conflicts: 2140000 | #Constraints: 59968
3600.05/3609.30 c #Conflicts: 2141000 | #Constraints: 60968
3600.05/3609.30 c #Conflicts: 2142000 | #Constraints: 61968
3600.05/3609.30 c #Conflicts: 2143000 | #Constraints: 62968
3600.05/3609.30 c #Conflicts: 2144000 | #Constraints: 63968
3600.05/3609.30 c #Conflicts: 2145000 | #Constraints: 64968
3600.05/3609.30 c #Conflicts: 2146000 | #Constraints: 65968
3600.05/3609.30 c #Conflicts: 2147000 | #Constraints: 66968
3600.05/3609.30 c #Conflicts: 2148000 | #Constraints: 67968
3600.05/3609.30 c #Conflicts: 2149000 | #Constraints: 68968
3600.05/3609.30 c #Conflicts: 2150000 | #Constraints: 69968
3600.05/3609.30 c #Conflicts: 2151000 | #Constraints: 70968
3600.05/3609.30 c #Conflicts: 2152000 | #Constraints: 71968
3600.05/3609.30 c #Conflicts: 2153000 | #Constraints: 72968
3600.05/3609.30 c #Conflicts: 2154000 | #Constraints: 73968
3600.05/3609.30 c Program interrupted by user.
3600.05/3609.30 c cpu time 3591.59 s
3600.05/3609.30 c deterministic time 619685458576 6.20e+11
3600.05/3609.30 c optimization time 31.3341 s
3600.05/3609.30 c total solve time 3261.15 s
3600.05/3609.30 c core-guided solve time 3261.15 s
3600.05/3609.30 c propagation time 3144.72 s
3600.05/3609.30 c conflict analysis time 111.739 s
3600.05/3609.30 c propagations 44294819
3600.05/3609.30 c resolve steps 15421762
3600.05/3609.30 c decisions 2546662
3600.05/3609.30 c conflicts 2154646
3600.05/3609.30 c restarts 4092
3600.05/3609.30 c inprocessing phases 137
3600.05/3609.30 c input clauses 28046
3600.05/3609.30 c input cardinalities 13
3600.05/3609.30 c input general constraints 0
3600.05/3609.30 c input average constraint length 2.29
3600.05/3609.30 c input average constraint degree 1.21
3600.05/3609.30 c learned clauses 1351015
3600.05/3609.30 c learned cardinalities 585641
3600.05/3609.30 c learned general constraints 217990
3600.05/3609.30 c learned average constraint length 551.80
3600.05/3609.30 c learned average constraint degree 11.27
3600.05/3609.30 c watched constraints 217990
3600.05/3609.30 c counting constraints 0
3600.05/3609.30 c gcd simplifications 118218
3600.05/3609.30 c detected cardinalities 20107
3600.05/3609.30 c weakened non-implied lits 26144289
3600.05/3609.30 c weakened non-implying lits 77612
3600.05/3609.30 c original variables 595
3600.05/3609.30 c clausal propagations 30319592
3600.05/3609.30 c cardinality propagations 7815939
3600.05/3609.30 c watched propagations 830972
3600.05/3609.30 c counting propagations 0
3600.05/3609.30 c watch lookups 31491136115
3600.05/3609.30 c watch backjump lookups 4243402
3600.05/3609.30 c watch checks 584991796715
3600.05/3609.30 c propagation checks 717492087
3600.05/3609.30 c constraint additions 2384953306
3600.05/3609.30 c trail pops 48995469
3600.05/3609.30 c formula constraints 27931
3600.05/3609.30 c learned constraints 2154646
3600.05/3609.30 c bound constraints 13
3600.05/3609.30 c core-guided constraints 115
3600.05/3609.30 c encountered formula constraints 12456317
3600.05/3609.30 c encountered learned constraints 5073341
3600.05/3609.30 c encountered bound constraints 1628
3600.05/3609.30 c encountered core-guided constraints 45122
3600.05/3609.30 c LP total time 0 s
3600.05/3609.30 c LP solve time 0 s
3600.05/3609.30 c LP constraints added 0
3600.05/3609.30 c LP constraints removed 0
3600.05/3609.30 c LP pivots internal 0
3600.05/3609.30 c LP pivots root 0
3600.05/3609.30 c LP calls 0
3600.05/3609.30 c LP optimalities 0
3600.05/3609.30 c LP no pivot count 0
3600.05/3609.30 c LP infeasibilities 0
3600.05/3609.30 c LP valid Farkas constraints 0
3600.05/3609.30 c LP learned Farkas constraints 0
3600.05/3609.30 c LP basis resets 0
3600.05/3609.30 c LP cycling count 0
3600.05/3609.30 c LP singular count 0
3600.05/3609.30 c LP no primal count 0
3600.05/3609.30 c LP no farkas count 0
3600.05/3609.30 c LP other issue count 0
3600.05/3609.30 c LP Gomory cuts 0
3600.05/3609.30 c LP learned cuts 0
3600.05/3609.30 c LP deleted cuts 0
3600.05/3609.30 c LP encountered Gomory constraints 0
3600.05/3609.30 c LP encountered Farkas constraints 0
3600.05/3609.30 c LP encountered learned Farkas constraints 0
3600.05/3609.30 c CG auxiliary variables introduced 115
3600.05/3609.30 c CG solutions found 0
3600.05/3609.30 c CG cores constructed 12
3600.05/3609.30 c CG core cardinality constraints returned 0
3600.05/3609.30 c CG unit cores 0
3600.05/3609.30 c CG single cores 12
3600.05/3609.30 c CG blocks removed during cardinality reduction 0
3600.05/3609.30 c CG first core best 0
3600.05/3609.30 c CG decision core best 0
3600.05/3609.30 c CG core reduction tie 0
3600.05/3609.30 c CG core degree average 1.00
3600.05/3609.30 c CG core slack average 7.83
3600.05/3609.30 c CG exhausted 0
3600.05/3609.30 c CG exhaust time 0 s
3600.05/3609.30 c CG trimmed 0
3600.05/3609.30 c CG trim time 0.000141 s
3600.05/3609.30 c CG minimized 0
3600.05/3609.30 c CG minimize time 0 s
3600.05/3609.30 c CG am1 prop time 0.002025 s
3600.05/3609.30 c CG # am1s reformulated 115
3600.05/3609.30 c CG lower bound derived from am1s 479
3600.05/3609.30 c CG # clausal cores 12
3600.05/3609.30 c CG # cardinality cores 0
3600.05/3609.30 c CG # pb cores 0
3600.05/3609.30 c CG # pb reforms 0
3600.05/3609.30 c CG # cores discarded because of pb reform 0
3600.05/3609.30 d LOWERBOUND -104
3600.05/3609.30 d NCORES 12
3600.05/3609.30 d NPBCORES 0
3600.05/3609.30 d NPBREFORM 0
3600.05/3609.30 d NTRIMMED 0
3600.05/3609.30 d NEXHAUSTED 0
3600.05/3609.30 d NAM1S 115
3600.05/3609.30 d AM1LB 479
3600.05/3609.30 c [Papilo Statistics]
3600.05/3609.30 c prepro time 0.0374412s
3600.05/3609.30 c # tsx applied 0
3600.05/3609.30 c # tsx conflicts 0
3600.05/3609.30 c # bound changes 0
3600.05/3609.30 c # side changes 0
3600.05/3609.30 c # coef changes 0
3600.05/3609.30 c # rounds 1
3600.05/3609.30 c # deted vars 0
3600.05/3609.30 c # deted constrs 0
3600.05/3609.30 c # consecutive rounds of only bound changes 0
3600.05/3609.30 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61529 MiB free)
memory of node 1: 64465 MiB (62051 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485035-1751283517/watcher-4485035-1751283517 -o /tmp/evaluation-result-4485035-1751283517/solver-4485035-1751283517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40747 --watchdog 3760 mixed-bag HOME/instance-4485035-1751283517.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=41221, runsolver pid=41218
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.09 4.11 4.13 5/263 41222
/proc/meminfo: memFree=126530616/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=104408 memory=24304 CPUtime=0.08 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 5075 0 0 0 8 0 0 0 20 0 1 0 44030390 106913792 6076 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 26102 6076 2304 2842 0 7796 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 104408 KiB
Current children cumulated memory: 24304 KiB
[startup+0.205669 s]*
/proc/loadavg: 4.09 4.11 4.13 5/263 41222
/proc/meminfo: memFree=126482484/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=154124 memory=79676 CPUtime=0.19 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 17710 0 0 0 16 3 0 0 20 0 1 0 44030390 157822976 19919 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 38531 19919 4064 2842 0 20225 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 154124 KiB
Current children cumulated memory: 79676 KiB
[startup+0.305476 s]*
/proc/loadavg: 4.09 4.11 4.13 5/263 41222
/proc/meminfo: memFree=126482484/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=156176 memory=81532 CPUtime=0.29 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 20825 0 0 0 26 3 0 0 20 0 1 0 44030390 159924224 20383 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 39044 20383 4064 2842 0 20738 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 156176 KiB
Current children cumulated memory: 81532 KiB
[startup+0.700183 s]
/proc/loadavg: 4.09 4.11 4.13 5/263 41222
/proc/meminfo: memFree=126452936/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=228244 memory=150152 CPUtime=0.68 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 33751 0 0 0 62 6 0 0 20 0 1 0 44030390 233721856 37538 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 57061 37538 4256 2842 0 38755 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 228244 KiB
Current children cumulated memory: 150152 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.13 5/263 41222
/proc/meminfo: memFree=126424964/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=244212 memory=162056 CPUtime=1.47 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 36689 0 0 0 141 6 0 0 20 0 1 0 44030390 250073088 40514 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 61053 40514 4288 2842 0 42747 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 244212 KiB
Current children cumulated memory: 162056 KiB
[startup+3.10552 s]
/proc/loadavg: 4.09 4.11 4.13 5/263 41222
/proc/meminfo: memFree=126412944/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=253844 memory=164232 CPUtime=3.07 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 37244 0 0 0 301 6 0 0 20 0 1 0 44030390 259936256 41058 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 63461 41058 4288 2842 0 45155 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 253844 KiB
Current children cumulated memory: 164232 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.11 4.13 5/263 41222
/proc/meminfo: memFree=126397256/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=305264 memory=177780 CPUtime=6.26 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 39623 0 0 0 619 7 0 0 20 0 1 0 44030390 312590336 44445 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 76316 44445 4288 2842 0 58010 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 305264 KiB
Current children cumulated memory: 177780 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.13 4.14 5/263 41222
/proc/meminfo: memFree=126328748/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=350712 memory=222964 CPUtime=12.64 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 50909 0 0 0 1255 9 0 0 20 0 1 0 44030390 359129088 55741 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 87678 55741 4288 2842 0 69372 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 350712 KiB
Current children cumulated memory: 222964 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.13 5/263 41222
/proc/meminfo: memFree=126329400/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=350712 memory=223092 CPUtime=25.4 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 50945 0 0 0 2531 9 0 0 20 0 1 0 44030390 359129088 55773 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 87678 55773 4288 2842 0 69372 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 350712 KiB
Current children cumulated memory: 223092 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.11 4.13 5/263 41223
/proc/meminfo: memFree=126255860/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=377492 memory=237428 CPUtime=50.93 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 54548 0 0 0 5083 10 0 0 20 0 1 0 44030390 386551808 59357 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 94373 59357 4288 2842 0 76067 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 377492 KiB
Current children cumulated memory: 237428 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/263 41224
/proc/meminfo: memFree=126468188/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=506948 memory=321776 CPUtime=101.98 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 74918 0 0 0 10184 14 0 0 20 0 1 0 44030390 519114752 80444 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 126737 80444 4448 2842 0 108431 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 506948 KiB
Current children cumulated memory: 321776 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/264 41233
/proc/meminfo: memFree=126394368/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=538332 memory=345040 CPUtime=161.8 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 81785 0 0 0 16165 15 0 0 20 0 1 0 44030390 551251968 86260 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 134583 86260 4448 2842 0 116277 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 538332 KiB
Current children cumulated memory: 345040 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/264 41235
/proc/meminfo: memFree=126286360/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=607672 memory=409796 CPUtime=221.62 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 99004 0 0 0 22143 19 0 0 20 0 1 0 44030390 622256128 102449 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 151918 102449 4448 2842 0 133612 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 607672 KiB
Current children cumulated memory: 409796 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/264 41237
/proc/meminfo: memFree=126208284/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=647140 memory=451020 CPUtime=281.44 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 108306 0 0 0 28124 20 0 0 20 0 1 0 44030390 662671360 112755 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 161785 112755 4448 2842 0 143479 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 647140 KiB
Current children cumulated memory: 451020 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/264 41239
/proc/meminfo: memFree=126245220/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=551248 memory=365372 CPUtime=341.29 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 110798 0 0 0 34069 60 0 0 20 0 1 0 44030390 564477952 91343 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 137812 91343 4608 2842 0 119506 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 551248 KiB
Current children cumulated memory: 365372 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.10 5/263 41241
/proc/meminfo: memFree=126203640/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=570216 memory=379108 CPUtime=401.14 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 111143 0 0 0 40018 96 0 0 20 0 1 0 44030390 583901184 94777 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 142554 94777 4608 2842 0 124248 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 570216 KiB
Current children cumulated memory: 379108 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.10 5/263 41244
/proc/meminfo: memFree=126168660/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=570216 memory=383972 CPUtime=460.98 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 111375 0 0 0 45972 126 0 0 20 0 1 0 44030390 583901184 95993 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 142554 95993 4608 2842 0 124248 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 555952 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 41461
/proc/meminfo: memFree=125953260/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=555952 CPUtime=2914.72 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112516 0 0 0 290746 726 0 0 20 0 1 0 44030390 666750976 138988 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 138988 4608 2842 0 144475 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 555952 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/264 41464
/proc/meminfo: memFree=125889752/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=558000 CPUtime=2974.57 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112517 0 0 0 296723 734 0 0 20 0 1 0 44030390 666750976 139500 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 139500 4608 2842 0 144475 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 558000 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 41466
/proc/meminfo: memFree=125875112/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=560048 CPUtime=3034.41 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112518 0 0 0 302694 747 0 0 20 0 1 0 44030390 666750976 140012 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 140012 4608 2842 0 144475 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 560048 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 41512
/proc/meminfo: memFree=126290604/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=560048 CPUtime=3094.27 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112518 0 0 0 308669 758 0 0 20 0 1 0 44030390 666750976 140012 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 140012 4608 2842 0 144475 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 560048 KiB
[startup+3162.3 s]
/proc/loadavg: 4.48 4.21 4.12 5/264 41515
/proc/meminfo: memFree=126278864/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=560048 CPUtime=3154.12 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112518 0 0 0 314644 768 0 0 20 0 1 0 44030390 666750976 140012 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 140012 4608 2842 0 144475 0
Current children cumulated CPU time: 3154.12 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 560048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/265 41524
/proc/meminfo: memFree=126278036/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=560048 CPUtime=3213.97 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112518 0 0 0 320617 780 0 0 20 0 1 0 44030390 666750976 140012 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 140012 4608 2842 0 144475 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 560048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.18 4.11 5/264 41526
/proc/meminfo: memFree=126274496/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=562096 CPUtime=3273.82 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112519 0 0 0 326591 791 0 0 20 0 1 0 44030390 666750976 140524 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 140524 4608 2842 0 144475 0
Current children cumulated CPU time: 3273.82 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 562096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/265 41529
/proc/meminfo: memFree=126268236/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=562864 CPUtime=3333.68 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112739 0 0 0 332566 802 0 0 20 0 1 0 44030390 666750976 140716 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 140716 4608 2842 0 144475 0
Current children cumulated CPU time: 3333.68 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 562864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 41621
/proc/meminfo: memFree=127056928/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=651124 memory=562864 CPUtime=3393.53 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 112739 0 0 0 338542 811 0 0 20 0 1 0 44030390 666750976 140716 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 162781 140716 4608 2842 0 144475 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 651124 KiB
Current children cumulated memory: 562864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 41623
/proc/meminfo: memFree=126466624/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=732512 memory=566192 CPUtime=3453.39 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 113032 0 0 0 344517 822 0 0 20 0 1 0 44030390 750092288 141548 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 183128 141548 4608 2842 0 164822 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 732512 KiB
Current children cumulated memory: 566192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 41625
/proc/meminfo: memFree=126034764/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=732512 memory=570288 CPUtime=3513.25 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 113034 0 0 0 350492 833 0 0 20 0 1 0 44030390 750092288 142572 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 183128 142572 4608 2842 0 164822 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 732512 KiB
Current children cumulated memory: 570288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 41627
/proc/meminfo: memFree=125850972/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=732512 memory=570288 CPUtime=3573.11 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 113098 0 0 0 356470 841 0 0 20 0 1 0 44030390 750092288 142572 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 183128 142572 4608 2842 0 164822 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 732512 KiB
Current children cumulated memory: 570288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 41627
/proc/meminfo: memFree=125841240/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=732512 memory=570288 CPUtime=3600.05 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 113098 0 0 0 359158 847 0 0 20 0 1 0 44030390 750092288 142572 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 183128 142572 4608 2842 0 164822 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 732512 KiB
Current children cumulated memory: 570288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 41221 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.59 s, system=8.47375 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 41627
/proc/meminfo: memFree=125841240/131250000 swapFree=33010684/33010684
[pid=41221] ppid=41218 vsize=732512 memory=570288 CPUtime=3600.05 cores=4,6
/proc/41221/stat : 41221 (mixed-bag) R 41218 41221 40736 0 -1 4194304 113098 0 0 0 359158 847 0 0 20 0 1 0 44030390 750092288 142572 18446744073709551615 4235264 15874749 140731612244688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 55611392 140731612252572 140731612252649 140731612252649 140731612258251 0
/proc/41221/statm: 183128 142572 4608 2842 0 164822 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 732512 KiB
Current children cumulated memory: 570288 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.06
CPU user time (s): 3591.59
CPU system time (s): 8.47375
CPU usage (%): 99.7439
Max. virtual memory (cumulated for all children) (KiB): 732512
Max. memory (cumulated for all children) (KiB): 570288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.59
system time used= 8.47374
maximum resident set size= 570928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113121
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= 199
involuntary context switches= 1778
# summary of solver processes directly reported to runsolver:
# pid: 41221
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.59
# total CPU system time (s): 8.47375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70955 second user time and 15.8887 second system time
The end
Begin job on nodeC026 at 2025-06-30 13:38:37
IDJOB=4485035
IDBENCH=146691
IDSOLVER=3340
FILE ID=nodeC026/4485035-1751283517
RUNJOBID= nodeC026-1751279693-40747
SLURM_JOB_ID= 9594219
Free space on /tmp= 433008 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-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485035-1751283517/watcher-4485035-1751283517 -o /tmp/evaluation-result-4485035-1751283517/solver-4485035-1751283517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40747 --watchdog 3760 mixed-bag HOME/instance-4485035-1751283517.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2
RANDOM SEED=764572076
nodeC026 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.787
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.59
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.788
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.395
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.919
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.615
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.59
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.794
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3621.515
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.59
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126546984 kB
MemAvailable: 127619876 kB
Buffers: 3280 kB
Cached: 1869728 kB
SwapCached: 0 kB
Active: 2476156 kB
Inactive: 1611880 kB
Active(anon): 2233132 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1611880 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16204 kB
Writeback: 0 kB
AnonPages: 2218024 kB
Mapped: 137972 kB
Shmem: 18080 kB
KReclaimable: 114452 kB
Slab: 201692 kB
SReclaimable: 114452 kB
SUnreclaim: 87240 kB
KernelStack: 4272 kB
PageTables: 8248 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3501864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 303104 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC026 at 2025-06-30 14:38:47