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