loading SCIP... n: 40 m: 129 packed: 12 density: 92 nodes: 0 solverTime: 93 buildTime: 0 solved: false 0 25 29 1 33 36 2 5 31 3 26 35 4 23 38 6 27 34 8 13 20 9 11 12 14 21 28 15 18 30 17 19 37 22 24 39