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