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