(2,13) (3,21) (4,22) (5,9) (7,30) (8,24) (10,20) (12,23) (16,19) (17,27) (25,29) (26,28) 
nodes: 1078  conflicts: 84  modelTime: 1848  solveTime: 5806  totalTime: 7678  modelSize: 72262  readTime: 24 size: 12