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