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