(1,21) (2,8) (3,26) (5,7) (6,13) (9,22) (11,24) (12,27) (14,30) (15,25) (16,17) (19,20) 
nodes: 761  conflicts: 137  modelTime: 1114  solveTime: 4833  totalTime: 5959  modelSize: 72262  readTime: 12 size: 12