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