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