(1,30) (2,28) (3,16) (4,23) (5,21) (6,11) (7,18) (8,19) (9,14) (10,25) (12,17) (13,22) (15,20) (24,27) (26,29) 
nodes: 6782  conflicts: 31  modelTime: 1724  solveTime: 32531  totalTime: 34273  modelSize: 72264  readTime: 18 size: 15