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