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