(1,20) (2,29) (3,21) (4,24) (5,19) (8,26) (9,25) (10,30) (12,17) (15,27) 
nodes: 495  conflicts: 68  modelTime: 670  solveTime: 964  totalTime: 1641  modelSize: 41293  readTime: 7 size: 10