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