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