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