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