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