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