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