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