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