0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.06 c #variables 1482 #constraints 2964
0.00/0.06 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.037455
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.038384
47.37/47.66 c #Conflicts: 1000 | #Constraints: 3964
47.37/47.66 c #Conflicts: 2000 | #Constraints: 4964
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 3000 | #Constraints: 5063
47.37/47.66 c #Conflicts: 4000 | #Constraints: 6063
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 5000 | #Constraints: 5244
47.37/47.66 c #Conflicts: 6000 | #Constraints: 6244
47.37/47.66 c #Conflicts: 7000 | #Constraints: 7244
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 8000 | #Constraints: 6026
47.37/47.66 c #Conflicts: 9000 | #Constraints: 7026
47.37/47.66 c #Conflicts: 10000 | #Constraints: 8026
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 11000 | #Constraints: 6522
47.37/47.66 c #Conflicts: 12000 | #Constraints: 7522
47.37/47.66 c #Conflicts: 13000 | #Constraints: 8522
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 14000 | #Constraints: 6761
47.37/47.66 c #Conflicts: 15000 | #Constraints: 7761
47.37/47.66 c #Conflicts: 16000 | #Constraints: 8761
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 17000 | #Constraints: 6783
47.37/47.66 c #Conflicts: 18000 | #Constraints: 7783
47.37/47.66 c #Conflicts: 19000 | #Constraints: 8783
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 20000 | #Constraints: 6588
47.37/47.66 c #Conflicts: 21000 | #Constraints: 7588
47.37/47.66 c #Conflicts: 22000 | #Constraints: 8588
47.37/47.66 c #Conflicts: 23000 | #Constraints: 9588
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 24000 | #Constraints: 7248
47.37/47.66 c #Conflicts: 25000 | #Constraints: 8248
47.37/47.66 c #Conflicts: 26000 | #Constraints: 9248
47.37/47.66 c #Conflicts: 27000 | #Constraints: 10248
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 28000 | #Constraints: 7633
47.37/47.66 c #Conflicts: 29000 | #Constraints: 8633
47.37/47.66 c #Conflicts: 30000 | #Constraints: 9633
47.37/47.66 c #Conflicts: 31000 | #Constraints: 10633
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 32000 | #Constraints: 7835
47.37/47.66 c #Conflicts: 33000 | #Constraints: 8835
47.37/47.66 c #Conflicts: 34000 | #Constraints: 9835
47.37/47.66 c #Conflicts: 35000 | #Constraints: 10835
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 36000 | #Constraints: 7838
47.37/47.66 c #Conflicts: 37000 | #Constraints: 8838
47.37/47.66 c #Conflicts: 38000 | #Constraints: 9838
47.37/47.66 c #Conflicts: 39000 | #Constraints: 10838
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 40000 | #Constraints: 7635
47.37/47.66 c #Conflicts: 41000 | #Constraints: 8635
47.37/47.66 c #Conflicts: 42000 | #Constraints: 9635
47.37/47.66 c #Conflicts: 43000 | #Constraints: 10635
47.37/47.66 c #Conflicts: 44000 | #Constraints: 11635
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 45000 | #Constraints: 8216
47.37/47.66 c #Conflicts: 46000 | #Constraints: 9216
47.37/47.66 c #Conflicts: 47000 | #Constraints: 10216
47.37/47.66 c #Conflicts: 48000 | #Constraints: 11216
47.37/47.66 c #Conflicts: 49000 | #Constraints: 12216
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 50000 | #Constraints: 8646
47.37/47.66 c #Conflicts: 51000 | #Constraints: 9646
47.37/47.66 c #Conflicts: 52000 | #Constraints: 10646
47.37/47.66 c #Conflicts: 53000 | #Constraints: 11646
47.37/47.66 c #Conflicts: 54000 | #Constraints: 12646
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 55000 | #Constraints: 8854
47.37/47.66 c #Conflicts: 56000 | #Constraints: 9854
47.37/47.66 c #Conflicts: 57000 | #Constraints: 10854
47.37/47.66 c #Conflicts: 58000 | #Constraints: 11854
47.37/47.66 c #Conflicts: 59000 | #Constraints: 12854
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 60000 | #Constraints: 8837
47.37/47.66 c #Conflicts: 61000 | #Constraints: 9837
47.37/47.66 c #Conflicts: 62000 | #Constraints: 10837
47.37/47.66 c #Conflicts: 63000 | #Constraints: 11837
47.37/47.66 c #Conflicts: 64000 | #Constraints: 12837
47.37/47.66 c INPROCESSING
47.37/47.66 c GARBAGE COLLECT
47.37/47.66 c #Conflicts: 65000 | #Constraints: 8658
47.37/47.66 c #Conflicts: 66000 | #Constraints: 9658
47.37/47.66 c #Conflicts: 67000 | #Constraints: 10658
47.37/47.66 c #Conflicts: 68000 | #Constraints: 11658
128.65/129.14 c #Conflicts: 69000 | #Constraints: 12658
128.65/129.14 c #Conflicts: 70000 | #Constraints: 13658
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 71000 | #Constraints: 9263
128.65/129.14 c #Conflicts: 72000 | #Constraints: 10263
128.65/129.14 c #Conflicts: 73000 | #Constraints: 11263
128.65/129.14 c #Conflicts: 74000 | #Constraints: 12263
128.65/129.14 c #Conflicts: 75000 | #Constraints: 13263
128.65/129.14 c #Conflicts: 76000 | #Constraints: 14263
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 77000 | #Constraints: 9636
128.65/129.14 c #Conflicts: 78000 | #Constraints: 10636
128.65/129.14 c #Conflicts: 79000 | #Constraints: 11636
128.65/129.14 c #Conflicts: 80000 | #Constraints: 12636
128.65/129.14 c #Conflicts: 81000 | #Constraints: 13636
128.65/129.14 c #Conflicts: 82000 | #Constraints: 14636
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 83000 | #Constraints: 9847
128.65/129.14 c #Conflicts: 84000 | #Constraints: 10847
128.65/129.14 c #Conflicts: 85000 | #Constraints: 11847
128.65/129.14 c #Conflicts: 86000 | #Constraints: 12847
128.65/129.14 c #Conflicts: 87000 | #Constraints: 13847
128.65/129.14 c #Conflicts: 88000 | #Constraints: 14847
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 89000 | #Constraints: 9833
128.65/129.14 c #Conflicts: 90000 | #Constraints: 10833
128.65/129.14 c #Conflicts: 91000 | #Constraints: 11833
128.65/129.14 c #Conflicts: 92000 | #Constraints: 12833
128.65/129.14 c #Conflicts: 93000 | #Constraints: 13833
128.65/129.14 c #Conflicts: 94000 | #Constraints: 14833
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 95000 | #Constraints: 9619
128.65/129.14 c #Conflicts: 96000 | #Constraints: 10619
128.65/129.14 c #Conflicts: 97000 | #Constraints: 11619
128.65/129.14 c #Conflicts: 98000 | #Constraints: 12619
128.65/129.14 c #Conflicts: 99000 | #Constraints: 13619
128.65/129.14 c #Conflicts: 100000 | #Constraints: 14619
128.65/129.14 c #Conflicts: 101000 | #Constraints: 15619
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 102000 | #Constraints: 10214
128.65/129.14 c #Conflicts: 103000 | #Constraints: 11214
128.65/129.14 c #Conflicts: 104000 | #Constraints: 12214
128.65/129.14 c #Conflicts: 105000 | #Constraints: 13214
128.65/129.14 c #Conflicts: 106000 | #Constraints: 14214
128.65/129.14 c #Conflicts: 107000 | #Constraints: 15214
128.65/129.14 c #Conflicts: 108000 | #Constraints: 16214
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 109000 | #Constraints: 10644
128.65/129.14 c #Conflicts: 110000 | #Constraints: 11644
128.65/129.14 c #Conflicts: 111000 | #Constraints: 12644
128.65/129.14 c #Conflicts: 112000 | #Constraints: 13644
128.65/129.14 c #Conflicts: 113000 | #Constraints: 14644
128.65/129.14 c #Conflicts: 114000 | #Constraints: 15644
128.65/129.14 c #Conflicts: 115000 | #Constraints: 16644
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 116000 | #Constraints: 10827
128.65/129.14 c #Conflicts: 117000 | #Constraints: 11827
128.65/129.14 c #Conflicts: 118000 | #Constraints: 12827
128.65/129.14 c #Conflicts: 119000 | #Constraints: 13827
128.65/129.14 c #Conflicts: 120000 | #Constraints: 14827
128.65/129.14 c #Conflicts: 121000 | #Constraints: 15827
128.65/129.14 c #Conflicts: 122000 | #Constraints: 16827
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 123000 | #Constraints: 10820
128.65/129.14 c #Conflicts: 124000 | #Constraints: 11820
128.65/129.14 c #Conflicts: 125000 | #Constraints: 12820
128.65/129.14 c #Conflicts: 126000 | #Constraints: 13820
128.65/129.14 c #Conflicts: 127000 | #Constraints: 14820
128.65/129.14 c #Conflicts: 128000 | #Constraints: 15820
128.65/129.14 c #Conflicts: 129000 | #Constraints: 16820
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 130000 | #Constraints: 10615
128.65/129.14 c #Conflicts: 131000 | #Constraints: 11615
128.65/129.14 c #Conflicts: 132000 | #Constraints: 12615
128.65/129.14 c #Conflicts: 133000 | #Constraints: 13615
128.65/129.14 c #Conflicts: 134000 | #Constraints: 14615
128.65/129.14 c #Conflicts: 135000 | #Constraints: 15615
128.65/129.14 c #Conflicts: 136000 | #Constraints: 16615
128.65/129.14 c #Conflicts: 137000 | #Constraints: 17615
128.65/129.14 c INPROCESSING
128.65/129.14 c GARBAGE COLLECT
128.65/129.14 c #Conflicts: 138000 | #Constraints: 11235
128.65/129.14 c #Conflicts: 139000 | #Constraints: 12235
128.65/129.14 c #Conflicts: 140000 | #Constraints: 13235
222.83/223.60 c #Conflicts: 141000 | #Constraints: 14235
222.83/223.60 c #Conflicts: 142000 | #Constraints: 15235
222.83/223.60 c #Conflicts: 143000 | #Constraints: 16235
222.83/223.60 c #Conflicts: 144000 | #Constraints: 17235
222.83/223.60 c #Conflicts: 145000 | #Constraints: 18235
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 146000 | #Constraints: 11627
222.83/223.60 c #Conflicts: 147000 | #Constraints: 12627
222.83/223.60 c #Conflicts: 148000 | #Constraints: 13627
222.83/223.60 c #Conflicts: 149000 | #Constraints: 14627
222.83/223.60 c #Conflicts: 150000 | #Constraints: 15627
222.83/223.60 c #Conflicts: 151000 | #Constraints: 16627
222.83/223.60 c #Conflicts: 152000 | #Constraints: 17627
222.83/223.60 c #Conflicts: 153000 | #Constraints: 18627
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 154000 | #Constraints: 11818
222.83/223.60 c #Conflicts: 155000 | #Constraints: 12818
222.83/223.60 c #Conflicts: 156000 | #Constraints: 13818
222.83/223.60 c #Conflicts: 157000 | #Constraints: 14818
222.83/223.60 c #Conflicts: 158000 | #Constraints: 15818
222.83/223.60 c #Conflicts: 159000 | #Constraints: 16818
222.83/223.60 c #Conflicts: 160000 | #Constraints: 17818
222.83/223.60 c #Conflicts: 161000 | #Constraints: 18818
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 162000 | #Constraints: 11824
222.83/223.60 c #Conflicts: 163000 | #Constraints: 12824
222.83/223.60 c #Conflicts: 164000 | #Constraints: 13824
222.83/223.60 c #Conflicts: 165000 | #Constraints: 14824
222.83/223.60 c #Conflicts: 166000 | #Constraints: 15824
222.83/223.60 c #Conflicts: 167000 | #Constraints: 16824
222.83/223.60 c #Conflicts: 168000 | #Constraints: 17824
222.83/223.60 c #Conflicts: 169000 | #Constraints: 18824
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 170000 | #Constraints: 11635
222.83/223.60 c #Conflicts: 171000 | #Constraints: 12635
222.83/223.60 c #Conflicts: 172000 | #Constraints: 13635
222.83/223.60 c #Conflicts: 173000 | #Constraints: 14635
222.83/223.60 c #Conflicts: 174000 | #Constraints: 15635
222.83/223.60 c #Conflicts: 175000 | #Constraints: 16635
222.83/223.60 c #Conflicts: 176000 | #Constraints: 17635
222.83/223.60 c #Conflicts: 177000 | #Constraints: 18635
222.83/223.60 c #Conflicts: 178000 | #Constraints: 19635
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 179000 | #Constraints: 12260
222.83/223.60 c #Conflicts: 180000 | #Constraints: 13260
222.83/223.60 c #Conflicts: 181000 | #Constraints: 14260
222.83/223.60 c #Conflicts: 182000 | #Constraints: 15260
222.83/223.60 c #Conflicts: 183000 | #Constraints: 16260
222.83/223.60 c #Conflicts: 184000 | #Constraints: 17260
222.83/223.60 c #Conflicts: 185000 | #Constraints: 18260
222.83/223.60 c #Conflicts: 186000 | #Constraints: 19260
222.83/223.60 c #Conflicts: 187000 | #Constraints: 20260
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 188000 | #Constraints: 12644
222.83/223.60 c #Conflicts: 189000 | #Constraints: 13644
222.83/223.60 c #Conflicts: 190000 | #Constraints: 14644
222.83/223.60 c #Conflicts: 191000 | #Constraints: 15644
222.83/223.60 c #Conflicts: 192000 | #Constraints: 16644
222.83/223.60 c #Conflicts: 193000 | #Constraints: 17644
222.83/223.60 c #Conflicts: 194000 | #Constraints: 18644
222.83/223.60 c #Conflicts: 195000 | #Constraints: 19644
222.83/223.60 c #Conflicts: 196000 | #Constraints: 20644
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 197000 | #Constraints: 12846
222.83/223.60 c #Conflicts: 198000 | #Constraints: 13846
222.83/223.60 c #Conflicts: 199000 | #Constraints: 14846
222.83/223.60 c #Conflicts: 200000 | #Constraints: 15846
222.83/223.60 c #Conflicts: 201000 | #Constraints: 16846
222.83/223.60 c #Conflicts: 202000 | #Constraints: 17846
222.83/223.60 c #Conflicts: 203000 | #Constraints: 18846
222.83/223.60 c #Conflicts: 204000 | #Constraints: 19846
222.83/223.60 c #Conflicts: 205000 | #Constraints: 20846
222.83/223.60 c INPROCESSING
222.83/223.60 c GARBAGE COLLECT
222.83/223.60 c #Conflicts: 206000 | #Constraints: 12847
222.83/223.60 c #Conflicts: 207000 | #Constraints: 13847
222.83/223.60 c #Conflicts: 208000 | #Constraints: 14847
222.83/223.60 c #Conflicts: 209000 | #Constraints: 15847
222.83/223.60 c #Conflicts: 210000 | #Constraints: 16847
222.83/223.60 c #Conflicts: 211000 | #Constraints: 17847
222.83/223.60 c #Conflicts: 212000 | #Constraints: 18847
222.83/223.60 c #Conflicts: 213000 | #Constraints: 19847
222.83/223.60 c #Conflicts: 214000 | #Constraints: 20847
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 215000 | #Constraints: 12648
324.35/325.40 c #Conflicts: 216000 | #Constraints: 13648
324.35/325.40 c #Conflicts: 217000 | #Constraints: 14648
324.35/325.40 c #Conflicts: 218000 | #Constraints: 15648
324.35/325.40 c #Conflicts: 219000 | #Constraints: 16648
324.35/325.40 c #Conflicts: 220000 | #Constraints: 17648
324.35/325.40 c #Conflicts: 221000 | #Constraints: 18648
324.35/325.40 c #Conflicts: 222000 | #Constraints: 19648
324.35/325.40 c #Conflicts: 223000 | #Constraints: 20648
324.35/325.40 c #Conflicts: 224000 | #Constraints: 21648
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 225000 | #Constraints: 13277
324.35/325.40 c #Conflicts: 226000 | #Constraints: 14277
324.35/325.40 c #Conflicts: 227000 | #Constraints: 15277
324.35/325.40 c #Conflicts: 228000 | #Constraints: 16277
324.35/325.40 c #Conflicts: 229000 | #Constraints: 17277
324.35/325.40 c #Conflicts: 230000 | #Constraints: 18277
324.35/325.40 c #Conflicts: 231000 | #Constraints: 19277
324.35/325.40 c #Conflicts: 232000 | #Constraints: 20277
324.35/325.40 c #Conflicts: 233000 | #Constraints: 21277
324.35/325.40 c #Conflicts: 234000 | #Constraints: 22277
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 235000 | #Constraints: 13659
324.35/325.40 c #Conflicts: 236000 | #Constraints: 14659
324.35/325.40 c #Conflicts: 237000 | #Constraints: 15659
324.35/325.40 c #Conflicts: 238000 | #Constraints: 16659
324.35/325.40 c #Conflicts: 239000 | #Constraints: 17659
324.35/325.40 c #Conflicts: 240000 | #Constraints: 18659
324.35/325.40 c #Conflicts: 241000 | #Constraints: 19659
324.35/325.40 c #Conflicts: 242000 | #Constraints: 20659
324.35/325.40 c #Conflicts: 243000 | #Constraints: 21659
324.35/325.40 c #Conflicts: 244000 | #Constraints: 22659
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 245000 | #Constraints: 13861
324.35/325.40 c #Conflicts: 246000 | #Constraints: 14861
324.35/325.40 c #Conflicts: 247000 | #Constraints: 15861
324.35/325.40 c #Conflicts: 248000 | #Constraints: 16861
324.35/325.40 c #Conflicts: 249000 | #Constraints: 17861
324.35/325.40 c #Conflicts: 250000 | #Constraints: 18861
324.35/325.40 c #Conflicts: 251000 | #Constraints: 19861
324.35/325.40 c #Conflicts: 252000 | #Constraints: 20861
324.35/325.40 c #Conflicts: 253000 | #Constraints: 21861
324.35/325.40 c #Conflicts: 254000 | #Constraints: 22861
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 255000 | #Constraints: 13879
324.35/325.40 c #Conflicts: 256000 | #Constraints: 14879
324.35/325.40 c #Conflicts: 257000 | #Constraints: 15879
324.35/325.40 c #Conflicts: 258000 | #Constraints: 16879
324.35/325.40 c #Conflicts: 259000 | #Constraints: 17879
324.35/325.40 c #Conflicts: 260000 | #Constraints: 18879
324.35/325.40 c #Conflicts: 261000 | #Constraints: 19879
324.35/325.40 c #Conflicts: 262000 | #Constraints: 20879
324.35/325.40 c #Conflicts: 263000 | #Constraints: 21879
324.35/325.40 c #Conflicts: 264000 | #Constraints: 22879
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 265000 | #Constraints: 13665
324.35/325.40 c #Conflicts: 266000 | #Constraints: 14665
324.35/325.40 c #Conflicts: 267000 | #Constraints: 15665
324.35/325.40 c #Conflicts: 268000 | #Constraints: 16665
324.35/325.40 c #Conflicts: 269000 | #Constraints: 17665
324.35/325.40 c #Conflicts: 270000 | #Constraints: 18665
324.35/325.40 c #Conflicts: 271000 | #Constraints: 19665
324.35/325.40 c #Conflicts: 272000 | #Constraints: 20665
324.35/325.40 c #Conflicts: 273000 | #Constraints: 21665
324.35/325.40 c #Conflicts: 274000 | #Constraints: 22665
324.35/325.40 c #Conflicts: 275000 | #Constraints: 23665
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 276000 | #Constraints: 14264
324.35/325.40 c #Conflicts: 277000 | #Constraints: 15264
324.35/325.40 c #Conflicts: 278000 | #Constraints: 16264
324.35/325.40 c #Conflicts: 279000 | #Constraints: 17264
324.35/325.40 c #Conflicts: 280000 | #Constraints: 18264
324.35/325.40 c #Conflicts: 281000 | #Constraints: 19264
324.35/325.40 c #Conflicts: 282000 | #Constraints: 20264
324.35/325.40 c #Conflicts: 283000 | #Constraints: 21264
324.35/325.40 c #Conflicts: 284000 | #Constraints: 22264
324.35/325.40 c #Conflicts: 285000 | #Constraints: 23264
324.35/325.40 c #Conflicts: 286000 | #Constraints: 24264
324.35/325.40 c INPROCESSING
324.35/325.40 c GARBAGE COLLECT
324.35/325.40 c #Conflicts: 287000 | #Constraints: 14633
324.35/325.40 c #Conflicts: 288000 | #Constraints: 15633
427.16/428.51 c #Conflicts: 289000 | #Constraints: 16633
427.16/428.51 c #Conflicts: 290000 | #Constraints: 17633
427.16/428.51 c #Conflicts: 291000 | #Constraints: 18633
427.16/428.51 c #Conflicts: 292000 | #Constraints: 19633
427.16/428.51 c #Conflicts: 293000 | #Constraints: 20633
427.16/428.51 c #Conflicts: 294000 | #Constraints: 21633
427.16/428.51 c #Conflicts: 295000 | #Constraints: 22633
427.16/428.51 c #Conflicts: 296000 | #Constraints: 23633
427.16/428.51 c #Conflicts: 297000 | #Constraints: 24633
427.16/428.51 c INPROCESSING
427.16/428.51 c GARBAGE COLLECT
427.16/428.51 c #Conflicts: 298000 | #Constraints: 14820
427.16/428.51 c #Conflicts: 299000 | #Constraints: 15820
427.16/428.51 c #Conflicts: 300000 | #Constraints: 16820
427.16/428.51 c #Conflicts: 301000 | #Constraints: 17820
427.16/428.51 c #Conflicts: 302000 | #Constraints: 18820
427.16/428.51 c #Conflicts: 303000 | #Constraints: 19820
427.16/428.51 c #Conflicts: 304000 | #Constraints: 20820
427.16/428.51 c #Conflicts: 305000 | #Constraints: 21820
427.16/428.51 c #Conflicts: 306000 | #Constraints: 22820
427.16/428.51 c #Conflicts: 307000 | #Constraints: 23820
427.16/428.51 c #Conflicts: 308000 | #Constraints: 24820
427.16/428.51 c INPROCESSING
427.16/428.51 c GARBAGE COLLECT
427.16/428.51 c #Conflicts: 309000 | #Constraints: 14817
427.16/428.51 c #Conflicts: 310000 | #Constraints: 15817
427.16/428.51 c #Conflicts: 311000 | #Constraints: 16817
427.16/428.51 c #Conflicts: 312000 | #Constraints: 17817
427.16/428.51 c #Conflicts: 313000 | #Constraints: 18817
427.16/428.51 c #Conflicts: 314000 | #Constraints: 19817
427.16/428.51 c #Conflicts: 315000 | #Constraints: 20817
427.16/428.51 c #Conflicts: 316000 | #Constraints: 21817
427.16/428.51 c #Conflicts: 317000 | #Constraints: 22817
427.16/428.51 c #Conflicts: 318000 | #Constraints: 23817
427.16/428.51 c #Conflicts: 319000 | #Constraints: 24817
427.16/428.51 c INPROCESSING
427.16/428.51 c GARBAGE COLLECT
427.16/428.51 c #Conflicts: 320000 | #Constraints: 14610
427.16/428.51 c #Conflicts: 321000 | #Constraints: 15610
427.16/428.51 c #Conflicts: 322000 | #Constraints: 16610
427.16/428.51 c #Conflicts: 323000 | #Constraints: 17610
427.16/428.51 c #Conflicts: 324000 | #Constraints: 18610
427.16/428.51 c #Conflicts: 325000 | #Constraints: 19610
427.16/428.51 c #Conflicts: 326000 | #Constraints: 20610
427.16/428.51 c #Conflicts: 327000 | #Constraints: 21610
427.16/428.51 c #Conflicts: 328000 | #Constraints: 22610
427.16/428.51 c #Conflicts: 329000 | #Constraints: 23610
427.16/428.51 c #Conflicts: 330000 | #Constraints: 24610
427.16/428.51 c #Conflicts: 331000 | #Constraints: 25610
427.16/428.51 c INPROCESSING
427.16/428.51 c GARBAGE COLLECT
427.16/428.51 c #Conflicts: 332000 | #Constraints: 15203
427.16/428.51 c #Conflicts: 333000 | #Constraints: 16203
427.16/428.51 c #Conflicts: 334000 | #Constraints: 17203
427.16/428.51 c #Conflicts: 335000 | #Constraints: 18203
427.16/428.51 c #Conflicts: 336000 | #Constraints: 19203
427.16/428.51 c #Conflicts: 337000 | #Constraints: 20203
427.16/428.51 c #Conflicts: 338000 | #Constraints: 21203
427.16/428.51 c #Conflicts: 339000 | #Constraints: 22203
427.16/428.51 c #Conflicts: 340000 | #Constraints: 23203
427.16/428.51 c #Conflicts: 341000 | #Constraints: 24203
427.16/428.51 c #Conflicts: 342000 | #Constraints: 25203
427.16/428.51 c #Conflicts: 343000 | #Constraints: 26203
427.16/428.51 c INPROCESSING
427.16/428.51 c GARBAGE COLLECT
427.16/428.51 c #Conflicts: 344000 | #Constraints: 15609
427.16/428.51 c #Conflicts: 345000 | #Constraints: 16609
427.16/428.51 c #Conflicts: 346000 | #Constraints: 17609
427.16/428.51 c #Conflicts: 347000 | #Constraints: 18609
427.16/428.51 c #Conflicts: 348000 | #Constraints: 19609
427.16/428.51 c #Conflicts: 349000 | #Constraints: 20609
427.16/428.51 c #Conflicts: 350000 | #Constraints: 21609
427.16/428.51 c #Conflicts: 351000 | #Constraints: 22609
427.16/428.51 c #Conflicts: 352000 | #Constraints: 23609
427.16/428.51 c #Conflicts: 353000 | #Constraints: 24609
427.16/428.51 c #Conflicts: 354000 | #Constraints: 25609
427.16/428.51 c #Conflicts: 355000 | #Constraints: 26609
427.16/428.51 c INPROCESSING
427.16/428.51 c GARBAGE COLLECT
427.16/428.51 c #Conflicts: 356000 | #Constraints: 15817
427.16/428.51 c #Conflicts: 357000 | #Constraints: 16817
427.16/428.51 c #Conflicts: 358000 | #Constraints: 17817
427.16/428.51 c #Conflicts: 359000 | #Constraints: 18817
427.16/428.51 c #Conflicts: 360000 | #Constraints: 19817
427.16/428.51 c #Conflicts: 361000 | #Constraints: 20817
427.16/428.51 c #Conflicts: 362000 | #Constraints: 21817
427.16/428.51 c #Conflicts: 363000 | #Constraints: 22817
559.26/561.02 c #Conflicts: 364000 | #Constraints: 23817
559.26/561.02 c #Conflicts: 365000 | #Constraints: 24817
559.26/561.02 c #Conflicts: 366000 | #Constraints: 25817
559.26/561.02 c #Conflicts: 367000 | #Constraints: 26817
559.26/561.02 c INPROCESSING
559.26/561.02 c GARBAGE COLLECT
559.26/561.02 c #Conflicts: 368000 | #Constraints: 15811
559.26/561.02 c #Conflicts: 369000 | #Constraints: 16811
559.26/561.02 c #Conflicts: 370000 | #Constraints: 17811
559.26/561.02 c #Conflicts: 371000 | #Constraints: 18811
559.26/561.02 c #Conflicts: 372000 | #Constraints: 19811
559.26/561.02 c #Conflicts: 373000 | #Constraints: 20811
559.26/561.02 c #Conflicts: 374000 | #Constraints: 21811
559.26/561.02 c #Conflicts: 375000 | #Constraints: 22811
559.26/561.02 c #Conflicts: 376000 | #Constraints: 23811
559.26/561.02 c #Conflicts: 377000 | #Constraints: 24811
559.26/561.02 c #Conflicts: 378000 | #Constraints: 25811
559.26/561.02 c #Conflicts: 379000 | #Constraints: 26811
559.26/561.02 c INPROCESSING
559.26/561.02 c GARBAGE COLLECT
559.26/561.02 c #Conflicts: 380000 | #Constraints: 15614
559.26/561.02 c #Conflicts: 381000 | #Constraints: 16614
559.26/561.02 c #Conflicts: 382000 | #Constraints: 17614
559.26/561.02 c #Conflicts: 383000 | #Constraints: 18614
559.26/561.02 c #Conflicts: 384000 | #Constraints: 19614
559.26/561.02 c #Conflicts: 385000 | #Constraints: 20614
559.26/561.02 c #Conflicts: 386000 | #Constraints: 21614
559.26/561.02 c #Conflicts: 387000 | #Constraints: 22614
559.26/561.02 c #Conflicts: 388000 | #Constraints: 23614
559.26/561.02 c #Conflicts: 389000 | #Constraints: 24614
559.26/561.02 c #Conflicts: 390000 | #Constraints: 25614
559.26/561.02 c #Conflicts: 391000 | #Constraints: 26614
559.26/561.02 c #Conflicts: 392000 | #Constraints: 27614
559.26/561.02 c INPROCESSING
559.26/561.02 c GARBAGE COLLECT
559.26/561.02 c #Conflicts: 393000 | #Constraints: 16211
559.26/561.02 c #Conflicts: 394000 | #Constraints: 17211
559.26/561.02 c #Conflicts: 395000 | #Constraints: 18211
559.26/561.02 c #Conflicts: 396000 | #Constraints: 19211
559.26/561.02 c #Conflicts: 397000 | #Constraints: 20211
559.26/561.02 c #Conflicts: 398000 | #Constraints: 21211
559.26/561.02 c #Conflicts: 399000 | #Constraints: 22211
559.26/561.02 c #Conflicts: 400000 | #Constraints: 23211
559.26/561.03 c #Conflicts: 401000 | #Constraints: 24211
559.26/561.03 c #Conflicts: 402000 | #Constraints: 25211
559.26/561.03 c #Conflicts: 403000 | #Constraints: 26211
559.26/561.03 c #Conflicts: 404000 | #Constraints: 27211
559.26/561.03 c #Conflicts: 405000 | #Constraints: 28211
559.26/561.03 c INPROCESSING
559.26/561.03 c GARBAGE COLLECT
559.26/561.03 c #Conflicts: 406000 | #Constraints: 16607
559.26/561.03 c #Conflicts: 407000 | #Constraints: 17607
559.26/561.03 c #Conflicts: 408000 | #Constraints: 18607
559.26/561.03 c #Conflicts: 409000 | #Constraints: 19607
559.26/561.03 c #Conflicts: 410000 | #Constraints: 20607
559.26/561.03 c #Conflicts: 411000 | #Constraints: 21607
559.26/561.03 c #Conflicts: 412000 | #Constraints: 22607
559.26/561.03 c #Conflicts: 413000 | #Constraints: 23607
559.26/561.03 c #Conflicts: 414000 | #Constraints: 24607
559.26/561.03 c #Conflicts: 415000 | #Constraints: 25607
559.26/561.03 c #Conflicts: 416000 | #Constraints: 26607
559.26/561.03 c #Conflicts: 417000 | #Constraints: 27607
559.26/561.03 c #Conflicts: 418000 | #Constraints: 28607
559.26/561.03 c INPROCESSING
559.26/561.03 c GARBAGE COLLECT
559.26/561.03 c #Conflicts: 419000 | #Constraints: 16816
559.26/561.03 c #Conflicts: 420000 | #Constraints: 17816
559.26/561.03 c #Conflicts: 421000 | #Constraints: 18816
559.26/561.03 c #Conflicts: 422000 | #Constraints: 19816
559.26/561.03 c #Conflicts: 423000 | #Constraints: 20816
559.26/561.03 c #Conflicts: 424000 | #Constraints: 21816
559.26/561.03 c #Conflicts: 425000 | #Constraints: 22816
559.26/561.03 c #Conflicts: 426000 | #Constraints: 23816
559.26/561.03 c #Conflicts: 427000 | #Constraints: 24816
559.26/561.03 c #Conflicts: 428000 | #Constraints: 25816
559.26/561.03 c #Conflicts: 429000 | #Constraints: 26816
559.26/561.03 c #Conflicts: 430000 | #Constraints: 27816
559.26/561.03 c #Conflicts: 431000 | #Constraints: 28816
559.26/561.03 c INPROCESSING
559.26/561.03 c GARBAGE COLLECT
559.26/561.03 c #Conflicts: 432000 | #Constraints: 16824
559.26/561.03 c #Conflicts: 433000 | #Constraints: 17824
559.26/561.03 c #Conflicts: 434000 | #Constraints: 18824
559.26/561.03 c #Conflicts: 435000 | #Constraints: 19824
559.26/561.03 c #Conflicts: 436000 | #Constraints: 20824
559.26/561.03 c #Conflicts: 437000 | #Constraints: 21824
559.26/561.03 c #Conflicts: 438000 | #Constraints: 22824
679.09/681.23 c #Conflicts: 439000 | #Constraints: 23824
679.09/681.23 c #Conflicts: 440000 | #Constraints: 24824
679.09/681.23 c #Conflicts: 441000 | #Constraints: 25824
679.09/681.23 c #Conflicts: 442000 | #Constraints: 26824
679.09/681.23 c #Conflicts: 443000 | #Constraints: 27824
679.09/681.23 c #Conflicts: 444000 | #Constraints: 28824
679.09/681.23 c INPROCESSING
679.09/681.23 c GARBAGE COLLECT
679.09/681.23 c #Conflicts: 445000 | #Constraints: 16621
679.09/681.23 c #Conflicts: 446000 | #Constraints: 17621
679.09/681.23 c #Conflicts: 447000 | #Constraints: 18621
679.09/681.23 c #Conflicts: 448000 | #Constraints: 19621
679.09/681.23 c #Conflicts: 449000 | #Constraints: 20621
679.09/681.23 c #Conflicts: 450000 | #Constraints: 21621
679.09/681.23 c #Conflicts: 451000 | #Constraints: 22621
679.09/681.23 c #Conflicts: 452000 | #Constraints: 23621
679.09/681.23 c #Conflicts: 453000 | #Constraints: 24621
679.09/681.23 c #Conflicts: 454000 | #Constraints: 25621
679.09/681.23 c #Conflicts: 455000 | #Constraints: 26621
679.09/681.23 c #Conflicts: 456000 | #Constraints: 27621
679.09/681.23 c #Conflicts: 457000 | #Constraints: 28621
679.09/681.23 c #Conflicts: 458000 | #Constraints: 29621
679.09/681.23 c INPROCESSING
679.09/681.23 c GARBAGE COLLECT
679.09/681.23 c #Conflicts: 459000 | #Constraints: 17214
679.09/681.23 c #Conflicts: 460000 | #Constraints: 18214
679.09/681.23 c #Conflicts: 461000 | #Constraints: 19214
679.09/681.23 c #Conflicts: 462000 | #Constraints: 20214
679.09/681.23 c #Conflicts: 463000 | #Constraints: 21214
679.09/681.23 c #Conflicts: 464000 | #Constraints: 22214
679.09/681.23 c #Conflicts: 465000 | #Constraints: 23214
679.09/681.23 c #Conflicts: 466000 | #Constraints: 24214
679.09/681.23 c #Conflicts: 467000 | #Constraints: 25214
679.09/681.23 c #Conflicts: 468000 | #Constraints: 26214
679.09/681.23 c #Conflicts: 469000 | #Constraints: 27214
679.09/681.23 c #Conflicts: 470000 | #Constraints: 28214
679.09/681.23 c #Conflicts: 471000 | #Constraints: 29214
679.09/681.23 c #Conflicts: 472000 | #Constraints: 30214
679.09/681.23 c INPROCESSING
679.09/681.23 c GARBAGE COLLECT
679.09/681.23 c #Conflicts: 473000 | #Constraints: 17625
679.09/681.23 c #Conflicts: 474000 | #Constraints: 18625
679.09/681.23 c #Conflicts: 475000 | #Constraints: 19625
679.09/681.23 c #Conflicts: 476000 | #Constraints: 20625
679.09/681.23 c #Conflicts: 477000 | #Constraints: 21625
679.09/681.23 c #Conflicts: 478000 | #Constraints: 22625
679.09/681.23 c #Conflicts: 479000 | #Constraints: 23625
679.09/681.23 c #Conflicts: 480000 | #Constraints: 24625
679.09/681.23 c #Conflicts: 481000 | #Constraints: 25625
679.09/681.23 c #Conflicts: 482000 | #Constraints: 26625
679.09/681.23 c #Conflicts: 483000 | #Constraints: 27625
679.09/681.23 c #Conflicts: 484000 | #Constraints: 28625
679.09/681.23 c #Conflicts: 485000 | #Constraints: 29625
679.09/681.23 c #Conflicts: 486000 | #Constraints: 30625
679.09/681.23 c INPROCESSING
679.09/681.23 c GARBAGE COLLECT
679.09/681.23 c #Conflicts: 487000 | #Constraints: 17805
679.09/681.23 c #Conflicts: 488000 | #Constraints: 18805
679.09/681.23 c #Conflicts: 489000 | #Constraints: 19805
679.09/681.23 c #Conflicts: 490000 | #Constraints: 20805
679.09/681.23 c #Conflicts: 491000 | #Constraints: 21805
679.09/681.23 c #Conflicts: 492000 | #Constraints: 22805
679.09/681.23 c #Conflicts: 493000 | #Constraints: 23805
679.09/681.23 c #Conflicts: 494000 | #Constraints: 24805
679.09/681.23 c #Conflicts: 495000 | #Constraints: 25805
679.09/681.23 c #Conflicts: 496000 | #Constraints: 26805
679.09/681.23 c #Conflicts: 497000 | #Constraints: 27805
679.09/681.23 c #Conflicts: 498000 | #Constraints: 28805
679.09/681.23 c #Conflicts: 499000 | #Constraints: 29805
679.09/681.23 c #Conflicts: 500000 | #Constraints: 30805
679.09/681.23 c INPROCESSING
679.09/681.23 c GARBAGE COLLECT
679.09/681.23 c #Conflicts: 501000 | #Constraints: 17804
679.09/681.23 c #Conflicts: 502000 | #Constraints: 18804
679.09/681.23 c #Conflicts: 503000 | #Constraints: 19804
679.09/681.23 c #Conflicts: 504000 | #Constraints: 20804
679.09/681.23 c #Conflicts: 505000 | #Constraints: 21804
679.09/681.23 c #Conflicts: 506000 | #Constraints: 22804
679.09/681.23 c #Conflicts: 507000 | #Constraints: 23804
679.09/681.23 c #Conflicts: 508000 | #Constraints: 24804
679.09/681.23 c #Conflicts: 509000 | #Constraints: 25804
679.09/681.23 c #Conflicts: 510000 | #Constraints: 26804
679.09/681.23 c #Conflicts: 511000 | #Constraints: 27804
679.09/681.23 c #Conflicts: 512000 | #Constraints: 28804
679.09/681.23 c #Conflicts: 513000 | #Constraints: 29804
809.97/812.45 c #Conflicts: 514000 | #Constraints: 30804
809.97/812.45 c INPROCESSING
809.97/812.45 c GARBAGE COLLECT
809.97/812.45 c #Conflicts: 515000 | #Constraints: 17605
809.97/812.45 c #Conflicts: 516000 | #Constraints: 18605
809.97/812.45 c #Conflicts: 517000 | #Constraints: 19605
809.97/812.45 c #Conflicts: 518000 | #Constraints: 20605
809.97/812.45 c #Conflicts: 519000 | #Constraints: 21605
809.97/812.45 c #Conflicts: 520000 | #Constraints: 22605
809.97/812.45 c #Conflicts: 521000 | #Constraints: 23605
809.97/812.45 c #Conflicts: 522000 | #Constraints: 24605
809.97/812.45 c #Conflicts: 523000 | #Constraints: 25605
809.97/812.45 c #Conflicts: 524000 | #Constraints: 26605
809.97/812.45 c #Conflicts: 525000 | #Constraints: 27605
809.97/812.45 c #Conflicts: 526000 | #Constraints: 28605
809.97/812.45 c #Conflicts: 527000 | #Constraints: 29605
809.97/812.45 c #Conflicts: 528000 | #Constraints: 30605
809.97/812.45 c #Conflicts: 529000 | #Constraints: 31605
809.97/812.45 c INPROCESSING
809.97/812.45 c GARBAGE COLLECT
809.97/812.45 c #Conflicts: 530000 | #Constraints: 18217
809.97/812.45 c #Conflicts: 531000 | #Constraints: 19217
809.97/812.45 c #Conflicts: 532000 | #Constraints: 20217
809.97/812.45 c #Conflicts: 533000 | #Constraints: 21217
809.97/812.45 c #Conflicts: 534000 | #Constraints: 22217
809.97/812.45 c #Conflicts: 535000 | #Constraints: 23217
809.97/812.45 c #Conflicts: 536000 | #Constraints: 24217
809.97/812.45 c #Conflicts: 537000 | #Constraints: 25217
809.97/812.45 c #Conflicts: 538000 | #Constraints: 26217
809.97/812.45 c #Conflicts: 539000 | #Constraints: 27217
809.97/812.45 c #Conflicts: 540000 | #Constraints: 28217
809.97/812.45 c #Conflicts: 541000 | #Constraints: 29217
809.97/812.45 c #Conflicts: 542000 | #Constraints: 30217
809.97/812.45 c #Conflicts: 543000 | #Constraints: 31217
809.97/812.45 c #Conflicts: 544000 | #Constraints: 32217
809.97/812.45 c INPROCESSING
809.97/812.45 c GARBAGE COLLECT
809.97/812.45 c #Conflicts: 545000 | #Constraints: 18617
809.97/812.45 c #Conflicts: 546000 | #Constraints: 19617
809.97/812.45 c #Conflicts: 547000 | #Constraints: 20617
809.97/812.45 c #Conflicts: 548000 | #Constraints: 21617
809.97/812.45 c #Conflicts: 549000 | #Constraints: 22617
809.97/812.45 c #Conflicts: 550000 | #Constraints: 23617
809.97/812.45 c #Conflicts: 551000 | #Constraints: 24617
809.97/812.45 c #Conflicts: 552000 | #Constraints: 25617
809.97/812.45 c #Conflicts: 553000 | #Constraints: 26617
809.97/812.45 c #Conflicts: 554000 | #Constraints: 27617
809.97/812.45 c #Conflicts: 555000 | #Constraints: 28617
809.97/812.45 c #Conflicts: 556000 | #Constraints: 29617
809.97/812.45 c #Conflicts: 557000 | #Constraints: 30617
809.97/812.45 c #Conflicts: 558000 | #Constraints: 31617
809.97/812.45 c #Conflicts: 559000 | #Constraints: 32617
809.97/812.45 c INPROCESSING
809.97/812.45 c GARBAGE COLLECT
809.97/812.45 c #Conflicts: 560000 | #Constraints: 18817
809.97/812.45 c #Conflicts: 561000 | #Constraints: 19817
809.97/812.45 c #Conflicts: 562000 | #Constraints: 20817
809.97/812.45 c #Conflicts: 563000 | #Constraints: 21817
809.97/812.45 c #Conflicts: 564000 | #Constraints: 22817
809.97/812.45 c #Conflicts: 565000 | #Constraints: 23817
809.97/812.45 c #Conflicts: 566000 | #Constraints: 24817
809.97/812.45 c #Conflicts: 567000 | #Constraints: 25817
809.97/812.45 c #Conflicts: 568000 | #Constraints: 26817
809.97/812.45 c #Conflicts: 569000 | #Constraints: 27817
809.97/812.45 c #Conflicts: 570000 | #Constraints: 28817
809.97/812.45 c #Conflicts: 571000 | #Constraints: 29817
809.97/812.45 c #Conflicts: 572000 | #Constraints: 30817
809.97/812.45 c #Conflicts: 573000 | #Constraints: 31817
809.97/812.45 c #Conflicts: 574000 | #Constraints: 32817
809.97/812.45 c INPROCESSING
809.97/812.45 c GARBAGE COLLECT
809.97/812.45 c #Conflicts: 575000 | #Constraints: 18818
809.97/812.45 c #Conflicts: 576000 | #Constraints: 19818
809.97/812.45 c #Conflicts: 577000 | #Constraints: 20818
809.97/812.45 c #Conflicts: 578000 | #Constraints: 21818
809.97/812.45 c #Conflicts: 579000 | #Constraints: 22818
809.97/812.45 c #Conflicts: 580000 | #Constraints: 23818
809.97/812.45 c #Conflicts: 581000 | #Constraints: 24818
809.97/812.45 c #Conflicts: 582000 | #Constraints: 25818
809.97/812.45 c #Conflicts: 583000 | #Constraints: 26818
809.97/812.45 c #Conflicts: 584000 | #Constraints: 27818
809.97/812.45 c #Conflicts: 585000 | #Constraints: 28818
809.97/812.45 c #Conflicts: 586000 | #Constraints: 29818
809.97/812.45 c #Conflicts: 587000 | #Constraints: 30818
809.97/812.45 c #Conflicts: 588000 | #Constraints: 31818
809.97/812.45 c #Conflicts: 589000 | #Constraints: 32818
943.43/946.24 c INPROCESSING
943.43/946.24 c GARBAGE COLLECT
943.43/946.24 c #Conflicts: 590000 | #Constraints: 18617
943.43/946.24 c #Conflicts: 591000 | #Constraints: 19617
943.43/946.24 c #Conflicts: 592000 | #Constraints: 20617
943.43/946.24 c #Conflicts: 593000 | #Constraints: 21617
943.43/946.24 c #Conflicts: 594000 | #Constraints: 22617
943.43/946.24 c #Conflicts: 595000 | #Constraints: 23617
943.43/946.24 c #Conflicts: 596000 | #Constraints: 24617
943.43/946.24 c #Conflicts: 597000 | #Constraints: 25617
943.43/946.24 c #Conflicts: 598000 | #Constraints: 26617
943.43/946.24 c #Conflicts: 599000 | #Constraints: 27617
943.43/946.24 c #Conflicts: 600000 | #Constraints: 28617
943.43/946.24 c #Conflicts: 601000 | #Constraints: 29617
943.43/946.24 c #Conflicts: 602000 | #Constraints: 30617
943.43/946.24 c #Conflicts: 603000 | #Constraints: 31617
943.43/946.24 c #Conflicts: 604000 | #Constraints: 32617
943.43/946.24 c #Conflicts: 605000 | #Constraints: 33617
943.43/946.24 c INPROCESSING
943.43/946.24 c GARBAGE COLLECT
943.43/946.24 c #Conflicts: 606000 | #Constraints: 19232
943.43/946.24 c #Conflicts: 607000 | #Constraints: 20232
943.43/946.24 c #Conflicts: 608000 | #Constraints: 21232
943.43/946.24 c #Conflicts: 609000 | #Constraints: 22232
943.43/946.24 c #Conflicts: 610000 | #Constraints: 23232
943.43/946.24 c #Conflicts: 611000 | #Constraints: 24232
943.43/946.24 c #Conflicts: 612000 | #Constraints: 25232
943.43/946.24 c #Conflicts: 613000 | #Constraints: 26232
943.43/946.24 c #Conflicts: 614000 | #Constraints: 27232
943.43/946.24 c #Conflicts: 615000 | #Constraints: 28232
943.43/946.24 c #Conflicts: 616000 | #Constraints: 29232
943.43/946.24 c #Conflicts: 617000 | #Constraints: 30232
943.43/946.24 c #Conflicts: 618000 | #Constraints: 31232
943.43/946.24 c #Conflicts: 619000 | #Constraints: 32232
943.43/946.24 c #Conflicts: 620000 | #Constraints: 33232
943.43/946.24 c #Conflicts: 621000 | #Constraints: 34232
943.43/946.24 c INPROCESSING
943.43/946.24 c GARBAGE COLLECT
943.43/946.24 c #Conflicts: 622000 | #Constraints: 19621
943.43/946.24 c #Conflicts: 623000 | #Constraints: 20621
943.43/946.24 c #Conflicts: 624000 | #Constraints: 21621
943.43/946.24 c #Conflicts: 625000 | #Constraints: 22621
943.43/946.24 c #Conflicts: 626000 | #Constraints: 23621
943.43/946.24 c #Conflicts: 627000 | #Constraints: 24621
943.43/946.24 c #Conflicts: 628000 | #Constraints: 25621
943.43/946.24 c #Conflicts: 629000 | #Constraints: 26621
943.43/946.24 c #Conflicts: 630000 | #Constraints: 27621
943.43/946.24 c #Conflicts: 631000 | #Constraints: 28621
943.43/946.24 c #Conflicts: 632000 | #Constraints: 29621
943.43/946.24 c #Conflicts: 633000 | #Constraints: 30621
943.43/946.24 c #Conflicts: 634000 | #Constraints: 31621
943.43/946.24 c #Conflicts: 635000 | #Constraints: 32621
943.43/946.24 c #Conflicts: 636000 | #Constraints: 33621
943.43/946.24 c #Conflicts: 637000 | #Constraints: 34621
943.43/946.24 c INPROCESSING
943.43/946.24 c GARBAGE COLLECT
943.43/946.24 c #Conflicts: 638000 | #Constraints: 19820
943.43/946.24 c #Conflicts: 639000 | #Constraints: 20820
943.43/946.24 c #Conflicts: 640000 | #Constraints: 21820
943.43/946.24 c #Conflicts: 641000 | #Constraints: 22820
943.43/946.24 c #Conflicts: 642000 | #Constraints: 23820
943.43/946.24 c #Conflicts: 643000 | #Constraints: 24820
943.43/946.24 c #Conflicts: 644000 | #Constraints: 25820
943.43/946.24 c #Conflicts: 645000 | #Constraints: 26820
943.43/946.24 c #Conflicts: 646000 | #Constraints: 27820
943.43/946.24 c #Conflicts: 647000 | #Constraints: 28820
943.43/946.24 c #Conflicts: 648000 | #Constraints: 29820
943.43/946.24 c #Conflicts: 649000 | #Constraints: 30820
943.43/946.24 c #Conflicts: 650000 | #Constraints: 31820
943.43/946.24 c #Conflicts: 651000 | #Constraints: 32820
943.43/946.24 c #Conflicts: 652000 | #Constraints: 33820
943.43/946.24 c #Conflicts: 653000 | #Constraints: 34820
943.43/946.24 c INPROCESSING
943.43/946.24 c GARBAGE COLLECT
943.43/946.24 c #Conflicts: 654000 | #Constraints: 19817
943.43/946.24 c #Conflicts: 655000 | #Constraints: 20817
943.43/946.24 c #Conflicts: 656000 | #Constraints: 21817
943.43/946.24 c #Conflicts: 657000 | #Constraints: 22817
943.43/946.24 c #Conflicts: 658000 | #Constraints: 23817
943.43/946.24 c #Conflicts: 659000 | #Constraints: 24817
943.43/946.24 c #Conflicts: 660000 | #Constraints: 25817
943.43/946.24 c #Conflicts: 661000 | #Constraints: 26817
943.43/946.24 c #Conflicts: 662000 | #Constraints: 27817
943.43/946.24 c #Conflicts: 663000 | #Constraints: 28817
943.43/946.24 c #Conflicts: 664000 | #Constraints: 29817
1084.29/1087.46 c #Conflicts: 665000 | #Constraints: 30817
1084.29/1087.46 c #Conflicts: 666000 | #Constraints: 31817
1084.29/1087.46 c #Conflicts: 667000 | #Constraints: 32817
1084.29/1087.46 c #Conflicts: 668000 | #Constraints: 33817
1084.29/1087.46 c #Conflicts: 669000 | #Constraints: 34817
1084.29/1087.46 c INPROCESSING
1084.29/1087.46 c GARBAGE COLLECT
1084.29/1087.46 c #Conflicts: 670000 | #Constraints: 19633
1084.29/1087.46 c #Conflicts: 671000 | #Constraints: 20633
1084.29/1087.46 c #Conflicts: 672000 | #Constraints: 21633
1084.29/1087.46 c #Conflicts: 673000 | #Constraints: 22633
1084.29/1087.46 c #Conflicts: 674000 | #Constraints: 23633
1084.29/1087.46 c #Conflicts: 675000 | #Constraints: 24633
1084.29/1087.46 c #Conflicts: 676000 | #Constraints: 25633
1084.29/1087.46 c #Conflicts: 677000 | #Constraints: 26633
1084.29/1087.46 c #Conflicts: 678000 | #Constraints: 27633
1084.29/1087.46 c #Conflicts: 679000 | #Constraints: 28633
1084.29/1087.46 c #Conflicts: 680000 | #Constraints: 29633
1084.29/1087.46 c #Conflicts: 681000 | #Constraints: 30633
1084.29/1087.46 c #Conflicts: 682000 | #Constraints: 31633
1084.29/1087.46 c #Conflicts: 683000 | #Constraints: 32633
1084.29/1087.46 c #Conflicts: 684000 | #Constraints: 33633
1084.29/1087.46 c #Conflicts: 685000 | #Constraints: 34633
1084.29/1087.46 c #Conflicts: 686000 | #Constraints: 35633
1084.29/1087.46 c INPROCESSING
1084.29/1087.46 c GARBAGE COLLECT
1084.29/1087.46 c #Conflicts: 687000 | #Constraints: 20230
1084.29/1087.46 c #Conflicts: 688000 | #Constraints: 21230
1084.29/1087.46 c #Conflicts: 689000 | #Constraints: 22230
1084.29/1087.46 c #Conflicts: 690000 | #Constraints: 23230
1084.29/1087.46 c #Conflicts: 691000 | #Constraints: 24230
1084.29/1087.46 c #Conflicts: 692000 | #Constraints: 25230
1084.29/1087.46 c #Conflicts: 693000 | #Constraints: 26230
1084.29/1087.46 c #Conflicts: 694000 | #Constraints: 27230
1084.29/1087.46 c #Conflicts: 695000 | #Constraints: 28230
1084.29/1087.46 c #Conflicts: 696000 | #Constraints: 29230
1084.29/1087.46 c #Conflicts: 697000 | #Constraints: 30230
1084.29/1087.46 c #Conflicts: 698000 | #Constraints: 31230
1084.29/1087.46 c #Conflicts: 699000 | #Constraints: 32230
1084.29/1087.46 c #Conflicts: 700000 | #Constraints: 33230
1084.29/1087.46 c #Conflicts: 701000 | #Constraints: 34230
1084.29/1087.46 c #Conflicts: 702000 | #Constraints: 35230
1084.29/1087.46 c #Conflicts: 703000 | #Constraints: 36230
1084.29/1087.46 c INPROCESSING
1084.29/1087.46 c GARBAGE COLLECT
1084.29/1087.46 c #Conflicts: 704000 | #Constraints: 20634
1084.29/1087.46 c #Conflicts: 705000 | #Constraints: 21634
1084.29/1087.46 c #Conflicts: 706000 | #Constraints: 22634
1084.29/1087.46 c #Conflicts: 707000 | #Constraints: 23634
1084.29/1087.46 c #Conflicts: 708000 | #Constraints: 24634
1084.29/1087.46 c #Conflicts: 709000 | #Constraints: 25634
1084.29/1087.46 c #Conflicts: 710000 | #Constraints: 26634
1084.29/1087.46 c #Conflicts: 711000 | #Constraints: 27634
1084.29/1087.46 c #Conflicts: 712000 | #Constraints: 28634
1084.29/1087.46 c #Conflicts: 713000 | #Constraints: 29634
1084.29/1087.46 c #Conflicts: 714000 | #Constraints: 30634
1084.29/1087.46 c #Conflicts: 715000 | #Constraints: 31634
1084.29/1087.46 c #Conflicts: 716000 | #Constraints: 32634
1084.29/1087.46 c #Conflicts: 717000 | #Constraints: 33634
1084.29/1087.46 c #Conflicts: 718000 | #Constraints: 34634
1084.29/1087.46 c #Conflicts: 719000 | #Constraints: 35634
1084.29/1087.46 c #Conflicts: 720000 | #Constraints: 36634
1084.29/1087.46 c INPROCESSING
1084.29/1087.46 c GARBAGE COLLECT
1084.29/1087.46 c #Conflicts: 721000 | #Constraints: 20843
1084.29/1087.46 c #Conflicts: 722000 | #Constraints: 21843
1084.29/1087.46 c #Conflicts: 723000 | #Constraints: 22843
1084.29/1087.46 c #Conflicts: 724000 | #Constraints: 23843
1084.29/1087.46 c #Conflicts: 725000 | #Constraints: 24843
1084.29/1087.46 c #Conflicts: 726000 | #Constraints: 25843
1084.29/1087.46 c #Conflicts: 727000 | #Constraints: 26843
1084.29/1087.46 c #Conflicts: 728000 | #Constraints: 27843
1084.29/1087.46 c #Conflicts: 729000 | #Constraints: 28843
1084.29/1087.46 c #Conflicts: 730000 | #Constraints: 29843
1084.29/1087.46 c #Conflicts: 731000 | #Constraints: 30843
1084.29/1087.46 c #Conflicts: 732000 | #Constraints: 31843
1084.29/1087.46 c #Conflicts: 733000 | #Constraints: 32843
1084.29/1087.46 c #Conflicts: 734000 | #Constraints: 33843
1084.29/1087.46 c #Conflicts: 735000 | #Constraints: 34843
1084.29/1087.46 c #Conflicts: 736000 | #Constraints: 35843
1084.29/1087.46 c #Conflicts: 737000 | #Constraints: 36843
1084.29/1087.46 c INPROCESSING
1084.29/1087.46 c GARBAGE COLLECT
1084.29/1087.46 c #Conflicts: 738000 | #Constraints: 20835
1084.29/1087.46 c #Conflicts: 739000 | #Constraints: 21835
1084.29/1087.46 c #Conflicts: 740000 | #Constraints: 22835
1225.90/1229.49 c #Conflicts: 741000 | #Constraints: 23835
1225.90/1229.49 c #Conflicts: 742000 | #Constraints: 24835
1225.90/1229.49 c #Conflicts: 743000 | #Constraints: 25835
1225.90/1229.49 c #Conflicts: 744000 | #Constraints: 26835
1225.90/1229.49 c #Conflicts: 745000 | #Constraints: 27835
1225.90/1229.49 c #Conflicts: 746000 | #Constraints: 28835
1225.90/1229.49 c #Conflicts: 747000 | #Constraints: 29835
1225.90/1229.49 c #Conflicts: 748000 | #Constraints: 30835
1225.90/1229.49 c #Conflicts: 749000 | #Constraints: 31835
1225.90/1229.49 c #Conflicts: 750000 | #Constraints: 32835
1225.90/1229.49 c #Conflicts: 751000 | #Constraints: 33835
1225.90/1229.49 c #Conflicts: 752000 | #Constraints: 34835
1225.90/1229.49 c #Conflicts: 753000 | #Constraints: 35835
1225.90/1229.49 c #Conflicts: 754000 | #Constraints: 36835
1225.90/1229.49 c INPROCESSING
1225.90/1229.49 c GARBAGE COLLECT
1225.90/1229.49 c #Conflicts: 755000 | #Constraints: 20610
1225.90/1229.49 c #Conflicts: 756000 | #Constraints: 21610
1225.90/1229.49 c #Conflicts: 757000 | #Constraints: 22610
1225.90/1229.49 c #Conflicts: 758000 | #Constraints: 23610
1225.90/1229.49 c #Conflicts: 759000 | #Constraints: 24610
1225.90/1229.49 c #Conflicts: 760000 | #Constraints: 25610
1225.90/1229.49 c #Conflicts: 761000 | #Constraints: 26610
1225.90/1229.49 c #Conflicts: 762000 | #Constraints: 27610
1225.90/1229.49 c #Conflicts: 763000 | #Constraints: 28610
1225.90/1229.49 c #Conflicts: 764000 | #Constraints: 29610
1225.90/1229.49 c #Conflicts: 765000 | #Constraints: 30610
1225.90/1229.49 c #Conflicts: 766000 | #Constraints: 31610
1225.90/1229.49 c #Conflicts: 767000 | #Constraints: 32610
1225.90/1229.49 c #Conflicts: 768000 | #Constraints: 33610
1225.90/1229.49 c #Conflicts: 769000 | #Constraints: 34610
1225.90/1229.49 c #Conflicts: 770000 | #Constraints: 35610
1225.90/1229.49 c #Conflicts: 771000 | #Constraints: 36610
1225.90/1229.49 c #Conflicts: 772000 | #Constraints: 37610
1225.90/1229.49 c INPROCESSING
1225.90/1229.49 c GARBAGE COLLECT
1225.90/1229.49 c #Conflicts: 773000 | #Constraints: 21220
1225.90/1229.49 c #Conflicts: 774000 | #Constraints: 22220
1225.90/1229.49 c #Conflicts: 775000 | #Constraints: 23220
1225.90/1229.49 c #Conflicts: 776000 | #Constraints: 24220
1225.90/1229.49 c #Conflicts: 777000 | #Constraints: 25220
1225.90/1229.49 c #Conflicts: 778000 | #Constraints: 26220
1225.90/1229.49 c #Conflicts: 779000 | #Constraints: 27220
1225.90/1229.49 c #Conflicts: 780000 | #Constraints: 28220
1225.90/1229.49 c #Conflicts: 781000 | #Constraints: 29220
1225.90/1229.49 c #Conflicts: 782000 | #Constraints: 30220
1225.90/1229.49 c #Conflicts: 783000 | #Constraints: 31220
1225.90/1229.49 c #Conflicts: 784000 | #Constraints: 32220
1225.90/1229.49 c #Conflicts: 785000 | #Constraints: 33220
1225.90/1229.49 c #Conflicts: 786000 | #Constraints: 34220
1225.90/1229.49 c #Conflicts: 787000 | #Constraints: 35220
1225.90/1229.49 c #Conflicts: 788000 | #Constraints: 36220
1225.90/1229.49 c #Conflicts: 789000 | #Constraints: 37220
1225.90/1229.49 c #Conflicts: 790000 | #Constraints: 38220
1225.90/1229.49 c INPROCESSING
1225.90/1229.49 c GARBAGE COLLECT
1225.90/1229.49 c #Conflicts: 791000 | #Constraints: 21654
1225.90/1229.49 c #Conflicts: 792000 | #Constraints: 22654
1225.90/1229.49 c #Conflicts: 793000 | #Constraints: 23654
1225.90/1229.49 c #Conflicts: 794000 | #Constraints: 24654
1225.90/1229.49 c #Conflicts: 795000 | #Constraints: 25654
1225.90/1229.49 c #Conflicts: 796000 | #Constraints: 26654
1225.90/1229.49 c #Conflicts: 797000 | #Constraints: 27654
1225.90/1229.49 c #Conflicts: 798000 | #Constraints: 28654
1225.90/1229.49 c #Conflicts: 799000 | #Constraints: 29654
1225.90/1229.49 c #Conflicts: 800000 | #Constraints: 30654
1225.90/1229.49 c #Conflicts: 801000 | #Constraints: 31654
1225.90/1229.49 c #Conflicts: 802000 | #Constraints: 32654
1225.90/1229.49 c #Conflicts: 803000 | #Constraints: 33654
1225.90/1229.49 c #Conflicts: 804000 | #Constraints: 34654
1225.90/1229.49 c #Conflicts: 805000 | #Constraints: 35654
1225.90/1229.49 c #Conflicts: 806000 | #Constraints: 36654
1225.90/1229.49 c #Conflicts: 807000 | #Constraints: 37654
1225.90/1229.49 c #Conflicts: 808000 | #Constraints: 38654
1225.90/1229.49 c INPROCESSING
1225.90/1229.49 c GARBAGE COLLECT
1225.90/1229.49 c #Conflicts: 809000 | #Constraints: 21861
1225.90/1229.49 c #Conflicts: 810000 | #Constraints: 22861
1225.90/1229.49 c #Conflicts: 811000 | #Constraints: 23861
1225.90/1229.49 c #Conflicts: 812000 | #Constraints: 24861
1225.90/1229.49 c #Conflicts: 813000 | #Constraints: 25861
1225.90/1229.49 c #Conflicts: 814000 | #Constraints: 26861
1225.90/1229.49 c #Conflicts: 815000 | #Constraints: 27861
1225.90/1229.49 c #Conflicts: 816000 | #Constraints: 28861
1403.73/1407.70 c #Conflicts: 817000 | #Constraints: 29861
1403.73/1407.70 c #Conflicts: 818000 | #Constraints: 30861
1403.73/1407.70 c #Conflicts: 819000 | #Constraints: 31861
1403.73/1407.70 c #Conflicts: 820000 | #Constraints: 32861
1403.73/1407.70 c #Conflicts: 821000 | #Constraints: 33861
1403.73/1407.70 c #Conflicts: 822000 | #Constraints: 34861
1403.73/1407.70 c #Conflicts: 823000 | #Constraints: 35861
1403.73/1407.70 c #Conflicts: 824000 | #Constraints: 36861
1403.73/1407.70 c #Conflicts: 825000 | #Constraints: 37861
1403.73/1407.70 c #Conflicts: 826000 | #Constraints: 38861
1403.73/1407.70 c INPROCESSING
1403.73/1407.70 c GARBAGE COLLECT
1403.73/1407.70 c #Conflicts: 827000 | #Constraints: 21865
1403.73/1407.70 c #Conflicts: 828000 | #Constraints: 22865
1403.73/1407.70 c #Conflicts: 829000 | #Constraints: 23865
1403.73/1407.70 c #Conflicts: 830000 | #Constraints: 24865
1403.73/1407.70 c #Conflicts: 831000 | #Constraints: 25865
1403.73/1407.70 c #Conflicts: 832000 | #Constraints: 26865
1403.73/1407.70 c #Conflicts: 833000 | #Constraints: 27865
1403.73/1407.70 c #Conflicts: 834000 | #Constraints: 28865
1403.73/1407.70 c #Conflicts: 835000 | #Constraints: 29865
1403.73/1407.70 c #Conflicts: 836000 | #Constraints: 30865
1403.73/1407.70 c #Conflicts: 837000 | #Constraints: 31865
1403.73/1407.70 c #Conflicts: 838000 | #Constraints: 32865
1403.73/1407.70 c #Conflicts: 839000 | #Constraints: 33865
1403.73/1407.70 c #Conflicts: 840000 | #Constraints: 34865
1403.73/1407.70 c #Conflicts: 841000 | #Constraints: 35865
1403.73/1407.70 c #Conflicts: 842000 | #Constraints: 36865
1403.73/1407.70 c #Conflicts: 843000 | #Constraints: 37865
1403.73/1407.70 c #Conflicts: 844000 | #Constraints: 38865
1403.73/1407.70 c INPROCESSING
1403.73/1407.70 c GARBAGE COLLECT
1403.73/1407.70 c #Conflicts: 845000 | #Constraints: 21662
1403.73/1407.70 c #Conflicts: 846000 | #Constraints: 22662
1403.73/1407.70 c #Conflicts: 847000 | #Constraints: 23662
1403.73/1407.70 c #Conflicts: 848000 | #Constraints: 24662
1403.73/1407.70 c #Conflicts: 849000 | #Constraints: 25662
1403.73/1407.70 c #Conflicts: 850000 | #Constraints: 26662
1403.73/1407.70 c #Conflicts: 851000 | #Constraints: 27662
1403.73/1407.70 c #Conflicts: 852000 | #Constraints: 28662
1403.73/1407.70 c #Conflicts: 853000 | #Constraints: 29662
1403.73/1407.70 c #Conflicts: 854000 | #Constraints: 30662
1403.73/1407.70 c #Conflicts: 855000 | #Constraints: 31662
1403.73/1407.70 c #Conflicts: 856000 | #Constraints: 32662
1403.73/1407.70 c #Conflicts: 857000 | #Constraints: 33662
1403.73/1407.70 c #Conflicts: 858000 | #Constraints: 34662
1403.73/1407.70 c #Conflicts: 859000 | #Constraints: 35662
1403.73/1407.70 c #Conflicts: 860000 | #Constraints: 36662
1403.73/1407.70 c #Conflicts: 861000 | #Constraints: 37662
1403.73/1407.70 c #Conflicts: 862000 | #Constraints: 38662
1403.73/1407.70 c #Conflicts: 863000 | #Constraints: 39662
1403.73/1407.70 c INPROCESSING
1403.73/1407.70 c GARBAGE COLLECT
1403.73/1407.70 c #Conflicts: 864000 | #Constraints: 22246
1403.73/1407.70 c #Conflicts: 865000 | #Constraints: 23246
1403.73/1407.70 c #Conflicts: 866000 | #Constraints: 24246
1403.73/1407.70 c #Conflicts: 867000 | #Constraints: 25246
1403.73/1407.70 c #Conflicts: 868000 | #Constraints: 26246
1403.73/1407.70 c #Conflicts: 869000 | #Constraints: 27246
1403.73/1407.70 c #Conflicts: 870000 | #Constraints: 28246
1403.73/1407.70 c #Conflicts: 871000 | #Constraints: 29246
1403.73/1407.70 c #Conflicts: 872000 | #Constraints: 30246
1403.73/1407.70 c #Conflicts: 873000 | #Constraints: 31246
1403.73/1407.70 c #Conflicts: 874000 | #Constraints: 32246
1403.73/1407.70 c #Conflicts: 875000 | #Constraints: 33246
1403.73/1407.70 c #Conflicts: 876000 | #Constraints: 34246
1403.73/1407.70 c #Conflicts: 877000 | #Constraints: 35246
1403.73/1407.70 c #Conflicts: 878000 | #Constraints: 36246
1403.73/1407.70 c #Conflicts: 879000 | #Constraints: 37246
1403.73/1407.70 c #Conflicts: 880000 | #Constraints: 38246
1403.73/1407.70 c #Conflicts: 881000 | #Constraints: 39246
1403.73/1407.70 c #Conflicts: 882000 | #Constraints: 40246
1403.73/1407.70 c INPROCESSING
1403.73/1407.70 c GARBAGE COLLECT
1403.73/1407.70 c #Conflicts: 883000 | #Constraints: 22648
1403.73/1407.70 c #Conflicts: 884000 | #Constraints: 23648
1403.73/1407.70 c #Conflicts: 885000 | #Constraints: 24648
1403.73/1407.70 c #Conflicts: 886000 | #Constraints: 25648
1403.73/1407.70 c #Conflicts: 887000 | #Constraints: 26648
1403.73/1407.70 c #Conflicts: 888000 | #Constraints: 27648
1403.73/1407.70 c #Conflicts: 889000 | #Constraints: 28648
1403.73/1407.70 c #Conflicts: 890000 | #Constraints: 29648
1403.73/1407.70 c #Conflicts: 891000 | #Constraints: 30648
1403.73/1407.70 c #Conflicts: 892000 | #Constraints: 31648
1551.84/1556.24 c #Conflicts: 893000 | #Constraints: 32648
1551.84/1556.24 c #Conflicts: 894000 | #Constraints: 33648
1551.84/1556.24 c #Conflicts: 895000 | #Constraints: 34648
1551.84/1556.24 c #Conflicts: 896000 | #Constraints: 35648
1551.84/1556.24 c #Conflicts: 897000 | #Constraints: 36648
1551.84/1556.24 c #Conflicts: 898000 | #Constraints: 37648
1551.84/1556.24 c #Conflicts: 899000 | #Constraints: 38648
1551.84/1556.24 c #Conflicts: 900000 | #Constraints: 39648
1551.84/1556.24 c #Conflicts: 901000 | #Constraints: 40648
1551.84/1556.24 c INPROCESSING
1551.84/1556.24 c GARBAGE COLLECT
1551.84/1556.24 c #Conflicts: 902000 | #Constraints: 22829
1551.84/1556.24 c #Conflicts: 903000 | #Constraints: 23829
1551.84/1556.24 c #Conflicts: 904000 | #Constraints: 24829
1551.84/1556.24 c #Conflicts: 905000 | #Constraints: 25829
1551.84/1556.24 c #Conflicts: 906000 | #Constraints: 26829
1551.84/1556.24 c #Conflicts: 907000 | #Constraints: 27829
1551.84/1556.24 c #Conflicts: 908000 | #Constraints: 28829
1551.84/1556.24 c #Conflicts: 909000 | #Constraints: 29829
1551.84/1556.24 c #Conflicts: 910000 | #Constraints: 30829
1551.84/1556.24 c #Conflicts: 911000 | #Constraints: 31829
1551.84/1556.24 c #Conflicts: 912000 | #Constraints: 32829
1551.84/1556.24 c #Conflicts: 913000 | #Constraints: 33829
1551.84/1556.24 c #Conflicts: 914000 | #Constraints: 34829
1551.84/1556.24 c #Conflicts: 915000 | #Constraints: 35829
1551.84/1556.24 c #Conflicts: 916000 | #Constraints: 36829
1551.84/1556.24 c #Conflicts: 917000 | #Constraints: 37829
1551.84/1556.24 c #Conflicts: 918000 | #Constraints: 38829
1551.84/1556.24 c #Conflicts: 919000 | #Constraints: 39829
1551.84/1556.24 c #Conflicts: 920000 | #Constraints: 40829
1551.84/1556.24 c INPROCESSING
1551.84/1556.24 c GARBAGE COLLECT
1551.84/1556.24 c #Conflicts: 921000 | #Constraints: 22853
1551.84/1556.24 c #Conflicts: 922000 | #Constraints: 23853
1551.84/1556.24 c #Conflicts: 923000 | #Constraints: 24853
1551.84/1556.24 c #Conflicts: 924000 | #Constraints: 25853
1551.84/1556.24 c #Conflicts: 925000 | #Constraints: 26853
1551.84/1556.24 c #Conflicts: 926000 | #Constraints: 27853
1551.84/1556.24 c #Conflicts: 927000 | #Constraints: 28853
1551.84/1556.24 c #Conflicts: 928000 | #Constraints: 29853
1551.84/1556.24 c #Conflicts: 929000 | #Constraints: 30853
1551.84/1556.24 c #Conflicts: 930000 | #Constraints: 31853
1551.84/1556.24 c #Conflicts: 931000 | #Constraints: 32853
1551.84/1556.24 c #Conflicts: 932000 | #Constraints: 33853
1551.84/1556.24 c #Conflicts: 933000 | #Constraints: 34853
1551.84/1556.24 c #Conflicts: 934000 | #Constraints: 35853
1551.84/1556.24 c #Conflicts: 935000 | #Constraints: 36853
1551.84/1556.24 c #Conflicts: 936000 | #Constraints: 37853
1551.84/1556.24 c #Conflicts: 937000 | #Constraints: 38853
1551.84/1556.24 c #Conflicts: 938000 | #Constraints: 39853
1551.84/1556.24 c #Conflicts: 939000 | #Constraints: 40853
1551.84/1556.24 c INPROCESSING
1551.84/1556.24 c GARBAGE COLLECT
1551.84/1556.24 c #Conflicts: 940000 | #Constraints: 22643
1551.84/1556.24 c #Conflicts: 941000 | #Constraints: 23643
1551.84/1556.24 c #Conflicts: 942000 | #Constraints: 24643
1551.84/1556.24 c #Conflicts: 943000 | #Constraints: 25643
1551.84/1556.24 c #Conflicts: 944000 | #Constraints: 26643
1551.84/1556.24 c #Conflicts: 945000 | #Constraints: 27643
1551.84/1556.24 c #Conflicts: 946000 | #Constraints: 28643
1551.84/1556.24 c #Conflicts: 947000 | #Constraints: 29643
1551.84/1556.24 c #Conflicts: 948000 | #Constraints: 30643
1551.84/1556.24 c #Conflicts: 949000 | #Constraints: 31643
1551.84/1556.24 c #Conflicts: 950000 | #Constraints: 32643
1551.84/1556.24 c #Conflicts: 951000 | #Constraints: 33643
1551.84/1556.24 c #Conflicts: 952000 | #Constraints: 34643
1551.84/1556.24 c #Conflicts: 953000 | #Constraints: 35643
1551.84/1556.24 c #Conflicts: 954000 | #Constraints: 36643
1551.84/1556.24 c #Conflicts: 955000 | #Constraints: 37643
1551.84/1556.24 c #Conflicts: 956000 | #Constraints: 38643
1551.84/1556.24 c #Conflicts: 957000 | #Constraints: 39643
1551.84/1556.24 c #Conflicts: 958000 | #Constraints: 40643
1551.84/1556.24 c #Conflicts: 959000 | #Constraints: 41643
1551.84/1556.24 c INPROCESSING
1551.84/1556.24 c GARBAGE COLLECT
1551.84/1556.24 c #Conflicts: 960000 | #Constraints: 23255
1551.84/1556.24 c #Conflicts: 961000 | #Constraints: 24255
1551.84/1556.24 c #Conflicts: 962000 | #Constraints: 25255
1551.84/1556.24 c #Conflicts: 963000 | #Constraints: 26255
1551.84/1556.24 c #Conflicts: 964000 | #Constraints: 27255
1551.84/1556.24 c #Conflicts: 965000 | #Constraints: 28255
1551.84/1556.24 c #Conflicts: 966000 | #Constraints: 29255
1551.84/1556.24 c #Conflicts: 967000 | #Constraints: 30255
1551.84/1556.24 c #Conflicts: 968000 | #Constraints: 31255
1551.84/1556.24 c #Conflicts: 969000 | #Constraints: 32255
1681.81/1686.53 c #Conflicts: 970000 | #Constraints: 33255
1681.81/1686.53 c #Conflicts: 971000 | #Constraints: 34255
1681.81/1686.53 c #Conflicts: 972000 | #Constraints: 35255
1681.81/1686.53 c #Conflicts: 973000 | #Constraints: 36255
1681.81/1686.53 c #Conflicts: 974000 | #Constraints: 37255
1681.81/1686.53 c #Conflicts: 975000 | #Constraints: 38255
1681.81/1686.53 c #Conflicts: 976000 | #Constraints: 39255
1681.81/1686.53 c #Conflicts: 977000 | #Constraints: 40255
1681.81/1686.53 c #Conflicts: 978000 | #Constraints: 41255
1681.81/1686.53 c #Conflicts: 979000 | #Constraints: 42255
1681.81/1686.53 c INPROCESSING
1681.81/1686.53 c GARBAGE COLLECT
1681.81/1686.53 c #Conflicts: 980000 | #Constraints: 23648
1681.81/1686.53 c #Conflicts: 981000 | #Constraints: 24648
1681.81/1686.53 c #Conflicts: 982000 | #Constraints: 25648
1681.81/1686.53 c #Conflicts: 983000 | #Constraints: 26648
1681.81/1686.53 c #Conflicts: 984000 | #Constraints: 27648
1681.81/1686.53 c #Conflicts: 985000 | #Constraints: 28648
1681.81/1686.53 c #Conflicts: 986000 | #Constraints: 29648
1681.81/1686.53 c #Conflicts: 987000 | #Constraints: 30648
1681.81/1686.53 c #Conflicts: 988000 | #Constraints: 31648
1681.81/1686.53 c #Conflicts: 989000 | #Constraints: 32648
1681.81/1686.53 c #Conflicts: 990000 | #Constraints: 33648
1681.81/1686.53 c #Conflicts: 991000 | #Constraints: 34648
1681.81/1686.53 c #Conflicts: 992000 | #Constraints: 35648
1681.81/1686.53 c #Conflicts: 993000 | #Constraints: 36648
1681.81/1686.53 c #Conflicts: 994000 | #Constraints: 37648
1681.81/1686.53 c #Conflicts: 995000 | #Constraints: 38648
1681.81/1686.53 c #Conflicts: 996000 | #Constraints: 39648
1681.81/1686.53 c #Conflicts: 997000 | #Constraints: 40648
1681.81/1686.53 c #Conflicts: 998000 | #Constraints: 41648
1681.81/1686.53 c #Conflicts: 999000 | #Constraints: 42648
1681.81/1686.53 c INPROCESSING
1681.81/1686.53 c GARBAGE COLLECT
1681.81/1686.53 c #Conflicts: 1000000 | #Constraints: 23830
1681.81/1686.53 c #Conflicts: 1001000 | #Constraints: 24830
1681.81/1686.53 c #Conflicts: 1002000 | #Constraints: 25830
1681.81/1686.53 c #Conflicts: 1003000 | #Constraints: 26830
1681.81/1686.53 c #Conflicts: 1004000 | #Constraints: 27830
1681.81/1686.53 c #Conflicts: 1005000 | #Constraints: 28830
1681.81/1686.53 c #Conflicts: 1006000 | #Constraints: 29830
1681.81/1686.53 c #Conflicts: 1007000 | #Constraints: 30830
1681.81/1686.53 c #Conflicts: 1008000 | #Constraints: 31830
1681.81/1686.53 c #Conflicts: 1009000 | #Constraints: 32830
1681.81/1686.53 c #Conflicts: 1010000 | #Constraints: 33830
1681.81/1686.53 c #Conflicts: 1011000 | #Constraints: 34830
1681.81/1686.53 c #Conflicts: 1012000 | #Constraints: 35830
1681.81/1686.53 c #Conflicts: 1013000 | #Constraints: 36830
1681.81/1686.53 c #Conflicts: 1014000 | #Constraints: 37830
1681.81/1686.53 c #Conflicts: 1015000 | #Constraints: 38830
1681.81/1686.53 c #Conflicts: 1016000 | #Constraints: 39830
1681.81/1686.53 c #Conflicts: 1017000 | #Constraints: 40830
1681.81/1686.53 c #Conflicts: 1018000 | #Constraints: 41830
1681.81/1686.53 c #Conflicts: 1019000 | #Constraints: 42830
1681.81/1686.53 c INPROCESSING
1681.81/1686.53 c GARBAGE COLLECT
1681.81/1686.53 c #Conflicts: 1020000 | #Constraints: 23830
1681.81/1686.53 c #Conflicts: 1021000 | #Constraints: 24830
1681.81/1686.53 c #Conflicts: 1022000 | #Constraints: 25830
1681.81/1686.53 c #Conflicts: 1023000 | #Constraints: 26830
1681.81/1686.53 c #Conflicts: 1024000 | #Constraints: 27830
1681.81/1686.53 c #Conflicts: 1025000 | #Constraints: 28830
1681.81/1686.53 c #Conflicts: 1026000 | #Constraints: 29830
1681.81/1686.53 c #Conflicts: 1027000 | #Constraints: 30830
1681.81/1686.53 c #Conflicts: 1028000 | #Constraints: 31830
1681.81/1686.53 c #Conflicts: 1029000 | #Constraints: 32830
1681.81/1686.53 c #Conflicts: 1030000 | #Constraints: 33830
1681.81/1686.53 c #Conflicts: 1031000 | #Constraints: 34830
1681.81/1686.53 c #Conflicts: 1032000 | #Constraints: 35830
1681.81/1686.53 c #Conflicts: 1033000 | #Constraints: 36830
1681.81/1686.53 c #Conflicts: 1034000 | #Constraints: 37830
1681.81/1686.53 c #Conflicts: 1035000 | #Constraints: 38830
1681.81/1686.53 c #Conflicts: 1036000 | #Constraints: 39830
1681.81/1686.53 c #Conflicts: 1037000 | #Constraints: 40830
1681.81/1686.53 c #Conflicts: 1038000 | #Constraints: 41830
1681.81/1686.53 c #Conflicts: 1039000 | #Constraints: 42830
1681.81/1686.53 c INPROCESSING
1681.81/1686.53 c GARBAGE COLLECT
1681.81/1686.53 c #Conflicts: 1040000 | #Constraints: 23637
1681.81/1686.53 c #Conflicts: 1041000 | #Constraints: 24637
1681.81/1686.53 c #Conflicts: 1042000 | #Constraints: 25637
1681.81/1686.53 c #Conflicts: 1043000 | #Constraints: 26637
1681.81/1686.53 c #Conflicts: 1044000 | #Constraints: 27637
1681.81/1686.53 c #Conflicts: 1045000 | #Constraints: 28637
1871.76/1877.11 c #Conflicts: 1046000 | #Constraints: 29637
1871.76/1877.11 c #Conflicts: 1047000 | #Constraints: 30637
1871.76/1877.11 c #Conflicts: 1048000 | #Constraints: 31637
1871.76/1877.11 c #Conflicts: 1049000 | #Constraints: 32637
1871.76/1877.11 c #Conflicts: 1050000 | #Constraints: 33637
1871.76/1877.11 c #Conflicts: 1051000 | #Constraints: 34637
1871.76/1877.11 c #Conflicts: 1052000 | #Constraints: 35637
1871.76/1877.11 c #Conflicts: 1053000 | #Constraints: 36637
1871.76/1877.11 c #Conflicts: 1054000 | #Constraints: 37637
1871.76/1877.11 c #Conflicts: 1055000 | #Constraints: 38637
1871.76/1877.11 c #Conflicts: 1056000 | #Constraints: 39637
1871.76/1877.11 c #Conflicts: 1057000 | #Constraints: 40637
1871.76/1877.11 c #Conflicts: 1058000 | #Constraints: 41637
1871.76/1877.11 c #Conflicts: 1059000 | #Constraints: 42637
1871.76/1877.11 c #Conflicts: 1060000 | #Constraints: 43637
1871.76/1877.11 c INPROCESSING
1871.76/1877.11 c GARBAGE COLLECT
1871.76/1877.11 c #Conflicts: 1061000 | #Constraints: 24240
1871.76/1877.11 c #Conflicts: 1062000 | #Constraints: 25240
1871.76/1877.11 c #Conflicts: 1063000 | #Constraints: 26240
1871.76/1877.11 c #Conflicts: 1064000 | #Constraints: 27240
1871.76/1877.11 c #Conflicts: 1065000 | #Constraints: 28240
1871.76/1877.11 c #Conflicts: 1066000 | #Constraints: 29240
1871.76/1877.11 c #Conflicts: 1067000 | #Constraints: 30240
1871.76/1877.11 c #Conflicts: 1068000 | #Constraints: 31240
1871.76/1877.11 c #Conflicts: 1069000 | #Constraints: 32240
1871.76/1877.11 c #Conflicts: 1070000 | #Constraints: 33240
1871.76/1877.11 c #Conflicts: 1071000 | #Constraints: 34240
1871.76/1877.11 c #Conflicts: 1072000 | #Constraints: 35240
1871.76/1877.11 c #Conflicts: 1073000 | #Constraints: 36240
1871.76/1877.11 c #Conflicts: 1074000 | #Constraints: 37240
1871.76/1877.11 c #Conflicts: 1075000 | #Constraints: 38240
1871.76/1877.11 c #Conflicts: 1076000 | #Constraints: 39240
1871.76/1877.11 c #Conflicts: 1077000 | #Constraints: 40240
1871.76/1877.11 c #Conflicts: 1078000 | #Constraints: 41240
1871.76/1877.11 c #Conflicts: 1079000 | #Constraints: 42240
1871.76/1877.11 c #Conflicts: 1080000 | #Constraints: 43240
1871.76/1877.11 c #Conflicts: 1081000 | #Constraints: 44240
1871.76/1877.11 c INPROCESSING
1871.76/1877.11 c GARBAGE COLLECT
1871.76/1877.11 c #Conflicts: 1082000 | #Constraints: 24633
1871.76/1877.11 c #Conflicts: 1083000 | #Constraints: 25633
1871.76/1877.11 c #Conflicts: 1084000 | #Constraints: 26633
1871.76/1877.11 c #Conflicts: 1085000 | #Constraints: 27633
1871.76/1877.11 c #Conflicts: 1086000 | #Constraints: 28633
1871.76/1877.11 c #Conflicts: 1087000 | #Constraints: 29633
1871.76/1877.11 c #Conflicts: 1088000 | #Constraints: 30633
1871.76/1877.11 c #Conflicts: 1089000 | #Constraints: 31633
1871.76/1877.11 c #Conflicts: 1090000 | #Constraints: 32633
1871.76/1877.11 c #Conflicts: 1091000 | #Constraints: 33633
1871.76/1877.11 c #Conflicts: 1092000 | #Constraints: 34633
1871.76/1877.11 c #Conflicts: 1093000 | #Constraints: 35633
1871.76/1877.11 c #Conflicts: 1094000 | #Constraints: 36633
1871.76/1877.11 c #Conflicts: 1095000 | #Constraints: 37633
1871.76/1877.11 c #Conflicts: 1096000 | #Constraints: 38633
1871.76/1877.11 c #Conflicts: 1097000 | #Constraints: 39633
1871.76/1877.11 c #Conflicts: 1098000 | #Constraints: 40633
1871.76/1877.11 c #Conflicts: 1099000 | #Constraints: 41633
1871.76/1877.11 c #Conflicts: 1100000 | #Constraints: 42633
1871.76/1877.11 c #Conflicts: 1101000 | #Constraints: 43633
1871.76/1877.11 c #Conflicts: 1102000 | #Constraints: 44633
1871.76/1877.11 c INPROCESSING
1871.76/1877.11 c GARBAGE COLLECT
1871.76/1877.11 c #Conflicts: 1103000 | #Constraints: 24833
1871.76/1877.11 c #Conflicts: 1104000 | #Constraints: 25833
1871.76/1877.11 c #Conflicts: 1105000 | #Constraints: 26833
1871.76/1877.11 c #Conflicts: 1106000 | #Constraints: 27833
1871.76/1877.11 c #Conflicts: 1107000 | #Constraints: 28833
1871.76/1877.11 c #Conflicts: 1108000 | #Constraints: 29833
1871.76/1877.11 c #Conflicts: 1109000 | #Constraints: 30833
1871.76/1877.11 c #Conflicts: 1110000 | #Constraints: 31833
1871.76/1877.11 c #Conflicts: 1111000 | #Constraints: 32833
1871.76/1877.11 c #Conflicts: 1112000 | #Constraints: 33833
1871.76/1877.11 c #Conflicts: 1113000 | #Constraints: 34833
1871.76/1877.11 c #Conflicts: 1114000 | #Constraints: 35833
1871.76/1877.11 c #Conflicts: 1115000 | #Constraints: 36833
1871.76/1877.11 c #Conflicts: 1116000 | #Constraints: 37833
1871.76/1877.11 c #Conflicts: 1117000 | #Constraints: 38833
1871.76/1877.11 c #Conflicts: 1118000 | #Constraints: 39833
1871.76/1877.11 c #Conflicts: 1119000 | #Constraints: 40833
1871.76/1877.11 c #Conflicts: 1120000 | #Constraints: 41833
1871.76/1877.11 c #Conflicts: 1121000 | #Constraints: 42833
1871.76/1877.11 c #Conflicts: 1122000 | #Constraints: 43833
2074.35/2080.21 c #Conflicts: 1123000 | #Constraints: 44833
2074.35/2080.21 c INPROCESSING
2074.35/2080.21 c GARBAGE COLLECT
2074.35/2080.21 c #Conflicts: 1124000 | #Constraints: 24826
2074.35/2080.21 c #Conflicts: 1125000 | #Constraints: 25826
2074.35/2080.21 c #Conflicts: 1126000 | #Constraints: 26826
2074.35/2080.21 c #Conflicts: 1127000 | #Constraints: 27826
2074.35/2080.21 c #Conflicts: 1128000 | #Constraints: 28826
2074.35/2080.21 c #Conflicts: 1129000 | #Constraints: 29826
2074.35/2080.21 c #Conflicts: 1130000 | #Constraints: 30826
2074.35/2080.21 c #Conflicts: 1131000 | #Constraints: 31826
2074.35/2080.21 c #Conflicts: 1132000 | #Constraints: 32826
2074.35/2080.21 c #Conflicts: 1133000 | #Constraints: 33826
2074.35/2080.21 c #Conflicts: 1134000 | #Constraints: 34826
2074.35/2080.21 c #Conflicts: 1135000 | #Constraints: 35826
2074.35/2080.21 c #Conflicts: 1136000 | #Constraints: 36826
2074.35/2080.21 c #Conflicts: 1137000 | #Constraints: 37826
2074.35/2080.21 c #Conflicts: 1138000 | #Constraints: 38826
2074.35/2080.21 c #Conflicts: 1139000 | #Constraints: 39826
2074.35/2080.21 c #Conflicts: 1140000 | #Constraints: 40826
2074.35/2080.21 c #Conflicts: 1141000 | #Constraints: 41826
2074.35/2080.21 c #Conflicts: 1142000 | #Constraints: 42826
2074.35/2080.21 c #Conflicts: 1143000 | #Constraints: 43826
2074.35/2080.21 c #Conflicts: 1144000 | #Constraints: 44826
2074.35/2080.21 c INPROCESSING
2074.35/2080.21 c GARBAGE COLLECT
2074.35/2080.21 c #Conflicts: 1145000 | #Constraints: 24631
2074.35/2080.21 c #Conflicts: 1146000 | #Constraints: 25631
2074.35/2080.21 c #Conflicts: 1147000 | #Constraints: 26631
2074.35/2080.21 c #Conflicts: 1148000 | #Constraints: 27631
2074.35/2080.21 c #Conflicts: 1149000 | #Constraints: 28631
2074.35/2080.21 c #Conflicts: 1150000 | #Constraints: 29631
2074.35/2080.21 c #Conflicts: 1151000 | #Constraints: 30631
2074.35/2080.21 c #Conflicts: 1152000 | #Constraints: 31631
2074.35/2080.21 c #Conflicts: 1153000 | #Constraints: 32631
2074.35/2080.21 c #Conflicts: 1154000 | #Constraints: 33631
2074.35/2080.21 c #Conflicts: 1155000 | #Constraints: 34631
2074.35/2080.21 c #Conflicts: 1156000 | #Constraints: 35631
2074.35/2080.21 c #Conflicts: 1157000 | #Constraints: 36631
2074.35/2080.21 c #Conflicts: 1158000 | #Constraints: 37631
2074.35/2080.21 c #Conflicts: 1159000 | #Constraints: 38631
2074.35/2080.21 c #Conflicts: 1160000 | #Constraints: 39631
2074.35/2080.21 c #Conflicts: 1161000 | #Constraints: 40631
2074.35/2080.21 c #Conflicts: 1162000 | #Constraints: 41631
2074.35/2080.21 c #Conflicts: 1163000 | #Constraints: 42631
2074.35/2080.21 c #Conflicts: 1164000 | #Constraints: 43631
2074.35/2080.21 c #Conflicts: 1165000 | #Constraints: 44631
2074.35/2080.21 c #Conflicts: 1166000 | #Constraints: 45631
2074.35/2080.21 c INPROCESSING
2074.35/2080.21 c GARBAGE COLLECT
2074.35/2080.21 c #Conflicts: 1167000 | #Constraints: 25235
2074.35/2080.21 c #Conflicts: 1168000 | #Constraints: 26235
2074.35/2080.21 c #Conflicts: 1169000 | #Constraints: 27235
2074.35/2080.21 c #Conflicts: 1170000 | #Constraints: 28235
2074.35/2080.21 c #Conflicts: 1171000 | #Constraints: 29235
2074.35/2080.21 c #Conflicts: 1172000 | #Constraints: 30235
2074.35/2080.21 c #Conflicts: 1173000 | #Constraints: 31235
2074.35/2080.21 c #Conflicts: 1174000 | #Constraints: 32235
2074.35/2080.21 c #Conflicts: 1175000 | #Constraints: 33235
2074.35/2080.21 c #Conflicts: 1176000 | #Constraints: 34235
2074.35/2080.21 c #Conflicts: 1177000 | #Constraints: 35235
2074.35/2080.21 c #Conflicts: 1178000 | #Constraints: 36235
2074.35/2080.21 c #Conflicts: 1179000 | #Constraints: 37235
2074.35/2080.21 c #Conflicts: 1180000 | #Constraints: 38235
2074.35/2080.21 c #Conflicts: 1181000 | #Constraints: 39235
2074.35/2080.21 c #Conflicts: 1182000 | #Constraints: 40235
2074.35/2080.21 c #Conflicts: 1183000 | #Constraints: 41235
2074.35/2080.21 c #Conflicts: 1184000 | #Constraints: 42235
2074.35/2080.21 c #Conflicts: 1185000 | #Constraints: 43235
2074.35/2080.21 c #Conflicts: 1186000 | #Constraints: 44235
2074.35/2080.21 c #Conflicts: 1187000 | #Constraints: 45235
2074.35/2080.21 c #Conflicts: 1188000 | #Constraints: 46235
2074.35/2080.21 c INPROCESSING
2074.35/2080.21 c GARBAGE COLLECT
2074.35/2080.21 c #Conflicts: 1189000 | #Constraints: 25628
2074.35/2080.21 c #Conflicts: 1190000 | #Constraints: 26628
2074.35/2080.21 c #Conflicts: 1191000 | #Constraints: 27628
2074.35/2080.21 c #Conflicts: 1192000 | #Constraints: 28628
2074.35/2080.21 c #Conflicts: 1193000 | #Constraints: 29628
2074.35/2080.21 c #Conflicts: 1194000 | #Constraints: 30628
2074.35/2080.21 c #Conflicts: 1195000 | #Constraints: 31628
2074.35/2080.21 c #Conflicts: 1196000 | #Constraints: 32628
2074.35/2080.21 c #Conflicts: 1197000 | #Constraints: 33628
2074.35/2080.21 c #Conflicts: 1198000 | #Constraints: 34628
2316.55/2323.13 c #Conflicts: 1199000 | #Constraints: 35628
2316.55/2323.13 c #Conflicts: 1200000 | #Constraints: 36628
2316.55/2323.13 c #Conflicts: 1201000 | #Constraints: 37628
2316.55/2323.13 c #Conflicts: 1202000 | #Constraints: 38628
2316.55/2323.13 c #Conflicts: 1203000 | #Constraints: 39628
2316.55/2323.13 c #Conflicts: 1204000 | #Constraints: 40628
2316.55/2323.13 c #Conflicts: 1205000 | #Constraints: 41628
2316.55/2323.13 c #Conflicts: 1206000 | #Constraints: 42628
2316.55/2323.13 c #Conflicts: 1207000 | #Constraints: 43628
2316.55/2323.13 c #Conflicts: 1208000 | #Constraints: 44628
2316.55/2323.13 c #Conflicts: 1209000 | #Constraints: 45628
2316.55/2323.13 c #Conflicts: 1210000 | #Constraints: 46628
2316.55/2323.13 c INPROCESSING
2316.55/2323.13 c GARBAGE COLLECT
2316.55/2323.13 c #Conflicts: 1211000 | #Constraints: 25837
2316.55/2323.13 c #Conflicts: 1212000 | #Constraints: 26837
2316.55/2323.13 c #Conflicts: 1213000 | #Constraints: 27837
2316.55/2323.13 c #Conflicts: 1214000 | #Constraints: 28837
2316.55/2323.13 c #Conflicts: 1215000 | #Constraints: 29837
2316.55/2323.13 c #Conflicts: 1216000 | #Constraints: 30837
2316.55/2323.13 c #Conflicts: 1217000 | #Constraints: 31837
2316.55/2323.13 c #Conflicts: 1218000 | #Constraints: 32837
2316.55/2323.13 c #Conflicts: 1219000 | #Constraints: 33837
2316.55/2323.13 c #Conflicts: 1220000 | #Constraints: 34837
2316.55/2323.13 c #Conflicts: 1221000 | #Constraints: 35837
2316.55/2323.13 c #Conflicts: 1222000 | #Constraints: 36837
2316.55/2323.13 c #Conflicts: 1223000 | #Constraints: 37837
2316.55/2323.13 c #Conflicts: 1224000 | #Constraints: 38837
2316.55/2323.13 c #Conflicts: 1225000 | #Constraints: 39837
2316.55/2323.13 c #Conflicts: 1226000 | #Constraints: 40837
2316.55/2323.13 c #Conflicts: 1227000 | #Constraints: 41837
2316.55/2323.13 c #Conflicts: 1228000 | #Constraints: 42837
2316.55/2323.13 c #Conflicts: 1229000 | #Constraints: 43837
2316.55/2323.13 c #Conflicts: 1230000 | #Constraints: 44837
2316.55/2323.13 c #Conflicts: 1231000 | #Constraints: 45837
2316.55/2323.13 c #Conflicts: 1232000 | #Constraints: 46837
2316.55/2323.13 c INPROCESSING
2316.55/2323.13 c GARBAGE COLLECT
2316.55/2323.13 c #Conflicts: 1233000 | #Constraints: 25824
2316.55/2323.13 c #Conflicts: 1234000 | #Constraints: 26824
2316.55/2323.13 c #Conflicts: 1235000 | #Constraints: 27824
2316.55/2323.13 c #Conflicts: 1236000 | #Constraints: 28824
2316.55/2323.13 c #Conflicts: 1237000 | #Constraints: 29824
2316.55/2323.13 c #Conflicts: 1238000 | #Constraints: 30824
2316.55/2323.13 c #Conflicts: 1239000 | #Constraints: 31824
2316.55/2323.13 c #Conflicts: 1240000 | #Constraints: 32824
2316.55/2323.13 c #Conflicts: 1241000 | #Constraints: 33824
2316.55/2323.13 c #Conflicts: 1242000 | #Constraints: 34824
2316.55/2323.13 c #Conflicts: 1243000 | #Constraints: 35824
2316.55/2323.13 c #Conflicts: 1244000 | #Constraints: 36824
2316.55/2323.13 c #Conflicts: 1245000 | #Constraints: 37824
2316.55/2323.13 c #Conflicts: 1246000 | #Constraints: 38824
2316.55/2323.13 c #Conflicts: 1247000 | #Constraints: 39824
2316.55/2323.13 c #Conflicts: 1248000 | #Constraints: 40824
2316.55/2323.13 c #Conflicts: 1249000 | #Constraints: 41824
2316.55/2323.13 c #Conflicts: 1250000 | #Constraints: 42824
2316.55/2323.13 c #Conflicts: 1251000 | #Constraints: 43824
2316.55/2323.13 c #Conflicts: 1252000 | #Constraints: 44824
2316.55/2323.13 c #Conflicts: 1253000 | #Constraints: 45824
2316.55/2323.13 c #Conflicts: 1254000 | #Constraints: 46824
2316.55/2323.13 c INPROCESSING
2316.55/2323.13 c GARBAGE COLLECT
2316.55/2323.13 c #Conflicts: 1255000 | #Constraints: 25647
2316.55/2323.13 c #Conflicts: 1256000 | #Constraints: 26647
2316.55/2323.13 c #Conflicts: 1257000 | #Constraints: 27647
2316.55/2323.13 c #Conflicts: 1258000 | #Constraints: 28647
2316.55/2323.13 c #Conflicts: 1259000 | #Constraints: 29647
2316.55/2323.13 c #Conflicts: 1260000 | #Constraints: 30647
2316.55/2323.13 c #Conflicts: 1261000 | #Constraints: 31647
2316.55/2323.13 c #Conflicts: 1262000 | #Constraints: 32647
2316.55/2323.13 c #Conflicts: 1263000 | #Constraints: 33647
2316.55/2323.13 c #Conflicts: 1264000 | #Constraints: 34647
2316.55/2323.13 c #Conflicts: 1265000 | #Constraints: 35647
2316.55/2323.13 c #Conflicts: 1266000 | #Constraints: 36647
2316.55/2323.13 c #Conflicts: 1267000 | #Constraints: 37647
2316.55/2323.13 c #Conflicts: 1268000 | #Constraints: 38647
2316.55/2323.13 c #Conflicts: 1269000 | #Constraints: 39647
2316.55/2323.13 c #Conflicts: 1270000 | #Constraints: 40647
2316.55/2323.13 c #Conflicts: 1271000 | #Constraints: 41647
2316.55/2323.13 c #Conflicts: 1272000 | #Constraints: 42647
2316.55/2323.13 c #Conflicts: 1273000 | #Constraints: 43647
2316.55/2323.13 c #Conflicts: 1274000 | #Constraints: 44647
2316.55/2323.13 c #Conflicts: 1275000 | #Constraints: 45647
2605.08/2612.54 c #Conflicts: 1276000 | #Constraints: 46647
2605.08/2612.54 c #Conflicts: 1277000 | #Constraints: 47647
2605.08/2612.54 c INPROCESSING
2605.08/2612.54 c GARBAGE COLLECT
2605.08/2612.54 c #Conflicts: 1278000 | #Constraints: 26242
2605.08/2612.54 c #Conflicts: 1279000 | #Constraints: 27242
2605.08/2612.54 c #Conflicts: 1280000 | #Constraints: 28242
2605.08/2612.54 c #Conflicts: 1281000 | #Constraints: 29242
2605.08/2612.54 c #Conflicts: 1282000 | #Constraints: 30242
2605.08/2612.54 c #Conflicts: 1283000 | #Constraints: 31242
2605.08/2612.54 c #Conflicts: 1284000 | #Constraints: 32242
2605.08/2612.54 c #Conflicts: 1285000 | #Constraints: 33242
2605.08/2612.54 c #Conflicts: 1286000 | #Constraints: 34242
2605.08/2612.54 c #Conflicts: 1287000 | #Constraints: 35242
2605.08/2612.54 c #Conflicts: 1288000 | #Constraints: 36242
2605.08/2612.54 c #Conflicts: 1289000 | #Constraints: 37242
2605.08/2612.54 c #Conflicts: 1290000 | #Constraints: 38242
2605.08/2612.54 c #Conflicts: 1291000 | #Constraints: 39242
2605.08/2612.54 c #Conflicts: 1292000 | #Constraints: 40242
2605.08/2612.54 c #Conflicts: 1293000 | #Constraints: 41242
2605.08/2612.54 c #Conflicts: 1294000 | #Constraints: 42242
2605.08/2612.55 c #Conflicts: 1295000 | #Constraints: 43242
2605.08/2612.55 c #Conflicts: 1296000 | #Constraints: 44242
2605.08/2612.55 c #Conflicts: 1297000 | #Constraints: 45242
2605.08/2612.55 c #Conflicts: 1298000 | #Constraints: 46242
2605.08/2612.55 c #Conflicts: 1299000 | #Constraints: 47242
2605.08/2612.55 c #Conflicts: 1300000 | #Constraints: 48242
2605.08/2612.55 c INPROCESSING
2605.08/2612.55 c GARBAGE COLLECT
2605.08/2612.55 c #Conflicts: 1301000 | #Constraints: 26666
2605.08/2612.55 c #Conflicts: 1302000 | #Constraints: 27666
2605.08/2612.55 c #Conflicts: 1303000 | #Constraints: 28666
2605.08/2612.55 c #Conflicts: 1304000 | #Constraints: 29666
2605.08/2612.55 c #Conflicts: 1305000 | #Constraints: 30666
2605.08/2612.55 c #Conflicts: 1306000 | #Constraints: 31666
2605.08/2612.55 c #Conflicts: 1307000 | #Constraints: 32666
2605.08/2612.55 c #Conflicts: 1308000 | #Constraints: 33666
2605.08/2612.55 c #Conflicts: 1309000 | #Constraints: 34666
2605.08/2612.55 c #Conflicts: 1310000 | #Constraints: 35666
2605.08/2612.55 c #Conflicts: 1311000 | #Constraints: 36666
2605.08/2612.55 c #Conflicts: 1312000 | #Constraints: 37666
2605.08/2612.55 c #Conflicts: 1313000 | #Constraints: 38666
2605.08/2612.55 c #Conflicts: 1314000 | #Constraints: 39666
2605.08/2612.55 c #Conflicts: 1315000 | #Constraints: 40666
2605.08/2612.55 c #Conflicts: 1316000 | #Constraints: 41666
2605.08/2612.55 c #Conflicts: 1317000 | #Constraints: 42666
2605.08/2612.55 c #Conflicts: 1318000 | #Constraints: 43666
2605.08/2612.55 c #Conflicts: 1319000 | #Constraints: 44666
2605.08/2612.55 c #Conflicts: 1320000 | #Constraints: 45666
2605.08/2612.55 c #Conflicts: 1321000 | #Constraints: 46666
2605.08/2612.55 c #Conflicts: 1322000 | #Constraints: 47666
2605.08/2612.55 c #Conflicts: 1323000 | #Constraints: 48666
2605.08/2612.55 c INPROCESSING
2605.08/2612.55 c GARBAGE COLLECT
2605.08/2612.55 c #Conflicts: 1324000 | #Constraints: 26846
2605.08/2612.55 c #Conflicts: 1325000 | #Constraints: 27846
2605.08/2612.55 c #Conflicts: 1326000 | #Constraints: 28846
2605.08/2612.55 c #Conflicts: 1327000 | #Constraints: 29846
2605.08/2612.55 c #Conflicts: 1328000 | #Constraints: 30846
2605.08/2612.55 c #Conflicts: 1329000 | #Constraints: 31846
2605.08/2612.55 c #Conflicts: 1330000 | #Constraints: 32846
2605.08/2612.55 c #Conflicts: 1331000 | #Constraints: 33846
2605.08/2612.55 c #Conflicts: 1332000 | #Constraints: 34846
2605.08/2612.55 c #Conflicts: 1333000 | #Constraints: 35846
2605.08/2612.55 c #Conflicts: 1334000 | #Constraints: 36846
2605.08/2612.55 c #Conflicts: 1335000 | #Constraints: 37846
2605.08/2612.55 c #Conflicts: 1336000 | #Constraints: 38846
2605.08/2612.55 c #Conflicts: 1337000 | #Constraints: 39846
2605.08/2612.55 c #Conflicts: 1338000 | #Constraints: 40846
2605.08/2612.55 c #Conflicts: 1339000 | #Constraints: 41846
2605.08/2612.55 c #Conflicts: 1340000 | #Constraints: 42846
2605.08/2612.55 c #Conflicts: 1341000 | #Constraints: 43846
2605.08/2612.55 c #Conflicts: 1342000 | #Constraints: 44846
2605.08/2612.55 c #Conflicts: 1343000 | #Constraints: 45846
2605.08/2612.55 c #Conflicts: 1344000 | #Constraints: 46846
2605.08/2612.55 c #Conflicts: 1345000 | #Constraints: 47846
2605.08/2612.55 c #Conflicts: 1346000 | #Constraints: 48846
2605.08/2612.55 c INPROCESSING
2605.08/2612.55 c GARBAGE COLLECT
2605.08/2612.55 c #Conflicts: 1347000 | #Constraints: 26835
2605.08/2612.55 c #Conflicts: 1348000 | #Constraints: 27835
2605.08/2612.55 c #Conflicts: 1349000 | #Constraints: 28835
2605.08/2612.55 c #Conflicts: 1350000 | #Constraints: 29835
2605.08/2612.55 c #Conflicts: 1351000 | #Constraints: 30835
2878.68/2886.97 c #Conflicts: 1352000 | #Constraints: 31835
2878.68/2886.97 c #Conflicts: 1353000 | #Constraints: 32835
2878.68/2886.97 c #Conflicts: 1354000 | #Constraints: 33835
2878.68/2886.97 c #Conflicts: 1355000 | #Constraints: 34835
2878.68/2886.97 c #Conflicts: 1356000 | #Constraints: 35835
2878.68/2886.97 c #Conflicts: 1357000 | #Constraints: 36835
2878.68/2886.97 c #Conflicts: 1358000 | #Constraints: 37835
2878.68/2886.97 c #Conflicts: 1359000 | #Constraints: 38835
2878.68/2886.97 c #Conflicts: 1360000 | #Constraints: 39835
2878.68/2886.97 c #Conflicts: 1361000 | #Constraints: 40835
2878.68/2886.97 c #Conflicts: 1362000 | #Constraints: 41835
2878.68/2886.97 c #Conflicts: 1363000 | #Constraints: 42835
2878.68/2886.97 c #Conflicts: 1364000 | #Constraints: 43835
2878.68/2886.97 c #Conflicts: 1365000 | #Constraints: 44835
2878.68/2886.97 c #Conflicts: 1366000 | #Constraints: 45835
2878.68/2886.97 c #Conflicts: 1367000 | #Constraints: 46835
2878.68/2886.97 c #Conflicts: 1368000 | #Constraints: 47835
2878.68/2886.97 c #Conflicts: 1369000 | #Constraints: 48835
2878.68/2886.97 c INPROCESSING
2878.68/2886.97 c GARBAGE COLLECT
2878.68/2886.97 c #Conflicts: 1370000 | #Constraints: 26651
2878.68/2886.97 c #Conflicts: 1371000 | #Constraints: 27651
2878.68/2886.97 c #Conflicts: 1372000 | #Constraints: 28651
2878.68/2886.97 c #Conflicts: 1373000 | #Constraints: 29651
2878.68/2886.97 c #Conflicts: 1374000 | #Constraints: 30651
2878.68/2886.97 c #Conflicts: 1375000 | #Constraints: 31651
2878.68/2886.97 c #Conflicts: 1376000 | #Constraints: 32651
2878.68/2886.97 c #Conflicts: 1377000 | #Constraints: 33651
2878.68/2886.97 c #Conflicts: 1378000 | #Constraints: 34651
2878.68/2886.97 c #Conflicts: 1379000 | #Constraints: 35651
2878.68/2886.97 c #Conflicts: 1380000 | #Constraints: 36651
2878.68/2886.97 c #Conflicts: 1381000 | #Constraints: 37651
2878.68/2886.97 c #Conflicts: 1382000 | #Constraints: 38651
2878.68/2886.97 c #Conflicts: 1383000 | #Constraints: 39651
2878.68/2886.97 c #Conflicts: 1384000 | #Constraints: 40651
2878.68/2886.97 c #Conflicts: 1385000 | #Constraints: 41651
2878.68/2886.97 c #Conflicts: 1386000 | #Constraints: 42651
2878.68/2886.97 c #Conflicts: 1387000 | #Constraints: 43651
2878.68/2886.97 c #Conflicts: 1388000 | #Constraints: 44651
2878.68/2886.97 c #Conflicts: 1389000 | #Constraints: 45651
2878.68/2886.97 c #Conflicts: 1390000 | #Constraints: 46651
2878.68/2886.97 c #Conflicts: 1391000 | #Constraints: 47651
2878.68/2886.97 c #Conflicts: 1392000 | #Constraints: 48651
2878.68/2886.97 c #Conflicts: 1393000 | #Constraints: 49651
2878.68/2886.97 c INPROCESSING
2878.68/2886.97 c GARBAGE COLLECT
2878.68/2886.97 c #Conflicts: 1394000 | #Constraints: 27281
2878.68/2886.97 c #Conflicts: 1395000 | #Constraints: 28281
2878.68/2886.97 c #Conflicts: 1396000 | #Constraints: 29281
2878.68/2886.97 c #Conflicts: 1397000 | #Constraints: 30281
2878.68/2886.97 c #Conflicts: 1398000 | #Constraints: 31281
2878.68/2886.97 c #Conflicts: 1399000 | #Constraints: 32281
2878.68/2886.97 c #Conflicts: 1400000 | #Constraints: 33281
2878.68/2886.97 c #Conflicts: 1401000 | #Constraints: 34281
2878.68/2886.97 c #Conflicts: 1402000 | #Constraints: 35281
2878.68/2886.97 c #Conflicts: 1403000 | #Constraints: 36281
2878.68/2886.97 c #Conflicts: 1404000 | #Constraints: 37281
2878.68/2886.97 c #Conflicts: 1405000 | #Constraints: 38281
2878.68/2886.97 c #Conflicts: 1406000 | #Constraints: 39281
2878.68/2886.97 c #Conflicts: 1407000 | #Constraints: 40281
2878.68/2886.97 c #Conflicts: 1408000 | #Constraints: 41281
2878.68/2886.97 c #Conflicts: 1409000 | #Constraints: 42281
2878.68/2886.97 c #Conflicts: 1410000 | #Constraints: 43281
2878.68/2886.97 c #Conflicts: 1411000 | #Constraints: 44281
2878.68/2886.97 c #Conflicts: 1412000 | #Constraints: 45281
2878.68/2886.97 c #Conflicts: 1413000 | #Constraints: 46281
2878.68/2886.97 c #Conflicts: 1414000 | #Constraints: 47281
2878.68/2886.97 c #Conflicts: 1415000 | #Constraints: 48281
2878.68/2886.97 c #Conflicts: 1416000 | #Constraints: 49281
2878.68/2886.97 c #Conflicts: 1417000 | #Constraints: 50281
2878.68/2886.97 c INPROCESSING
2878.68/2886.97 c GARBAGE COLLECT
2878.68/2886.97 c #Conflicts: 1418000 | #Constraints: 27673
2878.68/2886.97 c #Conflicts: 1419000 | #Constraints: 28673
2878.68/2886.97 c #Conflicts: 1420000 | #Constraints: 29673
2878.68/2886.97 c #Conflicts: 1421000 | #Constraints: 30673
2878.68/2886.97 c #Conflicts: 1422000 | #Constraints: 31673
2878.68/2886.97 c #Conflicts: 1423000 | #Constraints: 32673
2878.68/2886.97 c #Conflicts: 1424000 | #Constraints: 33673
2878.68/2886.97 c #Conflicts: 1425000 | #Constraints: 34673
2878.68/2886.97 c #Conflicts: 1426000 | #Constraints: 35673
2878.68/2886.97 c #Conflicts: 1427000 | #Constraints: 36673
2878.68/2886.97 c #Conflicts: 1428000 | #Constraints: 37673
3124.63/3133.66 c #Conflicts: 1429000 | #Constraints: 38673
3124.63/3133.66 c #Conflicts: 1430000 | #Constraints: 39673
3124.63/3133.66 c #Conflicts: 1431000 | #Constraints: 40673
3124.63/3133.66 c #Conflicts: 1432000 | #Constraints: 41673
3124.63/3133.66 c #Conflicts: 1433000 | #Constraints: 42673
3124.63/3133.66 c #Conflicts: 1434000 | #Constraints: 43673
3124.63/3133.66 c #Conflicts: 1435000 | #Constraints: 44673
3124.63/3133.66 c #Conflicts: 1436000 | #Constraints: 45673
3124.63/3133.66 c #Conflicts: 1437000 | #Constraints: 46673
3124.63/3133.66 c #Conflicts: 1438000 | #Constraints: 47673
3124.63/3133.66 c #Conflicts: 1439000 | #Constraints: 48673
3124.63/3133.66 c #Conflicts: 1440000 | #Constraints: 49673
3124.63/3133.66 c #Conflicts: 1441000 | #Constraints: 50673
3124.63/3133.66 c INPROCESSING
3124.63/3133.66 c GARBAGE COLLECT
3124.63/3133.66 c #Conflicts: 1442000 | #Constraints: 27850
3124.63/3133.66 c #Conflicts: 1443000 | #Constraints: 28850
3124.63/3133.66 c #Conflicts: 1444000 | #Constraints: 29850
3124.63/3133.66 c #Conflicts: 1445000 | #Constraints: 30850
3124.63/3133.66 c #Conflicts: 1446000 | #Constraints: 31850
3124.63/3133.66 c #Conflicts: 1447000 | #Constraints: 32850
3124.63/3133.66 c #Conflicts: 1448000 | #Constraints: 33850
3124.63/3133.66 c #Conflicts: 1449000 | #Constraints: 34850
3124.63/3133.66 c #Conflicts: 1450000 | #Constraints: 35850
3124.63/3133.66 c #Conflicts: 1451000 | #Constraints: 36850
3124.63/3133.66 c #Conflicts: 1452000 | #Constraints: 37850
3124.63/3133.66 c #Conflicts: 1453000 | #Constraints: 38850
3124.63/3133.66 c #Conflicts: 1454000 | #Constraints: 39850
3124.63/3133.66 c #Conflicts: 1455000 | #Constraints: 40850
3124.63/3133.66 c #Conflicts: 1456000 | #Constraints: 41850
3124.63/3133.66 c #Conflicts: 1457000 | #Constraints: 42850
3124.63/3133.66 c #Conflicts: 1458000 | #Constraints: 43850
3124.63/3133.66 c #Conflicts: 1459000 | #Constraints: 44850
3124.63/3133.66 c #Conflicts: 1460000 | #Constraints: 45850
3124.63/3133.66 c #Conflicts: 1461000 | #Constraints: 46850
3124.63/3133.66 c #Conflicts: 1462000 | #Constraints: 47850
3124.63/3133.66 c #Conflicts: 1463000 | #Constraints: 48850
3124.63/3133.66 c #Conflicts: 1464000 | #Constraints: 49850
3124.63/3133.66 c #Conflicts: 1465000 | #Constraints: 50850
3124.63/3133.66 c INPROCESSING
3124.63/3133.66 c GARBAGE COLLECT
3124.63/3133.66 c #Conflicts: 1466000 | #Constraints: 27842
3124.63/3133.66 c #Conflicts: 1467000 | #Constraints: 28842
3124.63/3133.66 c #Conflicts: 1468000 | #Constraints: 29842
3124.63/3133.66 c #Conflicts: 1469000 | #Constraints: 30842
3124.63/3133.66 c #Conflicts: 1470000 | #Constraints: 31842
3124.63/3133.66 c #Conflicts: 1471000 | #Constraints: 32842
3124.63/3133.66 c #Conflicts: 1472000 | #Constraints: 33842
3124.63/3133.66 c #Conflicts: 1473000 | #Constraints: 34842
3124.63/3133.66 c #Conflicts: 1474000 | #Constraints: 35842
3124.63/3133.66 c #Conflicts: 1475000 | #Constraints: 36842
3124.63/3133.66 c #Conflicts: 1476000 | #Constraints: 37842
3124.63/3133.66 c #Conflicts: 1477000 | #Constraints: 38842
3124.63/3133.66 c #Conflicts: 1478000 | #Constraints: 39842
3124.63/3133.66 c #Conflicts: 1479000 | #Constraints: 40842
3124.63/3133.66 c #Conflicts: 1480000 | #Constraints: 41842
3124.63/3133.66 c #Conflicts: 1481000 | #Constraints: 42842
3124.63/3133.66 c #Conflicts: 1482000 | #Constraints: 43842
3124.63/3133.66 c #Conflicts: 1483000 | #Constraints: 44842
3124.63/3133.66 c #Conflicts: 1484000 | #Constraints: 45842
3124.63/3133.66 c #Conflicts: 1485000 | #Constraints: 46842
3124.63/3133.66 c #Conflicts: 1486000 | #Constraints: 47842
3124.63/3133.66 c #Conflicts: 1487000 | #Constraints: 48842
3124.63/3133.66 c #Conflicts: 1488000 | #Constraints: 49842
3124.63/3133.66 c #Conflicts: 1489000 | #Constraints: 50842
3124.63/3133.66 c INPROCESSING
3124.63/3133.66 c GARBAGE COLLECT
3124.63/3133.66 c #Conflicts: 1490000 | #Constraints: 27647
3124.63/3133.66 c #Conflicts: 1491000 | #Constraints: 28647
3124.63/3133.66 c #Conflicts: 1492000 | #Constraints: 29647
3124.63/3133.66 c #Conflicts: 1493000 | #Constraints: 30647
3124.63/3133.66 c #Conflicts: 1494000 | #Constraints: 31647
3124.63/3133.66 c #Conflicts: 1495000 | #Constraints: 32647
3124.63/3133.66 c #Conflicts: 1496000 | #Constraints: 33647
3124.63/3133.66 c #Conflicts: 1497000 | #Constraints: 34647
3124.63/3133.66 c #Conflicts: 1498000 | #Constraints: 35647
3124.63/3133.66 c #Conflicts: 1499000 | #Constraints: 36647
3124.63/3133.66 c #Conflicts: 1500000 | #Constraints: 37647
3124.63/3133.66 c #Conflicts: 1501000 | #Constraints: 38647
3124.63/3133.66 c #Conflicts: 1502000 | #Constraints: 39647
3124.63/3133.66 c #Conflicts: 1503000 | #Constraints: 40647
3124.63/3133.66 c #Conflicts: 1504000 | #Constraints: 41647
3124.63/3133.66 c #Conflicts: 1505000 | #Constraints: 42647
3347.28/3356.90 c #Conflicts: 1506000 | #Constraints: 43647
3347.28/3356.90 c #Conflicts: 1507000 | #Constraints: 44647
3347.28/3356.90 c #Conflicts: 1508000 | #Constraints: 45647
3347.28/3356.90 c #Conflicts: 1509000 | #Constraints: 46647
3347.28/3356.90 c #Conflicts: 1510000 | #Constraints: 47647
3347.28/3356.90 c #Conflicts: 1511000 | #Constraints: 48647
3347.28/3356.90 c #Conflicts: 1512000 | #Constraints: 49647
3347.28/3356.90 c #Conflicts: 1513000 | #Constraints: 50647
3347.28/3356.90 c #Conflicts: 1514000 | #Constraints: 51647
3347.28/3356.90 c INPROCESSING
3347.28/3356.90 c GARBAGE COLLECT
3347.28/3356.90 c #Conflicts: 1515000 | #Constraints: 28244
3347.28/3356.90 c #Conflicts: 1516000 | #Constraints: 29244
3347.28/3356.90 c #Conflicts: 1517000 | #Constraints: 30244
3347.28/3356.90 c #Conflicts: 1518000 | #Constraints: 31244
3347.28/3356.90 c #Conflicts: 1519000 | #Constraints: 32244
3347.28/3356.90 c #Conflicts: 1520000 | #Constraints: 33244
3347.28/3356.90 c #Conflicts: 1521000 | #Constraints: 34244
3347.28/3356.90 c #Conflicts: 1522000 | #Constraints: 35244
3347.28/3356.90 c #Conflicts: 1523000 | #Constraints: 36244
3347.28/3356.90 c #Conflicts: 1524000 | #Constraints: 37244
3347.28/3356.90 c #Conflicts: 1525000 | #Constraints: 38244
3347.28/3356.90 c #Conflicts: 1526000 | #Constraints: 39244
3347.28/3356.90 c #Conflicts: 1527000 | #Constraints: 40244
3347.28/3356.90 c #Conflicts: 1528000 | #Constraints: 41244
3347.28/3356.90 c #Conflicts: 1529000 | #Constraints: 42244
3347.28/3356.90 c #Conflicts: 1530000 | #Constraints: 43244
3347.28/3356.90 c #Conflicts: 1531000 | #Constraints: 44244
3347.28/3356.90 c #Conflicts: 1532000 | #Constraints: 45244
3347.28/3356.90 c #Conflicts: 1533000 | #Constraints: 46244
3347.28/3356.90 c #Conflicts: 1534000 | #Constraints: 47244
3347.28/3356.90 c #Conflicts: 1535000 | #Constraints: 48244
3347.28/3356.90 c #Conflicts: 1536000 | #Constraints: 49244
3347.28/3356.90 c #Conflicts: 1537000 | #Constraints: 50244
3347.28/3356.90 c #Conflicts: 1538000 | #Constraints: 51244
3347.28/3356.90 c #Conflicts: 1539000 | #Constraints: 52244
3347.28/3356.90 c INPROCESSING
3347.28/3356.90 c GARBAGE COLLECT
3347.28/3356.90 c #Conflicts: 1540000 | #Constraints: 28646
3347.28/3356.90 c #Conflicts: 1541000 | #Constraints: 29646
3347.28/3356.90 c #Conflicts: 1542000 | #Constraints: 30646
3347.28/3356.90 c #Conflicts: 1543000 | #Constraints: 31646
3347.28/3356.90 c #Conflicts: 1544000 | #Constraints: 32646
3347.28/3356.90 c #Conflicts: 1545000 | #Constraints: 33646
3347.28/3356.90 c #Conflicts: 1546000 | #Constraints: 34646
3347.28/3356.90 c #Conflicts: 1547000 | #Constraints: 35646
3347.28/3356.90 c #Conflicts: 1548000 | #Constraints: 36646
3347.28/3356.90 c #Conflicts: 1549000 | #Constraints: 37646
3347.28/3356.90 c #Conflicts: 1550000 | #Constraints: 38646
3347.28/3356.90 c #Conflicts: 1551000 | #Constraints: 39646
3347.28/3356.90 c #Conflicts: 1552000 | #Constraints: 40646
3347.28/3356.90 c #Conflicts: 1553000 | #Constraints: 41646
3347.28/3356.90 c #Conflicts: 1554000 | #Constraints: 42646
3347.28/3356.90 c #Conflicts: 1555000 | #Constraints: 43646
3347.28/3356.90 c #Conflicts: 1556000 | #Constraints: 44646
3347.28/3356.90 c #Conflicts: 1557000 | #Constraints: 45646
3347.28/3356.90 c #Conflicts: 1558000 | #Constraints: 46646
3347.28/3356.90 c #Conflicts: 1559000 | #Constraints: 47646
3347.28/3356.90 c #Conflicts: 1560000 | #Constraints: 48646
3347.28/3356.90 c #Conflicts: 1561000 | #Constraints: 49646
3347.28/3356.90 c #Conflicts: 1562000 | #Constraints: 50646
3347.28/3356.90 c #Conflicts: 1563000 | #Constraints: 51646
3347.28/3356.90 c #Conflicts: 1564000 | #Constraints: 52646
3347.28/3356.90 c INPROCESSING
3347.28/3356.90 c GARBAGE COLLECT
3347.28/3356.90 c #Conflicts: 1565000 | #Constraints: 28840
3347.28/3356.90 c #Conflicts: 1566000 | #Constraints: 29840
3347.28/3356.90 c #Conflicts: 1567000 | #Constraints: 30840
3347.28/3356.90 c #Conflicts: 1568000 | #Constraints: 31840
3347.28/3356.90 c #Conflicts: 1569000 | #Constraints: 32840
3347.28/3356.90 c #Conflicts: 1570000 | #Constraints: 33840
3347.28/3356.90 c #Conflicts: 1571000 | #Constraints: 34840
3347.28/3356.90 c #Conflicts: 1572000 | #Constraints: 35840
3347.28/3356.90 c #Conflicts: 1573000 | #Constraints: 36840
3347.28/3356.90 c #Conflicts: 1574000 | #Constraints: 37840
3347.28/3356.90 c #Conflicts: 1575000 | #Constraints: 38840
3347.28/3356.90 c #Conflicts: 1576000 | #Constraints: 39840
3347.28/3356.90 c #Conflicts: 1577000 | #Constraints: 40840
3347.28/3356.90 c #Conflicts: 1578000 | #Constraints: 41840
3347.28/3356.90 c #Conflicts: 1579000 | #Constraints: 42840
3347.28/3356.90 c #Conflicts: 1580000 | #Constraints: 43840
3347.28/3356.90 c #Conflicts: 1581000 | #Constraints: 44840
3347.28/3356.90 c #Conflicts: 1582000 | #Constraints: 45840
3589.16/3599.56 c #Conflicts: 1583000 | #Constraints: 46840
3589.16/3599.56 c #Conflicts: 1584000 | #Constraints: 47840
3589.16/3599.56 c #Conflicts: 1585000 | #Constraints: 48840
3589.16/3599.56 c #Conflicts: 1586000 | #Constraints: 49840
3589.16/3599.56 c #Conflicts: 1587000 | #Constraints: 50840
3589.16/3599.56 c #Conflicts: 1588000 | #Constraints: 51840
3589.16/3599.56 c #Conflicts: 1589000 | #Constraints: 52840
3589.16/3599.56 c INPROCESSING
3589.16/3599.56 c GARBAGE COLLECT
3589.16/3599.56 c #Conflicts: 1590000 | #Constraints: 28821
3589.16/3599.56 c #Conflicts: 1591000 | #Constraints: 29821
3589.16/3599.56 c #Conflicts: 1592000 | #Constraints: 30821
3589.16/3599.56 c #Conflicts: 1593000 | #Constraints: 31821
3589.16/3599.56 c #Conflicts: 1594000 | #Constraints: 32821
3589.16/3599.56 c #Conflicts: 1595000 | #Constraints: 33821
3589.16/3599.56 c #Conflicts: 1596000 | #Constraints: 34821
3589.16/3599.56 c #Conflicts: 1597000 | #Constraints: 35821
3589.16/3599.56 c #Conflicts: 1598000 | #Constraints: 36821
3589.16/3599.56 c #Conflicts: 1599000 | #Constraints: 37821
3589.16/3599.56 c #Conflicts: 1600000 | #Constraints: 38821
3589.16/3599.56 c #Conflicts: 1601000 | #Constraints: 39821
3589.16/3599.56 c #Conflicts: 1602000 | #Constraints: 40821
3589.16/3599.56 c #Conflicts: 1603000 | #Constraints: 41821
3589.16/3599.56 c #Conflicts: 1604000 | #Constraints: 42821
3589.16/3599.56 c #Conflicts: 1605000 | #Constraints: 43821
3589.16/3599.56 c #Conflicts: 1606000 | #Constraints: 44821
3589.16/3599.56 c #Conflicts: 1607000 | #Constraints: 45821
3589.16/3599.56 c #Conflicts: 1608000 | #Constraints: 46821
3589.16/3599.56 c #Conflicts: 1609000 | #Constraints: 47821
3589.16/3599.56 c #Conflicts: 1610000 | #Constraints: 48821
3589.16/3599.56 c #Conflicts: 1611000 | #Constraints: 49821
3589.16/3599.56 c #Conflicts: 1612000 | #Constraints: 50821
3589.16/3599.56 c #Conflicts: 1613000 | #Constraints: 51821
3589.16/3599.56 c #Conflicts: 1614000 | #Constraints: 52821
3589.16/3599.56 c INPROCESSING
3589.16/3599.56 c GARBAGE COLLECT
3589.16/3599.56 c #Conflicts: 1615000 | #Constraints: 28612
3589.16/3599.56 c #Conflicts: 1616000 | #Constraints: 29612
3589.16/3599.56 c #Conflicts: 1617000 | #Constraints: 30612
3589.16/3599.56 c #Conflicts: 1618000 | #Constraints: 31612
3589.16/3599.56 c #Conflicts: 1619000 | #Constraints: 32612
3589.16/3599.56 c #Conflicts: 1620000 | #Constraints: 33612
3589.16/3599.56 c #Conflicts: 1621000 | #Constraints: 34612
3589.16/3599.56 c #Conflicts: 1622000 | #Constraints: 35612
3589.16/3599.56 c #Conflicts: 1623000 | #Constraints: 36612
3589.16/3599.56 c #Conflicts: 1624000 | #Constraints: 37612
3589.16/3599.56 c #Conflicts: 1625000 | #Constraints: 38612
3589.16/3599.56 c #Conflicts: 1626000 | #Constraints: 39612
3589.16/3599.56 c #Conflicts: 1627000 | #Constraints: 40612
3589.16/3599.56 c #Conflicts: 1628000 | #Constraints: 41612
3589.16/3599.56 c #Conflicts: 1629000 | #Constraints: 42612
3589.16/3599.56 c #Conflicts: 1630000 | #Constraints: 43612
3589.16/3599.56 c #Conflicts: 1631000 | #Constraints: 44612
3589.16/3599.56 c #Conflicts: 1632000 | #Constraints: 45612
3589.16/3599.56 c #Conflicts: 1633000 | #Constraints: 46612
3589.16/3599.56 c #Conflicts: 1634000 | #Constraints: 47612
3589.16/3599.56 c #Conflicts: 1635000 | #Constraints: 48612
3589.16/3599.56 c #Conflicts: 1636000 | #Constraints: 49612
3589.16/3599.56 c #Conflicts: 1637000 | #Constraints: 50612
3589.16/3599.56 c #Conflicts: 1638000 | #Constraints: 51612
3589.16/3599.56 c #Conflicts: 1639000 | #Constraints: 52612
3589.16/3599.56 c #Conflicts: 1640000 | #Constraints: 53612
3589.16/3599.56 c INPROCESSING
3589.16/3599.56 c GARBAGE COLLECT
3589.16/3599.56 c #Conflicts: 1641000 | #Constraints: 29215
3589.16/3599.56 c #Conflicts: 1642000 | #Constraints: 30215
3589.16/3599.56 c #Conflicts: 1643000 | #Constraints: 31215
3589.16/3599.56 c #Conflicts: 1644000 | #Constraints: 32215
3589.16/3599.56 c #Conflicts: 1645000 | #Constraints: 33215
3589.16/3599.56 c #Conflicts: 1646000 | #Constraints: 34215
3589.16/3599.56 c #Conflicts: 1647000 | #Constraints: 35215
3589.16/3599.56 c #Conflicts: 1648000 | #Constraints: 36215
3589.16/3599.56 c #Conflicts: 1649000 | #Constraints: 37215
3589.16/3599.56 c #Conflicts: 1650000 | #Constraints: 38215
3589.16/3599.56 c #Conflicts: 1651000 | #Constraints: 39215
3589.16/3599.56 c #Conflicts: 1652000 | #Constraints: 40215
3589.16/3599.56 c #Conflicts: 1653000 | #Constraints: 41215
3589.16/3599.56 c #Conflicts: 1654000 | #Constraints: 42215
3589.16/3599.56 c #Conflicts: 1655000 | #Constraints: 43215
3589.16/3599.56 c #Conflicts: 1656000 | #Constraints: 44215
3589.16/3599.56 c #Conflicts: 1657000 | #Constraints: 45215
3589.16/3599.56 c #Conflicts: 1658000 | #Constraints: 46215
3589.16/3599.56 c #Conflicts: 1659000 | #Constraints: 47215
3600.02/3610.40 c #Conflicts: 1660000 | #Constraints: 48215
3600.02/3610.40 c #Conflicts: 1661000 | #Constraints: 49215
3600.02/3610.40 c cpu time 3579.63 s
3600.02/3610.40 c deterministic time 1 1.00e+00
3600.02/3610.40 c optimization time 3579.6 s
3600.02/3610.40 c total solve time 0 s
3600.02/3610.40 c core-guided solve time 0 s
3600.02/3610.40 c propagation time 0.002398 s
3600.02/3610.40 c conflict analysis time 0 s
3600.02/3610.40 c propagations 0
3600.02/3610.40 c resolve steps 0
3600.02/3610.40 c decisions 0
3600.02/3610.40 c conflicts 0
3600.02/3610.40 c restarts 0
3600.02/3610.40 c inprocessing phases 0
3600.02/3610.40 c garbage collections 0 ,( -nan )
3600.02/3610.40 c input clauses 2964 ,( 100.00 )
3600.02/3610.40 c input cardinalities 0 ,( 0.00 )
3600.02/3610.40 c input general constraints 0 ,( 0.00 )
3600.02/3610.40 c input average constraint length 2.00
3600.02/3610.40 c input average constraint degree 1.00
3600.02/3610.40 c learned clauses 0 ,( 0.00 )
3600.02/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.40 c learned general constraints 0 ,( 0.00 )
3600.02/3610.40 c learned average constraint length 0.00
3600.02/3610.40 c learned average constraint degree 0.00
3600.02/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.40 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.40 c watched constraints 0 ,( -nan )
3600.02/3610.40 c counting constraints 0 ,( -nan )
3600.02/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.40 c gcd simplifications 0
3600.02/3610.40 c detected cardinalities 0
3600.02/3610.40 c weakened non-implied lits 0
3600.02/3610.40 c weakened non-implying lits 0
3600.02/3610.40 c original variables 1482
3600.02/3610.40 c clausal propagations 0
3600.02/3610.40 c cardinality propagations 0
3600.02/3610.40 c watched propagations 0
3600.02/3610.40 c counting propagations 0
3600.02/3610.40 c watch lookups 0
3600.02/3610.40 c watch backjump lookups 0
3600.02/3610.40 c watch checks 0
3600.02/3610.40 c propagation checks 0
3600.02/3610.40 c constraint additions 0
3600.02/3610.40 c trail pops 0
3600.02/3610.40 c formula constraints 2964
3600.02/3610.40 c learned constraints 0
3600.02/3610.40 c bound constraints 0
3600.02/3610.40 c core-guided constraints 0
3600.02/3610.40 c encountered formula constraints 0
3600.02/3610.40 c encountered learned constraints 0
3600.02/3610.40 c encountered bound constraints 0
3600.02/3610.40 c encountered core-guided constraints 0
3600.02/3610.40 c LP total time 0 s
3600.02/3610.40 c LP solve time 0 s
3600.02/3610.40 c LP constraints added 0
3600.02/3610.40 c LP constraints removed 0
3600.02/3610.40 c LP pivots internal 0
3600.02/3610.40 c LP pivots root 0
3600.02/3610.40 c LP calls 0
3600.02/3610.40 c LP optimalities 0
3600.02/3610.40 c LP no pivot count 0
3600.02/3610.40 c LP infeasibilities 0
3600.02/3610.40 c LP valid Farkas constraints 0
3600.02/3610.40 c LP learned Farkas constraints 0
3600.02/3610.40 c LP basis resets 0
3600.02/3610.40 c LP cycling count 0
3600.02/3610.40 c LP singular count 0
3600.02/3610.40 c LP no primal count 0
3600.02/3610.40 c LP no farkas count 0
3600.02/3610.40 c LP other issue count 0
3600.02/3610.40 c LP Gomory cuts 0
3600.02/3610.40 c LP learned cuts 0
3600.02/3610.40 c LP deleted cuts 0
3600.02/3610.40 c LP encountered Gomory constraints 0
3600.02/3610.40 c LP encountered Farkas constraints 0
3600.02/3610.40 c LP encountered learned Farkas constraints 0
3600.02/3610.40 c CG auxiliary variables introduced 0
3600.02/3610.40 c CG solutions found 0
3600.02/3610.40 c CG cores constructed 0
3600.02/3610.40 c CG core cardinality constraints returned 0
3600.02/3610.40 c CG unit cores 0
3600.02/3610.40 c CG single cores 0
3600.02/3610.40 c CG blocks removed during cardinality reduction 0
3600.02/3610.40 c CG first core best 0
3600.02/3610.40 c CG decision core best 0
3600.02/3610.40 c CG core reduction tie 0
3600.02/3610.40 c CG core degree average 0.00
3600.02/3610.40 c CG core slack average 0.00
3600.02/3610.40 c CG core upper bound improvements 0
3600.02/3610.40 c STR number of successful calls 0
3600.02/3610.40 c STR number of unsuccessful calls 0
3600.02/3610.40 c STR number of inconclusive calls 0
3600.02/3610.40 c STR number of successful attempts 0
3600.02/3610.40 c STR number of unsuccessful attempts 0
3600.02/3610.40 c STR number of inconclusive attempts 0
3600.02/3610.40 c STR average degree increase per successful call inf
3600.02/3610.40 c STR average degree increase per successful attempt inf
3600.02/3610.40 c STR total number of conflicts for successful attempts 0
3600.02/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.40 c STR average number of conflicts per successful attempt inf
3600.02/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.40 c AVG.sumWPerc -nan
3600.02/3610.40 c bigint constraints 0
3600.02/3610.40 s UNKNOWN
3600.02/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (52279 MiB free)
memory of node 1: 64507 MiB (58862 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521815-1751587133/watcher-4521815-1751587133 -o /tmp/evaluation-result-4521815-1751587133/solver-4521815-1751587133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82756 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521815-1751587133.opb PROOFDIR/proof-4521815-1751587133
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83596, runsolver pid=83593
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.72 4.29 4.16 5/260 83598
/proc/meminfo: memFree=113803788/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=64964 memory=15032 CPUtime=0.06 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 2239 0 0 0 5 1 0 0 20 0 1 0 74393006 66523136 3758 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 16241 3758 2304 1147 0 3668 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 69156 KiB
Current children cumulated memory: 17976 KiB
[startup+0.209786 s]*
/proc/loadavg: 4.72 4.29 4.16 6/260 83598
/proc/meminfo: memFree=113796228/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=69584 memory=22812 CPUtime=0.16 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 3665 0 0 0 15 1 0 0 20 0 1 0 74393006 71254016 5703 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 17396 5703 2304 1147 0 4823 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 73776 KiB
Current children cumulated memory: 25756 KiB
[startup+0.310363 s]*
/proc/loadavg: 4.72 4.29 4.16 6/260 83598
/proc/meminfo: memFree=113788164/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=74064 memory=27292 CPUtime=0.25 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 4788 0 0 0 23 2 0 0 20 0 1 0 74393006 75841536 6823 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 18516 6823 2304 1147 0 5943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 78256 KiB
Current children cumulated memory: 30236 KiB
[startup+0.700283 s]
/proc/loadavg: 4.72 4.29 4.16 5/260 83598
/proc/meminfo: memFree=113753764/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=99480 memory=49472 CPUtime=0.61 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 9287 0 0 0 57 4 0 0 20 0 1 0 74393006 101867520 12368 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 24870 12368 2336 1147 0 12297 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 103672 KiB
Current children cumulated memory: 52416 KiB
[startup+1.50028 s]
/proc/loadavg: 4.72 4.29 4.16 5/260 83598
/proc/meminfo: memFree=113688020/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=118872 memory=63996 CPUtime=1.39 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 12421 0 0 0 134 5 0 0 20 0 1 0 74393006 121724928 15999 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 29718 15999 2336 1147 0 17145 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 123064 KiB
Current children cumulated memory: 66940 KiB
[startup+3.11351 s]
/proc/loadavg: 4.72 4.29 4.16 5/260 83598
/proc/meminfo: memFree=113567344/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=126492 memory=74416 CPUtime=3.01 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 13988 0 0 0 293 8 0 0 20 0 1 0 74393006 129527808 18604 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 31623 18604 2336 1147 0 19050 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 130684 KiB
Current children cumulated memory: 77360 KiB
[startup+6.30038 s]
/proc/loadavg: 4.66 4.29 4.16 4/254 83624
/proc/meminfo: memFree=115738612/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=127520 memory=76464 CPUtime=6.18 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 14516 0 0 0 606 12 0 0 20 0 1 0 74393006 130580480 19116 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 31880 19116 2336 1147 0 19307 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 131712 KiB
Current children cumulated memory: 79408 KiB
[startup+12.7004 s]
/proc/loadavg: 4.53 4.27 4.16 5/259 83691
/proc/meminfo: memFree=117170840/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=139972 memory=80752 CPUtime=12.57 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 15089 0 0 0 1235 22 0 0 20 0 1 0 74393006 143331328 20188 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 34993 20188 2336 1147 0 22420 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 144164 KiB
Current children cumulated memory: 83696 KiB
[startup+25.5004 s]
/proc/loadavg: 4.49 4.27 4.16 5/260 83693
/proc/meminfo: memFree=114053832/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=156420 memory=97612 CPUtime=25.34 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 18281 0 0 0 2493 41 0 0 20 0 1 0 74393006 160174080 24403 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 39105 24403 2336 1147 0 26532 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 160612 KiB
Current children cumulated memory: 100556 KiB
[startup+51.1136 s]
/proc/loadavg: 4.32 4.25 4.15 5/261 83694
/proc/meminfo: memFree=112552916/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=177596 memory=119132 CPUtime=50.87 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 22644 0 0 0 5013 74 0 0 20 0 1 0 74393006 181858304 29783 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 44399 29783 2336 1147 0 31826 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 181788 KiB
Current children cumulated memory: 122076 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.22 4.15 5/261 83696
/proc/meminfo: memFree=111743952/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=226264 memory=160936 CPUtime=101.91 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 29509 0 0 0 10069 122 0 0 20 0 1 0 74393006 231694336 40234 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 56566 40234 2336 1147 0 43993 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 230456 KiB
Current children cumulated memory: 163880 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.22 4.16 5/261 83759
/proc/meminfo: memFree=121544372/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=288572 memory=199628 CPUtime=161.71 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 36633 0 0 0 15982 189 0 0 20 0 1 0 74393006 295497728 49907 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 72143 49907 2336 1147 0 59570 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 292764 KiB
Current children cumulated memory: 202572 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/261 83762
/proc/meminfo: memFree=121110660/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=302216 memory=209484 CPUtime=221.53 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 39120 0 0 0 21917 236 0 0 20 0 1 0 74393006 309469184 52371 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 75554 52371 2336 1147 0 62981 0
################
# More data... #
################
[pid=83598] ppid=83596 vsize=704192 memory=544904 CPUtime=3093.43 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90325 0 0 0 307524 1819 0 0 20 0 1 0 74393006 721092608 136226 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176048 136226 2336 1147 0 163475 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 708384 KiB
Current children cumulated memory: 547848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.24 4.20 5/257 83912
/proc/meminfo: memFree=107849672/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=704192 memory=544904 CPUtime=3153.25 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90325 0 0 0 313487 1838 0 0 20 0 1 0 74393006 721092608 136226 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176048 136226 2336 1147 0 163475 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 708384 KiB
Current children cumulated memory: 547848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.21 4.19 5/257 83915
/proc/meminfo: memFree=107554324/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=704192 memory=544904 CPUtime=3213.07 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90326 0 0 0 319442 1865 0 0 20 0 1 0 74393006 721092608 136226 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176048 136226 2336 1147 0 163475 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 708384 KiB
Current children cumulated memory: 547848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/258 83918
/proc/meminfo: memFree=107276260/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=705216 memory=545672 CPUtime=3272.9 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90529 0 0 0 325393 1897 0 0 20 0 1 0 74393006 722141184 136418 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176304 136418 2336 1147 0 163731 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 709408 KiB
Current children cumulated memory: 548616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/258 83920
/proc/meminfo: memFree=107066140/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=705216 memory=545672 CPUtime=3332.72 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90541 0 0 0 331347 1925 0 0 20 0 1 0 74393006 722141184 136418 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176304 136418 2336 1147 0 163731 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 709408 KiB
Current children cumulated memory: 548616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.17 6/258 83922
/proc/meminfo: memFree=106839876/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=705216 memory=545800 CPUtime=3392.54 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90555 0 0 0 337294 1960 0 0 20 0 1 0 74393006 722141184 136450 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176304 136450 2336 1147 0 163731 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 709408 KiB
Current children cumulated memory: 548744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/259 83925
/proc/meminfo: memFree=106337416/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=705216 memory=545800 CPUtime=3452.36 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90571 0 0 0 343258 1978 0 0 20 0 1 0 74393006 722141184 136450 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176304 136450 2336 1147 0 163731 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 709408 KiB
Current children cumulated memory: 548744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/260 83934
/proc/meminfo: memFree=106030028/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=705216 memory=545800 CPUtime=3512.19 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90575 0 0 0 349214 2005 0 0 20 0 1 0 74393006 722141184 136450 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176304 136450 2336 1147 0 163731 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 709408 KiB
Current children cumulated memory: 548744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/260 83935
/proc/meminfo: memFree=105779676/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=705216 memory=545928 CPUtime=3572.02 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90591 0 0 0 355174 2028 0 0 20 0 1 0 74393006 722141184 136482 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176304 136482 2336 1147 0 163731 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 709408 KiB
Current children cumulated memory: 548872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.12 4.14 4.16 5/260 83936
/proc/meminfo: memFree=105701652/131382112 swapFree=33010416/33010684
[pid=83596] ppid=83593 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/83596/stat : 83596 (run-opt-log.sh) S 83593 83596 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74393005 4292608 736 18446744073709551615 93945272102912 93945272997445 140734911221344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93945273236496 93945273284240 93945294569472 140734911228193 140734911228388 140734911228388 140734911233990 0
/proc/83596/statm: 1048 736 672 219 0 110 0
[pid=83598] ppid=83596 vsize=705216 memory=545928 CPUtime=3600.02 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83596 83596 82743 0 -1 4194304 90591 0 0 0 357962 2040 0 0 20 0 1 0 74393006 722141184 136482 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 176304 136482 2336 1147 0 163731 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 709408 KiB
Current children cumulated memory: 548872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 83596 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004265 s
[startup+3610.64 s]
# the end of solver process 83598 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.64 s, system=20.4368 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.62 s]
/proc/loadavg: 4.12 4.14 4.16 4/259 83936
/proc/meminfo: memFree=105694708/131382112 swapFree=33010416/33010684
[pid=83598] ppid=83593 vsize=609980 memory=364816 CPUtime=3600.04 cores=5,7
/proc/83598/stat : 83598 (roundingsat) R 83593 83596 82743 0 -1 4194304 90597 0 0 0 357962 2042 0 0 20 0 1 0 74393006 624619520 91204 18446744073709551615 4227072 8923433 140721294704352 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 35790848 140721294707026 140721294707240 140721294707240 140721294712810 0
/proc/83598/statm: 152495 91204 2432 1147 0 139922 0
Current cumulated CPU time of completed processes: 0.004265 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 609980 KiB
Current children cumulated memory: 364816 KiB
Child status: 2
Real time (s): 3610.64
CPU time (s): 3600.07
CPU user time (s): 3579.64
CPU system time (s): 20.4368
CPU usage (%): 99.7073
Max. virtual memory (cumulated for all children) (KiB): 709408
Max. memory (cumulated for all children) (KiB): 548872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.64
system time used= 20.4368
maximum resident set size= 546312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90820
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13914800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282
involuntary context switches= 5267
# summary of solver processes directly reported to runsolver:
# pid: 83596,83598
# total CPU time (s): 3600.07
# total CPU user time (s): 3579.64
# total CPU system time (s): 20.4368
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.079 second user time and 37.536 second system time
The end
Begin job on nodeC012 at 2025-07-04 01:58:53
IDJOB=4521815
IDBENCH=178473
IDSOLVER=3351
FILE ID=nodeC012/4521815-1751587133
RUNJOBID= nodeC012-1751579896-82756
SLURM_JOB_ID= 9598818
Free space on /tmp= 431840 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521815-1751587133/watcher-4521815-1751587133 -o /tmp/evaluation-result-4521815-1751587133/solver-4521815-1751587133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82756 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521815-1751587133.opb PROOFDIR/proof-4521815-1751587133
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39e993bb96de7a4bf1916cc2a0bf9eab
RANDOM SEED=1441897965
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.152
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3662.506
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 1296.958
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.180
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3662.421
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 1197.151
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.362
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 113824452 kB
MemAvailable: 126028312 kB
Buffers: 2136 kB
Cached: 12992224 kB
SwapCached: 16 kB
Active: 4595540 kB
Inactive: 12374288 kB
Active(anon): 3986172 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 12367292 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20552 kB
Writeback: 12 kB
AnonPages: 3977980 kB
Mapped: 116868 kB
Shmem: 17944 kB
KReclaimable: 133268 kB
Slab: 219648 kB
SReclaimable: 133268 kB
SUnreclaim: 86380 kB
KernelStack: 4144 kB
PageTables: 11872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4906556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 991232 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431708 MiB
End job on nodeC012 at 2025-07-04 02:59:04