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