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