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