(1,30) (2,22) (3,16) (5,26) (6,19) (7,20) (8,23) (9,21) (10,18) (11,17) (12,28) (13,24) (14,27) (15,25) 
nodes: 2738  conflicts: 10  modelTime: 1185  solveTime: 9876  totalTime: 11071  modelSize: 41299  readTime: 9 size: 14