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