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