(2,20) (3,16) (4,25) (7,19) (8,23) (9,21) (10,30) (12,17) (13,28) (14,26) (15,29) 
nodes: 3947  conflicts: 79  modelTime: 657  solveTime: 6115  totalTime: 6779  modelSize: 41292  readTime: 7 size: 11