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