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