(1,25) (2,30) (3,24) (4,16) (5,23) (8,27) (9,22) (11,17) (12,29) (13,26) (14,19) 
nodes: 6540  conflicts: 57  modelTime: 661  solveTime: 9699  totalTime: 10367  modelSize: 41292  readTime: 7 size: 11