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