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