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