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