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