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