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