(1,29) (2,9) (3,27) (4,10) (6,13) (7,20) (11,28) (12,22) (14,16) (17,25) (18,24) (19,21) (26,30) 
nodes: 3071  conflicts: 53  modelTime: 936  solveTime: 9298  totalTime: 10245  modelSize: 72265  readTime: 11 size: 13