(1,5) (3,23) (4,18) (6,11) (7,28) (8,20) (9,13) (12,21) (14,24) (15,30) (19,29) (25,26) 
nodes: 5821  conflicts: 106  modelTime: 954  solveTime: 16385  totalTime: 17350  modelSize: 72262  readTime: 11 size: 12