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