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