0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 2877 #constraints 7869
0.00/0.04 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.027565
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.027862
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.035834
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.037968
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.052789
0.08/0.12 c GLOBAL bounds - >= 0 @ 0.090424
0.08/0.13 c GLOBAL bounds - >= 0 @ 0.091691
0.08/0.13 c GLOBAL bounds - >= 0 @ 0.093
0.39/0.45 c #Conflicts: 1000 | #Constraints: 1954
0.39/0.45 c #Conflicts: 2000 | #Constraints: 2954
0.39/0.45 c INPROCESSING
0.39/0.45 c GARBAGE COLLECT
0.39/0.45 c #Conflicts: 3000 | #Constraints: 2959
0.39/0.45 c GLOBAL bounds - >= 0 @ 0.398437
0.67/0.70 c #Conflicts: 4000 | #Constraints: 4065
0.67/0.70 c INPROCESSING
0.67/0.70 c GARBAGE COLLECT
0.67/0.70 c GLOBAL bounds - >= 0 @ 0.64939
22.61/22.76 c #Conflicts: 5000 | #Constraints: 3572
22.61/22.76 c #Conflicts: 6000 | #Constraints: 4572
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 7000 | #Constraints: 3573
22.61/22.76 c #Conflicts: 8000 | #Constraints: 4573
22.61/22.76 c #Conflicts: 9000 | #Constraints: 5573
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 10000 | #Constraints: 4272
22.61/22.76 c #Conflicts: 11000 | #Constraints: 5272
22.61/22.76 c #Conflicts: 12000 | #Constraints: 6272
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 13000 | #Constraints: 4722
22.61/22.76 c #Conflicts: 14000 | #Constraints: 5722
22.61/22.76 c #Conflicts: 15000 | #Constraints: 6722
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 16000 | #Constraints: 4947
22.61/22.76 c #Conflicts: 17000 | #Constraints: 5947
22.61/22.76 c #Conflicts: 18000 | #Constraints: 6947
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 19000 | #Constraints: 4962
22.61/22.76 c #Conflicts: 20000 | #Constraints: 5962
22.61/22.76 c #Conflicts: 21000 | #Constraints: 6962
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 22000 | #Constraints: 4767
22.61/22.76 c #Conflicts: 23000 | #Constraints: 5767
22.61/22.76 c #Conflicts: 24000 | #Constraints: 6767
22.61/22.76 c #Conflicts: 25000 | #Constraints: 7767
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 26000 | #Constraints: 5368
22.61/22.76 c #Conflicts: 27000 | #Constraints: 6368
22.61/22.76 c #Conflicts: 28000 | #Constraints: 7368
22.61/22.76 c #Conflicts: 29000 | #Constraints: 8368
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 30000 | #Constraints: 5770
22.61/22.76 c #Conflicts: 31000 | #Constraints: 6770
22.61/22.76 c #Conflicts: 32000 | #Constraints: 7770
22.61/22.76 c #Conflicts: 33000 | #Constraints: 8770
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 34000 | #Constraints: 5971
22.61/22.76 c #Conflicts: 35000 | #Constraints: 6971
22.61/22.76 c #Conflicts: 36000 | #Constraints: 7971
22.61/22.76 c #Conflicts: 37000 | #Constraints: 8971
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 38000 | #Constraints: 5971
22.61/22.76 c #Conflicts: 39000 | #Constraints: 6971
22.61/22.76 c #Conflicts: 40000 | #Constraints: 7971
22.61/22.76 c #Conflicts: 41000 | #Constraints: 8971
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 42000 | #Constraints: 5772
22.61/22.76 c #Conflicts: 43000 | #Constraints: 6772
22.61/22.76 c #Conflicts: 44000 | #Constraints: 7772
22.61/22.76 c #Conflicts: 45000 | #Constraints: 8772
22.61/22.76 c #Conflicts: 46000 | #Constraints: 9772
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 47000 | #Constraints: 6374
22.61/22.76 c #Conflicts: 48000 | #Constraints: 7374
22.61/22.76 c #Conflicts: 49000 | #Constraints: 8374
22.61/22.76 c #Conflicts: 50000 | #Constraints: 9374
22.61/22.76 c #Conflicts: 51000 | #Constraints: 10374
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 52000 | #Constraints: 6775
22.61/22.76 c #Conflicts: 53000 | #Constraints: 7775
22.61/22.76 c #Conflicts: 54000 | #Constraints: 8775
22.61/22.76 c #Conflicts: 55000 | #Constraints: 9775
22.61/22.76 c #Conflicts: 56000 | #Constraints: 10775
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 57000 | #Constraints: 6975
22.61/22.76 c #Conflicts: 58000 | #Constraints: 7975
22.61/22.76 c #Conflicts: 59000 | #Constraints: 8975
22.61/22.76 c #Conflicts: 60000 | #Constraints: 9975
22.61/22.76 c #Conflicts: 61000 | #Constraints: 10975
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 62000 | #Constraints: 6973
22.61/22.76 c #Conflicts: 63000 | #Constraints: 7973
22.61/22.76 c #Conflicts: 64000 | #Constraints: 8973
22.61/22.76 c #Conflicts: 65000 | #Constraints: 9973
22.61/22.76 c #Conflicts: 66000 | #Constraints: 10973
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
22.61/22.76 c #Conflicts: 67000 | #Constraints: 6774
22.61/22.76 c #Conflicts: 68000 | #Constraints: 7774
22.61/22.76 c #Conflicts: 69000 | #Constraints: 8774
22.61/22.76 c #Conflicts: 70000 | #Constraints: 9774
22.61/22.76 c #Conflicts: 71000 | #Constraints: 10774
22.61/22.76 c #Conflicts: 72000 | #Constraints: 11774
22.61/22.76 c INPROCESSING
22.61/22.76 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 73000 | #Constraints: 7374
64.00/64.22 c #Conflicts: 74000 | #Constraints: 8374
64.00/64.22 c #Conflicts: 75000 | #Constraints: 9374
64.00/64.22 c #Conflicts: 76000 | #Constraints: 10374
64.00/64.22 c #Conflicts: 77000 | #Constraints: 11374
64.00/64.22 c #Conflicts: 78000 | #Constraints: 12374
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 79000 | #Constraints: 7772
64.00/64.22 c #Conflicts: 80000 | #Constraints: 8772
64.00/64.22 c #Conflicts: 81000 | #Constraints: 9772
64.00/64.22 c #Conflicts: 82000 | #Constraints: 10772
64.00/64.22 c #Conflicts: 83000 | #Constraints: 11772
64.00/64.22 c #Conflicts: 84000 | #Constraints: 12772
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 85000 | #Constraints: 7972
64.00/64.22 c #Conflicts: 86000 | #Constraints: 8972
64.00/64.22 c #Conflicts: 87000 | #Constraints: 9972
64.00/64.22 c #Conflicts: 88000 | #Constraints: 10972
64.00/64.22 c #Conflicts: 89000 | #Constraints: 11972
64.00/64.22 c #Conflicts: 90000 | #Constraints: 12972
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 91000 | #Constraints: 7971
64.00/64.22 c #Conflicts: 92000 | #Constraints: 8971
64.00/64.22 c #Conflicts: 93000 | #Constraints: 9971
64.00/64.22 c #Conflicts: 94000 | #Constraints: 10971
64.00/64.22 c #Conflicts: 95000 | #Constraints: 11971
64.00/64.22 c #Conflicts: 96000 | #Constraints: 12971
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 97000 | #Constraints: 7774
64.00/64.22 c #Conflicts: 98000 | #Constraints: 8774
64.00/64.22 c #Conflicts: 99000 | #Constraints: 9774
64.00/64.22 c #Conflicts: 100000 | #Constraints: 10774
64.00/64.22 c #Conflicts: 101000 | #Constraints: 11774
64.00/64.22 c #Conflicts: 102000 | #Constraints: 12774
64.00/64.22 c #Conflicts: 103000 | #Constraints: 13774
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 104000 | #Constraints: 8373
64.00/64.22 c #Conflicts: 105000 | #Constraints: 9373
64.00/64.22 c #Conflicts: 106000 | #Constraints: 10373
64.00/64.22 c #Conflicts: 107000 | #Constraints: 11373
64.00/64.22 c #Conflicts: 108000 | #Constraints: 12373
64.00/64.22 c #Conflicts: 109000 | #Constraints: 13373
64.00/64.22 c #Conflicts: 110000 | #Constraints: 14373
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 111000 | #Constraints: 8774
64.00/64.22 c #Conflicts: 112000 | #Constraints: 9774
64.00/64.22 c #Conflicts: 113000 | #Constraints: 10774
64.00/64.22 c #Conflicts: 114000 | #Constraints: 11774
64.00/64.22 c #Conflicts: 115000 | #Constraints: 12774
64.00/64.22 c #Conflicts: 116000 | #Constraints: 13774
64.00/64.22 c #Conflicts: 117000 | #Constraints: 14774
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 118000 | #Constraints: 8976
64.00/64.22 c #Conflicts: 119000 | #Constraints: 9976
64.00/64.22 c #Conflicts: 120000 | #Constraints: 10976
64.00/64.22 c #Conflicts: 121000 | #Constraints: 11976
64.00/64.22 c #Conflicts: 122000 | #Constraints: 12976
64.00/64.22 c #Conflicts: 123000 | #Constraints: 13976
64.00/64.22 c #Conflicts: 124000 | #Constraints: 14976
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 125000 | #Constraints: 8974
64.00/64.22 c #Conflicts: 126000 | #Constraints: 9974
64.00/64.22 c #Conflicts: 127000 | #Constraints: 10974
64.00/64.22 c #Conflicts: 128000 | #Constraints: 11974
64.00/64.22 c #Conflicts: 129000 | #Constraints: 12974
64.00/64.22 c #Conflicts: 130000 | #Constraints: 13974
64.00/64.22 c #Conflicts: 131000 | #Constraints: 14974
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 132000 | #Constraints: 8772
64.00/64.22 c #Conflicts: 133000 | #Constraints: 9772
64.00/64.22 c #Conflicts: 134000 | #Constraints: 10772
64.00/64.22 c #Conflicts: 135000 | #Constraints: 11772
64.00/64.22 c #Conflicts: 136000 | #Constraints: 12772
64.00/64.22 c #Conflicts: 137000 | #Constraints: 13772
64.00/64.22 c #Conflicts: 138000 | #Constraints: 14772
64.00/64.22 c #Conflicts: 139000 | #Constraints: 15772
64.00/64.22 c INPROCESSING
64.00/64.22 c GARBAGE COLLECT
64.00/64.22 c #Conflicts: 140000 | #Constraints: 9371
64.00/64.22 c #Conflicts: 141000 | #Constraints: 10371
64.00/64.22 c #Conflicts: 142000 | #Constraints: 11371
64.00/64.22 c #Conflicts: 143000 | #Constraints: 12371
64.00/64.22 c #Conflicts: 144000 | #Constraints: 13371
64.00/64.22 c #Conflicts: 145000 | #Constraints: 14371
120.24/120.63 c #Conflicts: 146000 | #Constraints: 15371
120.24/120.63 c #Conflicts: 147000 | #Constraints: 16371
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 148000 | #Constraints: 9772
120.24/120.63 c #Conflicts: 149000 | #Constraints: 10772
120.24/120.63 c #Conflicts: 150000 | #Constraints: 11772
120.24/120.63 c #Conflicts: 151000 | #Constraints: 12772
120.24/120.63 c #Conflicts: 152000 | #Constraints: 13772
120.24/120.63 c #Conflicts: 153000 | #Constraints: 14772
120.24/120.63 c #Conflicts: 154000 | #Constraints: 15772
120.24/120.63 c #Conflicts: 155000 | #Constraints: 16772
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 156000 | #Constraints: 9973
120.24/120.63 c #Conflicts: 157000 | #Constraints: 10973
120.24/120.63 c #Conflicts: 158000 | #Constraints: 11973
120.24/120.63 c #Conflicts: 159000 | #Constraints: 12973
120.24/120.63 c #Conflicts: 160000 | #Constraints: 13973
120.24/120.63 c #Conflicts: 161000 | #Constraints: 14973
120.24/120.63 c #Conflicts: 162000 | #Constraints: 15973
120.24/120.63 c #Conflicts: 163000 | #Constraints: 16973
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 164000 | #Constraints: 9974
120.24/120.63 c #Conflicts: 165000 | #Constraints: 10974
120.24/120.63 c #Conflicts: 166000 | #Constraints: 11974
120.24/120.63 c #Conflicts: 167000 | #Constraints: 12974
120.24/120.63 c #Conflicts: 168000 | #Constraints: 13974
120.24/120.63 c #Conflicts: 169000 | #Constraints: 14974
120.24/120.63 c #Conflicts: 170000 | #Constraints: 15974
120.24/120.63 c #Conflicts: 171000 | #Constraints: 16974
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 172000 | #Constraints: 9771
120.24/120.63 c #Conflicts: 173000 | #Constraints: 10771
120.24/120.63 c #Conflicts: 174000 | #Constraints: 11771
120.24/120.63 c #Conflicts: 175000 | #Constraints: 12771
120.24/120.63 c #Conflicts: 176000 | #Constraints: 13771
120.24/120.63 c #Conflicts: 177000 | #Constraints: 14771
120.24/120.63 c #Conflicts: 178000 | #Constraints: 15771
120.24/120.63 c #Conflicts: 179000 | #Constraints: 16771
120.24/120.63 c #Conflicts: 180000 | #Constraints: 17771
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 181000 | #Constraints: 10372
120.24/120.63 c #Conflicts: 182000 | #Constraints: 11372
120.24/120.63 c #Conflicts: 183000 | #Constraints: 12372
120.24/120.63 c #Conflicts: 184000 | #Constraints: 13372
120.24/120.63 c #Conflicts: 185000 | #Constraints: 14372
120.24/120.63 c #Conflicts: 186000 | #Constraints: 15372
120.24/120.63 c #Conflicts: 187000 | #Constraints: 16372
120.24/120.63 c #Conflicts: 188000 | #Constraints: 17372
120.24/120.63 c #Conflicts: 189000 | #Constraints: 18372
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 190000 | #Constraints: 10774
120.24/120.63 c #Conflicts: 191000 | #Constraints: 11774
120.24/120.63 c #Conflicts: 192000 | #Constraints: 12774
120.24/120.63 c #Conflicts: 193000 | #Constraints: 13774
120.24/120.63 c #Conflicts: 194000 | #Constraints: 14774
120.24/120.63 c #Conflicts: 195000 | #Constraints: 15774
120.24/120.63 c #Conflicts: 196000 | #Constraints: 16774
120.24/120.63 c #Conflicts: 197000 | #Constraints: 17774
120.24/120.63 c #Conflicts: 198000 | #Constraints: 18774
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 199000 | #Constraints: 10974
120.24/120.63 c #Conflicts: 200000 | #Constraints: 11974
120.24/120.63 c #Conflicts: 201000 | #Constraints: 12974
120.24/120.63 c #Conflicts: 202000 | #Constraints: 13974
120.24/120.63 c #Conflicts: 203000 | #Constraints: 14974
120.24/120.63 c #Conflicts: 204000 | #Constraints: 15974
120.24/120.63 c #Conflicts: 205000 | #Constraints: 16974
120.24/120.63 c #Conflicts: 206000 | #Constraints: 17974
120.24/120.63 c #Conflicts: 207000 | #Constraints: 18974
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 208000 | #Constraints: 10974
120.24/120.63 c #Conflicts: 209000 | #Constraints: 11974
120.24/120.63 c #Conflicts: 210000 | #Constraints: 12974
120.24/120.63 c #Conflicts: 211000 | #Constraints: 13974
120.24/120.63 c #Conflicts: 212000 | #Constraints: 14974
120.24/120.63 c #Conflicts: 213000 | #Constraints: 15974
120.24/120.63 c #Conflicts: 214000 | #Constraints: 16974
120.24/120.63 c #Conflicts: 215000 | #Constraints: 17974
120.24/120.63 c #Conflicts: 216000 | #Constraints: 18974
120.24/120.63 c INPROCESSING
120.24/120.63 c GARBAGE COLLECT
120.24/120.63 c #Conflicts: 217000 | #Constraints: 10773
120.24/120.63 c #Conflicts: 218000 | #Constraints: 11773
186.63/187.22 c #Conflicts: 219000 | #Constraints: 12773
186.63/187.22 c #Conflicts: 220000 | #Constraints: 13773
186.63/187.22 c #Conflicts: 221000 | #Constraints: 14773
186.63/187.22 c #Conflicts: 222000 | #Constraints: 15773
186.63/187.22 c #Conflicts: 223000 | #Constraints: 16773
186.63/187.22 c #Conflicts: 224000 | #Constraints: 17773
186.63/187.22 c #Conflicts: 225000 | #Constraints: 18773
186.63/187.22 c #Conflicts: 226000 | #Constraints: 19773
186.63/187.22 c INPROCESSING
186.63/187.22 c GARBAGE COLLECT
186.63/187.22 c #Conflicts: 227000 | #Constraints: 11372
186.63/187.22 c #Conflicts: 228000 | #Constraints: 12372
186.63/187.22 c #Conflicts: 229000 | #Constraints: 13372
186.63/187.22 c #Conflicts: 230000 | #Constraints: 14372
186.63/187.22 c #Conflicts: 231000 | #Constraints: 15372
186.63/187.22 c #Conflicts: 232000 | #Constraints: 16372
186.63/187.22 c #Conflicts: 233000 | #Constraints: 17372
186.63/187.22 c #Conflicts: 234000 | #Constraints: 18372
186.63/187.22 c #Conflicts: 235000 | #Constraints: 19372
186.63/187.22 c #Conflicts: 236000 | #Constraints: 20372
186.63/187.22 c INPROCESSING
186.63/187.22 c GARBAGE COLLECT
186.63/187.22 c #Conflicts: 237000 | #Constraints: 11770
186.63/187.22 c #Conflicts: 238000 | #Constraints: 12770
186.63/187.22 c #Conflicts: 239000 | #Constraints: 13770
186.63/187.22 c #Conflicts: 240000 | #Constraints: 14770
186.63/187.22 c #Conflicts: 241000 | #Constraints: 15770
186.63/187.22 c #Conflicts: 242000 | #Constraints: 16770
186.63/187.22 c #Conflicts: 243000 | #Constraints: 17770
186.63/187.22 c #Conflicts: 244000 | #Constraints: 18770
186.63/187.22 c #Conflicts: 245000 | #Constraints: 19770
186.63/187.22 c #Conflicts: 246000 | #Constraints: 20770
186.63/187.22 c INPROCESSING
186.63/187.22 c GARBAGE COLLECT
186.63/187.22 c #Conflicts: 247000 | #Constraints: 11974
186.63/187.22 c #Conflicts: 248000 | #Constraints: 12974
186.63/187.22 c #Conflicts: 249000 | #Constraints: 13974
186.63/187.22 c #Conflicts: 250000 | #Constraints: 14974
186.63/187.22 c #Conflicts: 251000 | #Constraints: 15974
186.63/187.22 c #Conflicts: 252000 | #Constraints: 16974
186.63/187.22 c #Conflicts: 253000 | #Constraints: 17974
186.63/187.22 c #Conflicts: 254000 | #Constraints: 18974
186.63/187.22 c #Conflicts: 255000 | #Constraints: 19974
186.63/187.22 c #Conflicts: 256000 | #Constraints: 20974
186.63/187.22 c INPROCESSING
186.63/187.22 c GARBAGE COLLECT
186.63/187.22 c #Conflicts: 257000 | #Constraints: 11974
186.63/187.22 c #Conflicts: 258000 | #Constraints: 12974
186.63/187.22 c #Conflicts: 259000 | #Constraints: 13974
186.63/187.22 c #Conflicts: 260000 | #Constraints: 14974
186.63/187.22 c #Conflicts: 261000 | #Constraints: 15974
186.63/187.22 c #Conflicts: 262000 | #Constraints: 16974
186.63/187.22 c #Conflicts: 263000 | #Constraints: 17974
186.63/187.22 c #Conflicts: 264000 | #Constraints: 18974
186.63/187.22 c #Conflicts: 265000 | #Constraints: 19974
186.63/187.22 c #Conflicts: 266000 | #Constraints: 20974
186.63/187.22 c INPROCESSING
186.63/187.22 c GARBAGE COLLECT
186.63/187.22 c #Conflicts: 267000 | #Constraints: 11772
186.63/187.22 c #Conflicts: 268000 | #Constraints: 12772
186.63/187.22 c #Conflicts: 269000 | #Constraints: 13772
186.63/187.22 c #Conflicts: 270000 | #Constraints: 14772
186.63/187.22 c #Conflicts: 271000 | #Constraints: 15772
186.63/187.22 c #Conflicts: 272000 | #Constraints: 16772
186.63/187.22 c #Conflicts: 273000 | #Constraints: 17772
186.63/187.22 c #Conflicts: 274000 | #Constraints: 18772
186.63/187.22 c #Conflicts: 275000 | #Constraints: 19772
186.63/187.22 c #Conflicts: 276000 | #Constraints: 20772
186.63/187.22 c #Conflicts: 277000 | #Constraints: 21772
186.63/187.22 c INPROCESSING
186.63/187.22 c GARBAGE COLLECT
186.63/187.22 c #Conflicts: 278000 | #Constraints: 12371
186.63/187.22 c #Conflicts: 279000 | #Constraints: 13371
186.63/187.22 c #Conflicts: 280000 | #Constraints: 14371
186.63/187.22 c #Conflicts: 281000 | #Constraints: 15371
186.63/187.22 c #Conflicts: 282000 | #Constraints: 16371
186.63/187.22 c #Conflicts: 283000 | #Constraints: 17371
186.63/187.22 c #Conflicts: 284000 | #Constraints: 18371
186.63/187.22 c #Conflicts: 285000 | #Constraints: 19371
186.63/187.22 c #Conflicts: 286000 | #Constraints: 20371
186.63/187.22 c #Conflicts: 287000 | #Constraints: 21371
186.63/187.22 c #Conflicts: 288000 | #Constraints: 22371
186.63/187.22 c INPROCESSING
186.63/187.22 c GARBAGE COLLECT
186.63/187.22 c #Conflicts: 289000 | #Constraints: 12773
186.63/187.22 c #Conflicts: 290000 | #Constraints: 13773
186.63/187.22 c #Conflicts: 291000 | #Constraints: 14773
186.63/187.22 c #Conflicts: 292000 | #Constraints: 15773
250.16/250.94 c #Conflicts: 293000 | #Constraints: 16773
250.16/250.94 c #Conflicts: 294000 | #Constraints: 17773
250.16/250.94 c #Conflicts: 295000 | #Constraints: 18773
250.16/250.94 c #Conflicts: 296000 | #Constraints: 19773
250.16/250.94 c #Conflicts: 297000 | #Constraints: 20773
250.16/250.94 c #Conflicts: 298000 | #Constraints: 21773
250.16/250.94 c #Conflicts: 299000 | #Constraints: 22773
250.16/250.94 c INPROCESSING
250.16/250.94 c GARBAGE COLLECT
250.16/250.94 c #Conflicts: 300000 | #Constraints: 12973
250.16/250.94 c #Conflicts: 301000 | #Constraints: 13973
250.16/250.94 c #Conflicts: 302000 | #Constraints: 14973
250.16/250.94 c #Conflicts: 303000 | #Constraints: 15973
250.16/250.94 c #Conflicts: 304000 | #Constraints: 16973
250.16/250.94 c #Conflicts: 305000 | #Constraints: 17973
250.16/250.94 c #Conflicts: 306000 | #Constraints: 18973
250.16/250.94 c #Conflicts: 307000 | #Constraints: 19973
250.16/250.94 c #Conflicts: 308000 | #Constraints: 20973
250.16/250.94 c #Conflicts: 309000 | #Constraints: 21973
250.16/250.94 c #Conflicts: 310000 | #Constraints: 22973
250.16/250.94 c INPROCESSING
250.16/250.94 c GARBAGE COLLECT
250.16/250.94 c #Conflicts: 311000 | #Constraints: 12973
250.16/250.94 c #Conflicts: 312000 | #Constraints: 13973
250.16/250.94 c #Conflicts: 313000 | #Constraints: 14973
250.16/250.94 c #Conflicts: 314000 | #Constraints: 15973
250.16/250.94 c #Conflicts: 315000 | #Constraints: 16973
250.16/250.94 c #Conflicts: 316000 | #Constraints: 17973
250.16/250.94 c #Conflicts: 317000 | #Constraints: 18973
250.16/250.94 c #Conflicts: 318000 | #Constraints: 19973
250.16/250.94 c #Conflicts: 319000 | #Constraints: 20973
250.16/250.94 c #Conflicts: 320000 | #Constraints: 21973
250.16/250.94 c #Conflicts: 321000 | #Constraints: 22973
250.16/250.94 c INPROCESSING
250.16/250.94 c GARBAGE COLLECT
250.16/250.94 c #Conflicts: 322000 | #Constraints: 12772
250.16/250.94 c #Conflicts: 323000 | #Constraints: 13772
250.16/250.94 c #Conflicts: 324000 | #Constraints: 14772
250.16/250.94 c #Conflicts: 325000 | #Constraints: 15772
250.16/250.94 c #Conflicts: 326000 | #Constraints: 16772
250.16/250.94 c #Conflicts: 327000 | #Constraints: 17772
250.16/250.94 c #Conflicts: 328000 | #Constraints: 18772
250.16/250.94 c #Conflicts: 329000 | #Constraints: 19772
250.16/250.94 c #Conflicts: 330000 | #Constraints: 20772
250.16/250.94 c #Conflicts: 331000 | #Constraints: 21772
250.16/250.94 c #Conflicts: 332000 | #Constraints: 22772
250.16/250.94 c #Conflicts: 333000 | #Constraints: 23772
250.16/250.94 c INPROCESSING
250.16/250.94 c GARBAGE COLLECT
250.16/250.94 c #Conflicts: 334000 | #Constraints: 13373
250.16/250.94 c #Conflicts: 335000 | #Constraints: 14373
250.16/250.94 c #Conflicts: 336000 | #Constraints: 15373
250.16/250.94 c #Conflicts: 337000 | #Constraints: 16373
250.16/250.94 c #Conflicts: 338000 | #Constraints: 17373
250.16/250.94 c #Conflicts: 339000 | #Constraints: 18373
250.16/250.94 c #Conflicts: 340000 | #Constraints: 19373
250.16/250.94 c #Conflicts: 341000 | #Constraints: 20373
250.16/250.94 c #Conflicts: 342000 | #Constraints: 21373
250.16/250.94 c #Conflicts: 343000 | #Constraints: 22373
250.16/250.94 c #Conflicts: 344000 | #Constraints: 23373
250.16/250.94 c #Conflicts: 345000 | #Constraints: 24373
250.16/250.94 c INPROCESSING
250.16/250.94 c GARBAGE COLLECT
250.16/250.94 c #Conflicts: 346000 | #Constraints: 13773
250.16/250.94 c #Conflicts: 347000 | #Constraints: 14773
250.16/250.94 c #Conflicts: 348000 | #Constraints: 15773
250.16/250.94 c #Conflicts: 349000 | #Constraints: 16773
250.16/250.94 c #Conflicts: 350000 | #Constraints: 17773
250.16/250.94 c #Conflicts: 351000 | #Constraints: 18773
250.16/250.94 c #Conflicts: 352000 | #Constraints: 19773
250.16/250.94 c #Conflicts: 353000 | #Constraints: 20773
250.16/250.94 c #Conflicts: 354000 | #Constraints: 21773
250.16/250.94 c #Conflicts: 355000 | #Constraints: 22773
250.16/250.94 c #Conflicts: 356000 | #Constraints: 23773
250.16/250.94 c #Conflicts: 357000 | #Constraints: 24773
250.16/250.94 c INPROCESSING
250.16/250.94 c GARBAGE COLLECT
250.16/250.94 c #Conflicts: 358000 | #Constraints: 13975
250.16/250.94 c #Conflicts: 359000 | #Constraints: 14975
250.16/250.94 c #Conflicts: 360000 | #Constraints: 15975
250.16/250.94 c #Conflicts: 361000 | #Constraints: 16975
250.16/250.94 c #Conflicts: 362000 | #Constraints: 17975
250.16/250.94 c #Conflicts: 363000 | #Constraints: 18975
250.16/250.94 c #Conflicts: 364000 | #Constraints: 19975
250.16/250.94 c #Conflicts: 365000 | #Constraints: 20975
250.16/250.94 c #Conflicts: 366000 | #Constraints: 21975
250.16/250.94 c #Conflicts: 367000 | #Constraints: 22975
337.80/338.88 c #Conflicts: 368000 | #Constraints: 23975
337.80/338.88 c #Conflicts: 369000 | #Constraints: 24975
337.80/338.88 c INPROCESSING
337.80/338.88 c GARBAGE COLLECT
337.80/338.88 c #Conflicts: 370000 | #Constraints: 13974
337.80/338.88 c #Conflicts: 371000 | #Constraints: 14974
337.80/338.88 c #Conflicts: 372000 | #Constraints: 15974
337.80/338.88 c #Conflicts: 373000 | #Constraints: 16974
337.80/338.88 c #Conflicts: 374000 | #Constraints: 17974
337.80/338.88 c #Conflicts: 375000 | #Constraints: 18974
337.80/338.88 c #Conflicts: 376000 | #Constraints: 19974
337.80/338.88 c #Conflicts: 377000 | #Constraints: 20974
337.80/338.88 c #Conflicts: 378000 | #Constraints: 21974
337.80/338.88 c #Conflicts: 379000 | #Constraints: 22974
337.80/338.88 c #Conflicts: 380000 | #Constraints: 23974
337.80/338.88 c #Conflicts: 381000 | #Constraints: 24974
337.80/338.88 c INPROCESSING
337.80/338.88 c GARBAGE COLLECT
337.80/338.88 c #Conflicts: 382000 | #Constraints: 13773
337.80/338.88 c #Conflicts: 383000 | #Constraints: 14773
337.80/338.88 c #Conflicts: 384000 | #Constraints: 15773
337.80/338.88 c #Conflicts: 385000 | #Constraints: 16773
337.80/338.88 c #Conflicts: 386000 | #Constraints: 17773
337.80/338.88 c #Conflicts: 387000 | #Constraints: 18773
337.80/338.88 c #Conflicts: 388000 | #Constraints: 19773
337.80/338.88 c #Conflicts: 389000 | #Constraints: 20773
337.80/338.88 c #Conflicts: 390000 | #Constraints: 21773
337.80/338.88 c #Conflicts: 391000 | #Constraints: 22773
337.80/338.88 c #Conflicts: 392000 | #Constraints: 23773
337.80/338.88 c #Conflicts: 393000 | #Constraints: 24773
337.80/338.88 c #Conflicts: 394000 | #Constraints: 25773
337.80/338.88 c INPROCESSING
337.80/338.88 c GARBAGE COLLECT
337.80/338.88 c #Conflicts: 395000 | #Constraints: 14375
337.80/338.88 c #Conflicts: 396000 | #Constraints: 15375
337.80/338.88 c #Conflicts: 397000 | #Constraints: 16375
337.80/338.88 c #Conflicts: 398000 | #Constraints: 17375
337.80/338.88 c #Conflicts: 399000 | #Constraints: 18375
337.80/338.88 c #Conflicts: 400000 | #Constraints: 19375
337.80/338.88 c #Conflicts: 401000 | #Constraints: 20375
337.80/338.88 c #Conflicts: 402000 | #Constraints: 21375
337.80/338.88 c #Conflicts: 403000 | #Constraints: 22375
337.80/338.88 c #Conflicts: 404000 | #Constraints: 23375
337.80/338.88 c #Conflicts: 405000 | #Constraints: 24375
337.80/338.88 c #Conflicts: 406000 | #Constraints: 25375
337.80/338.88 c #Conflicts: 407000 | #Constraints: 26375
337.80/338.88 c INPROCESSING
337.80/338.88 c GARBAGE COLLECT
337.80/338.88 c #Conflicts: 408000 | #Constraints: 14773
337.80/338.88 c #Conflicts: 409000 | #Constraints: 15773
337.80/338.88 c #Conflicts: 410000 | #Constraints: 16773
337.80/338.88 c #Conflicts: 411000 | #Constraints: 17773
337.80/338.88 c #Conflicts: 412000 | #Constraints: 18773
337.80/338.88 c #Conflicts: 413000 | #Constraints: 19773
337.80/338.88 c #Conflicts: 414000 | #Constraints: 20773
337.80/338.88 c #Conflicts: 415000 | #Constraints: 21773
337.80/338.88 c #Conflicts: 416000 | #Constraints: 22773
337.80/338.88 c #Conflicts: 417000 | #Constraints: 23773
337.80/338.88 c #Conflicts: 418000 | #Constraints: 24773
337.80/338.88 c #Conflicts: 419000 | #Constraints: 25773
337.80/338.88 c #Conflicts: 420000 | #Constraints: 26773
337.80/338.88 c INPROCESSING
337.80/338.88 c GARBAGE COLLECT
337.80/338.88 c #Conflicts: 421000 | #Constraints: 14973
337.80/338.88 c #Conflicts: 422000 | #Constraints: 15973
337.80/338.88 c #Conflicts: 423000 | #Constraints: 16973
337.80/338.88 c #Conflicts: 424000 | #Constraints: 17973
337.80/338.88 c #Conflicts: 425000 | #Constraints: 18973
337.80/338.88 c #Conflicts: 426000 | #Constraints: 19973
337.80/338.88 c #Conflicts: 427000 | #Constraints: 20973
337.80/338.88 c #Conflicts: 428000 | #Constraints: 21973
337.80/338.88 c #Conflicts: 429000 | #Constraints: 22973
337.80/338.88 c #Conflicts: 430000 | #Constraints: 23973
337.80/338.88 c #Conflicts: 431000 | #Constraints: 24973
337.80/338.88 c #Conflicts: 432000 | #Constraints: 25973
337.80/338.88 c #Conflicts: 433000 | #Constraints: 26973
337.80/338.88 c INPROCESSING
337.80/338.88 c GARBAGE COLLECT
337.80/338.88 c #Conflicts: 434000 | #Constraints: 14975
337.80/338.88 c #Conflicts: 435000 | #Constraints: 15975
337.80/338.88 c #Conflicts: 436000 | #Constraints: 16975
337.80/338.88 c #Conflicts: 437000 | #Constraints: 17975
337.80/338.88 c #Conflicts: 438000 | #Constraints: 18975
337.80/338.88 c #Conflicts: 439000 | #Constraints: 19975
337.80/338.88 c #Conflicts: 440000 | #Constraints: 20975
337.80/338.88 c #Conflicts: 441000 | #Constraints: 21975
337.80/338.88 c #Conflicts: 442000 | #Constraints: 22975
422.06/423.39 c #Conflicts: 443000 | #Constraints: 23975
422.06/423.39 c #Conflicts: 444000 | #Constraints: 24975
422.06/423.39 c #Conflicts: 445000 | #Constraints: 25975
422.06/423.39 c #Conflicts: 446000 | #Constraints: 26975
422.06/423.39 c INPROCESSING
422.06/423.39 c GARBAGE COLLECT
422.06/423.39 c #Conflicts: 447000 | #Constraints: 14774
422.06/423.39 c #Conflicts: 448000 | #Constraints: 15774
422.06/423.39 c #Conflicts: 449000 | #Constraints: 16774
422.06/423.39 c #Conflicts: 450000 | #Constraints: 17774
422.06/423.39 c #Conflicts: 451000 | #Constraints: 18774
422.06/423.39 c #Conflicts: 452000 | #Constraints: 19774
422.06/423.39 c #Conflicts: 453000 | #Constraints: 20774
422.06/423.39 c #Conflicts: 454000 | #Constraints: 21774
422.06/423.39 c #Conflicts: 455000 | #Constraints: 22774
422.06/423.39 c #Conflicts: 456000 | #Constraints: 23774
422.06/423.39 c #Conflicts: 457000 | #Constraints: 24774
422.06/423.39 c #Conflicts: 458000 | #Constraints: 25774
422.06/423.39 c #Conflicts: 459000 | #Constraints: 26774
422.06/423.39 c #Conflicts: 460000 | #Constraints: 27774
422.06/423.39 c INPROCESSING
422.06/423.39 c GARBAGE COLLECT
422.06/423.39 c #Conflicts: 461000 | #Constraints: 15372
422.06/423.39 c #Conflicts: 462000 | #Constraints: 16372
422.06/423.39 c #Conflicts: 463000 | #Constraints: 17372
422.06/423.39 c #Conflicts: 464000 | #Constraints: 18372
422.06/423.39 c #Conflicts: 465000 | #Constraints: 19372
422.06/423.39 c #Conflicts: 466000 | #Constraints: 20372
422.06/423.39 c #Conflicts: 467000 | #Constraints: 21372
422.06/423.39 c #Conflicts: 468000 | #Constraints: 22372
422.06/423.39 c #Conflicts: 469000 | #Constraints: 23372
422.06/423.39 c #Conflicts: 470000 | #Constraints: 24372
422.06/423.39 c #Conflicts: 471000 | #Constraints: 25372
422.06/423.39 c #Conflicts: 472000 | #Constraints: 26372
422.06/423.39 c #Conflicts: 473000 | #Constraints: 27372
422.06/423.39 c #Conflicts: 474000 | #Constraints: 28372
422.06/423.39 c INPROCESSING
422.06/423.39 c GARBAGE COLLECT
422.06/423.39 c #Conflicts: 475000 | #Constraints: 15772
422.06/423.39 c #Conflicts: 476000 | #Constraints: 16772
422.06/423.39 c #Conflicts: 477000 | #Constraints: 17772
422.06/423.39 c #Conflicts: 478000 | #Constraints: 18772
422.06/423.39 c #Conflicts: 479000 | #Constraints: 19772
422.06/423.39 c #Conflicts: 480000 | #Constraints: 20772
422.06/423.39 c #Conflicts: 481000 | #Constraints: 21772
422.06/423.39 c #Conflicts: 482000 | #Constraints: 22772
422.06/423.39 c #Conflicts: 483000 | #Constraints: 23772
422.06/423.39 c #Conflicts: 484000 | #Constraints: 24772
422.06/423.39 c #Conflicts: 485000 | #Constraints: 25772
422.06/423.39 c #Conflicts: 486000 | #Constraints: 26772
422.06/423.39 c #Conflicts: 487000 | #Constraints: 27772
422.06/423.39 c #Conflicts: 488000 | #Constraints: 28772
422.06/423.39 c INPROCESSING
422.06/423.39 c GARBAGE COLLECT
422.06/423.39 c #Conflicts: 489000 | #Constraints: 15971
422.06/423.39 c #Conflicts: 490000 | #Constraints: 16971
422.06/423.39 c #Conflicts: 491000 | #Constraints: 17971
422.06/423.39 c #Conflicts: 492000 | #Constraints: 18971
422.06/423.39 c #Conflicts: 493000 | #Constraints: 19971
422.06/423.39 c #Conflicts: 494000 | #Constraints: 20971
422.06/423.39 c #Conflicts: 495000 | #Constraints: 21971
422.06/423.39 c #Conflicts: 496000 | #Constraints: 22971
422.06/423.39 c #Conflicts: 497000 | #Constraints: 23971
422.06/423.39 c #Conflicts: 498000 | #Constraints: 24971
422.06/423.39 c #Conflicts: 499000 | #Constraints: 25971
422.06/423.39 c #Conflicts: 500000 | #Constraints: 26971
422.06/423.39 c #Conflicts: 501000 | #Constraints: 27971
422.06/423.39 c #Conflicts: 502000 | #Constraints: 28971
422.06/423.39 c INPROCESSING
422.06/423.39 c GARBAGE COLLECT
422.06/423.39 c #Conflicts: 503000 | #Constraints: 15974
422.06/423.39 c #Conflicts: 504000 | #Constraints: 16974
422.06/423.39 c #Conflicts: 505000 | #Constraints: 17974
422.06/423.39 c #Conflicts: 506000 | #Constraints: 18974
422.06/423.39 c #Conflicts: 507000 | #Constraints: 19974
422.06/423.39 c #Conflicts: 508000 | #Constraints: 20974
422.06/423.39 c #Conflicts: 509000 | #Constraints: 21974
422.06/423.39 c #Conflicts: 510000 | #Constraints: 22974
422.06/423.39 c #Conflicts: 511000 | #Constraints: 23974
422.06/423.39 c #Conflicts: 512000 | #Constraints: 24974
422.06/423.39 c #Conflicts: 513000 | #Constraints: 25974
422.06/423.39 c #Conflicts: 514000 | #Constraints: 26974
422.06/423.39 c #Conflicts: 515000 | #Constraints: 27974
422.06/423.39 c #Conflicts: 516000 | #Constraints: 28974
422.06/423.39 c INPROCESSING
422.06/423.39 c GARBAGE COLLECT
422.06/423.39 c #Conflicts: 517000 | #Constraints: 15774
504.11/505.66 c #Conflicts: 518000 | #Constraints: 16774
504.11/505.66 c #Conflicts: 519000 | #Constraints: 17774
504.11/505.66 c #Conflicts: 520000 | #Constraints: 18774
504.11/505.66 c #Conflicts: 521000 | #Constraints: 19774
504.11/505.66 c #Conflicts: 522000 | #Constraints: 20774
504.11/505.66 c #Conflicts: 523000 | #Constraints: 21774
504.11/505.66 c #Conflicts: 524000 | #Constraints: 22774
504.11/505.66 c #Conflicts: 525000 | #Constraints: 23774
504.11/505.66 c #Conflicts: 526000 | #Constraints: 24774
504.11/505.66 c #Conflicts: 527000 | #Constraints: 25774
504.11/505.66 c #Conflicts: 528000 | #Constraints: 26774
504.11/505.66 c #Conflicts: 529000 | #Constraints: 27774
504.11/505.66 c #Conflicts: 530000 | #Constraints: 28774
504.11/505.66 c #Conflicts: 531000 | #Constraints: 29774
504.11/505.66 c INPROCESSING
504.11/505.66 c GARBAGE COLLECT
504.11/505.66 c #Conflicts: 532000 | #Constraints: 16374
504.11/505.66 c #Conflicts: 533000 | #Constraints: 17374
504.11/505.66 c #Conflicts: 534000 | #Constraints: 18374
504.11/505.66 c #Conflicts: 535000 | #Constraints: 19374
504.11/505.66 c #Conflicts: 536000 | #Constraints: 20374
504.11/505.66 c #Conflicts: 537000 | #Constraints: 21374
504.11/505.66 c #Conflicts: 538000 | #Constraints: 22374
504.11/505.66 c #Conflicts: 539000 | #Constraints: 23374
504.11/505.66 c #Conflicts: 540000 | #Constraints: 24374
504.11/505.66 c #Conflicts: 541000 | #Constraints: 25374
504.11/505.66 c #Conflicts: 542000 | #Constraints: 26374
504.11/505.66 c #Conflicts: 543000 | #Constraints: 27374
504.11/505.66 c #Conflicts: 544000 | #Constraints: 28374
504.11/505.66 c #Conflicts: 545000 | #Constraints: 29374
504.11/505.66 c #Conflicts: 546000 | #Constraints: 30374
504.11/505.66 c INPROCESSING
504.11/505.66 c GARBAGE COLLECT
504.11/505.66 c #Conflicts: 547000 | #Constraints: 16773
504.11/505.66 c #Conflicts: 548000 | #Constraints: 17773
504.11/505.66 c #Conflicts: 549000 | #Constraints: 18773
504.11/505.66 c #Conflicts: 550000 | #Constraints: 19773
504.11/505.66 c #Conflicts: 551000 | #Constraints: 20773
504.11/505.66 c #Conflicts: 552000 | #Constraints: 21773
504.11/505.66 c #Conflicts: 553000 | #Constraints: 22773
504.11/505.66 c #Conflicts: 554000 | #Constraints: 23773
504.11/505.66 c #Conflicts: 555000 | #Constraints: 24773
504.11/505.66 c #Conflicts: 556000 | #Constraints: 25773
504.11/505.66 c #Conflicts: 557000 | #Constraints: 26773
504.11/505.66 c #Conflicts: 558000 | #Constraints: 27773
504.11/505.66 c #Conflicts: 559000 | #Constraints: 28773
504.11/505.66 c #Conflicts: 560000 | #Constraints: 29773
504.11/505.66 c #Conflicts: 561000 | #Constraints: 30773
504.11/505.66 c INPROCESSING
504.11/505.66 c GARBAGE COLLECT
504.11/505.66 c #Conflicts: 562000 | #Constraints: 16971
504.11/505.66 c #Conflicts: 563000 | #Constraints: 17971
504.11/505.66 c #Conflicts: 564000 | #Constraints: 18971
504.11/505.66 c #Conflicts: 565000 | #Constraints: 19971
504.11/505.66 c #Conflicts: 566000 | #Constraints: 20971
504.11/505.66 c #Conflicts: 567000 | #Constraints: 21971
504.11/505.66 c #Conflicts: 568000 | #Constraints: 22971
504.11/505.66 c #Conflicts: 569000 | #Constraints: 23971
504.11/505.66 c #Conflicts: 570000 | #Constraints: 24971
504.11/505.66 c #Conflicts: 571000 | #Constraints: 25971
504.11/505.66 c #Conflicts: 572000 | #Constraints: 26971
504.11/505.66 c #Conflicts: 573000 | #Constraints: 27971
504.11/505.66 c #Conflicts: 574000 | #Constraints: 28971
504.11/505.66 c #Conflicts: 575000 | #Constraints: 29971
504.11/505.66 c #Conflicts: 576000 | #Constraints: 30971
504.11/505.66 c INPROCESSING
504.11/505.66 c GARBAGE COLLECT
504.11/505.66 c #Conflicts: 577000 | #Constraints: 16971
504.11/505.66 c #Conflicts: 578000 | #Constraints: 17971
504.11/505.66 c #Conflicts: 579000 | #Constraints: 18971
504.11/505.66 c #Conflicts: 580000 | #Constraints: 19971
504.11/505.66 c #Conflicts: 581000 | #Constraints: 20971
504.11/505.66 c #Conflicts: 582000 | #Constraints: 21971
504.11/505.66 c #Conflicts: 583000 | #Constraints: 22971
504.11/505.66 c #Conflicts: 584000 | #Constraints: 23971
504.11/505.66 c #Conflicts: 585000 | #Constraints: 24971
504.11/505.66 c #Conflicts: 586000 | #Constraints: 25971
504.11/505.66 c #Conflicts: 587000 | #Constraints: 26971
504.11/505.66 c #Conflicts: 588000 | #Constraints: 27971
504.11/505.66 c #Conflicts: 589000 | #Constraints: 28971
504.11/505.66 c #Conflicts: 590000 | #Constraints: 29971
504.11/505.66 c #Conflicts: 591000 | #Constraints: 30971
504.11/505.66 c INPROCESSING
504.11/505.66 c GARBAGE COLLECT
504.11/505.66 c #Conflicts: 592000 | #Constraints: 16772
504.11/505.66 c #Conflicts: 593000 | #Constraints: 17772
595.87/597.67 c #Conflicts: 594000 | #Constraints: 18772
595.87/597.67 c #Conflicts: 595000 | #Constraints: 19772
595.87/597.67 c #Conflicts: 596000 | #Constraints: 20772
595.87/597.67 c #Conflicts: 597000 | #Constraints: 21772
595.87/597.67 c #Conflicts: 598000 | #Constraints: 22772
595.87/597.67 c #Conflicts: 599000 | #Constraints: 23772
595.87/597.67 c #Conflicts: 600000 | #Constraints: 24772
595.87/597.67 c #Conflicts: 601000 | #Constraints: 25772
595.87/597.67 c #Conflicts: 602000 | #Constraints: 26772
595.87/597.67 c #Conflicts: 603000 | #Constraints: 27772
595.87/597.67 c #Conflicts: 604000 | #Constraints: 28772
595.87/597.67 c #Conflicts: 605000 | #Constraints: 29772
595.87/597.67 c #Conflicts: 606000 | #Constraints: 30772
595.87/597.67 c #Conflicts: 607000 | #Constraints: 31772
595.87/597.67 c INPROCESSING
595.87/597.67 c GARBAGE COLLECT
595.87/597.67 c #Conflicts: 608000 | #Constraints: 17373
595.87/597.67 c #Conflicts: 609000 | #Constraints: 18373
595.87/597.67 c #Conflicts: 610000 | #Constraints: 19373
595.87/597.67 c #Conflicts: 611000 | #Constraints: 20373
595.87/597.67 c #Conflicts: 612000 | #Constraints: 21373
595.87/597.67 c #Conflicts: 613000 | #Constraints: 22373
595.87/597.67 c #Conflicts: 614000 | #Constraints: 23373
595.87/597.67 c #Conflicts: 615000 | #Constraints: 24373
595.87/597.67 c #Conflicts: 616000 | #Constraints: 25373
595.87/597.67 c #Conflicts: 617000 | #Constraints: 26373
595.87/597.67 c #Conflicts: 618000 | #Constraints: 27373
595.87/597.67 c #Conflicts: 619000 | #Constraints: 28373
595.87/597.67 c #Conflicts: 620000 | #Constraints: 29373
595.87/597.67 c #Conflicts: 621000 | #Constraints: 30373
595.87/597.67 c #Conflicts: 622000 | #Constraints: 31373
595.87/597.67 c #Conflicts: 623000 | #Constraints: 32373
595.87/597.67 c INPROCESSING
595.87/597.67 c GARBAGE COLLECT
595.87/597.67 c #Conflicts: 624000 | #Constraints: 17771
595.87/597.67 c #Conflicts: 625000 | #Constraints: 18771
595.87/597.67 c #Conflicts: 626000 | #Constraints: 19771
595.87/597.67 c #Conflicts: 627000 | #Constraints: 20771
595.87/597.67 c #Conflicts: 628000 | #Constraints: 21771
595.87/597.67 c #Conflicts: 629000 | #Constraints: 22771
595.87/597.67 c #Conflicts: 630000 | #Constraints: 23771
595.87/597.67 c #Conflicts: 631000 | #Constraints: 24771
595.87/597.67 c #Conflicts: 632000 | #Constraints: 25771
595.87/597.67 c #Conflicts: 633000 | #Constraints: 26771
595.87/597.67 c #Conflicts: 634000 | #Constraints: 27771
595.87/597.67 c #Conflicts: 635000 | #Constraints: 28771
595.87/597.67 c #Conflicts: 636000 | #Constraints: 29771
595.87/597.67 c #Conflicts: 637000 | #Constraints: 30771
595.87/597.67 c #Conflicts: 638000 | #Constraints: 31771
595.87/597.67 c #Conflicts: 639000 | #Constraints: 32771
595.87/597.67 c INPROCESSING
595.87/597.67 c GARBAGE COLLECT
595.87/597.67 c #Conflicts: 640000 | #Constraints: 17973
595.87/597.67 c #Conflicts: 641000 | #Constraints: 18973
595.87/597.67 c #Conflicts: 642000 | #Constraints: 19973
595.87/597.67 c #Conflicts: 643000 | #Constraints: 20973
595.87/597.67 c #Conflicts: 644000 | #Constraints: 21973
595.87/597.67 c #Conflicts: 645000 | #Constraints: 22973
595.87/597.67 c #Conflicts: 646000 | #Constraints: 23973
595.87/597.67 c #Conflicts: 647000 | #Constraints: 24973
595.87/597.67 c #Conflicts: 648000 | #Constraints: 25973
595.87/597.67 c #Conflicts: 649000 | #Constraints: 26973
595.87/597.67 c #Conflicts: 650000 | #Constraints: 27973
595.87/597.67 c #Conflicts: 651000 | #Constraints: 28973
595.87/597.67 c #Conflicts: 652000 | #Constraints: 29973
595.87/597.67 c #Conflicts: 653000 | #Constraints: 30973
595.87/597.67 c #Conflicts: 654000 | #Constraints: 31973
595.87/597.67 c #Conflicts: 655000 | #Constraints: 32973
595.87/597.67 c INPROCESSING
595.87/597.67 c GARBAGE COLLECT
595.87/597.67 c #Conflicts: 656000 | #Constraints: 17978
595.87/597.67 c #Conflicts: 657000 | #Constraints: 18978
595.87/597.67 c #Conflicts: 658000 | #Constraints: 19978
595.87/597.67 c #Conflicts: 659000 | #Constraints: 20978
595.87/597.67 c #Conflicts: 660000 | #Constraints: 21978
595.87/597.67 c #Conflicts: 661000 | #Constraints: 22978
595.87/597.67 c #Conflicts: 662000 | #Constraints: 23978
595.87/597.67 c #Conflicts: 663000 | #Constraints: 24978
595.87/597.67 c #Conflicts: 664000 | #Constraints: 25978
595.87/597.67 c #Conflicts: 665000 | #Constraints: 26978
595.87/597.67 c #Conflicts: 666000 | #Constraints: 27978
595.87/597.67 c #Conflicts: 667000 | #Constraints: 28978
595.87/597.67 c #Conflicts: 668000 | #Constraints: 29978
595.87/597.67 c #Conflicts: 669000 | #Constraints: 30978
685.43/687.44 c #Conflicts: 670000 | #Constraints: 31978
685.43/687.44 c #Conflicts: 671000 | #Constraints: 32978
685.43/687.44 c INPROCESSING
685.43/687.44 c GARBAGE COLLECT
685.43/687.44 c #Conflicts: 672000 | #Constraints: 17774
685.43/687.44 c #Conflicts: 673000 | #Constraints: 18774
685.43/687.44 c #Conflicts: 674000 | #Constraints: 19774
685.43/687.44 c #Conflicts: 675000 | #Constraints: 20774
685.43/687.44 c #Conflicts: 676000 | #Constraints: 21774
685.43/687.44 c #Conflicts: 677000 | #Constraints: 22774
685.43/687.44 c #Conflicts: 678000 | #Constraints: 23774
685.43/687.44 c #Conflicts: 679000 | #Constraints: 24774
685.43/687.44 c #Conflicts: 680000 | #Constraints: 25774
685.43/687.44 c #Conflicts: 681000 | #Constraints: 26774
685.43/687.44 c #Conflicts: 682000 | #Constraints: 27774
685.43/687.44 c #Conflicts: 683000 | #Constraints: 28774
685.43/687.44 c #Conflicts: 684000 | #Constraints: 29774
685.43/687.44 c #Conflicts: 685000 | #Constraints: 30774
685.43/687.44 c #Conflicts: 686000 | #Constraints: 31774
685.43/687.44 c #Conflicts: 687000 | #Constraints: 32774
685.43/687.44 c #Conflicts: 688000 | #Constraints: 33774
685.43/687.44 c INPROCESSING
685.43/687.44 c GARBAGE COLLECT
685.43/687.44 c #Conflicts: 689000 | #Constraints: 18374
685.43/687.44 c #Conflicts: 690000 | #Constraints: 19374
685.43/687.44 c #Conflicts: 691000 | #Constraints: 20374
685.43/687.44 c #Conflicts: 692000 | #Constraints: 21374
685.43/687.44 c #Conflicts: 693000 | #Constraints: 22374
685.43/687.44 c #Conflicts: 694000 | #Constraints: 23374
685.43/687.44 c #Conflicts: 695000 | #Constraints: 24374
685.43/687.44 c #Conflicts: 696000 | #Constraints: 25374
685.43/687.44 c #Conflicts: 697000 | #Constraints: 26374
685.43/687.44 c #Conflicts: 698000 | #Constraints: 27374
685.43/687.44 c #Conflicts: 699000 | #Constraints: 28374
685.43/687.44 c #Conflicts: 700000 | #Constraints: 29374
685.43/687.44 c #Conflicts: 701000 | #Constraints: 30374
685.43/687.44 c #Conflicts: 702000 | #Constraints: 31374
685.43/687.44 c #Conflicts: 703000 | #Constraints: 32374
685.43/687.44 c #Conflicts: 704000 | #Constraints: 33374
685.43/687.44 c #Conflicts: 705000 | #Constraints: 34374
685.43/687.44 c INPROCESSING
685.43/687.44 c GARBAGE COLLECT
685.43/687.44 c #Conflicts: 706000 | #Constraints: 18774
685.43/687.44 c #Conflicts: 707000 | #Constraints: 19774
685.43/687.44 c #Conflicts: 708000 | #Constraints: 20774
685.43/687.44 c #Conflicts: 709000 | #Constraints: 21774
685.43/687.44 c #Conflicts: 710000 | #Constraints: 22774
685.43/687.44 c #Conflicts: 711000 | #Constraints: 23774
685.43/687.44 c #Conflicts: 712000 | #Constraints: 24774
685.43/687.44 c #Conflicts: 713000 | #Constraints: 25774
685.43/687.44 c #Conflicts: 714000 | #Constraints: 26774
685.43/687.44 c #Conflicts: 715000 | #Constraints: 27774
685.43/687.44 c #Conflicts: 716000 | #Constraints: 28774
685.43/687.44 c #Conflicts: 717000 | #Constraints: 29774
685.43/687.44 c #Conflicts: 718000 | #Constraints: 30774
685.43/687.44 c #Conflicts: 719000 | #Constraints: 31774
685.43/687.44 c #Conflicts: 720000 | #Constraints: 32774
685.43/687.44 c #Conflicts: 721000 | #Constraints: 33774
685.43/687.44 c #Conflicts: 722000 | #Constraints: 34774
685.43/687.44 c INPROCESSING
685.43/687.44 c GARBAGE COLLECT
685.43/687.44 c #Conflicts: 723000 | #Constraints: 18972
685.43/687.44 c #Conflicts: 724000 | #Constraints: 19972
685.43/687.44 c #Conflicts: 725000 | #Constraints: 20972
685.43/687.44 c #Conflicts: 726000 | #Constraints: 21972
685.43/687.44 c #Conflicts: 727000 | #Constraints: 22972
685.43/687.44 c #Conflicts: 728000 | #Constraints: 23972
685.43/687.44 c #Conflicts: 729000 | #Constraints: 24972
685.43/687.44 c #Conflicts: 730000 | #Constraints: 25972
685.43/687.44 c #Conflicts: 731000 | #Constraints: 26972
685.43/687.44 c #Conflicts: 732000 | #Constraints: 27972
685.43/687.44 c #Conflicts: 733000 | #Constraints: 28972
685.43/687.44 c #Conflicts: 734000 | #Constraints: 29972
685.43/687.44 c #Conflicts: 735000 | #Constraints: 30972
685.43/687.44 c #Conflicts: 736000 | #Constraints: 31972
685.43/687.44 c #Conflicts: 737000 | #Constraints: 32972
685.43/687.44 c #Conflicts: 738000 | #Constraints: 33972
685.43/687.44 c #Conflicts: 739000 | #Constraints: 34972
685.43/687.44 c INPROCESSING
685.43/687.44 c GARBAGE COLLECT
685.43/687.44 c #Conflicts: 740000 | #Constraints: 18973
685.43/687.44 c #Conflicts: 741000 | #Constraints: 19973
685.43/687.44 c #Conflicts: 742000 | #Constraints: 20973
685.43/687.44 c #Conflicts: 743000 | #Constraints: 21973
685.43/687.44 c #Conflicts: 744000 | #Constraints: 22973
685.43/687.44 c #Conflicts: 745000 | #Constraints: 23973
792.95/795.25 c #Conflicts: 746000 | #Constraints: 24973
792.95/795.25 c #Conflicts: 747000 | #Constraints: 25973
792.95/795.25 c #Conflicts: 748000 | #Constraints: 26973
792.95/795.25 c #Conflicts: 749000 | #Constraints: 27973
792.95/795.25 c #Conflicts: 750000 | #Constraints: 28973
792.95/795.25 c #Conflicts: 751000 | #Constraints: 29973
792.95/795.25 c #Conflicts: 752000 | #Constraints: 30973
792.95/795.25 c #Conflicts: 753000 | #Constraints: 31973
792.95/795.25 c #Conflicts: 754000 | #Constraints: 32973
792.95/795.25 c #Conflicts: 755000 | #Constraints: 33973
792.95/795.25 c #Conflicts: 756000 | #Constraints: 34973
792.95/795.25 c INPROCESSING
792.95/795.25 c GARBAGE COLLECT
792.95/795.25 c #Conflicts: 757000 | #Constraints: 18772
792.95/795.25 c #Conflicts: 758000 | #Constraints: 19772
792.95/795.25 c #Conflicts: 759000 | #Constraints: 20772
792.95/795.25 c #Conflicts: 760000 | #Constraints: 21772
792.95/795.25 c #Conflicts: 761000 | #Constraints: 22772
792.95/795.25 c #Conflicts: 762000 | #Constraints: 23772
792.95/795.25 c #Conflicts: 763000 | #Constraints: 24772
792.95/795.25 c #Conflicts: 764000 | #Constraints: 25772
792.95/795.25 c #Conflicts: 765000 | #Constraints: 26772
792.95/795.25 c #Conflicts: 766000 | #Constraints: 27772
792.95/795.25 c #Conflicts: 767000 | #Constraints: 28772
792.95/795.25 c #Conflicts: 768000 | #Constraints: 29772
792.95/795.25 c #Conflicts: 769000 | #Constraints: 30772
792.95/795.25 c #Conflicts: 770000 | #Constraints: 31772
792.95/795.25 c #Conflicts: 771000 | #Constraints: 32772
792.95/795.25 c #Conflicts: 772000 | #Constraints: 33772
792.95/795.25 c #Conflicts: 773000 | #Constraints: 34772
792.95/795.25 c #Conflicts: 774000 | #Constraints: 35772
792.95/795.25 c INPROCESSING
792.95/795.25 c GARBAGE COLLECT
792.95/795.25 c #Conflicts: 775000 | #Constraints: 19372
792.95/795.25 c #Conflicts: 776000 | #Constraints: 20372
792.95/795.25 c #Conflicts: 777000 | #Constraints: 21372
792.95/795.25 c #Conflicts: 778000 | #Constraints: 22372
792.95/795.25 c #Conflicts: 779000 | #Constraints: 23372
792.95/795.25 c #Conflicts: 780000 | #Constraints: 24372
792.95/795.25 c #Conflicts: 781000 | #Constraints: 25372
792.95/795.25 c #Conflicts: 782000 | #Constraints: 26372
792.95/795.25 c #Conflicts: 783000 | #Constraints: 27372
792.95/795.25 c #Conflicts: 784000 | #Constraints: 28372
792.95/795.25 c #Conflicts: 785000 | #Constraints: 29372
792.95/795.25 c #Conflicts: 786000 | #Constraints: 30372
792.95/795.25 c #Conflicts: 787000 | #Constraints: 31372
792.95/795.25 c #Conflicts: 788000 | #Constraints: 32372
792.95/795.25 c #Conflicts: 789000 | #Constraints: 33372
792.95/795.25 c #Conflicts: 790000 | #Constraints: 34372
792.95/795.25 c #Conflicts: 791000 | #Constraints: 35372
792.95/795.25 c #Conflicts: 792000 | #Constraints: 36372
792.95/795.25 c INPROCESSING
792.95/795.25 c GARBAGE COLLECT
792.95/795.25 c #Conflicts: 793000 | #Constraints: 19773
792.95/795.25 c #Conflicts: 794000 | #Constraints: 20773
792.95/795.25 c #Conflicts: 795000 | #Constraints: 21773
792.95/795.25 c #Conflicts: 796000 | #Constraints: 22773
792.95/795.25 c #Conflicts: 797000 | #Constraints: 23773
792.95/795.25 c #Conflicts: 798000 | #Constraints: 24773
792.95/795.25 c #Conflicts: 799000 | #Constraints: 25773
792.95/795.25 c #Conflicts: 800000 | #Constraints: 26773
792.95/795.25 c #Conflicts: 801000 | #Constraints: 27773
792.95/795.25 c #Conflicts: 802000 | #Constraints: 28773
792.95/795.25 c #Conflicts: 803000 | #Constraints: 29773
792.95/795.25 c #Conflicts: 804000 | #Constraints: 30773
792.95/795.25 c #Conflicts: 805000 | #Constraints: 31773
792.95/795.25 c #Conflicts: 806000 | #Constraints: 32773
792.95/795.25 c #Conflicts: 807000 | #Constraints: 33773
792.95/795.25 c #Conflicts: 808000 | #Constraints: 34773
792.95/795.25 c #Conflicts: 809000 | #Constraints: 35773
792.95/795.25 c #Conflicts: 810000 | #Constraints: 36773
792.95/795.25 c INPROCESSING
792.95/795.25 c GARBAGE COLLECT
792.95/795.25 c #Conflicts: 811000 | #Constraints: 19971
792.95/795.25 c #Conflicts: 812000 | #Constraints: 20971
792.95/795.25 c #Conflicts: 813000 | #Constraints: 21971
792.95/795.25 c #Conflicts: 814000 | #Constraints: 22971
792.95/795.25 c #Conflicts: 815000 | #Constraints: 23971
792.95/795.25 c #Conflicts: 816000 | #Constraints: 24971
792.95/795.25 c #Conflicts: 817000 | #Constraints: 25971
792.95/795.25 c #Conflicts: 818000 | #Constraints: 26971
792.95/795.25 c #Conflicts: 819000 | #Constraints: 27971
792.95/795.25 c #Conflicts: 820000 | #Constraints: 28971
792.95/795.25 c #Conflicts: 821000 | #Constraints: 29971
919.51/922.12 c #Conflicts: 822000 | #Constraints: 30971
919.51/922.12 c #Conflicts: 823000 | #Constraints: 31971
919.51/922.12 c #Conflicts: 824000 | #Constraints: 32971
919.51/922.12 c #Conflicts: 825000 | #Constraints: 33971
919.51/922.12 c #Conflicts: 826000 | #Constraints: 34971
919.51/922.12 c #Conflicts: 827000 | #Constraints: 35971
919.51/922.12 c #Conflicts: 828000 | #Constraints: 36971
919.51/922.12 c INPROCESSING
919.51/922.12 c GARBAGE COLLECT
919.51/922.12 c #Conflicts: 829000 | #Constraints: 19971
919.51/922.12 c #Conflicts: 830000 | #Constraints: 20971
919.51/922.12 c #Conflicts: 831000 | #Constraints: 21971
919.51/922.12 c #Conflicts: 832000 | #Constraints: 22971
919.51/922.12 c #Conflicts: 833000 | #Constraints: 23971
919.51/922.12 c #Conflicts: 834000 | #Constraints: 24971
919.51/922.12 c #Conflicts: 835000 | #Constraints: 25971
919.51/922.12 c #Conflicts: 836000 | #Constraints: 26971
919.51/922.12 c #Conflicts: 837000 | #Constraints: 27971
919.51/922.12 c #Conflicts: 838000 | #Constraints: 28971
919.51/922.12 c #Conflicts: 839000 | #Constraints: 29971
919.51/922.12 c #Conflicts: 840000 | #Constraints: 30971
919.51/922.12 c #Conflicts: 841000 | #Constraints: 31971
919.51/922.12 c #Conflicts: 842000 | #Constraints: 32971
919.51/922.12 c #Conflicts: 843000 | #Constraints: 33971
919.51/922.12 c #Conflicts: 844000 | #Constraints: 34971
919.51/922.12 c #Conflicts: 845000 | #Constraints: 35971
919.51/922.12 c #Conflicts: 846000 | #Constraints: 36971
919.51/922.12 c INPROCESSING
919.51/922.12 c GARBAGE COLLECT
919.51/922.12 c #Conflicts: 847000 | #Constraints: 19773
919.51/922.12 c #Conflicts: 848000 | #Constraints: 20773
919.51/922.12 c #Conflicts: 849000 | #Constraints: 21773
919.51/922.12 c #Conflicts: 850000 | #Constraints: 22773
919.51/922.12 c #Conflicts: 851000 | #Constraints: 23773
919.51/922.12 c #Conflicts: 852000 | #Constraints: 24773
919.51/922.12 c #Conflicts: 853000 | #Constraints: 25773
919.51/922.12 c #Conflicts: 854000 | #Constraints: 26773
919.51/922.12 c #Conflicts: 855000 | #Constraints: 27773
919.51/922.12 c #Conflicts: 856000 | #Constraints: 28773
919.51/922.12 c #Conflicts: 857000 | #Constraints: 29773
919.51/922.12 c #Conflicts: 858000 | #Constraints: 30773
919.51/922.12 c #Conflicts: 859000 | #Constraints: 31773
919.51/922.12 c #Conflicts: 860000 | #Constraints: 32773
919.51/922.12 c #Conflicts: 861000 | #Constraints: 33773
919.51/922.12 c #Conflicts: 862000 | #Constraints: 34773
919.51/922.12 c #Conflicts: 863000 | #Constraints: 35773
919.51/922.12 c #Conflicts: 864000 | #Constraints: 36773
919.51/922.12 c #Conflicts: 865000 | #Constraints: 37773
919.51/922.12 c INPROCESSING
919.51/922.12 c GARBAGE COLLECT
919.51/922.12 c #Conflicts: 866000 | #Constraints: 20372
919.51/922.12 c #Conflicts: 867000 | #Constraints: 21372
919.51/922.12 c #Conflicts: 868000 | #Constraints: 22372
919.51/922.12 c #Conflicts: 869000 | #Constraints: 23372
919.51/922.12 c #Conflicts: 870000 | #Constraints: 24372
919.51/922.12 c #Conflicts: 871000 | #Constraints: 25372
919.51/922.12 c #Conflicts: 872000 | #Constraints: 26372
919.51/922.12 c #Conflicts: 873000 | #Constraints: 27372
919.51/922.12 c #Conflicts: 874000 | #Constraints: 28372
919.51/922.12 c #Conflicts: 875000 | #Constraints: 29372
919.51/922.12 c #Conflicts: 876000 | #Constraints: 30372
919.51/922.12 c #Conflicts: 877000 | #Constraints: 31372
919.51/922.12 c #Conflicts: 878000 | #Constraints: 32372
919.51/922.12 c #Conflicts: 879000 | #Constraints: 33372
919.51/922.12 c #Conflicts: 880000 | #Constraints: 34372
919.51/922.12 c #Conflicts: 881000 | #Constraints: 35372
919.51/922.12 c #Conflicts: 882000 | #Constraints: 36372
919.51/922.12 c #Conflicts: 883000 | #Constraints: 37372
919.51/922.12 c #Conflicts: 884000 | #Constraints: 38372
919.51/922.12 c INPROCESSING
919.51/922.12 c GARBAGE COLLECT
919.51/922.12 c #Conflicts: 885000 | #Constraints: 20773
919.51/922.12 c #Conflicts: 886000 | #Constraints: 21773
919.51/922.12 c #Conflicts: 887000 | #Constraints: 22773
919.51/922.12 c #Conflicts: 888000 | #Constraints: 23773
919.51/922.12 c #Conflicts: 889000 | #Constraints: 24773
919.51/922.12 c #Conflicts: 890000 | #Constraints: 25773
919.51/922.12 c #Conflicts: 891000 | #Constraints: 26773
919.51/922.12 c #Conflicts: 892000 | #Constraints: 27773
919.51/922.12 c #Conflicts: 893000 | #Constraints: 28773
919.51/922.12 c #Conflicts: 894000 | #Constraints: 29773
919.51/922.12 c #Conflicts: 895000 | #Constraints: 30773
919.51/922.12 c #Conflicts: 896000 | #Constraints: 31773
919.51/922.12 c #Conflicts: 897000 | #Constraints: 32773
1047.64/1050.62 c #Conflicts: 898000 | #Constraints: 33773
1047.64/1050.62 c #Conflicts: 899000 | #Constraints: 34773
1047.64/1050.62 c #Conflicts: 900000 | #Constraints: 35773
1047.64/1050.62 c #Conflicts: 901000 | #Constraints: 36773
1047.64/1050.62 c #Conflicts: 902000 | #Constraints: 37773
1047.64/1050.62 c #Conflicts: 903000 | #Constraints: 38773
1047.64/1050.62 c INPROCESSING
1047.64/1050.62 c GARBAGE COLLECT
1047.64/1050.62 c #Conflicts: 904000 | #Constraints: 20971
1047.64/1050.62 c #Conflicts: 905000 | #Constraints: 21971
1047.64/1050.62 c #Conflicts: 906000 | #Constraints: 22971
1047.64/1050.62 c #Conflicts: 907000 | #Constraints: 23971
1047.64/1050.62 c #Conflicts: 908000 | #Constraints: 24971
1047.64/1050.62 c #Conflicts: 909000 | #Constraints: 25971
1047.64/1050.62 c #Conflicts: 910000 | #Constraints: 26971
1047.64/1050.62 c #Conflicts: 911000 | #Constraints: 27971
1047.64/1050.62 c #Conflicts: 912000 | #Constraints: 28971
1047.64/1050.62 c #Conflicts: 913000 | #Constraints: 29971
1047.64/1050.62 c #Conflicts: 914000 | #Constraints: 30971
1047.64/1050.62 c #Conflicts: 915000 | #Constraints: 31971
1047.64/1050.62 c #Conflicts: 916000 | #Constraints: 32971
1047.64/1050.62 c #Conflicts: 917000 | #Constraints: 33971
1047.64/1050.62 c #Conflicts: 918000 | #Constraints: 34971
1047.64/1050.62 c #Conflicts: 919000 | #Constraints: 35971
1047.64/1050.62 c #Conflicts: 920000 | #Constraints: 36971
1047.64/1050.62 c #Conflicts: 921000 | #Constraints: 37971
1047.64/1050.62 c #Conflicts: 922000 | #Constraints: 38971
1047.64/1050.62 c INPROCESSING
1047.64/1050.62 c GARBAGE COLLECT
1047.64/1050.62 c #Conflicts: 923000 | #Constraints: 20970
1047.64/1050.62 c #Conflicts: 924000 | #Constraints: 21970
1047.64/1050.62 c #Conflicts: 925000 | #Constraints: 22970
1047.64/1050.62 c #Conflicts: 926000 | #Constraints: 23970
1047.64/1050.62 c #Conflicts: 927000 | #Constraints: 24970
1047.64/1050.62 c #Conflicts: 928000 | #Constraints: 25970
1047.64/1050.62 c #Conflicts: 929000 | #Constraints: 26970
1047.64/1050.62 c #Conflicts: 930000 | #Constraints: 27970
1047.64/1050.62 c #Conflicts: 931000 | #Constraints: 28970
1047.64/1050.62 c #Conflicts: 932000 | #Constraints: 29970
1047.64/1050.62 c #Conflicts: 933000 | #Constraints: 30970
1047.64/1050.62 c #Conflicts: 934000 | #Constraints: 31970
1047.64/1050.62 c #Conflicts: 935000 | #Constraints: 32970
1047.64/1050.62 c #Conflicts: 936000 | #Constraints: 33970
1047.64/1050.62 c #Conflicts: 937000 | #Constraints: 34970
1047.64/1050.62 c #Conflicts: 938000 | #Constraints: 35970
1047.64/1050.62 c #Conflicts: 939000 | #Constraints: 36970
1047.64/1050.62 c #Conflicts: 940000 | #Constraints: 37970
1047.64/1050.62 c #Conflicts: 941000 | #Constraints: 38970
1047.64/1050.62 c INPROCESSING
1047.64/1050.62 c GARBAGE COLLECT
1047.64/1050.62 c #Conflicts: 942000 | #Constraints: 20771
1047.64/1050.62 c #Conflicts: 943000 | #Constraints: 21771
1047.64/1050.62 c #Conflicts: 944000 | #Constraints: 22771
1047.64/1050.62 c #Conflicts: 945000 | #Constraints: 23771
1047.64/1050.62 c #Conflicts: 946000 | #Constraints: 24771
1047.64/1050.62 c #Conflicts: 947000 | #Constraints: 25771
1047.64/1050.62 c #Conflicts: 948000 | #Constraints: 26771
1047.64/1050.62 c #Conflicts: 949000 | #Constraints: 27771
1047.64/1050.62 c #Conflicts: 950000 | #Constraints: 28771
1047.64/1050.62 c #Conflicts: 951000 | #Constraints: 29771
1047.64/1050.62 c #Conflicts: 952000 | #Constraints: 30771
1047.64/1050.62 c #Conflicts: 953000 | #Constraints: 31771
1047.64/1050.62 c #Conflicts: 954000 | #Constraints: 32771
1047.64/1050.62 c #Conflicts: 955000 | #Constraints: 33771
1047.64/1050.62 c #Conflicts: 956000 | #Constraints: 34771
1047.64/1050.62 c #Conflicts: 957000 | #Constraints: 35771
1047.64/1050.62 c #Conflicts: 958000 | #Constraints: 36771
1047.64/1050.62 c #Conflicts: 959000 | #Constraints: 37771
1047.64/1050.62 c #Conflicts: 960000 | #Constraints: 38771
1047.64/1050.62 c #Conflicts: 961000 | #Constraints: 39771
1047.64/1050.62 c INPROCESSING
1047.64/1050.62 c GARBAGE COLLECT
1047.64/1050.62 c #Conflicts: 962000 | #Constraints: 21375
1047.64/1050.62 c #Conflicts: 963000 | #Constraints: 22375
1047.64/1050.62 c #Conflicts: 964000 | #Constraints: 23375
1047.64/1050.62 c #Conflicts: 965000 | #Constraints: 24375
1047.64/1050.62 c #Conflicts: 966000 | #Constraints: 25375
1047.64/1050.62 c #Conflicts: 967000 | #Constraints: 26375
1047.64/1050.62 c #Conflicts: 968000 | #Constraints: 27375
1047.64/1050.62 c #Conflicts: 969000 | #Constraints: 28375
1047.64/1050.62 c #Conflicts: 970000 | #Constraints: 29375
1047.64/1050.62 c #Conflicts: 971000 | #Constraints: 30375
1047.64/1050.62 c #Conflicts: 972000 | #Constraints: 31375
1047.64/1050.62 c #Conflicts: 973000 | #Constraints: 32375
1203.08/1206.52 c #Conflicts: 974000 | #Constraints: 33375
1203.08/1206.52 c #Conflicts: 975000 | #Constraints: 34375
1203.08/1206.52 c #Conflicts: 976000 | #Constraints: 35375
1203.08/1206.52 c #Conflicts: 977000 | #Constraints: 36375
1203.08/1206.52 c #Conflicts: 978000 | #Constraints: 37375
1203.08/1206.52 c #Conflicts: 979000 | #Constraints: 38375
1203.08/1206.52 c #Conflicts: 980000 | #Constraints: 39375
1203.08/1206.52 c #Conflicts: 981000 | #Constraints: 40375
1203.08/1206.52 c INPROCESSING
1203.08/1206.52 c GARBAGE COLLECT
1203.08/1206.52 c #Conflicts: 982000 | #Constraints: 21775
1203.08/1206.52 c #Conflicts: 983000 | #Constraints: 22775
1203.08/1206.52 c #Conflicts: 984000 | #Constraints: 23775
1203.08/1206.52 c #Conflicts: 985000 | #Constraints: 24775
1203.08/1206.52 c #Conflicts: 986000 | #Constraints: 25775
1203.08/1206.52 c #Conflicts: 987000 | #Constraints: 26775
1203.08/1206.52 c #Conflicts: 988000 | #Constraints: 27775
1203.08/1206.52 c #Conflicts: 989000 | #Constraints: 28775
1203.08/1206.52 c #Conflicts: 990000 | #Constraints: 29775
1203.08/1206.52 c #Conflicts: 991000 | #Constraints: 30775
1203.08/1206.52 c #Conflicts: 992000 | #Constraints: 31775
1203.08/1206.52 c #Conflicts: 993000 | #Constraints: 32775
1203.08/1206.52 c #Conflicts: 994000 | #Constraints: 33775
1203.08/1206.52 c #Conflicts: 995000 | #Constraints: 34775
1203.08/1206.52 c #Conflicts: 996000 | #Constraints: 35775
1203.08/1206.52 c #Conflicts: 997000 | #Constraints: 36775
1203.08/1206.52 c #Conflicts: 998000 | #Constraints: 37775
1203.08/1206.52 c #Conflicts: 999000 | #Constraints: 38775
1203.08/1206.52 c #Conflicts: 1000000 | #Constraints: 39775
1203.08/1206.52 c #Conflicts: 1001000 | #Constraints: 40775
1203.08/1206.52 c INPROCESSING
1203.08/1206.52 c GARBAGE COLLECT
1203.08/1206.52 c #Conflicts: 1002000 | #Constraints: 21974
1203.08/1206.52 c #Conflicts: 1003000 | #Constraints: 22974
1203.08/1206.52 c #Conflicts: 1004000 | #Constraints: 23974
1203.08/1206.52 c #Conflicts: 1005000 | #Constraints: 24974
1203.08/1206.52 c #Conflicts: 1006000 | #Constraints: 25974
1203.08/1206.52 c #Conflicts: 1007000 | #Constraints: 26974
1203.08/1206.52 c #Conflicts: 1008000 | #Constraints: 27974
1203.08/1206.52 c #Conflicts: 1009000 | #Constraints: 28974
1203.08/1206.52 c #Conflicts: 1010000 | #Constraints: 29974
1203.08/1206.52 c #Conflicts: 1011000 | #Constraints: 30974
1203.08/1206.52 c #Conflicts: 1012000 | #Constraints: 31974
1203.08/1206.52 c #Conflicts: 1013000 | #Constraints: 32974
1203.08/1206.52 c #Conflicts: 1014000 | #Constraints: 33974
1203.08/1206.52 c #Conflicts: 1015000 | #Constraints: 34974
1203.08/1206.52 c #Conflicts: 1016000 | #Constraints: 35974
1203.08/1206.52 c #Conflicts: 1017000 | #Constraints: 36974
1203.08/1206.52 c #Conflicts: 1018000 | #Constraints: 37974
1203.08/1206.52 c #Conflicts: 1019000 | #Constraints: 38974
1203.08/1206.52 c #Conflicts: 1020000 | #Constraints: 39974
1203.08/1206.52 c #Conflicts: 1021000 | #Constraints: 40974
1203.08/1206.52 c INPROCESSING
1203.08/1206.52 c GARBAGE COLLECT
1203.08/1206.52 c #Conflicts: 1022000 | #Constraints: 21972
1203.08/1206.52 c #Conflicts: 1023000 | #Constraints: 22972
1203.08/1206.52 c #Conflicts: 1024000 | #Constraints: 23972
1203.08/1206.52 c #Conflicts: 1025000 | #Constraints: 24972
1203.08/1206.52 c #Conflicts: 1026000 | #Constraints: 25972
1203.08/1206.52 c #Conflicts: 1027000 | #Constraints: 26972
1203.08/1206.52 c #Conflicts: 1028000 | #Constraints: 27972
1203.08/1206.52 c #Conflicts: 1029000 | #Constraints: 28972
1203.08/1206.52 c #Conflicts: 1030000 | #Constraints: 29972
1203.08/1206.52 c #Conflicts: 1031000 | #Constraints: 30972
1203.08/1206.52 c #Conflicts: 1032000 | #Constraints: 31972
1203.08/1206.52 c #Conflicts: 1033000 | #Constraints: 32972
1203.08/1206.52 c #Conflicts: 1034000 | #Constraints: 33972
1203.08/1206.52 c #Conflicts: 1035000 | #Constraints: 34972
1203.08/1206.52 c #Conflicts: 1036000 | #Constraints: 35972
1203.08/1206.52 c #Conflicts: 1037000 | #Constraints: 36972
1203.08/1206.52 c #Conflicts: 1038000 | #Constraints: 37972
1203.08/1206.52 c #Conflicts: 1039000 | #Constraints: 38972
1203.08/1206.52 c #Conflicts: 1040000 | #Constraints: 39972
1203.08/1206.52 c #Conflicts: 1041000 | #Constraints: 40972
1203.08/1206.52 c INPROCESSING
1203.08/1206.52 c GARBAGE COLLECT
1203.08/1206.52 c #Conflicts: 1042000 | #Constraints: 21771
1203.08/1206.52 c #Conflicts: 1043000 | #Constraints: 22771
1203.08/1206.52 c #Conflicts: 1044000 | #Constraints: 23771
1203.08/1206.52 c #Conflicts: 1045000 | #Constraints: 24771
1203.08/1206.52 c #Conflicts: 1046000 | #Constraints: 25771
1203.08/1206.52 c #Conflicts: 1047000 | #Constraints: 26771
1203.08/1206.52 c #Conflicts: 1048000 | #Constraints: 27771
1203.08/1206.52 c #Conflicts: 1049000 | #Constraints: 28771
1203.08/1206.52 c #Conflicts: 1050000 | #Constraints: 29771
1373.00/1376.90 c #Conflicts: 1051000 | #Constraints: 30771
1373.00/1376.90 c #Conflicts: 1052000 | #Constraints: 31771
1373.00/1376.90 c #Conflicts: 1053000 | #Constraints: 32771
1373.00/1376.90 c #Conflicts: 1054000 | #Constraints: 33771
1373.00/1376.90 c #Conflicts: 1055000 | #Constraints: 34771
1373.00/1376.90 c #Conflicts: 1056000 | #Constraints: 35771
1373.00/1376.90 c #Conflicts: 1057000 | #Constraints: 36771
1373.00/1376.90 c #Conflicts: 1058000 | #Constraints: 37771
1373.00/1376.90 c #Conflicts: 1059000 | #Constraints: 38771
1373.00/1376.90 c #Conflicts: 1060000 | #Constraints: 39771
1373.00/1376.90 c #Conflicts: 1061000 | #Constraints: 40771
1373.00/1376.90 c #Conflicts: 1062000 | #Constraints: 41771
1373.00/1376.90 c INPROCESSING
1373.00/1376.90 c GARBAGE COLLECT
1373.00/1376.90 c #Conflicts: 1063000 | #Constraints: 22373
1373.00/1376.90 c #Conflicts: 1064000 | #Constraints: 23373
1373.00/1376.90 c #Conflicts: 1065000 | #Constraints: 24373
1373.00/1376.90 c #Conflicts: 1066000 | #Constraints: 25373
1373.00/1376.90 c #Conflicts: 1067000 | #Constraints: 26373
1373.00/1376.90 c #Conflicts: 1068000 | #Constraints: 27373
1373.00/1376.90 c #Conflicts: 1069000 | #Constraints: 28373
1373.00/1376.90 c #Conflicts: 1070000 | #Constraints: 29373
1373.00/1376.90 c #Conflicts: 1071000 | #Constraints: 30373
1373.00/1376.90 c #Conflicts: 1072000 | #Constraints: 31373
1373.00/1376.90 c #Conflicts: 1073000 | #Constraints: 32373
1373.00/1376.90 c #Conflicts: 1074000 | #Constraints: 33373
1373.00/1376.90 c #Conflicts: 1075000 | #Constraints: 34373
1373.00/1376.90 c #Conflicts: 1076000 | #Constraints: 35373
1373.00/1376.90 c #Conflicts: 1077000 | #Constraints: 36373
1373.00/1376.90 c #Conflicts: 1078000 | #Constraints: 37373
1373.00/1376.90 c #Conflicts: 1079000 | #Constraints: 38373
1373.00/1376.90 c #Conflicts: 1080000 | #Constraints: 39373
1373.00/1376.90 c #Conflicts: 1081000 | #Constraints: 40373
1373.00/1376.90 c #Conflicts: 1082000 | #Constraints: 41373
1373.00/1376.90 c #Conflicts: 1083000 | #Constraints: 42373
1373.00/1376.90 c INPROCESSING
1373.00/1376.90 c GARBAGE COLLECT
1373.00/1376.90 c #Conflicts: 1084000 | #Constraints: 22772
1373.00/1376.90 c #Conflicts: 1085000 | #Constraints: 23772
1373.00/1376.90 c #Conflicts: 1086000 | #Constraints: 24772
1373.00/1376.90 c #Conflicts: 1087000 | #Constraints: 25772
1373.00/1376.90 c #Conflicts: 1088000 | #Constraints: 26772
1373.00/1376.90 c #Conflicts: 1089000 | #Constraints: 27772
1373.00/1376.90 c #Conflicts: 1090000 | #Constraints: 28772
1373.00/1376.90 c #Conflicts: 1091000 | #Constraints: 29772
1373.00/1376.90 c #Conflicts: 1092000 | #Constraints: 30772
1373.00/1376.90 c #Conflicts: 1093000 | #Constraints: 31772
1373.00/1376.90 c #Conflicts: 1094000 | #Constraints: 32772
1373.00/1376.90 c #Conflicts: 1095000 | #Constraints: 33772
1373.00/1376.90 c #Conflicts: 1096000 | #Constraints: 34772
1373.00/1376.90 c #Conflicts: 1097000 | #Constraints: 35772
1373.00/1376.90 c #Conflicts: 1098000 | #Constraints: 36772
1373.00/1376.90 c #Conflicts: 1099000 | #Constraints: 37772
1373.00/1376.90 c #Conflicts: 1100000 | #Constraints: 38772
1373.00/1376.90 c #Conflicts: 1101000 | #Constraints: 39772
1373.00/1376.90 c #Conflicts: 1102000 | #Constraints: 40772
1373.00/1376.90 c #Conflicts: 1103000 | #Constraints: 41772
1373.00/1376.90 c #Conflicts: 1104000 | #Constraints: 42772
1373.00/1376.90 c INPROCESSING
1373.00/1376.90 c GARBAGE COLLECT
1373.00/1376.90 c #Conflicts: 1105000 | #Constraints: 22973
1373.00/1376.90 c #Conflicts: 1106000 | #Constraints: 23973
1373.00/1376.90 c #Conflicts: 1107000 | #Constraints: 24973
1373.00/1376.90 c #Conflicts: 1108000 | #Constraints: 25973
1373.00/1376.90 c #Conflicts: 1109000 | #Constraints: 26973
1373.00/1376.90 c #Conflicts: 1110000 | #Constraints: 27973
1373.00/1376.90 c #Conflicts: 1111000 | #Constraints: 28973
1373.00/1376.90 c #Conflicts: 1112000 | #Constraints: 29973
1373.00/1376.90 c #Conflicts: 1113000 | #Constraints: 30973
1373.00/1376.90 c #Conflicts: 1114000 | #Constraints: 31973
1373.00/1376.90 c #Conflicts: 1115000 | #Constraints: 32973
1373.00/1376.90 c #Conflicts: 1116000 | #Constraints: 33973
1373.00/1376.90 c #Conflicts: 1117000 | #Constraints: 34973
1373.00/1376.90 c #Conflicts: 1118000 | #Constraints: 35973
1373.00/1376.90 c #Conflicts: 1119000 | #Constraints: 36973
1373.00/1376.90 c #Conflicts: 1120000 | #Constraints: 37973
1373.00/1376.90 c #Conflicts: 1121000 | #Constraints: 38973
1373.00/1376.90 c #Conflicts: 1122000 | #Constraints: 39973
1373.00/1376.90 c #Conflicts: 1123000 | #Constraints: 40973
1373.00/1376.90 c #Conflicts: 1124000 | #Constraints: 41973
1373.00/1376.90 c #Conflicts: 1125000 | #Constraints: 42973
1373.00/1376.90 c INPROCESSING
1373.00/1376.90 c GARBAGE COLLECT
1373.00/1376.90 c #Conflicts: 1126000 | #Constraints: 22974
1503.34/1507.64 c #Conflicts: 1127000 | #Constraints: 23974
1503.34/1507.64 c #Conflicts: 1128000 | #Constraints: 24974
1503.34/1507.64 c #Conflicts: 1129000 | #Constraints: 25974
1503.34/1507.64 c #Conflicts: 1130000 | #Constraints: 26974
1503.34/1507.64 c #Conflicts: 1131000 | #Constraints: 27974
1503.34/1507.64 c #Conflicts: 1132000 | #Constraints: 28974
1503.34/1507.64 c #Conflicts: 1133000 | #Constraints: 29974
1503.34/1507.64 c #Conflicts: 1134000 | #Constraints: 30974
1503.34/1507.64 c #Conflicts: 1135000 | #Constraints: 31974
1503.34/1507.64 c #Conflicts: 1136000 | #Constraints: 32974
1503.34/1507.64 c #Conflicts: 1137000 | #Constraints: 33974
1503.34/1507.64 c #Conflicts: 1138000 | #Constraints: 34974
1503.34/1507.64 c #Conflicts: 1139000 | #Constraints: 35974
1503.34/1507.64 c #Conflicts: 1140000 | #Constraints: 36974
1503.34/1507.64 c #Conflicts: 1141000 | #Constraints: 37974
1503.34/1507.64 c #Conflicts: 1142000 | #Constraints: 38974
1503.34/1507.64 c #Conflicts: 1143000 | #Constraints: 39974
1503.34/1507.64 c #Conflicts: 1144000 | #Constraints: 40974
1503.34/1507.64 c #Conflicts: 1145000 | #Constraints: 41974
1503.34/1507.64 c #Conflicts: 1146000 | #Constraints: 42974
1503.34/1507.64 c INPROCESSING
1503.34/1507.64 c GARBAGE COLLECT
1503.34/1507.64 c #Conflicts: 1147000 | #Constraints: 22773
1503.34/1507.64 c #Conflicts: 1148000 | #Constraints: 23773
1503.34/1507.64 c #Conflicts: 1149000 | #Constraints: 24773
1503.34/1507.64 c #Conflicts: 1150000 | #Constraints: 25773
1503.34/1507.64 c #Conflicts: 1151000 | #Constraints: 26773
1503.34/1507.64 c #Conflicts: 1152000 | #Constraints: 27773
1503.34/1507.64 c #Conflicts: 1153000 | #Constraints: 28773
1503.34/1507.64 c #Conflicts: 1154000 | #Constraints: 29773
1503.34/1507.64 c #Conflicts: 1155000 | #Constraints: 30773
1503.34/1507.64 c #Conflicts: 1156000 | #Constraints: 31773
1503.34/1507.64 c #Conflicts: 1157000 | #Constraints: 32773
1503.34/1507.64 c #Conflicts: 1158000 | #Constraints: 33773
1503.34/1507.64 c #Conflicts: 1159000 | #Constraints: 34773
1503.34/1507.64 c #Conflicts: 1160000 | #Constraints: 35773
1503.34/1507.64 c #Conflicts: 1161000 | #Constraints: 36773
1503.34/1507.64 c #Conflicts: 1162000 | #Constraints: 37773
1503.34/1507.64 c #Conflicts: 1163000 | #Constraints: 38773
1503.34/1507.64 c #Conflicts: 1164000 | #Constraints: 39773
1503.34/1507.64 c #Conflicts: 1165000 | #Constraints: 40773
1503.34/1507.64 c #Conflicts: 1166000 | #Constraints: 41773
1503.34/1507.64 c #Conflicts: 1167000 | #Constraints: 42773
1503.34/1507.64 c #Conflicts: 1168000 | #Constraints: 43773
1503.34/1507.64 c INPROCESSING
1503.34/1507.64 c GARBAGE COLLECT
1503.34/1507.64 c #Conflicts: 1169000 | #Constraints: 23374
1503.34/1507.64 c #Conflicts: 1170000 | #Constraints: 24374
1503.34/1507.64 c #Conflicts: 1171000 | #Constraints: 25374
1503.34/1507.64 c #Conflicts: 1172000 | #Constraints: 26374
1503.34/1507.64 c #Conflicts: 1173000 | #Constraints: 27374
1503.34/1507.64 c #Conflicts: 1174000 | #Constraints: 28374
1503.34/1507.64 c #Conflicts: 1175000 | #Constraints: 29374
1503.34/1507.64 c #Conflicts: 1176000 | #Constraints: 30374
1503.34/1507.64 c #Conflicts: 1177000 | #Constraints: 31374
1503.34/1507.64 c #Conflicts: 1178000 | #Constraints: 32374
1503.34/1507.64 c #Conflicts: 1179000 | #Constraints: 33374
1503.34/1507.64 c #Conflicts: 1180000 | #Constraints: 34374
1503.34/1507.64 c #Conflicts: 1181000 | #Constraints: 35374
1503.34/1507.64 c #Conflicts: 1182000 | #Constraints: 36374
1503.34/1507.64 c #Conflicts: 1183000 | #Constraints: 37374
1503.34/1507.64 c #Conflicts: 1184000 | #Constraints: 38374
1503.34/1507.64 c #Conflicts: 1185000 | #Constraints: 39374
1503.34/1507.64 c #Conflicts: 1186000 | #Constraints: 40374
1503.34/1507.64 c #Conflicts: 1187000 | #Constraints: 41374
1503.34/1507.64 c #Conflicts: 1188000 | #Constraints: 42374
1503.34/1507.64 c #Conflicts: 1189000 | #Constraints: 43374
1503.34/1507.64 c #Conflicts: 1190000 | #Constraints: 44374
1503.34/1507.64 c INPROCESSING
1503.34/1507.64 c GARBAGE COLLECT
1503.34/1507.64 c #Conflicts: 1191000 | #Constraints: 23773
1503.34/1507.64 c #Conflicts: 1192000 | #Constraints: 24773
1503.34/1507.64 c #Conflicts: 1193000 | #Constraints: 25773
1503.34/1507.64 c #Conflicts: 1194000 | #Constraints: 26773
1503.34/1507.64 c #Conflicts: 1195000 | #Constraints: 27773
1503.34/1507.64 c #Conflicts: 1196000 | #Constraints: 28773
1503.34/1507.64 c #Conflicts: 1197000 | #Constraints: 29773
1503.34/1507.64 c #Conflicts: 1198000 | #Constraints: 30773
1503.34/1507.64 c #Conflicts: 1199000 | #Constraints: 31773
1503.34/1507.64 c #Conflicts: 1200000 | #Constraints: 32773
1503.34/1507.64 c #Conflicts: 1201000 | #Constraints: 33773
1503.34/1507.64 c #Conflicts: 1202000 | #Constraints: 34773
1503.34/1507.64 c #Conflicts: 1203000 | #Constraints: 35773
1636.89/1641.53 c #Conflicts: 1204000 | #Constraints: 36773
1636.89/1641.53 c #Conflicts: 1205000 | #Constraints: 37773
1636.89/1641.53 c #Conflicts: 1206000 | #Constraints: 38773
1636.89/1641.53 c #Conflicts: 1207000 | #Constraints: 39773
1636.89/1641.53 c #Conflicts: 1208000 | #Constraints: 40773
1636.89/1641.53 c #Conflicts: 1209000 | #Constraints: 41773
1636.89/1641.53 c #Conflicts: 1210000 | #Constraints: 42773
1636.89/1641.53 c #Conflicts: 1211000 | #Constraints: 43773
1636.89/1641.53 c #Conflicts: 1212000 | #Constraints: 44773
1636.89/1641.53 c INPROCESSING
1636.89/1641.53 c GARBAGE COLLECT
1636.89/1641.53 c #Conflicts: 1213000 | #Constraints: 23972
1636.89/1641.53 c #Conflicts: 1214000 | #Constraints: 24972
1636.89/1641.53 c #Conflicts: 1215000 | #Constraints: 25972
1636.89/1641.53 c #Conflicts: 1216000 | #Constraints: 26972
1636.89/1641.53 c #Conflicts: 1217000 | #Constraints: 27972
1636.89/1641.53 c #Conflicts: 1218000 | #Constraints: 28972
1636.89/1641.53 c #Conflicts: 1219000 | #Constraints: 29972
1636.89/1641.53 c #Conflicts: 1220000 | #Constraints: 30972
1636.89/1641.53 c #Conflicts: 1221000 | #Constraints: 31972
1636.89/1641.53 c #Conflicts: 1222000 | #Constraints: 32972
1636.89/1641.53 c #Conflicts: 1223000 | #Constraints: 33972
1636.89/1641.53 c #Conflicts: 1224000 | #Constraints: 34972
1636.89/1641.53 c #Conflicts: 1225000 | #Constraints: 35972
1636.89/1641.53 c #Conflicts: 1226000 | #Constraints: 36972
1636.89/1641.53 c #Conflicts: 1227000 | #Constraints: 37972
1636.89/1641.53 c #Conflicts: 1228000 | #Constraints: 38972
1636.89/1641.53 c #Conflicts: 1229000 | #Constraints: 39972
1636.89/1641.53 c #Conflicts: 1230000 | #Constraints: 40972
1636.89/1641.53 c #Conflicts: 1231000 | #Constraints: 41972
1636.89/1641.53 c #Conflicts: 1232000 | #Constraints: 42972
1636.89/1641.53 c #Conflicts: 1233000 | #Constraints: 43972
1636.89/1641.53 c #Conflicts: 1234000 | #Constraints: 44972
1636.89/1641.53 c INPROCESSING
1636.89/1641.53 c GARBAGE COLLECT
1636.89/1641.53 c #Conflicts: 1235000 | #Constraints: 23972
1636.89/1641.53 c #Conflicts: 1236000 | #Constraints: 24972
1636.89/1641.53 c #Conflicts: 1237000 | #Constraints: 25972
1636.89/1641.53 c #Conflicts: 1238000 | #Constraints: 26972
1636.89/1641.53 c #Conflicts: 1239000 | #Constraints: 27972
1636.89/1641.53 c #Conflicts: 1240000 | #Constraints: 28972
1636.89/1641.53 c #Conflicts: 1241000 | #Constraints: 29972
1636.89/1641.53 c #Conflicts: 1242000 | #Constraints: 30972
1636.89/1641.53 c #Conflicts: 1243000 | #Constraints: 31972
1636.89/1641.53 c #Conflicts: 1244000 | #Constraints: 32972
1636.89/1641.53 c #Conflicts: 1245000 | #Constraints: 33972
1636.89/1641.53 c #Conflicts: 1246000 | #Constraints: 34972
1636.89/1641.53 c #Conflicts: 1247000 | #Constraints: 35972
1636.89/1641.53 c #Conflicts: 1248000 | #Constraints: 36972
1636.89/1641.53 c #Conflicts: 1249000 | #Constraints: 37972
1636.89/1641.53 c #Conflicts: 1250000 | #Constraints: 38972
1636.89/1641.53 c #Conflicts: 1251000 | #Constraints: 39972
1636.89/1641.53 c #Conflicts: 1252000 | #Constraints: 40972
1636.89/1641.53 c #Conflicts: 1253000 | #Constraints: 41972
1636.89/1641.53 c #Conflicts: 1254000 | #Constraints: 42972
1636.89/1641.53 c #Conflicts: 1255000 | #Constraints: 43972
1636.89/1641.53 c #Conflicts: 1256000 | #Constraints: 44972
1636.89/1641.53 c INPROCESSING
1636.89/1641.53 c GARBAGE COLLECT
1636.89/1641.53 c #Conflicts: 1257000 | #Constraints: 23772
1636.89/1641.53 c #Conflicts: 1258000 | #Constraints: 24772
1636.89/1641.53 c #Conflicts: 1259000 | #Constraints: 25772
1636.89/1641.53 c #Conflicts: 1260000 | #Constraints: 26772
1636.89/1641.53 c #Conflicts: 1261000 | #Constraints: 27772
1636.89/1641.53 c #Conflicts: 1262000 | #Constraints: 28772
1636.89/1641.53 c #Conflicts: 1263000 | #Constraints: 29772
1636.89/1641.53 c #Conflicts: 1264000 | #Constraints: 30772
1636.89/1641.53 c #Conflicts: 1265000 | #Constraints: 31772
1636.89/1641.53 c #Conflicts: 1266000 | #Constraints: 32772
1636.89/1641.53 c #Conflicts: 1267000 | #Constraints: 33772
1636.89/1641.53 c #Conflicts: 1268000 | #Constraints: 34772
1636.89/1641.53 c #Conflicts: 1269000 | #Constraints: 35772
1636.89/1641.53 c #Conflicts: 1270000 | #Constraints: 36772
1636.89/1641.53 c #Conflicts: 1271000 | #Constraints: 37772
1636.89/1641.53 c #Conflicts: 1272000 | #Constraints: 38772
1636.89/1641.53 c #Conflicts: 1273000 | #Constraints: 39772
1636.89/1641.53 c #Conflicts: 1274000 | #Constraints: 40772
1636.89/1641.53 c #Conflicts: 1275000 | #Constraints: 41772
1636.89/1641.53 c #Conflicts: 1276000 | #Constraints: 42772
1636.89/1641.53 c #Conflicts: 1277000 | #Constraints: 43772
1636.89/1641.53 c #Conflicts: 1278000 | #Constraints: 44772
1636.89/1641.53 c #Conflicts: 1279000 | #Constraints: 45772
1737.13/1742.06 c INPROCESSING
1737.13/1742.06 c GARBAGE COLLECT
1737.13/1742.06 c #Conflicts: 1280000 | #Constraints: 24371
1737.13/1742.06 c #Conflicts: 1281000 | #Constraints: 25371
1737.13/1742.06 c #Conflicts: 1282000 | #Constraints: 26371
1737.13/1742.06 c #Conflicts: 1283000 | #Constraints: 27371
1737.13/1742.06 c #Conflicts: 1284000 | #Constraints: 28371
1737.13/1742.06 c #Conflicts: 1285000 | #Constraints: 29371
1737.13/1742.06 c #Conflicts: 1286000 | #Constraints: 30371
1737.13/1742.06 c #Conflicts: 1287000 | #Constraints: 31371
1737.13/1742.06 c #Conflicts: 1288000 | #Constraints: 32371
1737.13/1742.06 c #Conflicts: 1289000 | #Constraints: 33371
1737.13/1742.06 c #Conflicts: 1290000 | #Constraints: 34371
1737.13/1742.06 c #Conflicts: 1291000 | #Constraints: 35371
1737.13/1742.06 c #Conflicts: 1292000 | #Constraints: 36371
1737.13/1742.06 c #Conflicts: 1293000 | #Constraints: 37371
1737.13/1742.06 c #Conflicts: 1294000 | #Constraints: 38371
1737.13/1742.06 c #Conflicts: 1295000 | #Constraints: 39371
1737.13/1742.06 c #Conflicts: 1296000 | #Constraints: 40371
1737.13/1742.06 c #Conflicts: 1297000 | #Constraints: 41371
1737.13/1742.06 c #Conflicts: 1298000 | #Constraints: 42371
1737.13/1742.06 c #Conflicts: 1299000 | #Constraints: 43371
1737.13/1742.06 c #Conflicts: 1300000 | #Constraints: 44371
1737.13/1742.06 c #Conflicts: 1301000 | #Constraints: 45371
1737.13/1742.06 c #Conflicts: 1302000 | #Constraints: 46371
1737.13/1742.06 c INPROCESSING
1737.13/1742.06 c GARBAGE COLLECT
1737.13/1742.06 c #Conflicts: 1303000 | #Constraints: 24771
1737.13/1742.06 c #Conflicts: 1304000 | #Constraints: 25771
1737.13/1742.06 c #Conflicts: 1305000 | #Constraints: 26771
1737.13/1742.06 c #Conflicts: 1306000 | #Constraints: 27771
1737.13/1742.06 c #Conflicts: 1307000 | #Constraints: 28771
1737.13/1742.06 c #Conflicts: 1308000 | #Constraints: 29771
1737.13/1742.06 c #Conflicts: 1309000 | #Constraints: 30771
1737.13/1742.06 c #Conflicts: 1310000 | #Constraints: 31771
1737.13/1742.06 c #Conflicts: 1311000 | #Constraints: 32771
1737.13/1742.06 c #Conflicts: 1312000 | #Constraints: 33771
1737.13/1742.06 c #Conflicts: 1313000 | #Constraints: 34771
1737.13/1742.06 c #Conflicts: 1314000 | #Constraints: 35771
1737.13/1742.06 c #Conflicts: 1315000 | #Constraints: 36771
1737.13/1742.06 c #Conflicts: 1316000 | #Constraints: 37771
1737.13/1742.06 c #Conflicts: 1317000 | #Constraints: 38771
1737.13/1742.06 c #Conflicts: 1318000 | #Constraints: 39771
1737.13/1742.06 c #Conflicts: 1319000 | #Constraints: 40771
1737.13/1742.06 c #Conflicts: 1320000 | #Constraints: 41771
1737.13/1742.06 c #Conflicts: 1321000 | #Constraints: 42771
1737.13/1742.06 c #Conflicts: 1322000 | #Constraints: 43771
1737.13/1742.06 c #Conflicts: 1323000 | #Constraints: 44771
1737.13/1742.06 c #Conflicts: 1324000 | #Constraints: 45771
1737.13/1742.06 c #Conflicts: 1325000 | #Constraints: 46771
1737.13/1742.06 c INPROCESSING
1737.13/1742.06 c GARBAGE COLLECT
1737.13/1742.06 c #Conflicts: 1326000 | #Constraints: 24972
1737.13/1742.06 c #Conflicts: 1327000 | #Constraints: 25972
1737.13/1742.06 c #Conflicts: 1328000 | #Constraints: 26972
1737.13/1742.06 c #Conflicts: 1329000 | #Constraints: 27972
1737.13/1742.06 c #Conflicts: 1330000 | #Constraints: 28972
1737.13/1742.06 c #Conflicts: 1331000 | #Constraints: 29972
1737.13/1742.06 c #Conflicts: 1332000 | #Constraints: 30972
1737.13/1742.06 c #Conflicts: 1333000 | #Constraints: 31972
1737.13/1742.06 c #Conflicts: 1334000 | #Constraints: 32972
1737.13/1742.06 c #Conflicts: 1335000 | #Constraints: 33972
1737.13/1742.06 c #Conflicts: 1336000 | #Constraints: 34972
1737.13/1742.06 c #Conflicts: 1337000 | #Constraints: 35972
1737.13/1742.06 c #Conflicts: 1338000 | #Constraints: 36972
1737.13/1742.06 c #Conflicts: 1339000 | #Constraints: 37972
1737.13/1742.06 c #Conflicts: 1340000 | #Constraints: 38972
1737.13/1742.06 c #Conflicts: 1341000 | #Constraints: 39972
1737.13/1742.06 c #Conflicts: 1342000 | #Constraints: 40972
1737.13/1742.06 c #Conflicts: 1343000 | #Constraints: 41972
1737.13/1742.06 c #Conflicts: 1344000 | #Constraints: 42972
1737.13/1742.06 c #Conflicts: 1345000 | #Constraints: 43972
1737.13/1742.06 c #Conflicts: 1346000 | #Constraints: 44972
1737.13/1742.06 c #Conflicts: 1347000 | #Constraints: 45972
1737.13/1742.06 c #Conflicts: 1348000 | #Constraints: 46972
1737.13/1742.06 c INPROCESSING
1737.13/1742.06 c GARBAGE COLLECT
1737.13/1742.06 c #Conflicts: 1349000 | #Constraints: 24972
1737.13/1742.06 c #Conflicts: 1350000 | #Constraints: 25972
1737.13/1742.06 c #Conflicts: 1351000 | #Constraints: 26972
1737.13/1742.06 c #Conflicts: 1352000 | #Constraints: 27972
1737.13/1742.06 c #Conflicts: 1353000 | #Constraints: 28972
1737.13/1742.06 c #Conflicts: 1354000 | #Constraints: 29972
1737.13/1742.06 c #Conflicts: 1355000 | #Constraints: 30972
1737.13/1742.06 c #Conflicts: 1356000 | #Constraints: 31972
1871.53/1876.81 c #Conflicts: 1357000 | #Constraints: 32972
1871.53/1876.81 c #Conflicts: 1358000 | #Constraints: 33972
1871.53/1876.81 c #Conflicts: 1359000 | #Constraints: 34972
1871.53/1876.81 c #Conflicts: 1360000 | #Constraints: 35972
1871.53/1876.81 c #Conflicts: 1361000 | #Constraints: 36972
1871.53/1876.81 c #Conflicts: 1362000 | #Constraints: 37972
1871.53/1876.81 c #Conflicts: 1363000 | #Constraints: 38972
1871.53/1876.81 c #Conflicts: 1364000 | #Constraints: 39972
1871.53/1876.81 c #Conflicts: 1365000 | #Constraints: 40972
1871.53/1876.81 c #Conflicts: 1366000 | #Constraints: 41972
1871.53/1876.81 c #Conflicts: 1367000 | #Constraints: 42972
1871.53/1876.81 c #Conflicts: 1368000 | #Constraints: 43972
1871.53/1876.81 c #Conflicts: 1369000 | #Constraints: 44972
1871.53/1876.81 c #Conflicts: 1370000 | #Constraints: 45972
1871.53/1876.81 c #Conflicts: 1371000 | #Constraints: 46972
1871.53/1876.81 c INPROCESSING
1871.53/1876.81 c GARBAGE COLLECT
1871.53/1876.81 c #Conflicts: 1372000 | #Constraints: 24771
1871.53/1876.81 c #Conflicts: 1373000 | #Constraints: 25771
1871.53/1876.81 c #Conflicts: 1374000 | #Constraints: 26771
1871.53/1876.81 c #Conflicts: 1375000 | #Constraints: 27771
1871.53/1876.81 c #Conflicts: 1376000 | #Constraints: 28771
1871.53/1876.81 c #Conflicts: 1377000 | #Constraints: 29771
1871.53/1876.81 c #Conflicts: 1378000 | #Constraints: 30771
1871.53/1876.81 c #Conflicts: 1379000 | #Constraints: 31771
1871.53/1876.81 c #Conflicts: 1380000 | #Constraints: 32771
1871.53/1876.81 c #Conflicts: 1381000 | #Constraints: 33771
1871.53/1876.81 c #Conflicts: 1382000 | #Constraints: 34771
1871.53/1876.81 c #Conflicts: 1383000 | #Constraints: 35771
1871.53/1876.81 c #Conflicts: 1384000 | #Constraints: 36771
1871.53/1876.81 c #Conflicts: 1385000 | #Constraints: 37771
1871.53/1876.81 c #Conflicts: 1386000 | #Constraints: 38771
1871.53/1876.81 c #Conflicts: 1387000 | #Constraints: 39771
1871.53/1876.81 c #Conflicts: 1388000 | #Constraints: 40771
1871.53/1876.81 c #Conflicts: 1389000 | #Constraints: 41771
1871.53/1876.81 c #Conflicts: 1390000 | #Constraints: 42771
1871.53/1876.81 c #Conflicts: 1391000 | #Constraints: 43771
1871.53/1876.81 c #Conflicts: 1392000 | #Constraints: 44771
1871.53/1876.81 c #Conflicts: 1393000 | #Constraints: 45771
1871.53/1876.81 c #Conflicts: 1394000 | #Constraints: 46771
1871.53/1876.81 c #Conflicts: 1395000 | #Constraints: 47771
1871.53/1876.81 c INPROCESSING
1871.53/1876.81 c GARBAGE COLLECT
1871.53/1876.81 c #Conflicts: 1396000 | #Constraints: 25371
1871.53/1876.81 c #Conflicts: 1397000 | #Constraints: 26371
1871.53/1876.81 c #Conflicts: 1398000 | #Constraints: 27371
1871.53/1876.81 c #Conflicts: 1399000 | #Constraints: 28371
1871.53/1876.81 c #Conflicts: 1400000 | #Constraints: 29371
1871.53/1876.81 c #Conflicts: 1401000 | #Constraints: 30371
1871.53/1876.81 c #Conflicts: 1402000 | #Constraints: 31371
1871.53/1876.81 c #Conflicts: 1403000 | #Constraints: 32371
1871.53/1876.81 c #Conflicts: 1404000 | #Constraints: 33371
1871.53/1876.81 c #Conflicts: 1405000 | #Constraints: 34371
1871.53/1876.81 c #Conflicts: 1406000 | #Constraints: 35371
1871.53/1876.81 c #Conflicts: 1407000 | #Constraints: 36371
1871.53/1876.81 c #Conflicts: 1408000 | #Constraints: 37371
1871.53/1876.81 c #Conflicts: 1409000 | #Constraints: 38371
1871.53/1876.81 c #Conflicts: 1410000 | #Constraints: 39371
1871.53/1876.81 c #Conflicts: 1411000 | #Constraints: 40371
1871.53/1876.81 c #Conflicts: 1412000 | #Constraints: 41371
1871.53/1876.81 c #Conflicts: 1413000 | #Constraints: 42371
1871.53/1876.81 c #Conflicts: 1414000 | #Constraints: 43371
1871.53/1876.81 c #Conflicts: 1415000 | #Constraints: 44371
1871.53/1876.81 c #Conflicts: 1416000 | #Constraints: 45371
1871.53/1876.81 c #Conflicts: 1417000 | #Constraints: 46371
1871.53/1876.81 c #Conflicts: 1418000 | #Constraints: 47371
1871.53/1876.81 c #Conflicts: 1419000 | #Constraints: 48371
1871.53/1876.81 c INPROCESSING
1871.53/1876.81 c GARBAGE COLLECT
1871.53/1876.81 c #Conflicts: 1420000 | #Constraints: 25774
1871.53/1876.81 c #Conflicts: 1421000 | #Constraints: 26774
1871.53/1876.81 c #Conflicts: 1422000 | #Constraints: 27774
1871.53/1876.81 c #Conflicts: 1423000 | #Constraints: 28774
1871.53/1876.81 c #Conflicts: 1424000 | #Constraints: 29774
1871.53/1876.81 c #Conflicts: 1425000 | #Constraints: 30774
1871.53/1876.81 c #Conflicts: 1426000 | #Constraints: 31774
1871.53/1876.81 c #Conflicts: 1427000 | #Constraints: 32774
1871.53/1876.81 c #Conflicts: 1428000 | #Constraints: 33774
1871.53/1876.81 c #Conflicts: 1429000 | #Constraints: 34774
1871.53/1876.81 c #Conflicts: 1430000 | #Constraints: 35774
1871.53/1876.81 c #Conflicts: 1431000 | #Constraints: 36774
1871.53/1876.81 c #Conflicts: 1432000 | #Constraints: 37774
1871.53/1876.81 c #Conflicts: 1433000 | #Constraints: 38774
2020.31/2026.05 c #Conflicts: 1434000 | #Constraints: 39774
2020.31/2026.05 c #Conflicts: 1435000 | #Constraints: 40774
2020.31/2026.05 c #Conflicts: 1436000 | #Constraints: 41774
2020.31/2026.05 c #Conflicts: 1437000 | #Constraints: 42774
2020.31/2026.05 c #Conflicts: 1438000 | #Constraints: 43774
2020.31/2026.05 c #Conflicts: 1439000 | #Constraints: 44774
2020.31/2026.05 c #Conflicts: 1440000 | #Constraints: 45774
2020.31/2026.05 c #Conflicts: 1441000 | #Constraints: 46774
2020.31/2026.05 c #Conflicts: 1442000 | #Constraints: 47774
2020.31/2026.05 c #Conflicts: 1443000 | #Constraints: 48774
2020.31/2026.05 c INPROCESSING
2020.31/2026.05 c GARBAGE COLLECT
2020.31/2026.05 c #Conflicts: 1444000 | #Constraints: 25975
2020.31/2026.05 c #Conflicts: 1445000 | #Constraints: 26975
2020.31/2026.05 c #Conflicts: 1446000 | #Constraints: 27975
2020.31/2026.05 c #Conflicts: 1447000 | #Constraints: 28975
2020.31/2026.05 c #Conflicts: 1448000 | #Constraints: 29975
2020.31/2026.05 c #Conflicts: 1449000 | #Constraints: 30975
2020.31/2026.05 c #Conflicts: 1450000 | #Constraints: 31975
2020.31/2026.05 c #Conflicts: 1451000 | #Constraints: 32975
2020.31/2026.05 c #Conflicts: 1452000 | #Constraints: 33975
2020.31/2026.05 c #Conflicts: 1453000 | #Constraints: 34975
2020.31/2026.05 c #Conflicts: 1454000 | #Constraints: 35975
2020.31/2026.05 c #Conflicts: 1455000 | #Constraints: 36975
2020.31/2026.05 c #Conflicts: 1456000 | #Constraints: 37975
2020.31/2026.05 c #Conflicts: 1457000 | #Constraints: 38975
2020.31/2026.05 c #Conflicts: 1458000 | #Constraints: 39975
2020.31/2026.05 c #Conflicts: 1459000 | #Constraints: 40975
2020.31/2026.05 c #Conflicts: 1460000 | #Constraints: 41975
2020.31/2026.05 c #Conflicts: 1461000 | #Constraints: 42975
2020.31/2026.05 c #Conflicts: 1462000 | #Constraints: 43975
2020.31/2026.05 c #Conflicts: 1463000 | #Constraints: 44975
2020.31/2026.05 c #Conflicts: 1464000 | #Constraints: 45975
2020.31/2026.05 c #Conflicts: 1465000 | #Constraints: 46975
2020.31/2026.05 c #Conflicts: 1466000 | #Constraints: 47975
2020.31/2026.05 c #Conflicts: 1467000 | #Constraints: 48975
2020.31/2026.05 c INPROCESSING
2020.31/2026.05 c GARBAGE COLLECT
2020.31/2026.05 c #Conflicts: 1468000 | #Constraints: 25973
2020.31/2026.05 c #Conflicts: 1469000 | #Constraints: 26973
2020.31/2026.05 c #Conflicts: 1470000 | #Constraints: 27973
2020.31/2026.05 c #Conflicts: 1471000 | #Constraints: 28973
2020.31/2026.05 c #Conflicts: 1472000 | #Constraints: 29973
2020.31/2026.05 c #Conflicts: 1473000 | #Constraints: 30973
2020.31/2026.05 c #Conflicts: 1474000 | #Constraints: 31973
2020.31/2026.05 c #Conflicts: 1475000 | #Constraints: 32973
2020.31/2026.05 c #Conflicts: 1476000 | #Constraints: 33973
2020.31/2026.05 c #Conflicts: 1477000 | #Constraints: 34973
2020.31/2026.05 c #Conflicts: 1478000 | #Constraints: 35973
2020.31/2026.05 c #Conflicts: 1479000 | #Constraints: 36973
2020.31/2026.05 c #Conflicts: 1480000 | #Constraints: 37973
2020.31/2026.05 c #Conflicts: 1481000 | #Constraints: 38973
2020.31/2026.05 c #Conflicts: 1482000 | #Constraints: 39973
2020.31/2026.05 c #Conflicts: 1483000 | #Constraints: 40973
2020.31/2026.05 c #Conflicts: 1484000 | #Constraints: 41973
2020.31/2026.05 c #Conflicts: 1485000 | #Constraints: 42973
2020.31/2026.05 c #Conflicts: 1486000 | #Constraints: 43973
2020.31/2026.05 c #Conflicts: 1487000 | #Constraints: 44973
2020.31/2026.05 c #Conflicts: 1488000 | #Constraints: 45973
2020.31/2026.05 c #Conflicts: 1489000 | #Constraints: 46973
2020.31/2026.05 c #Conflicts: 1490000 | #Constraints: 47973
2020.31/2026.05 c #Conflicts: 1491000 | #Constraints: 48973
2020.31/2026.05 c INPROCESSING
2020.31/2026.05 c GARBAGE COLLECT
2020.31/2026.05 c #Conflicts: 1492000 | #Constraints: 25773
2020.31/2026.05 c #Conflicts: 1493000 | #Constraints: 26773
2020.31/2026.05 c #Conflicts: 1494000 | #Constraints: 27773
2020.31/2026.05 c #Conflicts: 1495000 | #Constraints: 28773
2020.31/2026.05 c #Conflicts: 1496000 | #Constraints: 29773
2020.31/2026.05 c #Conflicts: 1497000 | #Constraints: 30773
2020.31/2026.05 c #Conflicts: 1498000 | #Constraints: 31773
2020.31/2026.05 c #Conflicts: 1499000 | #Constraints: 32773
2020.31/2026.05 c #Conflicts: 1500000 | #Constraints: 33773
2020.31/2026.05 c #Conflicts: 1501000 | #Constraints: 34773
2020.31/2026.05 c #Conflicts: 1502000 | #Constraints: 35773
2020.31/2026.05 c #Conflicts: 1503000 | #Constraints: 36773
2020.31/2026.05 c #Conflicts: 1504000 | #Constraints: 37773
2020.31/2026.05 c #Conflicts: 1505000 | #Constraints: 38773
2020.31/2026.05 c #Conflicts: 1506000 | #Constraints: 39773
2020.31/2026.05 c #Conflicts: 1507000 | #Constraints: 40773
2020.31/2026.05 c #Conflicts: 1508000 | #Constraints: 41773
2020.31/2026.05 c #Conflicts: 1509000 | #Constraints: 42773
2232.84/2239.19 c #Conflicts: 1510000 | #Constraints: 43773
2232.84/2239.19 c #Conflicts: 1511000 | #Constraints: 44773
2232.84/2239.19 c #Conflicts: 1512000 | #Constraints: 45773
2232.84/2239.19 c #Conflicts: 1513000 | #Constraints: 46773
2232.84/2239.19 c #Conflicts: 1514000 | #Constraints: 47773
2232.84/2239.19 c #Conflicts: 1515000 | #Constraints: 48773
2232.84/2239.19 c #Conflicts: 1516000 | #Constraints: 49773
2232.84/2239.19 c INPROCESSING
2232.84/2239.19 c GARBAGE COLLECT
2232.84/2239.19 c #Conflicts: 1517000 | #Constraints: 26374
2232.84/2239.19 c #Conflicts: 1518000 | #Constraints: 27374
2232.84/2239.19 c #Conflicts: 1519000 | #Constraints: 28374
2232.84/2239.19 c #Conflicts: 1520000 | #Constraints: 29374
2232.84/2239.19 c #Conflicts: 1521000 | #Constraints: 30374
2232.84/2239.19 c #Conflicts: 1522000 | #Constraints: 31374
2232.84/2239.19 c #Conflicts: 1523000 | #Constraints: 32374
2232.84/2239.19 c #Conflicts: 1524000 | #Constraints: 33374
2232.84/2239.19 c #Conflicts: 1525000 | #Constraints: 34374
2232.84/2239.19 c #Conflicts: 1526000 | #Constraints: 35374
2232.84/2239.19 c #Conflicts: 1527000 | #Constraints: 36374
2232.84/2239.19 c #Conflicts: 1528000 | #Constraints: 37374
2232.84/2239.19 c #Conflicts: 1529000 | #Constraints: 38374
2232.84/2239.19 c #Conflicts: 1530000 | #Constraints: 39374
2232.84/2239.19 c #Conflicts: 1531000 | #Constraints: 40374
2232.84/2239.19 c #Conflicts: 1532000 | #Constraints: 41374
2232.84/2239.19 c #Conflicts: 1533000 | #Constraints: 42374
2232.84/2239.19 c #Conflicts: 1534000 | #Constraints: 43374
2232.84/2239.19 c #Conflicts: 1535000 | #Constraints: 44374
2232.84/2239.19 c #Conflicts: 1536000 | #Constraints: 45374
2232.84/2239.19 c #Conflicts: 1537000 | #Constraints: 46374
2232.84/2239.19 c #Conflicts: 1538000 | #Constraints: 47374
2232.84/2239.19 c #Conflicts: 1539000 | #Constraints: 48374
2232.84/2239.19 c #Conflicts: 1540000 | #Constraints: 49374
2232.84/2239.19 c #Conflicts: 1541000 | #Constraints: 50374
2232.84/2239.19 c INPROCESSING
2232.84/2239.19 c GARBAGE COLLECT
2232.84/2239.19 c #Conflicts: 1542000 | #Constraints: 26775
2232.84/2239.19 c #Conflicts: 1543000 | #Constraints: 27775
2232.84/2239.19 c #Conflicts: 1544000 | #Constraints: 28775
2232.84/2239.19 c #Conflicts: 1545000 | #Constraints: 29775
2232.84/2239.19 c #Conflicts: 1546000 | #Constraints: 30775
2232.84/2239.19 c #Conflicts: 1547000 | #Constraints: 31775
2232.84/2239.19 c #Conflicts: 1548000 | #Constraints: 32775
2232.84/2239.19 c #Conflicts: 1549000 | #Constraints: 33775
2232.84/2239.19 c #Conflicts: 1550000 | #Constraints: 34775
2232.84/2239.19 c #Conflicts: 1551000 | #Constraints: 35775
2232.84/2239.19 c #Conflicts: 1552000 | #Constraints: 36775
2232.84/2239.19 c #Conflicts: 1553000 | #Constraints: 37775
2232.84/2239.19 c #Conflicts: 1554000 | #Constraints: 38775
2232.84/2239.19 c #Conflicts: 1555000 | #Constraints: 39775
2232.84/2239.19 c #Conflicts: 1556000 | #Constraints: 40775
2232.84/2239.19 c #Conflicts: 1557000 | #Constraints: 41775
2232.84/2239.19 c #Conflicts: 1558000 | #Constraints: 42775
2232.84/2239.19 c #Conflicts: 1559000 | #Constraints: 43775
2232.84/2239.19 c #Conflicts: 1560000 | #Constraints: 44775
2232.84/2239.19 c #Conflicts: 1561000 | #Constraints: 45775
2232.84/2239.19 c #Conflicts: 1562000 | #Constraints: 46775
2232.84/2239.19 c #Conflicts: 1563000 | #Constraints: 47775
2232.84/2239.19 c #Conflicts: 1564000 | #Constraints: 48775
2232.84/2239.19 c #Conflicts: 1565000 | #Constraints: 49775
2232.84/2239.19 c #Conflicts: 1566000 | #Constraints: 50775
2232.84/2239.19 c INPROCESSING
2232.84/2239.19 c GARBAGE COLLECT
2232.84/2239.19 c #Conflicts: 1567000 | #Constraints: 26973
2232.84/2239.19 c #Conflicts: 1568000 | #Constraints: 27973
2232.84/2239.19 c #Conflicts: 1569000 | #Constraints: 28973
2232.84/2239.19 c #Conflicts: 1570000 | #Constraints: 29973
2232.84/2239.19 c #Conflicts: 1571000 | #Constraints: 30973
2232.84/2239.19 c #Conflicts: 1572000 | #Constraints: 31973
2232.84/2239.19 c #Conflicts: 1573000 | #Constraints: 32973
2232.84/2239.19 c #Conflicts: 1574000 | #Constraints: 33973
2232.84/2239.19 c #Conflicts: 1575000 | #Constraints: 34973
2232.84/2239.19 c #Conflicts: 1576000 | #Constraints: 35973
2232.84/2239.19 c #Conflicts: 1577000 | #Constraints: 36973
2232.84/2239.19 c #Conflicts: 1578000 | #Constraints: 37973
2232.84/2239.19 c #Conflicts: 1579000 | #Constraints: 38973
2232.84/2239.19 c #Conflicts: 1580000 | #Constraints: 39973
2232.84/2239.19 c #Conflicts: 1581000 | #Constraints: 40973
2232.84/2239.19 c #Conflicts: 1582000 | #Constraints: 41973
2232.84/2239.19 c #Conflicts: 1583000 | #Constraints: 42973
2232.84/2239.19 c #Conflicts: 1584000 | #Constraints: 43973
2232.84/2239.19 c #Conflicts: 1585000 | #Constraints: 44973
2232.84/2239.19 c #Conflicts: 1586000 | #Constraints: 45973
2388.94/2395.67 c #Conflicts: 1587000 | #Constraints: 46973
2388.94/2395.67 c #Conflicts: 1588000 | #Constraints: 47973
2388.94/2395.67 c #Conflicts: 1589000 | #Constraints: 48973
2388.94/2395.67 c #Conflicts: 1590000 | #Constraints: 49973
2388.94/2395.67 c #Conflicts: 1591000 | #Constraints: 50973
2388.94/2395.67 c INPROCESSING
2388.94/2395.67 c GARBAGE COLLECT
2388.94/2395.67 c #Conflicts: 1592000 | #Constraints: 26972
2388.94/2395.67 c #Conflicts: 1593000 | #Constraints: 27972
2388.94/2395.67 c #Conflicts: 1594000 | #Constraints: 28972
2388.94/2395.67 c #Conflicts: 1595000 | #Constraints: 29972
2388.94/2395.67 c #Conflicts: 1596000 | #Constraints: 30972
2388.94/2395.67 c #Conflicts: 1597000 | #Constraints: 31972
2388.94/2395.67 c #Conflicts: 1598000 | #Constraints: 32972
2388.94/2395.67 c #Conflicts: 1599000 | #Constraints: 33972
2388.94/2395.67 c #Conflicts: 1600000 | #Constraints: 34972
2388.94/2395.67 c #Conflicts: 1601000 | #Constraints: 35972
2388.94/2395.67 c #Conflicts: 1602000 | #Constraints: 36972
2388.94/2395.67 c #Conflicts: 1603000 | #Constraints: 37972
2388.94/2395.67 c #Conflicts: 1604000 | #Constraints: 38972
2388.94/2395.67 c #Conflicts: 1605000 | #Constraints: 39972
2388.94/2395.67 c #Conflicts: 1606000 | #Constraints: 40972
2388.94/2395.67 c #Conflicts: 1607000 | #Constraints: 41972
2388.94/2395.67 c #Conflicts: 1608000 | #Constraints: 42972
2388.94/2395.67 c #Conflicts: 1609000 | #Constraints: 43972
2388.94/2395.67 c #Conflicts: 1610000 | #Constraints: 44972
2388.94/2395.67 c #Conflicts: 1611000 | #Constraints: 45972
2388.94/2395.67 c #Conflicts: 1612000 | #Constraints: 46972
2388.94/2395.67 c #Conflicts: 1613000 | #Constraints: 47972
2388.94/2395.67 c #Conflicts: 1614000 | #Constraints: 48972
2388.94/2395.67 c #Conflicts: 1615000 | #Constraints: 49972
2388.94/2395.67 c #Conflicts: 1616000 | #Constraints: 50972
2388.94/2395.67 c INPROCESSING
2388.94/2395.67 c GARBAGE COLLECT
2388.94/2395.67 c #Conflicts: 1617000 | #Constraints: 26775
2388.94/2395.67 c #Conflicts: 1618000 | #Constraints: 27775
2388.94/2395.67 c #Conflicts: 1619000 | #Constraints: 28775
2388.94/2395.67 c #Conflicts: 1620000 | #Constraints: 29775
2388.94/2395.67 c #Conflicts: 1621000 | #Constraints: 30775
2388.94/2395.67 c #Conflicts: 1622000 | #Constraints: 31775
2388.94/2395.67 c #Conflicts: 1623000 | #Constraints: 32775
2388.94/2395.67 c #Conflicts: 1624000 | #Constraints: 33775
2388.94/2395.67 c #Conflicts: 1625000 | #Constraints: 34775
2388.94/2395.67 c #Conflicts: 1626000 | #Constraints: 35775
2388.94/2395.67 c #Conflicts: 1627000 | #Constraints: 36775
2388.94/2395.67 c #Conflicts: 1628000 | #Constraints: 37775
2388.94/2395.67 c #Conflicts: 1629000 | #Constraints: 38775
2388.94/2395.67 c #Conflicts: 1630000 | #Constraints: 39775
2388.94/2395.67 c #Conflicts: 1631000 | #Constraints: 40775
2388.94/2395.67 c #Conflicts: 1632000 | #Constraints: 41775
2388.94/2395.67 c #Conflicts: 1633000 | #Constraints: 42775
2388.94/2395.67 c #Conflicts: 1634000 | #Constraints: 43775
2388.94/2395.67 c #Conflicts: 1635000 | #Constraints: 44775
2388.94/2395.67 c #Conflicts: 1636000 | #Constraints: 45775
2388.94/2395.67 c #Conflicts: 1637000 | #Constraints: 46775
2388.94/2395.67 c #Conflicts: 1638000 | #Constraints: 47775
2388.94/2395.67 c #Conflicts: 1639000 | #Constraints: 48775
2388.94/2395.67 c #Conflicts: 1640000 | #Constraints: 49775
2388.94/2395.67 c #Conflicts: 1641000 | #Constraints: 50775
2388.94/2395.67 c #Conflicts: 1642000 | #Constraints: 51775
2388.94/2395.67 c INPROCESSING
2388.94/2395.67 c GARBAGE COLLECT
2388.94/2395.67 c #Conflicts: 1643000 | #Constraints: 27376
2388.94/2395.67 c #Conflicts: 1644000 | #Constraints: 28376
2388.94/2395.67 c #Conflicts: 1645000 | #Constraints: 29376
2388.94/2395.67 c #Conflicts: 1646000 | #Constraints: 30376
2388.94/2395.67 c #Conflicts: 1647000 | #Constraints: 31376
2388.94/2395.67 c #Conflicts: 1648000 | #Constraints: 32376
2388.94/2395.67 c #Conflicts: 1649000 | #Constraints: 33376
2388.94/2395.67 c #Conflicts: 1650000 | #Constraints: 34376
2388.94/2395.67 c #Conflicts: 1651000 | #Constraints: 35376
2388.94/2395.67 c #Conflicts: 1652000 | #Constraints: 36376
2388.94/2395.67 c #Conflicts: 1653000 | #Constraints: 37376
2388.94/2395.67 c #Conflicts: 1654000 | #Constraints: 38376
2388.94/2395.67 c #Conflicts: 1655000 | #Constraints: 39376
2388.94/2395.67 c #Conflicts: 1656000 | #Constraints: 40376
2388.94/2395.67 c #Conflicts: 1657000 | #Constraints: 41376
2388.94/2395.67 c #Conflicts: 1658000 | #Constraints: 42376
2388.94/2395.67 c #Conflicts: 1659000 | #Constraints: 43376
2388.94/2395.67 c #Conflicts: 1660000 | #Constraints: 44376
2388.94/2395.67 c #Conflicts: 1661000 | #Constraints: 45376
2388.94/2395.67 c #Conflicts: 1662000 | #Constraints: 46376
2388.94/2395.67 c #Conflicts: 1663000 | #Constraints: 47376
2547.62/2554.76 c #Conflicts: 1664000 | #Constraints: 48376
2547.62/2554.76 c #Conflicts: 1665000 | #Constraints: 49376
2547.62/2554.76 c #Conflicts: 1666000 | #Constraints: 50376
2547.62/2554.76 c #Conflicts: 1667000 | #Constraints: 51376
2547.62/2554.76 c #Conflicts: 1668000 | #Constraints: 52376
2547.62/2554.76 c INPROCESSING
2547.62/2554.76 c GARBAGE COLLECT
2547.62/2554.76 c #Conflicts: 1669000 | #Constraints: 27773
2547.62/2554.76 c #Conflicts: 1670000 | #Constraints: 28773
2547.62/2554.76 c #Conflicts: 1671000 | #Constraints: 29773
2547.62/2554.76 c #Conflicts: 1672000 | #Constraints: 30773
2547.62/2554.76 c #Conflicts: 1673000 | #Constraints: 31773
2547.62/2554.76 c #Conflicts: 1674000 | #Constraints: 32773
2547.62/2554.76 c #Conflicts: 1675000 | #Constraints: 33773
2547.62/2554.76 c #Conflicts: 1676000 | #Constraints: 34773
2547.62/2554.76 c #Conflicts: 1677000 | #Constraints: 35773
2547.62/2554.76 c #Conflicts: 1678000 | #Constraints: 36773
2547.62/2554.76 c #Conflicts: 1679000 | #Constraints: 37773
2547.62/2554.76 c #Conflicts: 1680000 | #Constraints: 38773
2547.62/2554.76 c #Conflicts: 1681000 | #Constraints: 39773
2547.62/2554.76 c #Conflicts: 1682000 | #Constraints: 40773
2547.62/2554.76 c #Conflicts: 1683000 | #Constraints: 41773
2547.62/2554.76 c #Conflicts: 1684000 | #Constraints: 42773
2547.62/2554.76 c #Conflicts: 1685000 | #Constraints: 43773
2547.62/2554.76 c #Conflicts: 1686000 | #Constraints: 44773
2547.62/2554.76 c #Conflicts: 1687000 | #Constraints: 45773
2547.62/2554.76 c #Conflicts: 1688000 | #Constraints: 46773
2547.62/2554.76 c #Conflicts: 1689000 | #Constraints: 47773
2547.62/2554.76 c #Conflicts: 1690000 | #Constraints: 48773
2547.62/2554.76 c #Conflicts: 1691000 | #Constraints: 49773
2547.62/2554.76 c #Conflicts: 1692000 | #Constraints: 50773
2547.62/2554.76 c #Conflicts: 1693000 | #Constraints: 51773
2547.62/2554.76 c #Conflicts: 1694000 | #Constraints: 52773
2547.62/2554.76 c INPROCESSING
2547.62/2554.76 c GARBAGE COLLECT
2547.62/2554.76 c #Conflicts: 1695000 | #Constraints: 27972
2547.62/2554.76 c #Conflicts: 1696000 | #Constraints: 28972
2547.62/2554.76 c #Conflicts: 1697000 | #Constraints: 29972
2547.62/2554.76 c #Conflicts: 1698000 | #Constraints: 30972
2547.62/2554.76 c #Conflicts: 1699000 | #Constraints: 31972
2547.62/2554.76 c #Conflicts: 1700000 | #Constraints: 32972
2547.62/2554.76 c #Conflicts: 1701000 | #Constraints: 33972
2547.62/2554.76 c #Conflicts: 1702000 | #Constraints: 34972
2547.62/2554.76 c #Conflicts: 1703000 | #Constraints: 35972
2547.62/2554.76 c #Conflicts: 1704000 | #Constraints: 36972
2547.62/2554.76 c #Conflicts: 1705000 | #Constraints: 37972
2547.62/2554.76 c #Conflicts: 1706000 | #Constraints: 38972
2547.62/2554.76 c #Conflicts: 1707000 | #Constraints: 39972
2547.62/2554.76 c #Conflicts: 1708000 | #Constraints: 40972
2547.62/2554.76 c #Conflicts: 1709000 | #Constraints: 41972
2547.62/2554.76 c #Conflicts: 1710000 | #Constraints: 42972
2547.62/2554.76 c #Conflicts: 1711000 | #Constraints: 43972
2547.62/2554.76 c #Conflicts: 1712000 | #Constraints: 44972
2547.62/2554.76 c #Conflicts: 1713000 | #Constraints: 45972
2547.62/2554.76 c #Conflicts: 1714000 | #Constraints: 46972
2547.62/2554.76 c #Conflicts: 1715000 | #Constraints: 47972
2547.62/2554.76 c #Conflicts: 1716000 | #Constraints: 48972
2547.62/2554.76 c #Conflicts: 1717000 | #Constraints: 49972
2547.62/2554.76 c #Conflicts: 1718000 | #Constraints: 50972
2547.62/2554.76 c #Conflicts: 1719000 | #Constraints: 51972
2547.62/2554.76 c #Conflicts: 1720000 | #Constraints: 52972
2547.62/2554.76 c INPROCESSING
2547.62/2554.76 c GARBAGE COLLECT
2547.62/2554.76 c #Conflicts: 1721000 | #Constraints: 27972
2547.62/2554.76 c #Conflicts: 1722000 | #Constraints: 28972
2547.62/2554.76 c #Conflicts: 1723000 | #Constraints: 29972
2547.62/2554.76 c #Conflicts: 1724000 | #Constraints: 30972
2547.62/2554.76 c #Conflicts: 1725000 | #Constraints: 31972
2547.62/2554.76 c #Conflicts: 1726000 | #Constraints: 32972
2547.62/2554.76 c #Conflicts: 1727000 | #Constraints: 33972
2547.62/2554.76 c #Conflicts: 1728000 | #Constraints: 34972
2547.62/2554.76 c #Conflicts: 1729000 | #Constraints: 35972
2547.62/2554.76 c #Conflicts: 1730000 | #Constraints: 36972
2547.62/2554.76 c #Conflicts: 1731000 | #Constraints: 37972
2547.62/2554.76 c #Conflicts: 1732000 | #Constraints: 38972
2547.62/2554.76 c #Conflicts: 1733000 | #Constraints: 39972
2547.62/2554.76 c #Conflicts: 1734000 | #Constraints: 40972
2547.62/2554.76 c #Conflicts: 1735000 | #Constraints: 41972
2547.62/2554.76 c #Conflicts: 1736000 | #Constraints: 42972
2547.62/2554.76 c #Conflicts: 1737000 | #Constraints: 43972
2547.62/2554.76 c #Conflicts: 1738000 | #Constraints: 44972
2547.62/2554.76 c #Conflicts: 1739000 | #Constraints: 45972
2547.62/2554.76 c #Conflicts: 1740000 | #Constraints: 46972
2727.12/2734.75 c #Conflicts: 1741000 | #Constraints: 47972
2727.12/2734.75 c #Conflicts: 1742000 | #Constraints: 48972
2727.12/2734.75 c #Conflicts: 1743000 | #Constraints: 49972
2727.12/2734.75 c #Conflicts: 1744000 | #Constraints: 50972
2727.12/2734.75 c #Conflicts: 1745000 | #Constraints: 51972
2727.12/2734.75 c #Conflicts: 1746000 | #Constraints: 52972
2727.12/2734.75 c INPROCESSING
2727.12/2734.75 c GARBAGE COLLECT
2727.12/2734.75 c #Conflicts: 1747000 | #Constraints: 27772
2727.12/2734.75 c #Conflicts: 1748000 | #Constraints: 28772
2727.12/2734.75 c #Conflicts: 1749000 | #Constraints: 29772
2727.12/2734.75 c #Conflicts: 1750000 | #Constraints: 30772
2727.12/2734.75 c #Conflicts: 1751000 | #Constraints: 31772
2727.12/2734.75 c #Conflicts: 1752000 | #Constraints: 32772
2727.12/2734.75 c #Conflicts: 1753000 | #Constraints: 33772
2727.12/2734.75 c #Conflicts: 1754000 | #Constraints: 34772
2727.12/2734.75 c #Conflicts: 1755000 | #Constraints: 35772
2727.12/2734.75 c #Conflicts: 1756000 | #Constraints: 36772
2727.12/2734.75 c #Conflicts: 1757000 | #Constraints: 37772
2727.12/2734.75 c #Conflicts: 1758000 | #Constraints: 38772
2727.12/2734.75 c #Conflicts: 1759000 | #Constraints: 39772
2727.12/2734.75 c #Conflicts: 1760000 | #Constraints: 40772
2727.12/2734.75 c #Conflicts: 1761000 | #Constraints: 41772
2727.12/2734.75 c #Conflicts: 1762000 | #Constraints: 42772
2727.12/2734.75 c #Conflicts: 1763000 | #Constraints: 43772
2727.12/2734.75 c #Conflicts: 1764000 | #Constraints: 44772
2727.12/2734.75 c #Conflicts: 1765000 | #Constraints: 45772
2727.12/2734.75 c #Conflicts: 1766000 | #Constraints: 46772
2727.12/2734.75 c #Conflicts: 1767000 | #Constraints: 47772
2727.12/2734.75 c #Conflicts: 1768000 | #Constraints: 48772
2727.12/2734.75 c #Conflicts: 1769000 | #Constraints: 49772
2727.12/2734.75 c #Conflicts: 1770000 | #Constraints: 50772
2727.12/2734.75 c #Conflicts: 1771000 | #Constraints: 51772
2727.12/2734.75 c #Conflicts: 1772000 | #Constraints: 52772
2727.12/2734.75 c #Conflicts: 1773000 | #Constraints: 53772
2727.12/2734.75 c INPROCESSING
2727.12/2734.75 c GARBAGE COLLECT
2727.12/2734.75 c #Conflicts: 1774000 | #Constraints: 28372
2727.12/2734.75 c #Conflicts: 1775000 | #Constraints: 29372
2727.12/2734.75 c #Conflicts: 1776000 | #Constraints: 30372
2727.12/2734.75 c #Conflicts: 1777000 | #Constraints: 31372
2727.12/2734.75 c #Conflicts: 1778000 | #Constraints: 32372
2727.12/2734.75 c #Conflicts: 1779000 | #Constraints: 33372
2727.12/2734.75 c #Conflicts: 1780000 | #Constraints: 34372
2727.12/2734.75 c #Conflicts: 1781000 | #Constraints: 35372
2727.12/2734.75 c #Conflicts: 1782000 | #Constraints: 36372
2727.12/2734.75 c #Conflicts: 1783000 | #Constraints: 37372
2727.12/2734.75 c #Conflicts: 1784000 | #Constraints: 38372
2727.12/2734.75 c #Conflicts: 1785000 | #Constraints: 39372
2727.12/2734.75 c #Conflicts: 1786000 | #Constraints: 40372
2727.12/2734.75 c #Conflicts: 1787000 | #Constraints: 41372
2727.12/2734.75 c #Conflicts: 1788000 | #Constraints: 42372
2727.12/2734.75 c #Conflicts: 1789000 | #Constraints: 43372
2727.12/2734.75 c #Conflicts: 1790000 | #Constraints: 44372
2727.12/2734.75 c #Conflicts: 1791000 | #Constraints: 45372
2727.12/2734.75 c #Conflicts: 1792000 | #Constraints: 46372
2727.12/2734.75 c #Conflicts: 1793000 | #Constraints: 47372
2727.12/2734.75 c #Conflicts: 1794000 | #Constraints: 48372
2727.12/2734.75 c #Conflicts: 1795000 | #Constraints: 49372
2727.12/2734.75 c #Conflicts: 1796000 | #Constraints: 50372
2727.12/2734.75 c #Conflicts: 1797000 | #Constraints: 51372
2727.12/2734.75 c #Conflicts: 1798000 | #Constraints: 52372
2727.12/2734.75 c #Conflicts: 1799000 | #Constraints: 53372
2727.12/2734.75 c #Conflicts: 1800000 | #Constraints: 54372
2727.12/2734.75 c INPROCESSING
2727.12/2734.75 c GARBAGE COLLECT
2727.12/2734.75 c #Conflicts: 1801000 | #Constraints: 28773
2727.12/2734.75 c #Conflicts: 1802000 | #Constraints: 29773
2727.12/2734.75 c #Conflicts: 1803000 | #Constraints: 30773
2727.12/2734.75 c #Conflicts: 1804000 | #Constraints: 31773
2727.12/2734.75 c #Conflicts: 1805000 | #Constraints: 32773
2727.12/2734.75 c #Conflicts: 1806000 | #Constraints: 33773
2727.12/2734.75 c #Conflicts: 1807000 | #Constraints: 34773
2727.12/2734.75 c #Conflicts: 1808000 | #Constraints: 35773
2727.12/2734.75 c #Conflicts: 1809000 | #Constraints: 36773
2727.12/2734.75 c #Conflicts: 1810000 | #Constraints: 37773
2727.12/2734.75 c #Conflicts: 1811000 | #Constraints: 38773
2727.12/2734.75 c #Conflicts: 1812000 | #Constraints: 39773
2727.12/2734.75 c #Conflicts: 1813000 | #Constraints: 40773
2727.12/2734.75 c #Conflicts: 1814000 | #Constraints: 41773
2727.12/2734.75 c #Conflicts: 1815000 | #Constraints: 42773
2727.12/2734.75 c #Conflicts: 1816000 | #Constraints: 43773
2727.12/2734.75 c #Conflicts: 1817000 | #Constraints: 44773
2912.66/2920.88 c #Conflicts: 1818000 | #Constraints: 45773
2912.66/2920.88 c #Conflicts: 1819000 | #Constraints: 46773
2912.66/2920.88 c #Conflicts: 1820000 | #Constraints: 47773
2912.66/2920.88 c #Conflicts: 1821000 | #Constraints: 48773
2912.66/2920.88 c #Conflicts: 1822000 | #Constraints: 49773
2912.66/2920.88 c #Conflicts: 1823000 | #Constraints: 50773
2912.66/2920.88 c #Conflicts: 1824000 | #Constraints: 51773
2912.66/2920.88 c #Conflicts: 1825000 | #Constraints: 52773
2912.66/2920.88 c #Conflicts: 1826000 | #Constraints: 53773
2912.66/2920.88 c #Conflicts: 1827000 | #Constraints: 54773
2912.66/2920.88 c INPROCESSING
2912.66/2920.88 c GARBAGE COLLECT
2912.66/2920.88 c #Conflicts: 1828000 | #Constraints: 28972
2912.66/2920.88 c #Conflicts: 1829000 | #Constraints: 29972
2912.66/2920.88 c #Conflicts: 1830000 | #Constraints: 30972
2912.66/2920.88 c #Conflicts: 1831000 | #Constraints: 31972
2912.66/2920.88 c #Conflicts: 1832000 | #Constraints: 32972
2912.66/2920.88 c #Conflicts: 1833000 | #Constraints: 33972
2912.66/2920.88 c #Conflicts: 1834000 | #Constraints: 34972
2912.66/2920.88 c #Conflicts: 1835000 | #Constraints: 35972
2912.66/2920.88 c #Conflicts: 1836000 | #Constraints: 36972
2912.66/2920.88 c #Conflicts: 1837000 | #Constraints: 37972
2912.66/2920.88 c #Conflicts: 1838000 | #Constraints: 38972
2912.66/2920.88 c #Conflicts: 1839000 | #Constraints: 39972
2912.66/2920.88 c #Conflicts: 1840000 | #Constraints: 40972
2912.66/2920.88 c #Conflicts: 1841000 | #Constraints: 41972
2912.66/2920.88 c #Conflicts: 1842000 | #Constraints: 42972
2912.66/2920.88 c #Conflicts: 1843000 | #Constraints: 43972
2912.66/2920.88 c #Conflicts: 1844000 | #Constraints: 44972
2912.66/2920.88 c #Conflicts: 1845000 | #Constraints: 45972
2912.66/2920.88 c #Conflicts: 1846000 | #Constraints: 46972
2912.66/2920.88 c #Conflicts: 1847000 | #Constraints: 47972
2912.66/2920.88 c #Conflicts: 1848000 | #Constraints: 48972
2912.66/2920.88 c #Conflicts: 1849000 | #Constraints: 49972
2912.66/2920.88 c #Conflicts: 1850000 | #Constraints: 50972
2912.66/2920.88 c #Conflicts: 1851000 | #Constraints: 51972
2912.66/2920.88 c #Conflicts: 1852000 | #Constraints: 52972
2912.66/2920.88 c #Conflicts: 1853000 | #Constraints: 53972
2912.66/2920.88 c #Conflicts: 1854000 | #Constraints: 54972
2912.66/2920.88 c INPROCESSING
2912.66/2920.88 c GARBAGE COLLECT
2912.66/2920.88 c #Conflicts: 1855000 | #Constraints: 28973
2912.66/2920.88 c #Conflicts: 1856000 | #Constraints: 29973
2912.66/2920.88 c #Conflicts: 1857000 | #Constraints: 30973
2912.66/2920.88 c #Conflicts: 1858000 | #Constraints: 31973
2912.66/2920.88 c #Conflicts: 1859000 | #Constraints: 32973
2912.66/2920.88 c #Conflicts: 1860000 | #Constraints: 33973
2912.66/2920.88 c #Conflicts: 1861000 | #Constraints: 34973
2912.66/2920.88 c #Conflicts: 1862000 | #Constraints: 35973
2912.66/2920.88 c #Conflicts: 1863000 | #Constraints: 36973
2912.66/2920.88 c #Conflicts: 1864000 | #Constraints: 37973
2912.66/2920.88 c #Conflicts: 1865000 | #Constraints: 38973
2912.66/2920.88 c #Conflicts: 1866000 | #Constraints: 39973
2912.66/2920.88 c #Conflicts: 1867000 | #Constraints: 40973
2912.66/2920.88 c #Conflicts: 1868000 | #Constraints: 41973
2912.66/2920.88 c #Conflicts: 1869000 | #Constraints: 42973
2912.66/2920.88 c #Conflicts: 1870000 | #Constraints: 43973
2912.66/2920.88 c #Conflicts: 1871000 | #Constraints: 44973
2912.66/2920.88 c #Conflicts: 1872000 | #Constraints: 45973
2912.66/2920.88 c #Conflicts: 1873000 | #Constraints: 46973
2912.66/2920.88 c #Conflicts: 1874000 | #Constraints: 47973
2912.66/2920.88 c #Conflicts: 1875000 | #Constraints: 48973
2912.66/2920.88 c #Conflicts: 1876000 | #Constraints: 49973
2912.66/2920.88 c #Conflicts: 1877000 | #Constraints: 50973
2912.66/2920.88 c #Conflicts: 1878000 | #Constraints: 51973
2912.66/2920.88 c #Conflicts: 1879000 | #Constraints: 52973
2912.66/2920.88 c #Conflicts: 1880000 | #Constraints: 53973
2912.66/2920.88 c #Conflicts: 1881000 | #Constraints: 54973
2912.66/2920.88 c INPROCESSING
2912.66/2920.88 c GARBAGE COLLECT
2912.66/2920.88 c #Conflicts: 1882000 | #Constraints: 28772
2912.66/2920.88 c #Conflicts: 1883000 | #Constraints: 29772
2912.66/2920.88 c #Conflicts: 1884000 | #Constraints: 30772
2912.66/2920.88 c #Conflicts: 1885000 | #Constraints: 31772
2912.66/2920.88 c #Conflicts: 1886000 | #Constraints: 32772
2912.66/2920.88 c #Conflicts: 1887000 | #Constraints: 33772
2912.66/2920.88 c #Conflicts: 1888000 | #Constraints: 34772
2912.66/2920.88 c #Conflicts: 1889000 | #Constraints: 35772
2912.66/2920.88 c #Conflicts: 1890000 | #Constraints: 36772
2912.66/2920.88 c #Conflicts: 1891000 | #Constraints: 37772
2912.66/2920.88 c #Conflicts: 1892000 | #Constraints: 38772
2912.66/2920.88 c #Conflicts: 1893000 | #Constraints: 39772
2912.66/2920.88 c #Conflicts: 1894000 | #Constraints: 40772
3076.08/3084.77 c #Conflicts: 1895000 | #Constraints: 41772
3076.08/3084.77 c #Conflicts: 1896000 | #Constraints: 42772
3076.08/3084.77 c #Conflicts: 1897000 | #Constraints: 43772
3076.08/3084.77 c #Conflicts: 1898000 | #Constraints: 44772
3076.08/3084.77 c #Conflicts: 1899000 | #Constraints: 45772
3076.08/3084.77 c #Conflicts: 1900000 | #Constraints: 46772
3076.08/3084.77 c #Conflicts: 1901000 | #Constraints: 47772
3076.08/3084.77 c #Conflicts: 1902000 | #Constraints: 48772
3076.08/3084.77 c #Conflicts: 1903000 | #Constraints: 49772
3076.08/3084.77 c #Conflicts: 1904000 | #Constraints: 50772
3076.08/3084.77 c #Conflicts: 1905000 | #Constraints: 51772
3076.08/3084.77 c #Conflicts: 1906000 | #Constraints: 52772
3076.08/3084.77 c #Conflicts: 1907000 | #Constraints: 53772
3076.08/3084.77 c #Conflicts: 1908000 | #Constraints: 54772
3076.08/3084.77 c #Conflicts: 1909000 | #Constraints: 55772
3076.08/3084.77 c INPROCESSING
3076.08/3084.77 c GARBAGE COLLECT
3076.08/3084.77 c #Conflicts: 1910000 | #Constraints: 29371
3076.08/3084.77 c #Conflicts: 1911000 | #Constraints: 30371
3076.08/3084.77 c #Conflicts: 1912000 | #Constraints: 31371
3076.08/3084.77 c #Conflicts: 1913000 | #Constraints: 32371
3076.08/3084.77 c #Conflicts: 1914000 | #Constraints: 33371
3076.08/3084.77 c #Conflicts: 1915000 | #Constraints: 34371
3076.08/3084.77 c #Conflicts: 1916000 | #Constraints: 35371
3076.08/3084.77 c #Conflicts: 1917000 | #Constraints: 36371
3076.08/3084.77 c #Conflicts: 1918000 | #Constraints: 37371
3076.08/3084.77 c #Conflicts: 1919000 | #Constraints: 38371
3076.08/3084.77 c #Conflicts: 1920000 | #Constraints: 39371
3076.08/3084.77 c #Conflicts: 1921000 | #Constraints: 40371
3076.08/3084.77 c #Conflicts: 1922000 | #Constraints: 41371
3076.08/3084.77 c #Conflicts: 1923000 | #Constraints: 42371
3076.08/3084.77 c #Conflicts: 1924000 | #Constraints: 43371
3076.08/3084.77 c #Conflicts: 1925000 | #Constraints: 44371
3076.08/3084.77 c #Conflicts: 1926000 | #Constraints: 45371
3076.08/3084.77 c #Conflicts: 1927000 | #Constraints: 46371
3076.08/3084.77 c #Conflicts: 1928000 | #Constraints: 47371
3076.08/3084.77 c #Conflicts: 1929000 | #Constraints: 48371
3076.08/3084.77 c #Conflicts: 1930000 | #Constraints: 49371
3076.08/3084.77 c #Conflicts: 1931000 | #Constraints: 50371
3076.08/3084.77 c #Conflicts: 1932000 | #Constraints: 51371
3076.08/3084.77 c #Conflicts: 1933000 | #Constraints: 52371
3076.08/3084.77 c #Conflicts: 1934000 | #Constraints: 53371
3076.08/3084.77 c #Conflicts: 1935000 | #Constraints: 54371
3076.08/3084.77 c #Conflicts: 1936000 | #Constraints: 55371
3076.08/3084.77 c #Conflicts: 1937000 | #Constraints: 56371
3076.08/3084.77 c INPROCESSING
3076.08/3084.77 c GARBAGE COLLECT
3076.08/3084.77 c #Conflicts: 1938000 | #Constraints: 29771
3076.08/3084.77 c #Conflicts: 1939000 | #Constraints: 30771
3076.08/3084.77 c #Conflicts: 1940000 | #Constraints: 31771
3076.08/3084.77 c #Conflicts: 1941000 | #Constraints: 32771
3076.08/3084.77 c #Conflicts: 1942000 | #Constraints: 33771
3076.08/3084.77 c #Conflicts: 1943000 | #Constraints: 34771
3076.08/3084.77 c #Conflicts: 1944000 | #Constraints: 35771
3076.08/3084.77 c #Conflicts: 1945000 | #Constraints: 36771
3076.08/3084.77 c #Conflicts: 1946000 | #Constraints: 37771
3076.08/3084.77 c #Conflicts: 1947000 | #Constraints: 38771
3076.08/3084.77 c #Conflicts: 1948000 | #Constraints: 39771
3076.08/3084.77 c #Conflicts: 1949000 | #Constraints: 40771
3076.08/3084.77 c #Conflicts: 1950000 | #Constraints: 41771
3076.08/3084.77 c #Conflicts: 1951000 | #Constraints: 42771
3076.08/3084.77 c #Conflicts: 1952000 | #Constraints: 43771
3076.08/3084.77 c #Conflicts: 1953000 | #Constraints: 44771
3076.08/3084.77 c #Conflicts: 1954000 | #Constraints: 45771
3076.08/3084.77 c #Conflicts: 1955000 | #Constraints: 46771
3076.08/3084.77 c #Conflicts: 1956000 | #Constraints: 47771
3076.08/3084.77 c #Conflicts: 1957000 | #Constraints: 48771
3076.08/3084.77 c #Conflicts: 1958000 | #Constraints: 49771
3076.08/3084.77 c #Conflicts: 1959000 | #Constraints: 50771
3076.08/3084.77 c #Conflicts: 1960000 | #Constraints: 51771
3076.08/3084.77 c #Conflicts: 1961000 | #Constraints: 52771
3076.08/3084.77 c #Conflicts: 1962000 | #Constraints: 53771
3076.08/3084.77 c #Conflicts: 1963000 | #Constraints: 54771
3076.08/3084.77 c #Conflicts: 1964000 | #Constraints: 55771
3076.08/3084.77 c #Conflicts: 1965000 | #Constraints: 56771
3076.08/3084.77 c INPROCESSING
3076.08/3084.77 c GARBAGE COLLECT
3076.08/3084.77 c #Conflicts: 1966000 | #Constraints: 29973
3076.08/3084.77 c #Conflicts: 1967000 | #Constraints: 30973
3076.08/3084.77 c #Conflicts: 1968000 | #Constraints: 31973
3076.08/3084.77 c #Conflicts: 1969000 | #Constraints: 32973
3076.08/3084.77 c #Conflicts: 1970000 | #Constraints: 33973
3076.08/3084.77 c #Conflicts: 1971000 | #Constraints: 34973
3278.67/3287.98 c #Conflicts: 1972000 | #Constraints: 35973
3278.67/3287.98 c #Conflicts: 1973000 | #Constraints: 36973
3278.67/3287.98 c #Conflicts: 1974000 | #Constraints: 37973
3278.67/3287.98 c #Conflicts: 1975000 | #Constraints: 38973
3278.67/3287.98 c #Conflicts: 1976000 | #Constraints: 39973
3278.67/3287.98 c #Conflicts: 1977000 | #Constraints: 40973
3278.67/3287.98 c #Conflicts: 1978000 | #Constraints: 41973
3278.67/3287.98 c #Conflicts: 1979000 | #Constraints: 42973
3278.67/3287.98 c #Conflicts: 1980000 | #Constraints: 43973
3278.67/3287.98 c #Conflicts: 1981000 | #Constraints: 44973
3278.67/3287.98 c #Conflicts: 1982000 | #Constraints: 45973
3278.67/3287.98 c #Conflicts: 1983000 | #Constraints: 46973
3278.67/3287.98 c #Conflicts: 1984000 | #Constraints: 47973
3278.67/3287.98 c #Conflicts: 1985000 | #Constraints: 48973
3278.67/3287.98 c #Conflicts: 1986000 | #Constraints: 49973
3278.67/3287.98 c #Conflicts: 1987000 | #Constraints: 50973
3278.67/3287.98 c #Conflicts: 1988000 | #Constraints: 51973
3278.67/3287.98 c #Conflicts: 1989000 | #Constraints: 52973
3278.67/3287.98 c #Conflicts: 1990000 | #Constraints: 53973
3278.67/3287.98 c #Conflicts: 1991000 | #Constraints: 54973
3278.67/3287.98 c #Conflicts: 1992000 | #Constraints: 55973
3278.67/3287.98 c #Conflicts: 1993000 | #Constraints: 56973
3278.67/3287.98 c INPROCESSING
3278.67/3287.98 c GARBAGE COLLECT
3278.67/3287.98 c #Conflicts: 1994000 | #Constraints: 29972
3278.67/3287.98 c #Conflicts: 1995000 | #Constraints: 30972
3278.67/3287.98 c #Conflicts: 1996000 | #Constraints: 31972
3278.67/3287.98 c #Conflicts: 1997000 | #Constraints: 32972
3278.67/3287.98 c #Conflicts: 1998000 | #Constraints: 33972
3278.67/3287.98 c #Conflicts: 1999000 | #Constraints: 34972
3278.67/3287.98 c #Conflicts: 2000000 | #Constraints: 35972
3278.67/3287.98 c #Conflicts: 2001000 | #Constraints: 36972
3278.67/3287.98 c #Conflicts: 2002000 | #Constraints: 37972
3278.67/3287.98 c #Conflicts: 2003000 | #Constraints: 38972
3278.67/3287.98 c #Conflicts: 2004000 | #Constraints: 39972
3278.67/3287.98 c #Conflicts: 2005000 | #Constraints: 40972
3278.67/3287.98 c #Conflicts: 2006000 | #Constraints: 41972
3278.67/3287.98 c #Conflicts: 2007000 | #Constraints: 42972
3278.67/3287.98 c #Conflicts: 2008000 | #Constraints: 43972
3278.67/3287.98 c #Conflicts: 2009000 | #Constraints: 44972
3278.67/3287.98 c #Conflicts: 2010000 | #Constraints: 45972
3278.67/3287.98 c #Conflicts: 2011000 | #Constraints: 46972
3278.67/3287.98 c #Conflicts: 2012000 | #Constraints: 47972
3278.67/3287.98 c #Conflicts: 2013000 | #Constraints: 48972
3278.67/3287.98 c #Conflicts: 2014000 | #Constraints: 49972
3278.67/3287.98 c #Conflicts: 2015000 | #Constraints: 50972
3278.67/3287.98 c #Conflicts: 2016000 | #Constraints: 51972
3278.67/3287.98 c #Conflicts: 2017000 | #Constraints: 52972
3278.67/3287.98 c #Conflicts: 2018000 | #Constraints: 53972
3278.67/3287.98 c #Conflicts: 2019000 | #Constraints: 54972
3278.67/3287.98 c #Conflicts: 2020000 | #Constraints: 55972
3278.67/3287.98 c #Conflicts: 2021000 | #Constraints: 56972
3278.67/3287.98 c INPROCESSING
3278.67/3287.98 c GARBAGE COLLECT
3278.67/3287.98 c #Conflicts: 2022000 | #Constraints: 29773
3278.67/3287.98 c #Conflicts: 2023000 | #Constraints: 30773
3278.67/3287.98 c #Conflicts: 2024000 | #Constraints: 31773
3278.67/3287.98 c #Conflicts: 2025000 | #Constraints: 32773
3278.67/3287.98 c #Conflicts: 2026000 | #Constraints: 33773
3278.67/3287.98 c #Conflicts: 2027000 | #Constraints: 34773
3278.67/3287.98 c #Conflicts: 2028000 | #Constraints: 35773
3278.67/3287.98 c #Conflicts: 2029000 | #Constraints: 36773
3278.67/3287.98 c #Conflicts: 2030000 | #Constraints: 37773
3278.67/3287.98 c #Conflicts: 2031000 | #Constraints: 38773
3278.67/3287.98 c #Conflicts: 2032000 | #Constraints: 39773
3278.67/3287.98 c #Conflicts: 2033000 | #Constraints: 40773
3278.67/3287.98 c #Conflicts: 2034000 | #Constraints: 41773
3278.67/3287.98 c #Conflicts: 2035000 | #Constraints: 42773
3278.67/3287.98 c #Conflicts: 2036000 | #Constraints: 43773
3278.67/3287.98 c #Conflicts: 2037000 | #Constraints: 44773
3278.67/3287.98 c #Conflicts: 2038000 | #Constraints: 45773
3278.67/3287.98 c #Conflicts: 2039000 | #Constraints: 46773
3278.67/3287.98 c #Conflicts: 2040000 | #Constraints: 47773
3278.67/3287.98 c #Conflicts: 2041000 | #Constraints: 48773
3278.67/3287.98 c #Conflicts: 2042000 | #Constraints: 49773
3278.67/3287.98 c #Conflicts: 2043000 | #Constraints: 50773
3278.67/3287.98 c #Conflicts: 2044000 | #Constraints: 51773
3278.67/3287.98 c #Conflicts: 2045000 | #Constraints: 52773
3278.67/3287.98 c #Conflicts: 2046000 | #Constraints: 53773
3278.67/3287.98 c #Conflicts: 2047000 | #Constraints: 54773
3278.67/3287.98 c #Conflicts: 2048000 | #Constraints: 55773
3510.67/3520.61 c #Conflicts: 2049000 | #Constraints: 56773
3510.67/3520.61 c #Conflicts: 2050000 | #Constraints: 57773
3510.67/3520.61 c INPROCESSING
3510.67/3520.61 c GARBAGE COLLECT
3510.67/3520.61 c #Conflicts: 2051000 | #Constraints: 30374
3510.67/3520.61 c #Conflicts: 2052000 | #Constraints: 31374
3510.67/3520.61 c #Conflicts: 2053000 | #Constraints: 32374
3510.67/3520.61 c #Conflicts: 2054000 | #Constraints: 33374
3510.67/3520.61 c #Conflicts: 2055000 | #Constraints: 34374
3510.67/3520.61 c #Conflicts: 2056000 | #Constraints: 35374
3510.67/3520.61 c #Conflicts: 2057000 | #Constraints: 36374
3510.67/3520.61 c #Conflicts: 2058000 | #Constraints: 37374
3510.67/3520.61 c #Conflicts: 2059000 | #Constraints: 38374
3510.67/3520.61 c #Conflicts: 2060000 | #Constraints: 39374
3510.67/3520.61 c #Conflicts: 2061000 | #Constraints: 40374
3510.67/3520.61 c #Conflicts: 2062000 | #Constraints: 41374
3510.67/3520.61 c #Conflicts: 2063000 | #Constraints: 42374
3510.67/3520.61 c #Conflicts: 2064000 | #Constraints: 43374
3510.67/3520.61 c #Conflicts: 2065000 | #Constraints: 44374
3510.67/3520.61 c #Conflicts: 2066000 | #Constraints: 45374
3510.67/3520.61 c #Conflicts: 2067000 | #Constraints: 46374
3510.67/3520.61 c #Conflicts: 2068000 | #Constraints: 47374
3510.67/3520.61 c #Conflicts: 2069000 | #Constraints: 48374
3510.67/3520.61 c #Conflicts: 2070000 | #Constraints: 49374
3510.67/3520.61 c #Conflicts: 2071000 | #Constraints: 50374
3510.67/3520.61 c #Conflicts: 2072000 | #Constraints: 51374
3510.67/3520.61 c #Conflicts: 2073000 | #Constraints: 52374
3510.67/3520.61 c #Conflicts: 2074000 | #Constraints: 53374
3510.67/3520.61 c #Conflicts: 2075000 | #Constraints: 54374
3510.67/3520.61 c #Conflicts: 2076000 | #Constraints: 55374
3510.67/3520.61 c #Conflicts: 2077000 | #Constraints: 56374
3510.67/3520.61 c #Conflicts: 2078000 | #Constraints: 57374
3510.67/3520.61 c #Conflicts: 2079000 | #Constraints: 58374
3510.67/3520.61 c INPROCESSING
3510.67/3520.61 c GARBAGE COLLECT
3510.67/3520.61 c #Conflicts: 2080000 | #Constraints: 30773
3510.67/3520.61 c #Conflicts: 2081000 | #Constraints: 31773
3510.67/3520.61 c #Conflicts: 2082000 | #Constraints: 32773
3510.67/3520.61 c #Conflicts: 2083000 | #Constraints: 33773
3510.67/3520.61 c #Conflicts: 2084000 | #Constraints: 34773
3510.67/3520.61 c #Conflicts: 2085000 | #Constraints: 35773
3510.67/3520.61 c #Conflicts: 2086000 | #Constraints: 36773
3510.67/3520.61 c #Conflicts: 2087000 | #Constraints: 37773
3510.67/3520.61 c #Conflicts: 2088000 | #Constraints: 38773
3510.67/3520.61 c #Conflicts: 2089000 | #Constraints: 39773
3510.67/3520.61 c #Conflicts: 2090000 | #Constraints: 40773
3510.67/3520.61 c #Conflicts: 2091000 | #Constraints: 41773
3510.67/3520.61 c #Conflicts: 2092000 | #Constraints: 42773
3510.67/3520.61 c #Conflicts: 2093000 | #Constraints: 43773
3510.67/3520.61 c #Conflicts: 2094000 | #Constraints: 44773
3510.67/3520.61 c #Conflicts: 2095000 | #Constraints: 45773
3510.67/3520.61 c #Conflicts: 2096000 | #Constraints: 46773
3510.67/3520.61 c #Conflicts: 2097000 | #Constraints: 47773
3510.67/3520.61 c #Conflicts: 2098000 | #Constraints: 48773
3510.67/3520.61 c #Conflicts: 2099000 | #Constraints: 49773
3510.67/3520.61 c #Conflicts: 2100000 | #Constraints: 50773
3510.67/3520.61 c #Conflicts: 2101000 | #Constraints: 51773
3510.67/3520.61 c #Conflicts: 2102000 | #Constraints: 52773
3510.67/3520.61 c #Conflicts: 2103000 | #Constraints: 53773
3510.67/3520.61 c #Conflicts: 2104000 | #Constraints: 54773
3510.67/3520.61 c #Conflicts: 2105000 | #Constraints: 55773
3510.67/3520.61 c #Conflicts: 2106000 | #Constraints: 56773
3510.67/3520.61 c #Conflicts: 2107000 | #Constraints: 57773
3510.67/3520.61 c #Conflicts: 2108000 | #Constraints: 58773
3510.67/3520.61 c INPROCESSING
3510.67/3520.61 c GARBAGE COLLECT
3510.67/3520.61 c #Conflicts: 2109000 | #Constraints: 30974
3510.67/3520.61 c #Conflicts: 2110000 | #Constraints: 31974
3510.67/3520.61 c #Conflicts: 2111000 | #Constraints: 32974
3510.67/3520.61 c #Conflicts: 2112000 | #Constraints: 33974
3510.67/3520.61 c #Conflicts: 2113000 | #Constraints: 34974
3510.67/3520.61 c #Conflicts: 2114000 | #Constraints: 35974
3510.67/3520.61 c #Conflicts: 2115000 | #Constraints: 36974
3510.67/3520.61 c #Conflicts: 2116000 | #Constraints: 37974
3510.67/3520.61 c #Conflicts: 2117000 | #Constraints: 38974
3510.67/3520.61 c #Conflicts: 2118000 | #Constraints: 39974
3510.67/3520.61 c #Conflicts: 2119000 | #Constraints: 40974
3510.67/3520.61 c #Conflicts: 2120000 | #Constraints: 41974
3510.67/3520.61 c #Conflicts: 2121000 | #Constraints: 42974
3510.67/3520.61 c #Conflicts: 2122000 | #Constraints: 43974
3510.67/3520.61 c #Conflicts: 2123000 | #Constraints: 44974
3510.67/3520.61 c #Conflicts: 2124000 | #Constraints: 45974
3510.67/3520.61 c #Conflicts: 2125000 | #Constraints: 46974
3600.01/3610.20 c #Conflicts: 2126000 | #Constraints: 47974
3600.01/3610.20 c #Conflicts: 2127000 | #Constraints: 48974
3600.01/3610.20 c #Conflicts: 2128000 | #Constraints: 49974
3600.01/3610.20 c #Conflicts: 2129000 | #Constraints: 50974
3600.01/3610.20 c #Conflicts: 2130000 | #Constraints: 51974
3600.01/3610.20 c #Conflicts: 2131000 | #Constraints: 52974
3600.01/3610.20 c #Conflicts: 2132000 | #Constraints: 53974
3600.01/3610.20 c #Conflicts: 2133000 | #Constraints: 54974
3600.01/3610.20 c #Conflicts: 2134000 | #Constraints: 55974
3600.01/3610.20 c #Conflicts: 2135000 | #Constraints: 56974
3600.01/3610.20 c #Conflicts: 2136000 | #Constraints: 57974
3600.01/3610.20 c #Conflicts: 2137000 | #Constraints: 58974
3600.01/3610.20 c INPROCESSING
3600.01/3610.20 c GARBAGE COLLECT
3600.01/3610.20 c #Conflicts: 2138000 | #Constraints: 30975
3600.01/3610.20 c #Conflicts: 2139000 | #Constraints: 31975
3600.01/3610.20 c #Conflicts: 2140000 | #Constraints: 32975
3600.01/3610.20 c #Conflicts: 2141000 | #Constraints: 33975
3600.01/3610.20 c #Conflicts: 2142000 | #Constraints: 34975
3600.01/3610.20 c #Conflicts: 2143000 | #Constraints: 35975
3600.01/3610.20 c #Conflicts: 2144000 | #Constraints: 36975
3600.01/3610.20 c #Conflicts: 2145000 | #Constraints: 37975
3600.01/3610.20 c #Conflicts: 2146000 | #Constraints: 38975
3600.01/3610.20 c #Conflicts: 2147000 | #Constraints: 39975
3600.01/3610.20 c #Conflicts: 2148000 | #Constraints: 40975
3600.01/3610.20 c #Conflicts: 2149000 | #Constraints: 41975
3600.01/3610.20 c #Conflicts: 2150000 | #Constraints: 42975
3600.01/3610.20 c #Conflicts: 2151000 | #Constraints: 43975
3600.01/3610.20 c #Conflicts: 2152000 | #Constraints: 44975
3600.01/3610.20 c #Conflicts: 2153000 | #Constraints: 45975
3600.01/3610.20 c #Conflicts: 2154000 | #Constraints: 46975
3600.01/3610.20 c #Conflicts: 2155000 | #Constraints: 47975
3600.01/3610.20 c cpu time 3591.94 s
3600.01/3610.20 c deterministic time 210 2.10e+02
3600.01/3610.20 c optimization time 3591.91 s
3600.01/3610.20 c total solve time 0 s
3600.01/3610.20 c core-guided solve time 0 s
3600.01/3610.20 c propagation time 0.002935 s
3600.01/3610.20 c conflict analysis time 0 s
3600.01/3610.20 c propagations 209
3600.01/3610.20 c resolve steps 0
3600.01/3610.20 c decisions 0
3600.01/3610.20 c conflicts 0
3600.01/3610.20 c restarts 0
3600.01/3610.20 c inprocessing phases 0
3600.01/3610.20 c garbage collections 0 ,( -nan )
3600.01/3610.20 c input clauses 7843 ,( 99.67 )
3600.01/3610.20 c input cardinalities 26 ,( 0.33 )
3600.01/3610.20 c input general constraints 0 ,( 0.00 )
3600.01/3610.20 c input average constraint length 2.42
3600.01/3610.20 c input average constraint degree 1.01
3600.01/3610.20 c learned clauses 0 ,( 0.00 )
3600.01/3610.20 c learned cardinalities 0 ,( 0.00 )
3600.01/3610.20 c learned general constraints 0 ,( 0.00 )
3600.01/3610.20 c learned average constraint length 0.00
3600.01/3610.20 c learned average constraint degree 0.00
3600.01/3610.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.20 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3610.20 c watched constraints 0 ,( -nan )
3600.01/3610.20 c counting constraints 0 ,( -nan )
3600.01/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3610.20 c gcd simplifications 0
3600.01/3610.20 c detected cardinalities 0
3600.01/3610.20 c weakened non-implied lits 0
3600.01/3610.20 c weakened non-implying lits 0
3600.01/3610.20 c original variables 2877
3600.01/3610.20 c clausal propagations 0
3600.01/3610.20 c cardinality propagations 0
3600.01/3610.20 c watched propagations 0
3600.01/3610.20 c counting propagations 0
3600.01/3610.20 c watch lookups 0
3600.01/3610.20 c watch backjump lookups 0
3600.01/3610.20 c watch checks 0
3600.01/3610.20 c propagation checks 0
3600.01/3610.20 c constraint additions 0
3600.01/3610.20 c trail pops 0
3600.01/3610.20 c formula constraints 7869
3600.01/3610.20 c learned constraints 0
3600.01/3610.20 c bound constraints 0
3600.01/3610.20 c core-guided constraints 0
3600.01/3610.20 c encountered formula constraints 0
3600.01/3610.20 c encountered learned constraints 0
3600.01/3610.20 c encountered bound constraints 0
3600.01/3610.20 c encountered core-guided constraints 0
3600.01/3610.20 c LP total time 0 s
3600.01/3610.20 c LP solve time 0 s
3600.01/3610.20 c LP constraints added 0
3600.01/3610.20 c LP constraints removed 0
3600.01/3610.20 c LP pivots internal 0
3600.01/3610.20 c LP pivots root 0
3600.01/3610.20 c LP calls 0
3600.01/3610.20 c LP optimalities 0
3600.01/3610.20 c LP no pivot count 0
3600.01/3610.20 c LP infeasibilities 0
3600.01/3610.20 c LP valid Farkas constraints 0
3600.01/3610.20 c LP learned Farkas constraints 0
3600.01/3610.20 c LP basis resets 0
3600.01/3610.20 c LP cycling count 0
3600.01/3610.20 c LP singular count 0
3600.01/3610.20 c LP no primal count 0
3600.01/3610.20 c LP no farkas count 0
3600.01/3610.20 c LP other issue count 0
3600.01/3610.20 c LP Gomory cuts 0
3600.01/3610.20 c LP learned cuts 0
3600.01/3610.20 c LP deleted cuts 0
3600.01/3610.20 c LP encountered Gomory constraints 0
3600.01/3610.20 c LP encountered Farkas constraints 0
3600.01/3610.20 c LP encountered learned Farkas constraints 0
3600.01/3610.20 c CG auxiliary variables introduced 0
3600.01/3610.20 c CG solutions found 0
3600.01/3610.20 c CG cores constructed 0
3600.01/3610.20 c CG core cardinality constraints returned 0
3600.01/3610.20 c CG unit cores 0
3600.01/3610.20 c CG single cores 0
3600.01/3610.20 c CG blocks removed during cardinality reduction 0
3600.01/3610.20 c CG first core best 0
3600.01/3610.20 c CG decision core best 0
3600.01/3610.20 c CG core reduction tie 0
3600.01/3610.20 c CG core degree average 0.00
3600.01/3610.20 c CG core slack average 0.00
3600.01/3610.20 c CG core upper bound improvements 0
3600.01/3610.20 c STR number of successful calls 0
3600.01/3610.20 c STR number of unsuccessful calls 0
3600.01/3610.20 c STR number of inconclusive calls 0
3600.01/3610.20 c STR number of successful attempts 0
3600.01/3610.20 c STR number of unsuccessful attempts 0
3600.01/3610.20 c STR number of inconclusive attempts 0
3600.01/3610.20 c STR average degree increase per successful call inf
3600.01/3610.20 c STR average degree increase per successful attempt inf
3600.01/3610.20 c STR total number of conflicts for successful attempts 0
3600.01/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20 c STR average number of conflicts per successful attempt inf
3600.01/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20 c AVG.sumWPerc -nan
3600.01/3610.20 c bigint constraints 0
3600.01/3610.20 s UNKNOWN
3600.01/3610.20 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: 63708 MiB (50079 MiB free)
memory of node 1: 64465 MiB (59526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512708-1751533519/watcher-4512708-1751533519 -o /tmp/evaluation-result-4512708-1751533519/solver-4512708-1751533519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75750 --watchdog 3760 run-opt.sh HOME/instance-4512708-1751533519.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 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
solver pid=76139, runsolver pid=76136
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.10 4.11 3.83 5/268 76141
/proc/meminfo: memFree=112226484/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=69352 memory=21784 CPUtime=0.08 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 3369 0 0 0 7 1 0 0 20 0 1 0 69029742 71016448 5446 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 17338 5446 2336 1147 0 4765 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 73544 KiB
Current children cumulated memory: 24728 KiB
[startup+0.206088 s]*
/proc/loadavg: 4.10 4.11 3.83 5/268 76141
/proc/meminfo: memFree=112220436/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=71880 memory=25240 CPUtime=0.19 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 4233 0 0 0 16 3 0 0 20 0 1 0 69029742 73605120 6310 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 17970 6310 2336 1147 0 5397 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76072 KiB
Current children cumulated memory: 28184 KiB
[startup+0.305979 s]*
/proc/loadavg: 4.10 4.11 3.83 5/268 76141
/proc/meminfo: memFree=112216340/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=71880 memory=27652 CPUtime=0.29 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 4332 0 0 0 26 3 0 0 20 0 1 0 69029742 73605120 6913 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 17970 6913 2336 1147 0 5397 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76072 KiB
Current children cumulated memory: 30596 KiB
[startup+0.700213 s]
/proc/loadavg: 4.10 4.11 3.83 5/268 76141
/proc/meminfo: memFree=112208276/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=76456 memory=31620 CPUtime=0.67 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 5301 0 0 0 64 3 0 0 20 0 1 0 69029742 78290944 7905 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 19114 7905 2336 1147 0 6541 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 80648 KiB
Current children cumulated memory: 34564 KiB
[startup+1.50021 s]
/proc/loadavg: 4.18 4.12 3.83 5/268 76141
/proc/meminfo: memFree=112208276/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=87372 memory=39980 CPUtime=1.48 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 6877 0 0 0 143 5 0 0 20 0 1 0 69029742 89468928 9995 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 21843 9995 2336 1147 0 9270 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91564 KiB
Current children cumulated memory: 42924 KiB
[startup+3.10585 s]
/proc/loadavg: 4.18 4.12 3.83 5/269 76143
/proc/meminfo: memFree=112207532/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=87884 memory=41132 CPUtime=3.07 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 7180 0 0 0 301 6 0 0 20 0 1 0 69029742 89993216 10283 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 21971 10283 2336 1147 0 9398 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 92076 KiB
Current children cumulated memory: 44076 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.12 3.83 5/269 76143
/proc/meminfo: memFree=112205264/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=92816 memory=43308 CPUtime=6.26 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 7709 0 0 0 615 11 0 0 20 0 1 0 69029742 95043584 10827 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 23204 10827 2336 1147 0 10631 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 97008 KiB
Current children cumulated memory: 46252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 3.83 5/269 76143
/proc/meminfo: memFree=112185812/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=108432 memory=56136 CPUtime=12.65 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 10435 0 0 0 1248 17 0 0 20 0 1 0 69029742 111034368 14034 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 27108 14034 2336 1147 0 14535 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 112624 KiB
Current children cumulated memory: 59080 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 3.84 5/269 76143
/proc/meminfo: memFree=112186812/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=118428 memory=61640 CPUtime=25.41 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 11803 0 0 0 2516 25 0 0 20 0 1 0 69029742 121270272 15410 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 29607 15410 2336 1147 0 17034 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 64584 KiB
[startup+51.106 s]
/proc/loadavg: 4.15 4.12 3.85 5/269 76143
/proc/meminfo: memFree=112175436/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=119964 memory=70452 CPUtime=50.94 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 12967 0 0 0 5050 44 0 0 20 0 1 0 69029742 122843136 17613 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 29991 17613 2336 1147 0 17418 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 124156 KiB
Current children cumulated memory: 73396 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 3.86 5/268 76145
/proc/meminfo: memFree=112152136/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=149148 memory=90560 CPUtime=101.99 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 17486 0 0 0 10130 69 0 0 20 0 1 0 69029742 152727552 22640 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 37287 22640 2336 1147 0 24714 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 153340 KiB
Current children cumulated memory: 93504 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 3.88 5/268 76149
/proc/meminfo: memFree=112152288/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=165688 memory=99992 CPUtime=161.81 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 19358 0 0 0 16084 97 0 0 20 0 1 0 69029742 169664512 24998 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 41422 24998 2336 1147 0 28849 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 169880 KiB
Current children cumulated memory: 102936 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 3.90 5/269 76152
/proc/meminfo: memFree=112132336/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=169948 memory=109724 CPUtime=221.63 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 20756 0 0 0 22037 126 0 0 20 0 1 0 69029742 174026752 27431 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 42487 27431 2336 1147 0 29914 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/76141/statm: 75552 59281 2336 1147 0 62979 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 306400 KiB
Current children cumulated memory: 240068 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/269 76495
/proc/meminfo: memFree=113067968/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=302208 memory=237124 CPUtime=3093.63 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 38896 0 0 0 308621 742 0 0 20 0 1 0 69029742 309460992 59281 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75552 59281 2336 1147 0 62979 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 306400 KiB
Current children cumulated memory: 240068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 76499
/proc/meminfo: memFree=113052100/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=302208 memory=237124 CPUtime=3153.44 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 38896 0 0 0 314593 751 0 0 20 0 1 0 69029742 309460992 59281 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75552 59281 2336 1147 0 62979 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 306400 KiB
Current children cumulated memory: 240068 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 76501
/proc/meminfo: memFree=113023612/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=302208 memory=237124 CPUtime=3213.26 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 38896 0 0 0 320570 756 0 0 20 0 1 0 69029742 309460992 59281 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75552 59281 2336 1147 0 62979 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 306400 KiB
Current children cumulated memory: 240068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 76503
/proc/meminfo: memFree=113015180/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=302208 memory=239244 CPUtime=3273.08 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 38897 0 0 0 326542 766 0 0 20 0 1 0 69029742 309460992 59811 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75552 59811 2336 1147 0 62979 0
Current children cumulated CPU time: 3273.08 s
Current children cumulated vsize: 306400 KiB
Current children cumulated memory: 242188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 76516
/proc/meminfo: memFree=112990316/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=302208 memory=239244 CPUtime=3332.9 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 38897 0 0 0 332517 773 0 0 20 0 1 0 69029742 309460992 59811 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75552 59811 2336 1147 0 62979 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 306400 KiB
Current children cumulated memory: 242188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 76520
/proc/meminfo: memFree=112983864/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=302392 memory=239244 CPUtime=3392.73 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 38898 0 0 0 338489 784 0 0 20 0 1 0 69029742 309649408 59811 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75598 59811 2336 1147 0 63025 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 242188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 76522
/proc/meminfo: memFree=112960804/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=303416 memory=239756 CPUtime=3452.55 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 39034 0 0 0 344462 793 0 0 20 0 1 0 69029742 310697984 59939 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75854 59939 2336 1147 0 63281 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 307608 KiB
Current children cumulated memory: 242700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/269 76524
/proc/meminfo: memFree=112922688/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=303416 memory=239756 CPUtime=3512.37 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 39034 0 0 0 350439 798 0 0 20 0 1 0 69029742 310697984 59939 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75854 59939 2336 1147 0 63281 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 307608 KiB
Current children cumulated memory: 242700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/269 76530
/proc/meminfo: memFree=112900032/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=303416 memory=241840 CPUtime=3572.19 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 39035 0 0 0 356413 806 0 0 20 0 1 0 69029742 310697984 60460 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75854 60460 2336 1147 0 63281 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 307608 KiB
Current children cumulated memory: 244784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 76531
/proc/meminfo: memFree=112899896/131249996 swapFree=33004236/33010684
[pid=76139] ppid=76136 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/76139/stat : 76139 (run-opt.sh) S 76136 76139 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69029741 4292608 736 18446744073709551615 94591988858880 94591989753413 140732505567232 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94591989992464 94591990040208 94591995809792 140732505569645 140732505569768 140732505569768 140732505575370 0
/proc/76139/statm: 1048 736 672 219 0 110 0
[pid=76141] ppid=76139 vsize=303416 memory=241840 CPUtime=3600.01 cores=0,2
/proc/76141/stat : 76141 (roundingsat) R 76139 76139 75740 0 -1 4194304 39035 0 0 0 359193 808 0 0 20 0 1 0 69029742 310697984 60460 18446744073709551615 4227072 8923433 140734222593568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11411456 140734222596514 140734222596648 140734222596648 140734222602218 0
/proc/76141/statm: 75854 60460 2336 1147 0 63281 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 307608 KiB
Current children cumulated memory: 244784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 76139 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000786 s, system=0.00156 s
[startup+3610.21 s]
# the end of solver process 76141 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3591.94 s, system=8.09019 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
Child status: 2
Real time (s): 3610.21
CPU time (s): 3600.03
CPU user time (s): 3591.94
CPU system time (s): 8.09019
CPU usage (%): 99.7181
Max. virtual memory (cumulated for all children) (KiB): 307608
Max. memory (cumulated for all children) (KiB): 244784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.94
system time used= 8.09019
maximum resident set size= 242224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192
involuntary context switches= 7949
# summary of solver processes directly reported to runsolver:
# pid: 76139,76141
# total CPU time (s): 3600.03
# total CPU user time (s): 3591.94
# total CPU system time (s): 8.09019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40001 second user time and 18.7443 second system time
The end
Begin job on nodeC023 at 2025-07-03 11:05:19
IDJOB=4512708
IDBENCH=162033
IDSOLVER=3350
FILE ID=nodeC023/4512708-1751533519
RUNJOBID= nodeC023-1751531763-75750
SLURM_JOB_ID= 9598675
Free space on /tmp= 431836 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512708-1751533519/watcher-4512708-1751533519 -o /tmp/evaluation-result-4512708-1751533519/solver-4512708-1751533519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75750 --watchdog 3760 run-opt.sh HOME/instance-4512708-1751533519.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a53d260b269cbcbcf8d998d0e9c55691
RANDOM SEED=1103528807
nodeC023 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 : 3582.521
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.893
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.874
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.78
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 : 3564.937
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.78
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.675
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.78
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.898
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.78
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 : 3583.071
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 112236868 kB
MemAvailable: 128005368 kB
Buffers: 16 kB
Cached: 16512848 kB
SwapCached: 596 kB
Active: 1987116 kB
Inactive: 16307872 kB
Active(anon): 1775068 kB
Inactive(anon): 20456 kB
Active(file): 212048 kB
Inactive(file): 16287416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7460 kB
Writeback: 20 kB
AnonPages: 1782716 kB
Mapped: 112896 kB
Shmem: 13400 kB
KReclaimable: 216548 kB
Slab: 306972 kB
SReclaimable: 216548 kB
SUnreclaim: 90424 kB
KernelStack: 4320 kB
PageTables: 6724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2175720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1683456 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431836 MiB
End job on nodeC023 at 2025-07-03 12:05:29