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