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