(1,30) (2,20) (3,17) (4,16) (5,18) (6,22) (7,27) (8,29) (9,21) (10,24) (11,23) (12,28) (14,25) (15,19) 
nodes: 2843  conflicts: 25  modelTime: 657  solveTime: 5275  totalTime: 5939  modelSize: 41293  readTime: 7 size: 14