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