(2,19) (3,20) (5,26) (6,29) (7,24) (8,17) (9,18) (10,30) (12,25) (13,22) (14,27) (15,21) 
nodes: 1547  conflicts: 44  modelTime: 660  solveTime: 2406  totalTime: 3073  modelSize: 41293  readTime: 7 size: 12