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