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