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