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