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