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