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