(1,27) (3,23) (5,21) (6,30) (8,16) (9,17) (11,20) (12,18) (13,26) (14,24) 
nodes: 696  conflicts: 62  modelTime: 680  solveTime: 863  totalTime: 1550  modelSize: 41300  readTime: 7 size: 10