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