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