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