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