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