(2,16) (3,19) (4,22) (5,28) (6,18) (7,29) (8,27) (9,26) (10,21) (11,25) (12,30) (13,24) (14,17) (15,20) 
nodes: 3313  conflicts: 26  modelTime: 664  solveTime: 10071  totalTime: 10741  modelSize: 41292  readTime: 6 size: 14