(1,22) (2,17) (4,18) (5,16) (6,29) (7,27) (8,24) (9,26) (10,21) (11,23) (12,20) (13,30) (14,28) (15,19) 
nodes: 2584  conflicts: 10  modelTime: 1195  solveTime: 7058  totalTime: 8261  modelSize: 41299  readTime: 8 size: 14