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