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