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