0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
298.88/300.07 c [STEP] preprocessing done, loading into solver
298.88/300.07 c [STEP] solving
298.88/300.07 c #variables 121 #constraints 10
298.88/300.07 c SMALL=int, LARGE=long long
298.88/300.07 d SCIPUB 2
298.88/300.07 c bounds - >= 0 @ 298.933
298.88/300.07 c stratification level: 1
325.12/326.33 c #Conflicts: 1000 | #Constraints: 1010
325.12/326.33 c #Conflicts: 2000 | #Constraints: 2010
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 3000 | #Constraints: 2015
325.12/326.33 c #Conflicts: 4000 | #Constraints: 3015
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 5000 | #Constraints: 2416
325.12/326.33 c #Conflicts: 6000 | #Constraints: 3416
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 7000 | #Constraints: 2416
325.12/326.33 c #Conflicts: 8000 | #Constraints: 3416
325.12/326.33 c #Conflicts: 9000 | #Constraints: 4416
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 10000 | #Constraints: 3118
325.12/326.33 c #Conflicts: 11000 | #Constraints: 4118
325.12/326.33 c #Conflicts: 12000 | #Constraints: 5118
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 13000 | #Constraints: 3568
325.12/326.33 c #Conflicts: 14000 | #Constraints: 4568
325.12/326.33 c #Conflicts: 15000 | #Constraints: 5568
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 16000 | #Constraints: 3794
325.12/326.33 c #Conflicts: 17000 | #Constraints: 4794
325.12/326.33 c #Conflicts: 18000 | #Constraints: 5794
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 19000 | #Constraints: 3809
325.12/326.33 c #Conflicts: 20000 | #Constraints: 4809
325.12/326.33 c #Conflicts: 21000 | #Constraints: 5809
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 22000 | #Constraints: 3612
325.12/326.33 c #Conflicts: 23000 | #Constraints: 4612
325.12/326.33 c #Conflicts: 24000 | #Constraints: 5612
325.12/326.33 c #Conflicts: 25000 | #Constraints: 6612
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 26000 | #Constraints: 4217
325.12/326.33 c #Conflicts: 27000 | #Constraints: 5217
325.12/326.33 c #Conflicts: 28000 | #Constraints: 6217
325.12/326.33 c #Conflicts: 29000 | #Constraints: 7217
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 30000 | #Constraints: 4618
325.12/326.33 c #Conflicts: 31000 | #Constraints: 5618
325.12/326.33 c #Conflicts: 32000 | #Constraints: 6618
325.12/326.33 c #Conflicts: 33000 | #Constraints: 7618
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 34000 | #Constraints: 4820
325.12/326.33 c #Conflicts: 35000 | #Constraints: 5820
325.12/326.33 c #Conflicts: 36000 | #Constraints: 6820
325.12/326.33 c #Conflicts: 37000 | #Constraints: 7820
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 38000 | #Constraints: 4823
325.12/326.33 c #Conflicts: 39000 | #Constraints: 5823
325.12/326.33 c #Conflicts: 40000 | #Constraints: 6823
325.12/326.33 c #Conflicts: 41000 | #Constraints: 7823
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 42000 | #Constraints: 4625
325.12/326.33 c #Conflicts: 43000 | #Constraints: 5625
325.12/326.33 c #Conflicts: 44000 | #Constraints: 6625
325.12/326.33 c #Conflicts: 45000 | #Constraints: 7625
325.12/326.33 c #Conflicts: 46000 | #Constraints: 8625
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 47000 | #Constraints: 5221
325.12/326.33 c #Conflicts: 48000 | #Constraints: 6221
325.12/326.33 c #Conflicts: 49000 | #Constraints: 7221
325.12/326.33 c #Conflicts: 50000 | #Constraints: 8221
325.12/326.33 c #Conflicts: 51000 | #Constraints: 9221
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 52000 | #Constraints: 5620
325.12/326.33 c #Conflicts: 53000 | #Constraints: 6620
325.12/326.33 c #Conflicts: 54000 | #Constraints: 7620
325.12/326.33 c #Conflicts: 55000 | #Constraints: 8620
325.12/326.33 c #Conflicts: 56000 | #Constraints: 9620
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 57000 | #Constraints: 5819
325.12/326.33 c #Conflicts: 58000 | #Constraints: 6819
325.12/326.33 c #Conflicts: 59000 | #Constraints: 7819
325.12/326.33 c #Conflicts: 60000 | #Constraints: 8819
325.12/326.33 c #Conflicts: 61000 | #Constraints: 9819
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 62000 | #Constraints: 5816
325.12/326.33 c #Conflicts: 63000 | #Constraints: 6816
325.12/326.33 c #Conflicts: 64000 | #Constraints: 7816
325.12/326.33 c #Conflicts: 65000 | #Constraints: 8816
325.12/326.33 c #Conflicts: 66000 | #Constraints: 9816
325.12/326.33 c INPROCESSING
325.12/326.33 c GARBAGE COLLECT
325.12/326.33 c #Conflicts: 67000 | #Constraints: 5620
325.12/326.33 c #Conflicts: 68000 | #Constraints: 6620
371.41/372.76 c #Conflicts: 69000 | #Constraints: 7620
371.41/372.76 c #Conflicts: 70000 | #Constraints: 8620
371.41/372.76 c #Conflicts: 71000 | #Constraints: 9620
371.41/372.76 c #Conflicts: 72000 | #Constraints: 10620
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 73000 | #Constraints: 6218
371.41/372.76 c #Conflicts: 74000 | #Constraints: 7218
371.41/372.76 c #Conflicts: 75000 | #Constraints: 8218
371.41/372.76 c #Conflicts: 76000 | #Constraints: 9218
371.41/372.76 c #Conflicts: 77000 | #Constraints: 10218
371.41/372.76 c #Conflicts: 78000 | #Constraints: 11218
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 79000 | #Constraints: 6619
371.41/372.76 c #Conflicts: 80000 | #Constraints: 7619
371.41/372.76 c #Conflicts: 81000 | #Constraints: 8619
371.41/372.76 c #Conflicts: 82000 | #Constraints: 9619
371.41/372.76 c #Conflicts: 83000 | #Constraints: 10619
371.41/372.76 c #Conflicts: 84000 | #Constraints: 11619
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 85000 | #Constraints: 6819
371.41/372.76 c #Conflicts: 86000 | #Constraints: 7819
371.41/372.76 c #Conflicts: 87000 | #Constraints: 8819
371.41/372.76 c #Conflicts: 88000 | #Constraints: 9819
371.41/372.76 c #Conflicts: 89000 | #Constraints: 10819
371.41/372.76 c #Conflicts: 90000 | #Constraints: 11819
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 91000 | #Constraints: 6818
371.41/372.76 c #Conflicts: 92000 | #Constraints: 7818
371.41/372.76 c #Conflicts: 93000 | #Constraints: 8818
371.41/372.76 c #Conflicts: 94000 | #Constraints: 9818
371.41/372.76 c #Conflicts: 95000 | #Constraints: 10818
371.41/372.76 c #Conflicts: 96000 | #Constraints: 11818
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 97000 | #Constraints: 6619
371.41/372.76 c #Conflicts: 98000 | #Constraints: 7619
371.41/372.76 c #Conflicts: 99000 | #Constraints: 8619
371.41/372.76 c #Conflicts: 100000 | #Constraints: 9619
371.41/372.76 c #Conflicts: 101000 | #Constraints: 10619
371.41/372.76 c #Conflicts: 102000 | #Constraints: 11619
371.41/372.76 c #Conflicts: 103000 | #Constraints: 12619
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 104000 | #Constraints: 7221
371.41/372.76 c #Conflicts: 105000 | #Constraints: 8221
371.41/372.76 c #Conflicts: 106000 | #Constraints: 9221
371.41/372.76 c #Conflicts: 107000 | #Constraints: 10221
371.41/372.76 c #Conflicts: 108000 | #Constraints: 11221
371.41/372.76 c #Conflicts: 109000 | #Constraints: 12221
371.41/372.76 c #Conflicts: 110000 | #Constraints: 13221
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 111000 | #Constraints: 7621
371.41/372.76 c #Conflicts: 112000 | #Constraints: 8621
371.41/372.76 c #Conflicts: 113000 | #Constraints: 9621
371.41/372.76 c #Conflicts: 114000 | #Constraints: 10621
371.41/372.76 c #Conflicts: 115000 | #Constraints: 11621
371.41/372.76 c #Conflicts: 116000 | #Constraints: 12621
371.41/372.76 c #Conflicts: 117000 | #Constraints: 13621
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 118000 | #Constraints: 7819
371.41/372.76 c #Conflicts: 119000 | #Constraints: 8819
371.41/372.76 c #Conflicts: 120000 | #Constraints: 9819
371.41/372.76 c #Conflicts: 121000 | #Constraints: 10819
371.41/372.76 c #Conflicts: 122000 | #Constraints: 11819
371.41/372.76 c #Conflicts: 123000 | #Constraints: 12819
371.41/372.76 c #Conflicts: 124000 | #Constraints: 13819
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 125000 | #Constraints: 7821
371.41/372.76 c #Conflicts: 126000 | #Constraints: 8821
371.41/372.76 c #Conflicts: 127000 | #Constraints: 9821
371.41/372.76 c #Conflicts: 128000 | #Constraints: 10821
371.41/372.76 c #Conflicts: 129000 | #Constraints: 11821
371.41/372.76 c #Conflicts: 130000 | #Constraints: 12821
371.41/372.76 c #Conflicts: 131000 | #Constraints: 13821
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 132000 | #Constraints: 7621
371.41/372.76 c #Conflicts: 133000 | #Constraints: 8621
371.41/372.76 c #Conflicts: 134000 | #Constraints: 9621
371.41/372.76 c #Conflicts: 135000 | #Constraints: 10621
371.41/372.76 c #Conflicts: 136000 | #Constraints: 11621
371.41/372.76 c #Conflicts: 137000 | #Constraints: 12621
371.41/372.76 c #Conflicts: 138000 | #Constraints: 13621
371.41/372.76 c #Conflicts: 139000 | #Constraints: 14621
371.41/372.76 c INPROCESSING
371.41/372.76 c GARBAGE COLLECT
371.41/372.76 c #Conflicts: 140000 | #Constraints: 8222
431.77/433.27 c #Conflicts: 141000 | #Constraints: 9222
431.77/433.27 c #Conflicts: 142000 | #Constraints: 10222
431.77/433.27 c #Conflicts: 143000 | #Constraints: 11222
431.77/433.27 c #Conflicts: 144000 | #Constraints: 12222
431.77/433.27 c #Conflicts: 145000 | #Constraints: 13222
431.77/433.27 c #Conflicts: 146000 | #Constraints: 14222
431.77/433.27 c #Conflicts: 147000 | #Constraints: 15222
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 148000 | #Constraints: 8622
431.77/433.27 c #Conflicts: 149000 | #Constraints: 9622
431.77/433.27 c #Conflicts: 150000 | #Constraints: 10622
431.77/433.27 c #Conflicts: 151000 | #Constraints: 11622
431.77/433.27 c #Conflicts: 152000 | #Constraints: 12622
431.77/433.27 c #Conflicts: 153000 | #Constraints: 13622
431.77/433.27 c #Conflicts: 154000 | #Constraints: 14622
431.77/433.27 c #Conflicts: 155000 | #Constraints: 15622
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 156000 | #Constraints: 8821
431.77/433.27 c #Conflicts: 157000 | #Constraints: 9821
431.77/433.27 c #Conflicts: 158000 | #Constraints: 10821
431.77/433.27 c #Conflicts: 159000 | #Constraints: 11821
431.77/433.27 c #Conflicts: 160000 | #Constraints: 12821
431.77/433.27 c #Conflicts: 161000 | #Constraints: 13821
431.77/433.27 c #Conflicts: 162000 | #Constraints: 14821
431.77/433.27 c #Conflicts: 163000 | #Constraints: 15821
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 164000 | #Constraints: 8823
431.77/433.27 c #Conflicts: 165000 | #Constraints: 9823
431.77/433.27 c #Conflicts: 166000 | #Constraints: 10823
431.77/433.27 c #Conflicts: 167000 | #Constraints: 11823
431.77/433.27 c #Conflicts: 168000 | #Constraints: 12823
431.77/433.27 c #Conflicts: 169000 | #Constraints: 13823
431.77/433.27 c #Conflicts: 170000 | #Constraints: 14823
431.77/433.27 c #Conflicts: 171000 | #Constraints: 15823
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 172000 | #Constraints: 8620
431.77/433.27 c #Conflicts: 173000 | #Constraints: 9620
431.77/433.27 c #Conflicts: 174000 | #Constraints: 10620
431.77/433.27 c #Conflicts: 175000 | #Constraints: 11620
431.77/433.27 c #Conflicts: 176000 | #Constraints: 12620
431.77/433.27 c #Conflicts: 177000 | #Constraints: 13620
431.77/433.27 c #Conflicts: 178000 | #Constraints: 14620
431.77/433.27 c #Conflicts: 179000 | #Constraints: 15620
431.77/433.27 c #Conflicts: 180000 | #Constraints: 16620
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 181000 | #Constraints: 9220
431.77/433.27 c #Conflicts: 182000 | #Constraints: 10220
431.77/433.27 c #Conflicts: 183000 | #Constraints: 11220
431.77/433.27 c #Conflicts: 184000 | #Constraints: 12220
431.77/433.27 c #Conflicts: 185000 | #Constraints: 13220
431.77/433.27 c #Conflicts: 186000 | #Constraints: 14220
431.77/433.27 c #Conflicts: 187000 | #Constraints: 15220
431.77/433.27 c #Conflicts: 188000 | #Constraints: 16220
431.77/433.27 c #Conflicts: 189000 | #Constraints: 17220
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 190000 | #Constraints: 9624
431.77/433.27 c #Conflicts: 191000 | #Constraints: 10624
431.77/433.27 c #Conflicts: 192000 | #Constraints: 11624
431.77/433.27 c #Conflicts: 193000 | #Constraints: 12624
431.77/433.27 c #Conflicts: 194000 | #Constraints: 13624
431.77/433.27 c #Conflicts: 195000 | #Constraints: 14624
431.77/433.27 c #Conflicts: 196000 | #Constraints: 15624
431.77/433.27 c #Conflicts: 197000 | #Constraints: 16624
431.77/433.27 c #Conflicts: 198000 | #Constraints: 17624
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 199000 | #Constraints: 9825
431.77/433.27 c #Conflicts: 200000 | #Constraints: 10825
431.77/433.27 c #Conflicts: 201000 | #Constraints: 11825
431.77/433.27 c #Conflicts: 202000 | #Constraints: 12825
431.77/433.27 c #Conflicts: 203000 | #Constraints: 13825
431.77/433.27 c #Conflicts: 204000 | #Constraints: 14825
431.77/433.27 c #Conflicts: 205000 | #Constraints: 15825
431.77/433.27 c #Conflicts: 206000 | #Constraints: 16825
431.77/433.27 c #Conflicts: 207000 | #Constraints: 17825
431.77/433.27 c INPROCESSING
431.77/433.27 c GARBAGE COLLECT
431.77/433.27 c #Conflicts: 208000 | #Constraints: 9823
431.77/433.27 c #Conflicts: 209000 | #Constraints: 10823
431.77/433.27 c #Conflicts: 210000 | #Constraints: 11823
431.77/433.27 c #Conflicts: 211000 | #Constraints: 12823
431.77/433.27 c #Conflicts: 212000 | #Constraints: 13823
431.77/433.27 c #Conflicts: 213000 | #Constraints: 14823
505.41/507.08 c #Conflicts: 214000 | #Constraints: 15823
505.41/507.08 c #Conflicts: 215000 | #Constraints: 16823
505.41/507.08 c #Conflicts: 216000 | #Constraints: 17823
505.41/507.08 c INPROCESSING
505.41/507.08 c GARBAGE COLLECT
505.41/507.08 c #Conflicts: 217000 | #Constraints: 9624
505.41/507.08 c #Conflicts: 218000 | #Constraints: 10624
505.41/507.08 c #Conflicts: 219000 | #Constraints: 11624
505.41/507.08 c #Conflicts: 220000 | #Constraints: 12624
505.41/507.08 c #Conflicts: 221000 | #Constraints: 13624
505.41/507.08 c #Conflicts: 222000 | #Constraints: 14624
505.41/507.08 c #Conflicts: 223000 | #Constraints: 15624
505.41/507.08 c #Conflicts: 224000 | #Constraints: 16624
505.41/507.08 c #Conflicts: 225000 | #Constraints: 17624
505.41/507.08 c #Conflicts: 226000 | #Constraints: 18624
505.41/507.08 c INPROCESSING
505.41/507.08 c GARBAGE COLLECT
505.41/507.08 c #Conflicts: 227000 | #Constraints: 10223
505.41/507.08 c #Conflicts: 228000 | #Constraints: 11223
505.41/507.08 c #Conflicts: 229000 | #Constraints: 12223
505.41/507.08 c #Conflicts: 230000 | #Constraints: 13223
505.41/507.08 c #Conflicts: 231000 | #Constraints: 14223
505.41/507.08 c #Conflicts: 232000 | #Constraints: 15223
505.41/507.08 c #Conflicts: 233000 | #Constraints: 16223
505.41/507.08 c #Conflicts: 234000 | #Constraints: 17223
505.41/507.08 c #Conflicts: 235000 | #Constraints: 18223
505.41/507.08 c #Conflicts: 236000 | #Constraints: 19223
505.41/507.08 c INPROCESSING
505.41/507.08 c GARBAGE COLLECT
505.41/507.08 c #Conflicts: 237000 | #Constraints: 10620
505.41/507.08 c #Conflicts: 238000 | #Constraints: 11620
505.41/507.08 c #Conflicts: 239000 | #Constraints: 12620
505.41/507.08 c #Conflicts: 240000 | #Constraints: 13620
505.41/507.08 c #Conflicts: 241000 | #Constraints: 14620
505.41/507.08 c #Conflicts: 242000 | #Constraints: 15620
505.41/507.08 c #Conflicts: 243000 | #Constraints: 16620
505.41/507.08 c #Conflicts: 244000 | #Constraints: 17620
505.41/507.08 c #Conflicts: 245000 | #Constraints: 18620
505.41/507.08 c #Conflicts: 246000 | #Constraints: 19620
505.41/507.08 c INPROCESSING
505.41/507.08 c GARBAGE COLLECT
505.41/507.08 c #Conflicts: 247000 | #Constraints: 10823
505.41/507.08 c #Conflicts: 248000 | #Constraints: 11823
505.41/507.08 c #Conflicts: 249000 | #Constraints: 12823
505.41/507.08 c #Conflicts: 250000 | #Constraints: 13823
505.41/507.08 c #Conflicts: 251000 | #Constraints: 14823
505.41/507.08 c #Conflicts: 252000 | #Constraints: 15823
505.41/507.08 c #Conflicts: 253000 | #Constraints: 16823
505.41/507.08 c #Conflicts: 254000 | #Constraints: 17823
505.41/507.08 c #Conflicts: 255000 | #Constraints: 18823
505.41/507.08 c #Conflicts: 256000 | #Constraints: 19823
505.41/507.08 c INPROCESSING
505.41/507.08 c GARBAGE COLLECT
505.41/507.08 c #Conflicts: 257000 | #Constraints: 10821
505.41/507.08 c #Conflicts: 258000 | #Constraints: 11821
505.41/507.08 c #Conflicts: 259000 | #Constraints: 12821
505.41/507.08 c #Conflicts: 260000 | #Constraints: 13821
505.41/507.08 c #Conflicts: 261000 | #Constraints: 14821
505.41/507.08 c #Conflicts: 262000 | #Constraints: 15821
505.41/507.08 c #Conflicts: 263000 | #Constraints: 16821
505.41/507.08 c #Conflicts: 264000 | #Constraints: 17821
505.41/507.08 c #Conflicts: 265000 | #Constraints: 18821
505.41/507.08 c #Conflicts: 266000 | #Constraints: 19821
505.41/507.08 c INPROCESSING
505.41/507.08 c GARBAGE COLLECT
505.41/507.08 c #Conflicts: 267000 | #Constraints: 10622
505.41/507.08 c #Conflicts: 268000 | #Constraints: 11622
505.41/507.08 c #Conflicts: 269000 | #Constraints: 12622
505.41/507.08 c #Conflicts: 270000 | #Constraints: 13622
505.41/507.08 c #Conflicts: 271000 | #Constraints: 14622
505.41/507.08 c #Conflicts: 272000 | #Constraints: 15622
505.41/507.08 c #Conflicts: 273000 | #Constraints: 16622
505.41/507.08 c #Conflicts: 274000 | #Constraints: 17622
505.41/507.08 c #Conflicts: 275000 | #Constraints: 18622
505.41/507.08 c #Conflicts: 276000 | #Constraints: 19622
505.41/507.08 c #Conflicts: 277000 | #Constraints: 20622
505.41/507.08 c INPROCESSING
505.41/507.08 c GARBAGE COLLECT
505.41/507.08 c #Conflicts: 278000 | #Constraints: 11222
505.41/507.08 c #Conflicts: 279000 | #Constraints: 12222
505.41/507.08 c #Conflicts: 280000 | #Constraints: 13222
505.41/507.08 c #Conflicts: 281000 | #Constraints: 14222
505.41/507.08 c #Conflicts: 282000 | #Constraints: 15222
505.41/507.08 c #Conflicts: 283000 | #Constraints: 16222
505.41/507.08 c #Conflicts: 284000 | #Constraints: 17222
505.41/507.08 c #Conflicts: 285000 | #Constraints: 18222
505.41/507.08 c #Conflicts: 286000 | #Constraints: 19222
505.41/507.08 c #Conflicts: 287000 | #Constraints: 20222
505.41/507.08 c #Conflicts: 288000 | #Constraints: 21222
585.21/587.04 c INPROCESSING
585.21/587.04 c GARBAGE COLLECT
585.21/587.04 c #Conflicts: 289000 | #Constraints: 11620
585.21/587.04 c #Conflicts: 290000 | #Constraints: 12620
585.21/587.04 c #Conflicts: 291000 | #Constraints: 13620
585.21/587.04 c #Conflicts: 292000 | #Constraints: 14620
585.21/587.04 c #Conflicts: 293000 | #Constraints: 15620
585.21/587.04 c #Conflicts: 294000 | #Constraints: 16620
585.21/587.04 c #Conflicts: 295000 | #Constraints: 17620
585.21/587.04 c #Conflicts: 296000 | #Constraints: 18620
585.21/587.04 c #Conflicts: 297000 | #Constraints: 19620
585.21/587.04 c #Conflicts: 298000 | #Constraints: 20620
585.21/587.04 c #Conflicts: 299000 | #Constraints: 21620
585.21/587.04 c INPROCESSING
585.21/587.04 c GARBAGE COLLECT
585.21/587.04 c #Conflicts: 300000 | #Constraints: 11823
585.21/587.04 c #Conflicts: 301000 | #Constraints: 12823
585.21/587.04 c #Conflicts: 302000 | #Constraints: 13823
585.21/587.04 c #Conflicts: 303000 | #Constraints: 14823
585.21/587.04 c #Conflicts: 304000 | #Constraints: 15823
585.21/587.04 c #Conflicts: 305000 | #Constraints: 16823
585.21/587.04 c #Conflicts: 306000 | #Constraints: 17823
585.21/587.04 c #Conflicts: 307000 | #Constraints: 18823
585.21/587.04 c #Conflicts: 308000 | #Constraints: 19823
585.21/587.04 c #Conflicts: 309000 | #Constraints: 20823
585.21/587.04 c #Conflicts: 310000 | #Constraints: 21823
585.21/587.04 c INPROCESSING
585.21/587.04 c GARBAGE COLLECT
585.21/587.04 c #Conflicts: 311000 | #Constraints: 11824
585.21/587.04 c #Conflicts: 312000 | #Constraints: 12824
585.21/587.04 c #Conflicts: 313000 | #Constraints: 13824
585.21/587.04 c #Conflicts: 314000 | #Constraints: 14824
585.21/587.04 c #Conflicts: 315000 | #Constraints: 15824
585.21/587.04 c #Conflicts: 316000 | #Constraints: 16824
585.21/587.04 c #Conflicts: 317000 | #Constraints: 17824
585.21/587.04 c #Conflicts: 318000 | #Constraints: 18824
585.21/587.04 c #Conflicts: 319000 | #Constraints: 19824
585.21/587.04 c #Conflicts: 320000 | #Constraints: 20824
585.21/587.04 c #Conflicts: 321000 | #Constraints: 21824
585.21/587.04 c INPROCESSING
585.21/587.04 c GARBAGE COLLECT
585.21/587.04 c #Conflicts: 322000 | #Constraints: 11623
585.21/587.04 c #Conflicts: 323000 | #Constraints: 12623
585.21/587.04 c #Conflicts: 324000 | #Constraints: 13623
585.21/587.04 c #Conflicts: 325000 | #Constraints: 14623
585.21/587.04 c #Conflicts: 326000 | #Constraints: 15623
585.21/587.04 c #Conflicts: 327000 | #Constraints: 16623
585.21/587.04 c #Conflicts: 328000 | #Constraints: 17623
585.21/587.04 c #Conflicts: 329000 | #Constraints: 18623
585.21/587.04 c #Conflicts: 330000 | #Constraints: 19623
585.21/587.04 c #Conflicts: 331000 | #Constraints: 20623
585.21/587.04 c #Conflicts: 332000 | #Constraints: 21623
585.21/587.04 c #Conflicts: 333000 | #Constraints: 22623
585.21/587.04 c INPROCESSING
585.21/587.04 c GARBAGE COLLECT
585.21/587.04 c #Conflicts: 334000 | #Constraints: 12220
585.21/587.04 c #Conflicts: 335000 | #Constraints: 13220
585.21/587.04 c #Conflicts: 336000 | #Constraints: 14220
585.21/587.04 c #Conflicts: 337000 | #Constraints: 15220
585.21/587.04 c #Conflicts: 338000 | #Constraints: 16220
585.21/587.04 c #Conflicts: 339000 | #Constraints: 17220
585.21/587.04 c #Conflicts: 340000 | #Constraints: 18220
585.21/587.04 c #Conflicts: 341000 | #Constraints: 19220
585.21/587.04 c #Conflicts: 342000 | #Constraints: 20220
585.21/587.04 c #Conflicts: 343000 | #Constraints: 21220
585.21/587.04 c #Conflicts: 344000 | #Constraints: 22220
585.21/587.04 c #Conflicts: 345000 | #Constraints: 23220
585.21/587.04 c INPROCESSING
585.21/587.04 c GARBAGE COLLECT
585.21/587.04 c #Conflicts: 346000 | #Constraints: 12619
585.21/587.04 c #Conflicts: 347000 | #Constraints: 13619
585.21/587.04 c #Conflicts: 348000 | #Constraints: 14619
585.21/587.04 c #Conflicts: 349000 | #Constraints: 15619
585.21/587.04 c #Conflicts: 350000 | #Constraints: 16619
585.21/587.04 c #Conflicts: 351000 | #Constraints: 17619
585.21/587.04 c #Conflicts: 352000 | #Constraints: 18619
585.21/587.04 c #Conflicts: 353000 | #Constraints: 19619
585.21/587.04 c #Conflicts: 354000 | #Constraints: 20619
585.21/587.04 c #Conflicts: 355000 | #Constraints: 21619
585.21/587.04 c #Conflicts: 356000 | #Constraints: 22619
585.21/587.04 c #Conflicts: 357000 | #Constraints: 23619
585.21/587.04 c INPROCESSING
585.21/587.04 c GARBAGE COLLECT
585.21/587.04 c #Conflicts: 358000 | #Constraints: 12819
585.21/587.04 c #Conflicts: 359000 | #Constraints: 13819
585.21/587.04 c #Conflicts: 360000 | #Constraints: 14819
585.21/587.04 c #Conflicts: 361000 | #Constraints: 15819
585.21/587.04 c #Conflicts: 362000 | #Constraints: 16819
673.01/675.06 c #Conflicts: 363000 | #Constraints: 17819
673.01/675.06 c #Conflicts: 364000 | #Constraints: 18819
673.01/675.06 c #Conflicts: 365000 | #Constraints: 19819
673.01/675.06 c #Conflicts: 366000 | #Constraints: 20819
673.01/675.06 c #Conflicts: 367000 | #Constraints: 21819
673.01/675.06 c #Conflicts: 368000 | #Constraints: 22819
673.01/675.06 c #Conflicts: 369000 | #Constraints: 23819
673.01/675.06 c INPROCESSING
673.01/675.06 c GARBAGE COLLECT
673.01/675.06 c #Conflicts: 370000 | #Constraints: 12821
673.01/675.06 c #Conflicts: 371000 | #Constraints: 13821
673.01/675.06 c #Conflicts: 372000 | #Constraints: 14821
673.01/675.06 c #Conflicts: 373000 | #Constraints: 15821
673.01/675.06 c #Conflicts: 374000 | #Constraints: 16821
673.01/675.06 c #Conflicts: 375000 | #Constraints: 17821
673.01/675.06 c #Conflicts: 376000 | #Constraints: 18821
673.01/675.06 c #Conflicts: 377000 | #Constraints: 19821
673.01/675.06 c #Conflicts: 378000 | #Constraints: 20821
673.01/675.06 c #Conflicts: 379000 | #Constraints: 21821
673.01/675.06 c #Conflicts: 380000 | #Constraints: 22821
673.01/675.06 c #Conflicts: 381000 | #Constraints: 23821
673.01/675.06 c INPROCESSING
673.01/675.06 c GARBAGE COLLECT
673.01/675.06 c #Conflicts: 382000 | #Constraints: 12621
673.01/675.06 c #Conflicts: 383000 | #Constraints: 13621
673.01/675.06 c #Conflicts: 384000 | #Constraints: 14621
673.01/675.06 c #Conflicts: 385000 | #Constraints: 15621
673.01/675.06 c #Conflicts: 386000 | #Constraints: 16621
673.01/675.06 c #Conflicts: 387000 | #Constraints: 17621
673.01/675.06 c #Conflicts: 388000 | #Constraints: 18621
673.01/675.06 c #Conflicts: 389000 | #Constraints: 19621
673.01/675.06 c #Conflicts: 390000 | #Constraints: 20621
673.01/675.06 c #Conflicts: 391000 | #Constraints: 21621
673.01/675.06 c #Conflicts: 392000 | #Constraints: 22621
673.01/675.06 c #Conflicts: 393000 | #Constraints: 23621
673.01/675.06 c #Conflicts: 394000 | #Constraints: 24621
673.01/675.06 c INPROCESSING
673.01/675.06 c GARBAGE COLLECT
673.01/675.06 c #Conflicts: 395000 | #Constraints: 13221
673.01/675.06 c #Conflicts: 396000 | #Constraints: 14221
673.01/675.06 c #Conflicts: 397000 | #Constraints: 15221
673.01/675.06 c #Conflicts: 398000 | #Constraints: 16221
673.01/675.06 c #Conflicts: 399000 | #Constraints: 17221
673.01/675.06 c #Conflicts: 400000 | #Constraints: 18221
673.01/675.06 c #Conflicts: 401000 | #Constraints: 19221
673.01/675.06 c #Conflicts: 402000 | #Constraints: 20221
673.01/675.06 c #Conflicts: 403000 | #Constraints: 21221
673.01/675.06 c #Conflicts: 404000 | #Constraints: 22221
673.01/675.06 c #Conflicts: 405000 | #Constraints: 23221
673.01/675.06 c #Conflicts: 406000 | #Constraints: 24221
673.01/675.06 c #Conflicts: 407000 | #Constraints: 25221
673.01/675.06 c INPROCESSING
673.01/675.06 c GARBAGE COLLECT
673.01/675.06 c #Conflicts: 408000 | #Constraints: 13620
673.01/675.06 c #Conflicts: 409000 | #Constraints: 14620
673.01/675.06 c #Conflicts: 410000 | #Constraints: 15620
673.01/675.06 c #Conflicts: 411000 | #Constraints: 16620
673.01/675.06 c #Conflicts: 412000 | #Constraints: 17620
673.01/675.06 c #Conflicts: 413000 | #Constraints: 18620
673.01/675.06 c #Conflicts: 414000 | #Constraints: 19620
673.01/675.06 c #Conflicts: 415000 | #Constraints: 20620
673.01/675.06 c #Conflicts: 416000 | #Constraints: 21620
673.01/675.06 c #Conflicts: 417000 | #Constraints: 22620
673.01/675.06 c #Conflicts: 418000 | #Constraints: 23620
673.01/675.06 c #Conflicts: 419000 | #Constraints: 24620
673.01/675.06 c #Conflicts: 420000 | #Constraints: 25620
673.01/675.06 c INPROCESSING
673.01/675.06 c GARBAGE COLLECT
673.01/675.06 c #Conflicts: 421000 | #Constraints: 13821
673.01/675.06 c #Conflicts: 422000 | #Constraints: 14821
673.01/675.06 c #Conflicts: 423000 | #Constraints: 15821
673.01/675.06 c #Conflicts: 424000 | #Constraints: 16821
673.01/675.06 c #Conflicts: 425000 | #Constraints: 17821
673.01/675.06 c #Conflicts: 426000 | #Constraints: 18821
673.01/675.06 c #Conflicts: 427000 | #Constraints: 19821
673.01/675.06 c #Conflicts: 428000 | #Constraints: 20821
673.01/675.06 c #Conflicts: 429000 | #Constraints: 21821
673.01/675.06 c #Conflicts: 430000 | #Constraints: 22821
673.01/675.06 c #Conflicts: 431000 | #Constraints: 23821
673.01/675.06 c #Conflicts: 432000 | #Constraints: 24821
673.01/675.06 c #Conflicts: 433000 | #Constraints: 25821
673.01/675.06 c INPROCESSING
673.01/675.06 c GARBAGE COLLECT
673.01/675.06 c #Conflicts: 434000 | #Constraints: 13823
673.01/675.06 c #Conflicts: 435000 | #Constraints: 14823
673.01/675.06 c #Conflicts: 436000 | #Constraints: 15823
673.01/675.06 c #Conflicts: 437000 | #Constraints: 16823
772.87/775.19 c #Conflicts: 438000 | #Constraints: 17823
772.87/775.19 c #Conflicts: 439000 | #Constraints: 18823
772.87/775.19 c #Conflicts: 440000 | #Constraints: 19823
772.87/775.19 c #Conflicts: 441000 | #Constraints: 20823
772.87/775.19 c #Conflicts: 442000 | #Constraints: 21823
772.87/775.19 c #Conflicts: 443000 | #Constraints: 22823
772.87/775.19 c #Conflicts: 444000 | #Constraints: 23823
772.87/775.19 c #Conflicts: 445000 | #Constraints: 24823
772.87/775.19 c #Conflicts: 446000 | #Constraints: 25823
772.87/775.19 c INPROCESSING
772.87/775.19 c GARBAGE COLLECT
772.87/775.19 c #Conflicts: 447000 | #Constraints: 13624
772.87/775.19 c #Conflicts: 448000 | #Constraints: 14624
772.87/775.19 c #Conflicts: 449000 | #Constraints: 15624
772.87/775.19 c #Conflicts: 450000 | #Constraints: 16624
772.87/775.19 c #Conflicts: 451000 | #Constraints: 17624
772.87/775.19 c #Conflicts: 452000 | #Constraints: 18624
772.87/775.19 c #Conflicts: 453000 | #Constraints: 19624
772.87/775.19 c #Conflicts: 454000 | #Constraints: 20624
772.87/775.19 c #Conflicts: 455000 | #Constraints: 21624
772.87/775.19 c #Conflicts: 456000 | #Constraints: 22624
772.87/775.19 c #Conflicts: 457000 | #Constraints: 23624
772.87/775.19 c #Conflicts: 458000 | #Constraints: 24624
772.87/775.19 c #Conflicts: 459000 | #Constraints: 25624
772.87/775.19 c #Conflicts: 460000 | #Constraints: 26624
772.87/775.19 c INPROCESSING
772.87/775.19 c GARBAGE COLLECT
772.87/775.19 c #Conflicts: 461000 | #Constraints: 14225
772.87/775.19 c #Conflicts: 462000 | #Constraints: 15225
772.87/775.19 c #Conflicts: 463000 | #Constraints: 16225
772.87/775.19 c #Conflicts: 464000 | #Constraints: 17225
772.87/775.19 c #Conflicts: 465000 | #Constraints: 18225
772.87/775.19 c #Conflicts: 466000 | #Constraints: 19225
772.87/775.19 c #Conflicts: 467000 | #Constraints: 20225
772.87/775.19 c #Conflicts: 468000 | #Constraints: 21225
772.87/775.19 c #Conflicts: 469000 | #Constraints: 22225
772.87/775.19 c #Conflicts: 470000 | #Constraints: 23225
772.87/775.19 c #Conflicts: 471000 | #Constraints: 24225
772.87/775.19 c #Conflicts: 472000 | #Constraints: 25225
772.87/775.19 c #Conflicts: 473000 | #Constraints: 26225
772.87/775.19 c #Conflicts: 474000 | #Constraints: 27225
772.87/775.19 c INPROCESSING
772.87/775.19 c GARBAGE COLLECT
772.87/775.19 c #Conflicts: 475000 | #Constraints: 14625
772.87/775.19 c #Conflicts: 476000 | #Constraints: 15625
772.87/775.19 c #Conflicts: 477000 | #Constraints: 16625
772.87/775.19 c #Conflicts: 478000 | #Constraints: 17625
772.87/775.19 c #Conflicts: 479000 | #Constraints: 18625
772.87/775.19 c #Conflicts: 480000 | #Constraints: 19625
772.87/775.19 c #Conflicts: 481000 | #Constraints: 20625
772.87/775.19 c #Conflicts: 482000 | #Constraints: 21625
772.87/775.19 c #Conflicts: 483000 | #Constraints: 22625
772.87/775.19 c #Conflicts: 484000 | #Constraints: 23625
772.87/775.19 c #Conflicts: 485000 | #Constraints: 24625
772.87/775.19 c #Conflicts: 486000 | #Constraints: 25625
772.87/775.19 c #Conflicts: 487000 | #Constraints: 26625
772.87/775.19 c #Conflicts: 488000 | #Constraints: 27625
772.87/775.19 c INPROCESSING
772.87/775.19 c GARBAGE COLLECT
772.87/775.19 c #Conflicts: 489000 | #Constraints: 14824
772.87/775.19 c #Conflicts: 490000 | #Constraints: 15824
772.87/775.19 c #Conflicts: 491000 | #Constraints: 16824
772.87/775.19 c #Conflicts: 492000 | #Constraints: 17824
772.87/775.19 c #Conflicts: 493000 | #Constraints: 18824
772.87/775.19 c #Conflicts: 494000 | #Constraints: 19824
772.87/775.19 c #Conflicts: 495000 | #Constraints: 20824
772.87/775.19 c #Conflicts: 496000 | #Constraints: 21824
772.87/775.19 c #Conflicts: 497000 | #Constraints: 22824
772.87/775.19 c #Conflicts: 498000 | #Constraints: 23824
772.87/775.19 c #Conflicts: 499000 | #Constraints: 24824
772.87/775.19 c #Conflicts: 500000 | #Constraints: 25824
772.87/775.19 c #Conflicts: 501000 | #Constraints: 26824
772.87/775.19 c #Conflicts: 502000 | #Constraints: 27824
772.87/775.19 c INPROCESSING
772.87/775.19 c GARBAGE COLLECT
772.87/775.19 c #Conflicts: 503000 | #Constraints: 14826
772.87/775.19 c #Conflicts: 504000 | #Constraints: 15826
772.87/775.19 c #Conflicts: 505000 | #Constraints: 16826
772.87/775.19 c #Conflicts: 506000 | #Constraints: 17826
772.87/775.19 c #Conflicts: 507000 | #Constraints: 18826
772.87/775.19 c #Conflicts: 508000 | #Constraints: 19826
772.87/775.19 c #Conflicts: 509000 | #Constraints: 20826
772.87/775.19 c #Conflicts: 510000 | #Constraints: 21826
772.87/775.19 c #Conflicts: 511000 | #Constraints: 22826
772.87/775.19 c #Conflicts: 512000 | #Constraints: 23826
772.87/775.19 c #Conflicts: 513000 | #Constraints: 24826
875.53/878.09 c #Conflicts: 514000 | #Constraints: 25826
875.53/878.09 c #Conflicts: 515000 | #Constraints: 26826
875.53/878.09 c #Conflicts: 516000 | #Constraints: 27826
875.53/878.09 c INPROCESSING
875.53/878.09 c GARBAGE COLLECT
875.53/878.09 c #Conflicts: 517000 | #Constraints: 14622
875.53/878.09 c #Conflicts: 518000 | #Constraints: 15622
875.53/878.09 c #Conflicts: 519000 | #Constraints: 16622
875.53/878.09 c #Conflicts: 520000 | #Constraints: 17622
875.53/878.09 c #Conflicts: 521000 | #Constraints: 18622
875.53/878.09 c #Conflicts: 522000 | #Constraints: 19622
875.53/878.09 c #Conflicts: 523000 | #Constraints: 20622
875.53/878.09 c #Conflicts: 524000 | #Constraints: 21622
875.53/878.09 c #Conflicts: 525000 | #Constraints: 22622
875.53/878.09 c #Conflicts: 526000 | #Constraints: 23622
875.53/878.09 c #Conflicts: 527000 | #Constraints: 24622
875.53/878.09 c #Conflicts: 528000 | #Constraints: 25622
875.53/878.09 c #Conflicts: 529000 | #Constraints: 26622
875.53/878.09 c #Conflicts: 530000 | #Constraints: 27622
875.53/878.09 c #Conflicts: 531000 | #Constraints: 28622
875.53/878.09 c INPROCESSING
875.53/878.09 c GARBAGE COLLECT
875.53/878.09 c #Conflicts: 532000 | #Constraints: 15224
875.53/878.09 c #Conflicts: 533000 | #Constraints: 16224
875.53/878.09 c #Conflicts: 534000 | #Constraints: 17224
875.53/878.09 c #Conflicts: 535000 | #Constraints: 18224
875.53/878.09 c #Conflicts: 536000 | #Constraints: 19224
875.53/878.09 c #Conflicts: 537000 | #Constraints: 20224
875.53/878.09 c #Conflicts: 538000 | #Constraints: 21224
875.53/878.09 c #Conflicts: 539000 | #Constraints: 22224
875.53/878.09 c #Conflicts: 540000 | #Constraints: 23224
875.53/878.09 c #Conflicts: 541000 | #Constraints: 24224
875.53/878.09 c #Conflicts: 542000 | #Constraints: 25224
875.53/878.09 c #Conflicts: 543000 | #Constraints: 26224
875.53/878.09 c #Conflicts: 544000 | #Constraints: 27224
875.53/878.09 c #Conflicts: 545000 | #Constraints: 28224
875.53/878.09 c #Conflicts: 546000 | #Constraints: 29224
875.53/878.09 c INPROCESSING
875.53/878.09 c GARBAGE COLLECT
875.53/878.09 c #Conflicts: 547000 | #Constraints: 15624
875.53/878.09 c #Conflicts: 548000 | #Constraints: 16624
875.53/878.09 c #Conflicts: 549000 | #Constraints: 17624
875.53/878.09 c #Conflicts: 550000 | #Constraints: 18624
875.53/878.09 c #Conflicts: 551000 | #Constraints: 19624
875.53/878.09 c #Conflicts: 552000 | #Constraints: 20624
875.53/878.09 c #Conflicts: 553000 | #Constraints: 21624
875.53/878.09 c #Conflicts: 554000 | #Constraints: 22624
875.53/878.09 c #Conflicts: 555000 | #Constraints: 23624
875.53/878.09 c #Conflicts: 556000 | #Constraints: 24624
875.53/878.09 c #Conflicts: 557000 | #Constraints: 25624
875.53/878.09 c #Conflicts: 558000 | #Constraints: 26624
875.53/878.09 c #Conflicts: 559000 | #Constraints: 27624
875.53/878.09 c #Conflicts: 560000 | #Constraints: 28624
875.53/878.09 c #Conflicts: 561000 | #Constraints: 29624
875.53/878.09 c INPROCESSING
875.53/878.09 c GARBAGE COLLECT
875.53/878.09 c #Conflicts: 562000 | #Constraints: 15820
875.53/878.09 c #Conflicts: 563000 | #Constraints: 16820
875.53/878.09 c #Conflicts: 564000 | #Constraints: 17820
875.53/878.09 c #Conflicts: 565000 | #Constraints: 18820
875.53/878.09 c #Conflicts: 566000 | #Constraints: 19820
875.53/878.09 c #Conflicts: 567000 | #Constraints: 20820
875.53/878.09 c #Conflicts: 568000 | #Constraints: 21820
875.53/878.09 c #Conflicts: 569000 | #Constraints: 22820
875.53/878.09 c #Conflicts: 570000 | #Constraints: 23820
875.53/878.09 c #Conflicts: 571000 | #Constraints: 24820
875.53/878.09 c #Conflicts: 572000 | #Constraints: 25820
875.53/878.09 c #Conflicts: 573000 | #Constraints: 26820
875.53/878.09 c #Conflicts: 574000 | #Constraints: 27820
875.53/878.09 c #Conflicts: 575000 | #Constraints: 28820
875.53/878.09 c #Conflicts: 576000 | #Constraints: 29820
875.53/878.09 c INPROCESSING
875.53/878.09 c GARBAGE COLLECT
875.53/878.09 c #Conflicts: 577000 | #Constraints: 15820
875.53/878.09 c #Conflicts: 578000 | #Constraints: 16820
875.53/878.09 c #Conflicts: 579000 | #Constraints: 17820
875.53/878.09 c #Conflicts: 580000 | #Constraints: 18820
875.53/878.09 c #Conflicts: 581000 | #Constraints: 19820
875.53/878.09 c #Conflicts: 582000 | #Constraints: 20820
875.53/878.09 c #Conflicts: 583000 | #Constraints: 21820
875.53/878.09 c #Conflicts: 584000 | #Constraints: 22820
875.53/878.09 c #Conflicts: 585000 | #Constraints: 23820
875.53/878.09 c #Conflicts: 586000 | #Constraints: 24820
875.53/878.09 c #Conflicts: 587000 | #Constraints: 25820
875.53/878.09 c #Conflicts: 588000 | #Constraints: 26820
989.65/992.45 c #Conflicts: 589000 | #Constraints: 27820
989.65/992.45 c #Conflicts: 590000 | #Constraints: 28820
989.65/992.45 c #Conflicts: 591000 | #Constraints: 29820
989.65/992.45 c INPROCESSING
989.65/992.45 c GARBAGE COLLECT
989.65/992.45 c #Conflicts: 592000 | #Constraints: 15621
989.65/992.45 c #Conflicts: 593000 | #Constraints: 16621
989.65/992.45 c #Conflicts: 594000 | #Constraints: 17621
989.65/992.45 c #Conflicts: 595000 | #Constraints: 18621
989.65/992.45 c #Conflicts: 596000 | #Constraints: 19621
989.65/992.45 c #Conflicts: 597000 | #Constraints: 20621
989.65/992.45 c #Conflicts: 598000 | #Constraints: 21621
989.65/992.45 c #Conflicts: 599000 | #Constraints: 22621
989.65/992.45 c #Conflicts: 600000 | #Constraints: 23621
989.65/992.45 c #Conflicts: 601000 | #Constraints: 24621
989.65/992.45 c #Conflicts: 602000 | #Constraints: 25621
989.65/992.45 c #Conflicts: 603000 | #Constraints: 26621
989.65/992.45 c #Conflicts: 604000 | #Constraints: 27621
989.65/992.45 c #Conflicts: 605000 | #Constraints: 28621
989.65/992.45 c #Conflicts: 606000 | #Constraints: 29621
989.65/992.45 c #Conflicts: 607000 | #Constraints: 30621
989.65/992.45 c INPROCESSING
989.65/992.45 c GARBAGE COLLECT
989.65/992.45 c #Conflicts: 608000 | #Constraints: 16223
989.65/992.45 c #Conflicts: 609000 | #Constraints: 17223
989.65/992.45 c #Conflicts: 610000 | #Constraints: 18223
989.65/992.45 c #Conflicts: 611000 | #Constraints: 19223
989.65/992.45 c #Conflicts: 612000 | #Constraints: 20223
989.65/992.45 c #Conflicts: 613000 | #Constraints: 21223
989.65/992.45 c #Conflicts: 614000 | #Constraints: 22223
989.65/992.45 c #Conflicts: 615000 | #Constraints: 23223
989.65/992.45 c #Conflicts: 616000 | #Constraints: 24223
989.65/992.45 c #Conflicts: 617000 | #Constraints: 25223
989.65/992.45 c #Conflicts: 618000 | #Constraints: 26223
989.65/992.45 c #Conflicts: 619000 | #Constraints: 27223
989.65/992.45 c #Conflicts: 620000 | #Constraints: 28223
989.65/992.45 c #Conflicts: 621000 | #Constraints: 29223
989.65/992.45 c #Conflicts: 622000 | #Constraints: 30223
989.65/992.45 c #Conflicts: 623000 | #Constraints: 31223
989.65/992.45 c INPROCESSING
989.65/992.45 c GARBAGE COLLECT
989.65/992.45 c #Conflicts: 624000 | #Constraints: 16622
989.65/992.45 c #Conflicts: 625000 | #Constraints: 17622
989.65/992.45 c #Conflicts: 626000 | #Constraints: 18622
989.65/992.45 c #Conflicts: 627000 | #Constraints: 19622
989.65/992.45 c #Conflicts: 628000 | #Constraints: 20622
989.65/992.45 c #Conflicts: 629000 | #Constraints: 21622
989.65/992.45 c #Conflicts: 630000 | #Constraints: 22622
989.65/992.45 c #Conflicts: 631000 | #Constraints: 23622
989.65/992.45 c #Conflicts: 632000 | #Constraints: 24622
989.65/992.45 c #Conflicts: 633000 | #Constraints: 25622
989.65/992.45 c #Conflicts: 634000 | #Constraints: 26622
989.65/992.45 c #Conflicts: 635000 | #Constraints: 27622
989.65/992.45 c #Conflicts: 636000 | #Constraints: 28622
989.65/992.45 c #Conflicts: 637000 | #Constraints: 29622
989.65/992.45 c #Conflicts: 638000 | #Constraints: 30622
989.65/992.45 c #Conflicts: 639000 | #Constraints: 31622
989.65/992.45 c INPROCESSING
989.65/992.45 c GARBAGE COLLECT
989.65/992.45 c #Conflicts: 640000 | #Constraints: 16821
989.65/992.45 c #Conflicts: 641000 | #Constraints: 17821
989.65/992.45 c #Conflicts: 642000 | #Constraints: 18821
989.65/992.45 c #Conflicts: 643000 | #Constraints: 19821
989.65/992.45 c #Conflicts: 644000 | #Constraints: 20821
989.65/992.45 c #Conflicts: 645000 | #Constraints: 21821
989.65/992.45 c #Conflicts: 646000 | #Constraints: 22821
989.65/992.45 c #Conflicts: 647000 | #Constraints: 23821
989.65/992.45 c #Conflicts: 648000 | #Constraints: 24821
989.65/992.45 c #Conflicts: 649000 | #Constraints: 25821
989.65/992.45 c #Conflicts: 650000 | #Constraints: 26821
989.65/992.45 c #Conflicts: 651000 | #Constraints: 27821
989.65/992.45 c #Conflicts: 652000 | #Constraints: 28821
989.65/992.45 c #Conflicts: 653000 | #Constraints: 29821
989.65/992.45 c #Conflicts: 654000 | #Constraints: 30821
989.65/992.45 c #Conflicts: 655000 | #Constraints: 31821
989.65/992.45 c INPROCESSING
989.65/992.45 c GARBAGE COLLECT
989.65/992.45 c #Conflicts: 656000 | #Constraints: 16822
989.65/992.45 c #Conflicts: 657000 | #Constraints: 17822
989.65/992.45 c #Conflicts: 658000 | #Constraints: 18822
989.65/992.45 c #Conflicts: 659000 | #Constraints: 19822
989.65/992.45 c #Conflicts: 660000 | #Constraints: 20822
989.65/992.45 c #Conflicts: 661000 | #Constraints: 21822
989.65/992.45 c #Conflicts: 662000 | #Constraints: 22822
989.65/992.45 c #Conflicts: 663000 | #Constraints: 23822
989.65/992.45 c #Conflicts: 664000 | #Constraints: 24822
1111.97/1115.03 c #Conflicts: 665000 | #Constraints: 25822
1111.97/1115.03 c #Conflicts: 666000 | #Constraints: 26822
1111.97/1115.03 c #Conflicts: 667000 | #Constraints: 27822
1111.97/1115.03 c #Conflicts: 668000 | #Constraints: 28822
1111.97/1115.03 c #Conflicts: 669000 | #Constraints: 29822
1111.97/1115.03 c #Conflicts: 670000 | #Constraints: 30822
1111.97/1115.03 c #Conflicts: 671000 | #Constraints: 31822
1111.97/1115.03 c INPROCESSING
1111.97/1115.03 c GARBAGE COLLECT
1111.97/1115.03 c #Conflicts: 672000 | #Constraints: 16621
1111.97/1115.03 c #Conflicts: 673000 | #Constraints: 17621
1111.97/1115.03 c #Conflicts: 674000 | #Constraints: 18621
1111.97/1115.03 c #Conflicts: 675000 | #Constraints: 19621
1111.97/1115.03 c #Conflicts: 676000 | #Constraints: 20621
1111.97/1115.03 c #Conflicts: 677000 | #Constraints: 21621
1111.97/1115.03 c #Conflicts: 678000 | #Constraints: 22621
1111.97/1115.03 c #Conflicts: 679000 | #Constraints: 23621
1111.97/1115.03 c #Conflicts: 680000 | #Constraints: 24621
1111.97/1115.03 c #Conflicts: 681000 | #Constraints: 25621
1111.97/1115.03 c #Conflicts: 682000 | #Constraints: 26621
1111.97/1115.03 c #Conflicts: 683000 | #Constraints: 27621
1111.97/1115.03 c #Conflicts: 684000 | #Constraints: 28621
1111.97/1115.03 c #Conflicts: 685000 | #Constraints: 29621
1111.97/1115.03 c #Conflicts: 686000 | #Constraints: 30621
1111.97/1115.03 c #Conflicts: 687000 | #Constraints: 31621
1111.97/1115.03 c #Conflicts: 688000 | #Constraints: 32621
1111.97/1115.03 c INPROCESSING
1111.97/1115.03 c GARBAGE COLLECT
1111.97/1115.03 c #Conflicts: 689000 | #Constraints: 17219
1111.97/1115.03 c #Conflicts: 690000 | #Constraints: 18219
1111.97/1115.03 c #Conflicts: 691000 | #Constraints: 19219
1111.97/1115.03 c #Conflicts: 692000 | #Constraints: 20219
1111.97/1115.03 c #Conflicts: 693000 | #Constraints: 21219
1111.97/1115.03 c #Conflicts: 694000 | #Constraints: 22219
1111.97/1115.03 c #Conflicts: 695000 | #Constraints: 23219
1111.97/1115.03 c #Conflicts: 696000 | #Constraints: 24219
1111.97/1115.03 c #Conflicts: 697000 | #Constraints: 25219
1111.97/1115.03 c #Conflicts: 698000 | #Constraints: 26219
1111.97/1115.03 c #Conflicts: 699000 | #Constraints: 27219
1111.97/1115.03 c #Conflicts: 700000 | #Constraints: 28219
1111.97/1115.03 c #Conflicts: 701000 | #Constraints: 29219
1111.97/1115.03 c #Conflicts: 702000 | #Constraints: 30219
1111.97/1115.03 c #Conflicts: 703000 | #Constraints: 31219
1111.97/1115.03 c #Conflicts: 704000 | #Constraints: 32219
1111.97/1115.03 c #Conflicts: 705000 | #Constraints: 33219
1111.97/1115.03 c INPROCESSING
1111.97/1115.03 c GARBAGE COLLECT
1111.97/1115.03 c #Conflicts: 706000 | #Constraints: 17621
1111.97/1115.03 c #Conflicts: 707000 | #Constraints: 18621
1111.97/1115.03 c #Conflicts: 708000 | #Constraints: 19621
1111.97/1115.03 c #Conflicts: 709000 | #Constraints: 20621
1111.97/1115.03 c #Conflicts: 710000 | #Constraints: 21621
1111.97/1115.03 c #Conflicts: 711000 | #Constraints: 22621
1111.97/1115.03 c #Conflicts: 712000 | #Constraints: 23621
1111.97/1115.03 c #Conflicts: 713000 | #Constraints: 24621
1111.97/1115.03 c #Conflicts: 714000 | #Constraints: 25621
1111.97/1115.03 c #Conflicts: 715000 | #Constraints: 26621
1111.97/1115.03 c #Conflicts: 716000 | #Constraints: 27621
1111.97/1115.03 c #Conflicts: 717000 | #Constraints: 28621
1111.97/1115.03 c #Conflicts: 718000 | #Constraints: 29621
1111.97/1115.03 c #Conflicts: 719000 | #Constraints: 30621
1111.97/1115.03 c #Conflicts: 720000 | #Constraints: 31621
1111.97/1115.03 c #Conflicts: 721000 | #Constraints: 32621
1111.97/1115.03 c #Conflicts: 722000 | #Constraints: 33621
1111.97/1115.03 c INPROCESSING
1111.97/1115.03 c GARBAGE COLLECT
1111.97/1115.03 c #Conflicts: 723000 | #Constraints: 17820
1111.97/1115.03 c #Conflicts: 724000 | #Constraints: 18820
1111.97/1115.03 c #Conflicts: 725000 | #Constraints: 19820
1111.97/1115.03 c #Conflicts: 726000 | #Constraints: 20820
1111.97/1115.03 c #Conflicts: 727000 | #Constraints: 21820
1111.97/1115.03 c #Conflicts: 728000 | #Constraints: 22820
1111.97/1115.03 c #Conflicts: 729000 | #Constraints: 23820
1111.97/1115.03 c #Conflicts: 730000 | #Constraints: 24820
1111.97/1115.03 c #Conflicts: 731000 | #Constraints: 25820
1111.97/1115.03 c #Conflicts: 732000 | #Constraints: 26820
1111.97/1115.03 c #Conflicts: 733000 | #Constraints: 27820
1111.97/1115.03 c #Conflicts: 734000 | #Constraints: 28820
1111.97/1115.03 c #Conflicts: 735000 | #Constraints: 29820
1111.97/1115.03 c #Conflicts: 736000 | #Constraints: 30820
1111.97/1115.03 c #Conflicts: 737000 | #Constraints: 31820
1111.97/1115.03 c #Conflicts: 738000 | #Constraints: 32820
1111.97/1115.03 c #Conflicts: 739000 | #Constraints: 33820
1111.97/1115.03 c INPROCESSING
1111.97/1115.03 c GARBAGE COLLECT
1243.07/1246.48 c #Conflicts: 740000 | #Constraints: 17822
1243.07/1246.48 c #Conflicts: 741000 | #Constraints: 18822
1243.07/1246.48 c #Conflicts: 742000 | #Constraints: 19822
1243.07/1246.48 c #Conflicts: 743000 | #Constraints: 20822
1243.07/1246.48 c #Conflicts: 744000 | #Constraints: 21822
1243.07/1246.48 c #Conflicts: 745000 | #Constraints: 22822
1243.07/1246.48 c #Conflicts: 746000 | #Constraints: 23822
1243.07/1246.48 c #Conflicts: 747000 | #Constraints: 24822
1243.07/1246.48 c #Conflicts: 748000 | #Constraints: 25822
1243.07/1246.48 c #Conflicts: 749000 | #Constraints: 26822
1243.07/1246.48 c #Conflicts: 750000 | #Constraints: 27822
1243.07/1246.48 c #Conflicts: 751000 | #Constraints: 28822
1243.07/1246.48 c #Conflicts: 752000 | #Constraints: 29822
1243.07/1246.48 c #Conflicts: 753000 | #Constraints: 30822
1243.07/1246.48 c #Conflicts: 754000 | #Constraints: 31822
1243.07/1246.48 c #Conflicts: 755000 | #Constraints: 32822
1243.07/1246.48 c #Conflicts: 756000 | #Constraints: 33822
1243.07/1246.48 c INPROCESSING
1243.07/1246.48 c GARBAGE COLLECT
1243.07/1246.48 c #Conflicts: 757000 | #Constraints: 17620
1243.07/1246.48 c #Conflicts: 758000 | #Constraints: 18620
1243.07/1246.48 c #Conflicts: 759000 | #Constraints: 19620
1243.07/1246.48 c #Conflicts: 760000 | #Constraints: 20620
1243.07/1246.48 c #Conflicts: 761000 | #Constraints: 21620
1243.07/1246.48 c #Conflicts: 762000 | #Constraints: 22620
1243.07/1246.48 c #Conflicts: 763000 | #Constraints: 23620
1243.07/1246.48 c #Conflicts: 764000 | #Constraints: 24620
1243.07/1246.48 c #Conflicts: 765000 | #Constraints: 25620
1243.07/1246.48 c #Conflicts: 766000 | #Constraints: 26620
1243.07/1246.48 c #Conflicts: 767000 | #Constraints: 27620
1243.07/1246.48 c #Conflicts: 768000 | #Constraints: 28620
1243.07/1246.48 c #Conflicts: 769000 | #Constraints: 29620
1243.07/1246.48 c #Conflicts: 770000 | #Constraints: 30620
1243.07/1246.48 c #Conflicts: 771000 | #Constraints: 31620
1243.07/1246.48 c #Conflicts: 772000 | #Constraints: 32620
1243.07/1246.48 c #Conflicts: 773000 | #Constraints: 33620
1243.07/1246.48 c #Conflicts: 774000 | #Constraints: 34620
1243.07/1246.48 c INPROCESSING
1243.07/1246.48 c GARBAGE COLLECT
1243.07/1246.48 c #Conflicts: 775000 | #Constraints: 18219
1243.07/1246.48 c #Conflicts: 776000 | #Constraints: 19219
1243.07/1246.48 c #Conflicts: 777000 | #Constraints: 20219
1243.07/1246.48 c #Conflicts: 778000 | #Constraints: 21219
1243.07/1246.48 c #Conflicts: 779000 | #Constraints: 22219
1243.07/1246.48 c #Conflicts: 780000 | #Constraints: 23219
1243.07/1246.48 c #Conflicts: 781000 | #Constraints: 24219
1243.07/1246.48 c #Conflicts: 782000 | #Constraints: 25219
1243.07/1246.48 c #Conflicts: 783000 | #Constraints: 26219
1243.07/1246.48 c #Conflicts: 784000 | #Constraints: 27219
1243.07/1246.48 c #Conflicts: 785000 | #Constraints: 28219
1243.07/1246.48 c #Conflicts: 786000 | #Constraints: 29219
1243.07/1246.48 c #Conflicts: 787000 | #Constraints: 30219
1243.07/1246.48 c #Conflicts: 788000 | #Constraints: 31219
1243.07/1246.48 c #Conflicts: 789000 | #Constraints: 32219
1243.07/1246.48 c #Conflicts: 790000 | #Constraints: 33219
1243.07/1246.48 c #Conflicts: 791000 | #Constraints: 34219
1243.07/1246.48 c #Conflicts: 792000 | #Constraints: 35219
1243.07/1246.48 c INPROCESSING
1243.07/1246.48 c GARBAGE COLLECT
1243.07/1246.48 c #Conflicts: 793000 | #Constraints: 18621
1243.07/1246.48 c #Conflicts: 794000 | #Constraints: 19621
1243.07/1246.48 c #Conflicts: 795000 | #Constraints: 20621
1243.07/1246.48 c #Conflicts: 796000 | #Constraints: 21621
1243.07/1246.48 c #Conflicts: 797000 | #Constraints: 22621
1243.07/1246.48 c #Conflicts: 798000 | #Constraints: 23621
1243.07/1246.48 c #Conflicts: 799000 | #Constraints: 24621
1243.07/1246.48 c #Conflicts: 800000 | #Constraints: 25621
1243.07/1246.48 c #Conflicts: 801000 | #Constraints: 26621
1243.07/1246.48 c #Conflicts: 802000 | #Constraints: 27621
1243.07/1246.48 c #Conflicts: 803000 | #Constraints: 28621
1243.07/1246.48 c #Conflicts: 804000 | #Constraints: 29621
1243.07/1246.48 c #Conflicts: 805000 | #Constraints: 30621
1243.07/1246.48 c #Conflicts: 806000 | #Constraints: 31621
1243.07/1246.48 c #Conflicts: 807000 | #Constraints: 32621
1243.07/1246.48 c #Conflicts: 808000 | #Constraints: 33621
1243.07/1246.48 c #Conflicts: 809000 | #Constraints: 34621
1243.07/1246.48 c #Conflicts: 810000 | #Constraints: 35621
1243.07/1246.48 c INPROCESSING
1243.07/1246.48 c GARBAGE COLLECT
1243.07/1246.48 c #Conflicts: 811000 | #Constraints: 18822
1243.07/1246.48 c #Conflicts: 812000 | #Constraints: 19822
1243.07/1246.48 c #Conflicts: 813000 | #Constraints: 20822
1243.07/1246.48 c #Conflicts: 814000 | #Constraints: 21822
1243.07/1246.48 c #Conflicts: 815000 | #Constraints: 22822
1243.07/1246.48 c #Conflicts: 816000 | #Constraints: 23822
1379.66/1383.30 c #Conflicts: 817000 | #Constraints: 24822
1379.66/1383.30 c #Conflicts: 818000 | #Constraints: 25822
1379.66/1383.30 c #Conflicts: 819000 | #Constraints: 26822
1379.66/1383.30 c #Conflicts: 820000 | #Constraints: 27822
1379.66/1383.30 c #Conflicts: 821000 | #Constraints: 28822
1379.66/1383.30 c #Conflicts: 822000 | #Constraints: 29822
1379.66/1383.30 c #Conflicts: 823000 | #Constraints: 30822
1379.66/1383.30 c #Conflicts: 824000 | #Constraints: 31822
1379.66/1383.30 c #Conflicts: 825000 | #Constraints: 32822
1379.66/1383.30 c #Conflicts: 826000 | #Constraints: 33822
1379.66/1383.30 c #Conflicts: 827000 | #Constraints: 34822
1379.66/1383.30 c #Conflicts: 828000 | #Constraints: 35822
1379.66/1383.30 c INPROCESSING
1379.66/1383.30 c GARBAGE COLLECT
1379.66/1383.30 c #Conflicts: 829000 | #Constraints: 18824
1379.66/1383.30 c #Conflicts: 830000 | #Constraints: 19824
1379.66/1383.30 c #Conflicts: 831000 | #Constraints: 20824
1379.66/1383.30 c #Conflicts: 832000 | #Constraints: 21824
1379.66/1383.30 c #Conflicts: 833000 | #Constraints: 22824
1379.66/1383.30 c #Conflicts: 834000 | #Constraints: 23824
1379.66/1383.30 c #Conflicts: 835000 | #Constraints: 24824
1379.66/1383.30 c #Conflicts: 836000 | #Constraints: 25824
1379.66/1383.30 c #Conflicts: 837000 | #Constraints: 26824
1379.66/1383.30 c #Conflicts: 838000 | #Constraints: 27824
1379.66/1383.30 c #Conflicts: 839000 | #Constraints: 28824
1379.66/1383.30 c #Conflicts: 840000 | #Constraints: 29824
1379.66/1383.30 c #Conflicts: 841000 | #Constraints: 30824
1379.66/1383.30 c #Conflicts: 842000 | #Constraints: 31824
1379.66/1383.30 c #Conflicts: 843000 | #Constraints: 32824
1379.66/1383.30 c #Conflicts: 844000 | #Constraints: 33824
1379.66/1383.30 c #Conflicts: 845000 | #Constraints: 34824
1379.66/1383.30 c #Conflicts: 846000 | #Constraints: 35824
1379.66/1383.30 c INPROCESSING
1379.66/1383.30 c GARBAGE COLLECT
1379.66/1383.30 c #Conflicts: 847000 | #Constraints: 18624
1379.66/1383.30 c #Conflicts: 848000 | #Constraints: 19624
1379.66/1383.30 c #Conflicts: 849000 | #Constraints: 20624
1379.66/1383.30 c #Conflicts: 850000 | #Constraints: 21624
1379.66/1383.30 c #Conflicts: 851000 | #Constraints: 22624
1379.66/1383.30 c #Conflicts: 852000 | #Constraints: 23624
1379.66/1383.30 c #Conflicts: 853000 | #Constraints: 24624
1379.66/1383.30 c #Conflicts: 854000 | #Constraints: 25624
1379.66/1383.30 c #Conflicts: 855000 | #Constraints: 26624
1379.66/1383.30 c #Conflicts: 856000 | #Constraints: 27624
1379.66/1383.30 c #Conflicts: 857000 | #Constraints: 28624
1379.66/1383.30 c #Conflicts: 858000 | #Constraints: 29624
1379.66/1383.30 c #Conflicts: 859000 | #Constraints: 30624
1379.66/1383.30 c #Conflicts: 860000 | #Constraints: 31624
1379.66/1383.30 c #Conflicts: 861000 | #Constraints: 32624
1379.66/1383.30 c #Conflicts: 862000 | #Constraints: 33624
1379.66/1383.30 c #Conflicts: 863000 | #Constraints: 34624
1379.66/1383.30 c #Conflicts: 864000 | #Constraints: 35624
1379.66/1383.30 c #Conflicts: 865000 | #Constraints: 36624
1379.66/1383.30 c INPROCESSING
1379.66/1383.30 c GARBAGE COLLECT
1379.66/1383.30 c #Conflicts: 866000 | #Constraints: 19223
1379.66/1383.30 c #Conflicts: 867000 | #Constraints: 20223
1379.66/1383.30 c #Conflicts: 868000 | #Constraints: 21223
1379.66/1383.30 c #Conflicts: 869000 | #Constraints: 22223
1379.66/1383.30 c #Conflicts: 870000 | #Constraints: 23223
1379.66/1383.30 c #Conflicts: 871000 | #Constraints: 24223
1379.66/1383.30 c #Conflicts: 872000 | #Constraints: 25223
1379.66/1383.30 c #Conflicts: 873000 | #Constraints: 26223
1379.66/1383.30 c #Conflicts: 874000 | #Constraints: 27223
1379.66/1383.30 c #Conflicts: 875000 | #Constraints: 28223
1379.66/1383.30 c #Conflicts: 876000 | #Constraints: 29223
1379.66/1383.30 c #Conflicts: 877000 | #Constraints: 30223
1379.66/1383.30 c #Conflicts: 878000 | #Constraints: 31223
1379.66/1383.30 c #Conflicts: 879000 | #Constraints: 32223
1379.66/1383.30 c #Conflicts: 880000 | #Constraints: 33223
1379.66/1383.30 c #Conflicts: 881000 | #Constraints: 34223
1379.66/1383.30 c #Conflicts: 882000 | #Constraints: 35223
1379.66/1383.30 c #Conflicts: 883000 | #Constraints: 36223
1379.66/1383.30 c #Conflicts: 884000 | #Constraints: 37223
1379.66/1383.30 c INPROCESSING
1379.66/1383.30 c GARBAGE COLLECT
1379.66/1383.30 c #Conflicts: 885000 | #Constraints: 19622
1379.66/1383.30 c #Conflicts: 886000 | #Constraints: 20622
1379.66/1383.30 c #Conflicts: 887000 | #Constraints: 21622
1379.66/1383.30 c #Conflicts: 888000 | #Constraints: 22622
1379.66/1383.30 c #Conflicts: 889000 | #Constraints: 23622
1379.66/1383.30 c #Conflicts: 890000 | #Constraints: 24622
1379.66/1383.30 c #Conflicts: 891000 | #Constraints: 25622
1379.66/1383.30 c #Conflicts: 892000 | #Constraints: 26622
1519.94/1523.98 c #Conflicts: 893000 | #Constraints: 27622
1519.94/1523.98 c #Conflicts: 894000 | #Constraints: 28622
1519.94/1523.98 c #Conflicts: 895000 | #Constraints: 29622
1519.94/1523.98 c #Conflicts: 896000 | #Constraints: 30622
1519.94/1523.98 c #Conflicts: 897000 | #Constraints: 31622
1519.94/1523.98 c #Conflicts: 898000 | #Constraints: 32622
1519.94/1523.98 c #Conflicts: 899000 | #Constraints: 33622
1519.94/1523.98 c #Conflicts: 900000 | #Constraints: 34622
1519.94/1523.98 c #Conflicts: 901000 | #Constraints: 35622
1519.94/1523.98 c #Conflicts: 902000 | #Constraints: 36622
1519.94/1523.98 c #Conflicts: 903000 | #Constraints: 37622
1519.94/1523.98 c INPROCESSING
1519.94/1523.98 c GARBAGE COLLECT
1519.94/1523.98 c #Conflicts: 904000 | #Constraints: 19820
1519.94/1523.98 c #Conflicts: 905000 | #Constraints: 20820
1519.94/1523.98 c #Conflicts: 906000 | #Constraints: 21820
1519.94/1523.98 c #Conflicts: 907000 | #Constraints: 22820
1519.94/1523.98 c #Conflicts: 908000 | #Constraints: 23820
1519.94/1523.98 c #Conflicts: 909000 | #Constraints: 24820
1519.94/1523.98 c #Conflicts: 910000 | #Constraints: 25820
1519.94/1523.98 c #Conflicts: 911000 | #Constraints: 26820
1519.94/1523.98 c #Conflicts: 912000 | #Constraints: 27820
1519.94/1523.98 c #Conflicts: 913000 | #Constraints: 28820
1519.94/1523.98 c #Conflicts: 914000 | #Constraints: 29820
1519.94/1523.98 c #Conflicts: 915000 | #Constraints: 30820
1519.94/1523.98 c #Conflicts: 916000 | #Constraints: 31820
1519.94/1523.98 c #Conflicts: 917000 | #Constraints: 32820
1519.94/1523.98 c #Conflicts: 918000 | #Constraints: 33820
1519.94/1523.98 c #Conflicts: 919000 | #Constraints: 34820
1519.94/1523.98 c #Conflicts: 920000 | #Constraints: 35820
1519.94/1523.98 c #Conflicts: 921000 | #Constraints: 36820
1519.94/1523.98 c #Conflicts: 922000 | #Constraints: 37820
1519.94/1523.98 c INPROCESSING
1519.94/1523.98 c GARBAGE COLLECT
1519.94/1523.98 c #Conflicts: 923000 | #Constraints: 19819
1519.94/1523.98 c #Conflicts: 924000 | #Constraints: 20819
1519.94/1523.98 c #Conflicts: 925000 | #Constraints: 21819
1519.94/1523.98 c #Conflicts: 926000 | #Constraints: 22819
1519.94/1523.98 c #Conflicts: 927000 | #Constraints: 23819
1519.94/1523.98 c #Conflicts: 928000 | #Constraints: 24819
1519.94/1523.98 c #Conflicts: 929000 | #Constraints: 25819
1519.94/1523.98 c #Conflicts: 930000 | #Constraints: 26819
1519.94/1523.98 c #Conflicts: 931000 | #Constraints: 27819
1519.94/1523.98 c #Conflicts: 932000 | #Constraints: 28819
1519.94/1523.98 c #Conflicts: 933000 | #Constraints: 29819
1519.94/1523.98 c #Conflicts: 934000 | #Constraints: 30819
1519.94/1523.98 c #Conflicts: 935000 | #Constraints: 31819
1519.94/1523.98 c #Conflicts: 936000 | #Constraints: 32819
1519.94/1523.98 c #Conflicts: 937000 | #Constraints: 33819
1519.94/1523.98 c #Conflicts: 938000 | #Constraints: 34819
1519.94/1523.98 c #Conflicts: 939000 | #Constraints: 35819
1519.94/1523.98 c #Conflicts: 940000 | #Constraints: 36819
1519.94/1523.98 c #Conflicts: 941000 | #Constraints: 37819
1519.94/1523.98 c INPROCESSING
1519.94/1523.98 c GARBAGE COLLECT
1519.94/1523.98 c #Conflicts: 942000 | #Constraints: 19621
1519.94/1523.98 c #Conflicts: 943000 | #Constraints: 20621
1519.94/1523.98 c #Conflicts: 944000 | #Constraints: 21621
1519.94/1523.98 c #Conflicts: 945000 | #Constraints: 22621
1519.94/1523.98 c #Conflicts: 946000 | #Constraints: 23621
1519.94/1523.98 c #Conflicts: 947000 | #Constraints: 24621
1519.94/1523.98 c #Conflicts: 948000 | #Constraints: 25621
1519.94/1523.98 c #Conflicts: 949000 | #Constraints: 26621
1519.94/1523.98 c #Conflicts: 950000 | #Constraints: 27621
1519.94/1523.98 c #Conflicts: 951000 | #Constraints: 28621
1519.94/1523.98 c #Conflicts: 952000 | #Constraints: 29621
1519.94/1523.98 c #Conflicts: 953000 | #Constraints: 30621
1519.94/1523.98 c #Conflicts: 954000 | #Constraints: 31621
1519.94/1523.98 c #Conflicts: 955000 | #Constraints: 32621
1519.94/1523.98 c #Conflicts: 956000 | #Constraints: 33621
1519.94/1523.98 c #Conflicts: 957000 | #Constraints: 34621
1519.94/1523.98 c #Conflicts: 958000 | #Constraints: 35621
1519.94/1523.98 c #Conflicts: 959000 | #Constraints: 36621
1519.94/1523.98 c #Conflicts: 960000 | #Constraints: 37621
1519.94/1523.98 c #Conflicts: 961000 | #Constraints: 38621
1519.94/1523.98 c INPROCESSING
1519.94/1523.98 c GARBAGE COLLECT
1519.94/1523.98 c #Conflicts: 962000 | #Constraints: 20221
1519.94/1523.98 c #Conflicts: 963000 | #Constraints: 21221
1519.94/1523.98 c #Conflicts: 964000 | #Constraints: 22221
1519.94/1523.98 c #Conflicts: 965000 | #Constraints: 23221
1519.94/1523.98 c #Conflicts: 966000 | #Constraints: 24221
1519.94/1523.98 c #Conflicts: 967000 | #Constraints: 25221
1519.94/1523.98 c #Conflicts: 968000 | #Constraints: 26221
1674.98/1679.37 c #Conflicts: 969000 | #Constraints: 27221
1674.98/1679.37 c #Conflicts: 970000 | #Constraints: 28221
1674.98/1679.37 c #Conflicts: 971000 | #Constraints: 29221
1674.98/1679.37 c #Conflicts: 972000 | #Constraints: 30221
1674.98/1679.37 c #Conflicts: 973000 | #Constraints: 31221
1674.98/1679.37 c #Conflicts: 974000 | #Constraints: 32221
1674.98/1679.37 c #Conflicts: 975000 | #Constraints: 33221
1674.98/1679.37 c #Conflicts: 976000 | #Constraints: 34221
1674.98/1679.37 c #Conflicts: 977000 | #Constraints: 35221
1674.98/1679.37 c #Conflicts: 978000 | #Constraints: 36221
1674.98/1679.37 c #Conflicts: 979000 | #Constraints: 37221
1674.98/1679.37 c #Conflicts: 980000 | #Constraints: 38221
1674.98/1679.37 c #Conflicts: 981000 | #Constraints: 39221
1674.98/1679.37 c INPROCESSING
1674.98/1679.37 c GARBAGE COLLECT
1674.98/1679.37 c #Conflicts: 982000 | #Constraints: 20621
1674.98/1679.37 c #Conflicts: 983000 | #Constraints: 21621
1674.98/1679.37 c #Conflicts: 984000 | #Constraints: 22621
1674.98/1679.37 c #Conflicts: 985000 | #Constraints: 23621
1674.98/1679.37 c #Conflicts: 986000 | #Constraints: 24621
1674.98/1679.37 c #Conflicts: 987000 | #Constraints: 25621
1674.98/1679.37 c #Conflicts: 988000 | #Constraints: 26621
1674.98/1679.37 c #Conflicts: 989000 | #Constraints: 27621
1674.98/1679.37 c #Conflicts: 990000 | #Constraints: 28621
1674.98/1679.37 c #Conflicts: 991000 | #Constraints: 29621
1674.98/1679.37 c #Conflicts: 992000 | #Constraints: 30621
1674.98/1679.37 c #Conflicts: 993000 | #Constraints: 31621
1674.98/1679.37 c #Conflicts: 994000 | #Constraints: 32621
1674.98/1679.37 c #Conflicts: 995000 | #Constraints: 33621
1674.98/1679.37 c #Conflicts: 996000 | #Constraints: 34621
1674.98/1679.37 c #Conflicts: 997000 | #Constraints: 35621
1674.98/1679.37 c #Conflicts: 998000 | #Constraints: 36621
1674.98/1679.37 c #Conflicts: 999000 | #Constraints: 37621
1674.98/1679.37 c #Conflicts: 1000000 | #Constraints: 38621
1674.98/1679.37 c #Conflicts: 1001000 | #Constraints: 39621
1674.98/1679.37 c INPROCESSING
1674.98/1679.37 c GARBAGE COLLECT
1674.98/1679.37 c #Conflicts: 1002000 | #Constraints: 20823
1674.98/1679.37 c #Conflicts: 1003000 | #Constraints: 21823
1674.98/1679.37 c #Conflicts: 1004000 | #Constraints: 22823
1674.98/1679.37 c #Conflicts: 1005000 | #Constraints: 23823
1674.98/1679.37 c #Conflicts: 1006000 | #Constraints: 24823
1674.98/1679.37 c #Conflicts: 1007000 | #Constraints: 25823
1674.98/1679.37 c #Conflicts: 1008000 | #Constraints: 26823
1674.98/1679.37 c #Conflicts: 1009000 | #Constraints: 27823
1674.98/1679.37 c #Conflicts: 1010000 | #Constraints: 28823
1674.98/1679.37 c #Conflicts: 1011000 | #Constraints: 29823
1674.98/1679.37 c #Conflicts: 1012000 | #Constraints: 30823
1674.98/1679.37 c #Conflicts: 1013000 | #Constraints: 31823
1674.98/1679.37 c #Conflicts: 1014000 | #Constraints: 32823
1674.98/1679.37 c #Conflicts: 1015000 | #Constraints: 33823
1674.98/1679.37 c #Conflicts: 1016000 | #Constraints: 34823
1674.98/1679.37 c #Conflicts: 1017000 | #Constraints: 35823
1674.98/1679.37 c #Conflicts: 1018000 | #Constraints: 36823
1674.98/1679.37 c #Conflicts: 1019000 | #Constraints: 37823
1674.98/1679.37 c #Conflicts: 1020000 | #Constraints: 38823
1674.98/1679.37 c #Conflicts: 1021000 | #Constraints: 39823
1674.98/1679.37 c INPROCESSING
1674.98/1679.37 c GARBAGE COLLECT
1674.98/1679.37 c #Conflicts: 1022000 | #Constraints: 20825
1674.98/1679.37 c #Conflicts: 1023000 | #Constraints: 21825
1674.98/1679.37 c #Conflicts: 1024000 | #Constraints: 22825
1674.98/1679.37 c #Conflicts: 1025000 | #Constraints: 23825
1674.98/1679.37 c #Conflicts: 1026000 | #Constraints: 24825
1674.98/1679.37 c #Conflicts: 1027000 | #Constraints: 25825
1674.98/1679.37 c #Conflicts: 1028000 | #Constraints: 26825
1674.98/1679.37 c #Conflicts: 1029000 | #Constraints: 27825
1674.98/1679.37 c #Conflicts: 1030000 | #Constraints: 28825
1674.98/1679.37 c #Conflicts: 1031000 | #Constraints: 29825
1674.98/1679.37 c #Conflicts: 1032000 | #Constraints: 30825
1674.98/1679.37 c #Conflicts: 1033000 | #Constraints: 31825
1674.98/1679.37 c #Conflicts: 1034000 | #Constraints: 32825
1674.98/1679.37 c #Conflicts: 1035000 | #Constraints: 33825
1674.98/1679.37 c #Conflicts: 1036000 | #Constraints: 34825
1674.98/1679.37 c #Conflicts: 1037000 | #Constraints: 35825
1674.98/1679.37 c #Conflicts: 1038000 | #Constraints: 36825
1674.98/1679.37 c #Conflicts: 1039000 | #Constraints: 37825
1674.98/1679.37 c #Conflicts: 1040000 | #Constraints: 38825
1674.98/1679.37 c #Conflicts: 1041000 | #Constraints: 39825
1674.98/1679.37 c INPROCESSING
1674.98/1679.37 c GARBAGE COLLECT
1674.98/1679.37 c #Conflicts: 1042000 | #Constraints: 20627
1674.98/1679.37 c #Conflicts: 1043000 | #Constraints: 21627
1674.98/1679.37 c #Conflicts: 1044000 | #Constraints: 22627
1841.00/1845.73 c #Conflicts: 1045000 | #Constraints: 23627
1841.00/1845.73 c #Conflicts: 1046000 | #Constraints: 24627
1841.00/1845.73 c #Conflicts: 1047000 | #Constraints: 25627
1841.00/1845.73 c #Conflicts: 1048000 | #Constraints: 26627
1841.00/1845.73 c #Conflicts: 1049000 | #Constraints: 27627
1841.00/1845.73 c #Conflicts: 1050000 | #Constraints: 28627
1841.00/1845.73 c #Conflicts: 1051000 | #Constraints: 29627
1841.00/1845.73 c #Conflicts: 1052000 | #Constraints: 30627
1841.00/1845.73 c #Conflicts: 1053000 | #Constraints: 31627
1841.00/1845.73 c #Conflicts: 1054000 | #Constraints: 32627
1841.00/1845.73 c #Conflicts: 1055000 | #Constraints: 33627
1841.00/1845.73 c #Conflicts: 1056000 | #Constraints: 34627
1841.00/1845.73 c #Conflicts: 1057000 | #Constraints: 35627
1841.00/1845.73 c #Conflicts: 1058000 | #Constraints: 36627
1841.00/1845.73 c #Conflicts: 1059000 | #Constraints: 37627
1841.00/1845.73 c #Conflicts: 1060000 | #Constraints: 38627
1841.00/1845.73 c #Conflicts: 1061000 | #Constraints: 39627
1841.00/1845.73 c #Conflicts: 1062000 | #Constraints: 40627
1841.00/1845.73 c INPROCESSING
1841.00/1845.73 c GARBAGE COLLECT
1841.00/1845.73 c #Conflicts: 1063000 | #Constraints: 21227
1841.00/1845.73 c #Conflicts: 1064000 | #Constraints: 22227
1841.00/1845.73 c #Conflicts: 1065000 | #Constraints: 23227
1841.00/1845.73 c #Conflicts: 1066000 | #Constraints: 24227
1841.00/1845.73 c #Conflicts: 1067000 | #Constraints: 25227
1841.00/1845.73 c #Conflicts: 1068000 | #Constraints: 26227
1841.00/1845.73 c #Conflicts: 1069000 | #Constraints: 27227
1841.00/1845.73 c #Conflicts: 1070000 | #Constraints: 28227
1841.00/1845.73 c #Conflicts: 1071000 | #Constraints: 29227
1841.00/1845.73 c #Conflicts: 1072000 | #Constraints: 30227
1841.00/1845.73 c #Conflicts: 1073000 | #Constraints: 31227
1841.00/1845.73 c #Conflicts: 1074000 | #Constraints: 32227
1841.00/1845.73 c #Conflicts: 1075000 | #Constraints: 33227
1841.00/1845.73 c #Conflicts: 1076000 | #Constraints: 34227
1841.00/1845.73 c #Conflicts: 1077000 | #Constraints: 35227
1841.00/1845.73 c #Conflicts: 1078000 | #Constraints: 36227
1841.00/1845.73 c #Conflicts: 1079000 | #Constraints: 37227
1841.00/1845.73 c #Conflicts: 1080000 | #Constraints: 38227
1841.00/1845.73 c #Conflicts: 1081000 | #Constraints: 39227
1841.00/1845.73 c #Conflicts: 1082000 | #Constraints: 40227
1841.00/1845.73 c #Conflicts: 1083000 | #Constraints: 41227
1841.00/1845.73 c INPROCESSING
1841.00/1845.73 c GARBAGE COLLECT
1841.00/1845.73 c #Conflicts: 1084000 | #Constraints: 21626
1841.00/1845.73 c #Conflicts: 1085000 | #Constraints: 22626
1841.00/1845.73 c #Conflicts: 1086000 | #Constraints: 23626
1841.00/1845.73 c #Conflicts: 1087000 | #Constraints: 24626
1841.00/1845.73 c #Conflicts: 1088000 | #Constraints: 25626
1841.00/1845.73 c #Conflicts: 1089000 | #Constraints: 26626
1841.00/1845.73 c #Conflicts: 1090000 | #Constraints: 27626
1841.00/1845.73 c #Conflicts: 1091000 | #Constraints: 28626
1841.00/1845.73 c #Conflicts: 1092000 | #Constraints: 29626
1841.00/1845.73 c #Conflicts: 1093000 | #Constraints: 30626
1841.00/1845.73 c #Conflicts: 1094000 | #Constraints: 31626
1841.00/1845.73 c #Conflicts: 1095000 | #Constraints: 32626
1841.00/1845.73 c #Conflicts: 1096000 | #Constraints: 33626
1841.00/1845.73 c #Conflicts: 1097000 | #Constraints: 34626
1841.00/1845.73 c #Conflicts: 1098000 | #Constraints: 35626
1841.00/1845.73 c #Conflicts: 1099000 | #Constraints: 36626
1841.00/1845.73 c #Conflicts: 1100000 | #Constraints: 37626
1841.00/1845.73 c #Conflicts: 1101000 | #Constraints: 38626
1841.00/1845.73 c #Conflicts: 1102000 | #Constraints: 39626
1841.00/1845.73 c #Conflicts: 1103000 | #Constraints: 40626
1841.00/1845.73 c #Conflicts: 1104000 | #Constraints: 41626
1841.00/1845.73 c INPROCESSING
1841.00/1845.73 c GARBAGE COLLECT
1841.00/1845.73 c #Conflicts: 1105000 | #Constraints: 21827
1841.00/1845.73 c #Conflicts: 1106000 | #Constraints: 22827
1841.00/1845.73 c #Conflicts: 1107000 | #Constraints: 23827
1841.00/1845.73 c #Conflicts: 1108000 | #Constraints: 24827
1841.00/1845.73 c #Conflicts: 1109000 | #Constraints: 25827
1841.00/1845.73 c #Conflicts: 1110000 | #Constraints: 26827
1841.00/1845.73 c #Conflicts: 1111000 | #Constraints: 27827
1841.00/1845.73 c #Conflicts: 1112000 | #Constraints: 28827
1841.00/1845.73 c #Conflicts: 1113000 | #Constraints: 29827
1841.00/1845.73 c #Conflicts: 1114000 | #Constraints: 30827
1841.00/1845.73 c #Conflicts: 1115000 | #Constraints: 31827
1841.00/1845.73 c #Conflicts: 1116000 | #Constraints: 32827
1841.00/1845.73 c #Conflicts: 1117000 | #Constraints: 33827
1841.00/1845.73 c #Conflicts: 1118000 | #Constraints: 34827
1841.00/1845.73 c #Conflicts: 1119000 | #Constraints: 35827
1841.00/1845.73 c #Conflicts: 1120000 | #Constraints: 36827
1841.00/1845.73 c #Conflicts: 1121000 | #Constraints: 37827
1999.84/2004.98 c #Conflicts: 1122000 | #Constraints: 38827
1999.84/2004.98 c #Conflicts: 1123000 | #Constraints: 39827
1999.84/2004.98 c #Conflicts: 1124000 | #Constraints: 40827
1999.84/2004.98 c #Conflicts: 1125000 | #Constraints: 41827
1999.84/2004.98 c INPROCESSING
1999.84/2004.98 c GARBAGE COLLECT
1999.84/2004.98 c #Conflicts: 1126000 | #Constraints: 21826
1999.84/2004.98 c #Conflicts: 1127000 | #Constraints: 22826
1999.84/2004.98 c #Conflicts: 1128000 | #Constraints: 23826
1999.84/2004.98 c #Conflicts: 1129000 | #Constraints: 24826
1999.84/2004.98 c #Conflicts: 1130000 | #Constraints: 25826
1999.84/2004.98 c #Conflicts: 1131000 | #Constraints: 26826
1999.84/2004.98 c #Conflicts: 1132000 | #Constraints: 27826
1999.84/2004.98 c #Conflicts: 1133000 | #Constraints: 28826
1999.84/2004.98 c #Conflicts: 1134000 | #Constraints: 29826
1999.84/2004.98 c #Conflicts: 1135000 | #Constraints: 30826
1999.84/2004.98 c #Conflicts: 1136000 | #Constraints: 31826
1999.84/2004.98 c #Conflicts: 1137000 | #Constraints: 32826
1999.84/2004.98 c #Conflicts: 1138000 | #Constraints: 33826
1999.84/2004.98 c #Conflicts: 1139000 | #Constraints: 34826
1999.84/2004.98 c #Conflicts: 1140000 | #Constraints: 35826
1999.84/2004.98 c #Conflicts: 1141000 | #Constraints: 36826
1999.84/2004.98 c #Conflicts: 1142000 | #Constraints: 37826
1999.84/2004.98 c #Conflicts: 1143000 | #Constraints: 38826
1999.84/2004.98 c #Conflicts: 1144000 | #Constraints: 39826
1999.84/2004.98 c #Conflicts: 1145000 | #Constraints: 40826
1999.84/2004.98 c #Conflicts: 1146000 | #Constraints: 41826
1999.84/2004.98 c INPROCESSING
1999.84/2004.98 c GARBAGE COLLECT
1999.84/2004.98 c #Conflicts: 1147000 | #Constraints: 21624
1999.84/2004.98 c #Conflicts: 1148000 | #Constraints: 22624
1999.84/2004.98 c #Conflicts: 1149000 | #Constraints: 23624
1999.84/2004.98 c #Conflicts: 1150000 | #Constraints: 24624
1999.84/2004.98 c #Conflicts: 1151000 | #Constraints: 25624
1999.84/2004.98 c #Conflicts: 1152000 | #Constraints: 26624
1999.84/2004.98 c #Conflicts: 1153000 | #Constraints: 27624
1999.84/2004.98 c #Conflicts: 1154000 | #Constraints: 28624
1999.84/2004.98 c #Conflicts: 1155000 | #Constraints: 29624
1999.84/2004.98 c #Conflicts: 1156000 | #Constraints: 30624
1999.84/2004.98 c #Conflicts: 1157000 | #Constraints: 31624
1999.84/2004.98 c #Conflicts: 1158000 | #Constraints: 32624
1999.84/2004.98 c #Conflicts: 1159000 | #Constraints: 33624
1999.84/2004.98 c #Conflicts: 1160000 | #Constraints: 34624
1999.84/2004.98 c #Conflicts: 1161000 | #Constraints: 35624
1999.84/2004.98 c #Conflicts: 1162000 | #Constraints: 36624
1999.84/2004.98 c #Conflicts: 1163000 | #Constraints: 37624
1999.84/2004.98 c #Conflicts: 1164000 | #Constraints: 38624
1999.84/2004.98 c #Conflicts: 1165000 | #Constraints: 39624
1999.84/2004.98 c #Conflicts: 1166000 | #Constraints: 40624
1999.84/2004.98 c #Conflicts: 1167000 | #Constraints: 41624
1999.84/2004.98 c #Conflicts: 1168000 | #Constraints: 42624
1999.84/2004.98 c INPROCESSING
1999.84/2004.98 c GARBAGE COLLECT
1999.84/2004.98 c #Conflicts: 1169000 | #Constraints: 22226
1999.84/2004.98 c #Conflicts: 1170000 | #Constraints: 23226
1999.84/2004.98 c #Conflicts: 1171000 | #Constraints: 24226
1999.84/2004.98 c #Conflicts: 1172000 | #Constraints: 25226
1999.84/2004.98 c #Conflicts: 1173000 | #Constraints: 26226
1999.84/2004.98 c #Conflicts: 1174000 | #Constraints: 27226
1999.84/2004.98 c #Conflicts: 1175000 | #Constraints: 28226
1999.84/2004.98 c #Conflicts: 1176000 | #Constraints: 29226
1999.84/2004.98 c #Conflicts: 1177000 | #Constraints: 30226
1999.84/2004.98 c #Conflicts: 1178000 | #Constraints: 31226
1999.84/2004.98 c #Conflicts: 1179000 | #Constraints: 32226
1999.84/2004.98 c #Conflicts: 1180000 | #Constraints: 33226
1999.84/2004.98 c #Conflicts: 1181000 | #Constraints: 34226
1999.84/2004.98 c #Conflicts: 1182000 | #Constraints: 35226
1999.84/2004.98 c #Conflicts: 1183000 | #Constraints: 36226
1999.84/2004.98 c #Conflicts: 1184000 | #Constraints: 37226
1999.84/2004.98 c #Conflicts: 1185000 | #Constraints: 38226
1999.84/2004.98 c #Conflicts: 1186000 | #Constraints: 39226
1999.84/2004.98 c #Conflicts: 1187000 | #Constraints: 40226
1999.84/2004.98 c #Conflicts: 1188000 | #Constraints: 41226
1999.84/2004.98 c #Conflicts: 1189000 | #Constraints: 42226
1999.84/2004.98 c #Conflicts: 1190000 | #Constraints: 43226
1999.84/2004.98 c INPROCESSING
1999.84/2004.98 c GARBAGE COLLECT
1999.84/2004.98 c #Conflicts: 1191000 | #Constraints: 22623
1999.84/2004.98 c #Conflicts: 1192000 | #Constraints: 23623
1999.84/2004.98 c #Conflicts: 1193000 | #Constraints: 24623
1999.84/2004.98 c #Conflicts: 1194000 | #Constraints: 25623
1999.84/2004.98 c #Conflicts: 1195000 | #Constraints: 26623
1999.84/2004.98 c #Conflicts: 1196000 | #Constraints: 27623
1999.84/2004.98 c #Conflicts: 1197000 | #Constraints: 28623
2172.14/2177.64 c #Conflicts: 1198000 | #Constraints: 29623
2172.14/2177.64 c #Conflicts: 1199000 | #Constraints: 30623
2172.14/2177.64 c #Conflicts: 1200000 | #Constraints: 31623
2172.14/2177.64 c #Conflicts: 1201000 | #Constraints: 32623
2172.14/2177.64 c #Conflicts: 1202000 | #Constraints: 33623
2172.14/2177.64 c #Conflicts: 1203000 | #Constraints: 34623
2172.14/2177.64 c #Conflicts: 1204000 | #Constraints: 35623
2172.14/2177.64 c #Conflicts: 1205000 | #Constraints: 36623
2172.14/2177.64 c #Conflicts: 1206000 | #Constraints: 37623
2172.14/2177.64 c #Conflicts: 1207000 | #Constraints: 38623
2172.14/2177.64 c #Conflicts: 1208000 | #Constraints: 39623
2172.14/2177.64 c #Conflicts: 1209000 | #Constraints: 40623
2172.14/2177.64 c #Conflicts: 1210000 | #Constraints: 41623
2172.14/2177.64 c #Conflicts: 1211000 | #Constraints: 42623
2172.14/2177.64 c #Conflicts: 1212000 | #Constraints: 43623
2172.14/2177.64 c INPROCESSING
2172.14/2177.64 c GARBAGE COLLECT
2172.14/2177.64 c #Conflicts: 1213000 | #Constraints: 22823
2172.14/2177.64 c #Conflicts: 1214000 | #Constraints: 23823
2172.14/2177.64 c #Conflicts: 1215000 | #Constraints: 24823
2172.14/2177.64 c #Conflicts: 1216000 | #Constraints: 25823
2172.14/2177.64 c #Conflicts: 1217000 | #Constraints: 26823
2172.14/2177.64 c #Conflicts: 1218000 | #Constraints: 27823
2172.14/2177.64 c #Conflicts: 1219000 | #Constraints: 28823
2172.14/2177.64 c #Conflicts: 1220000 | #Constraints: 29823
2172.14/2177.64 c #Conflicts: 1221000 | #Constraints: 30823
2172.14/2177.64 c #Conflicts: 1222000 | #Constraints: 31823
2172.14/2177.64 c #Conflicts: 1223000 | #Constraints: 32823
2172.14/2177.64 c #Conflicts: 1224000 | #Constraints: 33823
2172.14/2177.64 c #Conflicts: 1225000 | #Constraints: 34823
2172.14/2177.64 c #Conflicts: 1226000 | #Constraints: 35823
2172.14/2177.64 c #Conflicts: 1227000 | #Constraints: 36823
2172.14/2177.64 c #Conflicts: 1228000 | #Constraints: 37823
2172.14/2177.64 c #Conflicts: 1229000 | #Constraints: 38823
2172.14/2177.64 c #Conflicts: 1230000 | #Constraints: 39823
2172.14/2177.64 c #Conflicts: 1231000 | #Constraints: 40823
2172.14/2177.64 c #Conflicts: 1232000 | #Constraints: 41823
2172.14/2177.64 c #Conflicts: 1233000 | #Constraints: 42823
2172.14/2177.64 c #Conflicts: 1234000 | #Constraints: 43823
2172.14/2177.64 c INPROCESSING
2172.14/2177.64 c GARBAGE COLLECT
2172.14/2177.64 c #Conflicts: 1235000 | #Constraints: 22821
2172.14/2177.64 c #Conflicts: 1236000 | #Constraints: 23821
2172.14/2177.64 c #Conflicts: 1237000 | #Constraints: 24821
2172.14/2177.64 c #Conflicts: 1238000 | #Constraints: 25821
2172.14/2177.64 c #Conflicts: 1239000 | #Constraints: 26821
2172.14/2177.64 c #Conflicts: 1240000 | #Constraints: 27821
2172.14/2177.64 c #Conflicts: 1241000 | #Constraints: 28821
2172.14/2177.64 c #Conflicts: 1242000 | #Constraints: 29821
2172.14/2177.64 c #Conflicts: 1243000 | #Constraints: 30821
2172.14/2177.64 c #Conflicts: 1244000 | #Constraints: 31821
2172.14/2177.64 c #Conflicts: 1245000 | #Constraints: 32821
2172.14/2177.64 c #Conflicts: 1246000 | #Constraints: 33821
2172.14/2177.64 c #Conflicts: 1247000 | #Constraints: 34821
2172.14/2177.64 c #Conflicts: 1248000 | #Constraints: 35821
2172.14/2177.64 c #Conflicts: 1249000 | #Constraints: 36821
2172.14/2177.64 c #Conflicts: 1250000 | #Constraints: 37821
2172.14/2177.64 c #Conflicts: 1251000 | #Constraints: 38821
2172.14/2177.64 c #Conflicts: 1252000 | #Constraints: 39821
2172.14/2177.64 c #Conflicts: 1253000 | #Constraints: 40821
2172.14/2177.64 c #Conflicts: 1254000 | #Constraints: 41821
2172.14/2177.64 c #Conflicts: 1255000 | #Constraints: 42821
2172.14/2177.64 c #Conflicts: 1256000 | #Constraints: 43821
2172.14/2177.64 c INPROCESSING
2172.14/2177.64 c GARBAGE COLLECT
2172.14/2177.64 c #Conflicts: 1257000 | #Constraints: 22622
2172.14/2177.64 c #Conflicts: 1258000 | #Constraints: 23622
2172.14/2177.64 c #Conflicts: 1259000 | #Constraints: 24622
2172.14/2177.64 c #Conflicts: 1260000 | #Constraints: 25622
2172.14/2177.64 c #Conflicts: 1261000 | #Constraints: 26622
2172.14/2177.64 c #Conflicts: 1262000 | #Constraints: 27622
2172.14/2177.64 c #Conflicts: 1263000 | #Constraints: 28622
2172.14/2177.64 c #Conflicts: 1264000 | #Constraints: 29622
2172.14/2177.64 c #Conflicts: 1265000 | #Constraints: 30622
2172.14/2177.64 c #Conflicts: 1266000 | #Constraints: 31622
2172.14/2177.64 c #Conflicts: 1267000 | #Constraints: 32622
2172.14/2177.64 c #Conflicts: 1268000 | #Constraints: 33622
2172.14/2177.64 c #Conflicts: 1269000 | #Constraints: 34622
2172.14/2177.64 c #Conflicts: 1270000 | #Constraints: 35622
2172.14/2177.64 c #Conflicts: 1271000 | #Constraints: 36622
2172.14/2177.64 c #Conflicts: 1272000 | #Constraints: 37622
2172.14/2177.64 c #Conflicts: 1273000 | #Constraints: 38622
2172.14/2177.64 c #Conflicts: 1274000 | #Constraints: 39622
2350.63/2356.59 c #Conflicts: 1275000 | #Constraints: 40622
2350.63/2356.59 c #Conflicts: 1276000 | #Constraints: 41622
2350.63/2356.59 c #Conflicts: 1277000 | #Constraints: 42622
2350.63/2356.59 c #Conflicts: 1278000 | #Constraints: 43622
2350.63/2356.59 c #Conflicts: 1279000 | #Constraints: 44622
2350.63/2356.59 c INPROCESSING
2350.63/2356.59 c GARBAGE COLLECT
2350.63/2356.59 c #Conflicts: 1280000 | #Constraints: 23221
2350.63/2356.59 c #Conflicts: 1281000 | #Constraints: 24221
2350.63/2356.59 c #Conflicts: 1282000 | #Constraints: 25221
2350.63/2356.59 c #Conflicts: 1283000 | #Constraints: 26221
2350.63/2356.59 c #Conflicts: 1284000 | #Constraints: 27221
2350.63/2356.59 c #Conflicts: 1285000 | #Constraints: 28221
2350.63/2356.59 c #Conflicts: 1286000 | #Constraints: 29221
2350.63/2356.59 c #Conflicts: 1287000 | #Constraints: 30221
2350.63/2356.59 c #Conflicts: 1288000 | #Constraints: 31221
2350.63/2356.59 c #Conflicts: 1289000 | #Constraints: 32221
2350.63/2356.59 c #Conflicts: 1290000 | #Constraints: 33221
2350.63/2356.59 c #Conflicts: 1291000 | #Constraints: 34221
2350.63/2356.59 c #Conflicts: 1292000 | #Constraints: 35221
2350.63/2356.59 c #Conflicts: 1293000 | #Constraints: 36221
2350.63/2356.59 c #Conflicts: 1294000 | #Constraints: 37221
2350.63/2356.59 c #Conflicts: 1295000 | #Constraints: 38221
2350.63/2356.59 c #Conflicts: 1296000 | #Constraints: 39221
2350.63/2356.59 c #Conflicts: 1297000 | #Constraints: 40221
2350.63/2356.59 c #Conflicts: 1298000 | #Constraints: 41221
2350.63/2356.59 c #Conflicts: 1299000 | #Constraints: 42221
2350.63/2356.59 c #Conflicts: 1300000 | #Constraints: 43221
2350.63/2356.59 c #Conflicts: 1301000 | #Constraints: 44221
2350.63/2356.59 c #Conflicts: 1302000 | #Constraints: 45221
2350.63/2356.59 c INPROCESSING
2350.63/2356.59 c GARBAGE COLLECT
2350.63/2356.59 c #Conflicts: 1303000 | #Constraints: 23620
2350.63/2356.59 c #Conflicts: 1304000 | #Constraints: 24620
2350.63/2356.59 c #Conflicts: 1305000 | #Constraints: 25620
2350.63/2356.59 c #Conflicts: 1306000 | #Constraints: 26620
2350.63/2356.59 c #Conflicts: 1307000 | #Constraints: 27620
2350.63/2356.59 c #Conflicts: 1308000 | #Constraints: 28620
2350.63/2356.59 c #Conflicts: 1309000 | #Constraints: 29620
2350.63/2356.59 c #Conflicts: 1310000 | #Constraints: 30620
2350.63/2356.59 c #Conflicts: 1311000 | #Constraints: 31620
2350.63/2356.59 c #Conflicts: 1312000 | #Constraints: 32620
2350.63/2356.59 c #Conflicts: 1313000 | #Constraints: 33620
2350.63/2356.59 c #Conflicts: 1314000 | #Constraints: 34620
2350.63/2356.59 c #Conflicts: 1315000 | #Constraints: 35620
2350.63/2356.59 c #Conflicts: 1316000 | #Constraints: 36620
2350.63/2356.59 c #Conflicts: 1317000 | #Constraints: 37620
2350.63/2356.59 c #Conflicts: 1318000 | #Constraints: 38620
2350.63/2356.59 c #Conflicts: 1319000 | #Constraints: 39620
2350.63/2356.59 c #Conflicts: 1320000 | #Constraints: 40620
2350.63/2356.59 c #Conflicts: 1321000 | #Constraints: 41620
2350.63/2356.59 c #Conflicts: 1322000 | #Constraints: 42620
2350.63/2356.59 c #Conflicts: 1323000 | #Constraints: 43620
2350.63/2356.59 c #Conflicts: 1324000 | #Constraints: 44620
2350.63/2356.59 c #Conflicts: 1325000 | #Constraints: 45620
2350.63/2356.59 c INPROCESSING
2350.63/2356.59 c GARBAGE COLLECT
2350.63/2356.59 c #Conflicts: 1326000 | #Constraints: 23821
2350.63/2356.59 c #Conflicts: 1327000 | #Constraints: 24821
2350.63/2356.59 c #Conflicts: 1328000 | #Constraints: 25821
2350.63/2356.59 c #Conflicts: 1329000 | #Constraints: 26821
2350.63/2356.59 c #Conflicts: 1330000 | #Constraints: 27821
2350.63/2356.59 c #Conflicts: 1331000 | #Constraints: 28821
2350.63/2356.59 c #Conflicts: 1332000 | #Constraints: 29821
2350.63/2356.59 c #Conflicts: 1333000 | #Constraints: 30821
2350.63/2356.59 c #Conflicts: 1334000 | #Constraints: 31821
2350.63/2356.59 c #Conflicts: 1335000 | #Constraints: 32821
2350.63/2356.59 c #Conflicts: 1336000 | #Constraints: 33821
2350.63/2356.59 c #Conflicts: 1337000 | #Constraints: 34821
2350.63/2356.59 c #Conflicts: 1338000 | #Constraints: 35821
2350.63/2356.59 c #Conflicts: 1339000 | #Constraints: 36821
2350.63/2356.59 c #Conflicts: 1340000 | #Constraints: 37821
2350.63/2356.59 c #Conflicts: 1341000 | #Constraints: 38821
2350.63/2356.59 c #Conflicts: 1342000 | #Constraints: 39821
2350.63/2356.59 c #Conflicts: 1343000 | #Constraints: 40821
2350.63/2356.59 c #Conflicts: 1344000 | #Constraints: 41821
2350.63/2356.59 c #Conflicts: 1345000 | #Constraints: 42821
2350.63/2356.59 c #Conflicts: 1346000 | #Constraints: 43821
2350.63/2356.59 c #Conflicts: 1347000 | #Constraints: 44821
2350.63/2356.59 c #Conflicts: 1348000 | #Constraints: 45821
2350.63/2356.59 c INPROCESSING
2350.63/2356.59 c GARBAGE COLLECT
2350.63/2356.59 c #Conflicts: 1349000 | #Constraints: 23820
2350.63/2356.59 c #Conflicts: 1350000 | #Constraints: 24820
2531.96/2538.35 c #Conflicts: 1351000 | #Constraints: 25820
2531.96/2538.35 c #Conflicts: 1352000 | #Constraints: 26820
2531.96/2538.35 c #Conflicts: 1353000 | #Constraints: 27820
2531.96/2538.35 c #Conflicts: 1354000 | #Constraints: 28820
2531.96/2538.35 c #Conflicts: 1355000 | #Constraints: 29820
2531.96/2538.35 c #Conflicts: 1356000 | #Constraints: 30820
2531.96/2538.35 c #Conflicts: 1357000 | #Constraints: 31820
2531.96/2538.35 c #Conflicts: 1358000 | #Constraints: 32820
2531.96/2538.35 c #Conflicts: 1359000 | #Constraints: 33820
2531.96/2538.35 c #Conflicts: 1360000 | #Constraints: 34820
2531.96/2538.35 c #Conflicts: 1361000 | #Constraints: 35820
2531.96/2538.35 c #Conflicts: 1362000 | #Constraints: 36820
2531.96/2538.35 c #Conflicts: 1363000 | #Constraints: 37820
2531.96/2538.35 c #Conflicts: 1364000 | #Constraints: 38820
2531.96/2538.35 c #Conflicts: 1365000 | #Constraints: 39820
2531.96/2538.35 c #Conflicts: 1366000 | #Constraints: 40820
2531.96/2538.35 c #Conflicts: 1367000 | #Constraints: 41820
2531.96/2538.35 c #Conflicts: 1368000 | #Constraints: 42820
2531.96/2538.35 c #Conflicts: 1369000 | #Constraints: 43820
2531.96/2538.35 c #Conflicts: 1370000 | #Constraints: 44820
2531.96/2538.35 c #Conflicts: 1371000 | #Constraints: 45820
2531.96/2538.35 c INPROCESSING
2531.96/2538.35 c GARBAGE COLLECT
2531.96/2538.35 c #Conflicts: 1372000 | #Constraints: 23619
2531.96/2538.35 c #Conflicts: 1373000 | #Constraints: 24619
2531.96/2538.35 c #Conflicts: 1374000 | #Constraints: 25619
2531.96/2538.35 c #Conflicts: 1375000 | #Constraints: 26619
2531.96/2538.35 c #Conflicts: 1376000 | #Constraints: 27619
2531.96/2538.35 c #Conflicts: 1377000 | #Constraints: 28619
2531.96/2538.35 c #Conflicts: 1378000 | #Constraints: 29619
2531.96/2538.35 c #Conflicts: 1379000 | #Constraints: 30619
2531.96/2538.35 c #Conflicts: 1380000 | #Constraints: 31619
2531.96/2538.35 c #Conflicts: 1381000 | #Constraints: 32619
2531.96/2538.35 c #Conflicts: 1382000 | #Constraints: 33619
2531.96/2538.35 c #Conflicts: 1383000 | #Constraints: 34619
2531.96/2538.35 c #Conflicts: 1384000 | #Constraints: 35619
2531.96/2538.35 c #Conflicts: 1385000 | #Constraints: 36619
2531.96/2538.35 c #Conflicts: 1386000 | #Constraints: 37619
2531.96/2538.35 c #Conflicts: 1387000 | #Constraints: 38619
2531.96/2538.35 c #Conflicts: 1388000 | #Constraints: 39619
2531.96/2538.35 c #Conflicts: 1389000 | #Constraints: 40619
2531.96/2538.35 c #Conflicts: 1390000 | #Constraints: 41619
2531.96/2538.35 c #Conflicts: 1391000 | #Constraints: 42619
2531.96/2538.35 c #Conflicts: 1392000 | #Constraints: 43619
2531.96/2538.35 c #Conflicts: 1393000 | #Constraints: 44619
2531.96/2538.35 c #Conflicts: 1394000 | #Constraints: 45619
2531.96/2538.35 c #Conflicts: 1395000 | #Constraints: 46619
2531.96/2538.35 c INPROCESSING
2531.96/2538.35 c GARBAGE COLLECT
2531.96/2538.35 c #Conflicts: 1396000 | #Constraints: 24223
2531.96/2538.35 c #Conflicts: 1397000 | #Constraints: 25223
2531.96/2538.35 c #Conflicts: 1398000 | #Constraints: 26223
2531.96/2538.35 c #Conflicts: 1399000 | #Constraints: 27223
2531.96/2538.35 c #Conflicts: 1400000 | #Constraints: 28223
2531.96/2538.35 c #Conflicts: 1401000 | #Constraints: 29223
2531.96/2538.35 c #Conflicts: 1402000 | #Constraints: 30223
2531.96/2538.35 c #Conflicts: 1403000 | #Constraints: 31223
2531.96/2538.35 c #Conflicts: 1404000 | #Constraints: 32223
2531.96/2538.35 c #Conflicts: 1405000 | #Constraints: 33223
2531.96/2538.35 c #Conflicts: 1406000 | #Constraints: 34223
2531.96/2538.35 c #Conflicts: 1407000 | #Constraints: 35223
2531.96/2538.35 c #Conflicts: 1408000 | #Constraints: 36223
2531.96/2538.35 c #Conflicts: 1409000 | #Constraints: 37223
2531.96/2538.35 c #Conflicts: 1410000 | #Constraints: 38223
2531.96/2538.35 c #Conflicts: 1411000 | #Constraints: 39223
2531.96/2538.35 c #Conflicts: 1412000 | #Constraints: 40223
2531.96/2538.35 c #Conflicts: 1413000 | #Constraints: 41223
2531.96/2538.35 c #Conflicts: 1414000 | #Constraints: 42223
2531.96/2538.35 c #Conflicts: 1415000 | #Constraints: 43223
2531.96/2538.35 c #Conflicts: 1416000 | #Constraints: 44223
2531.96/2538.35 c #Conflicts: 1417000 | #Constraints: 45223
2531.96/2538.35 c #Conflicts: 1418000 | #Constraints: 46223
2531.96/2538.35 c #Conflicts: 1419000 | #Constraints: 47223
2531.96/2538.35 c INPROCESSING
2531.96/2538.35 c GARBAGE COLLECT
2531.96/2538.35 c #Conflicts: 1420000 | #Constraints: 24623
2531.96/2538.35 c #Conflicts: 1421000 | #Constraints: 25623
2531.96/2538.35 c #Conflicts: 1422000 | #Constraints: 26623
2531.96/2538.35 c #Conflicts: 1423000 | #Constraints: 27623
2531.96/2538.35 c #Conflicts: 1424000 | #Constraints: 28623
2531.96/2538.35 c #Conflicts: 1425000 | #Constraints: 29623
2531.96/2538.35 c #Conflicts: 1426000 | #Constraints: 30623
2531.96/2538.35 c #Conflicts: 1427000 | #Constraints: 31623
2726.50/2733.48 c #Conflicts: 1428000 | #Constraints: 32623
2726.50/2733.48 c #Conflicts: 1429000 | #Constraints: 33623
2726.50/2733.48 c #Conflicts: 1430000 | #Constraints: 34623
2726.50/2733.48 c #Conflicts: 1431000 | #Constraints: 35623
2726.50/2733.48 c #Conflicts: 1432000 | #Constraints: 36623
2726.50/2733.48 c #Conflicts: 1433000 | #Constraints: 37623
2726.50/2733.48 c #Conflicts: 1434000 | #Constraints: 38623
2726.50/2733.48 c #Conflicts: 1435000 | #Constraints: 39623
2726.50/2733.48 c #Conflicts: 1436000 | #Constraints: 40623
2726.50/2733.48 c #Conflicts: 1437000 | #Constraints: 41623
2726.50/2733.48 c #Conflicts: 1438000 | #Constraints: 42623
2726.50/2733.48 c #Conflicts: 1439000 | #Constraints: 43623
2726.50/2733.48 c #Conflicts: 1440000 | #Constraints: 44623
2726.50/2733.48 c #Conflicts: 1441000 | #Constraints: 45623
2726.50/2733.48 c #Conflicts: 1442000 | #Constraints: 46623
2726.50/2733.48 c #Conflicts: 1443000 | #Constraints: 47623
2726.50/2733.48 c INPROCESSING
2726.50/2733.48 c GARBAGE COLLECT
2726.50/2733.48 c #Conflicts: 1444000 | #Constraints: 24824
2726.50/2733.48 c #Conflicts: 1445000 | #Constraints: 25824
2726.50/2733.48 c #Conflicts: 1446000 | #Constraints: 26824
2726.50/2733.48 c #Conflicts: 1447000 | #Constraints: 27824
2726.50/2733.48 c #Conflicts: 1448000 | #Constraints: 28824
2726.50/2733.48 c #Conflicts: 1449000 | #Constraints: 29824
2726.50/2733.48 c #Conflicts: 1450000 | #Constraints: 30824
2726.50/2733.48 c #Conflicts: 1451000 | #Constraints: 31824
2726.50/2733.48 c #Conflicts: 1452000 | #Constraints: 32824
2726.50/2733.48 c #Conflicts: 1453000 | #Constraints: 33824
2726.50/2733.48 c #Conflicts: 1454000 | #Constraints: 34824
2726.50/2733.48 c #Conflicts: 1455000 | #Constraints: 35824
2726.50/2733.48 c #Conflicts: 1456000 | #Constraints: 36824
2726.50/2733.48 c #Conflicts: 1457000 | #Constraints: 37824
2726.50/2733.48 c #Conflicts: 1458000 | #Constraints: 38824
2726.50/2733.48 c #Conflicts: 1459000 | #Constraints: 39824
2726.50/2733.48 c #Conflicts: 1460000 | #Constraints: 40824
2726.50/2733.48 c #Conflicts: 1461000 | #Constraints: 41824
2726.50/2733.48 c #Conflicts: 1462000 | #Constraints: 42824
2726.50/2733.48 c #Conflicts: 1463000 | #Constraints: 43824
2726.50/2733.48 c #Conflicts: 1464000 | #Constraints: 44824
2726.50/2733.48 c #Conflicts: 1465000 | #Constraints: 45824
2726.50/2733.48 c #Conflicts: 1466000 | #Constraints: 46824
2726.50/2733.48 c #Conflicts: 1467000 | #Constraints: 47824
2726.50/2733.48 c INPROCESSING
2726.50/2733.48 c GARBAGE COLLECT
2726.50/2733.48 c #Conflicts: 1468000 | #Constraints: 24821
2726.50/2733.48 c #Conflicts: 1469000 | #Constraints: 25821
2726.50/2733.48 c #Conflicts: 1470000 | #Constraints: 26821
2726.50/2733.48 c #Conflicts: 1471000 | #Constraints: 27821
2726.50/2733.48 c #Conflicts: 1472000 | #Constraints: 28821
2726.50/2733.48 c #Conflicts: 1473000 | #Constraints: 29821
2726.50/2733.48 c #Conflicts: 1474000 | #Constraints: 30821
2726.50/2733.48 c #Conflicts: 1475000 | #Constraints: 31821
2726.50/2733.48 c #Conflicts: 1476000 | #Constraints: 32821
2726.50/2733.48 c #Conflicts: 1477000 | #Constraints: 33821
2726.50/2733.48 c #Conflicts: 1478000 | #Constraints: 34821
2726.50/2733.48 c #Conflicts: 1479000 | #Constraints: 35821
2726.50/2733.48 c #Conflicts: 1480000 | #Constraints: 36821
2726.50/2733.48 c #Conflicts: 1481000 | #Constraints: 37821
2726.50/2733.48 c #Conflicts: 1482000 | #Constraints: 38821
2726.50/2733.48 c #Conflicts: 1483000 | #Constraints: 39821
2726.50/2733.48 c #Conflicts: 1484000 | #Constraints: 40821
2726.50/2733.48 c #Conflicts: 1485000 | #Constraints: 41821
2726.50/2733.48 c #Conflicts: 1486000 | #Constraints: 42821
2726.50/2733.48 c #Conflicts: 1487000 | #Constraints: 43821
2726.50/2733.48 c #Conflicts: 1488000 | #Constraints: 44821
2726.50/2733.48 c #Conflicts: 1489000 | #Constraints: 45821
2726.50/2733.48 c #Conflicts: 1490000 | #Constraints: 46821
2726.50/2733.48 c #Conflicts: 1491000 | #Constraints: 47821
2726.50/2733.48 c INPROCESSING
2726.50/2733.48 c GARBAGE COLLECT
2726.50/2733.48 c #Conflicts: 1492000 | #Constraints: 24619
2726.50/2733.48 c #Conflicts: 1493000 | #Constraints: 25619
2726.50/2733.48 c #Conflicts: 1494000 | #Constraints: 26619
2726.50/2733.48 c #Conflicts: 1495000 | #Constraints: 27619
2726.50/2733.48 c #Conflicts: 1496000 | #Constraints: 28619
2726.50/2733.48 c #Conflicts: 1497000 | #Constraints: 29619
2726.50/2733.48 c #Conflicts: 1498000 | #Constraints: 30619
2726.50/2733.48 c #Conflicts: 1499000 | #Constraints: 31619
2726.50/2733.48 c #Conflicts: 1500000 | #Constraints: 32619
2726.50/2733.48 c #Conflicts: 1501000 | #Constraints: 33619
2726.50/2733.48 c #Conflicts: 1502000 | #Constraints: 34619
2726.50/2733.48 c #Conflicts: 1503000 | #Constraints: 35619
2726.50/2733.48 c #Conflicts: 1504000 | #Constraints: 36619
2933.23/2940.75 c #Conflicts: 1505000 | #Constraints: 37619
2933.23/2940.75 c #Conflicts: 1506000 | #Constraints: 38619
2933.23/2940.75 c #Conflicts: 1507000 | #Constraints: 39619
2933.23/2940.75 c #Conflicts: 1508000 | #Constraints: 40619
2933.23/2940.75 c #Conflicts: 1509000 | #Constraints: 41619
2933.23/2940.75 c #Conflicts: 1510000 | #Constraints: 42619
2933.23/2940.75 c #Conflicts: 1511000 | #Constraints: 43619
2933.23/2940.75 c #Conflicts: 1512000 | #Constraints: 44619
2933.23/2940.75 c #Conflicts: 1513000 | #Constraints: 45619
2933.23/2940.75 c #Conflicts: 1514000 | #Constraints: 46619
2933.23/2940.75 c #Conflicts: 1515000 | #Constraints: 47619
2933.23/2940.75 c #Conflicts: 1516000 | #Constraints: 48619
2933.23/2940.75 c INPROCESSING
2933.23/2940.75 c GARBAGE COLLECT
2933.23/2940.75 c #Conflicts: 1517000 | #Constraints: 25221
2933.23/2940.75 c #Conflicts: 1518000 | #Constraints: 26221
2933.23/2940.75 c #Conflicts: 1519000 | #Constraints: 27221
2933.23/2940.75 c #Conflicts: 1520000 | #Constraints: 28221
2933.23/2940.75 c #Conflicts: 1521000 | #Constraints: 29221
2933.23/2940.75 c #Conflicts: 1522000 | #Constraints: 30221
2933.23/2940.75 c #Conflicts: 1523000 | #Constraints: 31221
2933.23/2940.75 c #Conflicts: 1524000 | #Constraints: 32221
2933.23/2940.75 c #Conflicts: 1525000 | #Constraints: 33221
2933.23/2940.75 c #Conflicts: 1526000 | #Constraints: 34221
2933.23/2940.75 c #Conflicts: 1527000 | #Constraints: 35221
2933.23/2940.75 c #Conflicts: 1528000 | #Constraints: 36221
2933.23/2940.75 c #Conflicts: 1529000 | #Constraints: 37221
2933.23/2940.75 c #Conflicts: 1530000 | #Constraints: 38221
2933.23/2940.75 c #Conflicts: 1531000 | #Constraints: 39221
2933.23/2940.75 c #Conflicts: 1532000 | #Constraints: 40221
2933.23/2940.75 c #Conflicts: 1533000 | #Constraints: 41221
2933.23/2940.75 c #Conflicts: 1534000 | #Constraints: 42221
2933.23/2940.75 c #Conflicts: 1535000 | #Constraints: 43221
2933.23/2940.75 c #Conflicts: 1536000 | #Constraints: 44221
2933.23/2940.75 c #Conflicts: 1537000 | #Constraints: 45221
2933.23/2940.75 c #Conflicts: 1538000 | #Constraints: 46221
2933.23/2940.75 c #Conflicts: 1539000 | #Constraints: 47221
2933.23/2940.75 c #Conflicts: 1540000 | #Constraints: 48221
2933.23/2940.75 c #Conflicts: 1541000 | #Constraints: 49221
2933.23/2940.75 c INPROCESSING
2933.23/2940.75 c GARBAGE COLLECT
2933.23/2940.75 c #Conflicts: 1542000 | #Constraints: 25623
2933.23/2940.75 c #Conflicts: 1543000 | #Constraints: 26623
2933.23/2940.75 c #Conflicts: 1544000 | #Constraints: 27623
2933.23/2940.75 c #Conflicts: 1545000 | #Constraints: 28623
2933.23/2940.75 c #Conflicts: 1546000 | #Constraints: 29623
2933.23/2940.75 c #Conflicts: 1547000 | #Constraints: 30623
2933.23/2940.75 c #Conflicts: 1548000 | #Constraints: 31623
2933.23/2940.75 c #Conflicts: 1549000 | #Constraints: 32623
2933.23/2940.75 c #Conflicts: 1550000 | #Constraints: 33623
2933.23/2940.75 c #Conflicts: 1551000 | #Constraints: 34623
2933.23/2940.75 c #Conflicts: 1552000 | #Constraints: 35623
2933.23/2940.75 c #Conflicts: 1553000 | #Constraints: 36623
2933.23/2940.75 c #Conflicts: 1554000 | #Constraints: 37623
2933.23/2940.75 c #Conflicts: 1555000 | #Constraints: 38623
2933.23/2940.75 c #Conflicts: 1556000 | #Constraints: 39623
2933.23/2940.75 c #Conflicts: 1557000 | #Constraints: 40623
2933.23/2940.75 c #Conflicts: 1558000 | #Constraints: 41623
2933.23/2940.75 c #Conflicts: 1559000 | #Constraints: 42623
2933.23/2940.75 c #Conflicts: 1560000 | #Constraints: 43623
2933.23/2940.75 c #Conflicts: 1561000 | #Constraints: 44623
2933.23/2940.75 c #Conflicts: 1562000 | #Constraints: 45623
2933.23/2940.75 c #Conflicts: 1563000 | #Constraints: 46623
2933.23/2940.75 c #Conflicts: 1564000 | #Constraints: 47623
2933.23/2940.75 c #Conflicts: 1565000 | #Constraints: 48623
2933.23/2940.75 c #Conflicts: 1566000 | #Constraints: 49623
2933.23/2940.75 c INPROCESSING
2933.23/2940.75 c GARBAGE COLLECT
2933.23/2940.75 c #Conflicts: 1567000 | #Constraints: 25827
2933.23/2940.75 c #Conflicts: 1568000 | #Constraints: 26827
2933.23/2940.75 c #Conflicts: 1569000 | #Constraints: 27827
2933.23/2940.75 c #Conflicts: 1570000 | #Constraints: 28827
2933.23/2940.75 c #Conflicts: 1571000 | #Constraints: 29827
2933.23/2940.75 c #Conflicts: 1572000 | #Constraints: 30827
2933.23/2940.75 c #Conflicts: 1573000 | #Constraints: 31827
2933.23/2940.75 c #Conflicts: 1574000 | #Constraints: 32827
2933.23/2940.75 c #Conflicts: 1575000 | #Constraints: 33827
2933.23/2940.75 c #Conflicts: 1576000 | #Constraints: 34827
2933.23/2940.75 c #Conflicts: 1577000 | #Constraints: 35827
2933.23/2940.75 c #Conflicts: 1578000 | #Constraints: 36827
2933.23/2940.75 c #Conflicts: 1579000 | #Constraints: 37827
2933.23/2940.75 c #Conflicts: 1580000 | #Constraints: 38827
2933.23/2940.75 c #Conflicts: 1581000 | #Constraints: 39827
3151.55/3159.64 c #Conflicts: 1582000 | #Constraints: 40827
3151.55/3159.64 c #Conflicts: 1583000 | #Constraints: 41827
3151.55/3159.64 c #Conflicts: 1584000 | #Constraints: 42827
3151.55/3159.64 c #Conflicts: 1585000 | #Constraints: 43827
3151.55/3159.64 c #Conflicts: 1586000 | #Constraints: 44827
3151.55/3159.64 c #Conflicts: 1587000 | #Constraints: 45827
3151.55/3159.64 c #Conflicts: 1588000 | #Constraints: 46827
3151.55/3159.64 c #Conflicts: 1589000 | #Constraints: 47827
3151.55/3159.64 c #Conflicts: 1590000 | #Constraints: 48827
3151.55/3159.64 c #Conflicts: 1591000 | #Constraints: 49827
3151.55/3159.64 c INPROCESSING
3151.55/3159.64 c GARBAGE COLLECT
3151.55/3159.64 c #Conflicts: 1592000 | #Constraints: 25824
3151.55/3159.64 c #Conflicts: 1593000 | #Constraints: 26824
3151.55/3159.64 c #Conflicts: 1594000 | #Constraints: 27824
3151.55/3159.64 c #Conflicts: 1595000 | #Constraints: 28824
3151.55/3159.64 c #Conflicts: 1596000 | #Constraints: 29824
3151.55/3159.64 c #Conflicts: 1597000 | #Constraints: 30824
3151.55/3159.64 c #Conflicts: 1598000 | #Constraints: 31824
3151.55/3159.64 c #Conflicts: 1599000 | #Constraints: 32824
3151.55/3159.64 c #Conflicts: 1600000 | #Constraints: 33824
3151.55/3159.64 c #Conflicts: 1601000 | #Constraints: 34824
3151.55/3159.64 c #Conflicts: 1602000 | #Constraints: 35824
3151.55/3159.64 c #Conflicts: 1603000 | #Constraints: 36824
3151.55/3159.64 c #Conflicts: 1604000 | #Constraints: 37824
3151.55/3159.64 c #Conflicts: 1605000 | #Constraints: 38824
3151.55/3159.64 c #Conflicts: 1606000 | #Constraints: 39824
3151.55/3159.64 c #Conflicts: 1607000 | #Constraints: 40824
3151.55/3159.64 c #Conflicts: 1608000 | #Constraints: 41824
3151.55/3159.64 c #Conflicts: 1609000 | #Constraints: 42824
3151.55/3159.64 c #Conflicts: 1610000 | #Constraints: 43824
3151.55/3159.64 c #Conflicts: 1611000 | #Constraints: 44824
3151.55/3159.64 c #Conflicts: 1612000 | #Constraints: 45824
3151.55/3159.64 c #Conflicts: 1613000 | #Constraints: 46824
3151.55/3159.64 c #Conflicts: 1614000 | #Constraints: 47824
3151.55/3159.64 c #Conflicts: 1615000 | #Constraints: 48824
3151.55/3159.64 c #Conflicts: 1616000 | #Constraints: 49824
3151.55/3159.64 c INPROCESSING
3151.55/3159.64 c GARBAGE COLLECT
3151.55/3159.64 c #Conflicts: 1617000 | #Constraints: 25624
3151.55/3159.64 c #Conflicts: 1618000 | #Constraints: 26624
3151.55/3159.64 c #Conflicts: 1619000 | #Constraints: 27624
3151.55/3159.64 c #Conflicts: 1620000 | #Constraints: 28624
3151.55/3159.64 c #Conflicts: 1621000 | #Constraints: 29624
3151.55/3159.64 c #Conflicts: 1622000 | #Constraints: 30624
3151.55/3159.64 c #Conflicts: 1623000 | #Constraints: 31624
3151.55/3159.64 c #Conflicts: 1624000 | #Constraints: 32624
3151.55/3159.64 c #Conflicts: 1625000 | #Constraints: 33624
3151.55/3159.64 c #Conflicts: 1626000 | #Constraints: 34624
3151.55/3159.64 c #Conflicts: 1627000 | #Constraints: 35624
3151.55/3159.64 c #Conflicts: 1628000 | #Constraints: 36624
3151.55/3159.64 c #Conflicts: 1629000 | #Constraints: 37624
3151.55/3159.64 c #Conflicts: 1630000 | #Constraints: 38624
3151.55/3159.64 c #Conflicts: 1631000 | #Constraints: 39624
3151.55/3159.64 c #Conflicts: 1632000 | #Constraints: 40624
3151.55/3159.64 c #Conflicts: 1633000 | #Constraints: 41624
3151.55/3159.64 c #Conflicts: 1634000 | #Constraints: 42624
3151.55/3159.64 c #Conflicts: 1635000 | #Constraints: 43624
3151.55/3159.64 c #Conflicts: 1636000 | #Constraints: 44624
3151.55/3159.64 c #Conflicts: 1637000 | #Constraints: 45624
3151.55/3159.64 c #Conflicts: 1638000 | #Constraints: 46624
3151.55/3159.64 c #Conflicts: 1639000 | #Constraints: 47624
3151.55/3159.64 c #Conflicts: 1640000 | #Constraints: 48624
3151.55/3159.64 c #Conflicts: 1641000 | #Constraints: 49624
3151.55/3159.64 c #Conflicts: 1642000 | #Constraints: 50624
3151.55/3159.64 c INPROCESSING
3151.55/3159.64 c GARBAGE COLLECT
3151.55/3159.64 c #Conflicts: 1643000 | #Constraints: 26224
3151.55/3159.64 c #Conflicts: 1644000 | #Constraints: 27224
3151.55/3159.64 c #Conflicts: 1645000 | #Constraints: 28224
3151.55/3159.64 c #Conflicts: 1646000 | #Constraints: 29224
3151.55/3159.64 c #Conflicts: 1647000 | #Constraints: 30224
3151.55/3159.64 c #Conflicts: 1648000 | #Constraints: 31224
3151.55/3159.64 c #Conflicts: 1649000 | #Constraints: 32224
3151.55/3159.64 c #Conflicts: 1650000 | #Constraints: 33224
3151.55/3159.64 c #Conflicts: 1651000 | #Constraints: 34224
3151.55/3159.64 c #Conflicts: 1652000 | #Constraints: 35224
3151.55/3159.64 c #Conflicts: 1653000 | #Constraints: 36224
3151.55/3159.64 c #Conflicts: 1654000 | #Constraints: 37224
3151.55/3159.64 c #Conflicts: 1655000 | #Constraints: 38224
3151.55/3159.64 c #Conflicts: 1656000 | #Constraints: 39224
3151.55/3159.64 c #Conflicts: 1657000 | #Constraints: 40224
3151.55/3159.64 c #Conflicts: 1658000 | #Constraints: 41224
3359.58/3368.20 c #Conflicts: 1659000 | #Constraints: 42224
3359.58/3368.20 c #Conflicts: 1660000 | #Constraints: 43224
3359.58/3368.20 c #Conflicts: 1661000 | #Constraints: 44224
3359.58/3368.20 c #Conflicts: 1662000 | #Constraints: 45224
3359.58/3368.20 c #Conflicts: 1663000 | #Constraints: 46224
3359.58/3368.20 c #Conflicts: 1664000 | #Constraints: 47224
3359.58/3368.20 c #Conflicts: 1665000 | #Constraints: 48224
3359.58/3368.20 c #Conflicts: 1666000 | #Constraints: 49224
3359.58/3368.20 c #Conflicts: 1667000 | #Constraints: 50224
3359.58/3368.20 c #Conflicts: 1668000 | #Constraints: 51224
3359.58/3368.20 c INPROCESSING
3359.58/3368.20 c GARBAGE COLLECT
3359.58/3368.20 c #Conflicts: 1669000 | #Constraints: 26623
3359.58/3368.20 c #Conflicts: 1670000 | #Constraints: 27623
3359.58/3368.20 c #Conflicts: 1671000 | #Constraints: 28623
3359.58/3368.20 c #Conflicts: 1672000 | #Constraints: 29623
3359.58/3368.20 c #Conflicts: 1673000 | #Constraints: 30623
3359.58/3368.20 c #Conflicts: 1674000 | #Constraints: 31623
3359.58/3368.20 c #Conflicts: 1675000 | #Constraints: 32623
3359.58/3368.20 c #Conflicts: 1676000 | #Constraints: 33623
3359.58/3368.20 c #Conflicts: 1677000 | #Constraints: 34623
3359.58/3368.20 c #Conflicts: 1678000 | #Constraints: 35623
3359.58/3368.20 c #Conflicts: 1679000 | #Constraints: 36623
3359.58/3368.20 c #Conflicts: 1680000 | #Constraints: 37623
3359.58/3368.20 c #Conflicts: 1681000 | #Constraints: 38623
3359.58/3368.20 c #Conflicts: 1682000 | #Constraints: 39623
3359.58/3368.20 c #Conflicts: 1683000 | #Constraints: 40623
3359.58/3368.20 c #Conflicts: 1684000 | #Constraints: 41623
3359.58/3368.20 c #Conflicts: 1685000 | #Constraints: 42623
3359.58/3368.20 c #Conflicts: 1686000 | #Constraints: 43623
3359.58/3368.20 c #Conflicts: 1687000 | #Constraints: 44623
3359.58/3368.20 c #Conflicts: 1688000 | #Constraints: 45623
3359.58/3368.20 c #Conflicts: 1689000 | #Constraints: 46623
3359.58/3368.20 c #Conflicts: 1690000 | #Constraints: 47623
3359.58/3368.20 c #Conflicts: 1691000 | #Constraints: 48623
3359.58/3368.20 c #Conflicts: 1692000 | #Constraints: 49623
3359.58/3368.20 c #Conflicts: 1693000 | #Constraints: 50623
3359.58/3368.20 c #Conflicts: 1694000 | #Constraints: 51623
3359.58/3368.20 c INPROCESSING
3359.58/3368.20 c GARBAGE COLLECT
3359.58/3368.20 c #Conflicts: 1695000 | #Constraints: 26821
3359.58/3368.20 c #Conflicts: 1696000 | #Constraints: 27821
3359.58/3368.20 c #Conflicts: 1697000 | #Constraints: 28821
3359.58/3368.20 c #Conflicts: 1698000 | #Constraints: 29821
3359.58/3368.20 c #Conflicts: 1699000 | #Constraints: 30821
3359.58/3368.20 c #Conflicts: 1700000 | #Constraints: 31821
3359.58/3368.20 c #Conflicts: 1701000 | #Constraints: 32821
3359.58/3368.20 c #Conflicts: 1702000 | #Constraints: 33821
3359.58/3368.20 c #Conflicts: 1703000 | #Constraints: 34821
3359.58/3368.20 c #Conflicts: 1704000 | #Constraints: 35821
3359.58/3368.20 c #Conflicts: 1705000 | #Constraints: 36821
3359.58/3368.20 c #Conflicts: 1706000 | #Constraints: 37821
3359.58/3368.20 c #Conflicts: 1707000 | #Constraints: 38821
3359.58/3368.20 c #Conflicts: 1708000 | #Constraints: 39821
3359.58/3368.20 c #Conflicts: 1709000 | #Constraints: 40821
3359.58/3368.20 c #Conflicts: 1710000 | #Constraints: 41821
3359.58/3368.20 c #Conflicts: 1711000 | #Constraints: 42821
3359.58/3368.20 c #Conflicts: 1712000 | #Constraints: 43821
3359.58/3368.20 c #Conflicts: 1713000 | #Constraints: 44821
3359.58/3368.20 c #Conflicts: 1714000 | #Constraints: 45821
3359.58/3368.20 c #Conflicts: 1715000 | #Constraints: 46821
3359.58/3368.20 c #Conflicts: 1716000 | #Constraints: 47821
3359.58/3368.20 c #Conflicts: 1717000 | #Constraints: 48821
3359.58/3368.20 c #Conflicts: 1718000 | #Constraints: 49821
3359.58/3368.20 c #Conflicts: 1719000 | #Constraints: 50821
3359.58/3368.20 c #Conflicts: 1720000 | #Constraints: 51821
3359.58/3368.20 c INPROCESSING
3359.58/3368.20 c GARBAGE COLLECT
3359.58/3368.20 c #Conflicts: 1721000 | #Constraints: 26822
3359.58/3368.20 c #Conflicts: 1722000 | #Constraints: 27822
3359.58/3368.20 c #Conflicts: 1723000 | #Constraints: 28822
3359.58/3368.20 c #Conflicts: 1724000 | #Constraints: 29822
3359.58/3368.20 c #Conflicts: 1725000 | #Constraints: 30822
3359.58/3368.20 c #Conflicts: 1726000 | #Constraints: 31822
3359.58/3368.20 c #Conflicts: 1727000 | #Constraints: 32822
3359.58/3368.20 c #Conflicts: 1728000 | #Constraints: 33822
3359.58/3368.20 c #Conflicts: 1729000 | #Constraints: 34822
3359.58/3368.20 c #Conflicts: 1730000 | #Constraints: 35822
3359.58/3368.20 c #Conflicts: 1731000 | #Constraints: 36822
3359.58/3368.20 c #Conflicts: 1732000 | #Constraints: 37822
3359.58/3368.20 c #Conflicts: 1733000 | #Constraints: 38822
3359.58/3368.20 c #Conflicts: 1734000 | #Constraints: 39822
3359.58/3368.20 c #Conflicts: 1735000 | #Constraints: 40822
3579.68/3588.96 c #Conflicts: 1736000 | #Constraints: 41822
3579.68/3588.96 c #Conflicts: 1737000 | #Constraints: 42822
3579.68/3588.96 c #Conflicts: 1738000 | #Constraints: 43822
3579.68/3588.96 c #Conflicts: 1739000 | #Constraints: 44822
3579.68/3588.96 c #Conflicts: 1740000 | #Constraints: 45822
3579.68/3588.96 c #Conflicts: 1741000 | #Constraints: 46822
3579.68/3588.96 c #Conflicts: 1742000 | #Constraints: 47822
3579.68/3588.96 c #Conflicts: 1743000 | #Constraints: 48822
3579.68/3588.96 c #Conflicts: 1744000 | #Constraints: 49822
3579.68/3588.96 c #Conflicts: 1745000 | #Constraints: 50822
3579.68/3588.96 c #Conflicts: 1746000 | #Constraints: 51822
3579.68/3588.96 c INPROCESSING
3579.68/3588.96 c GARBAGE COLLECT
3579.68/3588.96 c #Conflicts: 1747000 | #Constraints: 26619
3579.68/3588.96 c #Conflicts: 1748000 | #Constraints: 27619
3579.68/3588.96 c #Conflicts: 1749000 | #Constraints: 28619
3579.68/3588.96 c #Conflicts: 1750000 | #Constraints: 29619
3579.68/3588.96 c #Conflicts: 1751000 | #Constraints: 30619
3579.68/3588.96 c #Conflicts: 1752000 | #Constraints: 31619
3579.68/3588.96 c #Conflicts: 1753000 | #Constraints: 32619
3579.68/3588.96 c #Conflicts: 1754000 | #Constraints: 33619
3579.68/3588.96 c #Conflicts: 1755000 | #Constraints: 34619
3579.68/3588.96 c #Conflicts: 1756000 | #Constraints: 35619
3579.68/3588.96 c #Conflicts: 1757000 | #Constraints: 36619
3579.68/3588.96 c #Conflicts: 1758000 | #Constraints: 37619
3579.68/3588.96 c #Conflicts: 1759000 | #Constraints: 38619
3579.68/3588.96 c #Conflicts: 1760000 | #Constraints: 39619
3579.68/3588.96 c #Conflicts: 1761000 | #Constraints: 40619
3579.68/3588.96 c #Conflicts: 1762000 | #Constraints: 41619
3579.68/3588.96 c #Conflicts: 1763000 | #Constraints: 42619
3579.68/3588.96 c #Conflicts: 1764000 | #Constraints: 43619
3579.68/3588.96 c #Conflicts: 1765000 | #Constraints: 44619
3579.68/3588.96 c #Conflicts: 1766000 | #Constraints: 45619
3579.68/3588.96 c #Conflicts: 1767000 | #Constraints: 46619
3579.68/3588.96 c #Conflicts: 1768000 | #Constraints: 47619
3579.68/3588.96 c #Conflicts: 1769000 | #Constraints: 48619
3579.68/3588.96 c #Conflicts: 1770000 | #Constraints: 49619
3579.68/3588.96 c #Conflicts: 1771000 | #Constraints: 50619
3579.68/3588.96 c #Conflicts: 1772000 | #Constraints: 51619
3579.68/3588.96 c #Conflicts: 1773000 | #Constraints: 52619
3579.68/3588.96 c INPROCESSING
3579.68/3588.96 c GARBAGE COLLECT
3579.68/3588.96 c #Conflicts: 1774000 | #Constraints: 27219
3579.68/3588.96 c #Conflicts: 1775000 | #Constraints: 28219
3579.68/3588.96 c #Conflicts: 1776000 | #Constraints: 29219
3579.68/3588.96 c #Conflicts: 1777000 | #Constraints: 30219
3579.68/3588.96 c #Conflicts: 1778000 | #Constraints: 31219
3579.68/3588.96 c #Conflicts: 1779000 | #Constraints: 32219
3579.68/3588.96 c #Conflicts: 1780000 | #Constraints: 33219
3579.68/3588.96 c #Conflicts: 1781000 | #Constraints: 34219
3579.68/3588.96 c #Conflicts: 1782000 | #Constraints: 35219
3579.68/3588.96 c #Conflicts: 1783000 | #Constraints: 36219
3579.68/3588.96 c #Conflicts: 1784000 | #Constraints: 37219
3579.68/3588.96 c #Conflicts: 1785000 | #Constraints: 38219
3579.68/3588.96 c #Conflicts: 1786000 | #Constraints: 39219
3579.68/3588.96 c #Conflicts: 1787000 | #Constraints: 40219
3579.68/3588.96 c #Conflicts: 1788000 | #Constraints: 41219
3579.68/3588.96 c #Conflicts: 1789000 | #Constraints: 42219
3579.68/3588.96 c #Conflicts: 1790000 | #Constraints: 43219
3579.68/3588.96 c #Conflicts: 1791000 | #Constraints: 44219
3579.68/3588.96 c #Conflicts: 1792000 | #Constraints: 45219
3579.68/3588.96 c #Conflicts: 1793000 | #Constraints: 46219
3579.68/3588.96 c #Conflicts: 1794000 | #Constraints: 47219
3579.68/3588.96 c #Conflicts: 1795000 | #Constraints: 48219
3579.68/3588.96 c #Conflicts: 1796000 | #Constraints: 49219
3579.68/3588.96 c #Conflicts: 1797000 | #Constraints: 50219
3579.68/3588.96 c #Conflicts: 1798000 | #Constraints: 51219
3579.68/3588.96 c #Conflicts: 1799000 | #Constraints: 52219
3579.68/3588.96 c #Conflicts: 1800000 | #Constraints: 53219
3579.68/3588.96 c INPROCESSING
3579.68/3588.96 c GARBAGE COLLECT
3579.68/3588.96 c #Conflicts: 1801000 | #Constraints: 27620
3579.68/3588.96 c #Conflicts: 1802000 | #Constraints: 28620
3579.68/3588.96 c #Conflicts: 1803000 | #Constraints: 29620
3579.68/3588.96 c #Conflicts: 1804000 | #Constraints: 30620
3579.68/3588.96 c #Conflicts: 1805000 | #Constraints: 31620
3579.68/3588.96 c #Conflicts: 1806000 | #Constraints: 32620
3579.68/3588.96 c #Conflicts: 1807000 | #Constraints: 33620
3579.68/3588.96 c #Conflicts: 1808000 | #Constraints: 34620
3579.68/3588.96 c #Conflicts: 1809000 | #Constraints: 35620
3579.68/3588.96 c #Conflicts: 1810000 | #Constraints: 36620
3579.68/3588.96 c #Conflicts: 1811000 | #Constraints: 37620
3579.68/3588.96 c #Conflicts: 1812000 | #Constraints: 38620
3600.03/3609.30 c #Conflicts: 1813000 | #Constraints: 39620
3600.03/3609.30 c #Conflicts: 1814000 | #Constraints: 40620
3600.03/3609.30 c #Conflicts: 1815000 | #Constraints: 41620
3600.03/3609.30 c #Conflicts: 1816000 | #Constraints: 42620
3600.03/3609.30 c #Conflicts: 1817000 | #Constraints: 43620
3600.03/3609.30 c #Conflicts: 1818000 | #Constraints: 44620
3600.03/3609.30 c #Conflicts: 1819000 | #Constraints: 45620
3600.03/3609.30 c #Conflicts: 1820000 | #Constraints: 46620
3600.03/3609.30 c Program interrupted by user.
3600.03/3609.30 c cpu time 3592.69 s
3600.03/3609.30 c deterministic time 567688786960 5.68e+11
3600.03/3609.30 c optimization time 48.9681 s
3600.03/3609.30 c total solve time 3244.79 s
3600.03/3609.30 c core-guided solve time 3244.79 s
3600.03/3609.30 c propagation time 3115.8 s
3600.03/3609.30 c conflict analysis time 166.316 s
3600.03/3609.30 c propagations 17134628
3600.03/3609.30 c resolve steps 7776164
3600.03/3609.30 c decisions 2936769
3600.03/3609.30 c conflicts 1820137
3600.03/3609.30 c restarts 3575
3600.03/3609.30 c inprocessing phases 125
3600.03/3609.30 c input clauses 0
3600.03/3609.30 c input cardinalities 0
3600.03/3609.30 c input general constraints 11
3600.03/3609.30 c input average constraint length 58.00
3600.03/3609.30 c input average constraint degree 1414.00
3600.03/3609.30 c learned clauses 1001336
3600.03/3609.30 c learned cardinalities 1
3600.03/3609.30 c learned general constraints 818799
3600.03/3609.30 c learned average constraint length 32.88
3600.03/3609.30 c learned average constraint degree 22632.01
3600.03/3609.30 c watched constraints 767349
3600.03/3609.30 c counting constraints 51461
3600.03/3609.30 c gcd simplifications 913197
3600.03/3609.30 c detected cardinalities 1
3600.03/3609.30 c weakened non-implied lits 12904560
3600.03/3609.30 c weakened non-implying lits 1339964
3600.03/3609.30 c original variables 120
3600.03/3609.30 c clausal propagations 289326
3600.03/3609.30 c cardinality propagations 0
3600.03/3609.30 c watched propagations 4725998
3600.03/3609.30 c counting propagations 10644389
3600.03/3609.30 c watch lookups 46171445960
3600.03/3609.30 c watch backjump lookups 31726516339
3600.03/3609.30 c watch checks 338110721111
3600.03/3609.30 c propagation checks 151214026590
3600.03/3609.30 c constraint additions 424114148
3600.03/3609.30 c trail pops 21891414
3600.03/3609.30 c formula constraints 10
3600.03/3609.30 c learned constraints 1820136
3600.03/3609.30 c bound constraints 1
3600.03/3609.30 c core-guided constraints 0
3600.03/3609.30 c encountered formula constraints 3265766
3600.03/3609.30 c encountered learned constraints 6330535
3600.03/3609.30 c encountered bound constraints 0
3600.03/3609.30 c encountered core-guided constraints 0
3600.03/3609.30 c LP total time 0 s
3600.03/3609.30 c LP solve time 0 s
3600.03/3609.30 c LP constraints added 0
3600.03/3609.30 c LP constraints removed 0
3600.03/3609.30 c LP pivots internal 0
3600.03/3609.30 c LP pivots root 0
3600.03/3609.30 c LP calls 0
3600.03/3609.30 c LP optimalities 0
3600.03/3609.30 c LP no pivot count 0
3600.03/3609.30 c LP infeasibilities 0
3600.03/3609.30 c LP valid Farkas constraints 0
3600.03/3609.30 c LP learned Farkas constraints 0
3600.03/3609.30 c LP basis resets 0
3600.03/3609.30 c LP cycling count 0
3600.03/3609.30 c LP singular count 0
3600.03/3609.30 c LP no primal count 0
3600.03/3609.30 c LP no farkas count 0
3600.03/3609.30 c LP other issue count 0
3600.03/3609.30 c LP Gomory cuts 0
3600.03/3609.30 c LP learned cuts 0
3600.03/3609.30 c LP deleted cuts 0
3600.03/3609.30 c LP encountered Gomory constraints 0
3600.03/3609.30 c LP encountered Farkas constraints 0
3600.03/3609.30 c LP encountered learned Farkas constraints 0
3600.03/3609.30 c CG auxiliary variables introduced 0
3600.03/3609.30 c CG solutions found 0
3600.03/3609.30 c CG cores constructed 0
3600.03/3609.30 c CG core cardinality constraints returned 0
3600.03/3609.30 c CG unit cores 0
3600.03/3609.30 c CG single cores 0
3600.03/3609.30 c CG blocks removed during cardinality reduction 0
3600.03/3609.30 c CG first core best 0
3600.03/3609.30 c CG decision core best 0
3600.03/3609.30 c CG core reduction tie 0
3600.03/3609.30 c CG core degree average 0.00
3600.03/3609.30 c CG core slack average 0.00
3600.03/3609.30 c CG exhausted 0
3600.03/3609.30 c CG exhaust time 0 s
3600.03/3609.30 c CG trimmed 0
3600.03/3609.30 c CG trim time 0 s
3600.03/3609.30 c CG minimized 0
3600.03/3609.30 c CG minimize time 0 s
3600.03/3609.30 c CG am1 prop time 1.2e-05 s
3600.03/3609.30 c CG # am1s reformulated 0
3600.03/3609.30 c CG lower bound derived from am1s 0
3600.03/3609.30 c CG # clausal cores 0
3600.03/3609.30 c CG # cardinality cores 0
3600.03/3609.30 c CG # pb cores 0
3600.03/3609.30 c CG # pb reforms 0
3600.03/3609.30 c CG # cores discarded because of pb reform 0
3600.03/3609.30 d LOWERBOUND 0
3600.03/3609.30 d NCORES 0
3600.03/3609.30 d NPBCORES 0
3600.03/3609.30 d NPBREFORM 0
3600.03/3609.30 d NTRIMMED 0
3600.03/3609.30 d NEXHAUSTED 0
3600.03/3609.30 d NAM1S 0
3600.03/3609.30 d AM1LB 0
3600.03/3609.30 c [Papilo Statistics]
3600.03/3609.30 c prepro time 0.00027427s
3600.03/3609.30 c # tsx applied 5
3600.03/3609.30 c # tsx conflicts 0
3600.03/3609.30 c # bound changes 0
3600.03/3609.30 c # side changes 5
3600.03/3609.30 c # coef changes 0
3600.03/3609.30 c # rounds 2
3600.03/3609.30 c # deted vars 0
3600.03/3609.30 c # deted constrs 5
3600.03/3609.30 c # consecutive rounds of only bound changes 0
3600.03/3609.30 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62494 MiB free)
memory of node 1: 64507 MiB (63950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490509-1751368388/watcher-4490509-1751368388 -o /tmp/evaluation-result-4490509-1751368388/solver-4490509-1751368388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48389 --watchdog 3760 mixed-bag HOME/instance-4490509-1751368388.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49588, runsolver pid=49585
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 49589
/proc/meminfo: memFree=129470220/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=103636 memory=29184 CPUtime=0.08 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 3414 0 0 0 8 0 0 0 20 0 1 0 52518741 106123264 7296 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 25909 7296 4320 2842 0 7603 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103636 KiB
Current children cumulated memory: 29184 KiB
[startup+0.205418 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 49589
/proc/meminfo: memFree=129466188/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=106620 memory=31488 CPUtime=0.19 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 3983 0 0 0 19 0 0 0 20 0 1 0 52518741 109178880 7872 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 26655 7872 4320 2842 0 8349 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106620 KiB
Current children cumulated memory: 31488 KiB
[startup+0.305229 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 49589
/proc/meminfo: memFree=129466188/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=106620 memory=32256 CPUtime=0.29 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 4169 0 0 0 29 0 0 0 20 0 1 0 52518741 109178880 8064 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 26655 8064 4320 2842 0 8349 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106620 KiB
Current children cumulated memory: 32256 KiB
[startup+0.70012 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 49589
/proc/meminfo: memFree=129466444/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=107336 memory=33408 CPUtime=0.67 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 4479 0 0 0 67 0 0 0 20 0 1 0 52518741 109912064 8352 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 26834 8352 4320 2842 0 8528 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 107336 KiB
Current children cumulated memory: 33408 KiB
[startup+1.50012 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 49589
/proc/meminfo: memFree=129460092/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=108652 memory=34356 CPUtime=1.47 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 5125 0 0 0 147 0 0 0 20 0 1 0 52518741 111259648 8589 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 27163 8589 4320 2842 0 8857 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 108652 KiB
Current children cumulated memory: 34356 KiB
[startup+3.10522 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 49589
/proc/meminfo: memFree=129452736/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=109652 memory=35892 CPUtime=3.07 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 5518 0 0 0 307 0 0 0 20 0 1 0 52518741 112283648 8973 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 27413 8973 4320 2842 0 9107 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 109652 KiB
Current children cumulated memory: 35892 KiB
[startup+6.30011 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 49589
/proc/meminfo: memFree=129441144/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=117244 memory=43060 CPUtime=6.26 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 7305 0 0 0 625 1 0 0 20 0 1 0 52518741 120057856 10765 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 29311 10765 4320 2842 0 11005 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117244 KiB
Current children cumulated memory: 43060 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 49589
/proc/meminfo: memFree=129396592/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=122360 memory=48436 CPUtime=12.64 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 8652 0 0 0 1263 1 0 0 20 0 1 0 52518741 125296640 12109 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 30590 12109 4320 2842 0 12284 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 122360 KiB
Current children cumulated memory: 48436 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 49589
/proc/meminfo: memFree=129379408/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=130540 memory=57140 CPUtime=25.38 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 10817 0 0 0 2537 1 0 0 20 0 1 0 52518741 133672960 14285 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 32635 14285 4320 2842 0 14329 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 130540 KiB
Current children cumulated memory: 57140 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 49591
/proc/meminfo: memFree=129308948/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=143756 memory=69940 CPUtime=50.9 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 13882 0 0 0 5088 2 0 0 20 0 1 0 52518741 147206144 17485 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 35939 17485 4480 2842 0 17633 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 143756 KiB
Current children cumulated memory: 69940 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 49593
/proc/meminfo: memFree=129200716/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=145568 memory=72500 CPUtime=101.91 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 14501 0 0 0 10189 2 0 0 20 0 1 0 52518741 149061632 18125 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 36392 18125 4480 2842 0 18086 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 145568 KiB
Current children cumulated memory: 72500 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 49595
/proc/meminfo: memFree=129119120/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=145568 memory=73396 CPUtime=161.69 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 14748 0 0 0 16167 2 0 0 20 0 1 0 52518741 149061632 18349 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 36392 18349 4480 2842 0 18086 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 145568 KiB
Current children cumulated memory: 73396 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 49599
/proc/meminfo: memFree=129029460/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=156860 memory=83124 CPUtime=221.47 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 17188 0 0 0 22145 2 0 0 20 0 1 0 52518741 160624640 20781 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 39215 20781 4480 2842 0 20909 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 156860 KiB
Current children cumulated memory: 83124 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 49606
/proc/meminfo: memFree=129081124/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=154540 memory=81680 CPUtime=281.24 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 17386 0 0 0 28122 2 0 0 20 0 1 0 52518741 158248960 20420 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 38635 20420 4480 2842 0 20329 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 154540 KiB
Current children cumulated memory: 81680 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 49608
/proc/meminfo: memFree=129089100/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=151644 memory=84644 CPUtime=341.08 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 17498 0 0 0 34074 34 0 0 20 0 1 0 52518741 155283456 21161 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 37911 21161 4672 2842 0 19605 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 151644 KiB
Current children cumulated memory: 84644 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 49610
/proc/meminfo: memFree=129092436/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=154364 memory=84772 CPUtime=400.94 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 17536 0 0 0 40034 60 0 0 20 0 1 0 52518741 158068736 21193 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 38591 21193 4672 2842 0 20285 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 154364 KiB
Current children cumulated memory: 84772 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 49613
/proc/meminfo: memFree=129091560/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=154364 memory=86864 CPUtime=460.81 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 17544 0 0 0 45998 83 0 0 20 0 1 0 52518741 158068736 21716 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 38591 21716 4672 2842 0 20285 0
################
# More data... #
################
Current children cumulated memory: 97108 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 49780
/proc/meminfo: memFree=129142760/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=2914.88 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18465 0 0 0 290852 636 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 49782
/proc/meminfo: memFree=129134656/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=2974.72 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 296826 646 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 49784
/proc/meminfo: memFree=129134560/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3034.56 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 302801 655 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3034.56 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3102.3 s]
/proc/loadavg: 4.39 4.15 4.11 5/262 49786
/proc/meminfo: memFree=129134672/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3094.4 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 308777 663 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/262 49788
/proc/meminfo: memFree=129134504/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3154.24 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 314753 671 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 49792
/proc/meminfo: memFree=129134688/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3214.07 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 320729 678 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 49798
/proc/meminfo: memFree=129134488/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3273.91 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 326704 687 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 49800
/proc/meminfo: memFree=129134468/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3333.75 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 332678 697 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 49802
/proc/meminfo: memFree=129134580/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3393.59 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 338653 706 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/263 49804
/proc/meminfo: memFree=129134388/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=97108 CPUtime=3453.42 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18467 0 0 0 344627 715 0 0 20 0 1 0 52518741 169947136 24277 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24277 4672 2842 0 23185 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 97108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 49806
/proc/meminfo: memFree=129127128/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=99156 CPUtime=3513.27 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18468 0 0 0 350604 723 0 0 20 0 1 0 52518741 169947136 24789 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24789 4672 2842 0 23185 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 99156 KiB
[startup+3582.3 s]
/proc/loadavg: 3.87 4.05 4.07 3/250 49870
/proc/meminfo: memFree=129655696/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=99156 CPUtime=3573.11 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18468 0 0 0 356580 731 0 0 20 0 1 0 52518741 169947136 24789 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24789 4672 2842 0 23185 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 99156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 3.20 3.87 4.01 3/250 49871
/proc/meminfo: memFree=129655872/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=99156 CPUtime=3600.03 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18468 0 0 0 359269 734 0 0 20 0 1 0 52518741 169947136 24789 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24789 4672 2842 0 23185 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 99156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 49588 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.7 s, system=7.35019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 3.20 3.87 4.01 3/250 49871
/proc/meminfo: memFree=129655872/131250000 swapFree=33010416/33010684
[pid=49588] ppid=49585 vsize=165964 memory=99156 CPUtime=3600.03 cores=1,3
/proc/49588/stat : 49588 (mixed-bag) R 49585 49588 48377 0 -1 4194304 18468 0 0 0 359269 734 0 0 20 0 1 0 52518741 169947136 24789 18446744073709551615 4235264 15874749 140720490608384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 50409472 140720490613148 140720490613225 140720490613225 140720490618827 0
/proc/49588/statm: 41491 24789 4672 2842 0 23185 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 165964 KiB
Current children cumulated memory: 99156 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.05
CPU user time (s): 3592.7
CPU system time (s): 7.35019
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 165964
Max. memory (cumulated for all children) (KiB): 99156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.7
system time used= 7.35019
maximum resident set size= 99796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18491
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= 154
involuntary context switches= 1240
# summary of solver processes directly reported to runsolver:
# pid: 49588
# total CPU time (s): 3600.05
# total CPU user time (s): 3592.7
# total CPU system time (s): 7.35019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54404 second user time and 15.0495 second system time
The end
Begin job on nodeC027 at 2025-07-01 13:13:09
IDJOB=4490509
IDBENCH=147589
IDSOLVER=3340
FILE ID=nodeC027/4490509-1751368388
RUNJOBID= nodeC027-1751361124-48389
SLURM_JOB_ID= 9598168
Free space on /tmp= 433016 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490509-1751368388/watcher-4490509-1751368388 -o /tmp/evaluation-result-4490509-1751368388/solver-4490509-1751368388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48389 --watchdog 3760 mixed-bag HOME/instance-4490509-1751368388.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8ec3b633bd42b6cf315d15d8b6de5e8f
RANDOM SEED=1912797171
nodeC027 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.644
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.29
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 : 3601.780
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.29
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 : 3558.646
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.645
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.29
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.647
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.29
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.639
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.29
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 : 3700.000
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.29
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129479944 kB
MemAvailable: 129214040 kB
Buffers: 2488 kB
Cached: 536564 kB
SwapCached: 12 kB
Active: 902776 kB
Inactive: 235512 kB
Active(anon): 614500 kB
Inactive(anon): 2792 kB
Active(file): 288276 kB
Inactive(file): 232720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15592 kB
Writeback: 0 kB
AnonPages: 602372 kB
Mapped: 138628 kB
Shmem: 18056 kB
KReclaimable: 104276 kB
Slab: 192460 kB
SReclaimable: 104276 kB
SUnreclaim: 88184 kB
KernelStack: 4256 kB
PageTables: 4420 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1000096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC027 at 2025-07-01 14:13:18