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