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