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