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