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