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