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