loading SCIP... n: 40 m: 119 packed: 12 density: 92 nodes: 0 solverTime: 266 buildTime: 0 solved: false 0 14 26 2 31 36 3 27 38 4 19 32 5 21 28 6 15 39 7 13 37 8 29 33 9 12 18 11 22 34 16 17 30 23 25 35