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