(1,26) (2,22) (4,24) (5,27) (6,29) (7,25) (8,18) (9,19) (10,23) (11,21) (12,20) (13,28) (14,17) (15,30) 
nodes: 22515  conflicts: 11  modelTime: 1177  solveTime: 76949  totalTime: 78134  modelSize: 41292  readTime: 8 size: 14