(2,26) (3,21) (5,29) (6,17) (7,19) (8,25) (9,28) (10,24) (12,16) (13,20) (14,18) (15,27) 
nodes: 1016  conflicts: 58  modelTime: 664  solveTime: 799  totalTime: 1470  modelSize: 41293  readTime: 7 size: 12