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