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