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