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