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