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