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