(1,9) (2,8) (3,4) (5,16) (6,30) (7,29) (10,26) (11,13) (12,24) (14,15) (17,28) (18,25) (19,27) (20,22) (21,23) 
nodes: 72732  conflicts: 34  modelTime: 1360  solveTime: 286088  totalTime: 287459  modelSize: 72268  readTime: 11 size: 15