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