(1,27) (3,29) (4,26) (5,24) (6,25) (8,21) (9,19) (10,22) (12,18) (13,30) (15,16) 
nodes: 667  conflicts: 66  modelTime: 664  solveTime: 695  totalTime: 1366  modelSize: 41301  readTime: 7 size: 11