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