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