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