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