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