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