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