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