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