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