(1,25) (2,16) (3,24) (4,28) (5,27) (9,21) (10,23) (11,19) (12,20) (13,22) (14,17) (15,29) 
nodes: 1368  conflicts: 48  modelTime: 1195  solveTime: 3527  totalTime: 4731  modelSize: 41292  readTime: 9 size: 12