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