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