(1,23) (2,25) (3,19) (4,22) (5,26) (6,28) (7,21) (8,30) (10,20) (11,18) (13,27) (14,16) (15,17) 
nodes: 2248  conflicts: 35  modelTime: 661  solveTime: 2998  totalTime: 3666  modelSize: 41292  readTime: 7 size: 13