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