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