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