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