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