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