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