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