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