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