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