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