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