(1,26) (3,28) (5,30) (6,21) (7,20) (8,22) (9,18) (10,24) (11,29) (12,23) (14,16) (15,27) 
nodes: 6215  conflicts: 35  modelTime: 657  solveTime: 8468  totalTime: 9132  modelSize: 41293  readTime: 7 size: 12