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