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