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