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