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