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