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