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