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