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