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