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