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