loading SCIP... n: 40 m: 98 packed: 12 density: 92 nodes: 0 solverTime: 94 buildTime: 0 solved: false 0 15 39 1 4 38 2 8 35 3 28 31 5 29 33 6 22 34 7 13 16 10 21 37 12 27 30 14 20 23 17 24 32 19 25 36