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