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