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