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