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