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