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