(3,26) (4,19) (6,28) (7,16) (8,22) (10,20) (11,25) (12,23) (13,21) (14,30) (15,17) 
nodes: 1049  conflicts: 80  modelTime: 666  solveTime: 1259  totalTime: 1932  modelSize: 41300  readTime: 7 size: 11