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