(1,18) (2,25) (3,22) (5,24) (6,27) (8,29) (11,17) (13,19) (14,21) (15,30) 
nodes: 1008  conflicts: 90  modelTime: 667  solveTime: 937  totalTime: 1611  modelSize: 41301  readTime: 7 size: 10