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