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