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