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