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