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