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