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