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