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