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