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