(1,19) (2,18) (3,20) (4,23) (5,24) (8,16) (9,29) (10,30) (11,17) (13,28) (14,26) (15,21) 
nodes: 825  conflicts: 72  modelTime: 657  solveTime: 1311  totalTime: 1976  modelSize: 41292  readTime: 7 size: 12