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