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