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