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