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