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