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