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