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