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