(2,29) (3,23) (4,25) (6,28) (7,21) (8,30) (13,20) (14,27) (15,22) 
nodes: 2936  conflicts: 95  modelTime: 674  solveTime: 3677  totalTime: 4359  modelSize: 41301  readTime: 8 size: 9