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