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