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