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