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