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