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