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