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