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