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