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