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