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