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