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