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