(1,2) (3,21) (4,8) (5,19) (6,28) (7,24) (9,16) (10,11) (12,27) (13,15) (14,26) (17,23) (18,29) (20,22) (25,30) 
nodes: 1903  conflicts: 79  modelTime: 1148  solveTime: 11353  totalTime: 12521  modelSize: 72262  readTime: 20 size: 15