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