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