loading SCIP... n: 40 m: 117 packed: 12 density: 92 nodes: 0 solverTime: 78 buildTime: 0 solved: false 0 12 14 1 10 37 2 6 20 3 11 28 4 21 26 5 27 36 7 18 32 8 31 34 9 29 35 15 17 25 16 33 38 19 23 30