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