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