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