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