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