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