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