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