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