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