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