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