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