0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.19/0.28 c [STEP] solving
0.19/0.28 c #variables 1400 #constraints 109379
0.19/0.28 c SMALL=int, LARGE=long long
0.19/0.28 c bounds - >= -1400 @ 0.188789
0.19/0.28 c stratification level: 0
0.29/0.36 c bounds - >= -234 @ 0.246508
0.29/0.36 c bounds - >= -233 @ 0.246508
0.29/0.36 c bounds - >= -232 @ 0.246508
0.29/0.36 c bounds - >= -231 @ 0.246508
0.29/0.36 c bounds - >= -230 @ 0.24689
0.29/0.36 c bounds - >= -229 @ 0.247493
0.29/0.36 c bounds - >= -228 @ 0.247505
0.29/0.36 c bounds - >= -227 @ 0.247505
0.29/0.36 c bounds - >= -226 @ 0.247505
0.29/0.36 c bounds - >= -225 @ 0.247977
0.29/0.36 c bounds - >= -224 @ 0.248648
0.29/0.36 c bounds - >= -223 @ 0.2495
0.29/0.36 c bounds - >= -222 @ 0.249681
0.29/0.36 c bounds - >= -221 @ 0.250497
0.29/0.36 c bounds - >= -220 @ 0.250834
0.29/0.36 c bounds - >= -219 @ 0.251651
0.29/0.36 c bounds - >= -218 @ 0.252307
0.29/0.36 c bounds - >= -217 @ 0.252494
0.29/0.36 c bounds - >= -216 @ 0.252494
0.29/0.36 c bounds - >= -215 @ 0.253383
0.29/0.36 c bounds - >= -214 @ 0.253492
0.29/0.36 c bounds - >= -213 @ 0.256023
0.29/0.36 c finalizing WCE round: reformulating cores
14.84/14.92 c bounds -24 >= -234 @ 0.264359
14.84/14.92 c #Conflicts: 1000 | #Constraints: 110646
14.84/14.92 c bounds -30 >= -230 @ 0.396586
14.84/14.92 c bounds -30 >= -230 @ 0.426805
14.84/14.92 c #Conflicts: 2000 | #Constraints: 111653
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c bounds -33 >= -225 @ 0.548536
14.84/14.92 c #Conflicts: 3000 | #Constraints: 111407
14.84/14.92 c bounds -33 >= -223 @ 0.829273
14.84/14.92 c bounds -33 >= -223 @ 0.839543
14.84/14.92 c #Conflicts: 4000 | #Constraints: 112413
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c bounds -35 >= -219 @ 1.17081
14.84/14.92 c #Conflicts: 5000 | #Constraints: 111844
14.84/14.92 c #Conflicts: 6000 | #Constraints: 112846
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c #Conflicts: 7000 | #Constraints: 111934
14.84/14.92 c bounds -35 >= -215 @ 2.21057
14.84/14.92 c #Conflicts: 8000 | #Constraints: 112938
14.84/14.92 c #Conflicts: 9000 | #Constraints: 113942
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c #Conflicts: 10000 | #Constraints: 112690
14.84/14.92 c bounds -37 >= -209 @ 3.4465
14.84/14.92 c bounds -37 >= -209 @ 3.44946
14.84/14.92 c #Conflicts: 11000 | #Constraints: 113699
14.84/14.92 c #Conflicts: 12000 | #Constraints: 114703
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c #Conflicts: 13000 | #Constraints: 113167
14.84/14.92 c bounds -37 >= -203 @ 4.97232
14.84/14.92 c #Conflicts: 14000 | #Constraints: 114171
14.84/14.92 c bounds -37 >= -202 @ 5.33103
14.84/14.92 c bounds -37 >= -201 @ 5.33477
14.84/14.92 c bounds -37 >= -200 @ 5.34412
14.84/14.92 c bounds -37 >= -199 @ 5.37847
14.84/14.92 c #Conflicts: 15000 | #Constraints: 115225
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c bounds -37 >= -198 @ 5.47213
14.84/14.92 c bounds -37 >= -197 @ 5.48416
14.84/14.92 c bounds -37 >= -196 @ 5.50091
14.84/14.92 c #Conflicts: 16000 | #Constraints: 113549
14.84/14.92 c #Conflicts: 17000 | #Constraints: 114549
14.84/14.92 c bounds -37 >= -195 @ 5.62348
14.84/14.92 c #Conflicts: 18000 | #Constraints: 115565
14.84/14.92 c bounds -37 >= -194 @ 5.67914
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c #Conflicts: 19000 | #Constraints: 113584
14.84/14.92 c #Conflicts: 20000 | #Constraints: 114584
14.84/14.92 c #Conflicts: 21000 | #Constraints: 115584
14.84/14.92 c INPROCESSING
14.84/14.92 c #Conflicts: 22000 | #Constraints: 113403
14.84/14.92 c bounds -37 >= -193 @ 6.11597
14.84/14.92 c #Conflicts: 23000 | #Constraints: 114440
14.84/14.92 c #Conflicts: 24000 | #Constraints: 115440
14.84/14.92 c #Conflicts: 25000 | #Constraints: 116440
14.84/14.92 c INPROCESSING
14.84/14.92 c #Conflicts: 26000 | #Constraints: 114038
14.84/14.92 c bounds -37 >= -192 @ 6.52591
14.84/14.92 c #Conflicts: 27000 | #Constraints: 115066
14.84/14.92 c #Conflicts: 28000 | #Constraints: 116066
14.84/14.92 c #Conflicts: 29000 | #Constraints: 117066
14.84/14.92 c #Conflicts: 30000 | #Constraints: 118066
14.84/14.92 c #Conflicts: 31000 | #Constraints: 119066
14.84/14.92 c #Conflicts: 32000 | #Constraints: 120066
14.84/14.92 c #Conflicts: 33000 | #Constraints: 121066
14.84/14.92 c #Conflicts: 34000 | #Constraints: 122066
14.84/14.92 c #Conflicts: 35000 | #Constraints: 123066
14.84/14.92 c #Conflicts: 36000 | #Constraints: 124066
14.84/14.92 c #Conflicts: 37000 | #Constraints: 125066
14.84/14.92 c #Conflicts: 38000 | #Constraints: 126066
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c #Conflicts: 39000 | #Constraints: 118959
14.84/14.92 c #Conflicts: 40000 | #Constraints: 119959
14.84/14.92 c #Conflicts: 41000 | #Constraints: 120959
14.84/14.92 c #Conflicts: 42000 | #Constraints: 121959
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c #Conflicts: 43000 | #Constraints: 116468
14.84/14.92 c #Conflicts: 44000 | #Constraints: 117468
14.84/14.92 c #Conflicts: 45000 | #Constraints: 118468
14.84/14.92 c #Conflicts: 46000 | #Constraints: 119468
14.84/14.92 c #Conflicts: 47000 | #Constraints: 120468
14.84/14.92 c #Conflicts: 48000 | #Constraints: 121468
14.84/14.92 c INPROCESSING
14.84/14.92 c GARBAGE COLLECT
14.84/14.92 c #Conflicts: 49000 | #Constraints: 116670
14.84/14.92 c #Conflicts: 50000 | #Constraints: 117670
14.84/14.92 c #Conflicts: 51000 | #Constraints: 118670
14.84/14.92 c #Conflicts: 52000 | #Constraints: 119670
14.84/14.92 c #Conflicts: 53000 | #Constraints: 120670
14.84/14.92 c #Conflicts: 54000 | #Constraints: 121670
14.84/14.92 c #Conflicts: 55000 | #Constraints: 122670
14.84/14.92 c #Conflicts: 56000 | #Constraints: 123670
14.84/14.92 c #Conflicts: 57000 | #Constraints: 124670
14.84/14.92 c #Conflicts: 58000 | #Constraints: 125670
14.84/14.92 c #Conflicts: 59000 | #Constraints: 126670
48.65/48.87 c #Conflicts: 60000 | #Constraints: 127670
48.65/48.87 c #Conflicts: 61000 | #Constraints: 128670
48.65/48.87 c #Conflicts: 62000 | #Constraints: 129670
48.65/48.87 c bounds -37 >= -191 @ 16.2854
48.65/48.87 c #Conflicts: 63000 | #Constraints: 130722
48.65/48.87 c #Conflicts: 64000 | #Constraints: 131722
48.65/48.87 c #Conflicts: 65000 | #Constraints: 132722
48.65/48.87 c INPROCESSING
48.65/48.87 c GARBAGE COLLECT
48.65/48.87 c #Conflicts: 66000 | #Constraints: 122311
48.65/48.87 c #Conflicts: 67000 | #Constraints: 123311
48.65/48.87 c #Conflicts: 68000 | #Constraints: 124311
48.65/48.87 c #Conflicts: 69000 | #Constraints: 125311
48.65/48.87 c #Conflicts: 70000 | #Constraints: 126311
48.65/48.87 c #Conflicts: 71000 | #Constraints: 127311
48.65/48.87 c INPROCESSING
48.65/48.87 c GARBAGE COLLECT
48.65/48.87 c #Conflicts: 72000 | #Constraints: 119425
48.65/48.87 c #Conflicts: 73000 | #Constraints: 120425
48.65/48.87 c #Conflicts: 74000 | #Constraints: 121425
48.65/48.87 c #Conflicts: 75000 | #Constraints: 122425
48.65/48.87 c #Conflicts: 76000 | #Constraints: 123425
48.65/48.87 c #Conflicts: 77000 | #Constraints: 124425
48.65/48.87 c #Conflicts: 78000 | #Constraints: 125425
48.65/48.87 c INPROCESSING
48.65/48.87 c GARBAGE COLLECT
48.65/48.87 c #Conflicts: 79000 | #Constraints: 118683
48.65/48.87 c #Conflicts: 80000 | #Constraints: 119683
48.65/48.87 c #Conflicts: 81000 | #Constraints: 120683
48.65/48.87 c #Conflicts: 82000 | #Constraints: 121683
48.65/48.87 c #Conflicts: 83000 | #Constraints: 122683
48.65/48.87 c #Conflicts: 84000 | #Constraints: 123683
48.65/48.87 c #Conflicts: 85000 | #Constraints: 124683
48.65/48.87 c #Conflicts: 86000 | #Constraints: 125683
48.65/48.87 c #Conflicts: 87000 | #Constraints: 126683
48.65/48.87 c #Conflicts: 88000 | #Constraints: 127683
48.65/48.87 c #Conflicts: 89000 | #Constraints: 128683
48.65/48.87 c #Conflicts: 90000 | #Constraints: 129683
48.65/48.87 c #Conflicts: 91000 | #Constraints: 130683
48.65/48.87 c #Conflicts: 92000 | #Constraints: 131683
48.65/48.87 c #Conflicts: 93000 | #Constraints: 132683
48.65/48.87 c #Conflicts: 94000 | #Constraints: 133683
48.65/48.87 c #Conflicts: 95000 | #Constraints: 134683
48.65/48.87 c #Conflicts: 96000 | #Constraints: 135683
48.65/48.87 c #Conflicts: 97000 | #Constraints: 136683
48.65/48.87 c #Conflicts: 98000 | #Constraints: 137683
48.65/48.87 c #Conflicts: 99000 | #Constraints: 138683
48.65/48.87 c INPROCESSING
48.65/48.87 c GARBAGE COLLECT
48.65/48.87 c #Conflicts: 100000 | #Constraints: 125198
48.65/48.87 c #Conflicts: 101000 | #Constraints: 126198
48.65/48.87 c #Conflicts: 102000 | #Constraints: 127198
48.65/48.87 c #Conflicts: 103000 | #Constraints: 128198
48.65/48.87 c #Conflicts: 104000 | #Constraints: 129198
48.65/48.87 c #Conflicts: 105000 | #Constraints: 130198
48.65/48.87 c #Conflicts: 106000 | #Constraints: 131198
48.65/48.87 c #Conflicts: 107000 | #Constraints: 132198
48.65/48.87 c INPROCESSING
48.65/48.87 c GARBAGE COLLECT
48.65/48.87 c #Conflicts: 108000 | #Constraints: 122017
48.65/48.87 c #Conflicts: 109000 | #Constraints: 123017
48.65/48.87 c #Conflicts: 110000 | #Constraints: 124017
48.65/48.87 c #Conflicts: 111000 | #Constraints: 125017
48.65/48.87 c #Conflicts: 112000 | #Constraints: 126017
48.65/48.87 c #Conflicts: 113000 | #Constraints: 127017
48.65/48.87 c #Conflicts: 114000 | #Constraints: 128017
48.65/48.87 c #Conflicts: 115000 | #Constraints: 129017
48.65/48.87 c INPROCESSING
48.65/48.87 c GARBAGE COLLECT
48.65/48.87 c #Conflicts: 116000 | #Constraints: 120400
48.65/48.87 c #Conflicts: 117000 | #Constraints: 121400
48.65/48.87 c #Conflicts: 118000 | #Constraints: 122400
48.65/48.87 c #Conflicts: 119000 | #Constraints: 123400
48.65/48.87 c #Conflicts: 120000 | #Constraints: 124400
48.65/48.87 c #Conflicts: 121000 | #Constraints: 125400
48.65/48.87 c #Conflicts: 122000 | #Constraints: 126400
48.65/48.87 c #Conflicts: 123000 | #Constraints: 127400
48.65/48.87 c #Conflicts: 124000 | #Constraints: 128400
48.65/48.87 c #Conflicts: 125000 | #Constraints: 129400
48.65/48.87 c #Conflicts: 126000 | #Constraints: 130400
48.65/48.87 c #Conflicts: 127000 | #Constraints: 131400
48.65/48.87 c #Conflicts: 128000 | #Constraints: 132400
48.65/48.87 c #Conflicts: 129000 | #Constraints: 133400
48.65/48.87 c #Conflicts: 130000 | #Constraints: 134400
48.65/48.87 c #Conflicts: 131000 | #Constraints: 135400
48.65/48.87 c #Conflicts: 132000 | #Constraints: 136400
48.65/48.87 c #Conflicts: 133000 | #Constraints: 137400
105.29/105.66 c #Conflicts: 134000 | #Constraints: 138400
105.29/105.66 c #Conflicts: 135000 | #Constraints: 139400
105.29/105.66 c #Conflicts: 136000 | #Constraints: 140400
105.29/105.66 c #Conflicts: 137000 | #Constraints: 141400
105.29/105.66 c #Conflicts: 138000 | #Constraints: 142400
105.29/105.66 c #Conflicts: 139000 | #Constraints: 143400
105.29/105.66 c #Conflicts: 140000 | #Constraints: 144400
105.29/105.66 c INPROCESSING
105.29/105.66 c GARBAGE COLLECT
105.29/105.66 c #Conflicts: 141000 | #Constraints: 127899
105.29/105.66 c #Conflicts: 142000 | #Constraints: 128899
105.29/105.66 c #Conflicts: 143000 | #Constraints: 129899
105.29/105.66 c #Conflicts: 144000 | #Constraints: 130899
105.29/105.66 c #Conflicts: 145000 | #Constraints: 131899
105.29/105.66 c #Conflicts: 146000 | #Constraints: 132899
105.29/105.66 c #Conflicts: 147000 | #Constraints: 133899
105.29/105.66 c #Conflicts: 148000 | #Constraints: 134899
105.29/105.66 c #Conflicts: 149000 | #Constraints: 135899
105.29/105.66 c #Conflicts: 150000 | #Constraints: 136899
105.29/105.66 c INPROCESSING
105.29/105.66 c GARBAGE COLLECT
105.29/105.66 c #Conflicts: 151000 | #Constraints: 124426
105.29/105.66 c #Conflicts: 152000 | #Constraints: 125426
105.29/105.66 c #Conflicts: 153000 | #Constraints: 126426
105.29/105.66 c #Conflicts: 154000 | #Constraints: 127426
105.29/105.66 c #Conflicts: 155000 | #Constraints: 128426
105.29/105.66 c #Conflicts: 156000 | #Constraints: 129426
105.29/105.66 c #Conflicts: 157000 | #Constraints: 130426
105.29/105.66 c #Conflicts: 158000 | #Constraints: 131426
105.29/105.66 c #Conflicts: 159000 | #Constraints: 132426
105.29/105.66 c INPROCESSING
105.29/105.66 c GARBAGE COLLECT
105.29/105.66 c #Conflicts: 160000 | #Constraints: 121904
105.29/105.66 c #Conflicts: 161000 | #Constraints: 122904
105.29/105.66 c #Conflicts: 162000 | #Constraints: 123904
105.29/105.66 c #Conflicts: 163000 | #Constraints: 124904
105.29/105.66 c #Conflicts: 164000 | #Constraints: 125904
105.29/105.66 c #Conflicts: 165000 | #Constraints: 126904
105.29/105.66 c #Conflicts: 166000 | #Constraints: 127904
105.29/105.66 c #Conflicts: 167000 | #Constraints: 128904
105.29/105.66 c #Conflicts: 168000 | #Constraints: 129904
105.29/105.66 c #Conflicts: 169000 | #Constraints: 130904
105.29/105.66 c #Conflicts: 170000 | #Constraints: 131904
105.29/105.66 c #Conflicts: 171000 | #Constraints: 132904
105.29/105.66 c #Conflicts: 172000 | #Constraints: 133904
105.29/105.66 c #Conflicts: 173000 | #Constraints: 134904
105.29/105.66 c #Conflicts: 174000 | #Constraints: 135904
105.29/105.66 c #Conflicts: 175000 | #Constraints: 136904
105.29/105.66 c #Conflicts: 176000 | #Constraints: 137904
105.29/105.66 c #Conflicts: 177000 | #Constraints: 138904
105.29/105.66 c #Conflicts: 178000 | #Constraints: 139904
105.29/105.66 c #Conflicts: 179000 | #Constraints: 140904
105.29/105.66 c #Conflicts: 180000 | #Constraints: 141904
105.29/105.66 c #Conflicts: 181000 | #Constraints: 142904
105.29/105.66 c #Conflicts: 182000 | #Constraints: 143904
105.29/105.66 c #Conflicts: 183000 | #Constraints: 144904
105.29/105.66 c #Conflicts: 184000 | #Constraints: 145904
105.29/105.66 c #Conflicts: 185000 | #Constraints: 146904
105.29/105.66 c #Conflicts: 186000 | #Constraints: 147904
105.29/105.66 c #Conflicts: 187000 | #Constraints: 148904
105.29/105.66 c #Conflicts: 188000 | #Constraints: 149904
105.29/105.66 c #Conflicts: 189000 | #Constraints: 150904
105.29/105.66 c INPROCESSING
105.29/105.66 c GARBAGE COLLECT
105.29/105.66 c #Conflicts: 190000 | #Constraints: 131313
105.29/105.66 c #Conflicts: 191000 | #Constraints: 132313
105.29/105.66 c #Conflicts: 192000 | #Constraints: 133313
105.29/105.66 c #Conflicts: 193000 | #Constraints: 134313
105.29/105.66 c #Conflicts: 194000 | #Constraints: 135313
105.29/105.66 c #Conflicts: 195000 | #Constraints: 136313
105.29/105.66 c #Conflicts: 196000 | #Constraints: 137313
105.29/105.66 c #Conflicts: 197000 | #Constraints: 138313
105.29/105.66 c #Conflicts: 198000 | #Constraints: 139313
105.29/105.66 c #Conflicts: 199000 | #Constraints: 140313
105.29/105.66 c #Conflicts: 200000 | #Constraints: 141313
105.29/105.66 c INPROCESSING
105.29/105.66 c GARBAGE COLLECT
105.29/105.66 c #Conflicts: 201000 | #Constraints: 126592
105.29/105.66 c #Conflicts: 202000 | #Constraints: 127592
105.29/105.66 c #Conflicts: 203000 | #Constraints: 128592
105.29/105.66 c #Conflicts: 204000 | #Constraints: 129592
105.29/105.66 c #Conflicts: 205000 | #Constraints: 130592
105.29/105.66 c #Conflicts: 206000 | #Constraints: 131592
105.29/105.66 c #Conflicts: 207000 | #Constraints: 132592
105.29/105.66 c #Conflicts: 208000 | #Constraints: 133592
105.29/105.66 c #Conflicts: 209000 | #Constraints: 134592
164.02/164.54 c #Conflicts: 210000 | #Constraints: 135592
164.02/164.54 c #Conflicts: 211000 | #Constraints: 136592
164.02/164.54 c INPROCESSING
164.02/164.54 c GARBAGE COLLECT
164.02/164.54 c #Conflicts: 212000 | #Constraints: 124186
164.02/164.54 c #Conflicts: 213000 | #Constraints: 125186
164.02/164.54 c #Conflicts: 214000 | #Constraints: 126186
164.02/164.54 c #Conflicts: 215000 | #Constraints: 127186
164.02/164.54 c #Conflicts: 216000 | #Constraints: 128186
164.02/164.54 c #Conflicts: 217000 | #Constraints: 129186
164.02/164.54 c #Conflicts: 218000 | #Constraints: 130186
164.02/164.54 c #Conflicts: 219000 | #Constraints: 131186
164.02/164.54 c #Conflicts: 220000 | #Constraints: 132186
164.02/164.54 c #Conflicts: 221000 | #Constraints: 133186
164.02/164.54 c #Conflicts: 222000 | #Constraints: 134186
164.02/164.54 c #Conflicts: 223000 | #Constraints: 135186
164.02/164.54 c #Conflicts: 224000 | #Constraints: 136186
164.02/164.54 c #Conflicts: 225000 | #Constraints: 137186
164.02/164.54 c #Conflicts: 226000 | #Constraints: 138186
164.02/164.54 c #Conflicts: 227000 | #Constraints: 139186
164.02/164.54 c #Conflicts: 228000 | #Constraints: 140186
164.02/164.54 c #Conflicts: 229000 | #Constraints: 141186
164.02/164.54 c #Conflicts: 230000 | #Constraints: 142186
164.02/164.54 c #Conflicts: 231000 | #Constraints: 143186
164.02/164.54 c #Conflicts: 232000 | #Constraints: 144186
164.02/164.54 c #Conflicts: 233000 | #Constraints: 145186
164.02/164.54 c #Conflicts: 234000 | #Constraints: 146186
164.02/164.54 c #Conflicts: 235000 | #Constraints: 147186
164.02/164.54 c #Conflicts: 236000 | #Constraints: 148186
164.02/164.54 c #Conflicts: 237000 | #Constraints: 149186
164.02/164.54 c #Conflicts: 238000 | #Constraints: 150186
164.02/164.54 c #Conflicts: 239000 | #Constraints: 151186
164.02/164.54 c #Conflicts: 240000 | #Constraints: 152186
164.02/164.54 c #Conflicts: 241000 | #Constraints: 153186
164.02/164.54 c #Conflicts: 242000 | #Constraints: 154186
164.02/164.54 c #Conflicts: 243000 | #Constraints: 155186
164.02/164.54 c #Conflicts: 244000 | #Constraints: 156186
164.02/164.54 c #Conflicts: 245000 | #Constraints: 157186
164.02/164.54 c INPROCESSING
164.02/164.54 c GARBAGE COLLECT
164.02/164.54 c #Conflicts: 246000 | #Constraints: 134601
164.02/164.54 c #Conflicts: 247000 | #Constraints: 135601
164.02/164.54 c #Conflicts: 248000 | #Constraints: 136601
164.02/164.54 c #Conflicts: 249000 | #Constraints: 137601
164.02/164.54 c #Conflicts: 250000 | #Constraints: 138601
164.02/164.54 c #Conflicts: 251000 | #Constraints: 139601
164.02/164.54 c #Conflicts: 252000 | #Constraints: 140601
164.02/164.54 c #Conflicts: 253000 | #Constraints: 141601
164.02/164.54 c #Conflicts: 254000 | #Constraints: 142601
164.02/164.54 c #Conflicts: 255000 | #Constraints: 143601
164.02/164.54 c #Conflicts: 256000 | #Constraints: 144601
164.02/164.54 c #Conflicts: 257000 | #Constraints: 145601
164.02/164.54 c INPROCESSING
164.02/164.54 c GARBAGE COLLECT
164.02/164.54 c #Conflicts: 258000 | #Constraints: 128618
164.02/164.54 c #Conflicts: 259000 | #Constraints: 129618
164.02/164.54 c #Conflicts: 260000 | #Constraints: 130618
164.02/164.54 c #Conflicts: 261000 | #Constraints: 131618
164.02/164.54 c #Conflicts: 262000 | #Constraints: 132618
164.02/164.54 c #Conflicts: 263000 | #Constraints: 133618
164.02/164.54 c #Conflicts: 264000 | #Constraints: 134618
164.02/164.54 c #Conflicts: 265000 | #Constraints: 135618
164.02/164.54 c #Conflicts: 266000 | #Constraints: 136618
164.02/164.54 c #Conflicts: 267000 | #Constraints: 137618
164.02/164.54 c #Conflicts: 268000 | #Constraints: 138618
164.02/164.54 c #Conflicts: 269000 | #Constraints: 139618
164.02/164.54 c #Conflicts: 270000 | #Constraints: 140618
164.02/164.54 c INPROCESSING
164.02/164.54 c GARBAGE COLLECT
164.02/164.54 c #Conflicts: 271000 | #Constraints: 126305
164.02/164.54 c #Conflicts: 272000 | #Constraints: 127305
164.02/164.54 c #Conflicts: 273000 | #Constraints: 128305
164.02/164.54 c #Conflicts: 274000 | #Constraints: 129305
164.02/164.54 c #Conflicts: 275000 | #Constraints: 130305
164.02/164.54 c #Conflicts: 276000 | #Constraints: 131305
164.02/164.54 c #Conflicts: 277000 | #Constraints: 132305
164.02/164.54 c #Conflicts: 278000 | #Constraints: 133305
164.02/164.54 c #Conflicts: 279000 | #Constraints: 134305
164.02/164.54 c #Conflicts: 280000 | #Constraints: 135305
164.02/164.54 c #Conflicts: 281000 | #Constraints: 136305
164.02/164.54 c #Conflicts: 282000 | #Constraints: 137305
164.02/164.54 c #Conflicts: 283000 | #Constraints: 138305
164.02/164.54 c #Conflicts: 284000 | #Constraints: 139305
164.02/164.54 c #Conflicts: 285000 | #Constraints: 140305
239.33/240.08 c #Conflicts: 286000 | #Constraints: 141305
239.33/240.08 c #Conflicts: 287000 | #Constraints: 142305
239.33/240.08 c #Conflicts: 288000 | #Constraints: 143305
239.33/240.08 c #Conflicts: 289000 | #Constraints: 144305
239.33/240.08 c #Conflicts: 290000 | #Constraints: 145305
239.33/240.08 c #Conflicts: 291000 | #Constraints: 146305
239.33/240.08 c #Conflicts: 292000 | #Constraints: 147305
239.33/240.08 c #Conflicts: 293000 | #Constraints: 148305
239.33/240.08 c #Conflicts: 294000 | #Constraints: 149305
239.33/240.08 c #Conflicts: 295000 | #Constraints: 150305
239.33/240.08 c #Conflicts: 296000 | #Constraints: 151305
239.33/240.08 c #Conflicts: 297000 | #Constraints: 152305
239.33/240.08 c #Conflicts: 298000 | #Constraints: 153305
239.33/240.08 c #Conflicts: 299000 | #Constraints: 154305
239.33/240.08 c #Conflicts: 300000 | #Constraints: 155305
239.33/240.08 c #Conflicts: 301000 | #Constraints: 156305
239.33/240.08 c #Conflicts: 302000 | #Constraints: 157305
239.33/240.08 c #Conflicts: 303000 | #Constraints: 158305
239.33/240.08 c #Conflicts: 304000 | #Constraints: 159305
239.33/240.08 c #Conflicts: 305000 | #Constraints: 160305
239.33/240.08 c #Conflicts: 306000 | #Constraints: 161305
239.33/240.08 c #Conflicts: 307000 | #Constraints: 162305
239.33/240.08 c #Conflicts: 308000 | #Constraints: 163305
239.33/240.08 c INPROCESSING
239.33/240.08 c GARBAGE COLLECT
239.33/240.08 c #Conflicts: 309000 | #Constraints: 137663
239.33/240.08 c #Conflicts: 310000 | #Constraints: 138663
239.33/240.08 c #Conflicts: 311000 | #Constraints: 139663
239.33/240.08 c #Conflicts: 312000 | #Constraints: 140663
239.33/240.08 c #Conflicts: 313000 | #Constraints: 141663
239.33/240.08 c #Conflicts: 314000 | #Constraints: 142663
239.33/240.08 c #Conflicts: 315000 | #Constraints: 143663
239.33/240.08 c #Conflicts: 316000 | #Constraints: 144663
239.33/240.08 c #Conflicts: 317000 | #Constraints: 145663
239.33/240.08 c #Conflicts: 318000 | #Constraints: 146663
239.33/240.08 c #Conflicts: 319000 | #Constraints: 147663
239.33/240.08 c #Conflicts: 320000 | #Constraints: 148663
239.33/240.08 c #Conflicts: 321000 | #Constraints: 149663
239.33/240.08 c INPROCESSING
239.33/240.08 c GARBAGE COLLECT
239.33/240.08 c #Conflicts: 322000 | #Constraints: 130388
239.33/240.08 c #Conflicts: 323000 | #Constraints: 131388
239.33/240.08 c #Conflicts: 324000 | #Constraints: 132388
239.33/240.08 c #Conflicts: 325000 | #Constraints: 133388
239.33/240.08 c #Conflicts: 326000 | #Constraints: 134388
239.33/240.08 c #Conflicts: 327000 | #Constraints: 135388
239.33/240.08 c #Conflicts: 328000 | #Constraints: 136388
239.33/240.08 c #Conflicts: 329000 | #Constraints: 137388
239.33/240.08 c #Conflicts: 330000 | #Constraints: 138388
239.33/240.08 c #Conflicts: 331000 | #Constraints: 139388
239.33/240.08 c #Conflicts: 332000 | #Constraints: 140388
239.33/240.08 c #Conflicts: 333000 | #Constraints: 141388
239.33/240.08 c #Conflicts: 334000 | #Constraints: 142388
239.33/240.08 c #Conflicts: 335000 | #Constraints: 143388
239.33/240.08 c #Conflicts: 336000 | #Constraints: 144388
239.33/240.08 c INPROCESSING
239.33/240.08 c GARBAGE COLLECT
239.33/240.08 c #Conflicts: 337000 | #Constraints: 128182
239.33/240.08 c #Conflicts: 338000 | #Constraints: 129182
239.33/240.08 c #Conflicts: 339000 | #Constraints: 130182
239.33/240.08 c #Conflicts: 340000 | #Constraints: 131182
239.33/240.08 c #Conflicts: 341000 | #Constraints: 132182
239.33/240.08 c #Conflicts: 342000 | #Constraints: 133182
239.33/240.08 c #Conflicts: 343000 | #Constraints: 134182
239.33/240.08 c #Conflicts: 344000 | #Constraints: 135182
239.33/240.08 c #Conflicts: 345000 | #Constraints: 136182
239.33/240.08 c #Conflicts: 346000 | #Constraints: 137182
239.33/240.08 c #Conflicts: 347000 | #Constraints: 138182
239.33/240.08 c #Conflicts: 348000 | #Constraints: 139182
239.33/240.08 c #Conflicts: 349000 | #Constraints: 140182
239.33/240.08 c #Conflicts: 350000 | #Constraints: 141182
239.33/240.08 c #Conflicts: 351000 | #Constraints: 142182
239.33/240.08 c #Conflicts: 352000 | #Constraints: 143182
239.33/240.08 c #Conflicts: 353000 | #Constraints: 144182
239.33/240.08 c #Conflicts: 354000 | #Constraints: 145182
239.33/240.08 c #Conflicts: 355000 | #Constraints: 146182
239.33/240.08 c #Conflicts: 356000 | #Constraints: 147182
239.33/240.08 c #Conflicts: 357000 | #Constraints: 148182
239.33/240.08 c #Conflicts: 358000 | #Constraints: 149182
239.33/240.08 c #Conflicts: 359000 | #Constraints: 150182
239.33/240.08 c #Conflicts: 360000 | #Constraints: 151182
239.33/240.08 c #Conflicts: 361000 | #Constraints: 152182
239.33/240.08 c #Conflicts: 362000 | #Constraints: 153182
326.61/327.51 c #Conflicts: 363000 | #Constraints: 154182
326.61/327.51 c #Conflicts: 364000 | #Constraints: 155182
326.61/327.51 c #Conflicts: 365000 | #Constraints: 156182
326.61/327.51 c #Conflicts: 366000 | #Constraints: 157182
326.61/327.51 c #Conflicts: 367000 | #Constraints: 158182
326.61/327.51 c #Conflicts: 368000 | #Constraints: 159182
326.61/327.51 c #Conflicts: 369000 | #Constraints: 160182
326.61/327.51 c #Conflicts: 370000 | #Constraints: 161182
326.61/327.51 c #Conflicts: 371000 | #Constraints: 162182
326.61/327.51 c #Conflicts: 372000 | #Constraints: 163182
326.61/327.51 c #Conflicts: 373000 | #Constraints: 164182
326.61/327.51 c #Conflicts: 374000 | #Constraints: 165182
326.61/327.51 c #Conflicts: 375000 | #Constraints: 166182
326.61/327.51 c #Conflicts: 376000 | #Constraints: 167182
326.61/327.51 c #Conflicts: 377000 | #Constraints: 168182
326.61/327.51 c #Conflicts: 378000 | #Constraints: 169182
326.61/327.51 c INPROCESSING
326.61/327.51 c GARBAGE COLLECT
326.61/327.51 c #Conflicts: 379000 | #Constraints: 140503
326.61/327.51 c #Conflicts: 380000 | #Constraints: 141503
326.61/327.51 c #Conflicts: 381000 | #Constraints: 142503
326.61/327.51 c #Conflicts: 382000 | #Constraints: 143503
326.61/327.51 c #Conflicts: 383000 | #Constraints: 144503
326.61/327.51 c #Conflicts: 384000 | #Constraints: 145503
326.61/327.51 c #Conflicts: 385000 | #Constraints: 146503
326.61/327.51 c #Conflicts: 386000 | #Constraints: 147503
326.61/327.51 c #Conflicts: 387000 | #Constraints: 148503
326.61/327.51 c #Conflicts: 388000 | #Constraints: 149503
326.61/327.51 c #Conflicts: 389000 | #Constraints: 150503
326.61/327.51 c #Conflicts: 390000 | #Constraints: 151503
326.61/327.51 c #Conflicts: 391000 | #Constraints: 152503
326.61/327.51 c #Conflicts: 392000 | #Constraints: 153503
326.61/327.51 c #Conflicts: 393000 | #Constraints: 154503
326.61/327.51 c INPROCESSING
326.61/327.51 c GARBAGE COLLECT
326.61/327.51 c #Conflicts: 394000 | #Constraints: 132927
326.61/327.51 c #Conflicts: 395000 | #Constraints: 133927
326.61/327.51 c #Conflicts: 396000 | #Constraints: 134927
326.61/327.51 c #Conflicts: 397000 | #Constraints: 135927
326.61/327.51 c #Conflicts: 398000 | #Constraints: 136927
326.61/327.51 c #Conflicts: 399000 | #Constraints: 137927
326.61/327.51 c #Conflicts: 400000 | #Constraints: 138927
326.61/327.51 c #Conflicts: 401000 | #Constraints: 139927
326.61/327.51 c #Conflicts: 402000 | #Constraints: 140927
326.61/327.51 c #Conflicts: 403000 | #Constraints: 141927
326.61/327.51 c #Conflicts: 404000 | #Constraints: 142927
326.61/327.51 c #Conflicts: 405000 | #Constraints: 143927
326.61/327.51 c #Conflicts: 406000 | #Constraints: 144927
326.61/327.51 c #Conflicts: 407000 | #Constraints: 145927
326.61/327.51 c #Conflicts: 408000 | #Constraints: 146927
326.61/327.51 c #Conflicts: 409000 | #Constraints: 147927
326.61/327.51 c INPROCESSING
326.61/327.51 c GARBAGE COLLECT
326.61/327.51 c #Conflicts: 410000 | #Constraints: 129895
326.61/327.51 c #Conflicts: 411000 | #Constraints: 130895
326.61/327.51 c #Conflicts: 412000 | #Constraints: 131895
326.61/327.51 c #Conflicts: 413000 | #Constraints: 132895
326.61/327.51 c #Conflicts: 414000 | #Constraints: 133895
326.61/327.51 c #Conflicts: 415000 | #Constraints: 134895
326.61/327.51 c #Conflicts: 416000 | #Constraints: 135895
326.61/327.51 c #Conflicts: 417000 | #Constraints: 136895
326.61/327.51 c #Conflicts: 418000 | #Constraints: 137895
326.61/327.51 c #Conflicts: 419000 | #Constraints: 138895
326.61/327.51 c #Conflicts: 420000 | #Constraints: 139895
326.61/327.51 c #Conflicts: 421000 | #Constraints: 140895
326.61/327.51 c #Conflicts: 422000 | #Constraints: 141895
326.61/327.51 c #Conflicts: 423000 | #Constraints: 142895
326.61/327.51 c #Conflicts: 424000 | #Constraints: 143895
326.61/327.51 c #Conflicts: 425000 | #Constraints: 144895
326.61/327.51 c #Conflicts: 426000 | #Constraints: 145895
326.61/327.51 c #Conflicts: 427000 | #Constraints: 146895
326.61/327.51 c #Conflicts: 428000 | #Constraints: 147895
326.61/327.51 c #Conflicts: 429000 | #Constraints: 148895
326.61/327.51 c #Conflicts: 430000 | #Constraints: 149895
326.61/327.51 c #Conflicts: 431000 | #Constraints: 150895
326.61/327.51 c #Conflicts: 432000 | #Constraints: 151895
326.61/327.51 c #Conflicts: 433000 | #Constraints: 152895
326.61/327.51 c #Conflicts: 434000 | #Constraints: 153895
326.61/327.51 c #Conflicts: 435000 | #Constraints: 154895
326.61/327.51 c #Conflicts: 436000 | #Constraints: 155895
326.61/327.51 c #Conflicts: 437000 | #Constraints: 156895
326.61/327.51 c #Conflicts: 438000 | #Constraints: 157895
326.61/327.51 c #Conflicts: 439000 | #Constraints: 158895
412.70/413.83 c #Conflicts: 440000 | #Constraints: 159895
412.70/413.83 c #Conflicts: 441000 | #Constraints: 160895
412.70/413.83 c #Conflicts: 442000 | #Constraints: 161895
412.70/413.83 c #Conflicts: 443000 | #Constraints: 162895
412.70/413.83 c #Conflicts: 444000 | #Constraints: 163895
412.70/413.83 c #Conflicts: 445000 | #Constraints: 164895
412.70/413.83 c #Conflicts: 446000 | #Constraints: 165895
412.70/413.83 c #Conflicts: 447000 | #Constraints: 166895
412.70/413.83 c #Conflicts: 448000 | #Constraints: 167895
412.70/413.83 c #Conflicts: 449000 | #Constraints: 168895
412.70/413.83 c #Conflicts: 450000 | #Constraints: 169895
412.70/413.83 c #Conflicts: 451000 | #Constraints: 170895
412.70/413.83 c #Conflicts: 452000 | #Constraints: 171895
412.70/413.83 c #Conflicts: 453000 | #Constraints: 172895
412.70/413.83 c #Conflicts: 454000 | #Constraints: 173895
412.70/413.83 c #Conflicts: 455000 | #Constraints: 174895
412.70/413.83 c INPROCESSING
412.70/413.83 c GARBAGE COLLECT
412.70/413.83 c #Conflicts: 456000 | #Constraints: 143159
412.70/413.83 c #Conflicts: 457000 | #Constraints: 144159
412.70/413.83 c #Conflicts: 458000 | #Constraints: 145159
412.70/413.83 c #Conflicts: 459000 | #Constraints: 146159
412.70/413.83 c #Conflicts: 460000 | #Constraints: 147159
412.70/413.83 c #Conflicts: 461000 | #Constraints: 148159
412.70/413.83 c #Conflicts: 462000 | #Constraints: 149159
412.70/413.83 c #Conflicts: 463000 | #Constraints: 150159
412.70/413.83 c #Conflicts: 464000 | #Constraints: 151159
412.70/413.83 c #Conflicts: 465000 | #Constraints: 152159
412.70/413.83 c #Conflicts: 466000 | #Constraints: 153159
412.70/413.83 c #Conflicts: 467000 | #Constraints: 154159
412.70/413.83 c #Conflicts: 468000 | #Constraints: 155159
412.70/413.83 c #Conflicts: 469000 | #Constraints: 156159
412.70/413.83 c #Conflicts: 470000 | #Constraints: 157159
412.70/413.83 c #Conflicts: 471000 | #Constraints: 158159
412.70/413.83 c #Conflicts: 472000 | #Constraints: 159159
412.70/413.83 c INPROCESSING
412.70/413.83 c GARBAGE COLLECT
412.70/413.83 c #Conflicts: 473000 | #Constraints: 135355
412.70/413.83 c #Conflicts: 474000 | #Constraints: 136355
412.70/413.83 c #Conflicts: 475000 | #Constraints: 137355
412.70/413.83 c #Conflicts: 476000 | #Constraints: 138355
412.70/413.83 c #Conflicts: 477000 | #Constraints: 139355
412.70/413.83 c #Conflicts: 478000 | #Constraints: 140355
412.70/413.83 c #Conflicts: 479000 | #Constraints: 141355
412.70/413.83 c #Conflicts: 480000 | #Constraints: 142355
412.70/413.83 c #Conflicts: 481000 | #Constraints: 143355
412.70/413.83 c #Conflicts: 482000 | #Constraints: 144355
412.70/413.83 c #Conflicts: 483000 | #Constraints: 145355
412.70/413.83 c #Conflicts: 484000 | #Constraints: 146355
412.70/413.83 c #Conflicts: 485000 | #Constraints: 147355
412.70/413.83 c #Conflicts: 486000 | #Constraints: 148355
412.70/413.83 c #Conflicts: 487000 | #Constraints: 149355
412.70/413.83 c #Conflicts: 488000 | #Constraints: 150355
412.70/413.83 c #Conflicts: 489000 | #Constraints: 151355
412.70/413.83 c INPROCESSING
412.70/413.83 c GARBAGE COLLECT
412.70/413.83 c #Conflicts: 490000 | #Constraints: 131395
412.70/413.83 c #Conflicts: 491000 | #Constraints: 132395
412.70/413.83 c #Conflicts: 492000 | #Constraints: 133395
412.70/413.83 c #Conflicts: 493000 | #Constraints: 134395
412.70/413.83 c #Conflicts: 494000 | #Constraints: 135395
412.70/413.83 c #Conflicts: 495000 | #Constraints: 136395
412.70/413.83 c #Conflicts: 496000 | #Constraints: 137395
412.70/413.83 c #Conflicts: 497000 | #Constraints: 138395
412.70/413.83 c #Conflicts: 498000 | #Constraints: 139395
412.70/413.83 c #Conflicts: 499000 | #Constraints: 140395
412.70/413.83 c #Conflicts: 500000 | #Constraints: 141395
412.70/413.83 c #Conflicts: 501000 | #Constraints: 142395
412.70/413.83 c #Conflicts: 502000 | #Constraints: 143395
412.70/413.83 c #Conflicts: 503000 | #Constraints: 144395
412.70/413.83 c #Conflicts: 504000 | #Constraints: 145395
412.70/413.83 c #Conflicts: 505000 | #Constraints: 146395
412.70/413.83 c #Conflicts: 506000 | #Constraints: 147395
412.70/413.83 c INPROCESSING
412.70/413.83 c GARBAGE COLLECT
412.70/413.83 c #Conflicts: 507000 | #Constraints: 129269
412.70/413.83 c #Conflicts: 508000 | #Constraints: 130269
412.70/413.83 c #Conflicts: 509000 | #Constraints: 131269
412.70/413.83 c #Conflicts: 510000 | #Constraints: 132269
412.70/413.83 c #Conflicts: 511000 | #Constraints: 133269
412.70/413.83 c #Conflicts: 512000 | #Constraints: 134269
412.70/413.83 c #Conflicts: 513000 | #Constraints: 135269
412.70/413.83 c #Conflicts: 514000 | #Constraints: 136269
412.70/413.83 c #Conflicts: 515000 | #Constraints: 137269
516.42/517.84 c #Conflicts: 516000 | #Constraints: 138269
516.42/517.84 c #Conflicts: 517000 | #Constraints: 139269
516.42/517.84 c #Conflicts: 518000 | #Constraints: 140269
516.42/517.84 c #Conflicts: 519000 | #Constraints: 141269
516.42/517.84 c #Conflicts: 520000 | #Constraints: 142269
516.42/517.84 c #Conflicts: 521000 | #Constraints: 143269
516.42/517.84 c #Conflicts: 522000 | #Constraints: 144269
516.42/517.84 c #Conflicts: 523000 | #Constraints: 145269
516.42/517.84 c #Conflicts: 524000 | #Constraints: 146269
516.42/517.84 c #Conflicts: 525000 | #Constraints: 147269
516.42/517.84 c #Conflicts: 526000 | #Constraints: 148269
516.42/517.84 c #Conflicts: 527000 | #Constraints: 149269
516.42/517.84 c #Conflicts: 528000 | #Constraints: 150269
516.42/517.84 c #Conflicts: 529000 | #Constraints: 151269
516.42/517.84 c #Conflicts: 530000 | #Constraints: 152269
516.42/517.84 c #Conflicts: 531000 | #Constraints: 153269
516.42/517.84 c #Conflicts: 532000 | #Constraints: 154269
516.42/517.84 c #Conflicts: 533000 | #Constraints: 155269
516.42/517.84 c #Conflicts: 534000 | #Constraints: 156269
516.42/517.84 c #Conflicts: 535000 | #Constraints: 157269
516.42/517.84 c #Conflicts: 536000 | #Constraints: 158269
516.42/517.84 c #Conflicts: 537000 | #Constraints: 159269
516.42/517.84 c #Conflicts: 538000 | #Constraints: 160269
516.42/517.84 c #Conflicts: 539000 | #Constraints: 161269
516.42/517.84 c #Conflicts: 540000 | #Constraints: 162269
516.42/517.84 c #Conflicts: 541000 | #Constraints: 163269
516.42/517.84 c #Conflicts: 542000 | #Constraints: 164269
516.42/517.84 c #Conflicts: 543000 | #Constraints: 165269
516.42/517.84 c #Conflicts: 544000 | #Constraints: 166269
516.42/517.84 c #Conflicts: 545000 | #Constraints: 167269
516.42/517.84 c #Conflicts: 546000 | #Constraints: 168269
516.42/517.84 c #Conflicts: 547000 | #Constraints: 169269
516.42/517.84 c #Conflicts: 548000 | #Constraints: 170269
516.42/517.84 c #Conflicts: 549000 | #Constraints: 171269
516.42/517.84 c #Conflicts: 550000 | #Constraints: 172269
516.42/517.84 c #Conflicts: 551000 | #Constraints: 173269
516.42/517.84 c #Conflicts: 552000 | #Constraints: 174269
516.42/517.84 c #Conflicts: 553000 | #Constraints: 175269
516.42/517.84 c #Conflicts: 554000 | #Constraints: 176269
516.42/517.84 c #Conflicts: 555000 | #Constraints: 177269
516.42/517.84 c #Conflicts: 556000 | #Constraints: 178269
516.42/517.84 c #Conflicts: 557000 | #Constraints: 179269
516.42/517.84 c #Conflicts: 558000 | #Constraints: 180269
516.42/517.84 c INPROCESSING
516.42/517.84 c GARBAGE COLLECT
516.42/517.84 c #Conflicts: 559000 | #Constraints: 145858
516.42/517.84 c #Conflicts: 560000 | #Constraints: 146858
516.42/517.84 c #Conflicts: 561000 | #Constraints: 147858
516.42/517.84 c #Conflicts: 562000 | #Constraints: 148858
516.42/517.84 c #Conflicts: 563000 | #Constraints: 149858
516.42/517.84 c #Conflicts: 564000 | #Constraints: 150858
516.42/517.84 c #Conflicts: 565000 | #Constraints: 151858
516.42/517.84 c #Conflicts: 566000 | #Constraints: 152858
516.42/517.84 c #Conflicts: 567000 | #Constraints: 153858
516.42/517.84 c #Conflicts: 568000 | #Constraints: 154858
516.42/517.84 c #Conflicts: 569000 | #Constraints: 155858
516.42/517.84 c #Conflicts: 570000 | #Constraints: 156858
516.42/517.84 c #Conflicts: 571000 | #Constraints: 157858
516.42/517.84 c #Conflicts: 572000 | #Constraints: 158858
516.42/517.84 c #Conflicts: 573000 | #Constraints: 159858
516.42/517.84 c #Conflicts: 574000 | #Constraints: 160858
516.42/517.84 c #Conflicts: 575000 | #Constraints: 161858
516.42/517.84 c #Conflicts: 576000 | #Constraints: 162858
516.42/517.84 c #Conflicts: 577000 | #Constraints: 163858
516.42/517.84 c INPROCESSING
516.42/517.84 c GARBAGE COLLECT
516.42/517.84 c #Conflicts: 578000 | #Constraints: 137847
516.42/517.84 c #Conflicts: 579000 | #Constraints: 138847
516.42/517.84 c #Conflicts: 580000 | #Constraints: 139847
516.42/517.84 c #Conflicts: 581000 | #Constraints: 140847
516.42/517.84 c #Conflicts: 582000 | #Constraints: 141847
516.42/517.84 c #Conflicts: 583000 | #Constraints: 142847
516.42/517.84 c #Conflicts: 584000 | #Constraints: 143847
516.42/517.84 c #Conflicts: 585000 | #Constraints: 144847
516.42/517.84 c #Conflicts: 586000 | #Constraints: 145847
516.42/517.84 c #Conflicts: 587000 | #Constraints: 146847
516.42/517.84 c #Conflicts: 588000 | #Constraints: 147847
516.42/517.84 c #Conflicts: 589000 | #Constraints: 148847
516.42/517.84 c #Conflicts: 590000 | #Constraints: 149847
516.42/517.84 c #Conflicts: 591000 | #Constraints: 150847
516.42/517.84 c #Conflicts: 592000 | #Constraints: 151847
516.42/517.84 c #Conflicts: 593000 | #Constraints: 152847
607.50/609.11 c #Conflicts: 594000 | #Constraints: 153847
607.50/609.11 c #Conflicts: 595000 | #Constraints: 154847
607.50/609.11 c #Conflicts: 596000 | #Constraints: 155847
607.50/609.11 c INPROCESSING
607.50/609.11 c GARBAGE COLLECT
607.50/609.11 c #Conflicts: 597000 | #Constraints: 133920
607.50/609.11 c #Conflicts: 598000 | #Constraints: 134920
607.50/609.11 c #Conflicts: 599000 | #Constraints: 135920
607.50/609.11 c #Conflicts: 600000 | #Constraints: 136920
607.50/609.11 c #Conflicts: 601000 | #Constraints: 137920
607.50/609.11 c #Conflicts: 602000 | #Constraints: 138920
607.50/609.11 c #Conflicts: 603000 | #Constraints: 139920
607.50/609.11 c #Conflicts: 604000 | #Constraints: 140920
607.50/609.11 c #Conflicts: 605000 | #Constraints: 141920
607.50/609.11 c #Conflicts: 606000 | #Constraints: 142920
607.50/609.11 c #Conflicts: 607000 | #Constraints: 143920
607.50/609.11 c #Conflicts: 608000 | #Constraints: 144920
607.50/609.11 c #Conflicts: 609000 | #Constraints: 145920
607.50/609.11 c #Conflicts: 610000 | #Constraints: 146920
607.50/609.11 c #Conflicts: 611000 | #Constraints: 147920
607.50/609.11 c #Conflicts: 612000 | #Constraints: 148920
607.50/609.11 c #Conflicts: 613000 | #Constraints: 149920
607.50/609.11 c #Conflicts: 614000 | #Constraints: 150920
607.50/609.11 c #Conflicts: 615000 | #Constraints: 151920
607.50/609.11 c INPROCESSING
607.50/609.11 c GARBAGE COLLECT
607.50/609.11 c #Conflicts: 616000 | #Constraints: 131977
607.50/609.11 c #Conflicts: 617000 | #Constraints: 132977
607.50/609.11 c #Conflicts: 618000 | #Constraints: 133977
607.50/609.11 c #Conflicts: 619000 | #Constraints: 134977
607.50/609.11 c #Conflicts: 620000 | #Constraints: 135977
607.50/609.11 c #Conflicts: 621000 | #Constraints: 136977
607.50/609.11 c #Conflicts: 622000 | #Constraints: 137977
607.50/609.11 c #Conflicts: 623000 | #Constraints: 138977
607.50/609.11 c #Conflicts: 624000 | #Constraints: 139977
607.50/609.11 c #Conflicts: 625000 | #Constraints: 140977
607.50/609.11 c #Conflicts: 626000 | #Constraints: 141977
607.50/609.11 c #Conflicts: 627000 | #Constraints: 142977
607.50/609.11 c #Conflicts: 628000 | #Constraints: 143977
607.50/609.11 c #Conflicts: 629000 | #Constraints: 144977
607.50/609.11 c #Conflicts: 630000 | #Constraints: 145977
607.50/609.11 c #Conflicts: 631000 | #Constraints: 146977
607.50/609.11 c #Conflicts: 632000 | #Constraints: 147977
607.50/609.11 c #Conflicts: 633000 | #Constraints: 148977
607.50/609.11 c #Conflicts: 634000 | #Constraints: 149977
607.50/609.11 c #Conflicts: 635000 | #Constraints: 150977
607.50/609.11 c #Conflicts: 636000 | #Constraints: 151977
607.50/609.11 c #Conflicts: 637000 | #Constraints: 152977
607.50/609.11 c #Conflicts: 638000 | #Constraints: 153977
607.50/609.11 c #Conflicts: 639000 | #Constraints: 154977
607.50/609.11 c #Conflicts: 640000 | #Constraints: 155977
607.50/609.11 c #Conflicts: 641000 | #Constraints: 156977
607.50/609.11 c #Conflicts: 642000 | #Constraints: 157977
607.50/609.11 c #Conflicts: 643000 | #Constraints: 158977
607.50/609.11 c #Conflicts: 644000 | #Constraints: 159977
607.50/609.11 c #Conflicts: 645000 | #Constraints: 160977
607.50/609.11 c #Conflicts: 646000 | #Constraints: 161977
607.50/609.11 c #Conflicts: 647000 | #Constraints: 162977
607.50/609.11 c #Conflicts: 648000 | #Constraints: 163977
607.50/609.11 c #Conflicts: 649000 | #Constraints: 164977
607.50/609.11 c #Conflicts: 650000 | #Constraints: 165977
607.50/609.11 c #Conflicts: 651000 | #Constraints: 166977
607.50/609.11 c #Conflicts: 652000 | #Constraints: 167977
607.50/609.11 c #Conflicts: 653000 | #Constraints: 168977
607.50/609.11 c #Conflicts: 654000 | #Constraints: 169977
607.50/609.11 c #Conflicts: 655000 | #Constraints: 170977
607.50/609.11 c #Conflicts: 656000 | #Constraints: 171977
607.50/609.11 c #Conflicts: 657000 | #Constraints: 172977
607.50/609.11 c #Conflicts: 658000 | #Constraints: 173977
607.50/609.11 c #Conflicts: 659000 | #Constraints: 174977
607.50/609.11 c #Conflicts: 660000 | #Constraints: 175977
607.50/609.11 c #Conflicts: 661000 | #Constraints: 176977
607.50/609.11 c #Conflicts: 662000 | #Constraints: 177977
607.50/609.11 c #Conflicts: 663000 | #Constraints: 178977
607.50/609.11 c #Conflicts: 664000 | #Constraints: 179977
607.50/609.11 c #Conflicts: 665000 | #Constraints: 180977
607.50/609.11 c #Conflicts: 666000 | #Constraints: 181977
607.50/609.11 c #Conflicts: 667000 | #Constraints: 182977
607.50/609.11 c #Conflicts: 668000 | #Constraints: 183977
607.50/609.11 c #Conflicts: 669000 | #Constraints: 184977
607.50/609.11 c #Conflicts: 670000 | #Constraints: 185977
701.27/703.11 c #Conflicts: 671000 | #Constraints: 186977
701.27/703.11 c #Conflicts: 672000 | #Constraints: 187977
701.27/703.11 c INPROCESSING
701.27/703.11 c GARBAGE COLLECT
701.27/703.11 c #Conflicts: 673000 | #Constraints: 149981
701.27/703.11 c #Conflicts: 674000 | #Constraints: 150981
701.27/703.11 c #Conflicts: 675000 | #Constraints: 151981
701.27/703.11 c #Conflicts: 676000 | #Constraints: 152981
701.27/703.11 c #Conflicts: 677000 | #Constraints: 153981
701.27/703.11 c #Conflicts: 678000 | #Constraints: 154981
701.27/703.11 c #Conflicts: 679000 | #Constraints: 155981
701.27/703.11 c #Conflicts: 680000 | #Constraints: 156981
701.27/703.11 c #Conflicts: 681000 | #Constraints: 157981
701.27/703.11 c #Conflicts: 682000 | #Constraints: 158981
701.27/703.11 c #Conflicts: 683000 | #Constraints: 159981
701.27/703.11 c #Conflicts: 684000 | #Constraints: 160981
701.27/703.11 c #Conflicts: 685000 | #Constraints: 161981
701.27/703.11 c #Conflicts: 686000 | #Constraints: 162981
701.27/703.11 c #Conflicts: 687000 | #Constraints: 163981
701.27/703.11 c #Conflicts: 688000 | #Constraints: 164981
701.27/703.11 c #Conflicts: 689000 | #Constraints: 165981
701.27/703.11 c #Conflicts: 690000 | #Constraints: 166981
701.27/703.11 c #Conflicts: 691000 | #Constraints: 167981
701.27/703.11 c #Conflicts: 692000 | #Constraints: 168981
701.27/703.11 c INPROCESSING
701.27/703.11 c GARBAGE COLLECT
701.27/703.11 c #Conflicts: 693000 | #Constraints: 140369
701.27/703.11 c #Conflicts: 694000 | #Constraints: 141369
701.27/703.11 c #Conflicts: 695000 | #Constraints: 142369
701.27/703.11 c #Conflicts: 696000 | #Constraints: 143369
701.27/703.11 c #Conflicts: 697000 | #Constraints: 144369
701.27/703.11 c #Conflicts: 698000 | #Constraints: 145369
701.27/703.11 c #Conflicts: 699000 | #Constraints: 146369
701.27/703.11 c #Conflicts: 700000 | #Constraints: 147369
701.27/703.11 c #Conflicts: 701000 | #Constraints: 148369
701.27/703.11 c #Conflicts: 702000 | #Constraints: 149369
701.27/703.11 c #Conflicts: 703000 | #Constraints: 150369
701.27/703.11 c #Conflicts: 704000 | #Constraints: 151369
701.27/703.11 c #Conflicts: 705000 | #Constraints: 152369
701.27/703.11 c #Conflicts: 706000 | #Constraints: 153369
701.27/703.11 c #Conflicts: 707000 | #Constraints: 154369
701.27/703.11 c #Conflicts: 708000 | #Constraints: 155369
701.27/703.11 c #Conflicts: 709000 | #Constraints: 156369
701.27/703.11 c #Conflicts: 710000 | #Constraints: 157369
701.27/703.11 c #Conflicts: 711000 | #Constraints: 158369
701.27/703.11 c #Conflicts: 712000 | #Constraints: 159369
701.27/703.11 c INPROCESSING
701.27/703.11 c GARBAGE COLLECT
701.27/703.11 c #Conflicts: 713000 | #Constraints: 135288
701.27/703.11 c #Conflicts: 714000 | #Constraints: 136288
701.27/703.11 c #Conflicts: 715000 | #Constraints: 137288
701.27/703.11 c #Conflicts: 716000 | #Constraints: 138288
701.27/703.11 c #Conflicts: 717000 | #Constraints: 139288
701.27/703.11 c #Conflicts: 718000 | #Constraints: 140288
701.27/703.11 c #Conflicts: 719000 | #Constraints: 141288
701.27/703.11 c #Conflicts: 720000 | #Constraints: 142288
701.27/703.11 c #Conflicts: 721000 | #Constraints: 143288
701.27/703.11 c #Conflicts: 722000 | #Constraints: 144288
701.27/703.11 c #Conflicts: 723000 | #Constraints: 145288
701.27/703.11 c #Conflicts: 724000 | #Constraints: 146288
701.27/703.11 c #Conflicts: 725000 | #Constraints: 147288
701.27/703.11 c #Conflicts: 726000 | #Constraints: 148288
701.27/703.11 c #Conflicts: 727000 | #Constraints: 149288
701.27/703.11 c #Conflicts: 728000 | #Constraints: 150288
701.27/703.11 c #Conflicts: 729000 | #Constraints: 151288
701.27/703.11 c #Conflicts: 730000 | #Constraints: 152288
701.27/703.11 c #Conflicts: 731000 | #Constraints: 153288
701.27/703.11 c #Conflicts: 732000 | #Constraints: 154288
701.27/703.11 c #Conflicts: 733000 | #Constraints: 155288
701.27/703.11 c INPROCESSING
701.27/703.11 c GARBAGE COLLECT
701.27/703.11 c #Conflicts: 734000 | #Constraints: 133408
701.27/703.11 c #Conflicts: 735000 | #Constraints: 134408
701.27/703.11 c #Conflicts: 736000 | #Constraints: 135408
701.27/703.11 c #Conflicts: 737000 | #Constraints: 136408
701.27/703.11 c #Conflicts: 738000 | #Constraints: 137408
701.27/703.11 c #Conflicts: 739000 | #Constraints: 138408
701.27/703.11 c #Conflicts: 740000 | #Constraints: 139408
701.27/703.11 c #Conflicts: 741000 | #Constraints: 140408
701.27/703.11 c #Conflicts: 742000 | #Constraints: 141408
701.27/703.11 c #Conflicts: 743000 | #Constraints: 142408
701.27/703.11 c #Conflicts: 744000 | #Constraints: 143408
701.27/703.11 c #Conflicts: 745000 | #Constraints: 144408
701.27/703.11 c #Conflicts: 746000 | #Constraints: 145408
701.27/703.11 c #Conflicts: 747000 | #Constraints: 146408
821.64/823.85 c #Conflicts: 748000 | #Constraints: 147408
821.64/823.85 c #Conflicts: 749000 | #Constraints: 148408
821.64/823.85 c #Conflicts: 750000 | #Constraints: 149408
821.64/823.85 c #Conflicts: 751000 | #Constraints: 150408
821.64/823.85 c #Conflicts: 752000 | #Constraints: 151408
821.64/823.85 c #Conflicts: 753000 | #Constraints: 152408
821.64/823.85 c #Conflicts: 754000 | #Constraints: 153408
821.64/823.85 c #Conflicts: 755000 | #Constraints: 154408
821.64/823.85 c #Conflicts: 756000 | #Constraints: 155408
821.64/823.85 c #Conflicts: 757000 | #Constraints: 156408
821.64/823.85 c #Conflicts: 758000 | #Constraints: 157408
821.64/823.85 c #Conflicts: 759000 | #Constraints: 158408
821.64/823.85 c #Conflicts: 760000 | #Constraints: 159408
821.64/823.85 c #Conflicts: 761000 | #Constraints: 160408
821.64/823.85 c #Conflicts: 762000 | #Constraints: 161408
821.64/823.85 c #Conflicts: 763000 | #Constraints: 162408
821.64/823.85 c #Conflicts: 764000 | #Constraints: 163408
821.64/823.85 c #Conflicts: 765000 | #Constraints: 164408
821.64/823.85 c #Conflicts: 766000 | #Constraints: 165408
821.64/823.85 c #Conflicts: 767000 | #Constraints: 166408
821.64/823.85 c #Conflicts: 768000 | #Constraints: 167408
821.64/823.85 c #Conflicts: 769000 | #Constraints: 168408
821.64/823.85 c #Conflicts: 770000 | #Constraints: 169408
821.64/823.85 c #Conflicts: 771000 | #Constraints: 170408
821.64/823.85 c #Conflicts: 772000 | #Constraints: 171408
821.64/823.85 c #Conflicts: 773000 | #Constraints: 172408
821.64/823.85 c #Conflicts: 774000 | #Constraints: 173408
821.64/823.85 c #Conflicts: 775000 | #Constraints: 174408
821.64/823.85 c #Conflicts: 776000 | #Constraints: 175408
821.64/823.85 c #Conflicts: 777000 | #Constraints: 176408
821.64/823.85 c #Conflicts: 778000 | #Constraints: 177408
821.64/823.85 c #Conflicts: 779000 | #Constraints: 178408
821.64/823.85 c #Conflicts: 780000 | #Constraints: 179408
821.64/823.85 c #Conflicts: 781000 | #Constraints: 180408
821.64/823.85 c #Conflicts: 782000 | #Constraints: 181408
821.64/823.85 c #Conflicts: 783000 | #Constraints: 182408
821.64/823.85 c #Conflicts: 784000 | #Constraints: 183408
821.64/823.85 c #Conflicts: 785000 | #Constraints: 184408
821.64/823.85 c #Conflicts: 786000 | #Constraints: 185408
821.64/823.85 c #Conflicts: 787000 | #Constraints: 186408
821.64/823.85 c #Conflicts: 788000 | #Constraints: 187408
821.64/823.85 c #Conflicts: 789000 | #Constraints: 188408
821.64/823.85 c #Conflicts: 790000 | #Constraints: 189408
821.64/823.85 c #Conflicts: 791000 | #Constraints: 190408
821.64/823.85 c #Conflicts: 792000 | #Constraints: 191408
821.64/823.85 c #Conflicts: 793000 | #Constraints: 192408
821.64/823.85 c #Conflicts: 794000 | #Constraints: 193408
821.64/823.85 c #Conflicts: 795000 | #Constraints: 194408
821.64/823.85 c INPROCESSING
821.64/823.85 c GARBAGE COLLECT
821.64/823.85 c #Conflicts: 796000 | #Constraints: 152821
821.64/823.85 c #Conflicts: 797000 | #Constraints: 153821
821.64/823.85 c #Conflicts: 798000 | #Constraints: 154821
821.64/823.85 c #Conflicts: 799000 | #Constraints: 155821
821.64/823.85 c #Conflicts: 800000 | #Constraints: 156821
821.64/823.85 c #Conflicts: 801000 | #Constraints: 157821
821.64/823.85 c #Conflicts: 802000 | #Constraints: 158821
821.64/823.85 c #Conflicts: 803000 | #Constraints: 159821
821.64/823.85 c #Conflicts: 804000 | #Constraints: 160821
821.64/823.85 c #Conflicts: 805000 | #Constraints: 161821
821.64/823.85 c #Conflicts: 806000 | #Constraints: 162821
821.64/823.85 c #Conflicts: 807000 | #Constraints: 163821
821.64/823.85 c #Conflicts: 808000 | #Constraints: 164821
821.64/823.85 c #Conflicts: 809000 | #Constraints: 165821
821.64/823.85 c #Conflicts: 810000 | #Constraints: 166821
821.64/823.85 c #Conflicts: 811000 | #Constraints: 167821
821.64/823.85 c #Conflicts: 812000 | #Constraints: 168821
821.64/823.85 c #Conflicts: 813000 | #Constraints: 169821
821.64/823.85 c #Conflicts: 814000 | #Constraints: 170821
821.64/823.85 c #Conflicts: 815000 | #Constraints: 171821
821.64/823.85 c #Conflicts: 816000 | #Constraints: 172821
821.64/823.85 c #Conflicts: 817000 | #Constraints: 173821
821.64/823.85 c INPROCESSING
821.64/823.85 c GARBAGE COLLECT
821.64/823.85 c #Conflicts: 818000 | #Constraints: 142527
821.64/823.85 c #Conflicts: 819000 | #Constraints: 143527
821.64/823.85 c #Conflicts: 820000 | #Constraints: 144527
821.64/823.85 c #Conflicts: 821000 | #Constraints: 145527
821.64/823.85 c #Conflicts: 822000 | #Constraints: 146527
821.64/823.85 c #Conflicts: 823000 | #Constraints: 147527
821.64/823.85 c #Conflicts: 824000 | #Constraints: 148527
915.91/918.36 c #Conflicts: 825000 | #Constraints: 149527
915.91/918.36 c #Conflicts: 826000 | #Constraints: 150527
915.91/918.36 c #Conflicts: 827000 | #Constraints: 151527
915.91/918.36 c #Conflicts: 828000 | #Constraints: 152527
915.91/918.36 c #Conflicts: 829000 | #Constraints: 153527
915.91/918.36 c #Conflicts: 830000 | #Constraints: 154527
915.91/918.36 c #Conflicts: 831000 | #Constraints: 155527
915.91/918.36 c #Conflicts: 832000 | #Constraints: 156527
915.91/918.36 c #Conflicts: 833000 | #Constraints: 157527
915.91/918.36 c #Conflicts: 834000 | #Constraints: 158527
915.91/918.36 c #Conflicts: 835000 | #Constraints: 159527
915.91/918.36 c #Conflicts: 836000 | #Constraints: 160527
915.91/918.36 c #Conflicts: 837000 | #Constraints: 161527
915.91/918.36 c #Conflicts: 838000 | #Constraints: 162527
915.91/918.36 c #Conflicts: 839000 | #Constraints: 163527
915.91/918.36 c #Conflicts: 840000 | #Constraints: 164527
915.91/918.36 c INPROCESSING
915.91/918.36 c GARBAGE COLLECT
915.91/918.36 c #Conflicts: 841000 | #Constraints: 138265
915.91/918.36 c #Conflicts: 842000 | #Constraints: 139265
915.91/918.36 c #Conflicts: 843000 | #Constraints: 140265
915.91/918.36 c #Conflicts: 844000 | #Constraints: 141265
915.91/918.36 c #Conflicts: 845000 | #Constraints: 142265
915.91/918.36 c #Conflicts: 846000 | #Constraints: 143265
915.91/918.36 c #Conflicts: 847000 | #Constraints: 144265
915.91/918.36 c #Conflicts: 848000 | #Constraints: 145265
915.91/918.36 c #Conflicts: 849000 | #Constraints: 146265
915.91/918.36 c #Conflicts: 850000 | #Constraints: 147265
915.91/918.36 c #Conflicts: 851000 | #Constraints: 148265
915.91/918.36 c #Conflicts: 852000 | #Constraints: 149265
915.91/918.36 c #Conflicts: 853000 | #Constraints: 150265
915.91/918.36 c #Conflicts: 854000 | #Constraints: 151265
915.91/918.36 c #Conflicts: 855000 | #Constraints: 152265
915.91/918.36 c #Conflicts: 856000 | #Constraints: 153265
915.91/918.36 c #Conflicts: 857000 | #Constraints: 154265
915.91/918.36 c #Conflicts: 858000 | #Constraints: 155265
915.91/918.36 c #Conflicts: 859000 | #Constraints: 156265
915.91/918.36 c #Conflicts: 860000 | #Constraints: 157265
915.91/918.36 c #Conflicts: 861000 | #Constraints: 158265
915.91/918.36 c #Conflicts: 862000 | #Constraints: 159265
915.91/918.36 c INPROCESSING
915.91/918.36 c GARBAGE COLLECT
915.91/918.36 c #Conflicts: 863000 | #Constraints: 135424
915.91/918.36 c #Conflicts: 864000 | #Constraints: 136424
915.91/918.36 c #Conflicts: 865000 | #Constraints: 137424
915.91/918.36 c #Conflicts: 866000 | #Constraints: 138424
915.91/918.36 c #Conflicts: 867000 | #Constraints: 139424
915.91/918.36 c #Conflicts: 868000 | #Constraints: 140424
915.91/918.36 c #Conflicts: 869000 | #Constraints: 141424
915.91/918.36 c #Conflicts: 870000 | #Constraints: 142424
915.91/918.36 c #Conflicts: 871000 | #Constraints: 143424
915.91/918.36 c #Conflicts: 872000 | #Constraints: 144424
915.91/918.36 c #Conflicts: 873000 | #Constraints: 145424
915.91/918.36 c #Conflicts: 874000 | #Constraints: 146424
915.91/918.36 c #Conflicts: 875000 | #Constraints: 147424
915.91/918.36 c #Conflicts: 876000 | #Constraints: 148424
915.91/918.36 c #Conflicts: 877000 | #Constraints: 149424
915.91/918.36 c #Conflicts: 878000 | #Constraints: 150424
915.91/918.36 c #Conflicts: 879000 | #Constraints: 151424
915.91/918.36 c #Conflicts: 880000 | #Constraints: 152424
915.91/918.36 c #Conflicts: 881000 | #Constraints: 153424
915.91/918.36 c #Conflicts: 882000 | #Constraints: 154424
915.91/918.36 c #Conflicts: 883000 | #Constraints: 155424
915.91/918.36 c #Conflicts: 884000 | #Constraints: 156424
915.91/918.36 c #Conflicts: 885000 | #Constraints: 157424
915.91/918.36 c #Conflicts: 886000 | #Constraints: 158424
915.91/918.36 c #Conflicts: 887000 | #Constraints: 159424
915.91/918.36 c #Conflicts: 888000 | #Constraints: 160424
915.91/918.36 c #Conflicts: 889000 | #Constraints: 161424
915.91/918.36 c #Conflicts: 890000 | #Constraints: 162424
915.91/918.36 c #Conflicts: 891000 | #Constraints: 163424
915.91/918.36 c #Conflicts: 892000 | #Constraints: 164424
915.91/918.36 c #Conflicts: 893000 | #Constraints: 165424
915.91/918.36 c #Conflicts: 894000 | #Constraints: 166424
915.91/918.36 c #Conflicts: 895000 | #Constraints: 167424
915.91/918.36 c #Conflicts: 896000 | #Constraints: 168424
915.91/918.36 c #Conflicts: 897000 | #Constraints: 169424
915.91/918.36 c #Conflicts: 898000 | #Constraints: 170424
915.91/918.36 c #Conflicts: 899000 | #Constraints: 171424
915.91/918.36 c #Conflicts: 900000 | #Constraints: 172424
915.91/918.36 c #Conflicts: 901000 | #Constraints: 173424
915.91/918.36 c #Conflicts: 902000 | #Constraints: 174424
1062.33/1065.11 c #Conflicts: 903000 | #Constraints: 175424
1062.33/1065.11 c #Conflicts: 904000 | #Constraints: 176424
1062.33/1065.11 c #Conflicts: 905000 | #Constraints: 177424
1062.33/1065.11 c #Conflicts: 906000 | #Constraints: 178424
1062.33/1065.11 c #Conflicts: 907000 | #Constraints: 179424
1062.33/1065.11 c #Conflicts: 908000 | #Constraints: 180424
1062.33/1065.11 c #Conflicts: 909000 | #Constraints: 181424
1062.33/1065.11 c #Conflicts: 910000 | #Constraints: 182424
1062.33/1065.11 c #Conflicts: 911000 | #Constraints: 183424
1062.33/1065.11 c #Conflicts: 912000 | #Constraints: 184424
1062.33/1065.11 c #Conflicts: 913000 | #Constraints: 185424
1062.33/1065.11 c #Conflicts: 914000 | #Constraints: 186424
1062.33/1065.11 c #Conflicts: 915000 | #Constraints: 187424
1062.33/1065.11 c #Conflicts: 916000 | #Constraints: 188424
1062.33/1065.11 c #Conflicts: 917000 | #Constraints: 189424
1062.33/1065.11 c #Conflicts: 918000 | #Constraints: 190424
1062.33/1065.11 c #Conflicts: 919000 | #Constraints: 191424
1062.33/1065.11 c #Conflicts: 920000 | #Constraints: 192424
1062.33/1065.11 c #Conflicts: 921000 | #Constraints: 193424
1062.33/1065.11 c #Conflicts: 922000 | #Constraints: 194424
1062.33/1065.11 c #Conflicts: 923000 | #Constraints: 195424
1062.33/1065.11 c #Conflicts: 924000 | #Constraints: 196424
1062.33/1065.11 c #Conflicts: 925000 | #Constraints: 197424
1062.33/1065.11 c #Conflicts: 926000 | #Constraints: 198424
1062.33/1065.11 c #Conflicts: 927000 | #Constraints: 199424
1062.33/1065.11 c #Conflicts: 928000 | #Constraints: 200424
1062.33/1065.11 c #Conflicts: 929000 | #Constraints: 201424
1062.33/1065.11 c #Conflicts: 930000 | #Constraints: 202424
1062.33/1065.11 c INPROCESSING
1062.33/1065.11 c GARBAGE COLLECT
1062.33/1065.11 c #Conflicts: 931000 | #Constraints: 157200
1062.33/1065.11 c #Conflicts: 932000 | #Constraints: 158200
1062.33/1065.11 c #Conflicts: 933000 | #Constraints: 159200
1062.33/1065.11 c #Conflicts: 934000 | #Constraints: 160200
1062.33/1065.11 c #Conflicts: 935000 | #Constraints: 161200
1062.33/1065.11 c #Conflicts: 936000 | #Constraints: 162200
1062.33/1065.11 c #Conflicts: 937000 | #Constraints: 163200
1062.33/1065.11 c #Conflicts: 938000 | #Constraints: 164200
1062.33/1065.11 c #Conflicts: 939000 | #Constraints: 165200
1062.33/1065.11 c #Conflicts: 940000 | #Constraints: 166200
1062.33/1065.11 c #Conflicts: 941000 | #Constraints: 167200
1062.33/1065.11 c #Conflicts: 942000 | #Constraints: 168200
1062.33/1065.11 c #Conflicts: 943000 | #Constraints: 169200
1062.33/1065.11 c #Conflicts: 944000 | #Constraints: 170200
1062.33/1065.11 c #Conflicts: 945000 | #Constraints: 171200
1062.33/1065.11 c #Conflicts: 946000 | #Constraints: 172200
1062.33/1065.11 c #Conflicts: 947000 | #Constraints: 173200
1062.33/1065.11 c #Conflicts: 948000 | #Constraints: 174200
1062.33/1065.11 c #Conflicts: 949000 | #Constraints: 175200
1062.33/1065.11 c #Conflicts: 950000 | #Constraints: 176200
1062.33/1065.11 c #Conflicts: 951000 | #Constraints: 177200
1062.33/1065.11 c #Conflicts: 952000 | #Constraints: 178200
1062.33/1065.11 c #Conflicts: 953000 | #Constraints: 179200
1062.33/1065.11 c INPROCESSING
1062.33/1065.11 c GARBAGE COLLECT
1062.33/1065.11 c #Conflicts: 954000 | #Constraints: 145260
1062.33/1065.11 c #Conflicts: 955000 | #Constraints: 146260
1062.33/1065.11 c #Conflicts: 956000 | #Constraints: 147260
1062.33/1065.11 c #Conflicts: 957000 | #Constraints: 148260
1062.33/1065.11 c #Conflicts: 958000 | #Constraints: 149260
1062.33/1065.11 c #Conflicts: 959000 | #Constraints: 150260
1062.33/1065.11 c #Conflicts: 960000 | #Constraints: 151260
1062.33/1065.11 c #Conflicts: 961000 | #Constraints: 152260
1062.33/1065.11 c #Conflicts: 962000 | #Constraints: 153260
1062.33/1065.11 c #Conflicts: 963000 | #Constraints: 154260
1062.33/1065.11 c #Conflicts: 964000 | #Constraints: 155260
1062.33/1065.11 c #Conflicts: 965000 | #Constraints: 156260
1062.33/1065.11 c #Conflicts: 966000 | #Constraints: 157260
1062.33/1065.11 c #Conflicts: 967000 | #Constraints: 158260
1062.33/1065.11 c #Conflicts: 968000 | #Constraints: 159260
1062.33/1065.11 c #Conflicts: 969000 | #Constraints: 160260
1062.33/1065.11 c #Conflicts: 970000 | #Constraints: 161260
1062.33/1065.11 c #Conflicts: 971000 | #Constraints: 162260
1062.33/1065.11 c #Conflicts: 972000 | #Constraints: 163260
1062.33/1065.11 c #Conflicts: 973000 | #Constraints: 164260
1062.33/1065.11 c #Conflicts: 974000 | #Constraints: 165260
1062.33/1065.11 c #Conflicts: 975000 | #Constraints: 166260
1062.33/1065.11 c #Conflicts: 976000 | #Constraints: 167260
1062.33/1065.11 c #Conflicts: 977000 | #Constraints: 168260
1062.33/1065.11 c INPROCESSING
1062.33/1065.11 c GARBAGE COLLECT
1062.33/1065.11 c #Conflicts: 978000 | #Constraints: 139850
1167.05/1170.13 c #Conflicts: 979000 | #Constraints: 140850
1167.05/1170.13 c #Conflicts: 980000 | #Constraints: 141850
1167.05/1170.13 c #Conflicts: 981000 | #Constraints: 142850
1167.05/1170.13 c #Conflicts: 982000 | #Constraints: 143850
1167.05/1170.13 c #Conflicts: 983000 | #Constraints: 144850
1167.05/1170.13 c #Conflicts: 984000 | #Constraints: 145850
1167.05/1170.13 c #Conflicts: 985000 | #Constraints: 146850
1167.05/1170.13 c #Conflicts: 986000 | #Constraints: 147850
1167.05/1170.13 c #Conflicts: 987000 | #Constraints: 148850
1167.05/1170.13 c #Conflicts: 988000 | #Constraints: 149850
1167.05/1170.13 c #Conflicts: 989000 | #Constraints: 150850
1167.05/1170.13 c #Conflicts: 990000 | #Constraints: 151850
1167.05/1170.13 c #Conflicts: 991000 | #Constraints: 152850
1167.05/1170.13 c #Conflicts: 992000 | #Constraints: 153850
1167.05/1170.13 c #Conflicts: 993000 | #Constraints: 154850
1167.05/1170.13 c #Conflicts: 994000 | #Constraints: 155850
1167.05/1170.13 c #Conflicts: 995000 | #Constraints: 156850
1167.05/1170.13 c #Conflicts: 996000 | #Constraints: 157850
1167.05/1170.13 c #Conflicts: 997000 | #Constraints: 158850
1167.05/1170.13 c #Conflicts: 998000 | #Constraints: 159850
1167.05/1170.13 c #Conflicts: 999000 | #Constraints: 160850
1167.05/1170.13 c #Conflicts: 1000000 | #Constraints: 161850
1167.05/1170.13 c #Conflicts: 1001000 | #Constraints: 162850
1167.05/1170.13 c INPROCESSING
1167.05/1170.13 c GARBAGE COLLECT
1167.05/1170.13 c #Conflicts: 1002000 | #Constraints: 137091
1167.05/1170.13 c #Conflicts: 1003000 | #Constraints: 138091
1167.05/1170.13 c #Conflicts: 1004000 | #Constraints: 139091
1167.05/1170.13 c #Conflicts: 1005000 | #Constraints: 140091
1167.05/1170.13 c #Conflicts: 1006000 | #Constraints: 141091
1167.05/1170.13 c #Conflicts: 1007000 | #Constraints: 142091
1167.05/1170.13 c #Conflicts: 1008000 | #Constraints: 143091
1167.05/1170.13 c #Conflicts: 1009000 | #Constraints: 144091
1167.05/1170.13 c #Conflicts: 1010000 | #Constraints: 145091
1167.05/1170.13 c #Conflicts: 1011000 | #Constraints: 146091
1167.05/1170.13 c #Conflicts: 1012000 | #Constraints: 147091
1167.05/1170.13 c #Conflicts: 1013000 | #Constraints: 148091
1167.05/1170.13 c #Conflicts: 1014000 | #Constraints: 149091
1167.05/1170.13 c #Conflicts: 1015000 | #Constraints: 150091
1167.05/1170.13 c #Conflicts: 1016000 | #Constraints: 151091
1167.05/1170.13 c #Conflicts: 1017000 | #Constraints: 152091
1167.05/1170.13 c #Conflicts: 1018000 | #Constraints: 153091
1167.05/1170.13 c #Conflicts: 1019000 | #Constraints: 154091
1167.05/1170.13 c #Conflicts: 1020000 | #Constraints: 155091
1167.05/1170.13 c #Conflicts: 1021000 | #Constraints: 156091
1167.05/1170.13 c #Conflicts: 1022000 | #Constraints: 157091
1167.05/1170.13 c #Conflicts: 1023000 | #Constraints: 158091
1167.05/1170.13 c #Conflicts: 1024000 | #Constraints: 159091
1167.05/1170.13 c #Conflicts: 1025000 | #Constraints: 160091
1167.05/1170.13 c #Conflicts: 1026000 | #Constraints: 161091
1167.05/1170.13 c #Conflicts: 1027000 | #Constraints: 162091
1167.05/1170.13 c #Conflicts: 1028000 | #Constraints: 163091
1167.05/1170.13 c #Conflicts: 1029000 | #Constraints: 164091
1167.05/1170.13 c #Conflicts: 1030000 | #Constraints: 165091
1167.05/1170.13 c #Conflicts: 1031000 | #Constraints: 166091
1167.05/1170.13 c #Conflicts: 1032000 | #Constraints: 167091
1167.05/1170.13 c #Conflicts: 1033000 | #Constraints: 168091
1167.05/1170.13 c #Conflicts: 1034000 | #Constraints: 169091
1167.05/1170.13 c #Conflicts: 1035000 | #Constraints: 170091
1167.05/1170.13 c #Conflicts: 1036000 | #Constraints: 171091
1167.05/1170.13 c #Conflicts: 1037000 | #Constraints: 172091
1167.05/1170.13 c #Conflicts: 1038000 | #Constraints: 173091
1167.05/1170.13 c #Conflicts: 1039000 | #Constraints: 174091
1167.05/1170.13 c #Conflicts: 1040000 | #Constraints: 175091
1167.05/1170.13 c #Conflicts: 1041000 | #Constraints: 176091
1167.05/1170.13 c #Conflicts: 1042000 | #Constraints: 177091
1167.05/1170.13 c #Conflicts: 1043000 | #Constraints: 178091
1167.05/1170.13 c #Conflicts: 1044000 | #Constraints: 179091
1167.05/1170.13 c #Conflicts: 1045000 | #Constraints: 180091
1167.05/1170.13 c #Conflicts: 1046000 | #Constraints: 181091
1167.05/1170.13 c #Conflicts: 1047000 | #Constraints: 182091
1167.05/1170.13 c #Conflicts: 1048000 | #Constraints: 183091
1167.05/1170.13 c #Conflicts: 1049000 | #Constraints: 184091
1167.05/1170.13 c #Conflicts: 1050000 | #Constraints: 185091
1167.05/1170.13 c #Conflicts: 1051000 | #Constraints: 186091
1167.05/1170.13 c #Conflicts: 1052000 | #Constraints: 187091
1167.05/1170.13 c #Conflicts: 1053000 | #Constraints: 188091
1167.05/1170.13 c #Conflicts: 1054000 | #Constraints: 189091
1167.05/1170.13 c #Conflicts: 1055000 | #Constraints: 190091
1167.05/1170.13 c #Conflicts: 1056000 | #Constraints: 191091
1167.05/1170.13 c #Conflicts: 1057000 | #Constraints: 192091
1313.32/1316.80 c #Conflicts: 1058000 | #Constraints: 193091
1313.32/1316.80 c #Conflicts: 1059000 | #Constraints: 194091
1313.32/1316.80 c #Conflicts: 1060000 | #Constraints: 195091
1313.32/1316.80 c #Conflicts: 1061000 | #Constraints: 196091
1313.32/1316.80 c #Conflicts: 1062000 | #Constraints: 197091
1313.32/1316.80 c #Conflicts: 1063000 | #Constraints: 198091
1313.32/1316.80 c #Conflicts: 1064000 | #Constraints: 199091
1313.32/1316.80 c #Conflicts: 1065000 | #Constraints: 200091
1313.32/1316.80 c #Conflicts: 1066000 | #Constraints: 201091
1313.32/1316.80 c #Conflicts: 1067000 | #Constraints: 202091
1313.32/1316.80 c #Conflicts: 1068000 | #Constraints: 203091
1313.32/1316.80 c #Conflicts: 1069000 | #Constraints: 204091
1313.32/1316.80 c #Conflicts: 1070000 | #Constraints: 205091
1313.32/1316.80 c #Conflicts: 1071000 | #Constraints: 206091
1313.32/1316.80 c #Conflicts: 1072000 | #Constraints: 207091
1313.32/1316.80 c #Conflicts: 1073000 | #Constraints: 208091
1313.32/1316.80 c #Conflicts: 1074000 | #Constraints: 209091
1313.32/1316.80 c INPROCESSING
1313.32/1316.80 c GARBAGE COLLECT
1313.32/1316.80 c #Conflicts: 1075000 | #Constraints: 160249
1313.32/1316.80 c #Conflicts: 1076000 | #Constraints: 161249
1313.32/1316.80 c #Conflicts: 1077000 | #Constraints: 162249
1313.32/1316.80 c #Conflicts: 1078000 | #Constraints: 163249
1313.32/1316.80 c #Conflicts: 1079000 | #Constraints: 164249
1313.32/1316.80 c #Conflicts: 1080000 | #Constraints: 165249
1313.32/1316.80 c #Conflicts: 1081000 | #Constraints: 166249
1313.32/1316.80 c #Conflicts: 1082000 | #Constraints: 167249
1313.32/1316.80 c #Conflicts: 1083000 | #Constraints: 168249
1313.32/1316.80 c #Conflicts: 1084000 | #Constraints: 169249
1313.32/1316.80 c #Conflicts: 1085000 | #Constraints: 170249
1313.32/1316.80 c #Conflicts: 1086000 | #Constraints: 171249
1313.32/1316.80 c #Conflicts: 1087000 | #Constraints: 172249
1313.32/1316.80 c #Conflicts: 1088000 | #Constraints: 173249
1313.32/1316.80 c #Conflicts: 1089000 | #Constraints: 174249
1313.32/1316.80 c #Conflicts: 1090000 | #Constraints: 175249
1313.32/1316.80 c #Conflicts: 1091000 | #Constraints: 176249
1313.32/1316.80 c #Conflicts: 1092000 | #Constraints: 177249
1313.32/1316.80 c #Conflicts: 1093000 | #Constraints: 178249
1313.32/1316.80 c #Conflicts: 1094000 | #Constraints: 179249
1313.32/1316.80 c #Conflicts: 1095000 | #Constraints: 180249
1313.32/1316.80 c #Conflicts: 1096000 | #Constraints: 181249
1313.32/1316.80 c #Conflicts: 1097000 | #Constraints: 182249
1313.32/1316.80 c #Conflicts: 1098000 | #Constraints: 183249
1313.32/1316.80 c #Conflicts: 1099000 | #Constraints: 184249
1313.32/1316.80 c #Conflicts: 1100000 | #Constraints: 185249
1313.32/1316.80 c INPROCESSING
1313.32/1316.80 c GARBAGE COLLECT
1313.32/1316.80 c #Conflicts: 1101000 | #Constraints: 148623
1313.32/1316.80 c #Conflicts: 1102000 | #Constraints: 149623
1313.32/1316.80 c #Conflicts: 1103000 | #Constraints: 150623
1313.32/1316.80 c #Conflicts: 1104000 | #Constraints: 151623
1313.32/1316.80 c #Conflicts: 1105000 | #Constraints: 152623
1313.32/1316.80 c #Conflicts: 1106000 | #Constraints: 153623
1313.32/1316.80 c #Conflicts: 1107000 | #Constraints: 154623
1313.32/1316.80 c #Conflicts: 1108000 | #Constraints: 155623
1313.32/1316.80 c #Conflicts: 1109000 | #Constraints: 156623
1313.32/1316.80 c #Conflicts: 1110000 | #Constraints: 157623
1313.32/1316.80 c #Conflicts: 1111000 | #Constraints: 158623
1313.32/1316.80 c #Conflicts: 1112000 | #Constraints: 159623
1313.32/1316.80 c #Conflicts: 1113000 | #Constraints: 160623
1313.32/1316.80 c #Conflicts: 1114000 | #Constraints: 161623
1313.32/1316.80 c #Conflicts: 1115000 | #Constraints: 162623
1313.32/1316.80 c #Conflicts: 1116000 | #Constraints: 163623
1313.32/1316.80 c #Conflicts: 1117000 | #Constraints: 164623
1313.32/1316.80 c #Conflicts: 1118000 | #Constraints: 165623
1313.32/1316.80 c #Conflicts: 1119000 | #Constraints: 166623
1313.32/1316.80 c #Conflicts: 1120000 | #Constraints: 167623
1313.32/1316.80 c #Conflicts: 1121000 | #Constraints: 168623
1313.32/1316.80 c #Conflicts: 1122000 | #Constraints: 169623
1313.32/1316.80 c #Conflicts: 1123000 | #Constraints: 170623
1313.32/1316.80 c #Conflicts: 1124000 | #Constraints: 171623
1313.32/1316.80 c #Conflicts: 1125000 | #Constraints: 172623
1313.32/1316.80 c INPROCESSING
1313.32/1316.80 c GARBAGE COLLECT
1313.32/1316.80 c #Conflicts: 1126000 | #Constraints: 142043
1313.32/1316.80 c #Conflicts: 1127000 | #Constraints: 143043
1313.32/1316.80 c #Conflicts: 1128000 | #Constraints: 144043
1313.32/1316.80 c #Conflicts: 1129000 | #Constraints: 145043
1313.32/1316.80 c #Conflicts: 1130000 | #Constraints: 146043
1313.32/1316.80 c #Conflicts: 1131000 | #Constraints: 147043
1313.32/1316.80 c #Conflicts: 1132000 | #Constraints: 148043
1313.32/1316.80 c #Conflicts: 1133000 | #Constraints: 149043
1438.56/1442.49 c #Conflicts: 1134000 | #Constraints: 150043
1438.56/1442.49 c #Conflicts: 1135000 | #Constraints: 151043
1438.56/1442.49 c #Conflicts: 1136000 | #Constraints: 152043
1438.56/1442.49 c #Conflicts: 1137000 | #Constraints: 153043
1438.56/1442.49 c #Conflicts: 1138000 | #Constraints: 154043
1438.56/1442.49 c #Conflicts: 1139000 | #Constraints: 155043
1438.56/1442.49 c #Conflicts: 1140000 | #Constraints: 156043
1438.56/1442.49 c #Conflicts: 1141000 | #Constraints: 157043
1438.56/1442.49 c #Conflicts: 1142000 | #Constraints: 158043
1438.56/1442.49 c #Conflicts: 1143000 | #Constraints: 159043
1438.56/1442.49 c #Conflicts: 1144000 | #Constraints: 160043
1438.56/1442.49 c #Conflicts: 1145000 | #Constraints: 161043
1438.56/1442.49 c #Conflicts: 1146000 | #Constraints: 162043
1438.56/1442.49 c #Conflicts: 1147000 | #Constraints: 163043
1438.56/1442.49 c #Conflicts: 1148000 | #Constraints: 164043
1438.56/1442.49 c #Conflicts: 1149000 | #Constraints: 165043
1438.56/1442.49 c #Conflicts: 1150000 | #Constraints: 166043
1438.56/1442.49 c #Conflicts: 1151000 | #Constraints: 167043
1438.56/1442.49 c INPROCESSING
1438.56/1442.49 c GARBAGE COLLECT
1438.56/1442.49 c #Conflicts: 1152000 | #Constraints: 139332
1438.56/1442.49 c #Conflicts: 1153000 | #Constraints: 140332
1438.56/1442.49 c #Conflicts: 1154000 | #Constraints: 141332
1438.56/1442.49 c #Conflicts: 1155000 | #Constraints: 142332
1438.56/1442.49 c #Conflicts: 1156000 | #Constraints: 143332
1438.56/1442.49 c #Conflicts: 1157000 | #Constraints: 144332
1438.56/1442.49 c #Conflicts: 1158000 | #Constraints: 145332
1438.56/1442.49 c #Conflicts: 1159000 | #Constraints: 146332
1438.56/1442.49 c #Conflicts: 1160000 | #Constraints: 147332
1438.56/1442.49 c #Conflicts: 1161000 | #Constraints: 148332
1438.56/1442.49 c #Conflicts: 1162000 | #Constraints: 149332
1438.56/1442.49 c #Conflicts: 1163000 | #Constraints: 150332
1438.56/1442.49 c #Conflicts: 1164000 | #Constraints: 151332
1438.56/1442.49 c #Conflicts: 1165000 | #Constraints: 152332
1438.56/1442.49 c #Conflicts: 1166000 | #Constraints: 153332
1438.56/1442.49 c #Conflicts: 1167000 | #Constraints: 154332
1438.56/1442.49 c #Conflicts: 1168000 | #Constraints: 155332
1438.56/1442.49 c #Conflicts: 1169000 | #Constraints: 156332
1438.56/1442.49 c #Conflicts: 1170000 | #Constraints: 157332
1438.56/1442.49 c #Conflicts: 1171000 | #Constraints: 158332
1438.56/1442.49 c #Conflicts: 1172000 | #Constraints: 159332
1438.56/1442.49 c #Conflicts: 1173000 | #Constraints: 160332
1438.56/1442.49 c #Conflicts: 1174000 | #Constraints: 161332
1438.56/1442.49 c #Conflicts: 1175000 | #Constraints: 162332
1438.56/1442.49 c #Conflicts: 1176000 | #Constraints: 163332
1438.56/1442.49 c #Conflicts: 1177000 | #Constraints: 164332
1438.56/1442.49 c #Conflicts: 1178000 | #Constraints: 165332
1438.56/1442.49 c #Conflicts: 1179000 | #Constraints: 166332
1438.56/1442.49 c #Conflicts: 1180000 | #Constraints: 167332
1438.56/1442.49 c #Conflicts: 1181000 | #Constraints: 168332
1438.56/1442.49 c #Conflicts: 1182000 | #Constraints: 169332
1438.56/1442.49 c #Conflicts: 1183000 | #Constraints: 170332
1438.56/1442.49 c #Conflicts: 1184000 | #Constraints: 171332
1438.56/1442.49 c #Conflicts: 1185000 | #Constraints: 172332
1438.56/1442.49 c #Conflicts: 1186000 | #Constraints: 173332
1438.56/1442.49 c #Conflicts: 1187000 | #Constraints: 174332
1438.56/1442.49 c #Conflicts: 1188000 | #Constraints: 175332
1438.56/1442.49 c #Conflicts: 1189000 | #Constraints: 176332
1438.56/1442.49 c #Conflicts: 1190000 | #Constraints: 177332
1438.56/1442.49 c #Conflicts: 1191000 | #Constraints: 178332
1438.56/1442.49 c #Conflicts: 1192000 | #Constraints: 179332
1438.56/1442.49 c #Conflicts: 1193000 | #Constraints: 180332
1438.56/1442.49 c #Conflicts: 1194000 | #Constraints: 181332
1438.56/1442.49 c #Conflicts: 1195000 | #Constraints: 182332
1438.56/1442.49 c #Conflicts: 1196000 | #Constraints: 183332
1438.56/1442.49 c #Conflicts: 1197000 | #Constraints: 184332
1438.56/1442.49 c #Conflicts: 1198000 | #Constraints: 185332
1438.56/1442.49 c #Conflicts: 1199000 | #Constraints: 186332
1438.56/1442.49 c #Conflicts: 1200000 | #Constraints: 187332
1438.56/1442.49 c #Conflicts: 1201000 | #Constraints: 188332
1438.56/1442.49 c #Conflicts: 1202000 | #Constraints: 189332
1438.56/1442.49 c #Conflicts: 1203000 | #Constraints: 190332
1438.56/1442.49 c #Conflicts: 1204000 | #Constraints: 191332
1438.56/1442.49 c #Conflicts: 1205000 | #Constraints: 192332
1438.56/1442.49 c #Conflicts: 1206000 | #Constraints: 193332
1438.56/1442.49 c #Conflicts: 1207000 | #Constraints: 194332
1438.56/1442.49 c #Conflicts: 1208000 | #Constraints: 195332
1438.56/1442.49 c #Conflicts: 1209000 | #Constraints: 196332
1438.56/1442.49 c #Conflicts: 1210000 | #Constraints: 197332
1438.56/1442.49 c #Conflicts: 1211000 | #Constraints: 198332
1438.56/1442.49 c #Conflicts: 1212000 | #Constraints: 199332
1615.03/1619.44 c #Conflicts: 1213000 | #Constraints: 200332
1615.03/1619.44 c #Conflicts: 1214000 | #Constraints: 201332
1615.03/1619.44 c #Conflicts: 1215000 | #Constraints: 202332
1615.03/1619.44 c #Conflicts: 1216000 | #Constraints: 203332
1615.03/1619.44 c #Conflicts: 1217000 | #Constraints: 204332
1615.03/1619.44 c #Conflicts: 1218000 | #Constraints: 205332
1615.03/1619.44 c #Conflicts: 1219000 | #Constraints: 206332
1615.03/1619.44 c #Conflicts: 1220000 | #Constraints: 207332
1615.03/1619.44 c #Conflicts: 1221000 | #Constraints: 208332
1615.03/1619.44 c #Conflicts: 1222000 | #Constraints: 209332
1615.03/1619.44 c #Conflicts: 1223000 | #Constraints: 210332
1615.03/1619.44 c #Conflicts: 1224000 | #Constraints: 211332
1615.03/1619.44 c #Conflicts: 1225000 | #Constraints: 212332
1615.03/1619.44 c #Conflicts: 1226000 | #Constraints: 213332
1615.03/1619.44 c #Conflicts: 1227000 | #Constraints: 214332
1615.03/1619.44 c #Conflicts: 1228000 | #Constraints: 215332
1615.03/1619.44 c #Conflicts: 1229000 | #Constraints: 216332
1615.03/1619.44 c INPROCESSING
1615.03/1619.44 c GARBAGE COLLECT
1615.03/1619.44 c #Conflicts: 1230000 | #Constraints: 163878
1615.03/1619.44 c #Conflicts: 1231000 | #Constraints: 164878
1615.03/1619.44 c #Conflicts: 1232000 | #Constraints: 165878
1615.03/1619.44 c #Conflicts: 1233000 | #Constraints: 166878
1615.03/1619.44 c #Conflicts: 1234000 | #Constraints: 167878
1615.03/1619.44 c #Conflicts: 1235000 | #Constraints: 168878
1615.03/1619.44 c #Conflicts: 1236000 | #Constraints: 169878
1615.03/1619.44 c #Conflicts: 1237000 | #Constraints: 170878
1615.03/1619.44 c #Conflicts: 1238000 | #Constraints: 171878
1615.03/1619.44 c #Conflicts: 1239000 | #Constraints: 172878
1615.03/1619.44 c #Conflicts: 1240000 | #Constraints: 173878
1615.03/1619.44 c #Conflicts: 1241000 | #Constraints: 174878
1615.03/1619.44 c #Conflicts: 1242000 | #Constraints: 175878
1615.03/1619.44 c #Conflicts: 1243000 | #Constraints: 176878
1615.03/1619.44 c #Conflicts: 1244000 | #Constraints: 177878
1615.03/1619.44 c #Conflicts: 1245000 | #Constraints: 178878
1615.03/1619.44 c #Conflicts: 1246000 | #Constraints: 179878
1615.03/1619.44 c #Conflicts: 1247000 | #Constraints: 180878
1615.03/1619.44 c #Conflicts: 1248000 | #Constraints: 181878
1615.03/1619.44 c #Conflicts: 1249000 | #Constraints: 182878
1615.03/1619.44 c #Conflicts: 1250000 | #Constraints: 183878
1615.03/1619.44 c #Conflicts: 1251000 | #Constraints: 184878
1615.03/1619.44 c #Conflicts: 1252000 | #Constraints: 185878
1615.03/1619.44 c #Conflicts: 1253000 | #Constraints: 186878
1615.03/1619.44 c #Conflicts: 1254000 | #Constraints: 187878
1615.03/1619.44 c #Conflicts: 1255000 | #Constraints: 188878
1615.03/1619.44 c #Conflicts: 1256000 | #Constraints: 189878
1615.03/1619.44 c INPROCESSING
1615.03/1619.44 c GARBAGE COLLECT
1615.03/1619.44 c #Conflicts: 1257000 | #Constraints: 150579
1615.03/1619.44 c #Conflicts: 1258000 | #Constraints: 151579
1615.03/1619.44 c #Conflicts: 1259000 | #Constraints: 152579
1615.03/1619.44 c #Conflicts: 1260000 | #Constraints: 153579
1615.03/1619.44 c #Conflicts: 1261000 | #Constraints: 154579
1615.03/1619.44 c #Conflicts: 1262000 | #Constraints: 155579
1615.03/1619.44 c #Conflicts: 1263000 | #Constraints: 156579
1615.03/1619.44 c #Conflicts: 1264000 | #Constraints: 157579
1615.03/1619.44 c #Conflicts: 1265000 | #Constraints: 158579
1615.03/1619.44 c #Conflicts: 1266000 | #Constraints: 159579
1615.03/1619.44 c #Conflicts: 1267000 | #Constraints: 160579
1615.03/1619.44 c #Conflicts: 1268000 | #Constraints: 161579
1615.03/1619.44 c #Conflicts: 1269000 | #Constraints: 162579
1615.03/1619.44 c #Conflicts: 1270000 | #Constraints: 163579
1615.03/1619.44 c #Conflicts: 1271000 | #Constraints: 164579
1615.03/1619.44 c #Conflicts: 1272000 | #Constraints: 165579
1615.03/1619.44 c #Conflicts: 1273000 | #Constraints: 166579
1615.03/1619.44 c #Conflicts: 1274000 | #Constraints: 167579
1615.03/1619.44 c #Conflicts: 1275000 | #Constraints: 168579
1615.03/1619.44 c #Conflicts: 1276000 | #Constraints: 169579
1615.03/1619.44 c #Conflicts: 1277000 | #Constraints: 170579
1615.03/1619.44 c #Conflicts: 1278000 | #Constraints: 171579
1615.03/1619.44 c #Conflicts: 1279000 | #Constraints: 172579
1615.03/1619.44 c #Conflicts: 1280000 | #Constraints: 173579
1615.03/1619.44 c #Conflicts: 1281000 | #Constraints: 174579
1615.03/1619.44 c #Conflicts: 1282000 | #Constraints: 175579
1615.03/1619.44 c #Conflicts: 1283000 | #Constraints: 176579
1615.03/1619.44 c #Conflicts: 1284000 | #Constraints: 177579
1615.03/1619.44 c INPROCESSING
1615.03/1619.44 c GARBAGE COLLECT
1615.03/1619.44 c #Conflicts: 1285000 | #Constraints: 144802
1615.03/1619.44 c #Conflicts: 1286000 | #Constraints: 145802
1615.03/1619.44 c #Conflicts: 1287000 | #Constraints: 146802
1615.03/1619.44 c #Conflicts: 1288000 | #Constraints: 147802
1740.90/1745.64 c #Conflicts: 1289000 | #Constraints: 148802
1740.90/1745.64 c #Conflicts: 1290000 | #Constraints: 149802
1740.90/1745.64 c #Conflicts: 1291000 | #Constraints: 150802
1740.90/1745.64 c #Conflicts: 1292000 | #Constraints: 151802
1740.90/1745.64 c #Conflicts: 1293000 | #Constraints: 152802
1740.90/1745.64 c #Conflicts: 1294000 | #Constraints: 153802
1740.90/1745.64 c #Conflicts: 1295000 | #Constraints: 154802
1740.90/1745.64 c #Conflicts: 1296000 | #Constraints: 155802
1740.90/1745.64 c #Conflicts: 1297000 | #Constraints: 156802
1740.90/1745.64 c #Conflicts: 1298000 | #Constraints: 157802
1740.90/1745.64 c #Conflicts: 1299000 | #Constraints: 158802
1740.90/1745.64 c #Conflicts: 1300000 | #Constraints: 159802
1740.90/1745.64 c #Conflicts: 1301000 | #Constraints: 160802
1740.90/1745.64 c #Conflicts: 1302000 | #Constraints: 161802
1740.90/1745.64 c #Conflicts: 1303000 | #Constraints: 162802
1740.90/1745.64 c #Conflicts: 1304000 | #Constraints: 163802
1740.90/1745.64 c #Conflicts: 1305000 | #Constraints: 164802
1740.90/1745.64 c #Conflicts: 1306000 | #Constraints: 165802
1740.90/1745.64 c #Conflicts: 1307000 | #Constraints: 166802
1740.90/1745.64 c #Conflicts: 1308000 | #Constraints: 167802
1740.90/1745.64 c #Conflicts: 1309000 | #Constraints: 168802
1740.90/1745.64 c #Conflicts: 1310000 | #Constraints: 169802
1740.90/1745.64 c #Conflicts: 1311000 | #Constraints: 170802
1740.90/1745.64 c INPROCESSING
1740.90/1745.64 c GARBAGE COLLECT
1740.90/1745.64 c #Conflicts: 1312000 | #Constraints: 141166
1740.90/1745.64 c #Conflicts: 1313000 | #Constraints: 142166
1740.90/1745.64 c #Conflicts: 1314000 | #Constraints: 143166
1740.90/1745.64 c #Conflicts: 1315000 | #Constraints: 144166
1740.90/1745.64 c #Conflicts: 1316000 | #Constraints: 145166
1740.90/1745.64 c #Conflicts: 1317000 | #Constraints: 146166
1740.90/1745.64 c #Conflicts: 1318000 | #Constraints: 147166
1740.90/1745.64 c #Conflicts: 1319000 | #Constraints: 148166
1740.90/1745.64 c #Conflicts: 1320000 | #Constraints: 149166
1740.90/1745.64 c #Conflicts: 1321000 | #Constraints: 150166
1740.90/1745.64 c #Conflicts: 1322000 | #Constraints: 151166
1740.90/1745.64 c #Conflicts: 1323000 | #Constraints: 152166
1740.90/1745.64 c #Conflicts: 1324000 | #Constraints: 153166
1740.90/1745.64 c #Conflicts: 1325000 | #Constraints: 154166
1740.90/1745.64 c #Conflicts: 1326000 | #Constraints: 155166
1740.90/1745.64 c #Conflicts: 1327000 | #Constraints: 156166
1740.90/1745.64 c #Conflicts: 1328000 | #Constraints: 157166
1740.90/1745.64 c #Conflicts: 1329000 | #Constraints: 158166
1740.90/1745.64 c #Conflicts: 1330000 | #Constraints: 159166
1740.90/1745.64 c #Conflicts: 1331000 | #Constraints: 160166
1740.90/1745.64 c #Conflicts: 1332000 | #Constraints: 161166
1740.90/1745.64 c #Conflicts: 1333000 | #Constraints: 162166
1740.90/1745.64 c #Conflicts: 1334000 | #Constraints: 163166
1740.90/1745.64 c #Conflicts: 1335000 | #Constraints: 164166
1740.90/1745.64 c #Conflicts: 1336000 | #Constraints: 165166
1740.90/1745.64 c #Conflicts: 1337000 | #Constraints: 166166
1740.90/1745.64 c #Conflicts: 1338000 | #Constraints: 167166
1740.90/1745.64 c #Conflicts: 1339000 | #Constraints: 168166
1740.90/1745.64 c #Conflicts: 1340000 | #Constraints: 169166
1740.90/1745.64 c #Conflicts: 1341000 | #Constraints: 170166
1740.90/1745.64 c #Conflicts: 1342000 | #Constraints: 171166
1740.90/1745.64 c #Conflicts: 1343000 | #Constraints: 172166
1740.90/1745.64 c #Conflicts: 1344000 | #Constraints: 173166
1740.90/1745.64 c #Conflicts: 1345000 | #Constraints: 174166
1740.90/1745.64 c #Conflicts: 1346000 | #Constraints: 175166
1740.90/1745.64 c #Conflicts: 1347000 | #Constraints: 176166
1740.90/1745.64 c #Conflicts: 1348000 | #Constraints: 177166
1740.90/1745.64 c #Conflicts: 1349000 | #Constraints: 178166
1740.90/1745.64 c #Conflicts: 1350000 | #Constraints: 179166
1740.90/1745.64 c #Conflicts: 1351000 | #Constraints: 180166
1740.90/1745.64 c #Conflicts: 1352000 | #Constraints: 181166
1740.90/1745.64 c #Conflicts: 1353000 | #Constraints: 182166
1740.90/1745.64 c #Conflicts: 1354000 | #Constraints: 183166
1740.90/1745.64 c #Conflicts: 1355000 | #Constraints: 184166
1740.90/1745.64 c #Conflicts: 1356000 | #Constraints: 185166
1740.90/1745.64 c #Conflicts: 1357000 | #Constraints: 186166
1740.90/1745.64 c #Conflicts: 1358000 | #Constraints: 187166
1740.90/1745.64 c #Conflicts: 1359000 | #Constraints: 188166
1740.90/1745.64 c #Conflicts: 1360000 | #Constraints: 189166
1740.90/1745.64 c #Conflicts: 1361000 | #Constraints: 190166
1740.90/1745.64 c #Conflicts: 1362000 | #Constraints: 191166
1740.90/1745.64 c #Conflicts: 1363000 | #Constraints: 192166
1740.90/1745.64 c #Conflicts: 1364000 | #Constraints: 193166
1740.90/1745.64 c #Conflicts: 1365000 | #Constraints: 194166
1740.90/1745.64 c #Conflicts: 1366000 | #Constraints: 195166
1740.90/1745.64 c #Conflicts: 1367000 | #Constraints: 196166
1932.00/1937.23 c #Conflicts: 1368000 | #Constraints: 197166
1932.00/1937.23 c #Conflicts: 1369000 | #Constraints: 198166
1932.00/1937.23 c #Conflicts: 1370000 | #Constraints: 199166
1932.00/1937.23 c #Conflicts: 1371000 | #Constraints: 200166
1932.00/1937.23 c #Conflicts: 1372000 | #Constraints: 201166
1932.00/1937.23 c #Conflicts: 1373000 | #Constraints: 202166
1932.00/1937.23 c #Conflicts: 1374000 | #Constraints: 203166
1932.00/1937.23 c #Conflicts: 1375000 | #Constraints: 204166
1932.00/1937.23 c #Conflicts: 1376000 | #Constraints: 205166
1932.00/1937.23 c #Conflicts: 1377000 | #Constraints: 206166
1932.00/1937.23 c #Conflicts: 1378000 | #Constraints: 207166
1932.00/1937.23 c #Conflicts: 1379000 | #Constraints: 208166
1932.00/1937.23 c #Conflicts: 1380000 | #Constraints: 209166
1932.00/1937.23 c #Conflicts: 1381000 | #Constraints: 210166
1932.00/1937.23 c #Conflicts: 1382000 | #Constraints: 211166
1932.00/1937.23 c #Conflicts: 1383000 | #Constraints: 212166
1932.00/1937.23 c #Conflicts: 1384000 | #Constraints: 213166
1932.00/1937.23 c #Conflicts: 1385000 | #Constraints: 214166
1932.00/1937.23 c #Conflicts: 1386000 | #Constraints: 215166
1932.00/1937.23 c #Conflicts: 1387000 | #Constraints: 216166
1932.00/1937.23 c #Conflicts: 1388000 | #Constraints: 217166
1932.00/1937.23 c #Conflicts: 1389000 | #Constraints: 218166
1932.00/1937.23 c #Conflicts: 1390000 | #Constraints: 219166
1932.00/1937.23 c #Conflicts: 1391000 | #Constraints: 220166
1932.00/1937.23 c #Conflicts: 1392000 | #Constraints: 221166
1932.00/1937.23 c #Conflicts: 1393000 | #Constraints: 222166
1932.00/1937.23 c #Conflicts: 1394000 | #Constraints: 223166
1932.00/1937.23 c #Conflicts: 1395000 | #Constraints: 224166
1932.00/1937.23 c INPROCESSING
1932.00/1937.23 c GARBAGE COLLECT
1932.00/1937.23 c #Conflicts: 1396000 | #Constraints: 168083
1932.00/1937.23 c #Conflicts: 1397000 | #Constraints: 169083
1932.00/1937.23 c #Conflicts: 1398000 | #Constraints: 170083
1932.00/1937.23 c #Conflicts: 1399000 | #Constraints: 171083
1932.00/1937.23 c #Conflicts: 1400000 | #Constraints: 172083
1932.00/1937.23 c #Conflicts: 1401000 | #Constraints: 173083
1932.00/1937.23 c #Conflicts: 1402000 | #Constraints: 174083
1932.00/1937.23 c #Conflicts: 1403000 | #Constraints: 175083
1932.00/1937.23 c #Conflicts: 1404000 | #Constraints: 176083
1932.00/1937.23 c #Conflicts: 1405000 | #Constraints: 177083
1932.00/1937.23 c #Conflicts: 1406000 | #Constraints: 178083
1932.00/1937.23 c #Conflicts: 1407000 | #Constraints: 179083
1932.00/1937.23 c #Conflicts: 1408000 | #Constraints: 180083
1932.00/1937.23 c #Conflicts: 1409000 | #Constraints: 181083
1932.00/1937.23 c #Conflicts: 1410000 | #Constraints: 182083
1932.00/1937.23 c #Conflicts: 1411000 | #Constraints: 183083
1932.00/1937.23 c #Conflicts: 1412000 | #Constraints: 184083
1932.00/1937.23 c #Conflicts: 1413000 | #Constraints: 185083
1932.00/1937.23 c #Conflicts: 1414000 | #Constraints: 186083
1932.00/1937.23 c #Conflicts: 1415000 | #Constraints: 187083
1932.00/1937.23 c #Conflicts: 1416000 | #Constraints: 188083
1932.00/1937.23 c #Conflicts: 1417000 | #Constraints: 189083
1932.00/1937.23 c #Conflicts: 1418000 | #Constraints: 190083
1932.00/1937.23 c #Conflicts: 1419000 | #Constraints: 191083
1932.00/1937.23 c #Conflicts: 1420000 | #Constraints: 192083
1932.00/1937.23 c #Conflicts: 1421000 | #Constraints: 193083
1932.00/1937.23 c #Conflicts: 1422000 | #Constraints: 194083
1932.00/1937.23 c #Conflicts: 1423000 | #Constraints: 195083
1932.00/1937.23 c INPROCESSING
1932.00/1937.23 c GARBAGE COLLECT
1932.00/1937.23 c #Conflicts: 1424000 | #Constraints: 153143
1932.00/1937.23 c #Conflicts: 1425000 | #Constraints: 154143
1932.00/1937.23 c #Conflicts: 1426000 | #Constraints: 155143
1932.00/1937.23 c #Conflicts: 1427000 | #Constraints: 156143
1932.00/1937.23 c #Conflicts: 1428000 | #Constraints: 157143
1932.00/1937.23 c #Conflicts: 1429000 | #Constraints: 158143
1932.00/1937.23 c #Conflicts: 1430000 | #Constraints: 159143
1932.00/1937.23 c #Conflicts: 1431000 | #Constraints: 160143
1932.00/1937.23 c #Conflicts: 1432000 | #Constraints: 161143
1932.00/1937.23 c #Conflicts: 1433000 | #Constraints: 162143
1932.00/1937.23 c #Conflicts: 1434000 | #Constraints: 163143
1932.00/1937.23 c #Conflicts: 1435000 | #Constraints: 164143
1932.00/1937.23 c #Conflicts: 1436000 | #Constraints: 165143
1932.00/1937.23 c #Conflicts: 1437000 | #Constraints: 166143
1932.00/1937.23 c #Conflicts: 1438000 | #Constraints: 167143
1932.00/1937.23 c #Conflicts: 1439000 | #Constraints: 168143
1932.00/1937.23 c #Conflicts: 1440000 | #Constraints: 169143
1932.00/1937.23 c #Conflicts: 1441000 | #Constraints: 170143
1932.00/1937.23 c #Conflicts: 1442000 | #Constraints: 171143
1932.00/1937.23 c #Conflicts: 1443000 | #Constraints: 172143
1932.00/1937.23 c #Conflicts: 1444000 | #Constraints: 173143
2047.81/2053.36 c #Conflicts: 1445000 | #Constraints: 174143
2047.81/2053.36 c #Conflicts: 1446000 | #Constraints: 175143
2047.81/2053.36 c #Conflicts: 1447000 | #Constraints: 176143
2047.81/2053.36 c #Conflicts: 1448000 | #Constraints: 177143
2047.81/2053.36 c #Conflicts: 1449000 | #Constraints: 178143
2047.81/2053.36 c #Conflicts: 1450000 | #Constraints: 179143
2047.81/2053.36 c #Conflicts: 1451000 | #Constraints: 180143
2047.81/2053.36 c #Conflicts: 1452000 | #Constraints: 181143
2047.81/2053.36 c INPROCESSING
2047.81/2053.36 c GARBAGE COLLECT
2047.81/2053.36 c #Conflicts: 1453000 | #Constraints: 146203
2047.81/2053.36 c #Conflicts: 1454000 | #Constraints: 147203
2047.81/2053.36 c #Conflicts: 1455000 | #Constraints: 148203
2047.81/2053.36 c #Conflicts: 1456000 | #Constraints: 149203
2047.81/2053.36 c #Conflicts: 1457000 | #Constraints: 150203
2047.81/2053.36 c #Conflicts: 1458000 | #Constraints: 151203
2047.81/2053.36 c #Conflicts: 1459000 | #Constraints: 152203
2047.81/2053.36 c #Conflicts: 1460000 | #Constraints: 153203
2047.81/2053.36 c #Conflicts: 1461000 | #Constraints: 154203
2047.81/2053.36 c #Conflicts: 1462000 | #Constraints: 155203
2047.81/2053.36 c #Conflicts: 1463000 | #Constraints: 156203
2047.81/2053.36 c #Conflicts: 1464000 | #Constraints: 157203
2047.81/2053.36 c #Conflicts: 1465000 | #Constraints: 158203
2047.81/2053.36 c #Conflicts: 1466000 | #Constraints: 159203
2047.81/2053.36 c #Conflicts: 1467000 | #Constraints: 160203
2047.81/2053.36 c #Conflicts: 1468000 | #Constraints: 161203
2047.81/2053.36 c #Conflicts: 1469000 | #Constraints: 162203
2047.81/2053.36 c #Conflicts: 1470000 | #Constraints: 163203
2047.81/2053.36 c #Conflicts: 1471000 | #Constraints: 164203
2047.81/2053.36 c #Conflicts: 1472000 | #Constraints: 165203
2047.81/2053.36 c #Conflicts: 1473000 | #Constraints: 166203
2047.81/2053.36 c #Conflicts: 1474000 | #Constraints: 167203
2047.81/2053.36 c #Conflicts: 1475000 | #Constraints: 168203
2047.81/2053.36 c #Conflicts: 1476000 | #Constraints: 169203
2047.81/2053.36 c #Conflicts: 1477000 | #Constraints: 170203
2047.81/2053.36 c #Conflicts: 1478000 | #Constraints: 171203
2047.81/2053.36 c #Conflicts: 1479000 | #Constraints: 172203
2047.81/2053.36 c #Conflicts: 1480000 | #Constraints: 173203
2047.81/2053.36 c #Conflicts: 1481000 | #Constraints: 174203
2047.81/2053.36 c #Conflicts: 1482000 | #Constraints: 175203
2047.81/2053.36 c INPROCESSING
2047.81/2053.36 c GARBAGE COLLECT
2047.81/2053.36 c #Conflicts: 1483000 | #Constraints: 143604
2047.81/2053.36 c #Conflicts: 1484000 | #Constraints: 144604
2047.81/2053.36 c #Conflicts: 1485000 | #Constraints: 145604
2047.81/2053.36 c #Conflicts: 1486000 | #Constraints: 146604
2047.81/2053.36 c #Conflicts: 1487000 | #Constraints: 147604
2047.81/2053.36 c #Conflicts: 1488000 | #Constraints: 148604
2047.81/2053.36 c #Conflicts: 1489000 | #Constraints: 149604
2047.81/2053.36 c #Conflicts: 1490000 | #Constraints: 150604
2047.81/2053.36 c #Conflicts: 1491000 | #Constraints: 151604
2047.81/2053.36 c #Conflicts: 1492000 | #Constraints: 152604
2047.81/2053.36 c #Conflicts: 1493000 | #Constraints: 153604
2047.81/2053.36 c #Conflicts: 1494000 | #Constraints: 154604
2047.81/2053.36 c #Conflicts: 1495000 | #Constraints: 155604
2047.81/2053.36 c #Conflicts: 1496000 | #Constraints: 156604
2047.81/2053.36 c #Conflicts: 1497000 | #Constraints: 157604
2047.81/2053.36 c #Conflicts: 1498000 | #Constraints: 158604
2047.81/2053.36 c #Conflicts: 1499000 | #Constraints: 159604
2047.81/2053.36 c #Conflicts: 1500000 | #Constraints: 160604
2047.81/2053.36 c #Conflicts: 1501000 | #Constraints: 161604
2047.81/2053.36 c #Conflicts: 1502000 | #Constraints: 162604
2047.81/2053.36 c #Conflicts: 1503000 | #Constraints: 163604
2047.81/2053.36 c #Conflicts: 1504000 | #Constraints: 164604
2047.81/2053.36 c #Conflicts: 1505000 | #Constraints: 165604
2047.81/2053.36 c #Conflicts: 1506000 | #Constraints: 166604
2047.81/2053.36 c #Conflicts: 1507000 | #Constraints: 167604
2047.81/2053.36 c #Conflicts: 1508000 | #Constraints: 168604
2047.81/2053.36 c #Conflicts: 1509000 | #Constraints: 169604
2047.81/2053.36 c #Conflicts: 1510000 | #Constraints: 170604
2047.81/2053.36 c #Conflicts: 1511000 | #Constraints: 171604
2047.81/2053.36 c #Conflicts: 1512000 | #Constraints: 172604
2047.81/2053.36 c #Conflicts: 1513000 | #Constraints: 173604
2047.81/2053.36 c #Conflicts: 1514000 | #Constraints: 174604
2047.81/2053.36 c #Conflicts: 1515000 | #Constraints: 175604
2047.81/2053.36 c #Conflicts: 1516000 | #Constraints: 176604
2047.81/2053.36 c #Conflicts: 1517000 | #Constraints: 177604
2047.81/2053.36 c #Conflicts: 1518000 | #Constraints: 178604
2047.81/2053.36 c #Conflicts: 1519000 | #Constraints: 179604
2047.81/2053.36 c #Conflicts: 1520000 | #Constraints: 180604
2047.81/2053.36 c #Conflicts: 1521000 | #Constraints: 181604
2047.81/2053.36 c #Conflicts: 1522000 | #Constraints: 182604
2275.70/2281.83 c #Conflicts: 1523000 | #Constraints: 183604
2275.70/2281.83 c #Conflicts: 1524000 | #Constraints: 184604
2275.70/2281.83 c #Conflicts: 1525000 | #Constraints: 185604
2275.70/2281.83 c #Conflicts: 1526000 | #Constraints: 186604
2275.70/2281.83 c #Conflicts: 1527000 | #Constraints: 187604
2275.70/2281.83 c #Conflicts: 1528000 | #Constraints: 188604
2275.70/2281.83 c #Conflicts: 1529000 | #Constraints: 189604
2275.70/2281.83 c #Conflicts: 1530000 | #Constraints: 190604
2275.70/2281.83 c #Conflicts: 1531000 | #Constraints: 191604
2275.70/2281.83 c #Conflicts: 1532000 | #Constraints: 192604
2275.70/2281.83 c #Conflicts: 1533000 | #Constraints: 193604
2275.70/2281.83 c #Conflicts: 1534000 | #Constraints: 194604
2275.70/2281.83 c #Conflicts: 1535000 | #Constraints: 195604
2275.70/2281.83 c #Conflicts: 1536000 | #Constraints: 196604
2275.70/2281.83 c #Conflicts: 1537000 | #Constraints: 197604
2275.70/2281.83 c #Conflicts: 1538000 | #Constraints: 198604
2275.70/2281.83 c #Conflicts: 1539000 | #Constraints: 199604
2275.70/2281.83 c #Conflicts: 1540000 | #Constraints: 200604
2275.70/2281.83 c #Conflicts: 1541000 | #Constraints: 201604
2275.70/2281.83 c #Conflicts: 1542000 | #Constraints: 202604
2275.70/2281.83 c #Conflicts: 1543000 | #Constraints: 203604
2275.70/2281.83 c #Conflicts: 1544000 | #Constraints: 204604
2275.70/2281.83 c #Conflicts: 1545000 | #Constraints: 205604
2275.70/2281.83 c #Conflicts: 1546000 | #Constraints: 206604
2275.70/2281.83 c #Conflicts: 1547000 | #Constraints: 207604
2275.70/2281.83 c #Conflicts: 1548000 | #Constraints: 208604
2275.70/2281.83 c #Conflicts: 1549000 | #Constraints: 209604
2275.70/2281.83 c #Conflicts: 1550000 | #Constraints: 210604
2275.70/2281.83 c #Conflicts: 1551000 | #Constraints: 211604
2275.70/2281.83 c #Conflicts: 1552000 | #Constraints: 212604
2275.70/2281.83 c #Conflicts: 1553000 | #Constraints: 213604
2275.70/2281.83 c #Conflicts: 1554000 | #Constraints: 214604
2275.70/2281.83 c #Conflicts: 1555000 | #Constraints: 215604
2275.70/2281.83 c #Conflicts: 1556000 | #Constraints: 216604
2275.70/2281.83 c #Conflicts: 1557000 | #Constraints: 217604
2275.70/2281.83 c #Conflicts: 1558000 | #Constraints: 218604
2275.70/2281.83 c #Conflicts: 1559000 | #Constraints: 219604
2275.70/2281.83 c #Conflicts: 1560000 | #Constraints: 220604
2275.70/2281.83 c #Conflicts: 1561000 | #Constraints: 221604
2275.70/2281.83 c #Conflicts: 1562000 | #Constraints: 222604
2275.70/2281.83 c #Conflicts: 1563000 | #Constraints: 223604
2275.70/2281.83 c #Conflicts: 1564000 | #Constraints: 224604
2275.70/2281.83 c #Conflicts: 1565000 | #Constraints: 225604
2275.70/2281.83 c #Conflicts: 1566000 | #Constraints: 226604
2275.70/2281.83 c #Conflicts: 1567000 | #Constraints: 227604
2275.70/2281.83 c #Conflicts: 1568000 | #Constraints: 228604
2275.70/2281.83 c #Conflicts: 1569000 | #Constraints: 229604
2275.70/2281.83 c #Conflicts: 1570000 | #Constraints: 230604
2275.70/2281.83 c INPROCESSING
2275.70/2281.83 c GARBAGE COLLECT
2275.70/2281.83 c #Conflicts: 1571000 | #Constraints: 170909
2275.70/2281.83 c #Conflicts: 1572000 | #Constraints: 171909
2275.70/2281.83 c #Conflicts: 1573000 | #Constraints: 172909
2275.70/2281.83 c #Conflicts: 1574000 | #Constraints: 173909
2275.70/2281.83 c #Conflicts: 1575000 | #Constraints: 174909
2275.70/2281.83 c #Conflicts: 1576000 | #Constraints: 175909
2275.70/2281.83 c #Conflicts: 1577000 | #Constraints: 176909
2275.70/2281.83 c #Conflicts: 1578000 | #Constraints: 177909
2275.70/2281.83 c #Conflicts: 1579000 | #Constraints: 178909
2275.70/2281.83 c #Conflicts: 1580000 | #Constraints: 179909
2275.70/2281.83 c #Conflicts: 1581000 | #Constraints: 180909
2275.70/2281.83 c #Conflicts: 1582000 | #Constraints: 181909
2275.70/2281.83 c #Conflicts: 1583000 | #Constraints: 182909
2275.70/2281.83 c #Conflicts: 1584000 | #Constraints: 183909
2275.70/2281.83 c #Conflicts: 1585000 | #Constraints: 184909
2275.70/2281.83 c #Conflicts: 1586000 | #Constraints: 185909
2275.70/2281.83 c #Conflicts: 1587000 | #Constraints: 186909
2275.70/2281.83 c #Conflicts: 1588000 | #Constraints: 187909
2275.70/2281.83 c #Conflicts: 1589000 | #Constraints: 188909
2275.70/2281.83 c #Conflicts: 1590000 | #Constraints: 189909
2275.70/2281.83 c #Conflicts: 1591000 | #Constraints: 190909
2275.70/2281.83 c #Conflicts: 1592000 | #Constraints: 191909
2275.70/2281.83 c #Conflicts: 1593000 | #Constraints: 192909
2275.70/2281.83 c #Conflicts: 1594000 | #Constraints: 193909
2275.70/2281.83 c #Conflicts: 1595000 | #Constraints: 194909
2275.70/2281.83 c #Conflicts: 1596000 | #Constraints: 195909
2275.70/2281.83 c #Conflicts: 1597000 | #Constraints: 196909
2275.70/2281.83 c #Conflicts: 1598000 | #Constraints: 197909
2275.70/2281.83 c #Conflicts: 1599000 | #Constraints: 198909
2275.70/2281.83 c #Conflicts: 1600000 | #Constraints: 199909
2409.74/2416.28 c #Conflicts: 1601000 | #Constraints: 200909
2409.74/2416.28 c INPROCESSING
2409.74/2416.28 c GARBAGE COLLECT
2409.74/2416.28 c #Conflicts: 1602000 | #Constraints: 156320
2409.74/2416.28 c #Conflicts: 1603000 | #Constraints: 157320
2409.74/2416.28 c #Conflicts: 1604000 | #Constraints: 158320
2409.74/2416.28 c #Conflicts: 1605000 | #Constraints: 159320
2409.74/2416.28 c #Conflicts: 1606000 | #Constraints: 160320
2409.74/2416.28 c #Conflicts: 1607000 | #Constraints: 161320
2409.74/2416.28 c #Conflicts: 1608000 | #Constraints: 162320
2409.74/2416.28 c #Conflicts: 1609000 | #Constraints: 163320
2409.74/2416.28 c #Conflicts: 1610000 | #Constraints: 164320
2409.74/2416.28 c #Conflicts: 1611000 | #Constraints: 165320
2409.74/2416.28 c #Conflicts: 1612000 | #Constraints: 166320
2409.74/2416.28 c #Conflicts: 1613000 | #Constraints: 167320
2409.74/2416.28 c #Conflicts: 1614000 | #Constraints: 168320
2409.74/2416.28 c #Conflicts: 1615000 | #Constraints: 169320
2409.74/2416.28 c #Conflicts: 1616000 | #Constraints: 170320
2409.74/2416.28 c #Conflicts: 1617000 | #Constraints: 171320
2409.74/2416.28 c #Conflicts: 1618000 | #Constraints: 172320
2409.74/2416.28 c #Conflicts: 1619000 | #Constraints: 173320
2409.74/2416.28 c #Conflicts: 1620000 | #Constraints: 174320
2409.74/2416.28 c #Conflicts: 1621000 | #Constraints: 175320
2409.74/2416.28 c #Conflicts: 1622000 | #Constraints: 176320
2409.74/2416.28 c #Conflicts: 1623000 | #Constraints: 177320
2409.74/2416.28 c #Conflicts: 1624000 | #Constraints: 178320
2409.74/2416.28 c #Conflicts: 1625000 | #Constraints: 179320
2409.74/2416.28 c #Conflicts: 1626000 | #Constraints: 180320
2409.74/2416.28 c #Conflicts: 1627000 | #Constraints: 181320
2409.74/2416.28 c #Conflicts: 1628000 | #Constraints: 182320
2409.74/2416.28 c #Conflicts: 1629000 | #Constraints: 183320
2409.74/2416.28 c #Conflicts: 1630000 | #Constraints: 184320
2409.74/2416.28 c #Conflicts: 1631000 | #Constraints: 185320
2409.74/2416.28 c #Conflicts: 1632000 | #Constraints: 186320
2409.74/2416.28 c INPROCESSING
2409.74/2416.28 c GARBAGE COLLECT
2409.74/2416.28 c #Conflicts: 1633000 | #Constraints: 149219
2409.74/2416.28 c #Conflicts: 1634000 | #Constraints: 150219
2409.74/2416.28 c #Conflicts: 1635000 | #Constraints: 151219
2409.74/2416.28 c #Conflicts: 1636000 | #Constraints: 152219
2409.74/2416.28 c #Conflicts: 1637000 | #Constraints: 153219
2409.74/2416.28 c #Conflicts: 1638000 | #Constraints: 154219
2409.74/2416.28 c #Conflicts: 1639000 | #Constraints: 155219
2409.74/2416.28 c #Conflicts: 1640000 | #Constraints: 156219
2409.74/2416.28 c #Conflicts: 1641000 | #Constraints: 157219
2409.74/2416.28 c #Conflicts: 1642000 | #Constraints: 158219
2409.74/2416.28 c #Conflicts: 1643000 | #Constraints: 159219
2409.74/2416.28 c #Conflicts: 1644000 | #Constraints: 160219
2409.74/2416.28 c #Conflicts: 1645000 | #Constraints: 161219
2409.74/2416.28 c #Conflicts: 1646000 | #Constraints: 162219
2409.74/2416.28 c #Conflicts: 1647000 | #Constraints: 163219
2409.74/2416.28 c #Conflicts: 1648000 | #Constraints: 164219
2409.74/2416.28 c #Conflicts: 1649000 | #Constraints: 165219
2409.74/2416.28 c #Conflicts: 1650000 | #Constraints: 166219
2409.74/2416.28 c #Conflicts: 1651000 | #Constraints: 167219
2409.74/2416.28 c #Conflicts: 1652000 | #Constraints: 168219
2409.74/2416.28 c #Conflicts: 1653000 | #Constraints: 169219
2409.74/2416.28 c #Conflicts: 1654000 | #Constraints: 170219
2409.74/2416.28 c #Conflicts: 1655000 | #Constraints: 171219
2409.74/2416.28 c #Conflicts: 1656000 | #Constraints: 172219
2409.74/2416.28 c #Conflicts: 1657000 | #Constraints: 173219
2409.74/2416.28 c #Conflicts: 1658000 | #Constraints: 174219
2409.74/2416.28 c #Conflicts: 1659000 | #Constraints: 175219
2409.74/2416.28 c #Conflicts: 1660000 | #Constraints: 176219
2409.74/2416.28 c #Conflicts: 1661000 | #Constraints: 177219
2409.74/2416.28 c #Conflicts: 1662000 | #Constraints: 178219
2409.74/2416.28 c INPROCESSING
2409.74/2416.28 c GARBAGE COLLECT
2409.74/2416.28 c #Conflicts: 1663000 | #Constraints: 144706
2409.74/2416.28 c #Conflicts: 1664000 | #Constraints: 145706
2409.74/2416.28 c #Conflicts: 1665000 | #Constraints: 146706
2409.74/2416.28 c #Conflicts: 1666000 | #Constraints: 147706
2409.74/2416.28 c #Conflicts: 1667000 | #Constraints: 148706
2409.74/2416.28 c #Conflicts: 1668000 | #Constraints: 149706
2409.74/2416.28 c #Conflicts: 1669000 | #Constraints: 150706
2409.74/2416.28 c #Conflicts: 1670000 | #Constraints: 151706
2409.74/2416.28 c #Conflicts: 1671000 | #Constraints: 152706
2409.74/2416.28 c #Conflicts: 1672000 | #Constraints: 153706
2409.74/2416.28 c #Conflicts: 1673000 | #Constraints: 154706
2409.74/2416.28 c #Conflicts: 1674000 | #Constraints: 155706
2409.74/2416.28 c #Conflicts: 1675000 | #Constraints: 156706
2409.74/2416.28 c #Conflicts: 1676000 | #Constraints: 157706
2409.74/2416.28 c #Conflicts: 1677000 | #Constraints: 158706
2593.86/2600.80 c #Conflicts: 1678000 | #Constraints: 159706
2593.86/2600.80 c #Conflicts: 1679000 | #Constraints: 160706
2593.86/2600.80 c #Conflicts: 1680000 | #Constraints: 161706
2593.86/2600.80 c #Conflicts: 1681000 | #Constraints: 162706
2593.86/2600.80 c #Conflicts: 1682000 | #Constraints: 163706
2593.86/2600.80 c #Conflicts: 1683000 | #Constraints: 164706
2593.86/2600.80 c #Conflicts: 1684000 | #Constraints: 165706
2593.86/2600.80 c #Conflicts: 1685000 | #Constraints: 166706
2593.86/2600.80 c #Conflicts: 1686000 | #Constraints: 167706
2593.86/2600.80 c #Conflicts: 1687000 | #Constraints: 168706
2593.86/2600.80 c #Conflicts: 1688000 | #Constraints: 169706
2593.86/2600.80 c #Conflicts: 1689000 | #Constraints: 170706
2593.86/2600.80 c #Conflicts: 1690000 | #Constraints: 171706
2593.86/2600.80 c #Conflicts: 1691000 | #Constraints: 172706
2593.86/2600.80 c #Conflicts: 1692000 | #Constraints: 173706
2593.86/2600.80 c #Conflicts: 1693000 | #Constraints: 174706
2593.86/2600.80 c #Conflicts: 1694000 | #Constraints: 175706
2593.86/2600.80 c #Conflicts: 1695000 | #Constraints: 176706
2593.86/2600.80 c #Conflicts: 1696000 | #Constraints: 177706
2593.86/2600.80 c #Conflicts: 1697000 | #Constraints: 178706
2593.86/2600.80 c #Conflicts: 1698000 | #Constraints: 179706
2593.86/2600.80 c #Conflicts: 1699000 | #Constraints: 180706
2593.86/2600.80 c #Conflicts: 1700000 | #Constraints: 181706
2593.86/2600.80 c #Conflicts: 1701000 | #Constraints: 182706
2593.86/2600.80 c #Conflicts: 1702000 | #Constraints: 183706
2593.86/2600.80 c #Conflicts: 1703000 | #Constraints: 184706
2593.86/2600.80 c #Conflicts: 1704000 | #Constraints: 185706
2593.86/2600.80 c #Conflicts: 1705000 | #Constraints: 186706
2593.86/2600.80 c #Conflicts: 1706000 | #Constraints: 187706
2593.86/2600.80 c #Conflicts: 1707000 | #Constraints: 188706
2593.86/2600.80 c #Conflicts: 1708000 | #Constraints: 189706
2593.86/2600.80 c #Conflicts: 1709000 | #Constraints: 190706
2593.86/2600.80 c #Conflicts: 1710000 | #Constraints: 191706
2593.86/2600.80 c #Conflicts: 1711000 | #Constraints: 192706
2593.86/2600.80 c #Conflicts: 1712000 | #Constraints: 193706
2593.86/2600.80 c #Conflicts: 1713000 | #Constraints: 194706
2593.86/2600.80 c #Conflicts: 1714000 | #Constraints: 195706
2593.86/2600.80 c #Conflicts: 1715000 | #Constraints: 196706
2593.86/2600.80 c #Conflicts: 1716000 | #Constraints: 197706
2593.86/2600.80 c #Conflicts: 1717000 | #Constraints: 198706
2593.86/2600.80 c #Conflicts: 1718000 | #Constraints: 199706
2593.86/2600.80 c #Conflicts: 1719000 | #Constraints: 200706
2593.86/2600.80 c #Conflicts: 1720000 | #Constraints: 201706
2593.86/2600.80 c #Conflicts: 1721000 | #Constraints: 202706
2593.86/2600.80 c #Conflicts: 1722000 | #Constraints: 203706
2593.86/2600.80 c #Conflicts: 1723000 | #Constraints: 204706
2593.86/2600.80 c #Conflicts: 1724000 | #Constraints: 205706
2593.86/2600.80 c #Conflicts: 1725000 | #Constraints: 206706
2593.86/2600.80 c #Conflicts: 1726000 | #Constraints: 207706
2593.86/2600.80 c #Conflicts: 1727000 | #Constraints: 208706
2593.86/2600.80 c #Conflicts: 1728000 | #Constraints: 209706
2593.86/2600.80 c #Conflicts: 1729000 | #Constraints: 210706
2593.86/2600.80 c #Conflicts: 1730000 | #Constraints: 211706
2593.86/2600.80 c #Conflicts: 1731000 | #Constraints: 212706
2593.86/2600.80 c #Conflicts: 1732000 | #Constraints: 213706
2593.86/2600.80 c #Conflicts: 1733000 | #Constraints: 214706
2593.86/2600.80 c #Conflicts: 1734000 | #Constraints: 215706
2593.86/2600.80 c #Conflicts: 1735000 | #Constraints: 216706
2593.86/2600.80 c #Conflicts: 1736000 | #Constraints: 217706
2593.86/2600.80 c #Conflicts: 1737000 | #Constraints: 218706
2593.86/2600.80 c #Conflicts: 1738000 | #Constraints: 219706
2593.86/2600.80 c #Conflicts: 1739000 | #Constraints: 220706
2593.86/2600.80 c #Conflicts: 1740000 | #Constraints: 221706
2593.86/2600.80 c #Conflicts: 1741000 | #Constraints: 222706
2593.86/2600.80 c #Conflicts: 1742000 | #Constraints: 223706
2593.86/2600.80 c #Conflicts: 1743000 | #Constraints: 224706
2593.86/2600.80 c #Conflicts: 1744000 | #Constraints: 225706
2593.86/2600.80 c #Conflicts: 1745000 | #Constraints: 226706
2593.86/2600.80 c #Conflicts: 1746000 | #Constraints: 227706
2593.86/2600.80 c #Conflicts: 1747000 | #Constraints: 228706
2593.86/2600.80 c #Conflicts: 1748000 | #Constraints: 229706
2593.86/2600.80 c #Conflicts: 1749000 | #Constraints: 230706
2593.86/2600.80 c #Conflicts: 1750000 | #Constraints: 231706
2593.86/2600.80 c #Conflicts: 1751000 | #Constraints: 232706
2593.86/2600.80 c #Conflicts: 1752000 | #Constraints: 233706
2593.86/2600.80 c #Conflicts: 1753000 | #Constraints: 234706
2593.86/2600.80 c #Conflicts: 1754000 | #Constraints: 235706
2593.86/2600.80 c #Conflicts: 1755000 | #Constraints: 236706
2778.47/2785.98 c #Conflicts: 1756000 | #Constraints: 237706
2778.47/2785.98 c #Conflicts: 1757000 | #Constraints: 238706
2778.47/2785.98 c INPROCESSING
2778.47/2785.98 c GARBAGE COLLECT
2778.47/2785.98 c #Conflicts: 1758000 | #Constraints: 175383
2778.47/2785.98 c #Conflicts: 1759000 | #Constraints: 176383
2778.47/2785.98 c #Conflicts: 1760000 | #Constraints: 177383
2778.47/2785.98 c #Conflicts: 1761000 | #Constraints: 178383
2778.47/2785.98 c #Conflicts: 1762000 | #Constraints: 179383
2778.47/2785.98 c #Conflicts: 1763000 | #Constraints: 180383
2778.47/2785.98 c #Conflicts: 1764000 | #Constraints: 181383
2778.47/2785.98 c #Conflicts: 1765000 | #Constraints: 182383
2778.47/2785.98 c #Conflicts: 1766000 | #Constraints: 183383
2778.47/2785.98 c #Conflicts: 1767000 | #Constraints: 184383
2778.47/2785.98 c #Conflicts: 1768000 | #Constraints: 185383
2778.47/2785.98 c #Conflicts: 1769000 | #Constraints: 186383
2778.47/2785.98 c #Conflicts: 1770000 | #Constraints: 187383
2778.47/2785.98 c #Conflicts: 1771000 | #Constraints: 188383
2778.47/2785.98 c #Conflicts: 1772000 | #Constraints: 189383
2778.47/2785.98 c #Conflicts: 1773000 | #Constraints: 190383
2778.47/2785.98 c #Conflicts: 1774000 | #Constraints: 191383
2778.47/2785.98 c #Conflicts: 1775000 | #Constraints: 192383
2778.47/2785.98 c #Conflicts: 1776000 | #Constraints: 193383
2778.47/2785.98 c #Conflicts: 1777000 | #Constraints: 194383
2778.47/2785.98 c #Conflicts: 1778000 | #Constraints: 195383
2778.47/2785.98 c #Conflicts: 1779000 | #Constraints: 196383
2778.47/2785.98 c #Conflicts: 1780000 | #Constraints: 197383
2778.47/2785.98 c #Conflicts: 1781000 | #Constraints: 198383
2778.47/2785.98 c #Conflicts: 1782000 | #Constraints: 199383
2778.47/2785.98 c #Conflicts: 1783000 | #Constraints: 200383
2778.47/2785.98 c #Conflicts: 1784000 | #Constraints: 201383
2778.47/2785.98 c #Conflicts: 1785000 | #Constraints: 202383
2778.47/2785.98 c #Conflicts: 1786000 | #Constraints: 203383
2778.47/2785.98 c #Conflicts: 1787000 | #Constraints: 204383
2778.47/2785.98 c #Conflicts: 1788000 | #Constraints: 205383
2778.47/2785.98 c #Conflicts: 1789000 | #Constraints: 206383
2778.47/2785.98 c INPROCESSING
2778.47/2785.98 c GARBAGE COLLECT
2778.47/2785.98 c #Conflicts: 1790000 | #Constraints: 159133
2778.47/2785.98 c #Conflicts: 1791000 | #Constraints: 160133
2778.47/2785.98 c #Conflicts: 1792000 | #Constraints: 161133
2778.47/2785.98 c #Conflicts: 1793000 | #Constraints: 162133
2778.47/2785.98 c #Conflicts: 1794000 | #Constraints: 163133
2778.47/2785.98 c #Conflicts: 1795000 | #Constraints: 164133
2778.47/2785.98 c #Conflicts: 1796000 | #Constraints: 165133
2778.47/2785.98 c #Conflicts: 1797000 | #Constraints: 166133
2778.47/2785.98 c #Conflicts: 1798000 | #Constraints: 167133
2778.47/2785.98 c #Conflicts: 1799000 | #Constraints: 168133
2778.47/2785.98 c #Conflicts: 1800000 | #Constraints: 169133
2778.47/2785.98 c #Conflicts: 1801000 | #Constraints: 170133
2778.47/2785.98 c #Conflicts: 1802000 | #Constraints: 171133
2778.47/2785.98 c #Conflicts: 1803000 | #Constraints: 172133
2778.47/2785.98 c #Conflicts: 1804000 | #Constraints: 173133
2778.47/2785.98 c #Conflicts: 1805000 | #Constraints: 174133
2778.47/2785.98 c #Conflicts: 1806000 | #Constraints: 175133
2778.47/2785.98 c #Conflicts: 1807000 | #Constraints: 176133
2778.47/2785.98 c #Conflicts: 1808000 | #Constraints: 177133
2778.47/2785.98 c #Conflicts: 1809000 | #Constraints: 178133
2778.47/2785.98 c #Conflicts: 1810000 | #Constraints: 179133
2778.47/2785.98 c #Conflicts: 1811000 | #Constraints: 180133
2778.47/2785.98 c #Conflicts: 1812000 | #Constraints: 181133
2778.47/2785.98 c #Conflicts: 1813000 | #Constraints: 182133
2778.47/2785.98 c #Conflicts: 1814000 | #Constraints: 183133
2778.47/2785.98 c #Conflicts: 1815000 | #Constraints: 184133
2778.47/2785.98 c #Conflicts: 1816000 | #Constraints: 185133
2778.47/2785.98 c #Conflicts: 1817000 | #Constraints: 186133
2778.47/2785.98 c #Conflicts: 1818000 | #Constraints: 187133
2778.47/2785.98 c #Conflicts: 1819000 | #Constraints: 188133
2778.47/2785.98 c #Conflicts: 1820000 | #Constraints: 189133
2778.47/2785.98 c #Conflicts: 1821000 | #Constraints: 190133
2778.47/2785.98 c INPROCESSING
2778.47/2785.98 c GARBAGE COLLECT
2778.47/2785.98 c #Conflicts: 1822000 | #Constraints: 150780
2778.47/2785.98 c #Conflicts: 1823000 | #Constraints: 151780
2778.47/2785.98 c #Conflicts: 1824000 | #Constraints: 152780
2778.47/2785.98 c #Conflicts: 1825000 | #Constraints: 153780
2778.47/2785.98 c #Conflicts: 1826000 | #Constraints: 154780
2778.47/2785.98 c #Conflicts: 1827000 | #Constraints: 155780
2778.47/2785.98 c #Conflicts: 1828000 | #Constraints: 156780
2778.47/2785.98 c #Conflicts: 1829000 | #Constraints: 157780
2778.47/2785.98 c #Conflicts: 1830000 | #Constraints: 158780
2778.47/2785.98 c #Conflicts: 1831000 | #Constraints: 159780
2778.47/2785.98 c #Conflicts: 1832000 | #Constraints: 160780
2925.07/2932.92 c #Conflicts: 1833000 | #Constraints: 161780
2925.07/2932.92 c #Conflicts: 1834000 | #Constraints: 162780
2925.07/2932.92 c #Conflicts: 1835000 | #Constraints: 163780
2925.07/2932.92 c #Conflicts: 1836000 | #Constraints: 164780
2925.07/2932.92 c #Conflicts: 1837000 | #Constraints: 165780
2925.07/2932.92 c #Conflicts: 1838000 | #Constraints: 166780
2925.07/2932.92 c #Conflicts: 1839000 | #Constraints: 167780
2925.07/2932.92 c #Conflicts: 1840000 | #Constraints: 168780
2925.07/2932.92 c #Conflicts: 1841000 | #Constraints: 169780
2925.07/2932.92 c #Conflicts: 1842000 | #Constraints: 170780
2925.07/2932.92 c #Conflicts: 1843000 | #Constraints: 171780
2925.07/2932.92 c #Conflicts: 1844000 | #Constraints: 172780
2925.07/2932.92 c #Conflicts: 1845000 | #Constraints: 173780
2925.07/2932.92 c #Conflicts: 1846000 | #Constraints: 174780
2925.07/2932.92 c #Conflicts: 1847000 | #Constraints: 175780
2925.07/2932.92 c #Conflicts: 1848000 | #Constraints: 176780
2925.07/2932.92 c #Conflicts: 1849000 | #Constraints: 177780
2925.07/2932.92 c #Conflicts: 1850000 | #Constraints: 178780
2925.07/2932.92 c #Conflicts: 1851000 | #Constraints: 179780
2925.07/2932.92 c #Conflicts: 1852000 | #Constraints: 180780
2925.07/2932.92 c #Conflicts: 1853000 | #Constraints: 181780
2925.07/2932.92 c #Conflicts: 1854000 | #Constraints: 182780
2925.07/2932.92 c INPROCESSING
2925.07/2932.92 c GARBAGE COLLECT
2925.07/2932.92 c #Conflicts: 1855000 | #Constraints: 147314
2925.07/2932.92 c #Conflicts: 1856000 | #Constraints: 148314
2925.07/2932.92 c #Conflicts: 1857000 | #Constraints: 149314
2925.07/2932.92 c #Conflicts: 1858000 | #Constraints: 150314
2925.07/2932.92 c #Conflicts: 1859000 | #Constraints: 151314
2925.07/2932.92 c #Conflicts: 1860000 | #Constraints: 152314
2925.07/2932.92 c #Conflicts: 1861000 | #Constraints: 153314
2925.07/2932.92 c #Conflicts: 1862000 | #Constraints: 154314
2925.07/2932.92 c #Conflicts: 1863000 | #Constraints: 155314
2925.07/2932.92 c #Conflicts: 1864000 | #Constraints: 156314
2925.07/2932.92 c #Conflicts: 1865000 | #Constraints: 157314
2925.07/2932.92 c #Conflicts: 1866000 | #Constraints: 158314
2925.07/2932.92 c #Conflicts: 1867000 | #Constraints: 159314
2925.07/2932.92 c #Conflicts: 1868000 | #Constraints: 160314
2925.07/2932.92 c #Conflicts: 1869000 | #Constraints: 161314
2925.07/2932.92 c #Conflicts: 1870000 | #Constraints: 162314
2925.07/2932.92 c #Conflicts: 1871000 | #Constraints: 163314
2925.07/2932.92 c #Conflicts: 1872000 | #Constraints: 164314
2925.07/2932.92 c #Conflicts: 1873000 | #Constraints: 165314
2925.07/2932.92 c #Conflicts: 1874000 | #Constraints: 166314
2925.07/2932.92 c #Conflicts: 1875000 | #Constraints: 167314
2925.07/2932.92 c #Conflicts: 1876000 | #Constraints: 168314
2925.07/2932.92 c #Conflicts: 1877000 | #Constraints: 169314
2925.07/2932.92 c #Conflicts: 1878000 | #Constraints: 170314
2925.07/2932.92 c #Conflicts: 1879000 | #Constraints: 171314
2925.07/2932.92 c #Conflicts: 1880000 | #Constraints: 172314
2925.07/2932.92 c #Conflicts: 1881000 | #Constraints: 173314
2925.07/2932.92 c #Conflicts: 1882000 | #Constraints: 174314
2925.07/2932.92 c #Conflicts: 1883000 | #Constraints: 175314
2925.07/2932.92 c #Conflicts: 1884000 | #Constraints: 176314
2925.07/2932.92 c #Conflicts: 1885000 | #Constraints: 177314
2925.07/2932.92 c #Conflicts: 1886000 | #Constraints: 178314
2925.07/2932.92 c #Conflicts: 1887000 | #Constraints: 179314
2925.07/2932.92 c #Conflicts: 1888000 | #Constraints: 180314
2925.07/2932.92 c #Conflicts: 1889000 | #Constraints: 181314
2925.07/2932.92 c #Conflicts: 1890000 | #Constraints: 182314
2925.07/2932.92 c #Conflicts: 1891000 | #Constraints: 183314
2925.07/2932.92 c #Conflicts: 1892000 | #Constraints: 184314
2925.07/2932.92 c #Conflicts: 1893000 | #Constraints: 185314
2925.07/2932.92 c #Conflicts: 1894000 | #Constraints: 186314
2925.07/2932.92 c #Conflicts: 1895000 | #Constraints: 187314
2925.07/2932.92 c #Conflicts: 1896000 | #Constraints: 188314
2925.07/2932.92 c #Conflicts: 1897000 | #Constraints: 189314
2925.07/2932.92 c #Conflicts: 1898000 | #Constraints: 190314
2925.07/2932.92 c #Conflicts: 1899000 | #Constraints: 191314
2925.07/2932.92 c #Conflicts: 1900000 | #Constraints: 192314
2925.07/2932.92 c #Conflicts: 1901000 | #Constraints: 193314
2925.07/2932.92 c #Conflicts: 1902000 | #Constraints: 194314
2925.07/2932.92 c #Conflicts: 1903000 | #Constraints: 195314
2925.07/2932.92 c #Conflicts: 1904000 | #Constraints: 196314
2925.07/2932.92 c #Conflicts: 1905000 | #Constraints: 197314
2925.07/2932.92 c #Conflicts: 1906000 | #Constraints: 198314
2925.07/2932.92 c #Conflicts: 1907000 | #Constraints: 199314
2925.07/2932.92 c #Conflicts: 1908000 | #Constraints: 200314
2925.07/2932.92 c #Conflicts: 1909000 | #Constraints: 201314
2925.07/2932.92 c #Conflicts: 1910000 | #Constraints: 202314
3206.08/3214.75 c #Conflicts: 1911000 | #Constraints: 203314
3206.08/3214.75 c #Conflicts: 1912000 | #Constraints: 204314
3206.08/3214.75 c #Conflicts: 1913000 | #Constraints: 205314
3206.08/3214.75 c #Conflicts: 1914000 | #Constraints: 206314
3206.08/3214.75 c #Conflicts: 1915000 | #Constraints: 207314
3206.08/3214.75 c #Conflicts: 1916000 | #Constraints: 208314
3206.08/3214.75 c #Conflicts: 1917000 | #Constraints: 209314
3206.08/3214.75 c #Conflicts: 1918000 | #Constraints: 210314
3206.08/3214.75 c #Conflicts: 1919000 | #Constraints: 211314
3206.08/3214.75 c #Conflicts: 1920000 | #Constraints: 212314
3206.08/3214.75 c #Conflicts: 1921000 | #Constraints: 213314
3206.08/3214.75 c #Conflicts: 1922000 | #Constraints: 214314
3206.08/3214.75 c #Conflicts: 1923000 | #Constraints: 215314
3206.08/3214.75 c #Conflicts: 1924000 | #Constraints: 216314
3206.08/3214.75 c #Conflicts: 1925000 | #Constraints: 217314
3206.08/3214.75 c #Conflicts: 1926000 | #Constraints: 218314
3206.08/3214.75 c #Conflicts: 1927000 | #Constraints: 219314
3206.08/3214.75 c #Conflicts: 1928000 | #Constraints: 220314
3206.08/3214.75 c #Conflicts: 1929000 | #Constraints: 221314
3206.08/3214.75 c #Conflicts: 1930000 | #Constraints: 222314
3206.08/3214.75 c #Conflicts: 1931000 | #Constraints: 223314
3206.08/3214.75 c #Conflicts: 1932000 | #Constraints: 224314
3206.08/3214.75 c #Conflicts: 1933000 | #Constraints: 225314
3206.08/3214.75 c #Conflicts: 1934000 | #Constraints: 226314
3206.08/3214.75 c #Conflicts: 1935000 | #Constraints: 227314
3206.08/3214.75 c #Conflicts: 1936000 | #Constraints: 228314
3206.08/3214.75 c #Conflicts: 1937000 | #Constraints: 229314
3206.08/3214.75 c #Conflicts: 1938000 | #Constraints: 230314
3206.08/3214.75 c #Conflicts: 1939000 | #Constraints: 231314
3206.08/3214.75 c #Conflicts: 1940000 | #Constraints: 232314
3206.08/3214.75 c #Conflicts: 1941000 | #Constraints: 233314
3206.08/3214.75 c #Conflicts: 1942000 | #Constraints: 234314
3206.08/3214.75 c #Conflicts: 1943000 | #Constraints: 235314
3206.08/3214.75 c #Conflicts: 1944000 | #Constraints: 236314
3206.08/3214.75 c #Conflicts: 1945000 | #Constraints: 237314
3206.08/3214.75 c #Conflicts: 1946000 | #Constraints: 238314
3206.08/3214.75 c #Conflicts: 1947000 | #Constraints: 239314
3206.08/3214.75 c #Conflicts: 1948000 | #Constraints: 240314
3206.08/3214.75 c #Conflicts: 1949000 | #Constraints: 241314
3206.08/3214.75 c #Conflicts: 1950000 | #Constraints: 242314
3206.08/3214.75 c #Conflicts: 1951000 | #Constraints: 243314
3206.08/3214.75 c #Conflicts: 1952000 | #Constraints: 244314
3206.08/3214.75 c #Conflicts: 1953000 | #Constraints: 245314
3206.08/3214.75 c INPROCESSING
3206.08/3214.75 c GARBAGE COLLECT
3206.08/3214.75 c #Conflicts: 1954000 | #Constraints: 178365
3206.08/3214.75 c #Conflicts: 1955000 | #Constraints: 179365
3206.08/3214.75 c #Conflicts: 1956000 | #Constraints: 180365
3206.08/3214.75 c #Conflicts: 1957000 | #Constraints: 181365
3206.08/3214.75 c #Conflicts: 1958000 | #Constraints: 182365
3206.08/3214.75 c #Conflicts: 1959000 | #Constraints: 183365
3206.08/3214.75 c #Conflicts: 1960000 | #Constraints: 184365
3206.08/3214.75 c #Conflicts: 1961000 | #Constraints: 185365
3206.08/3214.75 c #Conflicts: 1962000 | #Constraints: 186365
3206.08/3214.75 c #Conflicts: 1963000 | #Constraints: 187365
3206.08/3214.75 c #Conflicts: 1964000 | #Constraints: 188365
3206.08/3214.75 c #Conflicts: 1965000 | #Constraints: 189365
3206.08/3214.75 c #Conflicts: 1966000 | #Constraints: 190365
3206.08/3214.75 c #Conflicts: 1967000 | #Constraints: 191365
3206.08/3214.75 c #Conflicts: 1968000 | #Constraints: 192365
3206.08/3214.75 c #Conflicts: 1969000 | #Constraints: 193365
3206.08/3214.75 c #Conflicts: 1970000 | #Constraints: 194365
3206.08/3214.75 c #Conflicts: 1971000 | #Constraints: 195365
3206.08/3214.75 c #Conflicts: 1972000 | #Constraints: 196365
3206.08/3214.75 c #Conflicts: 1973000 | #Constraints: 197365
3206.08/3214.75 c #Conflicts: 1974000 | #Constraints: 198365
3206.08/3214.75 c #Conflicts: 1975000 | #Constraints: 199365
3206.08/3214.75 c #Conflicts: 1976000 | #Constraints: 200365
3206.08/3214.75 c #Conflicts: 1977000 | #Constraints: 201365
3206.08/3214.75 c #Conflicts: 1978000 | #Constraints: 202365
3206.08/3214.75 c #Conflicts: 1979000 | #Constraints: 203365
3206.08/3214.75 c #Conflicts: 1980000 | #Constraints: 204365
3206.08/3214.75 c #Conflicts: 1981000 | #Constraints: 205365
3206.08/3214.75 c #Conflicts: 1982000 | #Constraints: 206365
3206.08/3214.75 c #Conflicts: 1983000 | #Constraints: 207365
3206.08/3214.75 c #Conflicts: 1984000 | #Constraints: 208365
3206.08/3214.75 c #Conflicts: 1985000 | #Constraints: 209365
3206.08/3214.75 c #Conflicts: 1986000 | #Constraints: 210365
3206.08/3214.75 c #Conflicts: 1987000 | #Constraints: 211365
3206.08/3214.75 c INPROCESSING
3206.08/3214.75 c GARBAGE COLLECT
3206.08/3214.75 c #Conflicts: 1988000 | #Constraints: 161464
3360.87/3369.96 c #Conflicts: 1989000 | #Constraints: 162464
3360.87/3369.96 c #Conflicts: 1990000 | #Constraints: 163464
3360.87/3369.96 c #Conflicts: 1991000 | #Constraints: 164464
3360.87/3369.96 c #Conflicts: 1992000 | #Constraints: 165464
3360.87/3369.96 c #Conflicts: 1993000 | #Constraints: 166464
3360.87/3369.96 c #Conflicts: 1994000 | #Constraints: 167464
3360.87/3369.96 c #Conflicts: 1995000 | #Constraints: 168464
3360.87/3369.96 c #Conflicts: 1996000 | #Constraints: 169464
3360.87/3369.96 c #Conflicts: 1997000 | #Constraints: 170464
3360.87/3369.96 c #Conflicts: 1998000 | #Constraints: 171464
3360.87/3369.96 c #Conflicts: 1999000 | #Constraints: 172464
3360.87/3369.96 c #Conflicts: 2000000 | #Constraints: 173464
3360.87/3369.96 c #Conflicts: 2001000 | #Constraints: 174464
3360.87/3369.96 c #Conflicts: 2002000 | #Constraints: 175464
3360.87/3369.96 c #Conflicts: 2003000 | #Constraints: 176464
3360.87/3369.96 c #Conflicts: 2004000 | #Constraints: 177464
3360.87/3369.96 c #Conflicts: 2005000 | #Constraints: 178464
3360.87/3369.96 c #Conflicts: 2006000 | #Constraints: 179464
3360.87/3369.96 c #Conflicts: 2007000 | #Constraints: 180464
3360.87/3369.96 c #Conflicts: 2008000 | #Constraints: 181464
3360.87/3369.96 c #Conflicts: 2009000 | #Constraints: 182464
3360.87/3369.96 c #Conflicts: 2010000 | #Constraints: 183464
3360.87/3369.96 c #Conflicts: 2011000 | #Constraints: 184464
3360.87/3369.96 c #Conflicts: 2012000 | #Constraints: 185464
3360.87/3369.96 c #Conflicts: 2013000 | #Constraints: 186464
3360.87/3369.96 c #Conflicts: 2014000 | #Constraints: 187464
3360.87/3369.96 c #Conflicts: 2015000 | #Constraints: 188464
3360.87/3369.96 c #Conflicts: 2016000 | #Constraints: 189464
3360.87/3369.96 c #Conflicts: 2017000 | #Constraints: 190464
3360.87/3369.96 c #Conflicts: 2018000 | #Constraints: 191464
3360.87/3369.96 c #Conflicts: 2019000 | #Constraints: 192464
3360.87/3369.96 c #Conflicts: 2020000 | #Constraints: 193464
3360.87/3369.96 c #Conflicts: 2021000 | #Constraints: 194464
3360.87/3369.96 c INPROCESSING
3360.87/3369.96 c GARBAGE COLLECT
3360.87/3369.96 c #Conflicts: 2022000 | #Constraints: 152911
3360.87/3369.96 c #Conflicts: 2023000 | #Constraints: 153911
3360.87/3369.96 c #Conflicts: 2024000 | #Constraints: 154911
3360.87/3369.96 c #Conflicts: 2025000 | #Constraints: 155911
3360.87/3369.96 c #Conflicts: 2026000 | #Constraints: 156911
3360.87/3369.96 c #Conflicts: 2027000 | #Constraints: 157911
3360.87/3369.96 c #Conflicts: 2028000 | #Constraints: 158911
3360.87/3369.96 c #Conflicts: 2029000 | #Constraints: 159911
3360.87/3369.96 c #Conflicts: 2030000 | #Constraints: 160911
3360.87/3369.96 c #Conflicts: 2031000 | #Constraints: 161911
3360.87/3369.96 c #Conflicts: 2032000 | #Constraints: 162911
3360.87/3369.96 c #Conflicts: 2033000 | #Constraints: 163911
3360.87/3369.96 c #Conflicts: 2034000 | #Constraints: 164911
3360.87/3369.96 c #Conflicts: 2035000 | #Constraints: 165911
3360.87/3369.96 c #Conflicts: 2036000 | #Constraints: 166911
3360.87/3369.96 c #Conflicts: 2037000 | #Constraints: 167911
3360.87/3369.96 c #Conflicts: 2038000 | #Constraints: 168911
3360.87/3369.96 c #Conflicts: 2039000 | #Constraints: 169911
3360.87/3369.96 c #Conflicts: 2040000 | #Constraints: 170911
3360.87/3369.96 c #Conflicts: 2041000 | #Constraints: 171911
3360.87/3369.96 c #Conflicts: 2042000 | #Constraints: 172911
3360.87/3369.96 c #Conflicts: 2043000 | #Constraints: 173911
3360.87/3369.96 c #Conflicts: 2044000 | #Constraints: 174911
3360.87/3369.96 c #Conflicts: 2045000 | #Constraints: 175911
3360.87/3369.96 c #Conflicts: 2046000 | #Constraints: 176911
3360.87/3369.96 c #Conflicts: 2047000 | #Constraints: 177911
3360.87/3369.96 c #Conflicts: 2048000 | #Constraints: 178911
3360.87/3369.96 c #Conflicts: 2049000 | #Constraints: 179911
3360.87/3369.96 c #Conflicts: 2050000 | #Constraints: 180911
3360.87/3369.96 c #Conflicts: 2051000 | #Constraints: 181911
3360.87/3369.96 c #Conflicts: 2052000 | #Constraints: 182911
3360.87/3369.96 c #Conflicts: 2053000 | #Constraints: 183911
3360.87/3369.96 c #Conflicts: 2054000 | #Constraints: 184911
3360.87/3369.96 c #Conflicts: 2055000 | #Constraints: 185911
3360.87/3369.96 c INPROCESSING
3360.87/3369.96 c GARBAGE COLLECT
3360.87/3369.96 c #Conflicts: 2056000 | #Constraints: 148512
3360.87/3369.96 c #Conflicts: 2057000 | #Constraints: 149512
3360.87/3369.96 c #Conflicts: 2058000 | #Constraints: 150512
3360.87/3369.96 c #Conflicts: 2059000 | #Constraints: 151512
3360.87/3369.96 c #Conflicts: 2060000 | #Constraints: 152512
3360.87/3369.96 c #Conflicts: 2061000 | #Constraints: 153512
3360.87/3369.96 c #Conflicts: 2062000 | #Constraints: 154512
3360.87/3369.96 c #Conflicts: 2063000 | #Constraints: 155512
3360.87/3369.96 c #Conflicts: 2064000 | #Constraints: 156512
3360.87/3369.96 c #Conflicts: 2065000 | #Constraints: 157512
3559.04/3568.68 c #Conflicts: 2066000 | #Constraints: 158512
3559.04/3568.68 c #Conflicts: 2067000 | #Constraints: 159512
3559.04/3568.68 c #Conflicts: 2068000 | #Constraints: 160512
3559.04/3568.68 c #Conflicts: 2069000 | #Constraints: 161512
3559.04/3568.68 c #Conflicts: 2070000 | #Constraints: 162512
3559.04/3568.68 c #Conflicts: 2071000 | #Constraints: 163512
3559.04/3568.68 c #Conflicts: 2072000 | #Constraints: 164512
3559.04/3568.68 c #Conflicts: 2073000 | #Constraints: 165512
3559.04/3568.68 c #Conflicts: 2074000 | #Constraints: 166512
3559.04/3568.68 c #Conflicts: 2075000 | #Constraints: 167512
3559.04/3568.68 c #Conflicts: 2076000 | #Constraints: 168512
3559.04/3568.68 c #Conflicts: 2077000 | #Constraints: 169512
3559.04/3568.68 c #Conflicts: 2078000 | #Constraints: 170512
3559.04/3568.68 c #Conflicts: 2079000 | #Constraints: 171512
3559.04/3568.68 c #Conflicts: 2080000 | #Constraints: 172512
3559.04/3568.68 c #Conflicts: 2081000 | #Constraints: 173512
3559.04/3568.68 c #Conflicts: 2082000 | #Constraints: 174512
3559.04/3568.68 c #Conflicts: 2083000 | #Constraints: 175512
3559.04/3568.68 c #Conflicts: 2084000 | #Constraints: 176512
3559.04/3568.68 c #Conflicts: 2085000 | #Constraints: 177512
3559.04/3568.68 c #Conflicts: 2086000 | #Constraints: 178512
3559.04/3568.68 c #Conflicts: 2087000 | #Constraints: 179512
3559.04/3568.68 c #Conflicts: 2088000 | #Constraints: 180512
3559.04/3568.68 c #Conflicts: 2089000 | #Constraints: 181512
3559.04/3568.68 c #Conflicts: 2090000 | #Constraints: 182512
3559.04/3568.68 c #Conflicts: 2091000 | #Constraints: 183512
3559.04/3568.68 c #Conflicts: 2092000 | #Constraints: 184512
3559.04/3568.68 c #Conflicts: 2093000 | #Constraints: 185512
3559.04/3568.68 c #Conflicts: 2094000 | #Constraints: 186512
3559.04/3568.68 c #Conflicts: 2095000 | #Constraints: 187512
3559.04/3568.68 c #Conflicts: 2096000 | #Constraints: 188512
3559.04/3568.68 c #Conflicts: 2097000 | #Constraints: 189512
3559.04/3568.68 c #Conflicts: 2098000 | #Constraints: 190512
3559.04/3568.68 c #Conflicts: 2099000 | #Constraints: 191512
3559.04/3568.68 c #Conflicts: 2100000 | #Constraints: 192512
3559.04/3568.68 c #Conflicts: 2101000 | #Constraints: 193512
3559.04/3568.68 c #Conflicts: 2102000 | #Constraints: 194512
3559.04/3568.68 c #Conflicts: 2103000 | #Constraints: 195512
3559.04/3568.68 c #Conflicts: 2104000 | #Constraints: 196512
3559.04/3568.68 c #Conflicts: 2105000 | #Constraints: 197512
3559.04/3568.68 c #Conflicts: 2106000 | #Constraints: 198512
3559.04/3568.68 c #Conflicts: 2107000 | #Constraints: 199512
3559.04/3568.68 c #Conflicts: 2108000 | #Constraints: 200512
3559.04/3568.68 c #Conflicts: 2109000 | #Constraints: 201512
3559.04/3568.68 c #Conflicts: 2110000 | #Constraints: 202512
3559.04/3568.68 c #Conflicts: 2111000 | #Constraints: 203512
3559.04/3568.68 c #Conflicts: 2112000 | #Constraints: 204512
3559.04/3568.68 c #Conflicts: 2113000 | #Constraints: 205512
3559.04/3568.68 c #Conflicts: 2114000 | #Constraints: 206512
3559.04/3568.68 c #Conflicts: 2115000 | #Constraints: 207512
3559.04/3568.68 c #Conflicts: 2116000 | #Constraints: 208512
3559.04/3568.68 c #Conflicts: 2117000 | #Constraints: 209512
3559.04/3568.68 c #Conflicts: 2118000 | #Constraints: 210512
3559.04/3568.68 c #Conflicts: 2119000 | #Constraints: 211512
3559.04/3568.68 c #Conflicts: 2120000 | #Constraints: 212512
3559.04/3568.68 c #Conflicts: 2121000 | #Constraints: 213512
3559.04/3568.68 c #Conflicts: 2122000 | #Constraints: 214512
3559.04/3568.68 c #Conflicts: 2123000 | #Constraints: 215512
3559.04/3568.68 c #Conflicts: 2124000 | #Constraints: 216512
3559.04/3568.68 c #Conflicts: 2125000 | #Constraints: 217512
3559.04/3568.68 c #Conflicts: 2126000 | #Constraints: 218512
3559.04/3568.68 c #Conflicts: 2127000 | #Constraints: 219512
3559.04/3568.68 c #Conflicts: 2128000 | #Constraints: 220512
3559.04/3568.68 c #Conflicts: 2129000 | #Constraints: 221512
3559.04/3568.68 c #Conflicts: 2130000 | #Constraints: 222512
3559.04/3568.68 c #Conflicts: 2131000 | #Constraints: 223512
3559.04/3568.68 c #Conflicts: 2132000 | #Constraints: 224512
3559.04/3568.68 c #Conflicts: 2133000 | #Constraints: 225512
3559.04/3568.68 c #Conflicts: 2134000 | #Constraints: 226512
3559.04/3568.68 c #Conflicts: 2135000 | #Constraints: 227512
3559.04/3568.68 c #Conflicts: 2136000 | #Constraints: 228512
3559.04/3568.68 c #Conflicts: 2137000 | #Constraints: 229512
3559.04/3568.68 c #Conflicts: 2138000 | #Constraints: 230512
3559.04/3568.68 c #Conflicts: 2139000 | #Constraints: 231512
3559.04/3568.68 c #Conflicts: 2140000 | #Constraints: 232512
3559.04/3568.68 c #Conflicts: 2141000 | #Constraints: 233512
3559.04/3568.68 c #Conflicts: 2142000 | #Constraints: 234512
3559.04/3568.68 c #Conflicts: 2143000 | #Constraints: 235512
3559.04/3568.68 c #Conflicts: 2144000 | #Constraints: 236512
3600.03/3609.71 c #Conflicts: 2145000 | #Constraints: 237512
3600.03/3609.71 c #Conflicts: 2146000 | #Constraints: 238512
3600.03/3609.71 c #Conflicts: 2147000 | #Constraints: 239512
3600.03/3609.71 c #Conflicts: 2148000 | #Constraints: 240512
3600.03/3609.71 c #Conflicts: 2149000 | #Constraints: 241512
3600.03/3609.71 c #Conflicts: 2150000 | #Constraints: 242512
3600.03/3609.71 c #Conflicts: 2151000 | #Constraints: 243512
3600.03/3609.71 c #Conflicts: 2152000 | #Constraints: 244512
3600.03/3609.71 c #Conflicts: 2153000 | #Constraints: 245512
3600.03/3609.71 c #Conflicts: 2154000 | #Constraints: 246512
3600.03/3609.71 c #Conflicts: 2155000 | #Constraints: 247512
3600.03/3609.71 c Program interrupted by user.
3600.03/3609.71 c cpu time 3590.57 s
3600.03/3609.71 c deterministic time 371011239253 3.71e+11
3600.03/3609.71 c optimization time 254.666 s
3600.03/3609.71 c total solve time 3335.72 s
3600.03/3609.71 c core-guided solve time 3335.72 s
3600.03/3609.71 c propagation time 3018.98 s
3600.03/3609.71 c conflict analysis time 551.955 s
3600.03/3609.71 c propagations 800792206
3600.03/3609.71 c resolve steps 41607446
3600.03/3609.71 c decisions 4568005
3600.03/3609.71 c conflicts 2155032
3600.03/3609.71 c restarts 4093
3600.03/3609.71 c inprocessing phases 77
3600.03/3609.71 c input clauses 109712
3600.03/3609.71 c input cardinalities 168
3600.03/3609.71 c input general constraints 116
3600.03/3609.71 c input average constraint length 2.60
3600.03/3609.71 c input average constraint degree 1.37
3600.03/3609.71 c learned clauses 1682366
3600.03/3609.71 c learned cardinalities 4109
3600.03/3609.71 c learned general constraints 468545
3600.03/3609.71 c learned average constraint length 57.38
3600.03/3609.71 c learned average constraint degree 83.91
3600.03/3609.71 c watched constraints 406257
3600.03/3609.71 c counting constraints 62404
3600.03/3609.71 c gcd simplifications 19718
3600.03/3609.71 c detected cardinalities 318
3600.03/3609.71 c weakened non-implied lits 10375109
3600.03/3609.71 c weakened non-implying lits 41729
3600.03/3609.71 c original variables 1400
3600.03/3609.71 c clausal propagations 763033328
3600.03/3609.71 c cardinality propagations 62850
3600.03/3609.71 c watched propagations 7882204
3600.03/3609.71 c counting propagations 28003242
3600.03/3609.71 c watch lookups 91147215952
3600.03/3609.71 c watch backjump lookups 75523697476
3600.03/3609.71 c watch checks 182022773535
3600.03/3609.71 c propagation checks 20279771969
3600.03/3609.71 c constraint additions 424905320
3600.03/3609.71 c trail pops 807514789
3600.03/3609.71 c formula constraints 109379
3600.03/3609.71 c learned constraints 2155020
3600.03/3609.71 c bound constraints 44
3600.03/3609.71 c core-guided constraints 573
3600.03/3609.71 c encountered formula constraints 18487404
3600.03/3609.71 c encountered learned constraints 24419654
3600.03/3609.71 c encountered bound constraints 261
3600.03/3609.71 c encountered core-guided constraints 855159
3600.03/3609.71 c LP total time 0 s
3600.03/3609.71 c LP solve time 0 s
3600.03/3609.71 c LP constraints added 0
3600.03/3609.71 c LP constraints removed 0
3600.03/3609.71 c LP pivots internal 0
3600.03/3609.71 c LP pivots root 0
3600.03/3609.71 c LP calls 0
3600.03/3609.71 c LP optimalities 0
3600.03/3609.71 c LP no pivot count 0
3600.03/3609.71 c LP infeasibilities 0
3600.03/3609.71 c LP valid Farkas constraints 0
3600.03/3609.71 c LP learned Farkas constraints 0
3600.03/3609.71 c LP basis resets 0
3600.03/3609.71 c LP cycling count 0
3600.03/3609.71 c LP singular count 0
3600.03/3609.71 c LP no primal count 0
3600.03/3609.71 c LP no farkas count 0
3600.03/3609.71 c LP other issue count 0
3600.03/3609.71 c LP Gomory cuts 0
3600.03/3609.71 c LP learned cuts 0
3600.03/3609.71 c LP deleted cuts 0
3600.03/3609.71 c LP encountered Gomory constraints 0
3600.03/3609.71 c LP encountered Farkas constraints 0
3600.03/3609.71 c LP encountered learned Farkas constraints 0
3600.03/3609.71 c CG auxiliary variables introduced 355
3600.03/3609.71 c CG solutions found 1
3600.03/3609.71 c CG cores constructed 33
3600.03/3609.71 c CG core cardinality constraints returned 0
3600.03/3609.71 c CG unit cores 0
3600.03/3609.71 c CG single cores 33
3600.03/3609.71 c CG blocks removed during cardinality reduction 0
3600.03/3609.71 c CG first core best 0
3600.03/3609.71 c CG decision core best 0
3600.03/3609.71 c CG core reduction tie 0
3600.03/3609.71 c CG core degree average 1.00
3600.03/3609.71 c CG core slack average 8.73
3600.03/3609.71 c CG exhausted 11
3600.03/3609.71 c CG exhaust time 5.07109 s
3600.03/3609.71 c CG trimmed 1
3600.03/3609.71 c CG trim time 0.000346 s
3600.03/3609.71 c CG minimized 0
3600.03/3609.71 c CG minimize time 0 s
3600.03/3609.71 c CG am1 prop time 0.00768 s
3600.03/3609.71 c CG # am1s reformulated 235
3600.03/3609.71 c CG lower bound derived from am1s 1165
3600.03/3609.71 c CG # clausal cores 33
3600.03/3609.71 c CG # cardinality cores 0
3600.03/3609.71 c CG # pb cores 0
3600.03/3609.71 c CG # pb reforms 0
3600.03/3609.71 c CG # cores discarded because of pb reform 0
3600.03/3609.71 d LOWERBOUND -191
3600.03/3609.71 d NCORES 33
3600.03/3609.71 d NPBCORES 0
3600.03/3609.71 d NPBREFORM 0
3600.03/3609.71 d NTRIMMED 1
3600.03/3609.71 d NEXHAUSTED 11
3600.03/3609.71 d NAM1S 235
3600.03/3609.71 d AM1LB 1165
3600.03/3609.71 o -37
3600.03/3609.71 s SATISFIABLE
3600.03/3609.71 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62342 MiB free)
memory of node 1: 64507 MiB (63643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484764-1751296266/watcher-4484764-1751296266 -o /tmp/evaluation-result-4484764-1751296266/solver-4484764-1751296266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42305 --watchdog 3760 pb-oll-rs HOME/instance-4484764-1751296266.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42703, runsolver pid=42700
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.13 4.09 4.02 5/262 42708
/proc/meminfo: memFree=129009176/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=21600 memory=8528 CPUtime=0.08 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 732 0 0 0 6 2 0 0 20 0 1 0 45304258 22118400 2132 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 5400 2132 1120 243 0 1649 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21600 KiB
Current children cumulated memory: 8528 KiB
[startup+0.205254 s]*
/proc/loadavg: 4.13 4.09 4.02 4/262 42710
/proc/meminfo: memFree=129006028/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=22656 memory=10576 CPUtime=0.19 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 1264 0 0 0 13 6 0 0 20 0 1 0 45304258 23199744 2644 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 5664 2644 1120 243 0 1913 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22656 KiB
Current children cumulated memory: 10576 KiB
[startup+0.304949 s]*
/proc/loadavg: 4.13 4.09 4.02 5/260 42717
/proc/meminfo: memFree=128989352/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=30480 memory=20304 CPUtime=0.29 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 3538 0 0 0 21 8 0 0 20 0 1 0 45304258 31211520 5076 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 7620 5076 1280 243 0 3869 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 30480 KiB
Current children cumulated memory: 20304 KiB
[startup+0.700147 s]
/proc/loadavg: 4.13 4.09 4.02 5/260 42732
/proc/meminfo: memFree=128983284/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=40624 memory=29796 CPUtime=0.68 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 6468 0 0 0 58 10 0 0 20 0 1 0 45304258 41598976 7449 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 10156 7449 1344 243 0 6405 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40624 KiB
Current children cumulated memory: 29796 KiB
[startup+1.50012 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128960868/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=47360 memory=36896 CPUtime=1.47 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 7222 0 0 0 136 11 0 0 20 0 1 0 45304258 48496640 9224 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 11840 9224 1344 243 0 8089 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 47360 KiB
Current children cumulated memory: 36896 KiB
[startup+3.10525 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128931076/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=67576 memory=48920 CPUtime=3.08 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 8167 0 0 0 295 13 0 0 20 0 1 0 45304258 69197824 12230 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 16894 12230 1344 243 0 13143 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67576 KiB
Current children cumulated memory: 48920 KiB
[startup+6.30012 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128901640/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=72500 memory=57796 CPUtime=6.27 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 9383 0 0 0 609 18 0 0 20 0 1 0 45304258 74240000 14449 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 18125 14449 1344 243 0 14374 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72500 KiB
Current children cumulated memory: 57796 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128891444/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=73300 memory=58692 CPUtime=12.65 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 9617 0 0 0 1234 31 0 0 20 0 1 0 45304258 75059200 14673 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 18325 14673 1344 243 0 14574 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73300 KiB
Current children cumulated memory: 58692 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128883508/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=74716 memory=60100 CPUtime=25.42 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 9968 0 0 0 2494 48 0 0 20 0 1 0 45304258 76509184 15025 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 18679 15025 1344 243 0 14928 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 74716 KiB
Current children cumulated memory: 60100 KiB
[startup+51.1053 s]
/proc/loadavg: 4.06 4.08 4.02 5/264 42742
/proc/meminfo: memFree=128878644/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=73368 memory=58952 CPUtime=50.95 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 10314 0 0 0 5026 69 0 0 20 0 1 0 45304258 75128832 14738 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 18342 14738 1344 243 0 14591 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 73368 KiB
Current children cumulated memory: 58952 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 42744
/proc/meminfo: memFree=128872580/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=78172 memory=63708 CPUtime=102 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 12228 0 0 0 10096 104 0 0 20 0 1 0 45304258 80048128 15927 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 19543 15927 1344 243 0 15792 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 78172 KiB
Current children cumulated memory: 63708 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 42753
/proc/meminfo: memFree=128827420/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=78796 memory=64320 CPUtime=161.83 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 13153 0 0 0 16039 144 0 0 20 0 1 0 45304258 80687104 16080 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 19699 16080 1344 243 0 15948 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 78796 KiB
Current children cumulated memory: 64320 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 42756
/proc/meminfo: memFree=128821116/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=80304 memory=65856 CPUtime=221.68 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 13532 0 0 0 21994 174 0 0 20 0 1 0 45304258 82231296 16464 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 20076 16464 1344 243 0 16325 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 80304 KiB
Current children cumulated memory: 65856 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/264 42757
/proc/meminfo: memFree=128836552/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=82016 memory=67520 CPUtime=281.53 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 13981 0 0 0 27958 195 0 0 20 0 1 0 45304258 83984384 16880 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 20504 16880 1344 243 0 16753 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 67520 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 42759
/proc/meminfo: memFree=128852688/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=82016 memory=67520 CPUtime=341.38 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 13981 0 0 0 33922 216 0 0 20 0 1 0 45304258 83984384 16880 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 20504 16880 1344 243 0 16753 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 67520 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 42761
/proc/meminfo: memFree=128859828/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=83196 memory=68800 CPUtime=401.23 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 14305 0 0 0 39887 236 0 0 20 0 1 0 45304258 85192704 17200 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 20799 17200 1344 243 0 17048 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 83196 KiB
Current children cumulated memory: 68800 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 42764
/proc/meminfo: memFree=128857420/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=83196 memory=68800 CPUtime=461.07 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 14310 0 0 0 45849 258 0 0 20 0 1 0 45304258 85192704 17200 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 20799 17200 1344 243 0 17048 0
################
# More data... #
################
Current children cumulated memory: 89592 KiB
[startup+2922.3 s]
/proc/loadavg: 4.39 4.19 4.12 5/264 42930
/proc/meminfo: memFree=128765720/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=112332 memory=89592 CPUtime=2914.5 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 17876 0 0 0 290612 838 0 0 20 0 1 0 45304258 115027968 22398 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 28083 22398 1344 243 0 24332 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 112332 KiB
Current children cumulated memory: 89592 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/264 42933
/proc/meminfo: memFree=128763356/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=112332 memory=89592 CPUtime=2974.33 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 17876 0 0 0 296586 847 0 0 20 0 1 0 45304258 115027968 22398 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 28083 22398 1344 243 0 24332 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 112332 KiB
Current children cumulated memory: 89592 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/265 42947
/proc/meminfo: memFree=128753172/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=112332 memory=89592 CPUtime=3034.16 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 17893 0 0 0 302561 855 0 0 20 0 1 0 45304258 115027968 22398 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 28083 22398 1344 243 0 24332 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 112332 KiB
Current children cumulated memory: 89592 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/265 42949
/proc/meminfo: memFree=128747440/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3093.99 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 308537 862 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 42958
/proc/meminfo: memFree=128755252/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3153.83 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 314512 871 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 42960
/proc/meminfo: memFree=128754568/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3213.66 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 320486 880 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 42962
/proc/meminfo: memFree=128761860/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3273.5 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 326460 890 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/265 42965
/proc/meminfo: memFree=128761484/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3333.35 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 332432 903 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 42968
/proc/meminfo: memFree=128762496/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3393.19 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 338401 918 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 42970
/proc/meminfo: memFree=128761584/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3453.03 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 344376 927 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 42972
/proc/meminfo: memFree=128761520/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3512.87 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 350351 936 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 42975
/proc/meminfo: memFree=128753028/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3572.71 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 356327 944 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 42976
/proc/meminfo: memFree=128753028/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3600.03 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 359056 947 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 42703 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.58 s, system=9.47784 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 42976
/proc/meminfo: memFree=128753028/131249996 swapFree=33010684/33010684
[pid=42703] ppid=42700 vsize=116576 memory=97792 CPUtime=3600.03 cores=5,7
/proc/42703/stat : 42703 (pb-oll-rs) R 42700 42703 42292 0 -1 4194304 18428 0 0 0 359056 947 0 0 20 0 1 0 45304258 119373824 24448 18446744073709551615 4218880 5211445 140733279109936 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 37351424 140733279111580 140733279111657 140733279111657 140733279117259 0
/proc/42703/statm: 29144 24448 1344 243 0 25393 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97792 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.05
CPU user time (s): 3590.58
CPU system time (s): 9.47784
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 116576
Max. memory (cumulated for all children) (KiB): 97792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.58
system time used= 9.47784
maximum resident set size= 98432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18443
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= 111
involuntary context switches= 18505
# summary of solver processes directly reported to runsolver:
# pid: 42703
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.58
# total CPU system time (s): 9.47784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79552 second user time and 15.6191 second system time
The end
Begin job on nodeC021 at 2025-06-30 17:11:06
IDJOB=4484764
IDBENCH=146669
IDSOLVER=3345
FILE ID=nodeC021/4484764-1751296266
RUNJOBID= nodeC021-1751292654-42305
SLURM_JOB_ID= 9594264
Free space on /tmp= 432580 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484764-1751296266/watcher-4484764-1751296266 -o /tmp/evaluation-result-4484764-1751296266/solver-4484764-1751296266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42305 --watchdog 3760 pb-oll-rs HOME/instance-4484764-1751296266.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121
RANDOM SEED=855351613
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.681
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.079
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.009
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.771
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3561.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.819
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129009884 kB
MemAvailable: 129620392 kB
Buffers: 3280 kB
Cached: 1417084 kB
SwapCached: 0 kB
Active: 457512 kB
Inactive: 1148036 kB
Active(anon): 203248 kB
Inactive(anon): 0 kB
Active(file): 254264 kB
Inactive(file): 1148036 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8712 kB
Writeback: 40 kB
AnonPages: 186532 kB
Mapped: 106624 kB
Shmem: 18060 kB
KReclaimable: 94492 kB
Slab: 181204 kB
SReclaimable: 94492 kB
SUnreclaim: 86712 kB
KernelStack: 4172 kB
PageTables: 3620 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 533544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432576 MiB
End job on nodeC021 at 2025-06-30 18:11:16