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