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