(1,24) (2,19) (3,21) (4,22) (6,27) (7,20) (9,28) (10,29) (12,23) (13,18) (14,17) (15,16) 
nodes: 2284  conflicts: 54  modelTime: 655  solveTime: 2886  totalTime: 3563  modelSize: 41293  readTime: 22 size: 12