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