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.12 c [STEP] preprocessing with Papilo
0.19/0.26 c Papilo could not simplify the problem
0.19/0.26 c [STEP] solving with SCIP
299.35/300.40 c [STEP] preprocessing done, loading into solver
299.35/300.49 c [STEP] solving
299.35/300.49 c #variables 946 #constraints 59186
299.35/300.49 c SMALL=int, LARGE=long long
299.35/300.49 d SCIPUB -39
299.35/300.49 c bounds - >= -945 @ 299.157
299.35/300.49 c stratification level: 0
325.37/326.52 c bounds - >= -179 @ 299.191
325.37/326.52 c bounds - >= -178 @ 299.191
325.37/326.52 c bounds - >= -177 @ 299.191
325.37/326.52 c bounds - >= -176 @ 299.191
325.37/326.52 c bounds - >= -175 @ 299.191
325.37/326.52 c bounds - >= -174 @ 299.192
325.37/326.52 c bounds - >= -173 @ 299.192
325.37/326.52 c bounds - >= -172 @ 299.192
325.37/326.52 c bounds - >= -171 @ 299.192
325.37/326.52 c bounds - >= -170 @ 299.193
325.37/326.52 c bounds - >= -169 @ 299.194
325.37/326.52 c bounds - >= -168 @ 299.195
325.37/326.52 c bounds - >= -167 @ 299.195
325.37/326.52 c bounds - >= -166 @ 299.195
325.37/326.52 c bounds - >= -165 @ 299.195
325.37/326.52 c bounds - >= -164 @ 299.195
325.37/326.52 c bounds - >= -163 @ 299.195
325.37/326.52 c bounds - >= -162 @ 299.196
325.37/326.52 c bounds - >= -161 @ 299.196
325.37/326.52 c bounds - >= -160 @ 299.197
325.37/326.52 c bounds - >= -159 @ 299.198
325.37/326.52 c bounds - >= -158 @ 299.198
325.37/326.52 c #Conflicts: 1000 | #Constraints: 60388
325.37/326.52 c #Conflicts: 2000 | #Constraints: 61388
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 3000 | #Constraints: 61383
325.37/326.52 c #Conflicts: 4000 | #Constraints: 62383
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 5000 | #Constraints: 61794
325.37/326.52 c #Conflicts: 6000 | #Constraints: 62794
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 7000 | #Constraints: 61805
325.37/326.52 c #Conflicts: 8000 | #Constraints: 62805
325.37/326.52 c #Conflicts: 9000 | #Constraints: 63805
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 10000 | #Constraints: 62509
325.37/326.52 c #Conflicts: 11000 | #Constraints: 63509
325.37/326.52 c #Conflicts: 12000 | #Constraints: 64509
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 13000 | #Constraints: 62963
325.37/326.52 c #Conflicts: 14000 | #Constraints: 63963
325.37/326.52 c #Conflicts: 15000 | #Constraints: 64963
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 16000 | #Constraints: 63190
325.37/326.52 c #Conflicts: 17000 | #Constraints: 64190
325.37/326.52 c #Conflicts: 18000 | #Constraints: 65190
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 19000 | #Constraints: 63206
325.37/326.52 c #Conflicts: 20000 | #Constraints: 64206
325.37/326.52 c #Conflicts: 21000 | #Constraints: 65206
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 22000 | #Constraints: 63010
325.37/326.52 c #Conflicts: 23000 | #Constraints: 64010
325.37/326.52 c #Conflicts: 24000 | #Constraints: 65010
325.37/326.52 c #Conflicts: 25000 | #Constraints: 66010
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 26000 | #Constraints: 63616
325.37/326.52 c #Conflicts: 27000 | #Constraints: 64616
325.37/326.52 c #Conflicts: 28000 | #Constraints: 65616
325.37/326.52 c #Conflicts: 29000 | #Constraints: 66616
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 30000 | #Constraints: 64017
325.37/326.52 c #Conflicts: 31000 | #Constraints: 65017
325.37/326.52 c #Conflicts: 32000 | #Constraints: 66017
325.37/326.52 c #Conflicts: 33000 | #Constraints: 67017
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 34000 | #Constraints: 64215
325.37/326.52 c #Conflicts: 35000 | #Constraints: 65215
325.37/326.52 c #Conflicts: 36000 | #Constraints: 66215
325.37/326.52 c #Conflicts: 37000 | #Constraints: 67215
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 38000 | #Constraints: 64219
325.37/326.52 c #Conflicts: 39000 | #Constraints: 65219
325.37/326.52 c #Conflicts: 40000 | #Constraints: 66219
325.37/326.52 c #Conflicts: 41000 | #Constraints: 67219
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 42000 | #Constraints: 64026
325.37/326.52 c #Conflicts: 43000 | #Constraints: 65026
325.37/326.52 c #Conflicts: 44000 | #Constraints: 66026
325.37/326.52 c #Conflicts: 45000 | #Constraints: 67026
325.37/326.52 c #Conflicts: 46000 | #Constraints: 68026
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 47000 | #Constraints: 64617
325.37/326.52 c #Conflicts: 48000 | #Constraints: 65617
325.37/326.52 c #Conflicts: 49000 | #Constraints: 66617
325.37/326.52 c #Conflicts: 50000 | #Constraints: 67617
325.37/326.52 c #Conflicts: 51000 | #Constraints: 68617
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 52000 | #Constraints: 65022
325.37/326.52 c #Conflicts: 53000 | #Constraints: 66022
325.37/326.52 c #Conflicts: 54000 | #Constraints: 67022
325.37/326.52 c #Conflicts: 55000 | #Constraints: 68022
325.37/326.52 c #Conflicts: 56000 | #Constraints: 69022
325.37/326.52 c INPROCESSING
325.37/326.52 c GARBAGE COLLECT
325.37/326.52 c #Conflicts: 57000 | #Constraints: 65228
374.60/375.91 c #Conflicts: 58000 | #Constraints: 66228
374.60/375.91 c #Conflicts: 59000 | #Constraints: 67228
374.60/375.91 c #Conflicts: 60000 | #Constraints: 68228
374.60/375.91 c #Conflicts: 61000 | #Constraints: 69228
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 62000 | #Constraints: 65229
374.60/375.91 c #Conflicts: 63000 | #Constraints: 66229
374.60/375.91 c #Conflicts: 64000 | #Constraints: 67229
374.60/375.91 c #Conflicts: 65000 | #Constraints: 68229
374.60/375.91 c #Conflicts: 66000 | #Constraints: 69229
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 67000 | #Constraints: 65029
374.60/375.91 c #Conflicts: 68000 | #Constraints: 66029
374.60/375.91 c #Conflicts: 69000 | #Constraints: 67029
374.60/375.91 c #Conflicts: 70000 | #Constraints: 68029
374.60/375.91 c #Conflicts: 71000 | #Constraints: 69029
374.60/375.91 c #Conflicts: 72000 | #Constraints: 70029
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 73000 | #Constraints: 65631
374.60/375.91 c #Conflicts: 74000 | #Constraints: 66631
374.60/375.91 c #Conflicts: 75000 | #Constraints: 67631
374.60/375.91 c #Conflicts: 76000 | #Constraints: 68631
374.60/375.91 c #Conflicts: 77000 | #Constraints: 69631
374.60/375.91 c #Conflicts: 78000 | #Constraints: 70631
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 79000 | #Constraints: 66036
374.60/375.91 c #Conflicts: 80000 | #Constraints: 67036
374.60/375.91 c #Conflicts: 81000 | #Constraints: 68036
374.60/375.91 c #Conflicts: 82000 | #Constraints: 69036
374.60/375.91 c #Conflicts: 83000 | #Constraints: 70036
374.60/375.91 c #Conflicts: 84000 | #Constraints: 71036
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 85000 | #Constraints: 66236
374.60/375.91 c #Conflicts: 86000 | #Constraints: 67236
374.60/375.91 c #Conflicts: 87000 | #Constraints: 68236
374.60/375.91 c #Conflicts: 88000 | #Constraints: 69236
374.60/375.91 c #Conflicts: 89000 | #Constraints: 70236
374.60/375.91 c #Conflicts: 90000 | #Constraints: 71236
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 91000 | #Constraints: 66236
374.60/375.91 c #Conflicts: 92000 | #Constraints: 67236
374.60/375.91 c #Conflicts: 93000 | #Constraints: 68236
374.60/375.91 c #Conflicts: 94000 | #Constraints: 69236
374.60/375.91 c #Conflicts: 95000 | #Constraints: 70236
374.60/375.91 c #Conflicts: 96000 | #Constraints: 71236
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 97000 | #Constraints: 66036
374.60/375.91 c #Conflicts: 98000 | #Constraints: 67036
374.60/375.91 c #Conflicts: 99000 | #Constraints: 68036
374.60/375.91 c #Conflicts: 100000 | #Constraints: 69036
374.60/375.91 c #Conflicts: 101000 | #Constraints: 70036
374.60/375.91 c #Conflicts: 102000 | #Constraints: 71036
374.60/375.91 c #Conflicts: 103000 | #Constraints: 72036
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 104000 | #Constraints: 66634
374.60/375.91 c #Conflicts: 105000 | #Constraints: 67634
374.60/375.91 c #Conflicts: 106000 | #Constraints: 68634
374.60/375.91 c #Conflicts: 107000 | #Constraints: 69634
374.60/375.91 c #Conflicts: 108000 | #Constraints: 70634
374.60/375.91 c #Conflicts: 109000 | #Constraints: 71634
374.60/375.91 c #Conflicts: 110000 | #Constraints: 72634
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 111000 | #Constraints: 67038
374.60/375.91 c #Conflicts: 112000 | #Constraints: 68038
374.60/375.91 c #Conflicts: 113000 | #Constraints: 69038
374.60/375.91 c #Conflicts: 114000 | #Constraints: 70038
374.60/375.91 c #Conflicts: 115000 | #Constraints: 71038
374.60/375.91 c #Conflicts: 116000 | #Constraints: 72038
374.60/375.91 c #Conflicts: 117000 | #Constraints: 73038
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 118000 | #Constraints: 67237
374.60/375.91 c #Conflicts: 119000 | #Constraints: 68237
374.60/375.91 c #Conflicts: 120000 | #Constraints: 69237
374.60/375.91 c #Conflicts: 121000 | #Constraints: 70237
374.60/375.91 c #Conflicts: 122000 | #Constraints: 71237
374.60/375.91 c #Conflicts: 123000 | #Constraints: 72237
374.60/375.91 c #Conflicts: 124000 | #Constraints: 73237
374.60/375.91 c INPROCESSING
374.60/375.91 c GARBAGE COLLECT
374.60/375.91 c #Conflicts: 125000 | #Constraints: 67239
374.60/375.91 c #Conflicts: 126000 | #Constraints: 68239
374.60/375.91 c #Conflicts: 127000 | #Constraints: 69239
374.60/375.91 c #Conflicts: 128000 | #Constraints: 70239
374.60/375.91 c #Conflicts: 129000 | #Constraints: 71239
439.58/441.11 c #Conflicts: 130000 | #Constraints: 72239
439.58/441.11 c #Conflicts: 131000 | #Constraints: 73239
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 132000 | #Constraints: 67037
439.58/441.11 c #Conflicts: 133000 | #Constraints: 68037
439.58/441.11 c #Conflicts: 134000 | #Constraints: 69037
439.58/441.11 c #Conflicts: 135000 | #Constraints: 70037
439.58/441.11 c #Conflicts: 136000 | #Constraints: 71037
439.58/441.11 c #Conflicts: 137000 | #Constraints: 72037
439.58/441.11 c #Conflicts: 138000 | #Constraints: 73037
439.58/441.11 c #Conflicts: 139000 | #Constraints: 74037
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 140000 | #Constraints: 67641
439.58/441.11 c #Conflicts: 141000 | #Constraints: 68641
439.58/441.11 c #Conflicts: 142000 | #Constraints: 69641
439.58/441.11 c #Conflicts: 143000 | #Constraints: 70641
439.58/441.11 c #Conflicts: 144000 | #Constraints: 71641
439.58/441.11 c #Conflicts: 145000 | #Constraints: 72641
439.58/441.11 c #Conflicts: 146000 | #Constraints: 73641
439.58/441.11 c #Conflicts: 147000 | #Constraints: 74641
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 148000 | #Constraints: 68038
439.58/441.11 c #Conflicts: 149000 | #Constraints: 69038
439.58/441.11 c #Conflicts: 150000 | #Constraints: 70038
439.58/441.11 c #Conflicts: 151000 | #Constraints: 71038
439.58/441.11 c #Conflicts: 152000 | #Constraints: 72038
439.58/441.11 c #Conflicts: 153000 | #Constraints: 73038
439.58/441.11 c #Conflicts: 154000 | #Constraints: 74038
439.58/441.11 c #Conflicts: 155000 | #Constraints: 75038
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 156000 | #Constraints: 68240
439.58/441.11 c #Conflicts: 157000 | #Constraints: 69240
439.58/441.11 c #Conflicts: 158000 | #Constraints: 70240
439.58/441.11 c #Conflicts: 159000 | #Constraints: 71240
439.58/441.11 c #Conflicts: 160000 | #Constraints: 72240
439.58/441.11 c #Conflicts: 161000 | #Constraints: 73240
439.58/441.11 c #Conflicts: 162000 | #Constraints: 74240
439.58/441.11 c #Conflicts: 163000 | #Constraints: 75240
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 164000 | #Constraints: 68240
439.58/441.11 c #Conflicts: 165000 | #Constraints: 69240
439.58/441.11 c #Conflicts: 166000 | #Constraints: 70240
439.58/441.11 c #Conflicts: 167000 | #Constraints: 71240
439.58/441.11 c #Conflicts: 168000 | #Constraints: 72240
439.58/441.11 c #Conflicts: 169000 | #Constraints: 73240
439.58/441.11 c #Conflicts: 170000 | #Constraints: 74240
439.58/441.11 c #Conflicts: 171000 | #Constraints: 75240
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 172000 | #Constraints: 68039
439.58/441.11 c #Conflicts: 173000 | #Constraints: 69039
439.58/441.11 c #Conflicts: 174000 | #Constraints: 70039
439.58/441.11 c #Conflicts: 175000 | #Constraints: 71039
439.58/441.11 c #Conflicts: 176000 | #Constraints: 72039
439.58/441.11 c #Conflicts: 177000 | #Constraints: 73039
439.58/441.11 c #Conflicts: 178000 | #Constraints: 74039
439.58/441.11 c #Conflicts: 179000 | #Constraints: 75039
439.58/441.11 c #Conflicts: 180000 | #Constraints: 76039
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 181000 | #Constraints: 68637
439.58/441.11 c #Conflicts: 182000 | #Constraints: 69637
439.58/441.11 c #Conflicts: 183000 | #Constraints: 70637
439.58/441.11 c #Conflicts: 184000 | #Constraints: 71637
439.58/441.11 c #Conflicts: 185000 | #Constraints: 72637
439.58/441.11 c #Conflicts: 186000 | #Constraints: 73637
439.58/441.11 c #Conflicts: 187000 | #Constraints: 74637
439.58/441.11 c #Conflicts: 188000 | #Constraints: 75637
439.58/441.11 c #Conflicts: 189000 | #Constraints: 76637
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 190000 | #Constraints: 69037
439.58/441.11 c #Conflicts: 191000 | #Constraints: 70037
439.58/441.11 c #Conflicts: 192000 | #Constraints: 71037
439.58/441.11 c #Conflicts: 193000 | #Constraints: 72037
439.58/441.11 c #Conflicts: 194000 | #Constraints: 73037
439.58/441.11 c #Conflicts: 195000 | #Constraints: 74037
439.58/441.11 c #Conflicts: 196000 | #Constraints: 75037
439.58/441.11 c #Conflicts: 197000 | #Constraints: 76037
439.58/441.11 c #Conflicts: 198000 | #Constraints: 77037
439.58/441.11 c INPROCESSING
439.58/441.11 c GARBAGE COLLECT
439.58/441.11 c #Conflicts: 199000 | #Constraints: 69237
439.58/441.11 c #Conflicts: 200000 | #Constraints: 70237
439.58/441.11 c #Conflicts: 201000 | #Constraints: 71237
439.58/441.11 c #Conflicts: 202000 | #Constraints: 72237
522.79/524.69 c #Conflicts: 203000 | #Constraints: 73237
522.79/524.69 c #Conflicts: 204000 | #Constraints: 74237
522.79/524.69 c #Conflicts: 205000 | #Constraints: 75237
522.79/524.69 c #Conflicts: 206000 | #Constraints: 76237
522.79/524.69 c #Conflicts: 207000 | #Constraints: 77237
522.79/524.69 c INPROCESSING
522.79/524.69 c GARBAGE COLLECT
522.79/524.69 c #Conflicts: 208000 | #Constraints: 69240
522.79/524.69 c #Conflicts: 209000 | #Constraints: 70240
522.79/524.69 c #Conflicts: 210000 | #Constraints: 71240
522.79/524.69 c #Conflicts: 211000 | #Constraints: 72240
522.79/524.69 c #Conflicts: 212000 | #Constraints: 73240
522.79/524.69 c #Conflicts: 213000 | #Constraints: 74240
522.79/524.69 c #Conflicts: 214000 | #Constraints: 75240
522.79/524.69 c #Conflicts: 215000 | #Constraints: 76240
522.79/524.69 c #Conflicts: 216000 | #Constraints: 77240
522.79/524.69 c INPROCESSING
522.79/524.69 c GARBAGE COLLECT
522.79/524.69 c #Conflicts: 217000 | #Constraints: 69042
522.79/524.69 c #Conflicts: 218000 | #Constraints: 70042
522.79/524.69 c #Conflicts: 219000 | #Constraints: 71042
522.79/524.69 c #Conflicts: 220000 | #Constraints: 72042
522.79/524.69 c #Conflicts: 221000 | #Constraints: 73042
522.79/524.69 c #Conflicts: 222000 | #Constraints: 74042
522.79/524.69 c #Conflicts: 223000 | #Constraints: 75042
522.79/524.69 c #Conflicts: 224000 | #Constraints: 76042
522.79/524.69 c #Conflicts: 225000 | #Constraints: 77042
522.79/524.69 c #Conflicts: 226000 | #Constraints: 78042
522.79/524.69 c INPROCESSING
522.79/524.69 c GARBAGE COLLECT
522.79/524.69 c #Conflicts: 227000 | #Constraints: 69642
522.79/524.69 c #Conflicts: 228000 | #Constraints: 70642
522.79/524.69 c #Conflicts: 229000 | #Constraints: 71642
522.79/524.69 c #Conflicts: 230000 | #Constraints: 72642
522.79/524.69 c #Conflicts: 231000 | #Constraints: 73642
522.79/524.69 c #Conflicts: 232000 | #Constraints: 74642
522.79/524.69 c #Conflicts: 233000 | #Constraints: 75642
522.79/524.69 c #Conflicts: 234000 | #Constraints: 76642
522.79/524.69 c #Conflicts: 235000 | #Constraints: 77642
522.79/524.69 c #Conflicts: 236000 | #Constraints: 78642
522.79/524.69 c INPROCESSING
522.79/524.69 c GARBAGE COLLECT
522.79/524.69 c #Conflicts: 237000 | #Constraints: 70040
522.79/524.69 c #Conflicts: 238000 | #Constraints: 71040
522.79/524.69 c #Conflicts: 239000 | #Constraints: 72040
522.79/524.69 c #Conflicts: 240000 | #Constraints: 73040
522.79/524.69 c #Conflicts: 241000 | #Constraints: 74040
522.79/524.69 c #Conflicts: 242000 | #Constraints: 75040
522.79/524.69 c #Conflicts: 243000 | #Constraints: 76040
522.79/524.69 c #Conflicts: 244000 | #Constraints: 77040
522.79/524.69 c #Conflicts: 245000 | #Constraints: 78040
522.79/524.69 c #Conflicts: 246000 | #Constraints: 79040
522.79/524.69 c INPROCESSING
522.79/524.69 c GARBAGE COLLECT
522.79/524.69 c #Conflicts: 247000 | #Constraints: 70242
522.79/524.69 c #Conflicts: 248000 | #Constraints: 71242
522.79/524.69 c #Conflicts: 249000 | #Constraints: 72242
522.79/524.69 c #Conflicts: 250000 | #Constraints: 73242
522.79/524.69 c #Conflicts: 251000 | #Constraints: 74242
522.79/524.69 c #Conflicts: 252000 | #Constraints: 75242
522.79/524.69 c #Conflicts: 253000 | #Constraints: 76242
522.79/524.69 c #Conflicts: 254000 | #Constraints: 77242
522.79/524.69 c #Conflicts: 255000 | #Constraints: 78242
522.79/524.69 c #Conflicts: 256000 | #Constraints: 79242
522.79/524.69 c INPROCESSING
522.79/524.69 c GARBAGE COLLECT
522.79/524.69 c #Conflicts: 257000 | #Constraints: 70242
522.79/524.69 c #Conflicts: 258000 | #Constraints: 71242
522.79/524.69 c #Conflicts: 259000 | #Constraints: 72242
522.79/524.69 c #Conflicts: 260000 | #Constraints: 73242
522.79/524.69 c #Conflicts: 261000 | #Constraints: 74242
522.79/524.69 c #Conflicts: 262000 | #Constraints: 75242
522.79/524.69 c #Conflicts: 263000 | #Constraints: 76242
522.79/524.69 c #Conflicts: 264000 | #Constraints: 77242
522.79/524.69 c #Conflicts: 265000 | #Constraints: 78242
522.79/524.69 c #Conflicts: 266000 | #Constraints: 79242
522.79/524.69 c INPROCESSING
522.79/524.69 c GARBAGE COLLECT
522.79/524.69 c #Conflicts: 267000 | #Constraints: 70047
522.79/524.69 c #Conflicts: 268000 | #Constraints: 71047
522.79/524.69 c #Conflicts: 269000 | #Constraints: 72047
522.79/524.69 c #Conflicts: 270000 | #Constraints: 73047
522.79/524.69 c #Conflicts: 271000 | #Constraints: 74047
522.79/524.69 c #Conflicts: 272000 | #Constraints: 75047
522.79/524.69 c #Conflicts: 273000 | #Constraints: 76047
522.79/524.69 c #Conflicts: 274000 | #Constraints: 77047
522.79/524.69 c #Conflicts: 275000 | #Constraints: 78047
522.79/524.69 c #Conflicts: 276000 | #Constraints: 79047
638.40/640.63 c #Conflicts: 277000 | #Constraints: 80047
638.40/640.63 c INPROCESSING
638.40/640.63 c GARBAGE COLLECT
638.40/640.63 c #Conflicts: 278000 | #Constraints: 70647
638.40/640.63 c #Conflicts: 279000 | #Constraints: 71647
638.40/640.63 c #Conflicts: 280000 | #Constraints: 72647
638.40/640.63 c #Conflicts: 281000 | #Constraints: 73647
638.40/640.63 c #Conflicts: 282000 | #Constraints: 74647
638.40/640.63 c #Conflicts: 283000 | #Constraints: 75647
638.40/640.63 c #Conflicts: 284000 | #Constraints: 76647
638.40/640.63 c #Conflicts: 285000 | #Constraints: 77647
638.40/640.63 c #Conflicts: 286000 | #Constraints: 78647
638.40/640.63 c #Conflicts: 287000 | #Constraints: 79647
638.40/640.63 c #Conflicts: 288000 | #Constraints: 80647
638.40/640.63 c INPROCESSING
638.40/640.63 c GARBAGE COLLECT
638.40/640.63 c #Conflicts: 289000 | #Constraints: 71045
638.40/640.63 c #Conflicts: 290000 | #Constraints: 72045
638.40/640.63 c #Conflicts: 291000 | #Constraints: 73045
638.40/640.63 c #Conflicts: 292000 | #Constraints: 74045
638.40/640.63 c #Conflicts: 293000 | #Constraints: 75045
638.40/640.63 c #Conflicts: 294000 | #Constraints: 76045
638.40/640.63 c #Conflicts: 295000 | #Constraints: 77045
638.40/640.63 c #Conflicts: 296000 | #Constraints: 78045
638.40/640.63 c #Conflicts: 297000 | #Constraints: 79045
638.40/640.63 c #Conflicts: 298000 | #Constraints: 80045
638.40/640.63 c #Conflicts: 299000 | #Constraints: 81045
638.40/640.63 c INPROCESSING
638.40/640.63 c GARBAGE COLLECT
638.40/640.63 c #Conflicts: 300000 | #Constraints: 71247
638.40/640.63 c #Conflicts: 301000 | #Constraints: 72247
638.40/640.63 c #Conflicts: 302000 | #Constraints: 73247
638.40/640.63 c #Conflicts: 303000 | #Constraints: 74247
638.40/640.63 c #Conflicts: 304000 | #Constraints: 75247
638.40/640.63 c #Conflicts: 305000 | #Constraints: 76247
638.40/640.63 c #Conflicts: 306000 | #Constraints: 77247
638.40/640.63 c #Conflicts: 307000 | #Constraints: 78247
638.40/640.63 c #Conflicts: 308000 | #Constraints: 79247
638.40/640.63 c #Conflicts: 309000 | #Constraints: 80247
638.40/640.63 c #Conflicts: 310000 | #Constraints: 81247
638.40/640.63 c INPROCESSING
638.40/640.63 c GARBAGE COLLECT
638.40/640.63 c #Conflicts: 311000 | #Constraints: 71254
638.40/640.63 c #Conflicts: 312000 | #Constraints: 72254
638.40/640.63 c bounds - >= -157 @ 573.21
638.40/640.63 c #Conflicts: 313000 | #Constraints: 73255
638.40/640.63 c #Conflicts: 314000 | #Constraints: 74255
638.40/640.63 c #Conflicts: 315000 | #Constraints: 75255
638.40/640.63 c #Conflicts: 316000 | #Constraints: 76255
638.40/640.63 c #Conflicts: 317000 | #Constraints: 77255
638.40/640.63 c #Conflicts: 318000 | #Constraints: 78255
638.40/640.63 c #Conflicts: 319000 | #Constraints: 79255
638.40/640.63 c #Conflicts: 320000 | #Constraints: 80255
638.40/640.63 c #Conflicts: 321000 | #Constraints: 81255
638.40/640.63 c INPROCESSING
638.40/640.63 c GARBAGE COLLECT
638.40/640.63 c #Conflicts: 322000 | #Constraints: 71017
638.40/640.63 c #Conflicts: 323000 | #Constraints: 72017
638.40/640.63 c #Conflicts: 324000 | #Constraints: 73017
638.40/640.63 c #Conflicts: 325000 | #Constraints: 74017
638.40/640.63 c #Conflicts: 326000 | #Constraints: 75017
638.40/640.63 c #Conflicts: 327000 | #Constraints: 76017
638.40/640.63 c #Conflicts: 328000 | #Constraints: 77017
638.40/640.63 c #Conflicts: 329000 | #Constraints: 78017
638.40/640.63 c #Conflicts: 330000 | #Constraints: 79017
638.40/640.63 c #Conflicts: 331000 | #Constraints: 80017
638.40/640.63 c #Conflicts: 332000 | #Constraints: 81017
638.40/640.63 c #Conflicts: 333000 | #Constraints: 82017
638.40/640.63 c INPROCESSING
638.40/640.63 c GARBAGE COLLECT
638.40/640.63 c #Conflicts: 334000 | #Constraints: 71602
638.40/640.63 c #Conflicts: 335000 | #Constraints: 72602
638.40/640.63 c #Conflicts: 336000 | #Constraints: 73602
638.40/640.63 c #Conflicts: 337000 | #Constraints: 74602
638.40/640.63 c #Conflicts: 338000 | #Constraints: 75602
638.40/640.63 c #Conflicts: 339000 | #Constraints: 76602
638.40/640.63 c #Conflicts: 340000 | #Constraints: 77602
638.40/640.63 c #Conflicts: 341000 | #Constraints: 78602
638.40/640.63 c #Conflicts: 342000 | #Constraints: 79602
638.40/640.63 c #Conflicts: 343000 | #Constraints: 80602
638.40/640.63 c #Conflicts: 344000 | #Constraints: 81602
638.40/640.63 c #Conflicts: 345000 | #Constraints: 82602
638.40/640.63 c INPROCESSING
638.40/640.63 c GARBAGE COLLECT
638.40/640.63 c #Conflicts: 346000 | #Constraints: 71988
638.40/640.63 c #Conflicts: 347000 | #Constraints: 72988
638.40/640.63 c #Conflicts: 348000 | #Constraints: 73988
638.40/640.63 c #Conflicts: 349000 | #Constraints: 74988
638.40/640.63 c #Conflicts: 350000 | #Constraints: 75988
767.38/770.02 c #Conflicts: 351000 | #Constraints: 76988
767.38/770.02 c #Conflicts: 352000 | #Constraints: 77988
767.38/770.02 c #Conflicts: 353000 | #Constraints: 78988
767.38/770.02 c #Conflicts: 354000 | #Constraints: 79988
767.38/770.02 c #Conflicts: 355000 | #Constraints: 80988
767.38/770.02 c #Conflicts: 356000 | #Constraints: 81988
767.38/770.02 c #Conflicts: 357000 | #Constraints: 82988
767.38/770.02 c INPROCESSING
767.38/770.02 c GARBAGE COLLECT
767.38/770.02 c #Conflicts: 358000 | #Constraints: 72181
767.38/770.02 c #Conflicts: 359000 | #Constraints: 73181
767.38/770.02 c #Conflicts: 360000 | #Constraints: 74181
767.38/770.02 c #Conflicts: 361000 | #Constraints: 75181
767.38/770.02 c #Conflicts: 362000 | #Constraints: 76181
767.38/770.02 c #Conflicts: 363000 | #Constraints: 77181
767.38/770.02 c #Conflicts: 364000 | #Constraints: 78181
767.38/770.02 c #Conflicts: 365000 | #Constraints: 79181
767.38/770.02 c #Conflicts: 366000 | #Constraints: 80181
767.38/770.02 c #Conflicts: 367000 | #Constraints: 81181
767.38/770.02 c #Conflicts: 368000 | #Constraints: 82181
767.38/770.02 c #Conflicts: 369000 | #Constraints: 83181
767.38/770.02 c INPROCESSING
767.38/770.02 c GARBAGE COLLECT
767.38/770.02 c #Conflicts: 370000 | #Constraints: 72178
767.38/770.02 c #Conflicts: 371000 | #Constraints: 73178
767.38/770.02 c #Conflicts: 372000 | #Constraints: 74178
767.38/770.02 c #Conflicts: 373000 | #Constraints: 75178
767.38/770.02 c #Conflicts: 374000 | #Constraints: 76178
767.38/770.02 c #Conflicts: 375000 | #Constraints: 77178
767.38/770.02 c #Conflicts: 376000 | #Constraints: 78178
767.38/770.02 c #Conflicts: 377000 | #Constraints: 79178
767.38/770.02 c #Conflicts: 378000 | #Constraints: 80178
767.38/770.02 c #Conflicts: 379000 | #Constraints: 81178
767.38/770.02 c #Conflicts: 380000 | #Constraints: 82178
767.38/770.02 c #Conflicts: 381000 | #Constraints: 83178
767.38/770.02 c INPROCESSING
767.38/770.02 c GARBAGE COLLECT
767.38/770.02 c #Conflicts: 382000 | #Constraints: 71976
767.38/770.02 c #Conflicts: 383000 | #Constraints: 72976
767.38/770.02 c #Conflicts: 384000 | #Constraints: 73976
767.38/770.02 c #Conflicts: 385000 | #Constraints: 74976
767.38/770.02 c #Conflicts: 386000 | #Constraints: 75976
767.38/770.02 c #Conflicts: 387000 | #Constraints: 76976
767.38/770.02 c #Conflicts: 388000 | #Constraints: 77976
767.38/770.02 c #Conflicts: 389000 | #Constraints: 78976
767.38/770.02 c #Conflicts: 390000 | #Constraints: 79976
767.38/770.02 c #Conflicts: 391000 | #Constraints: 80976
767.38/770.02 c #Conflicts: 392000 | #Constraints: 81976
767.38/770.02 c #Conflicts: 393000 | #Constraints: 82976
767.38/770.02 c #Conflicts: 394000 | #Constraints: 83976
767.38/770.02 c INPROCESSING
767.38/770.02 c GARBAGE COLLECT
767.38/770.02 c #Conflicts: 395000 | #Constraints: 72578
767.38/770.02 c #Conflicts: 396000 | #Constraints: 73578
767.38/770.02 c #Conflicts: 397000 | #Constraints: 74578
767.38/770.02 c #Conflicts: 398000 | #Constraints: 75578
767.38/770.02 c #Conflicts: 399000 | #Constraints: 76578
767.38/770.02 c #Conflicts: 400000 | #Constraints: 77578
767.38/770.02 c #Conflicts: 401000 | #Constraints: 78578
767.38/770.02 c #Conflicts: 402000 | #Constraints: 79578
767.38/770.02 c #Conflicts: 403000 | #Constraints: 80578
767.38/770.02 c #Conflicts: 404000 | #Constraints: 81578
767.38/770.02 c #Conflicts: 405000 | #Constraints: 82578
767.38/770.02 c #Conflicts: 406000 | #Constraints: 83578
767.38/770.02 c #Conflicts: 407000 | #Constraints: 84578
767.38/770.02 c INPROCESSING
767.38/770.02 c GARBAGE COLLECT
767.38/770.02 c #Conflicts: 408000 | #Constraints: 72978
767.38/770.02 c #Conflicts: 409000 | #Constraints: 73978
767.38/770.02 c #Conflicts: 410000 | #Constraints: 74978
767.38/770.02 c #Conflicts: 411000 | #Constraints: 75978
767.38/770.02 c #Conflicts: 412000 | #Constraints: 76978
767.38/770.02 c #Conflicts: 413000 | #Constraints: 77978
767.38/770.02 c #Conflicts: 414000 | #Constraints: 78978
767.38/770.02 c #Conflicts: 415000 | #Constraints: 79978
767.38/770.02 c #Conflicts: 416000 | #Constraints: 80978
767.38/770.02 c #Conflicts: 417000 | #Constraints: 81978
767.38/770.02 c #Conflicts: 418000 | #Constraints: 82978
767.38/770.02 c #Conflicts: 419000 | #Constraints: 83978
767.38/770.02 c #Conflicts: 420000 | #Constraints: 84978
767.38/770.02 c INPROCESSING
767.38/770.02 c GARBAGE COLLECT
767.38/770.02 c #Conflicts: 421000 | #Constraints: 73178
767.38/770.02 c #Conflicts: 422000 | #Constraints: 74178
767.38/770.02 c #Conflicts: 423000 | #Constraints: 75178
767.38/770.02 c #Conflicts: 424000 | #Constraints: 76178
767.38/770.02 c #Conflicts: 425000 | #Constraints: 77178
893.14/896.22 c #Conflicts: 426000 | #Constraints: 78178
893.14/896.22 c #Conflicts: 427000 | #Constraints: 79178
893.14/896.22 c #Conflicts: 428000 | #Constraints: 80178
893.14/896.22 c #Conflicts: 429000 | #Constraints: 81178
893.14/896.22 c #Conflicts: 430000 | #Constraints: 82178
893.14/896.22 c #Conflicts: 431000 | #Constraints: 83178
893.14/896.22 c #Conflicts: 432000 | #Constraints: 84178
893.14/896.22 c #Conflicts: 433000 | #Constraints: 85178
893.14/896.22 c INPROCESSING
893.14/896.22 c GARBAGE COLLECT
893.14/896.22 c #Conflicts: 434000 | #Constraints: 73180
893.14/896.22 c #Conflicts: 435000 | #Constraints: 74180
893.14/896.22 c #Conflicts: 436000 | #Constraints: 75180
893.14/896.22 c #Conflicts: 437000 | #Constraints: 76180
893.14/896.22 c #Conflicts: 438000 | #Constraints: 77180
893.14/896.22 c #Conflicts: 439000 | #Constraints: 78180
893.14/896.22 c #Conflicts: 440000 | #Constraints: 79180
893.14/896.22 c #Conflicts: 441000 | #Constraints: 80180
893.14/896.22 c #Conflicts: 442000 | #Constraints: 81180
893.14/896.22 c #Conflicts: 443000 | #Constraints: 82180
893.14/896.22 c #Conflicts: 444000 | #Constraints: 83180
893.14/896.22 c #Conflicts: 445000 | #Constraints: 84180
893.14/896.22 c #Conflicts: 446000 | #Constraints: 85180
893.14/896.22 c INPROCESSING
893.14/896.22 c GARBAGE COLLECT
893.14/896.22 c #Conflicts: 447000 | #Constraints: 72981
893.14/896.22 c #Conflicts: 448000 | #Constraints: 73981
893.14/896.22 c #Conflicts: 449000 | #Constraints: 74981
893.14/896.22 c #Conflicts: 450000 | #Constraints: 75981
893.14/896.22 c #Conflicts: 451000 | #Constraints: 76981
893.14/896.22 c #Conflicts: 452000 | #Constraints: 77981
893.14/896.22 c #Conflicts: 453000 | #Constraints: 78981
893.14/896.22 c #Conflicts: 454000 | #Constraints: 79981
893.14/896.22 c #Conflicts: 455000 | #Constraints: 80981
893.14/896.22 c #Conflicts: 456000 | #Constraints: 81981
893.14/896.22 c #Conflicts: 457000 | #Constraints: 82981
893.14/896.22 c #Conflicts: 458000 | #Constraints: 83981
893.14/896.22 c #Conflicts: 459000 | #Constraints: 84981
893.14/896.22 c #Conflicts: 460000 | #Constraints: 85981
893.14/896.22 c INPROCESSING
893.14/896.22 c GARBAGE COLLECT
893.14/896.22 c #Conflicts: 461000 | #Constraints: 73582
893.14/896.22 c #Conflicts: 462000 | #Constraints: 74582
893.14/896.22 c #Conflicts: 463000 | #Constraints: 75582
893.14/896.22 c #Conflicts: 464000 | #Constraints: 76582
893.14/896.22 c #Conflicts: 465000 | #Constraints: 77582
893.14/896.22 c #Conflicts: 466000 | #Constraints: 78582
893.14/896.22 c #Conflicts: 467000 | #Constraints: 79582
893.14/896.22 c #Conflicts: 468000 | #Constraints: 80582
893.14/896.22 c #Conflicts: 469000 | #Constraints: 81582
893.14/896.22 c #Conflicts: 470000 | #Constraints: 82582
893.14/896.22 c #Conflicts: 471000 | #Constraints: 83582
893.14/896.22 c #Conflicts: 472000 | #Constraints: 84582
893.14/896.22 c #Conflicts: 473000 | #Constraints: 85582
893.14/896.22 c #Conflicts: 474000 | #Constraints: 86582
893.14/896.22 c INPROCESSING
893.14/896.22 c GARBAGE COLLECT
893.14/896.22 c #Conflicts: 475000 | #Constraints: 73981
893.14/896.22 c #Conflicts: 476000 | #Constraints: 74981
893.14/896.22 c #Conflicts: 477000 | #Constraints: 75981
893.14/896.22 c #Conflicts: 478000 | #Constraints: 76981
893.14/896.22 c #Conflicts: 479000 | #Constraints: 77981
893.14/896.22 c #Conflicts: 480000 | #Constraints: 78981
893.14/896.22 c #Conflicts: 481000 | #Constraints: 79981
893.14/896.22 c #Conflicts: 482000 | #Constraints: 80981
893.14/896.22 c #Conflicts: 483000 | #Constraints: 81981
893.14/896.22 c #Conflicts: 484000 | #Constraints: 82981
893.14/896.22 c #Conflicts: 485000 | #Constraints: 83981
893.14/896.22 c #Conflicts: 486000 | #Constraints: 84981
893.14/896.22 c #Conflicts: 487000 | #Constraints: 85981
893.14/896.22 c #Conflicts: 488000 | #Constraints: 86981
893.14/896.22 c INPROCESSING
893.14/896.22 c GARBAGE COLLECT
893.14/896.22 c #Conflicts: 489000 | #Constraints: 74182
893.14/896.22 c #Conflicts: 490000 | #Constraints: 75182
893.14/896.22 c #Conflicts: 491000 | #Constraints: 76182
893.14/896.22 c #Conflicts: 492000 | #Constraints: 77182
893.14/896.22 c #Conflicts: 493000 | #Constraints: 78182
893.14/896.22 c #Conflicts: 494000 | #Constraints: 79182
893.14/896.22 c #Conflicts: 495000 | #Constraints: 80182
893.14/896.22 c #Conflicts: 496000 | #Constraints: 81182
893.14/896.22 c #Conflicts: 497000 | #Constraints: 82182
893.14/896.22 c #Conflicts: 498000 | #Constraints: 83182
893.14/896.22 c #Conflicts: 499000 | #Constraints: 84182
893.14/896.22 c #Conflicts: 500000 | #Constraints: 85182
1047.31/1050.93 c #Conflicts: 501000 | #Constraints: 86182
1047.31/1050.93 c #Conflicts: 502000 | #Constraints: 87182
1047.31/1050.93 c INPROCESSING
1047.31/1050.93 c GARBAGE COLLECT
1047.31/1050.93 c #Conflicts: 503000 | #Constraints: 74182
1047.31/1050.93 c #Conflicts: 504000 | #Constraints: 75182
1047.31/1050.93 c #Conflicts: 505000 | #Constraints: 76182
1047.31/1050.93 c #Conflicts: 506000 | #Constraints: 77182
1047.31/1050.93 c #Conflicts: 507000 | #Constraints: 78182
1047.31/1050.93 c #Conflicts: 508000 | #Constraints: 79182
1047.31/1050.93 c #Conflicts: 509000 | #Constraints: 80182
1047.31/1050.93 c #Conflicts: 510000 | #Constraints: 81182
1047.31/1050.93 c #Conflicts: 511000 | #Constraints: 82182
1047.31/1050.93 c #Conflicts: 512000 | #Constraints: 83182
1047.31/1050.93 c #Conflicts: 513000 | #Constraints: 84182
1047.31/1050.93 c #Conflicts: 514000 | #Constraints: 85182
1047.31/1050.93 c #Conflicts: 515000 | #Constraints: 86182
1047.31/1050.93 c #Conflicts: 516000 | #Constraints: 87182
1047.31/1050.93 c INPROCESSING
1047.31/1050.93 c GARBAGE COLLECT
1047.31/1050.93 c #Conflicts: 517000 | #Constraints: 73979
1047.31/1050.93 c #Conflicts: 518000 | #Constraints: 74979
1047.31/1050.93 c #Conflicts: 519000 | #Constraints: 75979
1047.31/1050.93 c #Conflicts: 520000 | #Constraints: 76979
1047.31/1050.93 c #Conflicts: 521000 | #Constraints: 77979
1047.31/1050.93 c #Conflicts: 522000 | #Constraints: 78979
1047.31/1050.93 c #Conflicts: 523000 | #Constraints: 79979
1047.31/1050.93 c #Conflicts: 524000 | #Constraints: 80979
1047.31/1050.93 c #Conflicts: 525000 | #Constraints: 81979
1047.31/1050.93 c #Conflicts: 526000 | #Constraints: 82979
1047.31/1050.93 c #Conflicts: 527000 | #Constraints: 83979
1047.31/1050.93 c #Conflicts: 528000 | #Constraints: 84979
1047.31/1050.93 c #Conflicts: 529000 | #Constraints: 85979
1047.31/1050.93 c #Conflicts: 530000 | #Constraints: 86979
1047.31/1050.93 c #Conflicts: 531000 | #Constraints: 87979
1047.31/1050.93 c INPROCESSING
1047.31/1050.93 c GARBAGE COLLECT
1047.31/1050.93 c #Conflicts: 532000 | #Constraints: 74579
1047.31/1050.93 c #Conflicts: 533000 | #Constraints: 75579
1047.31/1050.93 c #Conflicts: 534000 | #Constraints: 76579
1047.31/1050.93 c #Conflicts: 535000 | #Constraints: 77579
1047.31/1050.93 c #Conflicts: 536000 | #Constraints: 78579
1047.31/1050.93 c #Conflicts: 537000 | #Constraints: 79579
1047.31/1050.93 c #Conflicts: 538000 | #Constraints: 80579
1047.31/1050.93 c #Conflicts: 539000 | #Constraints: 81579
1047.31/1050.93 c #Conflicts: 540000 | #Constraints: 82579
1047.31/1050.93 c #Conflicts: 541000 | #Constraints: 83579
1047.31/1050.93 c #Conflicts: 542000 | #Constraints: 84579
1047.31/1050.93 c #Conflicts: 543000 | #Constraints: 85579
1047.31/1050.93 c #Conflicts: 544000 | #Constraints: 86579
1047.31/1050.93 c #Conflicts: 545000 | #Constraints: 87579
1047.31/1050.93 c #Conflicts: 546000 | #Constraints: 88579
1047.31/1050.93 c INPROCESSING
1047.31/1050.93 c GARBAGE COLLECT
1047.31/1050.93 c #Conflicts: 547000 | #Constraints: 74978
1047.31/1050.93 c #Conflicts: 548000 | #Constraints: 75978
1047.31/1050.93 c #Conflicts: 549000 | #Constraints: 76978
1047.31/1050.93 c #Conflicts: 550000 | #Constraints: 77978
1047.31/1050.93 c #Conflicts: 551000 | #Constraints: 78978
1047.31/1050.93 c #Conflicts: 552000 | #Constraints: 79978
1047.31/1050.93 c #Conflicts: 553000 | #Constraints: 80978
1047.31/1050.93 c #Conflicts: 554000 | #Constraints: 81978
1047.31/1050.93 c #Conflicts: 555000 | #Constraints: 82978
1047.31/1050.93 c #Conflicts: 556000 | #Constraints: 83978
1047.31/1050.93 c #Conflicts: 557000 | #Constraints: 84978
1047.31/1050.93 c #Conflicts: 558000 | #Constraints: 85978
1047.31/1050.93 c #Conflicts: 559000 | #Constraints: 86978
1047.31/1050.93 c #Conflicts: 560000 | #Constraints: 87978
1047.31/1050.93 c #Conflicts: 561000 | #Constraints: 88978
1047.31/1050.93 c INPROCESSING
1047.31/1050.93 c GARBAGE COLLECT
1047.31/1050.93 c #Conflicts: 562000 | #Constraints: 75179
1047.31/1050.93 c #Conflicts: 563000 | #Constraints: 76179
1047.31/1050.93 c #Conflicts: 564000 | #Constraints: 77179
1047.31/1050.93 c #Conflicts: 565000 | #Constraints: 78179
1047.31/1050.93 c #Conflicts: 566000 | #Constraints: 79179
1047.31/1050.93 c #Conflicts: 567000 | #Constraints: 80179
1047.31/1050.93 c #Conflicts: 568000 | #Constraints: 81179
1047.31/1050.93 c #Conflicts: 569000 | #Constraints: 82179
1047.31/1050.93 c #Conflicts: 570000 | #Constraints: 83179
1047.31/1050.93 c #Conflicts: 571000 | #Constraints: 84179
1047.31/1050.93 c #Conflicts: 572000 | #Constraints: 85179
1047.31/1050.93 c #Conflicts: 573000 | #Constraints: 86179
1047.31/1050.93 c #Conflicts: 574000 | #Constraints: 87179
1047.31/1050.93 c #Conflicts: 575000 | #Constraints: 88179
1047.31/1050.93 c #Conflicts: 576000 | #Constraints: 89179
1206.87/1211.08 c INPROCESSING
1206.87/1211.08 c GARBAGE COLLECT
1206.87/1211.08 c #Conflicts: 577000 | #Constraints: 75179
1206.87/1211.08 c #Conflicts: 578000 | #Constraints: 76179
1206.87/1211.08 c #Conflicts: 579000 | #Constraints: 77179
1206.87/1211.08 c #Conflicts: 580000 | #Constraints: 78179
1206.87/1211.08 c #Conflicts: 581000 | #Constraints: 79179
1206.87/1211.08 c #Conflicts: 582000 | #Constraints: 80179
1206.87/1211.08 c #Conflicts: 583000 | #Constraints: 81179
1206.87/1211.08 c #Conflicts: 584000 | #Constraints: 82179
1206.87/1211.08 c #Conflicts: 585000 | #Constraints: 83179
1206.87/1211.08 c #Conflicts: 586000 | #Constraints: 84179
1206.87/1211.08 c #Conflicts: 587000 | #Constraints: 85179
1206.87/1211.08 c #Conflicts: 588000 | #Constraints: 86179
1206.87/1211.08 c #Conflicts: 589000 | #Constraints: 87179
1206.87/1211.08 c #Conflicts: 590000 | #Constraints: 88179
1206.87/1211.08 c #Conflicts: 591000 | #Constraints: 89179
1206.87/1211.08 c INPROCESSING
1206.87/1211.08 c GARBAGE COLLECT
1206.87/1211.08 c #Conflicts: 592000 | #Constraints: 74979
1206.87/1211.08 c #Conflicts: 593000 | #Constraints: 75979
1206.87/1211.08 c #Conflicts: 594000 | #Constraints: 76979
1206.87/1211.08 c #Conflicts: 595000 | #Constraints: 77979
1206.87/1211.08 c #Conflicts: 596000 | #Constraints: 78979
1206.87/1211.08 c #Conflicts: 597000 | #Constraints: 79979
1206.87/1211.08 c #Conflicts: 598000 | #Constraints: 80979
1206.87/1211.08 c #Conflicts: 599000 | #Constraints: 81979
1206.87/1211.08 c #Conflicts: 600000 | #Constraints: 82979
1206.87/1211.08 c #Conflicts: 601000 | #Constraints: 83979
1206.87/1211.08 c #Conflicts: 602000 | #Constraints: 84979
1206.87/1211.08 c #Conflicts: 603000 | #Constraints: 85979
1206.87/1211.08 c #Conflicts: 604000 | #Constraints: 86979
1206.87/1211.08 c #Conflicts: 605000 | #Constraints: 87979
1206.87/1211.08 c #Conflicts: 606000 | #Constraints: 88979
1206.87/1211.08 c #Conflicts: 607000 | #Constraints: 89979
1206.87/1211.08 c INPROCESSING
1206.87/1211.08 c GARBAGE COLLECT
1206.87/1211.08 c #Conflicts: 608000 | #Constraints: 75580
1206.87/1211.08 c #Conflicts: 609000 | #Constraints: 76580
1206.87/1211.08 c #Conflicts: 610000 | #Constraints: 77580
1206.87/1211.08 c #Conflicts: 611000 | #Constraints: 78580
1206.87/1211.08 c #Conflicts: 612000 | #Constraints: 79580
1206.87/1211.08 c #Conflicts: 613000 | #Constraints: 80580
1206.87/1211.08 c #Conflicts: 614000 | #Constraints: 81580
1206.87/1211.08 c #Conflicts: 615000 | #Constraints: 82580
1206.87/1211.08 c #Conflicts: 616000 | #Constraints: 83580
1206.87/1211.08 c #Conflicts: 617000 | #Constraints: 84580
1206.87/1211.08 c #Conflicts: 618000 | #Constraints: 85580
1206.87/1211.08 c #Conflicts: 619000 | #Constraints: 86580
1206.87/1211.08 c #Conflicts: 620000 | #Constraints: 87580
1206.87/1211.08 c #Conflicts: 621000 | #Constraints: 88580
1206.87/1211.08 c #Conflicts: 622000 | #Constraints: 89580
1206.87/1211.08 c #Conflicts: 623000 | #Constraints: 90580
1206.87/1211.08 c INPROCESSING
1206.87/1211.08 c GARBAGE COLLECT
1206.87/1211.08 c #Conflicts: 624000 | #Constraints: 75982
1206.87/1211.08 c #Conflicts: 625000 | #Constraints: 76982
1206.87/1211.08 c #Conflicts: 626000 | #Constraints: 77982
1206.87/1211.08 c #Conflicts: 627000 | #Constraints: 78982
1206.87/1211.08 c #Conflicts: 628000 | #Constraints: 79982
1206.87/1211.08 c #Conflicts: 629000 | #Constraints: 80982
1206.87/1211.08 c #Conflicts: 630000 | #Constraints: 81982
1206.87/1211.08 c #Conflicts: 631000 | #Constraints: 82982
1206.87/1211.08 c #Conflicts: 632000 | #Constraints: 83982
1206.87/1211.08 c #Conflicts: 633000 | #Constraints: 84982
1206.87/1211.08 c #Conflicts: 634000 | #Constraints: 85982
1206.87/1211.08 c #Conflicts: 635000 | #Constraints: 86982
1206.87/1211.08 c #Conflicts: 636000 | #Constraints: 87982
1206.87/1211.08 c #Conflicts: 637000 | #Constraints: 88982
1206.87/1211.08 c #Conflicts: 638000 | #Constraints: 89982
1206.87/1211.08 c #Conflicts: 639000 | #Constraints: 90982
1206.87/1211.08 c INPROCESSING
1206.87/1211.08 c GARBAGE COLLECT
1206.87/1211.08 c #Conflicts: 640000 | #Constraints: 76179
1206.87/1211.08 c #Conflicts: 641000 | #Constraints: 77179
1206.87/1211.08 c #Conflicts: 642000 | #Constraints: 78179
1206.87/1211.08 c #Conflicts: 643000 | #Constraints: 79179
1206.87/1211.08 c #Conflicts: 644000 | #Constraints: 80179
1206.87/1211.08 c #Conflicts: 645000 | #Constraints: 81179
1206.87/1211.08 c #Conflicts: 646000 | #Constraints: 82179
1206.87/1211.08 c #Conflicts: 647000 | #Constraints: 83179
1206.87/1211.08 c #Conflicts: 648000 | #Constraints: 84179
1206.87/1211.08 c #Conflicts: 649000 | #Constraints: 85179
1206.87/1211.08 c #Conflicts: 650000 | #Constraints: 86179
1206.87/1211.08 c #Conflicts: 651000 | #Constraints: 87179
1206.87/1211.08 c #Conflicts: 652000 | #Constraints: 88179
1375.30/1380.01 c #Conflicts: 653000 | #Constraints: 89179
1375.30/1380.01 c #Conflicts: 654000 | #Constraints: 90179
1375.30/1380.01 c #Conflicts: 655000 | #Constraints: 91179
1375.30/1380.01 c INPROCESSING
1375.30/1380.01 c GARBAGE COLLECT
1375.30/1380.01 c #Conflicts: 656000 | #Constraints: 76182
1375.30/1380.01 c #Conflicts: 657000 | #Constraints: 77182
1375.30/1380.01 c #Conflicts: 658000 | #Constraints: 78182
1375.30/1380.01 c #Conflicts: 659000 | #Constraints: 79182
1375.30/1380.01 c #Conflicts: 660000 | #Constraints: 80182
1375.30/1380.01 c #Conflicts: 661000 | #Constraints: 81182
1375.30/1380.01 c #Conflicts: 662000 | #Constraints: 82182
1375.30/1380.01 c #Conflicts: 663000 | #Constraints: 83182
1375.30/1380.01 c #Conflicts: 664000 | #Constraints: 84182
1375.30/1380.01 c #Conflicts: 665000 | #Constraints: 85182
1375.30/1380.01 c #Conflicts: 666000 | #Constraints: 86182
1375.30/1380.01 c #Conflicts: 667000 | #Constraints: 87182
1375.30/1380.01 c #Conflicts: 668000 | #Constraints: 88182
1375.30/1380.01 c #Conflicts: 669000 | #Constraints: 89182
1375.30/1380.01 c #Conflicts: 670000 | #Constraints: 90182
1375.30/1380.01 c #Conflicts: 671000 | #Constraints: 91182
1375.30/1380.01 c INPROCESSING
1375.30/1380.01 c GARBAGE COLLECT
1375.30/1380.01 c #Conflicts: 672000 | #Constraints: 75979
1375.30/1380.01 c #Conflicts: 673000 | #Constraints: 76979
1375.30/1380.01 c #Conflicts: 674000 | #Constraints: 77979
1375.30/1380.01 c #Conflicts: 675000 | #Constraints: 78979
1375.30/1380.01 c #Conflicts: 676000 | #Constraints: 79979
1375.30/1380.01 c #Conflicts: 677000 | #Constraints: 80979
1375.30/1380.01 c #Conflicts: 678000 | #Constraints: 81979
1375.30/1380.01 c #Conflicts: 679000 | #Constraints: 82979
1375.30/1380.01 c #Conflicts: 680000 | #Constraints: 83979
1375.30/1380.01 c #Conflicts: 681000 | #Constraints: 84979
1375.30/1380.01 c #Conflicts: 682000 | #Constraints: 85979
1375.30/1380.01 c #Conflicts: 683000 | #Constraints: 86979
1375.30/1380.01 c #Conflicts: 684000 | #Constraints: 87979
1375.30/1380.01 c #Conflicts: 685000 | #Constraints: 88979
1375.30/1380.01 c #Conflicts: 686000 | #Constraints: 89979
1375.30/1380.01 c #Conflicts: 687000 | #Constraints: 90979
1375.30/1380.01 c #Conflicts: 688000 | #Constraints: 91979
1375.30/1380.01 c INPROCESSING
1375.30/1380.01 c GARBAGE COLLECT
1375.30/1380.01 c #Conflicts: 689000 | #Constraints: 76580
1375.30/1380.01 c #Conflicts: 690000 | #Constraints: 77580
1375.30/1380.01 c #Conflicts: 691000 | #Constraints: 78580
1375.30/1380.01 c #Conflicts: 692000 | #Constraints: 79580
1375.30/1380.01 c #Conflicts: 693000 | #Constraints: 80580
1375.30/1380.01 c #Conflicts: 694000 | #Constraints: 81580
1375.30/1380.01 c #Conflicts: 695000 | #Constraints: 82580
1375.30/1380.01 c #Conflicts: 696000 | #Constraints: 83580
1375.30/1380.01 c #Conflicts: 697000 | #Constraints: 84580
1375.30/1380.01 c #Conflicts: 698000 | #Constraints: 85580
1375.30/1380.01 c #Conflicts: 699000 | #Constraints: 86580
1375.30/1380.01 c #Conflicts: 700000 | #Constraints: 87580
1375.30/1380.01 c #Conflicts: 701000 | #Constraints: 88580
1375.30/1380.01 c #Conflicts: 702000 | #Constraints: 89580
1375.30/1380.01 c #Conflicts: 703000 | #Constraints: 90580
1375.30/1380.01 c #Conflicts: 704000 | #Constraints: 91580
1375.30/1380.01 c #Conflicts: 705000 | #Constraints: 92580
1375.30/1380.01 c INPROCESSING
1375.30/1380.01 c GARBAGE COLLECT
1375.30/1380.01 c #Conflicts: 706000 | #Constraints: 76981
1375.30/1380.01 c #Conflicts: 707000 | #Constraints: 77981
1375.30/1380.01 c #Conflicts: 708000 | #Constraints: 78981
1375.30/1380.01 c #Conflicts: 709000 | #Constraints: 79981
1375.30/1380.01 c #Conflicts: 710000 | #Constraints: 80981
1375.30/1380.01 c #Conflicts: 711000 | #Constraints: 81981
1375.30/1380.01 c #Conflicts: 712000 | #Constraints: 82981
1375.30/1380.01 c #Conflicts: 713000 | #Constraints: 83981
1375.30/1380.01 c #Conflicts: 714000 | #Constraints: 84981
1375.30/1380.01 c #Conflicts: 715000 | #Constraints: 85981
1375.30/1380.01 c #Conflicts: 716000 | #Constraints: 86981
1375.30/1380.01 c #Conflicts: 717000 | #Constraints: 87981
1375.30/1380.01 c #Conflicts: 718000 | #Constraints: 88981
1375.30/1380.01 c #Conflicts: 719000 | #Constraints: 89981
1375.30/1380.01 c #Conflicts: 720000 | #Constraints: 90981
1375.30/1380.01 c #Conflicts: 721000 | #Constraints: 91981
1375.30/1380.01 c #Conflicts: 722000 | #Constraints: 92981
1375.30/1380.01 c INPROCESSING
1375.30/1380.01 c GARBAGE COLLECT
1375.30/1380.01 c #Conflicts: 723000 | #Constraints: 77179
1375.30/1380.01 c #Conflicts: 724000 | #Constraints: 78179
1375.30/1380.01 c #Conflicts: 725000 | #Constraints: 79179
1375.30/1380.01 c #Conflicts: 726000 | #Constraints: 80179
1375.30/1380.01 c #Conflicts: 727000 | #Constraints: 81179
1540.93/1546.21 c #Conflicts: 728000 | #Constraints: 82179
1540.93/1546.21 c #Conflicts: 729000 | #Constraints: 83179
1540.93/1546.21 c #Conflicts: 730000 | #Constraints: 84179
1540.93/1546.21 c #Conflicts: 731000 | #Constraints: 85179
1540.93/1546.21 c #Conflicts: 732000 | #Constraints: 86179
1540.93/1546.21 c #Conflicts: 733000 | #Constraints: 87179
1540.93/1546.21 c #Conflicts: 734000 | #Constraints: 88179
1540.93/1546.21 c #Conflicts: 735000 | #Constraints: 89179
1540.93/1546.21 c #Conflicts: 736000 | #Constraints: 90179
1540.93/1546.21 c #Conflicts: 737000 | #Constraints: 91179
1540.93/1546.21 c #Conflicts: 738000 | #Constraints: 92179
1540.93/1546.21 c #Conflicts: 739000 | #Constraints: 93179
1540.93/1546.21 c INPROCESSING
1540.93/1546.21 c GARBAGE COLLECT
1540.93/1546.21 c #Conflicts: 740000 | #Constraints: 77181
1540.93/1546.21 c #Conflicts: 741000 | #Constraints: 78181
1540.93/1546.21 c #Conflicts: 742000 | #Constraints: 79181
1540.93/1546.21 c #Conflicts: 743000 | #Constraints: 80181
1540.93/1546.21 c #Conflicts: 744000 | #Constraints: 81181
1540.93/1546.21 c #Conflicts: 745000 | #Constraints: 82181
1540.93/1546.21 c #Conflicts: 746000 | #Constraints: 83181
1540.93/1546.21 c #Conflicts: 747000 | #Constraints: 84181
1540.93/1546.21 c #Conflicts: 748000 | #Constraints: 85181
1540.93/1546.21 c #Conflicts: 749000 | #Constraints: 86181
1540.93/1546.21 c #Conflicts: 750000 | #Constraints: 87181
1540.93/1546.21 c #Conflicts: 751000 | #Constraints: 88181
1540.93/1546.21 c #Conflicts: 752000 | #Constraints: 89181
1540.93/1546.21 c #Conflicts: 753000 | #Constraints: 90181
1540.93/1546.21 c #Conflicts: 754000 | #Constraints: 91181
1540.93/1546.21 c #Conflicts: 755000 | #Constraints: 92181
1540.93/1546.21 c #Conflicts: 756000 | #Constraints: 93181
1540.93/1546.21 c INPROCESSING
1540.93/1546.21 c GARBAGE COLLECT
1540.93/1546.21 c #Conflicts: 757000 | #Constraints: 76980
1540.93/1546.21 c #Conflicts: 758000 | #Constraints: 77980
1540.93/1546.21 c #Conflicts: 759000 | #Constraints: 78980
1540.93/1546.21 c #Conflicts: 760000 | #Constraints: 79980
1540.93/1546.21 c #Conflicts: 761000 | #Constraints: 80980
1540.93/1546.21 c #Conflicts: 762000 | #Constraints: 81980
1540.93/1546.21 c #Conflicts: 763000 | #Constraints: 82980
1540.93/1546.21 c #Conflicts: 764000 | #Constraints: 83980
1540.93/1546.21 c #Conflicts: 765000 | #Constraints: 84980
1540.93/1546.21 c #Conflicts: 766000 | #Constraints: 85980
1540.93/1546.21 c #Conflicts: 767000 | #Constraints: 86980
1540.93/1546.21 c #Conflicts: 768000 | #Constraints: 87980
1540.93/1546.21 c #Conflicts: 769000 | #Constraints: 88980
1540.93/1546.21 c #Conflicts: 770000 | #Constraints: 89980
1540.93/1546.21 c #Conflicts: 771000 | #Constraints: 90980
1540.93/1546.21 c #Conflicts: 772000 | #Constraints: 91980
1540.93/1546.21 c #Conflicts: 773000 | #Constraints: 92980
1540.93/1546.21 c #Conflicts: 774000 | #Constraints: 93980
1540.93/1546.21 c INPROCESSING
1540.93/1546.21 c GARBAGE COLLECT
1540.93/1546.21 c #Conflicts: 775000 | #Constraints: 77578
1540.93/1546.21 c #Conflicts: 776000 | #Constraints: 78578
1540.93/1546.21 c #Conflicts: 777000 | #Constraints: 79578
1540.93/1546.21 c #Conflicts: 778000 | #Constraints: 80578
1540.93/1546.21 c #Conflicts: 779000 | #Constraints: 81578
1540.93/1546.21 c #Conflicts: 780000 | #Constraints: 82578
1540.93/1546.21 c #Conflicts: 781000 | #Constraints: 83578
1540.93/1546.21 c #Conflicts: 782000 | #Constraints: 84578
1540.93/1546.21 c #Conflicts: 783000 | #Constraints: 85578
1540.93/1546.21 c #Conflicts: 784000 | #Constraints: 86578
1540.93/1546.21 c #Conflicts: 785000 | #Constraints: 87578
1540.93/1546.21 c #Conflicts: 786000 | #Constraints: 88578
1540.93/1546.21 c #Conflicts: 787000 | #Constraints: 89578
1540.93/1546.21 c #Conflicts: 788000 | #Constraints: 90578
1540.93/1546.21 c #Conflicts: 789000 | #Constraints: 91578
1540.93/1546.21 c #Conflicts: 790000 | #Constraints: 92578
1540.93/1546.21 c #Conflicts: 791000 | #Constraints: 93578
1540.93/1546.21 c #Conflicts: 792000 | #Constraints: 94578
1540.93/1546.21 c INPROCESSING
1540.93/1546.21 c GARBAGE COLLECT
1540.93/1546.21 c #Conflicts: 793000 | #Constraints: 77981
1540.93/1546.21 c #Conflicts: 794000 | #Constraints: 78981
1540.93/1546.21 c #Conflicts: 795000 | #Constraints: 79981
1540.93/1546.21 c #Conflicts: 796000 | #Constraints: 80981
1540.93/1546.21 c #Conflicts: 797000 | #Constraints: 81981
1540.93/1546.21 c #Conflicts: 798000 | #Constraints: 82981
1540.93/1546.21 c #Conflicts: 799000 | #Constraints: 83981
1540.93/1546.21 c #Conflicts: 800000 | #Constraints: 84981
1540.93/1546.21 c #Conflicts: 801000 | #Constraints: 85981
1540.93/1546.21 c #Conflicts: 802000 | #Constraints: 86981
1540.93/1546.21 c #Conflicts: 803000 | #Constraints: 87981
1723.04/1728.91 c #Conflicts: 804000 | #Constraints: 88981
1723.04/1728.91 c #Conflicts: 805000 | #Constraints: 89981
1723.04/1728.91 c #Conflicts: 806000 | #Constraints: 90981
1723.04/1728.91 c #Conflicts: 807000 | #Constraints: 91981
1723.04/1728.91 c #Conflicts: 808000 | #Constraints: 92981
1723.04/1728.91 c #Conflicts: 809000 | #Constraints: 93981
1723.04/1728.91 c #Conflicts: 810000 | #Constraints: 94981
1723.04/1728.91 c INPROCESSING
1723.04/1728.91 c GARBAGE COLLECT
1723.04/1728.91 c #Conflicts: 811000 | #Constraints: 78179
1723.04/1728.91 c #Conflicts: 812000 | #Constraints: 79179
1723.04/1728.91 c #Conflicts: 813000 | #Constraints: 80179
1723.04/1728.91 c #Conflicts: 814000 | #Constraints: 81179
1723.04/1728.91 c #Conflicts: 815000 | #Constraints: 82179
1723.04/1728.91 c #Conflicts: 816000 | #Constraints: 83179
1723.04/1728.91 c #Conflicts: 817000 | #Constraints: 84179
1723.04/1728.91 c #Conflicts: 818000 | #Constraints: 85179
1723.04/1728.91 c #Conflicts: 819000 | #Constraints: 86179
1723.04/1728.91 c #Conflicts: 820000 | #Constraints: 87179
1723.04/1728.91 c #Conflicts: 821000 | #Constraints: 88179
1723.04/1728.91 c #Conflicts: 822000 | #Constraints: 89179
1723.04/1728.91 c #Conflicts: 823000 | #Constraints: 90179
1723.04/1728.91 c #Conflicts: 824000 | #Constraints: 91179
1723.04/1728.91 c #Conflicts: 825000 | #Constraints: 92179
1723.04/1728.91 c #Conflicts: 826000 | #Constraints: 93179
1723.04/1728.91 c #Conflicts: 827000 | #Constraints: 94179
1723.04/1728.91 c #Conflicts: 828000 | #Constraints: 95179
1723.04/1728.91 c INPROCESSING
1723.04/1728.91 c GARBAGE COLLECT
1723.04/1728.91 c #Conflicts: 829000 | #Constraints: 78179
1723.04/1728.91 c #Conflicts: 830000 | #Constraints: 79179
1723.04/1728.91 c #Conflicts: 831000 | #Constraints: 80179
1723.04/1728.91 c #Conflicts: 832000 | #Constraints: 81179
1723.04/1728.91 c #Conflicts: 833000 | #Constraints: 82179
1723.04/1728.91 c #Conflicts: 834000 | #Constraints: 83179
1723.04/1728.91 c #Conflicts: 835000 | #Constraints: 84179
1723.04/1728.91 c #Conflicts: 836000 | #Constraints: 85179
1723.04/1728.91 c #Conflicts: 837000 | #Constraints: 86179
1723.04/1728.91 c #Conflicts: 838000 | #Constraints: 87179
1723.04/1728.91 c #Conflicts: 839000 | #Constraints: 88179
1723.04/1728.91 c #Conflicts: 840000 | #Constraints: 89179
1723.04/1728.91 c #Conflicts: 841000 | #Constraints: 90179
1723.04/1728.91 c #Conflicts: 842000 | #Constraints: 91179
1723.04/1728.91 c #Conflicts: 843000 | #Constraints: 92179
1723.04/1728.91 c #Conflicts: 844000 | #Constraints: 93179
1723.04/1728.91 c #Conflicts: 845000 | #Constraints: 94179
1723.04/1728.91 c #Conflicts: 846000 | #Constraints: 95179
1723.04/1728.91 c INPROCESSING
1723.04/1728.91 c GARBAGE COLLECT
1723.04/1728.91 c #Conflicts: 847000 | #Constraints: 77981
1723.04/1728.91 c #Conflicts: 848000 | #Constraints: 78981
1723.04/1728.91 c #Conflicts: 849000 | #Constraints: 79981
1723.04/1728.91 c #Conflicts: 850000 | #Constraints: 80981
1723.04/1728.91 c #Conflicts: 851000 | #Constraints: 81981
1723.04/1728.91 c #Conflicts: 852000 | #Constraints: 82981
1723.04/1728.91 c #Conflicts: 853000 | #Constraints: 83981
1723.04/1728.91 c #Conflicts: 854000 | #Constraints: 84981
1723.04/1728.91 c #Conflicts: 855000 | #Constraints: 85981
1723.04/1728.91 c #Conflicts: 856000 | #Constraints: 86981
1723.04/1728.91 c #Conflicts: 857000 | #Constraints: 87981
1723.04/1728.91 c #Conflicts: 858000 | #Constraints: 88981
1723.04/1728.91 c #Conflicts: 859000 | #Constraints: 89981
1723.04/1728.91 c #Conflicts: 860000 | #Constraints: 90981
1723.04/1728.91 c #Conflicts: 861000 | #Constraints: 91981
1723.04/1728.91 c #Conflicts: 862000 | #Constraints: 92981
1723.04/1728.91 c #Conflicts: 863000 | #Constraints: 93981
1723.04/1728.91 c #Conflicts: 864000 | #Constraints: 94981
1723.04/1728.91 c #Conflicts: 865000 | #Constraints: 95981
1723.04/1728.91 c INPROCESSING
1723.04/1728.91 c GARBAGE COLLECT
1723.04/1728.91 c #Conflicts: 866000 | #Constraints: 78576
1723.04/1728.91 c #Conflicts: 867000 | #Constraints: 79576
1723.04/1728.91 c #Conflicts: 868000 | #Constraints: 80576
1723.04/1728.91 c #Conflicts: 869000 | #Constraints: 81576
1723.04/1728.91 c #Conflicts: 870000 | #Constraints: 82576
1723.04/1728.91 c #Conflicts: 871000 | #Constraints: 83576
1723.04/1728.91 c #Conflicts: 872000 | #Constraints: 84576
1723.04/1728.91 c #Conflicts: 873000 | #Constraints: 85576
1723.04/1728.91 c #Conflicts: 874000 | #Constraints: 86576
1723.04/1728.91 c #Conflicts: 875000 | #Constraints: 87576
1723.04/1728.91 c #Conflicts: 876000 | #Constraints: 88576
1723.04/1728.91 c #Conflicts: 877000 | #Constraints: 89576
1723.04/1728.91 c #Conflicts: 878000 | #Constraints: 90576
1723.04/1728.91 c #Conflicts: 879000 | #Constraints: 91576
1723.04/1728.91 c #Conflicts: 880000 | #Constraints: 92576
1909.51/1916.09 c #Conflicts: 881000 | #Constraints: 93576
1909.51/1916.09 c #Conflicts: 882000 | #Constraints: 94576
1909.51/1916.09 c #Conflicts: 883000 | #Constraints: 95576
1909.51/1916.09 c #Conflicts: 884000 | #Constraints: 96576
1909.51/1916.09 c INPROCESSING
1909.51/1916.09 c GARBAGE COLLECT
1909.51/1916.09 c #Conflicts: 885000 | #Constraints: 78977
1909.51/1916.09 c #Conflicts: 886000 | #Constraints: 79977
1909.51/1916.09 c #Conflicts: 887000 | #Constraints: 80977
1909.51/1916.09 c #Conflicts: 888000 | #Constraints: 81977
1909.51/1916.09 c #Conflicts: 889000 | #Constraints: 82977
1909.51/1916.09 c #Conflicts: 890000 | #Constraints: 83977
1909.51/1916.09 c #Conflicts: 891000 | #Constraints: 84977
1909.51/1916.09 c #Conflicts: 892000 | #Constraints: 85977
1909.51/1916.09 c #Conflicts: 893000 | #Constraints: 86977
1909.51/1916.09 c #Conflicts: 894000 | #Constraints: 87977
1909.51/1916.09 c #Conflicts: 895000 | #Constraints: 88977
1909.51/1916.09 c #Conflicts: 896000 | #Constraints: 89977
1909.51/1916.09 c #Conflicts: 897000 | #Constraints: 90977
1909.51/1916.09 c #Conflicts: 898000 | #Constraints: 91977
1909.51/1916.09 c #Conflicts: 899000 | #Constraints: 92977
1909.51/1916.09 c #Conflicts: 900000 | #Constraints: 93977
1909.51/1916.09 c #Conflicts: 901000 | #Constraints: 94977
1909.51/1916.09 c #Conflicts: 902000 | #Constraints: 95977
1909.51/1916.09 c #Conflicts: 903000 | #Constraints: 96977
1909.51/1916.09 c INPROCESSING
1909.51/1916.09 c GARBAGE COLLECT
1909.51/1916.09 c #Conflicts: 904000 | #Constraints: 79179
1909.51/1916.09 c #Conflicts: 905000 | #Constraints: 80179
1909.51/1916.09 c #Conflicts: 906000 | #Constraints: 81179
1909.51/1916.09 c #Conflicts: 907000 | #Constraints: 82179
1909.51/1916.09 c #Conflicts: 908000 | #Constraints: 83179
1909.51/1916.09 c #Conflicts: 909000 | #Constraints: 84179
1909.51/1916.09 c #Conflicts: 910000 | #Constraints: 85179
1909.51/1916.09 c #Conflicts: 911000 | #Constraints: 86179
1909.51/1916.09 c #Conflicts: 912000 | #Constraints: 87179
1909.51/1916.09 c #Conflicts: 913000 | #Constraints: 88179
1909.51/1916.09 c #Conflicts: 914000 | #Constraints: 89179
1909.51/1916.09 c #Conflicts: 915000 | #Constraints: 90179
1909.51/1916.09 c #Conflicts: 916000 | #Constraints: 91179
1909.51/1916.09 c #Conflicts: 917000 | #Constraints: 92179
1909.51/1916.09 c #Conflicts: 918000 | #Constraints: 93179
1909.51/1916.09 c #Conflicts: 919000 | #Constraints: 94179
1909.51/1916.09 c #Conflicts: 920000 | #Constraints: 95179
1909.51/1916.09 c #Conflicts: 921000 | #Constraints: 96179
1909.51/1916.09 c #Conflicts: 922000 | #Constraints: 97179
1909.51/1916.09 c INPROCESSING
1909.51/1916.09 c GARBAGE COLLECT
1909.51/1916.09 c #Conflicts: 923000 | #Constraints: 79181
1909.51/1916.09 c #Conflicts: 924000 | #Constraints: 80181
1909.51/1916.09 c #Conflicts: 925000 | #Constraints: 81181
1909.51/1916.09 c #Conflicts: 926000 | #Constraints: 82181
1909.51/1916.09 c #Conflicts: 927000 | #Constraints: 83181
1909.51/1916.09 c #Conflicts: 928000 | #Constraints: 84181
1909.51/1916.09 c #Conflicts: 929000 | #Constraints: 85181
1909.51/1916.09 c #Conflicts: 930000 | #Constraints: 86181
1909.51/1916.09 c #Conflicts: 931000 | #Constraints: 87181
1909.51/1916.09 c #Conflicts: 932000 | #Constraints: 88181
1909.51/1916.09 c #Conflicts: 933000 | #Constraints: 89181
1909.51/1916.09 c #Conflicts: 934000 | #Constraints: 90181
1909.51/1916.09 c #Conflicts: 935000 | #Constraints: 91181
1909.51/1916.09 c #Conflicts: 936000 | #Constraints: 92181
1909.51/1916.09 c #Conflicts: 937000 | #Constraints: 93181
1909.51/1916.09 c #Conflicts: 938000 | #Constraints: 94181
1909.51/1916.09 c #Conflicts: 939000 | #Constraints: 95181
1909.51/1916.09 c #Conflicts: 940000 | #Constraints: 96181
1909.51/1916.09 c #Conflicts: 941000 | #Constraints: 97181
1909.51/1916.09 c INPROCESSING
1909.51/1916.09 c GARBAGE COLLECT
1909.51/1916.09 c #Conflicts: 942000 | #Constraints: 78976
1909.51/1916.09 c #Conflicts: 943000 | #Constraints: 79976
1909.51/1916.09 c #Conflicts: 944000 | #Constraints: 80976
1909.51/1916.09 c #Conflicts: 945000 | #Constraints: 81976
1909.51/1916.09 c #Conflicts: 946000 | #Constraints: 82976
1909.51/1916.09 c #Conflicts: 947000 | #Constraints: 83976
1909.51/1916.09 c #Conflicts: 948000 | #Constraints: 84976
1909.51/1916.09 c #Conflicts: 949000 | #Constraints: 85976
1909.51/1916.09 c #Conflicts: 950000 | #Constraints: 86976
1909.51/1916.09 c #Conflicts: 951000 | #Constraints: 87976
1909.51/1916.09 c #Conflicts: 952000 | #Constraints: 88976
1909.51/1916.09 c #Conflicts: 953000 | #Constraints: 89976
1909.51/1916.09 c #Conflicts: 954000 | #Constraints: 90976
1909.51/1916.09 c #Conflicts: 955000 | #Constraints: 91976
1909.51/1916.09 c #Conflicts: 956000 | #Constraints: 92976
2050.75/2057.79 c #Conflicts: 957000 | #Constraints: 93976
2050.75/2057.79 c #Conflicts: 958000 | #Constraints: 94976
2050.75/2057.79 c #Conflicts: 959000 | #Constraints: 95976
2050.75/2057.79 c #Conflicts: 960000 | #Constraints: 96976
2050.75/2057.79 c #Conflicts: 961000 | #Constraints: 97976
2050.75/2057.79 c INPROCESSING
2050.75/2057.79 c GARBAGE COLLECT
2050.75/2057.79 c #Conflicts: 962000 | #Constraints: 79572
2050.75/2057.79 c #Conflicts: 963000 | #Constraints: 80572
2050.75/2057.79 c #Conflicts: 964000 | #Constraints: 81572
2050.75/2057.79 c #Conflicts: 965000 | #Constraints: 82572
2050.75/2057.79 c #Conflicts: 966000 | #Constraints: 83572
2050.75/2057.79 c #Conflicts: 967000 | #Constraints: 84572
2050.75/2057.79 c #Conflicts: 968000 | #Constraints: 85572
2050.75/2057.79 c #Conflicts: 969000 | #Constraints: 86572
2050.75/2057.79 c #Conflicts: 970000 | #Constraints: 87572
2050.75/2057.79 c #Conflicts: 971000 | #Constraints: 88572
2050.75/2057.79 c #Conflicts: 972000 | #Constraints: 89572
2050.75/2057.79 c #Conflicts: 973000 | #Constraints: 90572
2050.75/2057.79 c #Conflicts: 974000 | #Constraints: 91572
2050.75/2057.79 c #Conflicts: 975000 | #Constraints: 92572
2050.75/2057.79 c #Conflicts: 976000 | #Constraints: 93572
2050.75/2057.79 c #Conflicts: 977000 | #Constraints: 94572
2050.75/2057.79 c #Conflicts: 978000 | #Constraints: 95572
2050.75/2057.79 c #Conflicts: 979000 | #Constraints: 96572
2050.75/2057.79 c #Conflicts: 980000 | #Constraints: 97572
2050.75/2057.79 c #Conflicts: 981000 | #Constraints: 98572
2050.75/2057.79 c INPROCESSING
2050.75/2057.79 c GARBAGE COLLECT
2050.75/2057.79 c #Conflicts: 982000 | #Constraints: 79975
2050.75/2057.79 c #Conflicts: 983000 | #Constraints: 80975
2050.75/2057.79 c #Conflicts: 984000 | #Constraints: 81975
2050.75/2057.79 c #Conflicts: 985000 | #Constraints: 82975
2050.75/2057.79 c #Conflicts: 986000 | #Constraints: 83975
2050.75/2057.79 c #Conflicts: 987000 | #Constraints: 84975
2050.75/2057.79 c #Conflicts: 988000 | #Constraints: 85975
2050.75/2057.79 c #Conflicts: 989000 | #Constraints: 86975
2050.75/2057.79 c #Conflicts: 990000 | #Constraints: 87975
2050.75/2057.79 c #Conflicts: 991000 | #Constraints: 88975
2050.75/2057.79 c #Conflicts: 992000 | #Constraints: 89975
2050.75/2057.79 c #Conflicts: 993000 | #Constraints: 90975
2050.75/2057.79 c #Conflicts: 994000 | #Constraints: 91975
2050.75/2057.79 c #Conflicts: 995000 | #Constraints: 92975
2050.75/2057.79 c #Conflicts: 996000 | #Constraints: 93975
2050.75/2057.79 c #Conflicts: 997000 | #Constraints: 94975
2050.75/2057.79 c #Conflicts: 998000 | #Constraints: 95975
2050.75/2057.79 c #Conflicts: 999000 | #Constraints: 96975
2050.75/2057.79 c #Conflicts: 1000000 | #Constraints: 97975
2050.75/2057.79 c #Conflicts: 1001000 | #Constraints: 98975
2050.75/2057.79 c INPROCESSING
2050.75/2057.79 c GARBAGE COLLECT
2050.75/2057.79 c #Conflicts: 1002000 | #Constraints: 80180
2050.75/2057.79 c #Conflicts: 1003000 | #Constraints: 81180
2050.75/2057.79 c #Conflicts: 1004000 | #Constraints: 82180
2050.75/2057.79 c #Conflicts: 1005000 | #Constraints: 83180
2050.75/2057.79 c #Conflicts: 1006000 | #Constraints: 84180
2050.75/2057.79 c #Conflicts: 1007000 | #Constraints: 85180
2050.75/2057.79 c #Conflicts: 1008000 | #Constraints: 86180
2050.75/2057.79 c #Conflicts: 1009000 | #Constraints: 87180
2050.75/2057.79 c #Conflicts: 1010000 | #Constraints: 88180
2050.75/2057.79 c #Conflicts: 1011000 | #Constraints: 89180
2050.75/2057.79 c #Conflicts: 1012000 | #Constraints: 90180
2050.75/2057.79 c #Conflicts: 1013000 | #Constraints: 91180
2050.75/2057.79 c #Conflicts: 1014000 | #Constraints: 92180
2050.75/2057.79 c #Conflicts: 1015000 | #Constraints: 93180
2050.75/2057.79 c #Conflicts: 1016000 | #Constraints: 94180
2050.75/2057.79 c #Conflicts: 1017000 | #Constraints: 95180
2050.75/2057.79 c #Conflicts: 1018000 | #Constraints: 96180
2050.75/2057.79 c #Conflicts: 1019000 | #Constraints: 97180
2050.75/2057.79 c #Conflicts: 1020000 | #Constraints: 98180
2050.75/2057.79 c #Conflicts: 1021000 | #Constraints: 99180
2050.75/2057.79 c INPROCESSING
2050.75/2057.79 c GARBAGE COLLECT
2050.75/2057.79 c #Conflicts: 1022000 | #Constraints: 80182
2050.75/2057.79 c #Conflicts: 1023000 | #Constraints: 81182
2050.75/2057.79 c #Conflicts: 1024000 | #Constraints: 82182
2050.75/2057.79 c #Conflicts: 1025000 | #Constraints: 83182
2050.75/2057.79 c #Conflicts: 1026000 | #Constraints: 84182
2050.75/2057.79 c #Conflicts: 1027000 | #Constraints: 85182
2050.75/2057.79 c #Conflicts: 1028000 | #Constraints: 86182
2050.75/2057.79 c #Conflicts: 1029000 | #Constraints: 87182
2050.75/2057.79 c #Conflicts: 1030000 | #Constraints: 88182
2050.75/2057.79 c #Conflicts: 1031000 | #Constraints: 89182
2050.75/2057.79 c #Conflicts: 1032000 | #Constraints: 90182
2220.55/2228.14 c #Conflicts: 1033000 | #Constraints: 91182
2220.55/2228.14 c #Conflicts: 1034000 | #Constraints: 92182
2220.55/2228.14 c #Conflicts: 1035000 | #Constraints: 93182
2220.55/2228.14 c #Conflicts: 1036000 | #Constraints: 94182
2220.55/2228.14 c #Conflicts: 1037000 | #Constraints: 95182
2220.55/2228.14 c #Conflicts: 1038000 | #Constraints: 96182
2220.55/2228.14 c #Conflicts: 1039000 | #Constraints: 97182
2220.55/2228.14 c #Conflicts: 1040000 | #Constraints: 98182
2220.55/2228.14 c #Conflicts: 1041000 | #Constraints: 99182
2220.55/2228.14 c INPROCESSING
2220.55/2228.14 c GARBAGE COLLECT
2220.55/2228.14 c #Conflicts: 1042000 | #Constraints: 79983
2220.55/2228.14 c #Conflicts: 1043000 | #Constraints: 80983
2220.55/2228.14 c #Conflicts: 1044000 | #Constraints: 81983
2220.55/2228.14 c #Conflicts: 1045000 | #Constraints: 82983
2220.55/2228.14 c #Conflicts: 1046000 | #Constraints: 83983
2220.55/2228.14 c #Conflicts: 1047000 | #Constraints: 84983
2220.55/2228.14 c #Conflicts: 1048000 | #Constraints: 85983
2220.55/2228.14 c #Conflicts: 1049000 | #Constraints: 86983
2220.55/2228.14 c #Conflicts: 1050000 | #Constraints: 87983
2220.55/2228.14 c #Conflicts: 1051000 | #Constraints: 88983
2220.55/2228.14 c #Conflicts: 1052000 | #Constraints: 89983
2220.55/2228.14 c #Conflicts: 1053000 | #Constraints: 90983
2220.55/2228.14 c #Conflicts: 1054000 | #Constraints: 91983
2220.55/2228.14 c #Conflicts: 1055000 | #Constraints: 92983
2220.55/2228.14 c #Conflicts: 1056000 | #Constraints: 93983
2220.55/2228.14 c #Conflicts: 1057000 | #Constraints: 94983
2220.55/2228.14 c #Conflicts: 1058000 | #Constraints: 95983
2220.55/2228.14 c #Conflicts: 1059000 | #Constraints: 96983
2220.55/2228.14 c #Conflicts: 1060000 | #Constraints: 97983
2220.55/2228.14 c #Conflicts: 1061000 | #Constraints: 98983
2220.55/2228.14 c #Conflicts: 1062000 | #Constraints: 99983
2220.55/2228.14 c INPROCESSING
2220.55/2228.14 c GARBAGE COLLECT
2220.55/2228.14 c #Conflicts: 1063000 | #Constraints: 80586
2220.55/2228.14 c #Conflicts: 1064000 | #Constraints: 81586
2220.55/2228.14 c #Conflicts: 1065000 | #Constraints: 82586
2220.55/2228.14 c #Conflicts: 1066000 | #Constraints: 83586
2220.55/2228.14 c #Conflicts: 1067000 | #Constraints: 84586
2220.55/2228.14 c #Conflicts: 1068000 | #Constraints: 85586
2220.55/2228.14 c #Conflicts: 1069000 | #Constraints: 86586
2220.55/2228.14 c #Conflicts: 1070000 | #Constraints: 87586
2220.55/2228.14 c #Conflicts: 1071000 | #Constraints: 88586
2220.55/2228.14 c #Conflicts: 1072000 | #Constraints: 89586
2220.55/2228.14 c #Conflicts: 1073000 | #Constraints: 90586
2220.55/2228.14 c #Conflicts: 1074000 | #Constraints: 91586
2220.55/2228.14 c #Conflicts: 1075000 | #Constraints: 92586
2220.55/2228.14 c #Conflicts: 1076000 | #Constraints: 93586
2220.55/2228.14 c #Conflicts: 1077000 | #Constraints: 94586
2220.55/2228.14 c #Conflicts: 1078000 | #Constraints: 95586
2220.55/2228.14 c #Conflicts: 1079000 | #Constraints: 96586
2220.55/2228.14 c #Conflicts: 1080000 | #Constraints: 97586
2220.55/2228.14 c #Conflicts: 1081000 | #Constraints: 98586
2220.55/2228.14 c #Conflicts: 1082000 | #Constraints: 99586
2220.55/2228.14 c #Conflicts: 1083000 | #Constraints: 100586
2220.55/2228.14 c INPROCESSING
2220.55/2228.14 c GARBAGE COLLECT
2220.55/2228.14 c #Conflicts: 1084000 | #Constraints: 80982
2220.55/2228.14 c #Conflicts: 1085000 | #Constraints: 81982
2220.55/2228.14 c #Conflicts: 1086000 | #Constraints: 82982
2220.55/2228.14 c #Conflicts: 1087000 | #Constraints: 83982
2220.55/2228.14 c #Conflicts: 1088000 | #Constraints: 84982
2220.55/2228.14 c #Conflicts: 1089000 | #Constraints: 85982
2220.55/2228.14 c #Conflicts: 1090000 | #Constraints: 86982
2220.55/2228.14 c #Conflicts: 1091000 | #Constraints: 87982
2220.55/2228.14 c #Conflicts: 1092000 | #Constraints: 88982
2220.55/2228.14 c #Conflicts: 1093000 | #Constraints: 89982
2220.55/2228.14 c #Conflicts: 1094000 | #Constraints: 90982
2220.55/2228.14 c #Conflicts: 1095000 | #Constraints: 91982
2220.55/2228.14 c #Conflicts: 1096000 | #Constraints: 92982
2220.55/2228.14 c #Conflicts: 1097000 | #Constraints: 93982
2220.55/2228.14 c #Conflicts: 1098000 | #Constraints: 94982
2220.55/2228.14 c #Conflicts: 1099000 | #Constraints: 95982
2220.55/2228.14 c #Conflicts: 1100000 | #Constraints: 96982
2220.55/2228.14 c #Conflicts: 1101000 | #Constraints: 97982
2220.55/2228.14 c #Conflicts: 1102000 | #Constraints: 98982
2220.55/2228.14 c #Conflicts: 1103000 | #Constraints: 99982
2220.55/2228.14 c #Conflicts: 1104000 | #Constraints: 100982
2220.55/2228.14 c INPROCESSING
2220.55/2228.14 c GARBAGE COLLECT
2220.55/2228.14 c #Conflicts: 1105000 | #Constraints: 81180
2220.55/2228.14 c #Conflicts: 1106000 | #Constraints: 82180
2220.55/2228.14 c #Conflicts: 1107000 | #Constraints: 83180
2220.55/2228.14 c #Conflicts: 1108000 | #Constraints: 84180
2418.17/2426.44 c #Conflicts: 1109000 | #Constraints: 85180
2418.17/2426.44 c #Conflicts: 1110000 | #Constraints: 86180
2418.17/2426.44 c #Conflicts: 1111000 | #Constraints: 87180
2418.17/2426.44 c #Conflicts: 1112000 | #Constraints: 88180
2418.17/2426.44 c #Conflicts: 1113000 | #Constraints: 89180
2418.17/2426.44 c #Conflicts: 1114000 | #Constraints: 90180
2418.17/2426.44 c #Conflicts: 1115000 | #Constraints: 91180
2418.17/2426.44 c #Conflicts: 1116000 | #Constraints: 92180
2418.17/2426.44 c #Conflicts: 1117000 | #Constraints: 93180
2418.17/2426.44 c #Conflicts: 1118000 | #Constraints: 94180
2418.17/2426.44 c #Conflicts: 1119000 | #Constraints: 95180
2418.17/2426.44 c #Conflicts: 1120000 | #Constraints: 96180
2418.17/2426.44 c #Conflicts: 1121000 | #Constraints: 97180
2418.17/2426.44 c #Conflicts: 1122000 | #Constraints: 98180
2418.17/2426.44 c #Conflicts: 1123000 | #Constraints: 99180
2418.17/2426.44 c #Conflicts: 1124000 | #Constraints: 100180
2418.17/2426.44 c #Conflicts: 1125000 | #Constraints: 101180
2418.17/2426.44 c INPROCESSING
2418.17/2426.44 c GARBAGE COLLECT
2418.17/2426.44 c #Conflicts: 1126000 | #Constraints: 81178
2418.17/2426.44 c #Conflicts: 1127000 | #Constraints: 82178
2418.17/2426.44 c #Conflicts: 1128000 | #Constraints: 83178
2418.17/2426.44 c #Conflicts: 1129000 | #Constraints: 84178
2418.17/2426.44 c #Conflicts: 1130000 | #Constraints: 85178
2418.17/2426.44 c #Conflicts: 1131000 | #Constraints: 86178
2418.17/2426.44 c #Conflicts: 1132000 | #Constraints: 87178
2418.17/2426.44 c #Conflicts: 1133000 | #Constraints: 88178
2418.17/2426.44 c #Conflicts: 1134000 | #Constraints: 89178
2418.17/2426.44 c #Conflicts: 1135000 | #Constraints: 90178
2418.17/2426.44 c #Conflicts: 1136000 | #Constraints: 91178
2418.17/2426.44 c #Conflicts: 1137000 | #Constraints: 92178
2418.17/2426.44 c #Conflicts: 1138000 | #Constraints: 93178
2418.17/2426.44 c #Conflicts: 1139000 | #Constraints: 94178
2418.17/2426.44 c #Conflicts: 1140000 | #Constraints: 95178
2418.17/2426.44 c #Conflicts: 1141000 | #Constraints: 96178
2418.17/2426.44 c #Conflicts: 1142000 | #Constraints: 97178
2418.17/2426.44 c #Conflicts: 1143000 | #Constraints: 98178
2418.17/2426.44 c #Conflicts: 1144000 | #Constraints: 99178
2418.17/2426.44 c #Conflicts: 1145000 | #Constraints: 100178
2418.17/2426.44 c #Conflicts: 1146000 | #Constraints: 101178
2418.17/2426.44 c INPROCESSING
2418.17/2426.44 c GARBAGE COLLECT
2418.17/2426.44 c #Conflicts: 1147000 | #Constraints: 80975
2418.17/2426.44 c #Conflicts: 1148000 | #Constraints: 81975
2418.17/2426.44 c #Conflicts: 1149000 | #Constraints: 82975
2418.17/2426.44 c #Conflicts: 1150000 | #Constraints: 83975
2418.17/2426.44 c #Conflicts: 1151000 | #Constraints: 84975
2418.17/2426.44 c #Conflicts: 1152000 | #Constraints: 85975
2418.17/2426.44 c #Conflicts: 1153000 | #Constraints: 86975
2418.17/2426.44 c #Conflicts: 1154000 | #Constraints: 87975
2418.17/2426.44 c #Conflicts: 1155000 | #Constraints: 88975
2418.17/2426.44 c #Conflicts: 1156000 | #Constraints: 89975
2418.17/2426.44 c #Conflicts: 1157000 | #Constraints: 90975
2418.17/2426.44 c #Conflicts: 1158000 | #Constraints: 91975
2418.17/2426.44 c #Conflicts: 1159000 | #Constraints: 92975
2418.17/2426.44 c #Conflicts: 1160000 | #Constraints: 93975
2418.17/2426.44 c #Conflicts: 1161000 | #Constraints: 94975
2418.17/2426.44 c #Conflicts: 1162000 | #Constraints: 95975
2418.17/2426.44 c #Conflicts: 1163000 | #Constraints: 96975
2418.17/2426.44 c #Conflicts: 1164000 | #Constraints: 97975
2418.17/2426.44 c #Conflicts: 1165000 | #Constraints: 98975
2418.17/2426.44 c #Conflicts: 1166000 | #Constraints: 99975
2418.17/2426.44 c #Conflicts: 1167000 | #Constraints: 100975
2418.17/2426.44 c #Conflicts: 1168000 | #Constraints: 101975
2418.17/2426.44 c INPROCESSING
2418.17/2426.44 c GARBAGE COLLECT
2418.17/2426.44 c #Conflicts: 1169000 | #Constraints: 81580
2418.17/2426.44 c #Conflicts: 1170000 | #Constraints: 82580
2418.17/2426.44 c #Conflicts: 1171000 | #Constraints: 83580
2418.17/2426.44 c #Conflicts: 1172000 | #Constraints: 84580
2418.17/2426.44 c #Conflicts: 1173000 | #Constraints: 85580
2418.17/2426.44 c #Conflicts: 1174000 | #Constraints: 86580
2418.17/2426.44 c #Conflicts: 1175000 | #Constraints: 87580
2418.17/2426.44 c #Conflicts: 1176000 | #Constraints: 88580
2418.17/2426.44 c #Conflicts: 1177000 | #Constraints: 89580
2418.17/2426.44 c #Conflicts: 1178000 | #Constraints: 90580
2418.17/2426.44 c #Conflicts: 1179000 | #Constraints: 91580
2418.17/2426.44 c #Conflicts: 1180000 | #Constraints: 92580
2418.17/2426.44 c #Conflicts: 1181000 | #Constraints: 93580
2418.17/2426.44 c #Conflicts: 1182000 | #Constraints: 94580
2418.17/2426.44 c #Conflicts: 1183000 | #Constraints: 95580
2418.17/2426.44 c #Conflicts: 1184000 | #Constraints: 96580
2418.17/2426.44 c #Conflicts: 1185000 | #Constraints: 97580
2618.58/2627.54 c #Conflicts: 1186000 | #Constraints: 98580
2618.58/2627.54 c #Conflicts: 1187000 | #Constraints: 99580
2618.58/2627.54 c #Conflicts: 1188000 | #Constraints: 100580
2618.58/2627.54 c #Conflicts: 1189000 | #Constraints: 101580
2618.58/2627.54 c #Conflicts: 1190000 | #Constraints: 102580
2618.58/2627.54 c INPROCESSING
2618.58/2627.54 c GARBAGE COLLECT
2618.58/2627.54 c #Conflicts: 1191000 | #Constraints: 81977
2618.58/2627.54 c #Conflicts: 1192000 | #Constraints: 82977
2618.58/2627.54 c #Conflicts: 1193000 | #Constraints: 83977
2618.58/2627.54 c #Conflicts: 1194000 | #Constraints: 84977
2618.58/2627.54 c #Conflicts: 1195000 | #Constraints: 85977
2618.58/2627.54 c #Conflicts: 1196000 | #Constraints: 86977
2618.58/2627.54 c #Conflicts: 1197000 | #Constraints: 87977
2618.58/2627.54 c #Conflicts: 1198000 | #Constraints: 88977
2618.58/2627.54 c #Conflicts: 1199000 | #Constraints: 89977
2618.58/2627.54 c #Conflicts: 1200000 | #Constraints: 90977
2618.58/2627.54 c #Conflicts: 1201000 | #Constraints: 91977
2618.58/2627.54 c #Conflicts: 1202000 | #Constraints: 92977
2618.58/2627.54 c #Conflicts: 1203000 | #Constraints: 93977
2618.58/2627.54 c #Conflicts: 1204000 | #Constraints: 94977
2618.58/2627.54 c #Conflicts: 1205000 | #Constraints: 95977
2618.58/2627.54 c #Conflicts: 1206000 | #Constraints: 96977
2618.58/2627.54 c #Conflicts: 1207000 | #Constraints: 97977
2618.58/2627.54 c #Conflicts: 1208000 | #Constraints: 98977
2618.58/2627.54 c #Conflicts: 1209000 | #Constraints: 99977
2618.58/2627.54 c #Conflicts: 1210000 | #Constraints: 100977
2618.58/2627.54 c #Conflicts: 1211000 | #Constraints: 101977
2618.58/2627.54 c #Conflicts: 1212000 | #Constraints: 102977
2618.58/2627.54 c INPROCESSING
2618.58/2627.54 c GARBAGE COLLECT
2618.58/2627.54 c #Conflicts: 1213000 | #Constraints: 82178
2618.58/2627.54 c #Conflicts: 1214000 | #Constraints: 83178
2618.58/2627.54 c #Conflicts: 1215000 | #Constraints: 84178
2618.58/2627.54 c #Conflicts: 1216000 | #Constraints: 85178
2618.58/2627.54 c #Conflicts: 1217000 | #Constraints: 86178
2618.58/2627.54 c #Conflicts: 1218000 | #Constraints: 87178
2618.58/2627.54 c #Conflicts: 1219000 | #Constraints: 88178
2618.58/2627.54 c #Conflicts: 1220000 | #Constraints: 89178
2618.58/2627.54 c #Conflicts: 1221000 | #Constraints: 90178
2618.58/2627.54 c #Conflicts: 1222000 | #Constraints: 91178
2618.58/2627.54 c #Conflicts: 1223000 | #Constraints: 92178
2618.58/2627.54 c #Conflicts: 1224000 | #Constraints: 93178
2618.58/2627.54 c #Conflicts: 1225000 | #Constraints: 94178
2618.58/2627.54 c #Conflicts: 1226000 | #Constraints: 95178
2618.58/2627.54 c #Conflicts: 1227000 | #Constraints: 96178
2618.58/2627.54 c #Conflicts: 1228000 | #Constraints: 97178
2618.58/2627.54 c #Conflicts: 1229000 | #Constraints: 98178
2618.58/2627.54 c #Conflicts: 1230000 | #Constraints: 99178
2618.58/2627.54 c #Conflicts: 1231000 | #Constraints: 100178
2618.58/2627.54 c #Conflicts: 1232000 | #Constraints: 101178
2618.58/2627.54 c #Conflicts: 1233000 | #Constraints: 102178
2618.58/2627.54 c #Conflicts: 1234000 | #Constraints: 103178
2618.58/2627.54 c INPROCESSING
2618.58/2627.54 c GARBAGE COLLECT
2618.58/2627.54 c #Conflicts: 1235000 | #Constraints: 82178
2618.58/2627.54 c #Conflicts: 1236000 | #Constraints: 83178
2618.58/2627.54 c #Conflicts: 1237000 | #Constraints: 84178
2618.58/2627.54 c #Conflicts: 1238000 | #Constraints: 85178
2618.58/2627.54 c #Conflicts: 1239000 | #Constraints: 86178
2618.58/2627.54 c #Conflicts: 1240000 | #Constraints: 87178
2618.58/2627.54 c #Conflicts: 1241000 | #Constraints: 88178
2618.58/2627.54 c #Conflicts: 1242000 | #Constraints: 89178
2618.58/2627.54 c #Conflicts: 1243000 | #Constraints: 90178
2618.58/2627.54 c #Conflicts: 1244000 | #Constraints: 91178
2618.58/2627.54 c #Conflicts: 1245000 | #Constraints: 92178
2618.58/2627.54 c #Conflicts: 1246000 | #Constraints: 93178
2618.58/2627.54 c #Conflicts: 1247000 | #Constraints: 94178
2618.58/2627.54 c #Conflicts: 1248000 | #Constraints: 95178
2618.58/2627.54 c #Conflicts: 1249000 | #Constraints: 96178
2618.58/2627.54 c #Conflicts: 1250000 | #Constraints: 97178
2618.58/2627.54 c #Conflicts: 1251000 | #Constraints: 98178
2618.58/2627.54 c #Conflicts: 1252000 | #Constraints: 99178
2618.58/2627.54 c #Conflicts: 1253000 | #Constraints: 100178
2618.58/2627.54 c #Conflicts: 1254000 | #Constraints: 101178
2618.58/2627.54 c #Conflicts: 1255000 | #Constraints: 102178
2618.58/2627.54 c #Conflicts: 1256000 | #Constraints: 103178
2618.58/2627.54 c INPROCESSING
2618.58/2627.54 c GARBAGE COLLECT
2618.58/2627.54 c #Conflicts: 1257000 | #Constraints: 81978
2618.58/2627.54 c #Conflicts: 1258000 | #Constraints: 82978
2618.58/2627.54 c #Conflicts: 1259000 | #Constraints: 83978
2618.58/2627.54 c #Conflicts: 1260000 | #Constraints: 84978
2618.58/2627.54 c #Conflicts: 1261000 | #Constraints: 85978
2834.63/2844.33 c #Conflicts: 1262000 | #Constraints: 86978
2834.63/2844.33 c #Conflicts: 1263000 | #Constraints: 87978
2834.63/2844.33 c #Conflicts: 1264000 | #Constraints: 88978
2834.63/2844.33 c #Conflicts: 1265000 | #Constraints: 89978
2834.63/2844.33 c #Conflicts: 1266000 | #Constraints: 90978
2834.63/2844.33 c #Conflicts: 1267000 | #Constraints: 91978
2834.63/2844.33 c #Conflicts: 1268000 | #Constraints: 92978
2834.63/2844.33 c #Conflicts: 1269000 | #Constraints: 93978
2834.63/2844.33 c #Conflicts: 1270000 | #Constraints: 94978
2834.63/2844.33 c #Conflicts: 1271000 | #Constraints: 95978
2834.63/2844.33 c #Conflicts: 1272000 | #Constraints: 96978
2834.63/2844.33 c #Conflicts: 1273000 | #Constraints: 97978
2834.63/2844.33 c #Conflicts: 1274000 | #Constraints: 98978
2834.63/2844.33 c #Conflicts: 1275000 | #Constraints: 99978
2834.63/2844.33 c #Conflicts: 1276000 | #Constraints: 100978
2834.63/2844.33 c #Conflicts: 1277000 | #Constraints: 101978
2834.63/2844.33 c #Conflicts: 1278000 | #Constraints: 102978
2834.63/2844.33 c #Conflicts: 1279000 | #Constraints: 103978
2834.63/2844.33 c INPROCESSING
2834.63/2844.33 c GARBAGE COLLECT
2834.63/2844.33 c #Conflicts: 1280000 | #Constraints: 82578
2834.63/2844.33 c #Conflicts: 1281000 | #Constraints: 83578
2834.63/2844.33 c #Conflicts: 1282000 | #Constraints: 84578
2834.63/2844.33 c #Conflicts: 1283000 | #Constraints: 85578
2834.63/2844.33 c #Conflicts: 1284000 | #Constraints: 86578
2834.63/2844.33 c #Conflicts: 1285000 | #Constraints: 87578
2834.63/2844.33 c #Conflicts: 1286000 | #Constraints: 88578
2834.63/2844.33 c #Conflicts: 1287000 | #Constraints: 89578
2834.63/2844.33 c #Conflicts: 1288000 | #Constraints: 90578
2834.63/2844.33 c #Conflicts: 1289000 | #Constraints: 91578
2834.63/2844.33 c #Conflicts: 1290000 | #Constraints: 92578
2834.63/2844.33 c #Conflicts: 1291000 | #Constraints: 93578
2834.63/2844.33 c #Conflicts: 1292000 | #Constraints: 94578
2834.63/2844.33 c #Conflicts: 1293000 | #Constraints: 95578
2834.63/2844.33 c #Conflicts: 1294000 | #Constraints: 96578
2834.63/2844.33 c #Conflicts: 1295000 | #Constraints: 97578
2834.63/2844.33 c #Conflicts: 1296000 | #Constraints: 98578
2834.63/2844.33 c #Conflicts: 1297000 | #Constraints: 99578
2834.63/2844.33 c #Conflicts: 1298000 | #Constraints: 100578
2834.63/2844.33 c #Conflicts: 1299000 | #Constraints: 101578
2834.63/2844.33 c #Conflicts: 1300000 | #Constraints: 102578
2834.63/2844.33 c #Conflicts: 1301000 | #Constraints: 103578
2834.63/2844.33 c #Conflicts: 1302000 | #Constraints: 104578
2834.63/2844.33 c INPROCESSING
2834.63/2844.33 c GARBAGE COLLECT
2834.63/2844.33 c #Conflicts: 1303000 | #Constraints: 82976
2834.63/2844.33 c #Conflicts: 1304000 | #Constraints: 83976
2834.63/2844.33 c #Conflicts: 1305000 | #Constraints: 84976
2834.63/2844.33 c #Conflicts: 1306000 | #Constraints: 85976
2834.63/2844.33 c #Conflicts: 1307000 | #Constraints: 86976
2834.63/2844.33 c #Conflicts: 1308000 | #Constraints: 87976
2834.63/2844.33 c #Conflicts: 1309000 | #Constraints: 88976
2834.63/2844.33 c #Conflicts: 1310000 | #Constraints: 89976
2834.63/2844.33 c #Conflicts: 1311000 | #Constraints: 90976
2834.63/2844.33 c #Conflicts: 1312000 | #Constraints: 91976
2834.63/2844.33 c #Conflicts: 1313000 | #Constraints: 92976
2834.63/2844.33 c #Conflicts: 1314000 | #Constraints: 93976
2834.63/2844.33 c #Conflicts: 1315000 | #Constraints: 94976
2834.63/2844.33 c #Conflicts: 1316000 | #Constraints: 95976
2834.63/2844.33 c #Conflicts: 1317000 | #Constraints: 96976
2834.63/2844.33 c #Conflicts: 1318000 | #Constraints: 97976
2834.63/2844.33 c #Conflicts: 1319000 | #Constraints: 98976
2834.63/2844.33 c #Conflicts: 1320000 | #Constraints: 99976
2834.63/2844.33 c #Conflicts: 1321000 | #Constraints: 100976
2834.63/2844.33 c #Conflicts: 1322000 | #Constraints: 101976
2834.63/2844.33 c #Conflicts: 1323000 | #Constraints: 102976
2834.63/2844.33 c #Conflicts: 1324000 | #Constraints: 103976
2834.63/2844.33 c #Conflicts: 1325000 | #Constraints: 104976
2834.63/2844.33 c INPROCESSING
2834.63/2844.33 c GARBAGE COLLECT
2834.63/2844.33 c #Conflicts: 1326000 | #Constraints: 83179
2834.63/2844.33 c #Conflicts: 1327000 | #Constraints: 84179
2834.63/2844.33 c #Conflicts: 1328000 | #Constraints: 85179
2834.63/2844.33 c #Conflicts: 1329000 | #Constraints: 86179
2834.63/2844.33 c #Conflicts: 1330000 | #Constraints: 87179
2834.63/2844.33 c #Conflicts: 1331000 | #Constraints: 88179
2834.63/2844.33 c #Conflicts: 1332000 | #Constraints: 89179
2834.63/2844.33 c #Conflicts: 1333000 | #Constraints: 90179
2834.63/2844.33 c #Conflicts: 1334000 | #Constraints: 91179
2834.63/2844.33 c #Conflicts: 1335000 | #Constraints: 92179
2834.63/2844.33 c #Conflicts: 1336000 | #Constraints: 93179
2834.63/2844.33 c #Conflicts: 1337000 | #Constraints: 94179
2834.63/2844.33 c #Conflicts: 1338000 | #Constraints: 95179
3041.30/3051.78 c #Conflicts: 1339000 | #Constraints: 96179
3041.30/3051.78 c #Conflicts: 1340000 | #Constraints: 97179
3041.30/3051.78 c #Conflicts: 1341000 | #Constraints: 98179
3041.30/3051.78 c #Conflicts: 1342000 | #Constraints: 99179
3041.30/3051.78 c #Conflicts: 1343000 | #Constraints: 100179
3041.30/3051.78 c #Conflicts: 1344000 | #Constraints: 101179
3041.30/3051.78 c #Conflicts: 1345000 | #Constraints: 102179
3041.30/3051.78 c #Conflicts: 1346000 | #Constraints: 103179
3041.30/3051.78 c #Conflicts: 1347000 | #Constraints: 104179
3041.30/3051.78 c #Conflicts: 1348000 | #Constraints: 105179
3041.30/3051.78 c INPROCESSING
3041.30/3051.78 c GARBAGE COLLECT
3041.30/3051.78 c #Conflicts: 1349000 | #Constraints: 83178
3041.30/3051.78 c #Conflicts: 1350000 | #Constraints: 84178
3041.30/3051.78 c #Conflicts: 1351000 | #Constraints: 85178
3041.30/3051.78 c #Conflicts: 1352000 | #Constraints: 86178
3041.30/3051.78 c #Conflicts: 1353000 | #Constraints: 87178
3041.30/3051.78 c #Conflicts: 1354000 | #Constraints: 88178
3041.30/3051.78 c #Conflicts: 1355000 | #Constraints: 89178
3041.30/3051.78 c #Conflicts: 1356000 | #Constraints: 90178
3041.30/3051.78 c #Conflicts: 1357000 | #Constraints: 91178
3041.30/3051.78 c #Conflicts: 1358000 | #Constraints: 92178
3041.30/3051.78 c #Conflicts: 1359000 | #Constraints: 93178
3041.30/3051.78 c #Conflicts: 1360000 | #Constraints: 94178
3041.30/3051.78 c #Conflicts: 1361000 | #Constraints: 95178
3041.30/3051.78 c #Conflicts: 1362000 | #Constraints: 96178
3041.30/3051.78 c #Conflicts: 1363000 | #Constraints: 97178
3041.30/3051.78 c #Conflicts: 1364000 | #Constraints: 98178
3041.30/3051.78 c #Conflicts: 1365000 | #Constraints: 99178
3041.30/3051.78 c #Conflicts: 1366000 | #Constraints: 100178
3041.30/3051.78 c #Conflicts: 1367000 | #Constraints: 101178
3041.30/3051.78 c #Conflicts: 1368000 | #Constraints: 102178
3041.30/3051.78 c #Conflicts: 1369000 | #Constraints: 103178
3041.30/3051.78 c #Conflicts: 1370000 | #Constraints: 104178
3041.30/3051.78 c #Conflicts: 1371000 | #Constraints: 105178
3041.30/3051.78 c INPROCESSING
3041.30/3051.78 c GARBAGE COLLECT
3041.30/3051.78 c #Conflicts: 1372000 | #Constraints: 82973
3041.30/3051.78 c #Conflicts: 1373000 | #Constraints: 83973
3041.30/3051.78 c #Conflicts: 1374000 | #Constraints: 84973
3041.30/3051.78 c #Conflicts: 1375000 | #Constraints: 85973
3041.30/3051.78 c #Conflicts: 1376000 | #Constraints: 86973
3041.30/3051.78 c #Conflicts: 1377000 | #Constraints: 87973
3041.30/3051.78 c #Conflicts: 1378000 | #Constraints: 88973
3041.30/3051.78 c #Conflicts: 1379000 | #Constraints: 89973
3041.30/3051.78 c #Conflicts: 1380000 | #Constraints: 90973
3041.30/3051.78 c #Conflicts: 1381000 | #Constraints: 91973
3041.30/3051.78 c #Conflicts: 1382000 | #Constraints: 92973
3041.30/3051.78 c #Conflicts: 1383000 | #Constraints: 93973
3041.30/3051.78 c #Conflicts: 1384000 | #Constraints: 94973
3041.30/3051.78 c #Conflicts: 1385000 | #Constraints: 95973
3041.30/3051.78 c #Conflicts: 1386000 | #Constraints: 96973
3041.30/3051.78 c #Conflicts: 1387000 | #Constraints: 97973
3041.30/3051.78 c #Conflicts: 1388000 | #Constraints: 98973
3041.30/3051.78 c #Conflicts: 1389000 | #Constraints: 99973
3041.30/3051.78 c #Conflicts: 1390000 | #Constraints: 100973
3041.30/3051.78 c #Conflicts: 1391000 | #Constraints: 101973
3041.30/3051.78 c #Conflicts: 1392000 | #Constraints: 102973
3041.30/3051.78 c #Conflicts: 1393000 | #Constraints: 103973
3041.30/3051.78 c #Conflicts: 1394000 | #Constraints: 104973
3041.30/3051.78 c #Conflicts: 1395000 | #Constraints: 105973
3041.30/3051.78 c INPROCESSING
3041.30/3051.78 c GARBAGE COLLECT
3041.30/3051.78 c #Conflicts: 1396000 | #Constraints: 83576
3041.30/3051.78 c #Conflicts: 1397000 | #Constraints: 84576
3041.30/3051.78 c #Conflicts: 1398000 | #Constraints: 85576
3041.30/3051.78 c #Conflicts: 1399000 | #Constraints: 86576
3041.30/3051.78 c #Conflicts: 1400000 | #Constraints: 87576
3041.30/3051.78 c #Conflicts: 1401000 | #Constraints: 88576
3041.30/3051.78 c #Conflicts: 1402000 | #Constraints: 89576
3041.30/3051.78 c #Conflicts: 1403000 | #Constraints: 90576
3041.30/3051.78 c #Conflicts: 1404000 | #Constraints: 91576
3041.30/3051.78 c #Conflicts: 1405000 | #Constraints: 92576
3041.30/3051.78 c #Conflicts: 1406000 | #Constraints: 93576
3041.30/3051.78 c #Conflicts: 1407000 | #Constraints: 94576
3041.30/3051.78 c #Conflicts: 1408000 | #Constraints: 95576
3041.30/3051.78 c #Conflicts: 1409000 | #Constraints: 96576
3041.30/3051.78 c #Conflicts: 1410000 | #Constraints: 97576
3041.30/3051.78 c #Conflicts: 1411000 | #Constraints: 98576
3041.30/3051.78 c #Conflicts: 1412000 | #Constraints: 99576
3041.30/3051.78 c #Conflicts: 1413000 | #Constraints: 100576
3041.30/3051.78 c #Conflicts: 1414000 | #Constraints: 101576
3041.30/3051.78 c #Conflicts: 1415000 | #Constraints: 102576
3275.18/3286.47 c #Conflicts: 1416000 | #Constraints: 103576
3275.18/3286.47 c #Conflicts: 1417000 | #Constraints: 104576
3275.18/3286.47 c #Conflicts: 1418000 | #Constraints: 105576
3275.18/3286.47 c #Conflicts: 1419000 | #Constraints: 106576
3275.18/3286.47 c INPROCESSING
3275.18/3286.47 c GARBAGE COLLECT
3275.18/3286.47 c #Conflicts: 1420000 | #Constraints: 83971
3275.18/3286.47 c #Conflicts: 1421000 | #Constraints: 84971
3275.18/3286.47 c #Conflicts: 1422000 | #Constraints: 85971
3275.18/3286.47 c #Conflicts: 1423000 | #Constraints: 86971
3275.18/3286.47 c #Conflicts: 1424000 | #Constraints: 87971
3275.18/3286.47 c #Conflicts: 1425000 | #Constraints: 88971
3275.18/3286.47 c #Conflicts: 1426000 | #Constraints: 89971
3275.18/3286.47 c #Conflicts: 1427000 | #Constraints: 90971
3275.18/3286.47 c #Conflicts: 1428000 | #Constraints: 91971
3275.18/3286.47 c #Conflicts: 1429000 | #Constraints: 92971
3275.18/3286.47 c #Conflicts: 1430000 | #Constraints: 93971
3275.18/3286.47 c #Conflicts: 1431000 | #Constraints: 94971
3275.18/3286.47 c #Conflicts: 1432000 | #Constraints: 95971
3275.18/3286.47 c #Conflicts: 1433000 | #Constraints: 96971
3275.18/3286.47 c #Conflicts: 1434000 | #Constraints: 97971
3275.18/3286.47 c #Conflicts: 1435000 | #Constraints: 98971
3275.18/3286.47 c #Conflicts: 1436000 | #Constraints: 99971
3275.18/3286.47 c #Conflicts: 1437000 | #Constraints: 100971
3275.18/3286.47 c #Conflicts: 1438000 | #Constraints: 101971
3275.18/3286.47 c #Conflicts: 1439000 | #Constraints: 102971
3275.18/3286.47 c #Conflicts: 1440000 | #Constraints: 103971
3275.18/3286.47 c #Conflicts: 1441000 | #Constraints: 104971
3275.18/3286.47 c #Conflicts: 1442000 | #Constraints: 105971
3275.18/3286.47 c #Conflicts: 1443000 | #Constraints: 106971
3275.18/3286.47 c INPROCESSING
3275.18/3286.47 c GARBAGE COLLECT
3275.18/3286.47 c #Conflicts: 1444000 | #Constraints: 84177
3275.18/3286.47 c #Conflicts: 1445000 | #Constraints: 85177
3275.18/3286.47 c #Conflicts: 1446000 | #Constraints: 86177
3275.18/3286.47 c #Conflicts: 1447000 | #Constraints: 87177
3275.18/3286.47 c #Conflicts: 1448000 | #Constraints: 88177
3275.18/3286.47 c #Conflicts: 1449000 | #Constraints: 89177
3275.18/3286.47 c #Conflicts: 1450000 | #Constraints: 90177
3275.18/3286.47 c #Conflicts: 1451000 | #Constraints: 91177
3275.18/3286.47 c #Conflicts: 1452000 | #Constraints: 92177
3275.18/3286.47 c #Conflicts: 1453000 | #Constraints: 93177
3275.18/3286.47 c #Conflicts: 1454000 | #Constraints: 94177
3275.18/3286.47 c #Conflicts: 1455000 | #Constraints: 95177
3275.18/3286.47 c #Conflicts: 1456000 | #Constraints: 96177
3275.18/3286.47 c #Conflicts: 1457000 | #Constraints: 97177
3275.18/3286.47 c #Conflicts: 1458000 | #Constraints: 98177
3275.18/3286.47 c #Conflicts: 1459000 | #Constraints: 99177
3275.18/3286.47 c #Conflicts: 1460000 | #Constraints: 100177
3275.18/3286.47 c #Conflicts: 1461000 | #Constraints: 101177
3275.18/3286.47 c #Conflicts: 1462000 | #Constraints: 102177
3275.18/3286.47 c #Conflicts: 1463000 | #Constraints: 103177
3275.18/3286.47 c #Conflicts: 1464000 | #Constraints: 104177
3275.18/3286.47 c #Conflicts: 1465000 | #Constraints: 105177
3275.18/3286.47 c #Conflicts: 1466000 | #Constraints: 106177
3275.18/3286.47 c #Conflicts: 1467000 | #Constraints: 107177
3275.18/3286.47 c INPROCESSING
3275.18/3286.47 c GARBAGE COLLECT
3275.18/3286.47 c #Conflicts: 1468000 | #Constraints: 84178
3275.18/3286.47 c #Conflicts: 1469000 | #Constraints: 85178
3275.18/3286.47 c #Conflicts: 1470000 | #Constraints: 86178
3275.18/3286.47 c #Conflicts: 1471000 | #Constraints: 87178
3275.18/3286.47 c #Conflicts: 1472000 | #Constraints: 88178
3275.18/3286.47 c #Conflicts: 1473000 | #Constraints: 89178
3275.18/3286.47 c #Conflicts: 1474000 | #Constraints: 90178
3275.18/3286.47 c #Conflicts: 1475000 | #Constraints: 91178
3275.18/3286.47 c #Conflicts: 1476000 | #Constraints: 92178
3275.18/3286.47 c #Conflicts: 1477000 | #Constraints: 93178
3275.18/3286.47 c #Conflicts: 1478000 | #Constraints: 94178
3275.18/3286.47 c #Conflicts: 1479000 | #Constraints: 95178
3275.18/3286.47 c #Conflicts: 1480000 | #Constraints: 96178
3275.18/3286.47 c #Conflicts: 1481000 | #Constraints: 97178
3275.18/3286.47 c #Conflicts: 1482000 | #Constraints: 98178
3275.18/3286.47 c #Conflicts: 1483000 | #Constraints: 99178
3275.18/3286.47 c #Conflicts: 1484000 | #Constraints: 100178
3275.18/3286.47 c #Conflicts: 1485000 | #Constraints: 101178
3275.18/3286.47 c #Conflicts: 1486000 | #Constraints: 102178
3275.18/3286.47 c #Conflicts: 1487000 | #Constraints: 103178
3275.18/3286.47 c #Conflicts: 1488000 | #Constraints: 104178
3275.18/3286.47 c #Conflicts: 1489000 | #Constraints: 105178
3275.18/3286.47 c #Conflicts: 1490000 | #Constraints: 106178
3275.18/3286.47 c #Conflicts: 1491000 | #Constraints: 107178
3275.18/3286.47 c INPROCESSING
3275.18/3286.47 c GARBAGE COLLECT
3512.35/3524.46 c #Conflicts: 1492000 | #Constraints: 83973
3512.35/3524.46 c #Conflicts: 1493000 | #Constraints: 84973
3512.35/3524.46 c #Conflicts: 1494000 | #Constraints: 85973
3512.35/3524.46 c #Conflicts: 1495000 | #Constraints: 86973
3512.35/3524.46 c #Conflicts: 1496000 | #Constraints: 87973
3512.35/3524.46 c #Conflicts: 1497000 | #Constraints: 88973
3512.35/3524.46 c #Conflicts: 1498000 | #Constraints: 89973
3512.35/3524.46 c #Conflicts: 1499000 | #Constraints: 90973
3512.35/3524.46 c #Conflicts: 1500000 | #Constraints: 91973
3512.35/3524.46 c #Conflicts: 1501000 | #Constraints: 92973
3512.35/3524.46 c #Conflicts: 1502000 | #Constraints: 93973
3512.35/3524.46 c #Conflicts: 1503000 | #Constraints: 94973
3512.35/3524.46 c #Conflicts: 1504000 | #Constraints: 95973
3512.35/3524.46 c #Conflicts: 1505000 | #Constraints: 96973
3512.35/3524.46 c #Conflicts: 1506000 | #Constraints: 97973
3512.35/3524.46 c #Conflicts: 1507000 | #Constraints: 98973
3512.35/3524.46 c #Conflicts: 1508000 | #Constraints: 99973
3512.35/3524.46 c #Conflicts: 1509000 | #Constraints: 100973
3512.35/3524.46 c #Conflicts: 1510000 | #Constraints: 101973
3512.35/3524.46 c #Conflicts: 1511000 | #Constraints: 102973
3512.35/3524.46 c #Conflicts: 1512000 | #Constraints: 103973
3512.35/3524.46 c #Conflicts: 1513000 | #Constraints: 104973
3512.35/3524.46 c #Conflicts: 1514000 | #Constraints: 105973
3512.35/3524.46 c #Conflicts: 1515000 | #Constraints: 106973
3512.35/3524.46 c #Conflicts: 1516000 | #Constraints: 107973
3512.35/3524.46 c INPROCESSING
3512.35/3524.46 c GARBAGE COLLECT
3512.35/3524.46 c #Conflicts: 1517000 | #Constraints: 84577
3512.35/3524.46 c #Conflicts: 1518000 | #Constraints: 85577
3512.35/3524.46 c #Conflicts: 1519000 | #Constraints: 86577
3512.35/3524.46 c #Conflicts: 1520000 | #Constraints: 87577
3512.35/3524.46 c #Conflicts: 1521000 | #Constraints: 88577
3512.35/3524.46 c #Conflicts: 1522000 | #Constraints: 89577
3512.35/3524.46 c #Conflicts: 1523000 | #Constraints: 90577
3512.35/3524.46 c #Conflicts: 1524000 | #Constraints: 91577
3512.35/3524.46 c #Conflicts: 1525000 | #Constraints: 92577
3512.35/3524.46 c #Conflicts: 1526000 | #Constraints: 93577
3512.35/3524.46 c #Conflicts: 1527000 | #Constraints: 94577
3512.35/3524.46 c #Conflicts: 1528000 | #Constraints: 95577
3512.35/3524.46 c #Conflicts: 1529000 | #Constraints: 96577
3512.35/3524.46 c #Conflicts: 1530000 | #Constraints: 97577
3512.35/3524.46 c #Conflicts: 1531000 | #Constraints: 98577
3512.35/3524.46 c #Conflicts: 1532000 | #Constraints: 99577
3512.35/3524.46 c #Conflicts: 1533000 | #Constraints: 100577
3512.35/3524.46 c #Conflicts: 1534000 | #Constraints: 101577
3512.35/3524.46 c #Conflicts: 1535000 | #Constraints: 102577
3512.35/3524.46 c #Conflicts: 1536000 | #Constraints: 103577
3512.35/3524.46 c #Conflicts: 1537000 | #Constraints: 104577
3512.35/3524.46 c #Conflicts: 1538000 | #Constraints: 105577
3512.35/3524.46 c #Conflicts: 1539000 | #Constraints: 106577
3512.35/3524.46 c #Conflicts: 1540000 | #Constraints: 107577
3512.35/3524.46 c #Conflicts: 1541000 | #Constraints: 108577
3512.35/3524.46 c INPROCESSING
3512.35/3524.46 c GARBAGE COLLECT
3512.35/3524.46 c #Conflicts: 1542000 | #Constraints: 84977
3512.35/3524.46 c #Conflicts: 1543000 | #Constraints: 85977
3512.35/3524.46 c #Conflicts: 1544000 | #Constraints: 86977
3512.35/3524.46 c #Conflicts: 1545000 | #Constraints: 87977
3512.35/3524.46 c #Conflicts: 1546000 | #Constraints: 88977
3512.35/3524.46 c #Conflicts: 1547000 | #Constraints: 89977
3512.35/3524.46 c #Conflicts: 1548000 | #Constraints: 90977
3512.35/3524.46 c #Conflicts: 1549000 | #Constraints: 91977
3512.35/3524.46 c #Conflicts: 1550000 | #Constraints: 92977
3512.35/3524.46 c #Conflicts: 1551000 | #Constraints: 93977
3512.35/3524.46 c #Conflicts: 1552000 | #Constraints: 94977
3512.35/3524.46 c #Conflicts: 1553000 | #Constraints: 95977
3512.35/3524.46 c #Conflicts: 1554000 | #Constraints: 96977
3512.35/3524.46 c #Conflicts: 1555000 | #Constraints: 97977
3512.35/3524.46 c #Conflicts: 1556000 | #Constraints: 98977
3512.35/3524.46 c #Conflicts: 1557000 | #Constraints: 99977
3512.35/3524.46 c #Conflicts: 1558000 | #Constraints: 100977
3512.35/3524.46 c #Conflicts: 1559000 | #Constraints: 101977
3512.35/3524.46 c #Conflicts: 1560000 | #Constraints: 102977
3512.35/3524.46 c #Conflicts: 1561000 | #Constraints: 103977
3512.35/3524.46 c #Conflicts: 1562000 | #Constraints: 104977
3512.35/3524.46 c #Conflicts: 1563000 | #Constraints: 105977
3512.35/3524.46 c #Conflicts: 1564000 | #Constraints: 106977
3512.35/3524.46 c #Conflicts: 1565000 | #Constraints: 107977
3512.35/3524.46 c #Conflicts: 1566000 | #Constraints: 108977
3512.35/3524.46 c INPROCESSING
3512.35/3524.46 c GARBAGE COLLECT
3512.35/3524.46 c #Conflicts: 1567000 | #Constraints: 85175
3512.35/3524.46 c #Conflicts: 1568000 | #Constraints: 86175
3600.04/3612.40 c #Conflicts: 1569000 | #Constraints: 87175
3600.04/3612.40 c #Conflicts: 1570000 | #Constraints: 88175
3600.04/3612.40 c #Conflicts: 1571000 | #Constraints: 89175
3600.04/3612.40 c #Conflicts: 1572000 | #Constraints: 90175
3600.04/3612.40 c #Conflicts: 1573000 | #Constraints: 91175
3600.04/3612.40 c #Conflicts: 1574000 | #Constraints: 92175
3600.04/3612.40 c #Conflicts: 1575000 | #Constraints: 93175
3600.04/3612.40 c #Conflicts: 1576000 | #Constraints: 94175
3600.04/3612.40 c #Conflicts: 1577000 | #Constraints: 95175
3600.04/3612.40 c #Conflicts: 1578000 | #Constraints: 96175
3600.04/3612.40 c #Conflicts: 1579000 | #Constraints: 97175
3600.04/3612.40 c #Conflicts: 1580000 | #Constraints: 98175
3600.04/3612.40 c #Conflicts: 1581000 | #Constraints: 99175
3600.04/3612.40 c #Conflicts: 1582000 | #Constraints: 100175
3600.04/3612.40 c #Conflicts: 1583000 | #Constraints: 101175
3600.04/3612.40 c #Conflicts: 1584000 | #Constraints: 102175
3600.04/3612.40 c #Conflicts: 1585000 | #Constraints: 103175
3600.04/3612.40 c #Conflicts: 1586000 | #Constraints: 104175
3600.04/3612.40 c #Conflicts: 1587000 | #Constraints: 105175
3600.04/3612.40 c #Conflicts: 1588000 | #Constraints: 106175
3600.04/3612.40 c #Conflicts: 1589000 | #Constraints: 107175
3600.04/3612.40 c #Conflicts: 1590000 | #Constraints: 108175
3600.04/3612.40 c #Conflicts: 1591000 | #Constraints: 109175
3600.04/3612.40 c INPROCESSING
3600.04/3612.40 c GARBAGE COLLECT
3600.04/3612.40 c #Conflicts: 1592000 | #Constraints: 85174
3600.04/3612.40 c #Conflicts: 1593000 | #Constraints: 86174
3600.04/3612.40 c #Conflicts: 1594000 | #Constraints: 87174
3600.04/3612.40 c #Conflicts: 1595000 | #Constraints: 88174
3600.04/3612.40 c #Conflicts: 1596000 | #Constraints: 89174
3600.04/3612.40 c #Conflicts: 1597000 | #Constraints: 90174
3600.04/3612.40 c #Conflicts: 1598000 | #Constraints: 91174
3600.04/3612.40 c #Conflicts: 1599000 | #Constraints: 92174
3600.04/3612.40 c #Conflicts: 1600000 | #Constraints: 93174
3600.04/3612.40 c #Conflicts: 1601000 | #Constraints: 94174
3600.04/3612.40 c Program interrupted by user.
3600.04/3612.40 c cpu time 3592.09 s
3600.04/3612.40 c deterministic time 715456272834 7.15e+11
3600.04/3612.40 c optimization time 23.6371 s
3600.04/3612.40 c total solve time 3269.3 s
3600.04/3612.40 c core-guided solve time 3269.3 s
3600.04/3612.40 c propagation time 3114.76 s
3600.04/3612.40 c conflict analysis time 138.669 s
3600.04/3612.40 c propagations 40843871
3600.04/3612.40 c resolve steps 13247162
3600.04/3612.40 c decisions 2569961
3600.04/3612.40 c conflicts 1601284
3600.04/3612.40 c restarts 3069
3600.04/3612.40 c inprocessing phases 117
3600.04/3612.40 c input clauses 59366
3600.04/3612.40 c input cardinalities 24
3600.04/3612.40 c input general constraints 0
3600.04/3612.40 c input average constraint length 2.39
3600.04/3612.40 c input average constraint degree 1.30
3600.04/3612.40 c learned clauses 1013447
3600.04/3612.40 c learned cardinalities 393716
3600.04/3612.40 c learned general constraints 194120
3600.04/3612.40 c learned average constraint length 885.90
3600.04/3612.40 c learned average constraint degree 10.95
3600.04/3612.40 c watched constraints 194120
3600.04/3612.40 c counting constraints 0
3600.04/3612.40 c gcd simplifications 111584
3600.04/3612.40 c detected cardinalities 38149
3600.04/3612.40 c weakened non-implied lits 17081838
3600.04/3612.40 c weakened non-implying lits 85351
3600.04/3612.40 c original variables 945
3600.04/3612.40 c clausal propagations 30029895
3600.04/3612.40 c cardinality propagations 5994474
3600.04/3612.40 c watched propagations 831201
3600.04/3612.40 c counting propagations 0
3600.04/3612.40 c watch lookups 24086675669
3600.04/3612.40 c watch backjump lookups 2217035
3600.04/3612.40 c watch checks 686675722412
3600.04/3612.40 c propagation checks 1528996539
3600.04/3612.40 c constraint additions 3074233275
3600.04/3612.40 c trail pops 45014071
3600.04/3612.40 c formula constraints 59186
3600.04/3612.40 c learned constraints 1601283
3600.04/3612.40 c bound constraints 24
3600.04/3612.40 c core-guided constraints 180
3600.04/3612.40 c encountered formula constraints 11345514
3600.04/3612.40 c encountered learned constraints 3473129
3600.04/3612.40 c encountered bound constraints 2062
3600.04/3612.40 c encountered core-guided constraints 27741
3600.04/3612.40 c LP total time 0 s
3600.04/3612.40 c LP solve time 0 s
3600.04/3612.40 c LP constraints added 0
3600.04/3612.40 c LP constraints removed 0
3600.04/3612.40 c LP pivots internal 0
3600.04/3612.40 c LP pivots root 0
3600.04/3612.40 c LP calls 0
3600.04/3612.40 c LP optimalities 0
3600.04/3612.40 c LP no pivot count 0
3600.04/3612.40 c LP infeasibilities 0
3600.04/3612.40 c LP valid Farkas constraints 0
3600.04/3612.40 c LP learned Farkas constraints 0
3600.04/3612.40 c LP basis resets 0
3600.04/3612.40 c LP cycling count 0
3600.04/3612.40 c LP singular count 0
3600.04/3612.40 c LP no primal count 0
3600.04/3612.40 c LP no farkas count 0
3600.04/3612.40 c LP other issue count 0
3600.04/3612.40 c LP Gomory cuts 0
3600.04/3612.40 c LP learned cuts 0
3600.04/3612.40 c LP deleted cuts 0
3600.04/3612.40 c LP encountered Gomory constraints 0
3600.04/3612.40 c LP encountered Farkas constraints 0
3600.04/3612.40 c LP encountered learned Farkas constraints 0
3600.04/3612.40 c CG auxiliary variables introduced 180
3600.04/3612.40 c CG solutions found 0
3600.04/3612.40 c CG cores constructed 23
3600.04/3612.40 c CG core cardinality constraints returned 0
3600.04/3612.40 c CG unit cores 0
3600.04/3612.40 c CG single cores 23
3600.04/3612.40 c CG blocks removed during cardinality reduction 0
3600.04/3612.40 c CG first core best 0
3600.04/3612.40 c CG decision core best 0
3600.04/3612.40 c CG core reduction tie 0
3600.04/3612.40 c CG core degree average 1.00
3600.04/3612.40 c CG core slack average 6.83
3600.04/3612.40 c CG exhausted 0
3600.04/3612.40 c CG exhaust time 0 s
3600.04/3612.40 c CG trimmed 3
3600.04/3612.40 c CG trim time 0.000254 s
3600.04/3612.40 c CG minimized 0
3600.04/3612.40 c CG minimize time 0 s
3600.04/3612.40 c CG am1 prop time 0.004433 s
3600.04/3612.40 c CG # am1s reformulated 180
3600.04/3612.40 c CG lower bound derived from am1s 765
3600.04/3612.40 c CG # clausal cores 23
3600.04/3612.40 c CG # cardinality cores 0
3600.04/3612.40 c CG # pb cores 0
3600.04/3612.40 c CG # pb reforms 0
3600.04/3612.40 c CG # cores discarded because of pb reform 0
3600.04/3612.40 d LOWERBOUND -157
3600.04/3612.40 d NCORES 23
3600.04/3612.40 d NPBCORES 0
3600.04/3612.40 d NPBREFORM 0
3600.04/3612.40 d NTRIMMED 3
3600.04/3612.40 d NEXHAUSTED 0
3600.04/3612.40 d NAM1S 180
3600.04/3612.40 d AM1LB 765
3600.04/3612.40 c [Papilo Statistics]
3600.04/3612.40 c prepro time 0.138651s
3600.04/3612.40 c # tsx applied 0
3600.04/3612.40 c # tsx conflicts 0
3600.04/3612.40 c # bound changes 0
3600.04/3612.40 c # side changes 0
3600.04/3612.40 c # coef changes 0
3600.04/3612.40 c # rounds 1
3600.04/3612.40 c # deted vars 0
3600.04/3612.40 c # deted constrs 0
3600.04/3612.40 c # consecutive rounds of only bound changes 0
3600.04/3612.40 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 (60419 MiB free)
memory of node 1: 64473 MiB (61294 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454779-1721431636/watcher-4454779-1721431636 -o /tmp/evaluation-result-4454779-1721431636/solver-4454779-1721431636 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034140 --watchdog 3760 mixed-bag HOME/instance-4454779-1721431636.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=1038913, runsolver pid=1038910
[startup+0.100672 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 1038914
/proc/meminfo: memFree=124627744/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=80392 memory=13992 CPUtime=0.09 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 2597 0 0 0 9 0 0 0 20 0 1 0 195332556 82321408 3498 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 20098 3498 1625 3002 0 4386 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80392 KiB
Current children cumulated memory: 13992 KiB
[startup+0.205687 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 1038914
/proc/meminfo: memFree=124604616/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=111556 memory=37564 CPUtime=0.19 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 8903 0 0 0 18 1 0 0 20 0 1 0 195332556 114233344 9391 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 27889 9391 1828 3002 0 11638 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111556 KiB
Current children cumulated memory: 37564 KiB
[startup+0.305617 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 1038914
/proc/meminfo: memFree=124568836/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=153148 memory=86108 CPUtime=0.3 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 20249 0 0 0 27 3 0 0 20 0 1 0 195332556 156823552 21461 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 38287 21527 3649 3002 0 22036 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153148 KiB
Current children cumulated memory: 86108 KiB
[startup+0.70023 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1038914
/proc/meminfo: memFree=124503752/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=217812 memory=148624 CPUtime=0.68 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 39468 0 0 0 63 5 0 0 20 0 1 0 195332556 223039488 37156 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 54453 37156 3761 3002 0 38202 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 217812 KiB
Current children cumulated memory: 148624 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1038914
/proc/meminfo: memFree=124500876/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=391760 memory=306560 CPUtime=1.47 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 47858 0 0 0 139 8 0 0 20 0 1 0 195332556 401162240 76640 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 97940 76640 3809 3002 0 81689 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 391760 KiB
Current children cumulated memory: 306560 KiB
[startup+3.10557 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1038916
/proc/meminfo: memFree=124278060/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=472084 memory=378892 CPUtime=3.08 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 65753 0 0 0 296 12 0 0 20 0 1 0 195332556 483414016 94723 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 118021 94723 4015 3002 0 101770 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 472084 KiB
Current children cumulated memory: 378892 KiB
[startup+6.30022 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1038916
/proc/meminfo: memFree=124268336/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=479256 memory=381260 CPUtime=6.26 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 66405 0 0 0 614 12 0 0 20 0 1 0 195332556 490758144 95315 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 119814 95315 4015 3002 0 103563 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 479256 KiB
Current children cumulated memory: 381260 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1038918
/proc/meminfo: memFree=124256104/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=571248 memory=394340 CPUtime=12.64 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 69167 0 0 0 1251 13 0 0 20 0 1 0 195332556 584957952 98585 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 142812 98585 4015 3002 0 126561 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 571248 KiB
Current children cumulated memory: 394340 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 1038919
/proc/meminfo: memFree=124184348/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=662892 memory=464832 CPUtime=25.4 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 86749 0 0 0 2524 16 0 0 20 0 1 0 195332556 678801408 116208 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 165723 116208 4024 3002 0 149472 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 662892 KiB
Current children cumulated memory: 464832 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1038922
/proc/meminfo: memFree=124179360/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=701804 memory=466880 CPUtime=50.91 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 86765 0 0 0 5075 16 0 0 20 0 1 0 195332556 718647296 116720 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 175451 116720 4024 3002 0 159200 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 701804 KiB
Current children cumulated memory: 466880 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1039103
/proc/meminfo: memFree=124119180/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=782124 memory=515912 CPUtime=101.92 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 102599 0 0 0 10174 18 0 0 20 0 1 0 195332556 800894976 128978 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 195531 128978 4024 3002 0 179280 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 782124 KiB
Current children cumulated memory: 515912 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1039113
/proc/meminfo: memFree=124088860/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=850560 memory=542488 CPUtime=161.71 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 109279 0 0 0 16152 19 0 0 20 0 1 0 195332556 870973440 135622 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 212640 135622 4024 3002 0 196389 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 850560 KiB
Current children cumulated memory: 542488 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1039181
/proc/meminfo: memFree=124012200/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=961536 memory=601512 CPUtime=221.51 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 114304 0 0 0 22130 21 0 0 20 0 1 0 195332556 984612864 150378 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 240384 150378 4149 3002 0 224133 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 961536 KiB
Current children cumulated memory: 601512 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 1039194
/proc/meminfo: memFree=123928548/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1072876 memory=660836 CPUtime=281.31 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 127613 0 0 0 28107 24 0 0 20 0 1 0 195332556 1098625024 165209 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 268219 165209 4149 3002 0 251968 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1072876 KiB
Current children cumulated memory: 660836 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1039206
/proc/meminfo: memFree=124076116/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=851404 memory=478912 CPUtime=341.11 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 131666 0 0 0 34046 65 0 0 20 0 1 0 195332556 871837696 119728 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 212851 119728 4308 3002 0 196600 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 851404 KiB
Current children cumulated memory: 478912 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/258 1039217
/proc/meminfo: memFree=124049240/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=882224 memory=497336 CPUtime=400.91 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 132209 0 0 0 39995 96 0 0 20 0 1 0 195332556 903397376 124334 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 220556 124334 4308 3002 0 204305 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 882224 KiB
Current children cumulated memory: 497336 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1039228
/proc/meminfo: memFree=124012300/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=882224 memory=509804 CPUtime=460.7 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 132251 0 0 0 45948 122 0 0 20 0 1 0 195332556 903397376 127451 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 220556 127451 4308 3002 0 204305 0
################
# More data... #
################
Current children cumulated memory: 748288 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 1040425
/proc/meminfo: memFree=124836768/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=750336 CPUtime=2852.56 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 136707 0 0 0 284577 679 0 0 20 0 1 0 195332556 1038028800 187584 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 187584 4308 3002 0 237174 0
Current children cumulated CPU time: 2852.56 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 750336 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1040435
/proc/meminfo: memFree=124800428/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=752384 CPUtime=2912.35 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 136855 0 0 0 290546 689 0 0 20 0 1 0 195332556 1038028800 188096 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 188096 4308 3002 0 237174 0
Current children cumulated CPU time: 2912.35 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 752384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1040445
/proc/meminfo: memFree=124787832/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=754432 CPUtime=2972.14 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 136983 0 0 0 296514 700 0 0 20 0 1 0 195332556 1038028800 188608 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 188608 4308 3002 0 237174 0
Current children cumulated CPU time: 2972.14 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 754432 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 1040458
/proc/meminfo: memFree=124780884/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=754432 CPUtime=3031.94 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 137120 0 0 0 302484 710 0 0 20 0 1 0 195332556 1038028800 188608 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 188608 4308 3002 0 237174 0
Current children cumulated CPU time: 3031.94 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 754432 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1040468
/proc/meminfo: memFree=124771904/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=756480 CPUtime=3091.72 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 137245 0 0 0 308452 720 0 0 20 0 1 0 195332556 1038028800 189120 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 189120 4308 3002 0 237174 0
Current children cumulated CPU time: 3091.72 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 756480 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 1040478
/proc/meminfo: memFree=124764928/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=760576 CPUtime=3151.52 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 137387 0 0 0 314423 729 0 0 20 0 1 0 195332556 1038028800 190144 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 190144 4308 3002 0 237174 0
Current children cumulated CPU time: 3151.52 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 760576 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1040494
/proc/meminfo: memFree=124759576/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=760576 CPUtime=3211.31 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 137544 0 0 0 320391 740 0 0 20 0 1 0 195332556 1038028800 190144 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 190144 4308 3002 0 237174 0
Current children cumulated CPU time: 3211.31 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 760576 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 1040504
/proc/meminfo: memFree=124755400/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=760576 CPUtime=3271.11 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 137683 0 0 0 326362 749 0 0 20 0 1 0 195332556 1038028800 190144 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 190144 4308 3002 0 237174 0
Current children cumulated CPU time: 3271.11 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 760576 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1040515
/proc/meminfo: memFree=124748488/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=764672 CPUtime=3330.89 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 137819 0 0 0 332333 756 0 0 20 0 1 0 195332556 1038028800 191168 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 191168 4308 3002 0 237174 0
Current children cumulated CPU time: 3330.89 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 764672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/257 1040526
/proc/meminfo: memFree=124745748/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=766720 CPUtime=3390.68 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 137960 0 0 0 338304 764 0 0 20 0 1 0 195332556 1038028800 191680 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 191680 4308 3002 0 237174 0
Current children cumulated CPU time: 3390.68 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 766720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1040537
/proc/meminfo: memFree=124735292/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=768768 CPUtime=3450.47 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 138114 0 0 0 344274 773 0 0 20 0 1 0 195332556 1038028800 192192 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 192192 4308 3002 0 237174 0
Current children cumulated CPU time: 3450.47 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 768768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1040931
/proc/meminfo: memFree=124733632/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=768768 CPUtime=3510.26 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 138259 0 0 0 350245 781 0 0 20 0 1 0 195332556 1038028800 192192 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 192192 4308 3002 0 237174 0
Current children cumulated CPU time: 3510.26 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 768768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1040941
/proc/meminfo: memFree=124730104/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=768768 CPUtime=3570.05 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 138393 0 0 0 356214 791 0 0 20 0 1 0 195332556 1038028800 192192 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 192192 4308 3002 0 237174 0
Current children cumulated CPU time: 3570.05 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 768768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1040948
/proc/meminfo: memFree=124719536/131524600 swapFree=131071996/131071996
[pid=1038913] ppid=1038910 vsize=1013700 memory=774912 CPUtime=3600.04 cores=0,2
/proc/1038913/stat : 1038913 (mixed-bag) R 1038910 1038913 1034130 0 -1 4194304 138443 0 0 0 359208 796 0 0 20 0 1 0 195332556 1038028800 193728 134679101440 4194304 16488053 140723947327424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 52973568 140723947332629 140723947332706 140723947332706 140723947339723 0
/proc/1038913/statm: 253425 193728 4308 3002 0 237174 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1013700 KiB
Current children cumulated memory: 774912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.41 s]
# the end of solver process 1038913 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.09 s, system=7.97236 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.41
CPU time (s): 3600.06
CPU user time (s): 3592.09
CPU system time (s): 7.97236
CPU usage (%): 99.6582
Max. virtual memory (cumulated for all children) (KiB): 1141436
Max. memory (cumulated for all children) (KiB): 774912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.09
system time used= 7.97236
maximum resident set size= 775448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138478
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= 84
involuntary context switches= 25203
# summary of solver processes directly reported to runsolver:
# pid: 1038913
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.09
# total CPU system time (s): 7.97236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52653 second user time and 16.4676 second system time
The end
Begin job on nodeC032 at 2024-07-20 01:27:29
IDJOB=4454779
IDBENCH=146680
IDSOLVER=3083
FILE ID=nodeC032/4454779-1721431636
RUNJOBID= nodeC032-1721425494-1034140
SLURM_JOB_ID= 7545615
Free space on /tmp= 890028 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454779-1721431636/watcher-4454779-1721431636 -o /tmp/evaluation-result-4454779-1721431636/solver-4454779-1721431636 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034140 --watchdog 3760 mixed-bag HOME/instance-4454779-1721431636.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071
RANDOM SEED=70152401
nodeC032.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 : 3662.700
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.33
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 : 3686.828
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.03
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 : 3633.200
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.976
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.03
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 : 3656.902
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.33
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 : 3686.915
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.03
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 : 3600.829
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.765
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124635788 kB
MemAvailable: 127266328 kB
Buffers: 548572 kB
Cached: 2903632 kB
SwapCached: 0 kB
Active: 1038892 kB
Inactive: 5180188 kB
Active(anon): 1580 kB
Inactive(anon): 2810876 kB
Active(file): 1037312 kB
Inactive(file): 2369312 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17760 kB
Writeback: 0 kB
AnonPages: 2766560 kB
Mapped: 142436 kB
Shmem: 45912 kB
KReclaimable: 127480 kB
Slab: 244076 kB
SReclaimable: 127480 kB
SUnreclaim: 116596 kB
KernelStack: 4140 kB
PageTables: 15556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4154788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 671744 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC032 at 2024-07-20 02:27:41