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