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