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