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