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