(1,26) (2,16) (3,23) (4,21) (8,17) (10,30) (11,18) (12,25) (14,28) (15,19) 
nodes: 2341  conflicts: 80  modelTime: 670  solveTime: 3147  totalTime: 3825  modelSize: 41300  readTime: 7 size: 10