(1,18) (2,19) (3,6) (4,28) (5,8) (7,14) (10,23) (11,17) (12,25) (13,26) (15,29) (16,21) (20,22) (24,27) 
nodes: 11165  conflicts: 55  modelTime: 943  solveTime: 35130  totalTime: 36085  modelSize: 72264  readTime: 12 size: 14