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