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