0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.09/0.11 c [STEP] preprocessing with Papilo
0.19/0.22 c Papilo could not simplify the problem
0.19/0.22 c [STEP] solving with SCIP
299.18/300.36 c [STEP] preprocessing done, loading into solver
299.28/300.45 c [STEP] solving
299.28/300.45 c #variables 946 #constraints 59186
299.28/300.45 c SMALL=int, LARGE=long long
299.28/300.45 c bounds - >= -945 @ 299.043
299.28/300.45 c stratification level: 0
324.59/325.81 c bounds - >= -179 @ 299.07
324.59/325.81 c bounds - >= -178 @ 299.071
324.59/325.81 c bounds - >= -177 @ 299.071
324.59/325.81 c bounds - >= -176 @ 299.071
324.59/325.81 c bounds - >= -175 @ 299.072
324.59/325.81 c bounds - >= -174 @ 299.072
324.59/325.81 c bounds - >= -173 @ 299.073
324.59/325.81 c bounds - >= -172 @ 299.074
324.59/325.81 c bounds - >= -171 @ 299.074
324.59/325.81 c bounds - >= -170 @ 299.075
324.59/325.81 c bounds - >= -169 @ 299.075
324.59/325.81 c bounds - >= -168 @ 299.075
324.59/325.81 c bounds - >= -167 @ 299.075
324.59/325.81 c bounds - >= -166 @ 299.075
324.59/325.81 c bounds - >= -165 @ 299.075
324.59/325.81 c bounds - >= -164 @ 299.076
324.59/325.81 c bounds - >= -163 @ 299.076
324.59/325.81 c bounds - >= -162 @ 299.076
324.59/325.81 c bounds - >= -161 @ 299.076
324.59/325.81 c bounds - >= -160 @ 299.076
324.59/325.81 c bounds - >= -159 @ 299.076
324.59/325.81 c bounds - >= -158 @ 299.077
324.59/325.81 c #Conflicts: 1000 | #Constraints: 60388
324.59/325.81 c #Conflicts: 2000 | #Constraints: 61388
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 3000 | #Constraints: 61383
324.59/325.81 c #Conflicts: 4000 | #Constraints: 62383
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 5000 | #Constraints: 61794
324.59/325.81 c #Conflicts: 6000 | #Constraints: 62794
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 7000 | #Constraints: 61805
324.59/325.81 c #Conflicts: 8000 | #Constraints: 62805
324.59/325.81 c #Conflicts: 9000 | #Constraints: 63805
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 10000 | #Constraints: 62509
324.59/325.81 c #Conflicts: 11000 | #Constraints: 63509
324.59/325.81 c #Conflicts: 12000 | #Constraints: 64509
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 13000 | #Constraints: 62963
324.59/325.81 c #Conflicts: 14000 | #Constraints: 63963
324.59/325.81 c #Conflicts: 15000 | #Constraints: 64963
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 16000 | #Constraints: 63190
324.59/325.81 c #Conflicts: 17000 | #Constraints: 64190
324.59/325.81 c #Conflicts: 18000 | #Constraints: 65190
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 19000 | #Constraints: 63206
324.59/325.81 c #Conflicts: 20000 | #Constraints: 64206
324.59/325.81 c #Conflicts: 21000 | #Constraints: 65206
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 22000 | #Constraints: 63010
324.59/325.81 c #Conflicts: 23000 | #Constraints: 64010
324.59/325.81 c #Conflicts: 24000 | #Constraints: 65010
324.59/325.81 c #Conflicts: 25000 | #Constraints: 66010
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 26000 | #Constraints: 63616
324.59/325.81 c #Conflicts: 27000 | #Constraints: 64616
324.59/325.81 c #Conflicts: 28000 | #Constraints: 65616
324.59/325.81 c #Conflicts: 29000 | #Constraints: 66616
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 30000 | #Constraints: 64017
324.59/325.81 c #Conflicts: 31000 | #Constraints: 65017
324.59/325.81 c #Conflicts: 32000 | #Constraints: 66017
324.59/325.81 c #Conflicts: 33000 | #Constraints: 67017
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 34000 | #Constraints: 64215
324.59/325.81 c #Conflicts: 35000 | #Constraints: 65215
324.59/325.81 c #Conflicts: 36000 | #Constraints: 66215
324.59/325.81 c #Conflicts: 37000 | #Constraints: 67215
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 38000 | #Constraints: 64219
324.59/325.81 c #Conflicts: 39000 | #Constraints: 65219
324.59/325.81 c #Conflicts: 40000 | #Constraints: 66219
324.59/325.81 c #Conflicts: 41000 | #Constraints: 67219
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 42000 | #Constraints: 64026
324.59/325.81 c #Conflicts: 43000 | #Constraints: 65026
324.59/325.81 c #Conflicts: 44000 | #Constraints: 66026
324.59/325.81 c #Conflicts: 45000 | #Constraints: 67026
324.59/325.81 c #Conflicts: 46000 | #Constraints: 68026
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 47000 | #Constraints: 64617
324.59/325.81 c #Conflicts: 48000 | #Constraints: 65617
324.59/325.81 c #Conflicts: 49000 | #Constraints: 66617
324.59/325.81 c #Conflicts: 50000 | #Constraints: 67617
324.59/325.81 c #Conflicts: 51000 | #Constraints: 68617
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 52000 | #Constraints: 65022
324.59/325.81 c #Conflicts: 53000 | #Constraints: 66022
324.59/325.81 c #Conflicts: 54000 | #Constraints: 67022
324.59/325.81 c #Conflicts: 55000 | #Constraints: 68022
324.59/325.81 c #Conflicts: 56000 | #Constraints: 69022
324.59/325.81 c INPROCESSING
324.59/325.81 c GARBAGE COLLECT
324.59/325.81 c #Conflicts: 57000 | #Constraints: 65228
370.81/372.26 c #Conflicts: 58000 | #Constraints: 66228
370.81/372.26 c #Conflicts: 59000 | #Constraints: 67228
370.81/372.26 c #Conflicts: 60000 | #Constraints: 68228
370.81/372.26 c #Conflicts: 61000 | #Constraints: 69228
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 62000 | #Constraints: 65229
370.81/372.26 c #Conflicts: 63000 | #Constraints: 66229
370.81/372.26 c #Conflicts: 64000 | #Constraints: 67229
370.81/372.26 c #Conflicts: 65000 | #Constraints: 68229
370.81/372.26 c #Conflicts: 66000 | #Constraints: 69229
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 67000 | #Constraints: 65029
370.81/372.26 c #Conflicts: 68000 | #Constraints: 66029
370.81/372.26 c #Conflicts: 69000 | #Constraints: 67029
370.81/372.26 c #Conflicts: 70000 | #Constraints: 68029
370.81/372.26 c #Conflicts: 71000 | #Constraints: 69029
370.81/372.26 c #Conflicts: 72000 | #Constraints: 70029
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 73000 | #Constraints: 65631
370.81/372.26 c #Conflicts: 74000 | #Constraints: 66631
370.81/372.26 c #Conflicts: 75000 | #Constraints: 67631
370.81/372.26 c #Conflicts: 76000 | #Constraints: 68631
370.81/372.26 c #Conflicts: 77000 | #Constraints: 69631
370.81/372.26 c #Conflicts: 78000 | #Constraints: 70631
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 79000 | #Constraints: 66036
370.81/372.26 c #Conflicts: 80000 | #Constraints: 67036
370.81/372.26 c #Conflicts: 81000 | #Constraints: 68036
370.81/372.26 c #Conflicts: 82000 | #Constraints: 69036
370.81/372.26 c #Conflicts: 83000 | #Constraints: 70036
370.81/372.26 c #Conflicts: 84000 | #Constraints: 71036
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 85000 | #Constraints: 66236
370.81/372.26 c #Conflicts: 86000 | #Constraints: 67236
370.81/372.26 c #Conflicts: 87000 | #Constraints: 68236
370.81/372.26 c #Conflicts: 88000 | #Constraints: 69236
370.81/372.26 c #Conflicts: 89000 | #Constraints: 70236
370.81/372.26 c #Conflicts: 90000 | #Constraints: 71236
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 91000 | #Constraints: 66236
370.81/372.26 c #Conflicts: 92000 | #Constraints: 67236
370.81/372.26 c #Conflicts: 93000 | #Constraints: 68236
370.81/372.26 c #Conflicts: 94000 | #Constraints: 69236
370.81/372.26 c #Conflicts: 95000 | #Constraints: 70236
370.81/372.26 c #Conflicts: 96000 | #Constraints: 71236
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 97000 | #Constraints: 66036
370.81/372.26 c #Conflicts: 98000 | #Constraints: 67036
370.81/372.26 c #Conflicts: 99000 | #Constraints: 68036
370.81/372.26 c #Conflicts: 100000 | #Constraints: 69036
370.81/372.26 c #Conflicts: 101000 | #Constraints: 70036
370.81/372.26 c #Conflicts: 102000 | #Constraints: 71036
370.81/372.26 c #Conflicts: 103000 | #Constraints: 72036
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 104000 | #Constraints: 66634
370.81/372.26 c #Conflicts: 105000 | #Constraints: 67634
370.81/372.26 c #Conflicts: 106000 | #Constraints: 68634
370.81/372.26 c #Conflicts: 107000 | #Constraints: 69634
370.81/372.26 c #Conflicts: 108000 | #Constraints: 70634
370.81/372.26 c #Conflicts: 109000 | #Constraints: 71634
370.81/372.26 c #Conflicts: 110000 | #Constraints: 72634
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 111000 | #Constraints: 67038
370.81/372.26 c #Conflicts: 112000 | #Constraints: 68038
370.81/372.26 c #Conflicts: 113000 | #Constraints: 69038
370.81/372.26 c #Conflicts: 114000 | #Constraints: 70038
370.81/372.26 c #Conflicts: 115000 | #Constraints: 71038
370.81/372.26 c #Conflicts: 116000 | #Constraints: 72038
370.81/372.26 c #Conflicts: 117000 | #Constraints: 73038
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 118000 | #Constraints: 67237
370.81/372.26 c #Conflicts: 119000 | #Constraints: 68237
370.81/372.26 c #Conflicts: 120000 | #Constraints: 69237
370.81/372.26 c #Conflicts: 121000 | #Constraints: 70237
370.81/372.26 c #Conflicts: 122000 | #Constraints: 71237
370.81/372.26 c #Conflicts: 123000 | #Constraints: 72237
370.81/372.26 c #Conflicts: 124000 | #Constraints: 73237
370.81/372.26 c INPROCESSING
370.81/372.26 c GARBAGE COLLECT
370.81/372.26 c #Conflicts: 125000 | #Constraints: 67239
370.81/372.26 c #Conflicts: 126000 | #Constraints: 68239
370.81/372.26 c #Conflicts: 127000 | #Constraints: 69239
370.81/372.26 c #Conflicts: 128000 | #Constraints: 70239
370.81/372.26 c #Conflicts: 129000 | #Constraints: 71239
430.29/431.94 c #Conflicts: 130000 | #Constraints: 72239
430.29/431.94 c #Conflicts: 131000 | #Constraints: 73239
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 132000 | #Constraints: 67037
430.29/431.94 c #Conflicts: 133000 | #Constraints: 68037
430.29/431.94 c #Conflicts: 134000 | #Constraints: 69037
430.29/431.94 c #Conflicts: 135000 | #Constraints: 70037
430.29/431.94 c #Conflicts: 136000 | #Constraints: 71037
430.29/431.94 c #Conflicts: 137000 | #Constraints: 72037
430.29/431.94 c #Conflicts: 138000 | #Constraints: 73037
430.29/431.94 c #Conflicts: 139000 | #Constraints: 74037
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 140000 | #Constraints: 67641
430.29/431.94 c #Conflicts: 141000 | #Constraints: 68641
430.29/431.94 c #Conflicts: 142000 | #Constraints: 69641
430.29/431.94 c #Conflicts: 143000 | #Constraints: 70641
430.29/431.94 c #Conflicts: 144000 | #Constraints: 71641
430.29/431.94 c #Conflicts: 145000 | #Constraints: 72641
430.29/431.94 c #Conflicts: 146000 | #Constraints: 73641
430.29/431.94 c #Conflicts: 147000 | #Constraints: 74641
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 148000 | #Constraints: 68038
430.29/431.94 c #Conflicts: 149000 | #Constraints: 69038
430.29/431.94 c #Conflicts: 150000 | #Constraints: 70038
430.29/431.94 c #Conflicts: 151000 | #Constraints: 71038
430.29/431.94 c #Conflicts: 152000 | #Constraints: 72038
430.29/431.94 c #Conflicts: 153000 | #Constraints: 73038
430.29/431.94 c #Conflicts: 154000 | #Constraints: 74038
430.29/431.94 c #Conflicts: 155000 | #Constraints: 75038
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 156000 | #Constraints: 68240
430.29/431.94 c #Conflicts: 157000 | #Constraints: 69240
430.29/431.94 c #Conflicts: 158000 | #Constraints: 70240
430.29/431.94 c #Conflicts: 159000 | #Constraints: 71240
430.29/431.94 c #Conflicts: 160000 | #Constraints: 72240
430.29/431.94 c #Conflicts: 161000 | #Constraints: 73240
430.29/431.94 c #Conflicts: 162000 | #Constraints: 74240
430.29/431.94 c #Conflicts: 163000 | #Constraints: 75240
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 164000 | #Constraints: 68240
430.29/431.94 c #Conflicts: 165000 | #Constraints: 69240
430.29/431.94 c #Conflicts: 166000 | #Constraints: 70240
430.29/431.94 c #Conflicts: 167000 | #Constraints: 71240
430.29/431.94 c #Conflicts: 168000 | #Constraints: 72240
430.29/431.94 c #Conflicts: 169000 | #Constraints: 73240
430.29/431.94 c #Conflicts: 170000 | #Constraints: 74240
430.29/431.94 c #Conflicts: 171000 | #Constraints: 75240
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 172000 | #Constraints: 68039
430.29/431.94 c #Conflicts: 173000 | #Constraints: 69039
430.29/431.94 c #Conflicts: 174000 | #Constraints: 70039
430.29/431.94 c #Conflicts: 175000 | #Constraints: 71039
430.29/431.94 c #Conflicts: 176000 | #Constraints: 72039
430.29/431.94 c #Conflicts: 177000 | #Constraints: 73039
430.29/431.94 c #Conflicts: 178000 | #Constraints: 74039
430.29/431.94 c #Conflicts: 179000 | #Constraints: 75039
430.29/431.94 c #Conflicts: 180000 | #Constraints: 76039
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 181000 | #Constraints: 68637
430.29/431.94 c #Conflicts: 182000 | #Constraints: 69637
430.29/431.94 c #Conflicts: 183000 | #Constraints: 70637
430.29/431.94 c #Conflicts: 184000 | #Constraints: 71637
430.29/431.94 c #Conflicts: 185000 | #Constraints: 72637
430.29/431.94 c #Conflicts: 186000 | #Constraints: 73637
430.29/431.94 c #Conflicts: 187000 | #Constraints: 74637
430.29/431.94 c #Conflicts: 188000 | #Constraints: 75637
430.29/431.94 c #Conflicts: 189000 | #Constraints: 76637
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 190000 | #Constraints: 69037
430.29/431.94 c #Conflicts: 191000 | #Constraints: 70037
430.29/431.94 c #Conflicts: 192000 | #Constraints: 71037
430.29/431.94 c #Conflicts: 193000 | #Constraints: 72037
430.29/431.94 c #Conflicts: 194000 | #Constraints: 73037
430.29/431.94 c #Conflicts: 195000 | #Constraints: 74037
430.29/431.94 c #Conflicts: 196000 | #Constraints: 75037
430.29/431.94 c #Conflicts: 197000 | #Constraints: 76037
430.29/431.94 c #Conflicts: 198000 | #Constraints: 77037
430.29/431.94 c INPROCESSING
430.29/431.94 c GARBAGE COLLECT
430.29/431.94 c #Conflicts: 199000 | #Constraints: 69237
430.29/431.94 c #Conflicts: 200000 | #Constraints: 70237
430.29/431.94 c #Conflicts: 201000 | #Constraints: 71237
430.29/431.94 c #Conflicts: 202000 | #Constraints: 72237
509.59/511.54 c #Conflicts: 203000 | #Constraints: 73237
509.59/511.54 c #Conflicts: 204000 | #Constraints: 74237
509.59/511.54 c #Conflicts: 205000 | #Constraints: 75237
509.59/511.54 c #Conflicts: 206000 | #Constraints: 76237
509.59/511.54 c #Conflicts: 207000 | #Constraints: 77237
509.59/511.54 c INPROCESSING
509.59/511.54 c GARBAGE COLLECT
509.59/511.54 c #Conflicts: 208000 | #Constraints: 69240
509.59/511.54 c #Conflicts: 209000 | #Constraints: 70240
509.59/511.54 c #Conflicts: 210000 | #Constraints: 71240
509.59/511.54 c #Conflicts: 211000 | #Constraints: 72240
509.59/511.54 c #Conflicts: 212000 | #Constraints: 73240
509.59/511.54 c #Conflicts: 213000 | #Constraints: 74240
509.59/511.54 c #Conflicts: 214000 | #Constraints: 75240
509.59/511.54 c #Conflicts: 215000 | #Constraints: 76240
509.59/511.54 c #Conflicts: 216000 | #Constraints: 77240
509.59/511.54 c INPROCESSING
509.59/511.54 c GARBAGE COLLECT
509.59/511.54 c #Conflicts: 217000 | #Constraints: 69042
509.59/511.54 c #Conflicts: 218000 | #Constraints: 70042
509.59/511.54 c #Conflicts: 219000 | #Constraints: 71042
509.59/511.54 c #Conflicts: 220000 | #Constraints: 72042
509.59/511.54 c #Conflicts: 221000 | #Constraints: 73042
509.59/511.54 c #Conflicts: 222000 | #Constraints: 74042
509.59/511.54 c #Conflicts: 223000 | #Constraints: 75042
509.59/511.54 c #Conflicts: 224000 | #Constraints: 76042
509.59/511.54 c #Conflicts: 225000 | #Constraints: 77042
509.59/511.54 c #Conflicts: 226000 | #Constraints: 78042
509.59/511.54 c INPROCESSING
509.59/511.54 c GARBAGE COLLECT
509.59/511.54 c #Conflicts: 227000 | #Constraints: 69642
509.59/511.54 c #Conflicts: 228000 | #Constraints: 70642
509.59/511.54 c #Conflicts: 229000 | #Constraints: 71642
509.59/511.54 c #Conflicts: 230000 | #Constraints: 72642
509.59/511.54 c #Conflicts: 231000 | #Constraints: 73642
509.59/511.54 c #Conflicts: 232000 | #Constraints: 74642
509.59/511.54 c #Conflicts: 233000 | #Constraints: 75642
509.59/511.54 c #Conflicts: 234000 | #Constraints: 76642
509.59/511.54 c #Conflicts: 235000 | #Constraints: 77642
509.59/511.54 c #Conflicts: 236000 | #Constraints: 78642
509.59/511.54 c INPROCESSING
509.59/511.54 c GARBAGE COLLECT
509.59/511.54 c #Conflicts: 237000 | #Constraints: 70040
509.59/511.54 c #Conflicts: 238000 | #Constraints: 71040
509.59/511.54 c #Conflicts: 239000 | #Constraints: 72040
509.59/511.54 c #Conflicts: 240000 | #Constraints: 73040
509.59/511.54 c #Conflicts: 241000 | #Constraints: 74040
509.59/511.54 c #Conflicts: 242000 | #Constraints: 75040
509.59/511.54 c #Conflicts: 243000 | #Constraints: 76040
509.59/511.54 c #Conflicts: 244000 | #Constraints: 77040
509.59/511.54 c #Conflicts: 245000 | #Constraints: 78040
509.59/511.54 c #Conflicts: 246000 | #Constraints: 79040
509.59/511.54 c INPROCESSING
509.59/511.54 c GARBAGE COLLECT
509.59/511.54 c #Conflicts: 247000 | #Constraints: 70242
509.59/511.54 c #Conflicts: 248000 | #Constraints: 71242
509.59/511.54 c #Conflicts: 249000 | #Constraints: 72242
509.59/511.54 c #Conflicts: 250000 | #Constraints: 73242
509.59/511.54 c #Conflicts: 251000 | #Constraints: 74242
509.59/511.54 c #Conflicts: 252000 | #Constraints: 75242
509.59/511.54 c #Conflicts: 253000 | #Constraints: 76242
509.59/511.54 c #Conflicts: 254000 | #Constraints: 77242
509.59/511.54 c #Conflicts: 255000 | #Constraints: 78242
509.59/511.54 c #Conflicts: 256000 | #Constraints: 79242
509.59/511.54 c INPROCESSING
509.59/511.54 c GARBAGE COLLECT
509.59/511.54 c #Conflicts: 257000 | #Constraints: 70242
509.59/511.54 c #Conflicts: 258000 | #Constraints: 71242
509.59/511.54 c #Conflicts: 259000 | #Constraints: 72242
509.59/511.54 c #Conflicts: 260000 | #Constraints: 73242
509.59/511.54 c #Conflicts: 261000 | #Constraints: 74242
509.59/511.54 c #Conflicts: 262000 | #Constraints: 75242
509.59/511.54 c #Conflicts: 263000 | #Constraints: 76242
509.59/511.54 c #Conflicts: 264000 | #Constraints: 77242
509.59/511.54 c #Conflicts: 265000 | #Constraints: 78242
509.59/511.54 c #Conflicts: 266000 | #Constraints: 79242
509.59/511.54 c INPROCESSING
509.59/511.54 c GARBAGE COLLECT
509.59/511.54 c #Conflicts: 267000 | #Constraints: 70047
509.59/511.54 c #Conflicts: 268000 | #Constraints: 71047
509.59/511.54 c #Conflicts: 269000 | #Constraints: 72047
509.59/511.54 c #Conflicts: 270000 | #Constraints: 73047
509.59/511.54 c #Conflicts: 271000 | #Constraints: 74047
509.59/511.54 c #Conflicts: 272000 | #Constraints: 75047
509.59/511.54 c #Conflicts: 273000 | #Constraints: 76047
509.59/511.54 c #Conflicts: 274000 | #Constraints: 77047
509.59/511.54 c #Conflicts: 275000 | #Constraints: 78047
509.59/511.54 c #Conflicts: 276000 | #Constraints: 79047
614.49/616.85 c #Conflicts: 277000 | #Constraints: 80047
614.49/616.85 c INPROCESSING
614.49/616.85 c GARBAGE COLLECT
614.49/616.85 c #Conflicts: 278000 | #Constraints: 70647
614.49/616.85 c #Conflicts: 279000 | #Constraints: 71647
614.49/616.85 c #Conflicts: 280000 | #Constraints: 72647
614.49/616.85 c #Conflicts: 281000 | #Constraints: 73647
614.49/616.85 c #Conflicts: 282000 | #Constraints: 74647
614.49/616.85 c #Conflicts: 283000 | #Constraints: 75647
614.49/616.85 c #Conflicts: 284000 | #Constraints: 76647
614.49/616.85 c #Conflicts: 285000 | #Constraints: 77647
614.49/616.85 c #Conflicts: 286000 | #Constraints: 78647
614.49/616.85 c #Conflicts: 287000 | #Constraints: 79647
614.49/616.85 c #Conflicts: 288000 | #Constraints: 80647
614.49/616.85 c INPROCESSING
614.49/616.85 c GARBAGE COLLECT
614.49/616.85 c #Conflicts: 289000 | #Constraints: 71045
614.49/616.85 c #Conflicts: 290000 | #Constraints: 72045
614.49/616.85 c #Conflicts: 291000 | #Constraints: 73045
614.49/616.85 c #Conflicts: 292000 | #Constraints: 74045
614.49/616.85 c #Conflicts: 293000 | #Constraints: 75045
614.49/616.85 c #Conflicts: 294000 | #Constraints: 76045
614.49/616.85 c #Conflicts: 295000 | #Constraints: 77045
614.49/616.85 c #Conflicts: 296000 | #Constraints: 78045
614.49/616.85 c #Conflicts: 297000 | #Constraints: 79045
614.49/616.85 c #Conflicts: 298000 | #Constraints: 80045
614.49/616.85 c #Conflicts: 299000 | #Constraints: 81045
614.49/616.85 c INPROCESSING
614.49/616.85 c GARBAGE COLLECT
614.49/616.85 c #Conflicts: 300000 | #Constraints: 71247
614.49/616.85 c #Conflicts: 301000 | #Constraints: 72247
614.49/616.85 c #Conflicts: 302000 | #Constraints: 73247
614.49/616.85 c #Conflicts: 303000 | #Constraints: 74247
614.49/616.85 c #Conflicts: 304000 | #Constraints: 75247
614.49/616.85 c #Conflicts: 305000 | #Constraints: 76247
614.49/616.85 c #Conflicts: 306000 | #Constraints: 77247
614.49/616.85 c #Conflicts: 307000 | #Constraints: 78247
614.49/616.85 c #Conflicts: 308000 | #Constraints: 79247
614.49/616.85 c #Conflicts: 309000 | #Constraints: 80247
614.49/616.85 c #Conflicts: 310000 | #Constraints: 81247
614.49/616.85 c INPROCESSING
614.49/616.85 c GARBAGE COLLECT
614.49/616.85 c #Conflicts: 311000 | #Constraints: 71254
614.49/616.85 c #Conflicts: 312000 | #Constraints: 72254
614.49/616.85 c bounds - >= -157 @ 557.785
614.49/616.85 c #Conflicts: 313000 | #Constraints: 73255
614.49/616.85 c #Conflicts: 314000 | #Constraints: 74255
614.49/616.85 c #Conflicts: 315000 | #Constraints: 75255
614.49/616.85 c #Conflicts: 316000 | #Constraints: 76255
614.49/616.85 c #Conflicts: 317000 | #Constraints: 77255
614.49/616.85 c #Conflicts: 318000 | #Constraints: 78255
614.49/616.85 c #Conflicts: 319000 | #Constraints: 79255
614.49/616.85 c #Conflicts: 320000 | #Constraints: 80255
614.49/616.85 c #Conflicts: 321000 | #Constraints: 81255
614.49/616.85 c INPROCESSING
614.49/616.85 c GARBAGE COLLECT
614.49/616.85 c #Conflicts: 322000 | #Constraints: 71017
614.49/616.85 c #Conflicts: 323000 | #Constraints: 72017
614.49/616.85 c #Conflicts: 324000 | #Constraints: 73017
614.49/616.85 c #Conflicts: 325000 | #Constraints: 74017
614.49/616.85 c #Conflicts: 326000 | #Constraints: 75017
614.49/616.85 c #Conflicts: 327000 | #Constraints: 76017
614.49/616.85 c #Conflicts: 328000 | #Constraints: 77017
614.49/616.85 c #Conflicts: 329000 | #Constraints: 78017
614.49/616.85 c #Conflicts: 330000 | #Constraints: 79017
614.49/616.85 c #Conflicts: 331000 | #Constraints: 80017
614.49/616.85 c #Conflicts: 332000 | #Constraints: 81017
614.49/616.85 c #Conflicts: 333000 | #Constraints: 82017
614.49/616.85 c INPROCESSING
614.49/616.85 c GARBAGE COLLECT
614.49/616.85 c #Conflicts: 334000 | #Constraints: 71602
614.49/616.85 c #Conflicts: 335000 | #Constraints: 72602
614.49/616.85 c #Conflicts: 336000 | #Constraints: 73602
614.49/616.85 c #Conflicts: 337000 | #Constraints: 74602
614.49/616.85 c #Conflicts: 338000 | #Constraints: 75602
614.49/616.85 c #Conflicts: 339000 | #Constraints: 76602
614.49/616.85 c #Conflicts: 340000 | #Constraints: 77602
614.49/616.85 c #Conflicts: 341000 | #Constraints: 78602
614.49/616.85 c #Conflicts: 342000 | #Constraints: 79602
614.49/616.85 c #Conflicts: 343000 | #Constraints: 80602
614.49/616.85 c #Conflicts: 344000 | #Constraints: 81602
614.49/616.85 c #Conflicts: 345000 | #Constraints: 82602
614.49/616.85 c INPROCESSING
614.49/616.85 c GARBAGE COLLECT
614.49/616.85 c #Conflicts: 346000 | #Constraints: 71988
614.49/616.85 c #Conflicts: 347000 | #Constraints: 72988
614.49/616.85 c #Conflicts: 348000 | #Constraints: 73988
614.49/616.85 c #Conflicts: 349000 | #Constraints: 74988
614.49/616.85 c #Conflicts: 350000 | #Constraints: 75988
728.97/731.70 c #Conflicts: 351000 | #Constraints: 76988
728.97/731.70 c #Conflicts: 352000 | #Constraints: 77988
728.97/731.70 c #Conflicts: 353000 | #Constraints: 78988
728.97/731.70 c #Conflicts: 354000 | #Constraints: 79988
728.97/731.70 c #Conflicts: 355000 | #Constraints: 80988
728.97/731.70 c #Conflicts: 356000 | #Constraints: 81988
728.97/731.70 c #Conflicts: 357000 | #Constraints: 82988
728.97/731.70 c INPROCESSING
728.97/731.70 c GARBAGE COLLECT
728.97/731.70 c #Conflicts: 358000 | #Constraints: 72181
728.97/731.70 c #Conflicts: 359000 | #Constraints: 73181
728.97/731.70 c #Conflicts: 360000 | #Constraints: 74181
728.97/731.70 c #Conflicts: 361000 | #Constraints: 75181
728.97/731.70 c #Conflicts: 362000 | #Constraints: 76181
728.97/731.70 c #Conflicts: 363000 | #Constraints: 77181
728.97/731.70 c #Conflicts: 364000 | #Constraints: 78181
728.97/731.70 c #Conflicts: 365000 | #Constraints: 79181
728.97/731.70 c #Conflicts: 366000 | #Constraints: 80181
728.97/731.70 c #Conflicts: 367000 | #Constraints: 81181
728.97/731.70 c #Conflicts: 368000 | #Constraints: 82181
728.97/731.70 c #Conflicts: 369000 | #Constraints: 83181
728.97/731.70 c INPROCESSING
728.97/731.70 c GARBAGE COLLECT
728.97/731.70 c #Conflicts: 370000 | #Constraints: 72178
728.97/731.70 c #Conflicts: 371000 | #Constraints: 73178
728.97/731.70 c #Conflicts: 372000 | #Constraints: 74178
728.97/731.70 c #Conflicts: 373000 | #Constraints: 75178
728.97/731.70 c #Conflicts: 374000 | #Constraints: 76178
728.97/731.70 c #Conflicts: 375000 | #Constraints: 77178
728.97/731.70 c #Conflicts: 376000 | #Constraints: 78178
728.97/731.70 c #Conflicts: 377000 | #Constraints: 79178
728.97/731.70 c #Conflicts: 378000 | #Constraints: 80178
728.97/731.70 c #Conflicts: 379000 | #Constraints: 81178
728.97/731.70 c #Conflicts: 380000 | #Constraints: 82178
728.97/731.70 c #Conflicts: 381000 | #Constraints: 83178
728.97/731.70 c INPROCESSING
728.97/731.70 c GARBAGE COLLECT
728.97/731.70 c #Conflicts: 382000 | #Constraints: 71976
728.97/731.70 c #Conflicts: 383000 | #Constraints: 72976
728.97/731.70 c #Conflicts: 384000 | #Constraints: 73976
728.97/731.70 c #Conflicts: 385000 | #Constraints: 74976
728.97/731.70 c #Conflicts: 386000 | #Constraints: 75976
728.97/731.70 c #Conflicts: 387000 | #Constraints: 76976
728.97/731.70 c #Conflicts: 388000 | #Constraints: 77976
728.97/731.70 c #Conflicts: 389000 | #Constraints: 78976
728.97/731.70 c #Conflicts: 390000 | #Constraints: 79976
728.97/731.70 c #Conflicts: 391000 | #Constraints: 80976
728.97/731.70 c #Conflicts: 392000 | #Constraints: 81976
728.97/731.70 c #Conflicts: 393000 | #Constraints: 82976
728.97/731.70 c #Conflicts: 394000 | #Constraints: 83976
728.97/731.70 c INPROCESSING
728.97/731.70 c GARBAGE COLLECT
728.97/731.70 c #Conflicts: 395000 | #Constraints: 72578
728.97/731.70 c #Conflicts: 396000 | #Constraints: 73578
728.97/731.70 c #Conflicts: 397000 | #Constraints: 74578
728.97/731.70 c #Conflicts: 398000 | #Constraints: 75578
728.97/731.70 c #Conflicts: 399000 | #Constraints: 76578
728.97/731.70 c #Conflicts: 400000 | #Constraints: 77578
728.97/731.70 c #Conflicts: 401000 | #Constraints: 78578
728.97/731.70 c #Conflicts: 402000 | #Constraints: 79578
728.97/731.70 c #Conflicts: 403000 | #Constraints: 80578
728.97/731.70 c #Conflicts: 404000 | #Constraints: 81578
728.97/731.70 c #Conflicts: 405000 | #Constraints: 82578
728.97/731.70 c #Conflicts: 406000 | #Constraints: 83578
728.97/731.70 c #Conflicts: 407000 | #Constraints: 84578
728.97/731.70 c INPROCESSING
728.97/731.70 c GARBAGE COLLECT
728.97/731.70 c #Conflicts: 408000 | #Constraints: 72978
728.97/731.70 c #Conflicts: 409000 | #Constraints: 73978
728.97/731.70 c #Conflicts: 410000 | #Constraints: 74978
728.97/731.70 c #Conflicts: 411000 | #Constraints: 75978
728.97/731.70 c #Conflicts: 412000 | #Constraints: 76978
728.97/731.70 c #Conflicts: 413000 | #Constraints: 77978
728.97/731.70 c #Conflicts: 414000 | #Constraints: 78978
728.97/731.70 c #Conflicts: 415000 | #Constraints: 79978
728.97/731.70 c #Conflicts: 416000 | #Constraints: 80978
728.97/731.70 c #Conflicts: 417000 | #Constraints: 81978
728.97/731.70 c #Conflicts: 418000 | #Constraints: 82978
728.97/731.70 c #Conflicts: 419000 | #Constraints: 83978
728.97/731.70 c #Conflicts: 420000 | #Constraints: 84978
728.97/731.70 c INPROCESSING
728.97/731.70 c GARBAGE COLLECT
728.97/731.70 c #Conflicts: 421000 | #Constraints: 73178
728.97/731.70 c #Conflicts: 422000 | #Constraints: 74178
728.97/731.70 c #Conflicts: 423000 | #Constraints: 75178
728.97/731.70 c #Conflicts: 424000 | #Constraints: 76178
728.97/731.70 c #Conflicts: 425000 | #Constraints: 77178
839.87/843.03 c #Conflicts: 426000 | #Constraints: 78178
839.87/843.03 c #Conflicts: 427000 | #Constraints: 79178
839.87/843.03 c #Conflicts: 428000 | #Constraints: 80178
839.87/843.03 c #Conflicts: 429000 | #Constraints: 81178
839.87/843.03 c #Conflicts: 430000 | #Constraints: 82178
839.87/843.03 c #Conflicts: 431000 | #Constraints: 83178
839.87/843.03 c #Conflicts: 432000 | #Constraints: 84178
839.87/843.03 c #Conflicts: 433000 | #Constraints: 85178
839.87/843.03 c INPROCESSING
839.87/843.03 c GARBAGE COLLECT
839.87/843.03 c #Conflicts: 434000 | #Constraints: 73180
839.87/843.03 c #Conflicts: 435000 | #Constraints: 74180
839.87/843.03 c #Conflicts: 436000 | #Constraints: 75180
839.87/843.03 c #Conflicts: 437000 | #Constraints: 76180
839.87/843.03 c #Conflicts: 438000 | #Constraints: 77180
839.87/843.03 c #Conflicts: 439000 | #Constraints: 78180
839.87/843.03 c #Conflicts: 440000 | #Constraints: 79180
839.87/843.03 c #Conflicts: 441000 | #Constraints: 80180
839.87/843.03 c #Conflicts: 442000 | #Constraints: 81180
839.87/843.03 c #Conflicts: 443000 | #Constraints: 82180
839.87/843.03 c #Conflicts: 444000 | #Constraints: 83180
839.87/843.03 c #Conflicts: 445000 | #Constraints: 84180
839.87/843.03 c #Conflicts: 446000 | #Constraints: 85180
839.87/843.03 c INPROCESSING
839.87/843.03 c GARBAGE COLLECT
839.87/843.03 c #Conflicts: 447000 | #Constraints: 72981
839.87/843.03 c #Conflicts: 448000 | #Constraints: 73981
839.87/843.03 c #Conflicts: 449000 | #Constraints: 74981
839.87/843.03 c #Conflicts: 450000 | #Constraints: 75981
839.87/843.03 c #Conflicts: 451000 | #Constraints: 76981
839.87/843.03 c #Conflicts: 452000 | #Constraints: 77981
839.87/843.03 c #Conflicts: 453000 | #Constraints: 78981
839.87/843.03 c #Conflicts: 454000 | #Constraints: 79981
839.87/843.03 c #Conflicts: 455000 | #Constraints: 80981
839.87/843.03 c #Conflicts: 456000 | #Constraints: 81981
839.87/843.03 c #Conflicts: 457000 | #Constraints: 82981
839.87/843.03 c #Conflicts: 458000 | #Constraints: 83981
839.87/843.03 c #Conflicts: 459000 | #Constraints: 84981
839.87/843.03 c #Conflicts: 460000 | #Constraints: 85981
839.87/843.03 c INPROCESSING
839.87/843.03 c GARBAGE COLLECT
839.87/843.03 c #Conflicts: 461000 | #Constraints: 73582
839.87/843.03 c #Conflicts: 462000 | #Constraints: 74582
839.87/843.03 c #Conflicts: 463000 | #Constraints: 75582
839.87/843.03 c #Conflicts: 464000 | #Constraints: 76582
839.87/843.03 c #Conflicts: 465000 | #Constraints: 77582
839.87/843.03 c #Conflicts: 466000 | #Constraints: 78582
839.87/843.03 c #Conflicts: 467000 | #Constraints: 79582
839.87/843.03 c #Conflicts: 468000 | #Constraints: 80582
839.87/843.03 c #Conflicts: 469000 | #Constraints: 81582
839.87/843.03 c #Conflicts: 470000 | #Constraints: 82582
839.87/843.03 c #Conflicts: 471000 | #Constraints: 83582
839.87/843.03 c #Conflicts: 472000 | #Constraints: 84582
839.87/843.03 c #Conflicts: 473000 | #Constraints: 85582
839.87/843.03 c #Conflicts: 474000 | #Constraints: 86582
839.87/843.03 c INPROCESSING
839.87/843.03 c GARBAGE COLLECT
839.87/843.03 c #Conflicts: 475000 | #Constraints: 73981
839.87/843.03 c #Conflicts: 476000 | #Constraints: 74981
839.87/843.03 c #Conflicts: 477000 | #Constraints: 75981
839.87/843.03 c #Conflicts: 478000 | #Constraints: 76981
839.87/843.03 c #Conflicts: 479000 | #Constraints: 77981
839.87/843.03 c #Conflicts: 480000 | #Constraints: 78981
839.87/843.03 c #Conflicts: 481000 | #Constraints: 79981
839.87/843.03 c #Conflicts: 482000 | #Constraints: 80981
839.87/843.03 c #Conflicts: 483000 | #Constraints: 81981
839.87/843.03 c #Conflicts: 484000 | #Constraints: 82981
839.87/843.03 c #Conflicts: 485000 | #Constraints: 83981
839.87/843.03 c #Conflicts: 486000 | #Constraints: 84981
839.87/843.03 c #Conflicts: 487000 | #Constraints: 85981
839.87/843.03 c #Conflicts: 488000 | #Constraints: 86981
839.87/843.03 c INPROCESSING
839.87/843.03 c GARBAGE COLLECT
839.87/843.03 c #Conflicts: 489000 | #Constraints: 74182
839.87/843.03 c #Conflicts: 490000 | #Constraints: 75182
839.87/843.03 c #Conflicts: 491000 | #Constraints: 76182
839.87/843.03 c #Conflicts: 492000 | #Constraints: 77182
839.87/843.03 c #Conflicts: 493000 | #Constraints: 78182
839.87/843.03 c #Conflicts: 494000 | #Constraints: 79182
839.87/843.03 c #Conflicts: 495000 | #Constraints: 80182
839.87/843.03 c #Conflicts: 496000 | #Constraints: 81182
839.87/843.03 c #Conflicts: 497000 | #Constraints: 82182
839.87/843.03 c #Conflicts: 498000 | #Constraints: 83182
839.87/843.03 c #Conflicts: 499000 | #Constraints: 84182
839.87/843.03 c #Conflicts: 500000 | #Constraints: 85182
976.75/980.40 c #Conflicts: 501000 | #Constraints: 86182
976.75/980.40 c #Conflicts: 502000 | #Constraints: 87182
976.75/980.40 c INPROCESSING
976.75/980.40 c GARBAGE COLLECT
976.75/980.40 c #Conflicts: 503000 | #Constraints: 74182
976.75/980.40 c #Conflicts: 504000 | #Constraints: 75182
976.75/980.40 c #Conflicts: 505000 | #Constraints: 76182
976.75/980.40 c #Conflicts: 506000 | #Constraints: 77182
976.75/980.40 c #Conflicts: 507000 | #Constraints: 78182
976.75/980.40 c #Conflicts: 508000 | #Constraints: 79182
976.75/980.40 c #Conflicts: 509000 | #Constraints: 80182
976.75/980.40 c #Conflicts: 510000 | #Constraints: 81182
976.75/980.40 c #Conflicts: 511000 | #Constraints: 82182
976.75/980.40 c #Conflicts: 512000 | #Constraints: 83182
976.75/980.40 c #Conflicts: 513000 | #Constraints: 84182
976.75/980.40 c #Conflicts: 514000 | #Constraints: 85182
976.75/980.40 c #Conflicts: 515000 | #Constraints: 86182
976.75/980.40 c #Conflicts: 516000 | #Constraints: 87182
976.75/980.40 c INPROCESSING
976.75/980.40 c GARBAGE COLLECT
976.75/980.40 c #Conflicts: 517000 | #Constraints: 73979
976.75/980.40 c #Conflicts: 518000 | #Constraints: 74979
976.75/980.40 c #Conflicts: 519000 | #Constraints: 75979
976.75/980.40 c #Conflicts: 520000 | #Constraints: 76979
976.75/980.40 c #Conflicts: 521000 | #Constraints: 77979
976.75/980.40 c #Conflicts: 522000 | #Constraints: 78979
976.75/980.40 c #Conflicts: 523000 | #Constraints: 79979
976.75/980.40 c #Conflicts: 524000 | #Constraints: 80979
976.75/980.40 c #Conflicts: 525000 | #Constraints: 81979
976.75/980.40 c #Conflicts: 526000 | #Constraints: 82979
976.75/980.40 c #Conflicts: 527000 | #Constraints: 83979
976.75/980.40 c #Conflicts: 528000 | #Constraints: 84979
976.75/980.40 c #Conflicts: 529000 | #Constraints: 85979
976.75/980.40 c #Conflicts: 530000 | #Constraints: 86979
976.75/980.40 c #Conflicts: 531000 | #Constraints: 87979
976.75/980.40 c INPROCESSING
976.75/980.40 c GARBAGE COLLECT
976.75/980.40 c #Conflicts: 532000 | #Constraints: 74579
976.75/980.40 c #Conflicts: 533000 | #Constraints: 75579
976.75/980.40 c #Conflicts: 534000 | #Constraints: 76579
976.75/980.40 c #Conflicts: 535000 | #Constraints: 77579
976.75/980.40 c #Conflicts: 536000 | #Constraints: 78579
976.75/980.40 c #Conflicts: 537000 | #Constraints: 79579
976.75/980.40 c #Conflicts: 538000 | #Constraints: 80579
976.75/980.40 c #Conflicts: 539000 | #Constraints: 81579
976.75/980.40 c #Conflicts: 540000 | #Constraints: 82579
976.75/980.40 c #Conflicts: 541000 | #Constraints: 83579
976.75/980.40 c #Conflicts: 542000 | #Constraints: 84579
976.75/980.40 c #Conflicts: 543000 | #Constraints: 85579
976.75/980.40 c #Conflicts: 544000 | #Constraints: 86579
976.75/980.40 c #Conflicts: 545000 | #Constraints: 87579
976.75/980.40 c #Conflicts: 546000 | #Constraints: 88579
976.75/980.40 c INPROCESSING
976.75/980.40 c GARBAGE COLLECT
976.75/980.40 c #Conflicts: 547000 | #Constraints: 74978
976.75/980.40 c #Conflicts: 548000 | #Constraints: 75978
976.75/980.40 c #Conflicts: 549000 | #Constraints: 76978
976.75/980.40 c #Conflicts: 550000 | #Constraints: 77978
976.75/980.40 c #Conflicts: 551000 | #Constraints: 78978
976.75/980.40 c #Conflicts: 552000 | #Constraints: 79978
976.75/980.40 c #Conflicts: 553000 | #Constraints: 80978
976.75/980.40 c #Conflicts: 554000 | #Constraints: 81978
976.75/980.40 c #Conflicts: 555000 | #Constraints: 82978
976.75/980.40 c #Conflicts: 556000 | #Constraints: 83978
976.75/980.40 c #Conflicts: 557000 | #Constraints: 84978
976.75/980.40 c #Conflicts: 558000 | #Constraints: 85978
976.75/980.40 c #Conflicts: 559000 | #Constraints: 86978
976.75/980.40 c #Conflicts: 560000 | #Constraints: 87978
976.75/980.40 c #Conflicts: 561000 | #Constraints: 88978
976.75/980.40 c INPROCESSING
976.75/980.40 c GARBAGE COLLECT
976.75/980.40 c #Conflicts: 562000 | #Constraints: 75179
976.75/980.40 c #Conflicts: 563000 | #Constraints: 76179
976.75/980.40 c #Conflicts: 564000 | #Constraints: 77179
976.75/980.40 c #Conflicts: 565000 | #Constraints: 78179
976.75/980.40 c #Conflicts: 566000 | #Constraints: 79179
976.75/980.40 c #Conflicts: 567000 | #Constraints: 80179
976.75/980.40 c #Conflicts: 568000 | #Constraints: 81179
976.75/980.40 c #Conflicts: 569000 | #Constraints: 82179
976.75/980.40 c #Conflicts: 570000 | #Constraints: 83179
976.75/980.40 c #Conflicts: 571000 | #Constraints: 84179
976.75/980.40 c #Conflicts: 572000 | #Constraints: 85179
976.75/980.40 c #Conflicts: 573000 | #Constraints: 86179
976.75/980.40 c #Conflicts: 574000 | #Constraints: 87179
976.75/980.40 c #Conflicts: 575000 | #Constraints: 88179
976.75/980.40 c #Conflicts: 576000 | #Constraints: 89179
1114.74/1118.93 c INPROCESSING
1114.74/1118.93 c GARBAGE COLLECT
1114.74/1118.93 c #Conflicts: 577000 | #Constraints: 75179
1114.74/1118.93 c #Conflicts: 578000 | #Constraints: 76179
1114.74/1118.93 c #Conflicts: 579000 | #Constraints: 77179
1114.74/1118.93 c #Conflicts: 580000 | #Constraints: 78179
1114.74/1118.93 c #Conflicts: 581000 | #Constraints: 79179
1114.74/1118.93 c #Conflicts: 582000 | #Constraints: 80179
1114.74/1118.93 c #Conflicts: 583000 | #Constraints: 81179
1114.74/1118.93 c #Conflicts: 584000 | #Constraints: 82179
1114.74/1118.93 c #Conflicts: 585000 | #Constraints: 83179
1114.74/1118.93 c #Conflicts: 586000 | #Constraints: 84179
1114.74/1118.93 c #Conflicts: 587000 | #Constraints: 85179
1114.74/1118.93 c #Conflicts: 588000 | #Constraints: 86179
1114.74/1118.93 c #Conflicts: 589000 | #Constraints: 87179
1114.74/1118.93 c #Conflicts: 590000 | #Constraints: 88179
1114.74/1118.93 c #Conflicts: 591000 | #Constraints: 89179
1114.74/1118.93 c INPROCESSING
1114.74/1118.93 c GARBAGE COLLECT
1114.74/1118.93 c #Conflicts: 592000 | #Constraints: 74979
1114.74/1118.93 c #Conflicts: 593000 | #Constraints: 75979
1114.74/1118.93 c #Conflicts: 594000 | #Constraints: 76979
1114.74/1118.93 c #Conflicts: 595000 | #Constraints: 77979
1114.74/1118.93 c #Conflicts: 596000 | #Constraints: 78979
1114.74/1118.93 c #Conflicts: 597000 | #Constraints: 79979
1114.74/1118.93 c #Conflicts: 598000 | #Constraints: 80979
1114.74/1118.93 c #Conflicts: 599000 | #Constraints: 81979
1114.74/1118.93 c #Conflicts: 600000 | #Constraints: 82979
1114.74/1118.93 c #Conflicts: 601000 | #Constraints: 83979
1114.74/1118.93 c #Conflicts: 602000 | #Constraints: 84979
1114.74/1118.93 c #Conflicts: 603000 | #Constraints: 85979
1114.74/1118.93 c #Conflicts: 604000 | #Constraints: 86979
1114.74/1118.93 c #Conflicts: 605000 | #Constraints: 87979
1114.74/1118.93 c #Conflicts: 606000 | #Constraints: 88979
1114.74/1118.93 c #Conflicts: 607000 | #Constraints: 89979
1114.74/1118.93 c INPROCESSING
1114.74/1118.93 c GARBAGE COLLECT
1114.74/1118.93 c #Conflicts: 608000 | #Constraints: 75580
1114.74/1118.93 c #Conflicts: 609000 | #Constraints: 76580
1114.74/1118.93 c #Conflicts: 610000 | #Constraints: 77580
1114.74/1118.93 c #Conflicts: 611000 | #Constraints: 78580
1114.74/1118.93 c #Conflicts: 612000 | #Constraints: 79580
1114.74/1118.93 c #Conflicts: 613000 | #Constraints: 80580
1114.74/1118.93 c #Conflicts: 614000 | #Constraints: 81580
1114.74/1118.93 c #Conflicts: 615000 | #Constraints: 82580
1114.74/1118.93 c #Conflicts: 616000 | #Constraints: 83580
1114.74/1118.93 c #Conflicts: 617000 | #Constraints: 84580
1114.74/1118.93 c #Conflicts: 618000 | #Constraints: 85580
1114.74/1118.93 c #Conflicts: 619000 | #Constraints: 86580
1114.74/1118.93 c #Conflicts: 620000 | #Constraints: 87580
1114.74/1118.93 c #Conflicts: 621000 | #Constraints: 88580
1114.74/1118.93 c #Conflicts: 622000 | #Constraints: 89580
1114.74/1118.93 c #Conflicts: 623000 | #Constraints: 90580
1114.74/1118.93 c INPROCESSING
1114.74/1118.93 c GARBAGE COLLECT
1114.74/1118.93 c #Conflicts: 624000 | #Constraints: 75982
1114.74/1118.93 c #Conflicts: 625000 | #Constraints: 76982
1114.74/1118.93 c #Conflicts: 626000 | #Constraints: 77982
1114.74/1118.93 c #Conflicts: 627000 | #Constraints: 78982
1114.74/1118.93 c #Conflicts: 628000 | #Constraints: 79982
1114.74/1118.93 c #Conflicts: 629000 | #Constraints: 80982
1114.74/1118.93 c #Conflicts: 630000 | #Constraints: 81982
1114.74/1118.93 c #Conflicts: 631000 | #Constraints: 82982
1114.74/1118.93 c #Conflicts: 632000 | #Constraints: 83982
1114.74/1118.93 c #Conflicts: 633000 | #Constraints: 84982
1114.74/1118.93 c #Conflicts: 634000 | #Constraints: 85982
1114.74/1118.93 c #Conflicts: 635000 | #Constraints: 86982
1114.74/1118.93 c #Conflicts: 636000 | #Constraints: 87982
1114.74/1118.93 c #Conflicts: 637000 | #Constraints: 88982
1114.74/1118.93 c #Conflicts: 638000 | #Constraints: 89982
1114.74/1118.93 c #Conflicts: 639000 | #Constraints: 90982
1114.74/1118.93 c INPROCESSING
1114.74/1118.93 c GARBAGE COLLECT
1114.74/1118.93 c #Conflicts: 640000 | #Constraints: 76179
1114.74/1118.93 c #Conflicts: 641000 | #Constraints: 77179
1114.74/1118.93 c #Conflicts: 642000 | #Constraints: 78179
1114.74/1118.93 c #Conflicts: 643000 | #Constraints: 79179
1114.74/1118.93 c #Conflicts: 644000 | #Constraints: 80179
1114.74/1118.93 c #Conflicts: 645000 | #Constraints: 81179
1114.74/1118.93 c #Conflicts: 646000 | #Constraints: 82179
1114.74/1118.93 c #Conflicts: 647000 | #Constraints: 83179
1114.74/1118.93 c #Conflicts: 648000 | #Constraints: 84179
1114.74/1118.93 c #Conflicts: 649000 | #Constraints: 85179
1114.74/1118.93 c #Conflicts: 650000 | #Constraints: 86179
1114.74/1118.93 c #Conflicts: 651000 | #Constraints: 87179
1114.74/1118.93 c #Conflicts: 652000 | #Constraints: 88179
1268.28/1273.00 c #Conflicts: 653000 | #Constraints: 89179
1268.28/1273.00 c #Conflicts: 654000 | #Constraints: 90179
1268.28/1273.00 c #Conflicts: 655000 | #Constraints: 91179
1268.28/1273.00 c INPROCESSING
1268.28/1273.00 c GARBAGE COLLECT
1268.28/1273.00 c #Conflicts: 656000 | #Constraints: 76182
1268.28/1273.00 c #Conflicts: 657000 | #Constraints: 77182
1268.28/1273.00 c #Conflicts: 658000 | #Constraints: 78182
1268.28/1273.00 c #Conflicts: 659000 | #Constraints: 79182
1268.28/1273.00 c #Conflicts: 660000 | #Constraints: 80182
1268.28/1273.00 c #Conflicts: 661000 | #Constraints: 81182
1268.28/1273.00 c #Conflicts: 662000 | #Constraints: 82182
1268.28/1273.00 c #Conflicts: 663000 | #Constraints: 83182
1268.28/1273.00 c #Conflicts: 664000 | #Constraints: 84182
1268.28/1273.00 c #Conflicts: 665000 | #Constraints: 85182
1268.28/1273.00 c #Conflicts: 666000 | #Constraints: 86182
1268.28/1273.00 c #Conflicts: 667000 | #Constraints: 87182
1268.28/1273.00 c #Conflicts: 668000 | #Constraints: 88182
1268.28/1273.00 c #Conflicts: 669000 | #Constraints: 89182
1268.28/1273.00 c #Conflicts: 670000 | #Constraints: 90182
1268.28/1273.00 c #Conflicts: 671000 | #Constraints: 91182
1268.28/1273.00 c INPROCESSING
1268.28/1273.00 c GARBAGE COLLECT
1268.28/1273.00 c #Conflicts: 672000 | #Constraints: 75979
1268.28/1273.00 c #Conflicts: 673000 | #Constraints: 76979
1268.28/1273.00 c #Conflicts: 674000 | #Constraints: 77979
1268.28/1273.00 c #Conflicts: 675000 | #Constraints: 78979
1268.28/1273.00 c #Conflicts: 676000 | #Constraints: 79979
1268.28/1273.00 c #Conflicts: 677000 | #Constraints: 80979
1268.28/1273.00 c #Conflicts: 678000 | #Constraints: 81979
1268.28/1273.00 c #Conflicts: 679000 | #Constraints: 82979
1268.28/1273.00 c #Conflicts: 680000 | #Constraints: 83979
1268.28/1273.00 c #Conflicts: 681000 | #Constraints: 84979
1268.28/1273.00 c #Conflicts: 682000 | #Constraints: 85979
1268.28/1273.00 c #Conflicts: 683000 | #Constraints: 86979
1268.28/1273.00 c #Conflicts: 684000 | #Constraints: 87979
1268.28/1273.00 c #Conflicts: 685000 | #Constraints: 88979
1268.28/1273.00 c #Conflicts: 686000 | #Constraints: 89979
1268.28/1273.00 c #Conflicts: 687000 | #Constraints: 90979
1268.28/1273.00 c #Conflicts: 688000 | #Constraints: 91979
1268.28/1273.00 c INPROCESSING
1268.28/1273.00 c GARBAGE COLLECT
1268.28/1273.00 c #Conflicts: 689000 | #Constraints: 76580
1268.28/1273.00 c #Conflicts: 690000 | #Constraints: 77580
1268.28/1273.00 c #Conflicts: 691000 | #Constraints: 78580
1268.28/1273.00 c #Conflicts: 692000 | #Constraints: 79580
1268.28/1273.00 c #Conflicts: 693000 | #Constraints: 80580
1268.28/1273.00 c #Conflicts: 694000 | #Constraints: 81580
1268.28/1273.00 c #Conflicts: 695000 | #Constraints: 82580
1268.28/1273.00 c #Conflicts: 696000 | #Constraints: 83580
1268.28/1273.00 c #Conflicts: 697000 | #Constraints: 84580
1268.28/1273.00 c #Conflicts: 698000 | #Constraints: 85580
1268.28/1273.00 c #Conflicts: 699000 | #Constraints: 86580
1268.28/1273.00 c #Conflicts: 700000 | #Constraints: 87580
1268.28/1273.00 c #Conflicts: 701000 | #Constraints: 88580
1268.28/1273.00 c #Conflicts: 702000 | #Constraints: 89580
1268.28/1273.00 c #Conflicts: 703000 | #Constraints: 90580
1268.28/1273.00 c #Conflicts: 704000 | #Constraints: 91580
1268.28/1273.00 c #Conflicts: 705000 | #Constraints: 92580
1268.28/1273.00 c INPROCESSING
1268.28/1273.00 c GARBAGE COLLECT
1268.28/1273.00 c #Conflicts: 706000 | #Constraints: 76981
1268.28/1273.00 c #Conflicts: 707000 | #Constraints: 77981
1268.28/1273.00 c #Conflicts: 708000 | #Constraints: 78981
1268.28/1273.00 c #Conflicts: 709000 | #Constraints: 79981
1268.28/1273.00 c #Conflicts: 710000 | #Constraints: 80981
1268.28/1273.00 c #Conflicts: 711000 | #Constraints: 81981
1268.28/1273.00 c #Conflicts: 712000 | #Constraints: 82981
1268.28/1273.00 c #Conflicts: 713000 | #Constraints: 83981
1268.28/1273.00 c #Conflicts: 714000 | #Constraints: 84981
1268.28/1273.00 c #Conflicts: 715000 | #Constraints: 85981
1268.28/1273.00 c #Conflicts: 716000 | #Constraints: 86981
1268.28/1273.00 c #Conflicts: 717000 | #Constraints: 87981
1268.28/1273.00 c #Conflicts: 718000 | #Constraints: 88981
1268.28/1273.00 c #Conflicts: 719000 | #Constraints: 89981
1268.28/1273.00 c #Conflicts: 720000 | #Constraints: 90981
1268.28/1273.00 c #Conflicts: 721000 | #Constraints: 91981
1268.28/1273.00 c #Conflicts: 722000 | #Constraints: 92981
1268.28/1273.00 c INPROCESSING
1268.28/1273.00 c GARBAGE COLLECT
1268.28/1273.00 c #Conflicts: 723000 | #Constraints: 77179
1268.28/1273.00 c #Conflicts: 724000 | #Constraints: 78179
1268.28/1273.00 c #Conflicts: 725000 | #Constraints: 79179
1268.28/1273.00 c #Conflicts: 726000 | #Constraints: 80179
1268.28/1273.00 c #Conflicts: 727000 | #Constraints: 81179
1424.19/1429.55 c #Conflicts: 728000 | #Constraints: 82179
1424.19/1429.55 c #Conflicts: 729000 | #Constraints: 83179
1424.19/1429.55 c #Conflicts: 730000 | #Constraints: 84179
1424.19/1429.55 c #Conflicts: 731000 | #Constraints: 85179
1424.19/1429.55 c #Conflicts: 732000 | #Constraints: 86179
1424.19/1429.55 c #Conflicts: 733000 | #Constraints: 87179
1424.19/1429.55 c #Conflicts: 734000 | #Constraints: 88179
1424.19/1429.55 c #Conflicts: 735000 | #Constraints: 89179
1424.19/1429.55 c #Conflicts: 736000 | #Constraints: 90179
1424.19/1429.55 c #Conflicts: 737000 | #Constraints: 91179
1424.19/1429.55 c #Conflicts: 738000 | #Constraints: 92179
1424.19/1429.55 c #Conflicts: 739000 | #Constraints: 93179
1424.19/1429.55 c INPROCESSING
1424.19/1429.55 c GARBAGE COLLECT
1424.19/1429.55 c #Conflicts: 740000 | #Constraints: 77181
1424.19/1429.55 c #Conflicts: 741000 | #Constraints: 78181
1424.19/1429.55 c #Conflicts: 742000 | #Constraints: 79181
1424.19/1429.55 c #Conflicts: 743000 | #Constraints: 80181
1424.19/1429.55 c #Conflicts: 744000 | #Constraints: 81181
1424.19/1429.55 c #Conflicts: 745000 | #Constraints: 82181
1424.19/1429.55 c #Conflicts: 746000 | #Constraints: 83181
1424.19/1429.55 c #Conflicts: 747000 | #Constraints: 84181
1424.19/1429.55 c #Conflicts: 748000 | #Constraints: 85181
1424.19/1429.55 c #Conflicts: 749000 | #Constraints: 86181
1424.19/1429.55 c #Conflicts: 750000 | #Constraints: 87181
1424.19/1429.55 c #Conflicts: 751000 | #Constraints: 88181
1424.19/1429.55 c #Conflicts: 752000 | #Constraints: 89181
1424.19/1429.55 c #Conflicts: 753000 | #Constraints: 90181
1424.19/1429.55 c #Conflicts: 754000 | #Constraints: 91181
1424.19/1429.55 c #Conflicts: 755000 | #Constraints: 92181
1424.19/1429.55 c #Conflicts: 756000 | #Constraints: 93181
1424.19/1429.55 c INPROCESSING
1424.19/1429.55 c GARBAGE COLLECT
1424.19/1429.55 c #Conflicts: 757000 | #Constraints: 76980
1424.19/1429.55 c #Conflicts: 758000 | #Constraints: 77980
1424.19/1429.55 c #Conflicts: 759000 | #Constraints: 78980
1424.19/1429.55 c #Conflicts: 760000 | #Constraints: 79980
1424.19/1429.55 c #Conflicts: 761000 | #Constraints: 80980
1424.19/1429.55 c #Conflicts: 762000 | #Constraints: 81980
1424.19/1429.55 c #Conflicts: 763000 | #Constraints: 82980
1424.19/1429.55 c #Conflicts: 764000 | #Constraints: 83980
1424.19/1429.55 c #Conflicts: 765000 | #Constraints: 84980
1424.19/1429.55 c #Conflicts: 766000 | #Constraints: 85980
1424.19/1429.55 c #Conflicts: 767000 | #Constraints: 86980
1424.19/1429.55 c #Conflicts: 768000 | #Constraints: 87980
1424.19/1429.55 c #Conflicts: 769000 | #Constraints: 88980
1424.19/1429.55 c #Conflicts: 770000 | #Constraints: 89980
1424.19/1429.55 c #Conflicts: 771000 | #Constraints: 90980
1424.19/1429.55 c #Conflicts: 772000 | #Constraints: 91980
1424.19/1429.55 c #Conflicts: 773000 | #Constraints: 92980
1424.19/1429.55 c #Conflicts: 774000 | #Constraints: 93980
1424.19/1429.55 c INPROCESSING
1424.19/1429.55 c GARBAGE COLLECT
1424.19/1429.55 c #Conflicts: 775000 | #Constraints: 77578
1424.19/1429.55 c #Conflicts: 776000 | #Constraints: 78578
1424.19/1429.55 c #Conflicts: 777000 | #Constraints: 79578
1424.19/1429.55 c #Conflicts: 778000 | #Constraints: 80578
1424.19/1429.55 c #Conflicts: 779000 | #Constraints: 81578
1424.19/1429.55 c #Conflicts: 780000 | #Constraints: 82578
1424.19/1429.55 c #Conflicts: 781000 | #Constraints: 83578
1424.19/1429.55 c #Conflicts: 782000 | #Constraints: 84578
1424.19/1429.55 c #Conflicts: 783000 | #Constraints: 85578
1424.19/1429.55 c #Conflicts: 784000 | #Constraints: 86578
1424.19/1429.55 c #Conflicts: 785000 | #Constraints: 87578
1424.19/1429.55 c #Conflicts: 786000 | #Constraints: 88578
1424.19/1429.55 c #Conflicts: 787000 | #Constraints: 89578
1424.19/1429.55 c #Conflicts: 788000 | #Constraints: 90578
1424.19/1429.55 c #Conflicts: 789000 | #Constraints: 91578
1424.19/1429.55 c #Conflicts: 790000 | #Constraints: 92578
1424.19/1429.55 c #Conflicts: 791000 | #Constraints: 93578
1424.19/1429.55 c #Conflicts: 792000 | #Constraints: 94578
1424.19/1429.55 c INPROCESSING
1424.19/1429.55 c GARBAGE COLLECT
1424.19/1429.55 c #Conflicts: 793000 | #Constraints: 77981
1424.19/1429.55 c #Conflicts: 794000 | #Constraints: 78981
1424.19/1429.55 c #Conflicts: 795000 | #Constraints: 79981
1424.19/1429.55 c #Conflicts: 796000 | #Constraints: 80981
1424.19/1429.55 c #Conflicts: 797000 | #Constraints: 81981
1424.19/1429.55 c #Conflicts: 798000 | #Constraints: 82981
1424.19/1429.55 c #Conflicts: 799000 | #Constraints: 83981
1424.19/1429.55 c #Conflicts: 800000 | #Constraints: 84981
1424.19/1429.55 c #Conflicts: 801000 | #Constraints: 85981
1424.19/1429.55 c #Conflicts: 802000 | #Constraints: 86981
1424.19/1429.55 c #Conflicts: 803000 | #Constraints: 87981
1590.78/1596.74 c #Conflicts: 804000 | #Constraints: 88981
1590.78/1596.74 c #Conflicts: 805000 | #Constraints: 89981
1590.78/1596.74 c #Conflicts: 806000 | #Constraints: 90981
1590.78/1596.74 c #Conflicts: 807000 | #Constraints: 91981
1590.78/1596.74 c #Conflicts: 808000 | #Constraints: 92981
1590.78/1596.74 c #Conflicts: 809000 | #Constraints: 93981
1590.78/1596.74 c #Conflicts: 810000 | #Constraints: 94981
1590.78/1596.74 c INPROCESSING
1590.78/1596.74 c GARBAGE COLLECT
1590.78/1596.74 c #Conflicts: 811000 | #Constraints: 78179
1590.78/1596.74 c #Conflicts: 812000 | #Constraints: 79179
1590.78/1596.74 c #Conflicts: 813000 | #Constraints: 80179
1590.78/1596.74 c #Conflicts: 814000 | #Constraints: 81179
1590.78/1596.74 c #Conflicts: 815000 | #Constraints: 82179
1590.78/1596.74 c #Conflicts: 816000 | #Constraints: 83179
1590.78/1596.74 c #Conflicts: 817000 | #Constraints: 84179
1590.78/1596.74 c #Conflicts: 818000 | #Constraints: 85179
1590.78/1596.74 c #Conflicts: 819000 | #Constraints: 86179
1590.78/1596.74 c #Conflicts: 820000 | #Constraints: 87179
1590.78/1596.74 c #Conflicts: 821000 | #Constraints: 88179
1590.78/1596.74 c #Conflicts: 822000 | #Constraints: 89179
1590.78/1596.74 c #Conflicts: 823000 | #Constraints: 90179
1590.78/1596.74 c #Conflicts: 824000 | #Constraints: 91179
1590.78/1596.74 c #Conflicts: 825000 | #Constraints: 92179
1590.78/1596.74 c #Conflicts: 826000 | #Constraints: 93179
1590.78/1596.74 c #Conflicts: 827000 | #Constraints: 94179
1590.78/1596.74 c #Conflicts: 828000 | #Constraints: 95179
1590.78/1596.74 c INPROCESSING
1590.78/1596.74 c GARBAGE COLLECT
1590.78/1596.74 c #Conflicts: 829000 | #Constraints: 78179
1590.78/1596.74 c #Conflicts: 830000 | #Constraints: 79179
1590.78/1596.74 c #Conflicts: 831000 | #Constraints: 80179
1590.78/1596.74 c #Conflicts: 832000 | #Constraints: 81179
1590.78/1596.74 c #Conflicts: 833000 | #Constraints: 82179
1590.78/1596.74 c #Conflicts: 834000 | #Constraints: 83179
1590.78/1596.74 c #Conflicts: 835000 | #Constraints: 84179
1590.78/1596.74 c #Conflicts: 836000 | #Constraints: 85179
1590.78/1596.74 c #Conflicts: 837000 | #Constraints: 86179
1590.78/1596.74 c #Conflicts: 838000 | #Constraints: 87179
1590.78/1596.74 c #Conflicts: 839000 | #Constraints: 88179
1590.78/1596.74 c #Conflicts: 840000 | #Constraints: 89179
1590.78/1596.74 c #Conflicts: 841000 | #Constraints: 90179
1590.78/1596.74 c #Conflicts: 842000 | #Constraints: 91179
1590.78/1596.74 c #Conflicts: 843000 | #Constraints: 92179
1590.78/1596.74 c #Conflicts: 844000 | #Constraints: 93179
1590.78/1596.74 c #Conflicts: 845000 | #Constraints: 94179
1590.78/1596.74 c #Conflicts: 846000 | #Constraints: 95179
1590.78/1596.74 c INPROCESSING
1590.78/1596.74 c GARBAGE COLLECT
1590.78/1596.74 c #Conflicts: 847000 | #Constraints: 77981
1590.78/1596.74 c #Conflicts: 848000 | #Constraints: 78981
1590.78/1596.74 c #Conflicts: 849000 | #Constraints: 79981
1590.78/1596.74 c #Conflicts: 850000 | #Constraints: 80981
1590.78/1596.74 c #Conflicts: 851000 | #Constraints: 81981
1590.78/1596.74 c #Conflicts: 852000 | #Constraints: 82981
1590.78/1596.74 c #Conflicts: 853000 | #Constraints: 83981
1590.78/1596.74 c #Conflicts: 854000 | #Constraints: 84981
1590.78/1596.74 c #Conflicts: 855000 | #Constraints: 85981
1590.78/1596.74 c #Conflicts: 856000 | #Constraints: 86981
1590.78/1596.74 c #Conflicts: 857000 | #Constraints: 87981
1590.78/1596.74 c #Conflicts: 858000 | #Constraints: 88981
1590.78/1596.74 c #Conflicts: 859000 | #Constraints: 89981
1590.78/1596.74 c #Conflicts: 860000 | #Constraints: 90981
1590.78/1596.74 c #Conflicts: 861000 | #Constraints: 91981
1590.78/1596.74 c #Conflicts: 862000 | #Constraints: 92981
1590.78/1596.74 c #Conflicts: 863000 | #Constraints: 93981
1590.78/1596.74 c #Conflicts: 864000 | #Constraints: 94981
1590.78/1596.74 c #Conflicts: 865000 | #Constraints: 95981
1590.78/1596.74 c INPROCESSING
1590.78/1596.74 c GARBAGE COLLECT
1590.78/1596.74 c #Conflicts: 866000 | #Constraints: 78576
1590.78/1596.74 c #Conflicts: 867000 | #Constraints: 79576
1590.78/1596.74 c #Conflicts: 868000 | #Constraints: 80576
1590.78/1596.74 c #Conflicts: 869000 | #Constraints: 81576
1590.78/1596.74 c #Conflicts: 870000 | #Constraints: 82576
1590.78/1596.74 c #Conflicts: 871000 | #Constraints: 83576
1590.78/1596.74 c #Conflicts: 872000 | #Constraints: 84576
1590.78/1596.74 c #Conflicts: 873000 | #Constraints: 85576
1590.78/1596.74 c #Conflicts: 874000 | #Constraints: 86576
1590.78/1596.74 c #Conflicts: 875000 | #Constraints: 87576
1590.78/1596.74 c #Conflicts: 876000 | #Constraints: 88576
1590.78/1596.74 c #Conflicts: 877000 | #Constraints: 89576
1590.78/1596.74 c #Conflicts: 878000 | #Constraints: 90576
1590.78/1596.74 c #Conflicts: 879000 | #Constraints: 91576
1590.78/1596.74 c #Conflicts: 880000 | #Constraints: 92576
1771.07/1777.78 c #Conflicts: 881000 | #Constraints: 93576
1771.07/1777.78 c #Conflicts: 882000 | #Constraints: 94576
1771.07/1777.78 c #Conflicts: 883000 | #Constraints: 95576
1771.07/1777.78 c #Conflicts: 884000 | #Constraints: 96576
1771.07/1777.78 c INPROCESSING
1771.07/1777.78 c GARBAGE COLLECT
1771.07/1777.78 c #Conflicts: 885000 | #Constraints: 78977
1771.07/1777.78 c #Conflicts: 886000 | #Constraints: 79977
1771.07/1777.78 c #Conflicts: 887000 | #Constraints: 80977
1771.07/1777.78 c #Conflicts: 888000 | #Constraints: 81977
1771.07/1777.78 c #Conflicts: 889000 | #Constraints: 82977
1771.07/1777.78 c #Conflicts: 890000 | #Constraints: 83977
1771.07/1777.78 c #Conflicts: 891000 | #Constraints: 84977
1771.07/1777.78 c #Conflicts: 892000 | #Constraints: 85977
1771.07/1777.78 c #Conflicts: 893000 | #Constraints: 86977
1771.07/1777.78 c #Conflicts: 894000 | #Constraints: 87977
1771.07/1777.78 c #Conflicts: 895000 | #Constraints: 88977
1771.07/1777.78 c #Conflicts: 896000 | #Constraints: 89977
1771.07/1777.78 c #Conflicts: 897000 | #Constraints: 90977
1771.07/1777.78 c #Conflicts: 898000 | #Constraints: 91977
1771.07/1777.78 c #Conflicts: 899000 | #Constraints: 92977
1771.07/1777.78 c #Conflicts: 900000 | #Constraints: 93977
1771.07/1777.78 c #Conflicts: 901000 | #Constraints: 94977
1771.07/1777.78 c #Conflicts: 902000 | #Constraints: 95977
1771.07/1777.78 c #Conflicts: 903000 | #Constraints: 96977
1771.07/1777.78 c INPROCESSING
1771.07/1777.78 c GARBAGE COLLECT
1771.07/1777.78 c #Conflicts: 904000 | #Constraints: 79179
1771.07/1777.78 c #Conflicts: 905000 | #Constraints: 80179
1771.07/1777.78 c #Conflicts: 906000 | #Constraints: 81179
1771.07/1777.78 c #Conflicts: 907000 | #Constraints: 82179
1771.07/1777.78 c #Conflicts: 908000 | #Constraints: 83179
1771.07/1777.78 c #Conflicts: 909000 | #Constraints: 84179
1771.07/1777.78 c #Conflicts: 910000 | #Constraints: 85179
1771.07/1777.78 c #Conflicts: 911000 | #Constraints: 86179
1771.07/1777.78 c #Conflicts: 912000 | #Constraints: 87179
1771.07/1777.78 c #Conflicts: 913000 | #Constraints: 88179
1771.07/1777.78 c #Conflicts: 914000 | #Constraints: 89179
1771.07/1777.78 c #Conflicts: 915000 | #Constraints: 90179
1771.07/1777.78 c #Conflicts: 916000 | #Constraints: 91179
1771.07/1777.78 c #Conflicts: 917000 | #Constraints: 92179
1771.07/1777.78 c #Conflicts: 918000 | #Constraints: 93179
1771.07/1777.78 c #Conflicts: 919000 | #Constraints: 94179
1771.07/1777.78 c #Conflicts: 920000 | #Constraints: 95179
1771.07/1777.78 c #Conflicts: 921000 | #Constraints: 96179
1771.07/1777.78 c #Conflicts: 922000 | #Constraints: 97179
1771.07/1777.78 c INPROCESSING
1771.07/1777.78 c GARBAGE COLLECT
1771.07/1777.78 c #Conflicts: 923000 | #Constraints: 79181
1771.07/1777.78 c #Conflicts: 924000 | #Constraints: 80181
1771.07/1777.78 c #Conflicts: 925000 | #Constraints: 81181
1771.07/1777.78 c #Conflicts: 926000 | #Constraints: 82181
1771.07/1777.78 c #Conflicts: 927000 | #Constraints: 83181
1771.07/1777.78 c #Conflicts: 928000 | #Constraints: 84181
1771.07/1777.78 c #Conflicts: 929000 | #Constraints: 85181
1771.07/1777.78 c #Conflicts: 930000 | #Constraints: 86181
1771.07/1777.78 c #Conflicts: 931000 | #Constraints: 87181
1771.07/1777.78 c #Conflicts: 932000 | #Constraints: 88181
1771.07/1777.78 c #Conflicts: 933000 | #Constraints: 89181
1771.07/1777.78 c #Conflicts: 934000 | #Constraints: 90181
1771.07/1777.78 c #Conflicts: 935000 | #Constraints: 91181
1771.07/1777.78 c #Conflicts: 936000 | #Constraints: 92181
1771.07/1777.78 c #Conflicts: 937000 | #Constraints: 93181
1771.07/1777.78 c #Conflicts: 938000 | #Constraints: 94181
1771.07/1777.78 c #Conflicts: 939000 | #Constraints: 95181
1771.07/1777.78 c #Conflicts: 940000 | #Constraints: 96181
1771.07/1777.78 c #Conflicts: 941000 | #Constraints: 97181
1771.07/1777.78 c INPROCESSING
1771.07/1777.78 c GARBAGE COLLECT
1771.07/1777.78 c #Conflicts: 942000 | #Constraints: 78976
1771.07/1777.78 c #Conflicts: 943000 | #Constraints: 79976
1771.07/1777.78 c #Conflicts: 944000 | #Constraints: 80976
1771.07/1777.78 c #Conflicts: 945000 | #Constraints: 81976
1771.07/1777.78 c #Conflicts: 946000 | #Constraints: 82976
1771.07/1777.78 c #Conflicts: 947000 | #Constraints: 83976
1771.07/1777.78 c #Conflicts: 948000 | #Constraints: 84976
1771.07/1777.78 c #Conflicts: 949000 | #Constraints: 85976
1771.07/1777.78 c #Conflicts: 950000 | #Constraints: 86976
1771.07/1777.78 c #Conflicts: 951000 | #Constraints: 87976
1771.07/1777.78 c #Conflicts: 952000 | #Constraints: 88976
1771.07/1777.78 c #Conflicts: 953000 | #Constraints: 89976
1771.07/1777.78 c #Conflicts: 954000 | #Constraints: 90976
1771.07/1777.78 c #Conflicts: 955000 | #Constraints: 91976
1771.07/1777.78 c #Conflicts: 956000 | #Constraints: 92976
1937.50/1944.83 c #Conflicts: 957000 | #Constraints: 93976
1937.50/1944.83 c #Conflicts: 958000 | #Constraints: 94976
1937.50/1944.83 c #Conflicts: 959000 | #Constraints: 95976
1937.50/1944.83 c #Conflicts: 960000 | #Constraints: 96976
1937.50/1944.83 c #Conflicts: 961000 | #Constraints: 97976
1937.50/1944.83 c INPROCESSING
1937.50/1944.83 c GARBAGE COLLECT
1937.50/1944.83 c #Conflicts: 962000 | #Constraints: 79572
1937.50/1944.83 c #Conflicts: 963000 | #Constraints: 80572
1937.50/1944.83 c #Conflicts: 964000 | #Constraints: 81572
1937.50/1944.83 c #Conflicts: 965000 | #Constraints: 82572
1937.50/1944.83 c #Conflicts: 966000 | #Constraints: 83572
1937.50/1944.83 c #Conflicts: 967000 | #Constraints: 84572
1937.50/1944.83 c #Conflicts: 968000 | #Constraints: 85572
1937.50/1944.83 c #Conflicts: 969000 | #Constraints: 86572
1937.50/1944.83 c #Conflicts: 970000 | #Constraints: 87572
1937.50/1944.83 c #Conflicts: 971000 | #Constraints: 88572
1937.50/1944.83 c #Conflicts: 972000 | #Constraints: 89572
1937.50/1944.83 c #Conflicts: 973000 | #Constraints: 90572
1937.50/1944.83 c #Conflicts: 974000 | #Constraints: 91572
1937.50/1944.83 c #Conflicts: 975000 | #Constraints: 92572
1937.50/1944.83 c #Conflicts: 976000 | #Constraints: 93572
1937.50/1944.83 c #Conflicts: 977000 | #Constraints: 94572
1937.50/1944.83 c #Conflicts: 978000 | #Constraints: 95572
1937.50/1944.83 c #Conflicts: 979000 | #Constraints: 96572
1937.50/1944.83 c #Conflicts: 980000 | #Constraints: 97572
1937.50/1944.83 c #Conflicts: 981000 | #Constraints: 98572
1937.50/1944.83 c INPROCESSING
1937.50/1944.83 c GARBAGE COLLECT
1937.50/1944.83 c #Conflicts: 982000 | #Constraints: 79975
1937.50/1944.83 c #Conflicts: 983000 | #Constraints: 80975
1937.50/1944.83 c #Conflicts: 984000 | #Constraints: 81975
1937.50/1944.83 c #Conflicts: 985000 | #Constraints: 82975
1937.50/1944.83 c #Conflicts: 986000 | #Constraints: 83975
1937.50/1944.83 c #Conflicts: 987000 | #Constraints: 84975
1937.50/1944.83 c #Conflicts: 988000 | #Constraints: 85975
1937.50/1944.83 c #Conflicts: 989000 | #Constraints: 86975
1937.50/1944.83 c #Conflicts: 990000 | #Constraints: 87975
1937.50/1944.83 c #Conflicts: 991000 | #Constraints: 88975
1937.50/1944.83 c #Conflicts: 992000 | #Constraints: 89975
1937.50/1944.83 c #Conflicts: 993000 | #Constraints: 90975
1937.50/1944.83 c #Conflicts: 994000 | #Constraints: 91975
1937.50/1944.83 c #Conflicts: 995000 | #Constraints: 92975
1937.50/1944.83 c #Conflicts: 996000 | #Constraints: 93975
1937.50/1944.83 c #Conflicts: 997000 | #Constraints: 94975
1937.50/1944.83 c #Conflicts: 998000 | #Constraints: 95975
1937.50/1944.83 c #Conflicts: 999000 | #Constraints: 96975
1937.50/1944.83 c #Conflicts: 1000000 | #Constraints: 97975
1937.50/1944.83 c #Conflicts: 1001000 | #Constraints: 98975
1937.50/1944.83 c INPROCESSING
1937.50/1944.83 c GARBAGE COLLECT
1937.50/1944.83 c #Conflicts: 1002000 | #Constraints: 80180
1937.50/1944.83 c #Conflicts: 1003000 | #Constraints: 81180
1937.50/1944.83 c #Conflicts: 1004000 | #Constraints: 82180
1937.50/1944.83 c #Conflicts: 1005000 | #Constraints: 83180
1937.50/1944.83 c #Conflicts: 1006000 | #Constraints: 84180
1937.50/1944.83 c #Conflicts: 1007000 | #Constraints: 85180
1937.50/1944.83 c #Conflicts: 1008000 | #Constraints: 86180
1937.50/1944.83 c #Conflicts: 1009000 | #Constraints: 87180
1937.50/1944.83 c #Conflicts: 1010000 | #Constraints: 88180
1937.50/1944.83 c #Conflicts: 1011000 | #Constraints: 89180
1937.50/1944.83 c #Conflicts: 1012000 | #Constraints: 90180
1937.50/1944.83 c #Conflicts: 1013000 | #Constraints: 91180
1937.50/1944.83 c #Conflicts: 1014000 | #Constraints: 92180
1937.50/1944.83 c #Conflicts: 1015000 | #Constraints: 93180
1937.50/1944.83 c #Conflicts: 1016000 | #Constraints: 94180
1937.50/1944.83 c #Conflicts: 1017000 | #Constraints: 95180
1937.50/1944.83 c #Conflicts: 1018000 | #Constraints: 96180
1937.50/1944.83 c #Conflicts: 1019000 | #Constraints: 97180
1937.50/1944.83 c #Conflicts: 1020000 | #Constraints: 98180
1937.50/1944.83 c #Conflicts: 1021000 | #Constraints: 99180
1937.50/1944.83 c INPROCESSING
1937.50/1944.83 c GARBAGE COLLECT
1937.50/1944.83 c #Conflicts: 1022000 | #Constraints: 80182
1937.50/1944.83 c #Conflicts: 1023000 | #Constraints: 81182
1937.50/1944.83 c #Conflicts: 1024000 | #Constraints: 82182
1937.50/1944.83 c #Conflicts: 1025000 | #Constraints: 83182
1937.50/1944.83 c #Conflicts: 1026000 | #Constraints: 84182
1937.50/1944.83 c #Conflicts: 1027000 | #Constraints: 85182
1937.50/1944.83 c #Conflicts: 1028000 | #Constraints: 86182
1937.50/1944.83 c #Conflicts: 1029000 | #Constraints: 87182
1937.50/1944.83 c #Conflicts: 1030000 | #Constraints: 88182
1937.50/1944.83 c #Conflicts: 1031000 | #Constraints: 89182
1937.50/1944.83 c #Conflicts: 1032000 | #Constraints: 90182
2125.63/2133.62 c #Conflicts: 1033000 | #Constraints: 91182
2125.63/2133.62 c #Conflicts: 1034000 | #Constraints: 92182
2125.63/2133.62 c #Conflicts: 1035000 | #Constraints: 93182
2125.63/2133.62 c #Conflicts: 1036000 | #Constraints: 94182
2125.63/2133.62 c #Conflicts: 1037000 | #Constraints: 95182
2125.63/2133.62 c #Conflicts: 1038000 | #Constraints: 96182
2125.63/2133.62 c #Conflicts: 1039000 | #Constraints: 97182
2125.63/2133.62 c #Conflicts: 1040000 | #Constraints: 98182
2125.63/2133.62 c #Conflicts: 1041000 | #Constraints: 99182
2125.63/2133.62 c INPROCESSING
2125.63/2133.62 c GARBAGE COLLECT
2125.63/2133.62 c #Conflicts: 1042000 | #Constraints: 79983
2125.63/2133.62 c #Conflicts: 1043000 | #Constraints: 80983
2125.63/2133.62 c #Conflicts: 1044000 | #Constraints: 81983
2125.63/2133.62 c #Conflicts: 1045000 | #Constraints: 82983
2125.63/2133.62 c #Conflicts: 1046000 | #Constraints: 83983
2125.63/2133.62 c #Conflicts: 1047000 | #Constraints: 84983
2125.63/2133.62 c #Conflicts: 1048000 | #Constraints: 85983
2125.63/2133.62 c #Conflicts: 1049000 | #Constraints: 86983
2125.63/2133.62 c #Conflicts: 1050000 | #Constraints: 87983
2125.63/2133.62 c #Conflicts: 1051000 | #Constraints: 88983
2125.63/2133.62 c #Conflicts: 1052000 | #Constraints: 89983
2125.63/2133.62 c #Conflicts: 1053000 | #Constraints: 90983
2125.63/2133.62 c #Conflicts: 1054000 | #Constraints: 91983
2125.63/2133.62 c #Conflicts: 1055000 | #Constraints: 92983
2125.63/2133.62 c #Conflicts: 1056000 | #Constraints: 93983
2125.63/2133.62 c #Conflicts: 1057000 | #Constraints: 94983
2125.63/2133.62 c #Conflicts: 1058000 | #Constraints: 95983
2125.63/2133.62 c #Conflicts: 1059000 | #Constraints: 96983
2125.63/2133.62 c #Conflicts: 1060000 | #Constraints: 97983
2125.63/2133.62 c #Conflicts: 1061000 | #Constraints: 98983
2125.63/2133.62 c #Conflicts: 1062000 | #Constraints: 99983
2125.63/2133.62 c INPROCESSING
2125.63/2133.62 c GARBAGE COLLECT
2125.63/2133.62 c #Conflicts: 1063000 | #Constraints: 80586
2125.63/2133.62 c #Conflicts: 1064000 | #Constraints: 81586
2125.63/2133.62 c #Conflicts: 1065000 | #Constraints: 82586
2125.63/2133.62 c #Conflicts: 1066000 | #Constraints: 83586
2125.63/2133.62 c #Conflicts: 1067000 | #Constraints: 84586
2125.63/2133.62 c #Conflicts: 1068000 | #Constraints: 85586
2125.63/2133.62 c #Conflicts: 1069000 | #Constraints: 86586
2125.63/2133.62 c #Conflicts: 1070000 | #Constraints: 87586
2125.63/2133.62 c #Conflicts: 1071000 | #Constraints: 88586
2125.63/2133.62 c #Conflicts: 1072000 | #Constraints: 89586
2125.63/2133.62 c #Conflicts: 1073000 | #Constraints: 90586
2125.63/2133.62 c #Conflicts: 1074000 | #Constraints: 91586
2125.63/2133.62 c #Conflicts: 1075000 | #Constraints: 92586
2125.63/2133.62 c #Conflicts: 1076000 | #Constraints: 93586
2125.63/2133.62 c #Conflicts: 1077000 | #Constraints: 94586
2125.63/2133.62 c #Conflicts: 1078000 | #Constraints: 95586
2125.63/2133.62 c #Conflicts: 1079000 | #Constraints: 96586
2125.63/2133.62 c #Conflicts: 1080000 | #Constraints: 97586
2125.63/2133.62 c #Conflicts: 1081000 | #Constraints: 98586
2125.63/2133.62 c #Conflicts: 1082000 | #Constraints: 99586
2125.63/2133.62 c #Conflicts: 1083000 | #Constraints: 100586
2125.63/2133.62 c INPROCESSING
2125.63/2133.62 c GARBAGE COLLECT
2125.63/2133.62 c #Conflicts: 1084000 | #Constraints: 80982
2125.63/2133.62 c #Conflicts: 1085000 | #Constraints: 81982
2125.63/2133.62 c #Conflicts: 1086000 | #Constraints: 82982
2125.63/2133.62 c #Conflicts: 1087000 | #Constraints: 83982
2125.63/2133.62 c #Conflicts: 1088000 | #Constraints: 84982
2125.63/2133.62 c #Conflicts: 1089000 | #Constraints: 85982
2125.63/2133.62 c #Conflicts: 1090000 | #Constraints: 86982
2125.63/2133.62 c #Conflicts: 1091000 | #Constraints: 87982
2125.63/2133.62 c #Conflicts: 1092000 | #Constraints: 88982
2125.63/2133.62 c #Conflicts: 1093000 | #Constraints: 89982
2125.63/2133.62 c #Conflicts: 1094000 | #Constraints: 90982
2125.63/2133.62 c #Conflicts: 1095000 | #Constraints: 91982
2125.63/2133.62 c #Conflicts: 1096000 | #Constraints: 92982
2125.63/2133.62 c #Conflicts: 1097000 | #Constraints: 93982
2125.63/2133.62 c #Conflicts: 1098000 | #Constraints: 94982
2125.63/2133.62 c #Conflicts: 1099000 | #Constraints: 95982
2125.63/2133.62 c #Conflicts: 1100000 | #Constraints: 96982
2125.63/2133.62 c #Conflicts: 1101000 | #Constraints: 97982
2125.63/2133.62 c #Conflicts: 1102000 | #Constraints: 98982
2125.63/2133.62 c #Conflicts: 1103000 | #Constraints: 99982
2125.63/2133.62 c #Conflicts: 1104000 | #Constraints: 100982
2125.63/2133.62 c INPROCESSING
2125.63/2133.62 c GARBAGE COLLECT
2125.63/2133.62 c #Conflicts: 1105000 | #Constraints: 81180
2125.63/2133.62 c #Conflicts: 1106000 | #Constraints: 82180
2125.63/2133.62 c #Conflicts: 1107000 | #Constraints: 83180
2125.63/2133.62 c #Conflicts: 1108000 | #Constraints: 84180
2344.79/2353.54 c #Conflicts: 1109000 | #Constraints: 85180
2344.79/2353.54 c #Conflicts: 1110000 | #Constraints: 86180
2344.79/2353.54 c #Conflicts: 1111000 | #Constraints: 87180
2344.79/2353.54 c #Conflicts: 1112000 | #Constraints: 88180
2344.79/2353.54 c #Conflicts: 1113000 | #Constraints: 89180
2344.79/2353.54 c #Conflicts: 1114000 | #Constraints: 90180
2344.79/2353.54 c #Conflicts: 1115000 | #Constraints: 91180
2344.79/2353.54 c #Conflicts: 1116000 | #Constraints: 92180
2344.79/2353.54 c #Conflicts: 1117000 | #Constraints: 93180
2344.79/2353.54 c #Conflicts: 1118000 | #Constraints: 94180
2344.79/2353.54 c #Conflicts: 1119000 | #Constraints: 95180
2344.79/2353.54 c #Conflicts: 1120000 | #Constraints: 96180
2344.79/2353.54 c #Conflicts: 1121000 | #Constraints: 97180
2344.79/2353.54 c #Conflicts: 1122000 | #Constraints: 98180
2344.79/2353.54 c #Conflicts: 1123000 | #Constraints: 99180
2344.79/2353.54 c #Conflicts: 1124000 | #Constraints: 100180
2344.79/2353.54 c #Conflicts: 1125000 | #Constraints: 101180
2344.79/2353.54 c INPROCESSING
2344.79/2353.54 c GARBAGE COLLECT
2344.79/2353.54 c #Conflicts: 1126000 | #Constraints: 81178
2344.79/2353.54 c #Conflicts: 1127000 | #Constraints: 82178
2344.79/2353.54 c #Conflicts: 1128000 | #Constraints: 83178
2344.79/2353.54 c #Conflicts: 1129000 | #Constraints: 84178
2344.79/2353.54 c #Conflicts: 1130000 | #Constraints: 85178
2344.79/2353.54 c #Conflicts: 1131000 | #Constraints: 86178
2344.79/2353.54 c #Conflicts: 1132000 | #Constraints: 87178
2344.79/2353.54 c #Conflicts: 1133000 | #Constraints: 88178
2344.79/2353.54 c #Conflicts: 1134000 | #Constraints: 89178
2344.79/2353.54 c #Conflicts: 1135000 | #Constraints: 90178
2344.79/2353.54 c #Conflicts: 1136000 | #Constraints: 91178
2344.79/2353.54 c #Conflicts: 1137000 | #Constraints: 92178
2344.79/2353.54 c #Conflicts: 1138000 | #Constraints: 93178
2344.79/2353.54 c #Conflicts: 1139000 | #Constraints: 94178
2344.79/2353.54 c #Conflicts: 1140000 | #Constraints: 95178
2344.79/2353.54 c #Conflicts: 1141000 | #Constraints: 96178
2344.79/2353.54 c #Conflicts: 1142000 | #Constraints: 97178
2344.79/2353.54 c #Conflicts: 1143000 | #Constraints: 98178
2344.79/2353.54 c #Conflicts: 1144000 | #Constraints: 99178
2344.79/2353.54 c #Conflicts: 1145000 | #Constraints: 100178
2344.79/2353.54 c #Conflicts: 1146000 | #Constraints: 101178
2344.79/2353.54 c INPROCESSING
2344.79/2353.54 c GARBAGE COLLECT
2344.79/2353.54 c #Conflicts: 1147000 | #Constraints: 80975
2344.79/2353.54 c #Conflicts: 1148000 | #Constraints: 81975
2344.79/2353.54 c #Conflicts: 1149000 | #Constraints: 82975
2344.79/2353.54 c #Conflicts: 1150000 | #Constraints: 83975
2344.79/2353.54 c #Conflicts: 1151000 | #Constraints: 84975
2344.79/2353.54 c #Conflicts: 1152000 | #Constraints: 85975
2344.79/2353.54 c #Conflicts: 1153000 | #Constraints: 86975
2344.79/2353.54 c #Conflicts: 1154000 | #Constraints: 87975
2344.79/2353.54 c #Conflicts: 1155000 | #Constraints: 88975
2344.79/2353.54 c #Conflicts: 1156000 | #Constraints: 89975
2344.79/2353.54 c #Conflicts: 1157000 | #Constraints: 90975
2344.79/2353.54 c #Conflicts: 1158000 | #Constraints: 91975
2344.79/2353.54 c #Conflicts: 1159000 | #Constraints: 92975
2344.79/2353.54 c #Conflicts: 1160000 | #Constraints: 93975
2344.79/2353.54 c #Conflicts: 1161000 | #Constraints: 94975
2344.79/2353.54 c #Conflicts: 1162000 | #Constraints: 95975
2344.79/2353.54 c #Conflicts: 1163000 | #Constraints: 96975
2344.79/2353.54 c #Conflicts: 1164000 | #Constraints: 97975
2344.79/2353.54 c #Conflicts: 1165000 | #Constraints: 98975
2344.79/2353.54 c #Conflicts: 1166000 | #Constraints: 99975
2344.79/2353.54 c #Conflicts: 1167000 | #Constraints: 100975
2344.79/2353.54 c #Conflicts: 1168000 | #Constraints: 101975
2344.79/2353.54 c INPROCESSING
2344.79/2353.54 c GARBAGE COLLECT
2344.79/2353.54 c #Conflicts: 1169000 | #Constraints: 81580
2344.79/2353.54 c #Conflicts: 1170000 | #Constraints: 82580
2344.79/2353.54 c #Conflicts: 1171000 | #Constraints: 83580
2344.79/2353.54 c #Conflicts: 1172000 | #Constraints: 84580
2344.79/2353.54 c #Conflicts: 1173000 | #Constraints: 85580
2344.79/2353.54 c #Conflicts: 1174000 | #Constraints: 86580
2344.79/2353.54 c #Conflicts: 1175000 | #Constraints: 87580
2344.79/2353.54 c #Conflicts: 1176000 | #Constraints: 88580
2344.79/2353.54 c #Conflicts: 1177000 | #Constraints: 89580
2344.79/2353.54 c #Conflicts: 1178000 | #Constraints: 90580
2344.79/2353.54 c #Conflicts: 1179000 | #Constraints: 91580
2344.79/2353.54 c #Conflicts: 1180000 | #Constraints: 92580
2344.79/2353.54 c #Conflicts: 1181000 | #Constraints: 93580
2344.79/2353.54 c #Conflicts: 1182000 | #Constraints: 94580
2344.79/2353.54 c #Conflicts: 1183000 | #Constraints: 95580
2344.79/2353.54 c #Conflicts: 1184000 | #Constraints: 96580
2344.79/2353.54 c #Conflicts: 1185000 | #Constraints: 97580
2550.40/2559.84 c #Conflicts: 1186000 | #Constraints: 98580
2550.40/2559.84 c #Conflicts: 1187000 | #Constraints: 99580
2550.40/2559.84 c #Conflicts: 1188000 | #Constraints: 100580
2550.40/2559.84 c #Conflicts: 1189000 | #Constraints: 101580
2550.40/2559.84 c #Conflicts: 1190000 | #Constraints: 102580
2550.40/2559.84 c INPROCESSING
2550.40/2559.84 c GARBAGE COLLECT
2550.40/2559.84 c #Conflicts: 1191000 | #Constraints: 81977
2550.40/2559.84 c #Conflicts: 1192000 | #Constraints: 82977
2550.40/2559.84 c #Conflicts: 1193000 | #Constraints: 83977
2550.40/2559.84 c #Conflicts: 1194000 | #Constraints: 84977
2550.40/2559.84 c #Conflicts: 1195000 | #Constraints: 85977
2550.40/2559.84 c #Conflicts: 1196000 | #Constraints: 86977
2550.40/2559.84 c #Conflicts: 1197000 | #Constraints: 87977
2550.40/2559.84 c #Conflicts: 1198000 | #Constraints: 88977
2550.40/2559.84 c #Conflicts: 1199000 | #Constraints: 89977
2550.40/2559.84 c #Conflicts: 1200000 | #Constraints: 90977
2550.40/2559.84 c #Conflicts: 1201000 | #Constraints: 91977
2550.40/2559.84 c #Conflicts: 1202000 | #Constraints: 92977
2550.40/2559.84 c #Conflicts: 1203000 | #Constraints: 93977
2550.40/2559.84 c #Conflicts: 1204000 | #Constraints: 94977
2550.40/2559.84 c #Conflicts: 1205000 | #Constraints: 95977
2550.40/2559.84 c #Conflicts: 1206000 | #Constraints: 96977
2550.40/2559.84 c #Conflicts: 1207000 | #Constraints: 97977
2550.40/2559.84 c #Conflicts: 1208000 | #Constraints: 98977
2550.40/2559.84 c #Conflicts: 1209000 | #Constraints: 99977
2550.40/2559.84 c #Conflicts: 1210000 | #Constraints: 100977
2550.40/2559.84 c #Conflicts: 1211000 | #Constraints: 101977
2550.40/2559.84 c #Conflicts: 1212000 | #Constraints: 102977
2550.40/2559.84 c INPROCESSING
2550.40/2559.84 c GARBAGE COLLECT
2550.40/2559.84 c #Conflicts: 1213000 | #Constraints: 82178
2550.40/2559.84 c #Conflicts: 1214000 | #Constraints: 83178
2550.40/2559.84 c #Conflicts: 1215000 | #Constraints: 84178
2550.40/2559.84 c #Conflicts: 1216000 | #Constraints: 85178
2550.40/2559.84 c #Conflicts: 1217000 | #Constraints: 86178
2550.40/2559.84 c #Conflicts: 1218000 | #Constraints: 87178
2550.40/2559.84 c #Conflicts: 1219000 | #Constraints: 88178
2550.40/2559.84 c #Conflicts: 1220000 | #Constraints: 89178
2550.40/2559.84 c #Conflicts: 1221000 | #Constraints: 90178
2550.40/2559.84 c #Conflicts: 1222000 | #Constraints: 91178
2550.40/2559.84 c #Conflicts: 1223000 | #Constraints: 92178
2550.40/2559.84 c #Conflicts: 1224000 | #Constraints: 93178
2550.40/2559.84 c #Conflicts: 1225000 | #Constraints: 94178
2550.40/2559.84 c #Conflicts: 1226000 | #Constraints: 95178
2550.40/2559.84 c #Conflicts: 1227000 | #Constraints: 96178
2550.40/2559.84 c #Conflicts: 1228000 | #Constraints: 97178
2550.40/2559.84 c #Conflicts: 1229000 | #Constraints: 98178
2550.40/2559.84 c #Conflicts: 1230000 | #Constraints: 99178
2550.40/2559.84 c #Conflicts: 1231000 | #Constraints: 100178
2550.40/2559.84 c #Conflicts: 1232000 | #Constraints: 101178
2550.40/2559.84 c #Conflicts: 1233000 | #Constraints: 102178
2550.40/2559.84 c #Conflicts: 1234000 | #Constraints: 103178
2550.40/2559.84 c INPROCESSING
2550.40/2559.84 c GARBAGE COLLECT
2550.40/2559.84 c #Conflicts: 1235000 | #Constraints: 82178
2550.40/2559.84 c #Conflicts: 1236000 | #Constraints: 83178
2550.40/2559.84 c #Conflicts: 1237000 | #Constraints: 84178
2550.40/2559.84 c #Conflicts: 1238000 | #Constraints: 85178
2550.40/2559.84 c #Conflicts: 1239000 | #Constraints: 86178
2550.40/2559.84 c #Conflicts: 1240000 | #Constraints: 87178
2550.40/2559.84 c #Conflicts: 1241000 | #Constraints: 88178
2550.40/2559.84 c #Conflicts: 1242000 | #Constraints: 89178
2550.40/2559.84 c #Conflicts: 1243000 | #Constraints: 90178
2550.40/2559.84 c #Conflicts: 1244000 | #Constraints: 91178
2550.40/2559.84 c #Conflicts: 1245000 | #Constraints: 92178
2550.40/2559.84 c #Conflicts: 1246000 | #Constraints: 93178
2550.40/2559.84 c #Conflicts: 1247000 | #Constraints: 94178
2550.40/2559.84 c #Conflicts: 1248000 | #Constraints: 95178
2550.40/2559.84 c #Conflicts: 1249000 | #Constraints: 96178
2550.40/2559.84 c #Conflicts: 1250000 | #Constraints: 97178
2550.40/2559.84 c #Conflicts: 1251000 | #Constraints: 98178
2550.40/2559.84 c #Conflicts: 1252000 | #Constraints: 99178
2550.40/2559.84 c #Conflicts: 1253000 | #Constraints: 100178
2550.40/2559.84 c #Conflicts: 1254000 | #Constraints: 101178
2550.40/2559.84 c #Conflicts: 1255000 | #Constraints: 102178
2550.40/2559.84 c #Conflicts: 1256000 | #Constraints: 103178
2550.40/2559.84 c INPROCESSING
2550.40/2559.84 c GARBAGE COLLECT
2550.40/2559.84 c #Conflicts: 1257000 | #Constraints: 81978
2550.40/2559.84 c #Conflicts: 1258000 | #Constraints: 82978
2550.40/2559.84 c #Conflicts: 1259000 | #Constraints: 83978
2550.40/2559.84 c #Conflicts: 1260000 | #Constraints: 84978
2550.40/2559.84 c #Conflicts: 1261000 | #Constraints: 85978
2762.43/2772.50 c #Conflicts: 1262000 | #Constraints: 86978
2762.43/2772.50 c #Conflicts: 1263000 | #Constraints: 87978
2762.43/2772.50 c #Conflicts: 1264000 | #Constraints: 88978
2762.43/2772.50 c #Conflicts: 1265000 | #Constraints: 89978
2762.43/2772.50 c #Conflicts: 1266000 | #Constraints: 90978
2762.43/2772.50 c #Conflicts: 1267000 | #Constraints: 91978
2762.43/2772.50 c #Conflicts: 1268000 | #Constraints: 92978
2762.43/2772.50 c #Conflicts: 1269000 | #Constraints: 93978
2762.43/2772.50 c #Conflicts: 1270000 | #Constraints: 94978
2762.43/2772.50 c #Conflicts: 1271000 | #Constraints: 95978
2762.43/2772.50 c #Conflicts: 1272000 | #Constraints: 96978
2762.43/2772.50 c #Conflicts: 1273000 | #Constraints: 97978
2762.43/2772.50 c #Conflicts: 1274000 | #Constraints: 98978
2762.43/2772.50 c #Conflicts: 1275000 | #Constraints: 99978
2762.43/2772.50 c #Conflicts: 1276000 | #Constraints: 100978
2762.43/2772.50 c #Conflicts: 1277000 | #Constraints: 101978
2762.43/2772.50 c #Conflicts: 1278000 | #Constraints: 102978
2762.43/2772.50 c #Conflicts: 1279000 | #Constraints: 103978
2762.43/2772.50 c INPROCESSING
2762.43/2772.50 c GARBAGE COLLECT
2762.43/2772.50 c #Conflicts: 1280000 | #Constraints: 82578
2762.43/2772.50 c #Conflicts: 1281000 | #Constraints: 83578
2762.43/2772.50 c #Conflicts: 1282000 | #Constraints: 84578
2762.43/2772.50 c #Conflicts: 1283000 | #Constraints: 85578
2762.43/2772.50 c #Conflicts: 1284000 | #Constraints: 86578
2762.43/2772.50 c #Conflicts: 1285000 | #Constraints: 87578
2762.43/2772.50 c #Conflicts: 1286000 | #Constraints: 88578
2762.43/2772.50 c #Conflicts: 1287000 | #Constraints: 89578
2762.43/2772.50 c #Conflicts: 1288000 | #Constraints: 90578
2762.43/2772.50 c #Conflicts: 1289000 | #Constraints: 91578
2762.43/2772.50 c #Conflicts: 1290000 | #Constraints: 92578
2762.43/2772.50 c #Conflicts: 1291000 | #Constraints: 93578
2762.43/2772.50 c #Conflicts: 1292000 | #Constraints: 94578
2762.43/2772.50 c #Conflicts: 1293000 | #Constraints: 95578
2762.43/2772.50 c #Conflicts: 1294000 | #Constraints: 96578
2762.43/2772.50 c #Conflicts: 1295000 | #Constraints: 97578
2762.43/2772.50 c #Conflicts: 1296000 | #Constraints: 98578
2762.43/2772.50 c #Conflicts: 1297000 | #Constraints: 99578
2762.43/2772.50 c #Conflicts: 1298000 | #Constraints: 100578
2762.43/2772.50 c #Conflicts: 1299000 | #Constraints: 101578
2762.43/2772.50 c #Conflicts: 1300000 | #Constraints: 102578
2762.43/2772.50 c #Conflicts: 1301000 | #Constraints: 103578
2762.43/2772.50 c #Conflicts: 1302000 | #Constraints: 104578
2762.43/2772.50 c INPROCESSING
2762.43/2772.50 c GARBAGE COLLECT
2762.43/2772.50 c #Conflicts: 1303000 | #Constraints: 82976
2762.43/2772.50 c #Conflicts: 1304000 | #Constraints: 83976
2762.43/2772.50 c #Conflicts: 1305000 | #Constraints: 84976
2762.43/2772.50 c #Conflicts: 1306000 | #Constraints: 85976
2762.43/2772.50 c #Conflicts: 1307000 | #Constraints: 86976
2762.43/2772.50 c #Conflicts: 1308000 | #Constraints: 87976
2762.43/2772.50 c #Conflicts: 1309000 | #Constraints: 88976
2762.43/2772.50 c #Conflicts: 1310000 | #Constraints: 89976
2762.43/2772.50 c #Conflicts: 1311000 | #Constraints: 90976
2762.43/2772.50 c #Conflicts: 1312000 | #Constraints: 91976
2762.43/2772.50 c #Conflicts: 1313000 | #Constraints: 92976
2762.43/2772.50 c #Conflicts: 1314000 | #Constraints: 93976
2762.43/2772.50 c #Conflicts: 1315000 | #Constraints: 94976
2762.43/2772.50 c #Conflicts: 1316000 | #Constraints: 95976
2762.43/2772.50 c #Conflicts: 1317000 | #Constraints: 96976
2762.43/2772.50 c #Conflicts: 1318000 | #Constraints: 97976
2762.43/2772.50 c #Conflicts: 1319000 | #Constraints: 98976
2762.43/2772.50 c #Conflicts: 1320000 | #Constraints: 99976
2762.43/2772.50 c #Conflicts: 1321000 | #Constraints: 100976
2762.43/2772.50 c #Conflicts: 1322000 | #Constraints: 101976
2762.43/2772.50 c #Conflicts: 1323000 | #Constraints: 102976
2762.43/2772.50 c #Conflicts: 1324000 | #Constraints: 103976
2762.43/2772.50 c #Conflicts: 1325000 | #Constraints: 104976
2762.43/2772.50 c INPROCESSING
2762.43/2772.50 c GARBAGE COLLECT
2762.43/2772.50 c #Conflicts: 1326000 | #Constraints: 83179
2762.43/2772.50 c #Conflicts: 1327000 | #Constraints: 84179
2762.43/2772.50 c #Conflicts: 1328000 | #Constraints: 85179
2762.43/2772.50 c #Conflicts: 1329000 | #Constraints: 86179
2762.43/2772.50 c #Conflicts: 1330000 | #Constraints: 87179
2762.43/2772.50 c #Conflicts: 1331000 | #Constraints: 88179
2762.43/2772.50 c #Conflicts: 1332000 | #Constraints: 89179
2762.43/2772.50 c #Conflicts: 1333000 | #Constraints: 90179
2762.43/2772.50 c #Conflicts: 1334000 | #Constraints: 91179
2762.43/2772.50 c #Conflicts: 1335000 | #Constraints: 92179
2762.43/2772.50 c #Conflicts: 1336000 | #Constraints: 93179
2762.43/2772.50 c #Conflicts: 1337000 | #Constraints: 94179
2762.43/2772.50 c #Conflicts: 1338000 | #Constraints: 95179
2972.54/2983.36 c #Conflicts: 1339000 | #Constraints: 96179
2972.54/2983.36 c #Conflicts: 1340000 | #Constraints: 97179
2972.54/2983.36 c #Conflicts: 1341000 | #Constraints: 98179
2972.54/2983.36 c #Conflicts: 1342000 | #Constraints: 99179
2972.54/2983.36 c #Conflicts: 1343000 | #Constraints: 100179
2972.54/2983.36 c #Conflicts: 1344000 | #Constraints: 101179
2972.54/2983.36 c #Conflicts: 1345000 | #Constraints: 102179
2972.54/2983.36 c #Conflicts: 1346000 | #Constraints: 103179
2972.54/2983.36 c #Conflicts: 1347000 | #Constraints: 104179
2972.54/2983.36 c #Conflicts: 1348000 | #Constraints: 105179
2972.54/2983.36 c INPROCESSING
2972.54/2983.36 c GARBAGE COLLECT
2972.54/2983.36 c #Conflicts: 1349000 | #Constraints: 83178
2972.54/2983.36 c #Conflicts: 1350000 | #Constraints: 84178
2972.54/2983.36 c #Conflicts: 1351000 | #Constraints: 85178
2972.54/2983.36 c #Conflicts: 1352000 | #Constraints: 86178
2972.54/2983.36 c #Conflicts: 1353000 | #Constraints: 87178
2972.54/2983.36 c #Conflicts: 1354000 | #Constraints: 88178
2972.54/2983.36 c #Conflicts: 1355000 | #Constraints: 89178
2972.54/2983.36 c #Conflicts: 1356000 | #Constraints: 90178
2972.54/2983.36 c #Conflicts: 1357000 | #Constraints: 91178
2972.54/2983.37 c #Conflicts: 1358000 | #Constraints: 92178
2972.54/2983.37 c #Conflicts: 1359000 | #Constraints: 93178
2972.54/2983.37 c #Conflicts: 1360000 | #Constraints: 94178
2972.54/2983.37 c #Conflicts: 1361000 | #Constraints: 95178
2972.54/2983.37 c #Conflicts: 1362000 | #Constraints: 96178
2972.54/2983.37 c #Conflicts: 1363000 | #Constraints: 97178
2972.54/2983.37 c #Conflicts: 1364000 | #Constraints: 98178
2972.54/2983.37 c #Conflicts: 1365000 | #Constraints: 99178
2972.54/2983.37 c #Conflicts: 1366000 | #Constraints: 100178
2972.54/2983.37 c #Conflicts: 1367000 | #Constraints: 101178
2972.54/2983.37 c #Conflicts: 1368000 | #Constraints: 102178
2972.54/2983.37 c #Conflicts: 1369000 | #Constraints: 103178
2972.54/2983.37 c #Conflicts: 1370000 | #Constraints: 104178
2972.54/2983.37 c #Conflicts: 1371000 | #Constraints: 105178
2972.54/2983.37 c INPROCESSING
2972.54/2983.37 c GARBAGE COLLECT
2972.54/2983.37 c #Conflicts: 1372000 | #Constraints: 82973
2972.54/2983.37 c #Conflicts: 1373000 | #Constraints: 83973
2972.54/2983.37 c #Conflicts: 1374000 | #Constraints: 84973
2972.54/2983.37 c #Conflicts: 1375000 | #Constraints: 85973
2972.54/2983.37 c #Conflicts: 1376000 | #Constraints: 86973
2972.54/2983.37 c #Conflicts: 1377000 | #Constraints: 87973
2972.54/2983.37 c #Conflicts: 1378000 | #Constraints: 88973
2972.54/2983.37 c #Conflicts: 1379000 | #Constraints: 89973
2972.54/2983.37 c #Conflicts: 1380000 | #Constraints: 90973
2972.54/2983.37 c #Conflicts: 1381000 | #Constraints: 91973
2972.54/2983.37 c #Conflicts: 1382000 | #Constraints: 92973
2972.54/2983.37 c #Conflicts: 1383000 | #Constraints: 93973
2972.54/2983.37 c #Conflicts: 1384000 | #Constraints: 94973
2972.54/2983.37 c #Conflicts: 1385000 | #Constraints: 95973
2972.54/2983.37 c #Conflicts: 1386000 | #Constraints: 96973
2972.54/2983.37 c #Conflicts: 1387000 | #Constraints: 97973
2972.54/2983.37 c #Conflicts: 1388000 | #Constraints: 98973
2972.54/2983.37 c #Conflicts: 1389000 | #Constraints: 99973
2972.54/2983.37 c #Conflicts: 1390000 | #Constraints: 100973
2972.54/2983.37 c #Conflicts: 1391000 | #Constraints: 101973
2972.54/2983.37 c #Conflicts: 1392000 | #Constraints: 102973
2972.54/2983.37 c #Conflicts: 1393000 | #Constraints: 103973
2972.54/2983.37 c #Conflicts: 1394000 | #Constraints: 104973
2972.54/2983.37 c #Conflicts: 1395000 | #Constraints: 105973
2972.54/2983.37 c INPROCESSING
2972.54/2983.37 c GARBAGE COLLECT
2972.54/2983.37 c #Conflicts: 1396000 | #Constraints: 83576
2972.54/2983.37 c #Conflicts: 1397000 | #Constraints: 84576
2972.54/2983.37 c #Conflicts: 1398000 | #Constraints: 85576
2972.54/2983.37 c #Conflicts: 1399000 | #Constraints: 86576
2972.54/2983.37 c #Conflicts: 1400000 | #Constraints: 87576
2972.54/2983.37 c #Conflicts: 1401000 | #Constraints: 88576
2972.54/2983.37 c #Conflicts: 1402000 | #Constraints: 89576
2972.54/2983.37 c #Conflicts: 1403000 | #Constraints: 90576
2972.54/2983.37 c #Conflicts: 1404000 | #Constraints: 91576
2972.54/2983.37 c #Conflicts: 1405000 | #Constraints: 92576
2972.54/2983.37 c #Conflicts: 1406000 | #Constraints: 93576
2972.54/2983.37 c #Conflicts: 1407000 | #Constraints: 94576
2972.54/2983.37 c #Conflicts: 1408000 | #Constraints: 95576
2972.54/2983.37 c #Conflicts: 1409000 | #Constraints: 96576
2972.54/2983.37 c #Conflicts: 1410000 | #Constraints: 97576
2972.54/2983.37 c #Conflicts: 1411000 | #Constraints: 98576
2972.54/2983.37 c #Conflicts: 1412000 | #Constraints: 99576
2972.54/2983.37 c #Conflicts: 1413000 | #Constraints: 100576
2972.54/2983.37 c #Conflicts: 1414000 | #Constraints: 101576
2972.54/2983.37 c #Conflicts: 1415000 | #Constraints: 102576
3215.27/3226.87 c #Conflicts: 1416000 | #Constraints: 103576
3215.27/3226.87 c #Conflicts: 1417000 | #Constraints: 104576
3215.27/3226.87 c #Conflicts: 1418000 | #Constraints: 105576
3215.27/3226.87 c #Conflicts: 1419000 | #Constraints: 106576
3215.27/3226.87 c INPROCESSING
3215.27/3226.87 c GARBAGE COLLECT
3215.27/3226.87 c #Conflicts: 1420000 | #Constraints: 83971
3215.27/3226.87 c #Conflicts: 1421000 | #Constraints: 84971
3215.27/3226.87 c #Conflicts: 1422000 | #Constraints: 85971
3215.27/3226.87 c #Conflicts: 1423000 | #Constraints: 86971
3215.27/3226.87 c #Conflicts: 1424000 | #Constraints: 87971
3215.27/3226.87 c #Conflicts: 1425000 | #Constraints: 88971
3215.27/3226.87 c #Conflicts: 1426000 | #Constraints: 89971
3215.27/3226.87 c #Conflicts: 1427000 | #Constraints: 90971
3215.27/3226.87 c #Conflicts: 1428000 | #Constraints: 91971
3215.27/3226.87 c #Conflicts: 1429000 | #Constraints: 92971
3215.27/3226.87 c #Conflicts: 1430000 | #Constraints: 93971
3215.27/3226.87 c #Conflicts: 1431000 | #Constraints: 94971
3215.27/3226.87 c #Conflicts: 1432000 | #Constraints: 95971
3215.27/3226.87 c #Conflicts: 1433000 | #Constraints: 96971
3215.27/3226.87 c #Conflicts: 1434000 | #Constraints: 97971
3215.27/3226.87 c #Conflicts: 1435000 | #Constraints: 98971
3215.27/3226.87 c #Conflicts: 1436000 | #Constraints: 99971
3215.27/3226.87 c #Conflicts: 1437000 | #Constraints: 100971
3215.27/3226.87 c #Conflicts: 1438000 | #Constraints: 101971
3215.27/3226.87 c #Conflicts: 1439000 | #Constraints: 102971
3215.27/3226.87 c #Conflicts: 1440000 | #Constraints: 103971
3215.27/3226.87 c #Conflicts: 1441000 | #Constraints: 104971
3215.27/3226.87 c #Conflicts: 1442000 | #Constraints: 105971
3215.27/3226.87 c #Conflicts: 1443000 | #Constraints: 106971
3215.27/3226.87 c INPROCESSING
3215.27/3226.87 c GARBAGE COLLECT
3215.27/3226.87 c #Conflicts: 1444000 | #Constraints: 84177
3215.27/3226.87 c #Conflicts: 1445000 | #Constraints: 85177
3215.27/3226.87 c #Conflicts: 1446000 | #Constraints: 86177
3215.27/3226.87 c #Conflicts: 1447000 | #Constraints: 87177
3215.27/3226.87 c #Conflicts: 1448000 | #Constraints: 88177
3215.27/3226.87 c #Conflicts: 1449000 | #Constraints: 89177
3215.27/3226.87 c #Conflicts: 1450000 | #Constraints: 90177
3215.27/3226.87 c #Conflicts: 1451000 | #Constraints: 91177
3215.27/3226.87 c #Conflicts: 1452000 | #Constraints: 92177
3215.27/3226.87 c #Conflicts: 1453000 | #Constraints: 93177
3215.27/3226.87 c #Conflicts: 1454000 | #Constraints: 94177
3215.27/3226.87 c #Conflicts: 1455000 | #Constraints: 95177
3215.27/3226.87 c #Conflicts: 1456000 | #Constraints: 96177
3215.27/3226.87 c #Conflicts: 1457000 | #Constraints: 97177
3215.27/3226.87 c #Conflicts: 1458000 | #Constraints: 98177
3215.27/3226.87 c #Conflicts: 1459000 | #Constraints: 99177
3215.27/3226.87 c #Conflicts: 1460000 | #Constraints: 100177
3215.27/3226.87 c #Conflicts: 1461000 | #Constraints: 101177
3215.27/3226.87 c #Conflicts: 1462000 | #Constraints: 102177
3215.27/3226.87 c #Conflicts: 1463000 | #Constraints: 103177
3215.27/3226.87 c #Conflicts: 1464000 | #Constraints: 104177
3215.27/3226.87 c #Conflicts: 1465000 | #Constraints: 105177
3215.27/3226.87 c #Conflicts: 1466000 | #Constraints: 106177
3215.27/3226.87 c #Conflicts: 1467000 | #Constraints: 107177
3215.27/3226.87 c INPROCESSING
3215.27/3226.87 c GARBAGE COLLECT
3215.27/3226.87 c #Conflicts: 1468000 | #Constraints: 84178
3215.27/3226.87 c #Conflicts: 1469000 | #Constraints: 85178
3215.27/3226.87 c #Conflicts: 1470000 | #Constraints: 86178
3215.27/3226.87 c #Conflicts: 1471000 | #Constraints: 87178
3215.27/3226.87 c #Conflicts: 1472000 | #Constraints: 88178
3215.27/3226.87 c #Conflicts: 1473000 | #Constraints: 89178
3215.27/3226.87 c #Conflicts: 1474000 | #Constraints: 90178
3215.27/3226.87 c #Conflicts: 1475000 | #Constraints: 91178
3215.27/3226.87 c #Conflicts: 1476000 | #Constraints: 92178
3215.27/3226.87 c #Conflicts: 1477000 | #Constraints: 93178
3215.27/3226.87 c #Conflicts: 1478000 | #Constraints: 94178
3215.27/3226.87 c #Conflicts: 1479000 | #Constraints: 95178
3215.27/3226.87 c #Conflicts: 1480000 | #Constraints: 96178
3215.27/3226.87 c #Conflicts: 1481000 | #Constraints: 97178
3215.27/3226.87 c #Conflicts: 1482000 | #Constraints: 98178
3215.27/3226.87 c #Conflicts: 1483000 | #Constraints: 99178
3215.27/3226.87 c #Conflicts: 1484000 | #Constraints: 100178
3215.27/3226.87 c #Conflicts: 1485000 | #Constraints: 101178
3215.27/3226.87 c #Conflicts: 1486000 | #Constraints: 102178
3215.27/3226.87 c #Conflicts: 1487000 | #Constraints: 103178
3215.27/3226.87 c #Conflicts: 1488000 | #Constraints: 104178
3215.27/3226.87 c #Conflicts: 1489000 | #Constraints: 105178
3215.27/3226.87 c #Conflicts: 1490000 | #Constraints: 106178
3215.27/3226.87 c #Conflicts: 1491000 | #Constraints: 107178
3215.27/3226.87 c INPROCESSING
3215.27/3226.87 c GARBAGE COLLECT
3454.18/3466.58 c #Conflicts: 1492000 | #Constraints: 83973
3454.18/3466.58 c #Conflicts: 1493000 | #Constraints: 84973
3454.18/3466.58 c #Conflicts: 1494000 | #Constraints: 85973
3454.18/3466.58 c #Conflicts: 1495000 | #Constraints: 86973
3454.18/3466.58 c #Conflicts: 1496000 | #Constraints: 87973
3454.18/3466.58 c #Conflicts: 1497000 | #Constraints: 88973
3454.18/3466.58 c #Conflicts: 1498000 | #Constraints: 89973
3454.18/3466.58 c #Conflicts: 1499000 | #Constraints: 90973
3454.18/3466.58 c #Conflicts: 1500000 | #Constraints: 91973
3454.18/3466.58 c #Conflicts: 1501000 | #Constraints: 92973
3454.18/3466.58 c #Conflicts: 1502000 | #Constraints: 93973
3454.18/3466.58 c #Conflicts: 1503000 | #Constraints: 94973
3454.18/3466.58 c #Conflicts: 1504000 | #Constraints: 95973
3454.18/3466.58 c #Conflicts: 1505000 | #Constraints: 96973
3454.18/3466.58 c #Conflicts: 1506000 | #Constraints: 97973
3454.18/3466.58 c #Conflicts: 1507000 | #Constraints: 98973
3454.18/3466.58 c #Conflicts: 1508000 | #Constraints: 99973
3454.18/3466.58 c #Conflicts: 1509000 | #Constraints: 100973
3454.18/3466.58 c #Conflicts: 1510000 | #Constraints: 101973
3454.18/3466.58 c #Conflicts: 1511000 | #Constraints: 102973
3454.18/3466.58 c #Conflicts: 1512000 | #Constraints: 103973
3454.18/3466.58 c #Conflicts: 1513000 | #Constraints: 104973
3454.18/3466.58 c #Conflicts: 1514000 | #Constraints: 105973
3454.18/3466.58 c #Conflicts: 1515000 | #Constraints: 106973
3454.18/3466.58 c #Conflicts: 1516000 | #Constraints: 107973
3454.18/3466.58 c INPROCESSING
3454.18/3466.58 c GARBAGE COLLECT
3454.18/3466.58 c #Conflicts: 1517000 | #Constraints: 84577
3454.18/3466.58 c #Conflicts: 1518000 | #Constraints: 85577
3454.18/3466.58 c #Conflicts: 1519000 | #Constraints: 86577
3454.18/3466.58 c #Conflicts: 1520000 | #Constraints: 87577
3454.18/3466.58 c #Conflicts: 1521000 | #Constraints: 88577
3454.18/3466.58 c #Conflicts: 1522000 | #Constraints: 89577
3454.18/3466.58 c #Conflicts: 1523000 | #Constraints: 90577
3454.18/3466.58 c #Conflicts: 1524000 | #Constraints: 91577
3454.18/3466.58 c #Conflicts: 1525000 | #Constraints: 92577
3454.18/3466.58 c #Conflicts: 1526000 | #Constraints: 93577
3454.18/3466.58 c #Conflicts: 1527000 | #Constraints: 94577
3454.18/3466.58 c #Conflicts: 1528000 | #Constraints: 95577
3454.18/3466.58 c #Conflicts: 1529000 | #Constraints: 96577
3454.18/3466.58 c #Conflicts: 1530000 | #Constraints: 97577
3454.18/3466.58 c #Conflicts: 1531000 | #Constraints: 98577
3454.18/3466.58 c #Conflicts: 1532000 | #Constraints: 99577
3454.18/3466.58 c #Conflicts: 1533000 | #Constraints: 100577
3454.18/3466.58 c #Conflicts: 1534000 | #Constraints: 101577
3454.18/3466.58 c #Conflicts: 1535000 | #Constraints: 102577
3454.18/3466.58 c #Conflicts: 1536000 | #Constraints: 103577
3454.18/3466.58 c #Conflicts: 1537000 | #Constraints: 104577
3454.18/3466.58 c #Conflicts: 1538000 | #Constraints: 105577
3454.18/3466.58 c #Conflicts: 1539000 | #Constraints: 106577
3454.18/3466.58 c #Conflicts: 1540000 | #Constraints: 107577
3454.18/3466.58 c #Conflicts: 1541000 | #Constraints: 108577
3454.18/3466.58 c INPROCESSING
3454.18/3466.58 c GARBAGE COLLECT
3454.18/3466.58 c #Conflicts: 1542000 | #Constraints: 84977
3454.18/3466.58 c #Conflicts: 1543000 | #Constraints: 85977
3454.18/3466.58 c #Conflicts: 1544000 | #Constraints: 86977
3454.18/3466.58 c #Conflicts: 1545000 | #Constraints: 87977
3454.18/3466.58 c #Conflicts: 1546000 | #Constraints: 88977
3454.18/3466.58 c #Conflicts: 1547000 | #Constraints: 89977
3454.18/3466.58 c #Conflicts: 1548000 | #Constraints: 90977
3454.18/3466.58 c #Conflicts: 1549000 | #Constraints: 91977
3454.18/3466.58 c #Conflicts: 1550000 | #Constraints: 92977
3454.18/3466.58 c #Conflicts: 1551000 | #Constraints: 93977
3454.18/3466.58 c #Conflicts: 1552000 | #Constraints: 94977
3454.18/3466.58 c #Conflicts: 1553000 | #Constraints: 95977
3454.18/3466.58 c #Conflicts: 1554000 | #Constraints: 96977
3454.18/3466.58 c #Conflicts: 1555000 | #Constraints: 97977
3454.18/3466.58 c #Conflicts: 1556000 | #Constraints: 98977
3454.18/3466.58 c #Conflicts: 1557000 | #Constraints: 99977
3454.18/3466.58 c #Conflicts: 1558000 | #Constraints: 100977
3454.18/3466.58 c #Conflicts: 1559000 | #Constraints: 101977
3454.18/3466.58 c #Conflicts: 1560000 | #Constraints: 102977
3454.18/3466.58 c #Conflicts: 1561000 | #Constraints: 103977
3454.18/3466.58 c #Conflicts: 1562000 | #Constraints: 104977
3454.18/3466.58 c #Conflicts: 1563000 | #Constraints: 105977
3454.18/3466.58 c #Conflicts: 1564000 | #Constraints: 106977
3454.18/3466.58 c #Conflicts: 1565000 | #Constraints: 107977
3454.18/3466.58 c #Conflicts: 1566000 | #Constraints: 108977
3454.18/3466.58 c INPROCESSING
3454.18/3466.58 c GARBAGE COLLECT
3454.18/3466.58 c #Conflicts: 1567000 | #Constraints: 85175
3454.18/3466.58 c #Conflicts: 1568000 | #Constraints: 86175
3600.00/3612.80 c #Conflicts: 1569000 | #Constraints: 87175
3600.00/3612.80 c #Conflicts: 1570000 | #Constraints: 88175
3600.00/3612.80 c #Conflicts: 1571000 | #Constraints: 89175
3600.00/3612.80 c #Conflicts: 1572000 | #Constraints: 90175
3600.00/3612.80 c #Conflicts: 1573000 | #Constraints: 91175
3600.00/3612.80 c #Conflicts: 1574000 | #Constraints: 92175
3600.00/3612.80 c #Conflicts: 1575000 | #Constraints: 93175
3600.00/3612.80 c #Conflicts: 1576000 | #Constraints: 94175
3600.00/3612.80 c #Conflicts: 1577000 | #Constraints: 95175
3600.00/3612.80 c #Conflicts: 1578000 | #Constraints: 96175
3600.00/3612.80 c #Conflicts: 1579000 | #Constraints: 97175
3600.00/3612.80 c #Conflicts: 1580000 | #Constraints: 98175
3600.00/3612.80 c #Conflicts: 1581000 | #Constraints: 99175
3600.00/3612.80 c #Conflicts: 1582000 | #Constraints: 100175
3600.00/3612.80 c #Conflicts: 1583000 | #Constraints: 101175
3600.00/3612.80 c #Conflicts: 1584000 | #Constraints: 102175
3600.00/3612.80 c #Conflicts: 1585000 | #Constraints: 103175
3600.00/3612.80 c #Conflicts: 1586000 | #Constraints: 104175
3600.00/3612.80 c #Conflicts: 1587000 | #Constraints: 105175
3600.00/3612.80 c #Conflicts: 1588000 | #Constraints: 106175
3600.00/3612.80 c #Conflicts: 1589000 | #Constraints: 107175
3600.00/3612.80 c #Conflicts: 1590000 | #Constraints: 108175
3600.00/3612.80 c #Conflicts: 1591000 | #Constraints: 109175
3600.00/3612.80 c INPROCESSING
3600.00/3612.80 c GARBAGE COLLECT
3600.00/3612.80 c #Conflicts: 1592000 | #Constraints: 85174
3600.00/3612.80 c #Conflicts: 1593000 | #Constraints: 86174
3600.00/3612.80 c #Conflicts: 1594000 | #Constraints: 87174
3600.00/3612.80 c #Conflicts: 1595000 | #Constraints: 88174
3600.00/3612.80 c #Conflicts: 1596000 | #Constraints: 89174
3600.00/3612.80 c #Conflicts: 1597000 | #Constraints: 90174
3600.00/3612.80 c #Conflicts: 1598000 | #Constraints: 91174
3600.00/3612.80 c #Conflicts: 1599000 | #Constraints: 92174
3600.00/3612.80 c #Conflicts: 1600000 | #Constraints: 93174
3600.00/3612.80 c #Conflicts: 1601000 | #Constraints: 94174
3600.00/3612.80 c #Conflicts: 1602000 | #Constraints: 95174
3600.00/3612.80 c #Conflicts: 1603000 | #Constraints: 96174
3600.00/3612.80 c #Conflicts: 1604000 | #Constraints: 97174
3600.00/3612.80 c #Conflicts: 1605000 | #Constraints: 98174
3600.00/3612.80 c #Conflicts: 1606000 | #Constraints: 99174
3600.00/3612.80 c #Conflicts: 1607000 | #Constraints: 100174
3600.00/3612.80 c #Conflicts: 1608000 | #Constraints: 101174
3600.00/3612.80 c #Conflicts: 1609000 | #Constraints: 102174
3600.00/3612.80 c #Conflicts: 1610000 | #Constraints: 103174
3600.00/3612.80 c #Conflicts: 1611000 | #Constraints: 104174
3600.00/3612.80 c #Conflicts: 1612000 | #Constraints: 105174
3600.00/3612.80 c #Conflicts: 1613000 | #Constraints: 106174
3600.00/3612.80 c #Conflicts: 1614000 | #Constraints: 107174
3600.00/3612.80 c #Conflicts: 1615000 | #Constraints: 108174
3600.00/3612.80 c #Conflicts: 1616000 | #Constraints: 109174
3600.00/3612.80 c INPROCESSING
3600.00/3612.80 c GARBAGE COLLECT
3600.00/3612.80 c #Conflicts: 1617000 | #Constraints: 84970
3600.00/3612.80 c #Conflicts: 1618000 | #Constraints: 85970
3600.00/3612.80 c #Conflicts: 1619000 | #Constraints: 86970
3600.00/3612.80 c #Conflicts: 1620000 | #Constraints: 87970
3600.00/3612.80 c #Conflicts: 1621000 | #Constraints: 88970
3600.00/3612.80 c #Conflicts: 1622000 | #Constraints: 89970
3600.00/3612.80 c #Conflicts: 1623000 | #Constraints: 90970
3600.00/3612.80 c #Conflicts: 1624000 | #Constraints: 91970
3600.00/3612.80 c Program interrupted by user.
3600.00/3612.80 c cpu time 3592.67 s
3600.00/3612.80 c deterministic time 727767038785 7.28e+11
3600.00/3612.80 c optimization time 16.0393 s
3600.00/3612.80 c total solve time 3277.59 s
3600.00/3612.80 c core-guided solve time 3277.59 s
3600.00/3612.80 c propagation time 3112.15 s
3600.00/3612.80 c conflict analysis time 142.553 s
3600.00/3612.80 c propagations 41400032
3600.00/3612.80 c resolve steps 13467583
3600.00/3612.80 c decisions 2594957
3600.00/3612.80 c conflicts 1624344
3600.00/3612.80 c restarts 3069
3600.00/3612.80 c inprocessing phases 118
3600.00/3612.80 c input clauses 59366
3600.00/3612.80 c input cardinalities 24
3600.00/3612.80 c input general constraints 0
3600.00/3612.80 c input average constraint length 2.39
3600.00/3612.80 c input average constraint degree 1.30
3600.00/3612.80 c learned clauses 1028834
3600.00/3612.80 c learned cardinalities 398599
3600.00/3612.80 c learned general constraints 196911
3600.00/3612.80 c learned average constraint length 885.84
3600.00/3612.80 c learned average constraint degree 10.95
3600.00/3612.80 c watched constraints 196911
3600.00/3612.80 c counting constraints 0
3600.00/3612.80 c gcd simplifications 113546
3600.00/3612.80 c detected cardinalities 38829
3600.00/3612.80 c weakened non-implied lits 17297338
3600.00/3612.80 c weakened non-implying lits 87177
3600.00/3612.80 c original variables 945
3600.00/3612.80 c clausal propagations 30451304
3600.00/3612.80 c cardinality propagations 6068749
3600.00/3612.80 c watched propagations 844899
3600.00/3612.80 c counting propagations 0
3600.00/3612.80 c watch lookups 24526694036
3600.00/3612.80 c watch backjump lookups 2245870
3600.00/3612.80 c watch checks 698478756161
3600.00/3612.80 c propagation checks 1551413386
3600.00/3612.80 c constraint additions 3118316046
3600.00/3612.80 c trail pops 45618296
3600.00/3612.80 c formula constraints 59186
3600.00/3612.80 c learned constraints 1624344
3600.00/3612.80 c bound constraints 24
3600.00/3612.80 c core-guided constraints 180
3600.00/3612.80 c encountered formula constraints 11539790
3600.00/3612.80 c encountered learned constraints 3522313
3600.00/3612.80 c encountered bound constraints 2083
3600.00/3612.80 c encountered core-guided constraints 27741
3600.00/3612.80 c LP total time 0 s
3600.00/3612.80 c LP solve time 0 s
3600.00/3612.80 c LP constraints added 0
3600.00/3612.80 c LP constraints removed 0
3600.00/3612.80 c LP pivots internal 0
3600.00/3612.80 c LP pivots root 0
3600.00/3612.80 c LP calls 0
3600.00/3612.80 c LP optimalities 0
3600.00/3612.80 c LP no pivot count 0
3600.00/3612.80 c LP infeasibilities 0
3600.00/3612.80 c LP valid Farkas constraints 0
3600.00/3612.80 c LP learned Farkas constraints 0
3600.00/3612.80 c LP basis resets 0
3600.00/3612.80 c LP cycling count 0
3600.00/3612.80 c LP singular count 0
3600.00/3612.80 c LP no primal count 0
3600.00/3612.80 c LP no farkas count 0
3600.00/3612.80 c LP other issue count 0
3600.00/3612.80 c LP Gomory cuts 0
3600.00/3612.80 c LP learned cuts 0
3600.00/3612.80 c LP deleted cuts 0
3600.00/3612.80 c LP encountered Gomory constraints 0
3600.00/3612.80 c LP encountered Farkas constraints 0
3600.00/3612.80 c LP encountered learned Farkas constraints 0
3600.00/3612.80 c CG auxiliary variables introduced 180
3600.00/3612.80 c CG solutions found 0
3600.00/3612.80 c CG cores constructed 23
3600.00/3612.80 c CG core cardinality constraints returned 0
3600.00/3612.80 c CG unit cores 0
3600.00/3612.80 c CG single cores 23
3600.00/3612.80 c CG blocks removed during cardinality reduction 0
3600.00/3612.80 c CG first core best 0
3600.00/3612.80 c CG decision core best 0
3600.00/3612.80 c CG core reduction tie 0
3600.00/3612.80 c CG core degree average 1.00
3600.00/3612.80 c CG core slack average 6.83
3600.00/3612.80 c CG exhausted 0
3600.00/3612.80 c CG exhaust time 0 s
3600.00/3612.80 c CG trimmed 3
3600.00/3612.80 c CG trim time 0.000245 s
3600.00/3612.80 c CG minimized 0
3600.00/3612.80 c CG minimize time 0 s
3600.00/3612.80 c CG am1 prop time 0.004175 s
3600.00/3612.80 c CG # am1s reformulated 180
3600.00/3612.80 c CG lower bound derived from am1s 765
3600.00/3612.80 c CG # clausal cores 23
3600.00/3612.80 c CG # cardinality cores 0
3600.00/3612.80 c CG # pb cores 0
3600.00/3612.80 c CG # pb reforms 0
3600.00/3612.80 c CG # cores discarded because of pb reform 0
3600.00/3612.80 d LOWERBOUND -157
3600.00/3612.80 d NCORES 23
3600.00/3612.80 d NPBCORES 0
3600.00/3612.80 d NPBREFORM 0
3600.00/3612.80 d NTRIMMED 3
3600.00/3612.80 d NEXHAUSTED 0
3600.00/3612.80 d NAM1S 180
3600.00/3612.80 d AM1LB 765
3600.00/3612.80 c [Papilo Statistics]
3600.00/3612.80 c prepro time 0.11342s
3600.00/3612.80 c # tsx applied 0
3600.00/3612.80 c # tsx conflicts 0
3600.00/3612.80 c # bound changes 0
3600.00/3612.80 c # side changes 0
3600.00/3612.80 c # coef changes 0
3600.00/3612.80 c # rounds 1
3600.00/3612.80 c # deted vars 0
3600.00/3612.80 c # deted constrs 0
3600.00/3612.80 c # consecutive rounds of only bound changes 0
3600.00/3612.80 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: 63968 MiB (60270 MiB free)
memory of node 1: 64473 MiB (59356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435521-1721060935/watcher-4435521-1721060935 -o /tmp/evaluation-result-4435521-1721060935/solver-4435521-1721060935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809294 --watchdog 3760 mixed-bag HOME/instance-4435521-1721060935.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810557, runsolver pid=810554
[startup+0.101026 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 810558
/proc/meminfo: memFree=122483880/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=89224 memory=22736 CPUtime=0.09 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 4781 0 0 0 9 0 0 0 20 0 1 0 158258482 91365376 5684 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 22306 5684 1605 3002 0 6596 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89224 KiB
Current children cumulated memory: 22736 KiB
[startup+0.205395 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 810558
/proc/meminfo: memFree=122467060/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=111548 memory=37484 CPUtime=0.19 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 8903 0 0 0 18 1 0 0 20 0 1 0 158258482 114225152 9371 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 27887 9371 1807 3002 0 11638 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111548 KiB
Current children cumulated memory: 37484 KiB
[startup+0.305407 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 810558
/proc/meminfo: memFree=122406864/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=173436 memory=105808 CPUtime=0.29 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 25128 0 0 0 25 4 0 0 20 0 1 0 158258482 177598464 26452 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 43359 26452 3765 3002 0 27110 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 173436 KiB
Current children cumulated memory: 105808 KiB
[startup+0.700202 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 810558
/proc/meminfo: memFree=122366064/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=217804 memory=148640 CPUtime=0.69 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 39471 0 0 0 63 6 0 0 20 0 1 0 158258482 223031296 37160 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 54451 37160 3765 3002 0 38202 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 217804 KiB
Current children cumulated memory: 148640 KiB
[startup+1.50021 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 810558
/proc/meminfo: memFree=122290988/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=438152 memory=355512 CPUtime=1.49 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 60413 0 0 0 137 12 0 0 20 0 1 0 158258482 448667648 88878 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 109538 88878 3969 3002 0 93289 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 438152 KiB
Current children cumulated memory: 355512 KiB
[startup+3.10565 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 810558
/proc/meminfo: memFree=122130060/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=472076 memory=382060 CPUtime=3.08 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 66050 0 0 0 295 13 0 0 20 0 1 0 158258482 483405824 95515 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 118019 95515 4017 3002 0 101770 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 472076 KiB
Current children cumulated memory: 382060 KiB
[startup+6.30019 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 810558
/proc/meminfo: memFree=122127580/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=484800 memory=384692 CPUtime=6.26 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 66705 0 0 0 613 13 0 0 20 0 1 0 158258482 496435200 96173 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 121200 96173 4017 3002 0 104951 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 484800 KiB
Current children cumulated memory: 384692 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 810559
/proc/meminfo: memFree=122116564/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=584344 memory=397588 CPUtime=12.64 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 69963 0 0 0 1250 14 0 0 20 0 1 0 158258482 598368256 99397 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 146086 99397 4017 3002 0 129837 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 584344 KiB
Current children cumulated memory: 397588 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 810561
/proc/meminfo: memFree=122045864/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=662884 memory=466012 CPUtime=25.4 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 87071 0 0 0 2523 17 0 0 20 0 1 0 158258482 678793216 116503 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 165721 116503 4032 3002 0 149472 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 662884 KiB
Current children cumulated memory: 466012 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 810565
/proc/meminfo: memFree=121992616/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=701796 memory=468260 CPUtime=50.91 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 87086 0 0 0 5074 17 0 0 20 0 1 0 158258482 718639104 117065 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 175449 117065 4032 3002 0 159200 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 701796 KiB
Current children cumulated memory: 468260 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 810636
/proc/meminfo: memFree=121932732/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=782116 memory=515380 CPUtime=101.92 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 103013 0 0 0 10172 20 0 0 20 0 1 0 158258482 800886784 128845 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 195529 128845 4032 3002 0 179280 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 782116 KiB
Current children cumulated memory: 515380 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/261 810646
/proc/meminfo: memFree=121886536/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=850552 memory=541772 CPUtime=161.69 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 109624 0 0 0 16148 21 0 0 20 0 1 0 158258482 870965248 135443 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 212638 135443 4032 3002 0 196389 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 850552 KiB
Current children cumulated memory: 541772 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.14 4.10 5/261 810656
/proc/meminfo: memFree=121682488/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=961528 memory=602468 CPUtime=221.47 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 115614 0 0 0 22125 22 0 0 20 0 1 0 158258482 984604672 150617 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 240382 150617 4168 3002 0 224133 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 961528 KiB
Current children cumulated memory: 602468 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/260 810667
/proc/meminfo: memFree=121276824/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1072868 memory=664084 CPUtime=281.24 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 128969 0 0 0 28100 24 0 0 20 0 1 0 158258482 1098616832 166021 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 268217 166021 4168 3002 0 251968 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1072868 KiB
Current children cumulated memory: 664084 KiB
[startup+342.3 s]
/proc/loadavg: 4.52 4.23 4.13 5/259 810679
/proc/meminfo: memFree=121213436/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=851396 memory=480524 CPUtime=341.02 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 133005 0 0 0 34043 59 0 0 20 0 1 0 158258482 871829504 120131 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 212849 120131 4327 3002 0 196600 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 851396 KiB
Current children cumulated memory: 480524 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.20 4.12 6/254 810689
/proc/meminfo: memFree=121026448/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=882216 memory=498948 CPUtime=400.8 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 133548 0 0 0 39994 86 0 0 20 0 1 0 158258482 903389184 124737 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 220554 124737 4327 3002 0 204305 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 882216 KiB
Current children cumulated memory: 498948 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/254 810699
/proc/meminfo: memFree=120898384/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=882216 memory=509224 CPUtime=460.58 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 133591 0 0 0 45950 108 0 0 20 0 1 0 158258482 903389184 127306 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 220554 127306 4327 3002 0 204305 0
################
# More data... #
################
Current children cumulated memory: 744120 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 811883
/proc/meminfo: memFree=126397328/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=746168 CPUtime=2851.93 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 138187 0 0 0 284567 626 0 0 20 0 1 0 158258482 1038020608 186542 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 186542 4327 3002 0 237174 0
Current children cumulated CPU time: 2851.93 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 746168 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 811894
/proc/meminfo: memFree=126368732/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=746168 CPUtime=2911.74 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 138304 0 0 0 290540 634 0 0 20 0 1 0 158258482 1038020608 186542 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 186542 4327 3002 0 237174 0
Current children cumulated CPU time: 2911.74 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 746168 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 811904
/proc/meminfo: memFree=126325064/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=746168 CPUtime=2971.55 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 138436 0 0 0 296512 643 0 0 20 0 1 0 158258482 1038020608 186542 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 186542 4327 3002 0 237174 0
Current children cumulated CPU time: 2971.55 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 746168 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 811914
/proc/meminfo: memFree=126282128/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=748216 CPUtime=3031.35 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 138572 0 0 0 302482 653 0 0 20 0 1 0 158258482 1038020608 187054 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 187054 4327 3002 0 237174 0
Current children cumulated CPU time: 3031.35 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 748216 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 811930
/proc/meminfo: memFree=126273652/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=750264 CPUtime=3091.17 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 138710 0 0 0 308455 662 0 0 20 0 1 0 158258482 1038020608 187566 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 187566 4327 3002 0 237174 0
Current children cumulated CPU time: 3091.17 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 750264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 811941
/proc/meminfo: memFree=126266768/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=752312 CPUtime=3150.97 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 138861 0 0 0 314425 672 0 0 20 0 1 0 158258482 1038020608 188078 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 188078 4327 3002 0 237174 0
Current children cumulated CPU time: 3150.97 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 752312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 811952
/proc/meminfo: memFree=126233652/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=752312 CPUtime=3210.78 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 138998 0 0 0 320397 681 0 0 20 0 1 0 158258482 1038020608 188078 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 188078 4327 3002 0 237174 0
Current children cumulated CPU time: 3210.78 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 752312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/258 811963
/proc/meminfo: memFree=126196600/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=754360 CPUtime=3270.58 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 139135 0 0 0 326368 690 0 0 20 0 1 0 158258482 1038020608 188590 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 188590 4327 3002 0 237174 0
Current children cumulated CPU time: 3270.58 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 754360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 811974
/proc/meminfo: memFree=126182868/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=756408 CPUtime=3330.38 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 139274 0 0 0 332342 696 0 0 20 0 1 0 158258482 1038020608 189102 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 189102 4327 3002 0 237174 0
Current children cumulated CPU time: 3330.38 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 756408 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/256 812366
/proc/meminfo: memFree=126146156/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=758456 CPUtime=3390.19 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 139426 0 0 0 338314 705 0 0 20 0 1 0 158258482 1038020608 189614 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 189614 4327 3002 0 237174 0
Current children cumulated CPU time: 3390.19 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 758456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/255 812376
/proc/meminfo: memFree=126123620/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=758456 CPUtime=3450 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 139573 0 0 0 344287 713 0 0 20 0 1 0 158258482 1038020608 189614 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 189614 4327 3002 0 237174 0
Current children cumulated CPU time: 3450 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 758456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 812387
/proc/meminfo: memFree=126115344/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=758456 CPUtime=3509.8 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 139708 0 0 0 350259 721 0 0 20 0 1 0 158258482 1038020608 189614 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 189614 4327 3002 0 237174 0
Current children cumulated CPU time: 3509.8 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 758456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 812566
/proc/meminfo: memFree=126106716/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=764600 CPUtime=3569.6 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 139857 0 0 0 356232 728 0 0 20 0 1 0 158258482 1038020608 191150 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 191150 4327 3002 0 237174 0
Current children cumulated CPU time: 3569.6 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 764600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 812570
/proc/meminfo: memFree=126102004/131524600 swapFree=131071996/131071996
[pid=810557] ppid=810554 vsize=1013692 memory=764600 CPUtime=3600 cores=0,2
/proc/810557/stat : 810557 (mixed-bag) R 810554 810557 809284 0 -1 4194304 139916 0 0 0 359266 734 0 0 20 0 1 0 158258482 1038020608 191150 134679101440 4194304 16487941 140725873415552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47308800 140725873423383 140725873423460 140725873423460 140725873430475 0
/proc/810557/statm: 253423 191150 4327 3002 0 237174 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1013692 KiB
Current children cumulated memory: 764600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 810557 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.67 s, system=7.3476 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.81
CPU time (s): 3600.02
CPU user time (s): 3592.67
CPU system time (s): 7.3476
CPU usage (%): 99.646
Max. virtual memory (cumulated for all children) (KiB): 1141428
Max. memory (cumulated for all children) (KiB): 764600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.67
system time used= 7.3476
maximum resident set size= 765184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139938
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= 94
involuntary context switches= 25424
# summary of solver processes directly reported to runsolver:
# pid: 810557
# total CPU time (s): 3600.02
# total CPU user time (s): 3592.67
# total CPU system time (s): 7.3476
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70971 second user time and 16.0008 second system time
The end
Begin job on nodeC023 at 2024-07-15 18:29:08
IDJOB=4435521
IDBENCH=146680
IDSOLVER=3066
FILE ID=nodeC023/4435521-1721060935
RUNJOBID= nodeC023-1721058927-809294
SLURM_JOB_ID= 7505494
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435521-1721060935/watcher-4435521-1721060935 -o /tmp/evaluation-result-4435521-1721060935/solver-4435521-1721060935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809294 --watchdog 3760 mixed-bag HOME/instance-4435521-1721060935.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=1954165438
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.911
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3684.900
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3657.112
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3600.152
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3674.284
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3684.928
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3611.578
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3600.011
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122497944 kB
MemAvailable: 123852260 kB
Buffers: 373792 kB
Cached: 1808820 kB
SwapCached: 0 kB
Active: 717412 kB
Inactive: 7686880 kB
Active(anon): 1572 kB
Inactive(anon): 6257820 kB
Active(file): 715840 kB
Inactive(file): 1429060 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17720 kB
Writeback: 0 kB
AnonPages: 6221504 kB
Mapped: 137948 kB
Shmem: 37720 kB
KReclaimable: 98480 kB
Slab: 204492 kB
SReclaimable: 98480 kB
SUnreclaim: 106012 kB
KernelStack: 4128 kB
PageTables: 22324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7575472 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3049472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC023 at 2024-07-15 19:29:21