(1,8) (2,9) (3,13) (5,18) (6,30) (7,29) (10,27) (11,19) (12,16) (14,20) (15,23) (17,24) (26,28) 
nodes: 21178  conflicts: 88  modelTime: 941  solveTime: 59605  totalTime: 60557  modelSize: 72262  readTime: 11 size: 13