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