(1,21) (3,28) (4,29) (5,22) (7,25) (8,24) (9,20) (10,30) (13,17) (15,16) 
nodes: 1294  conflicts: 68  modelTime: 667  solveTime: 1401  totalTime: 2075  modelSize: 41292  readTime: 7 size: 10