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