(1,9) (2,5) (3,4) (6,17) (8,14) (10,26) (11,21) (13,27) (15,19) (18,29) (20,30) (23,28) (24,25) 
nodes: 3202  conflicts: 92  modelTime: 940  solveTime: 9809  totalTime: 10760  modelSize: 72262  readTime: 11 size: 13