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