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