(1,11) (2,6) (3,15) (4,7) (5,28) (8,13) (9,29) (10,16) (12,17) (14,23) (18,24) (19,21) (20,27) (22,26) (25,30) 
nodes: 179882  conflicts: 7  modelTime: 1694  solveTime: 1249972  totalTime: 1251709  modelSize: 72338  readTime: 43 size: 15