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