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