(1,17) (2,18) (3,25) (4,24) (5,28) (6,16) (7,21) (8,26) (9,27) (10,22) (12,19) (13,20) (15,29) 
nodes: 4397  conflicts: 45  modelTime: 658  solveTime: 11061  totalTime: 11725  modelSize: 41292  readTime: 6 size: 13