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