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