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