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