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