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