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