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