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