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