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.05 c [STEP] preprocessing with Papilo
0.00/0.08 c [STEP] solving with SCIP
299.14/300.17 c [STEP] preprocessing done, loading into solver
299.24/300.20 c [STEP] solving
299.24/300.20 c #variables 6014 #constraints 21245
299.24/300.20 c SMALL=int, LARGE=long long
299.24/300.20 d SCIPUB 18
299.24/300.20 c bounds - >= 0 @ 299.102
299.24/300.20 c stratification level: 0
357.06/358.29 c bounds - >= 1 @ 299.11
357.06/358.29 c bounds - >= 2 @ 299.11
357.06/358.29 c bounds - >= 3 @ 299.111
357.06/358.29 c bounds - >= 4 @ 299.112
357.06/358.29 c bounds - >= 5 @ 299.112
357.06/358.29 c bounds - >= 6 @ 299.113
357.06/358.29 c #Conflicts: 1000 | #Constraints: 22255
357.06/358.29 c #Conflicts: 2000 | #Constraints: 23255
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 3000 | #Constraints: 23261
357.06/358.29 c #Conflicts: 4000 | #Constraints: 24261
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 5000 | #Constraints: 23665
357.06/358.29 c #Conflicts: 6000 | #Constraints: 24665
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 7000 | #Constraints: 23670
357.06/358.29 c #Conflicts: 8000 | #Constraints: 24670
357.06/358.29 c #Conflicts: 9000 | #Constraints: 25670
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 10000 | #Constraints: 24366
357.06/358.29 c #Conflicts: 11000 | #Constraints: 25366
357.06/358.29 c #Conflicts: 12000 | #Constraints: 26366
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 13000 | #Constraints: 24820
357.06/358.29 c #Conflicts: 14000 | #Constraints: 25820
357.06/358.29 c #Conflicts: 15000 | #Constraints: 26820
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 16000 | #Constraints: 25052
357.06/358.29 c #Conflicts: 17000 | #Constraints: 26052
357.06/358.29 c #Conflicts: 18000 | #Constraints: 27052
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 19000 | #Constraints: 25073
357.06/358.29 c #Conflicts: 20000 | #Constraints: 26073
357.06/358.29 c #Conflicts: 21000 | #Constraints: 27073
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 22000 | #Constraints: 24878
357.06/358.29 c #Conflicts: 23000 | #Constraints: 25878
357.06/358.29 c #Conflicts: 24000 | #Constraints: 26878
357.06/358.29 c #Conflicts: 25000 | #Constraints: 27878
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 26000 | #Constraints: 25481
357.06/358.29 c #Conflicts: 27000 | #Constraints: 26481
357.06/358.29 c #Conflicts: 28000 | #Constraints: 27481
357.06/358.29 c #Conflicts: 29000 | #Constraints: 28481
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 30000 | #Constraints: 25882
357.06/358.29 c #Conflicts: 31000 | #Constraints: 26882
357.06/358.29 c #Conflicts: 32000 | #Constraints: 27882
357.06/358.29 c #Conflicts: 33000 | #Constraints: 28882
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 34000 | #Constraints: 26084
357.06/358.29 c #Conflicts: 35000 | #Constraints: 27084
357.06/358.29 c #Conflicts: 36000 | #Constraints: 28084
357.06/358.29 c #Conflicts: 37000 | #Constraints: 29084
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 38000 | #Constraints: 26087
357.06/358.29 c #Conflicts: 39000 | #Constraints: 27087
357.06/358.29 c #Conflicts: 40000 | #Constraints: 28087
357.06/358.29 c #Conflicts: 41000 | #Constraints: 29087
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 42000 | #Constraints: 25893
357.06/358.29 c #Conflicts: 43000 | #Constraints: 26893
357.06/358.29 c #Conflicts: 44000 | #Constraints: 27893
357.06/358.29 c #Conflicts: 45000 | #Constraints: 28893
357.06/358.29 c #Conflicts: 46000 | #Constraints: 29893
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 47000 | #Constraints: 26487
357.06/358.29 c #Conflicts: 48000 | #Constraints: 27487
357.06/358.29 c #Conflicts: 49000 | #Constraints: 28487
357.06/358.29 c #Conflicts: 50000 | #Constraints: 29487
357.06/358.29 c #Conflicts: 51000 | #Constraints: 30487
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 52000 | #Constraints: 26888
357.06/358.29 c #Conflicts: 53000 | #Constraints: 27888
357.06/358.29 c #Conflicts: 54000 | #Constraints: 28888
357.06/358.29 c #Conflicts: 55000 | #Constraints: 29888
357.06/358.29 c #Conflicts: 56000 | #Constraints: 30888
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 57000 | #Constraints: 27086
357.06/358.29 c #Conflicts: 58000 | #Constraints: 28086
357.06/358.29 c #Conflicts: 59000 | #Constraints: 29086
357.06/358.29 c #Conflicts: 60000 | #Constraints: 30086
357.06/358.29 c #Conflicts: 61000 | #Constraints: 31086
357.06/358.29 c INPROCESSING
357.06/358.29 c GARBAGE COLLECT
357.06/358.29 c #Conflicts: 62000 | #Constraints: 27084
357.06/358.29 c #Conflicts: 63000 | #Constraints: 28084
357.06/358.29 c #Conflicts: 64000 | #Constraints: 29084
357.06/358.29 c #Conflicts: 65000 | #Constraints: 30084
357.06/358.29 c #Conflicts: 66000 | #Constraints: 31084
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 67000 | #Constraints: 26888
428.15/429.57 c #Conflicts: 68000 | #Constraints: 27888
428.15/429.57 c #Conflicts: 69000 | #Constraints: 28888
428.15/429.57 c #Conflicts: 70000 | #Constraints: 29888
428.15/429.57 c #Conflicts: 71000 | #Constraints: 30888
428.15/429.57 c #Conflicts: 72000 | #Constraints: 31888
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 73000 | #Constraints: 27497
428.15/429.57 c #Conflicts: 74000 | #Constraints: 28497
428.15/429.57 c #Conflicts: 75000 | #Constraints: 29497
428.15/429.57 c #Conflicts: 76000 | #Constraints: 30497
428.15/429.57 c #Conflicts: 77000 | #Constraints: 31497
428.15/429.57 c #Conflicts: 78000 | #Constraints: 32497
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 79000 | #Constraints: 27899
428.15/429.57 c #Conflicts: 80000 | #Constraints: 28899
428.15/429.57 c #Conflicts: 81000 | #Constraints: 29899
428.15/429.57 c #Conflicts: 82000 | #Constraints: 30899
428.15/429.57 c #Conflicts: 83000 | #Constraints: 31899
428.15/429.57 c #Conflicts: 84000 | #Constraints: 32899
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 85000 | #Constraints: 28107
428.15/429.57 c #Conflicts: 86000 | #Constraints: 29107
428.15/429.57 c #Conflicts: 87000 | #Constraints: 30107
428.15/429.57 c #Conflicts: 88000 | #Constraints: 31107
428.15/429.57 c #Conflicts: 89000 | #Constraints: 32107
428.15/429.57 c #Conflicts: 90000 | #Constraints: 33107
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 91000 | #Constraints: 28096
428.15/429.57 c #Conflicts: 92000 | #Constraints: 29096
428.15/429.57 c #Conflicts: 93000 | #Constraints: 30096
428.15/429.57 c #Conflicts: 94000 | #Constraints: 31096
428.15/429.57 c #Conflicts: 95000 | #Constraints: 32096
428.15/429.57 c #Conflicts: 96000 | #Constraints: 33096
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 97000 | #Constraints: 27899
428.15/429.57 c #Conflicts: 98000 | #Constraints: 28899
428.15/429.57 c #Conflicts: 99000 | #Constraints: 29899
428.15/429.57 c #Conflicts: 100000 | #Constraints: 30899
428.15/429.57 c #Conflicts: 101000 | #Constraints: 31899
428.15/429.57 c #Conflicts: 102000 | #Constraints: 32899
428.15/429.57 c #Conflicts: 103000 | #Constraints: 33899
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 104000 | #Constraints: 28496
428.15/429.57 c #Conflicts: 105000 | #Constraints: 29496
428.15/429.57 c #Conflicts: 106000 | #Constraints: 30496
428.15/429.57 c #Conflicts: 107000 | #Constraints: 31496
428.15/429.57 c #Conflicts: 108000 | #Constraints: 32496
428.15/429.57 c #Conflicts: 109000 | #Constraints: 33496
428.15/429.57 c #Conflicts: 110000 | #Constraints: 34496
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 111000 | #Constraints: 28904
428.15/429.57 c #Conflicts: 112000 | #Constraints: 29904
428.15/429.57 c #Conflicts: 113000 | #Constraints: 30904
428.15/429.57 c #Conflicts: 114000 | #Constraints: 31904
428.15/429.57 c #Conflicts: 115000 | #Constraints: 32904
428.15/429.57 c #Conflicts: 116000 | #Constraints: 33904
428.15/429.57 c #Conflicts: 117000 | #Constraints: 34904
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 118000 | #Constraints: 29100
428.15/429.57 c #Conflicts: 119000 | #Constraints: 30100
428.15/429.57 c #Conflicts: 120000 | #Constraints: 31100
428.15/429.57 c #Conflicts: 121000 | #Constraints: 32100
428.15/429.57 c #Conflicts: 122000 | #Constraints: 33100
428.15/429.57 c #Conflicts: 123000 | #Constraints: 34100
428.15/429.57 c #Conflicts: 124000 | #Constraints: 35100
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 125000 | #Constraints: 29101
428.15/429.57 c #Conflicts: 126000 | #Constraints: 30101
428.15/429.57 c #Conflicts: 127000 | #Constraints: 31101
428.15/429.57 c #Conflicts: 128000 | #Constraints: 32101
428.15/429.57 c #Conflicts: 129000 | #Constraints: 33101
428.15/429.57 c #Conflicts: 130000 | #Constraints: 34101
428.15/429.57 c #Conflicts: 131000 | #Constraints: 35101
428.15/429.57 c INPROCESSING
428.15/429.57 c GARBAGE COLLECT
428.15/429.57 c #Conflicts: 132000 | #Constraints: 28905
428.15/429.57 c #Conflicts: 133000 | #Constraints: 29905
428.15/429.57 c #Conflicts: 134000 | #Constraints: 30905
428.15/429.57 c #Conflicts: 135000 | #Constraints: 31905
428.15/429.57 c #Conflicts: 136000 | #Constraints: 32905
428.15/429.57 c #Conflicts: 137000 | #Constraints: 33905
515.19/516.81 c #Conflicts: 138000 | #Constraints: 34905
515.19/516.81 c #Conflicts: 139000 | #Constraints: 35905
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 140000 | #Constraints: 29506
515.19/516.81 c #Conflicts: 141000 | #Constraints: 30506
515.19/516.81 c #Conflicts: 142000 | #Constraints: 31506
515.19/516.81 c #Conflicts: 143000 | #Constraints: 32506
515.19/516.81 c #Conflicts: 144000 | #Constraints: 33506
515.19/516.81 c #Conflicts: 145000 | #Constraints: 34506
515.19/516.81 c #Conflicts: 146000 | #Constraints: 35506
515.19/516.81 c #Conflicts: 147000 | #Constraints: 36506
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 148000 | #Constraints: 29911
515.19/516.81 c #Conflicts: 149000 | #Constraints: 30911
515.19/516.81 c #Conflicts: 150000 | #Constraints: 31911
515.19/516.81 c #Conflicts: 151000 | #Constraints: 32911
515.19/516.81 c #Conflicts: 152000 | #Constraints: 33911
515.19/516.81 c #Conflicts: 153000 | #Constraints: 34911
515.19/516.81 c #Conflicts: 154000 | #Constraints: 35911
515.19/516.81 c #Conflicts: 155000 | #Constraints: 36911
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 156000 | #Constraints: 30106
515.19/516.81 c #Conflicts: 157000 | #Constraints: 31106
515.19/516.81 c #Conflicts: 158000 | #Constraints: 32106
515.19/516.81 c #Conflicts: 159000 | #Constraints: 33106
515.19/516.81 c #Conflicts: 160000 | #Constraints: 34106
515.19/516.81 c #Conflicts: 161000 | #Constraints: 35106
515.19/516.81 c #Conflicts: 162000 | #Constraints: 36106
515.19/516.81 c #Conflicts: 163000 | #Constraints: 37106
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 164000 | #Constraints: 30106
515.19/516.81 c #Conflicts: 165000 | #Constraints: 31106
515.19/516.81 c #Conflicts: 166000 | #Constraints: 32106
515.19/516.81 c #Conflicts: 167000 | #Constraints: 33106
515.19/516.81 c #Conflicts: 168000 | #Constraints: 34106
515.19/516.81 c #Conflicts: 169000 | #Constraints: 35106
515.19/516.81 c #Conflicts: 170000 | #Constraints: 36106
515.19/516.81 c #Conflicts: 171000 | #Constraints: 37106
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 172000 | #Constraints: 29922
515.19/516.81 c #Conflicts: 173000 | #Constraints: 30922
515.19/516.81 c #Conflicts: 174000 | #Constraints: 31922
515.19/516.81 c #Conflicts: 175000 | #Constraints: 32922
515.19/516.81 c #Conflicts: 176000 | #Constraints: 33922
515.19/516.81 c #Conflicts: 177000 | #Constraints: 34922
515.19/516.81 c #Conflicts: 178000 | #Constraints: 35922
515.19/516.81 c #Conflicts: 179000 | #Constraints: 36922
515.19/516.81 c #Conflicts: 180000 | #Constraints: 37922
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 181000 | #Constraints: 30530
515.19/516.81 c #Conflicts: 182000 | #Constraints: 31530
515.19/516.81 c #Conflicts: 183000 | #Constraints: 32530
515.19/516.81 c #Conflicts: 184000 | #Constraints: 33530
515.19/516.81 c #Conflicts: 185000 | #Constraints: 34530
515.19/516.81 c #Conflicts: 186000 | #Constraints: 35530
515.19/516.81 c #Conflicts: 187000 | #Constraints: 36530
515.19/516.81 c #Conflicts: 188000 | #Constraints: 37530
515.19/516.81 c #Conflicts: 189000 | #Constraints: 38530
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 190000 | #Constraints: 30917
515.19/516.81 c #Conflicts: 191000 | #Constraints: 31917
515.19/516.81 c #Conflicts: 192000 | #Constraints: 32917
515.19/516.81 c #Conflicts: 193000 | #Constraints: 33917
515.19/516.81 c #Conflicts: 194000 | #Constraints: 34917
515.19/516.81 c #Conflicts: 195000 | #Constraints: 35917
515.19/516.81 c #Conflicts: 196000 | #Constraints: 36917
515.19/516.81 c #Conflicts: 197000 | #Constraints: 37917
515.19/516.81 c #Conflicts: 198000 | #Constraints: 38917
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 199000 | #Constraints: 31118
515.19/516.81 c #Conflicts: 200000 | #Constraints: 32118
515.19/516.81 c #Conflicts: 201000 | #Constraints: 33118
515.19/516.81 c #Conflicts: 202000 | #Constraints: 34118
515.19/516.81 c #Conflicts: 203000 | #Constraints: 35118
515.19/516.81 c #Conflicts: 204000 | #Constraints: 36118
515.19/516.81 c #Conflicts: 205000 | #Constraints: 37118
515.19/516.81 c #Conflicts: 206000 | #Constraints: 38118
515.19/516.81 c #Conflicts: 207000 | #Constraints: 39118
515.19/516.81 c INPROCESSING
515.19/516.81 c GARBAGE COLLECT
515.19/516.81 c #Conflicts: 208000 | #Constraints: 31115
515.19/516.81 c #Conflicts: 209000 | #Constraints: 32115
515.19/516.81 c #Conflicts: 210000 | #Constraints: 33115
609.60/611.58 c #Conflicts: 211000 | #Constraints: 34115
609.60/611.58 c #Conflicts: 212000 | #Constraints: 35115
609.60/611.58 c #Conflicts: 213000 | #Constraints: 36115
609.60/611.58 c #Conflicts: 214000 | #Constraints: 37115
609.60/611.58 c #Conflicts: 215000 | #Constraints: 38115
609.60/611.58 c #Conflicts: 216000 | #Constraints: 39115
609.60/611.58 c INPROCESSING
609.60/611.58 c GARBAGE COLLECT
609.60/611.58 c #Conflicts: 217000 | #Constraints: 30917
609.60/611.58 c #Conflicts: 218000 | #Constraints: 31917
609.60/611.58 c #Conflicts: 219000 | #Constraints: 32917
609.60/611.58 c #Conflicts: 220000 | #Constraints: 33917
609.60/611.58 c #Conflicts: 221000 | #Constraints: 34917
609.60/611.58 c #Conflicts: 222000 | #Constraints: 35917
609.60/611.58 c #Conflicts: 223000 | #Constraints: 36917
609.60/611.58 c #Conflicts: 224000 | #Constraints: 37917
609.60/611.58 c #Conflicts: 225000 | #Constraints: 38917
609.60/611.58 c #Conflicts: 226000 | #Constraints: 39917
609.60/611.58 c INPROCESSING
609.60/611.58 c GARBAGE COLLECT
609.60/611.58 c #Conflicts: 227000 | #Constraints: 31520
609.60/611.58 c #Conflicts: 228000 | #Constraints: 32520
609.60/611.58 c #Conflicts: 229000 | #Constraints: 33520
609.60/611.58 c #Conflicts: 230000 | #Constraints: 34520
609.60/611.58 c #Conflicts: 231000 | #Constraints: 35520
609.60/611.58 c #Conflicts: 232000 | #Constraints: 36520
609.60/611.58 c #Conflicts: 233000 | #Constraints: 37520
609.60/611.58 c #Conflicts: 234000 | #Constraints: 38520
609.60/611.58 c #Conflicts: 235000 | #Constraints: 39520
609.60/611.58 c #Conflicts: 236000 | #Constraints: 40520
609.60/611.58 c INPROCESSING
609.60/611.58 c GARBAGE COLLECT
609.60/611.58 c #Conflicts: 237000 | #Constraints: 31916
609.60/611.58 c #Conflicts: 238000 | #Constraints: 32916
609.60/611.58 c #Conflicts: 239000 | #Constraints: 33916
609.60/611.58 c #Conflicts: 240000 | #Constraints: 34916
609.60/611.58 c #Conflicts: 241000 | #Constraints: 35916
609.60/611.58 c #Conflicts: 242000 | #Constraints: 36916
609.60/611.58 c #Conflicts: 243000 | #Constraints: 37916
609.60/611.58 c #Conflicts: 244000 | #Constraints: 38916
609.60/611.58 c #Conflicts: 245000 | #Constraints: 39916
609.60/611.58 c #Conflicts: 246000 | #Constraints: 40916
609.60/611.58 c INPROCESSING
609.60/611.58 c GARBAGE COLLECT
609.60/611.58 c #Conflicts: 247000 | #Constraints: 32120
609.60/611.58 c #Conflicts: 248000 | #Constraints: 33120
609.60/611.58 c #Conflicts: 249000 | #Constraints: 34120
609.60/611.58 c #Conflicts: 250000 | #Constraints: 35120
609.60/611.58 c #Conflicts: 251000 | #Constraints: 36120
609.60/611.58 c #Conflicts: 252000 | #Constraints: 37120
609.60/611.58 c #Conflicts: 253000 | #Constraints: 38120
609.60/611.58 c #Conflicts: 254000 | #Constraints: 39120
609.60/611.58 c #Conflicts: 255000 | #Constraints: 40120
609.60/611.58 c #Conflicts: 256000 | #Constraints: 41120
609.60/611.58 c INPROCESSING
609.60/611.58 c GARBAGE COLLECT
609.60/611.58 c #Conflicts: 257000 | #Constraints: 32126
609.60/611.58 c #Conflicts: 258000 | #Constraints: 33126
609.60/611.58 c #Conflicts: 259000 | #Constraints: 34126
609.60/611.58 c #Conflicts: 260000 | #Constraints: 35126
609.60/611.58 c #Conflicts: 261000 | #Constraints: 36126
609.60/611.58 c #Conflicts: 262000 | #Constraints: 37126
609.60/611.58 c #Conflicts: 263000 | #Constraints: 38126
609.60/611.58 c #Conflicts: 264000 | #Constraints: 39126
609.60/611.58 c #Conflicts: 265000 | #Constraints: 40126
609.60/611.58 c #Conflicts: 266000 | #Constraints: 41126
609.60/611.58 c INPROCESSING
609.60/611.58 c GARBAGE COLLECT
609.60/611.58 c #Conflicts: 267000 | #Constraints: 31928
609.60/611.58 c #Conflicts: 268000 | #Constraints: 32928
609.60/611.58 c #Conflicts: 269000 | #Constraints: 33928
609.60/611.58 c #Conflicts: 270000 | #Constraints: 34928
609.60/611.58 c #Conflicts: 271000 | #Constraints: 35928
609.60/611.58 c #Conflicts: 272000 | #Constraints: 36928
609.60/611.58 c #Conflicts: 273000 | #Constraints: 37928
609.60/611.58 c #Conflicts: 274000 | #Constraints: 38928
609.60/611.58 c #Conflicts: 275000 | #Constraints: 39928
609.60/611.58 c #Conflicts: 276000 | #Constraints: 40928
609.60/611.58 c #Conflicts: 277000 | #Constraints: 41928
609.60/611.58 c INPROCESSING
609.60/611.58 c GARBAGE COLLECT
609.60/611.58 c #Conflicts: 278000 | #Constraints: 32534
609.60/611.58 c #Conflicts: 279000 | #Constraints: 33534
609.60/611.58 c #Conflicts: 280000 | #Constraints: 34534
609.60/611.58 c #Conflicts: 281000 | #Constraints: 35534
609.60/611.58 c #Conflicts: 282000 | #Constraints: 36534
609.60/611.58 c #Conflicts: 283000 | #Constraints: 37534
609.60/611.58 c #Conflicts: 284000 | #Constraints: 38534
609.60/611.58 c #Conflicts: 285000 | #Constraints: 39534
694.64/696.87 c #Conflicts: 286000 | #Constraints: 40534
694.64/696.87 c #Conflicts: 287000 | #Constraints: 41534
694.64/696.87 c #Conflicts: 288000 | #Constraints: 42534
694.64/696.87 c INPROCESSING
694.64/696.87 c GARBAGE COLLECT
694.64/696.87 c #Conflicts: 289000 | #Constraints: 32935
694.64/696.87 c #Conflicts: 290000 | #Constraints: 33935
694.64/696.87 c #Conflicts: 291000 | #Constraints: 34935
694.64/696.87 c #Conflicts: 292000 | #Constraints: 35935
694.64/696.87 c #Conflicts: 293000 | #Constraints: 36935
694.64/696.87 c #Conflicts: 294000 | #Constraints: 37935
694.64/696.87 c #Conflicts: 295000 | #Constraints: 38935
694.64/696.87 c #Conflicts: 296000 | #Constraints: 39935
694.64/696.87 c #Conflicts: 297000 | #Constraints: 40935
694.64/696.87 c #Conflicts: 298000 | #Constraints: 41935
694.64/696.87 c #Conflicts: 299000 | #Constraints: 42935
694.64/696.87 c INPROCESSING
694.64/696.87 c GARBAGE COLLECT
694.64/696.87 c #Conflicts: 300000 | #Constraints: 33126
694.64/696.87 c #Conflicts: 301000 | #Constraints: 34126
694.64/696.87 c #Conflicts: 302000 | #Constraints: 35126
694.64/696.87 c #Conflicts: 303000 | #Constraints: 36126
694.64/696.87 c #Conflicts: 304000 | #Constraints: 37126
694.64/696.87 c #Conflicts: 305000 | #Constraints: 38126
694.64/696.87 c #Conflicts: 306000 | #Constraints: 39126
694.64/696.87 c #Conflicts: 307000 | #Constraints: 40126
694.64/696.87 c #Conflicts: 308000 | #Constraints: 41126
694.64/696.87 c #Conflicts: 309000 | #Constraints: 42126
694.64/696.87 c #Conflicts: 310000 | #Constraints: 43126
694.64/696.87 c INPROCESSING
694.64/696.87 c GARBAGE COLLECT
694.64/696.87 c #Conflicts: 311000 | #Constraints: 33116
694.64/696.87 c #Conflicts: 312000 | #Constraints: 34116
694.64/696.87 c #Conflicts: 313000 | #Constraints: 35116
694.64/696.87 c #Conflicts: 314000 | #Constraints: 36116
694.64/696.87 c #Conflicts: 315000 | #Constraints: 37116
694.64/696.87 c #Conflicts: 316000 | #Constraints: 38116
694.64/696.87 c #Conflicts: 317000 | #Constraints: 39116
694.64/696.87 c #Conflicts: 318000 | #Constraints: 40116
694.64/696.87 c #Conflicts: 319000 | #Constraints: 41116
694.64/696.87 c #Conflicts: 320000 | #Constraints: 42116
694.64/696.87 c #Conflicts: 321000 | #Constraints: 43116
694.64/696.87 c INPROCESSING
694.64/696.87 c GARBAGE COLLECT
694.64/696.87 c #Conflicts: 322000 | #Constraints: 32915
694.64/696.87 c #Conflicts: 323000 | #Constraints: 33915
694.64/696.87 c #Conflicts: 324000 | #Constraints: 34915
694.64/696.87 c #Conflicts: 325000 | #Constraints: 35915
694.64/696.87 c #Conflicts: 326000 | #Constraints: 36915
694.64/696.87 c #Conflicts: 327000 | #Constraints: 37915
694.64/696.87 c #Conflicts: 328000 | #Constraints: 38915
694.64/696.87 c #Conflicts: 329000 | #Constraints: 39915
694.64/696.87 c #Conflicts: 330000 | #Constraints: 40915
694.64/696.87 c #Conflicts: 331000 | #Constraints: 41915
694.64/696.87 c #Conflicts: 332000 | #Constraints: 42915
694.64/696.87 c #Conflicts: 333000 | #Constraints: 43915
694.64/696.87 c INPROCESSING
694.64/696.87 c GARBAGE COLLECT
694.64/696.87 c #Conflicts: 334000 | #Constraints: 33514
694.64/696.87 c #Conflicts: 335000 | #Constraints: 34514
694.64/696.87 c #Conflicts: 336000 | #Constraints: 35514
694.64/696.87 c #Conflicts: 337000 | #Constraints: 36514
694.64/696.87 c #Conflicts: 338000 | #Constraints: 37514
694.64/696.87 c #Conflicts: 339000 | #Constraints: 38514
694.64/696.87 c #Conflicts: 340000 | #Constraints: 39514
694.64/696.87 c #Conflicts: 341000 | #Constraints: 40514
694.64/696.87 c #Conflicts: 342000 | #Constraints: 41514
694.64/696.87 c #Conflicts: 343000 | #Constraints: 42514
694.64/696.87 c #Conflicts: 344000 | #Constraints: 43514
694.64/696.87 c #Conflicts: 345000 | #Constraints: 44514
694.64/696.87 c INPROCESSING
694.64/696.87 c GARBAGE COLLECT
694.64/696.87 c #Conflicts: 346000 | #Constraints: 33929
694.64/696.87 c #Conflicts: 347000 | #Constraints: 34929
694.64/696.87 c #Conflicts: 348000 | #Constraints: 35929
694.64/696.87 c #Conflicts: 349000 | #Constraints: 36929
694.64/696.87 c #Conflicts: 350000 | #Constraints: 37929
694.64/696.87 c #Conflicts: 351000 | #Constraints: 38929
694.64/696.87 c #Conflicts: 352000 | #Constraints: 39929
694.64/696.87 c #Conflicts: 353000 | #Constraints: 40929
694.64/696.87 c #Conflicts: 354000 | #Constraints: 41929
694.64/696.87 c #Conflicts: 355000 | #Constraints: 42929
694.64/696.87 c #Conflicts: 356000 | #Constraints: 43929
694.64/696.87 c #Conflicts: 357000 | #Constraints: 44929
694.64/696.87 c INPROCESSING
694.64/696.87 c GARBAGE COLLECT
694.64/696.87 c #Conflicts: 358000 | #Constraints: 34126
694.64/696.87 c #Conflicts: 359000 | #Constraints: 35126
788.76/791.24 c #Conflicts: 360000 | #Constraints: 36126
788.76/791.24 c #Conflicts: 361000 | #Constraints: 37126
788.76/791.24 c #Conflicts: 362000 | #Constraints: 38126
788.76/791.24 c #Conflicts: 363000 | #Constraints: 39126
788.76/791.24 c #Conflicts: 364000 | #Constraints: 40126
788.76/791.24 c #Conflicts: 365000 | #Constraints: 41126
788.76/791.24 c #Conflicts: 366000 | #Constraints: 42126
788.76/791.24 c #Conflicts: 367000 | #Constraints: 43126
788.76/791.24 c #Conflicts: 368000 | #Constraints: 44126
788.76/791.24 c #Conflicts: 369000 | #Constraints: 45126
788.76/791.24 c INPROCESSING
788.76/791.24 c GARBAGE COLLECT
788.76/791.24 c #Conflicts: 370000 | #Constraints: 34145
788.76/791.24 c #Conflicts: 371000 | #Constraints: 35145
788.76/791.24 c #Conflicts: 372000 | #Constraints: 36145
788.76/791.24 c #Conflicts: 373000 | #Constraints: 37145
788.76/791.24 c #Conflicts: 374000 | #Constraints: 38145
788.76/791.24 c #Conflicts: 375000 | #Constraints: 39145
788.76/791.24 c #Conflicts: 376000 | #Constraints: 40145
788.76/791.24 c #Conflicts: 377000 | #Constraints: 41145
788.76/791.24 c #Conflicts: 378000 | #Constraints: 42145
788.76/791.24 c #Conflicts: 379000 | #Constraints: 43145
788.76/791.24 c #Conflicts: 380000 | #Constraints: 44145
788.76/791.24 c #Conflicts: 381000 | #Constraints: 45145
788.76/791.24 c INPROCESSING
788.76/791.24 c GARBAGE COLLECT
788.76/791.24 c #Conflicts: 382000 | #Constraints: 33940
788.76/791.24 c #Conflicts: 383000 | #Constraints: 34940
788.76/791.24 c #Conflicts: 384000 | #Constraints: 35940
788.76/791.24 c #Conflicts: 385000 | #Constraints: 36940
788.76/791.24 c #Conflicts: 386000 | #Constraints: 37940
788.76/791.24 c #Conflicts: 387000 | #Constraints: 38940
788.76/791.24 c #Conflicts: 388000 | #Constraints: 39940
788.76/791.24 c #Conflicts: 389000 | #Constraints: 40940
788.76/791.24 c #Conflicts: 390000 | #Constraints: 41940
788.76/791.24 c #Conflicts: 391000 | #Constraints: 42940
788.76/791.24 c #Conflicts: 392000 | #Constraints: 43940
788.76/791.24 c #Conflicts: 393000 | #Constraints: 44940
788.76/791.24 c #Conflicts: 394000 | #Constraints: 45940
788.76/791.24 c INPROCESSING
788.76/791.24 c GARBAGE COLLECT
788.76/791.24 c #Conflicts: 395000 | #Constraints: 34537
788.76/791.24 c #Conflicts: 396000 | #Constraints: 35537
788.76/791.24 c #Conflicts: 397000 | #Constraints: 36537
788.76/791.24 c #Conflicts: 398000 | #Constraints: 37537
788.76/791.24 c #Conflicts: 399000 | #Constraints: 38537
788.76/791.24 c #Conflicts: 400000 | #Constraints: 39537
788.76/791.24 c #Conflicts: 401000 | #Constraints: 40537
788.76/791.24 c #Conflicts: 402000 | #Constraints: 41537
788.76/791.24 c #Conflicts: 403000 | #Constraints: 42537
788.76/791.24 c #Conflicts: 404000 | #Constraints: 43537
788.76/791.24 c #Conflicts: 405000 | #Constraints: 44537
788.76/791.24 c #Conflicts: 406000 | #Constraints: 45537
788.76/791.24 c #Conflicts: 407000 | #Constraints: 46537
788.76/791.24 c INPROCESSING
788.76/791.24 c GARBAGE COLLECT
788.76/791.24 c #Conflicts: 408000 | #Constraints: 34935
788.76/791.24 c #Conflicts: 409000 | #Constraints: 35935
788.76/791.24 c #Conflicts: 410000 | #Constraints: 36935
788.76/791.24 c #Conflicts: 411000 | #Constraints: 37935
788.76/791.24 c #Conflicts: 412000 | #Constraints: 38935
788.76/791.24 c #Conflicts: 413000 | #Constraints: 39935
788.76/791.24 c #Conflicts: 414000 | #Constraints: 40935
788.76/791.24 c #Conflicts: 415000 | #Constraints: 41935
788.76/791.24 c #Conflicts: 416000 | #Constraints: 42935
788.76/791.24 c #Conflicts: 417000 | #Constraints: 43935
788.76/791.24 c #Conflicts: 418000 | #Constraints: 44935
788.76/791.24 c #Conflicts: 419000 | #Constraints: 45935
788.76/791.24 c #Conflicts: 420000 | #Constraints: 46935
788.76/791.24 c INPROCESSING
788.76/791.24 c GARBAGE COLLECT
788.76/791.24 c #Conflicts: 421000 | #Constraints: 35128
788.76/791.24 c #Conflicts: 422000 | #Constraints: 36128
788.76/791.24 c #Conflicts: 423000 | #Constraints: 37128
788.76/791.24 c #Conflicts: 424000 | #Constraints: 38128
788.76/791.24 c #Conflicts: 425000 | #Constraints: 39128
788.76/791.24 c #Conflicts: 426000 | #Constraints: 40128
788.76/791.24 c #Conflicts: 427000 | #Constraints: 41128
788.76/791.24 c #Conflicts: 428000 | #Constraints: 42128
788.76/791.24 c #Conflicts: 429000 | #Constraints: 43128
788.76/791.24 c #Conflicts: 430000 | #Constraints: 44128
788.76/791.24 c #Conflicts: 431000 | #Constraints: 45128
788.76/791.24 c #Conflicts: 432000 | #Constraints: 46128
788.76/791.24 c #Conflicts: 433000 | #Constraints: 47128
788.76/791.24 c INPROCESSING
788.76/791.24 c GARBAGE COLLECT
788.76/791.24 c #Conflicts: 434000 | #Constraints: 35131
936.09/939.06 c #Conflicts: 435000 | #Constraints: 36131
936.09/939.06 c #Conflicts: 436000 | #Constraints: 37131
936.09/939.06 c #Conflicts: 437000 | #Constraints: 38131
936.09/939.06 c #Conflicts: 438000 | #Constraints: 39131
936.09/939.06 c #Conflicts: 439000 | #Constraints: 40131
936.09/939.06 c #Conflicts: 440000 | #Constraints: 41131
936.09/939.06 c #Conflicts: 441000 | #Constraints: 42131
936.09/939.06 c #Conflicts: 442000 | #Constraints: 43131
936.09/939.06 c #Conflicts: 443000 | #Constraints: 44131
936.09/939.06 c #Conflicts: 444000 | #Constraints: 45131
936.09/939.06 c #Conflicts: 445000 | #Constraints: 46131
936.09/939.06 c #Conflicts: 446000 | #Constraints: 47131
936.09/939.06 c INPROCESSING
936.09/939.06 c GARBAGE COLLECT
936.09/939.06 c #Conflicts: 447000 | #Constraints: 34939
936.09/939.06 c #Conflicts: 448000 | #Constraints: 35939
936.09/939.06 c #Conflicts: 449000 | #Constraints: 36939
936.09/939.06 c #Conflicts: 450000 | #Constraints: 37939
936.09/939.06 c #Conflicts: 451000 | #Constraints: 38939
936.09/939.06 c #Conflicts: 452000 | #Constraints: 39939
936.09/939.06 c #Conflicts: 453000 | #Constraints: 40939
936.09/939.06 c #Conflicts: 454000 | #Constraints: 41939
936.09/939.06 c #Conflicts: 455000 | #Constraints: 42939
936.09/939.06 c #Conflicts: 456000 | #Constraints: 43939
936.09/939.06 c #Conflicts: 457000 | #Constraints: 44939
936.09/939.06 c #Conflicts: 458000 | #Constraints: 45939
936.09/939.06 c #Conflicts: 459000 | #Constraints: 46939
936.09/939.06 c #Conflicts: 460000 | #Constraints: 47939
936.09/939.06 c INPROCESSING
936.09/939.06 c GARBAGE COLLECT
936.09/939.06 c #Conflicts: 461000 | #Constraints: 35536
936.09/939.06 c #Conflicts: 462000 | #Constraints: 36536
936.09/939.06 c #Conflicts: 463000 | #Constraints: 37536
936.09/939.06 c #Conflicts: 464000 | #Constraints: 38536
936.09/939.06 c #Conflicts: 465000 | #Constraints: 39536
936.09/939.06 c #Conflicts: 466000 | #Constraints: 40536
936.09/939.06 c #Conflicts: 467000 | #Constraints: 41536
936.09/939.06 c #Conflicts: 468000 | #Constraints: 42536
936.09/939.06 c #Conflicts: 469000 | #Constraints: 43536
936.09/939.06 c #Conflicts: 470000 | #Constraints: 44536
936.09/939.06 c #Conflicts: 471000 | #Constraints: 45536
936.09/939.06 c #Conflicts: 472000 | #Constraints: 46536
936.09/939.06 c #Conflicts: 473000 | #Constraints: 47536
936.09/939.06 c #Conflicts: 474000 | #Constraints: 48536
936.09/939.06 c INPROCESSING
936.09/939.06 c GARBAGE COLLECT
936.09/939.06 c #Conflicts: 475000 | #Constraints: 35932
936.09/939.06 c #Conflicts: 476000 | #Constraints: 36932
936.09/939.06 c #Conflicts: 477000 | #Constraints: 37932
936.09/939.06 c #Conflicts: 478000 | #Constraints: 38932
936.09/939.06 c #Conflicts: 479000 | #Constraints: 39932
936.09/939.06 c #Conflicts: 480000 | #Constraints: 40932
936.09/939.06 c #Conflicts: 481000 | #Constraints: 41932
936.09/939.06 c #Conflicts: 482000 | #Constraints: 42932
936.09/939.06 c #Conflicts: 483000 | #Constraints: 43932
936.09/939.06 c #Conflicts: 484000 | #Constraints: 44932
936.09/939.06 c #Conflicts: 485000 | #Constraints: 45932
936.09/939.06 c #Conflicts: 486000 | #Constraints: 46932
936.09/939.06 c #Conflicts: 487000 | #Constraints: 47932
936.09/939.06 c #Conflicts: 488000 | #Constraints: 48932
936.09/939.06 c INPROCESSING
936.09/939.06 c GARBAGE COLLECT
936.09/939.06 c #Conflicts: 489000 | #Constraints: 36132
936.09/939.06 c #Conflicts: 490000 | #Constraints: 37132
936.09/939.06 c #Conflicts: 491000 | #Constraints: 38132
936.09/939.06 c #Conflicts: 492000 | #Constraints: 39132
936.09/939.06 c #Conflicts: 493000 | #Constraints: 40132
936.09/939.06 c #Conflicts: 494000 | #Constraints: 41132
936.09/939.06 c #Conflicts: 495000 | #Constraints: 42132
936.09/939.06 c #Conflicts: 496000 | #Constraints: 43132
936.09/939.06 c #Conflicts: 497000 | #Constraints: 44132
936.09/939.06 c #Conflicts: 498000 | #Constraints: 45132
936.09/939.06 c #Conflicts: 499000 | #Constraints: 46132
936.09/939.06 c #Conflicts: 500000 | #Constraints: 47132
936.09/939.06 c #Conflicts: 501000 | #Constraints: 48132
936.09/939.06 c #Conflicts: 502000 | #Constraints: 49132
936.09/939.06 c INPROCESSING
936.09/939.06 c GARBAGE COLLECT
936.09/939.06 c #Conflicts: 503000 | #Constraints: 36129
936.09/939.06 c #Conflicts: 504000 | #Constraints: 37129
936.09/939.06 c #Conflicts: 505000 | #Constraints: 38129
936.09/939.06 c #Conflicts: 506000 | #Constraints: 39129
936.09/939.06 c #Conflicts: 507000 | #Constraints: 40129
936.09/939.06 c #Conflicts: 508000 | #Constraints: 41129
936.09/939.06 c #Conflicts: 509000 | #Constraints: 42129
936.09/939.06 c #Conflicts: 510000 | #Constraints: 43129
1035.68/1038.96 c #Conflicts: 511000 | #Constraints: 44129
1035.68/1038.96 c #Conflicts: 512000 | #Constraints: 45129
1035.68/1038.96 c #Conflicts: 513000 | #Constraints: 46129
1035.68/1038.96 c #Conflicts: 514000 | #Constraints: 47129
1035.68/1038.96 c #Conflicts: 515000 | #Constraints: 48129
1035.68/1038.96 c #Conflicts: 516000 | #Constraints: 49129
1035.68/1038.96 c INPROCESSING
1035.68/1038.96 c GARBAGE COLLECT
1035.68/1038.96 c #Conflicts: 517000 | #Constraints: 35938
1035.68/1038.96 c #Conflicts: 518000 | #Constraints: 36938
1035.68/1038.96 c #Conflicts: 519000 | #Constraints: 37938
1035.68/1038.96 c #Conflicts: 520000 | #Constraints: 38938
1035.68/1038.96 c #Conflicts: 521000 | #Constraints: 39938
1035.68/1038.96 c #Conflicts: 522000 | #Constraints: 40938
1035.68/1038.96 c #Conflicts: 523000 | #Constraints: 41938
1035.68/1038.96 c #Conflicts: 524000 | #Constraints: 42938
1035.68/1038.96 c #Conflicts: 525000 | #Constraints: 43938
1035.68/1038.96 c #Conflicts: 526000 | #Constraints: 44938
1035.68/1038.96 c #Conflicts: 527000 | #Constraints: 45938
1035.68/1038.96 c #Conflicts: 528000 | #Constraints: 46938
1035.68/1038.96 c #Conflicts: 529000 | #Constraints: 47938
1035.68/1038.96 c #Conflicts: 530000 | #Constraints: 48938
1035.68/1038.96 c #Conflicts: 531000 | #Constraints: 49938
1035.68/1038.96 c INPROCESSING
1035.68/1038.96 c GARBAGE COLLECT
1035.68/1038.96 c #Conflicts: 532000 | #Constraints: 36535
1035.68/1038.96 c #Conflicts: 533000 | #Constraints: 37535
1035.68/1038.96 c #Conflicts: 534000 | #Constraints: 38535
1035.68/1038.96 c #Conflicts: 535000 | #Constraints: 39535
1035.68/1038.96 c #Conflicts: 536000 | #Constraints: 40535
1035.68/1038.96 c #Conflicts: 537000 | #Constraints: 41535
1035.68/1038.96 c #Conflicts: 538000 | #Constraints: 42535
1035.68/1038.96 c #Conflicts: 539000 | #Constraints: 43535
1035.68/1038.96 c #Conflicts: 540000 | #Constraints: 44535
1035.68/1038.96 c #Conflicts: 541000 | #Constraints: 45535
1035.68/1038.96 c #Conflicts: 542000 | #Constraints: 46535
1035.68/1038.96 c #Conflicts: 543000 | #Constraints: 47535
1035.68/1038.96 c #Conflicts: 544000 | #Constraints: 48535
1035.68/1038.96 c #Conflicts: 545000 | #Constraints: 49535
1035.68/1038.96 c #Conflicts: 546000 | #Constraints: 50535
1035.68/1038.96 c INPROCESSING
1035.68/1038.96 c GARBAGE COLLECT
1035.68/1038.96 c #Conflicts: 547000 | #Constraints: 36950
1035.68/1038.96 c #Conflicts: 548000 | #Constraints: 37950
1035.68/1038.96 c #Conflicts: 549000 | #Constraints: 38950
1035.68/1038.96 c #Conflicts: 550000 | #Constraints: 39950
1035.68/1038.96 c #Conflicts: 551000 | #Constraints: 40950
1035.68/1038.96 c #Conflicts: 552000 | #Constraints: 41950
1035.68/1038.96 c #Conflicts: 553000 | #Constraints: 42950
1035.68/1038.96 c #Conflicts: 554000 | #Constraints: 43950
1035.68/1038.96 c #Conflicts: 555000 | #Constraints: 44950
1035.68/1038.96 c #Conflicts: 556000 | #Constraints: 45950
1035.68/1038.96 c #Conflicts: 557000 | #Constraints: 46950
1035.68/1038.96 c #Conflicts: 558000 | #Constraints: 47950
1035.68/1038.96 c #Conflicts: 559000 | #Constraints: 48950
1035.68/1038.96 c #Conflicts: 560000 | #Constraints: 49950
1035.68/1038.96 c #Conflicts: 561000 | #Constraints: 50950
1035.68/1038.96 c INPROCESSING
1035.68/1038.96 c GARBAGE COLLECT
1035.68/1038.96 c #Conflicts: 562000 | #Constraints: 37156
1035.68/1038.96 c #Conflicts: 563000 | #Constraints: 38156
1035.68/1038.96 c #Conflicts: 564000 | #Constraints: 39156
1035.68/1038.96 c #Conflicts: 565000 | #Constraints: 40156
1035.68/1038.96 c #Conflicts: 566000 | #Constraints: 41156
1035.68/1038.96 c #Conflicts: 567000 | #Constraints: 42156
1035.68/1038.96 c #Conflicts: 568000 | #Constraints: 43156
1035.68/1038.96 c #Conflicts: 569000 | #Constraints: 44156
1035.68/1038.96 c #Conflicts: 570000 | #Constraints: 45156
1035.68/1038.96 c #Conflicts: 571000 | #Constraints: 46156
1035.68/1038.96 c #Conflicts: 572000 | #Constraints: 47156
1035.68/1038.96 c #Conflicts: 573000 | #Constraints: 48156
1035.68/1038.96 c #Conflicts: 574000 | #Constraints: 49156
1035.68/1038.96 c #Conflicts: 575000 | #Constraints: 50156
1035.68/1038.96 c #Conflicts: 576000 | #Constraints: 51156
1035.68/1038.96 c INPROCESSING
1035.68/1038.96 c GARBAGE COLLECT
1035.68/1038.96 c #Conflicts: 577000 | #Constraints: 37150
1035.68/1038.96 c #Conflicts: 578000 | #Constraints: 38150
1035.68/1038.96 c #Conflicts: 579000 | #Constraints: 39150
1035.68/1038.96 c #Conflicts: 580000 | #Constraints: 40150
1035.68/1038.96 c #Conflicts: 581000 | #Constraints: 41150
1035.68/1038.96 c #Conflicts: 582000 | #Constraints: 42150
1035.68/1038.96 c #Conflicts: 583000 | #Constraints: 43150
1035.68/1038.96 c #Conflicts: 584000 | #Constraints: 44150
1035.68/1038.96 c #Conflicts: 585000 | #Constraints: 45150
1141.26/1144.89 c #Conflicts: 586000 | #Constraints: 46150
1141.26/1144.89 c #Conflicts: 587000 | #Constraints: 47150
1141.26/1144.89 c #Conflicts: 588000 | #Constraints: 48150
1141.26/1144.89 c #Conflicts: 589000 | #Constraints: 49150
1141.26/1144.89 c #Conflicts: 590000 | #Constraints: 50150
1141.26/1144.89 c #Conflicts: 591000 | #Constraints: 51150
1141.26/1144.89 c INPROCESSING
1141.26/1144.89 c GARBAGE COLLECT
1141.26/1144.89 c #Conflicts: 592000 | #Constraints: 36948
1141.26/1144.89 c #Conflicts: 593000 | #Constraints: 37948
1141.26/1144.89 c #Conflicts: 594000 | #Constraints: 38948
1141.26/1144.89 c #Conflicts: 595000 | #Constraints: 39948
1141.26/1144.89 c #Conflicts: 596000 | #Constraints: 40948
1141.26/1144.89 c #Conflicts: 597000 | #Constraints: 41948
1141.26/1144.89 c #Conflicts: 598000 | #Constraints: 42948
1141.26/1144.89 c #Conflicts: 599000 | #Constraints: 43948
1141.26/1144.89 c #Conflicts: 600000 | #Constraints: 44948
1141.26/1144.89 c #Conflicts: 601000 | #Constraints: 45948
1141.26/1144.89 c #Conflicts: 602000 | #Constraints: 46948
1141.26/1144.89 c #Conflicts: 603000 | #Constraints: 47948
1141.26/1144.89 c #Conflicts: 604000 | #Constraints: 48948
1141.26/1144.89 c #Conflicts: 605000 | #Constraints: 49948
1141.26/1144.89 c #Conflicts: 606000 | #Constraints: 50948
1141.26/1144.89 c #Conflicts: 607000 | #Constraints: 51948
1141.26/1144.89 c INPROCESSING
1141.26/1144.89 c GARBAGE COLLECT
1141.26/1144.89 c #Conflicts: 608000 | #Constraints: 37557
1141.26/1144.89 c #Conflicts: 609000 | #Constraints: 38557
1141.26/1144.89 c #Conflicts: 610000 | #Constraints: 39557
1141.26/1144.89 c #Conflicts: 611000 | #Constraints: 40557
1141.26/1144.89 c #Conflicts: 612000 | #Constraints: 41557
1141.26/1144.89 c #Conflicts: 613000 | #Constraints: 42557
1141.26/1144.89 c #Conflicts: 614000 | #Constraints: 43557
1141.26/1144.89 c #Conflicts: 615000 | #Constraints: 44557
1141.26/1144.89 c #Conflicts: 616000 | #Constraints: 45557
1141.26/1144.89 c #Conflicts: 617000 | #Constraints: 46557
1141.26/1144.89 c #Conflicts: 618000 | #Constraints: 47557
1141.26/1144.89 c #Conflicts: 619000 | #Constraints: 48557
1141.26/1144.89 c #Conflicts: 620000 | #Constraints: 49557
1141.26/1144.89 c #Conflicts: 621000 | #Constraints: 50557
1141.26/1144.89 c #Conflicts: 622000 | #Constraints: 51557
1141.26/1144.89 c #Conflicts: 623000 | #Constraints: 52557
1141.26/1144.89 c INPROCESSING
1141.26/1144.89 c GARBAGE COLLECT
1141.26/1144.89 c #Conflicts: 624000 | #Constraints: 37945
1141.26/1144.89 c #Conflicts: 625000 | #Constraints: 38945
1141.26/1144.89 c #Conflicts: 626000 | #Constraints: 39945
1141.26/1144.89 c #Conflicts: 627000 | #Constraints: 40945
1141.26/1144.89 c #Conflicts: 628000 | #Constraints: 41945
1141.26/1144.89 c #Conflicts: 629000 | #Constraints: 42945
1141.26/1144.89 c #Conflicts: 630000 | #Constraints: 43945
1141.26/1144.89 c #Conflicts: 631000 | #Constraints: 44945
1141.26/1144.89 c #Conflicts: 632000 | #Constraints: 45945
1141.26/1144.89 c #Conflicts: 633000 | #Constraints: 46945
1141.26/1144.89 c #Conflicts: 634000 | #Constraints: 47945
1141.26/1144.89 c #Conflicts: 635000 | #Constraints: 48945
1141.26/1144.89 c #Conflicts: 636000 | #Constraints: 49945
1141.26/1144.89 c #Conflicts: 637000 | #Constraints: 50945
1141.26/1144.89 c #Conflicts: 638000 | #Constraints: 51945
1141.26/1144.89 c #Conflicts: 639000 | #Constraints: 52945
1141.26/1144.89 c INPROCESSING
1141.26/1144.89 c GARBAGE COLLECT
1141.26/1144.89 c #Conflicts: 640000 | #Constraints: 38139
1141.26/1144.89 c #Conflicts: 641000 | #Constraints: 39139
1141.26/1144.89 c #Conflicts: 642000 | #Constraints: 40139
1141.26/1144.89 c #Conflicts: 643000 | #Constraints: 41139
1141.26/1144.89 c #Conflicts: 644000 | #Constraints: 42139
1141.26/1144.89 c #Conflicts: 645000 | #Constraints: 43139
1141.26/1144.89 c #Conflicts: 646000 | #Constraints: 44139
1141.26/1144.89 c #Conflicts: 647000 | #Constraints: 45139
1141.26/1144.89 c #Conflicts: 648000 | #Constraints: 46139
1141.26/1144.89 c #Conflicts: 649000 | #Constraints: 47139
1141.26/1144.89 c #Conflicts: 650000 | #Constraints: 48139
1141.26/1144.89 c #Conflicts: 651000 | #Constraints: 49139
1141.26/1144.89 c #Conflicts: 652000 | #Constraints: 50139
1141.26/1144.89 c #Conflicts: 653000 | #Constraints: 51139
1141.26/1144.89 c #Conflicts: 654000 | #Constraints: 52139
1141.26/1144.89 c #Conflicts: 655000 | #Constraints: 53139
1141.26/1144.89 c INPROCESSING
1141.26/1144.89 c GARBAGE COLLECT
1141.26/1144.89 c #Conflicts: 656000 | #Constraints: 38134
1141.26/1144.89 c #Conflicts: 657000 | #Constraints: 39134
1141.26/1144.89 c #Conflicts: 658000 | #Constraints: 40134
1141.26/1144.89 c #Conflicts: 659000 | #Constraints: 41134
1141.26/1144.89 c #Conflicts: 660000 | #Constraints: 42134
1141.26/1144.89 c #Conflicts: 661000 | #Constraints: 43134
1262.69/1266.67 c #Conflicts: 662000 | #Constraints: 44134
1262.69/1266.67 c #Conflicts: 663000 | #Constraints: 45134
1262.69/1266.67 c #Conflicts: 664000 | #Constraints: 46134
1262.69/1266.67 c #Conflicts: 665000 | #Constraints: 47134
1262.69/1266.67 c #Conflicts: 666000 | #Constraints: 48134
1262.69/1266.67 c #Conflicts: 667000 | #Constraints: 49134
1262.69/1266.67 c #Conflicts: 668000 | #Constraints: 50134
1262.69/1266.67 c #Conflicts: 669000 | #Constraints: 51134
1262.69/1266.67 c #Conflicts: 670000 | #Constraints: 52134
1262.69/1266.67 c #Conflicts: 671000 | #Constraints: 53134
1262.69/1266.67 c INPROCESSING
1262.69/1266.67 c GARBAGE COLLECT
1262.69/1266.67 c #Conflicts: 672000 | #Constraints: 37942
1262.69/1266.67 c #Conflicts: 673000 | #Constraints: 38942
1262.69/1266.67 c #Conflicts: 674000 | #Constraints: 39942
1262.69/1266.67 c #Conflicts: 675000 | #Constraints: 40942
1262.69/1266.67 c #Conflicts: 676000 | #Constraints: 41942
1262.69/1266.67 c #Conflicts: 677000 | #Constraints: 42942
1262.69/1266.67 c #Conflicts: 678000 | #Constraints: 43942
1262.69/1266.67 c #Conflicts: 679000 | #Constraints: 44942
1262.69/1266.67 c #Conflicts: 680000 | #Constraints: 45942
1262.69/1266.67 c #Conflicts: 681000 | #Constraints: 46942
1262.69/1266.67 c #Conflicts: 682000 | #Constraints: 47942
1262.69/1266.67 c #Conflicts: 683000 | #Constraints: 48942
1262.69/1266.67 c #Conflicts: 684000 | #Constraints: 49942
1262.69/1266.67 c #Conflicts: 685000 | #Constraints: 50942
1262.69/1266.67 c #Conflicts: 686000 | #Constraints: 51942
1262.69/1266.67 c #Conflicts: 687000 | #Constraints: 52942
1262.69/1266.67 c #Conflicts: 688000 | #Constraints: 53942
1262.69/1266.67 c INPROCESSING
1262.69/1266.67 c GARBAGE COLLECT
1262.69/1266.67 c #Conflicts: 689000 | #Constraints: 38547
1262.69/1266.67 c #Conflicts: 690000 | #Constraints: 39547
1262.69/1266.67 c #Conflicts: 691000 | #Constraints: 40547
1262.69/1266.67 c #Conflicts: 692000 | #Constraints: 41547
1262.69/1266.67 c #Conflicts: 693000 | #Constraints: 42547
1262.69/1266.67 c #Conflicts: 694000 | #Constraints: 43547
1262.69/1266.67 c #Conflicts: 695000 | #Constraints: 44547
1262.69/1266.67 c #Conflicts: 696000 | #Constraints: 45547
1262.69/1266.67 c #Conflicts: 697000 | #Constraints: 46547
1262.69/1266.67 c #Conflicts: 698000 | #Constraints: 47547
1262.69/1266.67 c #Conflicts: 699000 | #Constraints: 48547
1262.69/1266.67 c #Conflicts: 700000 | #Constraints: 49547
1262.69/1266.67 c #Conflicts: 701000 | #Constraints: 50547
1262.69/1266.67 c #Conflicts: 702000 | #Constraints: 51547
1262.69/1266.67 c #Conflicts: 703000 | #Constraints: 52547
1262.69/1266.67 c #Conflicts: 704000 | #Constraints: 53547
1262.69/1266.67 c #Conflicts: 705000 | #Constraints: 54547
1262.69/1266.67 c INPROCESSING
1262.69/1266.67 c GARBAGE COLLECT
1262.69/1266.67 c #Conflicts: 706000 | #Constraints: 38940
1262.69/1266.67 c #Conflicts: 707000 | #Constraints: 39940
1262.69/1266.67 c #Conflicts: 708000 | #Constraints: 40940
1262.69/1266.67 c #Conflicts: 709000 | #Constraints: 41940
1262.69/1266.67 c #Conflicts: 710000 | #Constraints: 42940
1262.69/1266.67 c #Conflicts: 711000 | #Constraints: 43940
1262.69/1266.67 c #Conflicts: 712000 | #Constraints: 44940
1262.69/1266.67 c #Conflicts: 713000 | #Constraints: 45940
1262.69/1266.67 c #Conflicts: 714000 | #Constraints: 46940
1262.69/1266.67 c #Conflicts: 715000 | #Constraints: 47940
1262.69/1266.67 c #Conflicts: 716000 | #Constraints: 48940
1262.69/1266.67 c #Conflicts: 717000 | #Constraints: 49940
1262.69/1266.67 c #Conflicts: 718000 | #Constraints: 50940
1262.69/1266.67 c #Conflicts: 719000 | #Constraints: 51940
1262.69/1266.67 c #Conflicts: 720000 | #Constraints: 52940
1262.69/1266.67 c #Conflicts: 721000 | #Constraints: 53940
1262.69/1266.67 c #Conflicts: 722000 | #Constraints: 54940
1262.69/1266.67 c INPROCESSING
1262.69/1266.67 c GARBAGE COLLECT
1262.69/1266.67 c #Conflicts: 723000 | #Constraints: 39144
1262.69/1266.67 c #Conflicts: 724000 | #Constraints: 40144
1262.69/1266.67 c #Conflicts: 725000 | #Constraints: 41144
1262.69/1266.67 c #Conflicts: 726000 | #Constraints: 42144
1262.69/1266.67 c #Conflicts: 727000 | #Constraints: 43144
1262.69/1266.67 c #Conflicts: 728000 | #Constraints: 44144
1262.69/1266.67 c #Conflicts: 729000 | #Constraints: 45144
1262.69/1266.67 c #Conflicts: 730000 | #Constraints: 46144
1262.69/1266.67 c #Conflicts: 731000 | #Constraints: 47144
1262.69/1266.67 c #Conflicts: 732000 | #Constraints: 48144
1262.69/1266.67 c #Conflicts: 733000 | #Constraints: 49144
1262.69/1266.67 c #Conflicts: 734000 | #Constraints: 50144
1262.69/1266.67 c #Conflicts: 735000 | #Constraints: 51144
1262.69/1266.67 c #Conflicts: 736000 | #Constraints: 52144
1262.69/1266.67 c #Conflicts: 737000 | #Constraints: 53144
1387.99/1392.38 c #Conflicts: 738000 | #Constraints: 54144
1387.99/1392.38 c #Conflicts: 739000 | #Constraints: 55144
1387.99/1392.38 c INPROCESSING
1387.99/1392.38 c GARBAGE COLLECT
1387.99/1392.38 c #Conflicts: 740000 | #Constraints: 39139
1387.99/1392.38 c #Conflicts: 741000 | #Constraints: 40139
1387.99/1392.38 c #Conflicts: 742000 | #Constraints: 41139
1387.99/1392.38 c #Conflicts: 743000 | #Constraints: 42139
1387.99/1392.38 c #Conflicts: 744000 | #Constraints: 43139
1387.99/1392.38 c #Conflicts: 745000 | #Constraints: 44139
1387.99/1392.38 c #Conflicts: 746000 | #Constraints: 45139
1387.99/1392.38 c #Conflicts: 747000 | #Constraints: 46139
1387.99/1392.38 c #Conflicts: 748000 | #Constraints: 47139
1387.99/1392.38 c #Conflicts: 749000 | #Constraints: 48139
1387.99/1392.38 c #Conflicts: 750000 | #Constraints: 49139
1387.99/1392.38 c #Conflicts: 751000 | #Constraints: 50139
1387.99/1392.38 c #Conflicts: 752000 | #Constraints: 51139
1387.99/1392.38 c #Conflicts: 753000 | #Constraints: 52139
1387.99/1392.38 c #Conflicts: 754000 | #Constraints: 53139
1387.99/1392.38 c #Conflicts: 755000 | #Constraints: 54139
1387.99/1392.38 c #Conflicts: 756000 | #Constraints: 55139
1387.99/1392.38 c INPROCESSING
1387.99/1392.38 c GARBAGE COLLECT
1387.99/1392.38 c #Conflicts: 757000 | #Constraints: 38946
1387.99/1392.38 c #Conflicts: 758000 | #Constraints: 39946
1387.99/1392.38 c #Conflicts: 759000 | #Constraints: 40946
1387.99/1392.38 c #Conflicts: 760000 | #Constraints: 41946
1387.99/1392.38 c #Conflicts: 761000 | #Constraints: 42946
1387.99/1392.38 c #Conflicts: 762000 | #Constraints: 43946
1387.99/1392.38 c #Conflicts: 763000 | #Constraints: 44946
1387.99/1392.38 c #Conflicts: 764000 | #Constraints: 45946
1387.99/1392.38 c #Conflicts: 765000 | #Constraints: 46946
1387.99/1392.38 c #Conflicts: 766000 | #Constraints: 47946
1387.99/1392.38 c #Conflicts: 767000 | #Constraints: 48946
1387.99/1392.38 c #Conflicts: 768000 | #Constraints: 49946
1387.99/1392.38 c #Conflicts: 769000 | #Constraints: 50946
1387.99/1392.38 c #Conflicts: 770000 | #Constraints: 51946
1387.99/1392.38 c #Conflicts: 771000 | #Constraints: 52946
1387.99/1392.38 c #Conflicts: 772000 | #Constraints: 53946
1387.99/1392.38 c #Conflicts: 773000 | #Constraints: 54946
1387.99/1392.38 c #Conflicts: 774000 | #Constraints: 55946
1387.99/1392.38 c INPROCESSING
1387.99/1392.38 c GARBAGE COLLECT
1387.99/1392.38 c #Conflicts: 775000 | #Constraints: 39551
1387.99/1392.38 c #Conflicts: 776000 | #Constraints: 40551
1387.99/1392.38 c #Conflicts: 777000 | #Constraints: 41551
1387.99/1392.38 c #Conflicts: 778000 | #Constraints: 42551
1387.99/1392.38 c #Conflicts: 779000 | #Constraints: 43551
1387.99/1392.38 c #Conflicts: 780000 | #Constraints: 44551
1387.99/1392.38 c #Conflicts: 781000 | #Constraints: 45551
1387.99/1392.38 c #Conflicts: 782000 | #Constraints: 46551
1387.99/1392.38 c #Conflicts: 783000 | #Constraints: 47551
1387.99/1392.38 c #Conflicts: 784000 | #Constraints: 48551
1387.99/1392.38 c #Conflicts: 785000 | #Constraints: 49551
1387.99/1392.38 c #Conflicts: 786000 | #Constraints: 50551
1387.99/1392.38 c #Conflicts: 787000 | #Constraints: 51551
1387.99/1392.38 c #Conflicts: 788000 | #Constraints: 52551
1387.99/1392.38 c #Conflicts: 789000 | #Constraints: 53551
1387.99/1392.38 c #Conflicts: 790000 | #Constraints: 54551
1387.99/1392.38 c #Conflicts: 791000 | #Constraints: 55551
1387.99/1392.38 c #Conflicts: 792000 | #Constraints: 56551
1387.99/1392.38 c INPROCESSING
1387.99/1392.38 c GARBAGE COLLECT
1387.99/1392.38 c #Conflicts: 793000 | #Constraints: 39942
1387.99/1392.38 c #Conflicts: 794000 | #Constraints: 40942
1387.99/1392.38 c #Conflicts: 795000 | #Constraints: 41942
1387.99/1392.38 c #Conflicts: 796000 | #Constraints: 42942
1387.99/1392.38 c #Conflicts: 797000 | #Constraints: 43942
1387.99/1392.38 c #Conflicts: 798000 | #Constraints: 44942
1387.99/1392.38 c #Conflicts: 799000 | #Constraints: 45942
1387.99/1392.38 c #Conflicts: 800000 | #Constraints: 46942
1387.99/1392.38 c #Conflicts: 801000 | #Constraints: 47942
1387.99/1392.38 c #Conflicts: 802000 | #Constraints: 48942
1387.99/1392.38 c #Conflicts: 803000 | #Constraints: 49942
1387.99/1392.38 c #Conflicts: 804000 | #Constraints: 50942
1387.99/1392.38 c #Conflicts: 805000 | #Constraints: 51942
1387.99/1392.38 c #Conflicts: 806000 | #Constraints: 52942
1387.99/1392.38 c #Conflicts: 807000 | #Constraints: 53942
1387.99/1392.38 c #Conflicts: 808000 | #Constraints: 54942
1387.99/1392.38 c #Conflicts: 809000 | #Constraints: 55942
1387.99/1392.38 c #Conflicts: 810000 | #Constraints: 56942
1387.99/1392.38 c INPROCESSING
1387.99/1392.38 c GARBAGE COLLECT
1387.99/1392.38 c #Conflicts: 811000 | #Constraints: 40153
1387.99/1392.38 c #Conflicts: 812000 | #Constraints: 41153
1387.99/1392.38 c #Conflicts: 813000 | #Constraints: 42153
1496.05/1500.71 c #Conflicts: 814000 | #Constraints: 43153
1496.05/1500.71 c #Conflicts: 815000 | #Constraints: 44153
1496.05/1500.71 c #Conflicts: 816000 | #Constraints: 45153
1496.05/1500.71 c #Conflicts: 817000 | #Constraints: 46153
1496.05/1500.71 c #Conflicts: 818000 | #Constraints: 47153
1496.05/1500.71 c #Conflicts: 819000 | #Constraints: 48153
1496.05/1500.71 c #Conflicts: 820000 | #Constraints: 49153
1496.05/1500.71 c #Conflicts: 821000 | #Constraints: 50153
1496.05/1500.71 c #Conflicts: 822000 | #Constraints: 51153
1496.05/1500.71 c #Conflicts: 823000 | #Constraints: 52153
1496.05/1500.71 c #Conflicts: 824000 | #Constraints: 53153
1496.05/1500.71 c #Conflicts: 825000 | #Constraints: 54153
1496.05/1500.71 c #Conflicts: 826000 | #Constraints: 55153
1496.05/1500.71 c #Conflicts: 827000 | #Constraints: 56153
1496.05/1500.71 c #Conflicts: 828000 | #Constraints: 57153
1496.05/1500.71 c INPROCESSING
1496.05/1500.71 c GARBAGE COLLECT
1496.05/1500.71 c #Conflicts: 829000 | #Constraints: 40155
1496.05/1500.71 c #Conflicts: 830000 | #Constraints: 41155
1496.05/1500.71 c #Conflicts: 831000 | #Constraints: 42155
1496.05/1500.71 c #Conflicts: 832000 | #Constraints: 43155
1496.05/1500.71 c #Conflicts: 833000 | #Constraints: 44155
1496.05/1500.71 c #Conflicts: 834000 | #Constraints: 45155
1496.05/1500.71 c #Conflicts: 835000 | #Constraints: 46155
1496.05/1500.71 c #Conflicts: 836000 | #Constraints: 47155
1496.05/1500.71 c #Conflicts: 837000 | #Constraints: 48155
1496.05/1500.71 c #Conflicts: 838000 | #Constraints: 49155
1496.05/1500.71 c #Conflicts: 839000 | #Constraints: 50155
1496.05/1500.71 c #Conflicts: 840000 | #Constraints: 51155
1496.05/1500.71 c #Conflicts: 841000 | #Constraints: 52155
1496.05/1500.71 c #Conflicts: 842000 | #Constraints: 53155
1496.05/1500.71 c #Conflicts: 843000 | #Constraints: 54155
1496.05/1500.71 c #Conflicts: 844000 | #Constraints: 55155
1496.05/1500.71 c #Conflicts: 845000 | #Constraints: 56155
1496.05/1500.71 c #Conflicts: 846000 | #Constraints: 57155
1496.05/1500.71 c INPROCESSING
1496.05/1500.71 c GARBAGE COLLECT
1496.05/1500.71 c #Conflicts: 847000 | #Constraints: 39952
1496.05/1500.71 c #Conflicts: 848000 | #Constraints: 40952
1496.05/1500.71 c #Conflicts: 849000 | #Constraints: 41952
1496.05/1500.71 c #Conflicts: 850000 | #Constraints: 42952
1496.05/1500.71 c #Conflicts: 851000 | #Constraints: 43952
1496.05/1500.71 c #Conflicts: 852000 | #Constraints: 44952
1496.05/1500.71 c #Conflicts: 853000 | #Constraints: 45952
1496.05/1500.71 c #Conflicts: 854000 | #Constraints: 46952
1496.05/1500.71 c #Conflicts: 855000 | #Constraints: 47952
1496.05/1500.71 c #Conflicts: 856000 | #Constraints: 48952
1496.05/1500.71 c #Conflicts: 857000 | #Constraints: 49952
1496.05/1500.71 c #Conflicts: 858000 | #Constraints: 50952
1496.05/1500.71 c #Conflicts: 859000 | #Constraints: 51952
1496.05/1500.71 c #Conflicts: 860000 | #Constraints: 52952
1496.05/1500.71 c #Conflicts: 861000 | #Constraints: 53952
1496.05/1500.71 c #Conflicts: 862000 | #Constraints: 54952
1496.05/1500.71 c #Conflicts: 863000 | #Constraints: 55952
1496.05/1500.71 c #Conflicts: 864000 | #Constraints: 56952
1496.05/1500.71 c #Conflicts: 865000 | #Constraints: 57952
1496.05/1500.71 c INPROCESSING
1496.05/1500.71 c GARBAGE COLLECT
1496.05/1500.71 c #Conflicts: 866000 | #Constraints: 40543
1496.05/1500.71 c #Conflicts: 867000 | #Constraints: 41543
1496.05/1500.71 c #Conflicts: 868000 | #Constraints: 42543
1496.05/1500.71 c #Conflicts: 869000 | #Constraints: 43543
1496.05/1500.71 c #Conflicts: 870000 | #Constraints: 44543
1496.05/1500.71 c #Conflicts: 871000 | #Constraints: 45543
1496.05/1500.71 c #Conflicts: 872000 | #Constraints: 46543
1496.05/1500.71 c #Conflicts: 873000 | #Constraints: 47543
1496.05/1500.71 c #Conflicts: 874000 | #Constraints: 48543
1496.05/1500.71 c #Conflicts: 875000 | #Constraints: 49543
1496.05/1500.71 c #Conflicts: 876000 | #Constraints: 50543
1496.05/1500.71 c #Conflicts: 877000 | #Constraints: 51543
1496.05/1500.71 c #Conflicts: 878000 | #Constraints: 52543
1496.05/1500.71 c #Conflicts: 879000 | #Constraints: 53543
1496.05/1500.71 c #Conflicts: 880000 | #Constraints: 54543
1496.05/1500.71 c #Conflicts: 881000 | #Constraints: 55543
1496.05/1500.71 c #Conflicts: 882000 | #Constraints: 56543
1496.05/1500.71 c #Conflicts: 883000 | #Constraints: 57543
1496.05/1500.71 c #Conflicts: 884000 | #Constraints: 58543
1496.05/1500.71 c INPROCESSING
1496.05/1500.71 c GARBAGE COLLECT
1496.05/1500.71 c #Conflicts: 885000 | #Constraints: 40950
1496.05/1500.71 c #Conflicts: 886000 | #Constraints: 41950
1496.05/1500.71 c #Conflicts: 887000 | #Constraints: 42950
1496.05/1500.71 c #Conflicts: 888000 | #Constraints: 43950
1496.05/1500.71 c #Conflicts: 889000 | #Constraints: 44950
1629.84/1634.91 c #Conflicts: 890000 | #Constraints: 45950
1629.84/1634.91 c #Conflicts: 891000 | #Constraints: 46950
1629.84/1634.91 c #Conflicts: 892000 | #Constraints: 47950
1629.84/1634.91 c #Conflicts: 893000 | #Constraints: 48950
1629.84/1634.91 c #Conflicts: 894000 | #Constraints: 49950
1629.84/1634.91 c #Conflicts: 895000 | #Constraints: 50950
1629.84/1634.91 c #Conflicts: 896000 | #Constraints: 51950
1629.84/1634.91 c #Conflicts: 897000 | #Constraints: 52950
1629.84/1634.91 c #Conflicts: 898000 | #Constraints: 53950
1629.84/1634.91 c #Conflicts: 899000 | #Constraints: 54950
1629.84/1634.91 c #Conflicts: 900000 | #Constraints: 55950
1629.84/1634.91 c #Conflicts: 901000 | #Constraints: 56950
1629.84/1634.91 c #Conflicts: 902000 | #Constraints: 57950
1629.84/1634.91 c #Conflicts: 903000 | #Constraints: 58950
1629.84/1634.91 c INPROCESSING
1629.84/1634.91 c GARBAGE COLLECT
1629.84/1634.91 c #Conflicts: 904000 | #Constraints: 41151
1629.84/1634.91 c #Conflicts: 905000 | #Constraints: 42151
1629.84/1634.91 c #Conflicts: 906000 | #Constraints: 43151
1629.84/1634.91 c #Conflicts: 907000 | #Constraints: 44151
1629.84/1634.91 c #Conflicts: 908000 | #Constraints: 45151
1629.84/1634.91 c #Conflicts: 909000 | #Constraints: 46151
1629.84/1634.91 c #Conflicts: 910000 | #Constraints: 47151
1629.84/1634.91 c #Conflicts: 911000 | #Constraints: 48151
1629.84/1634.91 c #Conflicts: 912000 | #Constraints: 49151
1629.84/1634.91 c #Conflicts: 913000 | #Constraints: 50151
1629.84/1634.91 c #Conflicts: 914000 | #Constraints: 51151
1629.84/1634.91 c #Conflicts: 915000 | #Constraints: 52151
1629.84/1634.91 c #Conflicts: 916000 | #Constraints: 53151
1629.84/1634.91 c #Conflicts: 917000 | #Constraints: 54151
1629.84/1634.91 c #Conflicts: 918000 | #Constraints: 55151
1629.84/1634.91 c #Conflicts: 919000 | #Constraints: 56151
1629.84/1634.91 c #Conflicts: 920000 | #Constraints: 57151
1629.84/1634.91 c #Conflicts: 921000 | #Constraints: 58151
1629.84/1634.91 c #Conflicts: 922000 | #Constraints: 59151
1629.84/1634.91 c INPROCESSING
1629.84/1634.91 c GARBAGE COLLECT
1629.84/1634.91 c #Conflicts: 923000 | #Constraints: 41149
1629.84/1634.91 c #Conflicts: 924000 | #Constraints: 42149
1629.84/1634.91 c #Conflicts: 925000 | #Constraints: 43149
1629.84/1634.91 c #Conflicts: 926000 | #Constraints: 44149
1629.84/1634.91 c #Conflicts: 927000 | #Constraints: 45149
1629.84/1634.91 c #Conflicts: 928000 | #Constraints: 46149
1629.84/1634.91 c #Conflicts: 929000 | #Constraints: 47149
1629.84/1634.91 c #Conflicts: 930000 | #Constraints: 48149
1629.84/1634.91 c #Conflicts: 931000 | #Constraints: 49149
1629.84/1634.91 c #Conflicts: 932000 | #Constraints: 50149
1629.84/1634.91 c #Conflicts: 933000 | #Constraints: 51149
1629.84/1634.91 c #Conflicts: 934000 | #Constraints: 52149
1629.84/1634.91 c #Conflicts: 935000 | #Constraints: 53149
1629.84/1634.91 c #Conflicts: 936000 | #Constraints: 54149
1629.84/1634.91 c #Conflicts: 937000 | #Constraints: 55149
1629.84/1634.91 c #Conflicts: 938000 | #Constraints: 56149
1629.84/1634.91 c #Conflicts: 939000 | #Constraints: 57149
1629.84/1634.91 c #Conflicts: 940000 | #Constraints: 58149
1629.84/1634.91 c #Conflicts: 941000 | #Constraints: 59149
1629.84/1634.91 c INPROCESSING
1629.84/1634.91 c GARBAGE COLLECT
1629.84/1634.91 c #Conflicts: 942000 | #Constraints: 40940
1629.84/1634.91 c #Conflicts: 943000 | #Constraints: 41940
1629.84/1634.91 c #Conflicts: 944000 | #Constraints: 42940
1629.84/1634.91 c #Conflicts: 945000 | #Constraints: 43940
1629.84/1634.91 c #Conflicts: 946000 | #Constraints: 44940
1629.84/1634.91 c #Conflicts: 947000 | #Constraints: 45940
1629.84/1634.91 c #Conflicts: 948000 | #Constraints: 46940
1629.84/1634.91 c #Conflicts: 949000 | #Constraints: 47940
1629.84/1634.91 c #Conflicts: 950000 | #Constraints: 48940
1629.84/1634.91 c #Conflicts: 951000 | #Constraints: 49940
1629.84/1634.91 c #Conflicts: 952000 | #Constraints: 50940
1629.84/1634.91 c #Conflicts: 953000 | #Constraints: 51940
1629.84/1634.91 c #Conflicts: 954000 | #Constraints: 52940
1629.84/1634.91 c #Conflicts: 955000 | #Constraints: 53940
1629.84/1634.91 c #Conflicts: 956000 | #Constraints: 54940
1629.84/1634.91 c #Conflicts: 957000 | #Constraints: 55940
1629.84/1634.91 c #Conflicts: 958000 | #Constraints: 56940
1629.84/1634.91 c #Conflicts: 959000 | #Constraints: 57940
1629.84/1634.91 c #Conflicts: 960000 | #Constraints: 58940
1629.84/1634.91 c #Conflicts: 961000 | #Constraints: 59940
1629.84/1634.91 c INPROCESSING
1629.84/1634.91 c GARBAGE COLLECT
1629.84/1634.91 c #Conflicts: 962000 | #Constraints: 41543
1629.84/1634.91 c #Conflicts: 963000 | #Constraints: 42543
1629.84/1634.91 c #Conflicts: 964000 | #Constraints: 43543
1629.84/1634.91 c #Conflicts: 965000 | #Constraints: 44543
1800.41/1806.05 c #Conflicts: 966000 | #Constraints: 45543
1800.41/1806.05 c #Conflicts: 967000 | #Constraints: 46543
1800.41/1806.05 c #Conflicts: 968000 | #Constraints: 47543
1800.41/1806.05 c #Conflicts: 969000 | #Constraints: 48543
1800.41/1806.05 c #Conflicts: 970000 | #Constraints: 49543
1800.41/1806.05 c #Conflicts: 971000 | #Constraints: 50543
1800.41/1806.05 c #Conflicts: 972000 | #Constraints: 51543
1800.41/1806.05 c #Conflicts: 973000 | #Constraints: 52543
1800.41/1806.05 c #Conflicts: 974000 | #Constraints: 53543
1800.41/1806.05 c #Conflicts: 975000 | #Constraints: 54543
1800.41/1806.05 c #Conflicts: 976000 | #Constraints: 55543
1800.41/1806.05 c #Conflicts: 977000 | #Constraints: 56543
1800.41/1806.05 c #Conflicts: 978000 | #Constraints: 57543
1800.41/1806.05 c #Conflicts: 979000 | #Constraints: 58543
1800.41/1806.05 c #Conflicts: 980000 | #Constraints: 59543
1800.41/1806.05 c #Conflicts: 981000 | #Constraints: 60543
1800.41/1806.05 c INPROCESSING
1800.41/1806.05 c GARBAGE COLLECT
1800.41/1806.05 c #Conflicts: 982000 | #Constraints: 41950
1800.41/1806.05 c #Conflicts: 983000 | #Constraints: 42950
1800.41/1806.05 c #Conflicts: 984000 | #Constraints: 43950
1800.41/1806.05 c #Conflicts: 985000 | #Constraints: 44950
1800.41/1806.05 c #Conflicts: 986000 | #Constraints: 45950
1800.41/1806.05 c #Conflicts: 987000 | #Constraints: 46950
1800.41/1806.05 c #Conflicts: 988000 | #Constraints: 47950
1800.41/1806.05 c #Conflicts: 989000 | #Constraints: 48950
1800.41/1806.05 c #Conflicts: 990000 | #Constraints: 49950
1800.41/1806.05 c #Conflicts: 991000 | #Constraints: 50950
1800.41/1806.05 c #Conflicts: 992000 | #Constraints: 51950
1800.41/1806.05 c #Conflicts: 993000 | #Constraints: 52950
1800.41/1806.05 c #Conflicts: 994000 | #Constraints: 53950
1800.41/1806.05 c #Conflicts: 995000 | #Constraints: 54950
1800.41/1806.05 c #Conflicts: 996000 | #Constraints: 55950
1800.41/1806.05 c #Conflicts: 997000 | #Constraints: 56950
1800.41/1806.05 c #Conflicts: 998000 | #Constraints: 57950
1800.41/1806.05 c #Conflicts: 999000 | #Constraints: 58950
1800.41/1806.05 c #Conflicts: 1000000 | #Constraints: 59950
1800.41/1806.05 c #Conflicts: 1001000 | #Constraints: 60950
1800.41/1806.05 c INPROCESSING
1800.41/1806.05 c GARBAGE COLLECT
1800.41/1806.05 c #Conflicts: 1002000 | #Constraints: 42154
1800.41/1806.05 c #Conflicts: 1003000 | #Constraints: 43154
1800.41/1806.05 c #Conflicts: 1004000 | #Constraints: 44154
1800.41/1806.05 c #Conflicts: 1005000 | #Constraints: 45154
1800.41/1806.05 c #Conflicts: 1006000 | #Constraints: 46154
1800.41/1806.05 c #Conflicts: 1007000 | #Constraints: 47154
1800.41/1806.05 c #Conflicts: 1008000 | #Constraints: 48154
1800.41/1806.05 c #Conflicts: 1009000 | #Constraints: 49154
1800.41/1806.05 c #Conflicts: 1010000 | #Constraints: 50154
1800.41/1806.05 c #Conflicts: 1011000 | #Constraints: 51154
1800.41/1806.05 c #Conflicts: 1012000 | #Constraints: 52154
1800.41/1806.05 c #Conflicts: 1013000 | #Constraints: 53154
1800.41/1806.05 c #Conflicts: 1014000 | #Constraints: 54154
1800.41/1806.05 c #Conflicts: 1015000 | #Constraints: 55154
1800.41/1806.05 c #Conflicts: 1016000 | #Constraints: 56154
1800.41/1806.05 c #Conflicts: 1017000 | #Constraints: 57154
1800.41/1806.05 c #Conflicts: 1018000 | #Constraints: 58154
1800.41/1806.05 c #Conflicts: 1019000 | #Constraints: 59154
1800.41/1806.05 c #Conflicts: 1020000 | #Constraints: 60154
1800.41/1806.05 c #Conflicts: 1021000 | #Constraints: 61154
1800.41/1806.05 c INPROCESSING
1800.41/1806.05 c GARBAGE COLLECT
1800.41/1806.05 c #Conflicts: 1022000 | #Constraints: 42142
1800.41/1806.05 c #Conflicts: 1023000 | #Constraints: 43142
1800.41/1806.05 c #Conflicts: 1024000 | #Constraints: 44142
1800.41/1806.05 c #Conflicts: 1025000 | #Constraints: 45142
1800.41/1806.05 c #Conflicts: 1026000 | #Constraints: 46142
1800.41/1806.05 c #Conflicts: 1027000 | #Constraints: 47142
1800.41/1806.05 c #Conflicts: 1028000 | #Constraints: 48142
1800.41/1806.05 c #Conflicts: 1029000 | #Constraints: 49142
1800.41/1806.05 c #Conflicts: 1030000 | #Constraints: 50142
1800.41/1806.05 c #Conflicts: 1031000 | #Constraints: 51142
1800.41/1806.05 c #Conflicts: 1032000 | #Constraints: 52142
1800.41/1806.05 c #Conflicts: 1033000 | #Constraints: 53142
1800.41/1806.05 c #Conflicts: 1034000 | #Constraints: 54142
1800.41/1806.05 c #Conflicts: 1035000 | #Constraints: 55142
1800.41/1806.05 c #Conflicts: 1036000 | #Constraints: 56142
1800.41/1806.05 c #Conflicts: 1037000 | #Constraints: 57142
1800.41/1806.05 c #Conflicts: 1038000 | #Constraints: 58142
1800.41/1806.05 c #Conflicts: 1039000 | #Constraints: 59142
1800.41/1806.05 c #Conflicts: 1040000 | #Constraints: 60142
1800.41/1806.05 c #Conflicts: 1041000 | #Constraints: 61142
1800.41/1806.05 c INPROCESSING
1800.41/1806.05 c GARBAGE COLLECT
1993.68/1999.99 c #Conflicts: 1042000 | #Constraints: 41934
1993.68/1999.99 c #Conflicts: 1043000 | #Constraints: 42934
1993.68/1999.99 c #Conflicts: 1044000 | #Constraints: 43934
1993.68/1999.99 c #Conflicts: 1045000 | #Constraints: 44934
1993.68/1999.99 c #Conflicts: 1046000 | #Constraints: 45934
1993.68/1999.99 c #Conflicts: 1047000 | #Constraints: 46934
1993.68/1999.99 c #Conflicts: 1048000 | #Constraints: 47934
1993.68/1999.99 c #Conflicts: 1049000 | #Constraints: 48934
1993.68/1999.99 c #Conflicts: 1050000 | #Constraints: 49934
1993.68/1999.99 c #Conflicts: 1051000 | #Constraints: 50934
1993.68/1999.99 c #Conflicts: 1052000 | #Constraints: 51934
1993.68/1999.99 c #Conflicts: 1053000 | #Constraints: 52934
1993.68/1999.99 c #Conflicts: 1054000 | #Constraints: 53934
1993.68/1999.99 c #Conflicts: 1055000 | #Constraints: 54934
1993.68/1999.99 c #Conflicts: 1056000 | #Constraints: 55934
1993.68/1999.99 c #Conflicts: 1057000 | #Constraints: 56934
1993.68/1999.99 c #Conflicts: 1058000 | #Constraints: 57934
1993.68/1999.99 c #Conflicts: 1059000 | #Constraints: 58934
1993.68/1999.99 c #Conflicts: 1060000 | #Constraints: 59934
1993.68/1999.99 c #Conflicts: 1061000 | #Constraints: 60934
1993.68/1999.99 c #Conflicts: 1062000 | #Constraints: 61934
1993.68/1999.99 c INPROCESSING
1993.68/1999.99 c GARBAGE COLLECT
1993.68/1999.99 c #Conflicts: 1063000 | #Constraints: 42537
1993.68/1999.99 c #Conflicts: 1064000 | #Constraints: 43537
1993.68/1999.99 c #Conflicts: 1065000 | #Constraints: 44537
1993.68/1999.99 c #Conflicts: 1066000 | #Constraints: 45537
1993.68/1999.99 c #Conflicts: 1067000 | #Constraints: 46537
1993.68/1999.99 c #Conflicts: 1068000 | #Constraints: 47537
1993.68/1999.99 c #Conflicts: 1069000 | #Constraints: 48537
1993.68/1999.99 c #Conflicts: 1070000 | #Constraints: 49537
1993.68/1999.99 c #Conflicts: 1071000 | #Constraints: 50537
1993.68/1999.99 c #Conflicts: 1072000 | #Constraints: 51537
1993.68/1999.99 c #Conflicts: 1073000 | #Constraints: 52537
1993.68/1999.99 c #Conflicts: 1074000 | #Constraints: 53537
1993.68/1999.99 c #Conflicts: 1075000 | #Constraints: 54537
1993.68/1999.99 c #Conflicts: 1076000 | #Constraints: 55537
1993.68/1999.99 c #Conflicts: 1077000 | #Constraints: 56537
1993.68/1999.99 c #Conflicts: 1078000 | #Constraints: 57537
1993.68/1999.99 c #Conflicts: 1079000 | #Constraints: 58537
1993.68/1999.99 c #Conflicts: 1080000 | #Constraints: 59537
1993.68/1999.99 c #Conflicts: 1081000 | #Constraints: 60537
1993.68/1999.99 c #Conflicts: 1082000 | #Constraints: 61537
1993.68/1999.99 c #Conflicts: 1083000 | #Constraints: 62537
1993.68/1999.99 c INPROCESSING
1993.68/1999.99 c GARBAGE COLLECT
1993.68/1999.99 c #Conflicts: 1084000 | #Constraints: 42940
1993.68/1999.99 c #Conflicts: 1085000 | #Constraints: 43940
1993.68/1999.99 c #Conflicts: 1086000 | #Constraints: 44940
1993.68/1999.99 c #Conflicts: 1087000 | #Constraints: 45940
1993.68/1999.99 c #Conflicts: 1088000 | #Constraints: 46940
1993.68/1999.99 c #Conflicts: 1089000 | #Constraints: 47940
1993.68/1999.99 c #Conflicts: 1090000 | #Constraints: 48940
1993.68/1999.99 c #Conflicts: 1091000 | #Constraints: 49940
1993.68/1999.99 c #Conflicts: 1092000 | #Constraints: 50940
1993.68/1999.99 c #Conflicts: 1093000 | #Constraints: 51940
1993.68/1999.99 c #Conflicts: 1094000 | #Constraints: 52940
1993.68/1999.99 c #Conflicts: 1095000 | #Constraints: 53940
1993.68/1999.99 c #Conflicts: 1096000 | #Constraints: 54940
1993.68/1999.99 c #Conflicts: 1097000 | #Constraints: 55940
1993.68/1999.99 c #Conflicts: 1098000 | #Constraints: 56940
1993.68/1999.99 c #Conflicts: 1099000 | #Constraints: 57940
1993.68/1999.99 c #Conflicts: 1100000 | #Constraints: 58940
1993.68/1999.99 c #Conflicts: 1101000 | #Constraints: 59940
1993.68/1999.99 c #Conflicts: 1102000 | #Constraints: 60940
1993.68/1999.99 c #Conflicts: 1103000 | #Constraints: 61940
1993.68/1999.99 c #Conflicts: 1104000 | #Constraints: 62940
1993.68/1999.99 c INPROCESSING
1993.68/1999.99 c GARBAGE COLLECT
1993.68/1999.99 c #Conflicts: 1105000 | #Constraints: 43136
1993.68/1999.99 c #Conflicts: 1106000 | #Constraints: 44136
1993.68/1999.99 c #Conflicts: 1107000 | #Constraints: 45136
1993.68/1999.99 c #Conflicts: 1108000 | #Constraints: 46136
1993.68/1999.99 c #Conflicts: 1109000 | #Constraints: 47136
1993.68/1999.99 c #Conflicts: 1110000 | #Constraints: 48136
1993.68/1999.99 c #Conflicts: 1111000 | #Constraints: 49136
1993.68/1999.99 c #Conflicts: 1112000 | #Constraints: 50136
1993.68/1999.99 c #Conflicts: 1113000 | #Constraints: 51136
1993.68/1999.99 c #Conflicts: 1114000 | #Constraints: 52136
1993.68/1999.99 c #Conflicts: 1115000 | #Constraints: 53136
1993.68/1999.99 c #Conflicts: 1116000 | #Constraints: 54136
1993.68/1999.99 c #Conflicts: 1117000 | #Constraints: 55136
1993.68/1999.99 c #Conflicts: 1118000 | #Constraints: 56136
2140.92/2147.64 c #Conflicts: 1119000 | #Constraints: 57136
2140.92/2147.64 c #Conflicts: 1120000 | #Constraints: 58136
2140.92/2147.64 c #Conflicts: 1121000 | #Constraints: 59136
2140.92/2147.64 c #Conflicts: 1122000 | #Constraints: 60136
2140.92/2147.64 c #Conflicts: 1123000 | #Constraints: 61136
2140.92/2147.64 c #Conflicts: 1124000 | #Constraints: 62136
2140.92/2147.64 c #Conflicts: 1125000 | #Constraints: 63136
2140.92/2147.64 c INPROCESSING
2140.92/2147.64 c GARBAGE COLLECT
2140.92/2147.64 c #Conflicts: 1126000 | #Constraints: 43149
2140.92/2147.64 c #Conflicts: 1127000 | #Constraints: 44149
2140.92/2147.64 c #Conflicts: 1128000 | #Constraints: 45149
2140.92/2147.64 c #Conflicts: 1129000 | #Constraints: 46149
2140.92/2147.64 c #Conflicts: 1130000 | #Constraints: 47149
2140.92/2147.64 c #Conflicts: 1131000 | #Constraints: 48149
2140.92/2147.64 c #Conflicts: 1132000 | #Constraints: 49149
2140.92/2147.64 c #Conflicts: 1133000 | #Constraints: 50149
2140.92/2147.64 c #Conflicts: 1134000 | #Constraints: 51149
2140.92/2147.64 c #Conflicts: 1135000 | #Constraints: 52149
2140.92/2147.64 c #Conflicts: 1136000 | #Constraints: 53149
2140.92/2147.64 c #Conflicts: 1137000 | #Constraints: 54149
2140.92/2147.64 c #Conflicts: 1138000 | #Constraints: 55149
2140.92/2147.64 c #Conflicts: 1139000 | #Constraints: 56149
2140.92/2147.64 c #Conflicts: 1140000 | #Constraints: 57149
2140.92/2147.64 c #Conflicts: 1141000 | #Constraints: 58149
2140.92/2147.64 c #Conflicts: 1142000 | #Constraints: 59149
2140.92/2147.64 c #Conflicts: 1143000 | #Constraints: 60149
2140.92/2147.64 c #Conflicts: 1144000 | #Constraints: 61149
2140.92/2147.64 c #Conflicts: 1145000 | #Constraints: 62149
2140.92/2147.64 c #Conflicts: 1146000 | #Constraints: 63149
2140.92/2147.64 c INPROCESSING
2140.92/2147.64 c GARBAGE COLLECT
2140.92/2147.64 c #Conflicts: 1147000 | #Constraints: 42951
2140.92/2147.64 c #Conflicts: 1148000 | #Constraints: 43951
2140.92/2147.64 c #Conflicts: 1149000 | #Constraints: 44951
2140.92/2147.64 c #Conflicts: 1150000 | #Constraints: 45951
2140.92/2147.64 c #Conflicts: 1151000 | #Constraints: 46951
2140.92/2147.64 c #Conflicts: 1152000 | #Constraints: 47951
2140.92/2147.64 c #Conflicts: 1153000 | #Constraints: 48951
2140.92/2147.64 c #Conflicts: 1154000 | #Constraints: 49951
2140.92/2147.64 c #Conflicts: 1155000 | #Constraints: 50951
2140.92/2147.64 c #Conflicts: 1156000 | #Constraints: 51951
2140.92/2147.64 c #Conflicts: 1157000 | #Constraints: 52951
2140.92/2147.64 c #Conflicts: 1158000 | #Constraints: 53951
2140.92/2147.64 c #Conflicts: 1159000 | #Constraints: 54951
2140.92/2147.64 c #Conflicts: 1160000 | #Constraints: 55951
2140.92/2147.64 c #Conflicts: 1161000 | #Constraints: 56951
2140.92/2147.64 c #Conflicts: 1162000 | #Constraints: 57951
2140.92/2147.64 c #Conflicts: 1163000 | #Constraints: 58951
2140.92/2147.64 c #Conflicts: 1164000 | #Constraints: 59951
2140.92/2147.64 c #Conflicts: 1165000 | #Constraints: 60951
2140.92/2147.64 c #Conflicts: 1166000 | #Constraints: 61951
2140.92/2147.64 c #Conflicts: 1167000 | #Constraints: 62951
2140.92/2147.64 c #Conflicts: 1168000 | #Constraints: 63951
2140.92/2147.64 c INPROCESSING
2140.92/2147.64 c GARBAGE COLLECT
2140.92/2147.64 c #Conflicts: 1169000 | #Constraints: 43554
2140.92/2147.64 c #Conflicts: 1170000 | #Constraints: 44554
2140.92/2147.64 c #Conflicts: 1171000 | #Constraints: 45554
2140.92/2147.64 c #Conflicts: 1172000 | #Constraints: 46554
2140.92/2147.64 c #Conflicts: 1173000 | #Constraints: 47554
2140.92/2147.64 c #Conflicts: 1174000 | #Constraints: 48554
2140.92/2147.64 c #Conflicts: 1175000 | #Constraints: 49554
2140.92/2147.64 c #Conflicts: 1176000 | #Constraints: 50554
2140.92/2147.64 c #Conflicts: 1177000 | #Constraints: 51554
2140.92/2147.64 c #Conflicts: 1178000 | #Constraints: 52554
2140.92/2147.64 c #Conflicts: 1179000 | #Constraints: 53554
2140.92/2147.64 c #Conflicts: 1180000 | #Constraints: 54554
2140.92/2147.64 c #Conflicts: 1181000 | #Constraints: 55554
2140.92/2147.64 c #Conflicts: 1182000 | #Constraints: 56554
2140.92/2147.64 c #Conflicts: 1183000 | #Constraints: 57554
2140.92/2147.64 c #Conflicts: 1184000 | #Constraints: 58554
2140.92/2147.64 c #Conflicts: 1185000 | #Constraints: 59554
2140.92/2147.64 c #Conflicts: 1186000 | #Constraints: 60554
2140.92/2147.64 c #Conflicts: 1187000 | #Constraints: 61554
2140.92/2147.64 c #Conflicts: 1188000 | #Constraints: 62554
2140.92/2147.64 c #Conflicts: 1189000 | #Constraints: 63554
2140.92/2147.64 c #Conflicts: 1190000 | #Constraints: 64554
2140.92/2147.64 c INPROCESSING
2140.92/2147.64 c GARBAGE COLLECT
2140.92/2147.64 c #Conflicts: 1191000 | #Constraints: 43952
2140.92/2147.64 c #Conflicts: 1192000 | #Constraints: 44952
2140.92/2147.64 c #Conflicts: 1193000 | #Constraints: 45952
2140.92/2147.64 c #Conflicts: 1194000 | #Constraints: 46952
2285.87/2293.07 c #Conflicts: 1195000 | #Constraints: 47952
2285.87/2293.07 c #Conflicts: 1196000 | #Constraints: 48952
2285.87/2293.07 c #Conflicts: 1197000 | #Constraints: 49952
2285.87/2293.07 c #Conflicts: 1198000 | #Constraints: 50952
2285.87/2293.07 c #Conflicts: 1199000 | #Constraints: 51952
2285.87/2293.07 c #Conflicts: 1200000 | #Constraints: 52952
2285.87/2293.07 c #Conflicts: 1201000 | #Constraints: 53952
2285.87/2293.07 c #Conflicts: 1202000 | #Constraints: 54952
2285.87/2293.07 c #Conflicts: 1203000 | #Constraints: 55952
2285.87/2293.07 c #Conflicts: 1204000 | #Constraints: 56952
2285.87/2293.07 c #Conflicts: 1205000 | #Constraints: 57952
2285.87/2293.07 c #Conflicts: 1206000 | #Constraints: 58952
2285.87/2293.07 c #Conflicts: 1207000 | #Constraints: 59952
2285.87/2293.07 c #Conflicts: 1208000 | #Constraints: 60952
2285.87/2293.07 c #Conflicts: 1209000 | #Constraints: 61952
2285.87/2293.07 c #Conflicts: 1210000 | #Constraints: 62952
2285.87/2293.07 c #Conflicts: 1211000 | #Constraints: 63952
2285.87/2293.07 c #Conflicts: 1212000 | #Constraints: 64952
2285.87/2293.07 c INPROCESSING
2285.87/2293.07 c GARBAGE COLLECT
2285.87/2293.07 c #Conflicts: 1213000 | #Constraints: 44159
2285.87/2293.07 c #Conflicts: 1214000 | #Constraints: 45159
2285.87/2293.07 c #Conflicts: 1215000 | #Constraints: 46159
2285.87/2293.07 c #Conflicts: 1216000 | #Constraints: 47159
2285.87/2293.07 c #Conflicts: 1217000 | #Constraints: 48159
2285.87/2293.07 c #Conflicts: 1218000 | #Constraints: 49159
2285.87/2293.07 c #Conflicts: 1219000 | #Constraints: 50159
2285.87/2293.07 c #Conflicts: 1220000 | #Constraints: 51159
2285.87/2293.07 c #Conflicts: 1221000 | #Constraints: 52159
2285.87/2293.07 c #Conflicts: 1222000 | #Constraints: 53159
2285.87/2293.07 c #Conflicts: 1223000 | #Constraints: 54159
2285.87/2293.07 c #Conflicts: 1224000 | #Constraints: 55159
2285.87/2293.07 c #Conflicts: 1225000 | #Constraints: 56159
2285.87/2293.07 c #Conflicts: 1226000 | #Constraints: 57159
2285.87/2293.07 c #Conflicts: 1227000 | #Constraints: 58159
2285.87/2293.07 c #Conflicts: 1228000 | #Constraints: 59159
2285.87/2293.07 c #Conflicts: 1229000 | #Constraints: 60159
2285.87/2293.07 c #Conflicts: 1230000 | #Constraints: 61159
2285.87/2293.07 c #Conflicts: 1231000 | #Constraints: 62159
2285.87/2293.07 c #Conflicts: 1232000 | #Constraints: 63159
2285.87/2293.07 c #Conflicts: 1233000 | #Constraints: 64159
2285.87/2293.07 c #Conflicts: 1234000 | #Constraints: 65159
2285.87/2293.07 c INPROCESSING
2285.87/2293.07 c GARBAGE COLLECT
2285.87/2293.07 c #Conflicts: 1235000 | #Constraints: 44158
2285.87/2293.07 c #Conflicts: 1236000 | #Constraints: 45158
2285.87/2293.07 c #Conflicts: 1237000 | #Constraints: 46158
2285.87/2293.07 c #Conflicts: 1238000 | #Constraints: 47158
2285.87/2293.07 c #Conflicts: 1239000 | #Constraints: 48158
2285.87/2293.07 c #Conflicts: 1240000 | #Constraints: 49158
2285.87/2293.07 c #Conflicts: 1241000 | #Constraints: 50158
2285.87/2293.07 c #Conflicts: 1242000 | #Constraints: 51158
2285.87/2293.07 c #Conflicts: 1243000 | #Constraints: 52158
2285.87/2293.07 c #Conflicts: 1244000 | #Constraints: 53158
2285.87/2293.07 c #Conflicts: 1245000 | #Constraints: 54158
2285.87/2293.07 c #Conflicts: 1246000 | #Constraints: 55158
2285.87/2293.07 c #Conflicts: 1247000 | #Constraints: 56158
2285.87/2293.07 c #Conflicts: 1248000 | #Constraints: 57158
2285.87/2293.07 c #Conflicts: 1249000 | #Constraints: 58158
2285.87/2293.07 c #Conflicts: 1250000 | #Constraints: 59158
2285.87/2293.07 c #Conflicts: 1251000 | #Constraints: 60158
2285.87/2293.07 c #Conflicts: 1252000 | #Constraints: 61158
2285.87/2293.07 c #Conflicts: 1253000 | #Constraints: 62158
2285.87/2293.07 c #Conflicts: 1254000 | #Constraints: 63158
2285.87/2293.07 c #Conflicts: 1255000 | #Constraints: 64158
2285.87/2293.07 c #Conflicts: 1256000 | #Constraints: 65158
2285.87/2293.07 c INPROCESSING
2285.87/2293.07 c GARBAGE COLLECT
2285.87/2293.07 c #Conflicts: 1257000 | #Constraints: 43947
2285.87/2293.07 c #Conflicts: 1258000 | #Constraints: 44947
2285.87/2293.07 c #Conflicts: 1259000 | #Constraints: 45947
2285.87/2293.07 c #Conflicts: 1260000 | #Constraints: 46947
2285.87/2293.07 c #Conflicts: 1261000 | #Constraints: 47947
2285.87/2293.07 c #Conflicts: 1262000 | #Constraints: 48947
2285.87/2293.07 c #Conflicts: 1263000 | #Constraints: 49947
2285.87/2293.07 c #Conflicts: 1264000 | #Constraints: 50947
2285.87/2293.07 c #Conflicts: 1265000 | #Constraints: 51947
2285.87/2293.07 c #Conflicts: 1266000 | #Constraints: 52947
2285.87/2293.07 c #Conflicts: 1267000 | #Constraints: 53947
2285.87/2293.07 c #Conflicts: 1268000 | #Constraints: 54947
2285.87/2293.07 c #Conflicts: 1269000 | #Constraints: 55947
2285.87/2293.07 c #Conflicts: 1270000 | #Constraints: 56947
2285.87/2293.07 c #Conflicts: 1271000 | #Constraints: 57947
2437.42/2445.09 c #Conflicts: 1272000 | #Constraints: 58947
2437.42/2445.09 c #Conflicts: 1273000 | #Constraints: 59947
2437.42/2445.09 c #Conflicts: 1274000 | #Constraints: 60947
2437.42/2445.09 c #Conflicts: 1275000 | #Constraints: 61947
2437.42/2445.09 c #Conflicts: 1276000 | #Constraints: 62947
2437.42/2445.09 c #Conflicts: 1277000 | #Constraints: 63947
2437.42/2445.09 c #Conflicts: 1278000 | #Constraints: 64947
2437.42/2445.09 c #Conflicts: 1279000 | #Constraints: 65947
2437.42/2445.09 c INPROCESSING
2437.42/2445.09 c GARBAGE COLLECT
2437.42/2445.09 c #Conflicts: 1280000 | #Constraints: 44559
2437.42/2445.09 c #Conflicts: 1281000 | #Constraints: 45559
2437.42/2445.09 c #Conflicts: 1282000 | #Constraints: 46559
2437.42/2445.09 c #Conflicts: 1283000 | #Constraints: 47559
2437.42/2445.09 c #Conflicts: 1284000 | #Constraints: 48559
2437.42/2445.09 c #Conflicts: 1285000 | #Constraints: 49559
2437.42/2445.09 c #Conflicts: 1286000 | #Constraints: 50559
2437.42/2445.09 c #Conflicts: 1287000 | #Constraints: 51559
2437.42/2445.09 c #Conflicts: 1288000 | #Constraints: 52559
2437.42/2445.09 c #Conflicts: 1289000 | #Constraints: 53559
2437.42/2445.09 c #Conflicts: 1290000 | #Constraints: 54559
2437.42/2445.09 c #Conflicts: 1291000 | #Constraints: 55559
2437.42/2445.09 c #Conflicts: 1292000 | #Constraints: 56559
2437.42/2445.09 c #Conflicts: 1293000 | #Constraints: 57559
2437.42/2445.09 c #Conflicts: 1294000 | #Constraints: 58559
2437.42/2445.09 c #Conflicts: 1295000 | #Constraints: 59559
2437.42/2445.09 c #Conflicts: 1296000 | #Constraints: 60559
2437.42/2445.09 c #Conflicts: 1297000 | #Constraints: 61559
2437.42/2445.09 c #Conflicts: 1298000 | #Constraints: 62559
2437.42/2445.09 c #Conflicts: 1299000 | #Constraints: 63559
2437.42/2445.09 c #Conflicts: 1300000 | #Constraints: 64559
2437.42/2445.09 c #Conflicts: 1301000 | #Constraints: 65559
2437.42/2445.09 c #Conflicts: 1302000 | #Constraints: 66559
2437.42/2445.09 c INPROCESSING
2437.42/2445.09 c GARBAGE COLLECT
2437.42/2445.09 c #Conflicts: 1303000 | #Constraints: 44961
2437.42/2445.09 c #Conflicts: 1304000 | #Constraints: 45961
2437.42/2445.09 c #Conflicts: 1305000 | #Constraints: 46961
2437.42/2445.09 c #Conflicts: 1306000 | #Constraints: 47961
2437.42/2445.09 c #Conflicts: 1307000 | #Constraints: 48961
2437.42/2445.09 c #Conflicts: 1308000 | #Constraints: 49961
2437.42/2445.09 c #Conflicts: 1309000 | #Constraints: 50961
2437.42/2445.09 c #Conflicts: 1310000 | #Constraints: 51961
2437.42/2445.09 c #Conflicts: 1311000 | #Constraints: 52961
2437.42/2445.09 c #Conflicts: 1312000 | #Constraints: 53961
2437.42/2445.09 c #Conflicts: 1313000 | #Constraints: 54961
2437.42/2445.09 c #Conflicts: 1314000 | #Constraints: 55961
2437.42/2445.09 c #Conflicts: 1315000 | #Constraints: 56961
2437.42/2445.09 c #Conflicts: 1316000 | #Constraints: 57961
2437.42/2445.09 c #Conflicts: 1317000 | #Constraints: 58961
2437.42/2445.09 c #Conflicts: 1318000 | #Constraints: 59961
2437.42/2445.09 c #Conflicts: 1319000 | #Constraints: 60961
2437.42/2445.09 c #Conflicts: 1320000 | #Constraints: 61961
2437.42/2445.09 c #Conflicts: 1321000 | #Constraints: 62961
2437.42/2445.09 c #Conflicts: 1322000 | #Constraints: 63961
2437.42/2445.09 c #Conflicts: 1323000 | #Constraints: 64961
2437.42/2445.09 c #Conflicts: 1324000 | #Constraints: 65961
2437.42/2445.09 c #Conflicts: 1325000 | #Constraints: 66961
2437.42/2445.09 c INPROCESSING
2437.42/2445.09 c GARBAGE COLLECT
2437.42/2445.09 c #Conflicts: 1326000 | #Constraints: 45160
2437.42/2445.09 c #Conflicts: 1327000 | #Constraints: 46160
2437.42/2445.09 c #Conflicts: 1328000 | #Constraints: 47160
2437.42/2445.09 c #Conflicts: 1329000 | #Constraints: 48160
2437.42/2445.09 c #Conflicts: 1330000 | #Constraints: 49160
2437.42/2445.09 c #Conflicts: 1331000 | #Constraints: 50160
2437.42/2445.09 c #Conflicts: 1332000 | #Constraints: 51160
2437.42/2445.09 c #Conflicts: 1333000 | #Constraints: 52160
2437.42/2445.09 c #Conflicts: 1334000 | #Constraints: 53160
2437.42/2445.09 c #Conflicts: 1335000 | #Constraints: 54160
2437.42/2445.09 c #Conflicts: 1336000 | #Constraints: 55160
2437.42/2445.09 c #Conflicts: 1337000 | #Constraints: 56160
2437.42/2445.09 c #Conflicts: 1338000 | #Constraints: 57160
2437.42/2445.09 c #Conflicts: 1339000 | #Constraints: 58160
2437.42/2445.09 c #Conflicts: 1340000 | #Constraints: 59160
2437.42/2445.09 c #Conflicts: 1341000 | #Constraints: 60160
2437.42/2445.09 c #Conflicts: 1342000 | #Constraints: 61160
2437.42/2445.09 c #Conflicts: 1343000 | #Constraints: 62160
2437.42/2445.09 c #Conflicts: 1344000 | #Constraints: 63160
2437.42/2445.09 c #Conflicts: 1345000 | #Constraints: 64160
2437.42/2445.09 c #Conflicts: 1346000 | #Constraints: 65160
2437.42/2445.09 c #Conflicts: 1347000 | #Constraints: 66160
2437.42/2445.09 c #Conflicts: 1348000 | #Constraints: 67160
2547.90/2555.81 c INPROCESSING
2547.90/2555.81 c GARBAGE COLLECT
2547.90/2555.81 c #Conflicts: 1349000 | #Constraints: 45164
2547.90/2555.81 c #Conflicts: 1350000 | #Constraints: 46164
2547.90/2555.81 c #Conflicts: 1351000 | #Constraints: 47164
2547.90/2555.81 c #Conflicts: 1352000 | #Constraints: 48164
2547.90/2555.81 c #Conflicts: 1353000 | #Constraints: 49164
2547.90/2555.81 c #Conflicts: 1354000 | #Constraints: 50164
2547.90/2555.81 c #Conflicts: 1355000 | #Constraints: 51164
2547.90/2555.81 c #Conflicts: 1356000 | #Constraints: 52164
2547.90/2555.81 c #Conflicts: 1357000 | #Constraints: 53164
2547.90/2555.81 c #Conflicts: 1358000 | #Constraints: 54164
2547.90/2555.81 c #Conflicts: 1359000 | #Constraints: 55164
2547.90/2555.81 c #Conflicts: 1360000 | #Constraints: 56164
2547.90/2555.81 c #Conflicts: 1361000 | #Constraints: 57164
2547.90/2555.81 c #Conflicts: 1362000 | #Constraints: 58164
2547.90/2555.81 c #Conflicts: 1363000 | #Constraints: 59164
2547.90/2555.81 c #Conflicts: 1364000 | #Constraints: 60164
2547.90/2555.81 c #Conflicts: 1365000 | #Constraints: 61164
2547.90/2555.81 c #Conflicts: 1366000 | #Constraints: 62164
2547.90/2555.81 c #Conflicts: 1367000 | #Constraints: 63164
2547.90/2555.81 c #Conflicts: 1368000 | #Constraints: 64164
2547.90/2555.81 c #Conflicts: 1369000 | #Constraints: 65164
2547.90/2555.81 c #Conflicts: 1370000 | #Constraints: 66164
2547.90/2555.81 c #Conflicts: 1371000 | #Constraints: 67164
2547.90/2555.81 c INPROCESSING
2547.90/2555.81 c GARBAGE COLLECT
2547.90/2555.81 c #Conflicts: 1372000 | #Constraints: 44973
2547.90/2555.81 c #Conflicts: 1373000 | #Constraints: 45973
2547.90/2555.81 c #Conflicts: 1374000 | #Constraints: 46973
2547.90/2555.81 c #Conflicts: 1375000 | #Constraints: 47973
2547.90/2555.81 c #Conflicts: 1376000 | #Constraints: 48973
2547.90/2555.81 c #Conflicts: 1377000 | #Constraints: 49973
2547.90/2555.81 c #Conflicts: 1378000 | #Constraints: 50973
2547.90/2555.81 c #Conflicts: 1379000 | #Constraints: 51973
2547.90/2555.81 c #Conflicts: 1380000 | #Constraints: 52973
2547.90/2555.81 c #Conflicts: 1381000 | #Constraints: 53973
2547.90/2555.81 c #Conflicts: 1382000 | #Constraints: 54973
2547.90/2555.81 c #Conflicts: 1383000 | #Constraints: 55973
2547.90/2555.81 c #Conflicts: 1384000 | #Constraints: 56973
2547.90/2555.81 c #Conflicts: 1385000 | #Constraints: 57973
2547.90/2555.81 c #Conflicts: 1386000 | #Constraints: 58973
2547.90/2555.81 c #Conflicts: 1387000 | #Constraints: 59973
2547.90/2555.81 c #Conflicts: 1388000 | #Constraints: 60973
2547.90/2555.81 c #Conflicts: 1389000 | #Constraints: 61973
2547.90/2555.81 c #Conflicts: 1390000 | #Constraints: 62973
2547.90/2555.81 c #Conflicts: 1391000 | #Constraints: 63973
2547.90/2555.81 c #Conflicts: 1392000 | #Constraints: 64973
2547.90/2555.81 c #Conflicts: 1393000 | #Constraints: 65973
2547.90/2555.81 c #Conflicts: 1394000 | #Constraints: 66973
2547.90/2555.81 c #Conflicts: 1395000 | #Constraints: 67973
2547.90/2555.81 c INPROCESSING
2547.90/2555.81 c GARBAGE COLLECT
2547.90/2555.81 c #Conflicts: 1396000 | #Constraints: 45561
2547.90/2555.81 c #Conflicts: 1397000 | #Constraints: 46561
2547.90/2555.81 c #Conflicts: 1398000 | #Constraints: 47561
2547.90/2555.81 c #Conflicts: 1399000 | #Constraints: 48561
2547.90/2555.81 c #Conflicts: 1400000 | #Constraints: 49561
2547.90/2555.81 c #Conflicts: 1401000 | #Constraints: 50561
2547.90/2555.81 c #Conflicts: 1402000 | #Constraints: 51561
2547.90/2555.81 c #Conflicts: 1403000 | #Constraints: 52561
2547.90/2555.81 c #Conflicts: 1404000 | #Constraints: 53561
2547.90/2555.81 c #Conflicts: 1405000 | #Constraints: 54561
2547.90/2555.81 c #Conflicts: 1406000 | #Constraints: 55561
2547.90/2555.81 c #Conflicts: 1407000 | #Constraints: 56561
2547.90/2555.81 c #Conflicts: 1408000 | #Constraints: 57561
2547.90/2555.81 c #Conflicts: 1409000 | #Constraints: 58561
2547.90/2555.81 c #Conflicts: 1410000 | #Constraints: 59561
2547.90/2555.81 c #Conflicts: 1411000 | #Constraints: 60561
2547.90/2555.81 c #Conflicts: 1412000 | #Constraints: 61561
2547.90/2555.81 c #Conflicts: 1413000 | #Constraints: 62561
2547.90/2555.81 c #Conflicts: 1414000 | #Constraints: 63561
2547.90/2555.81 c #Conflicts: 1415000 | #Constraints: 64561
2547.90/2555.81 c #Conflicts: 1416000 | #Constraints: 65561
2547.90/2555.81 c #Conflicts: 1417000 | #Constraints: 66561
2547.90/2555.81 c #Conflicts: 1418000 | #Constraints: 67561
2547.90/2555.81 c #Conflicts: 1419000 | #Constraints: 68561
2547.90/2555.81 c INPROCESSING
2547.90/2555.81 c GARBAGE COLLECT
2547.90/2555.81 c #Conflicts: 1420000 | #Constraints: 45969
2547.90/2555.81 c #Conflicts: 1421000 | #Constraints: 46969
2547.90/2555.81 c #Conflicts: 1422000 | #Constraints: 47969
2547.90/2555.81 c #Conflicts: 1423000 | #Constraints: 48969
2547.90/2555.81 c #Conflicts: 1424000 | #Constraints: 49969
2672.96/2681.23 c #Conflicts: 1425000 | #Constraints: 50969
2672.96/2681.23 c #Conflicts: 1426000 | #Constraints: 51969
2672.96/2681.23 c #Conflicts: 1427000 | #Constraints: 52969
2672.96/2681.23 c #Conflicts: 1428000 | #Constraints: 53969
2672.96/2681.23 c #Conflicts: 1429000 | #Constraints: 54969
2672.96/2681.23 c #Conflicts: 1430000 | #Constraints: 55969
2672.96/2681.23 c #Conflicts: 1431000 | #Constraints: 56969
2672.96/2681.23 c #Conflicts: 1432000 | #Constraints: 57969
2672.96/2681.23 c #Conflicts: 1433000 | #Constraints: 58969
2672.96/2681.23 c #Conflicts: 1434000 | #Constraints: 59969
2672.96/2681.23 c #Conflicts: 1435000 | #Constraints: 60969
2672.96/2681.23 c #Conflicts: 1436000 | #Constraints: 61969
2672.96/2681.23 c #Conflicts: 1437000 | #Constraints: 62969
2672.96/2681.23 c #Conflicts: 1438000 | #Constraints: 63969
2672.96/2681.23 c #Conflicts: 1439000 | #Constraints: 64969
2672.96/2681.23 c #Conflicts: 1440000 | #Constraints: 65969
2672.96/2681.23 c #Conflicts: 1441000 | #Constraints: 66969
2672.96/2681.23 c #Conflicts: 1442000 | #Constraints: 67969
2672.96/2681.23 c #Conflicts: 1443000 | #Constraints: 68969
2672.96/2681.23 c INPROCESSING
2672.96/2681.23 c GARBAGE COLLECT
2672.96/2681.23 c #Conflicts: 1444000 | #Constraints: 46158
2672.96/2681.23 c #Conflicts: 1445000 | #Constraints: 47158
2672.96/2681.23 c #Conflicts: 1446000 | #Constraints: 48158
2672.96/2681.23 c #Conflicts: 1447000 | #Constraints: 49158
2672.96/2681.23 c #Conflicts: 1448000 | #Constraints: 50158
2672.96/2681.23 c #Conflicts: 1449000 | #Constraints: 51158
2672.96/2681.23 c #Conflicts: 1450000 | #Constraints: 52158
2672.96/2681.23 c #Conflicts: 1451000 | #Constraints: 53158
2672.96/2681.23 c #Conflicts: 1452000 | #Constraints: 54158
2672.96/2681.23 c #Conflicts: 1453000 | #Constraints: 55158
2672.96/2681.23 c #Conflicts: 1454000 | #Constraints: 56158
2672.96/2681.23 c #Conflicts: 1455000 | #Constraints: 57158
2672.96/2681.23 c #Conflicts: 1456000 | #Constraints: 58158
2672.96/2681.23 c #Conflicts: 1457000 | #Constraints: 59158
2672.96/2681.23 c #Conflicts: 1458000 | #Constraints: 60158
2672.96/2681.23 c #Conflicts: 1459000 | #Constraints: 61158
2672.96/2681.23 c #Conflicts: 1460000 | #Constraints: 62158
2672.96/2681.23 c #Conflicts: 1461000 | #Constraints: 63158
2672.96/2681.23 c #Conflicts: 1462000 | #Constraints: 64158
2672.96/2681.23 c #Conflicts: 1463000 | #Constraints: 65158
2672.96/2681.23 c #Conflicts: 1464000 | #Constraints: 66158
2672.96/2681.23 c #Conflicts: 1465000 | #Constraints: 67158
2672.96/2681.23 c #Conflicts: 1466000 | #Constraints: 68158
2672.96/2681.23 c #Conflicts: 1467000 | #Constraints: 69158
2672.96/2681.23 c INPROCESSING
2672.96/2681.23 c GARBAGE COLLECT
2672.96/2681.23 c #Conflicts: 1468000 | #Constraints: 46158
2672.96/2681.23 c #Conflicts: 1469000 | #Constraints: 47158
2672.96/2681.23 c #Conflicts: 1470000 | #Constraints: 48158
2672.96/2681.23 c #Conflicts: 1471000 | #Constraints: 49158
2672.96/2681.23 c #Conflicts: 1472000 | #Constraints: 50158
2672.96/2681.23 c #Conflicts: 1473000 | #Constraints: 51158
2672.96/2681.23 c #Conflicts: 1474000 | #Constraints: 52158
2672.96/2681.23 c #Conflicts: 1475000 | #Constraints: 53158
2672.96/2681.23 c #Conflicts: 1476000 | #Constraints: 54158
2672.96/2681.23 c #Conflicts: 1477000 | #Constraints: 55158
2672.96/2681.23 c #Conflicts: 1478000 | #Constraints: 56158
2672.96/2681.23 c #Conflicts: 1479000 | #Constraints: 57158
2672.96/2681.23 c #Conflicts: 1480000 | #Constraints: 58158
2672.96/2681.23 c #Conflicts: 1481000 | #Constraints: 59158
2672.96/2681.23 c #Conflicts: 1482000 | #Constraints: 60158
2672.96/2681.23 c #Conflicts: 1483000 | #Constraints: 61158
2672.96/2681.23 c #Conflicts: 1484000 | #Constraints: 62158
2672.96/2681.23 c #Conflicts: 1485000 | #Constraints: 63158
2672.96/2681.23 c #Conflicts: 1486000 | #Constraints: 64158
2672.96/2681.23 c #Conflicts: 1487000 | #Constraints: 65158
2672.96/2681.23 c #Conflicts: 1488000 | #Constraints: 66158
2672.96/2681.23 c #Conflicts: 1489000 | #Constraints: 67158
2672.96/2681.23 c #Conflicts: 1490000 | #Constraints: 68158
2672.96/2681.23 c #Conflicts: 1491000 | #Constraints: 69158
2672.96/2681.23 c INPROCESSING
2672.96/2681.23 c GARBAGE COLLECT
2672.96/2681.23 c #Conflicts: 1492000 | #Constraints: 45973
2672.96/2681.23 c #Conflicts: 1493000 | #Constraints: 46973
2672.96/2681.23 c #Conflicts: 1494000 | #Constraints: 47973
2672.96/2681.23 c #Conflicts: 1495000 | #Constraints: 48973
2672.96/2681.23 c #Conflicts: 1496000 | #Constraints: 49973
2672.96/2681.23 c #Conflicts: 1497000 | #Constraints: 50973
2672.96/2681.23 c #Conflicts: 1498000 | #Constraints: 51973
2672.96/2681.23 c #Conflicts: 1499000 | #Constraints: 52973
2672.96/2681.23 c #Conflicts: 1500000 | #Constraints: 53973
2672.96/2681.23 c #Conflicts: 1501000 | #Constraints: 54973
2804.52/2813.13 c #Conflicts: 1502000 | #Constraints: 55973
2804.52/2813.13 c #Conflicts: 1503000 | #Constraints: 56973
2804.52/2813.13 c #Conflicts: 1504000 | #Constraints: 57973
2804.52/2813.13 c #Conflicts: 1505000 | #Constraints: 58973
2804.52/2813.13 c #Conflicts: 1506000 | #Constraints: 59973
2804.52/2813.13 c #Conflicts: 1507000 | #Constraints: 60973
2804.52/2813.13 c #Conflicts: 1508000 | #Constraints: 61973
2804.52/2813.13 c #Conflicts: 1509000 | #Constraints: 62973
2804.52/2813.13 c #Conflicts: 1510000 | #Constraints: 63973
2804.52/2813.13 c #Conflicts: 1511000 | #Constraints: 64973
2804.52/2813.13 c #Conflicts: 1512000 | #Constraints: 65973
2804.52/2813.13 c #Conflicts: 1513000 | #Constraints: 66973
2804.52/2813.13 c #Conflicts: 1514000 | #Constraints: 67973
2804.52/2813.13 c #Conflicts: 1515000 | #Constraints: 68973
2804.52/2813.13 c #Conflicts: 1516000 | #Constraints: 69973
2804.52/2813.13 c INPROCESSING
2804.52/2813.13 c GARBAGE COLLECT
2804.52/2813.13 c #Conflicts: 1517000 | #Constraints: 46566
2804.52/2813.13 c #Conflicts: 1518000 | #Constraints: 47566
2804.52/2813.13 c #Conflicts: 1519000 | #Constraints: 48566
2804.52/2813.13 c #Conflicts: 1520000 | #Constraints: 49566
2804.52/2813.13 c #Conflicts: 1521000 | #Constraints: 50566
2804.52/2813.13 c #Conflicts: 1522000 | #Constraints: 51566
2804.52/2813.13 c #Conflicts: 1523000 | #Constraints: 52566
2804.52/2813.13 c #Conflicts: 1524000 | #Constraints: 53566
2804.52/2813.13 c #Conflicts: 1525000 | #Constraints: 54566
2804.52/2813.13 c #Conflicts: 1526000 | #Constraints: 55566
2804.52/2813.13 c #Conflicts: 1527000 | #Constraints: 56566
2804.52/2813.13 c #Conflicts: 1528000 | #Constraints: 57566
2804.52/2813.13 c #Conflicts: 1529000 | #Constraints: 58566
2804.52/2813.13 c #Conflicts: 1530000 | #Constraints: 59566
2804.52/2813.13 c #Conflicts: 1531000 | #Constraints: 60566
2804.52/2813.13 c #Conflicts: 1532000 | #Constraints: 61566
2804.52/2813.13 c #Conflicts: 1533000 | #Constraints: 62566
2804.52/2813.13 c #Conflicts: 1534000 | #Constraints: 63566
2804.52/2813.13 c #Conflicts: 1535000 | #Constraints: 64566
2804.52/2813.13 c #Conflicts: 1536000 | #Constraints: 65566
2804.52/2813.13 c #Conflicts: 1537000 | #Constraints: 66566
2804.52/2813.13 c #Conflicts: 1538000 | #Constraints: 67566
2804.52/2813.13 c #Conflicts: 1539000 | #Constraints: 68566
2804.52/2813.13 c #Conflicts: 1540000 | #Constraints: 69566
2804.52/2813.13 c #Conflicts: 1541000 | #Constraints: 70566
2804.52/2813.13 c INPROCESSING
2804.52/2813.13 c GARBAGE COLLECT
2804.52/2813.13 c #Conflicts: 1542000 | #Constraints: 46957
2804.52/2813.13 c #Conflicts: 1543000 | #Constraints: 47957
2804.52/2813.13 c #Conflicts: 1544000 | #Constraints: 48957
2804.52/2813.13 c #Conflicts: 1545000 | #Constraints: 49957
2804.52/2813.13 c #Conflicts: 1546000 | #Constraints: 50957
2804.52/2813.13 c #Conflicts: 1547000 | #Constraints: 51957
2804.52/2813.13 c #Conflicts: 1548000 | #Constraints: 52957
2804.52/2813.13 c #Conflicts: 1549000 | #Constraints: 53957
2804.52/2813.13 c #Conflicts: 1550000 | #Constraints: 54957
2804.52/2813.13 c #Conflicts: 1551000 | #Constraints: 55957
2804.52/2813.13 c #Conflicts: 1552000 | #Constraints: 56957
2804.52/2813.13 c #Conflicts: 1553000 | #Constraints: 57957
2804.52/2813.13 c #Conflicts: 1554000 | #Constraints: 58957
2804.52/2813.13 c #Conflicts: 1555000 | #Constraints: 59957
2804.52/2813.13 c #Conflicts: 1556000 | #Constraints: 60957
2804.52/2813.13 c #Conflicts: 1557000 | #Constraints: 61957
2804.52/2813.13 c #Conflicts: 1558000 | #Constraints: 62957
2804.52/2813.13 c #Conflicts: 1559000 | #Constraints: 63957
2804.52/2813.13 c #Conflicts: 1560000 | #Constraints: 64957
2804.52/2813.13 c #Conflicts: 1561000 | #Constraints: 65957
2804.52/2813.13 c #Conflicts: 1562000 | #Constraints: 66957
2804.52/2813.13 c #Conflicts: 1563000 | #Constraints: 67957
2804.52/2813.13 c #Conflicts: 1564000 | #Constraints: 68957
2804.52/2813.13 c #Conflicts: 1565000 | #Constraints: 69957
2804.52/2813.13 c #Conflicts: 1566000 | #Constraints: 70957
2804.52/2813.13 c INPROCESSING
2804.52/2813.13 c GARBAGE COLLECT
2804.52/2813.13 c #Conflicts: 1567000 | #Constraints: 47131
2804.52/2813.13 c #Conflicts: 1568000 | #Constraints: 48131
2804.52/2813.13 c #Conflicts: 1569000 | #Constraints: 49131
2804.52/2813.13 c #Conflicts: 1570000 | #Constraints: 50131
2804.52/2813.13 c #Conflicts: 1571000 | #Constraints: 51131
2804.52/2813.13 c #Conflicts: 1572000 | #Constraints: 52131
2804.52/2813.13 c #Conflicts: 1573000 | #Constraints: 53131
2804.52/2813.13 c #Conflicts: 1574000 | #Constraints: 54131
2804.52/2813.13 c #Conflicts: 1575000 | #Constraints: 55131
2804.52/2813.13 c #Conflicts: 1576000 | #Constraints: 56131
2804.52/2813.13 c #Conflicts: 1577000 | #Constraints: 57131
2804.52/2813.13 c #Conflicts: 1578000 | #Constraints: 58131
2969.07/2978.19 c #Conflicts: 1579000 | #Constraints: 59131
2969.07/2978.19 c #Conflicts: 1580000 | #Constraints: 60131
2969.07/2978.19 c #Conflicts: 1581000 | #Constraints: 61131
2969.07/2978.19 c #Conflicts: 1582000 | #Constraints: 62131
2969.07/2978.19 c #Conflicts: 1583000 | #Constraints: 63131
2969.07/2978.19 c #Conflicts: 1584000 | #Constraints: 64131
2969.07/2978.19 c #Conflicts: 1585000 | #Constraints: 65131
2969.07/2978.19 c #Conflicts: 1586000 | #Constraints: 66131
2969.07/2978.19 c #Conflicts: 1587000 | #Constraints: 67131
2969.07/2978.19 c #Conflicts: 1588000 | #Constraints: 68131
2969.07/2978.19 c #Conflicts: 1589000 | #Constraints: 69131
2969.07/2978.19 c #Conflicts: 1590000 | #Constraints: 70131
2969.07/2978.19 c #Conflicts: 1591000 | #Constraints: 71131
2969.07/2978.19 c INPROCESSING
2969.07/2978.19 c GARBAGE COLLECT
2969.07/2978.19 c #Conflicts: 1592000 | #Constraints: 47148
2969.07/2978.19 c #Conflicts: 1593000 | #Constraints: 48148
2969.07/2978.19 c #Conflicts: 1594000 | #Constraints: 49148
2969.07/2978.19 c #Conflicts: 1595000 | #Constraints: 50148
2969.07/2978.19 c #Conflicts: 1596000 | #Constraints: 51148
2969.07/2978.19 c #Conflicts: 1597000 | #Constraints: 52148
2969.07/2978.19 c #Conflicts: 1598000 | #Constraints: 53148
2969.07/2978.19 c #Conflicts: 1599000 | #Constraints: 54148
2969.07/2978.19 c #Conflicts: 1600000 | #Constraints: 55148
2969.07/2978.19 c #Conflicts: 1601000 | #Constraints: 56148
2969.07/2978.19 c #Conflicts: 1602000 | #Constraints: 57148
2969.07/2978.19 c #Conflicts: 1603000 | #Constraints: 58148
2969.07/2978.19 c #Conflicts: 1604000 | #Constraints: 59148
2969.07/2978.19 c #Conflicts: 1605000 | #Constraints: 60148
2969.07/2978.19 c #Conflicts: 1606000 | #Constraints: 61148
2969.07/2978.19 c #Conflicts: 1607000 | #Constraints: 62148
2969.07/2978.19 c #Conflicts: 1608000 | #Constraints: 63148
2969.07/2978.19 c #Conflicts: 1609000 | #Constraints: 64148
2969.07/2978.19 c #Conflicts: 1610000 | #Constraints: 65148
2969.07/2978.19 c #Conflicts: 1611000 | #Constraints: 66148
2969.07/2978.19 c #Conflicts: 1612000 | #Constraints: 67148
2969.07/2978.19 c #Conflicts: 1613000 | #Constraints: 68148
2969.07/2978.19 c #Conflicts: 1614000 | #Constraints: 69148
2969.07/2978.19 c #Conflicts: 1615000 | #Constraints: 70148
2969.07/2978.19 c #Conflicts: 1616000 | #Constraints: 71148
2969.07/2978.19 c INPROCESSING
2969.07/2978.19 c GARBAGE COLLECT
2969.07/2978.19 c #Conflicts: 1617000 | #Constraints: 46971
2969.07/2978.19 c #Conflicts: 1618000 | #Constraints: 47971
2969.07/2978.19 c #Conflicts: 1619000 | #Constraints: 48971
2969.07/2978.19 c #Conflicts: 1620000 | #Constraints: 49971
2969.07/2978.19 c #Conflicts: 1621000 | #Constraints: 50971
2969.07/2978.19 c #Conflicts: 1622000 | #Constraints: 51971
2969.07/2978.19 c #Conflicts: 1623000 | #Constraints: 52971
2969.07/2978.19 c #Conflicts: 1624000 | #Constraints: 53971
2969.07/2978.19 c #Conflicts: 1625000 | #Constraints: 54971
2969.07/2978.19 c #Conflicts: 1626000 | #Constraints: 55971
2969.07/2978.19 c #Conflicts: 1627000 | #Constraints: 56971
2969.07/2978.19 c #Conflicts: 1628000 | #Constraints: 57971
2969.07/2978.19 c #Conflicts: 1629000 | #Constraints: 58971
2969.07/2978.19 c #Conflicts: 1630000 | #Constraints: 59971
2969.07/2978.19 c #Conflicts: 1631000 | #Constraints: 60971
2969.07/2978.19 c #Conflicts: 1632000 | #Constraints: 61971
2969.07/2978.19 c #Conflicts: 1633000 | #Constraints: 62971
2969.07/2978.19 c #Conflicts: 1634000 | #Constraints: 63971
2969.07/2978.19 c #Conflicts: 1635000 | #Constraints: 64971
2969.07/2978.19 c #Conflicts: 1636000 | #Constraints: 65971
2969.07/2978.19 c #Conflicts: 1637000 | #Constraints: 66971
2969.07/2978.19 c #Conflicts: 1638000 | #Constraints: 67971
2969.07/2978.19 c #Conflicts: 1639000 | #Constraints: 68971
2969.07/2978.19 c #Conflicts: 1640000 | #Constraints: 69971
2969.07/2978.19 c #Conflicts: 1641000 | #Constraints: 70971
2969.07/2978.19 c #Conflicts: 1642000 | #Constraints: 71971
2969.07/2978.19 c INPROCESSING
2969.07/2978.19 c GARBAGE COLLECT
2969.07/2978.19 c #Conflicts: 1643000 | #Constraints: 47561
2969.07/2978.19 c #Conflicts: 1644000 | #Constraints: 48561
2969.07/2978.19 c #Conflicts: 1645000 | #Constraints: 49561
2969.07/2978.19 c #Conflicts: 1646000 | #Constraints: 50561
2969.07/2978.19 c #Conflicts: 1647000 | #Constraints: 51561
2969.07/2978.19 c #Conflicts: 1648000 | #Constraints: 52561
2969.07/2978.19 c #Conflicts: 1649000 | #Constraints: 53561
2969.07/2978.19 c #Conflicts: 1650000 | #Constraints: 54561
2969.07/2978.19 c #Conflicts: 1651000 | #Constraints: 55561
2969.07/2978.19 c #Conflicts: 1652000 | #Constraints: 56561
2969.07/2978.19 c #Conflicts: 1653000 | #Constraints: 57561
2969.07/2978.19 c #Conflicts: 1654000 | #Constraints: 58561
2969.07/2978.19 c #Conflicts: 1655000 | #Constraints: 59561
3084.56/3093.97 c #Conflicts: 1656000 | #Constraints: 60561
3084.56/3093.97 c #Conflicts: 1657000 | #Constraints: 61561
3084.56/3093.97 c #Conflicts: 1658000 | #Constraints: 62561
3084.56/3093.97 c #Conflicts: 1659000 | #Constraints: 63561
3084.56/3093.97 c #Conflicts: 1660000 | #Constraints: 64561
3084.56/3093.97 c #Conflicts: 1661000 | #Constraints: 65561
3084.56/3093.97 c #Conflicts: 1662000 | #Constraints: 66561
3084.56/3093.97 c #Conflicts: 1663000 | #Constraints: 67561
3084.56/3093.97 c #Conflicts: 1664000 | #Constraints: 68561
3084.56/3093.97 c #Conflicts: 1665000 | #Constraints: 69561
3084.56/3093.97 c #Conflicts: 1666000 | #Constraints: 70561
3084.56/3093.97 c #Conflicts: 1667000 | #Constraints: 71561
3084.56/3093.97 c #Conflicts: 1668000 | #Constraints: 72561
3084.56/3093.97 c INPROCESSING
3084.56/3093.97 c GARBAGE COLLECT
3084.56/3093.97 c #Conflicts: 1669000 | #Constraints: 47963
3084.56/3093.97 c #Conflicts: 1670000 | #Constraints: 48963
3084.56/3093.97 c #Conflicts: 1671000 | #Constraints: 49963
3084.56/3093.97 c #Conflicts: 1672000 | #Constraints: 50963
3084.56/3093.97 c #Conflicts: 1673000 | #Constraints: 51963
3084.56/3093.97 c #Conflicts: 1674000 | #Constraints: 52963
3084.56/3093.97 c #Conflicts: 1675000 | #Constraints: 53963
3084.56/3093.97 c #Conflicts: 1676000 | #Constraints: 54963
3084.56/3093.97 c #Conflicts: 1677000 | #Constraints: 55963
3084.56/3093.97 c #Conflicts: 1678000 | #Constraints: 56963
3084.56/3093.97 c #Conflicts: 1679000 | #Constraints: 57963
3084.56/3093.97 c #Conflicts: 1680000 | #Constraints: 58963
3084.56/3093.97 c #Conflicts: 1681000 | #Constraints: 59963
3084.56/3093.97 c #Conflicts: 1682000 | #Constraints: 60963
3084.56/3093.97 c #Conflicts: 1683000 | #Constraints: 61963
3084.56/3093.97 c #Conflicts: 1684000 | #Constraints: 62963
3084.56/3093.97 c #Conflicts: 1685000 | #Constraints: 63963
3084.56/3093.97 c #Conflicts: 1686000 | #Constraints: 64963
3084.56/3093.97 c #Conflicts: 1687000 | #Constraints: 65963
3084.56/3093.97 c #Conflicts: 1688000 | #Constraints: 66963
3084.56/3093.97 c #Conflicts: 1689000 | #Constraints: 67963
3084.56/3093.97 c #Conflicts: 1690000 | #Constraints: 68963
3084.56/3093.97 c #Conflicts: 1691000 | #Constraints: 69963
3084.56/3093.97 c #Conflicts: 1692000 | #Constraints: 70963
3084.56/3093.97 c #Conflicts: 1693000 | #Constraints: 71963
3084.56/3093.97 c #Conflicts: 1694000 | #Constraints: 72963
3084.56/3093.97 c INPROCESSING
3084.56/3093.97 c GARBAGE COLLECT
3084.56/3093.97 c #Conflicts: 1695000 | #Constraints: 48164
3084.56/3093.97 c #Conflicts: 1696000 | #Constraints: 49164
3084.56/3093.97 c #Conflicts: 1697000 | #Constraints: 50164
3084.56/3093.97 c #Conflicts: 1698000 | #Constraints: 51164
3084.56/3093.97 c #Conflicts: 1699000 | #Constraints: 52164
3084.56/3093.97 c #Conflicts: 1700000 | #Constraints: 53164
3084.56/3093.97 c #Conflicts: 1701000 | #Constraints: 54164
3084.56/3093.97 c #Conflicts: 1702000 | #Constraints: 55164
3084.56/3093.97 c #Conflicts: 1703000 | #Constraints: 56164
3084.56/3093.97 c #Conflicts: 1704000 | #Constraints: 57164
3084.56/3093.97 c #Conflicts: 1705000 | #Constraints: 58164
3084.56/3093.97 c #Conflicts: 1706000 | #Constraints: 59164
3084.56/3093.97 c #Conflicts: 1707000 | #Constraints: 60164
3084.56/3093.97 c #Conflicts: 1708000 | #Constraints: 61164
3084.56/3093.97 c #Conflicts: 1709000 | #Constraints: 62164
3084.56/3093.97 c #Conflicts: 1710000 | #Constraints: 63164
3084.56/3093.97 c #Conflicts: 1711000 | #Constraints: 64164
3084.56/3093.97 c #Conflicts: 1712000 | #Constraints: 65164
3084.56/3093.97 c #Conflicts: 1713000 | #Constraints: 66164
3084.56/3093.97 c #Conflicts: 1714000 | #Constraints: 67164
3084.56/3093.97 c #Conflicts: 1715000 | #Constraints: 68164
3084.56/3093.97 c #Conflicts: 1716000 | #Constraints: 69164
3084.56/3093.97 c #Conflicts: 1717000 | #Constraints: 70164
3084.56/3093.97 c #Conflicts: 1718000 | #Constraints: 71164
3084.56/3093.97 c #Conflicts: 1719000 | #Constraints: 72164
3084.56/3093.97 c #Conflicts: 1720000 | #Constraints: 73164
3084.56/3093.97 c INPROCESSING
3084.56/3093.97 c GARBAGE COLLECT
3084.56/3093.97 c #Conflicts: 1721000 | #Constraints: 48170
3084.56/3093.97 c #Conflicts: 1722000 | #Constraints: 49170
3084.56/3093.97 c #Conflicts: 1723000 | #Constraints: 50170
3084.56/3093.97 c #Conflicts: 1724000 | #Constraints: 51170
3084.56/3093.97 c #Conflicts: 1725000 | #Constraints: 52170
3084.56/3093.97 c #Conflicts: 1726000 | #Constraints: 53170
3084.56/3093.97 c #Conflicts: 1727000 | #Constraints: 54170
3084.56/3093.97 c #Conflicts: 1728000 | #Constraints: 55170
3084.56/3093.97 c #Conflicts: 1729000 | #Constraints: 56170
3084.56/3093.97 c #Conflicts: 1730000 | #Constraints: 57170
3084.56/3093.97 c #Conflicts: 1731000 | #Constraints: 58170
3084.56/3093.97 c #Conflicts: 1732000 | #Constraints: 59170
3207.34/3217.08 c #Conflicts: 1733000 | #Constraints: 60170
3207.34/3217.08 c #Conflicts: 1734000 | #Constraints: 61170
3207.34/3217.08 c #Conflicts: 1735000 | #Constraints: 62170
3207.34/3217.08 c #Conflicts: 1736000 | #Constraints: 63170
3207.34/3217.08 c #Conflicts: 1737000 | #Constraints: 64170
3207.34/3217.08 c #Conflicts: 1738000 | #Constraints: 65170
3207.34/3217.08 c #Conflicts: 1739000 | #Constraints: 66170
3207.34/3217.08 c #Conflicts: 1740000 | #Constraints: 67170
3207.34/3217.08 c #Conflicts: 1741000 | #Constraints: 68170
3207.34/3217.08 c #Conflicts: 1742000 | #Constraints: 69170
3207.34/3217.08 c #Conflicts: 1743000 | #Constraints: 70170
3207.34/3217.08 c #Conflicts: 1744000 | #Constraints: 71170
3207.34/3217.08 c #Conflicts: 1745000 | #Constraints: 72170
3207.34/3217.08 c #Conflicts: 1746000 | #Constraints: 73170
3207.34/3217.08 c INPROCESSING
3207.34/3217.08 c GARBAGE COLLECT
3207.34/3217.08 c #Conflicts: 1747000 | #Constraints: 47986
3207.34/3217.08 c #Conflicts: 1748000 | #Constraints: 48986
3207.34/3217.08 c #Conflicts: 1749000 | #Constraints: 49986
3207.34/3217.08 c #Conflicts: 1750000 | #Constraints: 50986
3207.34/3217.08 c #Conflicts: 1751000 | #Constraints: 51986
3207.34/3217.08 c #Conflicts: 1752000 | #Constraints: 52986
3207.34/3217.08 c #Conflicts: 1753000 | #Constraints: 53986
3207.34/3217.08 c #Conflicts: 1754000 | #Constraints: 54986
3207.34/3217.08 c #Conflicts: 1755000 | #Constraints: 55986
3207.34/3217.08 c #Conflicts: 1756000 | #Constraints: 56986
3207.34/3217.08 c #Conflicts: 1757000 | #Constraints: 57986
3207.34/3217.08 c #Conflicts: 1758000 | #Constraints: 58986
3207.34/3217.08 c #Conflicts: 1759000 | #Constraints: 59986
3207.34/3217.08 c #Conflicts: 1760000 | #Constraints: 60986
3207.34/3217.08 c #Conflicts: 1761000 | #Constraints: 61986
3207.34/3217.08 c #Conflicts: 1762000 | #Constraints: 62986
3207.34/3217.08 c #Conflicts: 1763000 | #Constraints: 63986
3207.34/3217.08 c #Conflicts: 1764000 | #Constraints: 64986
3207.34/3217.08 c #Conflicts: 1765000 | #Constraints: 65986
3207.34/3217.08 c #Conflicts: 1766000 | #Constraints: 66986
3207.34/3217.08 c #Conflicts: 1767000 | #Constraints: 67986
3207.34/3217.08 c #Conflicts: 1768000 | #Constraints: 68986
3207.34/3217.08 c #Conflicts: 1769000 | #Constraints: 69986
3207.34/3217.08 c #Conflicts: 1770000 | #Constraints: 70986
3207.34/3217.08 c #Conflicts: 1771000 | #Constraints: 71986
3207.34/3217.08 c #Conflicts: 1772000 | #Constraints: 72986
3207.34/3217.08 c #Conflicts: 1773000 | #Constraints: 73986
3207.34/3217.08 c INPROCESSING
3207.34/3217.08 c GARBAGE COLLECT
3207.34/3217.08 c #Conflicts: 1774000 | #Constraints: 48569
3207.34/3217.08 c #Conflicts: 1775000 | #Constraints: 49569
3207.34/3217.08 c #Conflicts: 1776000 | #Constraints: 50569
3207.34/3217.08 c #Conflicts: 1777000 | #Constraints: 51569
3207.34/3217.08 c #Conflicts: 1778000 | #Constraints: 52569
3207.34/3217.08 c #Conflicts: 1779000 | #Constraints: 53569
3207.34/3217.08 c #Conflicts: 1780000 | #Constraints: 54569
3207.34/3217.08 c #Conflicts: 1781000 | #Constraints: 55569
3207.34/3217.08 c #Conflicts: 1782000 | #Constraints: 56569
3207.34/3217.08 c #Conflicts: 1783000 | #Constraints: 57569
3207.34/3217.08 c #Conflicts: 1784000 | #Constraints: 58569
3207.34/3217.08 c #Conflicts: 1785000 | #Constraints: 59569
3207.34/3217.08 c #Conflicts: 1786000 | #Constraints: 60569
3207.34/3217.08 c #Conflicts: 1787000 | #Constraints: 61569
3207.34/3217.08 c #Conflicts: 1788000 | #Constraints: 62569
3207.34/3217.08 c #Conflicts: 1789000 | #Constraints: 63569
3207.34/3217.08 c #Conflicts: 1790000 | #Constraints: 64569
3207.34/3217.08 c #Conflicts: 1791000 | #Constraints: 65569
3207.34/3217.08 c #Conflicts: 1792000 | #Constraints: 66569
3207.34/3217.08 c #Conflicts: 1793000 | #Constraints: 67569
3207.34/3217.08 c #Conflicts: 1794000 | #Constraints: 68569
3207.34/3217.08 c #Conflicts: 1795000 | #Constraints: 69569
3207.34/3217.08 c #Conflicts: 1796000 | #Constraints: 70569
3207.34/3217.08 c #Conflicts: 1797000 | #Constraints: 71569
3207.34/3217.08 c #Conflicts: 1798000 | #Constraints: 72569
3207.34/3217.08 c #Conflicts: 1799000 | #Constraints: 73569
3207.34/3217.08 c #Conflicts: 1800000 | #Constraints: 74569
3207.34/3217.08 c INPROCESSING
3207.34/3217.08 c GARBAGE COLLECT
3207.34/3217.08 c #Conflicts: 1801000 | #Constraints: 48977
3207.34/3217.08 c #Conflicts: 1802000 | #Constraints: 49977
3207.34/3217.08 c #Conflicts: 1803000 | #Constraints: 50977
3207.34/3217.08 c #Conflicts: 1804000 | #Constraints: 51977
3207.34/3217.08 c #Conflicts: 1805000 | #Constraints: 52977
3207.34/3217.08 c #Conflicts: 1806000 | #Constraints: 53977
3207.34/3217.08 c #Conflicts: 1807000 | #Constraints: 54977
3207.34/3217.08 c #Conflicts: 1808000 | #Constraints: 55977
3207.34/3217.08 c #Conflicts: 1809000 | #Constraints: 56977
3351.66/3361.70 c #Conflicts: 1810000 | #Constraints: 57977
3351.66/3361.70 c #Conflicts: 1811000 | #Constraints: 58977
3351.66/3361.70 c #Conflicts: 1812000 | #Constraints: 59977
3351.66/3361.70 c #Conflicts: 1813000 | #Constraints: 60977
3351.66/3361.70 c #Conflicts: 1814000 | #Constraints: 61977
3351.66/3361.70 c #Conflicts: 1815000 | #Constraints: 62977
3351.66/3361.70 c #Conflicts: 1816000 | #Constraints: 63977
3351.66/3361.70 c #Conflicts: 1817000 | #Constraints: 64977
3351.66/3361.70 c #Conflicts: 1818000 | #Constraints: 65977
3351.66/3361.70 c #Conflicts: 1819000 | #Constraints: 66977
3351.66/3361.70 c #Conflicts: 1820000 | #Constraints: 67977
3351.66/3361.70 c #Conflicts: 1821000 | #Constraints: 68977
3351.66/3361.70 c #Conflicts: 1822000 | #Constraints: 69977
3351.66/3361.70 c #Conflicts: 1823000 | #Constraints: 70977
3351.66/3361.70 c #Conflicts: 1824000 | #Constraints: 71977
3351.66/3361.70 c #Conflicts: 1825000 | #Constraints: 72977
3351.66/3361.70 c #Conflicts: 1826000 | #Constraints: 73977
3351.66/3361.70 c #Conflicts: 1827000 | #Constraints: 74977
3351.66/3361.70 c INPROCESSING
3351.66/3361.70 c GARBAGE COLLECT
3351.66/3361.70 c #Conflicts: 1828000 | #Constraints: 49165
3351.66/3361.70 c #Conflicts: 1829000 | #Constraints: 50165
3351.66/3361.70 c #Conflicts: 1830000 | #Constraints: 51165
3351.66/3361.70 c #Conflicts: 1831000 | #Constraints: 52165
3351.66/3361.70 c #Conflicts: 1832000 | #Constraints: 53165
3351.66/3361.70 c #Conflicts: 1833000 | #Constraints: 54165
3351.66/3361.70 c #Conflicts: 1834000 | #Constraints: 55165
3351.66/3361.70 c #Conflicts: 1835000 | #Constraints: 56165
3351.66/3361.70 c #Conflicts: 1836000 | #Constraints: 57165
3351.66/3361.70 c #Conflicts: 1837000 | #Constraints: 58165
3351.66/3361.70 c #Conflicts: 1838000 | #Constraints: 59165
3351.66/3361.70 c #Conflicts: 1839000 | #Constraints: 60165
3351.66/3361.70 c #Conflicts: 1840000 | #Constraints: 61165
3351.66/3361.70 c #Conflicts: 1841000 | #Constraints: 62165
3351.66/3361.70 c #Conflicts: 1842000 | #Constraints: 63165
3351.66/3361.70 c #Conflicts: 1843000 | #Constraints: 64165
3351.66/3361.70 c #Conflicts: 1844000 | #Constraints: 65165
3351.66/3361.70 c #Conflicts: 1845000 | #Constraints: 66165
3351.66/3361.70 c #Conflicts: 1846000 | #Constraints: 67165
3351.66/3361.70 c #Conflicts: 1847000 | #Constraints: 68165
3351.66/3361.70 c #Conflicts: 1848000 | #Constraints: 69165
3351.66/3361.70 c #Conflicts: 1849000 | #Constraints: 70165
3351.66/3361.70 c #Conflicts: 1850000 | #Constraints: 71165
3351.66/3361.70 c #Conflicts: 1851000 | #Constraints: 72165
3351.66/3361.70 c #Conflicts: 1852000 | #Constraints: 73165
3351.66/3361.70 c #Conflicts: 1853000 | #Constraints: 74165
3351.66/3361.70 c #Conflicts: 1854000 | #Constraints: 75165
3351.66/3361.70 c INPROCESSING
3351.66/3361.70 c GARBAGE COLLECT
3351.66/3361.70 c #Conflicts: 1855000 | #Constraints: 49179
3351.66/3361.70 c #Conflicts: 1856000 | #Constraints: 50179
3351.66/3361.70 c #Conflicts: 1857000 | #Constraints: 51179
3351.66/3361.70 c #Conflicts: 1858000 | #Constraints: 52179
3351.66/3361.70 c #Conflicts: 1859000 | #Constraints: 53179
3351.66/3361.70 c #Conflicts: 1860000 | #Constraints: 54179
3351.66/3361.70 c #Conflicts: 1861000 | #Constraints: 55179
3351.66/3361.70 c #Conflicts: 1862000 | #Constraints: 56179
3351.66/3361.70 c #Conflicts: 1863000 | #Constraints: 57179
3351.66/3361.70 c #Conflicts: 1864000 | #Constraints: 58179
3351.66/3361.70 c #Conflicts: 1865000 | #Constraints: 59179
3351.66/3361.70 c #Conflicts: 1866000 | #Constraints: 60179
3351.66/3361.70 c #Conflicts: 1867000 | #Constraints: 61179
3351.66/3361.70 c #Conflicts: 1868000 | #Constraints: 62179
3351.66/3361.70 c #Conflicts: 1869000 | #Constraints: 63179
3351.66/3361.70 c #Conflicts: 1870000 | #Constraints: 64179
3351.66/3361.70 c #Conflicts: 1871000 | #Constraints: 65179
3351.66/3361.70 c #Conflicts: 1872000 | #Constraints: 66179
3351.66/3361.70 c #Conflicts: 1873000 | #Constraints: 67179
3351.66/3361.70 c #Conflicts: 1874000 | #Constraints: 68179
3351.66/3361.70 c #Conflicts: 1875000 | #Constraints: 69179
3351.66/3361.70 c #Conflicts: 1876000 | #Constraints: 70179
3351.66/3361.70 c #Conflicts: 1877000 | #Constraints: 71179
3351.66/3361.70 c #Conflicts: 1878000 | #Constraints: 72179
3351.66/3361.70 c #Conflicts: 1879000 | #Constraints: 73179
3351.66/3361.70 c #Conflicts: 1880000 | #Constraints: 74179
3351.66/3361.70 c #Conflicts: 1881000 | #Constraints: 75179
3351.66/3361.70 c INPROCESSING
3351.66/3361.70 c GARBAGE COLLECT
3351.66/3361.70 c #Conflicts: 1882000 | #Constraints: 48971
3351.66/3361.70 c #Conflicts: 1883000 | #Constraints: 49971
3351.66/3361.70 c #Conflicts: 1884000 | #Constraints: 50971
3351.66/3361.70 c #Conflicts: 1885000 | #Constraints: 51971
3351.66/3361.70 c #Conflicts: 1886000 | #Constraints: 52971
3489.00/3499.43 c #Conflicts: 1887000 | #Constraints: 53971
3489.00/3499.43 c #Conflicts: 1888000 | #Constraints: 54971
3489.00/3499.43 c #Conflicts: 1889000 | #Constraints: 55971
3489.00/3499.43 c #Conflicts: 1890000 | #Constraints: 56971
3489.00/3499.43 c #Conflicts: 1891000 | #Constraints: 57971
3489.00/3499.43 c #Conflicts: 1892000 | #Constraints: 58971
3489.00/3499.43 c #Conflicts: 1893000 | #Constraints: 59971
3489.00/3499.43 c #Conflicts: 1894000 | #Constraints: 60971
3489.00/3499.43 c #Conflicts: 1895000 | #Constraints: 61971
3489.00/3499.43 c #Conflicts: 1896000 | #Constraints: 62971
3489.00/3499.43 c #Conflicts: 1897000 | #Constraints: 63971
3489.00/3499.43 c #Conflicts: 1898000 | #Constraints: 64971
3489.00/3499.43 c #Conflicts: 1899000 | #Constraints: 65971
3489.00/3499.43 c #Conflicts: 1900000 | #Constraints: 66971
3489.00/3499.43 c #Conflicts: 1901000 | #Constraints: 67971
3489.00/3499.43 c #Conflicts: 1902000 | #Constraints: 68971
3489.00/3499.43 c #Conflicts: 1903000 | #Constraints: 69971
3489.00/3499.43 c #Conflicts: 1904000 | #Constraints: 70971
3489.00/3499.43 c #Conflicts: 1905000 | #Constraints: 71971
3489.00/3499.43 c #Conflicts: 1906000 | #Constraints: 72971
3489.00/3499.43 c #Conflicts: 1907000 | #Constraints: 73971
3489.00/3499.43 c #Conflicts: 1908000 | #Constraints: 74971
3489.00/3499.43 c #Conflicts: 1909000 | #Constraints: 75971
3489.00/3499.43 c INPROCESSING
3489.00/3499.43 c GARBAGE COLLECT
3489.00/3499.43 c #Conflicts: 1910000 | #Constraints: 49568
3489.00/3499.43 c #Conflicts: 1911000 | #Constraints: 50568
3489.00/3499.43 c #Conflicts: 1912000 | #Constraints: 51568
3489.00/3499.43 c #Conflicts: 1913000 | #Constraints: 52568
3489.00/3499.43 c #Conflicts: 1914000 | #Constraints: 53568
3489.00/3499.43 c #Conflicts: 1915000 | #Constraints: 54568
3489.00/3499.43 c #Conflicts: 1916000 | #Constraints: 55568
3489.00/3499.43 c #Conflicts: 1917000 | #Constraints: 56568
3489.00/3499.43 c #Conflicts: 1918000 | #Constraints: 57568
3489.00/3499.43 c #Conflicts: 1919000 | #Constraints: 58568
3489.00/3499.43 c #Conflicts: 1920000 | #Constraints: 59568
3489.00/3499.43 c #Conflicts: 1921000 | #Constraints: 60568
3489.00/3499.43 c #Conflicts: 1922000 | #Constraints: 61568
3489.00/3499.43 c #Conflicts: 1923000 | #Constraints: 62568
3489.00/3499.43 c #Conflicts: 1924000 | #Constraints: 63568
3489.00/3499.43 c #Conflicts: 1925000 | #Constraints: 64568
3489.00/3499.43 c #Conflicts: 1926000 | #Constraints: 65568
3489.00/3499.43 c #Conflicts: 1927000 | #Constraints: 66568
3489.00/3499.43 c #Conflicts: 1928000 | #Constraints: 67568
3489.00/3499.43 c #Conflicts: 1929000 | #Constraints: 68568
3489.00/3499.43 c #Conflicts: 1930000 | #Constraints: 69568
3489.00/3499.43 c #Conflicts: 1931000 | #Constraints: 70568
3489.00/3499.43 c #Conflicts: 1932000 | #Constraints: 71568
3489.00/3499.43 c #Conflicts: 1933000 | #Constraints: 72568
3489.00/3499.43 c #Conflicts: 1934000 | #Constraints: 73568
3489.00/3499.43 c #Conflicts: 1935000 | #Constraints: 74568
3489.00/3499.43 c #Conflicts: 1936000 | #Constraints: 75568
3489.00/3499.43 c #Conflicts: 1937000 | #Constraints: 76568
3489.00/3499.43 c INPROCESSING
3489.00/3499.43 c GARBAGE COLLECT
3489.00/3499.43 c #Conflicts: 1938000 | #Constraints: 49969
3489.00/3499.43 c #Conflicts: 1939000 | #Constraints: 50969
3489.00/3499.43 c #Conflicts: 1940000 | #Constraints: 51969
3489.00/3499.43 c #Conflicts: 1941000 | #Constraints: 52969
3489.00/3499.43 c #Conflicts: 1942000 | #Constraints: 53969
3489.00/3499.43 c #Conflicts: 1943000 | #Constraints: 54969
3489.00/3499.43 c #Conflicts: 1944000 | #Constraints: 55969
3489.00/3499.43 c #Conflicts: 1945000 | #Constraints: 56969
3489.00/3499.43 c #Conflicts: 1946000 | #Constraints: 57969
3489.00/3499.43 c #Conflicts: 1947000 | #Constraints: 58969
3489.00/3499.43 c #Conflicts: 1948000 | #Constraints: 59969
3489.00/3499.43 c #Conflicts: 1949000 | #Constraints: 60969
3489.00/3499.43 c #Conflicts: 1950000 | #Constraints: 61969
3489.00/3499.43 c #Conflicts: 1951000 | #Constraints: 62969
3489.00/3499.43 c #Conflicts: 1952000 | #Constraints: 63969
3489.00/3499.43 c #Conflicts: 1953000 | #Constraints: 64969
3489.00/3499.43 c #Conflicts: 1954000 | #Constraints: 65969
3489.00/3499.43 c #Conflicts: 1955000 | #Constraints: 66969
3489.00/3499.43 c #Conflicts: 1956000 | #Constraints: 67969
3489.00/3499.43 c #Conflicts: 1957000 | #Constraints: 68969
3489.00/3499.43 c #Conflicts: 1958000 | #Constraints: 69969
3489.00/3499.43 c #Conflicts: 1959000 | #Constraints: 70969
3489.00/3499.43 c #Conflicts: 1960000 | #Constraints: 71969
3489.00/3499.43 c #Conflicts: 1961000 | #Constraints: 72969
3489.00/3499.43 c #Conflicts: 1962000 | #Constraints: 73969
3489.00/3499.43 c #Conflicts: 1963000 | #Constraints: 74969
3600.01/3610.70 c #Conflicts: 1964000 | #Constraints: 75969
3600.01/3610.70 c #Conflicts: 1965000 | #Constraints: 76969
3600.01/3610.70 c INPROCESSING
3600.01/3610.70 c GARBAGE COLLECT
3600.01/3610.70 c #Conflicts: 1966000 | #Constraints: 50179
3600.01/3610.70 c #Conflicts: 1967000 | #Constraints: 51179
3600.01/3610.70 c #Conflicts: 1968000 | #Constraints: 52179
3600.01/3610.70 c #Conflicts: 1969000 | #Constraints: 53179
3600.01/3610.70 c #Conflicts: 1970000 | #Constraints: 54179
3600.01/3610.70 c #Conflicts: 1971000 | #Constraints: 55179
3600.01/3610.70 c #Conflicts: 1972000 | #Constraints: 56179
3600.01/3610.70 c #Conflicts: 1973000 | #Constraints: 57179
3600.01/3610.70 c #Conflicts: 1974000 | #Constraints: 58179
3600.01/3610.70 c #Conflicts: 1975000 | #Constraints: 59179
3600.01/3610.70 c #Conflicts: 1976000 | #Constraints: 60179
3600.01/3610.70 c #Conflicts: 1977000 | #Constraints: 61179
3600.01/3610.70 c #Conflicts: 1978000 | #Constraints: 62179
3600.01/3610.70 c #Conflicts: 1979000 | #Constraints: 63179
3600.01/3610.70 c #Conflicts: 1980000 | #Constraints: 64179
3600.01/3610.70 c #Conflicts: 1981000 | #Constraints: 65179
3600.01/3610.70 c #Conflicts: 1982000 | #Constraints: 66179
3600.01/3610.70 c #Conflicts: 1983000 | #Constraints: 67179
3600.01/3610.70 c #Conflicts: 1984000 | #Constraints: 68179
3600.01/3610.70 c #Conflicts: 1985000 | #Constraints: 69179
3600.01/3610.70 c #Conflicts: 1986000 | #Constraints: 70179
3600.01/3610.70 c #Conflicts: 1987000 | #Constraints: 71179
3600.01/3610.70 c #Conflicts: 1988000 | #Constraints: 72179
3600.01/3610.70 c #Conflicts: 1989000 | #Constraints: 73179
3600.01/3610.70 c #Conflicts: 1990000 | #Constraints: 74179
3600.01/3610.70 c #Conflicts: 1991000 | #Constraints: 75179
3600.01/3610.70 c #Conflicts: 1992000 | #Constraints: 76179
3600.01/3610.70 c #Conflicts: 1993000 | #Constraints: 77179
3600.01/3610.70 c INPROCESSING
3600.01/3610.70 c GARBAGE COLLECT
3600.01/3610.70 c #Conflicts: 1994000 | #Constraints: 50187
3600.01/3610.70 c #Conflicts: 1995000 | #Constraints: 51187
3600.01/3610.70 c #Conflicts: 1996000 | #Constraints: 52187
3600.01/3610.70 c #Conflicts: 1997000 | #Constraints: 53187
3600.01/3610.70 c #Conflicts: 1998000 | #Constraints: 54187
3600.01/3610.70 c #Conflicts: 1999000 | #Constraints: 55187
3600.01/3610.70 c #Conflicts: 2000000 | #Constraints: 56187
3600.01/3610.70 c #Conflicts: 2001000 | #Constraints: 57187
3600.01/3610.70 c #Conflicts: 2002000 | #Constraints: 58187
3600.01/3610.70 c #Conflicts: 2003000 | #Constraints: 59187
3600.01/3610.70 c #Conflicts: 2004000 | #Constraints: 60187
3600.01/3610.70 c #Conflicts: 2005000 | #Constraints: 61187
3600.01/3610.70 c #Conflicts: 2006000 | #Constraints: 62187
3600.01/3610.70 c #Conflicts: 2007000 | #Constraints: 63187
3600.01/3610.70 c #Conflicts: 2008000 | #Constraints: 64187
3600.01/3610.70 c #Conflicts: 2009000 | #Constraints: 65187
3600.01/3610.70 c #Conflicts: 2010000 | #Constraints: 66187
3600.01/3610.70 c #Conflicts: 2011000 | #Constraints: 67187
3600.01/3610.70 c #Conflicts: 2012000 | #Constraints: 68187
3600.01/3610.70 c #Conflicts: 2013000 | #Constraints: 69187
3600.01/3610.70 c #Conflicts: 2014000 | #Constraints: 70187
3600.01/3610.70 c #Conflicts: 2015000 | #Constraints: 71187
3600.01/3610.70 c #Conflicts: 2016000 | #Constraints: 72187
3600.01/3610.70 c #Conflicts: 2017000 | #Constraints: 73187
3600.01/3610.70 c #Conflicts: 2018000 | #Constraints: 74187
3600.01/3610.70 c #Conflicts: 2019000 | #Constraints: 75187
3600.01/3610.70 c #Conflicts: 2020000 | #Constraints: 76187
3600.01/3610.70 c #Conflicts: 2021000 | #Constraints: 77187
3600.01/3610.70 c INPROCESSING
3600.01/3610.70 c GARBAGE COLLECT
3600.01/3610.70 c #Conflicts: 2022000 | #Constraints: 49991
3600.01/3610.70 c #Conflicts: 2023000 | #Constraints: 50991
3600.01/3610.70 c #Conflicts: 2024000 | #Constraints: 51991
3600.01/3610.70 c #Conflicts: 2025000 | #Constraints: 52991
3600.01/3610.70 c #Conflicts: 2026000 | #Constraints: 53991
3600.01/3610.70 c #Conflicts: 2027000 | #Constraints: 54991
3600.01/3610.70 c #Conflicts: 2028000 | #Constraints: 55991
3600.01/3610.70 c #Conflicts: 2029000 | #Constraints: 56991
3600.01/3610.70 c Program interrupted by user.
3600.01/3610.70 c cpu time 3586.32 s
3600.01/3610.70 c deterministic time 668553079488 6.69e+11
3600.01/3610.70 c optimization time 8.90541 s
3600.01/3610.70 c total solve time 3278.31 s
3600.01/3610.70 c core-guided solve time 3278.31 s
3600.01/3610.70 c propagation time 2340.32 s
3600.01/3610.70 c conflict analysis time 845.354 s
3600.01/3610.70 c propagations 981917840
3600.01/3610.70 c resolve steps 41083853
3600.01/3610.70 c decisions 7868526
3600.01/3610.70 c conflicts 2029027
3600.01/3610.70 c restarts 4000
3600.01/3610.70 c inprocessing phases 133
3600.01/3610.70 c input clauses 21245
3600.01/3610.70 c input cardinalities 7
3600.01/3610.70 c input general constraints 0
3600.01/3610.70 c input average constraint length 2.75
3600.01/3610.70 c input average constraint degree 1.06
3600.01/3610.70 c learned clauses 1563514
3600.01/3610.70 c learned cardinalities 21216
3600.01/3610.70 c learned general constraints 444300
3600.01/3610.70 c learned average constraint length 1105.32
3600.01/3610.70 c learned average constraint degree 445036.69
3600.01/3610.70 c watched constraints 318843
3600.01/3610.70 c counting constraints 125457
3600.01/3610.70 c gcd simplifications 11993
3600.01/3610.70 c detected cardinalities 59
3600.01/3610.70 c weakened non-implied lits 570701946
3600.01/3610.70 c weakened non-implying lits 191818
3600.01/3610.70 c original variables 6027
3600.01/3610.70 c clausal propagations 869348205
3600.01/3610.70 c cardinality propagations 22056489
3600.01/3610.70 c watched propagations 17952456
3600.01/3610.70 c counting propagations 65277263
3600.01/3610.70 c watch lookups 30417595978
3600.01/3610.70 c watch backjump lookups 25321358313
3600.01/3610.70 c watch checks 556593309235
3600.01/3610.70 c propagation checks 48038417238
3600.01/3610.70 c constraint additions 6200800940
3600.01/3610.70 c trail pops 991811417
3600.01/3610.70 c formula constraints 21245
3600.01/3610.70 c learned constraints 2029030
3600.01/3610.70 c bound constraints 7
3600.01/3610.70 c core-guided constraints 0
3600.01/3610.70 c encountered formula constraints 34040079
3600.01/3610.70 c encountered learned constraints 9072778
3600.01/3610.70 c encountered bound constraints 23
3600.01/3610.70 c encountered core-guided constraints 0
3600.01/3610.70 c LP total time 0 s
3600.01/3610.70 c LP solve time 0 s
3600.01/3610.70 c LP constraints added 0
3600.01/3610.70 c LP constraints removed 0
3600.01/3610.70 c LP pivots internal 0
3600.01/3610.70 c LP pivots root 0
3600.01/3610.70 c LP calls 0
3600.01/3610.70 c LP optimalities 0
3600.01/3610.70 c LP no pivot count 0
3600.01/3610.70 c LP infeasibilities 0
3600.01/3610.70 c LP valid Farkas constraints 0
3600.01/3610.70 c LP learned Farkas constraints 0
3600.01/3610.70 c LP basis resets 0
3600.01/3610.70 c LP cycling count 0
3600.01/3610.70 c LP singular count 0
3600.01/3610.70 c LP no primal count 0
3600.01/3610.70 c LP no farkas count 0
3600.01/3610.70 c LP other issue count 0
3600.01/3610.70 c LP Gomory cuts 0
3600.01/3610.70 c LP learned cuts 0
3600.01/3610.70 c LP deleted cuts 0
3600.01/3610.70 c LP encountered Gomory constraints 0
3600.01/3610.70 c LP encountered Farkas constraints 0
3600.01/3610.70 c LP encountered learned Farkas constraints 0
3600.01/3610.70 c CG auxiliary variables introduced 0
3600.01/3610.70 c CG solutions found 0
3600.01/3610.70 c CG cores constructed 6
3600.01/3610.70 c CG core cardinality constraints returned 0
3600.01/3610.70 c CG unit cores 0
3600.01/3610.70 c CG single cores 6
3600.01/3610.70 c CG blocks removed during cardinality reduction 0
3600.01/3610.70 c CG first core best 0
3600.01/3610.70 c CG decision core best 0
3600.01/3610.70 c CG core reduction tie 0
3600.01/3610.70 c CG core degree average 1.00
3600.01/3610.70 c CG core slack average 50.83
3600.01/3610.70 c CG exhausted 0
3600.01/3610.70 c CG exhaust time 0 s
3600.01/3610.70 c CG trimmed 0
3600.01/3610.70 c CG trim time 0.000675 s
3600.01/3610.70 c CG minimized 0
3600.01/3610.70 c CG minimize time 0 s
3600.01/3610.70 c CG am1 prop time 0.001516 s
3600.01/3610.70 c CG # am1s reformulated 0
3600.01/3610.70 c CG lower bound derived from am1s 0
3600.01/3610.70 c CG # clausal cores 6
3600.01/3610.70 c CG # cardinality cores 0
3600.01/3610.70 c CG # pb cores 0
3600.01/3610.70 c CG # pb reforms 0
3600.01/3610.70 c CG # cores discarded because of pb reform 0
3600.01/3610.70 d LOWERBOUND 6
3600.01/3610.70 d NCORES 6
3600.01/3610.70 d NPBCORES 0
3600.01/3610.70 d NPBREFORM 0
3600.01/3610.70 d NTRIMMED 0
3600.01/3610.70 d NEXHAUSTED 0
3600.01/3610.70 d NAM1S 0
3600.01/3610.70 d AM1LB 0
3600.01/3610.70 c [Papilo Statistics]
3600.01/3610.70 c prepro time 0.023049s
3600.01/3610.70 c # tsx applied 29
3600.01/3610.70 c # tsx conflicts 0
3600.01/3610.70 c # bound changes 5
3600.01/3610.70 c # side changes 18
3600.01/3610.70 c # coef changes 64
3600.01/3610.70 c # rounds 2
3600.01/3610.70 c # deted vars 14
3600.01/3610.70 c # deted constrs 33
3600.01/3610.70 c # consecutive rounds of only bound changes 0
3600.01/3610.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (58716 MiB free)
memory of node 1: 64507 MiB (53109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529019-1752258215/watcher-4529019-1752258215 -o /tmp/evaluation-result-4529019-1752258215/solver-4529019-1752258215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752258128-123323 --watchdog 3760 mixed-bag HOME/instance-4529019-1752258215.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=124462, runsolver pid=124459
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 3.37 1.80 1.99 5/265 124463
/proc/meminfo: memFree=114489932/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=124724 memory=52496 CPUtime=0.09 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 11419 0 0 0 8 1 0 0 20 0 1 0 141499447 127717376 13092 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 31181 13124 3904 2834 0 13386 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124724 KiB
Current children cumulated memory: 52496 KiB
[startup+0.205678 s]*
/proc/loadavg: 3.37 1.80 1.99 5/265 124463
/proc/meminfo: memFree=114441548/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=148780 memory=75692 CPUtime=0.2 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 19571 0 0 0 17 3 0 0 20 0 1 0 141499447 152350720 18923 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 37195 18923 3936 2834 0 19400 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 148780 KiB
Current children cumulated memory: 75692 KiB
[startup+0.305458 s]*
/proc/loadavg: 3.37 1.80 1.99 5/265 124463
/proc/meminfo: memFree=114441548/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=159788 memory=85932 CPUtime=0.29 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 22092 0 0 0 26 3 0 0 20 0 1 0 141499447 163622912 21483 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 39947 21483 4000 2834 0 22152 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 159788 KiB
Current children cumulated memory: 85932 KiB
[startup+0.700179 s]
/proc/loadavg: 3.37 1.80 1.99 6/265 124463
/proc/meminfo: memFree=114417784/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=235268 memory=151852 CPUtime=0.68 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 38419 0 0 0 62 6 0 0 20 0 1 0 141499447 240914432 37963 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 58817 37963 4192 2834 0 41022 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 235268 KiB
Current children cumulated memory: 151852 KiB
[startup+1.50018 s]
/proc/loadavg: 3.37 1.80 1.99 5/265 124463
/proc/meminfo: memFree=114377464/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=260064 memory=175148 CPUtime=1.48 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 44246 0 0 0 141 7 0 0 20 0 1 0 141499447 266305536 43787 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 65016 43787 4224 2834 0 47221 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 260064 KiB
Current children cumulated memory: 175148 KiB
[startup+3.10529 s]
/proc/loadavg: 3.37 1.80 1.99 5/265 124463
/proc/meminfo: memFree=114345540/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=265308 memory=180652 CPUtime=3.08 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 45641 0 0 0 301 7 0 0 20 0 1 0 141499447 271675392 45163 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 66327 45163 4224 2834 0 48532 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 265308 KiB
Current children cumulated memory: 180652 KiB
[startup+6.30017 s]
/proc/loadavg: 3.42 1.84 2.00 5/265 124463
/proc/meminfo: memFree=114080164/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=309036 memory=213548 CPUtime=6.26 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 53889 0 0 0 618 8 0 0 20 0 1 0 141499447 316452864 53387 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 77259 53387 4224 2834 0 59464 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 309036 KiB
Current children cumulated memory: 213548 KiB
[startup+12.7002 s]
/proc/loadavg: 3.46 1.87 2.01 5/265 124463
/proc/meminfo: memFree=114011940/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=359328 memory=260268 CPUtime=12.65 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 65567 0 0 0 1255 10 0 0 20 0 1 0 141499447 367951872 65067 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 89832 65067 4224 2834 0 72037 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 359328 KiB
Current children cumulated memory: 260268 KiB
[startup+25.5002 s]
/proc/loadavg: 3.58 1.98 2.04 5/265 124508
/proc/meminfo: memFree=113598884/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=359328 memory=260524 CPUtime=25.4 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 65620 0 0 0 2530 10 0 0 20 0 1 0 141499447 367951872 65131 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 89832 65131 4224 2834 0 72037 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 359328 KiB
Current children cumulated memory: 260524 KiB
[startup+51.1054 s]
/proc/loadavg: 3.86 2.18 2.10 5/265 124508
/proc/meminfo: memFree=113254788/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=359328 memory=260524 CPUtime=50.93 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 65641 0 0 0 5083 10 0 0 20 0 1 0 141499447 367951872 65131 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 89832 65131 4224 2834 0 72037 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 359328 KiB
Current children cumulated memory: 260524 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 2.47 2.21 5/265 124510
/proc/meminfo: memFree=113179320/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=359328 memory=260908 CPUtime=101.96 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 65740 0 0 0 10186 10 0 0 20 0 1 0 141499447 367951872 65227 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 89832 65227 4224 2834 0 72037 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 359328 KiB
Current children cumulated memory: 260908 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 2.77 2.33 5/265 124512
/proc/meminfo: memFree=113136716/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=369876 memory=262700 CPUtime=161.76 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 66171 0 0 0 16166 10 0 0 20 0 1 0 141499447 378753024 65675 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 92469 65675 4224 2834 0 74674 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 369876 KiB
Current children cumulated memory: 262700 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.01 2.44 5/264 124514
/proc/meminfo: memFree=113061008/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=391716 memory=284592 CPUtime=221.58 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 72167 0 0 0 22147 11 0 0 20 0 1 0 141499447 401117184 71148 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 97929 71148 4224 2834 0 80134 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 391716 KiB
Current children cumulated memory: 284592 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.21 2.55 5/263 124518
/proc/meminfo: memFree=113002032/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=432248 memory=320432 CPUtime=281.39 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 81148 0 0 0 28126 13 0 0 20 0 1 0 141499447 442621952 80108 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 108062 80108 4224 2834 0 90267 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 432248 KiB
Current children cumulated memory: 320432 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.39 2.65 5/263 124525
/proc/meminfo: memFree=112846456/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=466016 memory=355656 CPUtime=341.21 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 83364 0 0 0 34072 49 0 0 20 0 1 0 141499447 477200384 88914 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 116504 88914 4384 2834 0 98709 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 466016 KiB
Current children cumulated memory: 355656 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.52 2.75 5/263 124527
/proc/meminfo: memFree=112367640/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=466016 memory=367632 CPUtime=401.03 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 83808 0 0 0 40014 89 0 0 20 0 1 0 141499447 477200384 91908 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 116504 91908 4384 2834 0 98709 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 466016 KiB
Current children cumulated memory: 367632 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.62 2.83 5/264 124530
/proc/meminfo: memFree=111227048/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=496836 memory=384464 CPUtime=460.86 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 83941 0 0 0 45959 127 0 0 20 0 1 0 141499447 508760064 96116 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 124209 96116 4384 2834 0 106414 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 530912 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.16 4.08 5/264 124741
/proc/meminfo: memFree=111764636/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=2913.42 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 290212 1130 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 2913.42 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/263 124743
/proc/meminfo: memFree=111766120/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=2973.26 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 296178 1148 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.11 4.07 5/263 124745
/proc/meminfo: memFree=111752560/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3033.1 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 302142 1168 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.14 4.08 5/262 124747
/proc/meminfo: memFree=111753964/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3092.94 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 308099 1195 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/262 124749
/proc/meminfo: memFree=111750428/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3152.79 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 314063 1216 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3152.79 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/262 124751
/proc/meminfo: memFree=111729844/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3212.63 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 320024 1239 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/263 124756
/proc/meminfo: memFree=111733300/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3272.47 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 325989 1258 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/263 124762
/proc/meminfo: memFree=111738812/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3332.3 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 331957 1273 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 124764
/proc/meminfo: memFree=111735704/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3392.15 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 337920 1295 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.08 5/265 124769
/proc/meminfo: memFree=111753020/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3451.99 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 343881 1318 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 124771
/proc/meminfo: memFree=111758192/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3511.83 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 349849 1334 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 124817
/proc/meminfo: memFree=109291632/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3571.69 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 355811 1358 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.17 4.12 4.09 5/265 124818
/proc/meminfo: memFree=109353076/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3600.01 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 358632 1369 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 124462 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.32 s, system=13.6929 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.17 4.12 4.09 5/265 124818
/proc/meminfo: memFree=109353076/131249996 swapFree=33010684/33010684
[pid=124462] ppid=124459 vsize=628312 memory=545248 CPUtime=3600.01 cores=1,3
/proc/124462/stat : 124462 (mixed-bag) R 124459 124462 123311 0 -1 4194304 85320 0 0 0 358632 1369 0 0 20 0 1 0 141499447 643391488 136312 18446744073709551615 4235264 15840557 140730285861184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 51773440 140730285865370 140730285865447 140730285865447 140730285871051 0
/proc/124462/statm: 157078 136312 4384 2834 0 139283 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 628312 KiB
Current children cumulated memory: 545248 KiB
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.02
CPU user time (s): 3586.32
CPU system time (s): 13.6929
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 628312
Max. memory (cumulated for all children) (KiB): 545248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.32
system time used= 13.6929
maximum resident set size= 546272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180
involuntary context switches= 2136
# summary of solver processes directly reported to runsolver:
# pid: 124462
# total CPU time (s): 3600.02
# total CPU user time (s): 3586.32
# total CPU system time (s): 13.6929
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57419 second user time and 15.8547 second system time
The end
Begin job on nodeC024 at 2025-07-11 20:23:35
IDJOB=4529019
IDBENCH=148185
IDSOLVER=3386
FILE ID=nodeC024/4529019-1752258215
RUNJOBID= nodeC024-1752258128-123323
SLURM_JOB_ID= 9682612
Free space on /tmp= 432296 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529019-1752258215/watcher-4529019-1752258215 -o /tmp/evaluation-result-4529019-1752258215/solver-4529019-1752258215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752258128-123323 --watchdog 3760 mixed-bag HOME/instance-4529019-1752258215.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1281301228
nodeC024 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.672
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.36
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.681
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.36
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 : 3600.406
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.36
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.888
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.36
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.752
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.36
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.649
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.36
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 : 3595.544
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.550
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 114510504 kB
MemAvailable: 127615628 kB
Buffers: 2144 kB
Cached: 13868836 kB
SwapCached: 0 kB
Active: 2615016 kB
Inactive: 13288172 kB
Active(anon): 2050240 kB
Inactive(anon): 36 kB
Active(file): 564776 kB
Inactive(file): 13288136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 48852 kB
Writeback: 4 kB
AnonPages: 2034320 kB
Mapped: 138436 kB
Shmem: 18064 kB
KReclaimable: 182500 kB
Slab: 276500 kB
SReclaimable: 182500 kB
SUnreclaim: 94000 kB
KernelStack: 4256 kB
PageTables: 7464 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2538488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 415744 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432176 MiB
End job on nodeC024 at 2025-07-11 21:23:46