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