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