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