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