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