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