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