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