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