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