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