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