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