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