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