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