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