0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 2877 #constraints 7869
0.00/0.05 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.036342
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.036557
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.051639
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.05372
0.09/0.10 c GLOBAL bounds - >= 0 @ 0.080063
0.09/0.16 c GLOBAL bounds - >= 0 @ 0.135669
0.09/0.17 c GLOBAL bounds - >= 0 @ 0.139229
0.09/0.17 c GLOBAL bounds - >= 0 @ 0.141316
0.49/0.59 c #Conflicts: 1000 | #Constraints: 1954
0.49/0.59 c #Conflicts: 2000 | #Constraints: 2954
0.49/0.59 c INPROCESSING
0.49/0.59 c GARBAGE COLLECT
0.49/0.59 c #Conflicts: 3000 | #Constraints: 2959
0.49/0.59 c GLOBAL bounds - >= 0 @ 0.542748
0.87/0.90 c #Conflicts: 4000 | #Constraints: 4065
0.87/0.90 c INPROCESSING
0.87/0.90 c GARBAGE COLLECT
0.87/0.90 c GLOBAL bounds - >= 0 @ 0.836046
25.31/25.48 c #Conflicts: 5000 | #Constraints: 3572
25.31/25.48 c #Conflicts: 6000 | #Constraints: 4572
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 7000 | #Constraints: 3573
25.31/25.48 c #Conflicts: 8000 | #Constraints: 4573
25.31/25.48 c #Conflicts: 9000 | #Constraints: 5573
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 10000 | #Constraints: 4272
25.31/25.48 c #Conflicts: 11000 | #Constraints: 5272
25.31/25.48 c #Conflicts: 12000 | #Constraints: 6272
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 13000 | #Constraints: 4722
25.31/25.48 c #Conflicts: 14000 | #Constraints: 5722
25.31/25.48 c #Conflicts: 15000 | #Constraints: 6722
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 16000 | #Constraints: 4947
25.31/25.48 c #Conflicts: 17000 | #Constraints: 5947
25.31/25.48 c #Conflicts: 18000 | #Constraints: 6947
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 19000 | #Constraints: 4962
25.31/25.48 c #Conflicts: 20000 | #Constraints: 5962
25.31/25.48 c #Conflicts: 21000 | #Constraints: 6962
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 22000 | #Constraints: 4767
25.31/25.48 c #Conflicts: 23000 | #Constraints: 5767
25.31/25.48 c #Conflicts: 24000 | #Constraints: 6767
25.31/25.48 c #Conflicts: 25000 | #Constraints: 7767
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 26000 | #Constraints: 5368
25.31/25.48 c #Conflicts: 27000 | #Constraints: 6368
25.31/25.48 c #Conflicts: 28000 | #Constraints: 7368
25.31/25.48 c #Conflicts: 29000 | #Constraints: 8368
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 30000 | #Constraints: 5770
25.31/25.48 c #Conflicts: 31000 | #Constraints: 6770
25.31/25.48 c #Conflicts: 32000 | #Constraints: 7770
25.31/25.48 c #Conflicts: 33000 | #Constraints: 8770
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 34000 | #Constraints: 5971
25.31/25.48 c #Conflicts: 35000 | #Constraints: 6971
25.31/25.48 c #Conflicts: 36000 | #Constraints: 7971
25.31/25.48 c #Conflicts: 37000 | #Constraints: 8971
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 38000 | #Constraints: 5971
25.31/25.48 c #Conflicts: 39000 | #Constraints: 6971
25.31/25.48 c #Conflicts: 40000 | #Constraints: 7971
25.31/25.48 c #Conflicts: 41000 | #Constraints: 8971
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 42000 | #Constraints: 5772
25.31/25.48 c #Conflicts: 43000 | #Constraints: 6772
25.31/25.48 c #Conflicts: 44000 | #Constraints: 7772
25.31/25.48 c #Conflicts: 45000 | #Constraints: 8772
25.31/25.48 c #Conflicts: 46000 | #Constraints: 9772
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 47000 | #Constraints: 6374
25.31/25.48 c #Conflicts: 48000 | #Constraints: 7374
25.31/25.48 c #Conflicts: 49000 | #Constraints: 8374
25.31/25.48 c #Conflicts: 50000 | #Constraints: 9374
25.31/25.48 c #Conflicts: 51000 | #Constraints: 10374
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 52000 | #Constraints: 6775
25.31/25.48 c #Conflicts: 53000 | #Constraints: 7775
25.31/25.48 c #Conflicts: 54000 | #Constraints: 8775
25.31/25.48 c #Conflicts: 55000 | #Constraints: 9775
25.31/25.48 c #Conflicts: 56000 | #Constraints: 10775
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 57000 | #Constraints: 6975
25.31/25.48 c #Conflicts: 58000 | #Constraints: 7975
25.31/25.48 c #Conflicts: 59000 | #Constraints: 8975
25.31/25.48 c #Conflicts: 60000 | #Constraints: 9975
25.31/25.48 c #Conflicts: 61000 | #Constraints: 10975
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 62000 | #Constraints: 6973
25.31/25.48 c #Conflicts: 63000 | #Constraints: 7973
25.31/25.48 c #Conflicts: 64000 | #Constraints: 8973
25.31/25.48 c #Conflicts: 65000 | #Constraints: 9973
25.31/25.48 c #Conflicts: 66000 | #Constraints: 10973
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
25.31/25.48 c #Conflicts: 67000 | #Constraints: 6774
25.31/25.48 c #Conflicts: 68000 | #Constraints: 7774
25.31/25.48 c #Conflicts: 69000 | #Constraints: 8774
25.31/25.48 c #Conflicts: 70000 | #Constraints: 9774
25.31/25.48 c #Conflicts: 71000 | #Constraints: 10774
25.31/25.48 c #Conflicts: 72000 | #Constraints: 11774
25.31/25.48 c INPROCESSING
25.31/25.48 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 73000 | #Constraints: 7374
68.69/68.95 c #Conflicts: 74000 | #Constraints: 8374
68.69/68.95 c #Conflicts: 75000 | #Constraints: 9374
68.69/68.95 c #Conflicts: 76000 | #Constraints: 10374
68.69/68.95 c #Conflicts: 77000 | #Constraints: 11374
68.69/68.95 c #Conflicts: 78000 | #Constraints: 12374
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 79000 | #Constraints: 7772
68.69/68.95 c #Conflicts: 80000 | #Constraints: 8772
68.69/68.95 c #Conflicts: 81000 | #Constraints: 9772
68.69/68.95 c #Conflicts: 82000 | #Constraints: 10772
68.69/68.95 c #Conflicts: 83000 | #Constraints: 11772
68.69/68.95 c #Conflicts: 84000 | #Constraints: 12772
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 85000 | #Constraints: 7972
68.69/68.95 c #Conflicts: 86000 | #Constraints: 8972
68.69/68.95 c #Conflicts: 87000 | #Constraints: 9972
68.69/68.95 c #Conflicts: 88000 | #Constraints: 10972
68.69/68.95 c #Conflicts: 89000 | #Constraints: 11972
68.69/68.95 c #Conflicts: 90000 | #Constraints: 12972
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 91000 | #Constraints: 7971
68.69/68.95 c #Conflicts: 92000 | #Constraints: 8971
68.69/68.95 c #Conflicts: 93000 | #Constraints: 9971
68.69/68.95 c #Conflicts: 94000 | #Constraints: 10971
68.69/68.95 c #Conflicts: 95000 | #Constraints: 11971
68.69/68.95 c #Conflicts: 96000 | #Constraints: 12971
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 97000 | #Constraints: 7774
68.69/68.95 c #Conflicts: 98000 | #Constraints: 8774
68.69/68.95 c #Conflicts: 99000 | #Constraints: 9774
68.69/68.95 c #Conflicts: 100000 | #Constraints: 10774
68.69/68.95 c #Conflicts: 101000 | #Constraints: 11774
68.69/68.95 c #Conflicts: 102000 | #Constraints: 12774
68.69/68.95 c #Conflicts: 103000 | #Constraints: 13774
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 104000 | #Constraints: 8373
68.69/68.95 c #Conflicts: 105000 | #Constraints: 9373
68.69/68.95 c #Conflicts: 106000 | #Constraints: 10373
68.69/68.95 c #Conflicts: 107000 | #Constraints: 11373
68.69/68.95 c #Conflicts: 108000 | #Constraints: 12373
68.69/68.95 c #Conflicts: 109000 | #Constraints: 13373
68.69/68.95 c #Conflicts: 110000 | #Constraints: 14373
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 111000 | #Constraints: 8774
68.69/68.95 c #Conflicts: 112000 | #Constraints: 9774
68.69/68.95 c #Conflicts: 113000 | #Constraints: 10774
68.69/68.95 c #Conflicts: 114000 | #Constraints: 11774
68.69/68.95 c #Conflicts: 115000 | #Constraints: 12774
68.69/68.95 c #Conflicts: 116000 | #Constraints: 13774
68.69/68.95 c #Conflicts: 117000 | #Constraints: 14774
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 118000 | #Constraints: 8976
68.69/68.95 c #Conflicts: 119000 | #Constraints: 9976
68.69/68.95 c #Conflicts: 120000 | #Constraints: 10976
68.69/68.95 c #Conflicts: 121000 | #Constraints: 11976
68.69/68.95 c #Conflicts: 122000 | #Constraints: 12976
68.69/68.95 c #Conflicts: 123000 | #Constraints: 13976
68.69/68.95 c #Conflicts: 124000 | #Constraints: 14976
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 125000 | #Constraints: 8974
68.69/68.95 c #Conflicts: 126000 | #Constraints: 9974
68.69/68.95 c #Conflicts: 127000 | #Constraints: 10974
68.69/68.95 c #Conflicts: 128000 | #Constraints: 11974
68.69/68.95 c #Conflicts: 129000 | #Constraints: 12974
68.69/68.95 c #Conflicts: 130000 | #Constraints: 13974
68.69/68.95 c #Conflicts: 131000 | #Constraints: 14974
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 132000 | #Constraints: 8772
68.69/68.95 c #Conflicts: 133000 | #Constraints: 9772
68.69/68.95 c #Conflicts: 134000 | #Constraints: 10772
68.69/68.95 c #Conflicts: 135000 | #Constraints: 11772
68.69/68.95 c #Conflicts: 136000 | #Constraints: 12772
68.69/68.95 c #Conflicts: 137000 | #Constraints: 13772
68.69/68.95 c #Conflicts: 138000 | #Constraints: 14772
68.69/68.95 c #Conflicts: 139000 | #Constraints: 15772
68.69/68.95 c INPROCESSING
68.69/68.95 c GARBAGE COLLECT
68.69/68.95 c #Conflicts: 140000 | #Constraints: 9371
68.69/68.95 c #Conflicts: 141000 | #Constraints: 10371
68.69/68.95 c #Conflicts: 142000 | #Constraints: 11371
68.69/68.95 c #Conflicts: 143000 | #Constraints: 12371
68.69/68.95 c #Conflicts: 144000 | #Constraints: 13371
68.69/68.95 c #Conflicts: 145000 | #Constraints: 14371
126.63/127.03 c #Conflicts: 146000 | #Constraints: 15371
126.63/127.03 c #Conflicts: 147000 | #Constraints: 16371
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 148000 | #Constraints: 9772
126.63/127.03 c #Conflicts: 149000 | #Constraints: 10772
126.63/127.03 c #Conflicts: 150000 | #Constraints: 11772
126.63/127.03 c #Conflicts: 151000 | #Constraints: 12772
126.63/127.03 c #Conflicts: 152000 | #Constraints: 13772
126.63/127.03 c #Conflicts: 153000 | #Constraints: 14772
126.63/127.03 c #Conflicts: 154000 | #Constraints: 15772
126.63/127.03 c #Conflicts: 155000 | #Constraints: 16772
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 156000 | #Constraints: 9973
126.63/127.03 c #Conflicts: 157000 | #Constraints: 10973
126.63/127.03 c #Conflicts: 158000 | #Constraints: 11973
126.63/127.03 c #Conflicts: 159000 | #Constraints: 12973
126.63/127.03 c #Conflicts: 160000 | #Constraints: 13973
126.63/127.03 c #Conflicts: 161000 | #Constraints: 14973
126.63/127.03 c #Conflicts: 162000 | #Constraints: 15973
126.63/127.03 c #Conflicts: 163000 | #Constraints: 16973
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 164000 | #Constraints: 9974
126.63/127.03 c #Conflicts: 165000 | #Constraints: 10974
126.63/127.03 c #Conflicts: 166000 | #Constraints: 11974
126.63/127.03 c #Conflicts: 167000 | #Constraints: 12974
126.63/127.03 c #Conflicts: 168000 | #Constraints: 13974
126.63/127.03 c #Conflicts: 169000 | #Constraints: 14974
126.63/127.03 c #Conflicts: 170000 | #Constraints: 15974
126.63/127.03 c #Conflicts: 171000 | #Constraints: 16974
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 172000 | #Constraints: 9771
126.63/127.03 c #Conflicts: 173000 | #Constraints: 10771
126.63/127.03 c #Conflicts: 174000 | #Constraints: 11771
126.63/127.03 c #Conflicts: 175000 | #Constraints: 12771
126.63/127.03 c #Conflicts: 176000 | #Constraints: 13771
126.63/127.03 c #Conflicts: 177000 | #Constraints: 14771
126.63/127.03 c #Conflicts: 178000 | #Constraints: 15771
126.63/127.03 c #Conflicts: 179000 | #Constraints: 16771
126.63/127.03 c #Conflicts: 180000 | #Constraints: 17771
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 181000 | #Constraints: 10372
126.63/127.03 c #Conflicts: 182000 | #Constraints: 11372
126.63/127.03 c #Conflicts: 183000 | #Constraints: 12372
126.63/127.03 c #Conflicts: 184000 | #Constraints: 13372
126.63/127.03 c #Conflicts: 185000 | #Constraints: 14372
126.63/127.03 c #Conflicts: 186000 | #Constraints: 15372
126.63/127.03 c #Conflicts: 187000 | #Constraints: 16372
126.63/127.03 c #Conflicts: 188000 | #Constraints: 17372
126.63/127.03 c #Conflicts: 189000 | #Constraints: 18372
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 190000 | #Constraints: 10774
126.63/127.03 c #Conflicts: 191000 | #Constraints: 11774
126.63/127.03 c #Conflicts: 192000 | #Constraints: 12774
126.63/127.03 c #Conflicts: 193000 | #Constraints: 13774
126.63/127.03 c #Conflicts: 194000 | #Constraints: 14774
126.63/127.03 c #Conflicts: 195000 | #Constraints: 15774
126.63/127.03 c #Conflicts: 196000 | #Constraints: 16774
126.63/127.03 c #Conflicts: 197000 | #Constraints: 17774
126.63/127.03 c #Conflicts: 198000 | #Constraints: 18774
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 199000 | #Constraints: 10974
126.63/127.03 c #Conflicts: 200000 | #Constraints: 11974
126.63/127.03 c #Conflicts: 201000 | #Constraints: 12974
126.63/127.03 c #Conflicts: 202000 | #Constraints: 13974
126.63/127.03 c #Conflicts: 203000 | #Constraints: 14974
126.63/127.03 c #Conflicts: 204000 | #Constraints: 15974
126.63/127.03 c #Conflicts: 205000 | #Constraints: 16974
126.63/127.03 c #Conflicts: 206000 | #Constraints: 17974
126.63/127.03 c #Conflicts: 207000 | #Constraints: 18974
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 208000 | #Constraints: 10974
126.63/127.03 c #Conflicts: 209000 | #Constraints: 11974
126.63/127.03 c #Conflicts: 210000 | #Constraints: 12974
126.63/127.03 c #Conflicts: 211000 | #Constraints: 13974
126.63/127.03 c #Conflicts: 212000 | #Constraints: 14974
126.63/127.03 c #Conflicts: 213000 | #Constraints: 15974
126.63/127.03 c #Conflicts: 214000 | #Constraints: 16974
126.63/127.03 c #Conflicts: 215000 | #Constraints: 17974
126.63/127.03 c #Conflicts: 216000 | #Constraints: 18974
126.63/127.03 c INPROCESSING
126.63/127.03 c GARBAGE COLLECT
126.63/127.03 c #Conflicts: 217000 | #Constraints: 10773
126.63/127.03 c #Conflicts: 218000 | #Constraints: 11773
194.63/195.23 c #Conflicts: 219000 | #Constraints: 12773
194.63/195.23 c #Conflicts: 220000 | #Constraints: 13773
194.63/195.23 c #Conflicts: 221000 | #Constraints: 14773
194.63/195.23 c #Conflicts: 222000 | #Constraints: 15773
194.63/195.23 c #Conflicts: 223000 | #Constraints: 16773
194.63/195.23 c #Conflicts: 224000 | #Constraints: 17773
194.63/195.23 c #Conflicts: 225000 | #Constraints: 18773
194.63/195.23 c #Conflicts: 226000 | #Constraints: 19773
194.63/195.23 c INPROCESSING
194.63/195.23 c GARBAGE COLLECT
194.63/195.23 c #Conflicts: 227000 | #Constraints: 11372
194.63/195.23 c #Conflicts: 228000 | #Constraints: 12372
194.63/195.23 c #Conflicts: 229000 | #Constraints: 13372
194.63/195.23 c #Conflicts: 230000 | #Constraints: 14372
194.63/195.23 c #Conflicts: 231000 | #Constraints: 15372
194.63/195.23 c #Conflicts: 232000 | #Constraints: 16372
194.63/195.23 c #Conflicts: 233000 | #Constraints: 17372
194.63/195.23 c #Conflicts: 234000 | #Constraints: 18372
194.63/195.23 c #Conflicts: 235000 | #Constraints: 19372
194.63/195.23 c #Conflicts: 236000 | #Constraints: 20372
194.63/195.23 c INPROCESSING
194.63/195.23 c GARBAGE COLLECT
194.63/195.23 c #Conflicts: 237000 | #Constraints: 11770
194.63/195.23 c #Conflicts: 238000 | #Constraints: 12770
194.63/195.23 c #Conflicts: 239000 | #Constraints: 13770
194.63/195.23 c #Conflicts: 240000 | #Constraints: 14770
194.63/195.23 c #Conflicts: 241000 | #Constraints: 15770
194.63/195.23 c #Conflicts: 242000 | #Constraints: 16770
194.63/195.23 c #Conflicts: 243000 | #Constraints: 17770
194.63/195.23 c #Conflicts: 244000 | #Constraints: 18770
194.63/195.23 c #Conflicts: 245000 | #Constraints: 19770
194.63/195.23 c #Conflicts: 246000 | #Constraints: 20770
194.63/195.23 c INPROCESSING
194.63/195.23 c GARBAGE COLLECT
194.63/195.23 c #Conflicts: 247000 | #Constraints: 11974
194.63/195.23 c #Conflicts: 248000 | #Constraints: 12974
194.63/195.23 c #Conflicts: 249000 | #Constraints: 13974
194.63/195.23 c #Conflicts: 250000 | #Constraints: 14974
194.63/195.23 c #Conflicts: 251000 | #Constraints: 15974
194.63/195.23 c #Conflicts: 252000 | #Constraints: 16974
194.63/195.23 c #Conflicts: 253000 | #Constraints: 17974
194.63/195.23 c #Conflicts: 254000 | #Constraints: 18974
194.63/195.23 c #Conflicts: 255000 | #Constraints: 19974
194.63/195.23 c #Conflicts: 256000 | #Constraints: 20974
194.63/195.23 c INPROCESSING
194.63/195.23 c GARBAGE COLLECT
194.63/195.23 c #Conflicts: 257000 | #Constraints: 11974
194.63/195.23 c #Conflicts: 258000 | #Constraints: 12974
194.63/195.23 c #Conflicts: 259000 | #Constraints: 13974
194.63/195.23 c #Conflicts: 260000 | #Constraints: 14974
194.63/195.23 c #Conflicts: 261000 | #Constraints: 15974
194.63/195.23 c #Conflicts: 262000 | #Constraints: 16974
194.63/195.23 c #Conflicts: 263000 | #Constraints: 17974
194.63/195.23 c #Conflicts: 264000 | #Constraints: 18974
194.63/195.23 c #Conflicts: 265000 | #Constraints: 19974
194.63/195.23 c #Conflicts: 266000 | #Constraints: 20974
194.63/195.23 c INPROCESSING
194.63/195.23 c GARBAGE COLLECT
194.63/195.23 c #Conflicts: 267000 | #Constraints: 11772
194.63/195.23 c #Conflicts: 268000 | #Constraints: 12772
194.63/195.23 c #Conflicts: 269000 | #Constraints: 13772
194.63/195.23 c #Conflicts: 270000 | #Constraints: 14772
194.63/195.23 c #Conflicts: 271000 | #Constraints: 15772
194.63/195.23 c #Conflicts: 272000 | #Constraints: 16772
194.63/195.23 c #Conflicts: 273000 | #Constraints: 17772
194.63/195.23 c #Conflicts: 274000 | #Constraints: 18772
194.63/195.23 c #Conflicts: 275000 | #Constraints: 19772
194.63/195.23 c #Conflicts: 276000 | #Constraints: 20772
194.63/195.23 c #Conflicts: 277000 | #Constraints: 21772
194.63/195.23 c INPROCESSING
194.63/195.23 c GARBAGE COLLECT
194.63/195.23 c #Conflicts: 278000 | #Constraints: 12371
194.63/195.23 c #Conflicts: 279000 | #Constraints: 13371
194.63/195.23 c #Conflicts: 280000 | #Constraints: 14371
194.63/195.23 c #Conflicts: 281000 | #Constraints: 15371
194.63/195.23 c #Conflicts: 282000 | #Constraints: 16371
194.63/195.23 c #Conflicts: 283000 | #Constraints: 17371
194.63/195.23 c #Conflicts: 284000 | #Constraints: 18371
194.63/195.23 c #Conflicts: 285000 | #Constraints: 19371
194.63/195.23 c #Conflicts: 286000 | #Constraints: 20371
194.63/195.23 c #Conflicts: 287000 | #Constraints: 21371
194.63/195.23 c #Conflicts: 288000 | #Constraints: 22371
194.63/195.23 c INPROCESSING
194.63/195.23 c GARBAGE COLLECT
194.63/195.23 c #Conflicts: 289000 | #Constraints: 12773
194.63/195.23 c #Conflicts: 290000 | #Constraints: 13773
194.63/195.23 c #Conflicts: 291000 | #Constraints: 14773
194.63/195.23 c #Conflicts: 292000 | #Constraints: 15773
260.94/261.79 c #Conflicts: 293000 | #Constraints: 16773
260.94/261.79 c #Conflicts: 294000 | #Constraints: 17773
260.94/261.79 c #Conflicts: 295000 | #Constraints: 18773
260.94/261.79 c #Conflicts: 296000 | #Constraints: 19773
260.94/261.79 c #Conflicts: 297000 | #Constraints: 20773
260.94/261.79 c #Conflicts: 298000 | #Constraints: 21773
260.94/261.79 c #Conflicts: 299000 | #Constraints: 22773
260.94/261.79 c INPROCESSING
260.94/261.79 c GARBAGE COLLECT
260.94/261.79 c #Conflicts: 300000 | #Constraints: 12973
260.94/261.79 c #Conflicts: 301000 | #Constraints: 13973
260.94/261.79 c #Conflicts: 302000 | #Constraints: 14973
260.94/261.79 c #Conflicts: 303000 | #Constraints: 15973
260.94/261.79 c #Conflicts: 304000 | #Constraints: 16973
260.94/261.79 c #Conflicts: 305000 | #Constraints: 17973
260.94/261.79 c #Conflicts: 306000 | #Constraints: 18973
260.94/261.79 c #Conflicts: 307000 | #Constraints: 19973
260.94/261.79 c #Conflicts: 308000 | #Constraints: 20973
260.94/261.79 c #Conflicts: 309000 | #Constraints: 21973
260.94/261.79 c #Conflicts: 310000 | #Constraints: 22973
260.94/261.79 c INPROCESSING
260.94/261.79 c GARBAGE COLLECT
260.94/261.79 c #Conflicts: 311000 | #Constraints: 12973
260.94/261.79 c #Conflicts: 312000 | #Constraints: 13973
260.94/261.79 c #Conflicts: 313000 | #Constraints: 14973
260.94/261.79 c #Conflicts: 314000 | #Constraints: 15973
260.94/261.79 c #Conflicts: 315000 | #Constraints: 16973
260.94/261.79 c #Conflicts: 316000 | #Constraints: 17973
260.94/261.79 c #Conflicts: 317000 | #Constraints: 18973
260.94/261.79 c #Conflicts: 318000 | #Constraints: 19973
260.94/261.79 c #Conflicts: 319000 | #Constraints: 20973
260.94/261.79 c #Conflicts: 320000 | #Constraints: 21973
260.94/261.79 c #Conflicts: 321000 | #Constraints: 22973
260.94/261.79 c INPROCESSING
260.94/261.79 c GARBAGE COLLECT
260.94/261.79 c #Conflicts: 322000 | #Constraints: 12772
260.94/261.79 c #Conflicts: 323000 | #Constraints: 13772
260.94/261.79 c #Conflicts: 324000 | #Constraints: 14772
260.94/261.79 c #Conflicts: 325000 | #Constraints: 15772
260.94/261.79 c #Conflicts: 326000 | #Constraints: 16772
260.94/261.79 c #Conflicts: 327000 | #Constraints: 17772
260.94/261.79 c #Conflicts: 328000 | #Constraints: 18772
260.94/261.79 c #Conflicts: 329000 | #Constraints: 19772
260.94/261.79 c #Conflicts: 330000 | #Constraints: 20772
260.94/261.79 c #Conflicts: 331000 | #Constraints: 21772
260.94/261.79 c #Conflicts: 332000 | #Constraints: 22772
260.94/261.79 c #Conflicts: 333000 | #Constraints: 23772
260.94/261.79 c INPROCESSING
260.94/261.79 c GARBAGE COLLECT
260.94/261.79 c #Conflicts: 334000 | #Constraints: 13373
260.94/261.79 c #Conflicts: 335000 | #Constraints: 14373
260.94/261.79 c #Conflicts: 336000 | #Constraints: 15373
260.94/261.79 c #Conflicts: 337000 | #Constraints: 16373
260.94/261.79 c #Conflicts: 338000 | #Constraints: 17373
260.94/261.79 c #Conflicts: 339000 | #Constraints: 18373
260.94/261.79 c #Conflicts: 340000 | #Constraints: 19373
260.94/261.79 c #Conflicts: 341000 | #Constraints: 20373
260.94/261.79 c #Conflicts: 342000 | #Constraints: 21373
260.94/261.79 c #Conflicts: 343000 | #Constraints: 22373
260.94/261.79 c #Conflicts: 344000 | #Constraints: 23373
260.94/261.79 c #Conflicts: 345000 | #Constraints: 24373
260.94/261.79 c INPROCESSING
260.94/261.79 c GARBAGE COLLECT
260.94/261.79 c #Conflicts: 346000 | #Constraints: 13773
260.94/261.79 c #Conflicts: 347000 | #Constraints: 14773
260.94/261.79 c #Conflicts: 348000 | #Constraints: 15773
260.94/261.79 c #Conflicts: 349000 | #Constraints: 16773
260.94/261.79 c #Conflicts: 350000 | #Constraints: 17773
260.94/261.79 c #Conflicts: 351000 | #Constraints: 18773
260.94/261.79 c #Conflicts: 352000 | #Constraints: 19773
260.94/261.79 c #Conflicts: 353000 | #Constraints: 20773
260.94/261.79 c #Conflicts: 354000 | #Constraints: 21773
260.94/261.79 c #Conflicts: 355000 | #Constraints: 22773
260.94/261.79 c #Conflicts: 356000 | #Constraints: 23773
260.94/261.79 c #Conflicts: 357000 | #Constraints: 24773
260.94/261.79 c INPROCESSING
260.94/261.79 c GARBAGE COLLECT
260.94/261.79 c #Conflicts: 358000 | #Constraints: 13975
260.94/261.79 c #Conflicts: 359000 | #Constraints: 14975
260.94/261.79 c #Conflicts: 360000 | #Constraints: 15975
260.94/261.79 c #Conflicts: 361000 | #Constraints: 16975
260.94/261.79 c #Conflicts: 362000 | #Constraints: 17975
260.94/261.79 c #Conflicts: 363000 | #Constraints: 18975
260.94/261.79 c #Conflicts: 364000 | #Constraints: 19975
260.94/261.79 c #Conflicts: 365000 | #Constraints: 20975
260.94/261.79 c #Conflicts: 366000 | #Constraints: 21975
260.94/261.79 c #Conflicts: 367000 | #Constraints: 22975
352.08/353.19 c #Conflicts: 368000 | #Constraints: 23975
352.08/353.19 c #Conflicts: 369000 | #Constraints: 24975
352.08/353.19 c INPROCESSING
352.08/353.19 c GARBAGE COLLECT
352.08/353.19 c #Conflicts: 370000 | #Constraints: 13974
352.08/353.19 c #Conflicts: 371000 | #Constraints: 14974
352.08/353.19 c #Conflicts: 372000 | #Constraints: 15974
352.08/353.19 c #Conflicts: 373000 | #Constraints: 16974
352.08/353.19 c #Conflicts: 374000 | #Constraints: 17974
352.08/353.19 c #Conflicts: 375000 | #Constraints: 18974
352.08/353.19 c #Conflicts: 376000 | #Constraints: 19974
352.08/353.19 c #Conflicts: 377000 | #Constraints: 20974
352.08/353.19 c #Conflicts: 378000 | #Constraints: 21974
352.08/353.19 c #Conflicts: 379000 | #Constraints: 22974
352.08/353.19 c #Conflicts: 380000 | #Constraints: 23974
352.08/353.19 c #Conflicts: 381000 | #Constraints: 24974
352.08/353.19 c INPROCESSING
352.08/353.19 c GARBAGE COLLECT
352.08/353.19 c #Conflicts: 382000 | #Constraints: 13773
352.08/353.19 c #Conflicts: 383000 | #Constraints: 14773
352.08/353.19 c #Conflicts: 384000 | #Constraints: 15773
352.08/353.19 c #Conflicts: 385000 | #Constraints: 16773
352.08/353.19 c #Conflicts: 386000 | #Constraints: 17773
352.08/353.19 c #Conflicts: 387000 | #Constraints: 18773
352.08/353.19 c #Conflicts: 388000 | #Constraints: 19773
352.08/353.19 c #Conflicts: 389000 | #Constraints: 20773
352.08/353.19 c #Conflicts: 390000 | #Constraints: 21773
352.08/353.19 c #Conflicts: 391000 | #Constraints: 22773
352.08/353.19 c #Conflicts: 392000 | #Constraints: 23773
352.08/353.19 c #Conflicts: 393000 | #Constraints: 24773
352.08/353.19 c #Conflicts: 394000 | #Constraints: 25773
352.08/353.19 c INPROCESSING
352.08/353.19 c GARBAGE COLLECT
352.08/353.19 c #Conflicts: 395000 | #Constraints: 14375
352.08/353.19 c #Conflicts: 396000 | #Constraints: 15375
352.08/353.19 c #Conflicts: 397000 | #Constraints: 16375
352.08/353.19 c #Conflicts: 398000 | #Constraints: 17375
352.08/353.19 c #Conflicts: 399000 | #Constraints: 18375
352.08/353.19 c #Conflicts: 400000 | #Constraints: 19375
352.08/353.19 c #Conflicts: 401000 | #Constraints: 20375
352.08/353.19 c #Conflicts: 402000 | #Constraints: 21375
352.08/353.19 c #Conflicts: 403000 | #Constraints: 22375
352.08/353.19 c #Conflicts: 404000 | #Constraints: 23375
352.08/353.19 c #Conflicts: 405000 | #Constraints: 24375
352.08/353.19 c #Conflicts: 406000 | #Constraints: 25375
352.08/353.19 c #Conflicts: 407000 | #Constraints: 26375
352.08/353.19 c INPROCESSING
352.08/353.19 c GARBAGE COLLECT
352.08/353.19 c #Conflicts: 408000 | #Constraints: 14773
352.08/353.19 c #Conflicts: 409000 | #Constraints: 15773
352.08/353.19 c #Conflicts: 410000 | #Constraints: 16773
352.08/353.19 c #Conflicts: 411000 | #Constraints: 17773
352.08/353.19 c #Conflicts: 412000 | #Constraints: 18773
352.08/353.19 c #Conflicts: 413000 | #Constraints: 19773
352.08/353.19 c #Conflicts: 414000 | #Constraints: 20773
352.08/353.19 c #Conflicts: 415000 | #Constraints: 21773
352.08/353.19 c #Conflicts: 416000 | #Constraints: 22773
352.08/353.19 c #Conflicts: 417000 | #Constraints: 23773
352.08/353.19 c #Conflicts: 418000 | #Constraints: 24773
352.08/353.19 c #Conflicts: 419000 | #Constraints: 25773
352.08/353.19 c #Conflicts: 420000 | #Constraints: 26773
352.08/353.19 c INPROCESSING
352.08/353.19 c GARBAGE COLLECT
352.08/353.19 c #Conflicts: 421000 | #Constraints: 14973
352.08/353.19 c #Conflicts: 422000 | #Constraints: 15973
352.08/353.19 c #Conflicts: 423000 | #Constraints: 16973
352.08/353.19 c #Conflicts: 424000 | #Constraints: 17973
352.08/353.19 c #Conflicts: 425000 | #Constraints: 18973
352.08/353.19 c #Conflicts: 426000 | #Constraints: 19973
352.08/353.19 c #Conflicts: 427000 | #Constraints: 20973
352.08/353.19 c #Conflicts: 428000 | #Constraints: 21973
352.08/353.19 c #Conflicts: 429000 | #Constraints: 22973
352.08/353.19 c #Conflicts: 430000 | #Constraints: 23973
352.08/353.19 c #Conflicts: 431000 | #Constraints: 24973
352.08/353.19 c #Conflicts: 432000 | #Constraints: 25973
352.08/353.19 c #Conflicts: 433000 | #Constraints: 26973
352.08/353.19 c INPROCESSING
352.08/353.19 c GARBAGE COLLECT
352.08/353.19 c #Conflicts: 434000 | #Constraints: 14975
352.08/353.19 c #Conflicts: 435000 | #Constraints: 15975
352.08/353.19 c #Conflicts: 436000 | #Constraints: 16975
352.08/353.19 c #Conflicts: 437000 | #Constraints: 17975
352.08/353.19 c #Conflicts: 438000 | #Constraints: 18975
352.08/353.19 c #Conflicts: 439000 | #Constraints: 19975
352.08/353.19 c #Conflicts: 440000 | #Constraints: 20975
352.08/353.19 c #Conflicts: 441000 | #Constraints: 21975
352.08/353.19 c #Conflicts: 442000 | #Constraints: 22975
437.64/438.92 c #Conflicts: 443000 | #Constraints: 23975
437.64/438.92 c #Conflicts: 444000 | #Constraints: 24975
437.64/438.92 c #Conflicts: 445000 | #Constraints: 25975
437.64/438.92 c #Conflicts: 446000 | #Constraints: 26975
437.64/438.92 c INPROCESSING
437.64/438.92 c GARBAGE COLLECT
437.64/438.92 c #Conflicts: 447000 | #Constraints: 14774
437.64/438.92 c #Conflicts: 448000 | #Constraints: 15774
437.64/438.92 c #Conflicts: 449000 | #Constraints: 16774
437.64/438.92 c #Conflicts: 450000 | #Constraints: 17774
437.64/438.92 c #Conflicts: 451000 | #Constraints: 18774
437.64/438.92 c #Conflicts: 452000 | #Constraints: 19774
437.64/438.92 c #Conflicts: 453000 | #Constraints: 20774
437.64/438.92 c #Conflicts: 454000 | #Constraints: 21774
437.64/438.92 c #Conflicts: 455000 | #Constraints: 22774
437.64/438.92 c #Conflicts: 456000 | #Constraints: 23774
437.64/438.92 c #Conflicts: 457000 | #Constraints: 24774
437.64/438.92 c #Conflicts: 458000 | #Constraints: 25774
437.64/438.92 c #Conflicts: 459000 | #Constraints: 26774
437.64/438.92 c #Conflicts: 460000 | #Constraints: 27774
437.64/438.92 c INPROCESSING
437.64/438.92 c GARBAGE COLLECT
437.64/438.92 c #Conflicts: 461000 | #Constraints: 15372
437.64/438.92 c #Conflicts: 462000 | #Constraints: 16372
437.64/438.92 c #Conflicts: 463000 | #Constraints: 17372
437.64/438.92 c #Conflicts: 464000 | #Constraints: 18372
437.64/438.92 c #Conflicts: 465000 | #Constraints: 19372
437.64/438.92 c #Conflicts: 466000 | #Constraints: 20372
437.64/438.92 c #Conflicts: 467000 | #Constraints: 21372
437.64/438.92 c #Conflicts: 468000 | #Constraints: 22372
437.64/438.92 c #Conflicts: 469000 | #Constraints: 23372
437.64/438.92 c #Conflicts: 470000 | #Constraints: 24372
437.64/438.92 c #Conflicts: 471000 | #Constraints: 25372
437.64/438.92 c #Conflicts: 472000 | #Constraints: 26372
437.64/438.92 c #Conflicts: 473000 | #Constraints: 27372
437.64/438.92 c #Conflicts: 474000 | #Constraints: 28372
437.64/438.92 c INPROCESSING
437.64/438.92 c GARBAGE COLLECT
437.64/438.92 c #Conflicts: 475000 | #Constraints: 15772
437.64/438.92 c #Conflicts: 476000 | #Constraints: 16772
437.64/438.92 c #Conflicts: 477000 | #Constraints: 17772
437.64/438.92 c #Conflicts: 478000 | #Constraints: 18772
437.64/438.92 c #Conflicts: 479000 | #Constraints: 19772
437.64/438.92 c #Conflicts: 480000 | #Constraints: 20772
437.64/438.92 c #Conflicts: 481000 | #Constraints: 21772
437.64/438.92 c #Conflicts: 482000 | #Constraints: 22772
437.64/438.92 c #Conflicts: 483000 | #Constraints: 23772
437.64/438.92 c #Conflicts: 484000 | #Constraints: 24772
437.64/438.92 c #Conflicts: 485000 | #Constraints: 25772
437.64/438.92 c #Conflicts: 486000 | #Constraints: 26772
437.64/438.92 c #Conflicts: 487000 | #Constraints: 27772
437.64/438.92 c #Conflicts: 488000 | #Constraints: 28772
437.64/438.92 c INPROCESSING
437.64/438.92 c GARBAGE COLLECT
437.64/438.92 c #Conflicts: 489000 | #Constraints: 15971
437.64/438.92 c #Conflicts: 490000 | #Constraints: 16971
437.64/438.92 c #Conflicts: 491000 | #Constraints: 17971
437.64/438.92 c #Conflicts: 492000 | #Constraints: 18971
437.64/438.92 c #Conflicts: 493000 | #Constraints: 19971
437.64/438.92 c #Conflicts: 494000 | #Constraints: 20971
437.64/438.92 c #Conflicts: 495000 | #Constraints: 21971
437.64/438.92 c #Conflicts: 496000 | #Constraints: 22971
437.64/438.92 c #Conflicts: 497000 | #Constraints: 23971
437.64/438.92 c #Conflicts: 498000 | #Constraints: 24971
437.64/438.92 c #Conflicts: 499000 | #Constraints: 25971
437.64/438.92 c #Conflicts: 500000 | #Constraints: 26971
437.64/438.92 c #Conflicts: 501000 | #Constraints: 27971
437.64/438.92 c #Conflicts: 502000 | #Constraints: 28971
437.64/438.92 c INPROCESSING
437.64/438.92 c GARBAGE COLLECT
437.64/438.92 c #Conflicts: 503000 | #Constraints: 15974
437.64/438.92 c #Conflicts: 504000 | #Constraints: 16974
437.64/438.92 c #Conflicts: 505000 | #Constraints: 17974
437.64/438.92 c #Conflicts: 506000 | #Constraints: 18974
437.64/438.92 c #Conflicts: 507000 | #Constraints: 19974
437.64/438.92 c #Conflicts: 508000 | #Constraints: 20974
437.64/438.92 c #Conflicts: 509000 | #Constraints: 21974
437.64/438.92 c #Conflicts: 510000 | #Constraints: 22974
437.64/438.92 c #Conflicts: 511000 | #Constraints: 23974
437.64/438.92 c #Conflicts: 512000 | #Constraints: 24974
437.64/438.92 c #Conflicts: 513000 | #Constraints: 25974
437.64/438.92 c #Conflicts: 514000 | #Constraints: 26974
437.64/438.92 c #Conflicts: 515000 | #Constraints: 27974
437.64/438.92 c #Conflicts: 516000 | #Constraints: 28974
437.64/438.92 c INPROCESSING
437.64/438.92 c GARBAGE COLLECT
437.64/438.92 c #Conflicts: 517000 | #Constraints: 15774
519.82/521.32 c #Conflicts: 518000 | #Constraints: 16774
519.82/521.32 c #Conflicts: 519000 | #Constraints: 17774
519.82/521.32 c #Conflicts: 520000 | #Constraints: 18774
519.82/521.32 c #Conflicts: 521000 | #Constraints: 19774
519.82/521.32 c #Conflicts: 522000 | #Constraints: 20774
519.82/521.32 c #Conflicts: 523000 | #Constraints: 21774
519.82/521.32 c #Conflicts: 524000 | #Constraints: 22774
519.82/521.32 c #Conflicts: 525000 | #Constraints: 23774
519.82/521.32 c #Conflicts: 526000 | #Constraints: 24774
519.82/521.32 c #Conflicts: 527000 | #Constraints: 25774
519.82/521.32 c #Conflicts: 528000 | #Constraints: 26774
519.82/521.32 c #Conflicts: 529000 | #Constraints: 27774
519.82/521.32 c #Conflicts: 530000 | #Constraints: 28774
519.82/521.32 c #Conflicts: 531000 | #Constraints: 29774
519.82/521.32 c INPROCESSING
519.82/521.32 c GARBAGE COLLECT
519.82/521.32 c #Conflicts: 532000 | #Constraints: 16374
519.82/521.32 c #Conflicts: 533000 | #Constraints: 17374
519.82/521.32 c #Conflicts: 534000 | #Constraints: 18374
519.82/521.32 c #Conflicts: 535000 | #Constraints: 19374
519.82/521.32 c #Conflicts: 536000 | #Constraints: 20374
519.82/521.32 c #Conflicts: 537000 | #Constraints: 21374
519.82/521.32 c #Conflicts: 538000 | #Constraints: 22374
519.82/521.32 c #Conflicts: 539000 | #Constraints: 23374
519.82/521.32 c #Conflicts: 540000 | #Constraints: 24374
519.82/521.32 c #Conflicts: 541000 | #Constraints: 25374
519.82/521.32 c #Conflicts: 542000 | #Constraints: 26374
519.82/521.32 c #Conflicts: 543000 | #Constraints: 27374
519.82/521.32 c #Conflicts: 544000 | #Constraints: 28374
519.82/521.32 c #Conflicts: 545000 | #Constraints: 29374
519.82/521.32 c #Conflicts: 546000 | #Constraints: 30374
519.82/521.32 c INPROCESSING
519.82/521.32 c GARBAGE COLLECT
519.82/521.32 c #Conflicts: 547000 | #Constraints: 16773
519.82/521.32 c #Conflicts: 548000 | #Constraints: 17773
519.82/521.32 c #Conflicts: 549000 | #Constraints: 18773
519.82/521.32 c #Conflicts: 550000 | #Constraints: 19773
519.82/521.32 c #Conflicts: 551000 | #Constraints: 20773
519.82/521.32 c #Conflicts: 552000 | #Constraints: 21773
519.82/521.32 c #Conflicts: 553000 | #Constraints: 22773
519.82/521.32 c #Conflicts: 554000 | #Constraints: 23773
519.82/521.32 c #Conflicts: 555000 | #Constraints: 24773
519.82/521.32 c #Conflicts: 556000 | #Constraints: 25773
519.82/521.32 c #Conflicts: 557000 | #Constraints: 26773
519.82/521.32 c #Conflicts: 558000 | #Constraints: 27773
519.82/521.32 c #Conflicts: 559000 | #Constraints: 28773
519.82/521.32 c #Conflicts: 560000 | #Constraints: 29773
519.82/521.32 c #Conflicts: 561000 | #Constraints: 30773
519.82/521.32 c INPROCESSING
519.82/521.32 c GARBAGE COLLECT
519.82/521.32 c #Conflicts: 562000 | #Constraints: 16971
519.82/521.32 c #Conflicts: 563000 | #Constraints: 17971
519.82/521.32 c #Conflicts: 564000 | #Constraints: 18971
519.82/521.32 c #Conflicts: 565000 | #Constraints: 19971
519.82/521.32 c #Conflicts: 566000 | #Constraints: 20971
519.82/521.32 c #Conflicts: 567000 | #Constraints: 21971
519.82/521.32 c #Conflicts: 568000 | #Constraints: 22971
519.82/521.32 c #Conflicts: 569000 | #Constraints: 23971
519.82/521.32 c #Conflicts: 570000 | #Constraints: 24971
519.82/521.32 c #Conflicts: 571000 | #Constraints: 25971
519.82/521.32 c #Conflicts: 572000 | #Constraints: 26971
519.82/521.32 c #Conflicts: 573000 | #Constraints: 27971
519.82/521.32 c #Conflicts: 574000 | #Constraints: 28971
519.82/521.32 c #Conflicts: 575000 | #Constraints: 29971
519.82/521.32 c #Conflicts: 576000 | #Constraints: 30971
519.82/521.32 c INPROCESSING
519.82/521.32 c GARBAGE COLLECT
519.82/521.32 c #Conflicts: 577000 | #Constraints: 16971
519.82/521.32 c #Conflicts: 578000 | #Constraints: 17971
519.82/521.32 c #Conflicts: 579000 | #Constraints: 18971
519.82/521.32 c #Conflicts: 580000 | #Constraints: 19971
519.82/521.32 c #Conflicts: 581000 | #Constraints: 20971
519.82/521.32 c #Conflicts: 582000 | #Constraints: 21971
519.82/521.32 c #Conflicts: 583000 | #Constraints: 22971
519.82/521.32 c #Conflicts: 584000 | #Constraints: 23971
519.82/521.32 c #Conflicts: 585000 | #Constraints: 24971
519.82/521.32 c #Conflicts: 586000 | #Constraints: 25971
519.82/521.32 c #Conflicts: 587000 | #Constraints: 26971
519.82/521.32 c #Conflicts: 588000 | #Constraints: 27971
519.82/521.32 c #Conflicts: 589000 | #Constraints: 28971
519.82/521.32 c #Conflicts: 590000 | #Constraints: 29971
519.82/521.32 c #Conflicts: 591000 | #Constraints: 30971
519.82/521.32 c INPROCESSING
519.82/521.32 c GARBAGE COLLECT
519.82/521.32 c #Conflicts: 592000 | #Constraints: 16772
519.82/521.32 c #Conflicts: 593000 | #Constraints: 17772
614.37/616.17 c #Conflicts: 594000 | #Constraints: 18772
614.37/616.17 c #Conflicts: 595000 | #Constraints: 19772
614.37/616.17 c #Conflicts: 596000 | #Constraints: 20772
614.37/616.17 c #Conflicts: 597000 | #Constraints: 21772
614.37/616.17 c #Conflicts: 598000 | #Constraints: 22772
614.37/616.17 c #Conflicts: 599000 | #Constraints: 23772
614.37/616.17 c #Conflicts: 600000 | #Constraints: 24772
614.37/616.17 c #Conflicts: 601000 | #Constraints: 25772
614.37/616.17 c #Conflicts: 602000 | #Constraints: 26772
614.37/616.17 c #Conflicts: 603000 | #Constraints: 27772
614.37/616.17 c #Conflicts: 604000 | #Constraints: 28772
614.37/616.17 c #Conflicts: 605000 | #Constraints: 29772
614.37/616.17 c #Conflicts: 606000 | #Constraints: 30772
614.37/616.17 c #Conflicts: 607000 | #Constraints: 31772
614.37/616.17 c INPROCESSING
614.37/616.17 c GARBAGE COLLECT
614.37/616.17 c #Conflicts: 608000 | #Constraints: 17373
614.37/616.17 c #Conflicts: 609000 | #Constraints: 18373
614.37/616.17 c #Conflicts: 610000 | #Constraints: 19373
614.37/616.17 c #Conflicts: 611000 | #Constraints: 20373
614.37/616.17 c #Conflicts: 612000 | #Constraints: 21373
614.37/616.17 c #Conflicts: 613000 | #Constraints: 22373
614.37/616.17 c #Conflicts: 614000 | #Constraints: 23373
614.37/616.17 c #Conflicts: 615000 | #Constraints: 24373
614.37/616.17 c #Conflicts: 616000 | #Constraints: 25373
614.37/616.17 c #Conflicts: 617000 | #Constraints: 26373
614.37/616.17 c #Conflicts: 618000 | #Constraints: 27373
614.37/616.17 c #Conflicts: 619000 | #Constraints: 28373
614.37/616.17 c #Conflicts: 620000 | #Constraints: 29373
614.37/616.17 c #Conflicts: 621000 | #Constraints: 30373
614.37/616.17 c #Conflicts: 622000 | #Constraints: 31373
614.37/616.17 c #Conflicts: 623000 | #Constraints: 32373
614.37/616.17 c INPROCESSING
614.37/616.17 c GARBAGE COLLECT
614.37/616.17 c #Conflicts: 624000 | #Constraints: 17771
614.37/616.17 c #Conflicts: 625000 | #Constraints: 18771
614.37/616.17 c #Conflicts: 626000 | #Constraints: 19771
614.37/616.17 c #Conflicts: 627000 | #Constraints: 20771
614.37/616.17 c #Conflicts: 628000 | #Constraints: 21771
614.37/616.17 c #Conflicts: 629000 | #Constraints: 22771
614.37/616.17 c #Conflicts: 630000 | #Constraints: 23771
614.37/616.17 c #Conflicts: 631000 | #Constraints: 24771
614.37/616.17 c #Conflicts: 632000 | #Constraints: 25771
614.37/616.17 c #Conflicts: 633000 | #Constraints: 26771
614.37/616.17 c #Conflicts: 634000 | #Constraints: 27771
614.37/616.17 c #Conflicts: 635000 | #Constraints: 28771
614.37/616.17 c #Conflicts: 636000 | #Constraints: 29771
614.37/616.17 c #Conflicts: 637000 | #Constraints: 30771
614.37/616.17 c #Conflicts: 638000 | #Constraints: 31771
614.37/616.17 c #Conflicts: 639000 | #Constraints: 32771
614.37/616.17 c INPROCESSING
614.37/616.17 c GARBAGE COLLECT
614.37/616.17 c #Conflicts: 640000 | #Constraints: 17973
614.37/616.17 c #Conflicts: 641000 | #Constraints: 18973
614.37/616.17 c #Conflicts: 642000 | #Constraints: 19973
614.37/616.17 c #Conflicts: 643000 | #Constraints: 20973
614.37/616.17 c #Conflicts: 644000 | #Constraints: 21973
614.37/616.17 c #Conflicts: 645000 | #Constraints: 22973
614.37/616.17 c #Conflicts: 646000 | #Constraints: 23973
614.37/616.17 c #Conflicts: 647000 | #Constraints: 24973
614.37/616.17 c #Conflicts: 648000 | #Constraints: 25973
614.37/616.17 c #Conflicts: 649000 | #Constraints: 26973
614.37/616.17 c #Conflicts: 650000 | #Constraints: 27973
614.37/616.17 c #Conflicts: 651000 | #Constraints: 28973
614.37/616.17 c #Conflicts: 652000 | #Constraints: 29973
614.37/616.17 c #Conflicts: 653000 | #Constraints: 30973
614.37/616.17 c #Conflicts: 654000 | #Constraints: 31973
614.37/616.17 c #Conflicts: 655000 | #Constraints: 32973
614.37/616.17 c INPROCESSING
614.37/616.17 c GARBAGE COLLECT
614.37/616.17 c #Conflicts: 656000 | #Constraints: 17978
614.37/616.17 c #Conflicts: 657000 | #Constraints: 18978
614.37/616.17 c #Conflicts: 658000 | #Constraints: 19978
614.37/616.17 c #Conflicts: 659000 | #Constraints: 20978
614.37/616.17 c #Conflicts: 660000 | #Constraints: 21978
614.37/616.17 c #Conflicts: 661000 | #Constraints: 22978
614.37/616.17 c #Conflicts: 662000 | #Constraints: 23978
614.37/616.17 c #Conflicts: 663000 | #Constraints: 24978
614.37/616.17 c #Conflicts: 664000 | #Constraints: 25978
614.37/616.17 c #Conflicts: 665000 | #Constraints: 26978
614.37/616.17 c #Conflicts: 666000 | #Constraints: 27978
614.37/616.17 c #Conflicts: 667000 | #Constraints: 28978
614.37/616.17 c #Conflicts: 668000 | #Constraints: 29978
614.37/616.17 c #Conflicts: 669000 | #Constraints: 30978
707.72/709.79 c #Conflicts: 670000 | #Constraints: 31978
707.72/709.79 c #Conflicts: 671000 | #Constraints: 32978
707.72/709.79 c INPROCESSING
707.72/709.79 c GARBAGE COLLECT
707.72/709.79 c #Conflicts: 672000 | #Constraints: 17774
707.72/709.79 c #Conflicts: 673000 | #Constraints: 18774
707.72/709.79 c #Conflicts: 674000 | #Constraints: 19774
707.72/709.79 c #Conflicts: 675000 | #Constraints: 20774
707.72/709.79 c #Conflicts: 676000 | #Constraints: 21774
707.72/709.79 c #Conflicts: 677000 | #Constraints: 22774
707.72/709.79 c #Conflicts: 678000 | #Constraints: 23774
707.72/709.79 c #Conflicts: 679000 | #Constraints: 24774
707.72/709.79 c #Conflicts: 680000 | #Constraints: 25774
707.72/709.79 c #Conflicts: 681000 | #Constraints: 26774
707.72/709.79 c #Conflicts: 682000 | #Constraints: 27774
707.72/709.79 c #Conflicts: 683000 | #Constraints: 28774
707.72/709.79 c #Conflicts: 684000 | #Constraints: 29774
707.72/709.79 c #Conflicts: 685000 | #Constraints: 30774
707.72/709.79 c #Conflicts: 686000 | #Constraints: 31774
707.72/709.79 c #Conflicts: 687000 | #Constraints: 32774
707.72/709.79 c #Conflicts: 688000 | #Constraints: 33774
707.72/709.79 c INPROCESSING
707.72/709.79 c GARBAGE COLLECT
707.72/709.79 c #Conflicts: 689000 | #Constraints: 18374
707.72/709.79 c #Conflicts: 690000 | #Constraints: 19374
707.72/709.79 c #Conflicts: 691000 | #Constraints: 20374
707.72/709.79 c #Conflicts: 692000 | #Constraints: 21374
707.72/709.79 c #Conflicts: 693000 | #Constraints: 22374
707.72/709.79 c #Conflicts: 694000 | #Constraints: 23374
707.72/709.79 c #Conflicts: 695000 | #Constraints: 24374
707.72/709.79 c #Conflicts: 696000 | #Constraints: 25374
707.72/709.79 c #Conflicts: 697000 | #Constraints: 26374
707.72/709.79 c #Conflicts: 698000 | #Constraints: 27374
707.72/709.79 c #Conflicts: 699000 | #Constraints: 28374
707.72/709.79 c #Conflicts: 700000 | #Constraints: 29374
707.72/709.79 c #Conflicts: 701000 | #Constraints: 30374
707.72/709.79 c #Conflicts: 702000 | #Constraints: 31374
707.72/709.79 c #Conflicts: 703000 | #Constraints: 32374
707.72/709.79 c #Conflicts: 704000 | #Constraints: 33374
707.72/709.79 c #Conflicts: 705000 | #Constraints: 34374
707.72/709.79 c INPROCESSING
707.72/709.79 c GARBAGE COLLECT
707.72/709.79 c #Conflicts: 706000 | #Constraints: 18774
707.72/709.79 c #Conflicts: 707000 | #Constraints: 19774
707.72/709.79 c #Conflicts: 708000 | #Constraints: 20774
707.72/709.79 c #Conflicts: 709000 | #Constraints: 21774
707.72/709.79 c #Conflicts: 710000 | #Constraints: 22774
707.72/709.79 c #Conflicts: 711000 | #Constraints: 23774
707.72/709.79 c #Conflicts: 712000 | #Constraints: 24774
707.72/709.79 c #Conflicts: 713000 | #Constraints: 25774
707.72/709.79 c #Conflicts: 714000 | #Constraints: 26774
707.72/709.79 c #Conflicts: 715000 | #Constraints: 27774
707.72/709.79 c #Conflicts: 716000 | #Constraints: 28774
707.72/709.79 c #Conflicts: 717000 | #Constraints: 29774
707.72/709.79 c #Conflicts: 718000 | #Constraints: 30774
707.72/709.79 c #Conflicts: 719000 | #Constraints: 31774
707.72/709.79 c #Conflicts: 720000 | #Constraints: 32774
707.72/709.79 c #Conflicts: 721000 | #Constraints: 33774
707.72/709.79 c #Conflicts: 722000 | #Constraints: 34774
707.72/709.79 c INPROCESSING
707.72/709.79 c GARBAGE COLLECT
707.72/709.79 c #Conflicts: 723000 | #Constraints: 18972
707.72/709.79 c #Conflicts: 724000 | #Constraints: 19972
707.72/709.79 c #Conflicts: 725000 | #Constraints: 20972
707.72/709.79 c #Conflicts: 726000 | #Constraints: 21972
707.72/709.79 c #Conflicts: 727000 | #Constraints: 22972
707.72/709.79 c #Conflicts: 728000 | #Constraints: 23972
707.72/709.79 c #Conflicts: 729000 | #Constraints: 24972
707.72/709.79 c #Conflicts: 730000 | #Constraints: 25972
707.72/709.79 c #Conflicts: 731000 | #Constraints: 26972
707.72/709.79 c #Conflicts: 732000 | #Constraints: 27972
707.72/709.79 c #Conflicts: 733000 | #Constraints: 28972
707.72/709.79 c #Conflicts: 734000 | #Constraints: 29972
707.72/709.79 c #Conflicts: 735000 | #Constraints: 30972
707.72/709.79 c #Conflicts: 736000 | #Constraints: 31972
707.72/709.79 c #Conflicts: 737000 | #Constraints: 32972
707.72/709.79 c #Conflicts: 738000 | #Constraints: 33972
707.72/709.79 c #Conflicts: 739000 | #Constraints: 34972
707.72/709.79 c INPROCESSING
707.72/709.79 c GARBAGE COLLECT
707.72/709.79 c #Conflicts: 740000 | #Constraints: 18973
707.72/709.79 c #Conflicts: 741000 | #Constraints: 19973
707.72/709.79 c #Conflicts: 742000 | #Constraints: 20973
707.72/709.79 c #Conflicts: 743000 | #Constraints: 21973
707.72/709.79 c #Conflicts: 744000 | #Constraints: 22973
707.72/709.79 c #Conflicts: 745000 | #Constraints: 23973
818.91/821.20 c #Conflicts: 746000 | #Constraints: 24973
818.91/821.20 c #Conflicts: 747000 | #Constraints: 25973
818.91/821.20 c #Conflicts: 748000 | #Constraints: 26973
818.91/821.20 c #Conflicts: 749000 | #Constraints: 27973
818.91/821.20 c #Conflicts: 750000 | #Constraints: 28973
818.91/821.20 c #Conflicts: 751000 | #Constraints: 29973
818.91/821.20 c #Conflicts: 752000 | #Constraints: 30973
818.91/821.20 c #Conflicts: 753000 | #Constraints: 31973
818.91/821.20 c #Conflicts: 754000 | #Constraints: 32973
818.91/821.20 c #Conflicts: 755000 | #Constraints: 33973
818.91/821.20 c #Conflicts: 756000 | #Constraints: 34973
818.91/821.20 c INPROCESSING
818.91/821.20 c GARBAGE COLLECT
818.91/821.20 c #Conflicts: 757000 | #Constraints: 18772
818.91/821.20 c #Conflicts: 758000 | #Constraints: 19772
818.91/821.20 c #Conflicts: 759000 | #Constraints: 20772
818.91/821.20 c #Conflicts: 760000 | #Constraints: 21772
818.91/821.20 c #Conflicts: 761000 | #Constraints: 22772
818.91/821.20 c #Conflicts: 762000 | #Constraints: 23772
818.91/821.20 c #Conflicts: 763000 | #Constraints: 24772
818.91/821.20 c #Conflicts: 764000 | #Constraints: 25772
818.91/821.20 c #Conflicts: 765000 | #Constraints: 26772
818.91/821.20 c #Conflicts: 766000 | #Constraints: 27772
818.91/821.20 c #Conflicts: 767000 | #Constraints: 28772
818.91/821.20 c #Conflicts: 768000 | #Constraints: 29772
818.91/821.20 c #Conflicts: 769000 | #Constraints: 30772
818.91/821.20 c #Conflicts: 770000 | #Constraints: 31772
818.91/821.20 c #Conflicts: 771000 | #Constraints: 32772
818.91/821.20 c #Conflicts: 772000 | #Constraints: 33772
818.91/821.20 c #Conflicts: 773000 | #Constraints: 34772
818.91/821.20 c #Conflicts: 774000 | #Constraints: 35772
818.91/821.20 c INPROCESSING
818.91/821.20 c GARBAGE COLLECT
818.91/821.20 c #Conflicts: 775000 | #Constraints: 19372
818.91/821.20 c #Conflicts: 776000 | #Constraints: 20372
818.91/821.20 c #Conflicts: 777000 | #Constraints: 21372
818.91/821.20 c #Conflicts: 778000 | #Constraints: 22372
818.91/821.20 c #Conflicts: 779000 | #Constraints: 23372
818.91/821.20 c #Conflicts: 780000 | #Constraints: 24372
818.91/821.20 c #Conflicts: 781000 | #Constraints: 25372
818.91/821.20 c #Conflicts: 782000 | #Constraints: 26372
818.91/821.20 c #Conflicts: 783000 | #Constraints: 27372
818.91/821.20 c #Conflicts: 784000 | #Constraints: 28372
818.91/821.20 c #Conflicts: 785000 | #Constraints: 29372
818.91/821.20 c #Conflicts: 786000 | #Constraints: 30372
818.91/821.20 c #Conflicts: 787000 | #Constraints: 31372
818.91/821.20 c #Conflicts: 788000 | #Constraints: 32372
818.91/821.20 c #Conflicts: 789000 | #Constraints: 33372
818.91/821.20 c #Conflicts: 790000 | #Constraints: 34372
818.91/821.20 c #Conflicts: 791000 | #Constraints: 35372
818.91/821.20 c #Conflicts: 792000 | #Constraints: 36372
818.91/821.20 c INPROCESSING
818.91/821.20 c GARBAGE COLLECT
818.91/821.20 c #Conflicts: 793000 | #Constraints: 19773
818.91/821.20 c #Conflicts: 794000 | #Constraints: 20773
818.91/821.20 c #Conflicts: 795000 | #Constraints: 21773
818.91/821.20 c #Conflicts: 796000 | #Constraints: 22773
818.91/821.20 c #Conflicts: 797000 | #Constraints: 23773
818.91/821.20 c #Conflicts: 798000 | #Constraints: 24773
818.91/821.20 c #Conflicts: 799000 | #Constraints: 25773
818.91/821.20 c #Conflicts: 800000 | #Constraints: 26773
818.91/821.20 c #Conflicts: 801000 | #Constraints: 27773
818.91/821.20 c #Conflicts: 802000 | #Constraints: 28773
818.91/821.20 c #Conflicts: 803000 | #Constraints: 29773
818.91/821.20 c #Conflicts: 804000 | #Constraints: 30773
818.91/821.20 c #Conflicts: 805000 | #Constraints: 31773
818.91/821.20 c #Conflicts: 806000 | #Constraints: 32773
818.91/821.20 c #Conflicts: 807000 | #Constraints: 33773
818.91/821.20 c #Conflicts: 808000 | #Constraints: 34773
818.91/821.20 c #Conflicts: 809000 | #Constraints: 35773
818.91/821.20 c #Conflicts: 810000 | #Constraints: 36773
818.91/821.20 c INPROCESSING
818.91/821.20 c GARBAGE COLLECT
818.91/821.20 c #Conflicts: 811000 | #Constraints: 19971
818.91/821.20 c #Conflicts: 812000 | #Constraints: 20971
818.91/821.20 c #Conflicts: 813000 | #Constraints: 21971
818.91/821.20 c #Conflicts: 814000 | #Constraints: 22971
818.91/821.20 c #Conflicts: 815000 | #Constraints: 23971
818.91/821.20 c #Conflicts: 816000 | #Constraints: 24971
818.91/821.20 c #Conflicts: 817000 | #Constraints: 25971
818.91/821.20 c #Conflicts: 818000 | #Constraints: 26971
818.91/821.20 c #Conflicts: 819000 | #Constraints: 27971
818.91/821.20 c #Conflicts: 820000 | #Constraints: 28971
818.91/821.20 c #Conflicts: 821000 | #Constraints: 29971
949.15/951.81 c #Conflicts: 822000 | #Constraints: 30971
949.15/951.81 c #Conflicts: 823000 | #Constraints: 31971
949.15/951.81 c #Conflicts: 824000 | #Constraints: 32971
949.15/951.81 c #Conflicts: 825000 | #Constraints: 33971
949.15/951.81 c #Conflicts: 826000 | #Constraints: 34971
949.15/951.81 c #Conflicts: 827000 | #Constraints: 35971
949.15/951.81 c #Conflicts: 828000 | #Constraints: 36971
949.15/951.81 c INPROCESSING
949.15/951.81 c GARBAGE COLLECT
949.15/951.81 c #Conflicts: 829000 | #Constraints: 19971
949.15/951.81 c #Conflicts: 830000 | #Constraints: 20971
949.15/951.81 c #Conflicts: 831000 | #Constraints: 21971
949.15/951.81 c #Conflicts: 832000 | #Constraints: 22971
949.15/951.81 c #Conflicts: 833000 | #Constraints: 23971
949.15/951.81 c #Conflicts: 834000 | #Constraints: 24971
949.15/951.81 c #Conflicts: 835000 | #Constraints: 25971
949.15/951.81 c #Conflicts: 836000 | #Constraints: 26971
949.15/951.81 c #Conflicts: 837000 | #Constraints: 27971
949.15/951.81 c #Conflicts: 838000 | #Constraints: 28971
949.15/951.81 c #Conflicts: 839000 | #Constraints: 29971
949.15/951.81 c #Conflicts: 840000 | #Constraints: 30971
949.15/951.81 c #Conflicts: 841000 | #Constraints: 31971
949.15/951.81 c #Conflicts: 842000 | #Constraints: 32971
949.15/951.81 c #Conflicts: 843000 | #Constraints: 33971
949.15/951.81 c #Conflicts: 844000 | #Constraints: 34971
949.15/951.81 c #Conflicts: 845000 | #Constraints: 35971
949.15/951.81 c #Conflicts: 846000 | #Constraints: 36971
949.15/951.81 c INPROCESSING
949.15/951.81 c GARBAGE COLLECT
949.15/951.81 c #Conflicts: 847000 | #Constraints: 19773
949.15/951.81 c #Conflicts: 848000 | #Constraints: 20773
949.15/951.81 c #Conflicts: 849000 | #Constraints: 21773
949.15/951.81 c #Conflicts: 850000 | #Constraints: 22773
949.15/951.81 c #Conflicts: 851000 | #Constraints: 23773
949.15/951.81 c #Conflicts: 852000 | #Constraints: 24773
949.15/951.81 c #Conflicts: 853000 | #Constraints: 25773
949.15/951.81 c #Conflicts: 854000 | #Constraints: 26773
949.15/951.81 c #Conflicts: 855000 | #Constraints: 27773
949.15/951.81 c #Conflicts: 856000 | #Constraints: 28773
949.15/951.81 c #Conflicts: 857000 | #Constraints: 29773
949.15/951.81 c #Conflicts: 858000 | #Constraints: 30773
949.15/951.81 c #Conflicts: 859000 | #Constraints: 31773
949.15/951.81 c #Conflicts: 860000 | #Constraints: 32773
949.15/951.81 c #Conflicts: 861000 | #Constraints: 33773
949.15/951.81 c #Conflicts: 862000 | #Constraints: 34773
949.15/951.81 c #Conflicts: 863000 | #Constraints: 35773
949.15/951.81 c #Conflicts: 864000 | #Constraints: 36773
949.15/951.81 c #Conflicts: 865000 | #Constraints: 37773
949.15/951.81 c INPROCESSING
949.15/951.81 c GARBAGE COLLECT
949.15/951.81 c #Conflicts: 866000 | #Constraints: 20372
949.15/951.81 c #Conflicts: 867000 | #Constraints: 21372
949.15/951.81 c #Conflicts: 868000 | #Constraints: 22372
949.15/951.81 c #Conflicts: 869000 | #Constraints: 23372
949.15/951.81 c #Conflicts: 870000 | #Constraints: 24372
949.15/951.81 c #Conflicts: 871000 | #Constraints: 25372
949.15/951.81 c #Conflicts: 872000 | #Constraints: 26372
949.15/951.81 c #Conflicts: 873000 | #Constraints: 27372
949.15/951.81 c #Conflicts: 874000 | #Constraints: 28372
949.15/951.81 c #Conflicts: 875000 | #Constraints: 29372
949.15/951.81 c #Conflicts: 876000 | #Constraints: 30372
949.15/951.81 c #Conflicts: 877000 | #Constraints: 31372
949.15/951.81 c #Conflicts: 878000 | #Constraints: 32372
949.15/951.81 c #Conflicts: 879000 | #Constraints: 33372
949.15/951.81 c #Conflicts: 880000 | #Constraints: 34372
949.15/951.81 c #Conflicts: 881000 | #Constraints: 35372
949.15/951.81 c #Conflicts: 882000 | #Constraints: 36372
949.15/951.81 c #Conflicts: 883000 | #Constraints: 37372
949.15/951.81 c #Conflicts: 884000 | #Constraints: 38372
949.15/951.81 c INPROCESSING
949.15/951.81 c GARBAGE COLLECT
949.15/951.81 c #Conflicts: 885000 | #Constraints: 20773
949.15/951.81 c #Conflicts: 886000 | #Constraints: 21773
949.15/951.81 c #Conflicts: 887000 | #Constraints: 22773
949.15/951.81 c #Conflicts: 888000 | #Constraints: 23773
949.15/951.81 c #Conflicts: 889000 | #Constraints: 24773
949.15/951.81 c #Conflicts: 890000 | #Constraints: 25773
949.15/951.81 c #Conflicts: 891000 | #Constraints: 26773
949.15/951.81 c #Conflicts: 892000 | #Constraints: 27773
949.15/951.81 c #Conflicts: 893000 | #Constraints: 28773
949.15/951.81 c #Conflicts: 894000 | #Constraints: 29773
949.15/951.81 c #Conflicts: 895000 | #Constraints: 30773
949.15/951.81 c #Conflicts: 896000 | #Constraints: 31773
949.15/951.81 c #Conflicts: 897000 | #Constraints: 32773
1078.00/1081.08 c #Conflicts: 898000 | #Constraints: 33773
1078.00/1081.08 c #Conflicts: 899000 | #Constraints: 34773
1078.00/1081.08 c #Conflicts: 900000 | #Constraints: 35773
1078.00/1081.08 c #Conflicts: 901000 | #Constraints: 36773
1078.00/1081.08 c #Conflicts: 902000 | #Constraints: 37773
1078.00/1081.08 c #Conflicts: 903000 | #Constraints: 38773
1078.00/1081.08 c INPROCESSING
1078.00/1081.08 c GARBAGE COLLECT
1078.00/1081.08 c #Conflicts: 904000 | #Constraints: 20971
1078.00/1081.08 c #Conflicts: 905000 | #Constraints: 21971
1078.00/1081.08 c #Conflicts: 906000 | #Constraints: 22971
1078.00/1081.08 c #Conflicts: 907000 | #Constraints: 23971
1078.00/1081.08 c #Conflicts: 908000 | #Constraints: 24971
1078.00/1081.08 c #Conflicts: 909000 | #Constraints: 25971
1078.00/1081.08 c #Conflicts: 910000 | #Constraints: 26971
1078.00/1081.08 c #Conflicts: 911000 | #Constraints: 27971
1078.00/1081.08 c #Conflicts: 912000 | #Constraints: 28971
1078.00/1081.08 c #Conflicts: 913000 | #Constraints: 29971
1078.00/1081.08 c #Conflicts: 914000 | #Constraints: 30971
1078.00/1081.08 c #Conflicts: 915000 | #Constraints: 31971
1078.00/1081.08 c #Conflicts: 916000 | #Constraints: 32971
1078.00/1081.08 c #Conflicts: 917000 | #Constraints: 33971
1078.00/1081.08 c #Conflicts: 918000 | #Constraints: 34971
1078.00/1081.08 c #Conflicts: 919000 | #Constraints: 35971
1078.00/1081.08 c #Conflicts: 920000 | #Constraints: 36971
1078.00/1081.08 c #Conflicts: 921000 | #Constraints: 37971
1078.00/1081.08 c #Conflicts: 922000 | #Constraints: 38971
1078.00/1081.08 c INPROCESSING
1078.00/1081.08 c GARBAGE COLLECT
1078.00/1081.08 c #Conflicts: 923000 | #Constraints: 20970
1078.00/1081.08 c #Conflicts: 924000 | #Constraints: 21970
1078.00/1081.08 c #Conflicts: 925000 | #Constraints: 22970
1078.00/1081.08 c #Conflicts: 926000 | #Constraints: 23970
1078.00/1081.08 c #Conflicts: 927000 | #Constraints: 24970
1078.00/1081.08 c #Conflicts: 928000 | #Constraints: 25970
1078.00/1081.08 c #Conflicts: 929000 | #Constraints: 26970
1078.00/1081.08 c #Conflicts: 930000 | #Constraints: 27970
1078.00/1081.08 c #Conflicts: 931000 | #Constraints: 28970
1078.00/1081.08 c #Conflicts: 932000 | #Constraints: 29970
1078.00/1081.08 c #Conflicts: 933000 | #Constraints: 30970
1078.00/1081.08 c #Conflicts: 934000 | #Constraints: 31970
1078.00/1081.08 c #Conflicts: 935000 | #Constraints: 32970
1078.00/1081.08 c #Conflicts: 936000 | #Constraints: 33970
1078.00/1081.08 c #Conflicts: 937000 | #Constraints: 34970
1078.00/1081.08 c #Conflicts: 938000 | #Constraints: 35970
1078.00/1081.08 c #Conflicts: 939000 | #Constraints: 36970
1078.00/1081.08 c #Conflicts: 940000 | #Constraints: 37970
1078.00/1081.08 c #Conflicts: 941000 | #Constraints: 38970
1078.00/1081.08 c INPROCESSING
1078.00/1081.08 c GARBAGE COLLECT
1078.00/1081.08 c #Conflicts: 942000 | #Constraints: 20771
1078.00/1081.08 c #Conflicts: 943000 | #Constraints: 21771
1078.00/1081.08 c #Conflicts: 944000 | #Constraints: 22771
1078.00/1081.08 c #Conflicts: 945000 | #Constraints: 23771
1078.00/1081.08 c #Conflicts: 946000 | #Constraints: 24771
1078.00/1081.08 c #Conflicts: 947000 | #Constraints: 25771
1078.00/1081.08 c #Conflicts: 948000 | #Constraints: 26771
1078.00/1081.08 c #Conflicts: 949000 | #Constraints: 27771
1078.00/1081.08 c #Conflicts: 950000 | #Constraints: 28771
1078.00/1081.08 c #Conflicts: 951000 | #Constraints: 29771
1078.00/1081.08 c #Conflicts: 952000 | #Constraints: 30771
1078.00/1081.08 c #Conflicts: 953000 | #Constraints: 31771
1078.00/1081.08 c #Conflicts: 954000 | #Constraints: 32771
1078.00/1081.08 c #Conflicts: 955000 | #Constraints: 33771
1078.00/1081.08 c #Conflicts: 956000 | #Constraints: 34771
1078.00/1081.08 c #Conflicts: 957000 | #Constraints: 35771
1078.00/1081.08 c #Conflicts: 958000 | #Constraints: 36771
1078.00/1081.08 c #Conflicts: 959000 | #Constraints: 37771
1078.00/1081.08 c #Conflicts: 960000 | #Constraints: 38771
1078.00/1081.08 c #Conflicts: 961000 | #Constraints: 39771
1078.00/1081.08 c INPROCESSING
1078.00/1081.08 c GARBAGE COLLECT
1078.00/1081.08 c #Conflicts: 962000 | #Constraints: 21375
1078.00/1081.08 c #Conflicts: 963000 | #Constraints: 22375
1078.00/1081.08 c #Conflicts: 964000 | #Constraints: 23375
1078.00/1081.08 c #Conflicts: 965000 | #Constraints: 24375
1078.00/1081.08 c #Conflicts: 966000 | #Constraints: 25375
1078.00/1081.08 c #Conflicts: 967000 | #Constraints: 26375
1078.00/1081.08 c #Conflicts: 968000 | #Constraints: 27375
1078.00/1081.08 c #Conflicts: 969000 | #Constraints: 28375
1078.00/1081.08 c #Conflicts: 970000 | #Constraints: 29375
1078.00/1081.08 c #Conflicts: 971000 | #Constraints: 30375
1078.00/1081.08 c #Conflicts: 972000 | #Constraints: 31375
1078.00/1081.08 c #Conflicts: 973000 | #Constraints: 32375
1231.80/1235.20 c #Conflicts: 974000 | #Constraints: 33375
1231.80/1235.20 c #Conflicts: 975000 | #Constraints: 34375
1231.80/1235.20 c #Conflicts: 976000 | #Constraints: 35375
1231.80/1235.20 c #Conflicts: 977000 | #Constraints: 36375
1231.80/1235.20 c #Conflicts: 978000 | #Constraints: 37375
1231.80/1235.20 c #Conflicts: 979000 | #Constraints: 38375
1231.80/1235.20 c #Conflicts: 980000 | #Constraints: 39375
1231.80/1235.20 c #Conflicts: 981000 | #Constraints: 40375
1231.80/1235.20 c INPROCESSING
1231.80/1235.20 c GARBAGE COLLECT
1231.80/1235.20 c #Conflicts: 982000 | #Constraints: 21775
1231.80/1235.20 c #Conflicts: 983000 | #Constraints: 22775
1231.80/1235.20 c #Conflicts: 984000 | #Constraints: 23775
1231.80/1235.20 c #Conflicts: 985000 | #Constraints: 24775
1231.80/1235.20 c #Conflicts: 986000 | #Constraints: 25775
1231.80/1235.20 c #Conflicts: 987000 | #Constraints: 26775
1231.80/1235.20 c #Conflicts: 988000 | #Constraints: 27775
1231.80/1235.20 c #Conflicts: 989000 | #Constraints: 28775
1231.80/1235.20 c #Conflicts: 990000 | #Constraints: 29775
1231.80/1235.20 c #Conflicts: 991000 | #Constraints: 30775
1231.80/1235.20 c #Conflicts: 992000 | #Constraints: 31775
1231.80/1235.20 c #Conflicts: 993000 | #Constraints: 32775
1231.80/1235.20 c #Conflicts: 994000 | #Constraints: 33775
1231.80/1235.20 c #Conflicts: 995000 | #Constraints: 34775
1231.80/1235.20 c #Conflicts: 996000 | #Constraints: 35775
1231.80/1235.20 c #Conflicts: 997000 | #Constraints: 36775
1231.80/1235.20 c #Conflicts: 998000 | #Constraints: 37775
1231.80/1235.20 c #Conflicts: 999000 | #Constraints: 38775
1231.80/1235.20 c #Conflicts: 1000000 | #Constraints: 39775
1231.80/1235.20 c #Conflicts: 1001000 | #Constraints: 40775
1231.80/1235.20 c INPROCESSING
1231.80/1235.20 c GARBAGE COLLECT
1231.80/1235.20 c #Conflicts: 1002000 | #Constraints: 21974
1231.80/1235.20 c #Conflicts: 1003000 | #Constraints: 22974
1231.80/1235.20 c #Conflicts: 1004000 | #Constraints: 23974
1231.80/1235.20 c #Conflicts: 1005000 | #Constraints: 24974
1231.80/1235.20 c #Conflicts: 1006000 | #Constraints: 25974
1231.80/1235.20 c #Conflicts: 1007000 | #Constraints: 26974
1231.80/1235.20 c #Conflicts: 1008000 | #Constraints: 27974
1231.80/1235.20 c #Conflicts: 1009000 | #Constraints: 28974
1231.80/1235.20 c #Conflicts: 1010000 | #Constraints: 29974
1231.80/1235.20 c #Conflicts: 1011000 | #Constraints: 30974
1231.80/1235.20 c #Conflicts: 1012000 | #Constraints: 31974
1231.80/1235.20 c #Conflicts: 1013000 | #Constraints: 32974
1231.80/1235.20 c #Conflicts: 1014000 | #Constraints: 33974
1231.80/1235.20 c #Conflicts: 1015000 | #Constraints: 34974
1231.80/1235.20 c #Conflicts: 1016000 | #Constraints: 35974
1231.80/1235.20 c #Conflicts: 1017000 | #Constraints: 36974
1231.80/1235.20 c #Conflicts: 1018000 | #Constraints: 37974
1231.80/1235.20 c #Conflicts: 1019000 | #Constraints: 38974
1231.80/1235.20 c #Conflicts: 1020000 | #Constraints: 39974
1231.80/1235.20 c #Conflicts: 1021000 | #Constraints: 40974
1231.80/1235.20 c INPROCESSING
1231.80/1235.20 c GARBAGE COLLECT
1231.80/1235.20 c #Conflicts: 1022000 | #Constraints: 21972
1231.80/1235.20 c #Conflicts: 1023000 | #Constraints: 22972
1231.80/1235.20 c #Conflicts: 1024000 | #Constraints: 23972
1231.80/1235.20 c #Conflicts: 1025000 | #Constraints: 24972
1231.80/1235.20 c #Conflicts: 1026000 | #Constraints: 25972
1231.80/1235.20 c #Conflicts: 1027000 | #Constraints: 26972
1231.80/1235.20 c #Conflicts: 1028000 | #Constraints: 27972
1231.80/1235.20 c #Conflicts: 1029000 | #Constraints: 28972
1231.80/1235.20 c #Conflicts: 1030000 | #Constraints: 29972
1231.80/1235.20 c #Conflicts: 1031000 | #Constraints: 30972
1231.80/1235.20 c #Conflicts: 1032000 | #Constraints: 31972
1231.80/1235.20 c #Conflicts: 1033000 | #Constraints: 32972
1231.80/1235.20 c #Conflicts: 1034000 | #Constraints: 33972
1231.80/1235.20 c #Conflicts: 1035000 | #Constraints: 34972
1231.80/1235.20 c #Conflicts: 1036000 | #Constraints: 35972
1231.80/1235.20 c #Conflicts: 1037000 | #Constraints: 36972
1231.80/1235.20 c #Conflicts: 1038000 | #Constraints: 37972
1231.80/1235.20 c #Conflicts: 1039000 | #Constraints: 38972
1231.80/1235.20 c #Conflicts: 1040000 | #Constraints: 39972
1231.80/1235.20 c #Conflicts: 1041000 | #Constraints: 40972
1231.80/1235.20 c INPROCESSING
1231.80/1235.20 c GARBAGE COLLECT
1231.80/1235.20 c #Conflicts: 1042000 | #Constraints: 21771
1231.80/1235.20 c #Conflicts: 1043000 | #Constraints: 22771
1231.80/1235.20 c #Conflicts: 1044000 | #Constraints: 23771
1231.80/1235.20 c #Conflicts: 1045000 | #Constraints: 24771
1231.80/1235.20 c #Conflicts: 1046000 | #Constraints: 25771
1231.80/1235.20 c #Conflicts: 1047000 | #Constraints: 26771
1231.80/1235.20 c #Conflicts: 1048000 | #Constraints: 27771
1231.80/1235.20 c #Conflicts: 1049000 | #Constraints: 28771
1231.80/1235.20 c #Conflicts: 1050000 | #Constraints: 29771
1402.13/1406.02 c #Conflicts: 1051000 | #Constraints: 30771
1402.13/1406.02 c #Conflicts: 1052000 | #Constraints: 31771
1402.13/1406.02 c #Conflicts: 1053000 | #Constraints: 32771
1402.13/1406.02 c #Conflicts: 1054000 | #Constraints: 33771
1402.13/1406.02 c #Conflicts: 1055000 | #Constraints: 34771
1402.13/1406.02 c #Conflicts: 1056000 | #Constraints: 35771
1402.13/1406.02 c #Conflicts: 1057000 | #Constraints: 36771
1402.13/1406.02 c #Conflicts: 1058000 | #Constraints: 37771
1402.13/1406.02 c #Conflicts: 1059000 | #Constraints: 38771
1402.13/1406.02 c #Conflicts: 1060000 | #Constraints: 39771
1402.13/1406.02 c #Conflicts: 1061000 | #Constraints: 40771
1402.13/1406.02 c #Conflicts: 1062000 | #Constraints: 41771
1402.13/1406.02 c INPROCESSING
1402.13/1406.02 c GARBAGE COLLECT
1402.13/1406.02 c #Conflicts: 1063000 | #Constraints: 22373
1402.13/1406.02 c #Conflicts: 1064000 | #Constraints: 23373
1402.13/1406.02 c #Conflicts: 1065000 | #Constraints: 24373
1402.13/1406.02 c #Conflicts: 1066000 | #Constraints: 25373
1402.13/1406.02 c #Conflicts: 1067000 | #Constraints: 26373
1402.13/1406.02 c #Conflicts: 1068000 | #Constraints: 27373
1402.13/1406.02 c #Conflicts: 1069000 | #Constraints: 28373
1402.13/1406.02 c #Conflicts: 1070000 | #Constraints: 29373
1402.13/1406.02 c #Conflicts: 1071000 | #Constraints: 30373
1402.13/1406.02 c #Conflicts: 1072000 | #Constraints: 31373
1402.13/1406.02 c #Conflicts: 1073000 | #Constraints: 32373
1402.13/1406.02 c #Conflicts: 1074000 | #Constraints: 33373
1402.13/1406.02 c #Conflicts: 1075000 | #Constraints: 34373
1402.13/1406.02 c #Conflicts: 1076000 | #Constraints: 35373
1402.13/1406.02 c #Conflicts: 1077000 | #Constraints: 36373
1402.13/1406.02 c #Conflicts: 1078000 | #Constraints: 37373
1402.13/1406.02 c #Conflicts: 1079000 | #Constraints: 38373
1402.13/1406.02 c #Conflicts: 1080000 | #Constraints: 39373
1402.13/1406.02 c #Conflicts: 1081000 | #Constraints: 40373
1402.13/1406.02 c #Conflicts: 1082000 | #Constraints: 41373
1402.13/1406.02 c #Conflicts: 1083000 | #Constraints: 42373
1402.13/1406.02 c INPROCESSING
1402.13/1406.02 c GARBAGE COLLECT
1402.13/1406.02 c #Conflicts: 1084000 | #Constraints: 22772
1402.13/1406.02 c #Conflicts: 1085000 | #Constraints: 23772
1402.13/1406.02 c #Conflicts: 1086000 | #Constraints: 24772
1402.13/1406.02 c #Conflicts: 1087000 | #Constraints: 25772
1402.13/1406.02 c #Conflicts: 1088000 | #Constraints: 26772
1402.13/1406.02 c #Conflicts: 1089000 | #Constraints: 27772
1402.13/1406.02 c #Conflicts: 1090000 | #Constraints: 28772
1402.13/1406.02 c #Conflicts: 1091000 | #Constraints: 29772
1402.13/1406.02 c #Conflicts: 1092000 | #Constraints: 30772
1402.13/1406.02 c #Conflicts: 1093000 | #Constraints: 31772
1402.13/1406.02 c #Conflicts: 1094000 | #Constraints: 32772
1402.13/1406.02 c #Conflicts: 1095000 | #Constraints: 33772
1402.13/1406.02 c #Conflicts: 1096000 | #Constraints: 34772
1402.13/1406.02 c #Conflicts: 1097000 | #Constraints: 35772
1402.13/1406.02 c #Conflicts: 1098000 | #Constraints: 36772
1402.13/1406.02 c #Conflicts: 1099000 | #Constraints: 37772
1402.13/1406.02 c #Conflicts: 1100000 | #Constraints: 38772
1402.13/1406.02 c #Conflicts: 1101000 | #Constraints: 39772
1402.13/1406.02 c #Conflicts: 1102000 | #Constraints: 40772
1402.13/1406.02 c #Conflicts: 1103000 | #Constraints: 41772
1402.13/1406.02 c #Conflicts: 1104000 | #Constraints: 42772
1402.13/1406.02 c INPROCESSING
1402.13/1406.02 c GARBAGE COLLECT
1402.13/1406.02 c #Conflicts: 1105000 | #Constraints: 22973
1402.13/1406.02 c #Conflicts: 1106000 | #Constraints: 23973
1402.13/1406.02 c #Conflicts: 1107000 | #Constraints: 24973
1402.13/1406.02 c #Conflicts: 1108000 | #Constraints: 25973
1402.13/1406.02 c #Conflicts: 1109000 | #Constraints: 26973
1402.13/1406.02 c #Conflicts: 1110000 | #Constraints: 27973
1402.13/1406.02 c #Conflicts: 1111000 | #Constraints: 28973
1402.13/1406.02 c #Conflicts: 1112000 | #Constraints: 29973
1402.13/1406.02 c #Conflicts: 1113000 | #Constraints: 30973
1402.13/1406.02 c #Conflicts: 1114000 | #Constraints: 31973
1402.13/1406.02 c #Conflicts: 1115000 | #Constraints: 32973
1402.13/1406.02 c #Conflicts: 1116000 | #Constraints: 33973
1402.13/1406.02 c #Conflicts: 1117000 | #Constraints: 34973
1402.13/1406.02 c #Conflicts: 1118000 | #Constraints: 35973
1402.13/1406.02 c #Conflicts: 1119000 | #Constraints: 36973
1402.13/1406.02 c #Conflicts: 1120000 | #Constraints: 37973
1402.13/1406.02 c #Conflicts: 1121000 | #Constraints: 38973
1402.13/1406.02 c #Conflicts: 1122000 | #Constraints: 39973
1402.13/1406.02 c #Conflicts: 1123000 | #Constraints: 40973
1402.13/1406.02 c #Conflicts: 1124000 | #Constraints: 41973
1402.13/1406.02 c #Conflicts: 1125000 | #Constraints: 42973
1402.13/1406.02 c INPROCESSING
1402.13/1406.02 c GARBAGE COLLECT
1402.13/1406.02 c #Conflicts: 1126000 | #Constraints: 22974
1537.34/1541.64 c #Conflicts: 1127000 | #Constraints: 23974
1537.34/1541.64 c #Conflicts: 1128000 | #Constraints: 24974
1537.34/1541.64 c #Conflicts: 1129000 | #Constraints: 25974
1537.34/1541.64 c #Conflicts: 1130000 | #Constraints: 26974
1537.34/1541.64 c #Conflicts: 1131000 | #Constraints: 27974
1537.34/1541.64 c #Conflicts: 1132000 | #Constraints: 28974
1537.34/1541.64 c #Conflicts: 1133000 | #Constraints: 29974
1537.34/1541.64 c #Conflicts: 1134000 | #Constraints: 30974
1537.34/1541.64 c #Conflicts: 1135000 | #Constraints: 31974
1537.34/1541.64 c #Conflicts: 1136000 | #Constraints: 32974
1537.34/1541.64 c #Conflicts: 1137000 | #Constraints: 33974
1537.34/1541.64 c #Conflicts: 1138000 | #Constraints: 34974
1537.34/1541.64 c #Conflicts: 1139000 | #Constraints: 35974
1537.34/1541.64 c #Conflicts: 1140000 | #Constraints: 36974
1537.34/1541.64 c #Conflicts: 1141000 | #Constraints: 37974
1537.34/1541.64 c #Conflicts: 1142000 | #Constraints: 38974
1537.34/1541.64 c #Conflicts: 1143000 | #Constraints: 39974
1537.34/1541.64 c #Conflicts: 1144000 | #Constraints: 40974
1537.34/1541.64 c #Conflicts: 1145000 | #Constraints: 41974
1537.34/1541.64 c #Conflicts: 1146000 | #Constraints: 42974
1537.34/1541.64 c INPROCESSING
1537.34/1541.64 c GARBAGE COLLECT
1537.34/1541.64 c #Conflicts: 1147000 | #Constraints: 22773
1537.34/1541.64 c #Conflicts: 1148000 | #Constraints: 23773
1537.34/1541.64 c #Conflicts: 1149000 | #Constraints: 24773
1537.34/1541.64 c #Conflicts: 1150000 | #Constraints: 25773
1537.34/1541.64 c #Conflicts: 1151000 | #Constraints: 26773
1537.34/1541.64 c #Conflicts: 1152000 | #Constraints: 27773
1537.34/1541.64 c #Conflicts: 1153000 | #Constraints: 28773
1537.34/1541.64 c #Conflicts: 1154000 | #Constraints: 29773
1537.34/1541.64 c #Conflicts: 1155000 | #Constraints: 30773
1537.34/1541.64 c #Conflicts: 1156000 | #Constraints: 31773
1537.34/1541.64 c #Conflicts: 1157000 | #Constraints: 32773
1537.34/1541.64 c #Conflicts: 1158000 | #Constraints: 33773
1537.34/1541.64 c #Conflicts: 1159000 | #Constraints: 34773
1537.34/1541.64 c #Conflicts: 1160000 | #Constraints: 35773
1537.34/1541.64 c #Conflicts: 1161000 | #Constraints: 36773
1537.34/1541.64 c #Conflicts: 1162000 | #Constraints: 37773
1537.34/1541.64 c #Conflicts: 1163000 | #Constraints: 38773
1537.34/1541.64 c #Conflicts: 1164000 | #Constraints: 39773
1537.34/1541.64 c #Conflicts: 1165000 | #Constraints: 40773
1537.34/1541.64 c #Conflicts: 1166000 | #Constraints: 41773
1537.34/1541.64 c #Conflicts: 1167000 | #Constraints: 42773
1537.34/1541.64 c #Conflicts: 1168000 | #Constraints: 43773
1537.34/1541.64 c INPROCESSING
1537.34/1541.64 c GARBAGE COLLECT
1537.34/1541.64 c #Conflicts: 1169000 | #Constraints: 23374
1537.34/1541.64 c #Conflicts: 1170000 | #Constraints: 24374
1537.34/1541.64 c #Conflicts: 1171000 | #Constraints: 25374
1537.34/1541.64 c #Conflicts: 1172000 | #Constraints: 26374
1537.34/1541.64 c #Conflicts: 1173000 | #Constraints: 27374
1537.34/1541.64 c #Conflicts: 1174000 | #Constraints: 28374
1537.34/1541.64 c #Conflicts: 1175000 | #Constraints: 29374
1537.34/1541.64 c #Conflicts: 1176000 | #Constraints: 30374
1537.34/1541.64 c #Conflicts: 1177000 | #Constraints: 31374
1537.34/1541.64 c #Conflicts: 1178000 | #Constraints: 32374
1537.34/1541.64 c #Conflicts: 1179000 | #Constraints: 33374
1537.34/1541.64 c #Conflicts: 1180000 | #Constraints: 34374
1537.34/1541.64 c #Conflicts: 1181000 | #Constraints: 35374
1537.34/1541.64 c #Conflicts: 1182000 | #Constraints: 36374
1537.34/1541.64 c #Conflicts: 1183000 | #Constraints: 37374
1537.34/1541.64 c #Conflicts: 1184000 | #Constraints: 38374
1537.34/1541.64 c #Conflicts: 1185000 | #Constraints: 39374
1537.34/1541.64 c #Conflicts: 1186000 | #Constraints: 40374
1537.34/1541.64 c #Conflicts: 1187000 | #Constraints: 41374
1537.34/1541.64 c #Conflicts: 1188000 | #Constraints: 42374
1537.34/1541.64 c #Conflicts: 1189000 | #Constraints: 43374
1537.34/1541.64 c #Conflicts: 1190000 | #Constraints: 44374
1537.34/1541.64 c INPROCESSING
1537.34/1541.64 c GARBAGE COLLECT
1537.34/1541.64 c #Conflicts: 1191000 | #Constraints: 23773
1537.34/1541.64 c #Conflicts: 1192000 | #Constraints: 24773
1537.34/1541.64 c #Conflicts: 1193000 | #Constraints: 25773
1537.34/1541.64 c #Conflicts: 1194000 | #Constraints: 26773
1537.34/1541.64 c #Conflicts: 1195000 | #Constraints: 27773
1537.34/1541.64 c #Conflicts: 1196000 | #Constraints: 28773
1537.34/1541.64 c #Conflicts: 1197000 | #Constraints: 29773
1537.34/1541.64 c #Conflicts: 1198000 | #Constraints: 30773
1537.34/1541.64 c #Conflicts: 1199000 | #Constraints: 31773
1537.34/1541.64 c #Conflicts: 1200000 | #Constraints: 32773
1537.34/1541.64 c #Conflicts: 1201000 | #Constraints: 33773
1537.34/1541.64 c #Conflicts: 1202000 | #Constraints: 34773
1537.34/1541.64 c #Conflicts: 1203000 | #Constraints: 35773
1677.14/1681.86 c #Conflicts: 1204000 | #Constraints: 36773
1677.14/1681.86 c #Conflicts: 1205000 | #Constraints: 37773
1677.14/1681.86 c #Conflicts: 1206000 | #Constraints: 38773
1677.14/1681.86 c #Conflicts: 1207000 | #Constraints: 39773
1677.14/1681.86 c #Conflicts: 1208000 | #Constraints: 40773
1677.14/1681.86 c #Conflicts: 1209000 | #Constraints: 41773
1677.14/1681.86 c #Conflicts: 1210000 | #Constraints: 42773
1677.14/1681.86 c #Conflicts: 1211000 | #Constraints: 43773
1677.14/1681.86 c #Conflicts: 1212000 | #Constraints: 44773
1677.14/1681.86 c INPROCESSING
1677.14/1681.86 c GARBAGE COLLECT
1677.14/1681.86 c #Conflicts: 1213000 | #Constraints: 23972
1677.14/1681.86 c #Conflicts: 1214000 | #Constraints: 24972
1677.14/1681.86 c #Conflicts: 1215000 | #Constraints: 25972
1677.14/1681.86 c #Conflicts: 1216000 | #Constraints: 26972
1677.14/1681.86 c #Conflicts: 1217000 | #Constraints: 27972
1677.14/1681.86 c #Conflicts: 1218000 | #Constraints: 28972
1677.14/1681.86 c #Conflicts: 1219000 | #Constraints: 29972
1677.14/1681.86 c #Conflicts: 1220000 | #Constraints: 30972
1677.14/1681.86 c #Conflicts: 1221000 | #Constraints: 31972
1677.14/1681.86 c #Conflicts: 1222000 | #Constraints: 32972
1677.14/1681.86 c #Conflicts: 1223000 | #Constraints: 33972
1677.14/1681.86 c #Conflicts: 1224000 | #Constraints: 34972
1677.14/1681.86 c #Conflicts: 1225000 | #Constraints: 35972
1677.14/1681.86 c #Conflicts: 1226000 | #Constraints: 36972
1677.14/1681.86 c #Conflicts: 1227000 | #Constraints: 37972
1677.14/1681.86 c #Conflicts: 1228000 | #Constraints: 38972
1677.14/1681.86 c #Conflicts: 1229000 | #Constraints: 39972
1677.14/1681.86 c #Conflicts: 1230000 | #Constraints: 40972
1677.14/1681.86 c #Conflicts: 1231000 | #Constraints: 41972
1677.14/1681.86 c #Conflicts: 1232000 | #Constraints: 42972
1677.14/1681.86 c #Conflicts: 1233000 | #Constraints: 43972
1677.14/1681.86 c #Conflicts: 1234000 | #Constraints: 44972
1677.14/1681.86 c INPROCESSING
1677.14/1681.86 c GARBAGE COLLECT
1677.14/1681.86 c #Conflicts: 1235000 | #Constraints: 23972
1677.14/1681.86 c #Conflicts: 1236000 | #Constraints: 24972
1677.14/1681.86 c #Conflicts: 1237000 | #Constraints: 25972
1677.14/1681.86 c #Conflicts: 1238000 | #Constraints: 26972
1677.14/1681.86 c #Conflicts: 1239000 | #Constraints: 27972
1677.14/1681.86 c #Conflicts: 1240000 | #Constraints: 28972
1677.14/1681.86 c #Conflicts: 1241000 | #Constraints: 29972
1677.14/1681.86 c #Conflicts: 1242000 | #Constraints: 30972
1677.14/1681.86 c #Conflicts: 1243000 | #Constraints: 31972
1677.14/1681.86 c #Conflicts: 1244000 | #Constraints: 32972
1677.14/1681.86 c #Conflicts: 1245000 | #Constraints: 33972
1677.14/1681.86 c #Conflicts: 1246000 | #Constraints: 34972
1677.14/1681.86 c #Conflicts: 1247000 | #Constraints: 35972
1677.14/1681.86 c #Conflicts: 1248000 | #Constraints: 36972
1677.14/1681.86 c #Conflicts: 1249000 | #Constraints: 37972
1677.14/1681.86 c #Conflicts: 1250000 | #Constraints: 38972
1677.14/1681.86 c #Conflicts: 1251000 | #Constraints: 39972
1677.14/1681.86 c #Conflicts: 1252000 | #Constraints: 40972
1677.14/1681.86 c #Conflicts: 1253000 | #Constraints: 41972
1677.14/1681.86 c #Conflicts: 1254000 | #Constraints: 42972
1677.14/1681.86 c #Conflicts: 1255000 | #Constraints: 43972
1677.14/1681.86 c #Conflicts: 1256000 | #Constraints: 44972
1677.14/1681.86 c INPROCESSING
1677.14/1681.86 c GARBAGE COLLECT
1677.14/1681.86 c #Conflicts: 1257000 | #Constraints: 23772
1677.14/1681.86 c #Conflicts: 1258000 | #Constraints: 24772
1677.14/1681.86 c #Conflicts: 1259000 | #Constraints: 25772
1677.14/1681.86 c #Conflicts: 1260000 | #Constraints: 26772
1677.14/1681.86 c #Conflicts: 1261000 | #Constraints: 27772
1677.14/1681.86 c #Conflicts: 1262000 | #Constraints: 28772
1677.14/1681.86 c #Conflicts: 1263000 | #Constraints: 29772
1677.14/1681.86 c #Conflicts: 1264000 | #Constraints: 30772
1677.14/1681.86 c #Conflicts: 1265000 | #Constraints: 31772
1677.14/1681.86 c #Conflicts: 1266000 | #Constraints: 32772
1677.14/1681.86 c #Conflicts: 1267000 | #Constraints: 33772
1677.14/1681.86 c #Conflicts: 1268000 | #Constraints: 34772
1677.14/1681.86 c #Conflicts: 1269000 | #Constraints: 35772
1677.14/1681.86 c #Conflicts: 1270000 | #Constraints: 36772
1677.14/1681.86 c #Conflicts: 1271000 | #Constraints: 37772
1677.14/1681.86 c #Conflicts: 1272000 | #Constraints: 38772
1677.14/1681.86 c #Conflicts: 1273000 | #Constraints: 39772
1677.14/1681.86 c #Conflicts: 1274000 | #Constraints: 40772
1677.14/1681.86 c #Conflicts: 1275000 | #Constraints: 41772
1677.14/1681.86 c #Conflicts: 1276000 | #Constraints: 42772
1677.14/1681.86 c #Conflicts: 1277000 | #Constraints: 43772
1677.14/1681.86 c #Conflicts: 1278000 | #Constraints: 44772
1677.14/1681.86 c #Conflicts: 1279000 | #Constraints: 45772
1782.24/1787.28 c INPROCESSING
1782.24/1787.28 c GARBAGE COLLECT
1782.24/1787.28 c #Conflicts: 1280000 | #Constraints: 24371
1782.24/1787.28 c #Conflicts: 1281000 | #Constraints: 25371
1782.24/1787.28 c #Conflicts: 1282000 | #Constraints: 26371
1782.24/1787.28 c #Conflicts: 1283000 | #Constraints: 27371
1782.24/1787.28 c #Conflicts: 1284000 | #Constraints: 28371
1782.24/1787.28 c #Conflicts: 1285000 | #Constraints: 29371
1782.24/1787.28 c #Conflicts: 1286000 | #Constraints: 30371
1782.24/1787.28 c #Conflicts: 1287000 | #Constraints: 31371
1782.24/1787.28 c #Conflicts: 1288000 | #Constraints: 32371
1782.24/1787.28 c #Conflicts: 1289000 | #Constraints: 33371
1782.24/1787.28 c #Conflicts: 1290000 | #Constraints: 34371
1782.24/1787.28 c #Conflicts: 1291000 | #Constraints: 35371
1782.24/1787.28 c #Conflicts: 1292000 | #Constraints: 36371
1782.24/1787.28 c #Conflicts: 1293000 | #Constraints: 37371
1782.24/1787.28 c #Conflicts: 1294000 | #Constraints: 38371
1782.24/1787.28 c #Conflicts: 1295000 | #Constraints: 39371
1782.24/1787.28 c #Conflicts: 1296000 | #Constraints: 40371
1782.24/1787.28 c #Conflicts: 1297000 | #Constraints: 41371
1782.24/1787.28 c #Conflicts: 1298000 | #Constraints: 42371
1782.24/1787.28 c #Conflicts: 1299000 | #Constraints: 43371
1782.24/1787.28 c #Conflicts: 1300000 | #Constraints: 44371
1782.24/1787.28 c #Conflicts: 1301000 | #Constraints: 45371
1782.24/1787.28 c #Conflicts: 1302000 | #Constraints: 46371
1782.24/1787.28 c INPROCESSING
1782.24/1787.28 c GARBAGE COLLECT
1782.24/1787.28 c #Conflicts: 1303000 | #Constraints: 24771
1782.24/1787.28 c #Conflicts: 1304000 | #Constraints: 25771
1782.24/1787.28 c #Conflicts: 1305000 | #Constraints: 26771
1782.24/1787.28 c #Conflicts: 1306000 | #Constraints: 27771
1782.24/1787.28 c #Conflicts: 1307000 | #Constraints: 28771
1782.24/1787.28 c #Conflicts: 1308000 | #Constraints: 29771
1782.24/1787.28 c #Conflicts: 1309000 | #Constraints: 30771
1782.24/1787.28 c #Conflicts: 1310000 | #Constraints: 31771
1782.24/1787.28 c #Conflicts: 1311000 | #Constraints: 32771
1782.24/1787.28 c #Conflicts: 1312000 | #Constraints: 33771
1782.24/1787.28 c #Conflicts: 1313000 | #Constraints: 34771
1782.24/1787.28 c #Conflicts: 1314000 | #Constraints: 35771
1782.24/1787.28 c #Conflicts: 1315000 | #Constraints: 36771
1782.24/1787.28 c #Conflicts: 1316000 | #Constraints: 37771
1782.24/1787.28 c #Conflicts: 1317000 | #Constraints: 38771
1782.24/1787.28 c #Conflicts: 1318000 | #Constraints: 39771
1782.24/1787.28 c #Conflicts: 1319000 | #Constraints: 40771
1782.24/1787.28 c #Conflicts: 1320000 | #Constraints: 41771
1782.24/1787.28 c #Conflicts: 1321000 | #Constraints: 42771
1782.24/1787.28 c #Conflicts: 1322000 | #Constraints: 43771
1782.24/1787.28 c #Conflicts: 1323000 | #Constraints: 44771
1782.24/1787.28 c #Conflicts: 1324000 | #Constraints: 45771
1782.24/1787.28 c #Conflicts: 1325000 | #Constraints: 46771
1782.24/1787.28 c INPROCESSING
1782.24/1787.28 c GARBAGE COLLECT
1782.24/1787.28 c #Conflicts: 1326000 | #Constraints: 24972
1782.24/1787.28 c #Conflicts: 1327000 | #Constraints: 25972
1782.24/1787.28 c #Conflicts: 1328000 | #Constraints: 26972
1782.24/1787.28 c #Conflicts: 1329000 | #Constraints: 27972
1782.24/1787.28 c #Conflicts: 1330000 | #Constraints: 28972
1782.24/1787.28 c #Conflicts: 1331000 | #Constraints: 29972
1782.24/1787.28 c #Conflicts: 1332000 | #Constraints: 30972
1782.24/1787.28 c #Conflicts: 1333000 | #Constraints: 31972
1782.24/1787.28 c #Conflicts: 1334000 | #Constraints: 32972
1782.24/1787.28 c #Conflicts: 1335000 | #Constraints: 33972
1782.24/1787.28 c #Conflicts: 1336000 | #Constraints: 34972
1782.24/1787.28 c #Conflicts: 1337000 | #Constraints: 35972
1782.24/1787.28 c #Conflicts: 1338000 | #Constraints: 36972
1782.24/1787.28 c #Conflicts: 1339000 | #Constraints: 37972
1782.24/1787.28 c #Conflicts: 1340000 | #Constraints: 38972
1782.24/1787.28 c #Conflicts: 1341000 | #Constraints: 39972
1782.24/1787.28 c #Conflicts: 1342000 | #Constraints: 40972
1782.24/1787.28 c #Conflicts: 1343000 | #Constraints: 41972
1782.24/1787.28 c #Conflicts: 1344000 | #Constraints: 42972
1782.24/1787.28 c #Conflicts: 1345000 | #Constraints: 43972
1782.24/1787.28 c #Conflicts: 1346000 | #Constraints: 44972
1782.24/1787.28 c #Conflicts: 1347000 | #Constraints: 45972
1782.24/1787.28 c #Conflicts: 1348000 | #Constraints: 46972
1782.24/1787.28 c INPROCESSING
1782.24/1787.28 c GARBAGE COLLECT
1782.24/1787.28 c #Conflicts: 1349000 | #Constraints: 24972
1782.24/1787.28 c #Conflicts: 1350000 | #Constraints: 25972
1782.24/1787.28 c #Conflicts: 1351000 | #Constraints: 26972
1782.24/1787.28 c #Conflicts: 1352000 | #Constraints: 27972
1782.24/1787.28 c #Conflicts: 1353000 | #Constraints: 28972
1782.24/1787.28 c #Conflicts: 1354000 | #Constraints: 29972
1782.24/1787.28 c #Conflicts: 1355000 | #Constraints: 30972
1782.24/1787.28 c #Conflicts: 1356000 | #Constraints: 31972
1912.97/1918.39 c #Conflicts: 1357000 | #Constraints: 32972
1912.97/1918.39 c #Conflicts: 1358000 | #Constraints: 33972
1912.97/1918.39 c #Conflicts: 1359000 | #Constraints: 34972
1912.97/1918.39 c #Conflicts: 1360000 | #Constraints: 35972
1912.97/1918.39 c #Conflicts: 1361000 | #Constraints: 36972
1912.97/1918.39 c #Conflicts: 1362000 | #Constraints: 37972
1912.97/1918.39 c #Conflicts: 1363000 | #Constraints: 38972
1912.97/1918.39 c #Conflicts: 1364000 | #Constraints: 39972
1912.97/1918.39 c #Conflicts: 1365000 | #Constraints: 40972
1912.97/1918.39 c #Conflicts: 1366000 | #Constraints: 41972
1912.97/1918.39 c #Conflicts: 1367000 | #Constraints: 42972
1912.97/1918.39 c #Conflicts: 1368000 | #Constraints: 43972
1912.97/1918.39 c #Conflicts: 1369000 | #Constraints: 44972
1912.97/1918.39 c #Conflicts: 1370000 | #Constraints: 45972
1912.97/1918.39 c #Conflicts: 1371000 | #Constraints: 46972
1912.97/1918.39 c INPROCESSING
1912.97/1918.39 c GARBAGE COLLECT
1912.97/1918.39 c #Conflicts: 1372000 | #Constraints: 24771
1912.97/1918.39 c #Conflicts: 1373000 | #Constraints: 25771
1912.97/1918.39 c #Conflicts: 1374000 | #Constraints: 26771
1912.97/1918.39 c #Conflicts: 1375000 | #Constraints: 27771
1912.97/1918.39 c #Conflicts: 1376000 | #Constraints: 28771
1912.97/1918.39 c #Conflicts: 1377000 | #Constraints: 29771
1912.97/1918.39 c #Conflicts: 1378000 | #Constraints: 30771
1912.97/1918.39 c #Conflicts: 1379000 | #Constraints: 31771
1912.97/1918.39 c #Conflicts: 1380000 | #Constraints: 32771
1912.97/1918.39 c #Conflicts: 1381000 | #Constraints: 33771
1912.97/1918.39 c #Conflicts: 1382000 | #Constraints: 34771
1912.97/1918.39 c #Conflicts: 1383000 | #Constraints: 35771
1912.97/1918.39 c #Conflicts: 1384000 | #Constraints: 36771
1912.97/1918.39 c #Conflicts: 1385000 | #Constraints: 37771
1912.97/1918.39 c #Conflicts: 1386000 | #Constraints: 38771
1912.97/1918.39 c #Conflicts: 1387000 | #Constraints: 39771
1912.97/1918.39 c #Conflicts: 1388000 | #Constraints: 40771
1912.97/1918.39 c #Conflicts: 1389000 | #Constraints: 41771
1912.97/1918.39 c #Conflicts: 1390000 | #Constraints: 42771
1912.97/1918.39 c #Conflicts: 1391000 | #Constraints: 43771
1912.97/1918.39 c #Conflicts: 1392000 | #Constraints: 44771
1912.97/1918.39 c #Conflicts: 1393000 | #Constraints: 45771
1912.97/1918.39 c #Conflicts: 1394000 | #Constraints: 46771
1912.97/1918.39 c #Conflicts: 1395000 | #Constraints: 47771
1912.97/1918.39 c INPROCESSING
1912.97/1918.39 c GARBAGE COLLECT
1912.97/1918.39 c #Conflicts: 1396000 | #Constraints: 25371
1912.97/1918.39 c #Conflicts: 1397000 | #Constraints: 26371
1912.97/1918.39 c #Conflicts: 1398000 | #Constraints: 27371
1912.97/1918.39 c #Conflicts: 1399000 | #Constraints: 28371
1912.97/1918.39 c #Conflicts: 1400000 | #Constraints: 29371
1912.97/1918.39 c #Conflicts: 1401000 | #Constraints: 30371
1912.97/1918.39 c #Conflicts: 1402000 | #Constraints: 31371
1912.97/1918.39 c #Conflicts: 1403000 | #Constraints: 32371
1912.97/1918.39 c #Conflicts: 1404000 | #Constraints: 33371
1912.97/1918.39 c #Conflicts: 1405000 | #Constraints: 34371
1912.97/1918.39 c #Conflicts: 1406000 | #Constraints: 35371
1912.97/1918.39 c #Conflicts: 1407000 | #Constraints: 36371
1912.97/1918.39 c #Conflicts: 1408000 | #Constraints: 37371
1912.97/1918.39 c #Conflicts: 1409000 | #Constraints: 38371
1912.97/1918.39 c #Conflicts: 1410000 | #Constraints: 39371
1912.97/1918.39 c #Conflicts: 1411000 | #Constraints: 40371
1912.97/1918.39 c #Conflicts: 1412000 | #Constraints: 41371
1912.97/1918.39 c #Conflicts: 1413000 | #Constraints: 42371
1912.97/1918.39 c #Conflicts: 1414000 | #Constraints: 43371
1912.97/1918.39 c #Conflicts: 1415000 | #Constraints: 44371
1912.97/1918.39 c #Conflicts: 1416000 | #Constraints: 45371
1912.97/1918.39 c #Conflicts: 1417000 | #Constraints: 46371
1912.97/1918.39 c #Conflicts: 1418000 | #Constraints: 47371
1912.97/1918.39 c #Conflicts: 1419000 | #Constraints: 48371
1912.97/1918.39 c INPROCESSING
1912.97/1918.39 c GARBAGE COLLECT
1912.97/1918.39 c #Conflicts: 1420000 | #Constraints: 25774
1912.97/1918.39 c #Conflicts: 1421000 | #Constraints: 26774
1912.97/1918.39 c #Conflicts: 1422000 | #Constraints: 27774
1912.97/1918.39 c #Conflicts: 1423000 | #Constraints: 28774
1912.97/1918.39 c #Conflicts: 1424000 | #Constraints: 29774
1912.97/1918.39 c #Conflicts: 1425000 | #Constraints: 30774
1912.97/1918.39 c #Conflicts: 1426000 | #Constraints: 31774
1912.97/1918.39 c #Conflicts: 1427000 | #Constraints: 32774
1912.97/1918.39 c #Conflicts: 1428000 | #Constraints: 33774
1912.97/1918.39 c #Conflicts: 1429000 | #Constraints: 34774
1912.97/1918.39 c #Conflicts: 1430000 | #Constraints: 35774
1912.97/1918.39 c #Conflicts: 1431000 | #Constraints: 36774
1912.97/1918.39 c #Conflicts: 1432000 | #Constraints: 37774
1912.97/1918.39 c #Conflicts: 1433000 | #Constraints: 38774
2059.03/2064.80 c #Conflicts: 1434000 | #Constraints: 39774
2059.03/2064.80 c #Conflicts: 1435000 | #Constraints: 40774
2059.03/2064.80 c #Conflicts: 1436000 | #Constraints: 41774
2059.03/2064.80 c #Conflicts: 1437000 | #Constraints: 42774
2059.03/2064.80 c #Conflicts: 1438000 | #Constraints: 43774
2059.03/2064.80 c #Conflicts: 1439000 | #Constraints: 44774
2059.03/2064.80 c #Conflicts: 1440000 | #Constraints: 45774
2059.03/2064.80 c #Conflicts: 1441000 | #Constraints: 46774
2059.03/2064.80 c #Conflicts: 1442000 | #Constraints: 47774
2059.03/2064.80 c #Conflicts: 1443000 | #Constraints: 48774
2059.03/2064.80 c INPROCESSING
2059.03/2064.80 c GARBAGE COLLECT
2059.03/2064.80 c #Conflicts: 1444000 | #Constraints: 25975
2059.03/2064.80 c #Conflicts: 1445000 | #Constraints: 26975
2059.03/2064.80 c #Conflicts: 1446000 | #Constraints: 27975
2059.03/2064.80 c #Conflicts: 1447000 | #Constraints: 28975
2059.03/2064.80 c #Conflicts: 1448000 | #Constraints: 29975
2059.03/2064.80 c #Conflicts: 1449000 | #Constraints: 30975
2059.03/2064.80 c #Conflicts: 1450000 | #Constraints: 31975
2059.03/2064.80 c #Conflicts: 1451000 | #Constraints: 32975
2059.03/2064.80 c #Conflicts: 1452000 | #Constraints: 33975
2059.03/2064.80 c #Conflicts: 1453000 | #Constraints: 34975
2059.03/2064.80 c #Conflicts: 1454000 | #Constraints: 35975
2059.03/2064.80 c #Conflicts: 1455000 | #Constraints: 36975
2059.03/2064.80 c #Conflicts: 1456000 | #Constraints: 37975
2059.03/2064.80 c #Conflicts: 1457000 | #Constraints: 38975
2059.03/2064.80 c #Conflicts: 1458000 | #Constraints: 39975
2059.03/2064.80 c #Conflicts: 1459000 | #Constraints: 40975
2059.03/2064.80 c #Conflicts: 1460000 | #Constraints: 41975
2059.03/2064.80 c #Conflicts: 1461000 | #Constraints: 42975
2059.03/2064.80 c #Conflicts: 1462000 | #Constraints: 43975
2059.03/2064.80 c #Conflicts: 1463000 | #Constraints: 44975
2059.03/2064.80 c #Conflicts: 1464000 | #Constraints: 45975
2059.03/2064.80 c #Conflicts: 1465000 | #Constraints: 46975
2059.03/2064.80 c #Conflicts: 1466000 | #Constraints: 47975
2059.03/2064.80 c #Conflicts: 1467000 | #Constraints: 48975
2059.03/2064.80 c INPROCESSING
2059.03/2064.80 c GARBAGE COLLECT
2059.03/2064.80 c #Conflicts: 1468000 | #Constraints: 25973
2059.03/2064.80 c #Conflicts: 1469000 | #Constraints: 26973
2059.03/2064.80 c #Conflicts: 1470000 | #Constraints: 27973
2059.03/2064.80 c #Conflicts: 1471000 | #Constraints: 28973
2059.03/2064.80 c #Conflicts: 1472000 | #Constraints: 29973
2059.03/2064.80 c #Conflicts: 1473000 | #Constraints: 30973
2059.03/2064.80 c #Conflicts: 1474000 | #Constraints: 31973
2059.03/2064.80 c #Conflicts: 1475000 | #Constraints: 32973
2059.03/2064.80 c #Conflicts: 1476000 | #Constraints: 33973
2059.03/2064.80 c #Conflicts: 1477000 | #Constraints: 34973
2059.03/2064.80 c #Conflicts: 1478000 | #Constraints: 35973
2059.03/2064.80 c #Conflicts: 1479000 | #Constraints: 36973
2059.03/2064.80 c #Conflicts: 1480000 | #Constraints: 37973
2059.03/2064.80 c #Conflicts: 1481000 | #Constraints: 38973
2059.03/2064.80 c #Conflicts: 1482000 | #Constraints: 39973
2059.03/2064.80 c #Conflicts: 1483000 | #Constraints: 40973
2059.03/2064.80 c #Conflicts: 1484000 | #Constraints: 41973
2059.03/2064.80 c #Conflicts: 1485000 | #Constraints: 42973
2059.03/2064.80 c #Conflicts: 1486000 | #Constraints: 43973
2059.03/2064.80 c #Conflicts: 1487000 | #Constraints: 44973
2059.03/2064.80 c #Conflicts: 1488000 | #Constraints: 45973
2059.03/2064.80 c #Conflicts: 1489000 | #Constraints: 46973
2059.03/2064.80 c #Conflicts: 1490000 | #Constraints: 47973
2059.03/2064.80 c #Conflicts: 1491000 | #Constraints: 48973
2059.03/2064.80 c INPROCESSING
2059.03/2064.80 c GARBAGE COLLECT
2059.03/2064.80 c #Conflicts: 1492000 | #Constraints: 25773
2059.03/2064.80 c #Conflicts: 1493000 | #Constraints: 26773
2059.03/2064.80 c #Conflicts: 1494000 | #Constraints: 27773
2059.03/2064.80 c #Conflicts: 1495000 | #Constraints: 28773
2059.03/2064.80 c #Conflicts: 1496000 | #Constraints: 29773
2059.03/2064.80 c #Conflicts: 1497000 | #Constraints: 30773
2059.03/2064.80 c #Conflicts: 1498000 | #Constraints: 31773
2059.03/2064.80 c #Conflicts: 1499000 | #Constraints: 32773
2059.03/2064.80 c #Conflicts: 1500000 | #Constraints: 33773
2059.03/2064.80 c #Conflicts: 1501000 | #Constraints: 34773
2059.03/2064.80 c #Conflicts: 1502000 | #Constraints: 35773
2059.03/2064.80 c #Conflicts: 1503000 | #Constraints: 36773
2059.03/2064.80 c #Conflicts: 1504000 | #Constraints: 37773
2059.03/2064.80 c #Conflicts: 1505000 | #Constraints: 38773
2059.03/2064.80 c #Conflicts: 1506000 | #Constraints: 39773
2059.03/2064.80 c #Conflicts: 1507000 | #Constraints: 40773
2059.03/2064.80 c #Conflicts: 1508000 | #Constraints: 41773
2059.03/2064.80 c #Conflicts: 1509000 | #Constraints: 42773
2269.24/2275.66 c #Conflicts: 1510000 | #Constraints: 43773
2269.24/2275.66 c #Conflicts: 1511000 | #Constraints: 44773
2269.24/2275.66 c #Conflicts: 1512000 | #Constraints: 45773
2269.24/2275.66 c #Conflicts: 1513000 | #Constraints: 46773
2269.24/2275.66 c #Conflicts: 1514000 | #Constraints: 47773
2269.24/2275.66 c #Conflicts: 1515000 | #Constraints: 48773
2269.24/2275.66 c #Conflicts: 1516000 | #Constraints: 49773
2269.24/2275.66 c INPROCESSING
2269.24/2275.66 c GARBAGE COLLECT
2269.24/2275.66 c #Conflicts: 1517000 | #Constraints: 26374
2269.24/2275.66 c #Conflicts: 1518000 | #Constraints: 27374
2269.24/2275.66 c #Conflicts: 1519000 | #Constraints: 28374
2269.24/2275.66 c #Conflicts: 1520000 | #Constraints: 29374
2269.24/2275.66 c #Conflicts: 1521000 | #Constraints: 30374
2269.24/2275.66 c #Conflicts: 1522000 | #Constraints: 31374
2269.24/2275.66 c #Conflicts: 1523000 | #Constraints: 32374
2269.24/2275.66 c #Conflicts: 1524000 | #Constraints: 33374
2269.24/2275.66 c #Conflicts: 1525000 | #Constraints: 34374
2269.24/2275.66 c #Conflicts: 1526000 | #Constraints: 35374
2269.24/2275.66 c #Conflicts: 1527000 | #Constraints: 36374
2269.24/2275.66 c #Conflicts: 1528000 | #Constraints: 37374
2269.24/2275.66 c #Conflicts: 1529000 | #Constraints: 38374
2269.24/2275.66 c #Conflicts: 1530000 | #Constraints: 39374
2269.24/2275.66 c #Conflicts: 1531000 | #Constraints: 40374
2269.24/2275.66 c #Conflicts: 1532000 | #Constraints: 41374
2269.24/2275.66 c #Conflicts: 1533000 | #Constraints: 42374
2269.24/2275.66 c #Conflicts: 1534000 | #Constraints: 43374
2269.24/2275.66 c #Conflicts: 1535000 | #Constraints: 44374
2269.24/2275.66 c #Conflicts: 1536000 | #Constraints: 45374
2269.24/2275.66 c #Conflicts: 1537000 | #Constraints: 46374
2269.24/2275.66 c #Conflicts: 1538000 | #Constraints: 47374
2269.24/2275.66 c #Conflicts: 1539000 | #Constraints: 48374
2269.24/2275.66 c #Conflicts: 1540000 | #Constraints: 49374
2269.24/2275.66 c #Conflicts: 1541000 | #Constraints: 50374
2269.24/2275.66 c INPROCESSING
2269.24/2275.66 c GARBAGE COLLECT
2269.24/2275.66 c #Conflicts: 1542000 | #Constraints: 26775
2269.24/2275.66 c #Conflicts: 1543000 | #Constraints: 27775
2269.24/2275.66 c #Conflicts: 1544000 | #Constraints: 28775
2269.24/2275.66 c #Conflicts: 1545000 | #Constraints: 29775
2269.24/2275.66 c #Conflicts: 1546000 | #Constraints: 30775
2269.24/2275.66 c #Conflicts: 1547000 | #Constraints: 31775
2269.24/2275.66 c #Conflicts: 1548000 | #Constraints: 32775
2269.24/2275.66 c #Conflicts: 1549000 | #Constraints: 33775
2269.24/2275.66 c #Conflicts: 1550000 | #Constraints: 34775
2269.24/2275.66 c #Conflicts: 1551000 | #Constraints: 35775
2269.24/2275.66 c #Conflicts: 1552000 | #Constraints: 36775
2269.24/2275.66 c #Conflicts: 1553000 | #Constraints: 37775
2269.24/2275.66 c #Conflicts: 1554000 | #Constraints: 38775
2269.24/2275.66 c #Conflicts: 1555000 | #Constraints: 39775
2269.24/2275.66 c #Conflicts: 1556000 | #Constraints: 40775
2269.24/2275.66 c #Conflicts: 1557000 | #Constraints: 41775
2269.24/2275.66 c #Conflicts: 1558000 | #Constraints: 42775
2269.24/2275.66 c #Conflicts: 1559000 | #Constraints: 43775
2269.24/2275.66 c #Conflicts: 1560000 | #Constraints: 44775
2269.24/2275.66 c #Conflicts: 1561000 | #Constraints: 45775
2269.24/2275.66 c #Conflicts: 1562000 | #Constraints: 46775
2269.24/2275.66 c #Conflicts: 1563000 | #Constraints: 47775
2269.24/2275.66 c #Conflicts: 1564000 | #Constraints: 48775
2269.24/2275.66 c #Conflicts: 1565000 | #Constraints: 49775
2269.24/2275.66 c #Conflicts: 1566000 | #Constraints: 50775
2269.24/2275.66 c INPROCESSING
2269.24/2275.66 c GARBAGE COLLECT
2269.24/2275.66 c #Conflicts: 1567000 | #Constraints: 26973
2269.24/2275.66 c #Conflicts: 1568000 | #Constraints: 27973
2269.24/2275.66 c #Conflicts: 1569000 | #Constraints: 28973
2269.24/2275.66 c #Conflicts: 1570000 | #Constraints: 29973
2269.24/2275.66 c #Conflicts: 1571000 | #Constraints: 30973
2269.24/2275.66 c #Conflicts: 1572000 | #Constraints: 31973
2269.24/2275.66 c #Conflicts: 1573000 | #Constraints: 32973
2269.24/2275.66 c #Conflicts: 1574000 | #Constraints: 33973
2269.24/2275.66 c #Conflicts: 1575000 | #Constraints: 34973
2269.24/2275.66 c #Conflicts: 1576000 | #Constraints: 35973
2269.24/2275.66 c #Conflicts: 1577000 | #Constraints: 36973
2269.24/2275.66 c #Conflicts: 1578000 | #Constraints: 37973
2269.24/2275.66 c #Conflicts: 1579000 | #Constraints: 38973
2269.24/2275.66 c #Conflicts: 1580000 | #Constraints: 39973
2269.24/2275.66 c #Conflicts: 1581000 | #Constraints: 40973
2269.24/2275.66 c #Conflicts: 1582000 | #Constraints: 41973
2269.24/2275.66 c #Conflicts: 1583000 | #Constraints: 42973
2269.24/2275.66 c #Conflicts: 1584000 | #Constraints: 43973
2269.24/2275.66 c #Conflicts: 1585000 | #Constraints: 44973
2269.24/2275.66 c #Conflicts: 1586000 | #Constraints: 45973
2423.71/2430.55 c #Conflicts: 1587000 | #Constraints: 46973
2423.71/2430.55 c #Conflicts: 1588000 | #Constraints: 47973
2423.71/2430.55 c #Conflicts: 1589000 | #Constraints: 48973
2423.71/2430.55 c #Conflicts: 1590000 | #Constraints: 49973
2423.71/2430.55 c #Conflicts: 1591000 | #Constraints: 50973
2423.71/2430.55 c INPROCESSING
2423.71/2430.55 c GARBAGE COLLECT
2423.71/2430.55 c #Conflicts: 1592000 | #Constraints: 26972
2423.71/2430.55 c #Conflicts: 1593000 | #Constraints: 27972
2423.71/2430.55 c #Conflicts: 1594000 | #Constraints: 28972
2423.71/2430.55 c #Conflicts: 1595000 | #Constraints: 29972
2423.71/2430.55 c #Conflicts: 1596000 | #Constraints: 30972
2423.71/2430.55 c #Conflicts: 1597000 | #Constraints: 31972
2423.71/2430.55 c #Conflicts: 1598000 | #Constraints: 32972
2423.71/2430.55 c #Conflicts: 1599000 | #Constraints: 33972
2423.71/2430.55 c #Conflicts: 1600000 | #Constraints: 34972
2423.71/2430.55 c #Conflicts: 1601000 | #Constraints: 35972
2423.71/2430.55 c #Conflicts: 1602000 | #Constraints: 36972
2423.71/2430.55 c #Conflicts: 1603000 | #Constraints: 37972
2423.71/2430.55 c #Conflicts: 1604000 | #Constraints: 38972
2423.71/2430.55 c #Conflicts: 1605000 | #Constraints: 39972
2423.71/2430.55 c #Conflicts: 1606000 | #Constraints: 40972
2423.71/2430.55 c #Conflicts: 1607000 | #Constraints: 41972
2423.71/2430.55 c #Conflicts: 1608000 | #Constraints: 42972
2423.71/2430.55 c #Conflicts: 1609000 | #Constraints: 43972
2423.71/2430.55 c #Conflicts: 1610000 | #Constraints: 44972
2423.71/2430.55 c #Conflicts: 1611000 | #Constraints: 45972
2423.71/2430.55 c #Conflicts: 1612000 | #Constraints: 46972
2423.71/2430.55 c #Conflicts: 1613000 | #Constraints: 47972
2423.71/2430.55 c #Conflicts: 1614000 | #Constraints: 48972
2423.71/2430.55 c #Conflicts: 1615000 | #Constraints: 49972
2423.71/2430.55 c #Conflicts: 1616000 | #Constraints: 50972
2423.71/2430.55 c INPROCESSING
2423.71/2430.55 c GARBAGE COLLECT
2423.71/2430.55 c #Conflicts: 1617000 | #Constraints: 26775
2423.71/2430.55 c #Conflicts: 1618000 | #Constraints: 27775
2423.71/2430.55 c #Conflicts: 1619000 | #Constraints: 28775
2423.71/2430.55 c #Conflicts: 1620000 | #Constraints: 29775
2423.71/2430.55 c #Conflicts: 1621000 | #Constraints: 30775
2423.71/2430.55 c #Conflicts: 1622000 | #Constraints: 31775
2423.71/2430.55 c #Conflicts: 1623000 | #Constraints: 32775
2423.71/2430.55 c #Conflicts: 1624000 | #Constraints: 33775
2423.71/2430.55 c #Conflicts: 1625000 | #Constraints: 34775
2423.71/2430.55 c #Conflicts: 1626000 | #Constraints: 35775
2423.71/2430.55 c #Conflicts: 1627000 | #Constraints: 36775
2423.71/2430.55 c #Conflicts: 1628000 | #Constraints: 37775
2423.71/2430.55 c #Conflicts: 1629000 | #Constraints: 38775
2423.71/2430.55 c #Conflicts: 1630000 | #Constraints: 39775
2423.71/2430.55 c #Conflicts: 1631000 | #Constraints: 40775
2423.71/2430.55 c #Conflicts: 1632000 | #Constraints: 41775
2423.71/2430.55 c #Conflicts: 1633000 | #Constraints: 42775
2423.71/2430.55 c #Conflicts: 1634000 | #Constraints: 43775
2423.71/2430.55 c #Conflicts: 1635000 | #Constraints: 44775
2423.71/2430.55 c #Conflicts: 1636000 | #Constraints: 45775
2423.71/2430.55 c #Conflicts: 1637000 | #Constraints: 46775
2423.71/2430.55 c #Conflicts: 1638000 | #Constraints: 47775
2423.71/2430.55 c #Conflicts: 1639000 | #Constraints: 48775
2423.71/2430.55 c #Conflicts: 1640000 | #Constraints: 49775
2423.71/2430.55 c #Conflicts: 1641000 | #Constraints: 50775
2423.71/2430.55 c #Conflicts: 1642000 | #Constraints: 51775
2423.71/2430.55 c INPROCESSING
2423.71/2430.55 c GARBAGE COLLECT
2423.71/2430.55 c #Conflicts: 1643000 | #Constraints: 27376
2423.71/2430.55 c #Conflicts: 1644000 | #Constraints: 28376
2423.71/2430.55 c #Conflicts: 1645000 | #Constraints: 29376
2423.71/2430.55 c #Conflicts: 1646000 | #Constraints: 30376
2423.71/2430.55 c #Conflicts: 1647000 | #Constraints: 31376
2423.71/2430.55 c #Conflicts: 1648000 | #Constraints: 32376
2423.71/2430.55 c #Conflicts: 1649000 | #Constraints: 33376
2423.71/2430.55 c #Conflicts: 1650000 | #Constraints: 34376
2423.71/2430.55 c #Conflicts: 1651000 | #Constraints: 35376
2423.71/2430.55 c #Conflicts: 1652000 | #Constraints: 36376
2423.71/2430.55 c #Conflicts: 1653000 | #Constraints: 37376
2423.71/2430.55 c #Conflicts: 1654000 | #Constraints: 38376
2423.71/2430.55 c #Conflicts: 1655000 | #Constraints: 39376
2423.71/2430.55 c #Conflicts: 1656000 | #Constraints: 40376
2423.71/2430.55 c #Conflicts: 1657000 | #Constraints: 41376
2423.71/2430.55 c #Conflicts: 1658000 | #Constraints: 42376
2423.71/2430.55 c #Conflicts: 1659000 | #Constraints: 43376
2423.71/2430.55 c #Conflicts: 1660000 | #Constraints: 44376
2423.71/2430.55 c #Conflicts: 1661000 | #Constraints: 45376
2423.71/2430.55 c #Conflicts: 1662000 | #Constraints: 46376
2423.71/2430.55 c #Conflicts: 1663000 | #Constraints: 47376
2580.55/2587.82 c #Conflicts: 1664000 | #Constraints: 48376
2580.55/2587.82 c #Conflicts: 1665000 | #Constraints: 49376
2580.55/2587.82 c #Conflicts: 1666000 | #Constraints: 50376
2580.55/2587.82 c #Conflicts: 1667000 | #Constraints: 51376
2580.55/2587.82 c #Conflicts: 1668000 | #Constraints: 52376
2580.55/2587.82 c INPROCESSING
2580.55/2587.82 c GARBAGE COLLECT
2580.55/2587.82 c #Conflicts: 1669000 | #Constraints: 27773
2580.55/2587.82 c #Conflicts: 1670000 | #Constraints: 28773
2580.55/2587.82 c #Conflicts: 1671000 | #Constraints: 29773
2580.55/2587.82 c #Conflicts: 1672000 | #Constraints: 30773
2580.55/2587.82 c #Conflicts: 1673000 | #Constraints: 31773
2580.55/2587.82 c #Conflicts: 1674000 | #Constraints: 32773
2580.55/2587.82 c #Conflicts: 1675000 | #Constraints: 33773
2580.55/2587.82 c #Conflicts: 1676000 | #Constraints: 34773
2580.55/2587.82 c #Conflicts: 1677000 | #Constraints: 35773
2580.55/2587.82 c #Conflicts: 1678000 | #Constraints: 36773
2580.55/2587.82 c #Conflicts: 1679000 | #Constraints: 37773
2580.55/2587.82 c #Conflicts: 1680000 | #Constraints: 38773
2580.55/2587.82 c #Conflicts: 1681000 | #Constraints: 39773
2580.55/2587.82 c #Conflicts: 1682000 | #Constraints: 40773
2580.55/2587.82 c #Conflicts: 1683000 | #Constraints: 41773
2580.55/2587.82 c #Conflicts: 1684000 | #Constraints: 42773
2580.55/2587.82 c #Conflicts: 1685000 | #Constraints: 43773
2580.55/2587.82 c #Conflicts: 1686000 | #Constraints: 44773
2580.55/2587.82 c #Conflicts: 1687000 | #Constraints: 45773
2580.55/2587.82 c #Conflicts: 1688000 | #Constraints: 46773
2580.55/2587.82 c #Conflicts: 1689000 | #Constraints: 47773
2580.55/2587.82 c #Conflicts: 1690000 | #Constraints: 48773
2580.55/2587.82 c #Conflicts: 1691000 | #Constraints: 49773
2580.55/2587.82 c #Conflicts: 1692000 | #Constraints: 50773
2580.55/2587.82 c #Conflicts: 1693000 | #Constraints: 51773
2580.55/2587.82 c #Conflicts: 1694000 | #Constraints: 52773
2580.55/2587.82 c INPROCESSING
2580.55/2587.82 c GARBAGE COLLECT
2580.55/2587.82 c #Conflicts: 1695000 | #Constraints: 27972
2580.55/2587.82 c #Conflicts: 1696000 | #Constraints: 28972
2580.55/2587.82 c #Conflicts: 1697000 | #Constraints: 29972
2580.55/2587.82 c #Conflicts: 1698000 | #Constraints: 30972
2580.55/2587.82 c #Conflicts: 1699000 | #Constraints: 31972
2580.55/2587.82 c #Conflicts: 1700000 | #Constraints: 32972
2580.55/2587.82 c #Conflicts: 1701000 | #Constraints: 33972
2580.55/2587.82 c #Conflicts: 1702000 | #Constraints: 34972
2580.55/2587.82 c #Conflicts: 1703000 | #Constraints: 35972
2580.55/2587.82 c #Conflicts: 1704000 | #Constraints: 36972
2580.55/2587.82 c #Conflicts: 1705000 | #Constraints: 37972
2580.55/2587.82 c #Conflicts: 1706000 | #Constraints: 38972
2580.55/2587.82 c #Conflicts: 1707000 | #Constraints: 39972
2580.55/2587.82 c #Conflicts: 1708000 | #Constraints: 40972
2580.55/2587.82 c #Conflicts: 1709000 | #Constraints: 41972
2580.55/2587.82 c #Conflicts: 1710000 | #Constraints: 42972
2580.55/2587.82 c #Conflicts: 1711000 | #Constraints: 43972
2580.55/2587.82 c #Conflicts: 1712000 | #Constraints: 44972
2580.55/2587.82 c #Conflicts: 1713000 | #Constraints: 45972
2580.55/2587.82 c #Conflicts: 1714000 | #Constraints: 46972
2580.55/2587.82 c #Conflicts: 1715000 | #Constraints: 47972
2580.55/2587.82 c #Conflicts: 1716000 | #Constraints: 48972
2580.55/2587.82 c #Conflicts: 1717000 | #Constraints: 49972
2580.55/2587.82 c #Conflicts: 1718000 | #Constraints: 50972
2580.55/2587.82 c #Conflicts: 1719000 | #Constraints: 51972
2580.55/2587.82 c #Conflicts: 1720000 | #Constraints: 52972
2580.55/2587.82 c INPROCESSING
2580.55/2587.82 c GARBAGE COLLECT
2580.55/2587.82 c #Conflicts: 1721000 | #Constraints: 27972
2580.55/2587.82 c #Conflicts: 1722000 | #Constraints: 28972
2580.55/2587.82 c #Conflicts: 1723000 | #Constraints: 29972
2580.55/2587.82 c #Conflicts: 1724000 | #Constraints: 30972
2580.55/2587.82 c #Conflicts: 1725000 | #Constraints: 31972
2580.55/2587.82 c #Conflicts: 1726000 | #Constraints: 32972
2580.55/2587.82 c #Conflicts: 1727000 | #Constraints: 33972
2580.55/2587.82 c #Conflicts: 1728000 | #Constraints: 34972
2580.55/2587.82 c #Conflicts: 1729000 | #Constraints: 35972
2580.55/2587.82 c #Conflicts: 1730000 | #Constraints: 36972
2580.55/2587.82 c #Conflicts: 1731000 | #Constraints: 37972
2580.55/2587.82 c #Conflicts: 1732000 | #Constraints: 38972
2580.55/2587.82 c #Conflicts: 1733000 | #Constraints: 39972
2580.55/2587.82 c #Conflicts: 1734000 | #Constraints: 40972
2580.55/2587.82 c #Conflicts: 1735000 | #Constraints: 41972
2580.55/2587.82 c #Conflicts: 1736000 | #Constraints: 42972
2580.55/2587.82 c #Conflicts: 1737000 | #Constraints: 43972
2580.55/2587.82 c #Conflicts: 1738000 | #Constraints: 44972
2580.55/2587.82 c #Conflicts: 1739000 | #Constraints: 45972
2580.55/2587.82 c #Conflicts: 1740000 | #Constraints: 46972
2756.63/2764.46 c #Conflicts: 1741000 | #Constraints: 47972
2756.63/2764.46 c #Conflicts: 1742000 | #Constraints: 48972
2756.63/2764.46 c #Conflicts: 1743000 | #Constraints: 49972
2756.63/2764.46 c #Conflicts: 1744000 | #Constraints: 50972
2756.63/2764.46 c #Conflicts: 1745000 | #Constraints: 51972
2756.63/2764.46 c #Conflicts: 1746000 | #Constraints: 52972
2756.63/2764.46 c INPROCESSING
2756.63/2764.46 c GARBAGE COLLECT
2756.63/2764.46 c #Conflicts: 1747000 | #Constraints: 27772
2756.63/2764.46 c #Conflicts: 1748000 | #Constraints: 28772
2756.63/2764.46 c #Conflicts: 1749000 | #Constraints: 29772
2756.63/2764.46 c #Conflicts: 1750000 | #Constraints: 30772
2756.63/2764.46 c #Conflicts: 1751000 | #Constraints: 31772
2756.63/2764.46 c #Conflicts: 1752000 | #Constraints: 32772
2756.63/2764.46 c #Conflicts: 1753000 | #Constraints: 33772
2756.63/2764.46 c #Conflicts: 1754000 | #Constraints: 34772
2756.63/2764.46 c #Conflicts: 1755000 | #Constraints: 35772
2756.63/2764.46 c #Conflicts: 1756000 | #Constraints: 36772
2756.63/2764.46 c #Conflicts: 1757000 | #Constraints: 37772
2756.63/2764.46 c #Conflicts: 1758000 | #Constraints: 38772
2756.63/2764.46 c #Conflicts: 1759000 | #Constraints: 39772
2756.63/2764.46 c #Conflicts: 1760000 | #Constraints: 40772
2756.63/2764.46 c #Conflicts: 1761000 | #Constraints: 41772
2756.63/2764.46 c #Conflicts: 1762000 | #Constraints: 42772
2756.63/2764.46 c #Conflicts: 1763000 | #Constraints: 43772
2756.63/2764.46 c #Conflicts: 1764000 | #Constraints: 44772
2756.63/2764.46 c #Conflicts: 1765000 | #Constraints: 45772
2756.63/2764.46 c #Conflicts: 1766000 | #Constraints: 46772
2756.63/2764.46 c #Conflicts: 1767000 | #Constraints: 47772
2756.63/2764.46 c #Conflicts: 1768000 | #Constraints: 48772
2756.63/2764.46 c #Conflicts: 1769000 | #Constraints: 49772
2756.63/2764.46 c #Conflicts: 1770000 | #Constraints: 50772
2756.63/2764.46 c #Conflicts: 1771000 | #Constraints: 51772
2756.63/2764.46 c #Conflicts: 1772000 | #Constraints: 52772
2756.63/2764.46 c #Conflicts: 1773000 | #Constraints: 53772
2756.63/2764.46 c INPROCESSING
2756.63/2764.46 c GARBAGE COLLECT
2756.63/2764.46 c #Conflicts: 1774000 | #Constraints: 28372
2756.63/2764.46 c #Conflicts: 1775000 | #Constraints: 29372
2756.63/2764.46 c #Conflicts: 1776000 | #Constraints: 30372
2756.63/2764.46 c #Conflicts: 1777000 | #Constraints: 31372
2756.63/2764.46 c #Conflicts: 1778000 | #Constraints: 32372
2756.63/2764.46 c #Conflicts: 1779000 | #Constraints: 33372
2756.63/2764.46 c #Conflicts: 1780000 | #Constraints: 34372
2756.63/2764.46 c #Conflicts: 1781000 | #Constraints: 35372
2756.63/2764.46 c #Conflicts: 1782000 | #Constraints: 36372
2756.63/2764.46 c #Conflicts: 1783000 | #Constraints: 37372
2756.63/2764.46 c #Conflicts: 1784000 | #Constraints: 38372
2756.63/2764.46 c #Conflicts: 1785000 | #Constraints: 39372
2756.63/2764.46 c #Conflicts: 1786000 | #Constraints: 40372
2756.63/2764.46 c #Conflicts: 1787000 | #Constraints: 41372
2756.63/2764.46 c #Conflicts: 1788000 | #Constraints: 42372
2756.63/2764.46 c #Conflicts: 1789000 | #Constraints: 43372
2756.63/2764.46 c #Conflicts: 1790000 | #Constraints: 44372
2756.63/2764.46 c #Conflicts: 1791000 | #Constraints: 45372
2756.63/2764.46 c #Conflicts: 1792000 | #Constraints: 46372
2756.63/2764.46 c #Conflicts: 1793000 | #Constraints: 47372
2756.63/2764.46 c #Conflicts: 1794000 | #Constraints: 48372
2756.63/2764.46 c #Conflicts: 1795000 | #Constraints: 49372
2756.63/2764.46 c #Conflicts: 1796000 | #Constraints: 50372
2756.63/2764.46 c #Conflicts: 1797000 | #Constraints: 51372
2756.63/2764.46 c #Conflicts: 1798000 | #Constraints: 52372
2756.63/2764.46 c #Conflicts: 1799000 | #Constraints: 53372
2756.63/2764.46 c #Conflicts: 1800000 | #Constraints: 54372
2756.63/2764.46 c INPROCESSING
2756.63/2764.46 c GARBAGE COLLECT
2756.63/2764.46 c #Conflicts: 1801000 | #Constraints: 28773
2756.63/2764.46 c #Conflicts: 1802000 | #Constraints: 29773
2756.63/2764.46 c #Conflicts: 1803000 | #Constraints: 30773
2756.63/2764.46 c #Conflicts: 1804000 | #Constraints: 31773
2756.63/2764.46 c #Conflicts: 1805000 | #Constraints: 32773
2756.63/2764.46 c #Conflicts: 1806000 | #Constraints: 33773
2756.63/2764.46 c #Conflicts: 1807000 | #Constraints: 34773
2756.63/2764.46 c #Conflicts: 1808000 | #Constraints: 35773
2756.63/2764.46 c #Conflicts: 1809000 | #Constraints: 36773
2756.63/2764.46 c #Conflicts: 1810000 | #Constraints: 37773
2756.63/2764.46 c #Conflicts: 1811000 | #Constraints: 38773
2756.63/2764.46 c #Conflicts: 1812000 | #Constraints: 39773
2756.63/2764.46 c #Conflicts: 1813000 | #Constraints: 40773
2756.63/2764.46 c #Conflicts: 1814000 | #Constraints: 41773
2756.63/2764.46 c #Conflicts: 1815000 | #Constraints: 42773
2756.63/2764.46 c #Conflicts: 1816000 | #Constraints: 43773
2756.63/2764.46 c #Conflicts: 1817000 | #Constraints: 44773
2939.60/2947.99 c #Conflicts: 1818000 | #Constraints: 45773
2939.60/2947.99 c #Conflicts: 1819000 | #Constraints: 46773
2939.60/2947.99 c #Conflicts: 1820000 | #Constraints: 47773
2939.60/2947.99 c #Conflicts: 1821000 | #Constraints: 48773
2939.60/2947.99 c #Conflicts: 1822000 | #Constraints: 49773
2939.60/2947.99 c #Conflicts: 1823000 | #Constraints: 50773
2939.60/2947.99 c #Conflicts: 1824000 | #Constraints: 51773
2939.60/2947.99 c #Conflicts: 1825000 | #Constraints: 52773
2939.60/2947.99 c #Conflicts: 1826000 | #Constraints: 53773
2939.60/2947.99 c #Conflicts: 1827000 | #Constraints: 54773
2939.60/2947.99 c INPROCESSING
2939.60/2947.99 c GARBAGE COLLECT
2939.60/2947.99 c #Conflicts: 1828000 | #Constraints: 28972
2939.60/2947.99 c #Conflicts: 1829000 | #Constraints: 29972
2939.60/2947.99 c #Conflicts: 1830000 | #Constraints: 30972
2939.60/2947.99 c #Conflicts: 1831000 | #Constraints: 31972
2939.60/2947.99 c #Conflicts: 1832000 | #Constraints: 32972
2939.60/2947.99 c #Conflicts: 1833000 | #Constraints: 33972
2939.60/2947.99 c #Conflicts: 1834000 | #Constraints: 34972
2939.60/2947.99 c #Conflicts: 1835000 | #Constraints: 35972
2939.60/2947.99 c #Conflicts: 1836000 | #Constraints: 36972
2939.60/2947.99 c #Conflicts: 1837000 | #Constraints: 37972
2939.60/2947.99 c #Conflicts: 1838000 | #Constraints: 38972
2939.60/2947.99 c #Conflicts: 1839000 | #Constraints: 39972
2939.60/2947.99 c #Conflicts: 1840000 | #Constraints: 40972
2939.60/2947.99 c #Conflicts: 1841000 | #Constraints: 41972
2939.60/2947.99 c #Conflicts: 1842000 | #Constraints: 42972
2939.60/2947.99 c #Conflicts: 1843000 | #Constraints: 43972
2939.60/2947.99 c #Conflicts: 1844000 | #Constraints: 44972
2939.60/2947.99 c #Conflicts: 1845000 | #Constraints: 45972
2939.60/2947.99 c #Conflicts: 1846000 | #Constraints: 46972
2939.60/2947.99 c #Conflicts: 1847000 | #Constraints: 47972
2939.60/2947.99 c #Conflicts: 1848000 | #Constraints: 48972
2939.60/2947.99 c #Conflicts: 1849000 | #Constraints: 49972
2939.60/2947.99 c #Conflicts: 1850000 | #Constraints: 50972
2939.60/2947.99 c #Conflicts: 1851000 | #Constraints: 51972
2939.60/2947.99 c #Conflicts: 1852000 | #Constraints: 52972
2939.60/2947.99 c #Conflicts: 1853000 | #Constraints: 53972
2939.60/2947.99 c #Conflicts: 1854000 | #Constraints: 54972
2939.60/2947.99 c INPROCESSING
2939.60/2947.99 c GARBAGE COLLECT
2939.60/2947.99 c #Conflicts: 1855000 | #Constraints: 28973
2939.60/2947.99 c #Conflicts: 1856000 | #Constraints: 29973
2939.60/2947.99 c #Conflicts: 1857000 | #Constraints: 30973
2939.60/2947.99 c #Conflicts: 1858000 | #Constraints: 31973
2939.60/2947.99 c #Conflicts: 1859000 | #Constraints: 32973
2939.60/2947.99 c #Conflicts: 1860000 | #Constraints: 33973
2939.60/2947.99 c #Conflicts: 1861000 | #Constraints: 34973
2939.60/2947.99 c #Conflicts: 1862000 | #Constraints: 35973
2939.60/2947.99 c #Conflicts: 1863000 | #Constraints: 36973
2939.60/2947.99 c #Conflicts: 1864000 | #Constraints: 37973
2939.60/2947.99 c #Conflicts: 1865000 | #Constraints: 38973
2939.60/2947.99 c #Conflicts: 1866000 | #Constraints: 39973
2939.60/2947.99 c #Conflicts: 1867000 | #Constraints: 40973
2939.60/2947.99 c #Conflicts: 1868000 | #Constraints: 41973
2939.60/2947.99 c #Conflicts: 1869000 | #Constraints: 42973
2939.60/2947.99 c #Conflicts: 1870000 | #Constraints: 43973
2939.60/2947.99 c #Conflicts: 1871000 | #Constraints: 44973
2939.60/2947.99 c #Conflicts: 1872000 | #Constraints: 45973
2939.60/2947.99 c #Conflicts: 1873000 | #Constraints: 46973
2939.60/2947.99 c #Conflicts: 1874000 | #Constraints: 47973
2939.60/2947.99 c #Conflicts: 1875000 | #Constraints: 48973
2939.60/2947.99 c #Conflicts: 1876000 | #Constraints: 49973
2939.60/2947.99 c #Conflicts: 1877000 | #Constraints: 50973
2939.60/2947.99 c #Conflicts: 1878000 | #Constraints: 51973
2939.60/2947.99 c #Conflicts: 1879000 | #Constraints: 52973
2939.60/2947.99 c #Conflicts: 1880000 | #Constraints: 53973
2939.60/2947.99 c #Conflicts: 1881000 | #Constraints: 54973
2939.60/2947.99 c INPROCESSING
2939.60/2947.99 c GARBAGE COLLECT
2939.60/2947.99 c #Conflicts: 1882000 | #Constraints: 28772
2939.60/2947.99 c #Conflicts: 1883000 | #Constraints: 29772
2939.60/2947.99 c #Conflicts: 1884000 | #Constraints: 30772
2939.60/2947.99 c #Conflicts: 1885000 | #Constraints: 31772
2939.60/2947.99 c #Conflicts: 1886000 | #Constraints: 32772
2939.60/2947.99 c #Conflicts: 1887000 | #Constraints: 33772
2939.60/2947.99 c #Conflicts: 1888000 | #Constraints: 34772
2939.60/2947.99 c #Conflicts: 1889000 | #Constraints: 35772
2939.60/2947.99 c #Conflicts: 1890000 | #Constraints: 36772
2939.60/2947.99 c #Conflicts: 1891000 | #Constraints: 37772
2939.60/2947.99 c #Conflicts: 1892000 | #Constraints: 38772
2939.60/2947.99 c #Conflicts: 1893000 | #Constraints: 39772
2939.60/2947.99 c #Conflicts: 1894000 | #Constraints: 40772
3100.71/3109.58 c #Conflicts: 1895000 | #Constraints: 41772
3100.71/3109.58 c #Conflicts: 1896000 | #Constraints: 42772
3100.71/3109.58 c #Conflicts: 1897000 | #Constraints: 43772
3100.71/3109.58 c #Conflicts: 1898000 | #Constraints: 44772
3100.71/3109.58 c #Conflicts: 1899000 | #Constraints: 45772
3100.71/3109.58 c #Conflicts: 1900000 | #Constraints: 46772
3100.71/3109.58 c #Conflicts: 1901000 | #Constraints: 47772
3100.71/3109.58 c #Conflicts: 1902000 | #Constraints: 48772
3100.71/3109.58 c #Conflicts: 1903000 | #Constraints: 49772
3100.71/3109.58 c #Conflicts: 1904000 | #Constraints: 50772
3100.71/3109.58 c #Conflicts: 1905000 | #Constraints: 51772
3100.71/3109.58 c #Conflicts: 1906000 | #Constraints: 52772
3100.71/3109.58 c #Conflicts: 1907000 | #Constraints: 53772
3100.71/3109.58 c #Conflicts: 1908000 | #Constraints: 54772
3100.71/3109.58 c #Conflicts: 1909000 | #Constraints: 55772
3100.71/3109.58 c INPROCESSING
3100.71/3109.58 c GARBAGE COLLECT
3100.71/3109.58 c #Conflicts: 1910000 | #Constraints: 29371
3100.71/3109.58 c #Conflicts: 1911000 | #Constraints: 30371
3100.71/3109.58 c #Conflicts: 1912000 | #Constraints: 31371
3100.71/3109.58 c #Conflicts: 1913000 | #Constraints: 32371
3100.71/3109.58 c #Conflicts: 1914000 | #Constraints: 33371
3100.71/3109.58 c #Conflicts: 1915000 | #Constraints: 34371
3100.71/3109.58 c #Conflicts: 1916000 | #Constraints: 35371
3100.71/3109.58 c #Conflicts: 1917000 | #Constraints: 36371
3100.71/3109.58 c #Conflicts: 1918000 | #Constraints: 37371
3100.71/3109.58 c #Conflicts: 1919000 | #Constraints: 38371
3100.71/3109.58 c #Conflicts: 1920000 | #Constraints: 39371
3100.71/3109.58 c #Conflicts: 1921000 | #Constraints: 40371
3100.71/3109.58 c #Conflicts: 1922000 | #Constraints: 41371
3100.71/3109.58 c #Conflicts: 1923000 | #Constraints: 42371
3100.71/3109.58 c #Conflicts: 1924000 | #Constraints: 43371
3100.71/3109.58 c #Conflicts: 1925000 | #Constraints: 44371
3100.71/3109.58 c #Conflicts: 1926000 | #Constraints: 45371
3100.71/3109.58 c #Conflicts: 1927000 | #Constraints: 46371
3100.71/3109.58 c #Conflicts: 1928000 | #Constraints: 47371
3100.71/3109.58 c #Conflicts: 1929000 | #Constraints: 48371
3100.71/3109.58 c #Conflicts: 1930000 | #Constraints: 49371
3100.71/3109.58 c #Conflicts: 1931000 | #Constraints: 50371
3100.71/3109.58 c #Conflicts: 1932000 | #Constraints: 51371
3100.71/3109.58 c #Conflicts: 1933000 | #Constraints: 52371
3100.71/3109.58 c #Conflicts: 1934000 | #Constraints: 53371
3100.71/3109.58 c #Conflicts: 1935000 | #Constraints: 54371
3100.71/3109.58 c #Conflicts: 1936000 | #Constraints: 55371
3100.71/3109.58 c #Conflicts: 1937000 | #Constraints: 56371
3100.71/3109.58 c INPROCESSING
3100.71/3109.58 c GARBAGE COLLECT
3100.71/3109.58 c #Conflicts: 1938000 | #Constraints: 29771
3100.71/3109.58 c #Conflicts: 1939000 | #Constraints: 30771
3100.71/3109.58 c #Conflicts: 1940000 | #Constraints: 31771
3100.71/3109.58 c #Conflicts: 1941000 | #Constraints: 32771
3100.71/3109.58 c #Conflicts: 1942000 | #Constraints: 33771
3100.71/3109.58 c #Conflicts: 1943000 | #Constraints: 34771
3100.71/3109.58 c #Conflicts: 1944000 | #Constraints: 35771
3100.71/3109.58 c #Conflicts: 1945000 | #Constraints: 36771
3100.71/3109.58 c #Conflicts: 1946000 | #Constraints: 37771
3100.71/3109.58 c #Conflicts: 1947000 | #Constraints: 38771
3100.71/3109.58 c #Conflicts: 1948000 | #Constraints: 39771
3100.71/3109.58 c #Conflicts: 1949000 | #Constraints: 40771
3100.71/3109.58 c #Conflicts: 1950000 | #Constraints: 41771
3100.71/3109.58 c #Conflicts: 1951000 | #Constraints: 42771
3100.71/3109.58 c #Conflicts: 1952000 | #Constraints: 43771
3100.71/3109.58 c #Conflicts: 1953000 | #Constraints: 44771
3100.71/3109.58 c #Conflicts: 1954000 | #Constraints: 45771
3100.71/3109.58 c #Conflicts: 1955000 | #Constraints: 46771
3100.71/3109.58 c #Conflicts: 1956000 | #Constraints: 47771
3100.71/3109.58 c #Conflicts: 1957000 | #Constraints: 48771
3100.71/3109.58 c #Conflicts: 1958000 | #Constraints: 49771
3100.71/3109.58 c #Conflicts: 1959000 | #Constraints: 50771
3100.71/3109.58 c #Conflicts: 1960000 | #Constraints: 51771
3100.71/3109.58 c #Conflicts: 1961000 | #Constraints: 52771
3100.71/3109.58 c #Conflicts: 1962000 | #Constraints: 53771
3100.71/3109.58 c #Conflicts: 1963000 | #Constraints: 54771
3100.71/3109.58 c #Conflicts: 1964000 | #Constraints: 55771
3100.71/3109.58 c #Conflicts: 1965000 | #Constraints: 56771
3100.71/3109.58 c INPROCESSING
3100.71/3109.58 c GARBAGE COLLECT
3100.71/3109.58 c #Conflicts: 1966000 | #Constraints: 29973
3100.71/3109.58 c #Conflicts: 1967000 | #Constraints: 30973
3100.71/3109.58 c #Conflicts: 1968000 | #Constraints: 31973
3100.71/3109.58 c #Conflicts: 1969000 | #Constraints: 32973
3100.71/3109.58 c #Conflicts: 1970000 | #Constraints: 33973
3100.71/3109.58 c #Conflicts: 1971000 | #Constraints: 34973
3299.70/3309.19 c #Conflicts: 1972000 | #Constraints: 35973
3299.70/3309.19 c #Conflicts: 1973000 | #Constraints: 36973
3299.70/3309.19 c #Conflicts: 1974000 | #Constraints: 37973
3299.70/3309.19 c #Conflicts: 1975000 | #Constraints: 38973
3299.70/3309.19 c #Conflicts: 1976000 | #Constraints: 39973
3299.70/3309.19 c #Conflicts: 1977000 | #Constraints: 40973
3299.70/3309.19 c #Conflicts: 1978000 | #Constraints: 41973
3299.70/3309.19 c #Conflicts: 1979000 | #Constraints: 42973
3299.70/3309.19 c #Conflicts: 1980000 | #Constraints: 43973
3299.70/3309.19 c #Conflicts: 1981000 | #Constraints: 44973
3299.70/3309.19 c #Conflicts: 1982000 | #Constraints: 45973
3299.70/3309.19 c #Conflicts: 1983000 | #Constraints: 46973
3299.70/3309.19 c #Conflicts: 1984000 | #Constraints: 47973
3299.70/3309.19 c #Conflicts: 1985000 | #Constraints: 48973
3299.70/3309.19 c #Conflicts: 1986000 | #Constraints: 49973
3299.70/3309.19 c #Conflicts: 1987000 | #Constraints: 50973
3299.70/3309.19 c #Conflicts: 1988000 | #Constraints: 51973
3299.70/3309.19 c #Conflicts: 1989000 | #Constraints: 52973
3299.70/3309.19 c #Conflicts: 1990000 | #Constraints: 53973
3299.70/3309.19 c #Conflicts: 1991000 | #Constraints: 54973
3299.70/3309.19 c #Conflicts: 1992000 | #Constraints: 55973
3299.70/3309.19 c #Conflicts: 1993000 | #Constraints: 56973
3299.70/3309.19 c INPROCESSING
3299.70/3309.19 c GARBAGE COLLECT
3299.70/3309.19 c #Conflicts: 1994000 | #Constraints: 29972
3299.70/3309.19 c #Conflicts: 1995000 | #Constraints: 30972
3299.70/3309.19 c #Conflicts: 1996000 | #Constraints: 31972
3299.70/3309.19 c #Conflicts: 1997000 | #Constraints: 32972
3299.70/3309.19 c #Conflicts: 1998000 | #Constraints: 33972
3299.70/3309.19 c #Conflicts: 1999000 | #Constraints: 34972
3299.70/3309.19 c #Conflicts: 2000000 | #Constraints: 35972
3299.70/3309.19 c #Conflicts: 2001000 | #Constraints: 36972
3299.70/3309.19 c #Conflicts: 2002000 | #Constraints: 37972
3299.70/3309.19 c #Conflicts: 2003000 | #Constraints: 38972
3299.70/3309.19 c #Conflicts: 2004000 | #Constraints: 39972
3299.70/3309.19 c #Conflicts: 2005000 | #Constraints: 40972
3299.70/3309.19 c #Conflicts: 2006000 | #Constraints: 41972
3299.70/3309.19 c #Conflicts: 2007000 | #Constraints: 42972
3299.70/3309.19 c #Conflicts: 2008000 | #Constraints: 43972
3299.70/3309.19 c #Conflicts: 2009000 | #Constraints: 44972
3299.70/3309.19 c #Conflicts: 2010000 | #Constraints: 45972
3299.70/3309.19 c #Conflicts: 2011000 | #Constraints: 46972
3299.70/3309.19 c #Conflicts: 2012000 | #Constraints: 47972
3299.70/3309.19 c #Conflicts: 2013000 | #Constraints: 48972
3299.70/3309.19 c #Conflicts: 2014000 | #Constraints: 49972
3299.70/3309.19 c #Conflicts: 2015000 | #Constraints: 50972
3299.70/3309.19 c #Conflicts: 2016000 | #Constraints: 51972
3299.70/3309.19 c #Conflicts: 2017000 | #Constraints: 52972
3299.70/3309.19 c #Conflicts: 2018000 | #Constraints: 53972
3299.70/3309.19 c #Conflicts: 2019000 | #Constraints: 54972
3299.70/3309.19 c #Conflicts: 2020000 | #Constraints: 55972
3299.70/3309.19 c #Conflicts: 2021000 | #Constraints: 56972
3299.70/3309.19 c INPROCESSING
3299.70/3309.19 c GARBAGE COLLECT
3299.70/3309.19 c #Conflicts: 2022000 | #Constraints: 29773
3299.70/3309.19 c #Conflicts: 2023000 | #Constraints: 30773
3299.70/3309.19 c #Conflicts: 2024000 | #Constraints: 31773
3299.70/3309.19 c #Conflicts: 2025000 | #Constraints: 32773
3299.70/3309.19 c #Conflicts: 2026000 | #Constraints: 33773
3299.70/3309.19 c #Conflicts: 2027000 | #Constraints: 34773
3299.70/3309.19 c #Conflicts: 2028000 | #Constraints: 35773
3299.70/3309.19 c #Conflicts: 2029000 | #Constraints: 36773
3299.70/3309.19 c #Conflicts: 2030000 | #Constraints: 37773
3299.70/3309.19 c #Conflicts: 2031000 | #Constraints: 38773
3299.70/3309.19 c #Conflicts: 2032000 | #Constraints: 39773
3299.70/3309.19 c #Conflicts: 2033000 | #Constraints: 40773
3299.70/3309.19 c #Conflicts: 2034000 | #Constraints: 41773
3299.70/3309.19 c #Conflicts: 2035000 | #Constraints: 42773
3299.70/3309.19 c #Conflicts: 2036000 | #Constraints: 43773
3299.70/3309.19 c #Conflicts: 2037000 | #Constraints: 44773
3299.70/3309.19 c #Conflicts: 2038000 | #Constraints: 45773
3299.70/3309.19 c #Conflicts: 2039000 | #Constraints: 46773
3299.70/3309.19 c #Conflicts: 2040000 | #Constraints: 47773
3299.70/3309.19 c #Conflicts: 2041000 | #Constraints: 48773
3299.70/3309.19 c #Conflicts: 2042000 | #Constraints: 49773
3299.70/3309.19 c #Conflicts: 2043000 | #Constraints: 50773
3299.70/3309.19 c #Conflicts: 2044000 | #Constraints: 51773
3299.70/3309.19 c #Conflicts: 2045000 | #Constraints: 52773
3299.70/3309.19 c #Conflicts: 2046000 | #Constraints: 53773
3299.70/3309.19 c #Conflicts: 2047000 | #Constraints: 54773
3299.70/3309.19 c #Conflicts: 2048000 | #Constraints: 55773
3529.06/3539.19 c #Conflicts: 2049000 | #Constraints: 56773
3529.06/3539.19 c #Conflicts: 2050000 | #Constraints: 57773
3529.06/3539.19 c INPROCESSING
3529.06/3539.19 c GARBAGE COLLECT
3529.06/3539.19 c #Conflicts: 2051000 | #Constraints: 30374
3529.06/3539.19 c #Conflicts: 2052000 | #Constraints: 31374
3529.06/3539.19 c #Conflicts: 2053000 | #Constraints: 32374
3529.06/3539.19 c #Conflicts: 2054000 | #Constraints: 33374
3529.06/3539.19 c #Conflicts: 2055000 | #Constraints: 34374
3529.06/3539.19 c #Conflicts: 2056000 | #Constraints: 35374
3529.06/3539.19 c #Conflicts: 2057000 | #Constraints: 36374
3529.06/3539.19 c #Conflicts: 2058000 | #Constraints: 37374
3529.06/3539.19 c #Conflicts: 2059000 | #Constraints: 38374
3529.06/3539.19 c #Conflicts: 2060000 | #Constraints: 39374
3529.06/3539.19 c #Conflicts: 2061000 | #Constraints: 40374
3529.06/3539.19 c #Conflicts: 2062000 | #Constraints: 41374
3529.06/3539.19 c #Conflicts: 2063000 | #Constraints: 42374
3529.06/3539.19 c #Conflicts: 2064000 | #Constraints: 43374
3529.06/3539.19 c #Conflicts: 2065000 | #Constraints: 44374
3529.06/3539.19 c #Conflicts: 2066000 | #Constraints: 45374
3529.06/3539.19 c #Conflicts: 2067000 | #Constraints: 46374
3529.06/3539.19 c #Conflicts: 2068000 | #Constraints: 47374
3529.06/3539.19 c #Conflicts: 2069000 | #Constraints: 48374
3529.06/3539.19 c #Conflicts: 2070000 | #Constraints: 49374
3529.06/3539.19 c #Conflicts: 2071000 | #Constraints: 50374
3529.06/3539.19 c #Conflicts: 2072000 | #Constraints: 51374
3529.06/3539.19 c #Conflicts: 2073000 | #Constraints: 52374
3529.06/3539.19 c #Conflicts: 2074000 | #Constraints: 53374
3529.06/3539.19 c #Conflicts: 2075000 | #Constraints: 54374
3529.06/3539.19 c #Conflicts: 2076000 | #Constraints: 55374
3529.06/3539.19 c #Conflicts: 2077000 | #Constraints: 56374
3529.06/3539.19 c #Conflicts: 2078000 | #Constraints: 57374
3529.06/3539.19 c #Conflicts: 2079000 | #Constraints: 58374
3529.06/3539.19 c INPROCESSING
3529.06/3539.19 c GARBAGE COLLECT
3529.06/3539.19 c #Conflicts: 2080000 | #Constraints: 30773
3529.06/3539.19 c #Conflicts: 2081000 | #Constraints: 31773
3529.06/3539.19 c #Conflicts: 2082000 | #Constraints: 32773
3529.06/3539.19 c #Conflicts: 2083000 | #Constraints: 33773
3529.06/3539.19 c #Conflicts: 2084000 | #Constraints: 34773
3529.06/3539.19 c #Conflicts: 2085000 | #Constraints: 35773
3529.06/3539.19 c #Conflicts: 2086000 | #Constraints: 36773
3529.06/3539.19 c #Conflicts: 2087000 | #Constraints: 37773
3529.06/3539.19 c #Conflicts: 2088000 | #Constraints: 38773
3529.06/3539.19 c #Conflicts: 2089000 | #Constraints: 39773
3529.06/3539.19 c #Conflicts: 2090000 | #Constraints: 40773
3529.06/3539.19 c #Conflicts: 2091000 | #Constraints: 41773
3529.06/3539.19 c #Conflicts: 2092000 | #Constraints: 42773
3529.06/3539.19 c #Conflicts: 2093000 | #Constraints: 43773
3529.06/3539.19 c #Conflicts: 2094000 | #Constraints: 44773
3529.06/3539.19 c #Conflicts: 2095000 | #Constraints: 45773
3529.06/3539.19 c #Conflicts: 2096000 | #Constraints: 46773
3529.06/3539.19 c #Conflicts: 2097000 | #Constraints: 47773
3529.06/3539.19 c #Conflicts: 2098000 | #Constraints: 48773
3529.06/3539.19 c #Conflicts: 2099000 | #Constraints: 49773
3529.06/3539.19 c #Conflicts: 2100000 | #Constraints: 50773
3529.06/3539.19 c #Conflicts: 2101000 | #Constraints: 51773
3529.06/3539.19 c #Conflicts: 2102000 | #Constraints: 52773
3529.06/3539.19 c #Conflicts: 2103000 | #Constraints: 53773
3529.06/3539.19 c #Conflicts: 2104000 | #Constraints: 54773
3529.06/3539.19 c #Conflicts: 2105000 | #Constraints: 55773
3529.06/3539.19 c #Conflicts: 2106000 | #Constraints: 56773
3529.06/3539.19 c #Conflicts: 2107000 | #Constraints: 57773
3529.06/3539.19 c #Conflicts: 2108000 | #Constraints: 58773
3529.06/3539.19 c INPROCESSING
3529.06/3539.19 c GARBAGE COLLECT
3529.06/3539.19 c #Conflicts: 2109000 | #Constraints: 30974
3529.06/3539.19 c #Conflicts: 2110000 | #Constraints: 31974
3529.06/3539.19 c #Conflicts: 2111000 | #Constraints: 32974
3529.06/3539.19 c #Conflicts: 2112000 | #Constraints: 33974
3529.06/3539.19 c #Conflicts: 2113000 | #Constraints: 34974
3529.06/3539.19 c #Conflicts: 2114000 | #Constraints: 35974
3529.06/3539.19 c #Conflicts: 2115000 | #Constraints: 36974
3529.06/3539.19 c #Conflicts: 2116000 | #Constraints: 37974
3529.06/3539.19 c #Conflicts: 2117000 | #Constraints: 38974
3529.06/3539.19 c #Conflicts: 2118000 | #Constraints: 39974
3529.06/3539.19 c #Conflicts: 2119000 | #Constraints: 40974
3529.06/3539.19 c #Conflicts: 2120000 | #Constraints: 41974
3529.06/3539.19 c #Conflicts: 2121000 | #Constraints: 42974
3529.06/3539.19 c #Conflicts: 2122000 | #Constraints: 43974
3529.06/3539.19 c #Conflicts: 2123000 | #Constraints: 44974
3529.06/3539.19 c #Conflicts: 2124000 | #Constraints: 45974
3529.06/3539.19 c #Conflicts: 2125000 | #Constraints: 46974
3600.04/3610.30 c #Conflicts: 2126000 | #Constraints: 47974
3600.04/3610.30 c #Conflicts: 2127000 | #Constraints: 48974
3600.04/3610.30 c #Conflicts: 2128000 | #Constraints: 49974
3600.04/3610.30 c #Conflicts: 2129000 | #Constraints: 50974
3600.04/3610.30 c #Conflicts: 2130000 | #Constraints: 51974
3600.04/3610.30 c #Conflicts: 2131000 | #Constraints: 52974
3600.04/3610.30 c #Conflicts: 2132000 | #Constraints: 53974
3600.04/3610.30 c #Conflicts: 2133000 | #Constraints: 54974
3600.04/3610.30 c #Conflicts: 2134000 | #Constraints: 55974
3600.04/3610.30 c #Conflicts: 2135000 | #Constraints: 56974
3600.04/3610.30 c #Conflicts: 2136000 | #Constraints: 57974
3600.04/3610.30 c #Conflicts: 2137000 | #Constraints: 58974
3600.04/3610.30 c INPROCESSING
3600.04/3610.30 c GARBAGE COLLECT
3600.04/3610.30 c #Conflicts: 2138000 | #Constraints: 30975
3600.04/3610.30 c #Conflicts: 2139000 | #Constraints: 31975
3600.04/3610.30 c #Conflicts: 2140000 | #Constraints: 32975
3600.04/3610.30 c #Conflicts: 2141000 | #Constraints: 33975
3600.04/3610.30 c #Conflicts: 2142000 | #Constraints: 34975
3600.04/3610.30 c #Conflicts: 2143000 | #Constraints: 35975
3600.04/3610.30 c #Conflicts: 2144000 | #Constraints: 36975
3600.04/3610.30 c #Conflicts: 2145000 | #Constraints: 37975
3600.04/3610.30 c #Conflicts: 2146000 | #Constraints: 38975
3600.04/3610.30 c #Conflicts: 2147000 | #Constraints: 39975
3600.04/3610.30 c #Conflicts: 2148000 | #Constraints: 40975
3600.04/3610.30 c #Conflicts: 2149000 | #Constraints: 41975
3600.04/3610.30 c #Conflicts: 2150000 | #Constraints: 42975
3600.04/3610.30 c #Conflicts: 2151000 | #Constraints: 43975
3600.04/3610.30 c #Conflicts: 2152000 | #Constraints: 44975
3600.04/3610.30 c cpu time 3585.56 s
3600.04/3610.30 c deterministic time 210 2.10e+02
3600.04/3610.30 c optimization time 3585.52 s
3600.04/3610.30 c total solve time 0 s
3600.04/3610.30 c core-guided solve time 0 s
3600.04/3610.30 c propagation time 0.003065 s
3600.04/3610.30 c conflict analysis time 0 s
3600.04/3610.30 c propagations 209
3600.04/3610.30 c resolve steps 0
3600.04/3610.30 c decisions 0
3600.04/3610.30 c conflicts 0
3600.04/3610.30 c restarts 0
3600.04/3610.30 c inprocessing phases 0
3600.04/3610.30 c garbage collections 0 ,( -nan )
3600.04/3610.30 c input clauses 7843 ,( 99.67 )
3600.04/3610.30 c input cardinalities 26 ,( 0.33 )
3600.04/3610.30 c input general constraints 0 ,( 0.00 )
3600.04/3610.30 c input average constraint length 2.42
3600.04/3610.30 c input average constraint degree 1.01
3600.04/3610.30 c learned clauses 0 ,( 0.00 )
3600.04/3610.30 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.30 c learned general constraints 0 ,( 0.00 )
3600.04/3610.30 c learned average constraint length 0.00
3600.04/3610.30 c learned average constraint degree 0.00
3600.04/3610.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.30 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3610.30 c watched constraints 0 ,( -nan )
3600.04/3610.30 c counting constraints 0 ,( -nan )
3600.04/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.30 c gcd simplifications 0
3600.04/3610.30 c detected cardinalities 0
3600.04/3610.30 c weakened non-implied lits 0
3600.04/3610.30 c weakened non-implying lits 0
3600.04/3610.30 c original variables 2877
3600.04/3610.30 c clausal propagations 0
3600.04/3610.30 c cardinality propagations 0
3600.04/3610.30 c watched propagations 0
3600.04/3610.30 c counting propagations 0
3600.04/3610.30 c watch lookups 0
3600.04/3610.30 c watch backjump lookups 0
3600.04/3610.30 c watch checks 0
3600.04/3610.30 c propagation checks 0
3600.04/3610.30 c constraint additions 0
3600.04/3610.30 c trail pops 0
3600.04/3610.30 c formula constraints 7869
3600.04/3610.30 c learned constraints 0
3600.04/3610.30 c bound constraints 0
3600.04/3610.30 c core-guided constraints 0
3600.04/3610.30 c encountered formula constraints 0
3600.04/3610.30 c encountered learned constraints 0
3600.04/3610.30 c encountered bound constraints 0
3600.04/3610.30 c encountered core-guided constraints 0
3600.04/3610.30 c LP total time 0 s
3600.04/3610.30 c LP solve time 0 s
3600.04/3610.30 c LP constraints added 0
3600.04/3610.30 c LP constraints removed 0
3600.04/3610.30 c LP pivots internal 0
3600.04/3610.30 c LP pivots root 0
3600.04/3610.30 c LP calls 0
3600.04/3610.30 c LP optimalities 0
3600.04/3610.30 c LP no pivot count 0
3600.04/3610.30 c LP infeasibilities 0
3600.04/3610.30 c LP valid Farkas constraints 0
3600.04/3610.30 c LP learned Farkas constraints 0
3600.04/3610.30 c LP basis resets 0
3600.04/3610.30 c LP cycling count 0
3600.04/3610.30 c LP singular count 0
3600.04/3610.30 c LP no primal count 0
3600.04/3610.30 c LP no farkas count 0
3600.04/3610.30 c LP other issue count 0
3600.04/3610.30 c LP Gomory cuts 0
3600.04/3610.30 c LP learned cuts 0
3600.04/3610.30 c LP deleted cuts 0
3600.04/3610.30 c LP encountered Gomory constraints 0
3600.04/3610.30 c LP encountered Farkas constraints 0
3600.04/3610.30 c LP encountered learned Farkas constraints 0
3600.04/3610.30 c CG auxiliary variables introduced 0
3600.04/3610.30 c CG solutions found 0
3600.04/3610.30 c CG cores constructed 0
3600.04/3610.30 c CG core cardinality constraints returned 0
3600.04/3610.30 c CG unit cores 0
3600.04/3610.30 c CG single cores 0
3600.04/3610.30 c CG blocks removed during cardinality reduction 0
3600.04/3610.30 c CG first core best 0
3600.04/3610.30 c CG decision core best 0
3600.04/3610.30 c CG core reduction tie 0
3600.04/3610.30 c CG core degree average 0.00
3600.04/3610.30 c CG core slack average 0.00
3600.04/3610.30 c CG core upper bound improvements 0
3600.04/3610.30 c STR number of successful calls 0
3600.04/3610.30 c STR number of unsuccessful calls 0
3600.04/3610.30 c STR number of inconclusive calls 0
3600.04/3610.30 c STR number of successful attempts 0
3600.04/3610.30 c STR number of unsuccessful attempts 0
3600.04/3610.30 c STR number of inconclusive attempts 0
3600.04/3610.30 c STR average degree increase per successful call inf
3600.04/3610.30 c STR average degree increase per successful attempt inf
3600.04/3610.30 c STR total number of conflicts for successful attempts 0
3600.04/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.30 c STR average number of conflicts per successful attempt inf
3600.04/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.30 c AVG.sumWPerc -nan
3600.04/3610.30 c bigint constraints 0
3600.04/3610.30 s UNKNOWN
3600.04/3610.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (58688 MiB free)
memory of node 1: 64507 MiB (55554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512709-1751527308/watcher-4512709-1751527308 -o /tmp/evaluation-result-4512709-1751527308/solver-4512709-1751527308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79435 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4512709-1751527308.opb PROOFDIR/proof-4512709-1751527308
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80622, runsolver pid=80619
[startup+0.100064 s]*
/proc/loadavg: 4.15 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116967628/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=69104 memory=21684 CPUtime=0.09 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 3261 0 0 0 8 1 0 0 20 0 1 0 68408696 70762496 5421 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 17276 5421 2400 1147 0 4703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73296 KiB
Current children cumulated memory: 24756 KiB
[startup+0.205917 s]*
/proc/loadavg: 4.15 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116961668/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=72312 memory=25012 CPUtime=0.19 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 4113 0 0 0 17 2 0 0 20 0 1 0 68408696 74047488 6253 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 18078 6253 2400 1147 0 5505 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76504 KiB
Current children cumulated memory: 28084 KiB
[startup+0.305843 s]*
/proc/loadavg: 4.15 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116953604/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=72924 memory=28796 CPUtime=0.29 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 4535 0 0 0 27 2 0 0 20 0 1 0 68408696 74674176 7199 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 18231 7199 2400 1147 0 5658 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77116 KiB
Current children cumulated memory: 31868 KiB
[startup+0.700211 s]
/proc/loadavg: 4.15 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116943524/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=77500 memory=31996 CPUtime=0.68 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 5331 0 0 0 64 4 0 0 20 0 1 0 68408696 79360000 7999 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 19375 7999 2400 1147 0 6802 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81692 KiB
Current children cumulated memory: 35068 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116935712/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=77692 memory=34044 CPUtime=1.48 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 5848 0 0 0 142 6 0 0 20 0 1 0 68408696 79556608 8511 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 19423 8511 2400 1147 0 6850 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81884 KiB
Current children cumulated memory: 37116 KiB
[startup+3.10575 s]
/proc/loadavg: 4.15 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116905160/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=88736 memory=41952 CPUtime=3.07 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 7315 0 0 0 298 9 0 0 20 0 1 0 68408696 90865664 10488 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 22184 10488 2400 1147 0 9611 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 92928 KiB
Current children cumulated memory: 45024 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116838532/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=93924 memory=44768 CPUtime=6.26 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 8013 0 0 0 611 15 0 0 20 0 1 0 68408696 96178176 11192 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 23481 11192 2400 1147 0 10908 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 98116 KiB
Current children cumulated memory: 47840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.12 4.10 5/275 80624
/proc/meminfo: memFree=116798476/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=109732 memory=57208 CPUtime=12.65 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 10616 0 0 0 1243 22 0 0 20 0 1 0 68408696 112365568 14302 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 27433 14302 2400 1147 0 14860 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 113924 KiB
Current children cumulated memory: 60280 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.11 4.09 5/275 80624
/proc/meminfo: memFree=116728376/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=112036 memory=62328 CPUtime=25.41 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 11898 0 0 0 2504 37 0 0 20 0 1 0 68408696 114724864 15582 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 28009 15582 2400 1147 0 15436 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 116228 KiB
Current children cumulated memory: 65400 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.10 4.09 5/275 80624
/proc/meminfo: memFree=116573808/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=121080 memory=71440 CPUtime=50.94 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 13139 0 0 0 5032 62 0 0 20 0 1 0 68408696 123985920 17860 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 30270 17860 2400 1147 0 17697 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 125272 KiB
Current children cumulated memory: 74512 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/275 80626
/proc/meminfo: memFree=116198484/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=151096 memory=92156 CPUtime=101.99 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 17824 0 0 0 10097 102 0 0 20 0 1 0 68408696 154722304 23039 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 37774 23039 2400 1147 0 25201 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 155288 KiB
Current children cumulated memory: 95228 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/275 80629
/proc/meminfo: memFree=115823224/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=166264 memory=100964 CPUtime=161.82 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 19528 0 0 0 16032 150 0 0 20 0 1 0 68408696 170254336 25241 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 41566 25241 2400 1147 0 28993 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 170456 KiB
Current children cumulated memory: 104036 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/275 80631
/proc/meminfo: memFree=115466084/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=169684 memory=107844 CPUtime=221.65 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 20734 0 0 0 21970 195 0 0 20 0 1 0 68408696 173756416 26961 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 42421 26961 2400 1147 0 29848 0
################
# More data... #
################
/proc/80624/statm: 75981 59794 2400 1147 0 63408 0
Current children cumulated CPU time: 3093.53 s
Current children cumulated vsize: 308116 KiB
Current children cumulated memory: 242248 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.12 1.79 2/250 80891
/proc/meminfo: memFree=125222020/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=303924 memory=239176 CPUtime=3153.34 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38536 0 0 0 314006 1328 0 0 20 0 1 0 68408696 311218176 59794 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 75981 59794 2400 1147 0 63408 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 308116 KiB
Current children cumulated memory: 242248 KiB
[startup+3222.3 s]
/proc/loadavg: 1.07 1.11 1.74 2/251 80894
/proc/meminfo: memFree=125181404/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=303924 memory=239176 CPUtime=3213.17 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38536 0 0 0 319971 1346 0 0 20 0 1 0 68408696 311218176 59794 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 75981 59794 2400 1147 0 63408 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 308116 KiB
Current children cumulated memory: 242248 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.12 1.70 2/252 80899
/proc/meminfo: memFree=125129604/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=303924 memory=241296 CPUtime=3272.99 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38537 0 0 0 325935 1364 0 0 20 0 1 0 68408696 311218176 60324 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 75981 60324 2400 1147 0 63408 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 308116 KiB
Current children cumulated memory: 244368 KiB
[startup+3342.3 s]
/proc/loadavg: 1.04 1.10 1.66 2/251 80906
/proc/meminfo: memFree=125091820/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=303924 memory=241296 CPUtime=3332.8 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38537 0 0 0 331899 1381 0 0 20 0 1 0 68408696 311218176 60324 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 75981 60324 2400 1147 0 63408 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 308116 KiB
Current children cumulated memory: 244368 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.11 1.62 2/251 80909
/proc/meminfo: memFree=125040252/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=304380 memory=241680 CPUtime=3392.64 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38650 0 0 0 337865 1399 0 0 20 0 1 0 68408696 311685120 60420 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 76095 60420 2400 1147 0 63522 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 308572 KiB
Current children cumulated memory: 244752 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.10 1.59 2/251 80911
/proc/meminfo: memFree=125006912/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=304380 memory=241680 CPUtime=3452.47 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38650 0 0 0 343838 1409 0 0 20 0 1 0 68408696 311685120 60420 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 76095 60420 2400 1147 0 63522 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 308572 KiB
Current children cumulated memory: 244752 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.11 1.56 2/251 80913
/proc/meminfo: memFree=124950708/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=304948 memory=242064 CPUtime=3512.31 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38734 0 0 0 349805 1426 0 0 20 0 1 0 68408696 312266752 60516 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 76237 60516 2400 1147 0 63664 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 309140 KiB
Current children cumulated memory: 245136 KiB
[startup+3582.3 s]
/proc/loadavg: 1.17 1.12 1.53 2/253 80918
/proc/meminfo: memFree=124873520/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=304948 memory=242064 CPUtime=3572.12 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38734 0 0 0 355772 1440 0 0 20 0 1 0 68408696 312266752 60516 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 76237 60516 2400 1147 0 63664 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 309140 KiB
Current children cumulated memory: 245136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 1.11 1.11 1.52 2/253 80919
/proc/meminfo: memFree=124834292/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=305412 memory=244516 CPUtime=3600.04 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38849 0 0 0 358555 1449 0 0 20 0 1 0 68408696 312741888 61129 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 76353 61129 2400 1147 0 63780 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 309604 KiB
Current children cumulated memory: 247588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 80622 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002354 s, system=0 s
[startup+3610.33 s]
# the end of solver process 80624 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.56 s, system=14.5014 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 1.11 1.11 1.52 2/253 80919
/proc/meminfo: memFree=124834292/131250000 swapFree=33010416/33010684
[pid=80622] ppid=80619 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/80622/stat : 80622 (run-opt-log.sh) S 80619 80622 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68408696 4292608 768 18446744073709551615 94473350529024 94473351423557 140723075616352 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94473351662608 94473351710352 94473359597568 140723075623201 140723075623396 140723075623396 140723075628998 0
/proc/80622/statm: 1048 768 704 219 0 110 0
[pid=80624] ppid=80622 vsize=305412 memory=244516 CPUtime=3600.04 cores=1,3
/proc/80624/stat : 80624 (roundingsat) R 80622 80622 79423 0 -1 4194304 38849 0 0 0 358555 1449 0 0 20 0 1 0 68408696 312741888 61129 18446744073709551615 4227072 8923433 140733224498368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11214848 140733224507730 140733224507944 140733224507944 140733224513514 0
/proc/80624/statm: 76353 61129 2400 1147 0 63780 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 309604 KiB
Current children cumulated memory: 247588 KiB
Child status: 2
Real time (s): 3610.33
CPU time (s): 3600.06
CPU user time (s): 3585.56
CPU system time (s): 14.5014
CPU usage (%): 99.7157
Max. virtual memory (cumulated for all children) (KiB): 309604
Max. memory (cumulated for all children) (KiB): 247588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.56
system time used= 14.5014
maximum resident set size= 244900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9199808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 591
involuntary context switches= 8156
# summary of solver processes directly reported to runsolver:
# pid: 80622,80624
# total CPU time (s): 3600.06
# total CPU user time (s): 3585.56
# total CPU system time (s): 14.5014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17564 second user time and 17.9251 second system time
The end
Begin job on nodeC018 at 2025-07-03 09:21:49
IDJOB=4512709
IDBENCH=162033
IDSOLVER=3351
FILE ID=nodeC018/4512709-1751527308
RUNJOBID= nodeC018-1751518261-79435
SLURM_JOB_ID= 9598637
Free space on /tmp= 432900 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512709-1751527308/watcher-4512709-1751527308 -o /tmp/evaluation-result-4512709-1751527308/solver-4512709-1751527308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79435 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4512709-1751527308.opb PROOFDIR/proof-4512709-1751527308
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a53d260b269cbcbcf8d998d0e9c55691
RANDOM SEED=1555679862
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.785
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.643
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3618.404
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.834
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3597.436
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3598.409
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 116984548 kB
MemAvailable: 127644596 kB
Buffers: 2128 kB
Cached: 11425080 kB
SwapCached: 32 kB
Active: 2265328 kB
Inactive: 10963676 kB
Active(anon): 1819656 kB
Inactive(anon): 288 kB
Active(file): 445672 kB
Inactive(file): 10963388 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55508 kB
Writeback: 0 kB
AnonPages: 1804984 kB
Mapped: 117584 kB
Shmem: 18044 kB
KReclaimable: 180052 kB
Slab: 272624 kB
SReclaimable: 180052 kB
SUnreclaim: 92572 kB
KernelStack: 4448 kB
PageTables: 6836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2207252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1650688 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432928 MiB
End job on nodeC018 at 2025-07-03 10:21:59