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