(1,20) (2,29) (4,19) (5,17) (6,24) (7,27) (8,25) (9,26) (10,23) (11,28) (12,18) (15,16) 
nodes: 892  conflicts: 57  modelTime: 664  solveTime: 772  totalTime: 1442  modelSize: 41300  readTime: 6 size: 12