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