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