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