(2,6) (3,11) (4,30) (5,9) (7,21) (8,24) (10,16) (12,26) (13,18) (14,19) (15,23) (17,29) (20,22) (25,28) 
nodes: 26598  conflicts: 88  modelTime: 929  solveTime: 54098  totalTime: 55039  modelSize: 72262  readTime: 12 size: 14