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