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