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