(1,22) (3,30) (4,29) (6,21) (9,19) (10,20) (13,26) (14,25) 
nodes: 526  conflicts: 92  modelTime: 668  solveTime: 884  totalTime: 1559  modelSize: 41300  readTime: 7 size: 8