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