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