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