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