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