(1,29) (2,26) (4,27) (5,19) (6,30) (9,28) (11,17) (12,24) (13,16) (14,18) 
nodes: 3235  conflicts: 58  modelTime: 660  solveTime: 4334  totalTime: 5000  modelSize: 41293  readTime: 6 size: 10