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