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