(2,20) (3,18) (4,16) (5,17) (6,28) (7,26) (9,24) (10,25) (12,23) (13,30) (14,29) 
nodes: 1442  conflicts: 75  modelTime: 665  solveTime: 2079  totalTime: 2751  modelSize: 41292  readTime: 7 size: 11