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