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