(2,25) (3,21) (4,16) (5,27) (7,29) (8,28) (10,22) (11,18) (12,26) (13,19) (14,23) (15,30) 
nodes: 839  conflicts: 69  modelTime: 668  solveTime: 786  totalTime: 1461  modelSize: 41300  readTime: 7 size: 12