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