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