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