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