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