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