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