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