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