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