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