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