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