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