(1,2) (3,25) (4,7) (5,17) (6,29) (8,11) (9,19) (10,26) (12,27) (13,20) (14,28) (15,21) (16,30) (18,22) (23,24) 
nodes: 76150  conflicts: 22  modelTime: 977  solveTime: 375448  totalTime: 376436  modelSize: 72266  readTime: 11 size: 15