(1,22) (2,13) (4,27) (5,15) (6,7) (8,28) (9,14) (10,19) (12,24) (16,17) (18,21) (20,29) (23,25) (26,30) 
nodes: 8819  conflicts: 36  modelTime: 1712  solveTime: 47115  totalTime: 48846  modelSize: 72263  readTime: 19 size: 14