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