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