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