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