(1,27) (2,25) (3,28) (5,19) (8,24) (9,30) (10,18) (11,17) (12,29) (13,21) (15,20) 
nodes: 1822  conflicts: 68  modelTime: 664  solveTime: 2538  totalTime: 3208  modelSize: 41293  readTime: 6 size: 11