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