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