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