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