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