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