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