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