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