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