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