0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 1288 #constraints 2431
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 55 @ 0.022925
0.00/0.02 c stratification level: 0
26.32/26.47 c #Conflicts: 1000 | #Constraints: 3430
26.32/26.47 c #Conflicts: 2000 | #Constraints: 4430
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 3000 | #Constraints: 4437
26.32/26.47 c #Conflicts: 4000 | #Constraints: 5437
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 5000 | #Constraints: 4846
26.32/26.47 c #Conflicts: 6000 | #Constraints: 5846
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 7000 | #Constraints: 4851
26.32/26.47 c #Conflicts: 8000 | #Constraints: 5851
26.32/26.47 c #Conflicts: 9000 | #Constraints: 6851
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 10000 | #Constraints: 5553
26.32/26.47 c #Conflicts: 11000 | #Constraints: 6553
26.32/26.47 c #Conflicts: 12000 | #Constraints: 7553
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 13000 | #Constraints: 6007
26.32/26.47 c #Conflicts: 14000 | #Constraints: 7007
26.32/26.47 c #Conflicts: 15000 | #Constraints: 8007
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 16000 | #Constraints: 6239
26.32/26.47 c #Conflicts: 17000 | #Constraints: 7239
26.32/26.47 c #Conflicts: 18000 | #Constraints: 8239
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 19000 | #Constraints: 6259
26.32/26.47 c #Conflicts: 20000 | #Constraints: 7259
26.32/26.47 c #Conflicts: 21000 | #Constraints: 8259
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 22000 | #Constraints: 6067
26.32/26.47 c #Conflicts: 23000 | #Constraints: 7067
26.32/26.47 c #Conflicts: 24000 | #Constraints: 8067
26.32/26.47 c #Conflicts: 25000 | #Constraints: 9067
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 26000 | #Constraints: 6672
26.32/26.47 c #Conflicts: 27000 | #Constraints: 7672
26.32/26.47 c #Conflicts: 28000 | #Constraints: 8672
26.32/26.47 c #Conflicts: 29000 | #Constraints: 9672
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 30000 | #Constraints: 7072
26.32/26.47 c #Conflicts: 31000 | #Constraints: 8072
26.32/26.47 c #Conflicts: 32000 | #Constraints: 9072
26.32/26.47 c #Conflicts: 33000 | #Constraints: 10072
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 34000 | #Constraints: 7274
26.32/26.47 c #Conflicts: 35000 | #Constraints: 8274
26.32/26.47 c #Conflicts: 36000 | #Constraints: 9274
26.32/26.47 c #Conflicts: 37000 | #Constraints: 10274
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 38000 | #Constraints: 7277
26.32/26.47 c #Conflicts: 39000 | #Constraints: 8277
26.32/26.47 c #Conflicts: 40000 | #Constraints: 9277
26.32/26.47 c #Conflicts: 41000 | #Constraints: 10277
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 42000 | #Constraints: 7084
26.32/26.47 c #Conflicts: 43000 | #Constraints: 8084
26.32/26.47 c #Conflicts: 44000 | #Constraints: 9084
26.32/26.47 c #Conflicts: 45000 | #Constraints: 10084
26.32/26.47 c #Conflicts: 46000 | #Constraints: 11084
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 47000 | #Constraints: 7683
26.32/26.47 c #Conflicts: 48000 | #Constraints: 8683
26.32/26.47 c #Conflicts: 49000 | #Constraints: 9683
26.32/26.47 c #Conflicts: 50000 | #Constraints: 10683
26.32/26.47 c #Conflicts: 51000 | #Constraints: 11683
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 52000 | #Constraints: 8081
26.32/26.47 c #Conflicts: 53000 | #Constraints: 9081
26.32/26.47 c #Conflicts: 54000 | #Constraints: 10081
26.32/26.47 c #Conflicts: 55000 | #Constraints: 11081
26.32/26.47 c #Conflicts: 56000 | #Constraints: 12081
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 57000 | #Constraints: 8280
26.32/26.47 c #Conflicts: 58000 | #Constraints: 9280
26.32/26.47 c #Conflicts: 59000 | #Constraints: 10280
26.32/26.47 c #Conflicts: 60000 | #Constraints: 11280
26.32/26.47 c #Conflicts: 61000 | #Constraints: 12280
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 62000 | #Constraints: 8279
26.32/26.47 c #Conflicts: 63000 | #Constraints: 9279
26.32/26.47 c #Conflicts: 64000 | #Constraints: 10279
26.32/26.47 c #Conflicts: 65000 | #Constraints: 11279
26.32/26.47 c #Conflicts: 66000 | #Constraints: 12279
26.32/26.47 c INPROCESSING
26.32/26.47 c GARBAGE COLLECT
26.32/26.47 c #Conflicts: 67000 | #Constraints: 8079
26.32/26.47 c #Conflicts: 68000 | #Constraints: 9079
72.09/72.34 c #Conflicts: 69000 | #Constraints: 10079
72.09/72.34 c #Conflicts: 70000 | #Constraints: 11079
72.09/72.34 c #Conflicts: 71000 | #Constraints: 12079
72.09/72.34 c #Conflicts: 72000 | #Constraints: 13079
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 73000 | #Constraints: 8682
72.09/72.34 c #Conflicts: 74000 | #Constraints: 9682
72.09/72.34 c #Conflicts: 75000 | #Constraints: 10682
72.09/72.34 c #Conflicts: 76000 | #Constraints: 11682
72.09/72.34 c #Conflicts: 77000 | #Constraints: 12682
72.09/72.34 c #Conflicts: 78000 | #Constraints: 13682
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 79000 | #Constraints: 9082
72.09/72.34 c #Conflicts: 80000 | #Constraints: 10082
72.09/72.34 c #Conflicts: 81000 | #Constraints: 11082
72.09/72.34 c #Conflicts: 82000 | #Constraints: 12082
72.09/72.34 c #Conflicts: 83000 | #Constraints: 13082
72.09/72.34 c #Conflicts: 84000 | #Constraints: 14082
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 85000 | #Constraints: 9286
72.09/72.34 c #Conflicts: 86000 | #Constraints: 10286
72.09/72.34 c #Conflicts: 87000 | #Constraints: 11286
72.09/72.34 c #Conflicts: 88000 | #Constraints: 12286
72.09/72.34 c #Conflicts: 89000 | #Constraints: 13286
72.09/72.34 c #Conflicts: 90000 | #Constraints: 14286
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 91000 | #Constraints: 9291
72.09/72.34 c #Conflicts: 92000 | #Constraints: 10291
72.09/72.34 c #Conflicts: 93000 | #Constraints: 11291
72.09/72.34 c #Conflicts: 94000 | #Constraints: 12291
72.09/72.34 c #Conflicts: 95000 | #Constraints: 13291
72.09/72.34 c #Conflicts: 96000 | #Constraints: 14291
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 97000 | #Constraints: 9089
72.09/72.34 c #Conflicts: 98000 | #Constraints: 10089
72.09/72.34 c #Conflicts: 99000 | #Constraints: 11089
72.09/72.34 c #Conflicts: 100000 | #Constraints: 12089
72.09/72.34 c #Conflicts: 101000 | #Constraints: 13089
72.09/72.34 c #Conflicts: 102000 | #Constraints: 14089
72.09/72.34 c #Conflicts: 103000 | #Constraints: 15089
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 104000 | #Constraints: 9687
72.09/72.34 c #Conflicts: 105000 | #Constraints: 10687
72.09/72.34 c #Conflicts: 106000 | #Constraints: 11687
72.09/72.34 c #Conflicts: 107000 | #Constraints: 12687
72.09/72.34 c #Conflicts: 108000 | #Constraints: 13687
72.09/72.34 c #Conflicts: 109000 | #Constraints: 14687
72.09/72.34 c #Conflicts: 110000 | #Constraints: 15687
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 111000 | #Constraints: 10092
72.09/72.34 c #Conflicts: 112000 | #Constraints: 11092
72.09/72.34 c #Conflicts: 113000 | #Constraints: 12092
72.09/72.34 c #Conflicts: 114000 | #Constraints: 13092
72.09/72.34 c #Conflicts: 115000 | #Constraints: 14092
72.09/72.34 c #Conflicts: 116000 | #Constraints: 15092
72.09/72.34 c #Conflicts: 117000 | #Constraints: 16092
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 118000 | #Constraints: 10292
72.09/72.34 c #Conflicts: 119000 | #Constraints: 11292
72.09/72.34 c #Conflicts: 120000 | #Constraints: 12292
72.09/72.34 c #Conflicts: 121000 | #Constraints: 13292
72.09/72.34 c #Conflicts: 122000 | #Constraints: 14292
72.09/72.34 c #Conflicts: 123000 | #Constraints: 15292
72.09/72.34 c #Conflicts: 124000 | #Constraints: 16292
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 125000 | #Constraints: 10289
72.09/72.34 c #Conflicts: 126000 | #Constraints: 11289
72.09/72.34 c #Conflicts: 127000 | #Constraints: 12289
72.09/72.34 c #Conflicts: 128000 | #Constraints: 13289
72.09/72.34 c #Conflicts: 129000 | #Constraints: 14289
72.09/72.34 c #Conflicts: 130000 | #Constraints: 15289
72.09/72.34 c #Conflicts: 131000 | #Constraints: 16289
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 132000 | #Constraints: 10088
72.09/72.34 c #Conflicts: 133000 | #Constraints: 11088
72.09/72.34 c #Conflicts: 134000 | #Constraints: 12088
72.09/72.34 c #Conflicts: 135000 | #Constraints: 13088
72.09/72.34 c #Conflicts: 136000 | #Constraints: 14088
72.09/72.34 c #Conflicts: 137000 | #Constraints: 15088
72.09/72.34 c #Conflicts: 138000 | #Constraints: 16088
72.09/72.34 c #Conflicts: 139000 | #Constraints: 17088
72.09/72.34 c INPROCESSING
72.09/72.34 c GARBAGE COLLECT
72.09/72.34 c #Conflicts: 140000 | #Constraints: 10689
134.01/134.48 c #Conflicts: 141000 | #Constraints: 11689
134.01/134.48 c #Conflicts: 142000 | #Constraints: 12689
134.01/134.48 c #Conflicts: 143000 | #Constraints: 13689
134.01/134.48 c #Conflicts: 144000 | #Constraints: 14689
134.01/134.48 c #Conflicts: 145000 | #Constraints: 15689
134.01/134.48 c #Conflicts: 146000 | #Constraints: 16689
134.01/134.48 c #Conflicts: 147000 | #Constraints: 17689
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 148000 | #Constraints: 11088
134.01/134.48 c #Conflicts: 149000 | #Constraints: 12088
134.01/134.48 c #Conflicts: 150000 | #Constraints: 13088
134.01/134.48 c #Conflicts: 151000 | #Constraints: 14088
134.01/134.48 c #Conflicts: 152000 | #Constraints: 15088
134.01/134.48 c #Conflicts: 153000 | #Constraints: 16088
134.01/134.48 c #Conflicts: 154000 | #Constraints: 17088
134.01/134.48 c #Conflicts: 155000 | #Constraints: 18088
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 156000 | #Constraints: 11288
134.01/134.48 c #Conflicts: 157000 | #Constraints: 12288
134.01/134.48 c #Conflicts: 158000 | #Constraints: 13288
134.01/134.48 c #Conflicts: 159000 | #Constraints: 14288
134.01/134.48 c #Conflicts: 160000 | #Constraints: 15288
134.01/134.48 c #Conflicts: 161000 | #Constraints: 16288
134.01/134.48 c #Conflicts: 162000 | #Constraints: 17288
134.01/134.48 c #Conflicts: 163000 | #Constraints: 18288
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 164000 | #Constraints: 11289
134.01/134.48 c #Conflicts: 165000 | #Constraints: 12289
134.01/134.48 c #Conflicts: 166000 | #Constraints: 13289
134.01/134.48 c #Conflicts: 167000 | #Constraints: 14289
134.01/134.48 c #Conflicts: 168000 | #Constraints: 15289
134.01/134.48 c #Conflicts: 169000 | #Constraints: 16289
134.01/134.48 c #Conflicts: 170000 | #Constraints: 17289
134.01/134.48 c #Conflicts: 171000 | #Constraints: 18289
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 172000 | #Constraints: 11097
134.01/134.48 c #Conflicts: 173000 | #Constraints: 12097
134.01/134.48 c #Conflicts: 174000 | #Constraints: 13097
134.01/134.48 c #Conflicts: 175000 | #Constraints: 14097
134.01/134.48 c #Conflicts: 176000 | #Constraints: 15097
134.01/134.48 c #Conflicts: 177000 | #Constraints: 16097
134.01/134.48 c #Conflicts: 178000 | #Constraints: 17097
134.01/134.48 c #Conflicts: 179000 | #Constraints: 18097
134.01/134.48 c #Conflicts: 180000 | #Constraints: 19097
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 181000 | #Constraints: 11700
134.01/134.48 c #Conflicts: 182000 | #Constraints: 12700
134.01/134.48 c #Conflicts: 183000 | #Constraints: 13700
134.01/134.48 c #Conflicts: 184000 | #Constraints: 14700
134.01/134.48 c #Conflicts: 185000 | #Constraints: 15700
134.01/134.48 c #Conflicts: 186000 | #Constraints: 16700
134.01/134.48 c #Conflicts: 187000 | #Constraints: 17700
134.01/134.48 c #Conflicts: 188000 | #Constraints: 18700
134.01/134.48 c #Conflicts: 189000 | #Constraints: 19700
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 190000 | #Constraints: 12094
134.01/134.48 c #Conflicts: 191000 | #Constraints: 13094
134.01/134.48 c #Conflicts: 192000 | #Constraints: 14094
134.01/134.48 c #Conflicts: 193000 | #Constraints: 15094
134.01/134.48 c #Conflicts: 194000 | #Constraints: 16094
134.01/134.48 c #Conflicts: 195000 | #Constraints: 17094
134.01/134.48 c #Conflicts: 196000 | #Constraints: 18094
134.01/134.48 c #Conflicts: 197000 | #Constraints: 19094
134.01/134.48 c #Conflicts: 198000 | #Constraints: 20094
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 199000 | #Constraints: 12302
134.01/134.48 c #Conflicts: 200000 | #Constraints: 13302
134.01/134.48 c #Conflicts: 201000 | #Constraints: 14302
134.01/134.48 c #Conflicts: 202000 | #Constraints: 15302
134.01/134.48 c #Conflicts: 203000 | #Constraints: 16302
134.01/134.48 c #Conflicts: 204000 | #Constraints: 17302
134.01/134.48 c #Conflicts: 205000 | #Constraints: 18302
134.01/134.48 c #Conflicts: 206000 | #Constraints: 19302
134.01/134.48 c #Conflicts: 207000 | #Constraints: 20302
134.01/134.48 c INPROCESSING
134.01/134.48 c GARBAGE COLLECT
134.01/134.48 c #Conflicts: 208000 | #Constraints: 12294
134.01/134.48 c #Conflicts: 209000 | #Constraints: 13294
134.01/134.48 c #Conflicts: 210000 | #Constraints: 14294
134.01/134.48 c #Conflicts: 211000 | #Constraints: 15294
134.01/134.48 c #Conflicts: 212000 | #Constraints: 16294
134.01/134.48 c #Conflicts: 213000 | #Constraints: 17294
211.79/212.41 c #Conflicts: 214000 | #Constraints: 18294
211.79/212.41 c #Conflicts: 215000 | #Constraints: 19294
211.79/212.41 c #Conflicts: 216000 | #Constraints: 20294
211.79/212.41 c INPROCESSING
211.79/212.41 c GARBAGE COLLECT
211.79/212.41 c #Conflicts: 217000 | #Constraints: 12101
211.79/212.41 c #Conflicts: 218000 | #Constraints: 13101
211.79/212.41 c #Conflicts: 219000 | #Constraints: 14101
211.79/212.41 c #Conflicts: 220000 | #Constraints: 15101
211.79/212.41 c #Conflicts: 221000 | #Constraints: 16101
211.79/212.41 c #Conflicts: 222000 | #Constraints: 17101
211.79/212.41 c #Conflicts: 223000 | #Constraints: 18101
211.79/212.41 c #Conflicts: 224000 | #Constraints: 19101
211.79/212.41 c #Conflicts: 225000 | #Constraints: 20101
211.79/212.41 c #Conflicts: 226000 | #Constraints: 21101
211.79/212.41 c INPROCESSING
211.79/212.41 c GARBAGE COLLECT
211.79/212.41 c #Conflicts: 227000 | #Constraints: 12691
211.79/212.41 c #Conflicts: 228000 | #Constraints: 13691
211.79/212.41 c #Conflicts: 229000 | #Constraints: 14691
211.79/212.41 c #Conflicts: 230000 | #Constraints: 15691
211.79/212.41 c #Conflicts: 231000 | #Constraints: 16691
211.79/212.41 c #Conflicts: 232000 | #Constraints: 17691
211.79/212.41 c #Conflicts: 233000 | #Constraints: 18691
211.79/212.41 c #Conflicts: 234000 | #Constraints: 19691
211.79/212.41 c #Conflicts: 235000 | #Constraints: 20691
211.79/212.41 c #Conflicts: 236000 | #Constraints: 21691
211.79/212.41 c INPROCESSING
211.79/212.41 c GARBAGE COLLECT
211.79/212.41 c #Conflicts: 237000 | #Constraints: 13108
211.79/212.41 c #Conflicts: 238000 | #Constraints: 14108
211.79/212.41 c #Conflicts: 239000 | #Constraints: 15108
211.79/212.41 c #Conflicts: 240000 | #Constraints: 16108
211.79/212.41 c #Conflicts: 241000 | #Constraints: 17108
211.79/212.41 c #Conflicts: 242000 | #Constraints: 18108
211.79/212.41 c #Conflicts: 243000 | #Constraints: 19108
211.79/212.41 c #Conflicts: 244000 | #Constraints: 20108
211.79/212.41 c #Conflicts: 245000 | #Constraints: 21108
211.79/212.41 c #Conflicts: 246000 | #Constraints: 22108
211.79/212.41 c INPROCESSING
211.79/212.41 c GARBAGE COLLECT
211.79/212.41 c #Conflicts: 247000 | #Constraints: 13304
211.79/212.41 c #Conflicts: 248000 | #Constraints: 14304
211.79/212.41 c #Conflicts: 249000 | #Constraints: 15304
211.79/212.41 c #Conflicts: 250000 | #Constraints: 16304
211.79/212.41 c #Conflicts: 251000 | #Constraints: 17304
211.79/212.41 c #Conflicts: 252000 | #Constraints: 18304
211.79/212.41 c #Conflicts: 253000 | #Constraints: 19304
211.79/212.41 c #Conflicts: 254000 | #Constraints: 20304
211.79/212.41 c #Conflicts: 255000 | #Constraints: 21304
211.79/212.41 c #Conflicts: 256000 | #Constraints: 22304
211.79/212.41 c INPROCESSING
211.79/212.41 c GARBAGE COLLECT
211.79/212.41 c #Conflicts: 257000 | #Constraints: 13298
211.79/212.41 c #Conflicts: 258000 | #Constraints: 14298
211.79/212.41 c #Conflicts: 259000 | #Constraints: 15298
211.79/212.41 c #Conflicts: 260000 | #Constraints: 16298
211.79/212.41 c #Conflicts: 261000 | #Constraints: 17298
211.79/212.41 c #Conflicts: 262000 | #Constraints: 18298
211.79/212.41 c #Conflicts: 263000 | #Constraints: 19298
211.79/212.41 c #Conflicts: 264000 | #Constraints: 20298
211.79/212.41 c #Conflicts: 265000 | #Constraints: 21298
211.79/212.41 c #Conflicts: 266000 | #Constraints: 22298
211.79/212.41 c INPROCESSING
211.79/212.41 c GARBAGE COLLECT
211.79/212.41 c #Conflicts: 267000 | #Constraints: 13096
211.79/212.41 c #Conflicts: 268000 | #Constraints: 14096
211.79/212.41 c #Conflicts: 269000 | #Constraints: 15096
211.79/212.41 c #Conflicts: 270000 | #Constraints: 16096
211.79/212.41 c #Conflicts: 271000 | #Constraints: 17096
211.79/212.41 c #Conflicts: 272000 | #Constraints: 18096
211.79/212.41 c #Conflicts: 273000 | #Constraints: 19096
211.79/212.41 c #Conflicts: 274000 | #Constraints: 20096
211.79/212.41 c #Conflicts: 275000 | #Constraints: 21096
211.79/212.41 c #Conflicts: 276000 | #Constraints: 22096
211.79/212.41 c #Conflicts: 277000 | #Constraints: 23096
211.79/212.41 c INPROCESSING
211.79/212.41 c GARBAGE COLLECT
211.79/212.41 c #Conflicts: 278000 | #Constraints: 13704
211.79/212.41 c #Conflicts: 279000 | #Constraints: 14704
211.79/212.41 c #Conflicts: 280000 | #Constraints: 15704
211.79/212.41 c #Conflicts: 281000 | #Constraints: 16704
211.79/212.41 c #Conflicts: 282000 | #Constraints: 17704
211.79/212.41 c #Conflicts: 283000 | #Constraints: 18704
211.79/212.41 c #Conflicts: 284000 | #Constraints: 19704
211.79/212.41 c #Conflicts: 285000 | #Constraints: 20704
211.79/212.41 c #Conflicts: 286000 | #Constraints: 21704
211.79/212.41 c #Conflicts: 287000 | #Constraints: 22704
211.79/212.41 c #Conflicts: 288000 | #Constraints: 23704
297.34/298.24 c INPROCESSING
297.34/298.24 c GARBAGE COLLECT
297.34/298.24 c #Conflicts: 289000 | #Constraints: 14105
297.34/298.24 c #Conflicts: 290000 | #Constraints: 15105
297.34/298.24 c #Conflicts: 291000 | #Constraints: 16105
297.34/298.24 c #Conflicts: 292000 | #Constraints: 17105
297.34/298.24 c #Conflicts: 293000 | #Constraints: 18105
297.34/298.24 c #Conflicts: 294000 | #Constraints: 19105
297.34/298.24 c #Conflicts: 295000 | #Constraints: 20105
297.34/298.24 c #Conflicts: 296000 | #Constraints: 21105
297.34/298.24 c #Conflicts: 297000 | #Constraints: 22105
297.34/298.24 c #Conflicts: 298000 | #Constraints: 23105
297.34/298.24 c #Conflicts: 299000 | #Constraints: 24105
297.34/298.24 c INPROCESSING
297.34/298.24 c GARBAGE COLLECT
297.34/298.24 c #Conflicts: 300000 | #Constraints: 14304
297.34/298.24 c #Conflicts: 301000 | #Constraints: 15304
297.34/298.24 c #Conflicts: 302000 | #Constraints: 16304
297.34/298.24 c #Conflicts: 303000 | #Constraints: 17304
297.34/298.24 c #Conflicts: 304000 | #Constraints: 18304
297.34/298.24 c #Conflicts: 305000 | #Constraints: 19304
297.34/298.24 c #Conflicts: 306000 | #Constraints: 20304
297.34/298.24 c #Conflicts: 307000 | #Constraints: 21304
297.34/298.24 c #Conflicts: 308000 | #Constraints: 22304
297.34/298.24 c #Conflicts: 309000 | #Constraints: 23304
297.34/298.24 c #Conflicts: 310000 | #Constraints: 24304
297.34/298.24 c INPROCESSING
297.34/298.24 c GARBAGE COLLECT
297.34/298.24 c #Conflicts: 311000 | #Constraints: 14303
297.34/298.24 c #Conflicts: 312000 | #Constraints: 15303
297.34/298.24 c #Conflicts: 313000 | #Constraints: 16303
297.34/298.24 c #Conflicts: 314000 | #Constraints: 17303
297.34/298.24 c #Conflicts: 315000 | #Constraints: 18303
297.34/298.24 c #Conflicts: 316000 | #Constraints: 19303
297.34/298.24 c #Conflicts: 317000 | #Constraints: 20303
297.34/298.24 c #Conflicts: 318000 | #Constraints: 21303
297.34/298.24 c #Conflicts: 319000 | #Constraints: 22303
297.34/298.24 c #Conflicts: 320000 | #Constraints: 23303
297.34/298.24 c #Conflicts: 321000 | #Constraints: 24303
297.34/298.24 c INPROCESSING
297.34/298.24 c GARBAGE COLLECT
297.34/298.24 c #Conflicts: 322000 | #Constraints: 14104
297.34/298.24 c #Conflicts: 323000 | #Constraints: 15104
297.34/298.24 c #Conflicts: 324000 | #Constraints: 16104
297.34/298.24 c #Conflicts: 325000 | #Constraints: 17104
297.34/298.24 c #Conflicts: 326000 | #Constraints: 18104
297.34/298.24 c #Conflicts: 327000 | #Constraints: 19104
297.34/298.24 c #Conflicts: 328000 | #Constraints: 20104
297.34/298.24 c #Conflicts: 329000 | #Constraints: 21104
297.34/298.24 c #Conflicts: 330000 | #Constraints: 22104
297.34/298.24 c #Conflicts: 331000 | #Constraints: 23104
297.34/298.24 c #Conflicts: 332000 | #Constraints: 24104
297.34/298.24 c #Conflicts: 333000 | #Constraints: 25104
297.34/298.24 c INPROCESSING
297.34/298.24 c GARBAGE COLLECT
297.34/298.24 c #Conflicts: 334000 | #Constraints: 14696
297.34/298.24 c #Conflicts: 335000 | #Constraints: 15696
297.34/298.24 c #Conflicts: 336000 | #Constraints: 16696
297.34/298.24 c #Conflicts: 337000 | #Constraints: 17696
297.34/298.24 c #Conflicts: 338000 | #Constraints: 18696
297.34/298.24 c #Conflicts: 339000 | #Constraints: 19696
297.34/298.24 c #Conflicts: 340000 | #Constraints: 20696
297.34/298.24 c #Conflicts: 341000 | #Constraints: 21696
297.34/298.24 c #Conflicts: 342000 | #Constraints: 22696
297.34/298.24 c #Conflicts: 343000 | #Constraints: 23696
297.34/298.24 c #Conflicts: 344000 | #Constraints: 24696
297.34/298.24 c #Conflicts: 345000 | #Constraints: 25696
297.34/298.24 c INPROCESSING
297.34/298.24 c GARBAGE COLLECT
297.34/298.24 c #Conflicts: 346000 | #Constraints: 15107
297.34/298.24 c #Conflicts: 347000 | #Constraints: 16107
297.34/298.24 c #Conflicts: 348000 | #Constraints: 17107
297.34/298.24 c #Conflicts: 349000 | #Constraints: 18107
297.34/298.24 c #Conflicts: 350000 | #Constraints: 19107
297.34/298.24 c #Conflicts: 351000 | #Constraints: 20107
297.34/298.24 c #Conflicts: 352000 | #Constraints: 21107
297.34/298.24 c #Conflicts: 353000 | #Constraints: 22107
297.34/298.24 c #Conflicts: 354000 | #Constraints: 23107
297.34/298.24 c #Conflicts: 355000 | #Constraints: 24107
297.34/298.24 c #Conflicts: 356000 | #Constraints: 25107
297.34/298.24 c #Conflicts: 357000 | #Constraints: 26107
297.34/298.24 c INPROCESSING
297.34/298.24 c GARBAGE COLLECT
297.34/298.24 c #Conflicts: 358000 | #Constraints: 15302
297.34/298.24 c #Conflicts: 359000 | #Constraints: 16302
297.34/298.24 c #Conflicts: 360000 | #Constraints: 17302
297.34/298.24 c #Conflicts: 361000 | #Constraints: 18302
297.34/298.24 c #Conflicts: 362000 | #Constraints: 19302
395.45/396.69 c #Conflicts: 363000 | #Constraints: 20302
395.45/396.69 c #Conflicts: 364000 | #Constraints: 21302
395.45/396.69 c #Conflicts: 365000 | #Constraints: 22302
395.45/396.69 c #Conflicts: 366000 | #Constraints: 23302
395.45/396.69 c #Conflicts: 367000 | #Constraints: 24302
395.45/396.69 c #Conflicts: 368000 | #Constraints: 25302
395.45/396.69 c #Conflicts: 369000 | #Constraints: 26302
395.45/396.69 c INPROCESSING
395.45/396.69 c GARBAGE COLLECT
395.45/396.69 c #Conflicts: 370000 | #Constraints: 15302
395.45/396.69 c #Conflicts: 371000 | #Constraints: 16302
395.45/396.69 c #Conflicts: 372000 | #Constraints: 17302
395.45/396.69 c #Conflicts: 373000 | #Constraints: 18302
395.45/396.69 c #Conflicts: 374000 | #Constraints: 19302
395.45/396.69 c #Conflicts: 375000 | #Constraints: 20302
395.45/396.69 c #Conflicts: 376000 | #Constraints: 21302
395.45/396.69 c #Conflicts: 377000 | #Constraints: 22302
395.45/396.69 c #Conflicts: 378000 | #Constraints: 23302
395.45/396.69 c #Conflicts: 379000 | #Constraints: 24302
395.45/396.69 c #Conflicts: 380000 | #Constraints: 25302
395.45/396.69 c #Conflicts: 381000 | #Constraints: 26302
395.45/396.69 c INPROCESSING
395.45/396.69 c GARBAGE COLLECT
395.45/396.69 c #Conflicts: 382000 | #Constraints: 15102
395.45/396.69 c #Conflicts: 383000 | #Constraints: 16102
395.45/396.69 c #Conflicts: 384000 | #Constraints: 17102
395.45/396.69 c #Conflicts: 385000 | #Constraints: 18102
395.45/396.69 c #Conflicts: 386000 | #Constraints: 19102
395.45/396.69 c #Conflicts: 387000 | #Constraints: 20102
395.45/396.69 c #Conflicts: 388000 | #Constraints: 21102
395.45/396.69 c #Conflicts: 389000 | #Constraints: 22102
395.45/396.69 c #Conflicts: 390000 | #Constraints: 23102
395.45/396.69 c #Conflicts: 391000 | #Constraints: 24102
395.45/396.69 c #Conflicts: 392000 | #Constraints: 25102
395.45/396.69 c #Conflicts: 393000 | #Constraints: 26102
395.45/396.69 c #Conflicts: 394000 | #Constraints: 27102
395.45/396.69 c INPROCESSING
395.45/396.69 c GARBAGE COLLECT
395.45/396.69 c #Conflicts: 395000 | #Constraints: 15703
395.45/396.69 c #Conflicts: 396000 | #Constraints: 16703
395.45/396.69 c #Conflicts: 397000 | #Constraints: 17703
395.45/396.69 c #Conflicts: 398000 | #Constraints: 18703
395.45/396.69 c #Conflicts: 399000 | #Constraints: 19703
395.45/396.69 c #Conflicts: 400000 | #Constraints: 20703
395.45/396.69 c #Conflicts: 401000 | #Constraints: 21703
395.45/396.69 c #Conflicts: 402000 | #Constraints: 22703
395.45/396.69 c #Conflicts: 403000 | #Constraints: 23703
395.45/396.69 c #Conflicts: 404000 | #Constraints: 24703
395.45/396.69 c #Conflicts: 405000 | #Constraints: 25703
395.45/396.69 c #Conflicts: 406000 | #Constraints: 26703
395.45/396.69 c #Conflicts: 407000 | #Constraints: 27703
395.45/396.69 c INPROCESSING
395.45/396.69 c GARBAGE COLLECT
395.45/396.69 c #Conflicts: 408000 | #Constraints: 16103
395.45/396.69 c #Conflicts: 409000 | #Constraints: 17103
395.45/396.69 c #Conflicts: 410000 | #Constraints: 18103
395.45/396.69 c #Conflicts: 411000 | #Constraints: 19103
395.45/396.69 c #Conflicts: 412000 | #Constraints: 20103
395.45/396.69 c #Conflicts: 413000 | #Constraints: 21103
395.45/396.69 c #Conflicts: 414000 | #Constraints: 22103
395.45/396.69 c #Conflicts: 415000 | #Constraints: 23103
395.45/396.69 c #Conflicts: 416000 | #Constraints: 24103
395.45/396.69 c #Conflicts: 417000 | #Constraints: 25103
395.45/396.69 c #Conflicts: 418000 | #Constraints: 26103
395.45/396.69 c #Conflicts: 419000 | #Constraints: 27103
395.45/396.69 c #Conflicts: 420000 | #Constraints: 28103
395.45/396.69 c INPROCESSING
395.45/396.69 c GARBAGE COLLECT
395.45/396.69 c #Conflicts: 421000 | #Constraints: 16301
395.45/396.69 c #Conflicts: 422000 | #Constraints: 17301
395.45/396.69 c #Conflicts: 423000 | #Constraints: 18301
395.45/396.69 c #Conflicts: 424000 | #Constraints: 19301
395.45/396.69 c #Conflicts: 425000 | #Constraints: 20301
395.45/396.69 c #Conflicts: 426000 | #Constraints: 21301
395.45/396.69 c #Conflicts: 427000 | #Constraints: 22301
395.45/396.69 c #Conflicts: 428000 | #Constraints: 23301
395.45/396.69 c #Conflicts: 429000 | #Constraints: 24301
395.45/396.69 c #Conflicts: 430000 | #Constraints: 25301
395.45/396.69 c #Conflicts: 431000 | #Constraints: 26301
395.45/396.69 c #Conflicts: 432000 | #Constraints: 27301
395.45/396.69 c #Conflicts: 433000 | #Constraints: 28301
395.45/396.69 c INPROCESSING
395.45/396.69 c GARBAGE COLLECT
395.45/396.69 c #Conflicts: 434000 | #Constraints: 16311
395.45/396.69 c #Conflicts: 435000 | #Constraints: 17311
395.45/396.69 c #Conflicts: 436000 | #Constraints: 18311
395.45/396.69 c #Conflicts: 437000 | #Constraints: 19311
503.13/504.60 c #Conflicts: 438000 | #Constraints: 20311
503.13/504.60 c #Conflicts: 439000 | #Constraints: 21311
503.13/504.60 c #Conflicts: 440000 | #Constraints: 22311
503.13/504.60 c #Conflicts: 441000 | #Constraints: 23311
503.13/504.60 c #Conflicts: 442000 | #Constraints: 24311
503.13/504.60 c #Conflicts: 443000 | #Constraints: 25311
503.13/504.60 c #Conflicts: 444000 | #Constraints: 26311
503.13/504.60 c #Conflicts: 445000 | #Constraints: 27311
503.13/504.60 c #Conflicts: 446000 | #Constraints: 28311
503.13/504.60 c INPROCESSING
503.13/504.60 c GARBAGE COLLECT
503.13/504.60 c #Conflicts: 447000 | #Constraints: 16102
503.13/504.60 c #Conflicts: 448000 | #Constraints: 17102
503.13/504.60 c #Conflicts: 449000 | #Constraints: 18102
503.13/504.60 c #Conflicts: 450000 | #Constraints: 19102
503.13/504.60 c #Conflicts: 451000 | #Constraints: 20102
503.13/504.60 c #Conflicts: 452000 | #Constraints: 21102
503.13/504.60 c #Conflicts: 453000 | #Constraints: 22102
503.13/504.60 c #Conflicts: 454000 | #Constraints: 23102
503.13/504.60 c #Conflicts: 455000 | #Constraints: 24102
503.13/504.60 c #Conflicts: 456000 | #Constraints: 25102
503.13/504.60 c #Conflicts: 457000 | #Constraints: 26102
503.13/504.60 c #Conflicts: 458000 | #Constraints: 27102
503.13/504.60 c #Conflicts: 459000 | #Constraints: 28102
503.13/504.60 c #Conflicts: 460000 | #Constraints: 29102
503.13/504.60 c INPROCESSING
503.13/504.60 c GARBAGE COLLECT
503.13/504.60 c #Conflicts: 461000 | #Constraints: 16702
503.13/504.60 c #Conflicts: 462000 | #Constraints: 17702
503.13/504.60 c #Conflicts: 463000 | #Constraints: 18702
503.13/504.60 c #Conflicts: 464000 | #Constraints: 19702
503.13/504.60 c #Conflicts: 465000 | #Constraints: 20702
503.13/504.60 c #Conflicts: 466000 | #Constraints: 21702
503.13/504.60 c #Conflicts: 467000 | #Constraints: 22702
503.13/504.60 c #Conflicts: 468000 | #Constraints: 23702
503.13/504.60 c #Conflicts: 469000 | #Constraints: 24702
503.13/504.60 c #Conflicts: 470000 | #Constraints: 25702
503.13/504.60 c #Conflicts: 471000 | #Constraints: 26702
503.13/504.60 c #Conflicts: 472000 | #Constraints: 27702
503.13/504.60 c #Conflicts: 473000 | #Constraints: 28702
503.13/504.60 c #Conflicts: 474000 | #Constraints: 29702
503.13/504.60 c INPROCESSING
503.13/504.60 c GARBAGE COLLECT
503.13/504.60 c #Conflicts: 475000 | #Constraints: 17112
503.13/504.60 c #Conflicts: 476000 | #Constraints: 18112
503.13/504.60 c #Conflicts: 477000 | #Constraints: 19112
503.13/504.60 c #Conflicts: 478000 | #Constraints: 20112
503.13/504.60 c #Conflicts: 479000 | #Constraints: 21112
503.13/504.60 c #Conflicts: 480000 | #Constraints: 22112
503.13/504.60 c #Conflicts: 481000 | #Constraints: 23112
503.13/504.60 c #Conflicts: 482000 | #Constraints: 24112
503.13/504.60 c #Conflicts: 483000 | #Constraints: 25112
503.13/504.60 c #Conflicts: 484000 | #Constraints: 26112
503.13/504.60 c #Conflicts: 485000 | #Constraints: 27112
503.13/504.60 c #Conflicts: 486000 | #Constraints: 28112
503.13/504.60 c #Conflicts: 487000 | #Constraints: 29112
503.13/504.60 c #Conflicts: 488000 | #Constraints: 30112
503.13/504.60 c INPROCESSING
503.13/504.60 c GARBAGE COLLECT
503.13/504.60 c #Conflicts: 489000 | #Constraints: 17305
503.13/504.60 c #Conflicts: 490000 | #Constraints: 18305
503.13/504.60 c #Conflicts: 491000 | #Constraints: 19305
503.13/504.60 c #Conflicts: 492000 | #Constraints: 20305
503.13/504.60 c #Conflicts: 493000 | #Constraints: 21305
503.13/504.60 c #Conflicts: 494000 | #Constraints: 22305
503.13/504.60 c #Conflicts: 495000 | #Constraints: 23305
503.13/504.60 c #Conflicts: 496000 | #Constraints: 24305
503.13/504.60 c #Conflicts: 497000 | #Constraints: 25305
503.13/504.60 c #Conflicts: 498000 | #Constraints: 26305
503.13/504.60 c #Conflicts: 499000 | #Constraints: 27305
503.13/504.60 c #Conflicts: 500000 | #Constraints: 28305
503.13/504.60 c #Conflicts: 501000 | #Constraints: 29305
503.13/504.60 c #Conflicts: 502000 | #Constraints: 30305
503.13/504.60 c INPROCESSING
503.13/504.60 c GARBAGE COLLECT
503.13/504.60 c #Conflicts: 503000 | #Constraints: 17305
503.13/504.60 c #Conflicts: 504000 | #Constraints: 18305
503.13/504.60 c #Conflicts: 505000 | #Constraints: 19305
503.13/504.60 c #Conflicts: 506000 | #Constraints: 20305
503.13/504.60 c #Conflicts: 507000 | #Constraints: 21305
503.13/504.60 c #Conflicts: 508000 | #Constraints: 22305
503.13/504.60 c #Conflicts: 509000 | #Constraints: 23305
503.13/504.60 c #Conflicts: 510000 | #Constraints: 24305
503.13/504.60 c #Conflicts: 511000 | #Constraints: 25305
503.13/504.60 c #Conflicts: 512000 | #Constraints: 26305
503.13/504.60 c #Conflicts: 513000 | #Constraints: 27305
622.58/624.48 c #Conflicts: 514000 | #Constraints: 28305
622.58/624.48 c #Conflicts: 515000 | #Constraints: 29305
622.58/624.48 c #Conflicts: 516000 | #Constraints: 30305
622.58/624.48 c INPROCESSING
622.58/624.48 c GARBAGE COLLECT
622.58/624.48 c #Conflicts: 517000 | #Constraints: 17094
622.58/624.48 c #Conflicts: 518000 | #Constraints: 18094
622.58/624.48 c #Conflicts: 519000 | #Constraints: 19094
622.58/624.48 c #Conflicts: 520000 | #Constraints: 20094
622.58/624.48 c #Conflicts: 521000 | #Constraints: 21094
622.58/624.48 c #Conflicts: 522000 | #Constraints: 22094
622.58/624.48 c #Conflicts: 523000 | #Constraints: 23094
622.58/624.48 c #Conflicts: 524000 | #Constraints: 24094
622.58/624.48 c #Conflicts: 525000 | #Constraints: 25094
622.58/624.48 c #Conflicts: 526000 | #Constraints: 26094
622.58/624.48 c #Conflicts: 527000 | #Constraints: 27094
622.58/624.48 c #Conflicts: 528000 | #Constraints: 28094
622.58/624.48 c #Conflicts: 529000 | #Constraints: 29094
622.58/624.48 c #Conflicts: 530000 | #Constraints: 30094
622.58/624.48 c #Conflicts: 531000 | #Constraints: 31094
622.58/624.48 c INPROCESSING
622.58/624.48 c GARBAGE COLLECT
622.58/624.48 c #Conflicts: 532000 | #Constraints: 17706
622.58/624.48 c #Conflicts: 533000 | #Constraints: 18706
622.58/624.48 c #Conflicts: 534000 | #Constraints: 19706
622.58/624.48 c #Conflicts: 535000 | #Constraints: 20706
622.58/624.48 c #Conflicts: 536000 | #Constraints: 21706
622.58/624.48 c #Conflicts: 537000 | #Constraints: 22706
622.58/624.48 c #Conflicts: 538000 | #Constraints: 23706
622.58/624.48 c #Conflicts: 539000 | #Constraints: 24706
622.58/624.48 c #Conflicts: 540000 | #Constraints: 25706
622.58/624.48 c #Conflicts: 541000 | #Constraints: 26706
622.58/624.48 c #Conflicts: 542000 | #Constraints: 27706
622.58/624.48 c #Conflicts: 543000 | #Constraints: 28706
622.58/624.48 c #Conflicts: 544000 | #Constraints: 29706
622.58/624.48 c #Conflicts: 545000 | #Constraints: 30706
622.58/624.48 c #Conflicts: 546000 | #Constraints: 31706
622.58/624.48 c INPROCESSING
622.58/624.48 c GARBAGE COLLECT
622.58/624.48 c #Conflicts: 547000 | #Constraints: 18110
622.58/624.48 c #Conflicts: 548000 | #Constraints: 19110
622.58/624.48 c #Conflicts: 549000 | #Constraints: 20110
622.58/624.48 c #Conflicts: 550000 | #Constraints: 21110
622.58/624.48 c #Conflicts: 551000 | #Constraints: 22110
622.58/624.48 c #Conflicts: 552000 | #Constraints: 23110
622.58/624.48 c #Conflicts: 553000 | #Constraints: 24110
622.58/624.48 c #Conflicts: 554000 | #Constraints: 25110
622.58/624.48 c #Conflicts: 555000 | #Constraints: 26110
622.58/624.48 c #Conflicts: 556000 | #Constraints: 27110
622.58/624.48 c #Conflicts: 557000 | #Constraints: 28110
622.58/624.48 c #Conflicts: 558000 | #Constraints: 29110
622.58/624.48 c #Conflicts: 559000 | #Constraints: 30110
622.58/624.48 c #Conflicts: 560000 | #Constraints: 31110
622.58/624.48 c #Conflicts: 561000 | #Constraints: 32110
622.58/624.48 c INPROCESSING
622.58/624.48 c GARBAGE COLLECT
622.58/624.48 c #Conflicts: 562000 | #Constraints: 18303
622.58/624.48 c #Conflicts: 563000 | #Constraints: 19303
622.58/624.48 c #Conflicts: 564000 | #Constraints: 20303
622.58/624.48 c #Conflicts: 565000 | #Constraints: 21303
622.58/624.48 c #Conflicts: 566000 | #Constraints: 22303
622.58/624.48 c #Conflicts: 567000 | #Constraints: 23303
622.58/624.48 c #Conflicts: 568000 | #Constraints: 24303
622.58/624.48 c #Conflicts: 569000 | #Constraints: 25303
622.58/624.48 c #Conflicts: 570000 | #Constraints: 26303
622.58/624.48 c #Conflicts: 571000 | #Constraints: 27303
622.58/624.48 c #Conflicts: 572000 | #Constraints: 28303
622.58/624.48 c #Conflicts: 573000 | #Constraints: 29303
622.58/624.48 c #Conflicts: 574000 | #Constraints: 30303
622.58/624.48 c #Conflicts: 575000 | #Constraints: 31303
622.58/624.48 c #Conflicts: 576000 | #Constraints: 32303
622.58/624.48 c INPROCESSING
622.58/624.48 c GARBAGE COLLECT
622.58/624.48 c #Conflicts: 577000 | #Constraints: 18305
622.58/624.48 c #Conflicts: 578000 | #Constraints: 19305
622.58/624.48 c #Conflicts: 579000 | #Constraints: 20305
622.58/624.48 c #Conflicts: 580000 | #Constraints: 21305
622.58/624.48 c #Conflicts: 581000 | #Constraints: 22305
622.58/624.48 c #Conflicts: 582000 | #Constraints: 23305
622.58/624.48 c #Conflicts: 583000 | #Constraints: 24305
622.58/624.48 c #Conflicts: 584000 | #Constraints: 25305
622.58/624.48 c #Conflicts: 585000 | #Constraints: 26305
622.58/624.48 c #Conflicts: 586000 | #Constraints: 27305
622.58/624.48 c #Conflicts: 587000 | #Constraints: 28305
622.58/624.48 c #Conflicts: 588000 | #Constraints: 29305
752.09/754.35 c #Conflicts: 589000 | #Constraints: 30305
752.09/754.35 c #Conflicts: 590000 | #Constraints: 31305
752.09/754.35 c #Conflicts: 591000 | #Constraints: 32305
752.09/754.35 c INPROCESSING
752.09/754.35 c GARBAGE COLLECT
752.09/754.35 c #Conflicts: 592000 | #Constraints: 18107
752.09/754.35 c #Conflicts: 593000 | #Constraints: 19107
752.09/754.35 c #Conflicts: 594000 | #Constraints: 20107
752.09/754.35 c #Conflicts: 595000 | #Constraints: 21107
752.09/754.35 c #Conflicts: 596000 | #Constraints: 22107
752.09/754.35 c #Conflicts: 597000 | #Constraints: 23107
752.09/754.35 c #Conflicts: 598000 | #Constraints: 24107
752.09/754.35 c #Conflicts: 599000 | #Constraints: 25107
752.09/754.35 c #Conflicts: 600000 | #Constraints: 26107
752.09/754.35 c #Conflicts: 601000 | #Constraints: 27107
752.09/754.35 c #Conflicts: 602000 | #Constraints: 28107
752.09/754.35 c #Conflicts: 603000 | #Constraints: 29107
752.09/754.35 c #Conflicts: 604000 | #Constraints: 30107
752.09/754.35 c #Conflicts: 605000 | #Constraints: 31107
752.09/754.35 c #Conflicts: 606000 | #Constraints: 32107
752.09/754.35 c #Conflicts: 607000 | #Constraints: 33107
752.09/754.35 c INPROCESSING
752.09/754.35 c GARBAGE COLLECT
752.09/754.35 c #Conflicts: 608000 | #Constraints: 18713
752.09/754.35 c #Conflicts: 609000 | #Constraints: 19713
752.09/754.35 c #Conflicts: 610000 | #Constraints: 20713
752.09/754.35 c #Conflicts: 611000 | #Constraints: 21713
752.09/754.35 c #Conflicts: 612000 | #Constraints: 22713
752.09/754.35 c #Conflicts: 613000 | #Constraints: 23713
752.09/754.35 c #Conflicts: 614000 | #Constraints: 24713
752.09/754.35 c #Conflicts: 615000 | #Constraints: 25713
752.09/754.35 c #Conflicts: 616000 | #Constraints: 26713
752.09/754.35 c #Conflicts: 617000 | #Constraints: 27713
752.09/754.35 c #Conflicts: 618000 | #Constraints: 28713
752.09/754.35 c #Conflicts: 619000 | #Constraints: 29713
752.09/754.35 c #Conflicts: 620000 | #Constraints: 30713
752.09/754.35 c #Conflicts: 621000 | #Constraints: 31713
752.09/754.35 c #Conflicts: 622000 | #Constraints: 32713
752.09/754.35 c #Conflicts: 623000 | #Constraints: 33713
752.09/754.35 c INPROCESSING
752.09/754.35 c GARBAGE COLLECT
752.09/754.35 c #Conflicts: 624000 | #Constraints: 19112
752.09/754.35 c #Conflicts: 625000 | #Constraints: 20112
752.09/754.35 c #Conflicts: 626000 | #Constraints: 21112
752.09/754.35 c #Conflicts: 627000 | #Constraints: 22112
752.09/754.35 c #Conflicts: 628000 | #Constraints: 23112
752.09/754.35 c #Conflicts: 629000 | #Constraints: 24112
752.09/754.35 c #Conflicts: 630000 | #Constraints: 25112
752.09/754.35 c #Conflicts: 631000 | #Constraints: 26112
752.09/754.35 c #Conflicts: 632000 | #Constraints: 27112
752.09/754.35 c #Conflicts: 633000 | #Constraints: 28112
752.09/754.35 c #Conflicts: 634000 | #Constraints: 29112
752.09/754.35 c #Conflicts: 635000 | #Constraints: 30112
752.09/754.35 c #Conflicts: 636000 | #Constraints: 31112
752.09/754.35 c #Conflicts: 637000 | #Constraints: 32112
752.09/754.35 c #Conflicts: 638000 | #Constraints: 33112
752.09/754.35 c #Conflicts: 639000 | #Constraints: 34112
752.09/754.35 c INPROCESSING
752.09/754.35 c GARBAGE COLLECT
752.09/754.35 c #Conflicts: 640000 | #Constraints: 19314
752.09/754.35 c #Conflicts: 641000 | #Constraints: 20314
752.09/754.35 c #Conflicts: 642000 | #Constraints: 21314
752.09/754.35 c #Conflicts: 643000 | #Constraints: 22314
752.09/754.35 c #Conflicts: 644000 | #Constraints: 23314
752.09/754.35 c #Conflicts: 645000 | #Constraints: 24314
752.09/754.35 c #Conflicts: 646000 | #Constraints: 25314
752.09/754.35 c #Conflicts: 647000 | #Constraints: 26314
752.09/754.35 c #Conflicts: 648000 | #Constraints: 27314
752.09/754.35 c #Conflicts: 649000 | #Constraints: 28314
752.09/754.35 c #Conflicts: 650000 | #Constraints: 29314
752.09/754.35 c #Conflicts: 651000 | #Constraints: 30314
752.09/754.35 c #Conflicts: 652000 | #Constraints: 31314
752.09/754.35 c #Conflicts: 653000 | #Constraints: 32314
752.09/754.35 c #Conflicts: 654000 | #Constraints: 33314
752.09/754.35 c #Conflicts: 655000 | #Constraints: 34314
752.09/754.35 c INPROCESSING
752.09/754.35 c GARBAGE COLLECT
752.09/754.35 c #Conflicts: 656000 | #Constraints: 19310
752.09/754.35 c #Conflicts: 657000 | #Constraints: 20310
752.09/754.35 c #Conflicts: 658000 | #Constraints: 21310
752.09/754.35 c #Conflicts: 659000 | #Constraints: 22310
752.09/754.35 c #Conflicts: 660000 | #Constraints: 23310
752.09/754.35 c #Conflicts: 661000 | #Constraints: 24310
752.09/754.35 c #Conflicts: 662000 | #Constraints: 25310
752.09/754.35 c #Conflicts: 663000 | #Constraints: 26310
752.09/754.35 c #Conflicts: 664000 | #Constraints: 27310
890.08/892.77 c #Conflicts: 665000 | #Constraints: 28310
890.08/892.77 c #Conflicts: 666000 | #Constraints: 29310
890.08/892.77 c #Conflicts: 667000 | #Constraints: 30310
890.08/892.77 c #Conflicts: 668000 | #Constraints: 31310
890.08/892.77 c #Conflicts: 669000 | #Constraints: 32310
890.08/892.77 c #Conflicts: 670000 | #Constraints: 33310
890.08/892.77 c #Conflicts: 671000 | #Constraints: 34310
890.08/892.77 c INPROCESSING
890.08/892.77 c GARBAGE COLLECT
890.08/892.77 c #Conflicts: 672000 | #Constraints: 19102
890.08/892.77 c #Conflicts: 673000 | #Constraints: 20102
890.08/892.77 c #Conflicts: 674000 | #Constraints: 21102
890.08/892.77 c #Conflicts: 675000 | #Constraints: 22102
890.08/892.77 c #Conflicts: 676000 | #Constraints: 23102
890.08/892.77 c #Conflicts: 677000 | #Constraints: 24102
890.08/892.77 c #Conflicts: 678000 | #Constraints: 25102
890.08/892.77 c #Conflicts: 679000 | #Constraints: 26102
890.08/892.77 c #Conflicts: 680000 | #Constraints: 27102
890.08/892.77 c #Conflicts: 681000 | #Constraints: 28102
890.08/892.77 c #Conflicts: 682000 | #Constraints: 29102
890.08/892.77 c #Conflicts: 683000 | #Constraints: 30102
890.08/892.77 c #Conflicts: 684000 | #Constraints: 31102
890.08/892.77 c #Conflicts: 685000 | #Constraints: 32102
890.08/892.77 c #Conflicts: 686000 | #Constraints: 33102
890.08/892.77 c #Conflicts: 687000 | #Constraints: 34102
890.08/892.77 c #Conflicts: 688000 | #Constraints: 35102
890.08/892.77 c INPROCESSING
890.08/892.77 c GARBAGE COLLECT
890.08/892.77 c #Conflicts: 689000 | #Constraints: 19706
890.08/892.77 c #Conflicts: 690000 | #Constraints: 20706
890.08/892.77 c #Conflicts: 691000 | #Constraints: 21706
890.08/892.77 c #Conflicts: 692000 | #Constraints: 22706
890.08/892.77 c #Conflicts: 693000 | #Constraints: 23706
890.08/892.77 c #Conflicts: 694000 | #Constraints: 24706
890.08/892.77 c #Conflicts: 695000 | #Constraints: 25706
890.08/892.77 c #Conflicts: 696000 | #Constraints: 26706
890.08/892.77 c #Conflicts: 697000 | #Constraints: 27706
890.08/892.77 c #Conflicts: 698000 | #Constraints: 28706
890.08/892.77 c #Conflicts: 699000 | #Constraints: 29706
890.08/892.77 c #Conflicts: 700000 | #Constraints: 30706
890.08/892.77 c #Conflicts: 701000 | #Constraints: 31706
890.08/892.77 c #Conflicts: 702000 | #Constraints: 32706
890.08/892.77 c #Conflicts: 703000 | #Constraints: 33706
890.08/892.77 c #Conflicts: 704000 | #Constraints: 34706
890.08/892.77 c #Conflicts: 705000 | #Constraints: 35706
890.08/892.77 c INPROCESSING
890.08/892.77 c GARBAGE COLLECT
890.08/892.77 c #Conflicts: 706000 | #Constraints: 20115
890.08/892.77 c #Conflicts: 707000 | #Constraints: 21115
890.08/892.77 c #Conflicts: 708000 | #Constraints: 22115
890.08/892.77 c #Conflicts: 709000 | #Constraints: 23115
890.08/892.77 c #Conflicts: 710000 | #Constraints: 24115
890.08/892.77 c #Conflicts: 711000 | #Constraints: 25115
890.08/892.77 c #Conflicts: 712000 | #Constraints: 26115
890.08/892.77 c #Conflicts: 713000 | #Constraints: 27115
890.08/892.77 c #Conflicts: 714000 | #Constraints: 28115
890.08/892.77 c #Conflicts: 715000 | #Constraints: 29115
890.08/892.77 c #Conflicts: 716000 | #Constraints: 30115
890.08/892.77 c #Conflicts: 717000 | #Constraints: 31115
890.08/892.77 c #Conflicts: 718000 | #Constraints: 32115
890.08/892.77 c #Conflicts: 719000 | #Constraints: 33115
890.08/892.77 c #Conflicts: 720000 | #Constraints: 34115
890.08/892.77 c #Conflicts: 721000 | #Constraints: 35115
890.08/892.77 c #Conflicts: 722000 | #Constraints: 36115
890.08/892.77 c INPROCESSING
890.08/892.77 c GARBAGE COLLECT
890.08/892.77 c #Conflicts: 723000 | #Constraints: 20309
890.08/892.77 c #Conflicts: 724000 | #Constraints: 21309
890.08/892.77 c #Conflicts: 725000 | #Constraints: 22309
890.08/892.77 c #Conflicts: 726000 | #Constraints: 23309
890.08/892.77 c #Conflicts: 727000 | #Constraints: 24309
890.08/892.77 c #Conflicts: 728000 | #Constraints: 25309
890.08/892.77 c #Conflicts: 729000 | #Constraints: 26309
890.08/892.77 c #Conflicts: 730000 | #Constraints: 27309
890.08/892.77 c #Conflicts: 731000 | #Constraints: 28309
890.08/892.77 c #Conflicts: 732000 | #Constraints: 29309
890.08/892.77 c #Conflicts: 733000 | #Constraints: 30309
890.08/892.77 c #Conflicts: 734000 | #Constraints: 31309
890.08/892.77 c #Conflicts: 735000 | #Constraints: 32309
890.08/892.77 c #Conflicts: 736000 | #Constraints: 33309
890.08/892.77 c #Conflicts: 737000 | #Constraints: 34309
890.08/892.77 c #Conflicts: 738000 | #Constraints: 35309
890.08/892.77 c #Conflicts: 739000 | #Constraints: 36309
890.08/892.77 c INPROCESSING
890.08/892.77 c GARBAGE COLLECT
1036.84/1039.94 c #Conflicts: 740000 | #Constraints: 20309
1036.84/1039.94 c #Conflicts: 741000 | #Constraints: 21309
1036.84/1039.94 c #Conflicts: 742000 | #Constraints: 22309
1036.84/1039.94 c #Conflicts: 743000 | #Constraints: 23309
1036.84/1039.94 c #Conflicts: 744000 | #Constraints: 24309
1036.84/1039.94 c #Conflicts: 745000 | #Constraints: 25309
1036.84/1039.94 c #Conflicts: 746000 | #Constraints: 26309
1036.84/1039.94 c #Conflicts: 747000 | #Constraints: 27309
1036.84/1039.94 c #Conflicts: 748000 | #Constraints: 28309
1036.84/1039.94 c #Conflicts: 749000 | #Constraints: 29309
1036.84/1039.94 c #Conflicts: 750000 | #Constraints: 30309
1036.84/1039.94 c #Conflicts: 751000 | #Constraints: 31309
1036.84/1039.94 c #Conflicts: 752000 | #Constraints: 32309
1036.84/1039.94 c #Conflicts: 753000 | #Constraints: 33309
1036.84/1039.94 c #Conflicts: 754000 | #Constraints: 34309
1036.84/1039.94 c #Conflicts: 755000 | #Constraints: 35309
1036.84/1039.94 c #Conflicts: 756000 | #Constraints: 36309
1036.84/1039.94 c INPROCESSING
1036.84/1039.94 c GARBAGE COLLECT
1036.84/1039.94 c #Conflicts: 757000 | #Constraints: 20109
1036.84/1039.94 c #Conflicts: 758000 | #Constraints: 21109
1036.84/1039.94 c #Conflicts: 759000 | #Constraints: 22109
1036.84/1039.94 c #Conflicts: 760000 | #Constraints: 23109
1036.84/1039.94 c #Conflicts: 761000 | #Constraints: 24109
1036.84/1039.94 c #Conflicts: 762000 | #Constraints: 25109
1036.84/1039.94 c #Conflicts: 763000 | #Constraints: 26109
1036.84/1039.94 c #Conflicts: 764000 | #Constraints: 27109
1036.84/1039.94 c #Conflicts: 765000 | #Constraints: 28109
1036.84/1039.94 c #Conflicts: 766000 | #Constraints: 29109
1036.84/1039.94 c #Conflicts: 767000 | #Constraints: 30109
1036.84/1039.94 c #Conflicts: 768000 | #Constraints: 31109
1036.84/1039.94 c #Conflicts: 769000 | #Constraints: 32109
1036.84/1039.94 c #Conflicts: 770000 | #Constraints: 33109
1036.84/1039.94 c #Conflicts: 771000 | #Constraints: 34109
1036.84/1039.94 c #Conflicts: 772000 | #Constraints: 35109
1036.84/1039.94 c #Conflicts: 773000 | #Constraints: 36109
1036.84/1039.94 c #Conflicts: 774000 | #Constraints: 37109
1036.84/1039.94 c INPROCESSING
1036.84/1039.94 c GARBAGE COLLECT
1036.84/1039.94 c #Conflicts: 775000 | #Constraints: 20710
1036.84/1039.94 c #Conflicts: 776000 | #Constraints: 21710
1036.84/1039.94 c #Conflicts: 777000 | #Constraints: 22710
1036.84/1039.94 c #Conflicts: 778000 | #Constraints: 23710
1036.84/1039.94 c #Conflicts: 779000 | #Constraints: 24710
1036.84/1039.94 c #Conflicts: 780000 | #Constraints: 25710
1036.84/1039.94 c #Conflicts: 781000 | #Constraints: 26710
1036.84/1039.94 c #Conflicts: 782000 | #Constraints: 27710
1036.84/1039.94 c #Conflicts: 783000 | #Constraints: 28710
1036.84/1039.94 c #Conflicts: 784000 | #Constraints: 29710
1036.84/1039.94 c #Conflicts: 785000 | #Constraints: 30710
1036.84/1039.94 c #Conflicts: 786000 | #Constraints: 31710
1036.84/1039.94 c #Conflicts: 787000 | #Constraints: 32710
1036.84/1039.94 c #Conflicts: 788000 | #Constraints: 33710
1036.84/1039.94 c #Conflicts: 789000 | #Constraints: 34710
1036.84/1039.94 c #Conflicts: 790000 | #Constraints: 35710
1036.84/1039.94 c #Conflicts: 791000 | #Constraints: 36710
1036.84/1039.94 c #Conflicts: 792000 | #Constraints: 37710
1036.84/1039.94 c INPROCESSING
1036.84/1039.94 c GARBAGE COLLECT
1036.84/1039.94 c #Conflicts: 793000 | #Constraints: 21118
1036.84/1039.94 c #Conflicts: 794000 | #Constraints: 22118
1036.84/1039.94 c #Conflicts: 795000 | #Constraints: 23118
1036.84/1039.94 c #Conflicts: 796000 | #Constraints: 24118
1036.84/1039.94 c #Conflicts: 797000 | #Constraints: 25118
1036.84/1039.94 c #Conflicts: 798000 | #Constraints: 26118
1036.84/1039.94 c #Conflicts: 799000 | #Constraints: 27118
1036.84/1039.94 c #Conflicts: 800000 | #Constraints: 28118
1036.84/1039.94 c #Conflicts: 801000 | #Constraints: 29118
1036.84/1039.94 c #Conflicts: 802000 | #Constraints: 30118
1036.84/1039.94 c #Conflicts: 803000 | #Constraints: 31118
1036.84/1039.94 c #Conflicts: 804000 | #Constraints: 32118
1036.84/1039.94 c #Conflicts: 805000 | #Constraints: 33118
1036.84/1039.94 c #Conflicts: 806000 | #Constraints: 34118
1036.84/1039.94 c #Conflicts: 807000 | #Constraints: 35118
1036.84/1039.94 c #Conflicts: 808000 | #Constraints: 36118
1036.84/1039.94 c #Conflicts: 809000 | #Constraints: 37118
1036.84/1039.94 c #Conflicts: 810000 | #Constraints: 38118
1036.84/1039.94 c INPROCESSING
1036.84/1039.94 c GARBAGE COLLECT
1036.84/1039.94 c #Conflicts: 811000 | #Constraints: 21311
1036.84/1039.94 c #Conflicts: 812000 | #Constraints: 22311
1036.84/1039.94 c #Conflicts: 813000 | #Constraints: 23311
1036.84/1039.94 c #Conflicts: 814000 | #Constraints: 24311
1036.84/1039.94 c #Conflicts: 815000 | #Constraints: 25311
1036.84/1039.94 c #Conflicts: 816000 | #Constraints: 26311
1193.97/1197.55 c #Conflicts: 817000 | #Constraints: 27311
1193.97/1197.55 c #Conflicts: 818000 | #Constraints: 28311
1193.97/1197.55 c #Conflicts: 819000 | #Constraints: 29311
1193.97/1197.55 c #Conflicts: 820000 | #Constraints: 30311
1193.97/1197.55 c #Conflicts: 821000 | #Constraints: 31311
1193.97/1197.55 c #Conflicts: 822000 | #Constraints: 32311
1193.97/1197.55 c #Conflicts: 823000 | #Constraints: 33311
1193.97/1197.55 c #Conflicts: 824000 | #Constraints: 34311
1193.97/1197.55 c #Conflicts: 825000 | #Constraints: 35311
1193.97/1197.55 c #Conflicts: 826000 | #Constraints: 36311
1193.97/1197.55 c #Conflicts: 827000 | #Constraints: 37311
1193.97/1197.55 c #Conflicts: 828000 | #Constraints: 38311
1193.97/1197.55 c INPROCESSING
1193.97/1197.55 c GARBAGE COLLECT
1193.97/1197.55 c #Conflicts: 829000 | #Constraints: 21316
1193.97/1197.55 c #Conflicts: 830000 | #Constraints: 22316
1193.97/1197.55 c #Conflicts: 831000 | #Constraints: 23316
1193.97/1197.55 c #Conflicts: 832000 | #Constraints: 24316
1193.97/1197.55 c #Conflicts: 833000 | #Constraints: 25316
1193.97/1197.55 c #Conflicts: 834000 | #Constraints: 26316
1193.97/1197.55 c #Conflicts: 835000 | #Constraints: 27316
1193.97/1197.55 c #Conflicts: 836000 | #Constraints: 28316
1193.97/1197.55 c #Conflicts: 837000 | #Constraints: 29316
1193.97/1197.55 c #Conflicts: 838000 | #Constraints: 30316
1193.97/1197.55 c #Conflicts: 839000 | #Constraints: 31316
1193.97/1197.55 c #Conflicts: 840000 | #Constraints: 32316
1193.97/1197.55 c #Conflicts: 841000 | #Constraints: 33316
1193.97/1197.55 c #Conflicts: 842000 | #Constraints: 34316
1193.97/1197.55 c #Conflicts: 843000 | #Constraints: 35316
1193.97/1197.55 c #Conflicts: 844000 | #Constraints: 36316
1193.97/1197.55 c #Conflicts: 845000 | #Constraints: 37316
1193.97/1197.55 c #Conflicts: 846000 | #Constraints: 38316
1193.97/1197.55 c INPROCESSING
1193.97/1197.55 c GARBAGE COLLECT
1193.97/1197.55 c #Conflicts: 847000 | #Constraints: 21124
1193.97/1197.55 c #Conflicts: 848000 | #Constraints: 22124
1193.97/1197.55 c #Conflicts: 849000 | #Constraints: 23124
1193.97/1197.55 c #Conflicts: 850000 | #Constraints: 24124
1193.97/1197.55 c #Conflicts: 851000 | #Constraints: 25124
1193.97/1197.55 c #Conflicts: 852000 | #Constraints: 26124
1193.97/1197.55 c #Conflicts: 853000 | #Constraints: 27124
1193.97/1197.55 c #Conflicts: 854000 | #Constraints: 28124
1193.97/1197.55 c #Conflicts: 855000 | #Constraints: 29124
1193.97/1197.55 c #Conflicts: 856000 | #Constraints: 30124
1193.97/1197.55 c #Conflicts: 857000 | #Constraints: 31124
1193.97/1197.55 c #Conflicts: 858000 | #Constraints: 32124
1193.97/1197.55 c #Conflicts: 859000 | #Constraints: 33124
1193.97/1197.55 c #Conflicts: 860000 | #Constraints: 34124
1193.97/1197.55 c #Conflicts: 861000 | #Constraints: 35124
1193.97/1197.55 c #Conflicts: 862000 | #Constraints: 36124
1193.97/1197.55 c #Conflicts: 863000 | #Constraints: 37124
1193.97/1197.55 c #Conflicts: 864000 | #Constraints: 38124
1193.97/1197.55 c #Conflicts: 865000 | #Constraints: 39124
1193.97/1197.55 c INPROCESSING
1193.97/1197.55 c GARBAGE COLLECT
1193.97/1197.55 c #Conflicts: 866000 | #Constraints: 21710
1193.97/1197.55 c #Conflicts: 867000 | #Constraints: 22710
1193.97/1197.55 c #Conflicts: 868000 | #Constraints: 23710
1193.97/1197.55 c #Conflicts: 869000 | #Constraints: 24710
1193.97/1197.55 c #Conflicts: 870000 | #Constraints: 25710
1193.97/1197.55 c #Conflicts: 871000 | #Constraints: 26710
1193.97/1197.55 c #Conflicts: 872000 | #Constraints: 27710
1193.97/1197.55 c #Conflicts: 873000 | #Constraints: 28710
1193.97/1197.55 c #Conflicts: 874000 | #Constraints: 29710
1193.97/1197.55 c #Conflicts: 875000 | #Constraints: 30710
1193.97/1197.55 c #Conflicts: 876000 | #Constraints: 31710
1193.97/1197.55 c #Conflicts: 877000 | #Constraints: 32710
1193.97/1197.55 c #Conflicts: 878000 | #Constraints: 33710
1193.97/1197.55 c #Conflicts: 879000 | #Constraints: 34710
1193.97/1197.55 c #Conflicts: 880000 | #Constraints: 35710
1193.97/1197.55 c #Conflicts: 881000 | #Constraints: 36710
1193.97/1197.55 c #Conflicts: 882000 | #Constraints: 37710
1193.97/1197.55 c #Conflicts: 883000 | #Constraints: 38710
1193.97/1197.55 c #Conflicts: 884000 | #Constraints: 39710
1193.97/1197.55 c INPROCESSING
1193.97/1197.55 c GARBAGE COLLECT
1193.97/1197.55 c #Conflicts: 885000 | #Constraints: 22118
1193.97/1197.55 c #Conflicts: 886000 | #Constraints: 23118
1193.97/1197.55 c #Conflicts: 887000 | #Constraints: 24118
1193.97/1197.55 c #Conflicts: 888000 | #Constraints: 25118
1193.97/1197.55 c #Conflicts: 889000 | #Constraints: 26118
1193.97/1197.55 c #Conflicts: 890000 | #Constraints: 27118
1193.97/1197.55 c #Conflicts: 891000 | #Constraints: 28118
1193.97/1197.55 c #Conflicts: 892000 | #Constraints: 29118
1362.76/1366.85 c #Conflicts: 893000 | #Constraints: 30118
1362.76/1366.85 c #Conflicts: 894000 | #Constraints: 31118
1362.76/1366.85 c #Conflicts: 895000 | #Constraints: 32118
1362.76/1366.85 c #Conflicts: 896000 | #Constraints: 33118
1362.76/1366.85 c #Conflicts: 897000 | #Constraints: 34118
1362.76/1366.85 c #Conflicts: 898000 | #Constraints: 35118
1362.76/1366.85 c #Conflicts: 899000 | #Constraints: 36118
1362.76/1366.85 c #Conflicts: 900000 | #Constraints: 37118
1362.76/1366.85 c #Conflicts: 901000 | #Constraints: 38118
1362.76/1366.85 c #Conflicts: 902000 | #Constraints: 39118
1362.76/1366.85 c #Conflicts: 903000 | #Constraints: 40118
1362.76/1366.85 c INPROCESSING
1362.76/1366.85 c GARBAGE COLLECT
1362.76/1366.85 c #Conflicts: 904000 | #Constraints: 22314
1362.76/1366.85 c #Conflicts: 905000 | #Constraints: 23314
1362.76/1366.85 c #Conflicts: 906000 | #Constraints: 24314
1362.76/1366.85 c #Conflicts: 907000 | #Constraints: 25314
1362.76/1366.85 c #Conflicts: 908000 | #Constraints: 26314
1362.76/1366.85 c #Conflicts: 909000 | #Constraints: 27314
1362.76/1366.85 c #Conflicts: 910000 | #Constraints: 28314
1362.76/1366.85 c #Conflicts: 911000 | #Constraints: 29314
1362.76/1366.85 c #Conflicts: 912000 | #Constraints: 30314
1362.76/1366.85 c #Conflicts: 913000 | #Constraints: 31314
1362.76/1366.85 c #Conflicts: 914000 | #Constraints: 32314
1362.76/1366.85 c #Conflicts: 915000 | #Constraints: 33314
1362.76/1366.85 c #Conflicts: 916000 | #Constraints: 34314
1362.76/1366.85 c #Conflicts: 917000 | #Constraints: 35314
1362.76/1366.85 c #Conflicts: 918000 | #Constraints: 36314
1362.76/1366.85 c #Conflicts: 919000 | #Constraints: 37314
1362.76/1366.85 c #Conflicts: 920000 | #Constraints: 38314
1362.76/1366.85 c #Conflicts: 921000 | #Constraints: 39314
1362.76/1366.85 c #Conflicts: 922000 | #Constraints: 40314
1362.76/1366.85 c INPROCESSING
1362.76/1366.85 c GARBAGE COLLECT
1362.76/1366.85 c #Conflicts: 923000 | #Constraints: 22311
1362.76/1366.85 c #Conflicts: 924000 | #Constraints: 23311
1362.76/1366.85 c #Conflicts: 925000 | #Constraints: 24311
1362.76/1366.85 c #Conflicts: 926000 | #Constraints: 25311
1362.76/1366.85 c #Conflicts: 927000 | #Constraints: 26311
1362.76/1366.85 c #Conflicts: 928000 | #Constraints: 27311
1362.76/1366.85 c #Conflicts: 929000 | #Constraints: 28311
1362.76/1366.85 c #Conflicts: 930000 | #Constraints: 29311
1362.76/1366.85 c #Conflicts: 931000 | #Constraints: 30311
1362.76/1366.85 c #Conflicts: 932000 | #Constraints: 31311
1362.76/1366.85 c #Conflicts: 933000 | #Constraints: 32311
1362.76/1366.85 c #Conflicts: 934000 | #Constraints: 33311
1362.76/1366.85 c #Conflicts: 935000 | #Constraints: 34311
1362.76/1366.85 c #Conflicts: 936000 | #Constraints: 35311
1362.76/1366.85 c #Conflicts: 937000 | #Constraints: 36311
1362.76/1366.85 c #Conflicts: 938000 | #Constraints: 37311
1362.76/1366.85 c #Conflicts: 939000 | #Constraints: 38311
1362.76/1366.85 c #Conflicts: 940000 | #Constraints: 39311
1362.76/1366.85 c #Conflicts: 941000 | #Constraints: 40311
1362.76/1366.85 c INPROCESSING
1362.76/1366.85 c GARBAGE COLLECT
1362.76/1366.85 c #Conflicts: 942000 | #Constraints: 22111
1362.76/1366.85 c #Conflicts: 943000 | #Constraints: 23111
1362.76/1366.85 c #Conflicts: 944000 | #Constraints: 24111
1362.76/1366.85 c #Conflicts: 945000 | #Constraints: 25111
1362.76/1366.85 c #Conflicts: 946000 | #Constraints: 26111
1362.76/1366.85 c #Conflicts: 947000 | #Constraints: 27111
1362.76/1366.85 c #Conflicts: 948000 | #Constraints: 28111
1362.76/1366.85 c #Conflicts: 949000 | #Constraints: 29111
1362.76/1366.85 c #Conflicts: 950000 | #Constraints: 30111
1362.76/1366.85 c #Conflicts: 951000 | #Constraints: 31111
1362.76/1366.85 c #Conflicts: 952000 | #Constraints: 32111
1362.76/1366.85 c #Conflicts: 953000 | #Constraints: 33111
1362.76/1366.85 c #Conflicts: 954000 | #Constraints: 34111
1362.76/1366.85 c #Conflicts: 955000 | #Constraints: 35111
1362.76/1366.85 c #Conflicts: 956000 | #Constraints: 36111
1362.76/1366.85 c #Conflicts: 957000 | #Constraints: 37111
1362.76/1366.85 c #Conflicts: 958000 | #Constraints: 38111
1362.76/1366.85 c #Conflicts: 959000 | #Constraints: 39111
1362.76/1366.85 c #Conflicts: 960000 | #Constraints: 40111
1362.76/1366.85 c #Conflicts: 961000 | #Constraints: 41111
1362.76/1366.85 c INPROCESSING
1362.76/1366.85 c GARBAGE COLLECT
1362.76/1366.85 c #Conflicts: 962000 | #Constraints: 22710
1362.76/1366.85 c #Conflicts: 963000 | #Constraints: 23710
1362.76/1366.85 c #Conflicts: 964000 | #Constraints: 24710
1362.76/1366.85 c #Conflicts: 965000 | #Constraints: 25710
1362.76/1366.85 c #Conflicts: 966000 | #Constraints: 26710
1362.76/1366.85 c #Conflicts: 967000 | #Constraints: 27710
1362.76/1366.85 c #Conflicts: 968000 | #Constraints: 28710
1544.22/1548.86 c #Conflicts: 969000 | #Constraints: 29710
1544.22/1548.86 c #Conflicts: 970000 | #Constraints: 30710
1544.22/1548.86 c #Conflicts: 971000 | #Constraints: 31710
1544.22/1548.86 c #Conflicts: 972000 | #Constraints: 32710
1544.22/1548.86 c #Conflicts: 973000 | #Constraints: 33710
1544.22/1548.86 c #Conflicts: 974000 | #Constraints: 34710
1544.22/1548.86 c #Conflicts: 975000 | #Constraints: 35710
1544.22/1548.86 c #Conflicts: 976000 | #Constraints: 36710
1544.22/1548.86 c #Conflicts: 977000 | #Constraints: 37710
1544.22/1548.86 c #Conflicts: 978000 | #Constraints: 38710
1544.22/1548.86 c #Conflicts: 979000 | #Constraints: 39710
1544.22/1548.86 c #Conflicts: 980000 | #Constraints: 40710
1544.22/1548.86 c #Conflicts: 981000 | #Constraints: 41710
1544.22/1548.86 c INPROCESSING
1544.22/1548.86 c GARBAGE COLLECT
1544.22/1548.86 c #Conflicts: 982000 | #Constraints: 23112
1544.22/1548.86 c #Conflicts: 983000 | #Constraints: 24112
1544.22/1548.86 c #Conflicts: 984000 | #Constraints: 25112
1544.22/1548.86 c #Conflicts: 985000 | #Constraints: 26112
1544.22/1548.86 c #Conflicts: 986000 | #Constraints: 27112
1544.22/1548.86 c #Conflicts: 987000 | #Constraints: 28112
1544.22/1548.86 c #Conflicts: 988000 | #Constraints: 29112
1544.22/1548.86 c #Conflicts: 989000 | #Constraints: 30112
1544.22/1548.86 c #Conflicts: 990000 | #Constraints: 31112
1544.22/1548.86 c #Conflicts: 991000 | #Constraints: 32112
1544.22/1548.86 c #Conflicts: 992000 | #Constraints: 33112
1544.22/1548.86 c #Conflicts: 993000 | #Constraints: 34112
1544.22/1548.86 c #Conflicts: 994000 | #Constraints: 35112
1544.22/1548.86 c #Conflicts: 995000 | #Constraints: 36112
1544.22/1548.86 c #Conflicts: 996000 | #Constraints: 37112
1544.22/1548.86 c #Conflicts: 997000 | #Constraints: 38112
1544.22/1548.86 c #Conflicts: 998000 | #Constraints: 39112
1544.22/1548.86 c #Conflicts: 999000 | #Constraints: 40112
1544.22/1548.86 c #Conflicts: 1000000 | #Constraints: 41112
1544.22/1548.86 c #Conflicts: 1001000 | #Constraints: 42112
1544.22/1548.86 c INPROCESSING
1544.22/1548.86 c GARBAGE COLLECT
1544.22/1548.86 c #Conflicts: 1002000 | #Constraints: 23318
1544.22/1548.86 c #Conflicts: 1003000 | #Constraints: 24318
1544.22/1548.86 c #Conflicts: 1004000 | #Constraints: 25318
1544.22/1548.86 c #Conflicts: 1005000 | #Constraints: 26318
1544.22/1548.86 c #Conflicts: 1006000 | #Constraints: 27318
1544.22/1548.86 c #Conflicts: 1007000 | #Constraints: 28318
1544.22/1548.86 c #Conflicts: 1008000 | #Constraints: 29318
1544.22/1548.86 c #Conflicts: 1009000 | #Constraints: 30318
1544.22/1548.86 c #Conflicts: 1010000 | #Constraints: 31318
1544.22/1548.86 c #Conflicts: 1011000 | #Constraints: 32318
1544.22/1548.86 c #Conflicts: 1012000 | #Constraints: 33318
1544.22/1548.86 c #Conflicts: 1013000 | #Constraints: 34318
1544.22/1548.86 c #Conflicts: 1014000 | #Constraints: 35318
1544.22/1548.86 c #Conflicts: 1015000 | #Constraints: 36318
1544.22/1548.86 c #Conflicts: 1016000 | #Constraints: 37318
1544.22/1548.86 c #Conflicts: 1017000 | #Constraints: 38318
1544.22/1548.86 c #Conflicts: 1018000 | #Constraints: 39318
1544.22/1548.86 c #Conflicts: 1019000 | #Constraints: 40318
1544.22/1548.86 c #Conflicts: 1020000 | #Constraints: 41318
1544.22/1548.86 c #Conflicts: 1021000 | #Constraints: 42318
1544.22/1548.86 c INPROCESSING
1544.22/1548.86 c GARBAGE COLLECT
1544.22/1548.86 c #Conflicts: 1022000 | #Constraints: 23317
1544.22/1548.86 c #Conflicts: 1023000 | #Constraints: 24317
1544.22/1548.86 c #Conflicts: 1024000 | #Constraints: 25317
1544.22/1548.86 c #Conflicts: 1025000 | #Constraints: 26317
1544.22/1548.86 c #Conflicts: 1026000 | #Constraints: 27317
1544.22/1548.86 c #Conflicts: 1027000 | #Constraints: 28317
1544.22/1548.86 c #Conflicts: 1028000 | #Constraints: 29317
1544.22/1548.86 c #Conflicts: 1029000 | #Constraints: 30317
1544.22/1548.86 c #Conflicts: 1030000 | #Constraints: 31317
1544.22/1548.86 c #Conflicts: 1031000 | #Constraints: 32317
1544.22/1548.86 c #Conflicts: 1032000 | #Constraints: 33317
1544.22/1548.86 c #Conflicts: 1033000 | #Constraints: 34317
1544.22/1548.86 c #Conflicts: 1034000 | #Constraints: 35317
1544.22/1548.86 c #Conflicts: 1035000 | #Constraints: 36317
1544.22/1548.86 c #Conflicts: 1036000 | #Constraints: 37317
1544.22/1548.86 c #Conflicts: 1037000 | #Constraints: 38317
1544.22/1548.86 c #Conflicts: 1038000 | #Constraints: 39317
1544.22/1548.86 c #Conflicts: 1039000 | #Constraints: 40317
1544.22/1548.86 c #Conflicts: 1040000 | #Constraints: 41317
1544.22/1548.86 c #Conflicts: 1041000 | #Constraints: 42317
1544.22/1548.86 c INPROCESSING
1544.22/1548.86 c GARBAGE COLLECT
1544.22/1548.86 c #Conflicts: 1042000 | #Constraints: 23118
1544.22/1548.86 c #Conflicts: 1043000 | #Constraints: 24118
1544.22/1548.86 c #Conflicts: 1044000 | #Constraints: 25118
1733.14/1738.35 c #Conflicts: 1045000 | #Constraints: 26118
1733.14/1738.35 c #Conflicts: 1046000 | #Constraints: 27118
1733.14/1738.35 c #Conflicts: 1047000 | #Constraints: 28118
1733.14/1738.35 c #Conflicts: 1048000 | #Constraints: 29118
1733.14/1738.35 c #Conflicts: 1049000 | #Constraints: 30118
1733.14/1738.35 c #Conflicts: 1050000 | #Constraints: 31118
1733.14/1738.35 c #Conflicts: 1051000 | #Constraints: 32118
1733.14/1738.35 c #Conflicts: 1052000 | #Constraints: 33118
1733.14/1738.35 c #Conflicts: 1053000 | #Constraints: 34118
1733.14/1738.35 c #Conflicts: 1054000 | #Constraints: 35118
1733.14/1738.35 c #Conflicts: 1055000 | #Constraints: 36118
1733.14/1738.35 c #Conflicts: 1056000 | #Constraints: 37118
1733.14/1738.35 c #Conflicts: 1057000 | #Constraints: 38118
1733.14/1738.35 c #Conflicts: 1058000 | #Constraints: 39118
1733.14/1738.35 c #Conflicts: 1059000 | #Constraints: 40118
1733.14/1738.35 c #Conflicts: 1060000 | #Constraints: 41118
1733.14/1738.35 c #Conflicts: 1061000 | #Constraints: 42118
1733.14/1738.35 c #Conflicts: 1062000 | #Constraints: 43118
1733.14/1738.35 c INPROCESSING
1733.14/1738.35 c GARBAGE COLLECT
1733.14/1738.35 c #Conflicts: 1063000 | #Constraints: 23716
1733.14/1738.35 c #Conflicts: 1064000 | #Constraints: 24716
1733.14/1738.35 c #Conflicts: 1065000 | #Constraints: 25716
1733.14/1738.35 c #Conflicts: 1066000 | #Constraints: 26716
1733.14/1738.35 c #Conflicts: 1067000 | #Constraints: 27716
1733.14/1738.35 c #Conflicts: 1068000 | #Constraints: 28716
1733.14/1738.35 c #Conflicts: 1069000 | #Constraints: 29716
1733.14/1738.35 c #Conflicts: 1070000 | #Constraints: 30716
1733.14/1738.35 c #Conflicts: 1071000 | #Constraints: 31716
1733.14/1738.35 c #Conflicts: 1072000 | #Constraints: 32716
1733.14/1738.35 c #Conflicts: 1073000 | #Constraints: 33716
1733.14/1738.35 c #Conflicts: 1074000 | #Constraints: 34716
1733.14/1738.35 c #Conflicts: 1075000 | #Constraints: 35716
1733.14/1738.35 c #Conflicts: 1076000 | #Constraints: 36716
1733.14/1738.35 c #Conflicts: 1077000 | #Constraints: 37716
1733.14/1738.35 c #Conflicts: 1078000 | #Constraints: 38716
1733.14/1738.35 c #Conflicts: 1079000 | #Constraints: 39716
1733.14/1738.35 c #Conflicts: 1080000 | #Constraints: 40716
1733.14/1738.35 c #Conflicts: 1081000 | #Constraints: 41716
1733.14/1738.35 c #Conflicts: 1082000 | #Constraints: 42716
1733.14/1738.35 c #Conflicts: 1083000 | #Constraints: 43716
1733.14/1738.35 c INPROCESSING
1733.14/1738.35 c GARBAGE COLLECT
1733.14/1738.35 c #Conflicts: 1084000 | #Constraints: 24110
1733.14/1738.35 c #Conflicts: 1085000 | #Constraints: 25110
1733.14/1738.35 c #Conflicts: 1086000 | #Constraints: 26110
1733.14/1738.35 c #Conflicts: 1087000 | #Constraints: 27110
1733.14/1738.35 c #Conflicts: 1088000 | #Constraints: 28110
1733.14/1738.35 c #Conflicts: 1089000 | #Constraints: 29110
1733.14/1738.35 c #Conflicts: 1090000 | #Constraints: 30110
1733.14/1738.35 c #Conflicts: 1091000 | #Constraints: 31110
1733.14/1738.35 c #Conflicts: 1092000 | #Constraints: 32110
1733.14/1738.35 c #Conflicts: 1093000 | #Constraints: 33110
1733.14/1738.35 c #Conflicts: 1094000 | #Constraints: 34110
1733.14/1738.35 c #Conflicts: 1095000 | #Constraints: 35110
1733.14/1738.35 c #Conflicts: 1096000 | #Constraints: 36110
1733.14/1738.35 c #Conflicts: 1097000 | #Constraints: 37110
1733.14/1738.35 c #Conflicts: 1098000 | #Constraints: 38110
1733.14/1738.35 c #Conflicts: 1099000 | #Constraints: 39110
1733.14/1738.35 c #Conflicts: 1100000 | #Constraints: 40110
1733.14/1738.35 c #Conflicts: 1101000 | #Constraints: 41110
1733.14/1738.35 c #Conflicts: 1102000 | #Constraints: 42110
1733.14/1738.35 c #Conflicts: 1103000 | #Constraints: 43110
1733.14/1738.35 c #Conflicts: 1104000 | #Constraints: 44110
1733.14/1738.35 c INPROCESSING
1733.14/1738.35 c GARBAGE COLLECT
1733.14/1738.35 c #Conflicts: 1105000 | #Constraints: 24309
1733.14/1738.35 c #Conflicts: 1106000 | #Constraints: 25309
1733.14/1738.35 c #Conflicts: 1107000 | #Constraints: 26309
1733.14/1738.35 c #Conflicts: 1108000 | #Constraints: 27309
1733.14/1738.35 c #Conflicts: 1109000 | #Constraints: 28309
1733.14/1738.35 c #Conflicts: 1110000 | #Constraints: 29309
1733.14/1738.35 c #Conflicts: 1111000 | #Constraints: 30309
1733.14/1738.35 c #Conflicts: 1112000 | #Constraints: 31309
1733.14/1738.35 c #Conflicts: 1113000 | #Constraints: 32309
1733.14/1738.35 c #Conflicts: 1114000 | #Constraints: 33309
1733.14/1738.35 c #Conflicts: 1115000 | #Constraints: 34309
1733.14/1738.35 c #Conflicts: 1116000 | #Constraints: 35309
1733.14/1738.35 c #Conflicts: 1117000 | #Constraints: 36309
1733.14/1738.35 c #Conflicts: 1118000 | #Constraints: 37309
1733.14/1738.35 c #Conflicts: 1119000 | #Constraints: 38309
1733.14/1738.35 c #Conflicts: 1120000 | #Constraints: 39309
1733.14/1738.35 c #Conflicts: 1121000 | #Constraints: 40309
1933.36/1939.18 c #Conflicts: 1122000 | #Constraints: 41309
1933.36/1939.18 c #Conflicts: 1123000 | #Constraints: 42309
1933.36/1939.18 c #Conflicts: 1124000 | #Constraints: 43309
1933.36/1939.18 c #Conflicts: 1125000 | #Constraints: 44309
1933.36/1939.18 c INPROCESSING
1933.36/1939.18 c GARBAGE COLLECT
1933.36/1939.18 c #Conflicts: 1126000 | #Constraints: 24312
1933.36/1939.18 c #Conflicts: 1127000 | #Constraints: 25312
1933.36/1939.18 c #Conflicts: 1128000 | #Constraints: 26312
1933.36/1939.18 c #Conflicts: 1129000 | #Constraints: 27312
1933.36/1939.18 c #Conflicts: 1130000 | #Constraints: 28312
1933.36/1939.18 c #Conflicts: 1131000 | #Constraints: 29312
1933.36/1939.18 c #Conflicts: 1132000 | #Constraints: 30312
1933.36/1939.18 c #Conflicts: 1133000 | #Constraints: 31312
1933.36/1939.18 c #Conflicts: 1134000 | #Constraints: 32312
1933.36/1939.18 c #Conflicts: 1135000 | #Constraints: 33312
1933.36/1939.18 c #Conflicts: 1136000 | #Constraints: 34312
1933.36/1939.18 c #Conflicts: 1137000 | #Constraints: 35312
1933.36/1939.18 c #Conflicts: 1138000 | #Constraints: 36312
1933.36/1939.18 c #Conflicts: 1139000 | #Constraints: 37312
1933.36/1939.18 c #Conflicts: 1140000 | #Constraints: 38312
1933.36/1939.18 c #Conflicts: 1141000 | #Constraints: 39312
1933.36/1939.18 c #Conflicts: 1142000 | #Constraints: 40312
1933.36/1939.18 c #Conflicts: 1143000 | #Constraints: 41312
1933.36/1939.18 c #Conflicts: 1144000 | #Constraints: 42312
1933.36/1939.18 c #Conflicts: 1145000 | #Constraints: 43312
1933.36/1939.18 c #Conflicts: 1146000 | #Constraints: 44312
1933.36/1939.18 c INPROCESSING
1933.36/1939.18 c GARBAGE COLLECT
1933.36/1939.18 c #Conflicts: 1147000 | #Constraints: 24119
1933.36/1939.18 c #Conflicts: 1148000 | #Constraints: 25119
1933.36/1939.18 c #Conflicts: 1149000 | #Constraints: 26119
1933.36/1939.18 c #Conflicts: 1150000 | #Constraints: 27119
1933.36/1939.18 c #Conflicts: 1151000 | #Constraints: 28119
1933.36/1939.18 c #Conflicts: 1152000 | #Constraints: 29119
1933.36/1939.18 c #Conflicts: 1153000 | #Constraints: 30119
1933.36/1939.18 c #Conflicts: 1154000 | #Constraints: 31119
1933.36/1939.18 c #Conflicts: 1155000 | #Constraints: 32119
1933.36/1939.18 c #Conflicts: 1156000 | #Constraints: 33119
1933.36/1939.18 c #Conflicts: 1157000 | #Constraints: 34119
1933.36/1939.18 c #Conflicts: 1158000 | #Constraints: 35119
1933.36/1939.18 c #Conflicts: 1159000 | #Constraints: 36119
1933.36/1939.18 c #Conflicts: 1160000 | #Constraints: 37119
1933.36/1939.18 c #Conflicts: 1161000 | #Constraints: 38119
1933.36/1939.18 c #Conflicts: 1162000 | #Constraints: 39119
1933.36/1939.18 c #Conflicts: 1163000 | #Constraints: 40119
1933.36/1939.18 c #Conflicts: 1164000 | #Constraints: 41119
1933.36/1939.18 c #Conflicts: 1165000 | #Constraints: 42119
1933.36/1939.18 c #Conflicts: 1166000 | #Constraints: 43119
1933.36/1939.18 c #Conflicts: 1167000 | #Constraints: 44119
1933.36/1939.18 c #Conflicts: 1168000 | #Constraints: 45119
1933.36/1939.18 c INPROCESSING
1933.36/1939.18 c GARBAGE COLLECT
1933.36/1939.18 c #Conflicts: 1169000 | #Constraints: 24735
1933.36/1939.18 c #Conflicts: 1170000 | #Constraints: 25735
1933.36/1939.18 c #Conflicts: 1171000 | #Constraints: 26735
1933.36/1939.18 c #Conflicts: 1172000 | #Constraints: 27735
1933.36/1939.18 c #Conflicts: 1173000 | #Constraints: 28735
1933.36/1939.18 c #Conflicts: 1174000 | #Constraints: 29735
1933.36/1939.18 c #Conflicts: 1175000 | #Constraints: 30735
1933.36/1939.18 c #Conflicts: 1176000 | #Constraints: 31735
1933.36/1939.18 c #Conflicts: 1177000 | #Constraints: 32735
1933.36/1939.18 c #Conflicts: 1178000 | #Constraints: 33735
1933.36/1939.18 c #Conflicts: 1179000 | #Constraints: 34735
1933.36/1939.18 c #Conflicts: 1180000 | #Constraints: 35735
1933.36/1939.18 c #Conflicts: 1181000 | #Constraints: 36735
1933.36/1939.18 c #Conflicts: 1182000 | #Constraints: 37735
1933.36/1939.18 c #Conflicts: 1183000 | #Constraints: 38735
1933.36/1939.18 c #Conflicts: 1184000 | #Constraints: 39735
1933.36/1939.18 c #Conflicts: 1185000 | #Constraints: 40735
1933.36/1939.18 c #Conflicts: 1186000 | #Constraints: 41735
1933.36/1939.18 c #Conflicts: 1187000 | #Constraints: 42735
1933.36/1939.18 c #Conflicts: 1188000 | #Constraints: 43735
1933.36/1939.18 c #Conflicts: 1189000 | #Constraints: 44735
1933.36/1939.18 c #Conflicts: 1190000 | #Constraints: 45735
1933.36/1939.18 c INPROCESSING
1933.36/1939.18 c GARBAGE COLLECT
1933.36/1939.18 c #Conflicts: 1191000 | #Constraints: 25128
1933.36/1939.18 c #Conflicts: 1192000 | #Constraints: 26128
1933.36/1939.18 c #Conflicts: 1193000 | #Constraints: 27128
1933.36/1939.18 c #Conflicts: 1194000 | #Constraints: 28128
1933.36/1939.18 c #Conflicts: 1195000 | #Constraints: 29128
1933.36/1939.18 c #Conflicts: 1196000 | #Constraints: 30128
1933.36/1939.18 c #Conflicts: 1197000 | #Constraints: 31128
2145.91/2152.30 c #Conflicts: 1198000 | #Constraints: 32128
2145.91/2152.30 c #Conflicts: 1199000 | #Constraints: 33128
2145.91/2152.30 c #Conflicts: 1200000 | #Constraints: 34128
2145.91/2152.30 c #Conflicts: 1201000 | #Constraints: 35128
2145.91/2152.30 c #Conflicts: 1202000 | #Constraints: 36128
2145.91/2152.30 c #Conflicts: 1203000 | #Constraints: 37128
2145.91/2152.30 c #Conflicts: 1204000 | #Constraints: 38128
2145.91/2152.30 c #Conflicts: 1205000 | #Constraints: 39128
2145.91/2152.30 c #Conflicts: 1206000 | #Constraints: 40128
2145.91/2152.30 c #Conflicts: 1207000 | #Constraints: 41128
2145.91/2152.30 c #Conflicts: 1208000 | #Constraints: 42128
2145.91/2152.30 c #Conflicts: 1209000 | #Constraints: 43128
2145.91/2152.30 c #Conflicts: 1210000 | #Constraints: 44128
2145.91/2152.30 c #Conflicts: 1211000 | #Constraints: 45128
2145.91/2152.30 c #Conflicts: 1212000 | #Constraints: 46128
2145.91/2152.30 c INPROCESSING
2145.91/2152.30 c GARBAGE COLLECT
2145.91/2152.30 c #Conflicts: 1213000 | #Constraints: 25332
2145.91/2152.30 c #Conflicts: 1214000 | #Constraints: 26332
2145.91/2152.30 c #Conflicts: 1215000 | #Constraints: 27332
2145.91/2152.30 c #Conflicts: 1216000 | #Constraints: 28332
2145.91/2152.30 c #Conflicts: 1217000 | #Constraints: 29332
2145.91/2152.30 c #Conflicts: 1218000 | #Constraints: 30332
2145.91/2152.30 c #Conflicts: 1219000 | #Constraints: 31332
2145.91/2152.30 c #Conflicts: 1220000 | #Constraints: 32332
2145.91/2152.30 c #Conflicts: 1221000 | #Constraints: 33332
2145.91/2152.30 c #Conflicts: 1222000 | #Constraints: 34332
2145.91/2152.30 c #Conflicts: 1223000 | #Constraints: 35332
2145.91/2152.30 c #Conflicts: 1224000 | #Constraints: 36332
2145.91/2152.30 c #Conflicts: 1225000 | #Constraints: 37332
2145.91/2152.30 c #Conflicts: 1226000 | #Constraints: 38332
2145.91/2152.30 c #Conflicts: 1227000 | #Constraints: 39332
2145.91/2152.30 c #Conflicts: 1228000 | #Constraints: 40332
2145.91/2152.30 c #Conflicts: 1229000 | #Constraints: 41332
2145.91/2152.30 c #Conflicts: 1230000 | #Constraints: 42332
2145.91/2152.30 c #Conflicts: 1231000 | #Constraints: 43332
2145.91/2152.30 c #Conflicts: 1232000 | #Constraints: 44332
2145.91/2152.30 c #Conflicts: 1233000 | #Constraints: 45332
2145.91/2152.30 c #Conflicts: 1234000 | #Constraints: 46332
2145.91/2152.30 c INPROCESSING
2145.91/2152.30 c GARBAGE COLLECT
2145.91/2152.30 c #Conflicts: 1235000 | #Constraints: 25334
2145.91/2152.30 c #Conflicts: 1236000 | #Constraints: 26334
2145.91/2152.30 c #Conflicts: 1237000 | #Constraints: 27334
2145.91/2152.30 c #Conflicts: 1238000 | #Constraints: 28334
2145.91/2152.30 c #Conflicts: 1239000 | #Constraints: 29334
2145.91/2152.30 c #Conflicts: 1240000 | #Constraints: 30334
2145.91/2152.30 c #Conflicts: 1241000 | #Constraints: 31334
2145.91/2152.30 c #Conflicts: 1242000 | #Constraints: 32334
2145.91/2152.30 c #Conflicts: 1243000 | #Constraints: 33334
2145.91/2152.30 c #Conflicts: 1244000 | #Constraints: 34334
2145.91/2152.30 c #Conflicts: 1245000 | #Constraints: 35334
2145.91/2152.30 c #Conflicts: 1246000 | #Constraints: 36334
2145.91/2152.30 c #Conflicts: 1247000 | #Constraints: 37334
2145.91/2152.30 c #Conflicts: 1248000 | #Constraints: 38334
2145.91/2152.30 c #Conflicts: 1249000 | #Constraints: 39334
2145.91/2152.30 c #Conflicts: 1250000 | #Constraints: 40334
2145.91/2152.30 c #Conflicts: 1251000 | #Constraints: 41334
2145.91/2152.30 c #Conflicts: 1252000 | #Constraints: 42334
2145.91/2152.30 c #Conflicts: 1253000 | #Constraints: 43334
2145.91/2152.30 c #Conflicts: 1254000 | #Constraints: 44334
2145.91/2152.30 c #Conflicts: 1255000 | #Constraints: 45334
2145.91/2152.30 c #Conflicts: 1256000 | #Constraints: 46334
2145.91/2152.30 c INPROCESSING
2145.91/2152.30 c GARBAGE COLLECT
2145.91/2152.30 c #Conflicts: 1257000 | #Constraints: 25120
2145.91/2152.30 c #Conflicts: 1258000 | #Constraints: 26120
2145.91/2152.30 c #Conflicts: 1259000 | #Constraints: 27120
2145.91/2152.30 c #Conflicts: 1260000 | #Constraints: 28120
2145.91/2152.30 c #Conflicts: 1261000 | #Constraints: 29120
2145.91/2152.30 c #Conflicts: 1262000 | #Constraints: 30120
2145.91/2152.30 c #Conflicts: 1263000 | #Constraints: 31120
2145.91/2152.30 c #Conflicts: 1264000 | #Constraints: 32120
2145.91/2152.30 c #Conflicts: 1265000 | #Constraints: 33120
2145.91/2152.30 c #Conflicts: 1266000 | #Constraints: 34120
2145.91/2152.30 c #Conflicts: 1267000 | #Constraints: 35120
2145.91/2152.30 c #Conflicts: 1268000 | #Constraints: 36120
2145.91/2152.30 c #Conflicts: 1269000 | #Constraints: 37120
2145.91/2152.30 c #Conflicts: 1270000 | #Constraints: 38120
2145.91/2152.30 c #Conflicts: 1271000 | #Constraints: 39120
2145.91/2152.30 c #Conflicts: 1272000 | #Constraints: 40120
2145.91/2152.30 c #Conflicts: 1273000 | #Constraints: 41120
2145.91/2152.30 c #Conflicts: 1274000 | #Constraints: 42120
2371.93/2379.02 c #Conflicts: 1275000 | #Constraints: 43120
2371.93/2379.02 c #Conflicts: 1276000 | #Constraints: 44120
2371.93/2379.02 c #Conflicts: 1277000 | #Constraints: 45120
2371.93/2379.02 c #Conflicts: 1278000 | #Constraints: 46120
2371.93/2379.02 c #Conflicts: 1279000 | #Constraints: 47120
2371.93/2379.02 c INPROCESSING
2371.93/2379.02 c GARBAGE COLLECT
2371.93/2379.02 c #Conflicts: 1280000 | #Constraints: 25730
2371.93/2379.02 c #Conflicts: 1281000 | #Constraints: 26730
2371.93/2379.02 c #Conflicts: 1282000 | #Constraints: 27730
2371.93/2379.02 c #Conflicts: 1283000 | #Constraints: 28730
2371.93/2379.02 c #Conflicts: 1284000 | #Constraints: 29730
2371.93/2379.02 c #Conflicts: 1285000 | #Constraints: 30730
2371.93/2379.02 c #Conflicts: 1286000 | #Constraints: 31730
2371.93/2379.02 c #Conflicts: 1287000 | #Constraints: 32730
2371.93/2379.02 c #Conflicts: 1288000 | #Constraints: 33730
2371.93/2379.02 c #Conflicts: 1289000 | #Constraints: 34730
2371.93/2379.02 c #Conflicts: 1290000 | #Constraints: 35730
2371.93/2379.02 c #Conflicts: 1291000 | #Constraints: 36730
2371.93/2379.02 c #Conflicts: 1292000 | #Constraints: 37730
2371.93/2379.02 c #Conflicts: 1293000 | #Constraints: 38730
2371.93/2379.02 c #Conflicts: 1294000 | #Constraints: 39730
2371.93/2379.02 c #Conflicts: 1295000 | #Constraints: 40730
2371.93/2379.02 c #Conflicts: 1296000 | #Constraints: 41730
2371.93/2379.02 c #Conflicts: 1297000 | #Constraints: 42730
2371.93/2379.02 c #Conflicts: 1298000 | #Constraints: 43730
2371.93/2379.02 c #Conflicts: 1299000 | #Constraints: 44730
2371.93/2379.02 c #Conflicts: 1300000 | #Constraints: 45730
2371.93/2379.02 c #Conflicts: 1301000 | #Constraints: 46730
2371.93/2379.02 c #Conflicts: 1302000 | #Constraints: 47730
2371.93/2379.02 c INPROCESSING
2371.93/2379.02 c GARBAGE COLLECT
2371.93/2379.02 c #Conflicts: 1303000 | #Constraints: 26125
2371.93/2379.02 c #Conflicts: 1304000 | #Constraints: 27125
2371.93/2379.02 c #Conflicts: 1305000 | #Constraints: 28125
2371.93/2379.02 c #Conflicts: 1306000 | #Constraints: 29125
2371.93/2379.02 c #Conflicts: 1307000 | #Constraints: 30125
2371.93/2379.02 c #Conflicts: 1308000 | #Constraints: 31125
2371.93/2379.02 c #Conflicts: 1309000 | #Constraints: 32125
2371.93/2379.02 c #Conflicts: 1310000 | #Constraints: 33125
2371.93/2379.02 c #Conflicts: 1311000 | #Constraints: 34125
2371.93/2379.02 c #Conflicts: 1312000 | #Constraints: 35125
2371.93/2379.02 c #Conflicts: 1313000 | #Constraints: 36125
2371.93/2379.02 c #Conflicts: 1314000 | #Constraints: 37125
2371.93/2379.02 c #Conflicts: 1315000 | #Constraints: 38125
2371.93/2379.02 c #Conflicts: 1316000 | #Constraints: 39125
2371.93/2379.02 c #Conflicts: 1317000 | #Constraints: 40125
2371.93/2379.02 c #Conflicts: 1318000 | #Constraints: 41125
2371.93/2379.02 c #Conflicts: 1319000 | #Constraints: 42125
2371.93/2379.02 c #Conflicts: 1320000 | #Constraints: 43125
2371.93/2379.02 c #Conflicts: 1321000 | #Constraints: 44125
2371.93/2379.02 c #Conflicts: 1322000 | #Constraints: 45125
2371.93/2379.02 c #Conflicts: 1323000 | #Constraints: 46125
2371.93/2379.02 c #Conflicts: 1324000 | #Constraints: 47125
2371.93/2379.02 c #Conflicts: 1325000 | #Constraints: 48125
2371.93/2379.02 c INPROCESSING
2371.93/2379.02 c GARBAGE COLLECT
2371.93/2379.02 c #Conflicts: 1326000 | #Constraints: 26321
2371.93/2379.02 c #Conflicts: 1327000 | #Constraints: 27321
2371.93/2379.02 c #Conflicts: 1328000 | #Constraints: 28321
2371.93/2379.02 c #Conflicts: 1329000 | #Constraints: 29321
2371.93/2379.02 c #Conflicts: 1330000 | #Constraints: 30321
2371.93/2379.02 c #Conflicts: 1331000 | #Constraints: 31321
2371.93/2379.02 c #Conflicts: 1332000 | #Constraints: 32321
2371.93/2379.02 c #Conflicts: 1333000 | #Constraints: 33321
2371.93/2379.02 c #Conflicts: 1334000 | #Constraints: 34321
2371.93/2379.02 c #Conflicts: 1335000 | #Constraints: 35321
2371.93/2379.02 c #Conflicts: 1336000 | #Constraints: 36321
2371.93/2379.02 c #Conflicts: 1337000 | #Constraints: 37321
2371.93/2379.02 c #Conflicts: 1338000 | #Constraints: 38321
2371.93/2379.02 c #Conflicts: 1339000 | #Constraints: 39321
2371.93/2379.02 c #Conflicts: 1340000 | #Constraints: 40321
2371.93/2379.02 c #Conflicts: 1341000 | #Constraints: 41321
2371.93/2379.02 c #Conflicts: 1342000 | #Constraints: 42321
2371.93/2379.02 c #Conflicts: 1343000 | #Constraints: 43321
2371.93/2379.02 c #Conflicts: 1344000 | #Constraints: 44321
2371.93/2379.02 c #Conflicts: 1345000 | #Constraints: 45321
2371.93/2379.02 c #Conflicts: 1346000 | #Constraints: 46321
2371.93/2379.02 c #Conflicts: 1347000 | #Constraints: 47321
2371.93/2379.02 c #Conflicts: 1348000 | #Constraints: 48321
2371.93/2379.02 c INPROCESSING
2371.93/2379.02 c GARBAGE COLLECT
2371.93/2379.02 c #Conflicts: 1349000 | #Constraints: 26328
2371.93/2379.02 c #Conflicts: 1350000 | #Constraints: 27328
2600.13/2607.92 c #Conflicts: 1351000 | #Constraints: 28328
2600.13/2607.92 c #Conflicts: 1352000 | #Constraints: 29328
2600.13/2607.92 c #Conflicts: 1353000 | #Constraints: 30328
2600.13/2607.92 c #Conflicts: 1354000 | #Constraints: 31328
2600.13/2607.92 c #Conflicts: 1355000 | #Constraints: 32328
2600.13/2607.92 c #Conflicts: 1356000 | #Constraints: 33328
2600.13/2607.92 c #Conflicts: 1357000 | #Constraints: 34328
2600.13/2607.92 c #Conflicts: 1358000 | #Constraints: 35328
2600.13/2607.92 c #Conflicts: 1359000 | #Constraints: 36328
2600.13/2607.92 c #Conflicts: 1360000 | #Constraints: 37328
2600.13/2607.92 c #Conflicts: 1361000 | #Constraints: 38328
2600.13/2607.92 c #Conflicts: 1362000 | #Constraints: 39328
2600.13/2607.92 c #Conflicts: 1363000 | #Constraints: 40328
2600.13/2607.92 c #Conflicts: 1364000 | #Constraints: 41328
2600.13/2607.92 c #Conflicts: 1365000 | #Constraints: 42328
2600.13/2607.92 c #Conflicts: 1366000 | #Constraints: 43328
2600.13/2607.92 c #Conflicts: 1367000 | #Constraints: 44328
2600.13/2607.92 c #Conflicts: 1368000 | #Constraints: 45328
2600.13/2607.92 c #Conflicts: 1369000 | #Constraints: 46328
2600.13/2607.92 c #Conflicts: 1370000 | #Constraints: 47328
2600.13/2607.92 c #Conflicts: 1371000 | #Constraints: 48328
2600.13/2607.92 c INPROCESSING
2600.13/2607.92 c GARBAGE COLLECT
2600.13/2607.92 c #Conflicts: 1372000 | #Constraints: 26117
2600.13/2607.92 c #Conflicts: 1373000 | #Constraints: 27117
2600.13/2607.92 c #Conflicts: 1374000 | #Constraints: 28117
2600.13/2607.92 c #Conflicts: 1375000 | #Constraints: 29117
2600.13/2607.92 c #Conflicts: 1376000 | #Constraints: 30117
2600.13/2607.92 c #Conflicts: 1377000 | #Constraints: 31117
2600.13/2607.92 c #Conflicts: 1378000 | #Constraints: 32117
2600.13/2607.92 c #Conflicts: 1379000 | #Constraints: 33117
2600.13/2607.92 c #Conflicts: 1380000 | #Constraints: 34117
2600.13/2607.92 c #Conflicts: 1381000 | #Constraints: 35117
2600.13/2607.92 c #Conflicts: 1382000 | #Constraints: 36117
2600.13/2607.92 c #Conflicts: 1383000 | #Constraints: 37117
2600.13/2607.92 c #Conflicts: 1384000 | #Constraints: 38117
2600.13/2607.92 c #Conflicts: 1385000 | #Constraints: 39117
2600.13/2607.92 c #Conflicts: 1386000 | #Constraints: 40117
2600.13/2607.92 c #Conflicts: 1387000 | #Constraints: 41117
2600.13/2607.92 c #Conflicts: 1388000 | #Constraints: 42117
2600.13/2607.92 c #Conflicts: 1389000 | #Constraints: 43117
2600.13/2607.92 c #Conflicts: 1390000 | #Constraints: 44117
2600.13/2607.92 c #Conflicts: 1391000 | #Constraints: 45117
2600.13/2607.92 c #Conflicts: 1392000 | #Constraints: 46117
2600.13/2607.92 c #Conflicts: 1393000 | #Constraints: 47117
2600.13/2607.92 c #Conflicts: 1394000 | #Constraints: 48117
2600.13/2607.92 c #Conflicts: 1395000 | #Constraints: 49117
2600.13/2607.92 c INPROCESSING
2600.13/2607.92 c GARBAGE COLLECT
2600.13/2607.92 c #Conflicts: 1396000 | #Constraints: 26720
2600.13/2607.92 c #Conflicts: 1397000 | #Constraints: 27720
2600.13/2607.92 c #Conflicts: 1398000 | #Constraints: 28720
2600.13/2607.92 c #Conflicts: 1399000 | #Constraints: 29720
2600.13/2607.92 c #Conflicts: 1400000 | #Constraints: 30720
2600.13/2607.92 c #Conflicts: 1401000 | #Constraints: 31720
2600.13/2607.92 c #Conflicts: 1402000 | #Constraints: 32720
2600.13/2607.92 c #Conflicts: 1403000 | #Constraints: 33720
2600.13/2607.92 c #Conflicts: 1404000 | #Constraints: 34720
2600.13/2607.92 c #Conflicts: 1405000 | #Constraints: 35720
2600.13/2607.92 c #Conflicts: 1406000 | #Constraints: 36720
2600.13/2607.92 c #Conflicts: 1407000 | #Constraints: 37720
2600.13/2607.92 c #Conflicts: 1408000 | #Constraints: 38720
2600.13/2607.92 c #Conflicts: 1409000 | #Constraints: 39720
2600.13/2607.92 c #Conflicts: 1410000 | #Constraints: 40720
2600.13/2607.92 c #Conflicts: 1411000 | #Constraints: 41720
2600.13/2607.92 c #Conflicts: 1412000 | #Constraints: 42720
2600.13/2607.92 c #Conflicts: 1413000 | #Constraints: 43720
2600.13/2607.92 c #Conflicts: 1414000 | #Constraints: 44720
2600.13/2607.92 c #Conflicts: 1415000 | #Constraints: 45720
2600.13/2607.92 c #Conflicts: 1416000 | #Constraints: 46720
2600.13/2607.92 c #Conflicts: 1417000 | #Constraints: 47720
2600.13/2607.92 c #Conflicts: 1418000 | #Constraints: 48720
2600.13/2607.92 c #Conflicts: 1419000 | #Constraints: 49720
2600.13/2607.92 c INPROCESSING
2600.13/2607.92 c GARBAGE COLLECT
2600.13/2607.92 c #Conflicts: 1420000 | #Constraints: 27130
2600.13/2607.92 c #Conflicts: 1421000 | #Constraints: 28130
2600.13/2607.92 c #Conflicts: 1422000 | #Constraints: 29130
2600.13/2607.92 c #Conflicts: 1423000 | #Constraints: 30130
2600.13/2607.92 c #Conflicts: 1424000 | #Constraints: 31130
2600.13/2607.92 c #Conflicts: 1425000 | #Constraints: 32130
2600.13/2607.92 c #Conflicts: 1426000 | #Constraints: 33130
2600.13/2607.92 c #Conflicts: 1427000 | #Constraints: 34130
2847.18/2855.70 c #Conflicts: 1428000 | #Constraints: 35130
2847.18/2855.70 c #Conflicts: 1429000 | #Constraints: 36130
2847.18/2855.70 c #Conflicts: 1430000 | #Constraints: 37130
2847.18/2855.70 c #Conflicts: 1431000 | #Constraints: 38130
2847.18/2855.70 c #Conflicts: 1432000 | #Constraints: 39130
2847.18/2855.70 c #Conflicts: 1433000 | #Constraints: 40130
2847.18/2855.70 c #Conflicts: 1434000 | #Constraints: 41130
2847.18/2855.70 c #Conflicts: 1435000 | #Constraints: 42130
2847.18/2855.70 c #Conflicts: 1436000 | #Constraints: 43130
2847.18/2855.70 c #Conflicts: 1437000 | #Constraints: 44130
2847.18/2855.70 c #Conflicts: 1438000 | #Constraints: 45130
2847.18/2855.70 c #Conflicts: 1439000 | #Constraints: 46130
2847.18/2855.70 c #Conflicts: 1440000 | #Constraints: 47130
2847.18/2855.70 c #Conflicts: 1441000 | #Constraints: 48130
2847.18/2855.70 c #Conflicts: 1442000 | #Constraints: 49130
2847.18/2855.70 c #Conflicts: 1443000 | #Constraints: 50130
2847.18/2855.70 c INPROCESSING
2847.18/2855.70 c GARBAGE COLLECT
2847.18/2855.70 c #Conflicts: 1444000 | #Constraints: 27333
2847.18/2855.70 c #Conflicts: 1445000 | #Constraints: 28333
2847.18/2855.70 c #Conflicts: 1446000 | #Constraints: 29333
2847.18/2855.70 c #Conflicts: 1447000 | #Constraints: 30333
2847.18/2855.70 c #Conflicts: 1448000 | #Constraints: 31333
2847.18/2855.70 c #Conflicts: 1449000 | #Constraints: 32333
2847.18/2855.70 c #Conflicts: 1450000 | #Constraints: 33333
2847.18/2855.70 c #Conflicts: 1451000 | #Constraints: 34333
2847.18/2855.70 c #Conflicts: 1452000 | #Constraints: 35333
2847.18/2855.70 c #Conflicts: 1453000 | #Constraints: 36333
2847.18/2855.70 c #Conflicts: 1454000 | #Constraints: 37333
2847.18/2855.70 c #Conflicts: 1455000 | #Constraints: 38333
2847.18/2855.70 c #Conflicts: 1456000 | #Constraints: 39333
2847.18/2855.70 c #Conflicts: 1457000 | #Constraints: 40333
2847.18/2855.70 c #Conflicts: 1458000 | #Constraints: 41333
2847.18/2855.70 c #Conflicts: 1459000 | #Constraints: 42333
2847.18/2855.70 c #Conflicts: 1460000 | #Constraints: 43333
2847.18/2855.70 c #Conflicts: 1461000 | #Constraints: 44333
2847.18/2855.70 c #Conflicts: 1462000 | #Constraints: 45333
2847.18/2855.70 c #Conflicts: 1463000 | #Constraints: 46333
2847.18/2855.70 c #Conflicts: 1464000 | #Constraints: 47333
2847.18/2855.70 c #Conflicts: 1465000 | #Constraints: 48333
2847.18/2855.70 c #Conflicts: 1466000 | #Constraints: 49333
2847.18/2855.70 c #Conflicts: 1467000 | #Constraints: 50333
2847.18/2855.70 c INPROCESSING
2847.18/2855.70 c GARBAGE COLLECT
2847.18/2855.70 c #Conflicts: 1468000 | #Constraints: 27325
2847.18/2855.70 c #Conflicts: 1469000 | #Constraints: 28325
2847.18/2855.70 c #Conflicts: 1470000 | #Constraints: 29325
2847.18/2855.70 c #Conflicts: 1471000 | #Constraints: 30325
2847.18/2855.70 c #Conflicts: 1472000 | #Constraints: 31325
2847.18/2855.70 c #Conflicts: 1473000 | #Constraints: 32325
2847.18/2855.70 c #Conflicts: 1474000 | #Constraints: 33325
2847.18/2855.70 c #Conflicts: 1475000 | #Constraints: 34325
2847.18/2855.70 c #Conflicts: 1476000 | #Constraints: 35325
2847.18/2855.70 c #Conflicts: 1477000 | #Constraints: 36325
2847.18/2855.70 c #Conflicts: 1478000 | #Constraints: 37325
2847.18/2855.70 c #Conflicts: 1479000 | #Constraints: 38325
2847.18/2855.70 c #Conflicts: 1480000 | #Constraints: 39325
2847.18/2855.70 c #Conflicts: 1481000 | #Constraints: 40325
2847.18/2855.70 c #Conflicts: 1482000 | #Constraints: 41325
2847.18/2855.70 c #Conflicts: 1483000 | #Constraints: 42325
2847.18/2855.70 c #Conflicts: 1484000 | #Constraints: 43325
2847.18/2855.70 c #Conflicts: 1485000 | #Constraints: 44325
2847.18/2855.70 c #Conflicts: 1486000 | #Constraints: 45325
2847.18/2855.70 c #Conflicts: 1487000 | #Constraints: 46325
2847.18/2855.70 c #Conflicts: 1488000 | #Constraints: 47325
2847.18/2855.70 c #Conflicts: 1489000 | #Constraints: 48325
2847.18/2855.70 c #Conflicts: 1490000 | #Constraints: 49325
2847.18/2855.70 c #Conflicts: 1491000 | #Constraints: 50325
2847.18/2855.70 c INPROCESSING
2847.18/2855.70 c GARBAGE COLLECT
2847.18/2855.70 c #Conflicts: 1492000 | #Constraints: 27134
2847.18/2855.70 c #Conflicts: 1493000 | #Constraints: 28134
2847.18/2855.70 c #Conflicts: 1494000 | #Constraints: 29134
2847.18/2855.70 c #Conflicts: 1495000 | #Constraints: 30134
2847.18/2855.70 c #Conflicts: 1496000 | #Constraints: 31134
2847.18/2855.70 c #Conflicts: 1497000 | #Constraints: 32134
2847.18/2855.70 c #Conflicts: 1498000 | #Constraints: 33134
2847.18/2855.70 c #Conflicts: 1499000 | #Constraints: 34134
2847.18/2855.70 c #Conflicts: 1500000 | #Constraints: 35134
2847.18/2855.70 c #Conflicts: 1501000 | #Constraints: 36134
2847.18/2855.70 c #Conflicts: 1502000 | #Constraints: 37134
2847.18/2855.70 c #Conflicts: 1503000 | #Constraints: 38134
2847.18/2855.70 c #Conflicts: 1504000 | #Constraints: 39134
3108.09/3117.45 c #Conflicts: 1505000 | #Constraints: 40134
3108.09/3117.45 c #Conflicts: 1506000 | #Constraints: 41134
3108.09/3117.45 c #Conflicts: 1507000 | #Constraints: 42134
3108.09/3117.45 c #Conflicts: 1508000 | #Constraints: 43134
3108.09/3117.45 c #Conflicts: 1509000 | #Constraints: 44134
3108.09/3117.45 c #Conflicts: 1510000 | #Constraints: 45134
3108.09/3117.45 c #Conflicts: 1511000 | #Constraints: 46134
3108.09/3117.45 c #Conflicts: 1512000 | #Constraints: 47134
3108.09/3117.45 c #Conflicts: 1513000 | #Constraints: 48134
3108.09/3117.45 c #Conflicts: 1514000 | #Constraints: 49134
3108.09/3117.45 c #Conflicts: 1515000 | #Constraints: 50134
3108.09/3117.45 c #Conflicts: 1516000 | #Constraints: 51134
3108.09/3117.45 c INPROCESSING
3108.09/3117.45 c GARBAGE COLLECT
3108.09/3117.45 c #Conflicts: 1517000 | #Constraints: 27727
3108.09/3117.45 c #Conflicts: 1518000 | #Constraints: 28727
3108.09/3117.45 c #Conflicts: 1519000 | #Constraints: 29727
3108.09/3117.45 c #Conflicts: 1520000 | #Constraints: 30727
3108.09/3117.45 c #Conflicts: 1521000 | #Constraints: 31727
3108.09/3117.45 c #Conflicts: 1522000 | #Constraints: 32727
3108.09/3117.45 c #Conflicts: 1523000 | #Constraints: 33727
3108.09/3117.45 c #Conflicts: 1524000 | #Constraints: 34727
3108.09/3117.45 c #Conflicts: 1525000 | #Constraints: 35727
3108.09/3117.45 c #Conflicts: 1526000 | #Constraints: 36727
3108.09/3117.45 c #Conflicts: 1527000 | #Constraints: 37727
3108.09/3117.45 c #Conflicts: 1528000 | #Constraints: 38727
3108.09/3117.45 c #Conflicts: 1529000 | #Constraints: 39727
3108.09/3117.45 c #Conflicts: 1530000 | #Constraints: 40727
3108.09/3117.45 c #Conflicts: 1531000 | #Constraints: 41727
3108.09/3117.45 c #Conflicts: 1532000 | #Constraints: 42727
3108.09/3117.45 c #Conflicts: 1533000 | #Constraints: 43727
3108.09/3117.45 c #Conflicts: 1534000 | #Constraints: 44727
3108.09/3117.45 c #Conflicts: 1535000 | #Constraints: 45727
3108.09/3117.45 c #Conflicts: 1536000 | #Constraints: 46727
3108.09/3117.45 c #Conflicts: 1537000 | #Constraints: 47727
3108.09/3117.45 c #Conflicts: 1538000 | #Constraints: 48727
3108.09/3117.45 c #Conflicts: 1539000 | #Constraints: 49727
3108.09/3117.45 c #Conflicts: 1540000 | #Constraints: 50727
3108.09/3117.45 c #Conflicts: 1541000 | #Constraints: 51727
3108.09/3117.45 c INPROCESSING
3108.09/3117.45 c GARBAGE COLLECT
3108.09/3117.45 c #Conflicts: 1542000 | #Constraints: 28124
3108.09/3117.45 c #Conflicts: 1543000 | #Constraints: 29124
3108.09/3117.45 c #Conflicts: 1544000 | #Constraints: 30124
3108.09/3117.45 c #Conflicts: 1545000 | #Constraints: 31124
3108.09/3117.45 c #Conflicts: 1546000 | #Constraints: 32124
3108.09/3117.45 c #Conflicts: 1547000 | #Constraints: 33124
3108.09/3117.45 c #Conflicts: 1548000 | #Constraints: 34124
3108.09/3117.45 c #Conflicts: 1549000 | #Constraints: 35124
3108.09/3117.45 c #Conflicts: 1550000 | #Constraints: 36124
3108.09/3117.45 c #Conflicts: 1551000 | #Constraints: 37124
3108.09/3117.45 c #Conflicts: 1552000 | #Constraints: 38124
3108.09/3117.45 c #Conflicts: 1553000 | #Constraints: 39124
3108.09/3117.45 c #Conflicts: 1554000 | #Constraints: 40124
3108.09/3117.45 c #Conflicts: 1555000 | #Constraints: 41124
3108.09/3117.45 c #Conflicts: 1556000 | #Constraints: 42124
3108.09/3117.45 c #Conflicts: 1557000 | #Constraints: 43124
3108.09/3117.45 c #Conflicts: 1558000 | #Constraints: 44124
3108.09/3117.45 c #Conflicts: 1559000 | #Constraints: 45124
3108.09/3117.45 c #Conflicts: 1560000 | #Constraints: 46124
3108.09/3117.45 c #Conflicts: 1561000 | #Constraints: 47124
3108.09/3117.45 c #Conflicts: 1562000 | #Constraints: 48124
3108.09/3117.45 c #Conflicts: 1563000 | #Constraints: 49124
3108.09/3117.45 c #Conflicts: 1564000 | #Constraints: 50124
3108.09/3117.45 c #Conflicts: 1565000 | #Constraints: 51124
3108.09/3117.45 c #Conflicts: 1566000 | #Constraints: 52124
3108.09/3117.45 c INPROCESSING
3108.09/3117.45 c GARBAGE COLLECT
3108.09/3117.45 c #Conflicts: 1567000 | #Constraints: 28315
3108.09/3117.45 c #Conflicts: 1568000 | #Constraints: 29315
3108.09/3117.45 c #Conflicts: 1569000 | #Constraints: 30315
3108.09/3117.45 c #Conflicts: 1570000 | #Constraints: 31315
3108.09/3117.45 c #Conflicts: 1571000 | #Constraints: 32315
3108.09/3117.45 c #Conflicts: 1572000 | #Constraints: 33315
3108.09/3117.45 c #Conflicts: 1573000 | #Constraints: 34315
3108.09/3117.45 c #Conflicts: 1574000 | #Constraints: 35315
3108.09/3117.45 c #Conflicts: 1575000 | #Constraints: 36315
3108.09/3117.45 c #Conflicts: 1576000 | #Constraints: 37315
3108.09/3117.45 c #Conflicts: 1577000 | #Constraints: 38315
3108.09/3117.45 c #Conflicts: 1578000 | #Constraints: 39315
3108.09/3117.45 c #Conflicts: 1579000 | #Constraints: 40315
3108.09/3117.45 c #Conflicts: 1580000 | #Constraints: 41315
3108.09/3117.45 c #Conflicts: 1581000 | #Constraints: 42315
3385.15/3395.34 c #Conflicts: 1582000 | #Constraints: 43315
3385.15/3395.34 c #Conflicts: 1583000 | #Constraints: 44315
3385.15/3395.34 c #Conflicts: 1584000 | #Constraints: 45315
3385.15/3395.34 c #Conflicts: 1585000 | #Constraints: 46315
3385.15/3395.34 c #Conflicts: 1586000 | #Constraints: 47315
3385.15/3395.34 c #Conflicts: 1587000 | #Constraints: 48315
3385.15/3395.34 c #Conflicts: 1588000 | #Constraints: 49315
3385.15/3395.34 c #Conflicts: 1589000 | #Constraints: 50315
3385.15/3395.34 c #Conflicts: 1590000 | #Constraints: 51315
3385.15/3395.34 c #Conflicts: 1591000 | #Constraints: 52315
3385.15/3395.34 c INPROCESSING
3385.15/3395.34 c GARBAGE COLLECT
3385.15/3395.34 c #Conflicts: 1592000 | #Constraints: 28316
3385.15/3395.34 c #Conflicts: 1593000 | #Constraints: 29316
3385.15/3395.34 c #Conflicts: 1594000 | #Constraints: 30316
3385.15/3395.34 c #Conflicts: 1595000 | #Constraints: 31316
3385.15/3395.34 c #Conflicts: 1596000 | #Constraints: 32316
3385.15/3395.34 c #Conflicts: 1597000 | #Constraints: 33316
3385.15/3395.34 c #Conflicts: 1598000 | #Constraints: 34316
3385.15/3395.34 c #Conflicts: 1599000 | #Constraints: 35316
3385.15/3395.34 c #Conflicts: 1600000 | #Constraints: 36316
3385.15/3395.34 c #Conflicts: 1601000 | #Constraints: 37316
3385.15/3395.34 c #Conflicts: 1602000 | #Constraints: 38316
3385.15/3395.34 c #Conflicts: 1603000 | #Constraints: 39316
3385.15/3395.34 c #Conflicts: 1604000 | #Constraints: 40316
3385.15/3395.34 c #Conflicts: 1605000 | #Constraints: 41316
3385.15/3395.34 c #Conflicts: 1606000 | #Constraints: 42316
3385.15/3395.34 c #Conflicts: 1607000 | #Constraints: 43316
3385.15/3395.34 c #Conflicts: 1608000 | #Constraints: 44316
3385.15/3395.34 c #Conflicts: 1609000 | #Constraints: 45316
3385.15/3395.34 c #Conflicts: 1610000 | #Constraints: 46316
3385.15/3395.34 c #Conflicts: 1611000 | #Constraints: 47316
3385.15/3395.34 c #Conflicts: 1612000 | #Constraints: 48316
3385.15/3395.34 c #Conflicts: 1613000 | #Constraints: 49316
3385.15/3395.34 c #Conflicts: 1614000 | #Constraints: 50316
3385.15/3395.34 c #Conflicts: 1615000 | #Constraints: 51316
3385.15/3395.34 c #Conflicts: 1616000 | #Constraints: 52316
3385.15/3395.34 c INPROCESSING
3385.15/3395.34 c GARBAGE COLLECT
3385.15/3395.34 c #Conflicts: 1617000 | #Constraints: 28124
3385.15/3395.34 c #Conflicts: 1618000 | #Constraints: 29124
3385.15/3395.34 c #Conflicts: 1619000 | #Constraints: 30124
3385.15/3395.34 c #Conflicts: 1620000 | #Constraints: 31124
3385.15/3395.34 c #Conflicts: 1621000 | #Constraints: 32124
3385.15/3395.34 c #Conflicts: 1622000 | #Constraints: 33124
3385.15/3395.34 c #Conflicts: 1623000 | #Constraints: 34124
3385.15/3395.34 c #Conflicts: 1624000 | #Constraints: 35124
3385.15/3395.34 c #Conflicts: 1625000 | #Constraints: 36124
3385.15/3395.34 c #Conflicts: 1626000 | #Constraints: 37124
3385.15/3395.34 c #Conflicts: 1627000 | #Constraints: 38124
3385.15/3395.34 c #Conflicts: 1628000 | #Constraints: 39124
3385.15/3395.34 c #Conflicts: 1629000 | #Constraints: 40124
3385.15/3395.34 c #Conflicts: 1630000 | #Constraints: 41124
3385.15/3395.34 c #Conflicts: 1631000 | #Constraints: 42124
3385.15/3395.34 c #Conflicts: 1632000 | #Constraints: 43124
3385.15/3395.34 c #Conflicts: 1633000 | #Constraints: 44124
3385.15/3395.34 c #Conflicts: 1634000 | #Constraints: 45124
3385.15/3395.34 c #Conflicts: 1635000 | #Constraints: 46124
3385.15/3395.34 c #Conflicts: 1636000 | #Constraints: 47124
3385.15/3395.34 c #Conflicts: 1637000 | #Constraints: 48124
3385.15/3395.34 c #Conflicts: 1638000 | #Constraints: 49124
3385.15/3395.34 c #Conflicts: 1639000 | #Constraints: 50124
3385.15/3395.34 c #Conflicts: 1640000 | #Constraints: 51124
3385.15/3395.34 c #Conflicts: 1641000 | #Constraints: 52124
3385.15/3395.34 c #Conflicts: 1642000 | #Constraints: 53124
3385.15/3395.34 c INPROCESSING
3385.15/3395.34 c GARBAGE COLLECT
3385.15/3395.34 c #Conflicts: 1643000 | #Constraints: 28725
3385.15/3395.34 c #Conflicts: 1644000 | #Constraints: 29725
3385.15/3395.34 c #Conflicts: 1645000 | #Constraints: 30725
3385.15/3395.34 c #Conflicts: 1646000 | #Constraints: 31725
3385.15/3395.34 c #Conflicts: 1647000 | #Constraints: 32725
3385.15/3395.34 c #Conflicts: 1648000 | #Constraints: 33725
3385.15/3395.34 c #Conflicts: 1649000 | #Constraints: 34725
3385.15/3395.34 c #Conflicts: 1650000 | #Constraints: 35725
3385.15/3395.34 c #Conflicts: 1651000 | #Constraints: 36725
3385.15/3395.34 c #Conflicts: 1652000 | #Constraints: 37725
3385.15/3395.34 c #Conflicts: 1653000 | #Constraints: 38725
3385.15/3395.34 c #Conflicts: 1654000 | #Constraints: 39725
3385.15/3395.34 c #Conflicts: 1655000 | #Constraints: 40725
3385.15/3395.34 c #Conflicts: 1656000 | #Constraints: 41725
3385.15/3395.34 c #Conflicts: 1657000 | #Constraints: 42725
3385.15/3395.34 c #Conflicts: 1658000 | #Constraints: 43725
3600.00/3610.80 c #Conflicts: 1659000 | #Constraints: 44725
3600.00/3610.80 c #Conflicts: 1660000 | #Constraints: 45725
3600.00/3610.80 c #Conflicts: 1661000 | #Constraints: 46725
3600.00/3610.80 c #Conflicts: 1662000 | #Constraints: 47725
3600.00/3610.80 c #Conflicts: 1663000 | #Constraints: 48725
3600.00/3610.80 c #Conflicts: 1664000 | #Constraints: 49725
3600.00/3610.80 c #Conflicts: 1665000 | #Constraints: 50725
3600.00/3610.80 c #Conflicts: 1666000 | #Constraints: 51725
3600.00/3610.80 c #Conflicts: 1667000 | #Constraints: 52725
3600.00/3610.80 c #Conflicts: 1668000 | #Constraints: 53725
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 1669000 | #Constraints: 29121
3600.00/3610.80 c #Conflicts: 1670000 | #Constraints: 30121
3600.00/3610.80 c #Conflicts: 1671000 | #Constraints: 31121
3600.00/3610.80 c #Conflicts: 1672000 | #Constraints: 32121
3600.00/3610.80 c #Conflicts: 1673000 | #Constraints: 33121
3600.00/3610.80 c #Conflicts: 1674000 | #Constraints: 34121
3600.00/3610.80 c #Conflicts: 1675000 | #Constraints: 35121
3600.00/3610.80 c #Conflicts: 1676000 | #Constraints: 36121
3600.00/3610.80 c #Conflicts: 1677000 | #Constraints: 37121
3600.00/3610.80 c #Conflicts: 1678000 | #Constraints: 38121
3600.00/3610.80 c #Conflicts: 1679000 | #Constraints: 39121
3600.00/3610.80 c #Conflicts: 1680000 | #Constraints: 40121
3600.00/3610.80 c #Conflicts: 1681000 | #Constraints: 41121
3600.00/3610.80 c #Conflicts: 1682000 | #Constraints: 42121
3600.00/3610.80 c #Conflicts: 1683000 | #Constraints: 43121
3600.00/3610.80 c #Conflicts: 1684000 | #Constraints: 44121
3600.00/3610.80 c #Conflicts: 1685000 | #Constraints: 45121
3600.00/3610.80 c #Conflicts: 1686000 | #Constraints: 46121
3600.00/3610.80 c #Conflicts: 1687000 | #Constraints: 47121
3600.00/3610.80 c #Conflicts: 1688000 | #Constraints: 48121
3600.00/3610.80 c #Conflicts: 1689000 | #Constraints: 49121
3600.00/3610.80 c #Conflicts: 1690000 | #Constraints: 50121
3600.00/3610.80 c #Conflicts: 1691000 | #Constraints: 51121
3600.00/3610.80 c #Conflicts: 1692000 | #Constraints: 52121
3600.00/3610.80 c #Conflicts: 1693000 | #Constraints: 53121
3600.00/3610.80 c #Conflicts: 1694000 | #Constraints: 54121
3600.00/3610.80 c INPROCESSING
3600.00/3610.80 c GARBAGE COLLECT
3600.00/3610.80 c #Conflicts: 1695000 | #Constraints: 29343
3600.00/3610.80 c #Conflicts: 1696000 | #Constraints: 30343
3600.00/3610.80 c #Conflicts: 1697000 | #Constraints: 31343
3600.00/3610.80 c #Conflicts: 1698000 | #Constraints: 32343
3600.00/3610.80 c #Conflicts: 1699000 | #Constraints: 33343
3600.00/3610.80 c #Conflicts: 1700000 | #Constraints: 34343
3600.00/3610.80 c #Conflicts: 1701000 | #Constraints: 35343
3600.00/3610.80 c #Conflicts: 1702000 | #Constraints: 36343
3600.00/3610.80 c #Conflicts: 1703000 | #Constraints: 37343
3600.00/3610.80 c #Conflicts: 1704000 | #Constraints: 38343
3600.00/3610.80 c #Conflicts: 1705000 | #Constraints: 39343
3600.00/3610.80 c #Conflicts: 1706000 | #Constraints: 40343
3600.00/3610.80 c #Conflicts: 1707000 | #Constraints: 41343
3600.00/3610.80 c #Conflicts: 1708000 | #Constraints: 42343
3600.00/3610.80 c #Conflicts: 1709000 | #Constraints: 43343
3600.00/3610.80 c #Conflicts: 1710000 | #Constraints: 44343
3600.00/3610.80 c #Conflicts: 1711000 | #Constraints: 45343
3600.00/3610.80 c #Conflicts: 1712000 | #Constraints: 46343
3600.00/3610.80 c #Conflicts: 1713000 | #Constraints: 47343
3600.00/3610.80 c #Conflicts: 1714000 | #Constraints: 48343
3600.00/3610.80 c #Conflicts: 1715000 | #Constraints: 49343
3600.00/3610.80 c #Conflicts: 1716000 | #Constraints: 50343
3600.00/3610.80 c #Conflicts: 1717000 | #Constraints: 51343
3600.00/3610.80 c #Conflicts: 1718000 | #Constraints: 52343
3600.00/3610.80 c Program interrupted by user.
3600.00/3610.80 c cpu time 3582.95 s
3600.00/3610.80 c deterministic time 387633282745 3.88e+11
3600.00/3610.80 c optimization time 81.8276 s
3600.00/3610.80 c total solve time 3501.1 s
3600.00/3610.80 c core-guided solve time 3501.1 s
3600.00/3610.80 c propagation time 3368.14 s
3600.00/3610.80 c conflict analysis time 191.062 s
3600.00/3610.80 c propagations 457414685
3600.00/3610.80 c resolve steps 7995260
3600.00/3610.80 c decisions 7688607
3600.00/3610.80 c conflicts 1718498
3600.00/3610.80 c restarts 3321
3600.00/3610.80 c inprocessing phases 121
3600.00/3610.80 c input clauses 1
3600.00/3610.80 c input cardinalities 0
3600.00/3610.80 c input general constraints 2430
3600.00/3610.80 c input average constraint length 25.44
3600.00/3610.80 c input average constraint degree 234.24
3600.00/3610.80 c learned clauses 490536
3600.00/3610.80 c learned cardinalities 3
3600.00/3610.80 c learned general constraints 1227959
3600.00/3610.80 c learned average constraint length 35.87
3600.00/3610.80 c learned average constraint degree 792723.44
3600.00/3610.80 c watched constraints 1227961
3600.00/3610.80 c counting constraints 2428
3600.00/3610.80 c gcd simplifications 9999
3600.00/3610.80 c detected cardinalities 3
3600.00/3610.80 c weakened non-implied lits 5113436
3600.00/3610.80 c weakened non-implying lits 2695
3600.00/3610.80 c original variables 1288
3600.00/3610.80 c clausal propagations 1442753
3600.00/3610.80 c cardinality propagations 8
3600.00/3610.80 c watched propagations 443075627
3600.00/3610.80 c counting propagations 11993487
3600.00/3610.80 c watch lookups 85561691620
3600.00/3610.80 c watch backjump lookups 82842604578
3600.00/3610.80 c watch checks 103940919419
3600.00/3610.80 c propagation checks 114108790459
3600.00/3610.80 c constraint additions 247352442
3600.00/3610.80 c trail pops 466820934
3600.00/3610.80 c formula constraints 2431
3600.00/3610.80 c learned constraints 1718498
3600.00/3610.80 c bound constraints 0
3600.00/3610.80 c core-guided constraints 0
3600.00/3610.80 c encountered formula constraints 6539177
3600.00/3610.80 c encountered learned constraints 3174581
3600.00/3610.80 c encountered bound constraints 0
3600.00/3610.80 c encountered core-guided constraints 0
3600.00/3610.80 c LP total time 0 s
3600.00/3610.80 c LP solve time 0 s
3600.00/3610.80 c LP constraints added 0
3600.00/3610.80 c LP constraints removed 0
3600.00/3610.80 c LP pivots internal 0
3600.00/3610.80 c LP pivots root 0
3600.00/3610.80 c LP calls 0
3600.00/3610.80 c LP optimalities 0
3600.00/3610.80 c LP no pivot count 0
3600.00/3610.80 c LP infeasibilities 0
3600.00/3610.80 c LP valid Farkas constraints 0
3600.00/3610.80 c LP learned Farkas constraints 0
3600.00/3610.80 c LP basis resets 0
3600.00/3610.80 c LP cycling count 0
3600.00/3610.80 c LP singular count 0
3600.00/3610.80 c LP no primal count 0
3600.00/3610.80 c LP no farkas count 0
3600.00/3610.80 c LP other issue count 0
3600.00/3610.80 c LP Gomory cuts 0
3600.00/3610.80 c LP learned cuts 0
3600.00/3610.80 c LP deleted cuts 0
3600.00/3610.80 c LP encountered Gomory constraints 0
3600.00/3610.80 c LP encountered Farkas constraints 0
3600.00/3610.80 c LP encountered learned Farkas constraints 0
3600.00/3610.80 c CG auxiliary variables introduced 0
3600.00/3610.80 c CG solutions found 0
3600.00/3610.80 c CG cores constructed 0
3600.00/3610.80 c CG core cardinality constraints returned 0
3600.00/3610.80 c CG unit cores 0
3600.00/3610.80 c CG single cores 0
3600.00/3610.80 c CG blocks removed during cardinality reduction 0
3600.00/3610.80 c CG first core best 0
3600.00/3610.80 c CG decision core best 0
3600.00/3610.80 c CG core reduction tie 0
3600.00/3610.80 c CG core degree average 0.00
3600.00/3610.80 c CG core slack average 0.00
3600.00/3610.80 c CG exhausted 0
3600.00/3610.80 c CG exhaust time 0 s
3600.00/3610.80 c CG trimmed 0
3600.00/3610.80 c CG trim time 0 s
3600.00/3610.80 c CG minimized 0
3600.00/3610.80 c CG minimize time 0 s
3600.00/3610.80 c CG am1 prop time 4.2e-05 s
3600.00/3610.80 c CG # am1s reformulated 0
3600.00/3610.80 c CG lower bound derived from am1s 0
3600.00/3610.80 c CG # clausal cores 0
3600.00/3610.80 c CG # cardinality cores 0
3600.00/3610.80 c CG # pb cores 0
3600.00/3610.80 c CG # pb reforms 0
3600.00/3610.80 c CG # cores discarded because of pb reform 0
3600.00/3610.80 d LOWERBOUND 0
3600.00/3610.80 d NCORES 0
3600.00/3610.80 d NPBCORES 0
3600.00/3610.80 d NPBREFORM 0
3600.00/3610.80 d NTRIMMED 0
3600.00/3610.80 d NEXHAUSTED 0
3600.00/3610.80 d NAM1S 0
3600.00/3610.80 d AM1LB 0
3600.00/3610.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61798 MiB free)
memory of node 1: 64510 MiB (62216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435881-1721106245/watcher-4435881-1721106245 -o /tmp/evaluation-result-4435881-1721106245/solver-4435881-1721106245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829786 --watchdog 3760 pb-oll-rs HOME/instance-4435881-1721106245.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=832428, runsolver pid=832425
[startup+0.1001 s]*
/proc/loadavg: 4.18 4.12 4.10 5/242 832429
/proc/meminfo: memFree=126989144/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=39924 memory=7644 CPUtime=0.11 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 714 0 0 0 10 1 0 0 20 0 1 0 162780587 40882176 1911 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 9981 1911 1373 291 0 1515 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 39924 KiB
Current children cumulated memory: 7644 KiB
[startup+0.212399 s]*
/proc/loadavg: 4.18 4.12 4.10 5/242 832429
/proc/meminfo: memFree=126988640/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=40060 memory=7908 CPUtime=0.21 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 787 0 0 0 20 1 0 0 20 0 1 0 162780587 41021440 1977 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10015 1977 1373 291 0 1549 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40060 KiB
Current children cumulated memory: 7908 KiB
[startup+0.312546 s]*
/proc/loadavg: 4.18 4.12 4.10 5/242 832429
/proc/meminfo: memFree=126988164/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=40196 memory=8172 CPUtime=0.31 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 831 0 0 0 30 1 0 0 20 0 1 0 162780587 41160704 2043 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10049 2043 1373 291 0 1583 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40196 KiB
Current children cumulated memory: 8172 KiB
[startup+0.700292 s]
/proc/loadavg: 4.18 4.12 4.10 5/242 832429
/proc/meminfo: memFree=126988024/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=40300 memory=8572 CPUtime=0.69 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 929 0 0 0 66 3 0 0 20 0 1 0 162780587 41267200 2143 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10075 2143 1373 291 0 1609 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40300 KiB
Current children cumulated memory: 8572 KiB
[startup+1.50028 s]
/proc/loadavg: 4.18 4.12 4.10 5/242 832429
/proc/meminfo: memFree=126987608/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=40684 memory=9424 CPUtime=1.49 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 1082 0 0 0 144 5 0 0 20 0 1 0 162780587 41660416 2356 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10171 2356 1433 291 0 1705 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40684 KiB
Current children cumulated memory: 9424 KiB
[startup+3.11242 s]
/proc/loadavg: 4.18 4.12 4.10 5/242 832429
/proc/meminfo: memFree=126984448/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=40972 memory=11724 CPUtime=3.09 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 1172 0 0 0 301 8 0 0 20 0 1 0 162780587 41955328 2931 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10243 2931 1433 291 0 1777 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40972 KiB
Current children cumulated memory: 11724 KiB
[startup+6.30027 s]
/proc/loadavg: 4.16 4.12 4.10 5/242 832429
/proc/meminfo: memFree=126983328/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=41380 memory=12304 CPUtime=6.28 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 1300 0 0 0 613 15 0 0 20 0 1 0 162780587 42373120 3076 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10345 3076 1433 291 0 1879 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 12304 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.14 4.10 5/242 832430
/proc/meminfo: memFree=126832472/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=41976 memory=12828 CPUtime=12.66 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 1483 0 0 0 1240 26 0 0 20 0 1 0 162780587 42983424 3207 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10494 3207 1433 291 0 2028 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41976 KiB
Current children cumulated memory: 12828 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.13 4.10 5/243 832433
/proc/meminfo: memFree=126383084/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=42840 memory=13652 CPUtime=25.42 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 1733 0 0 0 2500 42 0 0 20 0 1 0 162780587 43868160 3413 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10710 3413 1433 291 0 2244 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42840 KiB
Current children cumulated memory: 13652 KiB
[startup+51.1126 s]
/proc/loadavg: 4.12 4.12 4.09 5/243 832438
/proc/meminfo: memFree=126197464/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=43544 memory=15040 CPUtime=50.96 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 2185 0 0 0 5028 68 0 0 20 0 1 0 162780587 44589056 3760 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 10886 3760 1433 291 0 2420 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 43544 KiB
Current children cumulated memory: 15040 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/242 832448
/proc/meminfo: memFree=125928408/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=47620 memory=18604 CPUtime=102 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 2747 0 0 0 10084 116 0 0 20 0 1 0 162780587 48762880 4651 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 11905 4651 1433 291 0 3439 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 47620 KiB
Current children cumulated memory: 18604 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/242 832458
/proc/meminfo: memFree=125626396/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=48616 memory=19580 CPUtime=161.84 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 3193 0 0 0 16018 166 0 0 20 0 1 0 162780587 49782784 4895 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 12154 4895 1433 291 0 3688 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 48616 KiB
Current children cumulated memory: 19580 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.09 4.09 6/242 832468
/proc/meminfo: memFree=125476360/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=49328 memory=20348 CPUtime=221.65 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 3529 0 0 0 21957 208 0 0 20 0 1 0 162780587 50511872 5087 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 12332 5087 1433 291 0 3866 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 49328 KiB
Current children cumulated memory: 20348 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/242 832478
/proc/meminfo: memFree=125337200/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=54268 memory=21504 CPUtime=281.48 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 3962 0 0 0 27899 249 0 0 20 0 1 0 162780587 55570432 5376 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 13567 5376 1433 291 0 5101 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 54268 KiB
Current children cumulated memory: 21504 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 832489
/proc/meminfo: memFree=125281580/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=54680 memory=22404 CPUtime=341.3 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 4308 0 0 0 33838 292 0 0 20 0 1 0 162780587 55992320 5601 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 13670 5601 1433 291 0 5204 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 54680 KiB
Current children cumulated memory: 22404 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/244 832504
/proc/meminfo: memFree=125097156/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=55112 memory=25020 CPUtime=401.13 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 4544 0 0 0 39781 332 0 0 20 0 1 0 162780587 56434688 6255 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 13778 6255 1433 291 0 5312 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 55112 KiB
Current children cumulated memory: 25020 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/244 832514
/proc/meminfo: memFree=124883968/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=55512 memory=25424 CPUtime=460.95 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 4732 0 0 0 45728 367 0 0 20 0 1 0 162780587 56844288 6356 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
################
# More data... #
################
Current children cumulated memory: 37036 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/244 833562
/proc/meminfo: memFree=122547764/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69076 memory=37044 CPUtime=2853.76 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 10341 0 0 0 283919 1457 0 0 20 0 1 0 162780587 70733824 9261 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17269 9261 1433 291 0 8803 0
Current children cumulated CPU time: 2853.76 s
Current children cumulated vsize: 69076 KiB
Current children cumulated memory: 37044 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/244 833573
/proc/meminfo: memFree=122546644/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69076 memory=37072 CPUtime=2913.58 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 10484 0 0 0 289881 1477 0 0 20 0 1 0 162780587 70733824 9268 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17269 9268 1433 291 0 8803 0
Current children cumulated CPU time: 2913.58 s
Current children cumulated vsize: 69076 KiB
Current children cumulated memory: 37072 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/246 833587
/proc/meminfo: memFree=122546248/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69076 memory=37072 CPUtime=2973.4 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 10490 0 0 0 295842 1498 0 0 20 0 1 0 162780587 70733824 9268 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17269 9268 1433 291 0 8803 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 69076 KiB
Current children cumulated memory: 37072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/246 833598
/proc/meminfo: memFree=122545980/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69204 memory=37220 CPUtime=3033.23 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 10661 0 0 0 301803 1520 0 0 20 0 1 0 162780587 70864896 9305 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17301 9305 1433 291 0 8835 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 69204 KiB
Current children cumulated memory: 37220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 833993
/proc/meminfo: memFree=122545272/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69332 memory=37368 CPUtime=3093.04 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 10833 0 0 0 307763 1541 0 0 20 0 1 0 162780587 70995968 9342 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17333 9342 1433 291 0 8867 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 69332 KiB
Current children cumulated memory: 37368 KiB
[startup+3162.3 s]
/proc/loadavg: 4.32 4.21 4.19 5/244 834003
/proc/meminfo: memFree=122544548/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69588 memory=37524 CPUtime=3152.86 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11011 0 0 0 313726 1560 0 0 20 0 1 0 162780587 71258112 9381 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17397 9381 1433 291 0 8931 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 37524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/244 834013
/proc/meminfo: memFree=122544192/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69588 memory=37524 CPUtime=3212.68 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11013 0 0 0 319688 1580 0 0 20 0 1 0 162780587 71258112 9381 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17397 9381 1433 291 0 8931 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 37524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/244 834193
/proc/meminfo: memFree=122543444/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69588 memory=37544 CPUtime=3272.5 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11154 0 0 0 325650 1600 0 0 20 0 1 0 162780587 71258112 9386 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17397 9386 1433 291 0 8931 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 37544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/244 834204
/proc/meminfo: memFree=122531016/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69588 memory=37544 CPUtime=3332.31 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11160 0 0 0 331614 1617 0 0 20 0 1 0 162780587 71258112 9386 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17397 9386 1433 291 0 8931 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 37544 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/243 834216
/proc/meminfo: memFree=122524452/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69588 memory=37552 CPUtime=3392.13 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11298 0 0 0 337574 1639 0 0 20 0 1 0 162780587 71258112 9388 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17397 9388 1433 291 0 8931 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 37552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/243 834237
/proc/meminfo: memFree=122524108/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69588 memory=37556 CPUtime=3451.95 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11436 0 0 0 343535 1660 0 0 20 0 1 0 162780587 71258112 9389 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17397 9389 1433 291 0 8931 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 37556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.17 6/243 834294
/proc/meminfo: memFree=127797740/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69588 memory=37556 CPUtime=3511.77 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11443 0 0 0 349499 1678 0 0 20 0 1 0 162780587 71258112 9389 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17397 9389 1433 291 0 8931 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 37556 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.16 6/243 834396
/proc/meminfo: memFree=128723304/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69844 memory=38768 CPUtime=3571.58 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11642 0 0 0 355459 1699 0 0 20 0 1 0 162780587 71520256 9692 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17461 9692 1433 291 0 8995 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 69844 KiB
Current children cumulated memory: 38768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.22 4.17 4.17 6/243 834400
/proc/meminfo: memFree=128685724/131655788 swapFree=131071996/131071996
[pid=832428] ppid=832425 vsize=69844 memory=38768 CPUtime=3600 cores=1,3
/proc/832428/stat : 832428 (pb-oll-rs) R 832425 832428 829774 0 -1 4194304 11647 0 0 0 358294 1706 0 0 20 0 1 0 162780587 71520256 9692 134679101440 4194304 5384005 140728328703776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27287552 140728328709143 140728328709220 140728328709220 140728328716235 0
/proc/832428/statm: 17461 9692 1433 291 0 8995 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 69844 KiB
Current children cumulated memory: 38768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 832428 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.95 s, system=17.0689 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.8
CPU time (s): 3600.01
CPU user time (s): 3582.95
CPU system time (s): 17.0689
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 69844
Max. memory (cumulated for all children) (KiB): 38768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.95
system time used= 17.0689
maximum resident set size= 38768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11664
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= 17
involuntary context switches= 1759
# summary of solver processes directly reported to runsolver:
# pid: 832428
# total CPU time (s): 3600.01
# total CPU user time (s): 3582.95
# total CPU system time (s): 17.0689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.385 second user time and 28.498 second system time
The end
Begin job on nodeC003 at 2024-07-16 07:04:17
IDJOB=4435881
IDBENCH=147695
IDSOLVER=3067
FILE ID=nodeC003/4435881-1721106245
RUNJOBID= nodeC003-1721102552-829786
SLURM_JOB_ID= 7505615
Free space on /tmp= 723772 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435881-1721106245/watcher-4435881-1721106245 -o /tmp/evaluation-result-4435881-1721106245/solver-4435881-1721106245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829786 --watchdog 3760 pb-oll-rs HOME/instance-4435881-1721106245.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=1155151979
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 0xb00001f
cpu MHz : 3670.969
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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 : 0xb00001f
cpu MHz : 3491.895
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 0xb00001f
cpu MHz : 1197.423
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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 : 0xb00001f
cpu MHz : 1197.218
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 0xb00001f
cpu MHz : 3632.851
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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 : 0xb00001f
cpu MHz : 3640.547
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
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 : 0xb00001f
cpu MHz : 1197.457
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
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 : 0xb00001f
cpu MHz : 1197.311
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126991768 kB
MemAvailable: 127972584 kB
Buffers: 405160 kB
Cached: 1409680 kB
SwapCached: 0 kB
Active: 628504 kB
Inactive: 3491332 kB
Active(anon): 1452 kB
Inactive(anon): 2341232 kB
Active(file): 627052 kB
Inactive(file): 1150100 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2432 kB
Writeback: 0 kB
AnonPages: 2305004 kB
Mapped: 107924 kB
Shmem: 37704 kB
KReclaimable: 87388 kB
Slab: 183120 kB
SReclaimable: 87388 kB
SUnreclaim: 95732 kB
KernelStack: 3904 kB
PageTables: 14004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2691228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 647168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228168 kB
DirectMap2M: 14356480 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC003 at 2024-07-16 08:04:28