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