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