(1,28) (2,25) (3,19) (4,26) (5,24) (7,18) (8,23) (10,27) (11,17) (12,20) (13,29) 
nodes: 1533  conflicts: 65  modelTime: 658  solveTime: 1267  totalTime: 1931  modelSize: 41292  readTime: 6 size: 11