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
299.57/300.67 c [STEP] preprocessing done, loading into solver
299.57/300.67 c [STEP] solving
299.57/300.67 c #variables 173 #constraints 14
299.57/300.67 c SMALL=int, LARGE=long long
299.57/300.67 d SCIPUB 37
299.57/300.67 c bounds - >= 0 @ 299.377
299.57/300.67 c stratification level: 32
310.05/311.12 c #Conflicts: 1000 | #Constraints: 1014
310.05/311.12 c #Conflicts: 2000 | #Constraints: 2014
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 3000 | #Constraints: 2019
310.05/311.12 c #Conflicts: 4000 | #Constraints: 3019
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 5000 | #Constraints: 2420
310.05/311.12 c #Conflicts: 6000 | #Constraints: 3420
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 7000 | #Constraints: 2423
310.05/311.12 c #Conflicts: 8000 | #Constraints: 3423
310.05/311.12 c #Conflicts: 9000 | #Constraints: 4423
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 10000 | #Constraints: 3124
310.05/311.12 c #Conflicts: 11000 | #Constraints: 4124
310.05/311.12 c #Conflicts: 12000 | #Constraints: 5124
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 13000 | #Constraints: 3577
310.05/311.12 c #Conflicts: 14000 | #Constraints: 4577
310.05/311.12 c #Conflicts: 15000 | #Constraints: 5577
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 16000 | #Constraints: 3804
310.05/311.12 c #Conflicts: 17000 | #Constraints: 4804
310.05/311.12 c #Conflicts: 18000 | #Constraints: 5804
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 19000 | #Constraints: 3820
310.05/311.12 c #Conflicts: 20000 | #Constraints: 4820
310.05/311.12 c #Conflicts: 21000 | #Constraints: 5820
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 22000 | #Constraints: 3624
310.05/311.12 c #Conflicts: 23000 | #Constraints: 4624
310.05/311.12 c #Conflicts: 24000 | #Constraints: 5624
310.05/311.12 c #Conflicts: 25000 | #Constraints: 6624
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 26000 | #Constraints: 4226
310.05/311.12 c #Conflicts: 27000 | #Constraints: 5226
310.05/311.12 c #Conflicts: 28000 | #Constraints: 6226
310.05/311.12 c #Conflicts: 29000 | #Constraints: 7226
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 30000 | #Constraints: 4629
310.05/311.12 c #Conflicts: 31000 | #Constraints: 5629
310.05/311.12 c #Conflicts: 32000 | #Constraints: 6629
310.05/311.12 c #Conflicts: 33000 | #Constraints: 7629
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 34000 | #Constraints: 4827
310.05/311.12 c #Conflicts: 35000 | #Constraints: 5827
310.05/311.12 c #Conflicts: 36000 | #Constraints: 6827
310.05/311.12 c #Conflicts: 37000 | #Constraints: 7827
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 38000 | #Constraints: 4832
310.05/311.12 c #Conflicts: 39000 | #Constraints: 5832
310.05/311.12 c #Conflicts: 40000 | #Constraints: 6832
310.05/311.12 c #Conflicts: 41000 | #Constraints: 7832
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 42000 | #Constraints: 4633
310.05/311.12 c #Conflicts: 43000 | #Constraints: 5633
310.05/311.12 c #Conflicts: 44000 | #Constraints: 6633
310.05/311.12 c #Conflicts: 45000 | #Constraints: 7633
310.05/311.12 c #Conflicts: 46000 | #Constraints: 8633
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 47000 | #Constraints: 5233
310.05/311.12 c #Conflicts: 48000 | #Constraints: 6233
310.05/311.12 c #Conflicts: 49000 | #Constraints: 7233
310.05/311.12 c #Conflicts: 50000 | #Constraints: 8233
310.05/311.12 c #Conflicts: 51000 | #Constraints: 9233
310.05/311.12 c INPROCESSING
310.05/311.12 c GARBAGE COLLECT
310.05/311.12 c #Conflicts: 52000 | #Constraints: 5634
310.05/311.12 c #Conflicts: 53000 | #Constraints: 6634
310.05/311.12 c #Conflicts: 54000 | #Constraints: 7634
310.05/311.12 c bounds 35 >= 0 @ 309.64
310.05/311.12 c stratification level: 16
320.03/321.17 c #Conflicts: 55000 | #Constraints: 8635
320.03/321.17 c #Conflicts: 56000 | #Constraints: 9635
320.03/321.17 c INPROCESSING
320.03/321.17 c GARBAGE COLLECT
320.03/321.17 c #Conflicts: 57000 | #Constraints: 5832
320.03/321.17 c #Conflicts: 58000 | #Constraints: 6832
320.03/321.17 c #Conflicts: 59000 | #Constraints: 7832
320.03/321.17 c #Conflicts: 60000 | #Constraints: 8832
320.03/321.17 c #Conflicts: 61000 | #Constraints: 9832
320.03/321.17 c INPROCESSING
320.03/321.17 c GARBAGE COLLECT
320.03/321.17 c #Conflicts: 62000 | #Constraints: 5832
320.03/321.17 c #Conflicts: 63000 | #Constraints: 6832
320.03/321.17 c #Conflicts: 64000 | #Constraints: 7832
320.03/321.17 c #Conflicts: 65000 | #Constraints: 8832
320.03/321.17 c #Conflicts: 66000 | #Constraints: 9832
320.03/321.17 c INPROCESSING
320.03/321.17 c GARBAGE COLLECT
320.03/321.17 c #Conflicts: 67000 | #Constraints: 5631
320.03/321.17 c #Conflicts: 68000 | #Constraints: 6631
320.03/321.17 c #Conflicts: 69000 | #Constraints: 7631
320.03/321.17 c #Conflicts: 70000 | #Constraints: 8631
320.03/321.17 c #Conflicts: 71000 | #Constraints: 9631
320.03/321.17 c #Conflicts: 72000 | #Constraints: 10631
320.03/321.17 c INPROCESSING
320.03/321.17 c GARBAGE COLLECT
320.03/321.17 c #Conflicts: 73000 | #Constraints: 6231
320.03/321.17 c #Conflicts: 74000 | #Constraints: 7231
320.03/321.17 c #Conflicts: 75000 | #Constraints: 8231
320.03/321.17 c #Conflicts: 76000 | #Constraints: 9231
320.03/321.17 c #Conflicts: 77000 | #Constraints: 10231
320.03/321.17 c #Conflicts: 78000 | #Constraints: 11231
320.03/321.17 c INPROCESSING
320.03/321.17 c GARBAGE COLLECT
320.03/321.17 c #Conflicts: 79000 | #Constraints: 6634
320.03/321.17 c #Conflicts: 80000 | #Constraints: 7634
320.03/321.17 c #Conflicts: 81000 | #Constraints: 8634
320.03/321.17 c #Conflicts: 82000 | #Constraints: 9634
320.03/321.17 c #Conflicts: 83000 | #Constraints: 10634
320.03/321.17 c #Conflicts: 84000 | #Constraints: 11634
320.03/321.17 c INPROCESSING
320.03/321.17 c GARBAGE COLLECT
320.03/321.17 c bounds 34 >= 0 @ 319.568
320.03/321.17 c stratification level: 8
357.42/358.63 c #Conflicts: 85000 | #Constraints: 6836
357.42/358.63 c #Conflicts: 86000 | #Constraints: 7836
357.42/358.63 c #Conflicts: 87000 | #Constraints: 8836
357.42/358.63 c #Conflicts: 88000 | #Constraints: 9836
357.42/358.63 c #Conflicts: 89000 | #Constraints: 10836
357.42/358.63 c #Conflicts: 90000 | #Constraints: 11836
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 91000 | #Constraints: 6837
357.42/358.63 c #Conflicts: 92000 | #Constraints: 7837
357.42/358.63 c #Conflicts: 93000 | #Constraints: 8837
357.42/358.63 c #Conflicts: 94000 | #Constraints: 9837
357.42/358.63 c #Conflicts: 95000 | #Constraints: 10837
357.42/358.63 c #Conflicts: 96000 | #Constraints: 11837
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 97000 | #Constraints: 6640
357.42/358.63 c #Conflicts: 98000 | #Constraints: 7640
357.42/358.63 c #Conflicts: 99000 | #Constraints: 8640
357.42/358.63 c #Conflicts: 100000 | #Constraints: 9640
357.42/358.63 c #Conflicts: 101000 | #Constraints: 10640
357.42/358.63 c #Conflicts: 102000 | #Constraints: 11640
357.42/358.63 c #Conflicts: 103000 | #Constraints: 12640
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 104000 | #Constraints: 7238
357.42/358.63 c #Conflicts: 105000 | #Constraints: 8238
357.42/358.63 c #Conflicts: 106000 | #Constraints: 9238
357.42/358.63 c #Conflicts: 107000 | #Constraints: 10238
357.42/358.63 c #Conflicts: 108000 | #Constraints: 11238
357.42/358.63 c #Conflicts: 109000 | #Constraints: 12238
357.42/358.63 c #Conflicts: 110000 | #Constraints: 13238
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 111000 | #Constraints: 7633
357.42/358.63 c #Conflicts: 112000 | #Constraints: 8633
357.42/358.63 c #Conflicts: 113000 | #Constraints: 9633
357.42/358.63 c #Conflicts: 114000 | #Constraints: 10633
357.42/358.63 c #Conflicts: 115000 | #Constraints: 11633
357.42/358.63 c #Conflicts: 116000 | #Constraints: 12633
357.42/358.63 c #Conflicts: 117000 | #Constraints: 13633
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 118000 | #Constraints: 7831
357.42/358.63 c #Conflicts: 119000 | #Constraints: 8831
357.42/358.63 c #Conflicts: 120000 | #Constraints: 9831
357.42/358.63 c #Conflicts: 121000 | #Constraints: 10831
357.42/358.63 c #Conflicts: 122000 | #Constraints: 11831
357.42/358.63 c #Conflicts: 123000 | #Constraints: 12831
357.42/358.63 c #Conflicts: 124000 | #Constraints: 13831
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 125000 | #Constraints: 7834
357.42/358.63 c #Conflicts: 126000 | #Constraints: 8834
357.42/358.63 c #Conflicts: 127000 | #Constraints: 9834
357.42/358.63 c #Conflicts: 128000 | #Constraints: 10834
357.42/358.63 c #Conflicts: 129000 | #Constraints: 11834
357.42/358.63 c #Conflicts: 130000 | #Constraints: 12834
357.42/358.63 c #Conflicts: 131000 | #Constraints: 13834
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 132000 | #Constraints: 7633
357.42/358.63 c #Conflicts: 133000 | #Constraints: 8633
357.42/358.63 c #Conflicts: 134000 | #Constraints: 9633
357.42/358.63 c #Conflicts: 135000 | #Constraints: 10633
357.42/358.63 c #Conflicts: 136000 | #Constraints: 11633
357.42/358.63 c #Conflicts: 137000 | #Constraints: 12633
357.42/358.63 c #Conflicts: 138000 | #Constraints: 13633
357.42/358.63 c #Conflicts: 139000 | #Constraints: 14633
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 140000 | #Constraints: 8231
357.42/358.63 c #Conflicts: 141000 | #Constraints: 9231
357.42/358.63 c #Conflicts: 142000 | #Constraints: 10231
357.42/358.63 c #Conflicts: 143000 | #Constraints: 11231
357.42/358.63 c #Conflicts: 144000 | #Constraints: 12231
357.42/358.63 c #Conflicts: 145000 | #Constraints: 13231
357.42/358.63 c #Conflicts: 146000 | #Constraints: 14231
357.42/358.63 c #Conflicts: 147000 | #Constraints: 15231
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 148000 | #Constraints: 8633
357.42/358.63 c #Conflicts: 149000 | #Constraints: 9633
357.42/358.63 c #Conflicts: 150000 | #Constraints: 10633
357.42/358.63 c #Conflicts: 151000 | #Constraints: 11633
357.42/358.63 c #Conflicts: 152000 | #Constraints: 12633
357.42/358.63 c #Conflicts: 153000 | #Constraints: 13633
357.42/358.63 c #Conflicts: 154000 | #Constraints: 14633
357.42/358.63 c #Conflicts: 155000 | #Constraints: 15633
357.42/358.63 c INPROCESSING
357.42/358.63 c GARBAGE COLLECT
357.42/358.63 c #Conflicts: 156000 | #Constraints: 8836
357.42/358.63 c #Conflicts: 157000 | #Constraints: 9836
368.30/369.56 c #Conflicts: 158000 | #Constraints: 10836
368.30/369.56 c #Conflicts: 159000 | #Constraints: 11836
368.30/369.56 c #Conflicts: 160000 | #Constraints: 12836
368.30/369.56 c #Conflicts: 161000 | #Constraints: 13836
368.30/369.56 c #Conflicts: 162000 | #Constraints: 14836
368.30/369.56 c #Conflicts: 163000 | #Constraints: 15836
368.30/369.56 c INPROCESSING
368.30/369.56 c GARBAGE COLLECT
368.30/369.56 c #Conflicts: 164000 | #Constraints: 8836
368.30/369.56 c #Conflicts: 165000 | #Constraints: 9836
368.30/369.56 c #Conflicts: 166000 | #Constraints: 10836
368.30/369.56 c #Conflicts: 167000 | #Constraints: 11836
368.30/369.56 c #Conflicts: 168000 | #Constraints: 12836
368.30/369.56 c #Conflicts: 169000 | #Constraints: 13836
368.30/369.56 c #Conflicts: 170000 | #Constraints: 14836
368.30/369.56 c #Conflicts: 171000 | #Constraints: 15836
368.30/369.56 c INPROCESSING
368.30/369.56 c GARBAGE COLLECT
368.30/369.56 c #Conflicts: 172000 | #Constraints: 8632
368.30/369.56 c #Conflicts: 173000 | #Constraints: 9632
368.30/369.56 c #Conflicts: 174000 | #Constraints: 10632
368.30/369.56 c #Conflicts: 175000 | #Constraints: 11632
368.30/369.56 c bounds 32 >= 0 @ 367.512
368.30/369.56 c stratification level: 4
421.17/422.58 c #Conflicts: 176000 | #Constraints: 12633
421.17/422.58 c #Conflicts: 177000 | #Constraints: 13633
421.17/422.58 c #Conflicts: 178000 | #Constraints: 14633
421.17/422.58 c #Conflicts: 179000 | #Constraints: 15633
421.17/422.58 c #Conflicts: 180000 | #Constraints: 16633
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 181000 | #Constraints: 9233
421.17/422.58 c #Conflicts: 182000 | #Constraints: 10233
421.17/422.58 c #Conflicts: 183000 | #Constraints: 11233
421.17/422.58 c #Conflicts: 184000 | #Constraints: 12233
421.17/422.58 c #Conflicts: 185000 | #Constraints: 13233
421.17/422.58 c #Conflicts: 186000 | #Constraints: 14233
421.17/422.58 c #Conflicts: 187000 | #Constraints: 15233
421.17/422.58 c #Conflicts: 188000 | #Constraints: 16233
421.17/422.58 c #Conflicts: 189000 | #Constraints: 17233
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 190000 | #Constraints: 9634
421.17/422.58 c #Conflicts: 191000 | #Constraints: 10634
421.17/422.58 c #Conflicts: 192000 | #Constraints: 11634
421.17/422.58 c #Conflicts: 193000 | #Constraints: 12634
421.17/422.58 c #Conflicts: 194000 | #Constraints: 13634
421.17/422.58 c #Conflicts: 195000 | #Constraints: 14634
421.17/422.58 c #Conflicts: 196000 | #Constraints: 15634
421.17/422.58 c #Conflicts: 197000 | #Constraints: 16634
421.17/422.58 c #Conflicts: 198000 | #Constraints: 17634
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 199000 | #Constraints: 9832
421.17/422.58 c #Conflicts: 200000 | #Constraints: 10832
421.17/422.58 c #Conflicts: 201000 | #Constraints: 11832
421.17/422.58 c #Conflicts: 202000 | #Constraints: 12832
421.17/422.58 c #Conflicts: 203000 | #Constraints: 13832
421.17/422.58 c #Conflicts: 204000 | #Constraints: 14832
421.17/422.58 c #Conflicts: 205000 | #Constraints: 15832
421.17/422.58 c #Conflicts: 206000 | #Constraints: 16832
421.17/422.58 c #Conflicts: 207000 | #Constraints: 17832
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 208000 | #Constraints: 9835
421.17/422.58 c #Conflicts: 209000 | #Constraints: 10835
421.17/422.58 c #Conflicts: 210000 | #Constraints: 11835
421.17/422.58 c #Conflicts: 211000 | #Constraints: 12835
421.17/422.58 c #Conflicts: 212000 | #Constraints: 13835
421.17/422.58 c #Conflicts: 213000 | #Constraints: 14835
421.17/422.58 c #Conflicts: 214000 | #Constraints: 15835
421.17/422.58 c #Conflicts: 215000 | #Constraints: 16835
421.17/422.58 c #Conflicts: 216000 | #Constraints: 17835
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 217000 | #Constraints: 9638
421.17/422.58 c #Conflicts: 218000 | #Constraints: 10638
421.17/422.58 c #Conflicts: 219000 | #Constraints: 11638
421.17/422.58 c #Conflicts: 220000 | #Constraints: 12638
421.17/422.58 c #Conflicts: 221000 | #Constraints: 13638
421.17/422.58 c #Conflicts: 222000 | #Constraints: 14638
421.17/422.58 c #Conflicts: 223000 | #Constraints: 15638
421.17/422.58 c #Conflicts: 224000 | #Constraints: 16638
421.17/422.58 c #Conflicts: 225000 | #Constraints: 17638
421.17/422.58 c #Conflicts: 226000 | #Constraints: 18638
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 227000 | #Constraints: 10239
421.17/422.58 c #Conflicts: 228000 | #Constraints: 11239
421.17/422.58 c #Conflicts: 229000 | #Constraints: 12239
421.17/422.58 c #Conflicts: 230000 | #Constraints: 13239
421.17/422.58 c #Conflicts: 231000 | #Constraints: 14239
421.17/422.58 c #Conflicts: 232000 | #Constraints: 15239
421.17/422.58 c #Conflicts: 233000 | #Constraints: 16239
421.17/422.58 c #Conflicts: 234000 | #Constraints: 17239
421.17/422.58 c #Conflicts: 235000 | #Constraints: 18239
421.17/422.58 c #Conflicts: 236000 | #Constraints: 19239
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 237000 | #Constraints: 10639
421.17/422.58 c #Conflicts: 238000 | #Constraints: 11639
421.17/422.58 c #Conflicts: 239000 | #Constraints: 12639
421.17/422.58 c #Conflicts: 240000 | #Constraints: 13639
421.17/422.58 c #Conflicts: 241000 | #Constraints: 14639
421.17/422.58 c #Conflicts: 242000 | #Constraints: 15639
421.17/422.58 c #Conflicts: 243000 | #Constraints: 16639
421.17/422.58 c #Conflicts: 244000 | #Constraints: 17639
421.17/422.58 c #Conflicts: 245000 | #Constraints: 18639
421.17/422.58 c #Conflicts: 246000 | #Constraints: 19639
421.17/422.58 c INPROCESSING
421.17/422.58 c GARBAGE COLLECT
421.17/422.58 c #Conflicts: 247000 | #Constraints: 10838
421.17/422.58 c #Conflicts: 248000 | #Constraints: 11838
421.17/422.58 c #Conflicts: 249000 | #Constraints: 12838
484.11/485.66 c #Conflicts: 250000 | #Constraints: 13838
484.11/485.66 c #Conflicts: 251000 | #Constraints: 14838
484.11/485.66 c #Conflicts: 252000 | #Constraints: 15838
484.11/485.66 c #Conflicts: 253000 | #Constraints: 16838
484.11/485.66 c #Conflicts: 254000 | #Constraints: 17838
484.11/485.66 c #Conflicts: 255000 | #Constraints: 18838
484.11/485.66 c #Conflicts: 256000 | #Constraints: 19838
484.11/485.66 c INPROCESSING
484.11/485.66 c GARBAGE COLLECT
484.11/485.66 c #Conflicts: 257000 | #Constraints: 10835
484.11/485.66 c #Conflicts: 258000 | #Constraints: 11835
484.11/485.66 c #Conflicts: 259000 | #Constraints: 12835
484.11/485.66 c #Conflicts: 260000 | #Constraints: 13835
484.11/485.66 c #Conflicts: 261000 | #Constraints: 14835
484.11/485.66 c #Conflicts: 262000 | #Constraints: 15835
484.11/485.66 c #Conflicts: 263000 | #Constraints: 16835
484.11/485.66 c #Conflicts: 264000 | #Constraints: 17835
484.11/485.66 c #Conflicts: 265000 | #Constraints: 18835
484.11/485.66 c #Conflicts: 266000 | #Constraints: 19835
484.11/485.66 c INPROCESSING
484.11/485.66 c GARBAGE COLLECT
484.11/485.66 c #Conflicts: 267000 | #Constraints: 10635
484.11/485.66 c #Conflicts: 268000 | #Constraints: 11635
484.11/485.66 c #Conflicts: 269000 | #Constraints: 12635
484.11/485.66 c #Conflicts: 270000 | #Constraints: 13635
484.11/485.66 c #Conflicts: 271000 | #Constraints: 14635
484.11/485.66 c #Conflicts: 272000 | #Constraints: 15635
484.11/485.66 c #Conflicts: 273000 | #Constraints: 16635
484.11/485.66 c #Conflicts: 274000 | #Constraints: 17635
484.11/485.66 c #Conflicts: 275000 | #Constraints: 18635
484.11/485.66 c #Conflicts: 276000 | #Constraints: 19635
484.11/485.66 c #Conflicts: 277000 | #Constraints: 20635
484.11/485.66 c INPROCESSING
484.11/485.66 c GARBAGE COLLECT
484.11/485.66 c #Conflicts: 278000 | #Constraints: 11233
484.11/485.66 c #Conflicts: 279000 | #Constraints: 12233
484.11/485.66 c #Conflicts: 280000 | #Constraints: 13233
484.11/485.66 c #Conflicts: 281000 | #Constraints: 14233
484.11/485.66 c #Conflicts: 282000 | #Constraints: 15233
484.11/485.66 c #Conflicts: 283000 | #Constraints: 16233
484.11/485.66 c #Conflicts: 284000 | #Constraints: 17233
484.11/485.66 c #Conflicts: 285000 | #Constraints: 18233
484.11/485.66 c #Conflicts: 286000 | #Constraints: 19233
484.11/485.66 c #Conflicts: 287000 | #Constraints: 20233
484.11/485.66 c #Conflicts: 288000 | #Constraints: 21233
484.11/485.66 c INPROCESSING
484.11/485.66 c GARBAGE COLLECT
484.11/485.66 c #Conflicts: 289000 | #Constraints: 11632
484.11/485.66 c #Conflicts: 290000 | #Constraints: 12632
484.11/485.66 c #Conflicts: 291000 | #Constraints: 13632
484.11/485.66 c #Conflicts: 292000 | #Constraints: 14632
484.11/485.66 c #Conflicts: 293000 | #Constraints: 15632
484.11/485.66 c #Conflicts: 294000 | #Constraints: 16632
484.11/485.66 c #Conflicts: 295000 | #Constraints: 17632
484.11/485.66 c #Conflicts: 296000 | #Constraints: 18632
484.11/485.66 c #Conflicts: 297000 | #Constraints: 19632
484.11/485.66 c #Conflicts: 298000 | #Constraints: 20632
484.11/485.66 c #Conflicts: 299000 | #Constraints: 21632
484.11/485.66 c INPROCESSING
484.11/485.66 c GARBAGE COLLECT
484.11/485.66 c #Conflicts: 300000 | #Constraints: 11832
484.11/485.66 c #Conflicts: 301000 | #Constraints: 12832
484.11/485.66 c #Conflicts: 302000 | #Constraints: 13832
484.11/485.66 c #Conflicts: 303000 | #Constraints: 14832
484.11/485.66 c #Conflicts: 304000 | #Constraints: 15832
484.11/485.66 c #Conflicts: 305000 | #Constraints: 16832
484.11/485.66 c #Conflicts: 306000 | #Constraints: 17832
484.11/485.66 c #Conflicts: 307000 | #Constraints: 18832
484.11/485.66 c #Conflicts: 308000 | #Constraints: 19832
484.11/485.66 c #Conflicts: 309000 | #Constraints: 20832
484.11/485.66 c #Conflicts: 310000 | #Constraints: 21832
484.11/485.66 c INPROCESSING
484.11/485.66 c GARBAGE COLLECT
484.11/485.66 c #Conflicts: 311000 | #Constraints: 11834
484.11/485.66 c #Conflicts: 312000 | #Constraints: 12834
484.11/485.66 c #Conflicts: 313000 | #Constraints: 13834
484.11/485.66 c #Conflicts: 314000 | #Constraints: 14834
484.11/485.66 c #Conflicts: 315000 | #Constraints: 15834
484.11/485.66 c #Conflicts: 316000 | #Constraints: 16834
484.11/485.66 c #Conflicts: 317000 | #Constraints: 17834
484.11/485.66 c #Conflicts: 318000 | #Constraints: 18834
484.11/485.66 c #Conflicts: 319000 | #Constraints: 19834
484.11/485.66 c #Conflicts: 320000 | #Constraints: 20834
484.11/485.66 c #Conflicts: 321000 | #Constraints: 21834
484.11/485.66 c INPROCESSING
484.11/485.66 c GARBAGE COLLECT
484.11/485.66 c #Conflicts: 322000 | #Constraints: 11633
484.11/485.66 c #Conflicts: 323000 | #Constraints: 12633
484.11/485.66 c #Conflicts: 324000 | #Constraints: 13633
553.11/554.88 c #Conflicts: 325000 | #Constraints: 14633
553.11/554.88 c #Conflicts: 326000 | #Constraints: 15633
553.11/554.88 c #Conflicts: 327000 | #Constraints: 16633
553.11/554.88 c #Conflicts: 328000 | #Constraints: 17633
553.11/554.88 c #Conflicts: 329000 | #Constraints: 18633
553.11/554.88 c #Conflicts: 330000 | #Constraints: 19633
553.11/554.88 c #Conflicts: 331000 | #Constraints: 20633
553.11/554.88 c #Conflicts: 332000 | #Constraints: 21633
553.11/554.88 c #Conflicts: 333000 | #Constraints: 22633
553.11/554.88 c INPROCESSING
553.11/554.88 c GARBAGE COLLECT
553.11/554.88 c #Conflicts: 334000 | #Constraints: 12232
553.11/554.88 c #Conflicts: 335000 | #Constraints: 13232
553.11/554.88 c #Conflicts: 336000 | #Constraints: 14232
553.11/554.88 c #Conflicts: 337000 | #Constraints: 15232
553.11/554.88 c #Conflicts: 338000 | #Constraints: 16232
553.11/554.88 c #Conflicts: 339000 | #Constraints: 17232
553.11/554.88 c #Conflicts: 340000 | #Constraints: 18232
553.11/554.88 c #Conflicts: 341000 | #Constraints: 19232
553.11/554.88 c #Conflicts: 342000 | #Constraints: 20232
553.11/554.88 c #Conflicts: 343000 | #Constraints: 21232
553.11/554.88 c #Conflicts: 344000 | #Constraints: 22232
553.11/554.88 c #Conflicts: 345000 | #Constraints: 23232
553.11/554.88 c INPROCESSING
553.11/554.88 c GARBAGE COLLECT
553.11/554.88 c #Conflicts: 346000 | #Constraints: 12634
553.11/554.88 c #Conflicts: 347000 | #Constraints: 13634
553.11/554.88 c #Conflicts: 348000 | #Constraints: 14634
553.11/554.88 c #Conflicts: 349000 | #Constraints: 15634
553.11/554.88 c #Conflicts: 350000 | #Constraints: 16634
553.11/554.88 c #Conflicts: 351000 | #Constraints: 17634
553.11/554.88 c #Conflicts: 352000 | #Constraints: 18634
553.11/554.88 c #Conflicts: 353000 | #Constraints: 19634
553.11/554.88 c #Conflicts: 354000 | #Constraints: 20634
553.11/554.88 c #Conflicts: 355000 | #Constraints: 21634
553.11/554.88 c #Conflicts: 356000 | #Constraints: 22634
553.11/554.88 c #Conflicts: 357000 | #Constraints: 23634
553.11/554.88 c INPROCESSING
553.11/554.88 c GARBAGE COLLECT
553.11/554.88 c #Conflicts: 358000 | #Constraints: 12834
553.11/554.88 c #Conflicts: 359000 | #Constraints: 13834
553.11/554.88 c #Conflicts: 360000 | #Constraints: 14834
553.11/554.88 c #Conflicts: 361000 | #Constraints: 15834
553.11/554.88 c #Conflicts: 362000 | #Constraints: 16834
553.11/554.88 c #Conflicts: 363000 | #Constraints: 17834
553.11/554.88 c #Conflicts: 364000 | #Constraints: 18834
553.11/554.88 c #Conflicts: 365000 | #Constraints: 19834
553.11/554.88 c #Conflicts: 366000 | #Constraints: 20834
553.11/554.88 c #Conflicts: 367000 | #Constraints: 21834
553.11/554.88 c #Conflicts: 368000 | #Constraints: 22834
553.11/554.88 c #Conflicts: 369000 | #Constraints: 23834
553.11/554.88 c INPROCESSING
553.11/554.88 c GARBAGE COLLECT
553.11/554.88 c #Conflicts: 370000 | #Constraints: 12836
553.11/554.88 c #Conflicts: 371000 | #Constraints: 13836
553.11/554.88 c #Conflicts: 372000 | #Constraints: 14836
553.11/554.88 c #Conflicts: 373000 | #Constraints: 15836
553.11/554.88 c #Conflicts: 374000 | #Constraints: 16836
553.11/554.88 c #Conflicts: 375000 | #Constraints: 17836
553.11/554.88 c #Conflicts: 376000 | #Constraints: 18836
553.11/554.88 c #Conflicts: 377000 | #Constraints: 19836
553.11/554.88 c #Conflicts: 378000 | #Constraints: 20836
553.11/554.88 c #Conflicts: 379000 | #Constraints: 21836
553.11/554.88 c #Conflicts: 380000 | #Constraints: 22836
553.11/554.88 c #Conflicts: 381000 | #Constraints: 23836
553.11/554.88 c INPROCESSING
553.11/554.88 c GARBAGE COLLECT
553.11/554.88 c #Conflicts: 382000 | #Constraints: 12633
553.11/554.88 c #Conflicts: 383000 | #Constraints: 13633
553.11/554.88 c #Conflicts: 384000 | #Constraints: 14633
553.11/554.88 c #Conflicts: 385000 | #Constraints: 15633
553.11/554.88 c #Conflicts: 386000 | #Constraints: 16633
553.11/554.88 c #Conflicts: 387000 | #Constraints: 17633
553.11/554.88 c #Conflicts: 388000 | #Constraints: 18633
553.11/554.88 c #Conflicts: 389000 | #Constraints: 19633
553.11/554.88 c #Conflicts: 390000 | #Constraints: 20633
553.11/554.88 c #Conflicts: 391000 | #Constraints: 21633
553.11/554.88 c #Conflicts: 392000 | #Constraints: 22633
553.11/554.88 c #Conflicts: 393000 | #Constraints: 23633
553.11/554.88 c #Conflicts: 394000 | #Constraints: 24633
553.11/554.88 c INPROCESSING
553.11/554.88 c GARBAGE COLLECT
553.11/554.88 c #Conflicts: 395000 | #Constraints: 13235
553.11/554.88 c #Conflicts: 396000 | #Constraints: 14235
553.11/554.88 c #Conflicts: 397000 | #Constraints: 15235
553.11/554.88 c #Conflicts: 398000 | #Constraints: 16235
635.32/637.24 c #Conflicts: 399000 | #Constraints: 17235
635.32/637.24 c #Conflicts: 400000 | #Constraints: 18235
635.32/637.24 c #Conflicts: 401000 | #Constraints: 19235
635.32/637.24 c #Conflicts: 402000 | #Constraints: 20235
635.32/637.24 c #Conflicts: 403000 | #Constraints: 21235
635.32/637.24 c #Conflicts: 404000 | #Constraints: 22235
635.32/637.24 c #Conflicts: 405000 | #Constraints: 23235
635.32/637.24 c #Conflicts: 406000 | #Constraints: 24235
635.32/637.24 c #Conflicts: 407000 | #Constraints: 25235
635.32/637.24 c INPROCESSING
635.32/637.24 c GARBAGE COLLECT
635.32/637.24 c #Conflicts: 408000 | #Constraints: 13633
635.32/637.24 c #Conflicts: 409000 | #Constraints: 14633
635.32/637.24 c #Conflicts: 410000 | #Constraints: 15633
635.32/637.24 c #Conflicts: 411000 | #Constraints: 16633
635.32/637.24 c #Conflicts: 412000 | #Constraints: 17633
635.32/637.24 c #Conflicts: 413000 | #Constraints: 18633
635.32/637.24 c #Conflicts: 414000 | #Constraints: 19633
635.32/637.24 c #Conflicts: 415000 | #Constraints: 20633
635.32/637.24 c #Conflicts: 416000 | #Constraints: 21633
635.32/637.24 c #Conflicts: 417000 | #Constraints: 22633
635.32/637.24 c #Conflicts: 418000 | #Constraints: 23633
635.32/637.24 c #Conflicts: 419000 | #Constraints: 24633
635.32/637.24 c #Conflicts: 420000 | #Constraints: 25633
635.32/637.24 c INPROCESSING
635.32/637.24 c GARBAGE COLLECT
635.32/637.24 c #Conflicts: 421000 | #Constraints: 13832
635.32/637.24 c #Conflicts: 422000 | #Constraints: 14832
635.32/637.24 c #Conflicts: 423000 | #Constraints: 15832
635.32/637.24 c #Conflicts: 424000 | #Constraints: 16832
635.32/637.24 c #Conflicts: 425000 | #Constraints: 17832
635.32/637.24 c #Conflicts: 426000 | #Constraints: 18832
635.32/637.24 c #Conflicts: 427000 | #Constraints: 19832
635.32/637.24 c #Conflicts: 428000 | #Constraints: 20832
635.32/637.24 c #Conflicts: 429000 | #Constraints: 21832
635.32/637.24 c #Conflicts: 430000 | #Constraints: 22832
635.32/637.24 c #Conflicts: 431000 | #Constraints: 23832
635.32/637.24 c #Conflicts: 432000 | #Constraints: 24832
635.32/637.24 c #Conflicts: 433000 | #Constraints: 25832
635.32/637.24 c INPROCESSING
635.32/637.24 c GARBAGE COLLECT
635.32/637.24 c #Conflicts: 434000 | #Constraints: 13837
635.32/637.24 c #Conflicts: 435000 | #Constraints: 14837
635.32/637.24 c #Conflicts: 436000 | #Constraints: 15837
635.32/637.24 c #Conflicts: 437000 | #Constraints: 16837
635.32/637.24 c #Conflicts: 438000 | #Constraints: 17837
635.32/637.24 c #Conflicts: 439000 | #Constraints: 18837
635.32/637.24 c #Conflicts: 440000 | #Constraints: 19837
635.32/637.24 c #Conflicts: 441000 | #Constraints: 20837
635.32/637.24 c #Conflicts: 442000 | #Constraints: 21837
635.32/637.24 c #Conflicts: 443000 | #Constraints: 22837
635.32/637.24 c #Conflicts: 444000 | #Constraints: 23837
635.32/637.24 c #Conflicts: 445000 | #Constraints: 24837
635.32/637.24 c #Conflicts: 446000 | #Constraints: 25837
635.32/637.24 c INPROCESSING
635.32/637.24 c GARBAGE COLLECT
635.32/637.24 c #Conflicts: 447000 | #Constraints: 13638
635.32/637.24 c #Conflicts: 448000 | #Constraints: 14638
635.32/637.24 c #Conflicts: 449000 | #Constraints: 15638
635.32/637.24 c #Conflicts: 450000 | #Constraints: 16638
635.32/637.24 c #Conflicts: 451000 | #Constraints: 17638
635.32/637.24 c #Conflicts: 452000 | #Constraints: 18638
635.32/637.24 c #Conflicts: 453000 | #Constraints: 19638
635.32/637.24 c #Conflicts: 454000 | #Constraints: 20638
635.32/637.24 c #Conflicts: 455000 | #Constraints: 21638
635.32/637.24 c #Conflicts: 456000 | #Constraints: 22638
635.32/637.24 c #Conflicts: 457000 | #Constraints: 23638
635.32/637.24 c #Conflicts: 458000 | #Constraints: 24638
635.32/637.24 c #Conflicts: 459000 | #Constraints: 25638
635.32/637.24 c #Conflicts: 460000 | #Constraints: 26638
635.32/637.24 c INPROCESSING
635.32/637.24 c GARBAGE COLLECT
635.32/637.24 c #Conflicts: 461000 | #Constraints: 14237
635.32/637.24 c #Conflicts: 462000 | #Constraints: 15237
635.32/637.24 c #Conflicts: 463000 | #Constraints: 16237
635.32/637.24 c #Conflicts: 464000 | #Constraints: 17237
635.32/637.24 c #Conflicts: 465000 | #Constraints: 18237
635.32/637.24 c #Conflicts: 466000 | #Constraints: 19237
635.32/637.24 c #Conflicts: 467000 | #Constraints: 20237
635.32/637.24 c #Conflicts: 468000 | #Constraints: 21237
635.32/637.24 c #Conflicts: 469000 | #Constraints: 22237
635.32/637.24 c #Conflicts: 470000 | #Constraints: 23237
635.32/637.24 c #Conflicts: 471000 | #Constraints: 24237
635.32/637.24 c #Conflicts: 472000 | #Constraints: 25237
635.32/637.24 c #Conflicts: 473000 | #Constraints: 26237
635.32/637.24 c #Conflicts: 474000 | #Constraints: 27237
723.20/725.39 c INPROCESSING
723.20/725.39 c GARBAGE COLLECT
723.20/725.39 c #Conflicts: 475000 | #Constraints: 14636
723.20/725.39 c #Conflicts: 476000 | #Constraints: 15636
723.20/725.39 c #Conflicts: 477000 | #Constraints: 16636
723.20/725.39 c #Conflicts: 478000 | #Constraints: 17636
723.20/725.39 c #Conflicts: 479000 | #Constraints: 18636
723.20/725.39 c #Conflicts: 480000 | #Constraints: 19636
723.20/725.39 c #Conflicts: 481000 | #Constraints: 20636
723.20/725.39 c #Conflicts: 482000 | #Constraints: 21636
723.20/725.39 c #Conflicts: 483000 | #Constraints: 22636
723.20/725.39 c #Conflicts: 484000 | #Constraints: 23636
723.20/725.39 c #Conflicts: 485000 | #Constraints: 24636
723.20/725.39 c #Conflicts: 486000 | #Constraints: 25636
723.20/725.39 c #Conflicts: 487000 | #Constraints: 26636
723.20/725.39 c #Conflicts: 488000 | #Constraints: 27636
723.20/725.39 c INPROCESSING
723.20/725.39 c GARBAGE COLLECT
723.20/725.39 c #Conflicts: 489000 | #Constraints: 14837
723.20/725.39 c #Conflicts: 490000 | #Constraints: 15837
723.20/725.39 c #Conflicts: 491000 | #Constraints: 16837
723.20/725.39 c #Conflicts: 492000 | #Constraints: 17837
723.20/725.39 c #Conflicts: 493000 | #Constraints: 18837
723.20/725.39 c #Conflicts: 494000 | #Constraints: 19837
723.20/725.39 c #Conflicts: 495000 | #Constraints: 20837
723.20/725.39 c #Conflicts: 496000 | #Constraints: 21837
723.20/725.39 c #Conflicts: 497000 | #Constraints: 22837
723.20/725.39 c #Conflicts: 498000 | #Constraints: 23837
723.20/725.39 c #Conflicts: 499000 | #Constraints: 24837
723.20/725.39 c #Conflicts: 500000 | #Constraints: 25837
723.20/725.39 c #Conflicts: 501000 | #Constraints: 26837
723.20/725.39 c #Conflicts: 502000 | #Constraints: 27837
723.20/725.39 c INPROCESSING
723.20/725.39 c GARBAGE COLLECT
723.20/725.39 c #Conflicts: 503000 | #Constraints: 14838
723.20/725.39 c #Conflicts: 504000 | #Constraints: 15838
723.20/725.39 c #Conflicts: 505000 | #Constraints: 16838
723.20/725.39 c #Conflicts: 506000 | #Constraints: 17838
723.20/725.39 c #Conflicts: 507000 | #Constraints: 18838
723.20/725.39 c #Conflicts: 508000 | #Constraints: 19838
723.20/725.39 c #Conflicts: 509000 | #Constraints: 20838
723.20/725.39 c #Conflicts: 510000 | #Constraints: 21838
723.20/725.39 c #Conflicts: 511000 | #Constraints: 22838
723.20/725.39 c #Conflicts: 512000 | #Constraints: 23838
723.20/725.39 c #Conflicts: 513000 | #Constraints: 24838
723.20/725.39 c #Conflicts: 514000 | #Constraints: 25838
723.20/725.39 c #Conflicts: 515000 | #Constraints: 26838
723.20/725.39 c #Conflicts: 516000 | #Constraints: 27838
723.20/725.39 c INPROCESSING
723.20/725.39 c GARBAGE COLLECT
723.20/725.39 c #Conflicts: 517000 | #Constraints: 14635
723.20/725.39 c #Conflicts: 518000 | #Constraints: 15635
723.20/725.39 c #Conflicts: 519000 | #Constraints: 16635
723.20/725.39 c #Conflicts: 520000 | #Constraints: 17635
723.20/725.39 c #Conflicts: 521000 | #Constraints: 18635
723.20/725.39 c #Conflicts: 522000 | #Constraints: 19635
723.20/725.39 c #Conflicts: 523000 | #Constraints: 20635
723.20/725.39 c #Conflicts: 524000 | #Constraints: 21635
723.20/725.39 c #Conflicts: 525000 | #Constraints: 22635
723.20/725.39 c #Conflicts: 526000 | #Constraints: 23635
723.20/725.39 c #Conflicts: 527000 | #Constraints: 24635
723.20/725.39 c #Conflicts: 528000 | #Constraints: 25635
723.20/725.39 c #Conflicts: 529000 | #Constraints: 26635
723.20/725.39 c #Conflicts: 530000 | #Constraints: 27635
723.20/725.39 c #Conflicts: 531000 | #Constraints: 28635
723.20/725.39 c INPROCESSING
723.20/725.39 c GARBAGE COLLECT
723.20/725.39 c #Conflicts: 532000 | #Constraints: 15236
723.20/725.39 c #Conflicts: 533000 | #Constraints: 16236
723.20/725.39 c #Conflicts: 534000 | #Constraints: 17236
723.20/725.39 c #Conflicts: 535000 | #Constraints: 18236
723.20/725.39 c #Conflicts: 536000 | #Constraints: 19236
723.20/725.39 c #Conflicts: 537000 | #Constraints: 20236
723.20/725.39 c #Conflicts: 538000 | #Constraints: 21236
723.20/725.39 c #Conflicts: 539000 | #Constraints: 22236
723.20/725.39 c #Conflicts: 540000 | #Constraints: 23236
723.20/725.39 c #Conflicts: 541000 | #Constraints: 24236
723.20/725.39 c #Conflicts: 542000 | #Constraints: 25236
723.20/725.39 c #Conflicts: 543000 | #Constraints: 26236
723.20/725.39 c #Conflicts: 544000 | #Constraints: 27236
723.20/725.39 c #Conflicts: 545000 | #Constraints: 28236
723.20/725.39 c #Conflicts: 546000 | #Constraints: 29236
723.20/725.39 c INPROCESSING
723.20/725.39 c GARBAGE COLLECT
723.20/725.39 c #Conflicts: 547000 | #Constraints: 15636
723.20/725.39 c #Conflicts: 548000 | #Constraints: 16636
723.20/725.39 c #Conflicts: 549000 | #Constraints: 17636
815.97/818.32 c #Conflicts: 550000 | #Constraints: 18636
815.97/818.32 c #Conflicts: 551000 | #Constraints: 19636
815.97/818.32 c #Conflicts: 552000 | #Constraints: 20636
815.97/818.32 c #Conflicts: 553000 | #Constraints: 21636
815.97/818.32 c #Conflicts: 554000 | #Constraints: 22636
815.97/818.32 c #Conflicts: 555000 | #Constraints: 23636
815.97/818.32 c #Conflicts: 556000 | #Constraints: 24636
815.97/818.32 c #Conflicts: 557000 | #Constraints: 25636
815.97/818.32 c #Conflicts: 558000 | #Constraints: 26636
815.97/818.32 c #Conflicts: 559000 | #Constraints: 27636
815.97/818.32 c #Conflicts: 560000 | #Constraints: 28636
815.97/818.32 c #Conflicts: 561000 | #Constraints: 29636
815.97/818.32 c INPROCESSING
815.97/818.32 c GARBAGE COLLECT
815.97/818.32 c #Conflicts: 562000 | #Constraints: 15833
815.97/818.32 c #Conflicts: 563000 | #Constraints: 16833
815.97/818.32 c #Conflicts: 564000 | #Constraints: 17833
815.97/818.32 c #Conflicts: 565000 | #Constraints: 18833
815.97/818.32 c #Conflicts: 566000 | #Constraints: 19833
815.97/818.32 c #Conflicts: 567000 | #Constraints: 20833
815.97/818.32 c #Conflicts: 568000 | #Constraints: 21833
815.97/818.32 c #Conflicts: 569000 | #Constraints: 22833
815.97/818.32 c #Conflicts: 570000 | #Constraints: 23833
815.97/818.32 c #Conflicts: 571000 | #Constraints: 24833
815.97/818.32 c #Conflicts: 572000 | #Constraints: 25833
815.97/818.32 c #Conflicts: 573000 | #Constraints: 26833
815.97/818.32 c #Conflicts: 574000 | #Constraints: 27833
815.97/818.32 c #Conflicts: 575000 | #Constraints: 28833
815.97/818.32 c #Conflicts: 576000 | #Constraints: 29833
815.97/818.32 c INPROCESSING
815.97/818.32 c GARBAGE COLLECT
815.97/818.32 c #Conflicts: 577000 | #Constraints: 15836
815.97/818.32 c #Conflicts: 578000 | #Constraints: 16836
815.97/818.32 c #Conflicts: 579000 | #Constraints: 17836
815.97/818.32 c #Conflicts: 580000 | #Constraints: 18836
815.97/818.32 c #Conflicts: 581000 | #Constraints: 19836
815.97/818.32 c #Conflicts: 582000 | #Constraints: 20836
815.97/818.32 c #Conflicts: 583000 | #Constraints: 21836
815.97/818.32 c #Conflicts: 584000 | #Constraints: 22836
815.97/818.32 c #Conflicts: 585000 | #Constraints: 23836
815.97/818.32 c #Conflicts: 586000 | #Constraints: 24836
815.97/818.32 c #Conflicts: 587000 | #Constraints: 25836
815.97/818.32 c #Conflicts: 588000 | #Constraints: 26836
815.97/818.32 c #Conflicts: 589000 | #Constraints: 27836
815.97/818.32 c #Conflicts: 590000 | #Constraints: 28836
815.97/818.32 c #Conflicts: 591000 | #Constraints: 29836
815.97/818.32 c INPROCESSING
815.97/818.32 c GARBAGE COLLECT
815.97/818.32 c #Conflicts: 592000 | #Constraints: 15633
815.97/818.32 c #Conflicts: 593000 | #Constraints: 16633
815.97/818.32 c #Conflicts: 594000 | #Constraints: 17633
815.97/818.32 c #Conflicts: 595000 | #Constraints: 18633
815.97/818.32 c #Conflicts: 596000 | #Constraints: 19633
815.97/818.32 c #Conflicts: 597000 | #Constraints: 20633
815.97/818.32 c #Conflicts: 598000 | #Constraints: 21633
815.97/818.32 c #Conflicts: 599000 | #Constraints: 22633
815.97/818.32 c #Conflicts: 600000 | #Constraints: 23633
815.97/818.32 c #Conflicts: 601000 | #Constraints: 24633
815.97/818.32 c #Conflicts: 602000 | #Constraints: 25633
815.97/818.32 c #Conflicts: 603000 | #Constraints: 26633
815.97/818.32 c #Conflicts: 604000 | #Constraints: 27633
815.97/818.32 c #Conflicts: 605000 | #Constraints: 28633
815.97/818.32 c #Conflicts: 606000 | #Constraints: 29633
815.97/818.32 c #Conflicts: 607000 | #Constraints: 30633
815.97/818.32 c INPROCESSING
815.97/818.32 c GARBAGE COLLECT
815.97/818.32 c #Conflicts: 608000 | #Constraints: 16235
815.97/818.32 c #Conflicts: 609000 | #Constraints: 17235
815.97/818.32 c #Conflicts: 610000 | #Constraints: 18235
815.97/818.32 c #Conflicts: 611000 | #Constraints: 19235
815.97/818.32 c #Conflicts: 612000 | #Constraints: 20235
815.97/818.32 c #Conflicts: 613000 | #Constraints: 21235
815.97/818.32 c #Conflicts: 614000 | #Constraints: 22235
815.97/818.32 c #Conflicts: 615000 | #Constraints: 23235
815.97/818.32 c #Conflicts: 616000 | #Constraints: 24235
815.97/818.32 c #Conflicts: 617000 | #Constraints: 25235
815.97/818.32 c #Conflicts: 618000 | #Constraints: 26235
815.97/818.32 c #Conflicts: 619000 | #Constraints: 27235
815.97/818.32 c #Conflicts: 620000 | #Constraints: 28235
815.97/818.32 c #Conflicts: 621000 | #Constraints: 29235
815.97/818.32 c #Conflicts: 622000 | #Constraints: 30235
815.97/818.32 c #Conflicts: 623000 | #Constraints: 31235
815.97/818.32 c INPROCESSING
815.97/818.32 c GARBAGE COLLECT
815.97/818.32 c #Conflicts: 624000 | #Constraints: 16633
815.97/818.32 c #Conflicts: 625000 | #Constraints: 17633
913.03/915.61 c #Conflicts: 626000 | #Constraints: 18633
913.03/915.61 c #Conflicts: 627000 | #Constraints: 19633
913.03/915.61 c #Conflicts: 628000 | #Constraints: 20633
913.03/915.61 c #Conflicts: 629000 | #Constraints: 21633
913.03/915.61 c #Conflicts: 630000 | #Constraints: 22633
913.03/915.61 c #Conflicts: 631000 | #Constraints: 23633
913.03/915.61 c #Conflicts: 632000 | #Constraints: 24633
913.03/915.61 c #Conflicts: 633000 | #Constraints: 25633
913.03/915.61 c #Conflicts: 634000 | #Constraints: 26633
913.03/915.61 c #Conflicts: 635000 | #Constraints: 27633
913.03/915.61 c #Conflicts: 636000 | #Constraints: 28633
913.03/915.61 c #Conflicts: 637000 | #Constraints: 29633
913.03/915.61 c #Conflicts: 638000 | #Constraints: 30633
913.03/915.61 c #Conflicts: 639000 | #Constraints: 31633
913.03/915.61 c INPROCESSING
913.03/915.61 c GARBAGE COLLECT
913.03/915.61 c #Conflicts: 640000 | #Constraints: 16832
913.03/915.61 c #Conflicts: 641000 | #Constraints: 17832
913.03/915.61 c #Conflicts: 642000 | #Constraints: 18832
913.03/915.61 c #Conflicts: 643000 | #Constraints: 19832
913.03/915.61 c #Conflicts: 644000 | #Constraints: 20832
913.03/915.61 c #Conflicts: 645000 | #Constraints: 21832
913.03/915.61 c #Conflicts: 646000 | #Constraints: 22832
913.03/915.61 c #Conflicts: 647000 | #Constraints: 23832
913.03/915.61 c #Conflicts: 648000 | #Constraints: 24832
913.03/915.61 c #Conflicts: 649000 | #Constraints: 25832
913.03/915.61 c #Conflicts: 650000 | #Constraints: 26832
913.03/915.61 c #Conflicts: 651000 | #Constraints: 27832
913.03/915.61 c #Conflicts: 652000 | #Constraints: 28832
913.03/915.61 c #Conflicts: 653000 | #Constraints: 29832
913.03/915.61 c #Conflicts: 654000 | #Constraints: 30832
913.03/915.61 c #Conflicts: 655000 | #Constraints: 31832
913.03/915.61 c INPROCESSING
913.03/915.61 c GARBAGE COLLECT
913.03/915.61 c #Conflicts: 656000 | #Constraints: 16837
913.03/915.61 c #Conflicts: 657000 | #Constraints: 17837
913.03/915.61 c #Conflicts: 658000 | #Constraints: 18837
913.03/915.61 c #Conflicts: 659000 | #Constraints: 19837
913.03/915.61 c #Conflicts: 660000 | #Constraints: 20837
913.03/915.61 c #Conflicts: 661000 | #Constraints: 21837
913.03/915.61 c #Conflicts: 662000 | #Constraints: 22837
913.03/915.61 c #Conflicts: 663000 | #Constraints: 23837
913.03/915.61 c #Conflicts: 664000 | #Constraints: 24837
913.03/915.61 c #Conflicts: 665000 | #Constraints: 25837
913.03/915.61 c #Conflicts: 666000 | #Constraints: 26837
913.03/915.61 c #Conflicts: 667000 | #Constraints: 27837
913.03/915.61 c #Conflicts: 668000 | #Constraints: 28837
913.03/915.61 c #Conflicts: 669000 | #Constraints: 29837
913.03/915.61 c #Conflicts: 670000 | #Constraints: 30837
913.03/915.61 c #Conflicts: 671000 | #Constraints: 31837
913.03/915.61 c INPROCESSING
913.03/915.61 c GARBAGE COLLECT
913.03/915.61 c #Conflicts: 672000 | #Constraints: 16633
913.03/915.61 c #Conflicts: 673000 | #Constraints: 17633
913.03/915.61 c #Conflicts: 674000 | #Constraints: 18633
913.03/915.61 c #Conflicts: 675000 | #Constraints: 19633
913.03/915.61 c #Conflicts: 676000 | #Constraints: 20633
913.03/915.61 c #Conflicts: 677000 | #Constraints: 21633
913.03/915.61 c #Conflicts: 678000 | #Constraints: 22633
913.03/915.61 c #Conflicts: 679000 | #Constraints: 23633
913.03/915.61 c #Conflicts: 680000 | #Constraints: 24633
913.03/915.61 c #Conflicts: 681000 | #Constraints: 25633
913.03/915.61 c #Conflicts: 682000 | #Constraints: 26633
913.03/915.62 c #Conflicts: 683000 | #Constraints: 27633
913.03/915.62 c #Conflicts: 684000 | #Constraints: 28633
913.03/915.62 c #Conflicts: 685000 | #Constraints: 29633
913.03/915.62 c #Conflicts: 686000 | #Constraints: 30633
913.03/915.62 c #Conflicts: 687000 | #Constraints: 31633
913.03/915.62 c #Conflicts: 688000 | #Constraints: 32633
913.03/915.62 c INPROCESSING
913.03/915.62 c GARBAGE COLLECT
913.03/915.62 c #Conflicts: 689000 | #Constraints: 17238
913.03/915.62 c #Conflicts: 690000 | #Constraints: 18238
913.03/915.62 c #Conflicts: 691000 | #Constraints: 19238
913.03/915.62 c #Conflicts: 692000 | #Constraints: 20238
913.03/915.62 c #Conflicts: 693000 | #Constraints: 21238
913.03/915.62 c #Conflicts: 694000 | #Constraints: 22238
913.03/915.62 c #Conflicts: 695000 | #Constraints: 23238
913.03/915.62 c #Conflicts: 696000 | #Constraints: 24238
913.03/915.62 c #Conflicts: 697000 | #Constraints: 25238
913.03/915.62 c #Conflicts: 698000 | #Constraints: 26238
913.03/915.62 c #Conflicts: 699000 | #Constraints: 27238
913.03/915.62 c #Conflicts: 700000 | #Constraints: 28238
913.03/915.62 c #Conflicts: 701000 | #Constraints: 29238
1024.25/1027.14 c #Conflicts: 702000 | #Constraints: 30238
1024.25/1027.14 c #Conflicts: 703000 | #Constraints: 31238
1024.25/1027.14 c #Conflicts: 704000 | #Constraints: 32238
1024.25/1027.14 c #Conflicts: 705000 | #Constraints: 33238
1024.25/1027.14 c INPROCESSING
1024.25/1027.14 c GARBAGE COLLECT
1024.25/1027.14 c #Conflicts: 706000 | #Constraints: 17639
1024.25/1027.14 c #Conflicts: 707000 | #Constraints: 18639
1024.25/1027.14 c #Conflicts: 708000 | #Constraints: 19639
1024.25/1027.14 c #Conflicts: 709000 | #Constraints: 20639
1024.25/1027.14 c #Conflicts: 710000 | #Constraints: 21639
1024.25/1027.14 c #Conflicts: 711000 | #Constraints: 22639
1024.25/1027.14 c #Conflicts: 712000 | #Constraints: 23639
1024.25/1027.14 c #Conflicts: 713000 | #Constraints: 24639
1024.25/1027.14 c #Conflicts: 714000 | #Constraints: 25639
1024.25/1027.14 c #Conflicts: 715000 | #Constraints: 26639
1024.25/1027.14 c #Conflicts: 716000 | #Constraints: 27639
1024.25/1027.14 c #Conflicts: 717000 | #Constraints: 28639
1024.25/1027.14 c #Conflicts: 718000 | #Constraints: 29639
1024.25/1027.14 c #Conflicts: 719000 | #Constraints: 30639
1024.25/1027.14 c #Conflicts: 720000 | #Constraints: 31639
1024.25/1027.14 c #Conflicts: 721000 | #Constraints: 32639
1024.25/1027.14 c #Conflicts: 722000 | #Constraints: 33639
1024.25/1027.14 c INPROCESSING
1024.25/1027.14 c GARBAGE COLLECT
1024.25/1027.14 c #Conflicts: 723000 | #Constraints: 17838
1024.25/1027.14 c #Conflicts: 724000 | #Constraints: 18838
1024.25/1027.14 c #Conflicts: 725000 | #Constraints: 19838
1024.25/1027.14 c #Conflicts: 726000 | #Constraints: 20838
1024.25/1027.14 c #Conflicts: 727000 | #Constraints: 21838
1024.25/1027.14 c #Conflicts: 728000 | #Constraints: 22838
1024.25/1027.14 c #Conflicts: 729000 | #Constraints: 23838
1024.25/1027.14 c #Conflicts: 730000 | #Constraints: 24838
1024.25/1027.14 c #Conflicts: 731000 | #Constraints: 25838
1024.25/1027.14 c #Conflicts: 732000 | #Constraints: 26838
1024.25/1027.14 c #Conflicts: 733000 | #Constraints: 27838
1024.25/1027.14 c #Conflicts: 734000 | #Constraints: 28838
1024.25/1027.14 c #Conflicts: 735000 | #Constraints: 29838
1024.25/1027.14 c #Conflicts: 736000 | #Constraints: 30838
1024.25/1027.14 c #Conflicts: 737000 | #Constraints: 31838
1024.25/1027.14 c #Conflicts: 738000 | #Constraints: 32838
1024.25/1027.14 c #Conflicts: 739000 | #Constraints: 33838
1024.25/1027.14 c INPROCESSING
1024.25/1027.14 c GARBAGE COLLECT
1024.25/1027.14 c #Conflicts: 740000 | #Constraints: 17843
1024.25/1027.14 c #Conflicts: 741000 | #Constraints: 18843
1024.25/1027.14 c #Conflicts: 742000 | #Constraints: 19843
1024.25/1027.14 c #Conflicts: 743000 | #Constraints: 20843
1024.25/1027.14 c #Conflicts: 744000 | #Constraints: 21843
1024.25/1027.14 c #Conflicts: 745000 | #Constraints: 22843
1024.25/1027.14 c #Conflicts: 746000 | #Constraints: 23843
1024.25/1027.14 c #Conflicts: 747000 | #Constraints: 24843
1024.25/1027.14 c #Conflicts: 748000 | #Constraints: 25843
1024.25/1027.14 c #Conflicts: 749000 | #Constraints: 26843
1024.25/1027.14 c #Conflicts: 750000 | #Constraints: 27843
1024.25/1027.14 c #Conflicts: 751000 | #Constraints: 28843
1024.25/1027.14 c #Conflicts: 752000 | #Constraints: 29843
1024.25/1027.14 c #Conflicts: 753000 | #Constraints: 30843
1024.25/1027.14 c #Conflicts: 754000 | #Constraints: 31843
1024.25/1027.14 c #Conflicts: 755000 | #Constraints: 32843
1024.25/1027.14 c #Conflicts: 756000 | #Constraints: 33843
1024.25/1027.14 c INPROCESSING
1024.25/1027.14 c GARBAGE COLLECT
1024.25/1027.14 c #Conflicts: 757000 | #Constraints: 17638
1024.25/1027.14 c #Conflicts: 758000 | #Constraints: 18638
1024.25/1027.14 c #Conflicts: 759000 | #Constraints: 19638
1024.25/1027.14 c #Conflicts: 760000 | #Constraints: 20638
1024.25/1027.14 c #Conflicts: 761000 | #Constraints: 21638
1024.25/1027.14 c #Conflicts: 762000 | #Constraints: 22638
1024.25/1027.14 c #Conflicts: 763000 | #Constraints: 23638
1024.25/1027.14 c #Conflicts: 764000 | #Constraints: 24638
1024.25/1027.14 c #Conflicts: 765000 | #Constraints: 25638
1024.25/1027.14 c #Conflicts: 766000 | #Constraints: 26638
1024.25/1027.14 c #Conflicts: 767000 | #Constraints: 27638
1024.25/1027.14 c #Conflicts: 768000 | #Constraints: 28638
1024.25/1027.14 c #Conflicts: 769000 | #Constraints: 29638
1024.25/1027.14 c #Conflicts: 770000 | #Constraints: 30638
1024.25/1027.14 c #Conflicts: 771000 | #Constraints: 31638
1024.25/1027.14 c #Conflicts: 772000 | #Constraints: 32638
1024.25/1027.14 c #Conflicts: 773000 | #Constraints: 33638
1024.25/1027.14 c #Conflicts: 774000 | #Constraints: 34638
1024.25/1027.14 c INPROCESSING
1024.25/1027.14 c GARBAGE COLLECT
1024.25/1027.14 c #Conflicts: 775000 | #Constraints: 18238
1024.25/1027.14 c #Conflicts: 776000 | #Constraints: 19238
1135.67/1138.81 c #Conflicts: 777000 | #Constraints: 20238
1135.67/1138.81 c #Conflicts: 778000 | #Constraints: 21238
1135.67/1138.81 c #Conflicts: 779000 | #Constraints: 22238
1135.67/1138.81 c #Conflicts: 780000 | #Constraints: 23238
1135.67/1138.81 c #Conflicts: 781000 | #Constraints: 24238
1135.67/1138.81 c #Conflicts: 782000 | #Constraints: 25238
1135.67/1138.81 c #Conflicts: 783000 | #Constraints: 26238
1135.67/1138.81 c #Conflicts: 784000 | #Constraints: 27238
1135.67/1138.81 c #Conflicts: 785000 | #Constraints: 28238
1135.67/1138.81 c #Conflicts: 786000 | #Constraints: 29238
1135.67/1138.81 c #Conflicts: 787000 | #Constraints: 30238
1135.67/1138.81 c #Conflicts: 788000 | #Constraints: 31238
1135.67/1138.81 c #Conflicts: 789000 | #Constraints: 32238
1135.67/1138.81 c #Conflicts: 790000 | #Constraints: 33238
1135.67/1138.81 c #Conflicts: 791000 | #Constraints: 34238
1135.67/1138.81 c #Conflicts: 792000 | #Constraints: 35238
1135.67/1138.81 c INPROCESSING
1135.67/1138.81 c GARBAGE COLLECT
1135.67/1138.81 c #Conflicts: 793000 | #Constraints: 18634
1135.67/1138.81 c #Conflicts: 794000 | #Constraints: 19634
1135.67/1138.81 c #Conflicts: 795000 | #Constraints: 20634
1135.67/1138.81 c #Conflicts: 796000 | #Constraints: 21634
1135.67/1138.81 c #Conflicts: 797000 | #Constraints: 22634
1135.67/1138.81 c #Conflicts: 798000 | #Constraints: 23634
1135.67/1138.81 c #Conflicts: 799000 | #Constraints: 24634
1135.67/1138.81 c #Conflicts: 800000 | #Constraints: 25634
1135.67/1138.81 c #Conflicts: 801000 | #Constraints: 26634
1135.67/1138.81 c #Conflicts: 802000 | #Constraints: 27634
1135.67/1138.81 c #Conflicts: 803000 | #Constraints: 28634
1135.67/1138.81 c #Conflicts: 804000 | #Constraints: 29634
1135.67/1138.81 c #Conflicts: 805000 | #Constraints: 30634
1135.67/1138.81 c #Conflicts: 806000 | #Constraints: 31634
1135.67/1138.81 c #Conflicts: 807000 | #Constraints: 32634
1135.67/1138.81 c #Conflicts: 808000 | #Constraints: 33634
1135.67/1138.81 c #Conflicts: 809000 | #Constraints: 34634
1135.67/1138.81 c #Conflicts: 810000 | #Constraints: 35634
1135.67/1138.81 c INPROCESSING
1135.67/1138.81 c GARBAGE COLLECT
1135.67/1138.81 c #Conflicts: 811000 | #Constraints: 18835
1135.67/1138.81 c #Conflicts: 812000 | #Constraints: 19835
1135.67/1138.81 c #Conflicts: 813000 | #Constraints: 20835
1135.67/1138.81 c #Conflicts: 814000 | #Constraints: 21835
1135.67/1138.81 c #Conflicts: 815000 | #Constraints: 22835
1135.67/1138.81 c #Conflicts: 816000 | #Constraints: 23835
1135.67/1138.81 c #Conflicts: 817000 | #Constraints: 24835
1135.67/1138.81 c #Conflicts: 818000 | #Constraints: 25835
1135.67/1138.81 c #Conflicts: 819000 | #Constraints: 26835
1135.67/1138.81 c #Conflicts: 820000 | #Constraints: 27835
1135.67/1138.81 c #Conflicts: 821000 | #Constraints: 28835
1135.67/1138.81 c #Conflicts: 822000 | #Constraints: 29835
1135.67/1138.81 c #Conflicts: 823000 | #Constraints: 30835
1135.67/1138.81 c #Conflicts: 824000 | #Constraints: 31835
1135.67/1138.81 c #Conflicts: 825000 | #Constraints: 32835
1135.67/1138.81 c #Conflicts: 826000 | #Constraints: 33835
1135.67/1138.81 c #Conflicts: 827000 | #Constraints: 34835
1135.67/1138.81 c #Conflicts: 828000 | #Constraints: 35835
1135.67/1138.81 c INPROCESSING
1135.67/1138.81 c GARBAGE COLLECT
1135.67/1138.81 c #Conflicts: 829000 | #Constraints: 18833
1135.67/1138.81 c #Conflicts: 830000 | #Constraints: 19833
1135.67/1138.81 c #Conflicts: 831000 | #Constraints: 20833
1135.67/1138.81 c #Conflicts: 832000 | #Constraints: 21833
1135.67/1138.81 c #Conflicts: 833000 | #Constraints: 22833
1135.67/1138.81 c #Conflicts: 834000 | #Constraints: 23833
1135.67/1138.81 c #Conflicts: 835000 | #Constraints: 24833
1135.67/1138.81 c #Conflicts: 836000 | #Constraints: 25833
1135.67/1138.81 c #Conflicts: 837000 | #Constraints: 26833
1135.67/1138.81 c #Conflicts: 838000 | #Constraints: 27833
1135.67/1138.81 c #Conflicts: 839000 | #Constraints: 28833
1135.67/1138.81 c #Conflicts: 840000 | #Constraints: 29833
1135.67/1138.81 c #Conflicts: 841000 | #Constraints: 30833
1135.67/1138.81 c #Conflicts: 842000 | #Constraints: 31833
1135.67/1138.81 c #Conflicts: 843000 | #Constraints: 32833
1135.67/1138.81 c #Conflicts: 844000 | #Constraints: 33833
1135.67/1138.81 c #Conflicts: 845000 | #Constraints: 34833
1135.67/1138.81 c #Conflicts: 846000 | #Constraints: 35833
1135.67/1138.81 c INPROCESSING
1135.67/1138.81 c GARBAGE COLLECT
1135.67/1138.81 c #Conflicts: 847000 | #Constraints: 18637
1135.67/1138.81 c #Conflicts: 848000 | #Constraints: 19637
1135.67/1138.81 c #Conflicts: 849000 | #Constraints: 20637
1135.67/1138.81 c #Conflicts: 850000 | #Constraints: 21637
1135.67/1138.81 c #Conflicts: 851000 | #Constraints: 22637
1135.67/1138.81 c #Conflicts: 852000 | #Constraints: 23637
1135.67/1138.81 c #Conflicts: 853000 | #Constraints: 24637
1252.98/1256.47 c #Conflicts: 854000 | #Constraints: 25637
1252.98/1256.47 c #Conflicts: 855000 | #Constraints: 26637
1252.98/1256.47 c #Conflicts: 856000 | #Constraints: 27637
1252.98/1256.47 c #Conflicts: 857000 | #Constraints: 28637
1252.98/1256.47 c #Conflicts: 858000 | #Constraints: 29637
1252.98/1256.47 c #Conflicts: 859000 | #Constraints: 30637
1252.98/1256.47 c #Conflicts: 860000 | #Constraints: 31637
1252.98/1256.47 c #Conflicts: 861000 | #Constraints: 32637
1252.98/1256.47 c #Conflicts: 862000 | #Constraints: 33637
1252.98/1256.47 c #Conflicts: 863000 | #Constraints: 34637
1252.98/1256.47 c #Conflicts: 864000 | #Constraints: 35637
1252.98/1256.47 c #Conflicts: 865000 | #Constraints: 36637
1252.98/1256.47 c INPROCESSING
1252.98/1256.47 c GARBAGE COLLECT
1252.98/1256.47 c #Conflicts: 866000 | #Constraints: 19236
1252.98/1256.47 c #Conflicts: 867000 | #Constraints: 20236
1252.98/1256.47 c #Conflicts: 868000 | #Constraints: 21236
1252.98/1256.47 c #Conflicts: 869000 | #Constraints: 22236
1252.98/1256.47 c #Conflicts: 870000 | #Constraints: 23236
1252.98/1256.47 c #Conflicts: 871000 | #Constraints: 24236
1252.98/1256.47 c #Conflicts: 872000 | #Constraints: 25236
1252.98/1256.47 c #Conflicts: 873000 | #Constraints: 26236
1252.98/1256.47 c #Conflicts: 874000 | #Constraints: 27236
1252.98/1256.47 c #Conflicts: 875000 | #Constraints: 28236
1252.98/1256.47 c #Conflicts: 876000 | #Constraints: 29236
1252.98/1256.47 c #Conflicts: 877000 | #Constraints: 30236
1252.98/1256.47 c #Conflicts: 878000 | #Constraints: 31236
1252.98/1256.47 c #Conflicts: 879000 | #Constraints: 32236
1252.98/1256.47 c #Conflicts: 880000 | #Constraints: 33236
1252.98/1256.47 c #Conflicts: 881000 | #Constraints: 34236
1252.98/1256.47 c #Conflicts: 882000 | #Constraints: 35236
1252.98/1256.47 c #Conflicts: 883000 | #Constraints: 36236
1252.98/1256.47 c #Conflicts: 884000 | #Constraints: 37236
1252.98/1256.47 c INPROCESSING
1252.98/1256.47 c GARBAGE COLLECT
1252.98/1256.47 c #Conflicts: 885000 | #Constraints: 19642
1252.98/1256.47 c #Conflicts: 886000 | #Constraints: 20642
1252.98/1256.47 c #Conflicts: 887000 | #Constraints: 21642
1252.98/1256.47 c #Conflicts: 888000 | #Constraints: 22642
1252.98/1256.47 c #Conflicts: 889000 | #Constraints: 23642
1252.98/1256.47 c #Conflicts: 890000 | #Constraints: 24642
1252.98/1256.47 c #Conflicts: 891000 | #Constraints: 25642
1252.98/1256.47 c #Conflicts: 892000 | #Constraints: 26642
1252.98/1256.47 c #Conflicts: 893000 | #Constraints: 27642
1252.98/1256.47 c #Conflicts: 894000 | #Constraints: 28642
1252.98/1256.47 c #Conflicts: 895000 | #Constraints: 29642
1252.98/1256.47 c #Conflicts: 896000 | #Constraints: 30642
1252.98/1256.47 c #Conflicts: 897000 | #Constraints: 31642
1252.98/1256.47 c #Conflicts: 898000 | #Constraints: 32642
1252.98/1256.47 c #Conflicts: 899000 | #Constraints: 33642
1252.98/1256.47 c #Conflicts: 900000 | #Constraints: 34642
1252.98/1256.47 c #Conflicts: 901000 | #Constraints: 35642
1252.98/1256.47 c #Conflicts: 902000 | #Constraints: 36642
1252.98/1256.47 c #Conflicts: 903000 | #Constraints: 37642
1252.98/1256.47 c INPROCESSING
1252.98/1256.47 c GARBAGE COLLECT
1252.98/1256.47 c #Conflicts: 904000 | #Constraints: 19835
1252.98/1256.47 c #Conflicts: 905000 | #Constraints: 20835
1252.98/1256.47 c #Conflicts: 906000 | #Constraints: 21835
1252.98/1256.47 c #Conflicts: 907000 | #Constraints: 22835
1252.98/1256.47 c #Conflicts: 908000 | #Constraints: 23835
1252.98/1256.47 c #Conflicts: 909000 | #Constraints: 24835
1252.98/1256.47 c #Conflicts: 910000 | #Constraints: 25835
1252.98/1256.47 c #Conflicts: 911000 | #Constraints: 26835
1252.98/1256.47 c #Conflicts: 912000 | #Constraints: 27835
1252.98/1256.47 c #Conflicts: 913000 | #Constraints: 28835
1252.98/1256.47 c #Conflicts: 914000 | #Constraints: 29835
1252.98/1256.47 c #Conflicts: 915000 | #Constraints: 30835
1252.98/1256.47 c #Conflicts: 916000 | #Constraints: 31835
1252.98/1256.47 c #Conflicts: 917000 | #Constraints: 32835
1252.98/1256.47 c #Conflicts: 918000 | #Constraints: 33835
1252.98/1256.47 c #Conflicts: 919000 | #Constraints: 34835
1252.98/1256.47 c #Conflicts: 920000 | #Constraints: 35835
1252.98/1256.47 c #Conflicts: 921000 | #Constraints: 36835
1252.98/1256.47 c #Conflicts: 922000 | #Constraints: 37835
1252.98/1256.47 c INPROCESSING
1252.98/1256.47 c GARBAGE COLLECT
1252.98/1256.47 c #Conflicts: 923000 | #Constraints: 19837
1252.98/1256.47 c #Conflicts: 924000 | #Constraints: 20837
1252.98/1256.47 c #Conflicts: 925000 | #Constraints: 21837
1252.98/1256.47 c #Conflicts: 926000 | #Constraints: 22837
1252.98/1256.47 c #Conflicts: 927000 | #Constraints: 23837
1252.98/1256.47 c #Conflicts: 928000 | #Constraints: 24837
1252.98/1256.47 c #Conflicts: 929000 | #Constraints: 25837
1386.35/1390.17 c #Conflicts: 930000 | #Constraints: 26837
1386.35/1390.17 c #Conflicts: 931000 | #Constraints: 27837
1386.35/1390.17 c #Conflicts: 932000 | #Constraints: 28837
1386.35/1390.17 c #Conflicts: 933000 | #Constraints: 29837
1386.35/1390.17 c #Conflicts: 934000 | #Constraints: 30837
1386.35/1390.17 c #Conflicts: 935000 | #Constraints: 31837
1386.35/1390.17 c #Conflicts: 936000 | #Constraints: 32837
1386.35/1390.17 c #Conflicts: 937000 | #Constraints: 33837
1386.35/1390.17 c #Conflicts: 938000 | #Constraints: 34837
1386.35/1390.17 c #Conflicts: 939000 | #Constraints: 35837
1386.35/1390.17 c #Conflicts: 940000 | #Constraints: 36837
1386.35/1390.17 c #Conflicts: 941000 | #Constraints: 37837
1386.35/1390.17 c INPROCESSING
1386.35/1390.17 c GARBAGE COLLECT
1386.35/1390.17 c #Conflicts: 942000 | #Constraints: 19634
1386.35/1390.17 c #Conflicts: 943000 | #Constraints: 20634
1386.35/1390.17 c #Conflicts: 944000 | #Constraints: 21634
1386.35/1390.17 c #Conflicts: 945000 | #Constraints: 22634
1386.35/1390.17 c #Conflicts: 946000 | #Constraints: 23634
1386.35/1390.17 c #Conflicts: 947000 | #Constraints: 24634
1386.35/1390.17 c #Conflicts: 948000 | #Constraints: 25634
1386.35/1390.17 c #Conflicts: 949000 | #Constraints: 26634
1386.35/1390.17 c #Conflicts: 950000 | #Constraints: 27634
1386.35/1390.17 c #Conflicts: 951000 | #Constraints: 28634
1386.35/1390.17 c #Conflicts: 952000 | #Constraints: 29634
1386.35/1390.17 c #Conflicts: 953000 | #Constraints: 30634
1386.35/1390.17 c #Conflicts: 954000 | #Constraints: 31634
1386.35/1390.17 c #Conflicts: 955000 | #Constraints: 32634
1386.35/1390.17 c #Conflicts: 956000 | #Constraints: 33634
1386.35/1390.17 c #Conflicts: 957000 | #Constraints: 34634
1386.35/1390.17 c #Conflicts: 958000 | #Constraints: 35634
1386.35/1390.17 c #Conflicts: 959000 | #Constraints: 36634
1386.35/1390.17 c #Conflicts: 960000 | #Constraints: 37634
1386.35/1390.17 c #Conflicts: 961000 | #Constraints: 38634
1386.35/1390.17 c INPROCESSING
1386.35/1390.17 c GARBAGE COLLECT
1386.35/1390.17 c #Conflicts: 962000 | #Constraints: 20238
1386.35/1390.17 c #Conflicts: 963000 | #Constraints: 21238
1386.35/1390.17 c #Conflicts: 964000 | #Constraints: 22238
1386.35/1390.17 c #Conflicts: 965000 | #Constraints: 23238
1386.35/1390.17 c #Conflicts: 966000 | #Constraints: 24238
1386.35/1390.17 c #Conflicts: 967000 | #Constraints: 25238
1386.35/1390.17 c #Conflicts: 968000 | #Constraints: 26238
1386.35/1390.17 c #Conflicts: 969000 | #Constraints: 27238
1386.35/1390.17 c #Conflicts: 970000 | #Constraints: 28238
1386.35/1390.17 c #Conflicts: 971000 | #Constraints: 29238
1386.35/1390.17 c #Conflicts: 972000 | #Constraints: 30238
1386.35/1390.17 c #Conflicts: 973000 | #Constraints: 31238
1386.35/1390.17 c #Conflicts: 974000 | #Constraints: 32238
1386.35/1390.17 c #Conflicts: 975000 | #Constraints: 33238
1386.35/1390.17 c #Conflicts: 976000 | #Constraints: 34238
1386.35/1390.17 c #Conflicts: 977000 | #Constraints: 35238
1386.35/1390.17 c #Conflicts: 978000 | #Constraints: 36238
1386.35/1390.17 c #Conflicts: 979000 | #Constraints: 37238
1386.35/1390.17 c #Conflicts: 980000 | #Constraints: 38238
1386.35/1390.17 c #Conflicts: 981000 | #Constraints: 39238
1386.35/1390.17 c INPROCESSING
1386.35/1390.17 c GARBAGE COLLECT
1386.35/1390.17 c #Conflicts: 982000 | #Constraints: 20636
1386.35/1390.17 c #Conflicts: 983000 | #Constraints: 21636
1386.35/1390.17 c #Conflicts: 984000 | #Constraints: 22636
1386.35/1390.17 c #Conflicts: 985000 | #Constraints: 23636
1386.35/1390.17 c #Conflicts: 986000 | #Constraints: 24636
1386.35/1390.17 c #Conflicts: 987000 | #Constraints: 25636
1386.35/1390.17 c #Conflicts: 988000 | #Constraints: 26636
1386.35/1390.17 c #Conflicts: 989000 | #Constraints: 27636
1386.35/1390.17 c #Conflicts: 990000 | #Constraints: 28636
1386.35/1390.17 c #Conflicts: 991000 | #Constraints: 29636
1386.35/1390.17 c #Conflicts: 992000 | #Constraints: 30636
1386.35/1390.17 c #Conflicts: 993000 | #Constraints: 31636
1386.35/1390.17 c #Conflicts: 994000 | #Constraints: 32636
1386.35/1390.17 c #Conflicts: 995000 | #Constraints: 33636
1386.35/1390.17 c #Conflicts: 996000 | #Constraints: 34636
1386.35/1390.17 c #Conflicts: 997000 | #Constraints: 35636
1386.35/1390.17 c #Conflicts: 998000 | #Constraints: 36636
1386.35/1390.17 c #Conflicts: 999000 | #Constraints: 37636
1386.35/1390.17 c #Conflicts: 1000000 | #Constraints: 38636
1386.35/1390.17 c #Conflicts: 1001000 | #Constraints: 39636
1386.35/1390.17 c INPROCESSING
1386.35/1390.17 c GARBAGE COLLECT
1386.35/1390.17 c #Conflicts: 1002000 | #Constraints: 20838
1386.35/1390.17 c #Conflicts: 1003000 | #Constraints: 21838
1386.35/1390.17 c #Conflicts: 1004000 | #Constraints: 22838
1386.35/1390.17 c #Conflicts: 1005000 | #Constraints: 23838
1548.63/1552.86 c #Conflicts: 1006000 | #Constraints: 24838
1548.63/1552.86 c #Conflicts: 1007000 | #Constraints: 25838
1548.63/1552.86 c #Conflicts: 1008000 | #Constraints: 26838
1548.63/1552.86 c #Conflicts: 1009000 | #Constraints: 27838
1548.63/1552.86 c #Conflicts: 1010000 | #Constraints: 28838
1548.63/1552.86 c #Conflicts: 1011000 | #Constraints: 29838
1548.63/1552.86 c #Conflicts: 1012000 | #Constraints: 30838
1548.63/1552.86 c #Conflicts: 1013000 | #Constraints: 31838
1548.63/1552.86 c #Conflicts: 1014000 | #Constraints: 32838
1548.63/1552.86 c #Conflicts: 1015000 | #Constraints: 33838
1548.63/1552.86 c #Conflicts: 1016000 | #Constraints: 34838
1548.63/1552.86 c #Conflicts: 1017000 | #Constraints: 35838
1548.63/1552.86 c #Conflicts: 1018000 | #Constraints: 36838
1548.63/1552.86 c #Conflicts: 1019000 | #Constraints: 37838
1548.63/1552.86 c #Conflicts: 1020000 | #Constraints: 38838
1548.63/1552.86 c #Conflicts: 1021000 | #Constraints: 39838
1548.63/1552.86 c INPROCESSING
1548.63/1552.86 c GARBAGE COLLECT
1548.63/1552.86 c #Conflicts: 1022000 | #Constraints: 20834
1548.63/1552.86 c #Conflicts: 1023000 | #Constraints: 21834
1548.63/1552.86 c #Conflicts: 1024000 | #Constraints: 22834
1548.63/1552.86 c #Conflicts: 1025000 | #Constraints: 23834
1548.63/1552.86 c #Conflicts: 1026000 | #Constraints: 24834
1548.63/1552.86 c #Conflicts: 1027000 | #Constraints: 25834
1548.63/1552.86 c #Conflicts: 1028000 | #Constraints: 26834
1548.63/1552.86 c #Conflicts: 1029000 | #Constraints: 27834
1548.63/1552.86 c #Conflicts: 1030000 | #Constraints: 28834
1548.63/1552.86 c #Conflicts: 1031000 | #Constraints: 29834
1548.63/1552.86 c #Conflicts: 1032000 | #Constraints: 30834
1548.63/1552.86 c #Conflicts: 1033000 | #Constraints: 31834
1548.63/1552.86 c #Conflicts: 1034000 | #Constraints: 32834
1548.63/1552.86 c #Conflicts: 1035000 | #Constraints: 33834
1548.63/1552.86 c #Conflicts: 1036000 | #Constraints: 34834
1548.63/1552.86 c #Conflicts: 1037000 | #Constraints: 35834
1548.63/1552.86 c #Conflicts: 1038000 | #Constraints: 36834
1548.63/1552.86 c #Conflicts: 1039000 | #Constraints: 37834
1548.63/1552.86 c #Conflicts: 1040000 | #Constraints: 38834
1548.63/1552.86 c #Conflicts: 1041000 | #Constraints: 39834
1548.63/1552.86 c INPROCESSING
1548.63/1552.86 c GARBAGE COLLECT
1548.63/1552.86 c #Conflicts: 1042000 | #Constraints: 20634
1548.63/1552.86 c #Conflicts: 1043000 | #Constraints: 21634
1548.63/1552.86 c #Conflicts: 1044000 | #Constraints: 22634
1548.63/1552.86 c #Conflicts: 1045000 | #Constraints: 23634
1548.63/1552.86 c #Conflicts: 1046000 | #Constraints: 24634
1548.63/1552.86 c #Conflicts: 1047000 | #Constraints: 25634
1548.63/1552.86 c #Conflicts: 1048000 | #Constraints: 26634
1548.63/1552.86 c #Conflicts: 1049000 | #Constraints: 27634
1548.63/1552.86 c #Conflicts: 1050000 | #Constraints: 28634
1548.63/1552.86 c #Conflicts: 1051000 | #Constraints: 29634
1548.63/1552.86 c #Conflicts: 1052000 | #Constraints: 30634
1548.63/1552.86 c #Conflicts: 1053000 | #Constraints: 31634
1548.63/1552.86 c #Conflicts: 1054000 | #Constraints: 32634
1548.63/1552.86 c #Conflicts: 1055000 | #Constraints: 33634
1548.63/1552.86 c #Conflicts: 1056000 | #Constraints: 34634
1548.63/1552.86 c #Conflicts: 1057000 | #Constraints: 35634
1548.63/1552.86 c #Conflicts: 1058000 | #Constraints: 36634
1548.63/1552.86 c #Conflicts: 1059000 | #Constraints: 37634
1548.63/1552.86 c #Conflicts: 1060000 | #Constraints: 38634
1548.63/1552.86 c #Conflicts: 1061000 | #Constraints: 39634
1548.63/1552.86 c #Conflicts: 1062000 | #Constraints: 40634
1548.63/1552.86 c INPROCESSING
1548.63/1552.86 c GARBAGE COLLECT
1548.63/1552.86 c #Conflicts: 1063000 | #Constraints: 21239
1548.63/1552.86 c #Conflicts: 1064000 | #Constraints: 22239
1548.63/1552.86 c #Conflicts: 1065000 | #Constraints: 23239
1548.63/1552.86 c #Conflicts: 1066000 | #Constraints: 24239
1548.63/1552.86 c #Conflicts: 1067000 | #Constraints: 25239
1548.63/1552.86 c #Conflicts: 1068000 | #Constraints: 26239
1548.63/1552.86 c #Conflicts: 1069000 | #Constraints: 27239
1548.63/1552.86 c #Conflicts: 1070000 | #Constraints: 28239
1548.63/1552.86 c #Conflicts: 1071000 | #Constraints: 29239
1548.63/1552.86 c #Conflicts: 1072000 | #Constraints: 30239
1548.63/1552.86 c #Conflicts: 1073000 | #Constraints: 31239
1548.63/1552.86 c #Conflicts: 1074000 | #Constraints: 32239
1548.63/1552.86 c #Conflicts: 1075000 | #Constraints: 33239
1548.63/1552.86 c #Conflicts: 1076000 | #Constraints: 34239
1548.63/1552.86 c #Conflicts: 1077000 | #Constraints: 35239
1548.63/1552.86 c #Conflicts: 1078000 | #Constraints: 36239
1548.63/1552.86 c #Conflicts: 1079000 | #Constraints: 37239
1548.63/1552.86 c #Conflicts: 1080000 | #Constraints: 38239
1548.63/1552.86 c #Conflicts: 1081000 | #Constraints: 39239
1548.63/1552.86 c #Conflicts: 1082000 | #Constraints: 40239
1703.55/1708.18 c #Conflicts: 1083000 | #Constraints: 41239
1703.55/1708.18 c INPROCESSING
1703.55/1708.18 c GARBAGE COLLECT
1703.55/1708.18 c #Conflicts: 1084000 | #Constraints: 21639
1703.55/1708.18 c #Conflicts: 1085000 | #Constraints: 22639
1703.55/1708.18 c #Conflicts: 1086000 | #Constraints: 23639
1703.55/1708.18 c #Conflicts: 1087000 | #Constraints: 24639
1703.55/1708.18 c #Conflicts: 1088000 | #Constraints: 25639
1703.55/1708.18 c #Conflicts: 1089000 | #Constraints: 26639
1703.55/1708.18 c #Conflicts: 1090000 | #Constraints: 27639
1703.55/1708.18 c #Conflicts: 1091000 | #Constraints: 28639
1703.55/1708.18 c #Conflicts: 1092000 | #Constraints: 29639
1703.55/1708.18 c #Conflicts: 1093000 | #Constraints: 30639
1703.55/1708.18 c #Conflicts: 1094000 | #Constraints: 31639
1703.55/1708.18 c #Conflicts: 1095000 | #Constraints: 32639
1703.55/1708.18 c #Conflicts: 1096000 | #Constraints: 33639
1703.55/1708.18 c #Conflicts: 1097000 | #Constraints: 34639
1703.55/1708.18 c #Conflicts: 1098000 | #Constraints: 35639
1703.55/1708.18 c #Conflicts: 1099000 | #Constraints: 36639
1703.55/1708.18 c #Conflicts: 1100000 | #Constraints: 37639
1703.55/1708.18 c #Conflicts: 1101000 | #Constraints: 38639
1703.55/1708.18 c #Conflicts: 1102000 | #Constraints: 39639
1703.55/1708.18 c #Conflicts: 1103000 | #Constraints: 40639
1703.55/1708.18 c #Conflicts: 1104000 | #Constraints: 41639
1703.55/1708.18 c INPROCESSING
1703.55/1708.18 c GARBAGE COLLECT
1703.55/1708.18 c #Conflicts: 1105000 | #Constraints: 21840
1703.55/1708.18 c #Conflicts: 1106000 | #Constraints: 22840
1703.55/1708.18 c #Conflicts: 1107000 | #Constraints: 23840
1703.55/1708.18 c #Conflicts: 1108000 | #Constraints: 24840
1703.55/1708.18 c #Conflicts: 1109000 | #Constraints: 25840
1703.55/1708.18 c #Conflicts: 1110000 | #Constraints: 26840
1703.55/1708.18 c #Conflicts: 1111000 | #Constraints: 27840
1703.55/1708.18 c #Conflicts: 1112000 | #Constraints: 28840
1703.55/1708.18 c #Conflicts: 1113000 | #Constraints: 29840
1703.55/1708.18 c #Conflicts: 1114000 | #Constraints: 30840
1703.55/1708.18 c #Conflicts: 1115000 | #Constraints: 31840
1703.55/1708.18 c #Conflicts: 1116000 | #Constraints: 32840
1703.55/1708.18 c #Conflicts: 1117000 | #Constraints: 33840
1703.55/1708.18 c #Conflicts: 1118000 | #Constraints: 34840
1703.55/1708.18 c #Conflicts: 1119000 | #Constraints: 35840
1703.55/1708.18 c #Conflicts: 1120000 | #Constraints: 36840
1703.55/1708.18 c #Conflicts: 1121000 | #Constraints: 37840
1703.55/1708.18 c #Conflicts: 1122000 | #Constraints: 38840
1703.55/1708.18 c #Conflicts: 1123000 | #Constraints: 39840
1703.55/1708.18 c #Conflicts: 1124000 | #Constraints: 40840
1703.55/1708.18 c #Conflicts: 1125000 | #Constraints: 41840
1703.55/1708.18 c INPROCESSING
1703.55/1708.18 c GARBAGE COLLECT
1703.55/1708.18 c #Conflicts: 1126000 | #Constraints: 21840
1703.55/1708.18 c #Conflicts: 1127000 | #Constraints: 22840
1703.55/1708.18 c #Conflicts: 1128000 | #Constraints: 23840
1703.55/1708.18 c #Conflicts: 1129000 | #Constraints: 24840
1703.55/1708.18 c #Conflicts: 1130000 | #Constraints: 25840
1703.55/1708.18 c #Conflicts: 1131000 | #Constraints: 26840
1703.55/1708.18 c #Conflicts: 1132000 | #Constraints: 27840
1703.55/1708.18 c #Conflicts: 1133000 | #Constraints: 28840
1703.55/1708.18 c #Conflicts: 1134000 | #Constraints: 29840
1703.55/1708.18 c #Conflicts: 1135000 | #Constraints: 30840
1703.55/1708.18 c #Conflicts: 1136000 | #Constraints: 31840
1703.55/1708.18 c #Conflicts: 1137000 | #Constraints: 32840
1703.55/1708.18 c #Conflicts: 1138000 | #Constraints: 33840
1703.55/1708.18 c #Conflicts: 1139000 | #Constraints: 34840
1703.55/1708.18 c #Conflicts: 1140000 | #Constraints: 35840
1703.55/1708.18 c #Conflicts: 1141000 | #Constraints: 36840
1703.55/1708.18 c #Conflicts: 1142000 | #Constraints: 37840
1703.55/1708.18 c #Conflicts: 1143000 | #Constraints: 38840
1703.55/1708.18 c #Conflicts: 1144000 | #Constraints: 39840
1703.55/1708.18 c #Conflicts: 1145000 | #Constraints: 40840
1703.55/1708.18 c #Conflicts: 1146000 | #Constraints: 41840
1703.55/1708.18 c INPROCESSING
1703.55/1708.18 c GARBAGE COLLECT
1703.55/1708.18 c #Conflicts: 1147000 | #Constraints: 21638
1703.55/1708.18 c #Conflicts: 1148000 | #Constraints: 22638
1703.55/1708.18 c #Conflicts: 1149000 | #Constraints: 23638
1703.55/1708.18 c #Conflicts: 1150000 | #Constraints: 24638
1703.55/1708.18 c #Conflicts: 1151000 | #Constraints: 25638
1703.55/1708.18 c #Conflicts: 1152000 | #Constraints: 26638
1703.55/1708.18 c #Conflicts: 1153000 | #Constraints: 27638
1703.55/1708.18 c #Conflicts: 1154000 | #Constraints: 28638
1703.55/1708.18 c #Conflicts: 1155000 | #Constraints: 29638
1703.55/1708.18 c #Conflicts: 1156000 | #Constraints: 30638
1703.55/1708.18 c #Conflicts: 1157000 | #Constraints: 31638
1703.55/1708.18 c #Conflicts: 1158000 | #Constraints: 32638
1858.06/1863.06 c #Conflicts: 1159000 | #Constraints: 33638
1858.06/1863.06 c #Conflicts: 1160000 | #Constraints: 34638
1858.06/1863.06 c #Conflicts: 1161000 | #Constraints: 35638
1858.06/1863.06 c #Conflicts: 1162000 | #Constraints: 36638
1858.06/1863.06 c #Conflicts: 1163000 | #Constraints: 37638
1858.06/1863.06 c #Conflicts: 1164000 | #Constraints: 38638
1858.06/1863.06 c #Conflicts: 1165000 | #Constraints: 39638
1858.06/1863.06 c #Conflicts: 1166000 | #Constraints: 40638
1858.06/1863.06 c #Conflicts: 1167000 | #Constraints: 41638
1858.06/1863.06 c #Conflicts: 1168000 | #Constraints: 42638
1858.06/1863.06 c INPROCESSING
1858.06/1863.06 c GARBAGE COLLECT
1858.06/1863.06 c #Conflicts: 1169000 | #Constraints: 22238
1858.06/1863.06 c #Conflicts: 1170000 | #Constraints: 23238
1858.06/1863.06 c #Conflicts: 1171000 | #Constraints: 24238
1858.06/1863.06 c #Conflicts: 1172000 | #Constraints: 25238
1858.06/1863.06 c #Conflicts: 1173000 | #Constraints: 26238
1858.06/1863.06 c #Conflicts: 1174000 | #Constraints: 27238
1858.06/1863.06 c #Conflicts: 1175000 | #Constraints: 28238
1858.06/1863.06 c #Conflicts: 1176000 | #Constraints: 29238
1858.06/1863.06 c #Conflicts: 1177000 | #Constraints: 30238
1858.06/1863.06 c #Conflicts: 1178000 | #Constraints: 31238
1858.06/1863.06 c #Conflicts: 1179000 | #Constraints: 32238
1858.06/1863.06 c #Conflicts: 1180000 | #Constraints: 33238
1858.06/1863.06 c #Conflicts: 1181000 | #Constraints: 34238
1858.06/1863.06 c #Conflicts: 1182000 | #Constraints: 35238
1858.06/1863.06 c #Conflicts: 1183000 | #Constraints: 36238
1858.06/1863.06 c #Conflicts: 1184000 | #Constraints: 37238
1858.06/1863.06 c #Conflicts: 1185000 | #Constraints: 38238
1858.06/1863.06 c #Conflicts: 1186000 | #Constraints: 39238
1858.06/1863.06 c #Conflicts: 1187000 | #Constraints: 40238
1858.06/1863.06 c #Conflicts: 1188000 | #Constraints: 41238
1858.06/1863.06 c #Conflicts: 1189000 | #Constraints: 42238
1858.06/1863.06 c #Conflicts: 1190000 | #Constraints: 43238
1858.06/1863.06 c INPROCESSING
1858.06/1863.06 c GARBAGE COLLECT
1858.06/1863.06 c #Conflicts: 1191000 | #Constraints: 22638
1858.06/1863.06 c #Conflicts: 1192000 | #Constraints: 23638
1858.06/1863.06 c #Conflicts: 1193000 | #Constraints: 24638
1858.06/1863.06 c #Conflicts: 1194000 | #Constraints: 25638
1858.06/1863.06 c #Conflicts: 1195000 | #Constraints: 26638
1858.06/1863.06 c #Conflicts: 1196000 | #Constraints: 27638
1858.06/1863.06 c #Conflicts: 1197000 | #Constraints: 28638
1858.06/1863.06 c #Conflicts: 1198000 | #Constraints: 29638
1858.06/1863.06 c #Conflicts: 1199000 | #Constraints: 30638
1858.06/1863.06 c #Conflicts: 1200000 | #Constraints: 31638
1858.06/1863.06 c #Conflicts: 1201000 | #Constraints: 32638
1858.06/1863.06 c #Conflicts: 1202000 | #Constraints: 33638
1858.06/1863.06 c #Conflicts: 1203000 | #Constraints: 34638
1858.06/1863.06 c #Conflicts: 1204000 | #Constraints: 35638
1858.06/1863.06 c #Conflicts: 1205000 | #Constraints: 36638
1858.06/1863.06 c #Conflicts: 1206000 | #Constraints: 37638
1858.06/1863.06 c #Conflicts: 1207000 | #Constraints: 38638
1858.06/1863.06 c #Conflicts: 1208000 | #Constraints: 39638
1858.06/1863.06 c #Conflicts: 1209000 | #Constraints: 40638
1858.06/1863.06 c #Conflicts: 1210000 | #Constraints: 41638
1858.06/1863.06 c #Conflicts: 1211000 | #Constraints: 42638
1858.06/1863.06 c #Conflicts: 1212000 | #Constraints: 43638
1858.06/1863.06 c INPROCESSING
1858.06/1863.06 c GARBAGE COLLECT
1858.06/1863.06 c #Conflicts: 1213000 | #Constraints: 22837
1858.06/1863.06 c #Conflicts: 1214000 | #Constraints: 23837
1858.06/1863.06 c #Conflicts: 1215000 | #Constraints: 24837
1858.06/1863.06 c #Conflicts: 1216000 | #Constraints: 25837
1858.06/1863.06 c #Conflicts: 1217000 | #Constraints: 26837
1858.06/1863.06 c #Conflicts: 1218000 | #Constraints: 27837
1858.06/1863.06 c #Conflicts: 1219000 | #Constraints: 28837
1858.06/1863.06 c #Conflicts: 1220000 | #Constraints: 29837
1858.06/1863.06 c #Conflicts: 1221000 | #Constraints: 30837
1858.06/1863.06 c #Conflicts: 1222000 | #Constraints: 31837
1858.06/1863.06 c #Conflicts: 1223000 | #Constraints: 32837
1858.06/1863.06 c #Conflicts: 1224000 | #Constraints: 33837
1858.06/1863.06 c #Conflicts: 1225000 | #Constraints: 34837
1858.06/1863.06 c #Conflicts: 1226000 | #Constraints: 35837
1858.06/1863.06 c #Conflicts: 1227000 | #Constraints: 36837
1858.06/1863.06 c #Conflicts: 1228000 | #Constraints: 37837
1858.06/1863.06 c #Conflicts: 1229000 | #Constraints: 38837
1858.06/1863.06 c #Conflicts: 1230000 | #Constraints: 39837
1858.06/1863.06 c #Conflicts: 1231000 | #Constraints: 40837
1858.06/1863.06 c #Conflicts: 1232000 | #Constraints: 41837
1858.06/1863.06 c #Conflicts: 1233000 | #Constraints: 42837
1858.06/1863.06 c #Conflicts: 1234000 | #Constraints: 43837
1858.06/1863.06 c INPROCESSING
1858.06/1863.06 c GARBAGE COLLECT
2018.14/2023.52 c #Conflicts: 1235000 | #Constraints: 22837
2018.14/2023.52 c #Conflicts: 1236000 | #Constraints: 23837
2018.14/2023.52 c #Conflicts: 1237000 | #Constraints: 24837
2018.14/2023.52 c #Conflicts: 1238000 | #Constraints: 25837
2018.14/2023.52 c #Conflicts: 1239000 | #Constraints: 26837
2018.14/2023.52 c #Conflicts: 1240000 | #Constraints: 27837
2018.14/2023.52 c #Conflicts: 1241000 | #Constraints: 28837
2018.14/2023.52 c #Conflicts: 1242000 | #Constraints: 29837
2018.14/2023.52 c #Conflicts: 1243000 | #Constraints: 30837
2018.14/2023.52 c #Conflicts: 1244000 | #Constraints: 31837
2018.14/2023.52 c #Conflicts: 1245000 | #Constraints: 32837
2018.14/2023.52 c #Conflicts: 1246000 | #Constraints: 33837
2018.14/2023.52 c #Conflicts: 1247000 | #Constraints: 34837
2018.14/2023.52 c #Conflicts: 1248000 | #Constraints: 35837
2018.14/2023.52 c #Conflicts: 1249000 | #Constraints: 36837
2018.14/2023.52 c #Conflicts: 1250000 | #Constraints: 37837
2018.14/2023.52 c #Conflicts: 1251000 | #Constraints: 38837
2018.14/2023.52 c #Conflicts: 1252000 | #Constraints: 39837
2018.14/2023.52 c #Conflicts: 1253000 | #Constraints: 40837
2018.14/2023.52 c #Conflicts: 1254000 | #Constraints: 41837
2018.14/2023.52 c #Conflicts: 1255000 | #Constraints: 42837
2018.14/2023.52 c #Conflicts: 1256000 | #Constraints: 43837
2018.14/2023.52 c INPROCESSING
2018.14/2023.52 c GARBAGE COLLECT
2018.14/2023.52 c #Conflicts: 1257000 | #Constraints: 22639
2018.14/2023.52 c #Conflicts: 1258000 | #Constraints: 23639
2018.14/2023.52 c #Conflicts: 1259000 | #Constraints: 24639
2018.14/2023.52 c #Conflicts: 1260000 | #Constraints: 25639
2018.14/2023.52 c #Conflicts: 1261000 | #Constraints: 26639
2018.14/2023.52 c #Conflicts: 1262000 | #Constraints: 27639
2018.14/2023.52 c #Conflicts: 1263000 | #Constraints: 28639
2018.14/2023.52 c #Conflicts: 1264000 | #Constraints: 29639
2018.14/2023.52 c #Conflicts: 1265000 | #Constraints: 30639
2018.14/2023.52 c #Conflicts: 1266000 | #Constraints: 31639
2018.14/2023.52 c #Conflicts: 1267000 | #Constraints: 32639
2018.14/2023.52 c #Conflicts: 1268000 | #Constraints: 33639
2018.14/2023.52 c #Conflicts: 1269000 | #Constraints: 34639
2018.14/2023.52 c #Conflicts: 1270000 | #Constraints: 35639
2018.14/2023.52 c #Conflicts: 1271000 | #Constraints: 36639
2018.14/2023.52 c #Conflicts: 1272000 | #Constraints: 37639
2018.14/2023.52 c #Conflicts: 1273000 | #Constraints: 38639
2018.14/2023.52 c #Conflicts: 1274000 | #Constraints: 39639
2018.14/2023.52 c #Conflicts: 1275000 | #Constraints: 40639
2018.14/2023.52 c #Conflicts: 1276000 | #Constraints: 41639
2018.14/2023.52 c #Conflicts: 1277000 | #Constraints: 42639
2018.14/2023.52 c #Conflicts: 1278000 | #Constraints: 43639
2018.14/2023.52 c #Conflicts: 1279000 | #Constraints: 44639
2018.14/2023.52 c INPROCESSING
2018.14/2023.52 c GARBAGE COLLECT
2018.14/2023.52 c #Conflicts: 1280000 | #Constraints: 23236
2018.14/2023.52 c #Conflicts: 1281000 | #Constraints: 24236
2018.14/2023.52 c #Conflicts: 1282000 | #Constraints: 25236
2018.14/2023.52 c #Conflicts: 1283000 | #Constraints: 26236
2018.14/2023.52 c #Conflicts: 1284000 | #Constraints: 27236
2018.14/2023.52 c #Conflicts: 1285000 | #Constraints: 28236
2018.14/2023.52 c #Conflicts: 1286000 | #Constraints: 29236
2018.14/2023.52 c #Conflicts: 1287000 | #Constraints: 30236
2018.14/2023.52 c #Conflicts: 1288000 | #Constraints: 31236
2018.14/2023.52 c #Conflicts: 1289000 | #Constraints: 32236
2018.14/2023.52 c #Conflicts: 1290000 | #Constraints: 33236
2018.14/2023.52 c #Conflicts: 1291000 | #Constraints: 34236
2018.14/2023.52 c #Conflicts: 1292000 | #Constraints: 35236
2018.14/2023.52 c #Conflicts: 1293000 | #Constraints: 36236
2018.14/2023.52 c #Conflicts: 1294000 | #Constraints: 37236
2018.14/2023.52 c #Conflicts: 1295000 | #Constraints: 38236
2018.14/2023.52 c #Conflicts: 1296000 | #Constraints: 39236
2018.14/2023.52 c #Conflicts: 1297000 | #Constraints: 40236
2018.14/2023.52 c #Conflicts: 1298000 | #Constraints: 41236
2018.14/2023.52 c #Conflicts: 1299000 | #Constraints: 42236
2018.14/2023.52 c #Conflicts: 1300000 | #Constraints: 43236
2018.14/2023.52 c #Conflicts: 1301000 | #Constraints: 44236
2018.14/2023.52 c #Conflicts: 1302000 | #Constraints: 45236
2018.14/2023.52 c INPROCESSING
2018.14/2023.52 c GARBAGE COLLECT
2018.14/2023.52 c #Conflicts: 1303000 | #Constraints: 23634
2018.14/2023.52 c #Conflicts: 1304000 | #Constraints: 24634
2018.14/2023.52 c #Conflicts: 1305000 | #Constraints: 25634
2018.14/2023.52 c #Conflicts: 1306000 | #Constraints: 26634
2018.14/2023.52 c #Conflicts: 1307000 | #Constraints: 27634
2018.14/2023.52 c #Conflicts: 1308000 | #Constraints: 28634
2018.14/2023.52 c #Conflicts: 1309000 | #Constraints: 29634
2018.14/2023.52 c #Conflicts: 1310000 | #Constraints: 30634
2018.14/2023.52 c #Conflicts: 1311000 | #Constraints: 31634
2196.10/2201.94 c #Conflicts: 1312000 | #Constraints: 32634
2196.10/2201.94 c #Conflicts: 1313000 | #Constraints: 33634
2196.10/2201.94 c #Conflicts: 1314000 | #Constraints: 34634
2196.10/2201.94 c #Conflicts: 1315000 | #Constraints: 35634
2196.10/2201.94 c #Conflicts: 1316000 | #Constraints: 36634
2196.10/2201.94 c #Conflicts: 1317000 | #Constraints: 37634
2196.10/2201.94 c #Conflicts: 1318000 | #Constraints: 38634
2196.10/2201.94 c #Conflicts: 1319000 | #Constraints: 39634
2196.10/2201.94 c #Conflicts: 1320000 | #Constraints: 40634
2196.10/2201.94 c #Conflicts: 1321000 | #Constraints: 41634
2196.10/2201.94 c #Conflicts: 1322000 | #Constraints: 42634
2196.10/2201.94 c #Conflicts: 1323000 | #Constraints: 43634
2196.10/2201.94 c #Conflicts: 1324000 | #Constraints: 44634
2196.10/2201.94 c #Conflicts: 1325000 | #Constraints: 45634
2196.10/2201.94 c INPROCESSING
2196.10/2201.94 c GARBAGE COLLECT
2196.10/2201.94 c #Conflicts: 1326000 | #Constraints: 23840
2196.10/2201.94 c #Conflicts: 1327000 | #Constraints: 24840
2196.10/2201.94 c #Conflicts: 1328000 | #Constraints: 25840
2196.10/2201.94 c #Conflicts: 1329000 | #Constraints: 26840
2196.10/2201.94 c #Conflicts: 1330000 | #Constraints: 27840
2196.10/2201.94 c #Conflicts: 1331000 | #Constraints: 28840
2196.10/2201.94 c #Conflicts: 1332000 | #Constraints: 29840
2196.10/2201.94 c #Conflicts: 1333000 | #Constraints: 30840
2196.10/2201.94 c #Conflicts: 1334000 | #Constraints: 31840
2196.10/2201.94 c #Conflicts: 1335000 | #Constraints: 32840
2196.10/2201.94 c #Conflicts: 1336000 | #Constraints: 33840
2196.10/2201.94 c #Conflicts: 1337000 | #Constraints: 34840
2196.10/2201.94 c #Conflicts: 1338000 | #Constraints: 35840
2196.10/2201.94 c #Conflicts: 1339000 | #Constraints: 36840
2196.10/2201.94 c #Conflicts: 1340000 | #Constraints: 37840
2196.10/2201.94 c #Conflicts: 1341000 | #Constraints: 38840
2196.10/2201.94 c #Conflicts: 1342000 | #Constraints: 39840
2196.10/2201.94 c #Conflicts: 1343000 | #Constraints: 40840
2196.10/2201.94 c #Conflicts: 1344000 | #Constraints: 41840
2196.10/2201.94 c #Conflicts: 1345000 | #Constraints: 42840
2196.10/2201.94 c #Conflicts: 1346000 | #Constraints: 43840
2196.10/2201.94 c #Conflicts: 1347000 | #Constraints: 44840
2196.10/2201.94 c #Conflicts: 1348000 | #Constraints: 45840
2196.10/2201.94 c INPROCESSING
2196.10/2201.94 c GARBAGE COLLECT
2196.10/2201.94 c #Conflicts: 1349000 | #Constraints: 23838
2196.10/2201.94 c #Conflicts: 1350000 | #Constraints: 24838
2196.10/2201.94 c #Conflicts: 1351000 | #Constraints: 25838
2196.10/2201.94 c #Conflicts: 1352000 | #Constraints: 26838
2196.10/2201.94 c #Conflicts: 1353000 | #Constraints: 27838
2196.10/2201.94 c #Conflicts: 1354000 | #Constraints: 28838
2196.10/2201.94 c #Conflicts: 1355000 | #Constraints: 29838
2196.10/2201.94 c #Conflicts: 1356000 | #Constraints: 30838
2196.10/2201.94 c #Conflicts: 1357000 | #Constraints: 31838
2196.10/2201.94 c #Conflicts: 1358000 | #Constraints: 32838
2196.10/2201.94 c #Conflicts: 1359000 | #Constraints: 33838
2196.10/2201.94 c #Conflicts: 1360000 | #Constraints: 34838
2196.10/2201.94 c #Conflicts: 1361000 | #Constraints: 35838
2196.10/2201.94 c #Conflicts: 1362000 | #Constraints: 36838
2196.10/2201.94 c #Conflicts: 1363000 | #Constraints: 37838
2196.10/2201.94 c #Conflicts: 1364000 | #Constraints: 38838
2196.10/2201.94 c #Conflicts: 1365000 | #Constraints: 39838
2196.10/2201.94 c #Conflicts: 1366000 | #Constraints: 40838
2196.10/2201.94 c #Conflicts: 1367000 | #Constraints: 41838
2196.10/2201.94 c #Conflicts: 1368000 | #Constraints: 42838
2196.10/2201.94 c #Conflicts: 1369000 | #Constraints: 43838
2196.10/2201.94 c #Conflicts: 1370000 | #Constraints: 44838
2196.10/2201.94 c #Conflicts: 1371000 | #Constraints: 45838
2196.10/2201.94 c INPROCESSING
2196.10/2201.94 c GARBAGE COLLECT
2196.10/2201.94 c #Conflicts: 1372000 | #Constraints: 23638
2196.10/2201.94 c #Conflicts: 1373000 | #Constraints: 24638
2196.10/2201.94 c #Conflicts: 1374000 | #Constraints: 25638
2196.10/2201.94 c #Conflicts: 1375000 | #Constraints: 26638
2196.10/2201.94 c #Conflicts: 1376000 | #Constraints: 27638
2196.10/2201.94 c #Conflicts: 1377000 | #Constraints: 28638
2196.10/2201.94 c #Conflicts: 1378000 | #Constraints: 29638
2196.10/2201.94 c #Conflicts: 1379000 | #Constraints: 30638
2196.10/2201.94 c #Conflicts: 1380000 | #Constraints: 31638
2196.10/2201.94 c #Conflicts: 1381000 | #Constraints: 32638
2196.10/2201.94 c #Conflicts: 1382000 | #Constraints: 33638
2196.10/2201.94 c #Conflicts: 1383000 | #Constraints: 34638
2196.10/2201.94 c #Conflicts: 1384000 | #Constraints: 35638
2196.10/2201.94 c #Conflicts: 1385000 | #Constraints: 36638
2196.10/2201.94 c #Conflicts: 1386000 | #Constraints: 37638
2196.10/2201.94 c #Conflicts: 1387000 | #Constraints: 38638
2196.10/2201.94 c #Conflicts: 1388000 | #Constraints: 39638
2375.44/2381.70 c #Conflicts: 1389000 | #Constraints: 40638
2375.44/2381.70 c #Conflicts: 1390000 | #Constraints: 41638
2375.44/2381.70 c #Conflicts: 1391000 | #Constraints: 42638
2375.44/2381.70 c #Conflicts: 1392000 | #Constraints: 43638
2375.44/2381.70 c #Conflicts: 1393000 | #Constraints: 44638
2375.44/2381.70 c #Conflicts: 1394000 | #Constraints: 45638
2375.44/2381.70 c #Conflicts: 1395000 | #Constraints: 46638
2375.44/2381.70 c INPROCESSING
2375.44/2381.70 c GARBAGE COLLECT
2375.44/2381.70 c #Conflicts: 1396000 | #Constraints: 24240
2375.44/2381.70 c #Conflicts: 1397000 | #Constraints: 25240
2375.44/2381.70 c #Conflicts: 1398000 | #Constraints: 26240
2375.44/2381.70 c #Conflicts: 1399000 | #Constraints: 27240
2375.44/2381.70 c #Conflicts: 1400000 | #Constraints: 28240
2375.44/2381.70 c #Conflicts: 1401000 | #Constraints: 29240
2375.44/2381.70 c #Conflicts: 1402000 | #Constraints: 30240
2375.44/2381.70 c #Conflicts: 1403000 | #Constraints: 31240
2375.44/2381.70 c #Conflicts: 1404000 | #Constraints: 32240
2375.44/2381.70 c #Conflicts: 1405000 | #Constraints: 33240
2375.44/2381.70 c #Conflicts: 1406000 | #Constraints: 34240
2375.44/2381.70 c #Conflicts: 1407000 | #Constraints: 35240
2375.44/2381.70 c #Conflicts: 1408000 | #Constraints: 36240
2375.44/2381.70 c #Conflicts: 1409000 | #Constraints: 37240
2375.44/2381.70 c #Conflicts: 1410000 | #Constraints: 38240
2375.44/2381.70 c #Conflicts: 1411000 | #Constraints: 39240
2375.44/2381.70 c #Conflicts: 1412000 | #Constraints: 40240
2375.44/2381.70 c #Conflicts: 1413000 | #Constraints: 41240
2375.44/2381.70 c #Conflicts: 1414000 | #Constraints: 42240
2375.44/2381.70 c #Conflicts: 1415000 | #Constraints: 43240
2375.44/2381.70 c #Conflicts: 1416000 | #Constraints: 44240
2375.44/2381.70 c #Conflicts: 1417000 | #Constraints: 45240
2375.44/2381.70 c #Conflicts: 1418000 | #Constraints: 46240
2375.44/2381.70 c #Conflicts: 1419000 | #Constraints: 47240
2375.44/2381.70 c INPROCESSING
2375.44/2381.70 c GARBAGE COLLECT
2375.44/2381.70 c #Conflicts: 1420000 | #Constraints: 24641
2375.44/2381.70 c #Conflicts: 1421000 | #Constraints: 25641
2375.44/2381.70 c #Conflicts: 1422000 | #Constraints: 26641
2375.44/2381.70 c #Conflicts: 1423000 | #Constraints: 27641
2375.44/2381.70 c #Conflicts: 1424000 | #Constraints: 28641
2375.44/2381.70 c #Conflicts: 1425000 | #Constraints: 29641
2375.44/2381.70 c #Conflicts: 1426000 | #Constraints: 30641
2375.44/2381.70 c #Conflicts: 1427000 | #Constraints: 31641
2375.44/2381.70 c #Conflicts: 1428000 | #Constraints: 32641
2375.44/2381.70 c #Conflicts: 1429000 | #Constraints: 33641
2375.44/2381.70 c #Conflicts: 1430000 | #Constraints: 34641
2375.44/2381.70 c #Conflicts: 1431000 | #Constraints: 35641
2375.44/2381.70 c #Conflicts: 1432000 | #Constraints: 36641
2375.44/2381.70 c #Conflicts: 1433000 | #Constraints: 37641
2375.44/2381.70 c #Conflicts: 1434000 | #Constraints: 38641
2375.44/2381.70 c #Conflicts: 1435000 | #Constraints: 39641
2375.44/2381.70 c #Conflicts: 1436000 | #Constraints: 40641
2375.44/2381.70 c #Conflicts: 1437000 | #Constraints: 41641
2375.44/2381.70 c #Conflicts: 1438000 | #Constraints: 42641
2375.44/2381.70 c #Conflicts: 1439000 | #Constraints: 43641
2375.44/2381.70 c #Conflicts: 1440000 | #Constraints: 44641
2375.44/2381.70 c #Conflicts: 1441000 | #Constraints: 45641
2375.44/2381.70 c #Conflicts: 1442000 | #Constraints: 46641
2375.44/2381.70 c #Conflicts: 1443000 | #Constraints: 47641
2375.44/2381.70 c INPROCESSING
2375.44/2381.70 c GARBAGE COLLECT
2375.44/2381.70 c #Conflicts: 1444000 | #Constraints: 24838
2375.44/2381.70 c #Conflicts: 1445000 | #Constraints: 25838
2375.44/2381.70 c #Conflicts: 1446000 | #Constraints: 26838
2375.44/2381.70 c #Conflicts: 1447000 | #Constraints: 27838
2375.44/2381.70 c #Conflicts: 1448000 | #Constraints: 28838
2375.44/2381.70 c #Conflicts: 1449000 | #Constraints: 29838
2375.44/2381.70 c #Conflicts: 1450000 | #Constraints: 30838
2375.44/2381.70 c #Conflicts: 1451000 | #Constraints: 31838
2375.44/2381.70 c #Conflicts: 1452000 | #Constraints: 32838
2375.44/2381.70 c #Conflicts: 1453000 | #Constraints: 33838
2375.44/2381.70 c #Conflicts: 1454000 | #Constraints: 34838
2375.44/2381.70 c #Conflicts: 1455000 | #Constraints: 35838
2375.44/2381.70 c #Conflicts: 1456000 | #Constraints: 36838
2375.44/2381.70 c #Conflicts: 1457000 | #Constraints: 37838
2375.44/2381.70 c #Conflicts: 1458000 | #Constraints: 38838
2375.44/2381.70 c #Conflicts: 1459000 | #Constraints: 39838
2375.44/2381.70 c #Conflicts: 1460000 | #Constraints: 40838
2375.44/2381.70 c #Conflicts: 1461000 | #Constraints: 41838
2375.44/2381.70 c #Conflicts: 1462000 | #Constraints: 42838
2375.44/2381.70 c #Conflicts: 1463000 | #Constraints: 43838
2375.44/2381.70 c #Conflicts: 1464000 | #Constraints: 44838
2375.44/2381.70 c #Conflicts: 1465000 | #Constraints: 45838
2555.88/2562.66 c #Conflicts: 1466000 | #Constraints: 46838
2555.88/2562.66 c #Conflicts: 1467000 | #Constraints: 47838
2555.88/2562.66 c INPROCESSING
2555.88/2562.66 c GARBAGE COLLECT
2555.88/2562.66 c #Conflicts: 1468000 | #Constraints: 24838
2555.88/2562.66 c #Conflicts: 1469000 | #Constraints: 25838
2555.88/2562.66 c #Conflicts: 1470000 | #Constraints: 26838
2555.88/2562.66 c #Conflicts: 1471000 | #Constraints: 27838
2555.88/2562.66 c #Conflicts: 1472000 | #Constraints: 28838
2555.88/2562.66 c #Conflicts: 1473000 | #Constraints: 29838
2555.88/2562.66 c #Conflicts: 1474000 | #Constraints: 30838
2555.88/2562.66 c #Conflicts: 1475000 | #Constraints: 31838
2555.88/2562.66 c #Conflicts: 1476000 | #Constraints: 32838
2555.88/2562.66 c #Conflicts: 1477000 | #Constraints: 33838
2555.88/2562.66 c #Conflicts: 1478000 | #Constraints: 34838
2555.88/2562.66 c #Conflicts: 1479000 | #Constraints: 35838
2555.88/2562.66 c #Conflicts: 1480000 | #Constraints: 36838
2555.88/2562.66 c #Conflicts: 1481000 | #Constraints: 37838
2555.88/2562.66 c #Conflicts: 1482000 | #Constraints: 38838
2555.88/2562.66 c #Conflicts: 1483000 | #Constraints: 39838
2555.88/2562.66 c #Conflicts: 1484000 | #Constraints: 40838
2555.88/2562.66 c #Conflicts: 1485000 | #Constraints: 41838
2555.88/2562.66 c #Conflicts: 1486000 | #Constraints: 42838
2555.88/2562.66 c #Conflicts: 1487000 | #Constraints: 43838
2555.88/2562.66 c #Conflicts: 1488000 | #Constraints: 44838
2555.88/2562.66 c #Conflicts: 1489000 | #Constraints: 45838
2555.88/2562.66 c #Conflicts: 1490000 | #Constraints: 46838
2555.88/2562.66 c #Conflicts: 1491000 | #Constraints: 47838
2555.88/2562.66 c INPROCESSING
2555.88/2562.66 c GARBAGE COLLECT
2555.88/2562.66 c #Conflicts: 1492000 | #Constraints: 24640
2555.88/2562.66 c #Conflicts: 1493000 | #Constraints: 25640
2555.88/2562.66 c #Conflicts: 1494000 | #Constraints: 26640
2555.88/2562.66 c #Conflicts: 1495000 | #Constraints: 27640
2555.88/2562.66 c #Conflicts: 1496000 | #Constraints: 28640
2555.88/2562.66 c #Conflicts: 1497000 | #Constraints: 29640
2555.88/2562.66 c #Conflicts: 1498000 | #Constraints: 30640
2555.88/2562.66 c #Conflicts: 1499000 | #Constraints: 31640
2555.88/2562.66 c #Conflicts: 1500000 | #Constraints: 32640
2555.88/2562.66 c #Conflicts: 1501000 | #Constraints: 33640
2555.88/2562.66 c #Conflicts: 1502000 | #Constraints: 34640
2555.88/2562.66 c #Conflicts: 1503000 | #Constraints: 35640
2555.88/2562.66 c #Conflicts: 1504000 | #Constraints: 36640
2555.88/2562.66 c #Conflicts: 1505000 | #Constraints: 37640
2555.88/2562.66 c #Conflicts: 1506000 | #Constraints: 38640
2555.88/2562.66 c #Conflicts: 1507000 | #Constraints: 39640
2555.88/2562.66 c #Conflicts: 1508000 | #Constraints: 40640
2555.88/2562.66 c #Conflicts: 1509000 | #Constraints: 41640
2555.88/2562.66 c #Conflicts: 1510000 | #Constraints: 42640
2555.88/2562.66 c #Conflicts: 1511000 | #Constraints: 43640
2555.88/2562.66 c #Conflicts: 1512000 | #Constraints: 44640
2555.88/2562.66 c #Conflicts: 1513000 | #Constraints: 45640
2555.88/2562.66 c #Conflicts: 1514000 | #Constraints: 46640
2555.88/2562.66 c #Conflicts: 1515000 | #Constraints: 47640
2555.88/2562.66 c #Conflicts: 1516000 | #Constraints: 48640
2555.88/2562.66 c INPROCESSING
2555.88/2562.66 c GARBAGE COLLECT
2555.88/2562.66 c #Conflicts: 1517000 | #Constraints: 25240
2555.88/2562.66 c #Conflicts: 1518000 | #Constraints: 26240
2555.88/2562.66 c #Conflicts: 1519000 | #Constraints: 27240
2555.88/2562.66 c #Conflicts: 1520000 | #Constraints: 28240
2555.88/2562.66 c #Conflicts: 1521000 | #Constraints: 29240
2555.88/2562.66 c #Conflicts: 1522000 | #Constraints: 30240
2555.88/2562.66 c #Conflicts: 1523000 | #Constraints: 31240
2555.88/2562.66 c #Conflicts: 1524000 | #Constraints: 32240
2555.88/2562.66 c #Conflicts: 1525000 | #Constraints: 33240
2555.88/2562.66 c #Conflicts: 1526000 | #Constraints: 34240
2555.88/2562.66 c #Conflicts: 1527000 | #Constraints: 35240
2555.88/2562.66 c #Conflicts: 1528000 | #Constraints: 36240
2555.88/2562.66 c #Conflicts: 1529000 | #Constraints: 37240
2555.88/2562.66 c #Conflicts: 1530000 | #Constraints: 38240
2555.88/2562.66 c #Conflicts: 1531000 | #Constraints: 39240
2555.88/2562.66 c #Conflicts: 1532000 | #Constraints: 40240
2555.88/2562.66 c #Conflicts: 1533000 | #Constraints: 41240
2555.88/2562.66 c #Conflicts: 1534000 | #Constraints: 42240
2555.88/2562.66 c #Conflicts: 1535000 | #Constraints: 43240
2555.88/2562.66 c #Conflicts: 1536000 | #Constraints: 44240
2555.88/2562.66 c #Conflicts: 1537000 | #Constraints: 45240
2555.88/2562.66 c #Conflicts: 1538000 | #Constraints: 46240
2555.88/2562.66 c #Conflicts: 1539000 | #Constraints: 47240
2555.88/2562.66 c #Conflicts: 1540000 | #Constraints: 48240
2555.88/2562.66 c #Conflicts: 1541000 | #Constraints: 49240
2555.88/2562.66 c INPROCESSING
2555.88/2562.66 c GARBAGE COLLECT
2760.16/2767.44 c #Conflicts: 1542000 | #Constraints: 25641
2760.16/2767.44 c #Conflicts: 1543000 | #Constraints: 26641
2760.16/2767.44 c #Conflicts: 1544000 | #Constraints: 27641
2760.16/2767.44 c #Conflicts: 1545000 | #Constraints: 28641
2760.16/2767.44 c #Conflicts: 1546000 | #Constraints: 29641
2760.16/2767.44 c #Conflicts: 1547000 | #Constraints: 30641
2760.16/2767.44 c #Conflicts: 1548000 | #Constraints: 31641
2760.16/2767.44 c #Conflicts: 1549000 | #Constraints: 32641
2760.16/2767.44 c #Conflicts: 1550000 | #Constraints: 33641
2760.16/2767.44 c #Conflicts: 1551000 | #Constraints: 34641
2760.16/2767.44 c #Conflicts: 1552000 | #Constraints: 35641
2760.16/2767.44 c #Conflicts: 1553000 | #Constraints: 36641
2760.16/2767.44 c #Conflicts: 1554000 | #Constraints: 37641
2760.16/2767.44 c #Conflicts: 1555000 | #Constraints: 38641
2760.16/2767.44 c #Conflicts: 1556000 | #Constraints: 39641
2760.16/2767.44 c #Conflicts: 1557000 | #Constraints: 40641
2760.16/2767.44 c #Conflicts: 1558000 | #Constraints: 41641
2760.16/2767.44 c #Conflicts: 1559000 | #Constraints: 42641
2760.16/2767.44 c #Conflicts: 1560000 | #Constraints: 43641
2760.16/2767.44 c #Conflicts: 1561000 | #Constraints: 44641
2760.16/2767.44 c #Conflicts: 1562000 | #Constraints: 45641
2760.16/2767.44 c #Conflicts: 1563000 | #Constraints: 46641
2760.16/2767.44 c #Conflicts: 1564000 | #Constraints: 47641
2760.16/2767.44 c #Conflicts: 1565000 | #Constraints: 48641
2760.16/2767.44 c #Conflicts: 1566000 | #Constraints: 49641
2760.16/2767.44 c INPROCESSING
2760.16/2767.44 c GARBAGE COLLECT
2760.16/2767.44 c #Conflicts: 1567000 | #Constraints: 25841
2760.16/2767.44 c #Conflicts: 1568000 | #Constraints: 26841
2760.16/2767.44 c #Conflicts: 1569000 | #Constraints: 27841
2760.16/2767.44 c #Conflicts: 1570000 | #Constraints: 28841
2760.16/2767.44 c #Conflicts: 1571000 | #Constraints: 29841
2760.16/2767.44 c #Conflicts: 1572000 | #Constraints: 30841
2760.16/2767.44 c #Conflicts: 1573000 | #Constraints: 31841
2760.16/2767.44 c #Conflicts: 1574000 | #Constraints: 32841
2760.16/2767.44 c #Conflicts: 1575000 | #Constraints: 33841
2760.16/2767.44 c #Conflicts: 1576000 | #Constraints: 34841
2760.16/2767.44 c #Conflicts: 1577000 | #Constraints: 35841
2760.16/2767.44 c #Conflicts: 1578000 | #Constraints: 36841
2760.16/2767.44 c #Conflicts: 1579000 | #Constraints: 37841
2760.16/2767.44 c #Conflicts: 1580000 | #Constraints: 38841
2760.16/2767.44 c #Conflicts: 1581000 | #Constraints: 39841
2760.16/2767.44 c #Conflicts: 1582000 | #Constraints: 40841
2760.16/2767.44 c #Conflicts: 1583000 | #Constraints: 41841
2760.16/2767.44 c #Conflicts: 1584000 | #Constraints: 42841
2760.16/2767.44 c #Conflicts: 1585000 | #Constraints: 43841
2760.16/2767.44 c #Conflicts: 1586000 | #Constraints: 44841
2760.16/2767.44 c #Conflicts: 1587000 | #Constraints: 45841
2760.16/2767.44 c #Conflicts: 1588000 | #Constraints: 46841
2760.16/2767.44 c #Conflicts: 1589000 | #Constraints: 47841
2760.16/2767.44 c #Conflicts: 1590000 | #Constraints: 48841
2760.16/2767.44 c #Conflicts: 1591000 | #Constraints: 49841
2760.16/2767.44 c INPROCESSING
2760.16/2767.44 c GARBAGE COLLECT
2760.16/2767.44 c #Conflicts: 1592000 | #Constraints: 25841
2760.16/2767.44 c #Conflicts: 1593000 | #Constraints: 26841
2760.16/2767.44 c #Conflicts: 1594000 | #Constraints: 27841
2760.16/2767.44 c #Conflicts: 1595000 | #Constraints: 28841
2760.16/2767.44 c #Conflicts: 1596000 | #Constraints: 29841
2760.16/2767.44 c #Conflicts: 1597000 | #Constraints: 30841
2760.16/2767.44 c #Conflicts: 1598000 | #Constraints: 31841
2760.16/2767.44 c #Conflicts: 1599000 | #Constraints: 32841
2760.16/2767.44 c #Conflicts: 1600000 | #Constraints: 33841
2760.16/2767.44 c #Conflicts: 1601000 | #Constraints: 34841
2760.16/2767.44 c #Conflicts: 1602000 | #Constraints: 35841
2760.16/2767.44 c #Conflicts: 1603000 | #Constraints: 36841
2760.16/2767.44 c #Conflicts: 1604000 | #Constraints: 37841
2760.16/2767.44 c #Conflicts: 1605000 | #Constraints: 38841
2760.16/2767.44 c #Conflicts: 1606000 | #Constraints: 39841
2760.16/2767.44 c #Conflicts: 1607000 | #Constraints: 40841
2760.16/2767.44 c #Conflicts: 1608000 | #Constraints: 41841
2760.16/2767.44 c #Conflicts: 1609000 | #Constraints: 42841
2760.16/2767.44 c #Conflicts: 1610000 | #Constraints: 43841
2760.16/2767.44 c #Conflicts: 1611000 | #Constraints: 44841
2760.16/2767.44 c #Conflicts: 1612000 | #Constraints: 45841
2760.16/2767.44 c #Conflicts: 1613000 | #Constraints: 46841
2760.16/2767.44 c #Conflicts: 1614000 | #Constraints: 47841
2760.16/2767.44 c #Conflicts: 1615000 | #Constraints: 48841
2760.16/2767.44 c #Conflicts: 1616000 | #Constraints: 49841
2760.16/2767.44 c INPROCESSING
2760.16/2767.44 c GARBAGE COLLECT
2760.16/2767.44 c #Conflicts: 1617000 | #Constraints: 25639
2760.16/2767.44 c #Conflicts: 1618000 | #Constraints: 26639
2960.62/2968.40 c #Conflicts: 1619000 | #Constraints: 27639
2960.62/2968.40 c #Conflicts: 1620000 | #Constraints: 28639
2960.62/2968.40 c #Conflicts: 1621000 | #Constraints: 29639
2960.62/2968.40 c #Conflicts: 1622000 | #Constraints: 30639
2960.62/2968.40 c #Conflicts: 1623000 | #Constraints: 31639
2960.62/2968.40 c #Conflicts: 1624000 | #Constraints: 32639
2960.62/2968.40 c #Conflicts: 1625000 | #Constraints: 33639
2960.62/2968.40 c #Conflicts: 1626000 | #Constraints: 34639
2960.62/2968.40 c #Conflicts: 1627000 | #Constraints: 35639
2960.62/2968.40 c #Conflicts: 1628000 | #Constraints: 36639
2960.62/2968.40 c #Conflicts: 1629000 | #Constraints: 37639
2960.62/2968.40 c #Conflicts: 1630000 | #Constraints: 38639
2960.62/2968.40 c #Conflicts: 1631000 | #Constraints: 39639
2960.62/2968.40 c #Conflicts: 1632000 | #Constraints: 40639
2960.62/2968.40 c #Conflicts: 1633000 | #Constraints: 41639
2960.62/2968.40 c #Conflicts: 1634000 | #Constraints: 42639
2960.62/2968.40 c #Conflicts: 1635000 | #Constraints: 43639
2960.62/2968.40 c #Conflicts: 1636000 | #Constraints: 44639
2960.62/2968.40 c #Conflicts: 1637000 | #Constraints: 45639
2960.62/2968.40 c #Conflicts: 1638000 | #Constraints: 46639
2960.62/2968.40 c #Conflicts: 1639000 | #Constraints: 47639
2960.62/2968.40 c #Conflicts: 1640000 | #Constraints: 48639
2960.62/2968.40 c #Conflicts: 1641000 | #Constraints: 49639
2960.62/2968.40 c #Conflicts: 1642000 | #Constraints: 50639
2960.62/2968.40 c INPROCESSING
2960.62/2968.40 c GARBAGE COLLECT
2960.62/2968.40 c #Conflicts: 1643000 | #Constraints: 26239
2960.62/2968.40 c #Conflicts: 1644000 | #Constraints: 27239
2960.62/2968.40 c #Conflicts: 1645000 | #Constraints: 28239
2960.62/2968.40 c #Conflicts: 1646000 | #Constraints: 29239
2960.62/2968.40 c #Conflicts: 1647000 | #Constraints: 30239
2960.62/2968.40 c #Conflicts: 1648000 | #Constraints: 31239
2960.62/2968.40 c #Conflicts: 1649000 | #Constraints: 32239
2960.62/2968.40 c #Conflicts: 1650000 | #Constraints: 33239
2960.62/2968.40 c #Conflicts: 1651000 | #Constraints: 34239
2960.62/2968.40 c #Conflicts: 1652000 | #Constraints: 35239
2960.62/2968.40 c #Conflicts: 1653000 | #Constraints: 36239
2960.62/2968.40 c #Conflicts: 1654000 | #Constraints: 37239
2960.62/2968.40 c #Conflicts: 1655000 | #Constraints: 38239
2960.62/2968.40 c #Conflicts: 1656000 | #Constraints: 39239
2960.62/2968.40 c #Conflicts: 1657000 | #Constraints: 40239
2960.62/2968.40 c #Conflicts: 1658000 | #Constraints: 41239
2960.62/2968.40 c #Conflicts: 1659000 | #Constraints: 42239
2960.62/2968.40 c #Conflicts: 1660000 | #Constraints: 43239
2960.62/2968.40 c #Conflicts: 1661000 | #Constraints: 44239
2960.62/2968.40 c #Conflicts: 1662000 | #Constraints: 45239
2960.62/2968.40 c #Conflicts: 1663000 | #Constraints: 46239
2960.62/2968.40 c #Conflicts: 1664000 | #Constraints: 47239
2960.62/2968.40 c #Conflicts: 1665000 | #Constraints: 48239
2960.62/2968.40 c #Conflicts: 1666000 | #Constraints: 49239
2960.62/2968.40 c #Conflicts: 1667000 | #Constraints: 50239
2960.62/2968.40 c #Conflicts: 1668000 | #Constraints: 51239
2960.62/2968.40 c INPROCESSING
2960.62/2968.40 c GARBAGE COLLECT
2960.62/2968.40 c #Conflicts: 1669000 | #Constraints: 26644
2960.62/2968.40 c #Conflicts: 1670000 | #Constraints: 27644
2960.62/2968.40 c #Conflicts: 1671000 | #Constraints: 28644
2960.62/2968.40 c #Conflicts: 1672000 | #Constraints: 29644
2960.62/2968.40 c #Conflicts: 1673000 | #Constraints: 30644
2960.62/2968.40 c #Conflicts: 1674000 | #Constraints: 31644
2960.62/2968.40 c #Conflicts: 1675000 | #Constraints: 32644
2960.62/2968.40 c #Conflicts: 1676000 | #Constraints: 33644
2960.62/2968.40 c #Conflicts: 1677000 | #Constraints: 34644
2960.62/2968.40 c #Conflicts: 1678000 | #Constraints: 35644
2960.62/2968.40 c #Conflicts: 1679000 | #Constraints: 36644
2960.62/2968.40 c #Conflicts: 1680000 | #Constraints: 37644
2960.62/2968.40 c #Conflicts: 1681000 | #Constraints: 38644
2960.62/2968.40 c #Conflicts: 1682000 | #Constraints: 39644
2960.62/2968.40 c #Conflicts: 1683000 | #Constraints: 40644
2960.62/2968.40 c #Conflicts: 1684000 | #Constraints: 41644
2960.62/2968.40 c #Conflicts: 1685000 | #Constraints: 42644
2960.62/2968.40 c #Conflicts: 1686000 | #Constraints: 43644
2960.62/2968.40 c #Conflicts: 1687000 | #Constraints: 44644
2960.62/2968.40 c #Conflicts: 1688000 | #Constraints: 45644
2960.62/2968.40 c #Conflicts: 1689000 | #Constraints: 46644
2960.62/2968.40 c #Conflicts: 1690000 | #Constraints: 47644
2960.62/2968.40 c #Conflicts: 1691000 | #Constraints: 48644
2960.62/2968.40 c #Conflicts: 1692000 | #Constraints: 49644
2960.62/2968.40 c #Conflicts: 1693000 | #Constraints: 50644
2960.62/2968.40 c #Conflicts: 1694000 | #Constraints: 51644
2960.62/2968.40 c INPROCESSING
2960.62/2968.40 c GARBAGE COLLECT
2960.62/2968.40 c #Conflicts: 1695000 | #Constraints: 26840
3165.85/3174.24 c #Conflicts: 1696000 | #Constraints: 27840
3165.85/3174.24 c #Conflicts: 1697000 | #Constraints: 28840
3165.85/3174.24 c #Conflicts: 1698000 | #Constraints: 29840
3165.85/3174.24 c #Conflicts: 1699000 | #Constraints: 30840
3165.85/3174.24 c #Conflicts: 1700000 | #Constraints: 31840
3165.85/3174.24 c #Conflicts: 1701000 | #Constraints: 32840
3165.85/3174.24 c #Conflicts: 1702000 | #Constraints: 33840
3165.85/3174.24 c #Conflicts: 1703000 | #Constraints: 34840
3165.85/3174.24 c #Conflicts: 1704000 | #Constraints: 35840
3165.85/3174.24 c #Conflicts: 1705000 | #Constraints: 36840
3165.85/3174.24 c #Conflicts: 1706000 | #Constraints: 37840
3165.85/3174.24 c #Conflicts: 1707000 | #Constraints: 38840
3165.85/3174.24 c #Conflicts: 1708000 | #Constraints: 39840
3165.85/3174.24 c #Conflicts: 1709000 | #Constraints: 40840
3165.85/3174.24 c #Conflicts: 1710000 | #Constraints: 41840
3165.85/3174.24 c #Conflicts: 1711000 | #Constraints: 42840
3165.85/3174.24 c #Conflicts: 1712000 | #Constraints: 43840
3165.85/3174.24 c #Conflicts: 1713000 | #Constraints: 44840
3165.85/3174.24 c #Conflicts: 1714000 | #Constraints: 45840
3165.85/3174.24 c #Conflicts: 1715000 | #Constraints: 46840
3165.85/3174.24 c #Conflicts: 1716000 | #Constraints: 47840
3165.85/3174.24 c #Conflicts: 1717000 | #Constraints: 48840
3165.85/3174.24 c #Conflicts: 1718000 | #Constraints: 49840
3165.85/3174.24 c #Conflicts: 1719000 | #Constraints: 50840
3165.85/3174.24 c #Conflicts: 1720000 | #Constraints: 51840
3165.85/3174.24 c INPROCESSING
3165.85/3174.24 c GARBAGE COLLECT
3165.85/3174.24 c #Conflicts: 1721000 | #Constraints: 26837
3165.85/3174.24 c #Conflicts: 1722000 | #Constraints: 27837
3165.85/3174.24 c #Conflicts: 1723000 | #Constraints: 28837
3165.85/3174.24 c #Conflicts: 1724000 | #Constraints: 29837
3165.85/3174.24 c #Conflicts: 1725000 | #Constraints: 30837
3165.85/3174.24 c #Conflicts: 1726000 | #Constraints: 31837
3165.85/3174.24 c #Conflicts: 1727000 | #Constraints: 32837
3165.85/3174.24 c #Conflicts: 1728000 | #Constraints: 33837
3165.85/3174.24 c #Conflicts: 1729000 | #Constraints: 34837
3165.85/3174.24 c #Conflicts: 1730000 | #Constraints: 35837
3165.85/3174.24 c #Conflicts: 1731000 | #Constraints: 36837
3165.85/3174.24 c #Conflicts: 1732000 | #Constraints: 37837
3165.85/3174.24 c #Conflicts: 1733000 | #Constraints: 38837
3165.85/3174.24 c #Conflicts: 1734000 | #Constraints: 39837
3165.85/3174.24 c #Conflicts: 1735000 | #Constraints: 40837
3165.85/3174.24 c #Conflicts: 1736000 | #Constraints: 41837
3165.85/3174.24 c #Conflicts: 1737000 | #Constraints: 42837
3165.85/3174.24 c #Conflicts: 1738000 | #Constraints: 43837
3165.85/3174.24 c #Conflicts: 1739000 | #Constraints: 44837
3165.85/3174.24 c #Conflicts: 1740000 | #Constraints: 45837
3165.85/3174.24 c #Conflicts: 1741000 | #Constraints: 46837
3165.85/3174.24 c #Conflicts: 1742000 | #Constraints: 47837
3165.85/3174.24 c #Conflicts: 1743000 | #Constraints: 48837
3165.85/3174.24 c #Conflicts: 1744000 | #Constraints: 49837
3165.85/3174.24 c #Conflicts: 1745000 | #Constraints: 50837
3165.85/3174.24 c #Conflicts: 1746000 | #Constraints: 51837
3165.85/3174.24 c INPROCESSING
3165.85/3174.24 c GARBAGE COLLECT
3165.85/3174.24 c #Conflicts: 1747000 | #Constraints: 26634
3165.85/3174.24 c #Conflicts: 1748000 | #Constraints: 27634
3165.85/3174.24 c #Conflicts: 1749000 | #Constraints: 28634
3165.85/3174.24 c #Conflicts: 1750000 | #Constraints: 29634
3165.85/3174.24 c #Conflicts: 1751000 | #Constraints: 30634
3165.85/3174.24 c #Conflicts: 1752000 | #Constraints: 31634
3165.85/3174.24 c #Conflicts: 1753000 | #Constraints: 32634
3165.85/3174.24 c #Conflicts: 1754000 | #Constraints: 33634
3165.85/3174.24 c #Conflicts: 1755000 | #Constraints: 34634
3165.85/3174.24 c #Conflicts: 1756000 | #Constraints: 35634
3165.85/3174.24 c #Conflicts: 1757000 | #Constraints: 36634
3165.85/3174.24 c #Conflicts: 1758000 | #Constraints: 37634
3165.85/3174.24 c #Conflicts: 1759000 | #Constraints: 38634
3165.85/3174.24 c #Conflicts: 1760000 | #Constraints: 39634
3165.85/3174.24 c #Conflicts: 1761000 | #Constraints: 40634
3165.85/3174.24 c #Conflicts: 1762000 | #Constraints: 41634
3165.85/3174.24 c #Conflicts: 1763000 | #Constraints: 42634
3165.85/3174.24 c #Conflicts: 1764000 | #Constraints: 43634
3165.85/3174.24 c #Conflicts: 1765000 | #Constraints: 44634
3165.85/3174.24 c #Conflicts: 1766000 | #Constraints: 45634
3165.85/3174.24 c #Conflicts: 1767000 | #Constraints: 46634
3165.85/3174.24 c #Conflicts: 1768000 | #Constraints: 47634
3165.85/3174.24 c #Conflicts: 1769000 | #Constraints: 48634
3165.85/3174.24 c #Conflicts: 1770000 | #Constraints: 49634
3165.85/3174.24 c #Conflicts: 1771000 | #Constraints: 50634
3165.85/3174.24 c #Conflicts: 1772000 | #Constraints: 51634
3165.85/3174.24 c #Conflicts: 1773000 | #Constraints: 52634
3375.46/3384.43 c INPROCESSING
3375.46/3384.43 c GARBAGE COLLECT
3375.46/3384.43 c #Conflicts: 1774000 | #Constraints: 27235
3375.46/3384.43 c #Conflicts: 1775000 | #Constraints: 28235
3375.46/3384.43 c #Conflicts: 1776000 | #Constraints: 29235
3375.46/3384.43 c #Conflicts: 1777000 | #Constraints: 30235
3375.46/3384.43 c #Conflicts: 1778000 | #Constraints: 31235
3375.46/3384.43 c #Conflicts: 1779000 | #Constraints: 32235
3375.46/3384.43 c #Conflicts: 1780000 | #Constraints: 33235
3375.46/3384.43 c #Conflicts: 1781000 | #Constraints: 34235
3375.46/3384.43 c #Conflicts: 1782000 | #Constraints: 35235
3375.46/3384.43 c #Conflicts: 1783000 | #Constraints: 36235
3375.46/3384.43 c #Conflicts: 1784000 | #Constraints: 37235
3375.46/3384.43 c #Conflicts: 1785000 | #Constraints: 38235
3375.46/3384.43 c #Conflicts: 1786000 | #Constraints: 39235
3375.46/3384.43 c #Conflicts: 1787000 | #Constraints: 40235
3375.46/3384.43 c #Conflicts: 1788000 | #Constraints: 41235
3375.46/3384.43 c #Conflicts: 1789000 | #Constraints: 42235
3375.46/3384.43 c #Conflicts: 1790000 | #Constraints: 43235
3375.46/3384.43 c #Conflicts: 1791000 | #Constraints: 44235
3375.46/3384.43 c #Conflicts: 1792000 | #Constraints: 45235
3375.46/3384.43 c #Conflicts: 1793000 | #Constraints: 46235
3375.46/3384.43 c #Conflicts: 1794000 | #Constraints: 47235
3375.46/3384.43 c #Conflicts: 1795000 | #Constraints: 48235
3375.46/3384.43 c #Conflicts: 1796000 | #Constraints: 49235
3375.46/3384.43 c #Conflicts: 1797000 | #Constraints: 50235
3375.46/3384.43 c #Conflicts: 1798000 | #Constraints: 51235
3375.46/3384.43 c #Conflicts: 1799000 | #Constraints: 52235
3375.46/3384.43 c #Conflicts: 1800000 | #Constraints: 53235
3375.46/3384.43 c INPROCESSING
3375.46/3384.43 c GARBAGE COLLECT
3375.46/3384.43 c #Conflicts: 1801000 | #Constraints: 27633
3375.46/3384.43 c #Conflicts: 1802000 | #Constraints: 28633
3375.46/3384.43 c #Conflicts: 1803000 | #Constraints: 29633
3375.46/3384.43 c #Conflicts: 1804000 | #Constraints: 30633
3375.46/3384.43 c #Conflicts: 1805000 | #Constraints: 31633
3375.46/3384.43 c #Conflicts: 1806000 | #Constraints: 32633
3375.46/3384.43 c #Conflicts: 1807000 | #Constraints: 33633
3375.46/3384.43 c #Conflicts: 1808000 | #Constraints: 34633
3375.46/3384.43 c #Conflicts: 1809000 | #Constraints: 35633
3375.46/3384.43 c #Conflicts: 1810000 | #Constraints: 36633
3375.46/3384.43 c #Conflicts: 1811000 | #Constraints: 37633
3375.46/3384.43 c #Conflicts: 1812000 | #Constraints: 38633
3375.46/3384.43 c #Conflicts: 1813000 | #Constraints: 39633
3375.46/3384.43 c #Conflicts: 1814000 | #Constraints: 40633
3375.46/3384.43 c #Conflicts: 1815000 | #Constraints: 41633
3375.46/3384.43 c #Conflicts: 1816000 | #Constraints: 42633
3375.46/3384.43 c #Conflicts: 1817000 | #Constraints: 43633
3375.46/3384.43 c #Conflicts: 1818000 | #Constraints: 44633
3375.46/3384.43 c #Conflicts: 1819000 | #Constraints: 45633
3375.46/3384.43 c #Conflicts: 1820000 | #Constraints: 46633
3375.46/3384.43 c #Conflicts: 1821000 | #Constraints: 47633
3375.46/3384.43 c #Conflicts: 1822000 | #Constraints: 48633
3375.46/3384.43 c #Conflicts: 1823000 | #Constraints: 49633
3375.46/3384.43 c #Conflicts: 1824000 | #Constraints: 50633
3375.46/3384.43 c #Conflicts: 1825000 | #Constraints: 51633
3375.46/3384.43 c #Conflicts: 1826000 | #Constraints: 52633
3375.46/3384.43 c #Conflicts: 1827000 | #Constraints: 53633
3375.46/3384.43 c INPROCESSING
3375.46/3384.43 c GARBAGE COLLECT
3375.46/3384.43 c #Conflicts: 1828000 | #Constraints: 27838
3375.46/3384.43 c #Conflicts: 1829000 | #Constraints: 28838
3375.46/3384.43 c #Conflicts: 1830000 | #Constraints: 29838
3375.46/3384.43 c #Conflicts: 1831000 | #Constraints: 30838
3375.46/3384.43 c #Conflicts: 1832000 | #Constraints: 31838
3375.46/3384.43 c #Conflicts: 1833000 | #Constraints: 32838
3375.46/3384.43 c #Conflicts: 1834000 | #Constraints: 33838
3375.46/3384.43 c #Conflicts: 1835000 | #Constraints: 34838
3375.46/3384.43 c #Conflicts: 1836000 | #Constraints: 35838
3375.46/3384.43 c #Conflicts: 1837000 | #Constraints: 36838
3375.46/3384.43 c #Conflicts: 1838000 | #Constraints: 37838
3375.46/3384.43 c #Conflicts: 1839000 | #Constraints: 38838
3375.46/3384.43 c #Conflicts: 1840000 | #Constraints: 39838
3375.46/3384.43 c #Conflicts: 1841000 | #Constraints: 40838
3375.46/3384.43 c #Conflicts: 1842000 | #Constraints: 41838
3375.46/3384.43 c #Conflicts: 1843000 | #Constraints: 42838
3375.46/3384.43 c #Conflicts: 1844000 | #Constraints: 43838
3375.46/3384.43 c #Conflicts: 1845000 | #Constraints: 44838
3375.46/3384.43 c #Conflicts: 1846000 | #Constraints: 45838
3375.46/3384.43 c #Conflicts: 1847000 | #Constraints: 46838
3375.46/3384.43 c #Conflicts: 1848000 | #Constraints: 47838
3375.46/3384.43 c #Conflicts: 1849000 | #Constraints: 48838
3589.47/3599.01 c #Conflicts: 1850000 | #Constraints: 49838
3589.47/3599.01 c #Conflicts: 1851000 | #Constraints: 50838
3589.47/3599.01 c #Conflicts: 1852000 | #Constraints: 51838
3589.47/3599.01 c #Conflicts: 1853000 | #Constraints: 52838
3589.47/3599.01 c #Conflicts: 1854000 | #Constraints: 53838
3589.47/3599.01 c INPROCESSING
3589.47/3599.01 c GARBAGE COLLECT
3589.47/3599.01 c #Conflicts: 1855000 | #Constraints: 27838
3589.47/3599.01 c #Conflicts: 1856000 | #Constraints: 28838
3589.47/3599.01 c #Conflicts: 1857000 | #Constraints: 29838
3589.47/3599.01 c #Conflicts: 1858000 | #Constraints: 30838
3589.47/3599.01 c #Conflicts: 1859000 | #Constraints: 31838
3589.47/3599.01 c #Conflicts: 1860000 | #Constraints: 32838
3589.47/3599.01 c #Conflicts: 1861000 | #Constraints: 33838
3589.47/3599.01 c #Conflicts: 1862000 | #Constraints: 34838
3589.47/3599.01 c #Conflicts: 1863000 | #Constraints: 35838
3589.47/3599.01 c #Conflicts: 1864000 | #Constraints: 36838
3589.47/3599.01 c #Conflicts: 1865000 | #Constraints: 37838
3589.47/3599.01 c #Conflicts: 1866000 | #Constraints: 38838
3589.47/3599.01 c #Conflicts: 1867000 | #Constraints: 39838
3589.47/3599.01 c #Conflicts: 1868000 | #Constraints: 40838
3589.47/3599.02 c #Conflicts: 1869000 | #Constraints: 41838
3589.47/3599.02 c #Conflicts: 1870000 | #Constraints: 42838
3589.47/3599.02 c #Conflicts: 1871000 | #Constraints: 43838
3589.47/3599.02 c #Conflicts: 1872000 | #Constraints: 44838
3589.47/3599.02 c #Conflicts: 1873000 | #Constraints: 45838
3589.47/3599.02 c #Conflicts: 1874000 | #Constraints: 46838
3589.47/3599.02 c #Conflicts: 1875000 | #Constraints: 47838
3589.47/3599.02 c #Conflicts: 1876000 | #Constraints: 48838
3589.47/3599.02 c #Conflicts: 1877000 | #Constraints: 49838
3589.47/3599.02 c #Conflicts: 1878000 | #Constraints: 50838
3589.47/3599.02 c #Conflicts: 1879000 | #Constraints: 51838
3589.47/3599.02 c #Conflicts: 1880000 | #Constraints: 52838
3589.47/3599.02 c #Conflicts: 1881000 | #Constraints: 53838
3589.47/3599.02 c INPROCESSING
3589.47/3599.02 c GARBAGE COLLECT
3589.47/3599.02 c #Conflicts: 1882000 | #Constraints: 27635
3589.47/3599.02 c #Conflicts: 1883000 | #Constraints: 28635
3589.47/3599.02 c #Conflicts: 1884000 | #Constraints: 29635
3589.47/3599.02 c #Conflicts: 1885000 | #Constraints: 30635
3589.47/3599.02 c #Conflicts: 1886000 | #Constraints: 31635
3589.47/3599.02 c #Conflicts: 1887000 | #Constraints: 32635
3589.47/3599.02 c #Conflicts: 1888000 | #Constraints: 33635
3589.47/3599.02 c #Conflicts: 1889000 | #Constraints: 34635
3589.47/3599.02 c #Conflicts: 1890000 | #Constraints: 35635
3589.47/3599.02 c #Conflicts: 1891000 | #Constraints: 36635
3589.47/3599.02 c #Conflicts: 1892000 | #Constraints: 37635
3589.47/3599.02 c #Conflicts: 1893000 | #Constraints: 38635
3589.47/3599.02 c #Conflicts: 1894000 | #Constraints: 39635
3589.47/3599.02 c #Conflicts: 1895000 | #Constraints: 40635
3589.47/3599.02 c #Conflicts: 1896000 | #Constraints: 41635
3589.47/3599.02 c #Conflicts: 1897000 | #Constraints: 42635
3589.47/3599.02 c #Conflicts: 1898000 | #Constraints: 43635
3589.47/3599.02 c #Conflicts: 1899000 | #Constraints: 44635
3589.47/3599.02 c #Conflicts: 1900000 | #Constraints: 45635
3589.47/3599.02 c #Conflicts: 1901000 | #Constraints: 46635
3589.47/3599.02 c #Conflicts: 1902000 | #Constraints: 47635
3589.47/3599.02 c #Conflicts: 1903000 | #Constraints: 48635
3589.47/3599.02 c #Conflicts: 1904000 | #Constraints: 49635
3589.47/3599.02 c #Conflicts: 1905000 | #Constraints: 50635
3589.47/3599.02 c #Conflicts: 1906000 | #Constraints: 51635
3589.47/3599.02 c #Conflicts: 1907000 | #Constraints: 52635
3589.47/3599.02 c #Conflicts: 1908000 | #Constraints: 53635
3589.47/3599.02 c #Conflicts: 1909000 | #Constraints: 54635
3589.47/3599.02 c INPROCESSING
3589.47/3599.02 c GARBAGE COLLECT
3589.47/3599.02 c #Conflicts: 1910000 | #Constraints: 28236
3589.47/3599.02 c #Conflicts: 1911000 | #Constraints: 29236
3589.47/3599.02 c #Conflicts: 1912000 | #Constraints: 30236
3589.47/3599.02 c #Conflicts: 1913000 | #Constraints: 31236
3589.47/3599.02 c #Conflicts: 1914000 | #Constraints: 32236
3589.47/3599.02 c #Conflicts: 1915000 | #Constraints: 33236
3589.47/3599.02 c #Conflicts: 1916000 | #Constraints: 34236
3589.47/3599.02 c #Conflicts: 1917000 | #Constraints: 35236
3589.47/3599.02 c #Conflicts: 1918000 | #Constraints: 36236
3589.47/3599.02 c #Conflicts: 1919000 | #Constraints: 37236
3589.47/3599.02 c #Conflicts: 1920000 | #Constraints: 38236
3589.47/3599.02 c #Conflicts: 1921000 | #Constraints: 39236
3589.47/3599.02 c #Conflicts: 1922000 | #Constraints: 40236
3589.47/3599.02 c #Conflicts: 1923000 | #Constraints: 41236
3589.47/3599.02 c #Conflicts: 1924000 | #Constraints: 42236
3589.47/3599.02 c #Conflicts: 1925000 | #Constraints: 43236
3589.47/3599.02 c #Conflicts: 1926000 | #Constraints: 44236
3600.03/3609.60 c #Conflicts: 1927000 | #Constraints: 45236
3600.03/3609.60 c #Conflicts: 1928000 | #Constraints: 46236
3600.03/3609.60 c #Conflicts: 1929000 | #Constraints: 47236
3600.03/3609.60 c Program interrupted by user.
3600.03/3609.60 c cpu time 3592.14 s
3600.03/3609.60 c deterministic time 606191200272 6.06e+11
3600.03/3609.60 c optimization time 55.34 s
3600.03/3609.60 c total solve time 3237.42 s
3600.03/3609.60 c core-guided solve time 3237.42 s
3600.03/3609.60 c propagation time 3107.21 s
3600.03/3609.60 c conflict analysis time 169.882 s
3600.03/3609.60 c propagations 28419403
3600.03/3609.60 c resolve steps 10271992
3600.03/3609.60 c decisions 3496400
3600.03/3609.60 c conflicts 1929888
3600.03/3609.60 c restarts 3769
3600.03/3609.60 c inprocessing phases 129
3600.03/3609.60 c input clauses 0
3600.03/3609.60 c input cardinalities 0
3600.03/3609.60 c input general constraints 18
3600.03/3609.60 c input average constraint length 79.00
3600.03/3609.60 c input average constraint degree 1731.44
3600.03/3609.60 c learned clauses 1069884
3600.03/3609.60 c learned cardinalities 0
3600.03/3609.60 c learned general constraints 860004
3600.03/3609.60 c learned average constraint length 64.64
3600.03/3609.60 c learned average constraint degree 1152876.51
3600.03/3609.60 c watched constraints 841045
3600.03/3609.60 c counting constraints 18977
3600.03/3609.60 c gcd simplifications 949771
3600.03/3609.60 c detected cardinalities 0
3600.03/3609.60 c weakened non-implied lits 51123705
3600.03/3609.60 c weakened non-implying lits 2131976
3600.03/3609.60 c original variables 172
3600.03/3609.60 c clausal propagations 365040
3600.03/3609.60 c cardinality propagations 0
3600.03/3609.60 c watched propagations 19323419
3600.03/3609.60 c counting propagations 7244738
3600.03/3609.60 c watch lookups 30876870035
3600.03/3609.60 c watch backjump lookups 15169416678
3600.03/3609.60 c watch checks 475069958597
3600.03/3609.60 c propagation checks 83921164652
3600.03/3609.60 c constraint additions 1088028949
3600.03/3609.60 c trail pops 33845557
3600.03/3609.60 c formula constraints 14
3600.03/3609.60 c learned constraints 1929888
3600.03/3609.60 c bound constraints 4
3600.03/3609.60 c core-guided constraints 0
3600.03/3609.60 c encountered formula constraints 2432758
3600.03/3609.60 c encountered learned constraints 9767972
3600.03/3609.60 c encountered bound constraints 1150
3600.03/3609.60 c encountered core-guided constraints 0
3600.03/3609.60 c LP total time 0 s
3600.03/3609.60 c LP solve time 0 s
3600.03/3609.60 c LP constraints added 0
3600.03/3609.60 c LP constraints removed 0
3600.03/3609.60 c LP pivots internal 0
3600.03/3609.60 c LP pivots root 0
3600.03/3609.60 c LP calls 0
3600.03/3609.60 c LP optimalities 0
3600.03/3609.60 c LP no pivot count 0
3600.03/3609.60 c LP infeasibilities 0
3600.03/3609.60 c LP valid Farkas constraints 0
3600.03/3609.60 c LP learned Farkas constraints 0
3600.03/3609.60 c LP basis resets 0
3600.03/3609.60 c LP cycling count 0
3600.03/3609.60 c LP singular count 0
3600.03/3609.60 c LP no primal count 0
3600.03/3609.60 c LP no farkas count 0
3600.03/3609.60 c LP other issue count 0
3600.03/3609.60 c LP Gomory cuts 0
3600.03/3609.60 c LP learned cuts 0
3600.03/3609.60 c LP deleted cuts 0
3600.03/3609.60 c LP encountered Gomory constraints 0
3600.03/3609.60 c LP encountered Farkas constraints 0
3600.03/3609.60 c LP encountered learned Farkas constraints 0
3600.03/3609.60 c CG auxiliary variables introduced 0
3600.03/3609.60 c CG solutions found 3
3600.03/3609.60 c CG cores constructed 0
3600.03/3609.60 c CG core cardinality constraints returned 0
3600.03/3609.60 c CG unit cores 0
3600.03/3609.60 c CG single cores 0
3600.03/3609.60 c CG blocks removed during cardinality reduction 0
3600.03/3609.60 c CG first core best 0
3600.03/3609.60 c CG decision core best 0
3600.03/3609.60 c CG core reduction tie 0
3600.03/3609.60 c CG core degree average 0.00
3600.03/3609.60 c CG core slack average 0.00
3600.03/3609.60 c CG exhausted 0
3600.03/3609.60 c CG exhaust time 0 s
3600.03/3609.60 c CG trimmed 0
3600.03/3609.60 c CG trim time 0 s
3600.03/3609.60 c CG minimized 0
3600.03/3609.60 c CG minimize time 0 s
3600.03/3609.60 c CG am1 prop time 9.9e-05 s
3600.03/3609.60 c CG # am1s reformulated 0
3600.03/3609.60 c CG lower bound derived from am1s 0
3600.03/3609.60 c CG # clausal cores 0
3600.03/3609.60 c CG # cardinality cores 0
3600.03/3609.60 c CG # pb cores 0
3600.03/3609.60 c CG # pb reforms 0
3600.03/3609.60 c CG # cores discarded because of pb reform 0
3600.03/3609.60 d LOWERBOUND 0
3600.03/3609.60 d NCORES 0
3600.03/3609.60 d NPBCORES 0
3600.03/3609.60 d NPBREFORM 0
3600.03/3609.60 d NTRIMMED 0
3600.03/3609.60 d NEXHAUSTED 0
3600.03/3609.60 d NAM1S 0
3600.03/3609.60 d AM1LB 0
3600.03/3609.60 c [Papilo Statistics]
3600.03/3609.60 c prepro time 0.000372487s
3600.03/3609.60 c # tsx applied 7
3600.03/3609.60 c # tsx conflicts 0
3600.03/3609.60 c # bound changes 0
3600.03/3609.60 c # side changes 7
3600.03/3609.60 c # coef changes 0
3600.03/3609.60 c # rounds 2
3600.03/3609.60 c # deted vars 0
3600.03/3609.60 c # deted constrs 7
3600.03/3609.60 c # consecutive rounds of only bound changes 0
3600.03/3609.60 c [STEP] postprocessing with Papilo
3600.03/3609.60 o 32
3600.03/3609.60 s SATISFIABLE
3600.03/3609.60 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 x116 x117 -x118 x119 x120 -x121 x122 x123 x124 -x125 x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 x140 x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 x150 -x151 x152 x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 x171 -x172
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: 63708 MiB (62124 MiB free)
memory of node 1: 64465 MiB (63559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528964-1752257741/watcher-4528964-1752257741 -o /tmp/evaluation-result-4528964-1752257741/solver-4528964-1752257741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122694 --watchdog 3760 mixed-bag HOME/instance-4528964-1752257741.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=123395, runsolver pid=123392
[startup+0.100065 s]*
/proc/loadavg: 4.01 4.14 4.10 5/263 123396
/proc/meminfo: memFree=128699988/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=105452 memory=31488 CPUtime=0.08 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 4056 0 0 0 8 0 0 0 20 0 1 0 141451552 107982848 7872 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 26363 7872 4288 2834 0 8568 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 105452 KiB
Current children cumulated memory: 31488 KiB
[startup+0.206108 s]*
/proc/loadavg: 4.01 4.14 4.10 5/263 123396
/proc/meminfo: memFree=128698224/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=109952 memory=35968 CPUtime=0.19 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 5199 0 0 0 18 1 0 0 20 0 1 0 141451552 112590848 8992 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 27488 8992 4288 2834 0 9693 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 35968 KiB
[startup+0.306015 s]*
/proc/loadavg: 4.01 4.14 4.10 5/263 123396
/proc/meminfo: memFree=128689484/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=109952 memory=35968 CPUtime=0.29 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 5199 0 0 0 28 1 0 0 20 0 1 0 141451552 112590848 8992 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 27488 8992 4288 2834 0 9693 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 35968 KiB
[startup+0.700139 s]
/proc/loadavg: 4.01 4.14 4.10 5/263 123396
/proc/meminfo: memFree=128687468/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=116764 memory=43392 CPUtime=0.68 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 7042 0 0 0 67 1 0 0 20 0 1 0 141451552 119566336 10848 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 29191 10848 4288 2834 0 11396 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116764 KiB
Current children cumulated memory: 43392 KiB
[startup+1.50014 s]
/proc/loadavg: 4.01 4.14 4.10 5/263 123396
/proc/meminfo: memFree=128674364/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=119700 memory=46336 CPUtime=1.47 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 7815 0 0 0 146 1 0 0 20 0 1 0 141451552 122572800 11584 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 29925 11584 4288 2834 0 12130 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 119700 KiB
Current children cumulated memory: 46336 KiB
[startup+3.10591 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128669460/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=127244 memory=53120 CPUtime=3.08 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 9727 0 0 0 306 2 0 0 20 0 1 0 141451552 130297856 13280 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 31811 13280 4288 2834 0 14016 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127244 KiB
Current children cumulated memory: 53120 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128629416/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=137108 memory=62976 CPUtime=6.26 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 12185 0 0 0 624 2 0 0 20 0 1 0 141451552 140398592 15744 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 34277 15744 4288 2834 0 16482 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 137108 KiB
Current children cumulated memory: 62976 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128572840/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=159088 memory=83840 CPUtime=12.63 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 17351 0 0 0 1260 3 0 0 20 0 1 0 141451552 162906112 20960 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 39772 20960 4384 2834 0 21977 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 159088 KiB
Current children cumulated memory: 83840 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.14 4.11 5/262 123397
/proc/meminfo: memFree=128485392/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=189688 memory=112416 CPUtime=25.39 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 24951 0 0 0 2534 5 0 0 20 0 1 0 141451552 194240512 28104 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 47422 28104 4384 2834 0 29627 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 189688 KiB
Current children cumulated memory: 112416 KiB
[startup+51.1061 s]
/proc/loadavg: 4.18 4.16 4.11 5/262 123397
/proc/meminfo: memFree=128300012/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=246104 memory=166560 CPUtime=50.91 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 38503 0 0 0 5083 8 0 0 20 0 1 0 141451552 252010496 41640 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 61526 41640 4384 2834 0 43731 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 246104 KiB
Current children cumulated memory: 166560 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/263 123400
/proc/meminfo: memFree=128020740/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=330492 memory=244552 CPUtime=101.93 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 59129 0 0 0 10180 13 0 0 20 0 1 0 141451552 338423808 61138 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 82623 61138 4384 2834 0 64828 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 330492 KiB
Current children cumulated memory: 244552 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/266 123411
/proc/meminfo: memFree=127810308/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=382632 memory=293400 CPUtime=161.72 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 72053 0 0 0 16156 16 0 0 20 0 1 0 141451552 391815168 73350 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 95658 73350 4384 2834 0 77863 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 382632 KiB
Current children cumulated memory: 293400 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/266 123413
/proc/meminfo: memFree=127552972/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=470148 memory=379544 CPUtime=221.53 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 93606 0 0 0 22131 22 0 0 20 0 1 0 141451552 481431552 94886 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 117537 94886 4384 2834 0 99742 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 470148 KiB
Current children cumulated memory: 379544 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/266 123415
/proc/meminfo: memFree=127377464/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=528144 memory=436684 CPUtime=281.33 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 107700 0 0 0 28108 25 0 0 20 0 1 0 141451552 540819456 109171 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 132036 109171 4384 2834 0 114241 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 528144 KiB
Current children cumulated memory: 436684 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 123417
/proc/meminfo: memFree=127947824/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=274948 memory=208584 CPUtime=341.17 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 110770 0 0 0 34049 68 0 0 20 0 1 0 141451552 281546752 52146 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 68737 52146 4576 2834 0 50942 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 274948 KiB
Current children cumulated memory: 208584 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 123419
/proc/meminfo: memFree=127949092/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=279368 memory=210248 CPUtime=401.02 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 111191 0 0 0 39996 106 0 0 20 0 1 0 141451552 286072832 52562 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 69842 52562 4576 2834 0 52047 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 279368 KiB
Current children cumulated memory: 210248 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 123421
/proc/meminfo: memFree=127934376/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=279368 memory=213500 CPUtime=460.86 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 111266 0 0 0 45945 141 0 0 20 0 1 0 141451552 286072832 53375 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 69842 53375 4576 2834 0 52047 0
################
# More data... #
################
Current children cumulated memory: 230772 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 123547
/proc/meminfo: memFree=127928100/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=2854.81 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112360 0 0 0 284808 673 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 2854.81 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 123550
/proc/meminfo: memFree=127922908/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=2914.66 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112360 0 0 0 290782 684 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 123552
/proc/meminfo: memFree=127925848/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=2974.48 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112360 0 0 0 296755 693 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3042.3 s]
/proc/loadavg: 4.32 4.14 4.11 5/262 123554
/proc/meminfo: memFree=127921136/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3034.32 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 302729 703 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3102.3 s]
/proc/loadavg: 4.26 4.17 4.12 5/263 123557
/proc/meminfo: memFree=127921280/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3094.15 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 308703 712 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/264 123566
/proc/meminfo: memFree=127921504/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3153.99 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 314676 723 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 123568
/proc/meminfo: memFree=127921496/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3213.82 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 320650 732 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 123570
/proc/meminfo: memFree=127921144/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3273.65 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 326624 741 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/264 123572
/proc/meminfo: memFree=127921744/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3333.48 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 332598 750 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/263 123574
/proc/meminfo: memFree=127916760/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3393.31 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 338574 757 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 123576
/proc/meminfo: memFree=127917632/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3453.14 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 344549 765 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 123578
/proc/meminfo: memFree=127916792/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3512.98 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 350525 773 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/263 123580
/proc/meminfo: memFree=127917836/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3572.81 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 356497 784 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.17 4.17 4.11 5/265 123718
/proc/meminfo: memFree=126745568/131249996 swapFree=33006296/33010684
[pid=123395] ppid=123392 vsize=298224 memory=232836 CPUtime=3600.03 cores=0,2
/proc/123395/stat : 123395 (mixed-bag) R 123392 123395 122684 0 -1 4194304 112417 0 0 0 359214 789 0 0 20 0 1 0 141451552 305381376 58209 18446744073709551615 4235264 15840557 140733278053040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 51609600 140733278058906 140733278058983 140733278058983 140733278064587 0
/proc/123395/statm: 74556 58209 4576 2834 0 56761 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 298224 KiB
Current children cumulated memory: 232836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 123395 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.14 s, system=7.89448 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.04
CPU user time (s): 3592.14
CPU system time (s): 7.89448
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 542184
Max. memory (cumulated for all children) (KiB): 446156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.14
system time used= 7.89448
maximum resident set size= 446156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112451
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= 126
involuntary context switches= 4693
# summary of solver processes directly reported to runsolver:
# pid: 123395
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.14
# total CPU system time (s): 7.89448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.90858 second user time and 15.6203 second system time
The end
Begin job on nodeC015 at 2025-07-11 20:15:41
IDJOB=4528964
IDBENCH=147611
IDSOLVER=3386
FILE ID=nodeC015/4528964-1752257741
RUNJOBID= nodeC015-1752253809-122694
SLURM_JOB_ID= 9682590
Free space on /tmp= 432372 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528964-1752257741/watcher-4528964-1752257741 -o /tmp/evaluation-result-4528964-1752257741/solver-4528964-1752257741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122694 --watchdog 3760 mixed-bag HOME/instance-4528964-1752257741.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=274572916
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.923
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 : 7000.14
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 : 3600.064
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.082
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.916
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 : 7000.14
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 : 3600.066
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 : 7000.14
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 : 3600.069
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 : 7000.14
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 : 7000.14
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 : 3579.814
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128699988 kB
MemAvailable: 129621968 kB
Buffers: 1508 kB
Cached: 1701116 kB
SwapCached: 3880 kB
Active: 453400 kB
Inactive: 1451692 kB
Active(anon): 167904 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1402968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 46388 kB
Writeback: 0 kB
AnonPages: 202084 kB
Mapped: 136568 kB
Shmem: 14152 kB
KReclaimable: 145508 kB
Slab: 239060 kB
SReclaimable: 145508 kB
SUnreclaim: 93552 kB
KernelStack: 4220 kB
PageTables: 3804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 590892 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432268 MiB
End job on nodeC015 at 2025-07-11 21:15:50