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