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