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