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