0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.19/0.22 c [STEP] solving
0.19/0.22 c #variables 1272 #constraints 94227
0.19/0.22 c SMALL=int, LARGE=long long
0.19/0.22 c bounds - >= -1272 @ 0.157563
0.19/0.22 c stratification level: 0
0.19/0.31 c bounds - >= -238 @ 0.208992
0.19/0.31 c bounds - >= -237 @ 0.209456
0.19/0.31 c bounds - >= -236 @ 0.209459
0.19/0.31 c bounds - >= -235 @ 0.209459
0.19/0.31 c bounds - >= -234 @ 0.209459
0.19/0.31 c bounds - >= -233 @ 0.210217
0.19/0.31 c bounds - >= -232 @ 0.210451
0.19/0.31 c bounds - >= -231 @ 0.210451
0.19/0.31 c bounds - >= -230 @ 0.210451
0.19/0.31 c bounds - >= -229 @ 0.211011
0.19/0.31 c bounds - >= -228 @ 0.211416
0.19/0.31 c bounds - >= -227 @ 0.211443
0.19/0.31 c bounds - >= -226 @ 0.211975
0.19/0.31 c bounds - >= -225 @ 0.213442
0.19/0.31 c bounds - >= -224 @ 0.214436
0.19/0.31 c bounds - >= -223 @ 0.215175
0.19/0.31 c bounds - >= -222 @ 0.215431
0.19/0.31 c bounds - >= -221 @ 0.21556
0.19/0.31 c bounds - >= -220 @ 0.216298
0.19/0.31 c bounds - >= -219 @ 0.2171
0.19/0.31 c bounds - >= -218 @ 0.217427
0.19/0.31 c bounds - >= -217 @ 0.217651
0.19/0.31 c bounds - >= -216 @ 0.218337
0.19/0.31 c bounds - >= -215 @ 0.218422
0.19/0.31 c bounds - >= -214 @ 0.218726
0.19/0.31 c bounds - >= -213 @ 0.219615
0.19/0.31 c bounds - >= -212 @ 0.22077
0.19/0.31 c bounds - >= -211 @ 0.221591
0.19/0.31 c bounds - >= -210 @ 0.221973
0.19/0.31 c bounds - >= -209 @ 0.222874
0.19/0.31 c bounds - >= -208 @ 0.224688
0.19/0.31 c finalizing WCE round: reformulating cores
15.64/15.73 c bounds -22 >= -237 @ 0.230194
15.64/15.73 c bounds -25 >= -234 @ 0.242156
15.64/15.73 c #Conflicts: 1000 | #Constraints: 95513
15.64/15.73 c bounds -28 >= -230 @ 0.540973
15.64/15.73 c bounds -28 >= -230 @ 0.548063
15.64/15.73 c bounds -28 >= -230 @ 0.55605
15.64/15.73 c #Conflicts: 2000 | #Constraints: 96525
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c bounds -28 >= -230 @ 0.589233
15.64/15.73 c #Conflicts: 3000 | #Constraints: 96378
15.64/15.73 c bounds -29 >= -224 @ 0.903905
15.64/15.73 c #Conflicts: 4000 | #Constraints: 97382
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 5000 | #Constraints: 96691
15.64/15.73 c #Conflicts: 6000 | #Constraints: 97694
15.64/15.73 c bounds -30 >= -219 @ 2.04033
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 7000 | #Constraints: 96796
15.64/15.73 c #Conflicts: 8000 | #Constraints: 97798
15.64/15.73 c bounds -31 >= -215 @ 3.04408
15.64/15.73 c bounds -31 >= -215 @ 3.05811
15.64/15.73 c #Conflicts: 9000 | #Constraints: 98807
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 10000 | #Constraints: 97516
15.64/15.73 c bounds -32 >= -210 @ 4.00023
15.64/15.73 c #Conflicts: 11000 | #Constraints: 98522
15.64/15.73 c #Conflicts: 12000 | #Constraints: 99524
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 13000 | #Constraints: 98012
15.64/15.73 c #Conflicts: 14000 | #Constraints: 99017
15.64/15.73 c #Conflicts: 15000 | #Constraints: 100019
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 16000 | #Constraints: 98283
15.64/15.73 c bounds -33 >= -202 @ 6.8483
15.64/15.73 c #Conflicts: 17000 | #Constraints: 99287
15.64/15.73 c #Conflicts: 18000 | #Constraints: 100289
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c bounds -33 >= -198 @ 8.20467
15.64/15.73 c #Conflicts: 19000 | #Constraints: 98308
15.64/15.73 c #Conflicts: 20000 | #Constraints: 99313
15.64/15.73 c bounds -34 >= -195 @ 9.06425
15.64/15.73 c bounds -34 >= -194 @ 9.06772
15.64/15.73 c bounds -34 >= -193 @ 9.07527
15.64/15.73 c bounds -34 >= -192 @ 9.08935
15.64/15.73 c bounds -34 >= -191 @ 9.13342
15.64/15.73 c #Conflicts: 21000 | #Constraints: 100431
15.64/15.73 c bounds -34 >= -190 @ 9.21784
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 22000 | #Constraints: 98259
15.64/15.73 c bounds -34 >= -189 @ 9.4587
15.64/15.73 c #Conflicts: 23000 | #Constraints: 99317
15.64/15.73 c #Conflicts: 24000 | #Constraints: 100317
15.64/15.73 c #Conflicts: 25000 | #Constraints: 101317
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 26000 | #Constraints: 98905
15.64/15.73 c #Conflicts: 27000 | #Constraints: 99905
15.64/15.73 c bounds -34 >= -188 @ 10.0631
15.64/15.73 c #Conflicts: 28000 | #Constraints: 100942
15.64/15.73 c #Conflicts: 29000 | #Constraints: 101942
15.64/15.73 c INPROCESSING
15.64/15.73 c #Conflicts: 30000 | #Constraints: 99328
15.64/15.73 c #Conflicts: 31000 | #Constraints: 100328
15.64/15.73 c #Conflicts: 32000 | #Constraints: 101328
15.64/15.73 c #Conflicts: 33000 | #Constraints: 102328
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 34000 | #Constraints: 99519
15.64/15.73 c #Conflicts: 35000 | #Constraints: 100519
15.64/15.73 c #Conflicts: 36000 | #Constraints: 101519
15.64/15.73 c #Conflicts: 37000 | #Constraints: 102519
15.64/15.73 c INPROCESSING
15.64/15.73 c #Conflicts: 38000 | #Constraints: 99531
15.64/15.73 c #Conflicts: 39000 | #Constraints: 100531
15.64/15.73 c #Conflicts: 40000 | #Constraints: 101531
15.64/15.73 c #Conflicts: 41000 | #Constraints: 102531
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 42000 | #Constraints: 99332
15.64/15.73 c #Conflicts: 43000 | #Constraints: 100332
15.64/15.73 c #Conflicts: 44000 | #Constraints: 101332
15.64/15.73 c #Conflicts: 45000 | #Constraints: 102332
15.64/15.73 c #Conflicts: 46000 | #Constraints: 103332
15.64/15.73 c INPROCESSING
15.64/15.73 c #Conflicts: 47000 | #Constraints: 99941
15.64/15.73 c #Conflicts: 48000 | #Constraints: 100941
15.64/15.73 c #Conflicts: 49000 | #Constraints: 101941
15.64/15.73 c #Conflicts: 50000 | #Constraints: 102941
15.64/15.73 c #Conflicts: 51000 | #Constraints: 103941
15.64/15.73 c INPROCESSING
15.64/15.73 c GARBAGE COLLECT
15.64/15.73 c #Conflicts: 52000 | #Constraints: 100344
15.64/15.73 c #Conflicts: 53000 | #Constraints: 101344
15.64/15.73 c #Conflicts: 54000 | #Constraints: 102344
15.64/15.73 c #Conflicts: 55000 | #Constraints: 103344
15.64/15.73 c #Conflicts: 56000 | #Constraints: 104344
15.64/15.73 c INPROCESSING
15.64/15.73 c #Conflicts: 57000 | #Constraints: 100540
15.64/15.73 c #Conflicts: 58000 | #Constraints: 101540
41.37/41.55 c #Conflicts: 59000 | #Constraints: 102540
41.37/41.55 c #Conflicts: 60000 | #Constraints: 103540
41.37/41.55 c #Conflicts: 61000 | #Constraints: 104540
41.37/41.55 c INPROCESSING
41.37/41.55 c GARBAGE COLLECT
41.37/41.55 c #Conflicts: 62000 | #Constraints: 100535
41.37/41.55 c #Conflicts: 63000 | #Constraints: 101535
41.37/41.55 c #Conflicts: 64000 | #Constraints: 102535
41.37/41.55 c #Conflicts: 65000 | #Constraints: 103535
41.37/41.55 c #Conflicts: 66000 | #Constraints: 104535
41.37/41.55 c INPROCESSING
41.37/41.55 c #Conflicts: 67000 | #Constraints: 100334
41.37/41.55 c #Conflicts: 68000 | #Constraints: 101334
41.37/41.55 c #Conflicts: 69000 | #Constraints: 102334
41.37/41.55 c #Conflicts: 70000 | #Constraints: 103334
41.37/41.55 c #Conflicts: 71000 | #Constraints: 104334
41.37/41.55 c #Conflicts: 72000 | #Constraints: 105334
41.37/41.55 c INPROCESSING
41.37/41.55 c GARBAGE COLLECT
41.37/41.55 c #Conflicts: 73000 | #Constraints: 100934
41.37/41.55 c #Conflicts: 74000 | #Constraints: 101934
41.37/41.55 c #Conflicts: 75000 | #Constraints: 102934
41.37/41.55 c #Conflicts: 76000 | #Constraints: 103934
41.37/41.55 c #Conflicts: 77000 | #Constraints: 104934
41.37/41.55 c #Conflicts: 78000 | #Constraints: 105934
41.37/41.55 c INPROCESSING
41.37/41.55 c #Conflicts: 79000 | #Constraints: 101343
41.37/41.55 c #Conflicts: 80000 | #Constraints: 102343
41.37/41.55 c #Conflicts: 81000 | #Constraints: 103343
41.37/41.55 c #Conflicts: 82000 | #Constraints: 104343
41.37/41.55 c #Conflicts: 83000 | #Constraints: 105343
41.37/41.55 c #Conflicts: 84000 | #Constraints: 106343
41.37/41.55 c INPROCESSING
41.37/41.55 c GARBAGE COLLECT
41.37/41.55 c #Conflicts: 85000 | #Constraints: 101545
41.37/41.55 c #Conflicts: 86000 | #Constraints: 102545
41.37/41.55 c #Conflicts: 87000 | #Constraints: 103545
41.37/41.55 c #Conflicts: 88000 | #Constraints: 104545
41.37/41.55 c #Conflicts: 89000 | #Constraints: 105545
41.37/41.55 c #Conflicts: 90000 | #Constraints: 106545
41.37/41.55 c INPROCESSING
41.37/41.55 c #Conflicts: 91000 | #Constraints: 101547
41.37/41.55 c #Conflicts: 92000 | #Constraints: 102547
41.37/41.55 c #Conflicts: 93000 | #Constraints: 103547
41.37/41.55 c #Conflicts: 94000 | #Constraints: 104547
41.37/41.55 c #Conflicts: 95000 | #Constraints: 105547
41.37/41.55 c #Conflicts: 96000 | #Constraints: 106547
41.37/41.55 c INPROCESSING
41.37/41.55 c GARBAGE COLLECT
41.37/41.55 c #Conflicts: 97000 | #Constraints: 101345
41.37/41.55 c #Conflicts: 98000 | #Constraints: 102345
41.37/41.55 c #Conflicts: 99000 | #Constraints: 103345
41.37/41.55 c #Conflicts: 100000 | #Constraints: 104345
41.37/41.55 c #Conflicts: 101000 | #Constraints: 105345
41.37/41.55 c #Conflicts: 102000 | #Constraints: 106345
41.37/41.55 c #Conflicts: 103000 | #Constraints: 107345
41.37/41.55 c INPROCESSING
41.37/41.55 c #Conflicts: 104000 | #Constraints: 101949
41.37/41.55 c #Conflicts: 105000 | #Constraints: 102949
41.37/41.55 c #Conflicts: 106000 | #Constraints: 103949
41.37/41.55 c #Conflicts: 107000 | #Constraints: 104949
41.37/41.55 c bounds -34 >= -187 @ 29.2577
41.37/41.55 c #Conflicts: 108000 | #Constraints: 106004
41.37/41.55 c #Conflicts: 109000 | #Constraints: 107004
41.37/41.55 c #Conflicts: 110000 | #Constraints: 108004
41.37/41.55 c #Conflicts: 111000 | #Constraints: 109004
41.37/41.55 c #Conflicts: 112000 | #Constraints: 110004
41.37/41.55 c #Conflicts: 113000 | #Constraints: 111004
41.37/41.55 c #Conflicts: 114000 | #Constraints: 112004
41.37/41.55 c #Conflicts: 115000 | #Constraints: 113004
41.37/41.55 c #Conflicts: 116000 | #Constraints: 114004
41.37/41.55 c #Conflicts: 117000 | #Constraints: 115004
41.37/41.55 c #Conflicts: 118000 | #Constraints: 116004
41.37/41.55 c #Conflicts: 119000 | #Constraints: 117004
41.37/41.55 c #Conflicts: 120000 | #Constraints: 118004
41.37/41.55 c #Conflicts: 121000 | #Constraints: 119004
41.37/41.55 c #Conflicts: 122000 | #Constraints: 120004
41.37/41.55 c #Conflicts: 123000 | #Constraints: 121004
41.37/41.55 c #Conflicts: 124000 | #Constraints: 122004
41.37/41.55 c #Conflicts: 125000 | #Constraints: 123004
41.37/41.55 c #Conflicts: 126000 | #Constraints: 124004
41.37/41.55 c #Conflicts: 127000 | #Constraints: 125004
41.37/41.55 c #Conflicts: 128000 | #Constraints: 126004
41.37/41.55 c #Conflicts: 129000 | #Constraints: 127004
41.37/41.55 c #Conflicts: 130000 | #Constraints: 128004
41.37/41.55 c #Conflicts: 131000 | #Constraints: 129004
41.37/41.55 c #Conflicts: 132000 | #Constraints: 130004
90.44/90.70 c INPROCESSING
90.44/90.70 c GARBAGE COLLECT
90.44/90.70 c #Conflicts: 133000 | #Constraints: 113158
90.44/90.70 c #Conflicts: 134000 | #Constraints: 114158
90.44/90.70 c #Conflicts: 135000 | #Constraints: 115158
90.44/90.70 c #Conflicts: 136000 | #Constraints: 116158
90.44/90.70 c #Conflicts: 137000 | #Constraints: 117158
90.44/90.70 c #Conflicts: 138000 | #Constraints: 118158
90.44/90.70 c #Conflicts: 139000 | #Constraints: 119158
90.44/90.70 c #Conflicts: 140000 | #Constraints: 120158
90.44/90.70 c INPROCESSING
90.44/90.70 c GARBAGE COLLECT
90.44/90.70 c #Conflicts: 141000 | #Constraints: 108290
90.44/90.70 c #Conflicts: 142000 | #Constraints: 109290
90.44/90.70 c #Conflicts: 143000 | #Constraints: 110290
90.44/90.70 c #Conflicts: 144000 | #Constraints: 111290
90.44/90.70 c #Conflicts: 145000 | #Constraints: 112290
90.44/90.70 c #Conflicts: 146000 | #Constraints: 113290
90.44/90.70 c #Conflicts: 147000 | #Constraints: 114290
90.44/90.70 c #Conflicts: 148000 | #Constraints: 115290
90.44/90.70 c INPROCESSING
90.44/90.70 c GARBAGE COLLECT
90.44/90.70 c #Conflicts: 149000 | #Constraints: 105804
90.44/90.70 c #Conflicts: 150000 | #Constraints: 106804
90.44/90.70 c #Conflicts: 151000 | #Constraints: 107804
90.44/90.70 c #Conflicts: 152000 | #Constraints: 108804
90.44/90.70 c #Conflicts: 153000 | #Constraints: 109804
90.44/90.70 c #Conflicts: 154000 | #Constraints: 110804
90.44/90.70 c #Conflicts: 155000 | #Constraints: 111804
90.44/90.70 c #Conflicts: 156000 | #Constraints: 112804
90.44/90.70 c INPROCESSING
90.44/90.70 c GARBAGE COLLECT
90.44/90.70 c #Conflicts: 157000 | #Constraints: 104434
90.44/90.70 c #Conflicts: 158000 | #Constraints: 105434
90.44/90.70 c #Conflicts: 159000 | #Constraints: 106434
90.44/90.70 c #Conflicts: 160000 | #Constraints: 107434
90.44/90.70 c #Conflicts: 161000 | #Constraints: 108434
90.44/90.70 c #Conflicts: 162000 | #Constraints: 109434
90.44/90.70 c #Conflicts: 163000 | #Constraints: 110434
90.44/90.70 c #Conflicts: 164000 | #Constraints: 111434
90.44/90.70 c #Conflicts: 165000 | #Constraints: 112434
90.44/90.70 c #Conflicts: 166000 | #Constraints: 113434
90.44/90.70 c #Conflicts: 167000 | #Constraints: 114434
90.44/90.70 c #Conflicts: 168000 | #Constraints: 115434
90.44/90.70 c #Conflicts: 169000 | #Constraints: 116434
90.44/90.70 c #Conflicts: 170000 | #Constraints: 117434
90.44/90.70 c #Conflicts: 171000 | #Constraints: 118434
90.44/90.70 c #Conflicts: 172000 | #Constraints: 119434
90.44/90.70 c #Conflicts: 173000 | #Constraints: 120434
90.44/90.70 c #Conflicts: 174000 | #Constraints: 121434
90.44/90.70 c #Conflicts: 175000 | #Constraints: 122434
90.44/90.70 c #Conflicts: 176000 | #Constraints: 123434
90.44/90.70 c #Conflicts: 177000 | #Constraints: 124434
90.44/90.70 c #Conflicts: 178000 | #Constraints: 125434
90.44/90.70 c #Conflicts: 179000 | #Constraints: 126434
90.44/90.70 c #Conflicts: 180000 | #Constraints: 127434
90.44/90.70 c #Conflicts: 181000 | #Constraints: 128434
90.44/90.70 c #Conflicts: 182000 | #Constraints: 129434
90.44/90.70 c #Conflicts: 183000 | #Constraints: 130434
90.44/90.70 c #Conflicts: 184000 | #Constraints: 131434
90.44/90.70 c #Conflicts: 185000 | #Constraints: 132434
90.44/90.70 c #Conflicts: 186000 | #Constraints: 133434
90.44/90.70 c #Conflicts: 187000 | #Constraints: 134434
90.44/90.70 c #Conflicts: 188000 | #Constraints: 135434
90.44/90.70 c #Conflicts: 189000 | #Constraints: 136434
90.44/90.70 c #Conflicts: 190000 | #Constraints: 137434
90.44/90.70 c #Conflicts: 191000 | #Constraints: 138434
90.44/90.70 c INPROCESSING
90.44/90.70 c GARBAGE COLLECT
90.44/90.70 c #Conflicts: 192000 | #Constraints: 117451
90.44/90.70 c #Conflicts: 193000 | #Constraints: 118451
90.44/90.70 c #Conflicts: 194000 | #Constraints: 119451
90.44/90.70 c #Conflicts: 195000 | #Constraints: 120451
90.44/90.70 c #Conflicts: 196000 | #Constraints: 121451
90.44/90.70 c #Conflicts: 197000 | #Constraints: 122451
90.44/90.70 c #Conflicts: 198000 | #Constraints: 123451
90.44/90.70 c #Conflicts: 199000 | #Constraints: 124451
90.44/90.70 c #Conflicts: 200000 | #Constraints: 125451
90.44/90.70 c #Conflicts: 201000 | #Constraints: 126451
90.44/90.70 c INPROCESSING
90.44/90.70 c GARBAGE COLLECT
90.44/90.70 c #Conflicts: 202000 | #Constraints: 111640
90.44/90.70 c #Conflicts: 203000 | #Constraints: 112640
90.44/90.70 c #Conflicts: 204000 | #Constraints: 113640
90.44/90.70 c #Conflicts: 205000 | #Constraints: 114640
90.44/90.70 c #Conflicts: 206000 | #Constraints: 115640
90.44/90.70 c #Conflicts: 207000 | #Constraints: 116640
148.89/149.35 c #Conflicts: 208000 | #Constraints: 117640
148.89/149.35 c #Conflicts: 209000 | #Constraints: 118640
148.89/149.35 c #Conflicts: 210000 | #Constraints: 119640
148.89/149.35 c INPROCESSING
148.89/149.35 c GARBAGE COLLECT
148.89/149.35 c #Conflicts: 211000 | #Constraints: 107869
148.89/149.35 c #Conflicts: 212000 | #Constraints: 108869
148.89/149.35 c #Conflicts: 213000 | #Constraints: 109869
148.89/149.35 c #Conflicts: 214000 | #Constraints: 110869
148.89/149.35 c #Conflicts: 215000 | #Constraints: 111869
148.89/149.35 c #Conflicts: 216000 | #Constraints: 112869
148.89/149.35 c #Conflicts: 217000 | #Constraints: 113869
148.89/149.35 c #Conflicts: 218000 | #Constraints: 114869
148.89/149.35 c #Conflicts: 219000 | #Constraints: 115869
148.89/149.35 c #Conflicts: 220000 | #Constraints: 116869
148.89/149.35 c INPROCESSING
148.89/149.35 c GARBAGE COLLECT
148.89/149.35 c #Conflicts: 221000 | #Constraints: 106451
148.89/149.35 c #Conflicts: 222000 | #Constraints: 107451
148.89/149.35 c #Conflicts: 223000 | #Constraints: 108451
148.89/149.35 c #Conflicts: 224000 | #Constraints: 109451
148.89/149.35 c #Conflicts: 225000 | #Constraints: 110451
148.89/149.35 c #Conflicts: 226000 | #Constraints: 111451
148.89/149.35 c #Conflicts: 227000 | #Constraints: 112451
148.89/149.35 c #Conflicts: 228000 | #Constraints: 113451
148.89/149.35 c #Conflicts: 229000 | #Constraints: 114451
148.89/149.35 c #Conflicts: 230000 | #Constraints: 115451
148.89/149.35 c #Conflicts: 231000 | #Constraints: 116451
148.89/149.35 c #Conflicts: 232000 | #Constraints: 117451
148.89/149.35 c #Conflicts: 233000 | #Constraints: 118451
148.89/149.35 c #Conflicts: 234000 | #Constraints: 119451
148.89/149.35 c #Conflicts: 235000 | #Constraints: 120451
148.89/149.35 c #Conflicts: 236000 | #Constraints: 121451
148.89/149.35 c #Conflicts: 237000 | #Constraints: 122451
148.89/149.35 c #Conflicts: 238000 | #Constraints: 123451
148.89/149.35 c #Conflicts: 239000 | #Constraints: 124451
148.89/149.35 c #Conflicts: 240000 | #Constraints: 125451
148.89/149.35 c #Conflicts: 241000 | #Constraints: 126451
148.89/149.35 c #Conflicts: 242000 | #Constraints: 127451
148.89/149.35 c #Conflicts: 243000 | #Constraints: 128451
148.89/149.35 c #Conflicts: 244000 | #Constraints: 129451
148.89/149.35 c #Conflicts: 245000 | #Constraints: 130451
148.89/149.35 c #Conflicts: 246000 | #Constraints: 131451
148.89/149.35 c #Conflicts: 247000 | #Constraints: 132451
148.89/149.35 c #Conflicts: 248000 | #Constraints: 133451
148.89/149.35 c #Conflicts: 249000 | #Constraints: 134451
148.89/149.35 c #Conflicts: 250000 | #Constraints: 135451
148.89/149.35 c #Conflicts: 251000 | #Constraints: 136451
148.89/149.35 c #Conflicts: 252000 | #Constraints: 137451
148.89/149.35 c #Conflicts: 253000 | #Constraints: 138451
148.89/149.35 c #Conflicts: 254000 | #Constraints: 139451
148.89/149.35 c #Conflicts: 255000 | #Constraints: 140451
148.89/149.35 c #Conflicts: 256000 | #Constraints: 141451
148.89/149.35 c #Conflicts: 257000 | #Constraints: 142451
148.89/149.35 c #Conflicts: 258000 | #Constraints: 143451
148.89/149.35 c #Conflicts: 259000 | #Constraints: 144451
148.89/149.35 c #Conflicts: 260000 | #Constraints: 145451
148.89/149.35 c INPROCESSING
148.89/149.35 c GARBAGE COLLECT
148.89/149.35 c #Conflicts: 261000 | #Constraints: 120818
148.89/149.35 c #Conflicts: 262000 | #Constraints: 121818
148.89/149.35 c #Conflicts: 263000 | #Constraints: 122818
148.89/149.35 c #Conflicts: 264000 | #Constraints: 123818
148.89/149.35 c #Conflicts: 265000 | #Constraints: 124818
148.89/149.35 c #Conflicts: 266000 | #Constraints: 125818
148.89/149.35 c #Conflicts: 267000 | #Constraints: 126818
148.89/149.35 c #Conflicts: 268000 | #Constraints: 127818
148.89/149.35 c #Conflicts: 269000 | #Constraints: 128818
148.89/149.35 c #Conflicts: 270000 | #Constraints: 129818
148.89/149.35 c #Conflicts: 271000 | #Constraints: 130818
148.89/149.35 c #Conflicts: 272000 | #Constraints: 131818
148.89/149.35 c INPROCESSING
148.89/149.35 c GARBAGE COLLECT
148.89/149.35 c #Conflicts: 273000 | #Constraints: 114353
148.89/149.35 c #Conflicts: 274000 | #Constraints: 115353
148.89/149.35 c #Conflicts: 275000 | #Constraints: 116353
148.89/149.35 c #Conflicts: 276000 | #Constraints: 117353
148.89/149.35 c #Conflicts: 277000 | #Constraints: 118353
148.89/149.35 c #Conflicts: 278000 | #Constraints: 119353
148.89/149.35 c #Conflicts: 279000 | #Constraints: 120353
148.89/149.35 c #Conflicts: 280000 | #Constraints: 121353
148.89/149.35 c #Conflicts: 281000 | #Constraints: 122353
148.89/149.35 c #Conflicts: 282000 | #Constraints: 123353
148.89/149.35 c #Conflicts: 283000 | #Constraints: 124353
148.89/149.35 c INPROCESSING
217.01/217.61 c GARBAGE COLLECT
217.01/217.61 c #Conflicts: 284000 | #Constraints: 110389
217.01/217.61 c #Conflicts: 285000 | #Constraints: 111389
217.01/217.61 c #Conflicts: 286000 | #Constraints: 112389
217.01/217.61 c #Conflicts: 287000 | #Constraints: 113389
217.01/217.61 c #Conflicts: 288000 | #Constraints: 114389
217.01/217.61 c #Conflicts: 289000 | #Constraints: 115389
217.01/217.61 c #Conflicts: 290000 | #Constraints: 116389
217.01/217.61 c #Conflicts: 291000 | #Constraints: 117389
217.01/217.61 c #Conflicts: 292000 | #Constraints: 118389
217.01/217.61 c #Conflicts: 293000 | #Constraints: 119389
217.01/217.61 c #Conflicts: 294000 | #Constraints: 120389
217.01/217.61 c #Conflicts: 295000 | #Constraints: 121389
217.01/217.61 c INPROCESSING
217.01/217.61 c GARBAGE COLLECT
217.01/217.61 c #Conflicts: 296000 | #Constraints: 109032
217.01/217.61 c #Conflicts: 297000 | #Constraints: 110032
217.01/217.61 c #Conflicts: 298000 | #Constraints: 111032
217.01/217.61 c #Conflicts: 299000 | #Constraints: 112032
217.01/217.61 c #Conflicts: 300000 | #Constraints: 113032
217.01/217.61 c #Conflicts: 301000 | #Constraints: 114032
217.01/217.61 c #Conflicts: 302000 | #Constraints: 115032
217.01/217.61 c #Conflicts: 303000 | #Constraints: 116032
217.01/217.61 c #Conflicts: 304000 | #Constraints: 117032
217.01/217.61 c #Conflicts: 305000 | #Constraints: 118032
217.01/217.61 c #Conflicts: 306000 | #Constraints: 119032
217.01/217.61 c #Conflicts: 307000 | #Constraints: 120032
217.01/217.61 c #Conflicts: 308000 | #Constraints: 121032
217.01/217.61 c #Conflicts: 309000 | #Constraints: 122032
217.01/217.61 c #Conflicts: 310000 | #Constraints: 123032
217.01/217.61 c #Conflicts: 311000 | #Constraints: 124032
217.01/217.61 c #Conflicts: 312000 | #Constraints: 125032
217.01/217.61 c #Conflicts: 313000 | #Constraints: 126032
217.01/217.61 c #Conflicts: 314000 | #Constraints: 127032
217.01/217.61 c #Conflicts: 315000 | #Constraints: 128032
217.01/217.61 c #Conflicts: 316000 | #Constraints: 129032
217.01/217.61 c #Conflicts: 317000 | #Constraints: 130032
217.01/217.61 c #Conflicts: 318000 | #Constraints: 131032
217.01/217.61 c #Conflicts: 319000 | #Constraints: 132032
217.01/217.61 c #Conflicts: 320000 | #Constraints: 133032
217.01/217.61 c #Conflicts: 321000 | #Constraints: 134032
217.01/217.61 c #Conflicts: 322000 | #Constraints: 135032
217.01/217.61 c #Conflicts: 323000 | #Constraints: 136032
217.01/217.61 c #Conflicts: 324000 | #Constraints: 137032
217.01/217.61 c #Conflicts: 325000 | #Constraints: 138032
217.01/217.61 c #Conflicts: 326000 | #Constraints: 139032
217.01/217.61 c #Conflicts: 327000 | #Constraints: 140032
217.01/217.61 c #Conflicts: 328000 | #Constraints: 141032
217.01/217.61 c #Conflicts: 329000 | #Constraints: 142032
217.01/217.61 c #Conflicts: 330000 | #Constraints: 143032
217.01/217.61 c #Conflicts: 331000 | #Constraints: 144032
217.01/217.61 c #Conflicts: 332000 | #Constraints: 145032
217.01/217.61 c #Conflicts: 333000 | #Constraints: 146032
217.01/217.61 c #Conflicts: 334000 | #Constraints: 147032
217.01/217.61 c #Conflicts: 335000 | #Constraints: 148032
217.01/217.61 c #Conflicts: 336000 | #Constraints: 149032
217.01/217.61 c #Conflicts: 337000 | #Constraints: 150032
217.01/217.61 c #Conflicts: 338000 | #Constraints: 151032
217.01/217.61 c #Conflicts: 339000 | #Constraints: 152032
217.01/217.61 c #Conflicts: 340000 | #Constraints: 153032
217.01/217.61 c INPROCESSING
217.01/217.61 c GARBAGE COLLECT
217.01/217.61 c #Conflicts: 341000 | #Constraints: 124774
217.01/217.61 c #Conflicts: 342000 | #Constraints: 125774
217.01/217.61 c #Conflicts: 343000 | #Constraints: 126774
217.01/217.61 c #Conflicts: 344000 | #Constraints: 127774
217.01/217.61 c #Conflicts: 345000 | #Constraints: 128774
217.01/217.61 c #Conflicts: 346000 | #Constraints: 129774
217.01/217.61 c #Conflicts: 347000 | #Constraints: 130774
217.01/217.61 c #Conflicts: 348000 | #Constraints: 131774
217.01/217.61 c #Conflicts: 349000 | #Constraints: 132774
217.01/217.61 c #Conflicts: 350000 | #Constraints: 133774
217.01/217.61 c #Conflicts: 351000 | #Constraints: 134774
217.01/217.61 c #Conflicts: 352000 | #Constraints: 135774
217.01/217.61 c #Conflicts: 353000 | #Constraints: 136774
217.01/217.61 c INPROCESSING
217.01/217.61 c GARBAGE COLLECT
217.01/217.61 c #Conflicts: 354000 | #Constraints: 116632
217.01/217.61 c #Conflicts: 355000 | #Constraints: 117632
217.01/217.61 c #Conflicts: 356000 | #Constraints: 118632
217.01/217.61 c #Conflicts: 357000 | #Constraints: 119632
217.01/217.61 c #Conflicts: 358000 | #Constraints: 120632
217.01/217.61 c #Conflicts: 359000 | #Constraints: 121632
217.01/217.61 c #Conflicts: 360000 | #Constraints: 122632
278.43/279.24 c #Conflicts: 361000 | #Constraints: 123632
278.43/279.24 c #Conflicts: 362000 | #Constraints: 124632
278.43/279.24 c #Conflicts: 363000 | #Constraints: 125632
278.43/279.24 c #Conflicts: 364000 | #Constraints: 126632
278.43/279.24 c #Conflicts: 365000 | #Constraints: 127632
278.43/279.24 c #Conflicts: 366000 | #Constraints: 128632
278.43/279.24 c INPROCESSING
278.43/279.24 c GARBAGE COLLECT
278.43/279.24 c #Conflicts: 367000 | #Constraints: 112425
278.43/279.24 c #Conflicts: 368000 | #Constraints: 113425
278.43/279.24 c #Conflicts: 369000 | #Constraints: 114425
278.43/279.24 c #Conflicts: 370000 | #Constraints: 115425
278.43/279.24 c #Conflicts: 371000 | #Constraints: 116425
278.43/279.24 c #Conflicts: 372000 | #Constraints: 117425
278.43/279.24 c #Conflicts: 373000 | #Constraints: 118425
278.43/279.24 c #Conflicts: 374000 | #Constraints: 119425
278.43/279.24 c #Conflicts: 375000 | #Constraints: 120425
278.43/279.24 c #Conflicts: 376000 | #Constraints: 121425
278.43/279.24 c #Conflicts: 377000 | #Constraints: 122425
278.43/279.24 c #Conflicts: 378000 | #Constraints: 123425
278.43/279.24 c #Conflicts: 379000 | #Constraints: 124425
278.43/279.24 c #Conflicts: 380000 | #Constraints: 125425
278.43/279.24 c INPROCESSING
278.43/279.24 c GARBAGE COLLECT
278.43/279.24 c #Conflicts: 381000 | #Constraints: 111154
278.43/279.24 c #Conflicts: 382000 | #Constraints: 112154
278.43/279.24 c #Conflicts: 383000 | #Constraints: 113154
278.43/279.24 c #Conflicts: 384000 | #Constraints: 114154
278.43/279.24 c #Conflicts: 385000 | #Constraints: 115154
278.43/279.24 c #Conflicts: 386000 | #Constraints: 116154
278.43/279.24 c #Conflicts: 387000 | #Constraints: 117154
278.43/279.24 c #Conflicts: 388000 | #Constraints: 118154
278.43/279.24 c #Conflicts: 389000 | #Constraints: 119154
278.43/279.24 c #Conflicts: 390000 | #Constraints: 120154
278.43/279.24 c #Conflicts: 391000 | #Constraints: 121154
278.43/279.24 c #Conflicts: 392000 | #Constraints: 122154
278.43/279.24 c #Conflicts: 393000 | #Constraints: 123154
278.43/279.24 c #Conflicts: 394000 | #Constraints: 124154
278.43/279.24 c #Conflicts: 395000 | #Constraints: 125154
278.43/279.24 c #Conflicts: 396000 | #Constraints: 126154
278.43/279.24 c #Conflicts: 397000 | #Constraints: 127154
278.43/279.24 c #Conflicts: 398000 | #Constraints: 128154
278.43/279.24 c #Conflicts: 399000 | #Constraints: 129154
278.43/279.24 c #Conflicts: 400000 | #Constraints: 130154
278.43/279.24 c #Conflicts: 401000 | #Constraints: 131154
278.43/279.24 c #Conflicts: 402000 | #Constraints: 132154
278.43/279.24 c #Conflicts: 403000 | #Constraints: 133154
278.43/279.24 c #Conflicts: 404000 | #Constraints: 134154
278.43/279.24 c #Conflicts: 405000 | #Constraints: 135154
278.43/279.24 c #Conflicts: 406000 | #Constraints: 136154
278.43/279.24 c #Conflicts: 407000 | #Constraints: 137154
278.43/279.24 c #Conflicts: 408000 | #Constraints: 138154
278.43/279.24 c #Conflicts: 409000 | #Constraints: 139154
278.43/279.24 c #Conflicts: 410000 | #Constraints: 140154
278.43/279.24 c #Conflicts: 411000 | #Constraints: 141154
278.43/279.24 c #Conflicts: 412000 | #Constraints: 142154
278.43/279.24 c #Conflicts: 413000 | #Constraints: 143154
278.43/279.24 c #Conflicts: 414000 | #Constraints: 144154
278.43/279.24 c #Conflicts: 415000 | #Constraints: 145154
278.43/279.24 c #Conflicts: 416000 | #Constraints: 146154
278.43/279.24 c #Conflicts: 417000 | #Constraints: 147154
278.43/279.24 c #Conflicts: 418000 | #Constraints: 148154
278.43/279.24 c #Conflicts: 419000 | #Constraints: 149154
278.43/279.24 c #Conflicts: 420000 | #Constraints: 150154
278.43/279.24 c #Conflicts: 421000 | #Constraints: 151154
278.43/279.24 c #Conflicts: 422000 | #Constraints: 152154
278.43/279.24 c bounds -34 >= -186 @ 270.386
278.43/279.24 c #Conflicts: 423000 | #Constraints: 153203
278.43/279.24 c #Conflicts: 424000 | #Constraints: 154203
278.43/279.24 c #Conflicts: 425000 | #Constraints: 155203
278.43/279.24 c #Conflicts: 426000 | #Constraints: 156203
278.43/279.24 c #Conflicts: 427000 | #Constraints: 157203
278.43/279.24 c #Conflicts: 428000 | #Constraints: 158203
278.43/279.24 c #Conflicts: 429000 | #Constraints: 159203
278.43/279.24 c #Conflicts: 430000 | #Constraints: 160203
278.43/279.24 c INPROCESSING
278.43/279.24 c GARBAGE COLLECT
278.43/279.24 c #Conflicts: 431000 | #Constraints: 128308
278.43/279.24 c #Conflicts: 432000 | #Constraints: 129308
278.43/279.24 c #Conflicts: 433000 | #Constraints: 130308
278.43/279.24 c #Conflicts: 434000 | #Constraints: 131308
278.43/279.24 c #Conflicts: 435000 | #Constraints: 132308
278.43/279.24 c #Conflicts: 436000 | #Constraints: 133308
334.79/335.78 c #Conflicts: 437000 | #Constraints: 134308
334.79/335.78 c #Conflicts: 438000 | #Constraints: 135308
334.79/335.78 c #Conflicts: 439000 | #Constraints: 136308
334.79/335.78 c #Conflicts: 440000 | #Constraints: 137308
334.79/335.78 c #Conflicts: 441000 | #Constraints: 138308
334.79/335.78 c #Conflicts: 442000 | #Constraints: 139308
334.79/335.78 c #Conflicts: 443000 | #Constraints: 140308
334.79/335.78 c #Conflicts: 444000 | #Constraints: 141308
334.79/335.78 c #Conflicts: 445000 | #Constraints: 142308
334.79/335.78 c INPROCESSING
334.79/335.78 c GARBAGE COLLECT
334.79/335.78 c #Conflicts: 446000 | #Constraints: 119522
334.79/335.78 c #Conflicts: 447000 | #Constraints: 120522
334.79/335.78 c #Conflicts: 448000 | #Constraints: 121522
334.79/335.78 c #Conflicts: 449000 | #Constraints: 122522
334.79/335.78 c #Conflicts: 450000 | #Constraints: 123522
334.79/335.78 c #Conflicts: 451000 | #Constraints: 124522
334.79/335.78 c #Conflicts: 452000 | #Constraints: 125522
334.79/335.78 c #Conflicts: 453000 | #Constraints: 126522
334.79/335.78 c #Conflicts: 454000 | #Constraints: 127522
334.79/335.78 c #Conflicts: 455000 | #Constraints: 128522
334.79/335.78 c #Conflicts: 456000 | #Constraints: 129522
334.79/335.78 c #Conflicts: 457000 | #Constraints: 130522
334.79/335.78 c #Conflicts: 458000 | #Constraints: 131522
334.79/335.78 c #Conflicts: 459000 | #Constraints: 132522
334.79/335.78 c #Conflicts: 460000 | #Constraints: 133522
334.79/335.78 c INPROCESSING
334.79/335.78 c GARBAGE COLLECT
334.79/335.78 c #Conflicts: 461000 | #Constraints: 115148
334.79/335.78 c #Conflicts: 462000 | #Constraints: 116148
334.79/335.78 c #Conflicts: 463000 | #Constraints: 117148
334.79/335.78 c #Conflicts: 464000 | #Constraints: 118148
334.79/335.78 c #Conflicts: 465000 | #Constraints: 119148
334.79/335.78 c #Conflicts: 466000 | #Constraints: 120148
334.79/335.78 c #Conflicts: 467000 | #Constraints: 121148
334.79/335.78 c #Conflicts: 468000 | #Constraints: 122148
334.79/335.78 c #Conflicts: 469000 | #Constraints: 123148
334.79/335.78 c #Conflicts: 470000 | #Constraints: 124148
334.79/335.78 c #Conflicts: 471000 | #Constraints: 125148
334.79/335.78 c #Conflicts: 472000 | #Constraints: 126148
334.79/335.78 c #Conflicts: 473000 | #Constraints: 127148
334.79/335.78 c #Conflicts: 474000 | #Constraints: 128148
334.79/335.78 c #Conflicts: 475000 | #Constraints: 129148
334.79/335.78 c INPROCESSING
334.79/335.78 c GARBAGE COLLECT
334.79/335.78 c #Conflicts: 476000 | #Constraints: 112919
334.79/335.78 c #Conflicts: 477000 | #Constraints: 113919
334.79/335.78 c #Conflicts: 478000 | #Constraints: 114919
334.79/335.78 c #Conflicts: 479000 | #Constraints: 115919
334.79/335.78 c #Conflicts: 480000 | #Constraints: 116919
334.79/335.78 c #Conflicts: 481000 | #Constraints: 117919
334.79/335.78 c #Conflicts: 482000 | #Constraints: 118919
334.79/335.78 c #Conflicts: 483000 | #Constraints: 119919
334.79/335.78 c #Conflicts: 484000 | #Constraints: 120919
334.79/335.78 c #Conflicts: 485000 | #Constraints: 121919
334.79/335.78 c #Conflicts: 486000 | #Constraints: 122919
334.79/335.78 c #Conflicts: 487000 | #Constraints: 123919
334.79/335.78 c #Conflicts: 488000 | #Constraints: 124919
334.79/335.78 c #Conflicts: 489000 | #Constraints: 125919
334.79/335.78 c #Conflicts: 490000 | #Constraints: 126919
334.79/335.78 c #Conflicts: 491000 | #Constraints: 127919
334.79/335.78 c #Conflicts: 492000 | #Constraints: 128919
334.79/335.78 c #Conflicts: 493000 | #Constraints: 129919
334.79/335.78 c #Conflicts: 494000 | #Constraints: 130919
334.79/335.78 c #Conflicts: 495000 | #Constraints: 131919
334.79/335.78 c #Conflicts: 496000 | #Constraints: 132919
334.79/335.78 c #Conflicts: 497000 | #Constraints: 133919
334.79/335.78 c #Conflicts: 498000 | #Constraints: 134919
334.79/335.78 c #Conflicts: 499000 | #Constraints: 135919
334.79/335.78 c #Conflicts: 500000 | #Constraints: 136919
334.79/335.78 c #Conflicts: 501000 | #Constraints: 137919
334.79/335.78 c #Conflicts: 502000 | #Constraints: 138919
334.79/335.78 c #Conflicts: 503000 | #Constraints: 139919
334.79/335.78 c #Conflicts: 504000 | #Constraints: 140919
334.79/335.78 c #Conflicts: 505000 | #Constraints: 141919
334.79/335.78 c #Conflicts: 506000 | #Constraints: 142919
334.79/335.78 c #Conflicts: 507000 | #Constraints: 143919
334.79/335.78 c #Conflicts: 508000 | #Constraints: 144919
334.79/335.78 c #Conflicts: 509000 | #Constraints: 145919
334.79/335.78 c #Conflicts: 510000 | #Constraints: 146919
334.79/335.78 c #Conflicts: 511000 | #Constraints: 147919
334.79/335.78 c #Conflicts: 512000 | #Constraints: 148919
334.79/335.78 c #Conflicts: 513000 | #Constraints: 149919
421.18/422.30 c #Conflicts: 514000 | #Constraints: 150919
421.18/422.30 c #Conflicts: 515000 | #Constraints: 151919
421.18/422.30 c #Conflicts: 516000 | #Constraints: 152919
421.18/422.30 c #Conflicts: 517000 | #Constraints: 153919
421.18/422.30 c #Conflicts: 518000 | #Constraints: 154919
421.18/422.30 c #Conflicts: 519000 | #Constraints: 155919
421.18/422.30 c #Conflicts: 520000 | #Constraints: 156919
421.18/422.30 c #Conflicts: 521000 | #Constraints: 157919
421.18/422.30 c #Conflicts: 522000 | #Constraints: 158919
421.18/422.30 c #Conflicts: 523000 | #Constraints: 159919
421.18/422.30 c #Conflicts: 524000 | #Constraints: 160919
421.18/422.30 c #Conflicts: 525000 | #Constraints: 161919
421.18/422.30 c #Conflicts: 526000 | #Constraints: 162919
421.18/422.30 c #Conflicts: 527000 | #Constraints: 163919
421.18/422.30 c #Conflicts: 528000 | #Constraints: 164919
421.18/422.30 c #Conflicts: 529000 | #Constraints: 165919
421.18/422.30 c #Conflicts: 530000 | #Constraints: 166919
421.18/422.30 c #Conflicts: 531000 | #Constraints: 167919
421.18/422.30 c INPROCESSING
421.18/422.30 c GARBAGE COLLECT
421.18/422.30 c #Conflicts: 532000 | #Constraints: 132420
421.18/422.30 c #Conflicts: 533000 | #Constraints: 133420
421.18/422.30 c #Conflicts: 534000 | #Constraints: 134420
421.18/422.30 c #Conflicts: 535000 | #Constraints: 135420
421.18/422.30 c #Conflicts: 536000 | #Constraints: 136420
421.18/422.30 c #Conflicts: 537000 | #Constraints: 137420
421.18/422.30 c #Conflicts: 538000 | #Constraints: 138420
421.18/422.30 c #Conflicts: 539000 | #Constraints: 139420
421.18/422.30 c #Conflicts: 540000 | #Constraints: 140420
421.18/422.30 c #Conflicts: 541000 | #Constraints: 141420
421.18/422.30 c #Conflicts: 542000 | #Constraints: 142420
421.18/422.30 c #Conflicts: 543000 | #Constraints: 143420
421.18/422.30 c #Conflicts: 544000 | #Constraints: 144420
421.18/422.30 c #Conflicts: 545000 | #Constraints: 145420
421.18/422.30 c #Conflicts: 546000 | #Constraints: 146420
421.18/422.30 c #Conflicts: 547000 | #Constraints: 147420
421.18/422.30 c INPROCESSING
421.18/422.30 c GARBAGE COLLECT
421.18/422.30 c #Conflicts: 548000 | #Constraints: 121951
421.18/422.30 c #Conflicts: 549000 | #Constraints: 122951
421.18/422.30 c #Conflicts: 550000 | #Constraints: 123951
421.18/422.30 c #Conflicts: 551000 | #Constraints: 124951
421.18/422.30 c #Conflicts: 552000 | #Constraints: 125951
421.18/422.30 c #Conflicts: 553000 | #Constraints: 126951
421.18/422.30 c #Conflicts: 554000 | #Constraints: 127951
421.18/422.30 c #Conflicts: 555000 | #Constraints: 128951
421.18/422.30 c #Conflicts: 556000 | #Constraints: 129951
421.18/422.30 c #Conflicts: 557000 | #Constraints: 130951
421.18/422.30 c #Conflicts: 558000 | #Constraints: 131951
421.18/422.30 c #Conflicts: 559000 | #Constraints: 132951
421.18/422.30 c #Conflicts: 560000 | #Constraints: 133951
421.18/422.30 c #Conflicts: 561000 | #Constraints: 134951
421.18/422.30 c #Conflicts: 562000 | #Constraints: 135951
421.18/422.30 c #Conflicts: 563000 | #Constraints: 136951
421.18/422.30 c #Conflicts: 564000 | #Constraints: 137951
421.18/422.30 c INPROCESSING
421.18/422.30 c GARBAGE COLLECT
421.18/422.30 c #Conflicts: 565000 | #Constraints: 117421
421.18/422.30 c #Conflicts: 566000 | #Constraints: 118421
421.18/422.30 c #Conflicts: 567000 | #Constraints: 119421
421.18/422.30 c #Conflicts: 568000 | #Constraints: 120421
421.18/422.30 c #Conflicts: 569000 | #Constraints: 121421
421.18/422.30 c #Conflicts: 570000 | #Constraints: 122421
421.18/422.30 c #Conflicts: 571000 | #Constraints: 123421
421.18/422.30 c #Conflicts: 572000 | #Constraints: 124421
421.18/422.30 c #Conflicts: 573000 | #Constraints: 125421
421.18/422.30 c #Conflicts: 574000 | #Constraints: 126421
421.18/422.30 c #Conflicts: 575000 | #Constraints: 127421
421.18/422.30 c #Conflicts: 576000 | #Constraints: 128421
421.18/422.30 c #Conflicts: 577000 | #Constraints: 129421
421.18/422.30 c #Conflicts: 578000 | #Constraints: 130421
421.18/422.30 c #Conflicts: 579000 | #Constraints: 131421
421.18/422.30 c #Conflicts: 580000 | #Constraints: 132421
421.18/422.30 c INPROCESSING
421.18/422.30 c GARBAGE COLLECT
421.18/422.30 c #Conflicts: 581000 | #Constraints: 114281
421.18/422.30 c #Conflicts: 582000 | #Constraints: 115281
421.18/422.30 c #Conflicts: 583000 | #Constraints: 116281
421.18/422.30 c #Conflicts: 584000 | #Constraints: 117281
421.18/422.30 c #Conflicts: 585000 | #Constraints: 118281
421.18/422.30 c #Conflicts: 586000 | #Constraints: 119281
421.18/422.30 c #Conflicts: 587000 | #Constraints: 120281
421.18/422.30 c #Conflicts: 588000 | #Constraints: 121281
421.18/422.30 c #Conflicts: 589000 | #Constraints: 122281
552.63/554.15 c #Conflicts: 590000 | #Constraints: 123281
552.63/554.15 c #Conflicts: 591000 | #Constraints: 124281
552.63/554.15 c #Conflicts: 592000 | #Constraints: 125281
552.63/554.15 c #Conflicts: 593000 | #Constraints: 126281
552.63/554.15 c #Conflicts: 594000 | #Constraints: 127281
552.63/554.15 c #Conflicts: 595000 | #Constraints: 128281
552.63/554.15 c #Conflicts: 596000 | #Constraints: 129281
552.63/554.15 c #Conflicts: 597000 | #Constraints: 130281
552.63/554.15 c #Conflicts: 598000 | #Constraints: 131281
552.63/554.15 c #Conflicts: 599000 | #Constraints: 132281
552.63/554.15 c #Conflicts: 600000 | #Constraints: 133281
552.63/554.15 c #Conflicts: 601000 | #Constraints: 134281
552.63/554.15 c #Conflicts: 602000 | #Constraints: 135281
552.63/554.15 c #Conflicts: 603000 | #Constraints: 136281
552.63/554.15 c #Conflicts: 604000 | #Constraints: 137281
552.63/554.15 c #Conflicts: 605000 | #Constraints: 138281
552.63/554.15 c #Conflicts: 606000 | #Constraints: 139281
552.63/554.15 c #Conflicts: 607000 | #Constraints: 140281
552.63/554.15 c #Conflicts: 608000 | #Constraints: 141281
552.63/554.15 c #Conflicts: 609000 | #Constraints: 142281
552.63/554.15 c #Conflicts: 610000 | #Constraints: 143281
552.63/554.15 c #Conflicts: 611000 | #Constraints: 144281
552.63/554.15 c #Conflicts: 612000 | #Constraints: 145281
552.63/554.15 c #Conflicts: 613000 | #Constraints: 146281
552.63/554.15 c #Conflicts: 614000 | #Constraints: 147281
552.63/554.15 c #Conflicts: 615000 | #Constraints: 148281
552.63/554.15 c #Conflicts: 616000 | #Constraints: 149281
552.63/554.15 c #Conflicts: 617000 | #Constraints: 150281
552.63/554.15 c #Conflicts: 618000 | #Constraints: 151281
552.63/554.15 c #Conflicts: 619000 | #Constraints: 152281
552.63/554.15 c #Conflicts: 620000 | #Constraints: 153281
552.63/554.15 c #Conflicts: 621000 | #Constraints: 154281
552.63/554.15 c #Conflicts: 622000 | #Constraints: 155281
552.63/554.15 c #Conflicts: 623000 | #Constraints: 156281
552.63/554.15 c #Conflicts: 624000 | #Constraints: 157281
552.63/554.15 c #Conflicts: 625000 | #Constraints: 158281
552.63/554.15 c #Conflicts: 626000 | #Constraints: 159281
552.63/554.15 c #Conflicts: 627000 | #Constraints: 160281
552.63/554.15 c #Conflicts: 628000 | #Constraints: 161281
552.63/554.15 c #Conflicts: 629000 | #Constraints: 162281
552.63/554.15 c #Conflicts: 630000 | #Constraints: 163281
552.63/554.15 c #Conflicts: 631000 | #Constraints: 164281
552.63/554.15 c #Conflicts: 632000 | #Constraints: 165281
552.63/554.15 c #Conflicts: 633000 | #Constraints: 166281
552.63/554.15 c #Conflicts: 634000 | #Constraints: 167281
552.63/554.15 c #Conflicts: 635000 | #Constraints: 168281
552.63/554.15 c #Conflicts: 636000 | #Constraints: 169281
552.63/554.15 c #Conflicts: 637000 | #Constraints: 170281
552.63/554.15 c #Conflicts: 638000 | #Constraints: 171281
552.63/554.15 c #Conflicts: 639000 | #Constraints: 172281
552.63/554.15 c #Conflicts: 640000 | #Constraints: 173281
552.63/554.15 c #Conflicts: 641000 | #Constraints: 174281
552.63/554.15 c INPROCESSING
552.63/554.15 c GARBAGE COLLECT
552.63/554.15 c #Conflicts: 642000 | #Constraints: 135161
552.63/554.15 c #Conflicts: 643000 | #Constraints: 136161
552.63/554.15 c #Conflicts: 644000 | #Constraints: 137161
552.63/554.15 c #Conflicts: 645000 | #Constraints: 138161
552.63/554.15 c #Conflicts: 646000 | #Constraints: 139161
552.63/554.15 c #Conflicts: 647000 | #Constraints: 140161
552.63/554.15 c #Conflicts: 648000 | #Constraints: 141161
552.63/554.15 c #Conflicts: 649000 | #Constraints: 142161
552.63/554.15 c #Conflicts: 650000 | #Constraints: 143161
552.63/554.15 c #Conflicts: 651000 | #Constraints: 144161
552.63/554.15 c #Conflicts: 652000 | #Constraints: 145161
552.63/554.15 c #Conflicts: 653000 | #Constraints: 146161
552.63/554.15 c #Conflicts: 654000 | #Constraints: 147161
552.63/554.15 c #Conflicts: 655000 | #Constraints: 148161
552.63/554.15 c #Conflicts: 656000 | #Constraints: 149161
552.63/554.15 c #Conflicts: 657000 | #Constraints: 150161
552.63/554.15 c #Conflicts: 658000 | #Constraints: 151161
552.63/554.15 c #Conflicts: 659000 | #Constraints: 152161
552.63/554.15 c #Conflicts: 660000 | #Constraints: 153161
552.63/554.15 c INPROCESSING
552.63/554.15 c GARBAGE COLLECT
552.63/554.15 c #Conflicts: 661000 | #Constraints: 125093
552.63/554.15 c #Conflicts: 662000 | #Constraints: 126093
552.63/554.15 c #Conflicts: 663000 | #Constraints: 127093
552.63/554.15 c #Conflicts: 664000 | #Constraints: 128093
552.63/554.15 c #Conflicts: 665000 | #Constraints: 129093
552.63/554.15 c #Conflicts: 666000 | #Constraints: 130093
552.63/554.15 c #Conflicts: 667000 | #Constraints: 131093
644.47/646.26 c #Conflicts: 668000 | #Constraints: 132093
644.47/646.26 c #Conflicts: 669000 | #Constraints: 133093
644.47/646.26 c #Conflicts: 670000 | #Constraints: 134093
644.47/646.26 c #Conflicts: 671000 | #Constraints: 135093
644.47/646.26 c #Conflicts: 672000 | #Constraints: 136093
644.47/646.26 c #Conflicts: 673000 | #Constraints: 137093
644.47/646.26 c #Conflicts: 674000 | #Constraints: 138093
644.47/646.26 c #Conflicts: 675000 | #Constraints: 139093
644.47/646.26 c #Conflicts: 676000 | #Constraints: 140093
644.47/646.26 c #Conflicts: 677000 | #Constraints: 141093
644.47/646.26 c #Conflicts: 678000 | #Constraints: 142093
644.47/646.26 c INPROCESSING
644.47/646.26 c GARBAGE COLLECT
644.47/646.26 c #Conflicts: 679000 | #Constraints: 119365
644.47/646.26 c #Conflicts: 680000 | #Constraints: 120365
644.47/646.26 c #Conflicts: 681000 | #Constraints: 121365
644.47/646.26 c #Conflicts: 682000 | #Constraints: 122365
644.47/646.26 c #Conflicts: 683000 | #Constraints: 123365
644.47/646.26 c #Conflicts: 684000 | #Constraints: 124365
644.47/646.26 c #Conflicts: 685000 | #Constraints: 125365
644.47/646.26 c #Conflicts: 686000 | #Constraints: 126365
644.47/646.26 c #Conflicts: 687000 | #Constraints: 127365
644.47/646.26 c #Conflicts: 688000 | #Constraints: 128365
644.47/646.26 c #Conflicts: 689000 | #Constraints: 129365
644.47/646.26 c #Conflicts: 690000 | #Constraints: 130365
644.47/646.26 c #Conflicts: 691000 | #Constraints: 131365
644.47/646.26 c #Conflicts: 692000 | #Constraints: 132365
644.47/646.26 c #Conflicts: 693000 | #Constraints: 133365
644.47/646.26 c #Conflicts: 694000 | #Constraints: 134365
644.47/646.26 c #Conflicts: 695000 | #Constraints: 135365
644.47/646.26 c #Conflicts: 696000 | #Constraints: 136365
644.47/646.26 c INPROCESSING
644.47/646.26 c GARBAGE COLLECT
644.47/646.26 c #Conflicts: 697000 | #Constraints: 116257
644.47/646.26 c #Conflicts: 698000 | #Constraints: 117257
644.47/646.26 c #Conflicts: 699000 | #Constraints: 118257
644.47/646.26 c #Conflicts: 700000 | #Constraints: 119257
644.47/646.26 c #Conflicts: 701000 | #Constraints: 120257
644.47/646.26 c #Conflicts: 702000 | #Constraints: 121257
644.47/646.26 c #Conflicts: 703000 | #Constraints: 122257
644.47/646.26 c #Conflicts: 704000 | #Constraints: 123257
644.47/646.26 c #Conflicts: 705000 | #Constraints: 124257
644.47/646.26 c #Conflicts: 706000 | #Constraints: 125257
644.47/646.26 c #Conflicts: 707000 | #Constraints: 126257
644.47/646.26 c #Conflicts: 708000 | #Constraints: 127257
644.47/646.26 c #Conflicts: 709000 | #Constraints: 128257
644.47/646.26 c #Conflicts: 710000 | #Constraints: 129257
644.47/646.26 c #Conflicts: 711000 | #Constraints: 130257
644.47/646.26 c #Conflicts: 712000 | #Constraints: 131257
644.47/646.26 c #Conflicts: 713000 | #Constraints: 132257
644.47/646.26 c #Conflicts: 714000 | #Constraints: 133257
644.47/646.26 c #Conflicts: 715000 | #Constraints: 134257
644.47/646.26 c #Conflicts: 716000 | #Constraints: 135257
644.47/646.26 c #Conflicts: 717000 | #Constraints: 136257
644.47/646.26 c #Conflicts: 718000 | #Constraints: 137257
644.47/646.26 c #Conflicts: 719000 | #Constraints: 138257
644.47/646.26 c #Conflicts: 720000 | #Constraints: 139257
644.47/646.26 c #Conflicts: 721000 | #Constraints: 140257
644.47/646.26 c #Conflicts: 722000 | #Constraints: 141257
644.47/646.26 c #Conflicts: 723000 | #Constraints: 142257
644.47/646.26 c #Conflicts: 724000 | #Constraints: 143257
644.47/646.26 c #Conflicts: 725000 | #Constraints: 144257
644.47/646.26 c #Conflicts: 726000 | #Constraints: 145257
644.47/646.26 c #Conflicts: 727000 | #Constraints: 146257
644.47/646.26 c #Conflicts: 728000 | #Constraints: 147257
644.47/646.26 c #Conflicts: 729000 | #Constraints: 148257
644.47/646.26 c #Conflicts: 730000 | #Constraints: 149257
644.47/646.26 c #Conflicts: 731000 | #Constraints: 150257
644.47/646.26 c #Conflicts: 732000 | #Constraints: 151257
644.47/646.26 c #Conflicts: 733000 | #Constraints: 152257
644.47/646.26 c #Conflicts: 734000 | #Constraints: 153257
644.47/646.26 c #Conflicts: 735000 | #Constraints: 154257
644.47/646.26 c #Conflicts: 736000 | #Constraints: 155257
644.47/646.26 c #Conflicts: 737000 | #Constraints: 156257
644.47/646.26 c #Conflicts: 738000 | #Constraints: 157257
644.47/646.26 c #Conflicts: 739000 | #Constraints: 158257
644.47/646.26 c #Conflicts: 740000 | #Constraints: 159257
644.47/646.26 c #Conflicts: 741000 | #Constraints: 160257
644.47/646.26 c #Conflicts: 742000 | #Constraints: 161257
644.47/646.26 c #Conflicts: 743000 | #Constraints: 162257
644.47/646.26 c #Conflicts: 744000 | #Constraints: 163257
767.26/769.30 c #Conflicts: 745000 | #Constraints: 164257
767.26/769.30 c #Conflicts: 746000 | #Constraints: 165257
767.26/769.30 c #Conflicts: 747000 | #Constraints: 166257
767.26/769.30 c #Conflicts: 748000 | #Constraints: 167257
767.26/769.30 c #Conflicts: 749000 | #Constraints: 168257
767.26/769.30 c #Conflicts: 750000 | #Constraints: 169257
767.26/769.30 c #Conflicts: 751000 | #Constraints: 170257
767.26/769.30 c #Conflicts: 752000 | #Constraints: 171257
767.26/769.30 c #Conflicts: 753000 | #Constraints: 172257
767.26/769.30 c #Conflicts: 754000 | #Constraints: 173257
767.26/769.30 c #Conflicts: 755000 | #Constraints: 174257
767.26/769.30 c #Conflicts: 756000 | #Constraints: 175257
767.26/769.30 c #Conflicts: 757000 | #Constraints: 176257
767.26/769.30 c #Conflicts: 758000 | #Constraints: 177257
767.26/769.30 c #Conflicts: 759000 | #Constraints: 178257
767.26/769.30 c #Conflicts: 760000 | #Constraints: 179257
767.26/769.30 c #Conflicts: 761000 | #Constraints: 180257
767.26/769.30 c #Conflicts: 762000 | #Constraints: 181257
767.26/769.30 c #Conflicts: 763000 | #Constraints: 182257
767.26/769.30 c INPROCESSING
767.26/769.30 c GARBAGE COLLECT
767.26/769.30 c #Conflicts: 764000 | #Constraints: 139528
767.26/769.30 c #Conflicts: 765000 | #Constraints: 140528
767.26/769.30 c #Conflicts: 766000 | #Constraints: 141528
767.26/769.30 c #Conflicts: 767000 | #Constraints: 142528
767.26/769.30 c #Conflicts: 768000 | #Constraints: 143528
767.26/769.30 c #Conflicts: 769000 | #Constraints: 144528
767.26/769.30 c #Conflicts: 770000 | #Constraints: 145528
767.26/769.30 c #Conflicts: 771000 | #Constraints: 146528
767.26/769.30 c #Conflicts: 772000 | #Constraints: 147528
767.26/769.30 c #Conflicts: 773000 | #Constraints: 148528
767.26/769.30 c #Conflicts: 774000 | #Constraints: 149528
767.26/769.30 c #Conflicts: 775000 | #Constraints: 150528
767.26/769.30 c #Conflicts: 776000 | #Constraints: 151528
767.26/769.30 c #Conflicts: 777000 | #Constraints: 152528
767.26/769.30 c #Conflicts: 778000 | #Constraints: 153528
767.26/769.30 c #Conflicts: 779000 | #Constraints: 154528
767.26/769.30 c #Conflicts: 780000 | #Constraints: 155528
767.26/769.30 c #Conflicts: 781000 | #Constraints: 156528
767.26/769.30 c #Conflicts: 782000 | #Constraints: 157528
767.26/769.30 c #Conflicts: 783000 | #Constraints: 158528
767.26/769.30 c INPROCESSING
767.26/769.30 c GARBAGE COLLECT
767.26/769.30 c #Conflicts: 784000 | #Constraints: 127748
767.26/769.30 c #Conflicts: 785000 | #Constraints: 128748
767.26/769.30 c #Conflicts: 786000 | #Constraints: 129748
767.26/769.30 c #Conflicts: 787000 | #Constraints: 130748
767.26/769.30 c #Conflicts: 788000 | #Constraints: 131748
767.26/769.30 c #Conflicts: 789000 | #Constraints: 132748
767.26/769.30 c #Conflicts: 790000 | #Constraints: 133748
767.26/769.30 c #Conflicts: 791000 | #Constraints: 134748
767.26/769.30 c #Conflicts: 792000 | #Constraints: 135748
767.26/769.30 c #Conflicts: 793000 | #Constraints: 136748
767.26/769.30 c #Conflicts: 794000 | #Constraints: 137748
767.26/769.30 c #Conflicts: 795000 | #Constraints: 138748
767.26/769.30 c #Conflicts: 796000 | #Constraints: 139748
767.26/769.30 c #Conflicts: 797000 | #Constraints: 140748
767.26/769.30 c #Conflicts: 798000 | #Constraints: 141748
767.26/769.30 c #Conflicts: 799000 | #Constraints: 142748
767.26/769.30 c #Conflicts: 800000 | #Constraints: 143748
767.26/769.30 c #Conflicts: 801000 | #Constraints: 144748
767.26/769.30 c #Conflicts: 802000 | #Constraints: 145748
767.26/769.30 c #Conflicts: 803000 | #Constraints: 146748
767.26/769.30 c INPROCESSING
767.26/769.30 c GARBAGE COLLECT
767.26/769.30 c #Conflicts: 804000 | #Constraints: 121849
767.26/769.30 c #Conflicts: 805000 | #Constraints: 122849
767.26/769.30 c #Conflicts: 806000 | #Constraints: 123849
767.26/769.30 c #Conflicts: 807000 | #Constraints: 124849
767.26/769.30 c #Conflicts: 808000 | #Constraints: 125849
767.26/769.30 c #Conflicts: 809000 | #Constraints: 126849
767.26/769.30 c #Conflicts: 810000 | #Constraints: 127849
767.26/769.30 c #Conflicts: 811000 | #Constraints: 128849
767.26/769.30 c #Conflicts: 812000 | #Constraints: 129849
767.26/769.30 c #Conflicts: 813000 | #Constraints: 130849
767.26/769.30 c #Conflicts: 814000 | #Constraints: 131849
767.26/769.30 c #Conflicts: 815000 | #Constraints: 132849
767.26/769.30 c #Conflicts: 816000 | #Constraints: 133849
767.26/769.30 c #Conflicts: 817000 | #Constraints: 134849
767.26/769.30 c #Conflicts: 818000 | #Constraints: 135849
767.26/769.30 c #Conflicts: 819000 | #Constraints: 136849
767.26/769.30 c #Conflicts: 820000 | #Constraints: 137849
767.26/769.30 c #Conflicts: 821000 | #Constraints: 138849
893.74/896.19 c #Conflicts: 822000 | #Constraints: 139849
893.74/896.19 c #Conflicts: 823000 | #Constraints: 140849
893.74/896.19 c INPROCESSING
893.74/896.19 c GARBAGE COLLECT
893.74/896.19 c #Conflicts: 824000 | #Constraints: 118820
893.74/896.19 c #Conflicts: 825000 | #Constraints: 119820
893.74/896.19 c #Conflicts: 826000 | #Constraints: 120820
893.74/896.19 c #Conflicts: 827000 | #Constraints: 121820
893.74/896.19 c #Conflicts: 828000 | #Constraints: 122820
893.74/896.19 c #Conflicts: 829000 | #Constraints: 123820
893.74/896.19 c #Conflicts: 830000 | #Constraints: 124820
893.74/896.19 c #Conflicts: 831000 | #Constraints: 125820
893.74/896.19 c #Conflicts: 832000 | #Constraints: 126820
893.74/896.19 c #Conflicts: 833000 | #Constraints: 127820
893.74/896.19 c #Conflicts: 834000 | #Constraints: 128820
893.74/896.19 c #Conflicts: 835000 | #Constraints: 129820
893.74/896.19 c #Conflicts: 836000 | #Constraints: 130820
893.74/896.19 c #Conflicts: 837000 | #Constraints: 131820
893.74/896.19 c #Conflicts: 838000 | #Constraints: 132820
893.74/896.19 c #Conflicts: 839000 | #Constraints: 133820
893.74/896.19 c #Conflicts: 840000 | #Constraints: 134820
893.74/896.19 c #Conflicts: 841000 | #Constraints: 135820
893.74/896.19 c #Conflicts: 842000 | #Constraints: 136820
893.74/896.19 c #Conflicts: 843000 | #Constraints: 137820
893.74/896.19 c #Conflicts: 844000 | #Constraints: 138820
893.74/896.19 c #Conflicts: 845000 | #Constraints: 139820
893.74/896.19 c #Conflicts: 846000 | #Constraints: 140820
893.74/896.19 c #Conflicts: 847000 | #Constraints: 141820
893.74/896.19 c #Conflicts: 848000 | #Constraints: 142820
893.74/896.19 c #Conflicts: 849000 | #Constraints: 143820
893.74/896.19 c #Conflicts: 850000 | #Constraints: 144820
893.74/896.19 c #Conflicts: 851000 | #Constraints: 145820
893.74/896.19 c #Conflicts: 852000 | #Constraints: 146820
893.74/896.19 c #Conflicts: 853000 | #Constraints: 147820
893.74/896.19 c #Conflicts: 854000 | #Constraints: 148820
893.74/896.19 c #Conflicts: 855000 | #Constraints: 149820
893.74/896.19 c #Conflicts: 856000 | #Constraints: 150820
893.74/896.19 c #Conflicts: 857000 | #Constraints: 151820
893.74/896.19 c #Conflicts: 858000 | #Constraints: 152820
893.74/896.19 c #Conflicts: 859000 | #Constraints: 153820
893.74/896.19 c #Conflicts: 860000 | #Constraints: 154820
893.74/896.19 c #Conflicts: 861000 | #Constraints: 155820
893.74/896.19 c #Conflicts: 862000 | #Constraints: 156820
893.74/896.19 c #Conflicts: 863000 | #Constraints: 157820
893.74/896.19 c #Conflicts: 864000 | #Constraints: 158820
893.74/896.19 c #Conflicts: 865000 | #Constraints: 159820
893.74/896.19 c #Conflicts: 866000 | #Constraints: 160820
893.74/896.19 c #Conflicts: 867000 | #Constraints: 161820
893.74/896.19 c #Conflicts: 868000 | #Constraints: 162820
893.74/896.19 c #Conflicts: 869000 | #Constraints: 163820
893.74/896.19 c #Conflicts: 870000 | #Constraints: 164820
893.74/896.19 c #Conflicts: 871000 | #Constraints: 165820
893.74/896.19 c #Conflicts: 872000 | #Constraints: 166820
893.74/896.19 c #Conflicts: 873000 | #Constraints: 167820
893.74/896.19 c #Conflicts: 874000 | #Constraints: 168820
893.74/896.19 c #Conflicts: 875000 | #Constraints: 169820
893.74/896.19 c #Conflicts: 876000 | #Constraints: 170820
893.74/896.19 c #Conflicts: 877000 | #Constraints: 171820
893.74/896.19 c #Conflicts: 878000 | #Constraints: 172820
893.74/896.19 c #Conflicts: 879000 | #Constraints: 173820
893.74/896.19 c #Conflicts: 880000 | #Constraints: 174820
893.74/896.19 c #Conflicts: 881000 | #Constraints: 175820
893.74/896.19 c #Conflicts: 882000 | #Constraints: 176820
893.74/896.19 c #Conflicts: 883000 | #Constraints: 177820
893.74/896.19 c #Conflicts: 884000 | #Constraints: 178820
893.74/896.19 c #Conflicts: 885000 | #Constraints: 179820
893.74/896.19 c #Conflicts: 886000 | #Constraints: 180820
893.74/896.19 c #Conflicts: 887000 | #Constraints: 181820
893.74/896.19 c #Conflicts: 888000 | #Constraints: 182820
893.74/896.19 c #Conflicts: 889000 | #Constraints: 183820
893.74/896.19 c #Conflicts: 890000 | #Constraints: 184820
893.74/896.19 c #Conflicts: 891000 | #Constraints: 185820
893.74/896.19 c #Conflicts: 892000 | #Constraints: 186820
893.74/896.19 c #Conflicts: 893000 | #Constraints: 187820
893.74/896.19 c #Conflicts: 894000 | #Constraints: 188820
893.74/896.19 c INPROCESSING
893.74/896.19 c GARBAGE COLLECT
893.74/896.19 c #Conflicts: 895000 | #Constraints: 142432
893.74/896.19 c #Conflicts: 896000 | #Constraints: 143432
893.74/896.19 c #Conflicts: 897000 | #Constraints: 144432
893.74/896.19 c #Conflicts: 898000 | #Constraints: 145432
893.74/896.19 c #Conflicts: 899000 | #Constraints: 146432
991.58/994.22 c #Conflicts: 900000 | #Constraints: 147432
991.58/994.22 c #Conflicts: 901000 | #Constraints: 148432
991.58/994.22 c #Conflicts: 902000 | #Constraints: 149432
991.58/994.22 c #Conflicts: 903000 | #Constraints: 150432
991.58/994.22 c #Conflicts: 904000 | #Constraints: 151432
991.58/994.22 c #Conflicts: 905000 | #Constraints: 152432
991.58/994.22 c #Conflicts: 906000 | #Constraints: 153432
991.58/994.22 c #Conflicts: 907000 | #Constraints: 154432
991.58/994.22 c #Conflicts: 908000 | #Constraints: 155432
991.58/994.22 c #Conflicts: 909000 | #Constraints: 156432
991.58/994.22 c #Conflicts: 910000 | #Constraints: 157432
991.58/994.22 c #Conflicts: 911000 | #Constraints: 158432
991.58/994.22 c #Conflicts: 912000 | #Constraints: 159432
991.58/994.22 c #Conflicts: 913000 | #Constraints: 160432
991.58/994.22 c #Conflicts: 914000 | #Constraints: 161432
991.58/994.22 c #Conflicts: 915000 | #Constraints: 162432
991.58/994.22 c #Conflicts: 916000 | #Constraints: 163432
991.58/994.22 c INPROCESSING
991.58/994.22 c GARBAGE COLLECT
991.58/994.22 c #Conflicts: 917000 | #Constraints: 130025
991.58/994.22 c #Conflicts: 918000 | #Constraints: 131025
991.58/994.22 c #Conflicts: 919000 | #Constraints: 132025
991.58/994.22 c #Conflicts: 920000 | #Constraints: 133025
991.58/994.22 c #Conflicts: 921000 | #Constraints: 134025
991.58/994.22 c #Conflicts: 922000 | #Constraints: 135025
991.58/994.22 c #Conflicts: 923000 | #Constraints: 136025
991.58/994.22 c #Conflicts: 924000 | #Constraints: 137025
991.58/994.22 c #Conflicts: 925000 | #Constraints: 138025
991.58/994.22 c #Conflicts: 926000 | #Constraints: 139025
991.58/994.22 c #Conflicts: 927000 | #Constraints: 140025
991.58/994.22 c #Conflicts: 928000 | #Constraints: 141025
991.58/994.22 c #Conflicts: 929000 | #Constraints: 142025
991.58/994.22 c #Conflicts: 930000 | #Constraints: 143025
991.58/994.22 c #Conflicts: 931000 | #Constraints: 144025
991.58/994.22 c #Conflicts: 932000 | #Constraints: 145025
991.58/994.22 c #Conflicts: 933000 | #Constraints: 146025
991.58/994.22 c #Conflicts: 934000 | #Constraints: 147025
991.58/994.22 c #Conflicts: 935000 | #Constraints: 148025
991.58/994.22 c #Conflicts: 936000 | #Constraints: 149025
991.58/994.22 c #Conflicts: 937000 | #Constraints: 150025
991.58/994.22 c #Conflicts: 938000 | #Constraints: 151025
991.58/994.22 c INPROCESSING
991.58/994.22 c GARBAGE COLLECT
991.58/994.22 c #Conflicts: 939000 | #Constraints: 123930
991.58/994.22 c #Conflicts: 940000 | #Constraints: 124930
991.58/994.22 c #Conflicts: 941000 | #Constraints: 125930
991.58/994.22 c #Conflicts: 942000 | #Constraints: 126930
991.58/994.22 c #Conflicts: 943000 | #Constraints: 127930
991.58/994.22 c #Conflicts: 944000 | #Constraints: 128930
991.58/994.22 c #Conflicts: 945000 | #Constraints: 129930
991.58/994.22 c #Conflicts: 946000 | #Constraints: 130930
991.58/994.22 c #Conflicts: 947000 | #Constraints: 131930
991.58/994.22 c #Conflicts: 948000 | #Constraints: 132930
991.58/994.22 c #Conflicts: 949000 | #Constraints: 133930
991.58/994.22 c #Conflicts: 950000 | #Constraints: 134930
991.58/994.22 c #Conflicts: 951000 | #Constraints: 135930
991.58/994.22 c #Conflicts: 952000 | #Constraints: 136930
991.58/994.22 c #Conflicts: 953000 | #Constraints: 137930
991.58/994.22 c #Conflicts: 954000 | #Constraints: 138930
991.58/994.22 c #Conflicts: 955000 | #Constraints: 139930
991.58/994.22 c #Conflicts: 956000 | #Constraints: 140930
991.58/994.22 c #Conflicts: 957000 | #Constraints: 141930
991.58/994.22 c #Conflicts: 958000 | #Constraints: 142930
991.58/994.22 c #Conflicts: 959000 | #Constraints: 143930
991.58/994.22 c #Conflicts: 960000 | #Constraints: 144930
991.58/994.22 c INPROCESSING
991.58/994.22 c GARBAGE COLLECT
991.58/994.22 c #Conflicts: 961000 | #Constraints: 120966
991.58/994.22 c #Conflicts: 962000 | #Constraints: 121966
991.58/994.22 c #Conflicts: 963000 | #Constraints: 122966
991.58/994.22 c #Conflicts: 964000 | #Constraints: 123966
991.58/994.22 c #Conflicts: 965000 | #Constraints: 124966
991.58/994.22 c #Conflicts: 966000 | #Constraints: 125966
991.58/994.22 c #Conflicts: 967000 | #Constraints: 126966
991.58/994.22 c #Conflicts: 968000 | #Constraints: 127966
991.58/994.22 c #Conflicts: 969000 | #Constraints: 128966
991.58/994.22 c #Conflicts: 970000 | #Constraints: 129966
991.58/994.22 c #Conflicts: 971000 | #Constraints: 130966
991.58/994.22 c #Conflicts: 972000 | #Constraints: 131966
991.58/994.22 c #Conflicts: 973000 | #Constraints: 132966
991.58/994.22 c #Conflicts: 974000 | #Constraints: 133966
991.58/994.22 c #Conflicts: 975000 | #Constraints: 134966
1137.12/1140.17 c #Conflicts: 976000 | #Constraints: 135966
1137.12/1140.17 c #Conflicts: 977000 | #Constraints: 136966
1137.12/1140.17 c #Conflicts: 978000 | #Constraints: 137966
1137.12/1140.17 c #Conflicts: 979000 | #Constraints: 138966
1137.12/1140.17 c #Conflicts: 980000 | #Constraints: 139966
1137.12/1140.17 c #Conflicts: 981000 | #Constraints: 140966
1137.12/1140.17 c #Conflicts: 982000 | #Constraints: 141966
1137.12/1140.17 c #Conflicts: 983000 | #Constraints: 142966
1137.12/1140.17 c #Conflicts: 984000 | #Constraints: 143966
1137.12/1140.17 c #Conflicts: 985000 | #Constraints: 144966
1137.12/1140.17 c #Conflicts: 986000 | #Constraints: 145966
1137.12/1140.17 c #Conflicts: 987000 | #Constraints: 146966
1137.12/1140.17 c #Conflicts: 988000 | #Constraints: 147966
1137.12/1140.17 c #Conflicts: 989000 | #Constraints: 148966
1137.12/1140.17 c #Conflicts: 990000 | #Constraints: 149966
1137.12/1140.17 c #Conflicts: 991000 | #Constraints: 150966
1137.12/1140.17 c #Conflicts: 992000 | #Constraints: 151966
1137.12/1140.17 c #Conflicts: 993000 | #Constraints: 152966
1137.12/1140.17 c #Conflicts: 994000 | #Constraints: 153966
1137.12/1140.17 c #Conflicts: 995000 | #Constraints: 154966
1137.12/1140.17 c #Conflicts: 996000 | #Constraints: 155966
1137.12/1140.17 c #Conflicts: 997000 | #Constraints: 156966
1137.12/1140.17 c #Conflicts: 998000 | #Constraints: 157966
1137.12/1140.17 c #Conflicts: 999000 | #Constraints: 158966
1137.12/1140.17 c #Conflicts: 1000000 | #Constraints: 159966
1137.12/1140.17 c #Conflicts: 1001000 | #Constraints: 160966
1137.12/1140.17 c #Conflicts: 1002000 | #Constraints: 161966
1137.12/1140.17 c #Conflicts: 1003000 | #Constraints: 162966
1137.12/1140.17 c #Conflicts: 1004000 | #Constraints: 163966
1137.12/1140.17 c #Conflicts: 1005000 | #Constraints: 164966
1137.12/1140.17 c #Conflicts: 1006000 | #Constraints: 165966
1137.12/1140.17 c #Conflicts: 1007000 | #Constraints: 166966
1137.12/1140.17 c #Conflicts: 1008000 | #Constraints: 167966
1137.12/1140.17 c #Conflicts: 1009000 | #Constraints: 168966
1137.12/1140.17 c #Conflicts: 1010000 | #Constraints: 169966
1137.12/1140.17 c #Conflicts: 1011000 | #Constraints: 170966
1137.12/1140.17 c #Conflicts: 1012000 | #Constraints: 171966
1137.12/1140.17 c #Conflicts: 1013000 | #Constraints: 172966
1137.12/1140.17 c #Conflicts: 1014000 | #Constraints: 173966
1137.12/1140.17 c #Conflicts: 1015000 | #Constraints: 174966
1137.12/1140.17 c #Conflicts: 1016000 | #Constraints: 175966
1137.12/1140.17 c #Conflicts: 1017000 | #Constraints: 176966
1137.12/1140.17 c #Conflicts: 1018000 | #Constraints: 177966
1137.12/1140.17 c #Conflicts: 1019000 | #Constraints: 178966
1137.12/1140.17 c #Conflicts: 1020000 | #Constraints: 179966
1137.12/1140.17 c #Conflicts: 1021000 | #Constraints: 180966
1137.12/1140.17 c #Conflicts: 1022000 | #Constraints: 181966
1137.12/1140.17 c #Conflicts: 1023000 | #Constraints: 182966
1137.12/1140.17 c #Conflicts: 1024000 | #Constraints: 183966
1137.12/1140.17 c #Conflicts: 1025000 | #Constraints: 184966
1137.12/1140.17 c #Conflicts: 1026000 | #Constraints: 185966
1137.12/1140.17 c #Conflicts: 1027000 | #Constraints: 186966
1137.12/1140.17 c #Conflicts: 1028000 | #Constraints: 187966
1137.12/1140.17 c #Conflicts: 1029000 | #Constraints: 188966
1137.12/1140.17 c #Conflicts: 1030000 | #Constraints: 189966
1137.12/1140.17 c #Conflicts: 1031000 | #Constraints: 190966
1137.12/1140.17 c #Conflicts: 1032000 | #Constraints: 191966
1137.12/1140.17 c #Conflicts: 1033000 | #Constraints: 192966
1137.12/1140.17 c #Conflicts: 1034000 | #Constraints: 193966
1137.12/1140.17 c #Conflicts: 1035000 | #Constraints: 194966
1137.12/1140.17 c #Conflicts: 1036000 | #Constraints: 195966
1137.12/1140.17 c #Conflicts: 1037000 | #Constraints: 196966
1137.12/1140.17 c INPROCESSING
1137.12/1140.17 c GARBAGE COLLECT
1137.12/1140.17 c #Conflicts: 1038000 | #Constraints: 146981
1137.12/1140.17 c #Conflicts: 1039000 | #Constraints: 147981
1137.12/1140.17 c #Conflicts: 1040000 | #Constraints: 148981
1137.12/1140.17 c #Conflicts: 1041000 | #Constraints: 149981
1137.12/1140.17 c #Conflicts: 1042000 | #Constraints: 150981
1137.12/1140.17 c #Conflicts: 1043000 | #Constraints: 151981
1137.12/1140.17 c #Conflicts: 1044000 | #Constraints: 152981
1137.12/1140.17 c #Conflicts: 1045000 | #Constraints: 153981
1137.12/1140.17 c #Conflicts: 1046000 | #Constraints: 154981
1137.12/1140.17 c #Conflicts: 1047000 | #Constraints: 155981
1137.12/1140.17 c #Conflicts: 1048000 | #Constraints: 156981
1137.12/1140.17 c #Conflicts: 1049000 | #Constraints: 157981
1137.12/1140.17 c #Conflicts: 1050000 | #Constraints: 158981
1137.12/1140.17 c #Conflicts: 1051000 | #Constraints: 159981
1137.12/1140.17 c #Conflicts: 1052000 | #Constraints: 160981
1137.12/1140.17 c #Conflicts: 1053000 | #Constraints: 161981
1137.12/1140.17 c #Conflicts: 1054000 | #Constraints: 162981
1231.67/1234.98 c #Conflicts: 1055000 | #Constraints: 163981
1231.67/1234.98 c #Conflicts: 1056000 | #Constraints: 164981
1231.67/1234.98 c #Conflicts: 1057000 | #Constraints: 165981
1231.67/1234.98 c #Conflicts: 1058000 | #Constraints: 166981
1231.67/1234.98 c #Conflicts: 1059000 | #Constraints: 167981
1231.67/1234.98 c #Conflicts: 1060000 | #Constraints: 168981
1231.67/1234.98 c INPROCESSING
1231.67/1234.98 c GARBAGE COLLECT
1231.67/1234.98 c #Conflicts: 1061000 | #Constraints: 132867
1231.67/1234.98 c #Conflicts: 1062000 | #Constraints: 133867
1231.67/1234.98 c #Conflicts: 1063000 | #Constraints: 134867
1231.67/1234.98 c #Conflicts: 1064000 | #Constraints: 135867
1231.67/1234.98 c #Conflicts: 1065000 | #Constraints: 136867
1231.67/1234.98 c #Conflicts: 1066000 | #Constraints: 137867
1231.67/1234.98 c #Conflicts: 1067000 | #Constraints: 138867
1231.67/1234.98 c #Conflicts: 1068000 | #Constraints: 139867
1231.67/1234.98 c #Conflicts: 1069000 | #Constraints: 140867
1231.67/1234.98 c #Conflicts: 1070000 | #Constraints: 141867
1231.67/1234.98 c #Conflicts: 1071000 | #Constraints: 142867
1231.67/1234.98 c #Conflicts: 1072000 | #Constraints: 143867
1231.67/1234.98 c #Conflicts: 1073000 | #Constraints: 144867
1231.67/1234.98 c #Conflicts: 1074000 | #Constraints: 145867
1231.67/1234.98 c #Conflicts: 1075000 | #Constraints: 146867
1231.67/1234.98 c #Conflicts: 1076000 | #Constraints: 147867
1231.67/1234.98 c #Conflicts: 1077000 | #Constraints: 148867
1231.67/1234.98 c #Conflicts: 1078000 | #Constraints: 149867
1231.67/1234.98 c #Conflicts: 1079000 | #Constraints: 150867
1231.67/1234.98 c #Conflicts: 1080000 | #Constraints: 151867
1231.67/1234.98 c #Conflicts: 1081000 | #Constraints: 152867
1231.67/1234.98 c #Conflicts: 1082000 | #Constraints: 153867
1231.67/1234.98 c #Conflicts: 1083000 | #Constraints: 154867
1231.67/1234.98 c INPROCESSING
1231.67/1234.98 c GARBAGE COLLECT
1231.67/1234.98 c #Conflicts: 1084000 | #Constraints: 125618
1231.67/1234.98 c #Conflicts: 1085000 | #Constraints: 126618
1231.67/1234.98 c #Conflicts: 1086000 | #Constraints: 127618
1231.67/1234.98 c #Conflicts: 1087000 | #Constraints: 128618
1231.67/1234.98 c #Conflicts: 1088000 | #Constraints: 129618
1231.67/1234.98 c #Conflicts: 1089000 | #Constraints: 130618
1231.67/1234.98 c #Conflicts: 1090000 | #Constraints: 131618
1231.67/1234.98 c #Conflicts: 1091000 | #Constraints: 132618
1231.67/1234.98 c #Conflicts: 1092000 | #Constraints: 133618
1231.67/1234.98 c #Conflicts: 1093000 | #Constraints: 134618
1231.67/1234.98 c #Conflicts: 1094000 | #Constraints: 135618
1231.67/1234.98 c #Conflicts: 1095000 | #Constraints: 136618
1231.67/1234.98 c #Conflicts: 1096000 | #Constraints: 137618
1231.67/1234.98 c #Conflicts: 1097000 | #Constraints: 138618
1231.67/1234.98 c #Conflicts: 1098000 | #Constraints: 139618
1231.67/1234.98 c #Conflicts: 1099000 | #Constraints: 140618
1231.67/1234.98 c #Conflicts: 1100000 | #Constraints: 141618
1231.67/1234.98 c #Conflicts: 1101000 | #Constraints: 142618
1231.67/1234.98 c #Conflicts: 1102000 | #Constraints: 143618
1231.67/1234.98 c #Conflicts: 1103000 | #Constraints: 144618
1231.67/1234.98 c #Conflicts: 1104000 | #Constraints: 145618
1231.67/1234.98 c #Conflicts: 1105000 | #Constraints: 146618
1231.67/1234.98 c #Conflicts: 1106000 | #Constraints: 147618
1231.67/1234.98 c #Conflicts: 1107000 | #Constraints: 148618
1231.67/1234.98 c INPROCESSING
1231.67/1234.98 c GARBAGE COLLECT
1231.67/1234.98 c #Conflicts: 1108000 | #Constraints: 122688
1231.67/1234.98 c #Conflicts: 1109000 | #Constraints: 123688
1231.67/1234.98 c #Conflicts: 1110000 | #Constraints: 124688
1231.67/1234.98 c #Conflicts: 1111000 | #Constraints: 125688
1231.67/1234.98 c #Conflicts: 1112000 | #Constraints: 126688
1231.67/1234.98 c #Conflicts: 1113000 | #Constraints: 127688
1231.67/1234.98 c #Conflicts: 1114000 | #Constraints: 128688
1231.67/1234.98 c #Conflicts: 1115000 | #Constraints: 129688
1231.67/1234.98 c #Conflicts: 1116000 | #Constraints: 130688
1231.67/1234.98 c #Conflicts: 1117000 | #Constraints: 131688
1231.67/1234.98 c #Conflicts: 1118000 | #Constraints: 132688
1231.67/1234.98 c #Conflicts: 1119000 | #Constraints: 133688
1231.67/1234.98 c #Conflicts: 1120000 | #Constraints: 134688
1231.67/1234.98 c #Conflicts: 1121000 | #Constraints: 135688
1231.67/1234.98 c #Conflicts: 1122000 | #Constraints: 136688
1231.67/1234.98 c #Conflicts: 1123000 | #Constraints: 137688
1231.67/1234.98 c #Conflicts: 1124000 | #Constraints: 138688
1231.67/1234.98 c #Conflicts: 1125000 | #Constraints: 139688
1231.67/1234.98 c #Conflicts: 1126000 | #Constraints: 140688
1231.67/1234.98 c #Conflicts: 1127000 | #Constraints: 141688
1231.67/1234.98 c #Conflicts: 1128000 | #Constraints: 142688
1231.67/1234.98 c #Conflicts: 1129000 | #Constraints: 143688
1231.67/1234.98 c #Conflicts: 1130000 | #Constraints: 144688
1426.06/1429.80 c #Conflicts: 1131000 | #Constraints: 145688
1426.06/1429.80 c #Conflicts: 1132000 | #Constraints: 146688
1426.06/1429.80 c #Conflicts: 1133000 | #Constraints: 147688
1426.06/1429.80 c #Conflicts: 1134000 | #Constraints: 148688
1426.06/1429.80 c #Conflicts: 1135000 | #Constraints: 149688
1426.06/1429.80 c #Conflicts: 1136000 | #Constraints: 150688
1426.06/1429.80 c #Conflicts: 1137000 | #Constraints: 151688
1426.06/1429.80 c #Conflicts: 1138000 | #Constraints: 152688
1426.06/1429.80 c #Conflicts: 1139000 | #Constraints: 153688
1426.06/1429.80 c #Conflicts: 1140000 | #Constraints: 154688
1426.06/1429.80 c #Conflicts: 1141000 | #Constraints: 155688
1426.06/1429.80 c #Conflicts: 1142000 | #Constraints: 156688
1426.06/1429.80 c #Conflicts: 1143000 | #Constraints: 157688
1426.06/1429.80 c #Conflicts: 1144000 | #Constraints: 158688
1426.06/1429.80 c #Conflicts: 1145000 | #Constraints: 159688
1426.06/1429.80 c #Conflicts: 1146000 | #Constraints: 160688
1426.06/1429.80 c #Conflicts: 1147000 | #Constraints: 161688
1426.06/1429.80 c #Conflicts: 1148000 | #Constraints: 162688
1426.06/1429.80 c #Conflicts: 1149000 | #Constraints: 163688
1426.06/1429.80 c #Conflicts: 1150000 | #Constraints: 164688
1426.06/1429.80 c #Conflicts: 1151000 | #Constraints: 165688
1426.06/1429.80 c #Conflicts: 1152000 | #Constraints: 166688
1426.06/1429.80 c #Conflicts: 1153000 | #Constraints: 167688
1426.06/1429.80 c #Conflicts: 1154000 | #Constraints: 168688
1426.06/1429.80 c #Conflicts: 1155000 | #Constraints: 169688
1426.06/1429.80 c #Conflicts: 1156000 | #Constraints: 170688
1426.06/1429.80 c #Conflicts: 1157000 | #Constraints: 171688
1426.06/1429.80 c #Conflicts: 1158000 | #Constraints: 172688
1426.06/1429.80 c #Conflicts: 1159000 | #Constraints: 173688
1426.06/1429.80 c #Conflicts: 1160000 | #Constraints: 174688
1426.06/1429.80 c #Conflicts: 1161000 | #Constraints: 175688
1426.06/1429.80 c #Conflicts: 1162000 | #Constraints: 176688
1426.06/1429.80 c #Conflicts: 1163000 | #Constraints: 177688
1426.06/1429.80 c #Conflicts: 1164000 | #Constraints: 178688
1426.06/1429.80 c #Conflicts: 1165000 | #Constraints: 179688
1426.06/1429.80 c #Conflicts: 1166000 | #Constraints: 180688
1426.06/1429.80 c #Conflicts: 1167000 | #Constraints: 181688
1426.06/1429.80 c #Conflicts: 1168000 | #Constraints: 182688
1426.06/1429.80 c #Conflicts: 1169000 | #Constraints: 183688
1426.06/1429.80 c #Conflicts: 1170000 | #Constraints: 184688
1426.06/1429.80 c #Conflicts: 1171000 | #Constraints: 185688
1426.06/1429.80 c #Conflicts: 1172000 | #Constraints: 186688
1426.06/1429.80 c #Conflicts: 1173000 | #Constraints: 187688
1426.06/1429.80 c #Conflicts: 1174000 | #Constraints: 188688
1426.06/1429.80 c #Conflicts: 1175000 | #Constraints: 189688
1426.06/1429.80 c #Conflicts: 1176000 | #Constraints: 190688
1426.06/1429.80 c #Conflicts: 1177000 | #Constraints: 191688
1426.06/1429.80 c #Conflicts: 1178000 | #Constraints: 192688
1426.06/1429.80 c #Conflicts: 1179000 | #Constraints: 193688
1426.06/1429.80 c #Conflicts: 1180000 | #Constraints: 194688
1426.06/1429.80 c #Conflicts: 1181000 | #Constraints: 195688
1426.06/1429.80 c #Conflicts: 1182000 | #Constraints: 196688
1426.06/1429.80 c #Conflicts: 1183000 | #Constraints: 197688
1426.06/1429.80 c #Conflicts: 1184000 | #Constraints: 198688
1426.06/1429.80 c #Conflicts: 1185000 | #Constraints: 199688
1426.06/1429.80 c #Conflicts: 1186000 | #Constraints: 200688
1426.06/1429.80 c #Conflicts: 1187000 | #Constraints: 201688
1426.06/1429.80 c #Conflicts: 1188000 | #Constraints: 202688
1426.06/1429.80 c #Conflicts: 1189000 | #Constraints: 203688
1426.06/1429.80 c INPROCESSING
1426.06/1429.80 c GARBAGE COLLECT
1426.06/1429.80 c #Conflicts: 1190000 | #Constraints: 150038
1426.06/1429.80 c #Conflicts: 1191000 | #Constraints: 151038
1426.06/1429.80 c #Conflicts: 1192000 | #Constraints: 152038
1426.06/1429.80 c #Conflicts: 1193000 | #Constraints: 153038
1426.06/1429.80 c #Conflicts: 1194000 | #Constraints: 154038
1426.06/1429.80 c #Conflicts: 1195000 | #Constraints: 155038
1426.06/1429.80 c #Conflicts: 1196000 | #Constraints: 156038
1426.06/1429.80 c #Conflicts: 1197000 | #Constraints: 157038
1426.06/1429.80 c #Conflicts: 1198000 | #Constraints: 158038
1426.06/1429.80 c #Conflicts: 1199000 | #Constraints: 159038
1426.06/1429.80 c #Conflicts: 1200000 | #Constraints: 160038
1426.06/1429.80 c #Conflicts: 1201000 | #Constraints: 161038
1426.06/1429.80 c #Conflicts: 1202000 | #Constraints: 162038
1426.06/1429.80 c #Conflicts: 1203000 | #Constraints: 163038
1426.06/1429.80 c #Conflicts: 1204000 | #Constraints: 164038
1426.06/1429.80 c #Conflicts: 1205000 | #Constraints: 165038
1426.06/1429.80 c #Conflicts: 1206000 | #Constraints: 166038
1426.06/1429.80 c #Conflicts: 1207000 | #Constraints: 167038
1426.06/1429.80 c #Conflicts: 1208000 | #Constraints: 168038
1426.06/1429.80 c #Conflicts: 1209000 | #Constraints: 169038
1522.98/1527.05 c #Conflicts: 1210000 | #Constraints: 170038
1522.98/1527.05 c #Conflicts: 1211000 | #Constraints: 171038
1522.98/1527.05 c #Conflicts: 1212000 | #Constraints: 172038
1522.98/1527.05 c #Conflicts: 1213000 | #Constraints: 173038
1522.98/1527.05 c #Conflicts: 1214000 | #Constraints: 174038
1522.98/1527.05 c INPROCESSING
1522.98/1527.05 c GARBAGE COLLECT
1522.98/1527.05 c #Conflicts: 1215000 | #Constraints: 135319
1522.98/1527.05 c #Conflicts: 1216000 | #Constraints: 136319
1522.98/1527.05 c #Conflicts: 1217000 | #Constraints: 137319
1522.98/1527.05 c #Conflicts: 1218000 | #Constraints: 138319
1522.98/1527.05 c #Conflicts: 1219000 | #Constraints: 139319
1522.98/1527.05 c #Conflicts: 1220000 | #Constraints: 140319
1522.98/1527.05 c #Conflicts: 1221000 | #Constraints: 141319
1522.98/1527.05 c #Conflicts: 1222000 | #Constraints: 142319
1522.98/1527.05 c #Conflicts: 1223000 | #Constraints: 143319
1522.98/1527.05 c #Conflicts: 1224000 | #Constraints: 144319
1522.98/1527.05 c #Conflicts: 1225000 | #Constraints: 145319
1522.98/1527.05 c #Conflicts: 1226000 | #Constraints: 146319
1522.98/1527.05 c #Conflicts: 1227000 | #Constraints: 147319
1522.98/1527.05 c #Conflicts: 1228000 | #Constraints: 148319
1522.98/1527.05 c #Conflicts: 1229000 | #Constraints: 149319
1522.98/1527.05 c #Conflicts: 1230000 | #Constraints: 150319
1522.98/1527.05 c #Conflicts: 1231000 | #Constraints: 151319
1522.98/1527.05 c #Conflicts: 1232000 | #Constraints: 152319
1522.98/1527.05 c #Conflicts: 1233000 | #Constraints: 153319
1522.98/1527.05 c #Conflicts: 1234000 | #Constraints: 154319
1522.98/1527.05 c #Conflicts: 1235000 | #Constraints: 155319
1522.98/1527.05 c #Conflicts: 1236000 | #Constraints: 156319
1522.98/1527.05 c #Conflicts: 1237000 | #Constraints: 157319
1522.98/1527.05 c #Conflicts: 1238000 | #Constraints: 158319
1522.98/1527.05 c #Conflicts: 1239000 | #Constraints: 159319
1522.98/1527.05 c INPROCESSING
1522.98/1527.05 c GARBAGE COLLECT
1522.98/1527.05 c #Conflicts: 1240000 | #Constraints: 127899
1522.98/1527.05 c #Conflicts: 1241000 | #Constraints: 128899
1522.98/1527.05 c #Conflicts: 1242000 | #Constraints: 129899
1522.98/1527.05 c #Conflicts: 1243000 | #Constraints: 130899
1522.98/1527.05 c #Conflicts: 1244000 | #Constraints: 131899
1522.98/1527.05 c #Conflicts: 1245000 | #Constraints: 132899
1522.98/1527.05 c #Conflicts: 1246000 | #Constraints: 133899
1522.98/1527.05 c #Conflicts: 1247000 | #Constraints: 134899
1522.98/1527.05 c #Conflicts: 1248000 | #Constraints: 135899
1522.98/1527.05 c #Conflicts: 1249000 | #Constraints: 136899
1522.98/1527.05 c #Conflicts: 1250000 | #Constraints: 137899
1522.98/1527.05 c #Conflicts: 1251000 | #Constraints: 138899
1522.98/1527.05 c #Conflicts: 1252000 | #Constraints: 139899
1522.98/1527.05 c #Conflicts: 1253000 | #Constraints: 140899
1522.98/1527.05 c #Conflicts: 1254000 | #Constraints: 141899
1522.98/1527.05 c #Conflicts: 1255000 | #Constraints: 142899
1522.98/1527.05 c #Conflicts: 1256000 | #Constraints: 143899
1522.98/1527.05 c #Conflicts: 1257000 | #Constraints: 144899
1522.98/1527.05 c #Conflicts: 1258000 | #Constraints: 145899
1522.98/1527.05 c #Conflicts: 1259000 | #Constraints: 146899
1522.98/1527.05 c #Conflicts: 1260000 | #Constraints: 147899
1522.98/1527.05 c #Conflicts: 1261000 | #Constraints: 148899
1522.98/1527.05 c #Conflicts: 1262000 | #Constraints: 149899
1522.98/1527.05 c #Conflicts: 1263000 | #Constraints: 150899
1522.98/1527.05 c #Conflicts: 1264000 | #Constraints: 151899
1522.98/1527.05 c INPROCESSING
1522.98/1527.05 c GARBAGE COLLECT
1522.98/1527.05 c #Conflicts: 1265000 | #Constraints: 124000
1522.98/1527.05 c #Conflicts: 1266000 | #Constraints: 125000
1522.98/1527.05 c #Conflicts: 1267000 | #Constraints: 126000
1522.98/1527.05 c #Conflicts: 1268000 | #Constraints: 127000
1522.98/1527.05 c #Conflicts: 1269000 | #Constraints: 128000
1522.98/1527.05 c #Conflicts: 1270000 | #Constraints: 129000
1522.98/1527.05 c #Conflicts: 1271000 | #Constraints: 130000
1522.98/1527.05 c #Conflicts: 1272000 | #Constraints: 131000
1522.98/1527.05 c #Conflicts: 1273000 | #Constraints: 132000
1522.98/1527.05 c #Conflicts: 1274000 | #Constraints: 133000
1522.98/1527.05 c #Conflicts: 1275000 | #Constraints: 134000
1522.98/1527.05 c #Conflicts: 1276000 | #Constraints: 135000
1522.98/1527.05 c #Conflicts: 1277000 | #Constraints: 136000
1522.98/1527.05 c #Conflicts: 1278000 | #Constraints: 137000
1522.98/1527.05 c #Conflicts: 1279000 | #Constraints: 138000
1522.98/1527.05 c #Conflicts: 1280000 | #Constraints: 139000
1522.98/1527.05 c #Conflicts: 1281000 | #Constraints: 140000
1522.98/1527.05 c #Conflicts: 1282000 | #Constraints: 141000
1522.98/1527.05 c #Conflicts: 1283000 | #Constraints: 142000
1522.98/1527.05 c #Conflicts: 1284000 | #Constraints: 143000
1522.98/1527.05 c #Conflicts: 1285000 | #Constraints: 144000
1704.35/1708.98 c #Conflicts: 1286000 | #Constraints: 145000
1704.35/1708.98 c #Conflicts: 1287000 | #Constraints: 146000
1704.35/1708.98 c #Conflicts: 1288000 | #Constraints: 147000
1704.35/1708.98 c #Conflicts: 1289000 | #Constraints: 148000
1704.35/1708.98 c #Conflicts: 1290000 | #Constraints: 149000
1704.35/1708.98 c #Conflicts: 1291000 | #Constraints: 150000
1704.35/1708.98 c #Conflicts: 1292000 | #Constraints: 151000
1704.35/1708.98 c #Conflicts: 1293000 | #Constraints: 152000
1704.35/1708.98 c #Conflicts: 1294000 | #Constraints: 153000
1704.35/1708.98 c #Conflicts: 1295000 | #Constraints: 154000
1704.35/1708.98 c #Conflicts: 1296000 | #Constraints: 155000
1704.35/1708.98 c #Conflicts: 1297000 | #Constraints: 156000
1704.35/1708.98 c #Conflicts: 1298000 | #Constraints: 157000
1704.35/1708.98 c #Conflicts: 1299000 | #Constraints: 158000
1704.35/1708.98 c #Conflicts: 1300000 | #Constraints: 159000
1704.35/1708.98 c #Conflicts: 1301000 | #Constraints: 160000
1704.35/1708.98 c #Conflicts: 1302000 | #Constraints: 161000
1704.35/1708.98 c #Conflicts: 1303000 | #Constraints: 162000
1704.35/1708.98 c #Conflicts: 1304000 | #Constraints: 163000
1704.35/1708.98 c #Conflicts: 1305000 | #Constraints: 164000
1704.35/1708.98 c #Conflicts: 1306000 | #Constraints: 165000
1704.35/1708.98 c #Conflicts: 1307000 | #Constraints: 166000
1704.35/1708.98 c #Conflicts: 1308000 | #Constraints: 167000
1704.35/1708.98 c #Conflicts: 1309000 | #Constraints: 168000
1704.35/1708.98 c #Conflicts: 1310000 | #Constraints: 169000
1704.35/1708.98 c #Conflicts: 1311000 | #Constraints: 170000
1704.35/1708.98 c #Conflicts: 1312000 | #Constraints: 171000
1704.35/1708.98 c #Conflicts: 1313000 | #Constraints: 172000
1704.35/1708.98 c #Conflicts: 1314000 | #Constraints: 173000
1704.35/1708.98 c #Conflicts: 1315000 | #Constraints: 174000
1704.35/1708.98 c #Conflicts: 1316000 | #Constraints: 175000
1704.35/1708.98 c #Conflicts: 1317000 | #Constraints: 176000
1704.35/1708.98 c #Conflicts: 1318000 | #Constraints: 177000
1704.35/1708.98 c #Conflicts: 1319000 | #Constraints: 178000
1704.35/1708.98 c #Conflicts: 1320000 | #Constraints: 179000
1704.35/1708.98 c #Conflicts: 1321000 | #Constraints: 180000
1704.35/1708.98 c #Conflicts: 1322000 | #Constraints: 181000
1704.35/1708.98 c #Conflicts: 1323000 | #Constraints: 182000
1704.35/1708.98 c #Conflicts: 1324000 | #Constraints: 183000
1704.35/1708.98 c #Conflicts: 1325000 | #Constraints: 184000
1704.35/1708.98 c #Conflicts: 1326000 | #Constraints: 185000
1704.35/1708.98 c #Conflicts: 1327000 | #Constraints: 186000
1704.35/1708.98 c #Conflicts: 1328000 | #Constraints: 187000
1704.35/1708.98 c #Conflicts: 1329000 | #Constraints: 188000
1704.35/1708.98 c #Conflicts: 1330000 | #Constraints: 189000
1704.35/1708.98 c #Conflicts: 1331000 | #Constraints: 190000
1704.35/1708.98 c #Conflicts: 1332000 | #Constraints: 191000
1704.35/1708.98 c #Conflicts: 1333000 | #Constraints: 192000
1704.35/1708.98 c #Conflicts: 1334000 | #Constraints: 193000
1704.35/1708.98 c #Conflicts: 1335000 | #Constraints: 194000
1704.35/1708.98 c #Conflicts: 1336000 | #Constraints: 195000
1704.35/1708.98 c #Conflicts: 1337000 | #Constraints: 196000
1704.35/1708.98 c #Conflicts: 1338000 | #Constraints: 197000
1704.35/1708.98 c #Conflicts: 1339000 | #Constraints: 198000
1704.35/1708.98 c #Conflicts: 1340000 | #Constraints: 199000
1704.35/1708.98 c #Conflicts: 1341000 | #Constraints: 200000
1704.35/1708.98 c #Conflicts: 1342000 | #Constraints: 201000
1704.35/1708.98 c #Conflicts: 1343000 | #Constraints: 202000
1704.35/1708.98 c #Conflicts: 1344000 | #Constraints: 203000
1704.35/1708.98 c #Conflicts: 1345000 | #Constraints: 204000
1704.35/1708.98 c #Conflicts: 1346000 | #Constraints: 205000
1704.35/1708.98 c #Conflicts: 1347000 | #Constraints: 206000
1704.35/1708.98 c #Conflicts: 1348000 | #Constraints: 207000
1704.35/1708.98 c #Conflicts: 1349000 | #Constraints: 208000
1704.35/1708.98 c #Conflicts: 1350000 | #Constraints: 209000
1704.35/1708.98 c #Conflicts: 1351000 | #Constraints: 210000
1704.35/1708.98 c #Conflicts: 1352000 | #Constraints: 211000
1704.35/1708.98 c INPROCESSING
1704.35/1708.98 c GARBAGE COLLECT
1704.35/1708.98 c #Conflicts: 1353000 | #Constraints: 153802
1704.35/1708.98 c #Conflicts: 1354000 | #Constraints: 154802
1704.35/1708.98 c #Conflicts: 1355000 | #Constraints: 155802
1704.35/1708.98 c #Conflicts: 1356000 | #Constraints: 156802
1704.35/1708.98 c #Conflicts: 1357000 | #Constraints: 157802
1704.35/1708.98 c #Conflicts: 1358000 | #Constraints: 158802
1704.35/1708.98 c #Conflicts: 1359000 | #Constraints: 159802
1704.35/1708.98 c #Conflicts: 1360000 | #Constraints: 160802
1704.35/1708.98 c #Conflicts: 1361000 | #Constraints: 161802
1704.35/1708.98 c #Conflicts: 1362000 | #Constraints: 162802
1704.35/1708.98 c #Conflicts: 1363000 | #Constraints: 163802
1704.35/1708.98 c #Conflicts: 1364000 | #Constraints: 164802
1832.09/1837.09 c #Conflicts: 1365000 | #Constraints: 165802
1832.09/1837.09 c #Conflicts: 1366000 | #Constraints: 166802
1832.09/1837.09 c #Conflicts: 1367000 | #Constraints: 167802
1832.09/1837.09 c #Conflicts: 1368000 | #Constraints: 168802
1832.09/1837.09 c #Conflicts: 1369000 | #Constraints: 169802
1832.09/1837.09 c #Conflicts: 1370000 | #Constraints: 170802
1832.09/1837.09 c #Conflicts: 1371000 | #Constraints: 171802
1832.09/1837.09 c #Conflicts: 1372000 | #Constraints: 172802
1832.09/1837.09 c #Conflicts: 1373000 | #Constraints: 173802
1832.09/1837.09 c #Conflicts: 1374000 | #Constraints: 174802
1832.09/1837.09 c #Conflicts: 1375000 | #Constraints: 175802
1832.09/1837.09 c #Conflicts: 1376000 | #Constraints: 176802
1832.09/1837.09 c #Conflicts: 1377000 | #Constraints: 177802
1832.09/1837.09 c #Conflicts: 1378000 | #Constraints: 178802
1832.09/1837.09 c #Conflicts: 1379000 | #Constraints: 179802
1832.09/1837.09 c INPROCESSING
1832.09/1837.09 c GARBAGE COLLECT
1832.09/1837.09 c #Conflicts: 1380000 | #Constraints: 138353
1832.09/1837.09 c #Conflicts: 1381000 | #Constraints: 139353
1832.09/1837.09 c #Conflicts: 1382000 | #Constraints: 140353
1832.09/1837.09 c #Conflicts: 1383000 | #Constraints: 141353
1832.09/1837.10 c #Conflicts: 1384000 | #Constraints: 142353
1832.09/1837.10 c #Conflicts: 1385000 | #Constraints: 143353
1832.09/1837.10 c #Conflicts: 1386000 | #Constraints: 144353
1832.09/1837.10 c #Conflicts: 1387000 | #Constraints: 145353
1832.09/1837.10 c #Conflicts: 1388000 | #Constraints: 146353
1832.09/1837.10 c #Conflicts: 1389000 | #Constraints: 147353
1832.09/1837.10 c #Conflicts: 1390000 | #Constraints: 148353
1832.09/1837.10 c #Conflicts: 1391000 | #Constraints: 149353
1832.09/1837.10 c #Conflicts: 1392000 | #Constraints: 150353
1832.09/1837.10 c #Conflicts: 1393000 | #Constraints: 151353
1832.09/1837.10 c #Conflicts: 1394000 | #Constraints: 152353
1832.09/1837.10 c #Conflicts: 1395000 | #Constraints: 153353
1832.09/1837.10 c #Conflicts: 1396000 | #Constraints: 154353
1832.09/1837.10 c #Conflicts: 1397000 | #Constraints: 155353
1832.09/1837.10 c #Conflicts: 1398000 | #Constraints: 156353
1832.09/1837.10 c #Conflicts: 1399000 | #Constraints: 157353
1832.09/1837.10 c #Conflicts: 1400000 | #Constraints: 158353
1832.09/1837.10 c #Conflicts: 1401000 | #Constraints: 159353
1832.09/1837.10 c #Conflicts: 1402000 | #Constraints: 160353
1832.09/1837.10 c #Conflicts: 1403000 | #Constraints: 161353
1832.09/1837.10 c #Conflicts: 1404000 | #Constraints: 162353
1832.09/1837.10 c #Conflicts: 1405000 | #Constraints: 163353
1832.09/1837.10 c INPROCESSING
1832.09/1837.10 c GARBAGE COLLECT
1832.09/1837.10 c #Conflicts: 1406000 | #Constraints: 129754
1832.09/1837.10 c #Conflicts: 1407000 | #Constraints: 130754
1832.09/1837.10 c #Conflicts: 1408000 | #Constraints: 131754
1832.09/1837.10 c #Conflicts: 1409000 | #Constraints: 132754
1832.09/1837.10 c #Conflicts: 1410000 | #Constraints: 133754
1832.09/1837.10 c #Conflicts: 1411000 | #Constraints: 134754
1832.09/1837.10 c #Conflicts: 1412000 | #Constraints: 135754
1832.09/1837.10 c #Conflicts: 1413000 | #Constraints: 136754
1832.09/1837.10 c #Conflicts: 1414000 | #Constraints: 137754
1832.09/1837.10 c #Conflicts: 1415000 | #Constraints: 138754
1832.09/1837.10 c #Conflicts: 1416000 | #Constraints: 139754
1832.09/1837.10 c #Conflicts: 1417000 | #Constraints: 140754
1832.09/1837.10 c #Conflicts: 1418000 | #Constraints: 141754
1832.09/1837.10 c #Conflicts: 1419000 | #Constraints: 142754
1832.09/1837.10 c #Conflicts: 1420000 | #Constraints: 143754
1832.09/1837.10 c #Conflicts: 1421000 | #Constraints: 144754
1832.09/1837.10 c #Conflicts: 1422000 | #Constraints: 145754
1832.09/1837.10 c #Conflicts: 1423000 | #Constraints: 146754
1832.09/1837.10 c #Conflicts: 1424000 | #Constraints: 147754
1832.09/1837.10 c #Conflicts: 1425000 | #Constraints: 148754
1832.09/1837.10 c #Conflicts: 1426000 | #Constraints: 149754
1832.09/1837.10 c #Conflicts: 1427000 | #Constraints: 150754
1832.09/1837.10 c #Conflicts: 1428000 | #Constraints: 151754
1832.09/1837.10 c #Conflicts: 1429000 | #Constraints: 152754
1832.09/1837.10 c #Conflicts: 1430000 | #Constraints: 153754
1832.09/1837.10 c #Conflicts: 1431000 | #Constraints: 154754
1832.09/1837.10 c #Conflicts: 1432000 | #Constraints: 155754
1832.09/1837.10 c INPROCESSING
1832.09/1837.10 c GARBAGE COLLECT
1832.09/1837.10 c #Conflicts: 1433000 | #Constraints: 125931
1832.09/1837.10 c #Conflicts: 1434000 | #Constraints: 126931
1832.09/1837.10 c #Conflicts: 1435000 | #Constraints: 127931
1832.09/1837.10 c #Conflicts: 1436000 | #Constraints: 128931
1832.09/1837.10 c #Conflicts: 1437000 | #Constraints: 129931
1832.09/1837.10 c #Conflicts: 1438000 | #Constraints: 130931
1832.09/1837.10 c #Conflicts: 1439000 | #Constraints: 131931
1832.09/1837.10 c #Conflicts: 1440000 | #Constraints: 132931
1997.12/2002.51 c #Conflicts: 1441000 | #Constraints: 133931
1997.12/2002.51 c #Conflicts: 1442000 | #Constraints: 134931
1997.12/2002.51 c #Conflicts: 1443000 | #Constraints: 135931
1997.12/2002.51 c #Conflicts: 1444000 | #Constraints: 136931
1997.12/2002.51 c #Conflicts: 1445000 | #Constraints: 137931
1997.12/2002.51 c #Conflicts: 1446000 | #Constraints: 138931
1997.12/2002.51 c #Conflicts: 1447000 | #Constraints: 139931
1997.12/2002.51 c #Conflicts: 1448000 | #Constraints: 140931
1997.12/2002.51 c #Conflicts: 1449000 | #Constraints: 141931
1997.12/2002.51 c #Conflicts: 1450000 | #Constraints: 142931
1997.12/2002.51 c #Conflicts: 1451000 | #Constraints: 143931
1997.12/2002.51 c #Conflicts: 1452000 | #Constraints: 144931
1997.12/2002.51 c #Conflicts: 1453000 | #Constraints: 145931
1997.12/2002.51 c #Conflicts: 1454000 | #Constraints: 146931
1997.12/2002.51 c #Conflicts: 1455000 | #Constraints: 147931
1997.12/2002.51 c #Conflicts: 1456000 | #Constraints: 148931
1997.12/2002.51 c #Conflicts: 1457000 | #Constraints: 149931
1997.12/2002.51 c #Conflicts: 1458000 | #Constraints: 150931
1997.12/2002.51 c #Conflicts: 1459000 | #Constraints: 151931
1997.12/2002.51 c #Conflicts: 1460000 | #Constraints: 152931
1997.12/2002.51 c #Conflicts: 1461000 | #Constraints: 153931
1997.12/2002.51 c #Conflicts: 1462000 | #Constraints: 154931
1997.12/2002.51 c #Conflicts: 1463000 | #Constraints: 155931
1997.12/2002.51 c #Conflicts: 1464000 | #Constraints: 156931
1997.12/2002.51 c #Conflicts: 1465000 | #Constraints: 157931
1997.12/2002.51 c #Conflicts: 1466000 | #Constraints: 158931
1997.12/2002.51 c #Conflicts: 1467000 | #Constraints: 159931
1997.12/2002.51 c #Conflicts: 1468000 | #Constraints: 160931
1997.12/2002.51 c #Conflicts: 1469000 | #Constraints: 161931
1997.12/2002.51 c #Conflicts: 1470000 | #Constraints: 162931
1997.12/2002.51 c #Conflicts: 1471000 | #Constraints: 163931
1997.12/2002.51 c #Conflicts: 1472000 | #Constraints: 164931
1997.12/2002.51 c #Conflicts: 1473000 | #Constraints: 165931
1997.12/2002.51 c #Conflicts: 1474000 | #Constraints: 166931
1997.12/2002.51 c #Conflicts: 1475000 | #Constraints: 167931
1997.12/2002.51 c #Conflicts: 1476000 | #Constraints: 168931
1997.12/2002.51 c #Conflicts: 1477000 | #Constraints: 169931
1997.12/2002.51 c #Conflicts: 1478000 | #Constraints: 170931
1997.12/2002.51 c #Conflicts: 1479000 | #Constraints: 171931
1997.12/2002.51 c #Conflicts: 1480000 | #Constraints: 172931
1997.12/2002.51 c #Conflicts: 1481000 | #Constraints: 173931
1997.12/2002.51 c #Conflicts: 1482000 | #Constraints: 174931
1997.12/2002.51 c #Conflicts: 1483000 | #Constraints: 175931
1997.12/2002.51 c #Conflicts: 1484000 | #Constraints: 176931
1997.12/2002.51 c #Conflicts: 1485000 | #Constraints: 177931
1997.12/2002.51 c #Conflicts: 1486000 | #Constraints: 178931
1997.12/2002.51 c #Conflicts: 1487000 | #Constraints: 179931
1997.12/2002.51 c #Conflicts: 1488000 | #Constraints: 180931
1997.12/2002.51 c #Conflicts: 1489000 | #Constraints: 181931
1997.12/2002.51 c #Conflicts: 1490000 | #Constraints: 182931
1997.12/2002.51 c #Conflicts: 1491000 | #Constraints: 183931
1997.12/2002.51 c #Conflicts: 1492000 | #Constraints: 184931
1997.12/2002.51 c #Conflicts: 1493000 | #Constraints: 185931
1997.12/2002.51 c #Conflicts: 1494000 | #Constraints: 186931
1997.12/2002.51 c #Conflicts: 1495000 | #Constraints: 187931
1997.12/2002.51 c #Conflicts: 1496000 | #Constraints: 188931
1997.12/2002.51 c #Conflicts: 1497000 | #Constraints: 189931
1997.12/2002.51 c #Conflicts: 1498000 | #Constraints: 190931
1997.12/2002.51 c #Conflicts: 1499000 | #Constraints: 191931
1997.12/2002.51 c #Conflicts: 1500000 | #Constraints: 192931
1997.12/2002.51 c #Conflicts: 1501000 | #Constraints: 193931
1997.12/2002.51 c #Conflicts: 1502000 | #Constraints: 194931
1997.12/2002.51 c #Conflicts: 1503000 | #Constraints: 195931
1997.12/2002.51 c #Conflicts: 1504000 | #Constraints: 196931
1997.12/2002.51 c #Conflicts: 1505000 | #Constraints: 197931
1997.12/2002.51 c #Conflicts: 1506000 | #Constraints: 198931
1997.12/2002.51 c #Conflicts: 1507000 | #Constraints: 199931
1997.12/2002.51 c #Conflicts: 1508000 | #Constraints: 200931
1997.12/2002.51 c #Conflicts: 1509000 | #Constraints: 201931
1997.12/2002.51 c #Conflicts: 1510000 | #Constraints: 202931
1997.12/2002.51 c #Conflicts: 1511000 | #Constraints: 203931
1997.12/2002.51 c #Conflicts: 1512000 | #Constraints: 204931
1997.12/2002.51 c #Conflicts: 1513000 | #Constraints: 205931
1997.12/2002.51 c #Conflicts: 1514000 | #Constraints: 206931
1997.12/2002.51 c #Conflicts: 1515000 | #Constraints: 207931
1997.12/2002.51 c #Conflicts: 1516000 | #Constraints: 208931
1997.12/2002.51 c #Conflicts: 1517000 | #Constraints: 209931
1997.12/2002.51 c #Conflicts: 1518000 | #Constraints: 210931
1997.12/2002.51 c #Conflicts: 1519000 | #Constraints: 211931
2166.42/2172.35 c #Conflicts: 1520000 | #Constraints: 212931
2166.42/2172.35 c #Conflicts: 1521000 | #Constraints: 213931
2166.42/2172.35 c #Conflicts: 1522000 | #Constraints: 214931
2166.42/2172.35 c #Conflicts: 1523000 | #Constraints: 215931
2166.42/2172.35 c #Conflicts: 1524000 | #Constraints: 216931
2166.42/2172.35 c #Conflicts: 1525000 | #Constraints: 217931
2166.42/2172.35 c INPROCESSING
2166.42/2172.35 c GARBAGE COLLECT
2166.42/2172.35 c #Conflicts: 1526000 | #Constraints: 157108
2166.42/2172.35 c #Conflicts: 1527000 | #Constraints: 158108
2166.42/2172.35 c #Conflicts: 1528000 | #Constraints: 159108
2166.42/2172.35 c #Conflicts: 1529000 | #Constraints: 160108
2166.42/2172.35 c #Conflicts: 1530000 | #Constraints: 161108
2166.42/2172.35 c #Conflicts: 1531000 | #Constraints: 162108
2166.42/2172.35 c #Conflicts: 1532000 | #Constraints: 163108
2166.42/2172.35 c #Conflicts: 1533000 | #Constraints: 164108
2166.42/2172.35 c #Conflicts: 1534000 | #Constraints: 165108
2166.42/2172.35 c #Conflicts: 1535000 | #Constraints: 166108
2166.42/2172.35 c #Conflicts: 1536000 | #Constraints: 167108
2166.42/2172.35 c #Conflicts: 1537000 | #Constraints: 168108
2166.42/2172.35 c #Conflicts: 1538000 | #Constraints: 169108
2166.42/2172.35 c #Conflicts: 1539000 | #Constraints: 170108
2166.42/2172.35 c #Conflicts: 1540000 | #Constraints: 171108
2166.42/2172.35 c #Conflicts: 1541000 | #Constraints: 172108
2166.42/2172.35 c #Conflicts: 1542000 | #Constraints: 173108
2166.42/2172.35 c #Conflicts: 1543000 | #Constraints: 174108
2166.42/2172.35 c #Conflicts: 1544000 | #Constraints: 175108
2166.42/2172.35 c #Conflicts: 1545000 | #Constraints: 176108
2166.42/2172.35 c #Conflicts: 1546000 | #Constraints: 177108
2166.42/2172.35 c #Conflicts: 1547000 | #Constraints: 178108
2166.42/2172.35 c #Conflicts: 1548000 | #Constraints: 179108
2166.42/2172.35 c #Conflicts: 1549000 | #Constraints: 180108
2166.42/2172.35 c #Conflicts: 1550000 | #Constraints: 181108
2166.42/2172.35 c #Conflicts: 1551000 | #Constraints: 182108
2166.42/2172.35 c #Conflicts: 1552000 | #Constraints: 183108
2166.42/2172.35 c #Conflicts: 1553000 | #Constraints: 184108
2166.42/2172.35 c #Conflicts: 1554000 | #Constraints: 185108
2166.42/2172.35 c INPROCESSING
2166.42/2172.35 c GARBAGE COLLECT
2166.42/2172.35 c #Conflicts: 1555000 | #Constraints: 141062
2166.42/2172.35 c #Conflicts: 1556000 | #Constraints: 142062
2166.42/2172.35 c #Conflicts: 1557000 | #Constraints: 143062
2166.42/2172.35 c #Conflicts: 1558000 | #Constraints: 144062
2166.42/2172.35 c #Conflicts: 1559000 | #Constraints: 145062
2166.42/2172.35 c #Conflicts: 1560000 | #Constraints: 146062
2166.42/2172.35 c #Conflicts: 1561000 | #Constraints: 147062
2166.42/2172.35 c #Conflicts: 1562000 | #Constraints: 148062
2166.42/2172.35 c #Conflicts: 1563000 | #Constraints: 149062
2166.42/2172.35 c #Conflicts: 1564000 | #Constraints: 150062
2166.42/2172.35 c #Conflicts: 1565000 | #Constraints: 151062
2166.42/2172.35 c #Conflicts: 1566000 | #Constraints: 152062
2166.42/2172.35 c #Conflicts: 1567000 | #Constraints: 153062
2166.42/2172.35 c #Conflicts: 1568000 | #Constraints: 154062
2166.42/2172.35 c #Conflicts: 1569000 | #Constraints: 155062
2166.42/2172.35 c #Conflicts: 1570000 | #Constraints: 156062
2166.42/2172.35 c #Conflicts: 1571000 | #Constraints: 157062
2166.42/2172.35 c #Conflicts: 1572000 | #Constraints: 158062
2166.42/2172.35 c #Conflicts: 1573000 | #Constraints: 159062
2166.42/2172.35 c #Conflicts: 1574000 | #Constraints: 160062
2166.42/2172.35 c #Conflicts: 1575000 | #Constraints: 161062
2166.42/2172.35 c #Conflicts: 1576000 | #Constraints: 162062
2166.42/2172.35 c #Conflicts: 1577000 | #Constraints: 163062
2166.42/2172.35 c #Conflicts: 1578000 | #Constraints: 164062
2166.42/2172.35 c #Conflicts: 1579000 | #Constraints: 165062
2166.42/2172.35 c #Conflicts: 1580000 | #Constraints: 166062
2166.42/2172.35 c #Conflicts: 1581000 | #Constraints: 167062
2166.42/2172.35 c #Conflicts: 1582000 | #Constraints: 168062
2166.42/2172.35 c INPROCESSING
2166.42/2172.35 c GARBAGE COLLECT
2166.42/2172.35 c #Conflicts: 1583000 | #Constraints: 132305
2166.42/2172.35 c #Conflicts: 1584000 | #Constraints: 133305
2166.42/2172.35 c #Conflicts: 1585000 | #Constraints: 134305
2166.42/2172.35 c #Conflicts: 1586000 | #Constraints: 135305
2166.42/2172.35 c #Conflicts: 1587000 | #Constraints: 136305
2166.42/2172.35 c #Conflicts: 1588000 | #Constraints: 137305
2166.42/2172.35 c #Conflicts: 1589000 | #Constraints: 138305
2166.42/2172.35 c #Conflicts: 1590000 | #Constraints: 139305
2166.42/2172.35 c #Conflicts: 1591000 | #Constraints: 140305
2166.42/2172.35 c #Conflicts: 1592000 | #Constraints: 141305
2166.42/2172.35 c #Conflicts: 1593000 | #Constraints: 142305
2166.42/2172.35 c #Conflicts: 1594000 | #Constraints: 143305
2166.42/2172.35 c #Conflicts: 1595000 | #Constraints: 144305
2166.42/2172.35 c #Conflicts: 1596000 | #Constraints: 145305
2298.34/2304.61 c #Conflicts: 1597000 | #Constraints: 146305
2298.34/2304.61 c #Conflicts: 1598000 | #Constraints: 147305
2298.34/2304.61 c #Conflicts: 1599000 | #Constraints: 148305
2298.34/2304.61 c #Conflicts: 1600000 | #Constraints: 149305
2298.34/2304.61 c #Conflicts: 1601000 | #Constraints: 150305
2298.34/2304.61 c #Conflicts: 1602000 | #Constraints: 151305
2298.34/2304.61 c #Conflicts: 1603000 | #Constraints: 152305
2298.34/2304.61 c #Conflicts: 1604000 | #Constraints: 153305
2298.34/2304.61 c #Conflicts: 1605000 | #Constraints: 154305
2298.34/2304.61 c #Conflicts: 1606000 | #Constraints: 155305
2298.34/2304.61 c #Conflicts: 1607000 | #Constraints: 156305
2298.34/2304.61 c #Conflicts: 1608000 | #Constraints: 157305
2298.34/2304.61 c #Conflicts: 1609000 | #Constraints: 158305
2298.34/2304.61 c #Conflicts: 1610000 | #Constraints: 159305
2298.34/2304.61 c #Conflicts: 1611000 | #Constraints: 160305
2298.34/2304.61 c INPROCESSING
2298.34/2304.61 c GARBAGE COLLECT
2298.34/2304.61 c #Conflicts: 1612000 | #Constraints: 128540
2298.34/2304.61 c #Conflicts: 1613000 | #Constraints: 129540
2298.34/2304.61 c #Conflicts: 1614000 | #Constraints: 130540
2298.34/2304.61 c #Conflicts: 1615000 | #Constraints: 131540
2298.34/2304.61 c #Conflicts: 1616000 | #Constraints: 132540
2298.34/2304.61 c #Conflicts: 1617000 | #Constraints: 133540
2298.34/2304.61 c #Conflicts: 1618000 | #Constraints: 134540
2298.34/2304.61 c #Conflicts: 1619000 | #Constraints: 135540
2298.34/2304.61 c #Conflicts: 1620000 | #Constraints: 136540
2298.34/2304.61 c #Conflicts: 1621000 | #Constraints: 137540
2298.34/2304.61 c #Conflicts: 1622000 | #Constraints: 138540
2298.34/2304.61 c #Conflicts: 1623000 | #Constraints: 139540
2298.34/2304.61 c #Conflicts: 1624000 | #Constraints: 140540
2298.34/2304.61 c #Conflicts: 1625000 | #Constraints: 141540
2298.34/2304.61 c #Conflicts: 1626000 | #Constraints: 142540
2298.34/2304.61 c #Conflicts: 1627000 | #Constraints: 143540
2298.34/2304.61 c #Conflicts: 1628000 | #Constraints: 144540
2298.34/2304.61 c #Conflicts: 1629000 | #Constraints: 145540
2298.34/2304.61 c #Conflicts: 1630000 | #Constraints: 146540
2298.34/2304.61 c #Conflicts: 1631000 | #Constraints: 147540
2298.34/2304.61 c #Conflicts: 1632000 | #Constraints: 148540
2298.34/2304.61 c #Conflicts: 1633000 | #Constraints: 149540
2298.34/2304.61 c #Conflicts: 1634000 | #Constraints: 150540
2298.34/2304.61 c #Conflicts: 1635000 | #Constraints: 151540
2298.34/2304.61 c #Conflicts: 1636000 | #Constraints: 152540
2298.34/2304.61 c #Conflicts: 1637000 | #Constraints: 153540
2298.34/2304.61 c #Conflicts: 1638000 | #Constraints: 154540
2298.34/2304.61 c #Conflicts: 1639000 | #Constraints: 155540
2298.34/2304.61 c #Conflicts: 1640000 | #Constraints: 156540
2298.34/2304.61 c #Conflicts: 1641000 | #Constraints: 157540
2298.34/2304.61 c #Conflicts: 1642000 | #Constraints: 158540
2298.34/2304.61 c #Conflicts: 1643000 | #Constraints: 159540
2298.34/2304.61 c #Conflicts: 1644000 | #Constraints: 160540
2298.34/2304.61 c #Conflicts: 1645000 | #Constraints: 161540
2298.34/2304.61 c #Conflicts: 1646000 | #Constraints: 162540
2298.34/2304.61 c #Conflicts: 1647000 | #Constraints: 163540
2298.34/2304.61 c #Conflicts: 1648000 | #Constraints: 164540
2298.34/2304.61 c #Conflicts: 1649000 | #Constraints: 165540
2298.34/2304.61 c #Conflicts: 1650000 | #Constraints: 166540
2298.34/2304.61 c #Conflicts: 1651000 | #Constraints: 167540
2298.34/2304.61 c #Conflicts: 1652000 | #Constraints: 168540
2298.34/2304.61 c #Conflicts: 1653000 | #Constraints: 169540
2298.34/2304.61 c #Conflicts: 1654000 | #Constraints: 170540
2298.34/2304.61 c #Conflicts: 1655000 | #Constraints: 171540
2298.34/2304.61 c #Conflicts: 1656000 | #Constraints: 172540
2298.34/2304.61 c #Conflicts: 1657000 | #Constraints: 173540
2298.34/2304.61 c #Conflicts: 1658000 | #Constraints: 174540
2298.34/2304.61 c #Conflicts: 1659000 | #Constraints: 175540
2298.34/2304.61 c #Conflicts: 1660000 | #Constraints: 176540
2298.34/2304.61 c #Conflicts: 1661000 | #Constraints: 177540
2298.34/2304.61 c #Conflicts: 1662000 | #Constraints: 178540
2298.34/2304.61 c #Conflicts: 1663000 | #Constraints: 179540
2298.34/2304.61 c #Conflicts: 1664000 | #Constraints: 180540
2298.34/2304.61 c #Conflicts: 1665000 | #Constraints: 181540
2298.34/2304.61 c #Conflicts: 1666000 | #Constraints: 182540
2298.34/2304.61 c #Conflicts: 1667000 | #Constraints: 183540
2298.34/2304.61 c #Conflicts: 1668000 | #Constraints: 184540
2298.34/2304.61 c #Conflicts: 1669000 | #Constraints: 185540
2298.34/2304.61 c #Conflicts: 1670000 | #Constraints: 186540
2298.34/2304.61 c #Conflicts: 1671000 | #Constraints: 187540
2298.34/2304.61 c #Conflicts: 1672000 | #Constraints: 188540
2298.34/2304.61 c #Conflicts: 1673000 | #Constraints: 189540
2298.34/2304.61 c #Conflicts: 1674000 | #Constraints: 190540
2525.59/2532.58 c #Conflicts: 1675000 | #Constraints: 191540
2525.59/2532.58 c #Conflicts: 1676000 | #Constraints: 192540
2525.59/2532.58 c #Conflicts: 1677000 | #Constraints: 193540
2525.59/2532.58 c #Conflicts: 1678000 | #Constraints: 194540
2525.59/2532.58 c #Conflicts: 1679000 | #Constraints: 195540
2525.59/2532.58 c #Conflicts: 1680000 | #Constraints: 196540
2525.59/2532.58 c #Conflicts: 1681000 | #Constraints: 197540
2525.59/2532.58 c #Conflicts: 1682000 | #Constraints: 198540
2525.59/2532.58 c #Conflicts: 1683000 | #Constraints: 199540
2525.59/2532.58 c #Conflicts: 1684000 | #Constraints: 200540
2525.59/2532.58 c #Conflicts: 1685000 | #Constraints: 201540
2525.59/2532.58 c #Conflicts: 1686000 | #Constraints: 202540
2525.59/2532.58 c #Conflicts: 1687000 | #Constraints: 203540
2525.59/2532.58 c #Conflicts: 1688000 | #Constraints: 204540
2525.59/2532.58 c #Conflicts: 1689000 | #Constraints: 205540
2525.59/2532.58 c #Conflicts: 1690000 | #Constraints: 206540
2525.59/2532.58 c #Conflicts: 1691000 | #Constraints: 207540
2525.59/2532.58 c #Conflicts: 1692000 | #Constraints: 208540
2525.59/2532.58 c #Conflicts: 1693000 | #Constraints: 209540
2525.59/2532.58 c #Conflicts: 1694000 | #Constraints: 210540
2525.59/2532.58 c #Conflicts: 1695000 | #Constraints: 211540
2525.59/2532.58 c #Conflicts: 1696000 | #Constraints: 212540
2525.59/2532.58 c #Conflicts: 1697000 | #Constraints: 213540
2525.59/2532.58 c #Conflicts: 1698000 | #Constraints: 214540
2525.59/2532.58 c #Conflicts: 1699000 | #Constraints: 215540
2525.59/2532.58 c #Conflicts: 1700000 | #Constraints: 216540
2525.59/2532.58 c #Conflicts: 1701000 | #Constraints: 217540
2525.59/2532.58 c #Conflicts: 1702000 | #Constraints: 218540
2525.59/2532.58 c #Conflicts: 1703000 | #Constraints: 219540
2525.59/2532.58 c #Conflicts: 1704000 | #Constraints: 220540
2525.59/2532.58 c #Conflicts: 1705000 | #Constraints: 221540
2525.59/2532.58 c #Conflicts: 1706000 | #Constraints: 222540
2525.59/2532.58 c #Conflicts: 1707000 | #Constraints: 223540
2525.59/2532.58 c #Conflicts: 1708000 | #Constraints: 224540
2525.59/2532.58 c #Conflicts: 1709000 | #Constraints: 225540
2525.59/2532.58 c INPROCESSING
2525.59/2532.58 c GARBAGE COLLECT
2525.59/2532.58 c #Conflicts: 1710000 | #Constraints: 161039
2525.59/2532.58 c #Conflicts: 1711000 | #Constraints: 162039
2525.59/2532.58 c #Conflicts: 1712000 | #Constraints: 163039
2525.59/2532.58 c #Conflicts: 1713000 | #Constraints: 164039
2525.59/2532.58 c #Conflicts: 1714000 | #Constraints: 165039
2525.59/2532.58 c #Conflicts: 1715000 | #Constraints: 166039
2525.59/2532.58 c #Conflicts: 1716000 | #Constraints: 167039
2525.59/2532.58 c #Conflicts: 1717000 | #Constraints: 168039
2525.59/2532.58 c #Conflicts: 1718000 | #Constraints: 169039
2525.59/2532.58 c #Conflicts: 1719000 | #Constraints: 170039
2525.59/2532.58 c #Conflicts: 1720000 | #Constraints: 171039
2525.59/2532.58 c #Conflicts: 1721000 | #Constraints: 172039
2525.59/2532.58 c #Conflicts: 1722000 | #Constraints: 173039
2525.59/2532.58 c #Conflicts: 1723000 | #Constraints: 174039
2525.59/2532.58 c #Conflicts: 1724000 | #Constraints: 175039
2525.59/2532.58 c #Conflicts: 1725000 | #Constraints: 176039
2525.59/2532.58 c #Conflicts: 1726000 | #Constraints: 177039
2525.59/2532.58 c #Conflicts: 1727000 | #Constraints: 178039
2525.59/2532.58 c #Conflicts: 1728000 | #Constraints: 179039
2525.59/2532.58 c #Conflicts: 1729000 | #Constraints: 180039
2525.59/2532.58 c #Conflicts: 1730000 | #Constraints: 181039
2525.59/2532.58 c #Conflicts: 1731000 | #Constraints: 182039
2525.59/2532.58 c #Conflicts: 1732000 | #Constraints: 183039
2525.59/2532.58 c #Conflicts: 1733000 | #Constraints: 184039
2525.59/2532.58 c #Conflicts: 1734000 | #Constraints: 185039
2525.59/2532.58 c #Conflicts: 1735000 | #Constraints: 186039
2525.59/2532.58 c #Conflicts: 1736000 | #Constraints: 187039
2525.59/2532.58 c #Conflicts: 1737000 | #Constraints: 188039
2525.59/2532.58 c #Conflicts: 1738000 | #Constraints: 189039
2525.59/2532.58 c #Conflicts: 1739000 | #Constraints: 190039
2525.59/2532.58 c INPROCESSING
2525.59/2532.58 c GARBAGE COLLECT
2525.59/2532.58 c #Conflicts: 1740000 | #Constraints: 143294
2525.59/2532.58 c #Conflicts: 1741000 | #Constraints: 144294
2525.59/2532.58 c #Conflicts: 1742000 | #Constraints: 145294
2525.59/2532.58 c #Conflicts: 1743000 | #Constraints: 146294
2525.59/2532.58 c #Conflicts: 1744000 | #Constraints: 147294
2525.59/2532.58 c #Conflicts: 1745000 | #Constraints: 148294
2525.59/2532.58 c #Conflicts: 1746000 | #Constraints: 149294
2525.59/2532.58 c #Conflicts: 1747000 | #Constraints: 150294
2525.59/2532.58 c #Conflicts: 1748000 | #Constraints: 151294
2525.59/2532.58 c #Conflicts: 1749000 | #Constraints: 152294
2525.59/2532.58 c #Conflicts: 1750000 | #Constraints: 153294
2525.59/2532.58 c #Conflicts: 1751000 | #Constraints: 154294
2525.59/2532.58 c #Conflicts: 1752000 | #Constraints: 155294
2655.61/2662.92 c #Conflicts: 1753000 | #Constraints: 156294
2655.61/2662.92 c #Conflicts: 1754000 | #Constraints: 157294
2655.61/2662.92 c #Conflicts: 1755000 | #Constraints: 158294
2655.61/2662.92 c #Conflicts: 1756000 | #Constraints: 159294
2655.61/2662.92 c #Conflicts: 1757000 | #Constraints: 160294
2655.61/2662.92 c #Conflicts: 1758000 | #Constraints: 161294
2655.61/2662.92 c #Conflicts: 1759000 | #Constraints: 162294
2655.61/2662.92 c #Conflicts: 1760000 | #Constraints: 163294
2655.61/2662.92 c #Conflicts: 1761000 | #Constraints: 164294
2655.61/2662.92 c #Conflicts: 1762000 | #Constraints: 165294
2655.61/2662.92 c #Conflicts: 1763000 | #Constraints: 166294
2655.61/2662.92 c #Conflicts: 1764000 | #Constraints: 167294
2655.61/2662.92 c #Conflicts: 1765000 | #Constraints: 168294
2655.61/2662.92 c #Conflicts: 1766000 | #Constraints: 169294
2655.61/2662.92 c #Conflicts: 1767000 | #Constraints: 170294
2655.61/2662.92 c #Conflicts: 1768000 | #Constraints: 171294
2655.61/2662.92 c #Conflicts: 1769000 | #Constraints: 172294
2655.61/2662.92 c INPROCESSING
2655.61/2662.92 c GARBAGE COLLECT
2655.61/2662.92 c #Conflicts: 1770000 | #Constraints: 134350
2655.61/2662.92 c #Conflicts: 1771000 | #Constraints: 135350
2655.61/2662.92 c #Conflicts: 1772000 | #Constraints: 136350
2655.61/2662.92 c #Conflicts: 1773000 | #Constraints: 137350
2655.61/2662.92 c #Conflicts: 1774000 | #Constraints: 138350
2655.61/2662.92 c #Conflicts: 1775000 | #Constraints: 139350
2655.61/2662.92 c #Conflicts: 1776000 | #Constraints: 140350
2655.61/2662.92 c #Conflicts: 1777000 | #Constraints: 141350
2655.61/2662.92 c #Conflicts: 1778000 | #Constraints: 142350
2655.61/2662.92 c #Conflicts: 1779000 | #Constraints: 143350
2655.61/2662.92 c #Conflicts: 1780000 | #Constraints: 144350
2655.61/2662.92 c #Conflicts: 1781000 | #Constraints: 145350
2655.61/2662.92 c #Conflicts: 1782000 | #Constraints: 146350
2655.61/2662.92 c #Conflicts: 1783000 | #Constraints: 147350
2655.61/2662.92 c #Conflicts: 1784000 | #Constraints: 148350
2655.61/2662.92 c #Conflicts: 1785000 | #Constraints: 149350
2655.61/2662.92 c #Conflicts: 1786000 | #Constraints: 150350
2655.61/2662.92 c #Conflicts: 1787000 | #Constraints: 151350
2655.61/2662.92 c #Conflicts: 1788000 | #Constraints: 152350
2655.61/2662.92 c #Conflicts: 1789000 | #Constraints: 153350
2655.61/2662.92 c #Conflicts: 1790000 | #Constraints: 154350
2655.61/2662.92 c #Conflicts: 1791000 | #Constraints: 155350
2655.61/2662.92 c #Conflicts: 1792000 | #Constraints: 156350
2655.61/2662.92 c #Conflicts: 1793000 | #Constraints: 157350
2655.61/2662.92 c #Conflicts: 1794000 | #Constraints: 158350
2655.61/2662.92 c #Conflicts: 1795000 | #Constraints: 159350
2655.61/2662.92 c #Conflicts: 1796000 | #Constraints: 160350
2655.61/2662.92 c #Conflicts: 1797000 | #Constraints: 161350
2655.61/2662.92 c #Conflicts: 1798000 | #Constraints: 162350
2655.61/2662.92 c #Conflicts: 1799000 | #Constraints: 163350
2655.61/2662.92 c #Conflicts: 1800000 | #Constraints: 164350
2655.61/2662.92 c INPROCESSING
2655.61/2662.92 c GARBAGE COLLECT
2655.61/2662.92 c #Conflicts: 1801000 | #Constraints: 130690
2655.61/2662.92 c #Conflicts: 1802000 | #Constraints: 131690
2655.61/2662.92 c #Conflicts: 1803000 | #Constraints: 132690
2655.61/2662.92 c #Conflicts: 1804000 | #Constraints: 133690
2655.61/2662.92 c #Conflicts: 1805000 | #Constraints: 134690
2655.61/2662.92 c #Conflicts: 1806000 | #Constraints: 135690
2655.61/2662.92 c #Conflicts: 1807000 | #Constraints: 136690
2655.61/2662.92 c #Conflicts: 1808000 | #Constraints: 137690
2655.61/2662.92 c #Conflicts: 1809000 | #Constraints: 138690
2655.61/2662.92 c #Conflicts: 1810000 | #Constraints: 139690
2655.61/2662.92 c #Conflicts: 1811000 | #Constraints: 140690
2655.61/2662.92 c #Conflicts: 1812000 | #Constraints: 141690
2655.61/2662.92 c #Conflicts: 1813000 | #Constraints: 142690
2655.61/2662.92 c #Conflicts: 1814000 | #Constraints: 143690
2655.61/2662.92 c #Conflicts: 1815000 | #Constraints: 144690
2655.61/2662.92 c #Conflicts: 1816000 | #Constraints: 145690
2655.61/2662.92 c #Conflicts: 1817000 | #Constraints: 146690
2655.61/2662.92 c #Conflicts: 1818000 | #Constraints: 147690
2655.61/2662.92 c #Conflicts: 1819000 | #Constraints: 148690
2655.61/2662.92 c #Conflicts: 1820000 | #Constraints: 149690
2655.61/2662.92 c #Conflicts: 1821000 | #Constraints: 150690
2655.61/2662.92 c #Conflicts: 1822000 | #Constraints: 151690
2655.61/2662.92 c #Conflicts: 1823000 | #Constraints: 152690
2655.61/2662.92 c #Conflicts: 1824000 | #Constraints: 153690
2655.61/2662.92 c #Conflicts: 1825000 | #Constraints: 154690
2655.61/2662.92 c #Conflicts: 1826000 | #Constraints: 155690
2655.61/2662.92 c #Conflicts: 1827000 | #Constraints: 156690
2655.61/2662.92 c #Conflicts: 1828000 | #Constraints: 157690
2655.61/2662.92 c #Conflicts: 1829000 | #Constraints: 158690
2884.74/2892.71 c #Conflicts: 1830000 | #Constraints: 159690
2884.74/2892.71 c #Conflicts: 1831000 | #Constraints: 160690
2884.74/2892.71 c #Conflicts: 1832000 | #Constraints: 161690
2884.74/2892.71 c #Conflicts: 1833000 | #Constraints: 162690
2884.74/2892.71 c #Conflicts: 1834000 | #Constraints: 163690
2884.74/2892.71 c #Conflicts: 1835000 | #Constraints: 164690
2884.74/2892.71 c #Conflicts: 1836000 | #Constraints: 165690
2884.74/2892.71 c #Conflicts: 1837000 | #Constraints: 166690
2884.74/2892.71 c #Conflicts: 1838000 | #Constraints: 167690
2884.74/2892.71 c #Conflicts: 1839000 | #Constraints: 168690
2884.74/2892.71 c #Conflicts: 1840000 | #Constraints: 169690
2884.74/2892.71 c #Conflicts: 1841000 | #Constraints: 170690
2884.74/2892.71 c #Conflicts: 1842000 | #Constraints: 171690
2884.74/2892.71 c #Conflicts: 1843000 | #Constraints: 172690
2884.74/2892.71 c #Conflicts: 1844000 | #Constraints: 173690
2884.74/2892.71 c #Conflicts: 1845000 | #Constraints: 174690
2884.74/2892.71 c #Conflicts: 1846000 | #Constraints: 175690
2884.74/2892.71 c #Conflicts: 1847000 | #Constraints: 176690
2884.74/2892.71 c #Conflicts: 1848000 | #Constraints: 177690
2884.74/2892.71 c #Conflicts: 1849000 | #Constraints: 178690
2884.74/2892.71 c #Conflicts: 1850000 | #Constraints: 179690
2884.74/2892.71 c #Conflicts: 1851000 | #Constraints: 180690
2884.74/2892.71 c #Conflicts: 1852000 | #Constraints: 181690
2884.74/2892.71 c #Conflicts: 1853000 | #Constraints: 182690
2884.74/2892.71 c #Conflicts: 1854000 | #Constraints: 183690
2884.74/2892.71 c #Conflicts: 1855000 | #Constraints: 184690
2884.74/2892.71 c #Conflicts: 1856000 | #Constraints: 185690
2884.74/2892.71 c #Conflicts: 1857000 | #Constraints: 186690
2884.74/2892.71 c #Conflicts: 1858000 | #Constraints: 187690
2884.74/2892.71 c #Conflicts: 1859000 | #Constraints: 188690
2884.74/2892.71 c #Conflicts: 1860000 | #Constraints: 189690
2884.74/2892.71 c #Conflicts: 1861000 | #Constraints: 190690
2884.74/2892.71 c #Conflicts: 1862000 | #Constraints: 191690
2884.74/2892.71 c #Conflicts: 1863000 | #Constraints: 192690
2884.74/2892.71 c #Conflicts: 1864000 | #Constraints: 193690
2884.74/2892.71 c #Conflicts: 1865000 | #Constraints: 194690
2884.74/2892.71 c #Conflicts: 1866000 | #Constraints: 195690
2884.74/2892.71 c #Conflicts: 1867000 | #Constraints: 196690
2884.74/2892.71 c #Conflicts: 1868000 | #Constraints: 197690
2884.74/2892.71 c #Conflicts: 1869000 | #Constraints: 198690
2884.74/2892.71 c #Conflicts: 1870000 | #Constraints: 199690
2884.74/2892.71 c #Conflicts: 1871000 | #Constraints: 200690
2884.74/2892.71 c #Conflicts: 1872000 | #Constraints: 201690
2884.74/2892.71 c #Conflicts: 1873000 | #Constraints: 202690
2884.74/2892.71 c #Conflicts: 1874000 | #Constraints: 203690
2884.74/2892.71 c #Conflicts: 1875000 | #Constraints: 204690
2884.74/2892.71 c #Conflicts: 1876000 | #Constraints: 205690
2884.74/2892.71 c #Conflicts: 1877000 | #Constraints: 206690
2884.74/2892.71 c #Conflicts: 1878000 | #Constraints: 207690
2884.74/2892.71 c #Conflicts: 1879000 | #Constraints: 208690
2884.74/2892.71 c #Conflicts: 1880000 | #Constraints: 209690
2884.74/2892.71 c #Conflicts: 1881000 | #Constraints: 210690
2884.74/2892.71 c #Conflicts: 1882000 | #Constraints: 211690
2884.74/2892.71 c #Conflicts: 1883000 | #Constraints: 212690
2884.74/2892.71 c #Conflicts: 1884000 | #Constraints: 213690
2884.74/2892.71 c #Conflicts: 1885000 | #Constraints: 214690
2884.74/2892.71 c #Conflicts: 1886000 | #Constraints: 215690
2884.74/2892.71 c #Conflicts: 1887000 | #Constraints: 216690
2884.74/2892.71 c #Conflicts: 1888000 | #Constraints: 217690
2884.74/2892.71 c #Conflicts: 1889000 | #Constraints: 218690
2884.74/2892.71 c #Conflicts: 1890000 | #Constraints: 219690
2884.74/2892.71 c #Conflicts: 1891000 | #Constraints: 220690
2884.74/2892.71 c #Conflicts: 1892000 | #Constraints: 221690
2884.74/2892.71 c #Conflicts: 1893000 | #Constraints: 222690
2884.74/2892.71 c #Conflicts: 1894000 | #Constraints: 223690
2884.74/2892.71 c #Conflicts: 1895000 | #Constraints: 224690
2884.74/2892.71 c #Conflicts: 1896000 | #Constraints: 225690
2884.74/2892.71 c #Conflicts: 1897000 | #Constraints: 226690
2884.74/2892.71 c #Conflicts: 1898000 | #Constraints: 227690
2884.74/2892.71 c #Conflicts: 1899000 | #Constraints: 228690
2884.74/2892.71 c #Conflicts: 1900000 | #Constraints: 229690
2884.74/2892.71 c #Conflicts: 1901000 | #Constraints: 230690
2884.74/2892.71 c #Conflicts: 1902000 | #Constraints: 231690
2884.74/2892.71 c #Conflicts: 1903000 | #Constraints: 232690
2884.74/2892.71 c INPROCESSING
2884.74/2892.71 c GARBAGE COLLECT
2884.74/2892.71 c #Conflicts: 1904000 | #Constraints: 164586
2884.74/2892.71 c #Conflicts: 1905000 | #Constraints: 165586
2884.74/2892.71 c #Conflicts: 1906000 | #Constraints: 166586
2884.74/2892.71 c #Conflicts: 1907000 | #Constraints: 167586
3082.95/3091.55 c #Conflicts: 1908000 | #Constraints: 168586
3082.95/3091.55 c #Conflicts: 1909000 | #Constraints: 169586
3082.95/3091.55 c #Conflicts: 1910000 | #Constraints: 170586
3082.95/3091.55 c #Conflicts: 1911000 | #Constraints: 171586
3082.95/3091.55 c #Conflicts: 1912000 | #Constraints: 172586
3082.95/3091.55 c #Conflicts: 1913000 | #Constraints: 173586
3082.95/3091.55 c #Conflicts: 1914000 | #Constraints: 174586
3082.95/3091.55 c #Conflicts: 1915000 | #Constraints: 175586
3082.95/3091.55 c #Conflicts: 1916000 | #Constraints: 176586
3082.95/3091.55 c #Conflicts: 1917000 | #Constraints: 177586
3082.95/3091.55 c #Conflicts: 1918000 | #Constraints: 178586
3082.95/3091.55 c #Conflicts: 1919000 | #Constraints: 179586
3082.95/3091.55 c #Conflicts: 1920000 | #Constraints: 180586
3082.95/3091.55 c #Conflicts: 1921000 | #Constraints: 181586
3082.95/3091.55 c #Conflicts: 1922000 | #Constraints: 182586
3082.95/3091.55 c #Conflicts: 1923000 | #Constraints: 183586
3082.95/3091.55 c #Conflicts: 1924000 | #Constraints: 184586
3082.95/3091.55 c #Conflicts: 1925000 | #Constraints: 185586
3082.95/3091.55 c #Conflicts: 1926000 | #Constraints: 186586
3082.95/3091.55 c #Conflicts: 1927000 | #Constraints: 187586
3082.95/3091.56 c #Conflicts: 1928000 | #Constraints: 188586
3082.95/3091.56 c #Conflicts: 1929000 | #Constraints: 189586
3082.95/3091.56 c #Conflicts: 1930000 | #Constraints: 190586
3082.95/3091.56 c #Conflicts: 1931000 | #Constraints: 191586
3082.95/3091.56 c #Conflicts: 1932000 | #Constraints: 192586
3082.95/3091.56 c #Conflicts: 1933000 | #Constraints: 193586
3082.95/3091.56 c #Conflicts: 1934000 | #Constraints: 194586
3082.95/3091.56 c #Conflicts: 1935000 | #Constraints: 195586
3082.95/3091.56 c INPROCESSING
3082.95/3091.56 c GARBAGE COLLECT
3082.95/3091.56 c #Conflicts: 1936000 | #Constraints: 146194
3082.95/3091.56 c #Conflicts: 1937000 | #Constraints: 147194
3082.95/3091.56 c #Conflicts: 1938000 | #Constraints: 148194
3082.95/3091.56 c #Conflicts: 1939000 | #Constraints: 149194
3082.95/3091.56 c #Conflicts: 1940000 | #Constraints: 150194
3082.95/3091.56 c #Conflicts: 1941000 | #Constraints: 151194
3082.95/3091.56 c #Conflicts: 1942000 | #Constraints: 152194
3082.95/3091.56 c #Conflicts: 1943000 | #Constraints: 153194
3082.95/3091.56 c #Conflicts: 1944000 | #Constraints: 154194
3082.95/3091.56 c #Conflicts: 1945000 | #Constraints: 155194
3082.95/3091.56 c #Conflicts: 1946000 | #Constraints: 156194
3082.95/3091.56 c #Conflicts: 1947000 | #Constraints: 157194
3082.95/3091.56 c #Conflicts: 1948000 | #Constraints: 158194
3082.95/3091.56 c #Conflicts: 1949000 | #Constraints: 159194
3082.95/3091.56 c #Conflicts: 1950000 | #Constraints: 160194
3082.95/3091.56 c #Conflicts: 1951000 | #Constraints: 161194
3082.95/3091.56 c #Conflicts: 1952000 | #Constraints: 162194
3082.95/3091.56 c #Conflicts: 1953000 | #Constraints: 163194
3082.95/3091.56 c #Conflicts: 1954000 | #Constraints: 164194
3082.95/3091.56 c #Conflicts: 1955000 | #Constraints: 165194
3082.95/3091.56 c #Conflicts: 1956000 | #Constraints: 166194
3082.95/3091.56 c #Conflicts: 1957000 | #Constraints: 167194
3082.95/3091.56 c #Conflicts: 1958000 | #Constraints: 168194
3082.95/3091.56 c #Conflicts: 1959000 | #Constraints: 169194
3082.95/3091.56 c #Conflicts: 1960000 | #Constraints: 170194
3082.95/3091.56 c #Conflicts: 1961000 | #Constraints: 171194
3082.95/3091.56 c #Conflicts: 1962000 | #Constraints: 172194
3082.95/3091.56 c #Conflicts: 1963000 | #Constraints: 173194
3082.95/3091.56 c #Conflicts: 1964000 | #Constraints: 174194
3082.95/3091.56 c #Conflicts: 1965000 | #Constraints: 175194
3082.95/3091.56 c #Conflicts: 1966000 | #Constraints: 176194
3082.95/3091.56 c #Conflicts: 1967000 | #Constraints: 177194
3082.95/3091.56 c INPROCESSING
3082.95/3091.56 c GARBAGE COLLECT
3082.95/3091.56 c #Conflicts: 1968000 | #Constraints: 137035
3082.95/3091.56 c #Conflicts: 1969000 | #Constraints: 138035
3082.95/3091.56 c #Conflicts: 1970000 | #Constraints: 139035
3082.95/3091.56 c #Conflicts: 1971000 | #Constraints: 140035
3082.95/3091.56 c #Conflicts: 1972000 | #Constraints: 141035
3082.95/3091.56 c #Conflicts: 1973000 | #Constraints: 142035
3082.95/3091.56 c #Conflicts: 1974000 | #Constraints: 143035
3082.95/3091.56 c #Conflicts: 1975000 | #Constraints: 144035
3082.95/3091.56 c #Conflicts: 1976000 | #Constraints: 145035
3082.95/3091.56 c #Conflicts: 1977000 | #Constraints: 146035
3082.95/3091.56 c #Conflicts: 1978000 | #Constraints: 147035
3082.95/3091.56 c #Conflicts: 1979000 | #Constraints: 148035
3082.95/3091.56 c #Conflicts: 1980000 | #Constraints: 149035
3082.95/3091.56 c #Conflicts: 1981000 | #Constraints: 150035
3082.95/3091.56 c #Conflicts: 1982000 | #Constraints: 151035
3082.95/3091.56 c #Conflicts: 1983000 | #Constraints: 152035
3082.95/3091.56 c #Conflicts: 1984000 | #Constraints: 153035
3082.95/3091.56 c #Conflicts: 1985000 | #Constraints: 154035
3239.49/3248.53 c #Conflicts: 1986000 | #Constraints: 155035
3239.49/3248.53 c #Conflicts: 1987000 | #Constraints: 156035
3239.49/3248.53 c #Conflicts: 1988000 | #Constraints: 157035
3239.49/3248.53 c #Conflicts: 1989000 | #Constraints: 158035
3239.49/3248.53 c #Conflicts: 1990000 | #Constraints: 159035
3239.49/3248.53 c #Conflicts: 1991000 | #Constraints: 160035
3239.49/3248.53 c #Conflicts: 1992000 | #Constraints: 161035
3239.49/3248.53 c #Conflicts: 1993000 | #Constraints: 162035
3239.49/3248.53 c #Conflicts: 1994000 | #Constraints: 163035
3239.49/3248.53 c #Conflicts: 1995000 | #Constraints: 164035
3239.49/3248.53 c #Conflicts: 1996000 | #Constraints: 165035
3239.49/3248.53 c #Conflicts: 1997000 | #Constraints: 166035
3239.49/3248.53 c #Conflicts: 1998000 | #Constraints: 167035
3239.49/3248.53 c #Conflicts: 1999000 | #Constraints: 168035
3239.49/3248.53 c INPROCESSING
3239.49/3248.53 c GARBAGE COLLECT
3239.49/3248.53 c #Conflicts: 2000000 | #Constraints: 132412
3239.49/3248.53 c #Conflicts: 2001000 | #Constraints: 133412
3239.49/3248.53 c #Conflicts: 2002000 | #Constraints: 134412
3239.49/3248.53 c #Conflicts: 2003000 | #Constraints: 135412
3239.49/3248.53 c #Conflicts: 2004000 | #Constraints: 136412
3239.49/3248.53 c #Conflicts: 2005000 | #Constraints: 137412
3239.49/3248.53 c #Conflicts: 2006000 | #Constraints: 138412
3239.49/3248.53 c #Conflicts: 2007000 | #Constraints: 139412
3239.49/3248.53 c #Conflicts: 2008000 | #Constraints: 140412
3239.49/3248.53 c #Conflicts: 2009000 | #Constraints: 141412
3239.49/3248.53 c #Conflicts: 2010000 | #Constraints: 142412
3239.49/3248.53 c #Conflicts: 2011000 | #Constraints: 143412
3239.49/3248.53 c #Conflicts: 2012000 | #Constraints: 144412
3239.49/3248.53 c #Conflicts: 2013000 | #Constraints: 145412
3239.49/3248.53 c #Conflicts: 2014000 | #Constraints: 146412
3239.49/3248.53 c #Conflicts: 2015000 | #Constraints: 147412
3239.49/3248.53 c #Conflicts: 2016000 | #Constraints: 148412
3239.49/3248.53 c #Conflicts: 2017000 | #Constraints: 149412
3239.49/3248.53 c #Conflicts: 2018000 | #Constraints: 150412
3239.49/3248.53 c #Conflicts: 2019000 | #Constraints: 151412
3239.49/3248.53 c #Conflicts: 2020000 | #Constraints: 152412
3239.49/3248.53 c #Conflicts: 2021000 | #Constraints: 153412
3239.49/3248.53 c #Conflicts: 2022000 | #Constraints: 154412
3239.49/3248.53 c #Conflicts: 2023000 | #Constraints: 155412
3239.49/3248.53 c #Conflicts: 2024000 | #Constraints: 156412
3239.49/3248.53 c #Conflicts: 2025000 | #Constraints: 157412
3239.49/3248.53 c #Conflicts: 2026000 | #Constraints: 158412
3239.49/3248.53 c #Conflicts: 2027000 | #Constraints: 159412
3239.49/3248.53 c #Conflicts: 2028000 | #Constraints: 160412
3239.49/3248.53 c #Conflicts: 2029000 | #Constraints: 161412
3239.49/3248.53 c #Conflicts: 2030000 | #Constraints: 162412
3239.49/3248.53 c #Conflicts: 2031000 | #Constraints: 163412
3239.49/3248.53 c #Conflicts: 2032000 | #Constraints: 164412
3239.49/3248.53 c #Conflicts: 2033000 | #Constraints: 165412
3239.49/3248.53 c #Conflicts: 2034000 | #Constraints: 166412
3239.49/3248.53 c #Conflicts: 2035000 | #Constraints: 167412
3239.49/3248.53 c #Conflicts: 2036000 | #Constraints: 168412
3239.49/3248.53 c #Conflicts: 2037000 | #Constraints: 169412
3239.49/3248.53 c #Conflicts: 2038000 | #Constraints: 170412
3239.49/3248.53 c #Conflicts: 2039000 | #Constraints: 171412
3239.49/3248.53 c #Conflicts: 2040000 | #Constraints: 172412
3239.49/3248.53 c #Conflicts: 2041000 | #Constraints: 173412
3239.49/3248.53 c #Conflicts: 2042000 | #Constraints: 174412
3239.49/3248.53 c #Conflicts: 2043000 | #Constraints: 175412
3239.49/3248.53 c #Conflicts: 2044000 | #Constraints: 176412
3239.49/3248.53 c #Conflicts: 2045000 | #Constraints: 177412
3239.49/3248.53 c #Conflicts: 2046000 | #Constraints: 178412
3239.49/3248.53 c #Conflicts: 2047000 | #Constraints: 179412
3239.49/3248.53 c #Conflicts: 2048000 | #Constraints: 180412
3239.49/3248.53 c #Conflicts: 2049000 | #Constraints: 181412
3239.49/3248.53 c #Conflicts: 2050000 | #Constraints: 182412
3239.49/3248.53 c #Conflicts: 2051000 | #Constraints: 183412
3239.49/3248.53 c #Conflicts: 2052000 | #Constraints: 184412
3239.49/3248.53 c #Conflicts: 2053000 | #Constraints: 185412
3239.49/3248.53 c #Conflicts: 2054000 | #Constraints: 186412
3239.49/3248.53 c #Conflicts: 2055000 | #Constraints: 187412
3239.49/3248.53 c #Conflicts: 2056000 | #Constraints: 188412
3239.49/3248.53 c #Conflicts: 2057000 | #Constraints: 189412
3239.49/3248.53 c #Conflicts: 2058000 | #Constraints: 190412
3239.49/3248.53 c #Conflicts: 2059000 | #Constraints: 191412
3239.49/3248.53 c #Conflicts: 2060000 | #Constraints: 192412
3239.49/3248.53 c #Conflicts: 2061000 | #Constraints: 193412
3239.49/3248.53 c #Conflicts: 2062000 | #Constraints: 194412
3239.49/3248.53 c #Conflicts: 2063000 | #Constraints: 195412
3523.95/3533.84 c #Conflicts: 2064000 | #Constraints: 196412
3523.95/3533.84 c #Conflicts: 2065000 | #Constraints: 197412
3523.95/3533.84 c #Conflicts: 2066000 | #Constraints: 198412
3523.95/3533.84 c #Conflicts: 2067000 | #Constraints: 199412
3523.95/3533.84 c #Conflicts: 2068000 | #Constraints: 200412
3523.95/3533.84 c #Conflicts: 2069000 | #Constraints: 201412
3523.95/3533.84 c #Conflicts: 2070000 | #Constraints: 202412
3523.95/3533.84 c #Conflicts: 2071000 | #Constraints: 203412
3523.95/3533.84 c #Conflicts: 2072000 | #Constraints: 204412
3523.95/3533.84 c #Conflicts: 2073000 | #Constraints: 205412
3523.95/3533.84 c #Conflicts: 2074000 | #Constraints: 206412
3523.95/3533.84 c #Conflicts: 2075000 | #Constraints: 207412
3523.95/3533.84 c #Conflicts: 2076000 | #Constraints: 208412
3523.95/3533.84 c #Conflicts: 2077000 | #Constraints: 209412
3523.95/3533.84 c #Conflicts: 2078000 | #Constraints: 210412
3523.95/3533.84 c #Conflicts: 2079000 | #Constraints: 211412
3523.95/3533.84 c #Conflicts: 2080000 | #Constraints: 212412
3523.95/3533.84 c #Conflicts: 2081000 | #Constraints: 213412
3523.95/3533.84 c #Conflicts: 2082000 | #Constraints: 214412
3523.95/3533.84 c #Conflicts: 2083000 | #Constraints: 215412
3523.95/3533.84 c #Conflicts: 2084000 | #Constraints: 216412
3523.95/3533.84 c #Conflicts: 2085000 | #Constraints: 217412
3523.95/3533.84 c #Conflicts: 2086000 | #Constraints: 218412
3523.95/3533.84 c #Conflicts: 2087000 | #Constraints: 219412
3523.95/3533.84 c #Conflicts: 2088000 | #Constraints: 220412
3523.95/3533.84 c #Conflicts: 2089000 | #Constraints: 221412
3523.95/3533.84 c #Conflicts: 2090000 | #Constraints: 222412
3523.95/3533.84 c #Conflicts: 2091000 | #Constraints: 223412
3523.95/3533.84 c #Conflicts: 2092000 | #Constraints: 224412
3523.95/3533.84 c #Conflicts: 2093000 | #Constraints: 225412
3523.95/3533.84 c #Conflicts: 2094000 | #Constraints: 226412
3523.95/3533.84 c #Conflicts: 2095000 | #Constraints: 227412
3523.95/3533.84 c #Conflicts: 2096000 | #Constraints: 228412
3523.95/3533.84 c #Conflicts: 2097000 | #Constraints: 229412
3523.95/3533.84 c #Conflicts: 2098000 | #Constraints: 230412
3523.95/3533.84 c #Conflicts: 2099000 | #Constraints: 231412
3523.95/3533.84 c #Conflicts: 2100000 | #Constraints: 232412
3523.95/3533.84 c #Conflicts: 2101000 | #Constraints: 233412
3523.95/3533.84 c #Conflicts: 2102000 | #Constraints: 234412
3523.95/3533.84 c #Conflicts: 2103000 | #Constraints: 235412
3523.95/3533.84 c #Conflicts: 2104000 | #Constraints: 236412
3523.95/3533.84 c #Conflicts: 2105000 | #Constraints: 237412
3523.95/3533.84 c #Conflicts: 2106000 | #Constraints: 238412
3523.95/3533.84 c #Conflicts: 2107000 | #Constraints: 239412
3523.95/3533.84 c #Conflicts: 2108000 | #Constraints: 240412
3523.95/3533.84 c INPROCESSING
3523.95/3533.84 c GARBAGE COLLECT
3523.95/3533.84 c #Conflicts: 2109000 | #Constraints: 168703
3523.95/3533.84 c #Conflicts: 2110000 | #Constraints: 169703
3523.95/3533.84 c #Conflicts: 2111000 | #Constraints: 170703
3523.95/3533.84 c #Conflicts: 2112000 | #Constraints: 171703
3523.95/3533.84 c #Conflicts: 2113000 | #Constraints: 172703
3523.95/3533.84 c #Conflicts: 2114000 | #Constraints: 173703
3523.95/3533.84 c #Conflicts: 2115000 | #Constraints: 174703
3523.95/3533.84 c #Conflicts: 2116000 | #Constraints: 175703
3523.95/3533.84 c #Conflicts: 2117000 | #Constraints: 176703
3523.95/3533.84 c #Conflicts: 2118000 | #Constraints: 177703
3523.95/3533.84 c #Conflicts: 2119000 | #Constraints: 178703
3523.95/3533.84 c #Conflicts: 2120000 | #Constraints: 179703
3523.95/3533.84 c #Conflicts: 2121000 | #Constraints: 180703
3523.95/3533.84 c #Conflicts: 2122000 | #Constraints: 181703
3523.95/3533.84 c #Conflicts: 2123000 | #Constraints: 182703
3523.95/3533.84 c #Conflicts: 2124000 | #Constraints: 183703
3523.95/3533.84 c #Conflicts: 2125000 | #Constraints: 184703
3523.95/3533.84 c #Conflicts: 2126000 | #Constraints: 185703
3523.95/3533.84 c #Conflicts: 2127000 | #Constraints: 186703
3523.95/3533.84 c #Conflicts: 2128000 | #Constraints: 187703
3523.95/3533.84 c #Conflicts: 2129000 | #Constraints: 188703
3523.95/3533.84 c #Conflicts: 2130000 | #Constraints: 189703
3523.95/3533.84 c #Conflicts: 2131000 | #Constraints: 190703
3523.95/3533.84 c #Conflicts: 2132000 | #Constraints: 191703
3523.95/3533.84 c #Conflicts: 2133000 | #Constraints: 192703
3523.95/3533.84 c #Conflicts: 2134000 | #Constraints: 193703
3523.95/3533.84 c #Conflicts: 2135000 | #Constraints: 194703
3523.95/3533.84 c #Conflicts: 2136000 | #Constraints: 195703
3523.95/3533.84 c #Conflicts: 2137000 | #Constraints: 196703
3523.95/3533.84 c #Conflicts: 2138000 | #Constraints: 197703
3523.95/3533.84 c #Conflicts: 2139000 | #Constraints: 198703
3523.95/3533.84 c #Conflicts: 2140000 | #Constraints: 199703
3523.95/3533.84 c #Conflicts: 2141000 | #Constraints: 200703
3600.03/3610.11 c INPROCESSING
3600.03/3610.11 c GARBAGE COLLECT
3600.03/3610.11 c #Conflicts: 2142000 | #Constraints: 148669
3600.03/3610.11 c #Conflicts: 2143000 | #Constraints: 149669
3600.03/3610.11 c #Conflicts: 2144000 | #Constraints: 150669
3600.03/3610.11 c #Conflicts: 2145000 | #Constraints: 151669
3600.03/3610.11 c #Conflicts: 2146000 | #Constraints: 152669
3600.03/3610.11 c #Conflicts: 2147000 | #Constraints: 153669
3600.03/3610.11 c #Conflicts: 2148000 | #Constraints: 154669
3600.03/3610.11 c #Conflicts: 2149000 | #Constraints: 155669
3600.03/3610.11 c #Conflicts: 2150000 | #Constraints: 156669
3600.03/3610.11 c #Conflicts: 2151000 | #Constraints: 157669
3600.03/3610.11 c #Conflicts: 2152000 | #Constraints: 158669
3600.03/3610.11 c #Conflicts: 2153000 | #Constraints: 159669
3600.03/3610.11 c #Conflicts: 2154000 | #Constraints: 160669
3600.03/3610.11 c #Conflicts: 2155000 | #Constraints: 161669
3600.03/3610.11 c #Conflicts: 2156000 | #Constraints: 162669
3600.03/3610.11 c #Conflicts: 2157000 | #Constraints: 163669
3600.03/3610.11 c #Conflicts: 2158000 | #Constraints: 164669
3600.03/3610.11 c #Conflicts: 2159000 | #Constraints: 165669
3600.03/3610.11 c #Conflicts: 2160000 | #Constraints: 166669
3600.03/3610.11 c #Conflicts: 2161000 | #Constraints: 167669
3600.03/3610.11 c #Conflicts: 2162000 | #Constraints: 168669
3600.03/3610.11 c #Conflicts: 2163000 | #Constraints: 169669
3600.03/3610.11 c #Conflicts: 2164000 | #Constraints: 170669
3600.03/3610.11 c #Conflicts: 2165000 | #Constraints: 171669
3600.03/3610.11 c #Conflicts: 2166000 | #Constraints: 172669
3600.03/3610.11 c #Conflicts: 2167000 | #Constraints: 173669
3600.03/3610.11 c #Conflicts: 2168000 | #Constraints: 174669
3600.03/3610.11 c #Conflicts: 2169000 | #Constraints: 175669
3600.03/3610.11 c #Conflicts: 2170000 | #Constraints: 176669
3600.03/3610.11 c #Conflicts: 2171000 | #Constraints: 177669
3600.03/3610.11 c #Conflicts: 2172000 | #Constraints: 178669
3600.03/3610.11 c #Conflicts: 2173000 | #Constraints: 179669
3600.03/3610.11 c #Conflicts: 2174000 | #Constraints: 180669
3600.03/3610.11 c Program interrupted by user.
3600.03/3610.11 c cpu time 3590.56 s
3600.03/3610.11 c deterministic time 378682401695 3.79e+11
3600.03/3610.11 c optimization time 82.9341 s
3600.03/3610.11 c total solve time 3507.47 s
3600.03/3610.11 c core-guided solve time 3507.47 s
3600.03/3610.11 c propagation time 2991.46 s
3600.03/3610.11 c conflict analysis time 575.284 s
3600.03/3610.11 c propagations 790450517
3600.03/3610.11 c resolve steps 54256615
3600.03/3610.11 c decisions 4177230
3600.03/3610.11 c conflicts 2174028
3600.03/3610.11 c restarts 4093
3600.03/3610.11 c inprocessing phases 86
3600.03/3610.11 c input clauses 94592
3600.03/3610.11 c input cardinalities 232
3600.03/3610.11 c input general constraints 141
3600.03/3610.11 c input average constraint length 2.75
3600.03/3610.11 c input average constraint degree 1.46
3600.03/3610.11 c learned clauses 1780125
3600.03/3610.11 c learned cardinalities 6467
3600.03/3610.11 c learned general constraints 387423
3600.03/3610.11 c learned average constraint length 91.27
3600.03/3610.11 c learned average constraint degree 42.83
3600.03/3610.11 c watched constraints 347758
3600.03/3610.11 c counting constraints 39806
3600.03/3610.11 c gcd simplifications 9252
3600.03/3610.11 c detected cardinalities 769
3600.03/3610.11 c weakened non-implied lits 10566168
3600.03/3610.11 c weakened non-implying lits 15073
3600.03/3610.11 c original variables 1272
3600.03/3610.11 c clausal propagations 754087080
3600.03/3610.11 c cardinality propagations 507718
3600.03/3610.11 c watched propagations 6305816
3600.03/3610.11 c counting propagations 27617134
3600.03/3610.11 c watch lookups 84824900767
3600.03/3610.11 c watch backjump lookups 67346951177
3600.03/3610.11 c watch checks 208499273029
3600.03/3610.11 c propagation checks 15801279611
3600.03/3610.11 c constraint additions 618568427
3600.03/3610.11 c trail pops 796800936
3600.03/3610.11 c formula constraints 94227
3600.03/3610.11 c learned constraints 2174015
3600.03/3610.11 c bound constraints 53
3600.03/3610.11 c core-guided constraints 685
3600.03/3610.11 c encountered formula constraints 23623761
3600.03/3610.11 c encountered learned constraints 30715745
3600.03/3610.11 c encountered bound constraints 393
3600.03/3610.11 c encountered core-guided constraints 2090744
3600.03/3610.11 c LP total time 0 s
3600.03/3610.11 c LP solve time 0 s
3600.03/3610.11 c LP constraints added 0
3600.03/3610.11 c LP constraints removed 0
3600.03/3610.11 c LP pivots internal 0
3600.03/3610.11 c LP pivots root 0
3600.03/3610.11 c LP calls 0
3600.03/3610.11 c LP optimalities 0
3600.03/3610.11 c LP no pivot count 0
3600.03/3610.11 c LP infeasibilities 0
3600.03/3610.11 c LP valid Farkas constraints 0
3600.03/3610.11 c LP learned Farkas constraints 0
3600.03/3610.11 c LP basis resets 0
3600.03/3610.11 c LP cycling count 0
3600.03/3610.11 c LP singular count 0
3600.03/3610.11 c LP no primal count 0
3600.03/3610.11 c LP no farkas count 0
3600.03/3610.11 c LP other issue count 0
3600.03/3610.11 c LP Gomory cuts 0
3600.03/3610.11 c LP learned cuts 0
3600.03/3610.11 c LP deleted cuts 0
3600.03/3610.11 c LP encountered Gomory constraints 0
3600.03/3610.11 c LP encountered Farkas constraints 0
3600.03/3610.11 c LP encountered learned Farkas constraints 0
3600.03/3610.11 c CG auxiliary variables introduced 396
3600.03/3610.11 c CG solutions found 1
3600.03/3610.11 c CG cores constructed 40
3600.03/3610.11 c CG core cardinality constraints returned 0
3600.03/3610.11 c CG unit cores 0
3600.03/3610.11 c CG single cores 40
3600.03/3610.11 c CG blocks removed during cardinality reduction 0
3600.03/3610.11 c CG first core best 0
3600.03/3610.11 c CG decision core best 0
3600.03/3610.11 c CG core reduction tie 0
3600.03/3610.11 c CG core degree average 1.00
3600.03/3610.11 c CG core slack average 8.25
3600.03/3610.11 c CG exhausted 13
3600.03/3610.11 c CG exhaust time 8.83407 s
3600.03/3610.11 c CG trimmed 4
3600.03/3610.11 c CG trim time 0.000743 s
3600.03/3610.11 c CG minimized 0
3600.03/3610.11 c CG minimize time 0 s
3600.03/3610.11 c CG am1 prop time 0.006938 s
3600.03/3610.11 c CG # am1s reformulated 236
3600.03/3610.11 c CG lower bound derived from am1s 1033
3600.03/3610.11 c CG # clausal cores 40
3600.03/3610.11 c CG # cardinality cores 0
3600.03/3610.11 c CG # pb cores 0
3600.03/3610.11 c CG # pb reforms 0
3600.03/3610.11 c CG # cores discarded because of pb reform 0
3600.03/3610.11 d LOWERBOUND -186
3600.03/3610.11 d NCORES 40
3600.03/3610.11 d NPBCORES 0
3600.03/3610.11 d NPBREFORM 0
3600.03/3610.11 d NTRIMMED 4
3600.03/3610.11 d NEXHAUSTED 13
3600.03/3610.11 d NAM1S 236
3600.03/3610.11 d AM1LB 1033
3600.03/3610.11 o -34
3600.03/3610.11 s SATISFIABLE
3600.03/3610.11 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
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 (62343 MiB free)
memory of node 1: 64507 MiB (63498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484856-1751298455/watcher-4484856-1751298455 -o /tmp/evaluation-result-4484856-1751298455/solver-4484856-1751298455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42302 --watchdog 3760 pb-oll-rs HOME/instance-4484856-1751298455.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=42895, runsolver pid=42892
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.15 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128862376/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=21540 memory=8572 CPUtime=0.09 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 744 0 0 0 7 2 0 0 20 0 1 0 45523223 22056960 2143 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 5385 2143 1120 243 0 1634 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21540 KiB
Current children cumulated memory: 8572 KiB
[startup+0.205554 s]*
/proc/loadavg: 4.15 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128862124/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=22860 memory=11004 CPUtime=0.19 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 1375 0 0 0 14 5 0 0 20 0 1 0 45523223 23408640 2751 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 5715 2751 1120 243 0 1964 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22860 KiB
Current children cumulated memory: 11004 KiB
[startup+0.305482 s]*
/proc/loadavg: 4.15 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128854060/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=32388 memory=21540 CPUtime=0.29 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 3892 0 0 0 22 7 0 0 20 0 1 0 45523223 33165312 5385 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 8097 5385 1344 243 0 4346 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32388 KiB
Current children cumulated memory: 21540 KiB
[startup+0.70016 s]
/proc/loadavg: 4.15 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128852296/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=43108 memory=30512 CPUtime=0.68 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 6126 0 0 0 59 9 0 0 20 0 1 0 45523223 44142592 7628 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 10777 7628 1344 243 0 7026 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43108 KiB
Current children cumulated memory: 30512 KiB
[startup+1.50015 s]
/proc/loadavg: 4.15 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128844504/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=52996 memory=37592 CPUtime=1.48 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 6864 0 0 0 138 10 0 0 20 0 1 0 45523223 54267904 9398 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 13249 9398 1344 243 0 9498 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52996 KiB
Current children cumulated memory: 37592 KiB
[startup+3.1054 s]
/proc/loadavg: 4.15 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128844000/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=63648 memory=42240 CPUtime=3.08 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 7642 0 0 0 296 12 0 0 20 0 1 0 45523223 65175552 10560 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 15912 10560 1344 243 0 12161 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 42240 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128835636/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=67692 memory=54916 CPUtime=6.27 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 10046 0 0 0 612 15 0 0 20 0 1 0 45523223 69316608 13729 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 16923 13729 1344 243 0 13172 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 54916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.08 5/264 42896
/proc/meminfo: memFree=128827368/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=74272 memory=63612 CPUtime=12.65 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 13612 0 0 0 1241 24 0 0 20 0 1 0 45523223 76054528 15903 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 18568 15903 1344 243 0 14817 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74272 KiB
Current children cumulated memory: 63612 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.08 5/264 42896
/proc/meminfo: memFree=128826620/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=74712 memory=64124 CPUtime=25.42 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 13756 0 0 0 2499 43 0 0 20 0 1 0 45523223 76505088 16031 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 18678 16031 1344 243 0 14927 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 74712 KiB
Current children cumulated memory: 64124 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.09 4.08 5/264 42896
/proc/meminfo: memFree=128822596/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=77280 memory=66580 CPUtime=50.96 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 15011 0 0 0 5027 69 0 0 20 0 1 0 45523223 79134720 16645 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 19320 16645 1344 243 0 15569 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 77280 KiB
Current children cumulated memory: 66580 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/264 42899
/proc/meminfo: memFree=128818720/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=78956 memory=68304 CPUtime=102.01 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 16104 0 0 0 10098 103 0 0 20 0 1 0 45523223 80850944 17076 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 19739 17076 1344 243 0 15988 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 78956 KiB
Current children cumulated memory: 68304 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/264 42901
/proc/meminfo: memFree=128813848/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=79556 memory=69076 CPUtime=161.85 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 16996 0 0 0 16047 138 0 0 20 0 1 0 45523223 81465344 17269 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 19889 17269 1344 243 0 16138 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 79556 KiB
Current children cumulated memory: 69076 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/264 42903
/proc/meminfo: memFree=128810072/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=80656 memory=70100 CPUtime=221.7 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 17264 0 0 0 22002 168 0 0 20 0 1 0 45523223 82591744 17525 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 20164 17525 1344 243 0 16413 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 80656 KiB
Current children cumulated memory: 70100 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.16 4.11 5/264 42905
/proc/meminfo: memFree=128808924/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=81664 memory=71160 CPUtime=281.53 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 18263 0 0 0 27953 200 0 0 20 0 1 0 45523223 83623936 17790 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 20416 17790 1344 243 0 16665 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 81664 KiB
Current children cumulated memory: 71160 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/265 42908
/proc/meminfo: memFree=128811096/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=81796 memory=71288 CPUtime=341.38 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 18299 0 0 0 33909 229 0 0 20 0 1 0 45523223 83759104 17822 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 20449 17822 1344 243 0 16698 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 81796 KiB
Current children cumulated memory: 71288 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 42917
/proc/meminfo: memFree=128807276/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=104504 memory=75640 CPUtime=401.22 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 19401 0 0 0 39866 256 0 0 20 0 1 0 45523223 107012096 18910 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 26126 18910 1344 243 0 22375 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 104504 KiB
Current children cumulated memory: 75640 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 42920
/proc/meminfo: memFree=128796688/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=104504 memory=75640 CPUtime=461.07 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 19401 0 0 0 45819 288 0 0 20 0 1 0 45523223 107012096 18910 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 26126 18910 1344 243 0 22375 0
################
# More data... #
################
Current children cumulated memory: 110536 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.19 4.14 5/262 43189
/proc/meminfo: memFree=128820316/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=2914.25 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 290588 837 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.18 4.14 5/262 43191
/proc/meminfo: memFree=128817092/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=2974.08 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 296563 845 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 2974.08 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/263 43194
/proc/meminfo: memFree=128819572/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=3033.9 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 302535 855 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 3033.9 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/263 43196
/proc/meminfo: memFree=128811084/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=3093.73 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 308504 869 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/263 43198
/proc/meminfo: memFree=128810964/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=3153.54 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 314469 885 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/263 43200
/proc/meminfo: memFree=128803444/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=3213.36 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 320439 897 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/263 43202
/proc/meminfo: memFree=128803580/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=3273.18 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 326415 903 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.11 5/262 43204
/proc/meminfo: memFree=128804088/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=147740 memory=114328 CPUtime=3333.01 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25267 0 0 0 332390 911 0 0 20 0 1 0 45523223 151285760 28582 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36935 28582 1344 243 0 33184 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 147740 KiB
Current children cumulated memory: 114328 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/263 43207
/proc/meminfo: memFree=128823068/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=144936 memory=113768 CPUtime=3392.84 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 25268 0 0 0 338367 917 0 0 20 0 1 0 45523223 148414464 28442 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 36234 28442 1344 243 0 32483 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 144936 KiB
Current children cumulated memory: 113768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/264 43216
/proc/meminfo: memFree=128817096/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=148668 memory=119528 CPUtime=3452.66 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 26197 0 0 0 344340 926 0 0 20 0 1 0 45523223 152236032 29882 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 37167 29882 1344 243 0 33416 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 119528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/264 43218
/proc/meminfo: memFree=128818224/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=148668 memory=119528 CPUtime=3512.49 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 26197 0 0 0 350316 933 0 0 20 0 1 0 45523223 152236032 29882 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 37167 29882 1344 243 0 33416 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 119528 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/264 43220
/proc/meminfo: memFree=128817372/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=148668 memory=119528 CPUtime=3572.31 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 26208 0 0 0 356288 943 0 0 20 0 1 0 45523223 152236032 29882 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 37167 29882 1344 243 0 33416 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 119528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.13 4.10 4.10 5/264 43221
/proc/meminfo: memFree=128817436/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=148668 memory=119528 CPUtime=3600.03 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 26210 0 0 0 359055 948 0 0 20 0 1 0 45523223 152236032 29882 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 37167 29882 1344 243 0 33416 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 119528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 42895 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.57 s, system=9.49074 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.13 4.10 4.10 5/264 43221
/proc/meminfo: memFree=128817436/131249996 swapFree=33010684/33010684
[pid=42895] ppid=42892 vsize=148668 memory=119528 CPUtime=3600.03 cores=0,2
/proc/42895/stat : 42895 (pb-oll-rs) R 42892 42895 42292 0 -1 4194304 26210 0 0 0 359055 948 0 0 20 0 1 0 45523223 152236032 29882 18446744073709551615 4218880 5211445 140722194840864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 15622144 140722194848156 140722194848233 140722194848233 140722194853835 0
/proc/42895/statm: 37167 29882 1344 243 0 33416 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 119528 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.06
CPU user time (s): 3590.57
CPU system time (s): 9.49074
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 148668
Max. memory (cumulated for all children) (KiB): 119528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.57
system time used= 9.49074
maximum resident set size= 120040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26225
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= 114
involuntary context switches= 4568
# summary of solver processes directly reported to runsolver:
# pid: 42895
# total CPU time (s): 3600.06
# total CPU user time (s): 3590.57
# total CPU system time (s): 9.49074
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84754 second user time and 15.6329 second system time
The end
Begin job on nodeC021 at 2025-06-30 17:47:35
IDJOB=4484856
IDBENCH=146672
IDSOLVER=3345
FILE ID=nodeC021/4484856-1751298455
RUNJOBID= nodeC021-1751292654-42302
SLURM_JOB_ID= 9594264
Free space on /tmp= 432576 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/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484856-1751298455/watcher-4484856-1751298455 -o /tmp/evaluation-result-4484856-1751298455/solver-4484856-1751298455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42302 --watchdog 3760 pb-oll-rs HOME/instance-4484856-1751298455.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=1031270661
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 : 3600.143
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.800
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 : 3599.476
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 : 3642.355
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.815
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 : 3599.773
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 : 3600.585
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128862376 kB
MemAvailable: 129478448 kB
Buffers: 3280 kB
Cached: 1422640 kB
SwapCached: 0 kB
Active: 628360 kB
Inactive: 1153596 kB
Active(anon): 374096 kB
Inactive(anon): 0 kB
Active(file): 254264 kB
Inactive(file): 1153596 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3896 kB
Writeback: 0 kB
AnonPages: 351984 kB
Mapped: 107772 kB
Shmem: 18060 kB
KReclaimable: 94504 kB
Slab: 181308 kB
SReclaimable: 94504 kB
SUnreclaim: 86804 kB
KernelStack: 4288 kB
PageTables: 3744 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 712908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 286720 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:47:46