loading SCIP... n: 30 m: 162 packed: 10 density: 100 nodes: 0 solverTime: 531 buildTime: 0 solved: true 0 3 6 1 4 18 2 19 23 5 26 27 7 21 24 8 9 25 10 11 12 13 14 20 15 17 28 16 22 29