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