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