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