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