loading SCIP... n: 60 m: 793 packed: 20 density: 100 nodes: 0 solverTime: 3344 buildTime: 0 solved: true 0 4 55 1 8 52 2 31 58 3 12 48 5 15 56 6 25 44 7 32 45 9 53 57 10 26 43 11 27 29 13 22 42 14 18 41 16 28 33 17 21 24 19 23 36 20 40 54 30 39 59 34 35 51 37 38 47 46 49 50