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