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