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