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