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.00/0.00 c [STEP] solving
0.00/0.00 c #variables 372 #constraints 421
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= -220 @ 0.000629
0.00/0.00 c stratification level: 3
0.00/0.01 c bounds - >= -210 @ 0.000817
0.00/0.01 c bounds - >= -207 @ 0.000917
0.00/0.01 c bounds - >= -204 @ 0.001008
0.00/0.01 c bounds - >= -198 @ 0.001101
0.00/0.01 c bounds - >= -195 @ 0.001241
0.00/0.01 c finalizing WCE round: reformulating cores
0.09/0.17 c #Conflicts: 1000 | #Constraints: 1434
0.09/0.17 c bounds 10 >= -195 @ 0.123503
0.09/0.17 c bounds 9 >= -195 @ 0.153388
0.09/0.17 c stratification level: 2
0.09/0.19 c bounds 9 >= -183 @ 0.154357
0.09/0.19 c bounds 9 >= -181 @ 0.154394
0.09/0.19 c bounds 9 >= -179 @ 0.154394
0.09/0.19 c bounds 9 >= -177 @ 0.154603
0.09/0.19 c bounds 9 >= -175 @ 0.154804
0.09/0.19 c bounds 9 >= -169 @ 0.155304
0.09/0.19 c bounds 9 >= -165 @ 0.155502
0.09/0.19 c bounds 9 >= -163 @ 0.155937
0.09/0.19 c bounds 9 >= -161 @ 0.156285
0.09/0.19 c bounds 9 >= -157 @ 0.156869
0.09/0.19 c bounds 9 >= -153 @ 0.157253
0.09/0.19 c bounds 9 >= -151 @ 0.157494
0.09/0.19 c bounds 9 >= -149 @ 0.15775
0.09/0.19 c bounds 9 >= -147 @ 0.158135
0.09/0.19 c bounds 9 >= -145 @ 0.158596
0.09/0.19 c finalizing WCE round: reformulating cores
19.93/20.07 c #Conflicts: 2000 | #Constraints: 2474
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 3000 | #Constraints: 2463
19.93/20.07 c #Conflicts: 4000 | #Constraints: 3469
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 5000 | #Constraints: 2874
19.93/20.07 c #Conflicts: 6000 | #Constraints: 3876
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 7000 | #Constraints: 2884
19.93/20.07 c #Conflicts: 8000 | #Constraints: 3886
19.93/20.07 c #Conflicts: 9000 | #Constraints: 4890
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 10000 | #Constraints: 3599
19.93/20.07 c #Conflicts: 11000 | #Constraints: 4601
19.93/20.07 c #Conflicts: 12000 | #Constraints: 5603
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c bounds 3 >= -145 @ 1.81514
19.93/20.07 c bounds 3 >= -143 @ 1.81726
19.93/20.07 c #Conflicts: 13000 | #Constraints: 4072
19.93/20.07 c #Conflicts: 14000 | #Constraints: 5072
19.93/20.07 c #Conflicts: 15000 | #Constraints: 6072
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 16000 | #Constraints: 4294
19.93/20.07 c #Conflicts: 17000 | #Constraints: 5294
19.93/20.07 c #Conflicts: 18000 | #Constraints: 6294
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 19000 | #Constraints: 4303
19.93/20.07 c #Conflicts: 20000 | #Constraints: 5303
19.93/20.07 c #Conflicts: 21000 | #Constraints: 6303
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 22000 | #Constraints: 4113
19.93/20.07 c #Conflicts: 23000 | #Constraints: 5113
19.93/20.07 c #Conflicts: 24000 | #Constraints: 6113
19.93/20.07 c #Conflicts: 25000 | #Constraints: 7113
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 26000 | #Constraints: 4724
19.93/20.07 c #Conflicts: 27000 | #Constraints: 5724
19.93/20.07 c #Conflicts: 28000 | #Constraints: 6724
19.93/20.07 c #Conflicts: 29000 | #Constraints: 7724
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 30000 | #Constraints: 5120
19.93/20.07 c #Conflicts: 31000 | #Constraints: 6120
19.93/20.07 c #Conflicts: 32000 | #Constraints: 7120
19.93/20.07 c #Conflicts: 33000 | #Constraints: 8120
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 34000 | #Constraints: 5322
19.93/20.07 c #Conflicts: 35000 | #Constraints: 6322
19.93/20.07 c #Conflicts: 36000 | #Constraints: 7322
19.93/20.07 c #Conflicts: 37000 | #Constraints: 8322
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 38000 | #Constraints: 5326
19.93/20.07 c #Conflicts: 39000 | #Constraints: 6326
19.93/20.07 c #Conflicts: 40000 | #Constraints: 7326
19.93/20.07 c #Conflicts: 41000 | #Constraints: 8326
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 42000 | #Constraints: 5132
19.93/20.07 c #Conflicts: 43000 | #Constraints: 6132
19.93/20.07 c #Conflicts: 44000 | #Constraints: 7132
19.93/20.07 c #Conflicts: 45000 | #Constraints: 8132
19.93/20.07 c #Conflicts: 46000 | #Constraints: 9132
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 47000 | #Constraints: 5729
19.93/20.07 c #Conflicts: 48000 | #Constraints: 6729
19.93/20.07 c #Conflicts: 49000 | #Constraints: 7729
19.93/20.07 c #Conflicts: 50000 | #Constraints: 8729
19.93/20.07 c #Conflicts: 51000 | #Constraints: 9729
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 52000 | #Constraints: 6131
19.93/20.07 c #Conflicts: 53000 | #Constraints: 7131
19.93/20.07 c #Conflicts: 54000 | #Constraints: 8131
19.93/20.07 c #Conflicts: 55000 | #Constraints: 9131
19.93/20.07 c #Conflicts: 56000 | #Constraints: 10131
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 57000 | #Constraints: 6337
19.93/20.07 c #Conflicts: 58000 | #Constraints: 7337
19.93/20.07 c #Conflicts: 59000 | #Constraints: 8337
19.93/20.07 c #Conflicts: 60000 | #Constraints: 9337
19.93/20.07 c #Conflicts: 61000 | #Constraints: 10337
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 62000 | #Constraints: 6335
19.93/20.07 c #Conflicts: 63000 | #Constraints: 7335
19.93/20.07 c bounds 3 >= -141 @ 18.4003
19.93/20.07 c #Conflicts: 64000 | #Constraints: 8354
19.93/20.07 c #Conflicts: 65000 | #Constraints: 9354
19.93/20.07 c #Conflicts: 66000 | #Constraints: 10354
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c #Conflicts: 67000 | #Constraints: 6140
62.83/63.03 c #Conflicts: 68000 | #Constraints: 7140
62.83/63.03 c #Conflicts: 69000 | #Constraints: 8140
62.83/63.03 c #Conflicts: 70000 | #Constraints: 9140
62.83/63.03 c #Conflicts: 71000 | #Constraints: 10140
62.83/63.03 c #Conflicts: 72000 | #Constraints: 11140
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 73000 | #Constraints: 6730
62.83/63.03 c #Conflicts: 74000 | #Constraints: 7730
62.83/63.03 c #Conflicts: 75000 | #Constraints: 8730
62.83/63.03 c #Conflicts: 76000 | #Constraints: 9730
62.83/63.03 c #Conflicts: 77000 | #Constraints: 10730
62.83/63.03 c #Conflicts: 78000 | #Constraints: 11730
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 79000 | #Constraints: 7135
62.83/63.03 c #Conflicts: 80000 | #Constraints: 8135
62.83/63.03 c #Conflicts: 81000 | #Constraints: 9135
62.83/63.03 c #Conflicts: 82000 | #Constraints: 10135
62.83/63.03 c bounds 3 >= -139 @ 26.723
62.83/63.03 c #Conflicts: 83000 | #Constraints: 11148
62.83/63.03 c #Conflicts: 84000 | #Constraints: 12148
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 85000 | #Constraints: 7348
62.83/63.03 c #Conflicts: 86000 | #Constraints: 8348
62.83/63.03 c #Conflicts: 87000 | #Constraints: 9348
62.83/63.03 c #Conflicts: 88000 | #Constraints: 10348
62.83/63.03 c #Conflicts: 89000 | #Constraints: 11348
62.83/63.03 c #Conflicts: 90000 | #Constraints: 12348
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 91000 | #Constraints: 7351
62.83/63.03 c #Conflicts: 92000 | #Constraints: 8351
62.83/63.03 c #Conflicts: 93000 | #Constraints: 9351
62.83/63.03 c #Conflicts: 94000 | #Constraints: 10351
62.83/63.03 c #Conflicts: 95000 | #Constraints: 11351
62.83/63.03 c #Conflicts: 96000 | #Constraints: 12351
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 97000 | #Constraints: 7150
62.83/63.03 c #Conflicts: 98000 | #Constraints: 8150
62.83/63.03 c #Conflicts: 99000 | #Constraints: 9150
62.83/63.03 c #Conflicts: 100000 | #Constraints: 10150
62.83/63.03 c #Conflicts: 101000 | #Constraints: 11150
62.83/63.03 c #Conflicts: 102000 | #Constraints: 12150
62.83/63.03 c #Conflicts: 103000 | #Constraints: 13150
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 104000 | #Constraints: 7747
62.83/63.03 c #Conflicts: 105000 | #Constraints: 8747
62.83/63.03 c #Conflicts: 106000 | #Constraints: 9747
62.83/63.03 c #Conflicts: 107000 | #Constraints: 10747
62.83/63.03 c #Conflicts: 108000 | #Constraints: 11747
62.83/63.03 c #Conflicts: 109000 | #Constraints: 12747
62.83/63.03 c #Conflicts: 110000 | #Constraints: 13747
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 111000 | #Constraints: 8152
62.83/63.03 c #Conflicts: 112000 | #Constraints: 9152
62.83/63.03 c #Conflicts: 113000 | #Constraints: 10152
62.83/63.03 c #Conflicts: 114000 | #Constraints: 11152
62.83/63.03 c #Conflicts: 115000 | #Constraints: 12152
62.83/63.03 c #Conflicts: 116000 | #Constraints: 13152
62.83/63.03 c #Conflicts: 117000 | #Constraints: 14152
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 118000 | #Constraints: 8348
62.83/63.03 c #Conflicts: 119000 | #Constraints: 9348
62.83/63.03 c #Conflicts: 120000 | #Constraints: 10348
62.83/63.03 c #Conflicts: 121000 | #Constraints: 11348
62.83/63.03 c #Conflicts: 122000 | #Constraints: 12348
62.83/63.03 c #Conflicts: 123000 | #Constraints: 13348
62.83/63.03 c #Conflicts: 124000 | #Constraints: 14348
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 125000 | #Constraints: 8354
62.83/63.03 c #Conflicts: 126000 | #Constraints: 9354
62.83/63.03 c #Conflicts: 127000 | #Constraints: 10354
62.83/63.03 c #Conflicts: 128000 | #Constraints: 11354
62.83/63.03 c #Conflicts: 129000 | #Constraints: 12354
62.83/63.03 c #Conflicts: 130000 | #Constraints: 13354
62.83/63.03 c #Conflicts: 131000 | #Constraints: 14354
62.83/63.03 c INPROCESSING
62.83/63.03 c GARBAGE COLLECT
62.83/63.03 c #Conflicts: 132000 | #Constraints: 8152
62.83/63.03 c #Conflicts: 133000 | #Constraints: 9152
62.83/63.03 c #Conflicts: 134000 | #Constraints: 10152
62.83/63.03 c #Conflicts: 135000 | #Constraints: 11152
62.83/63.03 c #Conflicts: 136000 | #Constraints: 12152
62.83/63.03 c #Conflicts: 137000 | #Constraints: 13152
62.83/63.03 c #Conflicts: 138000 | #Constraints: 14152
62.83/63.03 c #Conflicts: 139000 | #Constraints: 15152
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 140000 | #Constraints: 8754
125.06/125.45 c #Conflicts: 141000 | #Constraints: 9754
125.06/125.45 c #Conflicts: 142000 | #Constraints: 10754
125.06/125.45 c #Conflicts: 143000 | #Constraints: 11754
125.06/125.45 c #Conflicts: 144000 | #Constraints: 12754
125.06/125.45 c #Conflicts: 145000 | #Constraints: 13754
125.06/125.45 c #Conflicts: 146000 | #Constraints: 14754
125.06/125.45 c #Conflicts: 147000 | #Constraints: 15754
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 148000 | #Constraints: 9158
125.06/125.45 c #Conflicts: 149000 | #Constraints: 10158
125.06/125.45 c #Conflicts: 150000 | #Constraints: 11158
125.06/125.45 c #Conflicts: 151000 | #Constraints: 12158
125.06/125.45 c #Conflicts: 152000 | #Constraints: 13158
125.06/125.45 c #Conflicts: 153000 | #Constraints: 14158
125.06/125.45 c #Conflicts: 154000 | #Constraints: 15158
125.06/125.45 c #Conflicts: 155000 | #Constraints: 16158
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 156000 | #Constraints: 9356
125.06/125.45 c #Conflicts: 157000 | #Constraints: 10356
125.06/125.45 c #Conflicts: 158000 | #Constraints: 11356
125.06/125.45 c #Conflicts: 159000 | #Constraints: 12356
125.06/125.45 c #Conflicts: 160000 | #Constraints: 13356
125.06/125.45 c #Conflicts: 161000 | #Constraints: 14356
125.06/125.45 c #Conflicts: 162000 | #Constraints: 15356
125.06/125.45 c #Conflicts: 163000 | #Constraints: 16356
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 164000 | #Constraints: 9359
125.06/125.45 c #Conflicts: 165000 | #Constraints: 10359
125.06/125.45 c #Conflicts: 166000 | #Constraints: 11359
125.06/125.45 c #Conflicts: 167000 | #Constraints: 12359
125.06/125.45 c #Conflicts: 168000 | #Constraints: 13359
125.06/125.45 c #Conflicts: 169000 | #Constraints: 14359
125.06/125.45 c #Conflicts: 170000 | #Constraints: 15359
125.06/125.45 c #Conflicts: 171000 | #Constraints: 16359
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 172000 | #Constraints: 9157
125.06/125.45 c #Conflicts: 173000 | #Constraints: 10157
125.06/125.45 c #Conflicts: 174000 | #Constraints: 11157
125.06/125.45 c #Conflicts: 175000 | #Constraints: 12157
125.06/125.45 c #Conflicts: 176000 | #Constraints: 13157
125.06/125.45 c #Conflicts: 177000 | #Constraints: 14157
125.06/125.45 c #Conflicts: 178000 | #Constraints: 15157
125.06/125.45 c #Conflicts: 179000 | #Constraints: 16157
125.06/125.45 c #Conflicts: 180000 | #Constraints: 17157
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 181000 | #Constraints: 9757
125.06/125.45 c #Conflicts: 182000 | #Constraints: 10757
125.06/125.45 c #Conflicts: 183000 | #Constraints: 11757
125.06/125.45 c #Conflicts: 184000 | #Constraints: 12757
125.06/125.45 c #Conflicts: 185000 | #Constraints: 13757
125.06/125.45 c #Conflicts: 186000 | #Constraints: 14757
125.06/125.45 c #Conflicts: 187000 | #Constraints: 15757
125.06/125.45 c #Conflicts: 188000 | #Constraints: 16757
125.06/125.45 c #Conflicts: 189000 | #Constraints: 17757
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 190000 | #Constraints: 10159
125.06/125.45 c #Conflicts: 191000 | #Constraints: 11159
125.06/125.45 c #Conflicts: 192000 | #Constraints: 12159
125.06/125.45 c #Conflicts: 193000 | #Constraints: 13159
125.06/125.45 c #Conflicts: 194000 | #Constraints: 14159
125.06/125.45 c #Conflicts: 195000 | #Constraints: 15159
125.06/125.45 c #Conflicts: 196000 | #Constraints: 16159
125.06/125.45 c #Conflicts: 197000 | #Constraints: 17159
125.06/125.45 c #Conflicts: 198000 | #Constraints: 18159
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 199000 | #Constraints: 10365
125.06/125.45 c bounds 3 >= -137 @ 114.144
125.06/125.45 c #Conflicts: 200000 | #Constraints: 11375
125.06/125.45 c #Conflicts: 201000 | #Constraints: 12375
125.06/125.45 c #Conflicts: 202000 | #Constraints: 13375
125.06/125.45 c #Conflicts: 203000 | #Constraints: 14375
125.06/125.45 c #Conflicts: 204000 | #Constraints: 15375
125.06/125.45 c #Conflicts: 205000 | #Constraints: 16375
125.06/125.45 c #Conflicts: 206000 | #Constraints: 17375
125.06/125.45 c #Conflicts: 207000 | #Constraints: 18375
125.06/125.45 c INPROCESSING
125.06/125.45 c GARBAGE COLLECT
125.06/125.45 c #Conflicts: 208000 | #Constraints: 10371
125.06/125.45 c #Conflicts: 209000 | #Constraints: 11371
125.06/125.45 c #Conflicts: 210000 | #Constraints: 12371
125.06/125.45 c #Conflicts: 211000 | #Constraints: 13371
125.06/125.45 c #Conflicts: 212000 | #Constraints: 14371
204.65/205.20 c #Conflicts: 213000 | #Constraints: 15371
204.65/205.20 c #Conflicts: 214000 | #Constraints: 16371
204.65/205.20 c #Conflicts: 215000 | #Constraints: 17371
204.65/205.20 c #Conflicts: 216000 | #Constraints: 18371
204.65/205.20 c INPROCESSING
204.65/205.20 c GARBAGE COLLECT
204.65/205.20 c #Conflicts: 217000 | #Constraints: 10172
204.65/205.20 c #Conflicts: 218000 | #Constraints: 11172
204.65/205.20 c #Conflicts: 219000 | #Constraints: 12172
204.65/205.20 c #Conflicts: 220000 | #Constraints: 13172
204.65/205.20 c #Conflicts: 221000 | #Constraints: 14172
204.65/205.20 c #Conflicts: 222000 | #Constraints: 15172
204.65/205.20 c #Conflicts: 223000 | #Constraints: 16172
204.65/205.20 c #Conflicts: 224000 | #Constraints: 17172
204.65/205.20 c #Conflicts: 225000 | #Constraints: 18172
204.65/205.20 c #Conflicts: 226000 | #Constraints: 19172
204.65/205.20 c INPROCESSING
204.65/205.20 c GARBAGE COLLECT
204.65/205.20 c #Conflicts: 227000 | #Constraints: 10770
204.65/205.20 c #Conflicts: 228000 | #Constraints: 11770
204.65/205.20 c #Conflicts: 229000 | #Constraints: 12770
204.65/205.20 c #Conflicts: 230000 | #Constraints: 13770
204.65/205.20 c #Conflicts: 231000 | #Constraints: 14770
204.65/205.20 c #Conflicts: 232000 | #Constraints: 15770
204.65/205.20 c #Conflicts: 233000 | #Constraints: 16770
204.65/205.20 c #Conflicts: 234000 | #Constraints: 17770
204.65/205.20 c #Conflicts: 235000 | #Constraints: 18770
204.65/205.20 c #Conflicts: 236000 | #Constraints: 19770
204.65/205.20 c INPROCESSING
204.65/205.20 c GARBAGE COLLECT
204.65/205.20 c #Conflicts: 237000 | #Constraints: 11158
204.65/205.20 c #Conflicts: 238000 | #Constraints: 12158
204.65/205.20 c #Conflicts: 239000 | #Constraints: 13158
204.65/205.20 c #Conflicts: 240000 | #Constraints: 14158
204.65/205.20 c #Conflicts: 241000 | #Constraints: 15158
204.65/205.20 c #Conflicts: 242000 | #Constraints: 16158
204.65/205.20 c #Conflicts: 243000 | #Constraints: 17158
204.65/205.20 c #Conflicts: 244000 | #Constraints: 18158
204.65/205.20 c #Conflicts: 245000 | #Constraints: 19158
204.65/205.20 c #Conflicts: 246000 | #Constraints: 20158
204.65/205.20 c INPROCESSING
204.65/205.20 c GARBAGE COLLECT
204.65/205.20 c #Conflicts: 247000 | #Constraints: 11367
204.65/205.20 c #Conflicts: 248000 | #Constraints: 12367
204.65/205.20 c #Conflicts: 249000 | #Constraints: 13367
204.65/205.20 c #Conflicts: 250000 | #Constraints: 14367
204.65/205.20 c #Conflicts: 251000 | #Constraints: 15367
204.65/205.20 c #Conflicts: 252000 | #Constraints: 16367
204.65/205.20 c #Conflicts: 253000 | #Constraints: 17367
204.65/205.20 c #Conflicts: 254000 | #Constraints: 18367
204.65/205.20 c #Conflicts: 255000 | #Constraints: 19367
204.65/205.20 c #Conflicts: 256000 | #Constraints: 20367
204.65/205.20 c INPROCESSING
204.65/205.20 c GARBAGE COLLECT
204.65/205.20 c #Conflicts: 257000 | #Constraints: 11371
204.65/205.20 c #Conflicts: 258000 | #Constraints: 12371
204.65/205.20 c #Conflicts: 259000 | #Constraints: 13371
204.65/205.20 c #Conflicts: 260000 | #Constraints: 14371
204.65/205.20 c #Conflicts: 261000 | #Constraints: 15371
204.65/205.20 c #Conflicts: 262000 | #Constraints: 16371
204.65/205.20 c #Conflicts: 263000 | #Constraints: 17371
204.65/205.20 c #Conflicts: 264000 | #Constraints: 18371
204.65/205.20 c #Conflicts: 265000 | #Constraints: 19371
204.65/205.20 c #Conflicts: 266000 | #Constraints: 20371
204.65/205.20 c INPROCESSING
204.65/205.20 c GARBAGE COLLECT
204.65/205.20 c #Conflicts: 267000 | #Constraints: 11166
204.65/205.20 c #Conflicts: 268000 | #Constraints: 12166
204.65/205.20 c #Conflicts: 269000 | #Constraints: 13166
204.65/205.20 c #Conflicts: 270000 | #Constraints: 14166
204.65/205.20 c #Conflicts: 271000 | #Constraints: 15166
204.65/205.20 c #Conflicts: 272000 | #Constraints: 16166
204.65/205.20 c #Conflicts: 273000 | #Constraints: 17166
204.65/205.20 c #Conflicts: 274000 | #Constraints: 18166
204.65/205.20 c #Conflicts: 275000 | #Constraints: 19166
204.65/205.20 c #Conflicts: 276000 | #Constraints: 20166
204.65/205.20 c #Conflicts: 277000 | #Constraints: 21166
204.65/205.20 c INPROCESSING
204.65/205.20 c GARBAGE COLLECT
204.65/205.20 c #Conflicts: 278000 | #Constraints: 11760
204.65/205.20 c #Conflicts: 279000 | #Constraints: 12760
204.65/205.20 c #Conflicts: 280000 | #Constraints: 13760
204.65/205.20 c #Conflicts: 281000 | #Constraints: 14760
204.65/205.20 c #Conflicts: 282000 | #Constraints: 15760
204.65/205.20 c #Conflicts: 283000 | #Constraints: 16760
204.65/205.20 c #Conflicts: 284000 | #Constraints: 17760
204.65/205.20 c #Conflicts: 285000 | #Constraints: 18760
204.65/205.20 c #Conflicts: 286000 | #Constraints: 19760
301.59/302.41 c #Conflicts: 287000 | #Constraints: 20760
301.59/302.41 c #Conflicts: 288000 | #Constraints: 21760
301.59/302.41 c INPROCESSING
301.59/302.41 c GARBAGE COLLECT
301.59/302.41 c #Conflicts: 289000 | #Constraints: 12152
301.59/302.41 c #Conflicts: 290000 | #Constraints: 13152
301.59/302.41 c #Conflicts: 291000 | #Constraints: 14152
301.59/302.41 c #Conflicts: 292000 | #Constraints: 15152
301.59/302.41 c #Conflicts: 293000 | #Constraints: 16152
301.59/302.41 c #Conflicts: 294000 | #Constraints: 17152
301.59/302.41 c #Conflicts: 295000 | #Constraints: 18152
301.59/302.41 c #Conflicts: 296000 | #Constraints: 19152
301.59/302.41 c #Conflicts: 297000 | #Constraints: 20152
301.59/302.41 c #Conflicts: 298000 | #Constraints: 21152
301.59/302.41 c #Conflicts: 299000 | #Constraints: 22152
301.59/302.41 c INPROCESSING
301.59/302.41 c GARBAGE COLLECT
301.59/302.41 c #Conflicts: 300000 | #Constraints: 12356
301.59/302.41 c #Conflicts: 301000 | #Constraints: 13356
301.59/302.41 c #Conflicts: 302000 | #Constraints: 14356
301.59/302.41 c #Conflicts: 303000 | #Constraints: 15356
301.59/302.41 c #Conflicts: 304000 | #Constraints: 16356
301.59/302.41 c #Conflicts: 305000 | #Constraints: 17356
301.59/302.41 c #Conflicts: 306000 | #Constraints: 18356
301.59/302.41 c #Conflicts: 307000 | #Constraints: 19356
301.59/302.41 c #Conflicts: 308000 | #Constraints: 20356
301.59/302.41 c #Conflicts: 309000 | #Constraints: 21356
301.59/302.41 c #Conflicts: 310000 | #Constraints: 22356
301.59/302.41 c INPROCESSING
301.59/302.41 c GARBAGE COLLECT
301.59/302.41 c #Conflicts: 311000 | #Constraints: 12361
301.59/302.41 c #Conflicts: 312000 | #Constraints: 13361
301.59/302.41 c #Conflicts: 313000 | #Constraints: 14361
301.59/302.41 c #Conflicts: 314000 | #Constraints: 15361
301.59/302.41 c #Conflicts: 315000 | #Constraints: 16361
301.59/302.41 c #Conflicts: 316000 | #Constraints: 17361
301.59/302.41 c #Conflicts: 317000 | #Constraints: 18361
301.59/302.41 c #Conflicts: 318000 | #Constraints: 19361
301.59/302.41 c #Conflicts: 319000 | #Constraints: 20361
301.59/302.41 c #Conflicts: 320000 | #Constraints: 21361
301.59/302.41 c #Conflicts: 321000 | #Constraints: 22361
301.59/302.41 c INPROCESSING
301.59/302.41 c GARBAGE COLLECT
301.59/302.41 c #Conflicts: 322000 | #Constraints: 12167
301.59/302.41 c #Conflicts: 323000 | #Constraints: 13167
301.59/302.41 c #Conflicts: 324000 | #Constraints: 14167
301.59/302.41 c #Conflicts: 325000 | #Constraints: 15167
301.59/302.41 c #Conflicts: 326000 | #Constraints: 16167
301.59/302.41 c #Conflicts: 327000 | #Constraints: 17167
301.59/302.41 c #Conflicts: 328000 | #Constraints: 18167
301.59/302.41 c #Conflicts: 329000 | #Constraints: 19167
301.59/302.41 c #Conflicts: 330000 | #Constraints: 20167
301.59/302.41 c #Conflicts: 331000 | #Constraints: 21167
301.59/302.41 c #Conflicts: 332000 | #Constraints: 22167
301.59/302.41 c #Conflicts: 333000 | #Constraints: 23167
301.59/302.41 c INPROCESSING
301.59/302.41 c GARBAGE COLLECT
301.59/302.41 c #Conflicts: 334000 | #Constraints: 12768
301.59/302.41 c #Conflicts: 335000 | #Constraints: 13768
301.59/302.41 c #Conflicts: 336000 | #Constraints: 14768
301.59/302.41 c #Conflicts: 337000 | #Constraints: 15768
301.59/302.41 c #Conflicts: 338000 | #Constraints: 16768
301.59/302.41 c #Conflicts: 339000 | #Constraints: 17768
301.59/302.41 c #Conflicts: 340000 | #Constraints: 18768
301.59/302.41 c #Conflicts: 341000 | #Constraints: 19768
301.59/302.41 c #Conflicts: 342000 | #Constraints: 20768
301.59/302.41 c #Conflicts: 343000 | #Constraints: 21768
301.59/302.41 c #Conflicts: 344000 | #Constraints: 22768
301.59/302.41 c #Conflicts: 345000 | #Constraints: 23768
301.59/302.41 c INPROCESSING
301.59/302.41 c GARBAGE COLLECT
301.59/302.41 c #Conflicts: 346000 | #Constraints: 13161
301.59/302.41 c #Conflicts: 347000 | #Constraints: 14161
301.59/302.41 c #Conflicts: 348000 | #Constraints: 15161
301.59/302.41 c #Conflicts: 349000 | #Constraints: 16161
301.59/302.41 c #Conflicts: 350000 | #Constraints: 17161
301.59/302.41 c #Conflicts: 351000 | #Constraints: 18161
301.59/302.41 c #Conflicts: 352000 | #Constraints: 19161
301.59/302.41 c #Conflicts: 353000 | #Constraints: 20161
301.59/302.41 c #Conflicts: 354000 | #Constraints: 21161
301.59/302.41 c #Conflicts: 355000 | #Constraints: 22161
301.59/302.41 c #Conflicts: 356000 | #Constraints: 23161
301.59/302.41 c #Conflicts: 357000 | #Constraints: 24161
301.59/302.41 c INPROCESSING
301.59/302.41 c GARBAGE COLLECT
301.59/302.41 c #Conflicts: 358000 | #Constraints: 13372
301.59/302.41 c #Conflicts: 359000 | #Constraints: 14372
301.59/302.41 c #Conflicts: 360000 | #Constraints: 15372
415.70/416.85 c #Conflicts: 361000 | #Constraints: 16372
415.70/416.85 c #Conflicts: 362000 | #Constraints: 17372
415.70/416.85 c #Conflicts: 363000 | #Constraints: 18372
415.70/416.85 c #Conflicts: 364000 | #Constraints: 19372
415.70/416.85 c #Conflicts: 365000 | #Constraints: 20372
415.70/416.85 c #Conflicts: 366000 | #Constraints: 21372
415.70/416.85 c #Conflicts: 367000 | #Constraints: 22372
415.70/416.85 c #Conflicts: 368000 | #Constraints: 23372
415.70/416.85 c #Conflicts: 369000 | #Constraints: 24372
415.70/416.85 c INPROCESSING
415.70/416.85 c GARBAGE COLLECT
415.70/416.85 c #Conflicts: 370000 | #Constraints: 13374
415.70/416.85 c #Conflicts: 371000 | #Constraints: 14374
415.70/416.85 c #Conflicts: 372000 | #Constraints: 15374
415.70/416.85 c #Conflicts: 373000 | #Constraints: 16374
415.70/416.85 c #Conflicts: 374000 | #Constraints: 17374
415.70/416.85 c #Conflicts: 375000 | #Constraints: 18374
415.70/416.85 c #Conflicts: 376000 | #Constraints: 19374
415.70/416.85 c #Conflicts: 377000 | #Constraints: 20374
415.70/416.85 c #Conflicts: 378000 | #Constraints: 21374
415.70/416.85 c #Conflicts: 379000 | #Constraints: 22374
415.70/416.85 c #Conflicts: 380000 | #Constraints: 23374
415.70/416.85 c #Conflicts: 381000 | #Constraints: 24374
415.70/416.85 c INPROCESSING
415.70/416.85 c GARBAGE COLLECT
415.70/416.85 c #Conflicts: 382000 | #Constraints: 13169
415.70/416.85 c #Conflicts: 383000 | #Constraints: 14169
415.70/416.85 c #Conflicts: 384000 | #Constraints: 15169
415.70/416.85 c #Conflicts: 385000 | #Constraints: 16169
415.70/416.85 c #Conflicts: 386000 | #Constraints: 17169
415.70/416.85 c #Conflicts: 387000 | #Constraints: 18169
415.70/416.85 c #Conflicts: 388000 | #Constraints: 19169
415.70/416.85 c #Conflicts: 389000 | #Constraints: 20169
415.70/416.85 c #Conflicts: 390000 | #Constraints: 21169
415.70/416.85 c #Conflicts: 391000 | #Constraints: 22169
415.70/416.85 c #Conflicts: 392000 | #Constraints: 23169
415.70/416.85 c #Conflicts: 393000 | #Constraints: 24169
415.70/416.85 c #Conflicts: 394000 | #Constraints: 25169
415.70/416.85 c INPROCESSING
415.70/416.85 c GARBAGE COLLECT
415.70/416.85 c #Conflicts: 395000 | #Constraints: 13768
415.70/416.85 c #Conflicts: 396000 | #Constraints: 14768
415.70/416.85 c #Conflicts: 397000 | #Constraints: 15768
415.70/416.85 c #Conflicts: 398000 | #Constraints: 16768
415.70/416.85 c #Conflicts: 399000 | #Constraints: 17768
415.70/416.85 c #Conflicts: 400000 | #Constraints: 18768
415.70/416.85 c #Conflicts: 401000 | #Constraints: 19768
415.70/416.85 c #Conflicts: 402000 | #Constraints: 20768
415.70/416.85 c #Conflicts: 403000 | #Constraints: 21768
415.70/416.85 c #Conflicts: 404000 | #Constraints: 22768
415.70/416.85 c #Conflicts: 405000 | #Constraints: 23768
415.70/416.85 c #Conflicts: 406000 | #Constraints: 24768
415.70/416.85 c #Conflicts: 407000 | #Constraints: 25768
415.70/416.85 c INPROCESSING
415.70/416.85 c GARBAGE COLLECT
415.70/416.85 c #Conflicts: 408000 | #Constraints: 14173
415.70/416.85 c #Conflicts: 409000 | #Constraints: 15173
415.70/416.85 c #Conflicts: 410000 | #Constraints: 16173
415.70/416.85 c #Conflicts: 411000 | #Constraints: 17173
415.70/416.85 c #Conflicts: 412000 | #Constraints: 18173
415.70/416.85 c #Conflicts: 413000 | #Constraints: 19173
415.70/416.85 c #Conflicts: 414000 | #Constraints: 20173
415.70/416.85 c #Conflicts: 415000 | #Constraints: 21173
415.70/416.85 c #Conflicts: 416000 | #Constraints: 22173
415.70/416.85 c #Conflicts: 417000 | #Constraints: 23173
415.70/416.85 c #Conflicts: 418000 | #Constraints: 24173
415.70/416.85 c #Conflicts: 419000 | #Constraints: 25173
415.70/416.85 c #Conflicts: 420000 | #Constraints: 26173
415.70/416.85 c INPROCESSING
415.70/416.85 c GARBAGE COLLECT
415.70/416.85 c #Conflicts: 421000 | #Constraints: 14376
415.70/416.85 c #Conflicts: 422000 | #Constraints: 15376
415.70/416.85 c #Conflicts: 423000 | #Constraints: 16376
415.70/416.85 c #Conflicts: 424000 | #Constraints: 17376
415.70/416.85 c #Conflicts: 425000 | #Constraints: 18376
415.70/416.85 c #Conflicts: 426000 | #Constraints: 19376
415.70/416.85 c #Conflicts: 427000 | #Constraints: 20376
415.70/416.85 c #Conflicts: 428000 | #Constraints: 21376
415.70/416.85 c #Conflicts: 429000 | #Constraints: 22376
415.70/416.85 c #Conflicts: 430000 | #Constraints: 23376
415.70/416.85 c #Conflicts: 431000 | #Constraints: 24376
415.70/416.85 c #Conflicts: 432000 | #Constraints: 25376
415.70/416.85 c #Conflicts: 433000 | #Constraints: 26376
415.70/416.85 c INPROCESSING
415.70/416.85 c GARBAGE COLLECT
415.70/416.85 c #Conflicts: 434000 | #Constraints: 14377
415.70/416.85 c #Conflicts: 435000 | #Constraints: 15377
558.64/560.15 c #Conflicts: 436000 | #Constraints: 16377
558.64/560.15 c #Conflicts: 437000 | #Constraints: 17377
558.64/560.15 c #Conflicts: 438000 | #Constraints: 18377
558.64/560.15 c #Conflicts: 439000 | #Constraints: 19377
558.64/560.15 c #Conflicts: 440000 | #Constraints: 20377
558.64/560.15 c #Conflicts: 441000 | #Constraints: 21377
558.64/560.15 c #Conflicts: 442000 | #Constraints: 22377
558.64/560.15 c #Conflicts: 443000 | #Constraints: 23377
558.64/560.15 c #Conflicts: 444000 | #Constraints: 24377
558.64/560.15 c #Conflicts: 445000 | #Constraints: 25377
558.64/560.15 c #Conflicts: 446000 | #Constraints: 26377
558.64/560.15 c INPROCESSING
558.64/560.15 c GARBAGE COLLECT
558.64/560.15 c #Conflicts: 447000 | #Constraints: 14174
558.64/560.15 c #Conflicts: 448000 | #Constraints: 15174
558.64/560.15 c #Conflicts: 449000 | #Constraints: 16174
558.64/560.15 c #Conflicts: 450000 | #Constraints: 17174
558.64/560.15 c #Conflicts: 451000 | #Constraints: 18174
558.64/560.15 c #Conflicts: 452000 | #Constraints: 19174
558.64/560.15 c #Conflicts: 453000 | #Constraints: 20174
558.64/560.15 c #Conflicts: 454000 | #Constraints: 21174
558.64/560.15 c #Conflicts: 455000 | #Constraints: 22174
558.64/560.15 c #Conflicts: 456000 | #Constraints: 23174
558.64/560.15 c #Conflicts: 457000 | #Constraints: 24174
558.64/560.15 c #Conflicts: 458000 | #Constraints: 25174
558.64/560.15 c #Conflicts: 459000 | #Constraints: 26174
558.64/560.15 c #Conflicts: 460000 | #Constraints: 27174
558.64/560.15 c INPROCESSING
558.64/560.15 c GARBAGE COLLECT
558.64/560.15 c #Conflicts: 461000 | #Constraints: 14775
558.64/560.15 c #Conflicts: 462000 | #Constraints: 15775
558.64/560.15 c #Conflicts: 463000 | #Constraints: 16775
558.64/560.15 c #Conflicts: 464000 | #Constraints: 17775
558.64/560.15 c #Conflicts: 465000 | #Constraints: 18775
558.64/560.15 c #Conflicts: 466000 | #Constraints: 19775
558.64/560.15 c #Conflicts: 467000 | #Constraints: 20775
558.64/560.15 c #Conflicts: 468000 | #Constraints: 21775
558.64/560.15 c #Conflicts: 469000 | #Constraints: 22775
558.64/560.15 c #Conflicts: 470000 | #Constraints: 23775
558.64/560.15 c #Conflicts: 471000 | #Constraints: 24775
558.64/560.15 c #Conflicts: 472000 | #Constraints: 25775
558.64/560.15 c #Conflicts: 473000 | #Constraints: 26775
558.64/560.15 c #Conflicts: 474000 | #Constraints: 27775
558.64/560.15 c INPROCESSING
558.64/560.15 c GARBAGE COLLECT
558.64/560.15 c #Conflicts: 475000 | #Constraints: 15177
558.64/560.15 c #Conflicts: 476000 | #Constraints: 16177
558.64/560.15 c #Conflicts: 477000 | #Constraints: 17177
558.64/560.15 c #Conflicts: 478000 | #Constraints: 18177
558.64/560.15 c #Conflicts: 479000 | #Constraints: 19177
558.64/560.15 c #Conflicts: 480000 | #Constraints: 20177
558.64/560.15 c #Conflicts: 481000 | #Constraints: 21177
558.64/560.15 c #Conflicts: 482000 | #Constraints: 22177
558.64/560.15 c #Conflicts: 483000 | #Constraints: 23177
558.64/560.15 c #Conflicts: 484000 | #Constraints: 24177
558.64/560.15 c #Conflicts: 485000 | #Constraints: 25177
558.64/560.15 c #Conflicts: 486000 | #Constraints: 26177
558.64/560.15 c #Conflicts: 487000 | #Constraints: 27177
558.64/560.15 c #Conflicts: 488000 | #Constraints: 28177
558.64/560.15 c INPROCESSING
558.64/560.15 c GARBAGE COLLECT
558.64/560.15 c #Conflicts: 489000 | #Constraints: 15377
558.64/560.15 c #Conflicts: 490000 | #Constraints: 16377
558.64/560.15 c #Conflicts: 491000 | #Constraints: 17377
558.64/560.15 c #Conflicts: 492000 | #Constraints: 18377
558.64/560.15 c #Conflicts: 493000 | #Constraints: 19377
558.64/560.15 c #Conflicts: 494000 | #Constraints: 20377
558.64/560.15 c #Conflicts: 495000 | #Constraints: 21377
558.64/560.15 c #Conflicts: 496000 | #Constraints: 22377
558.64/560.15 c #Conflicts: 497000 | #Constraints: 23377
558.64/560.15 c #Conflicts: 498000 | #Constraints: 24377
558.64/560.15 c #Conflicts: 499000 | #Constraints: 25377
558.64/560.15 c #Conflicts: 500000 | #Constraints: 26377
558.64/560.15 c #Conflicts: 501000 | #Constraints: 27377
558.64/560.15 c #Conflicts: 502000 | #Constraints: 28377
558.64/560.15 c INPROCESSING
558.64/560.15 c GARBAGE COLLECT
558.64/560.15 c #Conflicts: 503000 | #Constraints: 15378
558.64/560.15 c #Conflicts: 504000 | #Constraints: 16378
558.64/560.15 c #Conflicts: 505000 | #Constraints: 17378
558.64/560.15 c #Conflicts: 506000 | #Constraints: 18378
558.64/560.15 c #Conflicts: 507000 | #Constraints: 19378
558.64/560.15 c #Conflicts: 508000 | #Constraints: 20378
558.64/560.15 c #Conflicts: 509000 | #Constraints: 21378
558.64/560.15 c #Conflicts: 510000 | #Constraints: 22378
558.64/560.15 c #Conflicts: 511000 | #Constraints: 23378
701.57/703.47 c #Conflicts: 512000 | #Constraints: 24378
701.57/703.47 c #Conflicts: 513000 | #Constraints: 25378
701.57/703.47 c #Conflicts: 514000 | #Constraints: 26378
701.57/703.47 c #Conflicts: 515000 | #Constraints: 27378
701.57/703.47 c #Conflicts: 516000 | #Constraints: 28378
701.57/703.47 c INPROCESSING
701.57/703.47 c GARBAGE COLLECT
701.57/703.47 c #Conflicts: 517000 | #Constraints: 15176
701.57/703.47 c #Conflicts: 518000 | #Constraints: 16176
701.57/703.47 c #Conflicts: 519000 | #Constraints: 17176
701.57/703.47 c #Conflicts: 520000 | #Constraints: 18176
701.57/703.47 c #Conflicts: 521000 | #Constraints: 19176
701.57/703.47 c #Conflicts: 522000 | #Constraints: 20176
701.57/703.47 c #Conflicts: 523000 | #Constraints: 21176
701.57/703.47 c #Conflicts: 524000 | #Constraints: 22176
701.57/703.47 c #Conflicts: 525000 | #Constraints: 23176
701.57/703.47 c #Conflicts: 526000 | #Constraints: 24176
701.57/703.47 c #Conflicts: 527000 | #Constraints: 25176
701.57/703.47 c #Conflicts: 528000 | #Constraints: 26176
701.57/703.47 c #Conflicts: 529000 | #Constraints: 27176
701.57/703.47 c #Conflicts: 530000 | #Constraints: 28176
701.57/703.47 c #Conflicts: 531000 | #Constraints: 29176
701.57/703.47 c INPROCESSING
701.57/703.47 c GARBAGE COLLECT
701.57/703.47 c #Conflicts: 532000 | #Constraints: 15773
701.57/703.47 c #Conflicts: 533000 | #Constraints: 16773
701.57/703.47 c #Conflicts: 534000 | #Constraints: 17773
701.57/703.47 c #Conflicts: 535000 | #Constraints: 18773
701.57/703.47 c #Conflicts: 536000 | #Constraints: 19773
701.57/703.47 c #Conflicts: 537000 | #Constraints: 20773
701.57/703.47 c #Conflicts: 538000 | #Constraints: 21773
701.57/703.47 c #Conflicts: 539000 | #Constraints: 22773
701.57/703.47 c #Conflicts: 540000 | #Constraints: 23773
701.57/703.47 c #Conflicts: 541000 | #Constraints: 24773
701.57/703.47 c #Conflicts: 542000 | #Constraints: 25773
701.57/703.47 c #Conflicts: 543000 | #Constraints: 26773
701.57/703.47 c #Conflicts: 544000 | #Constraints: 27773
701.57/703.47 c #Conflicts: 545000 | #Constraints: 28773
701.57/703.47 c #Conflicts: 546000 | #Constraints: 29773
701.57/703.47 c INPROCESSING
701.57/703.47 c GARBAGE COLLECT
701.57/703.47 c #Conflicts: 547000 | #Constraints: 16168
701.57/703.47 c #Conflicts: 548000 | #Constraints: 17168
701.57/703.47 c #Conflicts: 549000 | #Constraints: 18168
701.57/703.47 c #Conflicts: 550000 | #Constraints: 19168
701.57/703.47 c #Conflicts: 551000 | #Constraints: 20168
701.57/703.47 c #Conflicts: 552000 | #Constraints: 21168
701.57/703.47 c #Conflicts: 553000 | #Constraints: 22168
701.57/703.47 c #Conflicts: 554000 | #Constraints: 23168
701.57/703.47 c #Conflicts: 555000 | #Constraints: 24168
701.57/703.47 c #Conflicts: 556000 | #Constraints: 25168
701.57/703.47 c #Conflicts: 557000 | #Constraints: 26168
701.57/703.47 c #Conflicts: 558000 | #Constraints: 27168
701.57/703.47 c #Conflicts: 559000 | #Constraints: 28168
701.57/703.47 c #Conflicts: 560000 | #Constraints: 29168
701.57/703.47 c #Conflicts: 561000 | #Constraints: 30168
701.57/703.47 c INPROCESSING
701.57/703.47 c GARBAGE COLLECT
701.57/703.47 c #Conflicts: 562000 | #Constraints: 16372
701.57/703.47 c #Conflicts: 563000 | #Constraints: 17372
701.57/703.47 c #Conflicts: 564000 | #Constraints: 18372
701.57/703.47 c #Conflicts: 565000 | #Constraints: 19372
701.57/703.47 c #Conflicts: 566000 | #Constraints: 20372
701.57/703.47 c #Conflicts: 567000 | #Constraints: 21372
701.57/703.47 c #Conflicts: 568000 | #Constraints: 22372
701.57/703.47 c #Conflicts: 569000 | #Constraints: 23372
701.57/703.47 c #Conflicts: 570000 | #Constraints: 24372
701.57/703.47 c #Conflicts: 571000 | #Constraints: 25372
701.57/703.47 c #Conflicts: 572000 | #Constraints: 26372
701.57/703.47 c #Conflicts: 573000 | #Constraints: 27372
701.57/703.47 c #Conflicts: 574000 | #Constraints: 28372
701.57/703.47 c #Conflicts: 575000 | #Constraints: 29372
701.57/703.47 c #Conflicts: 576000 | #Constraints: 30372
701.57/703.47 c INPROCESSING
701.57/703.47 c GARBAGE COLLECT
701.57/703.47 c #Conflicts: 577000 | #Constraints: 16385
701.57/703.47 c #Conflicts: 578000 | #Constraints: 17385
701.57/703.47 c #Conflicts: 579000 | #Constraints: 18385
701.57/703.47 c #Conflicts: 580000 | #Constraints: 19385
701.57/703.47 c #Conflicts: 581000 | #Constraints: 20385
701.57/703.47 c #Conflicts: 582000 | #Constraints: 21385
701.57/703.47 c #Conflicts: 583000 | #Constraints: 22385
701.57/703.47 c #Conflicts: 584000 | #Constraints: 23385
701.57/703.47 c #Conflicts: 585000 | #Constraints: 24385
701.57/703.47 c #Conflicts: 586000 | #Constraints: 25385
878.03/880.39 c #Conflicts: 587000 | #Constraints: 26385
878.03/880.39 c #Conflicts: 588000 | #Constraints: 27385
878.03/880.39 c #Conflicts: 589000 | #Constraints: 28385
878.03/880.39 c #Conflicts: 590000 | #Constraints: 29385
878.03/880.39 c #Conflicts: 591000 | #Constraints: 30385
878.03/880.39 c INPROCESSING
878.03/880.39 c GARBAGE COLLECT
878.03/880.39 c #Conflicts: 592000 | #Constraints: 16188
878.03/880.39 c #Conflicts: 593000 | #Constraints: 17188
878.03/880.39 c #Conflicts: 594000 | #Constraints: 18188
878.03/880.39 c #Conflicts: 595000 | #Constraints: 19188
878.03/880.39 c #Conflicts: 596000 | #Constraints: 20188
878.03/880.39 c #Conflicts: 597000 | #Constraints: 21188
878.03/880.39 c #Conflicts: 598000 | #Constraints: 22188
878.03/880.39 c #Conflicts: 599000 | #Constraints: 23188
878.03/880.39 c #Conflicts: 600000 | #Constraints: 24188
878.03/880.39 c #Conflicts: 601000 | #Constraints: 25188
878.03/880.39 c #Conflicts: 602000 | #Constraints: 26188
878.03/880.39 c #Conflicts: 603000 | #Constraints: 27188
878.03/880.39 c #Conflicts: 604000 | #Constraints: 28188
878.03/880.39 c #Conflicts: 605000 | #Constraints: 29188
878.03/880.39 c #Conflicts: 606000 | #Constraints: 30188
878.03/880.39 c #Conflicts: 607000 | #Constraints: 31188
878.03/880.39 c INPROCESSING
878.03/880.39 c GARBAGE COLLECT
878.03/880.39 c #Conflicts: 608000 | #Constraints: 16783
878.03/880.39 c #Conflicts: 609000 | #Constraints: 17783
878.03/880.39 c #Conflicts: 610000 | #Constraints: 18783
878.03/880.39 c #Conflicts: 611000 | #Constraints: 19783
878.03/880.39 c #Conflicts: 612000 | #Constraints: 20783
878.03/880.39 c #Conflicts: 613000 | #Constraints: 21783
878.03/880.39 c #Conflicts: 614000 | #Constraints: 22783
878.03/880.39 c #Conflicts: 615000 | #Constraints: 23783
878.03/880.39 c #Conflicts: 616000 | #Constraints: 24783
878.03/880.39 c #Conflicts: 617000 | #Constraints: 25783
878.03/880.39 c #Conflicts: 618000 | #Constraints: 26783
878.03/880.39 c #Conflicts: 619000 | #Constraints: 27783
878.03/880.39 c #Conflicts: 620000 | #Constraints: 28783
878.03/880.39 c #Conflicts: 621000 | #Constraints: 29783
878.03/880.39 c #Conflicts: 622000 | #Constraints: 30783
878.03/880.39 c #Conflicts: 623000 | #Constraints: 31783
878.03/880.39 c INPROCESSING
878.03/880.39 c GARBAGE COLLECT
878.03/880.39 c #Conflicts: 624000 | #Constraints: 17178
878.03/880.39 c #Conflicts: 625000 | #Constraints: 18178
878.03/880.39 c #Conflicts: 626000 | #Constraints: 19178
878.03/880.39 c #Conflicts: 627000 | #Constraints: 20178
878.03/880.39 c #Conflicts: 628000 | #Constraints: 21178
878.03/880.39 c #Conflicts: 629000 | #Constraints: 22178
878.03/880.39 c #Conflicts: 630000 | #Constraints: 23178
878.03/880.39 c #Conflicts: 631000 | #Constraints: 24178
878.03/880.39 c #Conflicts: 632000 | #Constraints: 25178
878.03/880.39 c #Conflicts: 633000 | #Constraints: 26178
878.03/880.39 c #Conflicts: 634000 | #Constraints: 27178
878.03/880.39 c #Conflicts: 635000 | #Constraints: 28178
878.03/880.39 c #Conflicts: 636000 | #Constraints: 29178
878.03/880.39 c #Conflicts: 637000 | #Constraints: 30178
878.03/880.39 c #Conflicts: 638000 | #Constraints: 31178
878.03/880.39 c #Conflicts: 639000 | #Constraints: 32178
878.03/880.39 c INPROCESSING
878.03/880.39 c GARBAGE COLLECT
878.03/880.39 c #Conflicts: 640000 | #Constraints: 17384
878.03/880.39 c #Conflicts: 641000 | #Constraints: 18384
878.03/880.39 c #Conflicts: 642000 | #Constraints: 19384
878.03/880.39 c #Conflicts: 643000 | #Constraints: 20384
878.03/880.39 c #Conflicts: 644000 | #Constraints: 21384
878.03/880.39 c #Conflicts: 645000 | #Constraints: 22384
878.03/880.39 c #Conflicts: 646000 | #Constraints: 23384
878.03/880.39 c #Conflicts: 647000 | #Constraints: 24384
878.03/880.39 c #Conflicts: 648000 | #Constraints: 25384
878.03/880.39 c #Conflicts: 649000 | #Constraints: 26384
878.03/880.39 c #Conflicts: 650000 | #Constraints: 27384
878.03/880.39 c #Conflicts: 651000 | #Constraints: 28384
878.03/880.39 c #Conflicts: 652000 | #Constraints: 29384
878.03/880.39 c #Conflicts: 653000 | #Constraints: 30384
878.03/880.39 c #Conflicts: 654000 | #Constraints: 31384
878.03/880.39 c #Conflicts: 655000 | #Constraints: 32384
878.03/880.39 c INPROCESSING
878.03/880.39 c GARBAGE COLLECT
878.03/880.39 c #Conflicts: 656000 | #Constraints: 17378
878.03/880.39 c #Conflicts: 657000 | #Constraints: 18378
878.03/880.39 c #Conflicts: 658000 | #Constraints: 19378
878.03/880.39 c #Conflicts: 659000 | #Constraints: 20378
878.03/880.39 c #Conflicts: 660000 | #Constraints: 21378
878.03/880.39 c #Conflicts: 661000 | #Constraints: 22378
878.03/880.39 c #Conflicts: 662000 | #Constraints: 23378
1079.82/1082.69 c #Conflicts: 663000 | #Constraints: 24378
1079.82/1082.69 c #Conflicts: 664000 | #Constraints: 25378
1079.82/1082.69 c #Conflicts: 665000 | #Constraints: 26378
1079.82/1082.69 c #Conflicts: 666000 | #Constraints: 27378
1079.82/1082.69 c #Conflicts: 667000 | #Constraints: 28378
1079.82/1082.69 c #Conflicts: 668000 | #Constraints: 29378
1079.82/1082.69 c #Conflicts: 669000 | #Constraints: 30378
1079.82/1082.69 c #Conflicts: 670000 | #Constraints: 31378
1079.82/1082.69 c #Conflicts: 671000 | #Constraints: 32378
1079.82/1082.69 c INPROCESSING
1079.82/1082.69 c GARBAGE COLLECT
1079.82/1082.69 c #Conflicts: 672000 | #Constraints: 17177
1079.82/1082.69 c #Conflicts: 673000 | #Constraints: 18177
1079.82/1082.69 c #Conflicts: 674000 | #Constraints: 19177
1079.82/1082.69 c #Conflicts: 675000 | #Constraints: 20177
1079.82/1082.69 c #Conflicts: 676000 | #Constraints: 21177
1079.82/1082.69 c #Conflicts: 677000 | #Constraints: 22177
1079.82/1082.69 c #Conflicts: 678000 | #Constraints: 23177
1079.82/1082.69 c #Conflicts: 679000 | #Constraints: 24177
1079.82/1082.69 c #Conflicts: 680000 | #Constraints: 25177
1079.82/1082.69 c #Conflicts: 681000 | #Constraints: 26177
1079.82/1082.69 c #Conflicts: 682000 | #Constraints: 27177
1079.82/1082.69 c #Conflicts: 683000 | #Constraints: 28177
1079.82/1082.69 c #Conflicts: 684000 | #Constraints: 29177
1079.82/1082.69 c #Conflicts: 685000 | #Constraints: 30177
1079.82/1082.69 c #Conflicts: 686000 | #Constraints: 31177
1079.82/1082.69 c #Conflicts: 687000 | #Constraints: 32177
1079.82/1082.69 c #Conflicts: 688000 | #Constraints: 33177
1079.82/1082.69 c INPROCESSING
1079.82/1082.69 c GARBAGE COLLECT
1079.82/1082.69 c #Conflicts: 689000 | #Constraints: 17780
1079.82/1082.69 c #Conflicts: 690000 | #Constraints: 18780
1079.82/1082.69 c #Conflicts: 691000 | #Constraints: 19780
1079.82/1082.69 c #Conflicts: 692000 | #Constraints: 20780
1079.82/1082.69 c #Conflicts: 693000 | #Constraints: 21780
1079.82/1082.69 c #Conflicts: 694000 | #Constraints: 22780
1079.82/1082.69 c #Conflicts: 695000 | #Constraints: 23780
1079.82/1082.69 c #Conflicts: 696000 | #Constraints: 24780
1079.82/1082.69 c #Conflicts: 697000 | #Constraints: 25780
1079.82/1082.69 c #Conflicts: 698000 | #Constraints: 26780
1079.82/1082.69 c #Conflicts: 699000 | #Constraints: 27780
1079.82/1082.69 c #Conflicts: 700000 | #Constraints: 28780
1079.82/1082.69 c #Conflicts: 701000 | #Constraints: 29780
1079.82/1082.69 c #Conflicts: 702000 | #Constraints: 30780
1079.82/1082.69 c #Conflicts: 703000 | #Constraints: 31780
1079.82/1082.69 c #Conflicts: 704000 | #Constraints: 32780
1079.82/1082.69 c #Conflicts: 705000 | #Constraints: 33780
1079.82/1082.69 c INPROCESSING
1079.82/1082.69 c GARBAGE COLLECT
1079.82/1082.69 c #Conflicts: 706000 | #Constraints: 18179
1079.82/1082.69 c #Conflicts: 707000 | #Constraints: 19179
1079.82/1082.69 c #Conflicts: 708000 | #Constraints: 20179
1079.82/1082.69 c #Conflicts: 709000 | #Constraints: 21179
1079.82/1082.69 c #Conflicts: 710000 | #Constraints: 22179
1079.82/1082.69 c #Conflicts: 711000 | #Constraints: 23179
1079.82/1082.69 c #Conflicts: 712000 | #Constraints: 24179
1079.82/1082.69 c #Conflicts: 713000 | #Constraints: 25179
1079.82/1082.69 c #Conflicts: 714000 | #Constraints: 26179
1079.82/1082.69 c #Conflicts: 715000 | #Constraints: 27179
1079.82/1082.69 c #Conflicts: 716000 | #Constraints: 28179
1079.82/1082.69 c #Conflicts: 717000 | #Constraints: 29179
1079.82/1082.69 c #Conflicts: 718000 | #Constraints: 30179
1079.82/1082.69 c #Conflicts: 719000 | #Constraints: 31179
1079.82/1082.69 c #Conflicts: 720000 | #Constraints: 32179
1079.82/1082.69 c #Conflicts: 721000 | #Constraints: 33179
1079.82/1082.69 c #Conflicts: 722000 | #Constraints: 34179
1079.82/1082.69 c INPROCESSING
1079.82/1082.69 c GARBAGE COLLECT
1079.82/1082.69 c #Conflicts: 723000 | #Constraints: 18381
1079.82/1082.69 c #Conflicts: 724000 | #Constraints: 19381
1079.82/1082.69 c #Conflicts: 725000 | #Constraints: 20381
1079.82/1082.69 c #Conflicts: 726000 | #Constraints: 21381
1079.82/1082.69 c #Conflicts: 727000 | #Constraints: 22381
1079.82/1082.69 c #Conflicts: 728000 | #Constraints: 23381
1079.82/1082.69 c #Conflicts: 729000 | #Constraints: 24381
1079.82/1082.69 c #Conflicts: 730000 | #Constraints: 25381
1079.82/1082.69 c #Conflicts: 731000 | #Constraints: 26381
1079.82/1082.69 c #Conflicts: 732000 | #Constraints: 27381
1079.82/1082.69 c #Conflicts: 733000 | #Constraints: 28381
1079.82/1082.69 c #Conflicts: 734000 | #Constraints: 29381
1079.82/1082.69 c #Conflicts: 735000 | #Constraints: 30381
1079.82/1082.69 c #Conflicts: 736000 | #Constraints: 31381
1079.82/1082.69 c #Conflicts: 737000 | #Constraints: 32381
1079.82/1082.69 c #Conflicts: 738000 | #Constraints: 33381
1332.46/1335.95 c #Conflicts: 739000 | #Constraints: 34381
1332.46/1335.95 c INPROCESSING
1332.46/1335.95 c GARBAGE COLLECT
1332.46/1335.95 c #Conflicts: 740000 | #Constraints: 18386
1332.46/1335.95 c #Conflicts: 741000 | #Constraints: 19386
1332.46/1335.95 c #Conflicts: 742000 | #Constraints: 20386
1332.46/1335.95 c #Conflicts: 743000 | #Constraints: 21386
1332.46/1335.95 c #Conflicts: 744000 | #Constraints: 22386
1332.46/1335.95 c #Conflicts: 745000 | #Constraints: 23386
1332.46/1335.95 c #Conflicts: 746000 | #Constraints: 24386
1332.46/1335.95 c #Conflicts: 747000 | #Constraints: 25386
1332.46/1335.95 c #Conflicts: 748000 | #Constraints: 26386
1332.46/1335.95 c #Conflicts: 749000 | #Constraints: 27386
1332.46/1335.95 c #Conflicts: 750000 | #Constraints: 28386
1332.46/1335.95 c #Conflicts: 751000 | #Constraints: 29386
1332.46/1335.95 c #Conflicts: 752000 | #Constraints: 30386
1332.46/1335.95 c #Conflicts: 753000 | #Constraints: 31386
1332.46/1335.95 c #Conflicts: 754000 | #Constraints: 32386
1332.46/1335.95 c #Conflicts: 755000 | #Constraints: 33386
1332.46/1335.95 c #Conflicts: 756000 | #Constraints: 34386
1332.46/1335.95 c INPROCESSING
1332.46/1335.95 c GARBAGE COLLECT
1332.46/1335.95 c #Conflicts: 757000 | #Constraints: 18184
1332.46/1335.95 c #Conflicts: 758000 | #Constraints: 19184
1332.46/1335.95 c #Conflicts: 759000 | #Constraints: 20184
1332.46/1335.95 c #Conflicts: 760000 | #Constraints: 21184
1332.46/1335.95 c #Conflicts: 761000 | #Constraints: 22184
1332.46/1335.95 c #Conflicts: 762000 | #Constraints: 23184
1332.46/1335.95 c #Conflicts: 763000 | #Constraints: 24184
1332.46/1335.95 c #Conflicts: 764000 | #Constraints: 25184
1332.46/1335.95 c #Conflicts: 765000 | #Constraints: 26184
1332.46/1335.95 c #Conflicts: 766000 | #Constraints: 27184
1332.46/1335.95 c #Conflicts: 767000 | #Constraints: 28184
1332.46/1335.95 c #Conflicts: 768000 | #Constraints: 29184
1332.46/1335.95 c #Conflicts: 769000 | #Constraints: 30184
1332.46/1335.95 c #Conflicts: 770000 | #Constraints: 31184
1332.46/1335.95 c #Conflicts: 771000 | #Constraints: 32184
1332.46/1335.95 c #Conflicts: 772000 | #Constraints: 33184
1332.46/1335.95 c #Conflicts: 773000 | #Constraints: 34184
1332.46/1335.95 c #Conflicts: 774000 | #Constraints: 35184
1332.46/1335.95 c INPROCESSING
1332.46/1335.95 c GARBAGE COLLECT
1332.46/1335.95 c #Conflicts: 775000 | #Constraints: 18780
1332.46/1335.95 c #Conflicts: 776000 | #Constraints: 19780
1332.46/1335.95 c #Conflicts: 777000 | #Constraints: 20780
1332.46/1335.95 c #Conflicts: 778000 | #Constraints: 21780
1332.46/1335.95 c #Conflicts: 779000 | #Constraints: 22780
1332.46/1335.95 c #Conflicts: 780000 | #Constraints: 23780
1332.46/1335.95 c #Conflicts: 781000 | #Constraints: 24780
1332.46/1335.95 c #Conflicts: 782000 | #Constraints: 25780
1332.46/1335.95 c #Conflicts: 783000 | #Constraints: 26780
1332.46/1335.95 c #Conflicts: 784000 | #Constraints: 27780
1332.46/1335.95 c #Conflicts: 785000 | #Constraints: 28780
1332.46/1335.95 c #Conflicts: 786000 | #Constraints: 29780
1332.46/1335.95 c #Conflicts: 787000 | #Constraints: 30780
1332.46/1335.95 c #Conflicts: 788000 | #Constraints: 31780
1332.46/1335.95 c #Conflicts: 789000 | #Constraints: 32780
1332.46/1335.95 c #Conflicts: 790000 | #Constraints: 33780
1332.46/1335.95 c #Conflicts: 791000 | #Constraints: 34780
1332.46/1335.95 c #Conflicts: 792000 | #Constraints: 35780
1332.46/1335.95 c INPROCESSING
1332.46/1335.95 c GARBAGE COLLECT
1332.46/1335.95 c #Conflicts: 793000 | #Constraints: 19176
1332.46/1335.95 c #Conflicts: 794000 | #Constraints: 20176
1332.46/1335.95 c #Conflicts: 795000 | #Constraints: 21176
1332.46/1335.95 c #Conflicts: 796000 | #Constraints: 22176
1332.46/1335.95 c #Conflicts: 797000 | #Constraints: 23176
1332.46/1335.95 c #Conflicts: 798000 | #Constraints: 24176
1332.46/1335.95 c #Conflicts: 799000 | #Constraints: 25176
1332.46/1335.95 c #Conflicts: 800000 | #Constraints: 26176
1332.46/1335.95 c #Conflicts: 801000 | #Constraints: 27176
1332.46/1335.95 c #Conflicts: 802000 | #Constraints: 28176
1332.46/1335.95 c #Conflicts: 803000 | #Constraints: 29176
1332.46/1335.95 c #Conflicts: 804000 | #Constraints: 30176
1332.46/1335.95 c #Conflicts: 805000 | #Constraints: 31176
1332.46/1335.95 c #Conflicts: 806000 | #Constraints: 32176
1332.46/1335.95 c #Conflicts: 807000 | #Constraints: 33176
1332.46/1335.95 c #Conflicts: 808000 | #Constraints: 34176
1332.46/1335.95 c #Conflicts: 809000 | #Constraints: 35176
1332.46/1335.95 c #Conflicts: 810000 | #Constraints: 36176
1332.46/1335.95 c INPROCESSING
1332.46/1335.95 c GARBAGE COLLECT
1332.46/1335.95 c #Conflicts: 811000 | #Constraints: 19378
1332.46/1335.95 c #Conflicts: 812000 | #Constraints: 20378
1332.46/1335.95 c #Conflicts: 813000 | #Constraints: 21378
1332.46/1335.95 c #Conflicts: 814000 | #Constraints: 22378
1529.90/1533.93 c #Conflicts: 815000 | #Constraints: 23378
1529.90/1533.93 c #Conflicts: 816000 | #Constraints: 24378
1529.90/1533.93 c #Conflicts: 817000 | #Constraints: 25378
1529.90/1533.93 c #Conflicts: 818000 | #Constraints: 26378
1529.90/1533.93 c #Conflicts: 819000 | #Constraints: 27378
1529.90/1533.93 c #Conflicts: 820000 | #Constraints: 28378
1529.90/1533.93 c #Conflicts: 821000 | #Constraints: 29378
1529.90/1533.93 c #Conflicts: 822000 | #Constraints: 30378
1529.90/1533.93 c #Conflicts: 823000 | #Constraints: 31378
1529.90/1533.93 c #Conflicts: 824000 | #Constraints: 32378
1529.90/1533.93 c #Conflicts: 825000 | #Constraints: 33378
1529.90/1533.93 c #Conflicts: 826000 | #Constraints: 34378
1529.90/1533.93 c #Conflicts: 827000 | #Constraints: 35378
1529.90/1533.93 c #Conflicts: 828000 | #Constraints: 36378
1529.90/1533.93 c INPROCESSING
1529.90/1533.93 c GARBAGE COLLECT
1529.90/1533.93 c #Conflicts: 829000 | #Constraints: 19373
1529.90/1533.93 c #Conflicts: 830000 | #Constraints: 20373
1529.90/1533.93 c #Conflicts: 831000 | #Constraints: 21373
1529.90/1533.93 c #Conflicts: 832000 | #Constraints: 22373
1529.90/1533.93 c #Conflicts: 833000 | #Constraints: 23373
1529.90/1533.93 c #Conflicts: 834000 | #Constraints: 24373
1529.90/1533.93 c #Conflicts: 835000 | #Constraints: 25373
1529.90/1533.93 c #Conflicts: 836000 | #Constraints: 26373
1529.90/1533.93 c #Conflicts: 837000 | #Constraints: 27373
1529.90/1533.93 c #Conflicts: 838000 | #Constraints: 28373
1529.90/1533.93 c #Conflicts: 839000 | #Constraints: 29373
1529.90/1533.93 c #Conflicts: 840000 | #Constraints: 30373
1529.90/1533.93 c #Conflicts: 841000 | #Constraints: 31373
1529.90/1533.93 c #Conflicts: 842000 | #Constraints: 32373
1529.90/1533.93 c #Conflicts: 843000 | #Constraints: 33373
1529.90/1533.93 c #Conflicts: 844000 | #Constraints: 34373
1529.90/1533.93 c #Conflicts: 845000 | #Constraints: 35373
1529.90/1533.93 c #Conflicts: 846000 | #Constraints: 36373
1529.90/1533.93 c INPROCESSING
1529.90/1533.93 c GARBAGE COLLECT
1529.90/1533.93 c #Conflicts: 847000 | #Constraints: 19177
1529.90/1533.93 c #Conflicts: 848000 | #Constraints: 20177
1529.90/1533.93 c #Conflicts: 849000 | #Constraints: 21177
1529.90/1533.93 c #Conflicts: 850000 | #Constraints: 22177
1529.90/1533.93 c #Conflicts: 851000 | #Constraints: 23177
1529.90/1533.93 c #Conflicts: 852000 | #Constraints: 24177
1529.90/1533.93 c #Conflicts: 853000 | #Constraints: 25177
1529.90/1533.93 c #Conflicts: 854000 | #Constraints: 26177
1529.90/1533.93 c #Conflicts: 855000 | #Constraints: 27177
1529.90/1533.93 c #Conflicts: 856000 | #Constraints: 28177
1529.90/1533.93 c #Conflicts: 857000 | #Constraints: 29177
1529.90/1533.93 c #Conflicts: 858000 | #Constraints: 30177
1529.90/1533.93 c #Conflicts: 859000 | #Constraints: 31177
1529.90/1533.93 c #Conflicts: 860000 | #Constraints: 32177
1529.90/1533.93 c #Conflicts: 861000 | #Constraints: 33177
1529.90/1533.93 c #Conflicts: 862000 | #Constraints: 34177
1529.90/1533.93 c #Conflicts: 863000 | #Constraints: 35177
1529.90/1533.93 c #Conflicts: 864000 | #Constraints: 36177
1529.90/1533.93 c #Conflicts: 865000 | #Constraints: 37177
1529.90/1533.93 c INPROCESSING
1529.90/1533.93 c GARBAGE COLLECT
1529.90/1533.93 c #Conflicts: 866000 | #Constraints: 19777
1529.90/1533.93 c #Conflicts: 867000 | #Constraints: 20777
1529.90/1533.93 c #Conflicts: 868000 | #Constraints: 21777
1529.90/1533.93 c #Conflicts: 869000 | #Constraints: 22777
1529.90/1533.93 c #Conflicts: 870000 | #Constraints: 23777
1529.90/1533.93 c #Conflicts: 871000 | #Constraints: 24777
1529.90/1533.93 c #Conflicts: 872000 | #Constraints: 25777
1529.90/1533.93 c #Conflicts: 873000 | #Constraints: 26777
1529.90/1533.93 c #Conflicts: 874000 | #Constraints: 27777
1529.90/1533.93 c #Conflicts: 875000 | #Constraints: 28777
1529.90/1533.93 c #Conflicts: 876000 | #Constraints: 29777
1529.90/1533.93 c #Conflicts: 877000 | #Constraints: 30777
1529.90/1533.93 c #Conflicts: 878000 | #Constraints: 31777
1529.90/1533.93 c #Conflicts: 879000 | #Constraints: 32777
1529.90/1533.93 c #Conflicts: 880000 | #Constraints: 33777
1529.90/1533.93 c #Conflicts: 881000 | #Constraints: 34777
1529.90/1533.93 c #Conflicts: 882000 | #Constraints: 35777
1529.90/1533.93 c #Conflicts: 883000 | #Constraints: 36777
1529.90/1533.93 c #Conflicts: 884000 | #Constraints: 37777
1529.90/1533.93 c INPROCESSING
1529.90/1533.93 c GARBAGE COLLECT
1529.90/1533.93 c #Conflicts: 885000 | #Constraints: 20182
1529.90/1533.93 c #Conflicts: 886000 | #Constraints: 21182
1529.90/1533.93 c #Conflicts: 887000 | #Constraints: 22182
1529.90/1533.93 c #Conflicts: 888000 | #Constraints: 23182
1529.90/1533.93 c #Conflicts: 889000 | #Constraints: 24182
1529.90/1533.93 c #Conflicts: 890000 | #Constraints: 25182
1733.28/1737.85 c #Conflicts: 891000 | #Constraints: 26182
1733.28/1737.85 c #Conflicts: 892000 | #Constraints: 27182
1733.28/1737.85 c #Conflicts: 893000 | #Constraints: 28182
1733.28/1737.85 c #Conflicts: 894000 | #Constraints: 29182
1733.28/1737.85 c #Conflicts: 895000 | #Constraints: 30182
1733.28/1737.85 c #Conflicts: 896000 | #Constraints: 31182
1733.28/1737.85 c #Conflicts: 897000 | #Constraints: 32182
1733.28/1737.85 c #Conflicts: 898000 | #Constraints: 33182
1733.28/1737.85 c #Conflicts: 899000 | #Constraints: 34182
1733.28/1737.85 c #Conflicts: 900000 | #Constraints: 35182
1733.28/1737.85 c #Conflicts: 901000 | #Constraints: 36182
1733.28/1737.85 c #Conflicts: 902000 | #Constraints: 37182
1733.28/1737.85 c #Conflicts: 903000 | #Constraints: 38182
1733.28/1737.85 c INPROCESSING
1733.28/1737.85 c GARBAGE COLLECT
1733.28/1737.85 c #Conflicts: 904000 | #Constraints: 20382
1733.28/1737.85 c #Conflicts: 905000 | #Constraints: 21382
1733.28/1737.85 c #Conflicts: 906000 | #Constraints: 22382
1733.28/1737.85 c #Conflicts: 907000 | #Constraints: 23382
1733.28/1737.85 c #Conflicts: 908000 | #Constraints: 24382
1733.28/1737.85 c #Conflicts: 909000 | #Constraints: 25382
1733.28/1737.85 c #Conflicts: 910000 | #Constraints: 26382
1733.28/1737.85 c #Conflicts: 911000 | #Constraints: 27382
1733.28/1737.85 c #Conflicts: 912000 | #Constraints: 28382
1733.28/1737.85 c #Conflicts: 913000 | #Constraints: 29382
1733.28/1737.85 c #Conflicts: 914000 | #Constraints: 30382
1733.28/1737.85 c #Conflicts: 915000 | #Constraints: 31382
1733.28/1737.85 c #Conflicts: 916000 | #Constraints: 32382
1733.28/1737.85 c #Conflicts: 917000 | #Constraints: 33382
1733.28/1737.85 c #Conflicts: 918000 | #Constraints: 34382
1733.28/1737.85 c #Conflicts: 919000 | #Constraints: 35382
1733.28/1737.85 c #Conflicts: 920000 | #Constraints: 36382
1733.28/1737.85 c #Conflicts: 921000 | #Constraints: 37382
1733.28/1737.85 c #Conflicts: 922000 | #Constraints: 38382
1733.28/1737.85 c INPROCESSING
1733.28/1737.85 c GARBAGE COLLECT
1733.28/1737.85 c #Conflicts: 923000 | #Constraints: 20381
1733.28/1737.85 c #Conflicts: 924000 | #Constraints: 21381
1733.28/1737.85 c #Conflicts: 925000 | #Constraints: 22381
1733.28/1737.85 c #Conflicts: 926000 | #Constraints: 23381
1733.28/1737.85 c #Conflicts: 927000 | #Constraints: 24381
1733.28/1737.85 c #Conflicts: 928000 | #Constraints: 25381
1733.28/1737.85 c #Conflicts: 929000 | #Constraints: 26381
1733.28/1737.85 c #Conflicts: 930000 | #Constraints: 27381
1733.28/1737.85 c #Conflicts: 931000 | #Constraints: 28381
1733.28/1737.85 c #Conflicts: 932000 | #Constraints: 29381
1733.28/1737.85 c #Conflicts: 933000 | #Constraints: 30381
1733.28/1737.85 c #Conflicts: 934000 | #Constraints: 31381
1733.28/1737.85 c #Conflicts: 935000 | #Constraints: 32381
1733.28/1737.85 c #Conflicts: 936000 | #Constraints: 33381
1733.28/1737.85 c #Conflicts: 937000 | #Constraints: 34381
1733.28/1737.85 c #Conflicts: 938000 | #Constraints: 35381
1733.28/1737.85 c #Conflicts: 939000 | #Constraints: 36381
1733.28/1737.85 c #Conflicts: 940000 | #Constraints: 37381
1733.28/1737.85 c #Conflicts: 941000 | #Constraints: 38381
1733.28/1737.85 c INPROCESSING
1733.28/1737.85 c GARBAGE COLLECT
1733.28/1737.85 c #Conflicts: 942000 | #Constraints: 20190
1733.28/1737.85 c #Conflicts: 943000 | #Constraints: 21190
1733.28/1737.85 c #Conflicts: 944000 | #Constraints: 22190
1733.28/1737.85 c #Conflicts: 945000 | #Constraints: 23190
1733.28/1737.85 c #Conflicts: 946000 | #Constraints: 24190
1733.28/1737.85 c #Conflicts: 947000 | #Constraints: 25190
1733.28/1737.85 c #Conflicts: 948000 | #Constraints: 26190
1733.28/1737.85 c #Conflicts: 949000 | #Constraints: 27190
1733.28/1737.85 c #Conflicts: 950000 | #Constraints: 28190
1733.28/1737.85 c #Conflicts: 951000 | #Constraints: 29190
1733.28/1737.85 c #Conflicts: 952000 | #Constraints: 30190
1733.28/1737.85 c #Conflicts: 953000 | #Constraints: 31190
1733.28/1737.85 c #Conflicts: 954000 | #Constraints: 32190
1733.28/1737.85 c #Conflicts: 955000 | #Constraints: 33190
1733.28/1737.85 c #Conflicts: 956000 | #Constraints: 34190
1733.28/1737.85 c #Conflicts: 957000 | #Constraints: 35190
1733.28/1737.85 c #Conflicts: 958000 | #Constraints: 36190
1733.28/1737.85 c #Conflicts: 959000 | #Constraints: 37190
1733.28/1737.85 c #Conflicts: 960000 | #Constraints: 38190
1733.28/1737.85 c #Conflicts: 961000 | #Constraints: 39190
1733.28/1737.85 c INPROCESSING
1733.28/1737.85 c GARBAGE COLLECT
1733.28/1737.85 c #Conflicts: 962000 | #Constraints: 20785
1733.28/1737.85 c #Conflicts: 963000 | #Constraints: 21785
1733.28/1737.85 c #Conflicts: 964000 | #Constraints: 22785
1733.28/1737.85 c #Conflicts: 965000 | #Constraints: 23785
1733.28/1737.85 c #Conflicts: 966000 | #Constraints: 24785
1957.51/1962.67 c #Conflicts: 967000 | #Constraints: 25785
1957.51/1962.67 c #Conflicts: 968000 | #Constraints: 26785
1957.51/1962.67 c #Conflicts: 969000 | #Constraints: 27785
1957.51/1962.67 c #Conflicts: 970000 | #Constraints: 28785
1957.51/1962.67 c #Conflicts: 971000 | #Constraints: 29785
1957.51/1962.67 c #Conflicts: 972000 | #Constraints: 30785
1957.51/1962.67 c #Conflicts: 973000 | #Constraints: 31785
1957.51/1962.67 c #Conflicts: 974000 | #Constraints: 32785
1957.51/1962.67 c #Conflicts: 975000 | #Constraints: 33785
1957.51/1962.67 c #Conflicts: 976000 | #Constraints: 34785
1957.51/1962.67 c #Conflicts: 977000 | #Constraints: 35785
1957.51/1962.67 c #Conflicts: 978000 | #Constraints: 36785
1957.51/1962.67 c #Conflicts: 979000 | #Constraints: 37785
1957.51/1962.67 c #Conflicts: 980000 | #Constraints: 38785
1957.51/1962.67 c #Conflicts: 981000 | #Constraints: 39785
1957.51/1962.67 c INPROCESSING
1957.51/1962.67 c GARBAGE COLLECT
1957.51/1962.67 c #Conflicts: 982000 | #Constraints: 21186
1957.51/1962.67 c #Conflicts: 983000 | #Constraints: 22186
1957.51/1962.67 c #Conflicts: 984000 | #Constraints: 23186
1957.51/1962.67 c #Conflicts: 985000 | #Constraints: 24186
1957.51/1962.67 c #Conflicts: 986000 | #Constraints: 25186
1957.51/1962.67 c #Conflicts: 987000 | #Constraints: 26186
1957.51/1962.67 c #Conflicts: 988000 | #Constraints: 27186
1957.51/1962.67 c #Conflicts: 989000 | #Constraints: 28186
1957.51/1962.67 c #Conflicts: 990000 | #Constraints: 29186
1957.51/1962.67 c #Conflicts: 991000 | #Constraints: 30186
1957.51/1962.67 c #Conflicts: 992000 | #Constraints: 31186
1957.51/1962.67 c #Conflicts: 993000 | #Constraints: 32186
1957.51/1962.67 c #Conflicts: 994000 | #Constraints: 33186
1957.51/1962.67 c #Conflicts: 995000 | #Constraints: 34186
1957.51/1962.67 c #Conflicts: 996000 | #Constraints: 35186
1957.51/1962.67 c #Conflicts: 997000 | #Constraints: 36186
1957.51/1962.67 c #Conflicts: 998000 | #Constraints: 37186
1957.51/1962.67 c #Conflicts: 999000 | #Constraints: 38186
1957.51/1962.67 c #Conflicts: 1000000 | #Constraints: 39186
1957.51/1962.67 c #Conflicts: 1001000 | #Constraints: 40186
1957.51/1962.67 c INPROCESSING
1957.51/1962.67 c GARBAGE COLLECT
1957.51/1962.67 c #Conflicts: 1002000 | #Constraints: 21393
1957.51/1962.67 c #Conflicts: 1003000 | #Constraints: 22393
1957.51/1962.67 c #Conflicts: 1004000 | #Constraints: 23393
1957.51/1962.67 c #Conflicts: 1005000 | #Constraints: 24393
1957.51/1962.67 c #Conflicts: 1006000 | #Constraints: 25393
1957.51/1962.67 c #Conflicts: 1007000 | #Constraints: 26393
1957.51/1962.67 c #Conflicts: 1008000 | #Constraints: 27393
1957.51/1962.67 c #Conflicts: 1009000 | #Constraints: 28393
1957.51/1962.67 c #Conflicts: 1010000 | #Constraints: 29393
1957.51/1962.67 c #Conflicts: 1011000 | #Constraints: 30393
1957.51/1962.67 c #Conflicts: 1012000 | #Constraints: 31393
1957.51/1962.67 c #Conflicts: 1013000 | #Constraints: 32393
1957.51/1962.67 c #Conflicts: 1014000 | #Constraints: 33393
1957.51/1962.67 c #Conflicts: 1015000 | #Constraints: 34393
1957.51/1962.67 c #Conflicts: 1016000 | #Constraints: 35393
1957.51/1962.67 c #Conflicts: 1017000 | #Constraints: 36393
1957.51/1962.67 c #Conflicts: 1018000 | #Constraints: 37393
1957.51/1962.67 c #Conflicts: 1019000 | #Constraints: 38393
1957.51/1962.67 c #Conflicts: 1020000 | #Constraints: 39393
1957.51/1962.67 c #Conflicts: 1021000 | #Constraints: 40393
1957.51/1962.67 c INPROCESSING
1957.51/1962.67 c GARBAGE COLLECT
1957.51/1962.67 c #Conflicts: 1022000 | #Constraints: 21394
1957.51/1962.67 c #Conflicts: 1023000 | #Constraints: 22394
1957.51/1962.67 c #Conflicts: 1024000 | #Constraints: 23394
1957.51/1962.67 c #Conflicts: 1025000 | #Constraints: 24394
1957.51/1962.67 c #Conflicts: 1026000 | #Constraints: 25394
1957.51/1962.67 c #Conflicts: 1027000 | #Constraints: 26394
1957.51/1962.67 c #Conflicts: 1028000 | #Constraints: 27394
1957.51/1962.67 c #Conflicts: 1029000 | #Constraints: 28394
1957.51/1962.67 c #Conflicts: 1030000 | #Constraints: 29394
1957.51/1962.67 c #Conflicts: 1031000 | #Constraints: 30394
1957.51/1962.67 c #Conflicts: 1032000 | #Constraints: 31394
1957.51/1962.67 c #Conflicts: 1033000 | #Constraints: 32394
1957.51/1962.67 c #Conflicts: 1034000 | #Constraints: 33394
1957.51/1962.67 c #Conflicts: 1035000 | #Constraints: 34394
1957.51/1962.67 c #Conflicts: 1036000 | #Constraints: 35394
1957.51/1962.67 c #Conflicts: 1037000 | #Constraints: 36394
1957.51/1962.67 c #Conflicts: 1038000 | #Constraints: 37394
1957.51/1962.67 c #Conflicts: 1039000 | #Constraints: 38394
1957.51/1962.67 c #Conflicts: 1040000 | #Constraints: 39394
1957.51/1962.67 c #Conflicts: 1041000 | #Constraints: 40394
1957.51/1962.67 c INPROCESSING
1957.51/1962.67 c GARBAGE COLLECT
1957.51/1962.67 c #Conflicts: 1042000 | #Constraints: 21190
2172.37/2178.02 c #Conflicts: 1043000 | #Constraints: 22190
2172.37/2178.02 c #Conflicts: 1044000 | #Constraints: 23190
2172.37/2178.02 c #Conflicts: 1045000 | #Constraints: 24190
2172.37/2178.02 c #Conflicts: 1046000 | #Constraints: 25190
2172.37/2178.02 c #Conflicts: 1047000 | #Constraints: 26190
2172.37/2178.02 c #Conflicts: 1048000 | #Constraints: 27190
2172.37/2178.02 c #Conflicts: 1049000 | #Constraints: 28190
2172.37/2178.02 c #Conflicts: 1050000 | #Constraints: 29190
2172.37/2178.02 c #Conflicts: 1051000 | #Constraints: 30190
2172.37/2178.02 c #Conflicts: 1052000 | #Constraints: 31190
2172.37/2178.02 c #Conflicts: 1053000 | #Constraints: 32190
2172.37/2178.02 c #Conflicts: 1054000 | #Constraints: 33190
2172.37/2178.02 c #Conflicts: 1055000 | #Constraints: 34190
2172.37/2178.02 c #Conflicts: 1056000 | #Constraints: 35190
2172.37/2178.02 c #Conflicts: 1057000 | #Constraints: 36190
2172.37/2178.02 c #Conflicts: 1058000 | #Constraints: 37190
2172.37/2178.02 c #Conflicts: 1059000 | #Constraints: 38190
2172.37/2178.02 c #Conflicts: 1060000 | #Constraints: 39190
2172.37/2178.02 c #Conflicts: 1061000 | #Constraints: 40190
2172.37/2178.02 c #Conflicts: 1062000 | #Constraints: 41190
2172.37/2178.02 c INPROCESSING
2172.37/2178.02 c GARBAGE COLLECT
2172.37/2178.02 c #Conflicts: 1063000 | #Constraints: 21787
2172.37/2178.02 c #Conflicts: 1064000 | #Constraints: 22787
2172.37/2178.02 c #Conflicts: 1065000 | #Constraints: 23787
2172.37/2178.02 c #Conflicts: 1066000 | #Constraints: 24787
2172.37/2178.02 c #Conflicts: 1067000 | #Constraints: 25787
2172.37/2178.02 c #Conflicts: 1068000 | #Constraints: 26787
2172.37/2178.02 c #Conflicts: 1069000 | #Constraints: 27787
2172.37/2178.02 c #Conflicts: 1070000 | #Constraints: 28787
2172.37/2178.02 c #Conflicts: 1071000 | #Constraints: 29787
2172.37/2178.02 c #Conflicts: 1072000 | #Constraints: 30787
2172.37/2178.02 c #Conflicts: 1073000 | #Constraints: 31787
2172.37/2178.02 c #Conflicts: 1074000 | #Constraints: 32787
2172.37/2178.02 c #Conflicts: 1075000 | #Constraints: 33787
2172.37/2178.02 c #Conflicts: 1076000 | #Constraints: 34787
2172.37/2178.02 c #Conflicts: 1077000 | #Constraints: 35787
2172.37/2178.02 c #Conflicts: 1078000 | #Constraints: 36787
2172.37/2178.02 c #Conflicts: 1079000 | #Constraints: 37787
2172.37/2178.02 c #Conflicts: 1080000 | #Constraints: 38787
2172.37/2178.02 c #Conflicts: 1081000 | #Constraints: 39787
2172.37/2178.02 c #Conflicts: 1082000 | #Constraints: 40787
2172.37/2178.02 c #Conflicts: 1083000 | #Constraints: 41787
2172.37/2178.02 c INPROCESSING
2172.37/2178.02 c GARBAGE COLLECT
2172.37/2178.02 c #Conflicts: 1084000 | #Constraints: 22190
2172.37/2178.02 c #Conflicts: 1085000 | #Constraints: 23190
2172.37/2178.02 c #Conflicts: 1086000 | #Constraints: 24190
2172.37/2178.02 c #Conflicts: 1087000 | #Constraints: 25190
2172.37/2178.02 c #Conflicts: 1088000 | #Constraints: 26190
2172.37/2178.02 c #Conflicts: 1089000 | #Constraints: 27190
2172.37/2178.02 c #Conflicts: 1090000 | #Constraints: 28190
2172.37/2178.02 c #Conflicts: 1091000 | #Constraints: 29190
2172.37/2178.02 c #Conflicts: 1092000 | #Constraints: 30190
2172.37/2178.02 c #Conflicts: 1093000 | #Constraints: 31190
2172.37/2178.02 c #Conflicts: 1094000 | #Constraints: 32190
2172.37/2178.02 c #Conflicts: 1095000 | #Constraints: 33190
2172.37/2178.02 c #Conflicts: 1096000 | #Constraints: 34190
2172.37/2178.02 c #Conflicts: 1097000 | #Constraints: 35190
2172.37/2178.02 c #Conflicts: 1098000 | #Constraints: 36190
2172.37/2178.02 c #Conflicts: 1099000 | #Constraints: 37190
2172.37/2178.02 c #Conflicts: 1100000 | #Constraints: 38190
2172.37/2178.02 c #Conflicts: 1101000 | #Constraints: 39190
2172.37/2178.02 c #Conflicts: 1102000 | #Constraints: 40190
2172.37/2178.02 c #Conflicts: 1103000 | #Constraints: 41190
2172.37/2178.02 c #Conflicts: 1104000 | #Constraints: 42190
2172.37/2178.02 c INPROCESSING
2172.37/2178.02 c GARBAGE COLLECT
2172.37/2178.02 c #Conflicts: 1105000 | #Constraints: 22379
2172.37/2178.02 c #Conflicts: 1106000 | #Constraints: 23379
2172.37/2178.02 c #Conflicts: 1107000 | #Constraints: 24379
2172.37/2178.02 c #Conflicts: 1108000 | #Constraints: 25379
2172.37/2178.02 c #Conflicts: 1109000 | #Constraints: 26379
2172.37/2178.02 c #Conflicts: 1110000 | #Constraints: 27379
2172.37/2178.02 c #Conflicts: 1111000 | #Constraints: 28379
2172.37/2178.02 c #Conflicts: 1112000 | #Constraints: 29379
2172.37/2178.02 c #Conflicts: 1113000 | #Constraints: 30379
2172.37/2178.02 c #Conflicts: 1114000 | #Constraints: 31379
2172.37/2178.02 c #Conflicts: 1115000 | #Constraints: 32379
2172.37/2178.02 c #Conflicts: 1116000 | #Constraints: 33379
2172.37/2178.02 c #Conflicts: 1117000 | #Constraints: 34379
2172.37/2178.02 c #Conflicts: 1118000 | #Constraints: 35379
2172.37/2178.02 c #Conflicts: 1119000 | #Constraints: 36379
2401.58/2407.88 c #Conflicts: 1120000 | #Constraints: 37379
2401.58/2407.88 c #Conflicts: 1121000 | #Constraints: 38379
2401.58/2407.88 c #Conflicts: 1122000 | #Constraints: 39379
2401.58/2407.88 c #Conflicts: 1123000 | #Constraints: 40379
2401.58/2407.88 c #Conflicts: 1124000 | #Constraints: 41379
2401.58/2407.88 c #Conflicts: 1125000 | #Constraints: 42379
2401.58/2407.88 c INPROCESSING
2401.58/2407.88 c GARBAGE COLLECT
2401.58/2407.88 c #Conflicts: 1126000 | #Constraints: 22389
2401.58/2407.88 c #Conflicts: 1127000 | #Constraints: 23389
2401.58/2407.88 c #Conflicts: 1128000 | #Constraints: 24389
2401.58/2407.88 c #Conflicts: 1129000 | #Constraints: 25389
2401.58/2407.88 c #Conflicts: 1130000 | #Constraints: 26389
2401.58/2407.88 c #Conflicts: 1131000 | #Constraints: 27389
2401.58/2407.88 c #Conflicts: 1132000 | #Constraints: 28389
2401.58/2407.88 c #Conflicts: 1133000 | #Constraints: 29389
2401.58/2407.88 c #Conflicts: 1134000 | #Constraints: 30389
2401.58/2407.88 c #Conflicts: 1135000 | #Constraints: 31389
2401.58/2407.88 c #Conflicts: 1136000 | #Constraints: 32389
2401.58/2407.88 c #Conflicts: 1137000 | #Constraints: 33389
2401.58/2407.88 c #Conflicts: 1138000 | #Constraints: 34389
2401.58/2407.88 c #Conflicts: 1139000 | #Constraints: 35389
2401.58/2407.88 c #Conflicts: 1140000 | #Constraints: 36389
2401.58/2407.88 c #Conflicts: 1141000 | #Constraints: 37389
2401.58/2407.88 c #Conflicts: 1142000 | #Constraints: 38389
2401.58/2407.88 c #Conflicts: 1143000 | #Constraints: 39389
2401.58/2407.88 c #Conflicts: 1144000 | #Constraints: 40389
2401.58/2407.88 c #Conflicts: 1145000 | #Constraints: 41389
2401.58/2407.88 c #Conflicts: 1146000 | #Constraints: 42389
2401.58/2407.88 c INPROCESSING
2401.58/2407.88 c GARBAGE COLLECT
2401.58/2407.88 c #Conflicts: 1147000 | #Constraints: 22186
2401.58/2407.88 c #Conflicts: 1148000 | #Constraints: 23186
2401.58/2407.88 c #Conflicts: 1149000 | #Constraints: 24186
2401.58/2407.88 c #Conflicts: 1150000 | #Constraints: 25186
2401.58/2407.88 c #Conflicts: 1151000 | #Constraints: 26186
2401.58/2407.88 c #Conflicts: 1152000 | #Constraints: 27186
2401.58/2407.88 c #Conflicts: 1153000 | #Constraints: 28186
2401.58/2407.88 c #Conflicts: 1154000 | #Constraints: 29186
2401.58/2407.88 c #Conflicts: 1155000 | #Constraints: 30186
2401.58/2407.88 c #Conflicts: 1156000 | #Constraints: 31186
2401.58/2407.88 c #Conflicts: 1157000 | #Constraints: 32186
2401.58/2407.88 c #Conflicts: 1158000 | #Constraints: 33186
2401.58/2407.88 c #Conflicts: 1159000 | #Constraints: 34186
2401.58/2407.88 c #Conflicts: 1160000 | #Constraints: 35186
2401.58/2407.88 c #Conflicts: 1161000 | #Constraints: 36186
2401.58/2407.88 c #Conflicts: 1162000 | #Constraints: 37186
2401.58/2407.88 c #Conflicts: 1163000 | #Constraints: 38186
2401.58/2407.88 c #Conflicts: 1164000 | #Constraints: 39186
2401.58/2407.88 c #Conflicts: 1165000 | #Constraints: 40186
2401.58/2407.88 c #Conflicts: 1166000 | #Constraints: 41186
2401.58/2407.88 c #Conflicts: 1167000 | #Constraints: 42186
2401.58/2407.88 c #Conflicts: 1168000 | #Constraints: 43186
2401.58/2407.88 c INPROCESSING
2401.58/2407.88 c GARBAGE COLLECT
2401.58/2407.88 c #Conflicts: 1169000 | #Constraints: 22783
2401.58/2407.88 c #Conflicts: 1170000 | #Constraints: 23783
2401.58/2407.88 c #Conflicts: 1171000 | #Constraints: 24783
2401.58/2407.88 c #Conflicts: 1172000 | #Constraints: 25783
2401.58/2407.88 c #Conflicts: 1173000 | #Constraints: 26783
2401.58/2407.88 c #Conflicts: 1174000 | #Constraints: 27783
2401.58/2407.88 c #Conflicts: 1175000 | #Constraints: 28783
2401.58/2407.88 c #Conflicts: 1176000 | #Constraints: 29783
2401.58/2407.88 c #Conflicts: 1177000 | #Constraints: 30783
2401.58/2407.88 c #Conflicts: 1178000 | #Constraints: 31783
2401.58/2407.88 c #Conflicts: 1179000 | #Constraints: 32783
2401.58/2407.88 c #Conflicts: 1180000 | #Constraints: 33783
2401.58/2407.88 c #Conflicts: 1181000 | #Constraints: 34783
2401.58/2407.88 c #Conflicts: 1182000 | #Constraints: 35783
2401.58/2407.88 c #Conflicts: 1183000 | #Constraints: 36783
2401.58/2407.88 c #Conflicts: 1184000 | #Constraints: 37783
2401.58/2407.88 c #Conflicts: 1185000 | #Constraints: 38783
2401.58/2407.88 c #Conflicts: 1186000 | #Constraints: 39783
2401.58/2407.88 c #Conflicts: 1187000 | #Constraints: 40783
2401.58/2407.88 c #Conflicts: 1188000 | #Constraints: 41783
2401.58/2407.88 c #Conflicts: 1189000 | #Constraints: 42783
2401.58/2407.88 c #Conflicts: 1190000 | #Constraints: 43783
2401.58/2407.88 c INPROCESSING
2401.58/2407.88 c GARBAGE COLLECT
2401.58/2407.88 c #Conflicts: 1191000 | #Constraints: 23182
2401.58/2407.88 c #Conflicts: 1192000 | #Constraints: 24182
2401.58/2407.88 c #Conflicts: 1193000 | #Constraints: 25182
2401.58/2407.88 c #Conflicts: 1194000 | #Constraints: 26182
2401.58/2407.88 c #Conflicts: 1195000 | #Constraints: 27182
2401.58/2407.88 c #Conflicts: 1196000 | #Constraints: 28182
2639.68/2646.52 c #Conflicts: 1197000 | #Constraints: 29182
2639.68/2646.52 c #Conflicts: 1198000 | #Constraints: 30182
2639.68/2646.52 c #Conflicts: 1199000 | #Constraints: 31182
2639.68/2646.52 c #Conflicts: 1200000 | #Constraints: 32182
2639.68/2646.52 c #Conflicts: 1201000 | #Constraints: 33182
2639.68/2646.52 c #Conflicts: 1202000 | #Constraints: 34182
2639.68/2646.52 c #Conflicts: 1203000 | #Constraints: 35182
2639.68/2646.52 c #Conflicts: 1204000 | #Constraints: 36182
2639.68/2646.52 c #Conflicts: 1205000 | #Constraints: 37182
2639.68/2646.52 c #Conflicts: 1206000 | #Constraints: 38182
2639.68/2646.52 c #Conflicts: 1207000 | #Constraints: 39182
2639.68/2646.52 c #Conflicts: 1208000 | #Constraints: 40182
2639.68/2646.52 c #Conflicts: 1209000 | #Constraints: 41182
2639.68/2646.52 c #Conflicts: 1210000 | #Constraints: 42182
2639.68/2646.52 c #Conflicts: 1211000 | #Constraints: 43182
2639.68/2646.52 c #Conflicts: 1212000 | #Constraints: 44182
2639.68/2646.52 c INPROCESSING
2639.68/2646.52 c GARBAGE COLLECT
2639.68/2646.52 c #Conflicts: 1213000 | #Constraints: 23376
2639.68/2646.52 c #Conflicts: 1214000 | #Constraints: 24376
2639.68/2646.52 c #Conflicts: 1215000 | #Constraints: 25376
2639.68/2646.52 c #Conflicts: 1216000 | #Constraints: 26376
2639.68/2646.52 c #Conflicts: 1217000 | #Constraints: 27376
2639.68/2646.52 c #Conflicts: 1218000 | #Constraints: 28376
2639.68/2646.52 c #Conflicts: 1219000 | #Constraints: 29376
2639.68/2646.52 c #Conflicts: 1220000 | #Constraints: 30376
2639.68/2646.52 c #Conflicts: 1221000 | #Constraints: 31376
2639.68/2646.52 c #Conflicts: 1222000 | #Constraints: 32376
2639.68/2646.52 c #Conflicts: 1223000 | #Constraints: 33376
2639.68/2646.52 c #Conflicts: 1224000 | #Constraints: 34376
2639.68/2646.52 c #Conflicts: 1225000 | #Constraints: 35376
2639.68/2646.52 c #Conflicts: 1226000 | #Constraints: 36376
2639.68/2646.52 c #Conflicts: 1227000 | #Constraints: 37376
2639.68/2646.52 c #Conflicts: 1228000 | #Constraints: 38376
2639.68/2646.52 c #Conflicts: 1229000 | #Constraints: 39376
2639.68/2646.52 c #Conflicts: 1230000 | #Constraints: 40376
2639.68/2646.52 c #Conflicts: 1231000 | #Constraints: 41376
2639.68/2646.52 c #Conflicts: 1232000 | #Constraints: 42376
2639.68/2646.52 c #Conflicts: 1233000 | #Constraints: 43376
2639.68/2646.52 c #Conflicts: 1234000 | #Constraints: 44376
2639.68/2646.52 c INPROCESSING
2639.68/2646.52 c GARBAGE COLLECT
2639.68/2646.52 c #Conflicts: 1235000 | #Constraints: 23381
2639.68/2646.52 c #Conflicts: 1236000 | #Constraints: 24381
2639.68/2646.52 c #Conflicts: 1237000 | #Constraints: 25381
2639.68/2646.52 c #Conflicts: 1238000 | #Constraints: 26381
2639.68/2646.52 c #Conflicts: 1239000 | #Constraints: 27381
2639.68/2646.52 c #Conflicts: 1240000 | #Constraints: 28381
2639.68/2646.52 c #Conflicts: 1241000 | #Constraints: 29381
2639.68/2646.52 c #Conflicts: 1242000 | #Constraints: 30381
2639.68/2646.52 c #Conflicts: 1243000 | #Constraints: 31381
2639.68/2646.52 c #Conflicts: 1244000 | #Constraints: 32381
2639.68/2646.52 c #Conflicts: 1245000 | #Constraints: 33381
2639.68/2646.52 c #Conflicts: 1246000 | #Constraints: 34381
2639.68/2646.52 c #Conflicts: 1247000 | #Constraints: 35381
2639.68/2646.52 c #Conflicts: 1248000 | #Constraints: 36381
2639.68/2646.52 c #Conflicts: 1249000 | #Constraints: 37381
2639.68/2646.52 c #Conflicts: 1250000 | #Constraints: 38381
2639.68/2646.52 c #Conflicts: 1251000 | #Constraints: 39381
2639.68/2646.52 c #Conflicts: 1252000 | #Constraints: 40381
2639.68/2646.52 c #Conflicts: 1253000 | #Constraints: 41381
2639.68/2646.52 c #Conflicts: 1254000 | #Constraints: 42381
2639.68/2646.52 c #Conflicts: 1255000 | #Constraints: 43381
2639.68/2646.52 c #Conflicts: 1256000 | #Constraints: 44381
2639.68/2646.52 c INPROCESSING
2639.68/2646.52 c GARBAGE COLLECT
2639.68/2646.52 c #Conflicts: 1257000 | #Constraints: 23181
2639.68/2646.52 c #Conflicts: 1258000 | #Constraints: 24181
2639.68/2646.52 c #Conflicts: 1259000 | #Constraints: 25181
2639.68/2646.52 c #Conflicts: 1260000 | #Constraints: 26181
2639.68/2646.52 c #Conflicts: 1261000 | #Constraints: 27181
2639.68/2646.52 c #Conflicts: 1262000 | #Constraints: 28181
2639.68/2646.52 c #Conflicts: 1263000 | #Constraints: 29181
2639.68/2646.52 c #Conflicts: 1264000 | #Constraints: 30181
2639.68/2646.52 c #Conflicts: 1265000 | #Constraints: 31181
2639.68/2646.52 c #Conflicts: 1266000 | #Constraints: 32181
2639.68/2646.52 c #Conflicts: 1267000 | #Constraints: 33181
2639.68/2646.52 c #Conflicts: 1268000 | #Constraints: 34181
2639.68/2646.52 c #Conflicts: 1269000 | #Constraints: 35181
2639.68/2646.52 c #Conflicts: 1270000 | #Constraints: 36181
2639.68/2646.52 c #Conflicts: 1271000 | #Constraints: 37181
2639.68/2646.52 c #Conflicts: 1272000 | #Constraints: 38181
2927.16/2934.76 c #Conflicts: 1273000 | #Constraints: 39181
2927.16/2934.76 c #Conflicts: 1274000 | #Constraints: 40181
2927.16/2934.76 c #Conflicts: 1275000 | #Constraints: 41181
2927.16/2934.76 c #Conflicts: 1276000 | #Constraints: 42181
2927.16/2934.76 c #Conflicts: 1277000 | #Constraints: 43181
2927.16/2934.76 c #Conflicts: 1278000 | #Constraints: 44181
2927.16/2934.76 c #Conflicts: 1279000 | #Constraints: 45181
2927.16/2934.76 c INPROCESSING
2927.16/2934.76 c GARBAGE COLLECT
2927.16/2934.76 c #Conflicts: 1280000 | #Constraints: 23780
2927.16/2934.76 c #Conflicts: 1281000 | #Constraints: 24780
2927.16/2934.76 c #Conflicts: 1282000 | #Constraints: 25780
2927.16/2934.76 c #Conflicts: 1283000 | #Constraints: 26780
2927.16/2934.76 c #Conflicts: 1284000 | #Constraints: 27780
2927.16/2934.76 c #Conflicts: 1285000 | #Constraints: 28780
2927.16/2934.76 c #Conflicts: 1286000 | #Constraints: 29780
2927.16/2934.76 c #Conflicts: 1287000 | #Constraints: 30780
2927.16/2934.76 c #Conflicts: 1288000 | #Constraints: 31780
2927.16/2934.76 c #Conflicts: 1289000 | #Constraints: 32780
2927.16/2934.76 c #Conflicts: 1290000 | #Constraints: 33780
2927.16/2934.76 c #Conflicts: 1291000 | #Constraints: 34780
2927.16/2934.76 c #Conflicts: 1292000 | #Constraints: 35780
2927.16/2934.76 c #Conflicts: 1293000 | #Constraints: 36780
2927.16/2934.76 c #Conflicts: 1294000 | #Constraints: 37780
2927.16/2934.76 c #Conflicts: 1295000 | #Constraints: 38780
2927.16/2934.76 c #Conflicts: 1296000 | #Constraints: 39780
2927.16/2934.76 c #Conflicts: 1297000 | #Constraints: 40780
2927.16/2934.76 c #Conflicts: 1298000 | #Constraints: 41780
2927.16/2934.76 c #Conflicts: 1299000 | #Constraints: 42780
2927.16/2934.76 c #Conflicts: 1300000 | #Constraints: 43780
2927.16/2934.76 c #Conflicts: 1301000 | #Constraints: 44780
2927.16/2934.76 c #Conflicts: 1302000 | #Constraints: 45780
2927.16/2934.76 c INPROCESSING
2927.16/2934.76 c GARBAGE COLLECT
2927.16/2934.76 c #Conflicts: 1303000 | #Constraints: 24181
2927.16/2934.76 c #Conflicts: 1304000 | #Constraints: 25181
2927.16/2934.76 c #Conflicts: 1305000 | #Constraints: 26181
2927.16/2934.76 c #Conflicts: 1306000 | #Constraints: 27181
2927.16/2934.76 c #Conflicts: 1307000 | #Constraints: 28181
2927.16/2934.76 c #Conflicts: 1308000 | #Constraints: 29181
2927.16/2934.76 c #Conflicts: 1309000 | #Constraints: 30181
2927.16/2934.76 c #Conflicts: 1310000 | #Constraints: 31181
2927.16/2934.76 c #Conflicts: 1311000 | #Constraints: 32181
2927.16/2934.76 c #Conflicts: 1312000 | #Constraints: 33181
2927.16/2934.76 c #Conflicts: 1313000 | #Constraints: 34181
2927.16/2934.76 c #Conflicts: 1314000 | #Constraints: 35181
2927.16/2934.76 c #Conflicts: 1315000 | #Constraints: 36181
2927.16/2934.76 c #Conflicts: 1316000 | #Constraints: 37181
2927.16/2934.76 c #Conflicts: 1317000 | #Constraints: 38181
2927.16/2934.76 c #Conflicts: 1318000 | #Constraints: 39181
2927.16/2934.76 c #Conflicts: 1319000 | #Constraints: 40181
2927.16/2934.76 c #Conflicts: 1320000 | #Constraints: 41181
2927.16/2934.76 c #Conflicts: 1321000 | #Constraints: 42181
2927.16/2934.76 c #Conflicts: 1322000 | #Constraints: 43181
2927.16/2934.76 c #Conflicts: 1323000 | #Constraints: 44181
2927.16/2934.76 c #Conflicts: 1324000 | #Constraints: 45181
2927.16/2934.76 c #Conflicts: 1325000 | #Constraints: 46181
2927.16/2934.76 c INPROCESSING
2927.16/2934.76 c GARBAGE COLLECT
2927.16/2934.76 c #Conflicts: 1326000 | #Constraints: 24382
2927.16/2934.76 c #Conflicts: 1327000 | #Constraints: 25382
2927.16/2934.76 c #Conflicts: 1328000 | #Constraints: 26382
2927.16/2934.76 c #Conflicts: 1329000 | #Constraints: 27382
2927.16/2934.76 c #Conflicts: 1330000 | #Constraints: 28382
2927.16/2934.76 c #Conflicts: 1331000 | #Constraints: 29382
2927.16/2934.76 c #Conflicts: 1332000 | #Constraints: 30382
2927.16/2934.76 c #Conflicts: 1333000 | #Constraints: 31382
2927.16/2934.76 c #Conflicts: 1334000 | #Constraints: 32382
2927.16/2934.76 c #Conflicts: 1335000 | #Constraints: 33382
2927.16/2934.76 c #Conflicts: 1336000 | #Constraints: 34382
2927.16/2934.76 c #Conflicts: 1337000 | #Constraints: 35382
2927.16/2934.76 c #Conflicts: 1338000 | #Constraints: 36382
2927.16/2934.76 c #Conflicts: 1339000 | #Constraints: 37382
2927.16/2934.76 c #Conflicts: 1340000 | #Constraints: 38382
2927.16/2934.76 c #Conflicts: 1341000 | #Constraints: 39382
2927.16/2934.76 c #Conflicts: 1342000 | #Constraints: 40382
2927.16/2934.76 c #Conflicts: 1343000 | #Constraints: 41382
2927.16/2934.76 c #Conflicts: 1344000 | #Constraints: 42382
2927.16/2934.76 c #Conflicts: 1345000 | #Constraints: 43382
2927.16/2934.76 c #Conflicts: 1346000 | #Constraints: 44382
2927.16/2934.76 c #Conflicts: 1347000 | #Constraints: 45382
2927.16/2934.76 c #Conflicts: 1348000 | #Constraints: 46382
2927.16/2934.76 c INPROCESSING
2927.16/2934.76 c GARBAGE COLLECT
2927.16/2934.76 c #Conflicts: 1349000 | #Constraints: 24382
3180.94/3189.14 c #Conflicts: 1350000 | #Constraints: 25382
3180.94/3189.14 c #Conflicts: 1351000 | #Constraints: 26382
3180.94/3189.14 c #Conflicts: 1352000 | #Constraints: 27382
3180.94/3189.14 c #Conflicts: 1353000 | #Constraints: 28382
3180.94/3189.14 c #Conflicts: 1354000 | #Constraints: 29382
3180.94/3189.14 c #Conflicts: 1355000 | #Constraints: 30382
3180.94/3189.14 c #Conflicts: 1356000 | #Constraints: 31382
3180.94/3189.14 c #Conflicts: 1357000 | #Constraints: 32382
3180.94/3189.14 c #Conflicts: 1358000 | #Constraints: 33382
3180.94/3189.14 c #Conflicts: 1359000 | #Constraints: 34382
3180.94/3189.14 c #Conflicts: 1360000 | #Constraints: 35382
3180.94/3189.14 c #Conflicts: 1361000 | #Constraints: 36382
3180.94/3189.14 c #Conflicts: 1362000 | #Constraints: 37382
3180.94/3189.14 c #Conflicts: 1363000 | #Constraints: 38382
3180.94/3189.14 c #Conflicts: 1364000 | #Constraints: 39382
3180.94/3189.14 c #Conflicts: 1365000 | #Constraints: 40382
3180.94/3189.14 c #Conflicts: 1366000 | #Constraints: 41382
3180.94/3189.14 c #Conflicts: 1367000 | #Constraints: 42382
3180.94/3189.14 c #Conflicts: 1368000 | #Constraints: 43382
3180.94/3189.14 c #Conflicts: 1369000 | #Constraints: 44382
3180.94/3189.14 c #Conflicts: 1370000 | #Constraints: 45382
3180.94/3189.14 c #Conflicts: 1371000 | #Constraints: 46382
3180.94/3189.14 c INPROCESSING
3180.94/3189.14 c GARBAGE COLLECT
3180.94/3189.14 c #Conflicts: 1372000 | #Constraints: 24182
3180.94/3189.14 c #Conflicts: 1373000 | #Constraints: 25182
3180.94/3189.14 c #Conflicts: 1374000 | #Constraints: 26182
3180.94/3189.14 c #Conflicts: 1375000 | #Constraints: 27182
3180.94/3189.14 c #Conflicts: 1376000 | #Constraints: 28182
3180.94/3189.14 c #Conflicts: 1377000 | #Constraints: 29182
3180.94/3189.14 c #Conflicts: 1378000 | #Constraints: 30182
3180.94/3189.14 c #Conflicts: 1379000 | #Constraints: 31182
3180.94/3189.14 c #Conflicts: 1380000 | #Constraints: 32182
3180.94/3189.14 c #Conflicts: 1381000 | #Constraints: 33182
3180.94/3189.14 c #Conflicts: 1382000 | #Constraints: 34182
3180.94/3189.14 c #Conflicts: 1383000 | #Constraints: 35182
3180.94/3189.14 c #Conflicts: 1384000 | #Constraints: 36182
3180.94/3189.14 c #Conflicts: 1385000 | #Constraints: 37182
3180.94/3189.14 c #Conflicts: 1386000 | #Constraints: 38182
3180.94/3189.14 c #Conflicts: 1387000 | #Constraints: 39182
3180.94/3189.14 c #Conflicts: 1388000 | #Constraints: 40182
3180.94/3189.14 c #Conflicts: 1389000 | #Constraints: 41182
3180.94/3189.14 c #Conflicts: 1390000 | #Constraints: 42182
3180.94/3189.14 c #Conflicts: 1391000 | #Constraints: 43182
3180.94/3189.14 c #Conflicts: 1392000 | #Constraints: 44182
3180.94/3189.14 c #Conflicts: 1393000 | #Constraints: 45182
3180.94/3189.14 c #Conflicts: 1394000 | #Constraints: 46182
3180.94/3189.14 c #Conflicts: 1395000 | #Constraints: 47182
3180.94/3189.14 c INPROCESSING
3180.94/3189.14 c GARBAGE COLLECT
3180.94/3189.14 c #Conflicts: 1396000 | #Constraints: 24786
3180.94/3189.14 c #Conflicts: 1397000 | #Constraints: 25786
3180.94/3189.14 c #Conflicts: 1398000 | #Constraints: 26786
3180.94/3189.14 c #Conflicts: 1399000 | #Constraints: 27786
3180.94/3189.14 c #Conflicts: 1400000 | #Constraints: 28786
3180.94/3189.14 c #Conflicts: 1401000 | #Constraints: 29786
3180.94/3189.14 c #Conflicts: 1402000 | #Constraints: 30786
3180.94/3189.14 c #Conflicts: 1403000 | #Constraints: 31786
3180.94/3189.14 c #Conflicts: 1404000 | #Constraints: 32786
3180.94/3189.14 c #Conflicts: 1405000 | #Constraints: 33786
3180.94/3189.14 c #Conflicts: 1406000 | #Constraints: 34786
3180.94/3189.14 c #Conflicts: 1407000 | #Constraints: 35786
3180.94/3189.14 c #Conflicts: 1408000 | #Constraints: 36786
3180.94/3189.14 c #Conflicts: 1409000 | #Constraints: 37786
3180.94/3189.14 c #Conflicts: 1410000 | #Constraints: 38786
3180.94/3189.14 c #Conflicts: 1411000 | #Constraints: 39786
3180.94/3189.14 c #Conflicts: 1412000 | #Constraints: 40786
3180.94/3189.14 c #Conflicts: 1413000 | #Constraints: 41786
3180.94/3189.14 c #Conflicts: 1414000 | #Constraints: 42786
3180.94/3189.14 c #Conflicts: 1415000 | #Constraints: 43786
3180.94/3189.14 c #Conflicts: 1416000 | #Constraints: 44786
3180.94/3189.14 c #Conflicts: 1417000 | #Constraints: 45786
3180.94/3189.14 c #Conflicts: 1418000 | #Constraints: 46786
3180.94/3189.14 c #Conflicts: 1419000 | #Constraints: 47786
3180.94/3189.14 c INPROCESSING
3180.94/3189.14 c GARBAGE COLLECT
3180.94/3189.14 c #Conflicts: 1420000 | #Constraints: 25180
3180.94/3189.14 c #Conflicts: 1421000 | #Constraints: 26180
3180.94/3189.14 c #Conflicts: 1422000 | #Constraints: 27180
3180.94/3189.14 c #Conflicts: 1423000 | #Constraints: 28180
3180.94/3189.14 c #Conflicts: 1424000 | #Constraints: 29180
3180.94/3189.14 c #Conflicts: 1425000 | #Constraints: 30180
3180.94/3189.14 c #Conflicts: 1426000 | #Constraints: 31180
3477.88/3486.89 c #Conflicts: 1427000 | #Constraints: 32180
3477.88/3486.89 c #Conflicts: 1428000 | #Constraints: 33180
3477.88/3486.89 c #Conflicts: 1429000 | #Constraints: 34180
3477.88/3486.89 c #Conflicts: 1430000 | #Constraints: 35180
3477.88/3486.89 c #Conflicts: 1431000 | #Constraints: 36180
3477.88/3486.89 c #Conflicts: 1432000 | #Constraints: 37180
3477.88/3486.89 c #Conflicts: 1433000 | #Constraints: 38180
3477.88/3486.89 c #Conflicts: 1434000 | #Constraints: 39180
3477.88/3486.89 c #Conflicts: 1435000 | #Constraints: 40180
3477.88/3486.89 c #Conflicts: 1436000 | #Constraints: 41180
3477.88/3486.89 c #Conflicts: 1437000 | #Constraints: 42180
3477.88/3486.89 c #Conflicts: 1438000 | #Constraints: 43180
3477.88/3486.89 c #Conflicts: 1439000 | #Constraints: 44180
3477.88/3486.89 c #Conflicts: 1440000 | #Constraints: 45180
3477.88/3486.89 c #Conflicts: 1441000 | #Constraints: 46180
3477.88/3486.89 c #Conflicts: 1442000 | #Constraints: 47180
3477.88/3486.89 c #Conflicts: 1443000 | #Constraints: 48180
3477.88/3486.89 c INPROCESSING
3477.88/3486.89 c GARBAGE COLLECT
3477.88/3486.89 c #Conflicts: 1444000 | #Constraints: 25378
3477.88/3486.89 c #Conflicts: 1445000 | #Constraints: 26378
3477.88/3486.89 c #Conflicts: 1446000 | #Constraints: 27378
3477.88/3486.89 c #Conflicts: 1447000 | #Constraints: 28378
3477.88/3486.89 c #Conflicts: 1448000 | #Constraints: 29378
3477.88/3486.89 c #Conflicts: 1449000 | #Constraints: 30378
3477.88/3486.89 c #Conflicts: 1450000 | #Constraints: 31378
3477.88/3486.89 c #Conflicts: 1451000 | #Constraints: 32378
3477.88/3486.89 c #Conflicts: 1452000 | #Constraints: 33378
3477.88/3486.89 c #Conflicts: 1453000 | #Constraints: 34378
3477.88/3486.89 c #Conflicts: 1454000 | #Constraints: 35378
3477.88/3486.89 c #Conflicts: 1455000 | #Constraints: 36378
3477.88/3486.89 c #Conflicts: 1456000 | #Constraints: 37378
3477.88/3486.89 c #Conflicts: 1457000 | #Constraints: 38378
3477.88/3486.89 c #Conflicts: 1458000 | #Constraints: 39378
3477.88/3486.89 c #Conflicts: 1459000 | #Constraints: 40378
3477.88/3486.89 c #Conflicts: 1460000 | #Constraints: 41378
3477.88/3486.89 c #Conflicts: 1461000 | #Constraints: 42378
3477.88/3486.89 c #Conflicts: 1462000 | #Constraints: 43378
3477.88/3486.89 c #Conflicts: 1463000 | #Constraints: 44378
3477.88/3486.89 c #Conflicts: 1464000 | #Constraints: 45378
3477.88/3486.89 c #Conflicts: 1465000 | #Constraints: 46378
3477.88/3486.89 c #Conflicts: 1466000 | #Constraints: 47378
3477.88/3486.89 c #Conflicts: 1467000 | #Constraints: 48378
3477.88/3486.89 c INPROCESSING
3477.88/3486.89 c GARBAGE COLLECT
3477.88/3486.89 c #Conflicts: 1468000 | #Constraints: 25390
3477.88/3486.89 c #Conflicts: 1469000 | #Constraints: 26390
3477.88/3486.89 c #Conflicts: 1470000 | #Constraints: 27390
3477.88/3486.89 c #Conflicts: 1471000 | #Constraints: 28390
3477.88/3486.89 c #Conflicts: 1472000 | #Constraints: 29390
3477.88/3486.89 c #Conflicts: 1473000 | #Constraints: 30390
3477.88/3486.89 c #Conflicts: 1474000 | #Constraints: 31390
3477.88/3486.89 c #Conflicts: 1475000 | #Constraints: 32390
3477.88/3486.89 c #Conflicts: 1476000 | #Constraints: 33390
3477.88/3486.89 c #Conflicts: 1477000 | #Constraints: 34390
3477.88/3486.89 c #Conflicts: 1478000 | #Constraints: 35390
3477.88/3486.89 c #Conflicts: 1479000 | #Constraints: 36390
3477.88/3486.89 c #Conflicts: 1480000 | #Constraints: 37390
3477.88/3486.89 c #Conflicts: 1481000 | #Constraints: 38390
3477.88/3486.89 c #Conflicts: 1482000 | #Constraints: 39390
3477.88/3486.89 c #Conflicts: 1483000 | #Constraints: 40390
3477.88/3486.89 c #Conflicts: 1484000 | #Constraints: 41390
3477.88/3486.89 c #Conflicts: 1485000 | #Constraints: 42390
3477.88/3486.89 c #Conflicts: 1486000 | #Constraints: 43390
3477.88/3486.89 c #Conflicts: 1487000 | #Constraints: 44390
3477.88/3486.89 c #Conflicts: 1488000 | #Constraints: 45390
3477.88/3486.89 c #Conflicts: 1489000 | #Constraints: 46390
3477.88/3486.89 c #Conflicts: 1490000 | #Constraints: 47390
3477.88/3486.89 c #Conflicts: 1491000 | #Constraints: 48390
3477.88/3486.89 c INPROCESSING
3477.88/3486.89 c GARBAGE COLLECT
3477.88/3486.89 c #Conflicts: 1492000 | #Constraints: 25189
3477.88/3486.89 c #Conflicts: 1493000 | #Constraints: 26189
3477.88/3486.89 c #Conflicts: 1494000 | #Constraints: 27189
3477.88/3486.89 c #Conflicts: 1495000 | #Constraints: 28189
3477.88/3486.89 c #Conflicts: 1496000 | #Constraints: 29189
3477.88/3486.89 c #Conflicts: 1497000 | #Constraints: 30189
3477.88/3486.89 c #Conflicts: 1498000 | #Constraints: 31189
3477.88/3486.89 c #Conflicts: 1499000 | #Constraints: 32189
3477.88/3486.89 c #Conflicts: 1500000 | #Constraints: 33189
3477.88/3486.89 c #Conflicts: 1501000 | #Constraints: 34189
3477.88/3486.89 c #Conflicts: 1502000 | #Constraints: 35189
3600.06/3609.30 c #Conflicts: 1503000 | #Constraints: 36189
3600.06/3609.30 c #Conflicts: 1504000 | #Constraints: 37189
3600.06/3609.30 c #Conflicts: 1505000 | #Constraints: 38189
3600.06/3609.30 c #Conflicts: 1506000 | #Constraints: 39189
3600.06/3609.30 c #Conflicts: 1507000 | #Constraints: 40189
3600.06/3609.30 c #Conflicts: 1508000 | #Constraints: 41189
3600.06/3609.30 c #Conflicts: 1509000 | #Constraints: 42189
3600.06/3609.30 c #Conflicts: 1510000 | #Constraints: 43189
3600.06/3609.30 c #Conflicts: 1511000 | #Constraints: 44189
3600.06/3609.30 c #Conflicts: 1512000 | #Constraints: 45189
3600.06/3609.30 c #Conflicts: 1513000 | #Constraints: 46189
3600.06/3609.30 c #Conflicts: 1514000 | #Constraints: 47189
3600.06/3609.30 c #Conflicts: 1515000 | #Constraints: 48189
3600.06/3609.30 c #Conflicts: 1516000 | #Constraints: 49189
3600.06/3609.30 c INPROCESSING
3600.06/3609.30 c GARBAGE COLLECT
3600.06/3609.30 c #Conflicts: 1517000 | #Constraints: 25788
3600.06/3609.30 c #Conflicts: 1518000 | #Constraints: 26788
3600.06/3609.30 c #Conflicts: 1519000 | #Constraints: 27788
3600.06/3609.30 c #Conflicts: 1520000 | #Constraints: 28788
3600.06/3609.30 c #Conflicts: 1521000 | #Constraints: 29788
3600.06/3609.30 c #Conflicts: 1522000 | #Constraints: 30788
3600.06/3609.30 c #Conflicts: 1523000 | #Constraints: 31788
3600.06/3609.30 c #Conflicts: 1524000 | #Constraints: 32788
3600.06/3609.30 c #Conflicts: 1525000 | #Constraints: 33788
3600.06/3609.30 c #Conflicts: 1526000 | #Constraints: 34788
3600.06/3609.30 c #Conflicts: 1527000 | #Constraints: 35788
3600.06/3609.30 c #Conflicts: 1528000 | #Constraints: 36788
3600.06/3609.30 c #Conflicts: 1529000 | #Constraints: 37788
3600.06/3609.30 c #Conflicts: 1530000 | #Constraints: 38788
3600.06/3609.30 c #Conflicts: 1531000 | #Constraints: 39788
3600.06/3609.30 c #Conflicts: 1532000 | #Constraints: 40788
3600.06/3609.30 c #Conflicts: 1533000 | #Constraints: 41788
3600.06/3609.30 c Program interrupted by user.
3600.06/3609.30 c cpu time 3591.56 s
3600.06/3609.30 c deterministic time 559644936750 5.60e+11
3600.06/3609.30 c optimization time 54.8614 s
3600.06/3609.30 c total solve time 3536.69 s
3600.06/3609.30 c core-guided solve time 3536.69 s
3600.06/3609.30 c propagation time 3284.56 s
3600.06/3609.30 c conflict analysis time 284.03 s
3600.06/3609.30 c propagations 69320987
3600.06/3609.30 c resolve steps 11835010
3600.06/3609.30 c decisions 5097976
3600.06/3609.30 c conflicts 1533774
3600.06/3609.30 c restarts 3046
3600.06/3609.30 c inprocessing phases 114
3600.06/3609.30 c input clauses 368
3600.06/3609.30 c input cardinalities 95
3600.06/3609.30 c input general constraints 88
3600.06/3609.30 c input average constraint length 28.20
3600.06/3609.30 c input average constraint degree 15.98
3600.06/3609.30 c learned clauses 143419
3600.06/3609.30 c learned cardinalities 305
3600.06/3609.30 c learned general constraints 1390058
3600.06/3609.30 c learned average constraint length 130.43
3600.06/3609.30 c learned average constraint degree 8913125.62
3600.06/3609.30 c watched constraints 1186024
3600.06/3609.30 c counting constraints 204122
3600.06/3609.30 c gcd simplifications 24655
3600.06/3609.30 c detected cardinalities 8
3600.06/3609.30 c weakened non-implied lits 25958588
3600.06/3609.30 c weakened non-implying lits 191099
3600.06/3609.30 c original variables 372
3600.06/3609.30 c clausal propagations 16031627
3600.06/3609.30 c cardinality propagations 3677137
3600.06/3609.30 c watched propagations 13623502
3600.06/3609.30 c counting propagations 35269768
3600.06/3609.30 c watch lookups 43811388488
3600.06/3609.30 c watch backjump lookups 34607554273
3600.06/3609.30 c watch checks 356207998095
3600.06/3609.30 c propagation checks 123905404483
3600.06/3609.30 c constraint additions 962219995
3600.06/3609.30 c trail pops 75952452
3600.06/3609.30 c formula constraints 421
3600.06/3609.30 c learned constraints 1533782
3600.06/3609.30 c bound constraints 36
3600.06/3609.30 c core-guided constraints 94
3600.06/3609.30 c encountered formula constraints 4910726
3600.06/3609.30 c encountered learned constraints 8135412
3600.06/3609.30 c encountered bound constraints 67
3600.06/3609.30 c encountered core-guided constraints 322579
3600.06/3609.30 c LP total time 0 s
3600.06/3609.30 c LP solve time 0 s
3600.06/3609.30 c LP constraints added 0
3600.06/3609.30 c LP constraints removed 0
3600.06/3609.30 c LP pivots internal 0
3600.06/3609.30 c LP pivots root 0
3600.06/3609.30 c LP calls 0
3600.06/3609.30 c LP optimalities 0
3600.06/3609.30 c LP no pivot count 0
3600.06/3609.30 c LP infeasibilities 0
3600.06/3609.30 c LP valid Farkas constraints 0
3600.06/3609.30 c LP learned Farkas constraints 0
3600.06/3609.30 c LP basis resets 0
3600.06/3609.30 c LP cycling count 0
3600.06/3609.30 c LP singular count 0
3600.06/3609.30 c LP no primal count 0
3600.06/3609.30 c LP no farkas count 0
3600.06/3609.30 c LP other issue count 0
3600.06/3609.30 c LP Gomory cuts 0
3600.06/3609.30 c LP learned cuts 0
3600.06/3609.30 c LP deleted cuts 0
3600.06/3609.30 c LP encountered Gomory constraints 0
3600.06/3609.30 c LP encountered Farkas constraints 0
3600.06/3609.30 c LP encountered learned Farkas constraints 0
3600.06/3609.30 c CG auxiliary variables introduced 42
3600.06/3609.30 c CG solutions found 3
3600.06/3609.30 c CG cores constructed 24
3600.06/3609.30 c CG core cardinality constraints returned 6
3600.06/3609.30 c CG unit cores 0
3600.06/3609.30 c CG single cores 20
3600.06/3609.30 c CG blocks removed during cardinality reduction 0
3600.06/3609.30 c CG first core best 0
3600.06/3609.30 c CG decision core best 3
3600.06/3609.30 c CG core reduction tie 1
3600.06/3609.30 c CG core degree average 1.29
3600.06/3609.30 c CG core slack average 7.79
3600.06/3609.30 c CG exhausted 0
3600.06/3609.30 c CG exhaust time 1.76192 s
3600.06/3609.30 c CG trimmed 1
3600.06/3609.30 c CG trim time 0.003781 s
3600.06/3609.30 c CG minimized 0
3600.06/3609.30 c CG minimize time 0 s
3600.06/3609.30 c CG am1 prop time 0.000736 s
3600.06/3609.30 c CG # am1s reformulated 6
3600.06/3609.30 c CG lower bound derived from am1s 15
3600.06/3609.30 c CG # clausal cores 21
3600.06/3609.30 c CG # cardinality cores 7
3600.06/3609.30 c CG # pb cores 0
3600.06/3609.30 c CG # pb reforms 15
3600.06/3609.30 c CG # cores discarded because of pb reform 0
3600.06/3609.30 d LOWERBOUND -137
3600.06/3609.30 d NCORES 24
3600.06/3609.30 d NPBCORES 0
3600.06/3609.30 d NPBREFORM 15
3600.06/3609.30 d NTRIMMED 1
3600.06/3609.30 d NEXHAUSTED 0
3600.06/3609.30 d NAM1S 6
3600.06/3609.30 d AM1LB 15
3600.06/3609.30 o 3
3600.06/3609.30 s SATISFIABLE
3600.06/3609.30 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
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 (61142 MiB free)
memory of node 1: 64507 MiB (63290 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484672-1751294844/watcher-4484672-1751294844 -o /tmp/evaluation-result-4484672-1751294844/solver-4484672-1751294844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42302 --watchdog 3760 pb-oll-rs HOME/instance-4484672-1751294844.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
Current StackSize limit: 8192 KiB
solver pid=42525, runsolver pid=42522
[startup+0.10006 s]*
/proc/loadavg: 4.21 4.14 3.94 5/267 42526
/proc/meminfo: memFree=127418364/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=21664 memory=8832 CPUtime=0.09 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 1069 0 0 0 8 1 0 0 20 0 1 0 45162139 22183936 2208 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 5416 2208 1344 243 0 1665 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21664 KiB
Current children cumulated memory: 8832 KiB
[startup+0.205468 s]*
/proc/loadavg: 4.21 4.14 3.94 5/267 42526
/proc/meminfo: memFree=127418364/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=24184 memory=12904 CPUtime=0.19 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 1586 0 0 0 18 1 0 0 20 0 1 0 45162139 24764416 3226 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 6046 3226 1344 243 0 2295 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24184 KiB
Current children cumulated memory: 12904 KiB
[startup+0.305411 s]*
/proc/loadavg: 4.21 4.14 3.94 5/267 42526
/proc/meminfo: memFree=127418364/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=24328 memory=13160 CPUtime=0.3 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 1628 0 0 0 28 2 0 0 20 0 1 0 45162139 24911872 3290 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 6082 3290 1344 243 0 2331 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24328 KiB
Current children cumulated memory: 13160 KiB
[startup+0.700134 s]
/proc/loadavg: 4.21 4.14 3.94 5/267 42526
/proc/meminfo: memFree=127422264/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=25412 memory=14440 CPUtime=0.68 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 1955 0 0 0 65 3 0 0 20 0 1 0 45162139 26021888 3610 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 6353 3610 1344 243 0 2602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25412 KiB
Current children cumulated memory: 14440 KiB
[startup+1.50012 s]
/proc/loadavg: 4.21 4.14 3.94 5/267 42526
/proc/meminfo: memFree=127422264/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=25892 memory=14824 CPUtime=1.48 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 2051 0 0 0 142 6 0 0 20 0 1 0 45162139 26513408 3706 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 6473 3706 1344 243 0 2722 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 25892 KiB
Current children cumulated memory: 14824 KiB
[startup+3.10523 s]
/proc/loadavg: 4.21 4.14 3.94 5/266 42526
/proc/meminfo: memFree=127438372/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=26340 memory=15208 CPUtime=3.08 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 2148 0 0 0 300 8 0 0 20 0 1 0 45162139 26972160 3802 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 6585 3802 1344 243 0 2834 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 26340 KiB
Current children cumulated memory: 15208 KiB
[startup+6.30013 s]
/proc/loadavg: 4.19 4.14 3.94 5/267 42527
/proc/meminfo: memFree=127459492/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=26456 memory=15336 CPUtime=6.27 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 2196 0 0 0 614 13 0 0 20 0 1 0 45162139 27090944 3834 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 6614 3834 1344 243 0 2863 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 26456 KiB
Current children cumulated memory: 15336 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.13 3.94 5/267 42527
/proc/meminfo: memFree=127463928/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=30264 memory=19024 CPUtime=12.65 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 2602 0 0 0 1246 19 0 0 20 0 1 0 45162139 30990336 4756 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 7566 4756 1344 243 0 3815 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 30264 KiB
Current children cumulated memory: 19024 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 3.95 5/267 42527
/proc/meminfo: memFree=127462088/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=31736 memory=20432 CPUtime=25.42 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 2963 0 0 0 2510 32 0 0 20 0 1 0 45162139 32497664 5108 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 7934 5108 1344 243 0 4183 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31736 KiB
Current children cumulated memory: 20432 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.13 3.95 5/267 42528
/proc/meminfo: memFree=127444340/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=40152 memory=26816 CPUtime=50.96 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 4039 0 0 0 5045 51 0 0 20 0 1 0 45162139 41115648 6704 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 10038 6704 1344 243 0 6287 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 40152 KiB
Current children cumulated memory: 26816 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 3.96 5/267 42529
/proc/meminfo: memFree=127435576/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=41916 memory=28480 CPUtime=102.02 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 4443 0 0 0 10111 91 0 0 20 0 1 0 45162139 42921984 7120 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 10479 7120 1344 243 0 6728 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 41916 KiB
Current children cumulated memory: 28480 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.19 4.00 5/267 42531
/proc/meminfo: memFree=127433292/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=52920 memory=36008 CPUtime=161.86 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 5853 0 0 0 16058 128 0 0 20 0 1 0 45162139 54190080 9002 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 13230 9002 1344 243 0 9479 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 52920 KiB
Current children cumulated memory: 36008 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.00 5/268 42535
/proc/meminfo: memFree=127414976/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=55356 memory=39880 CPUtime=221.7 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 6411 0 0 0 22010 160 0 0 20 0 1 0 45162139 56684544 9970 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 13839 9970 1344 243 0 10088 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 55356 KiB
Current children cumulated memory: 39880 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.15 4.00 5/267 42537
/proc/meminfo: memFree=127402612/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=58176 memory=44988 CPUtime=281.54 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 7392 0 0 0 27967 187 0 0 20 0 1 0 45162139 59572224 11247 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 14544 11247 1344 243 0 10793 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 58176 KiB
Current children cumulated memory: 44988 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.15 4.01 5/264 42547
/proc/meminfo: memFree=127366084/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=70956 memory=49844 CPUtime=341.38 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 7970 0 0 0 33924 214 0 0 20 0 1 0 45162139 72658944 12461 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 17739 12461 1344 243 0 13988 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 70956 KiB
Current children cumulated memory: 49844 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.12 4.00 5/264 42549
/proc/meminfo: memFree=127370172/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=71552 memory=50228 CPUtime=401.23 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 8249 0 0 0 39891 232 0 0 20 0 1 0 45162139 73269248 12557 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 17888 12557 1344 243 0 14137 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 71552 KiB
Current children cumulated memory: 50228 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.11 4.00 5/264 42551
/proc/meminfo: memFree=127367228/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=73236 memory=51124 CPUtime=461.08 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 8622 0 0 0 45861 247 0 0 20 0 1 0 45162139 74993664 12781 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 18309 12781 1344 243 0 14558 0
################
# More data... #
################
Current children cumulated memory: 93764 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.06 5/264 42817
/proc/meminfo: memFree=128811696/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=116920 memory=93776 CPUtime=2914.8 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 17627 0 0 0 290726 754 0 0 20 0 1 0 45162139 119726080 23444 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29230 23444 1344 243 0 25479 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 116920 KiB
Current children cumulated memory: 93776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/264 42820
/proc/meminfo: memFree=128803592/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=93952 CPUtime=2974.65 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 17994 0 0 0 296701 764 0 0 20 0 1 0 45162139 120512512 23488 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23488 1344 243 0 25671 0
Current children cumulated CPU time: 2974.65 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 93952 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/265 42823
/proc/meminfo: memFree=128809540/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=93972 CPUtime=3034.5 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18136 0 0 0 302679 771 0 0 20 0 1 0 45162139 120512512 23493 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23493 1344 243 0 25671 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 93972 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/265 42825
/proc/meminfo: memFree=128806312/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=93972 CPUtime=3094.35 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18295 0 0 0 308653 782 0 0 20 0 1 0 45162139 120512512 23493 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23493 1344 243 0 25671 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 93972 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/265 42827
/proc/meminfo: memFree=128804432/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=93972 CPUtime=3154.2 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18295 0 0 0 314630 790 0 0 20 0 1 0 45162139 120512512 23493 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23493 1344 243 0 25671 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 93972 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/264 42829
/proc/meminfo: memFree=128802560/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=93984 CPUtime=3214.04 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18436 0 0 0 320603 801 0 0 20 0 1 0 45162139 120512512 23496 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23496 1344 243 0 25671 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 93984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/263 42831
/proc/meminfo: memFree=128793772/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95008 CPUtime=3273.9 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18574 0 0 0 326580 810 0 0 20 0 1 0 45162139 120512512 23752 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23752 1344 243 0 25671 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/262 42833
/proc/meminfo: memFree=128793668/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95008 CPUtime=3333.74 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18574 0 0 0 332557 817 0 0 20 0 1 0 45162139 120512512 23752 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23752 1344 243 0 25671 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/264 42843
/proc/meminfo: memFree=128797300/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95056 CPUtime=3393.59 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18724 0 0 0 338534 825 0 0 20 0 1 0 45162139 120512512 23764 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23764 1344 243 0 25671 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/264 42845
/proc/meminfo: memFree=128795504/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95056 CPUtime=3453.44 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18724 0 0 0 344513 831 0 0 20 0 1 0 45162139 120512512 23764 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23764 1344 243 0 25671 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.08 5/264 42847
/proc/meminfo: memFree=128795396/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95056 CPUtime=3513.29 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 18863 0 0 0 350490 839 0 0 20 0 1 0 45162139 120512512 23764 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23764 1344 243 0 25671 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/264 42849
/proc/meminfo: memFree=128795284/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95056 CPUtime=3573.14 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 19002 0 0 0 356466 848 0 0 20 0 1 0 45162139 120512512 23764 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23764 1344 243 0 25671 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/264 42850
/proc/meminfo: memFree=128794888/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95056 CPUtime=3600.06 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 19002 0 0 0 359154 852 0 0 20 0 1 0 45162139 120512512 23764 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23764 1344 243 0 25671 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 42525 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.56 s, system=8.52756 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/264 42850
/proc/meminfo: memFree=128794888/131249996 swapFree=33010684/33010684
[pid=42525] ppid=42522 vsize=117688 memory=95056 CPUtime=3600.06 cores=0,2
/proc/42525/stat : 42525 (pb-oll-rs) R 42522 42525 42292 0 -1 4194304 19002 0 0 0 359154 852 0 0 20 0 1 0 45162139 120512512 23764 18446744073709551615 4218880 5211445 140725315397744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 26497024 140725315402140 140725315402217 140725315402217 140725315407819 0
/proc/42525/statm: 29422 23764 1344 243 0 25671 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 117688 KiB
Current children cumulated memory: 95056 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.08
CPU user time (s): 3591.56
CPU system time (s): 8.52756
CPU usage (%): 99.7445
Max. virtual memory (cumulated for all children) (KiB): 118372
Max. memory (cumulated for all children) (KiB): 95568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.56
system time used= 8.52756
maximum resident set size= 95568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19017
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= 113
involuntary context switches= 4587
# summary of solver processes directly reported to runsolver:
# pid: 42525
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.56
# total CPU system time (s): 8.52756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80379 second user time and 15.2106 second system time
The end
Begin job on nodeC021 at 2025-06-30 16:47:25
IDJOB=4484672
IDBENCH=146664
IDSOLVER=3345
FILE ID=nodeC021/4484672-1751294844
RUNJOBID= nodeC021-1751292654-42302
SLURM_JOB_ID= 9594264
Free space on /tmp= 432588 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484672-1751294844/watcher-4484672-1751294844 -o /tmp/evaluation-result-4484672-1751294844/solver-4484672-1751294844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42302 --watchdog 3760 pb-oll-rs HOME/instance-4484672-1751294844.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1e9c9c7dcf807eef4e114aea42645bf8
RANDOM SEED=855351613
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
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.864
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 : 3601.877
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 : 3510.643
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.783
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.781
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 : 3622.658
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: 127419880 kB
MemAvailable: 128025168 kB
Buffers: 3280 kB
Cached: 1411864 kB
SwapCached: 0 kB
Active: 2006280 kB
Inactive: 1142820 kB
Active(anon): 1752016 kB
Inactive(anon): 0 kB
Active(file): 254264 kB
Inactive(file): 1142820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1680 kB
Writeback: 4 kB
AnonPages: 1734804 kB
Mapped: 107632 kB
Shmem: 18060 kB
KReclaimable: 94488 kB
Slab: 181324 kB
SReclaimable: 94488 kB
SUnreclaim: 86836 kB
KernelStack: 4400 kB
PageTables: 6936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2470960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1032192 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 17:47:34