(1,16) (3,28) (6,21) (7,17) (8,30) (10,18) (12,25) (13,20) (14,26) 
nodes: 894  conflicts: 88  modelTime: 754  solveTime: 831  totalTime: 1592  modelSize: 41300  readTime: 7 size: 9