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