(1,17) (2,27) (3,20) (4,22) (5,19) (6,29) (8,21) (11,25) (12,23) (13,28) (14,18) (15,26) 
nodes: 1534  conflicts: 46  modelTime: 663  solveTime: 2188  totalTime: 2858  modelSize: 41292  readTime: 7 size: 12