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