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