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