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