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