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