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