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