(2,30) (4,26) (6,23) (7,24) (8,25) (9,20) (10,27) (11,17) (12,19) (14,18) 
nodes: 1080  conflicts: 67  modelTime: 664  solveTime: 1758  totalTime: 2428  modelSize: 41300  readTime: 6 size: 10