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