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