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