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