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