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