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