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