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