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