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