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