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