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