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