(2,26) (3,27) (4,24) (5,20) (6,23) (7,17) (8,29) (9,25) (10,21) (11,16) (12,18) (13,19) (14,22) (15,30) 
nodes: 4102  conflicts: 31  modelTime: 655  solveTime: 7431  totalTime: 8092  modelSize: 41293  readTime: 6 size: 14