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