(1,26) (4,20) (5,16) (6,18) (7,27) (8,21) (9,19) (10,30) (11,28) (14,29) 
nodes: 1150  conflicts: 82  modelTime: 830  solveTime: 1219  totalTime: 2056  modelSize: 41292  readTime: 7 size: 10