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