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