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