(2,28) (3,22) (4,18) (7,16) (8,29) (9,20) (11,25) (12,30) (13,23) (15,27) 
nodes: 1733  conflicts: 58  modelTime: 691  solveTime: 2718  totalTime: 3417  modelSize: 41300  readTime: 8 size: 10