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