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