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