(1,6) (2,5) (3,14) (4,26) (7,10) (8,29) (9,13) (11,21) (12,15) (16,30) (17,23) (18,24) (19,28) (25,27) 
nodes: 16849  conflicts: 44  modelTime: 1714  solveTime: 88167  totalTime: 89900  modelSize: 72262  readTime: 19 size: 14