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