(2,29) (4,22) (5,24) (6,17) (9,18) (10,27) (11,26) (12,28) (13,25) (14,20) (15,19) 
nodes: 365  conflicts: 57  modelTime: 668  solveTime: 663  totalTime: 1337  modelSize: 41300  readTime: 6 size: 11