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