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