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