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