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