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