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