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