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