(1,27) (2,24) (3,23) (4,9) (5,25) (6,22) (7,12) (8,14) (10,29) (11,18) (13,20) (15,21) (16,19) (17,30) (26,28) 
nodes: 50239  conflicts: 46  modelTime: 970  solveTime: 197857  totalTime: 198837  modelSize: 72266  readTime: 10 size: 15