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