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