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