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