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