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