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