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