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