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