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