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