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