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