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