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