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