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