(1,24) (2,22) (3,27) (4,17) (5,26) (6,28) (7,18) (8,19) (9,30) (10,16) (11,25) (12,20) (13,21) (15,23) 
nodes: 3262  conflicts: 12  modelTime: 1186  solveTime: 10922  totalTime: 12117  modelSize: 41292  readTime: 9 size: 14